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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

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

> "Therefore, there is no attempt to ensure that status flags are raised as a result of exceptions. There is also no guarantee that signaling NaNs are handled as specified by IEEE 754. In particular, there is no guarantee that operating on a signaling NaN causes an exception to be signaled, and thus no guarantee that arithmetic operations quiet a signaling NaN."

Can we reduce to this without losing meaning/coverage?

"The default LLVM floating-point environment assumes that floating-point
instructions do not have side effects. Results assume the round-to-nearest
rounding mode. There is no attempt to set status flags as a result of 
exceptions. Signaling NaNs are not handled as specified by IEEE-754. In 
particular, math operations are not guaranteed to quiet a signaling NaN."


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

https://reviews.llvm.org/D143074