make LVI::getEdgeValue() always intersect the constraints of the edge with the range...
authorNuno Lopes <nunoplopes@sapo.pt>
Thu, 28 Jun 2012 01:16:18 +0000 (01:16 +0000)
committerNuno Lopes <nunoplopes@sapo.pt>
Thu, 28 Jun 2012 01:16:18 +0000 (01:16 +0000)
commite4413947843c66cd71c160fffcb711a763c30914
tree4ca6fc42d2ba2ed380e367d1dbe958dd3b4b73ce
parent532516a87bc57f21e6d99f49548e4c2adf835551
make LVI::getEdgeValue() always intersect the constraints of the edge with the range of the block. Previously it was only performing the intersection for a few cases, thus losing precision

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159320 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LazyValueInfo.cpp
test/Transforms/CorrelatedValuePropagation/range.ll