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

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Jul 17 13:36:58 PDT 2018


This revision was automatically updated to reflect the committed changes.
Closed by commit rL337323: [LangRef] nnan and ninf produce poison. (authored by efriedma, committed by ).

Changed prior to commit:
  https://reviews.llvm.org/D47963?vs=154461&id=155960#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D47963

Files:
  llvm/trunk/docs/LangRef.rst


Index: llvm/trunk/docs/LangRef.rst
===================================================================
--- llvm/trunk/docs/LangRef.rst
+++ llvm/trunk/docs/LangRef.rst
@@ -2350,13 +2350,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.155960.patch
Type: text/x-patch
Size: 962 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180717/f2aada27/attachment.bin>


More information about the llvm-commits mailing list