blob: 48bd54f80510e45815a9622f7320c5a46472f7c5 [file] [log] [blame]
Easwaran Raman019e0bf2016-06-03 22:54:26 +00001//===- ProfileSummaryInfo.cpp - Global profile summary information --------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains a pass that provides access to the global profile summary
11// information.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Analysis/ProfileSummaryInfo.h"
Easwaran Ramanb035f912017-01-13 01:34:00 +000016#include "llvm/Analysis/BlockFrequencyInfo.h"
Dehao Chen38a666d2016-11-09 23:36:02 +000017#include "llvm/IR/BasicBlock.h"
Easwaran Ramanb035f912017-01-13 01:34:00 +000018#include "llvm/IR/CallSite.h"
Easwaran Raman019e0bf2016-06-03 22:54:26 +000019#include "llvm/IR/Metadata.h"
20#include "llvm/IR/Module.h"
21#include "llvm/IR/ProfileSummary.h"
22using namespace llvm;
23
24// The following two parameters determine the threshold for a count to be
25// considered hot/cold. These two parameters are percentile values (multiplied
26// by 10000). If the counts are sorted in descending order, the minimum count to
27// reach ProfileSummaryCutoffHot gives the threshold to determine a hot count.
28// Similarly, the minimum count to reach ProfileSummaryCutoffCold gives the
29// threshold for determining cold count (everything <= this threshold is
30// considered cold).
31
32static cl::opt<int> ProfileSummaryCutoffHot(
33 "profile-summary-cutoff-hot", cl::Hidden, cl::init(999000), cl::ZeroOrMore,
34 cl::desc("A count is hot if it exceeds the minimum count to"
35 " reach this percentile of total counts."));
36
37static cl::opt<int> ProfileSummaryCutoffCold(
38 "profile-summary-cutoff-cold", cl::Hidden, cl::init(999999), cl::ZeroOrMore,
39 cl::desc("A count is cold if it is below the minimum count"
40 " to reach this percentile of total counts."));
41
Dehao Chenf58df392017-08-03 17:11:41 +000042static cl::opt<bool> AccurateSampleProfile(
43 "accurate-sample-profile", cl::Hidden, cl::init(false),
44 cl::desc("If the sample profile is accurate, we will mark all un-sampled "
45 "callsite as cold. Otherwise, treat un-sampled callsites as if "
46 "we have no profile."));
Teresa Johnson8482e562017-08-03 23:42:58 +000047static cl::opt<unsigned> ProfileSummaryHugeWorkingSetSizeThreshold(
48 "profile-summary-huge-working-set-size-threshold", cl::Hidden,
49 cl::init(15000), cl::ZeroOrMore,
50 cl::desc("The code working set size is considered huge if the number of"
51 " blocks required to reach the -profile-summary-cutoff-hot"
52 " percentile exceeds this count."));
Dehao Chenf58df392017-08-03 17:11:41 +000053
Teresa Johnson8482e562017-08-03 23:42:58 +000054// Find the summary entry for a desired percentile of counts.
55static const ProfileSummaryEntry &getEntryForPercentile(SummaryEntryVector &DS,
56 uint64_t Percentile) {
Easwaran Raman019e0bf2016-06-03 22:54:26 +000057 auto Compare = [](const ProfileSummaryEntry &Entry, uint64_t Percentile) {
58 return Entry.Cutoff < Percentile;
59 };
60 auto It = std::lower_bound(DS.begin(), DS.end(), Percentile, Compare);
61 // The required percentile has to be <= one of the percentiles in the
62 // detailed summary.
63 if (It == DS.end())
64 report_fatal_error("Desired percentile exceeds the maximum cutoff");
Teresa Johnson8482e562017-08-03 23:42:58 +000065 return *It;
Easwaran Raman019e0bf2016-06-03 22:54:26 +000066}
67
68// The profile summary metadata may be attached either by the frontend or by
69// any backend passes (IR level instrumentation, for example). This method
70// checks if the Summary is null and if so checks if the summary metadata is now
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000071// available in the module and parses it to get the Summary object. Returns true
72// if a valid Summary is available.
73bool ProfileSummaryInfo::computeSummary() {
Easwaran Raman019e0bf2016-06-03 22:54:26 +000074 if (Summary)
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000075 return true;
Dehao Chen5461d8b2016-09-28 21:00:58 +000076 auto *SummaryMD = M.getProfileSummary();
Easwaran Raman019e0bf2016-06-03 22:54:26 +000077 if (!SummaryMD)
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000078 return false;
Easwaran Raman019e0bf2016-06-03 22:54:26 +000079 Summary.reset(ProfileSummary::getFromMD(SummaryMD));
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000080 return true;
Easwaran Raman019e0bf2016-06-03 22:54:26 +000081}
82
Dehao Chenc2048152017-03-10 19:45:16 +000083Optional<uint64_t>
84ProfileSummaryInfo::getProfileCount(const Instruction *Inst,
85 BlockFrequencyInfo *BFI) {
86 if (!Inst)
87 return None;
88 assert((isa<CallInst>(Inst) || isa<InvokeInst>(Inst)) &&
89 "We can only get profile count for call/invoke instruction.");
Easwaran Ramandadc0f12017-05-16 20:14:39 +000090 if (hasSampleProfile()) {
Teresa Johnson2a6b7992017-05-11 23:18:05 +000091 // In sample PGO mode, check if there is a profile metadata on the
92 // instruction. If it is present, determine hotness solely based on that,
Dehao Chenf58df392017-08-03 17:11:41 +000093 // since the sampled entry count may not be accurate. If there is no
94 // annotated on the instruction, return None.
Teresa Johnson2a6b7992017-05-11 23:18:05 +000095 uint64_t TotalCount;
96 if (Inst->extractProfTotalWeight(TotalCount))
97 return TotalCount;
Dehao Chenf58df392017-08-03 17:11:41 +000098 return None;
Teresa Johnson2a6b7992017-05-11 23:18:05 +000099 }
Dehao Chenc2048152017-03-10 19:45:16 +0000100 if (BFI)
101 return BFI->getBlockProfileCount(Inst->getParent());
102 return None;
103}
104
Dehao Chen84287ab2016-10-10 21:47:28 +0000105/// Returns true if the function's entry is hot. If it returns false, it
106/// either means it is not hot or it is unknown whether it is hot or not (for
Piotr Padlewskif3d122c2016-09-30 21:05:49 +0000107/// example, no profile data is available).
Dehao Chen84287ab2016-10-10 21:47:28 +0000108bool ProfileSummaryInfo::isFunctionEntryHot(const Function *F) {
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +0000109 if (!F || !computeSummary())
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000110 return false;
111 auto FunctionCount = F->getEntryCount();
112 // FIXME: The heuristic used below for determining hotness is based on
113 // preliminary SPEC tuning for inliner. This will eventually be a
114 // convenience method that calls isHotCount.
Dehao Chenc87bc792016-10-11 05:19:00 +0000115 return FunctionCount && isHotCount(FunctionCount.getValue());
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000116}
117
Dehao Chen775341a2017-03-23 23:14:11 +0000118/// Returns true if the function's entry or total call edge count is hot.
119/// If it returns false, it either means it is not hot or it is unknown
120/// whether it is hot or not (for example, no profile data is available).
121bool ProfileSummaryInfo::isFunctionHotInCallGraph(const Function *F) {
122 if (!F || !computeSummary())
123 return false;
124 if (auto FunctionCount = F->getEntryCount())
125 if (isHotCount(FunctionCount.getValue()))
126 return true;
127
128 uint64_t TotalCallCount = 0;
129 for (const auto &BB : *F)
130 for (const auto &I : BB)
131 if (isa<CallInst>(I) || isa<InvokeInst>(I))
132 if (auto CallCount = getProfileCount(&I, nullptr))
133 TotalCallCount += CallCount.getValue();
134 return isHotCount(TotalCallCount);
135}
136
137/// Returns true if the function's entry and total call edge count is cold.
138/// If it returns false, it either means it is not cold or it is unknown
139/// whether it is cold or not (for example, no profile data is available).
140bool ProfileSummaryInfo::isFunctionColdInCallGraph(const Function *F) {
141 if (!F || !computeSummary())
142 return false;
143 if (auto FunctionCount = F->getEntryCount())
144 if (!isColdCount(FunctionCount.getValue()))
145 return false;
146
147 uint64_t TotalCallCount = 0;
148 for (const auto &BB : *F)
149 for (const auto &I : BB)
150 if (isa<CallInst>(I) || isa<InvokeInst>(I))
151 if (auto CallCount = getProfileCount(&I, nullptr))
152 TotalCallCount += CallCount.getValue();
153 return isColdCount(TotalCallCount);
154}
155
Dehao Chen84287ab2016-10-10 21:47:28 +0000156/// Returns true if the function's entry is a cold. If it returns false, it
157/// either means it is not cold or it is unknown whether it is cold or not (for
Piotr Padlewskif3d122c2016-09-30 21:05:49 +0000158/// example, no profile data is available).
Dehao Chen84287ab2016-10-10 21:47:28 +0000159bool ProfileSummaryInfo::isFunctionEntryCold(const Function *F) {
Richard Trieufae70b62016-06-10 01:42:05 +0000160 if (!F)
161 return false;
Davide Italiano574e5972017-03-10 20:50:51 +0000162 if (F->hasFnAttribute(Attribute::Cold))
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000163 return true;
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +0000164 if (!computeSummary())
Richard Trieufae70b62016-06-10 01:42:05 +0000165 return false;
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000166 auto FunctionCount = F->getEntryCount();
167 // FIXME: The heuristic used below for determining coldness is based on
168 // preliminary SPEC tuning for inliner. This will eventually be a
169 // convenience method that calls isHotCount.
Dehao Chenc87bc792016-10-11 05:19:00 +0000170 return FunctionCount && isColdCount(FunctionCount.getValue());
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000171}
172
Piotr Padlewskif3d122c2016-09-30 21:05:49 +0000173/// Compute the hot and cold thresholds.
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000174void ProfileSummaryInfo::computeThresholds() {
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +0000175 if (!computeSummary())
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000176 return;
177 auto &DetailedSummary = Summary->getDetailedSummary();
Teresa Johnson8482e562017-08-03 23:42:58 +0000178 auto &HotEntry =
179 getEntryForPercentile(DetailedSummary, ProfileSummaryCutoffHot);
180 HotCountThreshold = HotEntry.MinCount;
181 auto &ColdEntry =
182 getEntryForPercentile(DetailedSummary, ProfileSummaryCutoffCold);
183 ColdCountThreshold = ColdEntry.MinCount;
184 HasHugeWorkingSetSize =
185 HotEntry.NumCounts > ProfileSummaryHugeWorkingSetSizeThreshold;
186}
187
188bool ProfileSummaryInfo::hasHugeWorkingSetSize() {
189 if (!HasHugeWorkingSetSize)
190 computeThresholds();
191 return HasHugeWorkingSetSize && HasHugeWorkingSetSize.getValue();
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000192}
193
194bool ProfileSummaryInfo::isHotCount(uint64_t C) {
195 if (!HotCountThreshold)
196 computeThresholds();
197 return HotCountThreshold && C >= HotCountThreshold.getValue();
198}
199
200bool ProfileSummaryInfo::isColdCount(uint64_t C) {
201 if (!ColdCountThreshold)
202 computeThresholds();
203 return ColdCountThreshold && C <= ColdCountThreshold.getValue();
204}
205
Dehao Chen38a666d2016-11-09 23:36:02 +0000206bool ProfileSummaryInfo::isHotBB(const BasicBlock *B, BlockFrequencyInfo *BFI) {
207 auto Count = BFI->getBlockProfileCount(B);
Dehao Chen22645ee2017-03-10 01:44:37 +0000208 return Count && isHotCount(*Count);
Easwaran Ramanb035f912017-01-13 01:34:00 +0000209}
210
211bool ProfileSummaryInfo::isColdBB(const BasicBlock *B,
212 BlockFrequencyInfo *BFI) {
213 auto Count = BFI->getBlockProfileCount(B);
214 return Count && isColdCount(*Count);
215}
216
Easwaran Ramanb035f912017-01-13 01:34:00 +0000217bool ProfileSummaryInfo::isHotCallSite(const CallSite &CS,
218 BlockFrequencyInfo *BFI) {
Dehao Chenc2048152017-03-10 19:45:16 +0000219 auto C = getProfileCount(CS.getInstruction(), BFI);
220 return C && isHotCount(*C);
Easwaran Ramanb035f912017-01-13 01:34:00 +0000221}
222
223bool ProfileSummaryInfo::isColdCallSite(const CallSite &CS,
224 BlockFrequencyInfo *BFI) {
Dehao Chenc2048152017-03-10 19:45:16 +0000225 auto C = getProfileCount(CS.getInstruction(), BFI);
Dehao Chenf58df392017-08-03 17:11:41 +0000226 if (C)
227 return isColdCount(*C);
228
229 // In SamplePGO, if the caller has been sampled, and there is no profile
230 // annotatedon the callsite, we consider the callsite as cold.
231 // If there is no profile for the caller, and we know the profile is
232 // accurate, we consider the callsite as cold.
233 return (hasSampleProfile() &&
234 (CS.getCaller()->getEntryCount() || AccurateSampleProfile));
Dehao Chen38a666d2016-11-09 23:36:02 +0000235}
236
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000237INITIALIZE_PASS(ProfileSummaryInfoWrapperPass, "profile-summary-info",
238 "Profile summary info", false, true)
239
240ProfileSummaryInfoWrapperPass::ProfileSummaryInfoWrapperPass()
241 : ImmutablePass(ID) {
242 initializeProfileSummaryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
243}
244
Dehao Chen5461d8b2016-09-28 21:00:58 +0000245bool ProfileSummaryInfoWrapperPass::doInitialization(Module &M) {
246 PSI.reset(new ProfileSummaryInfo(M));
247 return false;
248}
249
250bool ProfileSummaryInfoWrapperPass::doFinalization(Module &M) {
251 PSI.reset();
252 return false;
253}
254
Chandler Carruthdab4eae2016-11-23 17:53:26 +0000255AnalysisKey ProfileSummaryAnalysis::Key;
Chandler Carruth164a2aa62016-06-17 00:11:01 +0000256ProfileSummaryInfo ProfileSummaryAnalysis::run(Module &M,
257 ModuleAnalysisManager &) {
Dehao Chen5461d8b2016-09-28 21:00:58 +0000258 return ProfileSummaryInfo(M);
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000259}
260
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000261PreservedAnalyses ProfileSummaryPrinterPass::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +0000262 ModuleAnalysisManager &AM) {
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000263 ProfileSummaryInfo &PSI = AM.getResult<ProfileSummaryAnalysis>(M);
264
265 OS << "Functions in " << M.getName() << " with hot/cold annotations: \n";
266 for (auto &F : M) {
267 OS << F.getName();
Dehao Chen84287ab2016-10-10 21:47:28 +0000268 if (PSI.isFunctionEntryHot(&F))
269 OS << " :hot entry ";
270 else if (PSI.isFunctionEntryCold(&F))
271 OS << " :cold entry ";
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000272 OS << "\n";
273 }
274 return PreservedAnalyses::all();
275}
276
277char ProfileSummaryInfoWrapperPass::ID = 0;