[PATCH] D140840: Add tests for binops with conditions/assume constraints

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n created this revision.
Herald added a subscriber: hiraditya.
Herald added a project: All.
goldstein.w.n requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Improve cases for optimizing out some icmp(binop) patterns (mostly mul)

1. Add some explicit cases for mul that were missing.
2. Improve ValueTracking analysis to better track the ICMP_NE and ICMP_ULT patterns.
  - Both for tracking on edges of BBs and for conditions that are used by llvm.assume


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D140840

Files:
  llvm/include/llvm/IR/InstrTypes.h
  llvm/lib/Analysis/AssumptionCache.cpp
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/IR/Instructions.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
  llvm/test/Transforms/InstCombine/icmp-binop.ll
  llvm/test/Transforms/InstCombine/pr38677.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D140840.485847.patch
Type: text/x-patch
Size: 188919 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230102/d5b1fbeb/attachment-0001.bin>