diff options
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. |