https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103514
--- Comment #3 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:cb3ac1985a5332fa811a62844adb33ca140bd4ba commit r12-6928-gcb3ac1985a5332fa811a62844adb33ca140bd4ba Author: Navid Rahimi <navidrah...@microsoft.com> Date: Fri Jan 28 17:11:30 2022 -0500 tree-optimization/103514 Missing XOR-EQ-AND Optimization This patch will add the missed pattern described in bug 103514 [1] to the match.pd. [1] includes proof of correctness for the patch too. 1) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103514 gcc/ PR tree-optimization/103514 * match.pd (a & b) ^ (a == b) -> !(a | b): New optimization. (a & b) == (a ^ b) -> !(a | b): New optimization. gcc/testsuite * gcc.dg/tree-ssa/pr103514.c: Testcase for this optimization.
