[all-commits] [llvm/llvm-project] 67783e: Re-land: [Analysis] Ensure use of strict fp except...

[Lucas Duarte Prates via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 67783eb166664cb0be9da01d1dc83178615a0575
      https://github.com/llvm/llvm-project/commit/67783eb166664cb0be9da01d1dc83178615a0575
  Author: Lucas Duarte Prates <lucas.prates at arm.com>
  Date:   2025-04-29 (Tue, 29 Apr 2025)

  Changed paths:
    M llvm/lib/Analysis/CMakeLists.txt

  Log Message:
  -----------
  Re-land: [Analysis] Ensure use of strict fp exceptions in ConstantFolding (#137652)

To perform constant folding in math operations, the implementation of
the ConstantFolding Analysis relies on the use of the math functions
from the host's libm. In particular, it relies on checking the value of
errno and IEEE exceptions to determine when an operation is safe to be
constant-folded.

On some platforms, such as BSD or Darwin, math library functions don't
set errno, so the ConstantFolding check depends only on the value of
IEEE exceptions. As the FP exception behaviour is set to `ignore` by
default, the compiler can perform optimisations that would get in the
way of such checks being performed correctly.

This patch sets the FP exception behaviour to `strict` when compiling
the `ConstantFolding.cpp` source file, ensuring the value of IEEE
exceptions can be reliably used by its implementation.

This re-lands the changes from #136139, but using the `-ftrapping-math`
compile option instead of `-ffp-exception-behavior` for GCC support.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications