A TempleOS distro for heretics
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

566 lines
15 KiB

CCodeMisc *OptLabelFwd(CCodeMisc *lb)
{
CCodeMisc *lb1;
while (lb1=lb->fwd)
lb=lb1;
return lb;
}
CHashClass *OptClassFwd(CHashClass *tmpc)
{//Class forwarding for unions and subclasses.
CHashClass *tmpc1;
while (tmpc1=tmpc->fwd_class)
tmpc=tmpc1;
return tmpc;
}
U0 OptSetNOP1(CIntermediateCode *tmpi)
{
tmpi->ic_code=IC_NOP1;
tmpi->ic_flags=0;
tmpi->arg1.type=MDF_NULL+tmpi->arg1.type.raw_type;
tmpi->res.type =MDF_NULL+tmpi->res.type.raw_type;
}
U0 OptSetNOP2(CIntermediateCode *tmpi,I64 stk_delta=1)
{
tmpi->ic_code=IC_NOP2;
tmpi->ic_data=stk_delta;
tmpi->arg1.type=MDF_NULL+tmpi->arg1.type.raw_type;
tmpi->res.type =MDF_NULL+tmpi->res.type.raw_type;
}
CIntermediateCode *OptFree(CIntermediateCode *tmpi)
{//We might access freed entries in CICTreeLinks
QueRem(tmpi);
Free(tmpi);
return NULL;
}
CIntermediateCode *OptLag(CIntermediateCode *tmpi)
{
do {
if (!tmpi->ic_code)
return NULL;
else
tmpi=tmpi->last;
} while (tmpi->ic_code<=IC_END_EXP);
return tmpi;
}
CIntermediateCode *OptLag1(CIntermediateCode *tmpi)
{
do {
if (!tmpi->ic_code)
return NULL;
else
tmpi=tmpi->last;
} while (tmpi->ic_code==IC_NOP1||tmpi->ic_code==IC_NOP2);
return tmpi;
}
CIntermediateCode *OptLag2(CIntermediateCode *tmpi)
{
do {
if (!tmpi->ic_code)
return NULL;
else
tmpi=tmpi->last;
} while (tmpi->ic_code<IC_END_EXP);
return tmpi;
}
CIntermediateCode *OptLead1(CIntermediateCode *tmpi)
{
do {
tmpi=tmpi->next;
if (!tmpi->ic_code)
return NULL;
} while (tmpi->ic_code==IC_NOP1||tmpi->ic_code==IC_NOP2);
return tmpi;
}
I64 CmpOffset2Reg(I64 offset,COptReg *reg_offsets)
{
I64 i;
for (i=0;i<REG_REGS_NUM;i++)
if (offset==reg_offsets[i].offset)
return i;
return -1;
}
#define FBO1_NOT_CONST 0
#define FBO1_INT 1
#define FBO1_F64 2
Bool OptFixupBinaryOp1(CIntermediateCode *tmpi,
CIntermediateCode *tmpi1,CIntermediateCode *tmpi2,
Bool *is_unsigned)
{
CIntermediateCode *tmpii;
CHashClass *tmpc=tmpi->ic_class,*tmpc1,*tmpc2;
if (tmpi1->ic_flags&ICF_RES_TO_INT)
tmpc1=cmp.internal_types[RT_I64];
else if (tmpi1->ic_flags&ICF_RES_TO_F64)
tmpc1=cmp.internal_types[RT_F64];
else {
tmpc1=OptClassFwd(tmpi1->ic_class);
}
if (tmpi2->ic_flags&ICF_RES_TO_INT)
tmpc2=cmp.internal_types[RT_I64];
else if (tmpi2->ic_flags&ICF_RES_TO_F64)
tmpc2=cmp.internal_types[RT_F64];
else {
tmpc2=OptClassFwd(tmpi2->ic_class);
}
if (tmpc1->raw_type>tmpc2->raw_type)
tmpc=tmpi->ic_class=tmpc1;
else
tmpc=tmpi->ic_class=tmpc2;
if (tmpc->raw_type==RT_F64) {
if (tmpi1->ic_code==IC_IMM_I64) {
tmpi1->ic_data(F64)=tmpi1->ic_data;
tmpi1->ic_class=cmp.internal_types[RT_F64];
tmpi1->ic_code=IC_IMM_F64;
tmpi1->ic_flags&=~ICF_RES_TO_F64;
} else
if (tmpc1->raw_type!=RT_F64)
tmpi1->ic_flags|=ICF_RES_TO_F64;
if (tmpi2->ic_code==IC_IMM_I64) {
tmpi2->ic_data(F64)=tmpi2->ic_data;
tmpi2->ic_class=cmp.internal_types[RT_F64];
tmpi2->ic_code=IC_IMM_F64;
tmpi2->ic_flags&=~ICF_RES_TO_F64;
} else
if (tmpc2->raw_type!=RT_F64)
tmpi2->ic_flags|=ICF_RES_TO_F64;
if (IC_LESS<=tmpi->ic_code<=IC_GREATER_EQU && (tmpii=OptLead1(tmpi)) &&
tmpii->ic_code!=IC_PUSH_CMP && tmpii->ic_code!=IC_AND_AND) {
//We are looking for float comparisons to zero to convert to int.
if (tmpi1->ic_code==IC_IMM_F64 && !tmpi1->ic_data &&
tmpi2->ic_code==IC_DEREF && tmpc2==cmp.internal_types[RT_F64]) {
tmpi1->ic_code==IC_IMM_I64;
goto fb_here1;
} else if (tmpi2->ic_code==IC_IMM_F64 && !tmpi2->ic_data &&
tmpi1->ic_code==IC_DEREF && tmpc1==cmp.internal_types[RT_F64]) {
tmpi2->ic_code==IC_IMM_I64;
fb_here1:
tmpi1->ic_flags&=~ICF_RES_TO_F64;
tmpi->ic_class=tmpi1->ic_class=tmpi2->ic_class=
cmp.internal_types[RT_I64];
*is_unsigned=FALSE;
return FBO1_NOT_CONST;
}
goto fb_here2;
} else {
fb_here2:
if (tmpi1->ic_code==IC_IMM_F64 && tmpi2->ic_code==IC_IMM_F64 &&
!(tmpi->ic_flags&(ICF_PUSH_CMP|ICF_POP_CMP))) {
tmpi->ic_flags|=tmpi1->ic_flags|tmpi2->ic_flags;
OptSetNOP1(tmpi1);
OptSetNOP1(tmpi2);
return FBO1_F64;
} else
return FBO1_NOT_CONST;
}
}
*is_unsigned=tmpc1->raw_type&RTF_UNSIGNED || tmpc2->raw_type&RTF_UNSIGNED;
if (tmpi1->ic_code==IC_IMM_I64 && tmpi2->ic_code==IC_IMM_I64 &&
!(tmpi->ic_flags&(ICF_PUSH_CMP|ICF_POP_CMP))) {
tmpi->ic_flags|=tmpi1->ic_flags|tmpi2->ic_flags;
OptSetNOP1(tmpi1);
OptSetNOP1(tmpi2);
return FBO1_INT;
} else
return FBO1_NOT_CONST;
}
Bool OptFixupBinaryOp2(CIntermediateCode **tmpi1,CIntermediateCode **tmpi2)
{
CIntermediateCode *tmpii1=*tmpi1,
*tmpii2=*tmpi2;
if (tmpii1->ic_code==IC_IMM_I64 && !(tmpii1->ic_flags & ICF_RES_TO_F64))
return TRUE;
if (tmpii2->ic_code==IC_IMM_I64 && !(tmpii2->ic_flags & ICF_RES_TO_F64)) {
*tmpi1=tmpii2;
*tmpi2=tmpii1;
return TRUE;
}
return FALSE;
}
Bool OptFixupUnaryOp(CIntermediateCode *tmpi, CIntermediateCode *tmpi1,
Bool *is_unsigned)
{
CHashClass *tmpc,*tmpc1;
tmpc1=OptClassFwd(tmpi1->ic_class);
tmpi->ic_class=tmpc1;
tmpc=tmpi->ic_class;
if (tmpc->raw_type==RT_F64) {
if (tmpi1->ic_code==IC_IMM_I64) {
tmpi1->ic_data(F64)=tmpi1->ic_data;
tmpi1->ic_class=cmp.internal_types[RT_F64];
tmpi1->ic_code=IC_IMM_F64;
tmpi1->ic_flags&=~ICF_RES_TO_F64;
} else
if (tmpc1->raw_type!=RT_F64)
tmpi1->ic_flags|=ICF_RES_TO_F64;
if (tmpi1->ic_code==IC_IMM_F64) {
tmpi->ic_flags|=tmpi1->ic_flags;
OptSetNOP1(tmpi1);
return FBO1_F64;
} else
return FBO1_NOT_CONST;
}
*is_unsigned=tmpc1->raw_type&RTF_UNSIGNED;
if (tmpi1->ic_code==IC_IMM_I64) {
tmpi->ic_flags|=tmpi1->ic_flags;
OptSetNOP1(tmpi1);
return FBO1_INT;
} else
return FBO1_NOT_CONST;
}
extern CIntermediateCode *OptBrNotZero(CCmpCtrl *cc,CIntermediateCode *tmpi);
CIntermediateCode *OptBrZero(CCmpCtrl *cc,CIntermediateCode *tmpi)
{
CCodeMisc *lb_true,*lb_false;
CIntermediateCode *tmpii=OptLag(tmpi),*tmpii2;
switch (tmpii->ic_code) {
case IC_NOT:
tmpi->ic_code=IC_BR_NOT_ZERO;
tmpi->ic_class=tmpii->ic_class;
tmpi->ic_flags|=tmpii->ic_flags;
tmpi->t.arg1_class=tmpii->t.arg1_class;
tmpi->t.arg1_tree=tmpii->t.arg1_tree;
OptFree(tmpii);
return OptBrNotZero(cc,tmpi);
case IC_EQU_EQU...IC_LESS_EQU:
tmpi->ic_code=(tmpii->ic_code-IC_EQU_EQU)^1+IC_BR_EQU_EQU;
break;
case IC_OR_OR:
tmpi->ic_code=IC_BR_OR_OR_ZERO;
break;
case IC_AND_AND:
tmpi->ic_code=IC_BR_AND_AND_ZERO;
break;
case IC_AND:
tmpi->ic_code=IC_BR_AND_ZERO;
break;
case IC_MM_:
if (cc->pass==2 && !(tmpii->ic_flags&ICF_RES_TO_F64) &&
tmpii->ic_class->raw_type!=RT_F64)
tmpi->ic_code=IC_BR_MM_ZERO;
break;
case IC_CALL_END:
tmpii2=OptLag(tmpii);
switch (tmpii2->ic_code) {
start:
case IC_CARRY:
tmpii2->ic_code=IC_BR_NOT_CARRY;
break;
case IC_BT:
tmpii2->ic_code=IC_BR_NOT_BT;
break;
case IC_LBTS:
tmpii2->ic_flags|=ICF_LOCK;
case IC_BTS:
tmpii2->ic_code=IC_BR_NOT_BTS;
break;
case IC_LBTR:
tmpii2->ic_flags|=ICF_LOCK;
case IC_BTR:
tmpii2->ic_code=IC_BR_NOT_BTR;
break;
case IC_LBTC:
tmpii2->ic_flags|=ICF_LOCK;
case IC_BTC:
tmpii2->ic_code=IC_BR_NOT_BTC;
break;
end:
tmpii2->ic_data=tmpi->ic_data;
tmpii->ic_code=IC_CALL_END2;
OptSetNOP1(tmpi);
return tmpii;
}
break;
}
if (tmpi->ic_code!=IC_BR_ZERO) {
tmpi->ic_class=tmpii->ic_class;
tmpi->ic_flags|=tmpii->ic_flags;
tmpi->t.arg1_class=tmpii->t.arg1_class;
tmpi->t.arg2_class=tmpii->t.arg2_class;
tmpi->t.arg1_tree=tmpii->t.arg1_tree;
tmpi->t.arg2_tree=tmpii->t.arg2_tree;
OptFree(tmpii);
if (tmpi->ic_flags&ICF_PUSH_CMP &&
IC_BR_NOT_EQU<=tmpi->ic_code<=IC_BR_LESS_EQU &&
!(tmpi->ic_flags&ICF_USE_F64)) {
tmpi->ic_code+=IC_BR_EQU_EQU2-IC_BR_EQU_EQU;
tmpi->ic_flags&=~ICF_PUSH_CMP;
tmpii=tmpi->next; //IC_PUSH_CMP inst
while (tmpii->ic_code!=IC_PUSH_CMP)
tmpii=tmpii->next;
tmpii->t.arg1_tree=tmpi;
OptSetNOP1(tmpii);
}
lb_true=tmpi->ic_data;
if (tmpi->ic_code==IC_BR_AND_AND_ZERO) {
tmpii=tmpi->t.arg1_tree->next;
tmpii->ic_data=lb_true;
tmpii->t.arg1_tree=tmpi->t.arg1_tree;
tmpii->t.arg1_class=tmpi->t.arg1_class;
tmpii->ic_code=IC_BR_ZERO;
OptBrZero(cc,tmpii);
tmpii=tmpi->t.arg2_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg2_tree;
tmpii->t.arg1_class=tmpi->t.arg2_class;
tmpii->ic_data=lb_true;
tmpii->ic_code=IC_BR_ZERO;
tmpii=OptBrZero(cc,tmpii);
OptSetNOP1(tmpi);
} else if (tmpi->ic_code==IC_BR_OR_OR_ZERO) {
lb_false=COCMiscNew(cc,CMT_LABEL);
tmpi->ic_code=IC_LABEL;
tmpi->ic_flags=0;
tmpi->ic_data=lb_false;
tmpii=tmpi->t.arg1_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg1_tree;
tmpii->t.arg1_class=tmpi->t.arg1_class;
tmpii->ic_data=lb_false;
tmpii->ic_code=IC_BR_NOT_ZERO;
OptBrNotZero(cc,tmpii);
tmpii=tmpi->t.arg2_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg2_tree;
tmpii->t.arg1_class=tmpi->t.arg2_class;
tmpii->ic_data=lb_true;
tmpii->ic_code=IC_BR_ZERO;
tmpii=OptBrZero(cc,tmpii);
} else
tmpii=tmpi;
if (tmpi->ic_flags&ICF_POP_CMP && tmpi->t.arg1_tree->ic_code==IC_NOP1) {
tmpi->t.arg1_tree=tmpi->t.arg1_tree->t.arg1_tree;
tmpi->ic_flags&=~ICF_POP_CMP;
}
return tmpii;
}
return tmpi;
}
CIntermediateCode *OptBrNotZero(CCmpCtrl *cc,CIntermediateCode *tmpi)
{
CCodeMisc *lb_true,*lb_false;
CIntermediateCode *tmpii=OptLag(tmpi),*tmpii2;
switch (tmpii->ic_code) {
case IC_NOT:
tmpi->ic_code=IC_BR_ZERO;
tmpi->ic_class=tmpii->ic_class;
tmpi->ic_flags|=tmpii->ic_flags;
tmpi->t.arg1_class=tmpii->t.arg1_class;
tmpi->t.arg1_tree=tmpii->t.arg1_tree;
OptFree(tmpii);
return OptBrZero(cc,tmpi);
case IC_EQU_EQU...IC_LESS_EQU:
tmpi->ic_code=tmpii->ic_code+IC_BR_EQU_EQU-IC_EQU_EQU;
break;
case IC_OR_OR:
tmpi->ic_code=IC_BR_OR_OR_NOT_ZERO;
break;
case IC_AND_AND:
tmpi->ic_code=IC_BR_AND_AND_NOT_ZERO;
break;
case IC_AND:
tmpi->ic_code=IC_BR_AND_NOT_ZERO;
break;
case IC_MM_:
if (cc->pass==2 && !(tmpii->ic_flags&ICF_RES_TO_F64) &&
tmpii->ic_class->raw_type!=RT_F64)
tmpi->ic_code=IC_BR_MM_NOT_ZERO;
break;
case IC_CALL_END:
tmpii2=OptLag(tmpii);
switch (tmpii2->ic_code) {
start:
case IC_CARRY:
tmpii2->ic_code=IC_BR_CARRY;
break;
case IC_BT:
tmpii2->ic_code=IC_BR_BT;
break;
case IC_LBTS:
tmpii2->ic_flags|=ICF_LOCK;
case IC_BTS:
tmpii2->ic_code=IC_BR_BTS;
break;
case IC_LBTR:
tmpii2->ic_flags|=ICF_LOCK;
case IC_BTR:
tmpii2->ic_code=IC_BR_BTR;
break;
case IC_LBTC:
tmpii2->ic_flags|=ICF_LOCK;
case IC_BTC:
tmpii2->ic_code=IC_BR_BTC;
break;
end:
tmpii2->ic_data=tmpi->ic_data;
tmpii->ic_code=IC_CALL_END2;
OptSetNOP1(tmpi);
return tmpii;
}
break;
}
if (tmpi->ic_code!=IC_BR_NOT_ZERO) {
tmpi->ic_class=tmpii->ic_class;
tmpi->ic_flags|=tmpii->ic_flags;
tmpi->t.arg1_class=tmpii->t.arg1_class;
tmpi->t.arg2_class=tmpii->t.arg2_class;
tmpi->t.arg1_tree=tmpii->t.arg1_tree;
tmpi->t.arg2_tree=tmpii->t.arg2_tree;
OptFree(tmpii);
if (tmpi->ic_flags&ICF_PUSH_CMP &&
IC_BR_NOT_EQU<=tmpi->ic_code<=IC_BR_LESS_EQU &&
!(tmpi->ic_flags&ICF_USE_F64)) {
tmpi->ic_code+=IC_BR_EQU_EQU2-IC_BR_EQU_EQU;
tmpi->ic_flags&=~ICF_PUSH_CMP;
tmpii=tmpi->next; //IC_PUSH_CMP inst
while (tmpii->ic_code!=IC_PUSH_CMP)
tmpii=tmpii->next;
tmpii->t.arg1_tree=tmpi;
OptSetNOP1(tmpii);
}
lb_true=tmpi->ic_data;
if (tmpi->ic_code==IC_BR_OR_OR_NOT_ZERO) {
tmpii=tmpi->t.arg1_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg1_tree;
tmpii->t.arg1_class=tmpi->t.arg1_class;
tmpii->ic_data=lb_true;
tmpii->ic_code=IC_BR_NOT_ZERO;
OptBrNotZero(cc,tmpii);
tmpii=tmpi->t.arg2_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg2_tree;
tmpii->t.arg1_class=tmpi->t.arg2_class;
tmpii->ic_data=lb_true;
tmpii->ic_code=IC_BR_NOT_ZERO;
tmpii=OptBrNotZero(cc,tmpii);
OptSetNOP1(tmpi);
} else if (tmpi->ic_code==IC_BR_AND_AND_NOT_ZERO) {
lb_false=COCMiscNew(cc,CMT_LABEL);
tmpi->ic_code=IC_LABEL;
tmpi->ic_flags=0;
tmpi->ic_data=lb_false;
tmpii=tmpi->t.arg1_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg1_tree;
tmpii->t.arg1_class=tmpi->t.arg1_class;
tmpii->ic_data=lb_false;
tmpii->ic_code=IC_BR_ZERO;
OptBrZero(cc,tmpii);
tmpii=tmpi->t.arg2_tree->next;
tmpii->t.arg1_tree=tmpi->t.arg2_tree;
tmpii->t.arg1_class=tmpi->t.arg2_class;
tmpii->ic_data=lb_true;
tmpii->ic_code=IC_BR_NOT_ZERO;
tmpii=OptBrNotZero(cc,tmpii);
} else
tmpii=tmpi;
if (tmpi->ic_flags&ICF_POP_CMP && tmpi->t.arg1_tree->ic_code==IC_NOP1) {
tmpi->t.arg1_tree=tmpi->t.arg1_tree->t.arg1_tree;
tmpi->ic_flags&=~ICF_POP_CMP;
}
return tmpii;
}
return tmpi;
}
U0 OptFixSizeOf(CIntermediateCode *tmpi1,
CIntermediateCode *tmpi_push,CHashClass *tmpcc)
{
if (tmpi1->ic_code==IC_MUL && tmpi1->t.arg2_tree->ic_code==IC_SIZEOF) {
tmpi1->t.arg2_tree->ic_code=IC_IMM_I64;
tmpi1->t.arg2_tree->ic_class=tmpcc;
tmpi_push->ic_class=tmpcc;
if (tmpcc->ptr_stars_cnt) {
tmpcc--;
if (tmpcc->size==1)
goto here;
tmpi1->t.arg2_tree->ic_data=tmpcc->size;
} else {
here:
if (tmpi_push==tmpi1)
tmpi1->t.arg2_tree->ic_data=1;
else {
OptSetNOP1(tmpi1->t.arg2_tree);
OptSetNOP1(tmpi1);
}
}
}
}
I64 CmpRawType(CHashClass *tmpc)
{
if (tmpc) {
tmpc=OptClassFwd(tmpc);
return tmpc->raw_type;
}
return 0;
}
I64 CmpRawTypePointed(CHashClass *tmpc)
{
if (tmpc) {
if (tmpc->ptr_stars_cnt)
tmpc--;
tmpc=OptClassFwd(tmpc);
return tmpc->raw_type;
}
return 0;
}
U0 CmpMinTypePointed(CIntermediateCode *tmpi,I64 pt1)
{
I64 pt;
if ((pt=tmpi->arg1_type_pointed_to) && pt!=RT_F64 && 0<pt1<pt)
tmpi->arg1_type_pointed_to=pt;
}
U0 CmpF1PushPop(CIntermediateCode *tmpi,CIntermediateCode *tmpi2)
{
if (intermediate_code_table[tmpi2->ic_code].fpop||
tmpi2->ic_flags&ICF_RES_TO_F64)
Bts(&tmpi->ic_flags,ICf_DONT_PUSH_FLOAT0);
}
U0 CmpF2PushPop(CIntermediateCode *tmpi,
CIntermediateCode *tmpi1,CIntermediateCode *tmpi2)
{
if ((tmpi2->ic_code==IC_MOV || tmpi2->ic_code==IC_IMM_F64) &&
!(tmpi2->ic_flags&ICF_RES_TO_F64) &&
(intermediate_code_table[tmpi1->ic_code].fpop ||
tmpi1->ic_flags&ICF_RES_TO_F64))
Bts(&tmpi->ic_flags,ICf_DONT_PUSH_FLOAT0);
else if ((intermediate_code_table[tmpi2->ic_code].fpop ||
tmpi2->ic_flags&ICF_RES_TO_F64)&&
!(tmpi1->ic_flags&ICF_RES_TO_F64))
Bts(&tmpi->ic_flags,ICf_DONT_PUSH_FLOAT0);
}
class COptMemberVar
{
I64 score,offset_start,offset_end,lea_balance;
CMemberLst *m;
};
I64 OptMVCompare(COptMemberVar *mv1,COptMemberVar *mv2)
{
return mv2->score-mv1->score;
}