LLVM 22.0.0git
ProfileSummaryInfo.cpp
Go to the documentation of this file.
1//===- ProfileSummaryInfo.cpp - Global profile summary information --------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains a pass that provides access to the global profile summary
10// information.
11//
12//===----------------------------------------------------------------------===//
13
16#include "llvm/IR/BasicBlock.h"
18#include "llvm/IR/Module.h"
24#include <optional>
25using namespace llvm;
26
27namespace llvm {
28
30 "partial-profile", cl::Hidden, cl::init(false),
31 cl::desc("Specify the current profile is used as a partial profile."));
32
34 "scale-partial-sample-profile-working-set-size", cl::Hidden, cl::init(true),
36 "If true, scale the working set size of the partial sample profile "
37 "by the partial profile ratio to reflect the size of the program "
38 "being compiled."));
39
41 "partial-sample-profile-working-set-size-scale-factor", cl::Hidden,
42 cl::init(0.008),
43 cl::desc("The scale factor used to scale the working set size of the "
44 "partial sample profile along with the partial profile ratio. "
45 "This includes the factor of the profile counter per block "
46 "and the factor to scale the working set size to use the same "
47 "shared thresholds as PGO."));
48
49} // end namespace llvm
50
51// The profile summary metadata may be attached either by the frontend or by
52// any backend passes (IR level instrumentation, for example). This method
53// checks if the Summary is null and if so checks if the summary metadata is now
54// available in the module and parses it to get the Summary object.
55void ProfileSummaryInfo::refresh(std::unique_ptr<ProfileSummary> &&Other) {
56 if (Other) {
57 Summary.swap(Other);
58 return;
59 }
61 return;
62 // First try to get context sensitive ProfileSummary.
63 auto *SummaryMD = M->getProfileSummary(/* IsCS */ true);
64 if (SummaryMD)
65 Summary.reset(ProfileSummary::getFromMD(SummaryMD));
66
67 if (!hasProfileSummary()) {
68 // This will actually return PSK_Instr or PSK_Sample summary.
69 SummaryMD = M->getProfileSummary(/* IsCS */ false);
70 if (SummaryMD)
71 Summary.reset(ProfileSummary::getFromMD(SummaryMD));
72 }
73 if (!hasProfileSummary())
74 return;
75 computeThresholds();
76}
77
79 const CallBase &Call, BlockFrequencyInfo *BFI, bool AllowSynthetic) const {
81 "We can only get profile count for call/invoke instruction.");
82 if (hasSampleProfile()) {
83 // In sample PGO mode, check if there is a profile metadata on the
84 // instruction. If it is present, determine hotness solely based on that,
85 // since the sampled entry count may not be accurate. If there is no
86 // annotated on the instruction, return std::nullopt.
87 uint64_t TotalCount;
88 if (Call.extractProfTotalWeight(TotalCount))
89 return TotalCount;
90 return std::nullopt;
91 }
92 if (BFI)
93 return BFI->getBlockProfileCount(Call.getParent(), AllowSynthetic);
94 return std::nullopt;
95}
96
98 assert(hasPartialSampleProfile() && "Expect partial sample profile");
99 return !F.getEntryCount();
100}
101
102/// Returns true if the function's entry is a cold. If it returns false, it
103/// either means it is not cold or it is unknown whether it is cold or not (for
104/// example, no profile data is available).
106 if (!F)
107 return false;
108 if (F->hasFnAttribute(Attribute::Cold))
109 return true;
110 if (!hasProfileSummary())
111 return false;
112 auto FunctionCount = F->getEntryCount();
113 // FIXME: The heuristic used below for determining coldness is based on
114 // preliminary SPEC tuning for inliner. This will eventually be a
115 // convenience method that calls isHotCount.
116 return FunctionCount && isColdCount(FunctionCount->getCount());
117}
118
119/// Compute the hot and cold thresholds.
120void ProfileSummaryInfo::computeThresholds() {
121 auto &DetailedSummary = Summary->getDetailedSummary();
123 DetailedSummary, ProfileSummaryCutoffHot);
124 HotCountThreshold =
128 // When the hot and cold thresholds are identical, we would classify
129 // a count value as both hot and cold since we are doing an inclusive check
130 // (see ::is{Hot|Cold}Count(). To avoid this undesirable overlap, ensure the
131 // thresholds are distinct.
132 if (HotCountThreshold == ColdCountThreshold) {
133 if (ColdCountThreshold > 0)
134 (*ColdCountThreshold)--;
135 else
136 (*HotCountThreshold)++;
137 }
138 assert(ColdCountThreshold < HotCountThreshold &&
139 "Cold count threshold should be less than hot count threshold!");
141 HasHugeWorkingSetSize =
143 HasLargeWorkingSetSize =
145 } else {
146 // Scale the working set size of the partial sample profile to reflect the
147 // size of the program being compiled.
148 double PartialProfileRatio = Summary->getPartialProfileRatio();
149 uint64_t ScaledHotEntryNumCounts =
150 static_cast<uint64_t>(HotEntry.NumCounts * PartialProfileRatio *
152 HasHugeWorkingSetSize =
153 ScaledHotEntryNumCounts > ProfileSummaryHugeWorkingSetSizeThreshold;
154 HasLargeWorkingSetSize =
155 ScaledHotEntryNumCounts > ProfileSummaryLargeWorkingSetSizeThreshold;
156 }
157}
158
159std::optional<uint64_t>
160ProfileSummaryInfo::computeThreshold(int PercentileCutoff) const {
161 if (!hasProfileSummary())
162 return std::nullopt;
163 auto [Iter, Inserted] = ThresholdCache.try_emplace(PercentileCutoff);
164 if (!Inserted)
165 return Iter->second;
166 auto &DetailedSummary = Summary->getDetailedSummary();
169 uint64_t CountThreshold = Entry.MinCount;
170 Iter->second = CountThreshold;
171 return CountThreshold;
172}
173
175 return HasHugeWorkingSetSize && *HasHugeWorkingSetSize;
176}
177
179 return HasLargeWorkingSetSize && *HasLargeWorkingSetSize;
180}
181
183 return HotCountThreshold && C >= *HotCountThreshold;
184}
185
187 return ColdCountThreshold && C <= *ColdCountThreshold;
188}
189
190template <bool isHot>
191bool ProfileSummaryInfo::isHotOrColdCountNthPercentile(int PercentileCutoff,
192 uint64_t C) const {
193 auto CountThreshold = computeThreshold(PercentileCutoff);
194 if (isHot)
195 return CountThreshold && C >= *CountThreshold;
196 else
197 return CountThreshold && C <= *CountThreshold;
198}
199
201 uint64_t C) const {
202 return isHotOrColdCountNthPercentile<true>(PercentileCutoff, C);
203}
204
206 uint64_t C) const {
207 return isHotOrColdCountNthPercentile<false>(PercentileCutoff, C);
208}
209
211 return HotCountThreshold.value_or(UINT64_MAX);
212}
213
215 return ColdCountThreshold.value_or(0);
216}
217
219 BlockFrequencyInfo *BFI) const {
220 auto C = getProfileCount(CB, BFI);
221 return C && isHotCount(*C);
222}
223
225 BlockFrequencyInfo *BFI) const {
226 auto C = getProfileCount(CB, BFI);
227 if (C)
228 return isColdCount(*C);
229
230 // In SamplePGO, if the caller has been sampled, and there is no profile
231 // annotated on the callsite, we consider the callsite as cold.
232 return hasSampleProfile() && CB.getCaller()->hasProfileData();
233}
234
236 return hasProfileSummary() &&
237 Summary->getKind() == ProfileSummary::PSK_Sample &&
238 (PartialProfile || Summary->isPartialProfile());
239}
240
242 "Profile summary info", false, true)
243
245 : ImmutablePass(ID) {}
246
248 PSI.reset(new ProfileSummaryInfo(M));
249 return false;
250}
251
253 PSI.reset();
254 return false;
255}
256
257AnalysisKey ProfileSummaryAnalysis::Key;
262
266
267 OS << "Functions in " << M.getName() << " with hot/cold annotations: \n";
268 for (auto &F : M) {
269 OS << F.getName();
270 if (PSI.isFunctionEntryHot(&F))
271 OS << " :hot entry ";
272 else if (PSI.isFunctionEntryCold(&F))
273 OS << " :cold entry ";
274 OS << "\n";
275 }
276 return PreservedAnalyses::all();
277}
278
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
#define LLVM_ABI
Definition Compiler.h:213
static cl::opt< unsigned > CountThreshold("hexagon-cext-threshold", cl::init(3), cl::Hidden, cl::desc("Minimum number of extenders to trigger replacement"))
Module.h This file contains the declarations for the Module class.
#define F(x, y, z)
Definition MD5.cpp:55
static cl::opt< unsigned > ColdCountThreshold("mfs-count-threshold", cl::desc("Minimum number of times a block must be executed to be retained."), cl::init(1), cl::Hidden)
static cl::opt< unsigned > PercentileCutoff("mfs-psi-cutoff", cl::desc("Percentile profile summary cutoff used to " "determine cold blocks. Unused if set to zero."), cl::init(999950), cl::Hidden)
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
LLVM_ABI Function * getCaller()
Helper to get the caller (the parent function).
bool hasProfileData(bool IncludeSynthetic=false) const
Return true if the function is annotated with profile data.
Definition Function.h:334
ImmutablePass class - This class is used to provide information that does not need to be run.
Definition Pass.h:285
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
An analysis pass based on the new PM to deliver ProfileSummaryInfo.
LLVM_ABI Result run(Module &M, ModuleAnalysisManager &)
static LLVM_ABI const ProfileSummaryEntry & getEntryForPercentile(const SummaryEntryVector &DS, uint64_t Percentile)
Find the summary entry for a desired percentile of counts.
static LLVM_ABI uint64_t getHotCountThreshold(const SummaryEntryVector &DS)
static LLVM_ABI uint64_t getColdCountThreshold(const SummaryEntryVector &DS)
An analysis pass based on legacy pass manager to deliver ProfileSummaryInfo.
bool doFinalization(Module &M) override
doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes...
bool doInitialization(Module &M) override
doInitialization - Virtual method overridden by subclasses to do any necessary initialization before ...
Analysis providing profile information.
LLVM_ABI uint64_t getOrCompColdCountThreshold() const
Returns ColdCountThreshold if set.
bool hasProfileSummary() const
Returns true if profile summary is available.
LLVM_ABI bool isFunctionHotnessUnknown(const Function &F) const
Returns true if the hotness of F is unknown.
LLVM_ABI std::optional< uint64_t > getProfileCount(const CallBase &CallInst, BlockFrequencyInfo *BFI, bool AllowSynthetic=false) const
Returns the profile count for CallInst.
bool hasSampleProfile() const
Returns true if module M has sample profile.
bool isFunctionEntryHot(const FuncT *F) const
Returns true if F has hot function entry.
LLVM_ABI bool isColdCount(uint64_t C) const
Returns true if count C is considered cold.
LLVM_ABI bool isColdCountNthPercentile(int PercentileCutoff, uint64_t C) const
Returns true if count C is considered cold with regard to a given cold percentile cutoff value.
LLVM_ABI void refresh(std::unique_ptr< ProfileSummary > &&Other=nullptr)
If a summary is provided as argument, use that.
LLVM_ABI bool isHotCountNthPercentile(int PercentileCutoff, uint64_t C) const
Returns true if count C is considered hot with regard to a given hot percentile cutoff value.
LLVM_ABI bool hasPartialSampleProfile() const
Returns true if module M has partial-profile sample profile.
LLVM_ABI bool hasLargeWorkingSetSize() const
Returns true if the working set size of the code is considered large.
LLVM_ABI bool isColdCallSite(const CallBase &CB, BlockFrequencyInfo *BFI) const
Returns true if call site CB is considered cold.
LLVM_ABI bool isHotCallSite(const CallBase &CB, BlockFrequencyInfo *BFI) const
Returns true if the call site CB is considered hot.
LLVM_ABI bool isHotCount(uint64_t C) const
Returns true if count C is considered hot.
LLVM_ABI bool hasHugeWorkingSetSize() const
Returns true if the working set size of the code is considered huge.
LLVM_ABI uint64_t getOrCompHotCountThreshold() const
Returns HotCountThreshold if set.
LLVM_ABI bool isFunctionEntryCold(const Function *F) const
Returns true if F has cold function entry.
LLVM_ABI PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
static LLVM_ABI ProfileSummary * getFromMD(Metadata *MD)
Construct profile summary from metdata.
CallInst * Call
#define UINT64_MAX
Definition DataTypes.h:77
@ Entry
Definition COFF.h:862
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
static cl::opt< double > PartialSampleProfileWorkingSetSizeScaleFactor("partial-sample-profile-working-set-size-scale-factor", cl::Hidden, cl::init(0.008), cl::desc("The scale factor used to scale the working set size of the " "partial sample profile along with the partial profile ratio. " "This includes the factor of the profile counter per block " "and the factor to scale the working set size to use the same " "shared thresholds as PGO."))
LLVM_ABI cl::opt< bool > ScalePartialSampleProfileWorkingSetSize
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:548
@ Other
Any other memory.
Definition ModRef.h:68
LLVM_ABI cl::opt< unsigned > ProfileSummaryLargeWorkingSetSizeThreshold
static cl::opt< bool > PartialProfile("partial-profile", cl::Hidden, cl::init(false), cl::desc("Specify the current profile is used as a partial profile."))
LLVM_ABI cl::opt< int > ProfileSummaryCutoffHot
LLVM_ABI cl::opt< unsigned > ProfileSummaryHugeWorkingSetSizeThreshold
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29