blob: 1f092a5f31038eacf3c1b20817b20c7396aa621f [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"
Rong Xu6cdf3d82019-02-27 17:24:33 +000021#include "llvm/Analysis/BlockFrequencyInfo.h"
22#include "llvm/Analysis/BranchProbabilityInfo.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000023#include "llvm/Analysis/LoopInfo.h"
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +000024#include "llvm/Analysis/TargetLibraryInfo.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000025#include "llvm/IR/Attributes.h"
26#include "llvm/IR/BasicBlock.h"
27#include "llvm/IR/Constant.h"
28#include "llvm/IR/Constants.h"
29#include "llvm/IR/DerivedTypes.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000030#include "llvm/IR/Dominators.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000031#include "llvm/IR/Function.h"
32#include "llvm/IR/GlobalValue.h"
33#include "llvm/IR/GlobalVariable.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000034#include "llvm/IR/IRBuilder.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000035#include "llvm/IR/Instruction.h"
36#include "llvm/IR/Instructions.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000037#include "llvm/IR/IntrinsicInst.h"
38#include "llvm/IR/Module.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000039#include "llvm/IR/Type.h"
40#include "llvm/Pass.h"
Betul Buyukkurt6fac1742015-11-18 18:14:55 +000041#include "llvm/ProfileData/InstrProf.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000042#include "llvm/Support/Casting.h"
43#include "llvm/Support/CommandLine.h"
44#include "llvm/Support/Error.h"
45#include "llvm/Support/ErrorHandling.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000046#include "llvm/Transforms/Utils/BasicBlockUtils.h"
Justin Bogner61ba2e32014-12-08 18:02:35 +000047#include "llvm/Transforms/Utils/ModuleUtils.h"
Xinliang David Lib67530e2017-06-25 00:26:43 +000048#include "llvm/Transforms/Utils/SSAUpdater.h"
Eugene Zelenko34c23272017-01-18 00:57:48 +000049#include <algorithm>
50#include <cassert>
51#include <cstddef>
52#include <cstdint>
53#include <string>
Justin Bogner61ba2e32014-12-08 18:02:35 +000054
55using namespace llvm;
56
57#define DEBUG_TYPE "instrprof"
58
Rong Xu48596b62017-04-04 16:42:20 +000059// The start and end values of precise value profile range for memory
60// intrinsic sizes
61cl::opt<std::string> MemOPSizeRange(
62 "memop-size-range",
63 cl::desc("Set the range of size in memory intrinsic calls to be profiled "
64 "precisely, in a format of <start_val>:<end_val>"),
65 cl::init(""));
66
67// The value that considered to be large value in memory intrinsic.
68cl::opt<unsigned> MemOPSizeLarge(
69 "memop-size-large",
70 cl::desc("Set large value thresthold in memory intrinsic size profiling. "
71 "Value of 0 disables the large value profiling."),
72 cl::init(8192));
73
Justin Bogner61ba2e32014-12-08 18:02:35 +000074namespace {
75
Xinliang David Lia82d6c02016-02-08 18:13:49 +000076cl::opt<bool> DoNameCompression("enable-name-compression",
77 cl::desc("Enable name string compression"),
78 cl::init(true));
79
Rong Xu20f5df12017-01-11 20:19:41 +000080cl::opt<bool> DoHashBasedCounterSplit(
81 "hash-based-counter-split",
82 cl::desc("Rename counter variable of a comdat function based on cfg hash"),
83 cl::init(true));
84
Xinliang David Lib628dd32016-05-21 22:55:34 +000085cl::opt<bool> ValueProfileStaticAlloc(
86 "vp-static-alloc",
87 cl::desc("Do static counter allocation for value profiler"),
88 cl::init(true));
Eugene Zelenko34c23272017-01-18 00:57:48 +000089
Xinliang David Lib628dd32016-05-21 22:55:34 +000090cl::opt<double> NumCountersPerValueSite(
91 "vp-counters-per-site",
92 cl::desc("The average number of profile counters allocated "
93 "per value profiling site."),
94 // This is set to a very small value because in real programs, only
95 // a very small percentage of value sites have non-zero targets, e.g, 1/30.
96 // For those sites with non-zero profile, the average number of targets
97 // is usually smaller than 2.
98 cl::init(1.0));
99
Vedant Kumaree6c2332018-08-16 22:24:47 +0000100cl::opt<bool> AtomicCounterUpdateAll(
101 "instrprof-atomic-counter-update-all", cl::ZeroOrMore,
102 cl::desc("Make all profile counter updates atomic (for testing only)"),
103 cl::init(false));
104
Xinliang David Lib67530e2017-06-25 00:26:43 +0000105cl::opt<bool> AtomicCounterUpdatePromoted(
106 "atomic-counter-update-promoted", cl::ZeroOrMore,
107 cl::desc("Do counter update using atomic fetch add "
108 " for promoted counters only"),
109 cl::init(false));
110
111// If the option is not specified, the default behavior about whether
112// counter promotion is done depends on how instrumentaiton lowering
113// pipeline is setup, i.e., the default value of true of this option
114// does not mean the promotion will be done by default. Explicitly
115// setting this option can override the default behavior.
116cl::opt<bool> DoCounterPromotion("do-counter-promotion", cl::ZeroOrMore,
117 cl::desc("Do counter register promotion"),
118 cl::init(false));
119cl::opt<unsigned> MaxNumOfPromotionsPerLoop(
Xinliang David Lif564c692017-07-12 23:27:44 +0000120 cl::ZeroOrMore, "max-counter-promotions-per-loop", cl::init(20),
Xinliang David Lib67530e2017-06-25 00:26:43 +0000121 cl::desc("Max number counter promotions per loop to avoid"
122 " increasing register pressure too much"));
123
124// A debug option
125cl::opt<int>
126 MaxNumOfPromotions(cl::ZeroOrMore, "max-counter-promotions", cl::init(-1),
127 cl::desc("Max number of allowed counter promotions"));
128
Xinliang David Lif564c692017-07-12 23:27:44 +0000129cl::opt<unsigned> SpeculativeCounterPromotionMaxExiting(
130 cl::ZeroOrMore, "speculative-counter-promotion-max-exiting", cl::init(3),
131 cl::desc("The max number of exiting blocks of a loop to allow "
132 " speculative counter promotion"));
133
134cl::opt<bool> SpeculativeCounterPromotionToLoop(
135 cl::ZeroOrMore, "speculative-counter-promotion-to-loop", cl::init(false),
136 cl::desc("When the option is false, if the target block is in a loop, "
137 "the promotion will be disallowed unless the promoted counter "
138 " update can be further/iteratively promoted into an acyclic "
139 " region."));
140
141cl::opt<bool> IterativeCounterPromotion(
142 cl::ZeroOrMore, "iterative-counter-promotion", cl::init(true),
143 cl::desc("Allow counter promotion across the whole loop nest."));
Xinliang David Lib67530e2017-06-25 00:26:43 +0000144
Xinliang David Lie6b89292016-04-18 17:47:38 +0000145class InstrProfilingLegacyPass : public ModulePass {
146 InstrProfiling InstrProf;
147
Justin Bogner61ba2e32014-12-08 18:02:35 +0000148public:
149 static char ID;
Eugene Zelenko34c23272017-01-18 00:57:48 +0000150
151 InstrProfilingLegacyPass() : ModulePass(ID) {}
Rong Xu6cdf3d82019-02-27 17:24:33 +0000152 InstrProfilingLegacyPass(const InstrProfOptions &Options, bool IsCS = false)
153 : ModulePass(ID), InstrProf(Options, IsCS) {}
Eugene Zelenko34c23272017-01-18 00:57:48 +0000154
Mehdi Amini117296c2016-10-01 02:56:57 +0000155 StringRef getPassName() const override {
Justin Bogner61ba2e32014-12-08 18:02:35 +0000156 return "Frontend instrumentation-based coverage lowering";
157 }
158
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000159 bool runOnModule(Module &M) override {
Teresa Johnson9c27b592019-09-07 03:09:36 +0000160 auto GetTLI = [this](Function &F) -> TargetLibraryInfo & {
161 return this->getAnalysis<TargetLibraryInfoWrapperPass>().getTLI(F);
162 };
163 return InstrProf.run(M, GetTLI);
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000164 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000165
166 void getAnalysisUsage(AnalysisUsage &AU) const override {
167 AU.setPreservesCFG();
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000168 AU.addRequired<TargetLibraryInfoWrapperPass>();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000169 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000170};
171
Xinliang David Lif564c692017-07-12 23:27:44 +0000172///
Xinliang David Lib67530e2017-06-25 00:26:43 +0000173/// A helper class to promote one counter RMW operation in the loop
174/// into register update.
175///
176/// RWM update for the counter will be sinked out of the loop after
177/// the transformation.
178///
179class PGOCounterPromoterHelper : public LoadAndStorePromoter {
180public:
Xinliang David Lif564c692017-07-12 23:27:44 +0000181 PGOCounterPromoterHelper(
182 Instruction *L, Instruction *S, SSAUpdater &SSA, Value *Init,
183 BasicBlock *PH, ArrayRef<BasicBlock *> ExitBlocks,
184 ArrayRef<Instruction *> InsertPts,
185 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
186 LoopInfo &LI)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000187 : LoadAndStorePromoter({L, S}, SSA), Store(S), ExitBlocks(ExitBlocks),
Xinliang David Lif564c692017-07-12 23:27:44 +0000188 InsertPts(InsertPts), LoopToCandidates(LoopToCands), LI(LI) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000189 assert(isa<LoadInst>(L));
190 assert(isa<StoreInst>(S));
191 SSA.AddAvailableValue(PH, Init);
192 }
Xinliang David Lif564c692017-07-12 23:27:44 +0000193
Alina Sbirlea6cba96e2019-02-06 20:25:17 +0000194 void doExtraRewritesBeforeFinalDeletion() override {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000195 for (unsigned i = 0, e = ExitBlocks.size(); i != e; ++i) {
196 BasicBlock *ExitBlock = ExitBlocks[i];
197 Instruction *InsertPos = InsertPts[i];
198 // Get LiveIn value into the ExitBlock. If there are multiple
199 // predecessors, the value is defined by a PHI node in this
200 // block.
201 Value *LiveInValue = SSA.GetValueInMiddleOfBlock(ExitBlock);
202 Value *Addr = cast<StoreInst>(Store)->getPointerOperand();
James Y Knight14359ef2019-02-01 20:44:24 +0000203 Type *Ty = LiveInValue->getType();
Xinliang David Lib67530e2017-06-25 00:26:43 +0000204 IRBuilder<> Builder(InsertPos);
205 if (AtomicCounterUpdatePromoted)
Xinliang David Lif564c692017-07-12 23:27:44 +0000206 // automic update currently can only be promoted across the current
207 // loop, not the whole loop nest.
Xinliang David Lib67530e2017-06-25 00:26:43 +0000208 Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, LiveInValue,
209 AtomicOrdering::SequentiallyConsistent);
210 else {
James Y Knight14359ef2019-02-01 20:44:24 +0000211 LoadInst *OldVal = Builder.CreateLoad(Ty, Addr, "pgocount.promoted");
Xinliang David Lib67530e2017-06-25 00:26:43 +0000212 auto *NewVal = Builder.CreateAdd(OldVal, LiveInValue);
Xinliang David Lif564c692017-07-12 23:27:44 +0000213 auto *NewStore = Builder.CreateStore(NewVal, Addr);
214
215 // Now update the parent loop's candidate list:
216 if (IterativeCounterPromotion) {
217 auto *TargetLoop = LI.getLoopFor(ExitBlock);
218 if (TargetLoop)
219 LoopToCandidates[TargetLoop].emplace_back(OldVal, NewStore);
220 }
Xinliang David Lib67530e2017-06-25 00:26:43 +0000221 }
222 }
223 }
224
225private:
226 Instruction *Store;
227 ArrayRef<BasicBlock *> ExitBlocks;
228 ArrayRef<Instruction *> InsertPts;
Xinliang David Lif564c692017-07-12 23:27:44 +0000229 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
230 LoopInfo &LI;
Xinliang David Lib67530e2017-06-25 00:26:43 +0000231};
232
233/// A helper class to do register promotion for all profile counter
234/// updates in a loop.
235///
236class PGOCounterPromoter {
237public:
Xinliang David Lif564c692017-07-12 23:27:44 +0000238 PGOCounterPromoter(
239 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
Rong Xu6cdf3d82019-02-27 17:24:33 +0000240 Loop &CurLoop, LoopInfo &LI, BlockFrequencyInfo *BFI)
Xinliang David Lif564c692017-07-12 23:27:44 +0000241 : LoopToCandidates(LoopToCands), ExitBlocks(), InsertPts(), L(CurLoop),
Rong Xu6cdf3d82019-02-27 17:24:33 +0000242 LI(LI), BFI(BFI) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000243
244 SmallVector<BasicBlock *, 8> LoopExitBlocks;
245 SmallPtrSet<BasicBlock *, 8> BlockSet;
Xinliang David Lif564c692017-07-12 23:27:44 +0000246 L.getExitBlocks(LoopExitBlocks);
Xinliang David Lib67530e2017-06-25 00:26:43 +0000247
248 for (BasicBlock *ExitBlock : LoopExitBlocks) {
249 if (BlockSet.insert(ExitBlock).second) {
250 ExitBlocks.push_back(ExitBlock);
251 InsertPts.push_back(&*ExitBlock->getFirstInsertionPt());
252 }
253 }
254 }
255
256 bool run(int64_t *NumPromoted) {
Xinliang David Lic23d2c62017-11-30 19:16:25 +0000257 // Skip 'infinite' loops:
258 if (ExitBlocks.size() == 0)
259 return false;
Xinliang David Lif564c692017-07-12 23:27:44 +0000260 unsigned MaxProm = getMaxNumOfPromotionsInLoop(&L);
261 if (MaxProm == 0)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000262 return false;
263
264 unsigned Promoted = 0;
Xinliang David Lif564c692017-07-12 23:27:44 +0000265 for (auto &Cand : LoopToCandidates[&L]) {
Xinliang David Lib67530e2017-06-25 00:26:43 +0000266
267 SmallVector<PHINode *, 4> NewPHIs;
268 SSAUpdater SSA(&NewPHIs);
269 Value *InitVal = ConstantInt::get(Cand.first->getType(), 0);
Xinliang David Lif564c692017-07-12 23:27:44 +0000270
Rong Xu6cdf3d82019-02-27 17:24:33 +0000271 // If BFI is set, we will use it to guide the promotions.
272 if (BFI) {
273 auto *BB = Cand.first->getParent();
274 auto InstrCount = BFI->getBlockProfileCount(BB);
275 if (!InstrCount)
276 continue;
277 auto PreheaderCount = BFI->getBlockProfileCount(L.getLoopPreheader());
278 // If the average loop trip count is not greater than 1.5, we skip
279 // promotion.
280 if (PreheaderCount &&
281 (PreheaderCount.getValue() * 3) >= (InstrCount.getValue() * 2))
282 continue;
283 }
284
Xinliang David Lib67530e2017-06-25 00:26:43 +0000285 PGOCounterPromoterHelper Promoter(Cand.first, Cand.second, SSA, InitVal,
Xinliang David Lif564c692017-07-12 23:27:44 +0000286 L.getLoopPreheader(), ExitBlocks,
287 InsertPts, LoopToCandidates, LI);
Xinliang David Lib67530e2017-06-25 00:26:43 +0000288 Promoter.run(SmallVector<Instruction *, 2>({Cand.first, Cand.second}));
289 Promoted++;
Xinliang David Lif564c692017-07-12 23:27:44 +0000290 if (Promoted >= MaxProm)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000291 break;
Xinliang David Lif564c692017-07-12 23:27:44 +0000292
Xinliang David Lib67530e2017-06-25 00:26:43 +0000293 (*NumPromoted)++;
294 if (MaxNumOfPromotions != -1 && *NumPromoted >= MaxNumOfPromotions)
295 break;
296 }
297
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000298 LLVM_DEBUG(dbgs() << Promoted << " counters promoted for loop (depth="
299 << L.getLoopDepth() << ")\n");
Xinliang David Lib67530e2017-06-25 00:26:43 +0000300 return Promoted != 0;
301 }
302
303private:
Xinliang David Lif564c692017-07-12 23:27:44 +0000304 bool allowSpeculativeCounterPromotion(Loop *LP) {
305 SmallVector<BasicBlock *, 8> ExitingBlocks;
306 L.getExitingBlocks(ExitingBlocks);
307 // Not considierered speculative.
308 if (ExitingBlocks.size() == 1)
309 return true;
310 if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
311 return false;
312 return true;
313 }
314
315 // Returns the max number of Counter Promotions for LP.
316 unsigned getMaxNumOfPromotionsInLoop(Loop *LP) {
317 // We can't insert into a catchswitch.
318 SmallVector<BasicBlock *, 8> LoopExitBlocks;
319 LP->getExitBlocks(LoopExitBlocks);
320 if (llvm::any_of(LoopExitBlocks, [](BasicBlock *Exit) {
321 return isa<CatchSwitchInst>(Exit->getTerminator());
322 }))
323 return 0;
324
325 if (!LP->hasDedicatedExits())
326 return 0;
327
328 BasicBlock *PH = LP->getLoopPreheader();
329 if (!PH)
330 return 0;
331
332 SmallVector<BasicBlock *, 8> ExitingBlocks;
333 LP->getExitingBlocks(ExitingBlocks);
Rong Xu6cdf3d82019-02-27 17:24:33 +0000334
335 // If BFI is set, we do more aggressive promotions based on BFI.
336 if (BFI)
337 return (unsigned)-1;
338
Xinliang David Lif564c692017-07-12 23:27:44 +0000339 // Not considierered speculative.
340 if (ExitingBlocks.size() == 1)
341 return MaxNumOfPromotionsPerLoop;
342
343 if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
344 return 0;
345
346 // Whether the target block is in a loop does not matter:
347 if (SpeculativeCounterPromotionToLoop)
348 return MaxNumOfPromotionsPerLoop;
349
350 // Now check the target block:
351 unsigned MaxProm = MaxNumOfPromotionsPerLoop;
352 for (auto *TargetBlock : LoopExitBlocks) {
353 auto *TargetLoop = LI.getLoopFor(TargetBlock);
354 if (!TargetLoop)
355 continue;
356 unsigned MaxPromForTarget = getMaxNumOfPromotionsInLoop(TargetLoop);
357 unsigned PendingCandsInTarget = LoopToCandidates[TargetLoop].size();
358 MaxProm =
359 std::min(MaxProm, std::max(MaxPromForTarget, PendingCandsInTarget) -
360 PendingCandsInTarget);
361 }
362 return MaxProm;
363 }
364
365 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
Xinliang David Lib67530e2017-06-25 00:26:43 +0000366 SmallVector<BasicBlock *, 8> ExitBlocks;
367 SmallVector<Instruction *, 8> InsertPts;
Xinliang David Lif564c692017-07-12 23:27:44 +0000368 Loop &L;
369 LoopInfo &LI;
Rong Xu6cdf3d82019-02-27 17:24:33 +0000370 BlockFrequencyInfo *BFI;
Xinliang David Lib67530e2017-06-25 00:26:43 +0000371};
372
Eugene Zelenko34c23272017-01-18 00:57:48 +0000373} // end anonymous namespace
Justin Bogner61ba2e32014-12-08 18:02:35 +0000374
Sean Silvafd03ac62016-08-09 00:28:38 +0000375PreservedAnalyses InstrProfiling::run(Module &M, ModuleAnalysisManager &AM) {
Teresa Johnson9c27b592019-09-07 03:09:36 +0000376 FunctionAnalysisManager &FAM =
377 AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
378 auto GetTLI = [&FAM](Function &F) -> TargetLibraryInfo & {
379 return FAM.getResult<TargetLibraryAnalysis>(F);
380 };
381 if (!run(M, GetTLI))
Xinliang David Lie6b89292016-04-18 17:47:38 +0000382 return PreservedAnalyses::all();
383
384 return PreservedAnalyses::none();
385}
386
387char InstrProfilingLegacyPass::ID = 0;
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000388INITIALIZE_PASS_BEGIN(
389 InstrProfilingLegacyPass, "instrprof",
390 "Frontend instrumentation-based coverage lowering.", false, false)
391INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
392INITIALIZE_PASS_END(
393 InstrProfilingLegacyPass, "instrprof",
394 "Frontend instrumentation-based coverage lowering.", false, false)
Justin Bogner61ba2e32014-12-08 18:02:35 +0000395
Xinliang David Li69a00f02016-06-21 02:39:08 +0000396ModulePass *
Rong Xu6cdf3d82019-02-27 17:24:33 +0000397llvm::createInstrProfilingLegacyPass(const InstrProfOptions &Options,
398 bool IsCS) {
399 return new InstrProfilingLegacyPass(Options, IsCS);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000400}
401
Xinliang David Li4ca17332016-09-18 18:34:07 +0000402static InstrProfIncrementInst *castToIncrementInst(Instruction *Instr) {
403 InstrProfIncrementInst *Inc = dyn_cast<InstrProfIncrementInstStep>(Instr);
404 if (Inc)
405 return Inc;
406 return dyn_cast<InstrProfIncrementInst>(Instr);
407}
408
Xinliang David Lib67530e2017-06-25 00:26:43 +0000409bool InstrProfiling::lowerIntrinsics(Function *F) {
410 bool MadeChange = false;
411 PromotionCandidates.clear();
412 for (BasicBlock &BB : *F) {
413 for (auto I = BB.begin(), E = BB.end(); I != E;) {
414 auto Instr = I++;
415 InstrProfIncrementInst *Inc = castToIncrementInst(&*Instr);
416 if (Inc) {
417 lowerIncrement(Inc);
418 MadeChange = true;
419 } else if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(Instr)) {
420 lowerValueProfileInst(Ind);
421 MadeChange = true;
422 }
423 }
424 }
425
426 if (!MadeChange)
427 return false;
428
429 promoteCounterLoadStores(F);
430 return true;
431}
432
433bool InstrProfiling::isCounterPromotionEnabled() const {
434 if (DoCounterPromotion.getNumOccurrences() > 0)
435 return DoCounterPromotion;
436
437 return Options.DoCounterPromotion;
438}
439
440void InstrProfiling::promoteCounterLoadStores(Function *F) {
441 if (!isCounterPromotionEnabled())
442 return;
443
444 DominatorTree DT(*F);
445 LoopInfo LI(DT);
446 DenseMap<Loop *, SmallVector<LoadStorePair, 8>> LoopPromotionCandidates;
447
Rong Xu6cdf3d82019-02-27 17:24:33 +0000448 std::unique_ptr<BlockFrequencyInfo> BFI;
449 if (Options.UseBFIInPromotion) {
450 std::unique_ptr<BranchProbabilityInfo> BPI;
Teresa Johnson9c27b592019-09-07 03:09:36 +0000451 BPI.reset(new BranchProbabilityInfo(*F, LI, &GetTLI(*F)));
Rong Xu6cdf3d82019-02-27 17:24:33 +0000452 BFI.reset(new BlockFrequencyInfo(*F, *BPI, LI));
453 }
454
Xinliang David Lib67530e2017-06-25 00:26:43 +0000455 for (const auto &LoadStore : PromotionCandidates) {
456 auto *CounterLoad = LoadStore.first;
457 auto *CounterStore = LoadStore.second;
458 BasicBlock *BB = CounterLoad->getParent();
459 Loop *ParentLoop = LI.getLoopFor(BB);
460 if (!ParentLoop)
461 continue;
462 LoopPromotionCandidates[ParentLoop].emplace_back(CounterLoad, CounterStore);
463 }
464
465 SmallVector<Loop *, 4> Loops = LI.getLoopsInPreorder();
466
Xinliang David Lif564c692017-07-12 23:27:44 +0000467 // Do a post-order traversal of the loops so that counter updates can be
468 // iteratively hoisted outside the loop nest.
469 for (auto *Loop : llvm::reverse(Loops)) {
Rong Xu6cdf3d82019-02-27 17:24:33 +0000470 PGOCounterPromoter Promoter(LoopPromotionCandidates, *Loop, LI, BFI.get());
Xinliang David Lib67530e2017-06-25 00:26:43 +0000471 Promoter.run(&TotalCountersPromoted);
472 }
473}
474
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000475/// Check if the module contains uses of any profiling intrinsics.
476static bool containsProfilingIntrinsics(Module &M) {
477 if (auto *F = M.getFunction(
478 Intrinsic::getName(llvm::Intrinsic::instrprof_increment)))
Vedant Kumarcff94622018-01-27 00:01:04 +0000479 if (!F->use_empty())
480 return true;
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000481 if (auto *F = M.getFunction(
482 Intrinsic::getName(llvm::Intrinsic::instrprof_increment_step)))
Vedant Kumarcff94622018-01-27 00:01:04 +0000483 if (!F->use_empty())
484 return true;
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000485 if (auto *F = M.getFunction(
486 Intrinsic::getName(llvm::Intrinsic::instrprof_value_profile)))
Vedant Kumarcff94622018-01-27 00:01:04 +0000487 if (!F->use_empty())
488 return true;
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000489 return false;
490}
491
Teresa Johnson9c27b592019-09-07 03:09:36 +0000492bool InstrProfiling::run(
493 Module &M, std::function<const TargetLibraryInfo &(Function &F)> GetTLI) {
Justin Bogner61ba2e32014-12-08 18:02:35 +0000494 this->M = &M;
Teresa Johnson9c27b592019-09-07 03:09:36 +0000495 this->GetTLI = std::move(GetTLI);
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000496 NamesVar = nullptr;
497 NamesSize = 0;
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000498 ProfileDataMap.clear();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000499 UsedVars.clear();
Rong Xu48596b62017-04-04 16:42:20 +0000500 getMemOPSizeRangeFromOption(MemOPSizeRange, MemOPSizeRangeStart,
501 MemOPSizeRangeLast);
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000502 TT = Triple(M.getTargetTriple());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000503
Vedant Kumar9a041a72018-02-28 19:00:08 +0000504 // Emit the runtime hook even if no counters are present.
505 bool MadeChange = emitRuntimeHook();
506
507 // Improve compile time by avoiding linear scans when there is no work.
508 GlobalVariable *CoverageNamesVar =
509 M.getNamedGlobal(getCoverageUnusedNamesVarName());
510 if (!containsProfilingIntrinsics(M) && !CoverageNamesVar)
511 return MadeChange;
512
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000513 // We did not know how many value sites there would be inside
514 // the instrumented function. This is counting the number of instrumented
515 // target value sites to enter it as field in the profile data variable.
Rong Xu294572f2016-01-19 18:29:54 +0000516 for (Function &F : M) {
517 InstrProfIncrementInst *FirstProfIncInst = nullptr;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000518 for (BasicBlock &BB : F)
Rong Xu294572f2016-01-19 18:29:54 +0000519 for (auto I = BB.begin(), E = BB.end(); I != E; I++)
520 if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(I))
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000521 computeNumValueSiteCounts(Ind);
Rong Xu294572f2016-01-19 18:29:54 +0000522 else if (FirstProfIncInst == nullptr)
523 FirstProfIncInst = dyn_cast<InstrProfIncrementInst>(I);
524
525 // Value profiling intrinsic lowering requires per-function profile data
526 // variable to be created first.
527 if (FirstProfIncInst != nullptr)
528 static_cast<void>(getOrCreateRegionCounters(FirstProfIncInst));
529 }
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000530
531 for (Function &F : M)
Xinliang David Lib67530e2017-06-25 00:26:43 +0000532 MadeChange |= lowerIntrinsics(&F);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000533
Vedant Kumar1ee511c2018-01-26 23:54:24 +0000534 if (CoverageNamesVar) {
Xinliang David Li81056072016-01-07 20:05:49 +0000535 lowerCoverageData(CoverageNamesVar);
Justin Bognerd24e1852015-02-11 02:52:44 +0000536 MadeChange = true;
537 }
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000538
Justin Bogner61ba2e32014-12-08 18:02:35 +0000539 if (!MadeChange)
540 return false;
541
Xinliang David Lib628dd32016-05-21 22:55:34 +0000542 emitVNodes();
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000543 emitNameData();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000544 emitRegistration();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000545 emitUses();
546 emitInitialization();
547 return true;
548}
549
James Y Knight13680222019-02-01 02:28:03 +0000550static FunctionCallee
551getOrInsertValueProfilingCall(Module &M, const TargetLibraryInfo &TLI,
552 bool IsRange = false) {
Xinliang David Lic7673232015-11-22 00:22:07 +0000553 LLVMContext &Ctx = M.getContext();
554 auto *ReturnTy = Type::getVoidTy(M.getContext());
Rong Xu60faea12017-03-16 21:15:48 +0000555
James Y Knight13680222019-02-01 02:28:03 +0000556 AttributeList AL;
557 if (auto AK = TLI.getExtAttrForI32Param(false))
558 AL = AL.addParamAttribute(M.getContext(), 2, AK);
559
Rong Xu60faea12017-03-16 21:15:48 +0000560 if (!IsRange) {
561 Type *ParamTypes[] = {
Xinliang David Lic7673232015-11-22 00:22:07 +0000562#define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
563#include "llvm/ProfileData/InstrProfData.inc"
Rong Xu60faea12017-03-16 21:15:48 +0000564 };
565 auto *ValueProfilingCallTy =
566 FunctionType::get(ReturnTy, makeArrayRef(ParamTypes), false);
James Y Knight13680222019-02-01 02:28:03 +0000567 return M.getOrInsertFunction(getInstrProfValueProfFuncName(),
568 ValueProfilingCallTy, AL);
Rong Xu60faea12017-03-16 21:15:48 +0000569 } else {
570 Type *RangeParamTypes[] = {
571#define VALUE_RANGE_PROF 1
572#define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
573#include "llvm/ProfileData/InstrProfData.inc"
574#undef VALUE_RANGE_PROF
575 };
576 auto *ValueRangeProfilingCallTy =
577 FunctionType::get(ReturnTy, makeArrayRef(RangeParamTypes), false);
James Y Knight13680222019-02-01 02:28:03 +0000578 return M.getOrInsertFunction(getInstrProfValueRangeProfFuncName(),
579 ValueRangeProfilingCallTy, AL);
Rong Xu60faea12017-03-16 21:15:48 +0000580 }
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000581}
582
583void InstrProfiling::computeNumValueSiteCounts(InstrProfValueProfileInst *Ind) {
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000584 GlobalVariable *Name = Ind->getName();
585 uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
586 uint64_t Index = Ind->getIndex()->getZExtValue();
587 auto It = ProfileDataMap.find(Name);
588 if (It == ProfileDataMap.end()) {
589 PerFunctionProfileData PD;
590 PD.NumValueSites[ValueKind] = Index + 1;
591 ProfileDataMap[Name] = PD;
592 } else if (It->second.NumValueSites[ValueKind] <= Index)
593 It->second.NumValueSites[ValueKind] = Index + 1;
594}
595
596void InstrProfiling::lowerValueProfileInst(InstrProfValueProfileInst *Ind) {
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000597 GlobalVariable *Name = Ind->getName();
598 auto It = ProfileDataMap.find(Name);
599 assert(It != ProfileDataMap.end() && It->second.DataVar &&
Xinliang David Li69a00f02016-06-21 02:39:08 +0000600 "value profiling detected in function with no counter incerement");
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000601
602 GlobalVariable *DataVar = It->second.DataVar;
603 uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
604 uint64_t Index = Ind->getIndex()->getZExtValue();
605 for (uint32_t Kind = IPVK_First; Kind < ValueKind; ++Kind)
606 Index += It->second.NumValueSites[Kind];
607
608 IRBuilder<> Builder(Ind);
Rong Xu60faea12017-03-16 21:15:48 +0000609 bool IsRange = (Ind->getValueKind()->getZExtValue() ==
610 llvm::InstrProfValueKind::IPVK_MemOPSize);
611 CallInst *Call = nullptr;
Teresa Johnson9c27b592019-09-07 03:09:36 +0000612 auto *TLI = &GetTLI(*Ind->getFunction());
Rong Xu60faea12017-03-16 21:15:48 +0000613 if (!IsRange) {
614 Value *Args[3] = {Ind->getTargetValue(),
615 Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
616 Builder.getInt32(Index)};
617 Call = Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI), Args);
618 } else {
Rong Xu48596b62017-04-04 16:42:20 +0000619 Value *Args[6] = {
620 Ind->getTargetValue(),
621 Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
622 Builder.getInt32(Index),
623 Builder.getInt64(MemOPSizeRangeStart),
624 Builder.getInt64(MemOPSizeRangeLast),
625 Builder.getInt64(MemOPSizeLarge == 0 ? INT64_MIN : MemOPSizeLarge)};
Rong Xu60faea12017-03-16 21:15:48 +0000626 Call =
627 Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI, true), Args);
628 }
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000629 if (auto AK = TLI->getExtAttrForI32Param(false))
Reid Klecknera0b45f42017-05-03 18:17:31 +0000630 Call->addParamAttr(2, AK);
Marcin Koscielnicki1c2bd1e2016-11-21 11:57:19 +0000631 Ind->replaceAllUsesWith(Call);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000632 Ind->eraseFromParent();
633}
634
Justin Bogner61ba2e32014-12-08 18:02:35 +0000635void InstrProfiling::lowerIncrement(InstrProfIncrementInst *Inc) {
636 GlobalVariable *Counters = getOrCreateRegionCounters(Inc);
637
Duncan P. N. Exon Smithe82c2862015-10-13 17:39:10 +0000638 IRBuilder<> Builder(Inc);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000639 uint64_t Index = Inc->getIndex()->getZExtValue();
James Y Knight77160752019-02-01 20:44:47 +0000640 Value *Addr = Builder.CreateConstInBoundsGEP2_64(Counters->getValueType(),
641 Counters, 0, Index);
Vedant Kumaree6c2332018-08-16 22:24:47 +0000642
643 if (Options.Atomic || AtomicCounterUpdateAll) {
644 Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, Inc->getStep(),
645 AtomicOrdering::Monotonic);
646 } else {
James Y Knight14359ef2019-02-01 20:44:24 +0000647 Value *IncStep = Inc->getStep();
648 Value *Load = Builder.CreateLoad(IncStep->getType(), Addr, "pgocount");
Vedant Kumaree6c2332018-08-16 22:24:47 +0000649 auto *Count = Builder.CreateAdd(Load, Inc->getStep());
650 auto *Store = Builder.CreateStore(Count, Addr);
651 if (isCounterPromotionEnabled())
652 PromotionCandidates.emplace_back(cast<Instruction>(Load), Store);
653 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000654 Inc->eraseFromParent();
655}
656
Xinliang David Li81056072016-01-07 20:05:49 +0000657void InstrProfiling::lowerCoverageData(GlobalVariable *CoverageNamesVar) {
Xinliang David Li81056072016-01-07 20:05:49 +0000658 ConstantArray *Names =
659 cast<ConstantArray>(CoverageNamesVar->getInitializer());
660 for (unsigned I = 0, E = Names->getNumOperands(); I < E; ++I) {
661 Constant *NC = Names->getOperand(I);
662 Value *V = NC->stripPointerCasts();
Justin Bognerd24e1852015-02-11 02:52:44 +0000663 assert(isa<GlobalVariable>(V) && "Missing reference to function name");
664 GlobalVariable *Name = cast<GlobalVariable>(V);
665
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000666 Name->setLinkage(GlobalValue::PrivateLinkage);
667 ReferencedNames.push_back(Name);
Vedant Kumar55891fc2017-02-14 20:03:48 +0000668 NC->dropAllReferences();
Justin Bognerd24e1852015-02-11 02:52:44 +0000669 }
Vedant Kumar55891fc2017-02-14 20:03:48 +0000670 CoverageNamesVar->eraseFromParent();
Justin Bognerd24e1852015-02-11 02:52:44 +0000671}
672
Justin Bogner61ba2e32014-12-08 18:02:35 +0000673/// Get the name of a profiling variable for a particular function.
Xinliang David Li83bc4222015-10-22 20:32:12 +0000674static std::string getVarName(InstrProfIncrementInst *Inc, StringRef Prefix) {
Xinliang David Lid1bab962015-12-12 17:28:03 +0000675 StringRef NamePrefix = getInstrProfNameVarPrefix();
676 StringRef Name = Inc->getName()->getName().substr(NamePrefix.size());
Rong Xu20f5df12017-01-11 20:19:41 +0000677 Function *F = Inc->getParent()->getParent();
678 Module *M = F->getParent();
679 if (!DoHashBasedCounterSplit || !isIRPGOFlagSet(M) ||
680 !canRenameComdatFunc(*F))
681 return (Prefix + Name).str();
682 uint64_t FuncHash = Inc->getHash()->getZExtValue();
683 SmallVector<char, 24> HashPostfix;
684 if (Name.endswith((Twine(".") + Twine(FuncHash)).toStringRef(HashPostfix)))
685 return (Prefix + Name).str();
686 return (Prefix + Name + "." + Twine(FuncHash)).str();
Justin Bogner61ba2e32014-12-08 18:02:35 +0000687}
688
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000689static inline bool shouldRecordFunctionAddr(Function *F) {
690 // Check the linkage
Vedant Kumar9c056c92017-06-13 22:12:35 +0000691 bool HasAvailableExternallyLinkage = F->hasAvailableExternallyLinkage();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000692 if (!F->hasLinkOnceLinkage() && !F->hasLocalLinkage() &&
Vedant Kumar9c056c92017-06-13 22:12:35 +0000693 !HasAvailableExternallyLinkage)
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000694 return true;
Vedant Kumar9c056c92017-06-13 22:12:35 +0000695
696 // A function marked 'alwaysinline' with available_externally linkage can't
697 // have its address taken. Doing so would create an undefined external ref to
698 // the function, which would fail to link.
699 if (HasAvailableExternallyLinkage &&
700 F->hasFnAttribute(Attribute::AlwaysInline))
701 return false;
702
Rong Xuaf5aeba2016-04-27 21:17:30 +0000703 // Prohibit function address recording if the function is both internal and
704 // COMDAT. This avoids the profile data variable referencing internal symbols
705 // in COMDAT.
706 if (F->hasLocalLinkage() && F->hasComdat())
707 return false;
Vedant Kumar9c056c92017-06-13 22:12:35 +0000708
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000709 // Check uses of this function for other than direct calls or invokes to it.
Xinliang David Li7008ce32016-06-02 16:33:41 +0000710 // Inline virtual functions have linkeOnceODR linkage. When a key method
711 // exists, the vtable will only be emitted in the TU where the key method
712 // is defined. In a TU where vtable is not available, the function won't
Xinliang David Li6c44e9e2016-06-03 23:02:28 +0000713 // be 'addresstaken'. If its address is not recorded here, the profile data
Xinliang David Li69a00f02016-06-21 02:39:08 +0000714 // with missing address may be picked by the linker leading to missing
Xinliang David Li6c44e9e2016-06-03 23:02:28 +0000715 // indirect call target info.
716 return F->hasAddressTaken() || F->hasLinkOnceLinkage();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000717}
718
Reid Klecknerf21c0222019-02-07 18:16:22 +0000719static bool needsRuntimeRegistrationOfSectionRange(const Triple &TT) {
Xinliang David Lib628dd32016-05-21 22:55:34 +0000720 // Don't do this for Darwin. compiler-rt uses linker magic.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000721 if (TT.isOSDarwin())
Xinliang David Lib628dd32016-05-21 22:55:34 +0000722 return false;
Xinliang David Lib628dd32016-05-21 22:55:34 +0000723 // Use linker script magic to get data/cnts/name start/end.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000724 if (TT.isOSLinux() || TT.isOSFreeBSD() || TT.isOSNetBSD() ||
Rainer Orth6fde8322019-06-20 21:27:06 +0000725 TT.isOSSolaris() || TT.isOSFuchsia() || TT.isPS4CPU() ||
726 TT.isOSWindows())
Xinliang David Lib628dd32016-05-21 22:55:34 +0000727 return false;
728
729 return true;
730}
731
Justin Bogner61ba2e32014-12-08 18:02:35 +0000732GlobalVariable *
733InstrProfiling::getOrCreateRegionCounters(InstrProfIncrementInst *Inc) {
Xinliang David Li192c7482015-11-05 00:47:26 +0000734 GlobalVariable *NamePtr = Inc->getName();
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000735 auto It = ProfileDataMap.find(NamePtr);
736 PerFunctionProfileData PD;
737 if (It != ProfileDataMap.end()) {
738 if (It->second.RegionCounters)
739 return It->second.RegionCounters;
740 PD = It->second;
741 }
Justin Bogner61ba2e32014-12-08 18:02:35 +0000742
Reid Kleckner32837a02019-09-16 18:49:09 +0000743 // Match the linkage and visibility of the name global. COFF supports using
744 // comdats with internal symbols, so do that if we can.
Diego Novillodf4837b2015-05-27 19:34:01 +0000745 Function *Fn = Inc->getParent()->getParent();
Reid Kleckner987d3312019-02-08 19:03:50 +0000746 GlobalValue::LinkageTypes Linkage = NamePtr->getLinkage();
747 GlobalValue::VisibilityTypes Visibility = NamePtr->getVisibility();
748 if (TT.isOSBinFormatCOFF()) {
749 Linkage = GlobalValue::InternalLinkage;
750 Visibility = GlobalValue::DefaultVisibility;
751 }
752
753 // Move the name variable to the right section. Place them in a COMDAT group
754 // if the associated function is a COMDAT. This will make sure that only one
Reid Kleckner4fb35022019-02-27 23:38:44 +0000755 // copy of counters of the COMDAT function will be emitted after linking. Keep
756 // in mind that this pass may run before the inliner, so we need to create a
757 // new comdat group for the counters and profiling data. If we use the comdat
758 // of the parent function, that will result in relocations against discarded
759 // sections.
Reid Kleckner23e872a2019-09-17 21:10:49 +0000760 bool NeedComdat = needsComdatForCounter(*Fn, *M);
Reid Kleckner23e872a2019-09-17 21:10:49 +0000761 if (NeedComdat) {
Reid Kleckner987d3312019-02-08 19:03:50 +0000762 if (TT.isOSBinFormatCOFF()) {
Reid Kleckner23e872a2019-09-17 21:10:49 +0000763 // For COFF, put the counters, data, and values each into their own
764 // comdats. We can't use a group because the Visual C++ linker will
765 // report duplicate symbol errors if there are multiple external symbols
766 // with the same name marked IMAGE_COMDAT_SELECT_ASSOCIATIVE.
Reid Kleckner32837a02019-09-16 18:49:09 +0000767 Linkage = GlobalValue::LinkOnceODRLinkage;
768 Visibility = GlobalValue::HiddenVisibility;
Reid Kleckner987d3312019-02-08 19:03:50 +0000769 }
770 }
Reid Kleckner23e872a2019-09-17 21:10:49 +0000771 auto MaybeSetComdat = [=](GlobalVariable *GV) {
772 if (NeedComdat)
Rong Xu36740502019-09-30 18:11:22 +0000773 GV->setComdat(M->getOrInsertComdat(GV->getName()));
Reid Kleckner23e872a2019-09-17 21:10:49 +0000774 };
Justin Bogner61ba2e32014-12-08 18:02:35 +0000775
776 uint64_t NumCounters = Inc->getNumCounters()->getZExtValue();
777 LLVMContext &Ctx = M->getContext();
778 ArrayType *CounterTy = ArrayType::get(Type::getInt64Ty(Ctx), NumCounters);
779
780 // Create the counters variable.
Xinliang David Li192c7482015-11-05 00:47:26 +0000781 auto *CounterPtr =
Reid Kleckner987d3312019-02-08 19:03:50 +0000782 new GlobalVariable(*M, CounterTy, false, Linkage,
Xinliang David Li83bc4222015-10-22 20:32:12 +0000783 Constant::getNullValue(CounterTy),
784 getVarName(Inc, getInstrProfCountersVarPrefix()));
Reid Kleckner987d3312019-02-08 19:03:50 +0000785 CounterPtr->setVisibility(Visibility);
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000786 CounterPtr->setSection(
787 getInstrProfSectionName(IPSK_cnts, TT.getObjectFormat()));
Guillaume Chatelet0e620112019-10-15 11:24:36 +0000788 CounterPtr->setAlignment(Align(8));
Reid Kleckner23e872a2019-09-17 21:10:49 +0000789 MaybeSetComdat(CounterPtr);
Reid Kleckner32837a02019-09-16 18:49:09 +0000790 CounterPtr->setLinkage(Linkage);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000791
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000792 auto *Int8PtrTy = Type::getInt8PtrTy(Ctx);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000793 // Allocate statically the array of pointers to value profile nodes for
794 // the current function.
795 Constant *ValuesPtrExpr = ConstantPointerNull::get(Int8PtrTy);
Reid Klecknerf21c0222019-02-07 18:16:22 +0000796 if (ValueProfileStaticAlloc && !needsRuntimeRegistrationOfSectionRange(TT)) {
Xinliang David Lib628dd32016-05-21 22:55:34 +0000797 uint64_t NS = 0;
798 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
799 NS += PD.NumValueSites[Kind];
800 if (NS) {
801 ArrayType *ValuesTy = ArrayType::get(Type::getInt64Ty(Ctx), NS);
802
803 auto *ValuesVar =
Reid Kleckner987d3312019-02-08 19:03:50 +0000804 new GlobalVariable(*M, ValuesTy, false, Linkage,
Xinliang David Lib628dd32016-05-21 22:55:34 +0000805 Constant::getNullValue(ValuesTy),
806 getVarName(Inc, getInstrProfValuesVarPrefix()));
Reid Kleckner987d3312019-02-08 19:03:50 +0000807 ValuesVar->setVisibility(Visibility);
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000808 ValuesVar->setSection(
809 getInstrProfSectionName(IPSK_vals, TT.getObjectFormat()));
Guillaume Chatelet0e620112019-10-15 11:24:36 +0000810 ValuesVar->setAlignment(Align(8));
Reid Kleckner23e872a2019-09-17 21:10:49 +0000811 MaybeSetComdat(ValuesVar);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000812 ValuesPtrExpr =
Eugene Zelenko34c23272017-01-18 00:57:48 +0000813 ConstantExpr::getBitCast(ValuesVar, Type::getInt8PtrTy(Ctx));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000814 }
815 }
816
817 // Create data variable.
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000818 auto *Int16Ty = Type::getInt16Ty(Ctx);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000819 auto *Int16ArrayTy = ArrayType::get(Int16Ty, IPVK_Last + 1);
Xinliang David Li192c7482015-11-05 00:47:26 +0000820 Type *DataTypes[] = {
Xinliang David Li69a00f02016-06-21 02:39:08 +0000821#define INSTR_PROF_DATA(Type, LLVMType, Name, Init) LLVMType,
822#include "llvm/ProfileData/InstrProfData.inc"
Xinliang David Li192c7482015-11-05 00:47:26 +0000823 };
Justin Bogner61ba2e32014-12-08 18:02:35 +0000824 auto *DataTy = StructType::get(Ctx, makeArrayRef(DataTypes));
Xinliang David Li192c7482015-11-05 00:47:26 +0000825
Xinliang David Li69a00f02016-06-21 02:39:08 +0000826 Constant *FunctionAddr = shouldRecordFunctionAddr(Fn)
827 ? ConstantExpr::getBitCast(Fn, Int8PtrTy)
828 : ConstantPointerNull::get(Int8PtrTy);
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000829
Xinliang David Li69a00f02016-06-21 02:39:08 +0000830 Constant *Int16ArrayVals[IPVK_Last + 1];
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000831 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
832 Int16ArrayVals[Kind] = ConstantInt::get(Int16Ty, PD.NumValueSites[Kind]);
833
Justin Bogner61ba2e32014-12-08 18:02:35 +0000834 Constant *DataVals[] = {
Xinliang David Li69a00f02016-06-21 02:39:08 +0000835#define INSTR_PROF_DATA(Type, LLVMType, Name, Init) Init,
836#include "llvm/ProfileData/InstrProfData.inc"
Xinliang David Li192c7482015-11-05 00:47:26 +0000837 };
Reid Kleckner987d3312019-02-08 19:03:50 +0000838 auto *Data = new GlobalVariable(*M, DataTy, false, Linkage,
Justin Bogner61ba2e32014-12-08 18:02:35 +0000839 ConstantStruct::get(DataTy, DataVals),
Xinliang David Li83bc4222015-10-22 20:32:12 +0000840 getVarName(Inc, getInstrProfDataVarPrefix()));
Reid Kleckner987d3312019-02-08 19:03:50 +0000841 Data->setVisibility(Visibility);
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000842 Data->setSection(getInstrProfSectionName(IPSK_data, TT.getObjectFormat()));
Guillaume Chatelet0e620112019-10-15 11:24:36 +0000843 Data->setAlignment(Align(INSTR_PROF_DATA_ALIGNMENT));
Reid Kleckner23e872a2019-09-17 21:10:49 +0000844 MaybeSetComdat(Data);
Reid Kleckner32837a02019-09-16 18:49:09 +0000845 Data->setLinkage(Linkage);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000846
Betul Buyukkurt6fac1742015-11-18 18:14:55 +0000847 PD.RegionCounters = CounterPtr;
848 PD.DataVar = Data;
849 ProfileDataMap[NamePtr] = PD;
850
Justin Bogner61ba2e32014-12-08 18:02:35 +0000851 // Mark the data variable as used so that it isn't stripped out.
852 UsedVars.push_back(Data);
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000853 // Now that the linkage set by the FE has been passed to the data and counter
854 // variables, reset Name variable's linkage and visibility to private so that
855 // it can be removed later by the compiler.
856 NamePtr->setLinkage(GlobalValue::PrivateLinkage);
857 // Collect the referenced names to be used by emitNameData.
858 ReferencedNames.push_back(NamePtr);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000859
Xinliang David Li192c7482015-11-05 00:47:26 +0000860 return CounterPtr;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000861}
862
Xinliang David Lib628dd32016-05-21 22:55:34 +0000863void InstrProfiling::emitVNodes() {
864 if (!ValueProfileStaticAlloc)
865 return;
Xinliang David Li8da773b2016-05-17 20:19:03 +0000866
Xinliang David Lib628dd32016-05-21 22:55:34 +0000867 // For now only support this on platforms that do
868 // not require runtime registration to discover
869 // named section start/end.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000870 if (needsRuntimeRegistrationOfSectionRange(TT))
Xinliang David Lib628dd32016-05-21 22:55:34 +0000871 return;
Xinliang David Li8da773b2016-05-17 20:19:03 +0000872
Xinliang David Lib628dd32016-05-21 22:55:34 +0000873 size_t TotalNS = 0;
874 for (auto &PD : ProfileDataMap) {
875 for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
876 TotalNS += PD.second.NumValueSites[Kind];
877 }
878
879 if (!TotalNS)
880 return;
881
882 uint64_t NumCounters = TotalNS * NumCountersPerValueSite;
Xinliang David Li69a00f02016-06-21 02:39:08 +0000883// Heuristic for small programs with very few total value sites.
884// The default value of vp-counters-per-site is chosen based on
885// the observation that large apps usually have a low percentage
886// of value sites that actually have any profile data, and thus
887// the average number of counters per site is low. For small
888// apps with very few sites, this may not be true. Bump up the
889// number of counters in this case.
Xinliang David Lie4520762016-05-23 19:29:26 +0000890#define INSTR_PROF_MIN_VAL_COUNTS 10
891 if (NumCounters < INSTR_PROF_MIN_VAL_COUNTS)
Xinliang David Li69a00f02016-06-21 02:39:08 +0000892 NumCounters = std::max(INSTR_PROF_MIN_VAL_COUNTS, (int)NumCounters * 2);
Xinliang David Lib628dd32016-05-21 22:55:34 +0000893
894 auto &Ctx = M->getContext();
895 Type *VNodeTypes[] = {
896#define INSTR_PROF_VALUE_NODE(Type, LLVMType, Name, Init) LLVMType,
897#include "llvm/ProfileData/InstrProfData.inc"
898 };
899 auto *VNodeTy = StructType::get(Ctx, makeArrayRef(VNodeTypes));
900
901 ArrayType *VNodesTy = ArrayType::get(VNodeTy, NumCounters);
902 auto *VNodesVar = new GlobalVariable(
Eugene Zelenko34c23272017-01-18 00:57:48 +0000903 *M, VNodesTy, false, GlobalValue::PrivateLinkage,
Xinliang David Lib628dd32016-05-21 22:55:34 +0000904 Constant::getNullValue(VNodesTy), getInstrProfVNodesVarName());
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000905 VNodesVar->setSection(
906 getInstrProfSectionName(IPSK_vnodes, TT.getObjectFormat()));
Xinliang David Lib628dd32016-05-21 22:55:34 +0000907 UsedVars.push_back(VNodesVar);
Xinliang David Li8da773b2016-05-17 20:19:03 +0000908}
909
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000910void InstrProfiling::emitNameData() {
911 std::string UncompressedData;
912
913 if (ReferencedNames.empty())
914 return;
915
916 std::string CompressedNameStr;
Vedant Kumar9152fd12016-05-19 03:54:45 +0000917 if (Error E = collectPGOFuncNameStrings(ReferencedNames, CompressedNameStr,
Vedant Kumar43cba732016-05-03 16:53:17 +0000918 DoNameCompression)) {
Eugene Zelenko34c23272017-01-18 00:57:48 +0000919 report_fatal_error(toString(std::move(E)), false);
Vedant Kumar43cba732016-05-03 16:53:17 +0000920 }
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000921
922 auto &Ctx = M->getContext();
Eugene Zelenko34c23272017-01-18 00:57:48 +0000923 auto *NamesVal = ConstantDataArray::getString(
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000924 Ctx, StringRef(CompressedNameStr), false);
Eugene Zelenko34c23272017-01-18 00:57:48 +0000925 NamesVar = new GlobalVariable(*M, NamesVal->getType(), true,
926 GlobalValue::PrivateLinkage, NamesVal,
927 getInstrProfNamesVarName());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000928 NamesSize = CompressedNameStr.size();
Vedant Kumar1a6a2b62017-04-15 00:09:57 +0000929 NamesVar->setSection(
930 getInstrProfSectionName(IPSK_name, TT.getObjectFormat()));
Reid Kleckner987d3312019-02-08 19:03:50 +0000931 // On COFF, it's important to reduce the alignment down to 1 to prevent the
932 // linker from inserting padding before the start of the names section or
933 // between names entries.
Guillaume Chatelet0e620112019-10-15 11:24:36 +0000934 NamesVar->setAlignment(Align::None());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000935 UsedVars.push_back(NamesVar);
Vedant Kumar55891fc2017-02-14 20:03:48 +0000936
937 for (auto *NamePtr : ReferencedNames)
938 NamePtr->eraseFromParent();
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000939}
940
Justin Bogner61ba2e32014-12-08 18:02:35 +0000941void InstrProfiling::emitRegistration() {
Reid Klecknerf21c0222019-02-07 18:16:22 +0000942 if (!needsRuntimeRegistrationOfSectionRange(TT))
Xinliang David Liaa0592c2015-10-19 04:17:10 +0000943 return;
Xinliang David Li3dd88172015-10-13 18:39:48 +0000944
Justin Bogner61ba2e32014-12-08 18:02:35 +0000945 // Construct the function.
946 auto *VoidTy = Type::getVoidTy(M->getContext());
947 auto *VoidPtrTy = Type::getInt8PtrTy(M->getContext());
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000948 auto *Int64Ty = Type::getInt64Ty(M->getContext());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000949 auto *RegisterFTy = FunctionType::get(VoidTy, false);
950 auto *RegisterF = Function::Create(RegisterFTy, GlobalValue::InternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000951 getInstrProfRegFuncsName(), M);
Peter Collingbourne96efdd62016-06-14 21:01:22 +0000952 RegisterF->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
Xinliang David Li69a00f02016-06-21 02:39:08 +0000953 if (Options.NoRedZone)
954 RegisterF->addFnAttr(Attribute::NoRedZone);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000955
Diego Novillob3029d22015-06-04 11:45:32 +0000956 auto *RuntimeRegisterTy = FunctionType::get(VoidTy, VoidPtrTy, false);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000957 auto *RuntimeRegisterF =
958 Function::Create(RuntimeRegisterTy, GlobalVariable::ExternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000959 getInstrProfRegFuncName(), M);
Justin Bogner61ba2e32014-12-08 18:02:35 +0000960
961 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", RegisterF));
962 for (Value *Data : UsedVars)
Reid Klecknerba827882018-07-27 22:21:35 +0000963 if (Data != NamesVar && !isa<Function>(Data))
Xinliang David Lia82d6c02016-02-08 18:13:49 +0000964 IRB.CreateCall(RuntimeRegisterF, IRB.CreateBitCast(Data, VoidPtrTy));
965
966 if (NamesVar) {
967 Type *ParamTypes[] = {VoidPtrTy, Int64Ty};
968 auto *NamesRegisterTy =
969 FunctionType::get(VoidTy, makeArrayRef(ParamTypes), false);
970 auto *NamesRegisterF =
971 Function::Create(NamesRegisterTy, GlobalVariable::ExternalLinkage,
972 getInstrProfNamesRegFuncName(), M);
973 IRB.CreateCall(NamesRegisterF, {IRB.CreateBitCast(NamesVar, VoidPtrTy),
974 IRB.getInt64(NamesSize)});
975 }
976
Justin Bogner61ba2e32014-12-08 18:02:35 +0000977 IRB.CreateRetVoid();
978}
979
Vedant Kumar9a041a72018-02-28 19:00:08 +0000980bool InstrProfiling::emitRuntimeHook() {
Xinliang David Li7a88ad62015-10-29 04:08:31 +0000981 // We expect the linker to be invoked with -u<hook_var> flag for linux,
982 // for which case there is no need to emit the user function.
Reid Klecknerf21c0222019-02-07 18:16:22 +0000983 if (TT.isOSLinux())
Vedant Kumar9a041a72018-02-28 19:00:08 +0000984 return false;
Xinliang David Li7a88ad62015-10-29 04:08:31 +0000985
Justin Bogner61ba2e32014-12-08 18:02:35 +0000986 // If the module's provided its own runtime, we don't need to do anything.
Xinliang David Li69a00f02016-06-21 02:39:08 +0000987 if (M->getGlobalVariable(getInstrProfRuntimeHookVarName()))
Vedant Kumar9a041a72018-02-28 19:00:08 +0000988 return false;
Justin Bogner61ba2e32014-12-08 18:02:35 +0000989
990 // Declare an external variable that will pull in the runtime initialization.
991 auto *Int32Ty = Type::getInt32Ty(M->getContext());
992 auto *Var =
993 new GlobalVariable(*M, Int32Ty, false, GlobalValue::ExternalLinkage,
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000994 nullptr, getInstrProfRuntimeHookVarName());
Justin Bogner61ba2e32014-12-08 18:02:35 +0000995
996 // Make a function that uses it.
Xinliang David Li8ee08b02015-10-23 04:22:58 +0000997 auto *User = Function::Create(FunctionType::get(Int32Ty, false),
998 GlobalValue::LinkOnceODRLinkage,
999 getInstrProfRuntimeHookVarUseFuncName(), M);
Justin Bogner61ba2e32014-12-08 18:02:35 +00001000 User->addFnAttr(Attribute::NoInline);
Xinliang David Li69a00f02016-06-21 02:39:08 +00001001 if (Options.NoRedZone)
1002 User->addFnAttr(Attribute::NoRedZone);
Justin Bogner2e427d42015-02-25 22:52:20 +00001003 User->setVisibility(GlobalValue::HiddenVisibility);
Reid Klecknerf21c0222019-02-07 18:16:22 +00001004 if (TT.supportsCOMDAT())
Xinliang David Lif4edae62016-05-24 18:47:38 +00001005 User->setComdat(M->getOrInsertComdat(User->getName()));
Justin Bogner61ba2e32014-12-08 18:02:35 +00001006
1007 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", User));
James Y Knight14359ef2019-02-01 20:44:24 +00001008 auto *Load = IRB.CreateLoad(Int32Ty, Var);
Justin Bogner61ba2e32014-12-08 18:02:35 +00001009 IRB.CreateRet(Load);
1010
1011 // Mark the user variable as used so that it isn't stripped out.
1012 UsedVars.push_back(User);
Vedant Kumar9a041a72018-02-28 19:00:08 +00001013 return true;
Justin Bogner61ba2e32014-12-08 18:02:35 +00001014}
1015
1016void InstrProfiling::emitUses() {
Evgeniy Stepanovea6d49d2016-10-25 23:53:31 +00001017 if (!UsedVars.empty())
1018 appendToUsed(*M, UsedVars);
Justin Bogner61ba2e32014-12-08 18:02:35 +00001019}
1020
1021void InstrProfiling::emitInitialization() {
Rong Xu6cdf3d82019-02-27 17:24:33 +00001022 // Create ProfileFileName variable. Don't don't this for the
1023 // context-sensitive instrumentation lowering: This lowering is after
1024 // LTO/ThinLTO linking. Pass PGOInstrumentationGenCreateVar should
1025 // have already create the variable before LTO/ThinLTO linking.
1026 if (!IsCS)
1027 createProfileFileNameVar(*M, Options.InstrProfileOutput);
James Y Knight7976eb52019-02-01 20:43:25 +00001028 Function *RegisterF = M->getFunction(getInstrProfRegFuncsName());
Xinliang David Li6f8c5042016-07-21 23:19:10 +00001029 if (!RegisterF)
Xinliang David Li69a00f02016-06-21 02:39:08 +00001030 return;
Justin Bogner61ba2e32014-12-08 18:02:35 +00001031
1032 // Create the initialization function.
1033 auto *VoidTy = Type::getVoidTy(M->getContext());
Xinliang David Li8ee08b02015-10-23 04:22:58 +00001034 auto *F = Function::Create(FunctionType::get(VoidTy, false),
1035 GlobalValue::InternalLinkage,
1036 getInstrProfInitFuncName(), M);
Peter Collingbourne96efdd62016-06-14 21:01:22 +00001037 F->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
Justin Bogner61ba2e32014-12-08 18:02:35 +00001038 F->addFnAttr(Attribute::NoInline);
Xinliang David Li69a00f02016-06-21 02:39:08 +00001039 if (Options.NoRedZone)
1040 F->addFnAttr(Attribute::NoRedZone);
Justin Bogner61ba2e32014-12-08 18:02:35 +00001041
1042 // Add the basic block and the necessary calls.
1043 IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", F));
James Y Knight7976eb52019-02-01 20:43:25 +00001044 IRB.CreateCall(RegisterF, {});
Justin Bogner61ba2e32014-12-08 18:02:35 +00001045 IRB.CreateRetVoid();
1046
1047 appendToGlobalCtors(*M, F, 0);
1048}