https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103605
--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> --- (In reply to jos...@codesourcery.com from comment #4) > > xsmindp > > The minimum of a QNaN and any value is that value. The minimum of any value > > and > > an SNaN is that SNaN converted to a QNaN. > > xsmindp(NaN, 3.0) = 3.0 xsmindp(3.0, NaN) = NaN > > That seems right for fmin, provided that (QNaN, SNaN) arguments in either > order produce a QNaN result (with "invalid" raised). They do, and they return a QNaN with the payload of the first operand, in both cases.