17adc3a2bSChandler Carruth //===- InlineCost.cpp - Cost analysis for inliner -------------------------===// 27adc3a2bSChandler Carruth // 37adc3a2bSChandler Carruth // The LLVM Compiler Infrastructure 47adc3a2bSChandler Carruth // 57adc3a2bSChandler Carruth // This file is distributed under the University of Illinois Open Source 67adc3a2bSChandler Carruth // License. See LICENSE.TXT for details. 77adc3a2bSChandler Carruth // 87adc3a2bSChandler Carruth //===----------------------------------------------------------------------===// 97adc3a2bSChandler Carruth // 107adc3a2bSChandler Carruth // This file implements inline cost analysis. 117adc3a2bSChandler Carruth // 127adc3a2bSChandler Carruth //===----------------------------------------------------------------------===// 137adc3a2bSChandler Carruth 147adc3a2bSChandler Carruth #include "llvm/Analysis/InlineCost.h" 157adc3a2bSChandler Carruth #include "llvm/ADT/STLExtras.h" 167adc3a2bSChandler Carruth #include "llvm/ADT/SetVector.h" 177adc3a2bSChandler Carruth #include "llvm/ADT/SmallPtrSet.h" 187adc3a2bSChandler Carruth #include "llvm/ADT/SmallVector.h" 197adc3a2bSChandler Carruth #include "llvm/ADT/Statistic.h" 20aec2fa35SDaniel Jasper #include "llvm/Analysis/AssumptionCache.h" 2112585b01SEaswaran Raman #include "llvm/Analysis/BlockFrequencyInfo.h" 227adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h" 237adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h" 247adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h" 2571069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h" 267adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h" 277adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h" 287adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h" 297adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h" 307adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h" 317adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h" 327adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h" 337adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h" 347adc3a2bSChandler Carruth #include "llvm/IR/Operator.h" 357adc3a2bSChandler Carruth #include "llvm/Support/Debug.h" 367adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h" 377adc3a2bSChandler Carruth 387adc3a2bSChandler Carruth using namespace llvm; 397adc3a2bSChandler Carruth 407adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost" 417adc3a2bSChandler Carruth 427adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed"); 437adc3a2bSChandler Carruth 441c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold( 45f4bb2f0dSEaswaran Raman "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore, 46f4bb2f0dSEaswaran Raman cl::desc("Control the amount of inlining to perform (default = 225)")); 47f4bb2f0dSEaswaran Raman 48f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold( 49f4bb2f0dSEaswaran Raman "inlinehint-threshold", cl::Hidden, cl::init(325), 50f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with inline hint")); 51f4bb2f0dSEaswaran Raman 5212585b01SEaswaran Raman static cl::opt<int> 5312585b01SEaswaran Raman ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden, 5412585b01SEaswaran Raman cl::init(45), 5512585b01SEaswaran Raman cl::desc("Threshold for inlining cold callsites")); 5612585b01SEaswaran Raman 57f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based 58f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and 59f4bb2f0dSEaswaran Raman // BFI. 60f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold( 61c103ef89SEaswaran Raman "inlinecold-threshold", cl::Hidden, cl::init(45), 62f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with cold attribute")); 63f4bb2f0dSEaswaran Raman 64de39cb93SDehao Chen static cl::opt<int> 65de39cb93SDehao Chen HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000), 66de39cb93SDehao Chen cl::ZeroOrMore, 67de39cb93SDehao Chen cl::desc("Threshold for hot callsites ")); 68de39cb93SDehao Chen 69974d4eeaSEaswaran Raman static cl::opt<int> LocallyHotCallSiteThreshold( 70974d4eeaSEaswaran Raman "locally-hot-callsite-threshold", cl::Hidden, cl::init(525), cl::ZeroOrMore, 71974d4eeaSEaswaran Raman cl::desc("Threshold for locally hot callsites ")); 72974d4eeaSEaswaran Raman 73c5fa6358SEaswaran Raman static cl::opt<int> ColdCallSiteRelFreq( 74c5fa6358SEaswaran Raman "cold-callsite-rel-freq", cl::Hidden, cl::init(2), cl::ZeroOrMore, 75c5fa6358SEaswaran Raman cl::desc("Maxmimum block frequency, expressed as a percentage of caller's " 76c5fa6358SEaswaran Raman "entry frequency, for a callsite to be cold in the absence of " 77c5fa6358SEaswaran Raman "profile information.")); 78c5fa6358SEaswaran Raman 79974d4eeaSEaswaran Raman static cl::opt<int> HotCallSiteRelFreq( 80974d4eeaSEaswaran Raman "hot-callsite-rel-freq", cl::Hidden, cl::init(60), cl::ZeroOrMore, 81ff77cc75SEaswaran Raman cl::desc("Minimum block frequency, expressed as a multiple of caller's " 82974d4eeaSEaswaran Raman "entry frequency, for a callsite to be hot in the absence of " 83974d4eeaSEaswaran Raman "profile information.")); 84974d4eeaSEaswaran Raman 854924bb00SEaswaran Raman static cl::opt<bool> OptComputeFullInlineCost( 860812c5beSHaicheng Wu "inline-cost-full", cl::Hidden, cl::init(false), 870812c5beSHaicheng Wu cl::desc("Compute the full inline cost of a call site even when the cost " 880812c5beSHaicheng Wu "exceeds the threshold.")); 890812c5beSHaicheng Wu 907adc3a2bSChandler Carruth namespace { 917adc3a2bSChandler Carruth 927adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> { 937adc3a2bSChandler Carruth typedef InstVisitor<CallAnalyzer, bool> Base; 947adc3a2bSChandler Carruth friend class InstVisitor<CallAnalyzer, bool>; 957adc3a2bSChandler Carruth 967adc3a2bSChandler Carruth /// The TargetTransformInfo available for this compilation. 977adc3a2bSChandler Carruth const TargetTransformInfo &TTI; 987adc3a2bSChandler Carruth 99aec2fa35SDaniel Jasper /// Getter for the cache of @llvm.assume intrinsics. 100aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache; 101aec2fa35SDaniel Jasper 10212585b01SEaswaran Raman /// Getter for BlockFrequencyInfo 10312585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI; 10412585b01SEaswaran Raman 10571069cf6SEaswaran Raman /// Profile summary information. 10671069cf6SEaswaran Raman ProfileSummaryInfo *PSI; 10771069cf6SEaswaran Raman 108f3d122cdSPiotr Padlewski /// The called function. 1097adc3a2bSChandler Carruth Function &F; 1107adc3a2bSChandler Carruth 11185be8ca8SEric Christopher // Cache the DataLayout since we use it a lot. 11285be8ca8SEric Christopher const DataLayout &DL; 11385be8ca8SEric Christopher 1140812c5beSHaicheng Wu /// The OptimizationRemarkEmitter available for this compilation. 1150812c5beSHaicheng Wu OptimizationRemarkEmitter *ORE; 1160812c5beSHaicheng Wu 117f3d122cdSPiotr Padlewski /// The candidate callsite being analyzed. Please do not use this to do 118f3d122cdSPiotr Padlewski /// analysis in the caller function; we want the inline cost query to be 119f3d122cdSPiotr Padlewski /// easily cacheable. Instead, use the cover function paramHasAttr. 1207adc3a2bSChandler Carruth CallSite CandidateCS; 1217adc3a2bSChandler Carruth 122f3d122cdSPiotr Padlewski /// Tunable parameters that control the analysis. 1231c57cc2bSEaswaran Raman const InlineParams &Params; 1241c57cc2bSEaswaran Raman 1257adc3a2bSChandler Carruth int Threshold; 1267adc3a2bSChandler Carruth int Cost; 1274924bb00SEaswaran Raman bool ComputeFullInlineCost; 1287adc3a2bSChandler Carruth 1297adc3a2bSChandler Carruth bool IsCallerRecursive; 1307adc3a2bSChandler Carruth bool IsRecursiveCall; 1317adc3a2bSChandler Carruth bool ExposesReturnsTwice; 1327adc3a2bSChandler Carruth bool HasDynamicAlloca; 1337adc3a2bSChandler Carruth bool ContainsNoDuplicateCall; 1347adc3a2bSChandler Carruth bool HasReturn; 1357adc3a2bSChandler Carruth bool HasIndirectBr; 1367adc3a2bSChandler Carruth bool HasFrameEscape; 1377adc3a2bSChandler Carruth 1387adc3a2bSChandler Carruth /// Number of bytes allocated statically by the callee. 1397adc3a2bSChandler Carruth uint64_t AllocatedSize; 1407adc3a2bSChandler Carruth unsigned NumInstructions, NumVectorInstructions; 14151b809bfSEaswaran Raman int VectorBonus, TenPercentVectorBonus; 14251b809bfSEaswaran Raman // Bonus to be applied when the callee has only one reachable basic block. 14351b809bfSEaswaran Raman int SingleBBBonus; 1447adc3a2bSChandler Carruth 145f3d122cdSPiotr Padlewski /// While we walk the potentially-inlined instructions, we build up and 146f3d122cdSPiotr Padlewski /// maintain a mapping of simplified values specific to this callsite. The 147f3d122cdSPiotr Padlewski /// idea is to propagate any special information we have about arguments to 148f3d122cdSPiotr Padlewski /// this call through the inlinable section of the function, and account for 149f3d122cdSPiotr Padlewski /// likely simplifications post-inlining. The most important aspect we track 150f3d122cdSPiotr Padlewski /// is CFG altering simplifications -- when we prove a basic block dead, that 151f3d122cdSPiotr Padlewski /// can cause dramatic shifts in the cost of inlining a function. 1527adc3a2bSChandler Carruth DenseMap<Value *, Constant *> SimplifiedValues; 1537adc3a2bSChandler Carruth 154f3d122cdSPiotr Padlewski /// Keep track of the values which map back (through function arguments) to 155f3d122cdSPiotr Padlewski /// allocas on the caller stack which could be simplified through SROA. 1567adc3a2bSChandler Carruth DenseMap<Value *, Value *> SROAArgValues; 1577adc3a2bSChandler Carruth 158f3d122cdSPiotr Padlewski /// The mapping of caller Alloca values to their accumulated cost savings. If 159f3d122cdSPiotr Padlewski /// we have to disable SROA for one of the allocas, this tells us how much 160f3d122cdSPiotr Padlewski /// cost must be added. 1617adc3a2bSChandler Carruth DenseMap<Value *, int> SROAArgCosts; 1627adc3a2bSChandler Carruth 163f3d122cdSPiotr Padlewski /// Keep track of values which map to a pointer base and constant offset. 1647adc3a2bSChandler Carruth DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs; 1657adc3a2bSChandler Carruth 1667adc3a2bSChandler Carruth // Custom simplification helper routines. 1677adc3a2bSChandler Carruth bool isAllocaDerivedArg(Value *V); 1687adc3a2bSChandler Carruth bool lookupSROAArgAndCost(Value *V, Value *&Arg, 1697adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator &CostIt); 1707adc3a2bSChandler Carruth void disableSROA(DenseMap<Value *, int>::iterator CostIt); 1717adc3a2bSChandler Carruth void disableSROA(Value *V); 1727adc3a2bSChandler Carruth void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 1737adc3a2bSChandler Carruth int InstructionCost); 174201b191bSHaicheng Wu bool isGEPFree(GetElementPtrInst &GEP); 175d3558b5dSEvgeny Astigeevich bool canFoldInboundsGEP(GetElementPtrInst &I); 1767adc3a2bSChandler Carruth bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset); 1777adc3a2bSChandler Carruth bool simplifyCallSite(Function *F, CallSite CS); 178617f6364SEaswaran Raman template <typename Callable> 179617f6364SEaswaran Raman bool simplifyInstruction(Instruction &I, Callable Evaluate); 1807adc3a2bSChandler Carruth ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V); 1817adc3a2bSChandler Carruth 1827adc3a2bSChandler Carruth /// Return true if the given argument to the function being considered for 1837adc3a2bSChandler Carruth /// inlining has the given attribute set either at the call site or the 1847adc3a2bSChandler Carruth /// function declaration. Primarily used to inspect call site specific 1857adc3a2bSChandler Carruth /// attributes since these can be more precise than the ones on the callee 1867adc3a2bSChandler Carruth /// itself. 1877adc3a2bSChandler Carruth bool paramHasAttr(Argument *A, Attribute::AttrKind Attr); 1887adc3a2bSChandler Carruth 1897adc3a2bSChandler Carruth /// Return true if the given value is known non null within the callee if 1907adc3a2bSChandler Carruth /// inlined through this particular callsite. 1917adc3a2bSChandler Carruth bool isKnownNonNullInCallee(Value *V); 1927adc3a2bSChandler Carruth 193f4bb2f0dSEaswaran Raman /// Update Threshold based on callsite properties such as callee 194f4bb2f0dSEaswaran Raman /// attributes and callee hotness for PGO builds. The Callee is explicitly 195f4bb2f0dSEaswaran Raman /// passed to support analyzing indirect calls whose target is inferred by 196f4bb2f0dSEaswaran Raman /// analysis. 197f4bb2f0dSEaswaran Raman void updateThreshold(CallSite CS, Function &Callee); 198f4bb2f0dSEaswaran Raman 1999a3fc17aSEaswaran Raman /// Return true if size growth is allowed when inlining the callee at CS. 2009a3fc17aSEaswaran Raman bool allowSizeGrowth(CallSite CS); 2019a3fc17aSEaswaran Raman 202c5fa6358SEaswaran Raman /// Return true if \p CS is a cold callsite. 203c5fa6358SEaswaran Raman bool isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI); 204c5fa6358SEaswaran Raman 205974d4eeaSEaswaran Raman /// Return a higher threshold if \p CS is a hot callsite. 206974d4eeaSEaswaran Raman Optional<int> getHotCallSiteThreshold(CallSite CS, 207974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI); 208974d4eeaSEaswaran Raman 2097adc3a2bSChandler Carruth // Custom analysis routines. 2107adc3a2bSChandler Carruth bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues); 2117adc3a2bSChandler Carruth 2127adc3a2bSChandler Carruth // Disable several entry points to the visitor so we don't accidentally use 2137adc3a2bSChandler Carruth // them by declaring but not defining them here. 214567556aaSChad Rosier void visit(Module *); 215567556aaSChad Rosier void visit(Module &); 216567556aaSChad Rosier void visit(Function *); 217567556aaSChad Rosier void visit(Function &); 218567556aaSChad Rosier void visit(BasicBlock *); 219567556aaSChad Rosier void visit(BasicBlock &); 2207adc3a2bSChandler Carruth 2217adc3a2bSChandler Carruth // Provide base case for our instruction visit. 2227adc3a2bSChandler Carruth bool visitInstruction(Instruction &I); 2237adc3a2bSChandler Carruth 2247adc3a2bSChandler Carruth // Our visit overrides. 2257adc3a2bSChandler Carruth bool visitAlloca(AllocaInst &I); 2267adc3a2bSChandler Carruth bool visitPHI(PHINode &I); 2277adc3a2bSChandler Carruth bool visitGetElementPtr(GetElementPtrInst &I); 2287adc3a2bSChandler Carruth bool visitBitCast(BitCastInst &I); 2297adc3a2bSChandler Carruth bool visitPtrToInt(PtrToIntInst &I); 2307adc3a2bSChandler Carruth bool visitIntToPtr(IntToPtrInst &I); 2317adc3a2bSChandler Carruth bool visitCastInst(CastInst &I); 2327adc3a2bSChandler Carruth bool visitUnaryInstruction(UnaryInstruction &I); 2337adc3a2bSChandler Carruth bool visitCmpInst(CmpInst &I); 2342e1c050eSChad Rosier bool visitAnd(BinaryOperator &I); 2352e1c050eSChad Rosier bool visitOr(BinaryOperator &I); 2367adc3a2bSChandler Carruth bool visitSub(BinaryOperator &I); 2377adc3a2bSChandler Carruth bool visitBinaryOperator(BinaryOperator &I); 2387adc3a2bSChandler Carruth bool visitLoad(LoadInst &I); 2397adc3a2bSChandler Carruth bool visitStore(StoreInst &I); 2407adc3a2bSChandler Carruth bool visitExtractValue(ExtractValueInst &I); 2417adc3a2bSChandler Carruth bool visitInsertValue(InsertValueInst &I); 2427adc3a2bSChandler Carruth bool visitCallSite(CallSite CS); 2437adc3a2bSChandler Carruth bool visitReturnInst(ReturnInst &RI); 2447adc3a2bSChandler Carruth bool visitBranchInst(BranchInst &BI); 2453ec848bcSHaicheng Wu bool visitSelectInst(SelectInst &SI); 2467adc3a2bSChandler Carruth bool visitSwitchInst(SwitchInst &SI); 2477adc3a2bSChandler Carruth bool visitIndirectBrInst(IndirectBrInst &IBI); 2487adc3a2bSChandler Carruth bool visitResumeInst(ResumeInst &RI); 2497adc3a2bSChandler Carruth bool visitCleanupReturnInst(CleanupReturnInst &RI); 2507adc3a2bSChandler Carruth bool visitCatchReturnInst(CatchReturnInst &RI); 2517adc3a2bSChandler Carruth bool visitUnreachableInst(UnreachableInst &I); 2527adc3a2bSChandler Carruth 2537adc3a2bSChandler Carruth public: 254ab6a6837SSean Silva CallAnalyzer(const TargetTransformInfo &TTI, 255aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 25612585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI, 2570812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE, 2580812c5beSHaicheng Wu Function &Callee, CallSite CSArg, const InlineParams &Params) 25912585b01SEaswaran Raman : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI), 2600812c5beSHaicheng Wu PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()), ORE(ORE), 26185be8ca8SEric Christopher CandidateCS(CSArg), Params(Params), Threshold(Params.DefaultThreshold), 2624924bb00SEaswaran Raman Cost(0), ComputeFullInlineCost(OptComputeFullInlineCost || 2634924bb00SEaswaran Raman Params.ComputeFullInlineCost || ORE), 2644924bb00SEaswaran Raman IsCallerRecursive(false), IsRecursiveCall(false), 26585be8ca8SEric Christopher ExposesReturnsTwice(false), HasDynamicAlloca(false), 26685be8ca8SEric Christopher ContainsNoDuplicateCall(false), HasReturn(false), HasIndirectBr(false), 26785be8ca8SEric Christopher HasFrameEscape(false), AllocatedSize(0), NumInstructions(0), 26851b809bfSEaswaran Raman NumVectorInstructions(0), VectorBonus(0), SingleBBBonus(0), 26951b809bfSEaswaran Raman NumConstantArgs(0), NumConstantOffsetPtrArgs(0), NumAllocaArgs(0), 27051b809bfSEaswaran Raman NumConstantPtrCmps(0), NumConstantPtrDiffs(0), 27151b809bfSEaswaran Raman NumInstructionsSimplified(0), SROACostSavings(0), 27251b809bfSEaswaran Raman SROACostSavingsLost(0) {} 2737adc3a2bSChandler Carruth 2747adc3a2bSChandler Carruth bool analyzeCall(CallSite CS); 2757adc3a2bSChandler Carruth 2767adc3a2bSChandler Carruth int getThreshold() { return Threshold; } 2777adc3a2bSChandler Carruth int getCost() { return Cost; } 2787adc3a2bSChandler Carruth 2797adc3a2bSChandler Carruth // Keep a bunch of stats about the cost savings found so we can print them 2807adc3a2bSChandler Carruth // out when debugging. 2817adc3a2bSChandler Carruth unsigned NumConstantArgs; 2827adc3a2bSChandler Carruth unsigned NumConstantOffsetPtrArgs; 2837adc3a2bSChandler Carruth unsigned NumAllocaArgs; 2847adc3a2bSChandler Carruth unsigned NumConstantPtrCmps; 2857adc3a2bSChandler Carruth unsigned NumConstantPtrDiffs; 2867adc3a2bSChandler Carruth unsigned NumInstructionsSimplified; 2877adc3a2bSChandler Carruth unsigned SROACostSavings; 2887adc3a2bSChandler Carruth unsigned SROACostSavingsLost; 2897adc3a2bSChandler Carruth 2907adc3a2bSChandler Carruth void dump(); 2917adc3a2bSChandler Carruth }; 2927adc3a2bSChandler Carruth 2937adc3a2bSChandler Carruth } // namespace 2947adc3a2bSChandler Carruth 2957adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument. 2967adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) { 2977adc3a2bSChandler Carruth return SROAArgValues.count(V); 2987adc3a2bSChandler Carruth } 2997adc3a2bSChandler Carruth 3007adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to. 3017adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate. 3027adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost( 3037adc3a2bSChandler Carruth Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) { 3047adc3a2bSChandler Carruth if (SROAArgValues.empty() || SROAArgCosts.empty()) 3057adc3a2bSChandler Carruth return false; 3067adc3a2bSChandler Carruth 3077adc3a2bSChandler Carruth DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V); 3087adc3a2bSChandler Carruth if (ArgIt == SROAArgValues.end()) 3097adc3a2bSChandler Carruth return false; 3107adc3a2bSChandler Carruth 3117adc3a2bSChandler Carruth Arg = ArgIt->second; 3127adc3a2bSChandler Carruth CostIt = SROAArgCosts.find(Arg); 3137adc3a2bSChandler Carruth return CostIt != SROAArgCosts.end(); 3147adc3a2bSChandler Carruth } 3157adc3a2bSChandler Carruth 3167adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator. 3177adc3a2bSChandler Carruth /// 3187adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost 3197adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement. 3207adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) { 3217adc3a2bSChandler Carruth // If we're no longer able to perform SROA we need to undo its cost savings 3227adc3a2bSChandler Carruth // and prevent subsequent analysis. 3237adc3a2bSChandler Carruth Cost += CostIt->second; 3247adc3a2bSChandler Carruth SROACostSavings -= CostIt->second; 3257adc3a2bSChandler Carruth SROACostSavingsLost += CostIt->second; 3267adc3a2bSChandler Carruth SROAArgCosts.erase(CostIt); 3277adc3a2bSChandler Carruth } 3287adc3a2bSChandler Carruth 3297adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it. 3307adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) { 3317adc3a2bSChandler Carruth Value *SROAArg; 3327adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 3337adc3a2bSChandler Carruth if (lookupSROAArgAndCost(V, SROAArg, CostIt)) 3347adc3a2bSChandler Carruth disableSROA(CostIt); 3357adc3a2bSChandler Carruth } 3367adc3a2bSChandler Carruth 3377adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate. 3387adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 3397adc3a2bSChandler Carruth int InstructionCost) { 3407adc3a2bSChandler Carruth CostIt->second += InstructionCost; 3417adc3a2bSChandler Carruth SROACostSavings += InstructionCost; 3427adc3a2bSChandler Carruth } 3437adc3a2bSChandler Carruth 3447adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible. 3457adc3a2bSChandler Carruth /// 3467adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any 3477adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite. 3487adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) { 3497adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 3507adc3a2bSChandler Carruth assert(IntPtrWidth == Offset.getBitWidth()); 3517adc3a2bSChandler Carruth 3527adc3a2bSChandler Carruth for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP); 3537adc3a2bSChandler Carruth GTI != GTE; ++GTI) { 3547adc3a2bSChandler Carruth ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand()); 3557adc3a2bSChandler Carruth if (!OpC) 3567adc3a2bSChandler Carruth if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand())) 3577adc3a2bSChandler Carruth OpC = dyn_cast<ConstantInt>(SimpleOp); 3587adc3a2bSChandler Carruth if (!OpC) 3597adc3a2bSChandler Carruth return false; 360567556aaSChad Rosier if (OpC->isZero()) 361567556aaSChad Rosier continue; 3627adc3a2bSChandler Carruth 3637adc3a2bSChandler Carruth // Handle a struct index, which adds its field offset to the pointer. 364ab85225bSPeter Collingbourne if (StructType *STy = GTI.getStructTypeOrNull()) { 3657adc3a2bSChandler Carruth unsigned ElementIdx = OpC->getZExtValue(); 3667adc3a2bSChandler Carruth const StructLayout *SL = DL.getStructLayout(STy); 3677adc3a2bSChandler Carruth Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx)); 3687adc3a2bSChandler Carruth continue; 3697adc3a2bSChandler Carruth } 3707adc3a2bSChandler Carruth 3717adc3a2bSChandler Carruth APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType())); 3727adc3a2bSChandler Carruth Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize; 3737adc3a2bSChandler Carruth } 3747adc3a2bSChandler Carruth return true; 3757adc3a2bSChandler Carruth } 3767adc3a2bSChandler Carruth 377201b191bSHaicheng Wu /// \brief Use TTI to check whether a GEP is free. 378201b191bSHaicheng Wu /// 379201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite. 380201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) { 38161c1bd5aSEvgeny Astigeevich SmallVector<Value *, 4> Operands; 38261c1bd5aSEvgeny Astigeevich Operands.push_back(GEP.getOperand(0)); 383201b191bSHaicheng Wu for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 384201b191bSHaicheng Wu if (Constant *SimpleOp = SimplifiedValues.lookup(*I)) 38561c1bd5aSEvgeny Astigeevich Operands.push_back(SimpleOp); 386201b191bSHaicheng Wu else 38761c1bd5aSEvgeny Astigeevich Operands.push_back(*I); 38861c1bd5aSEvgeny Astigeevich return TargetTransformInfo::TCC_Free == TTI.getUserCost(&GEP, Operands); 389201b191bSHaicheng Wu } 390201b191bSHaicheng Wu 3917adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) { 3927adc3a2bSChandler Carruth // Check whether inlining will turn a dynamic alloca into a static 3930f153424SSanjay Patel // alloca and handle that case. 3947adc3a2bSChandler Carruth if (I.isArrayAllocation()) { 3950f153424SSanjay Patel Constant *Size = SimplifiedValues.lookup(I.getArraySize()); 3960f153424SSanjay Patel if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) { 3977adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 39822eb80a1SEaswaran Raman AllocatedSize = SaturatingMultiplyAdd( 39922eb80a1SEaswaran Raman AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize); 4007adc3a2bSChandler Carruth return Base::visitAlloca(I); 4017adc3a2bSChandler Carruth } 4027adc3a2bSChandler Carruth } 4037adc3a2bSChandler Carruth 4047adc3a2bSChandler Carruth // Accumulate the allocated size. 4057adc3a2bSChandler Carruth if (I.isStaticAlloca()) { 4067adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 40722eb80a1SEaswaran Raman AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize); 4087adc3a2bSChandler Carruth } 4097adc3a2bSChandler Carruth 4107adc3a2bSChandler Carruth // We will happily inline static alloca instructions. 4117adc3a2bSChandler Carruth if (I.isStaticAlloca()) 4127adc3a2bSChandler Carruth return Base::visitAlloca(I); 4137adc3a2bSChandler Carruth 4147adc3a2bSChandler Carruth // FIXME: This is overly conservative. Dynamic allocas are inefficient for 4157adc3a2bSChandler Carruth // a variety of reasons, and so we would like to not inline them into 4167adc3a2bSChandler Carruth // functions which don't currently have a dynamic alloca. This simply 4177adc3a2bSChandler Carruth // disables inlining altogether in the presence of a dynamic alloca. 4187adc3a2bSChandler Carruth HasDynamicAlloca = true; 4197adc3a2bSChandler Carruth return false; 4207adc3a2bSChandler Carruth } 4217adc3a2bSChandler Carruth 4227adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) { 4237adc3a2bSChandler Carruth // FIXME: We should potentially be tracking values through phi nodes, 4247adc3a2bSChandler Carruth // especially when they collapse to a single value due to deleted CFG edges 4257adc3a2bSChandler Carruth // during inlining. 4267adc3a2bSChandler Carruth 4277adc3a2bSChandler Carruth // FIXME: We need to propagate SROA *disabling* through phi nodes, even 4287adc3a2bSChandler Carruth // though we don't want to propagate it's bonuses. The idea is to disable 4297adc3a2bSChandler Carruth // SROA if it *might* be used in an inappropriate manner. 4307adc3a2bSChandler Carruth 4317adc3a2bSChandler Carruth // Phi nodes are always zero-cost. 4327adc3a2bSChandler Carruth return true; 4337adc3a2bSChandler Carruth } 4347adc3a2bSChandler Carruth 435d3558b5dSEvgeny Astigeevich /// \brief Check we can fold GEPs of constant-offset call site argument pointers. 436d3558b5dSEvgeny Astigeevich /// This requires target data and inbounds GEPs. 437d3558b5dSEvgeny Astigeevich /// 438d3558b5dSEvgeny Astigeevich /// \return true if the specified GEP can be folded. 439d3558b5dSEvgeny Astigeevich bool CallAnalyzer::canFoldInboundsGEP(GetElementPtrInst &I) { 440d3558b5dSEvgeny Astigeevich // Check if we have a base + offset for the pointer. 441d3558b5dSEvgeny Astigeevich std::pair<Value *, APInt> BaseAndOffset = 442d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs.lookup(I.getPointerOperand()); 443d3558b5dSEvgeny Astigeevich if (!BaseAndOffset.first) 444d3558b5dSEvgeny Astigeevich return false; 445d3558b5dSEvgeny Astigeevich 446d3558b5dSEvgeny Astigeevich // Check if the offset of this GEP is constant, and if so accumulate it 447d3558b5dSEvgeny Astigeevich // into Offset. 448d3558b5dSEvgeny Astigeevich if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) 449d3558b5dSEvgeny Astigeevich return false; 450d3558b5dSEvgeny Astigeevich 451d3558b5dSEvgeny Astigeevich // Add the result as a new mapping to Base + Offset. 452d3558b5dSEvgeny Astigeevich ConstantOffsetPtrs[&I] = BaseAndOffset; 453d3558b5dSEvgeny Astigeevich 454d3558b5dSEvgeny Astigeevich return true; 455d3558b5dSEvgeny Astigeevich } 456d3558b5dSEvgeny Astigeevich 4577adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) { 4587adc3a2bSChandler Carruth Value *SROAArg; 4597adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 460567556aaSChad Rosier bool SROACandidate = 461567556aaSChad Rosier lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt); 4627adc3a2bSChandler Carruth 463a8b9cdc9SEaswaran Raman // Lambda to check whether a GEP's indices are all constant. 464a8b9cdc9SEaswaran Raman auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) { 465a8b9cdc9SEaswaran Raman for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 466a8b9cdc9SEaswaran Raman if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I)) 467a8b9cdc9SEaswaran Raman return false; 468a8b9cdc9SEaswaran Raman return true; 469a8b9cdc9SEaswaran Raman }; 470a8b9cdc9SEaswaran Raman 471d3558b5dSEvgeny Astigeevich if ((I.isInBounds() && canFoldInboundsGEP(I)) || IsGEPOffsetConstant(I)) { 4727adc3a2bSChandler Carruth if (SROACandidate) 4737adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4747adc3a2bSChandler Carruth 4757adc3a2bSChandler Carruth // Constant GEPs are modeled as free. 4767adc3a2bSChandler Carruth return true; 4777adc3a2bSChandler Carruth } 4787adc3a2bSChandler Carruth 4797adc3a2bSChandler Carruth // Variable GEPs will require math and will disable SROA. 4807adc3a2bSChandler Carruth if (SROACandidate) 4817adc3a2bSChandler Carruth disableSROA(CostIt); 482201b191bSHaicheng Wu return isGEPFree(I); 4837adc3a2bSChandler Carruth } 4847adc3a2bSChandler Carruth 485617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues. 486617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the 487617f6364SEaswaran Raman /// instruction when all the operands are constants. 488617f6364SEaswaran Raman template <typename Callable> 489617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) { 490617f6364SEaswaran Raman SmallVector<Constant *, 2> COps; 491617f6364SEaswaran Raman for (Value *Op : I.operands()) { 492617f6364SEaswaran Raman Constant *COp = dyn_cast<Constant>(Op); 4937adc3a2bSChandler Carruth if (!COp) 494617f6364SEaswaran Raman COp = SimplifiedValues.lookup(Op); 495617f6364SEaswaran Raman if (!COp) 496617f6364SEaswaran Raman return false; 497617f6364SEaswaran Raman COps.push_back(COp); 498617f6364SEaswaran Raman } 499617f6364SEaswaran Raman auto *C = Evaluate(COps); 500617f6364SEaswaran Raman if (!C) 501617f6364SEaswaran Raman return false; 5027adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5037adc3a2bSChandler Carruth return true; 5047adc3a2bSChandler Carruth } 5057adc3a2bSChandler Carruth 506617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) { 507617f6364SEaswaran Raman // Propagate constants through bitcasts. 508617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 509617f6364SEaswaran Raman return ConstantExpr::getBitCast(COps[0], I.getType()); 510617f6364SEaswaran Raman })) 511617f6364SEaswaran Raman return true; 512617f6364SEaswaran Raman 5137adc3a2bSChandler Carruth // Track base/offsets through casts 514567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 515567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 5167adc3a2bSChandler Carruth // Casts don't change the offset, just wrap it up. 5177adc3a2bSChandler Carruth if (BaseAndOffset.first) 5187adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 5197adc3a2bSChandler Carruth 5207adc3a2bSChandler Carruth // Also look for SROA candidates here. 5217adc3a2bSChandler Carruth Value *SROAArg; 5227adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 5237adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 5247adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5257adc3a2bSChandler Carruth 5267adc3a2bSChandler Carruth // Bitcasts are always zero cost. 5277adc3a2bSChandler Carruth return true; 5287adc3a2bSChandler Carruth } 5297adc3a2bSChandler Carruth 5307adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) { 5317adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 532617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 533617f6364SEaswaran Raman return ConstantExpr::getPtrToInt(COps[0], I.getType()); 534617f6364SEaswaran Raman })) 5357adc3a2bSChandler Carruth return true; 5367adc3a2bSChandler Carruth 5377adc3a2bSChandler Carruth // Track base/offset pairs when converted to a plain integer provided the 5387adc3a2bSChandler Carruth // integer is large enough to represent the pointer. 5397adc3a2bSChandler Carruth unsigned IntegerSize = I.getType()->getScalarSizeInBits(); 5407adc3a2bSChandler Carruth if (IntegerSize >= DL.getPointerSizeInBits()) { 541567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 542567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 5437adc3a2bSChandler Carruth if (BaseAndOffset.first) 5447adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 5457adc3a2bSChandler Carruth } 5467adc3a2bSChandler Carruth 5477adc3a2bSChandler Carruth // This is really weird. Technically, ptrtoint will disable SROA. However, 5487adc3a2bSChandler Carruth // unless that ptrtoint is *used* somewhere in the live basic blocks after 5497adc3a2bSChandler Carruth // inlining, it will be nuked, and SROA should proceed. All of the uses which 5507adc3a2bSChandler Carruth // would block SROA would also block SROA if applied directly to a pointer, 5517adc3a2bSChandler Carruth // and so we can just add the integer in here. The only places where SROA is 5527adc3a2bSChandler Carruth // preserved either cannot fire on an integer, or won't in-and-of themselves 5537adc3a2bSChandler Carruth // disable SROA (ext) w/o some later use that we would see and disable. 5547adc3a2bSChandler Carruth Value *SROAArg; 5557adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 5567adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 5577adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5587adc3a2bSChandler Carruth 5597adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5607adc3a2bSChandler Carruth } 5617adc3a2bSChandler Carruth 5627adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) { 5637adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 564617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 565617f6364SEaswaran Raman return ConstantExpr::getIntToPtr(COps[0], I.getType()); 566617f6364SEaswaran Raman })) 5677adc3a2bSChandler Carruth return true; 5687adc3a2bSChandler Carruth 5697adc3a2bSChandler Carruth // Track base/offset pairs when round-tripped through a pointer without 5707adc3a2bSChandler Carruth // modifications provided the integer is not too large. 5717adc3a2bSChandler Carruth Value *Op = I.getOperand(0); 5727adc3a2bSChandler Carruth unsigned IntegerSize = Op->getType()->getScalarSizeInBits(); 5737adc3a2bSChandler Carruth if (IntegerSize <= DL.getPointerSizeInBits()) { 5747adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op); 5757adc3a2bSChandler Carruth if (BaseAndOffset.first) 5767adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 5777adc3a2bSChandler Carruth } 5787adc3a2bSChandler Carruth 5797adc3a2bSChandler Carruth // "Propagate" SROA here in the same manner as we do for ptrtoint above. 5807adc3a2bSChandler Carruth Value *SROAArg; 5817adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 5827adc3a2bSChandler Carruth if (lookupSROAArgAndCost(Op, SROAArg, CostIt)) 5837adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5847adc3a2bSChandler Carruth 5857adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5867adc3a2bSChandler Carruth } 5877adc3a2bSChandler Carruth 5887adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) { 5897adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 590617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 591617f6364SEaswaran Raman return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType()); 592617f6364SEaswaran Raman })) 5937adc3a2bSChandler Carruth return true; 5947adc3a2bSChandler Carruth 5957adc3a2bSChandler Carruth // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere. 5967adc3a2bSChandler Carruth disableSROA(I.getOperand(0)); 5977adc3a2bSChandler Carruth 5987adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5997adc3a2bSChandler Carruth } 6007adc3a2bSChandler Carruth 6017adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) { 6027adc3a2bSChandler Carruth Value *Operand = I.getOperand(0); 603617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 604617f6364SEaswaran Raman return ConstantFoldInstOperands(&I, COps[0], DL); 605617f6364SEaswaran Raman })) 6067adc3a2bSChandler Carruth return true; 6077adc3a2bSChandler Carruth 6087adc3a2bSChandler Carruth // Disable any SROA on the argument to arbitrary unary operators. 6097adc3a2bSChandler Carruth disableSROA(Operand); 6107adc3a2bSChandler Carruth 6117adc3a2bSChandler Carruth return false; 6127adc3a2bSChandler Carruth } 6137adc3a2bSChandler Carruth 6147adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) { 615fb502d2fSReid Kleckner return CandidateCS.paramHasAttr(A->getArgNo(), Attr); 6167adc3a2bSChandler Carruth } 6177adc3a2bSChandler Carruth 6187adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) { 6197adc3a2bSChandler Carruth // Does the *call site* have the NonNull attribute set on an argument? We 6207adc3a2bSChandler Carruth // use the attribute on the call site to memoize any analysis done in the 6217adc3a2bSChandler Carruth // caller. This will also trip if the callee function has a non-null 6227adc3a2bSChandler Carruth // parameter attribute, but that's a less interesting case because hopefully 6237adc3a2bSChandler Carruth // the callee would already have been simplified based on that. 6247adc3a2bSChandler Carruth if (Argument *A = dyn_cast<Argument>(V)) 6257adc3a2bSChandler Carruth if (paramHasAttr(A, Attribute::NonNull)) 6267adc3a2bSChandler Carruth return true; 6277adc3a2bSChandler Carruth 6287adc3a2bSChandler Carruth // Is this an alloca in the caller? This is distinct from the attribute case 6297adc3a2bSChandler Carruth // above because attributes aren't updated within the inliner itself and we 6307adc3a2bSChandler Carruth // always want to catch the alloca derived case. 6317adc3a2bSChandler Carruth if (isAllocaDerivedArg(V)) 6327adc3a2bSChandler Carruth // We can actually predict the result of comparisons between an 6337adc3a2bSChandler Carruth // alloca-derived value and null. Note that this fires regardless of 6347adc3a2bSChandler Carruth // SROA firing. 6357adc3a2bSChandler Carruth return true; 6367adc3a2bSChandler Carruth 6377adc3a2bSChandler Carruth return false; 6387adc3a2bSChandler Carruth } 6397adc3a2bSChandler Carruth 6409a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) { 6419a3fc17aSEaswaran Raman // If the normal destination of the invoke or the parent block of the call 6429a3fc17aSEaswaran Raman // site is unreachable-terminated, there is little point in inlining this 6439a3fc17aSEaswaran Raman // unless there is literally zero cost. 6449a3fc17aSEaswaran Raman // FIXME: Note that it is possible that an unreachable-terminated block has a 6459a3fc17aSEaswaran Raman // hot entry. For example, in below scenario inlining hot_call_X() may be 6469a3fc17aSEaswaran Raman // beneficial : 6479a3fc17aSEaswaran Raman // main() { 6489a3fc17aSEaswaran Raman // hot_call_1(); 6499a3fc17aSEaswaran Raman // ... 6509a3fc17aSEaswaran Raman // hot_call_N() 6519a3fc17aSEaswaran Raman // exit(0); 6529a3fc17aSEaswaran Raman // } 6539a3fc17aSEaswaran Raman // For now, we are not handling this corner case here as it is rare in real 6549a3fc17aSEaswaran Raman // code. In future, we should elaborate this based on BPI and BFI in more 6559a3fc17aSEaswaran Raman // general threshold adjusting heuristics in updateThreshold(). 6569a3fc17aSEaswaran Raman Instruction *Instr = CS.getInstruction(); 6579a3fc17aSEaswaran Raman if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) { 6589a3fc17aSEaswaran Raman if (isa<UnreachableInst>(II->getNormalDest()->getTerminator())) 6599a3fc17aSEaswaran Raman return false; 6609a3fc17aSEaswaran Raman } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator())) 6619a3fc17aSEaswaran Raman return false; 6629a3fc17aSEaswaran Raman 6639a3fc17aSEaswaran Raman return true; 6649a3fc17aSEaswaran Raman } 6659a3fc17aSEaswaran Raman 666c5fa6358SEaswaran Raman bool CallAnalyzer::isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI) { 667c5fa6358SEaswaran Raman // If global profile summary is available, then callsite's coldness is 668c5fa6358SEaswaran Raman // determined based on that. 669bba762a1SChandler Carruth if (PSI && PSI->hasProfileSummary()) 670c5fa6358SEaswaran Raman return PSI->isColdCallSite(CS, CallerBFI); 671bba762a1SChandler Carruth 672bba762a1SChandler Carruth // Otherwise we need BFI to be available. 673c5fa6358SEaswaran Raman if (!CallerBFI) 674c5fa6358SEaswaran Raman return false; 675c5fa6358SEaswaran Raman 676bba762a1SChandler Carruth // Determine if the callsite is cold relative to caller's entry. We could 677bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 678bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 679bba762a1SChandler Carruth // profiles. 680c5fa6358SEaswaran Raman const BranchProbability ColdProb(ColdCallSiteRelFreq, 100); 681c5fa6358SEaswaran Raman auto CallSiteBB = CS.getInstruction()->getParent(); 682c5fa6358SEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB); 683c5fa6358SEaswaran Raman auto CallerEntryFreq = 684c5fa6358SEaswaran Raman CallerBFI->getBlockFreq(&(CS.getCaller()->getEntryBlock())); 685c5fa6358SEaswaran Raman return CallSiteFreq < CallerEntryFreq * ColdProb; 686c5fa6358SEaswaran Raman } 687c5fa6358SEaswaran Raman 688974d4eeaSEaswaran Raman Optional<int> 689974d4eeaSEaswaran Raman CallAnalyzer::getHotCallSiteThreshold(CallSite CS, 690974d4eeaSEaswaran Raman BlockFrequencyInfo *CallerBFI) { 691bba762a1SChandler Carruth 692974d4eeaSEaswaran Raman // If global profile summary is available, then callsite's hotness is 693974d4eeaSEaswaran Raman // determined based on that. 694bba762a1SChandler Carruth if (PSI && PSI->hasProfileSummary() && PSI->isHotCallSite(CS, CallerBFI)) 695bba762a1SChandler Carruth return Params.HotCallSiteThreshold; 696974d4eeaSEaswaran Raman 697bba762a1SChandler Carruth // Otherwise we need BFI to be available and to have a locally hot callsite 698bba762a1SChandler Carruth // threshold. 699bba762a1SChandler Carruth if (!CallerBFI || !Params.LocallyHotCallSiteThreshold) 700974d4eeaSEaswaran Raman return None; 701974d4eeaSEaswaran Raman 702bba762a1SChandler Carruth // Determine if the callsite is hot relative to caller's entry. We could 703bba762a1SChandler Carruth // potentially cache the computation of scaled entry frequency, but the added 704bba762a1SChandler Carruth // complexity is not worth it unless this scaling shows up high in the 705bba762a1SChandler Carruth // profiles. 706974d4eeaSEaswaran Raman auto CallSiteBB = CS.getInstruction()->getParent(); 707974d4eeaSEaswaran Raman auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB).getFrequency(); 708974d4eeaSEaswaran Raman auto CallerEntryFreq = CallerBFI->getEntryFreq(); 709974d4eeaSEaswaran Raman if (CallSiteFreq >= CallerEntryFreq * HotCallSiteRelFreq) 710bba762a1SChandler Carruth return Params.LocallyHotCallSiteThreshold; 711bba762a1SChandler Carruth 712bba762a1SChandler Carruth // Otherwise treat it normally. 713974d4eeaSEaswaran Raman return None; 714974d4eeaSEaswaran Raman } 715974d4eeaSEaswaran Raman 716f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) { 7179a3fc17aSEaswaran Raman // If no size growth is allowed for this inlining, set Threshold to 0. 7189a3fc17aSEaswaran Raman if (!allowSizeGrowth(CS)) { 7199a3fc17aSEaswaran Raman Threshold = 0; 7209a3fc17aSEaswaran Raman return; 7219a3fc17aSEaswaran Raman } 7229a3fc17aSEaswaran Raman 723bb578ef0SEaswaran Raman Function *Caller = CS.getCaller(); 7241c57cc2bSEaswaran Raman 7251c57cc2bSEaswaran Raman // return min(A, B) if B is valid. 7261c57cc2bSEaswaran Raman auto MinIfValid = [](int A, Optional<int> B) { 7271c57cc2bSEaswaran Raman return B ? std::min(A, B.getValue()) : A; 7281c57cc2bSEaswaran Raman }; 7291c57cc2bSEaswaran Raman 7300d58fcacSEaswaran Raman // return max(A, B) if B is valid. 7310d58fcacSEaswaran Raman auto MaxIfValid = [](int A, Optional<int> B) { 7320d58fcacSEaswaran Raman return B ? std::max(A, B.getValue()) : A; 7330d58fcacSEaswaran Raman }; 7340d58fcacSEaswaran Raman 73551b809bfSEaswaran Raman // Various bonus percentages. These are multiplied by Threshold to get the 73651b809bfSEaswaran Raman // bonus values. 73751b809bfSEaswaran Raman // SingleBBBonus: This bonus is applied if the callee has a single reachable 73851b809bfSEaswaran Raman // basic block at the given callsite context. This is speculatively applied 73951b809bfSEaswaran Raman // and withdrawn if more than one basic block is seen. 74051b809bfSEaswaran Raman // 74151b809bfSEaswaran Raman // Vector bonuses: We want to more aggressively inline vector-dense kernels 74251b809bfSEaswaran Raman // and apply this bonus based on the percentage of vector instructions. A 74351b809bfSEaswaran Raman // bonus is applied if the vector instructions exceed 50% and half that amount 74451b809bfSEaswaran Raman // is applied if it exceeds 10%. Note that these bonuses are some what 74551b809bfSEaswaran Raman // arbitrary and evolved over time by accident as much as because they are 74651b809bfSEaswaran Raman // principled bonuses. 74751b809bfSEaswaran Raman // FIXME: It would be nice to base the bonus values on something more 74851b809bfSEaswaran Raman // scientific. 74951b809bfSEaswaran Raman // 75051b809bfSEaswaran Raman // LstCallToStaticBonus: This large bonus is applied to ensure the inlining 75151b809bfSEaswaran Raman // of the last call to a static function as inlining such functions is 75251b809bfSEaswaran Raman // guaranteed to reduce code size. 75351b809bfSEaswaran Raman // 75451b809bfSEaswaran Raman // These bonus percentages may be set to 0 based on properties of the caller 75551b809bfSEaswaran Raman // and the callsite. 75651b809bfSEaswaran Raman int SingleBBBonusPercent = 50; 75751b809bfSEaswaran Raman int VectorBonusPercent = 150; 75851b809bfSEaswaran Raman int LastCallToStaticBonus = InlineConstants::LastCallToStaticBonus; 75951b809bfSEaswaran Raman 76051b809bfSEaswaran Raman // Lambda to set all the above bonus and bonus percentages to 0. 76151b809bfSEaswaran Raman auto DisallowAllBonuses = [&]() { 76251b809bfSEaswaran Raman SingleBBBonusPercent = 0; 76351b809bfSEaswaran Raman VectorBonusPercent = 0; 76451b809bfSEaswaran Raman LastCallToStaticBonus = 0; 76551b809bfSEaswaran Raman }; 76651b809bfSEaswaran Raman 7671c57cc2bSEaswaran Raman // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available 7681c57cc2bSEaswaran Raman // and reduce the threshold if the caller has the necessary attribute. 76951b809bfSEaswaran Raman if (Caller->optForMinSize()) { 7701c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold); 77151b809bfSEaswaran Raman // For minsize, we want to disable the single BB bonus and the vector 77251b809bfSEaswaran Raman // bonuses, but not the last-call-to-static bonus. Inlining the last call to 77351b809bfSEaswaran Raman // a static function will, at the minimum, eliminate the parameter setup and 77451b809bfSEaswaran Raman // call/return instructions. 77551b809bfSEaswaran Raman SingleBBBonusPercent = 0; 77651b809bfSEaswaran Raman VectorBonusPercent = 0; 77751b809bfSEaswaran Raman } else if (Caller->optForSize()) 7781c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptSizeThreshold); 779f4bb2f0dSEaswaran Raman 780e08b139dSEaswaran Raman // Adjust the threshold based on inlinehint attribute and profile based 781e08b139dSEaswaran Raman // hotness information if the caller does not have MinSize attribute. 782e08b139dSEaswaran Raman if (!Caller->optForMinSize()) { 783e08b139dSEaswaran Raman if (Callee.hasFnAttribute(Attribute::InlineHint)) 7840d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 785bba762a1SChandler Carruth 7863cd1479cSEaswaran Raman // FIXME: After switching to the new passmanager, simplify the logic below 787bba762a1SChandler Carruth // by checking only the callsite hotness/coldness as we will reliably 788bba762a1SChandler Carruth // have local profile information. 7893cd1479cSEaswaran Raman // 790bba762a1SChandler Carruth // Callsite hotness and coldness can be determined if sample profile is 791bba762a1SChandler Carruth // used (which adds hotness metadata to calls) or if caller's 792bba762a1SChandler Carruth // BlockFrequencyInfo is available. 793bba762a1SChandler Carruth BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr; 794974d4eeaSEaswaran Raman auto HotCallSiteThreshold = getHotCallSiteThreshold(CS, CallerBFI); 795974d4eeaSEaswaran Raman if (!Caller->optForSize() && HotCallSiteThreshold) { 79612585b01SEaswaran Raman DEBUG(dbgs() << "Hot callsite.\n"); 797974d4eeaSEaswaran Raman // FIXME: This should update the threshold only if it exceeds the 798974d4eeaSEaswaran Raman // current threshold, but AutoFDO + ThinLTO currently relies on this 799974d4eeaSEaswaran Raman // behavior to prevent inlining of hot callsites during ThinLTO 800974d4eeaSEaswaran Raman // compile phase. 801974d4eeaSEaswaran Raman Threshold = HotCallSiteThreshold.getValue(); 802c5fa6358SEaswaran Raman } else if (isColdCallSite(CS, CallerBFI)) { 8033cd1479cSEaswaran Raman DEBUG(dbgs() << "Cold callsite.\n"); 80451b809bfSEaswaran Raman // Do not apply bonuses for a cold callsite including the 80551b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 80651b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 80751b809bfSEaswaran Raman // preventing it from being inlined. 80851b809bfSEaswaran Raman DisallowAllBonuses(); 8093cd1479cSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold); 810bba762a1SChandler Carruth } else if (PSI) { 811bba762a1SChandler Carruth // Use callee's global profile information only if we have no way of 812bba762a1SChandler Carruth // determining this via callsite information. 8133cd1479cSEaswaran Raman if (PSI->isFunctionEntryHot(&Callee)) { 81412585b01SEaswaran Raman DEBUG(dbgs() << "Hot callee.\n"); 815e08b139dSEaswaran Raman // If callsite hotness can not be determined, we may still know 816e08b139dSEaswaran Raman // that the callee is hot and treat it as a weaker hint for threshold 817e08b139dSEaswaran Raman // increase. 818e08b139dSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 819e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryCold(&Callee)) { 82012585b01SEaswaran Raman DEBUG(dbgs() << "Cold callee.\n"); 82151b809bfSEaswaran Raman // Do not apply bonuses for a cold callee including the 82251b809bfSEaswaran Raman // LastCallToStatic bonus. While this bonus might result in code size 82351b809bfSEaswaran Raman // reduction, it can cause the size of a non-cold caller to increase 82451b809bfSEaswaran Raman // preventing it from being inlined. 82551b809bfSEaswaran Raman DisallowAllBonuses(); 8261c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdThreshold); 827e08b139dSEaswaran Raman } 828e08b139dSEaswaran Raman } 829e08b139dSEaswaran Raman } 8308650a4daSJustin Lebar 8318650a4daSJustin Lebar // Finally, take the target-specific inlining threshold multiplier into 8328650a4daSJustin Lebar // account. 8338650a4daSJustin Lebar Threshold *= TTI.getInliningThresholdMultiplier(); 83451b809bfSEaswaran Raman 83551b809bfSEaswaran Raman SingleBBBonus = Threshold * SingleBBBonusPercent / 100; 83651b809bfSEaswaran Raman VectorBonus = Threshold * VectorBonusPercent / 100; 83751b809bfSEaswaran Raman 83851b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 83951b809bfSEaswaran Raman F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction(); 84051b809bfSEaswaran Raman // If there is only one call of the function, and it has internal linkage, 84151b809bfSEaswaran Raman // the cost of inlining it drops dramatically. It may seem odd to update 84251b809bfSEaswaran Raman // Cost in updateThreshold, but the bonus depends on the logic in this method. 84351b809bfSEaswaran Raman if (OnlyOneCallAndLocalLinkage) 84451b809bfSEaswaran Raman Cost -= LastCallToStaticBonus; 845f4bb2f0dSEaswaran Raman } 846f4bb2f0dSEaswaran Raman 8477adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) { 8487adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 8497adc3a2bSChandler Carruth // First try to handle simplified comparisons. 850617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 851617f6364SEaswaran Raman return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]); 852617f6364SEaswaran Raman })) 8537adc3a2bSChandler Carruth return true; 8547adc3a2bSChandler Carruth 8557adc3a2bSChandler Carruth if (I.getOpcode() == Instruction::FCmp) 8567adc3a2bSChandler Carruth return false; 8577adc3a2bSChandler Carruth 8587adc3a2bSChandler Carruth // Otherwise look for a comparison between constant offset pointers with 8597adc3a2bSChandler Carruth // a common base. 8607adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 8617adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 8627adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 8637adc3a2bSChandler Carruth if (LHSBase) { 8647adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 8657adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 8667adc3a2bSChandler Carruth // We have common bases, fold the icmp to a constant based on the 8677adc3a2bSChandler Carruth // offsets. 8687adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 8697adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 8707adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) { 8717adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 8727adc3a2bSChandler Carruth ++NumConstantPtrCmps; 8737adc3a2bSChandler Carruth return true; 8747adc3a2bSChandler Carruth } 8757adc3a2bSChandler Carruth } 8767adc3a2bSChandler Carruth } 8777adc3a2bSChandler Carruth 8787adc3a2bSChandler Carruth // If the comparison is an equality comparison with null, we can simplify it 8797adc3a2bSChandler Carruth // if we know the value (argument) can't be null 8807adc3a2bSChandler Carruth if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) && 8817adc3a2bSChandler Carruth isKnownNonNullInCallee(I.getOperand(0))) { 8827adc3a2bSChandler Carruth bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE; 8837adc3a2bSChandler Carruth SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType()) 8847adc3a2bSChandler Carruth : ConstantInt::getFalse(I.getType()); 8857adc3a2bSChandler Carruth return true; 8867adc3a2bSChandler Carruth } 8877adc3a2bSChandler Carruth // Finally check for SROA candidates in comparisons. 8887adc3a2bSChandler Carruth Value *SROAArg; 8897adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 8907adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) { 8917adc3a2bSChandler Carruth if (isa<ConstantPointerNull>(I.getOperand(1))) { 8927adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 8937adc3a2bSChandler Carruth return true; 8947adc3a2bSChandler Carruth } 8957adc3a2bSChandler Carruth 8967adc3a2bSChandler Carruth disableSROA(CostIt); 8977adc3a2bSChandler Carruth } 8987adc3a2bSChandler Carruth 8997adc3a2bSChandler Carruth return false; 9007adc3a2bSChandler Carruth } 9017adc3a2bSChandler Carruth 9022e1c050eSChad Rosier bool CallAnalyzer::visitOr(BinaryOperator &I) { 9032e1c050eSChad Rosier // This is necessary because the generic simplify instruction only works if 9042e1c050eSChad Rosier // both operands are constants. 9052e1c050eSChad Rosier for (unsigned i = 0; i < 2; ++i) { 9062e1c050eSChad Rosier if (ConstantInt *C = dyn_cast_or_null<ConstantInt>( 9072e1c050eSChad Rosier SimplifiedValues.lookup(I.getOperand(i)))) 9082e1c050eSChad Rosier if (C->isAllOnesValue()) { 9092e1c050eSChad Rosier SimplifiedValues[&I] = C; 9102e1c050eSChad Rosier return true; 9112e1c050eSChad Rosier } 9122e1c050eSChad Rosier } 9132e1c050eSChad Rosier return Base::visitOr(I); 9142e1c050eSChad Rosier } 9152e1c050eSChad Rosier 9162e1c050eSChad Rosier bool CallAnalyzer::visitAnd(BinaryOperator &I) { 9172e1c050eSChad Rosier // This is necessary because the generic simplify instruction only works if 9182e1c050eSChad Rosier // both operands are constants. 9192e1c050eSChad Rosier for (unsigned i = 0; i < 2; ++i) { 9202e1c050eSChad Rosier if (ConstantInt *C = dyn_cast_or_null<ConstantInt>( 9212e1c050eSChad Rosier SimplifiedValues.lookup(I.getOperand(i)))) 9222e1c050eSChad Rosier if (C->isZero()) { 9232e1c050eSChad Rosier SimplifiedValues[&I] = C; 9242e1c050eSChad Rosier return true; 9252e1c050eSChad Rosier } 9262e1c050eSChad Rosier } 9272e1c050eSChad Rosier return Base::visitAnd(I); 9282e1c050eSChad Rosier } 9292e1c050eSChad Rosier 9307adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) { 9317adc3a2bSChandler Carruth // Try to handle a special case: we can fold computing the difference of two 9327adc3a2bSChandler Carruth // constant-related pointers. 9337adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 9347adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 9357adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 9367adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 9377adc3a2bSChandler Carruth if (LHSBase) { 9387adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 9397adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 9407adc3a2bSChandler Carruth // We have common bases, fold the subtract to a constant based on the 9417adc3a2bSChandler Carruth // offsets. 9427adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 9437adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 9447adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) { 9457adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 9467adc3a2bSChandler Carruth ++NumConstantPtrDiffs; 9477adc3a2bSChandler Carruth return true; 9487adc3a2bSChandler Carruth } 9497adc3a2bSChandler Carruth } 9507adc3a2bSChandler Carruth } 9517adc3a2bSChandler Carruth 9527adc3a2bSChandler Carruth // Otherwise, fall back to the generic logic for simplifying and handling 9537adc3a2bSChandler Carruth // instructions. 9547adc3a2bSChandler Carruth return Base::visitSub(I); 9557adc3a2bSChandler Carruth } 9567adc3a2bSChandler Carruth 9577adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) { 9587adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 959617f6364SEaswaran Raman auto Evaluate = [&](SmallVectorImpl<Constant *> &COps) { 9607adc3a2bSChandler Carruth Value *SimpleV = nullptr; 9617adc3a2bSChandler Carruth if (auto FI = dyn_cast<FPMathOperator>(&I)) 962617f6364SEaswaran Raman SimpleV = SimplifyFPBinOp(I.getOpcode(), COps[0], COps[1], 963617f6364SEaswaran Raman FI->getFastMathFlags(), DL); 9647adc3a2bSChandler Carruth else 965617f6364SEaswaran Raman SimpleV = SimplifyBinOp(I.getOpcode(), COps[0], COps[1], DL); 966617f6364SEaswaran Raman return dyn_cast_or_null<Constant>(SimpleV); 967617f6364SEaswaran Raman }; 9687adc3a2bSChandler Carruth 969617f6364SEaswaran Raman if (simplifyInstruction(I, Evaluate)) 9707adc3a2bSChandler Carruth return true; 9717adc3a2bSChandler Carruth 9727adc3a2bSChandler Carruth // Disable any SROA on arguments to arbitrary, unsimplified binary operators. 9737adc3a2bSChandler Carruth disableSROA(LHS); 9747adc3a2bSChandler Carruth disableSROA(RHS); 9757adc3a2bSChandler Carruth 9767adc3a2bSChandler Carruth return false; 9777adc3a2bSChandler Carruth } 9787adc3a2bSChandler Carruth 9797adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) { 9807adc3a2bSChandler Carruth Value *SROAArg; 9817adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 9827adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 9837adc3a2bSChandler Carruth if (I.isSimple()) { 9847adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 9857adc3a2bSChandler Carruth return true; 9867adc3a2bSChandler Carruth } 9877adc3a2bSChandler Carruth 9887adc3a2bSChandler Carruth disableSROA(CostIt); 9897adc3a2bSChandler Carruth } 9907adc3a2bSChandler Carruth 9917adc3a2bSChandler Carruth return false; 9927adc3a2bSChandler Carruth } 9937adc3a2bSChandler Carruth 9947adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) { 9957adc3a2bSChandler Carruth Value *SROAArg; 9967adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 9977adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 9987adc3a2bSChandler Carruth if (I.isSimple()) { 9997adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 10007adc3a2bSChandler Carruth return true; 10017adc3a2bSChandler Carruth } 10027adc3a2bSChandler Carruth 10037adc3a2bSChandler Carruth disableSROA(CostIt); 10047adc3a2bSChandler Carruth } 10057adc3a2bSChandler Carruth 10067adc3a2bSChandler Carruth return false; 10077adc3a2bSChandler Carruth } 10087adc3a2bSChandler Carruth 10097adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) { 10107adc3a2bSChandler Carruth // Constant folding for extract value is trivial. 1011617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1012617f6364SEaswaran Raman return ConstantExpr::getExtractValue(COps[0], I.getIndices()); 1013617f6364SEaswaran Raman })) 10147adc3a2bSChandler Carruth return true; 10157adc3a2bSChandler Carruth 10167adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 10177adc3a2bSChandler Carruth return false; 10187adc3a2bSChandler Carruth } 10197adc3a2bSChandler Carruth 10207adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) { 10217adc3a2bSChandler Carruth // Constant folding for insert value is trivial. 1022617f6364SEaswaran Raman if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) { 1023617f6364SEaswaran Raman return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0], 1024617f6364SEaswaran Raman /*InsertedValueOperand*/ COps[1], 1025617f6364SEaswaran Raman I.getIndices()); 1026617f6364SEaswaran Raman })) 10277adc3a2bSChandler Carruth return true; 10287adc3a2bSChandler Carruth 10297adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 10307adc3a2bSChandler Carruth return false; 10317adc3a2bSChandler Carruth } 10327adc3a2bSChandler Carruth 10337adc3a2bSChandler Carruth /// \brief Try to simplify a call site. 10347adc3a2bSChandler Carruth /// 10357adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by 10367adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if 10377adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it 10387adc3a2bSChandler Carruth /// free. 10397adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) { 10407adc3a2bSChandler Carruth // FIXME: Using the instsimplify logic directly for this is inefficient 10417adc3a2bSChandler Carruth // because we have to continually rebuild the argument list even when no 10427adc3a2bSChandler Carruth // simplifications can be performed. Until that is fixed with remapping 10437adc3a2bSChandler Carruth // inside of instsimplify, directly constant fold calls here. 1044647025f9SAndrew Kaylor if (!canConstantFoldCallTo(CS, F)) 10457adc3a2bSChandler Carruth return false; 10467adc3a2bSChandler Carruth 10477adc3a2bSChandler Carruth // Try to re-map the arguments to constants. 10487adc3a2bSChandler Carruth SmallVector<Constant *, 4> ConstantArgs; 10497adc3a2bSChandler Carruth ConstantArgs.reserve(CS.arg_size()); 1050567556aaSChad Rosier for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E; 1051567556aaSChad Rosier ++I) { 10527adc3a2bSChandler Carruth Constant *C = dyn_cast<Constant>(*I); 10537adc3a2bSChandler Carruth if (!C) 10547adc3a2bSChandler Carruth C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I)); 10557adc3a2bSChandler Carruth if (!C) 10567adc3a2bSChandler Carruth return false; // This argument doesn't map to a constant. 10577adc3a2bSChandler Carruth 10587adc3a2bSChandler Carruth ConstantArgs.push_back(C); 10597adc3a2bSChandler Carruth } 1060647025f9SAndrew Kaylor if (Constant *C = ConstantFoldCall(CS, F, ConstantArgs)) { 10617adc3a2bSChandler Carruth SimplifiedValues[CS.getInstruction()] = C; 10627adc3a2bSChandler Carruth return true; 10637adc3a2bSChandler Carruth } 10647adc3a2bSChandler Carruth 10657adc3a2bSChandler Carruth return false; 10667adc3a2bSChandler Carruth } 10677adc3a2bSChandler Carruth 10687adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) { 10697adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::ReturnsTwice) && 10707adc3a2bSChandler Carruth !F.hasFnAttribute(Attribute::ReturnsTwice)) { 10717adc3a2bSChandler Carruth // This aborts the entire analysis. 10727adc3a2bSChandler Carruth ExposesReturnsTwice = true; 10737adc3a2bSChandler Carruth return false; 10747adc3a2bSChandler Carruth } 1075567556aaSChad Rosier if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate()) 10767adc3a2bSChandler Carruth ContainsNoDuplicateCall = true; 10777adc3a2bSChandler Carruth 10787adc3a2bSChandler Carruth if (Function *F = CS.getCalledFunction()) { 10797adc3a2bSChandler Carruth // When we have a concrete function, first try to simplify it directly. 10807adc3a2bSChandler Carruth if (simplifyCallSite(F, CS)) 10817adc3a2bSChandler Carruth return true; 10827adc3a2bSChandler Carruth 10837adc3a2bSChandler Carruth // Next check if it is an intrinsic we know about. 10847adc3a2bSChandler Carruth // FIXME: Lift this into part of the InstVisitor. 10857adc3a2bSChandler Carruth if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) { 10867adc3a2bSChandler Carruth switch (II->getIntrinsicID()) { 10877adc3a2bSChandler Carruth default: 10887adc3a2bSChandler Carruth return Base::visitCallSite(CS); 10897adc3a2bSChandler Carruth 10907dd8dbf4SPeter Collingbourne case Intrinsic::load_relative: 10917dd8dbf4SPeter Collingbourne // This is normally lowered to 4 LLVM instructions. 10927dd8dbf4SPeter Collingbourne Cost += 3 * InlineConstants::InstrCost; 10937dd8dbf4SPeter Collingbourne return false; 10947dd8dbf4SPeter Collingbourne 10957adc3a2bSChandler Carruth case Intrinsic::memset: 10967adc3a2bSChandler Carruth case Intrinsic::memcpy: 10977adc3a2bSChandler Carruth case Intrinsic::memmove: 10987adc3a2bSChandler Carruth // SROA can usually chew through these intrinsics, but they aren't free. 10997adc3a2bSChandler Carruth return false; 11007adc3a2bSChandler Carruth case Intrinsic::localescape: 11017adc3a2bSChandler Carruth HasFrameEscape = true; 11027adc3a2bSChandler Carruth return false; 11037adc3a2bSChandler Carruth } 11047adc3a2bSChandler Carruth } 11057adc3a2bSChandler Carruth 11067adc3a2bSChandler Carruth if (F == CS.getInstruction()->getParent()->getParent()) { 11077adc3a2bSChandler Carruth // This flag will fully abort the analysis, so don't bother with anything 11087adc3a2bSChandler Carruth // else. 11097adc3a2bSChandler Carruth IsRecursiveCall = true; 11107adc3a2bSChandler Carruth return false; 11117adc3a2bSChandler Carruth } 11127adc3a2bSChandler Carruth 11137adc3a2bSChandler Carruth if (TTI.isLoweredToCall(F)) { 11147adc3a2bSChandler Carruth // We account for the average 1 instruction per call argument setup 11157adc3a2bSChandler Carruth // here. 11167adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 11177adc3a2bSChandler Carruth 11187adc3a2bSChandler Carruth // Everything other than inline ASM will also have a significant cost 11197adc3a2bSChandler Carruth // merely from making the call. 11207adc3a2bSChandler Carruth if (!isa<InlineAsm>(CS.getCalledValue())) 11217adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 11227adc3a2bSChandler Carruth } 11237adc3a2bSChandler Carruth 11247adc3a2bSChandler Carruth return Base::visitCallSite(CS); 11257adc3a2bSChandler Carruth } 11267adc3a2bSChandler Carruth 11277adc3a2bSChandler Carruth // Otherwise we're in a very special case -- an indirect function call. See 11287adc3a2bSChandler Carruth // if we can be particularly clever about this. 11297adc3a2bSChandler Carruth Value *Callee = CS.getCalledValue(); 11307adc3a2bSChandler Carruth 11317adc3a2bSChandler Carruth // First, pay the price of the argument setup. We account for the average 11327adc3a2bSChandler Carruth // 1 instruction per call argument setup here. 11337adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 11347adc3a2bSChandler Carruth 11357adc3a2bSChandler Carruth // Next, check if this happens to be an indirect function call to a known 11367adc3a2bSChandler Carruth // function in this inline context. If not, we've done all we can. 11377adc3a2bSChandler Carruth Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee)); 11387adc3a2bSChandler Carruth if (!F) 11397adc3a2bSChandler Carruth return Base::visitCallSite(CS); 11407adc3a2bSChandler Carruth 11417adc3a2bSChandler Carruth // If we have a constant that we are calling as a function, we can peer 11427adc3a2bSChandler Carruth // through it and see the function target. This happens not infrequently 11437adc3a2bSChandler Carruth // during devirtualization and so we want to give it a hefty bonus for 11447adc3a2bSChandler Carruth // inlining, but cap that bonus in the event that inlining wouldn't pan 11457adc3a2bSChandler Carruth // out. Pretend to inline the function, with a custom threshold. 11461c57cc2bSEaswaran Raman auto IndirectCallParams = Params; 11471c57cc2bSEaswaran Raman IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold; 11480812c5beSHaicheng Wu CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, ORE, *F, CS, 114912585b01SEaswaran Raman IndirectCallParams); 11507adc3a2bSChandler Carruth if (CA.analyzeCall(CS)) { 11517adc3a2bSChandler Carruth // We were able to inline the indirect call! Subtract the cost from the 11526d90d9f1SEaswaran Raman // threshold to get the bonus we want to apply, but don't go below zero. 11536d90d9f1SEaswaran Raman Cost -= std::max(0, CA.getThreshold() - CA.getCost()); 11547adc3a2bSChandler Carruth } 11557adc3a2bSChandler Carruth 11567adc3a2bSChandler Carruth return Base::visitCallSite(CS); 11577adc3a2bSChandler Carruth } 11587adc3a2bSChandler Carruth 11597adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) { 11607adc3a2bSChandler Carruth // At least one return instruction will be free after inlining. 11617adc3a2bSChandler Carruth bool Free = !HasReturn; 11627adc3a2bSChandler Carruth HasReturn = true; 11637adc3a2bSChandler Carruth return Free; 11647adc3a2bSChandler Carruth } 11657adc3a2bSChandler Carruth 11667adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) { 11677adc3a2bSChandler Carruth // We model unconditional branches as essentially free -- they really 11687adc3a2bSChandler Carruth // shouldn't exist at all, but handling them makes the behavior of the 11697adc3a2bSChandler Carruth // inliner more regular and predictable. Interestingly, conditional branches 11707adc3a2bSChandler Carruth // which will fold away are also free. 11717adc3a2bSChandler Carruth return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) || 11727adc3a2bSChandler Carruth dyn_cast_or_null<ConstantInt>( 11737adc3a2bSChandler Carruth SimplifiedValues.lookup(BI.getCondition())); 11747adc3a2bSChandler Carruth } 11757adc3a2bSChandler Carruth 11763ec848bcSHaicheng Wu bool CallAnalyzer::visitSelectInst(SelectInst &SI) { 11773ec848bcSHaicheng Wu bool CheckSROA = SI.getType()->isPointerTy(); 11783ec848bcSHaicheng Wu Value *TrueVal = SI.getTrueValue(); 11793ec848bcSHaicheng Wu Value *FalseVal = SI.getFalseValue(); 11803ec848bcSHaicheng Wu 11813ec848bcSHaicheng Wu Constant *TrueC = dyn_cast<Constant>(TrueVal); 11823ec848bcSHaicheng Wu if (!TrueC) 11833ec848bcSHaicheng Wu TrueC = SimplifiedValues.lookup(TrueVal); 11843ec848bcSHaicheng Wu Constant *FalseC = dyn_cast<Constant>(FalseVal); 11853ec848bcSHaicheng Wu if (!FalseC) 11863ec848bcSHaicheng Wu FalseC = SimplifiedValues.lookup(FalseVal); 11873ec848bcSHaicheng Wu Constant *CondC = 11883ec848bcSHaicheng Wu dyn_cast_or_null<Constant>(SimplifiedValues.lookup(SI.getCondition())); 11893ec848bcSHaicheng Wu 11903ec848bcSHaicheng Wu if (!CondC) { 11913ec848bcSHaicheng Wu // Select C, X, X => X 11923ec848bcSHaicheng Wu if (TrueC == FalseC && TrueC) { 11933ec848bcSHaicheng Wu SimplifiedValues[&SI] = TrueC; 11943ec848bcSHaicheng Wu return true; 11953ec848bcSHaicheng Wu } 11963ec848bcSHaicheng Wu 11973ec848bcSHaicheng Wu if (!CheckSROA) 11983ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 11993ec848bcSHaicheng Wu 12003ec848bcSHaicheng Wu std::pair<Value *, APInt> TrueBaseAndOffset = 12013ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(TrueVal); 12023ec848bcSHaicheng Wu std::pair<Value *, APInt> FalseBaseAndOffset = 12033ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(FalseVal); 12043ec848bcSHaicheng Wu if (TrueBaseAndOffset == FalseBaseAndOffset && TrueBaseAndOffset.first) { 12053ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = TrueBaseAndOffset; 12063ec848bcSHaicheng Wu 12073ec848bcSHaicheng Wu Value *SROAArg; 12083ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 12093ec848bcSHaicheng Wu if (lookupSROAArgAndCost(TrueVal, SROAArg, CostIt)) 12103ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 12113ec848bcSHaicheng Wu return true; 12123ec848bcSHaicheng Wu } 12133ec848bcSHaicheng Wu 12143ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 12153ec848bcSHaicheng Wu } 12163ec848bcSHaicheng Wu 12173ec848bcSHaicheng Wu // Select condition is a constant. 12183ec848bcSHaicheng Wu Value *SelectedV = CondC->isAllOnesValue() 12193ec848bcSHaicheng Wu ? TrueVal 12203ec848bcSHaicheng Wu : (CondC->isNullValue()) ? FalseVal : nullptr; 12213ec848bcSHaicheng Wu if (!SelectedV) { 12223ec848bcSHaicheng Wu // Condition is a vector constant that is not all 1s or all 0s. If all 12233ec848bcSHaicheng Wu // operands are constants, ConstantExpr::getSelect() can handle the cases 12243ec848bcSHaicheng Wu // such as select vectors. 12253ec848bcSHaicheng Wu if (TrueC && FalseC) { 12263ec848bcSHaicheng Wu if (auto *C = ConstantExpr::getSelect(CondC, TrueC, FalseC)) { 12273ec848bcSHaicheng Wu SimplifiedValues[&SI] = C; 12283ec848bcSHaicheng Wu return true; 12293ec848bcSHaicheng Wu } 12303ec848bcSHaicheng Wu } 12313ec848bcSHaicheng Wu return Base::visitSelectInst(SI); 12323ec848bcSHaicheng Wu } 12333ec848bcSHaicheng Wu 12343ec848bcSHaicheng Wu // Condition is either all 1s or all 0s. SI can be simplified. 12353ec848bcSHaicheng Wu if (Constant *SelectedC = dyn_cast<Constant>(SelectedV)) { 12363ec848bcSHaicheng Wu SimplifiedValues[&SI] = SelectedC; 12373ec848bcSHaicheng Wu return true; 12383ec848bcSHaicheng Wu } 12393ec848bcSHaicheng Wu 12403ec848bcSHaicheng Wu if (!CheckSROA) 12413ec848bcSHaicheng Wu return true; 12423ec848bcSHaicheng Wu 12433ec848bcSHaicheng Wu std::pair<Value *, APInt> BaseAndOffset = 12443ec848bcSHaicheng Wu ConstantOffsetPtrs.lookup(SelectedV); 12453ec848bcSHaicheng Wu if (BaseAndOffset.first) { 12463ec848bcSHaicheng Wu ConstantOffsetPtrs[&SI] = BaseAndOffset; 12473ec848bcSHaicheng Wu 12483ec848bcSHaicheng Wu Value *SROAArg; 12493ec848bcSHaicheng Wu DenseMap<Value *, int>::iterator CostIt; 12503ec848bcSHaicheng Wu if (lookupSROAArgAndCost(SelectedV, SROAArg, CostIt)) 12513ec848bcSHaicheng Wu SROAArgValues[&SI] = SROAArg; 12523ec848bcSHaicheng Wu } 12533ec848bcSHaicheng Wu 12543ec848bcSHaicheng Wu return true; 12553ec848bcSHaicheng Wu } 12563ec848bcSHaicheng Wu 12577adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) { 12587adc3a2bSChandler Carruth // We model unconditional switches as free, see the comments on handling 12597adc3a2bSChandler Carruth // branches. 12607adc3a2bSChandler Carruth if (isa<ConstantInt>(SI.getCondition())) 12617adc3a2bSChandler Carruth return true; 12627adc3a2bSChandler Carruth if (Value *V = SimplifiedValues.lookup(SI.getCondition())) 12637adc3a2bSChandler Carruth if (isa<ConstantInt>(V)) 12647adc3a2bSChandler Carruth return true; 12657adc3a2bSChandler Carruth 12667ad02eeeSEric Christopher // Assume the most general case where the switch is lowered into 1267919f9e8dSJun Bum Lim // either a jump table, bit test, or a balanced binary tree consisting of 1268919f9e8dSJun Bum Lim // case clusters without merging adjacent clusters with the same 1269919f9e8dSJun Bum Lim // destination. We do not consider the switches that are lowered with a mix 1270919f9e8dSJun Bum Lim // of jump table/bit test/binary search tree. The cost of the switch is 1271919f9e8dSJun Bum Lim // proportional to the size of the tree or the size of jump table range. 12722960d41eSJun Bum Lim // 12732960d41eSJun Bum Lim // NB: We convert large switches which are just used to initialize large phi 12742960d41eSJun Bum Lim // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent 12752960d41eSJun Bum Lim // inlining those. It will prevent inlining in cases where the optimization 12762960d41eSJun Bum Lim // does not (yet) fire. 1277919f9e8dSJun Bum Lim 1278506cfb7aSJun Bum Lim // Maximum valid cost increased in this function. 1279506cfb7aSJun Bum Lim int CostUpperBound = INT_MAX - InlineConstants::InstrCost - 1; 1280506cfb7aSJun Bum Lim 1281919f9e8dSJun Bum Lim // Exit early for a large switch, assuming one case needs at least one 1282919f9e8dSJun Bum Lim // instruction. 1283919f9e8dSJun Bum Lim // FIXME: This is not true for a bit test, but ignore such case for now to 1284919f9e8dSJun Bum Lim // save compile-time. 1285919f9e8dSJun Bum Lim int64_t CostLowerBound = 1286506cfb7aSJun Bum Lim std::min((int64_t)CostUpperBound, 1287919f9e8dSJun Bum Lim (int64_t)SI.getNumCases() * InlineConstants::InstrCost + Cost); 1288919f9e8dSJun Bum Lim 12890812c5beSHaicheng Wu if (CostLowerBound > Threshold && !ComputeFullInlineCost) { 1290919f9e8dSJun Bum Lim Cost = CostLowerBound; 1291919f9e8dSJun Bum Lim return false; 1292919f9e8dSJun Bum Lim } 1293919f9e8dSJun Bum Lim 1294919f9e8dSJun Bum Lim unsigned JumpTableSize = 0; 1295919f9e8dSJun Bum Lim unsigned NumCaseCluster = 1296919f9e8dSJun Bum Lim TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize); 1297919f9e8dSJun Bum Lim 1298919f9e8dSJun Bum Lim // If suitable for a jump table, consider the cost for the table size and 1299919f9e8dSJun Bum Lim // branch to destination. 1300919f9e8dSJun Bum Lim if (JumpTableSize) { 1301919f9e8dSJun Bum Lim int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost + 1302919f9e8dSJun Bum Lim 4 * InlineConstants::InstrCost; 1303506cfb7aSJun Bum Lim 1304506cfb7aSJun Bum Lim Cost = std::min((int64_t)CostUpperBound, JTCost + Cost); 1305919f9e8dSJun Bum Lim return false; 1306919f9e8dSJun Bum Lim } 1307919f9e8dSJun Bum Lim 1308919f9e8dSJun Bum Lim // Considering forming a binary search, we should find the number of nodes 1309919f9e8dSJun Bum Lim // which is same as the number of comparisons when lowered. For a given 1310919f9e8dSJun Bum Lim // number of clusters, n, we can define a recursive function, f(n), to find 1311919f9e8dSJun Bum Lim // the number of nodes in the tree. The recursion is : 1312919f9e8dSJun Bum Lim // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3, 1313919f9e8dSJun Bum Lim // and f(n) = n, when n <= 3. 1314919f9e8dSJun Bum Lim // This will lead a binary tree where the leaf should be either f(2) or f(3) 1315919f9e8dSJun Bum Lim // when n > 3. So, the number of comparisons from leaves should be n, while 1316919f9e8dSJun Bum Lim // the number of non-leaf should be : 1317919f9e8dSJun Bum Lim // 2^(log2(n) - 1) - 1 1318919f9e8dSJun Bum Lim // = 2^log2(n) * 2^-1 - 1 1319919f9e8dSJun Bum Lim // = n / 2 - 1. 1320919f9e8dSJun Bum Lim // Considering comparisons from leaf and non-leaf nodes, we can estimate the 1321919f9e8dSJun Bum Lim // number of comparisons in a simple closed form : 1322919f9e8dSJun Bum Lim // n + n / 2 - 1 = n * 3 / 2 - 1 1323919f9e8dSJun Bum Lim if (NumCaseCluster <= 3) { 1324919f9e8dSJun Bum Lim // Suppose a comparison includes one compare and one conditional branch. 1325919f9e8dSJun Bum Lim Cost += NumCaseCluster * 2 * InlineConstants::InstrCost; 1326919f9e8dSJun Bum Lim return false; 1327919f9e8dSJun Bum Lim } 1328506cfb7aSJun Bum Lim 1329506cfb7aSJun Bum Lim int64_t ExpectedNumberOfCompare = 3 * (int64_t)NumCaseCluster / 2 - 1; 1330506cfb7aSJun Bum Lim int64_t SwitchCost = 1331919f9e8dSJun Bum Lim ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost; 1332506cfb7aSJun Bum Lim 1333506cfb7aSJun Bum Lim Cost = std::min((int64_t)CostUpperBound, SwitchCost + Cost); 1334919f9e8dSJun Bum Lim return false; 1335919f9e8dSJun Bum Lim } 1336919f9e8dSJun Bum Lim 13377adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) { 13387adc3a2bSChandler Carruth // We never want to inline functions that contain an indirectbr. This is 13397adc3a2bSChandler Carruth // incorrect because all the blockaddress's (in static global initializers 13407adc3a2bSChandler Carruth // for example) would be referring to the original function, and this 13417adc3a2bSChandler Carruth // indirect jump would jump from the inlined copy of the function into the 13427adc3a2bSChandler Carruth // original function which is extremely undefined behavior. 13437adc3a2bSChandler Carruth // FIXME: This logic isn't really right; we can safely inline functions with 13447adc3a2bSChandler Carruth // indirectbr's as long as no other function or global references the 13457adc3a2bSChandler Carruth // blockaddress of a block within the current function. 13467adc3a2bSChandler Carruth HasIndirectBr = true; 13477adc3a2bSChandler Carruth return false; 13487adc3a2bSChandler Carruth } 13497adc3a2bSChandler Carruth 13507adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) { 13517adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 13527adc3a2bSChandler Carruth // the inline cost of a resume instruction. 13537adc3a2bSChandler Carruth return false; 13547adc3a2bSChandler Carruth } 13557adc3a2bSChandler Carruth 13567adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) { 13577adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 13587adc3a2bSChandler Carruth // the inline cost of a cleanupret instruction. 13597adc3a2bSChandler Carruth return false; 13607adc3a2bSChandler Carruth } 13617adc3a2bSChandler Carruth 13627adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) { 13637adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 13648220bcc5SJoseph Tremoulet // the inline cost of a catchret instruction. 13657adc3a2bSChandler Carruth return false; 13667adc3a2bSChandler Carruth } 13677adc3a2bSChandler Carruth 13687adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) { 13697adc3a2bSChandler Carruth // FIXME: It might be reasonably to discount the cost of instructions leading 13707adc3a2bSChandler Carruth // to unreachable as they have the lowest possible impact on both runtime and 13717adc3a2bSChandler Carruth // code size. 13727adc3a2bSChandler Carruth return true; // No actual code is needed for unreachable. 13737adc3a2bSChandler Carruth } 13747adc3a2bSChandler Carruth 13757adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) { 13767adc3a2bSChandler Carruth // Some instructions are free. All of the free intrinsics can also be 13777adc3a2bSChandler Carruth // handled by SROA, etc. 13787adc3a2bSChandler Carruth if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I)) 13797adc3a2bSChandler Carruth return true; 13807adc3a2bSChandler Carruth 13817adc3a2bSChandler Carruth // We found something we don't understand or can't handle. Mark any SROA-able 13827adc3a2bSChandler Carruth // values in the operand list as no longer viable. 13837adc3a2bSChandler Carruth for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI) 13847adc3a2bSChandler Carruth disableSROA(*OI); 13857adc3a2bSChandler Carruth 13867adc3a2bSChandler Carruth return false; 13877adc3a2bSChandler Carruth } 13887adc3a2bSChandler Carruth 13897adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost. 13907adc3a2bSChandler Carruth /// 13917adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic 13927adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It 13937adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline 13947adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer 13957adc3a2bSChandler Carruth /// viable, and true if inlining remains viable. 13967adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB, 13977adc3a2bSChandler Carruth SmallPtrSetImpl<const Value *> &EphValues) { 13987adc3a2bSChandler Carruth for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 13997adc3a2bSChandler Carruth // FIXME: Currently, the number of instructions in a function regardless of 14007adc3a2bSChandler Carruth // our ability to simplify them during inline to constants or dead code, 14017adc3a2bSChandler Carruth // are actually used by the vector bonus heuristic. As long as that's true, 14027adc3a2bSChandler Carruth // we have to special case debug intrinsics here to prevent differences in 14037adc3a2bSChandler Carruth // inlining due to debug symbols. Eventually, the number of unsimplified 14047adc3a2bSChandler Carruth // instructions shouldn't factor into the cost computation, but until then, 14057adc3a2bSChandler Carruth // hack around it here. 14067adc3a2bSChandler Carruth if (isa<DbgInfoIntrinsic>(I)) 14077adc3a2bSChandler Carruth continue; 14087adc3a2bSChandler Carruth 14097adc3a2bSChandler Carruth // Skip ephemeral values. 14105a82c916SDuncan P. N. Exon Smith if (EphValues.count(&*I)) 14117adc3a2bSChandler Carruth continue; 14127adc3a2bSChandler Carruth 14137adc3a2bSChandler Carruth ++NumInstructions; 14147adc3a2bSChandler Carruth if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy()) 14157adc3a2bSChandler Carruth ++NumVectorInstructions; 14167adc3a2bSChandler Carruth 1417e9434e80SSanjay Patel // If the instruction is floating point, and the target says this operation 1418e9434e80SSanjay Patel // is expensive or the function has the "use-soft-float" attribute, this may 14197adc3a2bSChandler Carruth // eventually become a library call. Treat the cost as such. 14207adc3a2bSChandler Carruth if (I->getType()->isFloatingPointTy()) { 1421e9434e80SSanjay Patel // If the function has the "use-soft-float" attribute, mark it as 1422e9434e80SSanjay Patel // expensive. 14237adc3a2bSChandler Carruth if (TTI.getFPOpCost(I->getType()) == TargetTransformInfo::TCC_Expensive || 1424908ed7f2SEric Christopher (F.getFnAttribute("use-soft-float").getValueAsString() == "true")) 14257adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 14267adc3a2bSChandler Carruth } 14277adc3a2bSChandler Carruth 14287adc3a2bSChandler Carruth // If the instruction simplified to a constant, there is no cost to this 14297adc3a2bSChandler Carruth // instruction. Visit the instructions using our InstVisitor to account for 14307adc3a2bSChandler Carruth // all of the per-instruction logic. The visit tree returns true if we 14317adc3a2bSChandler Carruth // consumed the instruction in any way, and false if the instruction's base 14327adc3a2bSChandler Carruth // cost should count against inlining. 14335a82c916SDuncan P. N. Exon Smith if (Base::visit(&*I)) 14347adc3a2bSChandler Carruth ++NumInstructionsSimplified; 14357adc3a2bSChandler Carruth else 14367adc3a2bSChandler Carruth Cost += InlineConstants::InstrCost; 14377adc3a2bSChandler Carruth 14380812c5beSHaicheng Wu using namespace ore; 14397adc3a2bSChandler Carruth // If the visit this instruction detected an uninlinable pattern, abort. 14407adc3a2bSChandler Carruth if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca || 14410812c5beSHaicheng Wu HasIndirectBr || HasFrameEscape) { 14420812c5beSHaicheng Wu if (ORE) 14439590658fSVivek Pandya ORE->emit([&]() { 14449590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 14450812c5beSHaicheng Wu CandidateCS.getInstruction()) 14460812c5beSHaicheng Wu << NV("Callee", &F) 14479590658fSVivek Pandya << " has uninlinable pattern and cost is not fully computed"; 14489590658fSVivek Pandya }); 14497adc3a2bSChandler Carruth return false; 14500812c5beSHaicheng Wu } 14517adc3a2bSChandler Carruth 14527adc3a2bSChandler Carruth // If the caller is a recursive function then we don't want to inline 14537adc3a2bSChandler Carruth // functions which allocate a lot of stack space because it would increase 14547adc3a2bSChandler Carruth // the caller stack usage dramatically. 14557adc3a2bSChandler Carruth if (IsCallerRecursive && 14560812c5beSHaicheng Wu AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) { 14570812c5beSHaicheng Wu if (ORE) 14589590658fSVivek Pandya ORE->emit([&]() { 14599590658fSVivek Pandya return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", 14600812c5beSHaicheng Wu CandidateCS.getInstruction()) 14610812c5beSHaicheng Wu << NV("Callee", &F) 14620812c5beSHaicheng Wu << " is recursive and allocates too much stack space. Cost is " 14639590658fSVivek Pandya "not fully computed"; 14649590658fSVivek Pandya }); 14657adc3a2bSChandler Carruth return false; 14660812c5beSHaicheng Wu } 14677adc3a2bSChandler Carruth 14687adc3a2bSChandler Carruth // Check if we've past the maximum possible threshold so we don't spin in 14697adc3a2bSChandler Carruth // huge basic blocks that will never inline. 147061995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 14717adc3a2bSChandler Carruth return false; 14727adc3a2bSChandler Carruth } 14737adc3a2bSChandler Carruth 14747adc3a2bSChandler Carruth return true; 14757adc3a2bSChandler Carruth } 14767adc3a2bSChandler Carruth 14777adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V. 14787adc3a2bSChandler Carruth /// 14797adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and 14807adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It 14817adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are 14827adc3a2bSChandler Carruth /// no constant offsets applied. 14837adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) { 14847adc3a2bSChandler Carruth if (!V->getType()->isPointerTy()) 14857adc3a2bSChandler Carruth return nullptr; 14867adc3a2bSChandler Carruth 14877adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 14887adc3a2bSChandler Carruth APInt Offset = APInt::getNullValue(IntPtrWidth); 14897adc3a2bSChandler Carruth 14907adc3a2bSChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 14917adc3a2bSChandler Carruth // instruction in an unreachable block, which may be on a cycle. 14927adc3a2bSChandler Carruth SmallPtrSet<Value *, 4> Visited; 14937adc3a2bSChandler Carruth Visited.insert(V); 14947adc3a2bSChandler Carruth do { 14957adc3a2bSChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 14967adc3a2bSChandler Carruth if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset)) 14977adc3a2bSChandler Carruth return nullptr; 14987adc3a2bSChandler Carruth V = GEP->getPointerOperand(); 14997adc3a2bSChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 15007adc3a2bSChandler Carruth V = cast<Operator>(V)->getOperand(0); 15017adc3a2bSChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 15025ce32728SSanjoy Das if (GA->isInterposable()) 15037adc3a2bSChandler Carruth break; 15047adc3a2bSChandler Carruth V = GA->getAliasee(); 15057adc3a2bSChandler Carruth } else { 15067adc3a2bSChandler Carruth break; 15077adc3a2bSChandler Carruth } 15087adc3a2bSChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 15097adc3a2bSChandler Carruth } while (Visited.insert(V).second); 15107adc3a2bSChandler Carruth 15117adc3a2bSChandler Carruth Type *IntPtrTy = DL.getIntPtrType(V->getContext()); 15127adc3a2bSChandler Carruth return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset)); 15137adc3a2bSChandler Carruth } 15147adc3a2bSChandler Carruth 15157adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining. 15167adc3a2bSChandler Carruth /// 15177adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not 15187adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous 15197adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost 15207adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by 15217adc3a2bSChandler Carruth /// some artifact of the routine. 15227adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) { 15237adc3a2bSChandler Carruth ++NumCallsAnalyzed; 15247adc3a2bSChandler Carruth 15257adc3a2bSChandler Carruth // Perform some tweaks to the cost and threshold based on the direct 15267adc3a2bSChandler Carruth // callsite information. 15277adc3a2bSChandler Carruth 15287adc3a2bSChandler Carruth // We want to more aggressively inline vector-dense kernels, so up the 15297adc3a2bSChandler Carruth // threshold, and we'll lower it if the % of vector instructions gets too 15307adc3a2bSChandler Carruth // low. Note that these bonuses are some what arbitrary and evolved over time 15317adc3a2bSChandler Carruth // by accident as much as because they are principled bonuses. 15327adc3a2bSChandler Carruth // 15337adc3a2bSChandler Carruth // FIXME: It would be nice to remove all such bonuses. At least it would be 15347adc3a2bSChandler Carruth // nice to base the bonus values on something more scientific. 15357adc3a2bSChandler Carruth assert(NumInstructions == 0); 15367adc3a2bSChandler Carruth assert(NumVectorInstructions == 0); 1537f4bb2f0dSEaswaran Raman 1538f4bb2f0dSEaswaran Raman // Update the threshold based on callsite properties 1539f4bb2f0dSEaswaran Raman updateThreshold(CS, F); 1540f4bb2f0dSEaswaran Raman 15417adc3a2bSChandler Carruth // Speculatively apply all possible bonuses to Threshold. If cost exceeds 15427adc3a2bSChandler Carruth // this Threshold any time, and cost cannot decrease, we can stop processing 15437adc3a2bSChandler Carruth // the rest of the function body. 154451b809bfSEaswaran Raman Threshold += (SingleBBBonus + VectorBonus); 15457adc3a2bSChandler Carruth 1546351d9b01SXinliang David Li // Give out bonuses for the callsite, as the instructions setting them up 1547351d9b01SXinliang David Li // will be gone after inlining. 1548351d9b01SXinliang David Li Cost -= getCallsiteCost(CS, DL); 15497adc3a2bSChandler Carruth 15507adc3a2bSChandler Carruth // If this function uses the coldcc calling convention, prefer not to inline 15517adc3a2bSChandler Carruth // it. 15527adc3a2bSChandler Carruth if (F.getCallingConv() == CallingConv::Cold) 15537adc3a2bSChandler Carruth Cost += InlineConstants::ColdccPenalty; 15547adc3a2bSChandler Carruth 15557adc3a2bSChandler Carruth // Check if we're done. This can happen due to bonuses and penalties. 155661995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 15577adc3a2bSChandler Carruth return false; 15587adc3a2bSChandler Carruth 15597adc3a2bSChandler Carruth if (F.empty()) 15607adc3a2bSChandler Carruth return true; 15617adc3a2bSChandler Carruth 15627adc3a2bSChandler Carruth Function *Caller = CS.getInstruction()->getParent()->getParent(); 15637adc3a2bSChandler Carruth // Check if the caller function is recursive itself. 15647adc3a2bSChandler Carruth for (User *U : Caller->users()) { 15657adc3a2bSChandler Carruth CallSite Site(U); 15667adc3a2bSChandler Carruth if (!Site) 15677adc3a2bSChandler Carruth continue; 15687adc3a2bSChandler Carruth Instruction *I = Site.getInstruction(); 15697adc3a2bSChandler Carruth if (I->getParent()->getParent() == Caller) { 15707adc3a2bSChandler Carruth IsCallerRecursive = true; 15717adc3a2bSChandler Carruth break; 15727adc3a2bSChandler Carruth } 15737adc3a2bSChandler Carruth } 15747adc3a2bSChandler Carruth 15757adc3a2bSChandler Carruth // Populate our simplified values by mapping from function arguments to call 15767adc3a2bSChandler Carruth // arguments with known important simplifications. 15777adc3a2bSChandler Carruth CallSite::arg_iterator CAI = CS.arg_begin(); 15787adc3a2bSChandler Carruth for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end(); 15797adc3a2bSChandler Carruth FAI != FAE; ++FAI, ++CAI) { 15807adc3a2bSChandler Carruth assert(CAI != CS.arg_end()); 15817adc3a2bSChandler Carruth if (Constant *C = dyn_cast<Constant>(CAI)) 15825a82c916SDuncan P. N. Exon Smith SimplifiedValues[&*FAI] = C; 15837adc3a2bSChandler Carruth 15847adc3a2bSChandler Carruth Value *PtrArg = *CAI; 15857adc3a2bSChandler Carruth if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) { 15865a82c916SDuncan P. N. Exon Smith ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue()); 15877adc3a2bSChandler Carruth 15887adc3a2bSChandler Carruth // We can SROA any pointer arguments derived from alloca instructions. 15897adc3a2bSChandler Carruth if (isa<AllocaInst>(PtrArg)) { 15905a82c916SDuncan P. N. Exon Smith SROAArgValues[&*FAI] = PtrArg; 15917adc3a2bSChandler Carruth SROAArgCosts[PtrArg] = 0; 15927adc3a2bSChandler Carruth } 15937adc3a2bSChandler Carruth } 15947adc3a2bSChandler Carruth } 15957adc3a2bSChandler Carruth NumConstantArgs = SimplifiedValues.size(); 15967adc3a2bSChandler Carruth NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size(); 15977adc3a2bSChandler Carruth NumAllocaArgs = SROAArgValues.size(); 15987adc3a2bSChandler Carruth 15997adc3a2bSChandler Carruth // FIXME: If a caller has multiple calls to a callee, we end up recomputing 16007adc3a2bSChandler Carruth // the ephemeral values multiple times (and they're completely determined by 16017adc3a2bSChandler Carruth // the callee, so this is purely duplicate work). 16027adc3a2bSChandler Carruth SmallPtrSet<const Value *, 32> EphValues; 1603aec2fa35SDaniel Jasper CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues); 16047adc3a2bSChandler Carruth 16057adc3a2bSChandler Carruth // The worklist of live basic blocks in the callee *after* inlining. We avoid 16067adc3a2bSChandler Carruth // adding basic blocks of the callee which can be proven to be dead for this 16077adc3a2bSChandler Carruth // particular call site in order to get more accurate cost estimates. This 16087adc3a2bSChandler Carruth // requires a somewhat heavyweight iteration pattern: we need to walk the 16097adc3a2bSChandler Carruth // basic blocks in a breadth-first order as we insert live successors. To 16107adc3a2bSChandler Carruth // accomplish this, prioritizing for small iterations because we exit after 16117adc3a2bSChandler Carruth // crossing our threshold, we use a small-size optimized SetVector. 16127adc3a2bSChandler Carruth typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>, 1613567556aaSChad Rosier SmallPtrSet<BasicBlock *, 16>> 1614567556aaSChad Rosier BBSetVector; 16157adc3a2bSChandler Carruth BBSetVector BBWorklist; 16167adc3a2bSChandler Carruth BBWorklist.insert(&F.getEntryBlock()); 161751b809bfSEaswaran Raman bool SingleBB = true; 16187adc3a2bSChandler Carruth // Note that we *must not* cache the size, this loop grows the worklist. 16197adc3a2bSChandler Carruth for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) { 16207adc3a2bSChandler Carruth // Bail out the moment we cross the threshold. This means we'll under-count 16217adc3a2bSChandler Carruth // the cost, but only when undercounting doesn't matter. 162261995364SHaicheng Wu if (Cost >= Threshold && !ComputeFullInlineCost) 16237adc3a2bSChandler Carruth break; 16247adc3a2bSChandler Carruth 16257adc3a2bSChandler Carruth BasicBlock *BB = BBWorklist[Idx]; 16267adc3a2bSChandler Carruth if (BB->empty()) 16277adc3a2bSChandler Carruth continue; 16287adc3a2bSChandler Carruth 16297adc3a2bSChandler Carruth // Disallow inlining a blockaddress. A blockaddress only has defined 16307adc3a2bSChandler Carruth // behavior for an indirect branch in the same function, and we do not 16317adc3a2bSChandler Carruth // currently support inlining indirect branches. But, the inliner may not 16327adc3a2bSChandler Carruth // see an indirect branch that ends up being dead code at a particular call 16337adc3a2bSChandler Carruth // site. If the blockaddress escapes the function, e.g., via a global 16347adc3a2bSChandler Carruth // variable, inlining may lead to an invalid cross-function reference. 16357adc3a2bSChandler Carruth if (BB->hasAddressTaken()) 16367adc3a2bSChandler Carruth return false; 16377adc3a2bSChandler Carruth 16387adc3a2bSChandler Carruth // Analyze the cost of this block. If we blow through the threshold, this 16397adc3a2bSChandler Carruth // returns false, and we can bail on out. 1640d295b00aSEaswaran Raman if (!analyzeBlock(BB, EphValues)) 16417adc3a2bSChandler Carruth return false; 16427adc3a2bSChandler Carruth 16437adc3a2bSChandler Carruth TerminatorInst *TI = BB->getTerminator(); 16447adc3a2bSChandler Carruth 16457adc3a2bSChandler Carruth // Add in the live successors by first checking whether we have terminator 16467adc3a2bSChandler Carruth // that may be simplified based on the values simplified by this call. 16477adc3a2bSChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 16487adc3a2bSChandler Carruth if (BI->isConditional()) { 16497adc3a2bSChandler Carruth Value *Cond = BI->getCondition(); 1650567556aaSChad Rosier if (ConstantInt *SimpleCond = 1651567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 16527adc3a2bSChandler Carruth BBWorklist.insert(BI->getSuccessor(SimpleCond->isZero() ? 1 : 0)); 16537adc3a2bSChandler Carruth continue; 16547adc3a2bSChandler Carruth } 16557adc3a2bSChandler Carruth } 16567adc3a2bSChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) { 16577adc3a2bSChandler Carruth Value *Cond = SI->getCondition(); 1658567556aaSChad Rosier if (ConstantInt *SimpleCond = 1659567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 1660927d8e61SChandler Carruth BBWorklist.insert(SI->findCaseValue(SimpleCond)->getCaseSuccessor()); 16617adc3a2bSChandler Carruth continue; 16627adc3a2bSChandler Carruth } 16637adc3a2bSChandler Carruth } 16647adc3a2bSChandler Carruth 16657adc3a2bSChandler Carruth // If we're unable to select a particular successor, just count all of 16667adc3a2bSChandler Carruth // them. 16677adc3a2bSChandler Carruth for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize; 16687adc3a2bSChandler Carruth ++TIdx) 16697adc3a2bSChandler Carruth BBWorklist.insert(TI->getSuccessor(TIdx)); 16707adc3a2bSChandler Carruth 16717adc3a2bSChandler Carruth // If we had any successors at this point, than post-inlining is likely to 16727adc3a2bSChandler Carruth // have them as well. Note that we assume any basic blocks which existed 16737adc3a2bSChandler Carruth // due to branches or switches which folded above will also fold after 16747adc3a2bSChandler Carruth // inlining. 16757adc3a2bSChandler Carruth if (SingleBB && TI->getNumSuccessors() > 1) { 16767adc3a2bSChandler Carruth // Take off the bonus we applied to the threshold. 16777adc3a2bSChandler Carruth Threshold -= SingleBBBonus; 16787adc3a2bSChandler Carruth SingleBB = false; 16797adc3a2bSChandler Carruth } 16807adc3a2bSChandler Carruth } 16817adc3a2bSChandler Carruth 168251b809bfSEaswaran Raman bool OnlyOneCallAndLocalLinkage = 168351b809bfSEaswaran Raman F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction(); 16847adc3a2bSChandler Carruth // If this is a noduplicate call, we can still inline as long as 16857adc3a2bSChandler Carruth // inlining this would cause the removal of the caller (so the instruction 16867adc3a2bSChandler Carruth // is not actually duplicated, just moved). 16877adc3a2bSChandler Carruth if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall) 16887adc3a2bSChandler Carruth return false; 16897adc3a2bSChandler Carruth 16907adc3a2bSChandler Carruth // We applied the maximum possible vector bonus at the beginning. Now, 16917adc3a2bSChandler Carruth // subtract the excess bonus, if any, from the Threshold before 16927adc3a2bSChandler Carruth // comparing against Cost. 16937adc3a2bSChandler Carruth if (NumVectorInstructions <= NumInstructions / 10) 169451b809bfSEaswaran Raman Threshold -= VectorBonus; 16957adc3a2bSChandler Carruth else if (NumVectorInstructions <= NumInstructions / 2) 169651b809bfSEaswaran Raman Threshold -= VectorBonus/2; 16977adc3a2bSChandler Carruth 169800ab73dcSHans Wennborg return Cost < std::max(1, Threshold); 16997adc3a2bSChandler Carruth } 17007adc3a2bSChandler Carruth 1701*615eb470SAaron Ballman #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 17027adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis. 1703eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() { 17047adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << " " #x ": " << x << "\n" 17057adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantArgs); 17067adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs); 17077adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumAllocaArgs); 17087adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrCmps); 17097adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrDiffs); 17107adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructionsSimplified); 17117adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructions); 17127adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavings); 17137adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavingsLost); 17147adc3a2bSChandler Carruth DEBUG_PRINT_STAT(ContainsNoDuplicateCall); 17157adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Cost); 17167adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Threshold); 17177adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT 17187adc3a2bSChandler Carruth } 17197adc3a2bSChandler Carruth #endif 17207adc3a2bSChandler Carruth 17217adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee 17227adc3a2bSChandler Carruth /// that prevent inlining. 17237adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller, 17247adc3a2bSChandler Carruth Function *Callee, 17257adc3a2bSChandler Carruth TargetTransformInfo &TTI) { 17267adc3a2bSChandler Carruth return TTI.areInlineCompatible(Caller, Callee) && 17271cb242ebSAkira Hatanaka AttributeFuncs::areInlineCompatible(*Caller, *Callee); 17287adc3a2bSChandler Carruth } 17297adc3a2bSChandler Carruth 1730351d9b01SXinliang David Li int llvm::getCallsiteCost(CallSite CS, const DataLayout &DL) { 1731351d9b01SXinliang David Li int Cost = 0; 1732351d9b01SXinliang David Li for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) { 1733351d9b01SXinliang David Li if (CS.isByValArgument(I)) { 1734351d9b01SXinliang David Li // We approximate the number of loads and stores needed by dividing the 1735351d9b01SXinliang David Li // size of the byval type by the target's pointer size. 1736351d9b01SXinliang David Li PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType()); 1737351d9b01SXinliang David Li unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType()); 1738351d9b01SXinliang David Li unsigned PointerSize = DL.getPointerSizeInBits(); 1739351d9b01SXinliang David Li // Ceiling division. 1740351d9b01SXinliang David Li unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize; 1741351d9b01SXinliang David Li 1742351d9b01SXinliang David Li // If it generates more than 8 stores it is likely to be expanded as an 1743351d9b01SXinliang David Li // inline memcpy so we take that as an upper bound. Otherwise we assume 1744351d9b01SXinliang David Li // one load and one store per word copied. 1745351d9b01SXinliang David Li // FIXME: The maxStoresPerMemcpy setting from the target should be used 1746351d9b01SXinliang David Li // here instead of a magic number of 8, but it's not available via 1747351d9b01SXinliang David Li // DataLayout. 1748351d9b01SXinliang David Li NumStores = std::min(NumStores, 8U); 1749351d9b01SXinliang David Li 1750351d9b01SXinliang David Li Cost += 2 * NumStores * InlineConstants::InstrCost; 1751351d9b01SXinliang David Li } else { 1752351d9b01SXinliang David Li // For non-byval arguments subtract off one instruction per call 1753351d9b01SXinliang David Li // argument. 1754351d9b01SXinliang David Li Cost += InlineConstants::InstrCost; 1755351d9b01SXinliang David Li } 1756351d9b01SXinliang David Li } 1757351d9b01SXinliang David Li // The call instruction also disappears after inlining. 1758351d9b01SXinliang David Li Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty; 1759351d9b01SXinliang David Li return Cost; 1760351d9b01SXinliang David Li } 1761351d9b01SXinliang David Li 1762ab6a6837SSean Silva InlineCost llvm::getInlineCost( 17631c57cc2bSEaswaran Raman CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI, 1764aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 176512585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 17660812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 1767aec2fa35SDaniel Jasper return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI, 17680812c5beSHaicheng Wu GetAssumptionCache, GetBFI, PSI, ORE); 1769b9f7120eSEaswaran Raman } 1770b9f7120eSEaswaran Raman 1771ab6a6837SSean Silva InlineCost llvm::getInlineCost( 17721c57cc2bSEaswaran Raman CallSite CS, Function *Callee, const InlineParams &Params, 1773aec2fa35SDaniel Jasper TargetTransformInfo &CalleeTTI, 1774aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 177512585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 17760812c5beSHaicheng Wu ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) { 1777f4bb2f0dSEaswaran Raman 17787adc3a2bSChandler Carruth // Cannot inline indirect calls. 17797adc3a2bSChandler Carruth if (!Callee) 17807adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 17817adc3a2bSChandler Carruth 17827adc3a2bSChandler Carruth // Calls to functions with always-inline attributes should be inlined 17837adc3a2bSChandler Carruth // whenever possible. 17847adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::AlwaysInline)) { 17857adc3a2bSChandler Carruth if (isInlineViable(*Callee)) 17867adc3a2bSChandler Carruth return llvm::InlineCost::getAlways(); 17877adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 17887adc3a2bSChandler Carruth } 17897adc3a2bSChandler Carruth 17907adc3a2bSChandler Carruth // Never inline functions with conflicting attributes (unless callee has 17917adc3a2bSChandler Carruth // always-inline attribute). 17925ce28f4fSChad Rosier Function *Caller = CS.getCaller(); 17935ce28f4fSChad Rosier if (!functionsHaveCompatibleAttributes(Caller, Callee, CalleeTTI)) 17947adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 17957adc3a2bSChandler Carruth 17967adc3a2bSChandler Carruth // Don't inline this call if the caller has the optnone attribute. 17975ce28f4fSChad Rosier if (Caller->hasFnAttribute(Attribute::OptimizeNone)) 17987adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 17997adc3a2bSChandler Carruth 18005ce32728SSanjoy Das // Don't inline functions which can be interposed at link-time. Don't inline 18015ce32728SSanjoy Das // functions marked noinline or call sites marked noinline. 1802107b187dSCraig Topper // Note: inlining non-exact non-interposable functions is fine, since we know 18035ce32728SSanjoy Das // we have *a* correct implementation of the source level function. 1804567556aaSChad Rosier if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) || 1805567556aaSChad Rosier CS.isNoInline()) 18067adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 18077adc3a2bSChandler Carruth 18087adc3a2bSChandler Carruth DEBUG(llvm::dbgs() << " Analyzing call of " << Callee->getName() 18094eb18742SChad Rosier << "... (caller:" << Caller->getName() << ")\n"); 18107adc3a2bSChandler Carruth 18110812c5beSHaicheng Wu CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, ORE, *Callee, CS, 181212585b01SEaswaran Raman Params); 18137adc3a2bSChandler Carruth bool ShouldInline = CA.analyzeCall(CS); 18147adc3a2bSChandler Carruth 18157adc3a2bSChandler Carruth DEBUG(CA.dump()); 18167adc3a2bSChandler Carruth 18177adc3a2bSChandler Carruth // Check if there was a reason to force inlining or no inlining. 18187adc3a2bSChandler Carruth if (!ShouldInline && CA.getCost() < CA.getThreshold()) 18197adc3a2bSChandler Carruth return InlineCost::getNever(); 18207adc3a2bSChandler Carruth if (ShouldInline && CA.getCost() >= CA.getThreshold()) 18217adc3a2bSChandler Carruth return InlineCost::getAlways(); 18227adc3a2bSChandler Carruth 18237adc3a2bSChandler Carruth return llvm::InlineCost::get(CA.getCost(), CA.getThreshold()); 18247adc3a2bSChandler Carruth } 18257adc3a2bSChandler Carruth 1826b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) { 18277adc3a2bSChandler Carruth bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice); 18287adc3a2bSChandler Carruth for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) { 18297adc3a2bSChandler Carruth // Disallow inlining of functions which contain indirect branches or 18307adc3a2bSChandler Carruth // blockaddresses. 18317adc3a2bSChandler Carruth if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken()) 18327adc3a2bSChandler Carruth return false; 18337adc3a2bSChandler Carruth 18345a82c916SDuncan P. N. Exon Smith for (auto &II : *BI) { 18355a82c916SDuncan P. N. Exon Smith CallSite CS(&II); 18367adc3a2bSChandler Carruth if (!CS) 18377adc3a2bSChandler Carruth continue; 18387adc3a2bSChandler Carruth 18397adc3a2bSChandler Carruth // Disallow recursive calls. 18407adc3a2bSChandler Carruth if (&F == CS.getCalledFunction()) 18417adc3a2bSChandler Carruth return false; 18427adc3a2bSChandler Carruth 18437adc3a2bSChandler Carruth // Disallow calls which expose returns-twice to a function not previously 18447adc3a2bSChandler Carruth // attributed as such. 18457adc3a2bSChandler Carruth if (!ReturnsTwice && CS.isCall() && 18467adc3a2bSChandler Carruth cast<CallInst>(CS.getInstruction())->canReturnTwice()) 18477adc3a2bSChandler Carruth return false; 18487adc3a2bSChandler Carruth 18497adc3a2bSChandler Carruth // Disallow inlining functions that call @llvm.localescape. Doing this 18507adc3a2bSChandler Carruth // correctly would require major changes to the inliner. 18517adc3a2bSChandler Carruth if (CS.getCalledFunction() && 18527adc3a2bSChandler Carruth CS.getCalledFunction()->getIntrinsicID() == 18537adc3a2bSChandler Carruth llvm::Intrinsic::localescape) 18547adc3a2bSChandler Carruth return false; 18557adc3a2bSChandler Carruth } 18567adc3a2bSChandler Carruth } 18577adc3a2bSChandler Carruth 18587adc3a2bSChandler Carruth return true; 18597adc3a2bSChandler Carruth } 18601c57cc2bSEaswaran Raman 18611c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other 18621c57cc2bSEaswaran Raman // parameters. 18631c57cc2bSEaswaran Raman 18641c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) { 18651c57cc2bSEaswaran Raman InlineParams Params; 18661c57cc2bSEaswaran Raman 18671c57cc2bSEaswaran Raman // This field is the threshold to use for a callee by default. This is 18681c57cc2bSEaswaran Raman // derived from one or more of: 18691c57cc2bSEaswaran Raman // * optimization or size-optimization levels, 18701c57cc2bSEaswaran Raman // * a value passed to createFunctionInliningPass function, or 18711c57cc2bSEaswaran Raman // * the -inline-threshold flag. 18721c57cc2bSEaswaran Raman // If the -inline-threshold flag is explicitly specified, that is used 18731c57cc2bSEaswaran Raman // irrespective of anything else. 18741c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() > 0) 18751c57cc2bSEaswaran Raman Params.DefaultThreshold = InlineThreshold; 18761c57cc2bSEaswaran Raman else 18771c57cc2bSEaswaran Raman Params.DefaultThreshold = Threshold; 18781c57cc2bSEaswaran Raman 18791c57cc2bSEaswaran Raman // Set the HintThreshold knob from the -inlinehint-threshold. 18801c57cc2bSEaswaran Raman Params.HintThreshold = HintThreshold; 18811c57cc2bSEaswaran Raman 18821c57cc2bSEaswaran Raman // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold. 18831c57cc2bSEaswaran Raman Params.HotCallSiteThreshold = HotCallSiteThreshold; 18841c57cc2bSEaswaran Raman 1885974d4eeaSEaswaran Raman // If the -locally-hot-callsite-threshold is explicitly specified, use it to 1886974d4eeaSEaswaran Raman // populate LocallyHotCallSiteThreshold. Later, we populate 1887974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold from -locally-hot-callsite-threshold if 1888974d4eeaSEaswaran Raman // we know that optimization level is O3 (in the getInlineParams variant that 1889974d4eeaSEaswaran Raman // takes the opt and size levels). 1890974d4eeaSEaswaran Raman // FIXME: Remove this check (and make the assignment unconditional) after 1891974d4eeaSEaswaran Raman // addressing size regression issues at O2. 1892974d4eeaSEaswaran Raman if (LocallyHotCallSiteThreshold.getNumOccurrences() > 0) 1893974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 1894974d4eeaSEaswaran Raman 189512585b01SEaswaran Raman // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold. 189612585b01SEaswaran Raman Params.ColdCallSiteThreshold = ColdCallSiteThreshold; 189712585b01SEaswaran Raman 18981c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 18991c57cc2bSEaswaran Raman // -inlinehint-threshold commandline option is not explicitly given. If that 19001c57cc2bSEaswaran Raman // option is present, then its value applies even for callees with size and 19011c57cc2bSEaswaran Raman // minsize attributes. 19021c57cc2bSEaswaran Raman // If the -inline-threshold is not specified, set the ColdThreshold from the 19031c57cc2bSEaswaran Raman // -inlinecold-threshold even if it is not explicitly passed. If 19041c57cc2bSEaswaran Raman // -inline-threshold is specified, then -inlinecold-threshold needs to be 19051c57cc2bSEaswaran Raman // explicitly specified to set the ColdThreshold knob 19061c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() == 0) { 19071c57cc2bSEaswaran Raman Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold; 19081c57cc2bSEaswaran Raman Params.OptSizeThreshold = InlineConstants::OptSizeThreshold; 19091c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 19101c57cc2bSEaswaran Raman } else if (ColdThreshold.getNumOccurrences() > 0) { 19111c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 19121c57cc2bSEaswaran Raman } 19131c57cc2bSEaswaran Raman return Params; 19141c57cc2bSEaswaran Raman } 19151c57cc2bSEaswaran Raman 19161c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() { 19171c57cc2bSEaswaran Raman return getInlineParams(InlineThreshold); 19181c57cc2bSEaswaran Raman } 19191c57cc2bSEaswaran Raman 19201c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the 19211c57cc2bSEaswaran Raman // size opt level. 19221c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel, 19231c57cc2bSEaswaran Raman unsigned SizeOptLevel) { 19241c57cc2bSEaswaran Raman if (OptLevel > 2) 19251c57cc2bSEaswaran Raman return InlineConstants::OptAggressiveThreshold; 19261c57cc2bSEaswaran Raman if (SizeOptLevel == 1) // -Os 19271c57cc2bSEaswaran Raman return InlineConstants::OptSizeThreshold; 19281c57cc2bSEaswaran Raman if (SizeOptLevel == 2) // -Oz 19291c57cc2bSEaswaran Raman return InlineConstants::OptMinSizeThreshold; 19301c57cc2bSEaswaran Raman return InlineThreshold; 19311c57cc2bSEaswaran Raman } 19321c57cc2bSEaswaran Raman 19331c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) { 1934974d4eeaSEaswaran Raman auto Params = 1935974d4eeaSEaswaran Raman getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel)); 1936974d4eeaSEaswaran Raman // At O3, use the value of -locally-hot-callsite-threshold option to populate 1937974d4eeaSEaswaran Raman // Params.LocallyHotCallSiteThreshold. Below O3, this flag has effect only 1938974d4eeaSEaswaran Raman // when it is specified explicitly. 1939974d4eeaSEaswaran Raman if (OptLevel > 2) 1940974d4eeaSEaswaran Raman Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold; 1941974d4eeaSEaswaran Raman return Params; 19421c57cc2bSEaswaran Raman } 1943