averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add tracing to LICM for reloaded store/restored load optimization.

Browse Source
This commit is contained in:
Andrew Trick
2020-04-02 21:23:19 -07:00
parent 5f17f5b17d
commit 73ee38c162
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
lib/SILOptimizer/LoopTransforms/LICM.cpp
View File

@@ -1015,6 +1015,7 @@ void LoopTreeOptimization::hoistLoadsAndStores(SILValue addr, SILLoop *loop, Ins
SILBuilder B(preheader->getTerminator());
auto *initialLoad = B.createLoad(preheader->getTerminator()->getLoc(), addr,
LoadOwnershipQualifier::Unqualified);
LLVM_DEBUG(llvm::dbgs() << "Creating preload " << *initialLoad);
SILSSAUpdater ssaUpdater;
ssaUpdater.Initialize(initialLoad->getType());
@@ -1047,6 +1048,7 @@ void LoopTreeOptimization::hoistLoadsAndStores(SILValue addr, SILLoop *loop, Ins
currentVal = SILValue();
}
if (auto *SI = isStoreToAddr(I, addr)) {
LLVM_DEBUG(llvm::dbgs() << "Deleting reloaded store " << *SI);
currentVal = SI->getSrc();
toDelete.push_back(SI);
} else if (auto *LI = isLoadFromAddr(I, addr)) {
@@ -1056,6 +1058,8 @@ void LoopTreeOptimization::hoistLoadsAndStores(SILValue addr, SILLoop *loop, Ins
currentVal = ssaUpdater.GetValueInMiddleOfBlock(block);
SILValue projectedValue = projectLoadValue(LI->getOperand(), addr,
currentVal, LI);
LLVM_DEBUG(llvm::dbgs() << "Replacing stored load " << *LI << " with "
<< projectedValue);
LI->replaceAllUsesWith(projectedValue);
toDelete.push_back(LI);
}
@@ -1068,8 +1072,11 @@ void LoopTreeOptimization::hoistLoadsAndStores(SILValue addr, SILLoop *loop, Ins
assert(succ->getSinglePredecessorBlock() &&
"should have split critical edges");
SILBuilder B(succ->begin());
B.createStore(loc.getValue(), ssaUpdater.GetValueInMiddleOfBlock(succ),
addr, StoreOwnershipQualifier::Unqualified);
auto *SI = B.createStore(loc.getValue(),
ssaUpdater.GetValueInMiddleOfBlock(succ),
addr, StoreOwnershipQualifier::Unqualified);
(void)SI;
LLVM_DEBUG(llvm::dbgs() << "Creating loop-exit store " << *SI);
}
}
}