[PATCH] D47963: [LangRef] nnan and ninf produce poison.

[Eli Friedman via Phabricator via llvm-commits]

efriedma updated this revision to Diff 154461.
efriedma retitled this revision from "[LangRef] Clarify that nnan and ninf don't produce undef or poison." to "[LangRef] nnan and ninf produce poison.".
efriedma edited the summary of this revision.
efriedma added a comment.

Okay, switched to poison.


Repository:
  rL LLVM

https://reviews.llvm.org/D47963

Files:
  docs/LangRef.rst


Index: docs/LangRef.rst
===================================================================
--- docs/LangRef.rst
+++ docs/LangRef.rst
@@ -2342,13 +2342,13 @@
 
 ``nnan``
    No NaNs - Allow optimizations to assume the arguments and result are not
-   NaN. Such optimizations are required to retain defined behavior over
-   NaNs, but the value of the result is undefined.
+   NaN. If an argument is a nan, or the result would be a nan, it produces
+   a :ref:`poison value <poisonvalues>` instead.
 
 ``ninf``
    No Infs - Allow optimizations to assume the arguments and result are not
-   +/-Inf. Such optimizations are required to retain defined behavior over
-   +/-Inf, but the value of the result is undefined.
+   +/-Inf. If an argument is +/-Inf, or the result would be +/-Inf, it
+   produces a :ref:`poison value <poisonvalues>` instead.
 
 ``nsz``
    No Signed Zeros - Allow optimizations to treat the sign of a zero


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D47963.154461.patch
Type: text/x-patch
Size: 929 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180706/81985b66/attachment.bin>