https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117760
--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jeff Law <[email protected]>: https://gcc.gnu.org/g:5193b9d250a8ecec669a87708a1a98abae94130f commit r16-4219-g5193b9d250a8ecec669a87708a1a98abae94130f Author: Matteo Nicoli <[email protected]> Date: Sat Oct 4 09:22:54 2025 -0600 [PATCH][PR tree-optimization/117760] `a != b` implies that a or b is also non-zero Implements a match.pd pattern to optimize the cases found in PR 117760. PR tree-optimization/117760 gcc/ * match.pd: Add simplifications that exploit implied values after logical tests. gcc/testsuite * gcc.dg/int-bwise-opt-1.c: New test. * gcc.dg/int-bwise-opt-2.c: New test.
