[PATCH] D115737: [IPSCCP] Partial support for constrained intrinsics

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

kpn created this revision.
kpn added reviewers: nikic, fhahn, davide, efriedma.
Herald added subscribers: dexonsmith, hiraditya.
kpn requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This teaches the SCCP Solver about some of the constrained intrinsics by having them use the same codepaths as the non-constrained instructions.

Casting instructions will come later.

Note that we do have a similar issue as D114766 <https://reviews.llvm.org/D114766> in that we don't have a good way to pass down the fact that an instruction doesn't have a side effect and thus is safe to remove. Falling back to relying on the exception behavior metadata is the current partial workaround.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D115737

Files:
  llvm/lib/IR/Instruction.cpp
  llvm/lib/Transforms/Utils/SCCPSolver.cpp
  llvm/test/Transforms/SCCP/strictfp-float-nan-simplification.ll
  llvm/test/Transforms/SCCP/strictfp-phis.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D115737.394265.patch
Type: text/x-patch
Size: 15410 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211214/4658a0ce/attachment.bin>