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

src/trusted/validator_ragel/validator_x86_64.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 amd64-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 52 matching lines @@
 
   action check_memory_access {
     CheckMemoryAccess(instruction_begin - codeblock,
                       base,
                       index,
                       restricted_register,
                       valid_targets,
                       &instruction_info_collected);
   }
 
+  action forbid_or_rewrite_instruction {
+    instruction_info_collected |= FORBID_OR_REWRITE_INSTRUCTION;
+  }
+
   action modifiable_instruction {
     instruction_info_collected |= MODIFIABLE_INSTRUCTION;
   }
 
   action process_0_operands {
     Process0Operands(&restricted_register, &instruction_info_collected);
   }
   action process_1_operand {
     Process1Operand(&restricted_register, &instruction_info_collected,
                     rex_prefix, operand_states);
@@ skipping 1217 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;
 }