mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-06-26 07:24:25 +00:00
Oops, wasn't intending to commit this. Partial revert of r132194.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132195 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
@ -372,11 +372,7 @@ bool LICM::canSinkOrHoistInst(Instruction &I) {
|
|||||||
return !pointerInvalidatedByLoop(LI->getOperand(0), Size,
|
return !pointerInvalidatedByLoop(LI->getOperand(0), Size,
|
||||||
LI->getMetadata(LLVMContext::MD_tbaa));
|
LI->getMetadata(LLVMContext::MD_tbaa));
|
||||||
} else if (CallInst *CI = dyn_cast<CallInst>(&I)) {
|
} else if (CallInst *CI = dyn_cast<CallInst>(&I)) {
|
||||||
// Don't sink or hoist dbg info; it's legal, but not useful.
|
// Handle obvious cases efficiently.
|
||||||
if (isa<DbgInfoIntrinsic>(I))
|
|
||||||
return false;
|
|
||||||
|
|
||||||
// Handle simple cases by querying alias analysis.
|
|
||||||
AliasAnalysis::ModRefBehavior Behavior = AA->getModRefBehavior(CI);
|
AliasAnalysis::ModRefBehavior Behavior = AA->getModRefBehavior(CI);
|
||||||
if (Behavior == AliasAnalysis::DoesNotAccessMemory)
|
if (Behavior == AliasAnalysis::DoesNotAccessMemory)
|
||||||
return true;
|
return true;
|
||||||
@ -526,7 +522,14 @@ void LICM::sink(Instruction &I) {
|
|||||||
SSA.AddAvailableValue(ExitBlock, New);
|
SSA.AddAvailableValue(ExitBlock, New);
|
||||||
}
|
}
|
||||||
|
|
||||||
assert(NumInserted && "We shouldn't see dead instructions here!");
|
// If the instruction doesn't dominate any exit blocks, it must be dead.
|
||||||
|
if (NumInserted == 0) {
|
||||||
|
CurAST->deleteValue(&I);
|
||||||
|
if (!I.use_empty())
|
||||||
|
I.replaceAllUsesWith(UndefValue::get(I.getType()));
|
||||||
|
I.eraseFromParent();
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
// Next, rewrite uses of the instruction, inserting PHI nodes as needed.
|
// Next, rewrite uses of the instruction, inserting PHI nodes as needed.
|
||||||
for (Value::use_iterator UI = I.use_begin(), UE = I.use_end(); UI != UE; ) {
|
for (Value::use_iterator UI = I.use_begin(), UE = I.use_end(); UI != UE; ) {
|
||||||
|
Reference in New Issue
Block a user