ref: 01986adbbf75c07c613b11fcb81a8015a71e5664
dir: /sys/src/cmd/7l/asm.c/
#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;
}