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/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)
 
 
 
 
@@ skipping 582 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 st246;
 tr418:
         {
-      BitmapClearBit(valid_targets, (current_position - data) - 1);
+      MakeInvalidJumpTarget((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) ||
            (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 st246;
 tr419:
         {
-      BitmapClearBit(valid_targets, (current_position - data) - 1);
+      MakeInvalidJumpTarget((current_position - data) - 1, valid_targets);
       instruction_start -= 3;
       instruction_info_collected |= SPECIAL_INSTRUCTION;
     }
         {
        if ((instruction_info_collected & VALIDATION_ERRORS_MASK) ||
            (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 st246;
 tr433:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
        if ((instruction_info_collected & VALIDATION_ERRORS_MASK) ||
            (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 st246;
 tr442:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         { SET_CPU_FEATURE(CPUFeature_x87);       }
         {
        if ((instruction_info_collected & VALIDATION_ERRORS_MASK) ||
            (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
@@ skipping 257 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_TZCNT);     }
         goto st1;
 tr415:
         {
     SET_REPZ_PREFIX(FALSE);
   }
         { SET_CPU_FEATURE(CPUFeature_LZCNT);     }
         goto st1;
 tr427:
         {
-       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;
 tr302:
         { SET_CPU_FEATURE(CPUFeature_AVX);       }
         goto st3;
 tr379:
         { SET_CPU_FEATURE(CPUFeature_x87);       }
         goto st3;
 tr443:
         {
-       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;
 tr404:
         {
     SET_IMM2_TYPE(IMM8);
     SET_IMM2_PTR(current_position);
   }
         goto st10;
 tr428:
         {
-       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;
 tr220:
         {
     SET_DISP_TYPE(DISP32);
     SET_DISP_PTR(current_position - 3);
   }
         goto st11;
 tr221:
         {
     SET_DISP_TYPE(DISP8);
     SET_DISP_PTR(current_position);
   }
         goto st11;
 tr270:
         { SET_CPU_FEATURE(CPUFeature_LWP);       }
         goto st11;
 tr429:
         {
-       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;
 tr430:
         {
-       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;
 tr410:
         {
     SET_REPZ_PREFIX(FALSE);
   }
         { SET_CPU_FEATURE(CPUFeature_SSE4A);     }
         goto st29;
 tr440:
         {
-       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;
@@ skipping 184 matching lines @@
         { SET_CPU_FEATURE(CPUFeature_SSE);       }
         goto st34;
 tr412:
         {
     SET_REPZ_PREFIX(FALSE);
   }
         { SET_CPU_FEATURE(CPUFeature_SSE2);      }
         goto st34;
 tr437:
         {
-       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;
 tr459:
         {
-       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;
 tr431:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_BRANCH_NOT_TAKEN(TRUE);
   }
         goto st54;
 tr432:
         {
-       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;
 tr438:
         {
-       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;
 tr434:
         {
-       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;
 tr435:
         {
-       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;
 tr444:
         {
-       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;
 tr449:
         {
-       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 325 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 192u )
                                 goto st64;
                 } else
                         goto st3;
         } else
                 goto st7;
         goto tr0;
 tr466:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st109;
 st109:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof109;
 case 109:
         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;
 tr276:
         { SET_CPU_FEATURE(CPUFeature_BMI1);      }
         goto st110;
 tr436:
         {
-       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 st111;
                 case 5u: goto st112;
                 case 12u: goto st111;
@@ skipping 117 matching lines @@
 tr275:
         { SET_CPU_FEATURE(CPUFeature_LWP);       }
         goto st118;
 st118:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof118;
 case 118:
         goto st112;
 tr439:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st119;
 st119:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof119;
 case 119:
         switch( (*( current_position)) ) {
                 case 4u: goto st35;
                 case 5u: goto st36;
                 case 12u: goto st35;
@@ skipping 189 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr441:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st121;
 st121:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof121;
 case 121:
         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_eof148;
 case 148:
         switch( (*( current_position)) ) {
                 case 16u: goto tr276;
                 case 18u: goto st147;
         }
         goto tr16;
 tr445:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st149;
 st149:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof149;
 case 149:
         switch( (*( current_position)) ) {
                 case 225u: goto st150;
                 case 226u: goto st172;
                 case 227u: goto st181;
@@ skipping 1506 matching lines @@
                 } else if ( (*( current_position)) > 121u ) {
                         if ( 124u <= (*( current_position)) && (*( current_position)) <= 125u )
                                 goto tr345;
                 } else
                         goto tr345;
         } else
                 goto tr345;
         goto tr16;
 tr446:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st199;
 st199:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof199;
 case 199:
         switch( (*( current_position)) ) {
                 case 193u: goto tr362;
                 case 194u: goto tr363;
                 case 195u: goto tr364;
@@ skipping 156 matching lines @@
                 if ( (*( current_position)) > 95u ) {
                         if ( 124u <= (*( current_position)) && (*( current_position)) <= 125u )
                                 goto tr297;
                 } else if ( (*( current_position)) >= 92u )
                         goto tr297;
         } else
                 goto tr297;
         goto tr16;
 tr447:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st204;
 st204:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof204;
 case 204:
         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;
 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 st111;
                 case 5u: goto st112;
                 case 68u: goto st117;
                 case 132u: goto st118;
         }
         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 st112;
         } else
                 goto st116;
         goto tr16;
 tr450:
         {
-       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 tr378;
                 case 5u: goto tr379;
                 case 12u: goto tr378;
@@ skipping 28 matching lines @@
                 case 188u: goto tr382;
         }
         if ( (*( current_position)) > 127u ) {
                 if ( 128u <= (*( current_position)) && (*( current_position)) <= 191u )
                         goto tr379;
         } else if ( (*( current_position)) >= 64u )
                 goto tr380;
         goto tr377;
 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 tr378;
                 case 5u: goto tr379;
                 case 20u: goto tr378;
@@ skipping 49 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 226u )
                                 goto tr16;
                 } else
                         goto tr16;
         } else
                 goto tr379;
         goto tr377;
 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 tr378;
                 case 12u: goto tr378;
                 case 20u: goto tr378;
@@ skipping 51 matching lines @@
                                         goto tr16;
                         } else
                                 goto tr383;
                 } else
                         goto tr377;
         } else
                 goto tr377;
         goto tr379;
 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 tr378;
                 case 5u: goto tr379;
                 case 12u: goto tr378;
@@ skipping 50 matching lines @@
                                         goto tr377;
                         } else
                                 goto tr377;
                 } else
                         goto tr379;
         } else
                 goto tr380;
         goto tr16;
 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 tr378;
                 case 5u: goto tr379;
                 case 12u: goto tr378;
@@ skipping 31 matching lines @@
                 if ( 64u <= (*( current_position)) && (*( current_position)) <= 127u )
                         goto tr380;
         } else if ( (*( current_position)) > 191u ) {
                 if ( 208u <= (*( current_position)) && (*( current_position)) <= 223u )
                         goto tr16;
         } else
                 goto tr379;
         goto tr377;
 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 tr378;
                 case 5u: goto tr379;
                 case 12u: goto tr378;
@@ skipping 45 matching lines @@
                                         goto tr16;
                         } else if ( (*( current_position)) >= 200u )
                                 goto tr16;
                 } else
                         goto tr379;
         } else
                 goto tr379;
         goto tr377;
 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 tr378;
                 case 5u: goto tr379;
                 case 12u: goto tr378;
@@ 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 tr379;
         goto tr377;
 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 tr378;
                 case 5u: goto tr379;
                 case 12u: goto tr378;
@@ 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 tr377;
 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:
         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 tr387;
 tr460:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_LOCK_PREFIX(TRUE);
   }
         goto st218;
 st218:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof218;
 case 218:
         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 st112;
         } else
                 goto st116;
         goto tr16;
 tr461:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_REPNZ_PREFIX(TRUE);
   }
         goto st221;
 st221:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof221;
 case 221:
         switch( (*( current_position)) ) {
@@ skipping 59 matching lines @@
         if ( 192u <= (*( current_position)) )
                 goto st225;
         goto tr16;
 st225:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof225;
 case 225:
         goto tr404;
 tr462:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         {
     SET_REPZ_PREFIX(TRUE);
   }
         {
     SET_REPZ_PREFIX(TRUE);
   }
         goto st226;
 st226:
         if ( ++( current_position) == ( end_of_bundle) )
@@ skipping 46 matching lines @@
                 } else if ( (*( current_position)) > 95u ) {
                         if ( 126u <= (*( current_position)) && (*( current_position)) <= 127u )
                                 goto tr411;
                 } else
                         goto tr408;
         } else
                 goto tr408;
         goto tr16;
 tr463:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st228;
 st228:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof228;
 case 228:
         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;
 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 st111;
                 case 5u: goto st112;
                 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;
 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 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;
 tr467:
         {
-       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 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr468:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st233;
 st233:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof233;
 case 233:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr469:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st235;
 st235:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof235;
 case 235:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr470:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st237;
 st237:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof237;
 case 237:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr471:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st239;
 st239:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof239;
 case 239:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr472:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st241;
 st241:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof241;
 case 241:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr473:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st243;
 st243:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof243;
 case 243:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 181 matching lines @@
                                         goto tr433;
                         } else
                                 goto tr449;
                 } else
                         goto tr428;
         } else
                 goto tr427;
         goto tr16;
 tr474:
         {
-       BitmapSetBit(valid_targets, current_position - data);
+       MakeJumpTargetValid(current_position - data, valid_targets);
      }
         goto st245;
 st245:
         if ( ++( current_position) == ( end_of_bundle) )
                 goto _test_eof245;
 case 245:
         switch( (*( current_position)) ) {
                 case 4u: goto st2;
                 case 5u: goto st3;
                 case 12u: goto st2;
@@ skipping 556 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;
 }