[PATCH] D23205: [LVI] Make LVI smarter about comparisons with non-constants

[Artur Pilipenko via llvm-commits]

apilipenko created this revision.
apilipenko added reviewers: reames, sanjoy.
apilipenko added a subscriber: llvm-commits.

Make LVI smarter about comparisons with a non-constant. For example, a s< b constraints a to be in [INT_MIN, INT_MAX) range. This is a part of https://llvm.org/bugs/show_bug.cgi?id=28620 fix.

Note that this patch is based on D23200 and few minor refactorings in getValueFromICmpCondition (extraction of RHS, LHS, Predicate locals, renaming NegOffset to Offset) which were not included to simplify the review. 

https://reviews.llvm.org/D23205

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23205.66944.patch
Type: text/x-patch
Size: 5157 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160805/13043c8a/attachment.bin>