OSDN Git Service

[LVI] Move LVILatticeVal class to separate header file (NFC).
authorFlorian Hahn <florian.hahn@arm.com>
Thu, 28 Sep 2017 11:09:22 +0000 (11:09 +0000)
committerFlorian Hahn <florian.hahn@arm.com>
Thu, 28 Sep 2017 11:09:22 +0000 (11:09 +0000)
commit5133f6fc61d9ff0dea461c8875ac53c113334355
treea4ba27f996139f3a14e41e5420138313dadb845b
parentc4a1886529aeb7ec19427ef4f7ba03db67230c48
[LVI] Move LVILatticeVal class to separate header file (NFC).

Summary:
This allows sharing the lattice value code between LVI and SCCP (D36656).

It also adds a `satisfiesPredicate` function, used by D36656.

Reviewers: davide, sanjoy, efriedma

Reviewed By: sanjoy

Subscribers: mgorny, llvm-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@314411 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ValueLattice.h [new file with mode: 0644]
lib/Analysis/CMakeLists.txt
lib/Analysis/LazyValueInfo.cpp
lib/Analysis/ValueLattice.cpp [new file with mode: 0644]
unittests/Analysis/CMakeLists.txt
unittests/Analysis/ValueLatticeTest.cpp [new file with mode: 0644]