From 01a42d5121d07af324bd1aed18e8115797457a22 Mon Sep 17 00:00:00 2001 From: George Kuan Date: Mon, 28 Mar 2016 09:44:06 -0700 Subject: Reserved bitfield minor word change --- BinaryEncoding.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'BinaryEncoding.md') diff --git a/BinaryEncoding.md b/BinaryEncoding.md index 288ec38..9551ad1 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -393,7 +393,7 @@ 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. The bits after the -`log(memory-access-size)` least-significant bits should be set to 0. These bits are reserved for future use +`log(memory-access-size)` least-significant bits must be set to 0. These bits are reserved for future use (e.g., for shared memory ordering requirements). ## Simple operators ([described here](AstSemantics.md#32-bit-integer-operators)) -- cgit v1.2.3