projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ef1215) | patch
[LVI] Handle conditions in the form of (cond1 && cond2)
authorArtur Pilipenko <apilipenko@azulsystems.com>
Wed, 10 Aug 2016 15:13:15 +0000 (15:13 +0000)
committerArtur Pilipenko <apilipenko@azulsystems.com>
Wed, 10 Aug 2016 15:13:15 +0000 (15:13 +0000)
commitfd223d5d25d3faf5693847a3e1e08aaf1a430a80
tree0d3eca1c9fcd4a4e13669f172a78e81717c1bc7btree | snapshot
parent9ef1215c8002615a6cd33c655bd4b44dd5f03e18commit | diff
[LVI] Handle conditions in the form of (cond1 && cond2)

Teach LVI how to gather information from conditions in the form of (cond1 && cond2). Our out-of-tree front-end emits range checks in this form.

Reviewed By: sanjoy

Differential Revision: http://reviews.llvm.org/D23200

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