From acfa2e2f6e02bb4f9c46a03882b72fb43e410eca Mon Sep 17 00:00:00 2001 From: JF Bastien Date: Wed, 5 Oct 2016 14:22:33 -0700 Subject: Alignment maximum (#815) As in: https://github.com/WebAssembly/spec/issues/302 and https://github.com/WebAssembly/spec/issues/217 --- AstSemantics.md | 9 +++++---- 1 file 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. -- cgit v1.2.3