Turn off -ffp-contract on Unix (dotnet#64847)

erlimar · Feb 7, 2022 · 805a5e4 · 805a5e4
1 parent a512284
commit 805a5e4
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/eng/native/configurecompiler.cmake b/eng/native/configurecompiler.cmake
@@ -390,6 +390,10 @@ if (CLR_CMAKE_HOST_UNIX)
 
   add_compile_options(-Wno-unused-but-set-variable)
 
+  # Turn off floating point expression contraction because it is considered a value changing
+  # optimization in the IEEE 754 specification and is therefore considered unsafe.
+  add_compile_options(-ffp-contract=off)
+
   if (CMAKE_C_COMPILER_ID MATCHES "Clang")
     add_compile_options(-Wno-unknown-warning-option)
 

diff --git a/src/mono/CMakeLists.txt b/src/mono/CMakeLists.txt
@@ -485,6 +485,11 @@ if(GCC)
     # We require C99 with some GNU extensions, e.g. `linux` macro
     set (CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -std=gnu99")
   endif()
+
+  # Turn off floating point expression contraction because it is considered a value changing
+  # optimization in the IEEE 754 specification and is therefore considered unsafe.
+  add_compile_options(-ffp-contract=off)
+
   # The runtime code does not respect ANSI C strict aliasing rules
   append("-fno-strict-aliasing" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
   # We rely on signed overflow to behave