x86nasm.md
资源名称:nasm-0.98.zip [点击查看]
上传用户:yuppie_zhu
上传日期:2007-01-08
资源大小:535k
文件大小:21k
源码类别:
编译器/解释器
开发平台:
C/C++
- %{
- enum { EAX=0, ECX=1, EDX=2, EBX=3, ESI=6, EDI=7 };
- #include "c.h"
- #define NODEPTR_TYPE Node
- #define OP_LABEL(p) ((p)->op)
- #define LEFT_CHILD(p) ((p)->kids[0])
- #define RIGHT_CHILD(p) ((p)->kids[1])
- #define STATE_LABEL(p) ((p)->x.state)
- static void address ARGS((Symbol, Symbol, int));
- static void blkfetch ARGS((int, int, int, int));
- static void blkloop ARGS((int, int, int, int, int, int[]));
- static void blkstore ARGS((int, int, int, int));
- static void defaddress ARGS((Symbol));
- static void defconst ARGS((int, Value));
- static void defstring ARGS((int, char *));
- static void defsymbol ARGS((Symbol));
- static void doarg ARGS((Node));
- static void emit2 ARGS((Node));
- static void export ARGS((Symbol));
- static void clobber ARGS((Node));
- static void function ARGS((Symbol, Symbol [], Symbol [], int));
- static void global ARGS((Symbol));
- static void import ARGS((Symbol));
- static void local ARGS((Symbol));
- static void progbeg ARGS((int, char **));
- static void progend ARGS((void));
- static void segment ARGS((int));
- static void space ARGS((int));
- static void target ARGS((Node));
- static int ckstack ARGS((Node, int));
- static int memop ARGS((Node));
- static int sametree ARGS((Node, Node));
- static Symbol charreg[32], shortreg[32], intreg[32];
- static Symbol fltreg[32];
- static int cseg;
- static Symbol quo, rem;
- %}
- %start stmt
- %term ADDD=306 ADDF=305 ADDI=309 ADDP=311 ADDU=310
- %term ADDRFP=279
- %term ADDRGP=263
- %term ADDRLP=295
- %term ARGB=41 ARGD=34 ARGF=33 ARGI=37 ARGP=39
- %term ASGNB=57 ASGNC=51 ASGND=50 ASGNF=49 ASGNI=53 ASGNP=55 ASGNS=52
- %term BANDU=390
- %term BCOMU=406
- %term BORU=422
- %term BXORU=438
- %term CALLB=217 CALLD=210 CALLF=209 CALLI=213 CALLV=216
- %term CNSTC=19 CNSTD=18 CNSTF=17 CNSTI=21 CNSTP=23 CNSTS=20 CNSTU=22
- %term CVCI=85 CVCU=86
- %term CVDF=97 CVDI=101
- %term CVFD=114
- %term CVIC=131 CVID=130 CVIS=132 CVIU=134
- %term CVPU=150
- %term CVSI=165 CVSU=166
- %term CVUC=179 CVUI=181 CVUP=183 CVUS=180
- %term DIVD=450 DIVF=449 DIVI=453 DIVU=454
- %term EQD=482 EQF=481 EQI=485
- %term GED=498 GEF=497 GEI=501 GEU=502
- %term GTD=514 GTF=513 GTI=517 GTU=518
- %term INDIRB=73 INDIRC=67 INDIRD=66 INDIRF=65 INDIRI=69 INDIRP=71 INDIRS=68
- %term JUMPV=584
- %term LABELV=600
- %term LED=530 LEF=529 LEI=533 LEU=534
- %term LOADB=233 LOADC=227 LOADD=226 LOADF=225 LOADI=229 LOADP=231 LOADS=228 LOADU=230
- %term LSHI=341 LSHU=342
- %term LTD=546 LTF=545 LTI=549 LTU=550
- %term MODI=357 MODU=358
- %term MULD=466 MULF=465 MULI=469 MULU=470
- %term NED=562 NEF=561 NEI=565
- %term NEGD=194 NEGF=193 NEGI=197
- %term RETD=242 RETF=241 RETI=245
- %term RSHI=373 RSHU=374
- %term SUBD=322 SUBF=321 SUBI=325 SUBP=327 SUBU=326
- %term VREGP=615
- %%
- reg: INDIRC(VREGP) "# read registern"
- reg: INDIRD(VREGP) "# read registern"
- reg: INDIRF(VREGP) "# read registern"
- reg: INDIRI(VREGP) "# read registern"
- reg: INDIRP(VREGP) "# read registern"
- reg: INDIRS(VREGP) "# read registern"
- stmt: ASGNC(VREGP,reg) "# write registern"
- stmt: ASGND(VREGP,reg) "# write registern"
- stmt: ASGNF(VREGP,reg) "# write registern"
- stmt: ASGNI(VREGP,reg) "# write registern"
- stmt: ASGNP(VREGP,reg) "# write registern"
- stmt: ASGNS(VREGP,reg) "# write registern"
- con: CNSTC "%a"
- con: CNSTI "%a"
- con: CNSTP "%a"
- con: CNSTS "%a"
- con: CNSTU "%a"
- stmt: reg ""
- reg: CVIU(reg) "%0" notarget(a)
- reg: CVPU(reg) "%0" notarget(a)
- reg: CVUI(reg) "%0" notarget(a)
- reg: CVUP(reg) "%0" notarget(a)
- acon: ADDRGP "%a"
- acon: con "%0"
- base: ADDRGP "%a"
- base: reg "%0"
- base: ADDI(reg,acon) "%0 + (%1)"
- base: ADDP(reg,acon) "%0 + (%1)"
- base: ADDU(reg,acon) "%0 + (%1)"
- base: ADDRFP "ebp + %a"
- base: ADDRLP "ebp + %a"
- index: reg "%0"
- index: LSHI(reg,con1) "%0*2"
- index: LSHI(reg,con2) "%0*4"
- index: LSHI(reg,con3) "%0*8"
- con1: CNSTI "1" range(a, 1, 1)
- con1: CNSTU "1" range(a, 1, 1)
- con2: CNSTI "2" range(a, 2, 2)
- con2: CNSTU "2" range(a, 2, 2)
- con3: CNSTI "3" range(a, 3, 3)
- con3: CNSTU "3" range(a, 3, 3)
- index: LSHU(reg,con1) "%0*2"
- index: LSHU(reg,con2) "%0*4"
- index: LSHU(reg,con3) "%0*8"
- addr: base "[%0]"
- addr: ADDI(index,base) "[%1 + %0]"
- addr: ADDP(index,base) "[%1 + %0]"
- addr: ADDU(index,base) "[%1 + %0]"
- addr: index "[%0]"
- mem: INDIRC(addr) "byte %0"
- mem: INDIRI(addr) "dword %0"
- mem: INDIRP(addr) "dword %0"
- mem: INDIRS(addr) "word %0"
- rc: reg "%0"
- rc: con "%0"
- mr: reg "%0"
- mr: mem "%0"
- mrc0: mem "%0"
- mrc0: rc "%0"
- mrc1: mem "%0" 1
- mrc1: rc "%0"
- mrc3: mem "%0" 3
- mrc3: rc "%0"
- reg: addr "lea %c,%0n" 1
- reg: mrc0 "mov %c,%0n" 1
- reg: LOADC(reg) "mov %c,%0n" move(a)
- reg: LOADI(reg) "mov %c,%0n" move(a)
- reg: LOADP(reg) "mov %c,%0n" move(a)
- reg: LOADS(reg) "mov %c,%0n" move(a)
- reg: LOADU(reg) "mov %c,%0n" move(a)
- reg: ADDI(reg,mrc1) "?mov %c,%0nadd %c,%1n" 1
- reg: ADDP(reg,mrc1) "?mov %c,%0nadd %c,%1n" 1
- reg: ADDU(reg,mrc1) "?mov %c,%0nadd %c,%1n" 1
- reg: SUBI(reg,mrc1) "?mov %c,%0nsub %c,%1n" 1
- reg: SUBP(reg,mrc1) "?mov %c,%0nsub %c,%1n" 1
- reg: SUBU(reg,mrc1) "?mov %c,%0nsub %c,%1n" 1
- reg: BANDU(reg,mrc1) "?mov %c,%0nand %c,%1n" 1
- reg: BORU(reg,mrc1) "?mov %c,%0nor %c,%1n" 1
- reg: BXORU(reg,mrc1) "?mov %c,%0nxor %c,%1n" 1
- stmt: ASGNI(addr,ADDI(mem,con1)) "inc %1n" memop(a)
- stmt: ASGNI(addr,ADDU(mem,con1)) "inc %1n" memop(a)
- stmt: ASGNP(addr,ADDP(mem,con1)) "inc %1n" memop(a)
- stmt: ASGNI(addr,SUBI(mem,con1)) "dec %1n" memop(a)
- stmt: ASGNI(addr,SUBU(mem,con1)) "dec %1n" memop(a)
- stmt: ASGNP(addr,SUBP(mem,con1)) "dec %1n" memop(a)
- stmt: ASGNI(addr,ADDI(mem,rc)) "add %1,%2n" memop(a)
- stmt: ASGNI(addr,ADDU(mem,rc)) "add %1,%2n" memop(a)
- stmt: ASGNI(addr,SUBI(mem,rc)) "sub %1,%2n" memop(a)
- stmt: ASGNI(addr,SUBU(mem,rc)) "sub %1,%2n" memop(a)
- stmt: ASGNI(addr,BANDU(mem,rc)) "and %1,%2n" memop(a)
- stmt: ASGNI(addr,BORU(mem,rc)) "or %1,%2n" memop(a)
- stmt: ASGNI(addr,BXORU(mem,rc)) "xor %1,%2n" memop(a)
- reg: BCOMU(reg) "?mov %c,%0nnot %cn" 2
- reg: NEGI(reg) "?mov %c,%0nneg %cn" 2
- stmt: ASGNI(addr,BCOMU(mem)) "not %1n" memop(a)
- stmt: ASGNI(addr,NEGI(mem)) "neg %1n" memop(a)
- reg: LSHI(reg,rc5) "?mov %c,%0nsal %c,%1n" 2
- reg: LSHU(reg,rc5) "?mov %c,%0nshl %c,%1n" 2
- reg: RSHI(reg,rc5) "?mov %c,%0nsar %c,%1n" 2
- reg: RSHU(reg,rc5) "?mov %c,%0nshr %c,%1n" 2
- stmt: ASGNI(addr,LSHI(mem,rc5)) "sal %1,%2n" memop(a)
- stmt: ASGNI(addr,LSHU(mem,rc5)) "shl %1,%2n" memop(a)
- stmt: ASGNI(addr,RSHI(mem,rc5)) "sar %1,%2n" memop(a)
- stmt: ASGNI(addr,RSHU(mem,rc5)) "shr %1,%2n" memop(a)
- rc5: CNSTI "%a" range(a, 0, 31)
- rc5: reg "cl"
- reg: MULI(reg,mrc3) "?mov %c,%0nimul %c,%1n" 14
- reg: MULI(con,mr) "imul %c,%1,%0n" 13
- reg: MULU(reg,mr) "mul %1n" 13
- reg: DIVU(reg,reg) "xor edx,edxndiv %1n"
- reg: MODU(reg,reg) "xor edx,edxndiv %1n"
- reg: DIVI(reg,reg) "cdqnidiv %1n"
- reg: MODI(reg,reg) "cdqnidiv %1n"
- reg: CVIU(reg) "mov %c,%0n" move(a)
- reg: CVPU(reg) "mov %c,%0n" move(a)
- reg: CVUI(reg) "mov %c,%0n" move(a)
- reg: CVUP(reg) "mov %c,%0n" move(a)
- reg: CVCI(INDIRC(addr)) "movsx %c,byte %0n" 3
- reg: CVCU(INDIRC(addr)) "movzx %c,byte %0n" 3
- reg: CVSI(INDIRS(addr)) "movsx %c,word %0n" 3
- reg: CVSU(INDIRS(addr)) "movzx %c,word %0n" 3
- reg: CVCI(reg) "# extendn" 3
- reg: CVCU(reg) "# extendn" 3
- reg: CVSI(reg) "# extendn" 3
- reg: CVSU(reg) "# extendn" 3
- reg: CVIC(reg) "# truncaten" 1
- reg: CVIS(reg) "# truncaten" 1
- reg: CVUC(reg) "# truncaten" 1
- reg: CVUS(reg) "# truncaten" 1
- stmt: ASGNC(addr,rc) "mov byte %0,%1n" 1
- stmt: ASGNI(addr,rc) "mov dword %0,%1n" 1
- stmt: ASGNP(addr,rc) "mov dword %0,%1n" 1
- stmt: ASGNS(addr,rc) "mov word %0,%1n" 1
- stmt: ARGI(mrc3) "push dword %0n" 1
- stmt: ARGP(mrc3) "push dword %0n" 1
- stmt: ASGNB(reg,INDIRB(reg)) "mov ecx,%anrep movsbn"
- stmt: ARGB(INDIRB(reg)) "sub esp,%anmov edi,espnmov ecx,%anrep movsbn"
- memf: INDIRD(addr) "qword %0"
- memf: INDIRF(addr) "dword %0"
- memf: CVFD(INDIRF(addr)) "dword %0"
- reg: memf "fld %0n" 3
- stmt: ASGND(addr,reg) "fstp qword %0n" 7
- stmt: ASGNF(addr,reg) "fstp dword %0n" 7
- stmt: ASGNF(addr,CVDF(reg)) "fstp dword %0n" 7
- stmt: ARGD(reg) "sub esp,8nfstp qword [esp]n"
- stmt: ARGF(reg) "sub esp,4nfstp dword [esp]n"
- reg: NEGD(reg) "fchsn"
- reg: NEGF(reg) "fchsn"
- reg: ADDD(reg,memf) "fadd %1n"
- reg: ADDD(reg,reg) "faddp st1n"
- reg: ADDF(reg,memf) "fadd %1n"
- reg: ADDF(reg,reg) "faddp st1n"
- reg: DIVD(reg,memf) "fdiv %1n"
- reg: DIVD(reg,reg) "fdivp st1n"
- reg: DIVF(reg,memf) "fdiv %1n"
- reg: DIVF(reg,reg) "fdivp st1n"
- reg: MULD(reg,memf) "fmul %1n"
- reg: MULD(reg,reg) "fmulp st1n"
- reg: MULF(reg,memf) "fmul %1n"
- reg: MULF(reg,reg) "fmulp st1n"
- reg: SUBD(reg,memf) "fsub %1n"
- reg: SUBD(reg,reg) "fsubp st1n"
- reg: SUBF(reg,memf) "fsub %1n"
- reg: SUBF(reg,reg) "fsubp st1n"
- reg: CVFD(reg) "# CVFDn"
- reg: CVDF(reg) "sub esp,4nfstp dword [esp]nfld dword [esp]nadd esp,4n" 12
- stmt: ASGNI(addr,CVDI(reg)) "fistp dword %0n" 29
- reg: CVDI(reg) "sub esp,4nfistp dword [esp]npop %cn" 31
- reg: CVID(INDIRI(addr)) "fild dword %0n" 10
- reg: CVID(reg) "push %0nfild dword [esp]nadd esp,4n" 12
- addrj: ADDRGP "%a"
- addrj: reg "%0" 2
- addrj: mem "%0" 2
- stmt: JUMPV(addrj) "jmp %0n" 3
- stmt: LABELV "%a:n"
- stmt: EQI(mem,rc) "cmp %0,%1nje near %an" 5
- stmt: GEI(mem,rc) "cmp %0,%1njge near %an" 5
- stmt: GTI(mem,rc) "cmp %0,%1njg near %an" 5
- stmt: LEI(mem,rc) "cmp %0,%1njle near %an" 5
- stmt: LTI(mem,rc) "cmp %0,%1njl near %an" 5
- stmt: NEI(mem,rc) "cmp %0,%1njne near %an" 5
- stmt: GEU(mem,rc) "cmp %0,%1njae near %an" 5
- stmt: GTU(mem,rc) "cmp %0,%1nja near %an" 5
- stmt: LEU(mem,rc) "cmp %0,%1njbe near %an" 5
- stmt: LTU(mem,rc) "cmp %0,%1njb near %an" 5
- stmt: EQI(reg,mrc1) "cmp %0,%1nje near %an" 4
- stmt: GEI(reg,mrc1) "cmp %0,%1njge near %an" 4
- stmt: GTI(reg,mrc1) "cmp %0,%1njg near %an" 4
- stmt: LEI(reg,mrc1) "cmp %0,%1njle near %an" 4
- stmt: LTI(reg,mrc1) "cmp %0,%1njl near %an" 4
- stmt: NEI(reg,mrc1) "cmp %0,%1njne near %an" 4
- stmt: GEU(reg,mrc1) "cmp %0,%1njae near %an" 4
- stmt: GTU(reg,mrc1) "cmp %0,%1nja near %an" 4
- stmt: LEU(reg,mrc1) "cmp %0,%1njbe near %an" 4
- stmt: LTU(reg,mrc1) "cmp %0,%1njb near %an" 4
- cmpf: memf " %0"
- cmpf: reg "p"
- stmt: EQD(cmpf,reg) "fcomp%0nfstsw axnsahfnje near %an"
- stmt: GED(cmpf,reg) "fcomp%0nfstsw axnsahfnjbe near %an"
- stmt: GTD(cmpf,reg) "fcomp%0nfstsw axnsahfnjb near %an"
- stmt: LED(cmpf,reg) "fcomp%0nfstsw axnsahfnjae near %an"
- stmt: LTD(cmpf,reg) "fcomp%0nfstsw axnsahfnja near %an"
- stmt: NED(cmpf,reg) "fcomp%0nfstsw axnsahfnjne near %an"
- stmt: EQF(cmpf,reg) "fcomp%0nfstsw axnsahfnje near %an"
- stmt: GEF(cmpf,reg) "fcomp%0nfstsw axnsahfnjbe near %an"
- stmt: GTF(cmpf,reg) "fcomp%0nfstsw axnsahfnjb near %an"
- stmt: LEF(cmpf,reg) "fcomp%0nfstsw axnsahfnjae near %an"
- stmt: LTF(cmpf,reg) "fcomp%0nfstsw axnsahfnja near %an"
- stmt: NEF(cmpf,reg) "fcomp%0nfstsw axnsahfnjne near %an"
- reg: CALLI(addrj) "call %0nadd esp,%an"
- stmt: CALLV(addrj) "call %0nadd esp,%an"
- reg: CALLF(addrj) "call %0nadd esp,%an"
- reg: CALLD(addrj) "call %0nadd esp,%an"
- stmt: RETI(reg) "# retn"
- stmt: RETF(reg) "# retn"
- stmt: RETD(reg) "# retn"
- %%
- static void progbeg(argc, argv) int argc; char *argv[]; {
- int i;
- {
- union {
- char c;
- int i;
- } u;
- u.i = 0;
- u.c = 1;
- swap = (u.i == 1) != IR->little_endian;
- }
- parseflags(argc, argv);
- intreg[EAX] = mkreg("eax", EAX, 1, IREG);
- intreg[EDX] = mkreg("edx", EDX, 1, IREG);
- intreg[ECX] = mkreg("ecx", ECX, 1, IREG);
- intreg[EBX] = mkreg("ebx", EBX, 1, IREG);
- intreg[ESI] = mkreg("esi", ESI, 1, IREG);
- intreg[EDI] = mkreg("edi", EDI, 1, IREG);
- shortreg[EAX] = mkreg("ax", EAX, 1, IREG);
- shortreg[ECX] = mkreg("cx", ECX, 1, IREG);
- shortreg[EDX] = mkreg("dx", EDX, 1, IREG);
- shortreg[EBX] = mkreg("bx", EBX, 1, IREG);
- shortreg[ESI] = mkreg("si", ESI, 1, IREG);
- shortreg[EDI] = mkreg("di", EDI, 1, IREG);
- charreg[EAX] = mkreg("al", EAX, 1, IREG);
- charreg[ECX] = mkreg("cl", ECX, 1, IREG);
- charreg[EDX] = mkreg("dl", EDX, 1, IREG);
- charreg[EBX] = mkreg("bl", EBX, 1, IREG);
- for (i = 0; i < 8; i++)
- fltreg[i] = mkreg("%d", i, 0, FREG);
- rmap[C] = mkwildcard(charreg);
- rmap[S] = mkwildcard(shortreg);
- rmap[P] = rmap[B] = rmap[U] = rmap[I] = mkwildcard(intreg);
- rmap[F] = rmap[D] = mkwildcard(fltreg);
- tmask[IREG] = (1<<EDI) | (1<<ESI) | (1<<EBX)
- | (1<<EDX) | (1<<ECX) | (1<<EAX);
- vmask[IREG] = 0;
- tmask[FREG] = 0xff;
- vmask[FREG] = 0;
- cseg = 0;
- quo = mkreg("eax", EAX, 1, IREG);
- quo->x.regnode->mask |= 1<<EDX;
- rem = mkreg("edx", EDX, 1, IREG);
- rem->x.regnode->mask |= 1<<EAX;
- }
- static void segment(n) int n; {
- if (n == cseg)
- return;
- cseg = n;
- if (cseg == CODE)
- print("[section .text]n");
- else if (cseg == DATA || cseg == LIT)
- print("[section .data]n");
- else if (cseg == BSS)
- print("[section .bss]n");
- }
- static void progend() {
- }
- static void target(p) Node p; {
- assert(p);
- switch (p->op) {
- case RSHI: case RSHU: case LSHI: case LSHU:
- if (generic(p->kids[1]->op) != CNST
- && !( generic(p->kids[1]->op) == INDIR
- && p->kids[1]->kids[0]->op == VREG+P
- && p->kids[1]->syms[RX]->u.t.cse
- && generic(p->kids[1]->syms[RX]->u.t.cse->op) == CNST
- )) {
- rtarget(p, 1, intreg[ECX]);
- setreg(p, intreg[EAX]);
- }
- break;
- case MULU:
- setreg(p, quo);
- rtarget(p, 0, intreg[EAX]);
- break;
- case DIVI: case DIVU:
- setreg(p, quo);
- rtarget(p, 0, intreg[EAX]);
- rtarget(p, 1, intreg[ECX]);
- break;
- case MODI: case MODU:
- setreg(p, rem);
- rtarget(p, 0, intreg[EAX]);
- rtarget(p, 1, intreg[ECX]);
- break;
- case ASGNB:
- rtarget(p, 0, intreg[EDI]);
- rtarget(p->kids[1], 0, intreg[ESI]);
- break;
- case ARGB:
- rtarget(p->kids[0], 0, intreg[ESI]);
- break;
- case CALLI: case CALLV:
- setreg(p, intreg[EAX]);
- break;
- case RETI:
- rtarget(p, 0, intreg[EAX]);
- break;
- }
- }
- static void clobber(p) Node p; {
- static int nstack = 0;
- assert(p);
- nstack = ckstack(p, nstack);
- assert(p->count > 0 || nstack == 0);
- switch (p->op) {
- case ASGNB: case ARGB:
- spill(1<<ECX | 1<<ESI | 1<<EDI, IREG, p);
- break;
- case EQD: case LED: case GED: case LTD: case GTD: case NED:
- case EQF: case LEF: case GEF: case LTF: case GTF: case NEF:
- spill(1<<EAX, IREG, p);
- break;
- case CALLD: case CALLF:
- spill(1<<EDX | 1<<EAX, IREG, p);
- break;
- }
- }
- #define isfp(p) (optype((p)->op)==F || optype((p)->op)==D)
- static int ckstack(p, n) Node p; int n; {
- int i;
- for (i = 0; i < NELEMS(p->x.kids) && p->x.kids[i]; i++)
- if (isfp(p->x.kids[i]))
- n--;
- if (isfp(p) && p->count > 0)
- n++;
- if (n > 8)
- error("expression too complicatedn");
- debug(fprint(2, "(ckstack(%x)=%d)n", p, n));
- assert(n >= 0);
- return n;
- }
- static int memop(p) Node p; {
- assert(p);
- assert(generic(p->op) == ASGN);
- assert(p->kids[0]);
- assert(p->kids[1]);
- if (generic(p->kids[1]->kids[0]->op) == INDIR
- && sametree(p->kids[0], p->kids[1]->kids[0]->kids[0]))
- return 3;
- else
- return LBURG_MAX;
- }
- static int sametree(p, q) Node p, q; {
- return p == NULL && q == NULL
- || p && q && p->op == q->op && p->syms[0] == q->syms[0]
- && sametree(p->kids[0], q->kids[0])
- && sametree(p->kids[1], q->kids[1]);
- }
- static void emit2(p) Node p; {
- #define preg(f) ((f)[getregnum(p->x.kids[0])]->x.name)
- if (p->op == CVCI)
- print("movsx %s,%sn", p->syms[RX]->x.name
- , preg(charreg));
- else if (p->op == CVCU)
- print("movzx %s,%sn", p->syms[RX]->x.name
- , preg(charreg));
- else if (p->op == CVSI)
- print("movsx %s,%sn", p->syms[RX]->x.name
- , preg(shortreg));
- else if (p->op == CVSU)
- print("movzx %s,%sn", p->syms[RX]->x.name
- , preg(shortreg));
- else if (p->op == CVIC || p->op == CVIS
- || p->op == CVUC || p->op == CVUS) {
- char *dst = shortreg[getregnum(p)]->x.name;
- char *src = preg(shortreg);
- if (dst != src)
- print("mov %s,%sn", dst, src);
- }
- }
- static void doarg(p) Node p; {
- assert(p && p->syms[0]);
- mkactual(4, p->syms[0]->u.c.v.i);
- }
- static void blkfetch(k, off, reg, tmp)
- int k, off, reg, tmp; {}
- static void blkstore(k, off, reg, tmp)
- int k, off, reg, tmp; {}
- static void blkloop(dreg, doff, sreg, soff, size, tmps)
- int dreg, doff, sreg, soff, size, tmps[]; {}
- static void local(p) Symbol p; {
- if (isfloat(p->type))
- p->sclass = AUTO;
- if (askregvar(p, rmap[ttob(p->type)]) == 0)
- mkauto(p);
- }
- static void function(f, caller, callee, n)
- Symbol f, callee[], caller[]; int n; {
- int i;
- print("%s:n", f->x.name);
- print("push ebxn");
- print("push esin");
- print("push edin");
- print("push ebpn");
- print("mov ebp,espn");
- usedmask[0] = usedmask[1] = 0;
- freemask[0] = freemask[1] = ~(unsigned)0;
- offset = 16 + 4;
- for (i = 0; callee[i]; i++) {
- Symbol p = callee[i];
- Symbol q = caller[i];
- assert(q);
- p->x.offset = q->x.offset = offset;
- p->x.name = q->x.name = stringf("%d", p->x.offset);
- p->sclass = q->sclass = AUTO;
- offset += roundup(q->type->size, 4);
- }
- assert(caller[i] == 0);
- offset = maxoffset = 0;
- gencode(caller, callee);
- framesize = roundup(maxoffset, 4);
- if (framesize > 0)
- print("sub esp,%dn", framesize);
- emitcode();
- print("mov esp,ebpn");
- print("pop ebpn");
- print("pop edin");
- print("pop esin");
- print("pop ebxn");
- print("retn");
- }
- static void defsymbol(p) Symbol p; {
- if (p->scope >= LOCAL && p->sclass == STATIC)
- p->x.name = stringf("L%d", genlabel(1));
- else if (p->generated)
- p->x.name = stringf("$L%s", p->name);
- else if (p->scope == GLOBAL || p->sclass == EXTERN)
- /* CHANGE THIS FOR a.out */
- #if 0
- p->x.name = stringf("$_%s", p->name);
- #else
- p->x.name = stringf("$%s", p->name);
- #endif
- else if (p->scope == CONSTANTS
- && (isint(p->type) || isptr(p->type))
- && p->name[0] == '0' && p->name[1] == 'x')
- p->x.name = stringf("0%sH", &p->name[2]);
- else
- p->x.name = p->name;
- }
- static void address(q, p, n) Symbol q, p; int n; {
- if (p->scope == GLOBAL
- || p->sclass == STATIC || p->sclass == EXTERN)
- q->x.name = stringf("%s%s%d",
- p->x.name, n >= 0 ? "+" : "", n);
- else {
- q->x.offset = p->x.offset + n;
- q->x.name = stringd(q->x.offset);
- }
- }
- static void defconst(ty, v) int ty; Value v; {
- switch (ty) {
- case C: print("db %dn", v.uc); return;
- case S: print("dw %dn", v.ss); return;
- case I: print("dd %dn", v.i ); return;
- case U: print("dd 0%xHn", v.u ); return;
- case P: print("dd 0%xHn", v.p ); return;
- case F:
- print("dd 0%xHn", *(unsigned *)&v.f);
- return;
- case D: {
- unsigned *p = (unsigned *)&v.d;
- print("dd 0%xH,0%xHn", p[swap], p[1 - swap]);
- return;
- }
- }
- assert(0);
- }
- static void defaddress(p) Symbol p; {
- print("dd %sn", p->x.name);
- }
- static void defstring(n, str) int n; char *str; {
- char *s;
- int inquote = 1;
- print("db '");
- for (s = str; s < str + n; s++)
- {
- if ((*s & 0x7F) == *s && *s >= ' ' && *s != ''') {
- if (!inquote){
- print(", '");
- inquote = 1;
- }
- print("%c",*s);
- }
- else
- {
- if (inquote){
- print("', ");
- inquote = 0;
- }
- else
- print(", ");
- print("%d",*s);
- }
- }
- if (inquote) print("'");
- print("n");
- }
- static void export(p) Symbol p; {
- print("[global %s]n", p->x.name);
- }
- static void import(p) Symbol p; {
- if (p->ref > 0) {
- print("[extern %s]n", p->x.name);
- }
- }
- static void global(p) Symbol p; {
- int i;
- if (p->u.seg == BSS)
- print("resb ($-$$) & %dn",
- p->type->align > 4 ? 3 : p->type->align-1);
- else
- print("times ($-$$) & %d nopn",
- p->type->align > 4 ? 3 : p->type->align-1);
- print("%s:n", p->x.name);
- if (p->u.seg == BSS)
- print("resb %dn", p->type->size);
- }
- static void space(n) int n; {
- int i;
- if (cseg != BSS)
- print("times %d db 0n", n);
- }
- Interface x86nasmIR = {
- 1, 1, 0, /* char */
- 2, 2, 0, /* short */
- 4, 4, 0, /* int */
- 4, 4, 1, /* float */
- 8, 4, 1, /* double */
- 4, 4, 0, /* T * */
- 0, 4, 0, /* struct; so that ARGB keeps stack aligned */
- 1, /* little_endian */
- 0, /* mulops_calls */
- 0, /* wants_callb */
- 1, /* wants_argb */
- 0, /* left_to_right */
- 0, /* wants_dag */
- address,
- blockbeg,
- blockend,
- defaddress,
- defconst,
- defstring,
- defsymbol,
- emit,
- export,
- function,
- gen,
- global,
- import,
- local,
- progbeg,
- progend,
- segment,
- space,
- 0, 0, 0, 0, 0, 0, 0,
- {1, blkfetch, blkstore, blkloop,
- _label,
- _rule,
- _nts,
- _kids,
- _opname,
- _arity,
- _string,
- _templates,
- _isinstruction,
- _ntname,
- emit2,
- doarg,
- target,
- clobber,
- }
- };