[Bug tree-optimization/94882] Failure to optimize and+or+sub into xor+not

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94882

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jeff Law <law@gcc.gnu.org>:

https://gcc.gnu.org/g:553c6572061f6f9ef92514e8f13de95d509ad614

commit r11-1771-g553c6572061f6f9ef92514e8f13de95d509ad614
Author: Jeff Law <law@redhat.com>
Date:   Wed Jul 1 14:44:07 2020 -0600

    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.