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.
  */
 
 #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/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)
 
 
 
 
 
 static const int x86_32_validator_start = 247;
 static const int x86_32_validator_first_final = 247;
 static const int x86_32_validator_error = 0;
 
 static const int x86_32_validator_en_main = 247;
 
 
 
 
 Bool ValidateChunkIA32(const uint8_t *data, size_t size,
                        enum validation_options options,
                        const NaClCPUFeaturesX86 *cpu_features,
-                       validation_callback_func user_callback,
+                       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;
   const uint8_t *end_of_bundle;
   int result = TRUE;
 
   CHECK(sizeof valid_targets_small == sizeof jump_dests_small);
@@ skipping 590 matching lines @@
        }
        /* On successful match the instruction start must point to the next byte
         * to be able to report the new offset as the start of instruction
         * causing error.  */
        instruction_start = current_position + 1;
        instruction_info_collected = 0;
      }
         goto st247;
 tr419:
         {
-      BitmapClearBit(valid_targets, (current_position - data) - 1);
+      MakeJumpTargetInvalid((current_position - data) - 1, valid_targets);
       instruction_start -= 3;
       instruction_info_collected |= SPECIAL_INSTRUCTION;
     }
         {
       if (((current_position - data) & kBundleMask) != kBundleMask)
         instruction_info_collected |= BAD_CALL_ALIGNMENT;
     }
         {
        if ((instruction_info_collected &
                                (VALIDATION_ERRORS_MASK | BAD_CALL_ALIGNMENT)) ||
            (options & CALL_USER_CALLBACK_ON_EACH_INSTRUCTION)) {
          result &= user_callback(instruction_start, current_position,
                                  instruction_info_collected, callback_data);
        }
        /* On successful match the instruction start must point to the next byte
         * to be able to report the new offset as the start of instruction
         * causing error.  */
        instruction_start = current_position + 1;
        instruction_info_collected = 0;
      }
         goto st247;
 tr420:
         {
-      BitmapClearBit(valid_targets, (current_position - data) - 1);
+      MakeJumpTargetInvalid((current_position - data) - 1, valid_targets);
       instruction_start -= 3;
       instruction_info_collected |= SPECIAL_INSTRUCTION;
     }
         {
        if ((instruction_info_collected &
                                (VALIDATION_ERRORS_MASK | BAD_CALL_ALIGNMENT)) ||
            (options & CALL_USER_CALLBACK_ON_EACH_INSTRUCTION)) {
          result &= user_callback(instruction_start, current_position,
                                  instruction_info_collected, callback_data);
        }
        /* On successful match the instruction start must point to the next byte
         * to be able to report the new offset as the start of instruction
         * causing error.  */
        instruction_start = current_position + 1;
        instruction_info_collected = 0;
      }
         goto st247;
 tr434:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
        if ((instruction_info_collected &
                                (VALIDATION_ERRORS_MASK | BAD_CALL_ALIGNMENT)) ||
            (options & CALL_USER_CALLBACK_ON_EACH_INSTRUCTION)) {
          result &= user_callback(instruction_start, current_position,
                                  instruction_info_collected, callback_data);
        }
        /* On successful match the instruction start must point to the next byte
         * to be able to report the new offset as the start of instruction
         * causing error.  */
        instruction_start = current_position + 1;
        instruction_info_collected = 0;
      }
         goto st247;
 tr443:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         { SET_CPU_FEATURE(CPUFeature_x87); }
         {
        if ((instruction_info_collected &
                                (VALIDATION_ERRORS_MASK | BAD_CALL_ALIGNMENT)) ||
            (options & CALL_USER_CALLBACK_ON_EACH_INSTRUCTION)) {
          result &= user_callback(instruction_start, current_position,
                                  instruction_info_collected, callback_data);
        }
        /* On successful match the instruction start must point to the next byte
@@ skipping 258 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_SSE3); }
         goto st1;
 tr415:
         {
     SET_REPZ_PREFIX(FALSE);
   }
         { SET_CPU_FEATURE(CPUFeature_SSE2); }
         goto st1;
 tr428:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st1;
 st1:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof1;
 case 1:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 121 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_BMI1); }
         goto st3;
 tr306:
         { SET_CPU_FEATURE(CPUFeature_AVX); }
         goto st3;
 tr383:
         { SET_CPU_FEATURE(CPUFeature_x87); }
         goto st3;
 tr444:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st3;
 st3:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof3;
 case 3:
         goto st4;
 st4:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof4;
@@ skipping 145 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_AVX); }
         goto st10;
 tr408:
         {
     SET_IMM2_TYPE(IMM8);
     SET_IMM2_PTR(current_position);
   }
         goto st10;
 tr429:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st10;
 st10:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof10;
 case 10:
         goto tr11;
 tr224:
         {
     SET_DISP_TYPE(DISP32);
     SET_DISP_PTR(current_position - 3);
   }
         goto st11;
 tr225:
         {
     SET_DISP_TYPE(DISP8);
     SET_DISP_PTR(current_position);
   }
         goto st11;
 tr274:
         { SET_CPU_FEATURE(CPUFeature_LWP); }
         goto st11;
 tr430:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st11;
 st11:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof11;
 case 11:
         goto st12;
 st12:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof12;
@@ skipping 14 matching lines @@
         result &= user_callback(instruction_start, current_position,
                                 UNRECOGNIZED_INSTRUCTION, callback_data);
         continue;
     }
         goto st0;
 st0:
 ( current_state) = 0;
         goto _out;
 tr431:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st15;
 st15:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof15;
 case 15:
         switch( (*( current_position)) ) {
                 case 1u: goto st16;
                 case 11u: goto tr0;
                 case 13u: goto st17;
@@ skipping 390 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_SSE4A); }
         goto st29;
 tr414:
         {
     SET_REPZ_PREFIX(FALSE);
   }
         { SET_CPU_FEATURE(CPUFeature_SSE4A); }
         goto st29;
 tr441:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st29;
 st29:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof29;
 case 29:
         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;
 st30:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof30;
 case 30:
         switch( (*( current_position)) ) {
                 case 4u: goto tr72;
                 case 5u: goto tr73;
                 case 12u: goto tr72;
                 case 13u: goto tr73;
                 case 20u: goto tr72;
@@ skipping 135 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_SSE); }
         goto st34;
 tr416:
         {
     SET_REPZ_PREFIX(FALSE);
   }
         { SET_CPU_FEATURE(CPUFeature_SSE2); }
         goto st34;
 tr438:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st34;
 st34:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof34;
 case 34:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
                 case 5u: goto st36;
                 case 12u: goto st35;
@@ skipping 264 matching lines @@
                 goto _test_eof45;
 case 45:
         if ( (*( current_position)) > 215u ) {
                 if ( 240u <= (*( current_position)) && (*( current_position)) <= 247u )
                         goto tr91;
         } else if ( (*( current_position)) >= 208u )
                 goto tr91;
         goto tr16;
 tr460:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st46;
 st46:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof46;
 case 46:
         goto st47;
 st47:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof47;
@@ skipping 163 matching lines @@
                 if ( 8u <= (*( current_position)) && (*( current_position)) <= 15u )
                         goto tr115;
         } else if ( (*( current_position)) > 79u ) {
                 if ( 136u <= (*( current_position)) && (*( current_position)) <= 143u )
                         goto tr117;
         } else
                 goto tr118;
         goto tr16;
 tr432:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_BRANCH_NOT_TAKEN(TRUE);
   }
         goto st54;
 tr433:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_BRANCH_TAKEN(TRUE);
   }
         goto st54;
 st54:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof54;
 case 54:
         if ( (*( current_position)) == 15u )
                 goto st55;
         if ( 112u <= (*( current_position)) && (*( current_position)) <= 127u )
                 goto st56;
         goto tr16;
 st55:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof55;
 case 55:
         if ( 128u <= (*( current_position)) && (*( current_position)) <= 143u )
                 goto st46;
         goto tr16;
 tr439:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st56;
 st56:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof56;
 case 56:
         goto tr123;
 tr435:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st57;
 st57:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof57;
 case 57:
         switch( (*( current_position)) ) {
                 case 139u: goto st58;
                 case 161u: goto st59;
         }
@@ skipping 38 matching lines @@
         goto tr16;
 st62:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof62;
 case 62:
         if ( (*( current_position)) == 0u )
                 goto tr0;
         goto tr16;
 tr436:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_DATA16_PREFIX(TRUE);
   }
         goto st63;
 st63:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof63;
 case 63:
         switch( (*( current_position)) ) {
@@ skipping 545 matching lines @@
                 goto _test_eof94;
 case 94:
         goto st93;
 st95:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof95;
 case 95:
         goto st89;
 tr445:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st96;
 st96:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof96;
 case 96:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
                 case 5u: goto st36;
                 case 12u: goto st35;
@@ skipping 64 matching lines @@
                 if ( (*( current_position)) > 135u ) {
                         if ( 192u <= (*( current_position)) && (*( current_position)) <= 199u )
                                 goto st64;
                 } else if ( (*( current_position)) >= 128u )
                         goto st89;
         } else
                 goto st93;
         goto tr16;
 tr450:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st98;
 st98:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof98;
 case 98:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 336 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 192u )
                                 goto st64;
                 } else
                         goto st3;
         } else
                 goto st7;
         goto tr0;
 tr467:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st110;
 st110:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof110;
 case 110:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 29 matching lines @@
                 } else
                         goto st3;
         } else
                 goto st7;
         goto tr16;
 tr280:
         { SET_CPU_FEATURE(CPUFeature_BMI1); }
         goto st111;
 tr437:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st111;
 st111:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof111;
 case 111:
         switch( (*( current_position)) ) {
                 case 4u: goto st112;
                 case 5u: goto st113;
                 case 12u: goto st112;
@@ skipping 117 matching lines @@
 tr279:
         { SET_CPU_FEATURE(CPUFeature_LWP); }
         goto st119;
 st119:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof119;
 case 119:
         goto st113;
 tr440:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st120;
 st120:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof120;
 case 120:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
                 case 5u: goto st36;
                 case 12u: goto st35;
@@ skipping 190 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr442:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st122;
 st122:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof122;
 case 122:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 68u: goto st8;
@@ skipping 562 matching lines @@
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof149;
 case 149:
         switch( (*( current_position)) ) {
                 case 16u: goto tr280;
                 case 18u: goto st148;
         }
         goto tr16;
 tr446:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st150;
 st150:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof150;
 case 150:
         switch( (*( current_position)) ) {
                 case 225u: goto st151;
                 case 226u: goto st173;
                 case 227u: goto st182;
@@ skipping 1369 matching lines @@
         goto tr16;
 tr363:
         { SET_CPU_FEATURE(CPUFeature_AVX); }
         goto st196;
 st196:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof196;
 case 196:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
+                case 5u: goto st36;
                 case 12u: goto st35;
+                case 13u: goto st36;
                 case 20u: goto st35;
+                case 21u: goto st36;
                 case 28u: goto st35;
+                case 29u: goto st36;
                 case 36u: goto st35;
+                case 37u: goto st36;
                 case 44u: goto st35;
+                case 45u: goto st36;
                 case 52u: goto st35;
+                case 53u: goto st36;
                 case 60u: goto st35;
+                case 61u: goto st36;
                 case 68u: goto st41;
                 case 76u: goto st41;
                 case 84u: goto st41;
                 case 92u: goto st41;
                 case 100u: goto st41;
                 case 108u: goto st41;
                 case 116u: goto st41;
                 case 124u: goto st41;
                 case 132u: goto st42;
                 case 140u: goto st42;
                 case 148u: goto st42;
                 case 156u: goto st42;
                 case 164u: goto st42;
                 case 172u: goto st42;
                 case 180u: goto st42;
                 case 188u: goto st42;
         }
-        if ( (*( current_position)) < 38u ) {
-                if ( (*( current_position)) < 14u ) {
-                        if ( (*( current_position)) > 3u ) {
-                                if ( 6u <= (*( current_position)) && (*( current_position)) <= 11u )
-                                        goto st10;
-                        } else
-                                goto st10;
-                } else if ( (*( current_position)) > 19u ) {
-                        if ( (*( current_position)) > 27u ) {
-                                if ( 30u <= (*( current_position)) && (*( current_position)) <= 35u )
-                                        goto st10;
-                        } else if ( (*( current_position)) >= 22u )
-                                goto st10;
-                } else
+        if ( (*( current_position)) < 64u ) {
+                if ( (*( current_position)) <= 63u )
                         goto st10;
-        } else if ( (*( current_position)) > 43u ) {
-                if ( (*( current_position)) < 62u ) {
-                        if ( (*( current_position)) > 51u ) {
-                                if ( 54u <= (*( current_position)) && (*( current_position)) <= 59u )
-                                        goto st10;
-                        } else if ( (*( current_position)) >= 46u )
-                                goto st10;
-                } else if ( (*( current_position)) > 63u ) {
-                        if ( (*( current_position)) > 127u ) {
-                                if ( 192u <= (*( current_position)) )
-                                        goto tr16;
-                        } else if ( (*( current_position)) >= 64u )
-                                goto st40;
-                } else
-                        goto st10;
+        } else if ( (*( current_position)) > 127u ) {
+                if ( 128u <= (*( current_position)) && (*( current_position)) <= 191u )
+                        goto st36;
         } else
-                goto st10;
-        goto st36;
+                goto st40;
+        goto tr16;
 tr343:
         {
     SET_VEX_PREFIX3(*current_position);
   }
         goto st197;
 st197:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof197;
 case 197:
         switch( (*( current_position)) ) {
@@ skipping 76 matching lines @@
                 } else if ( (*( current_position)) > 121u ) {
                         if ( 124u <= (*( current_position)) && (*( current_position)) <= 125u )
                                 goto tr349;
                 } else
                         goto tr349;
         } else
                 goto tr349;
         goto tr16;
 tr447:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st200;
 st200:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof200;
 case 200:
         switch( (*( current_position)) ) {
                 case 193u: goto tr366;
                 case 194u: goto tr367;
                 case 195u: goto tr368;
@@ skipping 156 matching lines @@
                 if ( (*( current_position)) > 95u ) {
                         if ( 124u <= (*( current_position)) && (*( current_position)) <= 125u )
                                 goto tr301;
                 } else if ( (*( current_position)) >= 92u )
                         goto tr301;
         } else
                 goto tr301;
         goto tr16;
 tr448:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st205;
 st205:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof205;
 case 205:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
                 case 5u: goto st36;
                 case 68u: goto st41;
                 case 132u: goto st42;
         }
         if ( (*( current_position)) < 64u ) {
                 if ( (*( current_position)) <= 7u )
                         goto st10;
         } else if ( (*( current_position)) > 71u ) {
                 if ( (*( current_position)) > 135u ) {
                         if ( 192u <= (*( current_position)) && (*( current_position)) <= 199u )
                                 goto st10;
                 } else if ( (*( current_position)) >= 128u )
                         goto st36;
         } else
                 goto st40;
         goto tr16;
 tr449:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st206;
 st206:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof206;
 case 206:
         switch( (*( current_position)) ) {
                 case 4u: goto st112;
                 case 5u: goto st113;
                 case 68u: goto st118;
                 case 132u: goto st119;
         }
         if ( (*( current_position)) < 64u ) {
                 if ( (*( current_position)) <= 7u )
                         goto st11;
         } else if ( (*( current_position)) > 71u ) {
                 if ( (*( current_position)) > 135u ) {
                         if ( 192u <= (*( current_position)) && (*( current_position)) <= 199u )
                                 goto st11;
                 } else if ( (*( current_position)) >= 128u )
                         goto st113;
         } else
                 goto st117;
         goto tr16;
 tr451:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st207;
 st207:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof207;
 case 207:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 12u: goto tr382;
@@ skipping 28 matching lines @@
                 case 188u: goto tr386;
         }
         if ( (*( current_position)) > 127u ) {
                 if ( 128u <= (*( current_position)) && (*( current_position)) <= 191u )
                         goto tr383;
         } else if ( (*( current_position)) >= 64u )
                 goto tr384;
         goto tr381;
 tr452:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st208;
 st208:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof208;
 case 208:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 20u: goto tr382;
@@ skipping 49 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 226u )
                                 goto tr16;
                 } else
                         goto tr16;
         } else
                 goto tr383;
         goto tr381;
 tr453:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st209;
 st209:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof209;
 case 209:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 12u: goto tr382;
                 case 20u: goto tr382;
@@ skipping 51 matching lines @@
                                         goto tr16;
                         } else
                                 goto tr387;
                 } else
                         goto tr381;
         } else
                 goto tr381;
         goto tr383;
 tr454:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st210;
 st210:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof210;
 case 210:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 12u: goto tr382;
@@ skipping 50 matching lines @@
                                         goto tr381;
                         } else
                                 goto tr381;
                 } else
                         goto tr383;
         } else
                 goto tr384;
         goto tr16;
 tr455:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st211;
 st211:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof211;
 case 211:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 12u: goto tr382;
@@ skipping 31 matching lines @@
                 if ( 64u <= (*( current_position)) && (*( current_position)) <= 127u )
                         goto tr384;
         } else if ( (*( current_position)) > 191u ) {
                 if ( 208u <= (*( current_position)) && (*( current_position)) <= 223u )
                         goto tr16;
         } else
                 goto tr383;
         goto tr381;
 tr456:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st212;
 st212:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof212;
 case 212:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 12u: goto tr382;
@@ skipping 45 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 200u )
                                 goto tr16;
                 } else
                         goto tr383;
         } else
                 goto tr383;
         goto tr381;
 tr457:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st213;
 st213:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof213;
 case 213:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 12u: goto tr382;
@@ skipping 34 matching lines @@
                 if ( (*( current_position)) > 216u ) {
                         if ( 218u <= (*( current_position)) && (*( current_position)) <= 223u )
                                 goto tr16;
                 } else if ( (*( current_position)) >= 208u )
                         goto tr16;
         } else
                 goto tr383;
         goto tr381;
 tr458:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st214;
 st214:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof214;
 case 214:
         switch( (*( current_position)) ) {
                 case 4u: goto tr382;
                 case 5u: goto tr383;
                 case 12u: goto tr382;
@@ skipping 37 matching lines @@
                 if ( (*( current_position)) > 231u ) {
                         if ( 248u <= (*( current_position)) )
                                 goto tr16;
                 } else if ( (*( current_position)) >= 225u )
                         goto tr16;
         } else
                 goto tr16;
         goto tr381;
 tr459:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st215;
 st215:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof215;
 case 215:
         goto st216;
 st216:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof216;
 case 216:
         goto st217;
 st217:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof217;
 case 217:
         goto st218;
 st218:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof218;
 case 218:
         goto tr391;
 tr461:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_LOCK_PREFIX(TRUE);
   }
         goto st219;
 st219:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof219;
 case 219:
         switch( (*( current_position)) ) {
@@ skipping 83 matching lines @@
                 if ( (*( current_position)) <= 55u )
                         goto st11;
         } else if ( (*( current_position)) > 119u ) {
                 if ( 128u <= (*( current_position)) && (*( current_position)) <= 183u )
                         goto st113;
         } else
                 goto st117;
         goto tr16;
 tr462:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_REPNZ_PREFIX(TRUE);
   }
         goto st222;
 st222:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof222;
 case 222:
         switch( (*( current_position)) ) {
@@ skipping 59 matching lines @@
         if ( 192u <= (*( current_position)) )
                 goto st226;
         goto tr16;
 st226:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof226;
 case 226:
         goto tr408;
 tr463:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_REPZ_PREFIX(TRUE);
   }
         {
     SET_REPZ_PREFIX(TRUE);
   }
         goto st227;
 st227:
         if ( ++( current_position) == ( end_of_bundle) )
@@ skipping 46 matching lines @@
                 } else if ( (*( current_position)) > 95u ) {
                         if ( 126u <= (*( current_position)) && (*( current_position)) <= 127u )
                                 goto tr415;
                 } else
                         goto tr412;
         } else
                 goto tr412;
         goto tr16;
 tr464:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st229;
 st229:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof229;
 case 229:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
                 case 5u: goto st36;
                 case 20u: goto st2;
@@ skipping 48 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 192u )
                                 goto st10;
                 } else
                         goto st3;
         } else
                 goto st7;
         goto tr0;
 tr465:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st230;
 st230:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof230;
 case 230:
         switch( (*( current_position)) ) {
                 case 4u: goto st112;
                 case 5u: goto st113;
                 case 20u: goto st2;
@@ skipping 48 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 192u )
                                 goto st11;
                 } else
                         goto st3;
         } else
                 goto st7;
         goto tr0;
 tr466:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st231;
 st231:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof231;
 case 231:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 10 matching lines @@
                 if ( (*( current_position)) > 143u ) {
                         if ( 192u <= (*( current_position)) && (*( current_position)) <= 207u )
                                 goto tr0;
                 } else if ( (*( current_position)) >= 128u )
                         goto st3;
         } else
                 goto st7;
         goto tr16;
 tr468:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st232;
 st232:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof232;
 case 232:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr469:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st234;
 st234:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof234;
 case 234:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr470:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st236;
 st236:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof236;
 case 236:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr471:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st238;
 st238:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof238;
 case 238:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr472:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st240;
 st240:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof240;
 case 240:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr473:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st242;
 st242:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof242;
 case 242:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr474:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st244;
 st244:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof244;
 case 244:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 182 matching lines @@
                                         goto tr434;
                         } else
                                 goto tr450;
                 } else
                         goto tr429;
         } else
                 goto tr428;
         goto tr16;
 tr475:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st246;
 st246:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof246;
 case 246:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 558 matching lines @@
                                       user_callback, callback_data);
 
   /* We only use malloc for a large code sequences  */
   if (size > sizeof valid_targets_small) {
     free(jump_dests);
     free(valid_targets);
   }
   if (!result) errno = EINVAL;
   return result;
 }