#include #include #include #include #include #include const char s[4096]; struct nfa_stack { void *data; unsigned long sz; }; struct nfa_bp_rec { long state; const char *p; long popTrans; long q_2; }; static const char _genrep_key_offsets [] = { 0, 0, 1, 2, 3, 4, 5, 5, 6, 6, 6, 7, 8, 9, 10, 11, 11, 0 , }; static const unsigned char _genrep_trans_keys [] = { 104u, 101u, 108u, 108u, 111u, 32u, 116u, 104u, 101u, 114u, 101u, 0u, }; static const char _genrep_single_lengths [] = { 0, 1, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 0, 0, 0 , }; static const char _genrep_range_lengths [] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 , }; static const char _genrep_index_offsets [] = { 0, 0, 2, 4, 6, 8, 10, 11, 13, 14, 15, 17, 19, 21, 23, 25, 26, 0 , }; static const char _genrep_trans_cond_spaces [] = { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0 , }; static const char _genrep_trans_offsets [] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 0 , }; static const char _genrep_trans_lengths [] = { 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0 , }; static const char _genrep_cond_keys [] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 , }; static const char _genrep_cond_targs [] = { 2, 0, 3, 0, 4, 0, 5, 0, 6, 0, 0, 8, 0, 0, 0, 11, 0, 12, 0, 13, 0, 14, 0, 15, 0, 16, 0, 0 , }; static const char _genrep_cond_actions [] = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0 , }; static const char _genrep_nfa_targs [] = { 0, 1, 7, 3, 10, 7, 9, 0 , }; static const char _genrep_nfa_offsets [] = { 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0 , }; static const char _genrep_nfa_push_actions [] = { 0, 0, 1, 0, 1, 1, 1, 0 , }; static const char _genrep_nfa_pop_trans [] = { 0, 0, 4, 0, 8, 7, 6, 0 , }; static const int genrep_start = 1; static const int genrep_first_final = 16; static const int genrep_error = 0; static const int genrep_en_main = 1; int test( const char *p ) { int len = strlen( p ) + 1; const char *pe = p + len; int cs; struct nfa_bp_rec *nfa_bp = (struct nfa_bp_rec*) s; long nfa_len = 0; long nfa_count = 0; long q_2 = 0; printf( "testing: %s\n", p ); { cs = ( int ) genrep_start; nfa_len = 0; } { int _klen; const unsigned char *_keys; const char *_ckeys; int _cpc; unsigned int _trans = 0; unsigned int _cond = 0; if ( p == pe ) goto _test_eof; if ( cs == 0 ) goto _out; _resume : if ( _genrep_nfa_offsets[cs] ) { int alt = 0; int new_recs = _genrep_nfa_targs[( int ) _genrep_nfa_offsets[cs]]; while ( alt < new_recs ) { nfa_bp[nfa_len].state = _genrep_nfa_targs[( int ) _genrep_nfa_offsets[cs]+ 1 + alt]; nfa_bp[nfa_len].p = p; nfa_bp[nfa_len].popTrans = ( long ) _genrep_nfa_offsets[cs]+ 1 + alt; switch ( _genrep_nfa_push_actions[( int ) _genrep_nfa_offsets[cs]+ 1 + alt] ) { case 1 : { nfa_bp[nfa_len].q_2 = q_2; } break; } nfa_len += 1; alt += 1; } } _keys = _genrep_trans_keys + _genrep_key_offsets[cs]; _trans = ( unsigned int ) _genrep_index_offsets[cs]; _klen = ( int ) _genrep_single_lengths[cs]; if ( _klen > 0 ) { const unsigned char *_lower; const unsigned char *_mid; const unsigned char *_upper; _lower = _keys; _upper = _keys + _klen - 1; while ( 1 ) { if ( _upper < _lower ) break; _mid = _lower + ((_upper-_lower)>> 1); if ( ((*( p )) )< (*( _mid )) ) _upper = _mid - 1; else if ( ((*( p )) )> (*( _mid )) ) _lower = _mid + 1; else { _trans += ( unsigned int ) (_mid - _keys); goto _match; } } _keys += _klen; _trans += ( unsigned int ) _klen; } _klen = ( int ) _genrep_range_lengths[cs]; if ( _klen > 0 ) { const unsigned char *_lower; const unsigned char *_mid; const unsigned char *_upper; _lower = _keys; _upper = _keys + (_klen<<1)- 2; while ( 1 ) { if ( _upper < _lower ) break; _mid = _lower + (((_upper-_lower)>> 1)& ~1); if ( ((*( p )) )< (*( _mid )) ) _upper = _mid - 2; else if ( ((*( p )) )> (*( _mid + 1 )) ) _lower = _mid + 2; else { _trans += ( unsigned int ) ((_mid - _keys)>>1); goto _match; } } _trans += ( unsigned int ) _klen; } _match : _ckeys = _genrep_cond_keys + _genrep_trans_offsets[_trans]; _klen = ( int ) _genrep_trans_lengths[_trans]; _cond = ( unsigned int ) _genrep_trans_offsets[_trans]; _cpc = 0; { const char *_lower; const char *_mid; const char *_upper; _lower = _ckeys; _upper = _ckeys + _klen - 1; while ( 1 ) { if ( _upper < _lower ) break; _mid = _lower + ((_upper-_lower)>> 1); if ( _cpc < ( int ) (*( _mid )) ) _upper = _mid - 1; else if ( _cpc > ( int ) (*( _mid )) ) _lower = _mid + 1; else { _cond += ( unsigned int ) (_mid - _ckeys); goto _match_cond; } } cs = 0; goto _again; } _match_cond : cs = ( int ) _genrep_cond_targs[_cond]; if ( _genrep_cond_actions[_cond]== 0 ) goto _again; switch ( _genrep_cond_actions[_cond] ) { case 9 : { printf( "------ MATCH\n" ); } break; } _again : if ( cs == 0 ) goto _out; p += 1; if ( p != pe ) goto _resume; _test_eof : {} _out : {} if ( nfa_len > 0 ) { nfa_count += 1; nfa_len -= 1; p = nfa_bp[nfa_len].p; int _pop_test = 1; switch ( _genrep_nfa_pop_trans[nfa_bp[nfa_len].popTrans] ) { case 6 : _pop_test = (({ q_2 = nfa_bp[nfa_len].q_2; 1; }) ); if ( !_pop_test ) break; _pop_test = (({ 1; }) ); break; case 7 : _pop_test = (({ q_2 = nfa_bp[nfa_len].q_2; 1; }) ); if ( !_pop_test ) break; _pop_test = (({ ++q_2 < 2; }) ); break; case 8 : _pop_test = (({ q_2 = nfa_bp[nfa_len].q_2; 1; }) ); if ( !_pop_test ) break; _pop_test = (({ ++q_2 >= 2; }) ); break; case 4 : _pop_test = (({ q_2 = nfa_bp[nfa_len].q_2; 1; }) ); if ( !_pop_test ) break; { printf( " -> leaving\n" ); } _pop_test = (({ q_2 = 0; 1; }) ); break; } if ( _pop_test ) { cs = nfa_bp[nfa_len].state; goto _resume; } goto _out; } } return 0; } int main() { test( "hellothere" ); test( "hello there" ); test( "hello there" ); test( "hello there" ); test( "hello there" ); return 0; }