blob: dcd24595f7ea9809023a40ff6f759c4285c575bf [file] [log] [blame]
Diego Novillo8d6568b2013-11-13 12:22:21 +00001//===- SampleProfile.cpp - Incorporate sample profiles into the IR --------===//
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 implements the SampleProfileLoader transformation. This pass
11// reads a profile file generated by a sampling profiler (e.g. Linux Perf -
12// http://perf.wiki.kernel.org/) and generates IR metadata to reflect the
13// profile information in the given profile.
14//
15// This pass generates branch weight annotations on the IR:
16//
17// - prof: Represents branch weights. This annotation is added to branches
18// to indicate the weights of each edge coming out of the branch.
19// The weight of each edge is the weight of the target block for
20// that edge. The weight of a block B is computed as the maximum
21// number of samples found in B.
22//
23//===----------------------------------------------------------------------===//
24
David Blaikie301627f2018-03-22 22:42:44 +000025#include "llvm/Transforms/IPO/SampleProfile.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000026#include "llvm/ADT/ArrayRef.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000027#include "llvm/ADT/DenseMap.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000028#include "llvm/ADT/DenseSet.h"
29#include "llvm/ADT/None.h"
Diego Novillo0accb3d2014-01-10 23:23:46 +000030#include "llvm/ADT/SmallPtrSet.h"
Chandler Carruth07baed52014-01-13 08:04:33 +000031#include "llvm/ADT/SmallSet.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000032#include "llvm/ADT/SmallVector.h"
33#include "llvm/ADT/StringMap.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000034#include "llvm/ADT/StringRef.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000035#include "llvm/ADT/Twine.h"
Daniel Jasperaec2fa32016-12-19 08:22:17 +000036#include "llvm/Analysis/AssumptionCache.h"
Dehao Chen3a81f842017-09-14 17:29:56 +000037#include "llvm/Analysis/InlineCost.h"
Diego Novillo0accb3d2014-01-10 23:23:46 +000038#include "llvm/Analysis/LoopInfo.h"
Adam Nemet0965da22017-10-09 23:19:02 +000039#include "llvm/Analysis/OptimizationRemarkEmitter.h"
Jakub Kuderskief33edd2018-05-23 17:29:21 +000040#include "llvm/Analysis/PostDominators.h"
Wei Mi0c2f6be2018-05-10 23:02:27 +000041#include "llvm/Analysis/ProfileSummaryInfo.h"
Dehao Chen3a81f842017-09-14 17:29:56 +000042#include "llvm/Analysis/TargetTransformInfo.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000043#include "llvm/IR/BasicBlock.h"
44#include "llvm/IR/CFG.h"
45#include "llvm/IR/CallSite.h"
46#include "llvm/IR/DebugInfoMetadata.h"
47#include "llvm/IR/DebugLoc.h"
Diego Novilloa32aa322014-03-14 21:58:59 +000048#include "llvm/IR/DiagnosticInfo.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000049#include "llvm/IR/Dominators.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000050#include "llvm/IR/Function.h"
Dehao Chen77079002017-01-20 22:56:07 +000051#include "llvm/IR/GlobalValue.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000052#include "llvm/IR/InstrTypes.h"
53#include "llvm/IR/Instruction.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000054#include "llvm/IR/Instructions.h"
Xinliang David Lid38392e2016-05-27 23:20:16 +000055#include "llvm/IR/IntrinsicInst.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000056#include "llvm/IR/LLVMContext.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000057#include "llvm/IR/MDBuilder.h"
58#include "llvm/IR/Module.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000059#include "llvm/IR/PassManager.h"
Dehao Chen1ea8bd82017-04-17 22:23:05 +000060#include "llvm/IR/ValueSymbolTable.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000061#include "llvm/Pass.h"
Dehao Chen77079002017-01-20 22:56:07 +000062#include "llvm/ProfileData/InstrProf.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000063#include "llvm/ProfileData/SampleProf.h"
Diego Novillode1ab262014-09-09 12:40:50 +000064#include "llvm/ProfileData/SampleProfReader.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000065#include "llvm/Support/Casting.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000066#include "llvm/Support/CommandLine.h"
67#include "llvm/Support/Debug.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000068#include "llvm/Support/ErrorHandling.h"
Dehao Chen8e7df832015-09-29 18:28:15 +000069#include "llvm/Support/ErrorOr.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000070#include "llvm/Support/GenericDomTree.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000071#include "llvm/Support/raw_ostream.h"
Diego Novillo4d711132015-08-25 15:25:11 +000072#include "llvm/Transforms/IPO.h"
Dehao Chen274df5e2017-01-31 17:49:37 +000073#include "llvm/Transforms/Instrumentation.h"
Matthew Simpsone363d2c2017-12-06 21:22:54 +000074#include "llvm/Transforms/Utils/CallPromotionUtils.h"
Dehao Chen57d1dda2016-03-03 18:09:32 +000075#include "llvm/Transforms/Utils/Cloning.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000076#include <algorithm>
77#include <cassert>
78#include <cstdint>
79#include <functional>
80#include <limits>
81#include <map>
82#include <memory>
83#include <string>
84#include <system_error>
85#include <utility>
86#include <vector>
Diego Novillo8d6568b2013-11-13 12:22:21 +000087
88using namespace llvm;
Diego Novillode1ab262014-09-09 12:40:50 +000089using namespace sampleprof;
Easwaran Ramane5b8de22018-01-17 22:24:23 +000090using ProfileCount = Function::ProfileCount;
Chandler Carruth964daaa2014-04-22 02:55:47 +000091#define DEBUG_TYPE "sample-profile"
92
Diego Novillo8d6568b2013-11-13 12:22:21 +000093// Command line option to specify the file to read samples from. This is
94// mainly used for debugging.
95static cl::opt<std::string> SampleProfileFile(
96 "sample-profile-file", cl::init(""), cl::value_desc("filename"),
97 cl::desc("Profile file loaded by -sample-profile"), cl::Hidden);
Eugene Zelenkof27d1612017-10-19 21:21:30 +000098
Diego Novillo0accb3d2014-01-10 23:23:46 +000099static cl::opt<unsigned> SampleProfileMaxPropagateIterations(
100 "sample-profile-max-propagate-iterations", cl::init(100),
101 cl::desc("Maximum number of iterations to go through when propagating "
102 "sample block/edge weights through the CFG."));
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000103
Diego Novillo243ea6a2015-11-23 20:12:21 +0000104static cl::opt<unsigned> SampleProfileRecordCoverage(
105 "sample-profile-check-record-coverage", cl::init(0), cl::value_desc("N"),
106 cl::desc("Emit a warning if less than N% of records in the input profile "
107 "are matched to the IR."));
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000108
Diego Novillo243ea6a2015-11-23 20:12:21 +0000109static cl::opt<unsigned> SampleProfileSampleCoverage(
110 "sample-profile-check-sample-coverage", cl::init(0), cl::value_desc("N"),
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000111 cl::desc("Emit a warning if less than N% of samples in the input profile "
112 "are matched to the IR."));
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000113
Wei Mie5551272018-06-25 15:40:31 +0000114static cl::opt<bool> NoWarnSampleUnused(
115 "no-warn-sample-unused", cl::init(false), cl::Hidden,
116 cl::desc("Use this option to turn off/on warnings about function with "
117 "samples but without debug information to use those samples. "));
118
Diego Novillo8d6568b2013-11-13 12:22:21 +0000119namespace {
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000120
121using BlockWeightMap = DenseMap<const BasicBlock *, uint64_t>;
122using EquivalenceClassMap = DenseMap<const BasicBlock *, const BasicBlock *>;
123using Edge = std::pair<const BasicBlock *, const BasicBlock *>;
124using EdgeWeightMap = DenseMap<Edge, uint64_t>;
125using BlockEdgeMap =
126 DenseMap<const BasicBlock *, SmallVector<const BasicBlock *, 8>>;
Diego Novilloc0dd1032013-11-26 20:37:33 +0000127
Dehao Chen0f35fa92016-12-13 22:13:18 +0000128class SampleCoverageTracker {
129public:
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000130 SampleCoverageTracker() = default;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000131
132 bool markSamplesUsed(const FunctionSamples *FS, uint32_t LineOffset,
133 uint32_t Discriminator, uint64_t Samples);
134 unsigned computeCoverage(unsigned Used, unsigned Total) const;
Wei Mi0c2f6be2018-05-10 23:02:27 +0000135 unsigned countUsedRecords(const FunctionSamples *FS,
136 ProfileSummaryInfo *PSI) const;
137 unsigned countBodyRecords(const FunctionSamples *FS,
138 ProfileSummaryInfo *PSI) const;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000139 uint64_t getTotalUsedSamples() const { return TotalUsedSamples; }
Wei Mi0c2f6be2018-05-10 23:02:27 +0000140 uint64_t countBodySamples(const FunctionSamples *FS,
141 ProfileSummaryInfo *PSI) const;
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000142
Dehao Chen0f35fa92016-12-13 22:13:18 +0000143 void clear() {
144 SampleCoverage.clear();
145 TotalUsedSamples = 0;
146 }
147
148private:
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000149 using BodySampleCoverageMap = std::map<LineLocation, unsigned>;
150 using FunctionSamplesCoverageMap =
151 DenseMap<const FunctionSamples *, BodySampleCoverageMap>;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000152
153 /// Coverage map for sampling records.
154 ///
155 /// This map keeps a record of sampling records that have been matched to
156 /// an IR instruction. This is used to detect some form of staleness in
157 /// profiles (see flag -sample-profile-check-coverage).
158 ///
159 /// Each entry in the map corresponds to a FunctionSamples instance. This is
160 /// another map that counts how many times the sample record at the
161 /// given location has been used.
162 FunctionSamplesCoverageMap SampleCoverage;
163
164 /// Number of samples used from the profile.
165 ///
166 /// When a sampling record is used for the first time, the samples from
167 /// that record are added to this accumulator. Coverage is later computed
168 /// based on the total number of samples available in this function and
169 /// its callsites.
170 ///
171 /// Note that this accumulator tracks samples used from a single function
172 /// and all the inlined callsites. Strictly, we should have a map of counters
173 /// keyed by FunctionSamples pointers, but these stats are cleared after
174 /// every function, so we just need to keep a single counter.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000175 uint64_t TotalUsedSamples = 0;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000176};
177
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000178/// Sample profile pass.
Diego Novilloc0dd1032013-11-26 20:37:33 +0000179///
Diego Novillode1ab262014-09-09 12:40:50 +0000180/// This pass reads profile data from the file specified by
181/// -sample-profile-file and annotates every affected function with the
182/// profile information found in that file.
Xinliang David Lie897edb2016-05-27 22:30:44 +0000183class SampleProfileLoader {
Diego Novilloc0dd1032013-11-26 20:37:33 +0000184public:
Dehao Chenf3ed14d2017-09-12 21:55:55 +0000185 SampleProfileLoader(
Dehao Chend26dae02017-10-01 05:24:51 +0000186 StringRef Name, bool IsThinLTOPreLink,
Dehao Chen3a81f842017-09-14 17:29:56 +0000187 std::function<AssumptionCache &(Function &)> GetAssumptionCache,
188 std::function<TargetTransformInfo &(Function &)> GetTargetTransformInfo)
Benjamin Kramer24cb28b2017-12-28 18:10:41 +0000189 : GetAC(std::move(GetAssumptionCache)),
190 GetTTI(std::move(GetTargetTransformInfo)), Filename(Name),
191 IsThinLTOPreLink(IsThinLTOPreLink) {}
Diego Novillode1ab262014-09-09 12:40:50 +0000192
Xinliang David Lie897edb2016-05-27 22:30:44 +0000193 bool doInitialization(Module &M);
Wei Mi0c2f6be2018-05-10 23:02:27 +0000194 bool runOnModule(Module &M, ModuleAnalysisManager *AM,
195 ProfileSummaryInfo *_PSI);
Diego Novillode1ab262014-09-09 12:40:50 +0000196
197 void dump() { Reader->dump(); }
198
Diego Novillode1ab262014-09-09 12:40:50 +0000199protected:
Eli Friedman51cf2602017-08-11 21:12:04 +0000200 bool runOnFunction(Function &F, ModuleAnalysisManager *AM);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000201 unsigned getFunctionLoc(Function &F);
Diego Novillode1ab262014-09-09 12:40:50 +0000202 bool emitAnnotations(Function &F);
Dehao Chen0f35fa92016-12-13 22:13:18 +0000203 ErrorOr<uint64_t> getInstWeight(const Instruction &I);
204 ErrorOr<uint64_t> getBlockWeight(const BasicBlock *BB);
Dehao Chen41cde0b2016-09-18 23:11:37 +0000205 const FunctionSamples *findCalleeFunctionSamples(const Instruction &I) const;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000206 std::vector<const FunctionSamples *>
Dehao Chen3f56a052017-10-10 21:13:50 +0000207 findIndirectCallFunctionSamples(const Instruction &I, uint64_t &Sum) const;
Dehao Chen67226882015-09-30 00:42:46 +0000208 const FunctionSamples *findFunctionSamples(const Instruction &I) const;
Dehao Chen4f5d8302017-09-30 20:46:15 +0000209 bool inlineCallInstruction(Instruction *I);
Dehao Chena60cdd32017-02-28 18:09:44 +0000210 bool inlineHotFunctions(Function &F,
Dehao Chenc6c051f2017-11-01 20:26:47 +0000211 DenseSet<GlobalValue::GUID> &InlinedGUIDs);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000212 void printEdgeWeight(raw_ostream &OS, Edge E);
Dehao Chen8e7df832015-09-29 18:28:15 +0000213 void printBlockWeight(raw_ostream &OS, const BasicBlock *BB) const;
214 void printBlockEquivalence(raw_ostream &OS, const BasicBlock *BB);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000215 bool computeBlockWeights(Function &F);
216 void findEquivalenceClasses(Function &F);
Jakub Kuderskib292c222017-07-14 18:26:09 +0000217 template <bool IsPostDom>
Benjamin Kramer8a752e32016-02-13 16:01:12 +0000218 void findEquivalencesFor(BasicBlock *BB1, ArrayRef<BasicBlock *> Descendants,
Jakub Kuderskib292c222017-07-14 18:26:09 +0000219 DominatorTreeBase<BasicBlock, IsPostDom> *DomTree);
220
Diego Novillo0accb3d2014-01-10 23:23:46 +0000221 void propagateWeights(Function &F);
Diego Novillo38be3332015-10-15 16:36:21 +0000222 uint64_t visitEdge(Edge E, unsigned *NumUnknownEdges, Edge *UnknownEdge);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000223 void buildEdges(Function &F);
Dehao Chenc0a1e432016-08-12 16:22:12 +0000224 bool propagateThroughEdges(Function &F, bool UpdateBlockCount);
Diego Novillo7732ae42015-08-26 20:00:27 +0000225 void computeDominanceAndLoopInfo(Function &F);
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000226 void clearFunctionData();
Diego Novilloc0dd1032013-11-26 20:37:33 +0000227
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000228 /// Map basic blocks to their computed weights.
Diego Novilloc0dd1032013-11-26 20:37:33 +0000229 ///
230 /// The weight of a basic block is defined to be the maximum
231 /// of all the instruction weights in that block.
232 BlockWeightMap BlockWeights;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000233
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000234 /// Map edges to their computed weights.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000235 ///
236 /// Edge weights are computed by propagating basic block weights in
237 /// SampleProfile::propagateWeights.
238 EdgeWeightMap EdgeWeights;
239
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000240 /// Set of visited blocks during propagation.
Matthias Braunb30f2f512016-01-30 01:24:31 +0000241 SmallPtrSet<const BasicBlock *, 32> VisitedBlocks;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000242
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000243 /// Set of visited edges during propagation.
Matthias Braunb30f2f512016-01-30 01:24:31 +0000244 SmallSet<Edge, 32> VisitedEdges;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000245
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000246 /// Equivalence classes for block weights.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000247 ///
248 /// Two blocks BB1 and BB2 are in the same equivalence class if they
249 /// dominate and post-dominate each other, and they are in the same loop
250 /// nest. When this happens, the two blocks are guaranteed to execute
251 /// the same number of times.
252 EquivalenceClassMap EquivalenceClass;
253
Dehao Chen1ea8bd82017-04-17 22:23:05 +0000254 /// Map from function name to Function *. Used to find the function from
255 /// the function name. If the function name contains suffix, additional
256 /// entry is added to map from the stripped name to the function if there
257 /// is one-to-one mapping.
258 StringMap<Function *> SymbolMap;
259
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000260 /// Dominance, post-dominance and loop information.
Diego Novillo7732ae42015-08-26 20:00:27 +0000261 std::unique_ptr<DominatorTree> DT;
Jakub Kuderskief33edd2018-05-23 17:29:21 +0000262 std::unique_ptr<PostDominatorTree> PDT;
Diego Novillo7732ae42015-08-26 20:00:27 +0000263 std::unique_ptr<LoopInfo> LI;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000264
Dehao Chenf3ed14d2017-09-12 21:55:55 +0000265 std::function<AssumptionCache &(Function &)> GetAC;
Dehao Chen3a81f842017-09-14 17:29:56 +0000266 std::function<TargetTransformInfo &(Function &)> GetTTI;
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000267
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000268 /// Predecessors for each basic block in the CFG.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000269 BlockEdgeMap Predecessors;
270
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000271 /// Successors for each basic block in the CFG.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000272 BlockEdgeMap Successors;
Diego Novillo92aa8c22014-03-10 22:41:28 +0000273
Dehao Chen0f35fa92016-12-13 22:13:18 +0000274 SampleCoverageTracker CoverageTracker;
275
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000276 /// Profile reader object.
Diego Novillode1ab262014-09-09 12:40:50 +0000277 std::unique_ptr<SampleProfileReader> Reader;
278
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000279 /// Samples collected for the body of this function.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000280 FunctionSamples *Samples = nullptr;
Diego Novillo8d6568b2013-11-13 12:22:21 +0000281
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000282 /// Name of the profile file to load.
Dehao Chenfb699612016-12-14 22:03:08 +0000283 std::string Filename;
Diego Novilloa32aa322014-03-14 21:58:59 +0000284
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000285 /// Flag indicating whether the profile input loaded successfully.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000286 bool ProfileIsValid = false;
Diego Novillo84f06cc2015-11-27 23:14:51 +0000287
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000288 /// Flag indicating if the pass is invoked in ThinLTO compile phase.
Dehao Chend26dae02017-10-01 05:24:51 +0000289 ///
290 /// In this phase, in annotation, we should not promote indirect calls.
291 /// Instead, we will mark GUIDs that needs to be annotated to the function.
292 bool IsThinLTOPreLink;
293
Wei Mi0c2f6be2018-05-10 23:02:27 +0000294 /// Profile Summary Info computed from sample profile.
295 ProfileSummaryInfo *PSI = nullptr;
296
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000297 /// Total number of samples collected in this profile.
Diego Novillo84f06cc2015-11-27 23:14:51 +0000298 ///
299 /// This is the sum of all the samples collected in all the functions executed
300 /// at runtime.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000301 uint64_t TotalCollectedSamples = 0;
Eli Friedman51cf2602017-08-11 21:12:04 +0000302
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000303 /// Optimization Remark Emitter used to emit diagnostic remarks.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000304 OptimizationRemarkEmitter *ORE = nullptr;
Diego Novillo8d6568b2013-11-13 12:22:21 +0000305};
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000306
Xinliang David Lie897edb2016-05-27 22:30:44 +0000307class SampleProfileLoaderLegacyPass : public ModulePass {
308public:
309 // Class identification, replacement for typeinfo
310 static char ID;
311
Dehao Chend26dae02017-10-01 05:24:51 +0000312 SampleProfileLoaderLegacyPass(StringRef Name = SampleProfileFile,
313 bool IsThinLTOPreLink = false)
314 : ModulePass(ID), SampleLoader(Name, IsThinLTOPreLink,
Dehao Chenf3ed14d2017-09-12 21:55:55 +0000315 [&](Function &F) -> AssumptionCache & {
316 return ACT->getAssumptionCache(F);
Dehao Chen3a81f842017-09-14 17:29:56 +0000317 },
318 [&](Function &F) -> TargetTransformInfo & {
319 return TTIWP->getTTI(F);
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000320 }) {
Xinliang David Lie897edb2016-05-27 22:30:44 +0000321 initializeSampleProfileLoaderLegacyPassPass(
322 *PassRegistry::getPassRegistry());
323 }
324
325 void dump() { SampleLoader.dump(); }
326
327 bool doInitialization(Module &M) override {
328 return SampleLoader.doInitialization(M);
329 }
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000330
Mehdi Amini117296c2016-10-01 02:56:57 +0000331 StringRef getPassName() const override { return "Sample profile pass"; }
Xinliang David Lie897edb2016-05-27 22:30:44 +0000332 bool runOnModule(Module &M) override;
333
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000334 void getAnalysisUsage(AnalysisUsage &AU) const override {
335 AU.addRequired<AssumptionCacheTracker>();
Dehao Chen3a81f842017-09-14 17:29:56 +0000336 AU.addRequired<TargetTransformInfoWrapperPass>();
Wei Mi0c2f6be2018-05-10 23:02:27 +0000337 AU.addRequired<ProfileSummaryInfoWrapperPass>();
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000338 }
339
Xinliang David Lie897edb2016-05-27 22:30:44 +0000340private:
341 SampleProfileLoader SampleLoader;
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000342 AssumptionCacheTracker *ACT = nullptr;
343 TargetTransformInfoWrapperPass *TTIWP = nullptr;
Xinliang David Lie897edb2016-05-27 22:30:44 +0000344};
345
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000346} // end anonymous namespace
347
Wei Mi0c2f6be2018-05-10 23:02:27 +0000348/// Return true if the given callsite is hot wrt to hot cutoff threshold.
Diego Novillo0b6985a2015-11-24 22:38:37 +0000349///
350/// Functions that were inlined in the original binary will be represented
351/// in the inline stack in the sample profile. If the profile shows that
352/// the original inline decision was "good" (i.e., the callsite is executed
353/// frequently), then we will recreate the inline decision and apply the
354/// profile from the inlined callsite.
355///
Wei Mi0c2f6be2018-05-10 23:02:27 +0000356/// To decide whether an inlined callsite is hot, we compare the callsite
357/// sample count with the hot cutoff computed by ProfileSummaryInfo, it is
358/// regarded as hot if the count is above the cutoff value.
359static bool callsiteIsHot(const FunctionSamples *CallsiteFS,
360 ProfileSummaryInfo *PSI) {
Diego Novillo0b6985a2015-11-24 22:38:37 +0000361 if (!CallsiteFS)
362 return false; // The callsite was not inlined in the original binary.
363
Wei Mi0c2f6be2018-05-10 23:02:27 +0000364 assert(PSI && "PSI is expected to be non null");
Diego Novillo0b6985a2015-11-24 22:38:37 +0000365 uint64_t CallsiteTotalSamples = CallsiteFS->getTotalSamples();
Wei Mi0c2f6be2018-05-10 23:02:27 +0000366 return PSI->isHotCount(CallsiteTotalSamples);
Diego Novillo0b6985a2015-11-24 22:38:37 +0000367}
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000368
369/// Mark as used the sample record for the given function samples at
370/// (LineOffset, Discriminator).
Diego Novillof9ed08e2015-10-31 21:53:58 +0000371///
372/// \returns true if this is the first time we mark the given record.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000373bool SampleCoverageTracker::markSamplesUsed(const FunctionSamples *FS,
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000374 uint32_t LineOffset,
Diego Novillo243ea6a2015-11-23 20:12:21 +0000375 uint32_t Discriminator,
376 uint64_t Samples) {
Diego Novillof9ed08e2015-10-31 21:53:58 +0000377 LineLocation Loc(LineOffset, Discriminator);
Diego Novillo243ea6a2015-11-23 20:12:21 +0000378 unsigned &Count = SampleCoverage[FS][Loc];
379 bool FirstTime = (++Count == 1);
380 if (FirstTime)
381 TotalUsedSamples += Samples;
382 return FirstTime;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000383}
384
385/// Return the number of sample records that were applied from this profile.
Diego Novillo0b6985a2015-11-24 22:38:37 +0000386///
387/// This count does not include records from cold inlined callsites.
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000388unsigned
Wei Mi0c2f6be2018-05-10 23:02:27 +0000389SampleCoverageTracker::countUsedRecords(const FunctionSamples *FS,
390 ProfileSummaryInfo *PSI) const {
Diego Novillo243ea6a2015-11-23 20:12:21 +0000391 auto I = SampleCoverage.find(FS);
Diego Novillo5fb49e52015-11-20 21:46:38 +0000392
Diego Novillo243ea6a2015-11-23 20:12:21 +0000393 // The size of the coverage map for FS represents the number of records
Diego Novillo5fb49e52015-11-20 21:46:38 +0000394 // that were marked used at least once.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000395 unsigned Count = (I != SampleCoverage.end()) ? I->second.size() : 0;
Diego Novillo5fb49e52015-11-20 21:46:38 +0000396
397 // If there are inlined callsites in this function, count the samples found
398 // in the respective bodies. However, do not bother counting callees with 0
399 // total samples, these are callees that were never invoked at runtime.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000400 for (const auto &I : FS->getCallsiteSamples())
401 for (const auto &J : I.second) {
402 const FunctionSamples *CalleeSamples = &J.second;
Wei Mi0c2f6be2018-05-10 23:02:27 +0000403 if (callsiteIsHot(CalleeSamples, PSI))
404 Count += countUsedRecords(CalleeSamples, PSI);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000405 }
Diego Novillo5fb49e52015-11-20 21:46:38 +0000406
Diego Novillof9ed08e2015-10-31 21:53:58 +0000407 return Count;
408}
409
410/// Return the number of sample records in the body of this profile.
411///
Diego Novillo0b6985a2015-11-24 22:38:37 +0000412/// This count does not include records from cold inlined callsites.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000413unsigned
Wei Mi0c2f6be2018-05-10 23:02:27 +0000414SampleCoverageTracker::countBodyRecords(const FunctionSamples *FS,
415 ProfileSummaryInfo *PSI) const {
Diego Novillo243ea6a2015-11-23 20:12:21 +0000416 unsigned Count = FS->getBodySamples().size();
Diego Novillo5fb49e52015-11-20 21:46:38 +0000417
Diego Novillo0b6985a2015-11-24 22:38:37 +0000418 // Only count records in hot callsites.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000419 for (const auto &I : FS->getCallsiteSamples())
420 for (const auto &J : I.second) {
421 const FunctionSamples *CalleeSamples = &J.second;
Wei Mi0c2f6be2018-05-10 23:02:27 +0000422 if (callsiteIsHot(CalleeSamples, PSI))
423 Count += countBodyRecords(CalleeSamples, PSI);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000424 }
Diego Novillo5fb49e52015-11-20 21:46:38 +0000425
Diego Novillof9ed08e2015-10-31 21:53:58 +0000426 return Count;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000427}
428
Diego Novillo243ea6a2015-11-23 20:12:21 +0000429/// Return the number of samples collected in the body of this profile.
430///
Diego Novillo0b6985a2015-11-24 22:38:37 +0000431/// This count does not include samples from cold inlined callsites.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000432uint64_t
Wei Mi0c2f6be2018-05-10 23:02:27 +0000433SampleCoverageTracker::countBodySamples(const FunctionSamples *FS,
434 ProfileSummaryInfo *PSI) const {
Diego Novillo243ea6a2015-11-23 20:12:21 +0000435 uint64_t Total = 0;
436 for (const auto &I : FS->getBodySamples())
437 Total += I.second.getSamples();
438
Diego Novillo0b6985a2015-11-24 22:38:37 +0000439 // Only count samples in hot callsites.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000440 for (const auto &I : FS->getCallsiteSamples())
441 for (const auto &J : I.second) {
442 const FunctionSamples *CalleeSamples = &J.second;
Wei Mi0c2f6be2018-05-10 23:02:27 +0000443 if (callsiteIsHot(CalleeSamples, PSI))
444 Total += countBodySamples(CalleeSamples, PSI);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000445 }
Diego Novillo243ea6a2015-11-23 20:12:21 +0000446
447 return Total;
448}
449
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000450/// Return the fraction of sample records used in this profile.
451///
452/// The returned value is an unsigned integer in the range 0-100 indicating
453/// the percentage of sample records that were used while applying this
454/// profile to the associated function.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000455unsigned SampleCoverageTracker::computeCoverage(unsigned Used,
456 unsigned Total) const {
457 assert(Used <= Total &&
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000458 "number of used records cannot exceed the total number of records");
Diego Novillof9ed08e2015-10-31 21:53:58 +0000459 return Total > 0 ? Used * 100 / Total : 100;
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000460}
Diego Novillo8d6568b2013-11-13 12:22:21 +0000461
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000462/// Clear all the per-function data used to load samples and propagate weights.
463void SampleProfileLoader::clearFunctionData() {
464 BlockWeights.clear();
465 EdgeWeights.clear();
466 VisitedBlocks.clear();
467 VisitedEdges.clear();
468 EquivalenceClass.clear();
469 DT = nullptr;
470 PDT = nullptr;
471 LI = nullptr;
472 Predecessors.clear();
473 Successors.clear();
Diego Novillo1ca881c2015-11-23 16:30:17 +0000474 CoverageTracker.clear();
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000475}
476
Florian Hahn6b3216a2017-07-31 10:07:49 +0000477#ifndef NDEBUG
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000478/// Print the weight of edge \p E on stream \p OS.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000479///
480/// \param OS Stream to emit the output to.
481/// \param E Edge to print.
Diego Novillode1ab262014-09-09 12:40:50 +0000482void SampleProfileLoader::printEdgeWeight(raw_ostream &OS, Edge E) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000483 OS << "weight[" << E.first->getName() << "->" << E.second->getName()
484 << "]: " << EdgeWeights[E] << "\n";
485}
486
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000487/// Print the equivalence class of block \p BB on stream \p OS.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000488///
489/// \param OS Stream to emit the output to.
490/// \param BB Block to print.
Diego Novillode1ab262014-09-09 12:40:50 +0000491void SampleProfileLoader::printBlockEquivalence(raw_ostream &OS,
Dehao Chen8e7df832015-09-29 18:28:15 +0000492 const BasicBlock *BB) {
493 const BasicBlock *Equiv = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000494 OS << "equivalence[" << BB->getName()
495 << "]: " << ((Equiv) ? EquivalenceClass[BB]->getName() : "NONE") << "\n";
496}
497
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000498/// Print the weight of block \p BB on stream \p OS.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000499///
500/// \param OS Stream to emit the output to.
501/// \param BB Block to print.
Dehao Chen8e7df832015-09-29 18:28:15 +0000502void SampleProfileLoader::printBlockWeight(raw_ostream &OS,
503 const BasicBlock *BB) const {
504 const auto &I = BlockWeights.find(BB);
Diego Novillo38be3332015-10-15 16:36:21 +0000505 uint64_t W = (I == BlockWeights.end() ? 0 : I->second);
Dehao Chen8e7df832015-09-29 18:28:15 +0000506 OS << "weight[" << BB->getName() << "]: " << W << "\n";
Diego Novillo0accb3d2014-01-10 23:23:46 +0000507}
Florian Hahn6b3216a2017-07-31 10:07:49 +0000508#endif
Diego Novillo0accb3d2014-01-10 23:23:46 +0000509
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000510/// Get the weight for an instruction.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000511///
512/// The "weight" of an instruction \p Inst is the number of samples
513/// collected on that instruction at runtime. To retrieve it, we
514/// need to compute the line number of \p Inst relative to the start of its
515/// function. We use HeaderLineno to compute the offset. We then
516/// look up the samples collected for \p Inst using BodySamples.
517///
518/// \param Inst Instruction to query.
519///
Dehao Chen8e7df832015-09-29 18:28:15 +0000520/// \returns the weight of \p Inst.
Dehao Chen94f369f2017-01-19 23:20:31 +0000521ErrorOr<uint64_t> SampleProfileLoader::getInstWeight(const Instruction &Inst) {
Benjamin Kramer4fed9282016-05-27 12:30:51 +0000522 const DebugLoc &DLoc = Inst.getDebugLoc();
Duncan P. N. Exon Smithec819c02015-03-30 19:49:49 +0000523 if (!DLoc)
Dehao Chen8e7df832015-09-29 18:28:15 +0000524 return std::error_code();
Duncan P. N. Exon Smith41a15462015-03-20 00:56:55 +0000525
Dehao Chen67226882015-09-30 00:42:46 +0000526 const FunctionSamples *FS = findFunctionSamples(Inst);
527 if (!FS)
528 return std::error_code();
Dehao Chen41dc5a62015-10-09 16:50:16 +0000529
Dehao Chenc0a1e432016-08-12 16:22:12 +0000530 // Ignore all intrinsics and branch instructions.
531 // Branch instruction usually contains debug info from sources outside of
532 // the residing basic block, thus we ignore them during annotation.
533 if (isa<BranchInst>(Inst) || isa<IntrinsicInst>(Inst))
Dehao Chena8bae822016-04-20 23:36:23 +0000534 return std::error_code();
535
Dehao Chen16f01fb2017-10-05 20:15:29 +0000536 // If a direct call/invoke instruction is inlined in profile
537 // (findCalleeFunctionSamples returns non-empty result), but not inlined here,
Dehao Chenc0a1e432016-08-12 16:22:12 +0000538 // it means that the inlined callsite has no sample, thus the call
539 // instruction should have 0 count.
Dehao Chenc632a392017-03-06 17:49:59 +0000540 if ((isa<CallInst>(Inst) || isa<InvokeInst>(Inst)) &&
Dehao Chen16f01fb2017-10-05 20:15:29 +0000541 !ImmutableCallSite(&Inst).isIndirectCall() &&
Dehao Chenc632a392017-03-06 17:49:59 +0000542 findCalleeFunctionSamples(Inst))
Dehao Chen41cde0b2016-09-18 23:11:37 +0000543 return 0;
Dehao Chenc0a1e432016-08-12 16:22:12 +0000544
Dehao Chen41dc5a62015-10-09 16:50:16 +0000545 const DILocation *DIL = DLoc;
Mircea Trofin56950972018-02-22 06:42:57 +0000546 uint32_t LineOffset = FunctionSamples::getOffset(DIL);
Dehao Chen533bc6e2017-02-23 18:27:45 +0000547 uint32_t Discriminator = DIL->getBaseDiscriminator();
Dehao Chenc632a392017-03-06 17:49:59 +0000548 ErrorOr<uint64_t> R = FS->findSamplesAt(LineOffset, Discriminator);
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000549 if (R) {
Diego Novillof9ed08e2015-10-31 21:53:58 +0000550 bool FirstMark =
Diego Novillo243ea6a2015-11-23 20:12:21 +0000551 CoverageTracker.markSamplesUsed(FS, LineOffset, Discriminator, R.get());
Diego Novillof9ed08e2015-10-31 21:53:58 +0000552 if (FirstMark) {
Vivek Pandya95906582017-10-11 17:12:59 +0000553 ORE->emit([&]() {
554 OptimizationRemarkAnalysis Remark(DEBUG_TYPE, "AppliedSamples", &Inst);
555 Remark << "Applied " << ore::NV("NumSamples", *R);
556 Remark << " samples from profile (offset: ";
557 Remark << ore::NV("LineOffset", LineOffset);
558 if (Discriminator) {
559 Remark << ".";
560 Remark << ore::NV("Discriminator", Discriminator);
561 }
562 Remark << ")";
563 return Remark;
564 });
Diego Novillof9ed08e2015-10-31 21:53:58 +0000565 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000566 LLVM_DEBUG(dbgs() << " " << DLoc.getLine() << "."
567 << DIL->getBaseDiscriminator() << ":" << Inst
568 << " (line offset: " << LineOffset << "."
569 << DIL->getBaseDiscriminator() << " - weight: " << R.get()
570 << ")\n");
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000571 }
Dehao Chen8e7df832015-09-29 18:28:15 +0000572 return R;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000573}
574
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000575/// Compute the weight of a basic block.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000576///
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000577/// The weight of basic block \p BB is the maximum weight of all the
Dehao Chen8e7df832015-09-29 18:28:15 +0000578/// instructions in BB.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000579///
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000580/// \param BB The basic block to query.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000581///
Dehao Chen8e7df832015-09-29 18:28:15 +0000582/// \returns the weight for \p BB.
Dehao Chen94f369f2017-01-19 23:20:31 +0000583ErrorOr<uint64_t> SampleProfileLoader::getBlockWeight(const BasicBlock *BB) {
Dehao Chen160fbc32016-09-21 16:26:51 +0000584 uint64_t Max = 0;
585 bool HasWeight = false;
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000586 for (auto &I : BB->getInstList()) {
Diego Novillo38be3332015-10-15 16:36:21 +0000587 const ErrorOr<uint64_t> &R = getInstWeight(I);
Dehao Chen160fbc32016-09-21 16:26:51 +0000588 if (R) {
589 Max = std::max(Max, R.get());
590 HasWeight = true;
Dehao Chen8e7df832015-09-29 18:28:15 +0000591 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000592 }
Dehao Chen160fbc32016-09-21 16:26:51 +0000593 return HasWeight ? ErrorOr<uint64_t>(Max) : std::error_code();
Diego Novillo0accb3d2014-01-10 23:23:46 +0000594}
595
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000596/// Compute and store the weights of every basic block.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000597///
598/// This populates the BlockWeights map by computing
599/// the weights of every basic block in the CFG.
600///
601/// \param F The function to query.
Diego Novillode1ab262014-09-09 12:40:50 +0000602bool SampleProfileLoader::computeBlockWeights(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000603 bool Changed = false;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000604 LLVM_DEBUG(dbgs() << "Block weights\n");
Dehao Chen8e7df832015-09-29 18:28:15 +0000605 for (const auto &BB : F) {
Diego Novillo38be3332015-10-15 16:36:21 +0000606 ErrorOr<uint64_t> Weight = getBlockWeight(&BB);
Dehao Chen8e7df832015-09-29 18:28:15 +0000607 if (Weight) {
608 BlockWeights[&BB] = Weight.get();
Dehao Chen7c41dd62015-10-01 00:26:56 +0000609 VisitedBlocks.insert(&BB);
Dehao Chen8e7df832015-09-29 18:28:15 +0000610 Changed = true;
611 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000612 LLVM_DEBUG(printBlockWeight(dbgs(), &BB));
Diego Novillo0accb3d2014-01-10 23:23:46 +0000613 }
614
615 return Changed;
616}
617
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000618/// Get the FunctionSamples for a call instruction.
Dehao Chen67226882015-09-30 00:42:46 +0000619///
Dehao Chen41cde0b2016-09-18 23:11:37 +0000620/// The FunctionSamples of a call/invoke instruction \p Inst is the inlined
Dehao Chen67226882015-09-30 00:42:46 +0000621/// instance in which that call instruction is calling to. It contains
622/// all samples that resides in the inlined instance. We first find the
623/// inlined instance in which the call instruction is from, then we
624/// traverse its children to find the callsite with the matching
Dehao Chen41cde0b2016-09-18 23:11:37 +0000625/// location.
Dehao Chen67226882015-09-30 00:42:46 +0000626///
Dehao Chen41cde0b2016-09-18 23:11:37 +0000627/// \param Inst Call/Invoke instruction to query.
Dehao Chen67226882015-09-30 00:42:46 +0000628///
629/// \returns The FunctionSamples pointer to the inlined instance.
630const FunctionSamples *
Dehao Chen41cde0b2016-09-18 23:11:37 +0000631SampleProfileLoader::findCalleeFunctionSamples(const Instruction &Inst) const {
Dehao Chen67226882015-09-30 00:42:46 +0000632 const DILocation *DIL = Inst.getDebugLoc();
633 if (!DIL) {
634 return nullptr;
635 }
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000636
637 StringRef CalleeName;
638 if (const CallInst *CI = dyn_cast<CallInst>(&Inst))
639 if (Function *Callee = CI->getCalledFunction())
640 CalleeName = Callee->getName();
641
Dehao Chen67226882015-09-30 00:42:46 +0000642 const FunctionSamples *FS = findFunctionSamples(Inst);
643 if (FS == nullptr)
644 return nullptr;
645
Wei Mia0c08572018-06-11 22:40:43 +0000646 std::string CalleeGUID;
647 CalleeName = getRepInFormat(CalleeName, Reader->getFormat(), CalleeGUID);
Mircea Trofin56950972018-02-22 06:42:57 +0000648 return FS->findFunctionSamplesAt(LineLocation(FunctionSamples::getOffset(DIL),
649 DIL->getBaseDiscriminator()),
650 CalleeName);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000651}
652
653/// Returns a vector of FunctionSamples that are the indirect call targets
Dehao Chen3f56a052017-10-10 21:13:50 +0000654/// of \p Inst. The vector is sorted by the total number of samples. Stores
655/// the total call count of the indirect call in \p Sum.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000656std::vector<const FunctionSamples *>
657SampleProfileLoader::findIndirectCallFunctionSamples(
Dehao Chen3f56a052017-10-10 21:13:50 +0000658 const Instruction &Inst, uint64_t &Sum) const {
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000659 const DILocation *DIL = Inst.getDebugLoc();
660 std::vector<const FunctionSamples *> R;
661
662 if (!DIL) {
663 return R;
664 }
665
666 const FunctionSamples *FS = findFunctionSamples(Inst);
667 if (FS == nullptr)
668 return R;
669
Mircea Trofin56950972018-02-22 06:42:57 +0000670 uint32_t LineOffset = FunctionSamples::getOffset(DIL);
Dehao Chen3f56a052017-10-10 21:13:50 +0000671 uint32_t Discriminator = DIL->getBaseDiscriminator();
672
673 auto T = FS->findCallTargetMapAt(LineOffset, Discriminator);
674 Sum = 0;
675 if (T)
676 for (const auto &T_C : T.get())
677 Sum += T_C.second;
Mircea Trofin56950972018-02-22 06:42:57 +0000678 if (const FunctionSamplesMap *M = FS->findFunctionSamplesMapAt(LineLocation(
679 FunctionSamples::getOffset(DIL), DIL->getBaseDiscriminator()))) {
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000680 if (M->empty())
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000681 return R;
682 for (const auto &NameFS : *M) {
Dehao Chen3f56a052017-10-10 21:13:50 +0000683 Sum += NameFS.second.getEntrySamples();
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000684 R.push_back(&NameFS.second);
685 }
Mandeep Singh Grang636d94d2018-04-13 19:47:57 +0000686 llvm::sort(R.begin(), R.end(),
687 [](const FunctionSamples *L, const FunctionSamples *R) {
688 return L->getEntrySamples() > R->getEntrySamples();
689 });
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000690 }
691 return R;
Dehao Chen67226882015-09-30 00:42:46 +0000692}
693
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000694/// Get the FunctionSamples for an instruction.
Dehao Chen67226882015-09-30 00:42:46 +0000695///
696/// The FunctionSamples of an instruction \p Inst is the inlined instance
697/// in which that instruction is coming from. We traverse the inline stack
698/// of that instruction, and match it with the tree nodes in the profile.
699///
700/// \param Inst Instruction to query.
701///
702/// \returns the FunctionSamples pointer to the inlined instance.
703const FunctionSamples *
704SampleProfileLoader::findFunctionSamples(const Instruction &Inst) const {
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000705 SmallVector<std::pair<LineLocation, StringRef>, 10> S;
Dehao Chen67226882015-09-30 00:42:46 +0000706 const DILocation *DIL = Inst.getDebugLoc();
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000707 if (!DIL)
Dehao Chen67226882015-09-30 00:42:46 +0000708 return Samples;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000709
Mircea Trofin56950972018-02-22 06:42:57 +0000710 return Samples->findFunctionSamples(DIL);
Dehao Chen67226882015-09-30 00:42:46 +0000711}
712
Dehao Chen4f5d8302017-09-30 20:46:15 +0000713bool SampleProfileLoader::inlineCallInstruction(Instruction *I) {
714 assert(isa<CallInst>(I) || isa<InvokeInst>(I));
715 CallSite CS(I);
716 Function *CalledFunction = CS.getCalledFunction();
717 assert(CalledFunction);
718 DebugLoc DLoc = I->getDebugLoc();
719 BasicBlock *BB = I->getParent();
720 InlineParams Params = getInlineParams();
721 Params.ComputeFullInlineCost = true;
722 // Checks if there is anything in the reachable portion of the callee at
723 // this callsite that makes this inlining potentially illegal. Need to
724 // set ComputeFullInlineCost, otherwise getInlineCost may return early
725 // when cost exceeds threshold without checking all IRs in the callee.
726 // The acutal cost does not matter because we only checks isNever() to
727 // see if it is legal to inline the callsite.
728 InlineCost Cost = getInlineCost(CS, Params, GetTTI(*CalledFunction), GetAC,
729 None, nullptr, nullptr);
730 if (Cost.isNever()) {
731 ORE->emit(OptimizationRemark(DEBUG_TYPE, "Not inline", DLoc, BB)
732 << "incompatible inlining");
733 return false;
734 }
735 InlineFunctionInfo IFI(nullptr, &GetAC);
736 if (InlineFunction(CS, IFI)) {
737 // The call to InlineFunction erases I, so we can't pass it here.
738 ORE->emit(OptimizationRemark(DEBUG_TYPE, "HotInline", DLoc, BB)
739 << "inlined hot callee '" << ore::NV("Callee", CalledFunction)
740 << "' into '" << ore::NV("Caller", BB->getParent()) << "'");
741 return true;
742 }
743 return false;
744}
745
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000746/// Iteratively inline hot callsites of a function.
Dehao Chen67226882015-09-30 00:42:46 +0000747///
748/// Iteratively traverse all callsites of the function \p F, and find if
749/// the corresponding inlined instance exists and is hot in profile. If
750/// it is hot enough, inline the callsites and adds new callsites of the
Dehao Chen274df5e2017-01-31 17:49:37 +0000751/// callee into the caller. If the call is an indirect call, first promote
752/// it to direct call. Each indirect call is limited with a single target.
Dehao Chen67226882015-09-30 00:42:46 +0000753///
754/// \param F function to perform iterative inlining.
Dehao Chenc6c051f2017-11-01 20:26:47 +0000755/// \param InlinedGUIDs a set to be updated to include all GUIDs that are
756/// inlined in the profiled binary.
Dehao Chen67226882015-09-30 00:42:46 +0000757///
758/// \returns True if there is any inline happened.
Dehao Chena60cdd32017-02-28 18:09:44 +0000759bool SampleProfileLoader::inlineHotFunctions(
Dehao Chenc6c051f2017-11-01 20:26:47 +0000760 Function &F, DenseSet<GlobalValue::GUID> &InlinedGUIDs) {
Dehao Chen274df5e2017-01-31 17:49:37 +0000761 DenseSet<Instruction *> PromotedInsns;
Dehao Chen67226882015-09-30 00:42:46 +0000762 bool Changed = false;
Wei Mia0c08572018-06-11 22:40:43 +0000763 bool isCompact = (Reader->getFormat() == SPF_Compact_Binary);
Dehao Chen67226882015-09-30 00:42:46 +0000764 while (true) {
765 bool LocalChanged = false;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000766 SmallVector<Instruction *, 10> CIS;
Dehao Chen67226882015-09-30 00:42:46 +0000767 for (auto &BB : F) {
Dehao Chen20866ed2016-09-19 18:38:14 +0000768 bool Hot = false;
769 SmallVector<Instruction *, 10> Candidates;
Dehao Chen67226882015-09-30 00:42:46 +0000770 for (auto &I : BB.getInstList()) {
Dehao Chen41cde0b2016-09-18 23:11:37 +0000771 const FunctionSamples *FS = nullptr;
772 if ((isa<CallInst>(I) || isa<InvokeInst>(I)) &&
Andrea Di Biagioe3edef02017-04-18 10:08:53 +0000773 !isa<IntrinsicInst>(I) && (FS = findCalleeFunctionSamples(I))) {
Dehao Chen20866ed2016-09-19 18:38:14 +0000774 Candidates.push_back(&I);
Wei Mi0c2f6be2018-05-10 23:02:27 +0000775 if (callsiteIsHot(FS, PSI))
Dehao Chen20866ed2016-09-19 18:38:14 +0000776 Hot = true;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000777 }
Dehao Chen67226882015-09-30 00:42:46 +0000778 }
Dehao Chen20866ed2016-09-19 18:38:14 +0000779 if (Hot) {
780 CIS.insert(CIS.begin(), Candidates.begin(), Candidates.end());
781 }
Dehao Chen67226882015-09-30 00:42:46 +0000782 }
Dehao Chen41cde0b2016-09-18 23:11:37 +0000783 for (auto I : CIS) {
Dehao Chen274df5e2017-01-31 17:49:37 +0000784 Function *CalledFunction = CallSite(I).getCalledFunction();
Dehao Chen50f2aa12017-06-21 17:57:43 +0000785 // Do not inline recursive calls.
786 if (CalledFunction == &F)
787 continue;
Dehao Chen4f5d8302017-09-30 20:46:15 +0000788 if (CallSite(I).isIndirectCall()) {
789 if (PromotedInsns.count(I))
790 continue;
Dehao Chen3f56a052017-10-10 21:13:50 +0000791 uint64_t Sum;
792 for (const auto *FS : findIndirectCallFunctionSamples(*I, Sum)) {
Dehao Chend26dae02017-10-01 05:24:51 +0000793 if (IsThinLTOPreLink) {
Dehao Chenc6c051f2017-11-01 20:26:47 +0000794 FS->findInlinedFunctions(InlinedGUIDs, F.getParent(),
Wei Mia0c08572018-06-11 22:40:43 +0000795 PSI->getOrCompHotCountThreshold(),
796 isCompact);
Dehao Chend26dae02017-10-01 05:24:51 +0000797 continue;
798 }
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000799 auto CalleeFunctionName = FS->getName();
Dehao Chene2a428b2017-06-08 20:11:57 +0000800 // If it is a recursive call, we do not inline it as it could bloat
801 // the code exponentially. There is way to better handle this, e.g.
802 // clone the caller first, and inline the cloned caller if it is
Dehao Chen4f5d8302017-09-30 20:46:15 +0000803 // recursive. As llvm does not inline recursive calls, we will
804 // simply ignore it instead of handling it explicitly.
Wei Mia0c08572018-06-11 22:40:43 +0000805 std::string FGUID;
806 auto Fname = getRepInFormat(F.getName(), Reader->getFormat(), FGUID);
807 if (CalleeFunctionName == Fname)
Dehao Chene2a428b2017-06-08 20:11:57 +0000808 continue;
Dehao Chen4f5d8302017-09-30 20:46:15 +0000809
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000810 const char *Reason = "Callee function not available";
Dehao Chen1ea8bd82017-04-17 22:23:05 +0000811 auto R = SymbolMap.find(CalleeFunctionName);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000812 if (R != SymbolMap.end() && R->getValue() &&
813 !R->getValue()->isDeclaration() &&
814 R->getValue()->getSubprogram() &&
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000815 isLegalToPromote(CallSite(I), R->getValue(), &Reason)) {
Dehao Chen3f56a052017-10-10 21:13:50 +0000816 uint64_t C = FS->getEntrySamples();
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000817 Instruction *DI =
818 pgo::promoteIndirectCall(I, R->getValue(), C, Sum, false, ORE);
Dehao Chen3f56a052017-10-10 21:13:50 +0000819 Sum -= C;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000820 PromotedInsns.insert(I);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000821 // If profile mismatches, we should not attempt to inline DI.
822 if ((isa<CallInst>(DI) || isa<InvokeInst>(DI)) &&
823 inlineCallInstruction(DI))
824 LocalChanged = true;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000825 } else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000826 LLVM_DEBUG(dbgs()
827 << "\nFailed to promote indirect call to "
828 << CalleeFunctionName << " because " << Reason << "\n");
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000829 }
Dehao Chen274df5e2017-01-31 17:49:37 +0000830 }
Dehao Chen4f5d8302017-09-30 20:46:15 +0000831 } else if (CalledFunction && CalledFunction->getSubprogram() &&
832 !CalledFunction->isDeclaration()) {
833 if (inlineCallInstruction(I))
834 LocalChanged = true;
Dehao Chend26dae02017-10-01 05:24:51 +0000835 } else if (IsThinLTOPreLink) {
Dehao Chenc6c051f2017-11-01 20:26:47 +0000836 findCalleeFunctionSamples(*I)->findInlinedFunctions(
Wei Mia0c08572018-06-11 22:40:43 +0000837 InlinedGUIDs, F.getParent(), PSI->getOrCompHotCountThreshold(),
838 isCompact);
Diego Novillo7963ea12015-10-26 18:52:53 +0000839 }
Dehao Chen67226882015-09-30 00:42:46 +0000840 }
841 if (LocalChanged) {
842 Changed = true;
843 } else {
844 break;
845 }
846 }
847 return Changed;
848}
849
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000850/// Find equivalence classes for the given block.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000851///
852/// This finds all the blocks that are guaranteed to execute the same
Eric Christopher572e03a2015-06-19 01:53:21 +0000853/// number of times as \p BB1. To do this, it traverses all the
Diego Novillo0accb3d2014-01-10 23:23:46 +0000854/// descendants of \p BB1 in the dominator or post-dominator tree.
855///
856/// A block BB2 will be in the same equivalence class as \p BB1 if
857/// the following holds:
858///
859/// 1- \p BB1 is a descendant of BB2 in the opposite tree. So, if BB2
860/// is a descendant of \p BB1 in the dominator tree, then BB2 should
861/// dominate BB1 in the post-dominator tree.
862///
863/// 2- Both BB2 and \p BB1 must be in the same loop.
864///
865/// For every block BB2 that meets those two requirements, we set BB2's
866/// equivalence class to \p BB1.
867///
868/// \param BB1 Block to check.
869/// \param Descendants Descendants of \p BB1 in either the dom or pdom tree.
870/// \param DomTree Opposite dominator tree. If \p Descendants is filled
871/// with blocks from \p BB1's dominator tree, then
872/// this is the post-dominator tree, and vice versa.
Jakub Kuderskib292c222017-07-14 18:26:09 +0000873template <bool IsPostDom>
Diego Novillode1ab262014-09-09 12:40:50 +0000874void SampleProfileLoader::findEquivalencesFor(
Benjamin Kramer8a752e32016-02-13 16:01:12 +0000875 BasicBlock *BB1, ArrayRef<BasicBlock *> Descendants,
Jakub Kuderskib292c222017-07-14 18:26:09 +0000876 DominatorTreeBase<BasicBlock, IsPostDom> *DomTree) {
Dehao Chen7c41dd62015-10-01 00:26:56 +0000877 const BasicBlock *EC = EquivalenceClass[BB1];
Diego Novillo38be3332015-10-15 16:36:21 +0000878 uint64_t Weight = BlockWeights[EC];
Dehao Chen8e7df832015-09-29 18:28:15 +0000879 for (const auto *BB2 : Descendants) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000880 bool IsDomParent = DomTree->dominates(BB2, BB1);
881 bool IsInSameLoop = LI->getLoopFor(BB1) == LI->getLoopFor(BB2);
Dehao Chen7c41dd62015-10-01 00:26:56 +0000882 if (BB1 != BB2 && IsDomParent && IsInSameLoop) {
883 EquivalenceClass[BB2] = EC;
Dehao Chenc0a1e432016-08-12 16:22:12 +0000884 // If BB2 is visited, then the entire EC should be marked as visited.
885 if (VisitedBlocks.count(BB2)) {
886 VisitedBlocks.insert(EC);
887 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000888
889 // If BB2 is heavier than BB1, make BB2 have the same weight
890 // as BB1.
891 //
892 // Note that we don't worry about the opposite situation here
893 // (when BB2 is lighter than BB1). We will deal with this
894 // during the propagation phase. Right now, we just want to
895 // make sure that BB1 has the largest weight of all the
896 // members of its equivalence set.
Dehao Chen7c41dd62015-10-01 00:26:56 +0000897 Weight = std::max(Weight, BlockWeights[BB2]);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000898 }
899 }
Dehao Chenc0a1e432016-08-12 16:22:12 +0000900 if (EC == &EC->getParent()->getEntryBlock()) {
901 BlockWeights[EC] = Samples->getHeadSamples() + 1;
902 } else {
903 BlockWeights[EC] = Weight;
904 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000905}
906
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000907/// Find equivalence classes.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000908///
909/// Since samples may be missing from blocks, we can fill in the gaps by setting
910/// the weights of all the blocks in the same equivalence class to the same
911/// weight. To compute the concept of equivalence, we use dominance and loop
912/// information. Two blocks B1 and B2 are in the same equivalence class if B1
913/// dominates B2, B2 post-dominates B1 and both are in the same loop.
914///
915/// \param F The function to query.
Diego Novillode1ab262014-09-09 12:40:50 +0000916void SampleProfileLoader::findEquivalenceClasses(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000917 SmallVector<BasicBlock *, 8> DominatedBBs;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000918 LLVM_DEBUG(dbgs() << "\nBlock equivalence classes\n");
Diego Novillo0accb3d2014-01-10 23:23:46 +0000919 // Find equivalence sets based on dominance and post-dominance information.
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000920 for (auto &BB : F) {
921 BasicBlock *BB1 = &BB;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000922
923 // Compute BB1's equivalence class once.
924 if (EquivalenceClass.count(BB1)) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000925 LLVM_DEBUG(printBlockEquivalence(dbgs(), BB1));
Diego Novillo0accb3d2014-01-10 23:23:46 +0000926 continue;
927 }
928
929 // By default, blocks are in their own equivalence class.
930 EquivalenceClass[BB1] = BB1;
931
932 // Traverse all the blocks dominated by BB1. We are looking for
933 // every basic block BB2 such that:
934 //
935 // 1- BB1 dominates BB2.
936 // 2- BB2 post-dominates BB1.
937 // 3- BB1 and BB2 are in the same loop nest.
938 //
939 // If all those conditions hold, it means that BB2 is executed
940 // as many times as BB1, so they are placed in the same equivalence
941 // class by making BB2's equivalence class be BB1.
942 DominatedBBs.clear();
943 DT->getDescendants(BB1, DominatedBBs);
Diego Novillo7732ae42015-08-26 20:00:27 +0000944 findEquivalencesFor(BB1, DominatedBBs, PDT.get());
Diego Novillo0accb3d2014-01-10 23:23:46 +0000945
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000946 LLVM_DEBUG(printBlockEquivalence(dbgs(), BB1));
Diego Novillo0accb3d2014-01-10 23:23:46 +0000947 }
948
949 // Assign weights to equivalence classes.
950 //
951 // All the basic blocks in the same equivalence class will execute
952 // the same number of times. Since we know that the head block in
953 // each equivalence class has the largest weight, assign that weight
954 // to all the blocks in that equivalence class.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000955 LLVM_DEBUG(
956 dbgs() << "\nAssign the same weight to all blocks in the same class\n");
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000957 for (auto &BI : F) {
Dehao Chen8e7df832015-09-29 18:28:15 +0000958 const BasicBlock *BB = &BI;
959 const BasicBlock *EquivBB = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000960 if (BB != EquivBB)
961 BlockWeights[BB] = BlockWeights[EquivBB];
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000962 LLVM_DEBUG(printBlockWeight(dbgs(), BB));
Diego Novillo0accb3d2014-01-10 23:23:46 +0000963 }
964}
965
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000966/// Visit the given edge to decide if it has a valid weight.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000967///
968/// If \p E has not been visited before, we copy to \p UnknownEdge
969/// and increment the count of unknown edges.
970///
971/// \param E Edge to visit.
972/// \param NumUnknownEdges Current number of unknown edges.
973/// \param UnknownEdge Set if E has not been visited before.
974///
975/// \returns E's weight, if known. Otherwise, return 0.
Diego Novillo38be3332015-10-15 16:36:21 +0000976uint64_t SampleProfileLoader::visitEdge(Edge E, unsigned *NumUnknownEdges,
Diego Novillode1ab262014-09-09 12:40:50 +0000977 Edge *UnknownEdge) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000978 if (!VisitedEdges.count(E)) {
979 (*NumUnknownEdges)++;
980 *UnknownEdge = E;
981 return 0;
982 }
983
984 return EdgeWeights[E];
985}
986
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000987/// Propagate weights through incoming/outgoing edges.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000988///
989/// If the weight of a basic block is known, and there is only one edge
990/// with an unknown weight, we can calculate the weight of that edge.
991///
992/// Similarly, if all the edges have a known count, we can calculate the
993/// count of the basic block, if needed.
994///
995/// \param F Function to process.
Dehao Chenc0a1e432016-08-12 16:22:12 +0000996/// \param UpdateBlockCount Whether we should update basic block counts that
997/// has already been annotated.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000998///
999/// \returns True if new weights were assigned to edges or blocks.
Dehao Chenc0a1e432016-08-12 16:22:12 +00001000bool SampleProfileLoader::propagateThroughEdges(Function &F,
1001 bool UpdateBlockCount) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001002 bool Changed = false;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001003 LLVM_DEBUG(dbgs() << "\nPropagation through edges\n");
Dehao Chen7c41dd62015-10-01 00:26:56 +00001004 for (const auto &BI : F) {
1005 const BasicBlock *BB = &BI;
1006 const BasicBlock *EC = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001007
1008 // Visit all the predecessor and successor edges to determine
1009 // which ones have a weight assigned already. Note that it doesn't
1010 // matter that we only keep track of a single unknown edge. The
1011 // only case we are interested in handling is when only a single
1012 // edge is unknown (see setEdgeOrBlockWeight).
1013 for (unsigned i = 0; i < 2; i++) {
Diego Novillo38be3332015-10-15 16:36:21 +00001014 uint64_t TotalWeight = 0;
Dehao Chen29d26412016-07-11 16:40:17 +00001015 unsigned NumUnknownEdges = 0, NumTotalEdges = 0;
1016 Edge UnknownEdge, SelfReferentialEdge, SingleEdge;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001017
1018 if (i == 0) {
1019 // First, visit all predecessor edges.
Dehao Chen29d26412016-07-11 16:40:17 +00001020 NumTotalEdges = Predecessors[BB].size();
Diego Novillob368b7d2014-10-22 16:51:50 +00001021 for (auto *Pred : Predecessors[BB]) {
1022 Edge E = std::make_pair(Pred, BB);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001023 TotalWeight += visitEdge(E, &NumUnknownEdges, &UnknownEdge);
1024 if (E.first == E.second)
1025 SelfReferentialEdge = E;
1026 }
Dehao Chen29d26412016-07-11 16:40:17 +00001027 if (NumTotalEdges == 1) {
1028 SingleEdge = std::make_pair(Predecessors[BB][0], BB);
1029 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001030 } else {
1031 // On the second round, visit all successor edges.
Dehao Chen29d26412016-07-11 16:40:17 +00001032 NumTotalEdges = Successors[BB].size();
Diego Novillob368b7d2014-10-22 16:51:50 +00001033 for (auto *Succ : Successors[BB]) {
1034 Edge E = std::make_pair(BB, Succ);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001035 TotalWeight += visitEdge(E, &NumUnknownEdges, &UnknownEdge);
1036 }
Dehao Chen29d26412016-07-11 16:40:17 +00001037 if (NumTotalEdges == 1) {
1038 SingleEdge = std::make_pair(BB, Successors[BB][0]);
1039 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001040 }
1041
1042 // After visiting all the edges, there are three cases that we
1043 // can handle immediately:
1044 //
1045 // - All the edge weights are known (i.e., NumUnknownEdges == 0).
1046 // In this case, we simply check that the sum of all the edges
1047 // is the same as BB's weight. If not, we change BB's weight
1048 // to match. Additionally, if BB had not been visited before,
1049 // we mark it visited.
1050 //
1051 // - Only one edge is unknown and BB has already been visited.
1052 // In this case, we can compute the weight of the edge by
1053 // subtracting the total block weight from all the known
1054 // edge weights. If the edges weight more than BB, then the
1055 // edge of the last remaining edge is set to zero.
1056 //
1057 // - There exists a self-referential edge and the weight of BB is
1058 // known. In this case, this edge can be based on BB's weight.
1059 // We add up all the other known edges and set the weight on
1060 // the self-referential edge as we did in the previous case.
1061 //
1062 // In any other case, we must continue iterating. Eventually,
1063 // all edges will get a weight, or iteration will stop when
1064 // it reaches SampleProfileMaxPropagateIterations.
1065 if (NumUnknownEdges <= 1) {
Diego Novillo38be3332015-10-15 16:36:21 +00001066 uint64_t &BBWeight = BlockWeights[EC];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001067 if (NumUnknownEdges == 0) {
Dehao Chen29d26412016-07-11 16:40:17 +00001068 if (!VisitedBlocks.count(EC)) {
1069 // If we already know the weight of all edges, the weight of the
1070 // basic block can be computed. It should be no larger than the sum
1071 // of all edge weights.
1072 if (TotalWeight > BBWeight) {
1073 BBWeight = TotalWeight;
1074 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001075 LLVM_DEBUG(dbgs() << "All edge weights for " << BB->getName()
1076 << " known. Set weight for block: ";
1077 printBlockWeight(dbgs(), BB););
Dehao Chen29d26412016-07-11 16:40:17 +00001078 }
1079 } else if (NumTotalEdges == 1 &&
1080 EdgeWeights[SingleEdge] < BlockWeights[EC]) {
1081 // If there is only one edge for the visited basic block, use the
1082 // block weight to adjust edge weight if edge weight is smaller.
1083 EdgeWeights[SingleEdge] = BlockWeights[EC];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001084 Changed = true;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001085 }
Dehao Chen7c41dd62015-10-01 00:26:56 +00001086 } else if (NumUnknownEdges == 1 && VisitedBlocks.count(EC)) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001087 // If there is a single unknown edge and the block has been
1088 // visited, then we can compute E's weight.
1089 if (BBWeight >= TotalWeight)
1090 EdgeWeights[UnknownEdge] = BBWeight - TotalWeight;
1091 else
1092 EdgeWeights[UnknownEdge] = 0;
Dehao Chenc0a1e432016-08-12 16:22:12 +00001093 const BasicBlock *OtherEC;
1094 if (i == 0)
1095 OtherEC = EquivalenceClass[UnknownEdge.first];
1096 else
1097 OtherEC = EquivalenceClass[UnknownEdge.second];
1098 // Edge weights should never exceed the BB weights it connects.
1099 if (VisitedBlocks.count(OtherEC) &&
1100 EdgeWeights[UnknownEdge] > BlockWeights[OtherEC])
1101 EdgeWeights[UnknownEdge] = BlockWeights[OtherEC];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001102 VisitedEdges.insert(UnknownEdge);
1103 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001104 LLVM_DEBUG(dbgs() << "Set weight for edge: ";
1105 printEdgeWeight(dbgs(), UnknownEdge));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001106 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001107 } else if (VisitedBlocks.count(EC) && BlockWeights[EC] == 0) {
1108 // If a block Weights 0, all its in/out edges should weight 0.
1109 if (i == 0) {
1110 for (auto *Pred : Predecessors[BB]) {
1111 Edge E = std::make_pair(Pred, BB);
1112 EdgeWeights[E] = 0;
1113 VisitedEdges.insert(E);
1114 }
1115 } else {
1116 for (auto *Succ : Successors[BB]) {
1117 Edge E = std::make_pair(BB, Succ);
1118 EdgeWeights[E] = 0;
1119 VisitedEdges.insert(E);
1120 }
1121 }
Dehao Chen7c41dd62015-10-01 00:26:56 +00001122 } else if (SelfReferentialEdge.first && VisitedBlocks.count(EC)) {
Diego Novillo38be3332015-10-15 16:36:21 +00001123 uint64_t &BBWeight = BlockWeights[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001124 // We have a self-referential edge and the weight of BB is known.
1125 if (BBWeight >= TotalWeight)
1126 EdgeWeights[SelfReferentialEdge] = BBWeight - TotalWeight;
1127 else
1128 EdgeWeights[SelfReferentialEdge] = 0;
1129 VisitedEdges.insert(SelfReferentialEdge);
1130 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001131 LLVM_DEBUG(dbgs() << "Set self-referential edge weight to: ";
1132 printEdgeWeight(dbgs(), SelfReferentialEdge));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001133 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001134 if (UpdateBlockCount && !VisitedBlocks.count(EC) && TotalWeight > 0) {
1135 BlockWeights[EC] = TotalWeight;
1136 VisitedBlocks.insert(EC);
1137 Changed = true;
1138 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001139 }
1140 }
1141
1142 return Changed;
1143}
1144
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001145/// Build in/out edge lists for each basic block in the CFG.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001146///
1147/// We are interested in unique edges. If a block B1 has multiple
1148/// edges to another block B2, we only add a single B1->B2 edge.
Diego Novillode1ab262014-09-09 12:40:50 +00001149void SampleProfileLoader::buildEdges(Function &F) {
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001150 for (auto &BI : F) {
1151 BasicBlock *B1 = &BI;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001152
1153 // Add predecessors for B1.
1154 SmallPtrSet<BasicBlock *, 16> Visited;
1155 if (!Predecessors[B1].empty())
1156 llvm_unreachable("Found a stale predecessors list in a basic block.");
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +00001157 for (pred_iterator PI = pred_begin(B1), PE = pred_end(B1); PI != PE; ++PI) {
1158 BasicBlock *B2 = *PI;
David Blaikie70573dc2014-11-19 07:49:26 +00001159 if (Visited.insert(B2).second)
Diego Novillo0accb3d2014-01-10 23:23:46 +00001160 Predecessors[B1].push_back(B2);
1161 }
1162
1163 // Add successors for B1.
1164 Visited.clear();
1165 if (!Successors[B1].empty())
1166 llvm_unreachable("Found a stale successors list in a basic block.");
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +00001167 for (succ_iterator SI = succ_begin(B1), SE = succ_end(B1); SI != SE; ++SI) {
1168 BasicBlock *B2 = *SI;
David Blaikie70573dc2014-11-19 07:49:26 +00001169 if (Visited.insert(B2).second)
Diego Novillo0accb3d2014-01-10 23:23:46 +00001170 Successors[B1].push_back(B2);
1171 }
1172 }
1173}
1174
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001175/// Returns the sorted CallTargetMap \p M by count in descending order.
1176static SmallVector<InstrProfValueData, 2> SortCallTargets(
1177 const SampleRecord::CallTargetMap &M) {
1178 SmallVector<InstrProfValueData, 2> R;
1179 for (auto I = M.begin(); I != M.end(); ++I)
1180 R.push_back({Function::getGUID(I->getKey()), I->getValue()});
Mandeep Singh Grang636d94d2018-04-13 19:47:57 +00001181 llvm::sort(R.begin(), R.end(),
1182 [](const InstrProfValueData &L, const InstrProfValueData &R) {
1183 if (L.Count == R.Count)
1184 return L.Value > R.Value;
1185 else
1186 return L.Count > R.Count;
1187 });
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001188 return R;
Dehao Chen77079002017-01-20 22:56:07 +00001189}
1190
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001191/// Propagate weights into edges
Diego Novillo0accb3d2014-01-10 23:23:46 +00001192///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001193/// The following rules are applied to every block BB in the CFG:
Diego Novillo0accb3d2014-01-10 23:23:46 +00001194///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001195/// - If BB has a single predecessor/successor, then the weight
Diego Novillo0accb3d2014-01-10 23:23:46 +00001196/// of that edge is the weight of the block.
1197///
1198/// - If all incoming or outgoing edges are known except one, and the
1199/// weight of the block is already known, the weight of the unknown
1200/// edge will be the weight of the block minus the sum of all the known
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001201/// edges. If the sum of all the known edges is larger than BB's weight,
Diego Novillo0accb3d2014-01-10 23:23:46 +00001202/// we set the unknown edge weight to zero.
1203///
1204/// - If there is a self-referential edge, and the weight of the block is
1205/// known, the weight for that edge is set to the weight of the block
1206/// minus the weight of the other incoming edges to that block (if
1207/// known).
Diego Novillode1ab262014-09-09 12:40:50 +00001208void SampleProfileLoader::propagateWeights(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001209 bool Changed = true;
Diego Novillo38be3332015-10-15 16:36:21 +00001210 unsigned I = 0;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001211
Dehao Chenc0a1e432016-08-12 16:22:12 +00001212 // If BB weight is larger than its corresponding loop's header BB weight,
1213 // use the BB weight to replace the loop header BB weight.
1214 for (auto &BI : F) {
1215 BasicBlock *BB = &BI;
1216 Loop *L = LI->getLoopFor(BB);
1217 if (!L) {
1218 continue;
1219 }
1220 BasicBlock *Header = L->getHeader();
1221 if (Header && BlockWeights[BB] > BlockWeights[Header]) {
1222 BlockWeights[Header] = BlockWeights[BB];
1223 }
1224 }
Diego Novilloffc84e32015-05-13 17:04:29 +00001225
Diego Novillo0accb3d2014-01-10 23:23:46 +00001226 // Before propagation starts, build, for each block, a list of
1227 // unique predecessors and successors. This is necessary to handle
1228 // identical edges in multiway branches. Since we visit all blocks and all
1229 // edges of the CFG, it is cleaner to build these lists once at the start
1230 // of the pass.
1231 buildEdges(F);
1232
1233 // Propagate until we converge or we go past the iteration limit.
Diego Novillo38be3332015-10-15 16:36:21 +00001234 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
Dehao Chenc0a1e432016-08-12 16:22:12 +00001235 Changed = propagateThroughEdges(F, false);
1236 }
1237
1238 // The first propagation propagates BB counts from annotated BBs to unknown
1239 // BBs. The 2nd propagation pass resets edges weights, and use all BB weights
1240 // to propagate edge weights.
1241 VisitedEdges.clear();
1242 Changed = true;
1243 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
1244 Changed = propagateThroughEdges(F, false);
1245 }
1246
1247 // The 3rd propagation pass allows adjust annotated BB weights that are
1248 // obviously wrong.
1249 Changed = true;
1250 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
1251 Changed = propagateThroughEdges(F, true);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001252 }
1253
1254 // Generate MD_prof metadata for every branch instruction using the
1255 // edge weights computed during propagation.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001256 LLVM_DEBUG(dbgs() << "\nPropagation complete. Setting branch weights\n");
Diego Novillo7963ea12015-10-26 18:52:53 +00001257 LLVMContext &Ctx = F.getContext();
1258 MDBuilder MDB(Ctx);
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001259 for (auto &BI : F) {
1260 BasicBlock *BB = &BI;
Dehao Chen9232f982016-07-11 16:48:54 +00001261
1262 if (BlockWeights[BB]) {
1263 for (auto &I : BB->getInstList()) {
Dehao Chen77079002017-01-20 22:56:07 +00001264 if (!isa<CallInst>(I) && !isa<InvokeInst>(I))
1265 continue;
1266 CallSite CS(&I);
1267 if (!CS.getCalledFunction()) {
1268 const DebugLoc &DLoc = I.getDebugLoc();
1269 if (!DLoc)
1270 continue;
1271 const DILocation *DIL = DLoc;
Mircea Trofin56950972018-02-22 06:42:57 +00001272 uint32_t LineOffset = FunctionSamples::getOffset(DIL);
Dehao Chen533bc6e2017-02-23 18:27:45 +00001273 uint32_t Discriminator = DIL->getBaseDiscriminator();
Dehao Chen77079002017-01-20 22:56:07 +00001274
1275 const FunctionSamples *FS = findFunctionSamples(I);
1276 if (!FS)
1277 continue;
1278 auto T = FS->findCallTargetMapAt(LineOffset, Discriminator);
Eugene Zelenkof27d1612017-10-19 21:21:30 +00001279 if (!T || T.get().empty())
Dehao Chen77079002017-01-20 22:56:07 +00001280 continue;
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001281 SmallVector<InstrProfValueData, 2> SortedCallTargets =
1282 SortCallTargets(T.get());
1283 uint64_t Sum;
1284 findIndirectCallFunctionSamples(I, Sum);
Dehao Chen77079002017-01-20 22:56:07 +00001285 annotateValueSite(*I.getParent()->getParent()->getParent(), I,
1286 SortedCallTargets, Sum, IPVK_IndirectCallTarget,
1287 SortedCallTargets.size());
1288 } else if (!dyn_cast<IntrinsicInst>(&I)) {
1289 SmallVector<uint32_t, 1> Weights;
1290 Weights.push_back(BlockWeights[BB]);
1291 I.setMetadata(LLVMContext::MD_prof, MDB.createBranchWeights(Weights));
Dehao Chen9232f982016-07-11 16:48:54 +00001292 }
1293 }
1294 }
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001295 TerminatorInst *TI = BB->getTerminator();
Diego Novillo0accb3d2014-01-10 23:23:46 +00001296 if (TI->getNumSuccessors() == 1)
1297 continue;
1298 if (!isa<BranchInst>(TI) && !isa<SwitchInst>(TI))
1299 continue;
1300
Andrea Di Biagio517e3fc2017-04-18 11:27:58 +00001301 DebugLoc BranchLoc = TI->getDebugLoc();
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001302 LLVM_DEBUG(dbgs() << "\nGetting weights for branch at line "
1303 << ((BranchLoc) ? Twine(BranchLoc.getLine())
1304 : Twine("<UNKNOWN LOCATION>"))
1305 << ".\n");
Diego Novillo38be3332015-10-15 16:36:21 +00001306 SmallVector<uint32_t, 4> Weights;
Diego Novillo7963ea12015-10-26 18:52:53 +00001307 uint32_t MaxWeight = 0;
Eli Friedman51cf2602017-08-11 21:12:04 +00001308 Instruction *MaxDestInst;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001309 for (unsigned I = 0; I < TI->getNumSuccessors(); ++I) {
1310 BasicBlock *Succ = TI->getSuccessor(I);
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001311 Edge E = std::make_pair(BB, Succ);
Diego Novillo38be3332015-10-15 16:36:21 +00001312 uint64_t Weight = EdgeWeights[E];
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001313 LLVM_DEBUG(dbgs() << "\t"; printEdgeWeight(dbgs(), E));
Diego Novillo38be3332015-10-15 16:36:21 +00001314 // Use uint32_t saturated arithmetic to adjust the incoming weights,
1315 // if needed. Sample counts in profiles are 64-bit unsigned values,
1316 // but internally branch weights are expressed as 32-bit values.
1317 if (Weight > std::numeric_limits<uint32_t>::max()) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001318 LLVM_DEBUG(dbgs() << " (saturated due to uint32_t overflow)");
Diego Novillo38be3332015-10-15 16:36:21 +00001319 Weight = std::numeric_limits<uint32_t>::max();
1320 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001321 // Weight is added by one to avoid propagation errors introduced by
1322 // 0 weights.
1323 Weights.push_back(static_cast<uint32_t>(Weight + 1));
Diego Novillo7963ea12015-10-26 18:52:53 +00001324 if (Weight != 0) {
1325 if (Weight > MaxWeight) {
1326 MaxWeight = Weight;
Eli Friedman51cf2602017-08-11 21:12:04 +00001327 MaxDestInst = Succ->getFirstNonPHIOrDbgOrLifetime();
Diego Novillo7963ea12015-10-26 18:52:53 +00001328 }
1329 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001330 }
1331
Dehao Chen53a0c082017-03-23 14:43:10 +00001332 uint64_t TempWeight;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001333 // Only set weights if there is at least one non-zero weight.
1334 // In any other case, let the analyzer set weights.
Dehao Chen53a0c082017-03-23 14:43:10 +00001335 // Do not set weights if the weights are present. In ThinLTO, the profile
1336 // annotation is done twice. If the first annotation already set the
1337 // weights, the second pass does not need to set it.
1338 if (MaxWeight > 0 && !TI->extractProfTotalWeight(TempWeight)) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001339 LLVM_DEBUG(dbgs() << "SUCCESS. Found non-zero weights.\n");
Eugene Zelenkof27d1612017-10-19 21:21:30 +00001340 TI->setMetadata(LLVMContext::MD_prof,
Dehao Chen82667d02016-09-19 16:33:41 +00001341 MDB.createBranchWeights(Weights));
Vivek Pandya95906582017-10-11 17:12:59 +00001342 ORE->emit([&]() {
1343 return OptimizationRemark(DEBUG_TYPE, "PopularDest", MaxDestInst)
1344 << "most popular destination for conditional branches at "
1345 << ore::NV("CondBranchesLoc", BranchLoc);
1346 });
Dehao Chen82667d02016-09-19 16:33:41 +00001347 } else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001348 LLVM_DEBUG(dbgs() << "SKIPPED. All branch weights are zero.\n");
Dehao Chen82667d02016-09-19 16:33:41 +00001349 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001350 }
1351}
1352
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001353/// Get the line number for the function header.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001354///
1355/// This looks up function \p F in the current compilation unit and
1356/// retrieves the line number where the function is defined. This is
1357/// line 0 for all the samples read from the profile file. Every line
1358/// number is relative to this line.
1359///
1360/// \param F Function object to query.
1361///
Diego Novilloa32aa322014-03-14 21:58:59 +00001362/// \returns the line number where \p F is defined. If it returns 0,
1363/// it means that there is no debug information available for \p F.
Diego Novillode1ab262014-09-09 12:40:50 +00001364unsigned SampleProfileLoader::getFunctionLoc(Function &F) {
Pete Cooperadebb932016-03-11 02:14:16 +00001365 if (DISubprogram *S = F.getSubprogram())
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001366 return S->getLine();
Diego Novillo0accb3d2014-01-10 23:23:46 +00001367
Wei Mie5551272018-06-25 15:40:31 +00001368 if (NoWarnSampleUnused)
1369 return 0;
1370
Diego Novilloaa555072015-10-27 18:41:46 +00001371 // If the start of \p F is missing, emit a diagnostic to inform the user
Diego Novillo8027b802014-10-22 12:59:00 +00001372 // about the missed opportunity.
David Blaikie61079682014-03-16 01:36:18 +00001373 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Diego Novilloa67c0b42014-10-22 13:36:35 +00001374 "No debug information found in function " + F.getName() +
1375 ": Function profile not used",
1376 DS_Warning));
Diego Novilloa32aa322014-03-14 21:58:59 +00001377 return 0;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001378}
1379
Diego Novillo7732ae42015-08-26 20:00:27 +00001380void SampleProfileLoader::computeDominanceAndLoopInfo(Function &F) {
1381 DT.reset(new DominatorTree);
1382 DT->recalculate(F);
1383
Jakub Kuderskief33edd2018-05-23 17:29:21 +00001384 PDT.reset(new PostDominatorTree(F));
Diego Novillo7732ae42015-08-26 20:00:27 +00001385
1386 LI.reset(new LoopInfo);
1387 LI->analyze(*DT);
1388}
1389
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001390/// Generate branch weight metadata for all branches in \p F.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001391///
1392/// Branch weights are computed out of instruction samples using a
1393/// propagation heuristic. Propagation proceeds in 3 phases:
1394///
1395/// 1- Assignment of block weights. All the basic blocks in the function
1396/// are initial assigned the same weight as their most frequently
1397/// executed instruction.
1398///
1399/// 2- Creation of equivalence classes. Since samples may be missing from
1400/// blocks, we can fill in the gaps by setting the weights of all the
1401/// blocks in the same equivalence class to the same weight. To compute
1402/// the concept of equivalence, we use dominance and loop information.
1403/// Two blocks B1 and B2 are in the same equivalence class if B1
1404/// dominates B2, B2 post-dominates B1 and both are in the same loop.
1405///
1406/// 3- Propagation of block weights into edges. This uses a simple
1407/// propagation heuristic. The following rules are applied to every
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001408/// block BB in the CFG:
Diego Novillo0accb3d2014-01-10 23:23:46 +00001409///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001410/// - If BB has a single predecessor/successor, then the weight
Diego Novillo0accb3d2014-01-10 23:23:46 +00001411/// of that edge is the weight of the block.
1412///
1413/// - If all the edges are known except one, and the weight of the
1414/// block is already known, the weight of the unknown edge will
1415/// be the weight of the block minus the sum of all the known
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001416/// edges. If the sum of all the known edges is larger than BB's weight,
Diego Novillo0accb3d2014-01-10 23:23:46 +00001417/// we set the unknown edge weight to zero.
1418///
1419/// - If there is a self-referential edge, and the weight of the block is
1420/// known, the weight for that edge is set to the weight of the block
1421/// minus the weight of the other incoming edges to that block (if
1422/// known).
1423///
1424/// Since this propagation is not guaranteed to finalize for every CFG, we
1425/// only allow it to proceed for a limited number of iterations (controlled
1426/// by -sample-profile-max-propagate-iterations).
1427///
1428/// FIXME: Try to replace this propagation heuristic with a scheme
1429/// that is guaranteed to finalize. A work-list approach similar to
1430/// the standard value propagation algorithm used by SSA-CCP might
1431/// work here.
1432///
1433/// Once all the branch weights are computed, we emit the MD_prof
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001434/// metadata on BB using the computed values for each of its branches.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001435///
1436/// \param F The function to query.
Diego Novilloa32aa322014-03-14 21:58:59 +00001437///
1438/// \returns true if \p F was modified. Returns false, otherwise.
Diego Novillode1ab262014-09-09 12:40:50 +00001439bool SampleProfileLoader::emitAnnotations(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001440 bool Changed = false;
1441
Dehao Chen41dc5a62015-10-09 16:50:16 +00001442 if (getFunctionLoc(F) == 0)
Diego Novilloa32aa322014-03-14 21:58:59 +00001443 return false;
1444
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001445 LLVM_DEBUG(dbgs() << "Line number for the first instruction in "
1446 << F.getName() << ": " << getFunctionLoc(F) << "\n");
Diego Novillo0accb3d2014-01-10 23:23:46 +00001447
Dehao Chenc6c051f2017-11-01 20:26:47 +00001448 DenseSet<GlobalValue::GUID> InlinedGUIDs;
1449 Changed |= inlineHotFunctions(F, InlinedGUIDs);
Dehao Chen67226882015-09-30 00:42:46 +00001450
Diego Novillo0accb3d2014-01-10 23:23:46 +00001451 // Compute basic block weights.
1452 Changed |= computeBlockWeights(F);
1453
1454 if (Changed) {
Dehao Chena60cdd32017-02-28 18:09:44 +00001455 // Add an entry count to the function using the samples gathered at the
Dehao Chenc6c051f2017-11-01 20:26:47 +00001456 // function entry.
1457 // Sets the GUIDs that are inlined in the profiled binary. This is used
1458 // for ThinLink to make correct liveness analysis, and also make the IR
1459 // match the profiled binary before annotation.
Easwaran Ramane5b8de22018-01-17 22:24:23 +00001460 F.setEntryCount(
1461 ProfileCount(Samples->getHeadSamples() + 1, Function::PCT_Real),
1462 &InlinedGUIDs);
Dehao Chena60cdd32017-02-28 18:09:44 +00001463
Diego Novillo7732ae42015-08-26 20:00:27 +00001464 // Compute dominance and loop info needed for propagation.
1465 computeDominanceAndLoopInfo(F);
1466
Diego Novillo0accb3d2014-01-10 23:23:46 +00001467 // Find equivalence classes.
1468 findEquivalenceClasses(F);
1469
1470 // Propagate weights to all edges.
1471 propagateWeights(F);
1472 }
1473
Diego Novillof9ed08e2015-10-31 21:53:58 +00001474 // If coverage checking was requested, compute it now.
Diego Novillo243ea6a2015-11-23 20:12:21 +00001475 if (SampleProfileRecordCoverage) {
Wei Mi0c2f6be2018-05-10 23:02:27 +00001476 unsigned Used = CoverageTracker.countUsedRecords(Samples, PSI);
1477 unsigned Total = CoverageTracker.countBodyRecords(Samples, PSI);
Diego Novillof9ed08e2015-10-31 21:53:58 +00001478 unsigned Coverage = CoverageTracker.computeCoverage(Used, Total);
Diego Novillo243ea6a2015-11-23 20:12:21 +00001479 if (Coverage < SampleProfileRecordCoverage) {
Diego Novillof9ed08e2015-10-31 21:53:58 +00001480 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Pete Cooperadebb932016-03-11 02:14:16 +00001481 F.getSubprogram()->getFilename(), getFunctionLoc(F),
Diego Novillof9ed08e2015-10-31 21:53:58 +00001482 Twine(Used) + " of " + Twine(Total) + " available profile records (" +
1483 Twine(Coverage) + "%) were applied",
1484 DS_Warning));
1485 }
1486 }
1487
Diego Novillo243ea6a2015-11-23 20:12:21 +00001488 if (SampleProfileSampleCoverage) {
1489 uint64_t Used = CoverageTracker.getTotalUsedSamples();
Wei Mi0c2f6be2018-05-10 23:02:27 +00001490 uint64_t Total = CoverageTracker.countBodySamples(Samples, PSI);
Diego Novillo243ea6a2015-11-23 20:12:21 +00001491 unsigned Coverage = CoverageTracker.computeCoverage(Used, Total);
1492 if (Coverage < SampleProfileSampleCoverage) {
1493 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Pete Cooperadebb932016-03-11 02:14:16 +00001494 F.getSubprogram()->getFilename(), getFunctionLoc(F),
Diego Novillo243ea6a2015-11-23 20:12:21 +00001495 Twine(Used) + " of " + Twine(Total) + " available profile samples (" +
1496 Twine(Coverage) + "%) were applied",
1497 DS_Warning));
1498 }
1499 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001500 return Changed;
1501}
1502
Xinliang David Lie897edb2016-05-27 22:30:44 +00001503char SampleProfileLoaderLegacyPass::ID = 0;
Eugene Zelenkof27d1612017-10-19 21:21:30 +00001504
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001505INITIALIZE_PASS_BEGIN(SampleProfileLoaderLegacyPass, "sample-profile",
1506 "Sample Profile loader", false, false)
1507INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
Dehao Chen3a81f842017-09-14 17:29:56 +00001508INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
Wei Mi0c2f6be2018-05-10 23:02:27 +00001509INITIALIZE_PASS_DEPENDENCY(ProfileSummaryInfoWrapperPass)
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001510INITIALIZE_PASS_END(SampleProfileLoaderLegacyPass, "sample-profile",
1511 "Sample Profile loader", false, false)
Diego Novilloc0dd1032013-11-26 20:37:33 +00001512
1513bool SampleProfileLoader::doInitialization(Module &M) {
Diego Novillo7732ae42015-08-26 20:00:27 +00001514 auto &Ctx = M.getContext();
Diego Novillo4d711132015-08-25 15:25:11 +00001515 auto ReaderOrErr = SampleProfileReader::create(Filename, Ctx);
Diego Novillofcd55602014-11-03 00:51:45 +00001516 if (std::error_code EC = ReaderOrErr.getError()) {
Diego Novilloc572e922014-10-30 18:00:06 +00001517 std::string Msg = "Could not open profile: " + EC.message();
David Blaikie2297a912015-11-02 20:01:13 +00001518 Ctx.diagnose(DiagnosticInfoSampleProfile(Filename, Msg));
Diego Novilloc572e922014-10-30 18:00:06 +00001519 return false;
1520 }
Diego Novillofcd55602014-11-03 00:51:45 +00001521 Reader = std::move(ReaderOrErr.get());
Diego Novilloc572e922014-10-30 18:00:06 +00001522 ProfileIsValid = (Reader->read() == sampleprof_error::success);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001523 return true;
1524}
1525
Diego Novillo4d711132015-08-25 15:25:11 +00001526ModulePass *llvm::createSampleProfileLoaderPass() {
Xinliang David Lie897edb2016-05-27 22:30:44 +00001527 return new SampleProfileLoaderLegacyPass(SampleProfileFile);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001528}
1529
Diego Novillo4d711132015-08-25 15:25:11 +00001530ModulePass *llvm::createSampleProfileLoaderPass(StringRef Name) {
Xinliang David Lie897edb2016-05-27 22:30:44 +00001531 return new SampleProfileLoaderLegacyPass(Name);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001532}
1533
Wei Mi0c2f6be2018-05-10 23:02:27 +00001534bool SampleProfileLoader::runOnModule(Module &M, ModuleAnalysisManager *AM,
1535 ProfileSummaryInfo *_PSI) {
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001536 if (!ProfileIsValid)
1537 return false;
1538
Wei Mi0c2f6be2018-05-10 23:02:27 +00001539 PSI = _PSI;
1540 if (M.getProfileSummary() == nullptr)
1541 M.setProfileSummary(Reader->getSummary().getMD(M.getContext()));
1542
Diego Novillo84f06cc2015-11-27 23:14:51 +00001543 // Compute the total number of samples collected in this profile.
1544 for (const auto &I : Reader->getProfiles())
1545 TotalCollectedSamples += I.second.getTotalSamples();
1546
Dehao Chen1ea8bd82017-04-17 22:23:05 +00001547 // Populate the symbol map.
1548 for (const auto &N_F : M.getValueSymbolTable()) {
Benjamin Kramer24cb28b2017-12-28 18:10:41 +00001549 StringRef OrigName = N_F.getKey();
Dehao Chen1ea8bd82017-04-17 22:23:05 +00001550 Function *F = dyn_cast<Function>(N_F.getValue());
1551 if (F == nullptr)
1552 continue;
1553 SymbolMap[OrigName] = F;
1554 auto pos = OrigName.find('.');
Benjamin Kramer24cb28b2017-12-28 18:10:41 +00001555 if (pos != StringRef::npos) {
1556 StringRef NewName = OrigName.substr(0, pos);
Dehao Chen1ea8bd82017-04-17 22:23:05 +00001557 auto r = SymbolMap.insert(std::make_pair(NewName, F));
1558 // Failiing to insert means there is already an entry in SymbolMap,
1559 // thus there are multiple functions that are mapped to the same
1560 // stripped name. In this case of name conflicting, set the value
1561 // to nullptr to avoid confusion.
1562 if (!r.second)
1563 r.first->second = nullptr;
1564 }
1565 }
1566
Diego Novillo4d711132015-08-25 15:25:11 +00001567 bool retval = false;
1568 for (auto &F : M)
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001569 if (!F.isDeclaration()) {
1570 clearFunctionData();
Eli Friedman51cf2602017-08-11 21:12:04 +00001571 retval |= runOnFunction(F, AM);
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001572 }
Diego Novillo4d711132015-08-25 15:25:11 +00001573 return retval;
1574}
1575
Xinliang David Lie897edb2016-05-27 22:30:44 +00001576bool SampleProfileLoaderLegacyPass::runOnModule(Module &M) {
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001577 ACT = &getAnalysis<AssumptionCacheTracker>();
Dehao Chen3a81f842017-09-14 17:29:56 +00001578 TTIWP = &getAnalysis<TargetTransformInfoWrapperPass>();
Wei Mi0c2f6be2018-05-10 23:02:27 +00001579 ProfileSummaryInfo *PSI =
1580 getAnalysis<ProfileSummaryInfoWrapperPass>().getPSI();
1581 return SampleLoader.runOnModule(M, nullptr, PSI);
Xinliang David Lie897edb2016-05-27 22:30:44 +00001582}
1583
Eli Friedman51cf2602017-08-11 21:12:04 +00001584bool SampleProfileLoader::runOnFunction(Function &F, ModuleAnalysisManager *AM) {
Teresa Johnson915897e2017-12-18 20:02:43 +00001585 // Initialize the entry count to -1, which will be treated conservatively
1586 // by getEntryCount as the same as unknown (None). If we have samples this
1587 // will be overwritten in emitAnnotations.
Easwaran Ramane5b8de22018-01-17 22:24:23 +00001588 F.setEntryCount(ProfileCount(-1, Function::PCT_Real));
Eli Friedman51cf2602017-08-11 21:12:04 +00001589 std::unique_ptr<OptimizationRemarkEmitter> OwnedORE;
1590 if (AM) {
1591 auto &FAM =
1592 AM->getResult<FunctionAnalysisManagerModuleProxy>(*F.getParent())
1593 .getManager();
1594 ORE = &FAM.getResult<OptimizationRemarkEmitterAnalysis>(F);
1595 } else {
1596 OwnedORE = make_unique<OptimizationRemarkEmitter>(&F);
1597 ORE = OwnedORE.get();
1598 }
Diego Novillode1ab262014-09-09 12:40:50 +00001599 Samples = Reader->getSamplesFor(F);
Dehao Chen4a435e02017-03-14 17:33:01 +00001600 if (Samples && !Samples->empty())
Diego Novillode1ab262014-09-09 12:40:50 +00001601 return emitAnnotations(F);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001602 return false;
Diego Novillo8d6568b2013-11-13 12:22:21 +00001603}
Xinliang David Lid38392e2016-05-27 23:20:16 +00001604
1605PreservedAnalyses SampleProfileLoaderPass::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +00001606 ModuleAnalysisManager &AM) {
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001607 FunctionAnalysisManager &FAM =
1608 AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
Xinliang David Lid38392e2016-05-27 23:20:16 +00001609
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001610 auto GetAssumptionCache = [&](Function &F) -> AssumptionCache & {
1611 return FAM.getResult<AssumptionAnalysis>(F);
1612 };
Dehao Chen3a81f842017-09-14 17:29:56 +00001613 auto GetTTI = [&](Function &F) -> TargetTransformInfo & {
1614 return FAM.getResult<TargetIRAnalysis>(F);
1615 };
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001616
Dehao Chend26dae02017-10-01 05:24:51 +00001617 SampleProfileLoader SampleLoader(
1618 ProfileFileName.empty() ? SampleProfileFile : ProfileFileName,
1619 IsThinLTOPreLink, GetAssumptionCache, GetTTI);
Xinliang David Lid38392e2016-05-27 23:20:16 +00001620
1621 SampleLoader.doInitialization(M);
1622
Wei Mi0c2f6be2018-05-10 23:02:27 +00001623 ProfileSummaryInfo *PSI = &AM.getResult<ProfileSummaryAnalysis>(M);
1624 if (!SampleLoader.runOnModule(M, &AM, PSI))
Xinliang David Lid38392e2016-05-27 23:20:16 +00001625 return PreservedAnalyses::all();
1626
1627 return PreservedAnalyses::none();
1628}