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