/*
 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
 * See the copyright notice in the ACK home directory, in the file "Copyright".
 */
/* #define CODEDEBUG 	/* print readable code */
#ifdef CODEDEBUG
int	code_in_c=0;	/* put readable code in "code" */
int	tabledebug=1;	/* generate code for table debugging */
#else
int	code_in_c=1;	/* put code in "tables.c" */
int	tabledebug=0;	/* do not generate code for table debugging */
#endif
int	verbose=0;	/* print all statistics */
char	*c_file=	"tables.c";
char	*h_file=	"tables.H";
char	*cd_file=	"code";

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

#include <stdio.h>
#include <ctype.h>
#include "assert.h"
#include "varinfo.h"
#include "param.h"
#include "reg.h"
#include "property.h"
#include "token.h"
#include "set.h"
#include "instruct.h"
#include "lookup.h"
#include <cgg_cg.h>
#include "pseudo.h"
#include "regvar.h"
#include "extern.h"

#define BMASK 0xFF
#define BSHIFT 8

FILE *ctable,*htable;
FILE *code;
short *lineset;
int maxline;

extern int nstrings;
extern char *l_strings[];

extern int ninstances;
extern inst_t l_instances[];

extern int nmoves;
extern move_t l_moves[];
extern int ntests;
extern test_t l_tests[];
extern int nstacks;
extern c1_t l_stacks[];
extern int ncoercs;
extern c3_t l_coercs[];
extern int nsplit,maxsplit;
extern c2_t l_split[];
extern set_t l_sets[];

int maxallreg=0;
int maxregvars=0;
int setsize;

opnfile(f,s) FILE **f; char *s; {

	if ((*f=fopen(s,"w"))==NULL)
		fatal("Can't create %s",s);
}

unlfile(f,s) FILE *f; char *s; {

	if (f) fclose(f);
	if (unlink(s)<0)
		error("%s incorrect, must be removed!!",s);
}

initio() {
	extern char *myalloc();

	opnfile(&ctable,c_file);
	opnfile(&htable,h_file);
	if (code_in_c)
		fprintf(ctable,"char coderules[] = {");
	else
		opnfile(&code,cd_file);
	patbyte(0);
	if (tabledebug)
		lineset = (short *) myalloc(SZOFSET(MAXSOURCELINES)*sizeof(short));
}

finishcode() {

	if (code_in_c)
		fprintf(ctable,"\n};\n\n");
	fprintf(ctable, "int allsetno = %d;\n", allsetno);
	if (tabledebug) {
		int fd;
		int sz;
		
		if ((fd=creat("lineset",0666))>=0) {
			sz = SZOFSET(maxline)*2;
			write(fd,&sz,sizeof(int));
			write(fd,lineset,sz);
			close(fd);
		} else
			error("Can't create lineset");
	}
}

errorexit() {

	unlfile(ctable,c_file);
	unlfile(htable,h_file);
	if (!code_in_c)
		unlfile(code,cd_file);
}

#ifdef CODEDEBUG
#define code8(x) fprintf(code,"%s","x")
#define code8nl(x) fprintf(code,"%s\n","x")
#define code53(x,y) fprintf(code,"%s-%d","x",y)
#define codeint(x) fprintf(code," %d",x)
#define codenl() fprintf(code,"\n")
#else
#define codenl()
#define code8nl(x) code8(x)

code8(x) {

	codeindex++;
	if (code_in_c)
		fprintf(ctable,"%d,",x&0377);
	else
		putc(x,code);
}

code53(x,y) {

	code8(x+(y<<5));
}

codeint(x) {

	assert(x>=0 && x<=32767);
	if (x<128) {
		code8(x);
	} else {
		code8(x/256+128);
		code8(x%256);
	}
}

#endif
int prevind=0;
int npatbytes= -1;
char pattern[MAXPATBYTES];
int pathash[256];

outpatterns() {
	extern int npatterns;
	extern int patindex[];
	extern int empatlen;
	extern int emmnem[];
	extern int empatexpr;
	register i;

	if (!inproc) {
		patbyte(0);
		patshort(prevind);
		prevind = npatbytes-2;
		patbyte(empatlen);
		for(i=0;i<empatlen;i++)
			patbyte(emmnem[i]);
		pat(empatexpr);
	}
	if (callproc==0) {
		patbyte(npatterns);
		for(i=0;i<npatterns;i++)
			pat(patindex[i]);
	} else {
		patbyte(0);
		pat(callproc);
		pat(procarg[0]);
		pat(procarg[1]);
	}
}

pat(n) {

	assert(n>=0);
	if (n<128)
		patbyte(n);
	else {
		patbyte(n/256+128);
		patbyte(n%256);
	}
}

patshort(n) {

	patbyte(n%256);
	patbyte(n/256);
}

patbyte(n) {

	NEXT(npatbytes, MAXPATBYTES, "Pattern bytes");
	pattern[npatbytes]=n;
}

hashpatterns() {
	short index;
	register char *bp,*tp;
	register short i;
	unsigned short hashvalue;
	int patlen;

	index = prevind;
	while (index != 0) {
		bp = &pattern[index];
		tp = &bp[PO_MATCH];
		i = *tp++&BMASK;
		if (i==BMASK) {
			i = *tp++&BMASK;
			i |= (*tp++&BMASK)<<BSHIFT;
		}
		patlen = i;
		hashvalue = 0;
		switch(patlen) {
		default:        /* 3 or more */
			hashvalue = (hashvalue<<4)^(*tp++&BMASK);
		case 2:
			hashvalue = (hashvalue<<4)^(*tp++&BMASK);
		case 1:
			hashvalue = (hashvalue<<4)^(*tp++&BMASK);
		}
		assert(hashvalue!= ILLHASH);
		i=index;
		index = (bp[PO_NEXT]&BMASK)|(bp[PO_NEXT+1]<<BSHIFT);
		bp[PO_HASH] = hashvalue>>BSHIFT;
		hashvalue &= BMASK;
		bp[PO_NEXT] = pathash[hashvalue]&BMASK;
		bp[PO_NEXT+1] = pathash[hashvalue]>>BSHIFT;
		pathash[hashvalue] = i;
	}
}

outincludes() {

	fprintf(ctable,"#include \"param.h\"\n");
	fprintf(ctable,"#include \"tables.h\"\n");
	fprintf(ctable,"#include \"types.h\"\n");
	fprintf(ctable,"#include <cgg_cg.h>\n");
	fprintf(ctable,"#include \"data.h\"\n");
}

outregs() {
	register i,j,k;
	short rset[SZOFSET(MAXREGS)];
	short clashlist[MAXREGS*MAXREGS];
	int iclashlist = 0;
	int t,ready;


	fprintf(ctable,"char stregclass[] = {\n");
	for (i=0;i<nregs;i++)
		fprintf(ctable,"\t%d,\n",l_regs[i].ri_class);
	fprintf(ctable,"};\n\nstruct reginfo machregs[] = {\n{0},\n");
	for (i=1;i<nregs;i++) {
		fprintf(ctable,"{%d,%d",strlookup(l_regs[i].ri_repr),
			l_regs[i].ri_size);
		if (maxmembers!=0) {
			fprintf(ctable,",{");
			for(j=0;j<maxmembers;j++)
				fprintf(ctable,"%d,",l_regs[i].ri_memb[j]);
			/* now compute and print set of registers
			 * that clashes with this register.
			 * A register clashes with al its children (and theirs)
			 * and with all their parents.
			 */
			for (j=0;j<SZOFSET(MAXREGS);j++)
				rset[j]=0;
			BIS(rset,i);
			do {
			    ready=1;
			    for (j=1;j<nregs;j++)
				if (BIT(rset,j))
				    for (k=0;k<2;k++)
					if ((t=l_regs[j].ri_memb[k])!=0) {
					    if (BIT(rset,t)==0)
						ready=0;
					    BIS(rset,t);
					}
			} while (!ready);
			do {
			    ready=1;
			    for (j=1;j<nregs;j++)
				for (k=0;k<2;k++)
				    if ((t=l_regs[j].ri_memb[k])!=0)
					if (BIT(rset,t)) {
						if (BIT(rset,j)==0)
						    ready=0;
						BIS(rset,j);
					}
			} while (!ready);
			fprintf(ctable,"},{");
			for (j=0;j<SZOFSET(nregs);j++)
				fprintf(ctable,"0%o,",rset[j]&0xFFFF);
			fprintf(ctable,"}, %d", iclashlist);
			for (j = 1; j < nregs; j++) {
				if (BIT(rset, j)) clashlist[iclashlist++] = j;
			}
			clashlist[iclashlist++] = 0;
		}
		fprintf(ctable,",%d",l_regs[i].ri_rregvar>=0);
		fprintf(ctable,"},\n");
	}
	fprintf(ctable,"};\n\n short clashlist[] = {\n\t");
	for (i = 0; i < iclashlist; i++) {
		fprintf(ctable, "%d, ", clashlist[i]);
		if (clashlist[i] == 0) fprintf(ctable, "\n\t");
	}
	fprintf(ctable, "0};\n\n");
}

outregvars() {
	register i,j;

	fprintf(htable,"#define REGVARS\n");
	fprintf(ctable,"#include \"regvar.h\"\n");
	fprintf(ctable,"int nregvar[4] = { ");
	for (i=0;i<4;i++) {
		fprintf(ctable,"%d, ",nregvar[i]);
		if (nregvar[i]>maxregvars)
			maxregvars = nregvar[i];
	}
	fprintf(ctable,"};\n");
	for (i=0;i<4;i++)
		if (nregvar[i]>0)
			fprintf(ctable,"struct regassigned ratar%d[%d];\n",
					i,nregvar[i]);
	for (i=0;i<4;i++) if (nregvar[i]>0) {
		fprintf(ctable,"int rvtar%d[] = {",i);
		for (j=0;j<nregvar[i];j++)
			fprintf(ctable,"%d,",rvnumbers[i][j]);
		fprintf(ctable,"};\n");
	}
	fprintf(ctable,"\nint *rvnumbers[] = {\n");
	for (i=0;i<4;i++)
		if (nregvar[i]>0)
			fprintf(ctable,"\trvtar%d,\n",i);
		else
			fprintf(ctable,"\t0,\n");
	fprintf(ctable,"};\n\nstruct regassigned *regassigned[] = {\n");
	for (i=0;i<4;i++)
		if (nregvar[i]>0)
			fprintf(ctable,"\tratar%d,\n",i);
		else
			fprintf(ctable,"\t0,\n");
	fprintf(ctable,"};\n");
}

typeconv(n) {

	if (n>=0) return(2);
	if (n== -1) return(1);
	if (n== -2) return(3);
	assert (n== -3);
	return(0);
}

outtokens() {
	register tokno,i;
	register token_p tp;

	fprintf(ctable,"tkdef_t tokens[] = {{0},\n");
	for (tokno=1;tokno<ntokens;tokno++) {
		tp = l_tokens[tokno];
		fprintf(ctable,"{%d,{%d,%d},{",
			tp->tk_size, tp->tk_cost.ct_space, tp->tk_cost.ct_time);
		for(i=0;i<maxtokensize;i++)
			fprintf(ctable,"%d,",typeconv(tp->tk_att[i].ta_type));
		fprintf(ctable,"},%d},\n",tp->tk_format);
	}
	fprintf(ctable,"{0}};\n\n");
}

outenodes() {
	register node_p np;
	extern node_t nodes[];
	extern int nnodes;

	fprintf(ctable,"node_t enodes[] = {\n");
	for (np=nodes;np<&nodes[nnodes];np++)
		fprintf(ctable,"{%d,%d,%d},\n",
			np->ex_operator,np->ex_lnode,np->ex_rnode);
	fprintf(ctable,"};\n\n");
}

outstrings() {
	register i;
	register char *p;
	register int c;
	extern char * filename;

	if (tabledebug)
		fprintf(ctable,"char *tablename = \"%s\";\n",filename);
	fprintf(ctable,"string codestrings[] = {\n");
	for(i=0;i<nstrings;i++) {
		p= l_strings[i];
		fprintf(ctable,"\t\"");
		while ((c= (*p++&0377))!=0) {
			if (! isascii(c) || iscntrl(c)) {
				fprintf(ctable,"\\%c%c%c",
					((c&~0300)>>6) + '0', ((c&070)>>3)+'0',
					(c&07)+'0');
			}
			else fprintf(ctable, "%c",c);
		}
		fprintf(ctable,"\",\n");
	}
	fprintf(ctable,"};\n\n");
}

extern set_t unstackset;

outsets() {
	register i;
	register set_p sp;

	fprintf(ctable,"set_t machsets[] = {\n");
	for (sp=l_sets;sp< &l_sets[nsets]; sp++) {
		fprintf(ctable,"{%3d,{",sp->set_size);
		for (i=0;i<setsize;i++)
			fprintf(ctable,"0x%x,",sp->set_val[i]&0xFFFF);
		fprintf(ctable,"}},\n");
	}
	fprintf(ctable,"};\n\n");

	fprintf(ctable, "set_t unstackset = { %3d,{\n", unstackset.set_size);
	for (i = 0; i<setsize;i++)
		fprintf(ctable,"0x%x,",unstackset.set_val[i]&0xFFFF);
	fprintf(ctable,"}};\n\n");
}

outinstances() {
	register inst_p ip;
	register i;

	fprintf(ctable,"inst_t tokeninstances[] = {\n");
	for (ip=l_instances;ip< &l_instances[ninstances]; ip++) {
		fprintf(ctable,"{ %d, {",ip->in_which);
		for(i=0;i<=maxtokensize;i++)
			fprintf(ctable,"%d,",ip->in_info[i]);
		fprintf(ctable,"}},\n");
	}
	fprintf(ctable,"};\n\n");
}

outmoves() {
	register move_p mp;

	fprintf(ctable,"move_t moves[] = {\n");
	for (mp=l_moves; mp< &l_moves[nmoves]; mp++)
		fprintf(ctable,"{%d,%d,%d,%d,%d},\n",
			mp->m_set1, mp->m_expr1,
			mp->m_set2, mp->m_expr2,
			mp->m_cindex);
	fprintf(ctable,"{-1}\n};\n\n");
}

outtests() {
	register test_p tp;

	fprintf(ctable,"test_t tests[] = {\n");
	for (tp=l_tests; tp< &l_tests[ntests]; tp++)
		fprintf(ctable,"{%d,%d,%d},\n",
			tp->t_set, tp->t_expr,
			tp->t_cindex);
	fprintf(ctable,"{-1}\n};\n\n");
}

outstacks() {
	register c1_p cp;

	fprintf(ctable,"c1_t c1coercs[] = {\n");
	for (cp=l_stacks; cp< &l_stacks[nstacks]; cp++)
		fprintf(ctable,"{%d,%d,%d,%d},\n",
			cp->c1_texpno, cp->c1_expr,
			cp->c1_prop, cp->c1_codep);
	fprintf(ctable,"{-1}\n};\n\n");
}

outsplits() {
	register c2_p cp;
	register i;

	fprintf(ctable,"c2_t c2coercs[] = {\n");
	for (cp=l_split; cp< &l_split[nsplit]; cp++) {
		fprintf(ctable,"{%d,%d,%d,{",
			cp->c2_texpno, cp->c2_expr, cp->c2_nsplit);
		for (i=0;i<maxsplit;i++)
			fprintf(ctable,"%d,",cp->c2_repl[i]);
		fprintf(ctable,"},%d},\n",cp->c2_codep);
	}
	fprintf(ctable,"{-1}\n};\n\n");
}

outcoercs() {
	register c3_p cp;

	fprintf(ctable,"c3_t c3coercs[] = {\n");
	for (cp=l_coercs; cp< &l_coercs[ncoercs]; cp++)
		fprintf(ctable,"{%d,%d,%d,%d,%d},\n",
			cp->c3_texpno, cp->c3_expr,
			cp->c3_prop, cp->c3_repl, cp->c3_codep);
	fprintf(ctable,"{-1}\n};\n\n");
}

outproplists() {
	register propno;
	register regno;

	for(propno=0;propno<nprops;propno++) {
		fprintf(ctable,"struct reginfo *rlist%d[] = {\n",propno);
		for(regno=1;regno<nregs;regno++)
			if (BIT(l_props[propno].pr_regset,regno))
				fprintf(ctable,"&machregs[%d],\n",regno);
		fprintf(ctable,"0\n};\n");
	}
	fprintf(ctable,"struct reginfo **reglist[] = {\n");
	for(propno=0;propno<nprops;propno++)
		fprintf(ctable,"rlist%d,\n",propno);
	fprintf(ctable,"};\n\n");
}

outconsts() {

	fprintf(ctable,"unsigned cc1 = %u;\n",fc1);
	fprintf(ctable,"unsigned cc2 = %u;\n",fc2);
	fprintf(ctable,"unsigned cc3 = %u;\n",fc3);
	fprintf(ctable,"unsigned cc4 = %u;\n",fc4);
}

cdef(s,n) char *s; {

	fprintf(htable,"#define %s %d\n",s,n);
}

passon(s) char *s; {
	char buf[32];

	sprintf(buf,"T%s",s);
	cdef(buf,cmustbeset(s));
}

outdefs() {
	register symbol *sy_p;
	extern int maxempatlen,maxrule;
	char *wrdfmt;

	passon("EM_WSIZE");
	passon("EM_PSIZE");
	passon("EM_BSIZE");
	if ((sy_p=lookup("FORMAT",symsconst,justlooking))!=0)
		wrdfmt = l_strings[sy_p->sy_value.syv_stringno];
	else if (wordsize<=2)
		wrdfmt = "%d";
	else
		wrdfmt = "%ld";
	fprintf(ctable,"char wrd_fmt[]= \"%s\";\n", wrdfmt);
	fprintf(htable,"#define WRD_FMT wrd_fmt\n");
	fprintf(htable,"extern char wrd_fmt[];\n");
	cdef("MAXALLREG",maxallreg);
	cdef("SETSIZE",setsize);
	cdef("NREGS",nregs);
	cdef("REGSETSIZE",SZOFSET(nregs));
	cdef("TOKENSIZE",maxtokensize);
	cdef("MAXMEMBERS",maxmembers);
	cdef("LONGESTPATTERN",maxempatlen);
	cdef("MAXRULE",maxrule<16 ? 16 : maxrule);
	if (nsplit>0) {
		cdef("MAXSPLIT",maxsplit);
	}
	if (tabledebug)
		cdef("TABLEDEBUG",1);
}

outars() {
	register i;
	
	if (code_in_c)
		fprintf(htable,"#define CODEINC 1\n");
	else {
		fprintf(ctable,"char coderules[%d];\n",codeindex);
		fprintf(ctable,"int ncodebytes=%d;\n",codeindex);
	}
	fprintf(ctable,"char pattern[%d]={\n",npatbytes+1);
	for(i=0;i<=npatbytes;i++) {
		fprintf(ctable,"%d,%c",pattern[i]&BMASK,i%16==15 ? '\n' : ' ');
	}
	fprintf(ctable,"};\n\n");
	fprintf(ctable,"int pathash[256]={\n");
	for(i=0;i<256;i++) {
		fprintf(ctable,"%d,%c",pathash[i]&0xFFFF,i%10==9 ? '\n' : ' ');
	}
	fprintf(ctable,"};\n");
}

finishio() {
	extern int nregs;

	finishcode();
	hashpatterns();
	setsize = SZOFSET(nregs+ntokens);
	outdefs();
	outincludes();
	outregs();
	outtokens();
	outenodes();
	outstrings();
	outsets();
	outinstances();
	outmoves();
	outtests();
	outstacks();
	if (nsplit>0)
		outsplits();
	outcoercs();
	outproplists();
	outconsts();
	if (rvused)
		outregvars();
	outars();
}

codecoco(cocono) {

	if (cocono== -1)
		return;
	code8(DO_SETCC);
	codeint(cocono);
	codenl();
}

dopattern(stackcoerc,kills,allocates,generates,yields,leaving)
varinfo *kills,*allocates,*generates,*yields,*leaving;
{
	register i;
	int n,nops;
	register struct varinfo *vp,*vivp;
	register instr_p instp;
	int al,deal;
	int vil;
	int cocono= -1;
	cost_t totcost;
	int nremoves;
	int removelist[100];
	static char tlab[] = "0:";
	extern int optexact,optstack,startline;
	extern char *filename;
	extern int lineno;

#ifdef CODEDEBUG
	fprintf(code,"Code(%d) at \"%s\", line %d\n",stackcoerc,filename,lineno);
#endif
	if (code_in_c)
		fprintf(ctable,"\n/* \"%s\", line %d */ ",filename,lineno);
	if (tabledebug) {
		code8(DO_DLINE);
		codeint(startline); 
		codenl();
		if (startline<MAXSOURCELINES) {
			if (startline>maxline)
				maxline=startline;
			BIS(lineset,startline);
		} else {
			static int beenhere=0;

			if (!beenhere) {
				beenhere++;
				error("Too many source lines for table debug");
			}
		}
	}
	/* MATCH part */
	if (tokpatlen) {
		if (optexact)
			if (optstack)
				code53(DO_XXMATCH,tokpatlen);
			else
				code53(DO_XMATCH,tokpatlen);
		else
			code53(DO_MATCH,tokpatlen);
		for (i=0;i<tokpatlen;i++)
			codeint(tokpatset[i]);
		codenl();
	} else if (stackcoerc)
		code8nl(DO_COERC);
	if (optstack) {
		code53(DO_TOSTACK,0);
		codeint(allsetno);
		codenl();
	}
	/* The kills */
	for (vp=kills;vp!=0;vp=vp->vi_next) {
		if (vp->vi_int[1] != 0) {
			code53(DO_REMOVE,1);
			codeint(vp->vi_int[0]);
			codeint(vp->vi_int[1]);
		} else if (vp->vi_int[0] >= 0) {
			code53(DO_REMOVE,0);
			codeint(vp->vi_int[0]);
		} else {
			code8(DO_KILLREG);
			codeint(-vp->vi_int[0] - 1);
		}
		codenl();
	}
	nremoves=0;
	for(vp=generates;vp!=0;vp=vp->vi_next) {
		if (vp->vi_int[0] != INSREMOVE)
			continue;
		for(i=0;i<nremoves;i++)
			if (vp->vi_int[1]==removelist[i])
				break;
		if (i==nremoves) {
			assert(nremoves<(sizeof(removelist)/sizeof(int)));
			removelist[nremoves++] = vp->vi_int[1];
		}
	}
	for(i=0;i<nremoves;i++) {
		code8(DO_RREMOVE);
		codeint(removelist[i]);
		codenl();
	}
	/* allocate part */
	deal=0;al=0;
	for (vp=allocates;vp!=0;vp=vp->vi_next) {
		if (vp->vi_int[0] == -1) { /* Deallocate */
			deal++;
			code8(DO_DEALLOCATE);
			codeint(vp->vi_int[1]);
			codenl();
		} else {
			if (vp->vi_int[1]==0) {
				code53(DO_ALLOCATE,0);
				codeint(vp->vi_int[0]);
				codenl();
			} else {
				code53(DO_ALLOCATE,1);
				codeint(vp->vi_int[0]);
				codeint(vp->vi_int[1]);
				codenl();
			}
			al++;
		}
	}
	if (deal)
		code8nl(DO_REALLOCATE);
	if (al>maxallreg)
		maxallreg=al;
	totcost.ct_space = 0;
	totcost.ct_time  = 0;
	for(vp=generates;vp!=0;vp=vp->vi_next) {
		n= vp->vi_int[0];
		switch(n) {
		default:
			assert(n>=0);
			instp = &l_instr[n];
			nops=instp->i_nops;
			code53(DO_INSTR,nops);
			if (vp->vi_int[1]==0) {
				codeint(instp->i_asname);
			} else {
				codeint(10000+vp->vi_int[1]);
			}
			vivp=vp->vi_vi;
			for(i=0;i<nops;i++) {
				codeint(vivp->vi_int[0]);
				vivp = vivp->vi_vi;
			}
			codenl();
			totcost.ct_space += instp->i_cost.ct_space;
			totcost.ct_time  += instp->i_cost.ct_time ;
			break;
		case INSREMOVE:
			break;
		case INSMOVE:
			codecoco(cocono);
			code8(DO_MOVE);
			codeint(vp->vi_int[1]);
			codeint(vp->vi_int[2]);
			codenl();
			break;
		case INSTEST:
			codecoco(cocono);
			code8(DO_TEST);
			codeint(vp->vi_int[1]);
			codenl();
			break;
		case INSPRETURN:
			code8(DO_PRETURN);
			codenl();
			break;
		case INSTLAB:
			cocono = 0;
			tlab[0] = vp->vi_int[1] + '0';
			code53(DO_INSTR,0);
			codeint(strlookup(tlab));
			codenl();
			break;
		case INSSETCC:
			cocono=vp->vi_int[1];
			break;
		case INSERASE:
			code8(DO_ERASE);
			codeint(vp->vi_int[1]);
			codenl();
			break;
		}
	}
	codecoco(cocono);
	vil = vilength(yields);
	if (vil!=0 || tokpatlen!=0 || allocates!=0) {
		code53(DO_TOKREPLACE,vilength(yields));
		for(vp=yields;vp!=0;vp=vp->vi_next) {
			codeint(vp->vi_int[0]);
		}
		codenl();
	}
	if (leaving!=0) {
		code53(DO_EMREPLACE,vilength(leaving));
		while (leaving!=0) {
			codeint(leaving->vi_int[0]);
			codeint(leaving->vi_int[1]);
			leaving = leaving->vi_next;
		}
		codenl();
	}
	if (totcost.ct_space!=0 || totcost.ct_time!=0) {
		code8(DO_COST);
		codeint(totcost.ct_space);
		codeint(totcost.ct_time);
		codenl();
	}
	if (empatlen==0 && !inproc)
		code8nl(DO_RETURN);
	else
		code8nl(DO_NEXTEM);
}

used(resource,use,max) char *resource; {

	if (verbose || 4*use > 3*max)
		fprintf(stderr,"%s %d(%d)\n",resource,use,max);
}

statistics() {
	extern char *end,*sbrk();
	extern int nnodes, maxempatlen,maxrule;

	used("Registers",nregs,MAXREGS);
	used("Properties",nprops,MAXPROPS);
	used("Tokens",ntokens,MAXTOKENS);
	used("Tokensize",maxtokensize,MAXATT);
	used("Sets",nsets,MAXSETS);
	used("Instructions",ninstr,MAXINSTR);
	used("Strings",nstrings,MAXSTRINGS);
	used("Exp-nodes",nnodes,MAXNODES);
	used("EM-pat length",maxempatlen,EMPATMAX);
	used("rules/EM-pattern",maxrule,MAXPATTERNS);
	used("Allocates/rule",maxallreg,MAXALLREG);
	used("Instances",ninstances,MAXINSTANCES);
	used("Moves",nmoves,MAXMOVES);
	used("Tests",ntests,MAXTESTS);
	used("Stacks",nstacks,MAXSTACKS);
	used("1->1 Coercions",ncoercs,MAXCOERCS);
	used("Splitting coercions",nsplit,MAXSPLCOERC);
	used("Register variables",maxregvars,MAXREGVAR);
	used("Pat bytes",npatbytes+1,MAXPATBYTES);
	if (tabledebug)
		used("Source lines",maxline,MAXSOURCELINES);
	fprintf(stderr,"%ldK heap used\n",((long) (sbrk(0)-(char *) &end+1023))/1024);
}