[PATCH] D23200: [LVI] Handle conditions in the form of (cond1 && cond2)

[Artur Pilipenko via llvm-commits]

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

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.

https://reviews.llvm.org/D23200

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23200.66928.patch
Type: text/x-patch
Size: 4017 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160805/a94651d3/attachment.bin>