|
|
Power 6/32 Unix version 1.2b
/*
* C object code improver-- second part
*/
#include "c2.h"
#include <stdio.h>
#include <ctype.h>
#define NUSE 6
int ioflag;
int bitsize[4] = {0,8,16,32}; /* index by type codes */
struct node *uses[NUSE]; /* for backwards flow analysis */
char *lastrand; /* last operand of instruction */
struct node *bflow();
redun3(p) register struct node *p; {
/* check for 3 addr instr which should be 2 addr */
if (OP3==((p->subop>>4)&0xF)) {
if (equstr(regs[RT1],regs[RT3])
&& (p->op==ADD || p->op==MUL || p->op==AND || p->op==OR || p->op==XOR)) {
register char *t=regs[RT1]; regs[RT1]=regs[RT2]; regs[RT2]=t;
}
if (equstr(regs[RT2],regs[RT3])) {
p->subop=(p->subop&0xF)|(OP2<<4); p->pop=0;
lastrand=regs[RT2]; *regs[RT3]=0; return(1);
}
} return(0);
}
bmove() {
register struct node *p, *lastp; register char *cp1,*cp2; register int r;
refcount();
for (p=lastp= &first; 0!=(p=p->forw); lastp=p);
clearreg(); clearuse();
for (p=lastp; p!= &first; p=p->back) {
if (debug) {
printf("Uses:\n");
for (r=NUSE;--r>=0;) if (uses[r])
printf("%d: %s\n",r,uses[r]->code? uses[r]->code:"");
printf("-\n");
}
r=(p->subop>>4)&0xF;
splitrand(p);
if (OP3==r && 0!=redun3(p)) {newcode(p); redunm++;}
/* ops that do nothing */
if(p->op==MOV && equstr(regs[RT1], regs[RT2]))
if(p->forw->op!=CBR) {
delnode(p); redunm++; continue;
} else {
p->op=TST; p->pop=0;
while(*p->code++ != ',');
redunm++;
}
else if((cp1=p->code, *cp1++)=='$' &&
(*cp1=='0' || *cp1=='1' || *cp1++=='-' && *cp1=='1') && cp1[1]==',') {
switch((p->code[1]<<8)|p->op) {
case (('0'<<8)|ADD):
case (('0'<<8)|SUB):
case (('-'<<8)|AND):
case (('0'<<8)|OR):
case (('0'<<8)|XOR):
case (('1'<<8)|MUL):
case (('1'<<8)|DIV):
case (('0'<<8)|SHAL):
case (('0'<<8)|SHAR):
case (('0'<<8)|SHL):
case (('0'<<8)|SHR):
if(r == OP2) {
if(p->forw->op!=CBR) {
delnode(p); redunm++; continue;
} else {
p->op=TST; p->subop&=0xF; p->pop=0;
while(*p->code++ != ',');
redunm++;
}
} else { /* OP3 or shift */
p->op=MOV; p->subop&=0xF; p->pop=0;
while(*p->code++ != ',');
p = p->forw; redunm++; continue;
}
break;
case (('0'<<8)|MUL):
case (('0'<<8)|AND):
p->op=CLR; p->subop&=0xF; p->pop=0;
while(*p->code++ != ',');
if(r == OP3)
while(*p->code++ != ',');
redunm++;
}
}
switch (p->op) {
case LABEL: case DLABEL:
for (r=NUSE; --r>=0;)
if (uses[r]) p->ref=(struct node *) (((int)p->ref)|(1<<r));
break;
case CALLS:
case CALLF:
clearuse(); goto std;
case 0:
clearuse(); break;
case CVT:
{ long n;
if ((p->subop&0xF)!=LONG) goto std; cp1=p->code;
if (*cp1++!='$') goto std; splitrand(p);
n = getnum(®s[RT1][1]);
if(r==BYTE && (n<-128 || n>127)) goto std;
if(r==WORD && (n<-32768 || n>32767)) goto std;
p->op = MOV; p->subop = r; p->pop = 0; nchange++;
} goto std;
case SUB:
if ((p->subop&0xF)!=LONG) goto std; cp1=p->code;
if (*cp1++!='$') goto std; splitrand(p);
#ifdef MOVAFASTER
if (equstr(regs[RT2],"fp") && !indexa(regs[RT1])) {/* address comp. */
char buf[C2_ASIZE]; cp2=buf; *cp2++='-';
cp1=regs[RT1]+1; while (*cp2++= *cp1++); --cp2;
cp1="(fp),"; while (*cp2++= *cp1++); --cp2;
cp1=regs[RT3]; while (*cp2++= *cp1++);
p->code=copy(buf); p->op = MOVA; p->subop = BYTE; p->pop=0;
} else
#endif MOVAFASTER
if (*cp1++=='-' && 0<=(r=getnum(cp1))) {
p->op=ADD; p->pop=0; *--cp1='$'; p->code=cp1;
} goto std;
case ADD:
if ((p->subop&0xF)!=LONG) goto std; cp1=p->code;
if (*cp1++!='$') goto std; splitrand(p);
if (isstatic(cp1) && (r=isreg(regs[RT2]))>=0 && r<NUSE && uses[r]==p->forw)
{
/* address comp:
** addl2 $_foo,r0 \ movab _foo[r0],bar
** movl r0,bar /
*/
register struct node *pnext = p->forw;
char buf[C2_ASIZE];
if (pnext->op == MOV && pnext->subop == LONG)
{
cp1 = ®s[RT1][1]; cp2 = &buf[0];
while (*cp2++ = *cp1++) ; cp2--;
splitrand(pnext);
if (r == isreg(regs[RT1]))
{
delnode(p); p = pnext;
p->op = MOVA; p->subop = BYTE;
p->pop = 0;
cp1 = regs[RT1]; *cp2++ = '[';
while (*cp2++ = *cp1++) ; cp2--;
*cp2++ = ']'; *cp2++ = ',';
cp1 = regs[RT2];
while (*cp2++ = *cp1++) ;
p->code = copy(buf);
}
}
}
else
#ifdef MOVAFASTER
if (equstr(regs[RT2],"fp") && !indexa(regs[RT1])) {/* address comp. */
cp2=cp1-1; cp1=regs[RT1]+1; while (*cp2++= *cp1++); --cp2;
cp1="(fp)"; while (*cp2++= *cp1++); *--cp2=',';
p->op = MOVA; p->subop = BYTE; p->pop=0;
} else
#endif MOVAFASTER
if (*cp1++=='-' && 0<=(r=getnum(cp1))) {
p->op=SUB; p->pop=0; *--cp1='$'; p->code=cp1;
}
/* fall thru ... */
case CASE:
default: std:
p=bflow(p); break;
case MUL:
/*
** Change multiplication
** by constant powers of 2 to shifts.
*/
splitrand(p);
if (regs[RT1][0] != '$' || regs[RT1][1] == '-') goto std;
if ((r = ispow2(getnum(®s[RT1][1]))) <= 0) goto std;
/* mull2 $2,x */
if(r == 1 && p->subop == U(LONG, OP2)) {
strcpy(regs[RT1], regs[RT2]);
p->op = ADD; p->pop = 0; newcode(p); nchange++;
goto std;
}
if (p->subop == U(LONG,OP2))
strcpy(regs[RT3], regs[RT2]);
sprintf(regs[RT1], "$%d", r);
p->op = SHL; p->subop = LONG;
p->pop = 0; newcode(p); nchange++;
goto std;
case SHAL:
case SHL:
{
/* bit tests:
** shll A,$1,rC \
** bitl B,rC > jbc A,B,D
** jeql D /
**
** address comp:
** shll $1,bar,r0 \ movl bar,r0
** movab _foo[r0] / movaw _foo[r0]
**
** shll $2,r0,r0 \ moval _foo[r0]
** movab _foo[r0] /
*/
register struct node *pf;
register struct node *pn;
register int shfrom, shto;
long shcnt;
char *regfrom;
splitrand(p);
if (regs[RT1][0] != '$') {
if (isreg(regs[RT1]) < 0) goto std; /* alignment */
if (regs[RT2][0] != '$') goto std;
if (getnum(®s[RT2][1]) != 1) goto std;
r = isreg(regs[RT3]);
if (r < 0 || r >= NUSE) goto std;
if ((pf = p->forw)->op != BIT && pf->op!=AND) goto std;
if (uses[r] && uses[r] != pf) goto std;
splitrand(pf);
if (r == isreg(regs[RT1])) cp2 = regs[RT2];
else if (r == isreg(regs[RT2])) cp2 = regs[RT1];
else goto std;
if(*cp2 == '$') goto std;
if ((pn = pf->forw)->op != CBR) goto std;
if (pn->subop != JEQ && pn->subop != JNE) goto std;
delnode(p); delnode(pf);
pn->subop = (pn->subop == JEQ) ? JBC : JBS;
for(cp1=p->code; *cp1++!=',';);
while (*cp1++= *cp2++);
pn->code = p->code; pn->pop = NULL;
uses[r] = NULL;
nbj++; nchange++;
p = pn; goto std;
}
if ((shcnt = getnum(®s[RT1][1])) < 1 || shcnt > 2) goto std;
if ((shfrom = isreg(regs[RT2])) >= 0)
regfrom = copy(regs[RT2]);
if ((shto = isreg(regs[RT3])) >= 0 && shto<NUSE)
{
int regnum;
if (uses[shto] != (pf = p->forw)) goto ashadd;
if (pf->op != MOVA && pf->op != PUSHA) goto ashadd;
if (pf->subop != BYTE) goto ashadd;
splitrand(pf);
if (!indexa(regs[RT1])) goto std;
cp2 = regs[RT1];
if(!isstatic(cp2)) goto std;
while (*cp2++ != '[') ;
if (*cp2++ != 'r' || !isdigit(*cp2)) goto std;
regnum = *cp2++ - '0';
if (isdigit(*cp2))
{
if (cp2[1] != ']') goto std;
regnum *= 10; regnum += *cp2 - '0';
}
if (regnum != shto) goto std;
if (shfrom >= 0) /* shll $N,r*,r0 */
{
delnode(p);
p = pf;
if (shfrom != shto)
{
uses[shto] = NULL; splitrand(pf);
cp2=regs[RT1]; while (*cp2++!='[');
cp1=regfrom; while (*cp2++= *cp1++);
cp2[-1] = ']'; *cp2 = 0;
newcode(pf);
}
}
else
{
p->op = MOV; splitrand(p);
strcpy(regs[RT1], regs[RT2]);
strcpy(regs[RT2], regs[RT3]);
regs[RT3][0] = '\0';
p->pop = 0; newcode(p);
}
switch (shcnt)
{
case 1: pf->subop = WORD; break;
case 2: pf->subop = LONG; break;
}
redunm++; nsaddr++; nchange++;
}
goto std;
ashadd:
/* at this point, RT2 and RT3 are guaranteed to be simple regs*/
if (shcnt == 1) {
/*
** quickie:
** shll $1,A,A > addl2 A,A
** shll $1,A,B > addl3 A,A,B
*/
p->op = ADD;
strcpy(regs[RT1], regs[RT2]);
if(equstr(regs[RT2], regs[RT3])) {
p->subop = U(LONG,OP2);
regs[RT3][0] = '\0';
} else
p->subop = U(LONG,OP3);
p->pop = 0;
newcode(p); nchange++;
}
goto std;
}
case SHAR:
case SHR:
{
/* bit tests:
** shrl A,B,rC \
** bitl $1,rC > jbc A,B,D
** jeql D /
*/
register struct node *pf; /* forward node */
register struct node *pn; /* next node (after pf) */
register int extreg; /* reg extracted to */
splitrand(p);
if (isreg(regs[RT1]) < 0) goto std; /* alignment */
extreg = isreg(regs[RT3]);
if (extreg < 0 || extreg >= NUSE) goto std;
if ((pf = p->forw)->op != BIT) goto std;
if (uses[extreg] && uses[extreg] != pf) goto std;
splitrand(pf);
if (regs[RT1][0] != '$') goto std;
if (getnum(®s[RT1][1]) != 1) goto std;
if (extreg != isreg(regs[RT2])) goto std;
if ((pn = pf->forw)->op != CBR) goto std;
if (pn->subop != JEQ && pn->subop != JNE) goto std;
delnode(p); delnode(pf);
pn->subop = (pn->subop == JEQ) ? JBC : JBS;
for(cp1=p->code; *cp1++!=',';);
while (*cp1!=',') cp1++; *cp1='\0';
pn->code = p->code; pn->pop = NULL;
uses[extreg] = NULL; nbj++;
nchange++;
p = pn; goto std;
}
case AND:
{
/* unsigned conversion:
** cvtbl A,B; andl2 $255,B > movzbl A,B
**
** also byte- and word-size fields:
** shrl $(3-n)*8,A,B; andl2 $255,B > movzbl n+A,B
** shrl $(1-n)*16,A,B; andl2 $65535,B > movzwl n+A,B
*/
char src[C2_ASIZE];
register f; /* field length */
register struct node *pb = p->back; /* backward node */
if (p->subop != U(LONG,OP2))
goto std;
splitrand(p); cp1=regs[RT1];
if (*cp1++!='$' || (f=getnum(cp1))!=0xff && f!=0xffff)
goto std;
f = f==0xff ? 8 : 16;
if (pb->op!=CVT && pb->op!=MOVZ && pb->op!=SHAR && pb->op!=SHR)
goto std;
/* save source of ANDL in 'src' */
strcpy(src, regs[RT2]);
splitrand(pb);
if (!equstr(src,lastrand))
goto std;
if (pb->op==CVT || pb->op==MOVZ) {
if (!(bitsize[pb->subop&0xF]==f
&& bitsize[pb->subop>>4]>=f)) /* good CVT */
goto std;
strcpy(src, regs[RT1]);
} else {
register int boff; /* bit offset */
if (regs[RT1][0] != '$') goto std;
if ((boff = getnum(®s[RT1][1])) < 0) goto std;
if (isreg(regs[RT2])>=0 || !natural(regs[RT2])) goto std;
if ((boff & (f-1)) != 0) goto std;
boff = (32-boff-f) / 8;
if (boff == 0)
strcpy(src, regs[RT2]);
else
sprintf(src, "%d%s%s", boff, regs[RT2][0]=='(' ? "":"+",
regs[RT2]);
}
delnode(pb);
p->op = MOVZ;
p->subop = U((f==8 ? BYTE : WORD), LONG);
sprintf(line,"%s,%s",src,lastrand);
p->pop=0;
p->code = copy(line);
nchange++;
goto std;
}
case CMP:
{
/* comparison to -63 to -1:
** cmpl r0,$-1 > incl r0
** jeql ...
**
** cmpl r0,$-63 > addl2 $63,r0
** jeql ...
*/
register int num;
register int reg;
register struct node *regp = p->back;
if (p->forw->op != CBR) goto std;
if (p->forw->subop != JEQ && p->forw->subop != JNE) goto std;
splitrand(p);
if (strncmp(regs[RT2], "$-", 2) != 0) goto std;
reg = r = isreg(regs[RT1]);
if (r < 0) goto std;
if (r < NUSE && uses[r] != 0) goto std;
if (r >= NUSE && regp->op == MOV && p->subop == regp->subop)
{
if (*regp->code != 'r') goto std;
reg = regp->code[1] - '0';
if (isdigit(regp->code[2]) || reg >= NUSE || uses[reg])
goto std;
}
if (r >= NUSE) goto std;
if (reg != r)
sprintf(regs[RT1], "r%d", reg);
if ((num = getnum(®s[RT2][2])) <= 0 || num > 63) goto std;
if (num == 1)
{
p->op = INC; regs[RT2][0] = '\0';
}
else
{
register char *t;
t=regs[RT1];regs[RT1]=regs[RT2];regs[RT2]=t;
p->op = ADD; p->subop = U(p->subop, OP2);
for (t = ®s[RT1][2]; t[-1] = *t; t++) ;
}
p->pop = 0; newcode(p);
nchange++;
goto std;
}
case JBR: case JMP:
clearuse();
if (p->subop==RET) {
uses[0]=p; regs[0][0]= -1;
uses[1]=p; regs[1][0]= -1;
break;
}
if (p->ref==0) goto std; /* jmp (r0) */
/* fall through */
case CBR:
if (p->ref->ref!=0) for (r=NUSE;--r>=0;)
if ((1<<r) & (int)p->ref->ref) {uses[r]=p; regs[r][0]= -1;}
case EROU: case JSW:
case TEXT: case DATA: case BSS: case ALIGN: case WGEN: case END: ;
}
}
for (p= &first; p!=0; p=p->forw)
if (p->op==LABEL || p->op==DLABEL) p->ref=0; /* erase our tracks */
}
rmove()
{
register struct node *p;
register int r, r1;
clearreg();
for (p=first.forw; p!=0; p = p->forw) {
if (debug) {
printf("Regs:\n");
for (r=0; r<NREG; r++)
if (regs[r][0]) {
r1=regs[r][0];
printf("%d: %d%d %s\n", r, r1&0xF, r1>>4, regs[r]+1);
}
printf("-\n");
}
switch (p->op) {
case CVT:
case MOVZ:
splitrand(p);
repladdr(p);
r = isreg(regs[RT1]);
r1 = isreg(regs[RT2]);
dest(regs[RT2],p->subop, 1);
if (r>=0 && r1>=0) {
p->op = MOV; p->subop = LONG;
p->pop = 0;
nchange++;
goto case_mov;
}
if(p->op == CVT) {
if (r1>=0) savereg(r1, regs[RT1], p->subop);
} else
ccloc[0] = 0;
break;
case MOV:
case_mov:
splitrand(p);
if ((r = findrand(regs[RT1],p->subop)) >= 0) {
if (r == isreg(regs[RT2]))
if(p->forw->op!=CBR) {
delnode(p); redunm++; nchange++; break;
} else {
p->op=TST; p->pop=0;
while(*p->code++ != ',');
redunm++; nchange++;
goto case_tst;
}
}
repladdr(p);
r = isreg(regs[RT1]);
r1 = isreg(regs[RT2]);
dest(regs[RT2],p->subop, 1);
if (r>=0) {
if (r1>=0) {
if (r == r1 && p->forw->op!=CBR) {
delnode(p); redunm++; nchange++; break;
}
if(regs[r][0])
savereg(r1, regs[r]+1, p->subop);
} else savereg(r, regs[RT2], p->subop);
} else if (r1>=0) savereg(r1, regs[RT1], p->subop);
else setcon(regs[RT1], regs[RT2], p->subop);
break;
/* .rx,.wx or .rx,.rx,.wx */
case ADD:
case SUB:
case AND:
case OR:
case XOR:
case MUL:
case DIV:
case SHAL:
case SHAR:
case SHL:
case SHR:
case ADDA:
case SUBA:
/* .rx,.wx */
case MFPR:
case COM:
case NEG:
splitrand(p);
repladdr(p);
dest(lastrand,p->subop, p->op!=ADDA && p->op!=SUBA);
break;
/* .mx or .wx */
case CLR:
case INC:
case DEC:
splitrand(p);
dest(lastrand,p->subop, 1);
if (p->op==CLR)
if ((r = isreg(regs[RT1])) >= 0)
savereg(r, "$0", p->subop);
else
setcon("$0", regs[RT1], p->subop);
break;
/* .rx */
case TST:
case_tst:
case PUSH:
splitrand(p);
lastrand=regs[RT1+1]; /* fool repladdr into doing 1 operand */
repladdr(p);
lastrand=regs[RT1];
if (p->op==TST && equstr(lastrand, ccloc+1)
&& ((0xf&(ccloc[0]>>4))==p->subop || equtype(ccloc[0],p->subop))) {
delnode(p); nrtst++; nchange++; break;
}
if (p->op==PUSH && p->subop!=LONG &&
(isreg(lastrand)>=0 || *lastrand=='$')) {
p->subop = LONG;
p->pop = 0;
nchange++;
}
setcc(lastrand,p->subop);
break;
/* .rx,.rx,.rx */
case PROBE:
case CASE:
/* .rx,.rx */
case MTPR:
case CALLS:
case CALLF:
case CMP:
case BIT:
splitrand(p);
/* fool repladdr into doing right number of operands */
if (p->op==CASE || p->op==PROBE)
lastrand=regs[RT4];
else lastrand=regs[RT3];
if (p->op==CALLF || p->op==CALLS) clearreg();
else repladdr(p);
ccloc[0]=0; break;
/* .rx,.rx,.wx,.wx */
case EDIV:
splitrand(p);
lastrand = regs[RT3];
repladdr(p);
dest(regs[RT3], p->subop, 1);
dest(regs[RT4], p->subop, 0);
break;
case CBR:
if (p->subop>=JBC) {
splitrand(p);
lastrand=regs[RT3]; /* 2 operands can be optimized */
repladdr(p);
ccloc[0] = 0;
} else
reduncbr(p);
break;
case JBR:
redunbr(p);
default:
clearreg();
}
}
}
char *
byondrd(p) register struct node *p; {
/* return pointer to register which is "beyond last read/modify operand" */
if (OP2==(p->subop>>4)) return(regs[RT3]);
switch (p->op) {
case MFPR:
case PUSHA:
case TST: case INC: case DEC: case PUSH: return(regs[RT2]);
case CBR: /* must be JBC/JBS */
case MTPR: case EDIV:
case BIT: case CMP: case CALLS: case CALLF: return(regs[RT3]);
case PROBE:
case MOVBLK:
case CASE: return(regs[RT4]);
}
return(lastrand);
}
struct node *
bflow(p)
register struct node *p;
{
register char *cp1,*cp2,**preg; register int r;
int flow= -1;
struct node *olduse=0;
splitrand(p);
if (p->op!=PUSH && p->op!=EDIV && p->subop && 0<=(r=isreg(lastrand))
&& r<NUSE && uses[r]==p->forw) {
if (equtype(p->subop,regs[r][0])
|| ((p->op==CVT || p->op==MOVZ)
&& 0xf®s[r][0] && compat(0xf&(p->subop>>4),regs[r][0]))
|| p->op==MOVA && compat(LONG, regs[r][0])) {
register int r2;
if (regs[r][1]!=0) {/* send directly to destination */
if (p->op==INC || p->op==DEC) {
if (p->op==DEC) p->op=SUB; else p->op=ADD;
p->subop=(OP2<<4)+(p->subop&0xF); /* use 2 now, convert to 3 later */
p->pop=0;
cp1=lastrand; cp2=regs[RT2]; while (*cp2++= *cp1++); /* copy reg */
cp1=lastrand; *cp1++='$'; *cp1++='1'; *cp1=0;
}
cp1=regs[r]+1; cp2=lastrand;
if (OP2==(p->subop>>4)) {/* use 3 operand form of instruction */
p->pop=0;
p->subop += (OP3-OP2)<<4; lastrand=cp2=regs[RT3];
}
while (*cp2++= *cp1++);
if (p->op==MOVA && p->forw->op==PUSH) {
p->op=PUSHA;
*regs[RT2]=0; p->pop=0;
} else if ((p->op==MOV || p->op==CVT) && p->forw->op==PUSH) {
p->op=PUSH; p->subop &= 0xF;
*regs[RT2]=0; p->pop=0;
}
delnode(p->forw);
if (0<=(r2=isreg(lastrand)) && r2<NUSE) {
uses[r2]=uses[r]; uses[r]=0;
}
redun3(p);
newcode(p); redunm++; flow=r;
} else if (p->op==MOV) {
/* superfluous fetch */
int nmatch;
char src[C2_ASIZE];
movit:
cp2=src; cp1=regs[RT1]; while (*cp2++= *cp1++);
splitrand(p->forw);
if (p->forw->op != INC && p->forw->op != DEC)
lastrand=byondrd(p->forw);
nmatch=0;
for (preg=regs+RT1;*preg!=lastrand;preg++)
if (r==isreg(*preg)) {
cp2= *preg; cp1=src; while (*cp2++= *cp1++); ++nmatch;
}
if (nmatch==1) {
if (OP2==(p->forw->subop>>4) && equstr(src,regs[RT2])) {
p->forw->pop=0;
p->forw->subop += (OP3-OP2)<<4; cp1=regs[RT3];
*cp1++='r'; *cp1++=r+'0'; *cp1=0;
}
delnode(p); p=p->forw;
if (0<=(r2=isreg(src)) && r2<NUSE) {
uses[r2]=uses[r]; uses[r]=0;
}
redun3(p);
newcode(p); redunm++; flow=r;
} else splitrand(p);
}
} else if (p->op==MOV && (p->forw->op==CVT || p->forw->op==MOVZ)
&& p->forw->subop&0xf /* if base or index, then forget it */
&& compat(p->subop,p->forw->subop) && !indexa(cp1=regs[RT1]))
goto movit;
}
/* adjust 'lastrand' past any 'read' or 'modify' operands. */
lastrand=byondrd(p);
/* a 'write' clobbers the register. */
if (0<=(r=isreg(lastrand)) && r<NUSE
|| OP2==(p->subop>>4) && 0<=(r=isreg(regs[RT2])) && r<NUSE && uses[r]==0) {
/* writing a dead register is useless, but watch side effects */
switch (p->op) {
case AOBLEQ: case AOBLSS: case EDIV: break;
default:
if (uses[r]==0) {/* no direct uses, check for use of condition codes */
register struct node *q=p;
while ((q=nonlab(q->forw))->op==JBR && q->subop==0) q=q->ref; /* cc unused, unchanged */
if (q->op!=CBR && q->op!=ADDA && q->op!=SUBA) {/* ... and destroyed */
preg=regs+RT1;
while (cp1= *preg++) {
if (cp1==lastrand) {redunm++; delnode(p); return(p->forw);}
if (equstr(cp1,lastrand)) break;
}
}
}
flow=r;
}
}
if (0<=(r=flow)) {olduse=uses[r]; uses[r]=0; *(short *)(regs[r])=0;}
/* now look for 'read' or 'modify' (read & write) uses */
preg=regs+RT1;
while (*(cp1= *preg++)) {
/* check for r */
if (lastrand!=cp1 && 0<=(r=isreg(cp1)) && r<NUSE && uses[r]==0) {
uses[r]=p; cp2=regs[r]; *cp2++=p->subop;
if((p->op==SHAL || p->op==SHAR || p->op==SHL || p->op==SHR)
&& cp1==regs[RT1]) cp2[-1]=BYTE;
if(p->op==CBR && (p->subop==JBC || p->subop==JBS)) cp2[-1]=LONG;
if(p->op==MOVA && cp1==regs[RT2]) cp2[-1]=LONG;
if(p->op==MOV || p->op==PUSH || p->op==CVT || p->op==MOVZ || p->op==COM || p->op==NEG) {
if (p->op==PUSH) cp1="-(sp)";
else {
cp1=regs[RT2];
if (0<=(r=isreg(cp1)) && r<NUSE && uses[r]==0)
uses[r]=olduse; /* reincarnation!! */
/* as in addl2 r0,r1; movl r1,r0; ret */
if (p->op!=MOV) cp1=0;
}
if (cp1) while (*cp2++= *cp1++);
else *cp2=0;
} else *cp2=0;
continue;
}
/* check for (r),[r] */
do if (*cp1=='(' || *cp1=='[') {/* get register number */
char t;
cp2= ++cp1; while (*++cp1!=')' && *cp1!=']'); t= *cp1; *cp1=0;
if (0<=(r=isreg(cp2)) && r<NUSE && (uses[r]==0 || uses[r]==p)) {
uses[r]=p; regs[r][0]=(*--cp2=='[' ? OPX<<4 : OPB<<4);
}
*cp1=t;
} while (*++cp1);
}
/* ediv's 2nd operand is quad */
if(p->op==EDIV && 0<=(r=isreg(regs[RT2])) && ++r<NUSE && uses[r]==0) {
uses[r]=p; cp2=regs[r]; *cp2++=p->subop;
*cp2=0;
}
#ifdef MOVAFASTER
/* pushax or movax possibility? */
cp1=regs[RT1];
if (*cp1++=='$' && isstatic(cp1)) {
if (p->op==MOV && p->subop==LONG) {
if (regs[RT1][1]=='L' && 0!=(p->labno=getnum(regs[RT1]+2))) {
cp1=p->code; while (*cp1++!=','); p->code= --cp1;
}
p->op = MOVA; p->subop = BYTE; ++p->code; p->pop=0;
} else if (p->op==PUSH && p->subop==LONG) {
p->op = PUSHA; p->subop = BYTE; ++p->code; p->pop=0;
} else if (p->op==ADD && p->subop==U(LONG,OP3)
&& 0<=(r=isreg(regs[RT2]))) {
cp1=cp2=p->code; ++cp1;
do *cp2++= *cp1; while (*cp1++!=','); cp2[-1]='[';
do *cp2++= *cp1; while (*cp1++!=','); cp2[-1]=']';
if (!equstr(regs[RT3],"-(sp)")){ p->op = MOVA; p->subop = BYTE;}
else {p->op = PUSHA; p->subop = BYTE; *cp2=0;}
if (uses[r]==0) {uses[r]=p; regs[r][0]=OPX<<4;}
p->pop=0;
}
}
#endif MOVAFASTER
return(p);
}
jumpsw()
{
register struct node *p, *p1, *pt;
register t, nj;
t = 0;
nj = 0;
for (p=first.forw; p!=0; p = p->forw)
p->seq = ++t;
for (p=first.forw; p!=0; p = p1) {
p1 = p->forw;
if (p->op == CBR && p1->op==JBR && p->ref && p1->ref
&& abs(p->seq - p->ref->seq) > abs(p1->seq - p1->ref->seq)) {
if (p->ref==p1->ref)
continue;
p->subop = revbr[p->subop];
p->pop=0;
pt = p1->ref;
p1->ref = p->ref;
p->ref = pt;
t = p1->labno;
p1->labno = p->labno;
p->labno = t;
#ifdef COPYCODE
if (p->labno == 0) {
pt = (struct node *)p1->code; p1->code = p->code; p->code = (char *)pt;
}
#endif
nrevbr++;
nj++;
}
}
return(nj);
}
addaob()
{
register struct node *p, *p1, *p2, *p3;
for (p = &first; (p1 = p->forw)!=0; p = p1) {
if (p->op==INC && p->subop==LONG) {
if (p1->op==LABEL && p1->refc==1 && p1->forw->op==CMP && p1->forw->subop==LONG
&& (p2=p1->forw->forw)->op==CBR && p2->subop==JLE
&& (p3=p2->ref->back)->op==JBR && p3->subop==0 && p3->ref==p1
&& p3->forw->op==LABEL && p3->forw==p2->ref) {
/* change INC LAB: CMP to LAB: INC CMP */
p->back->forw=p1; p1->back=p->back;
p->forw=p1->forw; p1->forw->back=p;
p->back=p1; p1->forw=p;
p1=p->forw;
/* adjust beginning value by 1 */
p2=alloc(sizeof first); p2->op = DEC; p2->subop = LONG;
p2->pop=0;
p2->forw=p3; p2->back=p3->back; p3->back->forw=p2;
p3->back=p2; p2->code=p->code; p2->labno=0;
}
if (p1->op==CMP && p1->subop==LONG &&
(p2=p1->forw)->op==CBR && p2->forw->op!=CBR) {
register char *cp1,*cp2;
splitrand(p1); if (!equstr(p->code,regs[RT1])) continue;
if (p2->subop==JLE || p2->subop==JLT) {
if (p2->subop==JLE) p->op = AOBLEQ; else p->op = AOBLSS; p->subop = 0;
cp2=regs[RT1]; cp1=regs[RT2]; while (*cp2++= *cp1++); /* limit */
cp2=regs[RT2]; cp1=p->code; while (*cp2++= *cp1++); /* index */
p->pop=0; newcode(p);
p->labno = p2->labno; delnode(p2); delnode(p1); naob++;
}
}
}
}
}
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.