diff options
| author | Andrew Pinski <pinskia@gmail.com> | 2023-10-09 11:07:08 -0700 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gmail.com> | 2023-10-10 10:26:34 -0700 |
| commit | 975da6fa9170c9cf1ec4a9a9d8177f8561d464d1 (patch) | |
| tree | cb638a627d5e0a38f0f3bd416335096b82928d9d /gcc/cp/mangle.cc | |
| parent | 5bb6a8766ec83e20550e1b59f2accb1ef25e3369 (diff) | |
| download | gcc-975da6fa9170c9cf1ec4a9a9d8177f8561d464d1.zip gcc-975da6fa9170c9cf1ec4a9a9d8177f8561d464d1.tar.gz gcc-975da6fa9170c9cf1ec4a9a9d8177f8561d464d1.tar.bz2 | |
MATCH: [PR111679] Add alternative simplification of `a | ((~a) ^ b)`
So currently we have a simplification for `a | ~(a ^ b)` but
that does not match the case where we had originally `(~a) | (a ^ b)`
so we need to add a new pattern that matches that and uses bitwise_inverted_equal_p
that also catches comparisons too.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
PR tree-optimization/111679
gcc/ChangeLog:
* match.pd (`a | ((~a) ^ b)`): New pattern.
gcc/testsuite/ChangeLog:
* gcc.dg/tree-ssa/bitops-5.c: New test.
Diffstat (limited to 'gcc/cp/mangle.cc')
0 files changed, 0 insertions, 0 deletions