[PATCH] D149001: [InstSimplify] sdiv a (1 srem b) --> a

[Zhu Siyuan via Phabricator via llvm-commits]

floatshadow updated this revision to Diff 516108.
floatshadow edited the summary of this revision.
floatshadow removed rG LLVM Github Monorepo as the repository for this revision.
floatshadow added a comment.

now this patch will figure out other conjugate patterns like [u]sdiv (1 [u]srem X) --> X and [u]srem (1 [u]srem X) --> 0


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

https://reviews.llvm.org/D149001

Files:
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/test/Transforms/InstSimplify/div.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D149001.516108.patch
Type: text/x-patch
Size: 3119 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230423/223eae17/attachment.bin>