blob: aacd0f24956c151f0038ecfd3703854c62932c3b [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
42// Find the minimum count to reach a desired percentile of counts.
43static uint64_t getMinCountForPercentile(SummaryEntryVector &DS,
44 uint64_t Percentile) {
45 auto Compare = [](const ProfileSummaryEntry &Entry, uint64_t Percentile) {
46 return Entry.Cutoff < Percentile;
47 };
48 auto It = std::lower_bound(DS.begin(), DS.end(), Percentile, Compare);
49 // The required percentile has to be <= one of the percentiles in the
50 // detailed summary.
51 if (It == DS.end())
52 report_fatal_error("Desired percentile exceeds the maximum cutoff");
53 return It->MinCount;
54}
55
56// The profile summary metadata may be attached either by the frontend or by
57// any backend passes (IR level instrumentation, for example). This method
58// checks if the Summary is null and if so checks if the summary metadata is now
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000059// available in the module and parses it to get the Summary object. Returns true
60// if a valid Summary is available.
61bool ProfileSummaryInfo::computeSummary() {
Easwaran Raman019e0bf2016-06-03 22:54:26 +000062 if (Summary)
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000063 return true;
Dehao Chen5461d8b2016-09-28 21:00:58 +000064 auto *SummaryMD = M.getProfileSummary();
Easwaran Raman019e0bf2016-06-03 22:54:26 +000065 if (!SummaryMD)
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000066 return false;
Easwaran Raman019e0bf2016-06-03 22:54:26 +000067 Summary.reset(ProfileSummary::getFromMD(SummaryMD));
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000068 return true;
Easwaran Raman019e0bf2016-06-03 22:54:26 +000069}
70
Dehao Chenc2048152017-03-10 19:45:16 +000071Optional<uint64_t>
72ProfileSummaryInfo::getProfileCount(const Instruction *Inst,
73 BlockFrequencyInfo *BFI) {
74 if (!Inst)
75 return None;
76 assert((isa<CallInst>(Inst) || isa<InvokeInst>(Inst)) &&
77 "We can only get profile count for call/invoke instruction.");
78 // Check if there is a profile metadata on the instruction. If it is present,
79 // determine hotness solely based on that.
80 uint64_t TotalCount;
81 if (Inst->extractProfTotalWeight(TotalCount))
82 return TotalCount;
83 if (BFI)
84 return BFI->getBlockProfileCount(Inst->getParent());
85 return None;
86}
87
Dehao Chen84287ab2016-10-10 21:47:28 +000088/// Returns true if the function's entry is hot. If it returns false, it
89/// either means it is not hot or it is unknown whether it is hot or not (for
Piotr Padlewskif3d122c2016-09-30 21:05:49 +000090/// example, no profile data is available).
Dehao Chen84287ab2016-10-10 21:47:28 +000091bool ProfileSummaryInfo::isFunctionEntryHot(const Function *F) {
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +000092 if (!F || !computeSummary())
Easwaran Raman019e0bf2016-06-03 22:54:26 +000093 return false;
94 auto FunctionCount = F->getEntryCount();
95 // FIXME: The heuristic used below for determining hotness is based on
96 // preliminary SPEC tuning for inliner. This will eventually be a
97 // convenience method that calls isHotCount.
Dehao Chenc87bc792016-10-11 05:19:00 +000098 return FunctionCount && isHotCount(FunctionCount.getValue());
Easwaran Raman019e0bf2016-06-03 22:54:26 +000099}
100
Dehao Chen84287ab2016-10-10 21:47:28 +0000101/// Returns true if the function's entry is a cold. If it returns false, it
102/// either means it is not cold or it is unknown whether it is cold or not (for
Piotr Padlewskif3d122c2016-09-30 21:05:49 +0000103/// example, no profile data is available).
Dehao Chen84287ab2016-10-10 21:47:28 +0000104bool ProfileSummaryInfo::isFunctionEntryCold(const Function *F) {
Richard Trieufae70b62016-06-10 01:42:05 +0000105 if (!F)
106 return false;
Davide Italiano574e5972017-03-10 20:50:51 +0000107 if (F->hasFnAttribute(Attribute::Cold))
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000108 return true;
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +0000109 if (!computeSummary())
Richard Trieufae70b62016-06-10 01:42:05 +0000110 return false;
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000111 auto FunctionCount = F->getEntryCount();
112 // FIXME: The heuristic used below for determining coldness 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 && isColdCount(FunctionCount.getValue());
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000116}
117
Piotr Padlewskif3d122c2016-09-30 21:05:49 +0000118/// Compute the hot and cold thresholds.
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000119void ProfileSummaryInfo::computeThresholds() {
Easwaran Ramana7bdb8a2017-01-14 00:32:37 +0000120 if (!computeSummary())
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000121 return;
122 auto &DetailedSummary = Summary->getDetailedSummary();
123 HotCountThreshold =
124 getMinCountForPercentile(DetailedSummary, ProfileSummaryCutoffHot);
125 ColdCountThreshold =
126 getMinCountForPercentile(DetailedSummary, ProfileSummaryCutoffCold);
127}
128
129bool ProfileSummaryInfo::isHotCount(uint64_t C) {
130 if (!HotCountThreshold)
131 computeThresholds();
132 return HotCountThreshold && C >= HotCountThreshold.getValue();
133}
134
135bool ProfileSummaryInfo::isColdCount(uint64_t C) {
136 if (!ColdCountThreshold)
137 computeThresholds();
138 return ColdCountThreshold && C <= ColdCountThreshold.getValue();
139}
140
Dehao Chen38a666d2016-11-09 23:36:02 +0000141bool ProfileSummaryInfo::isHotBB(const BasicBlock *B, BlockFrequencyInfo *BFI) {
142 auto Count = BFI->getBlockProfileCount(B);
Dehao Chen22645ee2017-03-10 01:44:37 +0000143 return Count && isHotCount(*Count);
Easwaran Ramanb035f912017-01-13 01:34:00 +0000144}
145
146bool ProfileSummaryInfo::isColdBB(const BasicBlock *B,
147 BlockFrequencyInfo *BFI) {
148 auto Count = BFI->getBlockProfileCount(B);
149 return Count && isColdCount(*Count);
150}
151
Easwaran Ramanb035f912017-01-13 01:34:00 +0000152bool ProfileSummaryInfo::isHotCallSite(const CallSite &CS,
153 BlockFrequencyInfo *BFI) {
Dehao Chenc2048152017-03-10 19:45:16 +0000154 auto C = getProfileCount(CS.getInstruction(), BFI);
155 return C && isHotCount(*C);
Easwaran Ramanb035f912017-01-13 01:34:00 +0000156}
157
158bool ProfileSummaryInfo::isColdCallSite(const CallSite &CS,
159 BlockFrequencyInfo *BFI) {
Dehao Chenc2048152017-03-10 19:45:16 +0000160 auto C = getProfileCount(CS.getInstruction(), BFI);
161 return C && isColdCount(*C);
Dehao Chen38a666d2016-11-09 23:36:02 +0000162}
163
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000164INITIALIZE_PASS(ProfileSummaryInfoWrapperPass, "profile-summary-info",
165 "Profile summary info", false, true)
166
167ProfileSummaryInfoWrapperPass::ProfileSummaryInfoWrapperPass()
168 : ImmutablePass(ID) {
169 initializeProfileSummaryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
170}
171
Dehao Chen5461d8b2016-09-28 21:00:58 +0000172bool ProfileSummaryInfoWrapperPass::doInitialization(Module &M) {
173 PSI.reset(new ProfileSummaryInfo(M));
174 return false;
175}
176
177bool ProfileSummaryInfoWrapperPass::doFinalization(Module &M) {
178 PSI.reset();
179 return false;
180}
181
Chandler Carruthdab4eae2016-11-23 17:53:26 +0000182AnalysisKey ProfileSummaryAnalysis::Key;
Chandler Carruth164a2aa62016-06-17 00:11:01 +0000183ProfileSummaryInfo ProfileSummaryAnalysis::run(Module &M,
184 ModuleAnalysisManager &) {
Dehao Chen5461d8b2016-09-28 21:00:58 +0000185 return ProfileSummaryInfo(M);
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000186}
187
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000188PreservedAnalyses ProfileSummaryPrinterPass::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +0000189 ModuleAnalysisManager &AM) {
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000190 ProfileSummaryInfo &PSI = AM.getResult<ProfileSummaryAnalysis>(M);
191
192 OS << "Functions in " << M.getName() << " with hot/cold annotations: \n";
193 for (auto &F : M) {
194 OS << F.getName();
Dehao Chen84287ab2016-10-10 21:47:28 +0000195 if (PSI.isFunctionEntryHot(&F))
196 OS << " :hot entry ";
197 else if (PSI.isFunctionEntryCold(&F))
198 OS << " :cold entry ";
Easwaran Raman019e0bf2016-06-03 22:54:26 +0000199 OS << "\n";
200 }
201 return PreservedAnalyses::all();
202}
203
204char ProfileSummaryInfoWrapperPass::ID = 0;