http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56863
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> --- Currently, -ffast-math generates cmplepd, -fno-trapping-math generates cmpnltpd. That's better, but we should have cmpnltpd even with -ftrapping-math. Besides, if we manage to have an unlt with -ftrapping-math, we will still generate wrong code (but then the x86 back-end already generates the same code for a<b and isless(a,b), so it is more "unsupported" than wrong).