base (aapl, colm, ragel) test cases building

1 files changed, 259 insertions, 0 deletions

diff --git a/test/rlhc.d/case/eofact_c.c-C-T0--var-backend.in b/test/rlhc.d/case/eofact_c.c-C-T0--var-backend.in
new file mode 100644
index 00000000..702ccccd
--- /dev/null
+++ b/test/rlhc.d/case/eofact_c.c-C-T0--var-backend.in
@@ -0,0 +1,259 @@
+host( "working/eofact_c.rl", 1 ) @{/*
+	* @@LANG: c
+	* @@GENERATED: true
+	*/
+	
+	#include <string.h>
+	#include <stdio.h>
+	
+	
+	
+	
+	
+	
+	
+	
+}@
+array s8 _eofact_actions( 0, 3 ) = { 0, 1, 0, 1, 1, 1, 2, 1, 3, 2, 0, 2, 0 };
+
+array s8 _eofact_key_offsets( 0, 11 ) = { 0, 0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 11, 0 };
+
+array char _eofact_trans_keys( 0, 116 ) = { 104, 116, 101, 108, 108, 111, 104, 101, 114, 101, 10, 0 };
+
+array s8 _eofact_single_lengths( 0, 2 ) = { 0, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0 };
+
+array s8 _eofact_range_lengths( 0, 0 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+
+array s8 _eofact_index_offsets( 0, 22 ) = { 0, 0, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 22, 0 };
+
+array s8 _eofact_trans_cond_spaces( -1, 0 ) = { -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0 };
+
+array s8 _eofact_trans_offsets( 0, 22 ) = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 0 };
+
+array s8 _eofact_trans_lengths( 0, 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 };
+
+array s8 _eofact_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 };
+
+array s8 _eofact_cond_targs( 0, 12 ) = { 2, 6, 0, 3, 0, 4, 0, 5, 0, 10, 0, 7, 0, 8, 0, 9, 0, 12, 0, 11, 0, 0, 0, 0 };
+
+array s8 _eofact_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, 0 };
+
+array s8 _eofact_eof_actions( 0, 9 ) = { 0, 9, 1, 1, 1, 1, 5, 5, 5, 5, 3, 0, 7, 0 };
+
+array s8 _eofact_nfa_targs( 0, 0 ) = { 0, 0 };
+
+array s8 _eofact_nfa_offsets( 0, 0 ) = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
+
+array s8 _eofact_nfa_push_actions( 0, 0 ) = { 0, 0 };
+
+array s8 _eofact_nfa_pop_trans( 0, 0 ) = { 0, 0 };
+
+value int eofact_start = 1;
+value int eofact_first_final = 10;
+value int eofact_error = 0;
+
+value int eofact_en_main = 1;
+
+host( "working/eofact_c.rl", 35 ) @{
+	int cs;
+	int blen;
+	char buffer[1024];
+	
+	void init()
+	{
+	}@
+	{
+		cs = cast(int)eofact_start;
+	}
+	host( "working/eofact_c.rl", 42 ) @{
+	}
+	
+	void exec( char *data, int len )
+	{
+		char *p = data;
+		char *pe = data + len;
+		char *eof = pe;
+	}@
+	{
+		int _klen;
+		uint _trans = 0;
+		uint _cond = 0;
+		uint _have = 0;
+		uint _cont = 1;
+		index char _keys;
+		index s8 _ckeys;
+		int _cpc;
+		while ( _cont == 1 ) {
+			
+			if ( cs == 0 )
+			_cont = 0;
+			_have = 0;
+			if ( p == pe ) {
+				if ( p == eof )
+				{
+					if ( _have == 0 ) {
+						index s8 __acts;
+						uint __nacts;
+						__acts = offset( _eofact_actions, _eofact_eof_actions[cs] );
+						__nacts = cast(uint)deref( _eofact_actions, __acts );
+						__acts += 1;
+						while ( __nacts > 0 ) {
+							switch ( deref( _eofact_actions, __acts ) ) {
+								case 0 {
+									host( "working/eofact_c.rl", 15 ) ${printf( "%s", "a1\n" );
+									}$
+								}
+								case 1 {
+									host( "working/eofact_c.rl", 17 ) ${printf( "%s", "a2\n" );
+									}$
+								}
+								case 2 {
+									host( "working/eofact_c.rl", 19 ) ${printf( "%s", "a3\n" );
+									}$
+								}
+								case 3 {
+									host( "working/eofact_c.rl", 21 ) ${printf( "%s", "a4\n" );
+									}$
+								}
+							}
+							__nacts -= 1;
+							__acts += 1;
+						}
+					}
+				}
+				
+				if ( _have == 0 )
+				_cont = 0;
+			}
+			if ( _cont == 1 ) {
+				if ( _have == 0 ) {
+					_keys = offset( _eofact_trans_keys, _eofact_key_offsets[cs] );
+					_trans = cast(uint)_eofact_index_offsets[cs];
+					_have = 0;
+					
+					_klen = cast(int)_eofact_single_lengths[cs];
+					if ( _klen > 0 ) {
+						index char _lower;
+						index char _mid;
+						index char _upper;
+						_lower = _keys;
+						_upper = _keys + _klen - 1;
+						while ( _upper >= _lower && _have == 0 ) {
+							_mid = _lower + ((_upper-_lower) >> 1);
+							if ( ( deref( data, p )) < deref( _eofact_trans_keys, _mid ) )
+							_upper = _mid - 1;
+							else if ( ( deref( data, p )) > deref( _eofact_trans_keys, _mid ) )
+							_lower = _mid + 1;
+							else {
+								_trans += cast(uint)(_mid - _keys);
+								_have = 1;
+							}
+						}
+						if ( _have == 0 ) {
+							_keys += _klen;
+							_trans += cast(uint)_klen;
+						}
+					}
+					
+					if ( _have == 0 ) {
+						_klen = cast(int)_eofact_range_lengths[cs];
+						if ( _klen > 0 ) {
+							index char _lower;
+							index char _mid;
+							index char _upper;
+							_lower = _keys;
+							_upper = _keys + (_klen<<1) - 2;
+							while ( _have == 0 && _lower <= _upper ) {
+								_mid = _lower + (((_upper-_lower) >> 1) & ~1);
+								if ( ( deref( data, p )) < deref( _eofact_trans_keys, _mid ) )
+								_upper = _mid - 2;
+								else if ( ( deref( data, p )) > deref( _eofact_trans_keys, _mid + 1 ) )
+								_lower = _mid + 2;
+								else {
+									_trans += cast(uint)((_mid - _keys)>>1);
+									_have = 1;
+								}
+							}
+							if ( _have == 0 )
+							_trans += cast(uint)_klen;
+						}
+					}
+					
+					_ckeys = offset( _eofact_cond_keys, _eofact_trans_offsets[_trans] );
+					_klen = cast(int)_eofact_trans_lengths[_trans];
+					_cond = cast(uint)_eofact_trans_offsets[_trans];
+					_have = 0;
+					
+					_cpc = 0;
+					{
+						index s8 _lower;
+						index s8 _mid;
+						index s8 _upper;
+						_lower = _ckeys;
+						_upper = _ckeys + _klen - 1;
+						while ( _have == 0 && _lower <= _upper ) {
+							_mid = _lower + ((_upper-_lower) >> 1);
+							if ( _cpc < cast(int)deref( _eofact_cond_keys, _mid ) )
+							_upper = _mid - 1;
+							else if ( _cpc > cast(int)deref( _eofact_cond_keys, _mid ) )
+							_lower = _mid + 1;
+							else {
+								_cond += cast(uint)(_mid - _ckeys);
+								_have = 1;
+							}
+						}
+						if ( _have == 0 ) {
+							cs = 0;
+							_cont = 0;
+						}
+					}
+				}
+				if ( _cont == 1 ) {
+					cs = cast(int)_eofact_cond_targs[_cond];
+					
+					if ( cs == 0 )
+					_cont = 0;
+					if ( _cont == 1 )
+					p += 1;
+					
+				}
+			}
+		}
+	}
+	host( "working/eofact_c.rl", 50 ) @{
+	}
+	
+	void finish( )
+	{
+		if ( cs >= eofact_first_final )
+		printf( "ACCEPT\n" );
+		else
+		printf( "FAIL\n" );
+	}
+	
+	char *inp[] = {
+		"",
+		"h",
+		"hell",
+		"hello",
+		"hello\n",
+		"t",
+		"ther",
+		"there",
+		"friend",
+	};
+	
+	int inplen = 9;
+	
+	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