diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-11 01:34:19 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-13 11:26:11 +0100 |
commit | 32f1c1c24386e9379a8a7b3148d876e0a7cf027e (patch) | |
tree | 1c6c33187971dd095ae8d9c69bfcf4170c83bb11 | |
parent | eb4cdd21b7d0cedbbeff7f70e24473706ccce5a6 (diff) | |
download | sparse-32f1c1c24386e9379a8a7b3148d876e0a7cf027e.tar.gz |
canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2
and same for its dual: ((x & M) != M) --> ((x & M) == 0)
Beside the canonicalization itself, these simplifications are
useful because the compare against 0 can often be further
simplified (for example when it is used by OP_CBR or OP_SELECT).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | simplify.c | 4 | ||||
-rw-r--r-- | validation/optim/cmp-and-pow2.c | 12 |
2 files changed, 16 insertions, 0 deletions
@@ -1266,10 +1266,14 @@ static int simplify_compare_constant(struct instruction *insn, long long value) case OP_SET_EQ: if ((value & bits) != value) return replace_with_value(insn, 0); + if (value == bits && is_power_of_2(bits)) + return replace_binop_value(insn, OP_SET_NE, 0); break; case OP_SET_NE: if ((value & bits) != value) return replace_with_value(insn, 1); + if (value == bits && is_power_of_2(bits)) + return replace_binop_value(insn, OP_SET_EQ, 0); break; case OP_SET_LE: value = sign_extend(value, def->size); diff --git a/validation/optim/cmp-and-pow2.c b/validation/optim/cmp-and-pow2.c new file mode 100644 index 00000000..01ba2537 --- /dev/null +++ b/validation/optim/cmp-and-pow2.c @@ -0,0 +1,12 @@ +#define M 32 + +_Bool eq(int a) { return ((a & M) != M) == ((a & M) == 0); } +_Bool ne(int a) { return ((a & M) == M) == ((a & M) != 0); } + +/* + * check-name: cmp-and-pow2 + * check-command: test-linearize -Wno-decl $file + * + * check-output-ignore + * check-output-returns: 1 + */ |