[Bug target/103605] [PowerPC] fmin/fmax should be inlined always with xsmindp/xsmaxdp

segher at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue May 10 12:21:33 GMT 2022


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103605

--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> ---
(In reply to joseph@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.


More information about the Gcc-bugs mailing list