754 committee looking for uses of signaling NaNs

"Jason Riedy" <ejr@cs.berkeley.edu>
19 Sep 2002 01:16:50 -0400

          From comp.compilers

Related articles
754 committee looking for uses of signaling NaNs ejr@cs.berkeley.edu (Jason Riedy) (2002-09-19)
| List of all articles for this month |

From: "Jason Riedy" <ejr@cs.berkeley.edu>
Newsgroups: comp.arch.arithmetic,sci.math.num-analysis,comp.compilers
Followup-To: poster
Date: 19 Sep 2002 01:16:50 -0400
Organization: EECS Dept., Univ. Cal. at Berkeley
Summary: The 754 committee may standardize signaling NaNs' behavior or make them optional. What would be the impact on existing codes?
Keywords: arithmetic, standards, question
Posted-Date: 19 Sep 2002 01:16:49 EDT

As background, IEEE754-1985 and IEEE854-1987 are being revised.
The working group's page is at

The 754 committee is contemplating making signaling NaNs optional. In
real life, that means no one would implement them. Thus, we're
searching for actual uses of signaling NaNs to see what damage would

The real choice ahead is whether the committee should
        a) make signaling NaNs optional, or
        b) completely standardize signaling NaN behavior.

So, does anyone know of codes that actually use signaling NaNs?

We know of using it for finding uninitialized floating-point data, but
general-purpose NaNs handle that task well, too. One of signaling NaN's
original purposes was to support "alternative arithmetics." No one
seems to interested, probably because signaling NaNs currently are too
platform-specific and too slow.

There are some known issues with fully standardizing signaling NaNs,
like different hardware uses of the significand, different behavior on
copying, compiler optimization gotchas, and system trapping support.
Making signaling NaNs useful may cause more pain than making them

We don't know, so we'd appreciate some feedback. Feel free to pass
this request on to other interested parties. I've set follow-ups to
myseld, and I'll summarize the responses in a week or so. The
responses will also be archived somewhere off the 754 committee page.
If you feel the need to post a response, please trim the Newsgroups
line. Thanks!


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.