@@ -3605,11 +3605,6 @@ most notably, the :ref:`fast-math flags <fastmath>` as well as the ``strictfp``
3605
3605
and ``denormal-fp-math`` attributes. See their corresponding documentation for
3606
3606
details.
3607
3607
3608
- If the compiled code is executed in a non-default floating-point environment
3609
- (this includes non-standard behavior such as subnormal flushing), the result is
3610
- typically undefined behavior unless attributes like ``strictfp`` and
3611
- ``denormal-fp-math`` or :ref:`constrained intrinsics <constrainedfp>` are used.
3612
-
3613
3608
.. _floatenv:
3614
3609
3615
3610
Floating-Point Environment
@@ -3620,11 +3615,12 @@ status flags are not observable. Therefore, floating-point math operations do
3620
3615
not have side effects and may be speculated freely. Results assume the
3621
3616
round-to-nearest rounding mode, and subnormals are assumed to be preserved.
3622
3617
3623
- Running LLVM code in an environment where these assumptions are not met can lead
3624
- to undefined behavior. The ``strictfp`` and ``denormal-fp-math`` attributes as
3625
- well as :ref:`Constrained Floating-Point Intrinsics <constrainedfp>` can be used
3626
- to weaken LLVM's assumptions and ensure defined behavior in non-default
3627
- floating-point environments; see their respective documentation for details.
3618
+ Running LLVM code in an environment where these assumptions are not met
3619
+ typically leads to undefined behavior. The ``strictfp`` and ``denormal-fp-math``
3620
+ attributes as well as :ref:`Constrained Floating-Point Intrinsics
3621
+ <constrainedfp>` can be used to weaken LLVM's assumptions and ensure defined
3622
+ behavior in non-default floating-point environments; see their respective
3623
+ documentation for details.
3628
3624
3629
3625
.. _floatnan:
3630
3626
0 commit comments