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

[Mak Nazečić-Andrlon via Phabricator via llvm-commits]

Muon added a comment.

If we're only talking about IR semantics, there's no need to mention traps. Also, LLVM's pow intrinsic is specified to work like C's, which works like what you've mentioned. IEEE 754 only mandates the behavior of basic functions (+, -, *, /, √, FMA, rem, copy, abs, neg, copysign).

Perhaps it would be simpler to say "Operations are assumed to behave according to IEEE 754, with the following differences:"?


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

https://reviews.llvm.org/D143074