https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71034
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |13.0
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71034
Andrew Pinski changed:
What|Removed |Added
Severity|normal |enhancement
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71034
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71034
--- Comment #2 from Marc Glisse ---
(In reply to Andrew Pinski from comment #1)
> I think this is the optimizations that should be done:
> abs(x) < 0 -> x != x
for x=NaN, abs(x) is NaN, and NaN<0 is false. So the current simplification to
false
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71034
--- Comment #1 from Andrew Pinski ---
I think this is the optimizations that should be done:
abs(x) < 0 -> x != x
abs(x) >= 0 -> x u== x
abs(x) == 0 -> x == 0
abs(x) <= 0 -> x == 0 (since this is an ordered comparison)
abs(x) u< 0 -> false
abs(x)
