From 6275cd6e0676eba4c80bc3293b4b8c28189eaa86 Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Fri, 26 Feb 2016 13:33:09 -0500 Subject: use bitset in spill.c --- lisc/spill.c | 188 +++++++++++++++++++++++++++++------------------------------ 1 file changed, 93 insertions(+), 95 deletions(-) diff --git a/lisc/spill.c b/lisc/spill.c index daa1c1c..5984372 100644 --- a/lisc/spill.c +++ b/lisc/spill.c @@ -3,7 +3,7 @@ static void loopmark(Blk *hd, Blk *b, Phi *p) { - int k, z, head; + int k, head; uint n, a; head = hd->id; @@ -13,15 +13,14 @@ loopmark(Blk *hd, Blk *b, Phi *p) for (a=0; anarg; a++) if (p->blk[a] == b) if (rtype(p->arg[a]) == RTmp) - BSET(hd->gen, p->arg[a].val); + bsset(hd->gen, p->arg[a].val); if (b->visit == head) return; b->visit = head; b->loop *= 10; /* aggregate looping information at * loop headers */ - for (z=0; zgen.t[z] |= b->gen.t[z]; + bsunion(hd->gen, b->gen); for (k=0; k<2; k++) if (b->nlive[k] > hd->nlive[k]) hd->nlive[k] = b->nlive[k]; @@ -80,7 +79,7 @@ fillcost(Fn *fn) fprintf(stderr, "\t%-10s", b->name); fprintf(stderr, " (% 3d ", b->nlive[0]); fprintf(stderr, "% 3d) ", b->nlive[1]); - dumpts(&b->gen, fn->tmp, stderr); + dumpts(b->gen, fn->tmp, stderr); } } for (t=fn->tmp; t-fn->tmp < fn->ntmp; t++) { @@ -119,13 +118,13 @@ fillcost(Fn *fn) } } -static Bits *fst; /* temps to prioritize in registers (for tcmp1) */ +static BSet *fst; /* temps to prioritize in registers (for tcmp1) */ static Tmp *tmp; /* current temporaries (for tcmpX) */ static int ntmp; /* current # of temps (for limit) */ static int locs; /* stack size used by locals */ static int slot4; /* next slot of 4 bytes */ static int slot8; /* ditto, 8 bytes */ -static Bits mask[2]; /* class masks */ +static BSet mask[2][1]; /* class masks */ static int tcmp0(const void *pa, const void *pb) @@ -138,7 +137,7 @@ tcmp1(const void *pa, const void *pb) { int c; - c = BGET(*fst, *(int *)pb) - BGET(*fst, *(int *)pa); + c = bshas(fst, *(int *)pb) - bshas(fst, *(int *)pa); return c ? c : tcmp0(pa, pb); } @@ -178,12 +177,12 @@ slot(int t) } static void -limit(Bits *b, int k, Bits *f) +limit(BSet *b, int k, BSet *f) { static int *tarr, maxt; int i, t, nt; - nt = bcnt(b); + nt = bscount(b); if (nt <= k) return; if (nt > maxt) { @@ -193,8 +192,8 @@ limit(Bits *b, int k, Bits *f) } i = 0; for (t=0; tt[z] |= u.t[z]; + bscopy(u, t); + bsinter(u, mask[k]); + limit(u, k == 0 ? k1 : k2, fst); + bsunion(b, u); } } static void -sethint(Bits *u, ulong r) +sethint(BSet *u, ulong r) { - int t; + uint t; - for (t=Tmp0; tto, tmp[t].slot); } - BSET(*v, i->arg[0].val); + bsset(v, i->arg[0].val); } while (i != b->ins && regcpy(i-1)); - u = *v; + bscopy(u, v); if (i != b->ins && (i-1)->op == OCall) { v->t[0] &= ~calldef(*(i-1), 0); limit2(v, NISave, NFSave, 0); @@ -308,7 +308,7 @@ dopm(Blk *b, Ins *i, Bits *v) r = v->t[0]; } sethint(v, r); - reloads(&u, v); + reloads(u, v); do emiti(*--i1); while (i1 != i); @@ -331,8 +331,8 @@ void spill(Fn *fn) { Blk *b, *s1, *s2, *hd, **bp; - int j, n, z, l, t, k, lvarg[2]; - Bits u, v, w; + int j, n, l, t, k, lvarg[2]; + BSet u[1], v[1], w[1]; Ins *i; Phi *p; Mem *m; @@ -340,19 +340,23 @@ spill(Fn *fn) tmp = fn->tmp; ntmp = fn->ntmp; - assert(ntmp < NBit*BITS); + + bsinit(u, ntmp); /* todo, free those */ + bsinit(v, ntmp); + bsinit(w, ntmp); + bsinit(mask[0], ntmp); + bsinit(mask[1], ntmp); + locs = fn->slot; slot4 = 0; slot8 = 0; - BZERO(mask[0]); - BZERO(mask[1]); for (t=0; t= XMM0 && t < XMM0 + NFReg) k = 1; else if (t >= Tmp0) k = KBASE(tmp[t].cls); - BSET(mask[k], t); + bsset(mask[k], t); } for (bp=&fn->rpo[fn->nblk]; bp!=fn->rpo;) { @@ -371,43 +375,37 @@ spill(Fn *fn) if (s2 && s2->id <= n) if (!hd || s2->id >= hd->id) hd = s2; - BZERO(v); + bszero(v); if (hd) { /* back-edge */ for (k=0; k<2; k++) { n = k == 0 ? NIReg : NFReg; - for (z=0; zout.t[z] - & hd->gen.t[z] - & mask[k].t[z]; - w.t[z] = b->out.t[z] - & ~hd->gen.t[z] - & mask[k].t[z]; - } - if (bcnt(&u) < n) { - j = bcnt(&w); /* live through */ + bscopy(u, b->out); + bsinter(u, mask[k]); + bscopy(w, u); + bsinter(u, hd->gen); + bsdiff(w, hd->gen); + if ((int)bscount(u) < n) { /* fixme */ + j = bscount(w); /* live through */ l = hd->nlive[k]; - limit(&w, n - (l - j), 0); - for (z=0; zout = v; + bscopy(b->out, v); /* 2. process the block instructions */ curi = &insb[NIns]; @@ -415,20 +413,20 @@ spill(Fn *fn) for (i=&b->ins[b->nins]; i!=b->ins;) { i--; if (regcpy(i)) { - i = dopm(b, i, &v); + i = dopm(b, i, v); continue; } - BZERO(w); + bszero(w); if (!req(i->to, R)) { assert(rtype(i->to) == RTmp); t = i->to.val; - if (BGET(v, t)) - BCLR(v, t); + if (bshas(v, t)) + bsclr(v, t); else { /* make sure we have a reg * for the result */ - BSET(v, t); - BSET(w, t); + bsset(v, t); + bsset(w, t); } } j = opdesc[i->op].nmem; @@ -441,60 +439,60 @@ spill(Fn *fn) t = i->arg[n].val; m = &fn->mem[t & AMask]; if (rtype(m->base) == RTmp) { - BSET(v, m->base.val); - BSET(w, m->base.val); + bsset(v, m->base.val); + bsset(w, m->base.val); } if (rtype(m->index) == RTmp) { - BSET(v, m->index.val); - BSET(w, m->index.val); + bsset(v, m->index.val); + bsset(w, m->index.val); } break; case RTmp: t = i->arg[n].val; - lvarg[n] = BGET(v, t); - BSET(v, t); + lvarg[n] = bshas(v, t); + bsset(v, t); if (j-- <= 0) - BSET(w, t); + bsset(w, t); break; } - u = v; - limit2(&v, 0, 0, &w); + bscopy(u, v); + limit2(v, 0, 0, w); for (n=0; n<2; n++) if (rtype(i->arg[n]) == RTmp) { t = i->arg[n].val; - if (!BGET(v, t)) { + if (!bshas(v, t)) { /* do not reload if the * the temporary was dead */ if (!lvarg[n]) - BCLR(u, t); + bsclr(u, t); i->arg[n] = slot(t); } } - reloads(&u, &v); + reloads(u, v); if (!req(i->to, R)) { t = i->to.val; store(i->to, tmp[t].slot); - BCLR(v, t); + bsclr(v, t); } emiti(*i); - r = v.t[0] & (BIT(Tmp0)-1); + r = v->t[0] & (BIT(Tmp0)-1); if (r) - sethint(&v, r); + sethint(v, r); } assert(!r || b==fn->start); for (p=b->phi; p; p=p->link) { assert(rtype(p->to) == RTmp); t = p->to.val; - if (BGET(v, t)) { - BCLR(v, t); + if (bshas(v, t)) { + bsclr(v, t); store(p->to, tmp[t].slot); - } else if (BGET(b->in, t)) + } else if (bshas(b->in, t)) /* only if the phi is live */ p->to = slot(p->to.val); } - b->in = v; + bscopy(b->in, v); b->nins = &insb[NIns] - curi; idup(&b->ins, curi, b->nins); } @@ -508,7 +506,7 @@ spill(Fn *fn) fprintf(stderr, "\n> Block information:\n"); for (b=fn->start; b; b=b->link) { printf("\t%-10s (% 5d) ", b->name, b->loop); - dumpts(&b->out, fn->tmp, stdout); + dumpts(b->out, fn->tmp, stdout); } fprintf(stderr, "\n> After spilling:\n"); printfn(fn, stderr); -- cgit 1.4.1