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

Revert previous patch. Still breaking things.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30698 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Evan Cheng 2006-10-03 07:26:07 +00:00
parent f7da4e939f
commit 99435d32b3
1 changed files with 1 additions and 49 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
lib/Transforms/IPO/ArgumentPromotion.cpp
View File

@ -179,53 +179,6 @@ static bool AllCalleesPassInValidPointerForArgument(Argument *Arg) {
return true; return true;
} }
/// AccessOccursOnPath - Returns true if and only if a load or GEP instruction
/// on Pointer occurs in Path, or in every control-flow path that succeeds it.
bool AccessOccursOnPath(Value* V, BasicBlock* Start) {
std::vector<BasicBlock*> Worklist;
Worklist.push_back(Start);
std::set<BasicBlock*> Visited;
while (!Worklist.empty()) {
BasicBlock* BB = Worklist.back();
Worklist.pop_back();
Visited.insert(BB);
bool ContainsAccess = false;
for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
if (isa<LoadInst>(I)) {
for (Instruction::op_iterator OI = I->op_begin(), OE = I->op_end(); OI != OE; ++OI)
if (*OI == V) {
ContainsAccess = true;
break;
}
} else if (isa<GetElementPtrInst>(I)) {
for (Instruction::op_iterator OI = I->op_begin(), OE = I->op_end(); OI != OE; ++OI)
if (*OI == V) {
ContainsAccess = AccessOccursOnPath(I, I->getParent());
break;
}
}
if (ContainsAccess)
break;
}
if (ContainsAccess) continue;
TerminatorInst* TI = BB->getTerminator();
if (isa<BranchInst>(TI) || isa<SwitchInst>(TI)) {
for (unsigned i = 0; i < TI->getNumSuccessors(); ++i)
if (!Visited.count(TI->getSuccessor(i)))
Worklist.push_back(TI->getSuccessor(i));
} else {
return false;
}
}
return true;
}
/// isSafeToPromoteArgument - As you might guess from the name of this method, /// isSafeToPromoteArgument - As you might guess from the name of this method,
/// it checks to see if it is both safe and useful to promote the argument. /// it checks to see if it is both safe and useful to promote the argument.
@ -299,8 +252,7 @@ bool ArgPromotion::isSafeToPromoteArgument(Argument *Arg) const {
// of the pointer in the entry block of the function) or if we can prove that // of the pointer in the entry block of the function) or if we can prove that
// all pointers passed in are always to legal locations (for example, no null // all pointers passed in are always to legal locations (for example, no null
// pointers are passed in, no pointers to free'd memory, etc). // pointers are passed in, no pointers to free'd memory, etc).
if (!AccessOccursOnPath(Arg, Arg->getParent()->begin()) && if (!HasLoadInEntryBlock && !AllCalleesPassInValidPointerForArgument(Arg))
!AllCalleesPassInValidPointerForArgument(Arg))
return false; // Cannot prove that this is safe!! return false; // Cannot prove that this is safe!!
// Okay, now we know that the argument is only used by load instructions and // Okay, now we know that the argument is only used by load instructions and