Re: [PATCH] match.pd: Replace incorrect simplifications into copysign [PR90248]

2021-01-22 Thread Richard Biener
On Fri, 22 Jan 2021, Jakub Jelinek wrote: > Hi! > > In the PR Andrew said he has implemented a simplification that has been > added to LLVM, but that actually is not true, what is in there are > X * (X cmp 0.0 ? +-1.0 : -+1.0) simplifications into +-abs(X) > but what has been added into GCC are (

[PATCH] match.pd: Replace incorrect simplifications into copysign [PR90248]

2021-01-22 Thread Jakub Jelinek via Gcc-patches
Hi! In the PR Andrew said he has implemented a simplification that has been added to LLVM, but that actually is not true, what is in there are X * (X cmp 0.0 ? +-1.0 : -+1.0) simplifications into +-abs(X) but what has been added into GCC are (X cmp 0.0 ? +-1.0 : -+1.0) simplifications into copysig