17adc3a2bSChandler Carruth //===- InlineCost.cpp - Cost analysis for inliner -------------------------===// 27adc3a2bSChandler Carruth // 32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 67adc3a2bSChandler Carruth // 77adc3a2bSChandler Carruth //===----------------------------------------------------------------------===// 87adc3a2bSChandler Carruth // 97adc3a2bSChandler Carruth // This file implements inline cost analysis. 107adc3a2bSChandler Carruth // 117adc3a2bSChandler Carruth //===----------------------------------------------------------------------===// 127adc3a2bSChandler Carruth 137adc3a2bSChandler Carruth #include "llvm/Analysis/InlineCost.h" 147adc3a2bSChandler Carruth #include "llvm/ADT/STLExtras.h" 157adc3a2bSChandler Carruth #include "llvm/ADT/SetVector.h" 167adc3a2bSChandler Carruth #include "llvm/ADT/SmallPtrSet.h" 177adc3a2bSChandler Carruth #include "llvm/ADT/SmallVector.h" 187adc3a2bSChandler Carruth #include "llvm/ADT/Statistic.h" 19aec2fa35SDaniel Jasper #include "llvm/Analysis/AssumptionCache.h" 2012585b01SEaswaran Raman #include "llvm/Analysis/BlockFrequencyInfo.h" 217adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h" 227adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h" 233739e14aSHaicheng Wu #include "llvm/Analysis/CFG.h" 247adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h" 25ba9f245bSDavid Green #include "llvm/Analysis/LoopInfo.h" 2671069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h" 277adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h" 28a4461515SHaicheng Wu #include "llvm/Analysis/ValueTracking.h" 29432a3883SNico Weber #include "llvm/Config/llvm-config.h" 307adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h" 317adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h" 32ba9f245bSDavid Green #include "llvm/IR/Dominators.h" 337adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h" 347adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h" 357adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h" 367adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h" 377adc3a2bSChandler Carruth #include "llvm/IR/Operator.h" 387adc3a2bSChandler Carruth #include "llvm/Support/Debug.h" 397adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h" 407adc3a2bSChandler Carruth 417adc3a2bSChandler Carruth using namespace llvm; 427adc3a2bSChandler Carruth 437adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost" 447adc3a2bSChandler Carruth 457adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed"); 467adc3a2bSChandler Carruth 471c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold( 48f4bb2f0dSEaswaran Raman "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore, 49f4bb2f0dSEaswaran Raman cl::desc("Control the amount of inlining to perform (default = 225)")); 50f4bb2f0dSEaswaran Raman 51f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold( 52fd3e7a93SDavid Callahan "inlinehint-threshold", cl::Hidden, cl::init(325), cl::ZeroOrMore, 53f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with inline hint")); 54f4bb2f0dSEaswaran Raman 5512585b01SEaswaran Raman static cl::opt<int> 5612585b01SEaswaran Raman ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden, 57fd3e7a93SDavid Callahan cl::init(45), cl::ZeroOrMore, 5812585b01SEaswaran Raman cl::desc("Threshold for inlining cold callsites")); 5912585b01SEaswaran Raman 60f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based 61f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and 62f4bb2f0dSEaswaran Raman // BFI. 63f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold( 64fd3e7a93SDavid Callahan "inlinecold-threshold", cl::Hidden, cl::init(45), cl::ZeroOrMore, 65f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with cold attribute")); 66f4bb2f0dSEaswaran Raman 67de39cb93SDehao Chen static cl::opt<int> 68de39cb93SDehao Chen HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000), 69de39cb93SDehao Chen cl::ZeroOrMore, 70de39cb93SDehao Chen cl::desc("Threshold for hot callsites ")); 71de39cb93SDehao Chen 72974d4eeaSEaswaran Raman static cl::opt<int> LocallyHotCallSiteThreshold( 73974d4eeaSEaswaran Raman "locally-hot-callsite-threshold", cl::Hidden, cl::init(525), cl::ZeroOrMore, 74974d4eeaSEaswaran Raman cl::desc("Threshold for locally hot callsites ")); 75974d4eeaSEaswaran Raman 76c5fa6358SEaswaran Raman static cl::opt<int> ColdCallSiteRelFreq( 77c5fa6358SEaswaran Raman "cold-callsite-rel-freq", cl::Hidden, cl::init(2), cl::ZeroOrMore, 7802a2bb2fSHiroshi Inoue cl::desc("Maximum block frequency, expressed as a percentage of caller's " 79c5fa6358SEaswaran Raman "entry frequency, for a callsite to be cold in the absence of " 80c5fa6358SEaswaran Raman "profile information.")); 81c5fa6358SEaswaran Raman 82974d4eeaSEaswaran Raman static cl::opt<int> HotCallSiteRelFreq( 83974d4eeaSEaswaran Raman "hot-callsite-rel-freq", cl::Hidden, cl::init(60), cl::ZeroOrMore, 84ff77cc75SEaswaran Raman cl::desc("Minimum block frequency, expressed as a multiple of caller's " 85974d4eeaSEaswaran Raman "entry frequency, for a callsite to be hot in the absence of " 86974d4eeaSEaswaran Raman "profile information.")); 87974d4eeaSEaswaran Raman 884924bb00SEaswaran Raman static cl::opt<bool> OptComputeFullInlineCost( 89fd3e7a93SDavid Callahan "inline-cost-full", cl::Hidden, cl::init(false), cl::ZeroOrMore, 900812c5beSHaicheng Wu cl::desc("Compute the full inline cost of a call site even when the cost " 910812c5beSHaicheng Wu "exceeds the threshold.")); 920812c5beSHaicheng Wu 937adc3a2bSChandler Carruth namespace { 947adc3a2bSChandler Carruth 957adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> { 967adc3a2bSChandler Carruth typedef InstVisitor<CallAnalyzer, bool> Base; 977adc3a2bSChandler Carruth friend class InstVisitor<CallAnalyzer, bool>; 987adc3a2bSChandler Carruth 997adc3a2bSChandler Carruth /// The TargetTransformInfo available for this compilation. 1007adc3a2bSChandler Carruth const TargetTransformInfo &TTI; 1017adc3a2bSChandler Carruth 102aec2fa35SDaniel Jasper /// Getter for the cache of @llvm.assume intrinsics. 103aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache; 104aec2fa35SDaniel Jasper 10512585b01SEaswaran Raman /// Getter for BlockFrequencyInfo 10612585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI; 10712585b01SEaswaran Raman 10871069cf6SEaswaran Raman /// Profile summary information. 10971069cf6SEaswaran Raman ProfileSummaryInfo *PSI; 11071069cf6SEaswaran Raman 111f3d122cdSPiotr Padlewski /// The called function. 1127adc3a2bSChandler Carruth Function &F; 1137adc3a2bSChandler Carruth 11485be8ca8SEric Christopher // Cache the DataLayout since we use it a lot. 11585be8ca8SEric Christopher const DataLayout &DL; 11685be8ca8SEric Christopher 1170812c5beSHaicheng Wu /// The OptimizationRemarkEmitter available for this compilation. 1180812c5beSHaicheng Wu OptimizationRemarkEmitter *ORE; 1190812c5beSHaicheng Wu 120f3d122cdSPiotr Padlewski /// The candidate callsite being analyzed. Please do not use this to do 121f3d122cdSPiotr Padlewski /// analysis in the caller function; we want the inline cost query to be 122f3d122cdSPiotr Padlewski /// easily cacheable. Instead, use the cover function paramHasAttr. 123652168a9SFedor Sergeev CallBase &CandidateCall; 1247adc3a2bSChandler Carruth 125f3d122cdSPiotr Padlewski /// Tunable parameters that control the analysis. 1261c57cc2bSEaswaran Raman const InlineParams &Params; 1271c57cc2bSEaswaran Raman 128eeae45dcSFedor Sergeev /// Upper bound for the inlining cost. Bonuses are being applied to account 129eeae45dcSFedor Sergeev /// for speculative "expected profit" of the inlining decision. 1307adc3a2bSChandler Carruth int Threshold; 131eeae45dcSFedor Sergeev 132eeae45dcSFedor Sergeev /// Inlining cost measured in abstract units, accounts for all the 133eeae45dcSFedor Sergeev /// instructions expected to be executed for a given function invocation. 134eeae45dcSFedor Sergeev /// Instructions that are statically proven to be dead based on call-site 135eeae45dcSFedor Sergeev /// arguments are not counted here. 136eeae45dcSFedor Sergeev int Cost = 0; 137eeae45dcSFedor Sergeev 1384924bb00SEaswaran Raman bool ComputeFullInlineCost; 1397adc3a2bSChandler Carruth 140eeae45dcSFedor Sergeev bool IsCallerRecursive = false; 141eeae45dcSFedor Sergeev bool IsRecursiveCall = false; 142eeae45dcSFedor Sergeev bool ExposesReturnsTwice = false; 143eeae45dcSFedor Sergeev bool HasDynamicAlloca = false; 144eeae45dcSFedor Sergeev bool ContainsNoDuplicateCall = false; 145eeae45dcSFedor Sergeev bool HasReturn = false; 146eeae45dcSFedor Sergeev bool HasIndirectBr = false; 147eeae45dcSFedor Sergeev bool HasUninlineableIntrinsic = false; 148eeae45dcSFedor Sergeev bool InitsVargArgs = false; 1497adc3a2bSChandler Carruth 1507adc3a2bSChandler Carruth /// Number of bytes allocated statically by the callee. 151eeae45dcSFedor Sergeev uint64_t AllocatedSize = 0; 152eeae45dcSFedor Sergeev unsigned NumInstructions = 0; 153eeae45dcSFedor Sergeev unsigned NumVectorInstructions = 0; 154eeae45dcSFedor Sergeev 155eeae45dcSFedor Sergeev /// Bonus to be applied when percentage of vector instructions in callee is 156eeae45dcSFedor Sergeev /// high (see more details in updateThreshold). 157eeae45dcSFedor Sergeev int VectorBonus = 0; 158eeae45dcSFedor Sergeev /// Bonus to be applied when the callee has only one reachable basic block. 159eeae45dcSFedor Sergeev int SingleBBBonus = 0; 1607adc3a2bSChandler Carruth 161f3d122cdSPiotr Padlewski /// While we walk the potentially-inlined instructions, we build up and 162f3d122cdSPiotr Padlewski /// maintain a mapping of simplified values specific to this callsite. The 163f3d122cdSPiotr Padlewski /// idea is to propagate any special information we have about arguments to 164f3d122cdSPiotr Padlewski /// this call through the inlinable section of the function, and account for 165f3d122cdSPiotr Padlewski /// likely simplifications post-inlining. The most important aspect we track 166f3d122cdSPiotr Padlewski /// is CFG altering simplifications -- when we prove a basic block dead, that 167f3d122cdSPiotr Padlewski /// can cause dramatic shifts in the cost of inlining a function. 1687adc3a2bSChandler Carruth DenseMap<Value *, Constant *> SimplifiedValues; 1697adc3a2bSChandler Carruth 170f3d122cdSPiotr Padlewski /// Keep track of the values which map back (through function arguments) to 171f3d122cdSPiotr Padlewski /// allocas on the caller stack which could be simplified through SROA. 1727adc3a2bSChandler Carruth DenseMap<Value *, Value *> SROAArgValues; 1737adc3a2bSChandler Carruth 174f3d122cdSPiotr Padlewski /// The mapping of caller Alloca values to their accumulated cost savings. If 175f3d122cdSPiotr Padlewski /// we have to disable SROA for one of the allocas, this tells us how much 176f3d122cdSPiotr Padlewski /// cost must be added. 1777adc3a2bSChandler Carruth DenseMap<Value *, int> SROAArgCosts; 1787adc3a2bSChandler Carruth 179f3d122cdSPiotr Padlewski /// Keep track of values which map to a pointer base and constant offset. 1807adc3a2bSChandler Carruth DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs; 1817adc3a2bSChandler Carruth 1823739e14aSHaicheng Wu /// Keep track of dead blocks due to the constant arguments. 1833739e14aSHaicheng Wu SetVector<BasicBlock *> DeadBlocks; 1843739e14aSHaicheng Wu 1853739e14aSHaicheng Wu /// The mapping of the blocks to their known unique successors due to the 1863739e14aSHaicheng Wu /// constant arguments. 1873739e14aSHaicheng Wu DenseMap<BasicBlock *, BasicBlock *> KnownSuccessors; 1883739e14aSHaicheng Wu 189a4461515SHaicheng Wu /// Model the elimination of repeated loads that is expected to happen 190a4461515SHaicheng Wu /// whenever we simplify away the stores that would otherwise cause them to be 191a4461515SHaicheng Wu /// loads. 192a4461515SHaicheng Wu bool EnableLoadElimination; 193a4461515SHaicheng Wu SmallPtrSet<Value *, 16> LoadAddrSet; 194eeae45dcSFedor Sergeev int LoadEliminationCost = 0; 195a4461515SHaicheng Wu 1967adc3a2bSChandler Carruth // Custom simplification helper routines. 1977adc3a2bSChandler Carruth bool isAllocaDerivedArg(Value *V); 1987adc3a2bSChandler Carruth bool lookupSROAArgAndCost(Value *V, Value *&Arg, 1997adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator &CostIt); 2007adc3a2bSChandler Carruth void disableSROA(DenseMap<Value *, int>::iterator CostIt); 2017adc3a2bSChandler Carruth void disableSROA(Value *V); 2023739e14aSHaicheng Wu void findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB); 2037adc3a2bSChandler Carruth void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 2047adc3a2bSChandler Carruth int InstructionCost); 205a4461515SHaicheng Wu void disableLoadElimination(); 206201b191bSHaicheng Wu bool isGEPFree(GetElementPtrInst &GEP); 207d3558b5dSEvgeny Astigeevich bool canFoldInboundsGEP(GetElementPtrInst &I); 2087adc3a2bSChandler Carruth bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset); 209652168a9SFedor Sergeev bool simplifyCallSite(Function *F, CallBase &Call); 210617f6364SEaswaran Raman template <typename Callable> 211617f6364SEaswaran Raman bool simplifyInstruction(Instruction &I, Callable Evaluate); 2127adc3a2bSChandler Carruth ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V); 2137adc3a2bSChandler Carruth 2147adc3a2bSChandler Carruth /// Return true if the given argument to the function being considered for 2157adc3a2bSChandler Carruth /// inlining has the given attribute set either at the call site or the 2167adc3a2bSChandler Carruth /// function declaration. Primarily used to inspect call site specific 2177adc3a2bSChandler Carruth /// attributes since these can be more precise than the ones on the callee 2187adc3a2bSChandler Carruth /// itself. 2197adc3a2bSChandler Carruth bool paramHasAttr(Argument *A, Attribute::AttrKind Attr); 2207adc3a2bSChandler Carruth 2217adc3a2bSChandler Carruth /// Return true if the given value is known non null within the callee if 2227adc3a2bSChandler Carruth /// inlined through this particular callsite. 2237adc3a2bSChandler Carruth bool isKnownNonNullInCallee(Value *V); 2247adc3a2bSChandler Carruth 225f4bb2f0dSEaswaran Raman /// Update Threshold based on callsite properties such as callee 226f4bb2f0dSEaswaran Raman /// attributes and callee hotness for PGO builds. The Callee is explicitly 227f4bb2f0dSEaswaran Raman /// passed to support analyzing indirect calls whose target is inferred by 228f4bb2f0dSEaswaran Raman /// analysis. 229652168a9SFedor Sergeev void updateThreshold(CallBase &Call, Function &Callee); 230f4bb2f0dSEaswaran Raman 231652168a9SFedor Sergeev /// Return true if size growth is allowed when inlining the callee at \p Call. 232652168a9SFedor Sergeev bool allowSizeGrowth(CallBase &Call); 2339a3fc17aSEaswaran Raman 234652168a9SFedor Sergeev /// Return true if \p Call is a cold callsite. 235652168a9SFedor Sergeev bool isColdCallSite(CallBase &Call, BlockFrequencyInfo *CallerBFI); 236c5fa6358SEaswaran Raman 237652168a9SFedor Sergeev /// Return a higher threshold if \p Call is a hot callsite. 238652168a9SFedor Sergeev Optional<int> getHotCallSiteThreshold(CallBase &Call, 239974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI); 240974d4eeaSEaswaran Raman 2417adc3a2bSChandler Carruth // Custom analysis routines. 242c0aa4b75SDavid Bolvansky InlineResult analyzeBlock(BasicBlock *BB, 243c0aa4b75SDavid Bolvansky SmallPtrSetImpl<const Value *> &EphValues); 2447adc3a2bSChandler Carruth 245eeae45dcSFedor Sergeev /// Handle a capped 'int' increment for Cost. 246eeae45dcSFedor Sergeev void addCost(int64_t Inc, int64_t UpperBound = INT_MAX) { 247eeae45dcSFedor Sergeev assert(UpperBound > 0 && UpperBound <= INT_MAX && "invalid upper bound"); 248eeae45dcSFedor Sergeev Cost = (int)std::min(UpperBound, Cost + Inc); 249eeae45dcSFedor Sergeev } 250eeae45dcSFedor Sergeev 2517adc3a2bSChandler Carruth // Disable several entry points to the visitor so we don't accidentally use 2527adc3a2bSChandler Carruth // them by declaring but not defining them here. 253567556aaSChad Rosier void visit(Module *); 254567556aaSChad Rosier void visit(Module &); 255567556aaSChad Rosier void visit(Function *); 256567556aaSChad Rosier void visit(Function &); 257567556aaSChad Rosier void visit(BasicBlock *); 258567556aaSChad Rosier void visit(BasicBlock &); 2597adc3a2bSChandler Carruth 2607adc3a2bSChandler Carruth // Provide base case for our instruction visit. 2617adc3a2bSChandler Carruth bool visitInstruction(Instruction &I); 2627adc3a2bSChandler Carruth 2637adc3a2bSChandler Carruth // Our visit overrides. 2647adc3a2bSChandler Carruth bool visitAlloca(AllocaInst &I); 2657adc3a2bSChandler Carruth bool visitPHI(PHINode &I); 2667adc3a2bSChandler Carruth bool visitGetElementPtr(GetElementPtrInst &I); 2677adc3a2bSChandler Carruth bool visitBitCast(BitCastInst &I); 2687adc3a2bSChandler Carruth bool visitPtrToInt(PtrToIntInst &I); 2697adc3a2bSChandler Carruth bool visitIntToPtr(IntToPtrInst &I); 2707adc3a2bSChandler Carruth bool visitCastInst(CastInst &I); 2717adc3a2bSChandler Carruth bool visitUnaryInstruction(UnaryInstruction &I); 2727adc3a2bSChandler Carruth bool visitCmpInst(CmpInst &I); 2737adc3a2bSChandler Carruth bool visitSub(BinaryOperator &I); 2747adc3a2bSChandler Carruth bool visitBinaryOperator(BinaryOperator &I); 2757adc3a2bSChandler Carruth bool visitLoad(LoadInst &I); 2767adc3a2bSChandler Carruth bool visitStore(StoreInst &I); 2777adc3a2bSChandler Carruth bool visitExtractValue(ExtractValueInst &I); 2787adc3a2bSChandler Carruth bool visitInsertValue(InsertValueInst &I); 279652168a9SFedor Sergeev bool visitCallBase(CallBase &Call); 2807adc3a2bSChandler Carruth bool visitReturnInst(ReturnInst &RI); 2817adc3a2bSChandler Carruth bool visitBranchInst(BranchInst &BI); 2823ec848bcSHaicheng Wu bool visitSelectInst(SelectInst &SI); 2837adc3a2bSChandler Carruth bool visitSwitchInst(SwitchInst &SI); 2847adc3a2bSChandler Carruth bool visitIndirectBrInst(IndirectBrInst &IBI); 2857adc3a2bSChandler Carruth bool visitResumeInst(ResumeInst &RI); 2867adc3a2bSChandler Carruth bool visitCleanupReturnInst(CleanupReturnInst &RI); 2877adc3a2bSChandler Carruth bool visitCatchReturnInst(CatchReturnInst &RI); 2887adc3a2bSChandler Carruth bool visitUnreachableInst(UnreachableInst &I); 2897adc3a2bSChandler Carruth 2907adc3a2bSChandler Carruth public: 291ab6a6837SSean Silva CallAnalyzer(const TargetTransformInfo &TTI, 292aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 29312585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI, 2940812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE, 295652168a9SFedor Sergeev Function &Callee, CallBase &Call, const InlineParams &Params) 29612585b01SEaswaran Raman : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI), 2970812c5beSHaicheng Wu PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()), ORE(ORE), 298652168a9SFedor Sergeev CandidateCall(Call), Params(Params), Threshold(Params.DefaultThreshold), 299eeae45dcSFedor Sergeev ComputeFullInlineCost(OptComputeFullInlineCost || 3004924bb00SEaswaran Raman Params.ComputeFullInlineCost || ORE), 301eeae45dcSFedor Sergeev EnableLoadElimination(true) {} 3027adc3a2bSChandler Carruth 303652168a9SFedor Sergeev InlineResult analyzeCall(CallBase &Call); 3047adc3a2bSChandler Carruth 3057adc3a2bSChandler Carruth int getThreshold() { return Threshold; } 3067adc3a2bSChandler Carruth int getCost() { return Cost; } 3077adc3a2bSChandler Carruth 3087adc3a2bSChandler Carruth // Keep a bunch of stats about the cost savings found so we can print them 3097adc3a2bSChandler Carruth // out when debugging. 310eeae45dcSFedor Sergeev unsigned NumConstantArgs = 0; 311eeae45dcSFedor Sergeev unsigned NumConstantOffsetPtrArgs = 0; 312eeae45dcSFedor Sergeev unsigned NumAllocaArgs = 0; 313eeae45dcSFedor Sergeev unsigned NumConstantPtrCmps = 0; 314eeae45dcSFedor Sergeev unsigned NumConstantPtrDiffs = 0; 315eeae45dcSFedor Sergeev unsigned NumInstructionsSimplified = 0; 316eeae45dcSFedor Sergeev unsigned SROACostSavings = 0; 317eeae45dcSFedor Sergeev unsigned SROACostSavingsLost = 0; 3187adc3a2bSChandler Carruth 3197adc3a2bSChandler Carruth void dump(); 3207adc3a2bSChandler Carruth }; 3217adc3a2bSChandler Carruth 3227adc3a2bSChandler Carruth } // namespace 3237adc3a2bSChandler Carruth 3245f8f34e4SAdrian Prantl /// Test whether the given value is an Alloca-derived function argument. 3257adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) { 3267adc3a2bSChandler Carruth return SROAArgValues.count(V); 3277adc3a2bSChandler Carruth } 3287adc3a2bSChandler Carruth 3295f8f34e4SAdrian Prantl /// Lookup the SROA-candidate argument and cost iterator which V maps to. 3307adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate. 3317adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost( 3327adc3a2bSChandler Carruth Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) { 3337adc3a2bSChandler Carruth if (SROAArgValues.empty() || SROAArgCosts.empty()) 3347adc3a2bSChandler Carruth return false; 3357adc3a2bSChandler Carruth 3367adc3a2bSChandler Carruth DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V); 3377adc3a2bSChandler Carruth if (ArgIt == SROAArgValues.end()) 3387adc3a2bSChandler Carruth return false; 3397adc3a2bSChandler Carruth 3407adc3a2bSChandler Carruth Arg = ArgIt->second; 3417adc3a2bSChandler Carruth CostIt = SROAArgCosts.find(Arg); 3427adc3a2bSChandler Carruth return CostIt != SROAArgCosts.end(); 3437adc3a2bSChandler Carruth } 3447adc3a2bSChandler Carruth 3455f8f34e4SAdrian Prantl /// Disable SROA for the candidate marked by this cost iterator. 3467adc3a2bSChandler Carruth /// 3477adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost 3487adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement. 3497adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) { 3507adc3a2bSChandler Carruth // If we're no longer able to perform SROA we need to undo its cost savings 3517adc3a2bSChandler Carruth // and prevent subsequent analysis. 352eeae45dcSFedor Sergeev addCost(CostIt->second); 3537adc3a2bSChandler Carruth SROACostSavings -= CostIt->second; 3547adc3a2bSChandler Carruth SROACostSavingsLost += CostIt->second; 3557adc3a2bSChandler Carruth SROAArgCosts.erase(CostIt); 356a4461515SHaicheng Wu disableLoadElimination(); 3577adc3a2bSChandler Carruth } 3587adc3a2bSChandler Carruth 3595f8f34e4SAdrian Prantl /// If 'V' maps to a SROA candidate, disable SROA for it. 3607adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) { 3617adc3a2bSChandler Carruth Value *SROAArg; 3627adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 3637adc3a2bSChandler Carruth if (lookupSROAArgAndCost(V, SROAArg, CostIt)) 3647adc3a2bSChandler Carruth disableSROA(CostIt); 3657adc3a2bSChandler Carruth } 3667adc3a2bSChandler Carruth 3675f8f34e4SAdrian Prantl /// Accumulate the given cost for a particular SROA candidate. 3687adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 3697adc3a2bSChandler Carruth int InstructionCost) { 3707adc3a2bSChandler Carruth CostIt->second += InstructionCost; 3717adc3a2bSChandler Carruth SROACostSavings += InstructionCost; 3727adc3a2bSChandler Carruth } 3737adc3a2bSChandler Carruth 374a4461515SHaicheng Wu void CallAnalyzer::disableLoadElimination() { 375a4461515SHaicheng Wu if (EnableLoadElimination) { 376eeae45dcSFedor Sergeev addCost(LoadEliminationCost); 377b3689cabSHaicheng Wu LoadEliminationCost = 0; 378a4461515SHaicheng Wu EnableLoadElimination = false; 379a4461515SHaicheng Wu } 380a4461515SHaicheng Wu } 381a4461515SHaicheng Wu 3825f8f34e4SAdrian Prantl /// Accumulate a constant GEP offset into an APInt if possible. 3837adc3a2bSChandler Carruth /// 3847adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any 3857adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite. 3867adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) { 387945b7e5aSElena Demikhovsky unsigned IntPtrWidth = DL.getIndexTypeSizeInBits(GEP.getType()); 3887adc3a2bSChandler Carruth assert(IntPtrWidth == Offset.getBitWidth()); 3897adc3a2bSChandler Carruth 3907adc3a2bSChandler Carruth for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP); 3917adc3a2bSChandler Carruth GTI != GTE; ++GTI) { 3927adc3a2bSChandler Carruth ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand()); 3937adc3a2bSChandler Carruth if (!OpC) 3947adc3a2bSChandler Carruth if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand())) 3957adc3a2bSChandler Carruth OpC = dyn_cast<ConstantInt>(SimpleOp); 3967adc3a2bSChandler Carruth if (!OpC) 3977adc3a2bSChandler Carruth return false; 398567556aaSChad Rosier if (OpC->isZero()) 399567556aaSChad Rosier continue; 4007adc3a2bSChandler Carruth 4017adc3a2bSChandler Carruth // Handle a struct index, which adds its field offset to the pointer. 402ab85225bSPeter Collingbourne if (StructType *STy = GTI.getStructTypeOrNull()) { 4037adc3a2bSChandler Carruth unsigned ElementIdx = OpC->getZExtValue(); 4047adc3a2bSChandler Carruth const StructLayout *SL = DL.getStructLayout(STy); 4057adc3a2bSChandler Carruth Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx)); 4067adc3a2bSChandler Carruth continue; 4077adc3a2bSChandler Carruth } 4087adc3a2bSChandler Carruth 4097adc3a2bSChandler Carruth APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType())); 4107adc3a2bSChandler Carruth Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize; 4117adc3a2bSChandler Carruth } 4127adc3a2bSChandler Carruth return true; 4137adc3a2bSChandler Carruth } 4147adc3a2bSChandler Carruth 4155f8f34e4SAdrian Prantl /// Use TTI to check whether a GEP is free. 416201b191bSHaicheng Wu /// 417201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite. 418201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) { 41961c1bd5aSEvgeny Astigeevich SmallVector<Value *, 4> Operands; 42061c1bd5aSEvgeny Astigeevich Operands.push_back(GEP.getOperand(0)); 421201b191bSHaicheng Wu for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 422201b191bSHaicheng Wu if (Constant *SimpleOp = SimplifiedValues.lookup(*I)) 42361c1bd5aSEvgeny Astigeevich Operands.push_back(SimpleOp); 424201b191bSHaicheng Wu else 42561c1bd5aSEvgeny Astigeevich Operands.push_back(*I); 42661c1bd5aSEvgeny Astigeevich return TargetTransformInfo::TCC_Free == TTI.getUserCost(&GEP, Operands); 427201b191bSHaicheng Wu } 428201b191bSHaicheng Wu 4297adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) { 4307adc3a2bSChandler Carruth // Check whether inlining will turn a dynamic alloca into a static 4310f153424SSanjay Patel // alloca and handle that case. 4327adc3a2bSChandler Carruth if (I.isArrayAllocation()) { 4330f153424SSanjay Patel Constant *Size = SimplifiedValues.lookup(I.getArraySize()); 4340f153424SSanjay Patel if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) { 4357adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 43622eb80a1SEaswaran Raman AllocatedSize = SaturatingMultiplyAdd( 43722eb80a1SEaswaran Raman AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize); 4387adc3a2bSChandler Carruth return Base::visitAlloca(I); 4397adc3a2bSChandler Carruth } 4407adc3a2bSChandler Carruth } 4417adc3a2bSChandler Carruth 4427adc3a2bSChandler Carruth // Accumulate the allocated size. 4437adc3a2bSChandler Carruth if (I.isStaticAlloca()) { 4447adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 44522eb80a1SEaswaran Raman AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize); 4467adc3a2bSChandler Carruth } 4477adc3a2bSChandler Carruth 4487adc3a2bSChandler Carruth // We will happily inline static alloca instructions. 4497adc3a2bSChandler Carruth if (I.isStaticAlloca()) 4507adc3a2bSChandler Carruth return Base::visitAlloca(I); 4517adc3a2bSChandler Carruth 4527adc3a2bSChandler Carruth // FIXME: This is overly conservative. Dynamic allocas are inefficient for 4537adc3a2bSChandler Carruth // a variety of reasons, and so we would like to not inline them into 4547adc3a2bSChandler Carruth // functions which don't currently have a dynamic alloca. This simply 4557adc3a2bSChandler Carruth // disables inlining altogether in the presence of a dynamic alloca. 4567adc3a2bSChandler Carruth HasDynamicAlloca = true; 4577adc3a2bSChandler Carruth return false; 4587adc3a2bSChandler Carruth } 4597adc3a2bSChandler Carruth 4607adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) { 4617adc3a2bSChandler Carruth // FIXME: We need to propagate SROA *disabling* through phi nodes, even 4627adc3a2bSChandler Carruth // though we don't want to propagate it's bonuses. The idea is to disable 4637adc3a2bSChandler Carruth // SROA if it *might* be used in an inappropriate manner. 4647adc3a2bSChandler Carruth 4657adc3a2bSChandler Carruth // Phi nodes are always zero-cost. 46677f32994SBjorn Pettersson // FIXME: Pointer sizes may differ between different address spaces, so do we 46777f32994SBjorn Pettersson // need to use correct address space in the call to getPointerSizeInBits here? 46877f32994SBjorn Pettersson // Or could we skip the getPointerSizeInBits call completely? As far as I can 46977f32994SBjorn Pettersson // see the ZeroOffset is used as a dummy value, so we can probably use any 47077f32994SBjorn Pettersson // bit width for the ZeroOffset? 47177f32994SBjorn Pettersson APInt ZeroOffset = APInt::getNullValue(DL.getPointerSizeInBits(0)); 4723739e14aSHaicheng Wu bool CheckSROA = I.getType()->isPointerTy(); 4733739e14aSHaicheng Wu 4743739e14aSHaicheng Wu // Track the constant or pointer with constant offset we've seen so far. 4753739e14aSHaicheng Wu Constant *FirstC = nullptr; 4763739e14aSHaicheng Wu std::pair<Value *, APInt> FirstBaseAndOffset = {nullptr, ZeroOffset}; 4773739e14aSHaicheng Wu Value *FirstV = nullptr; 4783739e14aSHaicheng Wu 4793739e14aSHaicheng Wu for (unsigned i = 0, e = I.getNumIncomingValues(); i != e; ++i) { 4803739e14aSHaicheng Wu BasicBlock *Pred = I.getIncomingBlock(i); 4813739e14aSHaicheng Wu // If the incoming block is dead, skip the incoming block. 4823739e14aSHaicheng Wu if (DeadBlocks.count(Pred)) 4833739e14aSHaicheng Wu continue; 4843739e14aSHaicheng Wu // If the parent block of phi is not the known successor of the incoming 4853739e14aSHaicheng Wu // block, skip the incoming block. 4863739e14aSHaicheng Wu BasicBlock *KnownSuccessor = KnownSuccessors[Pred]; 4873739e14aSHaicheng Wu if (KnownSuccessor && KnownSuccessor != I.getParent()) 4883739e14aSHaicheng Wu continue; 4893739e14aSHaicheng Wu 4903739e14aSHaicheng Wu Value *V = I.getIncomingValue(i); 4913739e14aSHaicheng Wu // If the incoming value is this phi itself, skip the incoming value. 4923739e14aSHaicheng Wu if (&I == V) 4933739e14aSHaicheng Wu continue; 4943739e14aSHaicheng Wu 4953739e14aSHaicheng Wu Constant *C = dyn_cast<Constant>(V); 4963739e14aSHaicheng Wu if (!C) 4973739e14aSHaicheng Wu C = SimplifiedValues.lookup(V); 4983739e14aSHaicheng Wu 4993739e14aSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = {nullptr, ZeroOffset}; 5003739e14aSHaicheng Wu if (!C && CheckSROA) 5013739e14aSHaicheng Wu BaseAndOffset = ConstantOffsetPtrs.lookup(V); 5023739e14aSHaicheng Wu 5033739e14aSHaicheng Wu if (!C && !BaseAndOffset.first) 5043739e14aSHaicheng Wu // The incoming value is neither a constant nor a pointer with constant 5053739e14aSHaicheng Wu // offset, exit early. 5063739e14aSHaicheng Wu return true; 5073739e14aSHaicheng Wu 5083739e14aSHaicheng Wu if (FirstC) { 5093739e14aSHaicheng Wu if (FirstC == C) 5103739e14aSHaicheng Wu // If we've seen a constant incoming value before and it is the same 5113739e14aSHaicheng Wu // constant we see this time, continue checking the next incoming value. 5123739e14aSHaicheng Wu continue; 5133739e14aSHaicheng Wu // Otherwise early exit because we either see a different constant or saw 5143739e14aSHaicheng Wu // a constant before but we have a pointer with constant offset this time. 5153739e14aSHaicheng Wu return true; 5163739e14aSHaicheng Wu } 5173739e14aSHaicheng Wu 5183739e14aSHaicheng Wu if (FirstV) { 5193739e14aSHaicheng Wu // The same logic as above, but check pointer with constant offset here. 5203739e14aSHaicheng Wu if (FirstBaseAndOffset == BaseAndOffset) 5213739e14aSHaicheng Wu continue; 5223739e14aSHaicheng Wu return true; 5233739e14aSHaicheng Wu } 5243739e14aSHaicheng Wu 5253739e14aSHaicheng Wu if (C) { 5263739e14aSHaicheng Wu // This is the 1st time we've seen a constant, record it. 5273739e14aSHaicheng Wu FirstC = C; 5283739e14aSHaicheng Wu continue; 5293739e14aSHaicheng Wu } 5303739e14aSHaicheng Wu 5313739e14aSHaicheng Wu // The remaining case is that this is the 1st time we've seen a pointer with 5323739e14aSHaicheng Wu // constant offset, record it. 5333739e14aSHaicheng Wu FirstV = V; 5343739e14aSHaicheng Wu FirstBaseAndOffset = BaseAndOffset; 5353739e14aSHaicheng Wu } 5363739e14aSHaicheng Wu 5373739e14aSHaicheng Wu // Check if we can map phi to a constant. 5383739e14aSHaicheng Wu if (FirstC) { 5393739e14aSHaicheng Wu SimplifiedValues[&I] = FirstC; 5403739e14aSHaicheng Wu return true; 5413739e14aSHaicheng Wu } 5423739e14aSHaicheng Wu 5433739e14aSHaicheng Wu // Check if we can map phi to a pointer with constant offset. 5443739e14aSHaicheng Wu if (FirstBaseAndOffset.first) { 5453739e14aSHaicheng Wu ConstantOffsetPtrs[&I] = FirstBaseAndOffset; 5463739e14aSHaicheng Wu 5473739e14aSHaicheng Wu Value *SROAArg; 5483739e14aSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 5493739e14aSHaicheng Wu if (lookupSROAArgAndCost(FirstV, SROAArg, CostIt)) 5503739e14aSHaicheng Wu SROAArgValues[&I] = SROAArg; 5513739e14aSHaicheng Wu } 5523739e14aSHaicheng Wu 5537adc3a2bSChandler Carruth return true; 5547adc3a2bSChandler Carruth } 5557adc3a2bSChandler Carruth 5565f8f34e4SAdrian Prantl /// Check we can fold GEPs of constant-offset call site argument pointers. 557d3558b5dSEvgeny Astigeevich /// This requires target data and inbounds GEPs. 558d3558b5dSEvgeny Astigeevich /// 559d3558b5dSEvgeny Astigeevich /// \return true if the specified GEP can be folded. 560d3558b5dSEvgeny Astigeevich bool CallAnalyzer::canFoldInboundsGEP(GetElementPtrInst &I) { 561d3558b5dSEvgeny Astigeevich // Check if we have a base + offset for the pointer. 562d3558b5dSEvgeny Astigeevich std::pair<Value *, APInt> BaseAndOffset = 563d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs.lookup(I.getPointerOperand()); 564d3558b5dSEvgeny Astigeevich if (!BaseAndOffset.first) 565d3558b5dSEvgeny Astigeevich return false; 566d3558b5dSEvgeny Astigeevich 567d3558b5dSEvgeny Astigeevich // Check if the offset of this GEP is constant, and if so accumulate it 568d3558b5dSEvgeny Astigeevich // into Offset. 569d3558b5dSEvgeny Astigeevich if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) 570d3558b5dSEvgeny Astigeevich return false; 571d3558b5dSEvgeny Astigeevich 572d3558b5dSEvgeny Astigeevich // Add the result as a new mapping to Base + Offset. 573d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs[&I] = BaseAndOffset; 574d3558b5dSEvgeny Astigeevich 575d3558b5dSEvgeny Astigeevich return true; 576d3558b5dSEvgeny Astigeevich } 577d3558b5dSEvgeny Astigeevich 5787adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) { 5797adc3a2bSChandler Carruth Value *SROAArg; 5807adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 581567556aaSChad Rosier bool SROACandidate = 582567556aaSChad Rosier lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt); 5837adc3a2bSChandler Carruth 584a8b9cdc9SEaswaran Raman // Lambda to check whether a GEP's indices are all constant. 585a8b9cdc9SEaswaran Raman auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) { 586a8b9cdc9SEaswaran Raman for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 587a8b9cdc9SEaswaran Raman if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I)) 588a8b9cdc9SEaswaran Raman return false; 589a8b9cdc9SEaswaran Raman return true; 590a8b9cdc9SEaswaran Raman }; 591a8b9cdc9SEaswaran Raman 592d3558b5dSEvgeny Astigeevich if ((I.isInBounds() && canFoldInboundsGEP(I)) || IsGEPOffsetConstant(I)) { 5937adc3a2bSChandler Carruth if (SROACandidate) 5947adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5957adc3a2bSChandler Carruth 5967adc3a2bSChandler Carruth // Constant GEPs are modeled as free. 5977adc3a2bSChandler Carruth return true; 5987adc3a2bSChandler Carruth } 5997adc3a2bSChandler Carruth 6007adc3a2bSChandler Carruth // Variable GEPs will require math and will disable SROA. 6017adc3a2bSChandler Carruth if (SROACandidate) 6027adc3a2bSChandler Carruth disableSROA(CostIt); 603201b191bSHaicheng Wu return isGEPFree(I); 6047adc3a2bSChandler Carruth } 6057adc3a2bSChandler Carruth 606617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues. 607617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the 608617f6364SEaswaran Raman /// instruction when all the operands are constants. 609617f6364SEaswaran Raman template <typename Callable> 610617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) { 611617f6364SEaswaran Raman SmallVector<Constant *, 2> COps; 612617f6364SEaswaran Raman for (Value *Op : I.operands()) { 613617f6364SEaswaran Raman Constant *COp = dyn_cast<Constant>(Op); 6147adc3a2bSChandler Carruth if (!COp) 615617f6364SEaswaran Raman COp = SimplifiedValues.lookup(Op); 616617f6364SEaswaran Raman if (!COp) 617617f6364SEaswaran Raman return false; 618617f6364SEaswaran Raman COps.push_back(COp); 619617f6364SEaswaran Raman } 620617f6364SEaswaran Raman auto *C = Evaluate(COps); 621617f6364SEaswaran Raman if (!C) 622617f6364SEaswaran Raman return false; 6237adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 6247adc3a2bSChandler Carruth return true; 6257adc3a2bSChandler Carruth } 6267adc3a2bSChandler Carruth 627617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) { 628617f6364SEaswaran Raman // Propagate constants through bitcasts. 629617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 630617f6364SEaswaran Raman return ConstantExpr::getBitCast(COps[0], I.getType()); 631617f6364SEaswaran Raman })) 632617f6364SEaswaran Raman return true; 633617f6364SEaswaran Raman 6347adc3a2bSChandler Carruth // Track base/offsets through casts 635567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 636567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 6377adc3a2bSChandler Carruth // Casts don't change the offset, just wrap it up. 6387adc3a2bSChandler Carruth if (BaseAndOffset.first) 6397adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6407adc3a2bSChandler Carruth 6417adc3a2bSChandler Carruth // Also look for SROA candidates here. 6427adc3a2bSChandler Carruth Value *SROAArg; 6437adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6447adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 6457adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6467adc3a2bSChandler Carruth 6477adc3a2bSChandler Carruth // Bitcasts are always zero cost. 6487adc3a2bSChandler Carruth return true; 6497adc3a2bSChandler Carruth } 6507adc3a2bSChandler Carruth 6517adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) { 6527adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 653617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 654617f6364SEaswaran Raman return ConstantExpr::getPtrToInt(COps[0], I.getType()); 655617f6364SEaswaran Raman })) 6567adc3a2bSChandler Carruth return true; 6577adc3a2bSChandler Carruth 6587adc3a2bSChandler Carruth // Track base/offset pairs when converted to a plain integer provided the 6597adc3a2bSChandler Carruth // integer is large enough to represent the pointer. 6607adc3a2bSChandler Carruth unsigned IntegerSize = I.getType()->getScalarSizeInBits(); 66177f32994SBjorn Pettersson unsigned AS = I.getOperand(0)->getType()->getPointerAddressSpace(); 66277f32994SBjorn Pettersson if (IntegerSize >= DL.getPointerSizeInBits(AS)) { 663567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 664567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 6657adc3a2bSChandler Carruth if (BaseAndOffset.first) 6667adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6677adc3a2bSChandler Carruth } 6687adc3a2bSChandler Carruth 6697adc3a2bSChandler Carruth // This is really weird. Technically, ptrtoint will disable SROA. However, 6707adc3a2bSChandler Carruth // unless that ptrtoint is *used* somewhere in the live basic blocks after 6717adc3a2bSChandler Carruth // inlining, it will be nuked, and SROA should proceed. All of the uses which 6727adc3a2bSChandler Carruth // would block SROA would also block SROA if applied directly to a pointer, 6737adc3a2bSChandler Carruth // and so we can just add the integer in here. The only places where SROA is 6747adc3a2bSChandler Carruth // preserved either cannot fire on an integer, or won't in-and-of themselves 6757adc3a2bSChandler Carruth // disable SROA (ext) w/o some later use that we would see and disable. 6767adc3a2bSChandler Carruth Value *SROAArg; 6777adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6787adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 6797adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6807adc3a2bSChandler Carruth 6817adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 6827adc3a2bSChandler Carruth } 6837adc3a2bSChandler Carruth 6847adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) { 6857adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 686617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 687617f6364SEaswaran Raman return ConstantExpr::getIntToPtr(COps[0], I.getType()); 688617f6364SEaswaran Raman })) 6897adc3a2bSChandler Carruth return true; 6907adc3a2bSChandler Carruth 6917adc3a2bSChandler Carruth // Track base/offset pairs when round-tripped through a pointer without 6927adc3a2bSChandler Carruth // modifications provided the integer is not too large. 6937adc3a2bSChandler Carruth Value *Op = I.getOperand(0); 6947adc3a2bSChandler Carruth unsigned IntegerSize = Op->getType()->getScalarSizeInBits(); 69577f32994SBjorn Pettersson if (IntegerSize <= DL.getPointerTypeSizeInBits(I.getType())) { 6967adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op); 6977adc3a2bSChandler Carruth if (BaseAndOffset.first) 6987adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6997adc3a2bSChandler Carruth } 7007adc3a2bSChandler Carruth 7017adc3a2bSChandler Carruth // "Propagate" SROA here in the same manner as we do for ptrtoint above. 7027adc3a2bSChandler Carruth Value *SROAArg; 7037adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 7047adc3a2bSChandler Carruth if (lookupSROAArgAndCost(Op, SROAArg, CostIt)) 7057adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 7067adc3a2bSChandler Carruth 7077adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 7087adc3a2bSChandler Carruth } 7097adc3a2bSChandler Carruth 7107adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) { 711*ab53c5e5SCraig Topper // Propagate constants through casts. 712617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 713617f6364SEaswaran Raman return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType()); 714617f6364SEaswaran Raman })) 7157adc3a2bSChandler Carruth return true; 7167adc3a2bSChandler Carruth 7177adc3a2bSChandler Carruth // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere. 7187adc3a2bSChandler Carruth disableSROA(I.getOperand(0)); 7197adc3a2bSChandler Carruth 72039ed9a60SEli Friedman // If this is a floating-point cast, and the target says this operation 72139ed9a60SEli Friedman // is expensive, this may eventually become a library call. Treat the cost 72239ed9a60SEli Friedman // as such. 72339ed9a60SEli Friedman switch (I.getOpcode()) { 72439ed9a60SEli Friedman case Instruction::FPTrunc: 72539ed9a60SEli Friedman case Instruction::FPExt: 72639ed9a60SEli Friedman case Instruction::UIToFP: 72739ed9a60SEli Friedman case Instruction::SIToFP: 72839ed9a60SEli Friedman case Instruction::FPToUI: 72939ed9a60SEli Friedman case Instruction::FPToSI: 73039ed9a60SEli Friedman if (TTI.getFPOpCost(I.getType()) == TargetTransformInfo::TCC_Expensive) 731eeae45dcSFedor Sergeev addCost(InlineConstants::CallPenalty); 7324dc0b1acSReid Kleckner break; 73339ed9a60SEli Friedman default: 73439ed9a60SEli Friedman break; 73539ed9a60SEli Friedman } 73639ed9a60SEli Friedman 7377adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 7387adc3a2bSChandler Carruth } 7397adc3a2bSChandler Carruth 7407adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) { 7417adc3a2bSChandler Carruth Value *Operand = I.getOperand(0); 742617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 743617f6364SEaswaran Raman return ConstantFoldInstOperands(&I, COps[0], DL); 744617f6364SEaswaran Raman })) 7457adc3a2bSChandler Carruth return true; 7467adc3a2bSChandler Carruth 747*ab53c5e5SCraig Topper // Disable any SROA on the argument to arbitrary unary instructions. 7487adc3a2bSChandler Carruth disableSROA(Operand); 7497adc3a2bSChandler Carruth 7507adc3a2bSChandler Carruth return false; 7517adc3a2bSChandler Carruth } 7527adc3a2bSChandler Carruth 7537adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) { 754652168a9SFedor Sergeev return CandidateCall.paramHasAttr(A->getArgNo(), Attr); 7557adc3a2bSChandler Carruth } 7567adc3a2bSChandler Carruth 7577adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) { 7587adc3a2bSChandler Carruth // Does the *call site* have the NonNull attribute set on an argument? We 7597adc3a2bSChandler Carruth // use the attribute on the call site to memoize any analysis done in the 7607adc3a2bSChandler Carruth // caller. This will also trip if the callee function has a non-null 7617adc3a2bSChandler Carruth // parameter attribute, but that's a less interesting case because hopefully 7627adc3a2bSChandler Carruth // the callee would already have been simplified based on that. 7637adc3a2bSChandler Carruth if (Argument *A = dyn_cast<Argument>(V)) 7647adc3a2bSChandler Carruth if (paramHasAttr(A, Attribute::NonNull)) 7657adc3a2bSChandler Carruth return true; 7667adc3a2bSChandler Carruth 7677adc3a2bSChandler Carruth // Is this an alloca in the caller? This is distinct from the attribute case 7687adc3a2bSChandler Carruth // above because attributes aren't updated within the inliner itself and we 7697adc3a2bSChandler Carruth // always want to catch the alloca derived case. 7707adc3a2bSChandler Carruth if (isAllocaDerivedArg(V)) 7717adc3a2bSChandler Carruth // We can actually predict the result of comparisons between an 7727adc3a2bSChandler Carruth // alloca-derived value and null. Note that this fires regardless of 7737adc3a2bSChandler Carruth // SROA firing. 7747adc3a2bSChandler Carruth return true; 7757adc3a2bSChandler Carruth 7767adc3a2bSChandler Carruth return false; 7777adc3a2bSChandler Carruth } 7787adc3a2bSChandler Carruth 779652168a9SFedor Sergeev bool CallAnalyzer::allowSizeGrowth(CallBase &Call) { 7809a3fc17aSEaswaran Raman // If the normal destination of the invoke or the parent block of the call 7819a3fc17aSEaswaran Raman // site is unreachable-terminated, there is little point in inlining this 7829a3fc17aSEaswaran Raman // unless there is literally zero cost. 7839a3fc17aSEaswaran Raman // FIXME: Note that it is possible that an unreachable-terminated block has a 7849a3fc17aSEaswaran Raman // hot entry. For example, in below scenario inlining hot_call_X() may be 7859a3fc17aSEaswaran Raman // beneficial : 7869a3fc17aSEaswaran Raman // main() { 7879a3fc17aSEaswaran Raman // hot_call_1(); 7889a3fc17aSEaswaran Raman // ... 7899a3fc17aSEaswaran Raman // hot_call_N() 7909a3fc17aSEaswaran Raman // exit(0); 7919a3fc17aSEaswaran Raman // } 7929a3fc17aSEaswaran Raman // For now, we are not handling this corner case here as it is rare in real 7939a3fc17aSEaswaran Raman // code. In future, we should elaborate this based on BPI and BFI in more 7949a3fc17aSEaswaran Raman // general threshold adjusting heuristics in updateThreshold(). 795652168a9SFedor Sergeev if (InvokeInst *II = dyn_cast<InvokeInst>(&Call)) { 7969a3fc17aSEaswaran Raman if (isa<UnreachableInst>(II->getNormalDest()->getTerminator())) 7979a3fc17aSEaswaran Raman return false; 798652168a9SFedor Sergeev } else if (isa<UnreachableInst>(Call.getParent()->getTerminator())) 7999a3fc17aSEaswaran Raman return false; 8009a3fc17aSEaswaran Raman 8019a3fc17aSEaswaran Raman return true; 8029a3fc17aSEaswaran Raman } 8039a3fc17aSEaswaran Raman 804652168a9SFedor Sergeev bool CallAnalyzer::isColdCallSite(CallBase &Call, 805652168a9SFedor Sergeev BlockFrequencyInfo *CallerBFI) { 806c5fa6358SEaswaran Raman // If global profile summary is available, then callsite's coldness is 807c5fa6358SEaswaran Raman // determined based on that. 808bba762a1SChandler Carruth if (PSI && PSI->hasProfileSummary()) 809652168a9SFedor Sergeev return PSI->isColdCallSite(CallSite(&Call), CallerBFI); 810bba762a1SChandler Carruth 811bba762a1SChandler Carruth // Otherwise we need BFI to be available. 812c5fa6358SEaswaran Raman if (!CallerBFI) 813c5fa6358SEaswaran Raman return false; 814c5fa6358SEaswaran Raman 815bba762a1SChandler Carruth // Determine if the callsite is cold relative to caller's entry. We could 816bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 817bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 818bba762a1SChandler Carruth // profiles. 819c5fa6358SEaswaran Raman const BranchProbability ColdProb(ColdCallSiteRelFreq, 100); 820652168a9SFedor Sergeev auto CallSiteBB = Call.getParent(); 821c5fa6358SEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB); 822c5fa6358SEaswaran Raman auto CallerEntryFreq = 823652168a9SFedor Sergeev CallerBFI->getBlockFreq(&(Call.getCaller()->getEntryBlock())); 824c5fa6358SEaswaran Raman return CallSiteFreq < CallerEntryFreq * ColdProb; 825c5fa6358SEaswaran Raman } 826c5fa6358SEaswaran Raman 827974d4eeaSEaswaran Raman Optional<int> 828652168a9SFedor Sergeev CallAnalyzer::getHotCallSiteThreshold(CallBase &Call, 829974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI) { 830bba762a1SChandler Carruth 831974d4eeaSEaswaran Raman // If global profile summary is available, then callsite's hotness is 832974d4eeaSEaswaran Raman // determined based on that. 833652168a9SFedor Sergeev if (PSI && PSI->hasProfileSummary() && 834652168a9SFedor Sergeev PSI->isHotCallSite(CallSite(&Call), CallerBFI)) 835bba762a1SChandler Carruth return Params.HotCallSiteThreshold; 836974d4eeaSEaswaran Raman 837bba762a1SChandler Carruth // Otherwise we need BFI to be available and to have a locally hot callsite 838bba762a1SChandler Carruth // threshold. 839bba762a1SChandler Carruth if (!CallerBFI || !Params.LocallyHotCallSiteThreshold) 840974d4eeaSEaswaran Raman return None; 841974d4eeaSEaswaran Raman 842bba762a1SChandler Carruth // Determine if the callsite is hot relative to caller's entry. We could 843bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 844bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 845bba762a1SChandler Carruth // profiles. 846652168a9SFedor Sergeev auto CallSiteBB = Call.getParent(); 847974d4eeaSEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB).getFrequency(); 848974d4eeaSEaswaran Raman auto CallerEntryFreq = CallerBFI->getEntryFreq(); 849974d4eeaSEaswaran Raman if (CallSiteFreq >= CallerEntryFreq * HotCallSiteRelFreq) 850bba762a1SChandler Carruth return Params.LocallyHotCallSiteThreshold; 851bba762a1SChandler Carruth 852bba762a1SChandler Carruth // Otherwise treat it normally. 853974d4eeaSEaswaran Raman return None; 854974d4eeaSEaswaran Raman } 855974d4eeaSEaswaran Raman 856652168a9SFedor Sergeev void CallAnalyzer::updateThreshold(CallBase &Call, Function &Callee) { 8579a3fc17aSEaswaran Raman // If no size growth is allowed for this inlining, set Threshold to 0. 858652168a9SFedor Sergeev if (!allowSizeGrowth(Call)) { 8599a3fc17aSEaswaran Raman Threshold = 0; 8609a3fc17aSEaswaran Raman return; 8619a3fc17aSEaswaran Raman } 8629a3fc17aSEaswaran Raman 863652168a9SFedor Sergeev Function *Caller = Call.getCaller(); 8641c57cc2bSEaswaran Raman 8651c57cc2bSEaswaran Raman // return min(A, B) if B is valid. 8661c57cc2bSEaswaran Raman auto MinIfValid = [](int A, Optional<int> B) { 8671c57cc2bSEaswaran Raman return B ? std::min(A, B.getValue()) : A; 8681c57cc2bSEaswaran Raman }; 8691c57cc2bSEaswaran Raman 8700d58fcacSEaswaran Raman // return max(A, B) if B is valid. 8710d58fcacSEaswaran Raman auto MaxIfValid = [](int A, Optional<int> B) { 8720d58fcacSEaswaran Raman return B ? std::max(A, B.getValue()) : A; 8730d58fcacSEaswaran Raman }; 8740d58fcacSEaswaran Raman 87551b809bfSEaswaran Raman // Various bonus percentages. These are multiplied by Threshold to get the 87651b809bfSEaswaran Raman // bonus values. 87751b809bfSEaswaran Raman // SingleBBBonus: This bonus is applied if the callee has a single reachable 87851b809bfSEaswaran Raman // basic block at the given callsite context. This is speculatively applied 87951b809bfSEaswaran Raman // and withdrawn if more than one basic block is seen. 88051b809bfSEaswaran Raman // 88151b809bfSEaswaran Raman // Vector bonuses: We want to more aggressively inline vector-dense kernels 88251b809bfSEaswaran Raman // and apply this bonus based on the percentage of vector instructions. A 88351b809bfSEaswaran Raman // bonus is applied if the vector instructions exceed 50% and half that amount 88451b809bfSEaswaran Raman // is applied if it exceeds 10%. Note that these bonuses are some what 88551b809bfSEaswaran Raman // arbitrary and evolved over time by accident as much as because they are 88651b809bfSEaswaran Raman // principled bonuses. 88751b809bfSEaswaran Raman // FIXME: It would be nice to base the bonus values on something more 88851b809bfSEaswaran Raman // scientific. 88951b809bfSEaswaran Raman // 89051b809bfSEaswaran Raman // LstCallToStaticBonus: This large bonus is applied to ensure the inlining 89151b809bfSEaswaran Raman // of the last call to a static function as inlining such functions is 89251b809bfSEaswaran Raman // guaranteed to reduce code size. 89351b809bfSEaswaran Raman // 89451b809bfSEaswaran Raman // These bonus percentages may be set to 0 based on properties of the caller 89551b809bfSEaswaran Raman // and the callsite. 89651b809bfSEaswaran Raman int SingleBBBonusPercent = 50; 89751b809bfSEaswaran Raman int VectorBonusPercent = 150; 89851b809bfSEaswaran Raman int LastCallToStaticBonus = InlineConstants::LastCallToStaticBonus; 89951b809bfSEaswaran Raman 90051b809bfSEaswaran Raman // Lambda to set all the above bonus and bonus percentages to 0. 90151b809bfSEaswaran Raman auto DisallowAllBonuses = [&]() { 90251b809bfSEaswaran Raman SingleBBBonusPercent = 0; 90351b809bfSEaswaran Raman VectorBonusPercent = 0; 90451b809bfSEaswaran Raman LastCallToStaticBonus = 0; 90551b809bfSEaswaran Raman }; 90651b809bfSEaswaran Raman 9071c57cc2bSEaswaran Raman // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available 9081c57cc2bSEaswaran Raman // and reduce the threshold if the caller has the necessary attribute. 90985bd3978SEvandro Menezes if (Caller->hasMinSize()) { 9101c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold); 91151b809bfSEaswaran Raman // For minsize, we want to disable the single BB bonus and the vector 91251b809bfSEaswaran Raman // bonuses, but not the last-call-to-static bonus. Inlining the last call to 91351b809bfSEaswaran Raman // a static function will, at the minimum, eliminate the parameter setup and 91451b809bfSEaswaran Raman // call/return instructions. 91551b809bfSEaswaran Raman SingleBBBonusPercent = 0; 91651b809bfSEaswaran Raman VectorBonusPercent = 0; 91785bd3978SEvandro Menezes } else if (Caller->hasOptSize()) 9181c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptSizeThreshold); 919f4bb2f0dSEaswaran Raman 920e08b139dSEaswaran Raman // Adjust the threshold based on inlinehint attribute and profile based 921e08b139dSEaswaran Raman // hotness information if the caller does not have MinSize attribute. 92285bd3978SEvandro Menezes if (!Caller->hasMinSize()) { 923e08b139dSEaswaran Raman if (Callee.hasFnAttribute(Attribute::InlineHint)) 9240d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 925bba762a1SChandler Carruth 9263cd1479cSEaswaran Raman // FIXME: After switching to the new passmanager, simplify the logic below 927bba762a1SChandler Carruth // by checking only the callsite hotness/coldness as we will reliably 928bba762a1SChandler Carruth // have local profile information. 9293cd1479cSEaswaran Raman // 930bba762a1SChandler Carruth // Callsite hotness and coldness can be determined if sample profile is 931bba762a1SChandler Carruth // used (which adds hotness metadata to calls) or if caller's 932bba762a1SChandler Carruth // BlockFrequencyInfo is available. 933bba762a1SChandler Carruth BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr; 934652168a9SFedor Sergeev auto HotCallSiteThreshold = getHotCallSiteThreshold(Call, CallerBFI); 93585bd3978SEvandro Menezes if (!Caller->hasOptSize() && HotCallSiteThreshold) { 936d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Hot callsite.\n"); 937974d4eeaSEaswaran Raman // FIXME: This should update the threshold only if it exceeds the 938974d4eeaSEaswaran Raman // current threshold, but AutoFDO + ThinLTO currently relies on this 939974d4eeaSEaswaran Raman // behavior to prevent inlining of hot callsites during ThinLTO 940974d4eeaSEaswaran Raman // compile phase. 941974d4eeaSEaswaran Raman Threshold = HotCallSiteThreshold.getValue(); 942652168a9SFedor Sergeev } else if (isColdCallSite(Call, CallerBFI)) { 943d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Cold callsite.\n"); 94451b809bfSEaswaran Raman // Do not apply bonuses for a cold callsite including the 94551b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 94651b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 94751b809bfSEaswaran Raman // preventing it from being inlined. 94851b809bfSEaswaran Raman DisallowAllBonuses(); 9493cd1479cSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold); 950bba762a1SChandler Carruth } else if (PSI) { 951bba762a1SChandler Carruth // Use callee's global profile information only if we have no way of 952bba762a1SChandler Carruth // determining this via callsite information. 9533cd1479cSEaswaran Raman if (PSI->isFunctionEntryHot(&Callee)) { 954d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Hot callee.\n"); 955e08b139dSEaswaran Raman // If callsite hotness can not be determined, we may still know 956e08b139dSEaswaran Raman // that the callee is hot and treat it as a weaker hint for threshold 957e08b139dSEaswaran Raman // increase. 958e08b139dSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 959e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryCold(&Callee)) { 960d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Cold callee.\n"); 96151b809bfSEaswaran Raman // Do not apply bonuses for a cold callee including the 96251b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 96351b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 96451b809bfSEaswaran Raman // preventing it from being inlined. 96551b809bfSEaswaran Raman DisallowAllBonuses(); 9661c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdThreshold); 967e08b139dSEaswaran Raman } 968e08b139dSEaswaran Raman } 969e08b139dSEaswaran Raman } 9708650a4daSJustin Lebar 9718650a4daSJustin Lebar // Finally, take the target-specific inlining threshold multiplier into 9728650a4daSJustin Lebar // account. 9738650a4daSJustin Lebar Threshold *= TTI.getInliningThresholdMultiplier(); 97451b809bfSEaswaran Raman 97551b809bfSEaswaran Raman SingleBBBonus = Threshold * SingleBBBonusPercent / 100; 97651b809bfSEaswaran Raman VectorBonus = Threshold * VectorBonusPercent / 100; 97751b809bfSEaswaran Raman 97851b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 979652168a9SFedor Sergeev F.hasLocalLinkage() && F.hasOneUse() && &F == Call.getCalledFunction(); 98051b809bfSEaswaran Raman // If there is only one call of the function, and it has internal linkage, 98151b809bfSEaswaran Raman // the cost of inlining it drops dramatically. It may seem odd to update 98251b809bfSEaswaran Raman // Cost in updateThreshold, but the bonus depends on the logic in this method. 98351b809bfSEaswaran Raman if (OnlyOneCallAndLocalLinkage) 98451b809bfSEaswaran Raman Cost -= LastCallToStaticBonus; 985f4bb2f0dSEaswaran Raman } 986f4bb2f0dSEaswaran Raman 9877adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) { 9887adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 9897adc3a2bSChandler Carruth // First try to handle simplified comparisons. 990617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 991617f6364SEaswaran Raman return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]); 992617f6364SEaswaran Raman })) 9937adc3a2bSChandler Carruth return true; 9947adc3a2bSChandler Carruth 9957adc3a2bSChandler Carruth if (I.getOpcode() == Instruction::FCmp) 9967adc3a2bSChandler Carruth return false; 9977adc3a2bSChandler Carruth 9987adc3a2bSChandler Carruth // Otherwise look for a comparison between constant offset pointers with 9997adc3a2bSChandler Carruth // a common base. 10007adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 10017adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 10027adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 10037adc3a2bSChandler Carruth if (LHSBase) { 10047adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 10057adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 10067adc3a2bSChandler Carruth // We have common bases, fold the icmp to a constant based on the 10077adc3a2bSChandler Carruth // offsets. 10087adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 10097adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 10107adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) { 10117adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 10127adc3a2bSChandler Carruth ++NumConstantPtrCmps; 10137adc3a2bSChandler Carruth return true; 10147adc3a2bSChandler Carruth } 10157adc3a2bSChandler Carruth } 10167adc3a2bSChandler Carruth } 10177adc3a2bSChandler Carruth 10187adc3a2bSChandler Carruth // If the comparison is an equality comparison with null, we can simplify it 10197adc3a2bSChandler Carruth // if we know the value (argument) can't be null 10207adc3a2bSChandler Carruth if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) && 10217adc3a2bSChandler Carruth isKnownNonNullInCallee(I.getOperand(0))) { 10227adc3a2bSChandler Carruth bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE; 10237adc3a2bSChandler Carruth SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType()) 10247adc3a2bSChandler Carruth : ConstantInt::getFalse(I.getType()); 10257adc3a2bSChandler Carruth return true; 10267adc3a2bSChandler Carruth } 10277adc3a2bSChandler Carruth // Finally check for SROA candidates in comparisons. 10287adc3a2bSChandler Carruth Value *SROAArg; 10297adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 10307adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) { 10317adc3a2bSChandler Carruth if (isa<ConstantPointerNull>(I.getOperand(1))) { 10327adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 10337adc3a2bSChandler Carruth return true; 10347adc3a2bSChandler Carruth } 10357adc3a2bSChandler Carruth 10367adc3a2bSChandler Carruth disableSROA(CostIt); 10377adc3a2bSChandler Carruth } 10387adc3a2bSChandler Carruth 10397adc3a2bSChandler Carruth return false; 10407adc3a2bSChandler Carruth } 10417adc3a2bSChandler Carruth 10427adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) { 10437adc3a2bSChandler Carruth // Try to handle a special case: we can fold computing the difference of two 10447adc3a2bSChandler Carruth // constant-related pointers. 10457adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 10467adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 10477adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 10487adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 10497adc3a2bSChandler Carruth if (LHSBase) { 10507adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 10517adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 10527adc3a2bSChandler Carruth // We have common bases, fold the subtract to a constant based on the 10537adc3a2bSChandler Carruth // offsets. 10547adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 10557adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 10567adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) { 10577adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 10587adc3a2bSChandler Carruth ++NumConstantPtrDiffs; 10597adc3a2bSChandler Carruth return true; 10607adc3a2bSChandler Carruth } 10617adc3a2bSChandler Carruth } 10627adc3a2bSChandler Carruth } 10637adc3a2bSChandler Carruth 10647adc3a2bSChandler Carruth // Otherwise, fall back to the generic logic for simplifying and handling 10657adc3a2bSChandler Carruth // instructions. 10667adc3a2bSChandler Carruth return Base::visitSub(I); 10677adc3a2bSChandler Carruth } 10687adc3a2bSChandler Carruth 10697adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) { 10707adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 10716d14dfe8SHaicheng Wu Constant *CLHS = dyn_cast<Constant>(LHS); 10726d14dfe8SHaicheng Wu if (!CLHS) 10736d14dfe8SHaicheng Wu CLHS = SimplifiedValues.lookup(LHS); 10746d14dfe8SHaicheng Wu Constant *CRHS = dyn_cast<Constant>(RHS); 10756d14dfe8SHaicheng Wu if (!CRHS) 10766d14dfe8SHaicheng Wu CRHS = SimplifiedValues.lookup(RHS); 10776d14dfe8SHaicheng Wu 10787adc3a2bSChandler Carruth Value *SimpleV = nullptr; 10797adc3a2bSChandler Carruth if (auto FI = dyn_cast<FPMathOperator>(&I)) 10806d14dfe8SHaicheng Wu SimpleV = SimplifyFPBinOp(I.getOpcode(), CLHS ? CLHS : LHS, 10816d14dfe8SHaicheng Wu CRHS ? CRHS : RHS, FI->getFastMathFlags(), DL); 10827adc3a2bSChandler Carruth else 10836d14dfe8SHaicheng Wu SimpleV = 10846d14dfe8SHaicheng Wu SimplifyBinOp(I.getOpcode(), CLHS ? CLHS : LHS, CRHS ? CRHS : RHS, DL); 10857adc3a2bSChandler Carruth 10866d14dfe8SHaicheng Wu if (Constant *C = dyn_cast_or_null<Constant>(SimpleV)) 10876d14dfe8SHaicheng Wu SimplifiedValues[&I] = C; 10886d14dfe8SHaicheng Wu 10896d14dfe8SHaicheng Wu if (SimpleV) 10907adc3a2bSChandler Carruth return true; 10917adc3a2bSChandler Carruth 10927adc3a2bSChandler Carruth // Disable any SROA on arguments to arbitrary, unsimplified binary operators. 10937adc3a2bSChandler Carruth disableSROA(LHS); 10947adc3a2bSChandler Carruth disableSROA(RHS); 10957adc3a2bSChandler Carruth 109639ed9a60SEli Friedman // If the instruction is floating point, and the target says this operation 109739ed9a60SEli Friedman // is expensive, this may eventually become a library call. Treat the cost 109839ed9a60SEli Friedman // as such. 109939ed9a60SEli Friedman if (I.getType()->isFloatingPointTy() && 110039ed9a60SEli Friedman TTI.getFPOpCost(I.getType()) == TargetTransformInfo::TCC_Expensive) 1101eeae45dcSFedor Sergeev addCost(InlineConstants::CallPenalty); 110239ed9a60SEli Friedman 11037adc3a2bSChandler Carruth return false; 11047adc3a2bSChandler Carruth } 11057adc3a2bSChandler Carruth 11067adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) { 11077adc3a2bSChandler Carruth Value *SROAArg; 11087adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 11097adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 11107adc3a2bSChandler Carruth if (I.isSimple()) { 11117adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 11127adc3a2bSChandler Carruth return true; 11137adc3a2bSChandler Carruth } 11147adc3a2bSChandler Carruth 11157adc3a2bSChandler Carruth disableSROA(CostIt); 11167adc3a2bSChandler Carruth } 11177adc3a2bSChandler Carruth 1118a4461515SHaicheng Wu // If the data is already loaded from this address and hasn't been clobbered 1119a4461515SHaicheng Wu // by any stores or calls, this load is likely to be redundant and can be 1120a4461515SHaicheng Wu // eliminated. 1121a4461515SHaicheng Wu if (EnableLoadElimination && 1122b3689cabSHaicheng Wu !LoadAddrSet.insert(I.getPointerOperand()).second && I.isUnordered()) { 1123a4461515SHaicheng Wu LoadEliminationCost += InlineConstants::InstrCost; 1124a4461515SHaicheng Wu return true; 1125a4461515SHaicheng Wu } 1126a4461515SHaicheng Wu 11277adc3a2bSChandler Carruth return false; 11287adc3a2bSChandler Carruth } 11297adc3a2bSChandler Carruth 11307adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) { 11317adc3a2bSChandler Carruth Value *SROAArg; 11327adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 11337adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 11347adc3a2bSChandler Carruth if (I.isSimple()) { 11357adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 11367adc3a2bSChandler Carruth return true; 11377adc3a2bSChandler Carruth } 11387adc3a2bSChandler Carruth 11397adc3a2bSChandler Carruth disableSROA(CostIt); 11407adc3a2bSChandler Carruth } 11417adc3a2bSChandler Carruth 1142a4461515SHaicheng Wu // The store can potentially clobber loads and prevent repeated loads from 1143a4461515SHaicheng Wu // being eliminated. 1144a4461515SHaicheng Wu // FIXME: 1145a4461515SHaicheng Wu // 1. We can probably keep an initial set of eliminatable loads substracted 1146a4461515SHaicheng Wu // from the cost even when we finally see a store. We just need to disable 1147a4461515SHaicheng Wu // *further* accumulation of elimination savings. 1148a4461515SHaicheng Wu // 2. We should probably at some point thread MemorySSA for the callee into 1149a4461515SHaicheng Wu // this and then use that to actually compute *really* precise savings. 1150a4461515SHaicheng Wu disableLoadElimination(); 11517adc3a2bSChandler Carruth return false; 11527adc3a2bSChandler Carruth } 11537adc3a2bSChandler Carruth 11547adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) { 11557adc3a2bSChandler Carruth // Constant folding for extract value is trivial. 1156617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1157617f6364SEaswaran Raman return ConstantExpr::getExtractValue(COps[0], I.getIndices()); 1158617f6364SEaswaran Raman })) 11597adc3a2bSChandler Carruth return true; 11607adc3a2bSChandler Carruth 11617adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 11627adc3a2bSChandler Carruth return false; 11637adc3a2bSChandler Carruth } 11647adc3a2bSChandler Carruth 11657adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) { 11667adc3a2bSChandler Carruth // Constant folding for insert value is trivial. 1167617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1168617f6364SEaswaran Raman return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0], 1169617f6364SEaswaran Raman /*InsertedValueOperand*/ COps[1], 1170617f6364SEaswaran Raman I.getIndices()); 1171617f6364SEaswaran Raman })) 11727adc3a2bSChandler Carruth return true; 11737adc3a2bSChandler Carruth 11747adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 11757adc3a2bSChandler Carruth return false; 11767adc3a2bSChandler Carruth } 11777adc3a2bSChandler Carruth 11785f8f34e4SAdrian Prantl /// Try to simplify a call site. 11797adc3a2bSChandler Carruth /// 11807adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by 11817adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if 11827adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it 11837adc3a2bSChandler Carruth /// free. 1184652168a9SFedor Sergeev bool CallAnalyzer::simplifyCallSite(Function *F, CallBase &Call) { 11857adc3a2bSChandler Carruth // FIXME: Using the instsimplify logic directly for this is inefficient 11867adc3a2bSChandler Carruth // because we have to continually rebuild the argument list even when no 11877adc3a2bSChandler Carruth // simplifications can be performed. Until that is fixed with remapping 11887adc3a2bSChandler Carruth // inside of instsimplify, directly constant fold calls here. 1189652168a9SFedor Sergeev if (!canConstantFoldCallTo(&Call, F)) 11907adc3a2bSChandler Carruth return false; 11917adc3a2bSChandler Carruth 11927adc3a2bSChandler Carruth // Try to re-map the arguments to constants. 11937adc3a2bSChandler Carruth SmallVector<Constant *, 4> ConstantArgs; 1194652168a9SFedor Sergeev ConstantArgs.reserve(Call.arg_size()); 1195652168a9SFedor Sergeev for (Value *I : Call.args()) { 1196652168a9SFedor Sergeev Constant *C = dyn_cast<Constant>(I); 11977adc3a2bSChandler Carruth if (!C) 1198652168a9SFedor Sergeev C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(I)); 11997adc3a2bSChandler Carruth if (!C) 12007adc3a2bSChandler Carruth return false; // This argument doesn't map to a constant. 12017adc3a2bSChandler Carruth 12027adc3a2bSChandler Carruth ConstantArgs.push_back(C); 12037adc3a2bSChandler Carruth } 1204652168a9SFedor Sergeev if (Constant *C = ConstantFoldCall(&Call, F, ConstantArgs)) { 1205652168a9SFedor Sergeev SimplifiedValues[&Call] = C; 12067adc3a2bSChandler Carruth return true; 12077adc3a2bSChandler Carruth } 12087adc3a2bSChandler Carruth 12097adc3a2bSChandler Carruth return false; 12107adc3a2bSChandler Carruth } 12117adc3a2bSChandler Carruth 1212652168a9SFedor Sergeev bool CallAnalyzer::visitCallBase(CallBase &Call) { 1213652168a9SFedor Sergeev if (Call.hasFnAttr(Attribute::ReturnsTwice) && 12147adc3a2bSChandler Carruth !F.hasFnAttribute(Attribute::ReturnsTwice)) { 12157adc3a2bSChandler Carruth // This aborts the entire analysis. 12167adc3a2bSChandler Carruth ExposesReturnsTwice = true; 12177adc3a2bSChandler Carruth return false; 12187adc3a2bSChandler Carruth } 1219652168a9SFedor Sergeev if (isa<CallInst>(Call) && cast<CallInst>(Call).cannotDuplicate()) 12207adc3a2bSChandler Carruth ContainsNoDuplicateCall = true; 12217adc3a2bSChandler Carruth 1222652168a9SFedor Sergeev if (Function *F = Call.getCalledFunction()) { 12237adc3a2bSChandler Carruth // When we have a concrete function, first try to simplify it directly. 1224652168a9SFedor Sergeev if (simplifyCallSite(F, Call)) 12257adc3a2bSChandler Carruth return true; 12267adc3a2bSChandler Carruth 12277adc3a2bSChandler Carruth // Next check if it is an intrinsic we know about. 12287adc3a2bSChandler Carruth // FIXME: Lift this into part of the InstVisitor. 1229652168a9SFedor Sergeev if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(&Call)) { 12307adc3a2bSChandler Carruth switch (II->getIntrinsicID()) { 12317adc3a2bSChandler Carruth default: 1232652168a9SFedor Sergeev if (!Call.onlyReadsMemory() && !isAssumeLikeIntrinsic(II)) 1233a4461515SHaicheng Wu disableLoadElimination(); 1234652168a9SFedor Sergeev return Base::visitCallBase(Call); 12357adc3a2bSChandler Carruth 12367dd8dbf4SPeter Collingbourne case Intrinsic::load_relative: 12377dd8dbf4SPeter Collingbourne // This is normally lowered to 4 LLVM instructions. 1238eeae45dcSFedor Sergeev addCost(3 * InlineConstants::InstrCost); 12397dd8dbf4SPeter Collingbourne return false; 12407dd8dbf4SPeter Collingbourne 12417adc3a2bSChandler Carruth case Intrinsic::memset: 12427adc3a2bSChandler Carruth case Intrinsic::memcpy: 12437adc3a2bSChandler Carruth case Intrinsic::memmove: 1244a4461515SHaicheng Wu disableLoadElimination(); 12457adc3a2bSChandler Carruth // SROA can usually chew through these intrinsics, but they aren't free. 12467adc3a2bSChandler Carruth return false; 12474296ea72SVitaly Buka case Intrinsic::icall_branch_funnel: 12487adc3a2bSChandler Carruth case Intrinsic::localescape: 12494296ea72SVitaly Buka HasUninlineableIntrinsic = true; 12507adc3a2bSChandler Carruth return false; 125180788d80SFlorian Hahn case Intrinsic::vastart: 125277beee41SSameer AbuAsal InitsVargArgs = true; 125380788d80SFlorian Hahn return false; 12547adc3a2bSChandler Carruth } 12557adc3a2bSChandler Carruth } 12567adc3a2bSChandler Carruth 1257652168a9SFedor Sergeev if (F == Call.getFunction()) { 12587adc3a2bSChandler Carruth // This flag will fully abort the analysis, so don't bother with anything 12597adc3a2bSChandler Carruth // else. 12607adc3a2bSChandler Carruth IsRecursiveCall = true; 12617adc3a2bSChandler Carruth return false; 12627adc3a2bSChandler Carruth } 12637adc3a2bSChandler Carruth 12647adc3a2bSChandler Carruth if (TTI.isLoweredToCall(F)) { 12657adc3a2bSChandler Carruth // We account for the average 1 instruction per call argument setup 12667adc3a2bSChandler Carruth // here. 1267eeae45dcSFedor Sergeev addCost(Call.arg_size() * InlineConstants::InstrCost); 12687adc3a2bSChandler Carruth 12697adc3a2bSChandler Carruth // Everything other than inline ASM will also have a significant cost 12707adc3a2bSChandler Carruth // merely from making the call. 1271652168a9SFedor Sergeev if (!isa<InlineAsm>(Call.getCalledValue())) 1272eeae45dcSFedor Sergeev addCost(InlineConstants::CallPenalty); 12737adc3a2bSChandler Carruth } 12747adc3a2bSChandler Carruth 1275652168a9SFedor Sergeev if (!Call.onlyReadsMemory()) 1276a4461515SHaicheng Wu disableLoadElimination(); 1277652168a9SFedor Sergeev return Base::visitCallBase(Call); 12787adc3a2bSChandler Carruth } 12797adc3a2bSChandler Carruth 12807adc3a2bSChandler Carruth // Otherwise we're in a very special case -- an indirect function call. See 12817adc3a2bSChandler Carruth // if we can be particularly clever about this. 1282652168a9SFedor Sergeev Value *Callee = Call.getCalledValue(); 12837adc3a2bSChandler Carruth 12847adc3a2bSChandler Carruth // First, pay the price of the argument setup. We account for the average 12857adc3a2bSChandler Carruth // 1 instruction per call argument setup here. 1286eeae45dcSFedor Sergeev addCost(Call.arg_size() * InlineConstants::InstrCost); 12877adc3a2bSChandler Carruth 12887adc3a2bSChandler Carruth // Next, check if this happens to be an indirect function call to a known 12897adc3a2bSChandler Carruth // function in this inline context. If not, we've done all we can. 12907adc3a2bSChandler Carruth Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee)); 1291a4461515SHaicheng Wu if (!F) { 1292652168a9SFedor Sergeev if (!Call.onlyReadsMemory()) 1293a4461515SHaicheng Wu disableLoadElimination(); 1294652168a9SFedor Sergeev return Base::visitCallBase(Call); 1295a4461515SHaicheng Wu } 12967adc3a2bSChandler Carruth 12977adc3a2bSChandler Carruth // If we have a constant that we are calling as a function, we can peer 12987adc3a2bSChandler Carruth // through it and see the function target. This happens not infrequently 12997adc3a2bSChandler Carruth // during devirtualization and so we want to give it a hefty bonus for 13007adc3a2bSChandler Carruth // inlining, but cap that bonus in the event that inlining wouldn't pan 13017adc3a2bSChandler Carruth // out. Pretend to inline the function, with a custom threshold. 13021c57cc2bSEaswaran Raman auto IndirectCallParams = Params; 13031c57cc2bSEaswaran Raman IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold; 1304652168a9SFedor Sergeev CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, ORE, *F, Call, 130512585b01SEaswaran Raman IndirectCallParams); 1306652168a9SFedor Sergeev if (CA.analyzeCall(Call)) { 13077adc3a2bSChandler Carruth // We were able to inline the indirect call! Subtract the cost from the 13086d90d9f1SEaswaran Raman // threshold to get the bonus we want to apply, but don't go below zero. 13096d90d9f1SEaswaran Raman Cost -= std::max(0, CA.getThreshold() - CA.getCost()); 13107adc3a2bSChandler Carruth } 13117adc3a2bSChandler Carruth 1312a4461515SHaicheng Wu if (!F->onlyReadsMemory()) 1313a4461515SHaicheng Wu disableLoadElimination(); 1314652168a9SFedor Sergeev return Base::visitCallBase(Call); 13157adc3a2bSChandler Carruth } 13167adc3a2bSChandler Carruth 13177adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) { 13187adc3a2bSChandler Carruth // At least one return instruction will be free after inlining. 13197adc3a2bSChandler Carruth bool Free = !HasReturn; 13207adc3a2bSChandler Carruth HasReturn = true; 13217adc3a2bSChandler Carruth return Free; 13227adc3a2bSChandler Carruth } 13237adc3a2bSChandler Carruth 13247adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) { 13257adc3a2bSChandler Carruth // We model unconditional branches as essentially free -- they really 13267adc3a2bSChandler Carruth // shouldn't exist at all, but handling them makes the behavior of the 13277adc3a2bSChandler Carruth // inliner more regular and predictable. Interestingly, conditional branches 13287adc3a2bSChandler Carruth // which will fold away are also free. 13297adc3a2bSChandler Carruth return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) || 13307adc3a2bSChandler Carruth dyn_cast_or_null<ConstantInt>( 13317adc3a2bSChandler Carruth SimplifiedValues.lookup(BI.getCondition())); 13327adc3a2bSChandler Carruth } 13337adc3a2bSChandler Carruth 13343ec848bcSHaicheng Wu bool CallAnalyzer::visitSelectInst(SelectInst &SI) { 13353ec848bcSHaicheng Wu bool CheckSROA = SI.getType()->isPointerTy(); 13363ec848bcSHaicheng Wu Value *TrueVal = SI.getTrueValue(); 13373ec848bcSHaicheng Wu Value *FalseVal = SI.getFalseValue(); 13383ec848bcSHaicheng Wu 13393ec848bcSHaicheng Wu Constant *TrueC = dyn_cast<Constant>(TrueVal); 13403ec848bcSHaicheng Wu if (!TrueC) 13413ec848bcSHaicheng Wu TrueC = SimplifiedValues.lookup(TrueVal); 13423ec848bcSHaicheng Wu Constant *FalseC = dyn_cast<Constant>(FalseVal); 13433ec848bcSHaicheng Wu if (!FalseC) 13443ec848bcSHaicheng Wu FalseC = SimplifiedValues.lookup(FalseVal); 13453ec848bcSHaicheng Wu Constant *CondC = 13463ec848bcSHaicheng Wu dyn_cast_or_null<Constant>(SimplifiedValues.lookup(SI.getCondition())); 13473ec848bcSHaicheng Wu 13483ec848bcSHaicheng Wu if (!CondC) { 13493ec848bcSHaicheng Wu // Select C, X, X => X 13503ec848bcSHaicheng Wu if (TrueC == FalseC && TrueC) { 13513ec848bcSHaicheng Wu SimplifiedValues[&SI] = TrueC; 13523ec848bcSHaicheng Wu return true; 13533ec848bcSHaicheng Wu } 13543ec848bcSHaicheng Wu 13553ec848bcSHaicheng Wu if (!CheckSROA) 13563ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13573ec848bcSHaicheng Wu 13583ec848bcSHaicheng Wu std::pair<Value *, APInt> TrueBaseAndOffset = 13593ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(TrueVal); 13603ec848bcSHaicheng Wu std::pair<Value *, APInt> FalseBaseAndOffset = 13613ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(FalseVal); 13623ec848bcSHaicheng Wu if (TrueBaseAndOffset == FalseBaseAndOffset && TrueBaseAndOffset.first) { 13633ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = TrueBaseAndOffset; 13643ec848bcSHaicheng Wu 13653ec848bcSHaicheng Wu Value *SROAArg; 13663ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 13673ec848bcSHaicheng Wu if (lookupSROAArgAndCost(TrueVal, SROAArg, CostIt)) 13683ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 13693ec848bcSHaicheng Wu return true; 13703ec848bcSHaicheng Wu } 13713ec848bcSHaicheng Wu 13723ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13733ec848bcSHaicheng Wu } 13743ec848bcSHaicheng Wu 13753ec848bcSHaicheng Wu // Select condition is a constant. 13763ec848bcSHaicheng Wu Value *SelectedV = CondC->isAllOnesValue() 13773ec848bcSHaicheng Wu ? TrueVal 13783ec848bcSHaicheng Wu : (CondC->isNullValue()) ? FalseVal : nullptr; 13793ec848bcSHaicheng Wu if (!SelectedV) { 13803ec848bcSHaicheng Wu // Condition is a vector constant that is not all 1s or all 0s. If all 13813ec848bcSHaicheng Wu // operands are constants, ConstantExpr::getSelect() can handle the cases 13823ec848bcSHaicheng Wu // such as select vectors. 13833ec848bcSHaicheng Wu if (TrueC && FalseC) { 13843ec848bcSHaicheng Wu if (auto *C = ConstantExpr::getSelect(CondC, TrueC, FalseC)) { 13853ec848bcSHaicheng Wu SimplifiedValues[&SI] = C; 13863ec848bcSHaicheng Wu return true; 13873ec848bcSHaicheng Wu } 13883ec848bcSHaicheng Wu } 13893ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13903ec848bcSHaicheng Wu } 13913ec848bcSHaicheng Wu 13923ec848bcSHaicheng Wu // Condition is either all 1s or all 0s. SI can be simplified. 13933ec848bcSHaicheng Wu if (Constant *SelectedC = dyn_cast<Constant>(SelectedV)) { 13943ec848bcSHaicheng Wu SimplifiedValues[&SI] = SelectedC; 13953ec848bcSHaicheng Wu return true; 13963ec848bcSHaicheng Wu } 13973ec848bcSHaicheng Wu 13983ec848bcSHaicheng Wu if (!CheckSROA) 13993ec848bcSHaicheng Wu return true; 14003ec848bcSHaicheng Wu 14013ec848bcSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = 14023ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(SelectedV); 14033ec848bcSHaicheng Wu if (BaseAndOffset.first) { 14043ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = BaseAndOffset; 14053ec848bcSHaicheng Wu 14063ec848bcSHaicheng Wu Value *SROAArg; 14073ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 14083ec848bcSHaicheng Wu if (lookupSROAArgAndCost(SelectedV, SROAArg, CostIt)) 14093ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 14103ec848bcSHaicheng Wu } 14113ec848bcSHaicheng Wu 14123ec848bcSHaicheng Wu return true; 14133ec848bcSHaicheng Wu } 14143ec848bcSHaicheng Wu 14157adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) { 14167adc3a2bSChandler Carruth // We model unconditional switches as free, see the comments on handling 14177adc3a2bSChandler Carruth // branches. 14187adc3a2bSChandler Carruth if (isa<ConstantInt>(SI.getCondition())) 14197adc3a2bSChandler Carruth return true; 14207adc3a2bSChandler Carruth if (Value *V = SimplifiedValues.lookup(SI.getCondition())) 14217adc3a2bSChandler Carruth if (isa<ConstantInt>(V)) 14227adc3a2bSChandler Carruth return true; 14237adc3a2bSChandler Carruth 14247ad02eeeSEric Christopher // Assume the most general case where the switch is lowered into 1425919f9e8dSJun Bum Lim // either a jump table, bit test, or a balanced binary tree consisting of 1426919f9e8dSJun Bum Lim // case clusters without merging adjacent clusters with the same 1427919f9e8dSJun Bum Lim // destination. We do not consider the switches that are lowered with a mix 1428919f9e8dSJun Bum Lim // of jump table/bit test/binary search tree. The cost of the switch is 1429919f9e8dSJun Bum Lim // proportional to the size of the tree or the size of jump table range. 14302960d41eSJun Bum Lim // 14312960d41eSJun Bum Lim // NB: We convert large switches which are just used to initialize large phi 14322960d41eSJun Bum Lim // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent 14332960d41eSJun Bum Lim // inlining those. It will prevent inlining in cases where the optimization 14342960d41eSJun Bum Lim // does not (yet) fire. 1435919f9e8dSJun Bum Lim 1436506cfb7aSJun Bum Lim // Maximum valid cost increased in this function. 1437506cfb7aSJun Bum Lim int CostUpperBound = INT_MAX - InlineConstants::InstrCost - 1; 1438506cfb7aSJun Bum Lim 1439919f9e8dSJun Bum Lim // Exit early for a large switch, assuming one case needs at least one 1440919f9e8dSJun Bum Lim // instruction. 1441919f9e8dSJun Bum Lim // FIXME: This is not true for a bit test, but ignore such case for now to 1442919f9e8dSJun Bum Lim // save compile-time. 1443919f9e8dSJun Bum Lim int64_t CostLowerBound = 1444506cfb7aSJun Bum Lim std::min((int64_t)CostUpperBound, 1445919f9e8dSJun Bum Lim (int64_t)SI.getNumCases() * InlineConstants::InstrCost + Cost); 1446919f9e8dSJun Bum Lim 14470812c5beSHaicheng Wu if (CostLowerBound > Threshold && !ComputeFullInlineCost) { 1448eeae45dcSFedor Sergeev addCost((int64_t)SI.getNumCases() * InlineConstants::InstrCost); 1449919f9e8dSJun Bum Lim return false; 1450919f9e8dSJun Bum Lim } 1451919f9e8dSJun Bum Lim 1452919f9e8dSJun Bum Lim unsigned JumpTableSize = 0; 1453919f9e8dSJun Bum Lim unsigned NumCaseCluster = 1454919f9e8dSJun Bum Lim TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize); 1455919f9e8dSJun Bum Lim 1456919f9e8dSJun Bum Lim // If suitable for a jump table, consider the cost for the table size and 1457919f9e8dSJun Bum Lim // branch to destination. 1458919f9e8dSJun Bum Lim if (JumpTableSize) { 1459919f9e8dSJun Bum Lim int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost + 1460919f9e8dSJun Bum Lim 4 * InlineConstants::InstrCost; 1461506cfb7aSJun Bum Lim 1462eeae45dcSFedor Sergeev addCost(JTCost, (int64_t)CostUpperBound); 1463919f9e8dSJun Bum Lim return false; 1464919f9e8dSJun Bum Lim } 1465919f9e8dSJun Bum Lim 1466919f9e8dSJun Bum Lim // Considering forming a binary search, we should find the number of nodes 1467919f9e8dSJun Bum Lim // which is same as the number of comparisons when lowered. For a given 1468919f9e8dSJun Bum Lim // number of clusters, n, we can define a recursive function, f(n), to find 1469919f9e8dSJun Bum Lim // the number of nodes in the tree. The recursion is : 1470919f9e8dSJun Bum Lim // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3, 1471919f9e8dSJun Bum Lim // and f(n) = n, when n <= 3. 1472919f9e8dSJun Bum Lim // This will lead a binary tree where the leaf should be either f(2) or f(3) 1473919f9e8dSJun Bum Lim // when n > 3. So, the number of comparisons from leaves should be n, while 1474919f9e8dSJun Bum Lim // the number of non-leaf should be : 1475919f9e8dSJun Bum Lim // 2^(log2(n) - 1) - 1 1476919f9e8dSJun Bum Lim // = 2^log2(n) * 2^-1 - 1 1477919f9e8dSJun Bum Lim // = n / 2 - 1. 1478919f9e8dSJun Bum Lim // Considering comparisons from leaf and non-leaf nodes, we can estimate the 1479919f9e8dSJun Bum Lim // number of comparisons in a simple closed form : 1480919f9e8dSJun Bum Lim // n + n / 2 - 1 = n * 3 / 2 - 1 1481919f9e8dSJun Bum Lim if (NumCaseCluster <= 3) { 1482919f9e8dSJun Bum Lim // Suppose a comparison includes one compare and one conditional branch. 1483eeae45dcSFedor Sergeev addCost(NumCaseCluster * 2 * InlineConstants::InstrCost); 1484919f9e8dSJun Bum Lim return false; 1485919f9e8dSJun Bum Lim } 1486506cfb7aSJun Bum Lim 1487506cfb7aSJun Bum Lim int64_t ExpectedNumberOfCompare = 3 * (int64_t)NumCaseCluster / 2 - 1; 1488506cfb7aSJun Bum Lim int64_t SwitchCost = 1489919f9e8dSJun Bum Lim ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost; 1490506cfb7aSJun Bum Lim 1491eeae45dcSFedor Sergeev addCost(SwitchCost, (int64_t)CostUpperBound); 1492919f9e8dSJun Bum Lim return false; 1493919f9e8dSJun Bum Lim } 1494919f9e8dSJun Bum Lim 14957adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) { 14967adc3a2bSChandler Carruth // We never want to inline functions that contain an indirectbr. This is 14977adc3a2bSChandler Carruth // incorrect because all the blockaddress's (in static global initializers 14987adc3a2bSChandler Carruth // for example) would be referring to the original function, and this 14997adc3a2bSChandler Carruth // indirect jump would jump from the inlined copy of the function into the 15007adc3a2bSChandler Carruth // original function which is extremely undefined behavior. 15017adc3a2bSChandler Carruth // FIXME: This logic isn't really right; we can safely inline functions with 15027adc3a2bSChandler Carruth // indirectbr's as long as no other function or global references the 15037adc3a2bSChandler Carruth // blockaddress of a block within the current function. 15047adc3a2bSChandler Carruth HasIndirectBr = true; 15057adc3a2bSChandler Carruth return false; 15067adc3a2bSChandler Carruth } 15077adc3a2bSChandler Carruth 15087adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) { 15097adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 15107adc3a2bSChandler Carruth // the inline cost of a resume instruction. 15117adc3a2bSChandler Carruth return false; 15127adc3a2bSChandler Carruth } 15137adc3a2bSChandler Carruth 15147adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) { 15157adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 15167adc3a2bSChandler Carruth // the inline cost of a cleanupret instruction. 15177adc3a2bSChandler Carruth return false; 15187adc3a2bSChandler Carruth } 15197adc3a2bSChandler Carruth 15207adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) { 15217adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 15228220bcc5SJoseph Tremoulet // the inline cost of a catchret instruction. 15237adc3a2bSChandler Carruth return false; 15247adc3a2bSChandler Carruth } 15257adc3a2bSChandler Carruth 15267adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) { 15277adc3a2bSChandler Carruth // FIXME: It might be reasonably to discount the cost of instructions leading 15287adc3a2bSChandler Carruth // to unreachable as they have the lowest possible impact on both runtime and 15297adc3a2bSChandler Carruth // code size. 15307adc3a2bSChandler Carruth return true; // No actual code is needed for unreachable. 15317adc3a2bSChandler Carruth } 15327adc3a2bSChandler Carruth 15337adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) { 15347adc3a2bSChandler Carruth // Some instructions are free. All of the free intrinsics can also be 15357adc3a2bSChandler Carruth // handled by SROA, etc. 15367adc3a2bSChandler Carruth if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I)) 15377adc3a2bSChandler Carruth return true; 15387adc3a2bSChandler Carruth 15397adc3a2bSChandler Carruth // We found something we don't understand or can't handle. Mark any SROA-able 15407adc3a2bSChandler Carruth // values in the operand list as no longer viable. 15417adc3a2bSChandler Carruth for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI) 15427adc3a2bSChandler Carruth disableSROA(*OI); 15437adc3a2bSChandler Carruth 15447adc3a2bSChandler Carruth return false; 15457adc3a2bSChandler Carruth } 15467adc3a2bSChandler Carruth 15475f8f34e4SAdrian Prantl /// Analyze a basic block for its contribution to the inline cost. 15487adc3a2bSChandler Carruth /// 15497adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic 15507adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It 15517adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline 15527adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer 15537adc3a2bSChandler Carruth /// viable, and true if inlining remains viable. 1554c0aa4b75SDavid Bolvansky InlineResult 1555c0aa4b75SDavid Bolvansky CallAnalyzer::analyzeBlock(BasicBlock *BB, 15567adc3a2bSChandler Carruth SmallPtrSetImpl<const Value *> &EphValues) { 15577adc3a2bSChandler Carruth for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 15587adc3a2bSChandler Carruth // FIXME: Currently, the number of instructions in a function regardless of 15597adc3a2bSChandler Carruth // our ability to simplify them during inline to constants or dead code, 15607adc3a2bSChandler Carruth // are actually used by the vector bonus heuristic. As long as that's true, 15617adc3a2bSChandler Carruth // we have to special case debug intrinsics here to prevent differences in 15627adc3a2bSChandler Carruth // inlining due to debug symbols. Eventually, the number of unsimplified 15637adc3a2bSChandler Carruth // instructions shouldn't factor into the cost computation, but until then, 15647adc3a2bSChandler Carruth // hack around it here. 15657adc3a2bSChandler Carruth if (isa<DbgInfoIntrinsic>(I)) 15667adc3a2bSChandler Carruth continue; 15677adc3a2bSChandler Carruth 15687adc3a2bSChandler Carruth // Skip ephemeral values. 15695a82c916SDuncan P. N. Exon Smith if (EphValues.count(&*I)) 15707adc3a2bSChandler Carruth continue; 15717adc3a2bSChandler Carruth 15727adc3a2bSChandler Carruth ++NumInstructions; 15737adc3a2bSChandler Carruth if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy()) 15747adc3a2bSChandler Carruth ++NumVectorInstructions; 15757adc3a2bSChandler Carruth 15767adc3a2bSChandler Carruth // If the instruction simplified to a constant, there is no cost to this 15777adc3a2bSChandler Carruth // instruction. Visit the instructions using our InstVisitor to account for 15787adc3a2bSChandler Carruth // all of the per-instruction logic. The visit tree returns true if we 15797adc3a2bSChandler Carruth // consumed the instruction in any way, and false if the instruction's base 15807adc3a2bSChandler Carruth // cost should count against inlining. 15815a82c916SDuncan P. N. Exon Smith if (Base::visit(&*I)) 15827adc3a2bSChandler Carruth ++NumInstructionsSimplified; 15837adc3a2bSChandler Carruth else 1584eeae45dcSFedor Sergeev addCost(InlineConstants::InstrCost); 15857adc3a2bSChandler Carruth 15860812c5beSHaicheng Wu using namespace ore; 15877adc3a2bSChandler Carruth // If the visit this instruction detected an uninlinable pattern, abort. 1588c0aa4b75SDavid Bolvansky InlineResult IR; 1589c0aa4b75SDavid Bolvansky if (IsRecursiveCall) 1590c0aa4b75SDavid Bolvansky IR = "recursive"; 1591c0aa4b75SDavid Bolvansky else if (ExposesReturnsTwice) 1592c0aa4b75SDavid Bolvansky IR = "exposes returns twice"; 1593c0aa4b75SDavid Bolvansky else if (HasDynamicAlloca) 1594c0aa4b75SDavid Bolvansky IR = "dynamic alloca"; 1595c0aa4b75SDavid Bolvansky else if (HasIndirectBr) 1596c0aa4b75SDavid Bolvansky IR = "indirect branch"; 1597c0aa4b75SDavid Bolvansky else if (HasUninlineableIntrinsic) 1598c0aa4b75SDavid Bolvansky IR = "uninlinable intrinsic"; 159977beee41SSameer AbuAsal else if (InitsVargArgs) 1600c0aa4b75SDavid Bolvansky IR = "varargs"; 1601c0aa4b75SDavid Bolvansky if (!IR) { 16020812c5beSHaicheng Wu if (ORE) 16039590658fSVivek Pandya ORE->emit([&]() { 16049590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 1605652168a9SFedor Sergeev &CandidateCall) 1606c0aa4b75SDavid Bolvansky << NV("Callee", &F) << " has uninlinable pattern (" 1607c0aa4b75SDavid Bolvansky << NV("InlineResult", IR.message) 1608c0aa4b75SDavid Bolvansky << ") and cost is not fully computed"; 16099590658fSVivek Pandya }); 1610c0aa4b75SDavid Bolvansky return IR; 16110812c5beSHaicheng Wu } 16127adc3a2bSChandler Carruth 16137adc3a2bSChandler Carruth // If the caller is a recursive function then we don't want to inline 16147adc3a2bSChandler Carruth // functions which allocate a lot of stack space because it would increase 16157adc3a2bSChandler Carruth // the caller stack usage dramatically. 16167adc3a2bSChandler Carruth if (IsCallerRecursive && 16170812c5beSHaicheng Wu AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) { 1618c0aa4b75SDavid Bolvansky InlineResult IR = "recursive and allocates too much stack space"; 16190812c5beSHaicheng Wu if (ORE) 16209590658fSVivek Pandya ORE->emit([&]() { 16219590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 1622652168a9SFedor Sergeev &CandidateCall) 1623c0aa4b75SDavid Bolvansky << NV("Callee", &F) << " is " << NV("InlineResult", IR.message) 1624c0aa4b75SDavid Bolvansky << ". Cost is not fully computed"; 16259590658fSVivek Pandya }); 1626c0aa4b75SDavid Bolvansky return IR; 16270812c5beSHaicheng Wu } 16287adc3a2bSChandler Carruth 1629eeae45dcSFedor Sergeev // Check if we've passed the maximum possible threshold so we don't spin in 16307adc3a2bSChandler Carruth // huge basic blocks that will never inline. 163161995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 16327adc3a2bSChandler Carruth return false; 16337adc3a2bSChandler Carruth } 16347adc3a2bSChandler Carruth 16357adc3a2bSChandler Carruth return true; 16367adc3a2bSChandler Carruth } 16377adc3a2bSChandler Carruth 16385f8f34e4SAdrian Prantl /// Compute the base pointer and cumulative constant offsets for V. 16397adc3a2bSChandler Carruth /// 16407adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and 16417adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It 16427adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are 16437adc3a2bSChandler Carruth /// no constant offsets applied. 16447adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) { 16457adc3a2bSChandler Carruth if (!V->getType()->isPointerTy()) 16467adc3a2bSChandler Carruth return nullptr; 16477adc3a2bSChandler Carruth 164877f32994SBjorn Pettersson unsigned AS = V->getType()->getPointerAddressSpace(); 1649945b7e5aSElena Demikhovsky unsigned IntPtrWidth = DL.getIndexSizeInBits(AS); 16507adc3a2bSChandler Carruth APInt Offset = APInt::getNullValue(IntPtrWidth); 16517adc3a2bSChandler Carruth 16527adc3a2bSChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 16537adc3a2bSChandler Carruth // instruction in an unreachable block, which may be on a cycle. 16547adc3a2bSChandler Carruth SmallPtrSet<Value *, 4> Visited; 16557adc3a2bSChandler Carruth Visited.insert(V); 16567adc3a2bSChandler Carruth do { 16577adc3a2bSChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 16587adc3a2bSChandler Carruth if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset)) 16597adc3a2bSChandler Carruth return nullptr; 16607adc3a2bSChandler Carruth V = GEP->getPointerOperand(); 16617adc3a2bSChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 16627adc3a2bSChandler Carruth V = cast<Operator>(V)->getOperand(0); 16637adc3a2bSChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 16645ce32728SSanjoy Das if (GA->isInterposable()) 16657adc3a2bSChandler Carruth break; 16667adc3a2bSChandler Carruth V = GA->getAliasee(); 16677adc3a2bSChandler Carruth } else { 16687adc3a2bSChandler Carruth break; 16697adc3a2bSChandler Carruth } 16707adc3a2bSChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 16717adc3a2bSChandler Carruth } while (Visited.insert(V).second); 16727adc3a2bSChandler Carruth 167377f32994SBjorn Pettersson Type *IntPtrTy = DL.getIntPtrType(V->getContext(), AS); 16747adc3a2bSChandler Carruth return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset)); 16757adc3a2bSChandler Carruth } 16767adc3a2bSChandler Carruth 16775f8f34e4SAdrian Prantl /// Find dead blocks due to deleted CFG edges during inlining. 16783739e14aSHaicheng Wu /// 16793739e14aSHaicheng Wu /// If we know the successor of the current block, \p CurrBB, has to be \p 16803739e14aSHaicheng Wu /// NextBB, the other successors of \p CurrBB are dead if these successors have 16813739e14aSHaicheng Wu /// no live incoming CFG edges. If one block is found to be dead, we can 16823739e14aSHaicheng Wu /// continue growing the dead block list by checking the successors of the dead 16833739e14aSHaicheng Wu /// blocks to see if all their incoming edges are dead or not. 16843739e14aSHaicheng Wu void CallAnalyzer::findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB) { 16853739e14aSHaicheng Wu auto IsEdgeDead = [&](BasicBlock *Pred, BasicBlock *Succ) { 168602a2bb2fSHiroshi Inoue // A CFG edge is dead if the predecessor is dead or the predecessor has a 16873739e14aSHaicheng Wu // known successor which is not the one under exam. 16883739e14aSHaicheng Wu return (DeadBlocks.count(Pred) || 16893739e14aSHaicheng Wu (KnownSuccessors[Pred] && KnownSuccessors[Pred] != Succ)); 16903739e14aSHaicheng Wu }; 16913739e14aSHaicheng Wu 16923739e14aSHaicheng Wu auto IsNewlyDead = [&](BasicBlock *BB) { 16933739e14aSHaicheng Wu // If all the edges to a block are dead, the block is also dead. 16943739e14aSHaicheng Wu return (!DeadBlocks.count(BB) && 16953739e14aSHaicheng Wu llvm::all_of(predecessors(BB), 16963739e14aSHaicheng Wu [&](BasicBlock *P) { return IsEdgeDead(P, BB); })); 16973739e14aSHaicheng Wu }; 16983739e14aSHaicheng Wu 16993739e14aSHaicheng Wu for (BasicBlock *Succ : successors(CurrBB)) { 17003739e14aSHaicheng Wu if (Succ == NextBB || !IsNewlyDead(Succ)) 17013739e14aSHaicheng Wu continue; 17023739e14aSHaicheng Wu SmallVector<BasicBlock *, 4> NewDead; 17033739e14aSHaicheng Wu NewDead.push_back(Succ); 17043739e14aSHaicheng Wu while (!NewDead.empty()) { 17053739e14aSHaicheng Wu BasicBlock *Dead = NewDead.pop_back_val(); 17063739e14aSHaicheng Wu if (DeadBlocks.insert(Dead)) 17073739e14aSHaicheng Wu // Continue growing the dead block lists. 17083739e14aSHaicheng Wu for (BasicBlock *S : successors(Dead)) 17093739e14aSHaicheng Wu if (IsNewlyDead(S)) 17103739e14aSHaicheng Wu NewDead.push_back(S); 17113739e14aSHaicheng Wu } 17123739e14aSHaicheng Wu } 17133739e14aSHaicheng Wu } 17143739e14aSHaicheng Wu 17155f8f34e4SAdrian Prantl /// Analyze a call site for potential inlining. 17167adc3a2bSChandler Carruth /// 17177adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not 17187adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous 17197adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost 17207adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by 17217adc3a2bSChandler Carruth /// some artifact of the routine. 1722652168a9SFedor Sergeev InlineResult CallAnalyzer::analyzeCall(CallBase &Call) { 17237adc3a2bSChandler Carruth ++NumCallsAnalyzed; 17247adc3a2bSChandler Carruth 17257adc3a2bSChandler Carruth // Perform some tweaks to the cost and threshold based on the direct 17267adc3a2bSChandler Carruth // callsite information. 17277adc3a2bSChandler Carruth 17287adc3a2bSChandler Carruth // We want to more aggressively inline vector-dense kernels, so up the 17297adc3a2bSChandler Carruth // threshold, and we'll lower it if the % of vector instructions gets too 17307adc3a2bSChandler Carruth // low. Note that these bonuses are some what arbitrary and evolved over time 17317adc3a2bSChandler Carruth // by accident as much as because they are principled bonuses. 17327adc3a2bSChandler Carruth // 17337adc3a2bSChandler Carruth // FIXME: It would be nice to remove all such bonuses. At least it would be 17347adc3a2bSChandler Carruth // nice to base the bonus values on something more scientific. 17357adc3a2bSChandler Carruth assert(NumInstructions == 0); 17367adc3a2bSChandler Carruth assert(NumVectorInstructions == 0); 1737f4bb2f0dSEaswaran Raman 1738f4bb2f0dSEaswaran Raman // Update the threshold based on callsite properties 1739652168a9SFedor Sergeev updateThreshold(Call, F); 1740f4bb2f0dSEaswaran Raman 1741ed279752SEaswaran Raman // While Threshold depends on commandline options that can take negative 1742ed279752SEaswaran Raman // values, we want to enforce the invariant that the computed threshold and 1743ed279752SEaswaran Raman // bonuses are non-negative. 1744ed279752SEaswaran Raman assert(Threshold >= 0); 1745ed279752SEaswaran Raman assert(SingleBBBonus >= 0); 1746ed279752SEaswaran Raman assert(VectorBonus >= 0); 1747ed279752SEaswaran Raman 17487adc3a2bSChandler Carruth // Speculatively apply all possible bonuses to Threshold. If cost exceeds 17497adc3a2bSChandler Carruth // this Threshold any time, and cost cannot decrease, we can stop processing 17507adc3a2bSChandler Carruth // the rest of the function body. 175151b809bfSEaswaran Raman Threshold += (SingleBBBonus + VectorBonus); 17527adc3a2bSChandler Carruth 1753351d9b01SXinliang David Li // Give out bonuses for the callsite, as the instructions setting them up 1754351d9b01SXinliang David Li // will be gone after inlining. 1755eeae45dcSFedor Sergeev addCost(-getCallsiteCost(Call, DL)); 17567adc3a2bSChandler Carruth 17577adc3a2bSChandler Carruth // If this function uses the coldcc calling convention, prefer not to inline 17587adc3a2bSChandler Carruth // it. 17597adc3a2bSChandler Carruth if (F.getCallingConv() == CallingConv::Cold) 17607adc3a2bSChandler Carruth Cost += InlineConstants::ColdccPenalty; 17617adc3a2bSChandler Carruth 17627adc3a2bSChandler Carruth // Check if we're done. This can happen due to bonuses and penalties. 176361995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 1764c0aa4b75SDavid Bolvansky return "high cost"; 17657adc3a2bSChandler Carruth 17667adc3a2bSChandler Carruth if (F.empty()) 17677adc3a2bSChandler Carruth return true; 17687adc3a2bSChandler Carruth 1769652168a9SFedor Sergeev Function *Caller = Call.getFunction(); 17707adc3a2bSChandler Carruth // Check if the caller function is recursive itself. 17717adc3a2bSChandler Carruth for (User *U : Caller->users()) { 1772652168a9SFedor Sergeev CallBase *Call = dyn_cast<CallBase>(U); 1773652168a9SFedor Sergeev if (Call && Call->getFunction() == Caller) { 17747adc3a2bSChandler Carruth IsCallerRecursive = true; 17757adc3a2bSChandler Carruth break; 17767adc3a2bSChandler Carruth } 17777adc3a2bSChandler Carruth } 17787adc3a2bSChandler Carruth 17797adc3a2bSChandler Carruth // Populate our simplified values by mapping from function arguments to call 17807adc3a2bSChandler Carruth // arguments with known important simplifications. 1781652168a9SFedor Sergeev auto CAI = Call.arg_begin(); 17827adc3a2bSChandler Carruth for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end(); 17837adc3a2bSChandler Carruth FAI != FAE; ++FAI, ++CAI) { 1784652168a9SFedor Sergeev assert(CAI != Call.arg_end()); 17857adc3a2bSChandler Carruth if (Constant *C = dyn_cast<Constant>(CAI)) 17865a82c916SDuncan P. N. Exon Smith SimplifiedValues[&*FAI] = C; 17877adc3a2bSChandler Carruth 17887adc3a2bSChandler Carruth Value *PtrArg = *CAI; 17897adc3a2bSChandler Carruth if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) { 17905a82c916SDuncan P. N. Exon Smith ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue()); 17917adc3a2bSChandler Carruth 17927adc3a2bSChandler Carruth // We can SROA any pointer arguments derived from alloca instructions. 17937adc3a2bSChandler Carruth if (isa<AllocaInst>(PtrArg)) { 17945a82c916SDuncan P. N. Exon Smith SROAArgValues[&*FAI] = PtrArg; 17957adc3a2bSChandler Carruth SROAArgCosts[PtrArg] = 0; 17967adc3a2bSChandler Carruth } 17977adc3a2bSChandler Carruth } 17987adc3a2bSChandler Carruth } 17997adc3a2bSChandler Carruth NumConstantArgs = SimplifiedValues.size(); 18007adc3a2bSChandler Carruth NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size(); 18017adc3a2bSChandler Carruth NumAllocaArgs = SROAArgValues.size(); 18027adc3a2bSChandler Carruth 18037adc3a2bSChandler Carruth // FIXME: If a caller has multiple calls to a callee, we end up recomputing 18047adc3a2bSChandler Carruth // the ephemeral values multiple times (and they're completely determined by 18057adc3a2bSChandler Carruth // the callee, so this is purely duplicate work). 18067adc3a2bSChandler Carruth SmallPtrSet<const Value *, 32> EphValues; 1807aec2fa35SDaniel Jasper CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues); 18087adc3a2bSChandler Carruth 18097adc3a2bSChandler Carruth // The worklist of live basic blocks in the callee *after* inlining. We avoid 18107adc3a2bSChandler Carruth // adding basic blocks of the callee which can be proven to be dead for this 18117adc3a2bSChandler Carruth // particular call site in order to get more accurate cost estimates. This 18127adc3a2bSChandler Carruth // requires a somewhat heavyweight iteration pattern: we need to walk the 18137adc3a2bSChandler Carruth // basic blocks in a breadth-first order as we insert live successors. To 18147adc3a2bSChandler Carruth // accomplish this, prioritizing for small iterations because we exit after 18157adc3a2bSChandler Carruth // crossing our threshold, we use a small-size optimized SetVector. 18167adc3a2bSChandler Carruth typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>, 1817567556aaSChad Rosier SmallPtrSet<BasicBlock *, 16>> 1818567556aaSChad Rosier BBSetVector; 18197adc3a2bSChandler Carruth BBSetVector BBWorklist; 18207adc3a2bSChandler Carruth BBWorklist.insert(&F.getEntryBlock()); 182151b809bfSEaswaran Raman bool SingleBB = true; 18227adc3a2bSChandler Carruth // Note that we *must not* cache the size, this loop grows the worklist. 18237adc3a2bSChandler Carruth for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) { 18247adc3a2bSChandler Carruth // Bail out the moment we cross the threshold. This means we'll under-count 18257adc3a2bSChandler Carruth // the cost, but only when undercounting doesn't matter. 182661995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 18277adc3a2bSChandler Carruth break; 18287adc3a2bSChandler Carruth 18297adc3a2bSChandler Carruth BasicBlock *BB = BBWorklist[Idx]; 18307adc3a2bSChandler Carruth if (BB->empty()) 18317adc3a2bSChandler Carruth continue; 18327adc3a2bSChandler Carruth 1833639b29b1SNick Desaulniers // Disallow inlining a blockaddress with uses other than strictly callbr. 1834639b29b1SNick Desaulniers // A blockaddress only has defined behavior for an indirect branch in the 1835639b29b1SNick Desaulniers // same function, and we do not currently support inlining indirect 1836639b29b1SNick Desaulniers // branches. But, the inliner may not see an indirect branch that ends up 1837639b29b1SNick Desaulniers // being dead code at a particular call site. If the blockaddress escapes 1838639b29b1SNick Desaulniers // the function, e.g., via a global variable, inlining may lead to an 1839639b29b1SNick Desaulniers // invalid cross-function reference. 1840639b29b1SNick Desaulniers // FIXME: pr/39560: continue relaxing this overt restriction. 18416a84cd3bSNick Desaulniers if (BB->hasAddressTaken()) 1842639b29b1SNick Desaulniers for (User *U : BlockAddress::get(&*BB)->users()) 1843639b29b1SNick Desaulniers if (!isa<CallBrInst>(*U)) 1844639b29b1SNick Desaulniers return "blockaddress used outside of callbr"; 18457adc3a2bSChandler Carruth 18467adc3a2bSChandler Carruth // Analyze the cost of this block. If we blow through the threshold, this 18477adc3a2bSChandler Carruth // returns false, and we can bail on out. 1848c0aa4b75SDavid Bolvansky InlineResult IR = analyzeBlock(BB, EphValues); 1849c0aa4b75SDavid Bolvansky if (!IR) 1850c0aa4b75SDavid Bolvansky return IR; 18517adc3a2bSChandler Carruth 1852edb12a83SChandler Carruth Instruction *TI = BB->getTerminator(); 18537adc3a2bSChandler Carruth 18547adc3a2bSChandler Carruth // Add in the live successors by first checking whether we have terminator 18557adc3a2bSChandler Carruth // that may be simplified based on the values simplified by this call. 18567adc3a2bSChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 18577adc3a2bSChandler Carruth if (BI->isConditional()) { 18587adc3a2bSChandler Carruth Value *Cond = BI->getCondition(); 1859567556aaSChad Rosier if (ConstantInt *SimpleCond = 1860567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 18613739e14aSHaicheng Wu BasicBlock *NextBB = BI->getSuccessor(SimpleCond->isZero() ? 1 : 0); 18623739e14aSHaicheng Wu BBWorklist.insert(NextBB); 18633739e14aSHaicheng Wu KnownSuccessors[BB] = NextBB; 18643739e14aSHaicheng Wu findDeadBlocks(BB, NextBB); 18657adc3a2bSChandler Carruth continue; 18667adc3a2bSChandler Carruth } 18677adc3a2bSChandler Carruth } 18687adc3a2bSChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) { 18697adc3a2bSChandler Carruth Value *Cond = SI->getCondition(); 1870567556aaSChad Rosier if (ConstantInt *SimpleCond = 1871567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 18723739e14aSHaicheng Wu BasicBlock *NextBB = SI->findCaseValue(SimpleCond)->getCaseSuccessor(); 18733739e14aSHaicheng Wu BBWorklist.insert(NextBB); 18743739e14aSHaicheng Wu KnownSuccessors[BB] = NextBB; 18753739e14aSHaicheng Wu findDeadBlocks(BB, NextBB); 18767adc3a2bSChandler Carruth continue; 18777adc3a2bSChandler Carruth } 18787adc3a2bSChandler Carruth } 18797adc3a2bSChandler Carruth 18807adc3a2bSChandler Carruth // If we're unable to select a particular successor, just count all of 18817adc3a2bSChandler Carruth // them. 18827adc3a2bSChandler Carruth for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize; 18837adc3a2bSChandler Carruth ++TIdx) 18847adc3a2bSChandler Carruth BBWorklist.insert(TI->getSuccessor(TIdx)); 18857adc3a2bSChandler Carruth 18867adc3a2bSChandler Carruth // If we had any successors at this point, than post-inlining is likely to 18877adc3a2bSChandler Carruth // have them as well. Note that we assume any basic blocks which existed 18887adc3a2bSChandler Carruth // due to branches or switches which folded above will also fold after 18897adc3a2bSChandler Carruth // inlining. 18907adc3a2bSChandler Carruth if (SingleBB && TI->getNumSuccessors() > 1) { 18917adc3a2bSChandler Carruth // Take off the bonus we applied to the threshold. 18927adc3a2bSChandler Carruth Threshold -= SingleBBBonus; 18937adc3a2bSChandler Carruth SingleBB = false; 18947adc3a2bSChandler Carruth } 18957adc3a2bSChandler Carruth } 18967adc3a2bSChandler Carruth 189751b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 1898652168a9SFedor Sergeev F.hasLocalLinkage() && F.hasOneUse() && &F == Call.getCalledFunction(); 18997adc3a2bSChandler Carruth // If this is a noduplicate call, we can still inline as long as 19007adc3a2bSChandler Carruth // inlining this would cause the removal of the caller (so the instruction 19017adc3a2bSChandler Carruth // is not actually duplicated, just moved). 19027adc3a2bSChandler Carruth if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall) 1903c0aa4b75SDavid Bolvansky return "noduplicate"; 19047adc3a2bSChandler Carruth 1905ba9f245bSDavid Green // Loops generally act a lot like calls in that they act like barriers to 1906ba9f245bSDavid Green // movement, require a certain amount of setup, etc. So when optimising for 1907ba9f245bSDavid Green // size, we penalise any call sites that perform loops. We do this after all 1908ba9f245bSDavid Green // other costs here, so will likely only be dealing with relatively small 1909ba9f245bSDavid Green // functions (and hence DT and LI will hopefully be cheap). 191085bd3978SEvandro Menezes if (Caller->hasMinSize()) { 1911ba9f245bSDavid Green DominatorTree DT(F); 1912ba9f245bSDavid Green LoopInfo LI(DT); 1913ba9f245bSDavid Green int NumLoops = 0; 1914ba9f245bSDavid Green for (Loop *L : LI) { 1915ba9f245bSDavid Green // Ignore loops that will not be executed 1916ba9f245bSDavid Green if (DeadBlocks.count(L->getHeader())) 1917ba9f245bSDavid Green continue; 1918ba9f245bSDavid Green NumLoops++; 1919ba9f245bSDavid Green } 1920eeae45dcSFedor Sergeev addCost(NumLoops * InlineConstants::CallPenalty); 1921ba9f245bSDavid Green } 1922ba9f245bSDavid Green 19237adc3a2bSChandler Carruth // We applied the maximum possible vector bonus at the beginning. Now, 19247adc3a2bSChandler Carruth // subtract the excess bonus, if any, from the Threshold before 19257adc3a2bSChandler Carruth // comparing against Cost. 19267adc3a2bSChandler Carruth if (NumVectorInstructions <= NumInstructions / 10) 192751b809bfSEaswaran Raman Threshold -= VectorBonus; 19287adc3a2bSChandler Carruth else if (NumVectorInstructions <= NumInstructions / 2) 192951b809bfSEaswaran Raman Threshold -= VectorBonus/2; 19307adc3a2bSChandler Carruth 193100ab73dcSHans Wennborg return Cost < std::max(1, Threshold); 19327adc3a2bSChandler Carruth } 19337adc3a2bSChandler Carruth 1934615eb470SAaron Ballman #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 19355f8f34e4SAdrian Prantl /// Dump stats about this call's analysis. 1936eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() { 19377adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << " " #x ": " << x << "\n" 19387adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantArgs); 19397adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs); 19407adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumAllocaArgs); 19417adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrCmps); 19427adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrDiffs); 19437adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructionsSimplified); 19447adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructions); 19457adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavings); 19467adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavingsLost); 1947a4461515SHaicheng Wu DEBUG_PRINT_STAT(LoadEliminationCost); 19487adc3a2bSChandler Carruth DEBUG_PRINT_STAT(ContainsNoDuplicateCall); 19497adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Cost); 19507adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Threshold); 19517adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT 19527adc3a2bSChandler Carruth } 19537adc3a2bSChandler Carruth #endif 19547adc3a2bSChandler Carruth 19555f8f34e4SAdrian Prantl /// Test that there are no attribute conflicts between Caller and Callee 19567adc3a2bSChandler Carruth /// that prevent inlining. 19577adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller, 19587adc3a2bSChandler Carruth Function *Callee, 19597adc3a2bSChandler Carruth TargetTransformInfo &TTI) { 19607adc3a2bSChandler Carruth return TTI.areInlineCompatible(Caller, Callee) && 19611cb242ebSAkira Hatanaka AttributeFuncs::areInlineCompatible(*Caller, *Callee); 19627adc3a2bSChandler Carruth } 19637adc3a2bSChandler Carruth 1964652168a9SFedor Sergeev int llvm::getCallsiteCost(CallBase &Call, const DataLayout &DL) { 1965351d9b01SXinliang David Li int Cost = 0; 1966652168a9SFedor Sergeev for (unsigned I = 0, E = Call.arg_size(); I != E; ++I) { 1967652168a9SFedor Sergeev if (Call.isByValArgument(I)) { 1968351d9b01SXinliang David Li // We approximate the number of loads and stores needed by dividing the 1969351d9b01SXinliang David Li // size of the byval type by the target's pointer size. 1970652168a9SFedor Sergeev PointerType *PTy = cast<PointerType>(Call.getArgOperand(I)->getType()); 1971351d9b01SXinliang David Li unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType()); 197277f32994SBjorn Pettersson unsigned AS = PTy->getAddressSpace(); 197377f32994SBjorn Pettersson unsigned PointerSize = DL.getPointerSizeInBits(AS); 1974351d9b01SXinliang David Li // Ceiling division. 1975351d9b01SXinliang David Li unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize; 1976351d9b01SXinliang David Li 1977351d9b01SXinliang David Li // If it generates more than 8 stores it is likely to be expanded as an 1978351d9b01SXinliang David Li // inline memcpy so we take that as an upper bound. Otherwise we assume 1979351d9b01SXinliang David Li // one load and one store per word copied. 1980351d9b01SXinliang David Li // FIXME: The maxStoresPerMemcpy setting from the target should be used 1981351d9b01SXinliang David Li // here instead of a magic number of 8, but it's not available via 1982351d9b01SXinliang David Li // DataLayout. 1983351d9b01SXinliang David Li NumStores = std::min(NumStores, 8U); 1984351d9b01SXinliang David Li 1985351d9b01SXinliang David Li Cost += 2 * NumStores * InlineConstants::InstrCost; 1986351d9b01SXinliang David Li } else { 1987351d9b01SXinliang David Li // For non-byval arguments subtract off one instruction per call 1988351d9b01SXinliang David Li // argument. 1989351d9b01SXinliang David Li Cost += InlineConstants::InstrCost; 1990351d9b01SXinliang David Li } 1991351d9b01SXinliang David Li } 1992351d9b01SXinliang David Li // The call instruction also disappears after inlining. 1993351d9b01SXinliang David Li Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty; 1994351d9b01SXinliang David Li return Cost; 1995351d9b01SXinliang David Li } 1996351d9b01SXinliang David Li 1997ab6a6837SSean Silva InlineCost llvm::getInlineCost( 1998652168a9SFedor Sergeev CallBase &Call, const InlineParams &Params, TargetTransformInfo &CalleeTTI, 1999aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 200012585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 20010812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 2002652168a9SFedor Sergeev return getInlineCost(Call, Call.getCalledFunction(), Params, CalleeTTI, 20030812c5beSHaicheng Wu GetAssumptionCache, GetBFI, PSI, ORE); 2004b9f7120eSEaswaran Raman } 2005b9f7120eSEaswaran Raman 2006ab6a6837SSean Silva InlineCost llvm::getInlineCost( 2007652168a9SFedor Sergeev CallBase &Call, Function *Callee, const InlineParams &Params, 2008aec2fa35SDaniel Jasper TargetTransformInfo &CalleeTTI, 2009aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 201012585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 20110812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 2012f4bb2f0dSEaswaran Raman 20137adc3a2bSChandler Carruth // Cannot inline indirect calls. 20147adc3a2bSChandler Carruth if (!Callee) 2015c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("indirect call"); 20167adc3a2bSChandler Carruth 20173851496eSBjorn Pettersson // Never inline calls with byval arguments that does not have the alloca 20183851496eSBjorn Pettersson // address space. Since byval arguments can be replaced with a copy to an 20193851496eSBjorn Pettersson // alloca, the inlined code would need to be adjusted to handle that the 20203851496eSBjorn Pettersson // argument is in the alloca address space (so it is a little bit complicated 20213851496eSBjorn Pettersson // to solve). 20223851496eSBjorn Pettersson unsigned AllocaAS = Callee->getParent()->getDataLayout().getAllocaAddrSpace(); 2023652168a9SFedor Sergeev for (unsigned I = 0, E = Call.arg_size(); I != E; ++I) 2024652168a9SFedor Sergeev if (Call.isByValArgument(I)) { 2025652168a9SFedor Sergeev PointerType *PTy = cast<PointerType>(Call.getArgOperand(I)->getType()); 20263851496eSBjorn Pettersson if (PTy->getAddressSpace() != AllocaAS) 2027c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("byval arguments without alloca" 2028c0aa4b75SDavid Bolvansky " address space"); 20293851496eSBjorn Pettersson } 20303851496eSBjorn Pettersson 20317adc3a2bSChandler Carruth // Calls to functions with always-inline attributes should be inlined 20327adc3a2bSChandler Carruth // whenever possible. 2033652168a9SFedor Sergeev if (Call.hasFnAttr(Attribute::AlwaysInline)) { 203415b17d0aSYevgeny Rouban auto IsViable = isInlineViable(*Callee); 203515b17d0aSYevgeny Rouban if (IsViable) 2036c0aa4b75SDavid Bolvansky return llvm::InlineCost::getAlways("always inline attribute"); 203715b17d0aSYevgeny Rouban return llvm::InlineCost::getNever(IsViable.message); 20387adc3a2bSChandler Carruth } 20397adc3a2bSChandler Carruth 20407adc3a2bSChandler Carruth // Never inline functions with conflicting attributes (unless callee has 20417adc3a2bSChandler Carruth // always-inline attribute). 2042652168a9SFedor Sergeev Function *Caller = Call.getCaller(); 20435ce28f4fSChad Rosier if (!functionsHaveCompatibleAttributes(Caller, Callee, CalleeTTI)) 2044c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("conflicting attributes"); 20457adc3a2bSChandler Carruth 20467adc3a2bSChandler Carruth // Don't inline this call if the caller has the optnone attribute. 204785bd3978SEvandro Menezes if (Caller->hasOptNone()) 2048c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("optnone attribute"); 20497adc3a2bSChandler Carruth 205077eeac3dSManoj Gupta // Don't inline a function that treats null pointer as valid into a caller 205177eeac3dSManoj Gupta // that does not have this attribute. 205277eeac3dSManoj Gupta if (!Caller->nullPointerIsDefined() && Callee->nullPointerIsDefined()) 2053c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("nullptr definitions incompatible"); 205477eeac3dSManoj Gupta 2055c0aa4b75SDavid Bolvansky // Don't inline functions which can be interposed at link-time. 2056c0aa4b75SDavid Bolvansky if (Callee->isInterposable()) 2057c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("interposable"); 2058c0aa4b75SDavid Bolvansky 2059c0aa4b75SDavid Bolvansky // Don't inline functions marked noinline. 2060c0aa4b75SDavid Bolvansky if (Callee->hasFnAttribute(Attribute::NoInline)) 2061c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("noinline function attribute"); 2062c0aa4b75SDavid Bolvansky 2063c0aa4b75SDavid Bolvansky // Don't inline call sites marked noinline. 2064652168a9SFedor Sergeev if (Call.isNoInline()) 2065c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("noinline call site attribute"); 20667adc3a2bSChandler Carruth 2067d34e60caSNicola Zaghen LLVM_DEBUG(llvm::dbgs() << " Analyzing call of " << Callee->getName() 20684eb18742SChad Rosier << "... (caller:" << Caller->getName() << ")\n"); 20697adc3a2bSChandler Carruth 2070652168a9SFedor Sergeev CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, ORE, *Callee, 2071652168a9SFedor Sergeev Call, Params); 2072652168a9SFedor Sergeev InlineResult ShouldInline = CA.analyzeCall(Call); 20737adc3a2bSChandler Carruth 2074d34e60caSNicola Zaghen LLVM_DEBUG(CA.dump()); 20757adc3a2bSChandler Carruth 20767adc3a2bSChandler Carruth // Check if there was a reason to force inlining or no inlining. 20777adc3a2bSChandler Carruth if (!ShouldInline && CA.getCost() < CA.getThreshold()) 2078c0aa4b75SDavid Bolvansky return InlineCost::getNever(ShouldInline.message); 20797adc3a2bSChandler Carruth if (ShouldInline && CA.getCost() >= CA.getThreshold()) 2080c0aa4b75SDavid Bolvansky return InlineCost::getAlways("empty function"); 20817adc3a2bSChandler Carruth 20827adc3a2bSChandler Carruth return llvm::InlineCost::get(CA.getCost(), CA.getThreshold()); 20837adc3a2bSChandler Carruth } 20847adc3a2bSChandler Carruth 208515b17d0aSYevgeny Rouban InlineResult llvm::isInlineViable(Function &F) { 20867adc3a2bSChandler Carruth bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice); 20877adc3a2bSChandler Carruth for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) { 2088639b29b1SNick Desaulniers // Disallow inlining of functions which contain indirect branches. 208915b17d0aSYevgeny Rouban if (isa<IndirectBrInst>(BI->getTerminator())) 209015b17d0aSYevgeny Rouban return "contains indirect branches"; 209115b17d0aSYevgeny Rouban 2092639b29b1SNick Desaulniers // Disallow inlining of blockaddresses which are used by non-callbr 2093639b29b1SNick Desaulniers // instructions. 20946a84cd3bSNick Desaulniers if (BI->hasAddressTaken()) 2095639b29b1SNick Desaulniers for (User *U : BlockAddress::get(&*BI)->users()) 2096639b29b1SNick Desaulniers if (!isa<CallBrInst>(*U)) 2097639b29b1SNick Desaulniers return "blockaddress used outside of callbr"; 20987adc3a2bSChandler Carruth 20995a82c916SDuncan P. N. Exon Smith for (auto &II : *BI) { 2100652168a9SFedor Sergeev CallBase *Call = dyn_cast<CallBase>(&II); 2101652168a9SFedor Sergeev if (!Call) 21027adc3a2bSChandler Carruth continue; 21037adc3a2bSChandler Carruth 21047adc3a2bSChandler Carruth // Disallow recursive calls. 2105652168a9SFedor Sergeev if (&F == Call->getCalledFunction()) 210615b17d0aSYevgeny Rouban return "recursive call"; 21077adc3a2bSChandler Carruth 21087adc3a2bSChandler Carruth // Disallow calls which expose returns-twice to a function not previously 21097adc3a2bSChandler Carruth // attributed as such. 2110652168a9SFedor Sergeev if (!ReturnsTwice && isa<CallInst>(Call) && 2111652168a9SFedor Sergeev cast<CallInst>(Call)->canReturnTwice()) 211215b17d0aSYevgeny Rouban return "exposes returns-twice attribute"; 21137adc3a2bSChandler Carruth 2114652168a9SFedor Sergeev if (Call->getCalledFunction()) 2115652168a9SFedor Sergeev switch (Call->getCalledFunction()->getIntrinsicID()) { 21161636651eSFlorian Hahn default: 21171636651eSFlorian Hahn break; 21184296ea72SVitaly Buka // Disallow inlining of @llvm.icall.branch.funnel because current 21194296ea72SVitaly Buka // backend can't separate call targets from call arguments. 21204296ea72SVitaly Buka case llvm::Intrinsic::icall_branch_funnel: 212115b17d0aSYevgeny Rouban return "disallowed inlining of @llvm.icall.branch.funnel"; 21227adc3a2bSChandler Carruth // Disallow inlining functions that call @llvm.localescape. Doing this 21237adc3a2bSChandler Carruth // correctly would require major changes to the inliner. 21241636651eSFlorian Hahn case llvm::Intrinsic::localescape: 212515b17d0aSYevgeny Rouban return "disallowed inlining of @llvm.localescape"; 212677beee41SSameer AbuAsal // Disallow inlining of functions that initialize VarArgs with va_start. 21271636651eSFlorian Hahn case llvm::Intrinsic::vastart: 212815b17d0aSYevgeny Rouban return "contains VarArgs initialized with va_start"; 21297adc3a2bSChandler Carruth } 21307adc3a2bSChandler Carruth } 21311636651eSFlorian Hahn } 21327adc3a2bSChandler Carruth 21337adc3a2bSChandler Carruth return true; 21347adc3a2bSChandler Carruth } 21351c57cc2bSEaswaran Raman 21361c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other 21371c57cc2bSEaswaran Raman // parameters. 21381c57cc2bSEaswaran Raman 21391c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) { 21401c57cc2bSEaswaran Raman InlineParams Params; 21411c57cc2bSEaswaran Raman 21421c57cc2bSEaswaran Raman // This field is the threshold to use for a callee by default. This is 21431c57cc2bSEaswaran Raman // derived from one or more of: 21441c57cc2bSEaswaran Raman // * optimization or size-optimization levels, 21451c57cc2bSEaswaran Raman // * a value passed to createFunctionInliningPass function, or 21461c57cc2bSEaswaran Raman // * the -inline-threshold flag. 21471c57cc2bSEaswaran Raman // If the -inline-threshold flag is explicitly specified, that is used 21481c57cc2bSEaswaran Raman // irrespective of anything else. 21491c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() > 0) 21501c57cc2bSEaswaran Raman Params.DefaultThreshold = InlineThreshold; 21511c57cc2bSEaswaran Raman else 21521c57cc2bSEaswaran Raman Params.DefaultThreshold = Threshold; 21531c57cc2bSEaswaran Raman 21541c57cc2bSEaswaran Raman // Set the HintThreshold knob from the -inlinehint-threshold. 21551c57cc2bSEaswaran Raman Params.HintThreshold = HintThreshold; 21561c57cc2bSEaswaran Raman 21571c57cc2bSEaswaran Raman // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold. 21581c57cc2bSEaswaran Raman Params.HotCallSiteThreshold = HotCallSiteThreshold; 21591c57cc2bSEaswaran Raman 2160974d4eeaSEaswaran Raman // If the -locally-hot-callsite-threshold is explicitly specified, use it to 2161974d4eeaSEaswaran Raman // populate LocallyHotCallSiteThreshold. Later, we populate 2162974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold from -locally-hot-callsite-threshold if 2163974d4eeaSEaswaran Raman // we know that optimization level is O3 (in the getInlineParams variant that 2164974d4eeaSEaswaran Raman // takes the opt and size levels). 2165974d4eeaSEaswaran Raman // FIXME: Remove this check (and make the assignment unconditional) after 2166974d4eeaSEaswaran Raman // addressing size regression issues at O2. 2167974d4eeaSEaswaran Raman if (LocallyHotCallSiteThreshold.getNumOccurrences() > 0) 2168974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 2169974d4eeaSEaswaran Raman 217012585b01SEaswaran Raman // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold. 217112585b01SEaswaran Raman Params.ColdCallSiteThreshold = ColdCallSiteThreshold; 217212585b01SEaswaran Raman 21731c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 21741c57cc2bSEaswaran Raman // -inlinehint-threshold commandline option is not explicitly given. If that 21751c57cc2bSEaswaran Raman // option is present, then its value applies even for callees with size and 21761c57cc2bSEaswaran Raman // minsize attributes. 21771c57cc2bSEaswaran Raman // If the -inline-threshold is not specified, set the ColdThreshold from the 21781c57cc2bSEaswaran Raman // -inlinecold-threshold even if it is not explicitly passed. If 21791c57cc2bSEaswaran Raman // -inline-threshold is specified, then -inlinecold-threshold needs to be 21801c57cc2bSEaswaran Raman // explicitly specified to set the ColdThreshold knob 21811c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() == 0) { 21821c57cc2bSEaswaran Raman Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold; 21831c57cc2bSEaswaran Raman Params.OptSizeThreshold = InlineConstants::OptSizeThreshold; 21841c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 21851c57cc2bSEaswaran Raman } else if (ColdThreshold.getNumOccurrences() > 0) { 21861c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 21871c57cc2bSEaswaran Raman } 21881c57cc2bSEaswaran Raman return Params; 21891c57cc2bSEaswaran Raman } 21901c57cc2bSEaswaran Raman 21911c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() { 21921c57cc2bSEaswaran Raman return getInlineParams(InlineThreshold); 21931c57cc2bSEaswaran Raman } 21941c57cc2bSEaswaran Raman 21951c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the 21961c57cc2bSEaswaran Raman // size opt level. 21971c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel, 21981c57cc2bSEaswaran Raman unsigned SizeOptLevel) { 21991c57cc2bSEaswaran Raman if (OptLevel > 2) 22001c57cc2bSEaswaran Raman return InlineConstants::OptAggressiveThreshold; 22011c57cc2bSEaswaran Raman if (SizeOptLevel == 1) // -Os 22021c57cc2bSEaswaran Raman return InlineConstants::OptSizeThreshold; 22031c57cc2bSEaswaran Raman if (SizeOptLevel == 2) // -Oz 22041c57cc2bSEaswaran Raman return InlineConstants::OptMinSizeThreshold; 22051c57cc2bSEaswaran Raman return InlineThreshold; 22061c57cc2bSEaswaran Raman } 22071c57cc2bSEaswaran Raman 22081c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) { 2209974d4eeaSEaswaran Raman auto Params = 2210974d4eeaSEaswaran Raman getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel)); 2211974d4eeaSEaswaran Raman // At O3, use the value of -locally-hot-callsite-threshold option to populate 2212974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold. Below O3, this flag has effect only 2213974d4eeaSEaswaran Raman // when it is specified explicitly. 2214974d4eeaSEaswaran Raman if (OptLevel > 2) 2215974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 2216974d4eeaSEaswaran Raman return Params; 22171c57cc2bSEaswaran Raman } 2218