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

src/trusted/validator_ragel/def_format.py

 # Copyright (c) 2013 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.
 
 ################################################################################
 # File format:
 #     three columns separated by commas.  Each line describes one instruction.
 #     Notation for argument types and sizes and for opcodes is based on
 #     AMD64 Architecture Programmer's Manual.
 ################################################################################
@@ skipping 273 matching lines @@
 
     # If L == 1: requires AVX2, else: requires AVX1
     'CPUFeature_AVX_Lis2',
 
     # Attributes for enabling/disabling based on architecture and validity.
     'ia32',
     'amd64',
     'nacl-ia32-forbidden',
     'nacl-amd64-forbidden',
     'nacl-forbidden',
+    'nacl-unsupported',
     'nacl-amd64-zero-extends',
     'nacl-amd64-modifiable',
     'disabled_untested',
 
     # AT&T Decoder attributes.
     'att-show-name-suffix-b',
     'att-show-name-suffix-l',
     'att-show-name-suffix-ll',
     'att-show-name-suffix-t',
     'att-show-name-suffix-s',
@@ skipping 52 matching lines @@
   DS_BX = 'x'
 
   REGISTER_IN_VVVV = 'B'
   XMM_REGISTER_IN_VVVV = 'H'
 
   PORT_IN_DX = 'o'
 
 
 ALL_OPERAND_TYPES = set(
     v for k, v in OperandType.__dict__.items() if not k.startswith('__'))