17adc3a2bSChandler Carruth //===- InlineCost.cpp - Cost analysis for inliner -------------------------===//
27adc3a2bSChandler Carruth //
37adc3a2bSChandler Carruth //                     The LLVM Compiler Infrastructure
47adc3a2bSChandler Carruth //
57adc3a2bSChandler Carruth // This file is distributed under the University of Illinois Open Source
67adc3a2bSChandler Carruth // License. See LICENSE.TXT for details.
77adc3a2bSChandler Carruth //
87adc3a2bSChandler Carruth //===----------------------------------------------------------------------===//
97adc3a2bSChandler Carruth //
107adc3a2bSChandler Carruth // This file implements inline cost analysis.
117adc3a2bSChandler Carruth //
127adc3a2bSChandler Carruth //===----------------------------------------------------------------------===//
137adc3a2bSChandler Carruth 
147adc3a2bSChandler Carruth #include "llvm/Analysis/InlineCost.h"
157adc3a2bSChandler Carruth #include "llvm/ADT/STLExtras.h"
167adc3a2bSChandler Carruth #include "llvm/ADT/SetVector.h"
177adc3a2bSChandler Carruth #include "llvm/ADT/SmallPtrSet.h"
187adc3a2bSChandler Carruth #include "llvm/ADT/SmallVector.h"
197adc3a2bSChandler Carruth #include "llvm/ADT/Statistic.h"
20aec2fa35SDaniel Jasper #include "llvm/Analysis/AssumptionCache.h"
2112585b01SEaswaran Raman #include "llvm/Analysis/BlockFrequencyInfo.h"
227adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h"
237adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h"
247adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h"
2571069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h"
267adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h"
277adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h"
287adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h"
297adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h"
307adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h"
317adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h"
327adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h"
337adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h"
347adc3a2bSChandler Carruth #include "llvm/IR/Operator.h"
357adc3a2bSChandler Carruth #include "llvm/Support/Debug.h"
367adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h"
377adc3a2bSChandler Carruth 
387adc3a2bSChandler Carruth using namespace llvm;
397adc3a2bSChandler Carruth 
407adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost"
417adc3a2bSChandler Carruth 
427adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed");
437adc3a2bSChandler Carruth 
441c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold(
45f4bb2f0dSEaswaran Raman     "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore,
46f4bb2f0dSEaswaran Raman     cl::desc("Control the amount of inlining to perform (default = 225)"));
47f4bb2f0dSEaswaran Raman 
48f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold(
49f4bb2f0dSEaswaran Raman     "inlinehint-threshold", cl::Hidden, cl::init(325),
50f4bb2f0dSEaswaran Raman     cl::desc("Threshold for inlining functions with inline hint"));
51f4bb2f0dSEaswaran Raman 
5212585b01SEaswaran Raman static cl::opt<int>
5312585b01SEaswaran Raman     ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden,
5412585b01SEaswaran Raman                           cl::init(45),
5512585b01SEaswaran Raman                           cl::desc("Threshold for inlining cold callsites"));
5612585b01SEaswaran Raman 
57f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based
58f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and
59f4bb2f0dSEaswaran Raman // BFI.
60f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold(
61c103ef89SEaswaran Raman     "inlinecold-threshold", cl::Hidden, cl::init(45),
62f4bb2f0dSEaswaran Raman     cl::desc("Threshold for inlining functions with cold attribute"));
63f4bb2f0dSEaswaran Raman 
64de39cb93SDehao Chen static cl::opt<int>
65de39cb93SDehao Chen     HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000),
66de39cb93SDehao Chen                          cl::ZeroOrMore,
67de39cb93SDehao Chen                          cl::desc("Threshold for hot callsites "));
68de39cb93SDehao Chen 
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 
8112585b01SEaswaran Raman   /// Getter for BlockFrequencyInfo
8212585b01SEaswaran Raman   Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI;
8312585b01SEaswaran Raman 
8471069cf6SEaswaran Raman   /// Profile summary information.
8571069cf6SEaswaran Raman   ProfileSummaryInfo *PSI;
8671069cf6SEaswaran Raman 
87f3d122cdSPiotr Padlewski   /// The called function.
887adc3a2bSChandler Carruth   Function &F;
897adc3a2bSChandler Carruth 
9085be8ca8SEric Christopher   // Cache the DataLayout since we use it a lot.
9185be8ca8SEric Christopher   const DataLayout &DL;
9285be8ca8SEric Christopher 
93f3d122cdSPiotr Padlewski   /// The candidate callsite being analyzed. Please do not use this to do
94f3d122cdSPiotr Padlewski   /// analysis in the caller function; we want the inline cost query to be
95f3d122cdSPiotr Padlewski   /// easily cacheable. Instead, use the cover function paramHasAttr.
967adc3a2bSChandler Carruth   CallSite CandidateCS;
977adc3a2bSChandler Carruth 
98f3d122cdSPiotr Padlewski   /// Tunable parameters that control the analysis.
991c57cc2bSEaswaran Raman   const InlineParams &Params;
1001c57cc2bSEaswaran Raman 
1017adc3a2bSChandler Carruth   int Threshold;
1027adc3a2bSChandler Carruth   int Cost;
1037adc3a2bSChandler Carruth 
1047adc3a2bSChandler Carruth   bool IsCallerRecursive;
1057adc3a2bSChandler Carruth   bool IsRecursiveCall;
1067adc3a2bSChandler Carruth   bool ExposesReturnsTwice;
1077adc3a2bSChandler Carruth   bool HasDynamicAlloca;
1087adc3a2bSChandler Carruth   bool ContainsNoDuplicateCall;
1097adc3a2bSChandler Carruth   bool HasReturn;
1107adc3a2bSChandler Carruth   bool HasIndirectBr;
1117adc3a2bSChandler Carruth   bool HasFrameEscape;
1127adc3a2bSChandler Carruth 
1137adc3a2bSChandler Carruth   /// Number of bytes allocated statically by the callee.
1147adc3a2bSChandler Carruth   uint64_t AllocatedSize;
1157adc3a2bSChandler Carruth   unsigned NumInstructions, NumVectorInstructions;
1167adc3a2bSChandler Carruth   int FiftyPercentVectorBonus, TenPercentVectorBonus;
1177adc3a2bSChandler Carruth   int VectorBonus;
1187adc3a2bSChandler Carruth 
119f3d122cdSPiotr Padlewski   /// While we walk the potentially-inlined instructions, we build up and
120f3d122cdSPiotr Padlewski   /// maintain a mapping of simplified values specific to this callsite. The
121f3d122cdSPiotr Padlewski   /// idea is to propagate any special information we have about arguments to
122f3d122cdSPiotr Padlewski   /// this call through the inlinable section of the function, and account for
123f3d122cdSPiotr Padlewski   /// likely simplifications post-inlining. The most important aspect we track
124f3d122cdSPiotr Padlewski   /// is CFG altering simplifications -- when we prove a basic block dead, that
125f3d122cdSPiotr Padlewski   /// can cause dramatic shifts in the cost of inlining a function.
1267adc3a2bSChandler Carruth   DenseMap<Value *, Constant *> SimplifiedValues;
1277adc3a2bSChandler Carruth 
128f3d122cdSPiotr Padlewski   /// Keep track of the values which map back (through function arguments) to
129f3d122cdSPiotr Padlewski   /// allocas on the caller stack which could be simplified through SROA.
1307adc3a2bSChandler Carruth   DenseMap<Value *, Value *> SROAArgValues;
1317adc3a2bSChandler Carruth 
132f3d122cdSPiotr Padlewski   /// The mapping of caller Alloca values to their accumulated cost savings. If
133f3d122cdSPiotr Padlewski   /// we have to disable SROA for one of the allocas, this tells us how much
134f3d122cdSPiotr Padlewski   /// cost must be added.
1357adc3a2bSChandler Carruth   DenseMap<Value *, int> SROAArgCosts;
1367adc3a2bSChandler Carruth 
137f3d122cdSPiotr Padlewski   /// Keep track of values which map to a pointer base and constant offset.
1387adc3a2bSChandler Carruth   DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs;
1397adc3a2bSChandler Carruth 
1407adc3a2bSChandler Carruth   // Custom simplification helper routines.
1417adc3a2bSChandler Carruth   bool isAllocaDerivedArg(Value *V);
1427adc3a2bSChandler Carruth   bool lookupSROAArgAndCost(Value *V, Value *&Arg,
1437adc3a2bSChandler Carruth                             DenseMap<Value *, int>::iterator &CostIt);
1447adc3a2bSChandler Carruth   void disableSROA(DenseMap<Value *, int>::iterator CostIt);
1457adc3a2bSChandler Carruth   void disableSROA(Value *V);
1467adc3a2bSChandler Carruth   void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt,
1477adc3a2bSChandler Carruth                           int InstructionCost);
148201b191bSHaicheng Wu   bool isGEPFree(GetElementPtrInst &GEP);
1497adc3a2bSChandler Carruth   bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset);
1507adc3a2bSChandler Carruth   bool simplifyCallSite(Function *F, CallSite CS);
151617f6364SEaswaran Raman   template <typename Callable>
152617f6364SEaswaran Raman   bool simplifyInstruction(Instruction &I, Callable Evaluate);
1537adc3a2bSChandler Carruth   ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V);
1547adc3a2bSChandler Carruth 
1557adc3a2bSChandler Carruth   /// Return true if the given argument to the function being considered for
1567adc3a2bSChandler Carruth   /// inlining has the given attribute set either at the call site or the
1577adc3a2bSChandler Carruth   /// function declaration.  Primarily used to inspect call site specific
1587adc3a2bSChandler Carruth   /// attributes since these can be more precise than the ones on the callee
1597adc3a2bSChandler Carruth   /// itself.
1607adc3a2bSChandler Carruth   bool paramHasAttr(Argument *A, Attribute::AttrKind Attr);
1617adc3a2bSChandler Carruth 
1627adc3a2bSChandler Carruth   /// Return true if the given value is known non null within the callee if
1637adc3a2bSChandler Carruth   /// inlined through this particular callsite.
1647adc3a2bSChandler Carruth   bool isKnownNonNullInCallee(Value *V);
1657adc3a2bSChandler Carruth 
166f4bb2f0dSEaswaran Raman   /// Update Threshold based on callsite properties such as callee
167f4bb2f0dSEaswaran Raman   /// attributes and callee hotness for PGO builds. The Callee is explicitly
168f4bb2f0dSEaswaran Raman   /// passed to support analyzing indirect calls whose target is inferred by
169f4bb2f0dSEaswaran Raman   /// analysis.
170f4bb2f0dSEaswaran Raman   void updateThreshold(CallSite CS, Function &Callee);
171f4bb2f0dSEaswaran Raman 
1729a3fc17aSEaswaran Raman   /// Return true if size growth is allowed when inlining the callee at CS.
1739a3fc17aSEaswaran Raman   bool allowSizeGrowth(CallSite CS);
1749a3fc17aSEaswaran Raman 
1757adc3a2bSChandler Carruth   // Custom analysis routines.
1767adc3a2bSChandler Carruth   bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues);
1777adc3a2bSChandler Carruth 
1787adc3a2bSChandler Carruth   // Disable several entry points to the visitor so we don't accidentally use
1797adc3a2bSChandler Carruth   // them by declaring but not defining them here.
180567556aaSChad Rosier   void visit(Module *);
181567556aaSChad Rosier   void visit(Module &);
182567556aaSChad Rosier   void visit(Function *);
183567556aaSChad Rosier   void visit(Function &);
184567556aaSChad Rosier   void visit(BasicBlock *);
185567556aaSChad Rosier   void visit(BasicBlock &);
1867adc3a2bSChandler Carruth 
1877adc3a2bSChandler Carruth   // Provide base case for our instruction visit.
1887adc3a2bSChandler Carruth   bool visitInstruction(Instruction &I);
1897adc3a2bSChandler Carruth 
1907adc3a2bSChandler Carruth   // Our visit overrides.
1917adc3a2bSChandler Carruth   bool visitAlloca(AllocaInst &I);
1927adc3a2bSChandler Carruth   bool visitPHI(PHINode &I);
1937adc3a2bSChandler Carruth   bool visitGetElementPtr(GetElementPtrInst &I);
1947adc3a2bSChandler Carruth   bool visitBitCast(BitCastInst &I);
1957adc3a2bSChandler Carruth   bool visitPtrToInt(PtrToIntInst &I);
1967adc3a2bSChandler Carruth   bool visitIntToPtr(IntToPtrInst &I);
1977adc3a2bSChandler Carruth   bool visitCastInst(CastInst &I);
1987adc3a2bSChandler Carruth   bool visitUnaryInstruction(UnaryInstruction &I);
1997adc3a2bSChandler Carruth   bool visitCmpInst(CmpInst &I);
2007adc3a2bSChandler Carruth   bool visitSub(BinaryOperator &I);
2017adc3a2bSChandler Carruth   bool visitBinaryOperator(BinaryOperator &I);
2027adc3a2bSChandler Carruth   bool visitLoad(LoadInst &I);
2037adc3a2bSChandler Carruth   bool visitStore(StoreInst &I);
2047adc3a2bSChandler Carruth   bool visitExtractValue(ExtractValueInst &I);
2057adc3a2bSChandler Carruth   bool visitInsertValue(InsertValueInst &I);
2067adc3a2bSChandler Carruth   bool visitCallSite(CallSite CS);
2077adc3a2bSChandler Carruth   bool visitReturnInst(ReturnInst &RI);
2087adc3a2bSChandler Carruth   bool visitBranchInst(BranchInst &BI);
2097adc3a2bSChandler Carruth   bool visitSwitchInst(SwitchInst &SI);
2107adc3a2bSChandler Carruth   bool visitIndirectBrInst(IndirectBrInst &IBI);
2117adc3a2bSChandler Carruth   bool visitResumeInst(ResumeInst &RI);
2127adc3a2bSChandler Carruth   bool visitCleanupReturnInst(CleanupReturnInst &RI);
2137adc3a2bSChandler Carruth   bool visitCatchReturnInst(CatchReturnInst &RI);
2147adc3a2bSChandler Carruth   bool visitUnreachableInst(UnreachableInst &I);
2157adc3a2bSChandler Carruth 
2167adc3a2bSChandler Carruth public:
217ab6a6837SSean Silva   CallAnalyzer(const TargetTransformInfo &TTI,
218aec2fa35SDaniel Jasper                std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
21912585b01SEaswaran Raman                Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI,
2201c57cc2bSEaswaran Raman                ProfileSummaryInfo *PSI, Function &Callee, CallSite CSArg,
2211c57cc2bSEaswaran Raman                const InlineParams &Params)
22212585b01SEaswaran Raman       : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI),
22385be8ca8SEric Christopher         PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()),
22485be8ca8SEric Christopher         CandidateCS(CSArg), Params(Params), Threshold(Params.DefaultThreshold),
22585be8ca8SEric Christopher         Cost(0), IsCallerRecursive(false), IsRecursiveCall(false),
22685be8ca8SEric Christopher         ExposesReturnsTwice(false), HasDynamicAlloca(false),
22785be8ca8SEric Christopher         ContainsNoDuplicateCall(false), HasReturn(false), HasIndirectBr(false),
22885be8ca8SEric Christopher         HasFrameEscape(false), AllocatedSize(0), NumInstructions(0),
22985be8ca8SEric Christopher         NumVectorInstructions(0), FiftyPercentVectorBonus(0),
23085be8ca8SEric Christopher         TenPercentVectorBonus(0), VectorBonus(0), NumConstantArgs(0),
23185be8ca8SEric Christopher         NumConstantOffsetPtrArgs(0), NumAllocaArgs(0), NumConstantPtrCmps(0),
23285be8ca8SEric Christopher         NumConstantPtrDiffs(0), NumInstructionsSimplified(0),
23385be8ca8SEric Christopher         SROACostSavings(0), SROACostSavingsLost(0) {}
2347adc3a2bSChandler Carruth 
2357adc3a2bSChandler Carruth   bool analyzeCall(CallSite CS);
2367adc3a2bSChandler Carruth 
2377adc3a2bSChandler Carruth   int getThreshold() { return Threshold; }
2387adc3a2bSChandler Carruth   int getCost() { return Cost; }
2397adc3a2bSChandler Carruth 
2407adc3a2bSChandler Carruth   // Keep a bunch of stats about the cost savings found so we can print them
2417adc3a2bSChandler Carruth   // out when debugging.
2427adc3a2bSChandler Carruth   unsigned NumConstantArgs;
2437adc3a2bSChandler Carruth   unsigned NumConstantOffsetPtrArgs;
2447adc3a2bSChandler Carruth   unsigned NumAllocaArgs;
2457adc3a2bSChandler Carruth   unsigned NumConstantPtrCmps;
2467adc3a2bSChandler Carruth   unsigned NumConstantPtrDiffs;
2477adc3a2bSChandler Carruth   unsigned NumInstructionsSimplified;
2487adc3a2bSChandler Carruth   unsigned SROACostSavings;
2497adc3a2bSChandler Carruth   unsigned SROACostSavingsLost;
2507adc3a2bSChandler Carruth 
2517adc3a2bSChandler Carruth   void dump();
2527adc3a2bSChandler Carruth };
2537adc3a2bSChandler Carruth 
2547adc3a2bSChandler Carruth } // namespace
2557adc3a2bSChandler Carruth 
2567adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument.
2577adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) {
2587adc3a2bSChandler Carruth   return SROAArgValues.count(V);
2597adc3a2bSChandler Carruth }
2607adc3a2bSChandler Carruth 
2617adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to.
2627adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate.
2637adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost(
2647adc3a2bSChandler Carruth     Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) {
2657adc3a2bSChandler Carruth   if (SROAArgValues.empty() || SROAArgCosts.empty())
2667adc3a2bSChandler Carruth     return false;
2677adc3a2bSChandler Carruth 
2687adc3a2bSChandler Carruth   DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V);
2697adc3a2bSChandler Carruth   if (ArgIt == SROAArgValues.end())
2707adc3a2bSChandler Carruth     return false;
2717adc3a2bSChandler Carruth 
2727adc3a2bSChandler Carruth   Arg = ArgIt->second;
2737adc3a2bSChandler Carruth   CostIt = SROAArgCosts.find(Arg);
2747adc3a2bSChandler Carruth   return CostIt != SROAArgCosts.end();
2757adc3a2bSChandler Carruth }
2767adc3a2bSChandler Carruth 
2777adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator.
2787adc3a2bSChandler Carruth ///
2797adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost
2807adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement.
2817adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) {
2827adc3a2bSChandler Carruth   // If we're no longer able to perform SROA we need to undo its cost savings
2837adc3a2bSChandler Carruth   // and prevent subsequent analysis.
2847adc3a2bSChandler Carruth   Cost += CostIt->second;
2857adc3a2bSChandler Carruth   SROACostSavings -= CostIt->second;
2867adc3a2bSChandler Carruth   SROACostSavingsLost += CostIt->second;
2877adc3a2bSChandler Carruth   SROAArgCosts.erase(CostIt);
2887adc3a2bSChandler Carruth }
2897adc3a2bSChandler Carruth 
2907adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it.
2917adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) {
2927adc3a2bSChandler Carruth   Value *SROAArg;
2937adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
2947adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(V, SROAArg, CostIt))
2957adc3a2bSChandler Carruth     disableSROA(CostIt);
2967adc3a2bSChandler Carruth }
2977adc3a2bSChandler Carruth 
2987adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate.
2997adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt,
3007adc3a2bSChandler Carruth                                       int InstructionCost) {
3017adc3a2bSChandler Carruth   CostIt->second += InstructionCost;
3027adc3a2bSChandler Carruth   SROACostSavings += InstructionCost;
3037adc3a2bSChandler Carruth }
3047adc3a2bSChandler Carruth 
3057adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible.
3067adc3a2bSChandler Carruth ///
3077adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any
3087adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite.
3097adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) {
3107adc3a2bSChandler Carruth   unsigned IntPtrWidth = DL.getPointerSizeInBits();
3117adc3a2bSChandler Carruth   assert(IntPtrWidth == Offset.getBitWidth());
3127adc3a2bSChandler Carruth 
3137adc3a2bSChandler Carruth   for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP);
3147adc3a2bSChandler Carruth        GTI != GTE; ++GTI) {
3157adc3a2bSChandler Carruth     ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand());
3167adc3a2bSChandler Carruth     if (!OpC)
3177adc3a2bSChandler Carruth       if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand()))
3187adc3a2bSChandler Carruth         OpC = dyn_cast<ConstantInt>(SimpleOp);
3197adc3a2bSChandler Carruth     if (!OpC)
3207adc3a2bSChandler Carruth       return false;
321567556aaSChad Rosier     if (OpC->isZero())
322567556aaSChad Rosier       continue;
3237adc3a2bSChandler Carruth 
3247adc3a2bSChandler Carruth     // Handle a struct index, which adds its field offset to the pointer.
325ab85225bSPeter Collingbourne     if (StructType *STy = GTI.getStructTypeOrNull()) {
3267adc3a2bSChandler Carruth       unsigned ElementIdx = OpC->getZExtValue();
3277adc3a2bSChandler Carruth       const StructLayout *SL = DL.getStructLayout(STy);
3287adc3a2bSChandler Carruth       Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx));
3297adc3a2bSChandler Carruth       continue;
3307adc3a2bSChandler Carruth     }
3317adc3a2bSChandler Carruth 
3327adc3a2bSChandler Carruth     APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType()));
3337adc3a2bSChandler Carruth     Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize;
3347adc3a2bSChandler Carruth   }
3357adc3a2bSChandler Carruth   return true;
3367adc3a2bSChandler Carruth }
3377adc3a2bSChandler Carruth 
338201b191bSHaicheng Wu /// \brief Use TTI to check whether a GEP is free.
339201b191bSHaicheng Wu ///
340201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite.
341201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) {
342201b191bSHaicheng Wu   SmallVector<Value *, 4> Indices;
343201b191bSHaicheng Wu   for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I)
344201b191bSHaicheng Wu     if (Constant *SimpleOp = SimplifiedValues.lookup(*I))
345201b191bSHaicheng Wu        Indices.push_back(SimpleOp);
346201b191bSHaicheng Wu      else
347201b191bSHaicheng Wu        Indices.push_back(*I);
348201b191bSHaicheng Wu   return TargetTransformInfo::TCC_Free ==
349201b191bSHaicheng Wu          TTI.getGEPCost(GEP.getSourceElementType(), GEP.getPointerOperand(),
350201b191bSHaicheng Wu                         Indices);
351201b191bSHaicheng Wu }
352201b191bSHaicheng Wu 
3537adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) {
3547adc3a2bSChandler Carruth   // Check whether inlining will turn a dynamic alloca into a static
3550f153424SSanjay Patel   // alloca and handle that case.
3567adc3a2bSChandler Carruth   if (I.isArrayAllocation()) {
3570f153424SSanjay Patel     Constant *Size = SimplifiedValues.lookup(I.getArraySize());
3580f153424SSanjay Patel     if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) {
3597adc3a2bSChandler Carruth       Type *Ty = I.getAllocatedType();
36022eb80a1SEaswaran Raman       AllocatedSize = SaturatingMultiplyAdd(
36122eb80a1SEaswaran Raman           AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize);
3627adc3a2bSChandler Carruth       return Base::visitAlloca(I);
3637adc3a2bSChandler Carruth     }
3647adc3a2bSChandler Carruth   }
3657adc3a2bSChandler Carruth 
3667adc3a2bSChandler Carruth   // Accumulate the allocated size.
3677adc3a2bSChandler Carruth   if (I.isStaticAlloca()) {
3687adc3a2bSChandler Carruth     Type *Ty = I.getAllocatedType();
36922eb80a1SEaswaran Raman     AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize);
3707adc3a2bSChandler Carruth   }
3717adc3a2bSChandler Carruth 
3727adc3a2bSChandler Carruth   // We will happily inline static alloca instructions.
3737adc3a2bSChandler Carruth   if (I.isStaticAlloca())
3747adc3a2bSChandler Carruth     return Base::visitAlloca(I);
3757adc3a2bSChandler Carruth 
3767adc3a2bSChandler Carruth   // FIXME: This is overly conservative. Dynamic allocas are inefficient for
3777adc3a2bSChandler Carruth   // a variety of reasons, and so we would like to not inline them into
3787adc3a2bSChandler Carruth   // functions which don't currently have a dynamic alloca. This simply
3797adc3a2bSChandler Carruth   // disables inlining altogether in the presence of a dynamic alloca.
3807adc3a2bSChandler Carruth   HasDynamicAlloca = true;
3817adc3a2bSChandler Carruth   return false;
3827adc3a2bSChandler Carruth }
3837adc3a2bSChandler Carruth 
3847adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) {
3857adc3a2bSChandler Carruth   // FIXME: We should potentially be tracking values through phi nodes,
3867adc3a2bSChandler Carruth   // especially when they collapse to a single value due to deleted CFG edges
3877adc3a2bSChandler Carruth   // during inlining.
3887adc3a2bSChandler Carruth 
3897adc3a2bSChandler Carruth   // FIXME: We need to propagate SROA *disabling* through phi nodes, even
3907adc3a2bSChandler Carruth   // though we don't want to propagate it's bonuses. The idea is to disable
3917adc3a2bSChandler Carruth   // SROA if it *might* be used in an inappropriate manner.
3927adc3a2bSChandler Carruth 
3937adc3a2bSChandler Carruth   // Phi nodes are always zero-cost.
3947adc3a2bSChandler Carruth   return true;
3957adc3a2bSChandler Carruth }
3967adc3a2bSChandler Carruth 
3977adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) {
3987adc3a2bSChandler Carruth   Value *SROAArg;
3997adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
400567556aaSChad Rosier   bool SROACandidate =
401567556aaSChad Rosier       lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt);
4027adc3a2bSChandler Carruth 
4037adc3a2bSChandler Carruth   // Try to fold GEPs of constant-offset call site argument pointers. This
4047adc3a2bSChandler Carruth   // requires target data and inbounds GEPs.
4057adc3a2bSChandler Carruth   if (I.isInBounds()) {
4067adc3a2bSChandler Carruth     // Check if we have a base + offset for the pointer.
4077adc3a2bSChandler Carruth     Value *Ptr = I.getPointerOperand();
4087adc3a2bSChandler Carruth     std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Ptr);
4097adc3a2bSChandler Carruth     if (BaseAndOffset.first) {
4107adc3a2bSChandler Carruth       // Check if the offset of this GEP is constant, and if so accumulate it
4117adc3a2bSChandler Carruth       // into Offset.
4127adc3a2bSChandler Carruth       if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) {
4137adc3a2bSChandler Carruth         // Non-constant GEPs aren't folded, and disable SROA.
4147adc3a2bSChandler Carruth         if (SROACandidate)
4157adc3a2bSChandler Carruth           disableSROA(CostIt);
416201b191bSHaicheng Wu         return isGEPFree(I);
4177adc3a2bSChandler Carruth       }
4187adc3a2bSChandler Carruth 
4197adc3a2bSChandler Carruth       // Add the result as a new mapping to Base + Offset.
4207adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
4217adc3a2bSChandler Carruth 
4227adc3a2bSChandler Carruth       // Also handle SROA candidates here, we already know that the GEP is
4237adc3a2bSChandler Carruth       // all-constant indexed.
4247adc3a2bSChandler Carruth       if (SROACandidate)
4257adc3a2bSChandler Carruth         SROAArgValues[&I] = SROAArg;
4267adc3a2bSChandler Carruth 
4277adc3a2bSChandler Carruth       return true;
4287adc3a2bSChandler Carruth     }
4297adc3a2bSChandler Carruth   }
4307adc3a2bSChandler Carruth 
431a8b9cdc9SEaswaran Raman   // Lambda to check whether a GEP's indices are all constant.
432a8b9cdc9SEaswaran Raman   auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) {
433a8b9cdc9SEaswaran Raman     for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I)
434a8b9cdc9SEaswaran Raman       if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I))
435a8b9cdc9SEaswaran Raman         return false;
436a8b9cdc9SEaswaran Raman     return true;
437a8b9cdc9SEaswaran Raman   };
438a8b9cdc9SEaswaran Raman 
439a8b9cdc9SEaswaran Raman   if (IsGEPOffsetConstant(I)) {
4407adc3a2bSChandler Carruth     if (SROACandidate)
4417adc3a2bSChandler Carruth       SROAArgValues[&I] = SROAArg;
4427adc3a2bSChandler Carruth 
4437adc3a2bSChandler Carruth     // Constant GEPs are modeled as free.
4447adc3a2bSChandler Carruth     return true;
4457adc3a2bSChandler Carruth   }
4467adc3a2bSChandler Carruth 
4477adc3a2bSChandler Carruth   // Variable GEPs will require math and will disable SROA.
4487adc3a2bSChandler Carruth   if (SROACandidate)
4497adc3a2bSChandler Carruth     disableSROA(CostIt);
450201b191bSHaicheng Wu   return isGEPFree(I);
4517adc3a2bSChandler Carruth }
4527adc3a2bSChandler Carruth 
453617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues.
454617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the
455617f6364SEaswaran Raman /// instruction when all the operands are constants.
456617f6364SEaswaran Raman template <typename Callable>
457617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) {
458617f6364SEaswaran Raman   SmallVector<Constant *, 2> COps;
459617f6364SEaswaran Raman   for (Value *Op : I.operands()) {
460617f6364SEaswaran Raman     Constant *COp = dyn_cast<Constant>(Op);
4617adc3a2bSChandler Carruth     if (!COp)
462617f6364SEaswaran Raman       COp = SimplifiedValues.lookup(Op);
463617f6364SEaswaran Raman     if (!COp)
464617f6364SEaswaran Raman       return false;
465617f6364SEaswaran Raman     COps.push_back(COp);
466617f6364SEaswaran Raman   }
467617f6364SEaswaran Raman   auto *C = Evaluate(COps);
468617f6364SEaswaran Raman   if (!C)
469617f6364SEaswaran Raman     return false;
4707adc3a2bSChandler Carruth   SimplifiedValues[&I] = C;
4717adc3a2bSChandler Carruth   return true;
4727adc3a2bSChandler Carruth }
4737adc3a2bSChandler Carruth 
474617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) {
475617f6364SEaswaran Raman   // Propagate constants through bitcasts.
476617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
477617f6364SEaswaran Raman         return ConstantExpr::getBitCast(COps[0], I.getType());
478617f6364SEaswaran Raman       }))
479617f6364SEaswaran Raman     return true;
480617f6364SEaswaran Raman 
4817adc3a2bSChandler Carruth   // Track base/offsets through casts
482567556aaSChad Rosier   std::pair<Value *, APInt> BaseAndOffset =
483567556aaSChad Rosier       ConstantOffsetPtrs.lookup(I.getOperand(0));
4847adc3a2bSChandler Carruth   // Casts don't change the offset, just wrap it up.
4857adc3a2bSChandler Carruth   if (BaseAndOffset.first)
4867adc3a2bSChandler Carruth     ConstantOffsetPtrs[&I] = BaseAndOffset;
4877adc3a2bSChandler Carruth 
4887adc3a2bSChandler Carruth   // Also look for SROA candidates here.
4897adc3a2bSChandler Carruth   Value *SROAArg;
4907adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
4917adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt))
4927adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
4937adc3a2bSChandler Carruth 
4947adc3a2bSChandler Carruth   // Bitcasts are always zero cost.
4957adc3a2bSChandler Carruth   return true;
4967adc3a2bSChandler Carruth }
4977adc3a2bSChandler Carruth 
4987adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) {
4997adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
500617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
501617f6364SEaswaran Raman         return ConstantExpr::getPtrToInt(COps[0], I.getType());
502617f6364SEaswaran Raman       }))
5037adc3a2bSChandler Carruth     return true;
5047adc3a2bSChandler Carruth 
5057adc3a2bSChandler Carruth   // Track base/offset pairs when converted to a plain integer provided the
5067adc3a2bSChandler Carruth   // integer is large enough to represent the pointer.
5077adc3a2bSChandler Carruth   unsigned IntegerSize = I.getType()->getScalarSizeInBits();
5087adc3a2bSChandler Carruth   if (IntegerSize >= DL.getPointerSizeInBits()) {
509567556aaSChad Rosier     std::pair<Value *, APInt> BaseAndOffset =
510567556aaSChad Rosier         ConstantOffsetPtrs.lookup(I.getOperand(0));
5117adc3a2bSChandler Carruth     if (BaseAndOffset.first)
5127adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
5137adc3a2bSChandler Carruth   }
5147adc3a2bSChandler Carruth 
5157adc3a2bSChandler Carruth   // This is really weird. Technically, ptrtoint will disable SROA. However,
5167adc3a2bSChandler Carruth   // unless that ptrtoint is *used* somewhere in the live basic blocks after
5177adc3a2bSChandler Carruth   // inlining, it will be nuked, and SROA should proceed. All of the uses which
5187adc3a2bSChandler Carruth   // would block SROA would also block SROA if applied directly to a pointer,
5197adc3a2bSChandler Carruth   // and so we can just add the integer in here. The only places where SROA is
5207adc3a2bSChandler Carruth   // preserved either cannot fire on an integer, or won't in-and-of themselves
5217adc3a2bSChandler Carruth   // disable SROA (ext) w/o some later use that we would see and disable.
5227adc3a2bSChandler Carruth   Value *SROAArg;
5237adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
5247adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt))
5257adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
5267adc3a2bSChandler Carruth 
5277adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
5287adc3a2bSChandler Carruth }
5297adc3a2bSChandler Carruth 
5307adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) {
5317adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
532617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
533617f6364SEaswaran Raman         return ConstantExpr::getIntToPtr(COps[0], I.getType());
534617f6364SEaswaran Raman       }))
5357adc3a2bSChandler Carruth     return true;
5367adc3a2bSChandler Carruth 
5377adc3a2bSChandler Carruth   // Track base/offset pairs when round-tripped through a pointer without
5387adc3a2bSChandler Carruth   // modifications provided the integer is not too large.
5397adc3a2bSChandler Carruth   Value *Op = I.getOperand(0);
5407adc3a2bSChandler Carruth   unsigned IntegerSize = Op->getType()->getScalarSizeInBits();
5417adc3a2bSChandler Carruth   if (IntegerSize <= DL.getPointerSizeInBits()) {
5427adc3a2bSChandler Carruth     std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op);
5437adc3a2bSChandler Carruth     if (BaseAndOffset.first)
5447adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
5457adc3a2bSChandler Carruth   }
5467adc3a2bSChandler Carruth 
5477adc3a2bSChandler Carruth   // "Propagate" SROA here in the same manner as we do for ptrtoint above.
5487adc3a2bSChandler Carruth   Value *SROAArg;
5497adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
5507adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(Op, SROAArg, CostIt))
5517adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
5527adc3a2bSChandler Carruth 
5537adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
5547adc3a2bSChandler Carruth }
5557adc3a2bSChandler Carruth 
5567adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) {
5577adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
558617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
559617f6364SEaswaran Raman         return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType());
560617f6364SEaswaran Raman       }))
5617adc3a2bSChandler Carruth     return true;
5627adc3a2bSChandler Carruth 
5637adc3a2bSChandler Carruth   // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere.
5647adc3a2bSChandler Carruth   disableSROA(I.getOperand(0));
5657adc3a2bSChandler Carruth 
5667adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
5677adc3a2bSChandler Carruth }
5687adc3a2bSChandler Carruth 
5697adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) {
5707adc3a2bSChandler Carruth   Value *Operand = I.getOperand(0);
571617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
572617f6364SEaswaran Raman         return ConstantFoldInstOperands(&I, COps[0], DL);
573617f6364SEaswaran Raman       }))
5747adc3a2bSChandler Carruth     return true;
5757adc3a2bSChandler Carruth 
5767adc3a2bSChandler Carruth   // Disable any SROA on the argument to arbitrary unary operators.
5777adc3a2bSChandler Carruth   disableSROA(Operand);
5787adc3a2bSChandler Carruth 
5797adc3a2bSChandler Carruth   return false;
5807adc3a2bSChandler Carruth }
5817adc3a2bSChandler Carruth 
5827adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) {
583fb502d2fSReid Kleckner   return CandidateCS.paramHasAttr(A->getArgNo(), Attr);
5847adc3a2bSChandler Carruth }
5857adc3a2bSChandler Carruth 
5867adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) {
5877adc3a2bSChandler Carruth   // Does the *call site* have the NonNull attribute set on an argument?  We
5887adc3a2bSChandler Carruth   // use the attribute on the call site to memoize any analysis done in the
5897adc3a2bSChandler Carruth   // caller. This will also trip if the callee function has a non-null
5907adc3a2bSChandler Carruth   // parameter attribute, but that's a less interesting case because hopefully
5917adc3a2bSChandler Carruth   // the callee would already have been simplified based on that.
5927adc3a2bSChandler Carruth   if (Argument *A = dyn_cast<Argument>(V))
5937adc3a2bSChandler Carruth     if (paramHasAttr(A, Attribute::NonNull))
5947adc3a2bSChandler Carruth       return true;
5957adc3a2bSChandler Carruth 
5967adc3a2bSChandler Carruth   // Is this an alloca in the caller?  This is distinct from the attribute case
5977adc3a2bSChandler Carruth   // above because attributes aren't updated within the inliner itself and we
5987adc3a2bSChandler Carruth   // always want to catch the alloca derived case.
5997adc3a2bSChandler Carruth   if (isAllocaDerivedArg(V))
6007adc3a2bSChandler Carruth     // We can actually predict the result of comparisons between an
6017adc3a2bSChandler Carruth     // alloca-derived value and null. Note that this fires regardless of
6027adc3a2bSChandler Carruth     // SROA firing.
6037adc3a2bSChandler Carruth     return true;
6047adc3a2bSChandler Carruth 
6057adc3a2bSChandler Carruth   return false;
6067adc3a2bSChandler Carruth }
6077adc3a2bSChandler Carruth 
6089a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) {
6099a3fc17aSEaswaran Raman   // If the normal destination of the invoke or the parent block of the call
6109a3fc17aSEaswaran Raman   // site is unreachable-terminated, there is little point in inlining this
6119a3fc17aSEaswaran Raman   // unless there is literally zero cost.
6129a3fc17aSEaswaran Raman   // FIXME: Note that it is possible that an unreachable-terminated block has a
6139a3fc17aSEaswaran Raman   // hot entry. For example, in below scenario inlining hot_call_X() may be
6149a3fc17aSEaswaran Raman   // beneficial :
6159a3fc17aSEaswaran Raman   // main() {
6169a3fc17aSEaswaran Raman   //   hot_call_1();
6179a3fc17aSEaswaran Raman   //   ...
6189a3fc17aSEaswaran Raman   //   hot_call_N()
6199a3fc17aSEaswaran Raman   //   exit(0);
6209a3fc17aSEaswaran Raman   // }
6219a3fc17aSEaswaran Raman   // For now, we are not handling this corner case here as it is rare in real
6229a3fc17aSEaswaran Raman   // code. In future, we should elaborate this based on BPI and BFI in more
6239a3fc17aSEaswaran Raman   // general threshold adjusting heuristics in updateThreshold().
6249a3fc17aSEaswaran Raman   Instruction *Instr = CS.getInstruction();
6259a3fc17aSEaswaran Raman   if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) {
6269a3fc17aSEaswaran Raman     if (isa<UnreachableInst>(II->getNormalDest()->getTerminator()))
6279a3fc17aSEaswaran Raman       return false;
6289a3fc17aSEaswaran Raman   } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator()))
6299a3fc17aSEaswaran Raman     return false;
6309a3fc17aSEaswaran Raman 
6319a3fc17aSEaswaran Raman   return true;
6329a3fc17aSEaswaran Raman }
6339a3fc17aSEaswaran Raman 
634f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) {
6359a3fc17aSEaswaran Raman   // If no size growth is allowed for this inlining, set Threshold to 0.
6369a3fc17aSEaswaran Raman   if (!allowSizeGrowth(CS)) {
6379a3fc17aSEaswaran Raman     Threshold = 0;
6389a3fc17aSEaswaran Raman     return;
6399a3fc17aSEaswaran Raman   }
6409a3fc17aSEaswaran Raman 
641bb578ef0SEaswaran Raman   Function *Caller = CS.getCaller();
6421c57cc2bSEaswaran Raman 
6431c57cc2bSEaswaran Raman   // return min(A, B) if B is valid.
6441c57cc2bSEaswaran Raman   auto MinIfValid = [](int A, Optional<int> B) {
6451c57cc2bSEaswaran Raman     return B ? std::min(A, B.getValue()) : A;
6461c57cc2bSEaswaran Raman   };
6471c57cc2bSEaswaran Raman 
6480d58fcacSEaswaran Raman   // return max(A, B) if B is valid.
6490d58fcacSEaswaran Raman   auto MaxIfValid = [](int A, Optional<int> B) {
6500d58fcacSEaswaran Raman     return B ? std::max(A, B.getValue()) : A;
6510d58fcacSEaswaran Raman   };
6520d58fcacSEaswaran Raman 
6531c57cc2bSEaswaran Raman   // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available
6541c57cc2bSEaswaran Raman   // and reduce the threshold if the caller has the necessary attribute.
6551c57cc2bSEaswaran Raman   if (Caller->optForMinSize())
6561c57cc2bSEaswaran Raman     Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold);
6571c57cc2bSEaswaran Raman   else if (Caller->optForSize())
6581c57cc2bSEaswaran Raman     Threshold = MinIfValid(Threshold, Params.OptSizeThreshold);
659f4bb2f0dSEaswaran Raman 
660e08b139dSEaswaran Raman   // Adjust the threshold based on inlinehint attribute and profile based
661e08b139dSEaswaran Raman   // hotness information if the caller does not have MinSize attribute.
662e08b139dSEaswaran Raman   if (!Caller->optForMinSize()) {
663e08b139dSEaswaran Raman     if (Callee.hasFnAttribute(Attribute::InlineHint))
6640d58fcacSEaswaran Raman       Threshold = MaxIfValid(Threshold, Params.HintThreshold);
665e08b139dSEaswaran Raman     if (PSI) {
66612585b01SEaswaran Raman       BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr;
6673cd1479cSEaswaran Raman       // FIXME: After switching to the new passmanager, simplify the logic below
6683cd1479cSEaswaran Raman       // by checking only the callsite hotness/coldness. The check for CallerBFI
6693cd1479cSEaswaran Raman       // exists only because we do not have BFI available with the old PM.
6703cd1479cSEaswaran Raman       //
6713cd1479cSEaswaran Raman       // Use callee's hotness information only if we have no way of determining
6723cd1479cSEaswaran Raman       // callsite's hotness information. Callsite hotness can be determined if
6733cd1479cSEaswaran Raman       // sample profile is used (which adds hotness metadata to calls) or if
6743cd1479cSEaswaran Raman       // caller's BlockFrequencyInfo is available.
6753cd1479cSEaswaran Raman       if (CallerBFI || PSI->hasSampleProfile()) {
67612585b01SEaswaran Raman         if (PSI->isHotCallSite(CS, CallerBFI)) {
67712585b01SEaswaran Raman           DEBUG(dbgs() << "Hot callsite.\n");
6789907e9d8SDehao Chen           Threshold = Params.HotCallSiteThreshold.getValue();
6793cd1479cSEaswaran Raman         } else if (PSI->isColdCallSite(CS, CallerBFI)) {
6803cd1479cSEaswaran Raman           DEBUG(dbgs() << "Cold callsite.\n");
6813cd1479cSEaswaran Raman           Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold);
6823cd1479cSEaswaran Raman         }
6833cd1479cSEaswaran Raman       } else {
6843cd1479cSEaswaran Raman         if (PSI->isFunctionEntryHot(&Callee)) {
68512585b01SEaswaran Raman           DEBUG(dbgs() << "Hot callee.\n");
686e08b139dSEaswaran Raman           // If callsite hotness can not be determined, we may still know
687e08b139dSEaswaran Raman           // that the callee is hot and treat it as a weaker hint for threshold
688e08b139dSEaswaran Raman           // increase.
689e08b139dSEaswaran Raman           Threshold = MaxIfValid(Threshold, Params.HintThreshold);
690e08b139dSEaswaran Raman         } else if (PSI->isFunctionEntryCold(&Callee)) {
69112585b01SEaswaran Raman           DEBUG(dbgs() << "Cold callee.\n");
6921c57cc2bSEaswaran Raman           Threshold = MinIfValid(Threshold, Params.ColdThreshold);
693e08b139dSEaswaran Raman         }
694e08b139dSEaswaran Raman       }
695e08b139dSEaswaran Raman     }
6963cd1479cSEaswaran Raman   }
6978650a4daSJustin Lebar 
6988650a4daSJustin Lebar   // Finally, take the target-specific inlining threshold multiplier into
6998650a4daSJustin Lebar   // account.
7008650a4daSJustin Lebar   Threshold *= TTI.getInliningThresholdMultiplier();
701f4bb2f0dSEaswaran Raman }
702f4bb2f0dSEaswaran Raman 
7037adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) {
7047adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
7057adc3a2bSChandler Carruth   // First try to handle simplified comparisons.
706617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
707617f6364SEaswaran Raman         return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]);
708617f6364SEaswaran Raman       }))
7097adc3a2bSChandler Carruth     return true;
7107adc3a2bSChandler Carruth 
7117adc3a2bSChandler Carruth   if (I.getOpcode() == Instruction::FCmp)
7127adc3a2bSChandler Carruth     return false;
7137adc3a2bSChandler Carruth 
7147adc3a2bSChandler Carruth   // Otherwise look for a comparison between constant offset pointers with
7157adc3a2bSChandler Carruth   // a common base.
7167adc3a2bSChandler Carruth   Value *LHSBase, *RHSBase;
7177adc3a2bSChandler Carruth   APInt LHSOffset, RHSOffset;
7187adc3a2bSChandler Carruth   std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS);
7197adc3a2bSChandler Carruth   if (LHSBase) {
7207adc3a2bSChandler Carruth     std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS);
7217adc3a2bSChandler Carruth     if (RHSBase && LHSBase == RHSBase) {
7227adc3a2bSChandler Carruth       // We have common bases, fold the icmp to a constant based on the
7237adc3a2bSChandler Carruth       // offsets.
7247adc3a2bSChandler Carruth       Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset);
7257adc3a2bSChandler Carruth       Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset);
7267adc3a2bSChandler Carruth       if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) {
7277adc3a2bSChandler Carruth         SimplifiedValues[&I] = C;
7287adc3a2bSChandler Carruth         ++NumConstantPtrCmps;
7297adc3a2bSChandler Carruth         return true;
7307adc3a2bSChandler Carruth       }
7317adc3a2bSChandler Carruth     }
7327adc3a2bSChandler Carruth   }
7337adc3a2bSChandler Carruth 
7347adc3a2bSChandler Carruth   // If the comparison is an equality comparison with null, we can simplify it
7357adc3a2bSChandler Carruth   // if we know the value (argument) can't be null
7367adc3a2bSChandler Carruth   if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) &&
7377adc3a2bSChandler Carruth       isKnownNonNullInCallee(I.getOperand(0))) {
7387adc3a2bSChandler Carruth     bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE;
7397adc3a2bSChandler Carruth     SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType())
7407adc3a2bSChandler Carruth                                       : ConstantInt::getFalse(I.getType());
7417adc3a2bSChandler Carruth     return true;
7427adc3a2bSChandler Carruth   }
7437adc3a2bSChandler Carruth   // Finally check for SROA candidates in comparisons.
7447adc3a2bSChandler Carruth   Value *SROAArg;
7457adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
7467adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) {
7477adc3a2bSChandler Carruth     if (isa<ConstantPointerNull>(I.getOperand(1))) {
7487adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
7497adc3a2bSChandler Carruth       return true;
7507adc3a2bSChandler Carruth     }
7517adc3a2bSChandler Carruth 
7527adc3a2bSChandler Carruth     disableSROA(CostIt);
7537adc3a2bSChandler Carruth   }
7547adc3a2bSChandler Carruth 
7557adc3a2bSChandler Carruth   return false;
7567adc3a2bSChandler Carruth }
7577adc3a2bSChandler Carruth 
7587adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) {
7597adc3a2bSChandler Carruth   // Try to handle a special case: we can fold computing the difference of two
7607adc3a2bSChandler Carruth   // constant-related pointers.
7617adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
7627adc3a2bSChandler Carruth   Value *LHSBase, *RHSBase;
7637adc3a2bSChandler Carruth   APInt LHSOffset, RHSOffset;
7647adc3a2bSChandler Carruth   std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS);
7657adc3a2bSChandler Carruth   if (LHSBase) {
7667adc3a2bSChandler Carruth     std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS);
7677adc3a2bSChandler Carruth     if (RHSBase && LHSBase == RHSBase) {
7687adc3a2bSChandler Carruth       // We have common bases, fold the subtract to a constant based on the
7697adc3a2bSChandler Carruth       // offsets.
7707adc3a2bSChandler Carruth       Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset);
7717adc3a2bSChandler Carruth       Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset);
7727adc3a2bSChandler Carruth       if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) {
7737adc3a2bSChandler Carruth         SimplifiedValues[&I] = C;
7747adc3a2bSChandler Carruth         ++NumConstantPtrDiffs;
7757adc3a2bSChandler Carruth         return true;
7767adc3a2bSChandler Carruth       }
7777adc3a2bSChandler Carruth     }
7787adc3a2bSChandler Carruth   }
7797adc3a2bSChandler Carruth 
7807adc3a2bSChandler Carruth   // Otherwise, fall back to the generic logic for simplifying and handling
7817adc3a2bSChandler Carruth   // instructions.
7827adc3a2bSChandler Carruth   return Base::visitSub(I);
7837adc3a2bSChandler Carruth }
7847adc3a2bSChandler Carruth 
7857adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) {
7867adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
787617f6364SEaswaran Raman   auto Evaluate = [&](SmallVectorImpl<Constant *> &COps) {
7887adc3a2bSChandler Carruth     Value *SimpleV = nullptr;
7897adc3a2bSChandler Carruth     if (auto FI = dyn_cast<FPMathOperator>(&I))
790617f6364SEaswaran Raman       SimpleV = SimplifyFPBinOp(I.getOpcode(), COps[0], COps[1],
791617f6364SEaswaran Raman                                 FI->getFastMathFlags(), DL);
7927adc3a2bSChandler Carruth     else
793617f6364SEaswaran Raman       SimpleV = SimplifyBinOp(I.getOpcode(), COps[0], COps[1], DL);
794617f6364SEaswaran Raman     return dyn_cast_or_null<Constant>(SimpleV);
795617f6364SEaswaran Raman   };
7967adc3a2bSChandler Carruth 
797617f6364SEaswaran Raman   if (simplifyInstruction(I, Evaluate))
7987adc3a2bSChandler Carruth     return true;
7997adc3a2bSChandler Carruth 
8007adc3a2bSChandler Carruth   // Disable any SROA on arguments to arbitrary, unsimplified binary operators.
8017adc3a2bSChandler Carruth   disableSROA(LHS);
8027adc3a2bSChandler Carruth   disableSROA(RHS);
8037adc3a2bSChandler Carruth 
8047adc3a2bSChandler Carruth   return false;
8057adc3a2bSChandler Carruth }
8067adc3a2bSChandler Carruth 
8077adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) {
8087adc3a2bSChandler Carruth   Value *SROAArg;
8097adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
8107adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) {
8117adc3a2bSChandler Carruth     if (I.isSimple()) {
8127adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
8137adc3a2bSChandler Carruth       return true;
8147adc3a2bSChandler Carruth     }
8157adc3a2bSChandler Carruth 
8167adc3a2bSChandler Carruth     disableSROA(CostIt);
8177adc3a2bSChandler Carruth   }
8187adc3a2bSChandler Carruth 
8197adc3a2bSChandler Carruth   return false;
8207adc3a2bSChandler Carruth }
8217adc3a2bSChandler Carruth 
8227adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) {
8237adc3a2bSChandler Carruth   Value *SROAArg;
8247adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
8257adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) {
8267adc3a2bSChandler Carruth     if (I.isSimple()) {
8277adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
8287adc3a2bSChandler Carruth       return true;
8297adc3a2bSChandler Carruth     }
8307adc3a2bSChandler Carruth 
8317adc3a2bSChandler Carruth     disableSROA(CostIt);
8327adc3a2bSChandler Carruth   }
8337adc3a2bSChandler Carruth 
8347adc3a2bSChandler Carruth   return false;
8357adc3a2bSChandler Carruth }
8367adc3a2bSChandler Carruth 
8377adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) {
8387adc3a2bSChandler Carruth   // Constant folding for extract value is trivial.
839617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
840617f6364SEaswaran Raman         return ConstantExpr::getExtractValue(COps[0], I.getIndices());
841617f6364SEaswaran Raman       }))
8427adc3a2bSChandler Carruth     return true;
8437adc3a2bSChandler Carruth 
8447adc3a2bSChandler Carruth   // SROA can look through these but give them a cost.
8457adc3a2bSChandler Carruth   return false;
8467adc3a2bSChandler Carruth }
8477adc3a2bSChandler Carruth 
8487adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) {
8497adc3a2bSChandler Carruth   // Constant folding for insert value is trivial.
850617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
851617f6364SEaswaran Raman         return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0],
852617f6364SEaswaran Raman                                             /*InsertedValueOperand*/ COps[1],
853617f6364SEaswaran Raman                                             I.getIndices());
854617f6364SEaswaran Raman       }))
8557adc3a2bSChandler Carruth     return true;
8567adc3a2bSChandler Carruth 
8577adc3a2bSChandler Carruth   // SROA can look through these but give them a cost.
8587adc3a2bSChandler Carruth   return false;
8597adc3a2bSChandler Carruth }
8607adc3a2bSChandler Carruth 
8617adc3a2bSChandler Carruth /// \brief Try to simplify a call site.
8627adc3a2bSChandler Carruth ///
8637adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by
8647adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if
8657adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it
8667adc3a2bSChandler Carruth /// free.
8677adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) {
8687adc3a2bSChandler Carruth   // FIXME: Using the instsimplify logic directly for this is inefficient
8697adc3a2bSChandler Carruth   // because we have to continually rebuild the argument list even when no
8707adc3a2bSChandler Carruth   // simplifications can be performed. Until that is fixed with remapping
8717adc3a2bSChandler Carruth   // inside of instsimplify, directly constant fold calls here.
8727adc3a2bSChandler Carruth   if (!canConstantFoldCallTo(F))
8737adc3a2bSChandler Carruth     return false;
8747adc3a2bSChandler Carruth 
8757adc3a2bSChandler Carruth   // Try to re-map the arguments to constants.
8767adc3a2bSChandler Carruth   SmallVector<Constant *, 4> ConstantArgs;
8777adc3a2bSChandler Carruth   ConstantArgs.reserve(CS.arg_size());
878567556aaSChad Rosier   for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E;
879567556aaSChad Rosier        ++I) {
8807adc3a2bSChandler Carruth     Constant *C = dyn_cast<Constant>(*I);
8817adc3a2bSChandler Carruth     if (!C)
8827adc3a2bSChandler Carruth       C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I));
8837adc3a2bSChandler Carruth     if (!C)
8847adc3a2bSChandler Carruth       return false; // This argument doesn't map to a constant.
8857adc3a2bSChandler Carruth 
8867adc3a2bSChandler Carruth     ConstantArgs.push_back(C);
8877adc3a2bSChandler Carruth   }
8887adc3a2bSChandler Carruth   if (Constant *C = ConstantFoldCall(F, ConstantArgs)) {
8897adc3a2bSChandler Carruth     SimplifiedValues[CS.getInstruction()] = C;
8907adc3a2bSChandler Carruth     return true;
8917adc3a2bSChandler Carruth   }
8927adc3a2bSChandler Carruth 
8937adc3a2bSChandler Carruth   return false;
8947adc3a2bSChandler Carruth }
8957adc3a2bSChandler Carruth 
8967adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) {
8977adc3a2bSChandler Carruth   if (CS.hasFnAttr(Attribute::ReturnsTwice) &&
8987adc3a2bSChandler Carruth       !F.hasFnAttribute(Attribute::ReturnsTwice)) {
8997adc3a2bSChandler Carruth     // This aborts the entire analysis.
9007adc3a2bSChandler Carruth     ExposesReturnsTwice = true;
9017adc3a2bSChandler Carruth     return false;
9027adc3a2bSChandler Carruth   }
903567556aaSChad Rosier   if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate())
9047adc3a2bSChandler Carruth     ContainsNoDuplicateCall = true;
9057adc3a2bSChandler Carruth 
9067adc3a2bSChandler Carruth   if (Function *F = CS.getCalledFunction()) {
9077adc3a2bSChandler Carruth     // When we have a concrete function, first try to simplify it directly.
9087adc3a2bSChandler Carruth     if (simplifyCallSite(F, CS))
9097adc3a2bSChandler Carruth       return true;
9107adc3a2bSChandler Carruth 
9117adc3a2bSChandler Carruth     // Next check if it is an intrinsic we know about.
9127adc3a2bSChandler Carruth     // FIXME: Lift this into part of the InstVisitor.
9137adc3a2bSChandler Carruth     if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) {
9147adc3a2bSChandler Carruth       switch (II->getIntrinsicID()) {
9157adc3a2bSChandler Carruth       default:
9167adc3a2bSChandler Carruth         return Base::visitCallSite(CS);
9177adc3a2bSChandler Carruth 
9187dd8dbf4SPeter Collingbourne       case Intrinsic::load_relative:
9197dd8dbf4SPeter Collingbourne         // This is normally lowered to 4 LLVM instructions.
9207dd8dbf4SPeter Collingbourne         Cost += 3 * InlineConstants::InstrCost;
9217dd8dbf4SPeter Collingbourne         return false;
9227dd8dbf4SPeter Collingbourne 
9237adc3a2bSChandler Carruth       case Intrinsic::memset:
9247adc3a2bSChandler Carruth       case Intrinsic::memcpy:
9257adc3a2bSChandler Carruth       case Intrinsic::memmove:
9267adc3a2bSChandler Carruth         // SROA can usually chew through these intrinsics, but they aren't free.
9277adc3a2bSChandler Carruth         return false;
9287adc3a2bSChandler Carruth       case Intrinsic::localescape:
9297adc3a2bSChandler Carruth         HasFrameEscape = true;
9307adc3a2bSChandler Carruth         return false;
9317adc3a2bSChandler Carruth       }
9327adc3a2bSChandler Carruth     }
9337adc3a2bSChandler Carruth 
9347adc3a2bSChandler Carruth     if (F == CS.getInstruction()->getParent()->getParent()) {
9357adc3a2bSChandler Carruth       // This flag will fully abort the analysis, so don't bother with anything
9367adc3a2bSChandler Carruth       // else.
9377adc3a2bSChandler Carruth       IsRecursiveCall = true;
9387adc3a2bSChandler Carruth       return false;
9397adc3a2bSChandler Carruth     }
9407adc3a2bSChandler Carruth 
9417adc3a2bSChandler Carruth     if (TTI.isLoweredToCall(F)) {
9427adc3a2bSChandler Carruth       // We account for the average 1 instruction per call argument setup
9437adc3a2bSChandler Carruth       // here.
9447adc3a2bSChandler Carruth       Cost += CS.arg_size() * InlineConstants::InstrCost;
9457adc3a2bSChandler Carruth 
9467adc3a2bSChandler Carruth       // Everything other than inline ASM will also have a significant cost
9477adc3a2bSChandler Carruth       // merely from making the call.
9487adc3a2bSChandler Carruth       if (!isa<InlineAsm>(CS.getCalledValue()))
9497adc3a2bSChandler Carruth         Cost += InlineConstants::CallPenalty;
9507adc3a2bSChandler Carruth     }
9517adc3a2bSChandler Carruth 
9527adc3a2bSChandler Carruth     return Base::visitCallSite(CS);
9537adc3a2bSChandler Carruth   }
9547adc3a2bSChandler Carruth 
9557adc3a2bSChandler Carruth   // Otherwise we're in a very special case -- an indirect function call. See
9567adc3a2bSChandler Carruth   // if we can be particularly clever about this.
9577adc3a2bSChandler Carruth   Value *Callee = CS.getCalledValue();
9587adc3a2bSChandler Carruth 
9597adc3a2bSChandler Carruth   // First, pay the price of the argument setup. We account for the average
9607adc3a2bSChandler Carruth   // 1 instruction per call argument setup here.
9617adc3a2bSChandler Carruth   Cost += CS.arg_size() * InlineConstants::InstrCost;
9627adc3a2bSChandler Carruth 
9637adc3a2bSChandler Carruth   // Next, check if this happens to be an indirect function call to a known
9647adc3a2bSChandler Carruth   // function in this inline context. If not, we've done all we can.
9657adc3a2bSChandler Carruth   Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee));
9667adc3a2bSChandler Carruth   if (!F)
9677adc3a2bSChandler Carruth     return Base::visitCallSite(CS);
9687adc3a2bSChandler Carruth 
9697adc3a2bSChandler Carruth   // If we have a constant that we are calling as a function, we can peer
9707adc3a2bSChandler Carruth   // through it and see the function target. This happens not infrequently
9717adc3a2bSChandler Carruth   // during devirtualization and so we want to give it a hefty bonus for
9727adc3a2bSChandler Carruth   // inlining, but cap that bonus in the event that inlining wouldn't pan
9737adc3a2bSChandler Carruth   // out. Pretend to inline the function, with a custom threshold.
9741c57cc2bSEaswaran Raman   auto IndirectCallParams = Params;
9751c57cc2bSEaswaran Raman   IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold;
97612585b01SEaswaran Raman   CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, *F, CS,
97712585b01SEaswaran Raman                   IndirectCallParams);
9787adc3a2bSChandler Carruth   if (CA.analyzeCall(CS)) {
9797adc3a2bSChandler Carruth     // We were able to inline the indirect call! Subtract the cost from the
9806d90d9f1SEaswaran Raman     // threshold to get the bonus we want to apply, but don't go below zero.
9816d90d9f1SEaswaran Raman     Cost -= std::max(0, CA.getThreshold() - CA.getCost());
9827adc3a2bSChandler Carruth   }
9837adc3a2bSChandler Carruth 
9847adc3a2bSChandler Carruth   return Base::visitCallSite(CS);
9857adc3a2bSChandler Carruth }
9867adc3a2bSChandler Carruth 
9877adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) {
9887adc3a2bSChandler Carruth   // At least one return instruction will be free after inlining.
9897adc3a2bSChandler Carruth   bool Free = !HasReturn;
9907adc3a2bSChandler Carruth   HasReturn = true;
9917adc3a2bSChandler Carruth   return Free;
9927adc3a2bSChandler Carruth }
9937adc3a2bSChandler Carruth 
9947adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) {
9957adc3a2bSChandler Carruth   // We model unconditional branches as essentially free -- they really
9967adc3a2bSChandler Carruth   // shouldn't exist at all, but handling them makes the behavior of the
9977adc3a2bSChandler Carruth   // inliner more regular and predictable. Interestingly, conditional branches
9987adc3a2bSChandler Carruth   // which will fold away are also free.
9997adc3a2bSChandler Carruth   return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) ||
10007adc3a2bSChandler Carruth          dyn_cast_or_null<ConstantInt>(
10017adc3a2bSChandler Carruth              SimplifiedValues.lookup(BI.getCondition()));
10027adc3a2bSChandler Carruth }
10037adc3a2bSChandler Carruth 
10047adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) {
10057adc3a2bSChandler Carruth   // We model unconditional switches as free, see the comments on handling
10067adc3a2bSChandler Carruth   // branches.
10077adc3a2bSChandler Carruth   if (isa<ConstantInt>(SI.getCondition()))
10087adc3a2bSChandler Carruth     return true;
10097adc3a2bSChandler Carruth   if (Value *V = SimplifiedValues.lookup(SI.getCondition()))
10107adc3a2bSChandler Carruth     if (isa<ConstantInt>(V))
10117adc3a2bSChandler Carruth       return true;
10127adc3a2bSChandler Carruth 
1013919f9e8dSJun Bum Lim   // Assume the most general case where the swith is lowered into
1014919f9e8dSJun Bum Lim   // either a jump table, bit test, or a balanced binary tree consisting of
1015919f9e8dSJun Bum Lim   // case clusters without merging adjacent clusters with the same
1016919f9e8dSJun Bum Lim   // destination. We do not consider the switches that are lowered with a mix
1017919f9e8dSJun Bum Lim   // of jump table/bit test/binary search tree. The cost of the switch is
1018919f9e8dSJun Bum Lim   // proportional to the size of the tree or the size of jump table range.
1019*2960d41eSJun Bum Lim   //
1020*2960d41eSJun Bum Lim   // NB: We convert large switches which are just used to initialize large phi
1021*2960d41eSJun Bum Lim   // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent
1022*2960d41eSJun Bum Lim   // inlining those. It will prevent inlining in cases where the optimization
1023*2960d41eSJun Bum Lim   // does not (yet) fire.
1024919f9e8dSJun Bum Lim 
1025919f9e8dSJun Bum Lim   // Exit early for a large switch, assuming one case needs at least one
1026919f9e8dSJun Bum Lim   // instruction.
1027919f9e8dSJun Bum Lim   // FIXME: This is not true for a bit test, but ignore such case for now to
1028919f9e8dSJun Bum Lim   // save compile-time.
1029919f9e8dSJun Bum Lim   int64_t CostLowerBound =
1030919f9e8dSJun Bum Lim       std::min((int64_t)INT_MAX,
1031919f9e8dSJun Bum Lim                (int64_t)SI.getNumCases() * InlineConstants::InstrCost + Cost);
1032919f9e8dSJun Bum Lim 
1033919f9e8dSJun Bum Lim   if (CostLowerBound > Threshold) {
1034919f9e8dSJun Bum Lim     Cost = CostLowerBound;
1035919f9e8dSJun Bum Lim     return false;
1036919f9e8dSJun Bum Lim   }
1037919f9e8dSJun Bum Lim 
1038919f9e8dSJun Bum Lim   unsigned JumpTableSize = 0;
1039919f9e8dSJun Bum Lim   unsigned NumCaseCluster =
1040919f9e8dSJun Bum Lim       TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize);
1041919f9e8dSJun Bum Lim 
1042919f9e8dSJun Bum Lim   // If suitable for a jump table, consider the cost for the table size and
1043919f9e8dSJun Bum Lim   // branch to destination.
1044919f9e8dSJun Bum Lim   if (JumpTableSize) {
1045919f9e8dSJun Bum Lim     int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost +
1046919f9e8dSJun Bum Lim                      4 * InlineConstants::InstrCost;
1047919f9e8dSJun Bum Lim     Cost = std::min((int64_t)INT_MAX, JTCost + Cost);
1048919f9e8dSJun Bum Lim     return false;
1049919f9e8dSJun Bum Lim   }
1050919f9e8dSJun Bum Lim 
1051919f9e8dSJun Bum Lim   // Considering forming a binary search, we should find the number of nodes
1052919f9e8dSJun Bum Lim   // which is same as the number of comparisons when lowered. For a given
1053919f9e8dSJun Bum Lim   // number of clusters, n, we can define a recursive function, f(n), to find
1054919f9e8dSJun Bum Lim   // the number of nodes in the tree. The recursion is :
1055919f9e8dSJun Bum Lim   // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3,
1056919f9e8dSJun Bum Lim   // and f(n) = n, when n <= 3.
1057919f9e8dSJun Bum Lim   // This will lead a binary tree where the leaf should be either f(2) or f(3)
1058919f9e8dSJun Bum Lim   // when n > 3.  So, the number of comparisons from leaves should be n, while
1059919f9e8dSJun Bum Lim   // the number of non-leaf should be :
1060919f9e8dSJun Bum Lim   //   2^(log2(n) - 1) - 1
1061919f9e8dSJun Bum Lim   //   = 2^log2(n) * 2^-1 - 1
1062919f9e8dSJun Bum Lim   //   = n / 2 - 1.
1063919f9e8dSJun Bum Lim   // Considering comparisons from leaf and non-leaf nodes, we can estimate the
1064919f9e8dSJun Bum Lim   // number of comparisons in a simple closed form :
1065919f9e8dSJun Bum Lim   //   n + n / 2 - 1 = n * 3 / 2 - 1
1066919f9e8dSJun Bum Lim   if (NumCaseCluster <= 3) {
1067919f9e8dSJun Bum Lim     // Suppose a comparison includes one compare and one conditional branch.
1068919f9e8dSJun Bum Lim     Cost += NumCaseCluster * 2 * InlineConstants::InstrCost;
1069919f9e8dSJun Bum Lim     return false;
1070919f9e8dSJun Bum Lim   }
1071919f9e8dSJun Bum Lim   int64_t ExpectedNumberOfCompare = 3 * (uint64_t)NumCaseCluster / 2 - 1;
1072919f9e8dSJun Bum Lim   uint64_t SwitchCost =
1073919f9e8dSJun Bum Lim       ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost;
1074919f9e8dSJun Bum Lim   Cost = std::min((uint64_t)INT_MAX, SwitchCost + Cost);
1075919f9e8dSJun Bum Lim   return false;
1076919f9e8dSJun Bum Lim }
1077919f9e8dSJun Bum Lim 
10787adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) {
10797adc3a2bSChandler Carruth   // We never want to inline functions that contain an indirectbr.  This is
10807adc3a2bSChandler Carruth   // incorrect because all the blockaddress's (in static global initializers
10817adc3a2bSChandler Carruth   // for example) would be referring to the original function, and this
10827adc3a2bSChandler Carruth   // indirect jump would jump from the inlined copy of the function into the
10837adc3a2bSChandler Carruth   // original function which is extremely undefined behavior.
10847adc3a2bSChandler Carruth   // FIXME: This logic isn't really right; we can safely inline functions with
10857adc3a2bSChandler Carruth   // indirectbr's as long as no other function or global references the
10867adc3a2bSChandler Carruth   // blockaddress of a block within the current function.
10877adc3a2bSChandler Carruth   HasIndirectBr = true;
10887adc3a2bSChandler Carruth   return false;
10897adc3a2bSChandler Carruth }
10907adc3a2bSChandler Carruth 
10917adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) {
10927adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
10937adc3a2bSChandler Carruth   // the inline cost of a resume instruction.
10947adc3a2bSChandler Carruth   return false;
10957adc3a2bSChandler Carruth }
10967adc3a2bSChandler Carruth 
10977adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) {
10987adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
10997adc3a2bSChandler Carruth   // the inline cost of a cleanupret instruction.
11007adc3a2bSChandler Carruth   return false;
11017adc3a2bSChandler Carruth }
11027adc3a2bSChandler Carruth 
11037adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) {
11047adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
11058220bcc5SJoseph Tremoulet   // the inline cost of a catchret instruction.
11067adc3a2bSChandler Carruth   return false;
11077adc3a2bSChandler Carruth }
11087adc3a2bSChandler Carruth 
11097adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) {
11107adc3a2bSChandler Carruth   // FIXME: It might be reasonably to discount the cost of instructions leading
11117adc3a2bSChandler Carruth   // to unreachable as they have the lowest possible impact on both runtime and
11127adc3a2bSChandler Carruth   // code size.
11137adc3a2bSChandler Carruth   return true; // No actual code is needed for unreachable.
11147adc3a2bSChandler Carruth }
11157adc3a2bSChandler Carruth 
11167adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) {
11177adc3a2bSChandler Carruth   // Some instructions are free. All of the free intrinsics can also be
11187adc3a2bSChandler Carruth   // handled by SROA, etc.
11197adc3a2bSChandler Carruth   if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I))
11207adc3a2bSChandler Carruth     return true;
11217adc3a2bSChandler Carruth 
11227adc3a2bSChandler Carruth   // We found something we don't understand or can't handle. Mark any SROA-able
11237adc3a2bSChandler Carruth   // values in the operand list as no longer viable.
11247adc3a2bSChandler Carruth   for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI)
11257adc3a2bSChandler Carruth     disableSROA(*OI);
11267adc3a2bSChandler Carruth 
11277adc3a2bSChandler Carruth   return false;
11287adc3a2bSChandler Carruth }
11297adc3a2bSChandler Carruth 
11307adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost.
11317adc3a2bSChandler Carruth ///
11327adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic
11337adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It
11347adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline
11357adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer
11367adc3a2bSChandler Carruth /// viable, and true if inlining remains viable.
11377adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB,
11387adc3a2bSChandler Carruth                                 SmallPtrSetImpl<const Value *> &EphValues) {
11397adc3a2bSChandler Carruth   for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
11407adc3a2bSChandler Carruth     // FIXME: Currently, the number of instructions in a function regardless of
11417adc3a2bSChandler Carruth     // our ability to simplify them during inline to constants or dead code,
11427adc3a2bSChandler Carruth     // are actually used by the vector bonus heuristic. As long as that's true,
11437adc3a2bSChandler Carruth     // we have to special case debug intrinsics here to prevent differences in
11447adc3a2bSChandler Carruth     // inlining due to debug symbols. Eventually, the number of unsimplified
11457adc3a2bSChandler Carruth     // instructions shouldn't factor into the cost computation, but until then,
11467adc3a2bSChandler Carruth     // hack around it here.
11477adc3a2bSChandler Carruth     if (isa<DbgInfoIntrinsic>(I))
11487adc3a2bSChandler Carruth       continue;
11497adc3a2bSChandler Carruth 
11507adc3a2bSChandler Carruth     // Skip ephemeral values.
11515a82c916SDuncan P. N. Exon Smith     if (EphValues.count(&*I))
11527adc3a2bSChandler Carruth       continue;
11537adc3a2bSChandler Carruth 
11547adc3a2bSChandler Carruth     ++NumInstructions;
11557adc3a2bSChandler Carruth     if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy())
11567adc3a2bSChandler Carruth       ++NumVectorInstructions;
11577adc3a2bSChandler Carruth 
1158e9434e80SSanjay Patel     // If the instruction is floating point, and the target says this operation
1159e9434e80SSanjay Patel     // is expensive or the function has the "use-soft-float" attribute, this may
11607adc3a2bSChandler Carruth     // eventually become a library call. Treat the cost as such.
11617adc3a2bSChandler Carruth     if (I->getType()->isFloatingPointTy()) {
1162e9434e80SSanjay Patel       // If the function has the "use-soft-float" attribute, mark it as
1163e9434e80SSanjay Patel       // expensive.
11647adc3a2bSChandler Carruth       if (TTI.getFPOpCost(I->getType()) == TargetTransformInfo::TCC_Expensive ||
1165908ed7f2SEric Christopher           (F.getFnAttribute("use-soft-float").getValueAsString() == "true"))
11667adc3a2bSChandler Carruth         Cost += InlineConstants::CallPenalty;
11677adc3a2bSChandler Carruth     }
11687adc3a2bSChandler Carruth 
11697adc3a2bSChandler Carruth     // If the instruction simplified to a constant, there is no cost to this
11707adc3a2bSChandler Carruth     // instruction. Visit the instructions using our InstVisitor to account for
11717adc3a2bSChandler Carruth     // all of the per-instruction logic. The visit tree returns true if we
11727adc3a2bSChandler Carruth     // consumed the instruction in any way, and false if the instruction's base
11737adc3a2bSChandler Carruth     // cost should count against inlining.
11745a82c916SDuncan P. N. Exon Smith     if (Base::visit(&*I))
11757adc3a2bSChandler Carruth       ++NumInstructionsSimplified;
11767adc3a2bSChandler Carruth     else
11777adc3a2bSChandler Carruth       Cost += InlineConstants::InstrCost;
11787adc3a2bSChandler Carruth 
11797adc3a2bSChandler Carruth     // If the visit this instruction detected an uninlinable pattern, abort.
11807adc3a2bSChandler Carruth     if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca ||
11817adc3a2bSChandler Carruth         HasIndirectBr || HasFrameEscape)
11827adc3a2bSChandler Carruth       return false;
11837adc3a2bSChandler Carruth 
11847adc3a2bSChandler Carruth     // If the caller is a recursive function then we don't want to inline
11857adc3a2bSChandler Carruth     // functions which allocate a lot of stack space because it would increase
11867adc3a2bSChandler Carruth     // the caller stack usage dramatically.
11877adc3a2bSChandler Carruth     if (IsCallerRecursive &&
11887adc3a2bSChandler Carruth         AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller)
11897adc3a2bSChandler Carruth       return false;
11907adc3a2bSChandler Carruth 
11917adc3a2bSChandler Carruth     // Check if we've past the maximum possible threshold so we don't spin in
11927adc3a2bSChandler Carruth     // huge basic blocks that will never inline.
11937adc3a2bSChandler Carruth     if (Cost > Threshold)
11947adc3a2bSChandler Carruth       return false;
11957adc3a2bSChandler Carruth   }
11967adc3a2bSChandler Carruth 
11977adc3a2bSChandler Carruth   return true;
11987adc3a2bSChandler Carruth }
11997adc3a2bSChandler Carruth 
12007adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V.
12017adc3a2bSChandler Carruth ///
12027adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and
12037adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It
12047adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are
12057adc3a2bSChandler Carruth /// no constant offsets applied.
12067adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) {
12077adc3a2bSChandler Carruth   if (!V->getType()->isPointerTy())
12087adc3a2bSChandler Carruth     return nullptr;
12097adc3a2bSChandler Carruth 
12107adc3a2bSChandler Carruth   unsigned IntPtrWidth = DL.getPointerSizeInBits();
12117adc3a2bSChandler Carruth   APInt Offset = APInt::getNullValue(IntPtrWidth);
12127adc3a2bSChandler Carruth 
12137adc3a2bSChandler Carruth   // Even though we don't look through PHI nodes, we could be called on an
12147adc3a2bSChandler Carruth   // instruction in an unreachable block, which may be on a cycle.
12157adc3a2bSChandler Carruth   SmallPtrSet<Value *, 4> Visited;
12167adc3a2bSChandler Carruth   Visited.insert(V);
12177adc3a2bSChandler Carruth   do {
12187adc3a2bSChandler Carruth     if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) {
12197adc3a2bSChandler Carruth       if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset))
12207adc3a2bSChandler Carruth         return nullptr;
12217adc3a2bSChandler Carruth       V = GEP->getPointerOperand();
12227adc3a2bSChandler Carruth     } else if (Operator::getOpcode(V) == Instruction::BitCast) {
12237adc3a2bSChandler Carruth       V = cast<Operator>(V)->getOperand(0);
12247adc3a2bSChandler Carruth     } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) {
12255ce32728SSanjoy Das       if (GA->isInterposable())
12267adc3a2bSChandler Carruth         break;
12277adc3a2bSChandler Carruth       V = GA->getAliasee();
12287adc3a2bSChandler Carruth     } else {
12297adc3a2bSChandler Carruth       break;
12307adc3a2bSChandler Carruth     }
12317adc3a2bSChandler Carruth     assert(V->getType()->isPointerTy() && "Unexpected operand type!");
12327adc3a2bSChandler Carruth   } while (Visited.insert(V).second);
12337adc3a2bSChandler Carruth 
12347adc3a2bSChandler Carruth   Type *IntPtrTy = DL.getIntPtrType(V->getContext());
12357adc3a2bSChandler Carruth   return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset));
12367adc3a2bSChandler Carruth }
12377adc3a2bSChandler Carruth 
12387adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining.
12397adc3a2bSChandler Carruth ///
12407adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not
12417adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous
12427adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost
12437adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by
12447adc3a2bSChandler Carruth /// some artifact of the routine.
12457adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) {
12467adc3a2bSChandler Carruth   ++NumCallsAnalyzed;
12477adc3a2bSChandler Carruth 
12487adc3a2bSChandler Carruth   // Perform some tweaks to the cost and threshold based on the direct
12497adc3a2bSChandler Carruth   // callsite information.
12507adc3a2bSChandler Carruth 
12517adc3a2bSChandler Carruth   // We want to more aggressively inline vector-dense kernels, so up the
12527adc3a2bSChandler Carruth   // threshold, and we'll lower it if the % of vector instructions gets too
12537adc3a2bSChandler Carruth   // low. Note that these bonuses are some what arbitrary and evolved over time
12547adc3a2bSChandler Carruth   // by accident as much as because they are principled bonuses.
12557adc3a2bSChandler Carruth   //
12567adc3a2bSChandler Carruth   // FIXME: It would be nice to remove all such bonuses. At least it would be
12577adc3a2bSChandler Carruth   // nice to base the bonus values on something more scientific.
12587adc3a2bSChandler Carruth   assert(NumInstructions == 0);
12597adc3a2bSChandler Carruth   assert(NumVectorInstructions == 0);
1260f4bb2f0dSEaswaran Raman 
1261f4bb2f0dSEaswaran Raman   // Update the threshold based on callsite properties
1262f4bb2f0dSEaswaran Raman   updateThreshold(CS, F);
1263f4bb2f0dSEaswaran Raman 
12647adc3a2bSChandler Carruth   FiftyPercentVectorBonus = 3 * Threshold / 2;
12657adc3a2bSChandler Carruth   TenPercentVectorBonus = 3 * Threshold / 4;
12667adc3a2bSChandler Carruth 
12677adc3a2bSChandler Carruth   // Track whether the post-inlining function would have more than one basic
12687adc3a2bSChandler Carruth   // block. A single basic block is often intended for inlining. Balloon the
12697adc3a2bSChandler Carruth   // threshold by 50% until we pass the single-BB phase.
12707adc3a2bSChandler Carruth   bool SingleBB = true;
12717adc3a2bSChandler Carruth   int SingleBBBonus = Threshold / 2;
12727adc3a2bSChandler Carruth 
12737adc3a2bSChandler Carruth   // Speculatively apply all possible bonuses to Threshold. If cost exceeds
12747adc3a2bSChandler Carruth   // this Threshold any time, and cost cannot decrease, we can stop processing
12757adc3a2bSChandler Carruth   // the rest of the function body.
12767adc3a2bSChandler Carruth   Threshold += (SingleBBBonus + FiftyPercentVectorBonus);
12777adc3a2bSChandler Carruth 
1278351d9b01SXinliang David Li   // Give out bonuses for the callsite, as the instructions setting them up
1279351d9b01SXinliang David Li   // will be gone after inlining.
1280351d9b01SXinliang David Li   Cost -= getCallsiteCost(CS, DL);
12817adc3a2bSChandler Carruth 
12827adc3a2bSChandler Carruth   // If there is only one call of the function, and it has internal linkage,
12837adc3a2bSChandler Carruth   // the cost of inlining it drops dramatically.
1284567556aaSChad Rosier   bool OnlyOneCallAndLocalLinkage =
1285567556aaSChad Rosier       F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction();
12867adc3a2bSChandler Carruth   if (OnlyOneCallAndLocalLinkage)
1287d89875caSPiotr Padlewski     Cost -= InlineConstants::LastCallToStaticBonus;
12887adc3a2bSChandler Carruth 
12897adc3a2bSChandler Carruth   // If this function uses the coldcc calling convention, prefer not to inline
12907adc3a2bSChandler Carruth   // it.
12917adc3a2bSChandler Carruth   if (F.getCallingConv() == CallingConv::Cold)
12927adc3a2bSChandler Carruth     Cost += InlineConstants::ColdccPenalty;
12937adc3a2bSChandler Carruth 
12947adc3a2bSChandler Carruth   // Check if we're done. This can happen due to bonuses and penalties.
12957adc3a2bSChandler Carruth   if (Cost > Threshold)
12967adc3a2bSChandler Carruth     return false;
12977adc3a2bSChandler Carruth 
12987adc3a2bSChandler Carruth   if (F.empty())
12997adc3a2bSChandler Carruth     return true;
13007adc3a2bSChandler Carruth 
13017adc3a2bSChandler Carruth   Function *Caller = CS.getInstruction()->getParent()->getParent();
13027adc3a2bSChandler Carruth   // Check if the caller function is recursive itself.
13037adc3a2bSChandler Carruth   for (User *U : Caller->users()) {
13047adc3a2bSChandler Carruth     CallSite Site(U);
13057adc3a2bSChandler Carruth     if (!Site)
13067adc3a2bSChandler Carruth       continue;
13077adc3a2bSChandler Carruth     Instruction *I = Site.getInstruction();
13087adc3a2bSChandler Carruth     if (I->getParent()->getParent() == Caller) {
13097adc3a2bSChandler Carruth       IsCallerRecursive = true;
13107adc3a2bSChandler Carruth       break;
13117adc3a2bSChandler Carruth     }
13127adc3a2bSChandler Carruth   }
13137adc3a2bSChandler Carruth 
13147adc3a2bSChandler Carruth   // Populate our simplified values by mapping from function arguments to call
13157adc3a2bSChandler Carruth   // arguments with known important simplifications.
13167adc3a2bSChandler Carruth   CallSite::arg_iterator CAI = CS.arg_begin();
13177adc3a2bSChandler Carruth   for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end();
13187adc3a2bSChandler Carruth        FAI != FAE; ++FAI, ++CAI) {
13197adc3a2bSChandler Carruth     assert(CAI != CS.arg_end());
13207adc3a2bSChandler Carruth     if (Constant *C = dyn_cast<Constant>(CAI))
13215a82c916SDuncan P. N. Exon Smith       SimplifiedValues[&*FAI] = C;
13227adc3a2bSChandler Carruth 
13237adc3a2bSChandler Carruth     Value *PtrArg = *CAI;
13247adc3a2bSChandler Carruth     if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) {
13255a82c916SDuncan P. N. Exon Smith       ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue());
13267adc3a2bSChandler Carruth 
13277adc3a2bSChandler Carruth       // We can SROA any pointer arguments derived from alloca instructions.
13287adc3a2bSChandler Carruth       if (isa<AllocaInst>(PtrArg)) {
13295a82c916SDuncan P. N. Exon Smith         SROAArgValues[&*FAI] = PtrArg;
13307adc3a2bSChandler Carruth         SROAArgCosts[PtrArg] = 0;
13317adc3a2bSChandler Carruth       }
13327adc3a2bSChandler Carruth     }
13337adc3a2bSChandler Carruth   }
13347adc3a2bSChandler Carruth   NumConstantArgs = SimplifiedValues.size();
13357adc3a2bSChandler Carruth   NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size();
13367adc3a2bSChandler Carruth   NumAllocaArgs = SROAArgValues.size();
13377adc3a2bSChandler Carruth 
13387adc3a2bSChandler Carruth   // FIXME: If a caller has multiple calls to a callee, we end up recomputing
13397adc3a2bSChandler Carruth   // the ephemeral values multiple times (and they're completely determined by
13407adc3a2bSChandler Carruth   // the callee, so this is purely duplicate work).
13417adc3a2bSChandler Carruth   SmallPtrSet<const Value *, 32> EphValues;
1342aec2fa35SDaniel Jasper   CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues);
13437adc3a2bSChandler Carruth 
13447adc3a2bSChandler Carruth   // The worklist of live basic blocks in the callee *after* inlining. We avoid
13457adc3a2bSChandler Carruth   // adding basic blocks of the callee which can be proven to be dead for this
13467adc3a2bSChandler Carruth   // particular call site in order to get more accurate cost estimates. This
13477adc3a2bSChandler Carruth   // requires a somewhat heavyweight iteration pattern: we need to walk the
13487adc3a2bSChandler Carruth   // basic blocks in a breadth-first order as we insert live successors. To
13497adc3a2bSChandler Carruth   // accomplish this, prioritizing for small iterations because we exit after
13507adc3a2bSChandler Carruth   // crossing our threshold, we use a small-size optimized SetVector.
13517adc3a2bSChandler Carruth   typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>,
1352567556aaSChad Rosier                     SmallPtrSet<BasicBlock *, 16>>
1353567556aaSChad Rosier       BBSetVector;
13547adc3a2bSChandler Carruth   BBSetVector BBWorklist;
13557adc3a2bSChandler Carruth   BBWorklist.insert(&F.getEntryBlock());
13567adc3a2bSChandler Carruth   // Note that we *must not* cache the size, this loop grows the worklist.
13577adc3a2bSChandler Carruth   for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) {
13587adc3a2bSChandler Carruth     // Bail out the moment we cross the threshold. This means we'll under-count
13597adc3a2bSChandler Carruth     // the cost, but only when undercounting doesn't matter.
13607adc3a2bSChandler Carruth     if (Cost > Threshold)
13617adc3a2bSChandler Carruth       break;
13627adc3a2bSChandler Carruth 
13637adc3a2bSChandler Carruth     BasicBlock *BB = BBWorklist[Idx];
13647adc3a2bSChandler Carruth     if (BB->empty())
13657adc3a2bSChandler Carruth       continue;
13667adc3a2bSChandler Carruth 
13677adc3a2bSChandler Carruth     // Disallow inlining a blockaddress. A blockaddress only has defined
13687adc3a2bSChandler Carruth     // behavior for an indirect branch in the same function, and we do not
13697adc3a2bSChandler Carruth     // currently support inlining indirect branches. But, the inliner may not
13707adc3a2bSChandler Carruth     // see an indirect branch that ends up being dead code at a particular call
13717adc3a2bSChandler Carruth     // site. If the blockaddress escapes the function, e.g., via a global
13727adc3a2bSChandler Carruth     // variable, inlining may lead to an invalid cross-function reference.
13737adc3a2bSChandler Carruth     if (BB->hasAddressTaken())
13747adc3a2bSChandler Carruth       return false;
13757adc3a2bSChandler Carruth 
13767adc3a2bSChandler Carruth     // Analyze the cost of this block. If we blow through the threshold, this
13777adc3a2bSChandler Carruth     // returns false, and we can bail on out.
1378d295b00aSEaswaran Raman     if (!analyzeBlock(BB, EphValues))
13797adc3a2bSChandler Carruth       return false;
13807adc3a2bSChandler Carruth 
13817adc3a2bSChandler Carruth     TerminatorInst *TI = BB->getTerminator();
13827adc3a2bSChandler Carruth 
13837adc3a2bSChandler Carruth     // Add in the live successors by first checking whether we have terminator
13847adc3a2bSChandler Carruth     // that may be simplified based on the values simplified by this call.
13857adc3a2bSChandler Carruth     if (BranchInst *BI = dyn_cast<BranchInst>(TI)) {
13867adc3a2bSChandler Carruth       if (BI->isConditional()) {
13877adc3a2bSChandler Carruth         Value *Cond = BI->getCondition();
1388567556aaSChad Rosier         if (ConstantInt *SimpleCond =
1389567556aaSChad Rosier                 dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) {
13907adc3a2bSChandler Carruth           BBWorklist.insert(BI->getSuccessor(SimpleCond->isZero() ? 1 : 0));
13917adc3a2bSChandler Carruth           continue;
13927adc3a2bSChandler Carruth         }
13937adc3a2bSChandler Carruth       }
13947adc3a2bSChandler Carruth     } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) {
13957adc3a2bSChandler Carruth       Value *Cond = SI->getCondition();
1396567556aaSChad Rosier       if (ConstantInt *SimpleCond =
1397567556aaSChad Rosier               dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) {
1398927d8e61SChandler Carruth         BBWorklist.insert(SI->findCaseValue(SimpleCond)->getCaseSuccessor());
13997adc3a2bSChandler Carruth         continue;
14007adc3a2bSChandler Carruth       }
14017adc3a2bSChandler Carruth     }
14027adc3a2bSChandler Carruth 
14037adc3a2bSChandler Carruth     // If we're unable to select a particular successor, just count all of
14047adc3a2bSChandler Carruth     // them.
14057adc3a2bSChandler Carruth     for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize;
14067adc3a2bSChandler Carruth          ++TIdx)
14077adc3a2bSChandler Carruth       BBWorklist.insert(TI->getSuccessor(TIdx));
14087adc3a2bSChandler Carruth 
14097adc3a2bSChandler Carruth     // If we had any successors at this point, than post-inlining is likely to
14107adc3a2bSChandler Carruth     // have them as well. Note that we assume any basic blocks which existed
14117adc3a2bSChandler Carruth     // due to branches or switches which folded above will also fold after
14127adc3a2bSChandler Carruth     // inlining.
14137adc3a2bSChandler Carruth     if (SingleBB && TI->getNumSuccessors() > 1) {
14147adc3a2bSChandler Carruth       // Take off the bonus we applied to the threshold.
14157adc3a2bSChandler Carruth       Threshold -= SingleBBBonus;
14167adc3a2bSChandler Carruth       SingleBB = false;
14177adc3a2bSChandler Carruth     }
14187adc3a2bSChandler Carruth   }
14197adc3a2bSChandler Carruth 
14207adc3a2bSChandler Carruth   // If this is a noduplicate call, we can still inline as long as
14217adc3a2bSChandler Carruth   // inlining this would cause the removal of the caller (so the instruction
14227adc3a2bSChandler Carruth   // is not actually duplicated, just moved).
14237adc3a2bSChandler Carruth   if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall)
14247adc3a2bSChandler Carruth     return false;
14257adc3a2bSChandler Carruth 
14267adc3a2bSChandler Carruth   // We applied the maximum possible vector bonus at the beginning. Now,
14277adc3a2bSChandler Carruth   // subtract the excess bonus, if any, from the Threshold before
14287adc3a2bSChandler Carruth   // comparing against Cost.
14297adc3a2bSChandler Carruth   if (NumVectorInstructions <= NumInstructions / 10)
14307adc3a2bSChandler Carruth     Threshold -= FiftyPercentVectorBonus;
14317adc3a2bSChandler Carruth   else if (NumVectorInstructions <= NumInstructions / 2)
14327adc3a2bSChandler Carruth     Threshold -= (FiftyPercentVectorBonus - TenPercentVectorBonus);
14337adc3a2bSChandler Carruth 
143400ab73dcSHans Wennborg   return Cost < std::max(1, Threshold);
14357adc3a2bSChandler Carruth }
14367adc3a2bSChandler Carruth 
14377adc3a2bSChandler Carruth #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
14387adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis.
1439eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() {
14407adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << "      " #x ": " << x << "\n"
14417adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantArgs);
14427adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs);
14437adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumAllocaArgs);
14447adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantPtrCmps);
14457adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantPtrDiffs);
14467adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumInstructionsSimplified);
14477adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumInstructions);
14487adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(SROACostSavings);
14497adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(SROACostSavingsLost);
14507adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(ContainsNoDuplicateCall);
14517adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(Cost);
14527adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(Threshold);
14537adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT
14547adc3a2bSChandler Carruth }
14557adc3a2bSChandler Carruth #endif
14567adc3a2bSChandler Carruth 
14577adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee
14587adc3a2bSChandler Carruth ///        that prevent inlining.
14597adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller,
14607adc3a2bSChandler Carruth                                               Function *Callee,
14617adc3a2bSChandler Carruth                                               TargetTransformInfo &TTI) {
14627adc3a2bSChandler Carruth   return TTI.areInlineCompatible(Caller, Callee) &&
14631cb242ebSAkira Hatanaka          AttributeFuncs::areInlineCompatible(*Caller, *Callee);
14647adc3a2bSChandler Carruth }
14657adc3a2bSChandler Carruth 
1466351d9b01SXinliang David Li int llvm::getCallsiteCost(CallSite CS, const DataLayout &DL) {
1467351d9b01SXinliang David Li   int Cost = 0;
1468351d9b01SXinliang David Li   for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) {
1469351d9b01SXinliang David Li     if (CS.isByValArgument(I)) {
1470351d9b01SXinliang David Li       // We approximate the number of loads and stores needed by dividing the
1471351d9b01SXinliang David Li       // size of the byval type by the target's pointer size.
1472351d9b01SXinliang David Li       PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType());
1473351d9b01SXinliang David Li       unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType());
1474351d9b01SXinliang David Li       unsigned PointerSize = DL.getPointerSizeInBits();
1475351d9b01SXinliang David Li       // Ceiling division.
1476351d9b01SXinliang David Li       unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize;
1477351d9b01SXinliang David Li 
1478351d9b01SXinliang David Li       // If it generates more than 8 stores it is likely to be expanded as an
1479351d9b01SXinliang David Li       // inline memcpy so we take that as an upper bound. Otherwise we assume
1480351d9b01SXinliang David Li       // one load and one store per word copied.
1481351d9b01SXinliang David Li       // FIXME: The maxStoresPerMemcpy setting from the target should be used
1482351d9b01SXinliang David Li       // here instead of a magic number of 8, but it's not available via
1483351d9b01SXinliang David Li       // DataLayout.
1484351d9b01SXinliang David Li       NumStores = std::min(NumStores, 8U);
1485351d9b01SXinliang David Li 
1486351d9b01SXinliang David Li       Cost += 2 * NumStores * InlineConstants::InstrCost;
1487351d9b01SXinliang David Li     } else {
1488351d9b01SXinliang David Li       // For non-byval arguments subtract off one instruction per call
1489351d9b01SXinliang David Li       // argument.
1490351d9b01SXinliang David Li       Cost += InlineConstants::InstrCost;
1491351d9b01SXinliang David Li     }
1492351d9b01SXinliang David Li   }
1493351d9b01SXinliang David Li   // The call instruction also disappears after inlining.
1494351d9b01SXinliang David Li   Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty;
1495351d9b01SXinliang David Li   return Cost;
1496351d9b01SXinliang David Li }
1497351d9b01SXinliang David Li 
1498ab6a6837SSean Silva InlineCost llvm::getInlineCost(
14991c57cc2bSEaswaran Raman     CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI,
1500aec2fa35SDaniel Jasper     std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
150112585b01SEaswaran Raman     Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI,
150271069cf6SEaswaran Raman     ProfileSummaryInfo *PSI) {
1503aec2fa35SDaniel Jasper   return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI,
150412585b01SEaswaran Raman                        GetAssumptionCache, GetBFI, PSI);
1505b9f7120eSEaswaran Raman }
1506b9f7120eSEaswaran Raman 
1507ab6a6837SSean Silva InlineCost llvm::getInlineCost(
15081c57cc2bSEaswaran Raman     CallSite CS, Function *Callee, const InlineParams &Params,
1509aec2fa35SDaniel Jasper     TargetTransformInfo &CalleeTTI,
1510aec2fa35SDaniel Jasper     std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
151112585b01SEaswaran Raman     Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI,
1512aec2fa35SDaniel Jasper     ProfileSummaryInfo *PSI) {
1513f4bb2f0dSEaswaran Raman 
15147adc3a2bSChandler Carruth   // Cannot inline indirect calls.
15157adc3a2bSChandler Carruth   if (!Callee)
15167adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
15177adc3a2bSChandler Carruth 
15187adc3a2bSChandler Carruth   // Calls to functions with always-inline attributes should be inlined
15197adc3a2bSChandler Carruth   // whenever possible.
15207adc3a2bSChandler Carruth   if (CS.hasFnAttr(Attribute::AlwaysInline)) {
15217adc3a2bSChandler Carruth     if (isInlineViable(*Callee))
15227adc3a2bSChandler Carruth       return llvm::InlineCost::getAlways();
15237adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
15247adc3a2bSChandler Carruth   }
15257adc3a2bSChandler Carruth 
15267adc3a2bSChandler Carruth   // Never inline functions with conflicting attributes (unless callee has
15277adc3a2bSChandler Carruth   // always-inline attribute).
1528b9f7120eSEaswaran Raman   if (!functionsHaveCompatibleAttributes(CS.getCaller(), Callee, CalleeTTI))
15297adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
15307adc3a2bSChandler Carruth 
15317adc3a2bSChandler Carruth   // Don't inline this call if the caller has the optnone attribute.
15327adc3a2bSChandler Carruth   if (CS.getCaller()->hasFnAttribute(Attribute::OptimizeNone))
15337adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
15347adc3a2bSChandler Carruth 
15355ce32728SSanjoy Das   // Don't inline functions which can be interposed at link-time.  Don't inline
15365ce32728SSanjoy Das   // functions marked noinline or call sites marked noinline.
1537107b187dSCraig Topper   // Note: inlining non-exact non-interposable functions is fine, since we know
15385ce32728SSanjoy Das   // we have *a* correct implementation of the source level function.
1539567556aaSChad Rosier   if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) ||
1540567556aaSChad Rosier       CS.isNoInline())
15417adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
15427adc3a2bSChandler Carruth 
15437adc3a2bSChandler Carruth   DEBUG(llvm::dbgs() << "      Analyzing call of " << Callee->getName()
15447adc3a2bSChandler Carruth                      << "...\n");
15457adc3a2bSChandler Carruth 
154612585b01SEaswaran Raman   CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, *Callee, CS,
154712585b01SEaswaran Raman                   Params);
15487adc3a2bSChandler Carruth   bool ShouldInline = CA.analyzeCall(CS);
15497adc3a2bSChandler Carruth 
15507adc3a2bSChandler Carruth   DEBUG(CA.dump());
15517adc3a2bSChandler Carruth 
15527adc3a2bSChandler Carruth   // Check if there was a reason to force inlining or no inlining.
15537adc3a2bSChandler Carruth   if (!ShouldInline && CA.getCost() < CA.getThreshold())
15547adc3a2bSChandler Carruth     return InlineCost::getNever();
15557adc3a2bSChandler Carruth   if (ShouldInline && CA.getCost() >= CA.getThreshold())
15567adc3a2bSChandler Carruth     return InlineCost::getAlways();
15577adc3a2bSChandler Carruth 
15587adc3a2bSChandler Carruth   return llvm::InlineCost::get(CA.getCost(), CA.getThreshold());
15597adc3a2bSChandler Carruth }
15607adc3a2bSChandler Carruth 
1561b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) {
15627adc3a2bSChandler Carruth   bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice);
15637adc3a2bSChandler Carruth   for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) {
15647adc3a2bSChandler Carruth     // Disallow inlining of functions which contain indirect branches or
15657adc3a2bSChandler Carruth     // blockaddresses.
15667adc3a2bSChandler Carruth     if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken())
15677adc3a2bSChandler Carruth       return false;
15687adc3a2bSChandler Carruth 
15695a82c916SDuncan P. N. Exon Smith     for (auto &II : *BI) {
15705a82c916SDuncan P. N. Exon Smith       CallSite CS(&II);
15717adc3a2bSChandler Carruth       if (!CS)
15727adc3a2bSChandler Carruth         continue;
15737adc3a2bSChandler Carruth 
15747adc3a2bSChandler Carruth       // Disallow recursive calls.
15757adc3a2bSChandler Carruth       if (&F == CS.getCalledFunction())
15767adc3a2bSChandler Carruth         return false;
15777adc3a2bSChandler Carruth 
15787adc3a2bSChandler Carruth       // Disallow calls which expose returns-twice to a function not previously
15797adc3a2bSChandler Carruth       // attributed as such.
15807adc3a2bSChandler Carruth       if (!ReturnsTwice && CS.isCall() &&
15817adc3a2bSChandler Carruth           cast<CallInst>(CS.getInstruction())->canReturnTwice())
15827adc3a2bSChandler Carruth         return false;
15837adc3a2bSChandler Carruth 
15847adc3a2bSChandler Carruth       // Disallow inlining functions that call @llvm.localescape. Doing this
15857adc3a2bSChandler Carruth       // correctly would require major changes to the inliner.
15867adc3a2bSChandler Carruth       if (CS.getCalledFunction() &&
15877adc3a2bSChandler Carruth           CS.getCalledFunction()->getIntrinsicID() ==
15887adc3a2bSChandler Carruth               llvm::Intrinsic::localescape)
15897adc3a2bSChandler Carruth         return false;
15907adc3a2bSChandler Carruth     }
15917adc3a2bSChandler Carruth   }
15927adc3a2bSChandler Carruth 
15937adc3a2bSChandler Carruth   return true;
15947adc3a2bSChandler Carruth }
15951c57cc2bSEaswaran Raman 
15961c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other
15971c57cc2bSEaswaran Raman // parameters.
15981c57cc2bSEaswaran Raman 
15991c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) {
16001c57cc2bSEaswaran Raman   InlineParams Params;
16011c57cc2bSEaswaran Raman 
16021c57cc2bSEaswaran Raman   // This field is the threshold to use for a callee by default. This is
16031c57cc2bSEaswaran Raman   // derived from one or more of:
16041c57cc2bSEaswaran Raman   //  * optimization or size-optimization levels,
16051c57cc2bSEaswaran Raman   //  * a value passed to createFunctionInliningPass function, or
16061c57cc2bSEaswaran Raman   //  * the -inline-threshold flag.
16071c57cc2bSEaswaran Raman   //  If the -inline-threshold flag is explicitly specified, that is used
16081c57cc2bSEaswaran Raman   //  irrespective of anything else.
16091c57cc2bSEaswaran Raman   if (InlineThreshold.getNumOccurrences() > 0)
16101c57cc2bSEaswaran Raman     Params.DefaultThreshold = InlineThreshold;
16111c57cc2bSEaswaran Raman   else
16121c57cc2bSEaswaran Raman     Params.DefaultThreshold = Threshold;
16131c57cc2bSEaswaran Raman 
16141c57cc2bSEaswaran Raman   // Set the HintThreshold knob from the -inlinehint-threshold.
16151c57cc2bSEaswaran Raman   Params.HintThreshold = HintThreshold;
16161c57cc2bSEaswaran Raman 
16171c57cc2bSEaswaran Raman   // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold.
16181c57cc2bSEaswaran Raman   Params.HotCallSiteThreshold = HotCallSiteThreshold;
16191c57cc2bSEaswaran Raman 
162012585b01SEaswaran Raman   // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold.
162112585b01SEaswaran Raman   Params.ColdCallSiteThreshold = ColdCallSiteThreshold;
162212585b01SEaswaran Raman 
16231c57cc2bSEaswaran Raman   // Set the OptMinSizeThreshold and OptSizeThreshold params only if the
16241c57cc2bSEaswaran Raman   // -inlinehint-threshold commandline option is not explicitly given. If that
16251c57cc2bSEaswaran Raman   // option is present, then its value applies even for callees with size and
16261c57cc2bSEaswaran Raman   // minsize attributes.
16271c57cc2bSEaswaran Raman   // If the -inline-threshold is not specified, set the ColdThreshold from the
16281c57cc2bSEaswaran Raman   // -inlinecold-threshold even if it is not explicitly passed. If
16291c57cc2bSEaswaran Raman   // -inline-threshold is specified, then -inlinecold-threshold needs to be
16301c57cc2bSEaswaran Raman   // explicitly specified to set the ColdThreshold knob
16311c57cc2bSEaswaran Raman   if (InlineThreshold.getNumOccurrences() == 0) {
16321c57cc2bSEaswaran Raman     Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold;
16331c57cc2bSEaswaran Raman     Params.OptSizeThreshold = InlineConstants::OptSizeThreshold;
16341c57cc2bSEaswaran Raman     Params.ColdThreshold = ColdThreshold;
16351c57cc2bSEaswaran Raman   } else if (ColdThreshold.getNumOccurrences() > 0) {
16361c57cc2bSEaswaran Raman     Params.ColdThreshold = ColdThreshold;
16371c57cc2bSEaswaran Raman   }
16381c57cc2bSEaswaran Raman   return Params;
16391c57cc2bSEaswaran Raman }
16401c57cc2bSEaswaran Raman 
16411c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() {
16421c57cc2bSEaswaran Raman   return getInlineParams(InlineThreshold);
16431c57cc2bSEaswaran Raman }
16441c57cc2bSEaswaran Raman 
16451c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the
16461c57cc2bSEaswaran Raman // size opt level.
16471c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel,
16481c57cc2bSEaswaran Raman                                          unsigned SizeOptLevel) {
16491c57cc2bSEaswaran Raman   if (OptLevel > 2)
16501c57cc2bSEaswaran Raman     return InlineConstants::OptAggressiveThreshold;
16511c57cc2bSEaswaran Raman   if (SizeOptLevel == 1) // -Os
16521c57cc2bSEaswaran Raman     return InlineConstants::OptSizeThreshold;
16531c57cc2bSEaswaran Raman   if (SizeOptLevel == 2) // -Oz
16541c57cc2bSEaswaran Raman     return InlineConstants::OptMinSizeThreshold;
16551c57cc2bSEaswaran Raman   return InlineThreshold;
16561c57cc2bSEaswaran Raman }
16571c57cc2bSEaswaran Raman 
16581c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) {
16591c57cc2bSEaswaran Raman   return getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel));
16601c57cc2bSEaswaran Raman }
1661