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" 21*12585b01SEaswaran Raman #include "llvm/Analysis/BlockFrequencyInfo.h" 227adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h" 237adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h" 247adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h" 2571069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h" 267adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h" 277adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h" 287adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h" 297adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h" 307adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h" 317adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h" 327adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h" 337adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h" 347adc3a2bSChandler Carruth #include "llvm/IR/Operator.h" 357adc3a2bSChandler Carruth #include "llvm/Support/Debug.h" 367adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h" 377adc3a2bSChandler Carruth 387adc3a2bSChandler Carruth using namespace llvm; 397adc3a2bSChandler Carruth 407adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost" 417adc3a2bSChandler Carruth 427adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed"); 437adc3a2bSChandler Carruth 441c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold( 45f4bb2f0dSEaswaran Raman "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore, 46f4bb2f0dSEaswaran Raman cl::desc("Control the amount of inlining to perform (default = 225)")); 47f4bb2f0dSEaswaran Raman 48f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold( 49f4bb2f0dSEaswaran Raman "inlinehint-threshold", cl::Hidden, cl::init(325), 50f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with inline hint")); 51f4bb2f0dSEaswaran Raman 52*12585b01SEaswaran Raman static cl::opt<int> 53*12585b01SEaswaran Raman ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden, 54*12585b01SEaswaran Raman cl::init(45), 55*12585b01SEaswaran Raman cl::desc("Threshold for inlining cold callsites")); 56*12585b01SEaswaran Raman 57f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based 58f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and 59f4bb2f0dSEaswaran Raman // BFI. 60f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold( 61f4bb2f0dSEaswaran Raman "inlinecold-threshold", cl::Hidden, cl::init(225), 62f4bb2f0dSEaswaran Raman cl::desc("Threshold for inlining functions with cold attribute")); 63f4bb2f0dSEaswaran Raman 64de39cb93SDehao Chen static cl::opt<int> 65de39cb93SDehao Chen HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000), 66de39cb93SDehao Chen cl::ZeroOrMore, 67de39cb93SDehao Chen cl::desc("Threshold for hot callsites ")); 68de39cb93SDehao Chen 697adc3a2bSChandler Carruth namespace { 707adc3a2bSChandler Carruth 717adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> { 727adc3a2bSChandler Carruth typedef InstVisitor<CallAnalyzer, bool> Base; 737adc3a2bSChandler Carruth friend class InstVisitor<CallAnalyzer, bool>; 747adc3a2bSChandler Carruth 757adc3a2bSChandler Carruth /// The TargetTransformInfo available for this compilation. 767adc3a2bSChandler Carruth const TargetTransformInfo &TTI; 777adc3a2bSChandler Carruth 78aec2fa35SDaniel Jasper /// Getter for the cache of @llvm.assume intrinsics. 79aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache; 80aec2fa35SDaniel Jasper 81*12585b01SEaswaran Raman /// Getter for BlockFrequencyInfo 82*12585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI; 83*12585b01SEaswaran Raman 8471069cf6SEaswaran Raman /// Profile summary information. 8571069cf6SEaswaran Raman ProfileSummaryInfo *PSI; 8671069cf6SEaswaran Raman 87f3d122cdSPiotr Padlewski /// The called function. 887adc3a2bSChandler Carruth Function &F; 897adc3a2bSChandler Carruth 90f3d122cdSPiotr Padlewski /// The candidate callsite being analyzed. Please do not use this to do 91f3d122cdSPiotr Padlewski /// analysis in the caller function; we want the inline cost query to be 92f3d122cdSPiotr Padlewski /// easily cacheable. Instead, use the cover function paramHasAttr. 937adc3a2bSChandler Carruth CallSite CandidateCS; 947adc3a2bSChandler Carruth 95f3d122cdSPiotr Padlewski /// Tunable parameters that control the analysis. 961c57cc2bSEaswaran Raman const InlineParams &Params; 971c57cc2bSEaswaran Raman 987adc3a2bSChandler Carruth int Threshold; 997adc3a2bSChandler Carruth int Cost; 1007adc3a2bSChandler Carruth 1017adc3a2bSChandler Carruth bool IsCallerRecursive; 1027adc3a2bSChandler Carruth bool IsRecursiveCall; 1037adc3a2bSChandler Carruth bool ExposesReturnsTwice; 1047adc3a2bSChandler Carruth bool HasDynamicAlloca; 1057adc3a2bSChandler Carruth bool ContainsNoDuplicateCall; 1067adc3a2bSChandler Carruth bool HasReturn; 1077adc3a2bSChandler Carruth bool HasIndirectBr; 1087adc3a2bSChandler Carruth bool HasFrameEscape; 1097adc3a2bSChandler Carruth 1107adc3a2bSChandler Carruth /// Number of bytes allocated statically by the callee. 1117adc3a2bSChandler Carruth uint64_t AllocatedSize; 1127adc3a2bSChandler Carruth unsigned NumInstructions, NumVectorInstructions; 1137adc3a2bSChandler Carruth int FiftyPercentVectorBonus, TenPercentVectorBonus; 1147adc3a2bSChandler Carruth int VectorBonus; 1157adc3a2bSChandler Carruth 116f3d122cdSPiotr Padlewski /// While we walk the potentially-inlined instructions, we build up and 117f3d122cdSPiotr Padlewski /// maintain a mapping of simplified values specific to this callsite. The 118f3d122cdSPiotr Padlewski /// idea is to propagate any special information we have about arguments to 119f3d122cdSPiotr Padlewski /// this call through the inlinable section of the function, and account for 120f3d122cdSPiotr Padlewski /// likely simplifications post-inlining. The most important aspect we track 121f3d122cdSPiotr Padlewski /// is CFG altering simplifications -- when we prove a basic block dead, that 122f3d122cdSPiotr Padlewski /// can cause dramatic shifts in the cost of inlining a function. 1237adc3a2bSChandler Carruth DenseMap<Value *, Constant *> SimplifiedValues; 1247adc3a2bSChandler Carruth 125f3d122cdSPiotr Padlewski /// Keep track of the values which map back (through function arguments) to 126f3d122cdSPiotr Padlewski /// allocas on the caller stack which could be simplified through SROA. 1277adc3a2bSChandler Carruth DenseMap<Value *, Value *> SROAArgValues; 1287adc3a2bSChandler Carruth 129f3d122cdSPiotr Padlewski /// The mapping of caller Alloca values to their accumulated cost savings. If 130f3d122cdSPiotr Padlewski /// we have to disable SROA for one of the allocas, this tells us how much 131f3d122cdSPiotr Padlewski /// cost must be added. 1327adc3a2bSChandler Carruth DenseMap<Value *, int> SROAArgCosts; 1337adc3a2bSChandler Carruth 134f3d122cdSPiotr Padlewski /// Keep track of values which map to a pointer base and constant offset. 1357adc3a2bSChandler Carruth DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs; 1367adc3a2bSChandler Carruth 1377adc3a2bSChandler Carruth // Custom simplification helper routines. 1387adc3a2bSChandler Carruth bool isAllocaDerivedArg(Value *V); 1397adc3a2bSChandler Carruth bool lookupSROAArgAndCost(Value *V, Value *&Arg, 1407adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator &CostIt); 1417adc3a2bSChandler Carruth void disableSROA(DenseMap<Value *, int>::iterator CostIt); 1427adc3a2bSChandler Carruth void disableSROA(Value *V); 1437adc3a2bSChandler Carruth void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 1447adc3a2bSChandler Carruth int InstructionCost); 1457adc3a2bSChandler Carruth bool isGEPOffsetConstant(GetElementPtrInst &GEP); 146201b191bSHaicheng Wu bool isGEPFree(GetElementPtrInst &GEP); 1477adc3a2bSChandler Carruth bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset); 1487adc3a2bSChandler Carruth bool simplifyCallSite(Function *F, CallSite CS); 1497adc3a2bSChandler Carruth ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V); 1507adc3a2bSChandler Carruth 1517adc3a2bSChandler Carruth /// Return true if the given argument to the function being considered for 1527adc3a2bSChandler Carruth /// inlining has the given attribute set either at the call site or the 1537adc3a2bSChandler Carruth /// function declaration. Primarily used to inspect call site specific 1547adc3a2bSChandler Carruth /// attributes since these can be more precise than the ones on the callee 1557adc3a2bSChandler Carruth /// itself. 1567adc3a2bSChandler Carruth bool paramHasAttr(Argument *A, Attribute::AttrKind Attr); 1577adc3a2bSChandler Carruth 1587adc3a2bSChandler Carruth /// Return true if the given value is known non null within the callee if 1597adc3a2bSChandler Carruth /// inlined through this particular callsite. 1607adc3a2bSChandler Carruth bool isKnownNonNullInCallee(Value *V); 1617adc3a2bSChandler Carruth 162f4bb2f0dSEaswaran Raman /// Update Threshold based on callsite properties such as callee 163f4bb2f0dSEaswaran Raman /// attributes and callee hotness for PGO builds. The Callee is explicitly 164f4bb2f0dSEaswaran Raman /// passed to support analyzing indirect calls whose target is inferred by 165f4bb2f0dSEaswaran Raman /// analysis. 166f4bb2f0dSEaswaran Raman void updateThreshold(CallSite CS, Function &Callee); 167f4bb2f0dSEaswaran Raman 1689a3fc17aSEaswaran Raman /// Return true if size growth is allowed when inlining the callee at CS. 1699a3fc17aSEaswaran Raman bool allowSizeGrowth(CallSite CS); 1709a3fc17aSEaswaran Raman 1717adc3a2bSChandler Carruth // Custom analysis routines. 1727adc3a2bSChandler Carruth bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues); 1737adc3a2bSChandler Carruth 1747adc3a2bSChandler Carruth // Disable several entry points to the visitor so we don't accidentally use 1757adc3a2bSChandler Carruth // them by declaring but not defining them here. 176567556aaSChad Rosier void visit(Module *); 177567556aaSChad Rosier void visit(Module &); 178567556aaSChad Rosier void visit(Function *); 179567556aaSChad Rosier void visit(Function &); 180567556aaSChad Rosier void visit(BasicBlock *); 181567556aaSChad Rosier void visit(BasicBlock &); 1827adc3a2bSChandler Carruth 1837adc3a2bSChandler Carruth // Provide base case for our instruction visit. 1847adc3a2bSChandler Carruth bool visitInstruction(Instruction &I); 1857adc3a2bSChandler Carruth 1867adc3a2bSChandler Carruth // Our visit overrides. 1877adc3a2bSChandler Carruth bool visitAlloca(AllocaInst &I); 1887adc3a2bSChandler Carruth bool visitPHI(PHINode &I); 1897adc3a2bSChandler Carruth bool visitGetElementPtr(GetElementPtrInst &I); 1907adc3a2bSChandler Carruth bool visitBitCast(BitCastInst &I); 1917adc3a2bSChandler Carruth bool visitPtrToInt(PtrToIntInst &I); 1927adc3a2bSChandler Carruth bool visitIntToPtr(IntToPtrInst &I); 1937adc3a2bSChandler Carruth bool visitCastInst(CastInst &I); 1947adc3a2bSChandler Carruth bool visitUnaryInstruction(UnaryInstruction &I); 1957adc3a2bSChandler Carruth bool visitCmpInst(CmpInst &I); 1967adc3a2bSChandler Carruth bool visitSub(BinaryOperator &I); 1977adc3a2bSChandler Carruth bool visitBinaryOperator(BinaryOperator &I); 1987adc3a2bSChandler Carruth bool visitLoad(LoadInst &I); 1997adc3a2bSChandler Carruth bool visitStore(StoreInst &I); 2007adc3a2bSChandler Carruth bool visitExtractValue(ExtractValueInst &I); 2017adc3a2bSChandler Carruth bool visitInsertValue(InsertValueInst &I); 2027adc3a2bSChandler Carruth bool visitCallSite(CallSite CS); 2037adc3a2bSChandler Carruth bool visitReturnInst(ReturnInst &RI); 2047adc3a2bSChandler Carruth bool visitBranchInst(BranchInst &BI); 2057adc3a2bSChandler Carruth bool visitSwitchInst(SwitchInst &SI); 2067adc3a2bSChandler Carruth bool visitIndirectBrInst(IndirectBrInst &IBI); 2077adc3a2bSChandler Carruth bool visitResumeInst(ResumeInst &RI); 2087adc3a2bSChandler Carruth bool visitCleanupReturnInst(CleanupReturnInst &RI); 2097adc3a2bSChandler Carruth bool visitCatchReturnInst(CatchReturnInst &RI); 2107adc3a2bSChandler Carruth bool visitUnreachableInst(UnreachableInst &I); 2117adc3a2bSChandler Carruth 2127adc3a2bSChandler Carruth public: 213ab6a6837SSean Silva CallAnalyzer(const TargetTransformInfo &TTI, 214aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 215*12585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI, 2161c57cc2bSEaswaran Raman ProfileSummaryInfo *PSI, Function &Callee, CallSite CSArg, 2171c57cc2bSEaswaran Raman const InlineParams &Params) 218*12585b01SEaswaran Raman : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI), 219*12585b01SEaswaran Raman PSI(PSI), F(Callee), CandidateCS(CSArg), Params(Params), 220*12585b01SEaswaran Raman Threshold(Params.DefaultThreshold), Cost(0), IsCallerRecursive(false), 221*12585b01SEaswaran Raman IsRecursiveCall(false), ExposesReturnsTwice(false), 222*12585b01SEaswaran Raman HasDynamicAlloca(false), ContainsNoDuplicateCall(false), 223*12585b01SEaswaran Raman HasReturn(false), HasIndirectBr(false), HasFrameEscape(false), 224*12585b01SEaswaran Raman AllocatedSize(0), NumInstructions(0), NumVectorInstructions(0), 225*12585b01SEaswaran Raman FiftyPercentVectorBonus(0), TenPercentVectorBonus(0), VectorBonus(0), 226*12585b01SEaswaran Raman NumConstantArgs(0), NumConstantOffsetPtrArgs(0), NumAllocaArgs(0), 227*12585b01SEaswaran Raman NumConstantPtrCmps(0), NumConstantPtrDiffs(0), 228*12585b01SEaswaran Raman NumInstructionsSimplified(0), SROACostSavings(0), 229*12585b01SEaswaran Raman SROACostSavingsLost(0) {} 2307adc3a2bSChandler Carruth 2317adc3a2bSChandler Carruth bool analyzeCall(CallSite CS); 2327adc3a2bSChandler Carruth 2337adc3a2bSChandler Carruth int getThreshold() { return Threshold; } 2347adc3a2bSChandler Carruth int getCost() { return Cost; } 2357adc3a2bSChandler Carruth 2367adc3a2bSChandler Carruth // Keep a bunch of stats about the cost savings found so we can print them 2377adc3a2bSChandler Carruth // out when debugging. 2387adc3a2bSChandler Carruth unsigned NumConstantArgs; 2397adc3a2bSChandler Carruth unsigned NumConstantOffsetPtrArgs; 2407adc3a2bSChandler Carruth unsigned NumAllocaArgs; 2417adc3a2bSChandler Carruth unsigned NumConstantPtrCmps; 2427adc3a2bSChandler Carruth unsigned NumConstantPtrDiffs; 2437adc3a2bSChandler Carruth unsigned NumInstructionsSimplified; 2447adc3a2bSChandler Carruth unsigned SROACostSavings; 2457adc3a2bSChandler Carruth unsigned SROACostSavingsLost; 2467adc3a2bSChandler Carruth 2477adc3a2bSChandler Carruth void dump(); 2487adc3a2bSChandler Carruth }; 2497adc3a2bSChandler Carruth 2507adc3a2bSChandler Carruth } // namespace 2517adc3a2bSChandler Carruth 2527adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument. 2537adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) { 2547adc3a2bSChandler Carruth return SROAArgValues.count(V); 2557adc3a2bSChandler Carruth } 2567adc3a2bSChandler Carruth 2577adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to. 2587adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate. 2597adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost( 2607adc3a2bSChandler Carruth Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) { 2617adc3a2bSChandler Carruth if (SROAArgValues.empty() || SROAArgCosts.empty()) 2627adc3a2bSChandler Carruth return false; 2637adc3a2bSChandler Carruth 2647adc3a2bSChandler Carruth DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V); 2657adc3a2bSChandler Carruth if (ArgIt == SROAArgValues.end()) 2667adc3a2bSChandler Carruth return false; 2677adc3a2bSChandler Carruth 2687adc3a2bSChandler Carruth Arg = ArgIt->second; 2697adc3a2bSChandler Carruth CostIt = SROAArgCosts.find(Arg); 2707adc3a2bSChandler Carruth return CostIt != SROAArgCosts.end(); 2717adc3a2bSChandler Carruth } 2727adc3a2bSChandler Carruth 2737adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator. 2747adc3a2bSChandler Carruth /// 2757adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost 2767adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement. 2777adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) { 2787adc3a2bSChandler Carruth // If we're no longer able to perform SROA we need to undo its cost savings 2797adc3a2bSChandler Carruth // and prevent subsequent analysis. 2807adc3a2bSChandler Carruth Cost += CostIt->second; 2817adc3a2bSChandler Carruth SROACostSavings -= CostIt->second; 2827adc3a2bSChandler Carruth SROACostSavingsLost += CostIt->second; 2837adc3a2bSChandler Carruth SROAArgCosts.erase(CostIt); 2847adc3a2bSChandler Carruth } 2857adc3a2bSChandler Carruth 2867adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it. 2877adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) { 2887adc3a2bSChandler Carruth Value *SROAArg; 2897adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 2907adc3a2bSChandler Carruth if (lookupSROAArgAndCost(V, SROAArg, CostIt)) 2917adc3a2bSChandler Carruth disableSROA(CostIt); 2927adc3a2bSChandler Carruth } 2937adc3a2bSChandler Carruth 2947adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate. 2957adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt, 2967adc3a2bSChandler Carruth int InstructionCost) { 2977adc3a2bSChandler Carruth CostIt->second += InstructionCost; 2987adc3a2bSChandler Carruth SROACostSavings += InstructionCost; 2997adc3a2bSChandler Carruth } 3007adc3a2bSChandler Carruth 3017adc3a2bSChandler Carruth /// \brief Check whether a GEP's indices are all constant. 3027adc3a2bSChandler Carruth /// 3037adc3a2bSChandler Carruth /// Respects any simplified values known during the analysis of this callsite. 3047adc3a2bSChandler Carruth bool CallAnalyzer::isGEPOffsetConstant(GetElementPtrInst &GEP) { 3057adc3a2bSChandler Carruth for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 3067adc3a2bSChandler Carruth if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I)) 3077adc3a2bSChandler Carruth return false; 3087adc3a2bSChandler Carruth 3097adc3a2bSChandler Carruth return true; 3107adc3a2bSChandler Carruth } 3117adc3a2bSChandler Carruth 3127adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible. 3137adc3a2bSChandler Carruth /// 3147adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any 3157adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite. 3167adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) { 3177adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 3187adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 3197adc3a2bSChandler Carruth assert(IntPtrWidth == Offset.getBitWidth()); 3207adc3a2bSChandler Carruth 3217adc3a2bSChandler Carruth for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP); 3227adc3a2bSChandler Carruth GTI != GTE; ++GTI) { 3237adc3a2bSChandler Carruth ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand()); 3247adc3a2bSChandler Carruth if (!OpC) 3257adc3a2bSChandler Carruth if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand())) 3267adc3a2bSChandler Carruth OpC = dyn_cast<ConstantInt>(SimpleOp); 3277adc3a2bSChandler Carruth if (!OpC) 3287adc3a2bSChandler Carruth return false; 329567556aaSChad Rosier if (OpC->isZero()) 330567556aaSChad Rosier continue; 3317adc3a2bSChandler Carruth 3327adc3a2bSChandler Carruth // Handle a struct index, which adds its field offset to the pointer. 333ab85225bSPeter Collingbourne if (StructType *STy = GTI.getStructTypeOrNull()) { 3347adc3a2bSChandler Carruth unsigned ElementIdx = OpC->getZExtValue(); 3357adc3a2bSChandler Carruth const StructLayout *SL = DL.getStructLayout(STy); 3367adc3a2bSChandler Carruth Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx)); 3377adc3a2bSChandler Carruth continue; 3387adc3a2bSChandler Carruth } 3397adc3a2bSChandler Carruth 3407adc3a2bSChandler Carruth APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType())); 3417adc3a2bSChandler Carruth Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize; 3427adc3a2bSChandler Carruth } 3437adc3a2bSChandler Carruth return true; 3447adc3a2bSChandler Carruth } 3457adc3a2bSChandler Carruth 346201b191bSHaicheng Wu /// \brief Use TTI to check whether a GEP is free. 347201b191bSHaicheng Wu /// 348201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite. 349201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) { 350201b191bSHaicheng Wu SmallVector<Value *, 4> Indices; 351201b191bSHaicheng Wu for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I) 352201b191bSHaicheng Wu if (Constant *SimpleOp = SimplifiedValues.lookup(*I)) 353201b191bSHaicheng Wu Indices.push_back(SimpleOp); 354201b191bSHaicheng Wu else 355201b191bSHaicheng Wu Indices.push_back(*I); 356201b191bSHaicheng Wu return TargetTransformInfo::TCC_Free == 357201b191bSHaicheng Wu TTI.getGEPCost(GEP.getSourceElementType(), GEP.getPointerOperand(), 358201b191bSHaicheng Wu Indices); 359201b191bSHaicheng Wu } 360201b191bSHaicheng Wu 3617adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) { 3627adc3a2bSChandler Carruth // Check whether inlining will turn a dynamic alloca into a static 3630f153424SSanjay Patel // alloca and handle that case. 3647adc3a2bSChandler Carruth if (I.isArrayAllocation()) { 3650f153424SSanjay Patel Constant *Size = SimplifiedValues.lookup(I.getArraySize()); 3660f153424SSanjay Patel if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) { 36722eb80a1SEaswaran Raman const DataLayout &DL = F.getParent()->getDataLayout(); 3687adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 36922eb80a1SEaswaran Raman AllocatedSize = SaturatingMultiplyAdd( 37022eb80a1SEaswaran Raman AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize); 3717adc3a2bSChandler Carruth return Base::visitAlloca(I); 3727adc3a2bSChandler Carruth } 3737adc3a2bSChandler Carruth } 3747adc3a2bSChandler Carruth 3757adc3a2bSChandler Carruth // Accumulate the allocated size. 3767adc3a2bSChandler Carruth if (I.isStaticAlloca()) { 3777adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 3787adc3a2bSChandler Carruth Type *Ty = I.getAllocatedType(); 37922eb80a1SEaswaran Raman AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize); 3807adc3a2bSChandler Carruth } 3817adc3a2bSChandler Carruth 3827adc3a2bSChandler Carruth // We will happily inline static alloca instructions. 3837adc3a2bSChandler Carruth if (I.isStaticAlloca()) 3847adc3a2bSChandler Carruth return Base::visitAlloca(I); 3857adc3a2bSChandler Carruth 3867adc3a2bSChandler Carruth // FIXME: This is overly conservative. Dynamic allocas are inefficient for 3877adc3a2bSChandler Carruth // a variety of reasons, and so we would like to not inline them into 3887adc3a2bSChandler Carruth // functions which don't currently have a dynamic alloca. This simply 3897adc3a2bSChandler Carruth // disables inlining altogether in the presence of a dynamic alloca. 3907adc3a2bSChandler Carruth HasDynamicAlloca = true; 3917adc3a2bSChandler Carruth return false; 3927adc3a2bSChandler Carruth } 3937adc3a2bSChandler Carruth 3947adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) { 3957adc3a2bSChandler Carruth // FIXME: We should potentially be tracking values through phi nodes, 3967adc3a2bSChandler Carruth // especially when they collapse to a single value due to deleted CFG edges 3977adc3a2bSChandler Carruth // during inlining. 3987adc3a2bSChandler Carruth 3997adc3a2bSChandler Carruth // FIXME: We need to propagate SROA *disabling* through phi nodes, even 4007adc3a2bSChandler Carruth // though we don't want to propagate it's bonuses. The idea is to disable 4017adc3a2bSChandler Carruth // SROA if it *might* be used in an inappropriate manner. 4027adc3a2bSChandler Carruth 4037adc3a2bSChandler Carruth // Phi nodes are always zero-cost. 4047adc3a2bSChandler Carruth return true; 4057adc3a2bSChandler Carruth } 4067adc3a2bSChandler Carruth 4077adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) { 4087adc3a2bSChandler Carruth Value *SROAArg; 4097adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 410567556aaSChad Rosier bool SROACandidate = 411567556aaSChad Rosier lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt); 4127adc3a2bSChandler Carruth 4137adc3a2bSChandler Carruth // Try to fold GEPs of constant-offset call site argument pointers. This 4147adc3a2bSChandler Carruth // requires target data and inbounds GEPs. 4157adc3a2bSChandler Carruth if (I.isInBounds()) { 4167adc3a2bSChandler Carruth // Check if we have a base + offset for the pointer. 4177adc3a2bSChandler Carruth Value *Ptr = I.getPointerOperand(); 4187adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Ptr); 4197adc3a2bSChandler Carruth if (BaseAndOffset.first) { 4207adc3a2bSChandler Carruth // Check if the offset of this GEP is constant, and if so accumulate it 4217adc3a2bSChandler Carruth // into Offset. 4227adc3a2bSChandler Carruth if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) { 4237adc3a2bSChandler Carruth // Non-constant GEPs aren't folded, and disable SROA. 4247adc3a2bSChandler Carruth if (SROACandidate) 4257adc3a2bSChandler Carruth disableSROA(CostIt); 426201b191bSHaicheng Wu return isGEPFree(I); 4277adc3a2bSChandler Carruth } 4287adc3a2bSChandler Carruth 4297adc3a2bSChandler Carruth // Add the result as a new mapping to Base + Offset. 4307adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 4317adc3a2bSChandler Carruth 4327adc3a2bSChandler Carruth // Also handle SROA candidates here, we already know that the GEP is 4337adc3a2bSChandler Carruth // all-constant indexed. 4347adc3a2bSChandler Carruth if (SROACandidate) 4357adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4367adc3a2bSChandler Carruth 4377adc3a2bSChandler Carruth return true; 4387adc3a2bSChandler Carruth } 4397adc3a2bSChandler Carruth } 4407adc3a2bSChandler Carruth 4417adc3a2bSChandler Carruth if (isGEPOffsetConstant(I)) { 4427adc3a2bSChandler Carruth if (SROACandidate) 4437adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4447adc3a2bSChandler Carruth 4457adc3a2bSChandler Carruth // Constant GEPs are modeled as free. 4467adc3a2bSChandler Carruth return true; 4477adc3a2bSChandler Carruth } 4487adc3a2bSChandler Carruth 4497adc3a2bSChandler Carruth // Variable GEPs will require math and will disable SROA. 4507adc3a2bSChandler Carruth if (SROACandidate) 4517adc3a2bSChandler Carruth disableSROA(CostIt); 452201b191bSHaicheng Wu return isGEPFree(I); 4537adc3a2bSChandler Carruth } 4547adc3a2bSChandler Carruth 4557adc3a2bSChandler Carruth bool CallAnalyzer::visitBitCast(BitCastInst &I) { 4567adc3a2bSChandler Carruth // Propagate constants through bitcasts. 4577adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 4587adc3a2bSChandler Carruth if (!COp) 4597adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 4607adc3a2bSChandler Carruth if (COp) 4617adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getBitCast(COp, I.getType())) { 4627adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 4637adc3a2bSChandler Carruth return true; 4647adc3a2bSChandler Carruth } 4657adc3a2bSChandler Carruth 4667adc3a2bSChandler Carruth // Track base/offsets through casts 467567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 468567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 4697adc3a2bSChandler Carruth // Casts don't change the offset, just wrap it up. 4707adc3a2bSChandler Carruth if (BaseAndOffset.first) 4717adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 4727adc3a2bSChandler Carruth 4737adc3a2bSChandler Carruth // Also look for SROA candidates here. 4747adc3a2bSChandler Carruth Value *SROAArg; 4757adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 4767adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 4777adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 4787adc3a2bSChandler Carruth 4797adc3a2bSChandler Carruth // Bitcasts are always zero cost. 4807adc3a2bSChandler Carruth return true; 4817adc3a2bSChandler Carruth } 4827adc3a2bSChandler Carruth 4837adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) { 4847adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 4857adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 4867adc3a2bSChandler Carruth if (!COp) 4877adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 4887adc3a2bSChandler Carruth if (COp) 4897adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getPtrToInt(COp, I.getType())) { 4907adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 4917adc3a2bSChandler Carruth return true; 4927adc3a2bSChandler Carruth } 4937adc3a2bSChandler Carruth 4947adc3a2bSChandler Carruth // Track base/offset pairs when converted to a plain integer provided the 4957adc3a2bSChandler Carruth // integer is large enough to represent the pointer. 4967adc3a2bSChandler Carruth unsigned IntegerSize = I.getType()->getScalarSizeInBits(); 4977adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 4987adc3a2bSChandler Carruth if (IntegerSize >= DL.getPointerSizeInBits()) { 499567556aaSChad Rosier std::pair<Value *, APInt> BaseAndOffset = 500567556aaSChad Rosier ConstantOffsetPtrs.lookup(I.getOperand(0)); 5017adc3a2bSChandler Carruth if (BaseAndOffset.first) 5027adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 5037adc3a2bSChandler Carruth } 5047adc3a2bSChandler Carruth 5057adc3a2bSChandler Carruth // This is really weird. Technically, ptrtoint will disable SROA. However, 5067adc3a2bSChandler Carruth // unless that ptrtoint is *used* somewhere in the live basic blocks after 5077adc3a2bSChandler Carruth // inlining, it will be nuked, and SROA should proceed. All of the uses which 5087adc3a2bSChandler Carruth // would block SROA would also block SROA if applied directly to a pointer, 5097adc3a2bSChandler Carruth // and so we can just add the integer in here. The only places where SROA is 5107adc3a2bSChandler Carruth // preserved either cannot fire on an integer, or won't in-and-of themselves 5117adc3a2bSChandler Carruth // disable SROA (ext) w/o some later use that we would see and disable. 5127adc3a2bSChandler Carruth Value *SROAArg; 5137adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 5147adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) 5157adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5167adc3a2bSChandler Carruth 5177adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5187adc3a2bSChandler Carruth } 5197adc3a2bSChandler Carruth 5207adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) { 5217adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 5227adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 5237adc3a2bSChandler Carruth if (!COp) 5247adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 5257adc3a2bSChandler Carruth if (COp) 5267adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getIntToPtr(COp, I.getType())) { 5277adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5287adc3a2bSChandler Carruth return true; 5297adc3a2bSChandler Carruth } 5307adc3a2bSChandler Carruth 5317adc3a2bSChandler Carruth // Track base/offset pairs when round-tripped through a pointer without 5327adc3a2bSChandler Carruth // modifications provided the integer is not too large. 5337adc3a2bSChandler Carruth Value *Op = I.getOperand(0); 5347adc3a2bSChandler Carruth unsigned IntegerSize = Op->getType()->getScalarSizeInBits(); 5357adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 5367adc3a2bSChandler Carruth if (IntegerSize <= DL.getPointerSizeInBits()) { 5377adc3a2bSChandler Carruth std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op); 5387adc3a2bSChandler Carruth if (BaseAndOffset.first) 5397adc3a2bSChandler Carruth ConstantOffsetPtrs[&I] = BaseAndOffset; 5407adc3a2bSChandler Carruth } 5417adc3a2bSChandler Carruth 5427adc3a2bSChandler Carruth // "Propagate" SROA here in the same manner as we do for ptrtoint above. 5437adc3a2bSChandler Carruth Value *SROAArg; 5447adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 5457adc3a2bSChandler Carruth if (lookupSROAArgAndCost(Op, SROAArg, CostIt)) 5467adc3a2bSChandler Carruth SROAArgValues[&I] = SROAArg; 5477adc3a2bSChandler Carruth 5487adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5497adc3a2bSChandler Carruth } 5507adc3a2bSChandler Carruth 5517adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) { 5527adc3a2bSChandler Carruth // Propagate constants through ptrtoint. 5537adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(I.getOperand(0)); 5547adc3a2bSChandler Carruth if (!COp) 5557adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(I.getOperand(0)); 5567adc3a2bSChandler Carruth if (COp) 5577adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getCast(I.getOpcode(), COp, I.getType())) { 5587adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5597adc3a2bSChandler Carruth return true; 5607adc3a2bSChandler Carruth } 5617adc3a2bSChandler Carruth 5627adc3a2bSChandler Carruth // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere. 5637adc3a2bSChandler Carruth disableSROA(I.getOperand(0)); 5647adc3a2bSChandler Carruth 5657adc3a2bSChandler Carruth return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I); 5667adc3a2bSChandler Carruth } 5677adc3a2bSChandler Carruth 5687adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) { 5697adc3a2bSChandler Carruth Value *Operand = I.getOperand(0); 5707adc3a2bSChandler Carruth Constant *COp = dyn_cast<Constant>(Operand); 5717adc3a2bSChandler Carruth if (!COp) 5727adc3a2bSChandler Carruth COp = SimplifiedValues.lookup(Operand); 5737adc3a2bSChandler Carruth if (COp) { 5747adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 575e902459cSManuel Jacob if (Constant *C = ConstantFoldInstOperands(&I, COp, DL)) { 5767adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 5777adc3a2bSChandler Carruth return true; 5787adc3a2bSChandler Carruth } 5797adc3a2bSChandler Carruth } 5807adc3a2bSChandler Carruth 5817adc3a2bSChandler Carruth // Disable any SROA on the argument to arbitrary unary operators. 5827adc3a2bSChandler Carruth disableSROA(Operand); 5837adc3a2bSChandler Carruth 5847adc3a2bSChandler Carruth return false; 5857adc3a2bSChandler Carruth } 5867adc3a2bSChandler Carruth 5877adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) { 5887adc3a2bSChandler Carruth unsigned ArgNo = A->getArgNo(); 5897adc3a2bSChandler Carruth return CandidateCS.paramHasAttr(ArgNo + 1, Attr); 5907adc3a2bSChandler Carruth } 5917adc3a2bSChandler Carruth 5927adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) { 5937adc3a2bSChandler Carruth // Does the *call site* have the NonNull attribute set on an argument? We 5947adc3a2bSChandler Carruth // use the attribute on the call site to memoize any analysis done in the 5957adc3a2bSChandler Carruth // caller. This will also trip if the callee function has a non-null 5967adc3a2bSChandler Carruth // parameter attribute, but that's a less interesting case because hopefully 5977adc3a2bSChandler Carruth // the callee would already have been simplified based on that. 5987adc3a2bSChandler Carruth if (Argument *A = dyn_cast<Argument>(V)) 5997adc3a2bSChandler Carruth if (paramHasAttr(A, Attribute::NonNull)) 6007adc3a2bSChandler Carruth return true; 6017adc3a2bSChandler Carruth 6027adc3a2bSChandler Carruth // Is this an alloca in the caller? This is distinct from the attribute case 6037adc3a2bSChandler Carruth // above because attributes aren't updated within the inliner itself and we 6047adc3a2bSChandler Carruth // always want to catch the alloca derived case. 6057adc3a2bSChandler Carruth if (isAllocaDerivedArg(V)) 6067adc3a2bSChandler Carruth // We can actually predict the result of comparisons between an 6077adc3a2bSChandler Carruth // alloca-derived value and null. Note that this fires regardless of 6087adc3a2bSChandler Carruth // SROA firing. 6097adc3a2bSChandler Carruth return true; 6107adc3a2bSChandler Carruth 6117adc3a2bSChandler Carruth return false; 6127adc3a2bSChandler Carruth } 6137adc3a2bSChandler Carruth 6149a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) { 6159a3fc17aSEaswaran Raman // If the normal destination of the invoke or the parent block of the call 6169a3fc17aSEaswaran Raman // site is unreachable-terminated, there is little point in inlining this 6179a3fc17aSEaswaran Raman // unless there is literally zero cost. 6189a3fc17aSEaswaran Raman // FIXME: Note that it is possible that an unreachable-terminated block has a 6199a3fc17aSEaswaran Raman // hot entry. For example, in below scenario inlining hot_call_X() may be 6209a3fc17aSEaswaran Raman // beneficial : 6219a3fc17aSEaswaran Raman // main() { 6229a3fc17aSEaswaran Raman // hot_call_1(); 6239a3fc17aSEaswaran Raman // ... 6249a3fc17aSEaswaran Raman // hot_call_N() 6259a3fc17aSEaswaran Raman // exit(0); 6269a3fc17aSEaswaran Raman // } 6279a3fc17aSEaswaran Raman // For now, we are not handling this corner case here as it is rare in real 6289a3fc17aSEaswaran Raman // code. In future, we should elaborate this based on BPI and BFI in more 6299a3fc17aSEaswaran Raman // general threshold adjusting heuristics in updateThreshold(). 6309a3fc17aSEaswaran Raman Instruction *Instr = CS.getInstruction(); 6319a3fc17aSEaswaran Raman if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) { 6329a3fc17aSEaswaran Raman if (isa<UnreachableInst>(II->getNormalDest()->getTerminator())) 6339a3fc17aSEaswaran Raman return false; 6349a3fc17aSEaswaran Raman } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator())) 6359a3fc17aSEaswaran Raman return false; 6369a3fc17aSEaswaran Raman 6379a3fc17aSEaswaran Raman return true; 6389a3fc17aSEaswaran Raman } 6399a3fc17aSEaswaran Raman 640f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) { 6419a3fc17aSEaswaran Raman // If no size growth is allowed for this inlining, set Threshold to 0. 6429a3fc17aSEaswaran Raman if (!allowSizeGrowth(CS)) { 6439a3fc17aSEaswaran Raman Threshold = 0; 6449a3fc17aSEaswaran Raman return; 6459a3fc17aSEaswaran Raman } 6469a3fc17aSEaswaran Raman 647bb578ef0SEaswaran Raman Function *Caller = CS.getCaller(); 6481c57cc2bSEaswaran Raman 6491c57cc2bSEaswaran Raman // return min(A, B) if B is valid. 6501c57cc2bSEaswaran Raman auto MinIfValid = [](int A, Optional<int> B) { 6511c57cc2bSEaswaran Raman return B ? std::min(A, B.getValue()) : A; 6521c57cc2bSEaswaran Raman }; 6531c57cc2bSEaswaran Raman 6540d58fcacSEaswaran Raman // return max(A, B) if B is valid. 6550d58fcacSEaswaran Raman auto MaxIfValid = [](int A, Optional<int> B) { 6560d58fcacSEaswaran Raman return B ? std::max(A, B.getValue()) : A; 6570d58fcacSEaswaran Raman }; 6580d58fcacSEaswaran Raman 6591c57cc2bSEaswaran Raman // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available 6601c57cc2bSEaswaran Raman // and reduce the threshold if the caller has the necessary attribute. 6611c57cc2bSEaswaran Raman if (Caller->optForMinSize()) 6621c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold); 6631c57cc2bSEaswaran Raman else if (Caller->optForSize()) 6641c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.OptSizeThreshold); 665f4bb2f0dSEaswaran Raman 666e08b139dSEaswaran Raman // Adjust the threshold based on inlinehint attribute and profile based 667e08b139dSEaswaran Raman // hotness information if the caller does not have MinSize attribute. 668e08b139dSEaswaran Raman if (!Caller->optForMinSize()) { 669e08b139dSEaswaran Raman if (Callee.hasFnAttribute(Attribute::InlineHint)) 6700d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 671e08b139dSEaswaran Raman if (PSI) { 672*12585b01SEaswaran Raman BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr; 673*12585b01SEaswaran Raman if (PSI->isHotCallSite(CS, CallerBFI)) { 674*12585b01SEaswaran Raman DEBUG(dbgs() << "Hot callsite.\n"); 6750d58fcacSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HotCallSiteThreshold); 676e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryHot(&Callee)) { 677*12585b01SEaswaran Raman DEBUG(dbgs() << "Hot callee.\n"); 678e08b139dSEaswaran Raman // If callsite hotness can not be determined, we may still know 679e08b139dSEaswaran Raman // that the callee is hot and treat it as a weaker hint for threshold 680e08b139dSEaswaran Raman // increase. 681e08b139dSEaswaran Raman Threshold = MaxIfValid(Threshold, Params.HintThreshold); 682*12585b01SEaswaran Raman } else if (PSI->isColdCallSite(CS, CallerBFI)) { 683*12585b01SEaswaran Raman DEBUG(dbgs() << "Cold callsite.\n"); 684*12585b01SEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold); 685e08b139dSEaswaran Raman } else if (PSI->isFunctionEntryCold(&Callee)) { 686*12585b01SEaswaran Raman DEBUG(dbgs() << "Cold callee.\n"); 6871c57cc2bSEaswaran Raman Threshold = MinIfValid(Threshold, Params.ColdThreshold); 688e08b139dSEaswaran Raman } 689e08b139dSEaswaran Raman } 690e08b139dSEaswaran Raman } 6918650a4daSJustin Lebar 6928650a4daSJustin Lebar // Finally, take the target-specific inlining threshold multiplier into 6938650a4daSJustin Lebar // account. 6948650a4daSJustin Lebar Threshold *= TTI.getInliningThresholdMultiplier(); 695f4bb2f0dSEaswaran Raman } 696f4bb2f0dSEaswaran Raman 6977adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) { 6987adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 6997adc3a2bSChandler Carruth // First try to handle simplified comparisons. 7007adc3a2bSChandler Carruth if (!isa<Constant>(LHS)) 7017adc3a2bSChandler Carruth if (Constant *SimpleLHS = SimplifiedValues.lookup(LHS)) 7027adc3a2bSChandler Carruth LHS = SimpleLHS; 7037adc3a2bSChandler Carruth if (!isa<Constant>(RHS)) 7047adc3a2bSChandler Carruth if (Constant *SimpleRHS = SimplifiedValues.lookup(RHS)) 7057adc3a2bSChandler Carruth RHS = SimpleRHS; 7067adc3a2bSChandler Carruth if (Constant *CLHS = dyn_cast<Constant>(LHS)) { 7077adc3a2bSChandler Carruth if (Constant *CRHS = dyn_cast<Constant>(RHS)) 708567556aaSChad Rosier if (Constant *C = 709567556aaSChad Rosier ConstantExpr::getCompare(I.getPredicate(), CLHS, CRHS)) { 7107adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 7117adc3a2bSChandler Carruth return true; 7127adc3a2bSChandler Carruth } 7137adc3a2bSChandler Carruth } 7147adc3a2bSChandler Carruth 7157adc3a2bSChandler Carruth if (I.getOpcode() == Instruction::FCmp) 7167adc3a2bSChandler Carruth return false; 7177adc3a2bSChandler Carruth 7187adc3a2bSChandler Carruth // Otherwise look for a comparison between constant offset pointers with 7197adc3a2bSChandler Carruth // a common base. 7207adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 7217adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 7227adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 7237adc3a2bSChandler Carruth if (LHSBase) { 7247adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 7257adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 7267adc3a2bSChandler Carruth // We have common bases, fold the icmp to a constant based on the 7277adc3a2bSChandler Carruth // offsets. 7287adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 7297adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 7307adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) { 7317adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 7327adc3a2bSChandler Carruth ++NumConstantPtrCmps; 7337adc3a2bSChandler Carruth return true; 7347adc3a2bSChandler Carruth } 7357adc3a2bSChandler Carruth } 7367adc3a2bSChandler Carruth } 7377adc3a2bSChandler Carruth 7387adc3a2bSChandler Carruth // If the comparison is an equality comparison with null, we can simplify it 7397adc3a2bSChandler Carruth // if we know the value (argument) can't be null 7407adc3a2bSChandler Carruth if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) && 7417adc3a2bSChandler Carruth isKnownNonNullInCallee(I.getOperand(0))) { 7427adc3a2bSChandler Carruth bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE; 7437adc3a2bSChandler Carruth SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType()) 7447adc3a2bSChandler Carruth : ConstantInt::getFalse(I.getType()); 7457adc3a2bSChandler Carruth return true; 7467adc3a2bSChandler Carruth } 7477adc3a2bSChandler Carruth // Finally check for SROA candidates in comparisons. 7487adc3a2bSChandler Carruth Value *SROAArg; 7497adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 7507adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) { 7517adc3a2bSChandler Carruth if (isa<ConstantPointerNull>(I.getOperand(1))) { 7527adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 7537adc3a2bSChandler Carruth return true; 7547adc3a2bSChandler Carruth } 7557adc3a2bSChandler Carruth 7567adc3a2bSChandler Carruth disableSROA(CostIt); 7577adc3a2bSChandler Carruth } 7587adc3a2bSChandler Carruth 7597adc3a2bSChandler Carruth return false; 7607adc3a2bSChandler Carruth } 7617adc3a2bSChandler Carruth 7627adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) { 7637adc3a2bSChandler Carruth // Try to handle a special case: we can fold computing the difference of two 7647adc3a2bSChandler Carruth // constant-related pointers. 7657adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 7667adc3a2bSChandler Carruth Value *LHSBase, *RHSBase; 7677adc3a2bSChandler Carruth APInt LHSOffset, RHSOffset; 7687adc3a2bSChandler Carruth std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS); 7697adc3a2bSChandler Carruth if (LHSBase) { 7707adc3a2bSChandler Carruth std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS); 7717adc3a2bSChandler Carruth if (RHSBase && LHSBase == RHSBase) { 7727adc3a2bSChandler Carruth // We have common bases, fold the subtract to a constant based on the 7737adc3a2bSChandler Carruth // offsets. 7747adc3a2bSChandler Carruth Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset); 7757adc3a2bSChandler Carruth Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset); 7767adc3a2bSChandler Carruth if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) { 7777adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 7787adc3a2bSChandler Carruth ++NumConstantPtrDiffs; 7797adc3a2bSChandler Carruth return true; 7807adc3a2bSChandler Carruth } 7817adc3a2bSChandler Carruth } 7827adc3a2bSChandler Carruth } 7837adc3a2bSChandler Carruth 7847adc3a2bSChandler Carruth // Otherwise, fall back to the generic logic for simplifying and handling 7857adc3a2bSChandler Carruth // instructions. 7867adc3a2bSChandler Carruth return Base::visitSub(I); 7877adc3a2bSChandler Carruth } 7887adc3a2bSChandler Carruth 7897adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) { 7907adc3a2bSChandler Carruth Value *LHS = I.getOperand(0), *RHS = I.getOperand(1); 7917adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 7927adc3a2bSChandler Carruth if (!isa<Constant>(LHS)) 7937adc3a2bSChandler Carruth if (Constant *SimpleLHS = SimplifiedValues.lookup(LHS)) 7947adc3a2bSChandler Carruth LHS = SimpleLHS; 7957adc3a2bSChandler Carruth if (!isa<Constant>(RHS)) 7967adc3a2bSChandler Carruth if (Constant *SimpleRHS = SimplifiedValues.lookup(RHS)) 7977adc3a2bSChandler Carruth RHS = SimpleRHS; 7987adc3a2bSChandler Carruth Value *SimpleV = nullptr; 7997adc3a2bSChandler Carruth if (auto FI = dyn_cast<FPMathOperator>(&I)) 8007adc3a2bSChandler Carruth SimpleV = 8017adc3a2bSChandler Carruth SimplifyFPBinOp(I.getOpcode(), LHS, RHS, FI->getFastMathFlags(), DL); 8027adc3a2bSChandler Carruth else 8037adc3a2bSChandler Carruth SimpleV = SimplifyBinOp(I.getOpcode(), LHS, RHS, DL); 8047adc3a2bSChandler Carruth 8057adc3a2bSChandler Carruth if (Constant *C = dyn_cast_or_null<Constant>(SimpleV)) { 8067adc3a2bSChandler Carruth SimplifiedValues[&I] = C; 8077adc3a2bSChandler Carruth return true; 8087adc3a2bSChandler Carruth } 8097adc3a2bSChandler Carruth 8107adc3a2bSChandler Carruth // Disable any SROA on arguments to arbitrary, unsimplified binary operators. 8117adc3a2bSChandler Carruth disableSROA(LHS); 8127adc3a2bSChandler Carruth disableSROA(RHS); 8137adc3a2bSChandler Carruth 8147adc3a2bSChandler Carruth return false; 8157adc3a2bSChandler Carruth } 8167adc3a2bSChandler Carruth 8177adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) { 8187adc3a2bSChandler Carruth Value *SROAArg; 8197adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 8207adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 8217adc3a2bSChandler Carruth if (I.isSimple()) { 8227adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 8237adc3a2bSChandler Carruth return true; 8247adc3a2bSChandler Carruth } 8257adc3a2bSChandler Carruth 8267adc3a2bSChandler Carruth disableSROA(CostIt); 8277adc3a2bSChandler Carruth } 8287adc3a2bSChandler Carruth 8297adc3a2bSChandler Carruth return false; 8307adc3a2bSChandler Carruth } 8317adc3a2bSChandler Carruth 8327adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) { 8337adc3a2bSChandler Carruth Value *SROAArg; 8347adc3a2bSChandler Carruth DenseMap<Value *, int>::iterator CostIt; 8357adc3a2bSChandler Carruth if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) { 8367adc3a2bSChandler Carruth if (I.isSimple()) { 8377adc3a2bSChandler Carruth accumulateSROACost(CostIt, InlineConstants::InstrCost); 8387adc3a2bSChandler Carruth return true; 8397adc3a2bSChandler Carruth } 8407adc3a2bSChandler Carruth 8417adc3a2bSChandler Carruth disableSROA(CostIt); 8427adc3a2bSChandler Carruth } 8437adc3a2bSChandler Carruth 8447adc3a2bSChandler Carruth return false; 8457adc3a2bSChandler Carruth } 8467adc3a2bSChandler Carruth 8477adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) { 8487adc3a2bSChandler Carruth // Constant folding for extract value is trivial. 8497adc3a2bSChandler Carruth Constant *C = dyn_cast<Constant>(I.getAggregateOperand()); 8507adc3a2bSChandler Carruth if (!C) 8517adc3a2bSChandler Carruth C = SimplifiedValues.lookup(I.getAggregateOperand()); 8527adc3a2bSChandler Carruth if (C) { 8537adc3a2bSChandler Carruth SimplifiedValues[&I] = ConstantExpr::getExtractValue(C, I.getIndices()); 8547adc3a2bSChandler Carruth return true; 8557adc3a2bSChandler Carruth } 8567adc3a2bSChandler Carruth 8577adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 8587adc3a2bSChandler Carruth return false; 8597adc3a2bSChandler Carruth } 8607adc3a2bSChandler Carruth 8617adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) { 8627adc3a2bSChandler Carruth // Constant folding for insert value is trivial. 8637adc3a2bSChandler Carruth Constant *AggC = dyn_cast<Constant>(I.getAggregateOperand()); 8647adc3a2bSChandler Carruth if (!AggC) 8657adc3a2bSChandler Carruth AggC = SimplifiedValues.lookup(I.getAggregateOperand()); 8667adc3a2bSChandler Carruth Constant *InsertedC = dyn_cast<Constant>(I.getInsertedValueOperand()); 8677adc3a2bSChandler Carruth if (!InsertedC) 8687adc3a2bSChandler Carruth InsertedC = SimplifiedValues.lookup(I.getInsertedValueOperand()); 8697adc3a2bSChandler Carruth if (AggC && InsertedC) { 870567556aaSChad Rosier SimplifiedValues[&I] = 871567556aaSChad Rosier ConstantExpr::getInsertValue(AggC, InsertedC, I.getIndices()); 8727adc3a2bSChandler Carruth return true; 8737adc3a2bSChandler Carruth } 8747adc3a2bSChandler Carruth 8757adc3a2bSChandler Carruth // SROA can look through these but give them a cost. 8767adc3a2bSChandler Carruth return false; 8777adc3a2bSChandler Carruth } 8787adc3a2bSChandler Carruth 8797adc3a2bSChandler Carruth /// \brief Try to simplify a call site. 8807adc3a2bSChandler Carruth /// 8817adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by 8827adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if 8837adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it 8847adc3a2bSChandler Carruth /// free. 8857adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) { 8867adc3a2bSChandler Carruth // FIXME: Using the instsimplify logic directly for this is inefficient 8877adc3a2bSChandler Carruth // because we have to continually rebuild the argument list even when no 8887adc3a2bSChandler Carruth // simplifications can be performed. Until that is fixed with remapping 8897adc3a2bSChandler Carruth // inside of instsimplify, directly constant fold calls here. 8907adc3a2bSChandler Carruth if (!canConstantFoldCallTo(F)) 8917adc3a2bSChandler Carruth return false; 8927adc3a2bSChandler Carruth 8937adc3a2bSChandler Carruth // Try to re-map the arguments to constants. 8947adc3a2bSChandler Carruth SmallVector<Constant *, 4> ConstantArgs; 8957adc3a2bSChandler Carruth ConstantArgs.reserve(CS.arg_size()); 896567556aaSChad Rosier for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E; 897567556aaSChad Rosier ++I) { 8987adc3a2bSChandler Carruth Constant *C = dyn_cast<Constant>(*I); 8997adc3a2bSChandler Carruth if (!C) 9007adc3a2bSChandler Carruth C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I)); 9017adc3a2bSChandler Carruth if (!C) 9027adc3a2bSChandler Carruth return false; // This argument doesn't map to a constant. 9037adc3a2bSChandler Carruth 9047adc3a2bSChandler Carruth ConstantArgs.push_back(C); 9057adc3a2bSChandler Carruth } 9067adc3a2bSChandler Carruth if (Constant *C = ConstantFoldCall(F, ConstantArgs)) { 9077adc3a2bSChandler Carruth SimplifiedValues[CS.getInstruction()] = C; 9087adc3a2bSChandler Carruth return true; 9097adc3a2bSChandler Carruth } 9107adc3a2bSChandler Carruth 9117adc3a2bSChandler Carruth return false; 9127adc3a2bSChandler Carruth } 9137adc3a2bSChandler Carruth 9147adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) { 9157adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::ReturnsTwice) && 9167adc3a2bSChandler Carruth !F.hasFnAttribute(Attribute::ReturnsTwice)) { 9177adc3a2bSChandler Carruth // This aborts the entire analysis. 9187adc3a2bSChandler Carruth ExposesReturnsTwice = true; 9197adc3a2bSChandler Carruth return false; 9207adc3a2bSChandler Carruth } 921567556aaSChad Rosier if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate()) 9227adc3a2bSChandler Carruth ContainsNoDuplicateCall = true; 9237adc3a2bSChandler Carruth 9247adc3a2bSChandler Carruth if (Function *F = CS.getCalledFunction()) { 9257adc3a2bSChandler Carruth // When we have a concrete function, first try to simplify it directly. 9267adc3a2bSChandler Carruth if (simplifyCallSite(F, CS)) 9277adc3a2bSChandler Carruth return true; 9287adc3a2bSChandler Carruth 9297adc3a2bSChandler Carruth // Next check if it is an intrinsic we know about. 9307adc3a2bSChandler Carruth // FIXME: Lift this into part of the InstVisitor. 9317adc3a2bSChandler Carruth if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) { 9327adc3a2bSChandler Carruth switch (II->getIntrinsicID()) { 9337adc3a2bSChandler Carruth default: 9347adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9357adc3a2bSChandler Carruth 9367dd8dbf4SPeter Collingbourne case Intrinsic::load_relative: 9377dd8dbf4SPeter Collingbourne // This is normally lowered to 4 LLVM instructions. 9387dd8dbf4SPeter Collingbourne Cost += 3 * InlineConstants::InstrCost; 9397dd8dbf4SPeter Collingbourne return false; 9407dd8dbf4SPeter Collingbourne 9417adc3a2bSChandler Carruth case Intrinsic::memset: 9427adc3a2bSChandler Carruth case Intrinsic::memcpy: 9437adc3a2bSChandler Carruth case Intrinsic::memmove: 9447adc3a2bSChandler Carruth // SROA can usually chew through these intrinsics, but they aren't free. 9457adc3a2bSChandler Carruth return false; 9467adc3a2bSChandler Carruth case Intrinsic::localescape: 9477adc3a2bSChandler Carruth HasFrameEscape = true; 9487adc3a2bSChandler Carruth return false; 9497adc3a2bSChandler Carruth } 9507adc3a2bSChandler Carruth } 9517adc3a2bSChandler Carruth 9527adc3a2bSChandler Carruth if (F == CS.getInstruction()->getParent()->getParent()) { 9537adc3a2bSChandler Carruth // This flag will fully abort the analysis, so don't bother with anything 9547adc3a2bSChandler Carruth // else. 9557adc3a2bSChandler Carruth IsRecursiveCall = true; 9567adc3a2bSChandler Carruth return false; 9577adc3a2bSChandler Carruth } 9587adc3a2bSChandler Carruth 9597adc3a2bSChandler Carruth if (TTI.isLoweredToCall(F)) { 9607adc3a2bSChandler Carruth // We account for the average 1 instruction per call argument setup 9617adc3a2bSChandler Carruth // here. 9627adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 9637adc3a2bSChandler Carruth 9647adc3a2bSChandler Carruth // Everything other than inline ASM will also have a significant cost 9657adc3a2bSChandler Carruth // merely from making the call. 9667adc3a2bSChandler Carruth if (!isa<InlineAsm>(CS.getCalledValue())) 9677adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 9687adc3a2bSChandler Carruth } 9697adc3a2bSChandler Carruth 9707adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9717adc3a2bSChandler Carruth } 9727adc3a2bSChandler Carruth 9737adc3a2bSChandler Carruth // Otherwise we're in a very special case -- an indirect function call. See 9747adc3a2bSChandler Carruth // if we can be particularly clever about this. 9757adc3a2bSChandler Carruth Value *Callee = CS.getCalledValue(); 9767adc3a2bSChandler Carruth 9777adc3a2bSChandler Carruth // First, pay the price of the argument setup. We account for the average 9787adc3a2bSChandler Carruth // 1 instruction per call argument setup here. 9797adc3a2bSChandler Carruth Cost += CS.arg_size() * InlineConstants::InstrCost; 9807adc3a2bSChandler Carruth 9817adc3a2bSChandler Carruth // Next, check if this happens to be an indirect function call to a known 9827adc3a2bSChandler Carruth // function in this inline context. If not, we've done all we can. 9837adc3a2bSChandler Carruth Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee)); 9847adc3a2bSChandler Carruth if (!F) 9857adc3a2bSChandler Carruth return Base::visitCallSite(CS); 9867adc3a2bSChandler Carruth 9877adc3a2bSChandler Carruth // If we have a constant that we are calling as a function, we can peer 9887adc3a2bSChandler Carruth // through it and see the function target. This happens not infrequently 9897adc3a2bSChandler Carruth // during devirtualization and so we want to give it a hefty bonus for 9907adc3a2bSChandler Carruth // inlining, but cap that bonus in the event that inlining wouldn't pan 9917adc3a2bSChandler Carruth // out. Pretend to inline the function, with a custom threshold. 9921c57cc2bSEaswaran Raman auto IndirectCallParams = Params; 9931c57cc2bSEaswaran Raman IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold; 994*12585b01SEaswaran Raman CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, *F, CS, 995*12585b01SEaswaran Raman IndirectCallParams); 9967adc3a2bSChandler Carruth if (CA.analyzeCall(CS)) { 9977adc3a2bSChandler Carruth // We were able to inline the indirect call! Subtract the cost from the 9986d90d9f1SEaswaran Raman // threshold to get the bonus we want to apply, but don't go below zero. 9996d90d9f1SEaswaran Raman Cost -= std::max(0, CA.getThreshold() - CA.getCost()); 10007adc3a2bSChandler Carruth } 10017adc3a2bSChandler Carruth 10027adc3a2bSChandler Carruth return Base::visitCallSite(CS); 10037adc3a2bSChandler Carruth } 10047adc3a2bSChandler Carruth 10057adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) { 10067adc3a2bSChandler Carruth // At least one return instruction will be free after inlining. 10077adc3a2bSChandler Carruth bool Free = !HasReturn; 10087adc3a2bSChandler Carruth HasReturn = true; 10097adc3a2bSChandler Carruth return Free; 10107adc3a2bSChandler Carruth } 10117adc3a2bSChandler Carruth 10127adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) { 10137adc3a2bSChandler Carruth // We model unconditional branches as essentially free -- they really 10147adc3a2bSChandler Carruth // shouldn't exist at all, but handling them makes the behavior of the 10157adc3a2bSChandler Carruth // inliner more regular and predictable. Interestingly, conditional branches 10167adc3a2bSChandler Carruth // which will fold away are also free. 10177adc3a2bSChandler Carruth return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) || 10187adc3a2bSChandler Carruth dyn_cast_or_null<ConstantInt>( 10197adc3a2bSChandler Carruth SimplifiedValues.lookup(BI.getCondition())); 10207adc3a2bSChandler Carruth } 10217adc3a2bSChandler Carruth 10227adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) { 10237adc3a2bSChandler Carruth // We model unconditional switches as free, see the comments on handling 10247adc3a2bSChandler Carruth // branches. 10257adc3a2bSChandler Carruth if (isa<ConstantInt>(SI.getCondition())) 10267adc3a2bSChandler Carruth return true; 10277adc3a2bSChandler Carruth if (Value *V = SimplifiedValues.lookup(SI.getCondition())) 10287adc3a2bSChandler Carruth if (isa<ConstantInt>(V)) 10297adc3a2bSChandler Carruth return true; 10307adc3a2bSChandler Carruth 10317adc3a2bSChandler Carruth // Otherwise, we need to accumulate a cost proportional to the number of 10327adc3a2bSChandler Carruth // distinct successor blocks. This fan-out in the CFG cannot be represented 10337adc3a2bSChandler Carruth // for free even if we can represent the core switch as a jumptable that 10347adc3a2bSChandler Carruth // takes a single instruction. 10357adc3a2bSChandler Carruth // 10367adc3a2bSChandler Carruth // NB: We convert large switches which are just used to initialize large phi 10377adc3a2bSChandler Carruth // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent 10387adc3a2bSChandler Carruth // inlining those. It will prevent inlining in cases where the optimization 10397adc3a2bSChandler Carruth // does not (yet) fire. 10407adc3a2bSChandler Carruth SmallPtrSet<BasicBlock *, 8> SuccessorBlocks; 10417adc3a2bSChandler Carruth SuccessorBlocks.insert(SI.getDefaultDest()); 10427adc3a2bSChandler Carruth for (auto I = SI.case_begin(), E = SI.case_end(); I != E; ++I) 10437adc3a2bSChandler Carruth SuccessorBlocks.insert(I.getCaseSuccessor()); 10447adc3a2bSChandler Carruth // Add cost corresponding to the number of distinct destinations. The first 10457adc3a2bSChandler Carruth // we model as free because of fallthrough. 10467adc3a2bSChandler Carruth Cost += (SuccessorBlocks.size() - 1) * InlineConstants::InstrCost; 10477adc3a2bSChandler Carruth return false; 10487adc3a2bSChandler Carruth } 10497adc3a2bSChandler Carruth 10507adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) { 10517adc3a2bSChandler Carruth // We never want to inline functions that contain an indirectbr. This is 10527adc3a2bSChandler Carruth // incorrect because all the blockaddress's (in static global initializers 10537adc3a2bSChandler Carruth // for example) would be referring to the original function, and this 10547adc3a2bSChandler Carruth // indirect jump would jump from the inlined copy of the function into the 10557adc3a2bSChandler Carruth // original function which is extremely undefined behavior. 10567adc3a2bSChandler Carruth // FIXME: This logic isn't really right; we can safely inline functions with 10577adc3a2bSChandler Carruth // indirectbr's as long as no other function or global references the 10587adc3a2bSChandler Carruth // blockaddress of a block within the current function. 10597adc3a2bSChandler Carruth HasIndirectBr = true; 10607adc3a2bSChandler Carruth return false; 10617adc3a2bSChandler Carruth } 10627adc3a2bSChandler Carruth 10637adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) { 10647adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 10657adc3a2bSChandler Carruth // the inline cost of a resume instruction. 10667adc3a2bSChandler Carruth return false; 10677adc3a2bSChandler Carruth } 10687adc3a2bSChandler Carruth 10697adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) { 10707adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 10717adc3a2bSChandler Carruth // the inline cost of a cleanupret instruction. 10727adc3a2bSChandler Carruth return false; 10737adc3a2bSChandler Carruth } 10747adc3a2bSChandler Carruth 10757adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) { 10767adc3a2bSChandler Carruth // FIXME: It's not clear that a single instruction is an accurate model for 10778220bcc5SJoseph Tremoulet // the inline cost of a catchret instruction. 10787adc3a2bSChandler Carruth return false; 10797adc3a2bSChandler Carruth } 10807adc3a2bSChandler Carruth 10817adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) { 10827adc3a2bSChandler Carruth // FIXME: It might be reasonably to discount the cost of instructions leading 10837adc3a2bSChandler Carruth // to unreachable as they have the lowest possible impact on both runtime and 10847adc3a2bSChandler Carruth // code size. 10857adc3a2bSChandler Carruth return true; // No actual code is needed for unreachable. 10867adc3a2bSChandler Carruth } 10877adc3a2bSChandler Carruth 10887adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) { 10897adc3a2bSChandler Carruth // Some instructions are free. All of the free intrinsics can also be 10907adc3a2bSChandler Carruth // handled by SROA, etc. 10917adc3a2bSChandler Carruth if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I)) 10927adc3a2bSChandler Carruth return true; 10937adc3a2bSChandler Carruth 10947adc3a2bSChandler Carruth // We found something we don't understand or can't handle. Mark any SROA-able 10957adc3a2bSChandler Carruth // values in the operand list as no longer viable. 10967adc3a2bSChandler Carruth for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI) 10977adc3a2bSChandler Carruth disableSROA(*OI); 10987adc3a2bSChandler Carruth 10997adc3a2bSChandler Carruth return false; 11007adc3a2bSChandler Carruth } 11017adc3a2bSChandler Carruth 11027adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost. 11037adc3a2bSChandler Carruth /// 11047adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic 11057adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It 11067adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline 11077adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer 11087adc3a2bSChandler Carruth /// viable, and true if inlining remains viable. 11097adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB, 11107adc3a2bSChandler Carruth SmallPtrSetImpl<const Value *> &EphValues) { 11117adc3a2bSChandler Carruth for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) { 11127adc3a2bSChandler Carruth // FIXME: Currently, the number of instructions in a function regardless of 11137adc3a2bSChandler Carruth // our ability to simplify them during inline to constants or dead code, 11147adc3a2bSChandler Carruth // are actually used by the vector bonus heuristic. As long as that's true, 11157adc3a2bSChandler Carruth // we have to special case debug intrinsics here to prevent differences in 11167adc3a2bSChandler Carruth // inlining due to debug symbols. Eventually, the number of unsimplified 11177adc3a2bSChandler Carruth // instructions shouldn't factor into the cost computation, but until then, 11187adc3a2bSChandler Carruth // hack around it here. 11197adc3a2bSChandler Carruth if (isa<DbgInfoIntrinsic>(I)) 11207adc3a2bSChandler Carruth continue; 11217adc3a2bSChandler Carruth 11227adc3a2bSChandler Carruth // Skip ephemeral values. 11235a82c916SDuncan P. N. Exon Smith if (EphValues.count(&*I)) 11247adc3a2bSChandler Carruth continue; 11257adc3a2bSChandler Carruth 11267adc3a2bSChandler Carruth ++NumInstructions; 11277adc3a2bSChandler Carruth if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy()) 11287adc3a2bSChandler Carruth ++NumVectorInstructions; 11297adc3a2bSChandler Carruth 1130e9434e80SSanjay Patel // If the instruction is floating point, and the target says this operation 1131e9434e80SSanjay Patel // is expensive or the function has the "use-soft-float" attribute, this may 11327adc3a2bSChandler Carruth // eventually become a library call. Treat the cost as such. 11337adc3a2bSChandler Carruth if (I->getType()->isFloatingPointTy()) { 11347adc3a2bSChandler Carruth bool hasSoftFloatAttr = false; 11357adc3a2bSChandler Carruth 1136e9434e80SSanjay Patel // If the function has the "use-soft-float" attribute, mark it as 1137e9434e80SSanjay Patel // expensive. 11387adc3a2bSChandler Carruth if (F.hasFnAttribute("use-soft-float")) { 11397adc3a2bSChandler Carruth Attribute Attr = F.getFnAttribute("use-soft-float"); 11407adc3a2bSChandler Carruth StringRef Val = Attr.getValueAsString(); 11417adc3a2bSChandler Carruth if (Val == "true") 11427adc3a2bSChandler Carruth hasSoftFloatAttr = true; 11437adc3a2bSChandler Carruth } 11447adc3a2bSChandler Carruth 11457adc3a2bSChandler Carruth if (TTI.getFPOpCost(I->getType()) == TargetTransformInfo::TCC_Expensive || 11467adc3a2bSChandler Carruth hasSoftFloatAttr) 11477adc3a2bSChandler Carruth Cost += InlineConstants::CallPenalty; 11487adc3a2bSChandler Carruth } 11497adc3a2bSChandler Carruth 11507adc3a2bSChandler Carruth // If the instruction simplified to a constant, there is no cost to this 11517adc3a2bSChandler Carruth // instruction. Visit the instructions using our InstVisitor to account for 11527adc3a2bSChandler Carruth // all of the per-instruction logic. The visit tree returns true if we 11537adc3a2bSChandler Carruth // consumed the instruction in any way, and false if the instruction's base 11547adc3a2bSChandler Carruth // cost should count against inlining. 11555a82c916SDuncan P. N. Exon Smith if (Base::visit(&*I)) 11567adc3a2bSChandler Carruth ++NumInstructionsSimplified; 11577adc3a2bSChandler Carruth else 11587adc3a2bSChandler Carruth Cost += InlineConstants::InstrCost; 11597adc3a2bSChandler Carruth 11607adc3a2bSChandler Carruth // If the visit this instruction detected an uninlinable pattern, abort. 11617adc3a2bSChandler Carruth if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca || 11627adc3a2bSChandler Carruth HasIndirectBr || HasFrameEscape) 11637adc3a2bSChandler Carruth return false; 11647adc3a2bSChandler Carruth 11657adc3a2bSChandler Carruth // If the caller is a recursive function then we don't want to inline 11667adc3a2bSChandler Carruth // functions which allocate a lot of stack space because it would increase 11677adc3a2bSChandler Carruth // the caller stack usage dramatically. 11687adc3a2bSChandler Carruth if (IsCallerRecursive && 11697adc3a2bSChandler Carruth AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) 11707adc3a2bSChandler Carruth return false; 11717adc3a2bSChandler Carruth 11727adc3a2bSChandler Carruth // Check if we've past the maximum possible threshold so we don't spin in 11737adc3a2bSChandler Carruth // huge basic blocks that will never inline. 11747adc3a2bSChandler Carruth if (Cost > Threshold) 11757adc3a2bSChandler Carruth return false; 11767adc3a2bSChandler Carruth } 11777adc3a2bSChandler Carruth 11787adc3a2bSChandler Carruth return true; 11797adc3a2bSChandler Carruth } 11807adc3a2bSChandler Carruth 11817adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V. 11827adc3a2bSChandler Carruth /// 11837adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and 11847adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It 11857adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are 11867adc3a2bSChandler Carruth /// no constant offsets applied. 11877adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) { 11887adc3a2bSChandler Carruth if (!V->getType()->isPointerTy()) 11897adc3a2bSChandler Carruth return nullptr; 11907adc3a2bSChandler Carruth 11917adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 11927adc3a2bSChandler Carruth unsigned IntPtrWidth = DL.getPointerSizeInBits(); 11937adc3a2bSChandler Carruth APInt Offset = APInt::getNullValue(IntPtrWidth); 11947adc3a2bSChandler Carruth 11957adc3a2bSChandler Carruth // Even though we don't look through PHI nodes, we could be called on an 11967adc3a2bSChandler Carruth // instruction in an unreachable block, which may be on a cycle. 11977adc3a2bSChandler Carruth SmallPtrSet<Value *, 4> Visited; 11987adc3a2bSChandler Carruth Visited.insert(V); 11997adc3a2bSChandler Carruth do { 12007adc3a2bSChandler Carruth if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) { 12017adc3a2bSChandler Carruth if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset)) 12027adc3a2bSChandler Carruth return nullptr; 12037adc3a2bSChandler Carruth V = GEP->getPointerOperand(); 12047adc3a2bSChandler Carruth } else if (Operator::getOpcode(V) == Instruction::BitCast) { 12057adc3a2bSChandler Carruth V = cast<Operator>(V)->getOperand(0); 12067adc3a2bSChandler Carruth } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) { 12075ce32728SSanjoy Das if (GA->isInterposable()) 12087adc3a2bSChandler Carruth break; 12097adc3a2bSChandler Carruth V = GA->getAliasee(); 12107adc3a2bSChandler Carruth } else { 12117adc3a2bSChandler Carruth break; 12127adc3a2bSChandler Carruth } 12137adc3a2bSChandler Carruth assert(V->getType()->isPointerTy() && "Unexpected operand type!"); 12147adc3a2bSChandler Carruth } while (Visited.insert(V).second); 12157adc3a2bSChandler Carruth 12167adc3a2bSChandler Carruth Type *IntPtrTy = DL.getIntPtrType(V->getContext()); 12177adc3a2bSChandler Carruth return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset)); 12187adc3a2bSChandler Carruth } 12197adc3a2bSChandler Carruth 12207adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining. 12217adc3a2bSChandler Carruth /// 12227adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not 12237adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous 12247adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost 12257adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by 12267adc3a2bSChandler Carruth /// some artifact of the routine. 12277adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) { 12287adc3a2bSChandler Carruth ++NumCallsAnalyzed; 12297adc3a2bSChandler Carruth 12307adc3a2bSChandler Carruth // Perform some tweaks to the cost and threshold based on the direct 12317adc3a2bSChandler Carruth // callsite information. 12327adc3a2bSChandler Carruth 12337adc3a2bSChandler Carruth // We want to more aggressively inline vector-dense kernels, so up the 12347adc3a2bSChandler Carruth // threshold, and we'll lower it if the % of vector instructions gets too 12357adc3a2bSChandler Carruth // low. Note that these bonuses are some what arbitrary and evolved over time 12367adc3a2bSChandler Carruth // by accident as much as because they are principled bonuses. 12377adc3a2bSChandler Carruth // 12387adc3a2bSChandler Carruth // FIXME: It would be nice to remove all such bonuses. At least it would be 12397adc3a2bSChandler Carruth // nice to base the bonus values on something more scientific. 12407adc3a2bSChandler Carruth assert(NumInstructions == 0); 12417adc3a2bSChandler Carruth assert(NumVectorInstructions == 0); 1242f4bb2f0dSEaswaran Raman 1243f4bb2f0dSEaswaran Raman // Update the threshold based on callsite properties 1244f4bb2f0dSEaswaran Raman updateThreshold(CS, F); 1245f4bb2f0dSEaswaran Raman 12467adc3a2bSChandler Carruth FiftyPercentVectorBonus = 3 * Threshold / 2; 12477adc3a2bSChandler Carruth TenPercentVectorBonus = 3 * Threshold / 4; 12487adc3a2bSChandler Carruth const DataLayout &DL = F.getParent()->getDataLayout(); 12497adc3a2bSChandler Carruth 12507adc3a2bSChandler Carruth // Track whether the post-inlining function would have more than one basic 12517adc3a2bSChandler Carruth // block. A single basic block is often intended for inlining. Balloon the 12527adc3a2bSChandler Carruth // threshold by 50% until we pass the single-BB phase. 12537adc3a2bSChandler Carruth bool SingleBB = true; 12547adc3a2bSChandler Carruth int SingleBBBonus = Threshold / 2; 12557adc3a2bSChandler Carruth 12567adc3a2bSChandler Carruth // Speculatively apply all possible bonuses to Threshold. If cost exceeds 12577adc3a2bSChandler Carruth // this Threshold any time, and cost cannot decrease, we can stop processing 12587adc3a2bSChandler Carruth // the rest of the function body. 12597adc3a2bSChandler Carruth Threshold += (SingleBBBonus + FiftyPercentVectorBonus); 12607adc3a2bSChandler Carruth 12617adc3a2bSChandler Carruth // Give out bonuses per argument, as the instructions setting them up will 12627adc3a2bSChandler Carruth // be gone after inlining. 12637adc3a2bSChandler Carruth for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) { 12647adc3a2bSChandler Carruth if (CS.isByValArgument(I)) { 12657adc3a2bSChandler Carruth // We approximate the number of loads and stores needed by dividing the 12667adc3a2bSChandler Carruth // size of the byval type by the target's pointer size. 12677adc3a2bSChandler Carruth PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType()); 12687adc3a2bSChandler Carruth unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType()); 12697adc3a2bSChandler Carruth unsigned PointerSize = DL.getPointerSizeInBits(); 12707adc3a2bSChandler Carruth // Ceiling division. 12717adc3a2bSChandler Carruth unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize; 12727adc3a2bSChandler Carruth 12737adc3a2bSChandler Carruth // If it generates more than 8 stores it is likely to be expanded as an 12747adc3a2bSChandler Carruth // inline memcpy so we take that as an upper bound. Otherwise we assume 12757adc3a2bSChandler Carruth // one load and one store per word copied. 12767adc3a2bSChandler Carruth // FIXME: The maxStoresPerMemcpy setting from the target should be used 12777adc3a2bSChandler Carruth // here instead of a magic number of 8, but it's not available via 12787adc3a2bSChandler Carruth // DataLayout. 12797adc3a2bSChandler Carruth NumStores = std::min(NumStores, 8U); 12807adc3a2bSChandler Carruth 12817adc3a2bSChandler Carruth Cost -= 2 * NumStores * InlineConstants::InstrCost; 12827adc3a2bSChandler Carruth } else { 12837adc3a2bSChandler Carruth // For non-byval arguments subtract off one instruction per call 12847adc3a2bSChandler Carruth // argument. 12857adc3a2bSChandler Carruth Cost -= InlineConstants::InstrCost; 12867adc3a2bSChandler Carruth } 12877adc3a2bSChandler Carruth } 12886df8f27cSJames Molloy // The call instruction also disappears after inlining. 12896df8f27cSJames Molloy Cost -= InlineConstants::InstrCost + InlineConstants::CallPenalty; 12907adc3a2bSChandler Carruth 12917adc3a2bSChandler Carruth // If there is only one call of the function, and it has internal linkage, 12927adc3a2bSChandler Carruth // the cost of inlining it drops dramatically. 1293567556aaSChad Rosier bool OnlyOneCallAndLocalLinkage = 1294567556aaSChad Rosier F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction(); 12957adc3a2bSChandler Carruth if (OnlyOneCallAndLocalLinkage) 1296d89875caSPiotr Padlewski Cost -= InlineConstants::LastCallToStaticBonus; 12977adc3a2bSChandler Carruth 12987adc3a2bSChandler Carruth // If this function uses the coldcc calling convention, prefer not to inline 12997adc3a2bSChandler Carruth // it. 13007adc3a2bSChandler Carruth if (F.getCallingConv() == CallingConv::Cold) 13017adc3a2bSChandler Carruth Cost += InlineConstants::ColdccPenalty; 13027adc3a2bSChandler Carruth 13037adc3a2bSChandler Carruth // Check if we're done. This can happen due to bonuses and penalties. 13047adc3a2bSChandler Carruth if (Cost > Threshold) 13057adc3a2bSChandler Carruth return false; 13067adc3a2bSChandler Carruth 13077adc3a2bSChandler Carruth if (F.empty()) 13087adc3a2bSChandler Carruth return true; 13097adc3a2bSChandler Carruth 13107adc3a2bSChandler Carruth Function *Caller = CS.getInstruction()->getParent()->getParent(); 13117adc3a2bSChandler Carruth // Check if the caller function is recursive itself. 13127adc3a2bSChandler Carruth for (User *U : Caller->users()) { 13137adc3a2bSChandler Carruth CallSite Site(U); 13147adc3a2bSChandler Carruth if (!Site) 13157adc3a2bSChandler Carruth continue; 13167adc3a2bSChandler Carruth Instruction *I = Site.getInstruction(); 13177adc3a2bSChandler Carruth if (I->getParent()->getParent() == Caller) { 13187adc3a2bSChandler Carruth IsCallerRecursive = true; 13197adc3a2bSChandler Carruth break; 13207adc3a2bSChandler Carruth } 13217adc3a2bSChandler Carruth } 13227adc3a2bSChandler Carruth 13237adc3a2bSChandler Carruth // Populate our simplified values by mapping from function arguments to call 13247adc3a2bSChandler Carruth // arguments with known important simplifications. 13257adc3a2bSChandler Carruth CallSite::arg_iterator CAI = CS.arg_begin(); 13267adc3a2bSChandler Carruth for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end(); 13277adc3a2bSChandler Carruth FAI != FAE; ++FAI, ++CAI) { 13287adc3a2bSChandler Carruth assert(CAI != CS.arg_end()); 13297adc3a2bSChandler Carruth if (Constant *C = dyn_cast<Constant>(CAI)) 13305a82c916SDuncan P. N. Exon Smith SimplifiedValues[&*FAI] = C; 13317adc3a2bSChandler Carruth 13327adc3a2bSChandler Carruth Value *PtrArg = *CAI; 13337adc3a2bSChandler Carruth if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) { 13345a82c916SDuncan P. N. Exon Smith ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue()); 13357adc3a2bSChandler Carruth 13367adc3a2bSChandler Carruth // We can SROA any pointer arguments derived from alloca instructions. 13377adc3a2bSChandler Carruth if (isa<AllocaInst>(PtrArg)) { 13385a82c916SDuncan P. N. Exon Smith SROAArgValues[&*FAI] = PtrArg; 13397adc3a2bSChandler Carruth SROAArgCosts[PtrArg] = 0; 13407adc3a2bSChandler Carruth } 13417adc3a2bSChandler Carruth } 13427adc3a2bSChandler Carruth } 13437adc3a2bSChandler Carruth NumConstantArgs = SimplifiedValues.size(); 13447adc3a2bSChandler Carruth NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size(); 13457adc3a2bSChandler Carruth NumAllocaArgs = SROAArgValues.size(); 13467adc3a2bSChandler Carruth 13477adc3a2bSChandler Carruth // FIXME: If a caller has multiple calls to a callee, we end up recomputing 13487adc3a2bSChandler Carruth // the ephemeral values multiple times (and they're completely determined by 13497adc3a2bSChandler Carruth // the callee, so this is purely duplicate work). 13507adc3a2bSChandler Carruth SmallPtrSet<const Value *, 32> EphValues; 1351aec2fa35SDaniel Jasper CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues); 13527adc3a2bSChandler Carruth 13537adc3a2bSChandler Carruth // The worklist of live basic blocks in the callee *after* inlining. We avoid 13547adc3a2bSChandler Carruth // adding basic blocks of the callee which can be proven to be dead for this 13557adc3a2bSChandler Carruth // particular call site in order to get more accurate cost estimates. This 13567adc3a2bSChandler Carruth // requires a somewhat heavyweight iteration pattern: we need to walk the 13577adc3a2bSChandler Carruth // basic blocks in a breadth-first order as we insert live successors. To 13587adc3a2bSChandler Carruth // accomplish this, prioritizing for small iterations because we exit after 13597adc3a2bSChandler Carruth // crossing our threshold, we use a small-size optimized SetVector. 13607adc3a2bSChandler Carruth typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>, 1361567556aaSChad Rosier SmallPtrSet<BasicBlock *, 16>> 1362567556aaSChad Rosier BBSetVector; 13637adc3a2bSChandler Carruth BBSetVector BBWorklist; 13647adc3a2bSChandler Carruth BBWorklist.insert(&F.getEntryBlock()); 13657adc3a2bSChandler Carruth // Note that we *must not* cache the size, this loop grows the worklist. 13667adc3a2bSChandler Carruth for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) { 13677adc3a2bSChandler Carruth // Bail out the moment we cross the threshold. This means we'll under-count 13687adc3a2bSChandler Carruth // the cost, but only when undercounting doesn't matter. 13697adc3a2bSChandler Carruth if (Cost > Threshold) 13707adc3a2bSChandler Carruth break; 13717adc3a2bSChandler Carruth 13727adc3a2bSChandler Carruth BasicBlock *BB = BBWorklist[Idx]; 13737adc3a2bSChandler Carruth if (BB->empty()) 13747adc3a2bSChandler Carruth continue; 13757adc3a2bSChandler Carruth 13767adc3a2bSChandler Carruth // Disallow inlining a blockaddress. A blockaddress only has defined 13777adc3a2bSChandler Carruth // behavior for an indirect branch in the same function, and we do not 13787adc3a2bSChandler Carruth // currently support inlining indirect branches. But, the inliner may not 13797adc3a2bSChandler Carruth // see an indirect branch that ends up being dead code at a particular call 13807adc3a2bSChandler Carruth // site. If the blockaddress escapes the function, e.g., via a global 13817adc3a2bSChandler Carruth // variable, inlining may lead to an invalid cross-function reference. 13827adc3a2bSChandler Carruth if (BB->hasAddressTaken()) 13837adc3a2bSChandler Carruth return false; 13847adc3a2bSChandler Carruth 13857adc3a2bSChandler Carruth // Analyze the cost of this block. If we blow through the threshold, this 13867adc3a2bSChandler Carruth // returns false, and we can bail on out. 1387d295b00aSEaswaran Raman if (!analyzeBlock(BB, EphValues)) 13887adc3a2bSChandler Carruth return false; 13897adc3a2bSChandler Carruth 13907adc3a2bSChandler Carruth TerminatorInst *TI = BB->getTerminator(); 13917adc3a2bSChandler Carruth 13927adc3a2bSChandler Carruth // Add in the live successors by first checking whether we have terminator 13937adc3a2bSChandler Carruth // that may be simplified based on the values simplified by this call. 13947adc3a2bSChandler Carruth if (BranchInst *BI = dyn_cast<BranchInst>(TI)) { 13957adc3a2bSChandler Carruth if (BI->isConditional()) { 13967adc3a2bSChandler Carruth Value *Cond = BI->getCondition(); 1397567556aaSChad Rosier if (ConstantInt *SimpleCond = 1398567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 13997adc3a2bSChandler Carruth BBWorklist.insert(BI->getSuccessor(SimpleCond->isZero() ? 1 : 0)); 14007adc3a2bSChandler Carruth continue; 14017adc3a2bSChandler Carruth } 14027adc3a2bSChandler Carruth } 14037adc3a2bSChandler Carruth } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) { 14047adc3a2bSChandler Carruth Value *Cond = SI->getCondition(); 1405567556aaSChad Rosier if (ConstantInt *SimpleCond = 1406567556aaSChad Rosier dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) { 14077adc3a2bSChandler Carruth BBWorklist.insert(SI->findCaseValue(SimpleCond).getCaseSuccessor()); 14087adc3a2bSChandler Carruth continue; 14097adc3a2bSChandler Carruth } 14107adc3a2bSChandler Carruth } 14117adc3a2bSChandler Carruth 14127adc3a2bSChandler Carruth // If we're unable to select a particular successor, just count all of 14137adc3a2bSChandler Carruth // them. 14147adc3a2bSChandler Carruth for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize; 14157adc3a2bSChandler Carruth ++TIdx) 14167adc3a2bSChandler Carruth BBWorklist.insert(TI->getSuccessor(TIdx)); 14177adc3a2bSChandler Carruth 14187adc3a2bSChandler Carruth // If we had any successors at this point, than post-inlining is likely to 14197adc3a2bSChandler Carruth // have them as well. Note that we assume any basic blocks which existed 14207adc3a2bSChandler Carruth // due to branches or switches which folded above will also fold after 14217adc3a2bSChandler Carruth // inlining. 14227adc3a2bSChandler Carruth if (SingleBB && TI->getNumSuccessors() > 1) { 14237adc3a2bSChandler Carruth // Take off the bonus we applied to the threshold. 14247adc3a2bSChandler Carruth Threshold -= SingleBBBonus; 14257adc3a2bSChandler Carruth SingleBB = false; 14267adc3a2bSChandler Carruth } 14277adc3a2bSChandler Carruth } 14287adc3a2bSChandler Carruth 14297adc3a2bSChandler Carruth // If this is a noduplicate call, we can still inline as long as 14307adc3a2bSChandler Carruth // inlining this would cause the removal of the caller (so the instruction 14317adc3a2bSChandler Carruth // is not actually duplicated, just moved). 14327adc3a2bSChandler Carruth if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall) 14337adc3a2bSChandler Carruth return false; 14347adc3a2bSChandler Carruth 14357adc3a2bSChandler Carruth // We applied the maximum possible vector bonus at the beginning. Now, 14367adc3a2bSChandler Carruth // subtract the excess bonus, if any, from the Threshold before 14377adc3a2bSChandler Carruth // comparing against Cost. 14387adc3a2bSChandler Carruth if (NumVectorInstructions <= NumInstructions / 10) 14397adc3a2bSChandler Carruth Threshold -= FiftyPercentVectorBonus; 14407adc3a2bSChandler Carruth else if (NumVectorInstructions <= NumInstructions / 2) 14417adc3a2bSChandler Carruth Threshold -= (FiftyPercentVectorBonus - TenPercentVectorBonus); 14427adc3a2bSChandler Carruth 144300ab73dcSHans Wennborg return Cost < std::max(1, Threshold); 14447adc3a2bSChandler Carruth } 14457adc3a2bSChandler Carruth 14467adc3a2bSChandler Carruth #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 14477adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis. 1448eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() { 14497adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << " " #x ": " << x << "\n" 14507adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantArgs); 14517adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs); 14527adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumAllocaArgs); 14537adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrCmps); 14547adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumConstantPtrDiffs); 14557adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructionsSimplified); 14567adc3a2bSChandler Carruth DEBUG_PRINT_STAT(NumInstructions); 14577adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavings); 14587adc3a2bSChandler Carruth DEBUG_PRINT_STAT(SROACostSavingsLost); 14597adc3a2bSChandler Carruth DEBUG_PRINT_STAT(ContainsNoDuplicateCall); 14607adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Cost); 14617adc3a2bSChandler Carruth DEBUG_PRINT_STAT(Threshold); 14627adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT 14637adc3a2bSChandler Carruth } 14647adc3a2bSChandler Carruth #endif 14657adc3a2bSChandler Carruth 14665af7ace4SAkira Hatanaka /// \brief Test that two functions either have or have not the given attribute 14675af7ace4SAkira Hatanaka /// at the same time. 14685af7ace4SAkira Hatanaka template <typename AttrKind> 14695af7ace4SAkira Hatanaka static bool attributeMatches(Function *F1, Function *F2, AttrKind Attr) { 14705af7ace4SAkira Hatanaka return F1->getFnAttribute(Attr) == F2->getFnAttribute(Attr); 14715af7ace4SAkira Hatanaka } 14725af7ace4SAkira Hatanaka 14737adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee 14747adc3a2bSChandler Carruth /// that prevent inlining. 14757adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller, 14767adc3a2bSChandler Carruth Function *Callee, 14777adc3a2bSChandler Carruth TargetTransformInfo &TTI) { 14787adc3a2bSChandler Carruth return TTI.areInlineCompatible(Caller, Callee) && 14791cb242ebSAkira Hatanaka AttributeFuncs::areInlineCompatible(*Caller, *Callee); 14807adc3a2bSChandler Carruth } 14817adc3a2bSChandler Carruth 1482ab6a6837SSean Silva InlineCost llvm::getInlineCost( 14831c57cc2bSEaswaran Raman CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI, 1484aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 1485*12585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 148671069cf6SEaswaran Raman ProfileSummaryInfo *PSI) { 1487aec2fa35SDaniel Jasper return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI, 1488*12585b01SEaswaran Raman GetAssumptionCache, GetBFI, PSI); 1489b9f7120eSEaswaran Raman } 1490b9f7120eSEaswaran Raman 1491ab6a6837SSean Silva InlineCost llvm::getInlineCost( 14921c57cc2bSEaswaran Raman CallSite CS, Function *Callee, const InlineParams &Params, 1493aec2fa35SDaniel Jasper TargetTransformInfo &CalleeTTI, 1494aec2fa35SDaniel Jasper std::function<AssumptionCache &(Function &)> &GetAssumptionCache, 1495*12585b01SEaswaran Raman Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI, 1496aec2fa35SDaniel Jasper ProfileSummaryInfo *PSI) { 1497f4bb2f0dSEaswaran Raman 14987adc3a2bSChandler Carruth // Cannot inline indirect calls. 14997adc3a2bSChandler Carruth if (!Callee) 15007adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 15017adc3a2bSChandler Carruth 15027adc3a2bSChandler Carruth // Calls to functions with always-inline attributes should be inlined 15037adc3a2bSChandler Carruth // whenever possible. 15047adc3a2bSChandler Carruth if (CS.hasFnAttr(Attribute::AlwaysInline)) { 15057adc3a2bSChandler Carruth if (isInlineViable(*Callee)) 15067adc3a2bSChandler Carruth return llvm::InlineCost::getAlways(); 15077adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 15087adc3a2bSChandler Carruth } 15097adc3a2bSChandler Carruth 15107adc3a2bSChandler Carruth // Never inline functions with conflicting attributes (unless callee has 15117adc3a2bSChandler Carruth // always-inline attribute). 1512b9f7120eSEaswaran Raman if (!functionsHaveCompatibleAttributes(CS.getCaller(), Callee, CalleeTTI)) 15137adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 15147adc3a2bSChandler Carruth 15157adc3a2bSChandler Carruth // Don't inline this call if the caller has the optnone attribute. 15167adc3a2bSChandler Carruth if (CS.getCaller()->hasFnAttribute(Attribute::OptimizeNone)) 15177adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 15187adc3a2bSChandler Carruth 15195ce32728SSanjoy Das // Don't inline functions which can be interposed at link-time. Don't inline 15205ce32728SSanjoy Das // functions marked noinline or call sites marked noinline. 1521107b187dSCraig Topper // Note: inlining non-exact non-interposable functions is fine, since we know 15225ce32728SSanjoy Das // we have *a* correct implementation of the source level function. 1523567556aaSChad Rosier if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) || 1524567556aaSChad Rosier CS.isNoInline()) 15257adc3a2bSChandler Carruth return llvm::InlineCost::getNever(); 15267adc3a2bSChandler Carruth 15277adc3a2bSChandler Carruth DEBUG(llvm::dbgs() << " Analyzing call of " << Callee->getName() 15287adc3a2bSChandler Carruth << "...\n"); 15297adc3a2bSChandler Carruth 1530*12585b01SEaswaran Raman CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, *Callee, CS, 1531*12585b01SEaswaran Raman Params); 15327adc3a2bSChandler Carruth bool ShouldInline = CA.analyzeCall(CS); 15337adc3a2bSChandler Carruth 15347adc3a2bSChandler Carruth DEBUG(CA.dump()); 15357adc3a2bSChandler Carruth 15367adc3a2bSChandler Carruth // Check if there was a reason to force inlining or no inlining. 15377adc3a2bSChandler Carruth if (!ShouldInline && CA.getCost() < CA.getThreshold()) 15387adc3a2bSChandler Carruth return InlineCost::getNever(); 15397adc3a2bSChandler Carruth if (ShouldInline && CA.getCost() >= CA.getThreshold()) 15407adc3a2bSChandler Carruth return InlineCost::getAlways(); 15417adc3a2bSChandler Carruth 15427adc3a2bSChandler Carruth return llvm::InlineCost::get(CA.getCost(), CA.getThreshold()); 15437adc3a2bSChandler Carruth } 15447adc3a2bSChandler Carruth 1545b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) { 15467adc3a2bSChandler Carruth bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice); 15477adc3a2bSChandler Carruth for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) { 15487adc3a2bSChandler Carruth // Disallow inlining of functions which contain indirect branches or 15497adc3a2bSChandler Carruth // blockaddresses. 15507adc3a2bSChandler Carruth if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken()) 15517adc3a2bSChandler Carruth return false; 15527adc3a2bSChandler Carruth 15535a82c916SDuncan P. N. Exon Smith for (auto &II : *BI) { 15545a82c916SDuncan P. N. Exon Smith CallSite CS(&II); 15557adc3a2bSChandler Carruth if (!CS) 15567adc3a2bSChandler Carruth continue; 15577adc3a2bSChandler Carruth 15587adc3a2bSChandler Carruth // Disallow recursive calls. 15597adc3a2bSChandler Carruth if (&F == CS.getCalledFunction()) 15607adc3a2bSChandler Carruth return false; 15617adc3a2bSChandler Carruth 15627adc3a2bSChandler Carruth // Disallow calls which expose returns-twice to a function not previously 15637adc3a2bSChandler Carruth // attributed as such. 15647adc3a2bSChandler Carruth if (!ReturnsTwice && CS.isCall() && 15657adc3a2bSChandler Carruth cast<CallInst>(CS.getInstruction())->canReturnTwice()) 15667adc3a2bSChandler Carruth return false; 15677adc3a2bSChandler Carruth 15687adc3a2bSChandler Carruth // Disallow inlining functions that call @llvm.localescape. Doing this 15697adc3a2bSChandler Carruth // correctly would require major changes to the inliner. 15707adc3a2bSChandler Carruth if (CS.getCalledFunction() && 15717adc3a2bSChandler Carruth CS.getCalledFunction()->getIntrinsicID() == 15727adc3a2bSChandler Carruth llvm::Intrinsic::localescape) 15737adc3a2bSChandler Carruth return false; 15747adc3a2bSChandler Carruth } 15757adc3a2bSChandler Carruth } 15767adc3a2bSChandler Carruth 15777adc3a2bSChandler Carruth return true; 15787adc3a2bSChandler Carruth } 15791c57cc2bSEaswaran Raman 15801c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other 15811c57cc2bSEaswaran Raman // parameters. 15821c57cc2bSEaswaran Raman 15831c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) { 15841c57cc2bSEaswaran Raman InlineParams Params; 15851c57cc2bSEaswaran Raman 15861c57cc2bSEaswaran Raman // This field is the threshold to use for a callee by default. This is 15871c57cc2bSEaswaran Raman // derived from one or more of: 15881c57cc2bSEaswaran Raman // * optimization or size-optimization levels, 15891c57cc2bSEaswaran Raman // * a value passed to createFunctionInliningPass function, or 15901c57cc2bSEaswaran Raman // * the -inline-threshold flag. 15911c57cc2bSEaswaran Raman // If the -inline-threshold flag is explicitly specified, that is used 15921c57cc2bSEaswaran Raman // irrespective of anything else. 15931c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() > 0) 15941c57cc2bSEaswaran Raman Params.DefaultThreshold = InlineThreshold; 15951c57cc2bSEaswaran Raman else 15961c57cc2bSEaswaran Raman Params.DefaultThreshold = Threshold; 15971c57cc2bSEaswaran Raman 15981c57cc2bSEaswaran Raman // Set the HintThreshold knob from the -inlinehint-threshold. 15991c57cc2bSEaswaran Raman Params.HintThreshold = HintThreshold; 16001c57cc2bSEaswaran Raman 16011c57cc2bSEaswaran Raman // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold. 16021c57cc2bSEaswaran Raman Params.HotCallSiteThreshold = HotCallSiteThreshold; 16031c57cc2bSEaswaran Raman 1604*12585b01SEaswaran Raman // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold. 1605*12585b01SEaswaran Raman Params.ColdCallSiteThreshold = ColdCallSiteThreshold; 1606*12585b01SEaswaran Raman 16071c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 16081c57cc2bSEaswaran Raman // Set the OptMinSizeThreshold and OptSizeThreshold params only if the 16091c57cc2bSEaswaran Raman // -inlinehint-threshold commandline option is not explicitly given. If that 16101c57cc2bSEaswaran Raman // option is present, then its value applies even for callees with size and 16111c57cc2bSEaswaran Raman // minsize attributes. 16121c57cc2bSEaswaran Raman // If the -inline-threshold is not specified, set the ColdThreshold from the 16131c57cc2bSEaswaran Raman // -inlinecold-threshold even if it is not explicitly passed. If 16141c57cc2bSEaswaran Raman // -inline-threshold is specified, then -inlinecold-threshold needs to be 16151c57cc2bSEaswaran Raman // explicitly specified to set the ColdThreshold knob 16161c57cc2bSEaswaran Raman if (InlineThreshold.getNumOccurrences() == 0) { 16171c57cc2bSEaswaran Raman Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold; 16181c57cc2bSEaswaran Raman Params.OptSizeThreshold = InlineConstants::OptSizeThreshold; 16191c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 16201c57cc2bSEaswaran Raman } else if (ColdThreshold.getNumOccurrences() > 0) { 16211c57cc2bSEaswaran Raman Params.ColdThreshold = ColdThreshold; 16221c57cc2bSEaswaran Raman } 16231c57cc2bSEaswaran Raman return Params; 16241c57cc2bSEaswaran Raman } 16251c57cc2bSEaswaran Raman 16261c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() { 16271c57cc2bSEaswaran Raman return getInlineParams(InlineThreshold); 16281c57cc2bSEaswaran Raman } 16291c57cc2bSEaswaran Raman 16301c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the 16311c57cc2bSEaswaran Raman // size opt level. 16321c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel, 16331c57cc2bSEaswaran Raman unsigned SizeOptLevel) { 16341c57cc2bSEaswaran Raman if (OptLevel > 2) 16351c57cc2bSEaswaran Raman return InlineConstants::OptAggressiveThreshold; 16361c57cc2bSEaswaran Raman if (SizeOptLevel == 1) // -Os 16371c57cc2bSEaswaran Raman return InlineConstants::OptSizeThreshold; 16381c57cc2bSEaswaran Raman if (SizeOptLevel == 2) // -Oz 16391c57cc2bSEaswaran Raman return InlineConstants::OptMinSizeThreshold; 16401c57cc2bSEaswaran Raman return InlineThreshold; 16411c57cc2bSEaswaran Raman } 16421c57cc2bSEaswaran Raman 16431c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) { 16441c57cc2bSEaswaran Raman return getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel)); 16451c57cc2bSEaswaran Raman } 1646