#ifndef NORCSID
static char rcsid[] = "$Header$";
#endif

#include "parser.h"
#include "Lpars.h"

File *ofile;

outputnopt()
{
	if(!sys_open("dfa.c",OP_WRITE,&ofile)) {
		fprint(STDERR,"Couldn't open dfa.c for output\n");
		sys_stop(S_EXIT);
	}
	outheaders();
	outtables();
	outdfa();
	outdodefault();
	outdotrans();
	outputincalls();
}

PRIVATE
outheaders()
{
	fprint(ofile,"#include \"nopt.h\"\n");
	fprint(ofile,"\n");
	fprint(ofile,"int maxpattern = %d;\n", longestpattern);
	fprint(ofile,"\n");
}

PRIVATE
outtables()
{
	int s;
	fprint(ofile,"static struct defact {\n");
	fprint(ofile,"\tint numoutput;\n");
	fprint(ofile,"\tint numcopy;\n");
	fprint(ofile,"\tint nextstate;\n");
	fprint(ofile,"} defaultactions[] = {\n");
	for(s=0;s<=higheststate;s++) {
		findfail(s);
		if(s%4==3)
			fprint(ofile,"\n");
	}
	fprint(ofile,"};\n");
	fprint(ofile,"\n");
}

PRIVATE
outdfa()
{
	int s;
	struct idf *op;
	struct state *p;
	fprint(ofile,"int OO_state = 0;\n");
	fprint(ofile,"\n");
	fprint(ofile,"OO_dfa(last) int last; {\n");
	fprint(ofile,"\twhile(last) {\n");
	fprint(ofile,"\t\tswitch(last) {\n");
	for(op=ops;op!=(struct idf *)NULL;op=op->id_nextidf) {
		if(!op->id_used)
			continue;
		fprint(ofile,"\t\tcase op_%s:\n",op->id_text);
		fprint(ofile,"\t\t\tswitch(OO_state) {\n");
		if(!op->id_startpatt) {
				fprint(ofile,"\t\t\tcase 0: ");
				fprint(ofile,"OO_out(*--OO_nxtpatt); ");
				fprint(ofile,"break;\n");
		}
		for(s=0;s<=higheststate;s++)
			for(p=states[s];p!=(struct state *)NULL;p=p->next) {
				if(p->op==op) {
					fprint(ofile,"\t\t\tcase %d: ",s);
					if(actions[p->goto_state]==(struct action *)NULL)
						fprint(ofile,"OO_state = %d; ",p->goto_state);
					else fprint(ofile,"OO_dotrans(%d); ",p->goto_state);
					fprint(ofile,"break;\n");
				}
			}
		fprint(ofile,"\t\t\tdefault: dodefaultaction(); break;\n");
		fprint(ofile,"\t\t\t}\n");
		fprint(ofile,"\t\t\tbreak;\n");
	}
	fprint(ofile,"\t\tdefault:\n");
	fprint(ofile,"\t\t\tif(OO_state) dodefaultaction();\n");
	fprint(ofile,"\t\t\telse {\n");
	fprint(ofile,"\t\t\t\tOO_flush();\n");
	fprint(ofile,"\t\t\t\tOO_mkcalls(*--OO_nxtpatt);\n");
	fprint(ofile,"\t\t\t\tOO_free(*OO_nxtpatt);\n");
	fprint(ofile,"\t\t\t}\n");
	fprint(ofile,"\t\t\tbreak;\n");
	fprint(ofile,"\t\tcase OTHER:\n");
	fprint(ofile,"\t\t\tif(OO_state) dodefaultaction();\n");
	fprint(ofile,"\t\t\telse {\n");
	fprint(ofile,"\t\t\t\tOO_flush();\n");
	fprint(ofile,"\t\t\t\tOO_free(*--OO_nxtpatt);\n");
	fprint(ofile,"\t\t\t}\n");
	fprint(ofile,"\t\t\tbreak;\n");
	fprint(ofile,"\t\t}\n");
	fprint(ofile,"\tlast = NEXTEM();\n");
	fprint(ofile,"\t}\n");
	fprint(ofile,"}\n");
}

PRIVATE
outmnems(l)
	struct mnems l;
{
	int i;
	for(i=1;i<=l.m_len;i++) 
		fprint(ofile,"%s ",l.m_elems[i-1]->op_code->id_text);
}

PRIVATE
outdotrans()
{
	int s;
	int i;
	struct state *p;
	struct action *a;
	int seennontested;
	if(!sys_open("trans.c",OP_WRITE,&ofile)) {
		fprint(STDERR,"Fatal Error: cannot open output file trans.c\n");
		sys_stop(S_EXIT);
	}
	fprint(ofile,"#include \"nopt.h\"\n\n");
	fprint(ofile,"\nOO_dotrans(s) int s; {\n");
	fprint(ofile,"\tregister struct instr **patt = OO_patternqueue;\n");
	fprint(ofile,"\tswitch(OO_state=s) {\n");
	fprint(ofile,"\tdefault: return;\n");
	for(s=0;s<=higheststate;s++)
		if(actions[s]!=(struct action *)NULL) {
			fprint(ofile,"\tcase %d: /*",s);
			outmnems(patterns[s]);
			fprint(ofile," */\n");
			seennontested=0;
			for(a=actions[s];a!=(struct action *)NULL;a=a->next) {
				if(a->test!=(struct exp_node *)NULL) {
					fprint(ofile,"\t\tif(");
					outexp(a->test,s);
					fprint(ofile,") {\n");
					outoneaction(s,a);
					fprint(ofile,"\t\t\tgoto free%d;\n",patterns[s].m_len);
					fprint(ofile,"\t\t}\n");
				}
				else {
					if(seennontested) {
						fprint(STDERR,"parser: more than one untested action on state %d\n",s);
						nerrors++;
					}
					seennontested++;
					outoneaction(s,a);
					fprint(ofile,"\t\t\tgoto free%d;\n",patterns[s].m_len);
				}
			}
			if(!seennontested)
				fprint(ofile,"\t\treturn;\n");
		}
	fprint(ofile,"\t}\n");
	for(i=longestpattern;i>0;i--)
		fprint(ofile," free%d: OO_free(*--OO_nxtpatt);\n",i);
	fprint(ofile," free0: ;\n");
	fprint(ofile,"\tOO_state=0;\n");
	fprint(ofile,"}\n");
	fprint(ofile,"\n");
}

PRIVATE
outdodefault()
{
	fprint(ofile,"\nstatic dodefaultaction() {\n");
	fprint(ofile,"\tregister struct defact *p = &defaultactions[OO_state];\n");
	fprint(ofile,"\tOO_pushback(*--OO_nxtpatt);\n");
	fprint(ofile,"\tOO_dodefault(p->numoutput,p->numcopy);\n");
	fprint(ofile,"\tOO_dotrans(p->nextstate);\n");
	fprint(ofile,"}\n");
}

PRIVATE
outoneaction(s,a)
	int s;
	struct action *a;
{
	fprint(ofile,"\t\t/* ");
	fprint(ofile," -> ");
	outmnems(a->replacement);
	fprint(ofile," */\n");
	fprint(ofile,"#ifdef STATS\n");
	fprint(ofile,"\t\t\tif(OO_wrstats) fprint(STDERR,\"%d\\n\");\n",a->linenum);
	fprint(ofile,"#endif\n");
	outrepl(s,patterns[s],a->replacement);
	findworst(a->replacement);
}

PRIVATE
outrepl(state,patt,repl)
	int state;
	struct mnems patt,repl;
{
	/*
	/* Contruct <repl>=r1 r2 ... rn and put on output queue.
	*/
	int n = repl.m_len;
	int m = patt.m_len;
	int i,j,count;
	for(i=1;i<=n;i++) {
		struct mnem_elem *ri = repl.m_elems[i-1];
		char *mnem = ri->op_code->id_text;
		switch(ri->op_code->id_argfmt) {
		case NOARG:
			fprint(ofile,"\t\t\tOO_outop(op_%s);\n",mnem);
			break;
		case CST:
		case CSTOPT:
			fprint(ofile,"\t\t\tOO_outcst(op_%s,",mnem);
			outexp(ri->arg,state);
			fprint(ofile,");\n");
			break;
		case LAB:
			fprint(ofile,"\t\t\tOO_outlab(op_%s,",mnem);
			outexp(ri->arg,state);
			fprint(ofile,");\n");
			break;
		case DEFILB:
			fprint(ofile,"\t\t\tOO_outdefilb(op_%s,",mnem);
			outexp(ri->arg,state);
			fprint(ofile,");\n");
			break;
		case PNAM:
			fprint(ofile,"\t\t\tOO_outpnam(op_%s,",mnem);
			outexp(ri->arg,state);
			fprint(ofile,");\n");
			break;
		case EXT:
			fprint(ofile,"\t\t\tOO_outext(op_%s,",mnem);
			outexp(ri->arg,state);
			fprint(ofile,");\n");
			break;
		}
	}
}

PRIVATE
outexp(e,state)
	struct exp_node *e;
	int state;
{
	switch(e->node_type) {
	case LOGAND:
	case LOGOR:
	case BITAND:
	case BITOR:
	case XOR:
	case MINUS:
	case PLUS:
	case TIMES:
	case DIV:
	case MOD:
	case EQ:
	case NE:
	case LT:
	case LE:
	case GT:
	case GE:
	case LSHIFT:
	case RSHIFT:
		fprint(ofile,"(");
		outexp(e->exp_left,state);
		outop(e->node_type);
		outexp(e->exp_right,state);
		fprint(ofile,")");
		break;
	case NOT:
	case COMP:
	case UPLUS:
	case UMINUS:
		fprint(ofile,"(");
		outop(e->node_type);
		outexp(e->exp_left,state);
		fprint(ofile,")");
		break;
	case DEFINED:
		fprint(ofile,"(patt[%d]->argtype!=none_ptyp)",e->leaf_val-1);
		break;
	case UNDEFINED:
		fprint(ofile,"(patt[%d]->argtype==none_ptyp)",e->leaf_val-1);
		break;
	case COMMA:
		outext(e->exp_left);
		fprint(ofile,","); outexp(e->exp_right,state);
		break;
	case SAMESIGN:
	case SFIT:
	case UFIT:
	case ROTATE:
		outop(e->node_type);
		outexp(e->exp_left,state);
		fprint(ofile,",");
		outexp(e->exp_right,state);
		fprint(ofile,")");
		break;
	case SAMEEXT:
	case SAMENAM:
		outop(e->node_type);
		outext(e->exp_left);
		fprint(ofile,",");
		outext(e->exp_right,state);
		fprint(ofile,")");
		break;
	case PATARG:
		switch(patterns[state].m_elems[e->leaf_val-1]->op_code->id_argfmt) {
		case NOARG:
			fprint(STDERR,"error: mnem %d has no argument\n",e->leaf_val);
			nerrors++;
			break;
		case CST:
		case CSTOPT:
			fprint(ofile,"CST(patt[%d])",e->leaf_val-1);
			break;
		case LAB:
			fprint(ofile,"LAB(patt[%d])",e->leaf_val-1);
			break;
		case DEFILB:
			fprint(ofile,"DEFILB(patt[%d])",e->leaf_val-1);
			break;
		case PNAM:
			fprint(ofile,"PNAM(patt[%d])",e->leaf_val-1);
			break;
		case EXT:
			fprint(ofile,"OO_offset(patt[%d])",e->leaf_val-1);
			break;
		}
		break;
	case PSIZE:
		fprint(ofile,"OO_PSIZE"); break;
	case WSIZE:
		fprint(ofile,"OO_WSIZE"); break;
	case INT:
		fprint(ofile,"%d",e->leaf_val); break;
	}
}

PRIVATE
outext(e)
	struct exp_node *e;
{
	if(e->node_type!=PATARG) {
		fprint(STDERR,"Internal error in outext of parser\n");
		nerrors++;
	}
	fprint(ofile,"patt[%d]",e->leaf_val-1);
}

PRIVATE
outop(op)
	int op;
{
	switch(op) {
	case LOGAND:	fprint(ofile,"&&");	break;
	case LOGOR:	fprint(ofile,"||");	break;
	case BITAND:	fprint(ofile,"&");	break;
	case BITOR:	fprint(ofile,"|");	break;
	case XOR:	fprint(ofile,"^");	break;
	case MINUS:	fprint(ofile,"-");	break;
	case PLUS:	fprint(ofile,"+");	break;
	case TIMES:	fprint(ofile,"*");	break;
	case DIV:	fprint(ofile,"/");	break;
	case MOD:	fprint(ofile,"%%");	break;
	case EQ:	fprint(ofile,"==");	break;
	case NE:	fprint(ofile,"!=");	break;
	case LT:	fprint(ofile,"<");	break;
	case LE:	fprint(ofile,"<=");	break;
	case GT:	fprint(ofile,">");	break;
	case GE:	fprint(ofile,">=");	break;
	case LSHIFT:	fprint(ofile,"<<");	break;
	case RSHIFT:	fprint(ofile,">>");	break;
	case NOT:	fprint(ofile,"!");	break;
	case COMP:	fprint(ofile,"~");	break;
	case UPLUS:	fprint(ofile,"+");	break;
	case UMINUS:	fprint(ofile,"-");	break;
	case SAMESIGN:	fprint(ofile,"OO_signsame(");	break;
	case SFIT:	fprint(ofile,"OO_sfit(");	break;
	case UFIT:	fprint(ofile,"OO_ufit(");	break;
	case ROTATE:	fprint(ofile,"OO_rotate(");	break;
	case SAMEEXT:	fprint(ofile,"OO_extsame(");	break;
	case SAMENAM:	fprint(ofile,"OO_namsame(");	break;
	}
}