[all-commits] [llvm/llvm-project] 05ac82: [FPEnv][EarlyCSE] Support for CSE when exception b...

[Kevin P. Neal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 05ac82de400983a0ac9c050a20593fcb8e57cb52
      https://github.com/llvm/llvm-project/commit/05ac82de400983a0ac9c050a20593fcb8e57cb52
  Author: Kevin P. Neal <kevin.neal at sas.com>
  Date:   2022-08-16 (Tue, 16 Aug 2022)

  Changed paths:
    M llvm/lib/Transforms/Scalar/EarlyCSE.cpp
    M llvm/test/Transforms/EarlyCSE/nonmixed-strictfp.ll
    M llvm/test/Transforms/EarlyCSE/tfpropagation.ll

  Log Message:
  -----------
  [FPEnv][EarlyCSE] Support for CSE when exception behavior is "ignore" or "maytrap" and the rounding mode is known.

Previously we would only CSE constrained FP intrinsics in the default
floating point environment. Exception behavior of "strict" is still not
allowed since we are not allowed to remove any traps in that case.

There are no restrictions on CSE across function calls inside a function.

Differential Revision: https://reviews.llvm.org/D112256