Move validator_x86_XX.rl out of unreviewed.

src/trusted/validator_ragel/gen/validator_x86_32.c

 /* native_client/src/trusted/validator_ragel/gen/validator_x86_32.c
  * THIS FILE IS AUTO-GENERATED. DO NOT EDIT.
  * Compiled for ia32 mode.
  */
 
 /*
  * 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:
  * it explains how the byte sequences are constructed, what constructs like
  * "@{}" or "REX_WRX?" mean, etc.
  */
 
 #include <assert.h>
 #include <errno.h>
 #include <stddef.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 #include "native_client/src/trusted/validator_ragel/bitmap.h"
-#include "native_client/src/trusted/validator_ragel/unreviewed/validator_internal.h"
+#include "native_client/src/trusted/validator_ragel/validator_internal.h"
 
 /* Ignore this information: it's not used by security model in IA32 mode.  */
 #undef GET_VEX_PREFIX3
 #define GET_VEX_PREFIX3 0
 #undef SET_VEX_PREFIX3
 #define SET_VEX_PREFIX3(P)
 
 
 
 
+/*
+ * The "write data" statement causes Ragel to emit the constant static data
+ * needed by the ragel machine.
+ */
 
 static const int x86_32_validator_start = 234;
 static const int x86_32_validator_first_final = 234;
 static const int x86_32_validator_error = 0;
 
 static const int x86_32_validator_en_main = 234;
 
 
 
-
 Bool ValidateChunkIA32(const uint8_t *data, size_t size,
                        uint32_t options,
                        const NaClCPUFeaturesX86 *cpu_features,
                        ValidationCallbackFunc user_callback,
                        void *callback_data) {
   bitmap_word valid_targets_small;
   bitmap_word jump_dests_small;
   bitmap_word *valid_targets;
   bitmap_word *jump_dests;
   const uint8_t *current_position;
@@ skipping 16 matching lines @@
       free(jump_dests);
       free(valid_targets);
       errno = ENOMEM;
       return FALSE;
     }
   }
 
   /*
    * This option is usually used in tests: we will process the whole chunk
    * in one pass. Usually each bundle is processed separately which means
-   * instructions (and super-instructions) can not cross borders of the bundle.
+   * instructions (and "superinstructions") can not cross borders of the bundle.
    */
   if (options & PROCESS_CHUNK_AS_A_CONTIGUOUS_STREAM)
     end_of_bundle = data + size;
   else
     end_of_bundle = data + kBundleSize;
 
   /*
    * Main loop.  Here we process the data array bundle-after-bundle.
    * Ragel-produced DFA does all the checks with one exception: direct jumps.
    * It collects the two arrays: valid_targets and jump_dests which are used
    * to test direct jumps later.
    */
   for (current_position = data;
        current_position < data + size;
        current_position = end_of_bundle,
        end_of_bundle = current_position + kBundleSize) {
     /* Start of the instruction being processed.  */
     const uint8_t *instruction_begin = current_position;
     /* Only used locally in the end_of_instruction_cleanup action.  */
     const uint8_t *instruction_end;
     uint32_t instruction_info_collected = 0;
     int current_state;
 
+    /*
+     * The "write init" statement causes Ragel to emit initialization code.
+     * This should be executed once before the ragel machine is started.
+     */
     
         {
         ( current_state) = x86_32_validator_start;
         }
 
+    /*
+     * The "write exec" statement causes Ragel to emit the ragel machine's
+     * execution code.
+     */
     
         {
         if ( ( current_position) == ( end_of_bundle) )
                 goto _test_eof;
         switch ( ( current_state) )
         {
 tr0:
         {
     /* Mark start of this instruction as a valid target for jump.  */
     MarkValidJumpTarget(instruction_begin - data, valid_targets);
@@ skipping 2493 matching lines @@
                         goto tr90;
         } else if ( (*( current_position)) >= 64u )
                 goto tr91;
         goto tr35;
 st36:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof36;
 case 36:
         switch( (*( current_position)) ) {
                 case 4u: goto tr95;
+                case 5u: goto tr96;
                 case 12u: goto tr95;
+                case 13u: goto tr96;
                 case 20u: goto tr95;
+                case 21u: goto tr96;
                 case 28u: goto tr95;
+                case 29u: goto tr96;
                 case 36u: goto tr95;
+                case 37u: goto tr96;
                 case 44u: goto tr95;
+                case 45u: goto tr96;
                 case 52u: goto tr95;
+                case 53u: goto tr96;
                 case 60u: goto tr95;
+                case 61u: goto tr96;
                 case 68u: goto tr98;
                 case 76u: goto tr98;
                 case 84u: goto tr98;
                 case 92u: goto tr98;
                 case 100u: goto tr98;
                 case 108u: goto tr98;
                 case 116u: goto tr98;
                 case 124u: goto tr98;
                 case 132u: goto tr99;
                 case 140u: goto tr99;
                 case 148u: goto tr99;
                 case 156u: goto tr99;
                 case 164u: goto tr99;
                 case 172u: goto tr99;
                 case 180u: goto tr99;
                 case 188u: goto tr99;
         }
-        if ( (*( current_position)) < 38u ) {
-                if ( (*( current_position)) < 14u ) {
-                        if ( (*( current_position)) > 3u ) {
-                                if ( 6u <= (*( current_position)) && (*( current_position)) <= 11u )
-                                        goto tr94;
-                        } else
-                                goto tr94;
-                } else if ( (*( current_position)) > 19u ) {
-                        if ( (*( current_position)) > 27u ) {
-                                if ( 30u <= (*( current_position)) && (*( current_position)) <= 35u )
-                                        goto tr94;
-                        } else if ( (*( current_position)) >= 22u )
-                                goto tr94;
-                } else
+        if ( (*( current_position)) < 64u ) {
+                if ( (*( current_position)) <= 63u )
                         goto tr94;
-        } else if ( (*( current_position)) > 43u ) {
-                if ( (*( current_position)) < 62u ) {
-                        if ( (*( current_position)) > 51u ) {
-                                if ( 54u <= (*( current_position)) && (*( current_position)) <= 59u )
-                                        goto tr94;
-                        } else if ( (*( current_position)) >= 46u )
-                                goto tr94;
-                } else if ( (*( current_position)) > 63u ) {
-                        if ( (*( current_position)) > 127u ) {
-                                if ( 192u <= (*( current_position)) )
-                                        goto tr16;
-                        } else if ( (*( current_position)) >= 64u )
-                                goto tr97;
-                } else
-                        goto tr94;
+        } else if ( (*( current_position)) > 127u ) {
+                if ( 128u <= (*( current_position)) && (*( current_position)) <= 191u )
+                        goto tr96;
         } else
-                goto tr94;
-        goto tr96;
+                goto tr97;
+        goto tr16;
 st37:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof37;
 case 37:
         if ( (*( current_position)) == 15u )
                 goto st38;
         goto tr16;
 st38:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof38;
@@ skipping 737 matching lines @@
                         goto tr160;
         } else if ( (*( current_position)) >= 64u )
                 goto tr161;
         goto tr146;
 st64:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof64;
 case 64:
         switch( (*( current_position)) ) {
                 case 4u: goto tr159;
+                case 5u: goto tr160;
                 case 12u: goto tr159;
+                case 13u: goto tr160;
                 case 20u: goto tr159;
+                case 21u: goto tr160;
                 case 28u: goto tr159;
+                case 29u: goto tr160;
                 case 36u: goto tr159;
+                case 37u: goto tr160;
                 case 44u: goto tr159;
+                case 45u: goto tr160;
                 case 52u: goto tr159;
+                case 53u: goto tr160;
                 case 60u: goto tr159;
+                case 61u: goto tr160;
                 case 68u: goto tr162;
                 case 76u: goto tr162;
                 case 84u: goto tr162;
                 case 92u: goto tr162;
                 case 100u: goto tr162;
                 case 108u: goto tr162;
                 case 116u: goto tr162;
                 case 124u: goto tr162;
                 case 132u: goto tr163;
                 case 140u: goto tr163;
                 case 148u: goto tr163;
                 case 156u: goto tr163;
                 case 164u: goto tr163;
                 case 172u: goto tr163;
                 case 180u: goto tr163;
                 case 188u: goto tr163;
         }
-        if ( (*( current_position)) < 38u ) {
-                if ( (*( current_position)) < 14u ) {
-                        if ( (*( current_position)) > 3u ) {
-                                if ( 6u <= (*( current_position)) && (*( current_position)) <= 11u )
-                                        goto tr146;
-                        } else
-                                goto tr146;
-                } else if ( (*( current_position)) > 19u ) {
-                        if ( (*( current_position)) > 27u ) {
-                                if ( 30u <= (*( current_position)) && (*( current_position)) <= 35u )
-                                        goto tr146;
-                        } else if ( (*( current_position)) >= 22u )
-                                goto tr146;
-                } else
+        if ( (*( current_position)) < 64u ) {
+                if ( (*( current_position)) <= 63u )
                         goto tr146;
-        } else if ( (*( current_position)) > 43u ) {
-                if ( (*( current_position)) < 62u ) {
-                        if ( (*( current_position)) > 51u ) {
-                                if ( 54u <= (*( current_position)) && (*( current_position)) <= 59u )
-                                        goto tr146;
-                        } else if ( (*( current_position)) >= 46u )
-                                goto tr146;
-                } else if ( (*( current_position)) > 63u ) {
-                        if ( (*( current_position)) > 127u ) {
-                                if ( 192u <= (*( current_position)) )
-                                        goto tr16;
-                        } else if ( (*( current_position)) >= 64u )
-                                goto tr161;
-                } else
-                        goto tr146;
+        } else if ( (*( current_position)) > 127u ) {
+                if ( 128u <= (*( current_position)) && (*( current_position)) <= 191u )
+                        goto tr160;
         } else
-                goto tr146;
-        goto tr160;
+                goto tr161;
+        goto tr16;
 st65:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof65;
 case 65:
         if ( 192u <= (*( current_position)) )
                 goto tr164;
         goto tr16;
 st66:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof66;
@@ skipping 1007 matching lines @@
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof115;
 case 115:
         goto st109;
 st116:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof116;
 case 116:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
+                case 5u: goto st3;
                 case 12u: goto st2;
+                case 13u: goto st3;
                 case 20u: goto st2;
+                case 21u: goto st3;
                 case 28u: goto st2;
+                case 29u: goto st3;
                 case 36u: goto st2;
+                case 37u: goto st3;
                 case 44u: goto st2;
+                case 45u: goto st3;
                 case 52u: goto st2;
+                case 53u: goto st3;
                 case 60u: goto st2;
+                case 61u: goto st3;
                 case 68u: goto st8;
                 case 76u: goto st8;
                 case 84u: goto st8;
                 case 92u: goto st8;
                 case 100u: goto st8;
                 case 108u: goto st8;
                 case 116u: goto st8;
                 case 124u: goto st8;
                 case 132u: goto st9;
                 case 140u: goto st9;
                 case 148u: goto st9;
                 case 156u: goto st9;
                 case 164u: goto st9;
                 case 172u: goto st9;
                 case 180u: goto st9;
                 case 188u: goto st9;
         }
-        if ( (*( current_position)) < 38u ) {
-                if ( (*( current_position)) < 14u ) {
-                        if ( (*( current_position)) > 3u ) {
-                                if ( 6u <= (*( current_position)) && (*( current_position)) <= 11u )
-                                        goto tr0;
-                        } else
-                                goto tr0;
-                } else if ( (*( current_position)) > 19u ) {
-                        if ( (*( current_position)) > 27u ) {
-                                if ( 30u <= (*( current_position)) && (*( current_position)) <= 35u )
-                                        goto tr0;
-                        } else if ( (*( current_position)) >= 22u )
-                                goto tr0;
-                } else
+        if ( (*( current_position)) < 64u ) {
+                if ( (*( current_position)) <= 63u )
                         goto tr0;
-        } else if ( (*( current_position)) > 43u ) {
-                if ( (*( current_position)) < 62u ) {
-                        if ( (*( current_position)) > 51u ) {
-                                if ( 54u <= (*( current_position)) && (*( current_position)) <= 59u )
-                                        goto tr0;
-                        } else if ( (*( current_position)) >= 46u )
-                                goto tr0;
-                } else if ( (*( current_position)) > 63u ) {
-                        if ( (*( current_position)) > 127u ) {
-                                if ( 192u <= (*( current_position)) )
-                                        goto tr16;
-                        } else if ( (*( current_position)) >= 64u )
-                                goto st7;
-                } else
-                        goto tr0;
+        } else if ( (*( current_position)) > 127u ) {
+                if ( 128u <= (*( current_position)) && (*( current_position)) <= 191u )
+                        goto st3;
         } else
-                goto tr0;
-        goto st3;
+                goto st7;
+        goto tr16;
 st117:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof117;
 case 117:
         switch( (*( current_position)) ) {
                 case 4u: goto st39;
                 case 5u: goto st40;
                 case 12u: goto st39;
                 case 13u: goto st40;
                 case 20u: goto st39;
@@ skipping 5078 matching lines @@
    */
   result &= ProcessInvalidJumpTargets(data, size, valid_targets, 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;
 }