xref: /freebsd-src/contrib/llvm-project/llvm/lib/Transforms/IPO/SampleProfileProbe.cpp (revision d409305fa3838fb39b38c26fc085fb729b8766d5)
1e8d8bef9SDimitry Andric //===- SampleProfileProbe.cpp - Pseudo probe Instrumentation -------------===//
2e8d8bef9SDimitry Andric //
3e8d8bef9SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e8d8bef9SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e8d8bef9SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e8d8bef9SDimitry Andric //
7e8d8bef9SDimitry Andric //===----------------------------------------------------------------------===//
8e8d8bef9SDimitry Andric //
9e8d8bef9SDimitry Andric // This file implements the SampleProfileProber transformation.
10e8d8bef9SDimitry Andric //
11e8d8bef9SDimitry Andric //===----------------------------------------------------------------------===//
12e8d8bef9SDimitry Andric 
13e8d8bef9SDimitry Andric #include "llvm/Transforms/IPO/SampleProfileProbe.h"
14e8d8bef9SDimitry Andric #include "llvm/ADT/Statistic.h"
15*d409305fSDimitry Andric #include "llvm/Analysis/BlockFrequencyInfo.h"
16e8d8bef9SDimitry Andric #include "llvm/Analysis/TargetLibraryInfo.h"
17e8d8bef9SDimitry Andric #include "llvm/IR/BasicBlock.h"
18e8d8bef9SDimitry Andric #include "llvm/IR/CFG.h"
19e8d8bef9SDimitry Andric #include "llvm/IR/Constant.h"
20e8d8bef9SDimitry Andric #include "llvm/IR/Constants.h"
21e8d8bef9SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
22e8d8bef9SDimitry Andric #include "llvm/IR/GlobalValue.h"
23e8d8bef9SDimitry Andric #include "llvm/IR/GlobalVariable.h"
24e8d8bef9SDimitry Andric #include "llvm/IR/IRBuilder.h"
25e8d8bef9SDimitry Andric #include "llvm/IR/Instruction.h"
26e8d8bef9SDimitry Andric #include "llvm/IR/MDBuilder.h"
27e8d8bef9SDimitry Andric #include "llvm/ProfileData/SampleProf.h"
28e8d8bef9SDimitry Andric #include "llvm/Support/CRC.h"
29*d409305fSDimitry Andric #include "llvm/Support/CommandLine.h"
30e8d8bef9SDimitry Andric #include "llvm/Transforms/Instrumentation.h"
31e8d8bef9SDimitry Andric #include "llvm/Transforms/Utils/ModuleUtils.h"
32*d409305fSDimitry Andric #include <unordered_set>
33e8d8bef9SDimitry Andric #include <vector>
34e8d8bef9SDimitry Andric 
35e8d8bef9SDimitry Andric using namespace llvm;
36e8d8bef9SDimitry Andric #define DEBUG_TYPE "sample-profile-probe"
37e8d8bef9SDimitry Andric 
38e8d8bef9SDimitry Andric STATISTIC(ArtificialDbgLine,
39e8d8bef9SDimitry Andric           "Number of probes that have an artificial debug line");
40e8d8bef9SDimitry Andric 
41*d409305fSDimitry Andric static cl::opt<bool>
42*d409305fSDimitry Andric     VerifyPseudoProbe("verify-pseudo-probe", cl::init(false), cl::Hidden,
43*d409305fSDimitry Andric                       cl::desc("Do pseudo probe verification"));
44*d409305fSDimitry Andric 
45*d409305fSDimitry Andric static cl::list<std::string> VerifyPseudoProbeFuncList(
46*d409305fSDimitry Andric     "verify-pseudo-probe-funcs", cl::Hidden,
47*d409305fSDimitry Andric     cl::desc("The option to specify the name of the functions to verify."));
48*d409305fSDimitry Andric 
49*d409305fSDimitry Andric static cl::opt<bool>
50*d409305fSDimitry Andric     UpdatePseudoProbe("update-pseudo-probe", cl::init(true), cl::Hidden,
51*d409305fSDimitry Andric                       cl::desc("Update pseudo probe distribution factor"));
52*d409305fSDimitry Andric 
53*d409305fSDimitry Andric bool PseudoProbeVerifier::shouldVerifyFunction(const Function *F) {
54*d409305fSDimitry Andric   // Skip function declaration.
55*d409305fSDimitry Andric   if (F->isDeclaration())
56*d409305fSDimitry Andric     return false;
57*d409305fSDimitry Andric   // Skip function that will not be emitted into object file. The prevailing
58*d409305fSDimitry Andric   // defintion will be verified instead.
59*d409305fSDimitry Andric   if (F->hasAvailableExternallyLinkage())
60*d409305fSDimitry Andric     return false;
61*d409305fSDimitry Andric   // Do a name matching.
62*d409305fSDimitry Andric   static std::unordered_set<std::string> VerifyFuncNames(
63*d409305fSDimitry Andric       VerifyPseudoProbeFuncList.begin(), VerifyPseudoProbeFuncList.end());
64*d409305fSDimitry Andric   return VerifyFuncNames.empty() || VerifyFuncNames.count(F->getName().str());
65*d409305fSDimitry Andric }
66*d409305fSDimitry Andric 
67*d409305fSDimitry Andric void PseudoProbeVerifier::registerCallbacks(PassInstrumentationCallbacks &PIC) {
68*d409305fSDimitry Andric   if (VerifyPseudoProbe) {
69*d409305fSDimitry Andric     PIC.registerAfterPassCallback(
70*d409305fSDimitry Andric         [this](StringRef P, Any IR, const PreservedAnalyses &) {
71*d409305fSDimitry Andric           this->runAfterPass(P, IR);
72*d409305fSDimitry Andric         });
73*d409305fSDimitry Andric   }
74*d409305fSDimitry Andric }
75*d409305fSDimitry Andric 
76*d409305fSDimitry Andric // Callback to run after each transformation for the new pass manager.
77*d409305fSDimitry Andric void PseudoProbeVerifier::runAfterPass(StringRef PassID, Any IR) {
78*d409305fSDimitry Andric   std::string Banner =
79*d409305fSDimitry Andric       "\n*** Pseudo Probe Verification After " + PassID.str() + " ***\n";
80*d409305fSDimitry Andric   dbgs() << Banner;
81*d409305fSDimitry Andric   if (any_isa<const Module *>(IR))
82*d409305fSDimitry Andric     runAfterPass(any_cast<const Module *>(IR));
83*d409305fSDimitry Andric   else if (any_isa<const Function *>(IR))
84*d409305fSDimitry Andric     runAfterPass(any_cast<const Function *>(IR));
85*d409305fSDimitry Andric   else if (any_isa<const LazyCallGraph::SCC *>(IR))
86*d409305fSDimitry Andric     runAfterPass(any_cast<const LazyCallGraph::SCC *>(IR));
87*d409305fSDimitry Andric   else if (any_isa<const Loop *>(IR))
88*d409305fSDimitry Andric     runAfterPass(any_cast<const Loop *>(IR));
89*d409305fSDimitry Andric   else
90*d409305fSDimitry Andric     llvm_unreachable("Unknown IR unit");
91*d409305fSDimitry Andric }
92*d409305fSDimitry Andric 
93*d409305fSDimitry Andric void PseudoProbeVerifier::runAfterPass(const Module *M) {
94*d409305fSDimitry Andric   for (const Function &F : *M)
95*d409305fSDimitry Andric     runAfterPass(&F);
96*d409305fSDimitry Andric }
97*d409305fSDimitry Andric 
98*d409305fSDimitry Andric void PseudoProbeVerifier::runAfterPass(const LazyCallGraph::SCC *C) {
99*d409305fSDimitry Andric   for (const LazyCallGraph::Node &N : *C)
100*d409305fSDimitry Andric     runAfterPass(&N.getFunction());
101*d409305fSDimitry Andric }
102*d409305fSDimitry Andric 
103*d409305fSDimitry Andric void PseudoProbeVerifier::runAfterPass(const Function *F) {
104*d409305fSDimitry Andric   if (!shouldVerifyFunction(F))
105*d409305fSDimitry Andric     return;
106*d409305fSDimitry Andric   ProbeFactorMap ProbeFactors;
107*d409305fSDimitry Andric   for (const auto &BB : *F)
108*d409305fSDimitry Andric     collectProbeFactors(&BB, ProbeFactors);
109*d409305fSDimitry Andric   verifyProbeFactors(F, ProbeFactors);
110*d409305fSDimitry Andric }
111*d409305fSDimitry Andric 
112*d409305fSDimitry Andric void PseudoProbeVerifier::runAfterPass(const Loop *L) {
113*d409305fSDimitry Andric   const Function *F = L->getHeader()->getParent();
114*d409305fSDimitry Andric   runAfterPass(F);
115*d409305fSDimitry Andric }
116*d409305fSDimitry Andric 
117*d409305fSDimitry Andric void PseudoProbeVerifier::collectProbeFactors(const BasicBlock *Block,
118*d409305fSDimitry Andric                                               ProbeFactorMap &ProbeFactors) {
119*d409305fSDimitry Andric   for (const auto &I : *Block) {
120*d409305fSDimitry Andric     if (Optional<PseudoProbe> Probe = extractProbe(I))
121*d409305fSDimitry Andric       ProbeFactors[Probe->Id] += Probe->Factor;
122*d409305fSDimitry Andric   }
123*d409305fSDimitry Andric }
124*d409305fSDimitry Andric 
125*d409305fSDimitry Andric void PseudoProbeVerifier::verifyProbeFactors(
126*d409305fSDimitry Andric     const Function *F, const ProbeFactorMap &ProbeFactors) {
127*d409305fSDimitry Andric   bool BannerPrinted = false;
128*d409305fSDimitry Andric   auto &PrevProbeFactors = FunctionProbeFactors[F->getName()];
129*d409305fSDimitry Andric   for (const auto &I : ProbeFactors) {
130*d409305fSDimitry Andric     float CurProbeFactor = I.second;
131*d409305fSDimitry Andric     if (PrevProbeFactors.count(I.first)) {
132*d409305fSDimitry Andric       float PrevProbeFactor = PrevProbeFactors[I.first];
133*d409305fSDimitry Andric       if (std::abs(CurProbeFactor - PrevProbeFactor) >
134*d409305fSDimitry Andric           DistributionFactorVariance) {
135*d409305fSDimitry Andric         if (!BannerPrinted) {
136*d409305fSDimitry Andric           dbgs() << "Function " << F->getName() << ":\n";
137*d409305fSDimitry Andric           BannerPrinted = true;
138*d409305fSDimitry Andric         }
139*d409305fSDimitry Andric         dbgs() << "Probe " << I.first << "\tprevious factor "
140*d409305fSDimitry Andric                << format("%0.2f", PrevProbeFactor) << "\tcurrent factor "
141*d409305fSDimitry Andric                << format("%0.2f", CurProbeFactor) << "\n";
142*d409305fSDimitry Andric       }
143*d409305fSDimitry Andric     }
144*d409305fSDimitry Andric 
145*d409305fSDimitry Andric     // Update
146*d409305fSDimitry Andric     PrevProbeFactors[I.first] = I.second;
147*d409305fSDimitry Andric   }
148*d409305fSDimitry Andric }
149*d409305fSDimitry Andric 
150e8d8bef9SDimitry Andric PseudoProbeManager::PseudoProbeManager(const Module &M) {
151e8d8bef9SDimitry Andric   if (NamedMDNode *FuncInfo = M.getNamedMetadata(PseudoProbeDescMetadataName)) {
152e8d8bef9SDimitry Andric     for (const auto *Operand : FuncInfo->operands()) {
153e8d8bef9SDimitry Andric       const auto *MD = cast<MDNode>(Operand);
154e8d8bef9SDimitry Andric       auto GUID =
155e8d8bef9SDimitry Andric           mdconst::dyn_extract<ConstantInt>(MD->getOperand(0))->getZExtValue();
156e8d8bef9SDimitry Andric       auto Hash =
157e8d8bef9SDimitry Andric           mdconst::dyn_extract<ConstantInt>(MD->getOperand(1))->getZExtValue();
158e8d8bef9SDimitry Andric       GUIDToProbeDescMap.try_emplace(GUID, PseudoProbeDescriptor(GUID, Hash));
159e8d8bef9SDimitry Andric     }
160e8d8bef9SDimitry Andric   }
161e8d8bef9SDimitry Andric }
162e8d8bef9SDimitry Andric 
163e8d8bef9SDimitry Andric const PseudoProbeDescriptor *
164e8d8bef9SDimitry Andric PseudoProbeManager::getDesc(const Function &F) const {
165e8d8bef9SDimitry Andric   auto I = GUIDToProbeDescMap.find(
166e8d8bef9SDimitry Andric       Function::getGUID(FunctionSamples::getCanonicalFnName(F)));
167e8d8bef9SDimitry Andric   return I == GUIDToProbeDescMap.end() ? nullptr : &I->second;
168e8d8bef9SDimitry Andric }
169e8d8bef9SDimitry Andric 
170e8d8bef9SDimitry Andric bool PseudoProbeManager::moduleIsProbed(const Module &M) const {
171e8d8bef9SDimitry Andric   return M.getNamedMetadata(PseudoProbeDescMetadataName);
172e8d8bef9SDimitry Andric }
173e8d8bef9SDimitry Andric 
174e8d8bef9SDimitry Andric bool PseudoProbeManager::profileIsValid(const Function &F,
175e8d8bef9SDimitry Andric                                         const FunctionSamples &Samples) const {
176e8d8bef9SDimitry Andric   const auto *Desc = getDesc(F);
177e8d8bef9SDimitry Andric   if (!Desc) {
178e8d8bef9SDimitry Andric     LLVM_DEBUG(dbgs() << "Probe descriptor missing for Function " << F.getName()
179e8d8bef9SDimitry Andric                       << "\n");
180e8d8bef9SDimitry Andric     return false;
181e8d8bef9SDimitry Andric   } else {
182e8d8bef9SDimitry Andric     if (Desc->getFunctionHash() != Samples.getFunctionHash()) {
183e8d8bef9SDimitry Andric       LLVM_DEBUG(dbgs() << "Hash mismatch for Function " << F.getName()
184e8d8bef9SDimitry Andric                         << "\n");
185e8d8bef9SDimitry Andric       return false;
186e8d8bef9SDimitry Andric     }
187e8d8bef9SDimitry Andric   }
188e8d8bef9SDimitry Andric   return true;
189e8d8bef9SDimitry Andric }
190e8d8bef9SDimitry Andric 
191e8d8bef9SDimitry Andric SampleProfileProber::SampleProfileProber(Function &Func,
192e8d8bef9SDimitry Andric                                          const std::string &CurModuleUniqueId)
193e8d8bef9SDimitry Andric     : F(&Func), CurModuleUniqueId(CurModuleUniqueId) {
194e8d8bef9SDimitry Andric   BlockProbeIds.clear();
195e8d8bef9SDimitry Andric   CallProbeIds.clear();
196e8d8bef9SDimitry Andric   LastProbeId = (uint32_t)PseudoProbeReservedId::Last;
197e8d8bef9SDimitry Andric   computeProbeIdForBlocks();
198e8d8bef9SDimitry Andric   computeProbeIdForCallsites();
199e8d8bef9SDimitry Andric   computeCFGHash();
200e8d8bef9SDimitry Andric }
201e8d8bef9SDimitry Andric 
202e8d8bef9SDimitry Andric // Compute Hash value for the CFG: the lower 32 bits are CRC32 of the index
203e8d8bef9SDimitry Andric // value of each BB in the CFG. The higher 32 bits record the number of edges
204e8d8bef9SDimitry Andric // preceded by the number of indirect calls.
205e8d8bef9SDimitry Andric // This is derived from FuncPGOInstrumentation<Edge, BBInfo>::computeCFGHash().
206e8d8bef9SDimitry Andric void SampleProfileProber::computeCFGHash() {
207e8d8bef9SDimitry Andric   std::vector<uint8_t> Indexes;
208e8d8bef9SDimitry Andric   JamCRC JC;
209e8d8bef9SDimitry Andric   for (auto &BB : *F) {
210e8d8bef9SDimitry Andric     auto *TI = BB.getTerminator();
211e8d8bef9SDimitry Andric     for (unsigned I = 0, E = TI->getNumSuccessors(); I != E; ++I) {
212e8d8bef9SDimitry Andric       auto *Succ = TI->getSuccessor(I);
213e8d8bef9SDimitry Andric       auto Index = getBlockId(Succ);
214e8d8bef9SDimitry Andric       for (int J = 0; J < 4; J++)
215e8d8bef9SDimitry Andric         Indexes.push_back((uint8_t)(Index >> (J * 8)));
216e8d8bef9SDimitry Andric     }
217e8d8bef9SDimitry Andric   }
218e8d8bef9SDimitry Andric 
219e8d8bef9SDimitry Andric   JC.update(Indexes);
220e8d8bef9SDimitry Andric 
221e8d8bef9SDimitry Andric   FunctionHash = (uint64_t)CallProbeIds.size() << 48 |
222e8d8bef9SDimitry Andric                  (uint64_t)Indexes.size() << 32 | JC.getCRC();
223e8d8bef9SDimitry Andric   // Reserve bit 60-63 for other information purpose.
224e8d8bef9SDimitry Andric   FunctionHash &= 0x0FFFFFFFFFFFFFFF;
225e8d8bef9SDimitry Andric   assert(FunctionHash && "Function checksum should not be zero");
226e8d8bef9SDimitry Andric   LLVM_DEBUG(dbgs() << "\nFunction Hash Computation for " << F->getName()
227e8d8bef9SDimitry Andric                     << ":\n"
228e8d8bef9SDimitry Andric                     << " CRC = " << JC.getCRC() << ", Edges = "
229e8d8bef9SDimitry Andric                     << Indexes.size() << ", ICSites = " << CallProbeIds.size()
230e8d8bef9SDimitry Andric                     << ", Hash = " << FunctionHash << "\n");
231e8d8bef9SDimitry Andric }
232e8d8bef9SDimitry Andric 
233e8d8bef9SDimitry Andric void SampleProfileProber::computeProbeIdForBlocks() {
234e8d8bef9SDimitry Andric   for (auto &BB : *F) {
235e8d8bef9SDimitry Andric     BlockProbeIds[&BB] = ++LastProbeId;
236e8d8bef9SDimitry Andric   }
237e8d8bef9SDimitry Andric }
238e8d8bef9SDimitry Andric 
239e8d8bef9SDimitry Andric void SampleProfileProber::computeProbeIdForCallsites() {
240e8d8bef9SDimitry Andric   for (auto &BB : *F) {
241e8d8bef9SDimitry Andric     for (auto &I : BB) {
242e8d8bef9SDimitry Andric       if (!isa<CallBase>(I))
243e8d8bef9SDimitry Andric         continue;
244e8d8bef9SDimitry Andric       if (isa<IntrinsicInst>(&I))
245e8d8bef9SDimitry Andric         continue;
246e8d8bef9SDimitry Andric       CallProbeIds[&I] = ++LastProbeId;
247e8d8bef9SDimitry Andric     }
248e8d8bef9SDimitry Andric   }
249e8d8bef9SDimitry Andric }
250e8d8bef9SDimitry Andric 
251e8d8bef9SDimitry Andric uint32_t SampleProfileProber::getBlockId(const BasicBlock *BB) const {
252e8d8bef9SDimitry Andric   auto I = BlockProbeIds.find(const_cast<BasicBlock *>(BB));
253e8d8bef9SDimitry Andric   return I == BlockProbeIds.end() ? 0 : I->second;
254e8d8bef9SDimitry Andric }
255e8d8bef9SDimitry Andric 
256e8d8bef9SDimitry Andric uint32_t SampleProfileProber::getCallsiteId(const Instruction *Call) const {
257e8d8bef9SDimitry Andric   auto Iter = CallProbeIds.find(const_cast<Instruction *>(Call));
258e8d8bef9SDimitry Andric   return Iter == CallProbeIds.end() ? 0 : Iter->second;
259e8d8bef9SDimitry Andric }
260e8d8bef9SDimitry Andric 
261e8d8bef9SDimitry Andric void SampleProfileProber::instrumentOneFunc(Function &F, TargetMachine *TM) {
262e8d8bef9SDimitry Andric   Module *M = F.getParent();
263e8d8bef9SDimitry Andric   MDBuilder MDB(F.getContext());
264e8d8bef9SDimitry Andric   // Compute a GUID without considering the function's linkage type. This is
265e8d8bef9SDimitry Andric   // fine since function name is the only key in the profile database.
266e8d8bef9SDimitry Andric   uint64_t Guid = Function::getGUID(F.getName());
267e8d8bef9SDimitry Andric 
268e8d8bef9SDimitry Andric   // Assign an artificial debug line to a probe that doesn't come with a real
269e8d8bef9SDimitry Andric   // line. A probe not having a debug line will get an incomplete inline
270e8d8bef9SDimitry Andric   // context. This will cause samples collected on the probe to be counted
271e8d8bef9SDimitry Andric   // into the base profile instead of a context profile. The line number
272e8d8bef9SDimitry Andric   // itself is not important though.
273e8d8bef9SDimitry Andric   auto AssignDebugLoc = [&](Instruction *I) {
274e8d8bef9SDimitry Andric     assert((isa<PseudoProbeInst>(I) || isa<CallBase>(I)) &&
275e8d8bef9SDimitry Andric            "Expecting pseudo probe or call instructions");
276e8d8bef9SDimitry Andric     if (!I->getDebugLoc()) {
277e8d8bef9SDimitry Andric       if (auto *SP = F.getSubprogram()) {
278e8d8bef9SDimitry Andric         auto DIL = DILocation::get(SP->getContext(), 0, 0, SP);
279e8d8bef9SDimitry Andric         I->setDebugLoc(DIL);
280e8d8bef9SDimitry Andric         ArtificialDbgLine++;
281e8d8bef9SDimitry Andric         LLVM_DEBUG({
282e8d8bef9SDimitry Andric           dbgs() << "\nIn Function " << F.getName()
283e8d8bef9SDimitry Andric                  << " Probe gets an artificial debug line\n";
284e8d8bef9SDimitry Andric           I->dump();
285e8d8bef9SDimitry Andric         });
286e8d8bef9SDimitry Andric       }
287e8d8bef9SDimitry Andric     }
288e8d8bef9SDimitry Andric   };
289e8d8bef9SDimitry Andric 
290e8d8bef9SDimitry Andric   // Probe basic blocks.
291e8d8bef9SDimitry Andric   for (auto &I : BlockProbeIds) {
292e8d8bef9SDimitry Andric     BasicBlock *BB = I.first;
293e8d8bef9SDimitry Andric     uint32_t Index = I.second;
294e8d8bef9SDimitry Andric     // Insert a probe before an instruction with a valid debug line number which
295e8d8bef9SDimitry Andric     // will be assigned to the probe. The line number will be used later to
296e8d8bef9SDimitry Andric     // model the inline context when the probe is inlined into other functions.
297e8d8bef9SDimitry Andric     // Debug instructions, phi nodes and lifetime markers do not have an valid
298e8d8bef9SDimitry Andric     // line number. Real instructions generated by optimizations may not come
299e8d8bef9SDimitry Andric     // with a line number either.
300e8d8bef9SDimitry Andric     auto HasValidDbgLine = [](Instruction *J) {
301e8d8bef9SDimitry Andric       return !isa<PHINode>(J) && !isa<DbgInfoIntrinsic>(J) &&
302e8d8bef9SDimitry Andric              !J->isLifetimeStartOrEnd() && J->getDebugLoc();
303e8d8bef9SDimitry Andric     };
304e8d8bef9SDimitry Andric 
305e8d8bef9SDimitry Andric     Instruction *J = &*BB->getFirstInsertionPt();
306e8d8bef9SDimitry Andric     while (J != BB->getTerminator() && !HasValidDbgLine(J)) {
307e8d8bef9SDimitry Andric       J = J->getNextNode();
308e8d8bef9SDimitry Andric     }
309e8d8bef9SDimitry Andric 
310e8d8bef9SDimitry Andric     IRBuilder<> Builder(J);
311e8d8bef9SDimitry Andric     assert(Builder.GetInsertPoint() != BB->end() &&
312e8d8bef9SDimitry Andric            "Cannot get the probing point");
313e8d8bef9SDimitry Andric     Function *ProbeFn =
314e8d8bef9SDimitry Andric         llvm::Intrinsic::getDeclaration(M, Intrinsic::pseudoprobe);
315e8d8bef9SDimitry Andric     Value *Args[] = {Builder.getInt64(Guid), Builder.getInt64(Index),
316*d409305fSDimitry Andric                      Builder.getInt32(0),
317*d409305fSDimitry Andric                      Builder.getInt64(PseudoProbeFullDistributionFactor)};
318e8d8bef9SDimitry Andric     auto *Probe = Builder.CreateCall(ProbeFn, Args);
319e8d8bef9SDimitry Andric     AssignDebugLoc(Probe);
320e8d8bef9SDimitry Andric   }
321e8d8bef9SDimitry Andric 
322e8d8bef9SDimitry Andric   // Probe both direct calls and indirect calls. Direct calls are probed so that
323e8d8bef9SDimitry Andric   // their probe ID can be used as an call site identifier to represent a
324e8d8bef9SDimitry Andric   // calling context.
325e8d8bef9SDimitry Andric   for (auto &I : CallProbeIds) {
326e8d8bef9SDimitry Andric     auto *Call = I.first;
327e8d8bef9SDimitry Andric     uint32_t Index = I.second;
328e8d8bef9SDimitry Andric     uint32_t Type = cast<CallBase>(Call)->getCalledFunction()
329e8d8bef9SDimitry Andric                         ? (uint32_t)PseudoProbeType::DirectCall
330e8d8bef9SDimitry Andric                         : (uint32_t)PseudoProbeType::IndirectCall;
331e8d8bef9SDimitry Andric     AssignDebugLoc(Call);
332e8d8bef9SDimitry Andric     // Levarge the 32-bit discriminator field of debug data to store the ID and
333e8d8bef9SDimitry Andric     // type of a callsite probe. This gets rid of the dependency on plumbing a
334e8d8bef9SDimitry Andric     // customized metadata through the codegen pipeline.
335*d409305fSDimitry Andric     uint32_t V = PseudoProbeDwarfDiscriminator::packProbeData(
336*d409305fSDimitry Andric         Index, Type, 0, PseudoProbeDwarfDiscriminator::FullDistributionFactor);
337e8d8bef9SDimitry Andric     if (auto DIL = Call->getDebugLoc()) {
338e8d8bef9SDimitry Andric       DIL = DIL->cloneWithDiscriminator(V);
339e8d8bef9SDimitry Andric       Call->setDebugLoc(DIL);
340e8d8bef9SDimitry Andric     }
341e8d8bef9SDimitry Andric   }
342e8d8bef9SDimitry Andric 
343e8d8bef9SDimitry Andric   // Create module-level metadata that contains function info necessary to
344e8d8bef9SDimitry Andric   // synthesize probe-based sample counts,  which are
345e8d8bef9SDimitry Andric   // - FunctionGUID
346e8d8bef9SDimitry Andric   // - FunctionHash.
347e8d8bef9SDimitry Andric   // - FunctionName
348e8d8bef9SDimitry Andric   auto Hash = getFunctionHash();
349e8d8bef9SDimitry Andric   auto *MD = MDB.createPseudoProbeDesc(Guid, Hash, &F);
350e8d8bef9SDimitry Andric   auto *NMD = M->getNamedMetadata(PseudoProbeDescMetadataName);
351e8d8bef9SDimitry Andric   assert(NMD && "llvm.pseudo_probe_desc should be pre-created");
352e8d8bef9SDimitry Andric   NMD->addOperand(MD);
353e8d8bef9SDimitry Andric 
354e8d8bef9SDimitry Andric   // Preserve a comdat group to hold all probes materialized later. This
355e8d8bef9SDimitry Andric   // allows that when the function is considered dead and removed, the
356e8d8bef9SDimitry Andric   // materialized probes are disposed too.
357e8d8bef9SDimitry Andric   // Imported functions are defined in another module. They do not need
358e8d8bef9SDimitry Andric   // the following handling since same care will be taken for them in their
359e8d8bef9SDimitry Andric   // original module. The pseudo probes inserted into an imported functions
360e8d8bef9SDimitry Andric   // above will naturally not be emitted since the imported function is free
361e8d8bef9SDimitry Andric   // from object emission. However they will be emitted together with the
362e8d8bef9SDimitry Andric   // inliner functions that the imported function is inlined into. We are not
363e8d8bef9SDimitry Andric   // creating a comdat group for an import function since it's useless anyway.
364e8d8bef9SDimitry Andric   if (!F.isDeclarationForLinker()) {
365e8d8bef9SDimitry Andric     if (TM) {
366e8d8bef9SDimitry Andric       auto Triple = TM->getTargetTriple();
367e8d8bef9SDimitry Andric       if (Triple.supportsCOMDAT() && TM->getFunctionSections()) {
368e8d8bef9SDimitry Andric         GetOrCreateFunctionComdat(F, Triple, CurModuleUniqueId);
369e8d8bef9SDimitry Andric       }
370e8d8bef9SDimitry Andric     }
371e8d8bef9SDimitry Andric   }
372e8d8bef9SDimitry Andric }
373e8d8bef9SDimitry Andric 
374e8d8bef9SDimitry Andric PreservedAnalyses SampleProfileProbePass::run(Module &M,
375e8d8bef9SDimitry Andric                                               ModuleAnalysisManager &AM) {
376e8d8bef9SDimitry Andric   auto ModuleId = getUniqueModuleId(&M);
377e8d8bef9SDimitry Andric   // Create the pseudo probe desc metadata beforehand.
378e8d8bef9SDimitry Andric   // Note that modules with only data but no functions will require this to
379e8d8bef9SDimitry Andric   // be set up so that they will be known as probed later.
380e8d8bef9SDimitry Andric   M.getOrInsertNamedMetadata(PseudoProbeDescMetadataName);
381e8d8bef9SDimitry Andric 
382e8d8bef9SDimitry Andric   for (auto &F : M) {
383e8d8bef9SDimitry Andric     if (F.isDeclaration())
384e8d8bef9SDimitry Andric       continue;
385e8d8bef9SDimitry Andric     SampleProfileProber ProbeManager(F, ModuleId);
386e8d8bef9SDimitry Andric     ProbeManager.instrumentOneFunc(F, TM);
387e8d8bef9SDimitry Andric   }
388e8d8bef9SDimitry Andric 
389e8d8bef9SDimitry Andric   return PreservedAnalyses::none();
390e8d8bef9SDimitry Andric }
391*d409305fSDimitry Andric 
392*d409305fSDimitry Andric void PseudoProbeUpdatePass::runOnFunction(Function &F,
393*d409305fSDimitry Andric                                           FunctionAnalysisManager &FAM) {
394*d409305fSDimitry Andric   BlockFrequencyInfo &BFI = FAM.getResult<BlockFrequencyAnalysis>(F);
395*d409305fSDimitry Andric   auto BBProfileCount = [&BFI](BasicBlock *BB) {
396*d409305fSDimitry Andric     return BFI.getBlockProfileCount(BB)
397*d409305fSDimitry Andric                ? BFI.getBlockProfileCount(BB).getValue()
398*d409305fSDimitry Andric                : 0;
399*d409305fSDimitry Andric   };
400*d409305fSDimitry Andric 
401*d409305fSDimitry Andric   // Collect the sum of execution weight for each probe.
402*d409305fSDimitry Andric   ProbeFactorMap ProbeFactors;
403*d409305fSDimitry Andric   for (auto &Block : F) {
404*d409305fSDimitry Andric     for (auto &I : Block) {
405*d409305fSDimitry Andric       if (Optional<PseudoProbe> Probe = extractProbe(I))
406*d409305fSDimitry Andric         ProbeFactors[Probe->Id] += BBProfileCount(&Block);
407*d409305fSDimitry Andric     }
408*d409305fSDimitry Andric   }
409*d409305fSDimitry Andric 
410*d409305fSDimitry Andric   // Fix up over-counted probes.
411*d409305fSDimitry Andric   for (auto &Block : F) {
412*d409305fSDimitry Andric     for (auto &I : Block) {
413*d409305fSDimitry Andric       if (Optional<PseudoProbe> Probe = extractProbe(I)) {
414*d409305fSDimitry Andric         float Sum = ProbeFactors[Probe->Id];
415*d409305fSDimitry Andric         if (Sum != 0)
416*d409305fSDimitry Andric           setProbeDistributionFactor(I, BBProfileCount(&Block) / Sum);
417*d409305fSDimitry Andric       }
418*d409305fSDimitry Andric     }
419*d409305fSDimitry Andric   }
420*d409305fSDimitry Andric }
421*d409305fSDimitry Andric 
422*d409305fSDimitry Andric PreservedAnalyses PseudoProbeUpdatePass::run(Module &M,
423*d409305fSDimitry Andric                                              ModuleAnalysisManager &AM) {
424*d409305fSDimitry Andric   if (UpdatePseudoProbe) {
425*d409305fSDimitry Andric     for (auto &F : M) {
426*d409305fSDimitry Andric       if (F.isDeclaration())
427*d409305fSDimitry Andric         continue;
428*d409305fSDimitry Andric       FunctionAnalysisManager &FAM =
429*d409305fSDimitry Andric           AM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
430*d409305fSDimitry Andric       runOnFunction(F, FAM);
431*d409305fSDimitry Andric     }
432*d409305fSDimitry Andric   }
433*d409305fSDimitry Andric   return PreservedAnalyses::none();
434*d409305fSDimitry Andric }
435