diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-09-28 01:19:04 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-20 22:35:43 +0200 |
| commit | a02413d4763bf2ddff981996f4236b2654477f6b (patch) | |
| tree | 94176826aa610dae3a2db63b64425df61d8484d0 | |
| parent | 7635d5d7501c4029f2253d390ae2d2395b0ac56e (diff) | |
| download | sparse-a02413d4763bf2ddff981996f4236b2654477f6b.tar.gz | |
sub: simplify x + (y - x) --> y
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | simplify.c | 4 | ||||
| -rw-r--r-- | validation/optim/simplify-same-addl-sub.c | 1 |
2 files changed, 4 insertions, 1 deletions
@@ -1380,6 +1380,10 @@ static int simplify_add(struct instruction *insn) case OP_NEG: // (x + -y) --> (x - y) insn->opcode = OP_SUB; return replace_pseudo(insn, &insn->src2, def->src); + case OP_SUB: + if (src1 == def->src2) // x + (y - x) --> y + return replace_with_pseudo(insn, def->src1); + break; } return 0; diff --git a/validation/optim/simplify-same-addl-sub.c b/validation/optim/simplify-same-addl-sub.c index 51d2b079..9cca1d12 100644 --- a/validation/optim/simplify-same-addl-sub.c +++ b/validation/optim/simplify-same-addl-sub.c @@ -3,7 +3,6 @@ int foo(int x, int y) { return x + (y - x); } /* * check-name: simplify-same-addl-sub * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-contains: ret\\..*%arg2 |