17adc3a2bSChandler Carruth //===- InlineCost.cpp - Cost analysis for inliner -------------------------===// 27adc3a2bSChandler Carruth // 37adc3a2bSChandler Carruth // The LLVM Compiler Infrastructure 47adc3a2bSChandler Carruth // 57adc3a2bSChandler Carruth // This file is distributed under the University of Illinois Open Source 67adc3a2bSChandler Carruth // License. See LICENSE.TXT for details. 77adc3a2bSChandler Carruth // 87adc3a2bSChandler Carruth //===----------------------------------------------------------------------===// 97adc3a2bSChandler Carruth // 107adc3a2bSChandler Carruth // This file implements inline cost analysis. 117adc3a2bSChandler Carruth // 127adc3a2bSChandler Carruth //===----------------------------------------------------------------------===// 137adc3a2bSChandler Carruth 147adc3a2bSChandler Carruth #include "llvm/Analysis/InlineCost.h" 157adc3a2bSChandler Carruth #include "llvm/ADT/STLExtras.h" 167adc3a2bSChandler Carruth #include "llvm/ADT/SetVector.h" 177adc3a2bSChandler Carruth #include "llvm/ADT/SmallPtrSet.h" 187adc3a2bSChandler Carruth #include "llvm/ADT/SmallVector.h" 197adc3a2bSChandler Carruth #include "llvm/ADT/Statistic.h" 20aec2fa35SDaniel Jasper #include "llvm/Analysis/AssumptionCache.h" 2112585b01SEaswaran Raman #include "llvm/Analysis/BlockFrequencyInfo.h" 227adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h" 237adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h" 243739e14aSHaicheng Wu #include "llvm/Analysis/CFG.h" 257adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h" 2671069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h" 277adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h" 28a4461515SHaicheng Wu #include "llvm/Analysis/ValueTracking.h" 297adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h" 307adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h" 317adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h" 327adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h" 337adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h" 347adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h" 357adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h" 367adc3a2bSChandler Carruth #include "llvm/IR/Operator.h" 377adc3a2bSChandler Carruth #include "llvm/Support/Debug.h" 387adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h" 397adc3a2bSChandler Carruth 407adc3a2bSChandler Carruth using namespace llvm; 417adc3a2bSChandler Carruth 427adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost" 437adc3a2bSChandler Carruth 447adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed"); 457adc3a2bSChandler Carruth 461c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold( 47f4bb2f0dSEaswaran Raman "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore, 48f4bb2f0dSEaswaran Raman cl::desc("Control the amount of inlining to perform (default = 225)")); 49f4bb2f0dSEaswaran Raman 50f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold( 51f4bb2f0dSEaswaran Raman "inlinehint-threshold", cl::Hidden, cl::init(325), 52f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with inline hint")); 53f4bb2f0dSEaswaran Raman 5412585b01SEaswaran Raman static cl::opt<int> 5512585b01SEaswaran Raman ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden, 5612585b01SEaswaran Raman cl::init(45), 5712585b01SEaswaran Raman cl::desc("Threshold for inlining cold callsites")); 5812585b01SEaswaran Raman 59f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based 60f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and 61f4bb2f0dSEaswaran Raman // BFI. 62f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold( 63c103ef89SEaswaran Raman "inlinecold-threshold", cl::Hidden, cl::init(45), 64f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with cold attribute")); 65f4bb2f0dSEaswaran Raman 66de39cb93SDehao Chen static cl::opt<int> 67de39cb93SDehao Chen HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000), 68de39cb93SDehao Chen cl::ZeroOrMore, 69de39cb93SDehao Chen cl::desc("Threshold for hot callsites ")); 70de39cb93SDehao Chen 71974d4eeaSEaswaran Raman static cl::opt<int> LocallyHotCallSiteThreshold( 72974d4eeaSEaswaran Raman "locally-hot-callsite-threshold", cl::Hidden, cl::init(525), cl::ZeroOrMore, 73974d4eeaSEaswaran Raman cl::desc("Threshold for locally hot callsites ")); 74974d4eeaSEaswaran Raman 75c5fa6358SEaswaran Raman static cl::opt<int> ColdCallSiteRelFreq( 76c5fa6358SEaswaran Raman "cold-callsite-rel-freq", cl::Hidden, cl::init(2), cl::ZeroOrMore, 77c5fa6358SEaswaran Raman cl::desc("Maxmimum block frequency, expressed as a percentage of caller's " 78c5fa6358SEaswaran Raman "entry frequency, for a callsite to be cold in the absence of " 79c5fa6358SEaswaran Raman "profile information.")); 80c5fa6358SEaswaran Raman 81974d4eeaSEaswaran Raman static cl::opt<int> HotCallSiteRelFreq( 82974d4eeaSEaswaran Raman "hot-callsite-rel-freq", cl::Hidden, cl::init(60), cl::ZeroOrMore, 83ff77cc75SEaswaran Raman cl::desc("Minimum block frequency, expressed as a multiple of caller's " 84974d4eeaSEaswaran Raman "entry frequency, for a callsite to be hot in the absence of " 85974d4eeaSEaswaran Raman "profile information.")); 86974d4eeaSEaswaran Raman 874924bb00SEaswaran Raman static cl::opt<bool> OptComputeFullInlineCost( 880812c5beSHaicheng Wu "inline-cost-full", cl::Hidden, cl::init(false), 890812c5beSHaicheng Wu cl::desc("Compute the full inline cost of a call site even when the cost " 900812c5beSHaicheng Wu "exceeds the threshold.")); 910812c5beSHaicheng Wu 927adc3a2bSChandler Carruth namespace { 937adc3a2bSChandler Carruth 947adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> { 957adc3a2bSChandler Carruth typedef InstVisitor<CallAnalyzer, bool> Base; 967adc3a2bSChandler Carruth friend class InstVisitor<CallAnalyzer, bool>; 977adc3a2bSChandler Carruth 987adc3a2bSChandler Carruth /// The TargetTransformInfo available for this compilation. 997adc3a2bSChandler Carruth const TargetTransformInfo &TTI; 1007adc3a2bSChandler Carruth 101aec2fa35SDaniel Jasper /// Getter for the cache of @llvm.assume intrinsics. 102aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache; 103aec2fa35SDaniel Jasper 10412585b01SEaswaran Raman /// Getter for BlockFrequencyInfo 10512585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI; 10612585b01SEaswaran Raman 10771069cf6SEaswaran Raman /// Profile summary information. 10871069cf6SEaswaran Raman ProfileSummaryInfo *PSI; 10971069cf6SEaswaran Raman 110f3d122cdSPiotr Padlewski /// The called function. 1117adc3a2bSChandler Carruth Function &F; 1127adc3a2bSChandler Carruth 11385be8ca8SEric Christopher // Cache the DataLayout since we use it a lot. 11485be8ca8SEric Christopher const DataLayout &DL; 11585be8ca8SEric Christopher 1160812c5beSHaicheng Wu /// The OptimizationRemarkEmitter available for this compilation. 1170812c5beSHaicheng Wu OptimizationRemarkEmitter *ORE; 1180812c5beSHaicheng Wu 119f3d122cdSPiotr Padlewski /// The candidate callsite being analyzed. Please do not use this to do 120f3d122cdSPiotr Padlewski /// analysis in the caller function; we want the inline cost query to be 121f3d122cdSPiotr Padlewski /// easily cacheable. Instead, use the cover function paramHasAttr. 1227adc3a2bSChandler Carruth CallSite CandidateCS; 1237adc3a2bSChandler Carruth 124f3d122cdSPiotr Padlewski /// Tunable parameters that control the analysis. 1251c57cc2bSEaswaran Raman const InlineParams &Params; 1261c57cc2bSEaswaran Raman 1277adc3a2bSChandler Carruth int Threshold; 1287adc3a2bSChandler Carruth int Cost; 1294924bb00SEaswaran Raman bool ComputeFullInlineCost; 1307adc3a2bSChandler Carruth 1317adc3a2bSChandler Carruth bool IsCallerRecursive; 1327adc3a2bSChandler Carruth bool IsRecursiveCall; 1337adc3a2bSChandler Carruth bool ExposesReturnsTwice; 1347adc3a2bSChandler Carruth bool HasDynamicAlloca; 1357adc3a2bSChandler Carruth bool ContainsNoDuplicateCall; 1367adc3a2bSChandler Carruth bool HasReturn; 1377adc3a2bSChandler Carruth bool HasIndirectBr; 1387adc3a2bSChandler Carruth bool HasFrameEscape; 1397adc3a2bSChandler Carruth 1407adc3a2bSChandler Carruth /// Number of bytes allocated statically by the callee. 1417adc3a2bSChandler Carruth uint64_t AllocatedSize; 1427adc3a2bSChandler Carruth unsigned NumInstructions, NumVectorInstructions; 14351b809bfSEaswaran Raman int VectorBonus, TenPercentVectorBonus; 14451b809bfSEaswaran Raman // Bonus to be applied when the callee has only one reachable basic block. 14551b809bfSEaswaran Raman int SingleBBBonus; 1467adc3a2bSChandler Carruth 147f3d122cdSPiotr Padlewski /// While we walk the potentially-inlined instructions, we build up and 148f3d122cdSPiotr Padlewski /// maintain a mapping of simplified values specific to this callsite. The 149f3d122cdSPiotr Padlewski /// idea is to propagate any special information we have about arguments to 150f3d122cdSPiotr Padlewski /// this call through the inlinable section of the function, and account for 151f3d122cdSPiotr Padlewski /// likely simplifications post-inlining. The most important aspect we track 152f3d122cdSPiotr Padlewski /// is CFG altering simplifications -- when we prove a basic block dead, that 153f3d122cdSPiotr Padlewski /// can cause dramatic shifts in the cost of inlining a function. 1547adc3a2bSChandler Carruth DenseMap<Value *, Constant *> SimplifiedValues; 1557adc3a2bSChandler Carruth 156f3d122cdSPiotr Padlewski /// Keep track of the values which map back (through function arguments) to 157f3d122cdSPiotr Padlewski /// allocas on the caller stack which could be simplified through SROA. 1587adc3a2bSChandler Carruth DenseMap<Value *, Value *> SROAArgValues; 1597adc3a2bSChandler Carruth 160f3d122cdSPiotr Padlewski /// The mapping of caller Alloca values to their accumulated cost savings. If 161f3d122cdSPiotr Padlewski /// we have to disable SROA for one of the allocas, this tells us how much 162f3d122cdSPiotr Padlewski /// cost must be added. 1637adc3a2bSChandler Carruth DenseMap<Value *, int> SROAArgCosts; 1647adc3a2bSChandler Carruth 165f3d122cdSPiotr Padlewski /// Keep track of values which map to a pointer base and constant offset. 1667adc3a2bSChandler Carruth DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs; 1677adc3a2bSChandler Carruth 1683739e14aSHaicheng Wu /// Keep track of dead blocks due to the constant arguments. 1693739e14aSHaicheng Wu SetVector<BasicBlock *> DeadBlocks; 1703739e14aSHaicheng Wu 1713739e14aSHaicheng Wu /// The mapping of the blocks to their known unique successors due to the 1723739e14aSHaicheng Wu /// constant arguments. 1733739e14aSHaicheng Wu DenseMap<BasicBlock *, BasicBlock *> KnownSuccessors; 1743739e14aSHaicheng Wu 175a4461515SHaicheng Wu /// Model the elimination of repeated loads that is expected to happen 176a4461515SHaicheng Wu /// whenever we simplify away the stores that would otherwise cause them to be 177a4461515SHaicheng Wu /// loads. 178a4461515SHaicheng Wu bool EnableLoadElimination; 179a4461515SHaicheng Wu SmallPtrSet<Value *, 16> LoadAddrSet; 180a4461515SHaicheng Wu int LoadEliminationCost; 181a4461515SHaicheng Wu 1827adc3a2bSChandler Carruth // Custom simplification helper routines. 1837adc3a2bSChandler Carruth bool isAllocaDerivedArg(Value *V); 1847adc3a2bSChandler Carruth bool lookupSROAArgAndCost(Value *V, Value *&Arg, 1857adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator &CostIt); 1867adc3a2bSChandler Carruth void disableSROA(DenseMap<Value *, int>::iterator CostIt); 1877adc3a2bSChandler Carruth void disableSROA(Value *V); 1883739e14aSHaicheng Wu void findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB); 1897adc3a2bSChandler Carruth void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 1907adc3a2bSChandler Carruth int InstructionCost); 191a4461515SHaicheng Wu void disableLoadElimination(); 192201b191bSHaicheng Wu bool isGEPFree(GetElementPtrInst &GEP); 193d3558b5dSEvgeny Astigeevich bool canFoldInboundsGEP(GetElementPtrInst &I); 1947adc3a2bSChandler Carruth bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset); 1957adc3a2bSChandler Carruth bool simplifyCallSite(Function *F, CallSite CS); 196617f6364SEaswaran Raman template <typename Callable> 197617f6364SEaswaran Raman bool simplifyInstruction(Instruction &I, Callable Evaluate); 1987adc3a2bSChandler Carruth ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V); 1997adc3a2bSChandler Carruth 2007adc3a2bSChandler Carruth /// Return true if the given argument to the function being considered for 2017adc3a2bSChandler Carruth /// inlining has the given attribute set either at the call site or the 2027adc3a2bSChandler Carruth /// function declaration. Primarily used to inspect call site specific 2037adc3a2bSChandler Carruth /// attributes since these can be more precise than the ones on the callee 2047adc3a2bSChandler Carruth /// itself. 2057adc3a2bSChandler Carruth bool paramHasAttr(Argument *A, Attribute::AttrKind Attr); 2067adc3a2bSChandler Carruth 2077adc3a2bSChandler Carruth /// Return true if the given value is known non null within the callee if 2087adc3a2bSChandler Carruth /// inlined through this particular callsite. 2097adc3a2bSChandler Carruth bool isKnownNonNullInCallee(Value *V); 2107adc3a2bSChandler Carruth 211f4bb2f0dSEaswaran Raman /// Update Threshold based on callsite properties such as callee 212f4bb2f0dSEaswaran Raman /// attributes and callee hotness for PGO builds. The Callee is explicitly 213f4bb2f0dSEaswaran Raman /// passed to support analyzing indirect calls whose target is inferred by 214f4bb2f0dSEaswaran Raman /// analysis. 215f4bb2f0dSEaswaran Raman void updateThreshold(CallSite CS, Function &Callee); 216f4bb2f0dSEaswaran Raman 2179a3fc17aSEaswaran Raman /// Return true if size growth is allowed when inlining the callee at CS. 2189a3fc17aSEaswaran Raman bool allowSizeGrowth(CallSite CS); 2199a3fc17aSEaswaran Raman 220c5fa6358SEaswaran Raman /// Return true if \p CS is a cold callsite. 221c5fa6358SEaswaran Raman bool isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI); 222c5fa6358SEaswaran Raman 223974d4eeaSEaswaran Raman /// Return a higher threshold if \p CS is a hot callsite. 224974d4eeaSEaswaran Raman Optional<int> getHotCallSiteThreshold(CallSite CS, 225974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI); 226974d4eeaSEaswaran Raman 2277adc3a2bSChandler Carruth // Custom analysis routines. 2287adc3a2bSChandler Carruth bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues); 2297adc3a2bSChandler Carruth 2307adc3a2bSChandler Carruth // Disable several entry points to the visitor so we don't accidentally use 2317adc3a2bSChandler Carruth // them by declaring but not defining them here. 232567556aaSChad Rosier void visit(Module *); 233567556aaSChad Rosier void visit(Module &); 234567556aaSChad Rosier void visit(Function *); 235567556aaSChad Rosier void visit(Function &); 236567556aaSChad Rosier void visit(BasicBlock *); 237567556aaSChad Rosier void visit(BasicBlock &); 2387adc3a2bSChandler Carruth 2397adc3a2bSChandler Carruth // Provide base case for our instruction visit. 2407adc3a2bSChandler Carruth bool visitInstruction(Instruction &I); 2417adc3a2bSChandler Carruth 2427adc3a2bSChandler Carruth // Our visit overrides. 2437adc3a2bSChandler Carruth bool visitAlloca(AllocaInst &I); 2447adc3a2bSChandler Carruth bool visitPHI(PHINode &I); 2457adc3a2bSChandler Carruth bool visitGetElementPtr(GetElementPtrInst &I); 2467adc3a2bSChandler Carruth bool visitBitCast(BitCastInst &I); 2477adc3a2bSChandler Carruth bool visitPtrToInt(PtrToIntInst &I); 2487adc3a2bSChandler Carruth bool visitIntToPtr(IntToPtrInst &I); 2497adc3a2bSChandler Carruth bool visitCastInst(CastInst &I); 2507adc3a2bSChandler Carruth bool visitUnaryInstruction(UnaryInstruction &I); 2517adc3a2bSChandler Carruth bool visitCmpInst(CmpInst &I); 2527adc3a2bSChandler Carruth bool visitSub(BinaryOperator &I); 2537adc3a2bSChandler Carruth bool visitBinaryOperator(BinaryOperator &I); 2547adc3a2bSChandler Carruth bool visitLoad(LoadInst &I); 2557adc3a2bSChandler Carruth bool visitStore(StoreInst &I); 2567adc3a2bSChandler Carruth bool visitExtractValue(ExtractValueInst &I); 2577adc3a2bSChandler Carruth bool visitInsertValue(InsertValueInst &I); 2587adc3a2bSChandler Carruth bool visitCallSite(CallSite CS); 2597adc3a2bSChandler Carruth bool visitReturnInst(ReturnInst &RI); 2607adc3a2bSChandler Carruth bool visitBranchInst(BranchInst &BI); 2613ec848bcSHaicheng Wu bool visitSelectInst(SelectInst &SI); 2627adc3a2bSChandler Carruth bool visitSwitchInst(SwitchInst &SI); 2637adc3a2bSChandler Carruth bool visitIndirectBrInst(IndirectBrInst &IBI); 2647adc3a2bSChandler Carruth bool visitResumeInst(ResumeInst &RI); 2657adc3a2bSChandler Carruth bool visitCleanupReturnInst(CleanupReturnInst &RI); 2667adc3a2bSChandler Carruth bool visitCatchReturnInst(CatchReturnInst &RI); 2677adc3a2bSChandler Carruth bool visitUnreachableInst(UnreachableInst &I); 2687adc3a2bSChandler Carruth 2697adc3a2bSChandler Carruth public: 270ab6a6837SSean Silva CallAnalyzer(const TargetTransformInfo &TTI, 271aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 27212585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI, 2730812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE, 2740812c5beSHaicheng Wu Function &Callee, CallSite CSArg, const InlineParams &Params) 27512585b01SEaswaran Raman : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI), 2760812c5beSHaicheng Wu PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()), ORE(ORE), 27785be8ca8SEric Christopher CandidateCS(CSArg), Params(Params), Threshold(Params.DefaultThreshold), 2784924bb00SEaswaran Raman Cost(0), ComputeFullInlineCost(OptComputeFullInlineCost || 2794924bb00SEaswaran Raman Params.ComputeFullInlineCost || ORE), 2804924bb00SEaswaran Raman IsCallerRecursive(false), IsRecursiveCall(false), 28185be8ca8SEric Christopher ExposesReturnsTwice(false), HasDynamicAlloca(false), 28285be8ca8SEric Christopher ContainsNoDuplicateCall(false), HasReturn(false), HasIndirectBr(false), 28385be8ca8SEric Christopher HasFrameEscape(false), AllocatedSize(0), NumInstructions(0), 28451b809bfSEaswaran Raman NumVectorInstructions(0), VectorBonus(0), SingleBBBonus(0), 285a4461515SHaicheng Wu EnableLoadElimination(true), LoadEliminationCost(0), NumConstantArgs(0), 286a4461515SHaicheng Wu NumConstantOffsetPtrArgs(0), NumAllocaArgs(0), NumConstantPtrCmps(0), 287a4461515SHaicheng Wu NumConstantPtrDiffs(0), NumInstructionsSimplified(0), 288a4461515SHaicheng Wu SROACostSavings(0), SROACostSavingsLost(0) {} 2897adc3a2bSChandler Carruth 2907adc3a2bSChandler Carruth bool analyzeCall(CallSite CS); 2917adc3a2bSChandler Carruth 2927adc3a2bSChandler Carruth int getThreshold() { return Threshold; } 2937adc3a2bSChandler Carruth int getCost() { return Cost; } 2947adc3a2bSChandler Carruth 2957adc3a2bSChandler Carruth // Keep a bunch of stats about the cost savings found so we can print them 2967adc3a2bSChandler Carruth // out when debugging. 2977adc3a2bSChandler Carruth unsigned NumConstantArgs; 2987adc3a2bSChandler Carruth unsigned NumConstantOffsetPtrArgs; 2997adc3a2bSChandler Carruth unsigned NumAllocaArgs; 3007adc3a2bSChandler Carruth unsigned NumConstantPtrCmps; 3017adc3a2bSChandler Carruth unsigned NumConstantPtrDiffs; 3027adc3a2bSChandler Carruth unsigned NumInstructionsSimplified; 3037adc3a2bSChandler Carruth unsigned SROACostSavings; 3047adc3a2bSChandler Carruth unsigned SROACostSavingsLost; 3057adc3a2bSChandler Carruth 3067adc3a2bSChandler Carruth void dump(); 3077adc3a2bSChandler Carruth }; 3087adc3a2bSChandler Carruth 3097adc3a2bSChandler Carruth } // namespace 3107adc3a2bSChandler Carruth 3117adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument. 3127adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) { 3137adc3a2bSChandler Carruth return SROAArgValues.count(V); 3147adc3a2bSChandler Carruth } 3157adc3a2bSChandler Carruth 3167adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to. 3177adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate. 3187adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost( 3197adc3a2bSChandler Carruth Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) { 3207adc3a2bSChandler Carruth if (SROAArgValues.empty() || SROAArgCosts.empty()) 3217adc3a2bSChandler Carruth return false; 3227adc3a2bSChandler Carruth 3237adc3a2bSChandler Carruth DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V); 3247adc3a2bSChandler Carruth if (ArgIt == SROAArgValues.end()) 3257adc3a2bSChandler Carruth return false; 3267adc3a2bSChandler Carruth 3277adc3a2bSChandler Carruth Arg = ArgIt->second; 3287adc3a2bSChandler Carruth CostIt = SROAArgCosts.find(Arg); 3297adc3a2bSChandler Carruth return CostIt != SROAArgCosts.end(); 3307adc3a2bSChandler Carruth } 3317adc3a2bSChandler Carruth 3327adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator. 3337adc3a2bSChandler Carruth /// 3347adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost 3357adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement. 3367adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) { 3377adc3a2bSChandler Carruth // If we're no longer able to perform SROA we need to undo its cost savings 3387adc3a2bSChandler Carruth // and prevent subsequent analysis. 3397adc3a2bSChandler Carruth Cost += CostIt->second; 3407adc3a2bSChandler Carruth SROACostSavings -= CostIt->second; 3417adc3a2bSChandler Carruth SROACostSavingsLost += CostIt->second; 3427adc3a2bSChandler Carruth SROAArgCosts.erase(CostIt); 343a4461515SHaicheng Wu disableLoadElimination(); 3447adc3a2bSChandler Carruth } 3457adc3a2bSChandler Carruth 3467adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it. 3477adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) { 3487adc3a2bSChandler Carruth Value *SROAArg; 3497adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 3507adc3a2bSChandler Carruth if (lookupSROAArgAndCost(V, SROAArg, CostIt)) 3517adc3a2bSChandler Carruth disableSROA(CostIt); 3527adc3a2bSChandler Carruth } 3537adc3a2bSChandler Carruth 3547adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate. 3557adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 3567adc3a2bSChandler Carruth int InstructionCost) { 3577adc3a2bSChandler Carruth CostIt->second += InstructionCost; 3587adc3a2bSChandler Carruth SROACostSavings += InstructionCost; 3597adc3a2bSChandler Carruth } 3607adc3a2bSChandler Carruth 361a4461515SHaicheng Wu void CallAnalyzer::disableLoadElimination() { 362a4461515SHaicheng Wu if (EnableLoadElimination) { 363a4461515SHaicheng Wu Cost += LoadEliminationCost; 364b3689cabSHaicheng Wu LoadEliminationCost = 0; 365a4461515SHaicheng Wu EnableLoadElimination = false; 366a4461515SHaicheng Wu } 367a4461515SHaicheng Wu } 368a4461515SHaicheng Wu 3697adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible. 3707adc3a2bSChandler Carruth /// 3717adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any 3727adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite. 3737adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) { 3747adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 3757adc3a2bSChandler Carruth assert(IntPtrWidth == Offset.getBitWidth()); 3767adc3a2bSChandler Carruth 3777adc3a2bSChandler Carruth for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP); 3787adc3a2bSChandler Carruth GTI != GTE; ++GTI) { 3797adc3a2bSChandler Carruth ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand()); 3807adc3a2bSChandler Carruth if (!OpC) 3817adc3a2bSChandler Carruth if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand())) 3827adc3a2bSChandler Carruth OpC = dyn_cast<ConstantInt>(SimpleOp); 3837adc3a2bSChandler Carruth if (!OpC) 3847adc3a2bSChandler Carruth return false; 385567556aaSChad Rosier if (OpC->isZero()) 386567556aaSChad Rosier continue; 3877adc3a2bSChandler Carruth 3887adc3a2bSChandler Carruth // Handle a struct index, which adds its field offset to the pointer. 389ab85225bSPeter Collingbourne if (StructType *STy = GTI.getStructTypeOrNull()) { 3907adc3a2bSChandler Carruth unsigned ElementIdx = OpC->getZExtValue(); 3917adc3a2bSChandler Carruth const StructLayout *SL = DL.getStructLayout(STy); 3927adc3a2bSChandler Carruth Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx)); 3937adc3a2bSChandler Carruth continue; 3947adc3a2bSChandler Carruth } 3957adc3a2bSChandler Carruth 3967adc3a2bSChandler Carruth APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType())); 3977adc3a2bSChandler Carruth Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize; 3987adc3a2bSChandler Carruth } 3997adc3a2bSChandler Carruth return true; 4007adc3a2bSChandler Carruth } 4017adc3a2bSChandler Carruth 402201b191bSHaicheng Wu /// \brief Use TTI to check whether a GEP is free. 403201b191bSHaicheng Wu /// 404201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite. 405201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) { 40661c1bd5aSEvgeny Astigeevich SmallVector<Value *, 4> Operands; 40761c1bd5aSEvgeny Astigeevich Operands.push_back(GEP.getOperand(0)); 408201b191bSHaicheng Wu for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 409201b191bSHaicheng Wu if (Constant *SimpleOp = SimplifiedValues.lookup(*I)) 41061c1bd5aSEvgeny Astigeevich Operands.push_back(SimpleOp); 411201b191bSHaicheng Wu else 41261c1bd5aSEvgeny Astigeevich Operands.push_back(*I); 41361c1bd5aSEvgeny Astigeevich return TargetTransformInfo::TCC_Free == TTI.getUserCost(&GEP, Operands); 414201b191bSHaicheng Wu } 415201b191bSHaicheng Wu 4167adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) { 4177adc3a2bSChandler Carruth // Check whether inlining will turn a dynamic alloca into a static 4180f153424SSanjay Patel // alloca and handle that case. 4197adc3a2bSChandler Carruth if (I.isArrayAllocation()) { 4200f153424SSanjay Patel Constant *Size = SimplifiedValues.lookup(I.getArraySize()); 4210f153424SSanjay Patel if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) { 4227adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 42322eb80a1SEaswaran Raman AllocatedSize = SaturatingMultiplyAdd( 42422eb80a1SEaswaran Raman AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize); 4257adc3a2bSChandler Carruth return Base::visitAlloca(I); 4267adc3a2bSChandler Carruth } 4277adc3a2bSChandler Carruth } 4287adc3a2bSChandler Carruth 4297adc3a2bSChandler Carruth // Accumulate the allocated size. 4307adc3a2bSChandler Carruth if (I.isStaticAlloca()) { 4317adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 43222eb80a1SEaswaran Raman AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize); 4337adc3a2bSChandler Carruth } 4347adc3a2bSChandler Carruth 4357adc3a2bSChandler Carruth // We will happily inline static alloca instructions. 4367adc3a2bSChandler Carruth if (I.isStaticAlloca()) 4377adc3a2bSChandler Carruth return Base::visitAlloca(I); 4387adc3a2bSChandler Carruth 4397adc3a2bSChandler Carruth // FIXME: This is overly conservative. Dynamic allocas are inefficient for 4407adc3a2bSChandler Carruth // a variety of reasons, and so we would like to not inline them into 4417adc3a2bSChandler Carruth // functions which don't currently have a dynamic alloca. This simply 4427adc3a2bSChandler Carruth // disables inlining altogether in the presence of a dynamic alloca. 4437adc3a2bSChandler Carruth HasDynamicAlloca = true; 4447adc3a2bSChandler Carruth return false; 4457adc3a2bSChandler Carruth } 4467adc3a2bSChandler Carruth 4477adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) { 4487adc3a2bSChandler Carruth // FIXME: We need to propagate SROA *disabling* through phi nodes, even 4497adc3a2bSChandler Carruth // though we don't want to propagate it's bonuses. The idea is to disable 4507adc3a2bSChandler Carruth // SROA if it *might* be used in an inappropriate manner. 4517adc3a2bSChandler Carruth 4527adc3a2bSChandler Carruth // Phi nodes are always zero-cost. 4533739e14aSHaicheng Wu 4543739e14aSHaicheng Wu APInt ZeroOffset = APInt::getNullValue(DL.getPointerSizeInBits()); 4553739e14aSHaicheng Wu bool CheckSROA = I.getType()->isPointerTy(); 4563739e14aSHaicheng Wu 4573739e14aSHaicheng Wu // Track the constant or pointer with constant offset we've seen so far. 4583739e14aSHaicheng Wu Constant *FirstC = nullptr; 4593739e14aSHaicheng Wu std::pair<Value *, APInt> FirstBaseAndOffset = {nullptr, ZeroOffset}; 4603739e14aSHaicheng Wu Value *FirstV = nullptr; 4613739e14aSHaicheng Wu 4623739e14aSHaicheng Wu for (unsigned i = 0, e = I.getNumIncomingValues(); i != e; ++i) { 4633739e14aSHaicheng Wu BasicBlock *Pred = I.getIncomingBlock(i); 4643739e14aSHaicheng Wu // If the incoming block is dead, skip the incoming block. 4653739e14aSHaicheng Wu if (DeadBlocks.count(Pred)) 4663739e14aSHaicheng Wu continue; 4673739e14aSHaicheng Wu // If the parent block of phi is not the known successor of the incoming 4683739e14aSHaicheng Wu // block, skip the incoming block. 4693739e14aSHaicheng Wu BasicBlock *KnownSuccessor = KnownSuccessors[Pred]; 4703739e14aSHaicheng Wu if (KnownSuccessor && KnownSuccessor != I.getParent()) 4713739e14aSHaicheng Wu continue; 4723739e14aSHaicheng Wu 4733739e14aSHaicheng Wu Value *V = I.getIncomingValue(i); 4743739e14aSHaicheng Wu // If the incoming value is this phi itself, skip the incoming value. 4753739e14aSHaicheng Wu if (&I == V) 4763739e14aSHaicheng Wu continue; 4773739e14aSHaicheng Wu 4783739e14aSHaicheng Wu Constant *C = dyn_cast<Constant>(V); 4793739e14aSHaicheng Wu if (!C) 4803739e14aSHaicheng Wu C = SimplifiedValues.lookup(V); 4813739e14aSHaicheng Wu 4823739e14aSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = {nullptr, ZeroOffset}; 4833739e14aSHaicheng Wu if (!C && CheckSROA) 4843739e14aSHaicheng Wu BaseAndOffset = ConstantOffsetPtrs.lookup(V); 4853739e14aSHaicheng Wu 4863739e14aSHaicheng Wu if (!C && !BaseAndOffset.first) 4873739e14aSHaicheng Wu // The incoming value is neither a constant nor a pointer with constant 4883739e14aSHaicheng Wu // offset, exit early. 4893739e14aSHaicheng Wu return true; 4903739e14aSHaicheng Wu 4913739e14aSHaicheng Wu if (FirstC) { 4923739e14aSHaicheng Wu if (FirstC == C) 4933739e14aSHaicheng Wu // If we've seen a constant incoming value before and it is the same 4943739e14aSHaicheng Wu // constant we see this time, continue checking the next incoming value. 4953739e14aSHaicheng Wu continue; 4963739e14aSHaicheng Wu // Otherwise early exit because we either see a different constant or saw 4973739e14aSHaicheng Wu // a constant before but we have a pointer with constant offset this time. 4983739e14aSHaicheng Wu return true; 4993739e14aSHaicheng Wu } 5003739e14aSHaicheng Wu 5013739e14aSHaicheng Wu if (FirstV) { 5023739e14aSHaicheng Wu // The same logic as above, but check pointer with constant offset here. 5033739e14aSHaicheng Wu if (FirstBaseAndOffset == BaseAndOffset) 5043739e14aSHaicheng Wu continue; 5053739e14aSHaicheng Wu return true; 5063739e14aSHaicheng Wu } 5073739e14aSHaicheng Wu 5083739e14aSHaicheng Wu if (C) { 5093739e14aSHaicheng Wu // This is the 1st time we've seen a constant, record it. 5103739e14aSHaicheng Wu FirstC = C; 5113739e14aSHaicheng Wu continue; 5123739e14aSHaicheng Wu } 5133739e14aSHaicheng Wu 5143739e14aSHaicheng Wu // The remaining case is that this is the 1st time we've seen a pointer with 5153739e14aSHaicheng Wu // constant offset, record it. 5163739e14aSHaicheng Wu FirstV = V; 5173739e14aSHaicheng Wu FirstBaseAndOffset = BaseAndOffset; 5183739e14aSHaicheng Wu } 5193739e14aSHaicheng Wu 5203739e14aSHaicheng Wu // Check if we can map phi to a constant. 5213739e14aSHaicheng Wu if (FirstC) { 5223739e14aSHaicheng Wu SimplifiedValues[&I] = FirstC; 5233739e14aSHaicheng Wu return true; 5243739e14aSHaicheng Wu } 5253739e14aSHaicheng Wu 5263739e14aSHaicheng Wu // Check if we can map phi to a pointer with constant offset. 5273739e14aSHaicheng Wu if (FirstBaseAndOffset.first) { 5283739e14aSHaicheng Wu ConstantOffsetPtrs[&I] = FirstBaseAndOffset; 5293739e14aSHaicheng Wu 5303739e14aSHaicheng Wu Value *SROAArg; 5313739e14aSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 5323739e14aSHaicheng Wu if (lookupSROAArgAndCost(FirstV, SROAArg, CostIt)) 5333739e14aSHaicheng Wu SROAArgValues[&I] = SROAArg; 5343739e14aSHaicheng Wu } 5353739e14aSHaicheng Wu 5367adc3a2bSChandler Carruth return true; 5377adc3a2bSChandler Carruth } 5387adc3a2bSChandler Carruth 539d3558b5dSEvgeny Astigeevich /// \brief Check we can fold GEPs of constant-offset call site argument pointers. 540d3558b5dSEvgeny Astigeevich /// This requires target data and inbounds GEPs. 541d3558b5dSEvgeny Astigeevich /// 542d3558b5dSEvgeny Astigeevich /// \return true if the specified GEP can be folded. 543d3558b5dSEvgeny Astigeevich bool CallAnalyzer::canFoldInboundsGEP(GetElementPtrInst &I) { 544d3558b5dSEvgeny Astigeevich // Check if we have a base + offset for the pointer. 545d3558b5dSEvgeny Astigeevich std::pair<Value *, APInt> BaseAndOffset = 546d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs.lookup(I.getPointerOperand()); 547d3558b5dSEvgeny Astigeevich if (!BaseAndOffset.first) 548d3558b5dSEvgeny Astigeevich return false; 549d3558b5dSEvgeny Astigeevich 550d3558b5dSEvgeny Astigeevich // Check if the offset of this GEP is constant, and if so accumulate it 551d3558b5dSEvgeny Astigeevich // into Offset. 552d3558b5dSEvgeny Astigeevich if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) 553d3558b5dSEvgeny Astigeevich return false; 554d3558b5dSEvgeny Astigeevich 555d3558b5dSEvgeny Astigeevich // Add the result as a new mapping to Base + Offset. 556d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs[&I] = BaseAndOffset; 557d3558b5dSEvgeny Astigeevich 558d3558b5dSEvgeny Astigeevich return true; 559d3558b5dSEvgeny Astigeevich } 560d3558b5dSEvgeny Astigeevich 5617adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) { 5627adc3a2bSChandler Carruth Value *SROAArg; 5637adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 564567556aaSChad Rosier bool SROACandidate = 565567556aaSChad Rosier lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt); 5667adc3a2bSChandler Carruth 567a8b9cdc9SEaswaran Raman // Lambda to check whether a GEP's indices are all constant. 568a8b9cdc9SEaswaran Raman auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) { 569a8b9cdc9SEaswaran Raman for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 570a8b9cdc9SEaswaran Raman if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I)) 571a8b9cdc9SEaswaran Raman return false; 572a8b9cdc9SEaswaran Raman return true; 573a8b9cdc9SEaswaran Raman }; 574a8b9cdc9SEaswaran Raman 575d3558b5dSEvgeny Astigeevich if ((I.isInBounds() && canFoldInboundsGEP(I)) || IsGEPOffsetConstant(I)) { 5767adc3a2bSChandler Carruth if (SROACandidate) 5777adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5787adc3a2bSChandler Carruth 5797adc3a2bSChandler Carruth // Constant GEPs are modeled as free. 5807adc3a2bSChandler Carruth return true; 5817adc3a2bSChandler Carruth } 5827adc3a2bSChandler Carruth 5837adc3a2bSChandler Carruth // Variable GEPs will require math and will disable SROA. 5847adc3a2bSChandler Carruth if (SROACandidate) 5857adc3a2bSChandler Carruth disableSROA(CostIt); 586201b191bSHaicheng Wu return isGEPFree(I); 5877adc3a2bSChandler Carruth } 5887adc3a2bSChandler Carruth 589617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues. 590617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the 591617f6364SEaswaran Raman /// instruction when all the operands are constants. 592617f6364SEaswaran Raman template <typename Callable> 593617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) { 594617f6364SEaswaran Raman SmallVector<Constant *, 2> COps; 595617f6364SEaswaran Raman for (Value *Op : I.operands()) { 596617f6364SEaswaran Raman Constant *COp = dyn_cast<Constant>(Op); 5977adc3a2bSChandler Carruth if (!COp) 598617f6364SEaswaran Raman COp = SimplifiedValues.lookup(Op); 599617f6364SEaswaran Raman if (!COp) 600617f6364SEaswaran Raman return false; 601617f6364SEaswaran Raman COps.push_back(COp); 602617f6364SEaswaran Raman } 603617f6364SEaswaran Raman auto *C = Evaluate(COps); 604617f6364SEaswaran Raman if (!C) 605617f6364SEaswaran Raman return false; 6067adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 6077adc3a2bSChandler Carruth return true; 6087adc3a2bSChandler Carruth } 6097adc3a2bSChandler Carruth 610617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) { 611617f6364SEaswaran Raman // Propagate constants through bitcasts. 612617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 613617f6364SEaswaran Raman return ConstantExpr::getBitCast(COps[0], I.getType()); 614617f6364SEaswaran Raman })) 615617f6364SEaswaran Raman return true; 616617f6364SEaswaran Raman 6177adc3a2bSChandler Carruth // Track base/offsets through casts 618567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 619567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 6207adc3a2bSChandler Carruth // Casts don't change the offset, just wrap it up. 6217adc3a2bSChandler Carruth if (BaseAndOffset.first) 6227adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6237adc3a2bSChandler Carruth 6247adc3a2bSChandler Carruth // Also look for SROA candidates here. 6257adc3a2bSChandler Carruth Value *SROAArg; 6267adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6277adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 6287adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6297adc3a2bSChandler Carruth 6307adc3a2bSChandler Carruth // Bitcasts are always zero cost. 6317adc3a2bSChandler Carruth return true; 6327adc3a2bSChandler Carruth } 6337adc3a2bSChandler Carruth 6347adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) { 6357adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 636617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 637617f6364SEaswaran Raman return ConstantExpr::getPtrToInt(COps[0], I.getType()); 638617f6364SEaswaran Raman })) 6397adc3a2bSChandler Carruth return true; 6407adc3a2bSChandler Carruth 6417adc3a2bSChandler Carruth // Track base/offset pairs when converted to a plain integer provided the 6427adc3a2bSChandler Carruth // integer is large enough to represent the pointer. 6437adc3a2bSChandler Carruth unsigned IntegerSize = I.getType()->getScalarSizeInBits(); 6447adc3a2bSChandler Carruth if (IntegerSize >= DL.getPointerSizeInBits()) { 645567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 646567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 6477adc3a2bSChandler Carruth if (BaseAndOffset.first) 6487adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6497adc3a2bSChandler Carruth } 6507adc3a2bSChandler Carruth 6517adc3a2bSChandler Carruth // This is really weird. Technically, ptrtoint will disable SROA. However, 6527adc3a2bSChandler Carruth // unless that ptrtoint is *used* somewhere in the live basic blocks after 6537adc3a2bSChandler Carruth // inlining, it will be nuked, and SROA should proceed. All of the uses which 6547adc3a2bSChandler Carruth // would block SROA would also block SROA if applied directly to a pointer, 6557adc3a2bSChandler Carruth // and so we can just add the integer in here. The only places where SROA is 6567adc3a2bSChandler Carruth // preserved either cannot fire on an integer, or won't in-and-of themselves 6577adc3a2bSChandler Carruth // disable SROA (ext) w/o some later use that we would see and disable. 6587adc3a2bSChandler Carruth Value *SROAArg; 6597adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6607adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 6617adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6627adc3a2bSChandler Carruth 6637adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 6647adc3a2bSChandler Carruth } 6657adc3a2bSChandler Carruth 6667adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) { 6677adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 668617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 669617f6364SEaswaran Raman return ConstantExpr::getIntToPtr(COps[0], I.getType()); 670617f6364SEaswaran Raman })) 6717adc3a2bSChandler Carruth return true; 6727adc3a2bSChandler Carruth 6737adc3a2bSChandler Carruth // Track base/offset pairs when round-tripped through a pointer without 6747adc3a2bSChandler Carruth // modifications provided the integer is not too large. 6757adc3a2bSChandler Carruth Value *Op = I.getOperand(0); 6767adc3a2bSChandler Carruth unsigned IntegerSize = Op->getType()->getScalarSizeInBits(); 6777adc3a2bSChandler Carruth if (IntegerSize <= DL.getPointerSizeInBits()) { 6787adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op); 6797adc3a2bSChandler Carruth if (BaseAndOffset.first) 6807adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6817adc3a2bSChandler Carruth } 6827adc3a2bSChandler Carruth 6837adc3a2bSChandler Carruth // "Propagate" SROA here in the same manner as we do for ptrtoint above. 6847adc3a2bSChandler Carruth Value *SROAArg; 6857adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6867adc3a2bSChandler Carruth if (lookupSROAArgAndCost(Op, SROAArg, CostIt)) 6877adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6887adc3a2bSChandler Carruth 6897adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 6907adc3a2bSChandler Carruth } 6917adc3a2bSChandler Carruth 6927adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) { 6937adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 694617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 695617f6364SEaswaran Raman return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType()); 696617f6364SEaswaran Raman })) 6977adc3a2bSChandler Carruth return true; 6987adc3a2bSChandler Carruth 6997adc3a2bSChandler Carruth // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere. 7007adc3a2bSChandler Carruth disableSROA(I.getOperand(0)); 7017adc3a2bSChandler Carruth 70239ed9a60SEli Friedman // If this is a floating-point cast, and the target says this operation 70339ed9a60SEli Friedman // is expensive, this may eventually become a library call. Treat the cost 70439ed9a60SEli Friedman // as such. 70539ed9a60SEli Friedman switch (I.getOpcode()) { 70639ed9a60SEli Friedman case Instruction::FPTrunc: 70739ed9a60SEli Friedman case Instruction::FPExt: 70839ed9a60SEli Friedman case Instruction::UIToFP: 70939ed9a60SEli Friedman case Instruction::SIToFP: 71039ed9a60SEli Friedman case Instruction::FPToUI: 71139ed9a60SEli Friedman case Instruction::FPToSI: 71239ed9a60SEli Friedman if (TTI.getFPOpCost(I.getType()) == TargetTransformInfo::TCC_Expensive) 71339ed9a60SEli Friedman Cost += InlineConstants::CallPenalty; 71439ed9a60SEli Friedman default: 71539ed9a60SEli Friedman break; 71639ed9a60SEli Friedman } 71739ed9a60SEli Friedman 7187adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 7197adc3a2bSChandler Carruth } 7207adc3a2bSChandler Carruth 7217adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) { 7227adc3a2bSChandler Carruth Value *Operand = I.getOperand(0); 723617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 724617f6364SEaswaran Raman return ConstantFoldInstOperands(&I, COps[0], DL); 725617f6364SEaswaran Raman })) 7267adc3a2bSChandler Carruth return true; 7277adc3a2bSChandler Carruth 7287adc3a2bSChandler Carruth // Disable any SROA on the argument to arbitrary unary operators. 7297adc3a2bSChandler Carruth disableSROA(Operand); 7307adc3a2bSChandler Carruth 7317adc3a2bSChandler Carruth return false; 7327adc3a2bSChandler Carruth } 7337adc3a2bSChandler Carruth 7347adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) { 735fb502d2fSReid Kleckner return CandidateCS.paramHasAttr(A->getArgNo(), Attr); 7367adc3a2bSChandler Carruth } 7377adc3a2bSChandler Carruth 7387adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) { 7397adc3a2bSChandler Carruth // Does the *call site* have the NonNull attribute set on an argument? We 7407adc3a2bSChandler Carruth // use the attribute on the call site to memoize any analysis done in the 7417adc3a2bSChandler Carruth // caller. This will also trip if the callee function has a non-null 7427adc3a2bSChandler Carruth // parameter attribute, but that's a less interesting case because hopefully 7437adc3a2bSChandler Carruth // the callee would already have been simplified based on that. 7447adc3a2bSChandler Carruth if (Argument *A = dyn_cast<Argument>(V)) 7457adc3a2bSChandler Carruth if (paramHasAttr(A, Attribute::NonNull)) 7467adc3a2bSChandler Carruth return true; 7477adc3a2bSChandler Carruth 7487adc3a2bSChandler Carruth // Is this an alloca in the caller? This is distinct from the attribute case 7497adc3a2bSChandler Carruth // above because attributes aren't updated within the inliner itself and we 7507adc3a2bSChandler Carruth // always want to catch the alloca derived case. 7517adc3a2bSChandler Carruth if (isAllocaDerivedArg(V)) 7527adc3a2bSChandler Carruth // We can actually predict the result of comparisons between an 7537adc3a2bSChandler Carruth // alloca-derived value and null. Note that this fires regardless of 7547adc3a2bSChandler Carruth // SROA firing. 7557adc3a2bSChandler Carruth return true; 7567adc3a2bSChandler Carruth 7577adc3a2bSChandler Carruth return false; 7587adc3a2bSChandler Carruth } 7597adc3a2bSChandler Carruth 7609a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) { 7619a3fc17aSEaswaran Raman // If the normal destination of the invoke or the parent block of the call 7629a3fc17aSEaswaran Raman // site is unreachable-terminated, there is little point in inlining this 7639a3fc17aSEaswaran Raman // unless there is literally zero cost. 7649a3fc17aSEaswaran Raman // FIXME: Note that it is possible that an unreachable-terminated block has a 7659a3fc17aSEaswaran Raman // hot entry. For example, in below scenario inlining hot_call_X() may be 7669a3fc17aSEaswaran Raman // beneficial : 7679a3fc17aSEaswaran Raman // main() { 7689a3fc17aSEaswaran Raman // hot_call_1(); 7699a3fc17aSEaswaran Raman // ... 7709a3fc17aSEaswaran Raman // hot_call_N() 7719a3fc17aSEaswaran Raman // exit(0); 7729a3fc17aSEaswaran Raman // } 7739a3fc17aSEaswaran Raman // For now, we are not handling this corner case here as it is rare in real 7749a3fc17aSEaswaran Raman // code. In future, we should elaborate this based on BPI and BFI in more 7759a3fc17aSEaswaran Raman // general threshold adjusting heuristics in updateThreshold(). 7769a3fc17aSEaswaran Raman Instruction *Instr = CS.getInstruction(); 7779a3fc17aSEaswaran Raman if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) { 7789a3fc17aSEaswaran Raman if (isa<UnreachableInst>(II->getNormalDest()->getTerminator())) 7799a3fc17aSEaswaran Raman return false; 7809a3fc17aSEaswaran Raman } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator())) 7819a3fc17aSEaswaran Raman return false; 7829a3fc17aSEaswaran Raman 7839a3fc17aSEaswaran Raman return true; 7849a3fc17aSEaswaran Raman } 7859a3fc17aSEaswaran Raman 786c5fa6358SEaswaran Raman bool CallAnalyzer::isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI) { 787c5fa6358SEaswaran Raman // If global profile summary is available, then callsite's coldness is 788c5fa6358SEaswaran Raman // determined based on that. 789bba762a1SChandler Carruth if (PSI && PSI->hasProfileSummary()) 790c5fa6358SEaswaran Raman return PSI->isColdCallSite(CS, CallerBFI); 791bba762a1SChandler Carruth 792bba762a1SChandler Carruth // Otherwise we need BFI to be available. 793c5fa6358SEaswaran Raman if (!CallerBFI) 794c5fa6358SEaswaran Raman return false; 795c5fa6358SEaswaran Raman 796bba762a1SChandler Carruth // Determine if the callsite is cold relative to caller's entry. We could 797bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 798bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 799bba762a1SChandler Carruth // profiles. 800c5fa6358SEaswaran Raman const BranchProbability ColdProb(ColdCallSiteRelFreq, 100); 801c5fa6358SEaswaran Raman auto CallSiteBB = CS.getInstruction()->getParent(); 802c5fa6358SEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB); 803c5fa6358SEaswaran Raman auto CallerEntryFreq = 804c5fa6358SEaswaran Raman CallerBFI->getBlockFreq(&(CS.getCaller()->getEntryBlock())); 805c5fa6358SEaswaran Raman return CallSiteFreq < CallerEntryFreq * ColdProb; 806c5fa6358SEaswaran Raman } 807c5fa6358SEaswaran Raman 808974d4eeaSEaswaran Raman Optional<int> 809974d4eeaSEaswaran Raman CallAnalyzer::getHotCallSiteThreshold(CallSite CS, 810974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI) { 811bba762a1SChandler Carruth 812974d4eeaSEaswaran Raman // If global profile summary is available, then callsite's hotness is 813974d4eeaSEaswaran Raman // determined based on that. 814bba762a1SChandler Carruth if (PSI && PSI->hasProfileSummary() && PSI->isHotCallSite(CS, CallerBFI)) 815bba762a1SChandler Carruth return Params.HotCallSiteThreshold; 816974d4eeaSEaswaran Raman 817bba762a1SChandler Carruth // Otherwise we need BFI to be available and to have a locally hot callsite 818bba762a1SChandler Carruth // threshold. 819bba762a1SChandler Carruth if (!CallerBFI || !Params.LocallyHotCallSiteThreshold) 820974d4eeaSEaswaran Raman return None; 821974d4eeaSEaswaran Raman 822bba762a1SChandler Carruth // Determine if the callsite is hot relative to caller's entry. We could 823bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 824bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 825bba762a1SChandler Carruth // profiles. 826974d4eeaSEaswaran Raman auto CallSiteBB = CS.getInstruction()->getParent(); 827974d4eeaSEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB).getFrequency(); 828974d4eeaSEaswaran Raman auto CallerEntryFreq = CallerBFI->getEntryFreq(); 829974d4eeaSEaswaran Raman if (CallSiteFreq >= CallerEntryFreq * HotCallSiteRelFreq) 830bba762a1SChandler Carruth return Params.LocallyHotCallSiteThreshold; 831bba762a1SChandler Carruth 832bba762a1SChandler Carruth // Otherwise treat it normally. 833974d4eeaSEaswaran Raman return None; 834974d4eeaSEaswaran Raman } 835974d4eeaSEaswaran Raman 836f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) { 8379a3fc17aSEaswaran Raman // If no size growth is allowed for this inlining, set Threshold to 0. 8389a3fc17aSEaswaran Raman if (!allowSizeGrowth(CS)) { 8399a3fc17aSEaswaran Raman Threshold = 0; 8409a3fc17aSEaswaran Raman return; 8419a3fc17aSEaswaran Raman } 8429a3fc17aSEaswaran Raman 843bb578ef0SEaswaran Raman Function *Caller = CS.getCaller(); 8441c57cc2bSEaswaran Raman 8451c57cc2bSEaswaran Raman // return min(A, B) if B is valid. 8461c57cc2bSEaswaran Raman auto MinIfValid = [](int A, Optional<int> B) { 8471c57cc2bSEaswaran Raman return B ? std::min(A, B.getValue()) : A; 8481c57cc2bSEaswaran Raman }; 8491c57cc2bSEaswaran Raman 8500d58fcacSEaswaran Raman // return max(A, B) if B is valid. 8510d58fcacSEaswaran Raman auto MaxIfValid = [](int A, Optional<int> B) { 8520d58fcacSEaswaran Raman return B ? std::max(A, B.getValue()) : A; 8530d58fcacSEaswaran Raman }; 8540d58fcacSEaswaran Raman 85551b809bfSEaswaran Raman // Various bonus percentages. These are multiplied by Threshold to get the 85651b809bfSEaswaran Raman // bonus values. 85751b809bfSEaswaran Raman // SingleBBBonus: This bonus is applied if the callee has a single reachable 85851b809bfSEaswaran Raman // basic block at the given callsite context. This is speculatively applied 85951b809bfSEaswaran Raman // and withdrawn if more than one basic block is seen. 86051b809bfSEaswaran Raman // 86151b809bfSEaswaran Raman // Vector bonuses: We want to more aggressively inline vector-dense kernels 86251b809bfSEaswaran Raman // and apply this bonus based on the percentage of vector instructions. A 86351b809bfSEaswaran Raman // bonus is applied if the vector instructions exceed 50% and half that amount 86451b809bfSEaswaran Raman // is applied if it exceeds 10%. Note that these bonuses are some what 86551b809bfSEaswaran Raman // arbitrary and evolved over time by accident as much as because they are 86651b809bfSEaswaran Raman // principled bonuses. 86751b809bfSEaswaran Raman // FIXME: It would be nice to base the bonus values on something more 86851b809bfSEaswaran Raman // scientific. 86951b809bfSEaswaran Raman // 87051b809bfSEaswaran Raman // LstCallToStaticBonus: This large bonus is applied to ensure the inlining 87151b809bfSEaswaran Raman // of the last call to a static function as inlining such functions is 87251b809bfSEaswaran Raman // guaranteed to reduce code size. 87351b809bfSEaswaran Raman // 87451b809bfSEaswaran Raman // These bonus percentages may be set to 0 based on properties of the caller 87551b809bfSEaswaran Raman // and the callsite. 87651b809bfSEaswaran Raman int SingleBBBonusPercent = 50; 87751b809bfSEaswaran Raman int VectorBonusPercent = 150; 87851b809bfSEaswaran Raman int LastCallToStaticBonus = InlineConstants::LastCallToStaticBonus; 87951b809bfSEaswaran Raman 88051b809bfSEaswaran Raman // Lambda to set all the above bonus and bonus percentages to 0. 88151b809bfSEaswaran Raman auto DisallowAllBonuses = [&]() { 88251b809bfSEaswaran Raman SingleBBBonusPercent = 0; 88351b809bfSEaswaran Raman VectorBonusPercent = 0; 88451b809bfSEaswaran Raman LastCallToStaticBonus = 0; 88551b809bfSEaswaran Raman }; 88651b809bfSEaswaran Raman 8871c57cc2bSEaswaran Raman // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available 8881c57cc2bSEaswaran Raman // and reduce the threshold if the caller has the necessary attribute. 88951b809bfSEaswaran Raman if (Caller->optForMinSize()) { 8901c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold); 89151b809bfSEaswaran Raman // For minsize, we want to disable the single BB bonus and the vector 89251b809bfSEaswaran Raman // bonuses, but not the last-call-to-static bonus. Inlining the last call to 89351b809bfSEaswaran Raman // a static function will, at the minimum, eliminate the parameter setup and 89451b809bfSEaswaran Raman // call/return instructions. 89551b809bfSEaswaran Raman SingleBBBonusPercent = 0; 89651b809bfSEaswaran Raman VectorBonusPercent = 0; 89751b809bfSEaswaran Raman } else if (Caller->optForSize()) 8981c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptSizeThreshold); 899f4bb2f0dSEaswaran Raman 900e08b139dSEaswaran Raman // Adjust the threshold based on inlinehint attribute and profile based 901e08b139dSEaswaran Raman // hotness information if the caller does not have MinSize attribute. 902e08b139dSEaswaran Raman if (!Caller->optForMinSize()) { 903e08b139dSEaswaran Raman if (Callee.hasFnAttribute(Attribute::InlineHint)) 9040d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 905bba762a1SChandler Carruth 9063cd1479cSEaswaran Raman // FIXME: After switching to the new passmanager, simplify the logic below 907bba762a1SChandler Carruth // by checking only the callsite hotness/coldness as we will reliably 908bba762a1SChandler Carruth // have local profile information. 9093cd1479cSEaswaran Raman // 910bba762a1SChandler Carruth // Callsite hotness and coldness can be determined if sample profile is 911bba762a1SChandler Carruth // used (which adds hotness metadata to calls) or if caller's 912bba762a1SChandler Carruth // BlockFrequencyInfo is available. 913bba762a1SChandler Carruth BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr; 914974d4eeaSEaswaran Raman auto HotCallSiteThreshold = getHotCallSiteThreshold(CS, CallerBFI); 915974d4eeaSEaswaran Raman if (!Caller->optForSize() && HotCallSiteThreshold) { 91612585b01SEaswaran Raman DEBUG(dbgs() << "Hot callsite.\n"); 917974d4eeaSEaswaran Raman // FIXME: This should update the threshold only if it exceeds the 918974d4eeaSEaswaran Raman // current threshold, but AutoFDO + ThinLTO currently relies on this 919974d4eeaSEaswaran Raman // behavior to prevent inlining of hot callsites during ThinLTO 920974d4eeaSEaswaran Raman // compile phase. 921974d4eeaSEaswaran Raman Threshold = HotCallSiteThreshold.getValue(); 922c5fa6358SEaswaran Raman } else if (isColdCallSite(CS, CallerBFI)) { 9233cd1479cSEaswaran Raman DEBUG(dbgs() << "Cold callsite.\n"); 92451b809bfSEaswaran Raman // Do not apply bonuses for a cold callsite including the 92551b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 92651b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 92751b809bfSEaswaran Raman // preventing it from being inlined. 92851b809bfSEaswaran Raman DisallowAllBonuses(); 9293cd1479cSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold); 930bba762a1SChandler Carruth } else if (PSI) { 931bba762a1SChandler Carruth // Use callee's global profile information only if we have no way of 932bba762a1SChandler Carruth // determining this via callsite information. 9333cd1479cSEaswaran Raman if (PSI->isFunctionEntryHot(&Callee)) { 93412585b01SEaswaran Raman DEBUG(dbgs() << "Hot callee.\n"); 935e08b139dSEaswaran Raman // If callsite hotness can not be determined, we may still know 936e08b139dSEaswaran Raman // that the callee is hot and treat it as a weaker hint for threshold 937e08b139dSEaswaran Raman // increase. 938e08b139dSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 939e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryCold(&Callee)) { 94012585b01SEaswaran Raman DEBUG(dbgs() << "Cold callee.\n"); 94151b809bfSEaswaran Raman // Do not apply bonuses for a cold callee including the 94251b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 94351b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 94451b809bfSEaswaran Raman // preventing it from being inlined. 94551b809bfSEaswaran Raman DisallowAllBonuses(); 9461c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdThreshold); 947e08b139dSEaswaran Raman } 948e08b139dSEaswaran Raman } 949e08b139dSEaswaran Raman } 9508650a4daSJustin Lebar 9518650a4daSJustin Lebar // Finally, take the target-specific inlining threshold multiplier into 9528650a4daSJustin Lebar // account. 9538650a4daSJustin Lebar Threshold *= TTI.getInliningThresholdMultiplier(); 95451b809bfSEaswaran Raman 95551b809bfSEaswaran Raman SingleBBBonus = Threshold * SingleBBBonusPercent / 100; 95651b809bfSEaswaran Raman VectorBonus = Threshold * VectorBonusPercent / 100; 95751b809bfSEaswaran Raman 95851b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 95951b809bfSEaswaran Raman F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction(); 96051b809bfSEaswaran Raman // If there is only one call of the function, and it has internal linkage, 96151b809bfSEaswaran Raman // the cost of inlining it drops dramatically. It may seem odd to update 96251b809bfSEaswaran Raman // Cost in updateThreshold, but the bonus depends on the logic in this method. 96351b809bfSEaswaran Raman if (OnlyOneCallAndLocalLinkage) 96451b809bfSEaswaran Raman Cost -= LastCallToStaticBonus; 965f4bb2f0dSEaswaran Raman } 966f4bb2f0dSEaswaran Raman 9677adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) { 9687adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 9697adc3a2bSChandler Carruth // First try to handle simplified comparisons. 970617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 971617f6364SEaswaran Raman return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]); 972617f6364SEaswaran Raman })) 9737adc3a2bSChandler Carruth return true; 9747adc3a2bSChandler Carruth 9757adc3a2bSChandler Carruth if (I.getOpcode() == Instruction::FCmp) 9767adc3a2bSChandler Carruth return false; 9777adc3a2bSChandler Carruth 9787adc3a2bSChandler Carruth // Otherwise look for a comparison between constant offset pointers with 9797adc3a2bSChandler Carruth // a common base. 9807adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 9817adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 9827adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 9837adc3a2bSChandler Carruth if (LHSBase) { 9847adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 9857adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 9867adc3a2bSChandler Carruth // We have common bases, fold the icmp to a constant based on the 9877adc3a2bSChandler Carruth // offsets. 9887adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 9897adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 9907adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) { 9917adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 9927adc3a2bSChandler Carruth ++NumConstantPtrCmps; 9937adc3a2bSChandler Carruth return true; 9947adc3a2bSChandler Carruth } 9957adc3a2bSChandler Carruth } 9967adc3a2bSChandler Carruth } 9977adc3a2bSChandler Carruth 9987adc3a2bSChandler Carruth // If the comparison is an equality comparison with null, we can simplify it 9997adc3a2bSChandler Carruth // if we know the value (argument) can't be null 10007adc3a2bSChandler Carruth if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) && 10017adc3a2bSChandler Carruth isKnownNonNullInCallee(I.getOperand(0))) { 10027adc3a2bSChandler Carruth bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE; 10037adc3a2bSChandler Carruth SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType()) 10047adc3a2bSChandler Carruth : ConstantInt::getFalse(I.getType()); 10057adc3a2bSChandler Carruth return true; 10067adc3a2bSChandler Carruth } 10077adc3a2bSChandler Carruth // Finally check for SROA candidates in comparisons. 10087adc3a2bSChandler Carruth Value *SROAArg; 10097adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 10107adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) { 10117adc3a2bSChandler Carruth if (isa<ConstantPointerNull>(I.getOperand(1))) { 10127adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 10137adc3a2bSChandler Carruth return true; 10147adc3a2bSChandler Carruth } 10157adc3a2bSChandler Carruth 10167adc3a2bSChandler Carruth disableSROA(CostIt); 10177adc3a2bSChandler Carruth } 10187adc3a2bSChandler Carruth 10197adc3a2bSChandler Carruth return false; 10207adc3a2bSChandler Carruth } 10217adc3a2bSChandler Carruth 10227adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) { 10237adc3a2bSChandler Carruth // Try to handle a special case: we can fold computing the difference of two 10247adc3a2bSChandler Carruth // constant-related pointers. 10257adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 10267adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 10277adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 10287adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 10297adc3a2bSChandler Carruth if (LHSBase) { 10307adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 10317adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 10327adc3a2bSChandler Carruth // We have common bases, fold the subtract to a constant based on the 10337adc3a2bSChandler Carruth // offsets. 10347adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 10357adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 10367adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) { 10377adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 10387adc3a2bSChandler Carruth ++NumConstantPtrDiffs; 10397adc3a2bSChandler Carruth return true; 10407adc3a2bSChandler Carruth } 10417adc3a2bSChandler Carruth } 10427adc3a2bSChandler Carruth } 10437adc3a2bSChandler Carruth 10447adc3a2bSChandler Carruth // Otherwise, fall back to the generic logic for simplifying and handling 10457adc3a2bSChandler Carruth // instructions. 10467adc3a2bSChandler Carruth return Base::visitSub(I); 10477adc3a2bSChandler Carruth } 10487adc3a2bSChandler Carruth 10497adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) { 10507adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 1051*6d14dfe8SHaicheng Wu Constant *CLHS = dyn_cast<Constant>(LHS); 1052*6d14dfe8SHaicheng Wu if (!CLHS) 1053*6d14dfe8SHaicheng Wu CLHS = SimplifiedValues.lookup(LHS); 1054*6d14dfe8SHaicheng Wu Constant *CRHS = dyn_cast<Constant>(RHS); 1055*6d14dfe8SHaicheng Wu if (!CRHS) 1056*6d14dfe8SHaicheng Wu CRHS = SimplifiedValues.lookup(RHS); 1057*6d14dfe8SHaicheng Wu 10587adc3a2bSChandler Carruth Value *SimpleV = nullptr; 10597adc3a2bSChandler Carruth if (auto FI = dyn_cast<FPMathOperator>(&I)) 1060*6d14dfe8SHaicheng Wu SimpleV = SimplifyFPBinOp(I.getOpcode(), CLHS ? CLHS : LHS, 1061*6d14dfe8SHaicheng Wu CRHS ? CRHS : RHS, FI->getFastMathFlags(), DL); 10627adc3a2bSChandler Carruth else 1063*6d14dfe8SHaicheng Wu SimpleV = 1064*6d14dfe8SHaicheng Wu SimplifyBinOp(I.getOpcode(), CLHS ? CLHS : LHS, CRHS ? CRHS : RHS, DL); 10657adc3a2bSChandler Carruth 1066*6d14dfe8SHaicheng Wu if (Constant *C = dyn_cast_or_null<Constant>(SimpleV)) 1067*6d14dfe8SHaicheng Wu SimplifiedValues[&I] = C; 1068*6d14dfe8SHaicheng Wu 1069*6d14dfe8SHaicheng Wu if (SimpleV) 10707adc3a2bSChandler Carruth return true; 10717adc3a2bSChandler Carruth 10727adc3a2bSChandler Carruth // Disable any SROA on arguments to arbitrary, unsimplified binary operators. 10737adc3a2bSChandler Carruth disableSROA(LHS); 10747adc3a2bSChandler Carruth disableSROA(RHS); 10757adc3a2bSChandler Carruth 107639ed9a60SEli Friedman // If the instruction is floating point, and the target says this operation 107739ed9a60SEli Friedman // is expensive, this may eventually become a library call. Treat the cost 107839ed9a60SEli Friedman // as such. 107939ed9a60SEli Friedman if (I.getType()->isFloatingPointTy() && 108039ed9a60SEli Friedman TTI.getFPOpCost(I.getType()) == TargetTransformInfo::TCC_Expensive) 108139ed9a60SEli Friedman Cost += InlineConstants::CallPenalty; 108239ed9a60SEli Friedman 10837adc3a2bSChandler Carruth return false; 10847adc3a2bSChandler Carruth } 10857adc3a2bSChandler Carruth 10867adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) { 10877adc3a2bSChandler Carruth Value *SROAArg; 10887adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 10897adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 10907adc3a2bSChandler Carruth if (I.isSimple()) { 10917adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 10927adc3a2bSChandler Carruth return true; 10937adc3a2bSChandler Carruth } 10947adc3a2bSChandler Carruth 10957adc3a2bSChandler Carruth disableSROA(CostIt); 10967adc3a2bSChandler Carruth } 10977adc3a2bSChandler Carruth 1098a4461515SHaicheng Wu // If the data is already loaded from this address and hasn't been clobbered 1099a4461515SHaicheng Wu // by any stores or calls, this load is likely to be redundant and can be 1100a4461515SHaicheng Wu // eliminated. 1101a4461515SHaicheng Wu if (EnableLoadElimination && 1102b3689cabSHaicheng Wu !LoadAddrSet.insert(I.getPointerOperand()).second && I.isUnordered()) { 1103a4461515SHaicheng Wu LoadEliminationCost += InlineConstants::InstrCost; 1104a4461515SHaicheng Wu return true; 1105a4461515SHaicheng Wu } 1106a4461515SHaicheng Wu 11077adc3a2bSChandler Carruth return false; 11087adc3a2bSChandler Carruth } 11097adc3a2bSChandler Carruth 11107adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) { 11117adc3a2bSChandler Carruth Value *SROAArg; 11127adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 11137adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 11147adc3a2bSChandler Carruth if (I.isSimple()) { 11157adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 11167adc3a2bSChandler Carruth return true; 11177adc3a2bSChandler Carruth } 11187adc3a2bSChandler Carruth 11197adc3a2bSChandler Carruth disableSROA(CostIt); 11207adc3a2bSChandler Carruth } 11217adc3a2bSChandler Carruth 1122a4461515SHaicheng Wu // The store can potentially clobber loads and prevent repeated loads from 1123a4461515SHaicheng Wu // being eliminated. 1124a4461515SHaicheng Wu // FIXME: 1125a4461515SHaicheng Wu // 1. We can probably keep an initial set of eliminatable loads substracted 1126a4461515SHaicheng Wu // from the cost even when we finally see a store. We just need to disable 1127a4461515SHaicheng Wu // *further* accumulation of elimination savings. 1128a4461515SHaicheng Wu // 2. We should probably at some point thread MemorySSA for the callee into 1129a4461515SHaicheng Wu // this and then use that to actually compute *really* precise savings. 1130a4461515SHaicheng Wu disableLoadElimination(); 11317adc3a2bSChandler Carruth return false; 11327adc3a2bSChandler Carruth } 11337adc3a2bSChandler Carruth 11347adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) { 11357adc3a2bSChandler Carruth // Constant folding for extract value is trivial. 1136617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1137617f6364SEaswaran Raman return ConstantExpr::getExtractValue(COps[0], I.getIndices()); 1138617f6364SEaswaran Raman })) 11397adc3a2bSChandler Carruth return true; 11407adc3a2bSChandler Carruth 11417adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 11427adc3a2bSChandler Carruth return false; 11437adc3a2bSChandler Carruth } 11447adc3a2bSChandler Carruth 11457adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) { 11467adc3a2bSChandler Carruth // Constant folding for insert value is trivial. 1147617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1148617f6364SEaswaran Raman return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0], 1149617f6364SEaswaran Raman /*InsertedValueOperand*/ COps[1], 1150617f6364SEaswaran Raman I.getIndices()); 1151617f6364SEaswaran Raman })) 11527adc3a2bSChandler Carruth return true; 11537adc3a2bSChandler Carruth 11547adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 11557adc3a2bSChandler Carruth return false; 11567adc3a2bSChandler Carruth } 11577adc3a2bSChandler Carruth 11587adc3a2bSChandler Carruth /// \brief Try to simplify a call site. 11597adc3a2bSChandler Carruth /// 11607adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by 11617adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if 11627adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it 11637adc3a2bSChandler Carruth /// free. 11647adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) { 11657adc3a2bSChandler Carruth // FIXME: Using the instsimplify logic directly for this is inefficient 11667adc3a2bSChandler Carruth // because we have to continually rebuild the argument list even when no 11677adc3a2bSChandler Carruth // simplifications can be performed. Until that is fixed with remapping 11687adc3a2bSChandler Carruth // inside of instsimplify, directly constant fold calls here. 1169647025f9SAndrew Kaylor if (!canConstantFoldCallTo(CS, F)) 11707adc3a2bSChandler Carruth return false; 11717adc3a2bSChandler Carruth 11727adc3a2bSChandler Carruth // Try to re-map the arguments to constants. 11737adc3a2bSChandler Carruth SmallVector<Constant *, 4> ConstantArgs; 11747adc3a2bSChandler Carruth ConstantArgs.reserve(CS.arg_size()); 1175567556aaSChad Rosier for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E; 1176567556aaSChad Rosier ++I) { 11777adc3a2bSChandler Carruth Constant *C = dyn_cast<Constant>(*I); 11787adc3a2bSChandler Carruth if (!C) 11797adc3a2bSChandler Carruth C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I)); 11807adc3a2bSChandler Carruth if (!C) 11817adc3a2bSChandler Carruth return false; // This argument doesn't map to a constant. 11827adc3a2bSChandler Carruth 11837adc3a2bSChandler Carruth ConstantArgs.push_back(C); 11847adc3a2bSChandler Carruth } 1185647025f9SAndrew Kaylor if (Constant *C = ConstantFoldCall(CS, F, ConstantArgs)) { 11867adc3a2bSChandler Carruth SimplifiedValues[CS.getInstruction()] = C; 11877adc3a2bSChandler Carruth return true; 11887adc3a2bSChandler Carruth } 11897adc3a2bSChandler Carruth 11907adc3a2bSChandler Carruth return false; 11917adc3a2bSChandler Carruth } 11927adc3a2bSChandler Carruth 11937adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) { 11947adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::ReturnsTwice) && 11957adc3a2bSChandler Carruth !F.hasFnAttribute(Attribute::ReturnsTwice)) { 11967adc3a2bSChandler Carruth // This aborts the entire analysis. 11977adc3a2bSChandler Carruth ExposesReturnsTwice = true; 11987adc3a2bSChandler Carruth return false; 11997adc3a2bSChandler Carruth } 1200567556aaSChad Rosier if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate()) 12017adc3a2bSChandler Carruth ContainsNoDuplicateCall = true; 12027adc3a2bSChandler Carruth 12037adc3a2bSChandler Carruth if (Function *F = CS.getCalledFunction()) { 12047adc3a2bSChandler Carruth // When we have a concrete function, first try to simplify it directly. 12057adc3a2bSChandler Carruth if (simplifyCallSite(F, CS)) 12067adc3a2bSChandler Carruth return true; 12077adc3a2bSChandler Carruth 12087adc3a2bSChandler Carruth // Next check if it is an intrinsic we know about. 12097adc3a2bSChandler Carruth // FIXME: Lift this into part of the InstVisitor. 12107adc3a2bSChandler Carruth if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) { 12117adc3a2bSChandler Carruth switch (II->getIntrinsicID()) { 12127adc3a2bSChandler Carruth default: 1213a4461515SHaicheng Wu if (!CS.onlyReadsMemory() && !isAssumeLikeIntrinsic(II)) 1214a4461515SHaicheng Wu disableLoadElimination(); 12157adc3a2bSChandler Carruth return Base::visitCallSite(CS); 12167adc3a2bSChandler Carruth 12177dd8dbf4SPeter Collingbourne case Intrinsic::load_relative: 12187dd8dbf4SPeter Collingbourne // This is normally lowered to 4 LLVM instructions. 12197dd8dbf4SPeter Collingbourne Cost += 3 * InlineConstants::InstrCost; 12207dd8dbf4SPeter Collingbourne return false; 12217dd8dbf4SPeter Collingbourne 12227adc3a2bSChandler Carruth case Intrinsic::memset: 12237adc3a2bSChandler Carruth case Intrinsic::memcpy: 12247adc3a2bSChandler Carruth case Intrinsic::memmove: 1225a4461515SHaicheng Wu disableLoadElimination(); 12267adc3a2bSChandler Carruth // SROA can usually chew through these intrinsics, but they aren't free. 12277adc3a2bSChandler Carruth return false; 12287adc3a2bSChandler Carruth case Intrinsic::localescape: 12297adc3a2bSChandler Carruth HasFrameEscape = true; 12307adc3a2bSChandler Carruth return false; 12317adc3a2bSChandler Carruth } 12327adc3a2bSChandler Carruth } 12337adc3a2bSChandler Carruth 12349d939c8fSDavide Italiano if (F == CS.getInstruction()->getFunction()) { 12357adc3a2bSChandler Carruth // This flag will fully abort the analysis, so don't bother with anything 12367adc3a2bSChandler Carruth // else. 12377adc3a2bSChandler Carruth IsRecursiveCall = true; 12387adc3a2bSChandler Carruth return false; 12397adc3a2bSChandler Carruth } 12407adc3a2bSChandler Carruth 12417adc3a2bSChandler Carruth if (TTI.isLoweredToCall(F)) { 12427adc3a2bSChandler Carruth // We account for the average 1 instruction per call argument setup 12437adc3a2bSChandler Carruth // here. 12447adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 12457adc3a2bSChandler Carruth 12467adc3a2bSChandler Carruth // Everything other than inline ASM will also have a significant cost 12477adc3a2bSChandler Carruth // merely from making the call. 12487adc3a2bSChandler Carruth if (!isa<InlineAsm>(CS.getCalledValue())) 12497adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 12507adc3a2bSChandler Carruth } 12517adc3a2bSChandler Carruth 1252a4461515SHaicheng Wu if (!CS.onlyReadsMemory()) 1253a4461515SHaicheng Wu disableLoadElimination(); 12547adc3a2bSChandler Carruth return Base::visitCallSite(CS); 12557adc3a2bSChandler Carruth } 12567adc3a2bSChandler Carruth 12577adc3a2bSChandler Carruth // Otherwise we're in a very special case -- an indirect function call. See 12587adc3a2bSChandler Carruth // if we can be particularly clever about this. 12597adc3a2bSChandler Carruth Value *Callee = CS.getCalledValue(); 12607adc3a2bSChandler Carruth 12617adc3a2bSChandler Carruth // First, pay the price of the argument setup. We account for the average 12627adc3a2bSChandler Carruth // 1 instruction per call argument setup here. 12637adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 12647adc3a2bSChandler Carruth 12657adc3a2bSChandler Carruth // Next, check if this happens to be an indirect function call to a known 12667adc3a2bSChandler Carruth // function in this inline context. If not, we've done all we can. 12677adc3a2bSChandler Carruth Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee)); 1268a4461515SHaicheng Wu if (!F) { 1269a4461515SHaicheng Wu if (!CS.onlyReadsMemory()) 1270a4461515SHaicheng Wu disableLoadElimination(); 12717adc3a2bSChandler Carruth return Base::visitCallSite(CS); 1272a4461515SHaicheng Wu } 12737adc3a2bSChandler Carruth 12747adc3a2bSChandler Carruth // If we have a constant that we are calling as a function, we can peer 12757adc3a2bSChandler Carruth // through it and see the function target. This happens not infrequently 12767adc3a2bSChandler Carruth // during devirtualization and so we want to give it a hefty bonus for 12777adc3a2bSChandler Carruth // inlining, but cap that bonus in the event that inlining wouldn't pan 12787adc3a2bSChandler Carruth // out. Pretend to inline the function, with a custom threshold. 12791c57cc2bSEaswaran Raman auto IndirectCallParams = Params; 12801c57cc2bSEaswaran Raman IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold; 12810812c5beSHaicheng Wu CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, ORE, *F, CS, 128212585b01SEaswaran Raman IndirectCallParams); 12837adc3a2bSChandler Carruth if (CA.analyzeCall(CS)) { 12847adc3a2bSChandler Carruth // We were able to inline the indirect call! Subtract the cost from the 12856d90d9f1SEaswaran Raman // threshold to get the bonus we want to apply, but don't go below zero. 12866d90d9f1SEaswaran Raman Cost -= std::max(0, CA.getThreshold() - CA.getCost()); 12877adc3a2bSChandler Carruth } 12887adc3a2bSChandler Carruth 1289a4461515SHaicheng Wu if (!F->onlyReadsMemory()) 1290a4461515SHaicheng Wu disableLoadElimination(); 12917adc3a2bSChandler Carruth return Base::visitCallSite(CS); 12927adc3a2bSChandler Carruth } 12937adc3a2bSChandler Carruth 12947adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) { 12957adc3a2bSChandler Carruth // At least one return instruction will be free after inlining. 12967adc3a2bSChandler Carruth bool Free = !HasReturn; 12977adc3a2bSChandler Carruth HasReturn = true; 12987adc3a2bSChandler Carruth return Free; 12997adc3a2bSChandler Carruth } 13007adc3a2bSChandler Carruth 13017adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) { 13027adc3a2bSChandler Carruth // We model unconditional branches as essentially free -- they really 13037adc3a2bSChandler Carruth // shouldn't exist at all, but handling them makes the behavior of the 13047adc3a2bSChandler Carruth // inliner more regular and predictable. Interestingly, conditional branches 13057adc3a2bSChandler Carruth // which will fold away are also free. 13067adc3a2bSChandler Carruth return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) || 13077adc3a2bSChandler Carruth dyn_cast_or_null<ConstantInt>( 13087adc3a2bSChandler Carruth SimplifiedValues.lookup(BI.getCondition())); 13097adc3a2bSChandler Carruth } 13107adc3a2bSChandler Carruth 13113ec848bcSHaicheng Wu bool CallAnalyzer::visitSelectInst(SelectInst &SI) { 13123ec848bcSHaicheng Wu bool CheckSROA = SI.getType()->isPointerTy(); 13133ec848bcSHaicheng Wu Value *TrueVal = SI.getTrueValue(); 13143ec848bcSHaicheng Wu Value *FalseVal = SI.getFalseValue(); 13153ec848bcSHaicheng Wu 13163ec848bcSHaicheng Wu Constant *TrueC = dyn_cast<Constant>(TrueVal); 13173ec848bcSHaicheng Wu if (!TrueC) 13183ec848bcSHaicheng Wu TrueC = SimplifiedValues.lookup(TrueVal); 13193ec848bcSHaicheng Wu Constant *FalseC = dyn_cast<Constant>(FalseVal); 13203ec848bcSHaicheng Wu if (!FalseC) 13213ec848bcSHaicheng Wu FalseC = SimplifiedValues.lookup(FalseVal); 13223ec848bcSHaicheng Wu Constant *CondC = 13233ec848bcSHaicheng Wu dyn_cast_or_null<Constant>(SimplifiedValues.lookup(SI.getCondition())); 13243ec848bcSHaicheng Wu 13253ec848bcSHaicheng Wu if (!CondC) { 13263ec848bcSHaicheng Wu // Select C, X, X => X 13273ec848bcSHaicheng Wu if (TrueC == FalseC && TrueC) { 13283ec848bcSHaicheng Wu SimplifiedValues[&SI] = TrueC; 13293ec848bcSHaicheng Wu return true; 13303ec848bcSHaicheng Wu } 13313ec848bcSHaicheng Wu 13323ec848bcSHaicheng Wu if (!CheckSROA) 13333ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13343ec848bcSHaicheng Wu 13353ec848bcSHaicheng Wu std::pair<Value *, APInt> TrueBaseAndOffset = 13363ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(TrueVal); 13373ec848bcSHaicheng Wu std::pair<Value *, APInt> FalseBaseAndOffset = 13383ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(FalseVal); 13393ec848bcSHaicheng Wu if (TrueBaseAndOffset == FalseBaseAndOffset && TrueBaseAndOffset.first) { 13403ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = TrueBaseAndOffset; 13413ec848bcSHaicheng Wu 13423ec848bcSHaicheng Wu Value *SROAArg; 13433ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 13443ec848bcSHaicheng Wu if (lookupSROAArgAndCost(TrueVal, SROAArg, CostIt)) 13453ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 13463ec848bcSHaicheng Wu return true; 13473ec848bcSHaicheng Wu } 13483ec848bcSHaicheng Wu 13493ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13503ec848bcSHaicheng Wu } 13513ec848bcSHaicheng Wu 13523ec848bcSHaicheng Wu // Select condition is a constant. 13533ec848bcSHaicheng Wu Value *SelectedV = CondC->isAllOnesValue() 13543ec848bcSHaicheng Wu ? TrueVal 13553ec848bcSHaicheng Wu : (CondC->isNullValue()) ? FalseVal : nullptr; 13563ec848bcSHaicheng Wu if (!SelectedV) { 13573ec848bcSHaicheng Wu // Condition is a vector constant that is not all 1s or all 0s. If all 13583ec848bcSHaicheng Wu // operands are constants, ConstantExpr::getSelect() can handle the cases 13593ec848bcSHaicheng Wu // such as select vectors. 13603ec848bcSHaicheng Wu if (TrueC && FalseC) { 13613ec848bcSHaicheng Wu if (auto *C = ConstantExpr::getSelect(CondC, TrueC, FalseC)) { 13623ec848bcSHaicheng Wu SimplifiedValues[&SI] = C; 13633ec848bcSHaicheng Wu return true; 13643ec848bcSHaicheng Wu } 13653ec848bcSHaicheng Wu } 13663ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13673ec848bcSHaicheng Wu } 13683ec848bcSHaicheng Wu 13693ec848bcSHaicheng Wu // Condition is either all 1s or all 0s. SI can be simplified. 13703ec848bcSHaicheng Wu if (Constant *SelectedC = dyn_cast<Constant>(SelectedV)) { 13713ec848bcSHaicheng Wu SimplifiedValues[&SI] = SelectedC; 13723ec848bcSHaicheng Wu return true; 13733ec848bcSHaicheng Wu } 13743ec848bcSHaicheng Wu 13753ec848bcSHaicheng Wu if (!CheckSROA) 13763ec848bcSHaicheng Wu return true; 13773ec848bcSHaicheng Wu 13783ec848bcSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = 13793ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(SelectedV); 13803ec848bcSHaicheng Wu if (BaseAndOffset.first) { 13813ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = BaseAndOffset; 13823ec848bcSHaicheng Wu 13833ec848bcSHaicheng Wu Value *SROAArg; 13843ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 13853ec848bcSHaicheng Wu if (lookupSROAArgAndCost(SelectedV, SROAArg, CostIt)) 13863ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 13873ec848bcSHaicheng Wu } 13883ec848bcSHaicheng Wu 13893ec848bcSHaicheng Wu return true; 13903ec848bcSHaicheng Wu } 13913ec848bcSHaicheng Wu 13927adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) { 13937adc3a2bSChandler Carruth // We model unconditional switches as free, see the comments on handling 13947adc3a2bSChandler Carruth // branches. 13957adc3a2bSChandler Carruth if (isa<ConstantInt>(SI.getCondition())) 13967adc3a2bSChandler Carruth return true; 13977adc3a2bSChandler Carruth if (Value *V = SimplifiedValues.lookup(SI.getCondition())) 13987adc3a2bSChandler Carruth if (isa<ConstantInt>(V)) 13997adc3a2bSChandler Carruth return true; 14007adc3a2bSChandler Carruth 14017ad02eeeSEric Christopher // Assume the most general case where the switch is lowered into 1402919f9e8dSJun Bum Lim // either a jump table, bit test, or a balanced binary tree consisting of 1403919f9e8dSJun Bum Lim // case clusters without merging adjacent clusters with the same 1404919f9e8dSJun Bum Lim // destination. We do not consider the switches that are lowered with a mix 1405919f9e8dSJun Bum Lim // of jump table/bit test/binary search tree. The cost of the switch is 1406919f9e8dSJun Bum Lim // proportional to the size of the tree or the size of jump table range. 14072960d41eSJun Bum Lim // 14082960d41eSJun Bum Lim // NB: We convert large switches which are just used to initialize large phi 14092960d41eSJun Bum Lim // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent 14102960d41eSJun Bum Lim // inlining those. It will prevent inlining in cases where the optimization 14112960d41eSJun Bum Lim // does not (yet) fire. 1412919f9e8dSJun Bum Lim 1413506cfb7aSJun Bum Lim // Maximum valid cost increased in this function. 1414506cfb7aSJun Bum Lim int CostUpperBound = INT_MAX - InlineConstants::InstrCost - 1; 1415506cfb7aSJun Bum Lim 1416919f9e8dSJun Bum Lim // Exit early for a large switch, assuming one case needs at least one 1417919f9e8dSJun Bum Lim // instruction. 1418919f9e8dSJun Bum Lim // FIXME: This is not true for a bit test, but ignore such case for now to 1419919f9e8dSJun Bum Lim // save compile-time. 1420919f9e8dSJun Bum Lim int64_t CostLowerBound = 1421506cfb7aSJun Bum Lim std::min((int64_t)CostUpperBound, 1422919f9e8dSJun Bum Lim (int64_t)SI.getNumCases() * InlineConstants::InstrCost + Cost); 1423919f9e8dSJun Bum Lim 14240812c5beSHaicheng Wu if (CostLowerBound > Threshold && !ComputeFullInlineCost) { 1425919f9e8dSJun Bum Lim Cost = CostLowerBound; 1426919f9e8dSJun Bum Lim return false; 1427919f9e8dSJun Bum Lim } 1428919f9e8dSJun Bum Lim 1429919f9e8dSJun Bum Lim unsigned JumpTableSize = 0; 1430919f9e8dSJun Bum Lim unsigned NumCaseCluster = 1431919f9e8dSJun Bum Lim TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize); 1432919f9e8dSJun Bum Lim 1433919f9e8dSJun Bum Lim // If suitable for a jump table, consider the cost for the table size and 1434919f9e8dSJun Bum Lim // branch to destination. 1435919f9e8dSJun Bum Lim if (JumpTableSize) { 1436919f9e8dSJun Bum Lim int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost + 1437919f9e8dSJun Bum Lim 4 * InlineConstants::InstrCost; 1438506cfb7aSJun Bum Lim 1439506cfb7aSJun Bum Lim Cost = std::min((int64_t)CostUpperBound, JTCost + Cost); 1440919f9e8dSJun Bum Lim return false; 1441919f9e8dSJun Bum Lim } 1442919f9e8dSJun Bum Lim 1443919f9e8dSJun Bum Lim // Considering forming a binary search, we should find the number of nodes 1444919f9e8dSJun Bum Lim // which is same as the number of comparisons when lowered. For a given 1445919f9e8dSJun Bum Lim // number of clusters, n, we can define a recursive function, f(n), to find 1446919f9e8dSJun Bum Lim // the number of nodes in the tree. The recursion is : 1447919f9e8dSJun Bum Lim // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3, 1448919f9e8dSJun Bum Lim // and f(n) = n, when n <= 3. 1449919f9e8dSJun Bum Lim // This will lead a binary tree where the leaf should be either f(2) or f(3) 1450919f9e8dSJun Bum Lim // when n > 3. So, the number of comparisons from leaves should be n, while 1451919f9e8dSJun Bum Lim // the number of non-leaf should be : 1452919f9e8dSJun Bum Lim // 2^(log2(n) - 1) - 1 1453919f9e8dSJun Bum Lim // = 2^log2(n) * 2^-1 - 1 1454919f9e8dSJun Bum Lim // = n / 2 - 1. 1455919f9e8dSJun Bum Lim // Considering comparisons from leaf and non-leaf nodes, we can estimate the 1456919f9e8dSJun Bum Lim // number of comparisons in a simple closed form : 1457919f9e8dSJun Bum Lim // n + n / 2 - 1 = n * 3 / 2 - 1 1458919f9e8dSJun Bum Lim if (NumCaseCluster <= 3) { 1459919f9e8dSJun Bum Lim // Suppose a comparison includes one compare and one conditional branch. 1460919f9e8dSJun Bum Lim Cost += NumCaseCluster * 2 * InlineConstants::InstrCost; 1461919f9e8dSJun Bum Lim return false; 1462919f9e8dSJun Bum Lim } 1463506cfb7aSJun Bum Lim 1464506cfb7aSJun Bum Lim int64_t ExpectedNumberOfCompare = 3 * (int64_t)NumCaseCluster / 2 - 1; 1465506cfb7aSJun Bum Lim int64_t SwitchCost = 1466919f9e8dSJun Bum Lim ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost; 1467506cfb7aSJun Bum Lim 1468506cfb7aSJun Bum Lim Cost = std::min((int64_t)CostUpperBound, SwitchCost + Cost); 1469919f9e8dSJun Bum Lim return false; 1470919f9e8dSJun Bum Lim } 1471919f9e8dSJun Bum Lim 14727adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) { 14737adc3a2bSChandler Carruth // We never want to inline functions that contain an indirectbr. This is 14747adc3a2bSChandler Carruth // incorrect because all the blockaddress's (in static global initializers 14757adc3a2bSChandler Carruth // for example) would be referring to the original function, and this 14767adc3a2bSChandler Carruth // indirect jump would jump from the inlined copy of the function into the 14777adc3a2bSChandler Carruth // original function which is extremely undefined behavior. 14787adc3a2bSChandler Carruth // FIXME: This logic isn't really right; we can safely inline functions with 14797adc3a2bSChandler Carruth // indirectbr's as long as no other function or global references the 14807adc3a2bSChandler Carruth // blockaddress of a block within the current function. 14817adc3a2bSChandler Carruth HasIndirectBr = true; 14827adc3a2bSChandler Carruth return false; 14837adc3a2bSChandler Carruth } 14847adc3a2bSChandler Carruth 14857adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) { 14867adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 14877adc3a2bSChandler Carruth // the inline cost of a resume instruction. 14887adc3a2bSChandler Carruth return false; 14897adc3a2bSChandler Carruth } 14907adc3a2bSChandler Carruth 14917adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) { 14927adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 14937adc3a2bSChandler Carruth // the inline cost of a cleanupret instruction. 14947adc3a2bSChandler Carruth return false; 14957adc3a2bSChandler Carruth } 14967adc3a2bSChandler Carruth 14977adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) { 14987adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 14998220bcc5SJoseph Tremoulet // the inline cost of a catchret instruction. 15007adc3a2bSChandler Carruth return false; 15017adc3a2bSChandler Carruth } 15027adc3a2bSChandler Carruth 15037adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) { 15047adc3a2bSChandler Carruth // FIXME: It might be reasonably to discount the cost of instructions leading 15057adc3a2bSChandler Carruth // to unreachable as they have the lowest possible impact on both runtime and 15067adc3a2bSChandler Carruth // code size. 15077adc3a2bSChandler Carruth return true; // No actual code is needed for unreachable. 15087adc3a2bSChandler Carruth } 15097adc3a2bSChandler Carruth 15107adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) { 15117adc3a2bSChandler Carruth // Some instructions are free. All of the free intrinsics can also be 15127adc3a2bSChandler Carruth // handled by SROA, etc. 15137adc3a2bSChandler Carruth if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I)) 15147adc3a2bSChandler Carruth return true; 15157adc3a2bSChandler Carruth 15167adc3a2bSChandler Carruth // We found something we don't understand or can't handle. Mark any SROA-able 15177adc3a2bSChandler Carruth // values in the operand list as no longer viable. 15187adc3a2bSChandler Carruth for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI) 15197adc3a2bSChandler Carruth disableSROA(*OI); 15207adc3a2bSChandler Carruth 15217adc3a2bSChandler Carruth return false; 15227adc3a2bSChandler Carruth } 15237adc3a2bSChandler Carruth 15247adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost. 15257adc3a2bSChandler Carruth /// 15267adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic 15277adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It 15287adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline 15297adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer 15307adc3a2bSChandler Carruth /// viable, and true if inlining remains viable. 15317adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB, 15327adc3a2bSChandler Carruth SmallPtrSetImpl<const Value *> &EphValues) { 15337adc3a2bSChandler Carruth for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 15347adc3a2bSChandler Carruth // FIXME: Currently, the number of instructions in a function regardless of 15357adc3a2bSChandler Carruth // our ability to simplify them during inline to constants or dead code, 15367adc3a2bSChandler Carruth // are actually used by the vector bonus heuristic. As long as that's true, 15377adc3a2bSChandler Carruth // we have to special case debug intrinsics here to prevent differences in 15387adc3a2bSChandler Carruth // inlining due to debug symbols. Eventually, the number of unsimplified 15397adc3a2bSChandler Carruth // instructions shouldn't factor into the cost computation, but until then, 15407adc3a2bSChandler Carruth // hack around it here. 15417adc3a2bSChandler Carruth if (isa<DbgInfoIntrinsic>(I)) 15427adc3a2bSChandler Carruth continue; 15437adc3a2bSChandler Carruth 15447adc3a2bSChandler Carruth // Skip ephemeral values. 15455a82c916SDuncan P. N. Exon Smith if (EphValues.count(&*I)) 15467adc3a2bSChandler Carruth continue; 15477adc3a2bSChandler Carruth 15487adc3a2bSChandler Carruth ++NumInstructions; 15497adc3a2bSChandler Carruth if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy()) 15507adc3a2bSChandler Carruth ++NumVectorInstructions; 15517adc3a2bSChandler Carruth 15527adc3a2bSChandler Carruth // If the instruction simplified to a constant, there is no cost to this 15537adc3a2bSChandler Carruth // instruction. Visit the instructions using our InstVisitor to account for 15547adc3a2bSChandler Carruth // all of the per-instruction logic. The visit tree returns true if we 15557adc3a2bSChandler Carruth // consumed the instruction in any way, and false if the instruction's base 15567adc3a2bSChandler Carruth // cost should count against inlining. 15575a82c916SDuncan P. N. Exon Smith if (Base::visit(&*I)) 15587adc3a2bSChandler Carruth ++NumInstructionsSimplified; 15597adc3a2bSChandler Carruth else 15607adc3a2bSChandler Carruth Cost += InlineConstants::InstrCost; 15617adc3a2bSChandler Carruth 15620812c5beSHaicheng Wu using namespace ore; 15637adc3a2bSChandler Carruth // If the visit this instruction detected an uninlinable pattern, abort. 15647adc3a2bSChandler Carruth if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca || 15650812c5beSHaicheng Wu HasIndirectBr || HasFrameEscape) { 15660812c5beSHaicheng Wu if (ORE) 15679590658fSVivek Pandya ORE->emit([&]() { 15689590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 15690812c5beSHaicheng Wu CandidateCS.getInstruction()) 15700812c5beSHaicheng Wu << NV("Callee", &F) 15719590658fSVivek Pandya << " has uninlinable pattern and cost is not fully computed"; 15729590658fSVivek Pandya }); 15737adc3a2bSChandler Carruth return false; 15740812c5beSHaicheng Wu } 15757adc3a2bSChandler Carruth 15767adc3a2bSChandler Carruth // If the caller is a recursive function then we don't want to inline 15777adc3a2bSChandler Carruth // functions which allocate a lot of stack space because it would increase 15787adc3a2bSChandler Carruth // the caller stack usage dramatically. 15797adc3a2bSChandler Carruth if (IsCallerRecursive && 15800812c5beSHaicheng Wu AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) { 15810812c5beSHaicheng Wu if (ORE) 15829590658fSVivek Pandya ORE->emit([&]() { 15839590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 15840812c5beSHaicheng Wu CandidateCS.getInstruction()) 15850812c5beSHaicheng Wu << NV("Callee", &F) 15860812c5beSHaicheng Wu << " is recursive and allocates too much stack space. Cost is " 15879590658fSVivek Pandya "not fully computed"; 15889590658fSVivek Pandya }); 15897adc3a2bSChandler Carruth return false; 15900812c5beSHaicheng Wu } 15917adc3a2bSChandler Carruth 15927adc3a2bSChandler Carruth // Check if we've past the maximum possible threshold so we don't spin in 15937adc3a2bSChandler Carruth // huge basic blocks that will never inline. 159461995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 15957adc3a2bSChandler Carruth return false; 15967adc3a2bSChandler Carruth } 15977adc3a2bSChandler Carruth 15987adc3a2bSChandler Carruth return true; 15997adc3a2bSChandler Carruth } 16007adc3a2bSChandler Carruth 16017adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V. 16027adc3a2bSChandler Carruth /// 16037adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and 16047adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It 16057adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are 16067adc3a2bSChandler Carruth /// no constant offsets applied. 16077adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) { 16087adc3a2bSChandler Carruth if (!V->getType()->isPointerTy()) 16097adc3a2bSChandler Carruth return nullptr; 16107adc3a2bSChandler Carruth 16117adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 16127adc3a2bSChandler Carruth APInt Offset = APInt::getNullValue(IntPtrWidth); 16137adc3a2bSChandler Carruth 16147adc3a2bSChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 16157adc3a2bSChandler Carruth // instruction in an unreachable block, which may be on a cycle. 16167adc3a2bSChandler Carruth SmallPtrSet<Value *, 4> Visited; 16177adc3a2bSChandler Carruth Visited.insert(V); 16187adc3a2bSChandler Carruth do { 16197adc3a2bSChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 16207adc3a2bSChandler Carruth if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset)) 16217adc3a2bSChandler Carruth return nullptr; 16227adc3a2bSChandler Carruth V = GEP->getPointerOperand(); 16237adc3a2bSChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 16247adc3a2bSChandler Carruth V = cast<Operator>(V)->getOperand(0); 16257adc3a2bSChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 16265ce32728SSanjoy Das if (GA->isInterposable()) 16277adc3a2bSChandler Carruth break; 16287adc3a2bSChandler Carruth V = GA->getAliasee(); 16297adc3a2bSChandler Carruth } else { 16307adc3a2bSChandler Carruth break; 16317adc3a2bSChandler Carruth } 16327adc3a2bSChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 16337adc3a2bSChandler Carruth } while (Visited.insert(V).second); 16347adc3a2bSChandler Carruth 16357adc3a2bSChandler Carruth Type *IntPtrTy = DL.getIntPtrType(V->getContext()); 16367adc3a2bSChandler Carruth return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset)); 16377adc3a2bSChandler Carruth } 16387adc3a2bSChandler Carruth 16393739e14aSHaicheng Wu /// \brief Find dead blocks due to deleted CFG edges during inlining. 16403739e14aSHaicheng Wu /// 16413739e14aSHaicheng Wu /// If we know the successor of the current block, \p CurrBB, has to be \p 16423739e14aSHaicheng Wu /// NextBB, the other successors of \p CurrBB are dead if these successors have 16433739e14aSHaicheng Wu /// no live incoming CFG edges. If one block is found to be dead, we can 16443739e14aSHaicheng Wu /// continue growing the dead block list by checking the successors of the dead 16453739e14aSHaicheng Wu /// blocks to see if all their incoming edges are dead or not. 16463739e14aSHaicheng Wu void CallAnalyzer::findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB) { 16473739e14aSHaicheng Wu auto IsEdgeDead = [&](BasicBlock *Pred, BasicBlock *Succ) { 16483739e14aSHaicheng Wu // A CFG edge is dead if the predecessor is dead or the predessor has a 16493739e14aSHaicheng Wu // known successor which is not the one under exam. 16503739e14aSHaicheng Wu return (DeadBlocks.count(Pred) || 16513739e14aSHaicheng Wu (KnownSuccessors[Pred] && KnownSuccessors[Pred] != Succ)); 16523739e14aSHaicheng Wu }; 16533739e14aSHaicheng Wu 16543739e14aSHaicheng Wu auto IsNewlyDead = [&](BasicBlock *BB) { 16553739e14aSHaicheng Wu // If all the edges to a block are dead, the block is also dead. 16563739e14aSHaicheng Wu return (!DeadBlocks.count(BB) && 16573739e14aSHaicheng Wu llvm::all_of(predecessors(BB), 16583739e14aSHaicheng Wu [&](BasicBlock *P) { return IsEdgeDead(P, BB); })); 16593739e14aSHaicheng Wu }; 16603739e14aSHaicheng Wu 16613739e14aSHaicheng Wu for (BasicBlock *Succ : successors(CurrBB)) { 16623739e14aSHaicheng Wu if (Succ == NextBB || !IsNewlyDead(Succ)) 16633739e14aSHaicheng Wu continue; 16643739e14aSHaicheng Wu SmallVector<BasicBlock *, 4> NewDead; 16653739e14aSHaicheng Wu NewDead.push_back(Succ); 16663739e14aSHaicheng Wu while (!NewDead.empty()) { 16673739e14aSHaicheng Wu BasicBlock *Dead = NewDead.pop_back_val(); 16683739e14aSHaicheng Wu if (DeadBlocks.insert(Dead)) 16693739e14aSHaicheng Wu // Continue growing the dead block lists. 16703739e14aSHaicheng Wu for (BasicBlock *S : successors(Dead)) 16713739e14aSHaicheng Wu if (IsNewlyDead(S)) 16723739e14aSHaicheng Wu NewDead.push_back(S); 16733739e14aSHaicheng Wu } 16743739e14aSHaicheng Wu } 16753739e14aSHaicheng Wu } 16763739e14aSHaicheng Wu 16777adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining. 16787adc3a2bSChandler Carruth /// 16797adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not 16807adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous 16817adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost 16827adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by 16837adc3a2bSChandler Carruth /// some artifact of the routine. 16847adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) { 16857adc3a2bSChandler Carruth ++NumCallsAnalyzed; 16867adc3a2bSChandler Carruth 16877adc3a2bSChandler Carruth // Perform some tweaks to the cost and threshold based on the direct 16887adc3a2bSChandler Carruth // callsite information. 16897adc3a2bSChandler Carruth 16907adc3a2bSChandler Carruth // We want to more aggressively inline vector-dense kernels, so up the 16917adc3a2bSChandler Carruth // threshold, and we'll lower it if the % of vector instructions gets too 16927adc3a2bSChandler Carruth // low. Note that these bonuses are some what arbitrary and evolved over time 16937adc3a2bSChandler Carruth // by accident as much as because they are principled bonuses. 16947adc3a2bSChandler Carruth // 16957adc3a2bSChandler Carruth // FIXME: It would be nice to remove all such bonuses. At least it would be 16967adc3a2bSChandler Carruth // nice to base the bonus values on something more scientific. 16977adc3a2bSChandler Carruth assert(NumInstructions == 0); 16987adc3a2bSChandler Carruth assert(NumVectorInstructions == 0); 1699f4bb2f0dSEaswaran Raman 1700f4bb2f0dSEaswaran Raman // Update the threshold based on callsite properties 1701f4bb2f0dSEaswaran Raman updateThreshold(CS, F); 1702f4bb2f0dSEaswaran Raman 17037adc3a2bSChandler Carruth // Speculatively apply all possible bonuses to Threshold. If cost exceeds 17047adc3a2bSChandler Carruth // this Threshold any time, and cost cannot decrease, we can stop processing 17057adc3a2bSChandler Carruth // the rest of the function body. 170651b809bfSEaswaran Raman Threshold += (SingleBBBonus + VectorBonus); 17077adc3a2bSChandler Carruth 1708351d9b01SXinliang David Li // Give out bonuses for the callsite, as the instructions setting them up 1709351d9b01SXinliang David Li // will be gone after inlining. 1710351d9b01SXinliang David Li Cost -= getCallsiteCost(CS, DL); 17117adc3a2bSChandler Carruth 17127adc3a2bSChandler Carruth // If this function uses the coldcc calling convention, prefer not to inline 17137adc3a2bSChandler Carruth // it. 17147adc3a2bSChandler Carruth if (F.getCallingConv() == CallingConv::Cold) 17157adc3a2bSChandler Carruth Cost += InlineConstants::ColdccPenalty; 17167adc3a2bSChandler Carruth 17177adc3a2bSChandler Carruth // Check if we're done. This can happen due to bonuses and penalties. 171861995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 17197adc3a2bSChandler Carruth return false; 17207adc3a2bSChandler Carruth 17217adc3a2bSChandler Carruth if (F.empty()) 17227adc3a2bSChandler Carruth return true; 17237adc3a2bSChandler Carruth 17249d939c8fSDavide Italiano Function *Caller = CS.getInstruction()->getFunction(); 17257adc3a2bSChandler Carruth // Check if the caller function is recursive itself. 17267adc3a2bSChandler Carruth for (User *U : Caller->users()) { 17277adc3a2bSChandler Carruth CallSite Site(U); 17287adc3a2bSChandler Carruth if (!Site) 17297adc3a2bSChandler Carruth continue; 17307adc3a2bSChandler Carruth Instruction *I = Site.getInstruction(); 17319d939c8fSDavide Italiano if (I->getFunction() == Caller) { 17327adc3a2bSChandler Carruth IsCallerRecursive = true; 17337adc3a2bSChandler Carruth break; 17347adc3a2bSChandler Carruth } 17357adc3a2bSChandler Carruth } 17367adc3a2bSChandler Carruth 17377adc3a2bSChandler Carruth // Populate our simplified values by mapping from function arguments to call 17387adc3a2bSChandler Carruth // arguments with known important simplifications. 17397adc3a2bSChandler Carruth CallSite::arg_iterator CAI = CS.arg_begin(); 17407adc3a2bSChandler Carruth for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end(); 17417adc3a2bSChandler Carruth FAI != FAE; ++FAI, ++CAI) { 17427adc3a2bSChandler Carruth assert(CAI != CS.arg_end()); 17437adc3a2bSChandler Carruth if (Constant *C = dyn_cast<Constant>(CAI)) 17445a82c916SDuncan P. N. Exon Smith SimplifiedValues[&*FAI] = C; 17457adc3a2bSChandler Carruth 17467adc3a2bSChandler Carruth Value *PtrArg = *CAI; 17477adc3a2bSChandler Carruth if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) { 17485a82c916SDuncan P. N. Exon Smith ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue()); 17497adc3a2bSChandler Carruth 17507adc3a2bSChandler Carruth // We can SROA any pointer arguments derived from alloca instructions. 17517adc3a2bSChandler Carruth if (isa<AllocaInst>(PtrArg)) { 17525a82c916SDuncan P. N. Exon Smith SROAArgValues[&*FAI] = PtrArg; 17537adc3a2bSChandler Carruth SROAArgCosts[PtrArg] = 0; 17547adc3a2bSChandler Carruth } 17557adc3a2bSChandler Carruth } 17567adc3a2bSChandler Carruth } 17577adc3a2bSChandler Carruth NumConstantArgs = SimplifiedValues.size(); 17587adc3a2bSChandler Carruth NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size(); 17597adc3a2bSChandler Carruth NumAllocaArgs = SROAArgValues.size(); 17607adc3a2bSChandler Carruth 17617adc3a2bSChandler Carruth // FIXME: If a caller has multiple calls to a callee, we end up recomputing 17627adc3a2bSChandler Carruth // the ephemeral values multiple times (and they're completely determined by 17637adc3a2bSChandler Carruth // the callee, so this is purely duplicate work). 17647adc3a2bSChandler Carruth SmallPtrSet<const Value *, 32> EphValues; 1765aec2fa35SDaniel Jasper CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues); 17667adc3a2bSChandler Carruth 17677adc3a2bSChandler Carruth // The worklist of live basic blocks in the callee *after* inlining. We avoid 17687adc3a2bSChandler Carruth // adding basic blocks of the callee which can be proven to be dead for this 17697adc3a2bSChandler Carruth // particular call site in order to get more accurate cost estimates. This 17707adc3a2bSChandler Carruth // requires a somewhat heavyweight iteration pattern: we need to walk the 17717adc3a2bSChandler Carruth // basic blocks in a breadth-first order as we insert live successors. To 17727adc3a2bSChandler Carruth // accomplish this, prioritizing for small iterations because we exit after 17737adc3a2bSChandler Carruth // crossing our threshold, we use a small-size optimized SetVector. 17747adc3a2bSChandler Carruth typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>, 1775567556aaSChad Rosier SmallPtrSet<BasicBlock *, 16>> 1776567556aaSChad Rosier BBSetVector; 17777adc3a2bSChandler Carruth BBSetVector BBWorklist; 17787adc3a2bSChandler Carruth BBWorklist.insert(&F.getEntryBlock()); 177951b809bfSEaswaran Raman bool SingleBB = true; 17807adc3a2bSChandler Carruth // Note that we *must not* cache the size, this loop grows the worklist. 17817adc3a2bSChandler Carruth for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) { 17827adc3a2bSChandler Carruth // Bail out the moment we cross the threshold. This means we'll under-count 17837adc3a2bSChandler Carruth // the cost, but only when undercounting doesn't matter. 178461995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 17857adc3a2bSChandler Carruth break; 17867adc3a2bSChandler Carruth 17877adc3a2bSChandler Carruth BasicBlock *BB = BBWorklist[Idx]; 17887adc3a2bSChandler Carruth if (BB->empty()) 17897adc3a2bSChandler Carruth continue; 17907adc3a2bSChandler Carruth 17917adc3a2bSChandler Carruth // Disallow inlining a blockaddress. A blockaddress only has defined 17927adc3a2bSChandler Carruth // behavior for an indirect branch in the same function, and we do not 17937adc3a2bSChandler Carruth // currently support inlining indirect branches. But, the inliner may not 17947adc3a2bSChandler Carruth // see an indirect branch that ends up being dead code at a particular call 17957adc3a2bSChandler Carruth // site. If the blockaddress escapes the function, e.g., via a global 17967adc3a2bSChandler Carruth // variable, inlining may lead to an invalid cross-function reference. 17977adc3a2bSChandler Carruth if (BB->hasAddressTaken()) 17987adc3a2bSChandler Carruth return false; 17997adc3a2bSChandler Carruth 18007adc3a2bSChandler Carruth // Analyze the cost of this block. If we blow through the threshold, this 18017adc3a2bSChandler Carruth // returns false, and we can bail on out. 1802d295b00aSEaswaran Raman if (!analyzeBlock(BB, EphValues)) 18037adc3a2bSChandler Carruth return false; 18047adc3a2bSChandler Carruth 18057adc3a2bSChandler Carruth TerminatorInst *TI = BB->getTerminator(); 18067adc3a2bSChandler Carruth 18077adc3a2bSChandler Carruth // Add in the live successors by first checking whether we have terminator 18087adc3a2bSChandler Carruth // that may be simplified based on the values simplified by this call. 18097adc3a2bSChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 18107adc3a2bSChandler Carruth if (BI->isConditional()) { 18117adc3a2bSChandler Carruth Value *Cond = BI->getCondition(); 1812567556aaSChad Rosier if (ConstantInt *SimpleCond = 1813567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 18143739e14aSHaicheng Wu BasicBlock *NextBB = BI->getSuccessor(SimpleCond->isZero() ? 1 : 0); 18153739e14aSHaicheng Wu BBWorklist.insert(NextBB); 18163739e14aSHaicheng Wu KnownSuccessors[BB] = NextBB; 18173739e14aSHaicheng Wu findDeadBlocks(BB, NextBB); 18187adc3a2bSChandler Carruth continue; 18197adc3a2bSChandler Carruth } 18207adc3a2bSChandler Carruth } 18217adc3a2bSChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) { 18227adc3a2bSChandler Carruth Value *Cond = SI->getCondition(); 1823567556aaSChad Rosier if (ConstantInt *SimpleCond = 1824567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 18253739e14aSHaicheng Wu BasicBlock *NextBB = SI->findCaseValue(SimpleCond)->getCaseSuccessor(); 18263739e14aSHaicheng Wu BBWorklist.insert(NextBB); 18273739e14aSHaicheng Wu KnownSuccessors[BB] = NextBB; 18283739e14aSHaicheng Wu findDeadBlocks(BB, NextBB); 18297adc3a2bSChandler Carruth continue; 18307adc3a2bSChandler Carruth } 18317adc3a2bSChandler Carruth } 18327adc3a2bSChandler Carruth 18337adc3a2bSChandler Carruth // If we're unable to select a particular successor, just count all of 18347adc3a2bSChandler Carruth // them. 18357adc3a2bSChandler Carruth for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize; 18367adc3a2bSChandler Carruth ++TIdx) 18377adc3a2bSChandler Carruth BBWorklist.insert(TI->getSuccessor(TIdx)); 18387adc3a2bSChandler Carruth 18397adc3a2bSChandler Carruth // If we had any successors at this point, than post-inlining is likely to 18407adc3a2bSChandler Carruth // have them as well. Note that we assume any basic blocks which existed 18417adc3a2bSChandler Carruth // due to branches or switches which folded above will also fold after 18427adc3a2bSChandler Carruth // inlining. 18437adc3a2bSChandler Carruth if (SingleBB && TI->getNumSuccessors() > 1) { 18447adc3a2bSChandler Carruth // Take off the bonus we applied to the threshold. 18457adc3a2bSChandler Carruth Threshold -= SingleBBBonus; 18467adc3a2bSChandler Carruth SingleBB = false; 18477adc3a2bSChandler Carruth } 18487adc3a2bSChandler Carruth } 18497adc3a2bSChandler Carruth 185051b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 185151b809bfSEaswaran Raman F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction(); 18527adc3a2bSChandler Carruth // If this is a noduplicate call, we can still inline as long as 18537adc3a2bSChandler Carruth // inlining this would cause the removal of the caller (so the instruction 18547adc3a2bSChandler Carruth // is not actually duplicated, just moved). 18557adc3a2bSChandler Carruth if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall) 18567adc3a2bSChandler Carruth return false; 18577adc3a2bSChandler Carruth 18587adc3a2bSChandler Carruth // We applied the maximum possible vector bonus at the beginning. Now, 18597adc3a2bSChandler Carruth // subtract the excess bonus, if any, from the Threshold before 18607adc3a2bSChandler Carruth // comparing against Cost. 18617adc3a2bSChandler Carruth if (NumVectorInstructions <= NumInstructions / 10) 186251b809bfSEaswaran Raman Threshold -= VectorBonus; 18637adc3a2bSChandler Carruth else if (NumVectorInstructions <= NumInstructions / 2) 186451b809bfSEaswaran Raman Threshold -= VectorBonus/2; 18657adc3a2bSChandler Carruth 186600ab73dcSHans Wennborg return Cost < std::max(1, Threshold); 18677adc3a2bSChandler Carruth } 18687adc3a2bSChandler Carruth 1869615eb470SAaron Ballman #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 18707adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis. 1871eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() { 18727adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << " " #x ": " << x << "\n" 18737adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantArgs); 18747adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs); 18757adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumAllocaArgs); 18767adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrCmps); 18777adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrDiffs); 18787adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructionsSimplified); 18797adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructions); 18807adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavings); 18817adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavingsLost); 1882a4461515SHaicheng Wu DEBUG_PRINT_STAT(LoadEliminationCost); 18837adc3a2bSChandler Carruth DEBUG_PRINT_STAT(ContainsNoDuplicateCall); 18847adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Cost); 18857adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Threshold); 18867adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT 18877adc3a2bSChandler Carruth } 18887adc3a2bSChandler Carruth #endif 18897adc3a2bSChandler Carruth 18907adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee 18917adc3a2bSChandler Carruth /// that prevent inlining. 18927adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller, 18937adc3a2bSChandler Carruth Function *Callee, 18947adc3a2bSChandler Carruth TargetTransformInfo &TTI) { 18957adc3a2bSChandler Carruth return TTI.areInlineCompatible(Caller, Callee) && 18961cb242ebSAkira Hatanaka AttributeFuncs::areInlineCompatible(*Caller, *Callee); 18977adc3a2bSChandler Carruth } 18987adc3a2bSChandler Carruth 1899351d9b01SXinliang David Li int llvm::getCallsiteCost(CallSite CS, const DataLayout &DL) { 1900351d9b01SXinliang David Li int Cost = 0; 1901351d9b01SXinliang David Li for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) { 1902351d9b01SXinliang David Li if (CS.isByValArgument(I)) { 1903351d9b01SXinliang David Li // We approximate the number of loads and stores needed by dividing the 1904351d9b01SXinliang David Li // size of the byval type by the target's pointer size. 1905351d9b01SXinliang David Li PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType()); 1906351d9b01SXinliang David Li unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType()); 1907351d9b01SXinliang David Li unsigned PointerSize = DL.getPointerSizeInBits(); 1908351d9b01SXinliang David Li // Ceiling division. 1909351d9b01SXinliang David Li unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize; 1910351d9b01SXinliang David Li 1911351d9b01SXinliang David Li // If it generates more than 8 stores it is likely to be expanded as an 1912351d9b01SXinliang David Li // inline memcpy so we take that as an upper bound. Otherwise we assume 1913351d9b01SXinliang David Li // one load and one store per word copied. 1914351d9b01SXinliang David Li // FIXME: The maxStoresPerMemcpy setting from the target should be used 1915351d9b01SXinliang David Li // here instead of a magic number of 8, but it's not available via 1916351d9b01SXinliang David Li // DataLayout. 1917351d9b01SXinliang David Li NumStores = std::min(NumStores, 8U); 1918351d9b01SXinliang David Li 1919351d9b01SXinliang David Li Cost += 2 * NumStores * InlineConstants::InstrCost; 1920351d9b01SXinliang David Li } else { 1921351d9b01SXinliang David Li // For non-byval arguments subtract off one instruction per call 1922351d9b01SXinliang David Li // argument. 1923351d9b01SXinliang David Li Cost += InlineConstants::InstrCost; 1924351d9b01SXinliang David Li } 1925351d9b01SXinliang David Li } 1926351d9b01SXinliang David Li // The call instruction also disappears after inlining. 1927351d9b01SXinliang David Li Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty; 1928351d9b01SXinliang David Li return Cost; 1929351d9b01SXinliang David Li } 1930351d9b01SXinliang David Li 1931ab6a6837SSean Silva InlineCost llvm::getInlineCost( 19321c57cc2bSEaswaran Raman CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI, 1933aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 193412585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 19350812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 1936aec2fa35SDaniel Jasper return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI, 19370812c5beSHaicheng Wu GetAssumptionCache, GetBFI, PSI, ORE); 1938b9f7120eSEaswaran Raman } 1939b9f7120eSEaswaran Raman 1940ab6a6837SSean Silva InlineCost llvm::getInlineCost( 19411c57cc2bSEaswaran Raman CallSite CS, Function *Callee, const InlineParams &Params, 1942aec2fa35SDaniel Jasper TargetTransformInfo &CalleeTTI, 1943aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 194412585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 19450812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 1946f4bb2f0dSEaswaran Raman 19477adc3a2bSChandler Carruth // Cannot inline indirect calls. 19487adc3a2bSChandler Carruth if (!Callee) 19497adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 19507adc3a2bSChandler Carruth 19517adc3a2bSChandler Carruth // Calls to functions with always-inline attributes should be inlined 19527adc3a2bSChandler Carruth // whenever possible. 19537adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::AlwaysInline)) { 19547adc3a2bSChandler Carruth if (isInlineViable(*Callee)) 19557adc3a2bSChandler Carruth return llvm::InlineCost::getAlways(); 19567adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 19577adc3a2bSChandler Carruth } 19587adc3a2bSChandler Carruth 19597adc3a2bSChandler Carruth // Never inline functions with conflicting attributes (unless callee has 19607adc3a2bSChandler Carruth // always-inline attribute). 19615ce28f4fSChad Rosier Function *Caller = CS.getCaller(); 19625ce28f4fSChad Rosier if (!functionsHaveCompatibleAttributes(Caller, Callee, CalleeTTI)) 19637adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 19647adc3a2bSChandler Carruth 19657adc3a2bSChandler Carruth // Don't inline this call if the caller has the optnone attribute. 19665ce28f4fSChad Rosier if (Caller->hasFnAttribute(Attribute::OptimizeNone)) 19677adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 19687adc3a2bSChandler Carruth 19695ce32728SSanjoy Das // Don't inline functions which can be interposed at link-time. Don't inline 19705ce32728SSanjoy Das // functions marked noinline or call sites marked noinline. 1971107b187dSCraig Topper // Note: inlining non-exact non-interposable functions is fine, since we know 19725ce32728SSanjoy Das // we have *a* correct implementation of the source level function. 1973567556aaSChad Rosier if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) || 1974567556aaSChad Rosier CS.isNoInline()) 19757adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 19767adc3a2bSChandler Carruth 19777adc3a2bSChandler Carruth DEBUG(llvm::dbgs() << " Analyzing call of " << Callee->getName() 19784eb18742SChad Rosier << "... (caller:" << Caller->getName() << ")\n"); 19797adc3a2bSChandler Carruth 19800812c5beSHaicheng Wu CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, ORE, *Callee, CS, 198112585b01SEaswaran Raman Params); 19827adc3a2bSChandler Carruth bool ShouldInline = CA.analyzeCall(CS); 19837adc3a2bSChandler Carruth 19847adc3a2bSChandler Carruth DEBUG(CA.dump()); 19857adc3a2bSChandler Carruth 19867adc3a2bSChandler Carruth // Check if there was a reason to force inlining or no inlining. 19877adc3a2bSChandler Carruth if (!ShouldInline && CA.getCost() < CA.getThreshold()) 19887adc3a2bSChandler Carruth return InlineCost::getNever(); 19897adc3a2bSChandler Carruth if (ShouldInline && CA.getCost() >= CA.getThreshold()) 19907adc3a2bSChandler Carruth return InlineCost::getAlways(); 19917adc3a2bSChandler Carruth 19927adc3a2bSChandler Carruth return llvm::InlineCost::get(CA.getCost(), CA.getThreshold()); 19937adc3a2bSChandler Carruth } 19947adc3a2bSChandler Carruth 1995b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) { 19967adc3a2bSChandler Carruth bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice); 19977adc3a2bSChandler Carruth for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) { 19987adc3a2bSChandler Carruth // Disallow inlining of functions which contain indirect branches or 19997adc3a2bSChandler Carruth // blockaddresses. 20007adc3a2bSChandler Carruth if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken()) 20017adc3a2bSChandler Carruth return false; 20027adc3a2bSChandler Carruth 20035a82c916SDuncan P. N. Exon Smith for (auto &II : *BI) { 20045a82c916SDuncan P. N. Exon Smith CallSite CS(&II); 20057adc3a2bSChandler Carruth if (!CS) 20067adc3a2bSChandler Carruth continue; 20077adc3a2bSChandler Carruth 20087adc3a2bSChandler Carruth // Disallow recursive calls. 20097adc3a2bSChandler Carruth if (&F == CS.getCalledFunction()) 20107adc3a2bSChandler Carruth return false; 20117adc3a2bSChandler Carruth 20127adc3a2bSChandler Carruth // Disallow calls which expose returns-twice to a function not previously 20137adc3a2bSChandler Carruth // attributed as such. 20147adc3a2bSChandler Carruth if (!ReturnsTwice && CS.isCall() && 20157adc3a2bSChandler Carruth cast<CallInst>(CS.getInstruction())->canReturnTwice()) 20167adc3a2bSChandler Carruth return false; 20177adc3a2bSChandler Carruth 20187adc3a2bSChandler Carruth // Disallow inlining functions that call @llvm.localescape. Doing this 20197adc3a2bSChandler Carruth // correctly would require major changes to the inliner. 20207adc3a2bSChandler Carruth if (CS.getCalledFunction() && 20217adc3a2bSChandler Carruth CS.getCalledFunction()->getIntrinsicID() == 20227adc3a2bSChandler Carruth llvm::Intrinsic::localescape) 20237adc3a2bSChandler Carruth return false; 20247adc3a2bSChandler Carruth } 20257adc3a2bSChandler Carruth } 20267adc3a2bSChandler Carruth 20277adc3a2bSChandler Carruth return true; 20287adc3a2bSChandler Carruth } 20291c57cc2bSEaswaran Raman 20301c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other 20311c57cc2bSEaswaran Raman // parameters. 20321c57cc2bSEaswaran Raman 20331c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) { 20341c57cc2bSEaswaran Raman InlineParams Params; 20351c57cc2bSEaswaran Raman 20361c57cc2bSEaswaran Raman // This field is the threshold to use for a callee by default. This is 20371c57cc2bSEaswaran Raman // derived from one or more of: 20381c57cc2bSEaswaran Raman // * optimization or size-optimization levels, 20391c57cc2bSEaswaran Raman // * a value passed to createFunctionInliningPass function, or 20401c57cc2bSEaswaran Raman // * the -inline-threshold flag. 20411c57cc2bSEaswaran Raman // If the -inline-threshold flag is explicitly specified, that is used 20421c57cc2bSEaswaran Raman // irrespective of anything else. 20431c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() > 0) 20441c57cc2bSEaswaran Raman Params.DefaultThreshold = InlineThreshold; 20451c57cc2bSEaswaran Raman else 20461c57cc2bSEaswaran Raman Params.DefaultThreshold = Threshold; 20471c57cc2bSEaswaran Raman 20481c57cc2bSEaswaran Raman // Set the HintThreshold knob from the -inlinehint-threshold. 20491c57cc2bSEaswaran Raman Params.HintThreshold = HintThreshold; 20501c57cc2bSEaswaran Raman 20511c57cc2bSEaswaran Raman // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold. 20521c57cc2bSEaswaran Raman Params.HotCallSiteThreshold = HotCallSiteThreshold; 20531c57cc2bSEaswaran Raman 2054974d4eeaSEaswaran Raman // If the -locally-hot-callsite-threshold is explicitly specified, use it to 2055974d4eeaSEaswaran Raman // populate LocallyHotCallSiteThreshold. Later, we populate 2056974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold from -locally-hot-callsite-threshold if 2057974d4eeaSEaswaran Raman // we know that optimization level is O3 (in the getInlineParams variant that 2058974d4eeaSEaswaran Raman // takes the opt and size levels). 2059974d4eeaSEaswaran Raman // FIXME: Remove this check (and make the assignment unconditional) after 2060974d4eeaSEaswaran Raman // addressing size regression issues at O2. 2061974d4eeaSEaswaran Raman if (LocallyHotCallSiteThreshold.getNumOccurrences() > 0) 2062974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 2063974d4eeaSEaswaran Raman 206412585b01SEaswaran Raman // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold. 206512585b01SEaswaran Raman Params.ColdCallSiteThreshold = ColdCallSiteThreshold; 206612585b01SEaswaran Raman 20671c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 20681c57cc2bSEaswaran Raman // -inlinehint-threshold commandline option is not explicitly given. If that 20691c57cc2bSEaswaran Raman // option is present, then its value applies even for callees with size and 20701c57cc2bSEaswaran Raman // minsize attributes. 20711c57cc2bSEaswaran Raman // If the -inline-threshold is not specified, set the ColdThreshold from the 20721c57cc2bSEaswaran Raman // -inlinecold-threshold even if it is not explicitly passed. If 20731c57cc2bSEaswaran Raman // -inline-threshold is specified, then -inlinecold-threshold needs to be 20741c57cc2bSEaswaran Raman // explicitly specified to set the ColdThreshold knob 20751c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() == 0) { 20761c57cc2bSEaswaran Raman Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold; 20771c57cc2bSEaswaran Raman Params.OptSizeThreshold = InlineConstants::OptSizeThreshold; 20781c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 20791c57cc2bSEaswaran Raman } else if (ColdThreshold.getNumOccurrences() > 0) { 20801c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 20811c57cc2bSEaswaran Raman } 20821c57cc2bSEaswaran Raman return Params; 20831c57cc2bSEaswaran Raman } 20841c57cc2bSEaswaran Raman 20851c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() { 20861c57cc2bSEaswaran Raman return getInlineParams(InlineThreshold); 20871c57cc2bSEaswaran Raman } 20881c57cc2bSEaswaran Raman 20891c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the 20901c57cc2bSEaswaran Raman // size opt level. 20911c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel, 20921c57cc2bSEaswaran Raman unsigned SizeOptLevel) { 20931c57cc2bSEaswaran Raman if (OptLevel > 2) 20941c57cc2bSEaswaran Raman return InlineConstants::OptAggressiveThreshold; 20951c57cc2bSEaswaran Raman if (SizeOptLevel == 1) // -Os 20961c57cc2bSEaswaran Raman return InlineConstants::OptSizeThreshold; 20971c57cc2bSEaswaran Raman if (SizeOptLevel == 2) // -Oz 20981c57cc2bSEaswaran Raman return InlineConstants::OptMinSizeThreshold; 20991c57cc2bSEaswaran Raman return InlineThreshold; 21001c57cc2bSEaswaran Raman } 21011c57cc2bSEaswaran Raman 21021c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) { 2103974d4eeaSEaswaran Raman auto Params = 2104974d4eeaSEaswaran Raman getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel)); 2105974d4eeaSEaswaran Raman // At O3, use the value of -locally-hot-callsite-threshold option to populate 2106974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold. Below O3, this flag has effect only 2107974d4eeaSEaswaran Raman // when it is specified explicitly. 2108974d4eeaSEaswaran Raman if (OptLevel > 2) 2109974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 2110974d4eeaSEaswaran Raman return Params; 21111c57cc2bSEaswaran Raman } 2112