| // Inferno utils/5l/asm.c |
| // http://code.google.com/p/inferno-os/source/browse/utils/5l/asm.c |
| // |
| // Copyright © 1994-1999 Lucent Technologies Inc. All rights reserved. |
| // Portions Copyright © 1995-1997 C H Forsyth (forsyth@terzarima.net) |
| // Portions Copyright © 1997-1999 Vita Nuova Limited |
| // Portions Copyright © 2000-2007 Vita Nuova Holdings Limited (www.vitanuova.com) |
| // Portions Copyright © 2004,2006 Bruce Ellis |
| // Portions Copyright © 2005-2007 C H Forsyth (forsyth@terzarima.net) |
| // Revisions Copyright © 2000-2007 Lucent Technologies Inc. and others |
| // Portions Copyright © 2009 The Go Authors. All rights reserved. |
| // |
| // Permission is hereby granted, free of charge, to any person obtaining a copy |
| // of this software and associated documentation files (the "Software"), to deal |
| // in the Software without restriction, including without limitation the rights |
| // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| // copies of the Software, and to permit persons to whom the Software is |
| // furnished to do so, subject to the following conditions: |
| // |
| // The above copyright notice and this permission notice shall be included in |
| // all copies or substantial portions of the Software. |
| // |
| // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| // THE SOFTWARE. |
| |
| #include "l.h" |
| #include "../ld/lib.h" |
| |
| int32 OFFSET; |
| |
| static Prog *PP; |
| |
| int32 |
| 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; |
| switch(s->type) { |
| case STEXT: |
| case SLEAF: |
| break; |
| case SDATA: |
| if(dlm) |
| return s->value+INITDAT; |
| default: |
| diag("entry not text: %s", s->name); |
| } |
| return s->value; |
| } |
| |
| void |
| asmb(void) |
| { |
| Prog *p; |
| int32 t, etext; |
| int np; |
| vlong va, fo, w, symo; |
| int strtabsize; |
| vlong symdatva = 0x99LL<<24; |
| Optab *o; |
| |
| strtabsize = 0; |
| symo = 0; |
| |
| if(debug['v']) |
| Bprint(&bso, "%5.2f asm\n", cputime()); |
| Bflush(&bso); |
| OFFSET = HEADR; |
| seek(cout, OFFSET, 0); |
| pc = INITTEXT; |
| for(p = firstp; p != P; p = p->link) { |
| setarch(p); |
| if(p->as == ATEXT) { |
| curtext = p; |
| autosize = p->to.offset + 4; |
| } |
| 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 */ |
| if(thumb) |
| thumbasmout(p, o); |
| else |
| asmout(p, o); |
| pc += o->size; |
| } |
| while(pc-INITTEXT < textsize) { |
| cput(0); |
| pc++; |
| } |
| |
| if(debug['a']) |
| Bprint(&bso, "\n"); |
| Bflush(&bso); |
| cflush(); |
| |
| /* output strings in text segment */ |
| etext = INITTEXT + 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); |
| } |
| |
| /* output section header strings */ |
| curtext = P; |
| switch(HEADTYPE) { |
| case 0: |
| case 1: |
| case 2: |
| case 5: |
| OFFSET = HEADR+textsize; |
| seek(cout, OFFSET, 0); |
| break; |
| case 3: |
| OFFSET = rnd(HEADR+textsize, 4096); |
| seek(cout, OFFSET, 0); |
| break; |
| case 6: |
| seek(cout, rnd(HEADR+textsize, INITRND)+datsize, 0); |
| strtabsize = linuxstrtable(); |
| cflush(); |
| t = rnd(HEADR+textsize, INITRND); |
| seek(cout, t, 0); |
| break; |
| } |
| if(dlm){ |
| char buf[8]; |
| |
| write(cout, buf, INITDAT-textsize); |
| textsize = INITDAT; |
| } |
| 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); |
| } |
| cflush(); |
| |
| /* output symbol table */ |
| symsize = 0; |
| lcsize = 0; |
| if(!debug['s']) { |
| if(debug['v']) |
| Bprint(&bso, "%5.2f sym\n", cputime()); |
| Bflush(&bso); |
| switch(HEADTYPE) { |
| case 0: |
| case 1: |
| case 4: |
| case 5: |
| debug['s'] = 1; |
| break; |
| case 2: |
| OFFSET = HEADR+textsize+datsize; |
| seek(cout, OFFSET, 0); |
| break; |
| case 3: |
| OFFSET += rnd(datsize, 4096); |
| seek(cout, OFFSET, 0); |
| break; |
| case 6: |
| symo = rnd(HEADR+textsize, INITRND)+datsize+strtabsize; |
| symo = rnd(symo, INITRND); |
| seek(cout, symo + 8, 0); |
| break; |
| } |
| if(!debug['s']) |
| asmsym(); |
| if(debug['v']) |
| Bprint(&bso, "%5.2f pc\n", cputime()); |
| Bflush(&bso); |
| if(!debug['s']) |
| asmlc(); |
| if(!debug['s']) |
| asmthumbmap(); |
| if(dlm) |
| asmdyn(); |
| cflush(); |
| } |
| else if(dlm){ |
| seek(cout, HEADR+textsize+datsize, 0); |
| asmdyn(); |
| cflush(); |
| } |
| |
| curtext = P; |
| if(debug['v']) |
| Bprint(&bso, "%5.2f header\n", cputime()); |
| Bflush(&bso); |
| OFFSET = 0; |
| seek(cout, OFFSET, 0); |
| switch(HEADTYPE) { |
| case 0: /* no header */ |
| break; |
| case 1: /* aif for risc os */ |
| lputl(0xe1a00000); /* NOP - decompress code */ |
| lputl(0xe1a00000); /* NOP - relocation code */ |
| lputl(0xeb000000 + 12); /* BL - zero init code */ |
| lputl(0xeb000000 + |
| (entryvalue() |
| - INITTEXT |
| + HEADR |
| - 12 |
| - 8) / 4); /* BL - entry code */ |
| |
| lputl(0xef000011); /* SWI - exit code */ |
| lputl(textsize+HEADR); /* text size */ |
| lputl(datsize); /* data size */ |
| lputl(0); /* sym size */ |
| |
| lputl(bsssize); /* bss size */ |
| lputl(0); /* sym type */ |
| lputl(INITTEXT-HEADR); /* text addr */ |
| lputl(0); /* workspace - ignored */ |
| |
| lputl(32); /* addr mode / data addr flag */ |
| lputl(0); /* data addr */ |
| for(t=0; t<2; t++) |
| lputl(0); /* reserved */ |
| |
| for(t=0; t<15; t++) |
| lputl(0xe1a00000); /* NOP - zero init code */ |
| lputl(0xe1a0f00e); /* B (R14) - zero init return */ |
| break; |
| case 2: /* plan 9 */ |
| if(dlm) |
| lput(0x80000000|0x647); /* magic */ |
| else |
| lput(0x647); /* magic */ |
| lput(textsize); /* sizes */ |
| lput(datsize); |
| lput(bsssize); |
| lput(symsize); /* nsyms */ |
| lput(entryvalue()); /* va of entry */ |
| lput(0L); |
| lput(lcsize); |
| break; |
| case 3: /* boot for NetBSD */ |
| lput((143<<16)|0413); /* magic */ |
| lputl(rnd(HEADR+textsize, 4096)); |
| lputl(rnd(datsize, 4096)); |
| lputl(bsssize); |
| lputl(symsize); /* nsyms */ |
| lputl(entryvalue()); /* va of entry */ |
| lputl(0L); |
| lputl(0L); |
| break; |
| case 4: /* boot for IXP1200 */ |
| break; |
| case 5: /* boot for ipaq */ |
| lputl(0xe3300000); /* nop */ |
| lputl(0xe3300000); /* nop */ |
| lputl(0xe3300000); /* nop */ |
| lputl(0xe3300000); /* nop */ |
| break; |
| case 6: |
| /* elf arm */ |
| strnput("\177ELF", 4); /* e_ident */ |
| cput(1); /* class = 32 bit */ |
| cput(1); /* data = LSB */ |
| cput(1); /* version = CURRENT */ |
| strnput("", 9); |
| |
| wputl(2); /* type = EXEC */ |
| wputl(40); /* machine = ARM */ |
| lputl(1L); /* version = CURRENT */ |
| lputl(entryvalue()); /* entry vaddr */ |
| lputl(52L); /* offset to first phdr */ |
| np = 3; |
| if(!debug['s']) |
| np++; |
| lputl(52L+32*np); /* offset to first shdr */ |
| lputl(0L); /* processor specific flags */ |
| wputl(52); /* Ehdr size */ |
| wputl(32); /* Phdr size */ |
| wputl(np); /* # of Phdrs */ |
| wputl(40); /* Shdr size */ |
| if (!debug['s']) |
| wputl(7); /* # of Shdrs */ |
| else |
| wputl(5); /* # of Shdrs */ |
| wputl(4); /* Shdr with strings */ |
| |
| fo = 0; |
| va = INITTEXT & ~((vlong)INITRND - 1); |
| w = HEADR+textsize; |
| |
| linuxphdr(1, /* text - type = PT_LOAD */ |
| 1L+4L, /* text - flags = PF_X+PF_R */ |
| 0, /* file offset */ |
| va, /* vaddr */ |
| va, /* paddr */ |
| w, /* file size */ |
| w, /* memory size */ |
| INITRND); /* alignment */ |
| |
| fo = rnd(fo+w, INITRND); |
| va = rnd(va+w, INITRND); |
| w = datsize; |
| |
| linuxphdr(1, /* data - type = PT_LOAD */ |
| 2L+4L, /* data - flags = PF_W+PF_R */ |
| fo, /* file offset */ |
| va, /* vaddr */ |
| va, /* paddr */ |
| w, /* file size */ |
| w+bsssize, /* memory size */ |
| INITRND); /* alignment */ |
| |
| if(!debug['s']) { |
| linuxphdr(1, /* data - type = PT_LOAD */ |
| 2L+4L, /* data - flags = PF_W+PF_R */ |
| symo, /* file offset */ |
| symdatva, /* vaddr */ |
| symdatva, /* paddr */ |
| 8+symsize+lcsize, /* file size */ |
| 8+symsize+lcsize, /* memory size */ |
| INITRND); /* alignment */ |
| } |
| |
| linuxphdr(0x6474e551, /* gok - type = gok */ |
| 1L+2L+4L, /* gok - flags = PF_X+PF_W+PF_R */ |
| 0, /* file offset */ |
| 0, /* vaddr */ |
| 0, /* paddr */ |
| 0, /* file size */ |
| 0, /* memory size */ |
| 8); /* alignment */ |
| |
| linuxshdr(nil, /* name */ |
| 0, /* type */ |
| 0, /* flags */ |
| 0, /* addr */ |
| 0, /* off */ |
| 0, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 0, /* align */ |
| 0); /* entsize */ |
| |
| stroffset = 1; /* 0 means no name, so start at 1 */ |
| fo = HEADR; |
| va = (INITTEXT & ~((vlong)INITRND - 1)) + HEADR; |
| w = textsize; |
| |
| linuxshdr(".text", /* name */ |
| 1, /* type */ |
| 6, /* flags */ |
| va, /* addr */ |
| fo, /* off */ |
| w, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 8, /* align */ |
| 0); /* entsize */ |
| |
| fo = rnd(fo+w, INITRND); |
| va = rnd(va+w, INITRND); |
| w = datsize; |
| |
| linuxshdr(".data", /* name */ |
| 1, /* type */ |
| 3, /* flags */ |
| va, /* addr */ |
| fo, /* off */ |
| w, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 8, /* align */ |
| 0); /* entsize */ |
| |
| fo += w; |
| va += w; |
| w = bsssize; |
| |
| linuxshdr(".bss", /* name */ |
| 8, /* type */ |
| 3, /* flags */ |
| va, /* addr */ |
| fo, /* off */ |
| w, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 8, /* align */ |
| 0); /* entsize */ |
| |
| w = strtabsize; |
| |
| linuxshdr(".shstrtab", /* name */ |
| 3, /* type */ |
| 0, /* flags */ |
| 0, /* addr */ |
| fo, /* off */ |
| w, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 1, /* align */ |
| 0); /* entsize */ |
| |
| if (debug['s']) |
| break; |
| |
| fo = symo+8; |
| w = symsize; |
| |
| linuxshdr(".gosymtab", /* name */ |
| 1, /* type 1 = SHT_PROGBITS */ |
| 0, /* flags */ |
| 0, /* addr */ |
| fo, /* off */ |
| w, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 1, /* align */ |
| 24); /* entsize */ |
| |
| fo += w; |
| w = lcsize; |
| |
| linuxshdr(".gopclntab", /* name */ |
| 1, /* type 1 = SHT_PROGBITS*/ |
| 0, /* flags */ |
| 0, /* addr */ |
| fo, /* off */ |
| w, /* size */ |
| 0, /* link */ |
| 0, /* info */ |
| 1, /* align */ |
| 24); /* entsize */ |
| break; |
| } |
| cflush(); |
| if(debug['c']){ |
| print("textsize=%ld\n", textsize); |
| print("datsize=%ld\n", datsize); |
| print("bsssize=%ld\n", bsssize); |
| print("symsize=%ld\n", symsize); |
| print("lcsize=%ld\n", lcsize); |
| print("total=%ld\n", textsize+datsize+bsssize+symsize+lcsize); |
| } |
| } |
| |
| 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 |
| cput(int32 c) |
| { |
| *cbp++ = c; |
| if(--cbc <= 0) |
| cflush(); |
| } |
| */ |
| |
| void |
| wput(int32 l) |
| { |
| |
| cbp[0] = l>>8; |
| cbp[1] = l; |
| cbp += 2; |
| cbc -= 2; |
| if(cbc <= 0) |
| cflush(); |
| } |
| |
| void |
| wputl(ushort w) |
| { |
| cput(w); |
| cput(w>>8); |
| } |
| |
| |
| void |
| hput(int32 l) |
| { |
| |
| cbp[0] = l>>8; |
| cbp[1] = l; |
| cbp += 2; |
| cbc -= 2; |
| if(cbc <= 0) |
| cflush(); |
| } |
| |
| void |
| lput(int32 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(int32 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 |
| cflush(void) |
| { |
| int n; |
| |
| /* no bug if cbc < 0 since obuf(cbuf) followed by ibuf in buf! */ |
| 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, 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 SSTRING: |
| putsymb(s->name, 'T', s->value, 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->reachable) |
| continue; |
| |
| 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+4, 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, int32 v, int ver) |
| { |
| int i, f; |
| |
| if(t == 'f') |
| s++; |
| 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); |
| } |
| // TODO(rsc): handle go parameter |
| lput(0); |
| |
| symsize += 4 + 1 + i + 1 + 4; |
| |
| 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) |
| { |
| int32 oldpc, oldlc; |
| Prog *p; |
| int32 v, s; |
| |
| oldpc = INITTEXT; |
| oldlc = 0; |
| for(p = firstp; p != P; p = p->link) { |
| setarch(p); |
| 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); |
| } |
| |
| static void |
| outt(int32 f, int32 l) |
| { |
| if(debug['L']) |
| Bprint(&bso, "tmap: %lux-%lux\n", f, l); |
| lput(f); |
| lput(l); |
| } |
| |
| void |
| asmthumbmap(void) |
| { |
| int32 pc, lastt; |
| Prog *p; |
| |
| if(!seenthumb) |
| return; |
| pc = 0; |
| lastt = -1; |
| for(p = firstp; p != P; p = p->link){ |
| pc = p->pc - INITTEXT; |
| if(p->as == ATEXT){ |
| setarch(p); |
| if(thumb){ |
| if(p->from.sym->foreign){ // 8 bytes of ARM first |
| if(lastt >= 0){ |
| outt(lastt, pc-1); |
| lastt = -1; |
| } |
| pc += 8; |
| } |
| if(lastt < 0) |
| lastt = pc; |
| } |
| else{ |
| if(p->from.sym->foreign){ // 4 bytes of THUMB first |
| if(lastt < 0) |
| lastt = pc; |
| pc += 4; |
| } |
| if(lastt >= 0){ |
| outt(lastt, pc-1); |
| lastt = -1; |
| } |
| } |
| } |
| } |
| if(lastt >= 0) |
| outt(lastt, pc+1); |
| } |
| |
| void |
| datblk(int32 s, int32 n, int str) |
| { |
| Sym *v; |
| Prog *p; |
| char *cast; |
| int32 a, l, fl, j, d; |
| int i, c; |
| |
| memset(buf.dbuf, 0, n+100); |
| for(p = datap; p != P; p = p->link) { |
| if(str != (p->from.sym->type == SSTRING)) |
| continue; |
| curp = p; |
| a = p->from.sym->value + p->from.offset; |
| l = a - 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%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[fnuxi4[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; |
| v = p->to.sym; |
| if(v) { |
| switch(v->type) { |
| case SUNDEF: |
| ckoff(v, d); |
| d += v->value; |
| break; |
| case STEXT: |
| case SLEAF: |
| d += v->value; |
| #ifdef CALLEEBX |
| d += fnpinc(v); |
| #else |
| if(v->thumb) |
| d++; // T bit |
| #endif |
| break; |
| case SSTRING: |
| d += v->value; |
| break; |
| case SDATA: |
| case SBSS: |
| d += v->value + INITDAT; |
| break; |
| } |
| if(dlm) |
| dynreloc(v, a+INITDAT, 1); |
| } |
| cast = (char*)&d; |
| switch(c) { |
| default: |
| diag("bad nuxi %d %d%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; |
| } |
| break; |
| |
| case D_SBIG: |
| if(debug['a'] && i == 0) { |
| Bprint(&bso, "\t%P\n", curp); |
| } |
| for(; i<c; i++) { |
| buf.dbuf[l] = p->to.sbig[i]; |
| l++; |
| } |
| break; |
| } |
| } |
| write(cout, buf.dbuf, n); |
| } |
| |
| void |
| asmout(Prog *p, Optab *o) |
| { |
| int32 o1, o2, o3, o4, o5, o6, v; |
| int r, rf, rt, rt2; |
| Sym *s; |
| |
| PP = p; |
| o1 = 0; |
| o2 = 0; |
| o3 = 0; |
| o4 = 0; |
| o5 = 0; |
| o6 = 0; |
| armsize += o->size; |
| if(debug['P']) print("%ulx: %P type %d\n", (uint32)(p->pc), p, o->type); |
| switch(o->type) { |
| default: |
| diag("unknown asm %d", o->type); |
| prasm(p); |
| break; |
| |
| case 0: /* pseudo ops */ |
| if(debug['G']) print("%ulx: %s: arm %d %d %d %d\n", (uint32)(p->pc), p->from.sym->name, p->from.sym->thumb, p->from.sym->foreign, p->from.sym->fnptr, p->from.sym->used); |
| break; |
| |
| case 1: /* op R,[R],R */ |
| o1 = oprrr(p->as, p->scond); |
| rf = p->from.reg; |
| rt = p->to.reg; |
| r = p->reg; |
| if(p->to.type == D_NONE) |
| rt = 0; |
| if(p->as == AMOVW || p->as == AMVN) |
| r = 0; |
| else if(r == NREG) |
| r = rt; |
| o1 |= rf | (r<<16) | (rt<<12); |
| break; |
| |
| case 2: /* movbu $I,[R],R */ |
| aclass(&p->from); |
| o1 = oprrr(p->as, p->scond); |
| o1 |= immrot(instoffset); |
| rt = p->to.reg; |
| r = p->reg; |
| if(p->to.type == D_NONE) |
| rt = 0; |
| if(p->as == AMOVW || p->as == AMVN) |
| r = 0; |
| else if(r == NREG) |
| r = rt; |
| o1 |= (r<<16) | (rt<<12); |
| break; |
| |
| case 3: /* add R<<[IR],[R],R */ |
| mov: |
| aclass(&p->from); |
| o1 = oprrr(p->as, p->scond); |
| o1 |= p->from.offset; |
| rt = p->to.reg; |
| r = p->reg; |
| if(p->to.type == D_NONE) |
| rt = 0; |
| if(p->as == AMOVW || p->as == AMVN) |
| r = 0; |
| else if(r == NREG) |
| r = rt; |
| o1 |= (r<<16) | (rt<<12); |
| break; |
| |
| case 4: /* add $I,[R],R */ |
| aclass(&p->from); |
| o1 = oprrr(AADD, p->scond); |
| o1 |= immrot(instoffset); |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 |= r << 16; |
| o1 |= p->to.reg << 12; |
| break; |
| |
| case 5: /* bra s */ |
| v = -8; |
| if(p->cond == UP) { |
| s = p->to.sym; |
| if(s->type != SUNDEF) |
| diag("bad branch sym type"); |
| v = (uint32)s->value >> (Roffset-2); |
| dynreloc(s, p->pc, 0); |
| } |
| else if(p->cond != P) |
| v = (p->cond->pc - pc) - 8; |
| #ifdef CALLEEBX |
| if(p->as == ABL) |
| v += fninc(p->to.sym); |
| #endif |
| o1 = opbra(p->as, p->scond); |
| o1 |= (v >> 2) & 0xffffff; |
| break; |
| |
| case 6: /* b ,O(R) -> add $O,R,PC */ |
| aclass(&p->to); |
| o1 = oprrr(AADD, p->scond); |
| o1 |= immrot(instoffset); |
| o1 |= p->to.reg << 16; |
| o1 |= REGPC << 12; |
| break; |
| |
| case 7: /* bl ,O(R) -> mov PC,link; add $O,R,PC */ |
| aclass(&p->to); |
| o1 = oprrr(AADD, p->scond); |
| o1 |= immrot(0); |
| o1 |= REGPC << 16; |
| o1 |= REGLINK << 12; |
| |
| o2 = oprrr(AADD, p->scond); |
| o2 |= immrot(instoffset); |
| o2 |= p->to.reg << 16; |
| o2 |= REGPC << 12; |
| break; |
| |
| case 8: /* sll $c,[R],R -> mov (R<<$c),R */ |
| aclass(&p->from); |
| o1 = oprrr(p->as, p->scond); |
| r = p->reg; |
| if(r == NREG) |
| r = p->to.reg; |
| o1 |= r; |
| o1 |= (instoffset&31) << 7; |
| o1 |= p->to.reg << 12; |
| break; |
| |
| case 9: /* sll R,[R],R -> mov (R<<R),R */ |
| o1 = oprrr(p->as, p->scond); |
| r = p->reg; |
| if(r == NREG) |
| r = p->to.reg; |
| o1 |= r; |
| o1 |= (p->from.reg << 8) | (1<<4); |
| o1 |= p->to.reg << 12; |
| break; |
| |
| case 10: /* swi [$con] */ |
| o1 = oprrr(p->as, p->scond); |
| if(p->to.type != D_NONE) { |
| aclass(&p->to); |
| o1 |= instoffset & 0xffffff; |
| } |
| break; |
| |
| case 11: /* word */ |
| switch(aclass(&p->to)) { |
| case C_LCON: |
| if(!dlm) |
| break; |
| if(p->to.name != D_EXTERN && p->to.name != D_STATIC) |
| break; |
| case C_ADDR: |
| if(p->to.sym->type == SUNDEF) |
| ckoff(p->to.sym, p->to.offset); |
| dynreloc(p->to.sym, p->pc, 1); |
| } |
| o1 = instoffset; |
| break; |
| |
| case 12: /* movw $lcon, reg */ |
| o1 = omvl(p, &p->from, p->to.reg); |
| break; |
| |
| case 13: /* op $lcon, [R], R */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| o2 = oprrr(p->as, p->scond); |
| o2 |= REGTMP; |
| r = p->reg; |
| if(p->as == AMOVW || p->as == AMVN) |
| r = 0; |
| else if(r == NREG) |
| r = p->to.reg; |
| o2 |= r << 16; |
| if(p->to.type != D_NONE) |
| o2 |= p->to.reg << 12; |
| break; |
| |
| case 14: /* movb/movbu/movh/movhu R,R */ |
| o1 = oprrr(ASLL, p->scond); |
| |
| if(p->as == AMOVBU || p->as == AMOVHU) |
| o2 = oprrr(ASRL, p->scond); |
| else |
| o2 = oprrr(ASRA, p->scond); |
| |
| r = p->to.reg; |
| o1 |= (p->from.reg)|(r<<12); |
| o2 |= (r)|(r<<12); |
| if(p->as == AMOVB || p->as == AMOVBU) { |
| o1 |= (24<<7); |
| o2 |= (24<<7); |
| } else { |
| o1 |= (16<<7); |
| o2 |= (16<<7); |
| } |
| break; |
| |
| case 15: /* mul r,[r,]r */ |
| o1 = oprrr(p->as, p->scond); |
| rf = p->from.reg; |
| rt = p->to.reg; |
| r = p->reg; |
| if(r == NREG) |
| r = rt; |
| if(rt == r) { |
| r = rf; |
| rf = rt; |
| } |
| if(0) |
| if(rt == r || rf == REGPC || r == REGPC || rt == REGPC) { |
| diag("bad registers in MUL"); |
| prasm(p); |
| } |
| o1 |= (rf<<8) | r | (rt<<16); |
| break; |
| |
| |
| case 16: /* div r,[r,]r */ |
| o1 = 0xf << 28; |
| o2 = 0; |
| break; |
| |
| case 17: |
| o1 = oprrr(p->as, p->scond); |
| rf = p->from.reg; |
| rt = p->to.reg; |
| rt2 = p->to.offset; |
| r = p->reg; |
| o1 |= (rf<<8) | r | (rt<<16) | (rt2<<12); |
| break; |
| |
| case 20: /* mov/movb/movbu R,O(R) */ |
| aclass(&p->to); |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = osr(p->as, p->from.reg, instoffset, r, p->scond); |
| break; |
| |
| case 21: /* mov/movbu O(R),R -> lr */ |
| aclass(&p->from); |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = olr(instoffset, r, p->to.reg, p->scond); |
| if(p->as != AMOVW) |
| o1 |= 1<<22; |
| break; |
| |
| case 22: /* movb/movh/movhu O(R),R -> lr,shl,shr */ |
| aclass(&p->from); |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = olr(instoffset, r, p->to.reg, p->scond); |
| |
| o2 = oprrr(ASLL, p->scond); |
| o3 = oprrr(ASRA, p->scond); |
| r = p->to.reg; |
| if(p->as == AMOVB) { |
| o2 |= (24<<7)|(r)|(r<<12); |
| o3 |= (24<<7)|(r)|(r<<12); |
| } else { |
| o2 |= (16<<7)|(r)|(r<<12); |
| if(p->as == AMOVHU) |
| o3 = oprrr(ASRL, p->scond); |
| o3 |= (16<<7)|(r)|(r<<12); |
| } |
| break; |
| |
| case 23: /* movh/movhu R,O(R) -> sb,sb */ |
| aclass(&p->to); |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = osr(AMOVH, p->from.reg, instoffset, r, p->scond); |
| |
| o2 = oprrr(ASRL, p->scond); |
| o2 |= (8<<7)|(p->from.reg)|(REGTMP<<12); |
| |
| o3 = osr(AMOVH, REGTMP, instoffset+1, r, p->scond); |
| break; |
| |
| case 30: /* mov/movb/movbu R,L(R) */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = osrr(p->from.reg, REGTMP,r, p->scond); |
| if(p->as != AMOVW) |
| o2 |= 1<<22; |
| break; |
| |
| case 31: /* mov/movbu L(R),R -> lr[b] */ |
| case 32: /* movh/movb L(R),R -> lr[b] */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = olrr(REGTMP,r, p->to.reg, p->scond); |
| if(p->as == AMOVBU || p->as == AMOVB) |
| o2 |= 1<<22; |
| if(o->type == 31) |
| break; |
| |
| o3 = oprrr(ASLL, p->scond); |
| |
| if(p->as == AMOVBU || p->as == AMOVHU) |
| o4 = oprrr(ASRL, p->scond); |
| else |
| o4 = oprrr(ASRA, p->scond); |
| |
| r = p->to.reg; |
| o3 |= (r)|(r<<12); |
| o4 |= (r)|(r<<12); |
| if(p->as == AMOVB || p->as == AMOVBU) { |
| o3 |= (24<<7); |
| o4 |= (24<<7); |
| } else { |
| o3 |= (16<<7); |
| o4 |= (16<<7); |
| } |
| break; |
| |
| case 33: /* movh/movhu R,L(R) -> sb, sb */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = osrr(p->from.reg, REGTMP, r, p->scond); |
| o2 |= (1<<22) ; |
| |
| o3 = oprrr(ASRL, p->scond); |
| o3 |= (8<<7)|(p->from.reg)|(p->from.reg<<12); |
| o3 |= (1<<6); /* ROR 8 */ |
| |
| o4 = oprrr(AADD, p->scond); |
| o4 |= (REGTMP << 12) | (REGTMP << 16); |
| o4 |= immrot(1); |
| |
| o5 = osrr(p->from.reg, REGTMP,r,p->scond); |
| o5 |= (1<<22); |
| |
| o6 = oprrr(ASRL, p->scond); |
| o6 |= (24<<7)|(p->from.reg)|(p->from.reg<<12); |
| o6 |= (1<<6); /* ROL 8 */ |
| |
| break; |
| |
| case 34: /* mov $lacon,R */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| |
| o2 = oprrr(AADD, p->scond); |
| o2 |= REGTMP; |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 |= r << 16; |
| if(p->to.type != D_NONE) |
| o2 |= p->to.reg << 12; |
| break; |
| |
| case 35: /* mov PSR,R */ |
| o1 = (2<<23) | (0xf<<16) | (0<<0); |
| o1 |= (p->scond & C_SCOND) << 28; |
| o1 |= (p->from.reg & 1) << 22; |
| o1 |= p->to.reg << 12; |
| break; |
| |
| case 36: /* mov R,PSR */ |
| o1 = (2<<23) | (0x29f<<12) | (0<<4); |
| if(p->scond & C_FBIT) |
| o1 ^= 0x010 << 12; |
| o1 |= (p->scond & C_SCOND) << 28; |
| o1 |= (p->to.reg & 1) << 22; |
| o1 |= p->from.reg << 0; |
| break; |
| |
| case 37: /* mov $con,PSR */ |
| aclass(&p->from); |
| o1 = (2<<23) | (0x29f<<12) | (0<<4); |
| if(p->scond & C_FBIT) |
| o1 ^= 0x010 << 12; |
| o1 |= (p->scond & C_SCOND) << 28; |
| o1 |= immrot(instoffset); |
| o1 |= (p->to.reg & 1) << 22; |
| o1 |= p->from.reg << 0; |
| break; |
| |
| case 38: /* movm $con,oreg -> stm */ |
| o1 = (0x4 << 25); |
| o1 |= p->from.offset & 0xffff; |
| o1 |= p->to.reg << 16; |
| aclass(&p->to); |
| goto movm; |
| |
| case 39: /* movm oreg,$con -> ldm */ |
| o1 = (0x4 << 25) | (1 << 20); |
| o1 |= p->to.offset & 0xffff; |
| o1 |= p->from.reg << 16; |
| aclass(&p->from); |
| movm: |
| if(instoffset != 0) |
| diag("offset must be zero in MOVM"); |
| o1 |= (p->scond & C_SCOND) << 28; |
| if(p->scond & C_PBIT) |
| o1 |= 1 << 24; |
| if(p->scond & C_UBIT) |
| o1 |= 1 << 23; |
| if(p->scond & C_SBIT) |
| o1 |= 1 << 22; |
| if(p->scond & C_WBIT) |
| o1 |= 1 << 21; |
| break; |
| |
| case 40: /* swp oreg,reg,reg */ |
| aclass(&p->from); |
| if(instoffset != 0) |
| diag("offset must be zero in SWP"); |
| o1 = (0x2<<23) | (0x9<<4); |
| if(p->as != ASWPW) |
| o1 |= 1 << 22; |
| o1 |= p->from.reg << 16; |
| o1 |= p->reg << 0; |
| o1 |= p->to.reg << 12; |
| o1 |= (p->scond & C_SCOND) << 28; |
| break; |
| |
| case 41: /* rfe -> movm.s.w.u 0(r13),[r15] */ |
| o1 = 0xe8fd8000; |
| break; |
| |
| case 50: /* floating point store */ |
| v = regoff(&p->to); |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = ofsr(p->as, p->from.reg, v, r, p->scond, p); |
| break; |
| |
| case 51: /* floating point load */ |
| v = regoff(&p->from); |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = ofsr(p->as, p->to.reg, v, r, p->scond, p) | (1<<20); |
| break; |
| |
| case 52: /* floating point store, int32 offset UGLY */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = oprrr(AADD, p->scond) | (REGTMP << 12) | (REGTMP << 16) | r; |
| o3 = ofsr(p->as, p->from.reg, 0, REGTMP, p->scond, p); |
| break; |
| |
| case 53: /* floating point load, int32 offset UGLY */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = oprrr(AADD, p->scond) | (REGTMP << 12) | (REGTMP << 16) | r; |
| o3 = ofsr(p->as, p->to.reg, 0, REGTMP, p->scond, p) | (1<<20); |
| break; |
| |
| case 54: /* floating point arith */ |
| o1 = oprrr(p->as, p->scond); |
| if(p->from.type == D_FCONST) { |
| rf = chipfloat(p->from.ieee); |
| if(rf < 0){ |
| diag("invalid floating-point immediate\n%P", p); |
| rf = 0; |
| } |
| rf |= (1<<3); |
| } else |
| rf = p->from.reg; |
| rt = p->to.reg; |
| r = p->reg; |
| if(p->to.type == D_NONE) |
| rt = 0; /* CMP[FD] */ |
| else if(o1 & (1<<15)) |
| r = 0; /* monadic */ |
| else if(r == NREG) |
| r = rt; |
| o1 |= rf | (r<<16) | (rt<<12); |
| break; |
| |
| case 55: /* floating point fix and float */ |
| o1 = oprrr(p->as, p->scond); |
| rf = p->from.reg; |
| rt = p->to.reg; |
| if(p->to.type == D_NONE){ |
| rt = 0; |
| diag("to.type==D_NONE (asm/fp)"); |
| } |
| if(p->from.type == D_REG) |
| o1 |= (rf<<12) | (rt<<16); |
| else |
| o1 |= rf | (rt<<12); |
| break; |
| |
| case 56: /* move to FP[CS]R */ |
| o1 = ((p->scond & C_SCOND) << 28) | (0xe << 24) | (1<<8) | (1<<4); |
| o1 |= ((p->to.reg+1)<<21) | (p->from.reg << 12); |
| break; |
| |
| case 57: /* move from FP[CS]R */ |
| o1 = ((p->scond & C_SCOND) << 28) | (0xe << 24) | (1<<8) | (1<<4); |
| o1 |= ((p->from.reg+1)<<21) | (p->to.reg<<12) | (1<<20); |
| break; |
| case 58: /* movbu R,R */ |
| o1 = oprrr(AAND, p->scond); |
| o1 |= immrot(0xff); |
| rt = p->to.reg; |
| r = p->from.reg; |
| if(p->to.type == D_NONE) |
| rt = 0; |
| if(r == NREG) |
| r = rt; |
| o1 |= (r<<16) | (rt<<12); |
| break; |
| |
| case 59: /* movw/bu R<<I(R),R -> ldr indexed */ |
| if(p->from.reg == NREG) { |
| if(p->as != AMOVW) |
| diag("byte MOV from shifter operand"); |
| goto mov; |
| } |
| if(p->from.offset&(1<<4)) |
| diag("bad shift in LDR"); |
| o1 = olrr(p->from.offset, p->from.reg, p->to.reg, p->scond); |
| if(p->as == AMOVBU) |
| o1 |= 1<<22; |
| break; |
| |
| case 60: /* movb R(R),R -> ldrsb indexed */ |
| if(p->from.reg == NREG) { |
| diag("byte MOV from shifter operand"); |
| goto mov; |
| } |
| if(p->from.offset&(~0xf)) |
| diag("bad shift in LDRSB"); |
| o1 = olhrr(p->from.offset, p->from.reg, p->to.reg, p->scond); |
| o1 ^= (1<<5)|(1<<6); |
| break; |
| |
| case 61: /* movw/b/bu R,R<<[IR](R) -> str indexed */ |
| if(p->to.reg == NREG) |
| diag("MOV to shifter operand"); |
| o1 = osrr(p->from.reg, p->to.offset, p->to.reg, p->scond); |
| if(p->as == AMOVB || p->as == AMOVBU) |
| o1 |= 1<<22; |
| break; |
| |
| case 62: /* case R -> movw R<<2(PC),PC */ |
| o1 = olrr(p->from.reg, REGPC, REGPC, p->scond); |
| o1 |= 2<<7; |
| break; |
| |
| case 63: /* bcase */ |
| if(p->cond != P) { |
| o1 = p->cond->pc; |
| if(dlm) |
| dynreloc(S, p->pc, 1); |
| } |
| break; |
| |
| /* reloc ops */ |
| case 64: /* mov/movb/movbu R,addr */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| o2 = osr(p->as, p->from.reg, 0, REGTMP, p->scond); |
| break; |
| |
| case 65: /* mov/movbu addr,R */ |
| case 66: /* movh/movhu/movb addr,R */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| o2 = olr(0, REGTMP, p->to.reg, p->scond); |
| if(p->as == AMOVBU || p->as == AMOVB) |
| o2 |= 1<<22; |
| if(o->type == 65) |
| break; |
| |
| o3 = oprrr(ASLL, p->scond); |
| |
| if(p->as == AMOVBU || p->as == AMOVHU) |
| o4 = oprrr(ASRL, p->scond); |
| else |
| o4 = oprrr(ASRA, p->scond); |
| |
| r = p->to.reg; |
| o3 |= (r)|(r<<12); |
| o4 |= (r)|(r<<12); |
| if(p->as == AMOVB || p->as == AMOVBU) { |
| o3 |= (24<<7); |
| o4 |= (24<<7); |
| } else { |
| o3 |= (16<<7); |
| o4 |= (16<<7); |
| } |
| break; |
| |
| case 67: /* movh/movhu R,addr -> sb, sb */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| o2 = osr(p->as, p->from.reg, 0, REGTMP, p->scond); |
| |
| o3 = oprrr(ASRL, p->scond); |
| o3 |= (8<<7)|(p->from.reg)|(p->from.reg<<12); |
| o3 |= (1<<6); /* ROR 8 */ |
| |
| o4 = oprrr(AADD, p->scond); |
| o4 |= (REGTMP << 12) | (REGTMP << 16); |
| o4 |= immrot(1); |
| |
| o5 = osr(p->as, p->from.reg, 0, REGTMP, p->scond); |
| |
| o6 = oprrr(ASRL, p->scond); |
| o6 |= (24<<7)|(p->from.reg)|(p->from.reg<<12); |
| o6 |= (1<<6); /* ROL 8 */ |
| break; |
| |
| case 68: /* floating point store -> ADDR */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| o2 = ofsr(p->as, p->from.reg, 0, REGTMP, p->scond, p); |
| break; |
| |
| case 69: /* floating point load <- ADDR */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| o2 = ofsr(p->as, p->to.reg, 0, REGTMP, p->scond, p) | (1<<20); |
| break; |
| |
| /* ArmV4 ops: */ |
| case 70: /* movh/movhu R,O(R) -> strh */ |
| aclass(&p->to); |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = oshr(p->from.reg, instoffset, r, p->scond); |
| break; |
| case 71: /* movb/movh/movhu O(R),R -> ldrsb/ldrsh/ldrh */ |
| aclass(&p->from); |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o1 = olhr(instoffset, r, p->to.reg, p->scond); |
| if(p->as == AMOVB) |
| o1 ^= (1<<5)|(1<<6); |
| else if(p->as == AMOVH) |
| o1 ^= (1<<6); |
| break; |
| case 72: /* movh/movhu R,L(R) -> strh */ |
| o1 = omvl(p, &p->to, REGTMP); |
| if(!o1) |
| break; |
| r = p->to.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = oshrr(p->from.reg, REGTMP,r, p->scond); |
| break; |
| case 73: /* movb/movh/movhu L(R),R -> ldrsb/ldrsh/ldrh */ |
| o1 = omvl(p, &p->from, REGTMP); |
| if(!o1) |
| break; |
| r = p->from.reg; |
| if(r == NREG) |
| r = o->param; |
| o2 = olhrr(REGTMP, r, p->to.reg, p->scond); |
| if(p->as == AMOVB) |
| o2 ^= (1<<5)|(1<<6); |
| else if(p->as == AMOVH) |
| o2 ^= (1<<6); |
| break; |
| case 74: /* bx $I */ |
| #ifdef CALLEEBX |
| diag("bx $i case (arm)"); |
| #endif |
| if(!seenthumb) |
| diag("ABX $I and seenthumb==0"); |
| v = p->cond->pc; |
| if(p->to.sym->thumb) |
| v |= 1; // T bit |
| o1 = olr(8, REGPC, REGTMP, p->scond&C_SCOND); // mov 8(PC), Rtmp |
| o2 = oprrr(AADD, p->scond) | immrot(8) | (REGPC<<16) | (REGLINK<<12); // add 8,PC, LR |
| o3 = ((p->scond&C_SCOND)<<28) | (0x12fff<<8) | (1<<4) | REGTMP; // bx Rtmp |
| o4 = opbra(AB, 14); // B over o6 |
| o5 = v; |
| break; |
| case 75: /* bx O(R) */ |
| aclass(&p->to); |
| if(instoffset != 0) |
| diag("non-zero offset in ABX"); |
| /* |
| o1 = oprrr(AADD, p->scond) | immrot(0) | (REGPC<<16) | (REGLINK<<12); // mov PC, LR |
| o2 = ((p->scond&C_SCOND)<<28) | (0x12fff<<8) | (1<<4) | p->to.reg; // BX R |
| */ |
| // p->to.reg may be REGLINK |
| o1 = oprrr(AADD, p->scond); |
| o1 |= immrot(instoffset); |
| o1 |= p->to.reg << 16; |
| o1 |= REGTMP << 12; |
| o2 = oprrr(AADD, p->scond) | immrot(0) | (REGPC<<16) | (REGLINK<<12); // mov PC, LR |
| o3 = ((p->scond&C_SCOND)<<28) | (0x12fff<<8) | (1<<4) | REGTMP; // BX Rtmp |
| break; |
| case 76: /* bx O(R) when returning from fn*/ |
| if(!seenthumb) |
| diag("ABXRET and seenthumb==0"); |
| aclass(&p->to); |
| // print("ARM BXRET %d(R%d)\n", instoffset, p->to.reg); |
| if(instoffset != 0) |
| diag("non-zero offset in ABXRET"); |
| // o1 = olr(instoffset, p->to.reg, REGTMP, p->scond); // mov O(R), Rtmp |
| o1 = ((p->scond&C_SCOND)<<28) | (0x12fff<<8) | (1<<4) | p->to.reg; // BX R |
| break; |
| case 77: /* ldrex oreg,reg */ |
| aclass(&p->from); |
| if(instoffset != 0) |
| diag("offset must be zero in LDREX"); |
| o1 = (0x19<<20) | (0xf9f); |
| o1 |= p->from.reg << 16; |
| o1 |= p->to.reg << 12; |
| o1 |= (p->scond & C_SCOND) << 28; |
| break; |
| case 78: /* strex reg,oreg,reg */ |
| aclass(&p->from); |
| if(instoffset != 0) |
| diag("offset must be zero in STREX"); |
| o1 = (0x3<<23) | (0xf9<<4); |
| o1 |= p->from.reg << 16; |
| o1 |= p->reg << 0; |
| o1 |= p->to.reg << 12; |
| o1 |= (p->scond & C_SCOND) << 28; |
| break; |
| } |
| |
| v = p->pc; |
| 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; |
| case 16: |
| if(debug['a']) |
| Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux%P\n", |
| v, o1, o2, o3, o4, p); |
| lputl(o1); |
| lputl(o2); |
| lputl(o3); |
| lputl(o4); |
| break; |
| case 20: |
| if(debug['a']) |
| Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux%P\n", |
| v, o1, o2, o3, o4, o5, p); |
| lputl(o1); |
| lputl(o2); |
| lputl(o3); |
| lputl(o4); |
| lputl(o5); |
| break; |
| case 24: |
| if(debug['a']) |
| Bprint(&bso, " %.8lux: %.8lux %.8lux %.8lux %.8lux %.8lux %.8lux%P\n", |
| v, o1, o2, o3, o4, o5, o6, p); |
| lputl(o1); |
| lputl(o2); |
| lputl(o3); |
| lputl(o4); |
| lputl(o5); |
| lputl(o6); |
| break; |
| } |
| } |
| |
| int32 |
| oprrr(int a, int sc) |
| { |
| int32 o; |
| |
| o = (sc & C_SCOND) << 28; |
| if(sc & C_SBIT) |
| o |= 1 << 20; |
| if(sc & (C_PBIT|C_WBIT)) |
| diag(".P/.W on dp instruction"); |
| switch(a) { |
| case AMULU: |
| case AMUL: return o | (0x0<<21) | (0x9<<4); |
| case AMULA: return o | (0x1<<21) | (0x9<<4); |
| case AMULLU: return o | (0x4<<21) | (0x9<<4); |
| case AMULL: return o | (0x6<<21) | (0x9<<4); |
| case AMULALU: return o | (0x5<<21) | (0x9<<4); |
| case AMULAL: return o | (0x7<<21) | (0x9<<4); |
| case AAND: return o | (0x0<<21); |
| case AEOR: return o | (0x1<<21); |
| case ASUB: return o | (0x2<<21); |
| case ARSB: return o | (0x3<<21); |
| case AADD: return o | (0x4<<21); |
| case AADC: return o | (0x5<<21); |
| case ASBC: return o | (0x6<<21); |
| case ARSC: return o | (0x7<<21); |
| case ATST: return o | (0x8<<21) | (1<<20); |
| case ATEQ: return o | (0x9<<21) | (1<<20); |
| case ACMP: return o | (0xa<<21) | (1<<20); |
| case ACMN: return o | (0xb<<21) | (1<<20); |
| case AORR: return o | (0xc<<21); |
| case AMOVW: return o | (0xd<<21); |
| case ABIC: return o | (0xe<<21); |
| case AMVN: return o | (0xf<<21); |
| case ASLL: return o | (0xd<<21) | (0<<5); |
| case ASRL: return o | (0xd<<21) | (1<<5); |
| case ASRA: return o | (0xd<<21) | (2<<5); |
| case ASWI: return o | (0xf<<24); |
| |
| case AADDD: return o | (0xe<<24) | (0x0<<20) | (1<<8) | (1<<7); |
| case AADDF: return o | (0xe<<24) | (0x0<<20) | (1<<8); |
| case AMULD: return o | (0xe<<24) | (0x1<<20) | (1<<8) | (1<<7); |
| case AMULF: return o | (0xe<<24) | (0x1<<20) | (1<<8); |
| case ASUBD: return o | (0xe<<24) | (0x2<<20) | (1<<8) | (1<<7); |
| case ASUBF: return o | (0xe<<24) | (0x2<<20) | (1<<8); |
| case ADIVD: return o | (0xe<<24) | (0x4<<20) | (1<<8) | (1<<7); |
| case ADIVF: return o | (0xe<<24) | (0x4<<20) | (1<<8); |
| case ACMPD: |
| case ACMPF: return o | (0xe<<24) | (0x9<<20) | (0xF<<12) | (1<<8) | (1<<4); /* arguably, ACMPF should expand to RNDF, CMPD */ |
| |
| case AMOVF: |
| case AMOVDF: return o | (0xe<<24) | (0x0<<20) | (1<<15) | (1<<8); |
| case AMOVD: |
| case AMOVFD: return o | (0xe<<24) | (0x0<<20) | (1<<15) | (1<<8) | (1<<7); |
| |
| case AMOVWF: return o | (0xe<<24) | (0<<20) | (1<<8) | (1<<4); |
| case AMOVWD: return o | (0xe<<24) | (0<<20) | (1<<8) | (1<<4) | (1<<7); |
| case AMOVFW: return o | (0xe<<24) | (1<<20) | (1<<8) | (1<<4); |
| case AMOVDW: return o | (0xe<<24) | (1<<20) | (1<<8) | (1<<4) | (1<<7); |
| } |
| diag("bad rrr %d", a); |
| prasm(curp); |
| return 0; |
| } |
| |
| int32 |
| opbra(int a, int sc) |
| { |
| |
| if(sc & (C_SBIT|C_PBIT|C_WBIT)) |
| diag(".S/.P/.W on bra instruction"); |
| sc &= C_SCOND; |
| if(a == ABL) |
| return (sc<<28)|(0x5<<25)|(0x1<<24); |
| if(sc != 0xe) |
| diag(".COND on bcond instruction"); |
| switch(a) { |
| case ABEQ: return (0x0<<28)|(0x5<<25); |
| case ABNE: return (0x1<<28)|(0x5<<25); |
| case ABCS: return (0x2<<28)|(0x5<<25); |
| case ABHS: return (0x2<<28)|(0x5<<25); |
| case ABCC: return (0x3<<28)|(0x5<<25); |
| case ABLO: return (0x3<<28)|(0x5<<25); |
| case ABMI: return (0x4<<28)|(0x5<<25); |
| case ABPL: return (0x5<<28)|(0x5<<25); |
| case ABVS: return (0x6<<28)|(0x5<<25); |
| case ABVC: return (0x7<<28)|(0x5<<25); |
| case ABHI: return (0x8<<28)|(0x5<<25); |
| case ABLS: return (0x9<<28)|(0x5<<25); |
| case ABGE: return (0xa<<28)|(0x5<<25); |
| case ABLT: return (0xb<<28)|(0x5<<25); |
| case ABGT: return (0xc<<28)|(0x5<<25); |
| case ABLE: return (0xd<<28)|(0x5<<25); |
| case AB: return (0xe<<28)|(0x5<<25); |
| } |
| diag("bad bra %A", a); |
| prasm(curp); |
| return 0; |
| } |
| |
| int32 |
| olr(int32 v, int b, int r, int sc) |
| { |
| int32 o; |
| |
| if(sc & C_SBIT) |
| diag(".S on LDR/STR instruction"); |
| o = (sc & C_SCOND) << 28; |
| if(!(sc & C_PBIT)) |
| o |= 1 << 24; |
| if(!(sc & C_UBIT)) |
| o |= 1 << 23; |
| if(sc & C_WBIT) |
| o |= 1 << 21; |
| o |= (0x1<<26) | (1<<20); |
| if(v < 0) { |
| v = -v; |
| o ^= 1 << 23; |
| } |
| if(v >= (1<<12)) |
| diag("literal span too large: %d (R%d)\n%P", v, b, PP); |
| o |= v; |
| o |= b << 16; |
| o |= r << 12; |
| return o; |
| } |
| |
| int32 |
| olhr(int32 v, int b, int r, int sc) |
| { |
| int32 o; |
| |
| if(sc & C_SBIT) |
| diag(".S on LDRH/STRH instruction"); |
| o = (sc & C_SCOND) << 28; |
| if(!(sc & C_PBIT)) |
| o |= 1 << 24; |
| if(sc & C_WBIT) |
| o |= 1 << 21; |
| o |= (1<<23) | (1<<20)|(0xb<<4); |
| if(v < 0) { |
| v = -v; |
| o ^= 1 << 23; |
| } |
| if(v >= (1<<8)) |
| diag("literal span too large: %d (R%d)\n%P", v, b, PP); |
| o |= (v&0xf)|((v>>4)<<8)|(1<<22); |
| o |= b << 16; |
| o |= r << 12; |
| return o; |
| } |
| |
| int32 |
| osr(int a, int r, int32 v, int b, int sc) |
| { |
| int32 o; |
| |
| o = olr(v, b, r, sc) ^ (1<<20); |
| if(a != AMOVW) |
| o |= 1<<22; |
| return o; |
| } |
| |
| int32 |
| oshr(int r, int32 v, int b, int sc) |
| { |
| int32 o; |
| |
| o = olhr(v, b, r, sc) ^ (1<<20); |
| return o; |
| } |
| |
| |
| int32 |
| osrr(int r, int i, int b, int sc) |
| { |
| |
| return olr(i, b, r, sc) ^ ((1<<25) | (1<<20)); |
| } |
| |
| int32 |
| oshrr(int r, int i, int b, int sc) |
| { |
| return olhr(i, b, r, sc) ^ ((1<<22) | (1<<20)); |
| } |
| |
| int32 |
| olrr(int i, int b, int r, int sc) |
| { |
| |
| return olr(i, b, r, sc) ^ (1<<25); |
| } |
| |
| int32 |
| olhrr(int i, int b, int r, int sc) |
| { |
| return olhr(i, b, r, sc) ^ (1<<22); |
| } |
| |
| int32 |
| ofsr(int a, int r, int32 v, int b, int sc, Prog *p) |
| { |
| int32 o; |
| |
| if(sc & C_SBIT) |
| diag(".S on FLDR/FSTR instruction"); |
| o = (sc & C_SCOND) << 28; |
| if(!(sc & C_PBIT)) |
| o |= 1 << 24; |
| if(sc & C_WBIT) |
| o |= 1 << 21; |
| o |= (6<<25) | (1<<24) | (1<<23); |
| if(v < 0) { |
| v = -v; |
| o ^= 1 << 23; |
| } |
| if(v & 3) |
| diag("odd offset for floating point op: %d\n%P", v, p); |
| else if(v >= (1<<10)) |
| diag("literal span too large: %d\n%P", v, p); |
| o |= (v>>2) & 0xFF; |
| o |= b << 16; |
| o |= r << 12; |
| o |= 1 << 8; |
| |
| switch(a) { |
| default: |
| diag("bad fst %A", a); |
| case AMOVD: |
| o |= 1<<15; |
| case AMOVF: |
| break; |
| } |
| return o; |
| } |
| |
| int32 |
| omvl(Prog *p, Adr *a, int dr) |
| { |
| int32 v, o1; |
| if(!p->cond) { |
| aclass(a); |
| v = immrot(~instoffset); |
| if(v == 0) { |
| diag("missing literal"); |
| prasm(p); |
| return 0; |
| } |
| o1 = oprrr(AMVN, p->scond&C_SCOND); |
| o1 |= v; |
| o1 |= dr << 12; |
| } else { |
| v = p->cond->pc - p->pc - 8; |
| o1 = olr(v, REGPC, dr, p->scond&C_SCOND); |
| } |
| return o1; |
| } |
| |
| static Ieee chipfloats[] = { |
| {0x00000000, 0x00000000}, /* 0 */ |
| {0x00000000, 0x3ff00000}, /* 1 */ |
| {0x00000000, 0x40000000}, /* 2 */ |
| {0x00000000, 0x40080000}, /* 3 */ |
| {0x00000000, 0x40100000}, /* 4 */ |
| {0x00000000, 0x40140000}, /* 5 */ |
| {0x00000000, 0x3fe00000}, /* .5 */ |
| {0x00000000, 0x40240000}, /* 10 */ |
| }; |
| |
| int |
| chipfloat(Ieee *e) |
| { |
| Ieee *p; |
| int n; |
| |
| for(n = sizeof(chipfloats)/sizeof(chipfloats[0]); --n >= 0;){ |
| p = &chipfloats[n]; |
| if(p->l == e->l && p->h == e->h) |
| return n; |
| } |
| return -1; |
| } |
| |
| uint32 |
| linuxheadr(void) |
| { |
| uint32 a; |
| |
| a = 64; /* a.out header */ |
| |
| a += 56; /* page zero seg */ |
| a += 56; /* text seg */ |
| a += 56; /* stack seg */ |
| |
| a += 64; /* nil sect */ |
| a += 64; /* .text sect */ |
| a += 64; /* .data seg */ |
| a += 64; /* .bss sect */ |
| a += 64; /* .shstrtab sect - strings for headers */ |
| if (!debug['s']) { |
| a += 56; /* symdat seg */ |
| a += 64; /* .gosymtab sect */ |
| a += 64; /* .gopclntab sect */ |
| } |
| |
| return a; |
| } |
| |
| void |
| linuxphdr(int type, int flags, vlong foff, |
| vlong vaddr, vlong paddr, |
| vlong filesize, vlong memsize, vlong align) |
| { |
| |
| lputl(type); /* text - type = PT_LOAD */ |
| lputl(foff); /* file offset */ |
| lputl(vaddr); /* vaddr */ |
| lputl(paddr); /* paddr */ |
| lputl(filesize); /* file size */ |
| lputl(memsize); /* memory size */ |
| lputl(flags); /* text - flags = PF_X+PF_R */ |
| lputl(align); /* alignment */ |
| } |
| |
| void |
| linuxshdr(char *name, uint32 type, vlong flags, vlong addr, vlong off, |
| vlong size, uint32 link, uint32 info, vlong align, vlong entsize) |
| { |
| lputl(stroffset); |
| lputl(type); |
| lputl(flags); |
| lputl(addr); |
| lputl(off); |
| lputl(size); |
| lputl(link); |
| lputl(info); |
| lputl(align); |
| lputl(entsize); |
| |
| if(name != nil) |
| stroffset += strlen(name)+1; |
| } |
| |
| int |
| putstrtab(char* name) |
| { |
| int w; |
| |
| w = strlen(name)+1; |
| strnput(name, w); |
| return w; |
| } |
| |
| int |
| linuxstrtable(void) |
| { |
| int size; |
| |
| size = 0; |
| size += putstrtab(""); |
| size += putstrtab(".text"); |
| size += putstrtab(".data"); |
| size += putstrtab(".bss"); |
| size += putstrtab(".shstrtab"); |
| if (!debug['s']) { |
| size += putstrtab(".gosymtab"); |
| size += putstrtab(".gopclntab"); |
| } |
| return size; |
| } |