[Bug manual/21400] Section "Infinity and NaN" of the libc manual

[joseph at codesourcery dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=21400

--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
On Wed, 19 Apr 2017, vincent-srcware at vinc17 dot net wrote:

> Note: There is currently an issue discussed in the stds-754 list about the
> non-associativity of the minimum and maximum operations (fmin/fmax/... in C)
> with signaling NaN's: fmin(1,fmin(1,sNaN)) → 1 but fmin(fmin(1,1),sNaN) → qNaN,
> which is regarded as a mistake in the specification. So, things might change
> about TS 18661-1:2014.

Note that the full IEEE 754 semantics of fmin/fmax, including that sNaN 
maps to qNaN but qNaN arguments are ignored, are implemented in hardware 
on AArch64 at least (that is, the present functions can be implemented by 
a single instruction on AArch64).

-- 
You are receiving this mail because:
You are on the CC list for the bug.