| Message ID | 20170129104808.2500-6-luc.vanoostenryck@gmail.com (mailing list archive) |
|---|---|
| State | Mainlined, archived |
| Headers | show |
diff --git a/simplify.c b/simplify.c index fc6bae791..1e4aa63b4 100644 --- a/simplify.c +++ b/simplify.c @@ -216,6 +216,7 @@ void kill_instruction(struct instruction *insn) repeat_phase |= REPEAT_CSE | REPEAT_SYMBOL_CLEANUP; return; + case OP_SEL: case OP_RANGE: insn->bb = NULL; repeat_phase |= REPEAT_CSE; diff --git a/validation/kill-select.c b/validation/kill-select.c new file mode 100644 index 000000000..445472be8 --- /dev/null +++ b/validation/kill-select.c @@ -0,0 +1,16 @@ +void foo(int x); +void foo(int x) +{ + unsigned int ui; + + ui = x + 1; + ui = ui ? 0 : 1; +} + +/* + * check-name: kill-select + * check-command: test-linearize $file + * + * check-output-ignore + * check-output-excludes: add\\. + */
Currently kill_instruction() doesn't do anything with the operands of select instructions (OP_SELECT). But when these instructions are removed we must also remove the operands 'usage'. Without this the instructions which provides the select's operands are not optimized away as expected. This patch fixes this by doing for OP_SELECTs the basic kill_instruction() for ternary instruction, like OP_RANGE. As an example, when looking at the output of test-linearize, the following code: void foo(int x) { unsigned int ui; ui = x + 1; ui = ui ? 0 : 1; } gives this output: foo: add.32 %r2 <- %arg1, $1 ret Since the result of the ?: is never used, the whole code should be optimized away. The 'select' instruction itself is indeed discarded but the 'add' is not. With the patch, the output is much closer to what's expected: foo: ret Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- simplify.c | 1 + validation/kill-select.c | 16 ++++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 validation/kill-select.c