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" 217adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h" 227adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h" 237adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h" 2471069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h" 257adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h" 267adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h" 277adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h" 287adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h" 297adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h" 307adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h" 317adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h" 327adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h" 337adc3a2bSChandler Carruth #include "llvm/IR/Operator.h" 347adc3a2bSChandler Carruth #include "llvm/Support/Debug.h" 357adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h" 367adc3a2bSChandler Carruth 377adc3a2bSChandler Carruth using namespace llvm; 387adc3a2bSChandler Carruth 397adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost" 407adc3a2bSChandler Carruth 417adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed"); 427adc3a2bSChandler Carruth 431c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold( 44f4bb2f0dSEaswaran Raman "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore, 45f4bb2f0dSEaswaran Raman cl::desc("Control the amount of inlining to perform (default = 225)")); 46f4bb2f0dSEaswaran Raman 47f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold( 48f4bb2f0dSEaswaran Raman "inlinehint-threshold", cl::Hidden, cl::init(325), 49f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with inline hint")); 50f4bb2f0dSEaswaran Raman 51f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based 52f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and 53f4bb2f0dSEaswaran Raman // BFI. 54f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold( 55f4bb2f0dSEaswaran Raman "inlinecold-threshold", cl::Hidden, cl::init(225), 56f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with cold attribute")); 57f4bb2f0dSEaswaran Raman 58de39cb93SDehao Chen static cl::opt<int> 59de39cb93SDehao Chen HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000), 60de39cb93SDehao Chen cl::ZeroOrMore, 61de39cb93SDehao Chen cl::desc("Threshold for hot callsites ")); 62de39cb93SDehao Chen 637adc3a2bSChandler Carruth namespace { 647adc3a2bSChandler Carruth 657adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> { 667adc3a2bSChandler Carruth typedef InstVisitor<CallAnalyzer, bool> Base; 677adc3a2bSChandler Carruth friend class InstVisitor<CallAnalyzer, bool>; 687adc3a2bSChandler Carruth 697adc3a2bSChandler Carruth /// The TargetTransformInfo available for this compilation. 707adc3a2bSChandler Carruth const TargetTransformInfo &TTI; 717adc3a2bSChandler Carruth 72aec2fa35SDaniel Jasper /// Getter for the cache of @llvm.assume intrinsics. 73aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache; 74aec2fa35SDaniel Jasper 7571069cf6SEaswaran Raman /// Profile summary information. 7671069cf6SEaswaran Raman ProfileSummaryInfo *PSI; 7771069cf6SEaswaran Raman 78f3d122cdSPiotr Padlewski /// The called function. 797adc3a2bSChandler Carruth Function &F; 807adc3a2bSChandler Carruth 81f3d122cdSPiotr Padlewski /// The candidate callsite being analyzed. Please do not use this to do 82f3d122cdSPiotr Padlewski /// analysis in the caller function; we want the inline cost query to be 83f3d122cdSPiotr Padlewski /// easily cacheable. Instead, use the cover function paramHasAttr. 847adc3a2bSChandler Carruth CallSite CandidateCS; 857adc3a2bSChandler Carruth 86f3d122cdSPiotr Padlewski /// Tunable parameters that control the analysis. 871c57cc2bSEaswaran Raman const InlineParams &Params; 881c57cc2bSEaswaran Raman 897adc3a2bSChandler Carruth int Threshold; 907adc3a2bSChandler Carruth int Cost; 917adc3a2bSChandler Carruth 927adc3a2bSChandler Carruth bool IsCallerRecursive; 937adc3a2bSChandler Carruth bool IsRecursiveCall; 947adc3a2bSChandler Carruth bool ExposesReturnsTwice; 957adc3a2bSChandler Carruth bool HasDynamicAlloca; 967adc3a2bSChandler Carruth bool ContainsNoDuplicateCall; 977adc3a2bSChandler Carruth bool HasReturn; 987adc3a2bSChandler Carruth bool HasIndirectBr; 997adc3a2bSChandler Carruth bool HasFrameEscape; 1007adc3a2bSChandler Carruth 1017adc3a2bSChandler Carruth /// Number of bytes allocated statically by the callee. 1027adc3a2bSChandler Carruth uint64_t AllocatedSize; 1037adc3a2bSChandler Carruth unsigned NumInstructions, NumVectorInstructions; 1047adc3a2bSChandler Carruth int FiftyPercentVectorBonus, TenPercentVectorBonus; 1057adc3a2bSChandler Carruth int VectorBonus; 1067adc3a2bSChandler Carruth 107f3d122cdSPiotr Padlewski /// While we walk the potentially-inlined instructions, we build up and 108f3d122cdSPiotr Padlewski /// maintain a mapping of simplified values specific to this callsite. The 109f3d122cdSPiotr Padlewski /// idea is to propagate any special information we have about arguments to 110f3d122cdSPiotr Padlewski /// this call through the inlinable section of the function, and account for 111f3d122cdSPiotr Padlewski /// likely simplifications post-inlining. The most important aspect we track 112f3d122cdSPiotr Padlewski /// is CFG altering simplifications -- when we prove a basic block dead, that 113f3d122cdSPiotr Padlewski /// can cause dramatic shifts in the cost of inlining a function. 1147adc3a2bSChandler Carruth DenseMap<Value *, Constant *> SimplifiedValues; 1157adc3a2bSChandler Carruth 116f3d122cdSPiotr Padlewski /// Keep track of the values which map back (through function arguments) to 117f3d122cdSPiotr Padlewski /// allocas on the caller stack which could be simplified through SROA. 1187adc3a2bSChandler Carruth DenseMap<Value *, Value *> SROAArgValues; 1197adc3a2bSChandler Carruth 120f3d122cdSPiotr Padlewski /// The mapping of caller Alloca values to their accumulated cost savings. If 121f3d122cdSPiotr Padlewski /// we have to disable SROA for one of the allocas, this tells us how much 122f3d122cdSPiotr Padlewski /// cost must be added. 1237adc3a2bSChandler Carruth DenseMap<Value *, int> SROAArgCosts; 1247adc3a2bSChandler Carruth 125f3d122cdSPiotr Padlewski /// Keep track of values which map to a pointer base and constant offset. 1267adc3a2bSChandler Carruth DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs; 1277adc3a2bSChandler Carruth 1287adc3a2bSChandler Carruth // Custom simplification helper routines. 1297adc3a2bSChandler Carruth bool isAllocaDerivedArg(Value *V); 1307adc3a2bSChandler Carruth bool lookupSROAArgAndCost(Value *V, Value *&Arg, 1317adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator &CostIt); 1327adc3a2bSChandler Carruth void disableSROA(DenseMap<Value *, int>::iterator CostIt); 1337adc3a2bSChandler Carruth void disableSROA(Value *V); 1347adc3a2bSChandler Carruth void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 1357adc3a2bSChandler Carruth int InstructionCost); 1367adc3a2bSChandler Carruth bool isGEPOffsetConstant(GetElementPtrInst &GEP); 1377adc3a2bSChandler Carruth bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset); 1387adc3a2bSChandler Carruth bool simplifyCallSite(Function *F, CallSite CS); 1397adc3a2bSChandler Carruth ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V); 1407adc3a2bSChandler Carruth 1417adc3a2bSChandler Carruth /// Return true if the given argument to the function being considered for 1427adc3a2bSChandler Carruth /// inlining has the given attribute set either at the call site or the 1437adc3a2bSChandler Carruth /// function declaration. Primarily used to inspect call site specific 1447adc3a2bSChandler Carruth /// attributes since these can be more precise than the ones on the callee 1457adc3a2bSChandler Carruth /// itself. 1467adc3a2bSChandler Carruth bool paramHasAttr(Argument *A, Attribute::AttrKind Attr); 1477adc3a2bSChandler Carruth 1487adc3a2bSChandler Carruth /// Return true if the given value is known non null within the callee if 1497adc3a2bSChandler Carruth /// inlined through this particular callsite. 1507adc3a2bSChandler Carruth bool isKnownNonNullInCallee(Value *V); 1517adc3a2bSChandler Carruth 152f4bb2f0dSEaswaran Raman /// Update Threshold based on callsite properties such as callee 153f4bb2f0dSEaswaran Raman /// attributes and callee hotness for PGO builds. The Callee is explicitly 154f4bb2f0dSEaswaran Raman /// passed to support analyzing indirect calls whose target is inferred by 155f4bb2f0dSEaswaran Raman /// analysis. 156f4bb2f0dSEaswaran Raman void updateThreshold(CallSite CS, Function &Callee); 157f4bb2f0dSEaswaran Raman 1589a3fc17aSEaswaran Raman /// Return true if size growth is allowed when inlining the callee at CS. 1599a3fc17aSEaswaran Raman bool allowSizeGrowth(CallSite CS); 1609a3fc17aSEaswaran Raman 1617adc3a2bSChandler Carruth // Custom analysis routines. 1627adc3a2bSChandler Carruth bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues); 1637adc3a2bSChandler Carruth 1647adc3a2bSChandler Carruth // Disable several entry points to the visitor so we don't accidentally use 1657adc3a2bSChandler Carruth // them by declaring but not defining them here. 166567556aaSChad Rosier void visit(Module *); 167567556aaSChad Rosier void visit(Module &); 168567556aaSChad Rosier void visit(Function *); 169567556aaSChad Rosier void visit(Function &); 170567556aaSChad Rosier void visit(BasicBlock *); 171567556aaSChad Rosier void visit(BasicBlock &); 1727adc3a2bSChandler Carruth 1737adc3a2bSChandler Carruth // Provide base case for our instruction visit. 1747adc3a2bSChandler Carruth bool visitInstruction(Instruction &I); 1757adc3a2bSChandler Carruth 1767adc3a2bSChandler Carruth // Our visit overrides. 1777adc3a2bSChandler Carruth bool visitAlloca(AllocaInst &I); 1787adc3a2bSChandler Carruth bool visitPHI(PHINode &I); 1797adc3a2bSChandler Carruth bool visitGetElementPtr(GetElementPtrInst &I); 1807adc3a2bSChandler Carruth bool visitBitCast(BitCastInst &I); 1817adc3a2bSChandler Carruth bool visitPtrToInt(PtrToIntInst &I); 1827adc3a2bSChandler Carruth bool visitIntToPtr(IntToPtrInst &I); 1837adc3a2bSChandler Carruth bool visitCastInst(CastInst &I); 1847adc3a2bSChandler Carruth bool visitUnaryInstruction(UnaryInstruction &I); 1857adc3a2bSChandler Carruth bool visitCmpInst(CmpInst &I); 1867adc3a2bSChandler Carruth bool visitSub(BinaryOperator &I); 1877adc3a2bSChandler Carruth bool visitBinaryOperator(BinaryOperator &I); 1887adc3a2bSChandler Carruth bool visitLoad(LoadInst &I); 1897adc3a2bSChandler Carruth bool visitStore(StoreInst &I); 1907adc3a2bSChandler Carruth bool visitExtractValue(ExtractValueInst &I); 1917adc3a2bSChandler Carruth bool visitInsertValue(InsertValueInst &I); 1927adc3a2bSChandler Carruth bool visitCallSite(CallSite CS); 1937adc3a2bSChandler Carruth bool visitReturnInst(ReturnInst &RI); 1947adc3a2bSChandler Carruth bool visitBranchInst(BranchInst &BI); 1957adc3a2bSChandler Carruth bool visitSwitchInst(SwitchInst &SI); 1967adc3a2bSChandler Carruth bool visitIndirectBrInst(IndirectBrInst &IBI); 1977adc3a2bSChandler Carruth bool visitResumeInst(ResumeInst &RI); 1987adc3a2bSChandler Carruth bool visitCleanupReturnInst(CleanupReturnInst &RI); 1997adc3a2bSChandler Carruth bool visitCatchReturnInst(CatchReturnInst &RI); 2007adc3a2bSChandler Carruth bool visitUnreachableInst(UnreachableInst &I); 2017adc3a2bSChandler Carruth 2027adc3a2bSChandler Carruth public: 203ab6a6837SSean Silva CallAnalyzer(const TargetTransformInfo &TTI, 204aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 2051c57cc2bSEaswaran Raman ProfileSummaryInfo *PSI, Function &Callee, CallSite CSArg, 2061c57cc2bSEaswaran Raman const InlineParams &Params) 207aec2fa35SDaniel Jasper : TTI(TTI), GetAssumptionCache(GetAssumptionCache), PSI(PSI), F(Callee), 208aec2fa35SDaniel Jasper CandidateCS(CSArg), Params(Params), Threshold(Params.DefaultThreshold), 209aec2fa35SDaniel Jasper Cost(0), IsCallerRecursive(false), IsRecursiveCall(false), 210aec2fa35SDaniel Jasper ExposesReturnsTwice(false), HasDynamicAlloca(false), 211aec2fa35SDaniel Jasper ContainsNoDuplicateCall(false), HasReturn(false), HasIndirectBr(false), 212aec2fa35SDaniel Jasper HasFrameEscape(false), AllocatedSize(0), NumInstructions(0), 213aec2fa35SDaniel Jasper NumVectorInstructions(0), FiftyPercentVectorBonus(0), 214aec2fa35SDaniel Jasper TenPercentVectorBonus(0), VectorBonus(0), NumConstantArgs(0), 215aec2fa35SDaniel Jasper NumConstantOffsetPtrArgs(0), NumAllocaArgs(0), NumConstantPtrCmps(0), 216aec2fa35SDaniel Jasper NumConstantPtrDiffs(0), NumInstructionsSimplified(0), 217aec2fa35SDaniel Jasper SROACostSavings(0), SROACostSavingsLost(0) {} 2187adc3a2bSChandler Carruth 2197adc3a2bSChandler Carruth bool analyzeCall(CallSite CS); 2207adc3a2bSChandler Carruth 2217adc3a2bSChandler Carruth int getThreshold() { return Threshold; } 2227adc3a2bSChandler Carruth int getCost() { return Cost; } 2237adc3a2bSChandler Carruth 2247adc3a2bSChandler Carruth // Keep a bunch of stats about the cost savings found so we can print them 2257adc3a2bSChandler Carruth // out when debugging. 2267adc3a2bSChandler Carruth unsigned NumConstantArgs; 2277adc3a2bSChandler Carruth unsigned NumConstantOffsetPtrArgs; 2287adc3a2bSChandler Carruth unsigned NumAllocaArgs; 2297adc3a2bSChandler Carruth unsigned NumConstantPtrCmps; 2307adc3a2bSChandler Carruth unsigned NumConstantPtrDiffs; 2317adc3a2bSChandler Carruth unsigned NumInstructionsSimplified; 2327adc3a2bSChandler Carruth unsigned SROACostSavings; 2337adc3a2bSChandler Carruth unsigned SROACostSavingsLost; 2347adc3a2bSChandler Carruth 2357adc3a2bSChandler Carruth void dump(); 2367adc3a2bSChandler Carruth }; 2377adc3a2bSChandler Carruth 2387adc3a2bSChandler Carruth } // namespace 2397adc3a2bSChandler Carruth 2407adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument. 2417adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) { 2427adc3a2bSChandler Carruth return SROAArgValues.count(V); 2437adc3a2bSChandler Carruth } 2447adc3a2bSChandler Carruth 2457adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to. 2467adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate. 2477adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost( 2487adc3a2bSChandler Carruth Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) { 2497adc3a2bSChandler Carruth if (SROAArgValues.empty() || SROAArgCosts.empty()) 2507adc3a2bSChandler Carruth return false; 2517adc3a2bSChandler Carruth 2527adc3a2bSChandler Carruth DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V); 2537adc3a2bSChandler Carruth if (ArgIt == SROAArgValues.end()) 2547adc3a2bSChandler Carruth return false; 2557adc3a2bSChandler Carruth 2567adc3a2bSChandler Carruth Arg = ArgIt->second; 2577adc3a2bSChandler Carruth CostIt = SROAArgCosts.find(Arg); 2587adc3a2bSChandler Carruth return CostIt != SROAArgCosts.end(); 2597adc3a2bSChandler Carruth } 2607adc3a2bSChandler Carruth 2617adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator. 2627adc3a2bSChandler Carruth /// 2637adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost 2647adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement. 2657adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) { 2667adc3a2bSChandler Carruth // If we're no longer able to perform SROA we need to undo its cost savings 2677adc3a2bSChandler Carruth // and prevent subsequent analysis. 2687adc3a2bSChandler Carruth Cost += CostIt->second; 2697adc3a2bSChandler Carruth SROACostSavings -= CostIt->second; 2707adc3a2bSChandler Carruth SROACostSavingsLost += CostIt->second; 2717adc3a2bSChandler Carruth SROAArgCosts.erase(CostIt); 2727adc3a2bSChandler Carruth } 2737adc3a2bSChandler Carruth 2747adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it. 2757adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) { 2767adc3a2bSChandler Carruth Value *SROAArg; 2777adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 2787adc3a2bSChandler Carruth if (lookupSROAArgAndCost(V, SROAArg, CostIt)) 2797adc3a2bSChandler Carruth disableSROA(CostIt); 2807adc3a2bSChandler Carruth } 2817adc3a2bSChandler Carruth 2827adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate. 2837adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 2847adc3a2bSChandler Carruth int InstructionCost) { 2857adc3a2bSChandler Carruth CostIt->second += InstructionCost; 2867adc3a2bSChandler Carruth SROACostSavings += InstructionCost; 2877adc3a2bSChandler Carruth } 2887adc3a2bSChandler Carruth 2897adc3a2bSChandler Carruth /// \brief Check whether a GEP's indices are all constant. 2907adc3a2bSChandler Carruth /// 2917adc3a2bSChandler Carruth /// Respects any simplified values known during the analysis of this callsite. 2927adc3a2bSChandler Carruth bool CallAnalyzer::isGEPOffsetConstant(GetElementPtrInst &GEP) { 2937adc3a2bSChandler Carruth for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 2947adc3a2bSChandler Carruth if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I)) 2957adc3a2bSChandler Carruth return false; 2967adc3a2bSChandler Carruth 2977adc3a2bSChandler Carruth return true; 2987adc3a2bSChandler Carruth } 2997adc3a2bSChandler Carruth 3007adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible. 3017adc3a2bSChandler Carruth /// 3027adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any 3037adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite. 3047adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) { 3057adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 3067adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 3077adc3a2bSChandler Carruth assert(IntPtrWidth == Offset.getBitWidth()); 3087adc3a2bSChandler Carruth 3097adc3a2bSChandler Carruth for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP); 3107adc3a2bSChandler Carruth GTI != GTE; ++GTI) { 3117adc3a2bSChandler Carruth ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand()); 3127adc3a2bSChandler Carruth if (!OpC) 3137adc3a2bSChandler Carruth if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand())) 3147adc3a2bSChandler Carruth OpC = dyn_cast<ConstantInt>(SimpleOp); 3157adc3a2bSChandler Carruth if (!OpC) 3167adc3a2bSChandler Carruth return false; 317567556aaSChad Rosier if (OpC->isZero()) 318567556aaSChad Rosier continue; 3197adc3a2bSChandler Carruth 3207adc3a2bSChandler Carruth // Handle a struct index, which adds its field offset to the pointer. 321ab85225bSPeter Collingbourne if (StructType *STy = GTI.getStructTypeOrNull()) { 3227adc3a2bSChandler Carruth unsigned ElementIdx = OpC->getZExtValue(); 3237adc3a2bSChandler Carruth const StructLayout *SL = DL.getStructLayout(STy); 3247adc3a2bSChandler Carruth Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx)); 3257adc3a2bSChandler Carruth continue; 3267adc3a2bSChandler Carruth } 3277adc3a2bSChandler Carruth 3287adc3a2bSChandler Carruth APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType())); 3297adc3a2bSChandler Carruth Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize; 3307adc3a2bSChandler Carruth } 3317adc3a2bSChandler Carruth return true; 3327adc3a2bSChandler Carruth } 3337adc3a2bSChandler Carruth 3347adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) { 3357adc3a2bSChandler Carruth // Check whether inlining will turn a dynamic alloca into a static 3360f153424SSanjay Patel // alloca and handle that case. 3377adc3a2bSChandler Carruth if (I.isArrayAllocation()) { 3380f153424SSanjay Patel Constant *Size = SimplifiedValues.lookup(I.getArraySize()); 3390f153424SSanjay Patel if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) { 34022eb80a1SEaswaran Raman const DataLayout &DL = F.getParent()->getDataLayout(); 3417adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 34222eb80a1SEaswaran Raman AllocatedSize = SaturatingMultiplyAdd( 34322eb80a1SEaswaran Raman AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize); 3447adc3a2bSChandler Carruth return Base::visitAlloca(I); 3457adc3a2bSChandler Carruth } 3467adc3a2bSChandler Carruth } 3477adc3a2bSChandler Carruth 3487adc3a2bSChandler Carruth // Accumulate the allocated size. 3497adc3a2bSChandler Carruth if (I.isStaticAlloca()) { 3507adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 3517adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 35222eb80a1SEaswaran Raman AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize); 3537adc3a2bSChandler Carruth } 3547adc3a2bSChandler Carruth 3557adc3a2bSChandler Carruth // We will happily inline static alloca instructions. 3567adc3a2bSChandler Carruth if (I.isStaticAlloca()) 3577adc3a2bSChandler Carruth return Base::visitAlloca(I); 3587adc3a2bSChandler Carruth 3597adc3a2bSChandler Carruth // FIXME: This is overly conservative. Dynamic allocas are inefficient for 3607adc3a2bSChandler Carruth // a variety of reasons, and so we would like to not inline them into 3617adc3a2bSChandler Carruth // functions which don't currently have a dynamic alloca. This simply 3627adc3a2bSChandler Carruth // disables inlining altogether in the presence of a dynamic alloca. 3637adc3a2bSChandler Carruth HasDynamicAlloca = true; 3647adc3a2bSChandler Carruth return false; 3657adc3a2bSChandler Carruth } 3667adc3a2bSChandler Carruth 3677adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) { 3687adc3a2bSChandler Carruth // FIXME: We should potentially be tracking values through phi nodes, 3697adc3a2bSChandler Carruth // especially when they collapse to a single value due to deleted CFG edges 3707adc3a2bSChandler Carruth // during inlining. 3717adc3a2bSChandler Carruth 3727adc3a2bSChandler Carruth // FIXME: We need to propagate SROA *disabling* through phi nodes, even 3737adc3a2bSChandler Carruth // though we don't want to propagate it's bonuses. The idea is to disable 3747adc3a2bSChandler Carruth // SROA if it *might* be used in an inappropriate manner. 3757adc3a2bSChandler Carruth 3767adc3a2bSChandler Carruth // Phi nodes are always zero-cost. 3777adc3a2bSChandler Carruth return true; 3787adc3a2bSChandler Carruth } 3797adc3a2bSChandler Carruth 3807adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) { 3817adc3a2bSChandler Carruth Value *SROAArg; 3827adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 383567556aaSChad Rosier bool SROACandidate = 384567556aaSChad Rosier lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt); 3857adc3a2bSChandler Carruth 3867adc3a2bSChandler Carruth // Try to fold GEPs of constant-offset call site argument pointers. This 3877adc3a2bSChandler Carruth // requires target data and inbounds GEPs. 3887adc3a2bSChandler Carruth if (I.isInBounds()) { 3897adc3a2bSChandler Carruth // Check if we have a base + offset for the pointer. 3907adc3a2bSChandler Carruth Value *Ptr = I.getPointerOperand(); 3917adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Ptr); 3927adc3a2bSChandler Carruth if (BaseAndOffset.first) { 3937adc3a2bSChandler Carruth // Check if the offset of this GEP is constant, and if so accumulate it 3947adc3a2bSChandler Carruth // into Offset. 3957adc3a2bSChandler Carruth if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) { 3967adc3a2bSChandler Carruth // Non-constant GEPs aren't folded, and disable SROA. 3977adc3a2bSChandler Carruth if (SROACandidate) 3987adc3a2bSChandler Carruth disableSROA(CostIt); 3997adc3a2bSChandler Carruth return false; 4007adc3a2bSChandler Carruth } 4017adc3a2bSChandler Carruth 4027adc3a2bSChandler Carruth // Add the result as a new mapping to Base + Offset. 4037adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 4047adc3a2bSChandler Carruth 4057adc3a2bSChandler Carruth // Also handle SROA candidates here, we already know that the GEP is 4067adc3a2bSChandler Carruth // all-constant indexed. 4077adc3a2bSChandler Carruth if (SROACandidate) 4087adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4097adc3a2bSChandler Carruth 4107adc3a2bSChandler Carruth return true; 4117adc3a2bSChandler Carruth } 4127adc3a2bSChandler Carruth } 4137adc3a2bSChandler Carruth 4147adc3a2bSChandler Carruth if (isGEPOffsetConstant(I)) { 4157adc3a2bSChandler Carruth if (SROACandidate) 4167adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4177adc3a2bSChandler Carruth 4187adc3a2bSChandler Carruth // Constant GEPs are modeled as free. 4197adc3a2bSChandler Carruth return true; 4207adc3a2bSChandler Carruth } 4217adc3a2bSChandler Carruth 4227adc3a2bSChandler Carruth // Variable GEPs will require math and will disable SROA. 4237adc3a2bSChandler Carruth if (SROACandidate) 4247adc3a2bSChandler Carruth disableSROA(CostIt); 4257adc3a2bSChandler Carruth return false; 4267adc3a2bSChandler Carruth } 4277adc3a2bSChandler Carruth 4287adc3a2bSChandler Carruth bool CallAnalyzer::visitBitCast(BitCastInst &I) { 4297adc3a2bSChandler Carruth // Propagate constants through bitcasts. 4307adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 4317adc3a2bSChandler Carruth if (!COp) 4327adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 4337adc3a2bSChandler Carruth if (COp) 4347adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getBitCast(COp, I.getType())) { 4357adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 4367adc3a2bSChandler Carruth return true; 4377adc3a2bSChandler Carruth } 4387adc3a2bSChandler Carruth 4397adc3a2bSChandler Carruth // Track base/offsets through casts 440567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 441567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 4427adc3a2bSChandler Carruth // Casts don't change the offset, just wrap it up. 4437adc3a2bSChandler Carruth if (BaseAndOffset.first) 4447adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 4457adc3a2bSChandler Carruth 4467adc3a2bSChandler Carruth // Also look for SROA candidates here. 4477adc3a2bSChandler Carruth Value *SROAArg; 4487adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 4497adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 4507adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4517adc3a2bSChandler Carruth 4527adc3a2bSChandler Carruth // Bitcasts are always zero cost. 4537adc3a2bSChandler Carruth return true; 4547adc3a2bSChandler Carruth } 4557adc3a2bSChandler Carruth 4567adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) { 4577adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 4587adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 4597adc3a2bSChandler Carruth if (!COp) 4607adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 4617adc3a2bSChandler Carruth if (COp) 4627adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getPtrToInt(COp, I.getType())) { 4637adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 4647adc3a2bSChandler Carruth return true; 4657adc3a2bSChandler Carruth } 4667adc3a2bSChandler Carruth 4677adc3a2bSChandler Carruth // Track base/offset pairs when converted to a plain integer provided the 4687adc3a2bSChandler Carruth // integer is large enough to represent the pointer. 4697adc3a2bSChandler Carruth unsigned IntegerSize = I.getType()->getScalarSizeInBits(); 4707adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 4717adc3a2bSChandler Carruth if (IntegerSize >= DL.getPointerSizeInBits()) { 472567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 473567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 4747adc3a2bSChandler Carruth if (BaseAndOffset.first) 4757adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 4767adc3a2bSChandler Carruth } 4777adc3a2bSChandler Carruth 4787adc3a2bSChandler Carruth // This is really weird. Technically, ptrtoint will disable SROA. However, 4797adc3a2bSChandler Carruth // unless that ptrtoint is *used* somewhere in the live basic blocks after 4807adc3a2bSChandler Carruth // inlining, it will be nuked, and SROA should proceed. All of the uses which 4817adc3a2bSChandler Carruth // would block SROA would also block SROA if applied directly to a pointer, 4827adc3a2bSChandler Carruth // and so we can just add the integer in here. The only places where SROA is 4837adc3a2bSChandler Carruth // preserved either cannot fire on an integer, or won't in-and-of themselves 4847adc3a2bSChandler Carruth // disable SROA (ext) w/o some later use that we would see and disable. 4857adc3a2bSChandler Carruth Value *SROAArg; 4867adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 4877adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 4887adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4897adc3a2bSChandler Carruth 4907adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 4917adc3a2bSChandler Carruth } 4927adc3a2bSChandler Carruth 4937adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) { 4947adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 4957adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 4967adc3a2bSChandler Carruth if (!COp) 4977adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 4987adc3a2bSChandler Carruth if (COp) 4997adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getIntToPtr(COp, I.getType())) { 5007adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5017adc3a2bSChandler Carruth return true; 5027adc3a2bSChandler Carruth } 5037adc3a2bSChandler Carruth 5047adc3a2bSChandler Carruth // Track base/offset pairs when round-tripped through a pointer without 5057adc3a2bSChandler Carruth // modifications provided the integer is not too large. 5067adc3a2bSChandler Carruth Value *Op = I.getOperand(0); 5077adc3a2bSChandler Carruth unsigned IntegerSize = Op->getType()->getScalarSizeInBits(); 5087adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 5097adc3a2bSChandler Carruth if (IntegerSize <= DL.getPointerSizeInBits()) { 5107adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op); 5117adc3a2bSChandler Carruth if (BaseAndOffset.first) 5127adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 5137adc3a2bSChandler Carruth } 5147adc3a2bSChandler Carruth 5157adc3a2bSChandler Carruth // "Propagate" SROA here in the same manner as we do for ptrtoint above. 5167adc3a2bSChandler Carruth Value *SROAArg; 5177adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 5187adc3a2bSChandler Carruth if (lookupSROAArgAndCost(Op, SROAArg, CostIt)) 5197adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5207adc3a2bSChandler Carruth 5217adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5227adc3a2bSChandler Carruth } 5237adc3a2bSChandler Carruth 5247adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) { 5257adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 5267adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 5277adc3a2bSChandler Carruth if (!COp) 5287adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 5297adc3a2bSChandler Carruth if (COp) 5307adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getCast(I.getOpcode(), COp, I.getType())) { 5317adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5327adc3a2bSChandler Carruth return true; 5337adc3a2bSChandler Carruth } 5347adc3a2bSChandler Carruth 5357adc3a2bSChandler Carruth // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere. 5367adc3a2bSChandler Carruth disableSROA(I.getOperand(0)); 5377adc3a2bSChandler Carruth 5387adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5397adc3a2bSChandler Carruth } 5407adc3a2bSChandler Carruth 5417adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) { 5427adc3a2bSChandler Carruth Value *Operand = I.getOperand(0); 5437adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(Operand); 5447adc3a2bSChandler Carruth if (!COp) 5457adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(Operand); 5467adc3a2bSChandler Carruth if (COp) { 5477adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 548e902459cSManuel Jacob if (Constant *C = ConstantFoldInstOperands(&I, COp, DL)) { 5497adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5507adc3a2bSChandler Carruth return true; 5517adc3a2bSChandler Carruth } 5527adc3a2bSChandler Carruth } 5537adc3a2bSChandler Carruth 5547adc3a2bSChandler Carruth // Disable any SROA on the argument to arbitrary unary operators. 5557adc3a2bSChandler Carruth disableSROA(Operand); 5567adc3a2bSChandler Carruth 5577adc3a2bSChandler Carruth return false; 5587adc3a2bSChandler Carruth } 5597adc3a2bSChandler Carruth 5607adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) { 5617adc3a2bSChandler Carruth unsigned ArgNo = A->getArgNo(); 5627adc3a2bSChandler Carruth return CandidateCS.paramHasAttr(ArgNo + 1, Attr); 5637adc3a2bSChandler Carruth } 5647adc3a2bSChandler Carruth 5657adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) { 5667adc3a2bSChandler Carruth // Does the *call site* have the NonNull attribute set on an argument? We 5677adc3a2bSChandler Carruth // use the attribute on the call site to memoize any analysis done in the 5687adc3a2bSChandler Carruth // caller. This will also trip if the callee function has a non-null 5697adc3a2bSChandler Carruth // parameter attribute, but that's a less interesting case because hopefully 5707adc3a2bSChandler Carruth // the callee would already have been simplified based on that. 5717adc3a2bSChandler Carruth if (Argument *A = dyn_cast<Argument>(V)) 5727adc3a2bSChandler Carruth if (paramHasAttr(A, Attribute::NonNull)) 5737adc3a2bSChandler Carruth return true; 5747adc3a2bSChandler Carruth 5757adc3a2bSChandler Carruth // Is this an alloca in the caller? This is distinct from the attribute case 5767adc3a2bSChandler Carruth // above because attributes aren't updated within the inliner itself and we 5777adc3a2bSChandler Carruth // always want to catch the alloca derived case. 5787adc3a2bSChandler Carruth if (isAllocaDerivedArg(V)) 5797adc3a2bSChandler Carruth // We can actually predict the result of comparisons between an 5807adc3a2bSChandler Carruth // alloca-derived value and null. Note that this fires regardless of 5817adc3a2bSChandler Carruth // SROA firing. 5827adc3a2bSChandler Carruth return true; 5837adc3a2bSChandler Carruth 5847adc3a2bSChandler Carruth return false; 5857adc3a2bSChandler Carruth } 5867adc3a2bSChandler Carruth 5879a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) { 5889a3fc17aSEaswaran Raman // If the normal destination of the invoke or the parent block of the call 5899a3fc17aSEaswaran Raman // site is unreachable-terminated, there is little point in inlining this 5909a3fc17aSEaswaran Raman // unless there is literally zero cost. 5919a3fc17aSEaswaran Raman // FIXME: Note that it is possible that an unreachable-terminated block has a 5929a3fc17aSEaswaran Raman // hot entry. For example, in below scenario inlining hot_call_X() may be 5939a3fc17aSEaswaran Raman // beneficial : 5949a3fc17aSEaswaran Raman // main() { 5959a3fc17aSEaswaran Raman // hot_call_1(); 5969a3fc17aSEaswaran Raman // ... 5979a3fc17aSEaswaran Raman // hot_call_N() 5989a3fc17aSEaswaran Raman // exit(0); 5999a3fc17aSEaswaran Raman // } 6009a3fc17aSEaswaran Raman // For now, we are not handling this corner case here as it is rare in real 6019a3fc17aSEaswaran Raman // code. In future, we should elaborate this based on BPI and BFI in more 6029a3fc17aSEaswaran Raman // general threshold adjusting heuristics in updateThreshold(). 6039a3fc17aSEaswaran Raman Instruction *Instr = CS.getInstruction(); 6049a3fc17aSEaswaran Raman if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) { 6059a3fc17aSEaswaran Raman if (isa<UnreachableInst>(II->getNormalDest()->getTerminator())) 6069a3fc17aSEaswaran Raman return false; 6079a3fc17aSEaswaran Raman } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator())) 6089a3fc17aSEaswaran Raman return false; 6099a3fc17aSEaswaran Raman 6109a3fc17aSEaswaran Raman return true; 6119a3fc17aSEaswaran Raman } 6129a3fc17aSEaswaran Raman 613f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) { 6149a3fc17aSEaswaran Raman // If no size growth is allowed for this inlining, set Threshold to 0. 6159a3fc17aSEaswaran Raman if (!allowSizeGrowth(CS)) { 6169a3fc17aSEaswaran Raman Threshold = 0; 6179a3fc17aSEaswaran Raman return; 6189a3fc17aSEaswaran Raman } 6199a3fc17aSEaswaran Raman 620bb578ef0SEaswaran Raman Function *Caller = CS.getCaller(); 6211c57cc2bSEaswaran Raman 6221c57cc2bSEaswaran Raman // return min(A, B) if B is valid. 6231c57cc2bSEaswaran Raman auto MinIfValid = [](int A, Optional<int> B) { 6241c57cc2bSEaswaran Raman return B ? std::min(A, B.getValue()) : A; 6251c57cc2bSEaswaran Raman }; 6261c57cc2bSEaswaran Raman 6270d58fcacSEaswaran Raman // return max(A, B) if B is valid. 6280d58fcacSEaswaran Raman auto MaxIfValid = [](int A, Optional<int> B) { 6290d58fcacSEaswaran Raman return B ? std::max(A, B.getValue()) : A; 6300d58fcacSEaswaran Raman }; 6310d58fcacSEaswaran Raman 6321c57cc2bSEaswaran Raman // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available 6331c57cc2bSEaswaran Raman // and reduce the threshold if the caller has the necessary attribute. 6341c57cc2bSEaswaran Raman if (Caller->optForMinSize()) 6351c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold); 6361c57cc2bSEaswaran Raman else if (Caller->optForSize()) 6371c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptSizeThreshold); 638f4bb2f0dSEaswaran Raman 639*e08b139dSEaswaran Raman // Adjust the threshold based on inlinehint attribute and profile based 640*e08b139dSEaswaran Raman // hotness information if the caller does not have MinSize attribute. 641*e08b139dSEaswaran Raman if (!Caller->optForMinSize()) { 642*e08b139dSEaswaran Raman if (Callee.hasFnAttribute(Attribute::InlineHint)) 6430d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 644*e08b139dSEaswaran Raman if (PSI) { 645*e08b139dSEaswaran Raman uint64_t TotalWeight; 646*e08b139dSEaswaran Raman if (CS.getInstruction()->extractProfTotalWeight(TotalWeight) && 647*e08b139dSEaswaran Raman PSI->isHotCount(TotalWeight)) { 6480d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HotCallSiteThreshold); 649*e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryHot(&Callee)) { 650*e08b139dSEaswaran Raman // If callsite hotness can not be determined, we may still know 651*e08b139dSEaswaran Raman // that the callee is hot and treat it as a weaker hint for threshold 652*e08b139dSEaswaran Raman // increase. 653*e08b139dSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 654*e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryCold(&Callee)) { 6551c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdThreshold); 656*e08b139dSEaswaran Raman } 657*e08b139dSEaswaran Raman } 658*e08b139dSEaswaran Raman } 6598650a4daSJustin Lebar 6608650a4daSJustin Lebar // Finally, take the target-specific inlining threshold multiplier into 6618650a4daSJustin Lebar // account. 6628650a4daSJustin Lebar Threshold *= TTI.getInliningThresholdMultiplier(); 663f4bb2f0dSEaswaran Raman } 664f4bb2f0dSEaswaran Raman 6657adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) { 6667adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 6677adc3a2bSChandler Carruth // First try to handle simplified comparisons. 6687adc3a2bSChandler Carruth if (!isa<Constant>(LHS)) 6697adc3a2bSChandler Carruth if (Constant *SimpleLHS = SimplifiedValues.lookup(LHS)) 6707adc3a2bSChandler Carruth LHS = SimpleLHS; 6717adc3a2bSChandler Carruth if (!isa<Constant>(RHS)) 6727adc3a2bSChandler Carruth if (Constant *SimpleRHS = SimplifiedValues.lookup(RHS)) 6737adc3a2bSChandler Carruth RHS = SimpleRHS; 6747adc3a2bSChandler Carruth if (Constant *CLHS = dyn_cast<Constant>(LHS)) { 6757adc3a2bSChandler Carruth if (Constant *CRHS = dyn_cast<Constant>(RHS)) 676567556aaSChad Rosier if (Constant *C = 677567556aaSChad Rosier ConstantExpr::getCompare(I.getPredicate(), CLHS, CRHS)) { 6787adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 6797adc3a2bSChandler Carruth return true; 6807adc3a2bSChandler Carruth } 6817adc3a2bSChandler Carruth } 6827adc3a2bSChandler Carruth 6837adc3a2bSChandler Carruth if (I.getOpcode() == Instruction::FCmp) 6847adc3a2bSChandler Carruth return false; 6857adc3a2bSChandler Carruth 6867adc3a2bSChandler Carruth // Otherwise look for a comparison between constant offset pointers with 6877adc3a2bSChandler Carruth // a common base. 6887adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 6897adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 6907adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 6917adc3a2bSChandler Carruth if (LHSBase) { 6927adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 6937adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 6947adc3a2bSChandler Carruth // We have common bases, fold the icmp to a constant based on the 6957adc3a2bSChandler Carruth // offsets. 6967adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 6977adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 6987adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) { 6997adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 7007adc3a2bSChandler Carruth ++NumConstantPtrCmps; 7017adc3a2bSChandler Carruth return true; 7027adc3a2bSChandler Carruth } 7037adc3a2bSChandler Carruth } 7047adc3a2bSChandler Carruth } 7057adc3a2bSChandler Carruth 7067adc3a2bSChandler Carruth // If the comparison is an equality comparison with null, we can simplify it 7077adc3a2bSChandler Carruth // if we know the value (argument) can't be null 7087adc3a2bSChandler Carruth if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) && 7097adc3a2bSChandler Carruth isKnownNonNullInCallee(I.getOperand(0))) { 7107adc3a2bSChandler Carruth bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE; 7117adc3a2bSChandler Carruth SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType()) 7127adc3a2bSChandler Carruth : ConstantInt::getFalse(I.getType()); 7137adc3a2bSChandler Carruth return true; 7147adc3a2bSChandler Carruth } 7157adc3a2bSChandler Carruth // Finally check for SROA candidates in comparisons. 7167adc3a2bSChandler Carruth Value *SROAArg; 7177adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 7187adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) { 7197adc3a2bSChandler Carruth if (isa<ConstantPointerNull>(I.getOperand(1))) { 7207adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 7217adc3a2bSChandler Carruth return true; 7227adc3a2bSChandler Carruth } 7237adc3a2bSChandler Carruth 7247adc3a2bSChandler Carruth disableSROA(CostIt); 7257adc3a2bSChandler Carruth } 7267adc3a2bSChandler Carruth 7277adc3a2bSChandler Carruth return false; 7287adc3a2bSChandler Carruth } 7297adc3a2bSChandler Carruth 7307adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) { 7317adc3a2bSChandler Carruth // Try to handle a special case: we can fold computing the difference of two 7327adc3a2bSChandler Carruth // constant-related pointers. 7337adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 7347adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 7357adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 7367adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 7377adc3a2bSChandler Carruth if (LHSBase) { 7387adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 7397adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 7407adc3a2bSChandler Carruth // We have common bases, fold the subtract to a constant based on the 7417adc3a2bSChandler Carruth // offsets. 7427adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 7437adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 7447adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) { 7457adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 7467adc3a2bSChandler Carruth ++NumConstantPtrDiffs; 7477adc3a2bSChandler Carruth return true; 7487adc3a2bSChandler Carruth } 7497adc3a2bSChandler Carruth } 7507adc3a2bSChandler Carruth } 7517adc3a2bSChandler Carruth 7527adc3a2bSChandler Carruth // Otherwise, fall back to the generic logic for simplifying and handling 7537adc3a2bSChandler Carruth // instructions. 7547adc3a2bSChandler Carruth return Base::visitSub(I); 7557adc3a2bSChandler Carruth } 7567adc3a2bSChandler Carruth 7577adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) { 7587adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 7597adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 7607adc3a2bSChandler Carruth if (!isa<Constant>(LHS)) 7617adc3a2bSChandler Carruth if (Constant *SimpleLHS = SimplifiedValues.lookup(LHS)) 7627adc3a2bSChandler Carruth LHS = SimpleLHS; 7637adc3a2bSChandler Carruth if (!isa<Constant>(RHS)) 7647adc3a2bSChandler Carruth if (Constant *SimpleRHS = SimplifiedValues.lookup(RHS)) 7657adc3a2bSChandler Carruth RHS = SimpleRHS; 7667adc3a2bSChandler Carruth Value *SimpleV = nullptr; 7677adc3a2bSChandler Carruth if (auto FI = dyn_cast<FPMathOperator>(&I)) 7687adc3a2bSChandler Carruth SimpleV = 7697adc3a2bSChandler Carruth SimplifyFPBinOp(I.getOpcode(), LHS, RHS, FI->getFastMathFlags(), DL); 7707adc3a2bSChandler Carruth else 7717adc3a2bSChandler Carruth SimpleV = SimplifyBinOp(I.getOpcode(), LHS, RHS, DL); 7727adc3a2bSChandler Carruth 7737adc3a2bSChandler Carruth if (Constant *C = dyn_cast_or_null<Constant>(SimpleV)) { 7747adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 7757adc3a2bSChandler Carruth return true; 7767adc3a2bSChandler Carruth } 7777adc3a2bSChandler Carruth 7787adc3a2bSChandler Carruth // Disable any SROA on arguments to arbitrary, unsimplified binary operators. 7797adc3a2bSChandler Carruth disableSROA(LHS); 7807adc3a2bSChandler Carruth disableSROA(RHS); 7817adc3a2bSChandler Carruth 7827adc3a2bSChandler Carruth return false; 7837adc3a2bSChandler Carruth } 7847adc3a2bSChandler Carruth 7857adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) { 7867adc3a2bSChandler Carruth Value *SROAArg; 7877adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 7887adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 7897adc3a2bSChandler Carruth if (I.isSimple()) { 7907adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 7917adc3a2bSChandler Carruth return true; 7927adc3a2bSChandler Carruth } 7937adc3a2bSChandler Carruth 7947adc3a2bSChandler Carruth disableSROA(CostIt); 7957adc3a2bSChandler Carruth } 7967adc3a2bSChandler Carruth 7977adc3a2bSChandler Carruth return false; 7987adc3a2bSChandler Carruth } 7997adc3a2bSChandler Carruth 8007adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) { 8017adc3a2bSChandler Carruth Value *SROAArg; 8027adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 8037adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 8047adc3a2bSChandler Carruth if (I.isSimple()) { 8057adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 8067adc3a2bSChandler Carruth return true; 8077adc3a2bSChandler Carruth } 8087adc3a2bSChandler Carruth 8097adc3a2bSChandler Carruth disableSROA(CostIt); 8107adc3a2bSChandler Carruth } 8117adc3a2bSChandler Carruth 8127adc3a2bSChandler Carruth return false; 8137adc3a2bSChandler Carruth } 8147adc3a2bSChandler Carruth 8157adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) { 8167adc3a2bSChandler Carruth // Constant folding for extract value is trivial. 8177adc3a2bSChandler Carruth Constant *C = dyn_cast<Constant>(I.getAggregateOperand()); 8187adc3a2bSChandler Carruth if (!C) 8197adc3a2bSChandler Carruth C = SimplifiedValues.lookup(I.getAggregateOperand()); 8207adc3a2bSChandler Carruth if (C) { 8217adc3a2bSChandler Carruth SimplifiedValues[&I] = ConstantExpr::getExtractValue(C, I.getIndices()); 8227adc3a2bSChandler Carruth return true; 8237adc3a2bSChandler Carruth } 8247adc3a2bSChandler Carruth 8257adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 8267adc3a2bSChandler Carruth return false; 8277adc3a2bSChandler Carruth } 8287adc3a2bSChandler Carruth 8297adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) { 8307adc3a2bSChandler Carruth // Constant folding for insert value is trivial. 8317adc3a2bSChandler Carruth Constant *AggC = dyn_cast<Constant>(I.getAggregateOperand()); 8327adc3a2bSChandler Carruth if (!AggC) 8337adc3a2bSChandler Carruth AggC = SimplifiedValues.lookup(I.getAggregateOperand()); 8347adc3a2bSChandler Carruth Constant *InsertedC = dyn_cast<Constant>(I.getInsertedValueOperand()); 8357adc3a2bSChandler Carruth if (!InsertedC) 8367adc3a2bSChandler Carruth InsertedC = SimplifiedValues.lookup(I.getInsertedValueOperand()); 8377adc3a2bSChandler Carruth if (AggC && InsertedC) { 838567556aaSChad Rosier SimplifiedValues[&I] = 839567556aaSChad Rosier ConstantExpr::getInsertValue(AggC, InsertedC, I.getIndices()); 8407adc3a2bSChandler Carruth return true; 8417adc3a2bSChandler Carruth } 8427adc3a2bSChandler Carruth 8437adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 8447adc3a2bSChandler Carruth return false; 8457adc3a2bSChandler Carruth } 8467adc3a2bSChandler Carruth 8477adc3a2bSChandler Carruth /// \brief Try to simplify a call site. 8487adc3a2bSChandler Carruth /// 8497adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by 8507adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if 8517adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it 8527adc3a2bSChandler Carruth /// free. 8537adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) { 8547adc3a2bSChandler Carruth // FIXME: Using the instsimplify logic directly for this is inefficient 8557adc3a2bSChandler Carruth // because we have to continually rebuild the argument list even when no 8567adc3a2bSChandler Carruth // simplifications can be performed. Until that is fixed with remapping 8577adc3a2bSChandler Carruth // inside of instsimplify, directly constant fold calls here. 8587adc3a2bSChandler Carruth if (!canConstantFoldCallTo(F)) 8597adc3a2bSChandler Carruth return false; 8607adc3a2bSChandler Carruth 8617adc3a2bSChandler Carruth // Try to re-map the arguments to constants. 8627adc3a2bSChandler Carruth SmallVector<Constant *, 4> ConstantArgs; 8637adc3a2bSChandler Carruth ConstantArgs.reserve(CS.arg_size()); 864567556aaSChad Rosier for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E; 865567556aaSChad Rosier ++I) { 8667adc3a2bSChandler Carruth Constant *C = dyn_cast<Constant>(*I); 8677adc3a2bSChandler Carruth if (!C) 8687adc3a2bSChandler Carruth C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I)); 8697adc3a2bSChandler Carruth if (!C) 8707adc3a2bSChandler Carruth return false; // This argument doesn't map to a constant. 8717adc3a2bSChandler Carruth 8727adc3a2bSChandler Carruth ConstantArgs.push_back(C); 8737adc3a2bSChandler Carruth } 8747adc3a2bSChandler Carruth if (Constant *C = ConstantFoldCall(F, ConstantArgs)) { 8757adc3a2bSChandler Carruth SimplifiedValues[CS.getInstruction()] = C; 8767adc3a2bSChandler Carruth return true; 8777adc3a2bSChandler Carruth } 8787adc3a2bSChandler Carruth 8797adc3a2bSChandler Carruth return false; 8807adc3a2bSChandler Carruth } 8817adc3a2bSChandler Carruth 8827adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) { 8837adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::ReturnsTwice) && 8847adc3a2bSChandler Carruth !F.hasFnAttribute(Attribute::ReturnsTwice)) { 8857adc3a2bSChandler Carruth // This aborts the entire analysis. 8867adc3a2bSChandler Carruth ExposesReturnsTwice = true; 8877adc3a2bSChandler Carruth return false; 8887adc3a2bSChandler Carruth } 889567556aaSChad Rosier if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate()) 8907adc3a2bSChandler Carruth ContainsNoDuplicateCall = true; 8917adc3a2bSChandler Carruth 8927adc3a2bSChandler Carruth if (Function *F = CS.getCalledFunction()) { 8937adc3a2bSChandler Carruth // When we have a concrete function, first try to simplify it directly. 8947adc3a2bSChandler Carruth if (simplifyCallSite(F, CS)) 8957adc3a2bSChandler Carruth return true; 8967adc3a2bSChandler Carruth 8977adc3a2bSChandler Carruth // Next check if it is an intrinsic we know about. 8987adc3a2bSChandler Carruth // FIXME: Lift this into part of the InstVisitor. 8997adc3a2bSChandler Carruth if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) { 9007adc3a2bSChandler Carruth switch (II->getIntrinsicID()) { 9017adc3a2bSChandler Carruth default: 9027adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9037adc3a2bSChandler Carruth 9047dd8dbf4SPeter Collingbourne case Intrinsic::load_relative: 9057dd8dbf4SPeter Collingbourne // This is normally lowered to 4 LLVM instructions. 9067dd8dbf4SPeter Collingbourne Cost += 3 * InlineConstants::InstrCost; 9077dd8dbf4SPeter Collingbourne return false; 9087dd8dbf4SPeter Collingbourne 9097adc3a2bSChandler Carruth case Intrinsic::memset: 9107adc3a2bSChandler Carruth case Intrinsic::memcpy: 9117adc3a2bSChandler Carruth case Intrinsic::memmove: 9127adc3a2bSChandler Carruth // SROA can usually chew through these intrinsics, but they aren't free. 9137adc3a2bSChandler Carruth return false; 9147adc3a2bSChandler Carruth case Intrinsic::localescape: 9157adc3a2bSChandler Carruth HasFrameEscape = true; 9167adc3a2bSChandler Carruth return false; 9177adc3a2bSChandler Carruth } 9187adc3a2bSChandler Carruth } 9197adc3a2bSChandler Carruth 9207adc3a2bSChandler Carruth if (F == CS.getInstruction()->getParent()->getParent()) { 9217adc3a2bSChandler Carruth // This flag will fully abort the analysis, so don't bother with anything 9227adc3a2bSChandler Carruth // else. 9237adc3a2bSChandler Carruth IsRecursiveCall = true; 9247adc3a2bSChandler Carruth return false; 9257adc3a2bSChandler Carruth } 9267adc3a2bSChandler Carruth 9277adc3a2bSChandler Carruth if (TTI.isLoweredToCall(F)) { 9287adc3a2bSChandler Carruth // We account for the average 1 instruction per call argument setup 9297adc3a2bSChandler Carruth // here. 9307adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 9317adc3a2bSChandler Carruth 9327adc3a2bSChandler Carruth // Everything other than inline ASM will also have a significant cost 9337adc3a2bSChandler Carruth // merely from making the call. 9347adc3a2bSChandler Carruth if (!isa<InlineAsm>(CS.getCalledValue())) 9357adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 9367adc3a2bSChandler Carruth } 9377adc3a2bSChandler Carruth 9387adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9397adc3a2bSChandler Carruth } 9407adc3a2bSChandler Carruth 9417adc3a2bSChandler Carruth // Otherwise we're in a very special case -- an indirect function call. See 9427adc3a2bSChandler Carruth // if we can be particularly clever about this. 9437adc3a2bSChandler Carruth Value *Callee = CS.getCalledValue(); 9447adc3a2bSChandler Carruth 9457adc3a2bSChandler Carruth // First, pay the price of the argument setup. We account for the average 9467adc3a2bSChandler Carruth // 1 instruction per call argument setup here. 9477adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 9487adc3a2bSChandler Carruth 9497adc3a2bSChandler Carruth // Next, check if this happens to be an indirect function call to a known 9507adc3a2bSChandler Carruth // function in this inline context. If not, we've done all we can. 9517adc3a2bSChandler Carruth Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee)); 9527adc3a2bSChandler Carruth if (!F) 9537adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9547adc3a2bSChandler Carruth 9557adc3a2bSChandler Carruth // If we have a constant that we are calling as a function, we can peer 9567adc3a2bSChandler Carruth // through it and see the function target. This happens not infrequently 9577adc3a2bSChandler Carruth // during devirtualization and so we want to give it a hefty bonus for 9587adc3a2bSChandler Carruth // inlining, but cap that bonus in the event that inlining wouldn't pan 9597adc3a2bSChandler Carruth // out. Pretend to inline the function, with a custom threshold. 9601c57cc2bSEaswaran Raman auto IndirectCallParams = Params; 9611c57cc2bSEaswaran Raman IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold; 962aec2fa35SDaniel Jasper CallAnalyzer CA(TTI, GetAssumptionCache, PSI, *F, CS, IndirectCallParams); 9637adc3a2bSChandler Carruth if (CA.analyzeCall(CS)) { 9647adc3a2bSChandler Carruth // We were able to inline the indirect call! Subtract the cost from the 9656d90d9f1SEaswaran Raman // threshold to get the bonus we want to apply, but don't go below zero. 9666d90d9f1SEaswaran Raman Cost -= std::max(0, CA.getThreshold() - CA.getCost()); 9677adc3a2bSChandler Carruth } 9687adc3a2bSChandler Carruth 9697adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9707adc3a2bSChandler Carruth } 9717adc3a2bSChandler Carruth 9727adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) { 9737adc3a2bSChandler Carruth // At least one return instruction will be free after inlining. 9747adc3a2bSChandler Carruth bool Free = !HasReturn; 9757adc3a2bSChandler Carruth HasReturn = true; 9767adc3a2bSChandler Carruth return Free; 9777adc3a2bSChandler Carruth } 9787adc3a2bSChandler Carruth 9797adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) { 9807adc3a2bSChandler Carruth // We model unconditional branches as essentially free -- they really 9817adc3a2bSChandler Carruth // shouldn't exist at all, but handling them makes the behavior of the 9827adc3a2bSChandler Carruth // inliner more regular and predictable. Interestingly, conditional branches 9837adc3a2bSChandler Carruth // which will fold away are also free. 9847adc3a2bSChandler Carruth return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) || 9857adc3a2bSChandler Carruth dyn_cast_or_null<ConstantInt>( 9867adc3a2bSChandler Carruth SimplifiedValues.lookup(BI.getCondition())); 9877adc3a2bSChandler Carruth } 9887adc3a2bSChandler Carruth 9897adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) { 9907adc3a2bSChandler Carruth // We model unconditional switches as free, see the comments on handling 9917adc3a2bSChandler Carruth // branches. 9927adc3a2bSChandler Carruth if (isa<ConstantInt>(SI.getCondition())) 9937adc3a2bSChandler Carruth return true; 9947adc3a2bSChandler Carruth if (Value *V = SimplifiedValues.lookup(SI.getCondition())) 9957adc3a2bSChandler Carruth if (isa<ConstantInt>(V)) 9967adc3a2bSChandler Carruth return true; 9977adc3a2bSChandler Carruth 9987adc3a2bSChandler Carruth // Otherwise, we need to accumulate a cost proportional to the number of 9997adc3a2bSChandler Carruth // distinct successor blocks. This fan-out in the CFG cannot be represented 10007adc3a2bSChandler Carruth // for free even if we can represent the core switch as a jumptable that 10017adc3a2bSChandler Carruth // takes a single instruction. 10027adc3a2bSChandler Carruth // 10037adc3a2bSChandler Carruth // NB: We convert large switches which are just used to initialize large phi 10047adc3a2bSChandler Carruth // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent 10057adc3a2bSChandler Carruth // inlining those. It will prevent inlining in cases where the optimization 10067adc3a2bSChandler Carruth // does not (yet) fire. 10077adc3a2bSChandler Carruth SmallPtrSet<BasicBlock *, 8> SuccessorBlocks; 10087adc3a2bSChandler Carruth SuccessorBlocks.insert(SI.getDefaultDest()); 10097adc3a2bSChandler Carruth for (auto I = SI.case_begin(), E = SI.case_end(); I != E; ++I) 10107adc3a2bSChandler Carruth SuccessorBlocks.insert(I.getCaseSuccessor()); 10117adc3a2bSChandler Carruth // Add cost corresponding to the number of distinct destinations. The first 10127adc3a2bSChandler Carruth // we model as free because of fallthrough. 10137adc3a2bSChandler Carruth Cost += (SuccessorBlocks.size() - 1) * InlineConstants::InstrCost; 10147adc3a2bSChandler Carruth return false; 10157adc3a2bSChandler Carruth } 10167adc3a2bSChandler Carruth 10177adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) { 10187adc3a2bSChandler Carruth // We never want to inline functions that contain an indirectbr. This is 10197adc3a2bSChandler Carruth // incorrect because all the blockaddress's (in static global initializers 10207adc3a2bSChandler Carruth // for example) would be referring to the original function, and this 10217adc3a2bSChandler Carruth // indirect jump would jump from the inlined copy of the function into the 10227adc3a2bSChandler Carruth // original function which is extremely undefined behavior. 10237adc3a2bSChandler Carruth // FIXME: This logic isn't really right; we can safely inline functions with 10247adc3a2bSChandler Carruth // indirectbr's as long as no other function or global references the 10257adc3a2bSChandler Carruth // blockaddress of a block within the current function. 10267adc3a2bSChandler Carruth HasIndirectBr = true; 10277adc3a2bSChandler Carruth return false; 10287adc3a2bSChandler Carruth } 10297adc3a2bSChandler Carruth 10307adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) { 10317adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 10327adc3a2bSChandler Carruth // the inline cost of a resume instruction. 10337adc3a2bSChandler Carruth return false; 10347adc3a2bSChandler Carruth } 10357adc3a2bSChandler Carruth 10367adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) { 10377adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 10387adc3a2bSChandler Carruth // the inline cost of a cleanupret instruction. 10397adc3a2bSChandler Carruth return false; 10407adc3a2bSChandler Carruth } 10417adc3a2bSChandler Carruth 10427adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) { 10437adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 10448220bcc5SJoseph Tremoulet // the inline cost of a catchret instruction. 10457adc3a2bSChandler Carruth return false; 10467adc3a2bSChandler Carruth } 10477adc3a2bSChandler Carruth 10487adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) { 10497adc3a2bSChandler Carruth // FIXME: It might be reasonably to discount the cost of instructions leading 10507adc3a2bSChandler Carruth // to unreachable as they have the lowest possible impact on both runtime and 10517adc3a2bSChandler Carruth // code size. 10527adc3a2bSChandler Carruth return true; // No actual code is needed for unreachable. 10537adc3a2bSChandler Carruth } 10547adc3a2bSChandler Carruth 10557adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) { 10567adc3a2bSChandler Carruth // Some instructions are free. All of the free intrinsics can also be 10577adc3a2bSChandler Carruth // handled by SROA, etc. 10587adc3a2bSChandler Carruth if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I)) 10597adc3a2bSChandler Carruth return true; 10607adc3a2bSChandler Carruth 10617adc3a2bSChandler Carruth // We found something we don't understand or can't handle. Mark any SROA-able 10627adc3a2bSChandler Carruth // values in the operand list as no longer viable. 10637adc3a2bSChandler Carruth for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI) 10647adc3a2bSChandler Carruth disableSROA(*OI); 10657adc3a2bSChandler Carruth 10667adc3a2bSChandler Carruth return false; 10677adc3a2bSChandler Carruth } 10687adc3a2bSChandler Carruth 10697adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost. 10707adc3a2bSChandler Carruth /// 10717adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic 10727adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It 10737adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline 10747adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer 10757adc3a2bSChandler Carruth /// viable, and true if inlining remains viable. 10767adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB, 10777adc3a2bSChandler Carruth SmallPtrSetImpl<const Value *> &EphValues) { 10787adc3a2bSChandler Carruth for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 10797adc3a2bSChandler Carruth // FIXME: Currently, the number of instructions in a function regardless of 10807adc3a2bSChandler Carruth // our ability to simplify them during inline to constants or dead code, 10817adc3a2bSChandler Carruth // are actually used by the vector bonus heuristic. As long as that's true, 10827adc3a2bSChandler Carruth // we have to special case debug intrinsics here to prevent differences in 10837adc3a2bSChandler Carruth // inlining due to debug symbols. Eventually, the number of unsimplified 10847adc3a2bSChandler Carruth // instructions shouldn't factor into the cost computation, but until then, 10857adc3a2bSChandler Carruth // hack around it here. 10867adc3a2bSChandler Carruth if (isa<DbgInfoIntrinsic>(I)) 10877adc3a2bSChandler Carruth continue; 10887adc3a2bSChandler Carruth 10897adc3a2bSChandler Carruth // Skip ephemeral values. 10905a82c916SDuncan P. N. Exon Smith if (EphValues.count(&*I)) 10917adc3a2bSChandler Carruth continue; 10927adc3a2bSChandler Carruth 10937adc3a2bSChandler Carruth ++NumInstructions; 10947adc3a2bSChandler Carruth if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy()) 10957adc3a2bSChandler Carruth ++NumVectorInstructions; 10967adc3a2bSChandler Carruth 1097e9434e80SSanjay Patel // If the instruction is floating point, and the target says this operation 1098e9434e80SSanjay Patel // is expensive or the function has the "use-soft-float" attribute, this may 10997adc3a2bSChandler Carruth // eventually become a library call. Treat the cost as such. 11007adc3a2bSChandler Carruth if (I->getType()->isFloatingPointTy()) { 11017adc3a2bSChandler Carruth bool hasSoftFloatAttr = false; 11027adc3a2bSChandler Carruth 1103e9434e80SSanjay Patel // If the function has the "use-soft-float" attribute, mark it as 1104e9434e80SSanjay Patel // expensive. 11057adc3a2bSChandler Carruth if (F.hasFnAttribute("use-soft-float")) { 11067adc3a2bSChandler Carruth Attribute Attr = F.getFnAttribute("use-soft-float"); 11077adc3a2bSChandler Carruth StringRef Val = Attr.getValueAsString(); 11087adc3a2bSChandler Carruth if (Val == "true") 11097adc3a2bSChandler Carruth hasSoftFloatAttr = true; 11107adc3a2bSChandler Carruth } 11117adc3a2bSChandler Carruth 11127adc3a2bSChandler Carruth if (TTI.getFPOpCost(I->getType()) == TargetTransformInfo::TCC_Expensive || 11137adc3a2bSChandler Carruth hasSoftFloatAttr) 11147adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 11157adc3a2bSChandler Carruth } 11167adc3a2bSChandler Carruth 11177adc3a2bSChandler Carruth // If the instruction simplified to a constant, there is no cost to this 11187adc3a2bSChandler Carruth // instruction. Visit the instructions using our InstVisitor to account for 11197adc3a2bSChandler Carruth // all of the per-instruction logic. The visit tree returns true if we 11207adc3a2bSChandler Carruth // consumed the instruction in any way, and false if the instruction's base 11217adc3a2bSChandler Carruth // cost should count against inlining. 11225a82c916SDuncan P. N. Exon Smith if (Base::visit(&*I)) 11237adc3a2bSChandler Carruth ++NumInstructionsSimplified; 11247adc3a2bSChandler Carruth else 11257adc3a2bSChandler Carruth Cost += InlineConstants::InstrCost; 11267adc3a2bSChandler Carruth 11277adc3a2bSChandler Carruth // If the visit this instruction detected an uninlinable pattern, abort. 11287adc3a2bSChandler Carruth if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca || 11297adc3a2bSChandler Carruth HasIndirectBr || HasFrameEscape) 11307adc3a2bSChandler Carruth return false; 11317adc3a2bSChandler Carruth 11327adc3a2bSChandler Carruth // If the caller is a recursive function then we don't want to inline 11337adc3a2bSChandler Carruth // functions which allocate a lot of stack space because it would increase 11347adc3a2bSChandler Carruth // the caller stack usage dramatically. 11357adc3a2bSChandler Carruth if (IsCallerRecursive && 11367adc3a2bSChandler Carruth AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) 11377adc3a2bSChandler Carruth return false; 11387adc3a2bSChandler Carruth 11397adc3a2bSChandler Carruth // Check if we've past the maximum possible threshold so we don't spin in 11407adc3a2bSChandler Carruth // huge basic blocks that will never inline. 11417adc3a2bSChandler Carruth if (Cost > Threshold) 11427adc3a2bSChandler Carruth return false; 11437adc3a2bSChandler Carruth } 11447adc3a2bSChandler Carruth 11457adc3a2bSChandler Carruth return true; 11467adc3a2bSChandler Carruth } 11477adc3a2bSChandler Carruth 11487adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V. 11497adc3a2bSChandler Carruth /// 11507adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and 11517adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It 11527adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are 11537adc3a2bSChandler Carruth /// no constant offsets applied. 11547adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) { 11557adc3a2bSChandler Carruth if (!V->getType()->isPointerTy()) 11567adc3a2bSChandler Carruth return nullptr; 11577adc3a2bSChandler Carruth 11587adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 11597adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 11607adc3a2bSChandler Carruth APInt Offset = APInt::getNullValue(IntPtrWidth); 11617adc3a2bSChandler Carruth 11627adc3a2bSChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 11637adc3a2bSChandler Carruth // instruction in an unreachable block, which may be on a cycle. 11647adc3a2bSChandler Carruth SmallPtrSet<Value *, 4> Visited; 11657adc3a2bSChandler Carruth Visited.insert(V); 11667adc3a2bSChandler Carruth do { 11677adc3a2bSChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 11687adc3a2bSChandler Carruth if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset)) 11697adc3a2bSChandler Carruth return nullptr; 11707adc3a2bSChandler Carruth V = GEP->getPointerOperand(); 11717adc3a2bSChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 11727adc3a2bSChandler Carruth V = cast<Operator>(V)->getOperand(0); 11737adc3a2bSChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 11745ce32728SSanjoy Das if (GA->isInterposable()) 11757adc3a2bSChandler Carruth break; 11767adc3a2bSChandler Carruth V = GA->getAliasee(); 11777adc3a2bSChandler Carruth } else { 11787adc3a2bSChandler Carruth break; 11797adc3a2bSChandler Carruth } 11807adc3a2bSChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 11817adc3a2bSChandler Carruth } while (Visited.insert(V).second); 11827adc3a2bSChandler Carruth 11837adc3a2bSChandler Carruth Type *IntPtrTy = DL.getIntPtrType(V->getContext()); 11847adc3a2bSChandler Carruth return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset)); 11857adc3a2bSChandler Carruth } 11867adc3a2bSChandler Carruth 11877adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining. 11887adc3a2bSChandler Carruth /// 11897adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not 11907adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous 11917adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost 11927adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by 11937adc3a2bSChandler Carruth /// some artifact of the routine. 11947adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) { 11957adc3a2bSChandler Carruth ++NumCallsAnalyzed; 11967adc3a2bSChandler Carruth 11977adc3a2bSChandler Carruth // Perform some tweaks to the cost and threshold based on the direct 11987adc3a2bSChandler Carruth // callsite information. 11997adc3a2bSChandler Carruth 12007adc3a2bSChandler Carruth // We want to more aggressively inline vector-dense kernels, so up the 12017adc3a2bSChandler Carruth // threshold, and we'll lower it if the % of vector instructions gets too 12027adc3a2bSChandler Carruth // low. Note that these bonuses are some what arbitrary and evolved over time 12037adc3a2bSChandler Carruth // by accident as much as because they are principled bonuses. 12047adc3a2bSChandler Carruth // 12057adc3a2bSChandler Carruth // FIXME: It would be nice to remove all such bonuses. At least it would be 12067adc3a2bSChandler Carruth // nice to base the bonus values on something more scientific. 12077adc3a2bSChandler Carruth assert(NumInstructions == 0); 12087adc3a2bSChandler Carruth assert(NumVectorInstructions == 0); 1209f4bb2f0dSEaswaran Raman 1210f4bb2f0dSEaswaran Raman // Update the threshold based on callsite properties 1211f4bb2f0dSEaswaran Raman updateThreshold(CS, F); 1212f4bb2f0dSEaswaran Raman 12137adc3a2bSChandler Carruth FiftyPercentVectorBonus = 3 * Threshold / 2; 12147adc3a2bSChandler Carruth TenPercentVectorBonus = 3 * Threshold / 4; 12157adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 12167adc3a2bSChandler Carruth 12177adc3a2bSChandler Carruth // Track whether the post-inlining function would have more than one basic 12187adc3a2bSChandler Carruth // block. A single basic block is often intended for inlining. Balloon the 12197adc3a2bSChandler Carruth // threshold by 50% until we pass the single-BB phase. 12207adc3a2bSChandler Carruth bool SingleBB = true; 12217adc3a2bSChandler Carruth int SingleBBBonus = Threshold / 2; 12227adc3a2bSChandler Carruth 12237adc3a2bSChandler Carruth // Speculatively apply all possible bonuses to Threshold. If cost exceeds 12247adc3a2bSChandler Carruth // this Threshold any time, and cost cannot decrease, we can stop processing 12257adc3a2bSChandler Carruth // the rest of the function body. 12267adc3a2bSChandler Carruth Threshold += (SingleBBBonus + FiftyPercentVectorBonus); 12277adc3a2bSChandler Carruth 12287adc3a2bSChandler Carruth // Give out bonuses per argument, as the instructions setting them up will 12297adc3a2bSChandler Carruth // be gone after inlining. 12307adc3a2bSChandler Carruth for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) { 12317adc3a2bSChandler Carruth if (CS.isByValArgument(I)) { 12327adc3a2bSChandler Carruth // We approximate the number of loads and stores needed by dividing the 12337adc3a2bSChandler Carruth // size of the byval type by the target's pointer size. 12347adc3a2bSChandler Carruth PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType()); 12357adc3a2bSChandler Carruth unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType()); 12367adc3a2bSChandler Carruth unsigned PointerSize = DL.getPointerSizeInBits(); 12377adc3a2bSChandler Carruth // Ceiling division. 12387adc3a2bSChandler Carruth unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize; 12397adc3a2bSChandler Carruth 12407adc3a2bSChandler Carruth // If it generates more than 8 stores it is likely to be expanded as an 12417adc3a2bSChandler Carruth // inline memcpy so we take that as an upper bound. Otherwise we assume 12427adc3a2bSChandler Carruth // one load and one store per word copied. 12437adc3a2bSChandler Carruth // FIXME: The maxStoresPerMemcpy setting from the target should be used 12447adc3a2bSChandler Carruth // here instead of a magic number of 8, but it's not available via 12457adc3a2bSChandler Carruth // DataLayout. 12467adc3a2bSChandler Carruth NumStores = std::min(NumStores, 8U); 12477adc3a2bSChandler Carruth 12487adc3a2bSChandler Carruth Cost -= 2 * NumStores * InlineConstants::InstrCost; 12497adc3a2bSChandler Carruth } else { 12507adc3a2bSChandler Carruth // For non-byval arguments subtract off one instruction per call 12517adc3a2bSChandler Carruth // argument. 12527adc3a2bSChandler Carruth Cost -= InlineConstants::InstrCost; 12537adc3a2bSChandler Carruth } 12547adc3a2bSChandler Carruth } 12556df8f27cSJames Molloy // The call instruction also disappears after inlining. 12566df8f27cSJames Molloy Cost -= InlineConstants::InstrCost + InlineConstants::CallPenalty; 12577adc3a2bSChandler Carruth 12587adc3a2bSChandler Carruth // If there is only one call of the function, and it has internal linkage, 12597adc3a2bSChandler Carruth // the cost of inlining it drops dramatically. 1260567556aaSChad Rosier bool OnlyOneCallAndLocalLinkage = 1261567556aaSChad Rosier F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction(); 12627adc3a2bSChandler Carruth if (OnlyOneCallAndLocalLinkage) 1263d89875caSPiotr Padlewski Cost -= InlineConstants::LastCallToStaticBonus; 12647adc3a2bSChandler Carruth 12657adc3a2bSChandler Carruth // If this function uses the coldcc calling convention, prefer not to inline 12667adc3a2bSChandler Carruth // it. 12677adc3a2bSChandler Carruth if (F.getCallingConv() == CallingConv::Cold) 12687adc3a2bSChandler Carruth Cost += InlineConstants::ColdccPenalty; 12697adc3a2bSChandler Carruth 12707adc3a2bSChandler Carruth // Check if we're done. This can happen due to bonuses and penalties. 12717adc3a2bSChandler Carruth if (Cost > Threshold) 12727adc3a2bSChandler Carruth return false; 12737adc3a2bSChandler Carruth 12747adc3a2bSChandler Carruth if (F.empty()) 12757adc3a2bSChandler Carruth return true; 12767adc3a2bSChandler Carruth 12777adc3a2bSChandler Carruth Function *Caller = CS.getInstruction()->getParent()->getParent(); 12787adc3a2bSChandler Carruth // Check if the caller function is recursive itself. 12797adc3a2bSChandler Carruth for (User *U : Caller->users()) { 12807adc3a2bSChandler Carruth CallSite Site(U); 12817adc3a2bSChandler Carruth if (!Site) 12827adc3a2bSChandler Carruth continue; 12837adc3a2bSChandler Carruth Instruction *I = Site.getInstruction(); 12847adc3a2bSChandler Carruth if (I->getParent()->getParent() == Caller) { 12857adc3a2bSChandler Carruth IsCallerRecursive = true; 12867adc3a2bSChandler Carruth break; 12877adc3a2bSChandler Carruth } 12887adc3a2bSChandler Carruth } 12897adc3a2bSChandler Carruth 12907adc3a2bSChandler Carruth // Populate our simplified values by mapping from function arguments to call 12917adc3a2bSChandler Carruth // arguments with known important simplifications. 12927adc3a2bSChandler Carruth CallSite::arg_iterator CAI = CS.arg_begin(); 12937adc3a2bSChandler Carruth for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end(); 12947adc3a2bSChandler Carruth FAI != FAE; ++FAI, ++CAI) { 12957adc3a2bSChandler Carruth assert(CAI != CS.arg_end()); 12967adc3a2bSChandler Carruth if (Constant *C = dyn_cast<Constant>(CAI)) 12975a82c916SDuncan P. N. Exon Smith SimplifiedValues[&*FAI] = C; 12987adc3a2bSChandler Carruth 12997adc3a2bSChandler Carruth Value *PtrArg = *CAI; 13007adc3a2bSChandler Carruth if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) { 13015a82c916SDuncan P. N. Exon Smith ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue()); 13027adc3a2bSChandler Carruth 13037adc3a2bSChandler Carruth // We can SROA any pointer arguments derived from alloca instructions. 13047adc3a2bSChandler Carruth if (isa<AllocaInst>(PtrArg)) { 13055a82c916SDuncan P. N. Exon Smith SROAArgValues[&*FAI] = PtrArg; 13067adc3a2bSChandler Carruth SROAArgCosts[PtrArg] = 0; 13077adc3a2bSChandler Carruth } 13087adc3a2bSChandler Carruth } 13097adc3a2bSChandler Carruth } 13107adc3a2bSChandler Carruth NumConstantArgs = SimplifiedValues.size(); 13117adc3a2bSChandler Carruth NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size(); 13127adc3a2bSChandler Carruth NumAllocaArgs = SROAArgValues.size(); 13137adc3a2bSChandler Carruth 13147adc3a2bSChandler Carruth // FIXME: If a caller has multiple calls to a callee, we end up recomputing 13157adc3a2bSChandler Carruth // the ephemeral values multiple times (and they're completely determined by 13167adc3a2bSChandler Carruth // the callee, so this is purely duplicate work). 13177adc3a2bSChandler Carruth SmallPtrSet<const Value *, 32> EphValues; 1318aec2fa35SDaniel Jasper CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues); 13197adc3a2bSChandler Carruth 13207adc3a2bSChandler Carruth // The worklist of live basic blocks in the callee *after* inlining. We avoid 13217adc3a2bSChandler Carruth // adding basic blocks of the callee which can be proven to be dead for this 13227adc3a2bSChandler Carruth // particular call site in order to get more accurate cost estimates. This 13237adc3a2bSChandler Carruth // requires a somewhat heavyweight iteration pattern: we need to walk the 13247adc3a2bSChandler Carruth // basic blocks in a breadth-first order as we insert live successors. To 13257adc3a2bSChandler Carruth // accomplish this, prioritizing for small iterations because we exit after 13267adc3a2bSChandler Carruth // crossing our threshold, we use a small-size optimized SetVector. 13277adc3a2bSChandler Carruth typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>, 1328567556aaSChad Rosier SmallPtrSet<BasicBlock *, 16>> 1329567556aaSChad Rosier BBSetVector; 13307adc3a2bSChandler Carruth BBSetVector BBWorklist; 13317adc3a2bSChandler Carruth BBWorklist.insert(&F.getEntryBlock()); 13327adc3a2bSChandler Carruth // Note that we *must not* cache the size, this loop grows the worklist. 13337adc3a2bSChandler Carruth for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) { 13347adc3a2bSChandler Carruth // Bail out the moment we cross the threshold. This means we'll under-count 13357adc3a2bSChandler Carruth // the cost, but only when undercounting doesn't matter. 13367adc3a2bSChandler Carruth if (Cost > Threshold) 13377adc3a2bSChandler Carruth break; 13387adc3a2bSChandler Carruth 13397adc3a2bSChandler Carruth BasicBlock *BB = BBWorklist[Idx]; 13407adc3a2bSChandler Carruth if (BB->empty()) 13417adc3a2bSChandler Carruth continue; 13427adc3a2bSChandler Carruth 13437adc3a2bSChandler Carruth // Disallow inlining a blockaddress. A blockaddress only has defined 13447adc3a2bSChandler Carruth // behavior for an indirect branch in the same function, and we do not 13457adc3a2bSChandler Carruth // currently support inlining indirect branches. But, the inliner may not 13467adc3a2bSChandler Carruth // see an indirect branch that ends up being dead code at a particular call 13477adc3a2bSChandler Carruth // site. If the blockaddress escapes the function, e.g., via a global 13487adc3a2bSChandler Carruth // variable, inlining may lead to an invalid cross-function reference. 13497adc3a2bSChandler Carruth if (BB->hasAddressTaken()) 13507adc3a2bSChandler Carruth return false; 13517adc3a2bSChandler Carruth 13527adc3a2bSChandler Carruth // Analyze the cost of this block. If we blow through the threshold, this 13537adc3a2bSChandler Carruth // returns false, and we can bail on out. 1354d295b00aSEaswaran Raman if (!analyzeBlock(BB, EphValues)) 13557adc3a2bSChandler Carruth return false; 13567adc3a2bSChandler Carruth 13577adc3a2bSChandler Carruth TerminatorInst *TI = BB->getTerminator(); 13587adc3a2bSChandler Carruth 13597adc3a2bSChandler Carruth // Add in the live successors by first checking whether we have terminator 13607adc3a2bSChandler Carruth // that may be simplified based on the values simplified by this call. 13617adc3a2bSChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 13627adc3a2bSChandler Carruth if (BI->isConditional()) { 13637adc3a2bSChandler Carruth Value *Cond = BI->getCondition(); 1364567556aaSChad Rosier if (ConstantInt *SimpleCond = 1365567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 13667adc3a2bSChandler Carruth BBWorklist.insert(BI->getSuccessor(SimpleCond->isZero() ? 1 : 0)); 13677adc3a2bSChandler Carruth continue; 13687adc3a2bSChandler Carruth } 13697adc3a2bSChandler Carruth } 13707adc3a2bSChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) { 13717adc3a2bSChandler Carruth Value *Cond = SI->getCondition(); 1372567556aaSChad Rosier if (ConstantInt *SimpleCond = 1373567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 13747adc3a2bSChandler Carruth BBWorklist.insert(SI->findCaseValue(SimpleCond).getCaseSuccessor()); 13757adc3a2bSChandler Carruth continue; 13767adc3a2bSChandler Carruth } 13777adc3a2bSChandler Carruth } 13787adc3a2bSChandler Carruth 13797adc3a2bSChandler Carruth // If we're unable to select a particular successor, just count all of 13807adc3a2bSChandler Carruth // them. 13817adc3a2bSChandler Carruth for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize; 13827adc3a2bSChandler Carruth ++TIdx) 13837adc3a2bSChandler Carruth BBWorklist.insert(TI->getSuccessor(TIdx)); 13847adc3a2bSChandler Carruth 13857adc3a2bSChandler Carruth // If we had any successors at this point, than post-inlining is likely to 13867adc3a2bSChandler Carruth // have them as well. Note that we assume any basic blocks which existed 13877adc3a2bSChandler Carruth // due to branches or switches which folded above will also fold after 13887adc3a2bSChandler Carruth // inlining. 13897adc3a2bSChandler Carruth if (SingleBB && TI->getNumSuccessors() > 1) { 13907adc3a2bSChandler Carruth // Take off the bonus we applied to the threshold. 13917adc3a2bSChandler Carruth Threshold -= SingleBBBonus; 13927adc3a2bSChandler Carruth SingleBB = false; 13937adc3a2bSChandler Carruth } 13947adc3a2bSChandler Carruth } 13957adc3a2bSChandler Carruth 13967adc3a2bSChandler Carruth // If this is a noduplicate call, we can still inline as long as 13977adc3a2bSChandler Carruth // inlining this would cause the removal of the caller (so the instruction 13987adc3a2bSChandler Carruth // is not actually duplicated, just moved). 13997adc3a2bSChandler Carruth if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall) 14007adc3a2bSChandler Carruth return false; 14017adc3a2bSChandler Carruth 14027adc3a2bSChandler Carruth // We applied the maximum possible vector bonus at the beginning. Now, 14037adc3a2bSChandler Carruth // subtract the excess bonus, if any, from the Threshold before 14047adc3a2bSChandler Carruth // comparing against Cost. 14057adc3a2bSChandler Carruth if (NumVectorInstructions <= NumInstructions / 10) 14067adc3a2bSChandler Carruth Threshold -= FiftyPercentVectorBonus; 14077adc3a2bSChandler Carruth else if (NumVectorInstructions <= NumInstructions / 2) 14087adc3a2bSChandler Carruth Threshold -= (FiftyPercentVectorBonus - TenPercentVectorBonus); 14097adc3a2bSChandler Carruth 141000ab73dcSHans Wennborg return Cost < std::max(1, Threshold); 14117adc3a2bSChandler Carruth } 14127adc3a2bSChandler Carruth 14137adc3a2bSChandler Carruth #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 14147adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis. 1415eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() { 14167adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << " " #x ": " << x << "\n" 14177adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantArgs); 14187adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs); 14197adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumAllocaArgs); 14207adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrCmps); 14217adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrDiffs); 14227adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructionsSimplified); 14237adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructions); 14247adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavings); 14257adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavingsLost); 14267adc3a2bSChandler Carruth DEBUG_PRINT_STAT(ContainsNoDuplicateCall); 14277adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Cost); 14287adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Threshold); 14297adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT 14307adc3a2bSChandler Carruth } 14317adc3a2bSChandler Carruth #endif 14327adc3a2bSChandler Carruth 14335af7ace4SAkira Hatanaka /// \brief Test that two functions either have or have not the given attribute 14345af7ace4SAkira Hatanaka /// at the same time. 14355af7ace4SAkira Hatanaka template <typename AttrKind> 14365af7ace4SAkira Hatanaka static bool attributeMatches(Function *F1, Function *F2, AttrKind Attr) { 14375af7ace4SAkira Hatanaka return F1->getFnAttribute(Attr) == F2->getFnAttribute(Attr); 14385af7ace4SAkira Hatanaka } 14395af7ace4SAkira Hatanaka 14407adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee 14417adc3a2bSChandler Carruth /// that prevent inlining. 14427adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller, 14437adc3a2bSChandler Carruth Function *Callee, 14447adc3a2bSChandler Carruth TargetTransformInfo &TTI) { 14457adc3a2bSChandler Carruth return TTI.areInlineCompatible(Caller, Callee) && 14461cb242ebSAkira Hatanaka AttributeFuncs::areInlineCompatible(*Caller, *Callee); 14477adc3a2bSChandler Carruth } 14487adc3a2bSChandler Carruth 1449ab6a6837SSean Silva InlineCost llvm::getInlineCost( 14501c57cc2bSEaswaran Raman CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI, 1451aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 145271069cf6SEaswaran Raman ProfileSummaryInfo *PSI) { 1453aec2fa35SDaniel Jasper return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI, 1454aec2fa35SDaniel Jasper GetAssumptionCache, PSI); 1455b9f7120eSEaswaran Raman } 1456b9f7120eSEaswaran Raman 1457ab6a6837SSean Silva InlineCost llvm::getInlineCost( 14581c57cc2bSEaswaran Raman CallSite CS, Function *Callee, const InlineParams &Params, 1459aec2fa35SDaniel Jasper TargetTransformInfo &CalleeTTI, 1460aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 1461aec2fa35SDaniel Jasper ProfileSummaryInfo *PSI) { 1462f4bb2f0dSEaswaran Raman 14637adc3a2bSChandler Carruth // Cannot inline indirect calls. 14647adc3a2bSChandler Carruth if (!Callee) 14657adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 14667adc3a2bSChandler Carruth 14677adc3a2bSChandler Carruth // Calls to functions with always-inline attributes should be inlined 14687adc3a2bSChandler Carruth // whenever possible. 14697adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::AlwaysInline)) { 14707adc3a2bSChandler Carruth if (isInlineViable(*Callee)) 14717adc3a2bSChandler Carruth return llvm::InlineCost::getAlways(); 14727adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 14737adc3a2bSChandler Carruth } 14747adc3a2bSChandler Carruth 14757adc3a2bSChandler Carruth // Never inline functions with conflicting attributes (unless callee has 14767adc3a2bSChandler Carruth // always-inline attribute). 1477b9f7120eSEaswaran Raman if (!functionsHaveCompatibleAttributes(CS.getCaller(), Callee, CalleeTTI)) 14787adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 14797adc3a2bSChandler Carruth 14807adc3a2bSChandler Carruth // Don't inline this call if the caller has the optnone attribute. 14817adc3a2bSChandler Carruth if (CS.getCaller()->hasFnAttribute(Attribute::OptimizeNone)) 14827adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 14837adc3a2bSChandler Carruth 14845ce32728SSanjoy Das // Don't inline functions which can be interposed at link-time. Don't inline 14855ce32728SSanjoy Das // functions marked noinline or call sites marked noinline. 1486107b187dSCraig Topper // Note: inlining non-exact non-interposable functions is fine, since we know 14875ce32728SSanjoy Das // we have *a* correct implementation of the source level function. 1488567556aaSChad Rosier if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) || 1489567556aaSChad Rosier CS.isNoInline()) 14907adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 14917adc3a2bSChandler Carruth 14927adc3a2bSChandler Carruth DEBUG(llvm::dbgs() << " Analyzing call of " << Callee->getName() 14937adc3a2bSChandler Carruth << "...\n"); 14947adc3a2bSChandler Carruth 1495aec2fa35SDaniel Jasper CallAnalyzer CA(CalleeTTI, GetAssumptionCache, PSI, *Callee, CS, Params); 14967adc3a2bSChandler Carruth bool ShouldInline = CA.analyzeCall(CS); 14977adc3a2bSChandler Carruth 14987adc3a2bSChandler Carruth DEBUG(CA.dump()); 14997adc3a2bSChandler Carruth 15007adc3a2bSChandler Carruth // Check if there was a reason to force inlining or no inlining. 15017adc3a2bSChandler Carruth if (!ShouldInline && CA.getCost() < CA.getThreshold()) 15027adc3a2bSChandler Carruth return InlineCost::getNever(); 15037adc3a2bSChandler Carruth if (ShouldInline && CA.getCost() >= CA.getThreshold()) 15047adc3a2bSChandler Carruth return InlineCost::getAlways(); 15057adc3a2bSChandler Carruth 15067adc3a2bSChandler Carruth return llvm::InlineCost::get(CA.getCost(), CA.getThreshold()); 15077adc3a2bSChandler Carruth } 15087adc3a2bSChandler Carruth 1509b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) { 15107adc3a2bSChandler Carruth bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice); 15117adc3a2bSChandler Carruth for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) { 15127adc3a2bSChandler Carruth // Disallow inlining of functions which contain indirect branches or 15137adc3a2bSChandler Carruth // blockaddresses. 15147adc3a2bSChandler Carruth if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken()) 15157adc3a2bSChandler Carruth return false; 15167adc3a2bSChandler Carruth 15175a82c916SDuncan P. N. Exon Smith for (auto &II : *BI) { 15185a82c916SDuncan P. N. Exon Smith CallSite CS(&II); 15197adc3a2bSChandler Carruth if (!CS) 15207adc3a2bSChandler Carruth continue; 15217adc3a2bSChandler Carruth 15227adc3a2bSChandler Carruth // Disallow recursive calls. 15237adc3a2bSChandler Carruth if (&F == CS.getCalledFunction()) 15247adc3a2bSChandler Carruth return false; 15257adc3a2bSChandler Carruth 15267adc3a2bSChandler Carruth // Disallow calls which expose returns-twice to a function not previously 15277adc3a2bSChandler Carruth // attributed as such. 15287adc3a2bSChandler Carruth if (!ReturnsTwice && CS.isCall() && 15297adc3a2bSChandler Carruth cast<CallInst>(CS.getInstruction())->canReturnTwice()) 15307adc3a2bSChandler Carruth return false; 15317adc3a2bSChandler Carruth 15327adc3a2bSChandler Carruth // Disallow inlining functions that call @llvm.localescape. Doing this 15337adc3a2bSChandler Carruth // correctly would require major changes to the inliner. 15347adc3a2bSChandler Carruth if (CS.getCalledFunction() && 15357adc3a2bSChandler Carruth CS.getCalledFunction()->getIntrinsicID() == 15367adc3a2bSChandler Carruth llvm::Intrinsic::localescape) 15377adc3a2bSChandler Carruth return false; 15387adc3a2bSChandler Carruth } 15397adc3a2bSChandler Carruth } 15407adc3a2bSChandler Carruth 15417adc3a2bSChandler Carruth return true; 15427adc3a2bSChandler Carruth } 15431c57cc2bSEaswaran Raman 15441c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other 15451c57cc2bSEaswaran Raman // parameters. 15461c57cc2bSEaswaran Raman 15471c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) { 15481c57cc2bSEaswaran Raman InlineParams Params; 15491c57cc2bSEaswaran Raman 15501c57cc2bSEaswaran Raman // This field is the threshold to use for a callee by default. This is 15511c57cc2bSEaswaran Raman // derived from one or more of: 15521c57cc2bSEaswaran Raman // * optimization or size-optimization levels, 15531c57cc2bSEaswaran Raman // * a value passed to createFunctionInliningPass function, or 15541c57cc2bSEaswaran Raman // * the -inline-threshold flag. 15551c57cc2bSEaswaran Raman // If the -inline-threshold flag is explicitly specified, that is used 15561c57cc2bSEaswaran Raman // irrespective of anything else. 15571c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() > 0) 15581c57cc2bSEaswaran Raman Params.DefaultThreshold = InlineThreshold; 15591c57cc2bSEaswaran Raman else 15601c57cc2bSEaswaran Raman Params.DefaultThreshold = Threshold; 15611c57cc2bSEaswaran Raman 15621c57cc2bSEaswaran Raman // Set the HintThreshold knob from the -inlinehint-threshold. 15631c57cc2bSEaswaran Raman Params.HintThreshold = HintThreshold; 15641c57cc2bSEaswaran Raman 15651c57cc2bSEaswaran Raman // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold. 15661c57cc2bSEaswaran Raman Params.HotCallSiteThreshold = HotCallSiteThreshold; 15671c57cc2bSEaswaran Raman 15681c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 15691c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 15701c57cc2bSEaswaran Raman // -inlinehint-threshold commandline option is not explicitly given. If that 15711c57cc2bSEaswaran Raman // option is present, then its value applies even for callees with size and 15721c57cc2bSEaswaran Raman // minsize attributes. 15731c57cc2bSEaswaran Raman // If the -inline-threshold is not specified, set the ColdThreshold from the 15741c57cc2bSEaswaran Raman // -inlinecold-threshold even if it is not explicitly passed. If 15751c57cc2bSEaswaran Raman // -inline-threshold is specified, then -inlinecold-threshold needs to be 15761c57cc2bSEaswaran Raman // explicitly specified to set the ColdThreshold knob 15771c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() == 0) { 15781c57cc2bSEaswaran Raman Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold; 15791c57cc2bSEaswaran Raman Params.OptSizeThreshold = InlineConstants::OptSizeThreshold; 15801c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 15811c57cc2bSEaswaran Raman } else if (ColdThreshold.getNumOccurrences() > 0) { 15821c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 15831c57cc2bSEaswaran Raman } 15841c57cc2bSEaswaran Raman return Params; 15851c57cc2bSEaswaran Raman } 15861c57cc2bSEaswaran Raman 15871c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() { 15881c57cc2bSEaswaran Raman return getInlineParams(InlineThreshold); 15891c57cc2bSEaswaran Raman } 15901c57cc2bSEaswaran Raman 15911c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the 15921c57cc2bSEaswaran Raman // size opt level. 15931c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel, 15941c57cc2bSEaswaran Raman unsigned SizeOptLevel) { 15951c57cc2bSEaswaran Raman if (OptLevel > 2) 15961c57cc2bSEaswaran Raman return InlineConstants::OptAggressiveThreshold; 15971c57cc2bSEaswaran Raman if (SizeOptLevel == 1) // -Os 15981c57cc2bSEaswaran Raman return InlineConstants::OptSizeThreshold; 15991c57cc2bSEaswaran Raman if (SizeOptLevel == 2) // -Oz 16001c57cc2bSEaswaran Raman return InlineConstants::OptMinSizeThreshold; 16011c57cc2bSEaswaran Raman return InlineThreshold; 16021c57cc2bSEaswaran Raman } 16031c57cc2bSEaswaran Raman 16041c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) { 16051c57cc2bSEaswaran Raman return getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel)); 16061c57cc2bSEaswaran Raman } 1607