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