diff options
| author | JF Bastien <github@jfbastien.com> | 2016-10-05 14:22:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-05 14:22:33 -0700 |
| commit | acfa2e2f6e02bb4f9c46a03882b72fb43e410eca (patch) | |
| tree | ed7f8fbb0f582018c37ffa6b6b35cd0d11c6a05e /AstSemantics.md | |
| parent | 453320eb21f5e7476fb27db7874c45aa855927b7 (diff) | |
| download | nanowasm-design-acfa2e2f6e02bb4f9c46a03882b72fb43e410eca.tar.gz | |
Alignment maximum (#815)
As in: https://github.com/WebAssembly/spec/issues/302 and https://github.com/WebAssembly/spec/issues/217
Diffstat (limited to 'AstSemantics.md')
| -rw-r--r-- | AstSemantics.md | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 841d4d9..64be0f0 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -185,10 +185,11 @@ will add support for wasm64 and thus ### Alignment Each linear memory access operator also has an immediate positive integer power -of 2 alignment attribute. An alignment value which is the same as the memory -attribute size is considered to be a *natural* alignment. The alignment applies -to the effective address and not merely the address operand, i.e. the immediate -offset is taken into account when considering alignment. +of 2 alignment attribute which must be no greater than the memory access' size. +An alignment value which is the same as the memory access' size is considered +to be a *natural* alignment. The alignment applies to the effective address and +not merely the address operand, i.e. the immediate offset is taken into account +when considering alignment. The alignment has same type (determined by wasm32/wasm64, as described above) as the address and offset operands. |