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 /validation/preprocessor | |
| parent | eb4cdd21b7d0cedbbeff7f70e24473706ccce5a6 (diff) | |
| download | sparse-dev-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>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions