[PATCH] D143074: [LangRef] improve documentation of SNaN in the default FP environment

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

Okay, so the rules would be something like: when a floating point operation outputs a NaN, that is

- either any of its input NaNs (even if that is signaling, which violates IEEE-754)
- or an arbitrary quiet NaN

However given how LLVM pretty much ignores the qNaN vs sNaN distinction and already violates IEEE-754, I am not sure what the point is of making the spec more complicated just to forbid LLVM from producing sNaNs when no input was an sNaN.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D143074/new/

https://reviews.llvm.org/D143074