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