blob: 15b94388cbe51429b513478eaee6f1af8e251742 [file] [log] [blame]
Justin Bogner61ba2e32014-12-08 18:02:35 +00001//===-- InstrProfiling.cpp - Frontend instrumentation based profiling -----===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Betul Buyukkurt6fac1742015-11-18 18:14:55 +000010// This pass lowers instrprof_* intrinsics emitted by a frontend for profiling.
11// It also builds the data structures and initialization code needed for
12// updating execution counts and emitting the profile at runtime.
Justin Bogner61ba2e32014-12-08 18:02:35 +000013//
14//===----------------------------------------------------------------------===//
15
David Blaikie4fe1fe12018-03-23 22:11:06 +000016#include "llvm/Transforms/Instrumentation/InstrProfiling.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000017#include "llvm/ADT/ArrayRef.h"
18#include "llvm/ADT/SmallVector.h"
19#include "llvm/ADT/StringRef.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000020#include "llvm/ADT/Triple.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000021#include "llvm/ADT/Twine.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000022#include "llvm/Analysis/LoopInfo.h"
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +000023#include "llvm/Analysis/TargetLibraryInfo.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000024#include "llvm/IR/Attributes.h"
25#include "llvm/IR/BasicBlock.h"
26#include "llvm/IR/Constant.h"
27#include "llvm/IR/Constants.h"
28#include "llvm/IR/DerivedTypes.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000029#include "llvm/IR/Dominators.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000030#include "llvm/IR/Function.h"
31#include "llvm/IR/GlobalValue.h"
32#include "llvm/IR/GlobalVariable.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000033#include "llvm/IR/IRBuilder.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000034#include "llvm/IR/Instruction.h"
35#include "llvm/IR/Instructions.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000036#include "llvm/IR/IntrinsicInst.h"
37#include "llvm/IR/Module.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000038#include "llvm/IR/Type.h"
39#include "llvm/Pass.h"
Betul Buyukkurt6fac1742015-11-18 18:14:55 +000040#include "llvm/ProfileData/InstrProf.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000041#include "llvm/Support/Casting.h"
42#include "llvm/Support/CommandLine.h"
43#include "llvm/Support/Error.h"
44#include "llvm/Support/ErrorHandling.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000045#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000046#include "llvm/Transforms/Utils/ModuleUtils.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000047#include "llvm/Transforms/Utils/SSAUpdater.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000048#include <algorithm>
49#include <cassert>
50#include <cstddef>
51#include <cstdint>
52#include <string>
Justin Bogner61ba2e32014-12-08 18:02:35 +000053
54using namespace llvm;
55
56#define DEBUG_TYPE "instrprof"
57
Rong Xu48596b62017-04-04 16:42:20 +000058// The start and end values of precise value profile range for memory
59// intrinsic sizes
60cl::opt<std::string> MemOPSizeRange(
61 "memop-size-range",
62 cl::desc("Set the range of size in memory intrinsic calls to be profiled "
63 "precisely, in a format of <start_val>:<end_val>"),
64 cl::init(""));
65
66// The value that considered to be large value in memory intrinsic.
67cl::opt<unsigned> MemOPSizeLarge(
68 "memop-size-large",
69 cl::desc("Set large value thresthold in memory intrinsic size profiling. "
70 "Value of 0 disables the large value profiling."),
71 cl::init(8192));
72
Justin Bogner61ba2e32014-12-08 18:02:35 +000073namespace {
74
Xinliang David Lia82d6c02016-02-08 18:13:49 +000075cl::opt<bool> DoNameCompression("enable-name-compression",
76 cl::desc("Enable name string compression"),
77 cl::init(true));
78
Rong Xu20f5df12017-01-11 20:19:41 +000079cl::opt<bool> DoHashBasedCounterSplit(
80 "hash-based-counter-split",
81 cl::desc("Rename counter variable of a comdat function based on cfg hash"),
82 cl::init(true));
83
Xinliang David Lib628dd32016-05-21 22:55:34 +000084cl::opt<bool> ValueProfileStaticAlloc(
85 "vp-static-alloc",
86 cl::desc("Do static counter allocation for value profiler"),
87 cl::init(true));
Eugene Zelenko34c23272017-01-18 00:57:48 +000088
Xinliang David Lib628dd32016-05-21 22:55:34 +000089cl::opt<double> NumCountersPerValueSite(
90 "vp-counters-per-site",
91 cl::desc("The average number of profile counters allocated "
92 "per value profiling site."),
93 // This is set to a very small value because in real programs, only
94 // a very small percentage of value sites have non-zero targets, e.g, 1/30.
95 // For those sites with non-zero profile, the average number of targets
96 // is usually smaller than 2.
97 cl::init(1.0));
98
Vedant Kumaree6c2332018-08-16 22:24:47 +000099cl::opt<bool> AtomicCounterUpdateAll(
100 "instrprof-atomic-counter-update-all", cl::ZeroOrMore,
101 cl::desc("Make all profile counter updates atomic (for testing only)"),
102 cl::init(false));
103
Xinliang David Lib67530e2017-06-25 00:26:43 +0000104cl::opt<bool> AtomicCounterUpdatePromoted(
105 "atomic-counter-update-promoted", cl::ZeroOrMore,
106 cl::desc("Do counter update using atomic fetch add "
107 " for promoted counters only"),
108 cl::init(false));
109
110// If the option is not specified, the default behavior about whether
111// counter promotion is done depends on how instrumentaiton lowering
112// pipeline is setup, i.e., the default value of true of this option
113// does not mean the promotion will be done by default. Explicitly
114// setting this option can override the default behavior.
115cl::opt<bool> DoCounterPromotion("do-counter-promotion", cl::ZeroOrMore,
116 cl::desc("Do counter register promotion"),
117 cl::init(false));
118cl::opt<unsigned> MaxNumOfPromotionsPerLoop(
Xinliang David Lif564c692017-07-12 23:27:44 +0000119 cl::ZeroOrMore, "max-counter-promotions-per-loop", cl::init(20),
Xinliang David Lib67530e2017-06-25 00:26:43 +0000120 cl::desc("Max number counter promotions per loop to avoid"
121 " increasing register pressure too much"));
122
123// A debug option
124cl::opt<int>
125 MaxNumOfPromotions(cl::ZeroOrMore, "max-counter-promotions", cl::init(-1),
126 cl::desc("Max number of allowed counter promotions"));
127
Xinliang David Lif564c692017-07-12 23:27:44 +0000128cl::opt<unsigned> SpeculativeCounterPromotionMaxExiting(
129 cl::ZeroOrMore, "speculative-counter-promotion-max-exiting", cl::init(3),
130 cl::desc("The max number of exiting blocks of a loop to allow "
131 " speculative counter promotion"));
132
133cl::opt<bool> SpeculativeCounterPromotionToLoop(
134 cl::ZeroOrMore, "speculative-counter-promotion-to-loop", cl::init(false),
135 cl::desc("When the option is false, if the target block is in a loop, "
136 "the promotion will be disallowed unless the promoted counter "
137 " update can be further/iteratively promoted into an acyclic "
138 " region."));
139
140cl::opt<bool> IterativeCounterPromotion(
141 cl::ZeroOrMore, "iterative-counter-promotion", cl::init(true),
142 cl::desc("Allow counter promotion across the whole loop nest."));
Xinliang David Lib67530e2017-06-25 00:26:43 +0000143
Xinliang David Lie6b89292016-04-18 17:47:38 +0000144class InstrProfilingLegacyPass : public ModulePass {
145 InstrProfiling InstrProf;
146
Justin Bogner61ba2e32014-12-08 18:02:35 +0000147public:
148 static char ID;
Eugene Zelenko34c23272017-01-18 00:57:48 +0000149
150 InstrProfilingLegacyPass() : ModulePass(ID) {}
Xinliang David Lie6b89292016-04-18 17:47:38 +0000151 InstrProfilingLegacyPass(const InstrProfOptions &Options)
152 : ModulePass(ID), InstrProf(Options) {}
Eugene Zelenko34c23272017-01-18 00:57:48 +0000153
Mehdi Amini117296c2016-10-01 02:56:57 +0000154 StringRef getPassName() const override {
Justin Bogner61ba2e32014-12-08 18:02:35 +0000155 return "Frontend instrumentation-based coverage lowering";
156 }
157
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000158 bool runOnModule(Module &M) override {
159 return InstrProf.run(M, getAnalysis<TargetLibraryInfoWrapperPass>().getTLI());
160 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000161
162 void getAnalysisUsage(AnalysisUsage &AU) const override {
163 AU.setPreservesCFG();
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000164 AU.addRequired<TargetLibraryInfoWrapperPass>();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000165 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000166};
167
Xinliang David Lif564c692017-07-12 23:27:44 +0000168///
Xinliang David Lib67530e2017-06-25 00:26:43 +0000169/// A helper class to promote one counter RMW operation in the loop
170/// into register update.
171///
172/// RWM update for the counter will be sinked out of the loop after
173/// the transformation.
174///
175class PGOCounterPromoterHelper : public LoadAndStorePromoter {
176public:
Xinliang David Lif564c692017-07-12 23:27:44 +0000177 PGOCounterPromoterHelper(
178 Instruction *L, Instruction *S, SSAUpdater &SSA, Value *Init,
179 BasicBlock *PH, ArrayRef<BasicBlock *> ExitBlocks,
180 ArrayRef<Instruction *> InsertPts,
181 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
182 LoopInfo &LI)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000183 : LoadAndStorePromoter({L, S}, SSA), Store(S), ExitBlocks(ExitBlocks),
Xinliang David Lif564c692017-07-12 23:27:44 +0000184 InsertPts(InsertPts), LoopToCandidates(LoopToCands), LI(LI) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000185 assert(isa<LoadInst>(L));
186 assert(isa<StoreInst>(S));
187 SSA.AddAvailableValue(PH, Init);
188 }
Xinliang David Lif564c692017-07-12 23:27:44 +0000189
Xinliang David Lib67530e2017-06-25 00:26:43 +0000190 void doExtraRewritesBeforeFinalDeletion() const override {
191 for (unsigned i = 0, e = ExitBlocks.size(); i != e; ++i) {
192 BasicBlock *ExitBlock = ExitBlocks[i];
193 Instruction *InsertPos = InsertPts[i];
194 // Get LiveIn value into the ExitBlock. If there are multiple
195 // predecessors, the value is defined by a PHI node in this
196 // block.
197 Value *LiveInValue = SSA.GetValueInMiddleOfBlock(ExitBlock);
198 Value *Addr = cast<StoreInst>(Store)->getPointerOperand();
199 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 {
206 LoadInst *OldVal = Builder.CreateLoad(Addr, "pgocount.promoted");
207 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
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000512static Constant *getOrInsertValueProfilingCall(Module &M,
Rong Xu60faea12017-03-16 21:15:48 +0000513 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
518 Constant *Res;
519 if (!IsRange) {
520 Type *ParamTypes[] = {
Xinliang David Lic7673232015-11-22 00:22:07 +0000521#define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
522#include "llvm/ProfileData/InstrProfData.inc"
Rong Xu60faea12017-03-16 21:15:48 +0000523 };
524 auto *ValueProfilingCallTy =
525 FunctionType::get(ReturnTy, makeArrayRef(ParamTypes), false);
526 Res = M.getOrInsertFunction(getInstrProfValueProfFuncName(),
527 ValueProfilingCallTy);
528 } else {
529 Type *RangeParamTypes[] = {
530#define VALUE_RANGE_PROF 1
531#define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
532#include "llvm/ProfileData/InstrProfData.inc"
533#undef VALUE_RANGE_PROF
534 };
535 auto *ValueRangeProfilingCallTy =
536 FunctionType::get(ReturnTy, makeArrayRef(RangeParamTypes), false);
537 Res = M.getOrInsertFunction(getInstrProfValueRangeProfFuncName(),
538 ValueRangeProfilingCallTy);
539 }
540
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000541 if (Function *FunRes = dyn_cast<Function>(Res)) {
542 if (auto AK = TLI.getExtAttrForI32Param(false))
Reid Klecknera0b45f42017-05-03 18:17:31 +0000543 FunRes->addParamAttr(2, AK);
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000544 }
545 return Res;
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000546}
547
548void InstrProfiling::computeNumValueSiteCounts(InstrProfValueProfileInst *Ind) {
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000549 GlobalVariable *Name = Ind->getName();
550 uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
551 uint64_t Index = Ind->getIndex()->getZExtValue();
552 auto It = ProfileDataMap.find(Name);
553 if (It == ProfileDataMap.end()) {
554 PerFunctionProfileData PD;
555 PD.NumValueSites[ValueKind] = Index + 1;
556 ProfileDataMap[Name] = PD;
557 } else if (It->second.NumValueSites[ValueKind] <= Index)
558 It->second.NumValueSites[ValueKind] = Index + 1;
559}
560
561void InstrProfiling::lowerValueProfileInst(InstrProfValueProfileInst *Ind) {
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000562 GlobalVariable *Name = Ind->getName();
563 auto It = ProfileDataMap.find(Name);
564 assert(It != ProfileDataMap.end() && It->second.DataVar &&
Xinliang David Li69a00f02016-06-21 02:39:08 +0000565 "value profiling detected in function with no counter incerement");
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000566
567 GlobalVariable *DataVar = It->second.DataVar;
568 uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
569 uint64_t Index = Ind->getIndex()->getZExtValue();
570 for (uint32_t Kind = IPVK_First; Kind < ValueKind; ++Kind)
571 Index += It->second.NumValueSites[Kind];
572
573 IRBuilder<> Builder(Ind);
Rong Xu60faea12017-03-16 21:15:48 +0000574 bool IsRange = (Ind->getValueKind()->getZExtValue() ==
575 llvm::InstrProfValueKind::IPVK_MemOPSize);
576 CallInst *Call = nullptr;
577 if (!IsRange) {
578 Value *Args[3] = {Ind->getTargetValue(),
579 Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
580 Builder.getInt32(Index)};
581 Call = Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI), Args);
582 } else {
Rong Xu48596b62017-04-04 16:42:20 +0000583 Value *Args[6] = {
584 Ind->getTargetValue(),
585 Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
586 Builder.getInt32(Index),
587 Builder.getInt64(MemOPSizeRangeStart),
588 Builder.getInt64(MemOPSizeRangeLast),
589 Builder.getInt64(MemOPSizeLarge == 0 ? INT64_MIN : MemOPSizeLarge)};
Rong Xu60faea12017-03-16 21:15:48 +0000590 Call =
591 Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI, true), Args);
592 }
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000593 if (auto AK = TLI->getExtAttrForI32Param(false))
Reid Klecknera0b45f42017-05-03 18:17:31 +0000594 Call->addParamAttr(2, AK);
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000595 Ind->replaceAllUsesWith(Call);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000596 Ind->eraseFromParent();
597}
598
Justin Bogner61ba2e32014-12-08 18:02:35 +0000599void InstrProfiling::lowerIncrement(InstrProfIncrementInst *Inc) {
600 GlobalVariable *Counters = getOrCreateRegionCounters(Inc);
601
Duncan P. N. Exon Smithe82c2862015-10-13 17:39:10 +0000602 IRBuilder<> Builder(Inc);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000603 uint64_t Index = Inc->getIndex()->getZExtValue();
Diego Novillob3029d22015-06-04 11:45:32 +0000604 Value *Addr = Builder.CreateConstInBoundsGEP2_64(Counters, 0, Index);
Vedant Kumaree6c2332018-08-16 22:24:47 +0000605
606 if (Options.Atomic || AtomicCounterUpdateAll) {
607 Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, Inc->getStep(),
608 AtomicOrdering::Monotonic);
609 } else {
610 Value *Load = Builder.CreateLoad(Addr, "pgocount");
611 auto *Count = Builder.CreateAdd(Load, Inc->getStep());
612 auto *Store = Builder.CreateStore(Count, Addr);
613 if (isCounterPromotionEnabled())
614 PromotionCandidates.emplace_back(cast<Instruction>(Load), Store);
615 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000616 Inc->eraseFromParent();
617}
618
Xinliang David Li81056072016-01-07 20:05:49 +0000619void InstrProfiling::lowerCoverageData(GlobalVariable *CoverageNamesVar) {
Xinliang David Li81056072016-01-07 20:05:49 +0000620 ConstantArray *Names =
621 cast<ConstantArray>(CoverageNamesVar->getInitializer());
622 for (unsigned I = 0, E = Names->getNumOperands(); I < E; ++I) {
623 Constant *NC = Names->getOperand(I);
624 Value *V = NC->stripPointerCasts();
Justin Bognerd24e1852015-02-11 02:52:44 +0000625 assert(isa<GlobalVariable>(V) && "Missing reference to function name");
626 GlobalVariable *Name = cast<GlobalVariable>(V);
627
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000628 Name->setLinkage(GlobalValue::PrivateLinkage);
629 ReferencedNames.push_back(Name);
Vedant Kumar55891fc2017-02-14 20:03:48 +0000630 NC->dropAllReferences();
Justin Bognerd24e1852015-02-11 02:52:44 +0000631 }
Vedant Kumar55891fc2017-02-14 20:03:48 +0000632 CoverageNamesVar->eraseFromParent();
Justin Bognerd24e1852015-02-11 02:52:44 +0000633}
634
Justin Bogner61ba2e32014-12-08 18:02:35 +0000635/// Get the name of a profiling variable for a particular function.
Xinliang David Li83bc4222015-10-22 20:32:12 +0000636static std::string getVarName(InstrProfIncrementInst *Inc, StringRef Prefix) {
Xinliang David Lid1bab962015-12-12 17:28:03 +0000637 StringRef NamePrefix = getInstrProfNameVarPrefix();
638 StringRef Name = Inc->getName()->getName().substr(NamePrefix.size());
Rong Xu20f5df12017-01-11 20:19:41 +0000639 Function *F = Inc->getParent()->getParent();
640 Module *M = F->getParent();
641 if (!DoHashBasedCounterSplit || !isIRPGOFlagSet(M) ||
642 !canRenameComdatFunc(*F))
643 return (Prefix + Name).str();
644 uint64_t FuncHash = Inc->getHash()->getZExtValue();
645 SmallVector<char, 24> HashPostfix;
646 if (Name.endswith((Twine(".") + Twine(FuncHash)).toStringRef(HashPostfix)))
647 return (Prefix + Name).str();
648 return (Prefix + Name + "." + Twine(FuncHash)).str();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000649}
650
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000651static inline bool shouldRecordFunctionAddr(Function *F) {
652 // Check the linkage
Vedant Kumar9c056c92017-06-13 22:12:35 +0000653 bool HasAvailableExternallyLinkage = F->hasAvailableExternallyLinkage();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000654 if (!F->hasLinkOnceLinkage() && !F->hasLocalLinkage() &&
Vedant Kumar9c056c92017-06-13 22:12:35 +0000655 !HasAvailableExternallyLinkage)
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000656 return true;
Vedant Kumar9c056c92017-06-13 22:12:35 +0000657
658 // A function marked 'alwaysinline' with available_externally linkage can't
659 // have its address taken. Doing so would create an undefined external ref to
660 // the function, which would fail to link.
661 if (HasAvailableExternallyLinkage &&
662 F->hasFnAttribute(Attribute::AlwaysInline))
663 return false;
664
Rong Xuaf5aeba2016-04-27 21:17:30 +0000665 // Prohibit function address recording if the function is both internal and
666 // COMDAT. This avoids the profile data variable referencing internal symbols
667 // in COMDAT.
668 if (F->hasLocalLinkage() && F->hasComdat())
669 return false;
Vedant Kumar9c056c92017-06-13 22:12:35 +0000670
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000671 // Check uses of this function for other than direct calls or invokes to it.
Xinliang David Li7008ce32016-06-02 16:33:41 +0000672 // Inline virtual functions have linkeOnceODR linkage. When a key method
673 // exists, the vtable will only be emitted in the TU where the key method
674 // is defined. In a TU where vtable is not available, the function won't
Xinliang David Li6c44e9e2016-06-03 23:02:28 +0000675 // be 'addresstaken'. If its address is not recorded here, the profile data
Xinliang David Li69a00f02016-06-21 02:39:08 +0000676 // with missing address may be picked by the linker leading to missing
Xinliang David Li6c44e9e2016-06-03 23:02:28 +0000677 // indirect call target info.
678 return F->hasAddressTaken() || F->hasLinkOnceLinkage();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000679}
680
Xinliang David Li985ff202016-02-27 23:11:30 +0000681static inline Comdat *getOrCreateProfileComdat(Module &M, Function &F,
Xinliang David Liab361ef2015-12-21 21:52:27 +0000682 InstrProfIncrementInst *Inc) {
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.
Xinliang David Liab361ef2015-12-21 21:52:27 +0000690 StringRef ComdatPrefix = (Triple(M.getTargetTriple()).isOSBinFormatCOFF()
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000691 ? getInstrProfCountersVarPrefix()
Xinliang David Liab361ef2015-12-21 21:52:27 +0000692 : getInstrProfComdatPrefix());
693 return M.getOrInsertComdat(StringRef(getVarName(Inc, ComdatPrefix)));
694}
695
Xinliang David Lib628dd32016-05-21 22:55:34 +0000696static bool needsRuntimeRegistrationOfSectionRange(const Module &M) {
697 // Don't do this for Darwin. compiler-rt uses linker magic.
698 if (Triple(M.getTargetTriple()).isOSDarwin())
699 return false;
700
701 // Use linker script magic to get data/cnts/name start/end.
702 if (Triple(M.getTargetTriple()).isOSLinux() ||
703 Triple(M.getTargetTriple()).isOSFreeBSD() ||
Kamil Rytarowski21e270a2018-12-15 16:51:35 +0000704 Triple(M.getTargetTriple()).isOSNetBSD() ||
Petr Hosek47e5fcb2018-07-25 03:01:35 +0000705 Triple(M.getTargetTriple()).isOSFuchsia() ||
Xinliang David Lib628dd32016-05-21 22:55:34 +0000706 Triple(M.getTargetTriple()).isPS4CPU())
707 return false;
708
709 return true;
710}
711
Justin Bogner61ba2e32014-12-08 18:02:35 +0000712GlobalVariable *
713InstrProfiling::getOrCreateRegionCounters(InstrProfIncrementInst *Inc) {
Xinliang David Li192c7482015-11-05 00:47:26 +0000714 GlobalVariable *NamePtr = Inc->getName();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000715 auto It = ProfileDataMap.find(NamePtr);
716 PerFunctionProfileData PD;
717 if (It != ProfileDataMap.end()) {
718 if (It->second.RegionCounters)
719 return It->second.RegionCounters;
720 PD = It->second;
721 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000722
Wei Mi3cc92042015-09-23 22:40:45 +0000723 // Move the name variable to the right section. Place them in a COMDAT group
724 // if the associated function is a COMDAT. This will make sure that
725 // only one copy of counters of the COMDAT function will be emitted after
726 // linking.
Diego Novillodf4837b2015-05-27 19:34:01 +0000727 Function *Fn = Inc->getParent()->getParent();
Wei Mi3cc92042015-09-23 22:40:45 +0000728 Comdat *ProfileVarsComdat = nullptr;
Xinliang David Li985ff202016-02-27 23:11:30 +0000729 ProfileVarsComdat = getOrCreateProfileComdat(*M, *Fn, Inc);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000730
731 uint64_t NumCounters = Inc->getNumCounters()->getZExtValue();
732 LLVMContext &Ctx = M->getContext();
733 ArrayType *CounterTy = ArrayType::get(Type::getInt64Ty(Ctx), NumCounters);
734
735 // Create the counters variable.
Xinliang David Li192c7482015-11-05 00:47:26 +0000736 auto *CounterPtr =
737 new GlobalVariable(*M, CounterTy, false, NamePtr->getLinkage(),
Xinliang David Li83bc4222015-10-22 20:32:12 +0000738 Constant::getNullValue(CounterTy),
739 getVarName(Inc, getInstrProfCountersVarPrefix()));
Xinliang David Li192c7482015-11-05 00:47:26 +0000740 CounterPtr->setVisibility(NamePtr->getVisibility());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000741 CounterPtr->setSection(
742 getInstrProfSectionName(IPSK_cnts, TT.getObjectFormat()));
Xinliang David Li192c7482015-11-05 00:47:26 +0000743 CounterPtr->setAlignment(8);
744 CounterPtr->setComdat(ProfileVarsComdat);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000745
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000746 auto *Int8PtrTy = Type::getInt8PtrTy(Ctx);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000747 // Allocate statically the array of pointers to value profile nodes for
748 // the current function.
749 Constant *ValuesPtrExpr = ConstantPointerNull::get(Int8PtrTy);
750 if (ValueProfileStaticAlloc && !needsRuntimeRegistrationOfSectionRange(*M)) {
Xinliang David Lib628dd32016-05-21 22:55:34 +0000751 uint64_t NS = 0;
752 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
753 NS += PD.NumValueSites[Kind];
754 if (NS) {
755 ArrayType *ValuesTy = ArrayType::get(Type::getInt64Ty(Ctx), NS);
756
757 auto *ValuesVar =
758 new GlobalVariable(*M, ValuesTy, false, NamePtr->getLinkage(),
759 Constant::getNullValue(ValuesTy),
760 getVarName(Inc, getInstrProfValuesVarPrefix()));
761 ValuesVar->setVisibility(NamePtr->getVisibility());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000762 ValuesVar->setSection(
763 getInstrProfSectionName(IPSK_vals, TT.getObjectFormat()));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000764 ValuesVar->setAlignment(8);
765 ValuesVar->setComdat(ProfileVarsComdat);
766 ValuesPtrExpr =
Eugene Zelenko34c23272017-01-18 00:57:48 +0000767 ConstantExpr::getBitCast(ValuesVar, Type::getInt8PtrTy(Ctx));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000768 }
769 }
770
771 // Create data variable.
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000772 auto *Int16Ty = Type::getInt16Ty(Ctx);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000773 auto *Int16ArrayTy = ArrayType::get(Int16Ty, IPVK_Last + 1);
Xinliang David Li192c7482015-11-05 00:47:26 +0000774 Type *DataTypes[] = {
Xinliang David Li69a00f02016-06-21 02:39:08 +0000775#define INSTR_PROF_DATA(Type, LLVMType, Name, Init) LLVMType,
776#include "llvm/ProfileData/InstrProfData.inc"
Xinliang David Li192c7482015-11-05 00:47:26 +0000777 };
Justin Bogner61ba2e32014-12-08 18:02:35 +0000778 auto *DataTy = StructType::get(Ctx, makeArrayRef(DataTypes));
Xinliang David Li192c7482015-11-05 00:47:26 +0000779
Xinliang David Li69a00f02016-06-21 02:39:08 +0000780 Constant *FunctionAddr = shouldRecordFunctionAddr(Fn)
781 ? ConstantExpr::getBitCast(Fn, Int8PtrTy)
782 : ConstantPointerNull::get(Int8PtrTy);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000783
Xinliang David Li69a00f02016-06-21 02:39:08 +0000784 Constant *Int16ArrayVals[IPVK_Last + 1];
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000785 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
786 Int16ArrayVals[Kind] = ConstantInt::get(Int16Ty, PD.NumValueSites[Kind]);
787
Justin Bogner61ba2e32014-12-08 18:02:35 +0000788 Constant *DataVals[] = {
Xinliang David Li69a00f02016-06-21 02:39:08 +0000789#define INSTR_PROF_DATA(Type, LLVMType, Name, Init) Init,
790#include "llvm/ProfileData/InstrProfData.inc"
Xinliang David Li192c7482015-11-05 00:47:26 +0000791 };
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000792 auto *Data = new GlobalVariable(*M, DataTy, false, NamePtr->getLinkage(),
Justin Bogner61ba2e32014-12-08 18:02:35 +0000793 ConstantStruct::get(DataTy, DataVals),
Xinliang David Li83bc4222015-10-22 20:32:12 +0000794 getVarName(Inc, getInstrProfDataVarPrefix()));
Xinliang David Li192c7482015-11-05 00:47:26 +0000795 Data->setVisibility(NamePtr->getVisibility());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000796 Data->setSection(getInstrProfSectionName(IPSK_data, TT.getObjectFormat()));
Xinliang David Lic7c1f852015-11-23 18:02:59 +0000797 Data->setAlignment(INSTR_PROF_DATA_ALIGNMENT);
Wei Mi3cc92042015-09-23 22:40:45 +0000798 Data->setComdat(ProfileVarsComdat);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000799
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000800 PD.RegionCounters = CounterPtr;
801 PD.DataVar = Data;
802 ProfileDataMap[NamePtr] = PD;
803
Justin Bogner61ba2e32014-12-08 18:02:35 +0000804 // Mark the data variable as used so that it isn't stripped out.
805 UsedVars.push_back(Data);
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000806 // Now that the linkage set by the FE has been passed to the data and counter
807 // variables, reset Name variable's linkage and visibility to private so that
808 // it can be removed later by the compiler.
809 NamePtr->setLinkage(GlobalValue::PrivateLinkage);
810 // Collect the referenced names to be used by emitNameData.
811 ReferencedNames.push_back(NamePtr);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000812
Xinliang David Li192c7482015-11-05 00:47:26 +0000813 return CounterPtr;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000814}
815
Xinliang David Lib628dd32016-05-21 22:55:34 +0000816void InstrProfiling::emitVNodes() {
817 if (!ValueProfileStaticAlloc)
818 return;
Xinliang David Li8da773b2016-05-17 20:19:03 +0000819
Xinliang David Lib628dd32016-05-21 22:55:34 +0000820 // For now only support this on platforms that do
821 // not require runtime registration to discover
822 // named section start/end.
823 if (needsRuntimeRegistrationOfSectionRange(*M))
824 return;
Xinliang David Li8da773b2016-05-17 20:19:03 +0000825
Xinliang David Lib628dd32016-05-21 22:55:34 +0000826 size_t TotalNS = 0;
827 for (auto &PD : ProfileDataMap) {
828 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
829 TotalNS += PD.second.NumValueSites[Kind];
830 }
831
832 if (!TotalNS)
833 return;
834
835 uint64_t NumCounters = TotalNS * NumCountersPerValueSite;
Xinliang David Li69a00f02016-06-21 02:39:08 +0000836// Heuristic for small programs with very few total value sites.
837// The default value of vp-counters-per-site is chosen based on
838// the observation that large apps usually have a low percentage
839// of value sites that actually have any profile data, and thus
840// the average number of counters per site is low. For small
841// apps with very few sites, this may not be true. Bump up the
842// number of counters in this case.
Xinliang David Lie4520762016-05-23 19:29:26 +0000843#define INSTR_PROF_MIN_VAL_COUNTS 10
844 if (NumCounters < INSTR_PROF_MIN_VAL_COUNTS)
Xinliang David Li69a00f02016-06-21 02:39:08 +0000845 NumCounters = std::max(INSTR_PROF_MIN_VAL_COUNTS, (int)NumCounters * 2);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000846
847 auto &Ctx = M->getContext();
848 Type *VNodeTypes[] = {
849#define INSTR_PROF_VALUE_NODE(Type, LLVMType, Name, Init) LLVMType,
850#include "llvm/ProfileData/InstrProfData.inc"
851 };
852 auto *VNodeTy = StructType::get(Ctx, makeArrayRef(VNodeTypes));
853
854 ArrayType *VNodesTy = ArrayType::get(VNodeTy, NumCounters);
855 auto *VNodesVar = new GlobalVariable(
Eugene Zelenko34c23272017-01-18 00:57:48 +0000856 *M, VNodesTy, false, GlobalValue::PrivateLinkage,
Xinliang David Lib628dd32016-05-21 22:55:34 +0000857 Constant::getNullValue(VNodesTy), getInstrProfVNodesVarName());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000858 VNodesVar->setSection(
859 getInstrProfSectionName(IPSK_vnodes, TT.getObjectFormat()));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000860 UsedVars.push_back(VNodesVar);
Xinliang David Li8da773b2016-05-17 20:19:03 +0000861}
862
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000863void InstrProfiling::emitNameData() {
864 std::string UncompressedData;
865
866 if (ReferencedNames.empty())
867 return;
868
869 std::string CompressedNameStr;
Vedant Kumar9152fd12016-05-19 03:54:45 +0000870 if (Error E = collectPGOFuncNameStrings(ReferencedNames, CompressedNameStr,
Vedant Kumar43cba732016-05-03 16:53:17 +0000871 DoNameCompression)) {
Eugene Zelenko34c23272017-01-18 00:57:48 +0000872 report_fatal_error(toString(std::move(E)), false);
Vedant Kumar43cba732016-05-03 16:53:17 +0000873 }
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000874
875 auto &Ctx = M->getContext();
Eugene Zelenko34c23272017-01-18 00:57:48 +0000876 auto *NamesVal = ConstantDataArray::getString(
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000877 Ctx, StringRef(CompressedNameStr), false);
Eugene Zelenko34c23272017-01-18 00:57:48 +0000878 NamesVar = new GlobalVariable(*M, NamesVal->getType(), true,
879 GlobalValue::PrivateLinkage, NamesVal,
880 getInstrProfNamesVarName());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000881 NamesSize = CompressedNameStr.size();
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000882 NamesVar->setSection(
883 getInstrProfSectionName(IPSK_name, TT.getObjectFormat()));
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000884 UsedVars.push_back(NamesVar);
Vedant Kumar55891fc2017-02-14 20:03:48 +0000885
886 for (auto *NamePtr : ReferencedNames)
887 NamePtr->eraseFromParent();
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000888}
889
Justin Bogner61ba2e32014-12-08 18:02:35 +0000890void InstrProfiling::emitRegistration() {
Xinliang David Li8da773b2016-05-17 20:19:03 +0000891 if (!needsRuntimeRegistrationOfSectionRange(*M))
Xinliang David Liaa0592c2015-10-19 04:17:10 +0000892 return;
Xinliang David Li3dd88172015-10-13 18:39:48 +0000893
Justin Bogner61ba2e32014-12-08 18:02:35 +0000894 // Construct the function.
895 auto *VoidTy = Type::getVoidTy(M->getContext());
896 auto *VoidPtrTy = Type::getInt8PtrTy(M->getContext());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000897 auto *Int64Ty = Type::getInt64Ty(M->getContext());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000898 auto *RegisterFTy = FunctionType::get(VoidTy, false);
899 auto *RegisterF = Function::Create(RegisterFTy, GlobalValue::InternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000900 getInstrProfRegFuncsName(), M);
Peter Collingbourne96efdd62016-06-14 21:01:22 +0000901 RegisterF->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000902 if (Options.NoRedZone)
903 RegisterF->addFnAttr(Attribute::NoRedZone);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000904
Diego Novillob3029d22015-06-04 11:45:32 +0000905 auto *RuntimeRegisterTy = FunctionType::get(VoidTy, VoidPtrTy, false);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000906 auto *RuntimeRegisterF =
907 Function::Create(RuntimeRegisterTy, GlobalVariable::ExternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000908 getInstrProfRegFuncName(), M);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000909
910 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", RegisterF));
911 for (Value *Data : UsedVars)
Reid Klecknerba827882018-07-27 22:21:35 +0000912 if (Data != NamesVar && !isa<Function>(Data))
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000913 IRB.CreateCall(RuntimeRegisterF, IRB.CreateBitCast(Data, VoidPtrTy));
914
915 if (NamesVar) {
916 Type *ParamTypes[] = {VoidPtrTy, Int64Ty};
917 auto *NamesRegisterTy =
918 FunctionType::get(VoidTy, makeArrayRef(ParamTypes), false);
919 auto *NamesRegisterF =
920 Function::Create(NamesRegisterTy, GlobalVariable::ExternalLinkage,
921 getInstrProfNamesRegFuncName(), M);
922 IRB.CreateCall(NamesRegisterF, {IRB.CreateBitCast(NamesVar, VoidPtrTy),
923 IRB.getInt64(NamesSize)});
924 }
925
Justin Bogner61ba2e32014-12-08 18:02:35 +0000926 IRB.CreateRetVoid();
927}
928
Vedant Kumar9a041a72018-02-28 19:00:08 +0000929bool InstrProfiling::emitRuntimeHook() {
Xinliang David Li7a88ad62015-10-29 04:08:31 +0000930 // We expect the linker to be invoked with -u<hook_var> flag for linux,
931 // for which case there is no need to emit the user function.
932 if (Triple(M->getTargetTriple()).isOSLinux())
Vedant Kumar9a041a72018-02-28 19:00:08 +0000933 return false;
Xinliang David Li7a88ad62015-10-29 04:08:31 +0000934
Justin Bogner61ba2e32014-12-08 18:02:35 +0000935 // If the module's provided its own runtime, we don't need to do anything.
Xinliang David Li69a00f02016-06-21 02:39:08 +0000936 if (M->getGlobalVariable(getInstrProfRuntimeHookVarName()))
Vedant Kumar9a041a72018-02-28 19:00:08 +0000937 return false;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000938
939 // Declare an external variable that will pull in the runtime initialization.
940 auto *Int32Ty = Type::getInt32Ty(M->getContext());
941 auto *Var =
942 new GlobalVariable(*M, Int32Ty, false, GlobalValue::ExternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000943 nullptr, getInstrProfRuntimeHookVarName());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000944
945 // Make a function that uses it.
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000946 auto *User = Function::Create(FunctionType::get(Int32Ty, false),
947 GlobalValue::LinkOnceODRLinkage,
948 getInstrProfRuntimeHookVarUseFuncName(), M);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000949 User->addFnAttr(Attribute::NoInline);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000950 if (Options.NoRedZone)
951 User->addFnAttr(Attribute::NoRedZone);
Justin Bogner2e427d42015-02-25 22:52:20 +0000952 User->setVisibility(GlobalValue::HiddenVisibility);
Xinliang David Lia2286082016-05-25 17:17:51 +0000953 if (Triple(M->getTargetTriple()).supportsCOMDAT())
Xinliang David Lif4edae62016-05-24 18:47:38 +0000954 User->setComdat(M->getOrInsertComdat(User->getName()));
Justin Bogner61ba2e32014-12-08 18:02:35 +0000955
956 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", User));
957 auto *Load = IRB.CreateLoad(Var);
958 IRB.CreateRet(Load);
959
960 // Mark the user variable as used so that it isn't stripped out.
961 UsedVars.push_back(User);
Vedant Kumar9a041a72018-02-28 19:00:08 +0000962 return true;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000963}
964
965void InstrProfiling::emitUses() {
Evgeniy Stepanovea6d49d2016-10-25 23:53:31 +0000966 if (!UsedVars.empty())
967 appendToUsed(*M, UsedVars);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000968}
969
970void InstrProfiling::emitInitialization() {
Vedant Kumarcd32eba2016-07-21 17:50:07 +0000971 StringRef InstrProfileOutput = Options.InstrProfileOutput;
Justin Bognerba1900c2015-04-30 23:49:23 +0000972
Xinliang David Li6f8c5042016-07-21 23:19:10 +0000973 if (!InstrProfileOutput.empty()) {
974 // Create variable for profile name.
975 Constant *ProfileNameConst =
976 ConstantDataArray::getString(M->getContext(), InstrProfileOutput, true);
977 GlobalVariable *ProfileNameVar = new GlobalVariable(
978 *M, ProfileNameConst->getType(), true, GlobalValue::WeakAnyLinkage,
979 ProfileNameConst, INSTR_PROF_QUOTE(INSTR_PROF_PROFILE_NAME_VAR));
Xinliang David Li6f8c5042016-07-21 23:19:10 +0000980 if (TT.supportsCOMDAT()) {
981 ProfileNameVar->setLinkage(GlobalValue::ExternalLinkage);
982 ProfileNameVar->setComdat(M->getOrInsertComdat(
983 StringRef(INSTR_PROF_QUOTE(INSTR_PROF_PROFILE_NAME_VAR))));
984 }
985 }
986
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000987 Constant *RegisterF = M->getFunction(getInstrProfRegFuncsName());
Xinliang David Li6f8c5042016-07-21 23:19:10 +0000988 if (!RegisterF)
Xinliang David Li69a00f02016-06-21 02:39:08 +0000989 return;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000990
991 // Create the initialization function.
992 auto *VoidTy = Type::getVoidTy(M->getContext());
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000993 auto *F = Function::Create(FunctionType::get(VoidTy, false),
994 GlobalValue::InternalLinkage,
995 getInstrProfInitFuncName(), M);
Peter Collingbourne96efdd62016-06-14 21:01:22 +0000996 F->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000997 F->addFnAttr(Attribute::NoInline);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000998 if (Options.NoRedZone)
999 F->addFnAttr(Attribute::NoRedZone);
Justin Bogner61ba2e32014-12-08 18:02:35 +00001000
1001 // Add the basic block and the necessary calls.
1002 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", F));
Justin Bognerba1900c2015-04-30 23:49:23 +00001003 if (RegisterF)
David Blaikieff6409d2015-05-18 22:13:54 +00001004 IRB.CreateCall(RegisterF, {});
Justin Bogner61ba2e32014-12-08 18:02:35 +00001005 IRB.CreateRetVoid();
1006
1007 appendToGlobalCtors(*M, F, 0);
1008}