match.pd: (x & y) - (x | y) - 1 -> ~(x ^ y) simplification [PR94882]
authorJeff Law <law@redhat.com>
Wed, 1 Jul 2020 20:44:07 +0000 (14:44 -0600)
committerJeff Law <law@redhat.com>
Wed, 1 Jul 2020 20:49:30 +0000 (14:49 -0600)
commit553c6572061f6f9ef92514e8f13de95d509ad614
tree08ad79c49a6c99ca517942d2e5f6c45bf4fc6370
parenta1a0dc4548979f8a340a7ea71624a52a20e1e0b3
match.pd: (x & y) - (x | y) - 1 -> ~(x ^ y) simplification [PR94882]

gcc/
PR tree-optimization/94882
* match.pd (x & y) - (x | y) - 1 -> ~(x ^ y): New simplification.

gcc/testsuite/
PR tree-optimization/94882
* gcc.dg/tree-ssa/pr94882.c: New test.
* gcc.dg/tree-ssa/pr94882-1.c: New test.
* gcc.dg/tree-ssa/pr94882-2.c: New test.
* gcc.dg/tree-ssa/pr94882-3.c: New test.
gcc/match.pd
gcc/testsuite/gcc.dg/tree-ssa/pr94882-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr94882-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr94882-3.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr94882.c [new file with mode: 0644]