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

src/trusted/validator_ragel/validator_x86_32.rl

 /*
  * 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.
  */
 
 /*
  * This is the core of ia32-mode validator.  Please note that this file
  * combines ragel machine description and C language actions.  Please read
  * validator_internals.html first to understand how the whole thing is built:
@@ skipping 40 matching lines @@
     "native_client/src/trusted/validator_ragel/parse_instruction.rl";
   include immediate_fields_parsing
     "native_client/src/trusted/validator_ragel/parse_instruction.rl";
   include relative_fields_validator_actions
     "native_client/src/trusted/validator_ragel/parse_instruction.rl";
   include relative_fields_parsing
     "native_client/src/trusted/validator_ragel/parse_instruction.rl";
   include cpuid_actions
     "native_client/src/trusted/validator_ragel/parse_instruction.rl";
 
+  action unsupported_instruction {
+    instruction_info_collected |= UNSUPPORTED_INSTRUCTION;
+  }
+
   include decode_x86_32 "validator_x86_32_instruction.rl";
 
   special_instruction =
    # and $~0x1f, %eXX  call  %eXX
    #                   vvvvvvvvvv
     (0x83 0xe0 0xe0    0xff (0xd0|0xe0)  | # naclcall/jmp %eax
      0x83 0xe1 0xe0    0xff (0xd1|0xe1)  | # naclcall/jmp %ecx
      0x83 0xe2 0xe0    0xff (0xd2|0xe2)  | # naclcall/jmp %edx
      0x83 0xe3 0xe0    0xff (0xd3|0xe3)  | # naclcall/jmp %ebx
      0x83 0xe4 0xe0    0xff (0xd4|0xe4)  | # naclcall/jmp %esp
@@ skipping 175 matching lines @@
                                       jump_dests,
                                       user_callback,
                                       callback_data);
 
   /* We only use malloc for a large code sequences  */
   if (jump_dests != &jump_dests_small) free(jump_dests);
   if (valid_targets != &valid_targets_small) free(valid_targets);
   if (!result) errno = EINVAL;
   return result;
 }