1*0b57cec5SDimitry Andric //===-- InstrProfiling.cpp - Frontend instrumentation based profiling -----===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // This pass lowers instrprof_* intrinsics emitted by a frontend for profiling.
10*0b57cec5SDimitry Andric // It also builds the data structures and initialization code needed for
11*0b57cec5SDimitry Andric // updating execution counts and emitting the profile at runtime.
12*0b57cec5SDimitry Andric //
13*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
14*0b57cec5SDimitry Andric 
15*0b57cec5SDimitry Andric #include "llvm/Transforms/Instrumentation/InstrProfiling.h"
16*0b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
17*0b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
18*0b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
19*0b57cec5SDimitry Andric #include "llvm/ADT/Triple.h"
20*0b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
21*0b57cec5SDimitry Andric #include "llvm/Analysis/BlockFrequencyInfo.h"
22*0b57cec5SDimitry Andric #include "llvm/Analysis/BranchProbabilityInfo.h"
23*0b57cec5SDimitry Andric #include "llvm/Analysis/LoopInfo.h"
24*0b57cec5SDimitry Andric #include "llvm/Analysis/TargetLibraryInfo.h"
25*0b57cec5SDimitry Andric #include "llvm/IR/Attributes.h"
26*0b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h"
27*0b57cec5SDimitry Andric #include "llvm/IR/Constant.h"
28*0b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
290eae32dcSDimitry Andric #include "llvm/IR/DIBuilder.h"
30*0b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h"
310eae32dcSDimitry Andric #include "llvm/IR/DiagnosticInfo.h"
32*0b57cec5SDimitry Andric #include "llvm/IR/Dominators.h"
33*0b57cec5SDimitry Andric #include "llvm/IR/Function.h"
34*0b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h"
35*0b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
36*0b57cec5SDimitry Andric #include "llvm/IR/IRBuilder.h"
37*0b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
38*0b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
39*0b57cec5SDimitry Andric #include "llvm/IR/IntrinsicInst.h"
40*0b57cec5SDimitry Andric #include "llvm/IR/Module.h"
41*0b57cec5SDimitry Andric #include "llvm/IR/Type.h"
42480093f4SDimitry Andric #include "llvm/InitializePasses.h"
43*0b57cec5SDimitry Andric #include "llvm/Pass.h"
44*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProf.h"
450eae32dcSDimitry Andric #include "llvm/ProfileData/InstrProfCorrelator.h"
46*0b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
47*0b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
48*0b57cec5SDimitry Andric #include "llvm/Support/Error.h"
49*0b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
50*0b57cec5SDimitry Andric #include "llvm/Transforms/Utils/ModuleUtils.h"
51*0b57cec5SDimitry Andric #include "llvm/Transforms/Utils/SSAUpdater.h"
52*0b57cec5SDimitry Andric #include <algorithm>
53*0b57cec5SDimitry Andric #include <cassert>
54*0b57cec5SDimitry Andric #include <cstdint>
55*0b57cec5SDimitry Andric #include <string>
56*0b57cec5SDimitry Andric 
57*0b57cec5SDimitry Andric using namespace llvm;
58*0b57cec5SDimitry Andric 
59*0b57cec5SDimitry Andric #define DEBUG_TYPE "instrprof"
60*0b57cec5SDimitry Andric 
610eae32dcSDimitry Andric namespace llvm {
620eae32dcSDimitry Andric cl::opt<bool>
6381ad6265SDimitry Andric     DebugInfoCorrelate("debug-info-correlate",
640eae32dcSDimitry Andric                        cl::desc("Use debug info to correlate profiles."),
650eae32dcSDimitry Andric                        cl::init(false));
660eae32dcSDimitry Andric } // namespace llvm
670eae32dcSDimitry Andric 
68*0b57cec5SDimitry Andric namespace {
69*0b57cec5SDimitry Andric 
70*0b57cec5SDimitry Andric cl::opt<bool> DoHashBasedCounterSplit(
71*0b57cec5SDimitry Andric     "hash-based-counter-split",
72*0b57cec5SDimitry Andric     cl::desc("Rename counter variable of a comdat function based on cfg hash"),
73*0b57cec5SDimitry Andric     cl::init(true));
74*0b57cec5SDimitry Andric 
754824e7fdSDimitry Andric cl::opt<bool>
764824e7fdSDimitry Andric     RuntimeCounterRelocation("runtime-counter-relocation",
775ffd83dbSDimitry Andric                              cl::desc("Enable relocating counters at runtime."),
785ffd83dbSDimitry Andric                              cl::init(false));
795ffd83dbSDimitry Andric 
80*0b57cec5SDimitry Andric cl::opt<bool> ValueProfileStaticAlloc(
81*0b57cec5SDimitry Andric     "vp-static-alloc",
82*0b57cec5SDimitry Andric     cl::desc("Do static counter allocation for value profiler"),
83*0b57cec5SDimitry Andric     cl::init(true));
84*0b57cec5SDimitry Andric 
85*0b57cec5SDimitry Andric cl::opt<double> NumCountersPerValueSite(
86*0b57cec5SDimitry Andric     "vp-counters-per-site",
87*0b57cec5SDimitry Andric     cl::desc("The average number of profile counters allocated "
88*0b57cec5SDimitry Andric              "per value profiling site."),
89*0b57cec5SDimitry Andric     // This is set to a very small value because in real programs, only
90*0b57cec5SDimitry Andric     // a very small percentage of value sites have non-zero targets, e.g, 1/30.
91*0b57cec5SDimitry Andric     // For those sites with non-zero profile, the average number of targets
92*0b57cec5SDimitry Andric     // is usually smaller than 2.
93*0b57cec5SDimitry Andric     cl::init(1.0));
94*0b57cec5SDimitry Andric 
95*0b57cec5SDimitry Andric cl::opt<bool> AtomicCounterUpdateAll(
9681ad6265SDimitry Andric     "instrprof-atomic-counter-update-all",
97*0b57cec5SDimitry Andric     cl::desc("Make all profile counter updates atomic (for testing only)"),
98*0b57cec5SDimitry Andric     cl::init(false));
99*0b57cec5SDimitry Andric 
100*0b57cec5SDimitry Andric cl::opt<bool> AtomicCounterUpdatePromoted(
10181ad6265SDimitry Andric     "atomic-counter-update-promoted",
102*0b57cec5SDimitry Andric     cl::desc("Do counter update using atomic fetch add "
103*0b57cec5SDimitry Andric              " for promoted counters only"),
104*0b57cec5SDimitry Andric     cl::init(false));
105*0b57cec5SDimitry Andric 
1065ffd83dbSDimitry Andric cl::opt<bool> AtomicFirstCounter(
10781ad6265SDimitry Andric     "atomic-first-counter",
1085ffd83dbSDimitry Andric     cl::desc("Use atomic fetch add for first counter in a function (usually "
1095ffd83dbSDimitry Andric              "the entry counter)"),
1105ffd83dbSDimitry Andric     cl::init(false));
1115ffd83dbSDimitry Andric 
112*0b57cec5SDimitry Andric // If the option is not specified, the default behavior about whether
113*0b57cec5SDimitry Andric // counter promotion is done depends on how instrumentaiton lowering
114*0b57cec5SDimitry Andric // pipeline is setup, i.e., the default value of true of this option
115*0b57cec5SDimitry Andric // does not mean the promotion will be done by default. Explicitly
116*0b57cec5SDimitry Andric // setting this option can override the default behavior.
11781ad6265SDimitry Andric cl::opt<bool> DoCounterPromotion("do-counter-promotion",
118*0b57cec5SDimitry Andric                                  cl::desc("Do counter register promotion"),
119*0b57cec5SDimitry Andric                                  cl::init(false));
120*0b57cec5SDimitry Andric cl::opt<unsigned> MaxNumOfPromotionsPerLoop(
12181ad6265SDimitry Andric     "max-counter-promotions-per-loop", cl::init(20),
122*0b57cec5SDimitry Andric     cl::desc("Max number counter promotions per loop to avoid"
123*0b57cec5SDimitry Andric              " increasing register pressure too much"));
124*0b57cec5SDimitry Andric 
125*0b57cec5SDimitry Andric // A debug option
126*0b57cec5SDimitry Andric cl::opt<int>
12781ad6265SDimitry Andric     MaxNumOfPromotions("max-counter-promotions", cl::init(-1),
128*0b57cec5SDimitry Andric                        cl::desc("Max number of allowed counter promotions"));
129*0b57cec5SDimitry Andric 
130*0b57cec5SDimitry Andric cl::opt<unsigned> SpeculativeCounterPromotionMaxExiting(
13181ad6265SDimitry Andric     "speculative-counter-promotion-max-exiting", cl::init(3),
132*0b57cec5SDimitry Andric     cl::desc("The max number of exiting blocks of a loop to allow "
133*0b57cec5SDimitry Andric              " speculative counter promotion"));
134*0b57cec5SDimitry Andric 
135*0b57cec5SDimitry Andric cl::opt<bool> SpeculativeCounterPromotionToLoop(
13681ad6265SDimitry Andric     "speculative-counter-promotion-to-loop",
137*0b57cec5SDimitry Andric     cl::desc("When the option is false, if the target block is in a loop, "
138*0b57cec5SDimitry Andric              "the promotion will be disallowed unless the promoted counter "
139*0b57cec5SDimitry Andric              " update can be further/iteratively promoted into an acyclic "
140*0b57cec5SDimitry Andric              " region."));
141*0b57cec5SDimitry Andric 
142*0b57cec5SDimitry Andric cl::opt<bool> IterativeCounterPromotion(
14381ad6265SDimitry Andric     "iterative-counter-promotion", cl::init(true),
144*0b57cec5SDimitry Andric     cl::desc("Allow counter promotion across the whole loop nest."));
145*0b57cec5SDimitry Andric 
146e8d8bef9SDimitry Andric cl::opt<bool> SkipRetExitBlock(
14781ad6265SDimitry Andric     "skip-ret-exit-block", cl::init(true),
148e8d8bef9SDimitry Andric     cl::desc("Suppress counter promotion if exit blocks contain ret."));
149e8d8bef9SDimitry Andric 
150*0b57cec5SDimitry Andric class InstrProfilingLegacyPass : public ModulePass {
151*0b57cec5SDimitry Andric   InstrProfiling InstrProf;
152*0b57cec5SDimitry Andric 
153*0b57cec5SDimitry Andric public:
154*0b57cec5SDimitry Andric   static char ID;
155*0b57cec5SDimitry Andric 
156*0b57cec5SDimitry Andric   InstrProfilingLegacyPass() : ModulePass(ID) {}
157*0b57cec5SDimitry Andric   InstrProfilingLegacyPass(const InstrProfOptions &Options, bool IsCS = false)
1585ffd83dbSDimitry Andric       : ModulePass(ID), InstrProf(Options, IsCS) {
1595ffd83dbSDimitry Andric     initializeInstrProfilingLegacyPassPass(*PassRegistry::getPassRegistry());
1605ffd83dbSDimitry Andric   }
161*0b57cec5SDimitry Andric 
162*0b57cec5SDimitry Andric   StringRef getPassName() const override {
163*0b57cec5SDimitry Andric     return "Frontend instrumentation-based coverage lowering";
164*0b57cec5SDimitry Andric   }
165*0b57cec5SDimitry Andric 
166*0b57cec5SDimitry Andric   bool runOnModule(Module &M) override {
1678bcb0991SDimitry Andric     auto GetTLI = [this](Function &F) -> TargetLibraryInfo & {
1688bcb0991SDimitry Andric       return this->getAnalysis<TargetLibraryInfoWrapperPass>().getTLI(F);
1698bcb0991SDimitry Andric     };
1708bcb0991SDimitry Andric     return InstrProf.run(M, GetTLI);
171*0b57cec5SDimitry Andric   }
172*0b57cec5SDimitry Andric 
173*0b57cec5SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
174*0b57cec5SDimitry Andric     AU.setPreservesCFG();
175*0b57cec5SDimitry Andric     AU.addRequired<TargetLibraryInfoWrapperPass>();
176*0b57cec5SDimitry Andric   }
177*0b57cec5SDimitry Andric };
178*0b57cec5SDimitry Andric 
179*0b57cec5SDimitry Andric ///
180*0b57cec5SDimitry Andric /// A helper class to promote one counter RMW operation in the loop
181*0b57cec5SDimitry Andric /// into register update.
182*0b57cec5SDimitry Andric ///
183*0b57cec5SDimitry Andric /// RWM update for the counter will be sinked out of the loop after
184*0b57cec5SDimitry Andric /// the transformation.
185*0b57cec5SDimitry Andric ///
186*0b57cec5SDimitry Andric class PGOCounterPromoterHelper : public LoadAndStorePromoter {
187*0b57cec5SDimitry Andric public:
188*0b57cec5SDimitry Andric   PGOCounterPromoterHelper(
189*0b57cec5SDimitry Andric       Instruction *L, Instruction *S, SSAUpdater &SSA, Value *Init,
190*0b57cec5SDimitry Andric       BasicBlock *PH, ArrayRef<BasicBlock *> ExitBlocks,
191*0b57cec5SDimitry Andric       ArrayRef<Instruction *> InsertPts,
192*0b57cec5SDimitry Andric       DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
193*0b57cec5SDimitry Andric       LoopInfo &LI)
194*0b57cec5SDimitry Andric       : LoadAndStorePromoter({L, S}, SSA), Store(S), ExitBlocks(ExitBlocks),
195*0b57cec5SDimitry Andric         InsertPts(InsertPts), LoopToCandidates(LoopToCands), LI(LI) {
196*0b57cec5SDimitry Andric     assert(isa<LoadInst>(L));
197*0b57cec5SDimitry Andric     assert(isa<StoreInst>(S));
198*0b57cec5SDimitry Andric     SSA.AddAvailableValue(PH, Init);
199*0b57cec5SDimitry Andric   }
200*0b57cec5SDimitry Andric 
201*0b57cec5SDimitry Andric   void doExtraRewritesBeforeFinalDeletion() override {
202*0b57cec5SDimitry Andric     for (unsigned i = 0, e = ExitBlocks.size(); i != e; ++i) {
203*0b57cec5SDimitry Andric       BasicBlock *ExitBlock = ExitBlocks[i];
204*0b57cec5SDimitry Andric       Instruction *InsertPos = InsertPts[i];
205*0b57cec5SDimitry Andric       // Get LiveIn value into the ExitBlock. If there are multiple
206*0b57cec5SDimitry Andric       // predecessors, the value is defined by a PHI node in this
207*0b57cec5SDimitry Andric       // block.
208*0b57cec5SDimitry Andric       Value *LiveInValue = SSA.GetValueInMiddleOfBlock(ExitBlock);
209*0b57cec5SDimitry Andric       Value *Addr = cast<StoreInst>(Store)->getPointerOperand();
210*0b57cec5SDimitry Andric       Type *Ty = LiveInValue->getType();
211*0b57cec5SDimitry Andric       IRBuilder<> Builder(InsertPos);
21281ad6265SDimitry Andric       if (auto *AddrInst = dyn_cast_or_null<IntToPtrInst>(Addr)) {
21381ad6265SDimitry Andric         // If isRuntimeCounterRelocationEnabled() is true then the address of
21481ad6265SDimitry Andric         // the store instruction is computed with two instructions in
21581ad6265SDimitry Andric         // InstrProfiling::getCounterAddress(). We need to copy those
21681ad6265SDimitry Andric         // instructions to this block to compute Addr correctly.
21781ad6265SDimitry Andric         // %BiasAdd = add i64 ptrtoint <__profc_>, <__llvm_profile_counter_bias>
21881ad6265SDimitry Andric         // %Addr = inttoptr i64 %BiasAdd to i64*
21981ad6265SDimitry Andric         auto *OrigBiasInst = dyn_cast<BinaryOperator>(AddrInst->getOperand(0));
22081ad6265SDimitry Andric         assert(OrigBiasInst->getOpcode() == Instruction::BinaryOps::Add);
22181ad6265SDimitry Andric         Value *BiasInst = Builder.Insert(OrigBiasInst->clone());
22281ad6265SDimitry Andric         Addr = Builder.CreateIntToPtr(BiasInst, Ty->getPointerTo());
22381ad6265SDimitry Andric       }
224*0b57cec5SDimitry Andric       if (AtomicCounterUpdatePromoted)
225*0b57cec5SDimitry Andric         // automic update currently can only be promoted across the current
226*0b57cec5SDimitry Andric         // loop, not the whole loop nest.
227*0b57cec5SDimitry Andric         Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, LiveInValue,
228fe6060f1SDimitry Andric                                 MaybeAlign(),
229*0b57cec5SDimitry Andric                                 AtomicOrdering::SequentiallyConsistent);
230*0b57cec5SDimitry Andric       else {
231*0b57cec5SDimitry Andric         LoadInst *OldVal = Builder.CreateLoad(Ty, Addr, "pgocount.promoted");
232*0b57cec5SDimitry Andric         auto *NewVal = Builder.CreateAdd(OldVal, LiveInValue);
233*0b57cec5SDimitry Andric         auto *NewStore = Builder.CreateStore(NewVal, Addr);
234*0b57cec5SDimitry Andric 
235*0b57cec5SDimitry Andric         // Now update the parent loop's candidate list:
236*0b57cec5SDimitry Andric         if (IterativeCounterPromotion) {
237*0b57cec5SDimitry Andric           auto *TargetLoop = LI.getLoopFor(ExitBlock);
238*0b57cec5SDimitry Andric           if (TargetLoop)
239*0b57cec5SDimitry Andric             LoopToCandidates[TargetLoop].emplace_back(OldVal, NewStore);
240*0b57cec5SDimitry Andric         }
241*0b57cec5SDimitry Andric       }
242*0b57cec5SDimitry Andric     }
243*0b57cec5SDimitry Andric   }
244*0b57cec5SDimitry Andric 
245*0b57cec5SDimitry Andric private:
246*0b57cec5SDimitry Andric   Instruction *Store;
247*0b57cec5SDimitry Andric   ArrayRef<BasicBlock *> ExitBlocks;
248*0b57cec5SDimitry Andric   ArrayRef<Instruction *> InsertPts;
249*0b57cec5SDimitry Andric   DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
250*0b57cec5SDimitry Andric   LoopInfo &LI;
251*0b57cec5SDimitry Andric };
252*0b57cec5SDimitry Andric 
253*0b57cec5SDimitry Andric /// A helper class to do register promotion for all profile counter
254*0b57cec5SDimitry Andric /// updates in a loop.
255*0b57cec5SDimitry Andric ///
256*0b57cec5SDimitry Andric class PGOCounterPromoter {
257*0b57cec5SDimitry Andric public:
258*0b57cec5SDimitry Andric   PGOCounterPromoter(
259*0b57cec5SDimitry Andric       DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
260*0b57cec5SDimitry Andric       Loop &CurLoop, LoopInfo &LI, BlockFrequencyInfo *BFI)
26104eeddc0SDimitry Andric       : LoopToCandidates(LoopToCands), L(CurLoop), LI(LI), BFI(BFI) {
262*0b57cec5SDimitry Andric 
2635ffd83dbSDimitry Andric     // Skip collection of ExitBlocks and InsertPts for loops that will not be
2645ffd83dbSDimitry Andric     // able to have counters promoted.
265*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> LoopExitBlocks;
266*0b57cec5SDimitry Andric     SmallPtrSet<BasicBlock *, 8> BlockSet;
2675ffd83dbSDimitry Andric 
268*0b57cec5SDimitry Andric     L.getExitBlocks(LoopExitBlocks);
2695ffd83dbSDimitry Andric     if (!isPromotionPossible(&L, LoopExitBlocks))
2705ffd83dbSDimitry Andric       return;
271*0b57cec5SDimitry Andric 
272*0b57cec5SDimitry Andric     for (BasicBlock *ExitBlock : LoopExitBlocks) {
273*0b57cec5SDimitry Andric       if (BlockSet.insert(ExitBlock).second) {
274*0b57cec5SDimitry Andric         ExitBlocks.push_back(ExitBlock);
275*0b57cec5SDimitry Andric         InsertPts.push_back(&*ExitBlock->getFirstInsertionPt());
276*0b57cec5SDimitry Andric       }
277*0b57cec5SDimitry Andric     }
278*0b57cec5SDimitry Andric   }
279*0b57cec5SDimitry Andric 
280*0b57cec5SDimitry Andric   bool run(int64_t *NumPromoted) {
281*0b57cec5SDimitry Andric     // Skip 'infinite' loops:
282*0b57cec5SDimitry Andric     if (ExitBlocks.size() == 0)
283*0b57cec5SDimitry Andric       return false;
284e8d8bef9SDimitry Andric 
285e8d8bef9SDimitry Andric     // Skip if any of the ExitBlocks contains a ret instruction.
286e8d8bef9SDimitry Andric     // This is to prevent dumping of incomplete profile -- if the
287e8d8bef9SDimitry Andric     // the loop is a long running loop and dump is called in the middle
288e8d8bef9SDimitry Andric     // of the loop, the result profile is incomplete.
289e8d8bef9SDimitry Andric     // FIXME: add other heuristics to detect long running loops.
290e8d8bef9SDimitry Andric     if (SkipRetExitBlock) {
291e8d8bef9SDimitry Andric       for (auto BB : ExitBlocks)
292e8d8bef9SDimitry Andric         if (isa<ReturnInst>(BB->getTerminator()))
293e8d8bef9SDimitry Andric           return false;
294e8d8bef9SDimitry Andric     }
295e8d8bef9SDimitry Andric 
296*0b57cec5SDimitry Andric     unsigned MaxProm = getMaxNumOfPromotionsInLoop(&L);
297*0b57cec5SDimitry Andric     if (MaxProm == 0)
298*0b57cec5SDimitry Andric       return false;
299*0b57cec5SDimitry Andric 
300*0b57cec5SDimitry Andric     unsigned Promoted = 0;
301*0b57cec5SDimitry Andric     for (auto &Cand : LoopToCandidates[&L]) {
302*0b57cec5SDimitry Andric 
303*0b57cec5SDimitry Andric       SmallVector<PHINode *, 4> NewPHIs;
304*0b57cec5SDimitry Andric       SSAUpdater SSA(&NewPHIs);
305*0b57cec5SDimitry Andric       Value *InitVal = ConstantInt::get(Cand.first->getType(), 0);
306*0b57cec5SDimitry Andric 
307*0b57cec5SDimitry Andric       // If BFI is set, we will use it to guide the promotions.
308*0b57cec5SDimitry Andric       if (BFI) {
309*0b57cec5SDimitry Andric         auto *BB = Cand.first->getParent();
310*0b57cec5SDimitry Andric         auto InstrCount = BFI->getBlockProfileCount(BB);
311*0b57cec5SDimitry Andric         if (!InstrCount)
312*0b57cec5SDimitry Andric           continue;
313*0b57cec5SDimitry Andric         auto PreheaderCount = BFI->getBlockProfileCount(L.getLoopPreheader());
314*0b57cec5SDimitry Andric         // If the average loop trip count is not greater than 1.5, we skip
315*0b57cec5SDimitry Andric         // promotion.
31681ad6265SDimitry Andric         if (PreheaderCount && (*PreheaderCount * 3) >= (*InstrCount * 2))
317*0b57cec5SDimitry Andric           continue;
318*0b57cec5SDimitry Andric       }
319*0b57cec5SDimitry Andric 
320*0b57cec5SDimitry Andric       PGOCounterPromoterHelper Promoter(Cand.first, Cand.second, SSA, InitVal,
321*0b57cec5SDimitry Andric                                         L.getLoopPreheader(), ExitBlocks,
322*0b57cec5SDimitry Andric                                         InsertPts, LoopToCandidates, LI);
323*0b57cec5SDimitry Andric       Promoter.run(SmallVector<Instruction *, 2>({Cand.first, Cand.second}));
324*0b57cec5SDimitry Andric       Promoted++;
325*0b57cec5SDimitry Andric       if (Promoted >= MaxProm)
326*0b57cec5SDimitry Andric         break;
327*0b57cec5SDimitry Andric 
328*0b57cec5SDimitry Andric       (*NumPromoted)++;
329*0b57cec5SDimitry Andric       if (MaxNumOfPromotions != -1 && *NumPromoted >= MaxNumOfPromotions)
330*0b57cec5SDimitry Andric         break;
331*0b57cec5SDimitry Andric     }
332*0b57cec5SDimitry Andric 
333*0b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << Promoted << " counters promoted for loop (depth="
334*0b57cec5SDimitry Andric                       << L.getLoopDepth() << ")\n");
335*0b57cec5SDimitry Andric     return Promoted != 0;
336*0b57cec5SDimitry Andric   }
337*0b57cec5SDimitry Andric 
338*0b57cec5SDimitry Andric private:
339*0b57cec5SDimitry Andric   bool allowSpeculativeCounterPromotion(Loop *LP) {
340*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> ExitingBlocks;
341*0b57cec5SDimitry Andric     L.getExitingBlocks(ExitingBlocks);
342*0b57cec5SDimitry Andric     // Not considierered speculative.
343*0b57cec5SDimitry Andric     if (ExitingBlocks.size() == 1)
344*0b57cec5SDimitry Andric       return true;
345*0b57cec5SDimitry Andric     if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
346*0b57cec5SDimitry Andric       return false;
347*0b57cec5SDimitry Andric     return true;
348*0b57cec5SDimitry Andric   }
349*0b57cec5SDimitry Andric 
3505ffd83dbSDimitry Andric   // Check whether the loop satisfies the basic conditions needed to perform
3515ffd83dbSDimitry Andric   // Counter Promotions.
3524824e7fdSDimitry Andric   bool
3534824e7fdSDimitry Andric   isPromotionPossible(Loop *LP,
3545ffd83dbSDimitry Andric                       const SmallVectorImpl<BasicBlock *> &LoopExitBlocks) {
355*0b57cec5SDimitry Andric     // We can't insert into a catchswitch.
356*0b57cec5SDimitry Andric     if (llvm::any_of(LoopExitBlocks, [](BasicBlock *Exit) {
357*0b57cec5SDimitry Andric           return isa<CatchSwitchInst>(Exit->getTerminator());
358*0b57cec5SDimitry Andric         }))
3595ffd83dbSDimitry Andric       return false;
360*0b57cec5SDimitry Andric 
361*0b57cec5SDimitry Andric     if (!LP->hasDedicatedExits())
3625ffd83dbSDimitry Andric       return false;
363*0b57cec5SDimitry Andric 
364*0b57cec5SDimitry Andric     BasicBlock *PH = LP->getLoopPreheader();
365*0b57cec5SDimitry Andric     if (!PH)
3665ffd83dbSDimitry Andric       return false;
3675ffd83dbSDimitry Andric 
3685ffd83dbSDimitry Andric     return true;
3695ffd83dbSDimitry Andric   }
3705ffd83dbSDimitry Andric 
3715ffd83dbSDimitry Andric   // Returns the max number of Counter Promotions for LP.
3725ffd83dbSDimitry Andric   unsigned getMaxNumOfPromotionsInLoop(Loop *LP) {
3735ffd83dbSDimitry Andric     SmallVector<BasicBlock *, 8> LoopExitBlocks;
3745ffd83dbSDimitry Andric     LP->getExitBlocks(LoopExitBlocks);
3755ffd83dbSDimitry Andric     if (!isPromotionPossible(LP, LoopExitBlocks))
376*0b57cec5SDimitry Andric       return 0;
377*0b57cec5SDimitry Andric 
378*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> ExitingBlocks;
379*0b57cec5SDimitry Andric     LP->getExitingBlocks(ExitingBlocks);
380*0b57cec5SDimitry Andric 
381*0b57cec5SDimitry Andric     // If BFI is set, we do more aggressive promotions based on BFI.
382*0b57cec5SDimitry Andric     if (BFI)
383*0b57cec5SDimitry Andric       return (unsigned)-1;
384*0b57cec5SDimitry Andric 
385*0b57cec5SDimitry Andric     // Not considierered speculative.
386*0b57cec5SDimitry Andric     if (ExitingBlocks.size() == 1)
387*0b57cec5SDimitry Andric       return MaxNumOfPromotionsPerLoop;
388*0b57cec5SDimitry Andric 
389*0b57cec5SDimitry Andric     if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
390*0b57cec5SDimitry Andric       return 0;
391*0b57cec5SDimitry Andric 
392*0b57cec5SDimitry Andric     // Whether the target block is in a loop does not matter:
393*0b57cec5SDimitry Andric     if (SpeculativeCounterPromotionToLoop)
394*0b57cec5SDimitry Andric       return MaxNumOfPromotionsPerLoop;
395*0b57cec5SDimitry Andric 
396*0b57cec5SDimitry Andric     // Now check the target block:
397*0b57cec5SDimitry Andric     unsigned MaxProm = MaxNumOfPromotionsPerLoop;
398*0b57cec5SDimitry Andric     for (auto *TargetBlock : LoopExitBlocks) {
399*0b57cec5SDimitry Andric       auto *TargetLoop = LI.getLoopFor(TargetBlock);
400*0b57cec5SDimitry Andric       if (!TargetLoop)
401*0b57cec5SDimitry Andric         continue;
402*0b57cec5SDimitry Andric       unsigned MaxPromForTarget = getMaxNumOfPromotionsInLoop(TargetLoop);
403*0b57cec5SDimitry Andric       unsigned PendingCandsInTarget = LoopToCandidates[TargetLoop].size();
404*0b57cec5SDimitry Andric       MaxProm =
405*0b57cec5SDimitry Andric           std::min(MaxProm, std::max(MaxPromForTarget, PendingCandsInTarget) -
406*0b57cec5SDimitry Andric                                 PendingCandsInTarget);
407*0b57cec5SDimitry Andric     }
408*0b57cec5SDimitry Andric     return MaxProm;
409*0b57cec5SDimitry Andric   }
410*0b57cec5SDimitry Andric 
411*0b57cec5SDimitry Andric   DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
412*0b57cec5SDimitry Andric   SmallVector<BasicBlock *, 8> ExitBlocks;
413*0b57cec5SDimitry Andric   SmallVector<Instruction *, 8> InsertPts;
414*0b57cec5SDimitry Andric   Loop &L;
415*0b57cec5SDimitry Andric   LoopInfo &LI;
416*0b57cec5SDimitry Andric   BlockFrequencyInfo *BFI;
417*0b57cec5SDimitry Andric };
418*0b57cec5SDimitry Andric 
419e8d8bef9SDimitry Andric enum class ValueProfilingCallType {
420e8d8bef9SDimitry Andric   // Individual values are tracked. Currently used for indiret call target
421e8d8bef9SDimitry Andric   // profiling.
422e8d8bef9SDimitry Andric   Default,
423e8d8bef9SDimitry Andric 
424e8d8bef9SDimitry Andric   // MemOp: the memop size value profiling.
425e8d8bef9SDimitry Andric   MemOp
426e8d8bef9SDimitry Andric };
427e8d8bef9SDimitry Andric 
428*0b57cec5SDimitry Andric } // end anonymous namespace
429*0b57cec5SDimitry Andric 
430*0b57cec5SDimitry Andric PreservedAnalyses InstrProfiling::run(Module &M, ModuleAnalysisManager &AM) {
4318bcb0991SDimitry Andric   FunctionAnalysisManager &FAM =
4328bcb0991SDimitry Andric       AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
4338bcb0991SDimitry Andric   auto GetTLI = [&FAM](Function &F) -> TargetLibraryInfo & {
4348bcb0991SDimitry Andric     return FAM.getResult<TargetLibraryAnalysis>(F);
4358bcb0991SDimitry Andric   };
4368bcb0991SDimitry Andric   if (!run(M, GetTLI))
437*0b57cec5SDimitry Andric     return PreservedAnalyses::all();
438*0b57cec5SDimitry Andric 
439*0b57cec5SDimitry Andric   return PreservedAnalyses::none();
440*0b57cec5SDimitry Andric }
441*0b57cec5SDimitry Andric 
442*0b57cec5SDimitry Andric char InstrProfilingLegacyPass::ID = 0;
4434824e7fdSDimitry Andric INITIALIZE_PASS_BEGIN(InstrProfilingLegacyPass, "instrprof",
4444824e7fdSDimitry Andric                       "Frontend instrumentation-based coverage lowering.",
4454824e7fdSDimitry Andric                       false, false)
446*0b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
4474824e7fdSDimitry Andric INITIALIZE_PASS_END(InstrProfilingLegacyPass, "instrprof",
4484824e7fdSDimitry Andric                     "Frontend instrumentation-based coverage lowering.", false,
4494824e7fdSDimitry Andric                     false)
450*0b57cec5SDimitry Andric 
451*0b57cec5SDimitry Andric ModulePass *
452*0b57cec5SDimitry Andric llvm::createInstrProfilingLegacyPass(const InstrProfOptions &Options,
453*0b57cec5SDimitry Andric                                      bool IsCS) {
454*0b57cec5SDimitry Andric   return new InstrProfilingLegacyPass(Options, IsCS);
455*0b57cec5SDimitry Andric }
456*0b57cec5SDimitry Andric 
457*0b57cec5SDimitry Andric bool InstrProfiling::lowerIntrinsics(Function *F) {
458*0b57cec5SDimitry Andric   bool MadeChange = false;
459*0b57cec5SDimitry Andric   PromotionCandidates.clear();
460*0b57cec5SDimitry Andric   for (BasicBlock &BB : *F) {
461349cc55cSDimitry Andric     for (Instruction &Instr : llvm::make_early_inc_range(BB)) {
46204eeddc0SDimitry Andric       if (auto *IPIS = dyn_cast<InstrProfIncrementInstStep>(&Instr)) {
46304eeddc0SDimitry Andric         lowerIncrement(IPIS);
464*0b57cec5SDimitry Andric         MadeChange = true;
46504eeddc0SDimitry Andric       } else if (auto *IPI = dyn_cast<InstrProfIncrementInst>(&Instr)) {
46604eeddc0SDimitry Andric         lowerIncrement(IPI);
46704eeddc0SDimitry Andric         MadeChange = true;
4681fd87a68SDimitry Andric       } else if (auto *IPC = dyn_cast<InstrProfCoverInst>(&Instr)) {
4691fd87a68SDimitry Andric         lowerCover(IPC);
4701fd87a68SDimitry Andric         MadeChange = true;
47104eeddc0SDimitry Andric       } else if (auto *IPVP = dyn_cast<InstrProfValueProfileInst>(&Instr)) {
47204eeddc0SDimitry Andric         lowerValueProfileInst(IPVP);
473*0b57cec5SDimitry Andric         MadeChange = true;
474*0b57cec5SDimitry Andric       }
475*0b57cec5SDimitry Andric     }
476*0b57cec5SDimitry Andric   }
477*0b57cec5SDimitry Andric 
478*0b57cec5SDimitry Andric   if (!MadeChange)
479*0b57cec5SDimitry Andric     return false;
480*0b57cec5SDimitry Andric 
481*0b57cec5SDimitry Andric   promoteCounterLoadStores(F);
482*0b57cec5SDimitry Andric   return true;
483*0b57cec5SDimitry Andric }
484*0b57cec5SDimitry Andric 
4855ffd83dbSDimitry Andric bool InstrProfiling::isRuntimeCounterRelocationEnabled() const {
486fe6060f1SDimitry Andric   // Mach-O don't support weak external references.
487fe6060f1SDimitry Andric   if (TT.isOSBinFormatMachO())
488fe6060f1SDimitry Andric     return false;
489fe6060f1SDimitry Andric 
4905ffd83dbSDimitry Andric   if (RuntimeCounterRelocation.getNumOccurrences() > 0)
4915ffd83dbSDimitry Andric     return RuntimeCounterRelocation;
4925ffd83dbSDimitry Andric 
493fe6060f1SDimitry Andric   // Fuchsia uses runtime counter relocation by default.
4945ffd83dbSDimitry Andric   return TT.isOSFuchsia();
4955ffd83dbSDimitry Andric }
4965ffd83dbSDimitry Andric 
497*0b57cec5SDimitry Andric bool InstrProfiling::isCounterPromotionEnabled() const {
498*0b57cec5SDimitry Andric   if (DoCounterPromotion.getNumOccurrences() > 0)
499*0b57cec5SDimitry Andric     return DoCounterPromotion;
500*0b57cec5SDimitry Andric 
501*0b57cec5SDimitry Andric   return Options.DoCounterPromotion;
502*0b57cec5SDimitry Andric }
503*0b57cec5SDimitry Andric 
504*0b57cec5SDimitry Andric void InstrProfiling::promoteCounterLoadStores(Function *F) {
505*0b57cec5SDimitry Andric   if (!isCounterPromotionEnabled())
506*0b57cec5SDimitry Andric     return;
507*0b57cec5SDimitry Andric 
508*0b57cec5SDimitry Andric   DominatorTree DT(*F);
509*0b57cec5SDimitry Andric   LoopInfo LI(DT);
510*0b57cec5SDimitry Andric   DenseMap<Loop *, SmallVector<LoadStorePair, 8>> LoopPromotionCandidates;
511*0b57cec5SDimitry Andric 
512*0b57cec5SDimitry Andric   std::unique_ptr<BlockFrequencyInfo> BFI;
513*0b57cec5SDimitry Andric   if (Options.UseBFIInPromotion) {
514*0b57cec5SDimitry Andric     std::unique_ptr<BranchProbabilityInfo> BPI;
5158bcb0991SDimitry Andric     BPI.reset(new BranchProbabilityInfo(*F, LI, &GetTLI(*F)));
516*0b57cec5SDimitry Andric     BFI.reset(new BlockFrequencyInfo(*F, *BPI, LI));
517*0b57cec5SDimitry Andric   }
518*0b57cec5SDimitry Andric 
519*0b57cec5SDimitry Andric   for (const auto &LoadStore : PromotionCandidates) {
520*0b57cec5SDimitry Andric     auto *CounterLoad = LoadStore.first;
521*0b57cec5SDimitry Andric     auto *CounterStore = LoadStore.second;
522*0b57cec5SDimitry Andric     BasicBlock *BB = CounterLoad->getParent();
523*0b57cec5SDimitry Andric     Loop *ParentLoop = LI.getLoopFor(BB);
524*0b57cec5SDimitry Andric     if (!ParentLoop)
525*0b57cec5SDimitry Andric       continue;
526*0b57cec5SDimitry Andric     LoopPromotionCandidates[ParentLoop].emplace_back(CounterLoad, CounterStore);
527*0b57cec5SDimitry Andric   }
528*0b57cec5SDimitry Andric 
529*0b57cec5SDimitry Andric   SmallVector<Loop *, 4> Loops = LI.getLoopsInPreorder();
530*0b57cec5SDimitry Andric 
531*0b57cec5SDimitry Andric   // Do a post-order traversal of the loops so that counter updates can be
532*0b57cec5SDimitry Andric   // iteratively hoisted outside the loop nest.
533*0b57cec5SDimitry Andric   for (auto *Loop : llvm::reverse(Loops)) {
534*0b57cec5SDimitry Andric     PGOCounterPromoter Promoter(LoopPromotionCandidates, *Loop, LI, BFI.get());
535*0b57cec5SDimitry Andric     Promoter.run(&TotalCountersPromoted);
536*0b57cec5SDimitry Andric   }
537*0b57cec5SDimitry Andric }
538*0b57cec5SDimitry Andric 
539349cc55cSDimitry Andric static bool needsRuntimeHookUnconditionally(const Triple &TT) {
540349cc55cSDimitry Andric   // On Fuchsia, we only need runtime hook if any counters are present.
541349cc55cSDimitry Andric   if (TT.isOSFuchsia())
542349cc55cSDimitry Andric     return false;
543349cc55cSDimitry Andric 
544349cc55cSDimitry Andric   return true;
545349cc55cSDimitry Andric }
546349cc55cSDimitry Andric 
547*0b57cec5SDimitry Andric /// Check if the module contains uses of any profiling intrinsics.
548*0b57cec5SDimitry Andric static bool containsProfilingIntrinsics(Module &M) {
54904eeddc0SDimitry Andric   auto containsIntrinsic = [&](int ID) {
55004eeddc0SDimitry Andric     if (auto *F = M.getFunction(Intrinsic::getName(ID)))
55104eeddc0SDimitry Andric       return !F->use_empty();
552*0b57cec5SDimitry Andric     return false;
55304eeddc0SDimitry Andric   };
5541fd87a68SDimitry Andric   return containsIntrinsic(llvm::Intrinsic::instrprof_cover) ||
5551fd87a68SDimitry Andric          containsIntrinsic(llvm::Intrinsic::instrprof_increment) ||
55604eeddc0SDimitry Andric          containsIntrinsic(llvm::Intrinsic::instrprof_increment_step) ||
55704eeddc0SDimitry Andric          containsIntrinsic(llvm::Intrinsic::instrprof_value_profile);
558*0b57cec5SDimitry Andric }
559*0b57cec5SDimitry Andric 
5608bcb0991SDimitry Andric bool InstrProfiling::run(
5618bcb0991SDimitry Andric     Module &M, std::function<const TargetLibraryInfo &(Function &F)> GetTLI) {
562*0b57cec5SDimitry Andric   this->M = &M;
5638bcb0991SDimitry Andric   this->GetTLI = std::move(GetTLI);
564*0b57cec5SDimitry Andric   NamesVar = nullptr;
565*0b57cec5SDimitry Andric   NamesSize = 0;
566*0b57cec5SDimitry Andric   ProfileDataMap.clear();
567fe6060f1SDimitry Andric   CompilerUsedVars.clear();
568*0b57cec5SDimitry Andric   UsedVars.clear();
569*0b57cec5SDimitry Andric   TT = Triple(M.getTargetTriple());
570*0b57cec5SDimitry Andric 
571349cc55cSDimitry Andric   bool MadeChange = false;
572349cc55cSDimitry Andric 
573*0b57cec5SDimitry Andric   // Emit the runtime hook even if no counters are present.
574349cc55cSDimitry Andric   if (needsRuntimeHookUnconditionally(TT))
575349cc55cSDimitry Andric     MadeChange = emitRuntimeHook();
576*0b57cec5SDimitry Andric 
577*0b57cec5SDimitry Andric   // Improve compile time by avoiding linear scans when there is no work.
578*0b57cec5SDimitry Andric   GlobalVariable *CoverageNamesVar =
579*0b57cec5SDimitry Andric       M.getNamedGlobal(getCoverageUnusedNamesVarName());
580*0b57cec5SDimitry Andric   if (!containsProfilingIntrinsics(M) && !CoverageNamesVar)
581*0b57cec5SDimitry Andric     return MadeChange;
582*0b57cec5SDimitry Andric 
583*0b57cec5SDimitry Andric   // We did not know how many value sites there would be inside
584*0b57cec5SDimitry Andric   // the instrumented function. This is counting the number of instrumented
585*0b57cec5SDimitry Andric   // target value sites to enter it as field in the profile data variable.
586*0b57cec5SDimitry Andric   for (Function &F : M) {
587*0b57cec5SDimitry Andric     InstrProfIncrementInst *FirstProfIncInst = nullptr;
588*0b57cec5SDimitry Andric     for (BasicBlock &BB : F)
589*0b57cec5SDimitry Andric       for (auto I = BB.begin(), E = BB.end(); I != E; I++)
590*0b57cec5SDimitry Andric         if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(I))
591*0b57cec5SDimitry Andric           computeNumValueSiteCounts(Ind);
592*0b57cec5SDimitry Andric         else if (FirstProfIncInst == nullptr)
593*0b57cec5SDimitry Andric           FirstProfIncInst = dyn_cast<InstrProfIncrementInst>(I);
594*0b57cec5SDimitry Andric 
595*0b57cec5SDimitry Andric     // Value profiling intrinsic lowering requires per-function profile data
596*0b57cec5SDimitry Andric     // variable to be created first.
597*0b57cec5SDimitry Andric     if (FirstProfIncInst != nullptr)
598*0b57cec5SDimitry Andric       static_cast<void>(getOrCreateRegionCounters(FirstProfIncInst));
599*0b57cec5SDimitry Andric   }
600*0b57cec5SDimitry Andric 
601*0b57cec5SDimitry Andric   for (Function &F : M)
602*0b57cec5SDimitry Andric     MadeChange |= lowerIntrinsics(&F);
603*0b57cec5SDimitry Andric 
604*0b57cec5SDimitry Andric   if (CoverageNamesVar) {
605*0b57cec5SDimitry Andric     lowerCoverageData(CoverageNamesVar);
606*0b57cec5SDimitry Andric     MadeChange = true;
607*0b57cec5SDimitry Andric   }
608*0b57cec5SDimitry Andric 
609*0b57cec5SDimitry Andric   if (!MadeChange)
610*0b57cec5SDimitry Andric     return false;
611*0b57cec5SDimitry Andric 
612*0b57cec5SDimitry Andric   emitVNodes();
613*0b57cec5SDimitry Andric   emitNameData();
614349cc55cSDimitry Andric   emitRuntimeHook();
615*0b57cec5SDimitry Andric   emitRegistration();
616*0b57cec5SDimitry Andric   emitUses();
617*0b57cec5SDimitry Andric   emitInitialization();
618*0b57cec5SDimitry Andric   return true;
619*0b57cec5SDimitry Andric }
620*0b57cec5SDimitry Andric 
621e8d8bef9SDimitry Andric static FunctionCallee getOrInsertValueProfilingCall(
622e8d8bef9SDimitry Andric     Module &M, const TargetLibraryInfo &TLI,
623e8d8bef9SDimitry Andric     ValueProfilingCallType CallType = ValueProfilingCallType::Default) {
624*0b57cec5SDimitry Andric   LLVMContext &Ctx = M.getContext();
625*0b57cec5SDimitry Andric   auto *ReturnTy = Type::getVoidTy(M.getContext());
626*0b57cec5SDimitry Andric 
627*0b57cec5SDimitry Andric   AttributeList AL;
628*0b57cec5SDimitry Andric   if (auto AK = TLI.getExtAttrForI32Param(false))
629*0b57cec5SDimitry Andric     AL = AL.addParamAttribute(M.getContext(), 2, AK);
630*0b57cec5SDimitry Andric 
631e8d8bef9SDimitry Andric   assert((CallType == ValueProfilingCallType::Default ||
632e8d8bef9SDimitry Andric           CallType == ValueProfilingCallType::MemOp) &&
633e8d8bef9SDimitry Andric          "Must be Default or MemOp");
634*0b57cec5SDimitry Andric   Type *ParamTypes[] = {
635*0b57cec5SDimitry Andric #define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
636*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
637*0b57cec5SDimitry Andric   };
638*0b57cec5SDimitry Andric   auto *ValueProfilingCallTy =
639*0b57cec5SDimitry Andric       FunctionType::get(ReturnTy, makeArrayRef(ParamTypes), false);
640e8d8bef9SDimitry Andric   StringRef FuncName = CallType == ValueProfilingCallType::Default
641e8d8bef9SDimitry Andric                            ? getInstrProfValueProfFuncName()
642e8d8bef9SDimitry Andric                            : getInstrProfValueProfMemOpFuncName();
643e8d8bef9SDimitry Andric   return M.getOrInsertFunction(FuncName, ValueProfilingCallTy, AL);
644*0b57cec5SDimitry Andric }
645*0b57cec5SDimitry Andric 
646*0b57cec5SDimitry Andric void InstrProfiling::computeNumValueSiteCounts(InstrProfValueProfileInst *Ind) {
647*0b57cec5SDimitry Andric   GlobalVariable *Name = Ind->getName();
648*0b57cec5SDimitry Andric   uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
649*0b57cec5SDimitry Andric   uint64_t Index = Ind->getIndex()->getZExtValue();
6504824e7fdSDimitry Andric   auto &PD = ProfileDataMap[Name];
6514824e7fdSDimitry Andric   PD.NumValueSites[ValueKind] =
6524824e7fdSDimitry Andric       std::max(PD.NumValueSites[ValueKind], (uint32_t)(Index + 1));
653*0b57cec5SDimitry Andric }
654*0b57cec5SDimitry Andric 
655*0b57cec5SDimitry Andric void InstrProfiling::lowerValueProfileInst(InstrProfValueProfileInst *Ind) {
6560eae32dcSDimitry Andric   // TODO: Value profiling heavily depends on the data section which is omitted
6570eae32dcSDimitry Andric   // in lightweight mode. We need to move the value profile pointer to the
6580eae32dcSDimitry Andric   // Counter struct to get this working.
6590eae32dcSDimitry Andric   assert(
6600eae32dcSDimitry Andric       !DebugInfoCorrelate &&
6610eae32dcSDimitry Andric       "Value profiling is not yet supported with lightweight instrumentation");
662*0b57cec5SDimitry Andric   GlobalVariable *Name = Ind->getName();
663*0b57cec5SDimitry Andric   auto It = ProfileDataMap.find(Name);
664*0b57cec5SDimitry Andric   assert(It != ProfileDataMap.end() && It->second.DataVar &&
665*0b57cec5SDimitry Andric          "value profiling detected in function with no counter incerement");
666*0b57cec5SDimitry Andric 
667*0b57cec5SDimitry Andric   GlobalVariable *DataVar = It->second.DataVar;
668*0b57cec5SDimitry Andric   uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
669*0b57cec5SDimitry Andric   uint64_t Index = Ind->getIndex()->getZExtValue();
670*0b57cec5SDimitry Andric   for (uint32_t Kind = IPVK_First; Kind < ValueKind; ++Kind)
671*0b57cec5SDimitry Andric     Index += It->second.NumValueSites[Kind];
672*0b57cec5SDimitry Andric 
673*0b57cec5SDimitry Andric   IRBuilder<> Builder(Ind);
674e8d8bef9SDimitry Andric   bool IsMemOpSize = (Ind->getValueKind()->getZExtValue() ==
675*0b57cec5SDimitry Andric                       llvm::InstrProfValueKind::IPVK_MemOPSize);
676*0b57cec5SDimitry Andric   CallInst *Call = nullptr;
6778bcb0991SDimitry Andric   auto *TLI = &GetTLI(*Ind->getFunction());
6785ffd83dbSDimitry Andric 
6795ffd83dbSDimitry Andric   // To support value profiling calls within Windows exception handlers, funclet
6805ffd83dbSDimitry Andric   // information contained within operand bundles needs to be copied over to
6815ffd83dbSDimitry Andric   // the library call. This is required for the IR to be processed by the
6825ffd83dbSDimitry Andric   // WinEHPrepare pass.
6835ffd83dbSDimitry Andric   SmallVector<OperandBundleDef, 1> OpBundles;
6845ffd83dbSDimitry Andric   Ind->getOperandBundlesAsDefs(OpBundles);
685e8d8bef9SDimitry Andric   if (!IsMemOpSize) {
686*0b57cec5SDimitry Andric     Value *Args[3] = {Ind->getTargetValue(),
687*0b57cec5SDimitry Andric                       Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
688*0b57cec5SDimitry Andric                       Builder.getInt32(Index)};
6895ffd83dbSDimitry Andric     Call = Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI), Args,
6905ffd83dbSDimitry Andric                               OpBundles);
691*0b57cec5SDimitry Andric   } else {
692e8d8bef9SDimitry Andric     Value *Args[3] = {Ind->getTargetValue(),
693*0b57cec5SDimitry Andric                       Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
694e8d8bef9SDimitry Andric                       Builder.getInt32(Index)};
695e8d8bef9SDimitry Andric     Call = Builder.CreateCall(
696e8d8bef9SDimitry Andric         getOrInsertValueProfilingCall(*M, *TLI, ValueProfilingCallType::MemOp),
6975ffd83dbSDimitry Andric         Args, OpBundles);
698*0b57cec5SDimitry Andric   }
699*0b57cec5SDimitry Andric   if (auto AK = TLI->getExtAttrForI32Param(false))
700*0b57cec5SDimitry Andric     Call->addParamAttr(2, AK);
701*0b57cec5SDimitry Andric   Ind->replaceAllUsesWith(Call);
702*0b57cec5SDimitry Andric   Ind->eraseFromParent();
703*0b57cec5SDimitry Andric }
704*0b57cec5SDimitry Andric 
7051fd87a68SDimitry Andric Value *InstrProfiling::getCounterAddress(InstrProfInstBase *I) {
7061fd87a68SDimitry Andric   auto *Counters = getOrCreateRegionCounters(I);
7071fd87a68SDimitry Andric   IRBuilder<> Builder(I);
708*0b57cec5SDimitry Andric 
7091fd87a68SDimitry Andric   auto *Addr = Builder.CreateConstInBoundsGEP2_32(
7101fd87a68SDimitry Andric       Counters->getValueType(), Counters, 0, I->getIndex()->getZExtValue());
711*0b57cec5SDimitry Andric 
7121fd87a68SDimitry Andric   if (!isRuntimeCounterRelocationEnabled())
7131fd87a68SDimitry Andric     return Addr;
7141fd87a68SDimitry Andric 
7155ffd83dbSDimitry Andric   Type *Int64Ty = Type::getInt64Ty(M->getContext());
7161fd87a68SDimitry Andric   Function *Fn = I->getParent()->getParent();
71781ad6265SDimitry Andric   LoadInst *&BiasLI = FunctionToProfileBiasMap[Fn];
71881ad6265SDimitry Andric   if (!BiasLI) {
71981ad6265SDimitry Andric     IRBuilder<> EntryBuilder(&Fn->getEntryBlock().front());
7201fd87a68SDimitry Andric     auto *Bias = M->getGlobalVariable(getInstrProfCounterBiasVarName());
7215ffd83dbSDimitry Andric     if (!Bias) {
722fe6060f1SDimitry Andric       // Compiler must define this variable when runtime counter relocation
723fe6060f1SDimitry Andric       // is being used. Runtime has a weak external reference that is used
724fe6060f1SDimitry Andric       // to check whether that's the case or not.
7254824e7fdSDimitry Andric       Bias = new GlobalVariable(
7264824e7fdSDimitry Andric           *M, Int64Ty, false, GlobalValue::LinkOnceODRLinkage,
7274824e7fdSDimitry Andric           Constant::getNullValue(Int64Ty), getInstrProfCounterBiasVarName());
7285ffd83dbSDimitry Andric       Bias->setVisibility(GlobalVariable::HiddenVisibility);
729fe6060f1SDimitry Andric       // A definition that's weak (linkonce_odr) without being in a COMDAT
730fe6060f1SDimitry Andric       // section wouldn't lead to link errors, but it would lead to a dead
731fe6060f1SDimitry Andric       // data word from every TU but one. Putting it in COMDAT ensures there
732fe6060f1SDimitry Andric       // will be exactly one data slot in the link.
733fe6060f1SDimitry Andric       if (TT.supportsCOMDAT())
734fe6060f1SDimitry Andric         Bias->setComdat(M->getOrInsertComdat(Bias->getName()));
7355ffd83dbSDimitry Andric     }
73681ad6265SDimitry Andric     BiasLI = EntryBuilder.CreateLoad(Int64Ty, Bias);
7375ffd83dbSDimitry Andric   }
73881ad6265SDimitry Andric   auto *Add = Builder.CreateAdd(Builder.CreatePtrToInt(Addr, Int64Ty), BiasLI);
7391fd87a68SDimitry Andric   return Builder.CreateIntToPtr(Add, Addr->getType());
7405ffd83dbSDimitry Andric }
7415ffd83dbSDimitry Andric 
7421fd87a68SDimitry Andric void InstrProfiling::lowerCover(InstrProfCoverInst *CoverInstruction) {
7431fd87a68SDimitry Andric   auto *Addr = getCounterAddress(CoverInstruction);
7441fd87a68SDimitry Andric   IRBuilder<> Builder(CoverInstruction);
7451fd87a68SDimitry Andric   // We store zero to represent that this block is covered.
7461fd87a68SDimitry Andric   Builder.CreateStore(Builder.getInt8(0), Addr);
7471fd87a68SDimitry Andric   CoverInstruction->eraseFromParent();
7481fd87a68SDimitry Andric }
7491fd87a68SDimitry Andric 
7501fd87a68SDimitry Andric void InstrProfiling::lowerIncrement(InstrProfIncrementInst *Inc) {
7511fd87a68SDimitry Andric   auto *Addr = getCounterAddress(Inc);
7521fd87a68SDimitry Andric 
7531fd87a68SDimitry Andric   IRBuilder<> Builder(Inc);
7545ffd83dbSDimitry Andric   if (Options.Atomic || AtomicCounterUpdateAll ||
7551fd87a68SDimitry Andric       (Inc->getIndex()->isZeroValue() && AtomicFirstCounter)) {
756*0b57cec5SDimitry Andric     Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, Inc->getStep(),
757fe6060f1SDimitry Andric                             MaybeAlign(), AtomicOrdering::Monotonic);
758*0b57cec5SDimitry Andric   } else {
759*0b57cec5SDimitry Andric     Value *IncStep = Inc->getStep();
760*0b57cec5SDimitry Andric     Value *Load = Builder.CreateLoad(IncStep->getType(), Addr, "pgocount");
761*0b57cec5SDimitry Andric     auto *Count = Builder.CreateAdd(Load, Inc->getStep());
762*0b57cec5SDimitry Andric     auto *Store = Builder.CreateStore(Count, Addr);
763*0b57cec5SDimitry Andric     if (isCounterPromotionEnabled())
764*0b57cec5SDimitry Andric       PromotionCandidates.emplace_back(cast<Instruction>(Load), Store);
765*0b57cec5SDimitry Andric   }
766*0b57cec5SDimitry Andric   Inc->eraseFromParent();
767*0b57cec5SDimitry Andric }
768*0b57cec5SDimitry Andric 
769*0b57cec5SDimitry Andric void InstrProfiling::lowerCoverageData(GlobalVariable *CoverageNamesVar) {
770*0b57cec5SDimitry Andric   ConstantArray *Names =
771*0b57cec5SDimitry Andric       cast<ConstantArray>(CoverageNamesVar->getInitializer());
772*0b57cec5SDimitry Andric   for (unsigned I = 0, E = Names->getNumOperands(); I < E; ++I) {
773*0b57cec5SDimitry Andric     Constant *NC = Names->getOperand(I);
774*0b57cec5SDimitry Andric     Value *V = NC->stripPointerCasts();
775*0b57cec5SDimitry Andric     assert(isa<GlobalVariable>(V) && "Missing reference to function name");
776*0b57cec5SDimitry Andric     GlobalVariable *Name = cast<GlobalVariable>(V);
777*0b57cec5SDimitry Andric 
778*0b57cec5SDimitry Andric     Name->setLinkage(GlobalValue::PrivateLinkage);
779*0b57cec5SDimitry Andric     ReferencedNames.push_back(Name);
78081ad6265SDimitry Andric     if (isa<ConstantExpr>(NC))
781*0b57cec5SDimitry Andric       NC->dropAllReferences();
782*0b57cec5SDimitry Andric   }
783*0b57cec5SDimitry Andric   CoverageNamesVar->eraseFromParent();
784*0b57cec5SDimitry Andric }
785*0b57cec5SDimitry Andric 
786*0b57cec5SDimitry Andric /// Get the name of a profiling variable for a particular function.
78704eeddc0SDimitry Andric static std::string getVarName(InstrProfInstBase *Inc, StringRef Prefix,
788349cc55cSDimitry Andric                               bool &Renamed) {
789*0b57cec5SDimitry Andric   StringRef NamePrefix = getInstrProfNameVarPrefix();
790*0b57cec5SDimitry Andric   StringRef Name = Inc->getName()->getName().substr(NamePrefix.size());
791*0b57cec5SDimitry Andric   Function *F = Inc->getParent()->getParent();
792*0b57cec5SDimitry Andric   Module *M = F->getParent();
793*0b57cec5SDimitry Andric   if (!DoHashBasedCounterSplit || !isIRPGOFlagSet(M) ||
794349cc55cSDimitry Andric       !canRenameComdatFunc(*F)) {
795349cc55cSDimitry Andric     Renamed = false;
796*0b57cec5SDimitry Andric     return (Prefix + Name).str();
797349cc55cSDimitry Andric   }
798349cc55cSDimitry Andric   Renamed = true;
799*0b57cec5SDimitry Andric   uint64_t FuncHash = Inc->getHash()->getZExtValue();
800*0b57cec5SDimitry Andric   SmallVector<char, 24> HashPostfix;
801*0b57cec5SDimitry Andric   if (Name.endswith((Twine(".") + Twine(FuncHash)).toStringRef(HashPostfix)))
802*0b57cec5SDimitry Andric     return (Prefix + Name).str();
803*0b57cec5SDimitry Andric   return (Prefix + Name + "." + Twine(FuncHash)).str();
804*0b57cec5SDimitry Andric }
805*0b57cec5SDimitry Andric 
806fe6060f1SDimitry Andric static uint64_t getIntModuleFlagOrZero(const Module &M, StringRef Flag) {
807fe6060f1SDimitry Andric   auto *MD = dyn_cast_or_null<ConstantAsMetadata>(M.getModuleFlag(Flag));
808fe6060f1SDimitry Andric   if (!MD)
809fe6060f1SDimitry Andric     return 0;
810fe6060f1SDimitry Andric 
811fe6060f1SDimitry Andric   // If the flag is a ConstantAsMetadata, it should be an integer representable
812fe6060f1SDimitry Andric   // in 64-bits.
813fe6060f1SDimitry Andric   return cast<ConstantInt>(MD->getValue())->getZExtValue();
814fe6060f1SDimitry Andric }
815fe6060f1SDimitry Andric 
816fe6060f1SDimitry Andric static bool enablesValueProfiling(const Module &M) {
817fe6060f1SDimitry Andric   return isIRPGOFlagSet(&M) ||
818fe6060f1SDimitry Andric          getIntModuleFlagOrZero(M, "EnableValueProfiling") != 0;
819fe6060f1SDimitry Andric }
820fe6060f1SDimitry Andric 
821fe6060f1SDimitry Andric // Conservatively returns true if data variables may be referenced by code.
822fe6060f1SDimitry Andric static bool profDataReferencedByCode(const Module &M) {
823fe6060f1SDimitry Andric   return enablesValueProfiling(M);
824fe6060f1SDimitry Andric }
825fe6060f1SDimitry Andric 
826*0b57cec5SDimitry Andric static inline bool shouldRecordFunctionAddr(Function *F) {
827fe6060f1SDimitry Andric   // Only record function addresses if IR PGO is enabled or if clang value
828fe6060f1SDimitry Andric   // profiling is enabled. Recording function addresses greatly increases object
829fe6060f1SDimitry Andric   // file size, because it prevents the inliner from deleting functions that
830fe6060f1SDimitry Andric   // have been inlined everywhere.
831fe6060f1SDimitry Andric   if (!profDataReferencedByCode(*F->getParent()))
832fe6060f1SDimitry Andric     return false;
833fe6060f1SDimitry Andric 
834*0b57cec5SDimitry Andric   // Check the linkage
835*0b57cec5SDimitry Andric   bool HasAvailableExternallyLinkage = F->hasAvailableExternallyLinkage();
836*0b57cec5SDimitry Andric   if (!F->hasLinkOnceLinkage() && !F->hasLocalLinkage() &&
837*0b57cec5SDimitry Andric       !HasAvailableExternallyLinkage)
838*0b57cec5SDimitry Andric     return true;
839*0b57cec5SDimitry Andric 
840*0b57cec5SDimitry Andric   // A function marked 'alwaysinline' with available_externally linkage can't
841*0b57cec5SDimitry Andric   // have its address taken. Doing so would create an undefined external ref to
842*0b57cec5SDimitry Andric   // the function, which would fail to link.
843*0b57cec5SDimitry Andric   if (HasAvailableExternallyLinkage &&
844*0b57cec5SDimitry Andric       F->hasFnAttribute(Attribute::AlwaysInline))
845*0b57cec5SDimitry Andric     return false;
846*0b57cec5SDimitry Andric 
847*0b57cec5SDimitry Andric   // Prohibit function address recording if the function is both internal and
848*0b57cec5SDimitry Andric   // COMDAT. This avoids the profile data variable referencing internal symbols
849*0b57cec5SDimitry Andric   // in COMDAT.
850*0b57cec5SDimitry Andric   if (F->hasLocalLinkage() && F->hasComdat())
851*0b57cec5SDimitry Andric     return false;
852*0b57cec5SDimitry Andric 
853*0b57cec5SDimitry Andric   // Check uses of this function for other than direct calls or invokes to it.
854*0b57cec5SDimitry Andric   // Inline virtual functions have linkeOnceODR linkage. When a key method
855*0b57cec5SDimitry Andric   // exists, the vtable will only be emitted in the TU where the key method
856*0b57cec5SDimitry Andric   // is defined. In a TU where vtable is not available, the function won't
857*0b57cec5SDimitry Andric   // be 'addresstaken'. If its address is not recorded here, the profile data
858*0b57cec5SDimitry Andric   // with missing address may be picked by the linker leading  to missing
859*0b57cec5SDimitry Andric   // indirect call target info.
860*0b57cec5SDimitry Andric   return F->hasAddressTaken() || F->hasLinkOnceLinkage();
861*0b57cec5SDimitry Andric }
862*0b57cec5SDimitry Andric 
863*0b57cec5SDimitry Andric static bool needsRuntimeRegistrationOfSectionRange(const Triple &TT) {
864*0b57cec5SDimitry Andric   // Don't do this for Darwin.  compiler-rt uses linker magic.
865*0b57cec5SDimitry Andric   if (TT.isOSDarwin())
866*0b57cec5SDimitry Andric     return false;
867*0b57cec5SDimitry Andric   // Use linker script magic to get data/cnts/name start/end.
86881ad6265SDimitry Andric   if (TT.isOSAIX() || TT.isOSLinux() || TT.isOSFreeBSD() || TT.isOSNetBSD() ||
86981ad6265SDimitry Andric       TT.isOSSolaris() || TT.isOSFuchsia() || TT.isPS() || TT.isOSWindows())
870*0b57cec5SDimitry Andric     return false;
871*0b57cec5SDimitry Andric 
872*0b57cec5SDimitry Andric   return true;
873*0b57cec5SDimitry Andric }
874*0b57cec5SDimitry Andric 
875*0b57cec5SDimitry Andric GlobalVariable *
8761fd87a68SDimitry Andric InstrProfiling::createRegionCounters(InstrProfInstBase *Inc, StringRef Name,
8771fd87a68SDimitry Andric                                      GlobalValue::LinkageTypes Linkage) {
8781fd87a68SDimitry Andric   uint64_t NumCounters = Inc->getNumCounters()->getZExtValue();
8791fd87a68SDimitry Andric   auto &Ctx = M->getContext();
8801fd87a68SDimitry Andric   GlobalVariable *GV;
8811fd87a68SDimitry Andric   if (isa<InstrProfCoverInst>(Inc)) {
8821fd87a68SDimitry Andric     auto *CounterTy = Type::getInt8Ty(Ctx);
8831fd87a68SDimitry Andric     auto *CounterArrTy = ArrayType::get(CounterTy, NumCounters);
8841fd87a68SDimitry Andric     // TODO: `Constant::getAllOnesValue()` does not yet accept an array type.
8851fd87a68SDimitry Andric     std::vector<Constant *> InitialValues(NumCounters,
8861fd87a68SDimitry Andric                                           Constant::getAllOnesValue(CounterTy));
8871fd87a68SDimitry Andric     GV = new GlobalVariable(*M, CounterArrTy, false, Linkage,
8881fd87a68SDimitry Andric                             ConstantArray::get(CounterArrTy, InitialValues),
8891fd87a68SDimitry Andric                             Name);
8901fd87a68SDimitry Andric     GV->setAlignment(Align(1));
8911fd87a68SDimitry Andric   } else {
8921fd87a68SDimitry Andric     auto *CounterTy = ArrayType::get(Type::getInt64Ty(Ctx), NumCounters);
8931fd87a68SDimitry Andric     GV = new GlobalVariable(*M, CounterTy, false, Linkage,
8941fd87a68SDimitry Andric                             Constant::getNullValue(CounterTy), Name);
8951fd87a68SDimitry Andric     GV->setAlignment(Align(8));
8961fd87a68SDimitry Andric   }
8971fd87a68SDimitry Andric   return GV;
8981fd87a68SDimitry Andric }
8991fd87a68SDimitry Andric 
9001fd87a68SDimitry Andric GlobalVariable *
90104eeddc0SDimitry Andric InstrProfiling::getOrCreateRegionCounters(InstrProfInstBase *Inc) {
902*0b57cec5SDimitry Andric   GlobalVariable *NamePtr = Inc->getName();
9034824e7fdSDimitry Andric   auto &PD = ProfileDataMap[NamePtr];
9044824e7fdSDimitry Andric   if (PD.RegionCounters)
9054824e7fdSDimitry Andric     return PD.RegionCounters;
906*0b57cec5SDimitry Andric 
907fe6060f1SDimitry Andric   // Match the linkage and visibility of the name global.
908*0b57cec5SDimitry Andric   Function *Fn = Inc->getParent()->getParent();
909*0b57cec5SDimitry Andric   GlobalValue::LinkageTypes Linkage = NamePtr->getLinkage();
910*0b57cec5SDimitry Andric   GlobalValue::VisibilityTypes Visibility = NamePtr->getVisibility();
911*0b57cec5SDimitry Andric 
9120eae32dcSDimitry Andric   // Use internal rather than private linkage so the counter variable shows up
9130eae32dcSDimitry Andric   // in the symbol table when using debug info for correlation.
9140eae32dcSDimitry Andric   if (DebugInfoCorrelate && TT.isOSBinFormatMachO() &&
9150eae32dcSDimitry Andric       Linkage == GlobalValue::PrivateLinkage)
9160eae32dcSDimitry Andric     Linkage = GlobalValue::InternalLinkage;
9170eae32dcSDimitry Andric 
918349cc55cSDimitry Andric   // Due to the limitation of binder as of 2021/09/28, the duplicate weak
919349cc55cSDimitry Andric   // symbols in the same csect won't be discarded. When there are duplicate weak
920349cc55cSDimitry Andric   // symbols, we can NOT guarantee that the relocations get resolved to the
921349cc55cSDimitry Andric   // intended weak symbol, so we can not ensure the correctness of the relative
922349cc55cSDimitry Andric   // CounterPtr, so we have to use private linkage for counter and data symbols.
923349cc55cSDimitry Andric   if (TT.isOSBinFormatXCOFF()) {
924349cc55cSDimitry Andric     Linkage = GlobalValue::PrivateLinkage;
925349cc55cSDimitry Andric     Visibility = GlobalValue::DefaultVisibility;
926349cc55cSDimitry Andric   }
927*0b57cec5SDimitry Andric   // Move the name variable to the right section. Place them in a COMDAT group
928*0b57cec5SDimitry Andric   // if the associated function is a COMDAT. This will make sure that only one
929*0b57cec5SDimitry Andric   // copy of counters of the COMDAT function will be emitted after linking. Keep
930*0b57cec5SDimitry Andric   // in mind that this pass may run before the inliner, so we need to create a
931*0b57cec5SDimitry Andric   // new comdat group for the counters and profiling data. If we use the comdat
932*0b57cec5SDimitry Andric   // of the parent function, that will result in relocations against discarded
933*0b57cec5SDimitry Andric   // sections.
934fe6060f1SDimitry Andric   //
935fe6060f1SDimitry Andric   // If the data variable is referenced by code,  counters and data have to be
936fe6060f1SDimitry Andric   // in different comdats for COFF because the Visual C++ linker will report
937fe6060f1SDimitry Andric   // duplicate symbol errors if there are multiple external symbols with the
938fe6060f1SDimitry Andric   // same name marked IMAGE_COMDAT_SELECT_ASSOCIATIVE.
939fe6060f1SDimitry Andric   //
940fe6060f1SDimitry Andric   // For ELF, when not using COMDAT, put counters, data and values into a
941fe6060f1SDimitry Andric   // nodeduplicate COMDAT which is lowered to a zero-flag section group. This
942fe6060f1SDimitry Andric   // allows -z start-stop-gc to discard the entire group when the function is
943fe6060f1SDimitry Andric   // discarded.
944fe6060f1SDimitry Andric   bool DataReferencedByCode = profDataReferencedByCode(*M);
945c14a5a88SDimitry Andric   bool NeedComdat = needsComdatForCounter(*Fn, *M);
946349cc55cSDimitry Andric   bool Renamed;
947349cc55cSDimitry Andric   std::string CntsVarName =
948349cc55cSDimitry Andric       getVarName(Inc, getInstrProfCountersVarPrefix(), Renamed);
949349cc55cSDimitry Andric   std::string DataVarName =
950349cc55cSDimitry Andric       getVarName(Inc, getInstrProfDataVarPrefix(), Renamed);
951fe6060f1SDimitry Andric   auto MaybeSetComdat = [&](GlobalVariable *GV) {
952fe6060f1SDimitry Andric     bool UseComdat = (NeedComdat || TT.isOSBinFormatELF());
953fe6060f1SDimitry Andric     if (UseComdat) {
954fe6060f1SDimitry Andric       StringRef GroupName = TT.isOSBinFormatCOFF() && DataReferencedByCode
955fe6060f1SDimitry Andric                                 ? GV->getName()
956fe6060f1SDimitry Andric                                 : CntsVarName;
957fe6060f1SDimitry Andric       Comdat *C = M->getOrInsertComdat(GroupName);
958fe6060f1SDimitry Andric       if (!NeedComdat)
959fe6060f1SDimitry Andric         C->setSelectionKind(Comdat::NoDeduplicate);
960fe6060f1SDimitry Andric       GV->setComdat(C);
961fe6060f1SDimitry Andric     }
962c14a5a88SDimitry Andric   };
963*0b57cec5SDimitry Andric 
964*0b57cec5SDimitry Andric   uint64_t NumCounters = Inc->getNumCounters()->getZExtValue();
965*0b57cec5SDimitry Andric   LLVMContext &Ctx = M->getContext();
966*0b57cec5SDimitry Andric 
9671fd87a68SDimitry Andric   auto *CounterPtr = createRegionCounters(Inc, CntsVarName, Linkage);
968*0b57cec5SDimitry Andric   CounterPtr->setVisibility(Visibility);
969*0b57cec5SDimitry Andric   CounterPtr->setSection(
970*0b57cec5SDimitry Andric       getInstrProfSectionName(IPSK_cnts, TT.getObjectFormat()));
971c14a5a88SDimitry Andric   MaybeSetComdat(CounterPtr);
972c14a5a88SDimitry Andric   CounterPtr->setLinkage(Linkage);
9734824e7fdSDimitry Andric   PD.RegionCounters = CounterPtr;
9740eae32dcSDimitry Andric   if (DebugInfoCorrelate) {
9750eae32dcSDimitry Andric     if (auto *SP = Fn->getSubprogram()) {
9760eae32dcSDimitry Andric       DIBuilder DB(*M, true, SP->getUnit());
9770eae32dcSDimitry Andric       Metadata *FunctionNameAnnotation[] = {
9780eae32dcSDimitry Andric           MDString::get(Ctx, InstrProfCorrelator::FunctionNameAttributeName),
9790eae32dcSDimitry Andric           MDString::get(Ctx, getPGOFuncNameVarInitializer(NamePtr)),
9800eae32dcSDimitry Andric       };
9810eae32dcSDimitry Andric       Metadata *CFGHashAnnotation[] = {
9820eae32dcSDimitry Andric           MDString::get(Ctx, InstrProfCorrelator::CFGHashAttributeName),
9830eae32dcSDimitry Andric           ConstantAsMetadata::get(Inc->getHash()),
9840eae32dcSDimitry Andric       };
9850eae32dcSDimitry Andric       Metadata *NumCountersAnnotation[] = {
9860eae32dcSDimitry Andric           MDString::get(Ctx, InstrProfCorrelator::NumCountersAttributeName),
9870eae32dcSDimitry Andric           ConstantAsMetadata::get(Inc->getNumCounters()),
9880eae32dcSDimitry Andric       };
9890eae32dcSDimitry Andric       auto Annotations = DB.getOrCreateArray({
9900eae32dcSDimitry Andric           MDNode::get(Ctx, FunctionNameAnnotation),
9910eae32dcSDimitry Andric           MDNode::get(Ctx, CFGHashAnnotation),
9920eae32dcSDimitry Andric           MDNode::get(Ctx, NumCountersAnnotation),
9930eae32dcSDimitry Andric       });
9940eae32dcSDimitry Andric       auto *DICounter = DB.createGlobalVariableExpression(
9950eae32dcSDimitry Andric           SP, CounterPtr->getName(), /*LinkageName=*/StringRef(), SP->getFile(),
9960eae32dcSDimitry Andric           /*LineNo=*/0, DB.createUnspecifiedType("Profile Data Type"),
9970eae32dcSDimitry Andric           CounterPtr->hasLocalLinkage(), /*IsDefined=*/true, /*Expr=*/nullptr,
9980eae32dcSDimitry Andric           /*Decl=*/nullptr, /*TemplateParams=*/nullptr, /*AlignInBits=*/0,
9990eae32dcSDimitry Andric           Annotations);
10000eae32dcSDimitry Andric       CounterPtr->addDebugInfo(DICounter);
10010eae32dcSDimitry Andric       DB.finalize();
10020eae32dcSDimitry Andric     } else {
10030eae32dcSDimitry Andric       std::string Msg = ("Missing debug info for function " + Fn->getName() +
10040eae32dcSDimitry Andric                          "; required for profile correlation.")
10050eae32dcSDimitry Andric                             .str();
10060eae32dcSDimitry Andric       Ctx.diagnose(
10070eae32dcSDimitry Andric           DiagnosticInfoPGOProfile(M->getName().data(), Msg, DS_Warning));
10080eae32dcSDimitry Andric     }
10090eae32dcSDimitry Andric   }
1010*0b57cec5SDimitry Andric 
1011*0b57cec5SDimitry Andric   auto *Int8PtrTy = Type::getInt8PtrTy(Ctx);
1012*0b57cec5SDimitry Andric   // Allocate statically the array of pointers to value profile nodes for
1013*0b57cec5SDimitry Andric   // the current function.
1014*0b57cec5SDimitry Andric   Constant *ValuesPtrExpr = ConstantPointerNull::get(Int8PtrTy);
1015*0b57cec5SDimitry Andric   uint64_t NS = 0;
1016*0b57cec5SDimitry Andric   for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
1017*0b57cec5SDimitry Andric     NS += PD.NumValueSites[Kind];
1018fe6060f1SDimitry Andric   if (NS > 0 && ValueProfileStaticAlloc &&
1019fe6060f1SDimitry Andric       !needsRuntimeRegistrationOfSectionRange(TT)) {
1020*0b57cec5SDimitry Andric     ArrayType *ValuesTy = ArrayType::get(Type::getInt64Ty(Ctx), NS);
1021fe6060f1SDimitry Andric     auto *ValuesVar = new GlobalVariable(
1022fe6060f1SDimitry Andric         *M, ValuesTy, false, Linkage, Constant::getNullValue(ValuesTy),
1023349cc55cSDimitry Andric         getVarName(Inc, getInstrProfValuesVarPrefix(), Renamed));
1024*0b57cec5SDimitry Andric     ValuesVar->setVisibility(Visibility);
1025*0b57cec5SDimitry Andric     ValuesVar->setSection(
1026*0b57cec5SDimitry Andric         getInstrProfSectionName(IPSK_vals, TT.getObjectFormat()));
10278bcb0991SDimitry Andric     ValuesVar->setAlignment(Align(8));
1028c14a5a88SDimitry Andric     MaybeSetComdat(ValuesVar);
1029*0b57cec5SDimitry Andric     ValuesPtrExpr =
1030*0b57cec5SDimitry Andric         ConstantExpr::getBitCast(ValuesVar, Type::getInt8PtrTy(Ctx));
1031*0b57cec5SDimitry Andric   }
1032*0b57cec5SDimitry Andric 
103304eeddc0SDimitry Andric   if (DebugInfoCorrelate) {
103404eeddc0SDimitry Andric     // Mark the counter variable as used so that it isn't optimized out.
103504eeddc0SDimitry Andric     CompilerUsedVars.push_back(PD.RegionCounters);
10360eae32dcSDimitry Andric     return PD.RegionCounters;
103704eeddc0SDimitry Andric   }
10380eae32dcSDimitry Andric 
1039*0b57cec5SDimitry Andric   // Create data variable.
1040349cc55cSDimitry Andric   auto *IntPtrTy = M->getDataLayout().getIntPtrType(M->getContext());
1041*0b57cec5SDimitry Andric   auto *Int16Ty = Type::getInt16Ty(Ctx);
1042*0b57cec5SDimitry Andric   auto *Int16ArrayTy = ArrayType::get(Int16Ty, IPVK_Last + 1);
1043*0b57cec5SDimitry Andric   Type *DataTypes[] = {
1044*0b57cec5SDimitry Andric #define INSTR_PROF_DATA(Type, LLVMType, Name, Init) LLVMType,
1045*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
1046*0b57cec5SDimitry Andric   };
1047*0b57cec5SDimitry Andric   auto *DataTy = StructType::get(Ctx, makeArrayRef(DataTypes));
1048*0b57cec5SDimitry Andric 
1049*0b57cec5SDimitry Andric   Constant *FunctionAddr = shouldRecordFunctionAddr(Fn)
1050*0b57cec5SDimitry Andric                                ? ConstantExpr::getBitCast(Fn, Int8PtrTy)
1051*0b57cec5SDimitry Andric                                : ConstantPointerNull::get(Int8PtrTy);
1052*0b57cec5SDimitry Andric 
1053*0b57cec5SDimitry Andric   Constant *Int16ArrayVals[IPVK_Last + 1];
1054*0b57cec5SDimitry Andric   for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
1055*0b57cec5SDimitry Andric     Int16ArrayVals[Kind] = ConstantInt::get(Int16Ty, PD.NumValueSites[Kind]);
1056*0b57cec5SDimitry Andric 
1057fe6060f1SDimitry Andric   // If the data variable is not referenced by code (if we don't emit
1058fe6060f1SDimitry Andric   // @llvm.instrprof.value.profile, NS will be 0), and the counter keeps the
1059fe6060f1SDimitry Andric   // data variable live under linker GC, the data variable can be private. This
1060fe6060f1SDimitry Andric   // optimization applies to ELF.
1061fe6060f1SDimitry Andric   //
1062fe6060f1SDimitry Andric   // On COFF, a comdat leader cannot be local so we require DataReferencedByCode
1063fe6060f1SDimitry Andric   // to be false.
1064349cc55cSDimitry Andric   //
1065349cc55cSDimitry Andric   // If profd is in a deduplicate comdat, NS==0 with a hash suffix guarantees
1066349cc55cSDimitry Andric   // that other copies must have the same CFG and cannot have value profiling.
1067349cc55cSDimitry Andric   // If no hash suffix, other profd copies may be referenced by code.
1068349cc55cSDimitry Andric   if (NS == 0 && !(DataReferencedByCode && NeedComdat && !Renamed) &&
1069349cc55cSDimitry Andric       (TT.isOSBinFormatELF() ||
1070fe6060f1SDimitry Andric        (!DataReferencedByCode && TT.isOSBinFormatCOFF()))) {
1071fe6060f1SDimitry Andric     Linkage = GlobalValue::PrivateLinkage;
1072fe6060f1SDimitry Andric     Visibility = GlobalValue::DefaultVisibility;
1073fe6060f1SDimitry Andric   }
1074e8d8bef9SDimitry Andric   auto *Data =
1075349cc55cSDimitry Andric       new GlobalVariable(*M, DataTy, false, Linkage, nullptr, DataVarName);
1076349cc55cSDimitry Andric   // Reference the counter variable with a label difference (link-time
1077349cc55cSDimitry Andric   // constant).
1078349cc55cSDimitry Andric   auto *RelativeCounterPtr =
1079349cc55cSDimitry Andric       ConstantExpr::getSub(ConstantExpr::getPtrToInt(CounterPtr, IntPtrTy),
1080349cc55cSDimitry Andric                            ConstantExpr::getPtrToInt(Data, IntPtrTy));
1081349cc55cSDimitry Andric 
1082349cc55cSDimitry Andric   Constant *DataVals[] = {
1083349cc55cSDimitry Andric #define INSTR_PROF_DATA(Type, LLVMType, Name, Init) Init,
1084349cc55cSDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
1085349cc55cSDimitry Andric   };
1086349cc55cSDimitry Andric   Data->setInitializer(ConstantStruct::get(DataTy, DataVals));
1087349cc55cSDimitry Andric 
1088*0b57cec5SDimitry Andric   Data->setVisibility(Visibility);
1089*0b57cec5SDimitry Andric   Data->setSection(getInstrProfSectionName(IPSK_data, TT.getObjectFormat()));
10908bcb0991SDimitry Andric   Data->setAlignment(Align(INSTR_PROF_DATA_ALIGNMENT));
1091c14a5a88SDimitry Andric   MaybeSetComdat(Data);
1092c14a5a88SDimitry Andric   Data->setLinkage(Linkage);
1093*0b57cec5SDimitry Andric 
1094*0b57cec5SDimitry Andric   PD.DataVar = Data;
1095*0b57cec5SDimitry Andric 
1096*0b57cec5SDimitry Andric   // Mark the data variable as used so that it isn't stripped out.
1097fe6060f1SDimitry Andric   CompilerUsedVars.push_back(Data);
1098*0b57cec5SDimitry Andric   // Now that the linkage set by the FE has been passed to the data and counter
1099*0b57cec5SDimitry Andric   // variables, reset Name variable's linkage and visibility to private so that
1100*0b57cec5SDimitry Andric   // it can be removed later by the compiler.
1101*0b57cec5SDimitry Andric   NamePtr->setLinkage(GlobalValue::PrivateLinkage);
1102*0b57cec5SDimitry Andric   // Collect the referenced names to be used by emitNameData.
1103*0b57cec5SDimitry Andric   ReferencedNames.push_back(NamePtr);
1104*0b57cec5SDimitry Andric 
11054824e7fdSDimitry Andric   return PD.RegionCounters;
1106*0b57cec5SDimitry Andric }
1107*0b57cec5SDimitry Andric 
1108*0b57cec5SDimitry Andric void InstrProfiling::emitVNodes() {
1109*0b57cec5SDimitry Andric   if (!ValueProfileStaticAlloc)
1110*0b57cec5SDimitry Andric     return;
1111*0b57cec5SDimitry Andric 
1112*0b57cec5SDimitry Andric   // For now only support this on platforms that do
1113*0b57cec5SDimitry Andric   // not require runtime registration to discover
1114*0b57cec5SDimitry Andric   // named section start/end.
1115*0b57cec5SDimitry Andric   if (needsRuntimeRegistrationOfSectionRange(TT))
1116*0b57cec5SDimitry Andric     return;
1117*0b57cec5SDimitry Andric 
1118*0b57cec5SDimitry Andric   size_t TotalNS = 0;
1119*0b57cec5SDimitry Andric   for (auto &PD : ProfileDataMap) {
1120*0b57cec5SDimitry Andric     for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
1121*0b57cec5SDimitry Andric       TotalNS += PD.second.NumValueSites[Kind];
1122*0b57cec5SDimitry Andric   }
1123*0b57cec5SDimitry Andric 
1124*0b57cec5SDimitry Andric   if (!TotalNS)
1125*0b57cec5SDimitry Andric     return;
1126*0b57cec5SDimitry Andric 
1127*0b57cec5SDimitry Andric   uint64_t NumCounters = TotalNS * NumCountersPerValueSite;
1128*0b57cec5SDimitry Andric // Heuristic for small programs with very few total value sites.
1129*0b57cec5SDimitry Andric // The default value of vp-counters-per-site is chosen based on
1130*0b57cec5SDimitry Andric // the observation that large apps usually have a low percentage
1131*0b57cec5SDimitry Andric // of value sites that actually have any profile data, and thus
1132*0b57cec5SDimitry Andric // the average number of counters per site is low. For small
1133*0b57cec5SDimitry Andric // apps with very few sites, this may not be true. Bump up the
1134*0b57cec5SDimitry Andric // number of counters in this case.
1135*0b57cec5SDimitry Andric #define INSTR_PROF_MIN_VAL_COUNTS 10
1136*0b57cec5SDimitry Andric   if (NumCounters < INSTR_PROF_MIN_VAL_COUNTS)
1137*0b57cec5SDimitry Andric     NumCounters = std::max(INSTR_PROF_MIN_VAL_COUNTS, (int)NumCounters * 2);
1138*0b57cec5SDimitry Andric 
1139*0b57cec5SDimitry Andric   auto &Ctx = M->getContext();
1140*0b57cec5SDimitry Andric   Type *VNodeTypes[] = {
1141*0b57cec5SDimitry Andric #define INSTR_PROF_VALUE_NODE(Type, LLVMType, Name, Init) LLVMType,
1142*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
1143*0b57cec5SDimitry Andric   };
1144*0b57cec5SDimitry Andric   auto *VNodeTy = StructType::get(Ctx, makeArrayRef(VNodeTypes));
1145*0b57cec5SDimitry Andric 
1146*0b57cec5SDimitry Andric   ArrayType *VNodesTy = ArrayType::get(VNodeTy, NumCounters);
1147*0b57cec5SDimitry Andric   auto *VNodesVar = new GlobalVariable(
1148*0b57cec5SDimitry Andric       *M, VNodesTy, false, GlobalValue::PrivateLinkage,
1149*0b57cec5SDimitry Andric       Constant::getNullValue(VNodesTy), getInstrProfVNodesVarName());
1150*0b57cec5SDimitry Andric   VNodesVar->setSection(
1151*0b57cec5SDimitry Andric       getInstrProfSectionName(IPSK_vnodes, TT.getObjectFormat()));
1152fe6060f1SDimitry Andric   // VNodesVar is used by runtime but not referenced via relocation by other
1153fe6060f1SDimitry Andric   // sections. Conservatively make it linker retained.
1154*0b57cec5SDimitry Andric   UsedVars.push_back(VNodesVar);
1155*0b57cec5SDimitry Andric }
1156*0b57cec5SDimitry Andric 
1157*0b57cec5SDimitry Andric void InstrProfiling::emitNameData() {
1158*0b57cec5SDimitry Andric   std::string UncompressedData;
1159*0b57cec5SDimitry Andric 
1160*0b57cec5SDimitry Andric   if (ReferencedNames.empty())
1161*0b57cec5SDimitry Andric     return;
1162*0b57cec5SDimitry Andric 
1163*0b57cec5SDimitry Andric   std::string CompressedNameStr;
1164*0b57cec5SDimitry Andric   if (Error E = collectPGOFuncNameStrings(ReferencedNames, CompressedNameStr,
11655ffd83dbSDimitry Andric                                           DoInstrProfNameCompression)) {
1166349cc55cSDimitry Andric     report_fatal_error(Twine(toString(std::move(E))), false);
1167*0b57cec5SDimitry Andric   }
1168*0b57cec5SDimitry Andric 
1169*0b57cec5SDimitry Andric   auto &Ctx = M->getContext();
11704824e7fdSDimitry Andric   auto *NamesVal =
11714824e7fdSDimitry Andric       ConstantDataArray::getString(Ctx, StringRef(CompressedNameStr), false);
1172*0b57cec5SDimitry Andric   NamesVar = new GlobalVariable(*M, NamesVal->getType(), true,
1173*0b57cec5SDimitry Andric                                 GlobalValue::PrivateLinkage, NamesVal,
1174*0b57cec5SDimitry Andric                                 getInstrProfNamesVarName());
1175*0b57cec5SDimitry Andric   NamesSize = CompressedNameStr.size();
1176*0b57cec5SDimitry Andric   NamesVar->setSection(
1177*0b57cec5SDimitry Andric       getInstrProfSectionName(IPSK_name, TT.getObjectFormat()));
1178*0b57cec5SDimitry Andric   // On COFF, it's important to reduce the alignment down to 1 to prevent the
1179*0b57cec5SDimitry Andric   // linker from inserting padding before the start of the names section or
1180*0b57cec5SDimitry Andric   // between names entries.
11815ffd83dbSDimitry Andric   NamesVar->setAlignment(Align(1));
1182fe6060f1SDimitry Andric   // NamesVar is used by runtime but not referenced via relocation by other
1183fe6060f1SDimitry Andric   // sections. Conservatively make it linker retained.
1184*0b57cec5SDimitry Andric   UsedVars.push_back(NamesVar);
1185*0b57cec5SDimitry Andric 
1186*0b57cec5SDimitry Andric   for (auto *NamePtr : ReferencedNames)
1187*0b57cec5SDimitry Andric     NamePtr->eraseFromParent();
1188*0b57cec5SDimitry Andric }
1189*0b57cec5SDimitry Andric 
1190*0b57cec5SDimitry Andric void InstrProfiling::emitRegistration() {
1191*0b57cec5SDimitry Andric   if (!needsRuntimeRegistrationOfSectionRange(TT))
1192*0b57cec5SDimitry Andric     return;
1193*0b57cec5SDimitry Andric 
1194*0b57cec5SDimitry Andric   // Construct the function.
1195*0b57cec5SDimitry Andric   auto *VoidTy = Type::getVoidTy(M->getContext());
1196*0b57cec5SDimitry Andric   auto *VoidPtrTy = Type::getInt8PtrTy(M->getContext());
1197*0b57cec5SDimitry Andric   auto *Int64Ty = Type::getInt64Ty(M->getContext());
1198*0b57cec5SDimitry Andric   auto *RegisterFTy = FunctionType::get(VoidTy, false);
1199*0b57cec5SDimitry Andric   auto *RegisterF = Function::Create(RegisterFTy, GlobalValue::InternalLinkage,
1200*0b57cec5SDimitry Andric                                      getInstrProfRegFuncsName(), M);
1201*0b57cec5SDimitry Andric   RegisterF->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
1202*0b57cec5SDimitry Andric   if (Options.NoRedZone)
1203*0b57cec5SDimitry Andric     RegisterF->addFnAttr(Attribute::NoRedZone);
1204*0b57cec5SDimitry Andric 
1205*0b57cec5SDimitry Andric   auto *RuntimeRegisterTy = FunctionType::get(VoidTy, VoidPtrTy, false);
1206*0b57cec5SDimitry Andric   auto *RuntimeRegisterF =
1207*0b57cec5SDimitry Andric       Function::Create(RuntimeRegisterTy, GlobalVariable::ExternalLinkage,
1208*0b57cec5SDimitry Andric                        getInstrProfRegFuncName(), M);
1209*0b57cec5SDimitry Andric 
1210*0b57cec5SDimitry Andric   IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", RegisterF));
1211fe6060f1SDimitry Andric   for (Value *Data : CompilerUsedVars)
1212fe6060f1SDimitry Andric     if (!isa<Function>(Data))
1213fe6060f1SDimitry Andric       IRB.CreateCall(RuntimeRegisterF, IRB.CreateBitCast(Data, VoidPtrTy));
1214*0b57cec5SDimitry Andric   for (Value *Data : UsedVars)
1215*0b57cec5SDimitry Andric     if (Data != NamesVar && !isa<Function>(Data))
1216*0b57cec5SDimitry Andric       IRB.CreateCall(RuntimeRegisterF, IRB.CreateBitCast(Data, VoidPtrTy));
1217*0b57cec5SDimitry Andric 
1218*0b57cec5SDimitry Andric   if (NamesVar) {
1219*0b57cec5SDimitry Andric     Type *ParamTypes[] = {VoidPtrTy, Int64Ty};
1220*0b57cec5SDimitry Andric     auto *NamesRegisterTy =
1221*0b57cec5SDimitry Andric         FunctionType::get(VoidTy, makeArrayRef(ParamTypes), false);
1222*0b57cec5SDimitry Andric     auto *NamesRegisterF =
1223*0b57cec5SDimitry Andric         Function::Create(NamesRegisterTy, GlobalVariable::ExternalLinkage,
1224*0b57cec5SDimitry Andric                          getInstrProfNamesRegFuncName(), M);
1225*0b57cec5SDimitry Andric     IRB.CreateCall(NamesRegisterF, {IRB.CreateBitCast(NamesVar, VoidPtrTy),
1226*0b57cec5SDimitry Andric                                     IRB.getInt64(NamesSize)});
1227*0b57cec5SDimitry Andric   }
1228*0b57cec5SDimitry Andric 
1229*0b57cec5SDimitry Andric   IRB.CreateRetVoid();
1230*0b57cec5SDimitry Andric }
1231*0b57cec5SDimitry Andric 
1232*0b57cec5SDimitry Andric bool InstrProfiling::emitRuntimeHook() {
1233349cc55cSDimitry Andric   // We expect the linker to be invoked with -u<hook_var> flag for Linux
1234349cc55cSDimitry Andric   // in which case there is no need to emit the external variable.
1235349cc55cSDimitry Andric   if (TT.isOSLinux())
1236*0b57cec5SDimitry Andric     return false;
1237*0b57cec5SDimitry Andric 
1238*0b57cec5SDimitry Andric   // If the module's provided its own runtime, we don't need to do anything.
1239*0b57cec5SDimitry Andric   if (M->getGlobalVariable(getInstrProfRuntimeHookVarName()))
1240*0b57cec5SDimitry Andric     return false;
1241*0b57cec5SDimitry Andric 
1242*0b57cec5SDimitry Andric   // Declare an external variable that will pull in the runtime initialization.
1243*0b57cec5SDimitry Andric   auto *Int32Ty = Type::getInt32Ty(M->getContext());
1244*0b57cec5SDimitry Andric   auto *Var =
1245*0b57cec5SDimitry Andric       new GlobalVariable(*M, Int32Ty, false, GlobalValue::ExternalLinkage,
1246*0b57cec5SDimitry Andric                          nullptr, getInstrProfRuntimeHookVarName());
1247753f127fSDimitry Andric   Var->setVisibility(GlobalValue::HiddenVisibility);
1248*0b57cec5SDimitry Andric 
124981ad6265SDimitry Andric   if (TT.isOSBinFormatELF() && !TT.isPS()) {
1250349cc55cSDimitry Andric     // Mark the user variable as used so that it isn't stripped out.
1251349cc55cSDimitry Andric     CompilerUsedVars.push_back(Var);
1252349cc55cSDimitry Andric   } else {
1253*0b57cec5SDimitry Andric     // Make a function that uses it.
1254*0b57cec5SDimitry Andric     auto *User = Function::Create(FunctionType::get(Int32Ty, false),
1255*0b57cec5SDimitry Andric                                   GlobalValue::LinkOnceODRLinkage,
1256*0b57cec5SDimitry Andric                                   getInstrProfRuntimeHookVarUseFuncName(), M);
1257*0b57cec5SDimitry Andric     User->addFnAttr(Attribute::NoInline);
1258*0b57cec5SDimitry Andric     if (Options.NoRedZone)
1259*0b57cec5SDimitry Andric       User->addFnAttr(Attribute::NoRedZone);
1260*0b57cec5SDimitry Andric     User->setVisibility(GlobalValue::HiddenVisibility);
1261*0b57cec5SDimitry Andric     if (TT.supportsCOMDAT())
1262*0b57cec5SDimitry Andric       User->setComdat(M->getOrInsertComdat(User->getName()));
1263*0b57cec5SDimitry Andric 
1264*0b57cec5SDimitry Andric     IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", User));
1265*0b57cec5SDimitry Andric     auto *Load = IRB.CreateLoad(Int32Ty, Var);
1266*0b57cec5SDimitry Andric     IRB.CreateRet(Load);
1267*0b57cec5SDimitry Andric 
1268349cc55cSDimitry Andric     // Mark the function as used so that it isn't stripped out.
1269fe6060f1SDimitry Andric     CompilerUsedVars.push_back(User);
1270349cc55cSDimitry Andric   }
1271*0b57cec5SDimitry Andric   return true;
1272*0b57cec5SDimitry Andric }
1273*0b57cec5SDimitry Andric 
1274*0b57cec5SDimitry Andric void InstrProfiling::emitUses() {
1275fe6060f1SDimitry Andric   // The metadata sections are parallel arrays. Optimizers (e.g.
1276fe6060f1SDimitry Andric   // GlobalOpt/ConstantMerge) may not discard associated sections as a unit, so
1277fe6060f1SDimitry Andric   // we conservatively retain all unconditionally in the compiler.
1278fe6060f1SDimitry Andric   //
1279349cc55cSDimitry Andric   // On ELF and Mach-O, the linker can guarantee the associated sections will be
1280349cc55cSDimitry Andric   // retained or discarded as a unit, so llvm.compiler.used is sufficient.
1281349cc55cSDimitry Andric   // Similarly on COFF, if prof data is not referenced by code we use one comdat
1282349cc55cSDimitry Andric   // and ensure this GC property as well. Otherwise, we have to conservatively
1283349cc55cSDimitry Andric   // make all of the sections retained by the linker.
1284349cc55cSDimitry Andric   if (TT.isOSBinFormatELF() || TT.isOSBinFormatMachO() ||
1285fe6060f1SDimitry Andric       (TT.isOSBinFormatCOFF() && !profDataReferencedByCode(*M)))
1286fe6060f1SDimitry Andric     appendToCompilerUsed(*M, CompilerUsedVars);
1287fe6060f1SDimitry Andric   else
1288fe6060f1SDimitry Andric     appendToUsed(*M, CompilerUsedVars);
1289fe6060f1SDimitry Andric 
1290fe6060f1SDimitry Andric   // We do not add proper references from used metadata sections to NamesVar and
1291fe6060f1SDimitry Andric   // VNodesVar, so we have to be conservative and place them in llvm.used
1292fe6060f1SDimitry Andric   // regardless of the target,
1293*0b57cec5SDimitry Andric   appendToUsed(*M, UsedVars);
1294*0b57cec5SDimitry Andric }
1295*0b57cec5SDimitry Andric 
1296*0b57cec5SDimitry Andric void InstrProfiling::emitInitialization() {
1297*0b57cec5SDimitry Andric   // Create ProfileFileName variable. Don't don't this for the
1298*0b57cec5SDimitry Andric   // context-sensitive instrumentation lowering: This lowering is after
1299*0b57cec5SDimitry Andric   // LTO/ThinLTO linking. Pass PGOInstrumentationGenCreateVar should
1300*0b57cec5SDimitry Andric   // have already create the variable before LTO/ThinLTO linking.
1301*0b57cec5SDimitry Andric   if (!IsCS)
1302*0b57cec5SDimitry Andric     createProfileFileNameVar(*M, Options.InstrProfileOutput);
1303*0b57cec5SDimitry Andric   Function *RegisterF = M->getFunction(getInstrProfRegFuncsName());
1304*0b57cec5SDimitry Andric   if (!RegisterF)
1305*0b57cec5SDimitry Andric     return;
1306*0b57cec5SDimitry Andric 
1307*0b57cec5SDimitry Andric   // Create the initialization function.
1308*0b57cec5SDimitry Andric   auto *VoidTy = Type::getVoidTy(M->getContext());
1309*0b57cec5SDimitry Andric   auto *F = Function::Create(FunctionType::get(VoidTy, false),
1310*0b57cec5SDimitry Andric                              GlobalValue::InternalLinkage,
1311*0b57cec5SDimitry Andric                              getInstrProfInitFuncName(), M);
1312*0b57cec5SDimitry Andric   F->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
1313*0b57cec5SDimitry Andric   F->addFnAttr(Attribute::NoInline);
1314*0b57cec5SDimitry Andric   if (Options.NoRedZone)
1315*0b57cec5SDimitry Andric     F->addFnAttr(Attribute::NoRedZone);
1316*0b57cec5SDimitry Andric 
1317*0b57cec5SDimitry Andric   // Add the basic block and the necessary calls.
1318*0b57cec5SDimitry Andric   IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", F));
1319*0b57cec5SDimitry Andric   IRB.CreateCall(RegisterF, {});
1320*0b57cec5SDimitry Andric   IRB.CreateRetVoid();
1321*0b57cec5SDimitry Andric 
1322*0b57cec5SDimitry Andric   appendToGlobalCtors(*M, F, 0);
1323*0b57cec5SDimitry Andric }
1324