2021-07-03 05:07:57 +01:00
|
|
|
<!DOCTYPE HTML>
|
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<meta http-equiv="Content-Type" content="text/html;charset=US-ASCII">
|
2021-12-11 11:10:58 +00:00
|
|
|
<meta name="generator" content="ZealOS V1.07">
|
2021-07-03 05:07:57 +01:00
|
|
|
<style type="text/css">
|
2021-10-08 07:06:11 +01:00
|
|
|
body {background-color:#1f1f1f;}
|
|
|
|
.cF0{color:#e3e3e3;background-color:#1f1f1f;}
|
|
|
|
.cF1{color:#4f84a6;background-color:#1f1f1f;}
|
|
|
|
.cF2{color:#73a255;background-color:#1f1f1f;}
|
|
|
|
.cF3{color:#297582;background-color:#1f1f1f;}
|
|
|
|
.cF4{color:#b34f4b;background-color:#1f1f1f;}
|
|
|
|
.cF5{color:#8a52c3;background-color:#1f1f1f;}
|
|
|
|
.cF6{color:#b7822f;background-color:#1f1f1f;}
|
|
|
|
.cF7{color:#444444;background-color:#1f1f1f;}
|
|
|
|
.cF8{color:#6d6d6d;background-color:#1f1f1f;}
|
|
|
|
.cF9{color:#94bfde;background-color:#1f1f1f;}
|
|
|
|
.cFA{color:#a1ce97;background-color:#1f1f1f;}
|
|
|
|
.cFB{color:#6db4be;background-color:#1f1f1f;}
|
|
|
|
.cFC{color:#e88e88;background-color:#1f1f1f;}
|
|
|
|
.cFD{color:#ca94e8;background-color:#1f1f1f;}
|
|
|
|
.cFE{color:#d4b475;background-color:#1f1f1f;}
|
|
|
|
.cFF{color:#1f1f1f;background-color:#1f1f1f;}
|
2021-07-03 05:07:57 +01:00
|
|
|
</style>
|
|
|
|
</head>
|
|
|
|
<body>
|
2021-07-05 01:12:38 +01:00
|
|
|
<pre style="font-family:monospace;font-size:12pt">
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l1"></a><span class=cF1>Bool</span><span class=cF0> </span><span class=cFD>OptIC4</span><span class=cF0>(</span><span class=cF9>CIntermediateCode</span><span class=cF0> *tmpi)
|
|
|
|
<a name="l2"></a>{
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l3"></a> </span><span class=cF9>I64</span><span class=cF0> i;
|
|
|
|
<a name="l4"></a> </span><span class=cF9>CIntermediateCode</span><span class=cF0> *tmpil1, *tmpil2;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l5"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l6"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi->ic_code < </span><span class=cF3>IC_IMM_I64</span><span class=cF0>)
|
|
|
|
<a name="l7"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>FALSE</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l8"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l9"></a> tmpil1 = tmpi;
|
|
|
|
<a name="l10"></a> </span><span class=cF1>if</span><span class=cF0> (!</span><span class=cF7>(</span><span class=cF0>tmpil2 = </span><span class=cFD>OptLag1</span><span class=cF0>(tmpil1)</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l11"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>FALSE</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l12"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l13"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->res.type & </span><span class=cF3>MDF_STACK</span><span class=cF0> && !</span><span class=cF7>(</span><span class=cF0>tmpil2->ic_flags & </span><span class=cF3>ICF_PUSH_RES</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l14"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l15"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->ic_code == </span><span class=cF3>IC_ADD_CONST</span><span class=cF0> && tmpil1->arg1.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l16"></a> {
|
|
|
|
<a name="l17"></a> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF7>(</span><span class=cF0>tmpil2->ic_code == </span><span class=cF3>IC_REG</span><span class=cF0> || tmpil2->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF7>)</span><span class=cF0> && tmpil2->arg1.type & </span><span class=cF3>MDF_REG</span><span class=cF0>)
|
|
|
|
<a name="l18"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l19"></a> i = tmpil1->ic_data;
|
|
|
|
<a name="l20"></a> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF3>I32_MIN</span><span class=cF0> <= i <= </span><span class=cF3>I32_MAX</span><span class=cF0> && !</span><span class=cF5>Bt</span><span class=cF7>(</span><span class=cF0>&</span><span class=cFB>cmp</span><span class=cF0>.non_ptr_vars_mask, tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l21"></a> {
|
|
|
|
<a name="l22"></a> tmpil1->ic_flags |= tmpil2->ic_flags & </span><span class=cF3>ICG_NO_CONVERT_MASK</span><span class=cF0>;
|
|
|
|
<a name="l23"></a> tmpil1->ic_code = </span><span class=cF3>IC_LEA</span><span class=cF0>;
|
|
|
|
<a name="l24"></a> tmpil1->arg1.type = </span><span class=cF3>MDF_DISP</span><span class=cF0> + tmpil1->arg1.type.raw_type;
|
|
|
|
<a name="l25"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l26"></a> tmpil1->arg1.disp = i;
|
|
|
|
<a name="l27"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l28"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l29"></a> }
|
|
|
|
<a name="l30"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l31"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code == </span><span class=cF3>IC_SHL_CONST</span><span class=cF0> && tmpil2->arg1.type & </span><span class=cF3>MDF_REG</span><span class=cF0>)
|
|
|
|
<a name="l32"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l33"></a> i = tmpil1->ic_data;
|
|
|
|
<a name="l34"></a> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF3>I32_MIN</span><span class=cF0> <= i <= </span><span class=cF3>I32_MAX</span><span class=cF0> && tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0> && </span><span class=cFE>1</span><span class=cF0> <= tmpil2->ic_data <= </span><span class=cFE>3</span><span class=cF0>)
|
|
|
|
<a name="l35"></a> {
|
|
|
|
<a name="l36"></a> tmpil1->ic_flags |= tmpil2->ic_flags & </span><span class=cF3>ICG_NO_CONVERT_MASK</span><span class=cF0>;
|
|
|
|
<a name="l37"></a> tmpil1->ic_code = </span><span class=cF3>IC_LEA</span><span class=cF0>;
|
|
|
|
<a name="l38"></a> tmpil1->arg1.type = </span><span class=cF3>MDF_SIB</span><span class=cF0> + tmpil1->arg1.type.raw_type;
|
|
|
|
<a name="l39"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0> + </span><span class=cF3>REG_NONE</span><span class=cF0>;
|
|
|
|
<a name="l40"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_data == </span><span class=cFE>1</span><span class=cF0>)
|
|
|
|
<a name="l41"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0x4000</span><span class=cF0>;
|
|
|
|
<a name="l42"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_data == </span><span class=cFE>2</span><span class=cF0>)
|
|
|
|
<a name="l43"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0x8000</span><span class=cF0>;
|
|
|
|
<a name="l44"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l45"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0xC000</span><span class=cF0>;
|
|
|
|
<a name="l46"></a> tmpil1->arg1.disp = i;
|
|
|
|
<a name="l47"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l48"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l49"></a> }
|
|
|
|
<a name="l50"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l51"></a> }
|
|
|
|
<a name="l52"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> || tmpil2->ic_code == </span><span class=cF3>IC_REG</span><span class=cF0>)
|
|
|
|
<a name="l53"></a> {
|
|
|
|
<a name="l54"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->arg2.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l55"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l56"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_flags & </span><span class=cF3>ICF_RES_TO_INT</span><span class=cF0>)
|
|
|
|
<a name="l57"></a> {
|
|
|
|
<a name="l58"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->arg1.type & </span><span class=cF3>MDF_IMM</span><span class=cF0>)
|
|
|
|
<a name="l59"></a> tmpil2->arg1.disp = tmpil2->arg1.disp(</span><span class=cF1>F64</span><span class=cF0>);
|
|
|
|
<a name="l60"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l61"></a> tmpil1->ic_flags |= </span><span class=cF3>ICF_ARG2_TO_INT</span><span class=cF0>;
|
|
|
|
<a name="l62"></a> }
|
|
|
|
<a name="l63"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_flags & </span><span class=cF3>ICF_RES_TO_F64</span><span class=cF0>)
|
|
|
|
<a name="l64"></a> {
|
|
|
|
<a name="l65"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->arg1.type & </span><span class=cF3>MDF_IMM</span><span class=cF0>)
|
|
|
|
<a name="l66"></a> tmpil2->arg1.disp(</span><span class=cF1>F64</span><span class=cF0>) = tmpil2->arg1.disp;
|
|
|
|
<a name="l67"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l68"></a> tmpil1->ic_flags |= </span><span class=cF3>ICF_ARG2_TO_F64</span><span class=cF0>;
|
|
|
|
<a name="l69"></a> }
|
|
|
|
<a name="l70"></a> tmpil1->arg2.type=tmpil2->arg1.type & </span><span class=cF3>MDG_MASK</span><span class=cF0> +
|
|
|
|
<a name="l71"></a> </span><span class=cF5>MinI64</span><span class=cF0>(tmpil1->arg2.type.raw_type, </span><span class=cF5>MinI64</span><span class=cF7>(</span><span class=cF0>tmpil2->res.type.raw_type, tmpil2->arg1.type.raw_type</span><span class=cF7>)</span><span class=cF0>);
|
|
|
|
<a name="l72"></a> tmpil1->arg2.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l73"></a> tmpil1->arg2.disp = tmpil2->arg1.disp;
|
|
|
|
<a name="l74"></a> tmpil1->ic_flags |= tmpil2->ic_flags & </span><span class=cF3>ICG_NO_CONVERT_MASK</span><span class=cF0>;
|
|
|
|
<a name="l75"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l76"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l77"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l78"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->arg1.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l79"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l80"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_flags & </span><span class=cF3>ICF_RES_TO_INT</span><span class=cF0>)
|
|
|
|
<a name="l81"></a> {
|
|
|
|
<a name="l82"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->arg1.type & </span><span class=cF3>MDF_IMM</span><span class=cF0>)
|
|
|
|
<a name="l83"></a> tmpil2->arg1.disp = tmpil2->arg1.disp(</span><span class=cF1>F64</span><span class=cF0>);
|
|
|
|
<a name="l84"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l85"></a> tmpil1->ic_flags |= </span><span class=cF3>ICF_ARG1_TO_INT</span><span class=cF0>;
|
|
|
|
<a name="l86"></a> }
|
|
|
|
<a name="l87"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_flags & </span><span class=cF3>ICF_RES_TO_F64</span><span class=cF0>)
|
|
|
|
<a name="l88"></a> {
|
|
|
|
<a name="l89"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->arg1.type & </span><span class=cF3>MDF_IMM</span><span class=cF0>)
|
|
|
|
<a name="l90"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l91"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->arg1.type & </span><span class=cF3>RTF_UNSIGNED</span><span class=cF0>)
|
|
|
|
<a name="l92"></a> tmpil2->arg1.disp(</span><span class=cF1>F64</span><span class=cF0>) = tmpil2->arg1.disp(</span><span class=cF9>U64</span><span class=cF0>);
|
|
|
|
<a name="l93"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l94"></a> tmpil2->arg1.disp(</span><span class=cF1>F64</span><span class=cF0>) = tmpil2->arg1.disp(</span><span class=cF9>I64</span><span class=cF0>);
|
|
|
|
<a name="l95"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l96"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l97"></a> tmpil1->ic_flags |= </span><span class=cF3>ICF_ARG1_TO_F64</span><span class=cF0>;
|
|
|
|
<a name="l98"></a> }
|
|
|
|
<a name="l99"></a> tmpil1->arg1.type = tmpil2->arg1.type & </span><span class=cF3>MDG_MASK</span><span class=cF0> +
|
|
|
|
<a name="l100"></a> </span><span class=cF5>MinI64</span><span class=cF0>(tmpil1->arg1.type.raw_type, </span><span class=cF5>MinI64</span><span class=cF7>(</span><span class=cF0>tmpil2->res.type.raw_type, tmpil2->arg1.type.raw_type</span><span class=cF7>)</span><span class=cF0>);
|
|
|
|
<a name="l101"></a> </span><span class=cFD>CompMinTypePointed</span><span class=cF0>(tmpil1, tmpil2->arg1_type_pointed_to);
|
|
|
|
<a name="l102"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l103"></a> tmpil1->arg1.disp = tmpil2->arg1.disp;
|
|
|
|
<a name="l104"></a> tmpil1->ic_flags |= tmpil2->ic_flags & </span><span class=cF3>ICG_NO_CONVERT_MASK</span><span class=cF0>;
|
|
|
|
<a name="l105"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l106"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l107"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l108"></a> }
|
|
|
|
<a name="l109"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->ic_code == </span><span class=cF3>IC_DEREF</span><span class=cF0>)
|
|
|
|
<a name="l110"></a> {
|
|
|
|
<a name="l111"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code == </span><span class=cF3>IC_ADD_CONST</span><span class=cF0> && tmpil2->arg1.type & </span><span class=cF3>MDF_REG</span><span class=cF0> && tmpil1->arg1.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l112"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l113"></a> i = tmpil2->ic_data;
|
|
|
|
<a name="l114"></a> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF3>I32_MIN</span><span class=cF0> <= i <= </span><span class=cF3>I32_MAX</span><span class=cF0> && !</span><span class=cF5>Bt</span><span class=cF7>(</span><span class=cF0>&</span><span class=cFB>cmp</span><span class=cF0>.non_ptr_vars_mask, tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l115"></a> {
|
|
|
|
<a name="l116"></a> tmpil1->ic_flags |= tmpil2->ic_flags;
|
|
|
|
<a name="l117"></a> tmpil1->ic_code = </span><span class=cF3>IC_MOV</span><span class=cF0>;
|
|
|
|
<a name="l118"></a> tmpil1->arg1.type = </span><span class=cF3>MDF_DISP</span><span class=cF0> +tmpil1->arg1_type_pointed_to;
|
|
|
|
<a name="l119"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l120"></a> tmpil1->arg1.disp = i;
|
|
|
|
<a name="l121"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpil2, -</span><span class=cFE>1</span><span class=cF0>);
|
|
|
|
<a name="l122"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l123"></a> }
|
|
|
|
<a name="l124"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l125"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code == </span><span class=cF3>IC_LEA</span><span class=cF0> && tmpil1->arg1.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l126"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l127"></a> tmpil1->ic_flags |= tmpil2->ic_flags;
|
|
|
|
<a name="l128"></a> tmpil1->ic_code = </span><span class=cF3>IC_MOV</span><span class=cF0>;
|
|
|
|
<a name="l129"></a> tmpil1->arg1.type = tmpil2->arg1.type & </span><span class=cF3>MDG_MASK</span><span class=cF0> + tmpil1->arg1_type_pointed_to;
|
|
|
|
<a name="l130"></a> tmpil1->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l131"></a> tmpil1->arg1.disp = tmpil2->arg1.disp;
|
|
|
|
<a name="l132"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l133"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l134"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l135"></a> }
|
|
|
|
<a name="l136"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l137"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->ic_code == </span><span class=cF3>IC_DEREF</span><span class=cF0>)
|
|
|
|
<a name="l138"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l139"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->arg1.type & </span><span class=cF3>MDF_REG</span><span class=cF0>)
|
|
|
|
<a name="l140"></a> {
|
|
|
|
<a name="l141"></a> tmpil1->arg1.type = </span><span class=cF3>MDF_DISP</span><span class=cF0> + tmpil1->arg1_type_pointed_to;
|
|
|
|
<a name="l142"></a> tmpil1->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l143"></a> tmpil1->ic_code = </span><span class=cF3>IC_MOV</span><span class=cF0>;
|
|
|
|
<a name="l144"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l145"></a> }
|
|
|
|
<a name="l146"></a> </span><span class=cF7>}</span><span class=cF0>
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l147"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l148"></a> </span><span class=cF1>return</span><span class=cF0> </span><span class=cF3>FALSE</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l149"></a>}
|
|
|
|
<a name="l150"></a>
|
|
|
|
<a name="l151"></a></span><span class=cF1>U0</span><span class=cF0> </span><span class=cFD>OptPass4</span><span class=cF0>(</span><span class=cF9>CCompCtrl</span><span class=cF0> *cc, </span><span class=cF9>COptReg</span><span class=cF0> *reg_offsets, </span><span class=cF9>I64</span><span class=cF0> *_type)
|
|
|
|
<a name="l152"></a>{
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l153"></a> </span><span class=cF9>CHashClass</span><span class=cF0> *tmpc, *tmpc1, *tmpc2;
|
|
|
|
<a name="l154"></a> </span><span class=cF9>CIntermediateCode</span><span class=cF0> *tmpi, *tmpi1, *tmpi2, *tmpil1, *tmpil2, *tmpil3, *tmpi_next;
|
|
|
|
<a name="l155"></a> </span><span class=cF9>I64</span><span class=cF0> code, i;
|
|
|
|
<a name="l156"></a> </span><span class=cF1>Bool</span><span class=cF0> dead_code = </span><span class=cF3>FALSE</span><span class=cF0>;
|
|
|
|
<a name="l157"></a> </span><span class=cF9>CCodeMisc</span><span class=cF0> *lb;
|
|
|
|
<a name="l158"></a> </span><span class=cF9>CParseStack</span><span class=cF0> *ps = cc->ps;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l159"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l160"></a> ps->ptr = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l161"></a> ps->ptr2 = </span><span class=cFE>0</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l162"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l163"></a> </span><span class=cF1>if</span><span class=cF0> (_type)
|
|
|
|
<a name="l164"></a> *_type = </span><span class=cF3>RT_I64</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l165"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l166"></a> tmpi = cc->coc.coc_head.next;
|
|
|
|
<a name="l167"></a> </span><span class=cF1>while</span><span class=cF0> (code = tmpi->ic_code)
|
|
|
|
<a name="l168"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l169"></a> tmpi_next = tmpi->next;
|
|
|
|
<a name="l170"></a> </span><span class=cF1>if</span><span class=cF0> (dead_code && code != </span><span class=cF3>IC_LABEL</span><span class=cF0>)
|
|
|
|
<a name="l171"></a> {
|
|
|
|
<a name="l172"></a> </span><span class=cF1>if</span><span class=cF0> (code == </span><span class=cF3>IC_JMP</span><span class=cF0> || code == </span><span class=cF3>IC_SUB_CALL</span><span class=cF0>)
|
|
|
|
<a name="l173"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l174"></a> lb = </span><span class=cFD>OptLabelFwd</span><span class=cF0>(tmpi->ic_data);
|
|
|
|
<a name="l175"></a> </span><span class=cF1>if</span><span class=cF0> (lb->use_count > </span><span class=cFE>0</span><span class=cF0>)
|
|
|
|
<a name="l176"></a> lb->use_count--;
|
|
|
|
<a name="l177"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l178"></a> tmpi = </span><span class=cFD>OptFree</span><span class=cF0>(tmpi);
|
|
|
|
<a name="l179"></a> }
|
|
|
|
<a name="l180"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l181"></a> {
|
|
|
|
<a name="l182"></a> tmpc = tmpi->ic_class;
|
|
|
|
<a name="l183"></a> tmpi1 = tmpi2 = &</span><span class=cFB>cmp</span><span class=cF0>.ic_nop;
|
|
|
|
<a name="l184"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1 = </span><span class=cFD>OptLag2</span><span class=cF7>(</span><span class=cF0>tmpi</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l185"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l186"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2 = </span><span class=cFD>OptLag2</span><span class=cF7>(</span><span class=cF0>tmpil1</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l187"></a> {
|
|
|
|
<a name="l188"></a> </span><span class=cF1>if</span><span class=cF0> (!</span><span class=cF7>(</span><span class=cF0>tmpil3 = </span><span class=cFD>OptLag2</span><span class=cF0>(tmpil2)</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l189"></a> tmpil3 = &</span><span class=cFB>cmp</span><span class=cF0>.ic_nop;
|
|
|
|
<a name="l190"></a> }
|
|
|
|
<a name="l191"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l192"></a> tmpil2 = tmpil3 = &</span><span class=cFB>cmp</span><span class=cF0>.ic_nop;
|
|
|
|
<a name="l193"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l194"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l195"></a> tmpil1 = tmpil2 = tmpil3 = &</span><span class=cFB>cmp</span><span class=cF0>.ic_nop;
|
|
|
|
<a name="l196"></a> </span><span class=cF1>switch</span><span class=cF0> [</span><span class=cFD>intermediate_code_table</span><span class=cF0>[code].arg_count]
|
|
|
|
<a name="l197"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l198"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IS_V_ARG</span><span class=cF0>:
|
|
|
|
<a name="l199"></a> ps->ptr -= tmpi->ic_data >> </span><span class=cFE>3</span><span class=cF0>;
|
|
|
|
<a name="l200"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l201"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l202"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IS_2_ARG</span><span class=cF0>:
|
|
|
|
<a name="l203"></a> tmpi2 = </span><span class=cFD>ParsePop</span><span class=cF0>(ps);
|
|
|
|
<a name="l204"></a> tmpc2 = tmpi2->ic_class;
|
|
|
|
<a name="l205"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IS_1_ARG</span><span class=cF0>:
|
|
|
|
<a name="l206"></a> tmpi1 = </span><span class=cFD>ParsePop</span><span class=cF0>(ps);
|
|
|
|
<a name="l207"></a> tmpc1 = tmpi1->ic_class;
|
|
|
|
<a name="l208"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l209"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l210"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IS_0_ARG</span><span class=cF0>: </span><span class=cF2>//nobound switch</span><span class=cF0>
|
|
|
|
<a name="l211"></a> </span><span class=cF1>break</span><span class=cF0>;
|
|
|
|
<a name="l212"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l213"></a> </span><span class=cF1>switch</span><span class=cF0> [code]
|
|
|
|
<a name="l214"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l215"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_IMM_I64</span><span class=cF0>:
|
|
|
|
<a name="l216"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_TYPE</span><span class=cF0>:
|
|
|
|
<a name="l217"></a> tmpi->arg1.type = </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0>;
|
|
|
|
<a name="l218"></a> tmpi->arg1.disp = tmpi->ic_data;
|
|
|
|
<a name="l219"></a> tmpi->ic_code = </span><span class=cF3>IC_MOV</span><span class=cF0>;
|
|
|
|
<a name="l220"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l221"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l222"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_IMM_F64</span><span class=cF0>:
|
|
|
|
<a name="l223"></a> tmpi->arg1.type = </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0>;
|
|
|
|
<a name="l224"></a> tmpi->arg1.disp = tmpi->ic_data;
|
|
|
|
<a name="l225"></a> tmpi->arg1_type_pointed_to = </span><span class=cF3>RT_F64</span><span class=cF0>;
|
|
|
|
<a name="l226"></a> tmpi->ic_code = </span><span class=cF3>IC_MOV</span><span class=cF0>;
|
|
|
|
<a name="l227"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l228"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l229"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MOV</span><span class=cF0>:
|
|
|
|
<a name="l230"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi->arg1.type & </span><span class=cF3>MDF_DISP</span><span class=cF0> && tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> == </span><span class=cF3>REG_RBP</span><span class=cF0>)
|
|
|
|
<a name="l231"></a> {
|
|
|
|
<a name="l232"></a> i = </span><span class=cFD>CompOffset2Reg</span><span class=cF0>(tmpi->arg1.disp, reg_offsets);
|
|
|
|
<a name="l233"></a> </span><span class=cF1>if</span><span class=cF0> (i >= </span><span class=cFE>0</span><span class=cF0>)
|
|
|
|
<a name="l234"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l235"></a> tmpi->arg1.type = </span><span class=cF3>MDF_REG</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l236"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = i;
|
|
|
|
<a name="l237"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l238"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l239"></a> }
|
|
|
|
<a name="l240"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l241"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l242"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_DEREF</span><span class=cF0>:
|
|
|
|
<a name="l243"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_LEA</span><span class=cF0>)
|
|
|
|
<a name="l244"></a> {
|
|
|
|
<a name="l245"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.type & </span><span class=cF3>MDF_DISP</span><span class=cF0> && tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> == </span><span class=cF3>REG_RBP</span><span class=cF0>)
|
|
|
|
<a name="l246"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l247"></a> i = </span><span class=cFD>CompOffset2Reg</span><span class=cF0>(tmpi1->arg1.disp, reg_offsets);
|
|
|
|
<a name="l248"></a> </span><span class=cF1>if</span><span class=cF0> (i >= </span><span class=cFE>0</span><span class=cF0>)
|
|
|
|
<a name="l249"></a> {
|
|
|
|
<a name="l250"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l251"></a> tmpi->ic_code = </span><span class=cF3>IC_REG</span><span class=cF0>;
|
|
|
|
<a name="l252"></a> tmpi->arg1.type = </span><span class=cF3>MDF_REG</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l253"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = i;
|
|
|
|
<a name="l254"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l255"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l256"></a> }
|
|
|
|
<a name="l257"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l258"></a> }
|
|
|
|
<a name="l259"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF7>(</span><span class=cF0>tmpi1->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0> || tmpi1->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> &&
|
|
|
|
<a name="l260"></a> tmpi1->arg1.type == </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> &&
|
|
|
|
<a name="l261"></a> </span><span class=cFE>0</span><span class=cF0> <= tmpi1->arg1.disp <= </span><span class=cF3>I32_MAX</span><span class=cF7>)</span><span class=cF0> && !</span><span class=cF7>(</span><span class=cF0>tmpi1->ic_flags & </span><span class=cF3>ICF_NO_RIP</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l262"></a> {
|
|
|
|
<a name="l263"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0>)
|
|
|
|
<a name="l264"></a> tmpi->arg1.disp = tmpi1->ic_data;
|
|
|
|
<a name="l265"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l266"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l267"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l268"></a> tmpi->ic_code = </span><span class=cF3>IC_MOV</span><span class=cF0>;
|
|
|
|
<a name="l269"></a> tmpi->arg1.type = </span><span class=cF3>MDF_RIP_DISP32</span><span class=cF0> + tmpi->arg1_type_pointed_to;
|
|
|
|
<a name="l270"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RIP</span><span class=cF0>;
|
|
|
|
<a name="l271"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l272"></a> }
|
|
|
|
<a name="l273"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l274"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l275"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_MM_ZERO</span><span class=cF0>:
|
|
|
|
<a name="l276"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_MM_NOT_ZERO</span><span class=cF0>:
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l277"></a></span><span class=cF2>//(branch ++ to zero is unlikely)</span><span class=cF0>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l278"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_DEREF_PP</span><span class=cF0>:
|
|
|
|
<a name="l279"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_DEREF_MM</span><span class=cF0>:
|
|
|
|
<a name="l280"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC__PP</span><span class=cF0>:
|
|
|
|
<a name="l281"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC__MM</span><span class=cF0>:
|
|
|
|
<a name="l282"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_PP_</span><span class=cF0>:
|
|
|
|
<a name="l283"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MM_</span><span class=cF0>:
|
|
|
|
<a name="l284"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_LEA</span><span class=cF0>)
|
|
|
|
<a name="l285"></a> {
|
|
|
|
<a name="l286"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.type & </span><span class=cF3>MDF_DISP</span><span class=cF0> && tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> == </span><span class=cF3>REG_RBP</span><span class=cF0>)
|
|
|
|
<a name="l287"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l288"></a> i = </span><span class=cFD>CompOffset2Reg</span><span class=cF0>(tmpi1->arg1.disp, reg_offsets);
|
|
|
|
<a name="l289"></a> </span><span class=cF1>if</span><span class=cF0> (i >= </span><span class=cFE>0</span><span class=cF0>)
|
|
|
|
<a name="l290"></a> {
|
|
|
|
<a name="l291"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l292"></a> tmpi->arg1.type = </span><span class=cF3>MDF_REG</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l293"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = i;
|
|
|
|
<a name="l294"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l295"></a> tmpi->ic_flags |= </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l296"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l297"></a> }
|
|
|
|
<a name="l298"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l299"></a> </span><span class=cF1>goto</span><span class=cF0> p4_lea_gone;
|
|
|
|
<a name="l300"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l301"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l302"></a> </span><span class=cF7>{</span><span class=cF0>
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l303"></a>p4_lea_gone:
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l304"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l305"></a> tmpi->arg1.type = tmpi1->arg1.type;
|
|
|
|
<a name="l306"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l307"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l308"></a> tmpi->ic_flags |= </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l309"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l310"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l311"></a> }
|
|
|
|
<a name="l312"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF7>(</span><span class=cF0>tmpi1->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0> || tmpi1->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> &&
|
|
|
|
<a name="l313"></a> tmpi1->arg1.type==</span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> &&
|
|
|
|
<a name="l314"></a> </span><span class=cFE>0</span><span class=cF0> <= tmpi1->arg1.disp <= </span><span class=cF3>I32_MAX</span><span class=cF7>)</span><span class=cF0>&& !</span><span class=cF7>(</span><span class=cF0>tmpi1->ic_flags & </span><span class=cF3>ICF_NO_RIP</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l315"></a> {
|
|
|
|
<a name="l316"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l317"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0>)
|
|
|
|
<a name="l318"></a> tmpi->arg1.disp = tmpi1->ic_data;
|
|
|
|
<a name="l319"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l320"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l321"></a> tmpi->arg1.type = </span><span class=cF3>MDF_RIP_DISP32</span><span class=cF0> + tmpi->arg1_type_pointed_to;
|
|
|
|
<a name="l322"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RIP</span><span class=cF0>;
|
|
|
|
<a name="l323"></a> tmpi->ic_flags |= </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l324"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l325"></a> }
|
|
|
|
<a name="l326"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l327"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l328"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADD</span><span class=cF0>:
|
|
|
|
<a name="l329"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> && tmpi1->arg1.type == </span><span class=cF3>MDF_REG</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> || tmpi1->ic_code == </span><span class=cF3>IC_REG</span><span class=cF0>)
|
|
|
|
<a name="l330"></a> {
|
|
|
|
<a name="l331"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> && tmpi2->arg1.type == </span><span class=cF3>MDF_REG</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> || tmpi2->ic_code == </span><span class=cF3>IC_REG</span><span class=cF0>)
|
|
|
|
<a name="l332"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l333"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0>)
|
|
|
|
<a name="l334"></a> {
|
|
|
|
<a name="l335"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l336"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> + tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0>;
|
|
|
|
<a name="l337"></a> </span><span class=cF1>goto</span><span class=cF0> p4_sib;
|
|
|
|
<a name="l338"></a> }
|
|
|
|
<a name="l339"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0>)
|
|
|
|
<a name="l340"></a> {
|
|
|
|
<a name="l341"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l342"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> + tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l343"></a>p4_sib:
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l344"></a> tmpi->ic_flags |= (tmpi1->ic_flags | tmpi2->ic_flags) & </span><span class=cF3>ICG_NO_CONVERT_MASK</span><span class=cF0>;
|
|
|
|
<a name="l345"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l346"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi2);
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l347"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l348"></a> tmpi->ic_code = </span><span class=cF3>IC_LEA</span><span class=cF0>;
|
|
|
|
<a name="l349"></a> tmpi->arg1.type = </span><span class=cF3>MDF_SIB</span><span class=cF0>+</span><span class=cF3>RT_I64</span><span class=cF0>;
|
|
|
|
<a name="l350"></a> tmpi->arg1_type_pointed_to = </span><span class=cF3>RT_I64</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l351"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l352"></a> tmpi->arg2.type = </span><span class=cF3>MDF_NULL</span><span class=cF0> + tmpi->arg2.type.raw_type;
|
|
|
|
<a name="l353"></a> }
|
|
|
|
<a name="l354"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l355"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_code == </span><span class=cF3>IC_SHL_CONST</span><span class=cF0> &&
|
|
|
|
<a name="l356"></a> tmpi2->arg1.type == </span><span class=cF3>MDF_REG</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> && tmpi2->ic_data <= </span><span class=cFE>3</span><span class=cF0>)
|
|
|
|
<a name="l357"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l358"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0>)
|
|
|
|
<a name="l359"></a> {
|
|
|
|
<a name="l360"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l361"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> + tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0>;
|
|
|
|
<a name="l362"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_data == </span><span class=cFE>1</span><span class=cF0>)
|
|
|
|
<a name="l363"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0x4000</span><span class=cF0>;
|
|
|
|
<a name="l364"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_data == </span><span class=cFE>2</span><span class=cF0>)
|
|
|
|
<a name="l365"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0x8000</span><span class=cF0>;
|
|
|
|
<a name="l366"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l367"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0xC000</span><span class=cF0>;
|
|
|
|
<a name="l368"></a> </span><span class=cF1>goto</span><span class=cF0> p4_sib;
|
|
|
|
<a name="l369"></a> }
|
|
|
|
<a name="l370"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l371"></a> }
|
|
|
|
<a name="l372"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_LEA</span><span class=cF0> && tmpi1->arg1.type & </span><span class=cF3>MDF_DISP</span><span class=cF0>)
|
|
|
|
<a name="l373"></a> {
|
|
|
|
<a name="l374"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> == </span><span class=cF3>REG_RBP</span><span class=cF0> && </span><span class=cFD>CompOffset2Reg</span><span class=cF7>(</span><span class=cF0>tmpi1->arg1.disp, reg_offsets</span><span class=cF7>)</span><span class=cF0> >= </span><span class=cFE>0</span><span class=cF0>)
|
|
|
|
<a name="l375"></a> </span><span class=cF1>break</span><span class=cF0>;
|
|
|
|
<a name="l376"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> && tmpi2->arg1.type == </span><span class=cF3>MDF_REG</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> || tmpi2->ic_code == </span><span class=cF3>IC_REG</span><span class=cF0>)
|
|
|
|
<a name="l377"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l378"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0>)
|
|
|
|
<a name="l379"></a> {
|
|
|
|
<a name="l380"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l381"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> + tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0>;
|
|
|
|
<a name="l382"></a> </span><span class=cF1>goto</span><span class=cF0> p4_sib;
|
|
|
|
<a name="l383"></a> }
|
|
|
|
<a name="l384"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0>)
|
|
|
|
<a name="l385"></a> {
|
|
|
|
<a name="l386"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l387"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> + tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0>;
|
|
|
|
<a name="l388"></a> </span><span class=cF1>goto</span><span class=cF0> p4_sib;
|
|
|
|
<a name="l389"></a> }
|
|
|
|
<a name="l390"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l391"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_code == </span><span class=cF3>IC_SHL_CONST</span><span class=cF0> &&
|
|
|
|
<a name="l392"></a> tmpi2->arg1.type == </span><span class=cF3>MDF_REG</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> && tmpi2->ic_data <= </span><span class=cFE>3</span><span class=cF0>)
|
|
|
|
<a name="l393"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l394"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> != </span><span class=cF3>REG_RSP</span><span class=cF0>)
|
|
|
|
<a name="l395"></a> {
|
|
|
|
<a name="l396"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l397"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> + tmpi2->arg1.</span><span class=cF1>reg</span><span class=cF0> << </span><span class=cFE>8</span><span class=cF0>;
|
|
|
|
<a name="l398"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_data == </span><span class=cFE>1</span><span class=cF0>)
|
|
|
|
<a name="l399"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0x4000</span><span class=cF0>;
|
|
|
|
<a name="l400"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_data == </span><span class=cFE>2</span><span class=cF0>)
|
|
|
|
<a name="l401"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0x8000</span><span class=cF0>;
|
|
|
|
<a name="l402"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l403"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> |= </span><span class=cFE>0xC000</span><span class=cF0>;
|
|
|
|
<a name="l404"></a> </span><span class=cF1>goto</span><span class=cF0> p4_sib;
|
|
|
|
<a name="l405"></a> }
|
|
|
|
<a name="l406"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l407"></a> }
|
|
|
|
<a name="l408"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l409"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l410"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ASSIGN_PP</span><span class=cF0>:
|
|
|
|
<a name="l411"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ASSIGN_MM</span><span class=cF0>:
|
Rename abs_addres to abs_address.
Update documentation/comments to rename addr, fun, var, stmt, blk, desc, reg, seg, ptr, dup, clus, val, and bttn, to address, function, variable, statement, block, description, register, segment, pointer, duplicate, cluster, value, and button, respectively.
2021-10-07 02:35:32 +01:00
|
|
|
<a name="l412"></a></span><span class=cF2>//this value was stashed during pass012 for pointer arithmetic</span><span class=cF0>
|
2021-12-11 11:10:58 +00:00
|
|
|
<a name="l413"></a> tmpi->ic_class2 = tmpi->t.class2; </span><span class=cF2>//See </span><a href="https://zeal-operating-system.github.io/ZealOS/Compiler/BackB.ZC.html#l473"><span class=cF4>ic_class2</span></a><span class=cF0>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l414"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ASSIGN</span><span class=cF0>:
|
|
|
|
<a name="l415"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SHL_EQU</span><span class=cF0>:
|
|
|
|
<a name="l416"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SHR_EQU</span><span class=cF0>:
|
|
|
|
<a name="l417"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MUL_EQU</span><span class=cF0>:
|
|
|
|
<a name="l418"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_DIV_EQU</span><span class=cF0>:
|
|
|
|
<a name="l419"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MOD_EQU</span><span class=cF0>:
|
|
|
|
<a name="l420"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_AND_EQU</span><span class=cF0>:
|
|
|
|
<a name="l421"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_OR_EQU</span><span class=cF0>:
|
|
|
|
<a name="l422"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_XOR_EQU</span><span class=cF0>:
|
|
|
|
<a name="l423"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADD_EQU</span><span class=cF0>:
|
|
|
|
<a name="l424"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SUB_EQU</span><span class=cF0>:
|
|
|
|
<a name="l425"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_LEA</span><span class=cF0>)
|
|
|
|
<a name="l426"></a> {
|
|
|
|
<a name="l427"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.type & </span><span class=cF7>(</span><span class=cF3>MDF_DISP</span><span class=cF0> | </span><span class=cF3>MDF_SIB</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l428"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l429"></a> tmpi2 = tmpi->next;
|
|
|
|
<a name="l430"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->arg1.type & </span><span class=cF3>MDF_DISP</span><span class=cF0> && tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0> == </span><span class=cF3>REG_RBP</span><span class=cF0>)
|
|
|
|
<a name="l431"></a> {
|
|
|
|
<a name="l432"></a> i = </span><span class=cFD>CompOffset2Reg</span><span class=cF0>(tmpi1->arg1.disp, reg_offsets);
|
|
|
|
<a name="l433"></a> </span><span class=cF1>if</span><span class=cF0> (i >= </span><span class=cFE>0</span><span class=cF0>)
|
|
|
|
<a name="l434"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l435"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l436"></a> tmpi->arg1.type = </span><span class=cF3>MDF_REG</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l437"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = i;
|
|
|
|
<a name="l438"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l439"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l440"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l441"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l442"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l443"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l444"></a> tmpi->arg1.type = </span><span class=cF3>MDF_DISP</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l445"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RBP</span><span class=cF0>;
|
|
|
|
<a name="l446"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l447"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l448"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l449"></a> }
|
|
|
|
<a name="l450"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l451"></a> {
|
|
|
|
<a name="l452"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l453"></a> tmpi->arg1.type = tmpi1->arg1.type & </span><span class=cF3>MDG_MASK</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l454"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = tmpi1->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l455"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l456"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l457"></a> }
|
|
|
|
<a name="l458"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi->res.type & </span><span class=cF3>MDF_STACK</span><span class=cF0> && tmpi2->arg2.type & </span><span class=cF3>MDF_STACK</span><span class=cF0> &&
|
|
|
|
<a name="l459"></a> code != </span><span class=cF3>IC_ASSIGN_PP</span><span class=cF0> && code != </span><span class=cF3>IC_ASSIGN_MM</span><span class=cF0>)
|
|
|
|
<a name="l460"></a> {
|
|
|
|
<a name="l461"></a> tmpi->res.type = tmpi->arg1.type;
|
|
|
|
<a name="l462"></a> tmpi->res.</span><span class=cF1>reg</span><span class=cF0> = tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l463"></a> tmpi->res.disp = tmpi->arg1.disp;
|
|
|
|
<a name="l464"></a> tmpi2->arg2.type = tmpi->arg1.type;
|
|
|
|
<a name="l465"></a> tmpi2->arg2.</span><span class=cF1>reg</span><span class=cF0> = tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l466"></a> tmpi2->arg2.disp = tmpi->arg1.disp;
|
|
|
|
<a name="l467"></a> </span><span class=cFD>CompMinTypePointed</span><span class=cF0>(tmpi2, tmpi->arg1_type_pointed_to);
|
|
|
|
<a name="l468"></a> }
|
|
|
|
<a name="l469"></a> tmpi->ic_flags |= </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l470"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l471"></a> }
|
|
|
|
<a name="l472"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cF7>(</span><span class=cF0>tmpi1->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0> || tmpi1->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> &&
|
|
|
|
<a name="l473"></a> tmpi1->arg1.type == </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> &&
|
|
|
|
<a name="l474"></a> </span><span class=cFE>0</span><span class=cF0> <= tmpi1->arg1.disp <= </span><span class=cF3>I32_MAX</span><span class=cF7>)</span><span class=cF0> && !</span><span class=cF7>(</span><span class=cF0>tmpi1->ic_flags & </span><span class=cF3>ICF_NO_RIP</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l475"></a> {
|
|
|
|
<a name="l476"></a> tmpi->ic_flags |= tmpi1->ic_flags;
|
|
|
|
<a name="l477"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi1->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0>)
|
|
|
|
<a name="l478"></a> tmpi->arg1.disp = tmpi1->ic_data;
|
|
|
|
<a name="l479"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l480"></a> tmpi->arg1.disp = tmpi1->arg1.disp;
|
|
|
|
<a name="l481"></a> tmpi->arg1.type = </span><span class=cF3>MDF_RIP_DISP32</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l482"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RIP</span><span class=cF0>;
|
|
|
|
<a name="l483"></a> tmpi->ic_flags |= </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l484"></a> </span><span class=cFD>OptSetNOP2</span><span class=cF0>(tmpi1);
|
|
|
|
<a name="l485"></a> }
|
|
|
|
<a name="l486"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l487"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l488"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RETURN_VAL</span><span class=cF0>:
|
|
|
|
<a name="l489"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RETURN_VAL2</span><span class=cF0>:
|
|
|
|
<a name="l490"></a> </span><span class=cF1>if</span><span class=cF0> (!tmpi->ic_class)
|
|
|
|
<a name="l491"></a> {
|
|
|
|
<a name="l492"></a> </span><span class=cF1>if</span><span class=cF0> (_type)
|
|
|
|
<a name="l493"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l494"></a> tmpil1 = tmpi;
|
|
|
|
<a name="l495"></a> </span><span class=cF1>while</span><span class=cF0> (tmpil1 = </span><span class=cFD>OptLag1</span><span class=cF7>(</span><span class=cF0>tmpil1</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l496"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->ic_class)
|
|
|
|
<a name="l497"></a> {
|
|
|
|
<a name="l498"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil1->ic_flags & </span><span class=cF3>ICF_RES_TO_F64</span><span class=cF0>)
|
|
|
|
<a name="l499"></a> *_type = </span><span class=cF3>RT_F64</span><span class=cF0>;
|
|
|
|
<a name="l500"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpil1->ic_flags & </span><span class=cF3>ICF_RES_TO_INT</span><span class=cF0>)
|
|
|
|
<a name="l501"></a> *_type = </span><span class=cF3>RT_I64</span><span class=cF0>;
|
|
|
|
<a name="l502"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l503"></a> *_type = tmpil1->ic_class->raw_type;
|
|
|
|
<a name="l504"></a> </span><span class=cF1>break</span><span class=cF0>;
|
|
|
|
<a name="l505"></a> }
|
|
|
|
<a name="l506"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l507"></a> tmpi->ic_class = </span><span class=cFB>cmp</span><span class=cF0>.internal_types[</span><span class=cF3>RT_I64</span><span class=cF0>];
|
|
|
|
<a name="l508"></a> }
|
|
|
|
<a name="l509"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (_type)
|
|
|
|
<a name="l510"></a> *_type = tmpi->ic_class->raw_type;
|
|
|
|
<a name="l511"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l512"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l513"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_NOP1</span><span class=cF0>:
|
|
|
|
<a name="l514"></a> tmpi = </span><span class=cFD>OptFree</span><span class=cF0>(tmpi);
|
|
|
|
<a name="l515"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l516"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l517"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_BT</span><span class=cF0>:
|
|
|
|
<a name="l518"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_BTS</span><span class=cF0>:
|
|
|
|
<a name="l519"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_BTR</span><span class=cF0>:
|
|
|
|
<a name="l520"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_BTC</span><span class=cF0>:
|
|
|
|
<a name="l521"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_NOT_BT</span><span class=cF0>:
|
|
|
|
<a name="l522"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_NOT_BTS</span><span class=cF0>:
|
|
|
|
<a name="l523"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_NOT_BTR</span><span class=cF0>:
|
|
|
|
<a name="l524"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_NOT_BTC</span><span class=cF0>:
|
|
|
|
<a name="l525"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BT</span><span class=cF0>:
|
|
|
|
<a name="l526"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BTS</span><span class=cF0>:
|
|
|
|
<a name="l527"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BTR</span><span class=cF0>:
|
|
|
|
<a name="l528"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BTC</span><span class=cF0>:
|
|
|
|
<a name="l529"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_LBTS</span><span class=cF0>:
|
|
|
|
<a name="l530"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_LBTR</span><span class=cF0>:
|
|
|
|
<a name="l531"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_LBTC</span><span class=cF0>:
|
|
|
|
<a name="l532"></a> </span><span class=cF1>if</span><span class=cF0> (!</span><span class=cF7>(</span><span class=cF0>tmpi->ic_flags & </span><span class=cF3>ICF_BY_VAL</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l533"></a> {
|
|
|
|
<a name="l534"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_code == </span><span class=cF3>IC_ADDR</span><span class=cF0>)
|
|
|
|
<a name="l535"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l536"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->arg1.type & </span><span class=cF3>MDF_STACK</span><span class=cF0> && tmpi2->res.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l537"></a> {
|
|
|
|
<a name="l538"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2 = </span><span class=cFD>OptLag1</span><span class=cF7>(</span><span class=cF0>tmpi2</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l539"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l540"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code == </span><span class=cF3>IC_LEA</span><span class=cF0>)
|
|
|
|
<a name="l541"></a> {
|
|
|
|
<a name="l542"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->arg1.type & </span><span class=cF7>(</span><span class=cF3>MDF_IMM</span><span class=cF0> | </span><span class=cF3>MDG_REG_DISP_SIB_RIP</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l543"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l544"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2)
|
|
|
|
<a name="l545"></a> {
|
|
|
|
<a name="l546"></a> tmpi->ic_flags |= tmpi2->ic_flags;
|
|
|
|
<a name="l547"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi2);
|
|
|
|
<a name="l548"></a> }
|
|
|
|
<a name="l549"></a> tmpi->ic_flags |= tmpil2->ic_flags | </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l550"></a> tmpi->arg2.type = tmpil2->arg1.type;
|
|
|
|
<a name="l551"></a> tmpi->arg2.</span><span class=cF1>reg</span><span class=cF0> = tmpil2->arg1.</span><span class=cF1>reg</span><span class=cF0>;
|
|
|
|
<a name="l552"></a> tmpi->arg2.disp = tmpil2->arg1.disp;
|
|
|
|
<a name="l553"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l554"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l555"></a> </span><span class=cF1>break</span><span class=cF0>;
|
|
|
|
<a name="l556"></a> }
|
|
|
|
<a name="l557"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code != </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0> && !</span><span class=cF7>(</span><span class=cF0>tmpil2->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> &&
|
|
|
|
<a name="l558"></a> tmpil2->arg1.type == </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> && </span><span class=cFE>0</span><span class=cF0> <= tmpil2->arg1.disp <= </span><span class=cF3>I32_MAX</span><span class=cF7>)</span><span class=cF0> ||
|
|
|
|
<a name="l559"></a> tmpil2->ic_flags & </span><span class=cF3>ICF_NO_RIP</span><span class=cF0>)
|
|
|
|
<a name="l560"></a> tmpil2 = </span><span class=cF3>NULL</span><span class=cF0>;
|
|
|
|
<a name="l561"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l562"></a> {
|
|
|
|
<a name="l563"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2->ic_code == </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0>)
|
|
|
|
<a name="l564"></a> tmpi->arg2.disp = tmpil2->ic_data;
|
|
|
|
<a name="l565"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l566"></a> tmpi->arg2.disp = tmpil2->arg1.disp;
|
|
|
|
<a name="l567"></a> }
|
|
|
|
<a name="l568"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l569"></a> }
|
|
|
|
<a name="l570"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l571"></a> {
|
|
|
|
<a name="l572"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2->arg1.type == </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> && </span><span class=cFE>0</span><span class=cF0> <= tmpi2->arg1.disp <= </span><span class=cF3>I32_MAX</span><span class=cF0> &&
|
|
|
|
<a name="l573"></a> !</span><span class=cF7>(</span><span class=cF0>tmpi2->ic_flags & </span><span class=cF3>ICF_NO_RIP</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l574"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l575"></a> tmpil2 = tmpi2;
|
|
|
|
<a name="l576"></a> tmpi2 = </span><span class=cF3>NULL</span><span class=cF0>;
|
|
|
|
<a name="l577"></a> tmpi->arg2.disp = tmpil2->arg1.disp;
|
|
|
|
<a name="l578"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l579"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l580"></a> tmpil2 = </span><span class=cF3>NULL</span><span class=cF0>;
|
|
|
|
<a name="l581"></a> }
|
|
|
|
<a name="l582"></a> </span><span class=cF1>if</span><span class=cF0> (tmpil2)
|
|
|
|
<a name="l583"></a> {
|
|
|
|
<a name="l584"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi2)
|
|
|
|
<a name="l585"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l586"></a> tmpi->ic_flags |= tmpi2->ic_flags;
|
|
|
|
<a name="l587"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi2);
|
|
|
|
<a name="l588"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l589"></a> tmpi->ic_flags |= tmpil2->ic_flags | </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l590"></a> tmpi->arg2.type = </span><span class=cF3>MDF_RIP_DISP32</span><span class=cF0> + tmpi->arg2.type.raw_type;
|
|
|
|
<a name="l591"></a> tmpi->arg2.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RIP</span><span class=cF0>;
|
|
|
|
<a name="l592"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpil2);
|
|
|
|
<a name="l593"></a> }
|
|
|
|
<a name="l594"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l595"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi2->ic_code == </span><span class=cF3>IC_MOV</span><span class=cF0> && tmpi2->res.type & </span><span class=cF3>MDF_STACK</span><span class=cF0> &&
|
|
|
|
<a name="l596"></a> tmpi2->arg1.type == </span><span class=cF3>MDF_IMM</span><span class=cF0> + </span><span class=cF3>RT_I64</span><span class=cF0> && </span><span class=cFE>0</span><span class=cF0> <= tmpi2->arg1.disp <= </span><span class=cF3>I32_MAX</span><span class=cF0> &&
|
|
|
|
<a name="l597"></a> !</span><span class=cF7>(</span><span class=cF0>tmpi2->ic_flags & </span><span class=cF3>ICF_NO_RIP</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l598"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l599"></a> tmpi->arg2.disp = tmpi2->arg1.disp;
|
|
|
|
<a name="l600"></a> tmpi->ic_flags |= tmpi2->ic_flags | </span><span class=cF3>ICF_BY_VAL</span><span class=cF0>;
|
|
|
|
<a name="l601"></a> tmpi->arg2.type = </span><span class=cF3>MDF_RIP_DISP32</span><span class=cF0> + tmpi->arg2.type.raw_type;
|
|
|
|
<a name="l602"></a> tmpi->arg2.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RIP</span><span class=cF0>;
|
|
|
|
<a name="l603"></a> </span><span class=cFD>OptFree</span><span class=cF0>(tmpi2);
|
|
|
|
<a name="l604"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l605"></a> }
|
|
|
|
<a name="l606"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l607"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l608"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_EQU_EQU</span><span class=cF0> ...</span><span class=cF3>IC_BR_LESS_EQU</span><span class=cF0>:
|
|
|
|
<a name="l609"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_EQU_EQU2</span><span class=cF0>...</span><span class=cF3>IC_BR_LESS_EQU2</span><span class=cF0>:
|
|
|
|
<a name="l610"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_CARRY</span><span class=cF0>:
|
|
|
|
<a name="l611"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_NOT_CARRY</span><span class=cF0>:
|
|
|
|
<a name="l612"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_ZERO</span><span class=cF0>:
|
|
|
|
<a name="l613"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_NOT_ZERO</span><span class=cF0>:
|
|
|
|
<a name="l614"></a> lb = tmpi->ic_data;
|
|
|
|
<a name="l615"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi->ic_flags & </span><span class=cF3>ICF_PUSH_CMP</span><span class=cF0>)
|
|
|
|
<a name="l616"></a> {
|
|
|
|
<a name="l617"></a> lb->flags |= </span><span class=cF3>CMF_POP_CMP</span><span class=cF0>;
|
|
|
|
<a name="l618"></a> lb->forward = </span><span class=cF3>NULL</span><span class=cF0>;
|
|
|
|
<a name="l619"></a> }
|
|
|
|
<a name="l620"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l621"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l622"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_LABEL</span><span class=cF0>:
|
|
|
|
<a name="l623"></a> lb = tmpi->ic_data;
|
|
|
|
<a name="l624"></a> </span><span class=cF1>if</span><span class=cF0> (lb->use_count)
|
|
|
|
<a name="l625"></a> dead_code = </span><span class=cF3>FALSE</span><span class=cF0>;
|
|
|
|
<a name="l626"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l627"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l628"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_JMP</span><span class=cF0>:
|
|
|
|
<a name="l629"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RET</span><span class=cF0>:
|
|
|
|
<a name="l630"></a> dead_code = </span><span class=cF3>TRUE</span><span class=cF0>;
|
|
|
|
<a name="l631"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l632"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l633"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_NOP2</span><span class=cF0>:
|
|
|
|
<a name="l634"></a> ps->ptr += tmpi->ic_data;
|
|
|
|
<a name="l635"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l636"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l637"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_END</span><span class=cF0>:
|
|
|
|
<a name="l638"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_END_EXP</span><span class=cF0>:
|
|
|
|
<a name="l639"></a> </span><span class=cF1>if</span><span class=cF0> (!</span><span class=cF7>(</span><span class=cF0>tmpil1->ic_flags & </span><span class=cF3>ICF_PUSH_RES</span><span class=cF7>)</span><span class=cF0>)
|
|
|
|
<a name="l640"></a> {
|
|
|
|
<a name="l641"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi->ic_flags & </span><span class=cF3>ICF_RES_NOT_USED</span><span class=cF0>)
|
|
|
|
<a name="l642"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l643"></a> tmpil1->ic_flags |= </span><span class=cF3>ICF_RES_NOT_USED</span><span class=cF0>;
|
|
|
|
<a name="l644"></a> tmpil1->res.type = </span><span class=cF3>MDF_NULL</span><span class=cF0> + tmpil1->res.type.raw_type;
|
|
|
|
<a name="l645"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l646"></a> </span><span class=cF1>else</span><span class=cF0> </span><span class=cF1>if</span><span class=cF0> (tmpi->arg1.type & </span><span class=cF3>MDF_STACK</span><span class=cF0> && tmpil1->res.type & </span><span class=cF3>MDF_STACK</span><span class=cF0>)
|
|
|
|
<a name="l647"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l648"></a> tmpi->arg1.type = </span><span class=cF3>MDF_REG</span><span class=cF0> + tmpi->arg1.type.raw_type;
|
|
|
|
<a name="l649"></a> tmpi->arg1.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l650"></a> tmpil1->res.type = </span><span class=cF3>MDF_REG</span><span class=cF0> + tmpil1->res.type.raw_type;
|
|
|
|
<a name="l651"></a> tmpil1->res.disp = </span><span class=cFE>0</span><span class=cF0>;
|
|
|
|
<a name="l652"></a> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cFD>intermediate_code_table</span><span class=cF0>[tmpi->ic_code].arg_count == </span><span class=cF3>IS_2_ARG</span><span class=cF0>)
|
|
|
|
<a name="l653"></a> {
|
|
|
|
<a name="l654"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_R8</span><span class=cF0>;
|
|
|
|
<a name="l655"></a> tmpil1->res.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_R8</span><span class=cF0>;
|
|
|
|
<a name="l656"></a> }
|
|
|
|
<a name="l657"></a> </span><span class=cF1>else</span><span class=cF0>
|
|
|
|
<a name="l658"></a> {
|
|
|
|
<a name="l659"></a> tmpi->arg1.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RAX</span><span class=cF0>;
|
|
|
|
<a name="l660"></a> tmpil1->res.</span><span class=cF1>reg</span><span class=cF0> = </span><span class=cF3>REG_RAX</span><span class=cF0>;
|
|
|
|
<a name="l661"></a> }
|
|
|
|
<a name="l662"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l663"></a> }
|
|
|
|
<a name="l664"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l665"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l666"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_STR_CONST</span><span class=cF0>:
|
|
|
|
<a name="l667"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_FS</span><span class=cF0>:
|
|
|
|
<a name="l668"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_GS</span><span class=cF0>:
|
|
|
|
<a name="l669"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MOV_FS</span><span class=cF0>:
|
|
|
|
<a name="l670"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MOV_GS</span><span class=cF0>:
|
|
|
|
<a name="l671"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RIP</span><span class=cF0>:
|
|
|
|
<a name="l672"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RBP</span><span class=cF0>:
|
|
|
|
<a name="l673"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_REG</span><span class=cF0>:
|
|
|
|
<a name="l674"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_COM</span><span class=cF0>:
|
2021-12-11 11:10:58 +00:00
|
|
|
<a name="l675"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_POSTFIX_TYPECAST</span><span class=cF0>:
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l676"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_NOT</span><span class=cF0>:
|
|
|
|
<a name="l677"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_UNARY_MINUS</span><span class=cF0>:
|
|
|
|
<a name="l678"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_PUSH_CMP</span><span class=cF0>:
|
|
|
|
<a name="l679"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADD_CONST</span><span class=cF0>:
|
|
|
|
<a name="l680"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SUB_CONST</span><span class=cF0>:
|
|
|
|
<a name="l681"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ENTER</span><span class=cF0>:
|
|
|
|
<a name="l682"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADD_RSP</span><span class=cF0>:
|
|
|
|
<a name="l683"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADD_RSP1</span><span class=cF0>:
|
|
|
|
<a name="l684"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL</span><span class=cF0>:
|
|
|
|
<a name="l685"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_INDIRECT</span><span class=cF0>:
|
|
|
|
<a name="l686"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_INDIRECT2</span><span class=cF0>:
|
|
|
|
<a name="l687"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_EXTERN</span><span class=cF0>:
|
|
|
|
<a name="l688"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_IMPORT</span><span class=cF0>:
|
|
|
|
<a name="l689"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_PUSH</span><span class=cF0>:
|
|
|
|
<a name="l690"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_POP</span><span class=cF0>:
|
|
|
|
<a name="l691"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_INVLPG</span><span class=cF0>:
|
|
|
|
<a name="l692"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CLFLUSH</span><span class=cF0>:
|
|
|
|
<a name="l693"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RFLAGS_GET</span><span class=cF0>:
|
|
|
|
<a name="l694"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CARRY</span><span class=cF0>:
|
|
|
|
<a name="l695"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RDTSC</span><span class=cF0>:
|
|
|
|
<a name="l696"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RFLAGS_SET</span><span class=cF0>:
|
|
|
|
<a name="l697"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RBP_GET</span><span class=cF0>:
|
|
|
|
<a name="l698"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RBP_SET</span><span class=cF0>:
|
|
|
|
<a name="l699"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RSP_GET</span><span class=cF0>:
|
|
|
|
<a name="l700"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RAX_GET</span><span class=cF0>:
|
|
|
|
<a name="l701"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RSP_SET</span><span class=cF0>:
|
|
|
|
<a name="l702"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_RAX_SET</span><span class=cF0>:
|
|
|
|
<a name="l703"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SHL_CONST</span><span class=cF0>:
|
|
|
|
<a name="l704"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_LEA</span><span class=cF0>:
|
|
|
|
<a name="l705"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SHR_CONST</span><span class=cF0>:
|
|
|
|
<a name="l706"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_POWER</span><span class=cF0>:
|
|
|
|
<a name="l707"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SHL</span><span class=cF0>:
|
|
|
|
<a name="l708"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SHR</span><span class=cF0>:
|
|
|
|
<a name="l709"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MUL</span><span class=cF0>:
|
|
|
|
<a name="l710"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_DIV</span><span class=cF0>:
|
|
|
|
<a name="l711"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MOD</span><span class=cF0>:
|
|
|
|
<a name="l712"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_AND</span><span class=cF0>:
|
|
|
|
<a name="l713"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_OR</span><span class=cF0>:
|
|
|
|
<a name="l714"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_XOR</span><span class=cF0>:
|
|
|
|
<a name="l715"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SUB</span><span class=cF0>:
|
|
|
|
<a name="l716"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_EQU_EQU</span><span class=cF0>...</span><span class=cF3>IC_LESS_EQU</span><span class=cF0>:
|
|
|
|
<a name="l717"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_AND_AND</span><span class=cF0>:
|
|
|
|
<a name="l718"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_OR_OR</span><span class=cF0>:
|
|
|
|
<a name="l719"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_XOR_XOR</span><span class=cF0>:
|
|
|
|
<a name="l720"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_GET_LABEL</span><span class=cF0>:
|
|
|
|
<a name="l721"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ABS_ADDR</span><span class=cF0>:
|
|
|
|
<a name="l722"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_HEAP_GLOBAL</span><span class=cF0>:
|
|
|
|
<a name="l723"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADDR_IMPORT</span><span class=cF0>:
|
|
|
|
<a name="l724"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BSF</span><span class=cF0>:
|
|
|
|
<a name="l725"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BSR</span><span class=cF0>:
|
|
|
|
<a name="l726"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_POPCNT</span><span class=cF0>:
|
|
|
|
<a name="l727"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SIGN_I64</span><span class=cF0>:
|
|
|
|
<a name="l728"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_TOUPPER</span><span class=cF0>:
|
|
|
|
<a name="l729"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_TO_I64</span><span class=cF0>:
|
|
|
|
<a name="l730"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_TO_F64</span><span class=cF0>:
|
|
|
|
<a name="l731"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_TO_BOOL</span><span class=cF0>:
|
|
|
|
<a name="l732"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SQR</span><span class=cF0>:
|
|
|
|
<a name="l733"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ABS</span><span class=cF0>:
|
|
|
|
<a name="l734"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SQRT</span><span class=cF0>:
|
|
|
|
<a name="l735"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SIN</span><span class=cF0>:
|
|
|
|
<a name="l736"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_COS</span><span class=cF0>:
|
|
|
|
<a name="l737"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_TAN</span><span class=cF0>:
|
|
|
|
<a name="l738"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ATAN</span><span class=cF0>:
|
|
|
|
<a name="l739"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ABS_I64</span><span class=cF0>:
|
|
|
|
<a name="l740"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MIN_I64</span><span class=cF0>:
|
|
|
|
<a name="l741"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MAX_I64</span><span class=cF0>:
|
|
|
|
<a name="l742"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MIN_U64</span><span class=cF0>:
|
|
|
|
<a name="l743"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MAX_U64</span><span class=cF0>:
|
|
|
|
<a name="l744"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_MOD_U64</span><span class=cF0>:
|
|
|
|
<a name="l745"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SQR_I64</span><span class=cF0>:
|
|
|
|
<a name="l746"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SQR_U64</span><span class=cF0>:
|
|
|
|
<a name="l747"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SWAP_U8</span><span class=cF0>:
|
|
|
|
<a name="l748"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SWAP_U16</span><span class=cF0>:
|
|
|
|
<a name="l749"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SWAP_U32</span><span class=cF0>:
|
|
|
|
<a name="l750"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SWAP_I64</span><span class=cF0>:
|
|
|
|
<a name="l751"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_QUEUE_INIT</span><span class=cF0>:
|
|
|
|
<a name="l752"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_QUEUE_INSERT</span><span class=cF0>:
|
|
|
|
<a name="l753"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_QUEUE_INSERT_REV</span><span class=cF0>:
|
|
|
|
<a name="l754"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_QUEUE_REMOVE</span><span class=cF0>:
|
|
|
|
<a name="l755"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_IN_U32</span><span class=cF0>:
|
|
|
|
<a name="l756"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_IN_U16</span><span class=cF0>:
|
|
|
|
<a name="l757"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_IN_U8</span><span class=cF0>:
|
|
|
|
<a name="l758"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_STRLEN</span><span class=cF0>:
|
|
|
|
<a name="l759"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_OUT_U32</span><span class=cF0>:
|
|
|
|
<a name="l760"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_OUT_U16</span><span class=cF0>:
|
|
|
|
<a name="l761"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_OUT_U8</span><span class=cF0>:
|
|
|
|
<a name="l762"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_NOBOUND_SWITCH</span><span class=cF0>:
|
|
|
|
<a name="l763"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SWITCH</span><span class=cF0>:
|
|
|
|
<a name="l764"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_END</span><span class=cF0>:
|
|
|
|
<a name="l765"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ADDR</span><span class=cF0>:
|
|
|
|
<a name="l766"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_START</span><span class=cF0>:
|
|
|
|
<a name="l767"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_LEAVE</span><span class=cF0>:
|
|
|
|
<a name="l768"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_PUSH_REGS</span><span class=cF0>:
|
|
|
|
<a name="l769"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_POP_REGS</span><span class=cF0>:
|
|
|
|
<a name="l770"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_ASM</span><span class=cF0>:
|
|
|
|
<a name="l771"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_AND_NOT_ZERO</span><span class=cF0>:
|
|
|
|
<a name="l772"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_BR_AND_ZERO</span><span class=cF0>:
|
|
|
|
<a name="l773"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_SUB_CALL</span><span class=cF0>:
|
|
|
|
<a name="l774"></a> </span><span class=cF1>case</span><span class=cF0> </span><span class=cF3>IC_CALL_END2</span><span class=cF0>:
|
|
|
|
<a name="l775"></a> </span><span class=cF1>break</span><span class=cF0>;
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l776"></a>
|
2021-07-04 23:11:34 +01:00
|
|
|
<a name="l777"></a> </span><span class=cF1>default</span><span class=cF0>:
|
|
|
|
<a name="l778"></a> </span><span class=cF6>"Pass:%d Missing IC handler\n"</span><span class=cF0>, cc->pass;
|
|
|
|
<a name="l779"></a> </span><span class=cFD>ICPut</span><span class=cF0>(cc, tmpi);
|
|
|
|
<a name="l780"></a> </span><span class=cF5>LexExcept</span><span class=cF0>(cc, </span><span class=cF6>"Compiler Optimization Error at "</span><span class=cF0>);
|
|
|
|
<a name="l781"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l782"></a> </span><span class=cF1>if</span><span class=cF0> (tmpi)
|
|
|
|
<a name="l783"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l784"></a> </span><span class=cF1>while</span><span class=cF0> (</span><span class=cFD>OptIC4</span><span class=cF7>(</span><span class=cF0>tmpi</span><span class=cF7>)</span><span class=cF0>);
|
|
|
|
<a name="l785"></a> code = tmpi->ic_code;
|
|
|
|
<a name="l786"></a> </span><span class=cF1>if</span><span class=cF0> (</span><span class=cFD>intermediate_code_table</span><span class=cF0>[code].res_count)
|
|
|
|
<a name="l787"></a> </span><span class=cFD>ParsePush</span><span class=cF0>(ps, tmpi);
|
|
|
|
<a name="l788"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l789"></a> }
|
|
|
|
<a name="l790"></a> tmpi = tmpi_next;
|
|
|
|
<a name="l791"></a> </span><span class=cF7>}</span><span class=cF0>
|
|
|
|
<a name="l792"></a> </span><span class=cF1>if</span><span class=cF0> (ps->ptr > </span><span class=cFE>2</span><span class=cF0>)
|
|
|
|
<a name="l793"></a> </span><span class=cF7>{</span><span class=cF0>
|
|
|
|
<a name="l794"></a> </span><span class=cF6>"Pass:%d Stack:%08X\n"</span><span class=cF0>, cc->pass, ps->ptr;
|
|
|
|
<a name="l795"></a> </span><span class=cF5>LexExcept</span><span class=cF0>(cc, </span><span class=cF6>"Compiler Optimization Error at "</span><span class=cF0>);
|
|
|
|
<a name="l796"></a> </span><span class=cF7>}</span><span class=cF0>
|
2021-07-03 05:07:57 +01:00
|
|
|
<a name="l797"></a>}
|
|
|
|
</span></pre></body>
|
|
|
|
</html>
|