aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJF Bastien <github@jfbastien.com>2015-09-11 15:09:34 -0700
committerJF Bastien <github@jfbastien.com>2015-09-11 15:09:34 -0700
commit540d5b868a8477e89494f3a502e868bfef473ea2 (patch)
tree222c8999e5caeb2ded9fe5df893a0efc3fb6627e
parent0b59ef5aee9721b9adecb860698578ee7cc06d82 (diff)
downloadnanowasm-design-540d5b868a8477e89494f3a502e868bfef473ea2.tar.gz
Simplify sentence.
-rw-r--r--AstSemantics.md5
1 files changed, 2 insertions, 3 deletions
diff --git a/AstSemantics.md b/AstSemantics.md
index 98f004a..053be22 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -149,9 +149,8 @@ Each linear memory access operation 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.
-When a memory access uses addressing as defined above and also specifies a
-non-natural alignment, then the alignment applies to the effective address
-(not merely the address operand).
+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.
If the effective address of a memory access is a multiple of the alignment
attribute value of the memory access, the memory access is considered *aligned*,