Move validator_x86_XX.rl out of unreviewed.

src/trusted/validator_ragel/unreviewed/parse_instruction.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.
  */
 
 /*
  * Hand-written Ragel machines and actions used in validator and decoding.
  *
  * Note: this file includes many different machines which are supposed to be
@@ skipping 690 matching lines @@
 
   action imm2_operand {
     SET_IMM_TYPE(IMM2);
     SET_IMM_PTR(current_position);
   }
   action imm8_operand {
     SET_IMM_TYPE(IMM8);
     SET_IMM_PTR(current_position);
   }
   action imm8_second_operand {
-    SET_IMM2_TYPE(IMM8);
+    SET_SECOND_IMM_TYPE(IMM8);
     SET_IMM2_PTR(current_position);
   }
   action imm16_operand {
     SET_IMM_TYPE(IMM16);
     SET_IMM_PTR(current_position - 1);
   }
   action imm16_second_operand {
-    SET_IMM2_TYPE(IMM16);
+    SET_SECOND_IMM_TYPE(IMM16);
     SET_IMM2_PTR(current_position - 1);
   }
   action imm32_operand {
     SET_IMM_TYPE(IMM32);
     SET_IMM_PTR(current_position - 3);
   }
   action imm32_second_operand {
-    SET_IMM2_TYPE(IMM32);
+    SET_SECOND_IMM_TYPE(IMM32);
     SET_IMM2_PTR(current_position - 3);
   }
   action imm64_operand {
     SET_IMM_TYPE(IMM64);
     SET_IMM_PTR(current_position - 7);
   }
   action imm64_second_operand {
-    SET_IMM2_TYPE(IMM64);
+    SET_SECOND_IMM_TYPE(IMM64);
     SET_IMM2_PTR(current_position - 7);
   }
 }%%
 
 %%{
   machine immediate_fields_parsing_common;
 
   imm8 = any @imm8_operand $any_byte;
   imm16 = any{2} @imm16_operand $any_byte;
   imm32 = any{4} @imm32_operand $any_byte;
@@ skipping 57 matching lines @@
   # ragel machine.  Ensure compilations error in case of accidental usage.
   action rel16_operand {
     #error rel16_operand should never be used in nacl
   }
 
   # rel32 actions are used in relative calls and jumps with 32-bit offset.
   action rel32_operand {
     Rel32Operand(current_position + 1, data, jump_dests, size,
                  &instruction_info_collected);
   }
+
+  # Action which marks last byte as not immediate.  Most 3DNow! instructions,
+  # some AVX and XOP instructions have this property.
+  #
+  # This action is referenced by decode_x86_32 ragel machine in [autogenerated]
+  # "validator_x86_32_instruction.rl" file.
+  action last_byte_is_not_immediate {
+    instruction_info_collected |= LAST_BYTE_IS_NOT_IMMEDIATE;
+  }
 }%%
 
 %%{
   machine relative_fields_parsing;
 
   rel8  = any @rel8_operand $any_byte;
   rel16 = any{2} @rel16_operand $any_byte;
   rel32 = any{4} @rel32_operand $any_byte;
 }%%
 
@@ skipping 65 matching lines @@
 
 %%{
   machine decoder;
 
   action end_of_instruction_cleanup {
     process_instruction(instruction_begin, current_position + 1, &instruction,
                         userdata);
     instruction_begin = current_position + 1;
     SET_DISP_TYPE(DISPNONE);
     SET_IMM_TYPE(IMMNONE);
-    SET_IMM2_TYPE(IMMNONE);
+    SET_SECOND_IMM_TYPE(IMMNONE);
     SET_REX_PREFIX(FALSE);
     SET_DATA16_PREFIX(FALSE);
     SET_LOCK_PREFIX(FALSE);
     SET_REPNZ_PREFIX(FALSE);
     SET_REPZ_PREFIX(FALSE);
     SET_BRANCH_NOT_TAKEN(FALSE);
     SET_BRANCH_TAKEN(FALSE);
     /* Top three bis of VEX2 are inverted: see AMD/Intel manual.  */
     SET_VEX_PREFIX2(VEX_R | VEX_X | VEX_B);
     SET_VEX_PREFIX3(0x00);
     SET_ATT_INSTRUCTION_SUFFIX(NULL);
     CLEAR_SPURIOUS_REX_B();
     CLEAR_SPURIOUS_REX_X();
     CLEAR_SPURIOUS_REX_R();
     CLEAR_SPURIOUS_REX_W();
   }
 
   action report_fatal_error {
     process_error(current_position, userdata);
     result = FALSE;
     goto error_detected;
   }
 
   decoder = (one_instruction @end_of_instruction_cleanup)*
     $!report_fatal_error;
 }%%