mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-19 04:29:21 +00:00
Preserve simple analysis.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@41054 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
fc4c5f82f8
commit
21eca2a9cf
@ -98,7 +98,7 @@ namespace {
|
|||||||
bool safeExitBlock(SplitInfo &SD, BasicBlock *BB);
|
bool safeExitBlock(SplitInfo &SD, BasicBlock *BB);
|
||||||
|
|
||||||
/// removeBlocks - Remove basic block BB and all blocks dominated by BB.
|
/// removeBlocks - Remove basic block BB and all blocks dominated by BB.
|
||||||
void removeBlocks(BasicBlock *InBB);
|
void removeBlocks(BasicBlock *InBB, Loop *LP);
|
||||||
|
|
||||||
/// Find cost of spliting loop L.
|
/// Find cost of spliting loop L.
|
||||||
unsigned findSplitCost(Loop *L, SplitInfo &SD);
|
unsigned findSplitCost(Loop *L, SplitInfo &SD);
|
||||||
@ -589,7 +589,7 @@ unsigned LoopIndexSplit::findSplitCost(Loop *L, SplitInfo &SD) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/// removeBlocks - Remove basic block BB and all blocks dominated by BB.
|
/// removeBlocks - Remove basic block BB and all blocks dominated by BB.
|
||||||
void LoopIndexSplit::removeBlocks(BasicBlock *InBB) {
|
void LoopIndexSplit::removeBlocks(BasicBlock *InBB, Loop *LP) {
|
||||||
|
|
||||||
SmallVector<std::pair<BasicBlock *, succ_iterator>, 8> WorkList;
|
SmallVector<std::pair<BasicBlock *, succ_iterator>, 8> WorkList;
|
||||||
WorkList.push_back(std::make_pair(InBB, succ_begin(InBB)));
|
WorkList.push_back(std::make_pair(InBB, succ_begin(InBB)));
|
||||||
@ -606,6 +606,7 @@ void LoopIndexSplit::removeBlocks(BasicBlock *InBB) {
|
|||||||
I->replaceAllUsesWith(UndefValue::get(I->getType()));
|
I->replaceAllUsesWith(UndefValue::get(I->getType()));
|
||||||
I->eraseFromParent();
|
I->eraseFromParent();
|
||||||
}
|
}
|
||||||
|
LPM->deleteSimpleAnalysisValue(BB, LP);
|
||||||
DT->eraseNode(BB);
|
DT->eraseNode(BB);
|
||||||
DF->removeBlock(BB);
|
DF->removeBlock(BB);
|
||||||
LI->removeBlock(BB);
|
LI->removeBlock(BB);
|
||||||
@ -719,7 +720,7 @@ bool LoopIndexSplit::splitLoop(SplitInfo &SD) {
|
|||||||
BranchInst *BR = cast<BranchInst>(SplitBlock->getTerminator());
|
BranchInst *BR = cast<BranchInst>(SplitBlock->getTerminator());
|
||||||
BasicBlock *FBB = BR->getSuccessor(1);
|
BasicBlock *FBB = BR->getSuccessor(1);
|
||||||
BR->setUnconditionalDest(BR->getSuccessor(0));
|
BR->setUnconditionalDest(BR->getSuccessor(0));
|
||||||
removeBlocks(FBB);
|
removeBlocks(FBB, L);
|
||||||
|
|
||||||
//[*] Update True loop's exit value using new exit value.
|
//[*] Update True loop's exit value using new exit value.
|
||||||
ExitCondition->setOperand(ExitValueNum, TLExitValue);
|
ExitCondition->setOperand(ExitValueNum, TLExitValue);
|
||||||
@ -729,7 +730,7 @@ bool LoopIndexSplit::splitLoop(SplitInfo &SD) {
|
|||||||
BranchInst *FBR = cast<BranchInst>(FSplitBlock->getTerminator());
|
BranchInst *FBR = cast<BranchInst>(FSplitBlock->getTerminator());
|
||||||
BasicBlock *TBB = FBR->getSuccessor(0);
|
BasicBlock *TBB = FBR->getSuccessor(0);
|
||||||
FBR->setUnconditionalDest(FBR->getSuccessor(1));
|
FBR->setUnconditionalDest(FBR->getSuccessor(1));
|
||||||
removeBlocks(TBB);
|
removeBlocks(TBB, FalseLoop);
|
||||||
|
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user