https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127785
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Igor Shevlyakov <[email protected]>: https://gcc.gnu.org/g:858c0a7b77424f795684773f80c04a6a5199efbd commit r17-5544-g858c0a7b77424f795684773f80c04a6a5199efbd Author: Igor Shevlyakov <[email protected]> Date: Thu Oct 22 20:16:44 2026 -0700 match.pd: Remove the ORDERED & NE to LTGT fold [PR127785] The rule is not needed: the generic (a CMP b) & (a CMP b) pattern already combines these comparisons through combine_comparisons, which gives LTGT with -fno-trapping-math, NE when NaNs are not honored, and keeps the two comparisons apart under the default flags because LTGT would trap where neither ORDERED nor NE does. So remove it. Assisted-by: Claude Opus 5.5 PR middle-end/127785 gcc/ChangeLog: * match.pd ((ordered @0 @1) & (ne @0 @1)): Remove. Suggested-by: Andrea Pinski <[email protected]> Signed-off-by: Igor Shevlyakov <[email protected]>
