Forward compatibility for unused bitfield bits

The remaining bits in the flag are underspecified. We should consider specifying them.

1 files changed, 2 insertions, 2 deletions

diff --git a/BinaryEncoding.md b/BinaryEncoding.md
index f3493c8..60875da 100644
--- a/BinaryEncoding.md
+++ b/BinaryEncoding.md
@@ -392,8 +392,8 @@ The `memory_immediate` type is encoded as follows:
 
 As implied by the `log2(alignment)` encoding, the alignment must be a power of 2.
 As an additional validation criteria, the alignment must be less or equal to 
-natural alignment. Thus, for any given memory access op, the bits after the
-`log(memory-access-size)` least-significant bits can be used in the future
+natural alignment. The bits after the
+`log(memory-access-size)` least-significant bits should be set to 0. These bits are reserved for future use
 (e.g., for shared memory ordering requirements).
 
 ## Simple operators ([described here](AstSemantics#32-bit-integer-operators))