[llvm] LangRef: state explicitly that floats generally behave according to IEEE-754 (PR #102140)

Ralf Jung via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 13 00:02:02 PDT 2024


================
@@ -3577,6 +3577,12 @@ seq\_cst total orderings of other operations that are not marked
 Floating-Point Environment
 --------------------------
 
+Unless noted otherwise, LLVM works with IEEE-754 floating-point semantics: LLVM
+backends assume that the CPU is configured to provide IEEE-compatible behavior,
+and LLVM frontends can assume that LLVM IR floating-point operations behave
+according to the IEEE specification (with an :ref:`exception around NaN values
+<floatnan>`).
----------------
RalfJung wrote:

What is the denormal exception? Is this about what happens when `denormal-fp-math` is set, but the default is to be IEEE-compatible?

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


More information about the llvm-commits mailing list