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 <l...@gcc.gnu.org>: https://gcc.gnu.org/g:553c6572061f6f9ef92514e8f13de95d509ad614 commit r11-1771-g553c6572061f6f9ef92514e8f13de95d509ad614 Author: Jeff Law <l...@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.
