Index: src/trusted/validator_ragel/gen/validator_x86_32.c |
=================================================================== |
--- src/trusted/validator_ragel/gen/validator_x86_32.c (revision 9857) |
+++ src/trusted/validator_ragel/gen/validator_x86_32.c (working copy) |
@@ -10,7 +10,7 @@ |
#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 |
@@ -5936,13 +5936,21 @@ |
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; |
@@ -5960,39 +5968,15 @@ |
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); |