[PATCH] D105895: [FPEnv][EarlyCSE] Add support for CSE of constrained FP intrinsics

[Kevin P. Neal via Phabricator via llvm-commits]

kpn created this revision.
kpn added reviewers: JosephTremoulet, craig.topper.
Herald added a subscriber: hiraditya.
kpn requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Currently we only CSE constrained FP intrinsics in the default floating point environment.

This patch adds support for CSE when exception behavior is "maytrap". No CSE of constrained intrinsics will happen across a function call or other unsafe event. Since any function call can change the floating point status register, the restrictions on exception behavior are required.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D105895

Files:
  llvm/lib/Transforms/Scalar/EarlyCSE.cpp
  llvm/test/Transforms/EarlyCSE/maytrap-strictfp.ll
  llvm/test/Transforms/EarlyCSE/mixed-strictfp.ll
  llvm/test/Transforms/EarlyCSE/round-dyn-strictfp.ll
  llvm/test/Transforms/EarlyCSE/tfpropagation.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D105895.358270.patch
Type: text/x-patch
Size: 76883 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210713/7cb8857d/attachment.bin>