allow LazyValueInfo::getEdgeValue() to reason about multiple edges from the same...
authorNuno Lopes <nunoplopes@sapo.pt>
Fri, 18 May 2012 21:02:10 +0000 (21:02 +0000)
committerNuno Lopes <nunoplopes@sapo.pt>
Fri, 18 May 2012 21:02:10 +0000 (21:02 +0000)
commitac59380dfdf71520044f5c66891fb24c5ae0fef8
tree5bb741b595a7292240cd514d32e6e580f54e26fa
parent263ebe5f78c3ad34feff9bca0bdca1718c287846
allow LazyValueInfo::getEdgeValue() to reason about multiple edges from the same switch instruction by doing union of ranges (which may still be conservative, but it's more aggressive than before)

llvm-svn: 157071
llvm/lib/Analysis/LazyValueInfo.cpp
llvm/test/Transforms/CorrelatedValuePropagation/range.ll