blob: 0594063f0c7aaf97ad70322ceb2a504dc60035bd [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
Xinliang David Lid38392e2016-05-27 23:20:16 +000025#include "llvm/Transforms/SampleProfile.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000026#include "llvm/ADT/DenseMap.h"
Diego Novillo0accb3d2014-01-10 23:23:46 +000027#include "llvm/ADT/SmallPtrSet.h"
Chandler Carruth07baed52014-01-13 08:04:33 +000028#include "llvm/ADT/SmallSet.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000029#include "llvm/ADT/StringRef.h"
Dehao Chen071bb9d2016-06-20 20:53:40 +000030#include "llvm/Analysis/AssumptionCache.h"
Diego Novillo0accb3d2014-01-10 23:23:46 +000031#include "llvm/Analysis/LoopInfo.h"
Chandler Carruth07baed52014-01-13 08:04:33 +000032#include "llvm/Analysis/PostDominators.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000033#include "llvm/IR/Constants.h"
Chandler Carruth9a4c9e52014-03-06 00:46:21 +000034#include "llvm/IR/DebugInfo.h"
Diego Novilloa32aa322014-03-14 21:58:59 +000035#include "llvm/IR/DiagnosticInfo.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000036#include "llvm/IR/Dominators.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000037#include "llvm/IR/Function.h"
Chandler Carruth83948572014-03-04 10:30:26 +000038#include "llvm/IR/InstIterator.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000039#include "llvm/IR/Instructions.h"
Xinliang David Lid38392e2016-05-27 23:20:16 +000040#include "llvm/IR/IntrinsicInst.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000041#include "llvm/IR/LLVMContext.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000042#include "llvm/IR/MDBuilder.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000043#include "llvm/IR/Metadata.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000044#include "llvm/IR/Module.h"
45#include "llvm/Pass.h"
Diego Novillode1ab262014-09-09 12:40:50 +000046#include "llvm/ProfileData/SampleProfReader.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000047#include "llvm/Support/CommandLine.h"
48#include "llvm/Support/Debug.h"
Dehao Chen8e7df832015-09-29 18:28:15 +000049#include "llvm/Support/ErrorOr.h"
Diego Novillo7ff0a172015-11-29 18:23:26 +000050#include "llvm/Support/Format.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000051#include "llvm/Support/raw_ostream.h"
Diego Novillo4d711132015-08-25 15:25:11 +000052#include "llvm/Transforms/IPO.h"
Dehao Chen57d1dda2016-03-03 18:09:32 +000053#include "llvm/Transforms/Utils/Cloning.h"
Logan Chien61c6df02014-02-22 06:34:10 +000054#include <cctype>
Diego Novillo8d6568b2013-11-13 12:22:21 +000055
56using namespace llvm;
Diego Novillode1ab262014-09-09 12:40:50 +000057using namespace sampleprof;
Diego Novillo8d6568b2013-11-13 12:22:21 +000058
Chandler Carruth964daaa2014-04-22 02:55:47 +000059#define DEBUG_TYPE "sample-profile"
60
Diego Novillo8d6568b2013-11-13 12:22:21 +000061// Command line option to specify the file to read samples from. This is
62// mainly used for debugging.
63static cl::opt<std::string> SampleProfileFile(
64 "sample-profile-file", cl::init(""), cl::value_desc("filename"),
65 cl::desc("Profile file loaded by -sample-profile"), cl::Hidden);
Diego Novillo0accb3d2014-01-10 23:23:46 +000066static cl::opt<unsigned> SampleProfileMaxPropagateIterations(
67 "sample-profile-max-propagate-iterations", cl::init(100),
68 cl::desc("Maximum number of iterations to go through when propagating "
69 "sample block/edge weights through the CFG."));
Diego Novillo243ea6a2015-11-23 20:12:21 +000070static cl::opt<unsigned> SampleProfileRecordCoverage(
71 "sample-profile-check-record-coverage", cl::init(0), cl::value_desc("N"),
72 cl::desc("Emit a warning if less than N% of records in the input profile "
73 "are matched to the IR."));
74static cl::opt<unsigned> SampleProfileSampleCoverage(
75 "sample-profile-check-sample-coverage", cl::init(0), cl::value_desc("N"),
Diego Novillo748b3ffe2015-10-28 22:30:25 +000076 cl::desc("Emit a warning if less than N% of samples in the input profile "
77 "are matched to the IR."));
Diego Novillob5792402015-11-27 23:14:49 +000078static cl::opt<double> SampleProfileHotThreshold(
79 "sample-profile-inline-hot-threshold", cl::init(0.1), cl::value_desc("N"),
Diego Novillo0b6985a2015-11-24 22:38:37 +000080 cl::desc("Inlined functions that account for more than N% of all samples "
81 "collected in the parent function, will be inlined again."));
Diego Novillo8d6568b2013-11-13 12:22:21 +000082
83namespace {
Diego Novillo38be3332015-10-15 16:36:21 +000084typedef DenseMap<const BasicBlock *, uint64_t> BlockWeightMap;
Dehao Chen8e7df832015-09-29 18:28:15 +000085typedef DenseMap<const BasicBlock *, const BasicBlock *> EquivalenceClassMap;
86typedef std::pair<const BasicBlock *, const BasicBlock *> Edge;
Diego Novillo38be3332015-10-15 16:36:21 +000087typedef DenseMap<Edge, uint64_t> EdgeWeightMap;
Dehao Chen8e7df832015-09-29 18:28:15 +000088typedef DenseMap<const BasicBlock *, SmallVector<const BasicBlock *, 8>>
89 BlockEdgeMap;
Diego Novilloc0dd1032013-11-26 20:37:33 +000090
Diego Novillode1ab262014-09-09 12:40:50 +000091/// \brief Sample profile pass.
Diego Novilloc0dd1032013-11-26 20:37:33 +000092///
Diego Novillode1ab262014-09-09 12:40:50 +000093/// This pass reads profile data from the file specified by
94/// -sample-profile-file and annotates every affected function with the
95/// profile information found in that file.
Xinliang David Lie897edb2016-05-27 22:30:44 +000096class SampleProfileLoader {
Diego Novilloc0dd1032013-11-26 20:37:33 +000097public:
Diego Novillode1ab262014-09-09 12:40:50 +000098 SampleProfileLoader(StringRef Name = SampleProfileFile)
Dehao Chen071bb9d2016-06-20 20:53:40 +000099 : DT(nullptr), PDT(nullptr), LI(nullptr), ACT(nullptr), Reader(),
100 Samples(nullptr), Filename(Name), ProfileIsValid(false),
101 TotalCollectedSamples(0) {}
Diego Novillode1ab262014-09-09 12:40:50 +0000102
Xinliang David Lie897edb2016-05-27 22:30:44 +0000103 bool doInitialization(Module &M);
104 bool runOnModule(Module &M);
Dehao Chen071bb9d2016-06-20 20:53:40 +0000105 void setACT(AssumptionCacheTracker *A) { ACT = A; }
Diego Novillode1ab262014-09-09 12:40:50 +0000106
107 void dump() { Reader->dump(); }
108
Diego Novillode1ab262014-09-09 12:40:50 +0000109protected:
Diego Novillo4d711132015-08-25 15:25:11 +0000110 bool runOnFunction(Function &F);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000111 unsigned getFunctionLoc(Function &F);
Diego Novillode1ab262014-09-09 12:40:50 +0000112 bool emitAnnotations(Function &F);
Diego Novillo38be3332015-10-15 16:36:21 +0000113 ErrorOr<uint64_t> getInstWeight(const Instruction &I) const;
114 ErrorOr<uint64_t> getBlockWeight(const BasicBlock *BB) const;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000115 const FunctionSamples *findCalleeFunctionSamples(const Instruction &I) const;
Dehao Chen67226882015-09-30 00:42:46 +0000116 const FunctionSamples *findFunctionSamples(const Instruction &I) const;
117 bool inlineHotFunctions(Function &F);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000118 void printEdgeWeight(raw_ostream &OS, Edge E);
Dehao Chen8e7df832015-09-29 18:28:15 +0000119 void printBlockWeight(raw_ostream &OS, const BasicBlock *BB) const;
120 void printBlockEquivalence(raw_ostream &OS, const BasicBlock *BB);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000121 bool computeBlockWeights(Function &F);
122 void findEquivalenceClasses(Function &F);
Benjamin Kramer8a752e32016-02-13 16:01:12 +0000123 void findEquivalencesFor(BasicBlock *BB1, ArrayRef<BasicBlock *> Descendants,
Diego Novillo0accb3d2014-01-10 23:23:46 +0000124 DominatorTreeBase<BasicBlock> *DomTree);
125 void propagateWeights(Function &F);
Diego Novillo38be3332015-10-15 16:36:21 +0000126 uint64_t visitEdge(Edge E, unsigned *NumUnknownEdges, Edge *UnknownEdge);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000127 void buildEdges(Function &F);
Dehao Chenc0a1e432016-08-12 16:22:12 +0000128 bool propagateThroughEdges(Function &F, bool UpdateBlockCount);
Diego Novillo7732ae42015-08-26 20:00:27 +0000129 void computeDominanceAndLoopInfo(Function &F);
Dehao Chen10042412015-10-21 01:22:27 +0000130 unsigned getOffset(unsigned L, unsigned H) const;
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000131 void clearFunctionData();
Diego Novilloc0dd1032013-11-26 20:37:33 +0000132
Diego Novilloc0dd1032013-11-26 20:37:33 +0000133 /// \brief Map basic blocks to their computed weights.
134 ///
135 /// The weight of a basic block is defined to be the maximum
136 /// of all the instruction weights in that block.
137 BlockWeightMap BlockWeights;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000138
139 /// \brief Map edges to their computed weights.
140 ///
141 /// Edge weights are computed by propagating basic block weights in
142 /// SampleProfile::propagateWeights.
143 EdgeWeightMap EdgeWeights;
144
145 /// \brief Set of visited blocks during propagation.
Matthias Braunb30f2f512016-01-30 01:24:31 +0000146 SmallPtrSet<const BasicBlock *, 32> VisitedBlocks;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000147
148 /// \brief Set of visited edges during propagation.
Matthias Braunb30f2f512016-01-30 01:24:31 +0000149 SmallSet<Edge, 32> VisitedEdges;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000150
151 /// \brief Equivalence classes for block weights.
152 ///
153 /// Two blocks BB1 and BB2 are in the same equivalence class if they
154 /// dominate and post-dominate each other, and they are in the same loop
155 /// nest. When this happens, the two blocks are guaranteed to execute
156 /// the same number of times.
157 EquivalenceClassMap EquivalenceClass;
158
159 /// \brief Dominance, post-dominance and loop information.
Diego Novillo7732ae42015-08-26 20:00:27 +0000160 std::unique_ptr<DominatorTree> DT;
161 std::unique_ptr<DominatorTreeBase<BasicBlock>> PDT;
162 std::unique_ptr<LoopInfo> LI;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000163
Dehao Chen071bb9d2016-06-20 20:53:40 +0000164 AssumptionCacheTracker *ACT;
165
Diego Novillo0accb3d2014-01-10 23:23:46 +0000166 /// \brief Predecessors for each basic block in the CFG.
167 BlockEdgeMap Predecessors;
168
169 /// \brief Successors for each basic block in the CFG.
170 BlockEdgeMap Successors;
Diego Novillo92aa8c22014-03-10 22:41:28 +0000171
Diego Novillo8d6568b2013-11-13 12:22:21 +0000172 /// \brief Profile reader object.
Diego Novillode1ab262014-09-09 12:40:50 +0000173 std::unique_ptr<SampleProfileReader> Reader;
174
175 /// \brief Samples collected for the body of this function.
176 FunctionSamples *Samples;
Diego Novillo8d6568b2013-11-13 12:22:21 +0000177
178 /// \brief Name of the profile file to load.
179 StringRef Filename;
Diego Novilloa32aa322014-03-14 21:58:59 +0000180
Alp Toker16f98b22014-04-09 14:47:27 +0000181 /// \brief Flag indicating whether the profile input loaded successfully.
Diego Novilloa32aa322014-03-14 21:58:59 +0000182 bool ProfileIsValid;
Diego Novillo84f06cc2015-11-27 23:14:51 +0000183
184 /// \brief Total number of samples collected in this profile.
185 ///
186 /// This is the sum of all the samples collected in all the functions executed
187 /// at runtime.
188 uint64_t TotalCollectedSamples;
Diego Novillo8d6568b2013-11-13 12:22:21 +0000189};
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000190
Xinliang David Lie897edb2016-05-27 22:30:44 +0000191class SampleProfileLoaderLegacyPass : public ModulePass {
192public:
193 // Class identification, replacement for typeinfo
194 static char ID;
195
196 SampleProfileLoaderLegacyPass(StringRef Name = SampleProfileFile)
197 : ModulePass(ID), SampleLoader(Name) {
198 initializeSampleProfileLoaderLegacyPassPass(
199 *PassRegistry::getPassRegistry());
200 }
201
202 void dump() { SampleLoader.dump(); }
203
204 bool doInitialization(Module &M) override {
205 return SampleLoader.doInitialization(M);
206 }
207 const char *getPassName() const override { return "Sample profile pass"; }
208 bool runOnModule(Module &M) override;
209
Dehao Chen071bb9d2016-06-20 20:53:40 +0000210 void getAnalysisUsage(AnalysisUsage &AU) const override {
211 AU.addRequired<AssumptionCacheTracker>();
212 }
Dehao Chen41cde0b2016-09-18 23:11:37 +0000213
Xinliang David Lie897edb2016-05-27 22:30:44 +0000214private:
215 SampleProfileLoader SampleLoader;
216};
217
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000218class SampleCoverageTracker {
219public:
Diego Novillo243ea6a2015-11-23 20:12:21 +0000220 SampleCoverageTracker() : SampleCoverage(), TotalUsedSamples(0) {}
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000221
Diego Novillo243ea6a2015-11-23 20:12:21 +0000222 bool markSamplesUsed(const FunctionSamples *FS, uint32_t LineOffset,
223 uint32_t Discriminator, uint64_t Samples);
Diego Novillof9ed08e2015-10-31 21:53:58 +0000224 unsigned computeCoverage(unsigned Used, unsigned Total) const;
Diego Novillo243ea6a2015-11-23 20:12:21 +0000225 unsigned countUsedRecords(const FunctionSamples *FS) const;
226 unsigned countBodyRecords(const FunctionSamples *FS) const;
227 uint64_t getTotalUsedSamples() const { return TotalUsedSamples; }
228 uint64_t countBodySamples(const FunctionSamples *FS) const;
229 void clear() {
230 SampleCoverage.clear();
231 TotalUsedSamples = 0;
232 }
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000233
234private:
Diego Novillo10cf1242015-12-11 23:21:38 +0000235 typedef std::map<LineLocation, unsigned> BodySampleCoverageMap;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000236 typedef DenseMap<const FunctionSamples *, BodySampleCoverageMap>
237 FunctionSamplesCoverageMap;
238
239 /// Coverage map for sampling records.
240 ///
241 /// This map keeps a record of sampling records that have been matched to
242 /// an IR instruction. This is used to detect some form of staleness in
243 /// profiles (see flag -sample-profile-check-coverage).
244 ///
245 /// Each entry in the map corresponds to a FunctionSamples instance. This is
246 /// another map that counts how many times the sample record at the
247 /// given location has been used.
248 FunctionSamplesCoverageMap SampleCoverage;
Diego Novillo243ea6a2015-11-23 20:12:21 +0000249
250 /// Number of samples used from the profile.
251 ///
252 /// When a sampling record is used for the first time, the samples from
253 /// that record are added to this accumulator. Coverage is later computed
254 /// based on the total number of samples available in this function and
255 /// its callsites.
256 ///
257 /// Note that this accumulator tracks samples used from a single function
258 /// and all the inlined callsites. Strictly, we should have a map of counters
259 /// keyed by FunctionSamples pointers, but these stats are cleared after
260 /// every function, so we just need to keep a single counter.
261 uint64_t TotalUsedSamples;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000262};
263
264SampleCoverageTracker CoverageTracker;
Diego Novillo0b6985a2015-11-24 22:38:37 +0000265
266/// Return true if the given callsite is hot wrt to its caller.
267///
268/// Functions that were inlined in the original binary will be represented
269/// in the inline stack in the sample profile. If the profile shows that
270/// the original inline decision was "good" (i.e., the callsite is executed
271/// frequently), then we will recreate the inline decision and apply the
272/// profile from the inlined callsite.
273///
274/// To decide whether an inlined callsite is hot, we compute the fraction
275/// of samples used by the callsite with respect to the total number of samples
276/// collected in the caller.
277///
278/// If that fraction is larger than the default given by
279/// SampleProfileHotThreshold, the callsite will be inlined again.
280bool callsiteIsHot(const FunctionSamples *CallerFS,
281 const FunctionSamples *CallsiteFS) {
282 if (!CallsiteFS)
283 return false; // The callsite was not inlined in the original binary.
284
285 uint64_t ParentTotalSamples = CallerFS->getTotalSamples();
286 if (ParentTotalSamples == 0)
287 return false; // Avoid division by zero.
288
289 uint64_t CallsiteTotalSamples = CallsiteFS->getTotalSamples();
290 if (CallsiteTotalSamples == 0)
291 return false; // Callsite is trivially cold.
292
Diego Novillob5792402015-11-27 23:14:49 +0000293 double PercentSamples =
294 (double)CallsiteTotalSamples / (double)ParentTotalSamples * 100.0;
Diego Novillo0b6985a2015-11-24 22:38:37 +0000295 return PercentSamples >= SampleProfileHotThreshold;
296}
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000297}
298
299/// Mark as used the sample record for the given function samples at
300/// (LineOffset, Discriminator).
Diego Novillof9ed08e2015-10-31 21:53:58 +0000301///
302/// \returns true if this is the first time we mark the given record.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000303bool SampleCoverageTracker::markSamplesUsed(const FunctionSamples *FS,
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000304 uint32_t LineOffset,
Diego Novillo243ea6a2015-11-23 20:12:21 +0000305 uint32_t Discriminator,
306 uint64_t Samples) {
Diego Novillof9ed08e2015-10-31 21:53:58 +0000307 LineLocation Loc(LineOffset, Discriminator);
Diego Novillo243ea6a2015-11-23 20:12:21 +0000308 unsigned &Count = SampleCoverage[FS][Loc];
309 bool FirstTime = (++Count == 1);
310 if (FirstTime)
311 TotalUsedSamples += Samples;
312 return FirstTime;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000313}
314
315/// Return the number of sample records that were applied from this profile.
Diego Novillo0b6985a2015-11-24 22:38:37 +0000316///
317/// This count does not include records from cold inlined callsites.
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000318unsigned
Diego Novillo243ea6a2015-11-23 20:12:21 +0000319SampleCoverageTracker::countUsedRecords(const FunctionSamples *FS) const {
320 auto I = SampleCoverage.find(FS);
Diego Novillo5fb49e52015-11-20 21:46:38 +0000321
Diego Novillo243ea6a2015-11-23 20:12:21 +0000322 // The size of the coverage map for FS represents the number of records
Diego Novillo5fb49e52015-11-20 21:46:38 +0000323 // that were marked used at least once.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000324 unsigned Count = (I != SampleCoverage.end()) ? I->second.size() : 0;
Diego Novillo5fb49e52015-11-20 21:46:38 +0000325
326 // If there are inlined callsites in this function, count the samples found
327 // in the respective bodies. However, do not bother counting callees with 0
328 // total samples, these are callees that were never invoked at runtime.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000329 for (const auto &I : FS->getCallsiteSamples()) {
Diego Novillo5fb49e52015-11-20 21:46:38 +0000330 const FunctionSamples *CalleeSamples = &I.second;
Diego Novillo0b6985a2015-11-24 22:38:37 +0000331 if (callsiteIsHot(FS, CalleeSamples))
Diego Novillo243ea6a2015-11-23 20:12:21 +0000332 Count += countUsedRecords(CalleeSamples);
Diego Novillo5fb49e52015-11-20 21:46:38 +0000333 }
334
Diego Novillof9ed08e2015-10-31 21:53:58 +0000335 return Count;
336}
337
338/// Return the number of sample records in the body of this profile.
339///
Diego Novillo0b6985a2015-11-24 22:38:37 +0000340/// This count does not include records from cold inlined callsites.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000341unsigned
Diego Novillo243ea6a2015-11-23 20:12:21 +0000342SampleCoverageTracker::countBodyRecords(const FunctionSamples *FS) const {
343 unsigned Count = FS->getBodySamples().size();
Diego Novillo5fb49e52015-11-20 21:46:38 +0000344
Diego Novillo0b6985a2015-11-24 22:38:37 +0000345 // Only count records in hot callsites.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000346 for (const auto &I : FS->getCallsiteSamples()) {
Diego Novillo5fb49e52015-11-20 21:46:38 +0000347 const FunctionSamples *CalleeSamples = &I.second;
Diego Novillo0b6985a2015-11-24 22:38:37 +0000348 if (callsiteIsHot(FS, CalleeSamples))
Diego Novillo243ea6a2015-11-23 20:12:21 +0000349 Count += countBodyRecords(CalleeSamples);
Diego Novillo5fb49e52015-11-20 21:46:38 +0000350 }
351
Diego Novillof9ed08e2015-10-31 21:53:58 +0000352 return Count;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000353}
354
Diego Novillo243ea6a2015-11-23 20:12:21 +0000355/// Return the number of samples collected in the body of this profile.
356///
Diego Novillo0b6985a2015-11-24 22:38:37 +0000357/// This count does not include samples from cold inlined callsites.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000358uint64_t
359SampleCoverageTracker::countBodySamples(const FunctionSamples *FS) const {
360 uint64_t Total = 0;
361 for (const auto &I : FS->getBodySamples())
362 Total += I.second.getSamples();
363
Diego Novillo0b6985a2015-11-24 22:38:37 +0000364 // Only count samples in hot callsites.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000365 for (const auto &I : FS->getCallsiteSamples()) {
366 const FunctionSamples *CalleeSamples = &I.second;
Diego Novillo0b6985a2015-11-24 22:38:37 +0000367 if (callsiteIsHot(FS, CalleeSamples))
Diego Novillo243ea6a2015-11-23 20:12:21 +0000368 Total += countBodySamples(CalleeSamples);
369 }
370
371 return Total;
372}
373
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000374/// Return the fraction of sample records used in this profile.
375///
376/// The returned value is an unsigned integer in the range 0-100 indicating
377/// the percentage of sample records that were used while applying this
378/// profile to the associated function.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000379unsigned SampleCoverageTracker::computeCoverage(unsigned Used,
380 unsigned Total) const {
381 assert(Used <= Total &&
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000382 "number of used records cannot exceed the total number of records");
Diego Novillof9ed08e2015-10-31 21:53:58 +0000383 return Total > 0 ? Used * 100 / Total : 100;
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000384}
Diego Novillo8d6568b2013-11-13 12:22:21 +0000385
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000386/// Clear all the per-function data used to load samples and propagate weights.
387void SampleProfileLoader::clearFunctionData() {
388 BlockWeights.clear();
389 EdgeWeights.clear();
390 VisitedBlocks.clear();
391 VisitedEdges.clear();
392 EquivalenceClass.clear();
393 DT = nullptr;
394 PDT = nullptr;
395 LI = nullptr;
396 Predecessors.clear();
397 Successors.clear();
Diego Novillo1ca881c2015-11-23 16:30:17 +0000398 CoverageTracker.clear();
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000399}
400
Dehao Chen10042412015-10-21 01:22:27 +0000401/// \brief Returns the offset of lineno \p L to head_lineno \p H
402///
403/// \param L Lineno
404/// \param H Header lineno of the function
405///
406/// \returns offset to the header lineno. 16 bits are used to represent offset.
407/// We assume that a single function will not exceed 65535 LOC.
408unsigned SampleProfileLoader::getOffset(unsigned L, unsigned H) const {
409 return (L - H) & 0xffff;
410}
411
Diego Novillo0accb3d2014-01-10 23:23:46 +0000412/// \brief Print the weight of edge \p E on stream \p OS.
413///
414/// \param OS Stream to emit the output to.
415/// \param E Edge to print.
Diego Novillode1ab262014-09-09 12:40:50 +0000416void SampleProfileLoader::printEdgeWeight(raw_ostream &OS, Edge E) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000417 OS << "weight[" << E.first->getName() << "->" << E.second->getName()
418 << "]: " << EdgeWeights[E] << "\n";
419}
420
421/// \brief Print the equivalence class of block \p BB on stream \p OS.
422///
423/// \param OS Stream to emit the output to.
424/// \param BB Block to print.
Diego Novillode1ab262014-09-09 12:40:50 +0000425void SampleProfileLoader::printBlockEquivalence(raw_ostream &OS,
Dehao Chen8e7df832015-09-29 18:28:15 +0000426 const BasicBlock *BB) {
427 const BasicBlock *Equiv = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000428 OS << "equivalence[" << BB->getName()
429 << "]: " << ((Equiv) ? EquivalenceClass[BB]->getName() : "NONE") << "\n";
430}
431
432/// \brief Print the weight of block \p BB on stream \p OS.
433///
434/// \param OS Stream to emit the output to.
435/// \param BB Block to print.
Dehao Chen8e7df832015-09-29 18:28:15 +0000436void SampleProfileLoader::printBlockWeight(raw_ostream &OS,
437 const BasicBlock *BB) const {
438 const auto &I = BlockWeights.find(BB);
Diego Novillo38be3332015-10-15 16:36:21 +0000439 uint64_t W = (I == BlockWeights.end() ? 0 : I->second);
Dehao Chen8e7df832015-09-29 18:28:15 +0000440 OS << "weight[" << BB->getName() << "]: " << W << "\n";
Diego Novillo0accb3d2014-01-10 23:23:46 +0000441}
442
Diego Novillo0accb3d2014-01-10 23:23:46 +0000443/// \brief Get the weight for an instruction.
444///
445/// The "weight" of an instruction \p Inst is the number of samples
446/// collected on that instruction at runtime. To retrieve it, we
447/// need to compute the line number of \p Inst relative to the start of its
448/// function. We use HeaderLineno to compute the offset. We then
449/// look up the samples collected for \p Inst using BodySamples.
450///
451/// \param Inst Instruction to query.
452///
Dehao Chen8e7df832015-09-29 18:28:15 +0000453/// \returns the weight of \p Inst.
Diego Novillo38be3332015-10-15 16:36:21 +0000454ErrorOr<uint64_t>
Dehao Chen8e7df832015-09-29 18:28:15 +0000455SampleProfileLoader::getInstWeight(const Instruction &Inst) const {
Benjamin Kramer4fed9282016-05-27 12:30:51 +0000456 const DebugLoc &DLoc = Inst.getDebugLoc();
Duncan P. N. Exon Smithec819c02015-03-30 19:49:49 +0000457 if (!DLoc)
Dehao Chen8e7df832015-09-29 18:28:15 +0000458 return std::error_code();
Duncan P. N. Exon Smith41a15462015-03-20 00:56:55 +0000459
Dehao Chen67226882015-09-30 00:42:46 +0000460 const FunctionSamples *FS = findFunctionSamples(Inst);
461 if (!FS)
462 return std::error_code();
Dehao Chen41dc5a62015-10-09 16:50:16 +0000463
Dehao Chenc0a1e432016-08-12 16:22:12 +0000464 // Ignore all intrinsics and branch instructions.
465 // Branch instruction usually contains debug info from sources outside of
466 // the residing basic block, thus we ignore them during annotation.
467 if (isa<BranchInst>(Inst) || isa<IntrinsicInst>(Inst))
Dehao Chena8bae822016-04-20 23:36:23 +0000468 return std::error_code();
469
Dehao Chen41cde0b2016-09-18 23:11:37 +0000470 // If a call/invoke instruction is inlined in profile, but not inlined here,
Dehao Chenc0a1e432016-08-12 16:22:12 +0000471 // it means that the inlined callsite has no sample, thus the call
472 // instruction should have 0 count.
Dehao Chen41cde0b2016-09-18 23:11:37 +0000473 bool IsCall = isa<CallInst>(Inst) || isa<InvokeInst>(Inst);
474 if (IsCall && findCalleeFunctionSamples(Inst))
475 return 0;
Dehao Chenc0a1e432016-08-12 16:22:12 +0000476
Dehao Chen41dc5a62015-10-09 16:50:16 +0000477 const DILocation *DIL = DLoc;
478 unsigned Lineno = DLoc.getLine();
479 unsigned HeaderLineno = DIL->getScope()->getSubprogram()->getLine();
Dehao Chen41dc5a62015-10-09 16:50:16 +0000480
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000481 uint32_t LineOffset = getOffset(Lineno, HeaderLineno);
482 uint32_t Discriminator = DIL->getDiscriminator();
Dehao Chen38e37312016-09-19 16:06:37 +0000483 ErrorOr<uint64_t> R = IsCall
484 ? FS->findCallSamplesAt(LineOffset, Discriminator)
485 : FS->findSamplesAt(LineOffset, Discriminator);
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000486 if (R) {
Diego Novillof9ed08e2015-10-31 21:53:58 +0000487 bool FirstMark =
Diego Novillo243ea6a2015-11-23 20:12:21 +0000488 CoverageTracker.markSamplesUsed(FS, LineOffset, Discriminator, R.get());
Diego Novillof9ed08e2015-10-31 21:53:58 +0000489 if (FirstMark) {
490 const Function *F = Inst.getParent()->getParent();
491 LLVMContext &Ctx = F->getContext();
Diego Novillodf544a02015-11-20 15:39:42 +0000492 emitOptimizationRemark(
493 Ctx, DEBUG_TYPE, *F, DLoc,
494 Twine("Applied ") + Twine(*R) + " samples from profile (offset: " +
495 Twine(LineOffset) +
496 ((Discriminator) ? Twine(".") + Twine(Discriminator) : "") + ")");
Diego Novillof9ed08e2015-10-31 21:53:58 +0000497 }
Dehao Chen8e7df832015-09-29 18:28:15 +0000498 DEBUG(dbgs() << " " << Lineno << "." << DIL->getDiscriminator() << ":"
499 << Inst << " (line offset: " << Lineno - HeaderLineno << "."
500 << DIL->getDiscriminator() << " - weight: " << R.get()
501 << ")\n");
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000502 }
Dehao Chen8e7df832015-09-29 18:28:15 +0000503 return R;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000504}
505
506/// \brief Compute the weight of a basic block.
507///
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000508/// The weight of basic block \p BB is the maximum weight of all the
Dehao Chen8e7df832015-09-29 18:28:15 +0000509/// instructions in BB.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000510///
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000511/// \param BB The basic block to query.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000512///
Dehao Chen8e7df832015-09-29 18:28:15 +0000513/// \returns the weight for \p BB.
Diego Novillo38be3332015-10-15 16:36:21 +0000514ErrorOr<uint64_t>
Dehao Chen8e7df832015-09-29 18:28:15 +0000515SampleProfileLoader::getBlockWeight(const BasicBlock *BB) const {
Dehao Chen5d6d4842016-04-26 04:59:11 +0000516 DenseMap<uint64_t, uint64_t> CM;
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000517 for (auto &I : BB->getInstList()) {
Diego Novillo38be3332015-10-15 16:36:21 +0000518 const ErrorOr<uint64_t> &R = getInstWeight(I);
Dehao Chen41cde0b2016-09-18 23:11:37 +0000519 if (R)
520 CM[R.get()]++;
Dehao Chen5d6d4842016-04-26 04:59:11 +0000521 }
Dehao Chen41cde0b2016-09-18 23:11:37 +0000522 if (CM.size() == 0)
523 return std::error_code();
Dehao Chen5d6d4842016-04-26 04:59:11 +0000524 uint64_t W = 0, C = 0;
525 for (const auto &C_W : CM) {
526 if (C_W.second == W) {
527 C = std::max(C, C_W.first);
528 } else if (C_W.second > W) {
529 C = C_W.first;
530 W = C_W.second;
Dehao Chen8e7df832015-09-29 18:28:15 +0000531 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000532 }
Dehao Chen5d6d4842016-04-26 04:59:11 +0000533 return C;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000534}
535
536/// \brief Compute and store the weights of every basic block.
537///
538/// This populates the BlockWeights map by computing
539/// the weights of every basic block in the CFG.
540///
541/// \param F The function to query.
Diego Novillode1ab262014-09-09 12:40:50 +0000542bool SampleProfileLoader::computeBlockWeights(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000543 bool Changed = false;
544 DEBUG(dbgs() << "Block weights\n");
Dehao Chen8e7df832015-09-29 18:28:15 +0000545 for (const auto &BB : F) {
Diego Novillo38be3332015-10-15 16:36:21 +0000546 ErrorOr<uint64_t> Weight = getBlockWeight(&BB);
Dehao Chen8e7df832015-09-29 18:28:15 +0000547 if (Weight) {
548 BlockWeights[&BB] = Weight.get();
Dehao Chen7c41dd62015-10-01 00:26:56 +0000549 VisitedBlocks.insert(&BB);
Dehao Chen8e7df832015-09-29 18:28:15 +0000550 Changed = true;
551 }
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000552 DEBUG(printBlockWeight(dbgs(), &BB));
Diego Novillo0accb3d2014-01-10 23:23:46 +0000553 }
554
555 return Changed;
556}
557
Dehao Chen67226882015-09-30 00:42:46 +0000558/// \brief Get the FunctionSamples for a call instruction.
559///
Dehao Chen41cde0b2016-09-18 23:11:37 +0000560/// The FunctionSamples of a call/invoke instruction \p Inst is the inlined
Dehao Chen67226882015-09-30 00:42:46 +0000561/// instance in which that call instruction is calling to. It contains
562/// all samples that resides in the inlined instance. We first find the
563/// inlined instance in which the call instruction is from, then we
564/// traverse its children to find the callsite with the matching
Dehao Chen41cde0b2016-09-18 23:11:37 +0000565/// location.
Dehao Chen67226882015-09-30 00:42:46 +0000566///
Dehao Chen41cde0b2016-09-18 23:11:37 +0000567/// \param Inst Call/Invoke instruction to query.
Dehao Chen67226882015-09-30 00:42:46 +0000568///
569/// \returns The FunctionSamples pointer to the inlined instance.
570const FunctionSamples *
Dehao Chen41cde0b2016-09-18 23:11:37 +0000571SampleProfileLoader::findCalleeFunctionSamples(const Instruction &Inst) const {
Dehao Chen67226882015-09-30 00:42:46 +0000572 const DILocation *DIL = Inst.getDebugLoc();
573 if (!DIL) {
574 return nullptr;
575 }
576 DISubprogram *SP = DIL->getScope()->getSubprogram();
Dehao Chen10042412015-10-21 01:22:27 +0000577 if (!SP)
Dehao Chen67226882015-09-30 00:42:46 +0000578 return nullptr;
579
Dehao Chen67226882015-09-30 00:42:46 +0000580 const FunctionSamples *FS = findFunctionSamples(Inst);
581 if (FS == nullptr)
582 return nullptr;
583
Dehao Chen57d1dda2016-03-03 18:09:32 +0000584 return FS->findFunctionSamplesAt(LineLocation(
585 getOffset(DIL->getLine(), SP->getLine()), DIL->getDiscriminator()));
Dehao Chen67226882015-09-30 00:42:46 +0000586}
587
588/// \brief Get the FunctionSamples for an instruction.
589///
590/// The FunctionSamples of an instruction \p Inst is the inlined instance
591/// in which that instruction is coming from. We traverse the inline stack
592/// of that instruction, and match it with the tree nodes in the profile.
593///
594/// \param Inst Instruction to query.
595///
596/// \returns the FunctionSamples pointer to the inlined instance.
597const FunctionSamples *
598SampleProfileLoader::findFunctionSamples(const Instruction &Inst) const {
Dehao Chen57d1dda2016-03-03 18:09:32 +0000599 SmallVector<LineLocation, 10> S;
Dehao Chen67226882015-09-30 00:42:46 +0000600 const DILocation *DIL = Inst.getDebugLoc();
601 if (!DIL) {
602 return Samples;
603 }
Dehao Chen21aefae2016-04-29 17:19:10 +0000604 for (DIL = DIL->getInlinedAt(); DIL; DIL = DIL->getInlinedAt()) {
Dehao Chen67226882015-09-30 00:42:46 +0000605 DISubprogram *SP = DIL->getScope()->getSubprogram();
Dehao Chen10042412015-10-21 01:22:27 +0000606 if (!SP)
Dehao Chen67226882015-09-30 00:42:46 +0000607 return nullptr;
Dehao Chen21aefae2016-04-29 17:19:10 +0000608 S.push_back(LineLocation(getOffset(DIL->getLine(), SP->getLine()),
609 DIL->getDiscriminator()));
Dehao Chen67226882015-09-30 00:42:46 +0000610 }
611 if (S.size() == 0)
612 return Samples;
613 const FunctionSamples *FS = Samples;
614 for (int i = S.size() - 1; i >= 0 && FS != nullptr; i--) {
615 FS = FS->findFunctionSamplesAt(S[i]);
616 }
617 return FS;
618}
619
620/// \brief Iteratively inline hot callsites of a function.
621///
622/// Iteratively traverse all callsites of the function \p F, and find if
623/// the corresponding inlined instance exists and is hot in profile. If
624/// it is hot enough, inline the callsites and adds new callsites of the
625/// callee into the caller.
626///
627/// TODO: investigate the possibility of not invoking InlineFunction directly.
628///
629/// \param F function to perform iterative inlining.
630///
631/// \returns True if there is any inline happened.
632bool SampleProfileLoader::inlineHotFunctions(Function &F) {
633 bool Changed = false;
Diego Novillo7963ea12015-10-26 18:52:53 +0000634 LLVMContext &Ctx = F.getContext();
Sean Silvaab6a6832016-07-23 04:22:50 +0000635 std::function<AssumptionCache &(Function &)> GetAssumptionCache = [&](
636 Function &F) -> AssumptionCache & { return ACT->getAssumptionCache(F); };
Dehao Chen67226882015-09-30 00:42:46 +0000637 while (true) {
638 bool LocalChanged = false;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000639 SmallVector<Instruction *, 10> CIS;
Dehao Chen67226882015-09-30 00:42:46 +0000640 for (auto &BB : F) {
Dehao Chen20866ed2016-09-19 18:38:14 +0000641 bool Hot = false;
642 SmallVector<Instruction *, 10> Candidates;
Dehao Chen67226882015-09-30 00:42:46 +0000643 for (auto &I : BB.getInstList()) {
Dehao Chen41cde0b2016-09-18 23:11:37 +0000644 const FunctionSamples *FS = nullptr;
645 if ((isa<CallInst>(I) || isa<InvokeInst>(I)) &&
646 (FS = findCalleeFunctionSamples(I))) {
Dehao Chen20866ed2016-09-19 18:38:14 +0000647 Candidates.push_back(&I);
Dehao Chen41cde0b2016-09-18 23:11:37 +0000648 if (callsiteIsHot(Samples, FS))
Dehao Chen20866ed2016-09-19 18:38:14 +0000649 Hot = true;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000650 }
Dehao Chen67226882015-09-30 00:42:46 +0000651 }
Dehao Chen20866ed2016-09-19 18:38:14 +0000652 if (Hot) {
653 CIS.insert(CIS.begin(), Candidates.begin(), Candidates.end());
654 }
Dehao Chen67226882015-09-30 00:42:46 +0000655 }
Dehao Chen41cde0b2016-09-18 23:11:37 +0000656 for (auto I : CIS) {
Sean Silvaab6a6832016-07-23 04:22:50 +0000657 InlineFunctionInfo IFI(nullptr, ACT ? &GetAssumptionCache : nullptr);
Dehao Chen41cde0b2016-09-18 23:11:37 +0000658 CallInst *CI = dyn_cast<CallInst>(I);
659 InvokeInst *II = dyn_cast<InvokeInst>(I);
660 Function *CalledFunction =
661 (CI == nullptr ? II->getCalledFunction() : CI->getCalledFunction());
662 DebugLoc DLoc = I->getDebugLoc();
663 uint64_t NumSamples = findCalleeFunctionSamples(*I)->getTotalSamples();
664 if ((CI && InlineFunction(CI, IFI)) || (II && InlineFunction(II, IFI))) {
Dehao Chen67226882015-09-30 00:42:46 +0000665 LocalChanged = true;
Diego Novillo7963ea12015-10-26 18:52:53 +0000666 emitOptimizationRemark(Ctx, DEBUG_TYPE, F, DLoc,
667 Twine("inlined hot callee '") +
668 CalledFunction->getName() + "' with " +
669 Twine(NumSamples) + " samples into '" +
670 F.getName() + "'");
671 }
Dehao Chen67226882015-09-30 00:42:46 +0000672 }
673 if (LocalChanged) {
674 Changed = true;
675 } else {
676 break;
677 }
678 }
679 return Changed;
680}
681
Diego Novillo0accb3d2014-01-10 23:23:46 +0000682/// \brief Find equivalence classes for the given block.
683///
684/// This finds all the blocks that are guaranteed to execute the same
Eric Christopher572e03a2015-06-19 01:53:21 +0000685/// number of times as \p BB1. To do this, it traverses all the
Diego Novillo0accb3d2014-01-10 23:23:46 +0000686/// descendants of \p BB1 in the dominator or post-dominator tree.
687///
688/// A block BB2 will be in the same equivalence class as \p BB1 if
689/// the following holds:
690///
691/// 1- \p BB1 is a descendant of BB2 in the opposite tree. So, if BB2
692/// is a descendant of \p BB1 in the dominator tree, then BB2 should
693/// dominate BB1 in the post-dominator tree.
694///
695/// 2- Both BB2 and \p BB1 must be in the same loop.
696///
697/// For every block BB2 that meets those two requirements, we set BB2's
698/// equivalence class to \p BB1.
699///
700/// \param BB1 Block to check.
701/// \param Descendants Descendants of \p BB1 in either the dom or pdom tree.
702/// \param DomTree Opposite dominator tree. If \p Descendants is filled
703/// with blocks from \p BB1's dominator tree, then
704/// this is the post-dominator tree, and vice versa.
Diego Novillode1ab262014-09-09 12:40:50 +0000705void SampleProfileLoader::findEquivalencesFor(
Benjamin Kramer8a752e32016-02-13 16:01:12 +0000706 BasicBlock *BB1, ArrayRef<BasicBlock *> Descendants,
Diego Novillo0accb3d2014-01-10 23:23:46 +0000707 DominatorTreeBase<BasicBlock> *DomTree) {
Dehao Chen7c41dd62015-10-01 00:26:56 +0000708 const BasicBlock *EC = EquivalenceClass[BB1];
Diego Novillo38be3332015-10-15 16:36:21 +0000709 uint64_t Weight = BlockWeights[EC];
Dehao Chen8e7df832015-09-29 18:28:15 +0000710 for (const auto *BB2 : Descendants) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000711 bool IsDomParent = DomTree->dominates(BB2, BB1);
712 bool IsInSameLoop = LI->getLoopFor(BB1) == LI->getLoopFor(BB2);
Dehao Chen7c41dd62015-10-01 00:26:56 +0000713 if (BB1 != BB2 && IsDomParent && IsInSameLoop) {
714 EquivalenceClass[BB2] = EC;
Dehao Chenc0a1e432016-08-12 16:22:12 +0000715 // If BB2 is visited, then the entire EC should be marked as visited.
716 if (VisitedBlocks.count(BB2)) {
717 VisitedBlocks.insert(EC);
718 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000719
720 // If BB2 is heavier than BB1, make BB2 have the same weight
721 // as BB1.
722 //
723 // Note that we don't worry about the opposite situation here
724 // (when BB2 is lighter than BB1). We will deal with this
725 // during the propagation phase. Right now, we just want to
726 // make sure that BB1 has the largest weight of all the
727 // members of its equivalence set.
Dehao Chen7c41dd62015-10-01 00:26:56 +0000728 Weight = std::max(Weight, BlockWeights[BB2]);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000729 }
730 }
Dehao Chenc0a1e432016-08-12 16:22:12 +0000731 if (EC == &EC->getParent()->getEntryBlock()) {
732 BlockWeights[EC] = Samples->getHeadSamples() + 1;
733 } else {
734 BlockWeights[EC] = Weight;
735 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000736}
737
738/// \brief Find equivalence classes.
739///
740/// Since samples may be missing from blocks, we can fill in the gaps by setting
741/// the weights of all the blocks in the same equivalence class to the same
742/// weight. To compute the concept of equivalence, we use dominance and loop
743/// information. Two blocks B1 and B2 are in the same equivalence class if B1
744/// dominates B2, B2 post-dominates B1 and both are in the same loop.
745///
746/// \param F The function to query.
Diego Novillode1ab262014-09-09 12:40:50 +0000747void SampleProfileLoader::findEquivalenceClasses(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000748 SmallVector<BasicBlock *, 8> DominatedBBs;
749 DEBUG(dbgs() << "\nBlock equivalence classes\n");
750 // Find equivalence sets based on dominance and post-dominance information.
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000751 for (auto &BB : F) {
752 BasicBlock *BB1 = &BB;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000753
754 // Compute BB1's equivalence class once.
755 if (EquivalenceClass.count(BB1)) {
756 DEBUG(printBlockEquivalence(dbgs(), BB1));
757 continue;
758 }
759
760 // By default, blocks are in their own equivalence class.
761 EquivalenceClass[BB1] = BB1;
762
763 // Traverse all the blocks dominated by BB1. We are looking for
764 // every basic block BB2 such that:
765 //
766 // 1- BB1 dominates BB2.
767 // 2- BB2 post-dominates BB1.
768 // 3- BB1 and BB2 are in the same loop nest.
769 //
770 // If all those conditions hold, it means that BB2 is executed
771 // as many times as BB1, so they are placed in the same equivalence
772 // class by making BB2's equivalence class be BB1.
773 DominatedBBs.clear();
774 DT->getDescendants(BB1, DominatedBBs);
Diego Novillo7732ae42015-08-26 20:00:27 +0000775 findEquivalencesFor(BB1, DominatedBBs, PDT.get());
Diego Novillo0accb3d2014-01-10 23:23:46 +0000776
Diego Novillo0accb3d2014-01-10 23:23:46 +0000777 DEBUG(printBlockEquivalence(dbgs(), BB1));
778 }
779
780 // Assign weights to equivalence classes.
781 //
782 // All the basic blocks in the same equivalence class will execute
783 // the same number of times. Since we know that the head block in
784 // each equivalence class has the largest weight, assign that weight
785 // to all the blocks in that equivalence class.
786 DEBUG(dbgs() << "\nAssign the same weight to all blocks in the same class\n");
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000787 for (auto &BI : F) {
Dehao Chen8e7df832015-09-29 18:28:15 +0000788 const BasicBlock *BB = &BI;
789 const BasicBlock *EquivBB = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000790 if (BB != EquivBB)
791 BlockWeights[BB] = BlockWeights[EquivBB];
792 DEBUG(printBlockWeight(dbgs(), BB));
793 }
794}
795
796/// \brief Visit the given edge to decide if it has a valid weight.
797///
798/// If \p E has not been visited before, we copy to \p UnknownEdge
799/// and increment the count of unknown edges.
800///
801/// \param E Edge to visit.
802/// \param NumUnknownEdges Current number of unknown edges.
803/// \param UnknownEdge Set if E has not been visited before.
804///
805/// \returns E's weight, if known. Otherwise, return 0.
Diego Novillo38be3332015-10-15 16:36:21 +0000806uint64_t SampleProfileLoader::visitEdge(Edge E, unsigned *NumUnknownEdges,
Diego Novillode1ab262014-09-09 12:40:50 +0000807 Edge *UnknownEdge) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000808 if (!VisitedEdges.count(E)) {
809 (*NumUnknownEdges)++;
810 *UnknownEdge = E;
811 return 0;
812 }
813
814 return EdgeWeights[E];
815}
816
817/// \brief Propagate weights through incoming/outgoing edges.
818///
819/// If the weight of a basic block is known, and there is only one edge
820/// with an unknown weight, we can calculate the weight of that edge.
821///
822/// Similarly, if all the edges have a known count, we can calculate the
823/// count of the basic block, if needed.
824///
825/// \param F Function to process.
Dehao Chenc0a1e432016-08-12 16:22:12 +0000826/// \param UpdateBlockCount Whether we should update basic block counts that
827/// has already been annotated.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000828///
829/// \returns True if new weights were assigned to edges or blocks.
Dehao Chenc0a1e432016-08-12 16:22:12 +0000830bool SampleProfileLoader::propagateThroughEdges(Function &F,
831 bool UpdateBlockCount) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000832 bool Changed = false;
833 DEBUG(dbgs() << "\nPropagation through edges\n");
Dehao Chen7c41dd62015-10-01 00:26:56 +0000834 for (const auto &BI : F) {
835 const BasicBlock *BB = &BI;
836 const BasicBlock *EC = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000837
838 // Visit all the predecessor and successor edges to determine
839 // which ones have a weight assigned already. Note that it doesn't
840 // matter that we only keep track of a single unknown edge. The
841 // only case we are interested in handling is when only a single
842 // edge is unknown (see setEdgeOrBlockWeight).
843 for (unsigned i = 0; i < 2; i++) {
Diego Novillo38be3332015-10-15 16:36:21 +0000844 uint64_t TotalWeight = 0;
Dehao Chen29d26412016-07-11 16:40:17 +0000845 unsigned NumUnknownEdges = 0, NumTotalEdges = 0;
846 Edge UnknownEdge, SelfReferentialEdge, SingleEdge;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000847
848 if (i == 0) {
849 // First, visit all predecessor edges.
Dehao Chen29d26412016-07-11 16:40:17 +0000850 NumTotalEdges = Predecessors[BB].size();
Diego Novillob368b7d2014-10-22 16:51:50 +0000851 for (auto *Pred : Predecessors[BB]) {
852 Edge E = std::make_pair(Pred, BB);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000853 TotalWeight += visitEdge(E, &NumUnknownEdges, &UnknownEdge);
854 if (E.first == E.second)
855 SelfReferentialEdge = E;
856 }
Dehao Chen29d26412016-07-11 16:40:17 +0000857 if (NumTotalEdges == 1) {
858 SingleEdge = std::make_pair(Predecessors[BB][0], BB);
859 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000860 } else {
861 // On the second round, visit all successor edges.
Dehao Chen29d26412016-07-11 16:40:17 +0000862 NumTotalEdges = Successors[BB].size();
Diego Novillob368b7d2014-10-22 16:51:50 +0000863 for (auto *Succ : Successors[BB]) {
864 Edge E = std::make_pair(BB, Succ);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000865 TotalWeight += visitEdge(E, &NumUnknownEdges, &UnknownEdge);
866 }
Dehao Chen29d26412016-07-11 16:40:17 +0000867 if (NumTotalEdges == 1) {
868 SingleEdge = std::make_pair(BB, Successors[BB][0]);
869 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000870 }
871
872 // After visiting all the edges, there are three cases that we
873 // can handle immediately:
874 //
875 // - All the edge weights are known (i.e., NumUnknownEdges == 0).
876 // In this case, we simply check that the sum of all the edges
877 // is the same as BB's weight. If not, we change BB's weight
878 // to match. Additionally, if BB had not been visited before,
879 // we mark it visited.
880 //
881 // - Only one edge is unknown and BB has already been visited.
882 // In this case, we can compute the weight of the edge by
883 // subtracting the total block weight from all the known
884 // edge weights. If the edges weight more than BB, then the
885 // edge of the last remaining edge is set to zero.
886 //
887 // - There exists a self-referential edge and the weight of BB is
888 // known. In this case, this edge can be based on BB's weight.
889 // We add up all the other known edges and set the weight on
890 // the self-referential edge as we did in the previous case.
891 //
892 // In any other case, we must continue iterating. Eventually,
893 // all edges will get a weight, or iteration will stop when
894 // it reaches SampleProfileMaxPropagateIterations.
895 if (NumUnknownEdges <= 1) {
Diego Novillo38be3332015-10-15 16:36:21 +0000896 uint64_t &BBWeight = BlockWeights[EC];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000897 if (NumUnknownEdges == 0) {
Dehao Chen29d26412016-07-11 16:40:17 +0000898 if (!VisitedBlocks.count(EC)) {
899 // If we already know the weight of all edges, the weight of the
900 // basic block can be computed. It should be no larger than the sum
901 // of all edge weights.
902 if (TotalWeight > BBWeight) {
903 BBWeight = TotalWeight;
904 Changed = true;
905 DEBUG(dbgs() << "All edge weights for " << BB->getName()
906 << " known. Set weight for block: ";
907 printBlockWeight(dbgs(), BB););
908 }
909 } else if (NumTotalEdges == 1 &&
910 EdgeWeights[SingleEdge] < BlockWeights[EC]) {
911 // If there is only one edge for the visited basic block, use the
912 // block weight to adjust edge weight if edge weight is smaller.
913 EdgeWeights[SingleEdge] = BlockWeights[EC];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000914 Changed = true;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000915 }
Dehao Chen7c41dd62015-10-01 00:26:56 +0000916 } else if (NumUnknownEdges == 1 && VisitedBlocks.count(EC)) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000917 // If there is a single unknown edge and the block has been
918 // visited, then we can compute E's weight.
919 if (BBWeight >= TotalWeight)
920 EdgeWeights[UnknownEdge] = BBWeight - TotalWeight;
921 else
922 EdgeWeights[UnknownEdge] = 0;
Dehao Chenc0a1e432016-08-12 16:22:12 +0000923 const BasicBlock *OtherEC;
924 if (i == 0)
925 OtherEC = EquivalenceClass[UnknownEdge.first];
926 else
927 OtherEC = EquivalenceClass[UnknownEdge.second];
928 // Edge weights should never exceed the BB weights it connects.
929 if (VisitedBlocks.count(OtherEC) &&
930 EdgeWeights[UnknownEdge] > BlockWeights[OtherEC])
931 EdgeWeights[UnknownEdge] = BlockWeights[OtherEC];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000932 VisitedEdges.insert(UnknownEdge);
933 Changed = true;
934 DEBUG(dbgs() << "Set weight for edge: ";
935 printEdgeWeight(dbgs(), UnknownEdge));
936 }
Dehao Chenc0a1e432016-08-12 16:22:12 +0000937 } else if (VisitedBlocks.count(EC) && BlockWeights[EC] == 0) {
938 // If a block Weights 0, all its in/out edges should weight 0.
939 if (i == 0) {
940 for (auto *Pred : Predecessors[BB]) {
941 Edge E = std::make_pair(Pred, BB);
942 EdgeWeights[E] = 0;
943 VisitedEdges.insert(E);
944 }
945 } else {
946 for (auto *Succ : Successors[BB]) {
947 Edge E = std::make_pair(BB, Succ);
948 EdgeWeights[E] = 0;
949 VisitedEdges.insert(E);
950 }
951 }
Dehao Chen7c41dd62015-10-01 00:26:56 +0000952 } else if (SelfReferentialEdge.first && VisitedBlocks.count(EC)) {
Diego Novillo38be3332015-10-15 16:36:21 +0000953 uint64_t &BBWeight = BlockWeights[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000954 // We have a self-referential edge and the weight of BB is known.
955 if (BBWeight >= TotalWeight)
956 EdgeWeights[SelfReferentialEdge] = BBWeight - TotalWeight;
957 else
958 EdgeWeights[SelfReferentialEdge] = 0;
959 VisitedEdges.insert(SelfReferentialEdge);
960 Changed = true;
961 DEBUG(dbgs() << "Set self-referential edge weight to: ";
962 printEdgeWeight(dbgs(), SelfReferentialEdge));
963 }
Dehao Chenc0a1e432016-08-12 16:22:12 +0000964 if (UpdateBlockCount && !VisitedBlocks.count(EC) && TotalWeight > 0) {
965 BlockWeights[EC] = TotalWeight;
966 VisitedBlocks.insert(EC);
967 Changed = true;
968 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000969 }
970 }
971
972 return Changed;
973}
974
975/// \brief Build in/out edge lists for each basic block in the CFG.
976///
977/// We are interested in unique edges. If a block B1 has multiple
978/// edges to another block B2, we only add a single B1->B2 edge.
Diego Novillode1ab262014-09-09 12:40:50 +0000979void SampleProfileLoader::buildEdges(Function &F) {
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000980 for (auto &BI : F) {
981 BasicBlock *B1 = &BI;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000982
983 // Add predecessors for B1.
984 SmallPtrSet<BasicBlock *, 16> Visited;
985 if (!Predecessors[B1].empty())
986 llvm_unreachable("Found a stale predecessors list in a basic block.");
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +0000987 for (pred_iterator PI = pred_begin(B1), PE = pred_end(B1); PI != PE; ++PI) {
988 BasicBlock *B2 = *PI;
David Blaikie70573dc2014-11-19 07:49:26 +0000989 if (Visited.insert(B2).second)
Diego Novillo0accb3d2014-01-10 23:23:46 +0000990 Predecessors[B1].push_back(B2);
991 }
992
993 // Add successors for B1.
994 Visited.clear();
995 if (!Successors[B1].empty())
996 llvm_unreachable("Found a stale successors list in a basic block.");
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +0000997 for (succ_iterator SI = succ_begin(B1), SE = succ_end(B1); SI != SE; ++SI) {
998 BasicBlock *B2 = *SI;
David Blaikie70573dc2014-11-19 07:49:26 +0000999 if (Visited.insert(B2).second)
Diego Novillo0accb3d2014-01-10 23:23:46 +00001000 Successors[B1].push_back(B2);
1001 }
1002 }
1003}
1004
1005/// \brief Propagate weights into edges
1006///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001007/// The following rules are applied to every block BB in the CFG:
Diego Novillo0accb3d2014-01-10 23:23:46 +00001008///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001009/// - If BB has a single predecessor/successor, then the weight
Diego Novillo0accb3d2014-01-10 23:23:46 +00001010/// of that edge is the weight of the block.
1011///
1012/// - If all incoming or outgoing edges are known except one, and the
1013/// weight of the block is already known, the weight of the unknown
1014/// edge will be the weight of the block minus the sum of all the known
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001015/// edges. If the sum of all the known edges is larger than BB's weight,
Diego Novillo0accb3d2014-01-10 23:23:46 +00001016/// we set the unknown edge weight to zero.
1017///
1018/// - If there is a self-referential edge, and the weight of the block is
1019/// known, the weight for that edge is set to the weight of the block
1020/// minus the weight of the other incoming edges to that block (if
1021/// known).
Diego Novillode1ab262014-09-09 12:40:50 +00001022void SampleProfileLoader::propagateWeights(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001023 bool Changed = true;
Diego Novillo38be3332015-10-15 16:36:21 +00001024 unsigned I = 0;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001025
Diego Novilloffc84e32015-05-13 17:04:29 +00001026 // Add an entry count to the function using the samples gathered
1027 // at the function entry.
Dehao Chenc0a1e432016-08-12 16:22:12 +00001028 F.setEntryCount(Samples->getHeadSamples() + 1);
1029
1030 // If BB weight is larger than its corresponding loop's header BB weight,
1031 // use the BB weight to replace the loop header BB weight.
1032 for (auto &BI : F) {
1033 BasicBlock *BB = &BI;
1034 Loop *L = LI->getLoopFor(BB);
1035 if (!L) {
1036 continue;
1037 }
1038 BasicBlock *Header = L->getHeader();
1039 if (Header && BlockWeights[BB] > BlockWeights[Header]) {
1040 BlockWeights[Header] = BlockWeights[BB];
1041 }
1042 }
Diego Novilloffc84e32015-05-13 17:04:29 +00001043
Diego Novillo0accb3d2014-01-10 23:23:46 +00001044 // Before propagation starts, build, for each block, a list of
1045 // unique predecessors and successors. This is necessary to handle
1046 // identical edges in multiway branches. Since we visit all blocks and all
1047 // edges of the CFG, it is cleaner to build these lists once at the start
1048 // of the pass.
1049 buildEdges(F);
1050
1051 // Propagate until we converge or we go past the iteration limit.
Diego Novillo38be3332015-10-15 16:36:21 +00001052 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
Dehao Chenc0a1e432016-08-12 16:22:12 +00001053 Changed = propagateThroughEdges(F, false);
1054 }
1055
1056 // The first propagation propagates BB counts from annotated BBs to unknown
1057 // BBs. The 2nd propagation pass resets edges weights, and use all BB weights
1058 // to propagate edge weights.
1059 VisitedEdges.clear();
1060 Changed = true;
1061 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
1062 Changed = propagateThroughEdges(F, false);
1063 }
1064
1065 // The 3rd propagation pass allows adjust annotated BB weights that are
1066 // obviously wrong.
1067 Changed = true;
1068 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
1069 Changed = propagateThroughEdges(F, true);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001070 }
1071
1072 // Generate MD_prof metadata for every branch instruction using the
1073 // edge weights computed during propagation.
1074 DEBUG(dbgs() << "\nPropagation complete. Setting branch weights\n");
Diego Novillo7963ea12015-10-26 18:52:53 +00001075 LLVMContext &Ctx = F.getContext();
1076 MDBuilder MDB(Ctx);
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001077 for (auto &BI : F) {
1078 BasicBlock *BB = &BI;
Dehao Chen9232f982016-07-11 16:48:54 +00001079
1080 if (BlockWeights[BB]) {
1081 for (auto &I : BB->getInstList()) {
1082 if (CallInst *CI = dyn_cast<CallInst>(&I)) {
1083 if (!dyn_cast<IntrinsicInst>(&I)) {
1084 SmallVector<uint32_t, 1> Weights;
1085 Weights.push_back(BlockWeights[BB]);
Dehao Chen41cde0b2016-09-18 23:11:37 +00001086 CI->setMetadata(LLVMContext::MD_prof,
Dehao Chen9232f982016-07-11 16:48:54 +00001087 MDB.createBranchWeights(Weights));
1088 }
1089 }
1090 }
1091 }
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001092 TerminatorInst *TI = BB->getTerminator();
Diego Novillo0accb3d2014-01-10 23:23:46 +00001093 if (TI->getNumSuccessors() == 1)
1094 continue;
1095 if (!isa<BranchInst>(TI) && !isa<SwitchInst>(TI))
1096 continue;
1097
1098 DEBUG(dbgs() << "\nGetting weights for branch at line "
Diego Novillo92aa8c22014-03-10 22:41:28 +00001099 << TI->getDebugLoc().getLine() << ".\n");
Diego Novillo38be3332015-10-15 16:36:21 +00001100 SmallVector<uint32_t, 4> Weights;
Diego Novillo7963ea12015-10-26 18:52:53 +00001101 uint32_t MaxWeight = 0;
Diego Novillo7963ea12015-10-26 18:52:53 +00001102 DebugLoc MaxDestLoc;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001103 for (unsigned I = 0; I < TI->getNumSuccessors(); ++I) {
1104 BasicBlock *Succ = TI->getSuccessor(I);
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001105 Edge E = std::make_pair(BB, Succ);
Diego Novillo38be3332015-10-15 16:36:21 +00001106 uint64_t Weight = EdgeWeights[E];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001107 DEBUG(dbgs() << "\t"; printEdgeWeight(dbgs(), E));
Diego Novillo38be3332015-10-15 16:36:21 +00001108 // Use uint32_t saturated arithmetic to adjust the incoming weights,
1109 // if needed. Sample counts in profiles are 64-bit unsigned values,
1110 // but internally branch weights are expressed as 32-bit values.
1111 if (Weight > std::numeric_limits<uint32_t>::max()) {
1112 DEBUG(dbgs() << " (saturated due to uint32_t overflow)");
1113 Weight = std::numeric_limits<uint32_t>::max();
1114 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001115 // Weight is added by one to avoid propagation errors introduced by
1116 // 0 weights.
1117 Weights.push_back(static_cast<uint32_t>(Weight + 1));
Diego Novillo7963ea12015-10-26 18:52:53 +00001118 if (Weight != 0) {
1119 if (Weight > MaxWeight) {
1120 MaxWeight = Weight;
Diego Novillo7963ea12015-10-26 18:52:53 +00001121 MaxDestLoc = Succ->getFirstNonPHIOrDbgOrLifetime()->getDebugLoc();
1122 }
1123 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001124 }
1125
1126 // Only set weights if there is at least one non-zero weight.
1127 // In any other case, let the analyzer set weights.
Dehao Chen82667d02016-09-19 16:33:41 +00001128 if (MaxWeight > 0) {
1129 DEBUG(dbgs() << "SUCCESS. Found non-zero weights.\n");
1130 TI->setMetadata(llvm::LLVMContext::MD_prof,
1131 MDB.createBranchWeights(Weights));
1132 DebugLoc BranchLoc = TI->getDebugLoc();
1133 emitOptimizationRemark(
1134 Ctx, DEBUG_TYPE, F, MaxDestLoc,
1135 Twine("most popular destination for conditional branches at ") +
1136 ((BranchLoc) ? Twine(BranchLoc->getFilename() + ":" +
1137 Twine(BranchLoc.getLine()) + ":" +
1138 Twine(BranchLoc.getCol()))
1139 : Twine("<UNKNOWN LOCATION>")));
1140 } else {
1141 DEBUG(dbgs() << "SKIPPED. All branch weights are zero.\n");
1142 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001143 }
1144}
1145
1146/// \brief Get the line number for the function header.
1147///
1148/// This looks up function \p F in the current compilation unit and
1149/// retrieves the line number where the function is defined. This is
1150/// line 0 for all the samples read from the profile file. Every line
1151/// number is relative to this line.
1152///
1153/// \param F Function object to query.
1154///
Diego Novilloa32aa322014-03-14 21:58:59 +00001155/// \returns the line number where \p F is defined. If it returns 0,
1156/// it means that there is no debug information available for \p F.
Diego Novillode1ab262014-09-09 12:40:50 +00001157unsigned SampleProfileLoader::getFunctionLoc(Function &F) {
Pete Cooperadebb932016-03-11 02:14:16 +00001158 if (DISubprogram *S = F.getSubprogram())
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001159 return S->getLine();
Diego Novillo0accb3d2014-01-10 23:23:46 +00001160
Diego Novilloaa555072015-10-27 18:41:46 +00001161 // If the start of \p F is missing, emit a diagnostic to inform the user
Diego Novillo8027b802014-10-22 12:59:00 +00001162 // about the missed opportunity.
David Blaikie61079682014-03-16 01:36:18 +00001163 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Diego Novilloa67c0b42014-10-22 13:36:35 +00001164 "No debug information found in function " + F.getName() +
1165 ": Function profile not used",
1166 DS_Warning));
Diego Novilloa32aa322014-03-14 21:58:59 +00001167 return 0;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001168}
1169
Diego Novillo7732ae42015-08-26 20:00:27 +00001170void SampleProfileLoader::computeDominanceAndLoopInfo(Function &F) {
1171 DT.reset(new DominatorTree);
1172 DT->recalculate(F);
1173
1174 PDT.reset(new DominatorTreeBase<BasicBlock>(true));
1175 PDT->recalculate(F);
1176
1177 LI.reset(new LoopInfo);
1178 LI->analyze(*DT);
1179}
1180
Diego Novillo0accb3d2014-01-10 23:23:46 +00001181/// \brief Generate branch weight metadata for all branches in \p F.
1182///
1183/// Branch weights are computed out of instruction samples using a
1184/// propagation heuristic. Propagation proceeds in 3 phases:
1185///
1186/// 1- Assignment of block weights. All the basic blocks in the function
1187/// are initial assigned the same weight as their most frequently
1188/// executed instruction.
1189///
1190/// 2- Creation of equivalence classes. Since samples may be missing from
1191/// blocks, we can fill in the gaps by setting the weights of all the
1192/// blocks in the same equivalence class to the same weight. To compute
1193/// the concept of equivalence, we use dominance and loop information.
1194/// Two blocks B1 and B2 are in the same equivalence class if B1
1195/// dominates B2, B2 post-dominates B1 and both are in the same loop.
1196///
1197/// 3- Propagation of block weights into edges. This uses a simple
1198/// propagation heuristic. The following rules are applied to every
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001199/// block BB in the CFG:
Diego Novillo0accb3d2014-01-10 23:23:46 +00001200///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001201/// - If BB has a single predecessor/successor, then the weight
Diego Novillo0accb3d2014-01-10 23:23:46 +00001202/// of that edge is the weight of the block.
1203///
1204/// - If all the edges are known except one, and the weight of the
1205/// block is already known, the weight of the unknown edge will
1206/// be the weight of the block minus the sum of all the known
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001207/// edges. If the sum of all the known edges is larger than BB's weight,
Diego Novillo0accb3d2014-01-10 23:23:46 +00001208/// we set the unknown edge weight to zero.
1209///
1210/// - If there is a self-referential edge, and the weight of the block is
1211/// known, the weight for that edge is set to the weight of the block
1212/// minus the weight of the other incoming edges to that block (if
1213/// known).
1214///
1215/// Since this propagation is not guaranteed to finalize for every CFG, we
1216/// only allow it to proceed for a limited number of iterations (controlled
1217/// by -sample-profile-max-propagate-iterations).
1218///
1219/// FIXME: Try to replace this propagation heuristic with a scheme
1220/// that is guaranteed to finalize. A work-list approach similar to
1221/// the standard value propagation algorithm used by SSA-CCP might
1222/// work here.
1223///
1224/// Once all the branch weights are computed, we emit the MD_prof
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001225/// metadata on BB using the computed values for each of its branches.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001226///
1227/// \param F The function to query.
Diego Novilloa32aa322014-03-14 21:58:59 +00001228///
1229/// \returns true if \p F was modified. Returns false, otherwise.
Diego Novillode1ab262014-09-09 12:40:50 +00001230bool SampleProfileLoader::emitAnnotations(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001231 bool Changed = false;
1232
Dehao Chen41dc5a62015-10-09 16:50:16 +00001233 if (getFunctionLoc(F) == 0)
Diego Novilloa32aa322014-03-14 21:58:59 +00001234 return false;
1235
Diego Novillo0accb3d2014-01-10 23:23:46 +00001236 DEBUG(dbgs() << "Line number for the first instruction in " << F.getName()
Dehao Chen41dc5a62015-10-09 16:50:16 +00001237 << ": " << getFunctionLoc(F) << "\n");
Diego Novillo0accb3d2014-01-10 23:23:46 +00001238
Dehao Chen67226882015-09-30 00:42:46 +00001239 Changed |= inlineHotFunctions(F);
1240
Diego Novillo0accb3d2014-01-10 23:23:46 +00001241 // Compute basic block weights.
1242 Changed |= computeBlockWeights(F);
1243
1244 if (Changed) {
Diego Novillo7732ae42015-08-26 20:00:27 +00001245 // Compute dominance and loop info needed for propagation.
1246 computeDominanceAndLoopInfo(F);
1247
Diego Novillo0accb3d2014-01-10 23:23:46 +00001248 // Find equivalence classes.
1249 findEquivalenceClasses(F);
1250
1251 // Propagate weights to all edges.
1252 propagateWeights(F);
1253 }
1254
Diego Novillof9ed08e2015-10-31 21:53:58 +00001255 // If coverage checking was requested, compute it now.
Diego Novillo243ea6a2015-11-23 20:12:21 +00001256 if (SampleProfileRecordCoverage) {
1257 unsigned Used = CoverageTracker.countUsedRecords(Samples);
1258 unsigned Total = CoverageTracker.countBodyRecords(Samples);
Diego Novillof9ed08e2015-10-31 21:53:58 +00001259 unsigned Coverage = CoverageTracker.computeCoverage(Used, Total);
Diego Novillo243ea6a2015-11-23 20:12:21 +00001260 if (Coverage < SampleProfileRecordCoverage) {
Diego Novillof9ed08e2015-10-31 21:53:58 +00001261 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Pete Cooperadebb932016-03-11 02:14:16 +00001262 F.getSubprogram()->getFilename(), getFunctionLoc(F),
Diego Novillof9ed08e2015-10-31 21:53:58 +00001263 Twine(Used) + " of " + Twine(Total) + " available profile records (" +
1264 Twine(Coverage) + "%) were applied",
1265 DS_Warning));
1266 }
1267 }
1268
Diego Novillo243ea6a2015-11-23 20:12:21 +00001269 if (SampleProfileSampleCoverage) {
1270 uint64_t Used = CoverageTracker.getTotalUsedSamples();
1271 uint64_t Total = CoverageTracker.countBodySamples(Samples);
1272 unsigned Coverage = CoverageTracker.computeCoverage(Used, Total);
1273 if (Coverage < SampleProfileSampleCoverage) {
1274 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Pete Cooperadebb932016-03-11 02:14:16 +00001275 F.getSubprogram()->getFilename(), getFunctionLoc(F),
Diego Novillo243ea6a2015-11-23 20:12:21 +00001276 Twine(Used) + " of " + Twine(Total) + " available profile samples (" +
1277 Twine(Coverage) + "%) were applied",
1278 DS_Warning));
1279 }
1280 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001281 return Changed;
1282}
1283
Xinliang David Lie897edb2016-05-27 22:30:44 +00001284char SampleProfileLoaderLegacyPass::ID = 0;
Dehao Chen071bb9d2016-06-20 20:53:40 +00001285INITIALIZE_PASS_BEGIN(SampleProfileLoaderLegacyPass, "sample-profile",
Dehao Chen38e37312016-09-19 16:06:37 +00001286 "Sample Profile loader", false, false)
Dehao Chen071bb9d2016-06-20 20:53:40 +00001287INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
1288INITIALIZE_PASS_END(SampleProfileLoaderLegacyPass, "sample-profile",
Dehao Chen38e37312016-09-19 16:06:37 +00001289 "Sample Profile loader", false, false)
Diego Novilloc0dd1032013-11-26 20:37:33 +00001290
1291bool SampleProfileLoader::doInitialization(Module &M) {
Diego Novillo7732ae42015-08-26 20:00:27 +00001292 auto &Ctx = M.getContext();
Diego Novillo4d711132015-08-25 15:25:11 +00001293 auto ReaderOrErr = SampleProfileReader::create(Filename, Ctx);
Diego Novillofcd55602014-11-03 00:51:45 +00001294 if (std::error_code EC = ReaderOrErr.getError()) {
Diego Novilloc572e922014-10-30 18:00:06 +00001295 std::string Msg = "Could not open profile: " + EC.message();
David Blaikie2297a912015-11-02 20:01:13 +00001296 Ctx.diagnose(DiagnosticInfoSampleProfile(Filename, Msg));
Diego Novilloc572e922014-10-30 18:00:06 +00001297 return false;
1298 }
Diego Novillofcd55602014-11-03 00:51:45 +00001299 Reader = std::move(ReaderOrErr.get());
Diego Novilloc572e922014-10-30 18:00:06 +00001300 ProfileIsValid = (Reader->read() == sampleprof_error::success);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001301 return true;
1302}
1303
Diego Novillo4d711132015-08-25 15:25:11 +00001304ModulePass *llvm::createSampleProfileLoaderPass() {
Xinliang David Lie897edb2016-05-27 22:30:44 +00001305 return new SampleProfileLoaderLegacyPass(SampleProfileFile);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001306}
1307
Diego Novillo4d711132015-08-25 15:25:11 +00001308ModulePass *llvm::createSampleProfileLoaderPass(StringRef Name) {
Xinliang David Lie897edb2016-05-27 22:30:44 +00001309 return new SampleProfileLoaderLegacyPass(Name);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001310}
1311
Diego Novillo4d711132015-08-25 15:25:11 +00001312bool SampleProfileLoader::runOnModule(Module &M) {
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001313 if (!ProfileIsValid)
1314 return false;
1315
Diego Novillo84f06cc2015-11-27 23:14:51 +00001316 // Compute the total number of samples collected in this profile.
1317 for (const auto &I : Reader->getProfiles())
1318 TotalCollectedSamples += I.second.getTotalSamples();
1319
Diego Novillo4d711132015-08-25 15:25:11 +00001320 bool retval = false;
1321 for (auto &F : M)
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001322 if (!F.isDeclaration()) {
1323 clearFunctionData();
Diego Novillo4d711132015-08-25 15:25:11 +00001324 retval |= runOnFunction(F);
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001325 }
Dehao Chenc66a06a2016-06-24 22:57:06 +00001326 M.setProfileSummary(Reader->getSummary().getMD(M.getContext()));
Diego Novillo4d711132015-08-25 15:25:11 +00001327 return retval;
1328}
1329
Xinliang David Lie897edb2016-05-27 22:30:44 +00001330bool SampleProfileLoaderLegacyPass::runOnModule(Module &M) {
Dehao Chen41cde0b2016-09-18 23:11:37 +00001331 // FIXME: pass in AssumptionCache correctly for the new pass manager.
Dehao Chen071bb9d2016-06-20 20:53:40 +00001332 SampleLoader.setACT(&getAnalysis<AssumptionCacheTracker>());
Xinliang David Lie897edb2016-05-27 22:30:44 +00001333 return SampleLoader.runOnModule(M);
1334}
1335
Diego Novillo8d6568b2013-11-13 12:22:21 +00001336bool SampleProfileLoader::runOnFunction(Function &F) {
Dehao Chen6c73b492016-02-22 22:46:21 +00001337 F.setEntryCount(0);
Diego Novillode1ab262014-09-09 12:40:50 +00001338 Samples = Reader->getSamplesFor(F);
1339 if (!Samples->empty())
1340 return emitAnnotations(F);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001341 return false;
Diego Novillo8d6568b2013-11-13 12:22:21 +00001342}
Xinliang David Lid38392e2016-05-27 23:20:16 +00001343
1344PreservedAnalyses SampleProfileLoaderPass::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +00001345 ModuleAnalysisManager &AM) {
Xinliang David Lid38392e2016-05-27 23:20:16 +00001346
1347 SampleProfileLoader SampleLoader(SampleProfileFile);
1348
1349 SampleLoader.doInitialization(M);
1350
1351 if (!SampleLoader.runOnModule(M))
1352 return PreservedAnalyses::all();
1353
1354 return PreservedAnalyses::none();
1355}