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

src/trusted/validator_ragel/build.scons

 # -*- 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 json
 import hashlib
 import os
 import platform
 import sys
@@ skipping 357 matching lines @@
     ('remaining_avx2_promotions_proof.py', ('32', '64'),
      '20150107.avx2.groups_0f_6x_0f_7x', '20150113.remaining_avx2_promotions'),
     ('avx2_additions_proof.py', ('32', '64'),
      '20150113.remaining_avx2_promotions', '20150128.avx2_additions'),
     ('crc32_16_to_32_proof.py', ('32', '64'),
      '20150210.vmovq_bugfix', '20150223.crc32w'),
     ('jecxz_proof.py', ('32', '64'),
      '20150223.crc32w', '20150226.jecxz'),
     ('vmovd_proof.py', ('32', '64'),
      '20150226.jecxz', '20150430.vmovd_bugfix'),
+    ('nacl_unsupported_proof.py', ('32', '64'),
+     '20150430.vmovd_bugfix', '20150723.nacl_unsupported'),
   ]
   # Run the 5 latest proofs by default.
   for proof_file, bitnesses, old, new in trie_proofs[-5:]:
     for bitness in bitnesses:
       trie_subdirs = {'32': 'ragel_trie_x86_32', '64': 'ragel_trie_x86_64'}
       check_proof = env.AutoDepsCommand(
         '%s_%s_results' % (proof_file, bitness),
         ['${PYTHON}',
          env.File(proof_file),
          '--validator_dll', validator_dll,
@@ skipping 178 matching lines @@
 
   if env.Bit('regenerate_golden'):
     # Don't want these tests run in parallel because they write
     # to .test files.
     SideEffect(tests_mask, spec_test)
 
     # Spec test uses @dis section in test files, which in turn is updated
     # by dis_section_test.
     if env.Bit('build_x86'):
       env.Depends(spec_test, dis_section_test)