danog/ir
1
0
Fork 0
mirror of https://github.com/danog/ir.git synced 2024-11-26 12:24:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added type compatibility assertion and fixed mistakes in tests

Browse Source
This commit is contained in:
Dmitry Stogov 2023-05-22 20:48:07 +03:00
parent d1fcaa3e63
commit 75edc8fec5
13 changed files with 19 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ir_fold.h
View File

@ -1152,6 +1152,7 @@ IR_FOLD(FP2FP(C_DOUBLE))
/* Copy Propagation */
IR_FOLD(COPY(_))
{
IR_ASSERT(IR_OPT_TYPE(opt) == op1_insn->type);
if (!op2) {
IR_FOLD_COPY(op1);
}

2
tests/010.irt
View File

@ -11,7 +11,7 @@
int32_t c_5 = 2;
l_1 = START(l_20);
bool d_2 = PARAM(l_1, "cond", 0);
bool d_3 = COPY(c_4);
int32_t d_3 = COPY(c_4);
l_4 = END(l_1);
l_5 = LOOP_BEGIN(l_4, l_18);
int32_t d_6 = PHI(l_5, d_3, d_15);

4
tests/013.irt
View File

@ -12,8 +12,8 @@
l_1 = START(l_33);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
bool d_5 = COPY(d_3);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);
int32_t d_8 = PHI(l_7, d_4, d_19);

2
tests/016.irt
View File

@ -11,7 +11,7 @@
int32_t c_5 = 2;
l_1 = START(l_20);
bool d_2 = PARAM(l_1, "cond", 0);
bool d_3 = COPY(c_4);
int32_t d_3 = COPY(c_4);
l_4 = END(l_1);
l_5 = LOOP_BEGIN(l_4, l_18);
int32_t d_6 = PHI(l_5, d_3, d_15);

4
tests/019.irt
View File

@ -10,8 +10,8 @@
l_1 = START(l_33);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
bool d_5 = COPY(d_3);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);
int32_t d_8 = PHI(l_7, d_4, d_19);

4
tests/debug.Windows-x86_64/combo_002.irt
View File

@ -15,8 +15,8 @@ Windows-x86_64
l_1 = START(l_33);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
bool d_5 = COPY(d_3);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);
int32_t d_8 = PHI(l_7, d_4, d_19);

2
tests/debug.Windows-x86_64/combo_003.irt
View File

@ -14,7 +14,7 @@ Windows-x86_64
l_1 = START(l_34);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);

4
tests/debug.aarch64/combo_002.irt
View File

@ -15,8 +15,8 @@ aarch64
l_1 = START(l_34);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
bool d_5 = COPY(d_3);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);
int32_t d_8 = PHI(l_7, d_4, d_19);

2
tests/debug.aarch64/combo_003.irt
View File

@ -14,7 +14,7 @@ aarch64
l_1 = START(l_34);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);

4
tests/debug.x86/combo_002.irt
View File

@ -15,8 +15,8 @@ x86
l_1 = START(l_34);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
bool d_5 = COPY(d_3);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);
int32_t d_8 = PHI(l_7, d_4, d_19);

2
tests/debug.x86/combo_003.irt
View File

@ -14,7 +14,7 @@ x86
l_1 = START(l_34);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);

4
tests/debug/combo_002.irt
View File

@ -15,8 +15,8 @@ x86_64
l_1 = START(l_33);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
bool d_5 = COPY(d_3);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);
int32_t d_8 = PHI(l_7, d_4, d_19);

2
tests/debug/combo_003.irt
View File

@ -14,7 +14,7 @@ x86_64
l_1 = START(l_34);
bool d_2 = PARAM(l_1, "cond", 0);
int32_t d_3 = PARAM(l_1, "z", 1);
bool d_4 = COPY(c_4);
int32_t d_4 = COPY(c_4);
int32_t d_5 = COPY(d_3);
l_6 = END(l_1);
l_7 = LOOP_BEGIN(l_6, l_31);