diff options
| -rw-r--r-- | lib/Analysis/LazyValueInfo.cpp | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/lib/Analysis/LazyValueInfo.cpp b/lib/Analysis/LazyValueInfo.cpp index ff98bf9771..b4923f9a71 100644 --- a/lib/Analysis/LazyValueInfo.cpp +++ b/lib/Analysis/LazyValueInfo.cpp @@ -670,25 +670,11 @@ LVILatticeVal LVIQuery::getEdgeValue(BasicBlock *BBFrom, BasicBlock *BBTo) { // If the edge was formed by a switch on the value, then we may know exactly // what it is. if (SwitchInst *SI = dyn_cast<SwitchInst>(BBFrom->getTerminator())) { - // If BBTo is the default destination of the switch, we know that it - // doesn't have the same value as any of the cases. if (SI->getCondition() == Val) { + // We don't know anything in the default case. if (SI->getDefaultDest() == BBTo) { - const IntegerType *IT = cast<IntegerType>(Val->getType()); - ConstantRange CR(IT->getBitWidth()); - - for (unsigned i = 1, e = SI->getNumSuccessors(); i != e; ++i) { - const APInt CaseVal = SI->getCaseValue(i)->getValue(); - ConstantRange CaseRange(CaseVal, CaseVal+1); - CaseRange = CaseRange.inverse(); - CR = CR.intersectWith(CaseRange); - } - LVILatticeVal Result; - if (CR.isFullSet() || CR.isEmptySet()) - Result.markOverdefined(); - else - Result.markConstantRange(CR); + Result.markOverdefined(); return Result; } |