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

src/trusted/validator_ragel/gen_dfa.py

 #!/usr/bin/python
 # Copyright (c) 2012 The Native Client Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 import collections
 import copy
 import itertools
 import optparse
 import re
@@ skipping 626 matching lines @@
                         (operand.index, operand.GetFormat(self._bitness)))
 
     for attr in instruction.attributes:
       if attr.startswith('CPUFeature_'):
         self._out.write('@%s\n' % attr)
 
     if self._mode == VALIDATOR and self._bitness == 64:
       if Attribute('nacl-amd64-modifiable') in instruction.attributes:
         self._out.write('@modifiable_instruction\n')
 
+    if self._mode == VALIDATOR:
+      if Attribute('nacl-forbid-or-rewrite') in instruction.attributes:
+        self._out.write('@forbid_or_rewrite_instruction\n')
+
   def _NeedOperandInfo(self, operand):
     """Whether we need to print actions describing operand format and source."""
     if self._mode == DECODER:
       return True
 
     if self._bitness == 32:
       return False
 
     # In 64-bit validator we only care about general purpose registers we
     # are writing to.
@@ skipping 836 matching lines @@
 
   print '  one_instruction = '
   print '|\n'.join(printed_instrs)
 
   print '  ;'
   print '}%%'
 
 
 if __name__ == '__main__':
   main()