https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119287
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:ab0133cdba5dbcc29655593377e80586f7080472 commit r15-8060-gab0133cdba5dbcc29655593377e80586f7080472 Author: Jakub Jelinek <ja...@redhat.com> Date: Fri Mar 14 15:34:32 2025 +0100 match.pd: Fix up r15-8025 simplification [PR119287] The following testcase ICEs since r15-8025. tree_nop_conversion_p doesn't imply TREE_TYPE (@0) is uselessly convertible to type, e.g. they could be INTEGER_TYPEs with the same precision but different TYPE_SIGN. The following patch just adds a convert so that it creates a valid IL even in those cases. 2025-03-14 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/119287 * match.pd (((X >> C1) & C2) * (1 << C1) to X & (C2 << C1)): Use (convert @0) instead of @0 in the substitution. * gcc.dg/pr119287.c: New test.
