https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122733
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <[email protected]>: https://gcc.gnu.org/g:862d4309dcb342adde13bfe3daca54255906fc70 commit r16-5648-g862d4309dcb342adde13bfe3daca54255906fc70 Author: Dhruv Chawla <[email protected]> Date: Thu Nov 27 12:12:33 2025 +0100 remove patterns for (y << x) {<,<=,>,>=} x [PR122733] These patterns should not be in match.pd as they require range information checks that ideally belong in VRP. They were also causing breakages as the checks weren't tight enough. PR tree-optimization/122733 * match.pd ((y << x) {<,<=,>,>=} x): Remove. ((y << x) {==,!=} x): Call constant_boolean_node instead of build_one_cst/build_zero_cst and combine into one pattern. * gcc.dg/match-shift-cmp-1.c: Update test to only check equality. * gcc.dg/match-shift-cmp-2.c: Likewise. * gcc.dg/match-shift-cmp-3.c: Likewise. * gcc.dg/match-shift-cmp-4.c: Removed. Signed-off-by: Dhruv Chawla <[email protected]>
