A mechanism to identify/forbid/"rewrite" non-temporal instructions (and other)

src/trusted/validator_ragel/gen_dfa.py

Index: src/trusted/validator_ragel/gen_dfa.py
diff --git a/src/trusted/validator_ragel/gen_dfa.py b/src/trusted/validator_ragel/gen_dfa.py
index 3345f5803ddf32e6892ef70c3a99c6eab0572f8f..7a7192638bd9f5df68af905c98021dad4db603d9 100644
--- a/src/trusted/validator_ragel/gen_dfa.py
+++ b/src/trusted/validator_ragel/gen_dfa.py
@@ -644,6 +644,10 @@ class InstructionPrinter(object):
       if Attribute('nacl-amd64-modifiable') in instruction.attributes:
         self._out.write('@modifiable_instruction\n')
 
+    if self._mode == VALIDATOR:
+      if Attribute('nacl-unsupported') in instruction.attributes:
+        self._out.write('@unsupported_instruction\n')
+
   def _NeedOperandInfo(self, operand):
     """Whether we need to print actions describing operand format and source."""
     if self._mode == DECODER: