https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96715
--- Comment #2 from CVS 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:bb5e895245ebef488b63efc239f64488aef65cf1 commit r11-2832-gbb5e895245ebef488b63efc239f64488aef65cf1 Author: Jakub Jelinek <ja...@redhat.com> Date: Tue Aug 25 07:21:26 2020 +0200 match.pd: Simplify copysign (x, -x) to -x [PR96715] The following patch implements an optimization suggested in the PR, copysign(x,-x) can be optimized into -x (even without -ffast-math, should work fine even for signed zeros and infinities or nans). 2020-08-25 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/96715 * match.pd (copysign(x,-x) -> -x): New simplification. * gcc.dg/tree-ssa/copy-sign-3.c: New test.