summaryrefslogtreecommitdiff
path: root/sys/src/cmd/7l
diff options
context:
space:
mode:
authorcinap_lenrek <cinap_lenrek@felloff.net>2016-05-04 16:11:48 +0200
committercinap_lenrek <cinap_lenrek@felloff.net>2016-05-04 16:11:48 +0200
commit986886f2b8ab4a7e1b3d66e99934d8fdab537be9 (patch)
treec49e9711e7229a8d12f5b5b0ab38b5bd6c27b711 /sys/src/cmd/7l
parentf7703d6971383c39f981f5676a4e28a6371c3997 (diff)
retire the dec alpha port
Diffstat (limited to 'sys/src/cmd/7l')
-rw-r--r--sys/src/cmd/7l/asm.c1220
-rw-r--r--sys/src/cmd/7l/compat.c56
-rw-r--r--sys/src/cmd/7l/l.h316
-rw-r--r--sys/src/cmd/7l/list.c246
-rw-r--r--sys/src/cmd/7l/mkfile33
-rw-r--r--sys/src/cmd/7l/noop.c947
-rw-r--r--sys/src/cmd/7l/obj.c1350
-rw-r--r--sys/src/cmd/7l/optab.c141
-rw-r--r--sys/src/cmd/7l/pass.c495
-rw-r--r--sys/src/cmd/7l/sched.c18
-rw-r--r--sys/src/cmd/7l/span.c584
11 files changed, 0 insertions, 5406 deletions
diff --git a/sys/src/cmd/7l/asm.c b/sys/src/cmd/7l/asm.c
deleted file mode 100644
index a92ab88b5..000000000
--- a/sys/src/cmd/7l/asm.c
+++ /dev/null
@@ -1,1220 +0,0 @@
-#include "l.h"
-
-#define LPUT(c)\
- {\
- cbp[0] = (c);\
- cbp[1] = (c)>>8;\
- cbp[2] = (c)>>16;\
- cbp[3] = (c)>>24;\
- cbp += 4;\
- cbc -= 4;\
- if(cbc <= 0)\
- cflush();\
- }
-
-#define CPUT(c)\
- {\
- cbp[0] = (c);\
- cbp++;\
- cbc--;\
- if(cbc <= 0)\
- cflush();\
- }
-
-#define VLPUT(c)\
- {\
- cbp[0] = (c);\
- cbp[1] = (c)>>8;\
- cbp[2] = (c)>>16;\
- cbp[3] = (c)>>24;\
- cbp[4] = (c)>>32;\
- cbp[5] = (c)>>40;\
- cbp[6] = (c)>>48;\
- cbp[7] = (c)>>56;\
- cbp += 8;\
- cbc -= 8;\
- if(cbc <= 0)\
- cflush();\
- }
-#define LPUTBE(c)\
- {\
- cbp[0] = (c)>>24;\
- cbp[1] = (c)>>16;\
- cbp[2] = (c)>>8;\
- cbp[3] = (c);\
- cbp += 4;\
- cbc -= 4;\
- if(cbc <= 0)\
- cflush();\
- }
-
-long
-entryvalue(void)
-{
- char *a;
- Sym *s;
-
- a = INITENTRY;
- if(*a >= '0' && *a <= '9')
- return atolwhex(a);
- s = lookup(a, 0);
- if(s->type == 0)
- return INITTEXT;
- if(s->type != STEXT && s->type != SLEAF)
- diag("entry not text: %s", s->name);
- return s->value;
-}
-
-void
-asmb(void)
-{
- Prog *p;
- vlong t;
- Optab *o;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f asm\n", cputime());
- Bflush(&bso);
- seek(cout, HEADR, 0);
- pc = INITTEXT;
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT) {
- curtext = p;
- autosize = p->to.offset + 8;
- }
- if(p->pc != pc) {
- diag("phase error %lux sb %lux",
- p->pc, pc);
- if(!debug['a'])
- prasm(curp);
- pc = p->pc;
- }
- if (p->as == AMOVQ || p->as == AMOVT) {
- if ((p->from.reg == REGSP) && (p->from.offset&7) != 0
- || (p->to.reg == REGSP) && (p->to.offset&7) != 0)
- diag("bad stack alignment: %P", p);
- if ((p->from.reg == REGSB) && (p->from.offset&7) != 0
- || (p->to.reg == REGSB) && (p->to.offset&7) != 0)
- diag("bad global alignment: %P", p);
- }
- curp = p;
- o = oplook(p); /* could probably avoid this call */
- if(asmout(p, o)) {
- p = p->link;
- pc += 4;
- }
- pc += o->size;
- }
- if(debug['a'])
- Bprint(&bso, "\n");
- Bflush(&bso);
- cflush();
-
- curtext = P;
- switch(HEADTYPE) {
- case 0:
- seek(cout, rnd(HEADR+textsize, 8192), 0);
- break;
- case 1:
- case 2:
- case 3:
- seek(cout, HEADR+textsize, 0);
- break;
- }
- for(t = 0; t < datsize; t += sizeof(buf)-100) {
- if(datsize-t > sizeof(buf)-100)
- datblk(t, sizeof(buf)-100);
- else
- datblk(t, datsize-t);
- }
-
- symsize = 0;
- lcsize = 0;
- if(!debug['s']) {
- if(debug['v'])
- Bprint(&bso, "%5.2f sym\n", cputime());
- Bflush(&bso);
- switch(HEADTYPE) {
- case 0:
- seek(cout, rnd(HEADR+textsize, 8192)+datsize, 0);
- break;
- case 2:
- case 1:
- case 3:
- seek(cout, HEADR+textsize+datsize, 0);
- break;
- }
- if(!debug['s'])
- asmsym();
- if(debug['v'])
- Bprint(&bso, "%5.2f pc\n", cputime());
- Bflush(&bso);
- if(!debug['s'])
- asmlc();
- cflush();
- }
-
- if(debug['v'])
- Bprint(&bso, "%5.2f header\n", cputime());
- Bflush(&bso);
- seek(cout, 0L, 0);
- switch(HEADTYPE) {
- case 0:
- lput(0x0183L); /* magic and sections */
- lput(0L); /* time and date */
- vlput(rnd(HEADR+textsize, 8192)+datsize);
- lput(symsize); /* nsyms */
- lput(0x50L|(7L<<16)); /* size of optional hdr and flags */
- lput(0413|(0x101L<<16)); /* magic and version */
- lput(-1); /* pad for alignment */
-
- vlput(rnd(HEADR+textsize, 8192)); /* sizes */
- vlput(datsize);
- vlput(bsssize);
- vlput(entryvalue()); /* va of entry */
- vlput(INITTEXT-HEADR); /* va of base of text */
- vlput(INITDAT); /* va of base of data */
- vlput(INITDAT+datsize); /* va of base of bss */
- lput(~0L); /* gp reg mask */
- /* dubious stuff starts here */
- lput(0L);
- lput(0L);
- lput(0L);
- lput(0L);
- lput(~0L); /* gp value ?? */
- break;
- case 1:
- lput(0x0183L); /* magic and sections */
- lput(0L); /* time and date */
- vlput(HEADR+textsize+datsize);
- lput(symsize); /* nsyms */
- lput(0x54L|(7L<<16)); /* size of optional hdr and flags */
- lput(0407|(0x101L<<16)); /* magic and version */
- lput(-1); /* pad for alignment */
-
- vlput(textsize); /* sizes */
- vlput(datsize);
- vlput(bsssize);
- vlput(entryvalue()); /* va of entry */
- vlput(INITTEXT); /* va of base of text */
- vlput(INITDAT); /* va of base of data */
- vlput(INITDAT+datsize); /* va of base of bss */
- lput(~0L); /* gp reg mask */
- /* dubious stuff starts here */
- lput(lcsize);
- lput(0L);
- lput(0L);
- lput(0L);
- lput(~0L); /* gp value ?? */
- lput(0L); /* complete mystery */
- break;
- case 2:
- lputbe(0x84b); /* magic */
- lputbe(textsize); /* sizes */
- lputbe(datsize);
- lputbe(bsssize);
- lputbe(symsize); /* nsyms */
- lputbe(entryvalue()); /* va of entry */
- lputbe(0L);
- lputbe(lcsize);
- break;
- case 3:
- /* ``headerless'' boot image -- magic no is a branch */
- lput(0xc3e00007); /* magic (branch) */
- lputbe(textsize); /* sizes */
- lputbe(datsize);
- lputbe(bsssize);
- lputbe(symsize); /* nsyms */
- lputbe(entryvalue()); /* va of entry */
- lputbe(0L);
- lputbe(lcsize);
- break;
- }
- cflush();
-}
-
-void
-lput(long l)
-{
- LPUT(l);
-}
-
-void
-lputbe(long l)
-{
- LPUTBE(l);
-}
-
-void
-vlput(vlong l)
-{
- VLPUT(l);
-}
-
-void
-cflush(void)
-{
- int n;
-
- n = sizeof(buf.cbuf) - cbc;
- if(n)
- write(cout, buf.cbuf, n);
- cbp = buf.cbuf;
- cbc = sizeof(buf.cbuf);
-}
-
-void
-asmsym(void)
-{
- Prog *p;
- Auto *a;
- Sym *s;
- int h;
-
- s = lookup("etext", 0);
- if(s->type == STEXT)
- putsymb(s->name, 'T', s->value, s->version);
-
- for(h=0; h<NHASH; h++)
- for(s=hash[h]; s!=S; s=s->link)
- switch(s->type) {
- case SCONST:
- putsymb(s->name, 'D', s->value, s->version);
- continue;
-
- case SDATA:
- putsymb(s->name, 'D', s->value+INITDAT, s->version);
- continue;
-
- case SBSS:
- putsymb(s->name, 'B', s->value+INITDAT, s->version);
- continue;
-
- case SFILE:
- putsymb(s->name, 'f', s->value, s->version);
- continue;
- }
-
- for(p=textp; p!=P; p=p->cond) {
- s = p->from.sym;
- if(s->type != STEXT && s->type != SLEAF)
- continue;
-
- /* filenames first */
- for(a=p->to.autom; a; a=a->link)
- if(a->type == D_FILE)
- putsymb(a->sym->name, 'z', a->offset, 0);
- else
- if(a->type == D_FILE1)
- putsymb(a->sym->name, 'Z', a->offset, 0);
-
- if(s->type == STEXT)
- putsymb(s->name, 'T', s->value, s->version);
- else
- putsymb(s->name, 'L', s->value, s->version);
-
- /* frame, auto and param after */
- putsymb(".frame", 'm', p->to.offset+8, 0);
- for(a=p->to.autom; a; a=a->link)
- if(a->type == D_AUTO)
- putsymb(a->sym->name, 'a', -a->offset, 0);
- else
- if(a->type == D_PARAM)
- putsymb(a->sym->name, 'p', a->offset, 0);
- }
- if(debug['v'] || debug['n'])
- Bprint(&bso, "symsize = %lud\n", symsize);
- Bflush(&bso);
-}
-
-void
-putsymb(char *s, int t, long v, int ver)
-{
- int i, f;
-
- if(t == 'f')
- s++;
- LPUTBE(v);
- if(ver)
- t += 'a' - 'A';
- CPUT(t+0x80); /* 0x80 is variable length */
-
- if(t == 'Z' || t == 'z') {
- CPUT(s[0]);
- for(i=1; s[i] != 0 || s[i+1] != 0; i += 2) {
- CPUT(s[i]);
- CPUT(s[i+1]);
- }
- CPUT(0);
- CPUT(0);
- i++;
- }
- else {
- for(i=0; s[i]; i++)
- CPUT(s[i]);
- CPUT(0);
- }
- symsize += 4 + 1 + i + 1;
-
- if(debug['n']) {
- if(t == 'z' || t == 'Z') {
- Bprint(&bso, "%c %.8lux ", t, v);
- for(i=1; s[i] != 0 || s[i+1] != 0; i+=2) {
- f = ((s[i]&0xff) << 8) | (s[i+1]&0xff);
- Bprint(&bso, "/%x", f);
- }
- Bprint(&bso, "\n");
- return;
- }
- if(ver)
- Bprint(&bso, "%c %.8lux %s<%d>\n", t, v, s, ver);
- else
- Bprint(&bso, "%c %.8lux %s\n", t, v, s);
- }
-}
-
-#define MINLC 4
-void
-asmlc(void)
-{
- long oldpc, oldlc;
- Prog *p;
- long v, s;
-
- oldpc = INITTEXT;
- oldlc = 0;
- for(p = firstp; p != P; p = p->link) {
- if(p->line == oldlc || p->as == ATEXT || p->as == ANOP) {
- if(p->as == ATEXT)
- curtext = p;
- if(debug['L'])
- Bprint(&bso, "%6lux %P\n",
- p->pc, p);
- continue;
- }
- if(debug['L'])
- Bprint(&bso, "\t\t%6ld", lcsize);
- v = (p->pc - oldpc) / MINLC;
- while(v) {
- s = 127;
- if(v < 127)
- s = v;
- CPUT(s+128); /* 129-255 +pc */
- if(debug['L'])
- Bprint(&bso, " pc+%ld*%d(%ld)", s, MINLC, s+128);
- v -= s;
- lcsize++;
- }
- s = p->line - oldlc;
- oldlc = p->line;
- oldpc = p->pc + MINLC;
- if(s > 64 || s < -64) {
- CPUT(0); /* 0 vv +lc */
- CPUT(s>>24);
- CPUT(s>>16);
- CPUT(s>>8);
- CPUT(s);
- if(debug['L']) {
- if(s > 0)
- Bprint(&bso, " lc+%ld(%d,%ld)\n",
- s, 0, s);
- else
- Bprint(&bso, " lc%ld(%d,%ld)\n",
- s, 0, s);
- Bprint(&bso, "%6lux %P\n",
- p->pc, p);
- }
- lcsize += 5;
- continue;
- }
- if(s > 0) {
- CPUT(0+s); /* 1-64 +lc */
- if(debug['L']) {
- Bprint(&bso, " lc+%ld(%ld)\n", s, 0+s);
- Bprint(&bso, "%6lux %P\n",
- p->pc, p);
- }
- } else {
- CPUT(64-s); /* 65-128 -lc */
- if(debug['L']) {
- Bprint(&bso, " lc%ld(%ld)\n", s, 64-s);
- Bprint(&bso, "%6lux %P\n",
- p->pc, p);
- }
- }
- lcsize++;
- }
- while(lcsize & 1) {
- s = 129;
- CPUT(s);
- lcsize++;
- }
- if(debug['v'] || debug['L'])
- Bprint(&bso, "lcsize = %ld\n", lcsize);
- Bflush(&bso);
-}
-
-void
-datblk(long s, long n)
-{
- Prog *p;
- char *cast;
- long l, fl, j, d;
- int i, c;
-
- memset(buf.dbuf, 0, n+100);
- for(p = datap; p != P; p = p->link) {
- curp = p;
- l = p->from.sym->value + p->from.offset - s;
- c = p->reg;
- i = 0;
- if(l < 0) {
- if(l+c <= 0)
- continue;
- while(l < 0) {
- l++;
- i++;
- }
- }
- if(l >= n)
- continue;
- if(p->as != AINIT && p->as != ADYNT) {
- for(j=l+(c-i)-1; j>=l; j--)
- if(buf.dbuf[j]) {
- print("%P\n", p);
- diag("multiple initialization");
- break;
- }
- }
- switch(p->to.type) {
- default:
- diag("unknown mode in initialization\n%P", p);
- break;
-
- case D_FCONST:
- switch(c) {
- default:
- case 4:
- fl = ieeedtof(p->to.ieee);
- cast = (char*)&fl;
- for(; i<c; i++) {
- buf.dbuf[l] = cast[fnuxi8[i]];
- l++;
- }
- break;
- case 8:
- cast = (char*)p->to.ieee;
- for(; i<c; i++) {
- buf.dbuf[l] = cast[fnuxi8[i]];
- l++;
- }
- break;
- }
- break;
-
- case D_SCONST:
- for(; i<c; i++) {
- buf.dbuf[l] = p->to.sval[i];
- l++;
- }
- break;
-
- case D_CONST:
- d = p->to.offset;
- if(p->to.sym) {
- if(p->to.sym->type == STEXT ||
- p->to.sym->type == SLEAF)
- d += p->to.sym->value;
- if(p->to.sym->type == SDATA)
- d += p->to.sym->value + INITDAT;
- if(p->to.sym->type == SBSS)
- d += p->to.sym->value + INITDAT;
- }
- cast = (char*)&d;
- switch(c) {
- default:
- diag("bad nuxi %d %d\n%P", c, i, curp);
- break;
- case 1:
- for(; i<c; i++) {
- buf.dbuf[l] = cast[inuxi1[i]];
- l++;
- }
- break;
- case 2:
- for(; i<c; i++) {
- buf.dbuf[l] = cast[inuxi2[i]];
- l++;
- }
- break;
- case 4:
- for(; i<c; i++) {
- buf.dbuf[l] = cast[inuxi4[i]];
- l++;
- }
- break;
- case 8:
- for(; i<4; i++) {
- buf.dbuf[l] = cast[inuxi4[i]];
- l++;
- }
- d = p->to.offset >> 32;
- for(; i<c; i++) {
- buf.dbuf[l] = cast[inuxi4[i-4]];
- l++;
- }
- break;
- }
- break;
- }
- }
- write(cout, buf.dbuf, n);
-}
-
-#define OP_RRR(op,r1,r2,r3)\
- (op|(((r1)&31L)<<16)|(((r2)&31L)<<21)|((r3)&31L))
-#define OP_IRR(op,i,r2,r3)\
- (op|(((i)&255L)<<13)|0x1000|(((r2)&31L)<<21)|((r3)&31L))
-#define OP_MEM(op,d,r1,r2)\
- (op|(((r1)&31L)<<16)|(((r2)&31L)<<21)|((d)&0xffff))
-#define OP_BR(op,d,r1)\
- (op|((d)&0x1fffff)|(((r1)&31L)<<21))
-
-int
-asmout(Prog *p, Optab *o)
-{
- long o1, o2, o3, o4, o5, o6;
- vlong v;
- int r, a;
-
- o1 = 0;
- o2 = 0;
- o3 = 0;
- o4 = 0;
- o5 = 0;
- o6 = 0;
- switch(o->type) {
- default:
- diag("unknown type %d", o->type);
- if(!debug['a'])
- prasm(p);
- break;
-
- case 0: /* pseudo ops */
- break;
-
- case 1: /* register-register moves */
- if(p->as == AMOVB || p->as == AMOVW) /* noop should rewrite */
- diag("forbidden SEX: %P", p);
- if(p->as == AMOVBU || p->as == AMOVWU) {
- v = 1;
- if (p->as == AMOVWU)
- v = 3;
- o1 = OP_IRR(opcode(AZAPNOT), v, p->from.reg, p->to.reg);
- }
- else {
- a = AOR;
- if(p->as == AMOVL)
- a = AADDL;
- if(p->as == AMOVLU)
- a = AEXTLL;
- o1 = OP_RRR(opcode(a), REGZERO, p->from.reg, p->to.reg);
- }
- break;
-
- case 2: /* <operate> r1,[r2],r3 */
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- o1 = OP_RRR(opcode(p->as), p->from.reg, r, p->to.reg);
- break;
-
- case 3: /* <operate> $n,[r2],r3 */
- v = regoff(&p->from);
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- o1 = OP_IRR(opcode(p->as), v, r, p->to.reg);
- break;
-
- case 4: /* beq r1,sbra */
- if(p->cond == P)
- v = -4 >> 2;
- else
- v = (p->cond->pc - pc-4) >> 2;
- o1 = OP_BR(opcode(p->as), v, p->from.reg);
- break;
-
- case 5: /* jmp [r1],0(r2) */
- r = p->reg;
- a = p->as;
- if(r == NREG) {
- r = o->param;
-/* if(a == AJMP && p->to.reg == REGLINK)
- a = ARET; /* this breaks the kernel -- maybe we need to clear prediction stack on each context switch... */
- }
- o1 = OP_MEM(opcode(a), 0, p->to.reg, r);
- break;
-
- case 6: /* movq $n,r1 and movq $soreg,r1 */
- r = p->from.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->from);
- o1 = OP_MEM(opcode(AMOVA), v, r, p->to.reg);
- break;
-
- case 7: /* movbu r1, r2 */
- v = 1;
- if (p->as == AMOVWU)
- v = 3;
- o1 = OP_IRR(opcode(AZAPNOT), v, p->from.reg, p->to.reg);
- break;
-
- case 8: /* mov r, soreg ==> stq o(r) */
- r = p->to.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->to);
- if (p->as == AMOVQ || p->as == AMOVT)
- if ((r == REGSP || r == REGSB) && (v&7) != 0)
- diag("bad alignment: %P", p);
- o1 = OP_MEM(opcode(p->as+AEND), v, r, p->from.reg);
- break;
-
- case 9: /* mov soreg, r ==> ldq o(r) */
- r = p->from.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->from);
- if (p->as == AMOVQ || p->as == AMOVT)
- if ((r == REGSP || r == REGSB) && (v&7) != 0)
- diag("bad alignment: %P", p);
- o1 = OP_MEM(opcode(p->as), v, r, p->to.reg);
- break;
-
- case 10: /* movb r1,r2 */
- v = 64 - 8;
- if (p->as == AMOVW)
- v = 64 - 16;
- o1 = OP_IRR(opcode(ASLLQ), v, p->from.reg, p->to.reg);
- o2 = OP_IRR(opcode(ASRAQ), v, p->to.reg, p->to.reg);
- break;
-
- case 11: /* jmp lbra */
- if(p->cond == P)
- v = -4 >> 2;
- else
- v = (p->cond->pc - pc-4) >> 2;
- a = ABR;
- r = REGZERO;
- if (p->as == AJSR) {
- a = ABSR;
- r = REGLINK;
- }
- o1 = OP_BR(opcode(a), v, r);
- break;
-
- case 12: /* addq $n,[r2],r3 ==> lda */
- v = regoff(&p->from);
- if (p->as == ASUBQ)
- v = -v;
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- o1 = OP_MEM(opcode(AMOVA), v, r, p->to.reg);
- break;
-
- case 13: /* <op> $scon,[r2],r3 */
- v = regoff(&p->from);
- if(p->to.reg == REGTMP || p->reg == REGTMP)
- diag("cant synthesize large constant\n%P", p);
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- o1 = OP_MEM(opcode(AMOVA), v, REGZERO, REGTMP);
- o2 = OP_RRR(opcode(p->as), REGTMP, r, p->to.reg);
- break;
-
- case 14: /* <op> $lcon,[r2],r3 */
- v = regoff(&p->from);
- if(v & 0x8000)
- v += 0x10000;
- if(p->to.reg == REGTMP || p->reg == REGTMP)
- diag("cant synthesize large constant\n%P", p);
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- o1 = OP_MEM(opcode(AMOVA), v, REGZERO, REGTMP);
- o2 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
- o3 = OP_RRR(opcode(p->as), REGTMP, r, p->to.reg);
- break;
-
- case 15: /* mov $lcon,r1 */
- v = regoff(&p->from);
- if(v & 0x8000)
- v += 0x10000;
- o1 = OP_MEM(opcode(AMOVA), v, o->param, REGTMP);
- o2 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, p->to.reg);
- break;
-
- case 16: /* mov $qcon,r1 */
- v = regoff(&p->from);
- if(v & 0x8000)
- v += 0x10000;
- if((v>>31)&1)
- v += (1LL<<32);
- if((v>>47)&1)
- v += (1LL<<48);
- o1 = OP_MEM(opcode(AMOVA), v>>32, o->param, REGTMP);
- o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
- o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
- o4 = OP_MEM(opcode(AMOVA), v, REGTMP, REGTMP);
- o5 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, p->to.reg);
- break;
-
- case 17: /* mov f1,f2 ==> fcpys f1,f1,f2 */
- o1 = OP_RRR(opcode(ACPYS), p->from.reg, p->from.reg, p->to.reg);
- break;
-
- case 18: /* call_pal imm */
- v = regoff(&p->from);
- o1 = OP_MEM(opcode(ACALL_PAL), v, 0, 0);
- break;
-
- case 19: /* mov r, loreg ==> ldah,stq */
- r = p->to.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->to);
- if (p->as == AMOVQ || p->as == AMOVT)
- if ((r == REGSP || r == REGSB) && (v&7) != 0)
- diag("bad alignment: %P", p);
- if(v & 0x8000)
- v += 0x10000;
- o1 = OP_MEM(opcode(AMOVAH), v>>16, r, REGTMP);
- o2 = OP_MEM(opcode(p->as+AEND), v, REGTMP, p->from.reg);
- break;
-
- case 20: /* mov loreg, r ==> ldah,ldq */
- r = p->from.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->from);
- if (p->as == AMOVQ || p->as == AMOVT)
- if ((r == REGSP || r == REGSB) && (v&7) != 0)
- diag("bad alignment: %P", p);
- if(v & 0x8000)
- v += 0x10000;
- o1 = OP_MEM(opcode(AMOVAH), v>>16, r, REGTMP);
- o2 = OP_MEM(opcode(p->as), v, REGTMP, p->to.reg);
- break;
-
-#ifdef NEVER
- case 21: /* mov r1,$qoreg */
- r = p->to.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->to);
- if(v & 0x8000)
- v += 0x10000;
- if((v>>31)&1)
- v += (1LL<<32);
- if((v>>47)&1)
- v += (1LL<<48);
- o1 = OP_MEM(opcode(AMOVA), v>>32, r, REGTMP);
- o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
- o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
- o4 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
- o5 = OP_MEM(opcode(p->as+AEND), v, REGTMP, p->from.reg);
- break;
-
- case 22: /* mov $qoreg,r1 */
- r = p->from.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->from);
- if(v & 0x8000)
- v += 0x10000;
- if((v>>31)&1)
- v += (1LL<<32);
- if((v>>47)&1)
- v += (1LL<<48);
- o1 = OP_MEM(opcode(AMOVA), v>>32, r, REGTMP);
- o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
- o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
- o4 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
- o5 = OP_MEM(opcode(p->as), v, REGTMP, p->to.reg);
- break;
-#endif
-
- case 23: /* <op> $qcon,r1 */
- if(p->to.reg == REGTMP || p->reg == REGTMP)
- diag("cant synthesize large constant\n%P", p);
- v = regoff(&p->from);
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- if(v & 0x8000)
- v += 0x10000;
- if((v>>31)&1)
- v += (1LL<<32);
- if((v>>47)&1)
- v += (1LL<<48);
- o1 = OP_MEM(opcode(AMOVA), v>>32, REGZERO, REGTMP);
- o2 = OP_MEM(opcode(AMOVAH), v>>48, REGTMP, REGTMP);
- o3 = OP_IRR(opcode(ASLLQ), 32, REGTMP, REGTMP);
- o4 = OP_MEM(opcode(AMOVA), v, REGTMP, REGTMP);
- o5 = OP_MEM(opcode(AMOVAH), v>>16, REGTMP, REGTMP);
- o6 = OP_RRR(opcode(p->as), REGTMP, r, p->to.reg);
- break;
-
- case 24: /* movq Fn, FPCR */
- r = p->from.reg;
- o1 = OP_RRR(opcode(AADDT+AEND), r, r, r);
- break;
-
- case 25: /* movq FPCR, Fn */
- r = p->to.reg;
- o1 = OP_RRR(opcode(AADDS+AEND), r, r, r);
- break;
-
- case 26: /* movq Rn, C_PREG */
- r = p->from.reg;
- o1 = OP_RRR(opcode(ASUBQ+AEND), r, r, 0) | p->to.reg & 255;
- break;
-
- case 27: /* movq C_PREG, Rn */
- r = p->to.reg;
- o1 = OP_RRR(opcode(AADDQ+AEND), r, r, 0) | p->from.reg & 255;
- break;
-
- case 28: /* cvttq r1,r3 */
- r = p->from.reg;
- o1 = OP_RRR(opcode(p->as), r, REGZERO, p->to.reg);
- break;
-
- case 29: /* movq pcc, rpcc -> Rn */
- o1 = OP_MEM(opcode(ARPCC), 0, REGZERO, p->to.reg);
- break;
-
- case 30: /* rei/mb/trapb */
- o1 = OP_MEM(opcode(p->as), 0, REGZERO, REGZERO);
- break;
-
- case 31: /* fetch (Rn) */
- o1 = OP_MEM(opcode(p->as), 0, REGZERO, p->from.reg);
- break;
-
- case 32: /* movqp r, soreg ==> stqp o(r) */
- r = p->to.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->to);
- if (v < -0x800 || v >= 0x800)
- diag("physical store out of range\n%P", p);
- v &= 0xfff;
- o1 = OP_MEM(opcode(p->as+AEND), v, r, p->from.reg);
- break;
-
- case 33: /* movqp soreg, r ==> ldqp o(r) */
- r = p->from.reg;
- if(r == NREG)
- r = o->param;
- v = regoff(&p->from);
- if (v < -0x800 || v >= 0x800)
- diag("physical load out of range\n%P", p);
- v &= 0xfff;
- o1 = OP_MEM(opcode(p->as), v, r, p->to.reg);
- break;
-
- case 34: /* <operate> $-n,[r2],r3 */
- v = regoff(&p->from);
- r = p->reg;
- if(r == NREG)
- r = p->to.reg;
- switch (a = p->as) {
- case AAND:
- a = AANDNOT;
- break;
- case AANDNOT:
- a = AAND;
- break;
- case AOR:
- a = AORNOT;
- break;
- case AORNOT:
- a = AOR;
- break;
- case AXOR:
- a = AXORNOT;
- break;
- case AXORNOT:
- a = AXOR;
- break;
- default:
- diag("bad in NCON case: %P", p);
- }
- v = ~v;
- o1 = OP_IRR(opcode(a), v, r, p->to.reg);
- break;
-
- case 40: /* word */
- o1 = regoff(&p->to);
- break;
-
- }
- switch(o->size) {
- default:
- if(debug['a'])
- Bprint(&bso, " %.8lux:\t\t%P\n", p->pc, p);
- break;
- case 4:
- if(debug['a'])
- Bprint(&bso, " %.8lux: %.8lux\t%P\n", p->pc, o1, p);
- LPUT(o1);
- break;
- case 8:
- if(debug['a'])
- Bprint(&bso, " %.8lux: %.8lux %.8lux %P\n", p->pc, o1, o2, p);
- LPUT(o1);
- LPUT(o2);
- break;
- case 12:
- if(debug['a'])
- Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %P\n", p->pc, o1, o2, o3, p);
- LPUT(o1);
- LPUT(o2);
- LPUT(o3);
- break;
- case 16:
- if(debug['a'])
- Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %P\n",
- p->pc, o1, o2, o3, o4, p);
- LPUT(o1);
- LPUT(o2);
- LPUT(o3);
- LPUT(o4);
- break;
- case 20:
- if(debug['a'])
- Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %P\n",
- p->pc, o1, o2, o3, o4, o5, p);
- LPUT(o1);
- LPUT(o2);
- LPUT(o3);
- LPUT(o4);
- LPUT(o5);
- break;
- case 24:
- if(debug['a'])
- Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %.8lux %P\n",
- p->pc, o1, o2, o3, o4, o5, o6, p);
- LPUT(o1);
- LPUT(o2);
- LPUT(o3);
- LPUT(o4);
- LPUT(o5);
- LPUT(o6);
- break;
- }
- return 0;
-}
-
-#define OP(x,y) (((x)<<26)|((y)<<5))
-#define FP(x) OP(22, (x)|0xc0) /* note: this sets round/trap modes (dynamic, software?). not used for cvtxx? */
-#define FP2(x) OP(22, (x) /*|0x080*/) /* note: this sets round/trap modes (chopped, software?). used for cvtxx? */
-#define FP3(x) OP(22, (x)|0x080) /* note: this sets round/trap modes (dynamic, software?). not used for cvtxx? */
-
-long
-opcode(int a)
-{
- switch (a) {
- /* loads */
- case AMOVB: /* misnomer; pretend it's ok for now */
-diag("opcode(AMOVB)");
- case AMOVBU: return OP(10, 0); /* v 3 */
- case AMOVW: /* misnomer; pretend it's ok for now */
-diag("opcode(AMOVW)");
- case AMOVWU: return OP(12, 0); /* v 3 */
- case AMOVL: return OP(40, 0);
- case AMOVQ: return OP(41, 0);
- case AMOVQU: return OP(11, 0);
- case AMOVS: return OP(34, 0);
- case AMOVT: return OP(35, 0);
-
- /* stores */
- case AMOVB+AEND: /* misnomer; pretend it's ok for now */
- case AMOVBU+AEND: return OP(14, 0); /* v 3 */
- case AMOVW+AEND: /* misnomer; pretend it's ok for now */
- case AMOVWU+AEND: return OP(13, 0); /* v 3 */
- case AMOVL+AEND: return OP(44, 0);
- case AMOVQ+AEND: return OP(45, 0);
- case AMOVQU+AEND: return OP(15, 0);
- case AMOVS+AEND: return OP(38, 0);
- case AMOVT+AEND: return OP(39, 0);
-
- /* physical */
- case AMOVLP+AEND: return OP(31, 0)|0x8000;
- case AMOVQP+AEND: return OP(31, 0)|0x9000;
- case AMOVLP: return OP(27, 0)|0x8000;
- case AMOVQP: return OP(27, 0)|0x9000;
-
- /* load address */
- case AMOVA: return OP(8, 0);
- case AMOVAH: return OP(9, 0);
-
- /* locking */
- case AMOVLL: return OP(42, 0); /* load locked */
- case AMOVQL: return OP(43, 0); /* load locked */
- case AMOVLC+AEND: return OP(46, 0); /* store cond */
- case AMOVQC+AEND: return OP(47, 0); /* store cond */
-
- case AADDL: return OP(16, 0);
- case AADDLV: return OP(16, 64);
- case AADDQ: return OP(16, 32);
- case AADDQV: return OP(16, 96);
- case AS4ADDL: return OP(16, 2);
- case AS4ADDQ: return OP(16, 34);
- case AS8ADDL: return OP(16, 18);
- case AS8ADDQ: return OP(16, 50);
- case AS4SUBL: return OP(16, 11);
- case AS4SUBQ: return OP(16, 43);
- case AS8SUBL: return OP(16, 27);
- case AS8SUBQ: return OP(16, 59);
- case ASUBL: return OP(16, 9);
- case ASUBLV: return OP(16, 73);
- case ASUBQ: return OP(16, 41);
- case ASUBQV: return OP(16, 105);
- case ACMPEQ: return OP(16, 45);
- case ACMPGT: return OP(16, 77);
- case ACMPGE: return OP(16, 109);
- case ACMPUGT: return OP(16, 29);
- case ACMPUGE: return OP(16, 61);
- case ACMPBLE: return OP(16, 15);
-
- case AAND: return OP(17, 0);
- case AANDNOT: return OP(17, 8);
- case AOR: return OP(17, 32);
- case AORNOT: return OP(17, 40);
- case AXOR: return OP(17, 64);
- case AXORNOT: return OP(17, 72);
-
- case ACMOVEQ: return OP(17, 36);
- case ACMOVNE: return OP(17, 38);
- case ACMOVLT: return OP(17, 68);
- case ACMOVGE: return OP(17, 70);
- case ACMOVLE: return OP(17, 100);
- case ACMOVGT: return OP(17, 102);
- case ACMOVLBS: return OP(17, 20);
- case ACMOVLBC: return OP(17, 22);
-
- case AMULL: return OP(19, 0);
- case AMULQ: return OP(19, 32);
- case AMULLV: return OP(19, 64);
- case AMULQV: return OP(19, 96);
- case AUMULH: return OP(19, 48);
-
- case ASLLQ: return OP(18, 57);
- case ASRLQ: return OP(18, 52);
- case ASRAQ: return OP(18, 60);
-
- case AEXTBL: return OP(18, 6);
- case AEXTWL: return OP(18, 22);
- case AEXTLL: return OP(18, 38);
- case AEXTQL: return OP(18, 54);
- case AEXTWH: return OP(18, 90);
- case AEXTLH: return OP(18, 106);
- case AEXTQH: return OP(18, 122);
-
- case AINSBL: return OP(18, 11);
- case AINSWL: return OP(18, 27);
- case AINSLL: return OP(18, 43);
- case AINSQL: return OP(18, 59);
- case AINSWH: return OP(18, 87);
- case AINSLH: return OP(18, 103);
- case AINSQH: return OP(18, 119);
-
- case AMSKBL: return OP(18, 2);
- case AMSKWL: return OP(18, 18);
- case AMSKLL: return OP(18, 34);
- case AMSKQL: return OP(18, 50);
- case AMSKWH: return OP(18, 82);
- case AMSKLH: return OP(18, 98);
- case AMSKQH: return OP(18, 114);
-
- case AZAP: return OP(18, 48);
- case AZAPNOT: return OP(18, 49);
-
- case AJMP: return OP(26, 0);
- case AJSR: return OP(26, 512);
- case ARET: return OP(26, 1024);
-
- case ABR: return OP(48, 0);
- case ABSR: return OP(52, 0);
-
- case ABEQ: return OP(57, 0);
- case ABNE: return OP(61, 0);
- case ABLT: return OP(58, 0);
- case ABGE: return OP(62, 0);
- case ABLE: return OP(59, 0);
- case ABGT: return OP(63, 0);
- case ABLBC: return OP(56, 0);
- case ABLBS: return OP(60, 0);
-
- case AFBEQ: return OP(49, 0);
- case AFBNE: return OP(53, 0);
- case AFBLT: return OP(50, 0);
- case AFBGE: return OP(54, 0);
- case AFBLE: return OP(51, 0);
- case AFBGT: return OP(55, 0);
-
- case ATRAPB: return OP(24, 0);
- case AMB: return OP(24, 0x200);
- case AFETCH: return OP(24, 0x400);
- case AFETCHM: return OP(24, 0x500);
- case ARPCC: return OP(24, 0x600);
-
- case ACPYS: return OP(23, 32);
- case ACPYSN: return OP(23, 33);
- case ACPYSE: return OP(23, 34);
- case AADDS+AEND: return OP(23, 37); /* MF_FPCR */
- case AADDT+AEND: return OP(23, 36); /* MT_FPCR */
- case ACVTLQ: return OP(23, 16);
- case ACVTQL: return OP(23, 48); /* XXX trap mode */
- case AFCMOVEQ: return OP(23, 42);
- case AFCMOVNE: return OP(23, 43);
- case AFCMOVLT: return OP(23, 44);
- case AFCMOVGE: return OP(23, 45);
- case AFCMOVLE: return OP(23, 46);
- case AFCMOVGT: return OP(23, 47);
-
- case AADDS: return FP(0);
- case AADDT: return FP(32);
- case ACMPTEQ: return FP3(37);
- case ACMPTGT: return FP3(38);
- case ACMPTGE: return FP3(39);
- case ACMPTUN: return FP3(36);
-
- case ACVTQS: return FP2(60);
- case ACVTQT: return FP2(62);
- case ACVTTS: return FP2(44);
- case ACVTTQ: return FP2(47);
-
- case ADIVS: return FP(3);
- case ADIVT: return FP(35);
- case AMULS: return FP(2);
- case AMULT: return FP(34);
- case ASUBS: return FP(1);
- case ASUBT: return FP(33);
-
- case ACALL_PAL: return 0;
- case AREI: return OP(30, 0x400); /* HW_REI */
-
- case AADDQ+AEND: return OP(25,0); /* HW_MFPR */
- case ASUBQ+AEND: return OP(29,0); /* HW_MTPR */
- }
- diag("bad op %A(%d)", a, a);
- return 0;
-}
-
diff --git a/sys/src/cmd/7l/compat.c b/sys/src/cmd/7l/compat.c
deleted file mode 100644
index 1d9f89e43..000000000
--- a/sys/src/cmd/7l/compat.c
+++ /dev/null
@@ -1,56 +0,0 @@
-#include "l.h"
-
-/*
- * fake malloc
- */
-void*
-malloc(ulong n)
-{
- void *p;
-
- while(n & 7)
- n++;
- while(nhunk < n)
- gethunk();
- p = hunk;
- nhunk -= n;
- hunk += n;
- return p;
-}
-
-void
-free(void *p)
-{
- USED(p);
-}
-
-void*
-calloc(ulong m, ulong n)
-{
- void *p;
-
- n *= m;
- p = malloc(n);
- memset(p, 0, n);
- return p;
-}
-
-void*
-realloc(void *p, ulong n)
-{
- fprint(2, "realloc(0x%p %ld) called\n", p, n);
- abort();
- return 0;
-}
-
-void*
-mysbrk(ulong size)
-{
- return sbrk(size);
-}
-
-void
-setmalloctag(void *v, uintptr pc)
-{
- USED(v, pc);
-}
diff --git a/sys/src/cmd/7l/l.h b/sys/src/cmd/7l/l.h
deleted file mode 100644
index e5f853c82..000000000
--- a/sys/src/cmd/7l/l.h
+++ /dev/null
@@ -1,316 +0,0 @@
-#include <u.h>
-#include <libc.h>
-#include <bio.h>
-#include "../7c/7.out.h"
-
-typedef struct Adr Adr;
-typedef struct Sym Sym;
-typedef struct Autom Auto;
-typedef struct Prog Prog;
-typedef struct Optab Optab;
-typedef struct Oprang Oprang;
-typedef uchar Opcross[32][2][32];
-typedef struct Count Count;
-
-#define P ((Prog*)0)
-#define S ((Sym*)0)
-#define TNAME (curtext&&curtext->from.sym?curtext->from.sym->name:noname)
-
-struct Adr
-{
- union
- {
- vlong offset;
- char* sval;
- Ieee* ieee;
- };
- union
- {
- Auto* autom;
- Sym* sym;
- };
- char type;
- char reg;
- char name;
- char class;
-};
-struct Prog
-{
- Adr from;
- Adr to;
- union
- {
- long regused;
- Prog* forwd;
- };
- Prog* cond;
- Prog* link;
- long pc;
- long line;
- uchar mark;
- uchar optab;
- uchar as;
- char reg;
-};
-struct Sym
-{
- char *name;
- short type;
- short version;
- short become;
- short frame;
- long value;
- Sym* link;
-};
-struct Autom
-{
- Sym* sym;
- Auto* link;
- long offset;
- short type;
-};
-struct Optab
-{
- uchar as;
- char a1;
- char a2;
- char a3;
- char type;
- char size;
- char param;
-};
-struct Oprang
-{
- Optab* start;
- Optab* stop;
-};
-struct Count
-{
- long count;
- long outof;
-};
-
-enum
-{
- STEXT = 1,
- SDATA,
- SBSS,
- SDATA1,
- SXREF,
- SLEAF,
- SFILE,
- SCONST,
-
- C_NONE = 0,
- C_REG,
- C_FREG,
- C_FCREG,
- C_PREG,
- C_PCC,
- C_ZCON,
- C_BCON,
- C_NCON,
- C_SCON,
- C_UCON,
- C_LCON,
- C_QCON,
- C_SACON,
- C_SECON,
- C_LACON,
- C_LECON,
- C_SBRA,
- C_LBRA,
- C_SAUTO,
- C_SEXT,
- C_LAUTO,
- C_LEXT,
- C_ZOREG,
- C_SOREG,
- C_LOREG,
- C_GOK,
-
- NSCHED = 20,
-
-/* mark flags */
- FOLL = 1<<0,
- LABEL = 1<<1,
- LEAF = 1<<2,
- SYNC = 1<<3,
- BRANCH = 1<<4,
- LABEL2 = 1<<5,
- COMPARE = 1<<6,
- NOSCHED = 1<<7,
-
- BIG = 32760,
- STRINGSZ = 200,
- NHASH = 10007,
- NHUNK = 100000,
- MINSIZ = 64,
- NENT = 100,
- MAXIO = 8192,
- MAXHIST = 20, /* limit of path elements for history symbols */
-};
-
-union
-{
- struct
- {
- uchar cbuf[MAXIO]; /* output buffer */
- uchar xbuf[MAXIO]; /* input buffer */
- };
- char dbuf[1];
-} buf;
-
-long HEADR; /* length of header */
-int HEADTYPE; /* type of header */
-long INITDAT; /* data location */
-long INITRND; /* data round above text location */
-long INITTEXT; /* text location */
-char* INITENTRY; /* entry point */
-long autosize;
-Biobuf bso;
-long bsssize;
-int cbc;
-uchar* cbp;
-int cout;
-Auto* curauto;
-Auto* curhist;
-Prog* curp;
-Prog* curtext;
-Prog* datap;
-long datsize;
-char debug[128];
-Prog* etextp;
-Prog* firstp;
-char fnuxi8[8];
-char* noname;
-Sym* hash[NHASH];
-Sym* histfrog[MAXHIST];
-int histfrogp;
-int histgen;
-char* library[50];
-char* libraryobj[50];
-int libraryp;
-int xrefresolv;
-char* hunk;
-char inuxi1[1];
-char inuxi2[2];
-char inuxi4[4];
-Prog* lastp;
-long lcsize;
-char literal[32];
-int nerrors;
-long nhunk;
-vlong offset;
-Opcross opcross[7];
-Oprang oprange[ALAST];
-char* outfile;
-long pc;
-Prog *prog_divq;
-Prog *prog_divqu;
-Prog *prog_modq;
-Prog *prog_modqu;
-Prog *prog_divl;
-Prog *prog_divlu;
-Prog *prog_modl;
-Prog *prog_modlu;
-uchar repop[ALAST];
-long symsize;
-Prog* textp;
-long textsize;
-long thunk;
-int version;
-char xcmp[32][32];
-Prog zprg;
-int dtype;
-
-extern char* anames[];
-extern Optab optab[];
-
-#pragma varargck type "A" int
-#pragma varargck type "A" uint
-#pragma varargck type "D" Adr*
-#pragma varargck type "N" Adr*
-#pragma varargck type "P" Prog*
-#pragma varargck type "S" char*
-
-#pragma varargck argpos diag 1
-
-int Aconv(Fmt*);
-int Dconv(Fmt*);
-int Nconv(Fmt*);
-int Pconv(Fmt*);
-int Sconv(Fmt*);
-int aclass(Adr*);
-void addhist(long, int);
-void addnop(Prog*);
-void append(Prog*, Prog*);
-void asmb(void);
-void asmlc(void);
-int asmout(Prog*, Optab*);
-void asmsym(void);
-long atolwhex(char*);
-Prog* brloop(Prog*);
-Biobuf bso;
-void buildop(void);
-void buildrep(int, int);
-void cflush(void);
-int cmp(int, int);
-int compound(Prog*);
-int conflict(long, long);
-double cputime(void);
-void datblk(long, long);
-int depend(long, long);
-void diag(char*, ...);
-Prog *divsubr(int);
-void dodata(void);
-void doprof1(void);
-void doprof2(void);
-long entryvalue(void);
-void errorexit(void);
-void exchange(Prog*);
-int find1(long, int);
-void follow(void);
-Prog *genXXX(Prog *, int, Adr*, int, Adr*);
-Prog *genRRR(Prog *, int, int, int, int);
-Prog *genIRR(Prog *, int, vlong, int, int);
-Prog *genstore(Prog *, int, int, vlong, int);
-Prog *genload(Prog *, int, vlong, int, int);
-Prog *genjmp(Prog *, int, vlong, int);
-void gethunk(void);
-void histtoauto(void);
-double ieeedtod(Ieee*);
-long ieeedtof(Ieee*);
-void initdiv(void);
-void ldobj(int, long, char*);
-void loadlib(void);
-void listinit(void);
-Sym* lookup(char*, int);
-void lput(long);
-void lputbe(long);
-void mkfwd(void);
-void* mysbrk(ulong);
-void names(void);
-void nocache(Prog*);
-void noops(void);
-void nuxiinit(void);
-void objfile(char*);
-int ocmp(void*, void*);
-long opcode(int);
-Optab* oplook(Prog*);
-void patch(void);
-void prasm(Prog*);
-void prepend(Prog*, Prog*);
-Prog* prg(void);
-int pseudo(Prog*);
-void putsymb(char*, int, long, int);
-vlong regoff(Adr*);
-long regused(Prog*);
-int relinv(int);
-long rnd(long, long);
-void sched(Prog*, Prog*);
-void span(void);
-void vlput(vlong);
-void undef(void);
-void xdefine(char*, int, long);
-void xfol(Prog*);
diff --git a/sys/src/cmd/7l/list.c b/sys/src/cmd/7l/list.c
deleted file mode 100644
index c2dc9da3f..000000000
--- a/sys/src/cmd/7l/list.c
+++ /dev/null
@@ -1,246 +0,0 @@
-#include "l.h"
-
-void
-listinit(void)
-{
-
- fmtinstall('A', Aconv);
- fmtinstall('D', Dconv);
- fmtinstall('P', Pconv);
- fmtinstall('S', Sconv);
- fmtinstall('N', Nconv);
-}
-
-void
-prasm(Prog *p)
-{
- print("%P\n", p);
-}
-
-int
-Pconv(Fmt *fp)
-{
- char str[STRINGSZ];
- Prog *p;
- int a;
-
- p = va_arg(fp->args, Prog*);
- curp = p;
- a = p->as;
- if(a == ADATA)
- snprint(str, sizeof str, "(%ld) %A %D/%d,%D",
- p->line, a, &p->from, p->reg, &p->to);
- else
- if(p->reg == NREG)
- snprint(str, sizeof str, "(%ld) %A %D,%D",
- p->line, a, &p->from, &p->to);
- else
- if(p->from.type != D_FREG)
- snprint(str, sizeof str, "(%ld) %A %D,R%d,%D",
- p->line, a, &p->from, p->reg, &p->to);
- else
- snprint(str, sizeof str, "(%ld) %A %D,F%d,%D",
- p->line, a, &p->from, p->reg, &p->to);
- return fmtstrcpy(fp, str);
-}
-
-int
-Aconv(Fmt *fp)
-{
- char *s;
- int a;
-
- a = va_arg(fp->args, int);
- s = "???";
- if(a >= AXXX && a <= AEND)
- s = anames[a];
- return fmtstrcpy(fp, s);
-}
-
-int
-Dconv(Fmt *fp)
-{
- char str[STRINGSZ];
- Adr *a;
- long v;
-
- a = va_arg(fp->args, Adr*);
- switch(a->type) {
-
- default:
- snprint(str, sizeof str, "GOK-type(%d)", a->type);
- break;
-
- case D_NONE:
- str[0] = 0;
- if(a->name != D_NONE || a->reg != NREG || a->sym != S)
- snprint(str, sizeof str, "%N(R%d)(NONE)", a, a->reg);
- break;
-
- case D_CONST:
- snprint(str, sizeof str, "$%N", a);
- if(a->reg != NREG)
- snprint(str, sizeof str, "%N(R%d)(CONST)", a, a->reg);
- break;
-
- case D_OREG:
- if(a->reg != NREG)
- snprint(str, sizeof str, "%N(R%d)", a, a->reg);
- else
- snprint(str, sizeof str, "%N", a);
- break;
-
- case D_REG:
- snprint(str, sizeof str, "R%d", a->reg);
- if(a->name != D_NONE || a->sym != S)
- snprint(str, sizeof str, "%N(R%d)(REG)", a, a->reg);
- break;
-
- case D_PREG:
- snprint(str, sizeof str, "P%d", a->reg & 255);
- if(a->name != D_NONE || a->sym != S)
- snprint(str, sizeof str, "%N(R%d)(PREG)", a, a->reg);
- break;
-
- case D_FREG:
- snprint(str, sizeof str, "F%d", a->reg);
- if(a->name != D_NONE || a->sym != S)
- snprint(str, sizeof str, "%N(R%d)(FREG)", a, a->reg);
- break;
-
- case D_FCREG:
- snprint(str, sizeof str, "FPCR");
- if(a->name != D_NONE || a->sym != S)
- snprint(str, sizeof str, "%N(R%d)(FCREG)", a, a->reg);
- break;
-
- case D_BRANCH: /* botch */
- if(curp->cond != P) {
- v = curp->cond->pc;
- if(v >= INITTEXT)
- v -= INITTEXT-HEADR;
- if(a->sym != S)
- snprint(str, sizeof str, "%s+%.5lux(BRANCH)", a->sym->name, v);
- else
- snprint(str, sizeof str, "%.5lux(BRANCH)", v);
- } else
- if(a->sym != S)
- snprint(str, sizeof str, "%s+%lld(APC)", a->sym->name, a->offset);
- else
- snprint(str, sizeof str, "%lld(APC)", a->offset);
- break;
-
- case D_FCONST:
- snprint(str, sizeof str, "$%e", ieeedtod(a->ieee));
- break;
-
- case D_SCONST:
- snprint(str, sizeof str, "$\"%S\"", a->sval);
- break;
- }
- return fmtstrcpy(fp, str);
-}
-
-int
-Nconv(Fmt *fp)
-{
- char str[STRINGSZ];
- Adr *a;
- Sym *s;
-
- a = va_arg(fp->args, Adr*);
- s = a->sym;
- if(s == S) {
- snprint(str, sizeof str, "%lld", a->offset);
- goto out;
- }
- switch(a->name) {
- default:
- snprint(str, sizeof str, "GOK-name(%d)", a->name);
- break;
-
- case D_NONE:
- snprint(str, sizeof str, "%lld", a->offset);
- break;
-
- case D_EXTERN:
- snprint(str, sizeof str, "%s+%lld(SB)", s->name, a->offset);
- break;
-
- case D_STATIC:
- snprint(str, sizeof str, "%s<>+%lld(SB)", s->name, a->offset);
- break;
-
- case D_AUTO:
- snprint(str, sizeof str, "%s-%lld(SP)", s->name, -a->offset);
- break;
-
- case D_PARAM:
- snprint(str, sizeof str, "%s+%lld(FP)", s->name, a->offset);
- break;
- }
-out:
- return fmtstrcpy(fp, str);
-}
-
-int
-Sconv(Fmt *fp)
-{
- int i, c;
- char str[STRINGSZ], *p, *a;
-
- a = va_arg(fp->args, char*);
- p = str;
- for(i=0; i<sizeof(long); i++) {
- c = a[i] & 0xff;
- if(c >= 'a' && c <= 'z' ||
- c >= 'A' && c <= 'Z' ||
- c >= '0' && c <= '9' ||
- c == ' ' || c == '%') {
- *p++ = c;
- continue;
- }
- *p++ = '\\';
- switch(c) {
- case 0:
- *p++ = 'z';
- continue;
- case '\\':
- case '"':
- *p++ = c;
- continue;
- case '\n':
- *p++ = 'n';
- continue;
- case '\t':
- *p++ = 't';
- continue;
- }
- *p++ = (c>>6) + '0';
- *p++ = ((c>>3) & 7) + '0';
- *p++ = (c & 7) + '0';
- }
- *p = 0;
- return fmtstrcpy(fp, str);
-}
-
-void
-diag(char *fmt, ...)
-{
- char buf[STRINGSZ], *tn;
- va_list arg;
-
- tn = "??none??";
- if(curtext != P && curtext->from.sym != S)
- tn = curtext->from.sym->name;
- va_start(arg, fmt);
- vseprint(buf, buf+sizeof(buf), fmt, arg);
- va_end(arg);
- print("%s: %s\n", tn, buf);
-
- nerrors++;
- if(nerrors > 10) {
- print("too many errors\n");
- errorexit();
- }
-}
diff --git a/sys/src/cmd/7l/mkfile b/sys/src/cmd/7l/mkfile
deleted file mode 100644
index a8e6d210c..000000000
--- a/sys/src/cmd/7l/mkfile
+++ /dev/null
@@ -1,33 +0,0 @@
-</$objtype/mkfile
-
-TARG=7l
-OFILES=\
- asm.$O\
- list.$O\
- noop.$O\
- obj.$O\
- optab.$O\
- pass.$O\
- sched.$O\
- span.$O\
- enam.$O\
- compat.$O\
-
-HFILES=\
- l.h\
- ../7c/7.out.h\
-
-BIN=/$objtype/bin
-</sys/src/cmd/mkone
-
-enam.$O: ../7c/enam.c
- $CC $CFLAGS ../7c/enam.c
-
-x:V: $O.out
- $O.out -la -o/dev/null x.7
-
-test:V: $O.out
- rm -f xxx
- mv $O.out xxx
- ./xxx $OFILES
- cmp $O.out xxx
diff --git a/sys/src/cmd/7l/noop.c b/sys/src/cmd/7l/noop.c
deleted file mode 100644
index e7f9b655b..000000000
--- a/sys/src/cmd/7l/noop.c
+++ /dev/null
@@ -1,947 +0,0 @@
-#include "l.h"
-
-Prog *divuconst(Prog *, uvlong, int, int, int);
-Prog *divconst(Prog *, vlong, int, int, int);
-Prog *modconst(Prog *, vlong, int, int, int);
-void excise(Prog *);
-
-void
-noops(void)
-{
- Prog *p, *p1, *q, *q1, *q2;
- int o, curframe, curbecome, maxbecome, shift;
-
- /*
- * find leaf subroutines
- * become sizes
- * frame sizes
- * strip NOPs
- * expand RET and other macros
- * expand BECOME pseudo
- * use conditional moves where appropriate
- */
-
- if(debug['v'])
- Bprint(&bso, "%5.2f noops\n", cputime());
- Bflush(&bso);
-
- curframe = 0;
- curbecome = 0;
- maxbecome = 0;
- curtext = 0;
-
- q = P;
- for(p = firstp; p != P; p = p->link) {
-
- /* find out how much arg space is used in this TEXT */
- if(p->to.type == D_OREG && p->to.reg == REGSP)
- if(p->to.offset > curframe)
- curframe = p->to.offset;
-
- switch(p->as) {
- case ATEXT:
- if(curtext && curtext->from.sym) {
- curtext->from.sym->frame = curframe;
- curtext->from.sym->become = curbecome;
- if(curbecome > maxbecome)
- maxbecome = curbecome;
- }
- curframe = 0;
- curbecome = 0;
-
- p->mark |= LABEL|LEAF|SYNC;
- if(p->link)
- p->link->mark |= LABEL;
- curtext = p;
- break;
-
- /* don't mess with what we don't understand */
- case AWORD:
- case ACALL_PAL:
- /* etc. */
- p->mark |= LABEL;
- for(q1=p->link; q1 != P; q1 = q1->link) {
- q1->mark |= LABEL;
- if(q1->as != AXORNOT) /* used as NOP in PALcode */
- break;
- }
- break;
-
- case ARET:
- /* special form of RET is BECOME */
- if(p->from.type == D_CONST)
- if(p->from.offset > curbecome)
- curbecome = p->from.offset;
-
- if(p->link != P)
- p->link->mark |= LABEL;
- break;
-
- case ANOP:
- q1 = p->link;
- q->link = q1; /* q is non-nop */
- q1->mark |= p->mark;
- continue;
-
- case AJSR:
- if(curtext != P)
- curtext->mark &= ~LEAF;
- case ABEQ:
- case ABNE:
- case ABGE:
- case ABGT:
- case ABLE:
- case ABLT:
- case ABLBC:
- case ABLBS:
- case AFBEQ:
- case AFBNE:
- case AFBGE:
- case AFBGT:
- case AFBLE:
- case AFBLT:
- case AJMP:
- p->mark |= BRANCH;
- q1 = p->cond;
- if(q1 != P) {
- while(q1->as == ANOP) {
- q1 = q1->link;
- p->cond = q1;
- }
- if(!(q1->mark & LEAF)) {
- if (q1->mark & LABEL)
- q1->mark |= LABEL2;
- else
- q1->mark |= LABEL;
- }
- } else
- p->mark |= LABEL;
- q1 = p->link;
- if(q1 != P) {
- if (q1->mark & LABEL)
- q1->mark |= LABEL2;
- else
- q1->mark |= LABEL;
- }
- else
- p->mark |= LABEL; /* ??? */
- break;
-
- case ADIVQ:
- case ADIVQU:
- case AMODQ:
- case AMODQU:
- case ADIVL:
- case ADIVLU:
- case AMODL:
- case AMODLU:
- if(p->from.type == D_CONST /*&& !debug['d']*/)
- continue;
- if(prog_divq == P)
- initdiv();
- if(curtext != P)
- curtext->mark &= ~LEAF;
- break;
- }
- q = p;
- }
-
- if(curtext && curtext->from.sym) {
- curtext->from.sym->frame = curframe;
- curtext->from.sym->become = curbecome;
- if(curbecome > maxbecome)
- maxbecome = curbecome;
- }
-
- if(debug['b'])
- print("max become = %d\n", maxbecome);
- xdefine("ALEFbecome", STEXT, maxbecome);
-
- curtext = 0;
- for(p = firstp; p != P; p = p->link) {
- switch(p->as) {
- case ATEXT:
- curtext = p;
- break;
- case AJSR:
- if(curtext != P && curtext->from.sym != S && curtext->to.offset >= 0) {
- o = maxbecome - curtext->from.sym->frame;
- if(o <= 0)
- break;
- /* calling a become or calling a variable */
- if(p->to.sym == S || p->to.sym->become) {
- curtext->to.offset += o;
- if(debug['b']) {
- curp = p;
- print("%D calling %D increase %d\n",
- &curtext->from, &p->to, o);
- }
- }
- }
- break;
- }
- }
-
- for(p = firstp; p != P; p = p->link) {
- o = p->as;
- switch(o) {
- case ATEXT:
- curtext = p;
- autosize = p->to.offset + 8;
- if(autosize <= 8)
- if(curtext->mark & LEAF) {
- p->to.offset = -8;
- autosize = 0;
- }
- if (autosize & 4)
- autosize += 4;
-
- q = p;
- if(autosize)
- q = genIRR(p, ASUBQ, autosize, NREG, REGSP);
- else if(!(curtext->mark & LEAF)) {
- if(debug['v'])
- Bprint(&bso, "save suppressed in: %s\n",
- curtext->from.sym->name);
- Bflush(&bso);
- curtext->mark |= LEAF;
- }
-
- if(curtext->mark & LEAF) {
- if(curtext->from.sym)
- curtext->from.sym->type = SLEAF;
- break;
- }
-
- genstore(q, AMOVL, REGLINK, 0LL, REGSP);
- break;
-
- case ARET:
- nocache(p);
- if(p->from.type == D_CONST)
- goto become;
- if(curtext->mark & LEAF) {
- if(!autosize) {
- p->as = AJMP;
- p->from = zprg.from;
- p->to.type = D_OREG;
- p->to.offset = 0;
- p->to.reg = REGLINK;
- break;
- }
-
- p->as = AADDQ;
- p->from.type = D_CONST;
- p->from.offset = autosize;
- p->to.type = D_REG;
- p->to.reg = REGSP;
-
- q = prg();
- q->as = AJMP;
- q->line = p->line;
- q->to.type = D_OREG;
- q->to.offset = 0;
- q->to.reg = REGLINK;
- q->mark |= BRANCH;
-
- q->link = p->link;
- p->link = q;
- break;
- }
- p->as = AMOVL;
- p->from.type = D_OREG;
- p->from.offset = 0;
- p->from.reg = REGSP;
- p->to.type = D_REG;
- p->to.reg = REGLINK;
-
- q = p;
- if(autosize)
- q = genIRR(p, AADDQ, autosize, NREG, REGSP);
-
- q1 = prg();
- q1->as = AJMP;
- q1->line = p->line;
- q1->to.type = D_OREG;
- q1->to.offset = 0;
- q1->to.reg = REGLINK;
- q1->mark |= BRANCH;
-
- q1->link = q->link;
- q->link = q1;
- break;
-
- become:
- if(curtext->mark & LEAF) {
-
- q = prg();
- q->line = p->line;
- q->as = AJMP;
- q->from = zprg.from;
- q->to = p->to;
- q->cond = p->cond;
- q->link = p->link;
- q->mark |= BRANCH;
- p->link = q;
-
- p->as = AADDQ;
- p->from = zprg.from;
- p->from.type = D_CONST;
- p->from.offset = autosize;
- p->to = zprg.to;
- p->to.type = D_REG;
- p->to.reg = REGSP;
-
- break;
- }
- q = prg();
- q->line = p->line;
- q->as = AJMP;
- q->from = zprg.from;
- q->to = p->to;
- q->cond = p->cond;
- q->link = p->link;
- q->mark |= BRANCH;
- p->link = q;
-
- q = genIRR(p, AADDQ, autosize, NREG, REGSP);
-
- p->as = AMOVL;
- p->from = zprg.from;
- p->from.type = D_OREG;
- p->from.offset = 0;
- p->from.reg = REGSP;
- p->to = zprg.to;
- p->to.type = D_REG;
- p->to.reg = REGLINK;
-
- break;
-
-
- /* All I wanted was a MOVB... */
- case AMOVB:
- case AMOVW:
- /* rewrite sign extend; could use v3 extension in asmout case 1 */
- if (p->to.type == D_REG) {
- nocache(p);
- shift = (p->as == AMOVB) ? (64-8) : (64-16);
- if (p->from.type == D_REG) {
- p->as = ASLLQ;
- p->reg = p->from.reg;
- p->from.type = D_CONST;
- p->from.offset = shift;
- q = genIRR(p, ASRAQ, shift, p->to.reg, p->to.reg);
- break;
- }
- else {
- p->as = (p->as == AMOVB) ? AMOVBU : AMOVWU;
- q = genIRR(p, ASLLQ, shift, p->to.reg, p->to.reg);
- q = genIRR(q, ASRAQ, shift, p->to.reg, p->to.reg);
- }
- }
- /* fall through... */
- case AMOVBU:
- case AMOVWU:
- if(!debug['x'])
- break; /* use BWX extension */
- o = p->as;
- nocache(p);
- if (p->from.type == D_OREG) {
- if (p->to.type != D_REG)
- break;
- p->as = AMOVQU;
- q = genXXX(p, AEXTBL, &p->to, REGTMP2, &p->to);
- if (o == AMOVW || o == AMOVWU)
- q->as = AEXTWL;
- p->to.reg = REGTMP2;
- if ((p->from.offset & 7) != 0 || aclass(&p->from) != C_SOREG) {
- q1 = genXXX(p, AMOVA, &p->from, NREG, &q->to);
- q1->from.offset &= 7;
- q->from = q->to;
- }
- else
- q->from.reg = p->from.reg;
- if (o == AMOVB || o == AMOVW)
- genXXX(q, o, &q->to, NREG, &q->to);
- }
- else if (p->to.type == D_OREG) {
- if (aclass(&p->from) == C_ZCON) {
- p->from.type = D_REG;
- p->from.reg = REGZERO;
- }
- else if (p->from.type != D_REG)
- break;
- p->as = AMOVQU;
- q = genRRR(p, AMSKBL, p->to.reg, REGTMP2, REGTMP2);
- q1 = genRRR(q, AINSBL, p->to.reg, p->from.reg, REGTMP);
- if (o == AMOVW || o == AMOVWU) {
- q->as = AMSKWL;
- q1->as = AINSWL;
- }
- q2 = genXXX(q1, AOR, &q->to, REGTMP, &q->to);
- genXXX(q2, AMOVQU, &q->to, NREG, &p->to);
- p->from = p->to;
- p->to = q->to;
- if ((p->from.offset & 7) != 0 || aclass(&p->from) != C_SOREG) {
- q->from.reg = REGTMP;
- q1->from.reg = REGTMP;
- q = genXXX(p, AMOVA, &p->from, NREG, &q->from);
- q->from.offset &= 7;
- }
- }
- break;
-
- case ASLLL:
- p->as = ASLLQ;
- p = genXXX(p, AADDL, &p->to, REGZERO, &p->to);
- break;
-
- case ASRLL:
- if (p->to.type != D_REG) {
- diag("illegal dest type in %P", p);
- break;
- }
- if (p->reg == NREG)
- p->reg = p->to.reg;
-
- q = genXXX(p, ASRLQ, &p->from, REGTMP, &p->to);
-
- p->as = AZAP;
- p->from.type = D_CONST;
- p->from.offset = 0xf0;
- p->to.reg = REGTMP;
- p = q;
-
- p = genXXX(p, AADDL, &p->to, REGZERO, &p->to);
- break;
-
- case ASRAL:
- p->as = ASRAQ;
- break;
-
- case ADIVQ:
- case ADIVQU:
- case AMODQ:
- case AMODQU:
- case ADIVL:
- case ADIVLU:
- case AMODL:
- case AMODLU:
- /* if (debug['d'])
- print("%P\n", p); */
- if(p->to.type != D_REG)
- break;
- /*if(debug['d'] && p->from.type == D_CONST) {
- q = genRRR(p, p->as, REGTMP, p->reg, p->to.reg);
- p->as = AMOVQ;
- p->reg = NREG;
- p->to.reg = REGTMP;
- p = q;
- }*/
- if(p->from.type == D_CONST) {
- if (p->reg == NREG)
- p->reg = p->to.reg;
- switch (p->as) {
- case ADIVQ:
- q = divconst(p, p->from.offset, p->reg, p->to.reg, 64);
- break;
- case ADIVQU:
- q = divuconst(p, p->from.offset, p->reg, p->to.reg, 64);
- break;
- case AMODQ:
- q = modconst(p, p->from.offset, p->reg, p->to.reg, 64);
- break;
- case AMODQU:
- q = divuconst(p, p->from.offset, p->reg, REGTMP2, 64);
- q = genIRR(q, AMULQ, p->from.offset, REGTMP2, REGTMP2);
- q = genRRR(q, ASUBQ, REGTMP2, p->reg, p->to.reg);
- break;
- case ADIVL:
- q = divconst(p, p->from.offset, p->reg, p->to.reg, 32);
- break;
- case ADIVLU:
- q = divuconst(p, p->from.offset, p->reg, p->to.reg, 32);
- break;
- case AMODL:
- q = modconst(p, p->from.offset, p->reg, p->to.reg, 32);
- break;
- case AMODLU:
- q = divuconst(p, p->from.offset, p->reg, REGTMP2, 32);
- q = genIRR(q, AMULQ, p->from.offset, REGTMP2, REGTMP2);
- q = genRRR(q, ASUBQ, REGTMP2, p->reg, p->to.reg);
- break;
- }
- excise(p);
- p = q;
- break;
- }
- if(p->from.type != D_REG){
- diag("bad instruction %P", p);
- break;
- }
- o = p->as;
- q = genIRR(p, ASUBQ, 16LL, NREG, REGSP);
- q = genstore(q, AMOVQ, p->from.reg, 8LL, REGSP);
- if (o == ADIVL || o == ADIVL || o == AMODL || o == AMODLU)
- q->as = AMOVL;
-
- q = genRRR(q, AMOVQ, p->reg, NREG, REGTMP);
- if (p->reg == NREG)
- q->from.reg = p->to.reg;
-
- /* CALL appropriate */
- q1 = prg();
- q1->link = q->link;
- q->link = q1;
-
- q1->as = AJSR;
- q1->line = p->line;
- q1->to.type = D_BRANCH;
- q1->cond = divsubr(o);
- q1->mark |= BRANCH;
- q = q1;
-
- q = genRRR(q, AMOVQ, REGTMP, NREG, p->to.reg);
- q = genIRR(q, AADDQ, 16LL, NREG, REGSP);
- excise(p);
- p = q;
- break;
-
- /* Attempt to replace {cond. branch, mov} with a cmov */
- /* XXX warning: this is all a bit experimental */
- case ABEQ:
- case ABNE:
- case ABGE:
- case ABGT:
- case ABLE:
- case ABLT:
- case ABLBC:
- case ABLBS:
- q = p->link;
- if (q == P)
- break;
- q1 = q->link;
- if (q1 != p->cond || q1 == P)
- break;
-/*print("%P\n", q); /* */
- if (q->to.type != D_REG)
- break;
- if (q->from.type != D_REG && (q->from.type != D_CONST || q->from.name != D_NONE))
- break;
- if (q->mark&LABEL2)
- break;
-/* print("%P\n", q); /* */
- if (q->as != AMOVQ) /* XXX can handle more than this! */
- break;
- q->as = (p->as^1) + ACMOVEQ-ABEQ; /* sleazy hack */
- q->reg = p->from.reg; /* XXX check CMOVx operand order! */
- excise(p); /* XXX p's LABEL? */
- if (!(q1->mark&LABEL2))
- q1->mark &= ~LABEL;
- break;
- case AFBEQ:
- case AFBNE:
- case AFBGE:
- case AFBGT:
- case AFBLE:
- case AFBLT:
- q = p->link;
- if (q == P)
- break;
- q1 = q->link;
- if (q1 != p->cond || q1 == P)
- break;
- if (q->from.type != D_FREG || q->to.type != D_FREG)
- break;
-/* print("%P\n", q); /* */
- if (q->mark&LABEL2)
- break;
- if (q->as != AMOVT) /* XXX can handle more than this! */
- break;
- q->as = (p->as^1) + AFCMOVEQ-AFBEQ; /* sleazy hack */
- q->reg = p->from.reg; /* XXX check CMOVx operand order! */
- excise(p); /* XXX p's LABEL? */
- if (!(q1->mark&LABEL2))
- q1->mark &= ~LABEL;
- break;
- }
- }
-
- curtext = P;
- q = P; /* p - 1 */
- q1 = firstp; /* top of block */
- o = 0; /* count of instructions */
- for(p = firstp; p != P; p = p1) {
- p1 = p->link;
- o++;
- if(p->mark & NOSCHED){
- if(q1 != p){
- sched(q1, q);
- }
- for(; p != P; p = p->link){
- if(!(p->mark & NOSCHED))
- break;
- q = p;
- }
- p1 = p;
- q1 = p;
- o = 0;
- continue;
- }
- if(p->mark & (LABEL|SYNC)) {
- if(q1 != p)
- sched(q1, q);
- q1 = p;
- o = 1;
- }
- if(p->mark & (BRANCH|SYNC)) {
- sched(q1, p);
- q1 = p1;
- o = 0;
- }
- if(o >= NSCHED) {
- sched(q1, p);
- q1 = p1;
- o = 0;
- }
- q = p;
- }
-}
-
-void
-nocache(Prog *p)
-{
- p->optab = 0;
- p->from.class = 0;
- p->to.class = 0;
-}
-
-/* XXX use of this may lose important LABEL flags, check that this isn't happening (or fix) */
-void
-excise(Prog *p)
-{
- Prog *q;
-
- q = p->link;
- *p = *q;
-}
-
-void
-initdiv(void)
-{
- Sym *s1, *s2, *s3, *s4, *s5, *s6, *s7, *s8;
- Prog *p;
-
- s1 = lookup("_divq", 0);
- s2 = lookup("_divqu", 0);
- s3 = lookup("_modq", 0);
- s4 = lookup("_modqu", 0);
- s5 = lookup("_divl", 0);
- s6 = lookup("_divlu", 0);
- s7 = lookup("_modl", 0);
- s8 = lookup("_modlu", 0);
- for(p = firstp; p != P; p = p->link)
- if(p->as == ATEXT) {
- if(p->from.sym == s1)
- prog_divq = p;
- if(p->from.sym == s2)
- prog_divqu = p;
- if(p->from.sym == s3)
- prog_modq = p;
- if(p->from.sym == s4)
- prog_modqu = p;
- if(p->from.sym == s5)
- prog_divl = p;
- if(p->from.sym == s6)
- prog_divlu = p;
- if(p->from.sym == s7)
- prog_modl = p;
- if(p->from.sym == s8)
- prog_modlu = p;
- }
- if(prog_divq == P) {
- diag("undefined: %s", s1->name);
- prog_divq = curtext;
- }
- if(prog_divqu == P) {
- diag("undefined: %s", s2->name);
- prog_divqu = curtext;
- }
- if(prog_modq == P) {
- diag("undefined: %s", s3->name);
- prog_modq = curtext;
- }
- if(prog_modqu == P) {
- diag("undefined: %s", s4->name);
- prog_modqu = curtext;
- }
- if(prog_divl == P) {
- diag("undefined: %s", s5->name);
- prog_divl = curtext;
- }
- if(prog_divlu == P) {
- diag("undefined: %s", s6->name);
- prog_divlu = curtext;
- }
- if(prog_modl == P) {
- diag("undefined: %s", s7->name);
- prog_modl = curtext;
- }
- if(prog_modlu == P) {
- diag("undefined: %s", s8->name);
- prog_modlu = curtext;
- }
-}
-
-Prog *
-divsubr(int o)
-{
- switch(o) {
- case ADIVQ:
- return prog_divq;
- case ADIVQU:
- return prog_divqu;
- case AMODQ:
- return prog_modq;
- case AMODQU:
- return prog_modqu;
- case ADIVL:
- return prog_divl;
- case ADIVLU:
- return prog_divlu;
- case AMODL:
- return prog_modl;
- case AMODLU:
- return prog_modlu;
- default:
- diag("bad op %A in divsubr", o);
- return prog_modlu;
- }
-}
-
-Prog*
-divuconst(Prog *p, uvlong y, int num, int quot, int bits)
-{
- int logy, i, shift;
- uvlong k, m, n, mult, tmp, msb;
-
- if(num == NREG)
- num = quot;
- if(y == 0) {
- diag("division by zero");
- return p;
- }
- if(y == 1)
- return genRRR(p, AMOVQ, num, NREG, quot);
-
- if(num == REGTMP || quot == REGTMP)
- diag("bad register in divuconst");
-
- tmp = y;
- for(logy = -1; tmp != 0; logy++)
- tmp >>= 1;
-
- msb = (1LL << (bits-1));
- if((y & (y-1)) == 0) /* power of 2 */
- return genIRR(p, ASRLQ, logy, num, quot);
- if(y > msb)
- return genIRR(p, ACMPUGE, y, num, quot);
-
- /* k = (-2^(bits+logy)) % y */
- m = msb/y;
- n = msb%y;
- if(debug['d'])
- Bprint(&bso, "divuconst: y=%lld msb=%lld m=%lld n=%lld\n",
- y, msb, m, n);
- for(i = 0; i <= logy; i++) {
- m *= 2LL;
- n *= 2LL;
- if(n > y) {
- m += 1LL;
- n -= y;
- }
- }
- if(debug['d'])
- Bprint(&bso, "divuconst: y=%lld msb=%lld m=%lld n=%lld\n",
- y, msb, m, n);
- k = y - n;
- if(k > (1LL << logy)) {
- mult = 2LL*m + 1LL;
- bits++;
- } else
- mult = m + 1LL;
-
- shift = bits + logy;
- if(debug['d'])
- Bprint(&bso, "divuconst: y=%lld mult=%lld shift=%d bits=%d k=%lld\n",
- y, mult, shift, bits, k);
- if(bits <= 32) {
- p = genIRR(p, AMOVQ, mult, NREG, REGTMP);
- p = genRRR(p, AEXTLL, REGZERO, num, quot);
- p = genRRR(p, AMULQ, REGTMP, quot, quot);
- p = genIRR(p, ASRLQ, shift, quot, quot);
- p = genRRR(p, AADDL, quot, REGZERO, quot);
- return p;
- }
- if(bits == 33) {
- if(shift < 64) {
- mult <<= (64-shift);
- shift = 64;
- }
- p = genIRR(p, AMOVQ, mult, NREG, REGTMP);
- p = genRRR(p, AEXTLL, REGZERO, num, quot);
- p = genRRR(p, AUMULH, REGTMP, quot, quot);
- if(shift != 64)
- p = genIRR(p, ASRLQ, shift-64, quot, quot);
- p = genRRR(p, AADDL, quot, REGZERO, quot);
- return p;
- }
- if(bits <= 64) {
- if(shift < 64) {
- mult <<= (64-shift);
- shift = 64;
- }
- p = genIRR(p, AMOVQ, mult, NREG, REGTMP);
- p = genRRR(p, AUMULH, REGTMP, num, quot);
- if(shift != 64)
- p = genIRR(p, ASRLQ, shift-64, quot, quot);
- return p;
- }
-
- p = genIRR(p, AMOVQ, mult, NREG, REGTMP);
- p = genRRR(p, AUMULH, REGTMP, num, REGTMP);
- p = genRRR(p, AADDQ, num, REGTMP, quot);
- p = genRRR(p, ACMPUGT, REGTMP, quot, REGTMP);
- p = genIRR(p, ASLLQ, 128-shift, REGTMP, REGTMP);
- p = genIRR(p, ASRLQ, shift-64, quot, quot);
- p = genRRR(p, AADDQ, REGTMP, quot, quot);
- return p;
-}
-
-Prog *
-divconst(Prog *p, vlong y, int num, int quot, int bits)
-{
- vlong yabs;
- Prog *q;
-
- yabs = y;
- if (y < 0)
- yabs = -y;
- q = genRRR(p, ASUBQ, num, REGZERO, REGTMP2);
- if (num != quot)
- q = genRRR(q, AMOVQ, num, NREG, quot);
- q = genRRR(q, ACMOVGT, REGTMP2, REGTMP2, quot);
- q = divuconst(q, yabs, quot, quot, bits-1);
- q = genRRR(q, ASUBQ, quot, REGZERO, REGTMP);
- q = genRRR(q, (y < 0)? ACMOVLT: ACMOVGT, REGTMP, REGTMP2, quot);
- return q;
-}
-
-Prog *
-modconst(Prog *p, vlong y, int num, int quot, int bits)
-{
- vlong yabs;
- Prog *q;
-
- yabs = y;
- if (y < 0)
- yabs = -y;
- q = genRRR(p, ASUBQ, num, REGZERO, REGTMP2);
- q = genRRR(q, ACMOVLT, num, REGTMP2, REGTMP2);
- q = divuconst(q, yabs, REGTMP2, REGTMP2, bits-1);
- q = genRRR(q, ASUBQ, REGTMP2, REGZERO, REGTMP);
- q = genRRR(q, ACMOVLT, REGTMP, num, REGTMP2);
- q = genIRR(q, AMULQ, yabs, REGTMP2, REGTMP2);
- q = genRRR(q, ASUBQ, REGTMP2, num, quot);
- return q;
-}
-
-Prog *
-genXXX(Prog *q, int op, Adr *from, int reg, Adr *to)
-{
- Prog *p;
-
- p = prg();
- p->as = op;
- p->line = q->line;
- p->from = *from;
- p->to = *to;
- p->reg = reg;
- p->link = q->link;
- q->link = p;
- return p;
-}
-
-Prog *
-genRRR(Prog *q, int op, int from, int reg, int to)
-{
- Prog *p;
-
- p = prg();
- p->as = op;
- p->line = q->line;
- p->from.type = D_REG;
- p->from.reg = from;
- p->to.type = D_REG;
- p->to.reg = to;
- p->reg = reg;
- p->link = q->link;
- q->link = p;
- return p;
-}
-
-Prog *
-genIRR(Prog *q, int op, vlong v, int reg, int to)
-{
- Prog *p;
-
- p = prg();
- p->as = op;
- p->line = q->line;
- p->from.type = D_CONST;
- p->from.offset = v;
- p->to.type = D_REG;
- p->to.reg = to;
- p->reg = reg;
- p->link = q->link;
- q->link = p;
- return p;
-}
-
-Prog *
-genstore(Prog *q, int op, int from, vlong offset, int to)
-{
- Prog *p;
-
- p = prg();
- p->as = op;
- p->line = q->line;
- p->from.type = D_REG;
- p->from.reg = from;
- p->to.type = D_OREG;
- p->to.reg = to;
- p->to.offset = offset;
- p->reg = NREG;
- p->link = q->link;
- q->link = p;
- return p;
-}
-
-Prog *
-genload(Prog *q, int op, vlong offset, int from, int to)
-{
- Prog *p;
-
- p = prg();
- p->as = op;
- p->line = q->line;
- p->from.type = D_OREG;
- p->from.offset = offset;
- p->from.reg = from;
- p->to.type = D_REG;
- p->to.reg = to;
- p->reg = NREG;
- p->link = q->link;
- q->link = p;
- return p;
-}
diff --git a/sys/src/cmd/7l/obj.c b/sys/src/cmd/7l/obj.c
deleted file mode 100644
index 793e5825e..000000000
--- a/sys/src/cmd/7l/obj.c
+++ /dev/null
@@ -1,1350 +0,0 @@
-#include "l.h"
-#include <ar.h>
-
-#ifndef DEFAULT
-#define DEFAULT '9'
-#endif
-
-char *noname = "<none>";
-char symname[] = SYMDEF;
-char thechar = '7';
-char *thestring = "alpha";
-
-/*
- * -H0 -T0x12000004C -D0x140000000 is abbrev unix
- * -H1 -T0x20000000 -R4 is bootp() format
- * -H2 -T8224 -R8192 is plan9 format
- */
-
-void
-main(int argc, char *argv[])
-{
- int c;
- char *a;
-
- Binit(&bso, 1, OWRITE);
- cout = -1;
- listinit();
- outfile = 0;
- nerrors = 0;
- curtext = P;
- HEADTYPE = -1;
- INITTEXT = -1;
- INITDAT = -1;
- INITRND = -1;
- INITENTRY = 0;
-
- ARGBEGIN {
- default:
- c = ARGC();
- if(c >= 0 && c < sizeof(debug))
- debug[c]++;
- break;
- case 'o':
- outfile = ARGF();
- break;
- case 'E':
- a = ARGF();
- if(a)
- INITENTRY = a;
- break;
- case 'T':
- a = ARGF();
- if(a)
- INITTEXT = atolwhex(a);
- break;
- case 'D':
- a = ARGF();
- if(a)
- INITDAT = atolwhex(a);
- break;
- case 'R':
- a = ARGF();
- if(a)
- INITRND = atolwhex(a);
- break;
- case 'H':
- a = ARGF();
- if(a)
- HEADTYPE = atolwhex(a);
- /* do something about setting INITTEXT */
- break;
- } ARGEND
-
- USED(argc);
-
- if(*argv == 0) {
- diag("usage: 7l [-options] objects");
- errorexit();
- }
- if(!debug['9'] && !debug['B'] && !debug['U'])
- debug[DEFAULT] = 1;
- if(HEADTYPE == -1) {
- if(debug['U'])
- HEADTYPE = 0;
- if(debug['B'])
- HEADTYPE = 1;
- if(debug['9'])
- HEADTYPE = 2;
- }
- switch(HEADTYPE) {
- default:
- diag("unknown -H option");
- errorexit();
-
- case 0: /* unix simple */
- HEADR = 32L+80L;
- if(INITTEXT == -1)
- INITTEXT = 0x120000070LL; /* BUG */
- if(INITDAT == -1)
- INITDAT = 0x140000000LL; /* BUG */
- if(INITRND == -1)
- INITRND = 0;
- break;
-
- case 1: /* boot */
- HEADR = 32L+84L;
- if(INITTEXT == -1)
- INITTEXT = 0x20000074L;
- if(INITDAT == -1)
- INITDAT = 0;
- if(INITRND == -1)
- INITRND = 8;
- break;
- case 2: /* plan 9 */
- HEADR = 32L;
- if(INITTEXT == -1)
- INITTEXT = 8224;
- if(INITDAT == -1)
- INITDAT = 0;
- if(INITRND == -1)
- INITRND = 8192;
- break;
- case 3: /* ``headerless'' tftp boot -- uses branch as magic */
- HEADR = 32L;
- if(INITTEXT == -1)
- INITTEXT = 0x20000020L;
- if(INITDAT == -1)
- INITDAT = 0;
- if(INITRND == -1)
- INITRND = 8;
- break;
- }
- if(INITDAT != 0 && INITRND != 0)
- print("warning: -D0x%lux is ignored because of -R0x%lux\n",
- INITDAT, INITRND);
- if(debug['v'])
- Bprint(&bso, "HEADER = -H0x%d -T0x%lux -D0x%lux -R0x%lux\n",
- HEADTYPE, INITTEXT, INITDAT, INITRND);
- Bflush(&bso);
- zprg.as = AGOK;
- zprg.reg = NREG;
- zprg.from.name = D_NONE;
- zprg.from.type = D_NONE;
- zprg.from.reg = NREG;
- zprg.to = zprg.from;
- buildop();
- histgen = 0;
- textp = P;
- datap = P;
- pc = 0;
- dtype = 4;
- if(outfile == 0)
- outfile = "7.out";
- cout = create(outfile, 1, 0775);
- if(cout < 0) {
- diag("%s: cannot create", outfile);
- errorexit();
- }
- nuxiinit();
-
- version = 0;
- cbp = buf.cbuf;
- cbc = sizeof(buf.cbuf);
- firstp = prg();
- lastp = firstp;
-
- if(INITENTRY == 0) {
- INITENTRY = "_main";
- if(debug['p'])
- INITENTRY = "_mainp";
- if(!debug['l'])
- lookup(INITENTRY, 0)->type = SXREF;
- } else
- lookup(INITENTRY, 0)->type = SXREF;
-
- while(*argv)
- objfile(*argv++);
- if(!debug['l'])
- loadlib();
- firstp = firstp->link;
- if(firstp == P)
- goto out;
- patch();
- if(debug['p'])
- if(debug['1'])
- doprof1();
- else
- doprof2();
- follow();
- if(firstp == P)
- goto out;
- noops();
- dodata(); /* is before follow() on other arch */
- span();
- asmb();
- undef();
-
-out:
- if(debug['v']) {
- Bprint(&bso, "%5.2f cpu time\n", cputime());
- Bprint(&bso, "%ld memory used\n", thunk);
- Bprint(&bso, "%d sizeof adr\n", sizeof(Adr));
- Bprint(&bso, "%d sizeof prog\n", sizeof(Prog));
- }
- Bflush(&bso);
- errorexit();
-}
-
-void
-loadlib(void)
-{
- int i;
- long h;
- Sym *s;
-
-loop:
- xrefresolv = 0;
- for(i=0; i<libraryp; i++) {
- if(debug['v'])
- Bprint(&bso, "%5.2f autolib: %s\n", cputime(), library[i]);
- objfile(library[i]);
- }
- if(xrefresolv)
- for(h=0; h<nelem(hash); h++)
- for(s = hash[h]; s != S; s = s->link)
- if(s->type == SXREF)
- goto loop;
-}
-
-void
-errorexit(void)
-{
-
- Bflush(&bso);
- if(nerrors) {
- if(cout >= 0)
- remove(outfile);
- exits("error");
- }
- exits(0);
-}
-
-void
-objfile(char *file)
-{
- long off, esym, cnt, l;
- int f, work;
- Sym *s;
- char magbuf[SARMAG];
- char name[100], pname[150];
- struct ar_hdr arhdr;
- char *e, *start, *stop;
-
- if(file[0] == '-' && file[1] == 'l') {
- if(debug['9'])
- snprint(name, sizeof name, "/%s/lib/lib%s.a", thestring, file+2);
- else
- snprint(name, sizeof name, "/usr/%clib/lib%s.a", thechar, file+2);
- file = name;
- }
- if(debug['v'])
- Bprint(&bso, "%5.2f ldobj: %s\n", cputime(), file);
- Bflush(&bso);
- f = open(file, 0);
- if(f < 0) {
- diag("cannot open file: %s", file);
- errorexit();
- }
- l = read(f, magbuf, SARMAG);
- if(l != SARMAG || strncmp(magbuf, ARMAG, SARMAG)){
- /* load it as a regular file */
- l = seek(f, 0L, 2);
- seek(f, 0L, 0);
- ldobj(f, l, file);
- close(f);
- return;
- }
-
- if(debug['v'])
- Bprint(&bso, "%5.2f ldlib: %s\n", cputime(), file);
- l = read(f, &arhdr, SAR_HDR);
- if(l != SAR_HDR) {
- diag("%s: short read on archive file symbol header", file);
- goto out;
- }
- if(strncmp(arhdr.name, symname, strlen(symname))) {
- diag("%s: first entry not symbol header", file);
- goto out;
- }
-
- esym = SARMAG + SAR_HDR + atolwhex(arhdr.size);
- off = SARMAG + SAR_HDR;
-
- /*
- * just bang the whole symbol file into memory
- */
- seek(f, off, 0);
- cnt = esym - off;
- start = malloc(cnt + 10);
- cnt = read(f, start, cnt);
- if(cnt <= 0){
- close(f);
- return;
- }
- stop = &start[cnt];
- memset(stop, 0, 10);
-
- work = 1;
- while(work){
- if(debug['v'])
- Bprint(&bso, "%5.2f library pass: %s\n", cputime(), file);
- Bflush(&bso);
- work = 0;
- for(e = start; e < stop; e = strchr(e+5, 0) + 1) {
- s = lookup(e+5, 0);
- if(s->type != SXREF)
- continue;
- snprint(pname, sizeof pname, "%s(%s)", file, s->name);
- if(debug['v'])
- Bprint(&bso, "%5.2f library: %s\n", cputime(), pname);
- Bflush(&bso);
- l = e[1] & 0xff;
- l |= (e[2] & 0xff) << 8;
- l |= (e[3] & 0xff) << 16;
- l |= (e[4] & 0xff) << 24;
- seek(f, l, 0);
- l = read(f, &arhdr, SAR_HDR);
- if(l != SAR_HDR)
- goto bad;
- if(strncmp(arhdr.fmag, ARFMAG, sizeof(arhdr.fmag)))
- goto bad;
- l = atolwhex(arhdr.size);
- ldobj(f, l, pname);
- if(s->type == SXREF) {
- diag("%s: failed to load: %s", file, s->name);
- errorexit();
- }
- work = 1;
- xrefresolv = 1;
- }
- }
- return;
-
-bad:
- diag("%s: bad or out of date archive", file);
-out:
- close(f);
-}
-
-int
-zaddr(uchar *p, Adr *a, Sym *h[])
-{
- int i, c;
- vlong l;
- Sym *s;
- Auto *u;
-
- c = p[2];
- if(c < 0 || c > NSYM){
- print("sym out of range: %d\n", c);
- p[0] = ALAST+1;
- return 0;
- }
- a->type = p[0];
- a->reg = p[1];
- a->sym = h[p[2]];
- a->name = p[3];
- c = 4;
-
- if(a->reg < 0 || a->reg > NREG) {
- print("register out of range %d\n", a->reg);
- p[0] = ALAST+1;
- return 0; /* force real diagnostic */
- }
-
- switch(a->type) {
- default:
- print("unknown type %d\n", a->type);
- p[0] = ALAST+1;
- return 0; /* force real diagnostic */
-
- case D_NONE:
- case D_REG:
- case D_FREG:
- case D_PREG:
- case D_FCREG:
- case D_PCC:
- break;
-
- case D_BRANCH:
- case D_OREG:
- case D_CONST:
- a->offset = (uvlong)p[4] | ((uvlong)p[5]<<8L) |
- ((uvlong) p[6]<<16L) | ((uvlong) p[7]<<24L) |
- ((uvlong) p[8]<<32L) | ((uvlong) p[9]<<40L) |
- ((uvlong) p[10]<<48L) | ((uvlong) p[11]<<56L);
- c += 8;
- break;
-
- case D_SCONST:
- while(nhunk < NSNAME)
- gethunk();
- a->sval = (char*)hunk;
- nhunk -= NSNAME;
- hunk += NSNAME;
-
- memmove(a->sval, p+4, NSNAME);
- c += NSNAME;
- break;
-
- case D_FCONST:
- while(nhunk < sizeof(Ieee))
- gethunk();
- a->ieee = (Ieee*)hunk;
- nhunk -= sizeof(Ieee);
- hunk += sizeof(Ieee);
-
- a->ieee->l = p[4] | (p[5]<<8) |
- (p[6]<<16) | (p[7]<<24);
- a->ieee->h = p[8] | (p[9]<<8) |
- (p[10]<<16) | (p[11]<<24);
- c += 8;
- break;
- }
- s = a->sym;
- if(s == S)
- return c;
- i = a->name;
- if(i != D_AUTO && i != D_PARAM)
- return c;
-
- l = a->offset;
- for(u=curauto; u; u=u->link)
- if(u->sym == s)
- if(u->type == i) {
- if(u->offset > l)
- u->offset = l;
- return c;
- }
-
- while(nhunk < sizeof(Auto))
- gethunk();
- u = (Auto*)hunk;
- nhunk -= sizeof(Auto);
- hunk += sizeof(Auto);
-
- u->link = curauto;
- curauto = u;
- u->sym = s;
- u->offset = l;
- u->type = i;
- return c;
-}
-
-void
-addlib(char *obj)
-{
- char name[1024], comp[256], *p;
- int i;
-
- if(histfrogp <= 0)
- return;
-
- if(histfrog[0]->name[1] == '/') {
- name[0] = 0;
- i = 1;
- } else
- if(histfrog[0]->name[1] == '.') {
- snprint(name, sizeof name, ".");
- i = 0;
- } else {
- if(debug['9'])
- snprint(name, sizeof name, "/%s/lib", thestring);
- else
- snprint(name, sizeof name, "/usr/%clib", thechar);
- i = 0;
- }
-
- for(; i<histfrogp; i++) {
- snprint(comp, sizeof comp, histfrog[i]->name+1);
- for(;;) {
- p = strstr(comp, "$O");
- if(p == 0)
- break;
- memmove(p+1, p+2, strlen(p+2)+1);
- p[0] = thechar;
- }
- for(;;) {
- p = strstr(comp, "$M");
- if(p == 0)
- break;
- if(strlen(comp)+strlen(thestring)-2+1 >= sizeof comp) {
- diag("library component too long");
- return;
- }
- memmove(p+strlen(thestring), p+2, strlen(p+2)+1);
- memmove(p, thestring, strlen(thestring));
- }
- if(strlen(name) + strlen(comp) + 3 >= sizeof(name)) {
- diag("library component too long");
- return;
- }
- strcat(name, "/");
- strcat(name, comp);
- }
- for(i=0; i<libraryp; i++)
- if(strcmp(name, library[i]) == 0)
- return;
- if(libraryp == nelem(library)){
- diag("too many autolibs; skipping %s", name);
- return;
- }
-
- p = malloc(strlen(name) + 1);
- strcpy(p, name);
- library[libraryp] = p;
- p = malloc(strlen(obj) + 1);
- strcpy(p, obj);
- libraryobj[libraryp] = p;
- libraryp++;
-}
-
-void
-addhist(long line, int type)
-{
- Auto *u;
- Sym *s;
- int i, j, k;
-
- u = malloc(sizeof(Auto));
- s = malloc(sizeof(Sym));
- s->name = malloc(2*(histfrogp+1) + 1);
-
- u->sym = s;
- u->type = type;
- u->offset = line;
- u->link = curhist;
- curhist = u;
-
- j = 1;
- for(i=0; i<histfrogp; i++) {
- k = histfrog[i]->value;
- s->name[j+0] = k>>8;
- s->name[j+1] = k;
- j += 2;
- }
-}
-
-void
-histtoauto(void)
-{
- Auto *l;
-
- while(l = curhist) {
- curhist = l->link;
- l->link = curauto;
- curauto = l;
- }
-}
-
-void
-collapsefrog(Sym *s)
-{
- int i;
-
- /*
- * bad encoding of path components only allows
- * MAXHIST components. if there is an overflow,
- * first try to collapse xxx/..
- */
- for(i=1; i<histfrogp; i++)
- if(strcmp(histfrog[i]->name+1, "..") == 0) {
- memmove(histfrog+i-1, histfrog+i+1,
- (histfrogp-i-1)*sizeof(histfrog[0]));
- histfrogp--;
- goto out;
- }
-
- /*
- * next try to collapse .
- */
- for(i=0; i<histfrogp; i++)
- if(strcmp(histfrog[i]->name+1, ".") == 0) {
- memmove(histfrog+i, histfrog+i+1,
- (histfrogp-i-1)*sizeof(histfrog[0]));
- goto out;
- }
-
- /*
- * last chance, just truncate from front
- */
- memmove(histfrog+0, histfrog+1,
- (histfrogp-1)*sizeof(histfrog[0]));
-
-out:
- histfrog[histfrogp-1] = s;
-}
-
-void
-nopout(Prog *p)
-{
- p->as = ANOP;
- p->from.type = D_NONE;
- p->to.type = D_NONE;
-}
-
-uchar*
-readsome(int f, uchar *buf, uchar *good, uchar *stop, int max)
-{
- int n;
-
- n = stop - good;
- memmove(buf, good, stop - good);
- stop = buf + n;
- n = MAXIO - n;
- if(n > max)
- n = max;
- n = read(f, stop, n);
- if(n <= 0)
- return 0;
- return stop + n;
-}
-
-void
-ldobj(int f, long c, char *pn)
-{
- long ipc;
- Prog *p, *t;
- uchar *bloc, *bsize, *stop;
- Sym *h[NSYM], *s, *di;
- int v, o, r, skip;
-
- bsize = buf.xbuf;
- bloc = buf.xbuf;
- di = S;
-
-newloop:
- memset(h, 0, sizeof(h));
- version++;
- histfrogp = 0;
- ipc = pc;
- skip = 0;
-
-loop:
- if(c <= 0)
- goto eof;
- r = bsize - bloc;
- if(r < 100 && r < c) { /* enough for largest prog */
- bsize = readsome(f, buf.xbuf, bloc, bsize, c);
- if(bsize == 0)
- goto eof;
- bloc = buf.xbuf;
- goto loop;
- }
- o = bloc[0]; /* as */
- if(o <= AXXX || o >= ALAST) {
- diag("%s: line %ld: opcode out of range %d", pn, pc-ipc, o);
- print(" probably not a .7 file\n");
- errorexit();
- }
- if(o == ANAME) {
- stop = memchr(&bloc[3], 0, bsize-&bloc[3]);
- if(stop == 0){
- bsize = readsome(f, buf.xbuf, bloc, bsize, c);
- if(bsize == 0)
- goto eof;
- bloc = buf.xbuf;
- stop = memchr(&bloc[3], 0, bsize-&bloc[3]);
- if(stop == 0){
- fprint(2, "%s: name too long\n", pn);
- errorexit();
- }
- }
- v = bloc[1]; /* type */
- o = bloc[2]; /* sym */
- bloc += 3;
- c -= 3;
-
- r = 0;
- if(v == D_STATIC)
- r = version;
- s = lookup((char*)bloc, r);
- c -= &stop[1] - bloc;
- bloc = stop + 1;
-
- if(debug['W'])
- print(" ANAME %s\n", s->name);
- h[o] = s;
- if((v == D_EXTERN || v == D_STATIC) && s->type == 0)
- s->type = SXREF;
- if(v == D_FILE) {
- if(s->type != SFILE) {
- histgen++;
- s->type = SFILE;
- s->value = histgen;
- }
- if(histfrogp < MAXHIST) {
- histfrog[histfrogp] = s;
- histfrogp++;
- } else
- collapsefrog(s);
- }
- goto loop;
- }
-
- if(nhunk < sizeof(Prog))
- gethunk();
- p = (Prog*)hunk;
- nhunk -= sizeof(Prog);
- hunk += sizeof(Prog);
-
- p->as = o;
- p->reg = bloc[1] & 0x7f;
- if(bloc[1] & 0x80)
- p->mark = NOSCHED;
- p->line = bloc[2] | (bloc[3]<<8) | (bloc[4]<<16) | (bloc[5]<<24);
-
- r = zaddr(bloc+6, &p->from, h) + 6;
- r += zaddr(bloc+r, &p->to, h);
- bloc += r;
- c -= r;
-
- if(p->reg < 0 || p->reg > NREG)
- diag("register out of range %d", p->reg);
-
- p->link = P;
- p->cond = P;
-
- if(debug['W'])
- print("%P\n", p);
-
- switch(o) {
- case AHISTORY:
- if(p->to.offset == -1) {
- addlib(pn);
- histfrogp = 0;
- goto loop;
- }
- addhist(p->line, D_FILE); /* 'z' */
- if(p->to.offset)
- addhist(p->to.offset, D_PREG); /* 'Z' */
- histfrogp = 0;
- goto loop;
-
- case AEND:
- histtoauto();
- if(curtext != P)
- curtext->to.autom = curauto;
- curauto = 0;
- curtext = P;
- if(c)
- goto newloop;
- return;
-
- case AGLOBL:
- s = p->from.sym;
- if(s == S) {
- diag("GLOBL must have a name\n%P", p);
- errorexit();
- }
- if(s->type == 0 || s->type == SXREF) {
- s->type = SBSS;
- s->value = 0;
- }
- if(s->type != SBSS) {
- diag("redefinition: %s\n%P", s->name, p);
- s->type = SBSS;
- s->value = 0;
- }
- if(p->to.offset > s->value)
- s->value = p->to.offset;
- break;
-
- case ADYNT:
- if(p->to.sym == S) {
- diag("DYNT without a sym\n%P", p);
- break;
- }
- di = p->to.sym;
- p->reg = 4;
- if(di->type == SXREF) {
- if(debug['z'])
- Bprint(&bso, "%P set to %d\n", p, dtype);
- di->type = SCONST;
- di->value = dtype;
- dtype += 4;
- }
- if(p->from.sym == S)
- break;
-
- p->from.offset = di->value;
- p->from.sym->type = SDATA;
- if(curtext == P) {
- diag("DYNT not in text: %P", p);
- break;
- }
- p->to.sym = curtext->from.sym;
- p->to.type = D_CONST;
- p->link = datap;
- datap = p;
- break;
-
- case AINIT:
- if(p->from.sym == S) {
- diag("INIT without a sym\n%P", p);
- break;
- }
- if(di == S) {
- diag("INIT without previous DYNT\n%P", p);
- break;
- }
- p->from.offset = di->value;
- p->from.sym->type = SDATA;
- p->link = datap;
- datap = p;
- break;
-
- case ADATA:
- if(p->from.sym == S) {
- diag("DATA without a sym\n%P", p);
- break;
- }
- p->link = datap;
- datap = p;
- break;
-
- case AGOK:
- diag("unknown opcode\n%P", p);
- p->pc = pc;
- pc++;
- break;
-
- case ATEXT:
- if(curtext != P) {
- histtoauto();
- curtext->to.autom = curauto;
- curauto = 0;
- }
- skip = 0;
- curtext = p;
- autosize = (p->to.offset+3L) & ~3L;
- if (autosize & 4)
- autosize += 4;
- p->to.offset = autosize;
- autosize += 8;
- s = p->from.sym;
- if(s == S) {
- diag("TEXT must have a name\n%P", p);
- errorexit();
- }
- if(s->type != 0 && s->type != SXREF) {
- if(p->reg & DUPOK) {
- skip = 1;
- goto casedef;
- }
- diag("redefinition: %s\n%P", s->name, p);
- }
- s->type = STEXT;
- s->value = pc;
- lastp->link = p;
- lastp = p;
- p->pc = pc;
- pc++;
- if(textp == P) {
- textp = p;
- etextp = p;
- goto loop;
- }
- etextp->cond = p;
- etextp = p;
- break;
-
- case AMOVS:
- if(skip)
- goto casedef;
-
- if(p->from.type == D_FCONST) {
- /* size sb 9 max */
- snprint(literal, sizeof literal, "$%lux", ieeedtof(p->from.ieee));
- s = lookup(literal, 0);
- if(s->type == 0) {
- s->type = SBSS;
- s->value = 4;
- t = prg();
- t->as = ADATA;
- t->line = p->line;
- t->from.type = D_OREG;
- t->from.sym = s;
- t->from.name = D_EXTERN;
- t->reg = 4;
- t->to = p->from;
- t->link = datap;
- datap = t;
- }
- p->from.type = D_OREG;
- p->from.sym = s;
- p->from.name = D_EXTERN;
- p->from.offset = 0;
- }
- goto casedef;
-
- case AMOVT:
- if(skip)
- goto casedef;
-
- if(p->from.type == D_FCONST) {
- /* size sb 18 max */
- snprint(literal, sizeof literal, "$%lux.%lux",
- p->from.ieee->l, p->from.ieee->h);
- s = lookup(literal, 0);
- if(s->type == 0) {
- s->type = SBSS;
- s->value = 8;
- t = prg();
- t->as = ADATA;
- t->line = p->line;
- t->from.type = D_OREG;
- t->from.sym = s;
- t->from.name = D_EXTERN;
- t->reg = 8;
- t->to = p->from;
- t->link = datap;
- datap = t;
- }
- p->from.type = D_OREG;
- p->from.sym = s;
- p->from.name = D_EXTERN;
- p->from.offset = 0;
- }
- goto casedef;
-
- case AMOVQ:
- if(skip)
- goto casedef;
-
- if (p->from.type == D_FREG || p->to.type == D_FREG)
- p->as = AMOVT; /* stupid compiler optimiser kkludge */
-
- case AMOVL:
- case AMOVW:
- case AMOVB:
- /* BOTCH */
- if (p->from.type == D_CONST)
- if (p->from.offset == 0LL && p->from.name == D_NONE) {
- p->from.type = D_REG;
- p->from.reg = REGZERO;
- }
- goto casedef;
-
- default:
- casedef:
- if(skip)
- nopout(p);
-
- if(p->to.type == D_BRANCH)
- p->to.offset += ipc;
- lastp->link = p;
- lastp = p;
- p->pc = pc;
- pc++;
- break;
- }
- goto loop;
-
-eof:
- diag("truncated object file: %s", pn);
-}
-
-Sym*
-lookup(char *symb, int v)
-{
- Sym *s;
- char *p;
- long h;
- int c0, l;
-
- h = v;
- for(p=symb; c0 = *p; p++)
- h = h+h+h + c0;
- l = (p - symb) + 1;
- if(h < 0)
- h = ~h;
- h %= NHASH;
- for(s = hash[h]; s != S; s = s->link)
- if(s->version == v)
- if(memcmp(s->name, symb, l) == 0)
- return s;
-
- while(nhunk < sizeof(Sym))
- gethunk();
- s = (Sym*)hunk;
- nhunk -= sizeof(Sym);
- hunk += sizeof(Sym);
-
- s->name = malloc(l);
- memmove(s->name, symb, l);
-
- s->link = hash[h];
- s->type = 0;
- s->version = v;
- s->value = 0;
- hash[h] = s;
- return s;
-}
-
-Prog*
-prg(void)
-{
- Prog *p;
-
- while(nhunk < sizeof(Prog))
- gethunk();
- p = (Prog*)hunk;
- nhunk -= sizeof(Prog);
- hunk += sizeof(Prog);
-
- *p = zprg;
- return p;
-}
-
-void
-gethunk(void)
-{
- char *h;
- long nh;
-
- nh = NHUNK;
- if(thunk >= 5L*NHUNK) {
- nh = 5L*NHUNK;
- if(thunk >= 25L*NHUNK)
- nh = 25L*NHUNK;
- }
- h = mysbrk(nh);
- if(h == (char*)-1) {
- diag("out of memory");
- errorexit();
- }
- hunk = h;
- nhunk = nh;
- thunk += nh;
-}
-
-void
-doprof1(void)
-{
- Sym *s;
- long n;
- Prog *p, *q;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f profile 1\n", cputime());
- Bflush(&bso);
- s = lookup("__mcount", 0);
- n = 1;
- for(p = firstp->link; p != P; p = p->link) {
- if(p->as == ATEXT) {
- q = prg();
- q->line = p->line;
- q->link = datap;
- datap = q;
- q->as = ADATA;
- q->from.type = D_OREG;
- q->from.name = D_EXTERN;
- q->from.offset = n*4;
- q->from.sym = s;
- q->reg = 4;
- q->to = p->from;
- q->to.type = D_CONST;
-
- q = prg();
- q->line = p->line;
- q->pc = p->pc;
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AMOVL;
- p->from.type = D_OREG;
- p->from.name = D_EXTERN;
- p->from.sym = s;
- p->from.offset = n*4 + 4;
- p->to.type = D_REG;
- p->to.reg = REGTMP;
-
- q = prg();
- q->line = p->line;
- q->pc = p->pc;
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AADDQ;
- p->from.type = D_CONST;
- p->from.offset = 1;
- p->to.type = D_REG;
- p->to.reg = REGTMP;
-
- q = prg();
- q->line = p->line;
- q->pc = p->pc;
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = AMOVL;
- p->from.type = D_REG;
- p->from.reg = REGTMP;
- p->to.type = D_OREG;
- p->to.name = D_EXTERN;
- p->to.sym = s;
- p->to.offset = n*4 + 4;
-
- n += 2;
- continue;
- }
- }
- q = prg();
- q->line = 0;
- q->link = datap;
- datap = q;
-
- q->as = ADATA;
- q->from.type = D_OREG;
- q->from.name = D_EXTERN;
- q->from.sym = s;
- q->reg = 4;
- q->to.type = D_CONST;
- q->to.offset = n;
-
- s->type = SBSS;
- s->value = n*4;
-}
-
-void
-doprof2(void)
-{
- Sym *s2, *s4;
- Prog *p, *q, *q2, *ps2, *ps4;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f profile 2\n", cputime());
- Bflush(&bso);
-
- if(debug['e']){
- s2 = lookup("_tracein", 0);
- s4 = lookup("_traceout", 0);
- }else{
- s2 = lookup("_profin", 0);
- s4 = lookup("_profout", 0);
- }
- if(s2->type != STEXT || s4->type != STEXT) {
- if(debug['e'])
- diag("_tracein/_traceout not defined %d %d", s2->type, s4->type);
- else
- diag("_profin/_profout not defined");
- return;
- }
-
- ps2 = P;
- ps4 = P;
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT) {
- if(p->from.sym == s2) {
- ps2 = p;
- p->reg = 1;
- }
- if(p->from.sym == s4) {
- ps4 = p;
- p->reg = 1;
- }
- }
- }
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT) {
- if(p->reg != NREG) {
- for(;;) {
- q = p->link;
- if(q == P)
- break;
- if(q->as == ATEXT)
- break;
- p = q;
- }
- continue;
- }
-
- /*
- * JSR profin, R2
- */
- q = prg();
- q->line = p->line;
- q->pc = p->pc;
- q->link = p->link;
- if(debug['e']){ /* embedded tracing */
- q2 = prg();
- p->link = q2;
- q2->link = q;
-
- q2->line = p->line;
- q2->pc = p->pc;
-
- q2->as = AJMP;
- q2->to.type = D_BRANCH;
- q2->to.sym = p->to.sym;
- q2->cond = q->link;
- }else
- p->link = q;
- p = q;
- p->as = AJSR;
- p->to.type = D_BRANCH;
- p->cond = ps2;
- p->to.sym = s2;
-
- continue;
- }
- if(p->as == ARET) {
- /*
- * JSR (default)
- */
- if(debug['e']){ /* embedded tracing */
- q = prg();
- q->line = p->line;
- q->pc = p->pc;
- q->link = p->link;
- p->link = q;
- p = q;
- }
- /*
- * JSR profout
- */
- p->as = AJSR;
- p->to.type = D_BRANCH;
- p->cond = ps4;
- p->to.sym = s4;
-
-
- /*
- * RET
- */
- q = prg();
- q->line = p->line;
- q->pc = p->pc;
- q->link = p->link;
- p->link = q;
- p = q;
- p->as = ARET;
-
- continue;
- }
- }
-}
-
-void
-nuxiinit(void)
-{
- int i, c;
-
- for(i=0; i<4; i++) {
- c = find1(0x04030201L, i+1);
- if(i <= 4)
- inuxi4[i] = c;
- if(i <= 2)
- inuxi2[i] = c;
- if(i <= 1)
- inuxi1[i] = c;
- }
- for (i = 0; i < 4; i++) {
- c = find1(0x04030201L, i+1);
- fnuxi8[i] = c;
- fnuxi8[i+4] = c + sizeof(long);
- }
-
- if(debug['v']) {
- Bprint(&bso, "inuxi = ");
- for(i=0; i<1; i++)
- Bprint(&bso, "%d", inuxi1[i]);
- Bprint(&bso, " ");
- for(i=0; i<2; i++)
- Bprint(&bso, "%d", inuxi2[i]);
- Bprint(&bso, " ");
- for(i=0; i<4; i++)
- Bprint(&bso, "%d", inuxi4[i]);
- Bprint(&bso, " ");
- Bprint(&bso, "\nfnuxi = ");
- for(i=0; i<8; i++)
- Bprint(&bso, "%d", fnuxi8[i]);
- Bprint(&bso, "\n");
- }
- Bflush(&bso);
-}
-
-find1(long l, int c)
-{
- char *p;
- int i;
-
- p = (char*)&l;
- for(i=0; i<4; i++)
- if(*p++ == c)
- return i;
- return 0;
-}
-
-long
-ieeedtof(Ieee *ieee)
-{
- int exp;
- long v;
-
- if(ieee->h == 0)
- return 0;
- exp = (ieee->h>>20) & ((1L<<11)-1L);
- exp -= (1L<<10) - 2L;
- v = (ieee->h & 0xfffffL) << 3;
- v |= (ieee->l >> 29) & 0x7L;
- if((ieee->l >> 28) & 1) {
- v++;
- if(v & 0x800000L) {
- v = (v & 0x7fffffL) >> 1;
- exp++;
- }
- }
- if(exp <= -126 || exp >= 130)
- diag("double fp to single fp overflow");
- v |= ((exp + 126) & 0xffL) << 23;
- v |= ieee->h & 0x80000000L;
- return v;
-}
-
-double
-ieeedtod(Ieee *ieee)
-{
- Ieee e;
- double fr;
- int exp;
-
- if(ieee->h & (1L<<31)) {
- e.h = ieee->h & ~(1L<<31);
- e.l = ieee->l;
- return -ieeedtod(&e);
- }
- if(ieee->l == 0 && ieee->h == 0)
- return 0;
- fr = ieee->l & ((1L<<16)-1L);
- fr /= 1L<<16;
- fr += (ieee->l>>16) & ((1L<<16)-1L);
- fr /= 1L<<16;
- fr += (ieee->h & (1L<<20)-1L) | (1L<<20);
- fr /= 1L<<21;
- exp = (ieee->h>>20) & ((1L<<11)-1L);
- exp -= (1L<<10) - 2L;
- return ldexp(fr, exp);
-}
diff --git a/sys/src/cmd/7l/optab.c b/sys/src/cmd/7l/optab.c
deleted file mode 100644
index 0f2852e80..000000000
--- a/sys/src/cmd/7l/optab.c
+++ /dev/null
@@ -1,141 +0,0 @@
-#include "l.h"
-
-#define X 99
-
-Optab optab[] =
-{
- { ATEXT, C_LEXT, C_NONE, C_LCON, 0, 0, 0 },
- { ATEXT, C_LEXT, C_REG, C_LCON, 0, 0, 0 },
-
- { AMOVQ, C_REG, C_NONE, C_REG, 1, 4, 0 },
- { AMOVQ, C_SCON, C_NONE, C_REG, 6, 4, REGZERO },
- { AMOVQ, C_SECON,C_NONE, C_REG, 6, 4, REGSB },
- { AMOVQ, C_SACON,C_NONE, C_REG, 6, 4, REGSP },
-
- { AMOVQ, C_LCON, C_NONE, C_REG, 15, 8, REGZERO },
- { AMOVQ, C_LECON,C_NONE, C_REG, 15, 8, REGSB },
- { AMOVQ, C_LACON,C_NONE, C_REG, 15, 8, REGSP },
-
- { AMOVQ, C_QCON, C_NONE, C_REG, 16,20, REGZERO },
-
- { AMOVQ, C_REG, C_NONE, C_SOREG, 8, 4, REGZERO },
- { AMOVQ, C_REG, C_NONE, C_SEXT, 8, 4, REGSB },
- { AMOVQ, C_REG, C_NONE, C_SAUTO, 8, 4, REGSP },
-
- { AMOVQ, C_SOREG,C_NONE, C_REG, 9, 4, REGZERO },
- { AMOVQ, C_SEXT, C_NONE, C_REG, 9, 4, REGSB },
- { AMOVQ, C_SAUTO,C_NONE, C_REG, 9, 4, REGSP },
-
- { AMOVQ, C_REG, C_NONE, C_LOREG, 19, 8, REGZERO },
- { AMOVQ, C_REG, C_NONE, C_LEXT, 19, 8, REGSB },
- { AMOVQ, C_REG, C_NONE, C_LAUTO, 19, 8, REGSP },
-
- { AMOVQ, C_LOREG,C_NONE, C_REG, 20, 8, REGZERO },
- { AMOVQ, C_LEXT, C_NONE, C_REG, 20, 8, REGSB },
- { AMOVQ, C_LAUTO,C_NONE, C_REG, 20, 8, REGSP },
-/*
- { AMOVBU, C_REG, C_NONE, C_REG, 7, 4, 0 },
- { AMOVB, C_REG, C_NONE, C_REG, 10, 8, 0 },
-*/
- { AMOVT, C_FREG, C_NONE, C_FREG, 17, 4, 0 },
-
- { AMOVT, C_FREG, C_NONE, C_SOREG, 8, 4, REGZERO },
- { AMOVT, C_FREG, C_NONE, C_SEXT, 8, 4, REGSB },
- { AMOVT, C_FREG, C_NONE, C_SAUTO, 8, 4, REGSP },
-
- { AMOVT, C_SOREG,C_NONE, C_FREG, 9, 4, REGZERO },
- { AMOVT, C_SEXT, C_NONE, C_FREG, 9, 4, REGSB },
- { AMOVT, C_SAUTO,C_NONE, C_FREG, 9, 4, REGSP },
-
- { AMOVT, C_FREG, C_NONE, C_LOREG, 19, 8, REGZERO },
- { AMOVT, C_FREG, C_NONE, C_LEXT, 19, 8, REGSB },
- { AMOVT, C_FREG, C_NONE, C_LAUTO, 19, 8, REGSP },
-
- { AMOVT, C_LOREG,C_NONE, C_FREG, 20, 8, REGZERO },
- { AMOVT, C_LEXT, C_NONE, C_FREG, 20, 8, REGSB },
- { AMOVT, C_LAUTO,C_NONE, C_FREG, 20, 8, REGSP },
-
- { AADDQ, C_REG, C_REG, C_REG, 2, 4, 0 },
- { AADDL, C_REG, C_REG, C_REG, 2, 4, 0 },
- { AAND, C_REG, C_REG, C_REG, 2, 4, 0 },
- { AMULQ, C_REG, C_REG, C_REG, 2, 4, 0 },
- { AADDQ, C_REG, C_NONE, C_REG, 2, 4, 0 },
- { AADDL, C_REG, C_NONE, C_REG, 2, 4, 0 },
- { AAND, C_REG, C_NONE, C_REG, 2, 4, 0 },
- { AMULQ, C_REG, C_NONE, C_REG, 2, 4, 0 },
-
- { AADDQ, C_SCON, C_REG, C_REG, 12, 4, 0 },
- { AADDQ, C_SCON, C_NONE, C_REG, 12, 4, 0 },
-
- { AADDL, C_BCON, C_REG, C_REG, 3, 4, 0 },
- { AAND, C_BCON, C_REG, C_REG, 3, 4, 0 },
- { AMULQ, C_BCON, C_REG, C_REG, 3, 4, 0 },
- { AADDL, C_BCON, C_NONE, C_REG, 3, 4, 0 },
- { AAND, C_BCON, C_NONE, C_REG, 3, 4, 0 },
- { AMULQ, C_BCON, C_NONE, C_REG, 3, 4, 0 },
-
-/* { AADDL, C_NCON, C_REG, C_REG, 34, 4, 0 }, */
- { AAND, C_NCON, C_REG, C_REG, 34, 4, 0 },
-/* { AADDL, C_NCON, C_NONE, C_REG, 34, 4, 0 }, */
- { AAND, C_NCON, C_NONE, C_REG, 34, 4, 0 },
-
- { AADDL, C_SCON, C_REG, C_REG, 13, 8, 0 },
- { AAND, C_SCON, C_REG, C_REG, 13, 8, 0 },
- { AMULQ, C_SCON, C_REG, C_REG, 13, 8, 0 },
- { AADDL, C_SCON, C_NONE, C_REG, 13, 8, 0 },
- { AAND, C_SCON, C_NONE, C_REG, 13, 8, 0 },
- { AMULQ, C_SCON, C_NONE, C_REG, 13, 8, 0 },
-
- { AADDQ, C_LCON, C_REG, C_REG, 14,12, 0 },
- { AADDQ, C_LCON, C_NONE, C_REG, 14,12, 0 },
- { AADDL, C_LCON, C_REG, C_REG, 14,12, 0 },
- { AAND, C_LCON, C_REG, C_REG, 14,12, 0 },
- { AMULQ, C_LCON, C_REG, C_REG, 14,12, 0 },
- { AADDL, C_LCON, C_NONE, C_REG, 14,12, 0 },
- { AAND, C_LCON, C_NONE, C_REG, 14,12, 0 },
- { AMULQ, C_LCON, C_NONE, C_REG, 14,12, 0 },
-
- { AADDQ, C_QCON, C_REG, C_REG, 23,24, 0 },
- { AADDQ, C_QCON, C_NONE, C_REG, 23,24, 0 },
- { AADDL, C_QCON, C_REG, C_REG, 23,24, 0 },
- { AAND, C_QCON, C_REG, C_REG, 23,24, 0 },
- { AMULQ, C_QCON, C_REG, C_REG, 23,24, 0 },
- { AADDL, C_QCON, C_NONE, C_REG, 23,24, 0 },
- { AAND, C_QCON, C_NONE, C_REG, 23,24, 0 },
- { AMULQ, C_QCON, C_NONE, C_REG, 23,24, 0 },
-
- { AADDT, C_FREG, C_REG, C_FREG, 2, 4, 0 },
- { AADDT, C_FREG, C_NONE, C_FREG, 2, 4, 0 },
- { ACVTTQ, C_FREG, C_NONE, C_FREG, 28, 4, 0 },
-
- { ABEQ, C_REG, C_NONE, C_SBRA, 4, 4, 0 },
- { AFBEQ, C_FREG, C_NONE, C_SBRA, 4, 4, 0 },
-
- { AJMP, C_NONE, C_NONE, C_SBRA, 11, 4, 0 },
- { AJSR, C_NONE, C_NONE, C_SBRA, 11, 4, 0 },
-
- { AJMP, C_NONE, C_NONE, C_ZOREG, 5, 4, REGZERO },
- { AJSR, C_NONE, C_NONE, C_ZOREG, 5, 4, REGLINK },
- { AJMP, C_NONE, C_REG, C_ZOREG, 5, 4, REGZERO },
- { AJSR, C_NONE, C_REG, C_ZOREG, 5, 4, REGLINK },
- { ACALL_PAL, C_SCON, C_NONE, C_NONE, 18, 4, 0 },
- { AWORD, C_NONE, C_NONE, C_LCON, 40, 4, 0 },
-
- { AMOVT, C_FREG, C_NONE, C_FCREG, 24, 4, 0 },
- { AMOVT, C_FCREG,C_NONE, C_FREG, 25, 4, 0 },
-
- { AMOVQ, C_REG, C_NONE, C_PREG, 26, 4, 0 },
- { AMOVQ, C_PREG, C_NONE, C_REG, 27, 4, 0 },
- { AMOVQ, C_PCC, C_NONE, C_REG, 29, 4, 0 },
-
- { AREI, C_NONE, C_NONE, C_NONE, 30, 4, 0 },
- { AFETCH, C_ZOREG,C_NONE, C_NONE, 31, 4, REGZERO },
-
- { AMOVQL, C_SOREG,C_NONE, C_REG, 9, 4, REGZERO },
- { AMOVQC, C_REG, C_NONE, C_SOREG, 8, 4, REGZERO },
-
- { AMOVQP, C_SOREG,C_NONE, C_REG, 33, 4, REGZERO },
- { AMOVQP, C_REG, C_NONE, C_SOREG, 32, 4, REGZERO },
-
- { AXXX, C_NONE, C_NONE, C_NONE, 0, 4, 0 },
-};
diff --git a/sys/src/cmd/7l/pass.c b/sys/src/cmd/7l/pass.c
deleted file mode 100644
index e0451b532..000000000
--- a/sys/src/cmd/7l/pass.c
+++ /dev/null
@@ -1,495 +0,0 @@
-#include "l.h"
-
-void
-dodata(void)
-{
- int i, t, size;
- Sym *s;
- Prog *p, *p1;
- long orig, orig1, v;
- vlong vv;
-
- 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(p->as == ADYNT || p->as == AINIT)
- s->value = dtype;
- if(s->type == SBSS)
- s->type = SDATA;
- if(s->type != SDATA)
- diag("initialize non-data (%d): %s\n%P",
- s->type, s->name, p);
- v = p->from.offset + p->reg;
- if(v > s->value)
- diag("initialize bounds (%ld): %s\n%P",
- s->value, s->name, p);
- }
-
- /*
- * pass 1
- * assign 'small' variables to data segment
- * (rational is that data segment is more easily
- * addressed through offset on REGSB)
- */
- orig = 0;
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- t = s->type;
- if(t != SDATA && t != SBSS)
- continue;
- v = s->value;
- if(v == 0) {
- diag("%s: no size", s->name);
- v = 1;
- }
- while(v & 3)
- v++;
-
- s->value = v;
- if(v > MINSIZ)
- continue;
- if (v >= 8)
- orig = rnd(orig, 8);
- s->value = orig;
- orig += v;
- s->type = SDATA1;
- }
- orig = rnd(orig, 8);
- orig1 = orig;
-
- /*
- * pass 2
- * assign 'data' variables to data segment
- */
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- t = s->type;
- if(t != SDATA) {
- if(t == SDATA1)
- s->type = SDATA;
- continue;
- }
- v = s->value;
- if (v >= 8)
- orig = rnd(orig, 8);
- s->value = orig;
- orig += v;
- s->type = SDATA1;
- }
-
- orig = rnd(orig, 8);
- datsize = orig;
-
- /*
- * pass 3
- * everything else to bss segment
- */
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- if(s->type != SBSS)
- continue;
- v = s->value;
- if (v >= 8)
- orig = rnd(orig, 8);
- s->value = orig;
- orig += v;
- }
- orig = rnd(orig, 8);
- bsssize = orig-datsize;
-
- /*
- * pass 4
- * add literals to all large values.
- * at this time:
- * small data is allocated DATA
- * large data is allocated DATA1
- * large bss is allocated BSS
- * the new literals are loaded between
- * small data and large data.
- */
- orig = 0;
- for(p = firstp; p != P; p = p->link) {
- if(p->as != AMOVQ)
- continue;
- if(p->from.type != D_CONST)
- continue;
- if(s = p->from.sym) {
- t = s->type;
- if(t != SDATA && t != SDATA1 && t != SBSS)
- continue;
- t = p->from.name;
- if(t != D_EXTERN && t != D_STATIC)
- continue;
- v = s->value + p->from.offset;
- size = 4;
- if(v >= 0 && v <= 0xffff)
- continue;
- if(!strcmp(s->name, "setSB"))
- continue;
- /* size should be 19 max */
- if(strlen(s->name) >= 10) /* has loader address */
- snprint(literal, sizeof literal, "$%p.%llux", s, p->from.offset);
- else
- snprint(literal, sizeof literal, "$%s.%d.%llux", s->name, s->version, p->from.offset);
- } else {
- if(p->from.name != D_NONE)
- continue;
- if(p->from.reg != NREG)
- continue;
- vv = p->from.offset;
- if(vv >= -0x8000LL && vv <= 0x7fff)
- continue;
- if(!(vv & 0xffff))
- continue;
- size = 8;
- if (vv <= 0x7FFFFFFFLL && vv >= -0x80000000LL)
- size = 4;
- /* size should be 17 max */
- snprint(literal, sizeof literal, "$%llux", vv);
- }
- s = lookup(literal, 0);
- if(s->type == 0) {
- s->type = SDATA;
- orig = rnd(orig, size);
- s->value = orig1+orig;
- orig += size;
- p1 = prg();
- p1->line = p->line;
- p1->as = ADATA;
- p1->from.type = D_OREG;
- p1->from.sym = s;
- p1->from.name = D_EXTERN;
- p1->reg = size;
- p1->to = p->from;
- p1->link = datap;
- datap = p1;
- if(debug['C'])
- Bprint(&bso, "literal %P for %P\n", p1, p);
- }
- if(s->type != SDATA)
- diag("literal not data: %s", s->name);
- if (size == 4)
- p->as = AMOVL;
- p->from.type = D_OREG;
- p->from.sym = s;
- p->from.name = D_EXTERN;
- p->from.offset = 0;
- continue;
- }
- orig = rnd(orig, 8);
-
- /*
- * pass 5
- * re-adjust offsets
- */
- for(i=0; i<NHASH; i++)
- for(s = hash[i]; s != S; s = s->link) {
- t = s->type;
- if(t == SBSS) {
- s->value += orig;
- continue;
- }
- if(t == SDATA1) {
- s->type = SDATA;
- s->value += orig;
- continue;
- }
- }
- datsize += orig;
- if (debug['v'] || debug['z'])
- Bprint(&bso, "datsize = %lux, bsssize = %lux\n", datsize, bsssize);
- xdefine("setSB", SDATA, 0L+BIG);
- xdefine("bdata", SDATA, 0L);
- xdefine("edata", SDATA, datsize);
- xdefine("end", SBSS, datsize+bsssize);
- xdefine("etext", STEXT, 0L);
-}
-
-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
-follow(void)
-{
- if(debug['v'])
- Bprint(&bso, "%5.2f follow\n", cputime());
- Bflush(&bso);
-
- firstp = prg();
- lastp = firstp;
- xfol(textp);
-
- firstp = firstp->link;
- lastp->link = P;
-}
-
-void
-xfol(Prog *p)
-{
- Prog *q, *r;
- int a, i;
-
-loop:
- if(p == P)
- return;
- a = p->as;
- if(a == ATEXT)
- curtext = p;
- if(a == AJMP) {
- q = p->cond;
- if(q != P) {
- p->mark = FOLL;
- p = q;
- if(!(p->mark & FOLL))
- goto loop;
- }
- }
- if(p->mark & FOLL) {
- for(i=0,q=p; i<4; i++,q=q->link) {
- if(q == lastp)
- break;
- a = q->as;
- if(a == ANOP) {
- i--;
- continue;
- }
- if(a == AJMP || a == ARET || a == AREI)
- goto copy;
- if(!q->cond || (q->cond->mark&FOLL))
- continue;
- if(a != ABEQ && a != ABNE)
- continue;
- copy:
- for(;;) {
- r = prg();
- *r = *p;
- if(!(r->mark&FOLL))
- print("cant happen 1\n");
- r->mark = FOLL;
- if(p != q) {
- p = p->link;
- lastp->link = r;
- lastp = r;
- continue;
- }
- lastp->link = r;
- lastp = r;
- if(a == AJMP || a == ARET || a == AREI)
- return;
- r->as = ABNE;
- if(a == ABNE)
- r->as = ABEQ;
- r->cond = p->link;
- r->link = p->cond;
- if(!(r->link->mark&FOLL))
- xfol(r->link);
- if(!(r->cond->mark&FOLL))
- print("cant happen 2\n");
- return;
- }
- }
- a = AJMP;
- q = prg();
- q->as = a;
- q->line = p->line;
- q->to.type = D_BRANCH;
- q->to.offset = p->pc;
- q->cond = p;
- p = q;
- }
- p->mark = FOLL;
- lastp->link = p;
- lastp = p;
- if(a == AJMP || a == ARET || a == AREI)
- return;
- if(p->cond != P)
- if(a != AJSR && p->link != P) {
- xfol(p->link);
- p = p->cond;
- if(p == P || (p->mark&FOLL))
- return;
- goto loop;
- }
- p = p->link;
- goto loop;
-}
-
-void
-patch(void)
-{
- long c, vexit;
- Prog *p, *q;
- Sym *s;
- int a;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f patch\n", cputime());
- Bflush(&bso);
- mkfwd();
- s = lookup("exit", 0);
- vexit = s->value;
- for(p = firstp; p != P; p = p->link) {
- a = p->as;
- if(a == ATEXT)
- curtext = p;
- if((a == AJSR || a == AJMP || a == ARET) &&
- p->to.type != D_BRANCH && p->to.sym != S) {
- s = p->to.sym;
- if(s->type != STEXT) {
- diag("undefined: %s\n%P", s->name, p);
- 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 %ld\n%P", c, p);
- p->to.type = D_NONE;
- }
- p->cond = q;
- }
-
- for(p = firstp; p != P; p = p->link) {
- if(p->as == ATEXT)
- curtext = p;
- if(p->cond != P) {
- p->cond = brloop(p->cond);
- if(p->cond != P)
- if(p->to.type == D_BRANCH)
- p->to.offset = p->cond->pc;
- }
- }
-}
-
-#define LOG 5
-void
-mkfwd(void)
-{
- Prog *p;
- long dwn[LOG], cnt[LOG], i;
- 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)
-{
- Prog *q;
- int c;
-
- for(c=0; p!=P;) {
- if(p->as != AJMP)
- return p;
- q = p->cond;
- if(q <= p) {
- c++;
- if(q == p || c > 50)
- break;
- }
- p = q;
- }
- return P;
-}
-
-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;
-}
-
-long
-rnd(long v, long r)
-{
- long c;
-
- if(r <= 0)
- return v;
- v += r - 1;
- c = v % r;
- if(c < 0)
- c += r;
- v -= c;
- return v;
-}
diff --git a/sys/src/cmd/7l/sched.c b/sys/src/cmd/7l/sched.c
deleted file mode 100644
index b7339b1e1..000000000
--- a/sys/src/cmd/7l/sched.c
+++ /dev/null
@@ -1,18 +0,0 @@
-#include "l.h"
-
-void
-sched(Prog *p0, Prog *p1)
-{
-#ifdef CODSCHED
- Prog *p, *q, *t;
- int r, a;
-
- if(debug['X'])
- Bprint(&bso, "\n");
-#endif
- if (p0 == P || p0 == p1)
- return;
- if(debug['X'])
- Bprint(&bso, "sched from %P to %P\n", p0, p1);
-}
-
diff --git a/sys/src/cmd/7l/span.c b/sys/src/cmd/7l/span.c
deleted file mode 100644
index 65ba2df56..000000000
--- a/sys/src/cmd/7l/span.c
+++ /dev/null
@@ -1,584 +0,0 @@
-#include "l.h"
-
-void
-span(void)
-{
- Prog *p;
- Sym *setext;
- Optab *o;
- int m;
- long c;
-
- if(debug['v'])
- Bprint(&bso, "%5.2f span\n", cputime());
- Bflush(&bso);
- c = INITTEXT;
- for(p = firstp; p != P; p = p->link) {
- p->pc = c;
- o = oplook(p);
- m = o->size;
- if(m == 0) {
- if(p->as == ATEXT) {
- curtext = p;
- autosize = p->to.offset + 8;
- if(p->from.sym != S)
- p->from.sym->value = c;
- continue;
- }
- diag("zero-width instruction\n%P", p);
- continue;
- }
- c += m;
- }
- c = rnd(c, 8);
-
- setext = lookup("etext", 0);
- if(setext != S) {
- setext->value = c;
- textsize = c - INITTEXT;
- }
- if(INITRND)
- INITDAT = rnd(c, INITRND);
- if(debug['v'])
- Bprint(&bso, "tsize = %lux\n", textsize);
- Bflush(&bso);
-}
-
-void
-xdefine(char *p, int t, long v)
-{
- Sym *s;
-
- s = lookup(p, 0);
- if(s->type == 0 || s->type == SXREF) {
- s->type = t;
- s->value = v;
- }
-}
-
-vlong /* BUG? */
-regoff(Adr *a)
-{
-
- offset = 0;
- aclass(a);
- return offset;
-}
-
-/*
- * note that we can't generate every 32 bit constant with MOVQA+MOVQAH, hence the
- * comparison with 0x7fff8000. offset >= this value gets incorrectly sign extended in
- * the 64 bit register.
- */
-aclass(Adr *a)
-{
- Sym *s;
- int t;
-
- switch(a->type) {
- case D_NONE:
- return C_NONE;
-
- case D_REG:
- return C_REG;
-
- case D_FREG:
- return C_FREG;
-
- case D_FCREG:
- return C_FCREG;
-
- case D_PREG:
- return C_PREG;
-
- case D_PCC:
- return C_PCC;
-
- case D_OREG:
- switch(a->name) {
- case D_EXTERN:
- case D_STATIC:
- if(a->sym == 0) {
- print("null sym external\n");
- print("%D\n", a);
- return C_GOK;
- }
- t = a->sym->type;
- if(t == 0 || t == SXREF) {
- diag("undefined external: %s in %s",
- a->sym->name, TNAME);
- a->sym->type = SDATA;
- }
- offset = a->sym->value + a->offset - BIG;
- if(offset >= -BIG && offset < BIG)
- return C_SEXT;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LEXT;
- badoff:
- diag("offset out of range: %#llux", offset);
- return C_GOK;
- case D_AUTO:
- offset = autosize + a->offset;
- if(offset >= -BIG && offset < BIG)
- return C_SAUTO;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LAUTO;
- goto badoff;
- case D_PARAM:
- offset = autosize + a->offset + 8L;
- if(offset >= -BIG && offset < BIG)
- return C_SAUTO;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LAUTO;
- goto badoff;
- case D_NONE:
- offset = a->offset;
- if(offset == 0)
- return C_ZOREG;
- if(offset >= -BIG && offset < BIG)
- return C_SOREG;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LOREG;
- goto badoff;
- }
- return C_GOK;
-
- case D_CONST:
- switch(a->name) {
-
- case D_NONE:
- offset = a->offset;
- if(offset > 0) {
- if(offset <= 0xffLL)
- return C_BCON;
- if(offset <= 0x7fffLL)
- return C_SCON;
- if((offset & 0xffffLL) == 0 && offset <= 0x7fff0000LL)
- return C_UCON;
- if (offset < 0x7fff8000LL)
- return C_LCON;
- return C_QCON;
- }
- if(offset == 0)
- return C_ZCON;
- if(offset >= -0x100LL)
- return C_NCON;
- if(offset >= -0x8000LL)
- return C_SCON;
- if((offset & 0xffffLL) == 0 && offset >= -0x80000000LL)
- return C_UCON;
- if (offset >= -0x80000000LL)
- return C_LCON;
- return C_QCON;
-
- case D_EXTERN:
- case D_STATIC:
- s = a->sym;
- if(s == 0) {
- print("null sym const\n");
- print("%D\n", a);
- return C_GOK;
- }
- t = s->type;
- if(t == 0 || t == SXREF) {
- diag("undefined external: %s in %s",
- s->name, TNAME);
- s->type = SDATA;
- }
- if(s->type == STEXT || s->type == SLEAF) {
- offset = s->value + a->offset;
- return C_LCON;
- }
- offset = s->value + a->offset - BIG;
- if (offset == 0L) {
- offset = s->value + a->offset + INITDAT;
- return C_LCON; /* botch */
- }
- if(offset >= -BIG && offset < BIG && offset != 0L)
- return C_SECON;
- if (offset >= -0x80000000LL && offset < 0x7fff8000L && offset != 0LL /*&& offset >= -INITDAT*/)
- return C_LECON;
- /*offset = s->value + a->offset + INITDAT;*/
-/* if (offset >= -BIG && offset < BIG)
- return C_SCON;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LCON; */
- goto badoff;
- /*return C_QCON;*/
-
- case D_AUTO:
- offset = autosize + a->offset;
- if(offset >= -BIG && offset < BIG)
- return C_SACON;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LACON;
- goto badoff;
-
- case D_PARAM:
- offset = autosize + a->offset + 8L;
- if(offset >= -BIG && offset < BIG)
- return C_SACON;
- if (offset >= -0x80000000LL && offset < 0x7fff8000LL)
- return C_LACON;
- goto badoff;
- }
- return C_GOK;
-
- case D_BRANCH:
- return C_SBRA;
- }
- return C_GOK;
-}
-
-Optab*
-oplook(Prog *p)
-{
- int a1, a2, a3, r;
- char *c1, *c3;
- Optab *o, *e;
-
- a1 = p->optab;
- if(a1)
- return optab+(a1-1);
- a1 = p->from.class;
- if(a1 == 0) {
- a1 = aclass(&p->from) + 1;
- p->from.class = a1;
- }
- a1--;
- a3 = p->to.class;
- if(a3 == 0) {
- a3 = aclass(&p->to) + 1;
- p->to.class = a3;
- }
- a3--;
- a2 = C_NONE;
- if(p->reg != NREG)
- a2 = C_REG;
- r = p->as;
- o = oprange[r].start;
- if(o == 0) {
- a1 = opcross[repop[r]][a1][a2][a3];
- if(a1) {
- p->optab = a1+1;
- return optab+a1;
- }
- o = oprange[r].stop; /* just generate an error */
- }
- e = oprange[r].stop;
- c1 = xcmp[a1];
- c3 = xcmp[a3];
- for(; o<e; o++)
- if(o->a2 == a2)
- if(c1[o->a1])
- if(c3[o->a3]) {
- p->optab = (o-optab)+1;
- return o;
- }
- diag("illegal combination %A %d %d %d (opcross %d)",
- p->as, p->from.class-1, a2, a3, a1);
- if(!debug['a'])
- prasm(p);
- o = optab;
- p->optab = (o-optab)+1;
- return o;
-}
-
-int
-cmp(int a, int b)
-{
-
- if(a == b)
- return 1;
- switch(a) {
- case C_QCON:
- if(b == C_ZCON || b == C_BCON || b == C_NCON || b == C_SCON || b == C_UCON || b == C_LCON)
- return 1;
- break;
- case C_LCON:
- if(b == C_ZCON || b == C_BCON || b == C_NCON || b == C_SCON || b == C_UCON)
- return 1;
- break;
- case C_UCON:
- if(b == C_ZCON)
- return 1;
- break;
- case C_SCON:
- if(b == C_ZCON || b == C_BCON || b == C_NCON)
- return 1;
- break;
- case C_BCON:
- if(b == C_ZCON)
- return 1;
- break;
- case C_LACON:
- if(b == C_SACON)
- return 1;
- break;
- case C_LBRA:
- if(b == C_SBRA)
- return 1;
- break;
- case C_LEXT:
- if(b == C_SEXT)
- return 1;
- break;
- case C_LAUTO:
- if(b == C_SAUTO)
- return 1;
- break;
- case C_REG:
-/* if(b == C_ZCON)
- return 1; */
- break;
- case C_LOREG:
- if(b == C_ZOREG || b == C_SOREG)
- return 1;
- break;
- case C_SOREG:
- if(b == C_ZOREG)
- return 1;
- break;
- }
- return 0;
-}
-
-int
-ocmp(void *a1, void *a2)
-{
- Optab *p1, *p2;
- int n;
-
- p1 = a1;
- p2 = a2;
- n = p1->as - p2->as;
- if(n)
- return n;
- n = p1->a1 - p2->a1;
- if(n)
- return n;
- n = p1->a2 - p2->a2;
- if(n)
- return n;
- n = p1->a3 - p2->a3;
- if(n)
- return n;
- return 0;
-}
-
-void
-buildop(void)
-{
- int i, n, r;
-
- for(i=0; i<32; i++)
- for(n=0; n<32; n++)
- xcmp[i][n] = cmp(n, i);
- for(n=0; optab[n].as != AXXX; n++)
- ;
- qsort(optab, n, sizeof(optab[0]), ocmp);
- for(i=0; i<n; i++) {
- r = optab[i].as;
- oprange[r].start = optab+i;
- while(optab[i].as == r)
- i++;
- oprange[r].stop = optab+i;
- i--;
-
- switch(r)
- {
- default:
- diag("unknown op in build: %A", r);
- errorexit();
- case AADDQ:
- oprange[AS4ADDQ] = oprange[r];
- oprange[AS8ADDQ] = oprange[r];
- oprange[ASUBQ] = oprange[r];
- oprange[AS4SUBQ] = oprange[r];
- oprange[AS8SUBQ] = oprange[r];
- break;
- case AADDL:
- oprange[AADDLV] = oprange[r];
- oprange[AS4ADDL] = oprange[r];
- oprange[AS8ADDL] = oprange[r];
- oprange[AADDQV] = oprange[r];
- oprange[ASUBQV] = oprange[r];
- oprange[ASUBL] = oprange[r];
- oprange[ASUBLV] = oprange[r];
- oprange[AS4SUBL] = oprange[r];
- oprange[AS8SUBL] = oprange[r];
- break;
- case AAND:
- oprange[AANDNOT] = oprange[r];
- oprange[AOR] = oprange[r];
- oprange[AORNOT] = oprange[r];
- oprange[AXOR] = oprange[r];
- oprange[AXORNOT] = oprange[r];
- break;
- case AMULQ:
- oprange[ACMPEQ] = oprange[r];
- oprange[ACMPGT] = oprange[r];
- oprange[ACMPGE] = oprange[r];
- oprange[ACMPUGT] = oprange[r];
- oprange[ACMPUGE] = oprange[r];
- oprange[ACMPBLE] = oprange[r];
- oprange[ACMOVEQ] = oprange[r];
- oprange[ACMOVNE] = oprange[r];
- oprange[ACMOVLT] = oprange[r];
- oprange[ACMOVGE] = oprange[r];
- oprange[ACMOVLE] = oprange[r];
- oprange[ACMOVGT] = oprange[r];
- oprange[ACMOVLBS] = oprange[r];
- oprange[ACMOVLBC] = oprange[r];
- oprange[AMULL] = oprange[r];
- oprange[AMULLV] = oprange[r];
- oprange[AMULQV] = oprange[r];
- oprange[AUMULH] = oprange[r];
- oprange[ASLLQ] = oprange[r];
- oprange[ASRLQ] = oprange[r];
- oprange[ASRAQ] = oprange[r];
- oprange[AEXTBL] = oprange[r];
- oprange[AEXTWL] = oprange[r];
- oprange[AEXTLL] = oprange[r];
- oprange[AEXTQL] = oprange[r];
- oprange[AEXTWH] = oprange[r];
- oprange[AEXTLH] = oprange[r];
- oprange[AEXTQH] = oprange[r];
- oprange[AINSBL] = oprange[r];
- oprange[AINSWL] = oprange[r];
- oprange[AINSLL] = oprange[r];
- oprange[AINSQL] = oprange[r];
- oprange[AINSWH] = oprange[r];
- oprange[AINSLH] = oprange[r];
- oprange[AINSQH] = oprange[r];
- oprange[AMSKBL] = oprange[r];
- oprange[AMSKWL] = oprange[r];
- oprange[AMSKLL] = oprange[r];
- oprange[AMSKQL] = oprange[r];
- oprange[AMSKWH] = oprange[r];
- oprange[AMSKLH] = oprange[r];
- oprange[AMSKQH] = oprange[r];
- oprange[AZAP] = oprange[r];
- oprange[AZAPNOT] = oprange[r];
- break;
- case ABEQ:
- oprange[ABNE] = oprange[r];
- oprange[ABGE] = oprange[r];
- oprange[ABLE] = oprange[r];
- oprange[ABGT] = oprange[r];
- oprange[ABLT] = oprange[r];
- break;
- case AFBEQ:
- oprange[AFBNE] = oprange[r];
- oprange[AFBGE] = oprange[r];
- oprange[AFBLE] = oprange[r];
- oprange[AFBGT] = oprange[r];
- oprange[AFBLT] = oprange[r];
- break;
- case AMOVQ:
- oprange[AMOVL] = oprange[r];
- oprange[AMOVLU] = oprange[r];
- oprange[AMOVQU] = oprange[r];
- oprange[AMOVA] = oprange[r];
- oprange[AMOVAH] = oprange[r];
-
- oprange[AMOVBU] = oprange[r];
- oprange[AMOVWU] = oprange[r];
- oprange[AMOVB] = oprange[r];
- oprange[AMOVW] = oprange[r];
- break;
- case AMOVT:
- oprange[AMOVS] = oprange[r];
- break;
- case AADDT:
- oprange[AADDS] = oprange[r];
- oprange[ACMPTEQ] = oprange[r];
- oprange[ACMPTGT] = oprange[r];
- oprange[ACMPTGE] = oprange[r];
- oprange[ACMPTUN] = oprange[r];
- oprange[ADIVS] = oprange[r];
- oprange[ADIVT] = oprange[r];
- oprange[AMULS] = oprange[r];
- oprange[AMULT] = oprange[r];
- oprange[ASUBS] = oprange[r];
- oprange[ASUBT] = oprange[r];
- oprange[ACPYS] = oprange[r];
- oprange[ACPYSN] = oprange[r];
- oprange[ACPYSE] = oprange[r];
- oprange[ACVTLQ] = oprange[r];
- oprange[ACVTQL] = oprange[r];
- oprange[AFCMOVEQ] = oprange[r];
- oprange[AFCMOVNE] = oprange[r];
- oprange[AFCMOVLT] = oprange[r];
- oprange[AFCMOVGE] = oprange[r];
- oprange[AFCMOVLE] = oprange[r];
- oprange[AFCMOVGT] = oprange[r];
- break;
- case ACVTTQ:
- oprange[ACVTQT] = oprange[r];
- oprange[ACVTTS] = oprange[r];
- oprange[ACVTQS] = oprange[r];
- break;
- case AJMP:
- case AJSR:
- break;
- case ACALL_PAL:
- break;
- case AMOVQL:
- oprange[AMOVLL] = oprange[r];
- break;
- case AMOVQC:
- oprange[AMOVLC] = oprange[r];
- break;
- case AMOVQP:
- oprange[AMOVLP] = oprange[r];
- break;
- case AREI:
- oprange[AMB] = oprange[r];
- oprange[ATRAPB] = oprange[r];
- break;
- case AFETCH:
- oprange[AFETCHM] = oprange[r];
- break;
- case AWORD:
- case ATEXT:
- break;
- }
- }
-}
-
-void
-buildrep(int x, int as)
-{
- Opcross *p;
- Optab *e, *s, *o;
- int a1, a2, a3, n;
-
- if(C_NONE != 0 || C_REG != 1 || C_GOK >= 32 || x >= nelem(opcross)) {
- diag("assumptions fail in buildrep");
- errorexit();
- }
- repop[as] = x;
- p = (opcross + x);
- s = oprange[as].start;
- e = oprange[as].stop;
- for(o=e-1; o>=s; o--) {
- n = o-optab;
- for(a2=0; a2<2; a2++) {
- if(a2) {
- if(o->a2 == C_NONE)
- continue;
- } else
- if(o->a2 != C_NONE)
- continue;
- for(a1=0; a1<32; a1++) {
- if(!xcmp[a1][o->a1])
- continue;
- for(a3=0; a3<32; a3++)
- if(xcmp[a3][o->a3])
- (*p)[a1][a2][a3] = n;
- }
- }
- }
- oprange[as].start = 0;
-}