[PATCH] D144248: [InstCombine] Improvement the analytics through the dominating condition

[Allen zhong via Phabricator via llvm-commits]

Allen updated this revision to Diff 499093.
Allen retitled this revision from "[InstCombine] canonicalize urem as cmp+select (part 2)" to "[InstCombine] Improvement the analytics through the dominating condition".
Allen edited the summary of this revision.
Allen added a reviewer: erikdesjardins.
Allen added a comment.
Herald added subscribers: dmgreen, zzheng.

Address comments

1. Add return false and its test case  urem_with_dominating_condition_false
2. Delete some calls in function simplifyBinaryIntrinsic and foldICmpWithDominatingICmp, and update its case affected
3. update tile


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

https://reviews.llvm.org/D144248

Files:
  llvm/lib/Analysis/InstructionSimplify.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
  llvm/test/CodeGen/Thumb2/mve-memtp-branch.ll
  llvm/test/Transforms/AggressiveInstCombine/lower-table-based-cttz-basics.ll
  llvm/test/Transforms/InstCombine/urem-via-cmp-select.ll
  llvm/test/Transforms/InstSimplify/select-implied.ll
  llvm/test/Transforms/LoopUnroll/runtime-exit-phi-scev-invalidation.ll
  llvm/test/Transforms/LoopUnroll/runtime-loop-at-most-two-exits.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D144248.499093.patch
Type: text/x-patch
Size: 17217 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230221/f5fd03d5/attachment.bin>