blob: 8608029512235394ae881d4c329b2a01a93c5982 [file] [log] [blame]
Eugene Zelenkofce43572017-10-21 00:57:46 +00001//===- PGOInstrumentation.cpp - MST-based PGO Instrumentation -------------===//
Rong Xuf430ae42015-12-09 18:08:16 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements PGO instrumentation using a minimum spanning tree based
11// on the following paper:
12// [1] Donald E. Knuth, Francis R. Stevenson. Optimal measurement of points
13// for program frequency counts. BIT Numerical Mathematics 1973, Volume 13,
14// Issue 3, pp 313-322
15// The idea of the algorithm based on the fact that for each node (except for
16// the entry and exit), the sum of incoming edge counts equals the sum of
17// outgoing edge counts. The count of edge on spanning tree can be derived from
18// those edges not on the spanning tree. Knuth proves this method instruments
19// the minimum number of edges.
20//
21// The minimal spanning tree here is actually a maximum weight tree -- on-tree
22// edges have higher frequencies (more likely to execute). The idea is to
23// instrument those less frequently executed edges to reduce the runtime
24// overhead of instrumented binaries.
25//
26// This file contains two passes:
27// (1) Pass PGOInstrumentationGen which instruments the IR to generate edge
Rong Xu13b01dc2016-02-10 18:24:45 +000028// count profile, and generates the instrumentation for indirect call
29// profiling.
Rong Xuf430ae42015-12-09 18:08:16 +000030// (2) Pass PGOInstrumentationUse which reads the edge count profile and
Rong Xu13b01dc2016-02-10 18:24:45 +000031// annotates the branch weights. It also reads the indirect call value
32// profiling records and annotate the indirect call instructions.
33//
Rong Xuf430ae42015-12-09 18:08:16 +000034// To get the precise counter information, These two passes need to invoke at
35// the same compilation point (so they see the same IR). For pass
36// PGOInstrumentationGen, the real work is done in instrumentOneFunc(). For
37// pass PGOInstrumentationUse, the real work in done in class PGOUseFunc and
38// the profile is opened in module level and passed to each PGOUseFunc instance.
39// The shared code for PGOInstrumentationGen and PGOInstrumentationUse is put
40// in class FuncPGOInstrumentation.
41//
42// Class PGOEdge represents a CFG edge and some auxiliary information. Class
43// BBInfo contains auxiliary information for each BB. These two classes are used
44// in pass PGOInstrumentationGen. Class PGOUseEdge and UseBBInfo are the derived
45// class of PGOEdge and BBInfo, respectively. They contains extra data structure
46// used in populating profile counters.
47// The MST implementation is in Class CFGMST (CFGMST.h).
48//
49//===----------------------------------------------------------------------===//
50
Xinliang David Li8aebf442016-05-06 05:49:19 +000051#include "llvm/Transforms/PGOInstrumentation.h"
Rong Xuf430ae42015-12-09 18:08:16 +000052#include "CFGMST.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000053#include "llvm/ADT/APInt.h"
54#include "llvm/ADT/ArrayRef.h"
Rong Xuf430ae42015-12-09 18:08:16 +000055#include "llvm/ADT/STLExtras.h"
Rong Xu705f7772016-07-25 18:45:37 +000056#include "llvm/ADT/SmallVector.h"
Rong Xuf430ae42015-12-09 18:08:16 +000057#include "llvm/ADT/Statistic.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000058#include "llvm/ADT/StringRef.h"
Rong Xu33c76c02016-02-10 17:18:30 +000059#include "llvm/ADT/Triple.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000060#include "llvm/ADT/Twine.h"
61#include "llvm/ADT/iterator.h"
62#include "llvm/ADT/iterator_range.h"
Rong Xuf430ae42015-12-09 18:08:16 +000063#include "llvm/Analysis/BlockFrequencyInfo.h"
64#include "llvm/Analysis/BranchProbabilityInfo.h"
65#include "llvm/Analysis/CFG.h"
Teresa Johnson1e44b5d2016-07-12 21:13:44 +000066#include "llvm/Analysis/IndirectCallSiteVisitor.h"
Xinliang David Licb253ce2017-01-23 18:58:24 +000067#include "llvm/Analysis/LoopInfo.h"
Adam Nemet0965da22017-10-09 23:19:02 +000068#include "llvm/Analysis/OptimizationRemarkEmitter.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000069#include "llvm/IR/Attributes.h"
70#include "llvm/IR/BasicBlock.h"
71#include "llvm/IR/CFG.h"
Rong Xued9fec72016-01-21 18:11:44 +000072#include "llvm/IR/CallSite.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000073#include "llvm/IR/Comdat.h"
74#include "llvm/IR/Constant.h"
75#include "llvm/IR/Constants.h"
Rong Xuf430ae42015-12-09 18:08:16 +000076#include "llvm/IR/DiagnosticInfo.h"
Xinliang David Lid289e452017-01-27 19:06:25 +000077#include "llvm/IR/Dominators.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000078#include "llvm/IR/Function.h"
79#include "llvm/IR/GlobalAlias.h"
Rong Xu705f7772016-07-25 18:45:37 +000080#include "llvm/IR/GlobalValue.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000081#include "llvm/IR/GlobalVariable.h"
Rong Xuf430ae42015-12-09 18:08:16 +000082#include "llvm/IR/IRBuilder.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000083#include "llvm/IR/InstVisitor.h"
84#include "llvm/IR/InstrTypes.h"
85#include "llvm/IR/Instruction.h"
Rong Xuf430ae42015-12-09 18:08:16 +000086#include "llvm/IR/Instructions.h"
87#include "llvm/IR/IntrinsicInst.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000088#include "llvm/IR/Intrinsics.h"
89#include "llvm/IR/LLVMContext.h"
Rong Xuf430ae42015-12-09 18:08:16 +000090#include "llvm/IR/MDBuilder.h"
91#include "llvm/IR/Module.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000092#include "llvm/IR/PassManager.h"
93#include "llvm/IR/ProfileSummary.h"
94#include "llvm/IR/Type.h"
95#include "llvm/IR/Value.h"
Rong Xuf430ae42015-12-09 18:08:16 +000096#include "llvm/Pass.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +000097#include "llvm/ProfileData/InstrProf.h"
Rong Xuf430ae42015-12-09 18:08:16 +000098#include "llvm/ProfileData/InstrProfReader.h"
99#include "llvm/Support/BranchProbability.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +0000100#include "llvm/Support/Casting.h"
101#include "llvm/Support/CommandLine.h"
Xinliang David Lid289e452017-01-27 19:06:25 +0000102#include "llvm/Support/DOTGraphTraits.h"
Rong Xuf430ae42015-12-09 18:08:16 +0000103#include "llvm/Support/Debug.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +0000104#include "llvm/Support/Error.h"
105#include "llvm/Support/ErrorHandling.h"
Xinliang David Lid289e452017-01-27 19:06:25 +0000106#include "llvm/Support/GraphWriter.h"
Rong Xuf430ae42015-12-09 18:08:16 +0000107#include "llvm/Support/JamCRC.h"
Eugene Zelenkofce43572017-10-21 00:57:46 +0000108#include "llvm/Support/raw_ostream.h"
Rong Xued9fec72016-01-21 18:11:44 +0000109#include "llvm/Transforms/Instrumentation.h"
Rong Xuf430ae42015-12-09 18:08:16 +0000110#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Xinliang David Li8aebf442016-05-06 05:49:19 +0000111#include <algorithm>
Eugene Zelenkofce43572017-10-21 00:57:46 +0000112#include <cassert>
113#include <cstdint>
114#include <memory>
115#include <numeric>
Rong Xuf430ae42015-12-09 18:08:16 +0000116#include <string>
Rong Xu705f7772016-07-25 18:45:37 +0000117#include <unordered_map>
Rong Xuf430ae42015-12-09 18:08:16 +0000118#include <utility>
119#include <vector>
120
121using namespace llvm;
122
123#define DEBUG_TYPE "pgo-instrumentation"
124
125STATISTIC(NumOfPGOInstrument, "Number of edges instrumented.");
Xinliang David Li4ca17332016-09-18 18:34:07 +0000126STATISTIC(NumOfPGOSelectInsts, "Number of select instruction instrumented.");
Rong Xu60faea12017-03-16 21:15:48 +0000127STATISTIC(NumOfPGOMemIntrinsics, "Number of mem intrinsics instrumented.");
Rong Xuf430ae42015-12-09 18:08:16 +0000128STATISTIC(NumOfPGOEdge, "Number of edges.");
129STATISTIC(NumOfPGOBB, "Number of basic-blocks.");
130STATISTIC(NumOfPGOSplit, "Number of critical edge splits.");
131STATISTIC(NumOfPGOFunc, "Number of functions having valid profile counts.");
132STATISTIC(NumOfPGOMismatch, "Number of functions having mismatch profile.");
133STATISTIC(NumOfPGOMissing, "Number of functions without profile.");
Rong Xu13b01dc2016-02-10 18:24:45 +0000134STATISTIC(NumOfPGOICall, "Number of indirect call value instrumentations.");
Rong Xuf430ae42015-12-09 18:08:16 +0000135
136// Command line option to specify the file to read profile from. This is
137// mainly used for testing.
138static cl::opt<std::string>
139 PGOTestProfileFile("pgo-test-profile-file", cl::init(""), cl::Hidden,
140 cl::value_desc("filename"),
141 cl::desc("Specify the path of profile data file. This is"
142 "mainly for test purpose."));
143
Rong Xuecdc98f2016-03-04 22:08:44 +0000144// Command line option to disable value profiling. The default is false:
Rong Xu13b01dc2016-02-10 18:24:45 +0000145// i.e. value profiling is enabled by default. This is for debug purpose.
Rong Xu9e926e82016-02-29 19:16:04 +0000146static cl::opt<bool> DisableValueProfiling("disable-vp", cl::init(false),
147 cl::Hidden,
148 cl::desc("Disable Value Profiling"));
Rong Xued9fec72016-01-21 18:11:44 +0000149
Rong Xuecdc98f2016-03-04 22:08:44 +0000150// Command line option to set the maximum number of VP annotations to write to
Rong Xu08afb052016-04-28 17:31:22 +0000151// the metadata for a single indirect call callsite.
152static cl::opt<unsigned> MaxNumAnnotations(
153 "icp-max-annotations", cl::init(3), cl::Hidden, cl::ZeroOrMore,
154 cl::desc("Max number of annotations for a single indirect "
155 "call callsite"));
Rong Xuecdc98f2016-03-04 22:08:44 +0000156
Rong Xue60343d2017-03-17 18:07:26 +0000157// Command line option to set the maximum number of value annotations
158// to write to the metadata for a single memop intrinsic.
159static cl::opt<unsigned> MaxNumMemOPAnnotations(
160 "memop-max-annotations", cl::init(4), cl::Hidden, cl::ZeroOrMore,
161 cl::desc("Max number of preicise value annotations for a single memop"
162 "intrinsic"));
163
Rong Xu705f7772016-07-25 18:45:37 +0000164// Command line option to control appending FunctionHash to the name of a COMDAT
165// function. This is to avoid the hash mismatch caused by the preinliner.
166static cl::opt<bool> DoComdatRenaming(
Rong Xu20f5df12017-01-11 20:19:41 +0000167 "do-comdat-renaming", cl::init(false), cl::Hidden,
Rong Xu705f7772016-07-25 18:45:37 +0000168 cl::desc("Append function hash to the name of COMDAT function to avoid "
169 "function hash mismatch due to the preinliner"));
170
Rong Xu0698de92016-05-13 17:26:06 +0000171// Command line option to enable/disable the warning about missing profile
172// information.
Xinliang David Li58fcc9b2017-02-02 21:29:17 +0000173static cl::opt<bool>
174 PGOWarnMissing("pgo-warn-missing-function", cl::init(false), cl::Hidden,
175 cl::desc("Use this option to turn on/off "
176 "warnings about missing profile data for "
177 "functions."));
Rong Xu0698de92016-05-13 17:26:06 +0000178
179// Command line option to enable/disable the warning about a hash mismatch in
180// the profile data.
Xinliang David Li58fcc9b2017-02-02 21:29:17 +0000181static cl::opt<bool>
182 NoPGOWarnMismatch("no-pgo-warn-mismatch", cl::init(false), cl::Hidden,
183 cl::desc("Use this option to turn off/on "
184 "warnings about profile cfg mismatch."));
Rong Xu0698de92016-05-13 17:26:06 +0000185
Rong Xu20f5df12017-01-11 20:19:41 +0000186// Command line option to enable/disable the warning about a hash mismatch in
187// the profile data for Comdat functions, which often turns out to be false
188// positive due to the pre-instrumentation inline.
Xinliang David Li58fcc9b2017-02-02 21:29:17 +0000189static cl::opt<bool>
190 NoPGOWarnMismatchComdat("no-pgo-warn-mismatch-comdat", cl::init(true),
191 cl::Hidden,
192 cl::desc("The option is used to turn on/off "
193 "warnings about hash mismatch for comdat "
194 "functions."));
Rong Xu20f5df12017-01-11 20:19:41 +0000195
Xinliang David Li4ca17332016-09-18 18:34:07 +0000196// Command line option to enable/disable select instruction instrumentation.
Xinliang David Li58fcc9b2017-02-02 21:29:17 +0000197static cl::opt<bool>
198 PGOInstrSelect("pgo-instr-select", cl::init(true), cl::Hidden,
199 cl::desc("Use this option to turn on/off SELECT "
200 "instruction instrumentation. "));
Xinliang David Licb253ce2017-01-23 18:58:24 +0000201
Hiroshi Yamauchia43913c2017-09-13 17:20:38 +0000202// Command line option to turn on CFG dot or text dump of raw profile counts
203static cl::opt<PGOViewCountsType> PGOViewRawCounts(
204 "pgo-view-raw-counts", cl::Hidden,
205 cl::desc("A boolean option to show CFG dag or text "
206 "with raw profile counts from "
207 "profile data. See also option "
208 "-pgo-view-counts. To limit graph "
209 "display to only one function, use "
210 "filtering option -view-bfi-func-name."),
211 cl::values(clEnumValN(PGOVCT_None, "none", "do not show."),
212 clEnumValN(PGOVCT_Graph, "graph", "show a graph."),
213 clEnumValN(PGOVCT_Text, "text", "show in text.")));
Xinliang David Lid289e452017-01-27 19:06:25 +0000214
Rong Xu8e06e802017-03-17 20:51:44 +0000215// Command line option to enable/disable memop intrinsic call.size profiling.
216static cl::opt<bool>
217 PGOInstrMemOP("pgo-instr-memop", cl::init(true), cl::Hidden,
218 cl::desc("Use this option to turn on/off "
Teresa Johnsoncd2aa0d2017-05-24 17:55:25 +0000219 "memory intrinsic size profiling."));
Rong Xu60faea12017-03-16 21:15:48 +0000220
Xinliang David Li0a0acbc2017-06-01 18:58:50 +0000221// Emit branch probability as optimization remarks.
222static cl::opt<bool>
223 EmitBranchProbability("pgo-emit-branch-prob", cl::init(false), cl::Hidden,
224 cl::desc("When this option is on, the annotated "
225 "branch probability will be emitted as "
226 " optimization remarks: -Rpass-analysis="
227 "pgo-instr-use"));
228
Xinliang David Licb253ce2017-01-23 18:58:24 +0000229// Command line option to turn on CFG dot dump after profile annotation.
Xinliang David Li58fcc9b2017-02-02 21:29:17 +0000230// Defined in Analysis/BlockFrequencyInfo.cpp: -pgo-view-counts
Hiroshi Yamauchia43913c2017-09-13 17:20:38 +0000231extern cl::opt<PGOViewCountsType> PGOViewCounts;
Xinliang David Licb253ce2017-01-23 18:58:24 +0000232
Xinliang David Li58fcc9b2017-02-02 21:29:17 +0000233// Command line option to specify the name of the function for CFG dump
234// Defined in Analysis/BlockFrequencyInfo.cpp: -view-bfi-func-name=
235extern cl::opt<std::string> ViewBlockFreqFuncName;
236
Xinliang David Li0a0acbc2017-06-01 18:58:50 +0000237// Return a string describing the branch condition that can be
238// used in static branch probability heuristics:
Eugene Zelenkofce43572017-10-21 00:57:46 +0000239static std::string getBranchCondString(Instruction *TI) {
Xinliang David Li0a0acbc2017-06-01 18:58:50 +0000240 BranchInst *BI = dyn_cast<BranchInst>(TI);
241 if (!BI || !BI->isConditional())
242 return std::string();
243
244 Value *Cond = BI->getCondition();
245 ICmpInst *CI = dyn_cast<ICmpInst>(Cond);
246 if (!CI)
247 return std::string();
248
249 std::string result;
250 raw_string_ostream OS(result);
251 OS << CmpInst::getPredicateName(CI->getPredicate()) << "_";
252 CI->getOperand(0)->getType()->print(OS, true);
253
254 Value *RHS = CI->getOperand(1);
255 ConstantInt *CV = dyn_cast<ConstantInt>(RHS);
256 if (CV) {
257 if (CV->isZero())
258 OS << "_Zero";
259 else if (CV->isOne())
260 OS << "_One";
Craig Topper79ab6432017-07-06 18:39:47 +0000261 else if (CV->isMinusOne())
Xinliang David Li0a0acbc2017-06-01 18:58:50 +0000262 OS << "_MinusOne";
263 else
264 OS << "_Const";
265 }
266 OS.flush();
267 return result;
268}
269
Eugene Zelenkofce43572017-10-21 00:57:46 +0000270namespace {
271
Xinliang David Li4ca17332016-09-18 18:34:07 +0000272/// The select instruction visitor plays three roles specified
273/// by the mode. In \c VM_counting mode, it simply counts the number of
274/// select instructions. In \c VM_instrument mode, it inserts code to count
275/// the number times TrueValue of select is taken. In \c VM_annotate mode,
276/// it reads the profile data and annotate the select instruction with metadata.
277enum VisitMode { VM_counting, VM_instrument, VM_annotate };
278class PGOUseFunc;
279
280/// Instruction Visitor class to visit select instructions.
281struct SelectInstVisitor : public InstVisitor<SelectInstVisitor> {
282 Function &F;
283 unsigned NSIs = 0; // Number of select instructions instrumented.
284 VisitMode Mode = VM_counting; // Visiting mode.
285 unsigned *CurCtrIdx = nullptr; // Pointer to current counter index.
286 unsigned TotalNumCtrs = 0; // Total number of counters
287 GlobalVariable *FuncNameVar = nullptr;
288 uint64_t FuncHash = 0;
289 PGOUseFunc *UseFunc = nullptr;
290
291 SelectInstVisitor(Function &Func) : F(Func) {}
292
293 void countSelects(Function &Func) {
Vitaly Bukaca6ecd22017-03-15 23:07:41 +0000294 NSIs = 0;
Xinliang David Li4ca17332016-09-18 18:34:07 +0000295 Mode = VM_counting;
296 visit(Func);
297 }
Eugene Zelenkofce43572017-10-21 00:57:46 +0000298
Xinliang David Li4ca17332016-09-18 18:34:07 +0000299 // Visit the IR stream and instrument all select instructions. \p
300 // Ind is a pointer to the counter index variable; \p TotalNC
301 // is the total number of counters; \p FNV is the pointer to the
302 // PGO function name var; \p FHash is the function hash.
303 void instrumentSelects(Function &Func, unsigned *Ind, unsigned TotalNC,
304 GlobalVariable *FNV, uint64_t FHash) {
305 Mode = VM_instrument;
306 CurCtrIdx = Ind;
307 TotalNumCtrs = TotalNC;
308 FuncHash = FHash;
309 FuncNameVar = FNV;
310 visit(Func);
311 }
312
313 // Visit the IR stream and annotate all select instructions.
314 void annotateSelects(Function &Func, PGOUseFunc *UF, unsigned *Ind) {
315 Mode = VM_annotate;
316 UseFunc = UF;
317 CurCtrIdx = Ind;
318 visit(Func);
319 }
320
321 void instrumentOneSelectInst(SelectInst &SI);
322 void annotateOneSelectInst(SelectInst &SI);
Eugene Zelenkofce43572017-10-21 00:57:46 +0000323
Xinliang David Li4ca17332016-09-18 18:34:07 +0000324 // Visit \p SI instruction and perform tasks according to visit mode.
325 void visitSelectInst(SelectInst &SI);
Eugene Zelenkofce43572017-10-21 00:57:46 +0000326
Vitaly Bukaca6ecd22017-03-15 23:07:41 +0000327 // Return the number of select instructions. This needs be called after
328 // countSelects().
Xinliang David Li4ca17332016-09-18 18:34:07 +0000329 unsigned getNumOfSelectInsts() const { return NSIs; }
330};
331
Rong Xu60faea12017-03-16 21:15:48 +0000332/// Instruction Visitor class to visit memory intrinsic calls.
333struct MemIntrinsicVisitor : public InstVisitor<MemIntrinsicVisitor> {
334 Function &F;
335 unsigned NMemIs = 0; // Number of memIntrinsics instrumented.
336 VisitMode Mode = VM_counting; // Visiting mode.
337 unsigned CurCtrId = 0; // Current counter index.
338 unsigned TotalNumCtrs = 0; // Total number of counters
339 GlobalVariable *FuncNameVar = nullptr;
340 uint64_t FuncHash = 0;
341 PGOUseFunc *UseFunc = nullptr;
Rong Xue60343d2017-03-17 18:07:26 +0000342 std::vector<Instruction *> Candidates;
Rong Xu60faea12017-03-16 21:15:48 +0000343
344 MemIntrinsicVisitor(Function &Func) : F(Func) {}
345
346 void countMemIntrinsics(Function &Func) {
347 NMemIs = 0;
348 Mode = VM_counting;
349 visit(Func);
350 }
Rong Xue60343d2017-03-17 18:07:26 +0000351
Rong Xu60faea12017-03-16 21:15:48 +0000352 void instrumentMemIntrinsics(Function &Func, unsigned TotalNC,
353 GlobalVariable *FNV, uint64_t FHash) {
354 Mode = VM_instrument;
355 TotalNumCtrs = TotalNC;
356 FuncHash = FHash;
357 FuncNameVar = FNV;
358 visit(Func);
359 }
360
Rong Xue60343d2017-03-17 18:07:26 +0000361 std::vector<Instruction *> findMemIntrinsics(Function &Func) {
362 Candidates.clear();
363 Mode = VM_annotate;
364 visit(Func);
365 return Candidates;
366 }
367
Rong Xu60faea12017-03-16 21:15:48 +0000368 // Visit the IR stream and annotate all mem intrinsic call instructions.
369 void instrumentOneMemIntrinsic(MemIntrinsic &MI);
Eugene Zelenkofce43572017-10-21 00:57:46 +0000370
Rong Xu60faea12017-03-16 21:15:48 +0000371 // Visit \p MI instruction and perform tasks according to visit mode.
372 void visitMemIntrinsic(MemIntrinsic &SI);
Eugene Zelenkofce43572017-10-21 00:57:46 +0000373
Rong Xu60faea12017-03-16 21:15:48 +0000374 unsigned getNumOfMemIntrinsics() const { return NMemIs; }
375};
376
Xinliang David Li8aebf442016-05-06 05:49:19 +0000377class PGOInstrumentationGenLegacyPass : public ModulePass {
Rong Xuf430ae42015-12-09 18:08:16 +0000378public:
379 static char ID;
380
Xinliang David Lidfa21c32016-05-09 21:37:12 +0000381 PGOInstrumentationGenLegacyPass() : ModulePass(ID) {
Xinliang David Li8aebf442016-05-06 05:49:19 +0000382 initializePGOInstrumentationGenLegacyPassPass(
383 *PassRegistry::getPassRegistry());
Rong Xuf430ae42015-12-09 18:08:16 +0000384 }
385
Mehdi Amini117296c2016-10-01 02:56:57 +0000386 StringRef getPassName() const override { return "PGOInstrumentationGenPass"; }
Rong Xuf430ae42015-12-09 18:08:16 +0000387
388private:
389 bool runOnModule(Module &M) override;
390
391 void getAnalysisUsage(AnalysisUsage &AU) const override {
392 AU.addRequired<BlockFrequencyInfoWrapperPass>();
393 }
394};
395
Xinliang David Lid55827f2016-05-07 05:39:12 +0000396class PGOInstrumentationUseLegacyPass : public ModulePass {
Rong Xuf430ae42015-12-09 18:08:16 +0000397public:
398 static char ID;
399
400 // Provide the profile filename as the parameter.
Xinliang David Lid55827f2016-05-07 05:39:12 +0000401 PGOInstrumentationUseLegacyPass(std::string Filename = "")
Benjamin Kramer82de7d32016-05-27 14:27:24 +0000402 : ModulePass(ID), ProfileFileName(std::move(Filename)) {
Rong Xuf430ae42015-12-09 18:08:16 +0000403 if (!PGOTestProfileFile.empty())
404 ProfileFileName = PGOTestProfileFile;
Xinliang David Lid55827f2016-05-07 05:39:12 +0000405 initializePGOInstrumentationUseLegacyPassPass(
406 *PassRegistry::getPassRegistry());
Rong Xuf430ae42015-12-09 18:08:16 +0000407 }
408
Mehdi Amini117296c2016-10-01 02:56:57 +0000409 StringRef getPassName() const override { return "PGOInstrumentationUsePass"; }
Rong Xuf430ae42015-12-09 18:08:16 +0000410
411private:
412 std::string ProfileFileName;
Rong Xuf430ae42015-12-09 18:08:16 +0000413
Xinliang David Lida195582016-05-10 21:59:52 +0000414 bool runOnModule(Module &M) override;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000415
Rong Xuf430ae42015-12-09 18:08:16 +0000416 void getAnalysisUsage(AnalysisUsage &AU) const override {
417 AU.addRequired<BlockFrequencyInfoWrapperPass>();
418 }
419};
Xinliang David Li4ca17332016-09-18 18:34:07 +0000420
Rong Xuf430ae42015-12-09 18:08:16 +0000421} // end anonymous namespace
422
Xinliang David Li8aebf442016-05-06 05:49:19 +0000423char PGOInstrumentationGenLegacyPass::ID = 0;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000424
Xinliang David Li8aebf442016-05-06 05:49:19 +0000425INITIALIZE_PASS_BEGIN(PGOInstrumentationGenLegacyPass, "pgo-instr-gen",
Rong Xuf430ae42015-12-09 18:08:16 +0000426 "PGO instrumentation.", false, false)
427INITIALIZE_PASS_DEPENDENCY(BlockFrequencyInfoWrapperPass)
Xinliang David Li8aebf442016-05-06 05:49:19 +0000428INITIALIZE_PASS_END(PGOInstrumentationGenLegacyPass, "pgo-instr-gen",
Rong Xuf430ae42015-12-09 18:08:16 +0000429 "PGO instrumentation.", false, false)
430
Xinliang David Li8aebf442016-05-06 05:49:19 +0000431ModulePass *llvm::createPGOInstrumentationGenLegacyPass() {
432 return new PGOInstrumentationGenLegacyPass();
Rong Xuf430ae42015-12-09 18:08:16 +0000433}
434
Xinliang David Lid55827f2016-05-07 05:39:12 +0000435char PGOInstrumentationUseLegacyPass::ID = 0;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000436
Xinliang David Lid55827f2016-05-07 05:39:12 +0000437INITIALIZE_PASS_BEGIN(PGOInstrumentationUseLegacyPass, "pgo-instr-use",
Rong Xuf430ae42015-12-09 18:08:16 +0000438 "Read PGO instrumentation profile.", false, false)
439INITIALIZE_PASS_DEPENDENCY(BlockFrequencyInfoWrapperPass)
Xinliang David Lid55827f2016-05-07 05:39:12 +0000440INITIALIZE_PASS_END(PGOInstrumentationUseLegacyPass, "pgo-instr-use",
Rong Xuf430ae42015-12-09 18:08:16 +0000441 "Read PGO instrumentation profile.", false, false)
442
Xinliang David Lid55827f2016-05-07 05:39:12 +0000443ModulePass *llvm::createPGOInstrumentationUseLegacyPass(StringRef Filename) {
444 return new PGOInstrumentationUseLegacyPass(Filename.str());
Rong Xuf430ae42015-12-09 18:08:16 +0000445}
446
447namespace {
Eugene Zelenkofce43572017-10-21 00:57:46 +0000448
Rong Xuf430ae42015-12-09 18:08:16 +0000449/// \brief An MST based instrumentation for PGO
450///
451/// Implements a Minimum Spanning Tree (MST) based instrumentation for PGO
452/// in the function level.
453struct PGOEdge {
454 // This class implements the CFG edges. Note the CFG can be a multi-graph.
455 // So there might be multiple edges with same SrcBB and DestBB.
456 const BasicBlock *SrcBB;
457 const BasicBlock *DestBB;
458 uint64_t Weight;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000459 bool InMST = false;
460 bool Removed = false;
461 bool IsCritical = false;
462
Rong Xuf430ae42015-12-09 18:08:16 +0000463 PGOEdge(const BasicBlock *Src, const BasicBlock *Dest, unsigned W = 1)
Eugene Zelenkofce43572017-10-21 00:57:46 +0000464 : SrcBB(Src), DestBB(Dest), Weight(W) {}
465
Rong Xuf430ae42015-12-09 18:08:16 +0000466 // Return the information string of an edge.
467 const std::string infoString() const {
468 return (Twine(Removed ? "-" : " ") + (InMST ? " " : "*") +
469 (IsCritical ? "c" : " ") + " W=" + Twine(Weight)).str();
470 }
471};
472
473// This class stores the auxiliary information for each BB.
474struct BBInfo {
475 BBInfo *Group;
476 uint32_t Index;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000477 uint32_t Rank = 0;
Rong Xuf430ae42015-12-09 18:08:16 +0000478
Eugene Zelenkofce43572017-10-21 00:57:46 +0000479 BBInfo(unsigned IX) : Group(this), Index(IX) {}
Rong Xuf430ae42015-12-09 18:08:16 +0000480
481 // Return the information string of this object.
482 const std::string infoString() const {
483 return (Twine("Index=") + Twine(Index)).str();
484 }
485};
486
487// This class implements the CFG edges. Note the CFG can be a multi-graph.
488template <class Edge, class BBInfo> class FuncPGOInstrumentation {
489private:
490 Function &F;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000491
Rong Xu705f7772016-07-25 18:45:37 +0000492 // A map that stores the Comdat group in function F.
493 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers;
Rong Xuf430ae42015-12-09 18:08:16 +0000494
Eugene Zelenkofce43572017-10-21 00:57:46 +0000495 void computeCFGHash();
496 void renameComdatFunction();
497
Rong Xuf430ae42015-12-09 18:08:16 +0000498public:
Rong Xua3bbf962017-03-15 18:23:39 +0000499 std::vector<std::vector<Instruction *>> ValueSites;
Xinliang David Li4ca17332016-09-18 18:34:07 +0000500 SelectInstVisitor SIVisitor;
Rong Xu60faea12017-03-16 21:15:48 +0000501 MemIntrinsicVisitor MIVisitor;
Rong Xuf430ae42015-12-09 18:08:16 +0000502 std::string FuncName;
503 GlobalVariable *FuncNameVar;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000504
Rong Xuf430ae42015-12-09 18:08:16 +0000505 // CFG hash value for this function.
Eugene Zelenkofce43572017-10-21 00:57:46 +0000506 uint64_t FunctionHash = 0;
Rong Xuf430ae42015-12-09 18:08:16 +0000507
508 // The Minimum Spanning Tree of function CFG.
509 CFGMST<Edge, BBInfo> MST;
510
511 // Give an edge, find the BB that will be instrumented.
512 // Return nullptr if there is no BB to be instrumented.
513 BasicBlock *getInstrBB(Edge *E);
514
515 // Return the auxiliary BB information.
516 BBInfo &getBBInfo(const BasicBlock *BB) const { return MST.getBBInfo(BB); }
517
Rong Xua5b57452016-12-02 19:10:29 +0000518 // Return the auxiliary BB information if available.
519 BBInfo *findBBInfo(const BasicBlock *BB) const { return MST.findBBInfo(BB); }
520
Rong Xuf430ae42015-12-09 18:08:16 +0000521 // Dump edges and BB information.
522 void dumpInfo(std::string Str = "") const {
523 MST.dumpEdges(dbgs(), Twine("Dump Function ") + FuncName + " Hash: " +
Rong Xued9fec72016-01-21 18:11:44 +0000524 Twine(FunctionHash) + "\t" + Str);
Rong Xuf430ae42015-12-09 18:08:16 +0000525 }
526
Rong Xu705f7772016-07-25 18:45:37 +0000527 FuncPGOInstrumentation(
528 Function &Func,
529 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers,
Xinliang David Li4b0027f2017-12-07 22:23:28 +0000530 bool CreateGlobalVar = false, BlockFrequencyInfo *BFI = nullptr)
Rong Xua3bbf962017-03-15 18:23:39 +0000531 : F(Func), ComdatMembers(ComdatMembers), ValueSites(IPVK_Last + 1),
Xinliang David Li4b0027f2017-12-07 22:23:28 +0000532 SIVisitor(Func), MIVisitor(Func), MST(F, BFI) {
Xinliang David Li4ca17332016-09-18 18:34:07 +0000533 // This should be done before CFG hash computation.
534 SIVisitor.countSelects(Func);
Rong Xu60faea12017-03-16 21:15:48 +0000535 MIVisitor.countMemIntrinsics(Func);
Xinliang David Li4ca17332016-09-18 18:34:07 +0000536 NumOfPGOSelectInsts += SIVisitor.getNumOfSelectInsts();
Rong Xu60faea12017-03-16 21:15:48 +0000537 NumOfPGOMemIntrinsics += MIVisitor.getNumOfMemIntrinsics();
Rong Xua3bbf962017-03-15 18:23:39 +0000538 ValueSites[IPVK_IndirectCallTarget] = findIndirectCallSites(Func);
Rong Xue60343d2017-03-17 18:07:26 +0000539 ValueSites[IPVK_MemOPSize] = MIVisitor.findMemIntrinsics(Func);
Xinliang David Li4ca17332016-09-18 18:34:07 +0000540
Rong Xuf430ae42015-12-09 18:08:16 +0000541 FuncName = getPGOFuncName(F);
542 computeCFGHash();
Eugene Zelenkofce43572017-10-21 00:57:46 +0000543 if (!ComdatMembers.empty())
Rong Xu705f7772016-07-25 18:45:37 +0000544 renameComdatFunction();
Rong Xuf430ae42015-12-09 18:08:16 +0000545 DEBUG(dumpInfo("after CFGMST"));
546
547 NumOfPGOBB += MST.BBInfos.size();
548 for (auto &E : MST.AllEdges) {
549 if (E->Removed)
550 continue;
551 NumOfPGOEdge++;
552 if (!E->InMST)
553 NumOfPGOInstrument++;
554 }
555
556 if (CreateGlobalVar)
557 FuncNameVar = createPGOFuncNameVar(F, FuncName);
Eugene Zelenko6ac3f732016-01-26 18:48:36 +0000558 }
Xinliang David Lid1197612016-08-01 20:25:06 +0000559
560 // Return the number of profile counters needed for the function.
561 unsigned getNumCounters() {
562 unsigned NumCounters = 0;
563 for (auto &E : this->MST.AllEdges) {
564 if (!E->InMST && !E->Removed)
565 NumCounters++;
566 }
Xinliang David Li4ca17332016-09-18 18:34:07 +0000567 return NumCounters + SIVisitor.getNumOfSelectInsts();
Xinliang David Lid1197612016-08-01 20:25:06 +0000568 }
Rong Xuf430ae42015-12-09 18:08:16 +0000569};
570
Eugene Zelenkofce43572017-10-21 00:57:46 +0000571} // end anonymous namespace
572
Rong Xuf430ae42015-12-09 18:08:16 +0000573// Compute Hash value for the CFG: the lower 32 bits are CRC32 of the index
574// value of each BB in the CFG. The higher 32 bits record the number of edges.
575template <class Edge, class BBInfo>
576void FuncPGOInstrumentation<Edge, BBInfo>::computeCFGHash() {
577 std::vector<char> Indexes;
578 JamCRC JC;
579 for (auto &BB : F) {
580 const TerminatorInst *TI = BB.getTerminator();
581 for (unsigned I = 0, E = TI->getNumSuccessors(); I != E; ++I) {
582 BasicBlock *Succ = TI->getSuccessor(I);
Rong Xua5b57452016-12-02 19:10:29 +0000583 auto BI = findBBInfo(Succ);
584 if (BI == nullptr)
585 continue;
586 uint32_t Index = BI->Index;
Rong Xuf430ae42015-12-09 18:08:16 +0000587 for (int J = 0; J < 4; J++)
588 Indexes.push_back((char)(Index >> (J * 8)));
589 }
590 }
591 JC.update(Indexes);
Xinliang David Li4ca17332016-09-18 18:34:07 +0000592 FunctionHash = (uint64_t)SIVisitor.getNumOfSelectInsts() << 56 |
Rong Xua3bbf962017-03-15 18:23:39 +0000593 (uint64_t)ValueSites[IPVK_IndirectCallTarget].size() << 48 |
Rong Xu705f7772016-07-25 18:45:37 +0000594 (uint64_t)MST.AllEdges.size() << 32 | JC.getCRC();
Xinliang David Li8e436982017-07-21 21:36:25 +0000595 DEBUG(dbgs() << "Function Hash Computation for " << F.getName() << ":\n"
596 << " CRC = " << JC.getCRC()
597 << ", Selects = " << SIVisitor.getNumOfSelectInsts()
598 << ", Edges = " << MST.AllEdges.size()
599 << ", ICSites = " << ValueSites[IPVK_IndirectCallTarget].size()
600 << ", Hash = " << FunctionHash << "\n";);
Rong Xu705f7772016-07-25 18:45:37 +0000601}
602
603// Check if we can safely rename this Comdat function.
604static bool canRenameComdat(
605 Function &F,
606 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers) {
Rong Xu20f5df12017-01-11 20:19:41 +0000607 if (!DoComdatRenaming || !canRenameComdatFunc(F, true))
Rong Xu705f7772016-07-25 18:45:37 +0000608 return false;
Rong Xu705f7772016-07-25 18:45:37 +0000609
610 // FIXME: Current only handle those Comdat groups that only containing one
611 // function and function aliases.
612 // (1) For a Comdat group containing multiple functions, we need to have a
613 // unique postfix based on the hashes for each function. There is a
614 // non-trivial code refactoring to do this efficiently.
615 // (2) Variables can not be renamed, so we can not rename Comdat function in a
616 // group including global vars.
617 Comdat *C = F.getComdat();
618 for (auto &&CM : make_range(ComdatMembers.equal_range(C))) {
619 if (dyn_cast<GlobalAlias>(CM.second))
620 continue;
621 Function *FM = dyn_cast<Function>(CM.second);
622 if (FM != &F)
623 return false;
624 }
625 return true;
626}
627
628// Append the CFGHash to the Comdat function name.
629template <class Edge, class BBInfo>
630void FuncPGOInstrumentation<Edge, BBInfo>::renameComdatFunction() {
631 if (!canRenameComdat(F, ComdatMembers))
632 return;
Rong Xu0e79f7d2016-10-06 20:38:13 +0000633 std::string OrigName = F.getName().str();
Rong Xu705f7772016-07-25 18:45:37 +0000634 std::string NewFuncName =
635 Twine(F.getName() + "." + Twine(FunctionHash)).str();
636 F.setName(Twine(NewFuncName));
Rong Xu0e79f7d2016-10-06 20:38:13 +0000637 GlobalAlias::create(GlobalValue::WeakAnyLinkage, OrigName, &F);
Rong Xu705f7772016-07-25 18:45:37 +0000638 FuncName = Twine(FuncName + "." + Twine(FunctionHash)).str();
639 Comdat *NewComdat;
640 Module *M = F.getParent();
641 // For AvailableExternallyLinkage functions, change the linkage to
642 // LinkOnceODR and put them into comdat. This is because after renaming, there
643 // is no backup external copy available for the function.
644 if (!F.hasComdat()) {
645 assert(F.getLinkage() == GlobalValue::AvailableExternallyLinkage);
646 NewComdat = M->getOrInsertComdat(StringRef(NewFuncName));
647 F.setLinkage(GlobalValue::LinkOnceODRLinkage);
648 F.setComdat(NewComdat);
649 return;
650 }
651
652 // This function belongs to a single function Comdat group.
653 Comdat *OrigComdat = F.getComdat();
654 std::string NewComdatName =
655 Twine(OrigComdat->getName() + "." + Twine(FunctionHash)).str();
656 NewComdat = M->getOrInsertComdat(StringRef(NewComdatName));
657 NewComdat->setSelectionKind(OrigComdat->getSelectionKind());
658
659 for (auto &&CM : make_range(ComdatMembers.equal_range(OrigComdat))) {
660 if (GlobalAlias *GA = dyn_cast<GlobalAlias>(CM.second)) {
661 // For aliases, change the name directly.
662 assert(dyn_cast<Function>(GA->getAliasee()->stripPointerCasts()) == &F);
Rong Xu0e79f7d2016-10-06 20:38:13 +0000663 std::string OrigGAName = GA->getName().str();
Rong Xu705f7772016-07-25 18:45:37 +0000664 GA->setName(Twine(GA->getName() + "." + Twine(FunctionHash)));
Rong Xu0e79f7d2016-10-06 20:38:13 +0000665 GlobalAlias::create(GlobalValue::WeakAnyLinkage, OrigGAName, GA);
Rong Xu705f7772016-07-25 18:45:37 +0000666 continue;
667 }
668 // Must be a function.
669 Function *CF = dyn_cast<Function>(CM.second);
670 assert(CF);
671 CF->setComdat(NewComdat);
672 }
Rong Xuf430ae42015-12-09 18:08:16 +0000673}
674
675// Given a CFG E to be instrumented, find which BB to place the instrumented
676// code. The function will split the critical edge if necessary.
677template <class Edge, class BBInfo>
678BasicBlock *FuncPGOInstrumentation<Edge, BBInfo>::getInstrBB(Edge *E) {
679 if (E->InMST || E->Removed)
680 return nullptr;
681
682 BasicBlock *SrcBB = const_cast<BasicBlock *>(E->SrcBB);
683 BasicBlock *DestBB = const_cast<BasicBlock *>(E->DestBB);
684 // For a fake edge, instrument the real BB.
685 if (SrcBB == nullptr)
686 return DestBB;
687 if (DestBB == nullptr)
688 return SrcBB;
689
690 // Instrument the SrcBB if it has a single successor,
691 // otherwise, the DestBB if this is not a critical edge.
692 TerminatorInst *TI = SrcBB->getTerminator();
693 if (TI->getNumSuccessors() <= 1)
694 return SrcBB;
695 if (!E->IsCritical)
696 return DestBB;
697
698 // For a critical edge, we have to split. Instrument the newly
699 // created BB.
700 NumOfPGOSplit++;
701 DEBUG(dbgs() << "Split critical edge: " << getBBInfo(SrcBB).Index << " --> "
702 << getBBInfo(DestBB).Index << "\n");
703 unsigned SuccNum = GetSuccessorNumber(SrcBB, DestBB);
704 BasicBlock *InstrBB = SplitCriticalEdge(TI, SuccNum);
705 assert(InstrBB && "Critical edge is not split");
706
707 E->Removed = true;
708 return InstrBB;
709}
710
Rong Xued9fec72016-01-21 18:11:44 +0000711// Visit all edge and instrument the edges not in MST, and do value profiling.
Rong Xuf430ae42015-12-09 18:08:16 +0000712// Critical edges will be split.
Rong Xu705f7772016-07-25 18:45:37 +0000713static void instrumentOneFunc(
Xinliang David Li4b0027f2017-12-07 22:23:28 +0000714 Function &F, Module *M, BlockFrequencyInfo *BFI,
Rong Xu705f7772016-07-25 18:45:37 +0000715 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers) {
Xinliang David Li4b0027f2017-12-07 22:23:28 +0000716 FuncPGOInstrumentation<PGOEdge, BBInfo> FuncInfo(F, ComdatMembers, true, BFI);
Xinliang David Lid1197612016-08-01 20:25:06 +0000717 unsigned NumCounters = FuncInfo.getNumCounters();
718
Rong Xuf430ae42015-12-09 18:08:16 +0000719 uint32_t I = 0;
Rong Xued9fec72016-01-21 18:11:44 +0000720 Type *I8PtrTy = Type::getInt8PtrTy(M->getContext());
Rong Xuf430ae42015-12-09 18:08:16 +0000721 for (auto &E : FuncInfo.MST.AllEdges) {
722 BasicBlock *InstrBB = FuncInfo.getInstrBB(E.get());
723 if (!InstrBB)
724 continue;
725
726 IRBuilder<> Builder(InstrBB, InstrBB->getFirstInsertionPt());
727 assert(Builder.GetInsertPoint() != InstrBB->end() &&
728 "Cannot get the Instrumentation point");
Rong Xuf430ae42015-12-09 18:08:16 +0000729 Builder.CreateCall(
730 Intrinsic::getDeclaration(M, Intrinsic::instrprof_increment),
Eugene Zelenkofce43572017-10-21 00:57:46 +0000731 {ConstantExpr::getBitCast(FuncInfo.FuncNameVar, I8PtrTy),
Rong Xuf430ae42015-12-09 18:08:16 +0000732 Builder.getInt64(FuncInfo.FunctionHash), Builder.getInt32(NumCounters),
733 Builder.getInt32(I++)});
734 }
Xinliang David Li4ca17332016-09-18 18:34:07 +0000735
736 // Now instrument select instructions:
737 FuncInfo.SIVisitor.instrumentSelects(F, &I, NumCounters, FuncInfo.FuncNameVar,
738 FuncInfo.FunctionHash);
Xinliang David Lid1197612016-08-01 20:25:06 +0000739 assert(I == NumCounters);
Rong Xued9fec72016-01-21 18:11:44 +0000740
741 if (DisableValueProfiling)
742 return;
743
744 unsigned NumIndirectCallSites = 0;
Rong Xua3bbf962017-03-15 18:23:39 +0000745 for (auto &I : FuncInfo.ValueSites[IPVK_IndirectCallTarget]) {
Rong Xued9fec72016-01-21 18:11:44 +0000746 CallSite CS(I);
747 Value *Callee = CS.getCalledValue();
748 DEBUG(dbgs() << "Instrument one indirect call: CallSite Index = "
749 << NumIndirectCallSites << "\n");
750 IRBuilder<> Builder(I);
751 assert(Builder.GetInsertPoint() != I->getParent()->end() &&
752 "Cannot get the Instrumentation point");
753 Builder.CreateCall(
754 Intrinsic::getDeclaration(M, Intrinsic::instrprof_value_profile),
Eugene Zelenkofce43572017-10-21 00:57:46 +0000755 {ConstantExpr::getBitCast(FuncInfo.FuncNameVar, I8PtrTy),
Rong Xued9fec72016-01-21 18:11:44 +0000756 Builder.getInt64(FuncInfo.FunctionHash),
757 Builder.CreatePtrToInt(Callee, Builder.getInt64Ty()),
Rong Xua3bbf962017-03-15 18:23:39 +0000758 Builder.getInt32(IPVK_IndirectCallTarget),
Rong Xued9fec72016-01-21 18:11:44 +0000759 Builder.getInt32(NumIndirectCallSites++)});
760 }
761 NumOfPGOICall += NumIndirectCallSites;
Rong Xu60faea12017-03-16 21:15:48 +0000762
763 // Now instrument memop intrinsic calls.
764 FuncInfo.MIVisitor.instrumentMemIntrinsics(
765 F, NumCounters, FuncInfo.FuncNameVar, FuncInfo.FunctionHash);
Rong Xuf430ae42015-12-09 18:08:16 +0000766}
767
Eugene Zelenkofce43572017-10-21 00:57:46 +0000768namespace {
769
Rong Xuf430ae42015-12-09 18:08:16 +0000770// This class represents a CFG edge in profile use compilation.
771struct PGOUseEdge : public PGOEdge {
Eugene Zelenkofce43572017-10-21 00:57:46 +0000772 bool CountValid = false;
773 uint64_t CountValue = 0;
774
Rong Xuf430ae42015-12-09 18:08:16 +0000775 PGOUseEdge(const BasicBlock *Src, const BasicBlock *Dest, unsigned W = 1)
Eugene Zelenkofce43572017-10-21 00:57:46 +0000776 : PGOEdge(Src, Dest, W) {}
Rong Xuf430ae42015-12-09 18:08:16 +0000777
778 // Set edge count value
779 void setEdgeCount(uint64_t Value) {
780 CountValue = Value;
781 CountValid = true;
782 }
783
784 // Return the information string for this object.
785 const std::string infoString() const {
786 if (!CountValid)
787 return PGOEdge::infoString();
Rong Xu9e926e82016-02-29 19:16:04 +0000788 return (Twine(PGOEdge::infoString()) + " Count=" + Twine(CountValue))
789 .str();
Rong Xuf430ae42015-12-09 18:08:16 +0000790 }
791};
792
Eugene Zelenkofce43572017-10-21 00:57:46 +0000793using DirectEdges = SmallVector<PGOUseEdge *, 2>;
Rong Xuf430ae42015-12-09 18:08:16 +0000794
795// This class stores the auxiliary information for each BB.
796struct UseBBInfo : public BBInfo {
Eugene Zelenkofce43572017-10-21 00:57:46 +0000797 uint64_t CountValue = 0;
Rong Xuf430ae42015-12-09 18:08:16 +0000798 bool CountValid;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000799 int32_t UnknownCountInEdge = 0;
800 int32_t UnknownCountOutEdge = 0;
Rong Xuf430ae42015-12-09 18:08:16 +0000801 DirectEdges InEdges;
802 DirectEdges OutEdges;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000803
804 UseBBInfo(unsigned IX) : BBInfo(IX), CountValid(false) {}
805
Rong Xuf430ae42015-12-09 18:08:16 +0000806 UseBBInfo(unsigned IX, uint64_t C)
Eugene Zelenkofce43572017-10-21 00:57:46 +0000807 : BBInfo(IX), CountValue(C), CountValid(true) {}
Rong Xuf430ae42015-12-09 18:08:16 +0000808
809 // Set the profile count value for this BB.
810 void setBBInfoCount(uint64_t Value) {
811 CountValue = Value;
812 CountValid = true;
813 }
814
815 // Return the information string of this object.
816 const std::string infoString() const {
817 if (!CountValid)
818 return BBInfo::infoString();
819 return (Twine(BBInfo::infoString()) + " Count=" + Twine(CountValue)).str();
820 }
821};
822
Eugene Zelenkofce43572017-10-21 00:57:46 +0000823} // end anonymous namespace
824
Rong Xuf430ae42015-12-09 18:08:16 +0000825// Sum up the count values for all the edges.
826static uint64_t sumEdgeCount(const ArrayRef<PGOUseEdge *> Edges) {
827 uint64_t Total = 0;
828 for (auto &E : Edges) {
829 if (E->Removed)
830 continue;
831 Total += E->CountValue;
832 }
833 return Total;
834}
835
Eugene Zelenkofce43572017-10-21 00:57:46 +0000836namespace {
837
Rong Xuf430ae42015-12-09 18:08:16 +0000838class PGOUseFunc {
Rong Xu6090afd2016-03-28 17:08:56 +0000839public:
Rong Xu705f7772016-07-25 18:45:37 +0000840 PGOUseFunc(Function &Func, Module *Modu,
841 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers,
Xinliang David Li45c81902017-12-05 21:54:01 +0000842 BlockFrequencyInfo *BFIin = nullptr)
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +0000843 : F(Func), M(Modu), BFI(BFIin),
Xinliang David Li4b0027f2017-12-07 22:23:28 +0000844 FuncInfo(Func, ComdatMembers, false, BFIin), FreqAttr(FFA_Normal) {}
Rong Xu6090afd2016-03-28 17:08:56 +0000845
846 // Read counts for the instrumented BB from profile.
847 bool readCounters(IndexedInstrProfReader *PGOReader);
848
849 // Populate the counts for all BBs.
850 void populateCounters();
851
852 // Set the branch weights based on the count values.
853 void setBranchWeights();
854
Rong Xua3bbf962017-03-15 18:23:39 +0000855 // Annotate the value profile call sites all all value kind.
856 void annotateValueSites();
857
858 // Annotate the value profile call sites for one value kind.
859 void annotateValueSites(uint32_t Kind);
Rong Xu6090afd2016-03-28 17:08:56 +0000860
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +0000861 // Annotate the irreducible loop header weights.
862 void annotateIrrLoopHeaderWeights();
863
Sean Silva9dd4b5c2016-05-28 03:56:25 +0000864 // The hotness of the function from the profile count.
865 enum FuncFreqAttr { FFA_Normal, FFA_Cold, FFA_Hot };
866
867 // Return the function hotness from the profile.
868 FuncFreqAttr getFuncFreqAttr() const { return FreqAttr; }
869
Rong Xu705f7772016-07-25 18:45:37 +0000870 // Return the function hash.
871 uint64_t getFuncHash() const { return FuncInfo.FunctionHash; }
Eugene Zelenkofce43572017-10-21 00:57:46 +0000872
Easwaran Raman5fe04a12016-05-26 22:57:11 +0000873 // Return the profile record for this function;
874 InstrProfRecord &getProfileRecord() { return ProfileRecord; }
875
Xinliang David Li4ca17332016-09-18 18:34:07 +0000876 // Return the auxiliary BB information.
877 UseBBInfo &getBBInfo(const BasicBlock *BB) const {
878 return FuncInfo.getBBInfo(BB);
879 }
880
Rong Xua5b57452016-12-02 19:10:29 +0000881 // Return the auxiliary BB information if available.
882 UseBBInfo *findBBInfo(const BasicBlock *BB) const {
883 return FuncInfo.findBBInfo(BB);
884 }
885
Xinliang David Lid289e452017-01-27 19:06:25 +0000886 Function &getFunc() const { return F; }
887
Hiroshi Yamauchia43913c2017-09-13 17:20:38 +0000888 void dumpInfo(std::string Str = "") const {
889 FuncInfo.dumpInfo(Str);
890 }
891
Rong Xuf430ae42015-12-09 18:08:16 +0000892private:
893 Function &F;
894 Module *M;
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +0000895 BlockFrequencyInfo *BFI;
Eugene Zelenkofce43572017-10-21 00:57:46 +0000896
Rong Xuf430ae42015-12-09 18:08:16 +0000897 // This member stores the shared information with class PGOGenFunc.
898 FuncPGOInstrumentation<PGOUseEdge, UseBBInfo> FuncInfo;
899
Sean Silva9dd4b5c2016-05-28 03:56:25 +0000900 // The maximum count value in the profile. This is only used in PGO use
901 // compilation.
902 uint64_t ProgramMaxCount;
903
Rong Xu33308f92016-10-25 21:47:24 +0000904 // Position of counter that remains to be read.
Eugene Zelenkofce43572017-10-21 00:57:46 +0000905 uint32_t CountPosition = 0;
Rong Xu33308f92016-10-25 21:47:24 +0000906
907 // Total size of the profile count for this function.
Eugene Zelenkofce43572017-10-21 00:57:46 +0000908 uint32_t ProfileCountSize = 0;
Rong Xu33308f92016-10-25 21:47:24 +0000909
Rong Xu13b01dc2016-02-10 18:24:45 +0000910 // ProfileRecord for this function.
911 InstrProfRecord ProfileRecord;
912
Sean Silva9dd4b5c2016-05-28 03:56:25 +0000913 // Function hotness info derived from profile.
914 FuncFreqAttr FreqAttr;
915
Rong Xuf430ae42015-12-09 18:08:16 +0000916 // Find the Instrumented BB and set the value.
917 void setInstrumentedCounts(const std::vector<uint64_t> &CountFromProfile);
918
919 // Set the edge counter value for the unknown edge -- there should be only
920 // one unknown edge.
921 void setEdgeCount(DirectEdges &Edges, uint64_t Value);
922
923 // Return FuncName string;
924 const std::string getFuncName() const { return FuncInfo.FuncName; }
Sean Silva9dd4b5c2016-05-28 03:56:25 +0000925
926 // Set the hot/cold inline hints based on the count values.
927 // FIXME: This function should be removed once the functionality in
928 // the inliner is implemented.
929 void markFunctionAttributes(uint64_t EntryCount, uint64_t MaxCount) {
930 if (ProgramMaxCount == 0)
931 return;
932 // Threshold of the hot functions.
933 const BranchProbability HotFunctionThreshold(1, 100);
934 // Threshold of the cold functions.
935 const BranchProbability ColdFunctionThreshold(2, 10000);
936 if (EntryCount >= HotFunctionThreshold.scale(ProgramMaxCount))
937 FreqAttr = FFA_Hot;
938 else if (MaxCount <= ColdFunctionThreshold.scale(ProgramMaxCount))
939 FreqAttr = FFA_Cold;
940 }
Rong Xuf430ae42015-12-09 18:08:16 +0000941};
942
Eugene Zelenkofce43572017-10-21 00:57:46 +0000943} // end anonymous namespace
944
Rong Xuf430ae42015-12-09 18:08:16 +0000945// Visit all the edges and assign the count value for the instrumented
946// edges and the BB.
947void PGOUseFunc::setInstrumentedCounts(
948 const std::vector<uint64_t> &CountFromProfile) {
Xinliang David Lid1197612016-08-01 20:25:06 +0000949 assert(FuncInfo.getNumCounters() == CountFromProfile.size());
Rong Xuf430ae42015-12-09 18:08:16 +0000950 // Use a worklist as we will update the vector during the iteration.
951 std::vector<PGOUseEdge *> WorkList;
952 for (auto &E : FuncInfo.MST.AllEdges)
953 WorkList.push_back(E.get());
954
955 uint32_t I = 0;
956 for (auto &E : WorkList) {
957 BasicBlock *InstrBB = FuncInfo.getInstrBB(E);
958 if (!InstrBB)
959 continue;
960 uint64_t CountValue = CountFromProfile[I++];
961 if (!E->Removed) {
962 getBBInfo(InstrBB).setBBInfoCount(CountValue);
963 E->setEdgeCount(CountValue);
964 continue;
965 }
966
967 // Need to add two new edges.
968 BasicBlock *SrcBB = const_cast<BasicBlock *>(E->SrcBB);
969 BasicBlock *DestBB = const_cast<BasicBlock *>(E->DestBB);
970 // Add new edge of SrcBB->InstrBB.
971 PGOUseEdge &NewEdge = FuncInfo.MST.addEdge(SrcBB, InstrBB, 0);
972 NewEdge.setEdgeCount(CountValue);
973 // Add new edge of InstrBB->DestBB.
974 PGOUseEdge &NewEdge1 = FuncInfo.MST.addEdge(InstrBB, DestBB, 0);
975 NewEdge1.setEdgeCount(CountValue);
976 NewEdge1.InMST = true;
977 getBBInfo(InstrBB).setBBInfoCount(CountValue);
978 }
Rong Xu0a2a1312017-03-09 19:08:55 +0000979 ProfileCountSize = CountFromProfile.size();
Rong Xu33308f92016-10-25 21:47:24 +0000980 CountPosition = I;
Rong Xuf430ae42015-12-09 18:08:16 +0000981}
982
983// Set the count value for the unknown edge. There should be one and only one
984// unknown edge in Edges vector.
985void PGOUseFunc::setEdgeCount(DirectEdges &Edges, uint64_t Value) {
986 for (auto &E : Edges) {
987 if (E->CountValid)
988 continue;
989 E->setEdgeCount(Value);
990
991 getBBInfo(E->SrcBB).UnknownCountOutEdge--;
992 getBBInfo(E->DestBB).UnknownCountInEdge--;
993 return;
994 }
995 llvm_unreachable("Cannot find the unknown count edge");
996}
997
998// Read the profile from ProfileFileName and assign the value to the
999// instrumented BB and the edges. This function also updates ProgramMaxCount.
1000// Return true if the profile are successfully read, and false on errors.
1001bool PGOUseFunc::readCounters(IndexedInstrProfReader *PGOReader) {
1002 auto &Ctx = M->getContext();
Vedant Kumar9152fd12016-05-19 03:54:45 +00001003 Expected<InstrProfRecord> Result =
Rong Xuf430ae42015-12-09 18:08:16 +00001004 PGOReader->getInstrProfRecord(FuncInfo.FuncName, FuncInfo.FunctionHash);
Vedant Kumar9152fd12016-05-19 03:54:45 +00001005 if (Error E = Result.takeError()) {
1006 handleAllErrors(std::move(E), [&](const InstrProfError &IPE) {
1007 auto Err = IPE.get();
1008 bool SkipWarning = false;
1009 if (Err == instrprof_error::unknown_function) {
1010 NumOfPGOMissing++;
Xinliang David Li76a01082016-08-11 05:09:30 +00001011 SkipWarning = !PGOWarnMissing;
Vedant Kumar9152fd12016-05-19 03:54:45 +00001012 } else if (Err == instrprof_error::hash_mismatch ||
1013 Err == instrprof_error::malformed) {
1014 NumOfPGOMismatch++;
Rong Xu20f5df12017-01-11 20:19:41 +00001015 SkipWarning =
1016 NoPGOWarnMismatch ||
1017 (NoPGOWarnMismatchComdat &&
1018 (F.hasComdat() ||
1019 F.getLinkage() == GlobalValue::AvailableExternallyLinkage));
Vedant Kumar9152fd12016-05-19 03:54:45 +00001020 }
Rong Xuf430ae42015-12-09 18:08:16 +00001021
Vedant Kumar9152fd12016-05-19 03:54:45 +00001022 if (SkipWarning)
1023 return;
1024
1025 std::string Msg = IPE.message() + std::string(" ") + F.getName().str();
1026 Ctx.diagnose(
1027 DiagnosticInfoPGOProfile(M->getName().data(), Msg, DS_Warning));
1028 });
Rong Xuf430ae42015-12-09 18:08:16 +00001029 return false;
1030 }
Rong Xu13b01dc2016-02-10 18:24:45 +00001031 ProfileRecord = std::move(Result.get());
1032 std::vector<uint64_t> &CountFromProfile = ProfileRecord.Counts;
Rong Xuf430ae42015-12-09 18:08:16 +00001033
1034 NumOfPGOFunc++;
1035 DEBUG(dbgs() << CountFromProfile.size() << " counts\n");
1036 uint64_t ValueSum = 0;
1037 for (unsigned I = 0, S = CountFromProfile.size(); I < S; I++) {
1038 DEBUG(dbgs() << " " << I << ": " << CountFromProfile[I] << "\n");
1039 ValueSum += CountFromProfile[I];
1040 }
1041
1042 DEBUG(dbgs() << "SUM = " << ValueSum << "\n");
1043
1044 getBBInfo(nullptr).UnknownCountOutEdge = 2;
1045 getBBInfo(nullptr).UnknownCountInEdge = 2;
1046
1047 setInstrumentedCounts(CountFromProfile);
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001048 ProgramMaxCount = PGOReader->getMaximumFunctionCount();
Rong Xuf430ae42015-12-09 18:08:16 +00001049 return true;
1050}
1051
1052// Populate the counters from instrumented BBs to all BBs.
1053// In the end of this operation, all BBs should have a valid count value.
1054void PGOUseFunc::populateCounters() {
1055 // First set up Count variable for all BBs.
1056 for (auto &E : FuncInfo.MST.AllEdges) {
1057 if (E->Removed)
1058 continue;
1059
1060 const BasicBlock *SrcBB = E->SrcBB;
1061 const BasicBlock *DestBB = E->DestBB;
1062 UseBBInfo &SrcInfo = getBBInfo(SrcBB);
1063 UseBBInfo &DestInfo = getBBInfo(DestBB);
1064 SrcInfo.OutEdges.push_back(E.get());
1065 DestInfo.InEdges.push_back(E.get());
1066 SrcInfo.UnknownCountOutEdge++;
1067 DestInfo.UnknownCountInEdge++;
1068
1069 if (!E->CountValid)
1070 continue;
1071 DestInfo.UnknownCountInEdge--;
1072 SrcInfo.UnknownCountOutEdge--;
1073 }
1074
1075 bool Changes = true;
1076 unsigned NumPasses = 0;
1077 while (Changes) {
1078 NumPasses++;
1079 Changes = false;
1080
1081 // For efficient traversal, it's better to start from the end as most
1082 // of the instrumented edges are at the end.
1083 for (auto &BB : reverse(F)) {
Rong Xua5b57452016-12-02 19:10:29 +00001084 UseBBInfo *Count = findBBInfo(&BB);
1085 if (Count == nullptr)
1086 continue;
1087 if (!Count->CountValid) {
1088 if (Count->UnknownCountOutEdge == 0) {
1089 Count->CountValue = sumEdgeCount(Count->OutEdges);
1090 Count->CountValid = true;
Rong Xuf430ae42015-12-09 18:08:16 +00001091 Changes = true;
Rong Xua5b57452016-12-02 19:10:29 +00001092 } else if (Count->UnknownCountInEdge == 0) {
1093 Count->CountValue = sumEdgeCount(Count->InEdges);
1094 Count->CountValid = true;
Rong Xuf430ae42015-12-09 18:08:16 +00001095 Changes = true;
1096 }
1097 }
Rong Xua5b57452016-12-02 19:10:29 +00001098 if (Count->CountValid) {
1099 if (Count->UnknownCountOutEdge == 1) {
Rong Xu51a1e3c2016-12-13 06:41:14 +00001100 uint64_t Total = 0;
1101 uint64_t OutSum = sumEdgeCount(Count->OutEdges);
1102 // If the one of the successor block can early terminate (no-return),
1103 // we can end up with situation where out edge sum count is larger as
1104 // the source BB's count is collected by a post-dominated block.
1105 if (Count->CountValue > OutSum)
1106 Total = Count->CountValue - OutSum;
Rong Xua5b57452016-12-02 19:10:29 +00001107 setEdgeCount(Count->OutEdges, Total);
Rong Xuf430ae42015-12-09 18:08:16 +00001108 Changes = true;
1109 }
Rong Xua5b57452016-12-02 19:10:29 +00001110 if (Count->UnknownCountInEdge == 1) {
Rong Xu51a1e3c2016-12-13 06:41:14 +00001111 uint64_t Total = 0;
1112 uint64_t InSum = sumEdgeCount(Count->InEdges);
1113 if (Count->CountValue > InSum)
1114 Total = Count->CountValue - InSum;
Rong Xua5b57452016-12-02 19:10:29 +00001115 setEdgeCount(Count->InEdges, Total);
Rong Xuf430ae42015-12-09 18:08:16 +00001116 Changes = true;
1117 }
1118 }
1119 }
1120 }
1121
1122 DEBUG(dbgs() << "Populate counts in " << NumPasses << " passes.\n");
Sean Silva8c7e1212016-05-28 04:19:45 +00001123#ifndef NDEBUG
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001124 // Assert every BB has a valid counter.
Rong Xua5b57452016-12-02 19:10:29 +00001125 for (auto &BB : F) {
1126 auto BI = findBBInfo(&BB);
1127 if (BI == nullptr)
1128 continue;
1129 assert(BI->CountValid && "BB count is not valid");
1130 }
Sean Silva8c7e1212016-05-28 04:19:45 +00001131#endif
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001132 uint64_t FuncEntryCount = getBBInfo(&*F.begin()).CountValue;
Sean Silva02b9d892016-05-28 04:05:36 +00001133 F.setEntryCount(FuncEntryCount);
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001134 uint64_t FuncMaxCount = FuncEntryCount;
Rong Xua5b57452016-12-02 19:10:29 +00001135 for (auto &BB : F) {
1136 auto BI = findBBInfo(&BB);
1137 if (BI == nullptr)
1138 continue;
1139 FuncMaxCount = std::max(FuncMaxCount, BI->CountValue);
1140 }
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001141 markFunctionAttributes(FuncEntryCount, FuncMaxCount);
Rong Xuf430ae42015-12-09 18:08:16 +00001142
Rong Xu33308f92016-10-25 21:47:24 +00001143 // Now annotate select instructions
1144 FuncInfo.SIVisitor.annotateSelects(F, this, &CountPosition);
1145 assert(CountPosition == ProfileCountSize);
1146
Rong Xuf430ae42015-12-09 18:08:16 +00001147 DEBUG(FuncInfo.dumpInfo("after reading profile."));
1148}
1149
1150// Assign the scaled count values to the BB with multiple out edges.
1151void PGOUseFunc::setBranchWeights() {
1152 // Generate MD_prof metadata for every branch instruction.
1153 DEBUG(dbgs() << "\nSetting branch weights.\n");
Rong Xuf430ae42015-12-09 18:08:16 +00001154 for (auto &BB : F) {
1155 TerminatorInst *TI = BB.getTerminator();
1156 if (TI->getNumSuccessors() < 2)
1157 continue;
Rong Xu15848e52017-08-23 21:36:02 +00001158 if (!(isa<BranchInst>(TI) || isa<SwitchInst>(TI) ||
1159 isa<IndirectBrInst>(TI)))
Rong Xuf430ae42015-12-09 18:08:16 +00001160 continue;
1161 if (getBBInfo(&BB).CountValue == 0)
1162 continue;
1163
1164 // We have a non-zero Branch BB.
1165 const UseBBInfo &BBCountInfo = getBBInfo(&BB);
1166 unsigned Size = BBCountInfo.OutEdges.size();
Xinliang David Li63248ab2016-08-19 06:31:45 +00001167 SmallVector<uint64_t, 2> EdgeCounts(Size, 0);
Rong Xuf430ae42015-12-09 18:08:16 +00001168 uint64_t MaxCount = 0;
1169 for (unsigned s = 0; s < Size; s++) {
1170 const PGOUseEdge *E = BBCountInfo.OutEdges[s];
1171 const BasicBlock *SrcBB = E->SrcBB;
1172 const BasicBlock *DestBB = E->DestBB;
Eugene Zelenko6ac3f732016-01-26 18:48:36 +00001173 if (DestBB == nullptr)
Rong Xuf430ae42015-12-09 18:08:16 +00001174 continue;
1175 unsigned SuccNum = GetSuccessorNumber(SrcBB, DestBB);
1176 uint64_t EdgeCount = E->CountValue;
1177 if (EdgeCount > MaxCount)
1178 MaxCount = EdgeCount;
1179 EdgeCounts[SuccNum] = EdgeCount;
1180 }
Xinliang David Li2c933682016-08-19 05:31:33 +00001181 setProfMetadata(M, TI, EdgeCounts, MaxCount);
Rong Xuf430ae42015-12-09 18:08:16 +00001182 }
1183}
Rong Xu13b01dc2016-02-10 18:24:45 +00001184
Hiroshi Yamauchic94d4d72017-11-20 21:03:38 +00001185static bool isIndirectBrTarget(BasicBlock *BB) {
1186 for (pred_iterator PI = pred_begin(BB), E = pred_end(BB); PI != E; ++PI) {
1187 if (isa<IndirectBrInst>((*PI)->getTerminator()))
1188 return true;
1189 }
1190 return false;
1191}
1192
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +00001193void PGOUseFunc::annotateIrrLoopHeaderWeights() {
1194 DEBUG(dbgs() << "\nAnnotating irreducible loop header weights.\n");
1195 // Find irr loop headers
1196 for (auto &BB : F) {
Hiroshi Yamauchic94d4d72017-11-20 21:03:38 +00001197 // As a heuristic also annotate indrectbr targets as they have a high chance
1198 // to become an irreducible loop header after the indirectbr tail
1199 // duplication.
1200 if (BFI->isIrrLoopHeader(&BB) || isIndirectBrTarget(&BB)) {
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +00001201 TerminatorInst *TI = BB.getTerminator();
1202 const UseBBInfo &BBCountInfo = getBBInfo(&BB);
1203 setIrrLoopHeaderMetadata(M, TI, BBCountInfo.CountValue);
1204 }
1205 }
1206}
1207
Xinliang David Li4ca17332016-09-18 18:34:07 +00001208void SelectInstVisitor::instrumentOneSelectInst(SelectInst &SI) {
1209 Module *M = F.getParent();
1210 IRBuilder<> Builder(&SI);
1211 Type *Int64Ty = Builder.getInt64Ty();
1212 Type *I8PtrTy = Builder.getInt8PtrTy();
1213 auto *Step = Builder.CreateZExt(SI.getCondition(), Int64Ty);
1214 Builder.CreateCall(
1215 Intrinsic::getDeclaration(M, Intrinsic::instrprof_increment_step),
Eugene Zelenkofce43572017-10-21 00:57:46 +00001216 {ConstantExpr::getBitCast(FuncNameVar, I8PtrTy),
Rong Xu0a2a1312017-03-09 19:08:55 +00001217 Builder.getInt64(FuncHash), Builder.getInt32(TotalNumCtrs),
1218 Builder.getInt32(*CurCtrIdx), Step});
Xinliang David Li4ca17332016-09-18 18:34:07 +00001219 ++(*CurCtrIdx);
1220}
1221
1222void SelectInstVisitor::annotateOneSelectInst(SelectInst &SI) {
1223 std::vector<uint64_t> &CountFromProfile = UseFunc->getProfileRecord().Counts;
1224 assert(*CurCtrIdx < CountFromProfile.size() &&
1225 "Out of bound access of counters");
1226 uint64_t SCounts[2];
1227 SCounts[0] = CountFromProfile[*CurCtrIdx]; // True count
1228 ++(*CurCtrIdx);
Rong Xua5b57452016-12-02 19:10:29 +00001229 uint64_t TotalCount = 0;
1230 auto BI = UseFunc->findBBInfo(SI.getParent());
1231 if (BI != nullptr)
1232 TotalCount = BI->CountValue;
Xinliang David Li4ca17332016-09-18 18:34:07 +00001233 // False Count
1234 SCounts[1] = (TotalCount > SCounts[0] ? TotalCount - SCounts[0] : 0);
1235 uint64_t MaxCount = std::max(SCounts[0], SCounts[1]);
Xinliang David Lic7368282016-09-20 20:20:01 +00001236 if (MaxCount)
1237 setProfMetadata(F.getParent(), &SI, SCounts, MaxCount);
Xinliang David Li4ca17332016-09-18 18:34:07 +00001238}
1239
1240void SelectInstVisitor::visitSelectInst(SelectInst &SI) {
1241 if (!PGOInstrSelect)
1242 return;
1243 // FIXME: do not handle this yet.
1244 if (SI.getCondition()->getType()->isVectorTy())
1245 return;
1246
Xinliang David Li4ca17332016-09-18 18:34:07 +00001247 switch (Mode) {
1248 case VM_counting:
Vitaly Bukaca6ecd22017-03-15 23:07:41 +00001249 NSIs++;
Xinliang David Li4ca17332016-09-18 18:34:07 +00001250 return;
1251 case VM_instrument:
1252 instrumentOneSelectInst(SI);
Simon Pilgrimf33a6b72016-09-18 21:08:35 +00001253 return;
Xinliang David Li4ca17332016-09-18 18:34:07 +00001254 case VM_annotate:
1255 annotateOneSelectInst(SI);
Simon Pilgrimf33a6b72016-09-18 21:08:35 +00001256 return;
Xinliang David Li4ca17332016-09-18 18:34:07 +00001257 }
Simon Pilgrimf33a6b72016-09-18 21:08:35 +00001258
1259 llvm_unreachable("Unknown visiting mode");
Xinliang David Li4ca17332016-09-18 18:34:07 +00001260}
1261
Rong Xu60faea12017-03-16 21:15:48 +00001262void MemIntrinsicVisitor::instrumentOneMemIntrinsic(MemIntrinsic &MI) {
1263 Module *M = F.getParent();
1264 IRBuilder<> Builder(&MI);
1265 Type *Int64Ty = Builder.getInt64Ty();
1266 Type *I8PtrTy = Builder.getInt8PtrTy();
1267 Value *Length = MI.getLength();
1268 assert(!dyn_cast<ConstantInt>(Length));
1269 Builder.CreateCall(
1270 Intrinsic::getDeclaration(M, Intrinsic::instrprof_value_profile),
Eugene Zelenkofce43572017-10-21 00:57:46 +00001271 {ConstantExpr::getBitCast(FuncNameVar, I8PtrTy),
Ana Pazosf731bde2017-06-19 20:04:33 +00001272 Builder.getInt64(FuncHash), Builder.CreateZExtOrTrunc(Length, Int64Ty),
Rong Xu60faea12017-03-16 21:15:48 +00001273 Builder.getInt32(IPVK_MemOPSize), Builder.getInt32(CurCtrId)});
1274 ++CurCtrId;
1275}
1276
1277void MemIntrinsicVisitor::visitMemIntrinsic(MemIntrinsic &MI) {
1278 if (!PGOInstrMemOP)
1279 return;
1280 Value *Length = MI.getLength();
1281 // Not instrument constant length calls.
1282 if (dyn_cast<ConstantInt>(Length))
1283 return;
1284
1285 switch (Mode) {
1286 case VM_counting:
1287 NMemIs++;
1288 return;
1289 case VM_instrument:
1290 instrumentOneMemIntrinsic(MI);
1291 return;
1292 case VM_annotate:
Rong Xue60343d2017-03-17 18:07:26 +00001293 Candidates.push_back(&MI);
1294 return;
Rong Xu60faea12017-03-16 21:15:48 +00001295 }
1296 llvm_unreachable("Unknown visiting mode");
1297}
1298
Rong Xua3bbf962017-03-15 18:23:39 +00001299// Traverse all valuesites and annotate the instructions for all value kind.
1300void PGOUseFunc::annotateValueSites() {
Rong Xu13b01dc2016-02-10 18:24:45 +00001301 if (DisableValueProfiling)
1302 return;
1303
Rong Xu8e8fe852016-04-01 16:43:30 +00001304 // Create the PGOFuncName meta data.
Rong Xuf8f051c2016-04-22 21:00:17 +00001305 createPGOFuncNameMetadata(F, FuncInfo.FuncName);
Rong Xub5341662016-03-30 18:37:52 +00001306
Rong Xua3bbf962017-03-15 18:23:39 +00001307 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
Rong Xue60343d2017-03-17 18:07:26 +00001308 annotateValueSites(Kind);
Rong Xua3bbf962017-03-15 18:23:39 +00001309}
1310
1311// Annotate the instructions for a specific value kind.
1312void PGOUseFunc::annotateValueSites(uint32_t Kind) {
1313 unsigned ValueSiteIndex = 0;
1314 auto &ValueSites = FuncInfo.ValueSites[Kind];
1315 unsigned NumValueSites = ProfileRecord.getNumValueSites(Kind);
1316 if (NumValueSites != ValueSites.size()) {
Rong Xu13b01dc2016-02-10 18:24:45 +00001317 auto &Ctx = M->getContext();
Rong Xua3bbf962017-03-15 18:23:39 +00001318 Ctx.diagnose(DiagnosticInfoPGOProfile(
1319 M->getName().data(),
1320 Twine("Inconsistent number of value sites for kind = ") + Twine(Kind) +
1321 " in " + F.getName().str(),
1322 DS_Warning));
Rong Xu13b01dc2016-02-10 18:24:45 +00001323 return;
1324 }
1325
Rong Xua3bbf962017-03-15 18:23:39 +00001326 for (auto &I : ValueSites) {
1327 DEBUG(dbgs() << "Read one value site profile (kind = " << Kind
1328 << "): Index = " << ValueSiteIndex << " out of "
1329 << NumValueSites << "\n");
1330 annotateValueSite(*M, *I, ProfileRecord,
1331 static_cast<InstrProfValueKind>(Kind), ValueSiteIndex,
Rong Xue60343d2017-03-17 18:07:26 +00001332 Kind == IPVK_MemOPSize ? MaxNumMemOPAnnotations
1333 : MaxNumAnnotations);
Rong Xua3bbf962017-03-15 18:23:39 +00001334 ValueSiteIndex++;
Rong Xu13b01dc2016-02-10 18:24:45 +00001335 }
1336}
Rong Xuf430ae42015-12-09 18:08:16 +00001337
Xinliang David Lid382e9d2016-07-22 04:46:56 +00001338// Create a COMDAT variable INSTR_PROF_RAW_VERSION_VAR to make the runtime
Rong Xu33c76c02016-02-10 17:18:30 +00001339// aware this is an ir_level profile so it can set the version flag.
1340static void createIRLevelProfileFlagVariable(Module &M) {
1341 Type *IntTy64 = Type::getInt64Ty(M.getContext());
1342 uint64_t ProfileVersion = (INSTR_PROF_RAW_VERSION | VARIANT_MASK_IR_PROF);
Rong Xu9e926e82016-02-29 19:16:04 +00001343 auto IRLevelVersionVariable = new GlobalVariable(
1344 M, IntTy64, true, GlobalVariable::ExternalLinkage,
1345 Constant::getIntegerValue(IntTy64, APInt(64, ProfileVersion)),
Xinliang David Lid382e9d2016-07-22 04:46:56 +00001346 INSTR_PROF_QUOTE(INSTR_PROF_RAW_VERSION_VAR));
Rong Xu33c76c02016-02-10 17:18:30 +00001347 IRLevelVersionVariable->setVisibility(GlobalValue::DefaultVisibility);
1348 Triple TT(M.getTargetTriple());
Xinliang David Li11c849c2016-05-27 16:22:03 +00001349 if (!TT.supportsCOMDAT())
Rong Xuca28a0a2016-05-11 00:31:59 +00001350 IRLevelVersionVariable->setLinkage(GlobalValue::WeakAnyLinkage);
Rong Xu33c76c02016-02-10 17:18:30 +00001351 else
Rong Xu9e926e82016-02-29 19:16:04 +00001352 IRLevelVersionVariable->setComdat(M.getOrInsertComdat(
Xinliang David Lid382e9d2016-07-22 04:46:56 +00001353 StringRef(INSTR_PROF_QUOTE(INSTR_PROF_RAW_VERSION_VAR))));
Rong Xu33c76c02016-02-10 17:18:30 +00001354}
1355
Rong Xu705f7772016-07-25 18:45:37 +00001356// Collect the set of members for each Comdat in module M and store
1357// in ComdatMembers.
1358static void collectComdatMembers(
1359 Module &M,
1360 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers) {
1361 if (!DoComdatRenaming)
1362 return;
1363 for (Function &F : M)
1364 if (Comdat *C = F.getComdat())
1365 ComdatMembers.insert(std::make_pair(C, &F));
1366 for (GlobalVariable &GV : M.globals())
1367 if (Comdat *C = GV.getComdat())
1368 ComdatMembers.insert(std::make_pair(C, &GV));
1369 for (GlobalAlias &GA : M.aliases())
1370 if (Comdat *C = GA.getComdat())
1371 ComdatMembers.insert(std::make_pair(C, &GA));
1372}
1373
Xinliang David Li5ad7c822016-05-02 20:33:59 +00001374static bool InstrumentAllFunctions(
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001375 Module &M, function_ref<BlockFrequencyInfo *(Function &)> LookupBFI) {
Rong Xu33c76c02016-02-10 17:18:30 +00001376 createIRLevelProfileFlagVariable(M);
Rong Xu705f7772016-07-25 18:45:37 +00001377 std::unordered_multimap<Comdat *, GlobalValue *> ComdatMembers;
1378 collectComdatMembers(M, ComdatMembers);
1379
Rong Xuf430ae42015-12-09 18:08:16 +00001380 for (auto &F : M) {
1381 if (F.isDeclaration())
1382 continue;
Xinliang David Lidfa21c32016-05-09 21:37:12 +00001383 auto *BFI = LookupBFI(F);
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001384 instrumentOneFunc(F, &M, BFI, ComdatMembers);
Rong Xuf430ae42015-12-09 18:08:16 +00001385 }
1386 return true;
1387}
1388
Xinliang David Li8aebf442016-05-06 05:49:19 +00001389bool PGOInstrumentationGenLegacyPass::runOnModule(Module &M) {
Xinliang David Li5ad7c822016-05-02 20:33:59 +00001390 if (skipModule(M))
1391 return false;
1392
Xinliang David Lidfa21c32016-05-09 21:37:12 +00001393 auto LookupBFI = [this](Function &F) {
1394 return &this->getAnalysis<BlockFrequencyInfoWrapperPass>(F).getBFI();
Xinliang David Li5ad7c822016-05-02 20:33:59 +00001395 };
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001396 return InstrumentAllFunctions(M, LookupBFI);
Xinliang David Li5ad7c822016-05-02 20:33:59 +00001397}
1398
Xinliang David Li8aebf442016-05-06 05:49:19 +00001399PreservedAnalyses PGOInstrumentationGen::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +00001400 ModuleAnalysisManager &AM) {
Xinliang David Li8aebf442016-05-06 05:49:19 +00001401 auto &FAM = AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
Xinliang David Li8aebf442016-05-06 05:49:19 +00001402
Xinliang David Lidfa21c32016-05-09 21:37:12 +00001403 auto LookupBFI = [&FAM](Function &F) {
1404 return &FAM.getResult<BlockFrequencyAnalysis>(F);
Xinliang David Li8aebf442016-05-06 05:49:19 +00001405 };
1406
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001407 if (!InstrumentAllFunctions(M, LookupBFI))
Xinliang David Li8aebf442016-05-06 05:49:19 +00001408 return PreservedAnalyses::all();
1409
1410 return PreservedAnalyses::none();
1411}
1412
Xinliang David Lida195582016-05-10 21:59:52 +00001413static bool annotateAllFunctions(
1414 Module &M, StringRef ProfileFileName,
Xinliang David Li45c81902017-12-05 21:54:01 +00001415 function_ref<BlockFrequencyInfo *(Function &)> LookupBFI) {
Rong Xuf430ae42015-12-09 18:08:16 +00001416 DEBUG(dbgs() << "Read in profile counters: ");
1417 auto &Ctx = M.getContext();
1418 // Read the counter array from file.
1419 auto ReaderOrErr = IndexedInstrProfReader::create(ProfileFileName);
Vedant Kumar9152fd12016-05-19 03:54:45 +00001420 if (Error E = ReaderOrErr.takeError()) {
1421 handleAllErrors(std::move(E), [&](const ErrorInfoBase &EI) {
1422 Ctx.diagnose(
1423 DiagnosticInfoPGOProfile(ProfileFileName.data(), EI.message()));
1424 });
Rong Xuf430ae42015-12-09 18:08:16 +00001425 return false;
1426 }
1427
Xinliang David Lida195582016-05-10 21:59:52 +00001428 std::unique_ptr<IndexedInstrProfReader> PGOReader =
1429 std::move(ReaderOrErr.get());
Rong Xuf430ae42015-12-09 18:08:16 +00001430 if (!PGOReader) {
1431 Ctx.diagnose(DiagnosticInfoPGOProfile(ProfileFileName.data(),
Xinliang David Lida195582016-05-10 21:59:52 +00001432 StringRef("Cannot get PGOReader")));
Rong Xuf430ae42015-12-09 18:08:16 +00001433 return false;
1434 }
Rong Xu33c76c02016-02-10 17:18:30 +00001435 // TODO: might need to change the warning once the clang option is finalized.
1436 if (!PGOReader->isIRLevelProfile()) {
1437 Ctx.diagnose(DiagnosticInfoPGOProfile(
1438 ProfileFileName.data(), "Not an IR level instrumentation profile"));
1439 return false;
1440 }
1441
Rong Xu705f7772016-07-25 18:45:37 +00001442 std::unordered_multimap<Comdat *, GlobalValue *> ComdatMembers;
1443 collectComdatMembers(M, ComdatMembers);
Rong Xu6090afd2016-03-28 17:08:56 +00001444 std::vector<Function *> HotFunctions;
1445 std::vector<Function *> ColdFunctions;
Rong Xuf430ae42015-12-09 18:08:16 +00001446 for (auto &F : M) {
1447 if (F.isDeclaration())
1448 continue;
Xinliang David Lidfa21c32016-05-09 21:37:12 +00001449 auto *BFI = LookupBFI(F);
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001450 PGOUseFunc Func(F, &M, ComdatMembers, BFI);
Sean Silva2e8f0952016-05-28 04:19:40 +00001451 if (!Func.readCounters(PGOReader.get()))
1452 continue;
1453 Func.populateCounters();
1454 Func.setBranchWeights();
Rong Xua3bbf962017-03-15 18:23:39 +00001455 Func.annotateValueSites();
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +00001456 Func.annotateIrrLoopHeaderWeights();
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001457 PGOUseFunc::FuncFreqAttr FreqAttr = Func.getFuncFreqAttr();
1458 if (FreqAttr == PGOUseFunc::FFA_Cold)
Sean Silva2a730192016-05-28 03:02:50 +00001459 ColdFunctions.push_back(&F);
Sean Silva9dd4b5c2016-05-28 03:56:25 +00001460 else if (FreqAttr == PGOUseFunc::FFA_Hot)
1461 HotFunctions.push_back(&F);
Hiroshi Yamauchia43913c2017-09-13 17:20:38 +00001462 if (PGOViewCounts != PGOVCT_None &&
1463 (ViewBlockFreqFuncName.empty() ||
1464 F.getName().equals(ViewBlockFreqFuncName))) {
Xinliang David Licb253ce2017-01-23 18:58:24 +00001465 LoopInfo LI{DominatorTree(F)};
1466 std::unique_ptr<BranchProbabilityInfo> NewBPI =
1467 llvm::make_unique<BranchProbabilityInfo>(F, LI);
1468 std::unique_ptr<BlockFrequencyInfo> NewBFI =
1469 llvm::make_unique<BlockFrequencyInfo>(F, *NewBPI, LI);
Hiroshi Yamauchia43913c2017-09-13 17:20:38 +00001470 if (PGOViewCounts == PGOVCT_Graph)
1471 NewBFI->view();
1472 else if (PGOViewCounts == PGOVCT_Text) {
1473 dbgs() << "pgo-view-counts: " << Func.getFunc().getName() << "\n";
1474 NewBFI->print(dbgs());
1475 }
Xinliang David Licb253ce2017-01-23 18:58:24 +00001476 }
Hiroshi Yamauchia43913c2017-09-13 17:20:38 +00001477 if (PGOViewRawCounts != PGOVCT_None &&
1478 (ViewBlockFreqFuncName.empty() ||
1479 F.getName().equals(ViewBlockFreqFuncName))) {
1480 if (PGOViewRawCounts == PGOVCT_Graph)
1481 if (ViewBlockFreqFuncName.empty())
1482 WriteGraph(&Func, Twine("PGORawCounts_") + Func.getFunc().getName());
1483 else
1484 ViewGraph(&Func, Twine("PGORawCounts_") + Func.getFunc().getName());
1485 else if (PGOViewRawCounts == PGOVCT_Text) {
1486 dbgs() << "pgo-view-raw-counts: " << Func.getFunc().getName() << "\n";
1487 Func.dumpInfo();
1488 }
Xinliang David Lid289e452017-01-27 19:06:25 +00001489 }
Rong Xuf430ae42015-12-09 18:08:16 +00001490 }
Easwaran Raman8bceb9d2016-06-21 19:29:49 +00001491 M.setProfileSummary(PGOReader->getSummary().getMD(M.getContext()));
Rong Xu6090afd2016-03-28 17:08:56 +00001492 // Set function hotness attribute from the profile.
Sean Silva42cc3422016-05-28 04:24:39 +00001493 // We have to apply these attributes at the end because their presence
1494 // can affect the BranchProbabilityInfo of any callers, resulting in an
1495 // inconsistent MST between prof-gen and prof-use.
Rong Xu6090afd2016-03-28 17:08:56 +00001496 for (auto &F : HotFunctions) {
Eugene Zelenkofce43572017-10-21 00:57:46 +00001497 F->addFnAttr(Attribute::InlineHint);
Rong Xu6090afd2016-03-28 17:08:56 +00001498 DEBUG(dbgs() << "Set inline attribute to function: " << F->getName()
1499 << "\n");
1500 }
1501 for (auto &F : ColdFunctions) {
Eugene Zelenkofce43572017-10-21 00:57:46 +00001502 F->addFnAttr(Attribute::Cold);
Rong Xu6090afd2016-03-28 17:08:56 +00001503 DEBUG(dbgs() << "Set cold attribute to function: " << F->getName() << "\n");
1504 }
Rong Xuf430ae42015-12-09 18:08:16 +00001505 return true;
1506}
Xinliang David Lid55827f2016-05-07 05:39:12 +00001507
Xinliang David Lida195582016-05-10 21:59:52 +00001508PGOInstrumentationUse::PGOInstrumentationUse(std::string Filename)
Benjamin Kramer82de7d32016-05-27 14:27:24 +00001509 : ProfileFileName(std::move(Filename)) {
Xinliang David Lida195582016-05-10 21:59:52 +00001510 if (!PGOTestProfileFile.empty())
1511 ProfileFileName = PGOTestProfileFile;
1512}
1513
1514PreservedAnalyses PGOInstrumentationUse::run(Module &M,
Sean Silvafd03ac62016-08-09 00:28:38 +00001515 ModuleAnalysisManager &AM) {
Xinliang David Lida195582016-05-10 21:59:52 +00001516
1517 auto &FAM = AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
Xinliang David Lida195582016-05-10 21:59:52 +00001518
1519 auto LookupBFI = [&FAM](Function &F) {
1520 return &FAM.getResult<BlockFrequencyAnalysis>(F);
1521 };
1522
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001523 if (!annotateAllFunctions(M, ProfileFileName, LookupBFI))
Xinliang David Lida195582016-05-10 21:59:52 +00001524 return PreservedAnalyses::all();
1525
1526 return PreservedAnalyses::none();
1527}
1528
Xinliang David Lid55827f2016-05-07 05:39:12 +00001529bool PGOInstrumentationUseLegacyPass::runOnModule(Module &M) {
1530 if (skipModule(M))
1531 return false;
1532
Xinliang David Lidfa21c32016-05-09 21:37:12 +00001533 auto LookupBFI = [this](Function &F) {
1534 return &this->getAnalysis<BlockFrequencyInfoWrapperPass>(F).getBFI();
Xinliang David Lid55827f2016-05-07 05:39:12 +00001535 };
1536
Xinliang David Li4b0027f2017-12-07 22:23:28 +00001537 return annotateAllFunctions(M, ProfileFileName, LookupBFI);
Xinliang David Lid55827f2016-05-07 05:39:12 +00001538}
Xinliang David Lid289e452017-01-27 19:06:25 +00001539
Eugene Zelenkofce43572017-10-21 00:57:46 +00001540static std::string getSimpleNodeName(const BasicBlock *Node) {
1541 if (!Node->getName().empty())
1542 return Node->getName();
1543
1544 std::string SimpleNodeName;
1545 raw_string_ostream OS(SimpleNodeName);
1546 Node->printAsOperand(OS, false);
1547 return OS.str();
1548}
1549
1550void llvm::setProfMetadata(Module *M, Instruction *TI,
1551 ArrayRef<uint64_t> EdgeCounts,
1552 uint64_t MaxCount) {
Rong Xu48596b62017-04-04 16:42:20 +00001553 MDBuilder MDB(M->getContext());
1554 assert(MaxCount > 0 && "Bad max count");
1555 uint64_t Scale = calculateCountScale(MaxCount);
1556 SmallVector<unsigned, 4> Weights;
1557 for (const auto &ECI : EdgeCounts)
1558 Weights.push_back(scaleBranchCount(ECI, Scale));
1559
1560 DEBUG(dbgs() << "Weight is: ";
1561 for (const auto &W : Weights) { dbgs() << W << " "; }
1562 dbgs() << "\n";);
Eugene Zelenkofce43572017-10-21 00:57:46 +00001563 TI->setMetadata(LLVMContext::MD_prof, MDB.createBranchWeights(Weights));
Xinliang David Li0a0acbc2017-06-01 18:58:50 +00001564 if (EmitBranchProbability) {
1565 std::string BrCondStr = getBranchCondString(TI);
1566 if (BrCondStr.empty())
1567 return;
1568
1569 unsigned WSum =
1570 std::accumulate(Weights.begin(), Weights.end(), 0,
1571 [](unsigned w1, unsigned w2) { return w1 + w2; });
1572 uint64_t TotalCount =
1573 std::accumulate(EdgeCounts.begin(), EdgeCounts.end(), 0,
1574 [](uint64_t c1, uint64_t c2) { return c1 + c2; });
1575 BranchProbability BP(Weights[0], WSum);
1576 std::string BranchProbStr;
1577 raw_string_ostream OS(BranchProbStr);
1578 OS << BP;
1579 OS << " (total count : " << TotalCount << ")";
1580 OS.flush();
1581 Function *F = TI->getParent()->getParent();
Davide Italiano0c8d26c2017-07-20 20:43:05 +00001582 OptimizationRemarkEmitter ORE(F);
Vivek Pandya95906582017-10-11 17:12:59 +00001583 ORE.emit([&]() {
1584 return OptimizationRemark(DEBUG_TYPE, "pgo-instrumentation", TI)
1585 << BrCondStr << " is true with probability : " << BranchProbStr;
1586 });
Xinliang David Li0a0acbc2017-06-01 18:58:50 +00001587 }
Rong Xu48596b62017-04-04 16:42:20 +00001588}
1589
Eugene Zelenkofce43572017-10-21 00:57:46 +00001590namespace llvm {
1591
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +00001592void setIrrLoopHeaderMetadata(Module *M, Instruction *TI, uint64_t Count) {
1593 MDBuilder MDB(M->getContext());
1594 TI->setMetadata(llvm::LLVMContext::MD_irr_loop,
1595 MDB.createIrrLoopHeaderWeight(Count));
1596}
1597
Xinliang David Lid289e452017-01-27 19:06:25 +00001598template <> struct GraphTraits<PGOUseFunc *> {
Eugene Zelenkofce43572017-10-21 00:57:46 +00001599 using NodeRef = const BasicBlock *;
1600 using ChildIteratorType = succ_const_iterator;
1601 using nodes_iterator = pointer_iterator<Function::const_iterator>;
Xinliang David Lid289e452017-01-27 19:06:25 +00001602
1603 static NodeRef getEntryNode(const PGOUseFunc *G) {
1604 return &G->getFunc().front();
1605 }
Eugene Zelenkofce43572017-10-21 00:57:46 +00001606
Xinliang David Lid289e452017-01-27 19:06:25 +00001607 static ChildIteratorType child_begin(const NodeRef N) {
1608 return succ_begin(N);
1609 }
Eugene Zelenkofce43572017-10-21 00:57:46 +00001610
Xinliang David Lid289e452017-01-27 19:06:25 +00001611 static ChildIteratorType child_end(const NodeRef N) { return succ_end(N); }
Eugene Zelenkofce43572017-10-21 00:57:46 +00001612
Xinliang David Lid289e452017-01-27 19:06:25 +00001613 static nodes_iterator nodes_begin(const PGOUseFunc *G) {
1614 return nodes_iterator(G->getFunc().begin());
1615 }
Eugene Zelenkofce43572017-10-21 00:57:46 +00001616
Xinliang David Lid289e452017-01-27 19:06:25 +00001617 static nodes_iterator nodes_end(const PGOUseFunc *G) {
1618 return nodes_iterator(G->getFunc().end());
1619 }
1620};
1621
1622template <> struct DOTGraphTraits<PGOUseFunc *> : DefaultDOTGraphTraits {
1623 explicit DOTGraphTraits(bool isSimple = false)
1624 : DefaultDOTGraphTraits(isSimple) {}
1625
1626 static std::string getGraphName(const PGOUseFunc *G) {
1627 return G->getFunc().getName();
1628 }
1629
1630 std::string getNodeLabel(const BasicBlock *Node, const PGOUseFunc *Graph) {
1631 std::string Result;
1632 raw_string_ostream OS(Result);
Xinliang David Li6144a592017-02-03 21:57:51 +00001633
1634 OS << getSimpleNodeName(Node) << ":\\l";
Xinliang David Lid289e452017-01-27 19:06:25 +00001635 UseBBInfo *BI = Graph->findBBInfo(Node);
Xinliang David Li6144a592017-02-03 21:57:51 +00001636 OS << "Count : ";
Xinliang David Lid289e452017-01-27 19:06:25 +00001637 if (BI && BI->CountValid)
Xinliang David Li6144a592017-02-03 21:57:51 +00001638 OS << BI->CountValue << "\\l";
Xinliang David Lid289e452017-01-27 19:06:25 +00001639 else
Xinliang David Li6144a592017-02-03 21:57:51 +00001640 OS << "Unknown\\l";
1641
1642 if (!PGOInstrSelect)
1643 return Result;
1644
1645 for (auto BI = Node->begin(); BI != Node->end(); ++BI) {
1646 auto *I = &*BI;
1647 if (!isa<SelectInst>(I))
1648 continue;
1649 // Display scaled counts for SELECT instruction:
1650 OS << "SELECT : { T = ";
1651 uint64_t TC, FC;
Xinliang David Lic7db0d02017-02-04 07:40:43 +00001652 bool HasProf = I->extractProfMetadata(TC, FC);
1653 if (!HasProf)
Xinliang David Li6144a592017-02-03 21:57:51 +00001654 OS << "Unknown, F = Unknown }\\l";
1655 else
1656 OS << TC << ", F = " << FC << " }\\l";
1657 }
Xinliang David Lid289e452017-01-27 19:06:25 +00001658 return Result;
1659 }
1660};
Eugene Zelenkofce43572017-10-21 00:57:46 +00001661
1662} // end namespace llvm