Add a new getPredicateOnEdge method which returns more rich information for
authorChris Lattner <sabre@nondot.org>
Thu, 12 Nov 2009 04:36:58 +0000 (04:36 +0000)
committerChris Lattner <sabre@nondot.org>
Thu, 12 Nov 2009 04:36:58 +0000 (04:36 +0000)
commitb52675b643db496bcea218bd3d5fc5e23f523c22
tree941e375d7a624bfdbd253bf6811efc0813584536
parent7707a0df5b00c8326a581205639d6b2871f182e9
Add a new getPredicateOnEdge method which returns more rich information for
constant constraints.  Improve the LVI lattice to include inequality
constraints.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86950 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/LazyValueInfo.h
lib/Analysis/LazyValueInfo.cpp