From 67618e9aa09589231684175fdb77034085f8a8ec Mon Sep 17 00:00:00 2001 From: George Kuan Date: Fri, 11 Mar 2016 15:36:53 -0800 Subject: Forward compatibility for unused bitfield bits The remaining bits in the flag are underspecified. We should consider specifying them. --- BinaryEncoding.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'BinaryEncoding.md') 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)) -- cgit v1.2.3