https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88540
--- Comment #7 from Hongtao.liu <crazylht at gmail dot com> --- (In reply to Hongtao.liu from comment #6) > Note, x86 MINSS/MAXSS is not IEEE-conformant minimum and maximum operations, > it always return the second operand when there's NAN, but for > fmin/fmax_optab it should return the other operand. But for this case, it shoud match MINSD d1[n], d2[n]. if d1[n] or d2[n] is NAN, it will always return d2[n](the second operand). the conclusion also holds for sign-zeros, ieee take -0.0 equal as 0.0, which means -0.0 < 0.0 should be false, then the second operand d2[n] should be returned.