[PATCH] D112256: [FPEnv][EarlyCSE] Add support for CSE of constrained FP intrinsics, take 2

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

kpn updated this revision to Diff 450314.
kpn added a comment.

Address review comments.

I'm leaving support for strict exception behavior out because it would make the patch more complicated and I'm really not sure the change would be worth it. Since we can't eliminate any traps with ebStrict we can't really CSE. So the added complication would only benefit this propagation of constant true and false. And said complication wouldn't have anything to do with the "maytrap" case that this ticket is for anyway.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D112256/new/

https://reviews.llvm.org/D112256

Files:
  llvm/lib/Transforms/Scalar/EarlyCSE.cpp
  llvm/test/Transforms/EarlyCSE/nonmixed-strictfp.ll
  llvm/test/Transforms/EarlyCSE/tfpropagation.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D112256.450314.patch
Type: text/x-patch
Size: 21243 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220805/22c90731/attachment.bin>