621 lines
19 KiB
HolyC
621 lines
19 KiB
HolyC
U0 ICFOpEqu(CCmpCtrl *cc,CIntermediateCode *tmpi,I64 op,U8 *buf2,I64 ip)
|
|
{//for ADD,SUB,DIV,MUL
|
|
CICArg *a1=&tmpi->a1,
|
|
*a2=&tmpi->a2;
|
|
Bool dont_push_float,dont_pop_float,p1_mem;
|
|
I64 rsp_size=0,builtin2=0,
|
|
t1,r1,d1,t2,r2,d2;
|
|
|
|
if (cc->flags&CCF_AOT_COMPILE)
|
|
buf2=cc->aotc->ip;
|
|
|
|
CmpSetFloatOpPushPop(cc,tmpi,&dont_push_float,&dont_pop_float);
|
|
if (dont_pop_float)
|
|
throw('Compiler');
|
|
|
|
if (tmpi->ic_flags & ICF_BY_VAL) {
|
|
p1_mem=FALSE;
|
|
if (dont_push_float) {
|
|
if (tmpi->a1_type_pointed_to!=RT_F64) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
a1->type&MDG_MASK+tmpi->a1_type_pointed_to,a1->reg,a1->disp,ip);
|
|
ICFCvt2(cc,tmpi,REG_RAX,MDF_REG+RT_I64,REG_RAX,0,FALSE,ip);
|
|
ICPush(tmpi,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
} else {
|
|
if (tmpi->a1_type_pointed_to>=RT_I64 && a1->type&MDG_DISP_SIB_RIP) {
|
|
t1=a1->type&MDG_MASK+tmpi->a1_type_pointed_to;
|
|
r1=a1->reg;
|
|
d1=a1->disp;
|
|
p1_mem=TRUE;
|
|
} else {
|
|
ICPush(tmpi,a1->type&MDG_MASK+tmpi->a1_type_pointed_to,
|
|
a1->reg,a1->disp,ip);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
}
|
|
}
|
|
} else {
|
|
if (tmpi->a1_type_pointed_to!=RT_F64 || a1->type&MDF_STK) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,a2->type,a2->reg,a2->disp,ip);
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RDX,0,
|
|
a1->type&MDG_MASK+tmpi->a1_type_pointed_to,a1->reg,a1->disp,ip);
|
|
if (tmpi->a1_type_pointed_to!=RT_F64)
|
|
ICFCvt2(cc,tmpi,REG_RDX,MDF_REG+RT_I64,REG_RDX,0,FALSE,ip);
|
|
ICU16(tmpi,0x5052); //PUSH EDX PUSH EAX
|
|
rsp_size=16;
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=8;
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
} else {
|
|
if (a2->type.raw_type>=RT_I64 && a2->type&MDG_DISP_SIB_RIP) {
|
|
t2=a2->type;
|
|
r2=a2->reg;
|
|
d2=a2->disp;
|
|
} else {
|
|
if (a2->type&MDF_IMM) {
|
|
if (!(builtin2=ICBuiltInFloatConst(a2->disp(F64)))) {
|
|
t2=MDF_RIP_DISP32+RT_I64;
|
|
r2=REG_RIP;
|
|
d2=COCFloatConstFind(cc,a2->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a2->type,a2->reg,a2->disp,ip);
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
rsp_size+=8;
|
|
}
|
|
}
|
|
if (tmpi->a1_type_pointed_to>=RT_I64 && a1->type&MDG_DISP_SIB_RIP) {
|
|
t1=a1->type&MDG_MASK+tmpi->a1_type_pointed_to;
|
|
r1=a1->reg;
|
|
d1=a1->disp;
|
|
p1_mem=TRUE;
|
|
} else {
|
|
ICPush(tmpi,a1->type&MDG_MASK+tmpi->a1_type_pointed_to,
|
|
a1->reg,a1->disp,ip);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
if (r2==REG_RSP+REG_RSP<<8)
|
|
d2+=8;
|
|
}
|
|
}
|
|
}
|
|
if (!rsp_size && !(p1_mem && tmpi->a1_type_pointed_to==RT_F64)) {
|
|
rsp_size=8;
|
|
ICAddRSP(tmpi,-8);
|
|
}
|
|
if (!dont_push_float) {
|
|
if (builtin2)
|
|
ICU16(tmpi,builtin2);
|
|
else
|
|
ICSlashOp(tmpi,t2,r2,d2,SLASH_OP_FLD,ip);
|
|
}
|
|
switch (op.u8[0]) {
|
|
case 4: op=SLASH_OP_FSUBR; break;
|
|
case 6: op=SLASH_OP_FDIVR; break;
|
|
}
|
|
ICSlashOp(tmpi,t1,r1,d1,op,ip);
|
|
CmpNoteFloatOp(cc,tmpi,TRUE,FALSE,CN_MAIN);
|
|
if (p1_mem && tmpi->a1_type_pointed_to==RT_F64) {
|
|
ICSlashOp(tmpi,t1,r1,d1,SLASH_OP_FSTP,ip);
|
|
if (rsp_size)
|
|
ICAddRSP(tmpi,rsp_size);
|
|
} else {
|
|
if (rsp_size==8)
|
|
ICSlashOp(tmpi,MDF_SIB+RT_I64,REG_RSP+REG_RSP<<8,0,SLASH_OP_FSTP,ip);
|
|
else if (rsp_size>8) {
|
|
ICSlashOp(tmpi,MDF_SIB+RT_I64,REG_RSP+REG_RSP<<8,rsp_size-8,
|
|
SLASH_OP_FSTP,ip);
|
|
ICAddRSP(tmpi,rsp_size-8);
|
|
}
|
|
if (tmpi->a1_type_pointed_to!=RT_F64) {
|
|
ICPop(tmpi,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
ICFCvt2(cc,tmpi,REG_RAX,MDF_REG+RT_I64,REG_RAX,0,TRUE,ip);
|
|
ICMov(tmpi,a1->type&MDG_MASK+tmpi->a1_type_pointed_to,a1->reg,
|
|
a1->disp,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else
|
|
ICPop(tmpi,a1->type&MDG_MASK+tmpi->a1_type_pointed_to,
|
|
a1->reg,a1->disp,ip);
|
|
}
|
|
if (tmpi->r.type.mode)
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
a1->type&MDG_MASK+tmpi->a1_type_pointed_to,a1->reg,a1->disp,ip);
|
|
} else {
|
|
if (tmpi->a1_type_pointed_to>=RT_I64)
|
|
p1_mem=TRUE;
|
|
else
|
|
p1_mem=FALSE;
|
|
if (dont_push_float) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RCX,0,a1->type,a1->reg,a1->disp,ip);
|
|
if (tmpi->a1_type_pointed_to!=RT_F64) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
MDF_DISP+tmpi->a1_type_pointed_to,REG_RCX,0,ip);
|
|
ICFCvt2(cc,tmpi,REG_RAX,MDF_REG+RT_I64,REG_RAX,0,FALSE,ip);
|
|
ICPush(tmpi,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else
|
|
ICPush(tmpi,MDF_DISP+tmpi->a1_type_pointed_to,REG_RCX,0,ip);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
} else {
|
|
if (tmpi->a1_type_pointed_to!=RT_F64 || a1->type&MDF_STK) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,a2->type,a2->reg,a2->disp,ip);
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RCX,0,a1->type,a1->reg,a1->disp,ip);
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RDX,0,
|
|
MDF_DISP+tmpi->a1_type_pointed_to,REG_RCX,0,ip);
|
|
if (tmpi->a1_type_pointed_to!=RT_F64)
|
|
ICFCvt2(cc,tmpi,REG_RDX,MDF_REG+RT_I64,REG_RDX,0,FALSE,ip);
|
|
ICU16(tmpi,0x5052); //PUSH EDX PUSH EAX
|
|
rsp_size=16;
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=8;
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
} else {
|
|
if (a2->type.raw_type>=RT_I64 && a2->type&MDG_DISP_SIB_RIP) {
|
|
t2=a2->type;
|
|
r2=a2->reg;
|
|
d2=a2->disp;
|
|
} else {
|
|
if (a2->type&MDF_IMM) {
|
|
if (!(builtin2=ICBuiltInFloatConst(a2->disp(F64)))) {
|
|
t2=MDF_RIP_DISP32+RT_I64;
|
|
r2=REG_RIP;
|
|
d2=COCFloatConstFind(cc,a2->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a2->type,a2->reg,a2->disp,ip);
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
rsp_size+=8;
|
|
}
|
|
}
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RCX,0,a1->type,a1->reg,a1->disp,ip);
|
|
ICPush(tmpi,MDF_DISP+tmpi->a1_type_pointed_to,REG_RCX,0,ip);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
if (r2==REG_RSP+REG_RSP<<8)
|
|
d2+=8;
|
|
}
|
|
}
|
|
if (!rsp_size && !(p1_mem && tmpi->a1_type_pointed_to==RT_F64)) {
|
|
rsp_size=8;
|
|
ICAddRSP(tmpi,-8);
|
|
}
|
|
if (!dont_push_float) {
|
|
if (builtin2)
|
|
ICU16(tmpi,builtin2);
|
|
else
|
|
ICSlashOp(tmpi,t2,r2,d2,SLASH_OP_FLD,ip);
|
|
}
|
|
|
|
switch (op.u8[0]) {
|
|
case 4: op=SLASH_OP_FSUBR; break;
|
|
case 6: op=SLASH_OP_FDIVR; break;
|
|
}
|
|
ICSlashOp(tmpi,t1,r1,d1,op,ip);
|
|
CmpNoteFloatOp(cc,tmpi,TRUE,FALSE,CN_MAIN);
|
|
if (p1_mem && tmpi->a1_type_pointed_to==RT_F64) {
|
|
ICSlashOp(tmpi,MDF_DISP+tmpi->a1_type_pointed_to,
|
|
REG_RCX,0,SLASH_OP_FSTP,ip);
|
|
if (rsp_size)
|
|
ICAddRSP(tmpi,rsp_size);
|
|
} else {
|
|
if (rsp_size==8)
|
|
ICSlashOp(tmpi,MDF_SIB+RT_I64,REG_RSP+REG_RSP<<8,0,SLASH_OP_FSTP,ip);
|
|
else if (rsp_size>8) {
|
|
ICSlashOp(tmpi,MDF_SIB+RT_I64,REG_RSP+REG_RSP<<8,rsp_size-8,
|
|
SLASH_OP_FSTP,ip);
|
|
ICAddRSP(tmpi,rsp_size-8);
|
|
}
|
|
ICPop(tmpi,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
if (tmpi->a1_type_pointed_to!=RT_F64)
|
|
ICFCvt2(cc,tmpi,REG_RAX,MDF_REG+RT_I64,REG_RAX,0,TRUE,ip);
|
|
ICMov(tmpi,MDF_DISP+tmpi->a1_type_pointed_to,REG_RCX,0,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
}
|
|
if (tmpi->r.type.mode)
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
}
|
|
}
|
|
|
|
U0 ICFCmpAndBranch(CCmpCtrl *cc,CIntermediateCode *tmpi,I64 ip,
|
|
I64 us,I64 not_us,U8 *buf,I64 ip2)
|
|
{
|
|
CICArg *a1,*a2;
|
|
Bool dont_push_float,dont_pop_float,alt,short_jmp;
|
|
I64 i,rsp_size=0,builtin1=0,builtin2=0,t1,r1,d1,t2,r2,d2;
|
|
CCodeMisc *lb;
|
|
U8 *buf2;
|
|
|
|
if (tmpi->ic_flags&ICF_ALT_TEMPLATE) {
|
|
a1=&tmpi->a2;
|
|
a2=&tmpi->a1;
|
|
alt=TRUE;
|
|
} else {
|
|
a1=&tmpi->a1;
|
|
a2=&tmpi->a2;
|
|
alt=FALSE;
|
|
}
|
|
|
|
if (cc->flags&CCF_AOT_COMPILE)
|
|
buf2=cc->aotc->ip;
|
|
else
|
|
buf2=buf;
|
|
|
|
CmpSetFloatOpPushPop(cc,tmpi,&dont_push_float,&dont_pop_float);
|
|
if (dont_push_float) {
|
|
if (tmpi->ic_flags&ICF_POP_CMP && alt) {
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
rsp_size+=8;
|
|
} else {
|
|
if (a2->type.raw_type>=RT_I64 && a2->type&MDG_DISP_SIB_RIP) {
|
|
t2=a2->type;
|
|
r2=a2->reg;
|
|
d2=a2->disp;
|
|
} else {
|
|
if (a2->type&MDF_IMM) {
|
|
if (!(builtin2=ICBuiltInFloatConst(a2->disp(F64))) ||
|
|
tmpi->ic_flags&ICF_PUSH_CMP) {
|
|
t2=MDF_RIP_DISP32+RT_I64;
|
|
r2=REG_RIP;
|
|
d2=COCFloatConstFind(cc,a2->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a2->type,a2->reg,a2->disp,ip2);
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
rsp_size+=8;
|
|
}
|
|
}
|
|
}
|
|
} else {
|
|
if (alt) {
|
|
if (!(a2->type&MDF_STK)) {
|
|
if (tmpi->ic_flags&ICF_POP_CMP) {
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
} else {
|
|
if (a1->type.raw_type>=RT_I64 && a1->type&MDG_DISP_SIB_RIP) {
|
|
t1=a1->type;
|
|
r1=a1->reg;
|
|
d1=a1->disp;
|
|
} else {
|
|
if (a1->type&MDF_IMM) {
|
|
if (!(builtin1=ICBuiltInFloatConst(a1->disp(F64)))) {
|
|
t1=MDF_RIP_DISP32+RT_I64;
|
|
r1=REG_RIP;
|
|
d1=COCFloatConstFind(cc,a1->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a1->type,a1->reg,a1->disp,ip2);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
}
|
|
}
|
|
}
|
|
if (a2->type.raw_type>=RT_I64 && a2->type&MDG_DISP_SIB_RIP) {
|
|
t2=a2->type;
|
|
r2=a2->reg;
|
|
d2=a2->disp;
|
|
} else {
|
|
if (a2->type&MDF_IMM) {
|
|
if (!(builtin2=ICBuiltInFloatConst(a2->disp(F64))) ||
|
|
tmpi->ic_flags&ICF_PUSH_CMP) {
|
|
t2=MDF_RIP_DISP32+RT_I64;
|
|
r2=REG_RIP;
|
|
d2=COCFloatConstFind(cc,a2->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a2->type,a2->reg,a2->disp,ip2);
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
rsp_size+=8;
|
|
if (r1==REG_RSP+REG_RSP<<8)
|
|
d1+=8;
|
|
}
|
|
}
|
|
} else {
|
|
if (tmpi->ic_flags&ICF_POP_CMP)
|
|
ICPopRegs(tmpi,1<<REG_RDX);
|
|
else
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RDX,0,a1->type,a1->reg,a1->disp,ip2);
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,a2->type,a2->reg,a2->disp,ip2);
|
|
ICU16(tmpi,0x5052); //PUSH EDX PUSH EAX
|
|
rsp_size=16;
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=8;
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
}
|
|
} else {
|
|
if (!(a1->type&MDF_STK)) {
|
|
if (a2->type.raw_type>=RT_I64 && a2->type&MDG_DISP_SIB_RIP) {
|
|
t2=a2->type;
|
|
r2=a2->reg;
|
|
d2=a2->disp;
|
|
} else {
|
|
if (a2->type&MDF_IMM) {
|
|
if (!(builtin2=ICBuiltInFloatConst(a2->disp(F64))) ||
|
|
tmpi->ic_flags&ICF_PUSH_CMP) {
|
|
t2=MDF_RIP_DISP32+RT_I64;
|
|
r2=REG_RIP;
|
|
d2=COCFloatConstFind(cc,a2->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a2->type,a2->reg,a2->disp,ip2);
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
rsp_size+=8;
|
|
}
|
|
}
|
|
if (tmpi->ic_flags&ICF_POP_CMP) {
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
if (r2==REG_RSP+REG_RSP<<8)
|
|
d1+=8;
|
|
} else {
|
|
if (a1->type.raw_type>=RT_I64 && a1->type&MDG_DISP_SIB_RIP) {
|
|
t1=a1->type;
|
|
r1=a1->reg;
|
|
d1=a1->disp;
|
|
} else {
|
|
if (a1->type&MDF_IMM) {
|
|
if (!(builtin1=ICBuiltInFloatConst(a1->disp(F64)))) {
|
|
t1=MDF_RIP_DISP32+RT_I64;
|
|
r1=REG_RIP;
|
|
d1=COCFloatConstFind(cc,a1->disp(F64))+buf2;
|
|
}
|
|
} else {
|
|
ICPush(tmpi,a1->type,a1->reg,a1->disp,ip2);
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=0;
|
|
rsp_size+=8;
|
|
if (r2==REG_RSP+REG_RSP<<8)
|
|
d2+=8;
|
|
}
|
|
}
|
|
}
|
|
} else {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,a2->type,a2->reg,a2->disp,ip2);
|
|
if (tmpi->ic_flags&ICF_POP_CMP)
|
|
ICPopRegs(tmpi,1<<REG_RDX);
|
|
else
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RDX,0,a1->type,a1->reg,a1->disp,ip2);
|
|
ICU16(tmpi,0x5052); //PUSH EDX PUSH EAX
|
|
rsp_size=16;
|
|
t1=MDF_SIB+RT_I64; r1=REG_RSP+REG_RSP<<8; d1=8;
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
}
|
|
}
|
|
}
|
|
if (!dont_push_float) {
|
|
if (builtin1)
|
|
ICU16(tmpi,builtin1);
|
|
else
|
|
ICSlashOp(tmpi,t1,r1,d1,SLASH_OP_FLD,ip2);
|
|
}
|
|
if (!alt)
|
|
us=not_us;
|
|
if (builtin2)
|
|
ICU16(tmpi,builtin2);
|
|
else
|
|
ICSlashOp(tmpi,t2,r2,d2,SLASH_OP_FLD,ip2);
|
|
if (tmpi->ic_flags&ICF_PUSH_CMP) {
|
|
t2=MDF_SIB+RT_I64; r2=REG_RSP+REG_RSP<<8; d2=0;
|
|
if (!rsp_size) {
|
|
rsp_size=8;
|
|
ICAddRSP(tmpi,-8);
|
|
} else if (rsp_size==16)
|
|
d2=8;
|
|
|
|
if (alt) {
|
|
ICU16(tmpi,0xF1DF); //FCOMIP
|
|
ICSlashOp(tmpi,t2,r2,d2,SLASH_OP_FSTP,ip2);
|
|
} else {
|
|
ICU16(tmpi,0xF1DB); //FCOMI
|
|
ICSlashOp(tmpi,t2,r2,d2,SLASH_OP_FSTP,ip2);
|
|
ICU32(tmpi,0xF7D9C0DD); //FFREE,FINCSTP
|
|
}
|
|
} else {
|
|
ICU16(tmpi,0xF1DF); //FCOMIP
|
|
ICU32(tmpi,0xF7D9C0DD); //FFREE,FINCSTP
|
|
}
|
|
CmpNoteFloatOp(cc,tmpi,TRUE,FALSE,CN_MAIN);
|
|
|
|
if (tmpi->ic_flags&ICF_PUSH_CMP) {
|
|
if (r2.u8[0]==REG_RSP) {
|
|
while (d2 && rsp_size) {
|
|
ICU8(tmpi,0x5B); //POP RBX (Dont change flags)
|
|
rsp_size-=8;
|
|
d2-=8;
|
|
}
|
|
} else {
|
|
while (rsp_size) {
|
|
ICU8(tmpi,0x5B); //POP RBX (Dont change flags)
|
|
rsp_size-=8;
|
|
}
|
|
ICPush(tmpi,t2,r2,d2,ip2);
|
|
}
|
|
} else {
|
|
while (rsp_size) {
|
|
ICU8(tmpi,0x5B); //POP RBX (Dont change flags)
|
|
rsp_size-=8;
|
|
}
|
|
}
|
|
|
|
ip+=tmpi->ic_cnt;
|
|
lb=OptLabelFwd(tmpi->ic_data);
|
|
short_jmp=ToBool(tmpi->ic_flags&ICF_SHORT_JMP);
|
|
if (!buf && lb->addr!=INVALID_PTR) {
|
|
i=lb->addr-(ip+2);
|
|
if (lb->flags&CMF_POP_CMP) {
|
|
if(tmpi->ic_flags&ICF_PUSH_CMP)
|
|
i+=4;
|
|
else
|
|
i+=8;
|
|
}
|
|
if (MIN_I8<=i<=MAX_I8)
|
|
short_jmp=TRUE;
|
|
}
|
|
|
|
if (short_jmp) {
|
|
tmpi->ic_flags|=ICF_SHORT_JMP;
|
|
i=lb->addr-(ip+2);
|
|
if (lb->flags&CMF_POP_CMP) {
|
|
if(tmpi->ic_flags&ICF_PUSH_CMP)
|
|
i+=4;
|
|
else
|
|
i+=8;
|
|
}
|
|
ICU16(tmpi,i<<8+us.u8[2]);
|
|
} else {
|
|
tmpi->ic_flags&=~ICF_SHORT_JMP;
|
|
i=lb->addr-(ip+6);
|
|
if (lb->flags&CMF_POP_CMP) {
|
|
if(tmpi->ic_flags&ICF_PUSH_CMP)
|
|
i+=4;
|
|
else
|
|
i+=8;
|
|
}
|
|
ICU16(tmpi,us.u16[0]);
|
|
ICU32(tmpi,i);
|
|
}
|
|
}
|
|
|
|
U0 ICFMul(CCmpCtrl *cc,CIntermediateCode *tmpi,U8 *buf,I64 ip)
|
|
{
|
|
if (tmpi->a1.type&MDF_IMM && tmpi->a1.type&RTG_MASK==RT_F64 &&
|
|
tmpi->a1.disp(F64)==1.0) {
|
|
CmpNoteFloatOp(cc,tmpi,FALSE,FALSE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
tmpi->a2.type,tmpi->a2.reg,tmpi->a2.disp,ip);
|
|
} else if (tmpi->a2.type&MDF_IMM &&
|
|
tmpi->a2.type&RTG_MASK==RT_F64&& tmpi->a2.disp(F64)==1.0) {
|
|
CmpNoteFloatOp(cc,tmpi,FALSE,FALSE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
} else
|
|
ICFOp(cc,tmpi,SLASH_OP_FMUL,buf,ip);
|
|
}
|
|
|
|
U0 ICFDiv(CCmpCtrl *cc,CIntermediateCode *tmpi,U8 *buf,I64 ip)
|
|
{
|
|
if (tmpi->a2.type&MDF_IMM && tmpi->a2.type&RTG_MASK==RT_F64 &&
|
|
tmpi->a2.disp(F64)==1.0) {
|
|
CmpNoteFloatOp(cc,tmpi,FALSE,FALSE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
} else
|
|
ICFOp(cc,tmpi,SLASH_OP_FDIV,buf,ip);
|
|
}
|
|
|
|
U0 ICFAdd(CCmpCtrl *cc,CIntermediateCode *tmpi,U8 *buf,I64 ip)
|
|
{
|
|
Bool dont_push_float,dont_pop_float;
|
|
CmpSetFloatOpPushPop(cc,tmpi,&dont_push_float,&dont_pop_float);
|
|
if (tmpi->a1.type&MDF_IMM && !tmpi->a1.disp) {
|
|
if (dont_push_float) {
|
|
ICCopyTemplate(cc,tmpi,CMP_TEMPLATE_FSTP,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else if (dont_pop_float) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
tmpi->a2.type,tmpi->a2.reg,tmpi->a2.disp,ip);
|
|
ICCopyTemplate(cc,tmpi,CMP_TEMPLATE_FLD,FALSE,TRUE,TRUE,CN_MAIN);
|
|
} else {
|
|
CmpNoteFloatOp(cc,tmpi,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
tmpi->a2.type,tmpi->a2.reg,tmpi->a2.disp,ip);
|
|
}
|
|
} else if (tmpi->a2.type&MDF_IMM && !tmpi->a2.disp) {
|
|
if (dont_push_float) {
|
|
ICCopyTemplate(cc,tmpi,CMP_TEMPLATE_FSTP,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else if (dont_pop_float) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
ICCopyTemplate(cc,tmpi,CMP_TEMPLATE_FLD,FALSE,TRUE,TRUE,CN_MAIN);
|
|
} else {
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
CmpNoteFloatOp(cc,tmpi,TRUE,TRUE,CN_MAIN);
|
|
}
|
|
} else
|
|
ICFOp(cc,tmpi,SLASH_OP_FADD,buf,ip);
|
|
}
|
|
|
|
U0 ICFSub(CCmpCtrl *cc,CIntermediateCode *tmpi,U8 *buf,I64 ip)
|
|
{
|
|
Bool dont_push_float,dont_pop_float;
|
|
if (tmpi->a2.type&MDF_IMM && !tmpi->a2.disp) {
|
|
CmpSetFloatOpPushPop(cc,tmpi,&dont_push_float,&dont_pop_float);
|
|
if (dont_push_float) {
|
|
ICCopyTemplate(cc,tmpi,CMP_TEMPLATE_FSTP,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else if (dont_pop_float) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
ICCopyTemplate(cc,tmpi,CMP_TEMPLATE_FLD,FALSE,TRUE,TRUE,CN_MAIN);
|
|
} else {
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
CmpNoteFloatOp(cc,tmpi,TRUE,TRUE,CN_MAIN);
|
|
}
|
|
} else
|
|
ICFOp(cc,tmpi,SLASH_OP_FSUB,buf,ip);
|
|
}
|
|
|
|
U0 ICFPreIncDec(CCmpCtrl *cc,CIntermediateCode *tmpi,I64 op,I64 ip)
|
|
{
|
|
if (tmpi->ic_flags & ICF_BY_VAL) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
tmpi->a1.type&MDG_MASK+RT_I64,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
ICCopyTemplate(cc,tmpi,op,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RCX,0,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,MDF_DISP+RT_I64,REG_RCX,0,ip);
|
|
ICCopyTemplate(cc,tmpi,op,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,MDF_DISP+RT_I64,REG_RCX,0,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
}
|
|
if (tmpi->r.type.mode)
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
}
|
|
|
|
U0 ICFPostIncDec(CCmpCtrl *cc,CIntermediateCode *tmpi,I64 op,I64 ip)
|
|
{
|
|
if (tmpi->ic_flags & ICF_BY_VAL) {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
tmpi->a1.type&MDG_MASK+RT_I64,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
if (tmpi->r.type.mode)
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RDX,0,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
ICCopyTemplate(cc,tmpi,op,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
} else {
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RCX,0,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,MDF_DISP+RT_I64,REG_RCX,0,ip);
|
|
if (tmpi->r.type.mode)
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RDX,0,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
ICCopyTemplate(cc,tmpi,op,FALSE,TRUE,TRUE,CN_MAIN);
|
|
ICMov(tmpi,MDF_DISP+RT_I64,REG_RCX,0,MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
}
|
|
if (tmpi->r.type.mode)
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RDX,0,ip);
|
|
}
|
|
|
|
U0 ICFTemplateFun(CCmpCtrl *cc,CIntermediateCode *tmpi,I64 op,I64 ip)
|
|
{
|
|
Bool dont_push_float,dont_pop_float;
|
|
|
|
CmpSetFloatOpPushPop(cc,tmpi,&dont_push_float,&dont_pop_float);
|
|
if (!dont_push_float)
|
|
ICMov(tmpi,MDF_REG+RT_I64,REG_RAX,0,
|
|
tmpi->a1.type,tmpi->a1.reg,tmpi->a1.disp,ip);
|
|
|
|
ICCopyTemplate(cc,tmpi,op,FALSE,TRUE,TRUE,CN_MAIN);
|
|
if (tmpi->r.type.mode && !(tmpi->ic_flags & ICF_R_TO_F64) &&
|
|
!(tmpi->ic_flags & ICF_R_TO_INT))
|
|
ICMov(tmpi,tmpi->r.type,tmpi->r.reg,tmpi->r.disp,
|
|
MDF_REG+RT_I64,REG_RAX,0,ip);
|
|
}
|