http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51938
Marc Glisse <glisse at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |glisse at gcc dot gnu.org --- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> 2012-06-06 21:22:59 UTC --- Note that if I replace: if(x<0) return NEG; with: if(!(x>=0)) return NEG; then ifcombine recognizes the pattern and optimizes it (the generated code is slightly different since that changes the behavior for NaN). No time to investigate right now, but I wanted to add this note to the PR.