ack/mach/proto/ncg/codegen.c

1147 lines
25 KiB
C
Raw Normal View History

1985-01-08 15:34:54 +00:00
#ifndef NORCSID
1994-06-24 14:02:31 +00:00
static char rcsid[] = "$Id$";
1985-01-08 15:34:54 +00:00
#endif
#include <stdlib.h>
#include <stdio.h>
1985-01-08 15:34:54 +00:00
#include "assert.h"
#include "param.h"
#include "tables.h"
#include "types.h"
#include <cgg_cg.h>
#include "data.h"
#include "result.h"
#include "state.h"
#include "equiv.h"
#include "extern.h"
/*
1987-03-10 01:26:51 +00:00
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
* See the copyright notice in the ACK home directory, in the file "Copyright".
1985-01-08 15:34:54 +00:00
*
* Author: Hans van Staveren
*/
2017-01-16 20:16:33 +00:00
#define ALLOW_NEXTEM /* code generator is allowed new try of NEXTEM \
in exceptional cases */
1985-01-08 15:34:54 +00:00
byte startupcode[] = { DO_NEXTEM };
2017-01-16 20:16:33 +00:00
byte* nextem();
1985-01-08 15:34:54 +00:00
unsigned costcalc();
unsigned docoerc();
unsigned stackupto();
string tostring();
string ad2str();
#ifdef NDEBUG
#define DEBUG(string)
#else
#include <stdio.h>
2017-01-16 20:16:33 +00:00
#define DEBUG(string) \
{ \
if (Debug) \
fprintf(stderr, "%-*d%s\n", 4 * level, level, string); \
}
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
#define BROKE() \
{ \
assert(origcp != startupcode || !paniced); \
DEBUG("BROKE"); \
totalcost = INFINITY; \
goto doreturn; \
}
#define CHKCOST() \
{ \
if (totalcost >= costlimit) \
BROKE(); \
}
1985-01-08 15:34:54 +00:00
#ifdef TABLEDEBUG
int tablelines[MAXTDBUG];
int ntableline;
2017-01-16 20:16:33 +00:00
int set_fd, set_size;
short* set_val;
char* set_flag;
1985-01-08 15:34:54 +00:00
#endif
unsigned codegen(byte* codep, int ply, int toplevel, unsigned costlimit, int forced)
2017-01-16 20:16:33 +00:00
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
byte* origcp = codep;
static int level = 0;
1985-01-08 15:34:54 +00:00
#endif
unsigned totalcost = 0;
2017-01-16 20:16:33 +00:00
int inscoerc = 0;
int procarg[MAXPROCARG + 1] = {};
1985-01-08 15:34:54 +00:00
#ifdef ALLOW_NEXTEM
static int paniced;
2017-01-16 20:16:33 +00:00
char* savebp = 0;
1985-01-08 15:34:54 +00:00
#endif
state_t state;
2017-01-16 20:16:33 +00:00
#define SAVEST savestatus(&state)
#define RESTST restorestatus(&state)
#define FREEST /* nothing */
1985-01-08 15:34:54 +00:00
#ifdef TABLEDEBUG
2017-01-16 20:16:33 +00:00
extern char* tablename;
1985-01-08 15:34:54 +00:00
#endif
#ifndef NDEBUG
assert(costlimit <= INFINITY);
1985-01-08 15:34:54 +00:00
level++;
DEBUG("Entering codegen");
2017-01-16 20:16:33 +00:00
if (Debug > 1)
fprintf(stderr, "toplevel = %d\n", toplevel);
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
for (;;)
{
switch ((*codep++) & 037)
{
default:
assert(FALSE);
/* NOTREACHED */
1985-01-08 15:34:54 +00:00
#ifdef TABLEDEBUG
2017-01-16 20:16:33 +00:00
case DO_DLINE:
{
int n;
1985-01-08 15:34:54 +00:00
2017-01-16 20:16:33 +00:00
getint(n, codep);
tablelines[ntableline++] = n;
if (ntableline >= MAXTDBUG)
ntableline -= MAXTDBUG;
if (set_fd)
set_val[n >> 4] &= ~(1 << (n & 017));
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug)
fprintf(stderr, "code from \"%s\", line %d\n", tablename, n);
#endif
break;
}
#endif
case DO_NEXTEM:
{
byte* bp;
int n;
unsigned mindistance, dist;
register i;
int cindex;
int npos, pos[MAXRULE];
unsigned mincost, t;
DEBUG("NEXTEM");
tokpatlen = 0;
nallreg = 0;
if (toplevel)
{
garbage_collect();
totalcost = 0;
}
else
{
if (--ply <= 0)
goto doreturn;
}
if (stackheight > MAXFSTACK - 7)
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug)
fprintf(stderr, "Fakestack overflow threatens(%d), action ...\n", stackheight);
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
totalcost += stackupto(&fakestack[6], ply, toplevel);
}
1985-01-08 15:34:54 +00:00
#ifndef ALLOW_NEXTEM
2017-01-16 20:16:33 +00:00
bp = nextem(toplevel);
1985-01-08 15:34:54 +00:00
#else
2017-01-16 20:16:33 +00:00
if (toplevel)
paniced = 0;
savebp = nextem(toplevel);
panic:
if (toplevel)
totalcost = 0;
bp = savebp;
#endif
if (bp == 0)
{
/*
1985-01-08 15:34:54 +00:00
* No pattern found, can be pseudo or error
* in table.
*/
2017-01-16 20:16:33 +00:00
if (toplevel)
{
codep--;
DEBUG("pseudo");
dopseudo();
}
else
goto doreturn;
}
else
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
chkregs();
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
if (!toplevel)
{
ply -= emp - saveemp + 1;
if (ply <= 0)
ply = 1;
}
n = *bp++;
if (n == 0)
{ /* "procedure" */
int j, nargs;
getint(i, bp);
getint(nargs, bp);
assert(nargs <= MAXPROCARG);
for (j = 0; j < nargs; j++)
{
getint(procarg[j], bp);
}
bp = &pattern[i];
n = *bp++;
DEBUG("PROC_CALL");
}
assert(n > 0 && n <= MAXRULE);
if (n > 1)
{
mindistance = MAXINT;
npos = 0;
for (i = 0; i < n; i++)
{
getint(cindex, bp);
dist = distance(cindex);
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug)
fprintf(stderr, "distance of pos %d is %u\n", i, dist);
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
if (dist <= mindistance
1988-06-22 18:47:48 +00:00
#ifdef ALLOW_NEXTEM
2017-01-16 20:16:33 +00:00
|| paniced
#endif
)
{
if (dist < mindistance)
{
if (dist == 0)
goto gotit;
npos = 0;
mindistance = dist;
}
#ifdef ALLOW_NEXTEM
2017-01-16 20:16:33 +00:00
if (dist < MAXINT)
#endif
2017-01-16 20:16:33 +00:00
pos[npos++] = cindex;
}
}
assert(mindistance < MAXINT);
if (npos > 1)
{
/*
1985-01-08 15:34:54 +00:00
* More than 1 tokenpattern is a candidate.
* Decision has to be made by lookahead.
*/
2017-01-16 20:16:33 +00:00
SAVEST;
mincost = costlimit - totalcost + 1;
assert(mincost <= INFINITY);
for (i = 0; i < npos; i++)
{
t = codegen(&coderules[pos[i]], ply, FALSE,
costlimit < MAXINT ? mincost : MAXINT, 0);
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug)
fprintf(stderr, "mincost %u,cost %u,pos %d\n", mincost, t, i);
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
if (t < mincost)
{
mincost = t;
cindex = pos[i];
}
RESTST;
}
FREEST;
if (totalcost + mincost > costlimit)
{
BROKE();
}
}
else
{
cindex = pos[0];
}
}
else
{
getint(cindex, bp);
1985-01-08 15:34:54 +00:00
}
2017-01-16 20:16:33 +00:00
gotit:
/*
1985-01-08 15:34:54 +00:00
* Now cindex contains the code-index of the best candidate
* so proceed to use it.
*/
2017-01-16 20:16:33 +00:00
codep = &coderules[cindex];
}
break;
}
case DO_COERC:
{
DEBUG("COERC");
tokpatlen = 1;
inscoerc = 1;
break;
}
case DO_XXMATCH:
DEBUG("XXMATCH");
case DO_XMATCH:
{
register i;
int temp;
DEBUG("XMATCH");
tokpatlen = (codep[-1] >> 5) & 07;
for (i = 0; i < tokpatlen; i++)
getint(temp, codep);
break; /* match already checked by distance() */
}
case DO_MATCH:
{
register i;
int j;
unsigned mincost, t;
token_p tp;
int size, lsize;
int tokexp[MAXPATLEN];
int nregneeded;
token_p regtp[MAXCREG];
c3_p regcp[MAXCREG];
rl_p regls[MAXCREG];
c3_p cp, findcoerc();
1988-03-31 11:17:47 +00:00
#ifdef MAXSPLIT
2017-01-16 20:16:33 +00:00
int sret;
#endif
int stackpad = 0;
struct perm *tup, *ntup, *besttup, *tuples();
DEBUG("MATCH");
tokpatlen = (codep[-1] >> 5) & 07;
for (i = 0; i < tokpatlen; i++)
getint(tokexp[i], codep);
tp = &fakestack[stackheight - 1];
i = 0;
while (i < tokpatlen && tp >= fakestack)
{
size = tsize(tp);
while (i < tokpatlen && (lsize = ssize(tokexp[i])) <= size)
{
size -= lsize;
i++;
}
if (i < tokpatlen && size != 0)
{
totalcost += stackupto(tp, ply, toplevel);
CHKCOST();
break;
}
tp--;
}
tp = &fakestack[stackheight - 1];
i = 0;
while (i < tokpatlen && tp >= fakestack)
{
size = tsize(tp);
lsize = ssize(tokexp[i]);
if (size != lsize)
{ /* find coercion */
1985-01-08 15:34:54 +00:00
#ifdef MAXSPLIT
2017-01-16 20:16:33 +00:00
sret = split(tp, &tokexp[i], ply, toplevel);
if (sret == 0)
{
#endif /* MAXSPLIT */
2017-01-16 20:16:33 +00:00
totalcost += stackupto(tp, ply, toplevel);
CHKCOST();
break;
1985-01-08 15:34:54 +00:00
#ifdef MAXSPLIT
2017-01-16 20:16:33 +00:00
}
i += sret;
#endif /* MAXSPLIT */
2017-01-16 20:16:33 +00:00
}
else
i += 1;
tp--;
}
nextmatch:
tp = &fakestack[stackheight - 1];
i = 0;
nregneeded = 0;
while (i < tokpatlen && tp >= fakestack)
{
if (!match(tp, &machsets[tokexp[i]], 0))
{
cp = findcoerc(tp, &machsets[tokexp[i]]);
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 1)
fprintf(stderr, "findcoerc returns 0x%x at position %d\n", (unsigned)cp, i);
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
if (cp == 0)
{
for (j = 0; j < nregneeded; j++)
regtp[j] -= (tp - fakestack + 1);
totalcost += stackupto(tp, ply, toplevel);
CHKCOST();
break;
}
else
{
if (cp->c3_prop < 0)
{
totalcost += docoerc(tp, cp, ply, toplevel, 0);
CHKCOST();
}
else
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 1)
fprintf(stderr, "Register of type %d needed, remembering...\n", cp->c3_prop);
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
assert(nregneeded < MAXCREG);
regtp[nregneeded] = tp;
regcp[nregneeded] = cp;
regls[nregneeded] = curreglist;
nregneeded++;
}
}
}
i++;
tp--;
1985-01-08 15:34:54 +00:00
}
2017-01-16 20:16:33 +00:00
if (tokpatlen > stackheight)
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 1)
fprintf(stderr, "Pattern too long, %d with only %d items on stack\n",
tokpatlen, stackheight);
#endif
stackpad = tokpatlen - stackheight;
for (j = stackheight - 1; j >= 0; j--)
fakestack[j + stackpad] = fakestack[j];
for (j = 0; j < stackpad; j++)
fakestack[j].t_token = 0;
stackheight += stackpad;
for (j = 0; j < nregneeded; j++)
regtp[j] += stackpad;
for (tp = &fakestack[stackpad - 1]; i < tokpatlen && tp >= fakestack; i++, tp--)
{
cp = findcoerc((token_p)0, &machsets[tokexp[i]]);
if (cp == 0)
{
for (j = 0; j < nregneeded; j++)
myfree((string)(regls[j]));
1985-01-08 15:34:54 +00:00
#ifndef ALLOW_NEXTEM
2017-01-16 20:16:33 +00:00
assert(!toplevel);
BROKE();
1985-01-08 15:34:54 +00:00
#else
2017-01-16 20:16:33 +00:00
assert(!(toplevel && paniced));
if (paniced)
goto normalfailed;
totalcost = INFINITY;
for (i = 0; i < stackheight - stackpad; i++)
fakestack[i] = fakestack[i + stackpad];
stackheight -= stackpad;
goto doreturn;
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
}
if (cp->c3_prop < 0)
{
totalcost += docoerc(tp, cp, ply, toplevel, 0);
CHKCOST();
}
else
{
assert(nregneeded < MAXCREG);
regtp[nregneeded] = tp;
regcp[nregneeded] = cp;
regls[nregneeded] = curreglist;
nregneeded++;
}
}
}
else
stackpad = 0;
assert(i == tokpatlen);
if (nregneeded == 0)
break;
SAVEST;
mincost = costlimit - totalcost + 1;
tup = tuples(regls, nregneeded);
besttup = 0;
for (; tup != 0; tup = ntup)
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 1)
{
fprintf(stderr, "Next tuple %d,%d,%d,%d\n",
tup->p_rar[0],
tup->p_rar[1],
tup->p_rar[2],
tup->p_rar[3]);
fprintf(stderr, "totalcost = %u, costlimit = %u, mincost = %u\n",
totalcost, costlimit, mincost);
}
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
ntup = tup->p_next;
for (i = 0, t = 0; i < nregneeded && t < mincost; i++)
t += docoerc(regtp[i], regcp[i], ply, FALSE, tup->p_rar[i]);
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 1)
fprintf(stderr, "cost after coercions: %u\n", t);
#endif
2017-01-16 20:16:33 +00:00
if (t < mincost && tokpatlen <= stackheight)
{
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 2)
fprintf(stderr, "Continuing match after coercions\n");
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
t += codegen(codep, ply, FALSE, mincost < MAXINT ? mincost - t : MAXINT, 0);
}
if (t < mincost && tokpatlen <= stackheight)
{
mincost = t;
besttup = tup;
}
else
myfree((string)tup);
RESTST;
}
FREEST;
for (i = 0; i < nregneeded; i++)
myfree((string)(regls[i]));
if (totalcost + mincost > costlimit)
{
if (besttup)
myfree((string)besttup);
normalfailed:
if (stackpad != tokpatlen)
{
if (stackpad)
{
for (i = 0; i < stackheight - stackpad; i++)
fakestack[i] = fakestack[i + stackpad];
stackheight -= stackpad;
if (costlimit < MAXINT)
BROKE();
totalcost += stackupto(&fakestack[stackheight - 1], ply, toplevel);
}
else
totalcost += stackupto(fakestack, ply, toplevel);
CHKCOST();
goto nextmatch;
}
totalcost += mincost;
for (i = 0; i < stackheight - stackpad; i++)
fakestack[i] = fakestack[i + stackpad];
stackheight -= stackpad;
BROKE();
2017-01-16 20:16:33 +00:00
}
for (i = 0; i < nregneeded; i++)
totalcost += docoerc(regtp[i], regcp[i], ply, toplevel, besttup->p_rar[i]);
assert(totalcost <= costlimit);
myfree((string)besttup);
break;
}
case DO_TOSTACK:
case DO_REMOVE:
{
int texpno, nodeno;
token_p tp;
struct reginfo* rp;
int doremove = (codep[-1] & 037) == DO_REMOVE;
extern int allsetno;
DEBUG(doremove ? "REMOVE" : "TOSTACK");
if (codep[-1] & 32)
{
getint(texpno, codep);
getint(nodeno, codep);
}
else
{
getint(texpno, codep);
nodeno = 0;
}
if (texpno == allsetno)
{
totalcost += stackupto(&fakestack[stackheight - tokpatlen - 1], ply, toplevel);
CHKCOST();
if (doremove)
for (rp = machregs; rp < machregs + NREGS; rp++)
rp->r_contents.t_token = 0;
break;
}
for (tp = &fakestack[stackheight - tokpatlen - 1]; tp >= &fakestack[0]; tp--)
if (match(tp, &machsets[texpno], nodeno))
{
/* investigate possible coercion to register */
totalcost += stackupto(tp, ply, toplevel);
CHKCOST();
break;
}
if (doremove)
for (rp = machregs; rp < machregs + NREGS; rp++)
{
if (rp->r_contents.t_token != 0 && match(&rp->r_contents, &machsets[texpno], nodeno))
{
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 1)
fprintf(stderr, "killing reg %ld (%s)\n", (long)(rp - machregs), rp->r_repr ? codestrings[rp->r_repr] : "cc");
#endif
2017-01-16 20:16:33 +00:00
rp->r_contents.t_token = 0;
}
}
break;
}
case DO_KILLREG:
case DO_RREMOVE:
{ /* register remove */
register i;
int nodeno;
token_p tp;
tkdef_p tdp;
result_t result;
int dokill = (codep[-1] & 037) == DO_KILLREG;
DEBUG(dokill ? "KILLREG" : "RREMOVE");
getint(nodeno, codep);
compute(&enodes[nodeno], &result);
if (result.e_typ != EV_REG)
break;
if (in_stack(result.e_v.e_reg))
BROKE(); /* Check aside-stack */
if (dokill)
{
/* kill register, and kill condition codes if they are set to
this register
*/
2017-01-16 20:16:33 +00:00
machregs[result.e_v.e_reg].r_contents.t_token = 0;
if (machregs[0].r_contents.t_token == -1 && machregs[0].r_contents.t_att[0].ar == result.e_v.e_reg)
{
machregs[0].r_contents.t_token = 0;
}
}
for (tp = &fakestack[stackheight - tokpatlen - 1]; tp >= &fakestack[0]; tp--)
if (tp->t_token == -1)
{
if (tp->t_att[0].ar == result.e_v.e_reg)
goto gotone;
}
else
{
tdp = &tokens[tp->t_token];
for (i = 0; i < TOKENSIZE; i++)
if (tdp->t_type[i] == EV_REG && tp->t_att[i].ar == result.e_v.e_reg)
goto gotone;
}
break;
gotone:
/* investigate possible coercion to register */
totalcost += stackupto(tp, ply, toplevel);
CHKCOST();
break;
}
case DO_DEALLOCATE:
{
register i;
tkdef_p tdp;
int tinstno;
token_t token;
DEBUG("DEALLOCATE");
getint(tinstno, codep);
instance(tinstno, &token);
if (token.t_token == -1)
chrefcount(token.t_att[0].ar, -1, TRUE);
else
{
tdp = &tokens[token.t_token];
for (i = 0; i < TOKENSIZE; i++)
if (tdp->t_type[i] == EV_REG)
chrefcount(token.t_att[i].ar, -1, TRUE);
}
break;
}
case DO_REALLOCATE:
{
struct reginfo* rp;
DEBUG("REALLOCATE");
for (rp = machregs + 1; rp < machregs + NREGS; rp++)
if (rp->r_tcount)
{
rp->r_refcount -= rp->r_tcount;
rp->r_tcount = 0;
}
break;
}
case DO_ALLOCATE:
{
register i;
int j;
int tinstno;
int npos, npos2, pos[NREGS], pos2[NREGS];
unsigned mincost, t;
struct reginfo *rp, **rpp;
token_t token, token2;
int propno;
int exactmatch;
int decision;
if (codep[-1] & 32)
{
getint(propno, codep);
getint(tinstno, codep);
DEBUG("ALLOCATE,INIT");
}
else
{
getint(propno, codep);
tinstno = 0;
DEBUG("ALLOCATE,EMPTY");
}
instance(tinstno, &token);
if (!forced)
{
do
{
npos = exactmatch = 0;
for (rpp = reglist[propno]; rp = *rpp; rpp++)
if (getrefcount((int)(rp - machregs), FALSE) == 0)
{
pos[npos++] = rp - machregs;
if (eqtoken(&rp->r_contents, &token))
pos2[exactmatch++] = rp - machregs;
}
/*
1985-01-08 15:34:54 +00:00
* Now pos[] contains all free registers with desired
* property. If none then some stacking has to take place.
*/
2017-01-16 20:16:33 +00:00
if (npos == 0)
{
if (stackheight <= tokpatlen)
{
if (!toplevel)
{
BROKE();
}
else
{
if (paniced)
fatal("No regs available");
totalcost += stackupto(&fakestack[0], ply, toplevel);
goto panic;
}
}
totalcost += stackupto(&fakestack[0], ply, toplevel);
CHKCOST();
}
} while (npos == 0);
2017-01-16 20:16:33 +00:00
if (!exactmatch && tinstno != 0)
{
/*
* No exact match, but we were looking for a particular
* token. Now try to find registers of which no
* known contents is available (the others might still
* be useful).
*/
2017-01-16 20:16:33 +00:00
for (i = 0; i < npos; i++)
if (machregs[pos[i]].r_contents.t_token == 0)
{
pos2[exactmatch++] = pos[i];
}
}
2017-01-16 20:16:33 +00:00
if (!exactmatch)
{
npos2 = npos;
for (i = 0; i < npos; i++)
pos2[i] = pos[i];
}
else
{
/*
1985-01-08 15:34:54 +00:00
* Now we are reducing the number of possible registers.
* We take only one equally likely register out of every
* equivalence class as given by set of properties.
*/
2017-01-16 20:16:33 +00:00
npos2 = 0;
for (i = 0; i < exactmatch; i++)
{
pos2[npos2++] = pos2[i];
for (j = 0; j < npos2 - 1; j++)
if (eqregclass(pos2[j], pos2[i]))
{
npos2--;
break;
}
}
}
2017-01-16 20:16:33 +00:00
/*
1985-01-08 15:34:54 +00:00
* Now pos2[] contains all possibilities to try, if more than
* one, lookahead is necessary.
*/
2017-01-16 20:16:33 +00:00
token2.t_token = -1;
for (i = 1; i < TOKENSIZE; i++)
token2.t_att[i].aw = 0;
decision = pos2[0];
if (npos2 != 1)
{
SAVEST;
mincost = costlimit - totalcost + 1;
for (j = 0; j < npos2; j++)
{
chrefcount(pos2[j], 1, FALSE);
token2.t_att[0].ar = pos2[j];
allreg[nallreg++] = pos2[j];
if (token.t_token != 0)
t = move(&token, &token2, ply, FALSE, mincost);
else
{
t = 0;
erasereg(pos2[j]);
}
if (t < mincost)
t += codegen(codep, ply, FALSE, mincost < MAXINT ? mincost - t : MAXINT, 0);
if (t < mincost)
{
mincost = t;
decision = pos2[j];
}
RESTST;
}
FREEST;
if (totalcost + mincost > costlimit)
BROKE();
}
}
else
{
decision = forced;
if (getrefcount(decision, FALSE) != 0)
BROKE();
token2.t_token = -1;
}
chrefcount(decision, 1, FALSE);
token2.t_att[0].ar = decision;
1985-01-08 15:34:54 +00:00
if (token.t_token != 0)
2017-01-16 20:16:33 +00:00
{
totalcost += move(&token, &token2, ply, toplevel, MAXINT);
CHKCOST();
}
else
erasereg(decision);
allreg[nallreg++] = decision;
break;
1985-01-08 15:34:54 +00:00
}
2017-01-16 20:16:33 +00:00
case DO_INSTR:
{
register i;
int n;
int tinstno;
token_t token;
int stringno;
DEBUG("INSTR");
n = ((codep[-1] >> 5) & 07);
getint(stringno, codep);
if (toplevel)
{
swtxt();
if (stringno > 10000)
{
assert(stringno < 10001 + MAXPROCARG);
2017-01-16 20:16:33 +00:00
genstr(procarg[stringno - 10001]);
}
else
genstr(stringno);
}
for (i = 0; i < n; i++)
{
getint(tinstno, codep);
instance(tinstno, &token);
if (toplevel)
prtoken(&token, i == 0 ? ' ' : ',');
if (token.t_token > 0)
totalcost += tokens[token.t_token].t_cost.ct_space;
}
if (toplevel)
gennl();
CHKCOST();
break;
}
case DO_MOVE:
{
int tinstno;
token_t token, token2;
DEBUG("MOVE");
getint(tinstno, codep);
instance(tinstno, &token);
getint(tinstno, codep);
instance(tinstno, &token2);
totalcost += move(&token, &token2, ply, toplevel, costlimit - totalcost + 1);
CHKCOST();
break;
}
case DO_TEST:
{
int tinstno;
token_t token;
DEBUG("TEST");
getint(tinstno, codep);
instance(tinstno, &token);
totalcost += test(&token, ply, toplevel, costlimit - totalcost + 1);
CHKCOST();
break;
}
case DO_SETCC:
{
int tinstno;
token_t token;
DEBUG("SETCC");
getint(tinstno, codep);
instance(tinstno, &token);
setcc(&token);
break;
}
case DO_ERASE:
{
int nodeno;
result_t result;
DEBUG("ERASE");
getint(nodeno, codep);
compute(&enodes[nodeno], &result);
assert(result.e_typ != EV_INT && result.e_typ != EV_ADDR);
if (result.e_typ == EV_REG)
{
int regno = result.e_v.e_reg;
erasereg(regno);
}
break;
}
case DO_TOKREPLACE:
{
register i;
int tinstno;
int repllen;
token_t reptoken[MAXREPLLEN];
DEBUG("TOKREPLACE");
assert(stackheight >= tokpatlen);
repllen = (codep[-1] >> 5) & 07;
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 2)
fprintf(stderr, "Stackheight=%d, tokpatlen=%d, repllen=%d %s\n",
stackheight, tokpatlen, repllen, inscoerc ? "(inscoerc)" : "");
#endif
for (i = 0; i < repllen; i++)
{
getint(tinstno, codep);
instance(tinstno, &reptoken[i]);
tref(&reptoken[i], 1);
}
for (i = 0; i < tokpatlen; i++)
{
if (!inscoerc)
tref(&fakestack[stackheight - 1], -1);
stackheight--;
}
for (i = 0; i < repllen; i++)
{
assert(stackheight < MAXFSTACK);
fakestack[stackheight++] = reptoken[i];
}
for (i = 0; i < nallreg; i++)
chrefcount(allreg[i], -1, FALSE);
break;
}
case DO_EMREPLACE:
{
register i;
int j;
int nodeno;
result_t result[MAXEMREPLLEN];
int emrepllen, eminstr;
DEBUG("EMREPLACE");
emrepllen = (codep[-1] >> 5) & 07;
j = emp - emlines;
if (emrepllen > j)
{
assert(nemlines + emrepllen - j < MAXEMLINES);
for (i = nemlines; i >= 0; i--)
emlines[i + emrepllen - j] = emlines[i];
nemlines += emrepllen - j;
emp += emrepllen - j;
}
emp -= emrepllen;
for (i = 0; i < emrepllen; i++)
{
getint(eminstr, codep);
getint(nodeno, codep);
emp[i].em_instr = eminstr;
compute(&enodes[nodeno], &result[i]);
}
for (i = 0; i < emrepllen; i++)
{
switch (result[i].e_typ)
{
default:
assert(FALSE);
case 0:
emp[i].em_optyp = OPNO;
emp[i].em_soper = 0;
break;
case EV_INT:
emp[i].em_optyp = OPINT;
emp[i].em_soper = tostring(result[i].e_v.e_con);
emp[i].em_u.em_ioper = result[i].e_v.e_con;
break;
case EV_ADDR:
emp[i].em_optyp = OPSYMBOL;
emp[i].em_soper = ad2str(result[i].e_v.e_addr);
break;
}
}
if (!toplevel)
{
ply += emrepllen;
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
if (Debug > 4)
fprintf(stderr, "ply becomes %d\n", ply);
#endif
2017-01-16 20:16:33 +00:00
}
break;
}
case DO_COST:
{
cost_t cost;
DEBUG("COST");
getint(cost.ct_space, codep);
getint(cost.ct_time, codep);
totalcost += costcalc(cost);
CHKCOST();
break;
}
1985-01-08 15:34:54 +00:00
#ifdef REGVARS
2017-01-16 20:16:33 +00:00
case DO_PRETURN:
{
if (toplevel)
{
swtxt();
regreturn(); /* in mach.c */
}
break;
}
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
case DO_RETURN:
DEBUG("RETURN");
assert(origcp != startupcode);
1985-01-08 15:34:54 +00:00
#ifndef NDEBUG
2017-01-16 20:16:33 +00:00
level--;
1985-01-08 15:34:54 +00:00
#endif
2017-01-16 20:16:33 +00:00
return (totalcost);
#ifdef USE_TES
2017-01-16 20:16:33 +00:00
case DO_LABDEF:
{
int index;
DEBUG("LABDEF");
getint(index, codep);
if (toplevel)
{
swtxt();
printlabel(index);
}
1990-07-18 14:53:19 +00:00
2017-01-16 20:16:33 +00:00
break;
}
1990-07-18 14:53:19 +00:00
#endif
2017-01-16 20:16:33 +00:00
}
1985-01-08 15:34:54 +00:00
}
2017-01-16 20:16:33 +00:00
doreturn:
#ifdef ALLOW_NEXTEM
2017-01-16 20:16:33 +00:00
if (toplevel && totalcost == INFINITY && !paniced)
{
DEBUG("PANIC!");
2017-01-16 20:16:33 +00:00
totalcost += stackupto(&fakestack[stackheight - 1], ply, toplevel);
#ifndef NDEBUG
if (Debug > 2)
fprintf(stderr, "Stackheight = %d\n", stackheight);
#endif
paniced = 1;
tokpatlen = 0;
goto panic;
}
#endif
#ifndef NDEBUG
level--;
#endif
2017-01-16 20:16:33 +00:00
return (totalcost);
1985-01-08 15:34:54 +00:00
}
2017-01-16 20:16:33 +00:00
readcodebytes()
{
1985-01-08 15:34:54 +00:00
#ifndef CODEINC
register fd;
extern int ncodebytes;
2017-01-16 20:16:33 +00:00
if ((fd = open("code", 0)) < 0)
{
1985-01-08 15:34:54 +00:00
error("Can't open code");
}
2017-01-16 20:16:33 +00:00
if (read(fd, coderules, ncodebytes) != ncodebytes)
{
1985-01-08 15:34:54 +00:00
error("Short read from code");
}
close(fd);
#endif
}
#ifdef TABLEDEBUG
2017-01-16 20:16:33 +00:00
initlset(f) char* f;
{
extern char* myalloc();
1985-01-08 15:34:54 +00:00
set_flag = f;
2017-01-16 20:16:33 +00:00
if ((set_fd = open(f + 1, 2)) < 0)
error("Can't open %s rw", f + 1);
read(set_fd, &set_size, sizeof(int));
set_val = (short*)myalloc(set_size);
read(set_fd, set_val, set_size);
1985-01-08 15:34:54 +00:00
}
2017-01-16 20:16:33 +00:00
termlset()
{
1985-01-08 15:34:54 +00:00
2017-01-16 20:16:33 +00:00
if (set_fd)
{
lseek(set_fd, (long)sizeof(int), 0);
write(set_fd, set_val, set_size);
1985-01-08 15:34:54 +00:00
close(set_fd);
2017-01-16 20:16:33 +00:00
if (set_flag[0] == 'u')
{
1985-01-08 15:34:54 +00:00
register i;
2017-01-16 20:16:33 +00:00
fprintf(stderr, "Unused code rules:\n\n");
for (i = 0; i < 8 * set_size; i++)
if (set_val[i >> 4] & (1 << (i & 017)))
fprintf(stderr, "\"%s\", line %d\n", tablename, i);
1985-01-08 15:34:54 +00:00
}
}
}
#endif