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

[Jacob Lifshay via Phabricator via llvm-commits]

programmerjake added a comment.

In D143074#4114288 <https://reviews.llvm.org/D143074#4114288>, @Muon wrote:

> Hold on, that still says that operations //assume// that all NaNs are quiet. Doesn't that mean that passing a signaling NaN to an operation is potentially undefined behavior? Can we instead say that math operations treat all NaNs as if they were quiet NaNs? Does that run into issues with pow() and friends?

What about saying that for every non-bit-copy fp operation LLVM may arbitrarily treat any input NaNs as if they are quiet NaNs and any output NaNs have arbitrary quietness.


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

https://reviews.llvm.org/D143074