fprintf(codefile,"\t.data4 %ld\n", l);
}
-#ifdef NOFLOAT
-con_float() {
-
-static int been_here;
- if (argval != 4 && argval != 8)
- fatal("bad fcon size");
- fputs(".data4\t", codefile);
- if (argval == 8)
- fputs("0,", codefile);
- fputs("0 !dummy float\n", codefile);
- if ( !been_here++)
- {
- fputs("Warning : dummy float-constant(s)\n", stderr);
- }
-}
-#else
-#define IEEEFLOAT
-
-con_float() {
- double f;
- double atof();
- int i;
- int j;
- double frexp();
-#ifndef OWNFLOAT
- int sign = 0;
- int fraction[4] ;
-#else OWNFLOAT
- float fl;
- char *p;
-#endif OWNFLOAT
-
- if (argval!= 4 && argval!= 8) {
- fprintf(stderr,"float constant size = %d\n",argval);
- fatal("bad fcon size");
- }
- fprintf(codefile,"!float %s sz %d\n", str, argval);
- f = atof(str);
- if (f == 0) {
- if (argval == 8) fprintf(codefile, ".data4 0\n");
- fprintf(codefile, ".data4 0\n");
- return;
- }
-#ifdef OWNFLOAT
- if (argval == 4) {
- /* careful: avoid overflow */
- double ldexp();
- f = frexp(f, &i);
- fl = f;
- fl = frexp(fl,&j);
- if (i+j > 127) {
- /* overflow situation */
- fprintf(codefile, ".data1 0%o, 0377, 0377, 0377 ! overflow\n",
- f < 0 ? 0377 : 0177);
- return;
- }
- if (i+j < -127) {
- /* underflow situation */
- fprintf(codefile, ".data1 0%o, 0200, 0, 0 ! underflow\n",
- f < 0 ? 0200 : 0);
- return;
- }
- fl = ldexp(fl, i+j);
- p = (char *) &fl;
- }
- else {
- p = (char *) &f;
- }
- fprintf(codefile, ".data1 0%o", *p++ & 0377);
- for (i = argval-1; i; i--) {
- fprintf(codefile,",0%o", *p++ & 0377);
- }
-#else OWNFLOAT
- f = frexp(f, &i);
- if (f < 0) {
- f = -f;
- sign = 1;
- }
- while (f < 0.5) {
- f += f;
- i --;
- }
- f = 2*f - 1.0; /* hidden bit */
-#ifdef IEEEFLOAT
- if (argval == 4) {
-#endif IEEEFLOAT
- i = (i + 128) & 0377;
- fraction[0] = (sign << 15) | (i << 7);
- for (j = 6; j>= 0; j--) {
- f *= 2;
- if (f >= 1.0) {
- f -= 1.0;
- fraction[0] |= (1 << j);
- }
- }
-#ifdef IEEEFLOAT
- }
- else {
- i = (i + 1024) & 03777;
- fraction[0] = (sign << 15) | (i << 4);
- for (j = 3; j>= 0; j--) {
- f *= 2;
- if (f >= 1.0) {
- fraction[0] |= (1 << j);
- f -= 1.0;
- }
- }
- }
-#endif IEEEFLOAT
- for (i = 1; i < argval / 2; i++) {
- fraction[i] = 0;
- for (j = 15; j>= 0; j--) {
- f *= 2;
- if (f >= 1.0) {
- fraction[i] |= (1 << j);
- f -= 1.0;
- }
- }
- }
- if (f >= 0.5) {
- for (i = argval/2 - 1; i >= 0; i--) {
- for (j = 0; j < 16; j++) {
- if (fraction[i] & (1 << j)) {
- fraction[i] &= ~(1 << j);
- }
- else {
- fraction[i] |= (1 << j);
- break;
- }
- }
- if (j != 16) break;
- }
- }
- for (i = 0; i < argval/2; i++) {
- fprintf(codefile,
- i != 0 ? ", 0%o, 0%o" : ".data1 0%o, 0%o",
- (fraction[i]>>8)&0377,
- fraction[i]&0377);
- }
-#endif OWNFLOAT
- putc('\n', codefile);
-}
-#endif
+#define CODE_GENERATOR
+#define IEEEFLOAT
+#include <con_float>
/*
prolog(nlocals) full nlocals; {
- if (nlocals < 32767) {
- fprintf(codefile, "\tenter %ld,0\n", nlocals);
- }
- else {
- fputs("\tenter 0,0\n", codefile);
+ fputs("push ebp\nmov ebp,esp\n", codefile);
+ switch(nlocals) {
+ case 8:
+ fputs("push eax\n", codefile);
+ /* fall through */
+ case 4:
+ fputs("push eax\n", codefile);
+ /* fall through */
+ case 0:
+ break;
+ default:
fprintf(codefile, "\tsub\tesp,%ld\n",nlocals);
+ break;
}
}
#endif
and rm:rw:cc, regorconst:ro.
and anyreg:rw:cc, rmorconst:ro.
-cbw "o16 cbw" kills ah cost(2,3).
cdq kills edx cost(1,3).
-cwde cost(1,3).
cmp rm:ro, regorconst:ro kills :cc.
cmp anyreg:ro, rmorconst:ro kills :cc.
cmpb rm1:rw, const:ro kills :cc.
proccall "call" label+rm cost(1,8).
jxx "syntax error" label cost(1,4).
lea anyreg:rw, halfindir:ro.
+lea LOCAL:rw, halfindir:ro. /* only for register variables, UNSAFE!!! */
leave cost(1,4).
loop label kills ecx.
#ifdef REGVARS
-mov LOCAL:wo, memory:ro. /* only for register variables, UNSAFE!!! */
+mov LOCAL:wo, rmorconst:ro. /* only for register variables, UNSAFE!!! */
#endif
mov a_word:wo, regorconst:ro.
mov anyreg:wo, rmorconst:ro.
movb REG1:wo, rm1:ro.
movw "o16 mov" rm2:wo, regorconst124:ro cost(3,2).
movw "o16 mov" REG2:wo, rmorconst2:ro cost(3,2).
+movsxb anyreg:wo, REG+rmorconst1:ro.
+movsx anyreg:wo, REG+rmorconst2:ro.
+movzxb anyreg:wo, REG+rmorconst1:ro.
+movzx anyreg:wo, REG+rmorconst2:ro.
mul rmorconst:ro kills :cc eax edx cost(2,41).
neg rmorconst:rw:cc.
-not rmorconst:rw:cc.
+not rmorconst:rw.
ORB "orb" REG1:ro, REG1:ro:cc. /* use ORB for tests */
ORW "o16 or" REG2:ro, REG2:ro:cc. /* use ORW for tests */
OR "or" anyreg:ro, anyreg:ro:cc. /* Use OR for tests */
/*****************************************************************/
#ifdef REGVARS
-from memory to LOCAL /* unsafe !!! */
+from rmorconst to LOCAL /* unsafe !!! */
gen mov %2,%1
#endif
from halfindir to register+AREG
gen lea %2,%1
+from halfindir to LOCAL /* unsafe !!! */
+gen lea %2,%1
+
from rm1 to REG1
gen movb %2,%1
gen push %1
from rm1 to STACK
- uses GENREG
- gen move {ANYCON,0},%a
- move %1,%a.1
+ uses REG
+ gen movzxb %a,%1
push %a
from rm1 to STACK
gen push eax
- xor eax,eax
- movb al,%1
+ movzxb eax,%1
xchg {indir_r,esp},eax
+from rm2 to STACK
+ uses REG
+ gen movzx %a,%1
+ push %a
+
from rm2 to STACK
gen push eax
- xor eax,eax
- movw ax,%1
+ movzx eax,%1
xchg {indir_r,esp},eax
from Xreg_off to STACK
push %1.reg
from ADDR_LOCAL %ind==0 to STACK
- gen
- push ebp
+ gen push ebp
from halfindir to STACK
uses REG
uses reusing %1,REG1=%1 yields %a
from rm1
- uses GENREG={ANYCON,0}
+ uses GENREG
+ gen
+ movzxb %a,%1 yields %a
+
+/****************
+ * From source2 *
+ ****************/
+
+from rm2
+ uses reusing %1,REG2=%1 yields %a
+
+from rm2
+ uses GENREG
gen
- move %1,%a.1 yields %a
+ movzx %a,%1 yields %a
/************************
* From STACK coercions *
#endif
leaving dup 4 stl $1
-pat sdl ldl $1==$2 leaving dup 4 sdl $1
+pat sdl ldl $1==$2 leaving dup 8 sdl $1
pat lol lol $1==$2
#ifdef REGVARS
uses ADDREG={indir_r_off,ebp,SSL},
CXREG={ANYCON,$1-1}
gen 1:
- mov %a,{indir_r_off,%a,4}
+ mov %a,{indir_r_off,%a,SSL}
loop {label,1b} yields %a
pat lxa $1==0 yields {ADDR_LOCAL,SL}
uses ADDREG={indir_r_off,ebp,SSL},
CXREG={ANYCON,$1-1}
gen 1:
- mov %a,{indir_r_off,%a,4}
+ mov %a,{indir_r_off,%a,SSL}
loop {label,1b} yields {Xreg_off,%a,SSL}
pat dch leaving loi 4
with rmorconst
kills regvar($1)
gen move %1, {LOCAL,$1,4}
+ with exact halfindir
+ kills regvar($1)
+ gen move %1, {LOCAL,$1,4}
with exact STACK
kills regvar($1)
gen pop {LOCAL, $1, 4}
with ADDR_LOCAL regorconst
kills indir,locals %ind+%size > %1.ind+$1 && %ind < %1.ind+$1+4
gen move %2,{LOCAL,%1.ind+$1,4}
- with exact ADDR_LOCAL
+ with exact ADDR_LOCAL STACK
kills indir,locals %ind+%size > %1.ind+$1 && %ind < %1.ind+$1+4
gen pop {LOCAL,%1.ind+$1,4}
with ADDR_EXTERN regorconst
with ADDR_LOCAL regorconst
kills indir,locals %ind+%size > %1.ind && %ind < %1.ind+4
gen move %2,{LOCAL,%1.ind,4}
- with exact ADDR_LOCAL
+ with exact ADDR_LOCAL STACK
kills indir,locals %ind+%size > %1.ind && %ind < %1.ind+4
gen pop {LOCAL,%1.ind,4}
with ADDR_EXTERN regorconst
pat dvf $1==8 leaving cal ".dvf8" asp 8
pat ngf $1==4 leaving cal ".ngf4"
pat ngf $1==8 leaving cal ".ngf8"
-pat fif $1==4 leaving cal ".fif4"
-pat fif $1==8 leaving cal ".fif8"
-pat fef $1==4 leaving dup 4 cal ".fef4"
-pat fef $1==8
-with REG REG
- kills ALL
- gen push %1
- push %2
- push %1 leaving cal ".fef8"
+pat fif $1==4 leaving lor 1 cal ".fif4" asp 4
+pat fif $1==8 leaving lor 1 cal ".fif8" asp 4
+pat fef $1==4 leaving lor 1 adp 0-4 cal ".fef4"
+pat fef $1==8 leaving lor 1 adp 0-4 cal ".fef8"
/******************************************************************
* Group 6: Pointer Arithmetic *
kills all_mems
gen axx* {indir_r, regvar($1)}, %1
+proc xxxrstl example adi stl
+with rmorconst rmorconst-RREG
+ kills regvar($2)
+ gen move %1, {LOCAL, $2, 4}
+ axx* {LOCAL, $2, 4}, %2
+
pat lol adi stl $1==$3 && $2==4 && inreg($1)==reg_any call lolrxxxstl("add")
pat lol adu stl $1==$3 && $2==4 && inreg($1)==reg_any call lolrxxxstl("add")
pat lol ads stl $1==$3 && $2==4 && inreg($1)==reg_any call lolrxxxstl("add")
pat lil and sil $1==$3 && $2==4 && inreg($1)==reg_any call lilrxxxsil("and")
pat lil ior sil $1==$3 && $2==4 && inreg($1)==reg_any call lilrxxxsil("or")
pat lil xor sil $1==$3 && $2==4 && inreg($1)==reg_any call lilrxxxsil("xor")
+
+pat adi stl $1==4 && inreg($2)==reg_any call xxxrstl("add")
+pat adu stl $1==4 && inreg($2)==reg_any call xxxrstl("add")
+pat ads stl $1==4 && inreg($2)==reg_any call xxxrstl("add")
+pat and stl $1==4 && inreg($2)==reg_any call xxxrstl("and")
+pat ior stl $1==4 && inreg($2)==reg_any call xxxrstl("or")
+pat xor stl $1==4 && inreg($2)==reg_any call xxxrstl("xor")
#endif
proc lolxxxstl example lol adi stl
call lofruxxsof("neg")
pat lol lof com lol stf $1==$4 && $2==$5 && $3==4 && inreg($1)==reg_any
call lofruxxsof("not")
+
+pat lol lof dup adp lol stf $1==$5 && $2==$6 && $3==4 && inreg($1)==reg_any
+kills all_mems
+uses ADDREG={indir_r_off, regvar($1), $2}
+gen add {indir_r_off, regvar($1), $2}, {ANYCON, $4} yields %a
+
#endif
proc lofuxxsof example lol lof inc lol stf
pat lol lof ior lol stf $1==$4 && $2==$5 && $3==4 call lofxxxsof("or")
pat lol lof xor lol stf $1==$4 && $2==$5 && $3==4 call lofxxxsof("xor")
+pat lol lof dup adp lol stf $1==$5 && $2==$6 && $3==4
+kills all_mems
+uses ADDREG={LOCAL,$1,4},ADDREG
+gen mov %b, {indir_r_off, %a, $2}
+ add {indir_r_off, %a, $2}, {ANYCON, $4}
+ killreg %a yields %b
+
proc lefuxxsef example loe lof inc loe stf
kills all_mems
uses ADDREG={EXTERN,$1}
pat loe lof ior loe stf $1==$4 && $2==$5 && $3==4 call lefxxxsef("or")
pat loe lof xor loe stf $1==$4 && $2==$5 && $3==4 call lefxxxsef("xor")
+pat loe lof dup adp loe stf $1==$5 && $2==$6 && $3==4
+kills all_mems
+uses ADDREG={EXTERN,$1},ADDREG
+gen mov %b, {indir_r_off, %a, $2}
+ add {indir_r_off, %a, $2}, {ANYCON, $4}
+ killreg %a yields %b
+
proc leiuxxsei example loe loi inc loe sti
kills all_mems
uses ADDREG={EXTERN,$1}
pat lol loc sbi stl $1==$4 && $3==4 call lolcxxstl("sub")
pat lol loc sbu stl $1==$4 && $3==4 call lolcxxstl("sub")
-pat lol loc adi stl $1==$4 && $3==4 call lolcxxstl("sub")
-pat lol loc adi stl $1==$4 && $3==4 call lolcxxstl("sub")
+pat lol loc adi stl $1==$4 && $3==4 call lolcxxstl("add")
+pat lol loc adi stl $1==$4 && $3==4 call lolcxxstl("add")
pat lol loc sli stl $1==$4 && $3==4 call lolcxxstl("sal")
pat lol loc slu stl $1==$4 && $3==4 call lolcxxstl("sal")
pat lol loc sri stl $1==$4 && $3==4 call lolcxxstl("sar")
leaving lol $1 loi $5 stl $6 lol $2 adp $3 stl $4
#ifdef REGVARS
+pat lol lol adp stl loi loc loc cii $1==$2 && $2==$4 && $5==1 && inreg($1) > 0 && $6==1 && $7==4
+uses REG
+gen movsxb %a,{indir_r1, regvar($1)}
+ yields %a
+ leaving lol $2 adp $3 stl $4
+
pat lol lol adp stl loi $1==$2 && $2==$4 && $5==1 && inreg($1) > 0
uses REG1 = {indir_r1, regvar($1)}
yields %a
leaving lol $2 adp $3 stl $4
+pat lol lol adp stl loi loc loc cii $1==$2 && $2==$4 && $5==2 && inreg($1) > 0 && $6==2 && $7==4
+uses REG
+gen movsx %a,{indir_r2, regvar($1)}
+ yields %a
+ leaving lol $2 adp $3 stl $4
+
pat lol lol adp stl loi $1==$2 && $2==$4 && $5==2 && inreg($1) > 0
uses REG2 = {indir_r2, regvar($1)}
yields %a
leaving lol $2 adp $3 stl $4
+
pat lol lol adp stl loi $1==$2 && $2==$4 && $5==4 && inreg($1) > 0
uses REG = {indir_r, regvar($1)}
yields %a
pat loc loc cii $1==1 && $2==4
with ACC
-gen cbw.
- cwde. yields eax
+gen movsxb %1,%1 yields eax
with exact rmorconst1
-uses reusing %1, ACC1=%1
-gen cbw.
- cwde. yields eax
+uses reusing %1, GENREG
+gen movsxb %a,%1 yields %a
pat loc loc cii $1==2 && $2==4
with ACC
-gen cwde. yields eax
+gen movsx %1,%1 yields eax
with exact rmorconst2
-uses ACC
-gen movw ax,%1
- cwde. yields eax
+uses reusing %1,GENREG
+gen movsx %a,%1 yields %a
pat loc loc ciu leaving loc $1 loc $2 cuu
pat loc loc cui leaving loc $1 loc $2 cuu
with rmorconst REG
gen and %2,%1 yields %2
+pat loc and $1==255 && $2==4
+with GENREG yields %1.1
+
pat and $1==8
with EXACT REG REG rmorconst rmorconst
gen and %1,%3
pat cms defined($1)
kills ALL
gen mov ecx,{ANYCON,$1}
- proccall {label,".cms"} yields ecx
+ proccall {label,".cms"} yields ecx
pat cms !defined($1)
+with CXREG
kills ALL
gen proccall {label,".cms"} yields ecx
pat asp $1==4
with exact a_word
with STACK
- uses BXREG /* GENREG may contain lfr area */
+ uses CXREG /* GENREG may contain lfr area */
gen pop %a
pat asp $1==8
with exact a_word a_word
with STACK
- uses BXREG /* GENREG may contain lfr area */
+ uses CXREG /* GENREG may contain lfr area */
gen pop %a
pop %a
gen jmp {label, ".csa4"}
pat csa !defined($1)
-with rm-BXREG-ACC ACC
+with rm-BXREG-ACC BXREG ACC
kills ALL
gen cmp %1,{ANYCON,4}
jne {label, ".unknown"}