LLVM 23.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
78std::optional<uint64_t>
80 BlockFrequencyInfo *BFI) const {
82 "We can only get profile count for call/invoke instruction.");
83 if (hasSampleProfile()) {
84 // In sample PGO mode, check if there is a profile metadata on the
85 // instruction. If it is present, determine hotness solely based on that,
86 // since the sampled entry count may not be accurate. If there is no
87 // annotated on the instruction, return std::nullopt.
88 uint64_t TotalCount;
89 if (Call.extractProfTotalWeight(TotalCount))
90 return TotalCount;
91 return std::nullopt;
92 }
93 if (BFI)
94 return BFI->getBlockProfileCount(Call.getParent());
95 return std::nullopt;
96}
97
99 assert(hasPartialSampleProfile() && "Expect partial sample profile");
100 return !F.getEntryCount();
101}
102
103/// Returns true if the function's entry is a cold. If it returns false, it
104/// either means it is not cold or it is unknown whether it is cold or not (for
105/// example, no profile data is available).
107 if (!F)
108 return false;
109 if (F->hasFnAttribute(Attribute::Cold))
110 return true;
111 if (!hasProfileSummary())
112 return false;
113 auto FunctionCount = F->getEntryCount();
114 // FIXME: The heuristic used below for determining coldness is based on
115 // preliminary SPEC tuning for inliner. This will eventually be a
116 // convenience method that calls isHotCount.
117 return FunctionCount && isColdCount(*FunctionCount);
118}
119
120/// Compute the hot and cold thresholds.
121void ProfileSummaryInfo::computeThresholds() {
122 auto &DetailedSummary = Summary->getDetailedSummary();
124 DetailedSummary, ProfileSummaryCutoffHot);
125 HotCountThreshold =
129 // When the hot and cold thresholds are identical, we would classify
130 // a count value as both hot and cold since we are doing an inclusive check
131 // (see ::is{Hot|Cold}Count(). To avoid this undesirable overlap, ensure the
132 // thresholds are distinct.
133 if (HotCountThreshold == ColdCountThreshold) {
134 if (ColdCountThreshold > 0)
135 (*ColdCountThreshold)--;
136 else
137 (*HotCountThreshold)++;
138 }
139 assert(ColdCountThreshold < HotCountThreshold &&
140 "Cold count threshold should be less than hot count threshold!");
142 HasHugeWorkingSetSize =
144 HasLargeWorkingSetSize =
146 } else {
147 // Scale the working set size of the partial sample profile to reflect the
148 // size of the program being compiled.
149 double PartialProfileRatio = Summary->getPartialProfileRatio();
150 uint64_t ScaledHotEntryNumCounts =
151 static_cast<uint64_t>(HotEntry.NumCounts * PartialProfileRatio *
153 HasHugeWorkingSetSize =
154 ScaledHotEntryNumCounts > ProfileSummaryHugeWorkingSetSizeThreshold;
155 HasLargeWorkingSetSize =
156 ScaledHotEntryNumCounts > ProfileSummaryLargeWorkingSetSizeThreshold;
157 }
158}
159
160std::optional<uint64_t>
161ProfileSummaryInfo::computeThreshold(int PercentileCutoff) const {
162 if (!hasProfileSummary())
163 return std::nullopt;
164 auto [Iter, Inserted] = ThresholdCache.try_emplace(PercentileCutoff);
165 if (!Inserted)
166 return Iter->second;
167 auto &DetailedSummary = Summary->getDetailedSummary();
170 uint64_t CountThreshold = Entry.MinCount;
171 Iter->second = CountThreshold;
172 return CountThreshold;
173}
174
176 return HasHugeWorkingSetSize && *HasHugeWorkingSetSize;
177}
178
180 return HasLargeWorkingSetSize && *HasLargeWorkingSetSize;
181}
182
184 return HotCountThreshold && C >= *HotCountThreshold;
185}
186
188 return ColdCountThreshold && C <= *ColdCountThreshold;
189}
190
191template <bool isHot>
192bool ProfileSummaryInfo::isHotOrColdCountNthPercentile(int PercentileCutoff,
193 uint64_t C) const {
194 auto CountThreshold = computeThreshold(PercentileCutoff);
195 if (isHot)
196 return CountThreshold && C >= *CountThreshold;
197 else
198 return CountThreshold && C <= *CountThreshold;
199}
200
202 uint64_t C) const {
203 return isHotOrColdCountNthPercentile<true>(PercentileCutoff, C);
204}
205
207 uint64_t C) const {
208 return isHotOrColdCountNthPercentile<false>(PercentileCutoff, C);
209}
210
212 return HotCountThreshold.value_or(UINT64_MAX);
213}
214
216 return ColdCountThreshold.value_or(0);
217}
218
220 BlockFrequencyInfo *BFI) const {
221 auto C = getProfileCount(CB, BFI);
222 return C && isHotCount(*C);
223}
224
226 BlockFrequencyInfo *BFI) const {
227 auto C = getProfileCount(CB, BFI);
228 if (C)
229 return isColdCount(*C);
230
231 // In SamplePGO, if the caller has been sampled, and there is no profile
232 // annotated on the callsite, we consider the callsite as cold.
233 return hasSampleProfile() && CB.getCaller()->hasProfileData();
234}
235
237 return hasProfileSummary() &&
238 Summary->getKind() == ProfileSummary::PSK_Sample &&
239 (PartialProfile || Summary->isPartialProfile());
240}
241
243 "Profile summary info", false, true)
244
246 : ImmutablePass(ID) {}
247
249 PSI.reset(new ProfileSummaryInfo(M));
250 return false;
251}
252
254 PSI.reset();
255 return false;
256}
257
258AnalysisKey ProfileSummaryAnalysis::Key;
263
267
268 OS << "Functions in " << M.getName() << " with hot/cold annotations: \n";
269 for (auto &F : M) {
270 OS << F.getName();
271 if (PSI.isFunctionEntryHot(&F))
272 OS << " :hot entry ";
273 else if (PSI.isFunctionEntryCold(&F))
274 OS << " :cold entry ";
275 OS << "\n";
276 }
277 return PreservedAnalyses::all();
278}
279
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
#define LLVM_ABI
Definition Compiler.h:215
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:54
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...
LLVM_ABI std::optional< uint64_t > getBlockProfileCount(const BasicBlock *BB, bool AllowSynthetic=false) const
Returns the estimated profile count of BB.
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() const
Return true if the function is annotated with profile data.
Definition Function.h:312
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.
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 std::optional< uint64_t > getProfileCount(const CallBase &CallInst, BlockFrequencyInfo *BFI) const
Returns the profile count for CallInst.
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:547
@ 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