From: Dejan Mircevski <deki@google.com>
Date: Mon, 31 Aug 2015 20:19:07 +0000 (-0400)
Subject: Warn about !<integer> opcode in assignment format.
X-Git-Tag: upstream/2018.6~1511^2~213
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=95ec7284f7d12c999dcbb27c7f3d2f1bcc9090ae;p=platform%2Fupstream%2FSPIRV-Tools.git

Warn about !<integer> opcode in assignment format.
---

diff --git a/readme.md b/readme.md
index 86e6cb2..7121a76 100644
--- a/readme.md
+++ b/readme.md
@@ -105,6 +105,7 @@ OpReturn
 OpFunctionEnd
 ```
 
+<a name="assignment-format"></a>
 In order to improve the text's readability, the `<result-id>` generated by an
 instruction can be moved to the beginning of that instruction and followed by
 an `=` sign. This allows us to distinguish between variable defs and uses and
@@ -240,6 +241,11 @@ Note that this has some interesting consequences, including:
   that named ID being output.  This may be valid SPIR-V, contrary to the
   presumed intention of the writer.
 
+* If the next instruction after a `!<integer>` has the assignment format
+  (described [above](#assignment-format)), then its OpCode cannot also be a
+  `!<integer>`.  The alternate parsing mode cannot handle the assignment format
+  and will complain that `=` is not a valid operand.
+
 ### Disassembler
 
 The standalone disassembler is the binary called `spirv-dis` and is located in