https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92335
--- Comment #3 from vincenzo Innocente ---
Understood for float
it seems to me that the transformation does not occur for integer neither
(signed or unsigned)
as in
using T= unsigned int;
T bar(T const * __restrict__ x,
T const * __restrict__
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92335
--- Comment #2 from joseph at codesourcery dot com ---
On Mon, 4 Nov 2019, rguenth at gcc dot gnu.org wrote:
> The issue is probably some FP constraints that say we cannot elide ret += 0.0,
Yes, with signed 0 you can't elide + 0.0 as -0.0 + 0.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92335
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|