[PATCH] D23357: [LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset), ...

[Artur Pilipenko via llvm-commits]

apilipenko created this revision.
apilipenko added a subscriber: llvm-commits.

Currently LVI can only gather value constraints from comparisons like:
  * icmp <pred> Val, ...
  * icmp ult (add Val, Offset), ...
In fact we can handle any predicate in latter comparisons.

https://reviews.llvm.org/D23357

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23357.67535.patch
Type: text/x-patch
Size: 3884 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160810/9ac4032a/attachment.bin>