https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121595
--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:aa4aafbad5235fd302c39e1d8b7cb9cdea11c67c commit r16-3802-gaa4aafbad5235fd302c39e1d8b7cb9cdea11c67c Author: Matteo Nicoli <matteo.nicoli...@gmail.com> Date: Fri Aug 22 20:42:12 2025 +0200 tree-optimization/121595 - new fabs(a+0.0) -> fabs(a) pattern With -fno-trapping-math it is safe to optimize fabs(a + 0.0) as fabs (a). PR tree-optimization/121595 * match.pd (fabs(a + 0.0) -> fabs (a)): Optimization pattern limited to the -fno-trapping-math case. * gcc.dg/fabs-plus-zero-1.c: New testcase. * gcc.dg/fabs-plus-zero-2.c: Likewise. Signed-off-by: Matteo Nicoli <matteo.nicoli...@gmail.com> Reviewed-by: Andrew Pinski <andrew.pin...@oss.qualcomm.com>
