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

src/trusted/validator_ragel/validator.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.
 
 import cStringIO
 import ctypes
 import os
 import re
 import subprocess
 import sys
 import tempfile
 
 import objdump_parser
 
 
 # Some constants from validator.h
-VALIDATION_ERRORS_MASK = 0x01ffc000
+VALIDATION_ERRORS_MASK = 0x05ffc000
+UNSUPPORTED_INSTRUCTION = 0x04000000
 BAD_JUMP_TARGET = 0x40000000
 
 RESTRICTED_REGISTER_MASK = 0x00001f00
 RESTRICTED_REGISTER_SHIFT = 8
 
 NC_REG_RAX = 0
 NC_REG_RCX = 1
 NC_REG_RDX = 2
 NC_REG_RBX = 3
 NC_REG_RSP = 4
@@ skipping 141 matching lines @@
     """
 
     data_addr = ctypes.cast(data, ctypes.c_void_p).value
 
     def LowLevelCallback(begin, end, info, callback_data):
       if callback is not None:
         begin_index = ctypes.cast(begin, ctypes.c_void_p).value - data_addr
         end_index = ctypes.cast(end, ctypes.c_void_p).value - data_addr
         callback(begin_index, end_index, info)
 
+      # UNSUPPORTED_INSTRUCTION indicates validator failure only for pnacl-mode.
+      # Since by default we are in non-pnacl-mode, the flag is simply cleared.
+      info &= ~UNSUPPORTED_INSTRUCTION
+
       # See validator.h for details
       if info & (VALIDATION_ERRORS_MASK | BAD_JUMP_TARGET) != 0:
         return 0
       else:
         return 1
 
     options = 0
     if on_each_instruction:
       options |= CALL_USER_CALLBACK_ON_EACH_INSTRUCTION
     if restricted_register is not None:
@@ skipping 135 matching lines @@
         data,
         bitness=bitness,
         callback=Callback)
 
     assert not result
     assert errors == [31], errors
 
 
 if __name__ == '__main__':
   main()