summaryrefslogtreecommitdiff
path: root/utils/il/asm.c
diff options
context:
space:
mode:
Diffstat (limited to 'utils/il/asm.c')
-rw-r--r--utils/il/asm.c966
1 files changed, 966 insertions, 0 deletions
diff --git a/utils/il/asm.c b/utils/il/asm.c
new file mode 100644
index 00000000..b0b1ce8f
--- /dev/null
+++ b/utils/il/asm.c
@@ -0,0 +1,966 @@
+#include "l.h"
+
+long OFFSET;
+
+xlong
+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 + INITTEXT;
+}
+
+void
+asmb(void)
+{
+ Prog *p;
+ long t, etext;
+ Optab *o;
+
+ if(debug['v'])
+ Bprint(&bso, "%5.2f asm\n", cputime());
+ Bflush(&bso);
+ OFFSET = HEADR;
+ seek(cout, OFFSET, 0);
+ pc = 0;
+ for(p = firstp; p != P; p = p->link) {
+ if(p->as == ATEXT) {
+ /* align on word boundary */
+ if(!debug['c'] && (pc & 2) != 0){
+ nopalign.pc = pc;
+ pc += asmout(&nopalign, oplook(&nopalign), 0);
+ }
+ curtext = p;
+ autosize = p->to.offset + ptrsize;
+ }
+ if(p->pc != pc) {
+ diag("phase error %lux sb %lux",
+ p->pc, pc);
+ if(!debug['a'])
+ prasm(curp);
+ pc = p->pc;
+ }
+ curp = p;
+ o = oplook(p); /* could probably avoid this call */
+ pc += asmout(p, o, 0);
+ }
+ if(debug['a'])
+ Bprint(&bso, "\n");
+ Bflush(&bso);
+ cflush();
+
+ etext = textsize;
+ for(t = pc; t < etext; t += sizeof(buf)-100) {
+ if(etext-t > sizeof(buf)-100)
+ datblk(t, sizeof(buf)-100, 1);
+ else
+ datblk(t, etext-t, 1);
+ }
+
+ Bflush(&bso);
+ cflush();
+
+ curtext = P;
+ switch(HEADTYPE) {
+ case 0:
+ case 4:
+ OFFSET = rnd(HEADR+textsize, 4096);
+ seek(cout, OFFSET, 0);
+ break;
+ case 1:
+ case 2:
+ case 3:
+ case 5:
+ case 6:
+ OFFSET = HEADR+textsize;
+ seek(cout, OFFSET, 0);
+ break;
+ }
+ for(t = 0; t < datsize; t += sizeof(buf)-100) {
+ if(datsize-t > sizeof(buf)-100)
+ datblk(t, sizeof(buf)-100, 0);
+ else
+ datblk(t, datsize-t, 0);
+ }
+
+ symsize = 0;
+ lcsize = 0;
+ if(!debug['s']) {
+ if(debug['v'])
+ Bprint(&bso, "%5.2f sym\n", cputime());
+ Bflush(&bso);
+ switch(HEADTYPE) {
+ case 0:
+ case 4:
+ OFFSET = rnd(HEADR+textsize, 4096)+datsize;
+ seek(cout, OFFSET, 0);
+ break;
+ case 3:
+ case 2:
+ case 1:
+ case 5:
+ case 6:
+ OFFSET = HEADR+textsize+datsize;
+ seek(cout, OFFSET, 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);
+ OFFSET = 0;
+ seek(cout, OFFSET, 0);
+ switch(HEADTYPE) {
+ case 1:
+ break;
+ case 2:
+ /* XXX expanded header needed? */
+ t = thechar == 'j' ? 30 : 29;
+ lput(((((4*t)+0)*t)+7)); /* magic */
+ lput(textsize); /* sizes */
+ lput(datsize);
+ lput(bsssize);
+ lput(symsize); /* nsyms */
+ lput(entryvalue()); /* va of entry */
+ lput(0L);
+ lput(lcsize);
+ break;
+ case 5:
+ if(thechar == 'j')
+ elf64(243, ELFDATA2LSB, 0, nil); /* 243 is RISCV */
+ else
+ elf32(243, ELFDATA2LSB, 0, nil);
+ }
+ cflush();
+}
+
+void
+strnput(char *s, int n)
+{
+ for(; *s; s++){
+ cput(*s);
+ n--;
+ }
+ for(; n > 0; n--)
+ cput(0);
+}
+
+void
+cput(int c)
+{
+ cbp[0] = c;
+ cbp++;
+ cbc--;
+ if(cbc <= 0)
+ cflush();
+}
+
+void
+wput(long l)
+{
+
+ cbp[0] = l>>8;
+ cbp[1] = l;
+ cbp += 2;
+ cbc -= 2;
+ if(cbc <= 0)
+ cflush();
+}
+
+void
+wputl(long l)
+{
+
+ cbp[0] = l;
+ cbp[1] = l>>8;
+ cbp += 2;
+ cbc -= 2;
+ if(cbc <= 0)
+ cflush();
+}
+
+void
+lput(long l)
+{
+
+ cbp[0] = l>>24;
+ cbp[1] = l>>16;
+ cbp[2] = l>>8;
+ cbp[3] = l;
+ cbp += 4;
+ cbc -= 4;
+ if(cbc <= 0)
+ cflush();
+}
+
+void
+lputl(long l)
+{
+
+ cbp[3] = l>>24;
+ cbp[2] = l>>16;
+ cbp[1] = l>>8;
+ cbp[0] = l;
+ cbp += 4;
+ cbc -= 4;
+ if(cbc <= 0)
+ cflush();
+}
+
+void
+llput(vlong v)
+{
+ lput(v>>32);
+ lput(v);
+}
+
+void
+llputl(vlong v)
+{
+ lputl(v);
+ lputl(v>>32);
+}
+
+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
+nopstat(char *f, Count *c)
+{
+ if(c->outof)
+ Bprint(&bso, "%s delay %ld/%ld (%.2f)\n", f,
+ c->outof - c->count, c->outof,
+ (double)(c->outof - c->count)/c->outof);
+}
+
+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+INITTEXT, 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 SSTRING:
+ putsymb(s->name, 'T', 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->asym->name, 'z', a->aoffset, 0);
+ else
+ if(a->type == D_FILE1)
+ putsymb(a->asym->name, 'Z', a->aoffset, 0);
+
+ if(s->type == STEXT)
+ putsymb(s->name, 'T', s->value+INITTEXT, s->version);
+ else
+ putsymb(s->name, 'L', s->value+INITTEXT, s->version);
+
+ /* frame, auto and param after */
+ putsymb(".frame", 'm', p->to.offset+ptrsize, 0);
+ for(a=p->to.autom; a; a=a->link)
+ if(a->type == D_AUTO)
+ putsymb(a->asym->name, 'a', -a->aoffset, 0);
+ else
+ if(a->type == D_PARAM)
+ putsymb(a->asym->name, 'p', a->aoffset, 0);
+ }
+ if(debug['v'] || debug['n'])
+ Bprint(&bso, "symsize = %lud\n", symsize);
+ Bflush(&bso);
+}
+
+void
+putsymb(char *s, int t, vlong v, int ver)
+{
+ int i, f, l;
+
+ if(t == 'f')
+ s++;
+ if(thechar == 'j'){
+ l = 8;
+ llput(v);
+ }else{
+ l = 4;
+ lput(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 += l + 1 + i + 1;
+
+ if(debug['n']) {
+ if(t == 'z' || t == 'Z') {
+ Bprint(&bso, "%c %.8llux ", 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 %.8llux %s<%d>\n", t, v, s, ver);
+ else
+ Bprint(&bso, "%c %.8llux %s\n", t, v, s);
+ }
+}
+
+#define MINLC 4
+void
+asmlc(void)
+{
+ long oldpc, oldlc;
+ Prog *p;
+ long v, s;
+
+ oldpc = 0;
+ 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, int str)
+{
+ Prog *p;
+ char *cast;
+ vlong d;
+ long l, fl, j;
+ int i, c;
+
+ memset(buf.dbuf, 0, n+100);
+ for(p = datap; p != P; p = p->link) {
+ curp = p;
+ if(str != (p->from.sym->type == SSTRING))
+ continue;
+ 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+4]];
+ 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_VCONST:
+ d = *p->to.vval;
+ goto dconst;
+
+ case D_CONST:
+ d = p->to.offset;
+ dconst:
+ if(p->to.sym) {
+ switch(p->to.sym->type) {
+ case STEXT:
+ case SLEAF:
+ case SSTRING:
+ d += (p->to.sym->value + INITTEXT);
+ break;
+ case SDATA:
+ case SBSS:
+ d += (p->to.sym->value + INITDAT);
+ break;
+ }
+ }
+ 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<c; i++) {
+ buf.dbuf[l] = cast[inuxi8[i]];
+ l++;
+ }
+ break;
+ }
+ break;
+ }
+ if(debug['d'] && i == c) {
+ Bprint(&bso, "%.8llux", l+s+INITDAT-c);
+ for(j = -c; j<0; j++)
+ Bprint(&bso, " %.2ux", ((uchar*)buf.dbuf)[l + j]);
+ Bprint(&bso, "\t%P\n", curp);
+ }
+ }
+ write(cout, buf.dbuf, n);
+}
+
+#define R(r) ((r)&0x1F)
+#define OPX (0x3 | o->op<<2)
+#define OPF (OPX | o->func3<<12)
+#define OP_R(rs1,rs2,rd)\
+ (OPF | rd<<7 | R(rs1)<<15 | R(rs2)<<20 | o->param<<25)
+#define OP_RF(rs1,rs2,rd,rm)\
+ (OPX | rm<<12 | rd<<7 | R(rs1)<<15 | R(rs2)<<20 | o->param<<25)
+#define OP_RO(rs1,rs2,rd)\
+ (0x3 | OOP<<2 | o->func3<<12 | rd<<7 | R(rs1)<<15 | R(rs2)<<20)
+#define OP_ADD(rs1,rs2,rd)\
+ (0x3 | OOP<<2 | rd<<7 | R(rs1)<<15 | R(rs2)<<20)
+#define OP_I(rs1,rd,imm)\
+ (OPF | rd<<7 | R(rs1)<<15 | (imm)<<20)
+#define OP_FI(func3,rs1,rd,imm)\
+ (OPX | func3<<12 | rd<<7 | R(rs1)<<15 | (imm)<<20)
+#define OP_S(rs1,rs2,imm)\
+ (OPF | (imm&0x1F)<<7 | R(rs1)<<15 | R(rs2)<<20 | (imm>>5)<<25)
+#define OP_B(rs1,rs2,imm)\
+ (OPF | R(rs1)<<15 | R(rs2)<<20 | (imm&0x800)>>4 | (imm&0x1E)<<7 | \
+ (imm&0x7E0)<<20 | (imm&0x1000)<<19)
+#define OP_U(rd,imm)\
+ (0x3 | OLUI<<2 | rd<<7 | (imm&0xFFFFF000))
+#define OP_UP(rd,imm)\
+ (0x3 | OAUIPC<<2 | rd<<7 | (imm&0xFFFFF000))
+#define OP_J(rd,imm)\
+ (OPX | rd<<7 | (imm&0xff000) | (imm&0x800)<<9 | (imm&0x7FE)<<20 | (imm&0x100000)<<11)
+
+/*
+ * aflag: 0 - assemble to object file
+ * 1 - return assembled instruction
+ * 2 - first pass, return length of assembled instruction
+ * 3 - later pass, return length of assembled instruction
+ */
+int
+asmout(Prog *p, Optab *o, int aflag)
+{
+ vlong vv;
+ long o1, o2, o3, v;
+ int r;
+
+ o1 = 0;
+ o2 = 0;
+ o3 = 0;
+ r = p->reg;
+ if(r == NREG) switch(p->as){
+ case AMOVF:
+ case AMOVD:
+ if(p->from.type == D_FREG && p->to.type == D_FREG)
+ r = p->from.reg;
+ break;
+ case AMOV:
+ case AJMP:
+ r = REGZERO;
+ break;
+ case AJAL:
+ r = REGLINK;
+ break;
+ default:
+ r = p->to.reg;
+ break;
+ }
+ if(!debug['c'] && o->ctype){
+ o1 = asmcompressed(p, o, r, aflag == 2);
+ if(o1 != 0){
+ switch(aflag){
+ case 1:
+ return o1;
+ case 2:
+ case 3:
+ return 2;
+ }
+ if(debug['a']){
+ v = p->pc + INITTEXT;
+ Bprint(&bso, " %.8lux: %.4lux \t%P\n", v, o1, p);
+ }
+ wputl(o1);
+ return 2;
+ }
+ }
+ if(aflag >= 2)
+ return o->size;
+ switch(o->type) {
+ default:
+ diag("unknown type %d", o->type);
+ if(!debug['a'])
+ prasm(p);
+ break;
+
+ case 0: /* add S,[R,]D */
+ o1 = OP_R(r, p->from.reg, p->to.reg);
+ break;
+
+ case 1: /* slli $I,[R,]D */
+ v = p->from.offset & 0x3F;
+ v |= (o->param<<5);
+ o1 = OP_I(r, p->to.reg, v);
+ break;
+
+ case 2: /* addi $I,[R,]D */
+ v = p->from.offset;
+ if(v < -BIG || v >= BIG)
+ diag("imm out of range\n%P", p);
+ o1 = OP_I(r, p->to.reg, v);
+ break;
+
+ case 3: /* beq S,[R,]L */
+ if(r == NREG)
+ r = REGZERO;
+ if(p->cond == P)
+ v = 0;
+ else
+ v = (p->cond->pc - pc);
+ if(v < -0x1000 || v >= 0x1000)
+ diag("branch out of range\n%P", p);
+ o1 = OP_B(r, p->from.reg, v);
+ break;
+
+ case 4: /* jal [D,]L */
+ if(p->cond == P)
+ v = 0;
+ else
+ v = (p->cond->pc - pc);
+ if(v < -0x100000 || v >= 0x100000)
+ diag("jump out of range\n%P", p);
+ o1 = OP_J(r, v);
+ break;
+
+ case 5: /* jalr [D,]I(S) */
+ v = regoff(&p->to);
+ if(v < -BIG || v >= BIG)
+ diag("imm out of range\n%P", p);
+ o1 = OP_I(classreg(&p->to), r, v);
+ break;
+
+ case 6: /* sb R,I(S) */
+ v = regoff(&p->to);
+ r = classreg(&p->to);
+ if(v < -BIG || v >= BIG)
+ diag("imm out of range\n%P", p);
+ o1 = OP_S(r, p->from.reg, v);
+ break;
+
+ case 7: /* lb I(S),D */
+ v = regoff(&p->from);
+ r = classreg(&p->from);
+ if(v < -BIG || v >= BIG)
+ diag("imm out of range\n%P", p);
+ o1 = OP_I(r, p->to.reg, v);
+ break;
+
+ case 8: /* lui I,D */
+ v = p->from.offset;
+ o1 = OP_U(p->to.reg, v);
+ break;
+
+ case 9: /* lui I1,D; addi I0,D */
+ v = regoff(&p->from);
+ if(thechar == 'j' && v >= 0x7ffff800){
+ /* awkward edge case */
+ o1 = OP_U(p->to.reg, -v);
+ v &= 0xFFF;
+ o2 = OP_FI(4, p->to.reg, p->to.reg, v); /* xori */
+ break;
+ }
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = OP_U(p->to.reg, v);
+ v &= 0xFFF;
+ o2 = OP_I(p->to.reg, p->to.reg, v);
+ break;
+
+ case 10: /* sign extend */
+ if(p->as == AMOVBU) {
+ o1 = OP_I(p->from.reg, p->to.reg, o->param);
+ break;
+ }
+ v = o->param;
+ if(thechar == 'j')
+ v += 32;
+ o1 = OP_FI(1, p->from.reg, p->to.reg, v & 0x3F); /* slli */
+ o2 = OP_I(p->to.reg, p->to.reg, v); /* srli or srai */
+ break;
+
+ case 11: /* addi $I,R,D */
+ v = regoff(&p->from);
+ if(v < -BIG || v >= BIG)
+ diag("imm out of range\n%P", p);
+ o1 = OP_I(classreg(&p->from), p->to.reg, v);
+ break;
+
+ case 12: /* mov r,lext => lui/auipc I1,T; sb r,I0(T) */
+ v = regoff(&p->to);
+ if(thechar == 'j'){
+ vv = v + INITDAT + BIG - INITTEXT - pc;
+ v = (long)vv;
+ if(v != vv || (v&~0x7FF) == 0x7FFFF800)
+ diag("address out of range\n%P", p);
+ }else
+ v += INITDAT + BIG;
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = thechar == 'j' ? OP_UP(REGTMP, v) : OP_U(REGTMP, v);
+ v &= 0xFFF;
+ o2 = OP_S(REGTMP, p->from.reg, v);
+ break;
+
+ case 13: /* mov lext, r => lui/auipc I1,T; lb r,I0(T) */
+ v = regoff(&p->from);
+ if(thechar == 'j'){
+ vv = v + INITDAT + BIG - INITTEXT - pc;
+ v = (long)vv;
+ if(v != vv || (v&~0x7FF) == 0x7FFFF800)
+ diag("address out of range\n%P", p);
+ }else
+ v += INITDAT + BIG;
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = thechar == 'j' ? OP_UP(REGTMP, v) : OP_U(REGTMP, v);
+ v &= 0xFFF;
+ o2 = OP_I(REGTMP, p->to.reg, v);
+ break;
+
+ case 14: /* op $lcon,[r,]d => lui L1,T; addi $L0,T,T; op T,r,d */
+ v = regoff(&p->from);
+ if(p->as == AMOVW || p->as == AMOV)
+ r = classreg(&p->from);
+ if(thechar == 'j' && v >= 0x7ffff800){
+ /* awkward edge case */
+ o1 = OP_U(p->to.reg, -v);
+ v &= 0xFFF;
+ o2 = OP_FI(4, p->to.reg, p->to.reg, v); /* xori */
+ }else{
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = OP_U(REGTMP, v);
+ v &= 0xFFF;
+ o2 = OP_FI(0, REGTMP, REGTMP, v); /* addi */
+ }
+ o3 = OP_RO(r, REGTMP, p->to.reg);
+ break;
+
+ case 15: /* mov r,L(s) => lui L1,T; add s,T,T; sb r,L0(T) */
+ v = regoff(&p->to);
+ r = classreg(&p->to);
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = OP_U(REGTMP, v);
+ v &= 0xFFF;
+ o2 = OP_ADD(r, REGTMP, REGTMP);
+ o3 = OP_S(REGTMP, p->from.reg, v);
+ break;
+
+ case 16: /* mov L(s),r => lui L1,T; add s,T,T; lb r,L0(T) */
+ v = regoff(&p->from);
+ r = classreg(&p->from);
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = OP_U(REGTMP, v);
+ v &= 0xFFF;
+ o2 = OP_ADD(r, REGTMP, REGTMP);
+ o3 = OP_I(REGTMP, p->to.reg, v);
+ break;
+
+ case 17: /* fcvt S,D */
+ v = 7; /* dynamic rounding mode */
+ if(o->a3 == C_REG) /* convert to int? */
+ v = 1; /* round towards zero */
+ o1 = OP_RF(p->from.reg, o->func3, p->to.reg, v);
+ break;
+
+ case 18: /* lui L1, T; jal [r,]L0(T) */
+ if(p->cond == P)
+ v = 0;
+ else
+ v = p->cond->pc;
+ if(thechar == 'j'){
+ vv = v + INITTEXT;
+ v = (long)vv;
+ if(v != vv || (v&~0x7FF) == 0x7FFFF800)
+ diag("branch out of range\n%P", p);
+ }else
+ v += INITTEXT;
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = thechar == 'j' ? OP_UP(REGTMP, v) : OP_U(REGTMP, v);
+ v &= 0xFFF;
+ o2 = OP_I(REGTMP, r, v);
+ break;
+
+ case 19: /* addiw $0, rs, rd */
+ v = 0;
+ o1 = OP_I(p->from.reg, p->to.reg, v);
+ break;
+
+ case 20: /* lui/auipc I1,D; addi I0; D */
+ if(thechar == 'j'){
+ vv = regoff(&p->from) + instoffx - (pc + INITTEXT);
+ v = (long)vv;
+ if(v != vv || (v&~0x7FF) == 0x7FFFF800)
+ diag("address %llux out of range\n%P", regoff(&p->from) + instoffx, p);
+ }else{
+ v = regoff(&p->from) + instoffx;
+ }
+ if(v & 0x800)
+ v += 0x1000;
+ o1 = thechar == 'j' ? OP_UP(p->to.reg, v) : OP_U(p->to.reg, v);
+ v &= 0xFFF;
+ o2 = OP_I(p->to.reg, p->to.reg, v);
+ break;
+
+ case 21: /* lui I,D; s[lr]ai N,D */
+ vv = *p->from.vval;
+ v = vconshift(vv);
+ if(v < 0)
+ diag("64 bit constant error:\n%P", p);
+ if(v < 12)
+ vv <<= 12 - v;
+ else
+ vv >>= v - 12;
+ o1 = OP_U(p->to.reg, (long)vv);
+ if (v > 12)
+ o2 = OP_FI(1, p->to.reg, p->to.reg, v - 12); /* slli */
+ else
+ o2 = OP_I(p->to.reg, p->to.reg, 12 - v); /* srai */
+ break;
+
+ case 22: /* CSRRx C, rs, rd */
+ v = p->from.offset & 0xFFF;
+ o1 = OP_I(p->reg, p->to.reg, v);
+ break;
+
+ case 24: /* SYS */
+ v = p->to.offset & 0xFFF;
+ o1 = OP_I(0, 0, v);
+ break;
+
+ case 25: /* word $x */
+ o1 = regoff(&p->to);
+ break;
+
+ case 26: /* pseudo ops */
+ break;
+ }
+ if(aflag)
+ return o1;
+ v = p->pc + INITTEXT;
+ switch(o->size) {
+ default:
+ if(debug['a'])
+ Bprint(&bso, " %.8lux:\t\t%P\n", v, p);
+ break;
+ case 4:
+ if(debug['a'])
+ Bprint(&bso, " %.8lux: %.8lux\t%P\n", v, o1, p);
+ lputl(o1);
+ break;
+ case 8:
+ if(debug['a'])
+ Bprint(&bso, " %.8lux: %.8lux %.8lux%P\n", v, o1, o2, p);
+ lputl(o1);
+ lputl(o2);
+ break;
+ case 12:
+ if(debug['a'])
+ Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux%P\n", v, o1, o2, o3, p);
+ lputl(o1);
+ lputl(o2);
+ lputl(o3);
+ break;
+ }
+ return o->size;
+}
+
generated by cgit v1.2.3 (git 2.46.0) at 2025-12-10 15:44:10 +0000