blob: 293033458429cb962ad4b467ed3d3041e5c47a9d [file] [log] [blame]
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01001//===- llvm/Analysis/ProfileSummaryInfo.h - profile summary ---*- C++ -*-===//
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 profile summary
11// information.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_ANALYSIS_PROFILE_SUMMARY_INFO_H
16#define LLVM_ANALYSIS_PROFILE_SUMMARY_INFO_H
17
18#include "llvm/ADT/ArrayRef.h"
19#include "llvm/ADT/DenseMap.h"
20#include "llvm/ADT/SmallSet.h"
21#include "llvm/IR/Function.h"
22#include "llvm/IR/Instructions.h"
23#include "llvm/IR/PassManager.h"
24#include "llvm/IR/ProfileSummary.h"
25#include "llvm/IR/ValueHandle.h"
26#include "llvm/Pass.h"
27#include <memory>
28
29namespace llvm {
30class BasicBlock;
31class BlockFrequencyInfo;
32class CallSite;
33class ProfileSummary;
34/// \brief Analysis providing profile information.
35///
36/// This is an immutable analysis pass that provides ability to query global
37/// (program-level) profile information. The main APIs are isHotCount and
38/// isColdCount that tells whether a given profile count is considered hot/cold
39/// based on the profile summary. This also provides convenience methods to
40/// check whether a function is hot or cold.
41
42// FIXME: Provide convenience methods to determine hotness/coldness of other IR
43// units. This would require making this depend on BFI.
44class ProfileSummaryInfo {
45private:
46 Module &M;
47 std::unique_ptr<ProfileSummary> Summary;
48 bool computeSummary();
49 void computeThresholds();
50 // Count thresholds to answer isHotCount and isColdCount queries.
51 Optional<uint64_t> HotCountThreshold, ColdCountThreshold;
52 // True if the working set size of the code is considered huge,
53 // because the number of profile counts required to reach the hot
54 // percentile is above a huge threshold.
55 Optional<bool> HasHugeWorkingSetSize;
56
57public:
58 ProfileSummaryInfo(Module &M) : M(M) {}
59 ProfileSummaryInfo(ProfileSummaryInfo &&Arg)
60 : M(Arg.M), Summary(std::move(Arg.Summary)) {}
61
62 /// \brief Returns true if profile summary is available.
63 bool hasProfileSummary() { return computeSummary(); }
64
65 /// \brief Returns true if module \c M has sample profile.
66 bool hasSampleProfile() {
67 return hasProfileSummary() &&
68 Summary->getKind() == ProfileSummary::PSK_Sample;
69 }
70
71 /// \brief Returns true if module \c M has instrumentation profile.
72 bool hasInstrumentationProfile() {
73 return hasProfileSummary() &&
74 Summary->getKind() == ProfileSummary::PSK_Instr;
75 }
76
77 /// Handle the invalidation of this information.
78 ///
79 /// When used as a result of \c ProfileSummaryAnalysis this method will be
80 /// called when the module this was computed for changes. Since profile
81 /// summary is immutable after it is annotated on the module, we return false
82 /// here.
83 bool invalidate(Module &, const PreservedAnalyses &,
84 ModuleAnalysisManager::Invalidator &) {
85 return false;
86 }
87
88 /// Returns the profile count for \p CallInst.
89 Optional<uint64_t> getProfileCount(const Instruction *CallInst,
90 BlockFrequencyInfo *BFI);
91 /// Returns true if the working set size of the code is considered huge.
92 bool hasHugeWorkingSetSize();
93 /// \brief Returns true if \p F has hot function entry.
94 bool isFunctionEntryHot(const Function *F);
95 /// Returns true if \p F contains hot code.
96 bool isFunctionHotInCallGraph(const Function *F, BlockFrequencyInfo &BFI);
97 /// \brief Returns true if \p F has cold function entry.
98 bool isFunctionEntryCold(const Function *F);
99 /// Returns true if \p F contains only cold code.
100 bool isFunctionColdInCallGraph(const Function *F, BlockFrequencyInfo &BFI);
101 /// \brief Returns true if \p F is a hot function.
102 bool isHotCount(uint64_t C);
103 /// \brief Returns true if count \p C is considered cold.
104 bool isColdCount(uint64_t C);
105 /// \brief Returns true if BasicBlock \p B is considered hot.
106 bool isHotBB(const BasicBlock *B, BlockFrequencyInfo *BFI);
107 /// \brief Returns true if BasicBlock \p B is considered cold.
108 bool isColdBB(const BasicBlock *B, BlockFrequencyInfo *BFI);
109 /// \brief Returns true if CallSite \p CS is considered hot.
110 bool isHotCallSite(const CallSite &CS, BlockFrequencyInfo *BFI);
111 /// \brief Returns true if Callsite \p CS is considered cold.
112 bool isColdCallSite(const CallSite &CS, BlockFrequencyInfo *BFI);
113 /// \brief Returns HotCountThreshold if set.
114 uint64_t getHotCountThreshold() {
115 return HotCountThreshold ? HotCountThreshold.getValue() : 0;
116 }
117 /// \brief Returns ColdCountThreshold if set.
118 uint64_t getColdCountThreshold() {
119 return ColdCountThreshold ? ColdCountThreshold.getValue() : 0;
120 }
121};
122
123/// An analysis pass based on legacy pass manager to deliver ProfileSummaryInfo.
124class ProfileSummaryInfoWrapperPass : public ImmutablePass {
125 std::unique_ptr<ProfileSummaryInfo> PSI;
126
127public:
128 static char ID;
129 ProfileSummaryInfoWrapperPass();
130
131 ProfileSummaryInfo *getPSI() {
132 return &*PSI;
133 }
134
135 bool doInitialization(Module &M) override;
136 bool doFinalization(Module &M) override;
137 void getAnalysisUsage(AnalysisUsage &AU) const override {
138 AU.setPreservesAll();
139 }
140};
141
142/// An analysis pass based on the new PM to deliver ProfileSummaryInfo.
143class ProfileSummaryAnalysis
144 : public AnalysisInfoMixin<ProfileSummaryAnalysis> {
145public:
146 typedef ProfileSummaryInfo Result;
147
148 Result run(Module &M, ModuleAnalysisManager &);
149
150private:
151 friend AnalysisInfoMixin<ProfileSummaryAnalysis>;
152 static AnalysisKey Key;
153};
154
155/// \brief Printer pass that uses \c ProfileSummaryAnalysis.
156class ProfileSummaryPrinterPass
157 : public PassInfoMixin<ProfileSummaryPrinterPass> {
158 raw_ostream &OS;
159
160public:
161 explicit ProfileSummaryPrinterPass(raw_ostream &OS) : OS(OS) {}
162 PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM);
163};
164
165} // end namespace llvm
166
167#endif