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" 387cebf0afSCraig Topper #include "llvm/IR/PatternMatch.h" 397adc3a2bSChandler Carruth #include "llvm/Support/Debug.h" 407adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h" 417adc3a2bSChandler Carruth 427adc3a2bSChandler Carruth using namespace llvm; 437adc3a2bSChandler Carruth 447adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost" 457adc3a2bSChandler Carruth 467adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed"); 477adc3a2bSChandler Carruth 481c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold( 49f4bb2f0dSEaswaran Raman "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore, 50f4bb2f0dSEaswaran Raman cl::desc("Control the amount of inlining to perform (default = 225)")); 51f4bb2f0dSEaswaran Raman 52f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold( 53fd3e7a93SDavid Callahan "inlinehint-threshold", cl::Hidden, cl::init(325), cl::ZeroOrMore, 54f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with inline hint")); 55f4bb2f0dSEaswaran Raman 5612585b01SEaswaran Raman static cl::opt<int> 5712585b01SEaswaran Raman ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden, 58fd3e7a93SDavid Callahan cl::init(45), cl::ZeroOrMore, 5912585b01SEaswaran Raman cl::desc("Threshold for inlining cold callsites")); 6012585b01SEaswaran Raman 61f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based 62f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and 63f4bb2f0dSEaswaran Raman // BFI. 64f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold( 65fd3e7a93SDavid Callahan "inlinecold-threshold", cl::Hidden, cl::init(45), cl::ZeroOrMore, 66f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with cold attribute")); 67f4bb2f0dSEaswaran Raman 68de39cb93SDehao Chen static cl::opt<int> 69de39cb93SDehao Chen HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000), 70de39cb93SDehao Chen cl::ZeroOrMore, 71de39cb93SDehao Chen cl::desc("Threshold for hot callsites ")); 72de39cb93SDehao Chen 73974d4eeaSEaswaran Raman static cl::opt<int> LocallyHotCallSiteThreshold( 74974d4eeaSEaswaran Raman "locally-hot-callsite-threshold", cl::Hidden, cl::init(525), cl::ZeroOrMore, 75974d4eeaSEaswaran Raman cl::desc("Threshold for locally hot callsites ")); 76974d4eeaSEaswaran Raman 77c5fa6358SEaswaran Raman static cl::opt<int> ColdCallSiteRelFreq( 78c5fa6358SEaswaran Raman "cold-callsite-rel-freq", cl::Hidden, cl::init(2), cl::ZeroOrMore, 7902a2bb2fSHiroshi Inoue cl::desc("Maximum block frequency, expressed as a percentage of caller's " 80c5fa6358SEaswaran Raman "entry frequency, for a callsite to be cold in the absence of " 81c5fa6358SEaswaran Raman "profile information.")); 82c5fa6358SEaswaran Raman 83974d4eeaSEaswaran Raman static cl::opt<int> HotCallSiteRelFreq( 84974d4eeaSEaswaran Raman "hot-callsite-rel-freq", cl::Hidden, cl::init(60), cl::ZeroOrMore, 85ff77cc75SEaswaran Raman cl::desc("Minimum block frequency, expressed as a multiple of caller's " 86974d4eeaSEaswaran Raman "entry frequency, for a callsite to be hot in the absence of " 87974d4eeaSEaswaran Raman "profile information.")); 88974d4eeaSEaswaran Raman 894924bb00SEaswaran Raman static cl::opt<bool> OptComputeFullInlineCost( 90fd3e7a93SDavid Callahan "inline-cost-full", cl::Hidden, cl::init(false), cl::ZeroOrMore, 910812c5beSHaicheng Wu cl::desc("Compute the full inline cost of a call site even when the cost " 920812c5beSHaicheng Wu "exceeds the threshold.")); 930812c5beSHaicheng Wu 947adc3a2bSChandler Carruth namespace { 957adc3a2bSChandler Carruth 967adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> { 977adc3a2bSChandler Carruth typedef InstVisitor<CallAnalyzer, bool> Base; 987adc3a2bSChandler Carruth friend class InstVisitor<CallAnalyzer, bool>; 997adc3a2bSChandler Carruth 1007adc3a2bSChandler Carruth /// The TargetTransformInfo available for this compilation. 1017adc3a2bSChandler Carruth const TargetTransformInfo &TTI; 1027adc3a2bSChandler Carruth 103aec2fa35SDaniel Jasper /// Getter for the cache of @llvm.assume intrinsics. 104aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache; 105aec2fa35SDaniel Jasper 10612585b01SEaswaran Raman /// Getter for BlockFrequencyInfo 10712585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI; 10812585b01SEaswaran Raman 10971069cf6SEaswaran Raman /// Profile summary information. 11071069cf6SEaswaran Raman ProfileSummaryInfo *PSI; 11171069cf6SEaswaran Raman 112f3d122cdSPiotr Padlewski /// The called function. 1137adc3a2bSChandler Carruth Function &F; 1147adc3a2bSChandler Carruth 11585be8ca8SEric Christopher // Cache the DataLayout since we use it a lot. 11685be8ca8SEric Christopher const DataLayout &DL; 11785be8ca8SEric Christopher 1180812c5beSHaicheng Wu /// The OptimizationRemarkEmitter available for this compilation. 1190812c5beSHaicheng Wu OptimizationRemarkEmitter *ORE; 1200812c5beSHaicheng Wu 121f3d122cdSPiotr Padlewski /// The candidate callsite being analyzed. Please do not use this to do 122f3d122cdSPiotr Padlewski /// analysis in the caller function; we want the inline cost query to be 123f3d122cdSPiotr Padlewski /// easily cacheable. Instead, use the cover function paramHasAttr. 124652168a9SFedor Sergeev CallBase &CandidateCall; 1257adc3a2bSChandler Carruth 126f3d122cdSPiotr Padlewski /// Tunable parameters that control the analysis. 1271c57cc2bSEaswaran Raman const InlineParams &Params; 1281c57cc2bSEaswaran Raman 129eeae45dcSFedor Sergeev /// Upper bound for the inlining cost. Bonuses are being applied to account 130eeae45dcSFedor Sergeev /// for speculative "expected profit" of the inlining decision. 1317adc3a2bSChandler Carruth int Threshold; 132eeae45dcSFedor Sergeev 133eeae45dcSFedor Sergeev /// Inlining cost measured in abstract units, accounts for all the 134eeae45dcSFedor Sergeev /// instructions expected to be executed for a given function invocation. 135eeae45dcSFedor Sergeev /// Instructions that are statically proven to be dead based on call-site 136eeae45dcSFedor Sergeev /// arguments are not counted here. 137eeae45dcSFedor Sergeev int Cost = 0; 138eeae45dcSFedor Sergeev 1394924bb00SEaswaran Raman bool ComputeFullInlineCost; 1407adc3a2bSChandler Carruth 141eeae45dcSFedor Sergeev bool IsCallerRecursive = false; 142eeae45dcSFedor Sergeev bool IsRecursiveCall = false; 143eeae45dcSFedor Sergeev bool ExposesReturnsTwice = false; 144eeae45dcSFedor Sergeev bool HasDynamicAlloca = false; 145eeae45dcSFedor Sergeev bool ContainsNoDuplicateCall = false; 146eeae45dcSFedor Sergeev bool HasReturn = false; 147eeae45dcSFedor Sergeev bool HasIndirectBr = false; 148eeae45dcSFedor Sergeev bool HasUninlineableIntrinsic = false; 149eeae45dcSFedor Sergeev bool InitsVargArgs = false; 1507adc3a2bSChandler Carruth 1517adc3a2bSChandler Carruth /// Number of bytes allocated statically by the callee. 152eeae45dcSFedor Sergeev uint64_t AllocatedSize = 0; 153eeae45dcSFedor Sergeev unsigned NumInstructions = 0; 154eeae45dcSFedor Sergeev unsigned NumVectorInstructions = 0; 155eeae45dcSFedor Sergeev 156eeae45dcSFedor Sergeev /// Bonus to be applied when percentage of vector instructions in callee is 157eeae45dcSFedor Sergeev /// high (see more details in updateThreshold). 158eeae45dcSFedor Sergeev int VectorBonus = 0; 159eeae45dcSFedor Sergeev /// Bonus to be applied when the callee has only one reachable basic block. 160eeae45dcSFedor Sergeev int SingleBBBonus = 0; 1617adc3a2bSChandler Carruth 162f3d122cdSPiotr Padlewski /// While we walk the potentially-inlined instructions, we build up and 163f3d122cdSPiotr Padlewski /// maintain a mapping of simplified values specific to this callsite. The 164f3d122cdSPiotr Padlewski /// idea is to propagate any special information we have about arguments to 165f3d122cdSPiotr Padlewski /// this call through the inlinable section of the function, and account for 166f3d122cdSPiotr Padlewski /// likely simplifications post-inlining. The most important aspect we track 167f3d122cdSPiotr Padlewski /// is CFG altering simplifications -- when we prove a basic block dead, that 168f3d122cdSPiotr Padlewski /// can cause dramatic shifts in the cost of inlining a function. 1697adc3a2bSChandler Carruth DenseMap<Value *, Constant *> SimplifiedValues; 1707adc3a2bSChandler Carruth 171f3d122cdSPiotr Padlewski /// Keep track of the values which map back (through function arguments) to 172f3d122cdSPiotr Padlewski /// allocas on the caller stack which could be simplified through SROA. 1737adc3a2bSChandler Carruth DenseMap<Value *, Value *> SROAArgValues; 1747adc3a2bSChandler Carruth 175f3d122cdSPiotr Padlewski /// The mapping of caller Alloca values to their accumulated cost savings. If 176f3d122cdSPiotr Padlewski /// we have to disable SROA for one of the allocas, this tells us how much 177f3d122cdSPiotr Padlewski /// cost must be added. 1787adc3a2bSChandler Carruth DenseMap<Value *, int> SROAArgCosts; 1797adc3a2bSChandler Carruth 180f3d122cdSPiotr Padlewski /// Keep track of values which map to a pointer base and constant offset. 1817adc3a2bSChandler Carruth DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs; 1827adc3a2bSChandler Carruth 1833739e14aSHaicheng Wu /// Keep track of dead blocks due to the constant arguments. 1843739e14aSHaicheng Wu SetVector<BasicBlock *> DeadBlocks; 1853739e14aSHaicheng Wu 1863739e14aSHaicheng Wu /// The mapping of the blocks to their known unique successors due to the 1873739e14aSHaicheng Wu /// constant arguments. 1883739e14aSHaicheng Wu DenseMap<BasicBlock *, BasicBlock *> KnownSuccessors; 1893739e14aSHaicheng Wu 190a4461515SHaicheng Wu /// Model the elimination of repeated loads that is expected to happen 191a4461515SHaicheng Wu /// whenever we simplify away the stores that would otherwise cause them to be 192a4461515SHaicheng Wu /// loads. 193a4461515SHaicheng Wu bool EnableLoadElimination; 194a4461515SHaicheng Wu SmallPtrSet<Value *, 16> LoadAddrSet; 195eeae45dcSFedor Sergeev int LoadEliminationCost = 0; 196a4461515SHaicheng Wu 1977adc3a2bSChandler Carruth // Custom simplification helper routines. 1987adc3a2bSChandler Carruth bool isAllocaDerivedArg(Value *V); 1997adc3a2bSChandler Carruth bool lookupSROAArgAndCost(Value *V, Value *&Arg, 2007adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator &CostIt); 2017adc3a2bSChandler Carruth void disableSROA(DenseMap<Value *, int>::iterator CostIt); 2027adc3a2bSChandler Carruth void disableSROA(Value *V); 2033739e14aSHaicheng Wu void findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB); 2047adc3a2bSChandler Carruth void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 2057adc3a2bSChandler Carruth int InstructionCost); 206a4461515SHaicheng Wu void disableLoadElimination(); 207201b191bSHaicheng Wu bool isGEPFree(GetElementPtrInst &GEP); 208d3558b5dSEvgeny Astigeevich bool canFoldInboundsGEP(GetElementPtrInst &I); 2097adc3a2bSChandler Carruth bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset); 210652168a9SFedor Sergeev bool simplifyCallSite(Function *F, CallBase &Call); 211617f6364SEaswaran Raman template <typename Callable> 212617f6364SEaswaran Raman bool simplifyInstruction(Instruction &I, Callable Evaluate); 2137adc3a2bSChandler Carruth ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V); 2147adc3a2bSChandler Carruth 2157adc3a2bSChandler Carruth /// Return true if the given argument to the function being considered for 2167adc3a2bSChandler Carruth /// inlining has the given attribute set either at the call site or the 2177adc3a2bSChandler Carruth /// function declaration. Primarily used to inspect call site specific 2187adc3a2bSChandler Carruth /// attributes since these can be more precise than the ones on the callee 2197adc3a2bSChandler Carruth /// itself. 2207adc3a2bSChandler Carruth bool paramHasAttr(Argument *A, Attribute::AttrKind Attr); 2217adc3a2bSChandler Carruth 2227adc3a2bSChandler Carruth /// Return true if the given value is known non null within the callee if 2237adc3a2bSChandler Carruth /// inlined through this particular callsite. 2247adc3a2bSChandler Carruth bool isKnownNonNullInCallee(Value *V); 2257adc3a2bSChandler Carruth 226f4bb2f0dSEaswaran Raman /// Update Threshold based on callsite properties such as callee 227f4bb2f0dSEaswaran Raman /// attributes and callee hotness for PGO builds. The Callee is explicitly 228f4bb2f0dSEaswaran Raman /// passed to support analyzing indirect calls whose target is inferred by 229f4bb2f0dSEaswaran Raman /// analysis. 230652168a9SFedor Sergeev void updateThreshold(CallBase &Call, Function &Callee); 231f4bb2f0dSEaswaran Raman 232652168a9SFedor Sergeev /// Return true if size growth is allowed when inlining the callee at \p Call. 233652168a9SFedor Sergeev bool allowSizeGrowth(CallBase &Call); 2349a3fc17aSEaswaran Raman 235652168a9SFedor Sergeev /// Return true if \p Call is a cold callsite. 236652168a9SFedor Sergeev bool isColdCallSite(CallBase &Call, BlockFrequencyInfo *CallerBFI); 237c5fa6358SEaswaran Raman 238652168a9SFedor Sergeev /// Return a higher threshold if \p Call is a hot callsite. 239652168a9SFedor Sergeev Optional<int> getHotCallSiteThreshold(CallBase &Call, 240974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI); 241974d4eeaSEaswaran Raman 2427adc3a2bSChandler Carruth // Custom analysis routines. 243c0aa4b75SDavid Bolvansky InlineResult analyzeBlock(BasicBlock *BB, 244c0aa4b75SDavid Bolvansky SmallPtrSetImpl<const Value *> &EphValues); 2457adc3a2bSChandler Carruth 246eeae45dcSFedor Sergeev /// Handle a capped 'int' increment for Cost. 247eeae45dcSFedor Sergeev void addCost(int64_t Inc, int64_t UpperBound = INT_MAX) { 248eeae45dcSFedor Sergeev assert(UpperBound > 0 && UpperBound <= INT_MAX && "invalid upper bound"); 249eeae45dcSFedor Sergeev Cost = (int)std::min(UpperBound, Cost + Inc); 250eeae45dcSFedor Sergeev } 251eeae45dcSFedor Sergeev 2527adc3a2bSChandler Carruth // Disable several entry points to the visitor so we don't accidentally use 2537adc3a2bSChandler Carruth // them by declaring but not defining them here. 254567556aaSChad Rosier void visit(Module *); 255567556aaSChad Rosier void visit(Module &); 256567556aaSChad Rosier void visit(Function *); 257567556aaSChad Rosier void visit(Function &); 258567556aaSChad Rosier void visit(BasicBlock *); 259567556aaSChad Rosier void visit(BasicBlock &); 2607adc3a2bSChandler Carruth 2617adc3a2bSChandler Carruth // Provide base case for our instruction visit. 2627adc3a2bSChandler Carruth bool visitInstruction(Instruction &I); 2637adc3a2bSChandler Carruth 2647adc3a2bSChandler Carruth // Our visit overrides. 2657adc3a2bSChandler Carruth bool visitAlloca(AllocaInst &I); 2667adc3a2bSChandler Carruth bool visitPHI(PHINode &I); 2677adc3a2bSChandler Carruth bool visitGetElementPtr(GetElementPtrInst &I); 2687adc3a2bSChandler Carruth bool visitBitCast(BitCastInst &I); 2697adc3a2bSChandler Carruth bool visitPtrToInt(PtrToIntInst &I); 2707adc3a2bSChandler Carruth bool visitIntToPtr(IntToPtrInst &I); 2717adc3a2bSChandler Carruth bool visitCastInst(CastInst &I); 2727adc3a2bSChandler Carruth bool visitUnaryInstruction(UnaryInstruction &I); 2737adc3a2bSChandler Carruth bool visitCmpInst(CmpInst &I); 2747adc3a2bSChandler Carruth bool visitSub(BinaryOperator &I); 2757adc3a2bSChandler Carruth bool visitBinaryOperator(BinaryOperator &I); 2766cda33baSCraig Topper bool visitFNeg(UnaryOperator &I); 2777adc3a2bSChandler Carruth bool visitLoad(LoadInst &I); 2787adc3a2bSChandler Carruth bool visitStore(StoreInst &I); 2797adc3a2bSChandler Carruth bool visitExtractValue(ExtractValueInst &I); 2807adc3a2bSChandler Carruth bool visitInsertValue(InsertValueInst &I); 281652168a9SFedor Sergeev bool visitCallBase(CallBase &Call); 2827adc3a2bSChandler Carruth bool visitReturnInst(ReturnInst &RI); 2837adc3a2bSChandler Carruth bool visitBranchInst(BranchInst &BI); 2843ec848bcSHaicheng Wu bool visitSelectInst(SelectInst &SI); 2857adc3a2bSChandler Carruth bool visitSwitchInst(SwitchInst &SI); 2867adc3a2bSChandler Carruth bool visitIndirectBrInst(IndirectBrInst &IBI); 2877adc3a2bSChandler Carruth bool visitResumeInst(ResumeInst &RI); 2887adc3a2bSChandler Carruth bool visitCleanupReturnInst(CleanupReturnInst &RI); 2897adc3a2bSChandler Carruth bool visitCatchReturnInst(CatchReturnInst &RI); 2907adc3a2bSChandler Carruth bool visitUnreachableInst(UnreachableInst &I); 2917adc3a2bSChandler Carruth 2927adc3a2bSChandler Carruth public: 293ab6a6837SSean Silva CallAnalyzer(const TargetTransformInfo &TTI, 294aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 29512585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI, 2960812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE, 297652168a9SFedor Sergeev Function &Callee, CallBase &Call, const InlineParams &Params) 29812585b01SEaswaran Raman : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI), 2990812c5beSHaicheng Wu PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()), ORE(ORE), 300652168a9SFedor Sergeev CandidateCall(Call), Params(Params), Threshold(Params.DefaultThreshold), 301eeae45dcSFedor Sergeev ComputeFullInlineCost(OptComputeFullInlineCost || 3024924bb00SEaswaran Raman Params.ComputeFullInlineCost || ORE), 303eeae45dcSFedor Sergeev EnableLoadElimination(true) {} 3047adc3a2bSChandler Carruth 305652168a9SFedor Sergeev InlineResult analyzeCall(CallBase &Call); 3067adc3a2bSChandler Carruth 3077adc3a2bSChandler Carruth int getThreshold() { return Threshold; } 3087adc3a2bSChandler Carruth int getCost() { return Cost; } 3097adc3a2bSChandler Carruth 3107adc3a2bSChandler Carruth // Keep a bunch of stats about the cost savings found so we can print them 3117adc3a2bSChandler Carruth // out when debugging. 312eeae45dcSFedor Sergeev unsigned NumConstantArgs = 0; 313eeae45dcSFedor Sergeev unsigned NumConstantOffsetPtrArgs = 0; 314eeae45dcSFedor Sergeev unsigned NumAllocaArgs = 0; 315eeae45dcSFedor Sergeev unsigned NumConstantPtrCmps = 0; 316eeae45dcSFedor Sergeev unsigned NumConstantPtrDiffs = 0; 317eeae45dcSFedor Sergeev unsigned NumInstructionsSimplified = 0; 318eeae45dcSFedor Sergeev unsigned SROACostSavings = 0; 319eeae45dcSFedor Sergeev unsigned SROACostSavingsLost = 0; 3207adc3a2bSChandler Carruth 3217adc3a2bSChandler Carruth void dump(); 3227adc3a2bSChandler Carruth }; 3237adc3a2bSChandler Carruth 3247adc3a2bSChandler Carruth } // namespace 3257adc3a2bSChandler Carruth 3265f8f34e4SAdrian Prantl /// Test whether the given value is an Alloca-derived function argument. 3277adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) { 3287adc3a2bSChandler Carruth return SROAArgValues.count(V); 3297adc3a2bSChandler Carruth } 3307adc3a2bSChandler Carruth 3315f8f34e4SAdrian Prantl /// Lookup the SROA-candidate argument and cost iterator which V maps to. 3327adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate. 3337adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost( 3347adc3a2bSChandler Carruth Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) { 3357adc3a2bSChandler Carruth if (SROAArgValues.empty() || SROAArgCosts.empty()) 3367adc3a2bSChandler Carruth return false; 3377adc3a2bSChandler Carruth 3387adc3a2bSChandler Carruth DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V); 3397adc3a2bSChandler Carruth if (ArgIt == SROAArgValues.end()) 3407adc3a2bSChandler Carruth return false; 3417adc3a2bSChandler Carruth 3427adc3a2bSChandler Carruth Arg = ArgIt->second; 3437adc3a2bSChandler Carruth CostIt = SROAArgCosts.find(Arg); 3447adc3a2bSChandler Carruth return CostIt != SROAArgCosts.end(); 3457adc3a2bSChandler Carruth } 3467adc3a2bSChandler Carruth 3475f8f34e4SAdrian Prantl /// Disable SROA for the candidate marked by this cost iterator. 3487adc3a2bSChandler Carruth /// 3497adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost 3507adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement. 3517adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) { 3527adc3a2bSChandler Carruth // If we're no longer able to perform SROA we need to undo its cost savings 3537adc3a2bSChandler Carruth // and prevent subsequent analysis. 354eeae45dcSFedor Sergeev addCost(CostIt->second); 3557adc3a2bSChandler Carruth SROACostSavings -= CostIt->second; 3567adc3a2bSChandler Carruth SROACostSavingsLost += CostIt->second; 3577adc3a2bSChandler Carruth SROAArgCosts.erase(CostIt); 358a4461515SHaicheng Wu disableLoadElimination(); 3597adc3a2bSChandler Carruth } 3607adc3a2bSChandler Carruth 3615f8f34e4SAdrian Prantl /// If 'V' maps to a SROA candidate, disable SROA for it. 3627adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) { 3637adc3a2bSChandler Carruth Value *SROAArg; 3647adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 3657adc3a2bSChandler Carruth if (lookupSROAArgAndCost(V, SROAArg, CostIt)) 3667adc3a2bSChandler Carruth disableSROA(CostIt); 3677adc3a2bSChandler Carruth } 3687adc3a2bSChandler Carruth 3695f8f34e4SAdrian Prantl /// Accumulate the given cost for a particular SROA candidate. 3707adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 3717adc3a2bSChandler Carruth int InstructionCost) { 3727adc3a2bSChandler Carruth CostIt->second += InstructionCost; 3737adc3a2bSChandler Carruth SROACostSavings += InstructionCost; 3747adc3a2bSChandler Carruth } 3757adc3a2bSChandler Carruth 376a4461515SHaicheng Wu void CallAnalyzer::disableLoadElimination() { 377a4461515SHaicheng Wu if (EnableLoadElimination) { 378eeae45dcSFedor Sergeev addCost(LoadEliminationCost); 379b3689cabSHaicheng Wu LoadEliminationCost = 0; 380a4461515SHaicheng Wu EnableLoadElimination = false; 381a4461515SHaicheng Wu } 382a4461515SHaicheng Wu } 383a4461515SHaicheng Wu 3845f8f34e4SAdrian Prantl /// Accumulate a constant GEP offset into an APInt if possible. 3857adc3a2bSChandler Carruth /// 3867adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any 3877adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite. 3887adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) { 389945b7e5aSElena Demikhovsky unsigned IntPtrWidth = DL.getIndexTypeSizeInBits(GEP.getType()); 3907adc3a2bSChandler Carruth assert(IntPtrWidth == Offset.getBitWidth()); 3917adc3a2bSChandler Carruth 3927adc3a2bSChandler Carruth for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP); 3937adc3a2bSChandler Carruth GTI != GTE; ++GTI) { 3947adc3a2bSChandler Carruth ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand()); 3957adc3a2bSChandler Carruth if (!OpC) 3967adc3a2bSChandler Carruth if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand())) 3977adc3a2bSChandler Carruth OpC = dyn_cast<ConstantInt>(SimpleOp); 3987adc3a2bSChandler Carruth if (!OpC) 3997adc3a2bSChandler Carruth return false; 400567556aaSChad Rosier if (OpC->isZero()) 401567556aaSChad Rosier continue; 4027adc3a2bSChandler Carruth 4037adc3a2bSChandler Carruth // Handle a struct index, which adds its field offset to the pointer. 404ab85225bSPeter Collingbourne if (StructType *STy = GTI.getStructTypeOrNull()) { 4057adc3a2bSChandler Carruth unsigned ElementIdx = OpC->getZExtValue(); 4067adc3a2bSChandler Carruth const StructLayout *SL = DL.getStructLayout(STy); 4077adc3a2bSChandler Carruth Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx)); 4087adc3a2bSChandler Carruth continue; 4097adc3a2bSChandler Carruth } 4107adc3a2bSChandler Carruth 4117adc3a2bSChandler Carruth APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType())); 4127adc3a2bSChandler Carruth Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize; 4137adc3a2bSChandler Carruth } 4147adc3a2bSChandler Carruth return true; 4157adc3a2bSChandler Carruth } 4167adc3a2bSChandler Carruth 4175f8f34e4SAdrian Prantl /// Use TTI to check whether a GEP is free. 418201b191bSHaicheng Wu /// 419201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite. 420201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) { 42161c1bd5aSEvgeny Astigeevich SmallVector<Value *, 4> Operands; 42261c1bd5aSEvgeny Astigeevich Operands.push_back(GEP.getOperand(0)); 423201b191bSHaicheng Wu for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 424201b191bSHaicheng Wu if (Constant *SimpleOp = SimplifiedValues.lookup(*I)) 42561c1bd5aSEvgeny Astigeevich Operands.push_back(SimpleOp); 426201b191bSHaicheng Wu else 42761c1bd5aSEvgeny Astigeevich Operands.push_back(*I); 42861c1bd5aSEvgeny Astigeevich return TargetTransformInfo::TCC_Free == TTI.getUserCost(&GEP, Operands); 429201b191bSHaicheng Wu } 430201b191bSHaicheng Wu 4317adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) { 4327adc3a2bSChandler Carruth // Check whether inlining will turn a dynamic alloca into a static 4330f153424SSanjay Patel // alloca and handle that case. 4347adc3a2bSChandler Carruth if (I.isArrayAllocation()) { 4350f153424SSanjay Patel Constant *Size = SimplifiedValues.lookup(I.getArraySize()); 4360f153424SSanjay Patel if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) { 4377adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 43822eb80a1SEaswaran Raman AllocatedSize = SaturatingMultiplyAdd( 439*b302561bSGraham Hunter AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty).getFixedSize(), 440*b302561bSGraham Hunter AllocatedSize); 4417adc3a2bSChandler Carruth return Base::visitAlloca(I); 4427adc3a2bSChandler Carruth } 4437adc3a2bSChandler Carruth } 4447adc3a2bSChandler Carruth 4457adc3a2bSChandler Carruth // Accumulate the allocated size. 4467adc3a2bSChandler Carruth if (I.isStaticAlloca()) { 4477adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 448*b302561bSGraham Hunter AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty).getFixedSize(), 449*b302561bSGraham Hunter AllocatedSize); 4507adc3a2bSChandler Carruth } 4517adc3a2bSChandler Carruth 4527adc3a2bSChandler Carruth // We will happily inline static alloca instructions. 4537adc3a2bSChandler Carruth if (I.isStaticAlloca()) 4547adc3a2bSChandler Carruth return Base::visitAlloca(I); 4557adc3a2bSChandler Carruth 4567adc3a2bSChandler Carruth // FIXME: This is overly conservative. Dynamic allocas are inefficient for 4577adc3a2bSChandler Carruth // a variety of reasons, and so we would like to not inline them into 4587adc3a2bSChandler Carruth // functions which don't currently have a dynamic alloca. This simply 4597adc3a2bSChandler Carruth // disables inlining altogether in the presence of a dynamic alloca. 4607adc3a2bSChandler Carruth HasDynamicAlloca = true; 4617adc3a2bSChandler Carruth return false; 4627adc3a2bSChandler Carruth } 4637adc3a2bSChandler Carruth 4647adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) { 4657adc3a2bSChandler Carruth // FIXME: We need to propagate SROA *disabling* through phi nodes, even 4667adc3a2bSChandler Carruth // though we don't want to propagate it's bonuses. The idea is to disable 4677adc3a2bSChandler Carruth // SROA if it *might* be used in an inappropriate manner. 4687adc3a2bSChandler Carruth 4697adc3a2bSChandler Carruth // Phi nodes are always zero-cost. 47077f32994SBjorn Pettersson // FIXME: Pointer sizes may differ between different address spaces, so do we 47177f32994SBjorn Pettersson // need to use correct address space in the call to getPointerSizeInBits here? 47277f32994SBjorn Pettersson // Or could we skip the getPointerSizeInBits call completely? As far as I can 47377f32994SBjorn Pettersson // see the ZeroOffset is used as a dummy value, so we can probably use any 47477f32994SBjorn Pettersson // bit width for the ZeroOffset? 47577f32994SBjorn Pettersson APInt ZeroOffset = APInt::getNullValue(DL.getPointerSizeInBits(0)); 4763739e14aSHaicheng Wu bool CheckSROA = I.getType()->isPointerTy(); 4773739e14aSHaicheng Wu 4783739e14aSHaicheng Wu // Track the constant or pointer with constant offset we've seen so far. 4793739e14aSHaicheng Wu Constant *FirstC = nullptr; 4803739e14aSHaicheng Wu std::pair<Value *, APInt> FirstBaseAndOffset = {nullptr, ZeroOffset}; 4813739e14aSHaicheng Wu Value *FirstV = nullptr; 4823739e14aSHaicheng Wu 4833739e14aSHaicheng Wu for (unsigned i = 0, e = I.getNumIncomingValues(); i != e; ++i) { 4843739e14aSHaicheng Wu BasicBlock *Pred = I.getIncomingBlock(i); 4853739e14aSHaicheng Wu // If the incoming block is dead, skip the incoming block. 4863739e14aSHaicheng Wu if (DeadBlocks.count(Pred)) 4873739e14aSHaicheng Wu continue; 4883739e14aSHaicheng Wu // If the parent block of phi is not the known successor of the incoming 4893739e14aSHaicheng Wu // block, skip the incoming block. 4903739e14aSHaicheng Wu BasicBlock *KnownSuccessor = KnownSuccessors[Pred]; 4913739e14aSHaicheng Wu if (KnownSuccessor && KnownSuccessor != I.getParent()) 4923739e14aSHaicheng Wu continue; 4933739e14aSHaicheng Wu 4943739e14aSHaicheng Wu Value *V = I.getIncomingValue(i); 4953739e14aSHaicheng Wu // If the incoming value is this phi itself, skip the incoming value. 4963739e14aSHaicheng Wu if (&I == V) 4973739e14aSHaicheng Wu continue; 4983739e14aSHaicheng Wu 4993739e14aSHaicheng Wu Constant *C = dyn_cast<Constant>(V); 5003739e14aSHaicheng Wu if (!C) 5013739e14aSHaicheng Wu C = SimplifiedValues.lookup(V); 5023739e14aSHaicheng Wu 5033739e14aSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = {nullptr, ZeroOffset}; 5043739e14aSHaicheng Wu if (!C && CheckSROA) 5053739e14aSHaicheng Wu BaseAndOffset = ConstantOffsetPtrs.lookup(V); 5063739e14aSHaicheng Wu 5073739e14aSHaicheng Wu if (!C && !BaseAndOffset.first) 5083739e14aSHaicheng Wu // The incoming value is neither a constant nor a pointer with constant 5093739e14aSHaicheng Wu // offset, exit early. 5103739e14aSHaicheng Wu return true; 5113739e14aSHaicheng Wu 5123739e14aSHaicheng Wu if (FirstC) { 5133739e14aSHaicheng Wu if (FirstC == C) 5143739e14aSHaicheng Wu // If we've seen a constant incoming value before and it is the same 5153739e14aSHaicheng Wu // constant we see this time, continue checking the next incoming value. 5163739e14aSHaicheng Wu continue; 5173739e14aSHaicheng Wu // Otherwise early exit because we either see a different constant or saw 5183739e14aSHaicheng Wu // a constant before but we have a pointer with constant offset this time. 5193739e14aSHaicheng Wu return true; 5203739e14aSHaicheng Wu } 5213739e14aSHaicheng Wu 5223739e14aSHaicheng Wu if (FirstV) { 5233739e14aSHaicheng Wu // The same logic as above, but check pointer with constant offset here. 5243739e14aSHaicheng Wu if (FirstBaseAndOffset == BaseAndOffset) 5253739e14aSHaicheng Wu continue; 5263739e14aSHaicheng Wu return true; 5273739e14aSHaicheng Wu } 5283739e14aSHaicheng Wu 5293739e14aSHaicheng Wu if (C) { 5303739e14aSHaicheng Wu // This is the 1st time we've seen a constant, record it. 5313739e14aSHaicheng Wu FirstC = C; 5323739e14aSHaicheng Wu continue; 5333739e14aSHaicheng Wu } 5343739e14aSHaicheng Wu 5353739e14aSHaicheng Wu // The remaining case is that this is the 1st time we've seen a pointer with 5363739e14aSHaicheng Wu // constant offset, record it. 5373739e14aSHaicheng Wu FirstV = V; 5383739e14aSHaicheng Wu FirstBaseAndOffset = BaseAndOffset; 5393739e14aSHaicheng Wu } 5403739e14aSHaicheng Wu 5413739e14aSHaicheng Wu // Check if we can map phi to a constant. 5423739e14aSHaicheng Wu if (FirstC) { 5433739e14aSHaicheng Wu SimplifiedValues[&I] = FirstC; 5443739e14aSHaicheng Wu return true; 5453739e14aSHaicheng Wu } 5463739e14aSHaicheng Wu 5473739e14aSHaicheng Wu // Check if we can map phi to a pointer with constant offset. 5483739e14aSHaicheng Wu if (FirstBaseAndOffset.first) { 5493739e14aSHaicheng Wu ConstantOffsetPtrs[&I] = FirstBaseAndOffset; 5503739e14aSHaicheng Wu 5513739e14aSHaicheng Wu Value *SROAArg; 5523739e14aSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 5533739e14aSHaicheng Wu if (lookupSROAArgAndCost(FirstV, SROAArg, CostIt)) 5543739e14aSHaicheng Wu SROAArgValues[&I] = SROAArg; 5553739e14aSHaicheng Wu } 5563739e14aSHaicheng Wu 5577adc3a2bSChandler Carruth return true; 5587adc3a2bSChandler Carruth } 5597adc3a2bSChandler Carruth 5605f8f34e4SAdrian Prantl /// Check we can fold GEPs of constant-offset call site argument pointers. 561d3558b5dSEvgeny Astigeevich /// This requires target data and inbounds GEPs. 562d3558b5dSEvgeny Astigeevich /// 563d3558b5dSEvgeny Astigeevich /// \return true if the specified GEP can be folded. 564d3558b5dSEvgeny Astigeevich bool CallAnalyzer::canFoldInboundsGEP(GetElementPtrInst &I) { 565d3558b5dSEvgeny Astigeevich // Check if we have a base + offset for the pointer. 566d3558b5dSEvgeny Astigeevich std::pair<Value *, APInt> BaseAndOffset = 567d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs.lookup(I.getPointerOperand()); 568d3558b5dSEvgeny Astigeevich if (!BaseAndOffset.first) 569d3558b5dSEvgeny Astigeevich return false; 570d3558b5dSEvgeny Astigeevich 571d3558b5dSEvgeny Astigeevich // Check if the offset of this GEP is constant, and if so accumulate it 572d3558b5dSEvgeny Astigeevich // into Offset. 573d3558b5dSEvgeny Astigeevich if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) 574d3558b5dSEvgeny Astigeevich return false; 575d3558b5dSEvgeny Astigeevich 576d3558b5dSEvgeny Astigeevich // Add the result as a new mapping to Base + Offset. 577d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs[&I] = BaseAndOffset; 578d3558b5dSEvgeny Astigeevich 579d3558b5dSEvgeny Astigeevich return true; 580d3558b5dSEvgeny Astigeevich } 581d3558b5dSEvgeny Astigeevich 5827adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) { 5837adc3a2bSChandler Carruth Value *SROAArg; 5847adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 585567556aaSChad Rosier bool SROACandidate = 586567556aaSChad Rosier lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt); 5877adc3a2bSChandler Carruth 588a8b9cdc9SEaswaran Raman // Lambda to check whether a GEP's indices are all constant. 589a8b9cdc9SEaswaran Raman auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) { 590a8b9cdc9SEaswaran Raman for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 591a8b9cdc9SEaswaran Raman if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I)) 592a8b9cdc9SEaswaran Raman return false; 593a8b9cdc9SEaswaran Raman return true; 594a8b9cdc9SEaswaran Raman }; 595a8b9cdc9SEaswaran Raman 596d3558b5dSEvgeny Astigeevich if ((I.isInBounds() && canFoldInboundsGEP(I)) || IsGEPOffsetConstant(I)) { 5977adc3a2bSChandler Carruth if (SROACandidate) 5987adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5997adc3a2bSChandler Carruth 6007adc3a2bSChandler Carruth // Constant GEPs are modeled as free. 6017adc3a2bSChandler Carruth return true; 6027adc3a2bSChandler Carruth } 6037adc3a2bSChandler Carruth 6047adc3a2bSChandler Carruth // Variable GEPs will require math and will disable SROA. 6057adc3a2bSChandler Carruth if (SROACandidate) 6067adc3a2bSChandler Carruth disableSROA(CostIt); 607201b191bSHaicheng Wu return isGEPFree(I); 6087adc3a2bSChandler Carruth } 6097adc3a2bSChandler Carruth 610617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues. 611617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the 612617f6364SEaswaran Raman /// instruction when all the operands are constants. 613617f6364SEaswaran Raman template <typename Callable> 614617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) { 615617f6364SEaswaran Raman SmallVector<Constant *, 2> COps; 616617f6364SEaswaran Raman for (Value *Op : I.operands()) { 617617f6364SEaswaran Raman Constant *COp = dyn_cast<Constant>(Op); 6187adc3a2bSChandler Carruth if (!COp) 619617f6364SEaswaran Raman COp = SimplifiedValues.lookup(Op); 620617f6364SEaswaran Raman if (!COp) 621617f6364SEaswaran Raman return false; 622617f6364SEaswaran Raman COps.push_back(COp); 623617f6364SEaswaran Raman } 624617f6364SEaswaran Raman auto *C = Evaluate(COps); 625617f6364SEaswaran Raman if (!C) 626617f6364SEaswaran Raman return false; 6277adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 6287adc3a2bSChandler Carruth return true; 6297adc3a2bSChandler Carruth } 6307adc3a2bSChandler Carruth 631617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) { 632617f6364SEaswaran Raman // Propagate constants through bitcasts. 633617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 634617f6364SEaswaran Raman return ConstantExpr::getBitCast(COps[0], I.getType()); 635617f6364SEaswaran Raman })) 636617f6364SEaswaran Raman return true; 637617f6364SEaswaran Raman 6387adc3a2bSChandler Carruth // Track base/offsets through casts 639567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 640567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 6417adc3a2bSChandler Carruth // Casts don't change the offset, just wrap it up. 6427adc3a2bSChandler Carruth if (BaseAndOffset.first) 6437adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6447adc3a2bSChandler Carruth 6457adc3a2bSChandler Carruth // Also look for SROA candidates here. 6467adc3a2bSChandler Carruth Value *SROAArg; 6477adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6487adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 6497adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6507adc3a2bSChandler Carruth 6517adc3a2bSChandler Carruth // Bitcasts are always zero cost. 6527adc3a2bSChandler Carruth return true; 6537adc3a2bSChandler Carruth } 6547adc3a2bSChandler Carruth 6557adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) { 6567adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 657617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 658617f6364SEaswaran Raman return ConstantExpr::getPtrToInt(COps[0], I.getType()); 659617f6364SEaswaran Raman })) 6607adc3a2bSChandler Carruth return true; 6617adc3a2bSChandler Carruth 6627adc3a2bSChandler Carruth // Track base/offset pairs when converted to a plain integer provided the 6637adc3a2bSChandler Carruth // integer is large enough to represent the pointer. 6647adc3a2bSChandler Carruth unsigned IntegerSize = I.getType()->getScalarSizeInBits(); 66577f32994SBjorn Pettersson unsigned AS = I.getOperand(0)->getType()->getPointerAddressSpace(); 66677f32994SBjorn Pettersson if (IntegerSize >= DL.getPointerSizeInBits(AS)) { 667567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 668567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 6697adc3a2bSChandler Carruth if (BaseAndOffset.first) 6707adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 6717adc3a2bSChandler Carruth } 6727adc3a2bSChandler Carruth 6737adc3a2bSChandler Carruth // This is really weird. Technically, ptrtoint will disable SROA. However, 6747adc3a2bSChandler Carruth // unless that ptrtoint is *used* somewhere in the live basic blocks after 6757adc3a2bSChandler Carruth // inlining, it will be nuked, and SROA should proceed. All of the uses which 6767adc3a2bSChandler Carruth // would block SROA would also block SROA if applied directly to a pointer, 6777adc3a2bSChandler Carruth // and so we can just add the integer in here. The only places where SROA is 6787adc3a2bSChandler Carruth // preserved either cannot fire on an integer, or won't in-and-of themselves 6797adc3a2bSChandler Carruth // disable SROA (ext) w/o some later use that we would see and disable. 6807adc3a2bSChandler Carruth Value *SROAArg; 6817adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 6827adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 6837adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 6847adc3a2bSChandler Carruth 6857adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 6867adc3a2bSChandler Carruth } 6877adc3a2bSChandler Carruth 6887adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) { 6897adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 690617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 691617f6364SEaswaran Raman return ConstantExpr::getIntToPtr(COps[0], I.getType()); 692617f6364SEaswaran Raman })) 6937adc3a2bSChandler Carruth return true; 6947adc3a2bSChandler Carruth 6957adc3a2bSChandler Carruth // Track base/offset pairs when round-tripped through a pointer without 6967adc3a2bSChandler Carruth // modifications provided the integer is not too large. 6977adc3a2bSChandler Carruth Value *Op = I.getOperand(0); 6987adc3a2bSChandler Carruth unsigned IntegerSize = Op->getType()->getScalarSizeInBits(); 69977f32994SBjorn Pettersson if (IntegerSize <= DL.getPointerTypeSizeInBits(I.getType())) { 7007adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op); 7017adc3a2bSChandler Carruth if (BaseAndOffset.first) 7027adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 7037adc3a2bSChandler Carruth } 7047adc3a2bSChandler Carruth 7057adc3a2bSChandler Carruth // "Propagate" SROA here in the same manner as we do for ptrtoint above. 7067adc3a2bSChandler Carruth Value *SROAArg; 7077adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 7087adc3a2bSChandler Carruth if (lookupSROAArgAndCost(Op, SROAArg, CostIt)) 7097adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 7107adc3a2bSChandler Carruth 7117adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 7127adc3a2bSChandler Carruth } 7137adc3a2bSChandler Carruth 7147adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) { 715ab53c5e5SCraig Topper // Propagate constants through casts. 716617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 717617f6364SEaswaran Raman return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType()); 718617f6364SEaswaran Raman })) 7197adc3a2bSChandler Carruth return true; 7207adc3a2bSChandler Carruth 7217adc3a2bSChandler Carruth // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere. 7227adc3a2bSChandler Carruth disableSROA(I.getOperand(0)); 7237adc3a2bSChandler Carruth 72439ed9a60SEli Friedman // If this is a floating-point cast, and the target says this operation 72539ed9a60SEli Friedman // is expensive, this may eventually become a library call. Treat the cost 72639ed9a60SEli Friedman // as such. 72739ed9a60SEli Friedman switch (I.getOpcode()) { 72839ed9a60SEli Friedman case Instruction::FPTrunc: 72939ed9a60SEli Friedman case Instruction::FPExt: 73039ed9a60SEli Friedman case Instruction::UIToFP: 73139ed9a60SEli Friedman case Instruction::SIToFP: 73239ed9a60SEli Friedman case Instruction::FPToUI: 73339ed9a60SEli Friedman case Instruction::FPToSI: 73439ed9a60SEli Friedman if (TTI.getFPOpCost(I.getType()) == TargetTransformInfo::TCC_Expensive) 735eeae45dcSFedor Sergeev addCost(InlineConstants::CallPenalty); 7364dc0b1acSReid Kleckner break; 73739ed9a60SEli Friedman default: 73839ed9a60SEli Friedman break; 73939ed9a60SEli Friedman } 74039ed9a60SEli Friedman 7417adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 7427adc3a2bSChandler Carruth } 7437adc3a2bSChandler Carruth 7447adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) { 7457adc3a2bSChandler Carruth Value *Operand = I.getOperand(0); 746617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 747617f6364SEaswaran Raman return ConstantFoldInstOperands(&I, COps[0], DL); 748617f6364SEaswaran Raman })) 7497adc3a2bSChandler Carruth return true; 7507adc3a2bSChandler Carruth 751ab53c5e5SCraig Topper // Disable any SROA on the argument to arbitrary unary instructions. 7527adc3a2bSChandler Carruth disableSROA(Operand); 7537adc3a2bSChandler Carruth 7547adc3a2bSChandler Carruth return false; 7557adc3a2bSChandler Carruth } 7567adc3a2bSChandler Carruth 7577adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) { 758652168a9SFedor Sergeev return CandidateCall.paramHasAttr(A->getArgNo(), Attr); 7597adc3a2bSChandler Carruth } 7607adc3a2bSChandler Carruth 7617adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) { 7627adc3a2bSChandler Carruth // Does the *call site* have the NonNull attribute set on an argument? We 7637adc3a2bSChandler Carruth // use the attribute on the call site to memoize any analysis done in the 7647adc3a2bSChandler Carruth // caller. This will also trip if the callee function has a non-null 7657adc3a2bSChandler Carruth // parameter attribute, but that's a less interesting case because hopefully 7667adc3a2bSChandler Carruth // the callee would already have been simplified based on that. 7677adc3a2bSChandler Carruth if (Argument *A = dyn_cast<Argument>(V)) 7687adc3a2bSChandler Carruth if (paramHasAttr(A, Attribute::NonNull)) 7697adc3a2bSChandler Carruth return true; 7707adc3a2bSChandler Carruth 7717adc3a2bSChandler Carruth // Is this an alloca in the caller? This is distinct from the attribute case 7727adc3a2bSChandler Carruth // above because attributes aren't updated within the inliner itself and we 7737adc3a2bSChandler Carruth // always want to catch the alloca derived case. 7747adc3a2bSChandler Carruth if (isAllocaDerivedArg(V)) 7757adc3a2bSChandler Carruth // We can actually predict the result of comparisons between an 7767adc3a2bSChandler Carruth // alloca-derived value and null. Note that this fires regardless of 7777adc3a2bSChandler Carruth // SROA firing. 7787adc3a2bSChandler Carruth return true; 7797adc3a2bSChandler Carruth 7807adc3a2bSChandler Carruth return false; 7817adc3a2bSChandler Carruth } 7827adc3a2bSChandler Carruth 783652168a9SFedor Sergeev bool CallAnalyzer::allowSizeGrowth(CallBase &Call) { 7849a3fc17aSEaswaran Raman // If the normal destination of the invoke or the parent block of the call 7859a3fc17aSEaswaran Raman // site is unreachable-terminated, there is little point in inlining this 7869a3fc17aSEaswaran Raman // unless there is literally zero cost. 7879a3fc17aSEaswaran Raman // FIXME: Note that it is possible that an unreachable-terminated block has a 7889a3fc17aSEaswaran Raman // hot entry. For example, in below scenario inlining hot_call_X() may be 7899a3fc17aSEaswaran Raman // beneficial : 7909a3fc17aSEaswaran Raman // main() { 7919a3fc17aSEaswaran Raman // hot_call_1(); 7929a3fc17aSEaswaran Raman // ... 7939a3fc17aSEaswaran Raman // hot_call_N() 7949a3fc17aSEaswaran Raman // exit(0); 7959a3fc17aSEaswaran Raman // } 7969a3fc17aSEaswaran Raman // For now, we are not handling this corner case here as it is rare in real 7979a3fc17aSEaswaran Raman // code. In future, we should elaborate this based on BPI and BFI in more 7989a3fc17aSEaswaran Raman // general threshold adjusting heuristics in updateThreshold(). 799652168a9SFedor Sergeev if (InvokeInst *II = dyn_cast<InvokeInst>(&Call)) { 8009a3fc17aSEaswaran Raman if (isa<UnreachableInst>(II->getNormalDest()->getTerminator())) 8019a3fc17aSEaswaran Raman return false; 802652168a9SFedor Sergeev } else if (isa<UnreachableInst>(Call.getParent()->getTerminator())) 8039a3fc17aSEaswaran Raman return false; 8049a3fc17aSEaswaran Raman 8059a3fc17aSEaswaran Raman return true; 8069a3fc17aSEaswaran Raman } 8079a3fc17aSEaswaran Raman 808652168a9SFedor Sergeev bool CallAnalyzer::isColdCallSite(CallBase &Call, 809652168a9SFedor Sergeev BlockFrequencyInfo *CallerBFI) { 810c5fa6358SEaswaran Raman // If global profile summary is available, then callsite's coldness is 811c5fa6358SEaswaran Raman // determined based on that. 812bba762a1SChandler Carruth if (PSI && PSI->hasProfileSummary()) 813652168a9SFedor Sergeev return PSI->isColdCallSite(CallSite(&Call), CallerBFI); 814bba762a1SChandler Carruth 815bba762a1SChandler Carruth // Otherwise we need BFI to be available. 816c5fa6358SEaswaran Raman if (!CallerBFI) 817c5fa6358SEaswaran Raman return false; 818c5fa6358SEaswaran Raman 819bba762a1SChandler Carruth // Determine if the callsite is cold relative to caller's entry. We could 820bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 821bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 822bba762a1SChandler Carruth // profiles. 823c5fa6358SEaswaran Raman const BranchProbability ColdProb(ColdCallSiteRelFreq, 100); 824652168a9SFedor Sergeev auto CallSiteBB = Call.getParent(); 825c5fa6358SEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB); 826c5fa6358SEaswaran Raman auto CallerEntryFreq = 827652168a9SFedor Sergeev CallerBFI->getBlockFreq(&(Call.getCaller()->getEntryBlock())); 828c5fa6358SEaswaran Raman return CallSiteFreq < CallerEntryFreq * ColdProb; 829c5fa6358SEaswaran Raman } 830c5fa6358SEaswaran Raman 831974d4eeaSEaswaran Raman Optional<int> 832652168a9SFedor Sergeev CallAnalyzer::getHotCallSiteThreshold(CallBase &Call, 833974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI) { 834bba762a1SChandler Carruth 835974d4eeaSEaswaran Raman // If global profile summary is available, then callsite's hotness is 836974d4eeaSEaswaran Raman // determined based on that. 837652168a9SFedor Sergeev if (PSI && PSI->hasProfileSummary() && 838652168a9SFedor Sergeev PSI->isHotCallSite(CallSite(&Call), CallerBFI)) 839bba762a1SChandler Carruth return Params.HotCallSiteThreshold; 840974d4eeaSEaswaran Raman 841bba762a1SChandler Carruth // Otherwise we need BFI to be available and to have a locally hot callsite 842bba762a1SChandler Carruth // threshold. 843bba762a1SChandler Carruth if (!CallerBFI || !Params.LocallyHotCallSiteThreshold) 844974d4eeaSEaswaran Raman return None; 845974d4eeaSEaswaran Raman 846bba762a1SChandler Carruth // Determine if the callsite is hot relative to caller's entry. We could 847bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 848bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 849bba762a1SChandler Carruth // profiles. 850652168a9SFedor Sergeev auto CallSiteBB = Call.getParent(); 851974d4eeaSEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB).getFrequency(); 852974d4eeaSEaswaran Raman auto CallerEntryFreq = CallerBFI->getEntryFreq(); 853974d4eeaSEaswaran Raman if (CallSiteFreq >= CallerEntryFreq * HotCallSiteRelFreq) 854bba762a1SChandler Carruth return Params.LocallyHotCallSiteThreshold; 855bba762a1SChandler Carruth 856bba762a1SChandler Carruth // Otherwise treat it normally. 857974d4eeaSEaswaran Raman return None; 858974d4eeaSEaswaran Raman } 859974d4eeaSEaswaran Raman 860652168a9SFedor Sergeev void CallAnalyzer::updateThreshold(CallBase &Call, Function &Callee) { 8619a3fc17aSEaswaran Raman // If no size growth is allowed for this inlining, set Threshold to 0. 862652168a9SFedor Sergeev if (!allowSizeGrowth(Call)) { 8639a3fc17aSEaswaran Raman Threshold = 0; 8649a3fc17aSEaswaran Raman return; 8659a3fc17aSEaswaran Raman } 8669a3fc17aSEaswaran Raman 867652168a9SFedor Sergeev Function *Caller = Call.getCaller(); 8681c57cc2bSEaswaran Raman 8691c57cc2bSEaswaran Raman // return min(A, B) if B is valid. 8701c57cc2bSEaswaran Raman auto MinIfValid = [](int A, Optional<int> B) { 8711c57cc2bSEaswaran Raman return B ? std::min(A, B.getValue()) : A; 8721c57cc2bSEaswaran Raman }; 8731c57cc2bSEaswaran Raman 8740d58fcacSEaswaran Raman // return max(A, B) if B is valid. 8750d58fcacSEaswaran Raman auto MaxIfValid = [](int A, Optional<int> B) { 8760d58fcacSEaswaran Raman return B ? std::max(A, B.getValue()) : A; 8770d58fcacSEaswaran Raman }; 8780d58fcacSEaswaran Raman 87951b809bfSEaswaran Raman // Various bonus percentages. These are multiplied by Threshold to get the 88051b809bfSEaswaran Raman // bonus values. 88151b809bfSEaswaran Raman // SingleBBBonus: This bonus is applied if the callee has a single reachable 88251b809bfSEaswaran Raman // basic block at the given callsite context. This is speculatively applied 88351b809bfSEaswaran Raman // and withdrawn if more than one basic block is seen. 88451b809bfSEaswaran Raman // 88551b809bfSEaswaran Raman // LstCallToStaticBonus: This large bonus is applied to ensure the inlining 88651b809bfSEaswaran Raman // of the last call to a static function as inlining such functions is 88751b809bfSEaswaran Raman // guaranteed to reduce code size. 88851b809bfSEaswaran Raman // 88951b809bfSEaswaran Raman // These bonus percentages may be set to 0 based on properties of the caller 89051b809bfSEaswaran Raman // and the callsite. 89151b809bfSEaswaran Raman int SingleBBBonusPercent = 50; 892d912a9baSDaniil Fukalov int VectorBonusPercent = TTI.getInlinerVectorBonusPercent(); 89302647f73SJordan Rupprecht int LastCallToStaticBonus = InlineConstants::LastCallToStaticBonus; 89451b809bfSEaswaran Raman 89551b809bfSEaswaran Raman // Lambda to set all the above bonus and bonus percentages to 0. 89651b809bfSEaswaran Raman auto DisallowAllBonuses = [&]() { 89751b809bfSEaswaran Raman SingleBBBonusPercent = 0; 89851b809bfSEaswaran Raman VectorBonusPercent = 0; 89951b809bfSEaswaran Raman LastCallToStaticBonus = 0; 90051b809bfSEaswaran Raman }; 90151b809bfSEaswaran Raman 9021c57cc2bSEaswaran Raman // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available 9031c57cc2bSEaswaran Raman // and reduce the threshold if the caller has the necessary attribute. 90485bd3978SEvandro Menezes if (Caller->hasMinSize()) { 9051c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold); 90651b809bfSEaswaran Raman // For minsize, we want to disable the single BB bonus and the vector 90751b809bfSEaswaran Raman // bonuses, but not the last-call-to-static bonus. Inlining the last call to 90851b809bfSEaswaran Raman // a static function will, at the minimum, eliminate the parameter setup and 90951b809bfSEaswaran Raman // call/return instructions. 91051b809bfSEaswaran Raman SingleBBBonusPercent = 0; 91151b809bfSEaswaran Raman VectorBonusPercent = 0; 91285bd3978SEvandro Menezes } else if (Caller->hasOptSize()) 9131c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptSizeThreshold); 914f4bb2f0dSEaswaran Raman 915e08b139dSEaswaran Raman // Adjust the threshold based on inlinehint attribute and profile based 916e08b139dSEaswaran Raman // hotness information if the caller does not have MinSize attribute. 91785bd3978SEvandro Menezes if (!Caller->hasMinSize()) { 918e08b139dSEaswaran Raman if (Callee.hasFnAttribute(Attribute::InlineHint)) 9190d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 920bba762a1SChandler Carruth 9213cd1479cSEaswaran Raman // FIXME: After switching to the new passmanager, simplify the logic below 922bba762a1SChandler Carruth // by checking only the callsite hotness/coldness as we will reliably 923bba762a1SChandler Carruth // have local profile information. 9243cd1479cSEaswaran Raman // 925bba762a1SChandler Carruth // Callsite hotness and coldness can be determined if sample profile is 926bba762a1SChandler Carruth // used (which adds hotness metadata to calls) or if caller's 927bba762a1SChandler Carruth // BlockFrequencyInfo is available. 928bba762a1SChandler Carruth BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr; 929652168a9SFedor Sergeev auto HotCallSiteThreshold = getHotCallSiteThreshold(Call, CallerBFI); 93085bd3978SEvandro Menezes if (!Caller->hasOptSize() && HotCallSiteThreshold) { 931d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Hot callsite.\n"); 932974d4eeaSEaswaran Raman // FIXME: This should update the threshold only if it exceeds the 933974d4eeaSEaswaran Raman // current threshold, but AutoFDO + ThinLTO currently relies on this 934974d4eeaSEaswaran Raman // behavior to prevent inlining of hot callsites during ThinLTO 935974d4eeaSEaswaran Raman // compile phase. 936974d4eeaSEaswaran Raman Threshold = HotCallSiteThreshold.getValue(); 937652168a9SFedor Sergeev } else if (isColdCallSite(Call, CallerBFI)) { 938d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Cold callsite.\n"); 93951b809bfSEaswaran Raman // Do not apply bonuses for a cold callsite including the 94051b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 94151b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 94251b809bfSEaswaran Raman // preventing it from being inlined. 94351b809bfSEaswaran Raman DisallowAllBonuses(); 9443cd1479cSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold); 945bba762a1SChandler Carruth } else if (PSI) { 946bba762a1SChandler Carruth // Use callee's global profile information only if we have no way of 947bba762a1SChandler Carruth // determining this via callsite information. 9483cd1479cSEaswaran Raman if (PSI->isFunctionEntryHot(&Callee)) { 949d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Hot callee.\n"); 950e08b139dSEaswaran Raman // If callsite hotness can not be determined, we may still know 951e08b139dSEaswaran Raman // that the callee is hot and treat it as a weaker hint for threshold 952e08b139dSEaswaran Raman // increase. 953e08b139dSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 954e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryCold(&Callee)) { 955d34e60caSNicola Zaghen LLVM_DEBUG(dbgs() << "Cold callee.\n"); 95651b809bfSEaswaran Raman // Do not apply bonuses for a cold callee including the 95751b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 95851b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 95951b809bfSEaswaran Raman // preventing it from being inlined. 96051b809bfSEaswaran Raman DisallowAllBonuses(); 9611c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdThreshold); 962e08b139dSEaswaran Raman } 963e08b139dSEaswaran Raman } 964e08b139dSEaswaran Raman } 9658650a4daSJustin Lebar 96602647f73SJordan Rupprecht // Finally, take the target-specific inlining threshold multiplier into 96702647f73SJordan Rupprecht // account. 9688650a4daSJustin Lebar Threshold *= TTI.getInliningThresholdMultiplier(); 96951b809bfSEaswaran Raman 97051b809bfSEaswaran Raman SingleBBBonus = Threshold * SingleBBBonusPercent / 100; 97151b809bfSEaswaran Raman VectorBonus = Threshold * VectorBonusPercent / 100; 97251b809bfSEaswaran Raman 97302647f73SJordan Rupprecht bool OnlyOneCallAndLocalLinkage = 97402647f73SJordan Rupprecht F.hasLocalLinkage() && F.hasOneUse() && &F == Call.getCalledFunction(); 97502647f73SJordan Rupprecht // If there is only one call of the function, and it has internal linkage, 97602647f73SJordan Rupprecht // the cost of inlining it drops dramatically. It may seem odd to update 97702647f73SJordan Rupprecht // Cost in updateThreshold, but the bonus depends on the logic in this method. 97802647f73SJordan Rupprecht if (OnlyOneCallAndLocalLinkage) 97902647f73SJordan Rupprecht Cost -= LastCallToStaticBonus; 980f4bb2f0dSEaswaran Raman } 981f4bb2f0dSEaswaran Raman 9827adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) { 9837adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 9847adc3a2bSChandler Carruth // First try to handle simplified comparisons. 985617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 986617f6364SEaswaran Raman return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]); 987617f6364SEaswaran Raman })) 9887adc3a2bSChandler Carruth return true; 9897adc3a2bSChandler Carruth 9907adc3a2bSChandler Carruth if (I.getOpcode() == Instruction::FCmp) 9917adc3a2bSChandler Carruth return false; 9927adc3a2bSChandler Carruth 9937adc3a2bSChandler Carruth // Otherwise look for a comparison between constant offset pointers with 9947adc3a2bSChandler Carruth // a common base. 9957adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 9967adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 9977adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 9987adc3a2bSChandler Carruth if (LHSBase) { 9997adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 10007adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 10017adc3a2bSChandler Carruth // We have common bases, fold the icmp to a constant based on the 10027adc3a2bSChandler Carruth // offsets. 10037adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 10047adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 10057adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) { 10067adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 10077adc3a2bSChandler Carruth ++NumConstantPtrCmps; 10087adc3a2bSChandler Carruth return true; 10097adc3a2bSChandler Carruth } 10107adc3a2bSChandler Carruth } 10117adc3a2bSChandler Carruth } 10127adc3a2bSChandler Carruth 10137adc3a2bSChandler Carruth // If the comparison is an equality comparison with null, we can simplify it 10147adc3a2bSChandler Carruth // if we know the value (argument) can't be null 10157adc3a2bSChandler Carruth if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) && 10167adc3a2bSChandler Carruth isKnownNonNullInCallee(I.getOperand(0))) { 10177adc3a2bSChandler Carruth bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE; 10187adc3a2bSChandler Carruth SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType()) 10197adc3a2bSChandler Carruth : ConstantInt::getFalse(I.getType()); 10207adc3a2bSChandler Carruth return true; 10217adc3a2bSChandler Carruth } 10227adc3a2bSChandler Carruth // Finally check for SROA candidates in comparisons. 10237adc3a2bSChandler Carruth Value *SROAArg; 10247adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 10257adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) { 10267adc3a2bSChandler Carruth if (isa<ConstantPointerNull>(I.getOperand(1))) { 10277adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 10287adc3a2bSChandler Carruth return true; 10297adc3a2bSChandler Carruth } 10307adc3a2bSChandler Carruth 10317adc3a2bSChandler Carruth disableSROA(CostIt); 10327adc3a2bSChandler Carruth } 10337adc3a2bSChandler Carruth 10347adc3a2bSChandler Carruth return false; 10357adc3a2bSChandler Carruth } 10367adc3a2bSChandler Carruth 10377adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) { 10387adc3a2bSChandler Carruth // Try to handle a special case: we can fold computing the difference of two 10397adc3a2bSChandler Carruth // constant-related pointers. 10407adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 10417adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 10427adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 10437adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 10447adc3a2bSChandler Carruth if (LHSBase) { 10457adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 10467adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 10477adc3a2bSChandler Carruth // We have common bases, fold the subtract to a constant based on the 10487adc3a2bSChandler Carruth // offsets. 10497adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 10507adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 10517adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) { 10527adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 10537adc3a2bSChandler Carruth ++NumConstantPtrDiffs; 10547adc3a2bSChandler Carruth return true; 10557adc3a2bSChandler Carruth } 10567adc3a2bSChandler Carruth } 10577adc3a2bSChandler Carruth } 10587adc3a2bSChandler Carruth 10597adc3a2bSChandler Carruth // Otherwise, fall back to the generic logic for simplifying and handling 10607adc3a2bSChandler Carruth // instructions. 10617adc3a2bSChandler Carruth return Base::visitSub(I); 10627adc3a2bSChandler Carruth } 10637adc3a2bSChandler Carruth 10647adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) { 10657adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 10666d14dfe8SHaicheng Wu Constant *CLHS = dyn_cast<Constant>(LHS); 10676d14dfe8SHaicheng Wu if (!CLHS) 10686d14dfe8SHaicheng Wu CLHS = SimplifiedValues.lookup(LHS); 10696d14dfe8SHaicheng Wu Constant *CRHS = dyn_cast<Constant>(RHS); 10706d14dfe8SHaicheng Wu if (!CRHS) 10716d14dfe8SHaicheng Wu CRHS = SimplifiedValues.lookup(RHS); 10726d14dfe8SHaicheng Wu 10737adc3a2bSChandler Carruth Value *SimpleV = nullptr; 10747adc3a2bSChandler Carruth if (auto FI = dyn_cast<FPMathOperator>(&I)) 1075565c5432SJay Foad SimpleV = SimplifyBinOp(I.getOpcode(), CLHS ? CLHS : LHS, 10766d14dfe8SHaicheng Wu CRHS ? CRHS : RHS, FI->getFastMathFlags(), DL); 10777adc3a2bSChandler Carruth else 10786d14dfe8SHaicheng Wu SimpleV = 10796d14dfe8SHaicheng Wu SimplifyBinOp(I.getOpcode(), CLHS ? CLHS : LHS, CRHS ? CRHS : RHS, DL); 10807adc3a2bSChandler Carruth 10816d14dfe8SHaicheng Wu if (Constant *C = dyn_cast_or_null<Constant>(SimpleV)) 10826d14dfe8SHaicheng Wu SimplifiedValues[&I] = C; 10836d14dfe8SHaicheng Wu 10846d14dfe8SHaicheng Wu if (SimpleV) 10857adc3a2bSChandler Carruth return true; 10867adc3a2bSChandler Carruth 10877adc3a2bSChandler Carruth // Disable any SROA on arguments to arbitrary, unsimplified binary operators. 10887adc3a2bSChandler Carruth disableSROA(LHS); 10897adc3a2bSChandler Carruth disableSROA(RHS); 10907adc3a2bSChandler Carruth 109139ed9a60SEli Friedman // If the instruction is floating point, and the target says this operation 109239ed9a60SEli Friedman // is expensive, this may eventually become a library call. Treat the cost 10937cebf0afSCraig Topper // as such. Unless it's fneg which can be implemented with an xor. 10947cebf0afSCraig Topper using namespace llvm::PatternMatch; 109539ed9a60SEli Friedman if (I.getType()->isFloatingPointTy() && 10967cebf0afSCraig Topper TTI.getFPOpCost(I.getType()) == TargetTransformInfo::TCC_Expensive && 10977cebf0afSCraig Topper !match(&I, m_FNeg(m_Value()))) 1098eeae45dcSFedor Sergeev addCost(InlineConstants::CallPenalty); 109939ed9a60SEli Friedman 11007adc3a2bSChandler Carruth return false; 11017adc3a2bSChandler Carruth } 11027adc3a2bSChandler Carruth 11036cda33baSCraig Topper bool CallAnalyzer::visitFNeg(UnaryOperator &I) { 11046cda33baSCraig Topper Value *Op = I.getOperand(0); 11056cda33baSCraig Topper Constant *COp = dyn_cast<Constant>(Op); 11066cda33baSCraig Topper if (!COp) 11076cda33baSCraig Topper COp = SimplifiedValues.lookup(Op); 11086cda33baSCraig Topper 11096cda33baSCraig Topper Value *SimpleV = SimplifyFNegInst(COp ? COp : Op, 11106cda33baSCraig Topper cast<FPMathOperator>(I).getFastMathFlags(), 11116cda33baSCraig Topper DL); 11126cda33baSCraig Topper 11136cda33baSCraig Topper if (Constant *C = dyn_cast_or_null<Constant>(SimpleV)) 11146cda33baSCraig Topper SimplifiedValues[&I] = C; 11156cda33baSCraig Topper 11166cda33baSCraig Topper if (SimpleV) 11176cda33baSCraig Topper return true; 11186cda33baSCraig Topper 11196cda33baSCraig Topper // Disable any SROA on arguments to arbitrary, unsimplified fneg. 11206cda33baSCraig Topper disableSROA(Op); 11216cda33baSCraig Topper 11226cda33baSCraig Topper return false; 11236cda33baSCraig Topper } 11246cda33baSCraig Topper 11257adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) { 11267adc3a2bSChandler Carruth Value *SROAArg; 11277adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 11287adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 11297adc3a2bSChandler Carruth if (I.isSimple()) { 11307adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 11317adc3a2bSChandler Carruth return true; 11327adc3a2bSChandler Carruth } 11337adc3a2bSChandler Carruth 11347adc3a2bSChandler Carruth disableSROA(CostIt); 11357adc3a2bSChandler Carruth } 11367adc3a2bSChandler Carruth 1137a4461515SHaicheng Wu // If the data is already loaded from this address and hasn't been clobbered 1138a4461515SHaicheng Wu // by any stores or calls, this load is likely to be redundant and can be 1139a4461515SHaicheng Wu // eliminated. 1140a4461515SHaicheng Wu if (EnableLoadElimination && 1141b3689cabSHaicheng Wu !LoadAddrSet.insert(I.getPointerOperand()).second && I.isUnordered()) { 1142a4461515SHaicheng Wu LoadEliminationCost += InlineConstants::InstrCost; 1143a4461515SHaicheng Wu return true; 1144a4461515SHaicheng Wu } 1145a4461515SHaicheng Wu 11467adc3a2bSChandler Carruth return false; 11477adc3a2bSChandler Carruth } 11487adc3a2bSChandler Carruth 11497adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) { 11507adc3a2bSChandler Carruth Value *SROAArg; 11517adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 11527adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 11537adc3a2bSChandler Carruth if (I.isSimple()) { 11547adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 11557adc3a2bSChandler Carruth return true; 11567adc3a2bSChandler Carruth } 11577adc3a2bSChandler Carruth 11587adc3a2bSChandler Carruth disableSROA(CostIt); 11597adc3a2bSChandler Carruth } 11607adc3a2bSChandler Carruth 1161a4461515SHaicheng Wu // The store can potentially clobber loads and prevent repeated loads from 1162a4461515SHaicheng Wu // being eliminated. 1163a4461515SHaicheng Wu // FIXME: 1164a4461515SHaicheng Wu // 1. We can probably keep an initial set of eliminatable loads substracted 1165a4461515SHaicheng Wu // from the cost even when we finally see a store. We just need to disable 1166a4461515SHaicheng Wu // *further* accumulation of elimination savings. 1167a4461515SHaicheng Wu // 2. We should probably at some point thread MemorySSA for the callee into 1168a4461515SHaicheng Wu // this and then use that to actually compute *really* precise savings. 1169a4461515SHaicheng Wu disableLoadElimination(); 11707adc3a2bSChandler Carruth return false; 11717adc3a2bSChandler Carruth } 11727adc3a2bSChandler Carruth 11737adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) { 11747adc3a2bSChandler Carruth // Constant folding for extract value is trivial. 1175617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1176617f6364SEaswaran Raman return ConstantExpr::getExtractValue(COps[0], I.getIndices()); 1177617f6364SEaswaran Raman })) 11787adc3a2bSChandler Carruth return true; 11797adc3a2bSChandler Carruth 11807adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 11817adc3a2bSChandler Carruth return false; 11827adc3a2bSChandler Carruth } 11837adc3a2bSChandler Carruth 11847adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) { 11857adc3a2bSChandler Carruth // Constant folding for insert value is trivial. 1186617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1187617f6364SEaswaran Raman return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0], 1188617f6364SEaswaran Raman /*InsertedValueOperand*/ COps[1], 1189617f6364SEaswaran Raman I.getIndices()); 1190617f6364SEaswaran Raman })) 11917adc3a2bSChandler Carruth return true; 11927adc3a2bSChandler Carruth 11937adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 11947adc3a2bSChandler Carruth return false; 11957adc3a2bSChandler Carruth } 11967adc3a2bSChandler Carruth 11975f8f34e4SAdrian Prantl /// Try to simplify a call site. 11987adc3a2bSChandler Carruth /// 11997adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by 12007adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if 12017adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it 12027adc3a2bSChandler Carruth /// free. 1203652168a9SFedor Sergeev bool CallAnalyzer::simplifyCallSite(Function *F, CallBase &Call) { 12047adc3a2bSChandler Carruth // FIXME: Using the instsimplify logic directly for this is inefficient 12057adc3a2bSChandler Carruth // because we have to continually rebuild the argument list even when no 12067adc3a2bSChandler Carruth // simplifications can be performed. Until that is fixed with remapping 12077adc3a2bSChandler Carruth // inside of instsimplify, directly constant fold calls here. 1208652168a9SFedor Sergeev if (!canConstantFoldCallTo(&Call, F)) 12097adc3a2bSChandler Carruth return false; 12107adc3a2bSChandler Carruth 12117adc3a2bSChandler Carruth // Try to re-map the arguments to constants. 12127adc3a2bSChandler Carruth SmallVector<Constant *, 4> ConstantArgs; 1213652168a9SFedor Sergeev ConstantArgs.reserve(Call.arg_size()); 1214652168a9SFedor Sergeev for (Value *I : Call.args()) { 1215652168a9SFedor Sergeev Constant *C = dyn_cast<Constant>(I); 12167adc3a2bSChandler Carruth if (!C) 1217652168a9SFedor Sergeev C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(I)); 12187adc3a2bSChandler Carruth if (!C) 12197adc3a2bSChandler Carruth return false; // This argument doesn't map to a constant. 12207adc3a2bSChandler Carruth 12217adc3a2bSChandler Carruth ConstantArgs.push_back(C); 12227adc3a2bSChandler Carruth } 1223652168a9SFedor Sergeev if (Constant *C = ConstantFoldCall(&Call, F, ConstantArgs)) { 1224652168a9SFedor Sergeev SimplifiedValues[&Call] = C; 12257adc3a2bSChandler Carruth return true; 12267adc3a2bSChandler Carruth } 12277adc3a2bSChandler Carruth 12287adc3a2bSChandler Carruth return false; 12297adc3a2bSChandler Carruth } 12307adc3a2bSChandler Carruth 1231652168a9SFedor Sergeev bool CallAnalyzer::visitCallBase(CallBase &Call) { 1232652168a9SFedor Sergeev if (Call.hasFnAttr(Attribute::ReturnsTwice) && 12337adc3a2bSChandler Carruth !F.hasFnAttribute(Attribute::ReturnsTwice)) { 12347adc3a2bSChandler Carruth // This aborts the entire analysis. 12357adc3a2bSChandler Carruth ExposesReturnsTwice = true; 12367adc3a2bSChandler Carruth return false; 12377adc3a2bSChandler Carruth } 1238652168a9SFedor Sergeev if (isa<CallInst>(Call) && cast<CallInst>(Call).cannotDuplicate()) 12397adc3a2bSChandler Carruth ContainsNoDuplicateCall = true; 12407adc3a2bSChandler Carruth 1241652168a9SFedor Sergeev if (Function *F = Call.getCalledFunction()) { 12427adc3a2bSChandler Carruth // When we have a concrete function, first try to simplify it directly. 1243652168a9SFedor Sergeev if (simplifyCallSite(F, Call)) 12447adc3a2bSChandler Carruth return true; 12457adc3a2bSChandler Carruth 12467adc3a2bSChandler Carruth // Next check if it is an intrinsic we know about. 12477adc3a2bSChandler Carruth // FIXME: Lift this into part of the InstVisitor. 1248652168a9SFedor Sergeev if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(&Call)) { 12497adc3a2bSChandler Carruth switch (II->getIntrinsicID()) { 12507adc3a2bSChandler Carruth default: 1251652168a9SFedor Sergeev if (!Call.onlyReadsMemory() && !isAssumeLikeIntrinsic(II)) 1252a4461515SHaicheng Wu disableLoadElimination(); 1253652168a9SFedor Sergeev return Base::visitCallBase(Call); 12547adc3a2bSChandler Carruth 12557dd8dbf4SPeter Collingbourne case Intrinsic::load_relative: 12567dd8dbf4SPeter Collingbourne // This is normally lowered to 4 LLVM instructions. 1257eeae45dcSFedor Sergeev addCost(3 * InlineConstants::InstrCost); 12587dd8dbf4SPeter Collingbourne return false; 12597dd8dbf4SPeter Collingbourne 12607adc3a2bSChandler Carruth case Intrinsic::memset: 12617adc3a2bSChandler Carruth case Intrinsic::memcpy: 12627adc3a2bSChandler Carruth case Intrinsic::memmove: 1263a4461515SHaicheng Wu disableLoadElimination(); 12647adc3a2bSChandler Carruth // SROA can usually chew through these intrinsics, but they aren't free. 12657adc3a2bSChandler Carruth return false; 12664296ea72SVitaly Buka case Intrinsic::icall_branch_funnel: 12677adc3a2bSChandler Carruth case Intrinsic::localescape: 12684296ea72SVitaly Buka HasUninlineableIntrinsic = true; 12697adc3a2bSChandler Carruth return false; 127080788d80SFlorian Hahn case Intrinsic::vastart: 127177beee41SSameer AbuAsal InitsVargArgs = true; 127280788d80SFlorian Hahn return false; 12737adc3a2bSChandler Carruth } 12747adc3a2bSChandler Carruth } 12757adc3a2bSChandler Carruth 1276652168a9SFedor Sergeev if (F == Call.getFunction()) { 12777adc3a2bSChandler Carruth // This flag will fully abort the analysis, so don't bother with anything 12787adc3a2bSChandler Carruth // else. 12797adc3a2bSChandler Carruth IsRecursiveCall = true; 12807adc3a2bSChandler Carruth return false; 12817adc3a2bSChandler Carruth } 12827adc3a2bSChandler Carruth 12837adc3a2bSChandler Carruth if (TTI.isLoweredToCall(F)) { 12847adc3a2bSChandler Carruth // We account for the average 1 instruction per call argument setup 12857adc3a2bSChandler Carruth // here. 1286eeae45dcSFedor Sergeev addCost(Call.arg_size() * InlineConstants::InstrCost); 12877adc3a2bSChandler Carruth 12887adc3a2bSChandler Carruth // Everything other than inline ASM will also have a significant cost 12897adc3a2bSChandler Carruth // merely from making the call. 1290652168a9SFedor Sergeev if (!isa<InlineAsm>(Call.getCalledValue())) 1291eeae45dcSFedor Sergeev addCost(InlineConstants::CallPenalty); 12927adc3a2bSChandler Carruth } 12937adc3a2bSChandler Carruth 1294652168a9SFedor Sergeev if (!Call.onlyReadsMemory()) 1295a4461515SHaicheng Wu disableLoadElimination(); 1296652168a9SFedor Sergeev return Base::visitCallBase(Call); 12977adc3a2bSChandler Carruth } 12987adc3a2bSChandler Carruth 12997adc3a2bSChandler Carruth // Otherwise we're in a very special case -- an indirect function call. See 13007adc3a2bSChandler Carruth // if we can be particularly clever about this. 1301652168a9SFedor Sergeev Value *Callee = Call.getCalledValue(); 13027adc3a2bSChandler Carruth 13037adc3a2bSChandler Carruth // First, pay the price of the argument setup. We account for the average 13047adc3a2bSChandler Carruth // 1 instruction per call argument setup here. 1305eeae45dcSFedor Sergeev addCost(Call.arg_size() * InlineConstants::InstrCost); 13067adc3a2bSChandler Carruth 13077adc3a2bSChandler Carruth // Next, check if this happens to be an indirect function call to a known 13087adc3a2bSChandler Carruth // function in this inline context. If not, we've done all we can. 13097adc3a2bSChandler Carruth Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee)); 1310a4461515SHaicheng Wu if (!F) { 1311652168a9SFedor Sergeev if (!Call.onlyReadsMemory()) 1312a4461515SHaicheng Wu disableLoadElimination(); 1313652168a9SFedor Sergeev return Base::visitCallBase(Call); 1314a4461515SHaicheng Wu } 13157adc3a2bSChandler Carruth 13167adc3a2bSChandler Carruth // If we have a constant that we are calling as a function, we can peer 13177adc3a2bSChandler Carruth // through it and see the function target. This happens not infrequently 13187adc3a2bSChandler Carruth // during devirtualization and so we want to give it a hefty bonus for 13197adc3a2bSChandler Carruth // inlining, but cap that bonus in the event that inlining wouldn't pan 13207adc3a2bSChandler Carruth // out. Pretend to inline the function, with a custom threshold. 13211c57cc2bSEaswaran Raman auto IndirectCallParams = Params; 13221c57cc2bSEaswaran Raman IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold; 1323652168a9SFedor Sergeev CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, ORE, *F, Call, 132412585b01SEaswaran Raman IndirectCallParams); 1325652168a9SFedor Sergeev if (CA.analyzeCall(Call)) { 132602647f73SJordan Rupprecht // We were able to inline the indirect call! Subtract the cost from the 132702647f73SJordan Rupprecht // threshold to get the bonus we want to apply, but don't go below zero. 132802647f73SJordan Rupprecht Cost -= std::max(0, CA.getThreshold() - CA.getCost()); 13297adc3a2bSChandler Carruth } 13307adc3a2bSChandler Carruth 1331a4461515SHaicheng Wu if (!F->onlyReadsMemory()) 1332a4461515SHaicheng Wu disableLoadElimination(); 1333652168a9SFedor Sergeev return Base::visitCallBase(Call); 13347adc3a2bSChandler Carruth } 13357adc3a2bSChandler Carruth 13367adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) { 13377adc3a2bSChandler Carruth // At least one return instruction will be free after inlining. 13387adc3a2bSChandler Carruth bool Free = !HasReturn; 13397adc3a2bSChandler Carruth HasReturn = true; 13407adc3a2bSChandler Carruth return Free; 13417adc3a2bSChandler Carruth } 13427adc3a2bSChandler Carruth 13437adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) { 13447adc3a2bSChandler Carruth // We model unconditional branches as essentially free -- they really 13457adc3a2bSChandler Carruth // shouldn't exist at all, but handling them makes the behavior of the 13467adc3a2bSChandler Carruth // inliner more regular and predictable. Interestingly, conditional branches 13477adc3a2bSChandler Carruth // which will fold away are also free. 13487adc3a2bSChandler Carruth return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) || 13497adc3a2bSChandler Carruth dyn_cast_or_null<ConstantInt>( 13507adc3a2bSChandler Carruth SimplifiedValues.lookup(BI.getCondition())); 13517adc3a2bSChandler Carruth } 13527adc3a2bSChandler Carruth 13533ec848bcSHaicheng Wu bool CallAnalyzer::visitSelectInst(SelectInst &SI) { 13543ec848bcSHaicheng Wu bool CheckSROA = SI.getType()->isPointerTy(); 13553ec848bcSHaicheng Wu Value *TrueVal = SI.getTrueValue(); 13563ec848bcSHaicheng Wu Value *FalseVal = SI.getFalseValue(); 13573ec848bcSHaicheng Wu 13583ec848bcSHaicheng Wu Constant *TrueC = dyn_cast<Constant>(TrueVal); 13593ec848bcSHaicheng Wu if (!TrueC) 13603ec848bcSHaicheng Wu TrueC = SimplifiedValues.lookup(TrueVal); 13613ec848bcSHaicheng Wu Constant *FalseC = dyn_cast<Constant>(FalseVal); 13623ec848bcSHaicheng Wu if (!FalseC) 13633ec848bcSHaicheng Wu FalseC = SimplifiedValues.lookup(FalseVal); 13643ec848bcSHaicheng Wu Constant *CondC = 13653ec848bcSHaicheng Wu dyn_cast_or_null<Constant>(SimplifiedValues.lookup(SI.getCondition())); 13663ec848bcSHaicheng Wu 13673ec848bcSHaicheng Wu if (!CondC) { 13683ec848bcSHaicheng Wu // Select C, X, X => X 13693ec848bcSHaicheng Wu if (TrueC == FalseC && TrueC) { 13703ec848bcSHaicheng Wu SimplifiedValues[&SI] = TrueC; 13713ec848bcSHaicheng Wu return true; 13723ec848bcSHaicheng Wu } 13733ec848bcSHaicheng Wu 13743ec848bcSHaicheng Wu if (!CheckSROA) 13753ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13763ec848bcSHaicheng Wu 13773ec848bcSHaicheng Wu std::pair<Value *, APInt> TrueBaseAndOffset = 13783ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(TrueVal); 13793ec848bcSHaicheng Wu std::pair<Value *, APInt> FalseBaseAndOffset = 13803ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(FalseVal); 13813ec848bcSHaicheng Wu if (TrueBaseAndOffset == FalseBaseAndOffset && TrueBaseAndOffset.first) { 13823ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = TrueBaseAndOffset; 13833ec848bcSHaicheng Wu 13843ec848bcSHaicheng Wu Value *SROAArg; 13853ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 13863ec848bcSHaicheng Wu if (lookupSROAArgAndCost(TrueVal, SROAArg, CostIt)) 13873ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 13883ec848bcSHaicheng Wu return true; 13893ec848bcSHaicheng Wu } 13903ec848bcSHaicheng Wu 13913ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 13923ec848bcSHaicheng Wu } 13933ec848bcSHaicheng Wu 13943ec848bcSHaicheng Wu // Select condition is a constant. 13953ec848bcSHaicheng Wu Value *SelectedV = CondC->isAllOnesValue() 13963ec848bcSHaicheng Wu ? TrueVal 13973ec848bcSHaicheng Wu : (CondC->isNullValue()) ? FalseVal : nullptr; 13983ec848bcSHaicheng Wu if (!SelectedV) { 13993ec848bcSHaicheng Wu // Condition is a vector constant that is not all 1s or all 0s. If all 14003ec848bcSHaicheng Wu // operands are constants, ConstantExpr::getSelect() can handle the cases 14013ec848bcSHaicheng Wu // such as select vectors. 14023ec848bcSHaicheng Wu if (TrueC && FalseC) { 14033ec848bcSHaicheng Wu if (auto *C = ConstantExpr::getSelect(CondC, TrueC, FalseC)) { 14043ec848bcSHaicheng Wu SimplifiedValues[&SI] = C; 14053ec848bcSHaicheng Wu return true; 14063ec848bcSHaicheng Wu } 14073ec848bcSHaicheng Wu } 14083ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 14093ec848bcSHaicheng Wu } 14103ec848bcSHaicheng Wu 14113ec848bcSHaicheng Wu // Condition is either all 1s or all 0s. SI can be simplified. 14123ec848bcSHaicheng Wu if (Constant *SelectedC = dyn_cast<Constant>(SelectedV)) { 14133ec848bcSHaicheng Wu SimplifiedValues[&SI] = SelectedC; 14143ec848bcSHaicheng Wu return true; 14153ec848bcSHaicheng Wu } 14163ec848bcSHaicheng Wu 14173ec848bcSHaicheng Wu if (!CheckSROA) 14183ec848bcSHaicheng Wu return true; 14193ec848bcSHaicheng Wu 14203ec848bcSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = 14213ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(SelectedV); 14223ec848bcSHaicheng Wu if (BaseAndOffset.first) { 14233ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = BaseAndOffset; 14243ec848bcSHaicheng Wu 14253ec848bcSHaicheng Wu Value *SROAArg; 14263ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 14273ec848bcSHaicheng Wu if (lookupSROAArgAndCost(SelectedV, SROAArg, CostIt)) 14283ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 14293ec848bcSHaicheng Wu } 14303ec848bcSHaicheng Wu 14313ec848bcSHaicheng Wu return true; 14323ec848bcSHaicheng Wu } 14333ec848bcSHaicheng Wu 14347adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) { 14357adc3a2bSChandler Carruth // We model unconditional switches as free, see the comments on handling 14367adc3a2bSChandler Carruth // branches. 14377adc3a2bSChandler Carruth if (isa<ConstantInt>(SI.getCondition())) 14387adc3a2bSChandler Carruth return true; 14397adc3a2bSChandler Carruth if (Value *V = SimplifiedValues.lookup(SI.getCondition())) 14407adc3a2bSChandler Carruth if (isa<ConstantInt>(V)) 14417adc3a2bSChandler Carruth return true; 14427adc3a2bSChandler Carruth 14437ad02eeeSEric Christopher // Assume the most general case where the switch is lowered into 1444919f9e8dSJun Bum Lim // either a jump table, bit test, or a balanced binary tree consisting of 1445919f9e8dSJun Bum Lim // case clusters without merging adjacent clusters with the same 1446919f9e8dSJun Bum Lim // destination. We do not consider the switches that are lowered with a mix 1447919f9e8dSJun Bum Lim // of jump table/bit test/binary search tree. The cost of the switch is 1448919f9e8dSJun Bum Lim // proportional to the size of the tree or the size of jump table range. 14492960d41eSJun Bum Lim // 14502960d41eSJun Bum Lim // NB: We convert large switches which are just used to initialize large phi 14512960d41eSJun Bum Lim // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent 14522960d41eSJun Bum Lim // inlining those. It will prevent inlining in cases where the optimization 14532960d41eSJun Bum Lim // does not (yet) fire. 1454919f9e8dSJun Bum Lim 1455506cfb7aSJun Bum Lim // Maximum valid cost increased in this function. 1456506cfb7aSJun Bum Lim int CostUpperBound = INT_MAX - InlineConstants::InstrCost - 1; 1457506cfb7aSJun Bum Lim 1458919f9e8dSJun Bum Lim unsigned JumpTableSize = 0; 1459919f9e8dSJun Bum Lim unsigned NumCaseCluster = 1460919f9e8dSJun Bum Lim TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize); 1461919f9e8dSJun Bum Lim 1462919f9e8dSJun Bum Lim // If suitable for a jump table, consider the cost for the table size and 1463919f9e8dSJun Bum Lim // branch to destination. 1464919f9e8dSJun Bum Lim if (JumpTableSize) { 1465919f9e8dSJun Bum Lim int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost + 1466919f9e8dSJun Bum Lim 4 * InlineConstants::InstrCost; 1467506cfb7aSJun Bum Lim 1468eeae45dcSFedor Sergeev addCost(JTCost, (int64_t)CostUpperBound); 1469919f9e8dSJun Bum Lim return false; 1470919f9e8dSJun Bum Lim } 1471919f9e8dSJun Bum Lim 1472919f9e8dSJun Bum Lim // Considering forming a binary search, we should find the number of nodes 1473919f9e8dSJun Bum Lim // which is same as the number of comparisons when lowered. For a given 1474919f9e8dSJun Bum Lim // number of clusters, n, we can define a recursive function, f(n), to find 1475919f9e8dSJun Bum Lim // the number of nodes in the tree. The recursion is : 1476919f9e8dSJun Bum Lim // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3, 1477919f9e8dSJun Bum Lim // and f(n) = n, when n <= 3. 1478919f9e8dSJun Bum Lim // This will lead a binary tree where the leaf should be either f(2) or f(3) 1479919f9e8dSJun Bum Lim // when n > 3. So, the number of comparisons from leaves should be n, while 1480919f9e8dSJun Bum Lim // the number of non-leaf should be : 1481919f9e8dSJun Bum Lim // 2^(log2(n) - 1) - 1 1482919f9e8dSJun Bum Lim // = 2^log2(n) * 2^-1 - 1 1483919f9e8dSJun Bum Lim // = n / 2 - 1. 1484919f9e8dSJun Bum Lim // Considering comparisons from leaf and non-leaf nodes, we can estimate the 1485919f9e8dSJun Bum Lim // number of comparisons in a simple closed form : 1486919f9e8dSJun Bum Lim // n + n / 2 - 1 = n * 3 / 2 - 1 1487919f9e8dSJun Bum Lim if (NumCaseCluster <= 3) { 1488919f9e8dSJun Bum Lim // Suppose a comparison includes one compare and one conditional branch. 1489eeae45dcSFedor Sergeev addCost(NumCaseCluster * 2 * InlineConstants::InstrCost); 1490919f9e8dSJun Bum Lim return false; 1491919f9e8dSJun Bum Lim } 1492506cfb7aSJun Bum Lim 1493506cfb7aSJun Bum Lim int64_t ExpectedNumberOfCompare = 3 * (int64_t)NumCaseCluster / 2 - 1; 1494506cfb7aSJun Bum Lim int64_t SwitchCost = 1495919f9e8dSJun Bum Lim ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost; 1496506cfb7aSJun Bum Lim 1497eeae45dcSFedor Sergeev addCost(SwitchCost, (int64_t)CostUpperBound); 1498919f9e8dSJun Bum Lim return false; 1499919f9e8dSJun Bum Lim } 1500919f9e8dSJun Bum Lim 15017adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) { 15027adc3a2bSChandler Carruth // We never want to inline functions that contain an indirectbr. This is 15037adc3a2bSChandler Carruth // incorrect because all the blockaddress's (in static global initializers 15047adc3a2bSChandler Carruth // for example) would be referring to the original function, and this 15057adc3a2bSChandler Carruth // indirect jump would jump from the inlined copy of the function into the 15067adc3a2bSChandler Carruth // original function which is extremely undefined behavior. 15077adc3a2bSChandler Carruth // FIXME: This logic isn't really right; we can safely inline functions with 15087adc3a2bSChandler Carruth // indirectbr's as long as no other function or global references the 15097adc3a2bSChandler Carruth // blockaddress of a block within the current function. 15107adc3a2bSChandler Carruth HasIndirectBr = true; 15117adc3a2bSChandler Carruth return false; 15127adc3a2bSChandler Carruth } 15137adc3a2bSChandler Carruth 15147adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) { 15157adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 15167adc3a2bSChandler Carruth // the inline cost of a resume instruction. 15177adc3a2bSChandler Carruth return false; 15187adc3a2bSChandler Carruth } 15197adc3a2bSChandler Carruth 15207adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) { 15217adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 15227adc3a2bSChandler Carruth // the inline cost of a cleanupret instruction. 15237adc3a2bSChandler Carruth return false; 15247adc3a2bSChandler Carruth } 15257adc3a2bSChandler Carruth 15267adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) { 15277adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 15288220bcc5SJoseph Tremoulet // the inline cost of a catchret instruction. 15297adc3a2bSChandler Carruth return false; 15307adc3a2bSChandler Carruth } 15317adc3a2bSChandler Carruth 15327adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) { 15337adc3a2bSChandler Carruth // FIXME: It might be reasonably to discount the cost of instructions leading 15347adc3a2bSChandler Carruth // to unreachable as they have the lowest possible impact on both runtime and 15357adc3a2bSChandler Carruth // code size. 15367adc3a2bSChandler Carruth return true; // No actual code is needed for unreachable. 15377adc3a2bSChandler Carruth } 15387adc3a2bSChandler Carruth 15397adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) { 15407adc3a2bSChandler Carruth // Some instructions are free. All of the free intrinsics can also be 15417adc3a2bSChandler Carruth // handled by SROA, etc. 15427adc3a2bSChandler Carruth if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I)) 15437adc3a2bSChandler Carruth return true; 15447adc3a2bSChandler Carruth 15457adc3a2bSChandler Carruth // We found something we don't understand or can't handle. Mark any SROA-able 15467adc3a2bSChandler Carruth // values in the operand list as no longer viable. 15477adc3a2bSChandler Carruth for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI) 15487adc3a2bSChandler Carruth disableSROA(*OI); 15497adc3a2bSChandler Carruth 15507adc3a2bSChandler Carruth return false; 15517adc3a2bSChandler Carruth } 15527adc3a2bSChandler Carruth 15535f8f34e4SAdrian Prantl /// Analyze a basic block for its contribution to the inline cost. 15547adc3a2bSChandler Carruth /// 15557adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic 15567adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It 15577adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline 15587adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer 15597adc3a2bSChandler Carruth /// viable, and true if inlining remains viable. 1560c0aa4b75SDavid Bolvansky InlineResult 1561c0aa4b75SDavid Bolvansky CallAnalyzer::analyzeBlock(BasicBlock *BB, 15627adc3a2bSChandler Carruth SmallPtrSetImpl<const Value *> &EphValues) { 15637adc3a2bSChandler Carruth for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 15647adc3a2bSChandler Carruth // FIXME: Currently, the number of instructions in a function regardless of 15657adc3a2bSChandler Carruth // our ability to simplify them during inline to constants or dead code, 15667adc3a2bSChandler Carruth // are actually used by the vector bonus heuristic. As long as that's true, 15677adc3a2bSChandler Carruth // we have to special case debug intrinsics here to prevent differences in 15687adc3a2bSChandler Carruth // inlining due to debug symbols. Eventually, the number of unsimplified 15697adc3a2bSChandler Carruth // instructions shouldn't factor into the cost computation, but until then, 15707adc3a2bSChandler Carruth // hack around it here. 15717adc3a2bSChandler Carruth if (isa<DbgInfoIntrinsic>(I)) 15727adc3a2bSChandler Carruth continue; 15737adc3a2bSChandler Carruth 15747adc3a2bSChandler Carruth // Skip ephemeral values. 15755a82c916SDuncan P. N. Exon Smith if (EphValues.count(&*I)) 15767adc3a2bSChandler Carruth continue; 15777adc3a2bSChandler Carruth 15787adc3a2bSChandler Carruth ++NumInstructions; 15797adc3a2bSChandler Carruth if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy()) 15807adc3a2bSChandler Carruth ++NumVectorInstructions; 15817adc3a2bSChandler Carruth 15827adc3a2bSChandler Carruth // If the instruction simplified to a constant, there is no cost to this 15837adc3a2bSChandler Carruth // instruction. Visit the instructions using our InstVisitor to account for 15847adc3a2bSChandler Carruth // all of the per-instruction logic. The visit tree returns true if we 15857adc3a2bSChandler Carruth // consumed the instruction in any way, and false if the instruction's base 15867adc3a2bSChandler Carruth // cost should count against inlining. 15875a82c916SDuncan P. N. Exon Smith if (Base::visit(&*I)) 15887adc3a2bSChandler Carruth ++NumInstructionsSimplified; 15897adc3a2bSChandler Carruth else 1590eeae45dcSFedor Sergeev addCost(InlineConstants::InstrCost); 15917adc3a2bSChandler Carruth 15920812c5beSHaicheng Wu using namespace ore; 15937adc3a2bSChandler Carruth // If the visit this instruction detected an uninlinable pattern, abort. 1594c0aa4b75SDavid Bolvansky InlineResult IR; 1595c0aa4b75SDavid Bolvansky if (IsRecursiveCall) 1596c0aa4b75SDavid Bolvansky IR = "recursive"; 1597c0aa4b75SDavid Bolvansky else if (ExposesReturnsTwice) 1598c0aa4b75SDavid Bolvansky IR = "exposes returns twice"; 1599c0aa4b75SDavid Bolvansky else if (HasDynamicAlloca) 1600c0aa4b75SDavid Bolvansky IR = "dynamic alloca"; 1601c0aa4b75SDavid Bolvansky else if (HasIndirectBr) 1602c0aa4b75SDavid Bolvansky IR = "indirect branch"; 1603c0aa4b75SDavid Bolvansky else if (HasUninlineableIntrinsic) 1604c0aa4b75SDavid Bolvansky IR = "uninlinable intrinsic"; 160577beee41SSameer AbuAsal else if (InitsVargArgs) 1606c0aa4b75SDavid Bolvansky IR = "varargs"; 1607c0aa4b75SDavid Bolvansky if (!IR) { 16080812c5beSHaicheng Wu if (ORE) 16099590658fSVivek Pandya ORE->emit([&]() { 16109590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 1611652168a9SFedor Sergeev &CandidateCall) 1612c0aa4b75SDavid Bolvansky << NV("Callee", &F) << " has uninlinable pattern (" 1613c0aa4b75SDavid Bolvansky << NV("InlineResult", IR.message) 1614c0aa4b75SDavid Bolvansky << ") and cost is not fully computed"; 16159590658fSVivek Pandya }); 1616c0aa4b75SDavid Bolvansky return IR; 16170812c5beSHaicheng Wu } 16187adc3a2bSChandler Carruth 16197adc3a2bSChandler Carruth // If the caller is a recursive function then we don't want to inline 16207adc3a2bSChandler Carruth // functions which allocate a lot of stack space because it would increase 16217adc3a2bSChandler Carruth // the caller stack usage dramatically. 16227adc3a2bSChandler Carruth if (IsCallerRecursive && 16230812c5beSHaicheng Wu AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) { 1624c0aa4b75SDavid Bolvansky InlineResult IR = "recursive and allocates too much stack space"; 16250812c5beSHaicheng Wu if (ORE) 16269590658fSVivek Pandya ORE->emit([&]() { 16279590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 1628652168a9SFedor Sergeev &CandidateCall) 1629c0aa4b75SDavid Bolvansky << NV("Callee", &F) << " is " << NV("InlineResult", IR.message) 1630c0aa4b75SDavid Bolvansky << ". Cost is not fully computed"; 16319590658fSVivek Pandya }); 1632c0aa4b75SDavid Bolvansky return IR; 16330812c5beSHaicheng Wu } 16347adc3a2bSChandler Carruth 1635eeae45dcSFedor Sergeev // Check if we've passed the maximum possible threshold so we don't spin in 16367adc3a2bSChandler Carruth // huge basic blocks that will never inline. 163761995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 16387adc3a2bSChandler Carruth return false; 16397adc3a2bSChandler Carruth } 16407adc3a2bSChandler Carruth 16417adc3a2bSChandler Carruth return true; 16427adc3a2bSChandler Carruth } 16437adc3a2bSChandler Carruth 16445f8f34e4SAdrian Prantl /// Compute the base pointer and cumulative constant offsets for V. 16457adc3a2bSChandler Carruth /// 16467adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and 16477adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It 16487adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are 16497adc3a2bSChandler Carruth /// no constant offsets applied. 16507adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) { 16517adc3a2bSChandler Carruth if (!V->getType()->isPointerTy()) 16527adc3a2bSChandler Carruth return nullptr; 16537adc3a2bSChandler Carruth 165477f32994SBjorn Pettersson unsigned AS = V->getType()->getPointerAddressSpace(); 1655945b7e5aSElena Demikhovsky unsigned IntPtrWidth = DL.getIndexSizeInBits(AS); 16567adc3a2bSChandler Carruth APInt Offset = APInt::getNullValue(IntPtrWidth); 16577adc3a2bSChandler Carruth 16587adc3a2bSChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 16597adc3a2bSChandler Carruth // instruction in an unreachable block, which may be on a cycle. 16607adc3a2bSChandler Carruth SmallPtrSet<Value *, 4> Visited; 16617adc3a2bSChandler Carruth Visited.insert(V); 16627adc3a2bSChandler Carruth do { 16637adc3a2bSChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 16647adc3a2bSChandler Carruth if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset)) 16657adc3a2bSChandler Carruth return nullptr; 16667adc3a2bSChandler Carruth V = GEP->getPointerOperand(); 16677adc3a2bSChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 16687adc3a2bSChandler Carruth V = cast<Operator>(V)->getOperand(0); 16697adc3a2bSChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 16705ce32728SSanjoy Das if (GA->isInterposable()) 16717adc3a2bSChandler Carruth break; 16727adc3a2bSChandler Carruth V = GA->getAliasee(); 16737adc3a2bSChandler Carruth } else { 16747adc3a2bSChandler Carruth break; 16757adc3a2bSChandler Carruth } 16767adc3a2bSChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 16777adc3a2bSChandler Carruth } while (Visited.insert(V).second); 16787adc3a2bSChandler Carruth 167977f32994SBjorn Pettersson Type *IntPtrTy = DL.getIntPtrType(V->getContext(), AS); 16807adc3a2bSChandler Carruth return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset)); 16817adc3a2bSChandler Carruth } 16827adc3a2bSChandler Carruth 16835f8f34e4SAdrian Prantl /// Find dead blocks due to deleted CFG edges during inlining. 16843739e14aSHaicheng Wu /// 16853739e14aSHaicheng Wu /// If we know the successor of the current block, \p CurrBB, has to be \p 16863739e14aSHaicheng Wu /// NextBB, the other successors of \p CurrBB are dead if these successors have 16873739e14aSHaicheng Wu /// no live incoming CFG edges. If one block is found to be dead, we can 16883739e14aSHaicheng Wu /// continue growing the dead block list by checking the successors of the dead 16893739e14aSHaicheng Wu /// blocks to see if all their incoming edges are dead or not. 16903739e14aSHaicheng Wu void CallAnalyzer::findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB) { 16913739e14aSHaicheng Wu auto IsEdgeDead = [&](BasicBlock *Pred, BasicBlock *Succ) { 169202a2bb2fSHiroshi Inoue // A CFG edge is dead if the predecessor is dead or the predecessor has a 16933739e14aSHaicheng Wu // known successor which is not the one under exam. 16943739e14aSHaicheng Wu return (DeadBlocks.count(Pred) || 16953739e14aSHaicheng Wu (KnownSuccessors[Pred] && KnownSuccessors[Pred] != Succ)); 16963739e14aSHaicheng Wu }; 16973739e14aSHaicheng Wu 16983739e14aSHaicheng Wu auto IsNewlyDead = [&](BasicBlock *BB) { 16993739e14aSHaicheng Wu // If all the edges to a block are dead, the block is also dead. 17003739e14aSHaicheng Wu return (!DeadBlocks.count(BB) && 17013739e14aSHaicheng Wu llvm::all_of(predecessors(BB), 17023739e14aSHaicheng Wu [&](BasicBlock *P) { return IsEdgeDead(P, BB); })); 17033739e14aSHaicheng Wu }; 17043739e14aSHaicheng Wu 17053739e14aSHaicheng Wu for (BasicBlock *Succ : successors(CurrBB)) { 17063739e14aSHaicheng Wu if (Succ == NextBB || !IsNewlyDead(Succ)) 17073739e14aSHaicheng Wu continue; 17083739e14aSHaicheng Wu SmallVector<BasicBlock *, 4> NewDead; 17093739e14aSHaicheng Wu NewDead.push_back(Succ); 17103739e14aSHaicheng Wu while (!NewDead.empty()) { 17113739e14aSHaicheng Wu BasicBlock *Dead = NewDead.pop_back_val(); 17123739e14aSHaicheng Wu if (DeadBlocks.insert(Dead)) 17133739e14aSHaicheng Wu // Continue growing the dead block lists. 17143739e14aSHaicheng Wu for (BasicBlock *S : successors(Dead)) 17153739e14aSHaicheng Wu if (IsNewlyDead(S)) 17163739e14aSHaicheng Wu NewDead.push_back(S); 17173739e14aSHaicheng Wu } 17183739e14aSHaicheng Wu } 17193739e14aSHaicheng Wu } 17203739e14aSHaicheng Wu 17215f8f34e4SAdrian Prantl /// Analyze a call site for potential inlining. 17227adc3a2bSChandler Carruth /// 17237adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not 17247adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous 17257adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost 17267adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by 17277adc3a2bSChandler Carruth /// some artifact of the routine. 1728652168a9SFedor Sergeev InlineResult CallAnalyzer::analyzeCall(CallBase &Call) { 17297adc3a2bSChandler Carruth ++NumCallsAnalyzed; 17307adc3a2bSChandler Carruth 17317adc3a2bSChandler Carruth // Perform some tweaks to the cost and threshold based on the direct 17327adc3a2bSChandler Carruth // callsite information. 17337adc3a2bSChandler Carruth 17347adc3a2bSChandler Carruth // We want to more aggressively inline vector-dense kernels, so up the 17357adc3a2bSChandler Carruth // threshold, and we'll lower it if the % of vector instructions gets too 17367adc3a2bSChandler Carruth // low. Note that these bonuses are some what arbitrary and evolved over time 17377adc3a2bSChandler Carruth // by accident as much as because they are principled bonuses. 17387adc3a2bSChandler Carruth // 17397adc3a2bSChandler Carruth // FIXME: It would be nice to remove all such bonuses. At least it would be 17407adc3a2bSChandler Carruth // nice to base the bonus values on something more scientific. 17417adc3a2bSChandler Carruth assert(NumInstructions == 0); 17427adc3a2bSChandler Carruth assert(NumVectorInstructions == 0); 1743f4bb2f0dSEaswaran Raman 1744f4bb2f0dSEaswaran Raman // Update the threshold based on callsite properties 1745652168a9SFedor Sergeev updateThreshold(Call, F); 1746f4bb2f0dSEaswaran Raman 1747ed279752SEaswaran Raman // While Threshold depends on commandline options that can take negative 1748ed279752SEaswaran Raman // values, we want to enforce the invariant that the computed threshold and 1749ed279752SEaswaran Raman // bonuses are non-negative. 1750ed279752SEaswaran Raman assert(Threshold >= 0); 1751ed279752SEaswaran Raman assert(SingleBBBonus >= 0); 1752ed279752SEaswaran Raman assert(VectorBonus >= 0); 1753ed279752SEaswaran Raman 17547adc3a2bSChandler Carruth // Speculatively apply all possible bonuses to Threshold. If cost exceeds 17557adc3a2bSChandler Carruth // this Threshold any time, and cost cannot decrease, we can stop processing 17567adc3a2bSChandler Carruth // the rest of the function body. 175751b809bfSEaswaran Raman Threshold += (SingleBBBonus + VectorBonus); 17587adc3a2bSChandler Carruth 1759351d9b01SXinliang David Li // Give out bonuses for the callsite, as the instructions setting them up 1760351d9b01SXinliang David Li // will be gone after inlining. 1761eeae45dcSFedor Sergeev addCost(-getCallsiteCost(Call, DL)); 17627adc3a2bSChandler Carruth 17637adc3a2bSChandler Carruth // If this function uses the coldcc calling convention, prefer not to inline 17647adc3a2bSChandler Carruth // it. 17657adc3a2bSChandler Carruth if (F.getCallingConv() == CallingConv::Cold) 17667adc3a2bSChandler Carruth Cost += InlineConstants::ColdccPenalty; 17677adc3a2bSChandler Carruth 17687adc3a2bSChandler Carruth // Check if we're done. This can happen due to bonuses and penalties. 176961995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 1770c0aa4b75SDavid Bolvansky return "high cost"; 17717adc3a2bSChandler Carruth 17727adc3a2bSChandler Carruth if (F.empty()) 17737adc3a2bSChandler Carruth return true; 17747adc3a2bSChandler Carruth 1775652168a9SFedor Sergeev Function *Caller = Call.getFunction(); 17767adc3a2bSChandler Carruth // Check if the caller function is recursive itself. 17777adc3a2bSChandler Carruth for (User *U : Caller->users()) { 1778652168a9SFedor Sergeev CallBase *Call = dyn_cast<CallBase>(U); 1779652168a9SFedor Sergeev if (Call && Call->getFunction() == Caller) { 17807adc3a2bSChandler Carruth IsCallerRecursive = true; 17817adc3a2bSChandler Carruth break; 17827adc3a2bSChandler Carruth } 17837adc3a2bSChandler Carruth } 17847adc3a2bSChandler Carruth 17857adc3a2bSChandler Carruth // Populate our simplified values by mapping from function arguments to call 17867adc3a2bSChandler Carruth // arguments with known important simplifications. 1787652168a9SFedor Sergeev auto CAI = Call.arg_begin(); 17887adc3a2bSChandler Carruth for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end(); 17897adc3a2bSChandler Carruth FAI != FAE; ++FAI, ++CAI) { 1790652168a9SFedor Sergeev assert(CAI != Call.arg_end()); 17917adc3a2bSChandler Carruth if (Constant *C = dyn_cast<Constant>(CAI)) 17925a82c916SDuncan P. N. Exon Smith SimplifiedValues[&*FAI] = C; 17937adc3a2bSChandler Carruth 17947adc3a2bSChandler Carruth Value *PtrArg = *CAI; 17957adc3a2bSChandler Carruth if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) { 17965a82c916SDuncan P. N. Exon Smith ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue()); 17977adc3a2bSChandler Carruth 17987adc3a2bSChandler Carruth // We can SROA any pointer arguments derived from alloca instructions. 17997adc3a2bSChandler Carruth if (isa<AllocaInst>(PtrArg)) { 18005a82c916SDuncan P. N. Exon Smith SROAArgValues[&*FAI] = PtrArg; 18017adc3a2bSChandler Carruth SROAArgCosts[PtrArg] = 0; 18027adc3a2bSChandler Carruth } 18037adc3a2bSChandler Carruth } 18047adc3a2bSChandler Carruth } 18057adc3a2bSChandler Carruth NumConstantArgs = SimplifiedValues.size(); 18067adc3a2bSChandler Carruth NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size(); 18077adc3a2bSChandler Carruth NumAllocaArgs = SROAArgValues.size(); 18087adc3a2bSChandler Carruth 18097adc3a2bSChandler Carruth // FIXME: If a caller has multiple calls to a callee, we end up recomputing 18107adc3a2bSChandler Carruth // the ephemeral values multiple times (and they're completely determined by 18117adc3a2bSChandler Carruth // the callee, so this is purely duplicate work). 18127adc3a2bSChandler Carruth SmallPtrSet<const Value *, 32> EphValues; 1813aec2fa35SDaniel Jasper CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues); 18147adc3a2bSChandler Carruth 18157adc3a2bSChandler Carruth // The worklist of live basic blocks in the callee *after* inlining. We avoid 18167adc3a2bSChandler Carruth // adding basic blocks of the callee which can be proven to be dead for this 18177adc3a2bSChandler Carruth // particular call site in order to get more accurate cost estimates. This 18187adc3a2bSChandler Carruth // requires a somewhat heavyweight iteration pattern: we need to walk the 18197adc3a2bSChandler Carruth // basic blocks in a breadth-first order as we insert live successors. To 18207adc3a2bSChandler Carruth // accomplish this, prioritizing for small iterations because we exit after 18217adc3a2bSChandler Carruth // crossing our threshold, we use a small-size optimized SetVector. 18227adc3a2bSChandler Carruth typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>, 1823567556aaSChad Rosier SmallPtrSet<BasicBlock *, 16>> 1824567556aaSChad Rosier BBSetVector; 18257adc3a2bSChandler Carruth BBSetVector BBWorklist; 18267adc3a2bSChandler Carruth BBWorklist.insert(&F.getEntryBlock()); 182751b809bfSEaswaran Raman bool SingleBB = true; 18287adc3a2bSChandler Carruth // Note that we *must not* cache the size, this loop grows the worklist. 18297adc3a2bSChandler Carruth for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) { 18307adc3a2bSChandler Carruth // Bail out the moment we cross the threshold. This means we'll under-count 18317adc3a2bSChandler Carruth // the cost, but only when undercounting doesn't matter. 183261995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 18337adc3a2bSChandler Carruth break; 18347adc3a2bSChandler Carruth 18357adc3a2bSChandler Carruth BasicBlock *BB = BBWorklist[Idx]; 18367adc3a2bSChandler Carruth if (BB->empty()) 18377adc3a2bSChandler Carruth continue; 18387adc3a2bSChandler Carruth 1839639b29b1SNick Desaulniers // Disallow inlining a blockaddress with uses other than strictly callbr. 1840639b29b1SNick Desaulniers // A blockaddress only has defined behavior for an indirect branch in the 1841639b29b1SNick Desaulniers // same function, and we do not currently support inlining indirect 1842639b29b1SNick Desaulniers // branches. But, the inliner may not see an indirect branch that ends up 1843639b29b1SNick Desaulniers // being dead code at a particular call site. If the blockaddress escapes 1844639b29b1SNick Desaulniers // the function, e.g., via a global variable, inlining may lead to an 1845639b29b1SNick Desaulniers // invalid cross-function reference. 1846639b29b1SNick Desaulniers // FIXME: pr/39560: continue relaxing this overt restriction. 18476a84cd3bSNick Desaulniers if (BB->hasAddressTaken()) 1848639b29b1SNick Desaulniers for (User *U : BlockAddress::get(&*BB)->users()) 1849639b29b1SNick Desaulniers if (!isa<CallBrInst>(*U)) 1850639b29b1SNick Desaulniers return "blockaddress used outside of callbr"; 18517adc3a2bSChandler Carruth 18527adc3a2bSChandler Carruth // Analyze the cost of this block. If we blow through the threshold, this 18537adc3a2bSChandler Carruth // returns false, and we can bail on out. 1854c0aa4b75SDavid Bolvansky InlineResult IR = analyzeBlock(BB, EphValues); 1855c0aa4b75SDavid Bolvansky if (!IR) 1856c0aa4b75SDavid Bolvansky return IR; 18577adc3a2bSChandler Carruth 1858edb12a83SChandler Carruth Instruction *TI = BB->getTerminator(); 18597adc3a2bSChandler Carruth 18607adc3a2bSChandler Carruth // Add in the live successors by first checking whether we have terminator 18617adc3a2bSChandler Carruth // that may be simplified based on the values simplified by this call. 18627adc3a2bSChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 18637adc3a2bSChandler Carruth if (BI->isConditional()) { 18647adc3a2bSChandler Carruth Value *Cond = BI->getCondition(); 1865567556aaSChad Rosier if (ConstantInt *SimpleCond = 1866567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 18673739e14aSHaicheng Wu BasicBlock *NextBB = BI->getSuccessor(SimpleCond->isZero() ? 1 : 0); 18683739e14aSHaicheng Wu BBWorklist.insert(NextBB); 18693739e14aSHaicheng Wu KnownSuccessors[BB] = NextBB; 18703739e14aSHaicheng Wu findDeadBlocks(BB, NextBB); 18717adc3a2bSChandler Carruth continue; 18727adc3a2bSChandler Carruth } 18737adc3a2bSChandler Carruth } 18747adc3a2bSChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) { 18757adc3a2bSChandler Carruth Value *Cond = SI->getCondition(); 1876567556aaSChad Rosier if (ConstantInt *SimpleCond = 1877567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 18783739e14aSHaicheng Wu BasicBlock *NextBB = SI->findCaseValue(SimpleCond)->getCaseSuccessor(); 18793739e14aSHaicheng Wu BBWorklist.insert(NextBB); 18803739e14aSHaicheng Wu KnownSuccessors[BB] = NextBB; 18813739e14aSHaicheng Wu findDeadBlocks(BB, NextBB); 18827adc3a2bSChandler Carruth continue; 18837adc3a2bSChandler Carruth } 18847adc3a2bSChandler Carruth } 18857adc3a2bSChandler Carruth 18867adc3a2bSChandler Carruth // If we're unable to select a particular successor, just count all of 18877adc3a2bSChandler Carruth // them. 18887adc3a2bSChandler Carruth for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize; 18897adc3a2bSChandler Carruth ++TIdx) 18907adc3a2bSChandler Carruth BBWorklist.insert(TI->getSuccessor(TIdx)); 18917adc3a2bSChandler Carruth 18927adc3a2bSChandler Carruth // If we had any successors at this point, than post-inlining is likely to 18937adc3a2bSChandler Carruth // have them as well. Note that we assume any basic blocks which existed 18947adc3a2bSChandler Carruth // due to branches or switches which folded above will also fold after 18957adc3a2bSChandler Carruth // inlining. 18967adc3a2bSChandler Carruth if (SingleBB && TI->getNumSuccessors() > 1) { 18977adc3a2bSChandler Carruth // Take off the bonus we applied to the threshold. 18987adc3a2bSChandler Carruth Threshold -= SingleBBBonus; 18997adc3a2bSChandler Carruth SingleBB = false; 19007adc3a2bSChandler Carruth } 19017adc3a2bSChandler Carruth } 19027adc3a2bSChandler Carruth 190351b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 1904652168a9SFedor Sergeev F.hasLocalLinkage() && F.hasOneUse() && &F == Call.getCalledFunction(); 19057adc3a2bSChandler Carruth // If this is a noduplicate call, we can still inline as long as 19067adc3a2bSChandler Carruth // inlining this would cause the removal of the caller (so the instruction 19077adc3a2bSChandler Carruth // is not actually duplicated, just moved). 19087adc3a2bSChandler Carruth if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall) 1909c0aa4b75SDavid Bolvansky return "noduplicate"; 19107adc3a2bSChandler Carruth 1911ba9f245bSDavid Green // Loops generally act a lot like calls in that they act like barriers to 1912ba9f245bSDavid Green // movement, require a certain amount of setup, etc. So when optimising for 1913ba9f245bSDavid Green // size, we penalise any call sites that perform loops. We do this after all 1914ba9f245bSDavid Green // other costs here, so will likely only be dealing with relatively small 1915ba9f245bSDavid Green // functions (and hence DT and LI will hopefully be cheap). 191685bd3978SEvandro Menezes if (Caller->hasMinSize()) { 1917ba9f245bSDavid Green DominatorTree DT(F); 1918ba9f245bSDavid Green LoopInfo LI(DT); 1919ba9f245bSDavid Green int NumLoops = 0; 1920ba9f245bSDavid Green for (Loop *L : LI) { 1921ba9f245bSDavid Green // Ignore loops that will not be executed 1922ba9f245bSDavid Green if (DeadBlocks.count(L->getHeader())) 1923ba9f245bSDavid Green continue; 1924ba9f245bSDavid Green NumLoops++; 1925ba9f245bSDavid Green } 1926eeae45dcSFedor Sergeev addCost(NumLoops * InlineConstants::CallPenalty); 1927ba9f245bSDavid Green } 1928ba9f245bSDavid Green 19297adc3a2bSChandler Carruth // We applied the maximum possible vector bonus at the beginning. Now, 19307adc3a2bSChandler Carruth // subtract the excess bonus, if any, from the Threshold before 19317adc3a2bSChandler Carruth // comparing against Cost. 19327adc3a2bSChandler Carruth if (NumVectorInstructions <= NumInstructions / 10) 193351b809bfSEaswaran Raman Threshold -= VectorBonus; 19347adc3a2bSChandler Carruth else if (NumVectorInstructions <= NumInstructions / 2) 193551b809bfSEaswaran Raman Threshold -= VectorBonus/2; 19367adc3a2bSChandler Carruth 193700ab73dcSHans Wennborg return Cost < std::max(1, Threshold); 19387adc3a2bSChandler Carruth } 19397adc3a2bSChandler Carruth 1940615eb470SAaron Ballman #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 19415f8f34e4SAdrian Prantl /// Dump stats about this call's analysis. 1942eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() { 19437adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << " " #x ": " << x << "\n" 19447adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantArgs); 19457adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs); 19467adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumAllocaArgs); 19477adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrCmps); 19487adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrDiffs); 19497adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructionsSimplified); 19507adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructions); 19517adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavings); 19527adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavingsLost); 1953a4461515SHaicheng Wu DEBUG_PRINT_STAT(LoadEliminationCost); 19547adc3a2bSChandler Carruth DEBUG_PRINT_STAT(ContainsNoDuplicateCall); 19557adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Cost); 19567adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Threshold); 19577adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT 19587adc3a2bSChandler Carruth } 19597adc3a2bSChandler Carruth #endif 19607adc3a2bSChandler Carruth 19615f8f34e4SAdrian Prantl /// Test that there are no attribute conflicts between Caller and Callee 19627adc3a2bSChandler Carruth /// that prevent inlining. 19637adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller, 19647adc3a2bSChandler Carruth Function *Callee, 19657adc3a2bSChandler Carruth TargetTransformInfo &TTI) { 19667adc3a2bSChandler Carruth return TTI.areInlineCompatible(Caller, Callee) && 19671cb242ebSAkira Hatanaka AttributeFuncs::areInlineCompatible(*Caller, *Callee); 19687adc3a2bSChandler Carruth } 19697adc3a2bSChandler Carruth 1970652168a9SFedor Sergeev int llvm::getCallsiteCost(CallBase &Call, const DataLayout &DL) { 1971351d9b01SXinliang David Li int Cost = 0; 1972652168a9SFedor Sergeev for (unsigned I = 0, E = Call.arg_size(); I != E; ++I) { 1973652168a9SFedor Sergeev if (Call.isByValArgument(I)) { 1974351d9b01SXinliang David Li // We approximate the number of loads and stores needed by dividing the 1975351d9b01SXinliang David Li // size of the byval type by the target's pointer size. 1976652168a9SFedor Sergeev PointerType *PTy = cast<PointerType>(Call.getArgOperand(I)->getType()); 1977351d9b01SXinliang David Li unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType()); 197877f32994SBjorn Pettersson unsigned AS = PTy->getAddressSpace(); 197977f32994SBjorn Pettersson unsigned PointerSize = DL.getPointerSizeInBits(AS); 1980351d9b01SXinliang David Li // Ceiling division. 1981351d9b01SXinliang David Li unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize; 1982351d9b01SXinliang David Li 1983351d9b01SXinliang David Li // If it generates more than 8 stores it is likely to be expanded as an 1984351d9b01SXinliang David Li // inline memcpy so we take that as an upper bound. Otherwise we assume 1985351d9b01SXinliang David Li // one load and one store per word copied. 1986351d9b01SXinliang David Li // FIXME: The maxStoresPerMemcpy setting from the target should be used 1987351d9b01SXinliang David Li // here instead of a magic number of 8, but it's not available via 1988351d9b01SXinliang David Li // DataLayout. 1989351d9b01SXinliang David Li NumStores = std::min(NumStores, 8U); 1990351d9b01SXinliang David Li 1991351d9b01SXinliang David Li Cost += 2 * NumStores * InlineConstants::InstrCost; 1992351d9b01SXinliang David Li } else { 1993351d9b01SXinliang David Li // For non-byval arguments subtract off one instruction per call 1994351d9b01SXinliang David Li // argument. 1995351d9b01SXinliang David Li Cost += InlineConstants::InstrCost; 1996351d9b01SXinliang David Li } 1997351d9b01SXinliang David Li } 1998351d9b01SXinliang David Li // The call instruction also disappears after inlining. 1999351d9b01SXinliang David Li Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty; 2000351d9b01SXinliang David Li return Cost; 2001351d9b01SXinliang David Li } 2002351d9b01SXinliang David Li 2003ab6a6837SSean Silva InlineCost llvm::getInlineCost( 2004652168a9SFedor Sergeev CallBase &Call, const InlineParams &Params, TargetTransformInfo &CalleeTTI, 2005aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 200612585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 20070812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 2008652168a9SFedor Sergeev return getInlineCost(Call, Call.getCalledFunction(), Params, CalleeTTI, 20090812c5beSHaicheng Wu GetAssumptionCache, GetBFI, PSI, ORE); 2010b9f7120eSEaswaran Raman } 2011b9f7120eSEaswaran Raman 2012ab6a6837SSean Silva InlineCost llvm::getInlineCost( 2013652168a9SFedor Sergeev CallBase &Call, Function *Callee, const InlineParams &Params, 2014aec2fa35SDaniel Jasper TargetTransformInfo &CalleeTTI, 2015aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 201612585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 20170812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 2018f4bb2f0dSEaswaran Raman 20197adc3a2bSChandler Carruth // Cannot inline indirect calls. 20207adc3a2bSChandler Carruth if (!Callee) 2021c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("indirect call"); 20227adc3a2bSChandler Carruth 20233851496eSBjorn Pettersson // Never inline calls with byval arguments that does not have the alloca 20243851496eSBjorn Pettersson // address space. Since byval arguments can be replaced with a copy to an 20253851496eSBjorn Pettersson // alloca, the inlined code would need to be adjusted to handle that the 20263851496eSBjorn Pettersson // argument is in the alloca address space (so it is a little bit complicated 20273851496eSBjorn Pettersson // to solve). 20283851496eSBjorn Pettersson unsigned AllocaAS = Callee->getParent()->getDataLayout().getAllocaAddrSpace(); 2029652168a9SFedor Sergeev for (unsigned I = 0, E = Call.arg_size(); I != E; ++I) 2030652168a9SFedor Sergeev if (Call.isByValArgument(I)) { 2031652168a9SFedor Sergeev PointerType *PTy = cast<PointerType>(Call.getArgOperand(I)->getType()); 20323851496eSBjorn Pettersson if (PTy->getAddressSpace() != AllocaAS) 2033c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("byval arguments without alloca" 2034c0aa4b75SDavid Bolvansky " address space"); 20353851496eSBjorn Pettersson } 20363851496eSBjorn Pettersson 20377adc3a2bSChandler Carruth // Calls to functions with always-inline attributes should be inlined 20387adc3a2bSChandler Carruth // whenever possible. 2039652168a9SFedor Sergeev if (Call.hasFnAttr(Attribute::AlwaysInline)) { 204015b17d0aSYevgeny Rouban auto IsViable = isInlineViable(*Callee); 204115b17d0aSYevgeny Rouban if (IsViable) 2042c0aa4b75SDavid Bolvansky return llvm::InlineCost::getAlways("always inline attribute"); 204315b17d0aSYevgeny Rouban return llvm::InlineCost::getNever(IsViable.message); 20447adc3a2bSChandler Carruth } 20457adc3a2bSChandler Carruth 20467adc3a2bSChandler Carruth // Never inline functions with conflicting attributes (unless callee has 20477adc3a2bSChandler Carruth // always-inline attribute). 2048652168a9SFedor Sergeev Function *Caller = Call.getCaller(); 20495ce28f4fSChad Rosier if (!functionsHaveCompatibleAttributes(Caller, Callee, CalleeTTI)) 2050c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("conflicting attributes"); 20517adc3a2bSChandler Carruth 20527adc3a2bSChandler Carruth // Don't inline this call if the caller has the optnone attribute. 205385bd3978SEvandro Menezes if (Caller->hasOptNone()) 2054c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("optnone attribute"); 20557adc3a2bSChandler Carruth 205677eeac3dSManoj Gupta // Don't inline a function that treats null pointer as valid into a caller 205777eeac3dSManoj Gupta // that does not have this attribute. 205877eeac3dSManoj Gupta if (!Caller->nullPointerIsDefined() && Callee->nullPointerIsDefined()) 2059c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("nullptr definitions incompatible"); 206077eeac3dSManoj Gupta 2061c0aa4b75SDavid Bolvansky // Don't inline functions which can be interposed at link-time. 2062c0aa4b75SDavid Bolvansky if (Callee->isInterposable()) 2063c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("interposable"); 2064c0aa4b75SDavid Bolvansky 2065c0aa4b75SDavid Bolvansky // Don't inline functions marked noinline. 2066c0aa4b75SDavid Bolvansky if (Callee->hasFnAttribute(Attribute::NoInline)) 2067c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("noinline function attribute"); 2068c0aa4b75SDavid Bolvansky 2069c0aa4b75SDavid Bolvansky // Don't inline call sites marked noinline. 2070652168a9SFedor Sergeev if (Call.isNoInline()) 2071c0aa4b75SDavid Bolvansky return llvm::InlineCost::getNever("noinline call site attribute"); 20727adc3a2bSChandler Carruth 2073d34e60caSNicola Zaghen LLVM_DEBUG(llvm::dbgs() << " Analyzing call of " << Callee->getName() 20744eb18742SChad Rosier << "... (caller:" << Caller->getName() << ")\n"); 20757adc3a2bSChandler Carruth 2076652168a9SFedor Sergeev CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, ORE, *Callee, 2077652168a9SFedor Sergeev Call, Params); 2078652168a9SFedor Sergeev InlineResult ShouldInline = CA.analyzeCall(Call); 20797adc3a2bSChandler Carruth 2080d34e60caSNicola Zaghen LLVM_DEBUG(CA.dump()); 20817adc3a2bSChandler Carruth 20827adc3a2bSChandler Carruth // Check if there was a reason to force inlining or no inlining. 20837adc3a2bSChandler Carruth if (!ShouldInline && CA.getCost() < CA.getThreshold()) 2084c0aa4b75SDavid Bolvansky return InlineCost::getNever(ShouldInline.message); 20857adc3a2bSChandler Carruth if (ShouldInline && CA.getCost() >= CA.getThreshold()) 2086c0aa4b75SDavid Bolvansky return InlineCost::getAlways("empty function"); 20877adc3a2bSChandler Carruth 20887adc3a2bSChandler Carruth return llvm::InlineCost::get(CA.getCost(), CA.getThreshold()); 20897adc3a2bSChandler Carruth } 20907adc3a2bSChandler Carruth 209115b17d0aSYevgeny Rouban InlineResult llvm::isInlineViable(Function &F) { 20927adc3a2bSChandler Carruth bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice); 20937adc3a2bSChandler Carruth for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) { 2094639b29b1SNick Desaulniers // Disallow inlining of functions which contain indirect branches. 209515b17d0aSYevgeny Rouban if (isa<IndirectBrInst>(BI->getTerminator())) 209615b17d0aSYevgeny Rouban return "contains indirect branches"; 209715b17d0aSYevgeny Rouban 2098639b29b1SNick Desaulniers // Disallow inlining of blockaddresses which are used by non-callbr 2099639b29b1SNick Desaulniers // instructions. 21006a84cd3bSNick Desaulniers if (BI->hasAddressTaken()) 2101639b29b1SNick Desaulniers for (User *U : BlockAddress::get(&*BI)->users()) 2102639b29b1SNick Desaulniers if (!isa<CallBrInst>(*U)) 2103639b29b1SNick Desaulniers return "blockaddress used outside of callbr"; 21047adc3a2bSChandler Carruth 21055a82c916SDuncan P. N. Exon Smith for (auto &II : *BI) { 2106652168a9SFedor Sergeev CallBase *Call = dyn_cast<CallBase>(&II); 2107652168a9SFedor Sergeev if (!Call) 21087adc3a2bSChandler Carruth continue; 21097adc3a2bSChandler Carruth 21107adc3a2bSChandler Carruth // Disallow recursive calls. 2111652168a9SFedor Sergeev if (&F == Call->getCalledFunction()) 211215b17d0aSYevgeny Rouban return "recursive call"; 21137adc3a2bSChandler Carruth 21147adc3a2bSChandler Carruth // Disallow calls which expose returns-twice to a function not previously 21157adc3a2bSChandler Carruth // attributed as such. 2116652168a9SFedor Sergeev if (!ReturnsTwice && isa<CallInst>(Call) && 2117652168a9SFedor Sergeev cast<CallInst>(Call)->canReturnTwice()) 211815b17d0aSYevgeny Rouban return "exposes returns-twice attribute"; 21197adc3a2bSChandler Carruth 2120652168a9SFedor Sergeev if (Call->getCalledFunction()) 2121652168a9SFedor Sergeev switch (Call->getCalledFunction()->getIntrinsicID()) { 21221636651eSFlorian Hahn default: 21231636651eSFlorian Hahn break; 21244296ea72SVitaly Buka // Disallow inlining of @llvm.icall.branch.funnel because current 21254296ea72SVitaly Buka // backend can't separate call targets from call arguments. 21264296ea72SVitaly Buka case llvm::Intrinsic::icall_branch_funnel: 212715b17d0aSYevgeny Rouban return "disallowed inlining of @llvm.icall.branch.funnel"; 21287adc3a2bSChandler Carruth // Disallow inlining functions that call @llvm.localescape. Doing this 21297adc3a2bSChandler Carruth // correctly would require major changes to the inliner. 21301636651eSFlorian Hahn case llvm::Intrinsic::localescape: 213115b17d0aSYevgeny Rouban return "disallowed inlining of @llvm.localescape"; 213277beee41SSameer AbuAsal // Disallow inlining of functions that initialize VarArgs with va_start. 21331636651eSFlorian Hahn case llvm::Intrinsic::vastart: 213415b17d0aSYevgeny Rouban return "contains VarArgs initialized with va_start"; 21357adc3a2bSChandler Carruth } 21367adc3a2bSChandler Carruth } 21371636651eSFlorian Hahn } 21387adc3a2bSChandler Carruth 21397adc3a2bSChandler Carruth return true; 21407adc3a2bSChandler Carruth } 21411c57cc2bSEaswaran Raman 21421c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other 21431c57cc2bSEaswaran Raman // parameters. 21441c57cc2bSEaswaran Raman 21451c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) { 21461c57cc2bSEaswaran Raman InlineParams Params; 21471c57cc2bSEaswaran Raman 21481c57cc2bSEaswaran Raman // This field is the threshold to use for a callee by default. This is 21491c57cc2bSEaswaran Raman // derived from one or more of: 21501c57cc2bSEaswaran Raman // * optimization or size-optimization levels, 21511c57cc2bSEaswaran Raman // * a value passed to createFunctionInliningPass function, or 21521c57cc2bSEaswaran Raman // * the -inline-threshold flag. 21531c57cc2bSEaswaran Raman // If the -inline-threshold flag is explicitly specified, that is used 21541c57cc2bSEaswaran Raman // irrespective of anything else. 21551c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() > 0) 21561c57cc2bSEaswaran Raman Params.DefaultThreshold = InlineThreshold; 21571c57cc2bSEaswaran Raman else 21581c57cc2bSEaswaran Raman Params.DefaultThreshold = Threshold; 21591c57cc2bSEaswaran Raman 21601c57cc2bSEaswaran Raman // Set the HintThreshold knob from the -inlinehint-threshold. 21611c57cc2bSEaswaran Raman Params.HintThreshold = HintThreshold; 21621c57cc2bSEaswaran Raman 21631c57cc2bSEaswaran Raman // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold. 21641c57cc2bSEaswaran Raman Params.HotCallSiteThreshold = HotCallSiteThreshold; 21651c57cc2bSEaswaran Raman 2166974d4eeaSEaswaran Raman // If the -locally-hot-callsite-threshold is explicitly specified, use it to 2167974d4eeaSEaswaran Raman // populate LocallyHotCallSiteThreshold. Later, we populate 2168974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold from -locally-hot-callsite-threshold if 2169974d4eeaSEaswaran Raman // we know that optimization level is O3 (in the getInlineParams variant that 2170974d4eeaSEaswaran Raman // takes the opt and size levels). 2171974d4eeaSEaswaran Raman // FIXME: Remove this check (and make the assignment unconditional) after 2172974d4eeaSEaswaran Raman // addressing size regression issues at O2. 2173974d4eeaSEaswaran Raman if (LocallyHotCallSiteThreshold.getNumOccurrences() > 0) 2174974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 2175974d4eeaSEaswaran Raman 217612585b01SEaswaran Raman // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold. 217712585b01SEaswaran Raman Params.ColdCallSiteThreshold = ColdCallSiteThreshold; 217812585b01SEaswaran Raman 21791c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 21801c57cc2bSEaswaran Raman // -inlinehint-threshold commandline option is not explicitly given. If that 21811c57cc2bSEaswaran Raman // option is present, then its value applies even for callees with size and 21821c57cc2bSEaswaran Raman // minsize attributes. 21831c57cc2bSEaswaran Raman // If the -inline-threshold is not specified, set the ColdThreshold from the 21841c57cc2bSEaswaran Raman // -inlinecold-threshold even if it is not explicitly passed. If 21851c57cc2bSEaswaran Raman // -inline-threshold is specified, then -inlinecold-threshold needs to be 21861c57cc2bSEaswaran Raman // explicitly specified to set the ColdThreshold knob 21871c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() == 0) { 21881c57cc2bSEaswaran Raman Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold; 21891c57cc2bSEaswaran Raman Params.OptSizeThreshold = InlineConstants::OptSizeThreshold; 21901c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 21911c57cc2bSEaswaran Raman } else if (ColdThreshold.getNumOccurrences() > 0) { 21921c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 21931c57cc2bSEaswaran Raman } 21941c57cc2bSEaswaran Raman return Params; 21951c57cc2bSEaswaran Raman } 21961c57cc2bSEaswaran Raman 21971c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() { 21981c57cc2bSEaswaran Raman return getInlineParams(InlineThreshold); 21991c57cc2bSEaswaran Raman } 22001c57cc2bSEaswaran Raman 22011c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the 22021c57cc2bSEaswaran Raman // size opt level. 22031c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel, 22041c57cc2bSEaswaran Raman unsigned SizeOptLevel) { 22051c57cc2bSEaswaran Raman if (OptLevel > 2) 22061c57cc2bSEaswaran Raman return InlineConstants::OptAggressiveThreshold; 22071c57cc2bSEaswaran Raman if (SizeOptLevel == 1) // -Os 22081c57cc2bSEaswaran Raman return InlineConstants::OptSizeThreshold; 22091c57cc2bSEaswaran Raman if (SizeOptLevel == 2) // -Oz 22101c57cc2bSEaswaran Raman return InlineConstants::OptMinSizeThreshold; 22111c57cc2bSEaswaran Raman return InlineThreshold; 22121c57cc2bSEaswaran Raman } 22131c57cc2bSEaswaran Raman 22141c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) { 2215974d4eeaSEaswaran Raman auto Params = 2216974d4eeaSEaswaran Raman getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel)); 2217974d4eeaSEaswaran Raman // At O3, use the value of -locally-hot-callsite-threshold option to populate 2218974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold. Below O3, this flag has effect only 2219974d4eeaSEaswaran Raman // when it is specified explicitly. 2220974d4eeaSEaswaran Raman if (OptLevel > 2) 2221974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 2222974d4eeaSEaswaran Raman return Params; 22231c57cc2bSEaswaran Raman } 2224