summaryrefslogtreecommitdiff
path: root/utils/1l/pass.c
diff options
context:
space:
mode:
Diffstat (limited to 'utils/1l/pass.c')
-rw-r--r--utils/1l/pass.c673
1 files changed, 0 insertions, 673 deletions
diff --git a/utils/1l/pass.c b/utils/1l/pass.c
deleted file mode 100644
index 9ab22626..00000000
--- a/utils/1l/pass.c
+++ /dev/null
@@ -1,673 +0,0 @@
-#include "l.h"
-
-void
-dodata(void)
-{
- int i;
- Sym *s;
- Prog *p;
- long t, u;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f dodata\n", cputime());
- Bflush(&bso);
- for(p = datap; p != P; p = p->link) {
- s = p->from.sym;
- if(s->type == SBSS)
- s->type = SDATA;
- if(s->type != SDATA)
- diag("initialize non-data (%d): %s\n%P",
- s->type, s->name, p);
- t = p->from.offset + p->from.displace;
- if(t > s->value)
- diag("initialize bounds (%ld): %s\n%P",
- s->value, s->name, p);
- }
-
- /* allocate small guys */
- datsize = 0;
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- if(s->type != SDATA)
- if(s->type != SBSS)
- continue;
- t = s->value;
- if(t == 0) {
- diag("%s: no size", s->name);
- t = 1;
- }
- t = rnd(t, 4);;
- s->value = t;
- if(t > MINSIZ)
- continue;
- s->value = datsize;
- datsize += t;
- s->type = SDATA1;
- }
-
- /* allocate the rest of the data */
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- if(s->type != SDATA) {
- if(s->type == SDATA1)
- s->type = SDATA;
- continue;
- }
- t = s->value;
- s->value = datsize;
- datsize += t;
- }
-
- if(debug['j']) {
- /*
- * pad data with bss that fits up to next
- * 8k boundary, then push data to 8k
- */
- u = rnd(datsize, 8192);
- u -= datsize;
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- if(s->type != SBSS)
- continue;
- t = s->value;
- if(t > u)
- continue;
- u -= t;
- s->value = datsize;
- s->type = SDATA;
- datsize += t;
- }
- datsize += u;
- }
-
- /* now the bss */
- bsssize = 0;
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- if(s->type != SBSS)
- continue;
- t = s->value;
- s->value = bsssize + datsize;
- bsssize += t;
- }
- xdefine("bdata", SDATA, 0L);
- xdefine("edata", SDATA, datsize);
- xdefine("end", SBSS, datsize+bsssize);
-}
-
-Prog*
-brchain(Prog *p)
-{
- int i;
-
- for(i=0; i<20; i++) {
- if(p == P || p->as != ABRA)
- return p;
- p = p->pcond;
- }
- return P;
-}
-
-void
-follow(void)
-{
- Prog *p;
- long o;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f follow\n", cputime());
- Bflush(&bso);
- firstp = prg();
- lastp = firstp;
- xfol(textp);
- lastp->link = P;
- firstp = firstp->link;
- o = 0; /* set */
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT)
- curtext = p;
-
- p->stkoff = -1; /* initialization for stkoff */
- if(p->as == ATEXT) {
- p->stkoff = 0;
- o = p->to.offset;
- continue;
- }
- if(p->as == AADJSP && p->from.offset == 0) {
- p->stkoff = o;
- continue;
- }
- }
-}
-
-void
-xfol(Prog *p)
-{
- Prog *q;
- int i;
- enum as a;
-
-loop:
- if(p == P)
- return;
- if(p->as == ATEXT)
- curtext = p;
- if(p->as == ABRA)
- if((q = p->pcond) != P) {
- p->mark = 1;
- p = q;
- if(p->mark == 0)
- goto loop;
- }
- if(p->mark) {
- /* copy up to 4 instructions to avoid branch */
- for(i=0,q=p; i<4; i++,q=q->link) {
- if(q == P)
- break;
- if(q == lastp)
- break;
- a = q->as;
- if(a == ANOP) {
- i--;
- continue;
- }
- if(a == ABRA || a == ARTS || a == ARTE)
- break;
- if(q->pcond == P || q->pcond->mark)
- continue;
- if(a == ABSR || a == ADBF)
- continue;
- for(;;) {
- if(p->as == ANOP) {
- p = p->link;
- continue;
- }
- q = copyp(p);
- p = p->link;
- q->mark = 1;
- lastp->link = q;
- lastp = q;
- if(q->as != a || q->pcond == P || q->pcond->mark)
- continue;
- q->as = relinv(q->as);
- p = q->pcond;
- q->pcond = q->link;
- q->link = p;
- xfol(q->link);
- p = q->link;
- if(p->mark)
- return;
- goto loop;
- }
- } /* */
- q = prg();
- q->as = ABRA;
- q->line = p->line;
- q->to.type = D_BRANCH;
- q->to.offset = p->pc;
- q->pcond = p;
- p = q;
- }
- p->mark = 1;
- lastp->link = p;
- lastp = p;
- a = p->as;
- if(a == ARTS || a == ABRA || a == ARTE)
- return;
- if(p->pcond != P)
- if(a != ABSR) {
- q = brchain(p->link);
- if(q != P && q->mark)
- if(a != ADBF) {
- p->as = relinv(a);
- p->link = p->pcond;
- p->pcond = q;
- }
- xfol(p->link);
- q = brchain(p->pcond);
- if(q->mark) {
- p->pcond = q;
- return;
- }
- p = q;
- goto loop;
- }
- p = p->link;
- goto loop;
-}
-
-int
-relinv(int a)
-{
-
- switch(a) {
- case ABEQ: return ABNE;
- case ABNE: return ABEQ;
- case ABLE: return ABGT;
- case ABLS: return ABHI;
- case ABLT: return ABGE;
- case ABMI: return ABPL;
- case ABGE: return ABLT;
- case ABPL: return ABMI;
- case ABGT: return ABLE;
- case ABHI: return ABLS;
- case ABCS: return ABCC;
- case ABCC: return ABCS;
- case AFBEQ: return AFBNE;
- case AFBF: return AFBT;
- case AFBGE: return AFBLT;
- case AFBGT: return AFBLE;
- case AFBLE: return AFBGT;
- case AFBLT: return AFBGE;
- case AFBNE: return AFBEQ;
- case AFBT: return AFBF;
- }
- diag("unknown relation: %s in %s", anames[a], TNAME);
- return a;
-}
-
-void
-patch(void)
-{
- long c;
- Prog *p, *q;
- Sym *s;
- long vexit;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f mkfwd\n", cputime());
- Bflush(&bso);
- mkfwd();
- if(debug['v'])
- Bprint(&bso, "%5.2f patch\n", cputime());
- Bflush(&bso);
- s = lookup("exit", 0);
- vexit = s->value;
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT)
- curtext = p;
- if((p->as == ABSR || p->as == ARTS) && p->to.sym != S) {
- s = p->to.sym;
- if(s->type != STEXT) {
- diag("undefined: %s in %s", s->name, TNAME);
- s->type = STEXT;
- s->value = vexit;
- }
- p->to.offset = s->value;
- p->to.type = D_BRANCH;
- }
- if(p->to.type != D_BRANCH)
- continue;
- c = p->to.offset;
- for(q = firstp; q != P;) {
- if(q->forwd != P)
- if(c >= q->forwd->pc) {
- q = q->forwd;
- continue;
- }
- if(c == q->pc)
- break;
- q = q->link;
- }
- if(q == P) {
- diag("branch out of range in %s\n%P", TNAME, p);
- p->to.type = D_NONE;
- }
- p->pcond = q;
- }
-
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT)
- curtext = p;
- p->mark = 0; /* initialization for follow */
- if(p->pcond != P) {
- p->pcond = brloop(p->pcond);
- if(p->pcond != P)
- if(p->to.type == D_BRANCH)
- p->to.offset = p->pcond->pc;
- }
- }
-}
-
-#define LOG 5
-void
-mkfwd(void)
-{
- Prog *p;
- int i;
- long dwn[LOG], cnt[LOG];
- Prog *lst[LOG];
-
- for(i=0; i<LOG; i++) {
- if(i == 0)
- cnt[i] = 1; else
- cnt[i] = LOG * cnt[i-1];
- dwn[i] = 1;
- lst[i] = P;
- }
- i = 0;
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT)
- curtext = p;
- i--;
- if(i < 0)
- i = LOG-1;
- p->forwd = P;
- dwn[i]--;
- if(dwn[i] <= 0) {
- dwn[i] = cnt[i];
- if(lst[i] != P)
- lst[i]->forwd = p;
- lst[i] = p;
- }
- }
-}
-
-Prog*
-brloop(Prog *p)
-{
- int c;
- Prog *q;
-
- c = 0;
- for(q = p; q != P; q = q->pcond) {
- if(q->as != ABRA)
- break;
- c++;
- if(c >= 5000)
- return P;
- }
- return q;
-}
-
-void
-dostkoff(void)
-{
- Prog *p, *q, *qq;
- long s, t;
- int a;
- Optab *o;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f stkoff\n", cputime());
- Bflush(&bso);
- s = 0;
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT) {
- curtext = p;
- s = p->to.offset;
- if(s == 0)
- continue;
- p = nprg(p);
- p->as = AADJSP;
- p->from.type = D_CONST;
- p->from.offset = s;
- p->stkoff = 0;
- continue;
- }
- t = 0;
- for(q = p; q != P; q = q->pcond) {
- if(q->as == ATEXT)
- break;
- if(q->stkoff >= 0)
- if(q->stkoff != s)
- diag("stack offset %ld is %ld sb %ld in %s\n%P",
- q->pc, q->stkoff, s, q, TNAME, p);
- q->stkoff = s;
- if(t++ > 100) {
- diag("loop in stack offset 1: %P", p);
- break;
- }
- }
- o = &optab[p->as];
- if(p->to.type == D_TOS)
- s -= o->dstsp;
- if(p->from.type == D_TOS)
- s -= o->srcsp;
- if(p->as == AADJSP)
- s += p->from.offset;
- if(p->as == APEA)
- s += 4;
- t = 0;
- for(q = p->link; q != P; q = q->pcond) {
- if(q->as == ATEXT) {
- q = P;
- break;
- }
- if(q->stkoff >= 0)
- break;
- if(t++ > 100) {
- diag("loop in stack offset 2: %P", p);
- break;
- }
- }
- if(q == P || q->stkoff == s)
- continue;
- if(p->as == ABRA || p->as == ARTS || p->as == ARTE) {
- s = q->stkoff;
- continue;
- }
- t = q->stkoff - s;
- s = q->stkoff;
- p = nprg(p);
- p->as = AADJSP;
- p->stkoff = s - t;
- p->from.type = D_CONST;
- p->from.offset = t;
- }
-
- if(debug['v'])
- Bprint(&bso, "%5.2f rewrite\n", cputime());
- Bflush(&bso);
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT)
- curtext = p;
- a = p->from.type & D_MASK;
- if(a == D_AUTO)
- p->from.offset += p->stkoff;
- if(a == D_PARAM)
- p->from.offset += p->stkoff + 4;
- a = p->to.type & D_MASK;
- if(a == D_AUTO)
- p->to.offset += p->stkoff;
- if(a == D_PARAM)
- p->to.offset += p->stkoff + 4;
- switch(p->as) {
- default:
- continue;
-
- case AMOVW:
- if(p->from.type != D_CCR)
- continue;
- a = p->to.type;
- if((a < D_R0 || a > D_R0+7) && a != D_TOS)
- diag("bad dest for MOVCC %P", p);
- p->as = ALEA;
- p->from.type = I_INDIR|(D_A0+7);
- p->from.offset = -2;
- p->to.type = D_A0+7;
-
- p = nprg(p);
- p->as = ABSR;
- p->to.type = D_BRANCH;
- p->pcond = prog_ccr;
- p->to.sym = prog_ccr->from.sym;
-
- if(a != D_TOS) {
- p = nprg(p);
- p->as = AMOVW;
- p->from.type = D_TOS;
- p->to.type = a;
- }
- continue;
-
- case AEXTBL:
- a = p->to.type;
- if(a < D_R0 || a > D_R0+7)
- diag("bad dest for EXTB");
- p->as = AEXTBW;
-
- p = nprg(p);
- p->as = AEXTWL;
- p->to.type = a;
- continue;
-
- case AMULSL:
- case AMULUL:
- qq = prog_mull;
- goto mdcom;
- case ADIVSL:
- qq = prog_divsl;
- goto mdcom;
- case ADIVUL:
- qq = prog_divul;
- mdcom:
- if(debug['m'])
- continue;
- a = p->to.type;
- if(a < D_R0 || a > D_R0+7)
- diag("bad dest for mul/div");
- p->as = AMOVL;
- p->to.type = D_TOS;
-
- p = nprg(p);
- p->as = AMOVL;
- p->from.type = a;
- p->to.type = D_TOS;
-
- p = nprg(p);
- p->as = ABSR;
- p->to.type = D_BRANCH;
- p->pcond = qq;
- p->to.sym = qq->from.sym;
-
- p = nprg(p);
- p->as = AMOVL;
- p->from.type = D_TOS;
- p->to.type = a;
-
- p = nprg(p);
- p->as = AMOVL;
- p->from.type = D_TOS;
- p->to.type = a+1;
- if(qq == prog_mull)
- p->to.type = a;
- continue;
-
- case ARTS:
- break;
- }
- if(p->stkoff == 0)
- continue;
-
- p->as = AADJSP;
- p->from.type = D_CONST;
- p->from.offset = -p->stkoff;
-
- p = nprg(p);
- p->as = ARTS;
- p->stkoff = 0;
- }
-}
-
-long
-atolwhex(char *s)
-{
- long n;
- int f;
-
- n = 0;
- f = 0;
- while(*s == ' ' || *s == '\t')
- s++;
- if(*s == '-' || *s == '+') {
- if(*s++ == '-')
- f = 1;
- while(*s == ' ' || *s == '\t')
- s++;
- }
- if(s[0]=='0' && s[1]){
- if(s[1]=='x' || s[1]=='X'){
- s += 2;
- for(;;){
- if(*s >= '0' && *s <= '9')
- n = n*16 + *s++ - '0';
- else if(*s >= 'a' && *s <= 'f')
- n = n*16 + *s++ - 'a' + 10;
- else if(*s >= 'A' && *s <= 'F')
- n = n*16 + *s++ - 'A' + 10;
- else
- break;
- }
- } else
- while(*s >= '0' && *s <= '7')
- n = n*8 + *s++ - '0';
- } else
- while(*s >= '0' && *s <= '9')
- n = n*10 + *s++ - '0';
- if(f)
- n = -n;
- return n;
-}
-
-void
-undef(void)
-{
- int i;
- Sym *s;
-
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link)
- if(s->type == SXREF)
- diag("%s: not defined", s->name);
-}
-
-void
-initmuldiv1(void)
-{
- lookup("_mull", 0)->type = SXREF;
- lookup("_divsl", 0)->type = SXREF;
- lookup("_divul", 0)->type = SXREF;
- lookup("_ccr", 0)->type = SXREF;
-}
-
-void
-initmuldiv2(void)
-{
- Sym *s1, *s2, *s3, *s4;
- Prog *p;
-
- if(prog_mull != P)
- return;
- s1 = lookup("_mull", 0);
- s2 = lookup("_divsl", 0);
- s3 = lookup("_divul", 0);
- s4 = lookup("_ccr", 0);
- for(p = firstp; p != P; p = p->link)
- if(p->as == ATEXT) {
- if(p->from.sym == s1)
- prog_mull = p;
- if(p->from.sym == s2)
- prog_divsl = p;
- if(p->from.sym == s3)
- prog_divul = p;
- if(p->from.sym == s4)
- prog_ccr = p;
- }
- if(prog_mull == P) {
- diag("undefined: %s", s1->name);
- prog_mull = curtext;
- }
- if(prog_divsl == P) {
- diag("undefined: %s", s2->name);
- prog_divsl = curtext;
- }
- if(prog_divul == P) {
- diag("undefined: %s", s3->name);
- prog_divul = curtext;
- }
- if(prog_ccr == P) {
- diag("undefined: %s", s4->name);
- prog_ccr = curtext;
- }
-}
generated by cgit v1.2.3 (git 2.46.0) at 2025-12-10 11:26:56 +0000