summaryrefslogtreecommitdiff
path: root/test/rlhc.d/case/genrep1.c-C-T1--goto-backend.exp
diff options
context:
space:
mode:
Diffstat (limited to 'test/rlhc.d/case/genrep1.c-C-T1--goto-backend.exp')
-rw-r--r--test/rlhc.d/case/genrep1.c-C-T1--goto-backend.exp331
1 files changed, 331 insertions, 0 deletions
diff --git a/test/rlhc.d/case/genrep1.c-C-T1--goto-backend.exp b/test/rlhc.d/case/genrep1.c-C-T1--goto-backend.exp
new file mode 100644
index 00000000..5cd91879
--- /dev/null
+++ b/test/rlhc.d/case/genrep1.c-C-T1--goto-backend.exp
@@ -0,0 +1,331 @@
+#include <stddef.h>
+#include <stdint.h>
+#include <stdlib.h>
+#include <stdbool.h>
+#include <string.h>
+#include <stdio.h>
+
+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, 6, 6, 7, 7, 7, 8, 9, 10, 11, 12, 12, 0 , };
+static const unsigned char _genrep_trans_keys [] = { 104u, 101u, 108u, 108u, 111u, 32u, 32u, 116u, 104u, 101u, 114u, 101u, 0u, };
+static const char _genrep_single_lengths [] = { 0, 1, 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, 0 , };
+static const char _genrep_index_offsets [] = { 0, 0, 2, 4, 6, 8, 10, 12, 13, 15, 16, 17, 19, 21, 23, 25, 27, 28, 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, -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, 27, 28, 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, 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, 0, 0 , };
+static const char _genrep_cond_targs [] = { 2, 0, 3, 0, 4, 0, 5, 0, 6, 0, 7, 0, 0, 9, 0, 0, 0, 12, 0, 13, 0, 14, 0, 15, 0, 16, 0, 17, 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, 0, 0, 8, 0, 0 , };
+static const char _genrep_nfa_targs [] = { 0, 1, 8, 1, 8, 3, 11, 8, 10, 0 , };
+static const char _genrep_nfa_offsets [] = { 0, 0, 0, 0, 0, 0, 1, 3, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0 , };
+static const char _genrep_nfa_push_actions [] = { 0, 0, 1, 0, 1, 0, 1, 1, 1, 0 , };
+static const char _genrep_nfa_pop_trans [] = { 0, 0, 4, 0, 4, 0, 7, 6, 5, 0 , };
+static const int genrep_start = 1;
+static const int genrep_first_final = 17;
+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 8 :
+ {
+ 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 4 :
+ _pop_test = (({
+ q_2 = nfa_bp[nfa_len].q_2;
+ 1;
+ }) );
+ if ( !_pop_test )
+ break;
+
+ _pop_test = (({ q_2 = 0; 1; })
+ );
+
+ break;
+ case 5 :
+ _pop_test = (({
+ q_2 = nfa_bp[nfa_len].q_2;
+ 1;
+ }) );
+ if ( !_pop_test )
+ break;
+
+ _pop_test = (({ 1; })
+ );
+
+ break;
+ case 6 :
+ _pop_test = (({
+ q_2 = nfa_bp[nfa_len].q_2;
+ 1;
+ }) );
+ if ( !_pop_test )
+ break;
+
+ _pop_test = (({ ++q_2 < 10; })
+ );
+
+ break;
+ case 7 :
+ _pop_test = (({
+ q_2 = nfa_bp[nfa_len].q_2;
+ 1;
+ }) );
+ if ( !_pop_test )
+ break;
+
+ _pop_test = (({ ++q_2 >= 10; })
+ );
+
+ break;
+
+ }
+ if ( _pop_test )
+ {
+ cs = nfa_bp[nfa_len].state;
+ goto _resume;
+ }
+
+ goto _out;
+ }
+
+ }
+ return 0;
+}
+
+int main()
+{
+ test( "hello there" );
+ test( "hello there" );
+ test( "hello there" );
+ test( "hello there" );
+ return 0;
+}
+
View Lorry Controller Status