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

Fix IR reconstruction during SCCP

Browse Source
This commit is contained in:
Dmitry Stogov 2022-12-23 14:34:51 +03:00
parent 862e25d96c
commit 844653cfd1
1 changed files with 15 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
ir_sccp.c
View File

@ -459,6 +459,11 @@ static void ir_sccp_remove_unfeasible_merge_inputs(ir_ctx *ctx, ir_insn *_values
i++;
}
}
j = i;
while (j < n) {
ir_insn_set_op(insn, j, IR_UNUSED);
j++;
}
i--;
if (i == 2) {
i = 0;
@ -473,16 +478,22 @@ static void ir_sccp_remove_unfeasible_merge_inputs(ir_ctx *ctx, ir_insn *_values
if (use_insn->op == IR_PHI) {
i = 2;
for (j = 2; j <= n; j++) {
ir_ref input = ir_insn_op(use_insn, j);
if (ir_bitset_in(life_inputs, j - 1)) {
IR_ASSERT(ir_insn_op(use_insn, j));
IR_ASSERT(input);
if (i != j) {
ir_insn_set_op(use_insn, i, ir_insn_op(use_insn, j));
ir_insn_set_op(use_insn, i, input);
}
i++;
} else {
IR_ASSERT(ir_insn_op(use_insn, j) <= 0);
} else if (!IR_IS_CONST_REF(input)) {
ir_sccp_remove_from_use_list(ctx, input, use);
}
}
while (i <= n) {
ir_insn_set_op(use_insn, i, IR_UNUSED);
i++;
}
}
}
ir_mem_free(life_inputs);