diff options
Diffstat (limited to 'test/rlhc.d/case/scan2_crack.crk-K-T1--var-backend.exp')
| -rw-r--r-- | test/rlhc.d/case/scan2_crack.crk-K-T1--var-backend.exp | 358 |
1 files changed, 358 insertions, 0 deletions
diff --git a/test/rlhc.d/case/scan2_crack.crk-K-T1--var-backend.exp b/test/rlhc.d/case/scan2_crack.crk-K-T1--var-backend.exp new file mode 100644 index 00000000..cd44beda --- /dev/null +++ b/test/rlhc.d/case/scan2_crack.crk-K-T1--var-backend.exp @@ -0,0 +1,358 @@ +import crack.io cout; +import crack.lang Buffer; + +int +ts; +int +te; +int act; +int token; + + + + + +const array[int16 ] _scanner_key_offsets = [ 0, 3, 5, 0 , ]; +const array[byte ] _scanner_trans_keys = [ 99, 97, 98, 97, 98, 99, 97, 98, 0, ]; +const array[int16 ] _scanner_single_lengths = [ 1, 2, 1, 0 , ]; +const array[int16 ] _scanner_range_lengths = [ 1, 0, 1, 0 , ]; +const array[int16 ] _scanner_index_offsets = [ 0, 3, 6, 0 , ]; +const array[int16 ] _scanner_trans_cond_spaces = [ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0 , ]; +const array[int16 ] _scanner_trans_offsets = [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 0 , ]; +const array[int16 ] _scanner_trans_lengths = [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0 , ]; +const array[int16 ] _scanner_cond_keys = [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 , ]; +const array[int16 ] _scanner_cond_targs = [ 1, 0, 1, 2, 2, 1, 1, 0, 1, 1, 1, 0 , ]; +const array[int16 ] _scanner_cond_actions = [ 2, 0, 1, 6, 7, 5, 2, 0, 1, 1, 1, 0 , ]; +const array[int16 ] _scanner_to_state_actions = [ 0, 3, 0, 0 , ]; +const array[int16 ] _scanner_from_state_actions = [ 0, 4, 0, 0 , ]; +const array[int16 ] _scanner_eof_trans_indexed = [ 2, 0, 2, 0 , ]; +const array[int16 ] _scanner_eof_trans_direct = [ 10, 0, 11, 0 , ]; +const array[int16 ] _scanner_nfa_targs = [ 0, 0 , ]; +const array[int16 ] _scanner_nfa_offsets = [ 0, 0, 0, 0 , ]; +const array[int16 ] _scanner_nfa_push_actions = [ 0, 0 , ]; +const array[int16 ] _scanner_nfa_pop_trans = [ 0, 0 , ]; +const int scanner_start = 1; +const int scanner_first_final = 1; +const int scanner_error = -1; +const int scanner_en_main = 1; +void m( String s ) +{ + byteptr data = s.buffer; + int p = 0; + int pe = s.size; + int cs; + String buffer; + int eof = pe; + + if ( 1 ) { + cs = int ( scanner_start ); + ts = 0; + te = 0; + act = 0; + + } + if ( 1 ) { + int _klen; + int _keys = 0; + int _ckeys = 0; + int _cpc; + uint32 _trans; + uint32 _cond = 0; + uint32 _have = 0; + uint32 _cont = 1; + while ( _cont == 1 ) + { + _have = 0; + if ( p == pe ) + { + if ( p == eof ) + { + if ( _scanner_eof_trans_direct[cs]> 0 ) + { + _trans = uint32 ( _scanner_eof_trans_direct[cs] )- 1; + _cond = uint32 ( _scanner_trans_offsets[_trans] ); + _have = 1; + + } + + if ( _have == 0 ) + { + + } + + + } + + if ( _have == 0 ) + _cont = 0; + + + } + + if ( _cont == 1 ) + { + if ( _have == 0 ) + { + if ( _scanner_from_state_actions[cs] == 4 ) { + if ( 1 ) { + if ( 1 ) { + ts = p; + + } + + } + + } + ; + _keys = _scanner_key_offsets[cs]; + _trans = uint32 ( _scanner_index_offsets[cs] ); + _have = 0; + _klen = int ( _scanner_single_lengths[cs] ); + if ( _klen > 0 ) + { + int _lower = 0; + int _mid = 0; + int _upper = 0; + _lower = _keys; + _upper = _keys + _klen - 1; + while ( _upper >= _lower && _have == 0 ) + { + _mid = _lower + ((_upper-_lower)>> 1); + if ( (data[p ])< _scanner_trans_keys[_mid ] ) + _upper = _mid - 1; + + else if ( (data[p ])> _scanner_trans_keys[_mid ] ) + _lower = _mid + 1; + + else + { + _trans += uint32 ( (_mid - _keys) ); + _have = 1; + + } + + + } + + if ( _have == 0 ) + { + _keys += _klen; + _trans += uint32 ( _klen ); + + } + + + } + + if ( _have == 0 ) + { + _klen = int ( _scanner_range_lengths[cs] ); + if ( _klen > 0 ) + { + int _lower = 0; + int _mid = 0; + int _upper = 0; + _lower = _keys; + _upper = _keys + (_klen<<1)- 2; + while ( _have == 0 && _lower <= _upper ) + { + _mid = _lower + (((_upper-_lower)>> 1)& ~1); + if ( (data[p ])< _scanner_trans_keys[_mid ] ) + _upper = _mid - 2; + + else if ( (data[p ])> _scanner_trans_keys[_mid + 1 ] ) + _lower = _mid + 2; + + else + { + _trans += uint32 ( ((_mid - _keys)>>1) ); + _have = 1; + + } + + + } + + if ( _have == 0 ) + _trans += uint32 ( _klen ); + + + } + + + } + + _ckeys = _scanner_trans_offsets[_trans]; + _klen = int ( _scanner_trans_lengths[_trans] ); + _cond = uint32 ( _scanner_trans_offsets[_trans] ); + _have = 0; + _cpc = 0; + if ( 1 ) { + int _lower = 0; + int _mid = 0; + int _upper = 0; + _lower = _ckeys; + _upper = _ckeys + _klen - 1; + while ( _have == 0 && _lower <= _upper ) + { + _mid = _lower + ((_upper-_lower)>> 1); + if ( _cpc < int ( _scanner_cond_keys[_mid ] ) ) + _upper = _mid - 1; + + else if ( _cpc > int ( _scanner_cond_keys[_mid ] ) ) + _lower = _mid + 1; + + else + { + _cond += uint32 ( (_mid - _ckeys) ); + _have = 1; + + } + + + } + + if ( _have == 0 ) + { + cs = -1; + _cont = 0; + + } + + + } + + } + + if ( _cont == 1 ) + { + cs = int ( _scanner_cond_targs[_cond] ); + if ( _scanner_cond_actions[_cond] == 2 ) { + if ( 1 ) { + if ( 1 ) { + te = p+1; + if ( 1 ) { + cout.format( "pat2\n" ); + + } + + } + + } + + } + else if ( _scanner_cond_actions[_cond] == 5 ) { + if ( 1 ) { + if ( 1 ) { + te = p+1; + if ( 1 ) { + cout.format( "any\n" ); + + } + + } + + } + + } + else if ( _scanner_cond_actions[_cond] == 1 ) { + if ( 1 ) { + if ( 1 ) { + if ( act == 1 ) { + p = ((te))-1; + if ( 1 ) { + cout.format( "pat1\n" ); + + } + + } + else if ( act == 3 ) { + p = ((te))-1; + if ( 1 ) { + cout.format( "any\n" ); + + } + + } + ; + + } + + + } + + } + else if ( _scanner_cond_actions[_cond] == 6 ) { + if ( 1 ) { + if ( 1 ) { + te = p+1; + + } + + } + if ( 1 ) { + if ( 1 ) { + act = 1; + + } + + } + + } + else if ( _scanner_cond_actions[_cond] == 7 ) { + if ( 1 ) { + if ( 1 ) { + te = p+1; + + } + + } + if ( 1 ) { + if ( 1 ) { + act = 3; + + } + + } + + } + ; + if ( _scanner_to_state_actions[cs] == 3 ) { + if ( 1 ) { + if ( 1 ) { + ts = 0; + + } + + } + + } + ; + if ( _cont == 1 ) + p += 1; + + + } + + + } + + + } + + + } + if ( cs >= scanner_first_final ) { + cout `ACCEPT\n`; + } + else { + cout `FAIL\n`; + } +} + +void main() +{ + m( "a" ); +} + +main(); |