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"
29*0b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h"
30*0b57cec5SDimitry Andric #include "llvm/IR/Dominators.h"
31*0b57cec5SDimitry Andric #include "llvm/IR/Function.h"
32*0b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h"
33*0b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
34*0b57cec5SDimitry Andric #include "llvm/IR/IRBuilder.h"
35*0b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
36*0b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
37*0b57cec5SDimitry Andric #include "llvm/IR/IntrinsicInst.h"
38*0b57cec5SDimitry Andric #include "llvm/IR/Module.h"
39*0b57cec5SDimitry Andric #include "llvm/IR/Type.h"
40480093f4SDimitry Andric #include "llvm/InitializePasses.h"
41*0b57cec5SDimitry Andric #include "llvm/Pass.h"
42*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProf.h"
43*0b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
44*0b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
45*0b57cec5SDimitry Andric #include "llvm/Support/Error.h"
46*0b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
47*0b57cec5SDimitry Andric #include "llvm/Transforms/Utils/BasicBlockUtils.h"
48*0b57cec5SDimitry Andric #include "llvm/Transforms/Utils/ModuleUtils.h"
49*0b57cec5SDimitry Andric #include "llvm/Transforms/Utils/SSAUpdater.h"
50*0b57cec5SDimitry Andric #include <algorithm>
51*0b57cec5SDimitry Andric #include <cassert>
52*0b57cec5SDimitry Andric #include <cstddef>
53*0b57cec5SDimitry Andric #include <cstdint>
54*0b57cec5SDimitry Andric #include <string>
55*0b57cec5SDimitry Andric 
56*0b57cec5SDimitry Andric using namespace llvm;
57*0b57cec5SDimitry Andric 
58*0b57cec5SDimitry Andric #define DEBUG_TYPE "instrprof"
59*0b57cec5SDimitry Andric 
60*0b57cec5SDimitry Andric // The start and end values of precise value profile range for memory
61*0b57cec5SDimitry Andric // intrinsic sizes
62*0b57cec5SDimitry Andric cl::opt<std::string> MemOPSizeRange(
63*0b57cec5SDimitry Andric     "memop-size-range",
64*0b57cec5SDimitry Andric     cl::desc("Set the range of size in memory intrinsic calls to be profiled "
65*0b57cec5SDimitry Andric              "precisely, in a format of <start_val>:<end_val>"),
66*0b57cec5SDimitry Andric     cl::init(""));
67*0b57cec5SDimitry Andric 
68*0b57cec5SDimitry Andric // The value that considered to be large value in  memory intrinsic.
69*0b57cec5SDimitry Andric cl::opt<unsigned> MemOPSizeLarge(
70*0b57cec5SDimitry Andric     "memop-size-large",
71*0b57cec5SDimitry Andric     cl::desc("Set large value thresthold in memory intrinsic size profiling. "
72*0b57cec5SDimitry Andric              "Value of 0 disables the large value profiling."),
73*0b57cec5SDimitry Andric     cl::init(8192));
74*0b57cec5SDimitry Andric 
75*0b57cec5SDimitry Andric namespace {
76*0b57cec5SDimitry Andric 
77*0b57cec5SDimitry Andric cl::opt<bool> DoNameCompression("enable-name-compression",
78*0b57cec5SDimitry Andric                                 cl::desc("Enable name string compression"),
79*0b57cec5SDimitry Andric                                 cl::init(true));
80*0b57cec5SDimitry Andric 
81*0b57cec5SDimitry Andric cl::opt<bool> DoHashBasedCounterSplit(
82*0b57cec5SDimitry Andric     "hash-based-counter-split",
83*0b57cec5SDimitry Andric     cl::desc("Rename counter variable of a comdat function based on cfg hash"),
84*0b57cec5SDimitry Andric     cl::init(true));
85*0b57cec5SDimitry Andric 
86*0b57cec5SDimitry Andric cl::opt<bool> ValueProfileStaticAlloc(
87*0b57cec5SDimitry Andric     "vp-static-alloc",
88*0b57cec5SDimitry Andric     cl::desc("Do static counter allocation for value profiler"),
89*0b57cec5SDimitry Andric     cl::init(true));
90*0b57cec5SDimitry Andric 
91*0b57cec5SDimitry Andric cl::opt<double> NumCountersPerValueSite(
92*0b57cec5SDimitry Andric     "vp-counters-per-site",
93*0b57cec5SDimitry Andric     cl::desc("The average number of profile counters allocated "
94*0b57cec5SDimitry Andric              "per value profiling site."),
95*0b57cec5SDimitry Andric     // This is set to a very small value because in real programs, only
96*0b57cec5SDimitry Andric     // a very small percentage of value sites have non-zero targets, e.g, 1/30.
97*0b57cec5SDimitry Andric     // For those sites with non-zero profile, the average number of targets
98*0b57cec5SDimitry Andric     // is usually smaller than 2.
99*0b57cec5SDimitry Andric     cl::init(1.0));
100*0b57cec5SDimitry Andric 
101*0b57cec5SDimitry Andric cl::opt<bool> AtomicCounterUpdateAll(
102*0b57cec5SDimitry Andric     "instrprof-atomic-counter-update-all", cl::ZeroOrMore,
103*0b57cec5SDimitry Andric     cl::desc("Make all profile counter updates atomic (for testing only)"),
104*0b57cec5SDimitry Andric     cl::init(false));
105*0b57cec5SDimitry Andric 
106*0b57cec5SDimitry Andric cl::opt<bool> AtomicCounterUpdatePromoted(
107*0b57cec5SDimitry Andric     "atomic-counter-update-promoted", cl::ZeroOrMore,
108*0b57cec5SDimitry Andric     cl::desc("Do counter update using atomic fetch add "
109*0b57cec5SDimitry Andric              " for promoted counters only"),
110*0b57cec5SDimitry Andric     cl::init(false));
111*0b57cec5SDimitry 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.
117*0b57cec5SDimitry Andric cl::opt<bool> DoCounterPromotion("do-counter-promotion", cl::ZeroOrMore,
118*0b57cec5SDimitry Andric                                  cl::desc("Do counter register promotion"),
119*0b57cec5SDimitry Andric                                  cl::init(false));
120*0b57cec5SDimitry Andric cl::opt<unsigned> MaxNumOfPromotionsPerLoop(
121*0b57cec5SDimitry Andric     cl::ZeroOrMore, "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>
127*0b57cec5SDimitry Andric     MaxNumOfPromotions(cl::ZeroOrMore, "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(
131*0b57cec5SDimitry Andric     cl::ZeroOrMore, "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(
136*0b57cec5SDimitry Andric     cl::ZeroOrMore, "speculative-counter-promotion-to-loop", cl::init(false),
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(
143*0b57cec5SDimitry Andric     cl::ZeroOrMore, "iterative-counter-promotion", cl::init(true),
144*0b57cec5SDimitry Andric     cl::desc("Allow counter promotion across the whole loop nest."));
145*0b57cec5SDimitry Andric 
146*0b57cec5SDimitry Andric class InstrProfilingLegacyPass : public ModulePass {
147*0b57cec5SDimitry Andric   InstrProfiling InstrProf;
148*0b57cec5SDimitry Andric 
149*0b57cec5SDimitry Andric public:
150*0b57cec5SDimitry Andric   static char ID;
151*0b57cec5SDimitry Andric 
152*0b57cec5SDimitry Andric   InstrProfilingLegacyPass() : ModulePass(ID) {}
153*0b57cec5SDimitry Andric   InstrProfilingLegacyPass(const InstrProfOptions &Options, bool IsCS = false)
154*0b57cec5SDimitry Andric       : ModulePass(ID), InstrProf(Options, IsCS) {}
155*0b57cec5SDimitry Andric 
156*0b57cec5SDimitry Andric   StringRef getPassName() const override {
157*0b57cec5SDimitry Andric     return "Frontend instrumentation-based coverage lowering";
158*0b57cec5SDimitry Andric   }
159*0b57cec5SDimitry Andric 
160*0b57cec5SDimitry Andric   bool runOnModule(Module &M) override {
1618bcb0991SDimitry Andric     auto GetTLI = [this](Function &F) -> TargetLibraryInfo & {
1628bcb0991SDimitry Andric       return this->getAnalysis<TargetLibraryInfoWrapperPass>().getTLI(F);
1638bcb0991SDimitry Andric     };
1648bcb0991SDimitry Andric     return InstrProf.run(M, GetTLI);
165*0b57cec5SDimitry Andric   }
166*0b57cec5SDimitry Andric 
167*0b57cec5SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
168*0b57cec5SDimitry Andric     AU.setPreservesCFG();
169*0b57cec5SDimitry Andric     AU.addRequired<TargetLibraryInfoWrapperPass>();
170*0b57cec5SDimitry Andric   }
171*0b57cec5SDimitry Andric };
172*0b57cec5SDimitry Andric 
173*0b57cec5SDimitry Andric ///
174*0b57cec5SDimitry Andric /// A helper class to promote one counter RMW operation in the loop
175*0b57cec5SDimitry Andric /// into register update.
176*0b57cec5SDimitry Andric ///
177*0b57cec5SDimitry Andric /// RWM update for the counter will be sinked out of the loop after
178*0b57cec5SDimitry Andric /// the transformation.
179*0b57cec5SDimitry Andric ///
180*0b57cec5SDimitry Andric class PGOCounterPromoterHelper : public LoadAndStorePromoter {
181*0b57cec5SDimitry Andric public:
182*0b57cec5SDimitry Andric   PGOCounterPromoterHelper(
183*0b57cec5SDimitry Andric       Instruction *L, Instruction *S, SSAUpdater &SSA, Value *Init,
184*0b57cec5SDimitry Andric       BasicBlock *PH, ArrayRef<BasicBlock *> ExitBlocks,
185*0b57cec5SDimitry Andric       ArrayRef<Instruction *> InsertPts,
186*0b57cec5SDimitry Andric       DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
187*0b57cec5SDimitry Andric       LoopInfo &LI)
188*0b57cec5SDimitry Andric       : LoadAndStorePromoter({L, S}, SSA), Store(S), ExitBlocks(ExitBlocks),
189*0b57cec5SDimitry Andric         InsertPts(InsertPts), LoopToCandidates(LoopToCands), LI(LI) {
190*0b57cec5SDimitry Andric     assert(isa<LoadInst>(L));
191*0b57cec5SDimitry Andric     assert(isa<StoreInst>(S));
192*0b57cec5SDimitry Andric     SSA.AddAvailableValue(PH, Init);
193*0b57cec5SDimitry Andric   }
194*0b57cec5SDimitry Andric 
195*0b57cec5SDimitry Andric   void doExtraRewritesBeforeFinalDeletion() override {
196*0b57cec5SDimitry Andric     for (unsigned i = 0, e = ExitBlocks.size(); i != e; ++i) {
197*0b57cec5SDimitry Andric       BasicBlock *ExitBlock = ExitBlocks[i];
198*0b57cec5SDimitry Andric       Instruction *InsertPos = InsertPts[i];
199*0b57cec5SDimitry Andric       // Get LiveIn value into the ExitBlock. If there are multiple
200*0b57cec5SDimitry Andric       // predecessors, the value is defined by a PHI node in this
201*0b57cec5SDimitry Andric       // block.
202*0b57cec5SDimitry Andric       Value *LiveInValue = SSA.GetValueInMiddleOfBlock(ExitBlock);
203*0b57cec5SDimitry Andric       Value *Addr = cast<StoreInst>(Store)->getPointerOperand();
204*0b57cec5SDimitry Andric       Type *Ty = LiveInValue->getType();
205*0b57cec5SDimitry Andric       IRBuilder<> Builder(InsertPos);
206*0b57cec5SDimitry Andric       if (AtomicCounterUpdatePromoted)
207*0b57cec5SDimitry Andric         // automic update currently can only be promoted across the current
208*0b57cec5SDimitry Andric         // loop, not the whole loop nest.
209*0b57cec5SDimitry Andric         Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, LiveInValue,
210*0b57cec5SDimitry Andric                                 AtomicOrdering::SequentiallyConsistent);
211*0b57cec5SDimitry Andric       else {
212*0b57cec5SDimitry Andric         LoadInst *OldVal = Builder.CreateLoad(Ty, Addr, "pgocount.promoted");
213*0b57cec5SDimitry Andric         auto *NewVal = Builder.CreateAdd(OldVal, LiveInValue);
214*0b57cec5SDimitry Andric         auto *NewStore = Builder.CreateStore(NewVal, Addr);
215*0b57cec5SDimitry Andric 
216*0b57cec5SDimitry Andric         // Now update the parent loop's candidate list:
217*0b57cec5SDimitry Andric         if (IterativeCounterPromotion) {
218*0b57cec5SDimitry Andric           auto *TargetLoop = LI.getLoopFor(ExitBlock);
219*0b57cec5SDimitry Andric           if (TargetLoop)
220*0b57cec5SDimitry Andric             LoopToCandidates[TargetLoop].emplace_back(OldVal, NewStore);
221*0b57cec5SDimitry Andric         }
222*0b57cec5SDimitry Andric       }
223*0b57cec5SDimitry Andric     }
224*0b57cec5SDimitry Andric   }
225*0b57cec5SDimitry Andric 
226*0b57cec5SDimitry Andric private:
227*0b57cec5SDimitry Andric   Instruction *Store;
228*0b57cec5SDimitry Andric   ArrayRef<BasicBlock *> ExitBlocks;
229*0b57cec5SDimitry Andric   ArrayRef<Instruction *> InsertPts;
230*0b57cec5SDimitry Andric   DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
231*0b57cec5SDimitry Andric   LoopInfo &LI;
232*0b57cec5SDimitry Andric };
233*0b57cec5SDimitry Andric 
234*0b57cec5SDimitry Andric /// A helper class to do register promotion for all profile counter
235*0b57cec5SDimitry Andric /// updates in a loop.
236*0b57cec5SDimitry Andric ///
237*0b57cec5SDimitry Andric class PGOCounterPromoter {
238*0b57cec5SDimitry Andric public:
239*0b57cec5SDimitry Andric   PGOCounterPromoter(
240*0b57cec5SDimitry Andric       DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCands,
241*0b57cec5SDimitry Andric       Loop &CurLoop, LoopInfo &LI, BlockFrequencyInfo *BFI)
242*0b57cec5SDimitry Andric       : LoopToCandidates(LoopToCands), ExitBlocks(), InsertPts(), L(CurLoop),
243*0b57cec5SDimitry Andric         LI(LI), BFI(BFI) {
244*0b57cec5SDimitry Andric 
245*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> LoopExitBlocks;
246*0b57cec5SDimitry Andric     SmallPtrSet<BasicBlock *, 8> BlockSet;
247*0b57cec5SDimitry Andric     L.getExitBlocks(LoopExitBlocks);
248*0b57cec5SDimitry Andric 
249*0b57cec5SDimitry Andric     for (BasicBlock *ExitBlock : LoopExitBlocks) {
250*0b57cec5SDimitry Andric       if (BlockSet.insert(ExitBlock).second) {
251*0b57cec5SDimitry Andric         ExitBlocks.push_back(ExitBlock);
252*0b57cec5SDimitry Andric         InsertPts.push_back(&*ExitBlock->getFirstInsertionPt());
253*0b57cec5SDimitry Andric       }
254*0b57cec5SDimitry Andric     }
255*0b57cec5SDimitry Andric   }
256*0b57cec5SDimitry Andric 
257*0b57cec5SDimitry Andric   bool run(int64_t *NumPromoted) {
258*0b57cec5SDimitry Andric     // Skip 'infinite' loops:
259*0b57cec5SDimitry Andric     if (ExitBlocks.size() == 0)
260*0b57cec5SDimitry Andric       return false;
261*0b57cec5SDimitry Andric     unsigned MaxProm = getMaxNumOfPromotionsInLoop(&L);
262*0b57cec5SDimitry Andric     if (MaxProm == 0)
263*0b57cec5SDimitry Andric       return false;
264*0b57cec5SDimitry Andric 
265*0b57cec5SDimitry Andric     unsigned Promoted = 0;
266*0b57cec5SDimitry Andric     for (auto &Cand : LoopToCandidates[&L]) {
267*0b57cec5SDimitry Andric 
268*0b57cec5SDimitry Andric       SmallVector<PHINode *, 4> NewPHIs;
269*0b57cec5SDimitry Andric       SSAUpdater SSA(&NewPHIs);
270*0b57cec5SDimitry Andric       Value *InitVal = ConstantInt::get(Cand.first->getType(), 0);
271*0b57cec5SDimitry Andric 
272*0b57cec5SDimitry Andric       // If BFI is set, we will use it to guide the promotions.
273*0b57cec5SDimitry Andric       if (BFI) {
274*0b57cec5SDimitry Andric         auto *BB = Cand.first->getParent();
275*0b57cec5SDimitry Andric         auto InstrCount = BFI->getBlockProfileCount(BB);
276*0b57cec5SDimitry Andric         if (!InstrCount)
277*0b57cec5SDimitry Andric           continue;
278*0b57cec5SDimitry Andric         auto PreheaderCount = BFI->getBlockProfileCount(L.getLoopPreheader());
279*0b57cec5SDimitry Andric         // If the average loop trip count is not greater than 1.5, we skip
280*0b57cec5SDimitry Andric         // promotion.
281*0b57cec5SDimitry Andric         if (PreheaderCount &&
282*0b57cec5SDimitry Andric             (PreheaderCount.getValue() * 3) >= (InstrCount.getValue() * 2))
283*0b57cec5SDimitry Andric           continue;
284*0b57cec5SDimitry Andric       }
285*0b57cec5SDimitry Andric 
286*0b57cec5SDimitry Andric       PGOCounterPromoterHelper Promoter(Cand.first, Cand.second, SSA, InitVal,
287*0b57cec5SDimitry Andric                                         L.getLoopPreheader(), ExitBlocks,
288*0b57cec5SDimitry Andric                                         InsertPts, LoopToCandidates, LI);
289*0b57cec5SDimitry Andric       Promoter.run(SmallVector<Instruction *, 2>({Cand.first, Cand.second}));
290*0b57cec5SDimitry Andric       Promoted++;
291*0b57cec5SDimitry Andric       if (Promoted >= MaxProm)
292*0b57cec5SDimitry Andric         break;
293*0b57cec5SDimitry Andric 
294*0b57cec5SDimitry Andric       (*NumPromoted)++;
295*0b57cec5SDimitry Andric       if (MaxNumOfPromotions != -1 && *NumPromoted >= MaxNumOfPromotions)
296*0b57cec5SDimitry Andric         break;
297*0b57cec5SDimitry Andric     }
298*0b57cec5SDimitry Andric 
299*0b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << Promoted << " counters promoted for loop (depth="
300*0b57cec5SDimitry Andric                       << L.getLoopDepth() << ")\n");
301*0b57cec5SDimitry Andric     return Promoted != 0;
302*0b57cec5SDimitry Andric   }
303*0b57cec5SDimitry Andric 
304*0b57cec5SDimitry Andric private:
305*0b57cec5SDimitry Andric   bool allowSpeculativeCounterPromotion(Loop *LP) {
306*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> ExitingBlocks;
307*0b57cec5SDimitry Andric     L.getExitingBlocks(ExitingBlocks);
308*0b57cec5SDimitry Andric     // Not considierered speculative.
309*0b57cec5SDimitry Andric     if (ExitingBlocks.size() == 1)
310*0b57cec5SDimitry Andric       return true;
311*0b57cec5SDimitry Andric     if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
312*0b57cec5SDimitry Andric       return false;
313*0b57cec5SDimitry Andric     return true;
314*0b57cec5SDimitry Andric   }
315*0b57cec5SDimitry Andric 
316*0b57cec5SDimitry Andric   // Returns the max number of Counter Promotions for LP.
317*0b57cec5SDimitry Andric   unsigned getMaxNumOfPromotionsInLoop(Loop *LP) {
318*0b57cec5SDimitry Andric     // We can't insert into a catchswitch.
319*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> LoopExitBlocks;
320*0b57cec5SDimitry Andric     LP->getExitBlocks(LoopExitBlocks);
321*0b57cec5SDimitry Andric     if (llvm::any_of(LoopExitBlocks, [](BasicBlock *Exit) {
322*0b57cec5SDimitry Andric           return isa<CatchSwitchInst>(Exit->getTerminator());
323*0b57cec5SDimitry Andric         }))
324*0b57cec5SDimitry Andric       return 0;
325*0b57cec5SDimitry Andric 
326*0b57cec5SDimitry Andric     if (!LP->hasDedicatedExits())
327*0b57cec5SDimitry Andric       return 0;
328*0b57cec5SDimitry Andric 
329*0b57cec5SDimitry Andric     BasicBlock *PH = LP->getLoopPreheader();
330*0b57cec5SDimitry Andric     if (!PH)
331*0b57cec5SDimitry Andric       return 0;
332*0b57cec5SDimitry Andric 
333*0b57cec5SDimitry Andric     SmallVector<BasicBlock *, 8> ExitingBlocks;
334*0b57cec5SDimitry Andric     LP->getExitingBlocks(ExitingBlocks);
335*0b57cec5SDimitry Andric 
336*0b57cec5SDimitry Andric     // If BFI is set, we do more aggressive promotions based on BFI.
337*0b57cec5SDimitry Andric     if (BFI)
338*0b57cec5SDimitry Andric       return (unsigned)-1;
339*0b57cec5SDimitry Andric 
340*0b57cec5SDimitry Andric     // Not considierered speculative.
341*0b57cec5SDimitry Andric     if (ExitingBlocks.size() == 1)
342*0b57cec5SDimitry Andric       return MaxNumOfPromotionsPerLoop;
343*0b57cec5SDimitry Andric 
344*0b57cec5SDimitry Andric     if (ExitingBlocks.size() > SpeculativeCounterPromotionMaxExiting)
345*0b57cec5SDimitry Andric       return 0;
346*0b57cec5SDimitry Andric 
347*0b57cec5SDimitry Andric     // Whether the target block is in a loop does not matter:
348*0b57cec5SDimitry Andric     if (SpeculativeCounterPromotionToLoop)
349*0b57cec5SDimitry Andric       return MaxNumOfPromotionsPerLoop;
350*0b57cec5SDimitry Andric 
351*0b57cec5SDimitry Andric     // Now check the target block:
352*0b57cec5SDimitry Andric     unsigned MaxProm = MaxNumOfPromotionsPerLoop;
353*0b57cec5SDimitry Andric     for (auto *TargetBlock : LoopExitBlocks) {
354*0b57cec5SDimitry Andric       auto *TargetLoop = LI.getLoopFor(TargetBlock);
355*0b57cec5SDimitry Andric       if (!TargetLoop)
356*0b57cec5SDimitry Andric         continue;
357*0b57cec5SDimitry Andric       unsigned MaxPromForTarget = getMaxNumOfPromotionsInLoop(TargetLoop);
358*0b57cec5SDimitry Andric       unsigned PendingCandsInTarget = LoopToCandidates[TargetLoop].size();
359*0b57cec5SDimitry Andric       MaxProm =
360*0b57cec5SDimitry Andric           std::min(MaxProm, std::max(MaxPromForTarget, PendingCandsInTarget) -
361*0b57cec5SDimitry Andric                                 PendingCandsInTarget);
362*0b57cec5SDimitry Andric     }
363*0b57cec5SDimitry Andric     return MaxProm;
364*0b57cec5SDimitry Andric   }
365*0b57cec5SDimitry Andric 
366*0b57cec5SDimitry Andric   DenseMap<Loop *, SmallVector<LoadStorePair, 8>> &LoopToCandidates;
367*0b57cec5SDimitry Andric   SmallVector<BasicBlock *, 8> ExitBlocks;
368*0b57cec5SDimitry Andric   SmallVector<Instruction *, 8> InsertPts;
369*0b57cec5SDimitry Andric   Loop &L;
370*0b57cec5SDimitry Andric   LoopInfo &LI;
371*0b57cec5SDimitry Andric   BlockFrequencyInfo *BFI;
372*0b57cec5SDimitry Andric };
373*0b57cec5SDimitry Andric 
374*0b57cec5SDimitry Andric } // end anonymous namespace
375*0b57cec5SDimitry Andric 
376*0b57cec5SDimitry Andric PreservedAnalyses InstrProfiling::run(Module &M, ModuleAnalysisManager &AM) {
3778bcb0991SDimitry Andric   FunctionAnalysisManager &FAM =
3788bcb0991SDimitry Andric       AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
3798bcb0991SDimitry Andric   auto GetTLI = [&FAM](Function &F) -> TargetLibraryInfo & {
3808bcb0991SDimitry Andric     return FAM.getResult<TargetLibraryAnalysis>(F);
3818bcb0991SDimitry Andric   };
3828bcb0991SDimitry Andric   if (!run(M, GetTLI))
383*0b57cec5SDimitry Andric     return PreservedAnalyses::all();
384*0b57cec5SDimitry Andric 
385*0b57cec5SDimitry Andric   return PreservedAnalyses::none();
386*0b57cec5SDimitry Andric }
387*0b57cec5SDimitry Andric 
388*0b57cec5SDimitry Andric char InstrProfilingLegacyPass::ID = 0;
389*0b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(
390*0b57cec5SDimitry Andric     InstrProfilingLegacyPass, "instrprof",
391*0b57cec5SDimitry Andric     "Frontend instrumentation-based coverage lowering.", false, false)
392*0b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
393*0b57cec5SDimitry Andric INITIALIZE_PASS_END(
394*0b57cec5SDimitry Andric     InstrProfilingLegacyPass, "instrprof",
395*0b57cec5SDimitry Andric     "Frontend instrumentation-based coverage lowering.", false, false)
396*0b57cec5SDimitry Andric 
397*0b57cec5SDimitry Andric ModulePass *
398*0b57cec5SDimitry Andric llvm::createInstrProfilingLegacyPass(const InstrProfOptions &Options,
399*0b57cec5SDimitry Andric                                      bool IsCS) {
400*0b57cec5SDimitry Andric   return new InstrProfilingLegacyPass(Options, IsCS);
401*0b57cec5SDimitry Andric }
402*0b57cec5SDimitry Andric 
403*0b57cec5SDimitry Andric static InstrProfIncrementInst *castToIncrementInst(Instruction *Instr) {
404*0b57cec5SDimitry Andric   InstrProfIncrementInst *Inc = dyn_cast<InstrProfIncrementInstStep>(Instr);
405*0b57cec5SDimitry Andric   if (Inc)
406*0b57cec5SDimitry Andric     return Inc;
407*0b57cec5SDimitry Andric   return dyn_cast<InstrProfIncrementInst>(Instr);
408*0b57cec5SDimitry Andric }
409*0b57cec5SDimitry Andric 
410*0b57cec5SDimitry Andric bool InstrProfiling::lowerIntrinsics(Function *F) {
411*0b57cec5SDimitry Andric   bool MadeChange = false;
412*0b57cec5SDimitry Andric   PromotionCandidates.clear();
413*0b57cec5SDimitry Andric   for (BasicBlock &BB : *F) {
414*0b57cec5SDimitry Andric     for (auto I = BB.begin(), E = BB.end(); I != E;) {
415*0b57cec5SDimitry Andric       auto Instr = I++;
416*0b57cec5SDimitry Andric       InstrProfIncrementInst *Inc = castToIncrementInst(&*Instr);
417*0b57cec5SDimitry Andric       if (Inc) {
418*0b57cec5SDimitry Andric         lowerIncrement(Inc);
419*0b57cec5SDimitry Andric         MadeChange = true;
420*0b57cec5SDimitry Andric       } else if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(Instr)) {
421*0b57cec5SDimitry Andric         lowerValueProfileInst(Ind);
422*0b57cec5SDimitry Andric         MadeChange = true;
423*0b57cec5SDimitry Andric       }
424*0b57cec5SDimitry Andric     }
425*0b57cec5SDimitry Andric   }
426*0b57cec5SDimitry Andric 
427*0b57cec5SDimitry Andric   if (!MadeChange)
428*0b57cec5SDimitry Andric     return false;
429*0b57cec5SDimitry Andric 
430*0b57cec5SDimitry Andric   promoteCounterLoadStores(F);
431*0b57cec5SDimitry Andric   return true;
432*0b57cec5SDimitry Andric }
433*0b57cec5SDimitry Andric 
434*0b57cec5SDimitry Andric bool InstrProfiling::isCounterPromotionEnabled() const {
435*0b57cec5SDimitry Andric   if (DoCounterPromotion.getNumOccurrences() > 0)
436*0b57cec5SDimitry Andric     return DoCounterPromotion;
437*0b57cec5SDimitry Andric 
438*0b57cec5SDimitry Andric   return Options.DoCounterPromotion;
439*0b57cec5SDimitry Andric }
440*0b57cec5SDimitry Andric 
441*0b57cec5SDimitry Andric void InstrProfiling::promoteCounterLoadStores(Function *F) {
442*0b57cec5SDimitry Andric   if (!isCounterPromotionEnabled())
443*0b57cec5SDimitry Andric     return;
444*0b57cec5SDimitry Andric 
445*0b57cec5SDimitry Andric   DominatorTree DT(*F);
446*0b57cec5SDimitry Andric   LoopInfo LI(DT);
447*0b57cec5SDimitry Andric   DenseMap<Loop *, SmallVector<LoadStorePair, 8>> LoopPromotionCandidates;
448*0b57cec5SDimitry Andric 
449*0b57cec5SDimitry Andric   std::unique_ptr<BlockFrequencyInfo> BFI;
450*0b57cec5SDimitry Andric   if (Options.UseBFIInPromotion) {
451*0b57cec5SDimitry Andric     std::unique_ptr<BranchProbabilityInfo> BPI;
4528bcb0991SDimitry Andric     BPI.reset(new BranchProbabilityInfo(*F, LI, &GetTLI(*F)));
453*0b57cec5SDimitry Andric     BFI.reset(new BlockFrequencyInfo(*F, *BPI, LI));
454*0b57cec5SDimitry Andric   }
455*0b57cec5SDimitry Andric 
456*0b57cec5SDimitry Andric   for (const auto &LoadStore : PromotionCandidates) {
457*0b57cec5SDimitry Andric     auto *CounterLoad = LoadStore.first;
458*0b57cec5SDimitry Andric     auto *CounterStore = LoadStore.second;
459*0b57cec5SDimitry Andric     BasicBlock *BB = CounterLoad->getParent();
460*0b57cec5SDimitry Andric     Loop *ParentLoop = LI.getLoopFor(BB);
461*0b57cec5SDimitry Andric     if (!ParentLoop)
462*0b57cec5SDimitry Andric       continue;
463*0b57cec5SDimitry Andric     LoopPromotionCandidates[ParentLoop].emplace_back(CounterLoad, CounterStore);
464*0b57cec5SDimitry Andric   }
465*0b57cec5SDimitry Andric 
466*0b57cec5SDimitry Andric   SmallVector<Loop *, 4> Loops = LI.getLoopsInPreorder();
467*0b57cec5SDimitry Andric 
468*0b57cec5SDimitry Andric   // Do a post-order traversal of the loops so that counter updates can be
469*0b57cec5SDimitry Andric   // iteratively hoisted outside the loop nest.
470*0b57cec5SDimitry Andric   for (auto *Loop : llvm::reverse(Loops)) {
471*0b57cec5SDimitry Andric     PGOCounterPromoter Promoter(LoopPromotionCandidates, *Loop, LI, BFI.get());
472*0b57cec5SDimitry Andric     Promoter.run(&TotalCountersPromoted);
473*0b57cec5SDimitry Andric   }
474*0b57cec5SDimitry Andric }
475*0b57cec5SDimitry Andric 
476*0b57cec5SDimitry Andric /// Check if the module contains uses of any profiling intrinsics.
477*0b57cec5SDimitry Andric static bool containsProfilingIntrinsics(Module &M) {
478*0b57cec5SDimitry Andric   if (auto *F = M.getFunction(
479*0b57cec5SDimitry Andric           Intrinsic::getName(llvm::Intrinsic::instrprof_increment)))
480*0b57cec5SDimitry Andric     if (!F->use_empty())
481*0b57cec5SDimitry Andric       return true;
482*0b57cec5SDimitry Andric   if (auto *F = M.getFunction(
483*0b57cec5SDimitry Andric           Intrinsic::getName(llvm::Intrinsic::instrprof_increment_step)))
484*0b57cec5SDimitry Andric     if (!F->use_empty())
485*0b57cec5SDimitry Andric       return true;
486*0b57cec5SDimitry Andric   if (auto *F = M.getFunction(
487*0b57cec5SDimitry Andric           Intrinsic::getName(llvm::Intrinsic::instrprof_value_profile)))
488*0b57cec5SDimitry Andric     if (!F->use_empty())
489*0b57cec5SDimitry Andric       return true;
490*0b57cec5SDimitry Andric   return false;
491*0b57cec5SDimitry Andric }
492*0b57cec5SDimitry Andric 
4938bcb0991SDimitry Andric bool InstrProfiling::run(
4948bcb0991SDimitry Andric     Module &M, std::function<const TargetLibraryInfo &(Function &F)> GetTLI) {
495*0b57cec5SDimitry Andric   this->M = &M;
4968bcb0991SDimitry Andric   this->GetTLI = std::move(GetTLI);
497*0b57cec5SDimitry Andric   NamesVar = nullptr;
498*0b57cec5SDimitry Andric   NamesSize = 0;
499*0b57cec5SDimitry Andric   ProfileDataMap.clear();
500*0b57cec5SDimitry Andric   UsedVars.clear();
501*0b57cec5SDimitry Andric   getMemOPSizeRangeFromOption(MemOPSizeRange, MemOPSizeRangeStart,
502*0b57cec5SDimitry Andric                               MemOPSizeRangeLast);
503*0b57cec5SDimitry Andric   TT = Triple(M.getTargetTriple());
504*0b57cec5SDimitry Andric 
505*0b57cec5SDimitry Andric   // Emit the runtime hook even if no counters are present.
506*0b57cec5SDimitry Andric   bool MadeChange = emitRuntimeHook();
507*0b57cec5SDimitry Andric 
508*0b57cec5SDimitry Andric   // Improve compile time by avoiding linear scans when there is no work.
509*0b57cec5SDimitry Andric   GlobalVariable *CoverageNamesVar =
510*0b57cec5SDimitry Andric       M.getNamedGlobal(getCoverageUnusedNamesVarName());
511*0b57cec5SDimitry Andric   if (!containsProfilingIntrinsics(M) && !CoverageNamesVar)
512*0b57cec5SDimitry Andric     return MadeChange;
513*0b57cec5SDimitry Andric 
514*0b57cec5SDimitry Andric   // We did not know how many value sites there would be inside
515*0b57cec5SDimitry Andric   // the instrumented function. This is counting the number of instrumented
516*0b57cec5SDimitry Andric   // target value sites to enter it as field in the profile data variable.
517*0b57cec5SDimitry Andric   for (Function &F : M) {
518*0b57cec5SDimitry Andric     InstrProfIncrementInst *FirstProfIncInst = nullptr;
519*0b57cec5SDimitry Andric     for (BasicBlock &BB : F)
520*0b57cec5SDimitry Andric       for (auto I = BB.begin(), E = BB.end(); I != E; I++)
521*0b57cec5SDimitry Andric         if (auto *Ind = dyn_cast<InstrProfValueProfileInst>(I))
522*0b57cec5SDimitry Andric           computeNumValueSiteCounts(Ind);
523*0b57cec5SDimitry Andric         else if (FirstProfIncInst == nullptr)
524*0b57cec5SDimitry Andric           FirstProfIncInst = dyn_cast<InstrProfIncrementInst>(I);
525*0b57cec5SDimitry Andric 
526*0b57cec5SDimitry Andric     // Value profiling intrinsic lowering requires per-function profile data
527*0b57cec5SDimitry Andric     // variable to be created first.
528*0b57cec5SDimitry Andric     if (FirstProfIncInst != nullptr)
529*0b57cec5SDimitry Andric       static_cast<void>(getOrCreateRegionCounters(FirstProfIncInst));
530*0b57cec5SDimitry Andric   }
531*0b57cec5SDimitry Andric 
532*0b57cec5SDimitry Andric   for (Function &F : M)
533*0b57cec5SDimitry Andric     MadeChange |= lowerIntrinsics(&F);
534*0b57cec5SDimitry Andric 
535*0b57cec5SDimitry Andric   if (CoverageNamesVar) {
536*0b57cec5SDimitry Andric     lowerCoverageData(CoverageNamesVar);
537*0b57cec5SDimitry Andric     MadeChange = true;
538*0b57cec5SDimitry Andric   }
539*0b57cec5SDimitry Andric 
540*0b57cec5SDimitry Andric   if (!MadeChange)
541*0b57cec5SDimitry Andric     return false;
542*0b57cec5SDimitry Andric 
543*0b57cec5SDimitry Andric   emitVNodes();
544*0b57cec5SDimitry Andric   emitNameData();
545*0b57cec5SDimitry Andric   emitRegistration();
546*0b57cec5SDimitry Andric   emitUses();
547*0b57cec5SDimitry Andric   emitInitialization();
548*0b57cec5SDimitry Andric   return true;
549*0b57cec5SDimitry Andric }
550*0b57cec5SDimitry Andric 
551*0b57cec5SDimitry Andric static FunctionCallee
552*0b57cec5SDimitry Andric getOrInsertValueProfilingCall(Module &M, const TargetLibraryInfo &TLI,
553*0b57cec5SDimitry Andric                               bool IsRange = false) {
554*0b57cec5SDimitry Andric   LLVMContext &Ctx = M.getContext();
555*0b57cec5SDimitry Andric   auto *ReturnTy = Type::getVoidTy(M.getContext());
556*0b57cec5SDimitry Andric 
557*0b57cec5SDimitry Andric   AttributeList AL;
558*0b57cec5SDimitry Andric   if (auto AK = TLI.getExtAttrForI32Param(false))
559*0b57cec5SDimitry Andric     AL = AL.addParamAttribute(M.getContext(), 2, AK);
560*0b57cec5SDimitry Andric 
561*0b57cec5SDimitry Andric   if (!IsRange) {
562*0b57cec5SDimitry Andric     Type *ParamTypes[] = {
563*0b57cec5SDimitry Andric #define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
564*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
565*0b57cec5SDimitry Andric     };
566*0b57cec5SDimitry Andric     auto *ValueProfilingCallTy =
567*0b57cec5SDimitry Andric         FunctionType::get(ReturnTy, makeArrayRef(ParamTypes), false);
568*0b57cec5SDimitry Andric     return M.getOrInsertFunction(getInstrProfValueProfFuncName(),
569*0b57cec5SDimitry Andric                                  ValueProfilingCallTy, AL);
570*0b57cec5SDimitry Andric   } else {
571*0b57cec5SDimitry Andric     Type *RangeParamTypes[] = {
572*0b57cec5SDimitry Andric #define VALUE_RANGE_PROF 1
573*0b57cec5SDimitry Andric #define VALUE_PROF_FUNC_PARAM(ParamType, ParamName, ParamLLVMType) ParamLLVMType
574*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
575*0b57cec5SDimitry Andric #undef VALUE_RANGE_PROF
576*0b57cec5SDimitry Andric     };
577*0b57cec5SDimitry Andric     auto *ValueRangeProfilingCallTy =
578*0b57cec5SDimitry Andric         FunctionType::get(ReturnTy, makeArrayRef(RangeParamTypes), false);
579*0b57cec5SDimitry Andric     return M.getOrInsertFunction(getInstrProfValueRangeProfFuncName(),
580*0b57cec5SDimitry Andric                                  ValueRangeProfilingCallTy, AL);
581*0b57cec5SDimitry Andric   }
582*0b57cec5SDimitry Andric }
583*0b57cec5SDimitry Andric 
584*0b57cec5SDimitry Andric void InstrProfiling::computeNumValueSiteCounts(InstrProfValueProfileInst *Ind) {
585*0b57cec5SDimitry Andric   GlobalVariable *Name = Ind->getName();
586*0b57cec5SDimitry Andric   uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
587*0b57cec5SDimitry Andric   uint64_t Index = Ind->getIndex()->getZExtValue();
588*0b57cec5SDimitry Andric   auto It = ProfileDataMap.find(Name);
589*0b57cec5SDimitry Andric   if (It == ProfileDataMap.end()) {
590*0b57cec5SDimitry Andric     PerFunctionProfileData PD;
591*0b57cec5SDimitry Andric     PD.NumValueSites[ValueKind] = Index + 1;
592*0b57cec5SDimitry Andric     ProfileDataMap[Name] = PD;
593*0b57cec5SDimitry Andric   } else if (It->second.NumValueSites[ValueKind] <= Index)
594*0b57cec5SDimitry Andric     It->second.NumValueSites[ValueKind] = Index + 1;
595*0b57cec5SDimitry Andric }
596*0b57cec5SDimitry Andric 
597*0b57cec5SDimitry Andric void InstrProfiling::lowerValueProfileInst(InstrProfValueProfileInst *Ind) {
598*0b57cec5SDimitry Andric   GlobalVariable *Name = Ind->getName();
599*0b57cec5SDimitry Andric   auto It = ProfileDataMap.find(Name);
600*0b57cec5SDimitry Andric   assert(It != ProfileDataMap.end() && It->second.DataVar &&
601*0b57cec5SDimitry Andric          "value profiling detected in function with no counter incerement");
602*0b57cec5SDimitry Andric 
603*0b57cec5SDimitry Andric   GlobalVariable *DataVar = It->second.DataVar;
604*0b57cec5SDimitry Andric   uint64_t ValueKind = Ind->getValueKind()->getZExtValue();
605*0b57cec5SDimitry Andric   uint64_t Index = Ind->getIndex()->getZExtValue();
606*0b57cec5SDimitry Andric   for (uint32_t Kind = IPVK_First; Kind < ValueKind; ++Kind)
607*0b57cec5SDimitry Andric     Index += It->second.NumValueSites[Kind];
608*0b57cec5SDimitry Andric 
609*0b57cec5SDimitry Andric   IRBuilder<> Builder(Ind);
610*0b57cec5SDimitry Andric   bool IsRange = (Ind->getValueKind()->getZExtValue() ==
611*0b57cec5SDimitry Andric                   llvm::InstrProfValueKind::IPVK_MemOPSize);
612*0b57cec5SDimitry Andric   CallInst *Call = nullptr;
6138bcb0991SDimitry Andric   auto *TLI = &GetTLI(*Ind->getFunction());
614*0b57cec5SDimitry Andric   if (!IsRange) {
615*0b57cec5SDimitry Andric     Value *Args[3] = {Ind->getTargetValue(),
616*0b57cec5SDimitry Andric                       Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
617*0b57cec5SDimitry Andric                       Builder.getInt32(Index)};
618*0b57cec5SDimitry Andric     Call = Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI), Args);
619*0b57cec5SDimitry Andric   } else {
620*0b57cec5SDimitry Andric     Value *Args[6] = {
621*0b57cec5SDimitry Andric         Ind->getTargetValue(),
622*0b57cec5SDimitry Andric         Builder.CreateBitCast(DataVar, Builder.getInt8PtrTy()),
623*0b57cec5SDimitry Andric         Builder.getInt32(Index),
624*0b57cec5SDimitry Andric         Builder.getInt64(MemOPSizeRangeStart),
625*0b57cec5SDimitry Andric         Builder.getInt64(MemOPSizeRangeLast),
626*0b57cec5SDimitry Andric         Builder.getInt64(MemOPSizeLarge == 0 ? INT64_MIN : MemOPSizeLarge)};
627*0b57cec5SDimitry Andric     Call =
628*0b57cec5SDimitry Andric         Builder.CreateCall(getOrInsertValueProfilingCall(*M, *TLI, true), Args);
629*0b57cec5SDimitry Andric   }
630*0b57cec5SDimitry Andric   if (auto AK = TLI->getExtAttrForI32Param(false))
631*0b57cec5SDimitry Andric     Call->addParamAttr(2, AK);
632*0b57cec5SDimitry Andric   Ind->replaceAllUsesWith(Call);
633*0b57cec5SDimitry Andric   Ind->eraseFromParent();
634*0b57cec5SDimitry Andric }
635*0b57cec5SDimitry Andric 
636*0b57cec5SDimitry Andric void InstrProfiling::lowerIncrement(InstrProfIncrementInst *Inc) {
637*0b57cec5SDimitry Andric   GlobalVariable *Counters = getOrCreateRegionCounters(Inc);
638*0b57cec5SDimitry Andric 
639*0b57cec5SDimitry Andric   IRBuilder<> Builder(Inc);
640*0b57cec5SDimitry Andric   uint64_t Index = Inc->getIndex()->getZExtValue();
641*0b57cec5SDimitry Andric   Value *Addr = Builder.CreateConstInBoundsGEP2_64(Counters->getValueType(),
642*0b57cec5SDimitry Andric                                                    Counters, 0, Index);
643*0b57cec5SDimitry Andric 
644*0b57cec5SDimitry Andric   if (Options.Atomic || AtomicCounterUpdateAll) {
645*0b57cec5SDimitry Andric     Builder.CreateAtomicRMW(AtomicRMWInst::Add, Addr, Inc->getStep(),
646*0b57cec5SDimitry Andric                             AtomicOrdering::Monotonic);
647*0b57cec5SDimitry Andric   } else {
648*0b57cec5SDimitry Andric     Value *IncStep = Inc->getStep();
649*0b57cec5SDimitry Andric     Value *Load = Builder.CreateLoad(IncStep->getType(), Addr, "pgocount");
650*0b57cec5SDimitry Andric     auto *Count = Builder.CreateAdd(Load, Inc->getStep());
651*0b57cec5SDimitry Andric     auto *Store = Builder.CreateStore(Count, Addr);
652*0b57cec5SDimitry Andric     if (isCounterPromotionEnabled())
653*0b57cec5SDimitry Andric       PromotionCandidates.emplace_back(cast<Instruction>(Load), Store);
654*0b57cec5SDimitry Andric   }
655*0b57cec5SDimitry Andric   Inc->eraseFromParent();
656*0b57cec5SDimitry Andric }
657*0b57cec5SDimitry Andric 
658*0b57cec5SDimitry Andric void InstrProfiling::lowerCoverageData(GlobalVariable *CoverageNamesVar) {
659*0b57cec5SDimitry Andric   ConstantArray *Names =
660*0b57cec5SDimitry Andric       cast<ConstantArray>(CoverageNamesVar->getInitializer());
661*0b57cec5SDimitry Andric   for (unsigned I = 0, E = Names->getNumOperands(); I < E; ++I) {
662*0b57cec5SDimitry Andric     Constant *NC = Names->getOperand(I);
663*0b57cec5SDimitry Andric     Value *V = NC->stripPointerCasts();
664*0b57cec5SDimitry Andric     assert(isa<GlobalVariable>(V) && "Missing reference to function name");
665*0b57cec5SDimitry Andric     GlobalVariable *Name = cast<GlobalVariable>(V);
666*0b57cec5SDimitry Andric 
667*0b57cec5SDimitry Andric     Name->setLinkage(GlobalValue::PrivateLinkage);
668*0b57cec5SDimitry Andric     ReferencedNames.push_back(Name);
669*0b57cec5SDimitry Andric     NC->dropAllReferences();
670*0b57cec5SDimitry Andric   }
671*0b57cec5SDimitry Andric   CoverageNamesVar->eraseFromParent();
672*0b57cec5SDimitry Andric }
673*0b57cec5SDimitry Andric 
674*0b57cec5SDimitry Andric /// Get the name of a profiling variable for a particular function.
675*0b57cec5SDimitry Andric static std::string getVarName(InstrProfIncrementInst *Inc, StringRef Prefix) {
676*0b57cec5SDimitry Andric   StringRef NamePrefix = getInstrProfNameVarPrefix();
677*0b57cec5SDimitry Andric   StringRef Name = Inc->getName()->getName().substr(NamePrefix.size());
678*0b57cec5SDimitry Andric   Function *F = Inc->getParent()->getParent();
679*0b57cec5SDimitry Andric   Module *M = F->getParent();
680*0b57cec5SDimitry Andric   if (!DoHashBasedCounterSplit || !isIRPGOFlagSet(M) ||
681*0b57cec5SDimitry Andric       !canRenameComdatFunc(*F))
682*0b57cec5SDimitry Andric     return (Prefix + Name).str();
683*0b57cec5SDimitry Andric   uint64_t FuncHash = Inc->getHash()->getZExtValue();
684*0b57cec5SDimitry Andric   SmallVector<char, 24> HashPostfix;
685*0b57cec5SDimitry Andric   if (Name.endswith((Twine(".") + Twine(FuncHash)).toStringRef(HashPostfix)))
686*0b57cec5SDimitry Andric     return (Prefix + Name).str();
687*0b57cec5SDimitry Andric   return (Prefix + Name + "." + Twine(FuncHash)).str();
688*0b57cec5SDimitry Andric }
689*0b57cec5SDimitry Andric 
690*0b57cec5SDimitry Andric static inline bool shouldRecordFunctionAddr(Function *F) {
691*0b57cec5SDimitry Andric   // Check the linkage
692*0b57cec5SDimitry Andric   bool HasAvailableExternallyLinkage = F->hasAvailableExternallyLinkage();
693*0b57cec5SDimitry Andric   if (!F->hasLinkOnceLinkage() && !F->hasLocalLinkage() &&
694*0b57cec5SDimitry Andric       !HasAvailableExternallyLinkage)
695*0b57cec5SDimitry Andric     return true;
696*0b57cec5SDimitry Andric 
697*0b57cec5SDimitry Andric   // A function marked 'alwaysinline' with available_externally linkage can't
698*0b57cec5SDimitry Andric   // have its address taken. Doing so would create an undefined external ref to
699*0b57cec5SDimitry Andric   // the function, which would fail to link.
700*0b57cec5SDimitry Andric   if (HasAvailableExternallyLinkage &&
701*0b57cec5SDimitry Andric       F->hasFnAttribute(Attribute::AlwaysInline))
702*0b57cec5SDimitry Andric     return false;
703*0b57cec5SDimitry Andric 
704*0b57cec5SDimitry Andric   // Prohibit function address recording if the function is both internal and
705*0b57cec5SDimitry Andric   // COMDAT. This avoids the profile data variable referencing internal symbols
706*0b57cec5SDimitry Andric   // in COMDAT.
707*0b57cec5SDimitry Andric   if (F->hasLocalLinkage() && F->hasComdat())
708*0b57cec5SDimitry Andric     return false;
709*0b57cec5SDimitry Andric 
710*0b57cec5SDimitry Andric   // Check uses of this function for other than direct calls or invokes to it.
711*0b57cec5SDimitry Andric   // Inline virtual functions have linkeOnceODR linkage. When a key method
712*0b57cec5SDimitry Andric   // exists, the vtable will only be emitted in the TU where the key method
713*0b57cec5SDimitry Andric   // is defined. In a TU where vtable is not available, the function won't
714*0b57cec5SDimitry Andric   // be 'addresstaken'. If its address is not recorded here, the profile data
715*0b57cec5SDimitry Andric   // with missing address may be picked by the linker leading  to missing
716*0b57cec5SDimitry Andric   // indirect call target info.
717*0b57cec5SDimitry Andric   return F->hasAddressTaken() || F->hasLinkOnceLinkage();
718*0b57cec5SDimitry Andric }
719*0b57cec5SDimitry Andric 
720*0b57cec5SDimitry Andric static bool needsRuntimeRegistrationOfSectionRange(const Triple &TT) {
721*0b57cec5SDimitry Andric   // Don't do this for Darwin.  compiler-rt uses linker magic.
722*0b57cec5SDimitry Andric   if (TT.isOSDarwin())
723*0b57cec5SDimitry Andric     return false;
724*0b57cec5SDimitry Andric   // Use linker script magic to get data/cnts/name start/end.
725*0b57cec5SDimitry Andric   if (TT.isOSLinux() || TT.isOSFreeBSD() || TT.isOSNetBSD() ||
726*0b57cec5SDimitry Andric       TT.isOSSolaris() || TT.isOSFuchsia() || TT.isPS4CPU() ||
727*0b57cec5SDimitry Andric       TT.isOSWindows())
728*0b57cec5SDimitry Andric     return false;
729*0b57cec5SDimitry Andric 
730*0b57cec5SDimitry Andric   return true;
731*0b57cec5SDimitry Andric }
732*0b57cec5SDimitry Andric 
733*0b57cec5SDimitry Andric GlobalVariable *
734*0b57cec5SDimitry Andric InstrProfiling::getOrCreateRegionCounters(InstrProfIncrementInst *Inc) {
735*0b57cec5SDimitry Andric   GlobalVariable *NamePtr = Inc->getName();
736*0b57cec5SDimitry Andric   auto It = ProfileDataMap.find(NamePtr);
737*0b57cec5SDimitry Andric   PerFunctionProfileData PD;
738*0b57cec5SDimitry Andric   if (It != ProfileDataMap.end()) {
739*0b57cec5SDimitry Andric     if (It->second.RegionCounters)
740*0b57cec5SDimitry Andric       return It->second.RegionCounters;
741*0b57cec5SDimitry Andric     PD = It->second;
742*0b57cec5SDimitry Andric   }
743*0b57cec5SDimitry Andric 
744c14a5a88SDimitry Andric   // Match the linkage and visibility of the name global. COFF supports using
745c14a5a88SDimitry Andric   // comdats with internal symbols, so do that if we can.
746*0b57cec5SDimitry Andric   Function *Fn = Inc->getParent()->getParent();
747*0b57cec5SDimitry Andric   GlobalValue::LinkageTypes Linkage = NamePtr->getLinkage();
748*0b57cec5SDimitry Andric   GlobalValue::VisibilityTypes Visibility = NamePtr->getVisibility();
749*0b57cec5SDimitry Andric   if (TT.isOSBinFormatCOFF()) {
750*0b57cec5SDimitry Andric     Linkage = GlobalValue::InternalLinkage;
751*0b57cec5SDimitry Andric     Visibility = GlobalValue::DefaultVisibility;
752*0b57cec5SDimitry Andric   }
753*0b57cec5SDimitry Andric 
754*0b57cec5SDimitry Andric   // Move the name variable to the right section. Place them in a COMDAT group
755*0b57cec5SDimitry Andric   // if the associated function is a COMDAT. This will make sure that only one
756*0b57cec5SDimitry Andric   // copy of counters of the COMDAT function will be emitted after linking. Keep
757*0b57cec5SDimitry Andric   // in mind that this pass may run before the inliner, so we need to create a
758*0b57cec5SDimitry Andric   // new comdat group for the counters and profiling data. If we use the comdat
759*0b57cec5SDimitry Andric   // of the parent function, that will result in relocations against discarded
760*0b57cec5SDimitry Andric   // sections.
761c14a5a88SDimitry Andric   bool NeedComdat = needsComdatForCounter(*Fn, *M);
762c14a5a88SDimitry Andric   if (NeedComdat) {
763*0b57cec5SDimitry Andric     if (TT.isOSBinFormatCOFF()) {
764c14a5a88SDimitry Andric       // For COFF, put the counters, data, and values each into their own
765c14a5a88SDimitry Andric       // comdats. We can't use a group because the Visual C++ linker will
766c14a5a88SDimitry Andric       // report duplicate symbol errors if there are multiple external symbols
767c14a5a88SDimitry Andric       // with the same name marked IMAGE_COMDAT_SELECT_ASSOCIATIVE.
768c14a5a88SDimitry Andric       Linkage = GlobalValue::LinkOnceODRLinkage;
769c14a5a88SDimitry Andric       Visibility = GlobalValue::HiddenVisibility;
770*0b57cec5SDimitry Andric     }
771*0b57cec5SDimitry Andric   }
772c14a5a88SDimitry Andric   auto MaybeSetComdat = [=](GlobalVariable *GV) {
773c14a5a88SDimitry Andric     if (NeedComdat)
7748bcb0991SDimitry Andric       GV->setComdat(M->getOrInsertComdat(GV->getName()));
775c14a5a88SDimitry Andric   };
776*0b57cec5SDimitry Andric 
777*0b57cec5SDimitry Andric   uint64_t NumCounters = Inc->getNumCounters()->getZExtValue();
778*0b57cec5SDimitry Andric   LLVMContext &Ctx = M->getContext();
779*0b57cec5SDimitry Andric   ArrayType *CounterTy = ArrayType::get(Type::getInt64Ty(Ctx), NumCounters);
780*0b57cec5SDimitry Andric 
781*0b57cec5SDimitry Andric   // Create the counters variable.
782*0b57cec5SDimitry Andric   auto *CounterPtr =
783*0b57cec5SDimitry Andric       new GlobalVariable(*M, CounterTy, false, Linkage,
784*0b57cec5SDimitry Andric                          Constant::getNullValue(CounterTy),
785*0b57cec5SDimitry Andric                          getVarName(Inc, getInstrProfCountersVarPrefix()));
786*0b57cec5SDimitry Andric   CounterPtr->setVisibility(Visibility);
787*0b57cec5SDimitry Andric   CounterPtr->setSection(
788*0b57cec5SDimitry Andric       getInstrProfSectionName(IPSK_cnts, TT.getObjectFormat()));
7898bcb0991SDimitry Andric   CounterPtr->setAlignment(Align(8));
790c14a5a88SDimitry Andric   MaybeSetComdat(CounterPtr);
791c14a5a88SDimitry Andric   CounterPtr->setLinkage(Linkage);
792*0b57cec5SDimitry Andric 
793*0b57cec5SDimitry Andric   auto *Int8PtrTy = Type::getInt8PtrTy(Ctx);
794*0b57cec5SDimitry Andric   // Allocate statically the array of pointers to value profile nodes for
795*0b57cec5SDimitry Andric   // the current function.
796*0b57cec5SDimitry Andric   Constant *ValuesPtrExpr = ConstantPointerNull::get(Int8PtrTy);
797*0b57cec5SDimitry Andric   if (ValueProfileStaticAlloc && !needsRuntimeRegistrationOfSectionRange(TT)) {
798*0b57cec5SDimitry Andric     uint64_t NS = 0;
799*0b57cec5SDimitry Andric     for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
800*0b57cec5SDimitry Andric       NS += PD.NumValueSites[Kind];
801*0b57cec5SDimitry Andric     if (NS) {
802*0b57cec5SDimitry Andric       ArrayType *ValuesTy = ArrayType::get(Type::getInt64Ty(Ctx), NS);
803*0b57cec5SDimitry Andric 
804*0b57cec5SDimitry Andric       auto *ValuesVar =
805*0b57cec5SDimitry Andric           new GlobalVariable(*M, ValuesTy, false, Linkage,
806*0b57cec5SDimitry Andric                              Constant::getNullValue(ValuesTy),
807*0b57cec5SDimitry Andric                              getVarName(Inc, getInstrProfValuesVarPrefix()));
808*0b57cec5SDimitry Andric       ValuesVar->setVisibility(Visibility);
809*0b57cec5SDimitry Andric       ValuesVar->setSection(
810*0b57cec5SDimitry Andric           getInstrProfSectionName(IPSK_vals, TT.getObjectFormat()));
8118bcb0991SDimitry Andric       ValuesVar->setAlignment(Align(8));
812c14a5a88SDimitry Andric       MaybeSetComdat(ValuesVar);
813*0b57cec5SDimitry Andric       ValuesPtrExpr =
814*0b57cec5SDimitry Andric           ConstantExpr::getBitCast(ValuesVar, Type::getInt8PtrTy(Ctx));
815*0b57cec5SDimitry Andric     }
816*0b57cec5SDimitry Andric   }
817*0b57cec5SDimitry Andric 
818*0b57cec5SDimitry Andric   // Create data variable.
819*0b57cec5SDimitry Andric   auto *Int16Ty = Type::getInt16Ty(Ctx);
820*0b57cec5SDimitry Andric   auto *Int16ArrayTy = ArrayType::get(Int16Ty, IPVK_Last + 1);
821*0b57cec5SDimitry Andric   Type *DataTypes[] = {
822*0b57cec5SDimitry Andric #define INSTR_PROF_DATA(Type, LLVMType, Name, Init) LLVMType,
823*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
824*0b57cec5SDimitry Andric   };
825*0b57cec5SDimitry Andric   auto *DataTy = StructType::get(Ctx, makeArrayRef(DataTypes));
826*0b57cec5SDimitry Andric 
827*0b57cec5SDimitry Andric   Constant *FunctionAddr = shouldRecordFunctionAddr(Fn)
828*0b57cec5SDimitry Andric                                ? ConstantExpr::getBitCast(Fn, Int8PtrTy)
829*0b57cec5SDimitry Andric                                : ConstantPointerNull::get(Int8PtrTy);
830*0b57cec5SDimitry Andric 
831*0b57cec5SDimitry Andric   Constant *Int16ArrayVals[IPVK_Last + 1];
832*0b57cec5SDimitry Andric   for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
833*0b57cec5SDimitry Andric     Int16ArrayVals[Kind] = ConstantInt::get(Int16Ty, PD.NumValueSites[Kind]);
834*0b57cec5SDimitry Andric 
835*0b57cec5SDimitry Andric   Constant *DataVals[] = {
836*0b57cec5SDimitry Andric #define INSTR_PROF_DATA(Type, LLVMType, Name, Init) Init,
837*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
838*0b57cec5SDimitry Andric   };
839*0b57cec5SDimitry Andric   auto *Data = new GlobalVariable(*M, DataTy, false, Linkage,
840*0b57cec5SDimitry Andric                                   ConstantStruct::get(DataTy, DataVals),
841*0b57cec5SDimitry Andric                                   getVarName(Inc, getInstrProfDataVarPrefix()));
842*0b57cec5SDimitry Andric   Data->setVisibility(Visibility);
843*0b57cec5SDimitry Andric   Data->setSection(getInstrProfSectionName(IPSK_data, TT.getObjectFormat()));
8448bcb0991SDimitry Andric   Data->setAlignment(Align(INSTR_PROF_DATA_ALIGNMENT));
845c14a5a88SDimitry Andric   MaybeSetComdat(Data);
846c14a5a88SDimitry Andric   Data->setLinkage(Linkage);
847*0b57cec5SDimitry Andric 
848*0b57cec5SDimitry Andric   PD.RegionCounters = CounterPtr;
849*0b57cec5SDimitry Andric   PD.DataVar = Data;
850*0b57cec5SDimitry Andric   ProfileDataMap[NamePtr] = PD;
851*0b57cec5SDimitry Andric 
852*0b57cec5SDimitry Andric   // Mark the data variable as used so that it isn't stripped out.
853*0b57cec5SDimitry Andric   UsedVars.push_back(Data);
854*0b57cec5SDimitry Andric   // Now that the linkage set by the FE has been passed to the data and counter
855*0b57cec5SDimitry Andric   // variables, reset Name variable's linkage and visibility to private so that
856*0b57cec5SDimitry Andric   // it can be removed later by the compiler.
857*0b57cec5SDimitry Andric   NamePtr->setLinkage(GlobalValue::PrivateLinkage);
858*0b57cec5SDimitry Andric   // Collect the referenced names to be used by emitNameData.
859*0b57cec5SDimitry Andric   ReferencedNames.push_back(NamePtr);
860*0b57cec5SDimitry Andric 
861*0b57cec5SDimitry Andric   return CounterPtr;
862*0b57cec5SDimitry Andric }
863*0b57cec5SDimitry Andric 
864*0b57cec5SDimitry Andric void InstrProfiling::emitVNodes() {
865*0b57cec5SDimitry Andric   if (!ValueProfileStaticAlloc)
866*0b57cec5SDimitry Andric     return;
867*0b57cec5SDimitry Andric 
868*0b57cec5SDimitry Andric   // For now only support this on platforms that do
869*0b57cec5SDimitry Andric   // not require runtime registration to discover
870*0b57cec5SDimitry Andric   // named section start/end.
871*0b57cec5SDimitry Andric   if (needsRuntimeRegistrationOfSectionRange(TT))
872*0b57cec5SDimitry Andric     return;
873*0b57cec5SDimitry Andric 
874*0b57cec5SDimitry Andric   size_t TotalNS = 0;
875*0b57cec5SDimitry Andric   for (auto &PD : ProfileDataMap) {
876*0b57cec5SDimitry Andric     for (uint32_t Kind = IPVK_First; Kind <= IPVK_Last; ++Kind)
877*0b57cec5SDimitry Andric       TotalNS += PD.second.NumValueSites[Kind];
878*0b57cec5SDimitry Andric   }
879*0b57cec5SDimitry Andric 
880*0b57cec5SDimitry Andric   if (!TotalNS)
881*0b57cec5SDimitry Andric     return;
882*0b57cec5SDimitry Andric 
883*0b57cec5SDimitry Andric   uint64_t NumCounters = TotalNS * NumCountersPerValueSite;
884*0b57cec5SDimitry Andric // Heuristic for small programs with very few total value sites.
885*0b57cec5SDimitry Andric // The default value of vp-counters-per-site is chosen based on
886*0b57cec5SDimitry Andric // the observation that large apps usually have a low percentage
887*0b57cec5SDimitry Andric // of value sites that actually have any profile data, and thus
888*0b57cec5SDimitry Andric // the average number of counters per site is low. For small
889*0b57cec5SDimitry Andric // apps with very few sites, this may not be true. Bump up the
890*0b57cec5SDimitry Andric // number of counters in this case.
891*0b57cec5SDimitry Andric #define INSTR_PROF_MIN_VAL_COUNTS 10
892*0b57cec5SDimitry Andric   if (NumCounters < INSTR_PROF_MIN_VAL_COUNTS)
893*0b57cec5SDimitry Andric     NumCounters = std::max(INSTR_PROF_MIN_VAL_COUNTS, (int)NumCounters * 2);
894*0b57cec5SDimitry Andric 
895*0b57cec5SDimitry Andric   auto &Ctx = M->getContext();
896*0b57cec5SDimitry Andric   Type *VNodeTypes[] = {
897*0b57cec5SDimitry Andric #define INSTR_PROF_VALUE_NODE(Type, LLVMType, Name, Init) LLVMType,
898*0b57cec5SDimitry Andric #include "llvm/ProfileData/InstrProfData.inc"
899*0b57cec5SDimitry Andric   };
900*0b57cec5SDimitry Andric   auto *VNodeTy = StructType::get(Ctx, makeArrayRef(VNodeTypes));
901*0b57cec5SDimitry Andric 
902*0b57cec5SDimitry Andric   ArrayType *VNodesTy = ArrayType::get(VNodeTy, NumCounters);
903*0b57cec5SDimitry Andric   auto *VNodesVar = new GlobalVariable(
904*0b57cec5SDimitry Andric       *M, VNodesTy, false, GlobalValue::PrivateLinkage,
905*0b57cec5SDimitry Andric       Constant::getNullValue(VNodesTy), getInstrProfVNodesVarName());
906*0b57cec5SDimitry Andric   VNodesVar->setSection(
907*0b57cec5SDimitry Andric       getInstrProfSectionName(IPSK_vnodes, TT.getObjectFormat()));
908*0b57cec5SDimitry Andric   UsedVars.push_back(VNodesVar);
909*0b57cec5SDimitry Andric }
910*0b57cec5SDimitry Andric 
911*0b57cec5SDimitry Andric void InstrProfiling::emitNameData() {
912*0b57cec5SDimitry Andric   std::string UncompressedData;
913*0b57cec5SDimitry Andric 
914*0b57cec5SDimitry Andric   if (ReferencedNames.empty())
915*0b57cec5SDimitry Andric     return;
916*0b57cec5SDimitry Andric 
917*0b57cec5SDimitry Andric   std::string CompressedNameStr;
918*0b57cec5SDimitry Andric   if (Error E = collectPGOFuncNameStrings(ReferencedNames, CompressedNameStr,
919*0b57cec5SDimitry Andric                                           DoNameCompression)) {
920*0b57cec5SDimitry Andric     report_fatal_error(toString(std::move(E)), false);
921*0b57cec5SDimitry Andric   }
922*0b57cec5SDimitry Andric 
923*0b57cec5SDimitry Andric   auto &Ctx = M->getContext();
924*0b57cec5SDimitry Andric   auto *NamesVal = ConstantDataArray::getString(
925*0b57cec5SDimitry Andric       Ctx, StringRef(CompressedNameStr), false);
926*0b57cec5SDimitry Andric   NamesVar = new GlobalVariable(*M, NamesVal->getType(), true,
927*0b57cec5SDimitry Andric                                 GlobalValue::PrivateLinkage, NamesVal,
928*0b57cec5SDimitry Andric                                 getInstrProfNamesVarName());
929*0b57cec5SDimitry Andric   NamesSize = CompressedNameStr.size();
930*0b57cec5SDimitry Andric   NamesVar->setSection(
931*0b57cec5SDimitry Andric       getInstrProfSectionName(IPSK_name, TT.getObjectFormat()));
932*0b57cec5SDimitry Andric   // On COFF, it's important to reduce the alignment down to 1 to prevent the
933*0b57cec5SDimitry Andric   // linker from inserting padding before the start of the names section or
934*0b57cec5SDimitry Andric   // between names entries.
9358bcb0991SDimitry Andric   NamesVar->setAlignment(Align::None());
936*0b57cec5SDimitry Andric   UsedVars.push_back(NamesVar);
937*0b57cec5SDimitry Andric 
938*0b57cec5SDimitry Andric   for (auto *NamePtr : ReferencedNames)
939*0b57cec5SDimitry Andric     NamePtr->eraseFromParent();
940*0b57cec5SDimitry Andric }
941*0b57cec5SDimitry Andric 
942*0b57cec5SDimitry Andric void InstrProfiling::emitRegistration() {
943*0b57cec5SDimitry Andric   if (!needsRuntimeRegistrationOfSectionRange(TT))
944*0b57cec5SDimitry Andric     return;
945*0b57cec5SDimitry Andric 
946*0b57cec5SDimitry Andric   // Construct the function.
947*0b57cec5SDimitry Andric   auto *VoidTy = Type::getVoidTy(M->getContext());
948*0b57cec5SDimitry Andric   auto *VoidPtrTy = Type::getInt8PtrTy(M->getContext());
949*0b57cec5SDimitry Andric   auto *Int64Ty = Type::getInt64Ty(M->getContext());
950*0b57cec5SDimitry Andric   auto *RegisterFTy = FunctionType::get(VoidTy, false);
951*0b57cec5SDimitry Andric   auto *RegisterF = Function::Create(RegisterFTy, GlobalValue::InternalLinkage,
952*0b57cec5SDimitry Andric                                      getInstrProfRegFuncsName(), M);
953*0b57cec5SDimitry Andric   RegisterF->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
954*0b57cec5SDimitry Andric   if (Options.NoRedZone)
955*0b57cec5SDimitry Andric     RegisterF->addFnAttr(Attribute::NoRedZone);
956*0b57cec5SDimitry Andric 
957*0b57cec5SDimitry Andric   auto *RuntimeRegisterTy = FunctionType::get(VoidTy, VoidPtrTy, false);
958*0b57cec5SDimitry Andric   auto *RuntimeRegisterF =
959*0b57cec5SDimitry Andric       Function::Create(RuntimeRegisterTy, GlobalVariable::ExternalLinkage,
960*0b57cec5SDimitry Andric                        getInstrProfRegFuncName(), M);
961*0b57cec5SDimitry Andric 
962*0b57cec5SDimitry Andric   IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", RegisterF));
963*0b57cec5SDimitry Andric   for (Value *Data : UsedVars)
964*0b57cec5SDimitry Andric     if (Data != NamesVar && !isa<Function>(Data))
965*0b57cec5SDimitry Andric       IRB.CreateCall(RuntimeRegisterF, IRB.CreateBitCast(Data, VoidPtrTy));
966*0b57cec5SDimitry Andric 
967*0b57cec5SDimitry Andric   if (NamesVar) {
968*0b57cec5SDimitry Andric     Type *ParamTypes[] = {VoidPtrTy, Int64Ty};
969*0b57cec5SDimitry Andric     auto *NamesRegisterTy =
970*0b57cec5SDimitry Andric         FunctionType::get(VoidTy, makeArrayRef(ParamTypes), false);
971*0b57cec5SDimitry Andric     auto *NamesRegisterF =
972*0b57cec5SDimitry Andric         Function::Create(NamesRegisterTy, GlobalVariable::ExternalLinkage,
973*0b57cec5SDimitry Andric                          getInstrProfNamesRegFuncName(), M);
974*0b57cec5SDimitry Andric     IRB.CreateCall(NamesRegisterF, {IRB.CreateBitCast(NamesVar, VoidPtrTy),
975*0b57cec5SDimitry Andric                                     IRB.getInt64(NamesSize)});
976*0b57cec5SDimitry Andric   }
977*0b57cec5SDimitry Andric 
978*0b57cec5SDimitry Andric   IRB.CreateRetVoid();
979*0b57cec5SDimitry Andric }
980*0b57cec5SDimitry Andric 
981*0b57cec5SDimitry Andric bool InstrProfiling::emitRuntimeHook() {
982*0b57cec5SDimitry Andric   // We expect the linker to be invoked with -u<hook_var> flag for linux,
983*0b57cec5SDimitry Andric   // for which case there is no need to emit the user function.
984*0b57cec5SDimitry Andric   if (TT.isOSLinux())
985*0b57cec5SDimitry Andric     return false;
986*0b57cec5SDimitry Andric 
987*0b57cec5SDimitry Andric   // If the module's provided its own runtime, we don't need to do anything.
988*0b57cec5SDimitry Andric   if (M->getGlobalVariable(getInstrProfRuntimeHookVarName()))
989*0b57cec5SDimitry Andric     return false;
990*0b57cec5SDimitry Andric 
991*0b57cec5SDimitry Andric   // Declare an external variable that will pull in the runtime initialization.
992*0b57cec5SDimitry Andric   auto *Int32Ty = Type::getInt32Ty(M->getContext());
993*0b57cec5SDimitry Andric   auto *Var =
994*0b57cec5SDimitry Andric       new GlobalVariable(*M, Int32Ty, false, GlobalValue::ExternalLinkage,
995*0b57cec5SDimitry Andric                          nullptr, getInstrProfRuntimeHookVarName());
996*0b57cec5SDimitry Andric 
997*0b57cec5SDimitry Andric   // Make a function that uses it.
998*0b57cec5SDimitry Andric   auto *User = Function::Create(FunctionType::get(Int32Ty, false),
999*0b57cec5SDimitry Andric                                 GlobalValue::LinkOnceODRLinkage,
1000*0b57cec5SDimitry Andric                                 getInstrProfRuntimeHookVarUseFuncName(), M);
1001*0b57cec5SDimitry Andric   User->addFnAttr(Attribute::NoInline);
1002*0b57cec5SDimitry Andric   if (Options.NoRedZone)
1003*0b57cec5SDimitry Andric     User->addFnAttr(Attribute::NoRedZone);
1004*0b57cec5SDimitry Andric   User->setVisibility(GlobalValue::HiddenVisibility);
1005*0b57cec5SDimitry Andric   if (TT.supportsCOMDAT())
1006*0b57cec5SDimitry Andric     User->setComdat(M->getOrInsertComdat(User->getName()));
1007*0b57cec5SDimitry Andric 
1008*0b57cec5SDimitry Andric   IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", User));
1009*0b57cec5SDimitry Andric   auto *Load = IRB.CreateLoad(Int32Ty, Var);
1010*0b57cec5SDimitry Andric   IRB.CreateRet(Load);
1011*0b57cec5SDimitry Andric 
1012*0b57cec5SDimitry Andric   // Mark the user variable as used so that it isn't stripped out.
1013*0b57cec5SDimitry Andric   UsedVars.push_back(User);
1014*0b57cec5SDimitry Andric   return true;
1015*0b57cec5SDimitry Andric }
1016*0b57cec5SDimitry Andric 
1017*0b57cec5SDimitry Andric void InstrProfiling::emitUses() {
1018*0b57cec5SDimitry Andric   if (!UsedVars.empty())
1019*0b57cec5SDimitry Andric     appendToUsed(*M, UsedVars);
1020*0b57cec5SDimitry Andric }
1021*0b57cec5SDimitry Andric 
1022*0b57cec5SDimitry Andric void InstrProfiling::emitInitialization() {
1023*0b57cec5SDimitry Andric   // Create ProfileFileName variable. Don't don't this for the
1024*0b57cec5SDimitry Andric   // context-sensitive instrumentation lowering: This lowering is after
1025*0b57cec5SDimitry Andric   // LTO/ThinLTO linking. Pass PGOInstrumentationGenCreateVar should
1026*0b57cec5SDimitry Andric   // have already create the variable before LTO/ThinLTO linking.
1027*0b57cec5SDimitry Andric   if (!IsCS)
1028*0b57cec5SDimitry Andric     createProfileFileNameVar(*M, Options.InstrProfileOutput);
1029*0b57cec5SDimitry Andric   Function *RegisterF = M->getFunction(getInstrProfRegFuncsName());
1030*0b57cec5SDimitry Andric   if (!RegisterF)
1031*0b57cec5SDimitry Andric     return;
1032*0b57cec5SDimitry Andric 
1033*0b57cec5SDimitry Andric   // Create the initialization function.
1034*0b57cec5SDimitry Andric   auto *VoidTy = Type::getVoidTy(M->getContext());
1035*0b57cec5SDimitry Andric   auto *F = Function::Create(FunctionType::get(VoidTy, false),
1036*0b57cec5SDimitry Andric                              GlobalValue::InternalLinkage,
1037*0b57cec5SDimitry Andric                              getInstrProfInitFuncName(), M);
1038*0b57cec5SDimitry Andric   F->setUnnamedAddr(GlobalValue::UnnamedAddr::Global);
1039*0b57cec5SDimitry Andric   F->addFnAttr(Attribute::NoInline);
1040*0b57cec5SDimitry Andric   if (Options.NoRedZone)
1041*0b57cec5SDimitry Andric     F->addFnAttr(Attribute::NoRedZone);
1042*0b57cec5SDimitry Andric 
1043*0b57cec5SDimitry Andric   // Add the basic block and the necessary calls.
1044*0b57cec5SDimitry Andric   IRBuilder<> IRB(BasicBlock::Create(M->getContext(), "", F));
1045*0b57cec5SDimitry Andric   IRB.CreateCall(RegisterF, {});
1046*0b57cec5SDimitry Andric   IRB.CreateRetVoid();
1047*0b57cec5SDimitry Andric 
1048*0b57cec5SDimitry Andric   appendToGlobalCtors(*M, F, 0);
1049*0b57cec5SDimitry Andric }
1050