On Mon, 2020-08-24 at 23:39 +0200, Jakub Jelinek via Gcc-patches wrote:
> Hi!
>
> 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).
>
> Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
>
> 2020-08-24 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.
OK
jeff
>
