RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 04:32:44 +01:00
Code Issues Projects Releases Wiki Activity

[LICM] Compute exit blocks for promotion eagerly. NFC.

Browse Source 
This moves the exit block and insertion point computation to be eager,
instead of after seeing the first scalar we can promote.

The cost is relatively small (the computation happens anyway, see discussion
on D28147), and the code is easier to follow, and can bail out earlier
if there's a catchswitch present.

llvm-svn: 290729
This commit is contained in:
Michael Kuperstein 2016-12-29 23:11:19 +00:00
parent 6a5beb0fcb
commit 213104a282
1 changed files with 32 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

63
lib/Transforms/Scalar/LICM.cpp
View File

@ -256,27 +256,42 @@ bool LoopInvariantCodeMotion::runOnLoop(Loop *L, AliasAnalysis *AA,
// preheader for SSA updater, so also avoid sinking when no preheader // preheader for SSA updater, so also avoid sinking when no preheader
// is available. // is available.
if (!DisablePromotion && Preheader && L->hasDedicatedExits()) { if (!DisablePromotion && Preheader && L->hasDedicatedExits()) {
// Figure out the loop exits and their insertion points
SmallVector<BasicBlock *, 8> ExitBlocks; SmallVector<BasicBlock *, 8> ExitBlocks;
SmallVector<Instruction *, 8> InsertPts; L->getUniqueExitBlocks(ExitBlocks);
PredIteratorCache PIC;
bool Promoted = false; // We can't insert into a catchswitch.
bool HasCatchSwitch = llvm::any_of(ExitBlocks, [](BasicBlock *Exit) {
return isa<CatchSwitchInst>(Exit->getTerminator());
});
// Loop over all of the alias sets in the tracker object. if (!HasCatchSwitch) {
for (AliasSet &AS : *CurAST) SmallVector<Instruction *, 8> InsertPts;
Promoted |= promoteLoopAccessesToScalars( InsertPts.reserve(ExitBlocks.size());
AS, ExitBlocks, InsertPts, PIC, LI, DT, TLI, L, CurAST, &SafetyInfo); for (BasicBlock *ExitBlock : ExitBlocks)
InsertPts.push_back(&*ExitBlock->getFirstInsertionPt());
// Once we have promoted values across the loop body we have to recursively PredIteratorCache PIC;
// reform LCSSA as any nested loop may now have values defined within the
// loop used in the outer loop.
// FIXME: This is really heavy handed. It would be a bit better to use an
// SSAUpdater strategy during promotion that was LCSSA aware and reformed
// it as it went.
if (Promoted)
formLCSSARecursively(*L, *DT, LI, SE);
Changed |= Promoted; bool Promoted = false;
// Loop over all of the alias sets in the tracker object.
for (AliasSet &AS : *CurAST)
Promoted |=
promoteLoopAccessesToScalars(AS, ExitBlocks, InsertPts, PIC, LI, DT,
TLI, L, CurAST, &SafetyInfo);
// Once we have promoted values across the loop body we have to
// recursively reform LCSSA as any nested loop may now have values defined
// within the loop used in the outer loop.
// FIXME: This is really heavy handed. It would be a bit better to use an
// SSAUpdater strategy during promotion that was LCSSA aware and reformed
// it as it went.
if (Promoted)
formLCSSARecursively(*L, *DT, LI, SE);
Changed |= Promoted;
}
} }
// Check that neither this loop nor its parent have had LCSSA broken. LICM is // Check that neither this loop nor its parent have had LCSSA broken. LICM is
@ -1016,24 +1031,10 @@ bool llvm::promoteLoopAccessesToScalars(
PromotionIsLegal = PromotionIsLegal =
isAllocLikeFn(Object, TLI) && !PointerMayBeCaptured(Object, true, true); isAllocLikeFn(Object, TLI) && !PointerMayBeCaptured(Object, true, true);
} }
if (!PromotionIsLegal) if (!PromotionIsLegal)
return Changed; return Changed;
// Figure out the loop exits and their insertion points, if this is the
// first promotion.
if (ExitBlocks.empty()) {
CurLoop->getUniqueExitBlocks(ExitBlocks);
InsertPts.clear();
InsertPts.reserve(ExitBlocks.size());
for (BasicBlock *ExitBlock : ExitBlocks)
InsertPts.push_back(&*ExitBlock->getFirstInsertionPt());
}
// Can't insert into a catchswitch.
for (BasicBlock *ExitBlock : ExitBlocks)
if (isa<CatchSwitchInst>(ExitBlock->getTerminator()))
return Changed;
// Otherwise, this is safe to promote, lets do it! // Otherwise, this is safe to promote, lets do it!
DEBUG(dbgs() << "LICM: Promoting value stored to in loop: " << *SomePtr DEBUG(dbgs() << "LICM: Promoting value stored to in loop: " << *SomePtr
<< '\n'); << '\n');