[PATCH] D114279: [InstSimplify] Fold X {lshr,udiv} C <u X --> true for nonzero X, non-identity C

[Erik Desjardins via Phabricator via llvm-commits]

erikdesjardins updated this revision to Diff 389354.
erikdesjardins edited the summary of this revision.
erikdesjardins added a comment.

make comments more explicit about matched patterns
use more general C != 0 and C != 1 instead of C >u 0 and C >u 1 respectively


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114279

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D114279.389354.patch
Type: text/x-patch
Size: 5478 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211124/3f2b7b41/attachment.bin>