From 73ef22ff32e6a106b100b23d7be863dd55aa5030 Mon Sep 17 00:00:00 2001 From: JF Bastien Date: Tue, 15 Sep 2015 08:56:49 -0700 Subject: "the same type as the address' index" --- AstSemantics.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/AstSemantics.md b/AstSemantics.md index a9ac616..671bb55 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -116,8 +116,8 @@ reproduce their value operand, with no conversion applied. ### Addressing Each linear memory access operation also has an address operand and an immediate -integer byte offset attribute. The immediate is no bigger than the largest pointer -size. The infinite-precision sum of the address operand's value with the byte +integer byte offset attribute. The immediate is the same type as the address' +index. The infinite-precision sum of the address operand's value with the byte offset attribute's value is called the *effective address*, which is interpreted as an unsigned byte index. @@ -148,9 +148,9 @@ will add support for wasm64 and thus ### Alignment Each linear memory access operation also has an immediate positive integer power -of 2 alignment attribute, which is no bigger than the largest pointer size. -An alignment value which is the same as the memory attribute size is considered -tobe a *natural* alignment. +of 2 alignment attribute, which is the same type as the address' index. An +alignment value which is the same as the memory attribute size is considered +to be a *natural* alignment. The linear memory operation names listed above specify natural alignment. To specify unnatural alignment, the opcode name can be suffixed with `/n` for -- cgit v1.2.3