[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #11 from Jakub Jelinek --- Author: jakub Date: Mon Oct 21 11:48:00 2019 New Revision: 277257 URL: https://gcc.gnu.org/viewcvs?rev=277257=gcc=rev Log: Backported from mainline 2019-10-05 Jakub Jelinek PR

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 Chinoune changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #9 from Jakub Jelinek --- Author: jakub Date: Sat Oct 5 07:36:09 2019 New Revision: 276621 URL: https://gcc.gnu.org/viewcvs?rev=276621=gcc=rev Log: PR tree-optimization/91734 * generic-match-head.c: Include

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 Jakub Jelinek changed: What|Removed |Added Attachment #46871|0 |1 is obsolete|

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #7 from Richard Biener --- flag_unsafe_math_optimizations "trumps" everything to some extent, so yes, I'd say -funsafe-math-optimizations -frounding-math doesn't make much sense.

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #6 from Jakub Jelinek --- Created attachment 46871 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46871=edit gcc10-pr91734.patch Untested patch that does the 2), though for LE_EXPR only.

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #5 from Jakub Jelinek --- Even in the default rounding mode, cases where c2 is equal to zero are clearly problematic as this testcase shows, but also cases where c is subnormal. E.g. sqrtf (x) < 0x1.2dd3d0p-65f is true for x

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #3

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #2 from Chinoune --- Replacing `if( az

[Bug tree-optimization/91734] gcc skip an if statement with "-O1 -ffast-math"

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91734 --- Comment #1 from Andrew Pinski --- So two things: -funsafe-math-optimizations assumes there are no denormals (subnormals) or they are flushed to zero. -ffinite-math-only assumes that infinite and nans don't exists (IIRC).