blob: 295273b4dd7cb3ec2374c09fd8fbc546ba91ed7a [file] [log] [blame]
Justin Bogner61ba2e32014-12-08 18:02:35 +00001//===-- InstrProfiling.cpp - Frontend instrumentation based profiling -----===//
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
Justin Bogner61ba2e32014-12-08 18:02:35 +00006//
7//===----------------------------------------------------------------------===//
8//
Betul Buyukkurt6fac1742015-11-18 18:14:55 +00009// This pass lowers instrprof_* intrinsics emitted by a frontend for profiling.
10// It also builds the data structures and initialization code needed for
11// updating execution counts and emitting the profile at runtime.
Justin Bogner61ba2e32014-12-08 18:02:35 +000012//
13//===----------------------------------------------------------------------===//
14
David Blaikie4fe1fe12018-03-23 22:11:06 +000015#include "llvm/Transforms/Instrumentation/InstrProfiling.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000016#include "llvm/ADT/ArrayRef.h"
17#include "llvm/ADT/SmallVector.h"
18#include "llvm/ADT/StringRef.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000019#include "llvm/ADT/Triple.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000020#include "llvm/ADT/Twine.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000021#include "llvm/Analysis/LoopInfo.h"
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +000022#include "llvm/Analysis/TargetLibraryInfo.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000023#include "llvm/IR/Attributes.h"
24#include "llvm/IR/BasicBlock.h"
25#include "llvm/IR/Constant.h"
26#include "llvm/IR/Constants.h"
27#include "llvm/IR/DerivedTypes.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000028#include "llvm/IR/Dominators.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000029#include "llvm/IR/Function.h"
30#include "llvm/IR/GlobalValue.h"
31#include "llvm/IR/GlobalVariable.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000032#include "llvm/IR/IRBuilder.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000033#include "llvm/IR/Instruction.h"
34#include "llvm/IR/Instructions.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000035#include "llvm/IR/IntrinsicInst.h"
36#include "llvm/IR/Module.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000037#include "llvm/IR/Type.h"
38#include "llvm/Pass.h"
Betul Buyukkurt6fac1742015-11-18 18:14:55 +000039#include "llvm/ProfileData/InstrProf.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000040#include "llvm/Support/Casting.h"
41#include "llvm/Support/CommandLine.h"
42#include "llvm/Support/Error.h"
43#include "llvm/Support/ErrorHandling.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000044#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000045#include "llvm/Transforms/Utils/ModuleUtils.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000046#include "llvm/Transforms/Utils/SSAUpdater.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000047#include <algorithm>
48#include <cassert>
49#include <cstddef>
50#include <cstdint>
51#include <string>
Justin Bogner61ba2e32014-12-08 18:02:35 +000052
53using namespace llvm;
54
55#define DEBUG_TYPE "instrprof"
56
Rong Xu48596b62017-04-04 16:42:20 +000057// The start and end values of precise value profile range for memory
58// intrinsic sizes
59cl::opt<std::string> MemOPSizeRange(
60 "memop-size-range",
61 cl::desc("Set the range of size in memory intrinsic calls to be profiled "
62 "precisely, in a format of <start_val>:<end_val>"),
63 cl::init(""));
64
65// The value that considered to be large value in memory intrinsic.
66cl::opt<unsigned> MemOPSizeLarge(
67 "memop-size-large",
68 cl::desc("Set large value thresthold in memory intrinsic size profiling. "
69 "Value of 0 disables the large value profiling."),
70 cl::init(8192));
71
Justin Bogner61ba2e32014-12-08 18:02:35 +000072namespace {
73
Xinliang David Lia82d6c02016-02-08 18:13:49 +000074cl::opt<bool> DoNameCompression("enable-name-compression",
75 cl::desc("Enable name string compression"),
76 cl::init(true));
77
Rong Xu20f5df12017-01-11 20:19:41 +000078cl::opt<bool> DoHashBasedCounterSplit(
79 "hash-based-counter-split",
80 cl::desc("Rename counter variable of a comdat function based on cfg hash"),
81 cl::init(true));
82
Xinliang David Lib628dd32016-05-21 22:55:34 +000083cl::opt<bool> ValueProfileStaticAlloc(
84 "vp-static-alloc",
85 cl::desc("Do static counter allocation for value profiler"),
86 cl::init(true));
Eugene Zelenko34c23272017-01-18 00:57:48 +000087
Xinliang David Lib628dd32016-05-21 22:55:34 +000088cl::opt<double> NumCountersPerValueSite(
89 "vp-counters-per-site",
90 cl::desc("The average number of profile counters allocated "
91 "per value profiling site."),
92 // This is set to a very small value because in real programs, only
93 // a very small percentage of value sites have non-zero targets, e.g, 1/30.
94 // For those sites with non-zero profile, the average number of targets
95 // is usually smaller than 2.
96 cl::init(1.0));
97
Vedant Kumaree6c2332018-08-16 22:24:47 +000098cl::opt<bool> AtomicCounterUpdateAll(
99 "instrprof-atomic-counter-update-all", cl::ZeroOrMore,
100 cl::desc("Make all profile counter updates atomic (for testing only)"),
101 cl::init(false));
102
Xinliang David Lib67530e2017-06-25 00:26:43 +0000103cl::opt<bool> AtomicCounterUpdatePromoted(
104 "atomic-counter-update-promoted", cl::ZeroOrMore,
105 cl::desc("Do counter update using atomic fetch add "
106 " for promoted counters only"),
107 cl::init(false));
108
109// If the option is not specified, the default behavior about whether
110// counter promotion is done depends on how instrumentaiton lowering
111// pipeline is setup, i.e., the default value of true of this option
112// does not mean the promotion will be done by default. Explicitly
113// setting this option can override the default behavior.
114cl::opt<bool> DoCounterPromotion("do-counter-promotion", cl::ZeroOrMore,
115 cl::desc("Do counter register promotion"),
116 cl::init(false));
117cl::opt<unsigned> MaxNumOfPromotionsPerLoop(
Xinliang David Lif564c692017-07-12 23:27:44 +0000118 cl::ZeroOrMore, "max-counter-promotions-per-loop", cl::init(20),
Xinliang David Lib67530e2017-06-25 00:26:43 +0000119 cl::desc("Max number counter promotions per loop to avoid"
120 " increasing register pressure too much"));
121
122// A debug option
123cl::opt<int>
124 MaxNumOfPromotions(cl::ZeroOrMore, "max-counter-promotions", cl::init(-1),
125 cl::desc("Max number of allowed counter promotions"));
126
Xinliang David Lif564c692017-07-12 23:27:44 +0000127cl::opt<unsigned> SpeculativeCounterPromotionMaxExiting(
128 cl::ZeroOrMore, "speculative-counter-promotion-max-exiting", cl::init(3),
129 cl::desc("The max number of exiting blocks of a loop to allow "
130 " speculative counter promotion"));
131
132cl::opt<bool> SpeculativeCounterPromotionToLoop(
133 cl::ZeroOrMore, "speculative-counter-promotion-to-loop", cl::init(false),
134 cl::desc("When the option is false, if the target block is in a loop, "
135 "the promotion will be disallowed unless the promoted counter "
136 " update can be further/iteratively promoted into an acyclic "
137 " region."));
138
139cl::opt<bool> IterativeCounterPromotion(
140 cl::ZeroOrMore, "iterative-counter-promotion", cl::init(true),
141 cl::desc("Allow counter promotion across the whole loop nest."));
Xinliang David Lib67530e2017-06-25 00:26:43 +0000142
Xinliang David Lie6b89292016-04-18 17:47:38 +0000143class InstrProfilingLegacyPass : public ModulePass {
144 InstrProfiling InstrProf;
145
Justin Bogner61ba2e32014-12-08 18:02:35 +0000146public:
147 static char ID;
Eugene Zelenko34c23272017-01-18 00:57:48 +0000148
149 InstrProfilingLegacyPass() : ModulePass(ID) {}
Xinliang David Lie6b89292016-04-18 17:47:38 +0000150 InstrProfilingLegacyPass(const InstrProfOptions &Options)
151 : ModulePass(ID), InstrProf(Options) {}
Eugene Zelenko34c23272017-01-18 00:57:48 +0000152
Mehdi Amini117296c2016-10-01 02:56:57 +0000153 StringRef getPassName() const override {
Justin Bogner61ba2e32014-12-08 18:02:35 +0000154 return "Frontend instrumentation-based coverage lowering";
155 }
156
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000157 bool runOnModule(Module &M) override {
158 return InstrProf.run(M, getAnalysis<TargetLibraryInfoWrapperPass>().getTLI());
159 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000160
161 void getAnalysisUsage(AnalysisUsage &AU) const override {
162 AU.setPreservesCFG();
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000163 AU.addRequired<TargetLibraryInfoWrapperPass>();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000164 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000165};
166
Xinliang David Lif564c692017-07-12 23:27:44 +0000167///
Xinliang David Lib67530e2017-06-25 00:26:43 +0000168/// A helper class to promote one counter RMW operation in the loop
169/// into register update.
170///
171/// RWM update for the counter will be sinked out of the loop after
172/// the transformation.
173///
174class PGOCounterPromoterHelper : public LoadAndStorePromoter {
175public:
Xinliang David Lif564c692017-07-12 23:27:44 +0000176 PGOCounterPromoterHelper(
177 Instruction *L, Instruction *S, SSAUpdater &SSA, Value *Init,
178 BasicBlock *PH, ArrayRef<BasicBlock *> ExitBlocks,
179 ArrayRef<Instruction *> InsertPts,
180 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
181 LoopInfo &LI)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000182 : LoadAndStorePromoter({L, S}, SSA), Store(S), ExitBlocks(ExitBlocks),
Xinliang David Lif564c692017-07-12 23:27:44 +0000183 InsertPts(InsertPts), LoopToCandidates(LoopToCands), LI(LI) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000184 assert(isa<LoadInst>(L));
185 assert(isa<StoreInst>(S));
186 SSA.AddAvailableValue(PH, Init);
187 }
Xinliang David Lif564c692017-07-12 23:27:44 +0000188
Alina Sbirlea6cba96e2019-02-06 20:25:17 +0000189 void doExtraRewritesBeforeFinalDeletion() override {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000190 for (unsigned i = 0, e = ExitBlocks.size(); i != e; ++i) {
191 BasicBlock *ExitBlock = ExitBlocks[i];
192 Instruction *InsertPos = InsertPts[i];
193 // Get LiveIn value into the ExitBlock. If there are multiple
194 // predecessors, the value is defined by a PHI node in this
195 // block.
196 Value *LiveInValue = SSA.GetValueInMiddleOfBlock(ExitBlock);
197 Value *Addr = cast<StoreInst>(Store)->getPointerOperand();
James Y Knight14359ef2019-02-01 20:44:24 +0000198 Type *Ty = LiveInValue->getType();
Xinliang David Lib67530e2017-06-25 00:26:43 +0000199 IRBuilder<> Builder(InsertPos);
200 if (AtomicCounterUpdatePromoted)
Xinliang David Lif564c692017-07-12 23:27:44 +0000201 // automic update currently can only be promoted across the current
202 // loop, not the whole loop nest.
Xinliang David Lib67530e2017-06-25 00:26:43 +0000203 Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, LiveInValue,
204 AtomicOrdering::SequentiallyConsistent);
205 else {
James Y Knight14359ef2019-02-01 20:44:24 +0000206 LoadInst *OldVal = Builder.CreateLoad(Ty, Addr, "pgocount.promoted");
Xinliang David Lib67530e2017-06-25 00:26:43 +0000207 auto *NewVal = Builder.CreateAdd(OldVal, LiveInValue);
Xinliang David Lif564c692017-07-12 23:27:44 +0000208 auto *NewStore = Builder.CreateStore(NewVal, Addr);
209
210 // Now update the parent loop's candidate list:
211 if (IterativeCounterPromotion) {
212 auto *TargetLoop = LI.getLoopFor(ExitBlock);
213 if (TargetLoop)
214 LoopToCandidates[TargetLoop].emplace_back(OldVal, NewStore);
215 }
Xinliang David Lib67530e2017-06-25 00:26:43 +0000216 }
217 }
218 }
219
220private:
221 Instruction *Store;
222 ArrayRef<BasicBlock *> ExitBlocks;
223 ArrayRef<Instruction *> InsertPts;
Xinliang David Lif564c692017-07-12 23:27:44 +0000224 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
225 LoopInfo &LI;
Xinliang David Lib67530e2017-06-25 00:26:43 +0000226};
227
228/// A helper class to do register promotion for all profile counter
229/// updates in a loop.
230///
231class PGOCounterPromoter {
232public:
Xinliang David Lif564c692017-07-12 23:27:44 +0000233 PGOCounterPromoter(
234 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
235 Loop &CurLoop, LoopInfo &LI)
236 : LoopToCandidates(LoopToCands), ExitBlocks(), InsertPts(), L(CurLoop),
237 LI(LI) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000238
239 SmallVector<BasicBlock *, 8> LoopExitBlocks;
240 SmallPtrSet<BasicBlock *, 8> BlockSet;
Xinliang David Lif564c692017-07-12 23:27:44 +0000241 L.getExitBlocks(LoopExitBlocks);
Xinliang David Lib67530e2017-06-25 00:26:43 +0000242
243 for (BasicBlock *ExitBlock : LoopExitBlocks) {
244 if (BlockSet.insert(ExitBlock).second) {
245 ExitBlocks.push_back(ExitBlock);
246 InsertPts.push_back(&*ExitBlock->getFirstInsertionPt());
247 }
248 }
249 }
250
251 bool run(int64_t *NumPromoted) {
Xinliang David Lic23d2c62017-11-30 19:16:25 +0000252 // Skip 'infinite' loops:
253 if (ExitBlocks.size() == 0)
254 return false;
Xinliang David Lif564c692017-07-12 23:27:44 +0000255 unsigned MaxProm = getMaxNumOfPromotionsInLoop(&L);
256 if (MaxProm == 0)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000257 return false;
258
259 unsigned Promoted = 0;
Xinliang David Lif564c692017-07-12 23:27:44 +0000260 for (auto &Cand : LoopToCandidates[&L]) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000261
262 SmallVector<PHINode *, 4> NewPHIs;
263 SSAUpdater SSA(&NewPHIs);
264 Value *InitVal = ConstantInt::get(Cand.first->getType(), 0);
Xinliang David Lif564c692017-07-12 23:27:44 +0000265
Xinliang David Lib67530e2017-06-25 00:26:43 +0000266 PGOCounterPromoterHelper Promoter(Cand.first, Cand.second, SSA, InitVal,
Xinliang David Lif564c692017-07-12 23:27:44 +0000267 L.getLoopPreheader(), ExitBlocks,
268 InsertPts, LoopToCandidates, LI);
Xinliang David Lib67530e2017-06-25 00:26:43 +0000269 Promoter.run(SmallVector<Instruction *, 2>({Cand.first, Cand.second}));
270 Promoted++;
Xinliang David Lif564c692017-07-12 23:27:44 +0000271 if (Promoted >= MaxProm)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000272 break;
Xinliang David Lif564c692017-07-12 23:27:44 +0000273
Xinliang David Lib67530e2017-06-25 00:26:43 +0000274 (*NumPromoted)++;
275 if (MaxNumOfPromotions != -1 && *NumPromoted >= MaxNumOfPromotions)
276 break;
277 }
278
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000279 LLVM_DEBUG(dbgs() << Promoted << " counters promoted for loop (depth="
280 << L.getLoopDepth() << ")\n");
Xinliang David Lib67530e2017-06-25 00:26:43 +0000281 return Promoted != 0;
282 }
283
284private:
Xinliang David Lif564c692017-07-12 23:27:44 +0000285 bool allowSpeculativeCounterPromotion(Loop *LP) {
286 SmallVector<BasicBlock *, 8> ExitingBlocks;
287 L.getExitingBlocks(ExitingBlocks);
288 // Not considierered speculative.
289 if (ExitingBlocks.size() == 1)
290 return true;
291 if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
292 return false;
293 return true;
294 }
295
296 // Returns the max number of Counter Promotions for LP.
297 unsigned getMaxNumOfPromotionsInLoop(Loop *LP) {
298 // We can't insert into a catchswitch.
299 SmallVector<BasicBlock *, 8> LoopExitBlocks;
300 LP->getExitBlocks(LoopExitBlocks);
301 if (llvm::any_of(LoopExitBlocks, [](BasicBlock *Exit) {
302 return isa<CatchSwitchInst>(Exit->getTerminator());
303 }))
304 return 0;
305
306 if (!LP->hasDedicatedExits())
307 return 0;
308
309 BasicBlock *PH = LP->getLoopPreheader();
310 if (!PH)
311 return 0;
312
313 SmallVector<BasicBlock *, 8> ExitingBlocks;
314 LP->getExitingBlocks(ExitingBlocks);
315 // Not considierered speculative.
316 if (ExitingBlocks.size() == 1)
317 return MaxNumOfPromotionsPerLoop;
318
319 if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
320 return 0;
321
322 // Whether the target block is in a loop does not matter:
323 if (SpeculativeCounterPromotionToLoop)
324 return MaxNumOfPromotionsPerLoop;
325
326 // Now check the target block:
327 unsigned MaxProm = MaxNumOfPromotionsPerLoop;
328 for (auto *TargetBlock : LoopExitBlocks) {
329 auto *TargetLoop = LI.getLoopFor(TargetBlock);
330 if (!TargetLoop)
331 continue;
332 unsigned MaxPromForTarget = getMaxNumOfPromotionsInLoop(TargetLoop);
333 unsigned PendingCandsInTarget = LoopToCandidates[TargetLoop].size();
334 MaxProm =
335 std::min(MaxProm, std::max(MaxPromForTarget, PendingCandsInTarget) -
336 PendingCandsInTarget);
337 }
338 return MaxProm;
339 }
340
341 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
Xinliang David Lib67530e2017-06-25 00:26:43 +0000342 SmallVector<BasicBlock *, 8> ExitBlocks;
343 SmallVector<Instruction *, 8> InsertPts;
Xinliang David Lif564c692017-07-12 23:27:44 +0000344 Loop &L;
345 LoopInfo &LI;
Xinliang David Lib67530e2017-06-25 00:26:43 +0000346};
347
Eugene Zelenko34c23272017-01-18 00:57:48 +0000348} // end anonymous namespace
Justin Bogner61ba2e32014-12-08 18:02:35 +0000349
Sean Silvafd03ac62016-08-09 00:28:38 +0000350PreservedAnalyses InstrProfiling::run(Module &M, ModuleAnalysisManager &AM) {
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000351 auto &TLI = AM.getResult<TargetLibraryAnalysis>(M);
352 if (!run(M, TLI))
Xinliang David Lie6b89292016-04-18 17:47:38 +0000353 return PreservedAnalyses::all();
354
355 return PreservedAnalyses::none();
356}
357
358char InstrProfilingLegacyPass::ID = 0;
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000359INITIALIZE_PASS_BEGIN(
360 InstrProfilingLegacyPass, "instrprof",
361 "Frontend instrumentation-based coverage lowering.", false, false)
362INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
363INITIALIZE_PASS_END(
364 InstrProfilingLegacyPass, "instrprof",
365 "Frontend instrumentation-based coverage lowering.", false, false)
Justin Bogner61ba2e32014-12-08 18:02:35 +0000366
Xinliang David Li69a00f02016-06-21 02:39:08 +0000367ModulePass *
368llvm::createInstrProfilingLegacyPass(const InstrProfOptions &Options) {
Xinliang David Lie6b89292016-04-18 17:47:38 +0000369 return new InstrProfilingLegacyPass(Options);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000370}
371
Xinliang David Li4ca17332016-09-18 18:34:07 +0000372static InstrProfIncrementInst *castToIncrementInst(Instruction *Instr) {
373 InstrProfIncrementInst *Inc = dyn_cast<InstrProfIncrementInstStep>(Instr);
374 if (Inc)
375 return Inc;
376 return dyn_cast<InstrProfIncrementInst>(Instr);
377}
378
Xinliang David Lib67530e2017-06-25 00:26:43 +0000379bool InstrProfiling::lowerIntrinsics(Function *F) {
380 bool MadeChange = false;
381 PromotionCandidates.clear();
382 for (BasicBlock &BB : *F) {
383 for (auto I = BB.begin(), E = BB.end(); I != E;) {
384 auto Instr = I++;
385 InstrProfIncrementInst *Inc = castToIncrementInst(&*Instr);
386 if (Inc) {
387 lowerIncrement(Inc);
388 MadeChange = true;
389 } else if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(Instr)) {
390 lowerValueProfileInst(Ind);
391 MadeChange = true;
392 }
393 }
394 }
395
396 if (!MadeChange)
397 return false;
398
399 promoteCounterLoadStores(F);
400 return true;
401}
402
403bool InstrProfiling::isCounterPromotionEnabled() const {
404 if (DoCounterPromotion.getNumOccurrences() > 0)
405 return DoCounterPromotion;
406
407 return Options.DoCounterPromotion;
408}
409
410void InstrProfiling::promoteCounterLoadStores(Function *F) {
411 if (!isCounterPromotionEnabled())
412 return;
413
414 DominatorTree DT(*F);
415 LoopInfo LI(DT);
416 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> LoopPromotionCandidates;
417
418 for (const auto &LoadStore : PromotionCandidates) {
419 auto *CounterLoad = LoadStore.first;
420 auto *CounterStore = LoadStore.second;
421 BasicBlock *BB = CounterLoad->getParent();
422 Loop *ParentLoop = LI.getLoopFor(BB);
423 if (!ParentLoop)
424 continue;
425 LoopPromotionCandidates[ParentLoop].emplace_back(CounterLoad, CounterStore);
426 }
427
428 SmallVector<Loop *, 4> Loops = LI.getLoopsInPreorder();
429
Xinliang David Lif564c692017-07-12 23:27:44 +0000430 // Do a post-order traversal of the loops so that counter updates can be
431 // iteratively hoisted outside the loop nest.
432 for (auto *Loop : llvm::reverse(Loops)) {
433 PGOCounterPromoter Promoter(LoopPromotionCandidates, *Loop, LI);
Xinliang David Lib67530e2017-06-25 00:26:43 +0000434 Promoter.run(&TotalCountersPromoted);
435 }
436}
437
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000438/// Check if the module contains uses of any profiling intrinsics.
439static bool containsProfilingIntrinsics(Module &M) {
440 if (auto *F = M.getFunction(
441 Intrinsic::getName(llvm::Intrinsic::instrprof_increment)))
Vedant Kumarcff94622018-01-27 00:01:04 +0000442 if (!F->use_empty())
443 return true;
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000444 if (auto *F = M.getFunction(
445 Intrinsic::getName(llvm::Intrinsic::instrprof_increment_step)))
Vedant Kumarcff94622018-01-27 00:01:04 +0000446 if (!F->use_empty())
447 return true;
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000448 if (auto *F = M.getFunction(
449 Intrinsic::getName(llvm::Intrinsic::instrprof_value_profile)))
Vedant Kumarcff94622018-01-27 00:01:04 +0000450 if (!F->use_empty())
451 return true;
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000452 return false;
453}
454
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000455bool InstrProfiling::run(Module &M, const TargetLibraryInfo &TLI) {
Justin Bogner61ba2e32014-12-08 18:02:35 +0000456 this->M = &M;
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000457 this->TLI = &TLI;
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000458 NamesVar = nullptr;
459 NamesSize = 0;
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000460 ProfileDataMap.clear();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000461 UsedVars.clear();
Rong Xu48596b62017-04-04 16:42:20 +0000462 getMemOPSizeRangeFromOption(MemOPSizeRange, MemOPSizeRangeStart,
463 MemOPSizeRangeLast);
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000464 TT = Triple(M.getTargetTriple());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000465
Vedant Kumar9a041a72018-02-28 19:00:08 +0000466 // Emit the runtime hook even if no counters are present.
467 bool MadeChange = emitRuntimeHook();
468
469 // Improve compile time by avoiding linear scans when there is no work.
470 GlobalVariable *CoverageNamesVar =
471 M.getNamedGlobal(getCoverageUnusedNamesVarName());
472 if (!containsProfilingIntrinsics(M) && !CoverageNamesVar)
473 return MadeChange;
474
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000475 // We did not know how many value sites there would be inside
476 // the instrumented function. This is counting the number of instrumented
477 // target value sites to enter it as field in the profile data variable.
Rong Xu294572f2016-01-19 18:29:54 +0000478 for (Function &F : M) {
479 InstrProfIncrementInst *FirstProfIncInst = nullptr;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000480 for (BasicBlock &BB : F)
Rong Xu294572f2016-01-19 18:29:54 +0000481 for (auto I = BB.begin(), E = BB.end(); I != E; I++)
482 if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(I))
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000483 computeNumValueSiteCounts(Ind);
Rong Xu294572f2016-01-19 18:29:54 +0000484 else if (FirstProfIncInst == nullptr)
485 FirstProfIncInst = dyn_cast<InstrProfIncrementInst>(I);
486
487 // Value profiling intrinsic lowering requires per-function profile data
488 // variable to be created first.
489 if (FirstProfIncInst != nullptr)
490 static_cast<void>(getOrCreateRegionCounters(FirstProfIncInst));
491 }
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000492
493 for (Function &F : M)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000494 MadeChange |= lowerIntrinsics(&F);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000495
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000496 if (CoverageNamesVar) {
Xinliang David Li81056072016-01-07 20:05:49 +0000497 lowerCoverageData(CoverageNamesVar);
Justin Bognerd24e1852015-02-11 02:52:44 +0000498 MadeChange = true;
499 }
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000500
Justin Bogner61ba2e32014-12-08 18:02:35 +0000501 if (!MadeChange)
502 return false;
503
Xinliang David Lib628dd32016-05-21 22:55:34 +0000504 emitVNodes();
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000505 emitNameData();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000506 emitRegistration();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000507 emitUses();
508 emitInitialization();
509 return true;
510}
511
James Y Knight13680222019-02-01 02:28:03 +0000512static FunctionCallee
513getOrInsertValueProfilingCall(Module &M, const TargetLibraryInfo &TLI,
514 bool IsRange = false) {
Xinliang David Lic7673232015-11-22 00:22:07 +0000515 LLVMContext &Ctx = M.getContext();
516 auto *ReturnTy = Type::getVoidTy(M.getContext());
Rong Xu60faea12017-03-16 21:15:48 +0000517
James Y Knight13680222019-02-01 02:28:03 +0000518 AttributeList AL;
519 if (auto AK = TLI.getExtAttrForI32Param(false))
520 AL = AL.addParamAttribute(M.getContext(), 2, AK);
521
Rong Xu60faea12017-03-16 21:15:48 +0000522 if (!IsRange) {
523 Type *ParamTypes[] = {
Xinliang David Lic7673232015-11-22 00:22:07 +0000524#define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
525#include "llvm/ProfileData/InstrProfData.inc"
Rong Xu60faea12017-03-16 21:15:48 +0000526 };
527 auto *ValueProfilingCallTy =
528 FunctionType::get(ReturnTy, makeArrayRef(ParamTypes), false);
James Y Knight13680222019-02-01 02:28:03 +0000529 return M.getOrInsertFunction(getInstrProfValueProfFuncName(),
530 ValueProfilingCallTy, AL);
Rong Xu60faea12017-03-16 21:15:48 +0000531 } else {
532 Type *RangeParamTypes[] = {
533#define VALUE_RANGE_PROF 1
534#define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
535#include "llvm/ProfileData/InstrProfData.inc"
536#undef VALUE_RANGE_PROF
537 };
538 auto *ValueRangeProfilingCallTy =
539 FunctionType::get(ReturnTy, makeArrayRef(RangeParamTypes), false);
James Y Knight13680222019-02-01 02:28:03 +0000540 return M.getOrInsertFunction(getInstrProfValueRangeProfFuncName(),
541 ValueRangeProfilingCallTy, AL);
Rong Xu60faea12017-03-16 21:15:48 +0000542 }
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000543}
544
545void InstrProfiling::computeNumValueSiteCounts(InstrProfValueProfileInst *Ind) {
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000546 GlobalVariable *Name = Ind->getName();
547 uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
548 uint64_t Index = Ind->getIndex()->getZExtValue();
549 auto It = ProfileDataMap.find(Name);
550 if (It == ProfileDataMap.end()) {
551 PerFunctionProfileData PD;
552 PD.NumValueSites[ValueKind] = Index + 1;
553 ProfileDataMap[Name] = PD;
554 } else if (It->second.NumValueSites[ValueKind] <= Index)
555 It->second.NumValueSites[ValueKind] = Index + 1;
556}
557
558void InstrProfiling::lowerValueProfileInst(InstrProfValueProfileInst *Ind) {
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000559 GlobalVariable *Name = Ind->getName();
560 auto It = ProfileDataMap.find(Name);
561 assert(It != ProfileDataMap.end() && It->second.DataVar &&
Xinliang David Li69a00f02016-06-21 02:39:08 +0000562 "value profiling detected in function with no counter incerement");
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000563
564 GlobalVariable *DataVar = It->second.DataVar;
565 uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
566 uint64_t Index = Ind->getIndex()->getZExtValue();
567 for (uint32_t Kind = IPVK_First; Kind < ValueKind; ++Kind)
568 Index += It->second.NumValueSites[Kind];
569
570 IRBuilder<> Builder(Ind);
Rong Xu60faea12017-03-16 21:15:48 +0000571 bool IsRange = (Ind->getValueKind()->getZExtValue() ==
572 llvm::InstrProfValueKind::IPVK_MemOPSize);
573 CallInst *Call = nullptr;
574 if (!IsRange) {
575 Value *Args[3] = {Ind->getTargetValue(),
576 Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
577 Builder.getInt32(Index)};
578 Call = Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI), Args);
579 } else {
Rong Xu48596b62017-04-04 16:42:20 +0000580 Value *Args[6] = {
581 Ind->getTargetValue(),
582 Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
583 Builder.getInt32(Index),
584 Builder.getInt64(MemOPSizeRangeStart),
585 Builder.getInt64(MemOPSizeRangeLast),
586 Builder.getInt64(MemOPSizeLarge == 0 ? INT64_MIN : MemOPSizeLarge)};
Rong Xu60faea12017-03-16 21:15:48 +0000587 Call =
588 Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI, true), Args);
589 }
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000590 if (auto AK = TLI->getExtAttrForI32Param(false))
Reid Klecknera0b45f42017-05-03 18:17:31 +0000591 Call->addParamAttr(2, AK);
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000592 Ind->replaceAllUsesWith(Call);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000593 Ind->eraseFromParent();
594}
595
Justin Bogner61ba2e32014-12-08 18:02:35 +0000596void InstrProfiling::lowerIncrement(InstrProfIncrementInst *Inc) {
597 GlobalVariable *Counters = getOrCreateRegionCounters(Inc);
598
Duncan P. N. Exon Smithe82c2862015-10-13 17:39:10 +0000599 IRBuilder<> Builder(Inc);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000600 uint64_t Index = Inc->getIndex()->getZExtValue();
James Y Knight77160752019-02-01 20:44:47 +0000601 Value *Addr = Builder.CreateConstInBoundsGEP2_64(Counters->getValueType(),
602 Counters, 0, Index);
Vedant Kumaree6c2332018-08-16 22:24:47 +0000603
604 if (Options.Atomic || AtomicCounterUpdateAll) {
605 Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, Inc->getStep(),
606 AtomicOrdering::Monotonic);
607 } else {
James Y Knight14359ef2019-02-01 20:44:24 +0000608 Value *IncStep = Inc->getStep();
609 Value *Load = Builder.CreateLoad(IncStep->getType(), Addr, "pgocount");
Vedant Kumaree6c2332018-08-16 22:24:47 +0000610 auto *Count = Builder.CreateAdd(Load, Inc->getStep());
611 auto *Store = Builder.CreateStore(Count, Addr);
612 if (isCounterPromotionEnabled())
613 PromotionCandidates.emplace_back(cast<Instruction>(Load), Store);
614 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000615 Inc->eraseFromParent();
616}
617
Xinliang David Li81056072016-01-07 20:05:49 +0000618void InstrProfiling::lowerCoverageData(GlobalVariable *CoverageNamesVar) {
Xinliang David Li81056072016-01-07 20:05:49 +0000619 ConstantArray *Names =
620 cast<ConstantArray>(CoverageNamesVar->getInitializer());
621 for (unsigned I = 0, E = Names->getNumOperands(); I < E; ++I) {
622 Constant *NC = Names->getOperand(I);
623 Value *V = NC->stripPointerCasts();
Justin Bognerd24e1852015-02-11 02:52:44 +0000624 assert(isa<GlobalVariable>(V) && "Missing reference to function name");
625 GlobalVariable *Name = cast<GlobalVariable>(V);
626
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000627 Name->setLinkage(GlobalValue::PrivateLinkage);
628 ReferencedNames.push_back(Name);
Vedant Kumar55891fc2017-02-14 20:03:48 +0000629 NC->dropAllReferences();
Justin Bognerd24e1852015-02-11 02:52:44 +0000630 }
Vedant Kumar55891fc2017-02-14 20:03:48 +0000631 CoverageNamesVar->eraseFromParent();
Justin Bognerd24e1852015-02-11 02:52:44 +0000632}
633
Justin Bogner61ba2e32014-12-08 18:02:35 +0000634/// Get the name of a profiling variable for a particular function.
Xinliang David Li83bc4222015-10-22 20:32:12 +0000635static std::string getVarName(InstrProfIncrementInst *Inc, StringRef Prefix) {
Xinliang David Lid1bab962015-12-12 17:28:03 +0000636 StringRef NamePrefix = getInstrProfNameVarPrefix();
637 StringRef Name = Inc->getName()->getName().substr(NamePrefix.size());
Rong Xu20f5df12017-01-11 20:19:41 +0000638 Function *F = Inc->getParent()->getParent();
639 Module *M = F->getParent();
640 if (!DoHashBasedCounterSplit || !isIRPGOFlagSet(M) ||
641 !canRenameComdatFunc(*F))
642 return (Prefix + Name).str();
643 uint64_t FuncHash = Inc->getHash()->getZExtValue();
644 SmallVector<char, 24> HashPostfix;
645 if (Name.endswith((Twine(".") + Twine(FuncHash)).toStringRef(HashPostfix)))
646 return (Prefix + Name).str();
647 return (Prefix + Name + "." + Twine(FuncHash)).str();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000648}
649
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000650static inline bool shouldRecordFunctionAddr(Function *F) {
651 // Check the linkage
Vedant Kumar9c056c92017-06-13 22:12:35 +0000652 bool HasAvailableExternallyLinkage = F->hasAvailableExternallyLinkage();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000653 if (!F->hasLinkOnceLinkage() && !F->hasLocalLinkage() &&
Vedant Kumar9c056c92017-06-13 22:12:35 +0000654 !HasAvailableExternallyLinkage)
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000655 return true;
Vedant Kumar9c056c92017-06-13 22:12:35 +0000656
657 // A function marked 'alwaysinline' with available_externally linkage can't
658 // have its address taken. Doing so would create an undefined external ref to
659 // the function, which would fail to link.
660 if (HasAvailableExternallyLinkage &&
661 F->hasFnAttribute(Attribute::AlwaysInline))
662 return false;
663
Rong Xuaf5aeba2016-04-27 21:17:30 +0000664 // Prohibit function address recording if the function is both internal and
665 // COMDAT. This avoids the profile data variable referencing internal symbols
666 // in COMDAT.
667 if (F->hasLocalLinkage() && F->hasComdat())
668 return false;
Vedant Kumar9c056c92017-06-13 22:12:35 +0000669
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000670 // Check uses of this function for other than direct calls or invokes to it.
Xinliang David Li7008ce32016-06-02 16:33:41 +0000671 // Inline virtual functions have linkeOnceODR linkage. When a key method
672 // exists, the vtable will only be emitted in the TU where the key method
673 // is defined. In a TU where vtable is not available, the function won't
Xinliang David Li6c44e9e2016-06-03 23:02:28 +0000674 // be 'addresstaken'. If its address is not recorded here, the profile data
Xinliang David Li69a00f02016-06-21 02:39:08 +0000675 // with missing address may be picked by the linker leading to missing
Xinliang David Li6c44e9e2016-06-03 23:02:28 +0000676 // indirect call target info.
677 return F->hasAddressTaken() || F->hasLinkOnceLinkage();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000678}
679
Xinliang David Li985ff202016-02-27 23:11:30 +0000680static inline Comdat *getOrCreateProfileComdat(Module &M, Function &F,
Reid Klecknerf21c0222019-02-07 18:16:22 +0000681 InstrProfIncrementInst *Inc,
682 const Triple &TT) {
Xinliang David Li985ff202016-02-27 23:11:30 +0000683 if (!needsComdatForCounter(F, M))
684 return nullptr;
685
Xinliang David Liab361ef2015-12-21 21:52:27 +0000686 // COFF format requires a COMDAT section to have a key symbol with the same
Vedant Kumar2d5b5d32016-02-03 23:22:43 +0000687 // name. The linker targeting COFF also requires that the COMDAT
Xinliang David Li5fe04552015-12-22 00:11:15 +0000688 // a section is associated to must precede the associating section. For this
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000689 // reason, we must choose the counter var's name as the name of the comdat.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000690 StringRef ComdatPrefix =
691 (TT.isOSBinFormatCOFF() ? getInstrProfCountersVarPrefix()
692 : getInstrProfComdatPrefix());
Xinliang David Liab361ef2015-12-21 21:52:27 +0000693 return M.getOrInsertComdat(StringRef(getVarName(Inc, ComdatPrefix)));
694}
695
Reid Klecknerf21c0222019-02-07 18:16:22 +0000696static bool needsRuntimeRegistrationOfSectionRange(const Triple &TT) {
Xinliang David Lib628dd32016-05-21 22:55:34 +0000697 // Don't do this for Darwin. compiler-rt uses linker magic.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000698 if (TT.isOSDarwin())
Xinliang David Lib628dd32016-05-21 22:55:34 +0000699 return false;
700
701 // Use linker script magic to get data/cnts/name start/end.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000702 if (TT.isOSLinux() || TT.isOSFreeBSD() || TT.isOSNetBSD() ||
703 TT.isOSFuchsia() || TT.isPS4CPU())
Xinliang David Lib628dd32016-05-21 22:55:34 +0000704 return false;
705
706 return true;
707}
708
Justin Bogner61ba2e32014-12-08 18:02:35 +0000709GlobalVariable *
710InstrProfiling::getOrCreateRegionCounters(InstrProfIncrementInst *Inc) {
Xinliang David Li192c7482015-11-05 00:47:26 +0000711 GlobalVariable *NamePtr = Inc->getName();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000712 auto It = ProfileDataMap.find(NamePtr);
713 PerFunctionProfileData PD;
714 if (It != ProfileDataMap.end()) {
715 if (It->second.RegionCounters)
716 return It->second.RegionCounters;
717 PD = It->second;
718 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000719
Wei Mi3cc92042015-09-23 22:40:45 +0000720 // Move the name variable to the right section. Place them in a COMDAT group
721 // if the associated function is a COMDAT. This will make sure that
722 // only one copy of counters of the COMDAT function will be emitted after
723 // linking.
Diego Novillodf4837b2015-05-27 19:34:01 +0000724 Function *Fn = Inc->getParent()->getParent();
Wei Mi3cc92042015-09-23 22:40:45 +0000725 Comdat *ProfileVarsComdat = nullptr;
Reid Klecknerf21c0222019-02-07 18:16:22 +0000726 ProfileVarsComdat = getOrCreateProfileComdat(*M, *Fn, Inc, TT);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000727
728 uint64_t NumCounters = Inc->getNumCounters()->getZExtValue();
729 LLVMContext &Ctx = M->getContext();
730 ArrayType *CounterTy = ArrayType::get(Type::getInt64Ty(Ctx), NumCounters);
731
732 // Create the counters variable.
Xinliang David Li192c7482015-11-05 00:47:26 +0000733 auto *CounterPtr =
734 new GlobalVariable(*M, CounterTy, false, NamePtr->getLinkage(),
Xinliang David Li83bc4222015-10-22 20:32:12 +0000735 Constant::getNullValue(CounterTy),
736 getVarName(Inc, getInstrProfCountersVarPrefix()));
Xinliang David Li192c7482015-11-05 00:47:26 +0000737 CounterPtr->setVisibility(NamePtr->getVisibility());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000738 CounterPtr->setSection(
739 getInstrProfSectionName(IPSK_cnts, TT.getObjectFormat()));
Xinliang David Li192c7482015-11-05 00:47:26 +0000740 CounterPtr->setAlignment(8);
741 CounterPtr->setComdat(ProfileVarsComdat);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000742
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000743 auto *Int8PtrTy = Type::getInt8PtrTy(Ctx);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000744 // Allocate statically the array of pointers to value profile nodes for
745 // the current function.
746 Constant *ValuesPtrExpr = ConstantPointerNull::get(Int8PtrTy);
Reid Klecknerf21c0222019-02-07 18:16:22 +0000747 if (ValueProfileStaticAlloc && !needsRuntimeRegistrationOfSectionRange(TT)) {
Xinliang David Lib628dd32016-05-21 22:55:34 +0000748 uint64_t NS = 0;
749 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
750 NS += PD.NumValueSites[Kind];
751 if (NS) {
752 ArrayType *ValuesTy = ArrayType::get(Type::getInt64Ty(Ctx), NS);
753
754 auto *ValuesVar =
755 new GlobalVariable(*M, ValuesTy, false, NamePtr->getLinkage(),
756 Constant::getNullValue(ValuesTy),
757 getVarName(Inc, getInstrProfValuesVarPrefix()));
758 ValuesVar->setVisibility(NamePtr->getVisibility());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000759 ValuesVar->setSection(
760 getInstrProfSectionName(IPSK_vals, TT.getObjectFormat()));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000761 ValuesVar->setAlignment(8);
762 ValuesVar->setComdat(ProfileVarsComdat);
763 ValuesPtrExpr =
Eugene Zelenko34c23272017-01-18 00:57:48 +0000764 ConstantExpr::getBitCast(ValuesVar, Type::getInt8PtrTy(Ctx));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000765 }
766 }
767
768 // Create data variable.
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000769 auto *Int16Ty = Type::getInt16Ty(Ctx);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000770 auto *Int16ArrayTy = ArrayType::get(Int16Ty, IPVK_Last + 1);
Xinliang David Li192c7482015-11-05 00:47:26 +0000771 Type *DataTypes[] = {
Xinliang David Li69a00f02016-06-21 02:39:08 +0000772#define INSTR_PROF_DATA(Type, LLVMType, Name, Init) LLVMType,
773#include "llvm/ProfileData/InstrProfData.inc"
Xinliang David Li192c7482015-11-05 00:47:26 +0000774 };
Justin Bogner61ba2e32014-12-08 18:02:35 +0000775 auto *DataTy = StructType::get(Ctx, makeArrayRef(DataTypes));
Xinliang David Li192c7482015-11-05 00:47:26 +0000776
Xinliang David Li69a00f02016-06-21 02:39:08 +0000777 Constant *FunctionAddr = shouldRecordFunctionAddr(Fn)
778 ? ConstantExpr::getBitCast(Fn, Int8PtrTy)
779 : ConstantPointerNull::get(Int8PtrTy);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000780
Xinliang David Li69a00f02016-06-21 02:39:08 +0000781 Constant *Int16ArrayVals[IPVK_Last + 1];
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000782 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
783 Int16ArrayVals[Kind] = ConstantInt::get(Int16Ty, PD.NumValueSites[Kind]);
784
Justin Bogner61ba2e32014-12-08 18:02:35 +0000785 Constant *DataVals[] = {
Xinliang David Li69a00f02016-06-21 02:39:08 +0000786#define INSTR_PROF_DATA(Type, LLVMType, Name, Init) Init,
787#include "llvm/ProfileData/InstrProfData.inc"
Xinliang David Li192c7482015-11-05 00:47:26 +0000788 };
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000789 auto *Data = new GlobalVariable(*M, DataTy, false, NamePtr->getLinkage(),
Justin Bogner61ba2e32014-12-08 18:02:35 +0000790 ConstantStruct::get(DataTy, DataVals),
Xinliang David Li83bc4222015-10-22 20:32:12 +0000791 getVarName(Inc, getInstrProfDataVarPrefix()));
Xinliang David Li192c7482015-11-05 00:47:26 +0000792 Data->setVisibility(NamePtr->getVisibility());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000793 Data->setSection(getInstrProfSectionName(IPSK_data, TT.getObjectFormat()));
Xinliang David Lic7c1f852015-11-23 18:02:59 +0000794 Data->setAlignment(INSTR_PROF_DATA_ALIGNMENT);
Wei Mi3cc92042015-09-23 22:40:45 +0000795 Data->setComdat(ProfileVarsComdat);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000796
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000797 PD.RegionCounters = CounterPtr;
798 PD.DataVar = Data;
799 ProfileDataMap[NamePtr] = PD;
800
Justin Bogner61ba2e32014-12-08 18:02:35 +0000801 // Mark the data variable as used so that it isn't stripped out.
802 UsedVars.push_back(Data);
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000803 // Now that the linkage set by the FE has been passed to the data and counter
804 // variables, reset Name variable's linkage and visibility to private so that
805 // it can be removed later by the compiler.
806 NamePtr->setLinkage(GlobalValue::PrivateLinkage);
807 // Collect the referenced names to be used by emitNameData.
808 ReferencedNames.push_back(NamePtr);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000809
Xinliang David Li192c7482015-11-05 00:47:26 +0000810 return CounterPtr;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000811}
812
Xinliang David Lib628dd32016-05-21 22:55:34 +0000813void InstrProfiling::emitVNodes() {
814 if (!ValueProfileStaticAlloc)
815 return;
Xinliang David Li8da773b2016-05-17 20:19:03 +0000816
Xinliang David Lib628dd32016-05-21 22:55:34 +0000817 // For now only support this on platforms that do
818 // not require runtime registration to discover
819 // named section start/end.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000820 if (needsRuntimeRegistrationOfSectionRange(TT))
Xinliang David Lib628dd32016-05-21 22:55:34 +0000821 return;
Xinliang David Li8da773b2016-05-17 20:19:03 +0000822
Xinliang David Lib628dd32016-05-21 22:55:34 +0000823 size_t TotalNS = 0;
824 for (auto &PD : ProfileDataMap) {
825 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
826 TotalNS += PD.second.NumValueSites[Kind];
827 }
828
829 if (!TotalNS)
830 return;
831
832 uint64_t NumCounters = TotalNS * NumCountersPerValueSite;
Xinliang David Li69a00f02016-06-21 02:39:08 +0000833// Heuristic for small programs with very few total value sites.
834// The default value of vp-counters-per-site is chosen based on
835// the observation that large apps usually have a low percentage
836// of value sites that actually have any profile data, and thus
837// the average number of counters per site is low. For small
838// apps with very few sites, this may not be true. Bump up the
839// number of counters in this case.
Xinliang David Lie4520762016-05-23 19:29:26 +0000840#define INSTR_PROF_MIN_VAL_COUNTS 10
841 if (NumCounters < INSTR_PROF_MIN_VAL_COUNTS)
Xinliang David Li69a00f02016-06-21 02:39:08 +0000842 NumCounters = std::max(INSTR_PROF_MIN_VAL_COUNTS, (int)NumCounters * 2);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000843
844 auto &Ctx = M->getContext();
845 Type *VNodeTypes[] = {
846#define INSTR_PROF_VALUE_NODE(Type, LLVMType, Name, Init) LLVMType,
847#include "llvm/ProfileData/InstrProfData.inc"
848 };
849 auto *VNodeTy = StructType::get(Ctx, makeArrayRef(VNodeTypes));
850
851 ArrayType *VNodesTy = ArrayType::get(VNodeTy, NumCounters);
852 auto *VNodesVar = new GlobalVariable(
Eugene Zelenko34c23272017-01-18 00:57:48 +0000853 *M, VNodesTy, false, GlobalValue::PrivateLinkage,
Xinliang David Lib628dd32016-05-21 22:55:34 +0000854 Constant::getNullValue(VNodesTy), getInstrProfVNodesVarName());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000855 VNodesVar->setSection(
856 getInstrProfSectionName(IPSK_vnodes, TT.getObjectFormat()));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000857 UsedVars.push_back(VNodesVar);
Xinliang David Li8da773b2016-05-17 20:19:03 +0000858}
859
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000860void InstrProfiling::emitNameData() {
861 std::string UncompressedData;
862
863 if (ReferencedNames.empty())
864 return;
865
866 std::string CompressedNameStr;
Vedant Kumar9152fd12016-05-19 03:54:45 +0000867 if (Error E = collectPGOFuncNameStrings(ReferencedNames, CompressedNameStr,
Vedant Kumar43cba732016-05-03 16:53:17 +0000868 DoNameCompression)) {
Eugene Zelenko34c23272017-01-18 00:57:48 +0000869 report_fatal_error(toString(std::move(E)), false);
Vedant Kumar43cba732016-05-03 16:53:17 +0000870 }
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000871
872 auto &Ctx = M->getContext();
Eugene Zelenko34c23272017-01-18 00:57:48 +0000873 auto *NamesVal = ConstantDataArray::getString(
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000874 Ctx, StringRef(CompressedNameStr), false);
Eugene Zelenko34c23272017-01-18 00:57:48 +0000875 NamesVar = new GlobalVariable(*M, NamesVal->getType(), true,
876 GlobalValue::PrivateLinkage, NamesVal,
877 getInstrProfNamesVarName());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000878 NamesSize = CompressedNameStr.size();
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000879 NamesVar->setSection(
880 getInstrProfSectionName(IPSK_name, TT.getObjectFormat()));
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000881 UsedVars.push_back(NamesVar);
Vedant Kumar55891fc2017-02-14 20:03:48 +0000882
883 for (auto *NamePtr : ReferencedNames)
884 NamePtr->eraseFromParent();
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000885}
886
Justin Bogner61ba2e32014-12-08 18:02:35 +0000887void InstrProfiling::emitRegistration() {
Reid Klecknerf21c0222019-02-07 18:16:22 +0000888 if (!needsRuntimeRegistrationOfSectionRange(TT))
Xinliang David Liaa0592c2015-10-19 04:17:10 +0000889 return;
Xinliang David Li3dd88172015-10-13 18:39:48 +0000890
Justin Bogner61ba2e32014-12-08 18:02:35 +0000891 // Construct the function.
892 auto *VoidTy = Type::getVoidTy(M->getContext());
893 auto *VoidPtrTy = Type::getInt8PtrTy(M->getContext());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000894 auto *Int64Ty = Type::getInt64Ty(M->getContext());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000895 auto *RegisterFTy = FunctionType::get(VoidTy, false);
896 auto *RegisterF = Function::Create(RegisterFTy, GlobalValue::InternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000897 getInstrProfRegFuncsName(), M);
Peter Collingbourne96efdd62016-06-14 21:01:22 +0000898 RegisterF->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000899 if (Options.NoRedZone)
900 RegisterF->addFnAttr(Attribute::NoRedZone);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000901
Diego Novillob3029d22015-06-04 11:45:32 +0000902 auto *RuntimeRegisterTy = FunctionType::get(VoidTy, VoidPtrTy, false);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000903 auto *RuntimeRegisterF =
904 Function::Create(RuntimeRegisterTy, GlobalVariable::ExternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000905 getInstrProfRegFuncName(), M);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000906
907 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", RegisterF));
908 for (Value *Data : UsedVars)
Reid Klecknerba827882018-07-27 22:21:35 +0000909 if (Data != NamesVar && !isa<Function>(Data))
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000910 IRB.CreateCall(RuntimeRegisterF, IRB.CreateBitCast(Data, VoidPtrTy));
911
912 if (NamesVar) {
913 Type *ParamTypes[] = {VoidPtrTy, Int64Ty};
914 auto *NamesRegisterTy =
915 FunctionType::get(VoidTy, makeArrayRef(ParamTypes), false);
916 auto *NamesRegisterF =
917 Function::Create(NamesRegisterTy, GlobalVariable::ExternalLinkage,
918 getInstrProfNamesRegFuncName(), M);
919 IRB.CreateCall(NamesRegisterF, {IRB.CreateBitCast(NamesVar, VoidPtrTy),
920 IRB.getInt64(NamesSize)});
921 }
922
Justin Bogner61ba2e32014-12-08 18:02:35 +0000923 IRB.CreateRetVoid();
924}
925
Vedant Kumar9a041a72018-02-28 19:00:08 +0000926bool InstrProfiling::emitRuntimeHook() {
Xinliang David Li7a88ad62015-10-29 04:08:31 +0000927 // We expect the linker to be invoked with -u<hook_var> flag for linux,
928 // for which case there is no need to emit the user function.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000929 if (TT.isOSLinux())
Vedant Kumar9a041a72018-02-28 19:00:08 +0000930 return false;
Xinliang David Li7a88ad62015-10-29 04:08:31 +0000931
Justin Bogner61ba2e32014-12-08 18:02:35 +0000932 // If the module's provided its own runtime, we don't need to do anything.
Xinliang David Li69a00f02016-06-21 02:39:08 +0000933 if (M->getGlobalVariable(getInstrProfRuntimeHookVarName()))
Vedant Kumar9a041a72018-02-28 19:00:08 +0000934 return false;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000935
936 // Declare an external variable that will pull in the runtime initialization.
937 auto *Int32Ty = Type::getInt32Ty(M->getContext());
938 auto *Var =
939 new GlobalVariable(*M, Int32Ty, false, GlobalValue::ExternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000940 nullptr, getInstrProfRuntimeHookVarName());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000941
942 // Make a function that uses it.
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000943 auto *User = Function::Create(FunctionType::get(Int32Ty, false),
944 GlobalValue::LinkOnceODRLinkage,
945 getInstrProfRuntimeHookVarUseFuncName(), M);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000946 User->addFnAttr(Attribute::NoInline);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000947 if (Options.NoRedZone)
948 User->addFnAttr(Attribute::NoRedZone);
Justin Bogner2e427d42015-02-25 22:52:20 +0000949 User->setVisibility(GlobalValue::HiddenVisibility);
Reid Klecknerf21c0222019-02-07 18:16:22 +0000950 if (TT.supportsCOMDAT())
Xinliang David Lif4edae62016-05-24 18:47:38 +0000951 User->setComdat(M->getOrInsertComdat(User->getName()));
Justin Bogner61ba2e32014-12-08 18:02:35 +0000952
953 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", User));
James Y Knight14359ef2019-02-01 20:44:24 +0000954 auto *Load = IRB.CreateLoad(Int32Ty, Var);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000955 IRB.CreateRet(Load);
956
957 // Mark the user variable as used so that it isn't stripped out.
958 UsedVars.push_back(User);
Vedant Kumar9a041a72018-02-28 19:00:08 +0000959 return true;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000960}
961
962void InstrProfiling::emitUses() {
Evgeniy Stepanovea6d49d2016-10-25 23:53:31 +0000963 if (!UsedVars.empty())
964 appendToUsed(*M, UsedVars);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000965}
966
967void InstrProfiling::emitInitialization() {
Rong Xuce10d5e2019-02-05 22:34:45 +0000968 // Create variable for profile name.
969 createProfileFileNameVar(*M, Options.InstrProfileOutput);
James Y Knight7976eb52019-02-01 20:43:25 +0000970 Function *RegisterF = M->getFunction(getInstrProfRegFuncsName());
Xinliang David Li6f8c5042016-07-21 23:19:10 +0000971 if (!RegisterF)
Xinliang David Li69a00f02016-06-21 02:39:08 +0000972 return;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000973
974 // Create the initialization function.
975 auto *VoidTy = Type::getVoidTy(M->getContext());
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000976 auto *F = Function::Create(FunctionType::get(VoidTy, false),
977 GlobalValue::InternalLinkage,
978 getInstrProfInitFuncName(), M);
Peter Collingbourne96efdd62016-06-14 21:01:22 +0000979 F->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000980 F->addFnAttr(Attribute::NoInline);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000981 if (Options.NoRedZone)
982 F->addFnAttr(Attribute::NoRedZone);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000983
984 // Add the basic block and the necessary calls.
985 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", F));
James Y Knight7976eb52019-02-01 20:43:25 +0000986 IRB.CreateCall(RegisterF, {});
Justin Bogner61ba2e32014-12-08 18:02:35 +0000987 IRB.CreateRetVoid();
988
989 appendToGlobalCtors(*M, F, 0);
990}