1 /*
2 * Copyright 2001-2006 Adrian Thurston <thurston@complang.org>
3 * 2004 Erich Ocean <eric.ocean@ampede.com>
4 * 2005 Alan West <alan@alanz.com>
5 */
6
7 /* This file is part of Ragel.
8 *
9 * Ragel is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License as published by
11 * the Free Software Foundation; either version 2 of the License, or
12 * (at your option) any later version.
13 *
14 * Ragel is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with Ragel; if not, write to the Free Software
21 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22 */
23
24 #include "ragel.h"
25 #include "csgoto.h"
26 #include "redfsm.h"
27 #include "bstmap.h"
28 #include "gendata.h"
29
30 /* Emit the goto to take for a given transition. */
TRANS_GOTO(RedTransAp * trans,int level)31 std::ostream &CSharpGotoCodeGen::TRANS_GOTO( RedTransAp *trans, int level )
32 {
33 out << TABS(level) << "goto tr" << trans->id << ";";
34 return out;
35 }
36
TO_STATE_ACTION_SWITCH()37 std::ostream &CSharpGotoCodeGen::TO_STATE_ACTION_SWITCH()
38 {
39 /* Walk the list of functions, printing the cases. */
40 for ( GenActionList::Iter act = actionList; act.lte(); act++ ) {
41 /* Write out referenced actions. */
42 if ( act->numToStateRefs > 0 ) {
43 /* Write the case label, the action and the case break. */
44 out << "\tcase " << act->actionId << ":\n";
45 ACTION( out, act, 0, false );
46 out << "\tbreak;\n";
47 }
48 }
49
50 genLineDirective( out );
51 return out;
52 }
53
FROM_STATE_ACTION_SWITCH()54 std::ostream &CSharpGotoCodeGen::FROM_STATE_ACTION_SWITCH()
55 {
56 /* Walk the list of functions, printing the cases. */
57 for ( GenActionList::Iter act = actionList; act.lte(); act++ ) {
58 /* Write out referenced actions. */
59 if ( act->numFromStateRefs > 0 ) {
60 /* Write the case label, the action and the case break. */
61 out << "\tcase " << act->actionId << ":\n";
62 ACTION( out, act, 0, false );
63 out << "\tbreak;\n";
64 }
65 }
66
67 genLineDirective( out );
68 return out;
69 }
70
EOF_ACTION_SWITCH()71 std::ostream &CSharpGotoCodeGen::EOF_ACTION_SWITCH()
72 {
73 /* Walk the list of functions, printing the cases. */
74 for ( GenActionList::Iter act = actionList; act.lte(); act++ ) {
75 /* Write out referenced actions. */
76 if ( act->numEofRefs > 0 ) {
77 /* Write the case label, the action and the case break. */
78 out << "\tcase " << act->actionId << ":\n";
79 ACTION( out, act, 0, true );
80 out << "\tbreak;\n";
81 }
82 }
83
84 genLineDirective( out );
85 return out;
86 }
87
ACTION_SWITCH()88 std::ostream &CSharpGotoCodeGen::ACTION_SWITCH()
89 {
90 /* Walk the list of functions, printing the cases. */
91 for ( GenActionList::Iter act = actionList; act.lte(); act++ ) {
92 /* Write out referenced actions. */
93 if ( act->numTransRefs > 0 ) {
94 /* Write the case label, the action and the case break. */
95 out << "\tcase " << act->actionId << ":\n";
96 ACTION( out, act, 0, false );
97 out << "\tbreak;\n";
98 }
99 }
100
101 genLineDirective( out );
102 return out;
103 }
104
GOTO_HEADER(RedStateAp * state)105 void CSharpGotoCodeGen::GOTO_HEADER( RedStateAp *state )
106 {
107 /* Label the state. */
108 out << "case " << state->id << ":\n";
109 }
110
111
emitSingleSwitch(RedStateAp * state)112 void CSharpGotoCodeGen::emitSingleSwitch( RedStateAp *state )
113 {
114 /* Load up the singles. */
115 int numSingles = state->outSingle.length();
116 RedTransEl *data = state->outSingle.data;
117
118 if ( numSingles == 1 ) {
119 /* If there is a single single key then write it out as an if. */
120 out << "\tif ( " << GET_WIDE_KEY(state) << " == " <<
121 KEY(data[0].lowKey) << " )\n\t\t";
122
123 /* Virtual function for writing the target of the transition. */
124 TRANS_GOTO(data[0].value, 0) << "\n";
125 }
126 else if ( numSingles > 1 ) {
127 /* Write out single keys in a switch if there is more than one. */
128 out << "\tswitch( " << GET_WIDE_KEY(state) << " ) {\n";
129
130 /* Write out the single indicies. */
131 for ( int j = 0; j < numSingles; j++ ) {
132 out << "\t\tcase " << ALPHA_KEY(data[j].lowKey) << ": ";
133 TRANS_GOTO(data[j].value, 0) << "\n";
134 }
135
136 /* Emits a default case for D code. */
137 SWITCH_DEFAULT();
138
139 /* Close off the transition switch. */
140 out << "\t}\n";
141 }
142 }
143
emitRangeBSearch(RedStateAp * state,int level,int low,int high)144 void CSharpGotoCodeGen::emitRangeBSearch( RedStateAp *state, int level, int low, int high )
145 {
146 /* Get the mid position, staying on the lower end of the range. */
147 int mid = (low + high) >> 1;
148 RedTransEl *data = state->outRange.data;
149
150 /* Determine if we need to look higher or lower. */
151 bool anyLower = mid > low;
152 bool anyHigher = mid < high;
153
154 /* Determine if the keys at mid are the limits of the alphabet. */
155 bool limitLow = data[mid].lowKey == keyOps->minKey;
156 bool limitHigh = data[mid].highKey == keyOps->maxKey;
157
158 if ( anyLower && anyHigher ) {
159 /* Can go lower and higher than mid. */
160 out << TABS(level) << "if ( " << GET_WIDE_KEY(state) << " < " <<
161 KEY(data[mid].lowKey) << " ) {\n";
162 emitRangeBSearch( state, level+1, low, mid-1 );
163 out << TABS(level) << "} else if ( " << GET_WIDE_KEY(state) << " > " <<
164 KEY(data[mid].highKey) << " ) {\n";
165 emitRangeBSearch( state, level+1, mid+1, high );
166 out << TABS(level) << "} else\n";
167 TRANS_GOTO(data[mid].value, level+1) << "\n";
168 }
169 else if ( anyLower && !anyHigher ) {
170 /* Can go lower than mid but not higher. */
171 out << TABS(level) << "if ( " << GET_WIDE_KEY(state) << " < " <<
172 KEY(data[mid].lowKey) << " ) {\n";
173 emitRangeBSearch( state, level+1, low, mid-1 );
174
175 /* if the higher is the highest in the alphabet then there is no
176 * sense testing it. */
177 if ( limitHigh ) {
178 out << TABS(level) << "} else\n";
179 TRANS_GOTO(data[mid].value, level+1) << "\n";
180 }
181 else {
182 out << TABS(level) << "} else if ( " << GET_WIDE_KEY(state) << " <= " <<
183 KEY(data[mid].highKey) << " )\n";
184 TRANS_GOTO(data[mid].value, level+1) << "\n";
185 }
186 }
187 else if ( !anyLower && anyHigher ) {
188 /* Can go higher than mid but not lower. */
189 out << TABS(level) << "if ( " << GET_WIDE_KEY(state) << " > " <<
190 KEY(data[mid].highKey) << " ) {\n";
191 emitRangeBSearch( state, level+1, mid+1, high );
192
193 /* If the lower end is the lowest in the alphabet then there is no
194 * sense testing it. */
195 if ( limitLow ) {
196 out << TABS(level) << "} else\n";
197 TRANS_GOTO(data[mid].value, level+1) << "\n";
198 }
199 else {
200 out << TABS(level) << "} else if ( " << GET_WIDE_KEY(state) << " >= " <<
201 KEY(data[mid].lowKey) << " )\n";
202 TRANS_GOTO(data[mid].value, level+1) << "\n";
203 }
204 }
205 else {
206 /* Cannot go higher or lower than mid. It's mid or bust. What
207 * tests to do depends on limits of alphabet. */
208 if ( !limitLow && !limitHigh ) {
209 out << TABS(level) << "if ( " << KEY(data[mid].lowKey) << " <= " <<
210 GET_WIDE_KEY(state) << " && " << GET_WIDE_KEY(state) << " <= " <<
211 KEY(data[mid].highKey) << " )\n";
212 TRANS_GOTO(data[mid].value, level+1) << "\n";
213 }
214 else if ( limitLow && !limitHigh ) {
215 out << TABS(level) << "if ( " << GET_WIDE_KEY(state) << " <= " <<
216 KEY(data[mid].highKey) << " )\n";
217 TRANS_GOTO(data[mid].value, level+1) << "\n";
218 }
219 else if ( !limitLow && limitHigh ) {
220 out << TABS(level) << "if ( " << KEY(data[mid].lowKey) << " <= " <<
221 GET_WIDE_KEY(state) << " )\n";
222 TRANS_GOTO(data[mid].value, level+1) << "\n";
223 }
224 else {
225 /* Both high and low are at the limit. No tests to do. */
226 TRANS_GOTO(data[mid].value, level+1) << "\n";
227 }
228 }
229 }
230
STATE_GOTO_ERROR()231 void CSharpGotoCodeGen::STATE_GOTO_ERROR()
232 {
233 /* Label the state and bail immediately. */
234 outLabelUsed = true;
235 RedStateAp *state = redFsm->errState;
236 out << "case " << state->id << ":\n";
237 out << " goto _out;\n";
238 }
239
COND_TRANSLATE(GenStateCond * stateCond,int level)240 void CSharpGotoCodeGen::COND_TRANSLATE( GenStateCond *stateCond, int level )
241 {
242 GenCondSpace *condSpace = stateCond->condSpace;
243 out << TABS(level) << "_widec = " << CAST(WIDE_ALPH_TYPE()) << "(" <<
244 KEY(condSpace->baseKey) << " + (" << GET_KEY() <<
245 " - " << KEY(keyOps->minKey) << "));\n";
246
247 for ( GenCondSet::Iter csi = condSpace->condSet; csi.lte(); csi++ ) {
248 out << TABS(level) << "if ( ";
249 CONDITION( out, *csi );
250 Size condValOffset = ((1 << csi.pos()) * keyOps->alphSize());
251 out << " ) _widec += " << condValOffset << ";\n";
252 }
253 }
254
emitCondBSearch(RedStateAp * state,int level,int low,int high)255 void CSharpGotoCodeGen::emitCondBSearch( RedStateAp *state, int level, int low, int high )
256 {
257 /* Get the mid position, staying on the lower end of the range. */
258 int mid = (low + high) >> 1;
259 GenStateCond **data = state->stateCondVect.data;
260
261 /* Determine if we need to look higher or lower. */
262 bool anyLower = mid > low;
263 bool anyHigher = mid < high;
264
265 /* Determine if the keys at mid are the limits of the alphabet. */
266 bool limitLow = data[mid]->lowKey == keyOps->minKey;
267 bool limitHigh = data[mid]->highKey == keyOps->maxKey;
268
269 if ( anyLower && anyHigher ) {
270 /* Can go lower and higher than mid. */
271 out << TABS(level) << "if ( " << GET_KEY() << " < " <<
272 KEY(data[mid]->lowKey) << " ) {\n";
273 emitCondBSearch( state, level+1, low, mid-1 );
274 out << TABS(level) << "} else if ( " << GET_KEY() << " > " <<
275 KEY(data[mid]->highKey) << " ) {\n";
276 emitCondBSearch( state, level+1, mid+1, high );
277 out << TABS(level) << "} else {\n";
278 COND_TRANSLATE(data[mid], level+1);
279 out << TABS(level) << "}\n";
280 }
281 else if ( anyLower && !anyHigher ) {
282 /* Can go lower than mid but not higher. */
283 out << TABS(level) << "if ( " << GET_KEY() << " < " <<
284 KEY(data[mid]->lowKey) << " ) {\n";
285 emitCondBSearch( state, level+1, low, mid-1 );
286
287 /* if the higher is the highest in the alphabet then there is no
288 * sense testing it. */
289 if ( limitHigh ) {
290 out << TABS(level) << "} else {\n";
291 COND_TRANSLATE(data[mid], level+1);
292 out << TABS(level) << "}\n";
293 }
294 else {
295 out << TABS(level) << "} else if ( " << GET_KEY() << " <= " <<
296 KEY(data[mid]->highKey) << " ) {\n";
297 COND_TRANSLATE(data[mid], level+1);
298 out << TABS(level) << "}\n";
299 }
300 }
301 else if ( !anyLower && anyHigher ) {
302 /* Can go higher than mid but not lower. */
303 out << TABS(level) << "if ( " << GET_KEY() << " > " <<
304 KEY(data[mid]->highKey) << " ) {\n";
305 emitCondBSearch( state, level+1, mid+1, high );
306
307 /* If the lower end is the lowest in the alphabet then there is no
308 * sense testing it. */
309 if ( limitLow ) {
310 out << TABS(level) << "} else {\n";
311 COND_TRANSLATE(data[mid], level+1);
312 out << TABS(level) << "}\n";
313 }
314 else {
315 out << TABS(level) << "} else if ( " << GET_KEY() << " >= " <<
316 KEY(data[mid]->lowKey) << " ) {\n";
317 COND_TRANSLATE(data[mid], level+1);
318 out << TABS(level) << "}\n";
319 }
320 }
321 else {
322 /* Cannot go higher or lower than mid. It's mid or bust. What
323 * tests to do depends on limits of alphabet. */
324 if ( !limitLow && !limitHigh ) {
325 out << TABS(level) << "if ( " << KEY(data[mid]->lowKey) << " <= " <<
326 GET_KEY() << " && " << GET_KEY() << " <= " <<
327 KEY(data[mid]->highKey) << " ) {\n";
328 COND_TRANSLATE(data[mid], level+1);
329 out << TABS(level) << "}\n";
330 }
331 else if ( limitLow && !limitHigh ) {
332 out << TABS(level) << "if ( " << GET_KEY() << " <= " <<
333 KEY(data[mid]->highKey) << " ) {\n";
334 COND_TRANSLATE(data[mid], level+1);
335 out << TABS(level) << "}\n";
336 }
337 else if ( !limitLow && limitHigh ) {
338 out << TABS(level) << "if ( " << KEY(data[mid]->lowKey) << " <= " <<
339 GET_KEY() << " )\n {";
340 COND_TRANSLATE(data[mid], level+1);
341 out << TABS(level) << "}\n";
342 }
343 else {
344 /* Both high and low are at the limit. No tests to do. */
345 COND_TRANSLATE(data[mid], level);
346 }
347 }
348 }
349
STATE_GOTOS()350 std::ostream &CSharpGotoCodeGen::STATE_GOTOS()
351 {
352 for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
353 if ( st == redFsm->errState )
354 STATE_GOTO_ERROR();
355 else {
356 /* Writing code above state gotos. */
357 GOTO_HEADER( st );
358
359 if ( st->stateCondVect.length() > 0 ) {
360 out << " _widec = " << GET_KEY() << ";\n";
361 emitCondBSearch( st, 1, 0, st->stateCondVect.length() - 1 );
362 }
363
364 /* Try singles. */
365 if ( st->outSingle.length() > 0 )
366 emitSingleSwitch( st );
367
368 /* Default case is to binary search for the ranges, if that fails then */
369 if ( st->outRange.length() > 0 )
370 emitRangeBSearch( st, 1, 0, st->outRange.length() - 1 );
371
372 /* Write the default transition. */
373 TRANS_GOTO( st->defTrans, 1 ) << "\n";
374 }
375 }
376 return out;
377 }
378
TRANSITIONS()379 std::ostream &CSharpGotoCodeGen::TRANSITIONS()
380 {
381 /* Emit any transitions that have functions and that go to
382 * this state. */
383 for ( TransApSet::Iter trans = redFsm->transSet; trans.lte(); trans++ ) {
384 /* Write the label for the transition so it can be jumped to. */
385 out << " tr" << trans->id << ": ";
386
387 /* Destination state. */
388 if ( trans->action != 0 && trans->action->anyCurStateRef() )
389 out << "_ps = " << vCS() << ";";
390 out << vCS() << " = " << trans->targ->id << "; ";
391
392 if ( trans->action != 0 ) {
393 /* Write out the transition func. */
394 out << "goto f" << trans->action->actListId << ";\n";
395 }
396 else {
397 /* No code to execute, just loop around. */
398 out << "goto _again;\n";
399 }
400 }
401 return out;
402 }
403
EXEC_FUNCS()404 std::ostream &CSharpGotoCodeGen::EXEC_FUNCS()
405 {
406 /* Make labels that set acts and jump to execFuncs. Loop func indicies. */
407 for ( GenActionTableMap::Iter redAct = redFsm->actionMap; redAct.lte(); redAct++ ) {
408 if ( redAct->numTransRefs > 0 ) {
409 out << " f" << redAct->actListId << ": " <<
410 "_acts = " << itoa( redAct->location+1 ) << ";"
411 " goto execFuncs;\n";
412 }
413 }
414
415 out <<
416 "\n"
417 "execFuncs:\n"
418 " _nacts = " << A() << "[_acts++];\n"
419 " while ( _nacts-- > 0 ) {\n"
420 " switch ( " << A() << "[_acts++] ) {\n";
421 ACTION_SWITCH();
422 SWITCH_DEFAULT() <<
423 " }\n"
424 " }\n"
425 " goto _again;\n";
426 return out;
427 }
428
TO_STATE_ACTION(RedStateAp * state)429 unsigned int CSharpGotoCodeGen::TO_STATE_ACTION( RedStateAp *state )
430 {
431 int act = 0;
432 if ( state->toStateAction != 0 )
433 act = state->toStateAction->location+1;
434 return act;
435 }
436
FROM_STATE_ACTION(RedStateAp * state)437 unsigned int CSharpGotoCodeGen::FROM_STATE_ACTION( RedStateAp *state )
438 {
439 int act = 0;
440 if ( state->fromStateAction != 0 )
441 act = state->fromStateAction->location+1;
442 return act;
443 }
444
EOF_ACTION(RedStateAp * state)445 unsigned int CSharpGotoCodeGen::EOF_ACTION( RedStateAp *state )
446 {
447 int act = 0;
448 if ( state->eofAction != 0 )
449 act = state->eofAction->location+1;
450 return act;
451 }
452
TO_STATE_ACTIONS()453 std::ostream &CSharpGotoCodeGen::TO_STATE_ACTIONS()
454 {
455 /* Take one off for the psuedo start state. */
456 int numStates = redFsm->stateList.length();
457 unsigned int *vals = new unsigned int[numStates];
458 memset( vals, 0, sizeof(unsigned int)*numStates );
459
460 for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ )
461 vals[st->id] = TO_STATE_ACTION(st);
462
463 out << "\t";
464 for ( int st = 0; st < redFsm->nextStateId; st++ ) {
465 /* Write any eof action. */
466 out << vals[st];
467 if ( st < numStates-1 ) {
468 out << ", ";
469 if ( (st+1) % IALL == 0 )
470 out << "\n\t";
471 }
472 }
473 out << "\n";
474 delete[] vals;
475 return out;
476 }
477
FROM_STATE_ACTIONS()478 std::ostream &CSharpGotoCodeGen::FROM_STATE_ACTIONS()
479 {
480 /* Take one off for the psuedo start state. */
481 int numStates = redFsm->stateList.length();
482 unsigned int *vals = new unsigned int[numStates];
483 memset( vals, 0, sizeof(unsigned int)*numStates );
484
485 for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ )
486 vals[st->id] = FROM_STATE_ACTION(st);
487
488 out << "\t";
489 for ( int st = 0; st < redFsm->nextStateId; st++ ) {
490 /* Write any eof action. */
491 out << vals[st];
492 if ( st < numStates-1 ) {
493 out << ", ";
494 if ( (st+1) % IALL == 0 )
495 out << "\n\t";
496 }
497 }
498 out << "\n";
499 delete[] vals;
500 return out;
501 }
502
EOF_ACTIONS()503 std::ostream &CSharpGotoCodeGen::EOF_ACTIONS()
504 {
505 /* Take one off for the psuedo start state. */
506 int numStates = redFsm->stateList.length();
507 unsigned int *vals = new unsigned int[numStates];
508 memset( vals, 0, sizeof(unsigned int)*numStates );
509
510 for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ )
511 vals[st->id] = EOF_ACTION(st);
512
513 out << "\t";
514 for ( int st = 0; st < redFsm->nextStateId; st++ ) {
515 /* Write any eof action. */
516 out << vals[st];
517 if ( st < numStates-1 ) {
518 out << ", ";
519 if ( (st+1) % IALL == 0 )
520 out << "\n\t";
521 }
522 }
523 out << "\n";
524 delete[] vals;
525 return out;
526 }
527
FINISH_CASES()528 std::ostream &CSharpGotoCodeGen::FINISH_CASES()
529 {
530 for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
531 /* States that are final and have an out action need a case. */
532 if ( st->eofAction != 0 ) {
533 /* Write the case label. */
534 out << "\t\tcase " << st->id << ": ";
535
536 /* Write the goto func. */
537 out << "goto f" << st->eofAction->actListId << ";\n";
538 }
539 }
540
541 return out;
542 }
543
GOTO(ostream & ret,int gotoDest,bool inFinish)544 void CSharpGotoCodeGen::GOTO( ostream &ret, int gotoDest, bool inFinish )
545 {
546 ret << "{" << vCS() << " = " << gotoDest << "; " <<
547 CTRL_FLOW() << "goto _again;}";
548 }
549
GOTO_EXPR(ostream & ret,GenInlineItem * ilItem,bool inFinish)550 void CSharpGotoCodeGen::GOTO_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish )
551 {
552 ret << "{" << vCS() << " = (";
553 INLINE_LIST( ret, ilItem->children, 0, inFinish );
554 ret << "); " << CTRL_FLOW() << "goto _again;}";
555 }
556
CURS(ostream & ret,bool inFinish)557 void CSharpGotoCodeGen::CURS( ostream &ret, bool inFinish )
558 {
559 ret << "(_ps)";
560 }
561
TARGS(ostream & ret,bool inFinish,int targState)562 void CSharpGotoCodeGen::TARGS( ostream &ret, bool inFinish, int targState )
563 {
564 ret << "(" << vCS() << ")";
565 }
566
NEXT(ostream & ret,int nextDest,bool inFinish)567 void CSharpGotoCodeGen::NEXT( ostream &ret, int nextDest, bool inFinish )
568 {
569 ret << vCS() << " = " << nextDest << ";";
570 }
571
NEXT_EXPR(ostream & ret,GenInlineItem * ilItem,bool inFinish)572 void CSharpGotoCodeGen::NEXT_EXPR( ostream &ret, GenInlineItem *ilItem, bool inFinish )
573 {
574 ret << vCS() << " = (";
575 INLINE_LIST( ret, ilItem->children, 0, inFinish );
576 ret << ");";
577 }
578
CALL(ostream & ret,int callDest,int targState,bool inFinish)579 void CSharpGotoCodeGen::CALL( ostream &ret, int callDest, int targState, bool inFinish )
580 {
581 if ( prePushExpr != 0 ) {
582 ret << "{";
583 INLINE_LIST( ret, prePushExpr, 0, false );
584 }
585
586 ret << "{" << STACK() << "[" << TOP() << "++] = " << vCS() << "; " << vCS() << " = " <<
587 callDest << "; " << CTRL_FLOW() << "goto _again;}";
588
589 if ( prePushExpr != 0 )
590 ret << "}";
591 }
592
CALL_EXPR(ostream & ret,GenInlineItem * ilItem,int targState,bool inFinish)593 void CSharpGotoCodeGen::CALL_EXPR( ostream &ret, GenInlineItem *ilItem, int targState, bool inFinish )
594 {
595 if ( prePushExpr != 0 ) {
596 ret << "{";
597 INLINE_LIST( ret, prePushExpr, 0, false );
598 }
599
600 ret << "{" << STACK() << "[" << TOP() << "++] = " << vCS() << "; " << vCS() << " = (";
601 INLINE_LIST( ret, ilItem->children, targState, inFinish );
602 ret << "); " << CTRL_FLOW() << "goto _again;}";
603
604 if ( prePushExpr != 0 )
605 ret << "}";
606 }
607
RET(ostream & ret,bool inFinish)608 void CSharpGotoCodeGen::RET( ostream &ret, bool inFinish )
609 {
610 ret << "{" << vCS() << " = " << STACK() << "[--" << TOP() << "];";
611
612 if ( postPopExpr != 0 ) {
613 ret << "{";
614 INLINE_LIST( ret, postPopExpr, 0, false );
615 ret << "}";
616 }
617
618 ret << CTRL_FLOW() << "goto _again;}";
619 }
620
BREAK(ostream & ret,int targState)621 void CSharpGotoCodeGen::BREAK( ostream &ret, int targState )
622 {
623 outLabelUsed = true;
624 ret << "{" << P() << "++; " << CTRL_FLOW() << "goto _out; }";
625 }
626
writeData()627 void CSharpGotoCodeGen::writeData()
628 {
629 if ( redFsm->anyActions() ) {
630 OPEN_ARRAY( ARRAY_TYPE(redFsm->maxActArrItem), A() );
631 ACTIONS_ARRAY();
632 CLOSE_ARRAY() <<
633 "\n";
634 }
635
636 if ( redFsm->anyToStateActions() ) {
637 OPEN_ARRAY( ARRAY_TYPE(redFsm->maxActionLoc), TSA() );
638 TO_STATE_ACTIONS();
639 CLOSE_ARRAY() <<
640 "\n";
641 }
642
643 if ( redFsm->anyFromStateActions() ) {
644 OPEN_ARRAY( ARRAY_TYPE(redFsm->maxActionLoc), FSA() );
645 FROM_STATE_ACTIONS();
646 CLOSE_ARRAY() <<
647 "\n";
648 }
649
650 if ( redFsm->anyEofActions() ) {
651 OPEN_ARRAY( ARRAY_TYPE(redFsm->maxActionLoc), EA() );
652 EOF_ACTIONS();
653 CLOSE_ARRAY() <<
654 "\n";
655 }
656
657 STATE_IDS();
658 }
659
writeExec()660 void CSharpGotoCodeGen::writeExec()
661 {
662 testEofUsed = false;
663 outLabelUsed = false;
664
665 out << " {\n";
666
667 if ( redFsm->anyRegCurStateRef() )
668 out << " int _ps = 0;\n";
669
670 if ( redFsm->anyToStateActions() || redFsm->anyRegActions()
671 || redFsm->anyFromStateActions() )
672 {
673 out <<
674 " " << ARRAY_TYPE(redFsm->maxActionLoc) << " _acts;\n"
675 " " << ARRAY_TYPE(redFsm->maxActArrItem) << " _nacts;\n";
676 }
677
678 if ( redFsm->anyConditions() )
679 out << " " << WIDE_ALPH_TYPE() << " _widec;\n";
680
681 out << "\n";
682
683 if ( !noEnd ) {
684 testEofUsed = true;
685 out <<
686 " if ( " << P() << " == " << PE() << " )\n"
687 " goto _test_eof;\n";
688 }
689
690 if ( redFsm->errState != 0 ) {
691 outLabelUsed = true;
692 out <<
693 " if ( " << vCS() << " == " << redFsm->errState->id << " )\n"
694 " goto _out;\n";
695 }
696
697 out << "_resume:\n";
698
699 if ( redFsm->anyFromStateActions() ) {
700 out <<
701 " _acts = " << FSA() << "[" << vCS() << "];\n"
702 " _nacts = " << A() << "[_acts++];\n"
703 " while ( _nacts-- > 0 ) {\n"
704 " switch ( " << A() << "[_acts++] ) {\n";
705 FROM_STATE_ACTION_SWITCH();
706 SWITCH_DEFAULT() <<
707 " }\n"
708 " }\n"
709 "\n";
710 }
711
712 out <<
713 " switch ( " << vCS() << " ) {\n";
714 STATE_GOTOS();
715 SWITCH_DEFAULT() <<
716 " }\n"
717 "\n";
718 TRANSITIONS() <<
719 "\n";
720
721 if ( redFsm->anyRegActions() )
722 EXEC_FUNCS() << "\n";
723
724 out << "_again:\n";
725
726 if ( redFsm->anyToStateActions() ) {
727 out <<
728 " _acts = " << TSA() << "[" << vCS() << "];\n"
729 " _nacts = " << A() << "[_acts++];\n"
730 " while ( _nacts-- > 0 ) {\n"
731 " switch ( " << A() << "[_acts++] ) {\n";
732 TO_STATE_ACTION_SWITCH();
733 SWITCH_DEFAULT() <<
734 " }\n"
735 " }\n"
736 "\n";
737 }
738
739 if ( redFsm->errState != 0 ) {
740 outLabelUsed = true;
741 out <<
742 " if ( " << vCS() << " == " << redFsm->errState->id << " )\n"
743 " goto _out;\n";
744 }
745
746 if ( !noEnd ) {
747 out <<
748 " if ( ++" << P() << " != " << PE() << " )\n"
749 " goto _resume;\n";
750 }
751 else {
752 out <<
753 " " << P() << " += 1;\n"
754 " goto _resume;\n";
755 }
756
757 if ( testEofUsed )
758 out << " _test_eof: {}\n";
759
760 if ( redFsm->anyEofTrans() || redFsm->anyEofActions() ) {
761 out <<
762 " if ( " << P() << " == " << vEOF() << " )\n"
763 " {\n";
764
765 if ( redFsm->anyEofTrans() ) {
766 out <<
767 " switch ( " << vCS() << " ) {\n";
768
769 for ( RedStateList::Iter st = redFsm->stateList; st.lte(); st++ ) {
770 if ( st->eofTrans != 0 )
771 out << " case " << st->id << ": goto tr" << st->eofTrans->id << ";\n";
772 }
773
774 SWITCH_DEFAULT() <<
775 " }\n";
776 }
777
778 if ( redFsm->anyEofActions() ) {
779 out <<
780 " " << ARRAY_TYPE(redFsm->maxActionLoc) << " __acts = " <<
781 EA() << "[" << vCS() << "];\n"
782 " " << ARRAY_TYPE(redFsm->maxActArrItem) << " __nacts = " <<
783 A() << "[__acts++];\n"
784 " while ( __nacts-- > 0 ) {\n"
785 " switch ( " << A() << "[__acts++] ) {\n";
786 EOF_ACTION_SWITCH();
787 SWITCH_DEFAULT() <<
788 " }\n"
789 " }\n";
790 }
791
792 out <<
793 " }\n"
794 "\n";
795 }
796
797 if ( outLabelUsed )
798 out << " _out: {}\n";
799
800 out << " }\n";
801 }
802