From cde65c0face16507ceb7e0d6f5d36f6f1b9cc04d Mon Sep 17 00:00:00 2001 From: Vedant Kumar Date: Tue, 22 Jan 2019 22:49:22 +0000 Subject: [HotColdSplit] Calculate BFI lazily to reduce compile-time, NFC The splitting pass does not need BFI unless the Module actually has a profile summary. Do not calcualte BFI unless the summary is present. For the sqlite3 amalgamation, this reduces time spent in the splitting pass from 0.4% of the total to under 0.1%. llvm-svn: 351894 --- llvm/lib/Transforms/IPO/HotColdSplitting.cpp | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) (limited to 'llvm/lib') diff --git a/llvm/lib/Transforms/IPO/HotColdSplitting.cpp b/llvm/lib/Transforms/IPO/HotColdSplitting.cpp index eda96710b95..c5eb23c6a16 100644 --- a/llvm/lib/Transforms/IPO/HotColdSplitting.cpp +++ b/llvm/lib/Transforms/IPO/HotColdSplitting.cpp @@ -176,7 +176,7 @@ public: private: bool isFunctionCold(const Function &F) const; bool shouldOutlineFrom(const Function &F) const; - bool outlineColdRegions(Function &F); + bool outlineColdRegions(Function &F, bool HasProfileSummary); Function *extractColdRegion(const BlockSequence &Region, DominatorTree &DT, BlockFrequencyInfo *BFI, TargetTransformInfo &TTI, OptimizationRemarkEmitter &ORE, unsigned Count); @@ -448,7 +448,7 @@ public: }; } // namespace -bool HotColdSplitting::outlineColdRegions(Function &F) { +bool HotColdSplitting::outlineColdRegions(Function &F, bool HasProfileSummary) { bool Changed = false; // The set of cold blocks. @@ -466,7 +466,13 @@ bool HotColdSplitting::outlineColdRegions(Function &F) { std::unique_ptr DT; std::unique_ptr PDT; - BlockFrequencyInfo *BFI = GetBFI(F); + // Calculate BFI lazily (it's only used to query ProfileSummaryInfo). This + // reduces compile-time significantly. TODO: When we *do* use BFI, we should + // be able to salvage its domtrees instead of recomputing them. + BlockFrequencyInfo *BFI = nullptr; + if (HasProfileSummary) + BFI = GetBFI(F); + TargetTransformInfo &TTI = GetTTI(F); OptimizationRemarkEmitter &ORE = (*GetORE)(F); @@ -476,7 +482,7 @@ bool HotColdSplitting::outlineColdRegions(Function &F) { if (ColdBlocks.count(BB)) continue; - bool Cold = PSI->isColdBlock(BB, BFI) || + bool Cold = (BFI && PSI->isColdBlock(BB, BFI)) || (EnableStaticAnalyis && unlikelyExecuted(*BB)); if (!Cold) continue; @@ -550,6 +556,7 @@ bool HotColdSplitting::outlineColdRegions(Function &F) { bool HotColdSplitting::run(Module &M) { bool Changed = false; + bool HasProfileSummary = M.getProfileSummary(); for (auto It = M.begin(), End = M.end(); It != End; ++It) { Function &F = *It; @@ -573,7 +580,7 @@ bool HotColdSplitting::run(Module &M) { } LLVM_DEBUG(llvm::dbgs() << "Outlining in " << F.getName() << "\n"); - Changed |= outlineColdRegions(F); + Changed |= outlineColdRegions(F, HasProfileSummary); } return Changed; } -- cgit v1.2.3