[PATCH] D131607: [FPEnv][InstSimplify] 0.0 - -X ==> X

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

kpn created this revision.
kpn added reviewers: spatel, nlopes.
Herald added a subscriber: hiraditya.
Herald added a project: All.
kpn requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Another ticket split out of D107285 <https://reviews.llvm.org/D107285>, this extends the optimization of 0.0 - -X to just X when using constrained intrinsics and the optimization is allowed.

If the negation of X is done with fsub then the match fails because of the lack of IR Matcher support for constrained intrinsics.

While I'm here, remove some TODO notices since the work is no longer planned.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D131607

Files:
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/test/Transforms/InstSimplify/strictfp-fsub.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D131607.451583.patch
Type: text/x-patch
Size: 5151 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220810/0d071027/attachment.bin>