[PATCH] D69686: [LVI][CVP] Use block value when simplifying icmps

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 288855.
nikic retitled this revision from "[LVI][CVP] Use block value in getPredicateAt()" to "[LVI][CVP] Use block value when simplifying icmps".
nikic edited the summary of this revision.
nikic added a reviewer: fhahn.
nikic set the repository for this revision to rG LLVM Github Monorepo.
nikic added a comment.
Herald added a subscriber: danielkiss.

Add flag to getPredicateOf() that allows using the block value, and enable it in CVP.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D69686

Files:
  llvm/include/llvm/Analysis/LazyValueInfo.h
  llvm/lib/Analysis/LazyValueInfo.cpp
  llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
  llvm/test/Transforms/CorrelatedValuePropagation/basic.ll
  llvm/test/Transforms/CorrelatedValuePropagation/icmp.ll
  llvm/test/Transforms/CorrelatedValuePropagation/range.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D69686.288855.patch
Type: text/x-patch
Size: 13151 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200830/67cebfba/attachment.bin>