summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/cond7_c.c-C-T0--goto-backend.in
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/cond7_c.c-C-T0--goto-backend.in')
-rw-r--r--test/rlhc.d/case/cond7_c.c-C-T0--goto-backend.in263
1 files changed, 263 insertions, 0 deletions
diff --git a/test/rlhc.d/case/cond7_c.c-C-T0--goto-backend.in b/test/rlhc.d/case/cond7_c.c-C-T0--goto-backend.in
new file mode 100644
index 00000000..bf9dc52f
--- /dev/null
+++ b/test/rlhc.d/case/cond7_c.c-C-T0--goto-backend.in
@@ -0,0 +1,263 @@
+host( "working/cond7_c.rl", 1 ) @{/*
+ * @@LANG: c
+ * @@GENERATED: true
+ */
+
+ #include <string.h>
+ #include <stdio.h>
+
+ int i ;
+ int c ;
+
+
+
+
+
+}@
+array s8 _foo_actions( 0, 1 ) = { 0, 1, 0, 1, 1, 0 };
+
+array s8 _foo_key_offsets( 0, 7 ) = { 0, 0, 2, 4, 7, 0 };
+
+array char _foo_trans_keys( 0, 57 ) = { 48, 57, 48, 57, 10, 48, 57, 0 };
+
+array s8 _foo_single_lengths( 0, 1 ) = { 0, 0, 0, 1, 0, 0 };
+
+array s8 _foo_range_lengths( 0, 1 ) = { 0, 1, 1, 1, 0, 0 };
+
+array s8 _foo_index_offsets( 0, 7 ) = { 0, 0, 2, 4, 7, 0 };
+
+array s8 _foo_trans_cond_spaces( -1, 0 ) = { -1, -1, 0, -1, 0, 0, -1, -1, 0 };
+
+array s8 _foo_trans_offsets( 0, 8 ) = { 0, 1, 2, 4, 5, 6, 7, 8, 0 };
+
+array s8 _foo_trans_lengths( 0, 2 ) = { 1, 1, 2, 1, 1, 1, 1, 1, 0 };
+
+array s8 _foo_cond_keys( 0, 1 ) = { 0, 0, 0, 1, 0, 0, 1, 0, 0, 0 };
+
+array s8 _foo_cond_targs( 0, 4 ) = { 2, 0, 3, 2, 0, 4, 3, 0, 0, 0 };
+
+array s8 _foo_cond_actions( 0, 3 ) = { 3, 0, 3, 1, 0, 0, 1, 0, 0, 0 };
+
+array s8 _foo_nfa_targs( 0, 0 ) = { 0, 0 };
+
+array s8 _foo_nfa_offsets( 0, 0 ) = { 0, 0, 0, 0, 0, 0 };
+
+array s8 _foo_nfa_push_actions( 0, 0 ) = { 0, 0 };
+
+array s8 _foo_nfa_pop_trans( 0, 0 ) = { 0, 0 };
+
+value int foo_start = 1;
+value int foo_first_final = 4;
+value int foo_error = 0;
+
+value int foo_en_main = 1;
+
+host( "working/cond7_c.rl", 41 ) @{
+ int cs;
+ int blen;
+ char buffer[1024];
+
+ void init()
+ {
+ }@
+ {
+ cs = cast(int)foo_start;
+ }
+ host( "working/cond7_c.rl", 48 ) @{
+ }
+
+ void exec( char *data, int len )
+ {
+ char *p = data;
+ char *pe = data + len;
+ }@
+ {
+ int _klen;
+ uint _trans = 0;
+ uint _cond = 0;
+ index s8 _acts;
+ uint _nacts;
+ index char _keys;
+ index s8 _ckeys;
+ int _cpc;
+ entry {
+
+ if ( p == pe )
+ goto _test_eof;
+ if ( cs == 0 )
+ goto _out;
+ label _resume {
+ _keys = offset( _foo_trans_keys, _foo_key_offsets[cs] );
+ _trans = cast(uint)_foo_index_offsets[cs];
+
+ _klen = cast(int)_foo_single_lengths[cs];
+ if ( _klen > 0 ) {
+ index char _lower;
+ index char _mid;
+ index char _upper;
+ _lower = _keys;
+ _upper = _keys + _klen - 1;
+ while ( TRUE ) {
+ if ( _upper < _lower )
+ break;
+
+ _mid = _lower + ((_upper-_lower) >> 1);
+ if ( ( deref( data, p )) < deref( _foo_trans_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( ( deref( data, p )) > deref( _foo_trans_keys, _mid ) )
+ _lower = _mid + 1;
+ else {
+ _trans += cast(uint)(_mid - _keys);
+ goto _match;
+ }
+ }
+ _keys += _klen;
+ _trans += cast(uint)_klen;
+ }
+
+ _klen = cast(int)_foo_range_lengths[cs];
+ if ( _klen > 0 ) {
+ index char _lower;
+ index char _mid;
+ index char _upper;
+ _lower = _keys;
+ _upper = _keys + (_klen<<1) - 2;
+ while ( TRUE ) {
+ if ( _upper < _lower )
+ break;
+
+ _mid = _lower + (((_upper-_lower) >> 1) & ~1);
+ if ( ( deref( data, p )) < deref( _foo_trans_keys, _mid ) )
+ _upper = _mid - 2;
+ else if ( ( deref( data, p )) > deref( _foo_trans_keys, _mid + 1 ) )
+ _lower = _mid + 2;
+ else {
+ _trans += cast(uint)((_mid - _keys)>>1);
+ goto _match;
+ }
+ }
+ _trans += cast(uint)_klen;
+ }
+
+ }
+ label _match {
+ _ckeys = offset( _foo_cond_keys, _foo_trans_offsets[_trans] );
+ _klen = cast(int)_foo_trans_lengths[_trans];
+ _cond = cast(uint)_foo_trans_offsets[_trans];
+
+ _cpc = 0;
+ switch ( _foo_trans_cond_spaces[_trans] ) {
+
+ case 0 {
+ if ( host( "working/cond7_c.rl", 15 ) ={i > 0}= ) _cpc += 1;
+ }
+ }
+ {
+ index s8 _lower;
+ index s8 _mid;
+ index s8 _upper;
+ _lower = _ckeys;
+ _upper = _ckeys + _klen - 1;
+ while ( TRUE ) {
+ if ( _upper < _lower )
+ break;
+
+ _mid = _lower + ((_upper-_lower) >> 1);
+ if ( _cpc < cast(int)deref( _foo_cond_keys, _mid ) )
+ _upper = _mid - 1;
+ else if ( _cpc > cast(int)deref( _foo_cond_keys, _mid ) )
+ _lower = _mid + 1;
+ else {
+ _cond += cast(uint)(_mid - _ckeys);
+ goto _match_cond;
+ }
+ }
+ cs = 0;
+ goto _again;
+ }
+ }
+ label _match_cond {
+ cs = cast(int)_foo_cond_targs[_cond];
+
+ if ( _foo_cond_actions[_cond] == 0 )
+ goto _again;
+
+ _acts = offset( _foo_actions, _foo_cond_actions[_cond] );
+ _nacts = cast(uint)deref( _foo_actions, _acts );
+ _acts += 1;
+ while ( _nacts > 0 )
+ {
+ switch ( deref( _foo_actions, _acts ) )
+ {
+ case 0 {
+ host( "working/cond7_c.rl", 16 ) ${i = i - 1;
+ c = ( int ) ( ={( deref( data, p ))}= )
+ ;
+ printf( "%s", "item: " );
+ printf( "%d", c );
+ printf( "%s", "\n" );
+ }$
+ }
+ case 1 {
+ host( "working/cond7_c.rl", 24 ) ${i = ( int ) ( ={( deref( data, p ))}= - 48 )
+ ;
+ printf( "%s", "count: " );
+ printf( "%d", i );
+ printf( "%s", "\n" );
+ }$
+ }
+ }
+ _nacts -= 1;
+ _acts += 1;
+ }
+
+
+ }
+ label _again {
+ if ( cs == 0 )
+ goto _out;
+ p += 1;
+ if ( p != pe )
+ goto _resume;
+ }
+ label _test_eof { {}
+ }
+ label _out { {}
+ }
+ }
+ }
+ host( "working/cond7_c.rl", 55 ) @{
+ }
+
+ void finish( )
+ {
+ if ( cs >= foo_first_final )
+ printf( "ACCEPT\n" );
+ else
+ printf( "FAIL\n" );
+ }
+
+ char *inp[] = {
+ "00\n",
+ "019\n",
+ "190\n",
+ "1719\n",
+ "1040000\n",
+ "104000a\n",
+ "104000\n",
+ };
+
+ int inplen = 7;
+
+ int main( )
+ {
+ int i;
+ for ( i = 0; i < inplen; i++ ) {
+ init();
+ exec( inp[i], strlen(inp[i]) );
+ finish();
+ }
+ return 0;
+ }
+
+}@ \ No newline at end of file