diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-25 20:45:15 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-27 17:27:07 +0100 |
| commit | 90c1d15708d44c59046568592abcad8bdd1de126 (patch) | |
| tree | 1545717b6d5028de37fab33101063380b92dfde0 | |
| parent | 7d385de8172a961c7a48ca974442b5227ac62f8e (diff) | |
| download | sparse-90c1d15708d44c59046568592abcad8bdd1de126.tar.gz | |
factorize SHIFT(x, s) OP SHIFT(y, s) into SHIFT((x OP y), s)
Factorize bitwise OPs of shifts with identical counts.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | simplify.c | 27 | ||||
| -rw-r--r-- | validation/optim/fact-and-shift.c | 1 | ||||
| -rw-r--r-- | validation/optim/fact-ior-shift.c | 1 | ||||
| -rw-r--r-- | validation/optim/fact-xor-shift.c | 1 |
4 files changed, 27 insertions, 3 deletions
@@ -1754,6 +1754,15 @@ static int simplify_and_one_side(struct instruction *insn, pseudo_t *p1, pseudo_ } } break; + case OP_SHL: case OP_LSR: case OP_ASR: + if (DEF_OPCODE(defr, *p2) == def->opcode && defr->src2 == def->src2) { + if (can_move_to(def->src1, defr)) { + // SHIFT(x, s) & SHIFT(y, s) --> SHIFT((x & y), s) + swap_insn(insn, defr, def->src1, defr->src1, def->src2); + return REPEAT_CSE; + } + } + break; } return 0; } @@ -1799,6 +1808,15 @@ static int simplify_ior_one_side(struct instruction *insn, pseudo_t *p1, pseudo_ return replace_with_value(insn, 1); } break; + case OP_SHL: case OP_LSR: case OP_ASR: + if (DEF_OPCODE(defr, *p2) == def->opcode && defr->src2 == def->src2) { + if (can_move_to(def->src1, defr)) { + // SHIFT(x, s) | SHIFT(y, s) --> SHIFT((x | y), s) + swap_insn(insn, defr, def->src1, defr->src1, def->src2); + return REPEAT_CSE; + } + } + break; } return 0; } @@ -1844,6 +1862,15 @@ static int simplify_xor_one_side(struct instruction *insn, pseudo_t *p1, pseudo_ return replace_with_value(insn, 1); } break; + case OP_SHL: case OP_LSR: case OP_ASR: + if (DEF_OPCODE(defr, *p2) == def->opcode && defr->src2 == def->src2) { + if (can_move_to(def->src1, defr)) { + // SHIFT(x, s) ^ SHIFT(y, s) --> SHIFT((x ^ y), s) + swap_insn(insn, defr, def->src1, defr->src1, def->src2); + return REPEAT_CSE; + } + } + break; } return 0; } diff --git a/validation/optim/fact-and-shift.c b/validation/optim/fact-and-shift.c index 40175021..e9eb9cce 100644 --- a/validation/optim/fact-and-shift.c +++ b/validation/optim/fact-and-shift.c @@ -20,7 +20,6 @@ sint fact_and_asr(sint a, sint b, sint s) /* * check-name: fact-and-shift * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-returns: 1 diff --git a/validation/optim/fact-ior-shift.c b/validation/optim/fact-ior-shift.c index 07fdf806..5fa91eb5 100644 --- a/validation/optim/fact-ior-shift.c +++ b/validation/optim/fact-ior-shift.c @@ -20,7 +20,6 @@ sint fact_ior_asr(sint a, sint b, sint s) /* * check-name: fact-ior-shift * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-returns: 1 diff --git a/validation/optim/fact-xor-shift.c b/validation/optim/fact-xor-shift.c index 81fcda85..5fb228bd 100644 --- a/validation/optim/fact-xor-shift.c +++ b/validation/optim/fact-xor-shift.c @@ -20,7 +20,6 @@ sint fact_xor_asr(sint a, sint b, sint s) /* * check-name: fact-xor-shift * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-returns: 1 |