[LVI] Take guards into account
authorArtur Pilipenko <apilipenko@azulsystems.com>
Fri, 12 Aug 2016 15:52:23 +0000 (15:52 +0000)
committerArtur Pilipenko <apilipenko@azulsystems.com>
Fri, 12 Aug 2016 15:52:23 +0000 (15:52 +0000)
commit2e8f82d962fb0d45c73ef9f32473f579030793db
treef3ee430430c38bcea40d84f4fd648feaa0a28a92
parent77a1f7566cc41b9c874ab8910fa0746b06a7ec1b
[LVI] Take guards into account

Teach LVI to gather control dependant constraints from guards.

Reviewed By: sanjoy

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

llvm-svn: 278518
llvm/lib/Analysis/LazyValueInfo.cpp
llvm/test/Transforms/CorrelatedValuePropagation/guards.ll [new file with mode: 0644]