https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112472
--- Comment #2 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:e2c4fc6b1cff0d32dd7e6e4049d87c5193fea6dc commit r17-2276-ge2c4fc6b1cff0d32dd7e6e4049d87c5193fea6dc Author: Eikansh Gupta <[email protected]> Date: Thu Jul 9 07:24:31 2026 -0600 [PATCH v3 1/2] MATCH: Simplify `(trunc)copysign ((extend)x, CST)` to `copysign (x, -1.0/1.0)` [PR112472] Add a pattern for `(trunc)copysign ((extend)x, CST)`. Only the sign of CST matters, not its value, so it can be simplified to `copysign (x, -1.0/1.0)` depending on the sign of CST. PR tree-optimization/112472 gcc/ChangeLog: * match.pd ((trunc)copysign ((extend)x, CST) --> copysign (x, -1.0/1.0)): New pattern. gcc/testsuite/ChangeLog: * gcc.dg/tree-ssa/pr112472.c: New test.
