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)
commit90255a85172a560da73e05dad6cdb77d8e9480e1
tree20619d25896f15f71bb948d4a58a3e6f0ab3b233
parent3e96531186ba574b0c25a4be62d24b8b7d752c9f
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)

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