projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5247af2) | patch
[LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset), ...
authorArtur Pilipenko <apilipenko@azulsystems.com>
Fri, 12 Aug 2016 10:05:11 +0000 (10:05 +0000)
committerArtur Pilipenko <apilipenko@azulsystems.com>
Fri, 12 Aug 2016 10:05:11 +0000 (10:05 +0000)
commit635625855fc4e5dde3a393d09b27724e71abdf2b
treec7123abe2edc71c0189d0ad1bcd408fd1fa1d118tree | snapshot
parent5247af24c3040b60dc77efcb6b764b55d78c92dccommit | diff
[LVI] Handle any predicate in comparisons like icmp <pred> (add Val, Offset), ...

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.

Reviewed By: sanjoy

Differential Revision: https://reviews.llvm.org/D23357

llvm-svn: 278493
llvm/lib/Analysis/LazyValueInfo.cpp diff | blob | history
llvm/test/Transforms/CorrelatedValuePropagation/range.ll diff | blob | history
Domain: System / Toolchain;