[llvm] [LangRef] Clarify the behavior of select with FP poison-generating flags (PR #137131)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 24 01:21:28 PDT 2025


================
@@ -12880,7 +12880,10 @@ class <t_firstclass>` type.
    :ref:`fast-math flags <fastmath>`. These are optimization hints to enable
    otherwise unsafe floating-point optimizations. Fast-math flags are only valid
    for selects that return :ref:`supported floating-point types
-   <fastmath_return_types>`.
+   <fastmath_return_types>`. Note that the violation of poison-generating flags on
+   non-selected arm may not result in :ref:`poison <poisonvalues>` return value.
+   For simplicity, if :ref:`fast-math flags <fastmath>` are present, they are only
----------------
nikic wrote:

```suggestion
   If :ref:`fast-math flags <fastmath>` are present, they are only
```

https://github.com/llvm/llvm-project/pull/137131


More information about the llvm-commits mailing list