[PATCH] D151911: [LVI] Handle icmp of ashr.

[Amara Emerson via Phabricator via llvm-commits]

aemerson updated this revision to Diff 536034.
aemerson added a comment.

Fix the ranges for the other predicates.

Also add precondition checks. However I wasn't able to construct a test that actually covers the checks because those all get optimized away before the checks are hit.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D151911

Files:
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D151911.536034.patch
Type: text/x-patch
Size: 5425 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230629/886fb890/attachment.bin>