mega-merge of pruned test code

1 files changed, 223 insertions, 0 deletions

diff --git a/test/cases/rlhc.d/case/empty1_c.c-C-T0--goto-backend.exp b/test/cases/rlhc.d/case/empty1_c.c-C-T0--goto-backend.exp
new file mode 100644
index 00000000..b72982b1
--- /dev/null
+++ b/test/cases/rlhc.d/case/empty1_c.c-C-T0--goto-backend.exp
@@ -0,0 +1,223 @@
+#include <string.h>
+#include <stdio.h>
+
+
+
+
+
+
+
+
+static const char  _empty1_key_offsets [] = { 0, 0, 0 ,  };
+static const char  _empty1_trans_keys [] = { 0 ,  };
+static const char  _empty1_single_lengths [] = { 0, 0, 0 ,  };
+static const char  _empty1_range_lengths [] = { 0, 0, 0 ,  };
+static const char  _empty1_index_offsets [] = { 0, 0, 0 ,  };
+static const char  _empty1_trans_cond_spaces [] = { -1, 0 ,  };
+static const char  _empty1_trans_offsets [] = { 0, 0 ,  };
+static const char  _empty1_trans_lengths [] = { 1, 0 ,  };
+static const char  _empty1_cond_keys [] = { 0, 0 ,  };
+static const char  _empty1_cond_targs [] = { 0, 0 ,  };
+static const char  _empty1_cond_actions [] = { 0, 0 ,  };
+static const char  _empty1_nfa_targs [] = { 0, 0 ,  };
+static const char  _empty1_nfa_offsets [] = { 0, 0, 0 ,  };
+static const char  _empty1_nfa_push_actions [] = { 0, 0 ,  };
+static const char  _empty1_nfa_pop_trans [] = { 0, 0 ,  };
+static const int  empty1_start  = 1;
+static const int  empty1_first_final  = 2;
+static const int  empty1_error  = 0;
+static const int  empty1_en_main  = 1;
+int cs;
+int blen;
+char buffer[1024];
+
+void init()
+{
+
+	{
+		cs = ( int ) empty1_start;
+	}
+}
+
+void exec( char *data, int len )
+{
+	char *p = data;
+	char *pe = data + len;
+	
+	{
+		int _klen;
+		unsigned int _trans = 0;
+		unsigned int _cond = 0;
+		const char  *_keys;
+		const char  *_ckeys;
+		int _cpc;
+		if ( p == pe  )
+		goto _test_eof;
+		
+		if ( cs == 0  )
+		goto _out;
+		
+		_resume :
+		_keys = _empty1_trans_keys + _empty1_key_offsets[cs];
+		_trans = ( unsigned int  ) _empty1_index_offsets[cs];
+		_klen = ( int ) _empty1_single_lengths[cs];
+		if ( _klen > 0  )
+		{
+			const char  *_lower;
+			const char  *_mid;
+			const 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 ) _empty1_range_lengths[cs];
+		if ( _klen > 0  )
+		{
+			const char  *_lower;
+			const char  *_mid;
+			const 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 = _empty1_cond_keys + _empty1_trans_offsets[_trans];
+		_klen = ( int ) _empty1_trans_lengths[_trans];
+		_cond = ( unsigned int  ) _empty1_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 ) _empty1_cond_targs[_cond];
+		
+		_again :
+		if ( cs == 0  )
+		goto _out;
+		
+		p += 1;
+		if ( p != pe  )
+		goto _resume;
+		
+		
+		_test_eof :
+		{}
+		
+		_out :
+		{}
+		
+	}
+}
+
+void finish( )
+{
+	if ( cs >= empty1_first_final )
+	printf( "ACCEPT\n" );
+	else
+	printf( "FAIL\n" );
+}
+
+char *inp[] = {
+	"",
+	"x",
+};
+
+int inplen = 2;
+
+int main( )
+{
+	int i;
+	for ( i = 0; i < inplen; i++ ) {
+		init();
+		exec( inp[i], strlen(inp[i]) );
+		finish();
+	}
+	return 0;
+}
+