blob: aa22ac3b449c341b9566ddca7a017e2980d30927 [file] [log] [blame]
Diego Novillo8d6568b2013-11-13 12:22:21 +00001//===- SampleProfile.cpp - Incorporate sample profiles into the IR --------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Diego Novillo8d6568b2013-11-13 12:22:21 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the SampleProfileLoader transformation. This pass
10// reads a profile file generated by a sampling profiler (e.g. Linux Perf -
11// http://perf.wiki.kernel.org/) and generates IR metadata to reflect the
12// profile information in the given profile.
13//
14// This pass generates branch weight annotations on the IR:
15//
16// - prof: Represents branch weights. This annotation is added to branches
17// to indicate the weights of each edge coming out of the branch.
18// The weight of each edge is the weight of the target block for
19// that edge. The weight of a block B is computed as the maximum
20// number of samples found in B.
21//
22//===----------------------------------------------------------------------===//
23
David Blaikie301627f2018-03-22 22:42:44 +000024#include "llvm/Transforms/IPO/SampleProfile.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000025#include "llvm/ADT/ArrayRef.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000026#include "llvm/ADT/DenseMap.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000027#include "llvm/ADT/DenseSet.h"
28#include "llvm/ADT/None.h"
Diego Novillo0accb3d2014-01-10 23:23:46 +000029#include "llvm/ADT/SmallPtrSet.h"
Chandler Carruth07baed52014-01-13 08:04:33 +000030#include "llvm/ADT/SmallSet.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000031#include "llvm/ADT/SmallVector.h"
32#include "llvm/ADT/StringMap.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000033#include "llvm/ADT/StringRef.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000034#include "llvm/ADT/Twine.h"
Daniel Jasperaec2fa32016-12-19 08:22:17 +000035#include "llvm/Analysis/AssumptionCache.h"
Dehao Chen3a81f842017-09-14 17:29:56 +000036#include "llvm/Analysis/InlineCost.h"
Diego Novillo0accb3d2014-01-10 23:23:46 +000037#include "llvm/Analysis/LoopInfo.h"
Adam Nemet0965da22017-10-09 23:19:02 +000038#include "llvm/Analysis/OptimizationRemarkEmitter.h"
Jakub Kuderskief33edd2018-05-23 17:29:21 +000039#include "llvm/Analysis/PostDominators.h"
Wei Mi0c2f6be2018-05-10 23:02:27 +000040#include "llvm/Analysis/ProfileSummaryInfo.h"
Dehao Chen3a81f842017-09-14 17:29:56 +000041#include "llvm/Analysis/TargetTransformInfo.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000042#include "llvm/IR/BasicBlock.h"
43#include "llvm/IR/CFG.h"
44#include "llvm/IR/CallSite.h"
45#include "llvm/IR/DebugInfoMetadata.h"
46#include "llvm/IR/DebugLoc.h"
Diego Novilloa32aa322014-03-14 21:58:59 +000047#include "llvm/IR/DiagnosticInfo.h"
Chandler Carruth5ad5f152014-01-13 09:26:24 +000048#include "llvm/IR/Dominators.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000049#include "llvm/IR/Function.h"
Dehao Chen77079002017-01-20 22:56:07 +000050#include "llvm/IR/GlobalValue.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000051#include "llvm/IR/InstrTypes.h"
52#include "llvm/IR/Instruction.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000053#include "llvm/IR/Instructions.h"
Xinliang David Lid38392e2016-05-27 23:20:16 +000054#include "llvm/IR/IntrinsicInst.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000055#include "llvm/IR/LLVMContext.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000056#include "llvm/IR/MDBuilder.h"
57#include "llvm/IR/Module.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000058#include "llvm/IR/PassManager.h"
Dehao Chen1ea8bd82017-04-17 22:23:05 +000059#include "llvm/IR/ValueSymbolTable.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000060#include "llvm/Pass.h"
Dehao Chen77079002017-01-20 22:56:07 +000061#include "llvm/ProfileData/InstrProf.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000062#include "llvm/ProfileData/SampleProf.h"
Diego Novillode1ab262014-09-09 12:40:50 +000063#include "llvm/ProfileData/SampleProfReader.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000064#include "llvm/Support/Casting.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000065#include "llvm/Support/CommandLine.h"
66#include "llvm/Support/Debug.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000067#include "llvm/Support/ErrorHandling.h"
Dehao Chen8e7df832015-09-29 18:28:15 +000068#include "llvm/Support/ErrorOr.h"
Eugene Zelenkof27d1612017-10-19 21:21:30 +000069#include "llvm/Support/GenericDomTree.h"
Diego Novillo8d6568b2013-11-13 12:22:21 +000070#include "llvm/Support/raw_ostream.h"
Diego Novillo4d711132015-08-25 15:25:11 +000071#include "llvm/Transforms/IPO.h"
Dehao Chen274df5e2017-01-31 17:49:37 +000072#include "llvm/Transforms/Instrumentation.h"
Matthew Simpsone363d2c2017-12-06 21:22:54 +000073#include "llvm/Transforms/Utils/CallPromotionUtils.h"
Dehao Chen57d1dda2016-03-03 18:09:32 +000074#include "llvm/Transforms/Utils/Cloning.h"
Petr Hosek7bdad082019-09-11 16:19:50 +000075#include "llvm/Transforms/Utils/MisExpect.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>
Wenlei He4b99b582019-08-12 17:45:14 +000083#include <queue>
Eugene Zelenkof27d1612017-10-19 21:21:30 +000084#include <string>
85#include <system_error>
86#include <utility>
87#include <vector>
Diego Novillo8d6568b2013-11-13 12:22:21 +000088
89using namespace llvm;
Diego Novillode1ab262014-09-09 12:40:50 +000090using namespace sampleprof;
Easwaran Ramane5b8de22018-01-17 22:24:23 +000091using ProfileCount = Function::ProfileCount;
Chandler Carruth964daaa2014-04-22 02:55:47 +000092#define DEBUG_TYPE "sample-profile"
93
Diego Novillo8d6568b2013-11-13 12:22:21 +000094// Command line option to specify the file to read samples from. This is
95// mainly used for debugging.
96static cl::opt<std::string> SampleProfileFile(
97 "sample-profile-file", cl::init(""), cl::value_desc("filename"),
98 cl::desc("Profile file loaded by -sample-profile"), cl::Hidden);
Eugene Zelenkof27d1612017-10-19 21:21:30 +000099
Richard Smith6c676622018-10-10 23:13:47 +0000100// The named file contains a set of transformations that may have been applied
101// to the symbol names between the program from which the sample data was
102// collected and the current program's symbols.
103static cl::opt<std::string> SampleProfileRemappingFile(
104 "sample-profile-remapping-file", cl::init(""), cl::value_desc("filename"),
105 cl::desc("Profile remapping file loaded by -sample-profile"), cl::Hidden);
106
Diego Novillo0accb3d2014-01-10 23:23:46 +0000107static cl::opt<unsigned> SampleProfileMaxPropagateIterations(
108 "sample-profile-max-propagate-iterations", cl::init(100),
109 cl::desc("Maximum number of iterations to go through when propagating "
110 "sample block/edge weights through the CFG."));
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000111
Diego Novillo243ea6a2015-11-23 20:12:21 +0000112static cl::opt<unsigned> SampleProfileRecordCoverage(
113 "sample-profile-check-record-coverage", cl::init(0), cl::value_desc("N"),
114 cl::desc("Emit a warning if less than N% of records in the input profile "
115 "are matched to the IR."));
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000116
Diego Novillo243ea6a2015-11-23 20:12:21 +0000117static cl::opt<unsigned> SampleProfileSampleCoverage(
118 "sample-profile-check-sample-coverage", cl::init(0), cl::value_desc("N"),
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000119 cl::desc("Emit a warning if less than N% of samples in the input profile "
120 "are matched to the IR."));
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000121
Wei Mie5551272018-06-25 15:40:31 +0000122static cl::opt<bool> NoWarnSampleUnused(
123 "no-warn-sample-unused", cl::init(false), cl::Hidden,
124 cl::desc("Use this option to turn off/on warnings about function with "
125 "samples but without debug information to use those samples. "));
126
Wei Mi66c6c5a2018-12-13 21:51:42 +0000127static cl::opt<bool> ProfileSampleAccurate(
128 "profile-sample-accurate", cl::Hidden, cl::init(false),
129 cl::desc("If the sample profile is accurate, we will mark all un-sampled "
130 "callsite and function as having 0 samples. Otherwise, treat "
131 "un-sampled callsites and functions conservatively as unknown. "));
132
Wei Mif0c4e702019-09-27 22:33:59 +0000133static cl::opt<bool> ProfileAccurateForSymsInList(
134 "profile-accurate-for-symsinlist", cl::Hidden, cl::ZeroOrMore,
135 cl::init(true),
136 cl::desc("For symbols in profile symbol list, regard their profiles to "
137 "be accurate. It may be overriden by profile-sample-accurate. "));
138
Diego Novillo8d6568b2013-11-13 12:22:21 +0000139namespace {
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000140
141using BlockWeightMap = DenseMap<const BasicBlock *, uint64_t>;
142using EquivalenceClassMap = DenseMap<const BasicBlock *, const BasicBlock *>;
143using Edge = std::pair<const BasicBlock *, const BasicBlock *>;
144using EdgeWeightMap = DenseMap<Edge, uint64_t>;
145using BlockEdgeMap =
146 DenseMap<const BasicBlock *, SmallVector<const BasicBlock *, 8>>;
Diego Novilloc0dd1032013-11-26 20:37:33 +0000147
Wei Mi5f7e8222019-09-18 16:06:28 +0000148class SampleProfileLoader;
149
Dehao Chen0f35fa92016-12-13 22:13:18 +0000150class SampleCoverageTracker {
151public:
Wei Mi5f7e8222019-09-18 16:06:28 +0000152 SampleCoverageTracker(SampleProfileLoader &SPL) : SPLoader(SPL){};
Dehao Chen0f35fa92016-12-13 22:13:18 +0000153
154 bool markSamplesUsed(const FunctionSamples *FS, uint32_t LineOffset,
155 uint32_t Discriminator, uint64_t Samples);
156 unsigned computeCoverage(unsigned Used, unsigned Total) const;
Wei Mi0c2f6be2018-05-10 23:02:27 +0000157 unsigned countUsedRecords(const FunctionSamples *FS,
158 ProfileSummaryInfo *PSI) const;
159 unsigned countBodyRecords(const FunctionSamples *FS,
160 ProfileSummaryInfo *PSI) const;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000161 uint64_t getTotalUsedSamples() const { return TotalUsedSamples; }
Wei Mi0c2f6be2018-05-10 23:02:27 +0000162 uint64_t countBodySamples(const FunctionSamples *FS,
163 ProfileSummaryInfo *PSI) const;
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000164
Dehao Chen0f35fa92016-12-13 22:13:18 +0000165 void clear() {
166 SampleCoverage.clear();
167 TotalUsedSamples = 0;
168 }
169
170private:
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000171 using BodySampleCoverageMap = std::map<LineLocation, unsigned>;
172 using FunctionSamplesCoverageMap =
173 DenseMap<const FunctionSamples *, BodySampleCoverageMap>;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000174
175 /// Coverage map for sampling records.
176 ///
177 /// This map keeps a record of sampling records that have been matched to
178 /// an IR instruction. This is used to detect some form of staleness in
179 /// profiles (see flag -sample-profile-check-coverage).
180 ///
181 /// Each entry in the map corresponds to a FunctionSamples instance. This is
182 /// another map that counts how many times the sample record at the
183 /// given location has been used.
184 FunctionSamplesCoverageMap SampleCoverage;
185
186 /// Number of samples used from the profile.
187 ///
188 /// When a sampling record is used for the first time, the samples from
189 /// that record are added to this accumulator. Coverage is later computed
190 /// based on the total number of samples available in this function and
191 /// its callsites.
192 ///
193 /// Note that this accumulator tracks samples used from a single function
194 /// and all the inlined callsites. Strictly, we should have a map of counters
195 /// keyed by FunctionSamples pointers, but these stats are cleared after
196 /// every function, so we just need to keep a single counter.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000197 uint64_t TotalUsedSamples = 0;
Wei Mi5f7e8222019-09-18 16:06:28 +0000198
199 SampleProfileLoader &SPLoader;
Dehao Chen0f35fa92016-12-13 22:13:18 +0000200};
201
Wenlei He4b99b582019-08-12 17:45:14 +0000202class GUIDToFuncNameMapper {
203public:
204 GUIDToFuncNameMapper(Module &M, SampleProfileReader &Reader,
205 DenseMap<uint64_t, StringRef> &GUIDToFuncNameMap)
Wenlei He5adace32019-08-20 20:52:00 +0000206 : CurrentReader(Reader), CurrentModule(M),
Wenlei He4b99b582019-08-12 17:45:14 +0000207 CurrentGUIDToFuncNameMap(GUIDToFuncNameMap) {
208 if (CurrentReader.getFormat() != SPF_Compact_Binary)
209 return;
210
211 for (const auto &F : CurrentModule) {
212 StringRef OrigName = F.getName();
213 CurrentGUIDToFuncNameMap.insert(
214 {Function::getGUID(OrigName), OrigName});
215
216 // Local to global var promotion used by optimization like thinlto
217 // will rename the var and add suffix like ".llvm.xxx" to the
218 // original local name. In sample profile, the suffixes of function
219 // names are all stripped. Since it is possible that the mapper is
220 // built in post-thin-link phase and var promotion has been done,
221 // we need to add the substring of function name without the suffix
222 // into the GUIDToFuncNameMap.
223 StringRef CanonName = FunctionSamples::getCanonicalFnName(F);
224 if (CanonName != OrigName)
225 CurrentGUIDToFuncNameMap.insert(
226 {Function::getGUID(CanonName), CanonName});
227 }
228
229 // Update GUIDToFuncNameMap for each function including inlinees.
230 SetGUIDToFuncNameMapForAll(&CurrentGUIDToFuncNameMap);
231 }
232
233 ~GUIDToFuncNameMapper() {
234 if (CurrentReader.getFormat() != SPF_Compact_Binary)
235 return;
236
237 CurrentGUIDToFuncNameMap.clear();
238
239 // Reset GUIDToFuncNameMap for of each function as they're no
240 // longer valid at this point.
241 SetGUIDToFuncNameMapForAll(nullptr);
242 }
243
244private:
245 void SetGUIDToFuncNameMapForAll(DenseMap<uint64_t, StringRef> *Map) {
246 std::queue<FunctionSamples *> FSToUpdate;
247 for (auto &IFS : CurrentReader.getProfiles()) {
248 FSToUpdate.push(&IFS.second);
249 }
250
251 while (!FSToUpdate.empty()) {
252 FunctionSamples *FS = FSToUpdate.front();
253 FSToUpdate.pop();
254 FS->GUIDToFuncNameMap = Map;
255 for (const auto &ICS : FS->getCallsiteSamples()) {
256 const FunctionSamplesMap &FSMap = ICS.second;
257 for (auto &IFS : FSMap) {
258 FunctionSamples &FS = const_cast<FunctionSamples &>(IFS.second);
259 FSToUpdate.push(&FS);
260 }
261 }
262 }
263 }
264
265 SampleProfileReader &CurrentReader;
266 Module &CurrentModule;
267 DenseMap<uint64_t, StringRef> &CurrentGUIDToFuncNameMap;
268};
269
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000270/// Sample profile pass.
Diego Novilloc0dd1032013-11-26 20:37:33 +0000271///
Diego Novillode1ab262014-09-09 12:40:50 +0000272/// This pass reads profile data from the file specified by
273/// -sample-profile-file and annotates every affected function with the
274/// profile information found in that file.
Xinliang David Lie897edb2016-05-27 22:30:44 +0000275class SampleProfileLoader {
Diego Novilloc0dd1032013-11-26 20:37:33 +0000276public:
Dehao Chenf3ed14d2017-09-12 21:55:55 +0000277 SampleProfileLoader(
Richard Smith6c676622018-10-10 23:13:47 +0000278 StringRef Name, StringRef RemapName, bool IsThinLTOPreLink,
Dehao Chen3a81f842017-09-14 17:29:56 +0000279 std::function<AssumptionCache &(Function &)> GetAssumptionCache,
280 std::function<TargetTransformInfo &(Function &)> GetTargetTransformInfo)
Benjamin Kramer24cb28b2017-12-28 18:10:41 +0000281 : GetAC(std::move(GetAssumptionCache)),
Wei Mi5f7e8222019-09-18 16:06:28 +0000282 GetTTI(std::move(GetTargetTransformInfo)), CoverageTracker(*this),
283 Filename(Name), RemappingFilename(RemapName),
284 IsThinLTOPreLink(IsThinLTOPreLink) {}
Diego Novillode1ab262014-09-09 12:40:50 +0000285
Xinliang David Lie897edb2016-05-27 22:30:44 +0000286 bool doInitialization(Module &M);
Wei Mi0c2f6be2018-05-10 23:02:27 +0000287 bool runOnModule(Module &M, ModuleAnalysisManager *AM,
288 ProfileSummaryInfo *_PSI);
Diego Novillode1ab262014-09-09 12:40:50 +0000289
290 void dump() { Reader->dump(); }
291
Diego Novillode1ab262014-09-09 12:40:50 +0000292protected:
Wei Mi5f7e8222019-09-18 16:06:28 +0000293 friend class SampleCoverageTracker;
294
Eli Friedman51cf2602017-08-11 21:12:04 +0000295 bool runOnFunction(Function &F, ModuleAnalysisManager *AM);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000296 unsigned getFunctionLoc(Function &F);
Diego Novillode1ab262014-09-09 12:40:50 +0000297 bool emitAnnotations(Function &F);
Dehao Chen0f35fa92016-12-13 22:13:18 +0000298 ErrorOr<uint64_t> getInstWeight(const Instruction &I);
299 ErrorOr<uint64_t> getBlockWeight(const BasicBlock *BB);
Dehao Chen41cde0b2016-09-18 23:11:37 +0000300 const FunctionSamples *findCalleeFunctionSamples(const Instruction &I) const;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000301 std::vector<const FunctionSamples *>
Dehao Chen3f56a052017-10-10 21:13:50 +0000302 findIndirectCallFunctionSamples(const Instruction &I, uint64_t &Sum) const;
David Callahandee00122019-01-15 17:45:54 +0000303 mutable DenseMap<const DILocation *, const FunctionSamples *> DILocation2SampleMap;
Dehao Chen67226882015-09-30 00:42:46 +0000304 const FunctionSamples *findFunctionSamples(const Instruction &I) const;
Dehao Chen4f5d8302017-09-30 20:46:15 +0000305 bool inlineCallInstruction(Instruction *I);
Dehao Chena60cdd32017-02-28 18:09:44 +0000306 bool inlineHotFunctions(Function &F,
Dehao Chenc6c051f2017-11-01 20:26:47 +0000307 DenseSet<GlobalValue::GUID> &InlinedGUIDs);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000308 void printEdgeWeight(raw_ostream &OS, Edge E);
Dehao Chen8e7df832015-09-29 18:28:15 +0000309 void printBlockWeight(raw_ostream &OS, const BasicBlock *BB) const;
310 void printBlockEquivalence(raw_ostream &OS, const BasicBlock *BB);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000311 bool computeBlockWeights(Function &F);
312 void findEquivalenceClasses(Function &F);
Jakub Kuderskib292c222017-07-14 18:26:09 +0000313 template <bool IsPostDom>
Benjamin Kramer8a752e32016-02-13 16:01:12 +0000314 void findEquivalencesFor(BasicBlock *BB1, ArrayRef<BasicBlock *> Descendants,
Jakub Kuderskib292c222017-07-14 18:26:09 +0000315 DominatorTreeBase<BasicBlock, IsPostDom> *DomTree);
316
Diego Novillo0accb3d2014-01-10 23:23:46 +0000317 void propagateWeights(Function &F);
Diego Novillo38be3332015-10-15 16:36:21 +0000318 uint64_t visitEdge(Edge E, unsigned *NumUnknownEdges, Edge *UnknownEdge);
Diego Novillo0accb3d2014-01-10 23:23:46 +0000319 void buildEdges(Function &F);
Dehao Chenc0a1e432016-08-12 16:22:12 +0000320 bool propagateThroughEdges(Function &F, bool UpdateBlockCount);
Diego Novillo7732ae42015-08-26 20:00:27 +0000321 void computeDominanceAndLoopInfo(Function &F);
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000322 void clearFunctionData();
Wei Mi5f7e8222019-09-18 16:06:28 +0000323 bool callsiteIsHot(const FunctionSamples *CallsiteFS,
324 ProfileSummaryInfo *PSI);
Diego Novilloc0dd1032013-11-26 20:37:33 +0000325
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000326 /// Map basic blocks to their computed weights.
Diego Novilloc0dd1032013-11-26 20:37:33 +0000327 ///
328 /// The weight of a basic block is defined to be the maximum
329 /// of all the instruction weights in that block.
330 BlockWeightMap BlockWeights;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000331
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000332 /// Map edges to their computed weights.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000333 ///
334 /// Edge weights are computed by propagating basic block weights in
335 /// SampleProfile::propagateWeights.
336 EdgeWeightMap EdgeWeights;
337
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000338 /// Set of visited blocks during propagation.
Matthias Braunb30f2f512016-01-30 01:24:31 +0000339 SmallPtrSet<const BasicBlock *, 32> VisitedBlocks;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000340
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000341 /// Set of visited edges during propagation.
Matthias Braunb30f2f512016-01-30 01:24:31 +0000342 SmallSet<Edge, 32> VisitedEdges;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000343
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000344 /// Equivalence classes for block weights.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000345 ///
346 /// Two blocks BB1 and BB2 are in the same equivalence class if they
347 /// dominate and post-dominate each other, and they are in the same loop
348 /// nest. When this happens, the two blocks are guaranteed to execute
349 /// the same number of times.
350 EquivalenceClassMap EquivalenceClass;
351
Dehao Chen1ea8bd82017-04-17 22:23:05 +0000352 /// Map from function name to Function *. Used to find the function from
353 /// the function name. If the function name contains suffix, additional
354 /// entry is added to map from the stripped name to the function if there
355 /// is one-to-one mapping.
356 StringMap<Function *> SymbolMap;
357
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000358 /// Dominance, post-dominance and loop information.
Diego Novillo7732ae42015-08-26 20:00:27 +0000359 std::unique_ptr<DominatorTree> DT;
Jakub Kuderskief33edd2018-05-23 17:29:21 +0000360 std::unique_ptr<PostDominatorTree> PDT;
Diego Novillo7732ae42015-08-26 20:00:27 +0000361 std::unique_ptr<LoopInfo> LI;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000362
Dehao Chenf3ed14d2017-09-12 21:55:55 +0000363 std::function<AssumptionCache &(Function &)> GetAC;
Dehao Chen3a81f842017-09-14 17:29:56 +0000364 std::function<TargetTransformInfo &(Function &)> GetTTI;
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000365
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000366 /// Predecessors for each basic block in the CFG.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000367 BlockEdgeMap Predecessors;
368
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000369 /// Successors for each basic block in the CFG.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000370 BlockEdgeMap Successors;
Diego Novillo92aa8c22014-03-10 22:41:28 +0000371
Dehao Chen0f35fa92016-12-13 22:13:18 +0000372 SampleCoverageTracker CoverageTracker;
373
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000374 /// Profile reader object.
Diego Novillode1ab262014-09-09 12:40:50 +0000375 std::unique_ptr<SampleProfileReader> Reader;
376
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000377 /// Samples collected for the body of this function.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000378 FunctionSamples *Samples = nullptr;
Diego Novillo8d6568b2013-11-13 12:22:21 +0000379
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000380 /// Name of the profile file to load.
Dehao Chenfb699612016-12-14 22:03:08 +0000381 std::string Filename;
Diego Novilloa32aa322014-03-14 21:58:59 +0000382
Richard Smith6c676622018-10-10 23:13:47 +0000383 /// Name of the profile remapping file to load.
384 std::string RemappingFilename;
385
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000386 /// Flag indicating whether the profile input loaded successfully.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000387 bool ProfileIsValid = false;
Diego Novillo84f06cc2015-11-27 23:14:51 +0000388
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000389 /// Flag indicating if the pass is invoked in ThinLTO compile phase.
Dehao Chend26dae02017-10-01 05:24:51 +0000390 ///
391 /// In this phase, in annotation, we should not promote indirect calls.
392 /// Instead, we will mark GUIDs that needs to be annotated to the function.
393 bool IsThinLTOPreLink;
394
Wei Mi0c2f6be2018-05-10 23:02:27 +0000395 /// Profile Summary Info computed from sample profile.
396 ProfileSummaryInfo *PSI = nullptr;
397
Wei Mi798e59b2019-08-31 02:27:26 +0000398 /// Profle Symbol list tells whether a function name appears in the binary
399 /// used to generate the current profile.
400 std::unique_ptr<ProfileSymbolList> PSL;
401
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000402 /// Total number of samples collected in this profile.
Diego Novillo84f06cc2015-11-27 23:14:51 +0000403 ///
404 /// This is the sum of all the samples collected in all the functions executed
405 /// at runtime.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000406 uint64_t TotalCollectedSamples = 0;
Eli Friedman51cf2602017-08-11 21:12:04 +0000407
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000408 /// Optimization Remark Emitter used to emit diagnostic remarks.
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000409 OptimizationRemarkEmitter *ORE = nullptr;
David Callahand2eeb252019-01-24 00:55:23 +0000410
411 // Information recorded when we declined to inline a call site
412 // because we have determined it is too cold is accumulated for
413 // each callee function. Initially this is just the entry count.
414 struct NotInlinedProfileInfo {
415 uint64_t entryCount;
416 };
417 DenseMap<Function *, NotInlinedProfileInfo> notInlinedCallInfo;
Wenlei He4b99b582019-08-12 17:45:14 +0000418
419 // GUIDToFuncNameMap saves the mapping from GUID to the symbol name, for
420 // all the function symbols defined or declared in current module.
421 DenseMap<uint64_t, StringRef> GUIDToFuncNameMap;
Wei Mi5f7e8222019-09-18 16:06:28 +0000422
423 // All the Names used in FunctionSamples including outline function
424 // names, inline instance names and call target names.
425 StringSet<> NamesInProfile;
426
Wei Mif0c4e702019-09-27 22:33:59 +0000427 // For symbol in profile symbol list, whether to regard their profiles
428 // to be accurate. It is mainly decided by existance of profile symbol
429 // list and -profile-accurate-for-symsinlist flag, but it can be
430 // overriden by -profile-sample-accurate or profile-sample-accurate
431 // attribute.
432 bool ProfAccForSymsInList;
Diego Novillo8d6568b2013-11-13 12:22:21 +0000433};
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000434
Xinliang David Lie897edb2016-05-27 22:30:44 +0000435class SampleProfileLoaderLegacyPass : public ModulePass {
436public:
437 // Class identification, replacement for typeinfo
438 static char ID;
439
Dehao Chend26dae02017-10-01 05:24:51 +0000440 SampleProfileLoaderLegacyPass(StringRef Name = SampleProfileFile,
441 bool IsThinLTOPreLink = false)
Richard Smith6c676622018-10-10 23:13:47 +0000442 : ModulePass(ID),
443 SampleLoader(Name, SampleProfileRemappingFile, IsThinLTOPreLink,
444 [&](Function &F) -> AssumptionCache & {
445 return ACT->getAssumptionCache(F);
446 },
447 [&](Function &F) -> TargetTransformInfo & {
448 return TTIWP->getTTI(F);
449 }) {
Xinliang David Lie897edb2016-05-27 22:30:44 +0000450 initializeSampleProfileLoaderLegacyPassPass(
451 *PassRegistry::getPassRegistry());
452 }
453
454 void dump() { SampleLoader.dump(); }
455
456 bool doInitialization(Module &M) override {
457 return SampleLoader.doInitialization(M);
458 }
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000459
Mehdi Amini117296c2016-10-01 02:56:57 +0000460 StringRef getPassName() const override { return "Sample profile pass"; }
Xinliang David Lie897edb2016-05-27 22:30:44 +0000461 bool runOnModule(Module &M) override;
462
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000463 void getAnalysisUsage(AnalysisUsage &AU) const override {
464 AU.addRequired<AssumptionCacheTracker>();
Dehao Chen3a81f842017-09-14 17:29:56 +0000465 AU.addRequired<TargetTransformInfoWrapperPass>();
Wei Mi0c2f6be2018-05-10 23:02:27 +0000466 AU.addRequired<ProfileSummaryInfoWrapperPass>();
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000467 }
468
Xinliang David Lie897edb2016-05-27 22:30:44 +0000469private:
470 SampleProfileLoader SampleLoader;
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000471 AssumptionCacheTracker *ACT = nullptr;
472 TargetTransformInfoWrapperPass *TTIWP = nullptr;
Xinliang David Lie897edb2016-05-27 22:30:44 +0000473};
474
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000475} // end anonymous namespace
476
Wei Mi0c2f6be2018-05-10 23:02:27 +0000477/// Return true if the given callsite is hot wrt to hot cutoff threshold.
Diego Novillo0b6985a2015-11-24 22:38:37 +0000478///
479/// Functions that were inlined in the original binary will be represented
480/// in the inline stack in the sample profile. If the profile shows that
481/// the original inline decision was "good" (i.e., the callsite is executed
482/// frequently), then we will recreate the inline decision and apply the
483/// profile from the inlined callsite.
484///
Wei Mi0c2f6be2018-05-10 23:02:27 +0000485/// To decide whether an inlined callsite is hot, we compare the callsite
486/// sample count with the hot cutoff computed by ProfileSummaryInfo, it is
487/// regarded as hot if the count is above the cutoff value.
Wei Mi5f7e8222019-09-18 16:06:28 +0000488///
Wei Mif0c4e702019-09-27 22:33:59 +0000489/// When ProfileAccurateForSymsInList is enabled and profile symbol list
490/// is present, functions in the profile symbol list but without profile will
Wei Mi5f7e8222019-09-18 16:06:28 +0000491/// be regarded as cold and much less inlining will happen in CGSCC inlining
492/// pass, so we tend to lower the hot criteria here to allow more early
493/// inlining to happen for warm callsites and it is helpful for performance.
494bool SampleProfileLoader::callsiteIsHot(const FunctionSamples *CallsiteFS,
495 ProfileSummaryInfo *PSI) {
Diego Novillo0b6985a2015-11-24 22:38:37 +0000496 if (!CallsiteFS)
497 return false; // The callsite was not inlined in the original binary.
498
Wei Mi0c2f6be2018-05-10 23:02:27 +0000499 assert(PSI && "PSI is expected to be non null");
Diego Novillo0b6985a2015-11-24 22:38:37 +0000500 uint64_t CallsiteTotalSamples = CallsiteFS->getTotalSamples();
Wei Mif0c4e702019-09-27 22:33:59 +0000501 if (ProfAccForSymsInList)
Wei Mi5f7e8222019-09-18 16:06:28 +0000502 return !PSI->isColdCount(CallsiteTotalSamples);
503 else
504 return PSI->isHotCount(CallsiteTotalSamples);
Diego Novillo0b6985a2015-11-24 22:38:37 +0000505}
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000506
507/// Mark as used the sample record for the given function samples at
508/// (LineOffset, Discriminator).
Diego Novillof9ed08e2015-10-31 21:53:58 +0000509///
510/// \returns true if this is the first time we mark the given record.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000511bool SampleCoverageTracker::markSamplesUsed(const FunctionSamples *FS,
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000512 uint32_t LineOffset,
Diego Novillo243ea6a2015-11-23 20:12:21 +0000513 uint32_t Discriminator,
514 uint64_t Samples) {
Diego Novillof9ed08e2015-10-31 21:53:58 +0000515 LineLocation Loc(LineOffset, Discriminator);
Diego Novillo243ea6a2015-11-23 20:12:21 +0000516 unsigned &Count = SampleCoverage[FS][Loc];
517 bool FirstTime = (++Count == 1);
518 if (FirstTime)
519 TotalUsedSamples += Samples;
520 return FirstTime;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000521}
522
523/// Return the number of sample records that were applied from this profile.
Diego Novillo0b6985a2015-11-24 22:38:37 +0000524///
525/// This count does not include records from cold inlined callsites.
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000526unsigned
Wei Mi0c2f6be2018-05-10 23:02:27 +0000527SampleCoverageTracker::countUsedRecords(const FunctionSamples *FS,
528 ProfileSummaryInfo *PSI) const {
Diego Novillo243ea6a2015-11-23 20:12:21 +0000529 auto I = SampleCoverage.find(FS);
Diego Novillo5fb49e52015-11-20 21:46:38 +0000530
Diego Novillo243ea6a2015-11-23 20:12:21 +0000531 // The size of the coverage map for FS represents the number of records
Diego Novillo5fb49e52015-11-20 21:46:38 +0000532 // that were marked used at least once.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000533 unsigned Count = (I != SampleCoverage.end()) ? I->second.size() : 0;
Diego Novillo5fb49e52015-11-20 21:46:38 +0000534
535 // If there are inlined callsites in this function, count the samples found
536 // in the respective bodies. However, do not bother counting callees with 0
537 // total samples, these are callees that were never invoked at runtime.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000538 for (const auto &I : FS->getCallsiteSamples())
539 for (const auto &J : I.second) {
540 const FunctionSamples *CalleeSamples = &J.second;
Wei Mi5f7e8222019-09-18 16:06:28 +0000541 if (SPLoader.callsiteIsHot(CalleeSamples, PSI))
Wei Mi0c2f6be2018-05-10 23:02:27 +0000542 Count += countUsedRecords(CalleeSamples, PSI);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000543 }
Diego Novillo5fb49e52015-11-20 21:46:38 +0000544
Diego Novillof9ed08e2015-10-31 21:53:58 +0000545 return Count;
546}
547
548/// Return the number of sample records in the body of this profile.
549///
Diego Novillo0b6985a2015-11-24 22:38:37 +0000550/// This count does not include records from cold inlined callsites.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000551unsigned
Wei Mi0c2f6be2018-05-10 23:02:27 +0000552SampleCoverageTracker::countBodyRecords(const FunctionSamples *FS,
553 ProfileSummaryInfo *PSI) const {
Diego Novillo243ea6a2015-11-23 20:12:21 +0000554 unsigned Count = FS->getBodySamples().size();
Diego Novillo5fb49e52015-11-20 21:46:38 +0000555
Diego Novillo0b6985a2015-11-24 22:38:37 +0000556 // Only count records in hot callsites.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000557 for (const auto &I : FS->getCallsiteSamples())
558 for (const auto &J : I.second) {
559 const FunctionSamples *CalleeSamples = &J.second;
Wei Mi5f7e8222019-09-18 16:06:28 +0000560 if (SPLoader.callsiteIsHot(CalleeSamples, PSI))
Wei Mi0c2f6be2018-05-10 23:02:27 +0000561 Count += countBodyRecords(CalleeSamples, PSI);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000562 }
Diego Novillo5fb49e52015-11-20 21:46:38 +0000563
Diego Novillof9ed08e2015-10-31 21:53:58 +0000564 return Count;
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000565}
566
Diego Novillo243ea6a2015-11-23 20:12:21 +0000567/// Return the number of samples collected in the body of this profile.
568///
Diego Novillo0b6985a2015-11-24 22:38:37 +0000569/// This count does not include samples from cold inlined callsites.
Diego Novillo243ea6a2015-11-23 20:12:21 +0000570uint64_t
Wei Mi0c2f6be2018-05-10 23:02:27 +0000571SampleCoverageTracker::countBodySamples(const FunctionSamples *FS,
572 ProfileSummaryInfo *PSI) const {
Diego Novillo243ea6a2015-11-23 20:12:21 +0000573 uint64_t Total = 0;
574 for (const auto &I : FS->getBodySamples())
575 Total += I.second.getSamples();
576
Diego Novillo0b6985a2015-11-24 22:38:37 +0000577 // Only count samples in hot callsites.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000578 for (const auto &I : FS->getCallsiteSamples())
579 for (const auto &J : I.second) {
580 const FunctionSamples *CalleeSamples = &J.second;
Wei Mi5f7e8222019-09-18 16:06:28 +0000581 if (SPLoader.callsiteIsHot(CalleeSamples, PSI))
Wei Mi0c2f6be2018-05-10 23:02:27 +0000582 Total += countBodySamples(CalleeSamples, PSI);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000583 }
Diego Novillo243ea6a2015-11-23 20:12:21 +0000584
585 return Total;
586}
587
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000588/// Return the fraction of sample records used in this profile.
589///
590/// The returned value is an unsigned integer in the range 0-100 indicating
591/// the percentage of sample records that were used while applying this
592/// profile to the associated function.
Diego Novillof9ed08e2015-10-31 21:53:58 +0000593unsigned SampleCoverageTracker::computeCoverage(unsigned Used,
594 unsigned Total) const {
595 assert(Used <= Total &&
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000596 "number of used records cannot exceed the total number of records");
Diego Novillof9ed08e2015-10-31 21:53:58 +0000597 return Total > 0 ? Used * 100 / Total : 100;
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000598}
Diego Novillo8d6568b2013-11-13 12:22:21 +0000599
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000600/// Clear all the per-function data used to load samples and propagate weights.
601void SampleProfileLoader::clearFunctionData() {
602 BlockWeights.clear();
603 EdgeWeights.clear();
604 VisitedBlocks.clear();
605 VisitedEdges.clear();
606 EquivalenceClass.clear();
607 DT = nullptr;
608 PDT = nullptr;
609 LI = nullptr;
610 Predecessors.clear();
611 Successors.clear();
Diego Novillo1ca881c2015-11-23 16:30:17 +0000612 CoverageTracker.clear();
Diego Novilloa8a3bd22015-10-28 17:40:22 +0000613}
614
Florian Hahn6b3216a2017-07-31 10:07:49 +0000615#ifndef NDEBUG
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000616/// Print the weight of edge \p E on stream \p OS.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000617///
618/// \param OS Stream to emit the output to.
619/// \param E Edge to print.
Diego Novillode1ab262014-09-09 12:40:50 +0000620void SampleProfileLoader::printEdgeWeight(raw_ostream &OS, Edge E) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000621 OS << "weight[" << E.first->getName() << "->" << E.second->getName()
622 << "]: " << EdgeWeights[E] << "\n";
623}
624
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000625/// Print the equivalence class of block \p BB on stream \p OS.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000626///
627/// \param OS Stream to emit the output to.
628/// \param BB Block to print.
Diego Novillode1ab262014-09-09 12:40:50 +0000629void SampleProfileLoader::printBlockEquivalence(raw_ostream &OS,
Dehao Chen8e7df832015-09-29 18:28:15 +0000630 const BasicBlock *BB) {
631 const BasicBlock *Equiv = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +0000632 OS << "equivalence[" << BB->getName()
633 << "]: " << ((Equiv) ? EquivalenceClass[BB]->getName() : "NONE") << "\n";
634}
635
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000636/// Print the weight of block \p BB on stream \p OS.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000637///
638/// \param OS Stream to emit the output to.
639/// \param BB Block to print.
Dehao Chen8e7df832015-09-29 18:28:15 +0000640void SampleProfileLoader::printBlockWeight(raw_ostream &OS,
641 const BasicBlock *BB) const {
642 const auto &I = BlockWeights.find(BB);
Diego Novillo38be3332015-10-15 16:36:21 +0000643 uint64_t W = (I == BlockWeights.end() ? 0 : I->second);
Dehao Chen8e7df832015-09-29 18:28:15 +0000644 OS << "weight[" << BB->getName() << "]: " << W << "\n";
Diego Novillo0accb3d2014-01-10 23:23:46 +0000645}
Florian Hahn6b3216a2017-07-31 10:07:49 +0000646#endif
Diego Novillo0accb3d2014-01-10 23:23:46 +0000647
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000648/// Get the weight for an instruction.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000649///
650/// The "weight" of an instruction \p Inst is the number of samples
651/// collected on that instruction at runtime. To retrieve it, we
652/// need to compute the line number of \p Inst relative to the start of its
653/// function. We use HeaderLineno to compute the offset. We then
654/// look up the samples collected for \p Inst using BodySamples.
655///
656/// \param Inst Instruction to query.
657///
Dehao Chen8e7df832015-09-29 18:28:15 +0000658/// \returns the weight of \p Inst.
Dehao Chen94f369f2017-01-19 23:20:31 +0000659ErrorOr<uint64_t> SampleProfileLoader::getInstWeight(const Instruction &Inst) {
Benjamin Kramer4fed9282016-05-27 12:30:51 +0000660 const DebugLoc &DLoc = Inst.getDebugLoc();
Duncan P. N. Exon Smithec819c02015-03-30 19:49:49 +0000661 if (!DLoc)
Dehao Chen8e7df832015-09-29 18:28:15 +0000662 return std::error_code();
Duncan P. N. Exon Smith41a15462015-03-20 00:56:55 +0000663
Dehao Chen67226882015-09-30 00:42:46 +0000664 const FunctionSamples *FS = findFunctionSamples(Inst);
665 if (!FS)
666 return std::error_code();
Dehao Chen41dc5a62015-10-09 16:50:16 +0000667
David Callahan95779592019-01-14 19:05:59 +0000668 // Ignore all intrinsics, phinodes and branch instructions.
669 // Branch and phinodes instruction usually contains debug info from sources outside of
Dehao Chenc0a1e432016-08-12 16:22:12 +0000670 // the residing basic block, thus we ignore them during annotation.
David Callahan95779592019-01-14 19:05:59 +0000671 if (isa<BranchInst>(Inst) || isa<IntrinsicInst>(Inst) || isa<PHINode>(Inst))
Dehao Chena8bae822016-04-20 23:36:23 +0000672 return std::error_code();
673
Dehao Chen16f01fb2017-10-05 20:15:29 +0000674 // If a direct call/invoke instruction is inlined in profile
675 // (findCalleeFunctionSamples returns non-empty result), but not inlined here,
Dehao Chenc0a1e432016-08-12 16:22:12 +0000676 // it means that the inlined callsite has no sample, thus the call
677 // instruction should have 0 count.
Dehao Chenc632a392017-03-06 17:49:59 +0000678 if ((isa<CallInst>(Inst) || isa<InvokeInst>(Inst)) &&
Dehao Chen16f01fb2017-10-05 20:15:29 +0000679 !ImmutableCallSite(&Inst).isIndirectCall() &&
Dehao Chenc632a392017-03-06 17:49:59 +0000680 findCalleeFunctionSamples(Inst))
Dehao Chen41cde0b2016-09-18 23:11:37 +0000681 return 0;
Dehao Chenc0a1e432016-08-12 16:22:12 +0000682
Dehao Chen41dc5a62015-10-09 16:50:16 +0000683 const DILocation *DIL = DLoc;
Mircea Trofin56950972018-02-22 06:42:57 +0000684 uint32_t LineOffset = FunctionSamples::getOffset(DIL);
Dehao Chen533bc6e2017-02-23 18:27:45 +0000685 uint32_t Discriminator = DIL->getBaseDiscriminator();
Dehao Chenc632a392017-03-06 17:49:59 +0000686 ErrorOr<uint64_t> R = FS->findSamplesAt(LineOffset, Discriminator);
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000687 if (R) {
Diego Novillof9ed08e2015-10-31 21:53:58 +0000688 bool FirstMark =
Diego Novillo243ea6a2015-11-23 20:12:21 +0000689 CoverageTracker.markSamplesUsed(FS, LineOffset, Discriminator, R.get());
Diego Novillof9ed08e2015-10-31 21:53:58 +0000690 if (FirstMark) {
Vivek Pandya95906582017-10-11 17:12:59 +0000691 ORE->emit([&]() {
692 OptimizationRemarkAnalysis Remark(DEBUG_TYPE, "AppliedSamples", &Inst);
693 Remark << "Applied " << ore::NV("NumSamples", *R);
694 Remark << " samples from profile (offset: ";
695 Remark << ore::NV("LineOffset", LineOffset);
696 if (Discriminator) {
697 Remark << ".";
698 Remark << ore::NV("Discriminator", Discriminator);
699 }
700 Remark << ")";
701 return Remark;
702 });
Diego Novillof9ed08e2015-10-31 21:53:58 +0000703 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000704 LLVM_DEBUG(dbgs() << " " << DLoc.getLine() << "."
705 << DIL->getBaseDiscriminator() << ":" << Inst
706 << " (line offset: " << LineOffset << "."
707 << DIL->getBaseDiscriminator() << " - weight: " << R.get()
708 << ")\n");
Diego Novillo748b3ffe2015-10-28 22:30:25 +0000709 }
Dehao Chen8e7df832015-09-29 18:28:15 +0000710 return R;
Diego Novillo0accb3d2014-01-10 23:23:46 +0000711}
712
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000713/// Compute the weight of a basic block.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000714///
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000715/// The weight of basic block \p BB is the maximum weight of all the
Dehao Chen8e7df832015-09-29 18:28:15 +0000716/// instructions in BB.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000717///
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000718/// \param BB The basic block to query.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000719///
Dehao Chen8e7df832015-09-29 18:28:15 +0000720/// \returns the weight for \p BB.
Dehao Chen94f369f2017-01-19 23:20:31 +0000721ErrorOr<uint64_t> SampleProfileLoader::getBlockWeight(const BasicBlock *BB) {
Dehao Chen160fbc32016-09-21 16:26:51 +0000722 uint64_t Max = 0;
723 bool HasWeight = false;
Diego Novillo19e7b7e2014-10-22 18:39:50 +0000724 for (auto &I : BB->getInstList()) {
Diego Novillo38be3332015-10-15 16:36:21 +0000725 const ErrorOr<uint64_t> &R = getInstWeight(I);
Dehao Chen160fbc32016-09-21 16:26:51 +0000726 if (R) {
727 Max = std::max(Max, R.get());
728 HasWeight = true;
Dehao Chen8e7df832015-09-29 18:28:15 +0000729 }
Diego Novillo0accb3d2014-01-10 23:23:46 +0000730 }
Dehao Chen160fbc32016-09-21 16:26:51 +0000731 return HasWeight ? ErrorOr<uint64_t>(Max) : std::error_code();
Diego Novillo0accb3d2014-01-10 23:23:46 +0000732}
733
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000734/// Compute and store the weights of every basic block.
Diego Novillo0accb3d2014-01-10 23:23:46 +0000735///
736/// This populates the BlockWeights map by computing
737/// the weights of every basic block in the CFG.
738///
739/// \param F The function to query.
Diego Novillode1ab262014-09-09 12:40:50 +0000740bool SampleProfileLoader::computeBlockWeights(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +0000741 bool Changed = false;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000742 LLVM_DEBUG(dbgs() << "Block weights\n");
Dehao Chen8e7df832015-09-29 18:28:15 +0000743 for (const auto &BB : F) {
Diego Novillo38be3332015-10-15 16:36:21 +0000744 ErrorOr<uint64_t> Weight = getBlockWeight(&BB);
Dehao Chen8e7df832015-09-29 18:28:15 +0000745 if (Weight) {
746 BlockWeights[&BB] = Weight.get();
Dehao Chen7c41dd62015-10-01 00:26:56 +0000747 VisitedBlocks.insert(&BB);
Dehao Chen8e7df832015-09-29 18:28:15 +0000748 Changed = true;
749 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000750 LLVM_DEBUG(printBlockWeight(dbgs(), &BB));
Diego Novillo0accb3d2014-01-10 23:23:46 +0000751 }
752
753 return Changed;
754}
755
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000756/// Get the FunctionSamples for a call instruction.
Dehao Chen67226882015-09-30 00:42:46 +0000757///
Dehao Chen41cde0b2016-09-18 23:11:37 +0000758/// The FunctionSamples of a call/invoke instruction \p Inst is the inlined
Dehao Chen67226882015-09-30 00:42:46 +0000759/// instance in which that call instruction is calling to. It contains
760/// all samples that resides in the inlined instance. We first find the
761/// inlined instance in which the call instruction is from, then we
762/// traverse its children to find the callsite with the matching
Dehao Chen41cde0b2016-09-18 23:11:37 +0000763/// location.
Dehao Chen67226882015-09-30 00:42:46 +0000764///
Dehao Chen41cde0b2016-09-18 23:11:37 +0000765/// \param Inst Call/Invoke instruction to query.
Dehao Chen67226882015-09-30 00:42:46 +0000766///
767/// \returns The FunctionSamples pointer to the inlined instance.
768const FunctionSamples *
Dehao Chen41cde0b2016-09-18 23:11:37 +0000769SampleProfileLoader::findCalleeFunctionSamples(const Instruction &Inst) const {
Dehao Chen67226882015-09-30 00:42:46 +0000770 const DILocation *DIL = Inst.getDebugLoc();
771 if (!DIL) {
772 return nullptr;
773 }
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000774
775 StringRef CalleeName;
776 if (const CallInst *CI = dyn_cast<CallInst>(&Inst))
777 if (Function *Callee = CI->getCalledFunction())
778 CalleeName = Callee->getName();
779
Dehao Chen67226882015-09-30 00:42:46 +0000780 const FunctionSamples *FS = findFunctionSamples(Inst);
781 if (FS == nullptr)
782 return nullptr;
783
Mircea Trofin56950972018-02-22 06:42:57 +0000784 return FS->findFunctionSamplesAt(LineLocation(FunctionSamples::getOffset(DIL),
785 DIL->getBaseDiscriminator()),
786 CalleeName);
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000787}
788
789/// Returns a vector of FunctionSamples that are the indirect call targets
Dehao Chen3f56a052017-10-10 21:13:50 +0000790/// of \p Inst. The vector is sorted by the total number of samples. Stores
791/// the total call count of the indirect call in \p Sum.
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000792std::vector<const FunctionSamples *>
793SampleProfileLoader::findIndirectCallFunctionSamples(
Dehao Chen3f56a052017-10-10 21:13:50 +0000794 const Instruction &Inst, uint64_t &Sum) const {
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000795 const DILocation *DIL = Inst.getDebugLoc();
796 std::vector<const FunctionSamples *> R;
797
798 if (!DIL) {
799 return R;
800 }
801
802 const FunctionSamples *FS = findFunctionSamples(Inst);
803 if (FS == nullptr)
804 return R;
805
Mircea Trofin56950972018-02-22 06:42:57 +0000806 uint32_t LineOffset = FunctionSamples::getOffset(DIL);
Dehao Chen3f56a052017-10-10 21:13:50 +0000807 uint32_t Discriminator = DIL->getBaseDiscriminator();
808
809 auto T = FS->findCallTargetMapAt(LineOffset, Discriminator);
810 Sum = 0;
811 if (T)
812 for (const auto &T_C : T.get())
813 Sum += T_C.second;
Mircea Trofin56950972018-02-22 06:42:57 +0000814 if (const FunctionSamplesMap *M = FS->findFunctionSamplesMapAt(LineLocation(
815 FunctionSamples::getOffset(DIL), DIL->getBaseDiscriminator()))) {
Eugene Zelenkof27d1612017-10-19 21:21:30 +0000816 if (M->empty())
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000817 return R;
818 for (const auto &NameFS : *M) {
Dehao Chen3f56a052017-10-10 21:13:50 +0000819 Sum += NameFS.second.getEntrySamples();
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000820 R.push_back(&NameFS.second);
821 }
Fangrui Song0cac7262018-09-27 02:13:45 +0000822 llvm::sort(R, [](const FunctionSamples *L, const FunctionSamples *R) {
823 if (L->getEntrySamples() != R->getEntrySamples())
824 return L->getEntrySamples() > R->getEntrySamples();
825 return FunctionSamples::getGUID(L->getName()) <
826 FunctionSamples::getGUID(R->getName());
827 });
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000828 }
829 return R;
Dehao Chen67226882015-09-30 00:42:46 +0000830}
831
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000832/// Get the FunctionSamples for an instruction.
Dehao Chen67226882015-09-30 00:42:46 +0000833///
834/// The FunctionSamples of an instruction \p Inst is the inlined instance
835/// in which that instruction is coming from. We traverse the inline stack
836/// of that instruction, and match it with the tree nodes in the profile.
837///
838/// \param Inst Instruction to query.
839///
840/// \returns the FunctionSamples pointer to the inlined instance.
841const FunctionSamples *
842SampleProfileLoader::findFunctionSamples(const Instruction &Inst) const {
Dehao Chen67226882015-09-30 00:42:46 +0000843 const DILocation *DIL = Inst.getDebugLoc();
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000844 if (!DIL)
Dehao Chen67226882015-09-30 00:42:46 +0000845 return Samples;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000846
David Callahandee00122019-01-15 17:45:54 +0000847 auto it = DILocation2SampleMap.try_emplace(DIL,nullptr);
848 if (it.second)
849 it.first->second = Samples->findFunctionSamples(DIL);
850 return it.first->second;
Dehao Chen67226882015-09-30 00:42:46 +0000851}
852
Dehao Chen4f5d8302017-09-30 20:46:15 +0000853bool SampleProfileLoader::inlineCallInstruction(Instruction *I) {
854 assert(isa<CallInst>(I) || isa<InvokeInst>(I));
855 CallSite CS(I);
856 Function *CalledFunction = CS.getCalledFunction();
857 assert(CalledFunction);
858 DebugLoc DLoc = I->getDebugLoc();
859 BasicBlock *BB = I->getParent();
860 InlineParams Params = getInlineParams();
861 Params.ComputeFullInlineCost = true;
862 // Checks if there is anything in the reachable portion of the callee at
863 // this callsite that makes this inlining potentially illegal. Need to
864 // set ComputeFullInlineCost, otherwise getInlineCost may return early
865 // when cost exceeds threshold without checking all IRs in the callee.
866 // The acutal cost does not matter because we only checks isNever() to
867 // see if it is legal to inline the callsite.
Fedor Sergeev652168a2019-04-23 12:43:27 +0000868 InlineCost Cost =
869 getInlineCost(cast<CallBase>(*I), Params, GetTTI(*CalledFunction), GetAC,
870 None, nullptr, nullptr);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000871 if (Cost.isNever()) {
872 ORE->emit(OptimizationRemark(DEBUG_TYPE, "Not inline", DLoc, BB)
873 << "incompatible inlining");
874 return false;
875 }
876 InlineFunctionInfo IFI(nullptr, &GetAC);
877 if (InlineFunction(CS, IFI)) {
878 // The call to InlineFunction erases I, so we can't pass it here.
879 ORE->emit(OptimizationRemark(DEBUG_TYPE, "HotInline", DLoc, BB)
880 << "inlined hot callee '" << ore::NV("Callee", CalledFunction)
881 << "' into '" << ore::NV("Caller", BB->getParent()) << "'");
882 return true;
883 }
884 return false;
885}
886
Adrian Prantl5f8f34e42018-05-01 15:54:18 +0000887/// Iteratively inline hot callsites of a function.
Dehao Chen67226882015-09-30 00:42:46 +0000888///
889/// Iteratively traverse all callsites of the function \p F, and find if
890/// the corresponding inlined instance exists and is hot in profile. If
891/// it is hot enough, inline the callsites and adds new callsites of the
Dehao Chen274df5e2017-01-31 17:49:37 +0000892/// callee into the caller. If the call is an indirect call, first promote
893/// it to direct call. Each indirect call is limited with a single target.
Dehao Chen67226882015-09-30 00:42:46 +0000894///
895/// \param F function to perform iterative inlining.
Dehao Chenc6c051f2017-11-01 20:26:47 +0000896/// \param InlinedGUIDs a set to be updated to include all GUIDs that are
897/// inlined in the profiled binary.
Dehao Chen67226882015-09-30 00:42:46 +0000898///
899/// \returns True if there is any inline happened.
Dehao Chena60cdd32017-02-28 18:09:44 +0000900bool SampleProfileLoader::inlineHotFunctions(
Dehao Chenc6c051f2017-11-01 20:26:47 +0000901 Function &F, DenseSet<GlobalValue::GUID> &InlinedGUIDs) {
Dehao Chen274df5e2017-01-31 17:49:37 +0000902 DenseSet<Instruction *> PromotedInsns;
David Callahand2eeb252019-01-24 00:55:23 +0000903
Wei Mif0c4e702019-09-27 22:33:59 +0000904 // ProfAccForSymsInList is used in callsiteIsHot. The assertion makes sure
905 // Profile symbol list is ignored when profile-sample-accurate is on.
906 assert((!ProfAccForSymsInList ||
907 (!ProfileSampleAccurate &&
908 !F.hasFnAttribute("profile-sample-accurate"))) &&
909 "ProfAccForSymsInList should be false when profile-sample-accurate "
910 "is enabled");
911
David Callahand2eeb252019-01-24 00:55:23 +0000912 DenseMap<Instruction *, const FunctionSamples *> localNotInlinedCallSites;
Dehao Chen67226882015-09-30 00:42:46 +0000913 bool Changed = false;
914 while (true) {
915 bool LocalChanged = false;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000916 SmallVector<Instruction *, 10> CIS;
Dehao Chen67226882015-09-30 00:42:46 +0000917 for (auto &BB : F) {
Dehao Chen20866ed2016-09-19 18:38:14 +0000918 bool Hot = false;
919 SmallVector<Instruction *, 10> Candidates;
Dehao Chen67226882015-09-30 00:42:46 +0000920 for (auto &I : BB.getInstList()) {
Dehao Chen41cde0b2016-09-18 23:11:37 +0000921 const FunctionSamples *FS = nullptr;
922 if ((isa<CallInst>(I) || isa<InvokeInst>(I)) &&
Andrea Di Biagioe3edef02017-04-18 10:08:53 +0000923 !isa<IntrinsicInst>(I) && (FS = findCalleeFunctionSamples(I))) {
Dehao Chen20866ed2016-09-19 18:38:14 +0000924 Candidates.push_back(&I);
David Callahand2eeb252019-01-24 00:55:23 +0000925 if (FS->getEntrySamples() > 0)
926 localNotInlinedCallSites.try_emplace(&I, FS);
Wei Mi0c2f6be2018-05-10 23:02:27 +0000927 if (callsiteIsHot(FS, PSI))
Dehao Chen20866ed2016-09-19 18:38:14 +0000928 Hot = true;
Dehao Chen41cde0b2016-09-18 23:11:37 +0000929 }
Dehao Chen67226882015-09-30 00:42:46 +0000930 }
Dehao Chen20866ed2016-09-19 18:38:14 +0000931 if (Hot) {
932 CIS.insert(CIS.begin(), Candidates.begin(), Candidates.end());
933 }
Dehao Chen67226882015-09-30 00:42:46 +0000934 }
Dehao Chen41cde0b2016-09-18 23:11:37 +0000935 for (auto I : CIS) {
Dehao Chen274df5e2017-01-31 17:49:37 +0000936 Function *CalledFunction = CallSite(I).getCalledFunction();
Dehao Chen50f2aa12017-06-21 17:57:43 +0000937 // Do not inline recursive calls.
938 if (CalledFunction == &F)
939 continue;
Dehao Chen4f5d8302017-09-30 20:46:15 +0000940 if (CallSite(I).isIndirectCall()) {
941 if (PromotedInsns.count(I))
942 continue;
Dehao Chen3f56a052017-10-10 21:13:50 +0000943 uint64_t Sum;
944 for (const auto *FS : findIndirectCallFunctionSamples(*I, Sum)) {
Dehao Chend26dae02017-10-01 05:24:51 +0000945 if (IsThinLTOPreLink) {
Dehao Chenc6c051f2017-11-01 20:26:47 +0000946 FS->findInlinedFunctions(InlinedGUIDs, F.getParent(),
Wei Mi94d44c92018-09-06 22:03:37 +0000947 PSI->getOrCompHotCountThreshold());
Dehao Chend26dae02017-10-01 05:24:51 +0000948 continue;
949 }
Wei Mi94d44c92018-09-06 22:03:37 +0000950 auto CalleeFunctionName = FS->getFuncNameInModule(F.getParent());
Dehao Chene2a428b2017-06-08 20:11:57 +0000951 // If it is a recursive call, we do not inline it as it could bloat
952 // the code exponentially. There is way to better handle this, e.g.
953 // clone the caller first, and inline the cloned caller if it is
Dehao Chen4f5d8302017-09-30 20:46:15 +0000954 // recursive. As llvm does not inline recursive calls, we will
955 // simply ignore it instead of handling it explicitly.
Wei Mi94d44c92018-09-06 22:03:37 +0000956 if (CalleeFunctionName == F.getName())
Dehao Chene2a428b2017-06-08 20:11:57 +0000957 continue;
Dehao Chen4f5d8302017-09-30 20:46:15 +0000958
Taewook Oh6a27c482019-04-02 15:48:21 +0000959 if (!callsiteIsHot(FS, PSI))
960 continue;
961
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000962 const char *Reason = "Callee function not available";
Dehao Chen1ea8bd82017-04-17 22:23:05 +0000963 auto R = SymbolMap.find(CalleeFunctionName);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000964 if (R != SymbolMap.end() && R->getValue() &&
965 !R->getValue()->isDeclaration() &&
966 R->getValue()->getSubprogram() &&
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000967 isLegalToPromote(CallSite(I), R->getValue(), &Reason)) {
Dehao Chen3f56a052017-10-10 21:13:50 +0000968 uint64_t C = FS->getEntrySamples();
Matthew Simpsone363d2c2017-12-06 21:22:54 +0000969 Instruction *DI =
970 pgo::promoteIndirectCall(I, R->getValue(), C, Sum, false, ORE);
Dehao Chen3f56a052017-10-10 21:13:50 +0000971 Sum -= C;
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000972 PromotedInsns.insert(I);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000973 // If profile mismatches, we should not attempt to inline DI.
974 if ((isa<CallInst>(DI) || isa<InvokeInst>(DI)) &&
David Callahand2eeb252019-01-24 00:55:23 +0000975 inlineCallInstruction(DI)) {
976 localNotInlinedCallSites.erase(I);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000977 LocalChanged = true;
David Callahand2eeb252019-01-24 00:55:23 +0000978 }
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000979 } else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000980 LLVM_DEBUG(dbgs()
981 << "\nFailed to promote indirect call to "
982 << CalleeFunctionName << " because " << Reason << "\n");
Dehao Chen2c7ca9b2017-04-13 19:52:10 +0000983 }
Dehao Chen274df5e2017-01-31 17:49:37 +0000984 }
Dehao Chen4f5d8302017-09-30 20:46:15 +0000985 } else if (CalledFunction && CalledFunction->getSubprogram() &&
986 !CalledFunction->isDeclaration()) {
David Callahand2eeb252019-01-24 00:55:23 +0000987 if (inlineCallInstruction(I)) {
988 localNotInlinedCallSites.erase(I);
Dehao Chen4f5d8302017-09-30 20:46:15 +0000989 LocalChanged = true;
David Callahand2eeb252019-01-24 00:55:23 +0000990 }
Dehao Chend26dae02017-10-01 05:24:51 +0000991 } else if (IsThinLTOPreLink) {
Dehao Chenc6c051f2017-11-01 20:26:47 +0000992 findCalleeFunctionSamples(*I)->findInlinedFunctions(
Wei Mi94d44c92018-09-06 22:03:37 +0000993 InlinedGUIDs, F.getParent(), PSI->getOrCompHotCountThreshold());
Diego Novillo7963ea12015-10-26 18:52:53 +0000994 }
Dehao Chen67226882015-09-30 00:42:46 +0000995 }
996 if (LocalChanged) {
997 Changed = true;
998 } else {
999 break;
1000 }
1001 }
David Callahand2eeb252019-01-24 00:55:23 +00001002
1003 // Accumulate not inlined callsite information into notInlinedSamples
1004 for (const auto &Pair : localNotInlinedCallSites) {
1005 Instruction *I = Pair.getFirst();
1006 Function *Callee = CallSite(I).getCalledFunction();
1007 if (!Callee || Callee->isDeclaration())
1008 continue;
1009 const FunctionSamples *FS = Pair.getSecond();
1010 auto pair =
1011 notInlinedCallInfo.try_emplace(Callee, NotInlinedProfileInfo{0});
1012 pair.first->second.entryCount += FS->getEntrySamples();
1013 }
Dehao Chen67226882015-09-30 00:42:46 +00001014 return Changed;
1015}
1016
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001017/// Find equivalence classes for the given block.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001018///
1019/// This finds all the blocks that are guaranteed to execute the same
Eric Christopher572e03a2015-06-19 01:53:21 +00001020/// number of times as \p BB1. To do this, it traverses all the
Diego Novillo0accb3d2014-01-10 23:23:46 +00001021/// descendants of \p BB1 in the dominator or post-dominator tree.
1022///
1023/// A block BB2 will be in the same equivalence class as \p BB1 if
1024/// the following holds:
1025///
1026/// 1- \p BB1 is a descendant of BB2 in the opposite tree. So, if BB2
1027/// is a descendant of \p BB1 in the dominator tree, then BB2 should
1028/// dominate BB1 in the post-dominator tree.
1029///
1030/// 2- Both BB2 and \p BB1 must be in the same loop.
1031///
1032/// For every block BB2 that meets those two requirements, we set BB2's
1033/// equivalence class to \p BB1.
1034///
1035/// \param BB1 Block to check.
1036/// \param Descendants Descendants of \p BB1 in either the dom or pdom tree.
1037/// \param DomTree Opposite dominator tree. If \p Descendants is filled
1038/// with blocks from \p BB1's dominator tree, then
1039/// this is the post-dominator tree, and vice versa.
Jakub Kuderskib292c222017-07-14 18:26:09 +00001040template <bool IsPostDom>
Diego Novillode1ab262014-09-09 12:40:50 +00001041void SampleProfileLoader::findEquivalencesFor(
Benjamin Kramer8a752e32016-02-13 16:01:12 +00001042 BasicBlock *BB1, ArrayRef<BasicBlock *> Descendants,
Jakub Kuderskib292c222017-07-14 18:26:09 +00001043 DominatorTreeBase<BasicBlock, IsPostDom> *DomTree) {
Dehao Chen7c41dd62015-10-01 00:26:56 +00001044 const BasicBlock *EC = EquivalenceClass[BB1];
Diego Novillo38be3332015-10-15 16:36:21 +00001045 uint64_t Weight = BlockWeights[EC];
Dehao Chen8e7df832015-09-29 18:28:15 +00001046 for (const auto *BB2 : Descendants) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001047 bool IsDomParent = DomTree->dominates(BB2, BB1);
1048 bool IsInSameLoop = LI->getLoopFor(BB1) == LI->getLoopFor(BB2);
Dehao Chen7c41dd62015-10-01 00:26:56 +00001049 if (BB1 != BB2 && IsDomParent && IsInSameLoop) {
1050 EquivalenceClass[BB2] = EC;
Dehao Chenc0a1e432016-08-12 16:22:12 +00001051 // If BB2 is visited, then the entire EC should be marked as visited.
1052 if (VisitedBlocks.count(BB2)) {
1053 VisitedBlocks.insert(EC);
1054 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001055
1056 // If BB2 is heavier than BB1, make BB2 have the same weight
1057 // as BB1.
1058 //
1059 // Note that we don't worry about the opposite situation here
1060 // (when BB2 is lighter than BB1). We will deal with this
1061 // during the propagation phase. Right now, we just want to
1062 // make sure that BB1 has the largest weight of all the
1063 // members of its equivalence set.
Dehao Chen7c41dd62015-10-01 00:26:56 +00001064 Weight = std::max(Weight, BlockWeights[BB2]);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001065 }
1066 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001067 if (EC == &EC->getParent()->getEntryBlock()) {
1068 BlockWeights[EC] = Samples->getHeadSamples() + 1;
1069 } else {
1070 BlockWeights[EC] = Weight;
1071 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001072}
1073
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001074/// Find equivalence classes.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001075///
1076/// Since samples may be missing from blocks, we can fill in the gaps by setting
1077/// the weights of all the blocks in the same equivalence class to the same
1078/// weight. To compute the concept of equivalence, we use dominance and loop
1079/// information. Two blocks B1 and B2 are in the same equivalence class if B1
1080/// dominates B2, B2 post-dominates B1 and both are in the same loop.
1081///
1082/// \param F The function to query.
Diego Novillode1ab262014-09-09 12:40:50 +00001083void SampleProfileLoader::findEquivalenceClasses(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001084 SmallVector<BasicBlock *, 8> DominatedBBs;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001085 LLVM_DEBUG(dbgs() << "\nBlock equivalence classes\n");
Diego Novillo0accb3d2014-01-10 23:23:46 +00001086 // Find equivalence sets based on dominance and post-dominance information.
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001087 for (auto &BB : F) {
1088 BasicBlock *BB1 = &BB;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001089
1090 // Compute BB1's equivalence class once.
1091 if (EquivalenceClass.count(BB1)) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001092 LLVM_DEBUG(printBlockEquivalence(dbgs(), BB1));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001093 continue;
1094 }
1095
1096 // By default, blocks are in their own equivalence class.
1097 EquivalenceClass[BB1] = BB1;
1098
1099 // Traverse all the blocks dominated by BB1. We are looking for
1100 // every basic block BB2 such that:
1101 //
1102 // 1- BB1 dominates BB2.
1103 // 2- BB2 post-dominates BB1.
1104 // 3- BB1 and BB2 are in the same loop nest.
1105 //
1106 // If all those conditions hold, it means that BB2 is executed
1107 // as many times as BB1, so they are placed in the same equivalence
1108 // class by making BB2's equivalence class be BB1.
1109 DominatedBBs.clear();
1110 DT->getDescendants(BB1, DominatedBBs);
Diego Novillo7732ae42015-08-26 20:00:27 +00001111 findEquivalencesFor(BB1, DominatedBBs, PDT.get());
Diego Novillo0accb3d2014-01-10 23:23:46 +00001112
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001113 LLVM_DEBUG(printBlockEquivalence(dbgs(), BB1));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001114 }
1115
1116 // Assign weights to equivalence classes.
1117 //
1118 // All the basic blocks in the same equivalence class will execute
1119 // the same number of times. Since we know that the head block in
1120 // each equivalence class has the largest weight, assign that weight
1121 // to all the blocks in that equivalence class.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001122 LLVM_DEBUG(
1123 dbgs() << "\nAssign the same weight to all blocks in the same class\n");
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001124 for (auto &BI : F) {
Dehao Chen8e7df832015-09-29 18:28:15 +00001125 const BasicBlock *BB = &BI;
1126 const BasicBlock *EquivBB = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001127 if (BB != EquivBB)
1128 BlockWeights[BB] = BlockWeights[EquivBB];
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001129 LLVM_DEBUG(printBlockWeight(dbgs(), BB));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001130 }
1131}
1132
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001133/// Visit the given edge to decide if it has a valid weight.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001134///
1135/// If \p E has not been visited before, we copy to \p UnknownEdge
1136/// and increment the count of unknown edges.
1137///
1138/// \param E Edge to visit.
1139/// \param NumUnknownEdges Current number of unknown edges.
1140/// \param UnknownEdge Set if E has not been visited before.
1141///
1142/// \returns E's weight, if known. Otherwise, return 0.
Diego Novillo38be3332015-10-15 16:36:21 +00001143uint64_t SampleProfileLoader::visitEdge(Edge E, unsigned *NumUnknownEdges,
Diego Novillode1ab262014-09-09 12:40:50 +00001144 Edge *UnknownEdge) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001145 if (!VisitedEdges.count(E)) {
1146 (*NumUnknownEdges)++;
1147 *UnknownEdge = E;
1148 return 0;
1149 }
1150
1151 return EdgeWeights[E];
1152}
1153
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001154/// Propagate weights through incoming/outgoing edges.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001155///
1156/// If the weight of a basic block is known, and there is only one edge
1157/// with an unknown weight, we can calculate the weight of that edge.
1158///
1159/// Similarly, if all the edges have a known count, we can calculate the
1160/// count of the basic block, if needed.
1161///
1162/// \param F Function to process.
Dehao Chenc0a1e432016-08-12 16:22:12 +00001163/// \param UpdateBlockCount Whether we should update basic block counts that
1164/// has already been annotated.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001165///
1166/// \returns True if new weights were assigned to edges or blocks.
Dehao Chenc0a1e432016-08-12 16:22:12 +00001167bool SampleProfileLoader::propagateThroughEdges(Function &F,
1168 bool UpdateBlockCount) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001169 bool Changed = false;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001170 LLVM_DEBUG(dbgs() << "\nPropagation through edges\n");
Dehao Chen7c41dd62015-10-01 00:26:56 +00001171 for (const auto &BI : F) {
1172 const BasicBlock *BB = &BI;
1173 const BasicBlock *EC = EquivalenceClass[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001174
1175 // Visit all the predecessor and successor edges to determine
1176 // which ones have a weight assigned already. Note that it doesn't
1177 // matter that we only keep track of a single unknown edge. The
1178 // only case we are interested in handling is when only a single
1179 // edge is unknown (see setEdgeOrBlockWeight).
1180 for (unsigned i = 0; i < 2; i++) {
Diego Novillo38be3332015-10-15 16:36:21 +00001181 uint64_t TotalWeight = 0;
Dehao Chen29d26412016-07-11 16:40:17 +00001182 unsigned NumUnknownEdges = 0, NumTotalEdges = 0;
1183 Edge UnknownEdge, SelfReferentialEdge, SingleEdge;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001184
1185 if (i == 0) {
1186 // First, visit all predecessor edges.
Dehao Chen29d26412016-07-11 16:40:17 +00001187 NumTotalEdges = Predecessors[BB].size();
Diego Novillob368b7d2014-10-22 16:51:50 +00001188 for (auto *Pred : Predecessors[BB]) {
1189 Edge E = std::make_pair(Pred, BB);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001190 TotalWeight += visitEdge(E, &NumUnknownEdges, &UnknownEdge);
1191 if (E.first == E.second)
1192 SelfReferentialEdge = E;
1193 }
Dehao Chen29d26412016-07-11 16:40:17 +00001194 if (NumTotalEdges == 1) {
1195 SingleEdge = std::make_pair(Predecessors[BB][0], BB);
1196 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001197 } else {
1198 // On the second round, visit all successor edges.
Dehao Chen29d26412016-07-11 16:40:17 +00001199 NumTotalEdges = Successors[BB].size();
Diego Novillob368b7d2014-10-22 16:51:50 +00001200 for (auto *Succ : Successors[BB]) {
1201 Edge E = std::make_pair(BB, Succ);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001202 TotalWeight += visitEdge(E, &NumUnknownEdges, &UnknownEdge);
1203 }
Dehao Chen29d26412016-07-11 16:40:17 +00001204 if (NumTotalEdges == 1) {
1205 SingleEdge = std::make_pair(BB, Successors[BB][0]);
1206 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001207 }
1208
1209 // After visiting all the edges, there are three cases that we
1210 // can handle immediately:
1211 //
1212 // - All the edge weights are known (i.e., NumUnknownEdges == 0).
1213 // In this case, we simply check that the sum of all the edges
1214 // is the same as BB's weight. If not, we change BB's weight
1215 // to match. Additionally, if BB had not been visited before,
1216 // we mark it visited.
1217 //
1218 // - Only one edge is unknown and BB has already been visited.
1219 // In this case, we can compute the weight of the edge by
1220 // subtracting the total block weight from all the known
1221 // edge weights. If the edges weight more than BB, then the
1222 // edge of the last remaining edge is set to zero.
1223 //
1224 // - There exists a self-referential edge and the weight of BB is
1225 // known. In this case, this edge can be based on BB's weight.
1226 // We add up all the other known edges and set the weight on
1227 // the self-referential edge as we did in the previous case.
1228 //
1229 // In any other case, we must continue iterating. Eventually,
1230 // all edges will get a weight, or iteration will stop when
1231 // it reaches SampleProfileMaxPropagateIterations.
1232 if (NumUnknownEdges <= 1) {
Diego Novillo38be3332015-10-15 16:36:21 +00001233 uint64_t &BBWeight = BlockWeights[EC];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001234 if (NumUnknownEdges == 0) {
Dehao Chen29d26412016-07-11 16:40:17 +00001235 if (!VisitedBlocks.count(EC)) {
1236 // If we already know the weight of all edges, the weight of the
1237 // basic block can be computed. It should be no larger than the sum
1238 // of all edge weights.
1239 if (TotalWeight > BBWeight) {
1240 BBWeight = TotalWeight;
1241 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001242 LLVM_DEBUG(dbgs() << "All edge weights for " << BB->getName()
1243 << " known. Set weight for block: ";
1244 printBlockWeight(dbgs(), BB););
Dehao Chen29d26412016-07-11 16:40:17 +00001245 }
1246 } else if (NumTotalEdges == 1 &&
1247 EdgeWeights[SingleEdge] < BlockWeights[EC]) {
1248 // If there is only one edge for the visited basic block, use the
1249 // block weight to adjust edge weight if edge weight is smaller.
1250 EdgeWeights[SingleEdge] = BlockWeights[EC];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001251 Changed = true;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001252 }
Dehao Chen7c41dd62015-10-01 00:26:56 +00001253 } else if (NumUnknownEdges == 1 && VisitedBlocks.count(EC)) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001254 // If there is a single unknown edge and the block has been
1255 // visited, then we can compute E's weight.
1256 if (BBWeight >= TotalWeight)
1257 EdgeWeights[UnknownEdge] = BBWeight - TotalWeight;
1258 else
1259 EdgeWeights[UnknownEdge] = 0;
Dehao Chenc0a1e432016-08-12 16:22:12 +00001260 const BasicBlock *OtherEC;
1261 if (i == 0)
1262 OtherEC = EquivalenceClass[UnknownEdge.first];
1263 else
1264 OtherEC = EquivalenceClass[UnknownEdge.second];
1265 // Edge weights should never exceed the BB weights it connects.
1266 if (VisitedBlocks.count(OtherEC) &&
1267 EdgeWeights[UnknownEdge] > BlockWeights[OtherEC])
1268 EdgeWeights[UnknownEdge] = BlockWeights[OtherEC];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001269 VisitedEdges.insert(UnknownEdge);
1270 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001271 LLVM_DEBUG(dbgs() << "Set weight for edge: ";
1272 printEdgeWeight(dbgs(), UnknownEdge));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001273 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001274 } else if (VisitedBlocks.count(EC) && BlockWeights[EC] == 0) {
1275 // If a block Weights 0, all its in/out edges should weight 0.
1276 if (i == 0) {
1277 for (auto *Pred : Predecessors[BB]) {
1278 Edge E = std::make_pair(Pred, BB);
1279 EdgeWeights[E] = 0;
1280 VisitedEdges.insert(E);
1281 }
1282 } else {
1283 for (auto *Succ : Successors[BB]) {
1284 Edge E = std::make_pair(BB, Succ);
1285 EdgeWeights[E] = 0;
1286 VisitedEdges.insert(E);
1287 }
1288 }
Dehao Chen7c41dd62015-10-01 00:26:56 +00001289 } else if (SelfReferentialEdge.first && VisitedBlocks.count(EC)) {
Diego Novillo38be3332015-10-15 16:36:21 +00001290 uint64_t &BBWeight = BlockWeights[BB];
Diego Novillo0accb3d2014-01-10 23:23:46 +00001291 // We have a self-referential edge and the weight of BB is known.
1292 if (BBWeight >= TotalWeight)
1293 EdgeWeights[SelfReferentialEdge] = BBWeight - TotalWeight;
1294 else
1295 EdgeWeights[SelfReferentialEdge] = 0;
1296 VisitedEdges.insert(SelfReferentialEdge);
1297 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001298 LLVM_DEBUG(dbgs() << "Set self-referential edge weight to: ";
1299 printEdgeWeight(dbgs(), SelfReferentialEdge));
Diego Novillo0accb3d2014-01-10 23:23:46 +00001300 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001301 if (UpdateBlockCount && !VisitedBlocks.count(EC) && TotalWeight > 0) {
1302 BlockWeights[EC] = TotalWeight;
1303 VisitedBlocks.insert(EC);
1304 Changed = true;
1305 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001306 }
1307 }
1308
1309 return Changed;
1310}
1311
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001312/// Build in/out edge lists for each basic block in the CFG.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001313///
1314/// We are interested in unique edges. If a block B1 has multiple
1315/// edges to another block B2, we only add a single B1->B2 edge.
Diego Novillode1ab262014-09-09 12:40:50 +00001316void SampleProfileLoader::buildEdges(Function &F) {
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001317 for (auto &BI : F) {
1318 BasicBlock *B1 = &BI;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001319
1320 // Add predecessors for B1.
1321 SmallPtrSet<BasicBlock *, 16> Visited;
1322 if (!Predecessors[B1].empty())
1323 llvm_unreachable("Found a stale predecessors list in a basic block.");
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +00001324 for (pred_iterator PI = pred_begin(B1), PE = pred_end(B1); PI != PE; ++PI) {
1325 BasicBlock *B2 = *PI;
David Blaikie70573dc2014-11-19 07:49:26 +00001326 if (Visited.insert(B2).second)
Diego Novillo0accb3d2014-01-10 23:23:46 +00001327 Predecessors[B1].push_back(B2);
1328 }
1329
1330 // Add successors for B1.
1331 Visited.clear();
1332 if (!Successors[B1].empty())
1333 llvm_unreachable("Found a stale successors list in a basic block.");
Duncan P. N. Exon Smith6c990152014-07-21 17:06:51 +00001334 for (succ_iterator SI = succ_begin(B1), SE = succ_end(B1); SI != SE; ++SI) {
1335 BasicBlock *B2 = *SI;
David Blaikie70573dc2014-11-19 07:49:26 +00001336 if (Visited.insert(B2).second)
Diego Novillo0accb3d2014-01-10 23:23:46 +00001337 Successors[B1].push_back(B2);
1338 }
1339 }
1340}
1341
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001342/// Returns the sorted CallTargetMap \p M by count in descending order.
Wenlei He5adace32019-08-20 20:52:00 +00001343static SmallVector<InstrProfValueData, 2> GetSortedValueDataFromCallTargets(
1344 const SampleRecord::CallTargetMap & M) {
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001345 SmallVector<InstrProfValueData, 2> R;
Wenlei He5adace32019-08-20 20:52:00 +00001346 for (const auto &I : SampleRecord::SortCallTargets(M)) {
1347 R.emplace_back(InstrProfValueData{FunctionSamples::getGUID(I.first), I.second});
1348 }
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001349 return R;
Dehao Chen77079002017-01-20 22:56:07 +00001350}
1351
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001352/// Propagate weights into edges
Diego Novillo0accb3d2014-01-10 23:23:46 +00001353///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001354/// The following rules are applied to every block BB in the CFG:
Diego Novillo0accb3d2014-01-10 23:23:46 +00001355///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001356/// - If BB has a single predecessor/successor, then the weight
Diego Novillo0accb3d2014-01-10 23:23:46 +00001357/// of that edge is the weight of the block.
1358///
1359/// - If all incoming or outgoing edges are known except one, and the
1360/// weight of the block is already known, the weight of the unknown
1361/// edge will be the weight of the block minus the sum of all the known
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001362/// edges. If the sum of all the known edges is larger than BB's weight,
Diego Novillo0accb3d2014-01-10 23:23:46 +00001363/// we set the unknown edge weight to zero.
1364///
1365/// - If there is a self-referential edge, and the weight of the block is
1366/// known, the weight for that edge is set to the weight of the block
1367/// minus the weight of the other incoming edges to that block (if
1368/// known).
Diego Novillode1ab262014-09-09 12:40:50 +00001369void SampleProfileLoader::propagateWeights(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001370 bool Changed = true;
Diego Novillo38be3332015-10-15 16:36:21 +00001371 unsigned I = 0;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001372
Dehao Chenc0a1e432016-08-12 16:22:12 +00001373 // If BB weight is larger than its corresponding loop's header BB weight,
1374 // use the BB weight to replace the loop header BB weight.
1375 for (auto &BI : F) {
1376 BasicBlock *BB = &BI;
1377 Loop *L = LI->getLoopFor(BB);
1378 if (!L) {
1379 continue;
1380 }
1381 BasicBlock *Header = L->getHeader();
1382 if (Header && BlockWeights[BB] > BlockWeights[Header]) {
1383 BlockWeights[Header] = BlockWeights[BB];
1384 }
1385 }
Diego Novilloffc84e32015-05-13 17:04:29 +00001386
Diego Novillo0accb3d2014-01-10 23:23:46 +00001387 // Before propagation starts, build, for each block, a list of
1388 // unique predecessors and successors. This is necessary to handle
1389 // identical edges in multiway branches. Since we visit all blocks and all
1390 // edges of the CFG, it is cleaner to build these lists once at the start
1391 // of the pass.
1392 buildEdges(F);
1393
1394 // Propagate until we converge or we go past the iteration limit.
Diego Novillo38be3332015-10-15 16:36:21 +00001395 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
Dehao Chenc0a1e432016-08-12 16:22:12 +00001396 Changed = propagateThroughEdges(F, false);
1397 }
1398
1399 // The first propagation propagates BB counts from annotated BBs to unknown
1400 // BBs. The 2nd propagation pass resets edges weights, and use all BB weights
1401 // to propagate edge weights.
1402 VisitedEdges.clear();
1403 Changed = true;
1404 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
1405 Changed = propagateThroughEdges(F, false);
1406 }
1407
1408 // The 3rd propagation pass allows adjust annotated BB weights that are
1409 // obviously wrong.
1410 Changed = true;
1411 while (Changed && I++ < SampleProfileMaxPropagateIterations) {
1412 Changed = propagateThroughEdges(F, true);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001413 }
1414
1415 // Generate MD_prof metadata for every branch instruction using the
1416 // edge weights computed during propagation.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001417 LLVM_DEBUG(dbgs() << "\nPropagation complete. Setting branch weights\n");
Diego Novillo7963ea12015-10-26 18:52:53 +00001418 LLVMContext &Ctx = F.getContext();
1419 MDBuilder MDB(Ctx);
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001420 for (auto &BI : F) {
1421 BasicBlock *BB = &BI;
Dehao Chen9232f982016-07-11 16:48:54 +00001422
1423 if (BlockWeights[BB]) {
1424 for (auto &I : BB->getInstList()) {
Dehao Chen77079002017-01-20 22:56:07 +00001425 if (!isa<CallInst>(I) && !isa<InvokeInst>(I))
1426 continue;
1427 CallSite CS(&I);
1428 if (!CS.getCalledFunction()) {
1429 const DebugLoc &DLoc = I.getDebugLoc();
1430 if (!DLoc)
1431 continue;
1432 const DILocation *DIL = DLoc;
Mircea Trofin56950972018-02-22 06:42:57 +00001433 uint32_t LineOffset = FunctionSamples::getOffset(DIL);
Dehao Chen533bc6e2017-02-23 18:27:45 +00001434 uint32_t Discriminator = DIL->getBaseDiscriminator();
Dehao Chen77079002017-01-20 22:56:07 +00001435
1436 const FunctionSamples *FS = findFunctionSamples(I);
1437 if (!FS)
1438 continue;
1439 auto T = FS->findCallTargetMapAt(LineOffset, Discriminator);
Eugene Zelenkof27d1612017-10-19 21:21:30 +00001440 if (!T || T.get().empty())
Dehao Chen77079002017-01-20 22:56:07 +00001441 continue;
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001442 SmallVector<InstrProfValueData, 2> SortedCallTargets =
Wenlei He5adace32019-08-20 20:52:00 +00001443 GetSortedValueDataFromCallTargets(T.get());
Dehao Chen5d2a1a52017-11-06 19:52:49 +00001444 uint64_t Sum;
1445 findIndirectCallFunctionSamples(I, Sum);
Dehao Chen77079002017-01-20 22:56:07 +00001446 annotateValueSite(*I.getParent()->getParent()->getParent(), I,
1447 SortedCallTargets, Sum, IPVK_IndirectCallTarget,
1448 SortedCallTargets.size());
Fangrui Song2c5c12c2019-04-05 16:16:23 +00001449 } else if (!isa<IntrinsicInst>(&I)) {
Wei Mi4901f372019-02-05 00:57:50 +00001450 I.setMetadata(LLVMContext::MD_prof,
Richard Trieua9354b22019-02-05 02:26:03 +00001451 MDB.createBranchWeights(
1452 {static_cast<uint32_t>(BlockWeights[BB])}));
Dehao Chen9232f982016-07-11 16:48:54 +00001453 }
1454 }
1455 }
Chandler Carruthedb12a82018-10-15 10:04:59 +00001456 Instruction *TI = BB->getTerminator();
Diego Novillo0accb3d2014-01-10 23:23:46 +00001457 if (TI->getNumSuccessors() == 1)
1458 continue;
1459 if (!isa<BranchInst>(TI) && !isa<SwitchInst>(TI))
1460 continue;
1461
Andrea Di Biagio517e3fc2017-04-18 11:27:58 +00001462 DebugLoc BranchLoc = TI->getDebugLoc();
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001463 LLVM_DEBUG(dbgs() << "\nGetting weights for branch at line "
1464 << ((BranchLoc) ? Twine(BranchLoc.getLine())
1465 : Twine("<UNKNOWN LOCATION>"))
1466 << ".\n");
Diego Novillo38be3332015-10-15 16:36:21 +00001467 SmallVector<uint32_t, 4> Weights;
Diego Novillo7963ea12015-10-26 18:52:53 +00001468 uint32_t MaxWeight = 0;
Eli Friedman51cf2602017-08-11 21:12:04 +00001469 Instruction *MaxDestInst;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001470 for (unsigned I = 0; I < TI->getNumSuccessors(); ++I) {
1471 BasicBlock *Succ = TI->getSuccessor(I);
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001472 Edge E = std::make_pair(BB, Succ);
Diego Novillo38be3332015-10-15 16:36:21 +00001473 uint64_t Weight = EdgeWeights[E];
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001474 LLVM_DEBUG(dbgs() << "\t"; printEdgeWeight(dbgs(), E));
Diego Novillo38be3332015-10-15 16:36:21 +00001475 // Use uint32_t saturated arithmetic to adjust the incoming weights,
1476 // if needed. Sample counts in profiles are 64-bit unsigned values,
1477 // but internally branch weights are expressed as 32-bit values.
1478 if (Weight > std::numeric_limits<uint32_t>::max()) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001479 LLVM_DEBUG(dbgs() << " (saturated due to uint32_t overflow)");
Diego Novillo38be3332015-10-15 16:36:21 +00001480 Weight = std::numeric_limits<uint32_t>::max();
1481 }
Dehao Chenc0a1e432016-08-12 16:22:12 +00001482 // Weight is added by one to avoid propagation errors introduced by
1483 // 0 weights.
1484 Weights.push_back(static_cast<uint32_t>(Weight + 1));
Diego Novillo7963ea12015-10-26 18:52:53 +00001485 if (Weight != 0) {
1486 if (Weight > MaxWeight) {
1487 MaxWeight = Weight;
Eli Friedman51cf2602017-08-11 21:12:04 +00001488 MaxDestInst = Succ->getFirstNonPHIOrDbgOrLifetime();
Diego Novillo7963ea12015-10-26 18:52:53 +00001489 }
1490 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001491 }
1492
Petr Hosek7bdad082019-09-11 16:19:50 +00001493 misexpect::verifyMisExpect(TI, Weights, TI->getContext());
1494
Dehao Chen53a0c082017-03-23 14:43:10 +00001495 uint64_t TempWeight;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001496 // Only set weights if there is at least one non-zero weight.
1497 // In any other case, let the analyzer set weights.
Dehao Chen53a0c082017-03-23 14:43:10 +00001498 // Do not set weights if the weights are present. In ThinLTO, the profile
1499 // annotation is done twice. If the first annotation already set the
1500 // weights, the second pass does not need to set it.
1501 if (MaxWeight > 0 && !TI->extractProfTotalWeight(TempWeight)) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001502 LLVM_DEBUG(dbgs() << "SUCCESS. Found non-zero weights.\n");
Eugene Zelenkof27d1612017-10-19 21:21:30 +00001503 TI->setMetadata(LLVMContext::MD_prof,
Dehao Chen82667d02016-09-19 16:33:41 +00001504 MDB.createBranchWeights(Weights));
Vivek Pandya95906582017-10-11 17:12:59 +00001505 ORE->emit([&]() {
1506 return OptimizationRemark(DEBUG_TYPE, "PopularDest", MaxDestInst)
1507 << "most popular destination for conditional branches at "
1508 << ore::NV("CondBranchesLoc", BranchLoc);
1509 });
Dehao Chen82667d02016-09-19 16:33:41 +00001510 } else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001511 LLVM_DEBUG(dbgs() << "SKIPPED. All branch weights are zero.\n");
Dehao Chen82667d02016-09-19 16:33:41 +00001512 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001513 }
1514}
1515
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001516/// Get the line number for the function header.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001517///
1518/// This looks up function \p F in the current compilation unit and
1519/// retrieves the line number where the function is defined. This is
1520/// line 0 for all the samples read from the profile file. Every line
1521/// number is relative to this line.
1522///
1523/// \param F Function object to query.
1524///
Diego Novilloa32aa322014-03-14 21:58:59 +00001525/// \returns the line number where \p F is defined. If it returns 0,
1526/// it means that there is no debug information available for \p F.
Diego Novillode1ab262014-09-09 12:40:50 +00001527unsigned SampleProfileLoader::getFunctionLoc(Function &F) {
Pete Cooperadebb932016-03-11 02:14:16 +00001528 if (DISubprogram *S = F.getSubprogram())
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +00001529 return S->getLine();
Diego Novillo0accb3d2014-01-10 23:23:46 +00001530
Wei Mie5551272018-06-25 15:40:31 +00001531 if (NoWarnSampleUnused)
1532 return 0;
1533
Diego Novilloaa555072015-10-27 18:41:46 +00001534 // If the start of \p F is missing, emit a diagnostic to inform the user
Diego Novillo8027b802014-10-22 12:59:00 +00001535 // about the missed opportunity.
David Blaikie61079682014-03-16 01:36:18 +00001536 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Diego Novilloa67c0b42014-10-22 13:36:35 +00001537 "No debug information found in function " + F.getName() +
1538 ": Function profile not used",
1539 DS_Warning));
Diego Novilloa32aa322014-03-14 21:58:59 +00001540 return 0;
Diego Novillo0accb3d2014-01-10 23:23:46 +00001541}
1542
Diego Novillo7732ae42015-08-26 20:00:27 +00001543void SampleProfileLoader::computeDominanceAndLoopInfo(Function &F) {
1544 DT.reset(new DominatorTree);
1545 DT->recalculate(F);
1546
Jakub Kuderskief33edd2018-05-23 17:29:21 +00001547 PDT.reset(new PostDominatorTree(F));
Diego Novillo7732ae42015-08-26 20:00:27 +00001548
1549 LI.reset(new LoopInfo);
1550 LI->analyze(*DT);
1551}
1552
Adrian Prantl5f8f34e42018-05-01 15:54:18 +00001553/// Generate branch weight metadata for all branches in \p F.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001554///
1555/// Branch weights are computed out of instruction samples using a
1556/// propagation heuristic. Propagation proceeds in 3 phases:
1557///
1558/// 1- Assignment of block weights. All the basic blocks in the function
1559/// are initial assigned the same weight as their most frequently
1560/// executed instruction.
1561///
1562/// 2- Creation of equivalence classes. Since samples may be missing from
1563/// blocks, we can fill in the gaps by setting the weights of all the
1564/// blocks in the same equivalence class to the same weight. To compute
1565/// the concept of equivalence, we use dominance and loop information.
1566/// Two blocks B1 and B2 are in the same equivalence class if B1
1567/// dominates B2, B2 post-dominates B1 and both are in the same loop.
1568///
1569/// 3- Propagation of block weights into edges. This uses a simple
1570/// propagation heuristic. The following rules are applied to every
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001571/// block BB in the CFG:
Diego Novillo0accb3d2014-01-10 23:23:46 +00001572///
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001573/// - If BB has a single predecessor/successor, then the weight
Diego Novillo0accb3d2014-01-10 23:23:46 +00001574/// of that edge is the weight of the block.
1575///
1576/// - If all the edges are known except one, and the weight of the
1577/// block is already known, the weight of the unknown edge will
1578/// be the weight of the block minus the sum of all the known
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001579/// edges. If the sum of all the known edges is larger than BB's weight,
Diego Novillo0accb3d2014-01-10 23:23:46 +00001580/// we set the unknown edge weight to zero.
1581///
1582/// - If there is a self-referential edge, and the weight of the block is
1583/// known, the weight for that edge is set to the weight of the block
1584/// minus the weight of the other incoming edges to that block (if
1585/// known).
1586///
1587/// Since this propagation is not guaranteed to finalize for every CFG, we
1588/// only allow it to proceed for a limited number of iterations (controlled
1589/// by -sample-profile-max-propagate-iterations).
1590///
1591/// FIXME: Try to replace this propagation heuristic with a scheme
1592/// that is guaranteed to finalize. A work-list approach similar to
1593/// the standard value propagation algorithm used by SSA-CCP might
1594/// work here.
1595///
1596/// Once all the branch weights are computed, we emit the MD_prof
Diego Novillo19e7b7e2014-10-22 18:39:50 +00001597/// metadata on BB using the computed values for each of its branches.
Diego Novillo0accb3d2014-01-10 23:23:46 +00001598///
1599/// \param F The function to query.
Diego Novilloa32aa322014-03-14 21:58:59 +00001600///
1601/// \returns true if \p F was modified. Returns false, otherwise.
Diego Novillode1ab262014-09-09 12:40:50 +00001602bool SampleProfileLoader::emitAnnotations(Function &F) {
Diego Novillo0accb3d2014-01-10 23:23:46 +00001603 bool Changed = false;
1604
Dehao Chen41dc5a62015-10-09 16:50:16 +00001605 if (getFunctionLoc(F) == 0)
Diego Novilloa32aa322014-03-14 21:58:59 +00001606 return false;
1607
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001608 LLVM_DEBUG(dbgs() << "Line number for the first instruction in "
1609 << F.getName() << ": " << getFunctionLoc(F) << "\n");
Diego Novillo0accb3d2014-01-10 23:23:46 +00001610
Dehao Chenc6c051f2017-11-01 20:26:47 +00001611 DenseSet<GlobalValue::GUID> InlinedGUIDs;
1612 Changed |= inlineHotFunctions(F, InlinedGUIDs);
Dehao Chen67226882015-09-30 00:42:46 +00001613
Diego Novillo0accb3d2014-01-10 23:23:46 +00001614 // Compute basic block weights.
1615 Changed |= computeBlockWeights(F);
1616
1617 if (Changed) {
Dehao Chena60cdd32017-02-28 18:09:44 +00001618 // Add an entry count to the function using the samples gathered at the
Dehao Chenc6c051f2017-11-01 20:26:47 +00001619 // function entry.
1620 // Sets the GUIDs that are inlined in the profiled binary. This is used
1621 // for ThinLink to make correct liveness analysis, and also make the IR
1622 // match the profiled binary before annotation.
Easwaran Ramane5b8de22018-01-17 22:24:23 +00001623 F.setEntryCount(
1624 ProfileCount(Samples->getHeadSamples() + 1, Function::PCT_Real),
1625 &InlinedGUIDs);
Dehao Chena60cdd32017-02-28 18:09:44 +00001626
Diego Novillo7732ae42015-08-26 20:00:27 +00001627 // Compute dominance and loop info needed for propagation.
1628 computeDominanceAndLoopInfo(F);
1629
Diego Novillo0accb3d2014-01-10 23:23:46 +00001630 // Find equivalence classes.
1631 findEquivalenceClasses(F);
1632
1633 // Propagate weights to all edges.
1634 propagateWeights(F);
1635 }
1636
Diego Novillof9ed08e2015-10-31 21:53:58 +00001637 // If coverage checking was requested, compute it now.
Diego Novillo243ea6a2015-11-23 20:12:21 +00001638 if (SampleProfileRecordCoverage) {
Wei Mi0c2f6be2018-05-10 23:02:27 +00001639 unsigned Used = CoverageTracker.countUsedRecords(Samples, PSI);
1640 unsigned Total = CoverageTracker.countBodyRecords(Samples, PSI);
Diego Novillof9ed08e2015-10-31 21:53:58 +00001641 unsigned Coverage = CoverageTracker.computeCoverage(Used, Total);
Diego Novillo243ea6a2015-11-23 20:12:21 +00001642 if (Coverage < SampleProfileRecordCoverage) {
Diego Novillof9ed08e2015-10-31 21:53:58 +00001643 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Pete Cooperadebb932016-03-11 02:14:16 +00001644 F.getSubprogram()->getFilename(), getFunctionLoc(F),
Diego Novillof9ed08e2015-10-31 21:53:58 +00001645 Twine(Used) + " of " + Twine(Total) + " available profile records (" +
1646 Twine(Coverage) + "%) were applied",
1647 DS_Warning));
1648 }
1649 }
1650
Diego Novillo243ea6a2015-11-23 20:12:21 +00001651 if (SampleProfileSampleCoverage) {
1652 uint64_t Used = CoverageTracker.getTotalUsedSamples();
Wei Mi0c2f6be2018-05-10 23:02:27 +00001653 uint64_t Total = CoverageTracker.countBodySamples(Samples, PSI);
Diego Novillo243ea6a2015-11-23 20:12:21 +00001654 unsigned Coverage = CoverageTracker.computeCoverage(Used, Total);
1655 if (Coverage < SampleProfileSampleCoverage) {
1656 F.getContext().diagnose(DiagnosticInfoSampleProfile(
Pete Cooperadebb932016-03-11 02:14:16 +00001657 F.getSubprogram()->getFilename(), getFunctionLoc(F),
Diego Novillo243ea6a2015-11-23 20:12:21 +00001658 Twine(Used) + " of " + Twine(Total) + " available profile samples (" +
1659 Twine(Coverage) + "%) were applied",
1660 DS_Warning));
1661 }
1662 }
Diego Novillo0accb3d2014-01-10 23:23:46 +00001663 return Changed;
1664}
1665
Xinliang David Lie897edb2016-05-27 22:30:44 +00001666char SampleProfileLoaderLegacyPass::ID = 0;
Eugene Zelenkof27d1612017-10-19 21:21:30 +00001667
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001668INITIALIZE_PASS_BEGIN(SampleProfileLoaderLegacyPass, "sample-profile",
1669 "Sample Profile loader", false, false)
1670INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
Dehao Chen3a81f842017-09-14 17:29:56 +00001671INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
Wei Mi0c2f6be2018-05-10 23:02:27 +00001672INITIALIZE_PASS_DEPENDENCY(ProfileSummaryInfoWrapperPass)
Daniel Jasperaec2fa32016-12-19 08:22:17 +00001673INITIALIZE_PASS_END(SampleProfileLoaderLegacyPass, "sample-profile",
1674 "Sample Profile loader", false, false)
Diego Novilloc0dd1032013-11-26 20:37:33 +00001675
1676bool SampleProfileLoader::doInitialization(Module &M) {
Diego Novillo7732ae42015-08-26 20:00:27 +00001677 auto &Ctx = M.getContext();
Diego Novillo4d711132015-08-25 15:25:11 +00001678 auto ReaderOrErr = SampleProfileReader::create(Filename, Ctx);
Diego Novillofcd55602014-11-03 00:51:45 +00001679 if (std::error_code EC = ReaderOrErr.getError()) {
Diego Novilloc572e922014-10-30 18:00:06 +00001680 std::string Msg = "Could not open profile: " + EC.message();
David Blaikie2297a912015-11-02 20:01:13 +00001681 Ctx.diagnose(DiagnosticInfoSampleProfile(Filename, Msg));
Diego Novilloc572e922014-10-30 18:00:06 +00001682 return false;
1683 }
Diego Novillofcd55602014-11-03 00:51:45 +00001684 Reader = std::move(ReaderOrErr.get());
Wei Mi09dcfe62019-10-09 21:36:03 +00001685 Reader->collectFuncsFrom(M);
Diego Novilloc572e922014-10-30 18:00:06 +00001686 ProfileIsValid = (Reader->read() == sampleprof_error::success);
Wei Mi798e59b2019-08-31 02:27:26 +00001687 PSL = Reader->getProfileSymbolList();
Richard Smith6c676622018-10-10 23:13:47 +00001688
Wei Mif0c4e702019-09-27 22:33:59 +00001689 // While profile-sample-accurate is on, ignore symbol list.
1690 ProfAccForSymsInList =
1691 ProfileAccurateForSymsInList && PSL && !ProfileSampleAccurate;
1692 if (ProfAccForSymsInList) {
Wei Mi5f7e8222019-09-18 16:06:28 +00001693 NamesInProfile.clear();
1694 if (auto NameTable = Reader->getNameTable())
1695 NamesInProfile.insert(NameTable->begin(), NameTable->end());
1696 }
1697
Richard Smith6c676622018-10-10 23:13:47 +00001698 if (!RemappingFilename.empty()) {
1699 // Apply profile remappings to the loaded profile data if requested.
1700 // For now, we only support remapping symbols encoded using the Itanium
1701 // C++ ABI's name mangling scheme.
1702 ReaderOrErr = SampleProfileReaderItaniumRemapper::create(
1703 RemappingFilename, Ctx, std::move(Reader));
1704 if (std::error_code EC = ReaderOrErr.getError()) {
1705 std::string Msg = "Could not open profile remapping file: " + EC.message();
1706 Ctx.diagnose(DiagnosticInfoSampleProfile(Filename, Msg));
1707 return false;
1708 }
1709 Reader = std::move(ReaderOrErr.get());
1710 ProfileIsValid = (Reader->read() == sampleprof_error::success);
1711 }
Diego Novilloc0dd1032013-11-26 20:37:33 +00001712 return true;
1713}
1714
Diego Novillo4d711132015-08-25 15:25:11 +00001715ModulePass *llvm::createSampleProfileLoaderPass() {
Richard Smith6c676622018-10-10 23:13:47 +00001716 return new SampleProfileLoaderLegacyPass();
Diego Novilloc0dd1032013-11-26 20:37:33 +00001717}
1718
Diego Novillo4d711132015-08-25 15:25:11 +00001719ModulePass *llvm::createSampleProfileLoaderPass(StringRef Name) {
Xinliang David Lie897edb2016-05-27 22:30:44 +00001720 return new SampleProfileLoaderLegacyPass(Name);
Diego Novilloc0dd1032013-11-26 20:37:33 +00001721}
1722
Wei Mi0c2f6be2018-05-10 23:02:27 +00001723bool SampleProfileLoader::runOnModule(Module &M, ModuleAnalysisManager *AM,
1724 ProfileSummaryInfo *_PSI) {
Wenlei He4b99b582019-08-12 17:45:14 +00001725 GUIDToFuncNameMapper Mapper(M, *Reader, GUIDToFuncNameMap);
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001726 if (!ProfileIsValid)
1727 return false;
1728
Wei Mi0c2f6be2018-05-10 23:02:27 +00001729 PSI = _PSI;
Rong Xua6ff69f2019-02-28 19:55:07 +00001730 if (M.getProfileSummary(/* IsCS */ false) == nullptr)
1731 M.setProfileSummary(Reader->getSummary().getMD(M.getContext()),
1732 ProfileSummary::PSK_Sample);
Wei Mi0c2f6be2018-05-10 23:02:27 +00001733
Diego Novillo84f06cc2015-11-27 23:14:51 +00001734 // Compute the total number of samples collected in this profile.
1735 for (const auto &I : Reader->getProfiles())
1736 TotalCollectedSamples += I.second.getTotalSamples();
1737
Dehao Chen1ea8bd82017-04-17 22:23:05 +00001738 // Populate the symbol map.
1739 for (const auto &N_F : M.getValueSymbolTable()) {
Benjamin Kramer24cb28b2017-12-28 18:10:41 +00001740 StringRef OrigName = N_F.getKey();
Dehao Chen1ea8bd82017-04-17 22:23:05 +00001741 Function *F = dyn_cast<Function>(N_F.getValue());
1742 if (F == nullptr)
1743 continue;
1744 SymbolMap[OrigName] = F;
1745 auto pos = OrigName.find('.');
Benjamin Kramer24cb28b2017-12-28 18:10:41 +00001746 if (pos != StringRef::npos) {
1747 StringRef NewName = OrigName.substr(0, pos);
Dehao Chen1ea8bd82017-04-17 22:23:05 +00001748 auto r = SymbolMap.insert(std::make_pair(NewName, F));
1749 // Failiing to insert means there is already an entry in SymbolMap,
1750 // thus there are multiple functions that are mapped to the same
1751 // stripped name. In this case of name conflicting, set the value
1752 // to nullptr to avoid confusion.
1753 if (!r.second)
1754 r.first->second = nullptr;
1755 }
1756 }
1757
Diego Novillo4d711132015-08-25 15:25:11 +00001758 bool retval = false;
1759 for (auto &F : M)
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001760 if (!F.isDeclaration()) {
1761 clearFunctionData();
Eli Friedman51cf2602017-08-11 21:12:04 +00001762 retval |= runOnFunction(F, AM);
Diego Novilloa8a3bd22015-10-28 17:40:22 +00001763 }
David Callahand2eeb252019-01-24 00:55:23 +00001764
1765 // Account for cold calls not inlined....
1766 for (const std::pair<Function *, NotInlinedProfileInfo> &pair :
1767 notInlinedCallInfo)
1768 updateProfileCallee(pair.first, pair.second.entryCount);
1769
Diego Novillo4d711132015-08-25 15:25:11 +00001770 return retval;
1771}
1772
Xinliang David Lie897edb2016-05-27 22:30:44 +00001773bool SampleProfileLoaderLegacyPass::runOnModule(Module &M) {
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001774 ACT = &getAnalysis<AssumptionCacheTracker>();
Dehao Chen3a81f842017-09-14 17:29:56 +00001775 TTIWP = &getAnalysis<TargetTransformInfoWrapperPass>();
Wei Mi0c2f6be2018-05-10 23:02:27 +00001776 ProfileSummaryInfo *PSI =
Vedant Kumare7b789b2018-11-19 05:23:16 +00001777 &getAnalysis<ProfileSummaryInfoWrapperPass>().getPSI();
Wei Mi0c2f6be2018-05-10 23:02:27 +00001778 return SampleLoader.runOnModule(M, nullptr, PSI);
Xinliang David Lie897edb2016-05-27 22:30:44 +00001779}
1780
Eli Friedman51cf2602017-08-11 21:12:04 +00001781bool SampleProfileLoader::runOnFunction(Function &F, ModuleAnalysisManager *AM) {
Wenlei He5adace32019-08-20 20:52:00 +00001782
David Callahandee00122019-01-15 17:45:54 +00001783 DILocation2SampleMap.clear();
Wei Mi66c6c5a2018-12-13 21:51:42 +00001784 // By default the entry count is initialized to -1, which will be treated
1785 // conservatively by getEntryCount as the same as unknown (None). This is
1786 // to avoid newly added code to be treated as cold. If we have samples
1787 // this will be overwritten in emitAnnotations.
Wei Mi5f7e8222019-09-18 16:06:28 +00001788 uint64_t initialEntryCount = -1;
1789
Wei Mif0c4e702019-09-27 22:33:59 +00001790 ProfAccForSymsInList = ProfileAccurateForSymsInList && PSL;
1791 if (ProfileSampleAccurate || F.hasFnAttribute("profile-sample-accurate")) {
1792 // initialize all the function entry counts to 0. It means all the
1793 // functions without profile will be regarded as cold.
1794 initialEntryCount = 0;
1795 // profile-sample-accurate is a user assertion which has a higher precedence
1796 // than symbol list. When profile-sample-accurate is on, ignore symbol list.
1797 ProfAccForSymsInList = false;
1798 }
Wei Mi5f7e8222019-09-18 16:06:28 +00001799
Wei Mif0c4e702019-09-27 22:33:59 +00001800 // PSL -- profile symbol list include all the symbols in sampled binary.
1801 // If ProfileAccurateForSymsInList is enabled, PSL is used to treat
1802 // old functions without samples being cold, without having to worry
1803 // about new and hot functions being mistakenly treated as cold.
1804 if (ProfAccForSymsInList) {
1805 // Initialize the entry count to 0 for functions in the list.
1806 if (PSL->contains(F.getName()))
Wei Mi22fd8852019-09-23 22:11:35 +00001807 initialEntryCount = 0;
Wei Mif0c4e702019-09-27 22:33:59 +00001808
1809 // Function in the symbol list but without sample will be regarded as
1810 // cold. To minimize the potential negative performance impact it could
1811 // have, we want to be a little conservative here saying if a function
1812 // shows up in the profile, no matter as outline function, inline instance
1813 // or call targets, treat the function as not being cold. This will handle
1814 // the cases such as most callsites of a function are inlined in sampled
1815 // binary but not inlined in current build (because of source code drift,
1816 // imprecise debug information, or the callsites are all cold individually
1817 // but not cold accumulatively...), so the outline function showing up as
1818 // cold in sampled binary will actually not be cold after current build.
1819 StringRef CanonName = FunctionSamples::getCanonicalFnName(F);
1820 if (NamesInProfile.count(CanonName))
1821 initialEntryCount = -1;
Wei Mi5f7e8222019-09-18 16:06:28 +00001822 }
1823
Wei Mi66c6c5a2018-12-13 21:51:42 +00001824 F.setEntryCount(ProfileCount(initialEntryCount, Function::PCT_Real));
Eli Friedman51cf2602017-08-11 21:12:04 +00001825 std::unique_ptr<OptimizationRemarkEmitter> OwnedORE;
1826 if (AM) {
1827 auto &FAM =
1828 AM->getResult<FunctionAnalysisManagerModuleProxy>(*F.getParent())
1829 .getManager();
1830 ORE = &FAM.getResult<OptimizationRemarkEmitterAnalysis>(F);
1831 } else {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +00001832 OwnedORE = std::make_unique<OptimizationRemarkEmitter>(&F);
Eli Friedman51cf2602017-08-11 21:12:04 +00001833 ORE = OwnedORE.get();
1834 }
Diego Novillode1ab262014-09-09 12:40:50 +00001835 Samples = Reader->getSamplesFor(F);
Dehao Chen4a435e02017-03-14 17:33:01 +00001836 if (Samples && !Samples->empty())
Diego Novillode1ab262014-09-09 12:40:50 +00001837 return emitAnnotations(F);
Diego Novillo0accb3d2014-01-10 23:23:46 +00001838 return false;
Diego Novillo8d6568b2013-11-13 12:22:21 +00001839}
Xinliang David Lid38392e2016-05-27 23:20:16 +00001840
1841PreservedAnalyses SampleProfileLoaderPass::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +00001842 ModuleAnalysisManager &AM) {
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001843 FunctionAnalysisManager &FAM =
1844 AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
Xinliang David Lid38392e2016-05-27 23:20:16 +00001845
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001846 auto GetAssumptionCache = [&](Function &F) -> AssumptionCache & {
1847 return FAM.getResult<AssumptionAnalysis>(F);
1848 };
Dehao Chen3a81f842017-09-14 17:29:56 +00001849 auto GetTTI = [&](Function &F) -> TargetTransformInfo & {
1850 return FAM.getResult<TargetIRAnalysis>(F);
1851 };
Dehao Chenf3ed14d2017-09-12 21:55:55 +00001852
Dehao Chend26dae02017-10-01 05:24:51 +00001853 SampleProfileLoader SampleLoader(
1854 ProfileFileName.empty() ? SampleProfileFile : ProfileFileName,
Richard Smith6c676622018-10-10 23:13:47 +00001855 ProfileRemappingFileName.empty() ? SampleProfileRemappingFile
1856 : ProfileRemappingFileName,
Dehao Chend26dae02017-10-01 05:24:51 +00001857 IsThinLTOPreLink, GetAssumptionCache, GetTTI);
Xinliang David Lid38392e2016-05-27 23:20:16 +00001858
1859 SampleLoader.doInitialization(M);
1860
Wei Mi0c2f6be2018-05-10 23:02:27 +00001861 ProfileSummaryInfo *PSI = &AM.getResult<ProfileSummaryAnalysis>(M);
1862 if (!SampleLoader.runOnModule(M, &AM, PSI))
Xinliang David Lid38392e2016-05-27 23:20:16 +00001863 return PreservedAnalyses::all();
1864
1865 return PreservedAnalyses::none();
1866}