[PATCH] D47963: [LangRef] Clarify that nnan and ninf don't produce undef or poison.

[Eli Friedman via Phabricator via llvm-commits]

efriedma updated this revision to Diff 150850.
efriedma added a comment.

Clarify that the value produced isn't undef.  (It's more like `freeze(undef)`.)


Repository:
  rL LLVM

https://reviews.llvm.org/D47963

Files:
  docs/LangRef.rst


Index: docs/LangRef.rst
===================================================================
--- docs/LangRef.rst
+++ docs/LangRef.rst
@@ -2343,12 +2343,14 @@
 ``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.
+   NaNs, but the value of the result is unspecified. The unspecified result
+   may not be the same each time the instruction is executed.
 
 ``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, but the value of the result is unspecified. The unspecified result
+   may not be the same each time the instruction is executed.
 
 ``nsz``
    No Signed Zeros - Allow optimizations to treat the sign of a zero


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D47963.150850.patch
Type: text/x-patch
Size: 952 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180611/f1e158bc/attachment.bin>