6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-03-03 14:31:10 +00:00
Code Issues Projects Releases Wiki Activity

Remove incorrect and poorly tested code for trying to reason about values on default edges of

Browse Source 
switches.  Just return the conservatively correct answer.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112876 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Owen Anderson 2010-09-02 22:16:52 +00:00
parent 2f4fad99ea
commit 4caef6001d
1 changed files with 2 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
lib/Analysis/LazyValueInfo.cpp
View File

@ -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;
}