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

[Nikita Popov via Phabricator via llvm-commits]

nikic updated this revision to Diff 293027.
nikic added a comment.

Add additional test case `@test_br_cmp_with_offset`. Found in Rust code and not folded by IPSCCP (or anything else in LLVM).


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.293027.patch
Type: text/x-patch
Size: 13524 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200920/b9362fbe/attachment.bin>