17adc3a2bSChandler Carruth //===- InlineCost.cpp - Cost analysis for inliner -------------------------===//
27adc3a2bSChandler Carruth //
37adc3a2bSChandler Carruth //                     The LLVM Compiler Infrastructure
47adc3a2bSChandler Carruth //
57adc3a2bSChandler Carruth // This file is distributed under the University of Illinois Open Source
67adc3a2bSChandler Carruth // License. See LICENSE.TXT for details.
77adc3a2bSChandler Carruth //
87adc3a2bSChandler Carruth //===----------------------------------------------------------------------===//
97adc3a2bSChandler Carruth //
107adc3a2bSChandler Carruth // This file implements inline cost analysis.
117adc3a2bSChandler Carruth //
127adc3a2bSChandler Carruth //===----------------------------------------------------------------------===//
137adc3a2bSChandler Carruth 
147adc3a2bSChandler Carruth #include "llvm/Analysis/InlineCost.h"
157adc3a2bSChandler Carruth #include "llvm/ADT/STLExtras.h"
167adc3a2bSChandler Carruth #include "llvm/ADT/SetVector.h"
177adc3a2bSChandler Carruth #include "llvm/ADT/SmallPtrSet.h"
187adc3a2bSChandler Carruth #include "llvm/ADT/SmallVector.h"
197adc3a2bSChandler Carruth #include "llvm/ADT/Statistic.h"
20aec2fa35SDaniel Jasper #include "llvm/Analysis/AssumptionCache.h"
2112585b01SEaswaran Raman #include "llvm/Analysis/BlockFrequencyInfo.h"
227adc3a2bSChandler Carruth #include "llvm/Analysis/CodeMetrics.h"
237adc3a2bSChandler Carruth #include "llvm/Analysis/ConstantFolding.h"
247adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h"
2571069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h"
267adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h"
277adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h"
287adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h"
297adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h"
307adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h"
317adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h"
327adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h"
337adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h"
347adc3a2bSChandler Carruth #include "llvm/IR/Operator.h"
357adc3a2bSChandler Carruth #include "llvm/Support/Debug.h"
367adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h"
377adc3a2bSChandler Carruth 
387adc3a2bSChandler Carruth using namespace llvm;
397adc3a2bSChandler Carruth 
407adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost"
417adc3a2bSChandler Carruth 
427adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed");
437adc3a2bSChandler Carruth 
441c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold(
45f4bb2f0dSEaswaran Raman     "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore,
46f4bb2f0dSEaswaran Raman     cl::desc("Control the amount of inlining to perform (default = 225)"));
47f4bb2f0dSEaswaran Raman 
48f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold(
49f4bb2f0dSEaswaran Raman     "inlinehint-threshold", cl::Hidden, cl::init(325),
50f4bb2f0dSEaswaran Raman     cl::desc("Threshold for inlining functions with inline hint"));
51f4bb2f0dSEaswaran Raman 
5212585b01SEaswaran Raman static cl::opt<int>
5312585b01SEaswaran Raman     ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden,
5412585b01SEaswaran Raman                           cl::init(45),
5512585b01SEaswaran Raman                           cl::desc("Threshold for inlining cold callsites"));
5612585b01SEaswaran Raman 
57f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based
58f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and
59f4bb2f0dSEaswaran Raman // BFI.
60f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold(
61c103ef89SEaswaran Raman     "inlinecold-threshold", cl::Hidden, cl::init(45),
62f4bb2f0dSEaswaran Raman     cl::desc("Threshold for inlining functions with cold attribute"));
63f4bb2f0dSEaswaran Raman 
64de39cb93SDehao Chen static cl::opt<int>
65de39cb93SDehao Chen     HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000),
66de39cb93SDehao Chen                          cl::ZeroOrMore,
67de39cb93SDehao Chen                          cl::desc("Threshold for hot callsites "));
68de39cb93SDehao Chen 
69c5fa6358SEaswaran Raman static cl::opt<int> ColdCallSiteRelFreq(
70c5fa6358SEaswaran Raman     "cold-callsite-rel-freq", cl::Hidden, cl::init(2), cl::ZeroOrMore,
71c5fa6358SEaswaran Raman     cl::desc("Maxmimum block frequency, expressed as a percentage of caller's "
72c5fa6358SEaswaran Raman              "entry frequency, for a callsite to be cold in the absence of "
73c5fa6358SEaswaran Raman              "profile information."));
74c5fa6358SEaswaran Raman 
757adc3a2bSChandler Carruth namespace {
767adc3a2bSChandler Carruth 
777adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> {
787adc3a2bSChandler Carruth   typedef InstVisitor<CallAnalyzer, bool> Base;
797adc3a2bSChandler Carruth   friend class InstVisitor<CallAnalyzer, bool>;
807adc3a2bSChandler Carruth 
817adc3a2bSChandler Carruth   /// The TargetTransformInfo available for this compilation.
827adc3a2bSChandler Carruth   const TargetTransformInfo &TTI;
837adc3a2bSChandler Carruth 
84aec2fa35SDaniel Jasper   /// Getter for the cache of @llvm.assume intrinsics.
85aec2fa35SDaniel Jasper   std::function<AssumptionCache &(Function &)> &GetAssumptionCache;
86aec2fa35SDaniel Jasper 
8712585b01SEaswaran Raman   /// Getter for BlockFrequencyInfo
8812585b01SEaswaran Raman   Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI;
8912585b01SEaswaran Raman 
9071069cf6SEaswaran Raman   /// Profile summary information.
9171069cf6SEaswaran Raman   ProfileSummaryInfo *PSI;
9271069cf6SEaswaran Raman 
93f3d122cdSPiotr Padlewski   /// The called function.
947adc3a2bSChandler Carruth   Function &F;
957adc3a2bSChandler Carruth 
9685be8ca8SEric Christopher   // Cache the DataLayout since we use it a lot.
9785be8ca8SEric Christopher   const DataLayout &DL;
9885be8ca8SEric Christopher 
99f3d122cdSPiotr Padlewski   /// The candidate callsite being analyzed. Please do not use this to do
100f3d122cdSPiotr Padlewski   /// analysis in the caller function; we want the inline cost query to be
101f3d122cdSPiotr Padlewski   /// easily cacheable. Instead, use the cover function paramHasAttr.
1027adc3a2bSChandler Carruth   CallSite CandidateCS;
1037adc3a2bSChandler Carruth 
104f3d122cdSPiotr Padlewski   /// Tunable parameters that control the analysis.
1051c57cc2bSEaswaran Raman   const InlineParams &Params;
1061c57cc2bSEaswaran Raman 
1077adc3a2bSChandler Carruth   int Threshold;
1087adc3a2bSChandler Carruth   int Cost;
1097adc3a2bSChandler Carruth 
1107adc3a2bSChandler Carruth   bool IsCallerRecursive;
1117adc3a2bSChandler Carruth   bool IsRecursiveCall;
1127adc3a2bSChandler Carruth   bool ExposesReturnsTwice;
1137adc3a2bSChandler Carruth   bool HasDynamicAlloca;
1147adc3a2bSChandler Carruth   bool ContainsNoDuplicateCall;
1157adc3a2bSChandler Carruth   bool HasReturn;
1167adc3a2bSChandler Carruth   bool HasIndirectBr;
1177adc3a2bSChandler Carruth   bool HasFrameEscape;
1187adc3a2bSChandler Carruth 
1197adc3a2bSChandler Carruth   /// Number of bytes allocated statically by the callee.
1207adc3a2bSChandler Carruth   uint64_t AllocatedSize;
1217adc3a2bSChandler Carruth   unsigned NumInstructions, NumVectorInstructions;
12251b809bfSEaswaran Raman   int VectorBonus, TenPercentVectorBonus;
12351b809bfSEaswaran Raman   // Bonus to be applied when the callee has only one reachable basic block.
12451b809bfSEaswaran Raman   int SingleBBBonus;
1257adc3a2bSChandler Carruth 
126f3d122cdSPiotr Padlewski   /// While we walk the potentially-inlined instructions, we build up and
127f3d122cdSPiotr Padlewski   /// maintain a mapping of simplified values specific to this callsite. The
128f3d122cdSPiotr Padlewski   /// idea is to propagate any special information we have about arguments to
129f3d122cdSPiotr Padlewski   /// this call through the inlinable section of the function, and account for
130f3d122cdSPiotr Padlewski   /// likely simplifications post-inlining. The most important aspect we track
131f3d122cdSPiotr Padlewski   /// is CFG altering simplifications -- when we prove a basic block dead, that
132f3d122cdSPiotr Padlewski   /// can cause dramatic shifts in the cost of inlining a function.
1337adc3a2bSChandler Carruth   DenseMap<Value *, Constant *> SimplifiedValues;
1347adc3a2bSChandler Carruth 
135f3d122cdSPiotr Padlewski   /// Keep track of the values which map back (through function arguments) to
136f3d122cdSPiotr Padlewski   /// allocas on the caller stack which could be simplified through SROA.
1377adc3a2bSChandler Carruth   DenseMap<Value *, Value *> SROAArgValues;
1387adc3a2bSChandler Carruth 
139f3d122cdSPiotr Padlewski   /// The mapping of caller Alloca values to their accumulated cost savings. If
140f3d122cdSPiotr Padlewski   /// we have to disable SROA for one of the allocas, this tells us how much
141f3d122cdSPiotr Padlewski   /// cost must be added.
1427adc3a2bSChandler Carruth   DenseMap<Value *, int> SROAArgCosts;
1437adc3a2bSChandler Carruth 
144f3d122cdSPiotr Padlewski   /// Keep track of values which map to a pointer base and constant offset.
1457adc3a2bSChandler Carruth   DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs;
1467adc3a2bSChandler Carruth 
1477adc3a2bSChandler Carruth   // Custom simplification helper routines.
1487adc3a2bSChandler Carruth   bool isAllocaDerivedArg(Value *V);
1497adc3a2bSChandler Carruth   bool lookupSROAArgAndCost(Value *V, Value *&Arg,
1507adc3a2bSChandler Carruth                             DenseMap<Value *, int>::iterator &CostIt);
1517adc3a2bSChandler Carruth   void disableSROA(DenseMap<Value *, int>::iterator CostIt);
1527adc3a2bSChandler Carruth   void disableSROA(Value *V);
1537adc3a2bSChandler Carruth   void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt,
1547adc3a2bSChandler Carruth                           int InstructionCost);
155201b191bSHaicheng Wu   bool isGEPFree(GetElementPtrInst &GEP);
1567adc3a2bSChandler Carruth   bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset);
1577adc3a2bSChandler Carruth   bool simplifyCallSite(Function *F, CallSite CS);
158617f6364SEaswaran Raman   template <typename Callable>
159617f6364SEaswaran Raman   bool simplifyInstruction(Instruction &I, Callable Evaluate);
1607adc3a2bSChandler Carruth   ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V);
1617adc3a2bSChandler Carruth 
1627adc3a2bSChandler Carruth   /// Return true if the given argument to the function being considered for
1637adc3a2bSChandler Carruth   /// inlining has the given attribute set either at the call site or the
1647adc3a2bSChandler Carruth   /// function declaration.  Primarily used to inspect call site specific
1657adc3a2bSChandler Carruth   /// attributes since these can be more precise than the ones on the callee
1667adc3a2bSChandler Carruth   /// itself.
1677adc3a2bSChandler Carruth   bool paramHasAttr(Argument *A, Attribute::AttrKind Attr);
1687adc3a2bSChandler Carruth 
1697adc3a2bSChandler Carruth   /// Return true if the given value is known non null within the callee if
1707adc3a2bSChandler Carruth   /// inlined through this particular callsite.
1717adc3a2bSChandler Carruth   bool isKnownNonNullInCallee(Value *V);
1727adc3a2bSChandler Carruth 
173f4bb2f0dSEaswaran Raman   /// Update Threshold based on callsite properties such as callee
174f4bb2f0dSEaswaran Raman   /// attributes and callee hotness for PGO builds. The Callee is explicitly
175f4bb2f0dSEaswaran Raman   /// passed to support analyzing indirect calls whose target is inferred by
176f4bb2f0dSEaswaran Raman   /// analysis.
177f4bb2f0dSEaswaran Raman   void updateThreshold(CallSite CS, Function &Callee);
178f4bb2f0dSEaswaran Raman 
1799a3fc17aSEaswaran Raman   /// Return true if size growth is allowed when inlining the callee at CS.
1809a3fc17aSEaswaran Raman   bool allowSizeGrowth(CallSite CS);
1819a3fc17aSEaswaran Raman 
182c5fa6358SEaswaran Raman   /// Return true if \p CS is a cold callsite.
183c5fa6358SEaswaran Raman   bool isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI);
184c5fa6358SEaswaran Raman 
1857adc3a2bSChandler Carruth   // Custom analysis routines.
1867adc3a2bSChandler Carruth   bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues);
1877adc3a2bSChandler Carruth 
1887adc3a2bSChandler Carruth   // Disable several entry points to the visitor so we don't accidentally use
1897adc3a2bSChandler Carruth   // them by declaring but not defining them here.
190567556aaSChad Rosier   void visit(Module *);
191567556aaSChad Rosier   void visit(Module &);
192567556aaSChad Rosier   void visit(Function *);
193567556aaSChad Rosier   void visit(Function &);
194567556aaSChad Rosier   void visit(BasicBlock *);
195567556aaSChad Rosier   void visit(BasicBlock &);
1967adc3a2bSChandler Carruth 
1977adc3a2bSChandler Carruth   // Provide base case for our instruction visit.
1987adc3a2bSChandler Carruth   bool visitInstruction(Instruction &I);
1997adc3a2bSChandler Carruth 
2007adc3a2bSChandler Carruth   // Our visit overrides.
2017adc3a2bSChandler Carruth   bool visitAlloca(AllocaInst &I);
2027adc3a2bSChandler Carruth   bool visitPHI(PHINode &I);
2037adc3a2bSChandler Carruth   bool visitGetElementPtr(GetElementPtrInst &I);
2047adc3a2bSChandler Carruth   bool visitBitCast(BitCastInst &I);
2057adc3a2bSChandler Carruth   bool visitPtrToInt(PtrToIntInst &I);
2067adc3a2bSChandler Carruth   bool visitIntToPtr(IntToPtrInst &I);
2077adc3a2bSChandler Carruth   bool visitCastInst(CastInst &I);
2087adc3a2bSChandler Carruth   bool visitUnaryInstruction(UnaryInstruction &I);
2097adc3a2bSChandler Carruth   bool visitCmpInst(CmpInst &I);
210*2e1c050eSChad Rosier   bool visitAnd(BinaryOperator &I);
211*2e1c050eSChad Rosier   bool visitOr(BinaryOperator &I);
2127adc3a2bSChandler Carruth   bool visitSub(BinaryOperator &I);
2137adc3a2bSChandler Carruth   bool visitBinaryOperator(BinaryOperator &I);
2147adc3a2bSChandler Carruth   bool visitLoad(LoadInst &I);
2157adc3a2bSChandler Carruth   bool visitStore(StoreInst &I);
2167adc3a2bSChandler Carruth   bool visitExtractValue(ExtractValueInst &I);
2177adc3a2bSChandler Carruth   bool visitInsertValue(InsertValueInst &I);
2187adc3a2bSChandler Carruth   bool visitCallSite(CallSite CS);
2197adc3a2bSChandler Carruth   bool visitReturnInst(ReturnInst &RI);
2207adc3a2bSChandler Carruth   bool visitBranchInst(BranchInst &BI);
2217adc3a2bSChandler Carruth   bool visitSwitchInst(SwitchInst &SI);
2227adc3a2bSChandler Carruth   bool visitIndirectBrInst(IndirectBrInst &IBI);
2237adc3a2bSChandler Carruth   bool visitResumeInst(ResumeInst &RI);
2247adc3a2bSChandler Carruth   bool visitCleanupReturnInst(CleanupReturnInst &RI);
2257adc3a2bSChandler Carruth   bool visitCatchReturnInst(CatchReturnInst &RI);
2267adc3a2bSChandler Carruth   bool visitUnreachableInst(UnreachableInst &I);
2277adc3a2bSChandler Carruth 
2287adc3a2bSChandler Carruth public:
229ab6a6837SSean Silva   CallAnalyzer(const TargetTransformInfo &TTI,
230aec2fa35SDaniel Jasper                std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
23112585b01SEaswaran Raman                Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI,
2321c57cc2bSEaswaran Raman                ProfileSummaryInfo *PSI, Function &Callee, CallSite CSArg,
2331c57cc2bSEaswaran Raman                const InlineParams &Params)
23412585b01SEaswaran Raman       : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI),
23585be8ca8SEric Christopher         PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()),
23685be8ca8SEric Christopher         CandidateCS(CSArg), Params(Params), Threshold(Params.DefaultThreshold),
23785be8ca8SEric Christopher         Cost(0), IsCallerRecursive(false), IsRecursiveCall(false),
23885be8ca8SEric Christopher         ExposesReturnsTwice(false), HasDynamicAlloca(false),
23985be8ca8SEric Christopher         ContainsNoDuplicateCall(false), HasReturn(false), HasIndirectBr(false),
24085be8ca8SEric Christopher         HasFrameEscape(false), AllocatedSize(0), NumInstructions(0),
24151b809bfSEaswaran Raman         NumVectorInstructions(0), VectorBonus(0), SingleBBBonus(0),
24251b809bfSEaswaran Raman         NumConstantArgs(0), NumConstantOffsetPtrArgs(0), NumAllocaArgs(0),
24351b809bfSEaswaran Raman         NumConstantPtrCmps(0), NumConstantPtrDiffs(0),
24451b809bfSEaswaran Raman         NumInstructionsSimplified(0), SROACostSavings(0),
24551b809bfSEaswaran Raman         SROACostSavingsLost(0) {}
2467adc3a2bSChandler Carruth 
2477adc3a2bSChandler Carruth   bool analyzeCall(CallSite CS);
2487adc3a2bSChandler Carruth 
2497adc3a2bSChandler Carruth   int getThreshold() { return Threshold; }
2507adc3a2bSChandler Carruth   int getCost() { return Cost; }
2517adc3a2bSChandler Carruth 
2527adc3a2bSChandler Carruth   // Keep a bunch of stats about the cost savings found so we can print them
2537adc3a2bSChandler Carruth   // out when debugging.
2547adc3a2bSChandler Carruth   unsigned NumConstantArgs;
2557adc3a2bSChandler Carruth   unsigned NumConstantOffsetPtrArgs;
2567adc3a2bSChandler Carruth   unsigned NumAllocaArgs;
2577adc3a2bSChandler Carruth   unsigned NumConstantPtrCmps;
2587adc3a2bSChandler Carruth   unsigned NumConstantPtrDiffs;
2597adc3a2bSChandler Carruth   unsigned NumInstructionsSimplified;
2607adc3a2bSChandler Carruth   unsigned SROACostSavings;
2617adc3a2bSChandler Carruth   unsigned SROACostSavingsLost;
2627adc3a2bSChandler Carruth 
2637adc3a2bSChandler Carruth   void dump();
2647adc3a2bSChandler Carruth };
2657adc3a2bSChandler Carruth 
2667adc3a2bSChandler Carruth } // namespace
2677adc3a2bSChandler Carruth 
2687adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument.
2697adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) {
2707adc3a2bSChandler Carruth   return SROAArgValues.count(V);
2717adc3a2bSChandler Carruth }
2727adc3a2bSChandler Carruth 
2737adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to.
2747adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate.
2757adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost(
2767adc3a2bSChandler Carruth     Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) {
2777adc3a2bSChandler Carruth   if (SROAArgValues.empty() || SROAArgCosts.empty())
2787adc3a2bSChandler Carruth     return false;
2797adc3a2bSChandler Carruth 
2807adc3a2bSChandler Carruth   DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V);
2817adc3a2bSChandler Carruth   if (ArgIt == SROAArgValues.end())
2827adc3a2bSChandler Carruth     return false;
2837adc3a2bSChandler Carruth 
2847adc3a2bSChandler Carruth   Arg = ArgIt->second;
2857adc3a2bSChandler Carruth   CostIt = SROAArgCosts.find(Arg);
2867adc3a2bSChandler Carruth   return CostIt != SROAArgCosts.end();
2877adc3a2bSChandler Carruth }
2887adc3a2bSChandler Carruth 
2897adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator.
2907adc3a2bSChandler Carruth ///
2917adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost
2927adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement.
2937adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) {
2947adc3a2bSChandler Carruth   // If we're no longer able to perform SROA we need to undo its cost savings
2957adc3a2bSChandler Carruth   // and prevent subsequent analysis.
2967adc3a2bSChandler Carruth   Cost += CostIt->second;
2977adc3a2bSChandler Carruth   SROACostSavings -= CostIt->second;
2987adc3a2bSChandler Carruth   SROACostSavingsLost += CostIt->second;
2997adc3a2bSChandler Carruth   SROAArgCosts.erase(CostIt);
3007adc3a2bSChandler Carruth }
3017adc3a2bSChandler Carruth 
3027adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it.
3037adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) {
3047adc3a2bSChandler Carruth   Value *SROAArg;
3057adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
3067adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(V, SROAArg, CostIt))
3077adc3a2bSChandler Carruth     disableSROA(CostIt);
3087adc3a2bSChandler Carruth }
3097adc3a2bSChandler Carruth 
3107adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate.
3117adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt,
3127adc3a2bSChandler Carruth                                       int InstructionCost) {
3137adc3a2bSChandler Carruth   CostIt->second += InstructionCost;
3147adc3a2bSChandler Carruth   SROACostSavings += InstructionCost;
3157adc3a2bSChandler Carruth }
3167adc3a2bSChandler Carruth 
3177adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible.
3187adc3a2bSChandler Carruth ///
3197adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any
3207adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite.
3217adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) {
3227adc3a2bSChandler Carruth   unsigned IntPtrWidth = DL.getPointerSizeInBits();
3237adc3a2bSChandler Carruth   assert(IntPtrWidth == Offset.getBitWidth());
3247adc3a2bSChandler Carruth 
3257adc3a2bSChandler Carruth   for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP);
3267adc3a2bSChandler Carruth        GTI != GTE; ++GTI) {
3277adc3a2bSChandler Carruth     ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand());
3287adc3a2bSChandler Carruth     if (!OpC)
3297adc3a2bSChandler Carruth       if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand()))
3307adc3a2bSChandler Carruth         OpC = dyn_cast<ConstantInt>(SimpleOp);
3317adc3a2bSChandler Carruth     if (!OpC)
3327adc3a2bSChandler Carruth       return false;
333567556aaSChad Rosier     if (OpC->isZero())
334567556aaSChad Rosier       continue;
3357adc3a2bSChandler Carruth 
3367adc3a2bSChandler Carruth     // Handle a struct index, which adds its field offset to the pointer.
337ab85225bSPeter Collingbourne     if (StructType *STy = GTI.getStructTypeOrNull()) {
3387adc3a2bSChandler Carruth       unsigned ElementIdx = OpC->getZExtValue();
3397adc3a2bSChandler Carruth       const StructLayout *SL = DL.getStructLayout(STy);
3407adc3a2bSChandler Carruth       Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx));
3417adc3a2bSChandler Carruth       continue;
3427adc3a2bSChandler Carruth     }
3437adc3a2bSChandler Carruth 
3447adc3a2bSChandler Carruth     APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType()));
3457adc3a2bSChandler Carruth     Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize;
3467adc3a2bSChandler Carruth   }
3477adc3a2bSChandler Carruth   return true;
3487adc3a2bSChandler Carruth }
3497adc3a2bSChandler Carruth 
350201b191bSHaicheng Wu /// \brief Use TTI to check whether a GEP is free.
351201b191bSHaicheng Wu ///
352201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite.
353201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) {
35461c1bd5aSEvgeny Astigeevich   SmallVector<Value *, 4> Operands;
35561c1bd5aSEvgeny Astigeevich   Operands.push_back(GEP.getOperand(0));
356201b191bSHaicheng Wu   for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I)
357201b191bSHaicheng Wu     if (Constant *SimpleOp = SimplifiedValues.lookup(*I))
35861c1bd5aSEvgeny Astigeevich        Operands.push_back(SimpleOp);
359201b191bSHaicheng Wu      else
36061c1bd5aSEvgeny Astigeevich        Operands.push_back(*I);
36161c1bd5aSEvgeny Astigeevich   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&GEP, Operands);
362201b191bSHaicheng Wu }
363201b191bSHaicheng Wu 
3647adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) {
3657adc3a2bSChandler Carruth   // Check whether inlining will turn a dynamic alloca into a static
3660f153424SSanjay Patel   // alloca and handle that case.
3677adc3a2bSChandler Carruth   if (I.isArrayAllocation()) {
3680f153424SSanjay Patel     Constant *Size = SimplifiedValues.lookup(I.getArraySize());
3690f153424SSanjay Patel     if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) {
3707adc3a2bSChandler Carruth       Type *Ty = I.getAllocatedType();
37122eb80a1SEaswaran Raman       AllocatedSize = SaturatingMultiplyAdd(
37222eb80a1SEaswaran Raman           AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize);
3737adc3a2bSChandler Carruth       return Base::visitAlloca(I);
3747adc3a2bSChandler Carruth     }
3757adc3a2bSChandler Carruth   }
3767adc3a2bSChandler Carruth 
3777adc3a2bSChandler Carruth   // Accumulate the allocated size.
3787adc3a2bSChandler Carruth   if (I.isStaticAlloca()) {
3797adc3a2bSChandler Carruth     Type *Ty = I.getAllocatedType();
38022eb80a1SEaswaran Raman     AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize);
3817adc3a2bSChandler Carruth   }
3827adc3a2bSChandler Carruth 
3837adc3a2bSChandler Carruth   // We will happily inline static alloca instructions.
3847adc3a2bSChandler Carruth   if (I.isStaticAlloca())
3857adc3a2bSChandler Carruth     return Base::visitAlloca(I);
3867adc3a2bSChandler Carruth 
3877adc3a2bSChandler Carruth   // FIXME: This is overly conservative. Dynamic allocas are inefficient for
3887adc3a2bSChandler Carruth   // a variety of reasons, and so we would like to not inline them into
3897adc3a2bSChandler Carruth   // functions which don't currently have a dynamic alloca. This simply
3907adc3a2bSChandler Carruth   // disables inlining altogether in the presence of a dynamic alloca.
3917adc3a2bSChandler Carruth   HasDynamicAlloca = true;
3927adc3a2bSChandler Carruth   return false;
3937adc3a2bSChandler Carruth }
3947adc3a2bSChandler Carruth 
3957adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) {
3967adc3a2bSChandler Carruth   // FIXME: We should potentially be tracking values through phi nodes,
3977adc3a2bSChandler Carruth   // especially when they collapse to a single value due to deleted CFG edges
3987adc3a2bSChandler Carruth   // during inlining.
3997adc3a2bSChandler Carruth 
4007adc3a2bSChandler Carruth   // FIXME: We need to propagate SROA *disabling* through phi nodes, even
4017adc3a2bSChandler Carruth   // though we don't want to propagate it's bonuses. The idea is to disable
4027adc3a2bSChandler Carruth   // SROA if it *might* be used in an inappropriate manner.
4037adc3a2bSChandler Carruth 
4047adc3a2bSChandler Carruth   // Phi nodes are always zero-cost.
4057adc3a2bSChandler Carruth   return true;
4067adc3a2bSChandler Carruth }
4077adc3a2bSChandler Carruth 
4087adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) {
4097adc3a2bSChandler Carruth   Value *SROAArg;
4107adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
411567556aaSChad Rosier   bool SROACandidate =
412567556aaSChad Rosier       lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt);
4137adc3a2bSChandler Carruth 
4147adc3a2bSChandler Carruth   // Try to fold GEPs of constant-offset call site argument pointers. This
4157adc3a2bSChandler Carruth   // requires target data and inbounds GEPs.
4167adc3a2bSChandler Carruth   if (I.isInBounds()) {
4177adc3a2bSChandler Carruth     // Check if we have a base + offset for the pointer.
4187adc3a2bSChandler Carruth     Value *Ptr = I.getPointerOperand();
4197adc3a2bSChandler Carruth     std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Ptr);
4207adc3a2bSChandler Carruth     if (BaseAndOffset.first) {
4217adc3a2bSChandler Carruth       // Check if the offset of this GEP is constant, and if so accumulate it
4227adc3a2bSChandler Carruth       // into Offset.
4237adc3a2bSChandler Carruth       if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second)) {
4247adc3a2bSChandler Carruth         // Non-constant GEPs aren't folded, and disable SROA.
4257adc3a2bSChandler Carruth         if (SROACandidate)
4267adc3a2bSChandler Carruth           disableSROA(CostIt);
427201b191bSHaicheng Wu         return isGEPFree(I);
4287adc3a2bSChandler Carruth       }
4297adc3a2bSChandler Carruth 
4307adc3a2bSChandler Carruth       // Add the result as a new mapping to Base + Offset.
4317adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
4327adc3a2bSChandler Carruth 
4337adc3a2bSChandler Carruth       // Also handle SROA candidates here, we already know that the GEP is
4347adc3a2bSChandler Carruth       // all-constant indexed.
4357adc3a2bSChandler Carruth       if (SROACandidate)
4367adc3a2bSChandler Carruth         SROAArgValues[&I] = SROAArg;
4377adc3a2bSChandler Carruth 
4387adc3a2bSChandler Carruth       return true;
4397adc3a2bSChandler Carruth     }
4407adc3a2bSChandler Carruth   }
4417adc3a2bSChandler Carruth 
442a8b9cdc9SEaswaran Raman   // Lambda to check whether a GEP's indices are all constant.
443a8b9cdc9SEaswaran Raman   auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) {
444a8b9cdc9SEaswaran Raman     for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I)
445a8b9cdc9SEaswaran Raman       if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I))
446a8b9cdc9SEaswaran Raman         return false;
447a8b9cdc9SEaswaran Raman     return true;
448a8b9cdc9SEaswaran Raman   };
449a8b9cdc9SEaswaran Raman 
450a8b9cdc9SEaswaran Raman   if (IsGEPOffsetConstant(I)) {
4517adc3a2bSChandler Carruth     if (SROACandidate)
4527adc3a2bSChandler Carruth       SROAArgValues[&I] = SROAArg;
4537adc3a2bSChandler Carruth 
4547adc3a2bSChandler Carruth     // Constant GEPs are modeled as free.
4557adc3a2bSChandler Carruth     return true;
4567adc3a2bSChandler Carruth   }
4577adc3a2bSChandler Carruth 
4587adc3a2bSChandler Carruth   // Variable GEPs will require math and will disable SROA.
4597adc3a2bSChandler Carruth   if (SROACandidate)
4607adc3a2bSChandler Carruth     disableSROA(CostIt);
461201b191bSHaicheng Wu   return isGEPFree(I);
4627adc3a2bSChandler Carruth }
4637adc3a2bSChandler Carruth 
464617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues.
465617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the
466617f6364SEaswaran Raman /// instruction when all the operands are constants.
467617f6364SEaswaran Raman template <typename Callable>
468617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) {
469617f6364SEaswaran Raman   SmallVector<Constant *, 2> COps;
470617f6364SEaswaran Raman   for (Value *Op : I.operands()) {
471617f6364SEaswaran Raman     Constant *COp = dyn_cast<Constant>(Op);
4727adc3a2bSChandler Carruth     if (!COp)
473617f6364SEaswaran Raman       COp = SimplifiedValues.lookup(Op);
474617f6364SEaswaran Raman     if (!COp)
475617f6364SEaswaran Raman       return false;
476617f6364SEaswaran Raman     COps.push_back(COp);
477617f6364SEaswaran Raman   }
478617f6364SEaswaran Raman   auto *C = Evaluate(COps);
479617f6364SEaswaran Raman   if (!C)
480617f6364SEaswaran Raman     return false;
4817adc3a2bSChandler Carruth   SimplifiedValues[&I] = C;
4827adc3a2bSChandler Carruth   return true;
4837adc3a2bSChandler Carruth }
4847adc3a2bSChandler Carruth 
485617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) {
486617f6364SEaswaran Raman   // Propagate constants through bitcasts.
487617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
488617f6364SEaswaran Raman         return ConstantExpr::getBitCast(COps[0], I.getType());
489617f6364SEaswaran Raman       }))
490617f6364SEaswaran Raman     return true;
491617f6364SEaswaran Raman 
4927adc3a2bSChandler Carruth   // Track base/offsets through casts
493567556aaSChad Rosier   std::pair<Value *, APInt> BaseAndOffset =
494567556aaSChad Rosier       ConstantOffsetPtrs.lookup(I.getOperand(0));
4957adc3a2bSChandler Carruth   // Casts don't change the offset, just wrap it up.
4967adc3a2bSChandler Carruth   if (BaseAndOffset.first)
4977adc3a2bSChandler Carruth     ConstantOffsetPtrs[&I] = BaseAndOffset;
4987adc3a2bSChandler Carruth 
4997adc3a2bSChandler Carruth   // Also look for SROA candidates here.
5007adc3a2bSChandler Carruth   Value *SROAArg;
5017adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
5027adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt))
5037adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
5047adc3a2bSChandler Carruth 
5057adc3a2bSChandler Carruth   // Bitcasts are always zero cost.
5067adc3a2bSChandler Carruth   return true;
5077adc3a2bSChandler Carruth }
5087adc3a2bSChandler Carruth 
5097adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) {
5107adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
511617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
512617f6364SEaswaran Raman         return ConstantExpr::getPtrToInt(COps[0], I.getType());
513617f6364SEaswaran Raman       }))
5147adc3a2bSChandler Carruth     return true;
5157adc3a2bSChandler Carruth 
5167adc3a2bSChandler Carruth   // Track base/offset pairs when converted to a plain integer provided the
5177adc3a2bSChandler Carruth   // integer is large enough to represent the pointer.
5187adc3a2bSChandler Carruth   unsigned IntegerSize = I.getType()->getScalarSizeInBits();
5197adc3a2bSChandler Carruth   if (IntegerSize >= DL.getPointerSizeInBits()) {
520567556aaSChad Rosier     std::pair<Value *, APInt> BaseAndOffset =
521567556aaSChad Rosier         ConstantOffsetPtrs.lookup(I.getOperand(0));
5227adc3a2bSChandler Carruth     if (BaseAndOffset.first)
5237adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
5247adc3a2bSChandler Carruth   }
5257adc3a2bSChandler Carruth 
5267adc3a2bSChandler Carruth   // This is really weird. Technically, ptrtoint will disable SROA. However,
5277adc3a2bSChandler Carruth   // unless that ptrtoint is *used* somewhere in the live basic blocks after
5287adc3a2bSChandler Carruth   // inlining, it will be nuked, and SROA should proceed. All of the uses which
5297adc3a2bSChandler Carruth   // would block SROA would also block SROA if applied directly to a pointer,
5307adc3a2bSChandler Carruth   // and so we can just add the integer in here. The only places where SROA is
5317adc3a2bSChandler Carruth   // preserved either cannot fire on an integer, or won't in-and-of themselves
5327adc3a2bSChandler Carruth   // disable SROA (ext) w/o some later use that we would see and disable.
5337adc3a2bSChandler Carruth   Value *SROAArg;
5347adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
5357adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt))
5367adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
5377adc3a2bSChandler Carruth 
5387adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
5397adc3a2bSChandler Carruth }
5407adc3a2bSChandler Carruth 
5417adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) {
5427adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
543617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
544617f6364SEaswaran Raman         return ConstantExpr::getIntToPtr(COps[0], I.getType());
545617f6364SEaswaran Raman       }))
5467adc3a2bSChandler Carruth     return true;
5477adc3a2bSChandler Carruth 
5487adc3a2bSChandler Carruth   // Track base/offset pairs when round-tripped through a pointer without
5497adc3a2bSChandler Carruth   // modifications provided the integer is not too large.
5507adc3a2bSChandler Carruth   Value *Op = I.getOperand(0);
5517adc3a2bSChandler Carruth   unsigned IntegerSize = Op->getType()->getScalarSizeInBits();
5527adc3a2bSChandler Carruth   if (IntegerSize <= DL.getPointerSizeInBits()) {
5537adc3a2bSChandler Carruth     std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op);
5547adc3a2bSChandler Carruth     if (BaseAndOffset.first)
5557adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
5567adc3a2bSChandler Carruth   }
5577adc3a2bSChandler Carruth 
5587adc3a2bSChandler Carruth   // "Propagate" SROA here in the same manner as we do for ptrtoint above.
5597adc3a2bSChandler Carruth   Value *SROAArg;
5607adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
5617adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(Op, SROAArg, CostIt))
5627adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
5637adc3a2bSChandler Carruth 
5647adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
5657adc3a2bSChandler Carruth }
5667adc3a2bSChandler Carruth 
5677adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) {
5687adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
569617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
570617f6364SEaswaran Raman         return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType());
571617f6364SEaswaran Raman       }))
5727adc3a2bSChandler Carruth     return true;
5737adc3a2bSChandler Carruth 
5747adc3a2bSChandler Carruth   // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere.
5757adc3a2bSChandler Carruth   disableSROA(I.getOperand(0));
5767adc3a2bSChandler Carruth 
5777adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
5787adc3a2bSChandler Carruth }
5797adc3a2bSChandler Carruth 
5807adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) {
5817adc3a2bSChandler Carruth   Value *Operand = I.getOperand(0);
582617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
583617f6364SEaswaran Raman         return ConstantFoldInstOperands(&I, COps[0], DL);
584617f6364SEaswaran Raman       }))
5857adc3a2bSChandler Carruth     return true;
5867adc3a2bSChandler Carruth 
5877adc3a2bSChandler Carruth   // Disable any SROA on the argument to arbitrary unary operators.
5887adc3a2bSChandler Carruth   disableSROA(Operand);
5897adc3a2bSChandler Carruth 
5907adc3a2bSChandler Carruth   return false;
5917adc3a2bSChandler Carruth }
5927adc3a2bSChandler Carruth 
5937adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) {
594fb502d2fSReid Kleckner   return CandidateCS.paramHasAttr(A->getArgNo(), Attr);
5957adc3a2bSChandler Carruth }
5967adc3a2bSChandler Carruth 
5977adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) {
5987adc3a2bSChandler Carruth   // Does the *call site* have the NonNull attribute set on an argument?  We
5997adc3a2bSChandler Carruth   // use the attribute on the call site to memoize any analysis done in the
6007adc3a2bSChandler Carruth   // caller. This will also trip if the callee function has a non-null
6017adc3a2bSChandler Carruth   // parameter attribute, but that's a less interesting case because hopefully
6027adc3a2bSChandler Carruth   // the callee would already have been simplified based on that.
6037adc3a2bSChandler Carruth   if (Argument *A = dyn_cast<Argument>(V))
6047adc3a2bSChandler Carruth     if (paramHasAttr(A, Attribute::NonNull))
6057adc3a2bSChandler Carruth       return true;
6067adc3a2bSChandler Carruth 
6077adc3a2bSChandler Carruth   // Is this an alloca in the caller?  This is distinct from the attribute case
6087adc3a2bSChandler Carruth   // above because attributes aren't updated within the inliner itself and we
6097adc3a2bSChandler Carruth   // always want to catch the alloca derived case.
6107adc3a2bSChandler Carruth   if (isAllocaDerivedArg(V))
6117adc3a2bSChandler Carruth     // We can actually predict the result of comparisons between an
6127adc3a2bSChandler Carruth     // alloca-derived value and null. Note that this fires regardless of
6137adc3a2bSChandler Carruth     // SROA firing.
6147adc3a2bSChandler Carruth     return true;
6157adc3a2bSChandler Carruth 
6167adc3a2bSChandler Carruth   return false;
6177adc3a2bSChandler Carruth }
6187adc3a2bSChandler Carruth 
6199a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) {
6209a3fc17aSEaswaran Raman   // If the normal destination of the invoke or the parent block of the call
6219a3fc17aSEaswaran Raman   // site is unreachable-terminated, there is little point in inlining this
6229a3fc17aSEaswaran Raman   // unless there is literally zero cost.
6239a3fc17aSEaswaran Raman   // FIXME: Note that it is possible that an unreachable-terminated block has a
6249a3fc17aSEaswaran Raman   // hot entry. For example, in below scenario inlining hot_call_X() may be
6259a3fc17aSEaswaran Raman   // beneficial :
6269a3fc17aSEaswaran Raman   // main() {
6279a3fc17aSEaswaran Raman   //   hot_call_1();
6289a3fc17aSEaswaran Raman   //   ...
6299a3fc17aSEaswaran Raman   //   hot_call_N()
6309a3fc17aSEaswaran Raman   //   exit(0);
6319a3fc17aSEaswaran Raman   // }
6329a3fc17aSEaswaran Raman   // For now, we are not handling this corner case here as it is rare in real
6339a3fc17aSEaswaran Raman   // code. In future, we should elaborate this based on BPI and BFI in more
6349a3fc17aSEaswaran Raman   // general threshold adjusting heuristics in updateThreshold().
6359a3fc17aSEaswaran Raman   Instruction *Instr = CS.getInstruction();
6369a3fc17aSEaswaran Raman   if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) {
6379a3fc17aSEaswaran Raman     if (isa<UnreachableInst>(II->getNormalDest()->getTerminator()))
6389a3fc17aSEaswaran Raman       return false;
6399a3fc17aSEaswaran Raman   } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator()))
6409a3fc17aSEaswaran Raman     return false;
6419a3fc17aSEaswaran Raman 
6429a3fc17aSEaswaran Raman   return true;
6439a3fc17aSEaswaran Raman }
6449a3fc17aSEaswaran Raman 
645c5fa6358SEaswaran Raman bool CallAnalyzer::isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI) {
646c5fa6358SEaswaran Raman   // If global profile summary is available, then callsite's coldness is
647c5fa6358SEaswaran Raman   // determined based on that.
648c5fa6358SEaswaran Raman   if (PSI->hasProfileSummary())
649c5fa6358SEaswaran Raman     return PSI->isColdCallSite(CS, CallerBFI);
650c5fa6358SEaswaran Raman   if (!CallerBFI)
651c5fa6358SEaswaran Raman     return false;
652c5fa6358SEaswaran Raman 
653c5fa6358SEaswaran Raman   // In the absence of global profile summary, determine if the callsite is cold
654c5fa6358SEaswaran Raman   // relative to caller's entry. We could potentially cache the computation of
655c5fa6358SEaswaran Raman   // scaled entry frequency, but the added complexity is not worth it unless
656c5fa6358SEaswaran Raman   // this scaling shows up high in the profiles.
657c5fa6358SEaswaran Raman   const BranchProbability ColdProb(ColdCallSiteRelFreq, 100);
658c5fa6358SEaswaran Raman   auto CallSiteBB = CS.getInstruction()->getParent();
659c5fa6358SEaswaran Raman   auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB);
660c5fa6358SEaswaran Raman   auto CallerEntryFreq =
661c5fa6358SEaswaran Raman       CallerBFI->getBlockFreq(&(CS.getCaller()->getEntryBlock()));
662c5fa6358SEaswaran Raman   return CallSiteFreq < CallerEntryFreq * ColdProb;
663c5fa6358SEaswaran Raman }
664c5fa6358SEaswaran Raman 
665f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) {
6669a3fc17aSEaswaran Raman   // If no size growth is allowed for this inlining, set Threshold to 0.
6679a3fc17aSEaswaran Raman   if (!allowSizeGrowth(CS)) {
6689a3fc17aSEaswaran Raman     Threshold = 0;
6699a3fc17aSEaswaran Raman     return;
6709a3fc17aSEaswaran Raman   }
6719a3fc17aSEaswaran Raman 
672bb578ef0SEaswaran Raman   Function *Caller = CS.getCaller();
6731c57cc2bSEaswaran Raman 
6741c57cc2bSEaswaran Raman   // return min(A, B) if B is valid.
6751c57cc2bSEaswaran Raman   auto MinIfValid = [](int A, Optional<int> B) {
6761c57cc2bSEaswaran Raman     return B ? std::min(A, B.getValue()) : A;
6771c57cc2bSEaswaran Raman   };
6781c57cc2bSEaswaran Raman 
6790d58fcacSEaswaran Raman   // return max(A, B) if B is valid.
6800d58fcacSEaswaran Raman   auto MaxIfValid = [](int A, Optional<int> B) {
6810d58fcacSEaswaran Raman     return B ? std::max(A, B.getValue()) : A;
6820d58fcacSEaswaran Raman   };
6830d58fcacSEaswaran Raman 
68451b809bfSEaswaran Raman   // Various bonus percentages. These are multiplied by Threshold to get the
68551b809bfSEaswaran Raman   // bonus values.
68651b809bfSEaswaran Raman   // SingleBBBonus: This bonus is applied if the callee has a single reachable
68751b809bfSEaswaran Raman   // basic block at the given callsite context. This is speculatively applied
68851b809bfSEaswaran Raman   // and withdrawn if more than one basic block is seen.
68951b809bfSEaswaran Raman   //
69051b809bfSEaswaran Raman   // Vector bonuses: We want to more aggressively inline vector-dense kernels
69151b809bfSEaswaran Raman   // and apply this bonus based on the percentage of vector instructions. A
69251b809bfSEaswaran Raman   // bonus is applied if the vector instructions exceed 50% and half that amount
69351b809bfSEaswaran Raman   // is applied if it exceeds 10%. Note that these bonuses are some what
69451b809bfSEaswaran Raman   // arbitrary and evolved over time by accident as much as because they are
69551b809bfSEaswaran Raman   // principled bonuses.
69651b809bfSEaswaran Raman   // FIXME: It would be nice to base the bonus values on something more
69751b809bfSEaswaran Raman   // scientific.
69851b809bfSEaswaran Raman   //
69951b809bfSEaswaran Raman   // LstCallToStaticBonus: This large bonus is applied to ensure the inlining
70051b809bfSEaswaran Raman   // of the last call to a static function as inlining such functions is
70151b809bfSEaswaran Raman   // guaranteed to reduce code size.
70251b809bfSEaswaran Raman   //
70351b809bfSEaswaran Raman   // These bonus percentages may be set to 0 based on properties of the caller
70451b809bfSEaswaran Raman   // and the callsite.
70551b809bfSEaswaran Raman   int SingleBBBonusPercent = 50;
70651b809bfSEaswaran Raman   int VectorBonusPercent = 150;
70751b809bfSEaswaran Raman   int LastCallToStaticBonus = InlineConstants::LastCallToStaticBonus;
70851b809bfSEaswaran Raman 
70951b809bfSEaswaran Raman   // Lambda to set all the above bonus and bonus percentages to 0.
71051b809bfSEaswaran Raman   auto DisallowAllBonuses = [&]() {
71151b809bfSEaswaran Raman     SingleBBBonusPercent = 0;
71251b809bfSEaswaran Raman     VectorBonusPercent = 0;
71351b809bfSEaswaran Raman     LastCallToStaticBonus = 0;
71451b809bfSEaswaran Raman   };
71551b809bfSEaswaran Raman 
7161c57cc2bSEaswaran Raman   // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available
7171c57cc2bSEaswaran Raman   // and reduce the threshold if the caller has the necessary attribute.
71851b809bfSEaswaran Raman   if (Caller->optForMinSize()) {
7191c57cc2bSEaswaran Raman     Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold);
72051b809bfSEaswaran Raman     // For minsize, we want to disable the single BB bonus and the vector
72151b809bfSEaswaran Raman     // bonuses, but not the last-call-to-static bonus. Inlining the last call to
72251b809bfSEaswaran Raman     // a static function will, at the minimum, eliminate the parameter setup and
72351b809bfSEaswaran Raman     // call/return instructions.
72451b809bfSEaswaran Raman     SingleBBBonusPercent = 0;
72551b809bfSEaswaran Raman     VectorBonusPercent = 0;
72651b809bfSEaswaran Raman   } else if (Caller->optForSize())
7271c57cc2bSEaswaran Raman     Threshold = MinIfValid(Threshold, Params.OptSizeThreshold);
728f4bb2f0dSEaswaran Raman 
729e08b139dSEaswaran Raman   // Adjust the threshold based on inlinehint attribute and profile based
730e08b139dSEaswaran Raman   // hotness information if the caller does not have MinSize attribute.
731e08b139dSEaswaran Raman   if (!Caller->optForMinSize()) {
732e08b139dSEaswaran Raman     if (Callee.hasFnAttribute(Attribute::InlineHint))
7330d58fcacSEaswaran Raman       Threshold = MaxIfValid(Threshold, Params.HintThreshold);
734e08b139dSEaswaran Raman     if (PSI) {
73512585b01SEaswaran Raman       BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr;
7363cd1479cSEaswaran Raman       // FIXME: After switching to the new passmanager, simplify the logic below
7373cd1479cSEaswaran Raman       // by checking only the callsite hotness/coldness. The check for CallerBFI
7383cd1479cSEaswaran Raman       // exists only because we do not have BFI available with the old PM.
7393cd1479cSEaswaran Raman       //
7403cd1479cSEaswaran Raman       // Use callee's hotness information only if we have no way of determining
7413cd1479cSEaswaran Raman       // callsite's hotness information. Callsite hotness can be determined if
7423cd1479cSEaswaran Raman       // sample profile is used (which adds hotness metadata to calls) or if
7433cd1479cSEaswaran Raman       // caller's BlockFrequencyInfo is available.
7443cd1479cSEaswaran Raman       if (CallerBFI || PSI->hasSampleProfile()) {
74512585b01SEaswaran Raman         if (PSI->isHotCallSite(CS, CallerBFI)) {
74612585b01SEaswaran Raman           DEBUG(dbgs() << "Hot callsite.\n");
7479907e9d8SDehao Chen           Threshold = Params.HotCallSiteThreshold.getValue();
748c5fa6358SEaswaran Raman         } else if (isColdCallSite(CS, CallerBFI)) {
7493cd1479cSEaswaran Raman           DEBUG(dbgs() << "Cold callsite.\n");
75051b809bfSEaswaran Raman           // Do not apply bonuses for a cold callsite including the
75151b809bfSEaswaran Raman           // LastCallToStatic bonus. While this bonus might result in code size
75251b809bfSEaswaran Raman           // reduction, it can cause the size of a non-cold caller to increase
75351b809bfSEaswaran Raman           // preventing it from being inlined.
75451b809bfSEaswaran Raman           DisallowAllBonuses();
7553cd1479cSEaswaran Raman           Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold);
7563cd1479cSEaswaran Raman         }
7573cd1479cSEaswaran Raman       } else {
7583cd1479cSEaswaran Raman         if (PSI->isFunctionEntryHot(&Callee)) {
75912585b01SEaswaran Raman           DEBUG(dbgs() << "Hot callee.\n");
760e08b139dSEaswaran Raman           // If callsite hotness can not be determined, we may still know
761e08b139dSEaswaran Raman           // that the callee is hot and treat it as a weaker hint for threshold
762e08b139dSEaswaran Raman           // increase.
763e08b139dSEaswaran Raman           Threshold = MaxIfValid(Threshold, Params.HintThreshold);
764e08b139dSEaswaran Raman         } else if (PSI->isFunctionEntryCold(&Callee)) {
76512585b01SEaswaran Raman           DEBUG(dbgs() << "Cold callee.\n");
76651b809bfSEaswaran Raman           // Do not apply bonuses for a cold callee including the
76751b809bfSEaswaran Raman           // LastCallToStatic bonus. While this bonus might result in code size
76851b809bfSEaswaran Raman           // reduction, it can cause the size of a non-cold caller to increase
76951b809bfSEaswaran Raman           // preventing it from being inlined.
77051b809bfSEaswaran Raman           DisallowAllBonuses();
7711c57cc2bSEaswaran Raman           Threshold = MinIfValid(Threshold, Params.ColdThreshold);
772e08b139dSEaswaran Raman         }
773e08b139dSEaswaran Raman       }
774e08b139dSEaswaran Raman     }
7753cd1479cSEaswaran Raman   }
7768650a4daSJustin Lebar 
7778650a4daSJustin Lebar   // Finally, take the target-specific inlining threshold multiplier into
7788650a4daSJustin Lebar   // account.
7798650a4daSJustin Lebar   Threshold *= TTI.getInliningThresholdMultiplier();
78051b809bfSEaswaran Raman 
78151b809bfSEaswaran Raman   SingleBBBonus = Threshold * SingleBBBonusPercent / 100;
78251b809bfSEaswaran Raman   VectorBonus = Threshold * VectorBonusPercent / 100;
78351b809bfSEaswaran Raman 
78451b809bfSEaswaran Raman   bool OnlyOneCallAndLocalLinkage =
78551b809bfSEaswaran Raman       F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction();
78651b809bfSEaswaran Raman   // If there is only one call of the function, and it has internal linkage,
78751b809bfSEaswaran Raman   // the cost of inlining it drops dramatically. It may seem odd to update
78851b809bfSEaswaran Raman   // Cost in updateThreshold, but the bonus depends on the logic in this method.
78951b809bfSEaswaran Raman   if (OnlyOneCallAndLocalLinkage)
79051b809bfSEaswaran Raman     Cost -= LastCallToStaticBonus;
791f4bb2f0dSEaswaran Raman }
792f4bb2f0dSEaswaran Raman 
7937adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) {
7947adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
7957adc3a2bSChandler Carruth   // First try to handle simplified comparisons.
796617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
797617f6364SEaswaran Raman         return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]);
798617f6364SEaswaran Raman       }))
7997adc3a2bSChandler Carruth     return true;
8007adc3a2bSChandler Carruth 
8017adc3a2bSChandler Carruth   if (I.getOpcode() == Instruction::FCmp)
8027adc3a2bSChandler Carruth     return false;
8037adc3a2bSChandler Carruth 
8047adc3a2bSChandler Carruth   // Otherwise look for a comparison between constant offset pointers with
8057adc3a2bSChandler Carruth   // a common base.
8067adc3a2bSChandler Carruth   Value *LHSBase, *RHSBase;
8077adc3a2bSChandler Carruth   APInt LHSOffset, RHSOffset;
8087adc3a2bSChandler Carruth   std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS);
8097adc3a2bSChandler Carruth   if (LHSBase) {
8107adc3a2bSChandler Carruth     std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS);
8117adc3a2bSChandler Carruth     if (RHSBase && LHSBase == RHSBase) {
8127adc3a2bSChandler Carruth       // We have common bases, fold the icmp to a constant based on the
8137adc3a2bSChandler Carruth       // offsets.
8147adc3a2bSChandler Carruth       Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset);
8157adc3a2bSChandler Carruth       Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset);
8167adc3a2bSChandler Carruth       if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) {
8177adc3a2bSChandler Carruth         SimplifiedValues[&I] = C;
8187adc3a2bSChandler Carruth         ++NumConstantPtrCmps;
8197adc3a2bSChandler Carruth         return true;
8207adc3a2bSChandler Carruth       }
8217adc3a2bSChandler Carruth     }
8227adc3a2bSChandler Carruth   }
8237adc3a2bSChandler Carruth 
8247adc3a2bSChandler Carruth   // If the comparison is an equality comparison with null, we can simplify it
8257adc3a2bSChandler Carruth   // if we know the value (argument) can't be null
8267adc3a2bSChandler Carruth   if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) &&
8277adc3a2bSChandler Carruth       isKnownNonNullInCallee(I.getOperand(0))) {
8287adc3a2bSChandler Carruth     bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE;
8297adc3a2bSChandler Carruth     SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType())
8307adc3a2bSChandler Carruth                                       : ConstantInt::getFalse(I.getType());
8317adc3a2bSChandler Carruth     return true;
8327adc3a2bSChandler Carruth   }
8337adc3a2bSChandler Carruth   // Finally check for SROA candidates in comparisons.
8347adc3a2bSChandler Carruth   Value *SROAArg;
8357adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
8367adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) {
8377adc3a2bSChandler Carruth     if (isa<ConstantPointerNull>(I.getOperand(1))) {
8387adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
8397adc3a2bSChandler Carruth       return true;
8407adc3a2bSChandler Carruth     }
8417adc3a2bSChandler Carruth 
8427adc3a2bSChandler Carruth     disableSROA(CostIt);
8437adc3a2bSChandler Carruth   }
8447adc3a2bSChandler Carruth 
8457adc3a2bSChandler Carruth   return false;
8467adc3a2bSChandler Carruth }
8477adc3a2bSChandler Carruth 
848*2e1c050eSChad Rosier bool CallAnalyzer::visitOr(BinaryOperator &I) {
849*2e1c050eSChad Rosier   // This is necessary because the generic simplify instruction only works if
850*2e1c050eSChad Rosier   // both operands are constants.
851*2e1c050eSChad Rosier   for (unsigned i = 0; i < 2; ++i) {
852*2e1c050eSChad Rosier     if (ConstantInt *C = dyn_cast_or_null<ConstantInt>(
853*2e1c050eSChad Rosier             SimplifiedValues.lookup(I.getOperand(i))))
854*2e1c050eSChad Rosier       if (C->isAllOnesValue()) {
855*2e1c050eSChad Rosier         SimplifiedValues[&I] = C;
856*2e1c050eSChad Rosier         return true;
857*2e1c050eSChad Rosier       }
858*2e1c050eSChad Rosier   }
859*2e1c050eSChad Rosier   return Base::visitOr(I);
860*2e1c050eSChad Rosier }
861*2e1c050eSChad Rosier 
862*2e1c050eSChad Rosier bool CallAnalyzer::visitAnd(BinaryOperator &I) {
863*2e1c050eSChad Rosier   // This is necessary because the generic simplify instruction only works if
864*2e1c050eSChad Rosier   // both operands are constants.
865*2e1c050eSChad Rosier   for (unsigned i = 0; i < 2; ++i) {
866*2e1c050eSChad Rosier     if (ConstantInt *C = dyn_cast_or_null<ConstantInt>(
867*2e1c050eSChad Rosier             SimplifiedValues.lookup(I.getOperand(i))))
868*2e1c050eSChad Rosier       if (C->isZero()) {
869*2e1c050eSChad Rosier         SimplifiedValues[&I] = C;
870*2e1c050eSChad Rosier         return true;
871*2e1c050eSChad Rosier       }
872*2e1c050eSChad Rosier   }
873*2e1c050eSChad Rosier   return Base::visitAnd(I);
874*2e1c050eSChad Rosier }
875*2e1c050eSChad Rosier 
8767adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) {
8777adc3a2bSChandler Carruth   // Try to handle a special case: we can fold computing the difference of two
8787adc3a2bSChandler Carruth   // constant-related pointers.
8797adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
8807adc3a2bSChandler Carruth   Value *LHSBase, *RHSBase;
8817adc3a2bSChandler Carruth   APInt LHSOffset, RHSOffset;
8827adc3a2bSChandler Carruth   std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS);
8837adc3a2bSChandler Carruth   if (LHSBase) {
8847adc3a2bSChandler Carruth     std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS);
8857adc3a2bSChandler Carruth     if (RHSBase && LHSBase == RHSBase) {
8867adc3a2bSChandler Carruth       // We have common bases, fold the subtract to a constant based on the
8877adc3a2bSChandler Carruth       // offsets.
8887adc3a2bSChandler Carruth       Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset);
8897adc3a2bSChandler Carruth       Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset);
8907adc3a2bSChandler Carruth       if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) {
8917adc3a2bSChandler Carruth         SimplifiedValues[&I] = C;
8927adc3a2bSChandler Carruth         ++NumConstantPtrDiffs;
8937adc3a2bSChandler Carruth         return true;
8947adc3a2bSChandler Carruth       }
8957adc3a2bSChandler Carruth     }
8967adc3a2bSChandler Carruth   }
8977adc3a2bSChandler Carruth 
8987adc3a2bSChandler Carruth   // Otherwise, fall back to the generic logic for simplifying and handling
8997adc3a2bSChandler Carruth   // instructions.
9007adc3a2bSChandler Carruth   return Base::visitSub(I);
9017adc3a2bSChandler Carruth }
9027adc3a2bSChandler Carruth 
9037adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) {
9047adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
905617f6364SEaswaran Raman   auto Evaluate = [&](SmallVectorImpl<Constant *> &COps) {
9067adc3a2bSChandler Carruth     Value *SimpleV = nullptr;
9077adc3a2bSChandler Carruth     if (auto FI = dyn_cast<FPMathOperator>(&I))
908617f6364SEaswaran Raman       SimpleV = SimplifyFPBinOp(I.getOpcode(), COps[0], COps[1],
909617f6364SEaswaran Raman                                 FI->getFastMathFlags(), DL);
9107adc3a2bSChandler Carruth     else
911617f6364SEaswaran Raman       SimpleV = SimplifyBinOp(I.getOpcode(), COps[0], COps[1], DL);
912617f6364SEaswaran Raman     return dyn_cast_or_null<Constant>(SimpleV);
913617f6364SEaswaran Raman   };
9147adc3a2bSChandler Carruth 
915617f6364SEaswaran Raman   if (simplifyInstruction(I, Evaluate))
9167adc3a2bSChandler Carruth     return true;
9177adc3a2bSChandler Carruth 
9187adc3a2bSChandler Carruth   // Disable any SROA on arguments to arbitrary, unsimplified binary operators.
9197adc3a2bSChandler Carruth   disableSROA(LHS);
9207adc3a2bSChandler Carruth   disableSROA(RHS);
9217adc3a2bSChandler Carruth 
9227adc3a2bSChandler Carruth   return false;
9237adc3a2bSChandler Carruth }
9247adc3a2bSChandler Carruth 
9257adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) {
9267adc3a2bSChandler Carruth   Value *SROAArg;
9277adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
9287adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) {
9297adc3a2bSChandler Carruth     if (I.isSimple()) {
9307adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
9317adc3a2bSChandler Carruth       return true;
9327adc3a2bSChandler Carruth     }
9337adc3a2bSChandler Carruth 
9347adc3a2bSChandler Carruth     disableSROA(CostIt);
9357adc3a2bSChandler Carruth   }
9367adc3a2bSChandler Carruth 
9377adc3a2bSChandler Carruth   return false;
9387adc3a2bSChandler Carruth }
9397adc3a2bSChandler Carruth 
9407adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) {
9417adc3a2bSChandler Carruth   Value *SROAArg;
9427adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
9437adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) {
9447adc3a2bSChandler Carruth     if (I.isSimple()) {
9457adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
9467adc3a2bSChandler Carruth       return true;
9477adc3a2bSChandler Carruth     }
9487adc3a2bSChandler Carruth 
9497adc3a2bSChandler Carruth     disableSROA(CostIt);
9507adc3a2bSChandler Carruth   }
9517adc3a2bSChandler Carruth 
9527adc3a2bSChandler Carruth   return false;
9537adc3a2bSChandler Carruth }
9547adc3a2bSChandler Carruth 
9557adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) {
9567adc3a2bSChandler Carruth   // Constant folding for extract value is trivial.
957617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
958617f6364SEaswaran Raman         return ConstantExpr::getExtractValue(COps[0], I.getIndices());
959617f6364SEaswaran Raman       }))
9607adc3a2bSChandler Carruth     return true;
9617adc3a2bSChandler Carruth 
9627adc3a2bSChandler Carruth   // SROA can look through these but give them a cost.
9637adc3a2bSChandler Carruth   return false;
9647adc3a2bSChandler Carruth }
9657adc3a2bSChandler Carruth 
9667adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) {
9677adc3a2bSChandler Carruth   // Constant folding for insert value is trivial.
968617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
969617f6364SEaswaran Raman         return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0],
970617f6364SEaswaran Raman                                             /*InsertedValueOperand*/ COps[1],
971617f6364SEaswaran Raman                                             I.getIndices());
972617f6364SEaswaran Raman       }))
9737adc3a2bSChandler Carruth     return true;
9747adc3a2bSChandler Carruth 
9757adc3a2bSChandler Carruth   // SROA can look through these but give them a cost.
9767adc3a2bSChandler Carruth   return false;
9777adc3a2bSChandler Carruth }
9787adc3a2bSChandler Carruth 
9797adc3a2bSChandler Carruth /// \brief Try to simplify a call site.
9807adc3a2bSChandler Carruth ///
9817adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by
9827adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if
9837adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it
9847adc3a2bSChandler Carruth /// free.
9857adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) {
9867adc3a2bSChandler Carruth   // FIXME: Using the instsimplify logic directly for this is inefficient
9877adc3a2bSChandler Carruth   // because we have to continually rebuild the argument list even when no
9887adc3a2bSChandler Carruth   // simplifications can be performed. Until that is fixed with remapping
9897adc3a2bSChandler Carruth   // inside of instsimplify, directly constant fold calls here.
990647025f9SAndrew Kaylor   if (!canConstantFoldCallTo(CS, F))
9917adc3a2bSChandler Carruth     return false;
9927adc3a2bSChandler Carruth 
9937adc3a2bSChandler Carruth   // Try to re-map the arguments to constants.
9947adc3a2bSChandler Carruth   SmallVector<Constant *, 4> ConstantArgs;
9957adc3a2bSChandler Carruth   ConstantArgs.reserve(CS.arg_size());
996567556aaSChad Rosier   for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E;
997567556aaSChad Rosier        ++I) {
9987adc3a2bSChandler Carruth     Constant *C = dyn_cast<Constant>(*I);
9997adc3a2bSChandler Carruth     if (!C)
10007adc3a2bSChandler Carruth       C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I));
10017adc3a2bSChandler Carruth     if (!C)
10027adc3a2bSChandler Carruth       return false; // This argument doesn't map to a constant.
10037adc3a2bSChandler Carruth 
10047adc3a2bSChandler Carruth     ConstantArgs.push_back(C);
10057adc3a2bSChandler Carruth   }
1006647025f9SAndrew Kaylor   if (Constant *C = ConstantFoldCall(CS, F, ConstantArgs)) {
10077adc3a2bSChandler Carruth     SimplifiedValues[CS.getInstruction()] = C;
10087adc3a2bSChandler Carruth     return true;
10097adc3a2bSChandler Carruth   }
10107adc3a2bSChandler Carruth 
10117adc3a2bSChandler Carruth   return false;
10127adc3a2bSChandler Carruth }
10137adc3a2bSChandler Carruth 
10147adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) {
10157adc3a2bSChandler Carruth   if (CS.hasFnAttr(Attribute::ReturnsTwice) &&
10167adc3a2bSChandler Carruth       !F.hasFnAttribute(Attribute::ReturnsTwice)) {
10177adc3a2bSChandler Carruth     // This aborts the entire analysis.
10187adc3a2bSChandler Carruth     ExposesReturnsTwice = true;
10197adc3a2bSChandler Carruth     return false;
10207adc3a2bSChandler Carruth   }
1021567556aaSChad Rosier   if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate())
10227adc3a2bSChandler Carruth     ContainsNoDuplicateCall = true;
10237adc3a2bSChandler Carruth 
10247adc3a2bSChandler Carruth   if (Function *F = CS.getCalledFunction()) {
10257adc3a2bSChandler Carruth     // When we have a concrete function, first try to simplify it directly.
10267adc3a2bSChandler Carruth     if (simplifyCallSite(F, CS))
10277adc3a2bSChandler Carruth       return true;
10287adc3a2bSChandler Carruth 
10297adc3a2bSChandler Carruth     // Next check if it is an intrinsic we know about.
10307adc3a2bSChandler Carruth     // FIXME: Lift this into part of the InstVisitor.
10317adc3a2bSChandler Carruth     if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) {
10327adc3a2bSChandler Carruth       switch (II->getIntrinsicID()) {
10337adc3a2bSChandler Carruth       default:
10347adc3a2bSChandler Carruth         return Base::visitCallSite(CS);
10357adc3a2bSChandler Carruth 
10367dd8dbf4SPeter Collingbourne       case Intrinsic::load_relative:
10377dd8dbf4SPeter Collingbourne         // This is normally lowered to 4 LLVM instructions.
10387dd8dbf4SPeter Collingbourne         Cost += 3 * InlineConstants::InstrCost;
10397dd8dbf4SPeter Collingbourne         return false;
10407dd8dbf4SPeter Collingbourne 
10417adc3a2bSChandler Carruth       case Intrinsic::memset:
10427adc3a2bSChandler Carruth       case Intrinsic::memcpy:
10437adc3a2bSChandler Carruth       case Intrinsic::memmove:
10447adc3a2bSChandler Carruth         // SROA can usually chew through these intrinsics, but they aren't free.
10457adc3a2bSChandler Carruth         return false;
10467adc3a2bSChandler Carruth       case Intrinsic::localescape:
10477adc3a2bSChandler Carruth         HasFrameEscape = true;
10487adc3a2bSChandler Carruth         return false;
10497adc3a2bSChandler Carruth       }
10507adc3a2bSChandler Carruth     }
10517adc3a2bSChandler Carruth 
10527adc3a2bSChandler Carruth     if (F == CS.getInstruction()->getParent()->getParent()) {
10537adc3a2bSChandler Carruth       // This flag will fully abort the analysis, so don't bother with anything
10547adc3a2bSChandler Carruth       // else.
10557adc3a2bSChandler Carruth       IsRecursiveCall = true;
10567adc3a2bSChandler Carruth       return false;
10577adc3a2bSChandler Carruth     }
10587adc3a2bSChandler Carruth 
10597adc3a2bSChandler Carruth     if (TTI.isLoweredToCall(F)) {
10607adc3a2bSChandler Carruth       // We account for the average 1 instruction per call argument setup
10617adc3a2bSChandler Carruth       // here.
10627adc3a2bSChandler Carruth       Cost += CS.arg_size() * InlineConstants::InstrCost;
10637adc3a2bSChandler Carruth 
10647adc3a2bSChandler Carruth       // Everything other than inline ASM will also have a significant cost
10657adc3a2bSChandler Carruth       // merely from making the call.
10667adc3a2bSChandler Carruth       if (!isa<InlineAsm>(CS.getCalledValue()))
10677adc3a2bSChandler Carruth         Cost += InlineConstants::CallPenalty;
10687adc3a2bSChandler Carruth     }
10697adc3a2bSChandler Carruth 
10707adc3a2bSChandler Carruth     return Base::visitCallSite(CS);
10717adc3a2bSChandler Carruth   }
10727adc3a2bSChandler Carruth 
10737adc3a2bSChandler Carruth   // Otherwise we're in a very special case -- an indirect function call. See
10747adc3a2bSChandler Carruth   // if we can be particularly clever about this.
10757adc3a2bSChandler Carruth   Value *Callee = CS.getCalledValue();
10767adc3a2bSChandler Carruth 
10777adc3a2bSChandler Carruth   // First, pay the price of the argument setup. We account for the average
10787adc3a2bSChandler Carruth   // 1 instruction per call argument setup here.
10797adc3a2bSChandler Carruth   Cost += CS.arg_size() * InlineConstants::InstrCost;
10807adc3a2bSChandler Carruth 
10817adc3a2bSChandler Carruth   // Next, check if this happens to be an indirect function call to a known
10827adc3a2bSChandler Carruth   // function in this inline context. If not, we've done all we can.
10837adc3a2bSChandler Carruth   Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee));
10847adc3a2bSChandler Carruth   if (!F)
10857adc3a2bSChandler Carruth     return Base::visitCallSite(CS);
10867adc3a2bSChandler Carruth 
10877adc3a2bSChandler Carruth   // If we have a constant that we are calling as a function, we can peer
10887adc3a2bSChandler Carruth   // through it and see the function target. This happens not infrequently
10897adc3a2bSChandler Carruth   // during devirtualization and so we want to give it a hefty bonus for
10907adc3a2bSChandler Carruth   // inlining, but cap that bonus in the event that inlining wouldn't pan
10917adc3a2bSChandler Carruth   // out. Pretend to inline the function, with a custom threshold.
10921c57cc2bSEaswaran Raman   auto IndirectCallParams = Params;
10931c57cc2bSEaswaran Raman   IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold;
109412585b01SEaswaran Raman   CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, *F, CS,
109512585b01SEaswaran Raman                   IndirectCallParams);
10967adc3a2bSChandler Carruth   if (CA.analyzeCall(CS)) {
10977adc3a2bSChandler Carruth     // We were able to inline the indirect call! Subtract the cost from the
10986d90d9f1SEaswaran Raman     // threshold to get the bonus we want to apply, but don't go below zero.
10996d90d9f1SEaswaran Raman     Cost -= std::max(0, CA.getThreshold() - CA.getCost());
11007adc3a2bSChandler Carruth   }
11017adc3a2bSChandler Carruth 
11027adc3a2bSChandler Carruth   return Base::visitCallSite(CS);
11037adc3a2bSChandler Carruth }
11047adc3a2bSChandler Carruth 
11057adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) {
11067adc3a2bSChandler Carruth   // At least one return instruction will be free after inlining.
11077adc3a2bSChandler Carruth   bool Free = !HasReturn;
11087adc3a2bSChandler Carruth   HasReturn = true;
11097adc3a2bSChandler Carruth   return Free;
11107adc3a2bSChandler Carruth }
11117adc3a2bSChandler Carruth 
11127adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) {
11137adc3a2bSChandler Carruth   // We model unconditional branches as essentially free -- they really
11147adc3a2bSChandler Carruth   // shouldn't exist at all, but handling them makes the behavior of the
11157adc3a2bSChandler Carruth   // inliner more regular and predictable. Interestingly, conditional branches
11167adc3a2bSChandler Carruth   // which will fold away are also free.
11177adc3a2bSChandler Carruth   return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) ||
11187adc3a2bSChandler Carruth          dyn_cast_or_null<ConstantInt>(
11197adc3a2bSChandler Carruth              SimplifiedValues.lookup(BI.getCondition()));
11207adc3a2bSChandler Carruth }
11217adc3a2bSChandler Carruth 
11227adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) {
11237adc3a2bSChandler Carruth   // We model unconditional switches as free, see the comments on handling
11247adc3a2bSChandler Carruth   // branches.
11257adc3a2bSChandler Carruth   if (isa<ConstantInt>(SI.getCondition()))
11267adc3a2bSChandler Carruth     return true;
11277adc3a2bSChandler Carruth   if (Value *V = SimplifiedValues.lookup(SI.getCondition()))
11287adc3a2bSChandler Carruth     if (isa<ConstantInt>(V))
11297adc3a2bSChandler Carruth       return true;
11307adc3a2bSChandler Carruth 
11317ad02eeeSEric Christopher   // Assume the most general case where the switch is lowered into
1132919f9e8dSJun Bum Lim   // either a jump table, bit test, or a balanced binary tree consisting of
1133919f9e8dSJun Bum Lim   // case clusters without merging adjacent clusters with the same
1134919f9e8dSJun Bum Lim   // destination. We do not consider the switches that are lowered with a mix
1135919f9e8dSJun Bum Lim   // of jump table/bit test/binary search tree. The cost of the switch is
1136919f9e8dSJun Bum Lim   // proportional to the size of the tree or the size of jump table range.
11372960d41eSJun Bum Lim   //
11382960d41eSJun Bum Lim   // NB: We convert large switches which are just used to initialize large phi
11392960d41eSJun Bum Lim   // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent
11402960d41eSJun Bum Lim   // inlining those. It will prevent inlining in cases where the optimization
11412960d41eSJun Bum Lim   // does not (yet) fire.
1142919f9e8dSJun Bum Lim 
1143506cfb7aSJun Bum Lim   // Maximum valid cost increased in this function.
1144506cfb7aSJun Bum Lim   int CostUpperBound = INT_MAX - InlineConstants::InstrCost - 1;
1145506cfb7aSJun Bum Lim 
1146919f9e8dSJun Bum Lim   // Exit early for a large switch, assuming one case needs at least one
1147919f9e8dSJun Bum Lim   // instruction.
1148919f9e8dSJun Bum Lim   // FIXME: This is not true for a bit test, but ignore such case for now to
1149919f9e8dSJun Bum Lim   // save compile-time.
1150919f9e8dSJun Bum Lim   int64_t CostLowerBound =
1151506cfb7aSJun Bum Lim       std::min((int64_t)CostUpperBound,
1152919f9e8dSJun Bum Lim                (int64_t)SI.getNumCases() * InlineConstants::InstrCost + Cost);
1153919f9e8dSJun Bum Lim 
1154919f9e8dSJun Bum Lim   if (CostLowerBound > Threshold) {
1155919f9e8dSJun Bum Lim     Cost = CostLowerBound;
1156919f9e8dSJun Bum Lim     return false;
1157919f9e8dSJun Bum Lim   }
1158919f9e8dSJun Bum Lim 
1159919f9e8dSJun Bum Lim   unsigned JumpTableSize = 0;
1160919f9e8dSJun Bum Lim   unsigned NumCaseCluster =
1161919f9e8dSJun Bum Lim       TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize);
1162919f9e8dSJun Bum Lim 
1163919f9e8dSJun Bum Lim   // If suitable for a jump table, consider the cost for the table size and
1164919f9e8dSJun Bum Lim   // branch to destination.
1165919f9e8dSJun Bum Lim   if (JumpTableSize) {
1166919f9e8dSJun Bum Lim     int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost +
1167919f9e8dSJun Bum Lim                      4 * InlineConstants::InstrCost;
1168506cfb7aSJun Bum Lim 
1169506cfb7aSJun Bum Lim     Cost = std::min((int64_t)CostUpperBound, JTCost + Cost);
1170919f9e8dSJun Bum Lim     return false;
1171919f9e8dSJun Bum Lim   }
1172919f9e8dSJun Bum Lim 
1173919f9e8dSJun Bum Lim   // Considering forming a binary search, we should find the number of nodes
1174919f9e8dSJun Bum Lim   // which is same as the number of comparisons when lowered. For a given
1175919f9e8dSJun Bum Lim   // number of clusters, n, we can define a recursive function, f(n), to find
1176919f9e8dSJun Bum Lim   // the number of nodes in the tree. The recursion is :
1177919f9e8dSJun Bum Lim   // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3,
1178919f9e8dSJun Bum Lim   // and f(n) = n, when n <= 3.
1179919f9e8dSJun Bum Lim   // This will lead a binary tree where the leaf should be either f(2) or f(3)
1180919f9e8dSJun Bum Lim   // when n > 3.  So, the number of comparisons from leaves should be n, while
1181919f9e8dSJun Bum Lim   // the number of non-leaf should be :
1182919f9e8dSJun Bum Lim   //   2^(log2(n) - 1) - 1
1183919f9e8dSJun Bum Lim   //   = 2^log2(n) * 2^-1 - 1
1184919f9e8dSJun Bum Lim   //   = n / 2 - 1.
1185919f9e8dSJun Bum Lim   // Considering comparisons from leaf and non-leaf nodes, we can estimate the
1186919f9e8dSJun Bum Lim   // number of comparisons in a simple closed form :
1187919f9e8dSJun Bum Lim   //   n + n / 2 - 1 = n * 3 / 2 - 1
1188919f9e8dSJun Bum Lim   if (NumCaseCluster <= 3) {
1189919f9e8dSJun Bum Lim     // Suppose a comparison includes one compare and one conditional branch.
1190919f9e8dSJun Bum Lim     Cost += NumCaseCluster * 2 * InlineConstants::InstrCost;
1191919f9e8dSJun Bum Lim     return false;
1192919f9e8dSJun Bum Lim   }
1193506cfb7aSJun Bum Lim 
1194506cfb7aSJun Bum Lim   int64_t ExpectedNumberOfCompare = 3 * (int64_t)NumCaseCluster / 2 - 1;
1195506cfb7aSJun Bum Lim   int64_t SwitchCost =
1196919f9e8dSJun Bum Lim       ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost;
1197506cfb7aSJun Bum Lim 
1198506cfb7aSJun Bum Lim   Cost = std::min((int64_t)CostUpperBound, SwitchCost + Cost);
1199919f9e8dSJun Bum Lim   return false;
1200919f9e8dSJun Bum Lim }
1201919f9e8dSJun Bum Lim 
12027adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) {
12037adc3a2bSChandler Carruth   // We never want to inline functions that contain an indirectbr.  This is
12047adc3a2bSChandler Carruth   // incorrect because all the blockaddress's (in static global initializers
12057adc3a2bSChandler Carruth   // for example) would be referring to the original function, and this
12067adc3a2bSChandler Carruth   // indirect jump would jump from the inlined copy of the function into the
12077adc3a2bSChandler Carruth   // original function which is extremely undefined behavior.
12087adc3a2bSChandler Carruth   // FIXME: This logic isn't really right; we can safely inline functions with
12097adc3a2bSChandler Carruth   // indirectbr's as long as no other function or global references the
12107adc3a2bSChandler Carruth   // blockaddress of a block within the current function.
12117adc3a2bSChandler Carruth   HasIndirectBr = true;
12127adc3a2bSChandler Carruth   return false;
12137adc3a2bSChandler Carruth }
12147adc3a2bSChandler Carruth 
12157adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) {
12167adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
12177adc3a2bSChandler Carruth   // the inline cost of a resume instruction.
12187adc3a2bSChandler Carruth   return false;
12197adc3a2bSChandler Carruth }
12207adc3a2bSChandler Carruth 
12217adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) {
12227adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
12237adc3a2bSChandler Carruth   // the inline cost of a cleanupret instruction.
12247adc3a2bSChandler Carruth   return false;
12257adc3a2bSChandler Carruth }
12267adc3a2bSChandler Carruth 
12277adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) {
12287adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
12298220bcc5SJoseph Tremoulet   // the inline cost of a catchret instruction.
12307adc3a2bSChandler Carruth   return false;
12317adc3a2bSChandler Carruth }
12327adc3a2bSChandler Carruth 
12337adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) {
12347adc3a2bSChandler Carruth   // FIXME: It might be reasonably to discount the cost of instructions leading
12357adc3a2bSChandler Carruth   // to unreachable as they have the lowest possible impact on both runtime and
12367adc3a2bSChandler Carruth   // code size.
12377adc3a2bSChandler Carruth   return true; // No actual code is needed for unreachable.
12387adc3a2bSChandler Carruth }
12397adc3a2bSChandler Carruth 
12407adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) {
12417adc3a2bSChandler Carruth   // Some instructions are free. All of the free intrinsics can also be
12427adc3a2bSChandler Carruth   // handled by SROA, etc.
12437adc3a2bSChandler Carruth   if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I))
12447adc3a2bSChandler Carruth     return true;
12457adc3a2bSChandler Carruth 
12467adc3a2bSChandler Carruth   // We found something we don't understand or can't handle. Mark any SROA-able
12477adc3a2bSChandler Carruth   // values in the operand list as no longer viable.
12487adc3a2bSChandler Carruth   for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI)
12497adc3a2bSChandler Carruth     disableSROA(*OI);
12507adc3a2bSChandler Carruth 
12517adc3a2bSChandler Carruth   return false;
12527adc3a2bSChandler Carruth }
12537adc3a2bSChandler Carruth 
12547adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost.
12557adc3a2bSChandler Carruth ///
12567adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic
12577adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It
12587adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline
12597adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer
12607adc3a2bSChandler Carruth /// viable, and true if inlining remains viable.
12617adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB,
12627adc3a2bSChandler Carruth                                 SmallPtrSetImpl<const Value *> &EphValues) {
12637adc3a2bSChandler Carruth   for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
12647adc3a2bSChandler Carruth     // FIXME: Currently, the number of instructions in a function regardless of
12657adc3a2bSChandler Carruth     // our ability to simplify them during inline to constants or dead code,
12667adc3a2bSChandler Carruth     // are actually used by the vector bonus heuristic. As long as that's true,
12677adc3a2bSChandler Carruth     // we have to special case debug intrinsics here to prevent differences in
12687adc3a2bSChandler Carruth     // inlining due to debug symbols. Eventually, the number of unsimplified
12697adc3a2bSChandler Carruth     // instructions shouldn't factor into the cost computation, but until then,
12707adc3a2bSChandler Carruth     // hack around it here.
12717adc3a2bSChandler Carruth     if (isa<DbgInfoIntrinsic>(I))
12727adc3a2bSChandler Carruth       continue;
12737adc3a2bSChandler Carruth 
12747adc3a2bSChandler Carruth     // Skip ephemeral values.
12755a82c916SDuncan P. N. Exon Smith     if (EphValues.count(&*I))
12767adc3a2bSChandler Carruth       continue;
12777adc3a2bSChandler Carruth 
12787adc3a2bSChandler Carruth     ++NumInstructions;
12797adc3a2bSChandler Carruth     if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy())
12807adc3a2bSChandler Carruth       ++NumVectorInstructions;
12817adc3a2bSChandler Carruth 
1282e9434e80SSanjay Patel     // If the instruction is floating point, and the target says this operation
1283e9434e80SSanjay Patel     // is expensive or the function has the "use-soft-float" attribute, this may
12847adc3a2bSChandler Carruth     // eventually become a library call. Treat the cost as such.
12857adc3a2bSChandler Carruth     if (I->getType()->isFloatingPointTy()) {
1286e9434e80SSanjay Patel       // If the function has the "use-soft-float" attribute, mark it as
1287e9434e80SSanjay Patel       // expensive.
12887adc3a2bSChandler Carruth       if (TTI.getFPOpCost(I->getType()) == TargetTransformInfo::TCC_Expensive ||
1289908ed7f2SEric Christopher           (F.getFnAttribute("use-soft-float").getValueAsString() == "true"))
12907adc3a2bSChandler Carruth         Cost += InlineConstants::CallPenalty;
12917adc3a2bSChandler Carruth     }
12927adc3a2bSChandler Carruth 
12937adc3a2bSChandler Carruth     // If the instruction simplified to a constant, there is no cost to this
12947adc3a2bSChandler Carruth     // instruction. Visit the instructions using our InstVisitor to account for
12957adc3a2bSChandler Carruth     // all of the per-instruction logic. The visit tree returns true if we
12967adc3a2bSChandler Carruth     // consumed the instruction in any way, and false if the instruction's base
12977adc3a2bSChandler Carruth     // cost should count against inlining.
12985a82c916SDuncan P. N. Exon Smith     if (Base::visit(&*I))
12997adc3a2bSChandler Carruth       ++NumInstructionsSimplified;
13007adc3a2bSChandler Carruth     else
13017adc3a2bSChandler Carruth       Cost += InlineConstants::InstrCost;
13027adc3a2bSChandler Carruth 
13037adc3a2bSChandler Carruth     // If the visit this instruction detected an uninlinable pattern, abort.
13047adc3a2bSChandler Carruth     if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca ||
13057adc3a2bSChandler Carruth         HasIndirectBr || HasFrameEscape)
13067adc3a2bSChandler Carruth       return false;
13077adc3a2bSChandler Carruth 
13087adc3a2bSChandler Carruth     // If the caller is a recursive function then we don't want to inline
13097adc3a2bSChandler Carruth     // functions which allocate a lot of stack space because it would increase
13107adc3a2bSChandler Carruth     // the caller stack usage dramatically.
13117adc3a2bSChandler Carruth     if (IsCallerRecursive &&
13127adc3a2bSChandler Carruth         AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller)
13137adc3a2bSChandler Carruth       return false;
13147adc3a2bSChandler Carruth 
13157adc3a2bSChandler Carruth     // Check if we've past the maximum possible threshold so we don't spin in
13167adc3a2bSChandler Carruth     // huge basic blocks that will never inline.
13177adc3a2bSChandler Carruth     if (Cost > Threshold)
13187adc3a2bSChandler Carruth       return false;
13197adc3a2bSChandler Carruth   }
13207adc3a2bSChandler Carruth 
13217adc3a2bSChandler Carruth   return true;
13227adc3a2bSChandler Carruth }
13237adc3a2bSChandler Carruth 
13247adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V.
13257adc3a2bSChandler Carruth ///
13267adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and
13277adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It
13287adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are
13297adc3a2bSChandler Carruth /// no constant offsets applied.
13307adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) {
13317adc3a2bSChandler Carruth   if (!V->getType()->isPointerTy())
13327adc3a2bSChandler Carruth     return nullptr;
13337adc3a2bSChandler Carruth 
13347adc3a2bSChandler Carruth   unsigned IntPtrWidth = DL.getPointerSizeInBits();
13357adc3a2bSChandler Carruth   APInt Offset = APInt::getNullValue(IntPtrWidth);
13367adc3a2bSChandler Carruth 
13377adc3a2bSChandler Carruth   // Even though we don't look through PHI nodes, we could be called on an
13387adc3a2bSChandler Carruth   // instruction in an unreachable block, which may be on a cycle.
13397adc3a2bSChandler Carruth   SmallPtrSet<Value *, 4> Visited;
13407adc3a2bSChandler Carruth   Visited.insert(V);
13417adc3a2bSChandler Carruth   do {
13427adc3a2bSChandler Carruth     if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) {
13437adc3a2bSChandler Carruth       if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset))
13447adc3a2bSChandler Carruth         return nullptr;
13457adc3a2bSChandler Carruth       V = GEP->getPointerOperand();
13467adc3a2bSChandler Carruth     } else if (Operator::getOpcode(V) == Instruction::BitCast) {
13477adc3a2bSChandler Carruth       V = cast<Operator>(V)->getOperand(0);
13487adc3a2bSChandler Carruth     } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) {
13495ce32728SSanjoy Das       if (GA->isInterposable())
13507adc3a2bSChandler Carruth         break;
13517adc3a2bSChandler Carruth       V = GA->getAliasee();
13527adc3a2bSChandler Carruth     } else {
13537adc3a2bSChandler Carruth       break;
13547adc3a2bSChandler Carruth     }
13557adc3a2bSChandler Carruth     assert(V->getType()->isPointerTy() && "Unexpected operand type!");
13567adc3a2bSChandler Carruth   } while (Visited.insert(V).second);
13577adc3a2bSChandler Carruth 
13587adc3a2bSChandler Carruth   Type *IntPtrTy = DL.getIntPtrType(V->getContext());
13597adc3a2bSChandler Carruth   return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset));
13607adc3a2bSChandler Carruth }
13617adc3a2bSChandler Carruth 
13627adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining.
13637adc3a2bSChandler Carruth ///
13647adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not
13657adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous
13667adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost
13677adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by
13687adc3a2bSChandler Carruth /// some artifact of the routine.
13697adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) {
13707adc3a2bSChandler Carruth   ++NumCallsAnalyzed;
13717adc3a2bSChandler Carruth 
13727adc3a2bSChandler Carruth   // Perform some tweaks to the cost and threshold based on the direct
13737adc3a2bSChandler Carruth   // callsite information.
13747adc3a2bSChandler Carruth 
13757adc3a2bSChandler Carruth   // We want to more aggressively inline vector-dense kernels, so up the
13767adc3a2bSChandler Carruth   // threshold, and we'll lower it if the % of vector instructions gets too
13777adc3a2bSChandler Carruth   // low. Note that these bonuses are some what arbitrary and evolved over time
13787adc3a2bSChandler Carruth   // by accident as much as because they are principled bonuses.
13797adc3a2bSChandler Carruth   //
13807adc3a2bSChandler Carruth   // FIXME: It would be nice to remove all such bonuses. At least it would be
13817adc3a2bSChandler Carruth   // nice to base the bonus values on something more scientific.
13827adc3a2bSChandler Carruth   assert(NumInstructions == 0);
13837adc3a2bSChandler Carruth   assert(NumVectorInstructions == 0);
1384f4bb2f0dSEaswaran Raman 
1385f4bb2f0dSEaswaran Raman   // Update the threshold based on callsite properties
1386f4bb2f0dSEaswaran Raman   updateThreshold(CS, F);
1387f4bb2f0dSEaswaran Raman 
13887adc3a2bSChandler Carruth   // Speculatively apply all possible bonuses to Threshold. If cost exceeds
13897adc3a2bSChandler Carruth   // this Threshold any time, and cost cannot decrease, we can stop processing
13907adc3a2bSChandler Carruth   // the rest of the function body.
139151b809bfSEaswaran Raman   Threshold += (SingleBBBonus + VectorBonus);
13927adc3a2bSChandler Carruth 
1393351d9b01SXinliang David Li   // Give out bonuses for the callsite, as the instructions setting them up
1394351d9b01SXinliang David Li   // will be gone after inlining.
1395351d9b01SXinliang David Li   Cost -= getCallsiteCost(CS, DL);
13967adc3a2bSChandler Carruth 
13977adc3a2bSChandler Carruth   // If this function uses the coldcc calling convention, prefer not to inline
13987adc3a2bSChandler Carruth   // it.
13997adc3a2bSChandler Carruth   if (F.getCallingConv() == CallingConv::Cold)
14007adc3a2bSChandler Carruth     Cost += InlineConstants::ColdccPenalty;
14017adc3a2bSChandler Carruth 
14027adc3a2bSChandler Carruth   // Check if we're done. This can happen due to bonuses and penalties.
14037adc3a2bSChandler Carruth   if (Cost > Threshold)
14047adc3a2bSChandler Carruth     return false;
14057adc3a2bSChandler Carruth 
14067adc3a2bSChandler Carruth   if (F.empty())
14077adc3a2bSChandler Carruth     return true;
14087adc3a2bSChandler Carruth 
14097adc3a2bSChandler Carruth   Function *Caller = CS.getInstruction()->getParent()->getParent();
14107adc3a2bSChandler Carruth   // Check if the caller function is recursive itself.
14117adc3a2bSChandler Carruth   for (User *U : Caller->users()) {
14127adc3a2bSChandler Carruth     CallSite Site(U);
14137adc3a2bSChandler Carruth     if (!Site)
14147adc3a2bSChandler Carruth       continue;
14157adc3a2bSChandler Carruth     Instruction *I = Site.getInstruction();
14167adc3a2bSChandler Carruth     if (I->getParent()->getParent() == Caller) {
14177adc3a2bSChandler Carruth       IsCallerRecursive = true;
14187adc3a2bSChandler Carruth       break;
14197adc3a2bSChandler Carruth     }
14207adc3a2bSChandler Carruth   }
14217adc3a2bSChandler Carruth 
14227adc3a2bSChandler Carruth   // Populate our simplified values by mapping from function arguments to call
14237adc3a2bSChandler Carruth   // arguments with known important simplifications.
14247adc3a2bSChandler Carruth   CallSite::arg_iterator CAI = CS.arg_begin();
14257adc3a2bSChandler Carruth   for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end();
14267adc3a2bSChandler Carruth        FAI != FAE; ++FAI, ++CAI) {
14277adc3a2bSChandler Carruth     assert(CAI != CS.arg_end());
14287adc3a2bSChandler Carruth     if (Constant *C = dyn_cast<Constant>(CAI))
14295a82c916SDuncan P. N. Exon Smith       SimplifiedValues[&*FAI] = C;
14307adc3a2bSChandler Carruth 
14317adc3a2bSChandler Carruth     Value *PtrArg = *CAI;
14327adc3a2bSChandler Carruth     if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) {
14335a82c916SDuncan P. N. Exon Smith       ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue());
14347adc3a2bSChandler Carruth 
14357adc3a2bSChandler Carruth       // We can SROA any pointer arguments derived from alloca instructions.
14367adc3a2bSChandler Carruth       if (isa<AllocaInst>(PtrArg)) {
14375a82c916SDuncan P. N. Exon Smith         SROAArgValues[&*FAI] = PtrArg;
14387adc3a2bSChandler Carruth         SROAArgCosts[PtrArg] = 0;
14397adc3a2bSChandler Carruth       }
14407adc3a2bSChandler Carruth     }
14417adc3a2bSChandler Carruth   }
14427adc3a2bSChandler Carruth   NumConstantArgs = SimplifiedValues.size();
14437adc3a2bSChandler Carruth   NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size();
14447adc3a2bSChandler Carruth   NumAllocaArgs = SROAArgValues.size();
14457adc3a2bSChandler Carruth 
14467adc3a2bSChandler Carruth   // FIXME: If a caller has multiple calls to a callee, we end up recomputing
14477adc3a2bSChandler Carruth   // the ephemeral values multiple times (and they're completely determined by
14487adc3a2bSChandler Carruth   // the callee, so this is purely duplicate work).
14497adc3a2bSChandler Carruth   SmallPtrSet<const Value *, 32> EphValues;
1450aec2fa35SDaniel Jasper   CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues);
14517adc3a2bSChandler Carruth 
14527adc3a2bSChandler Carruth   // The worklist of live basic blocks in the callee *after* inlining. We avoid
14537adc3a2bSChandler Carruth   // adding basic blocks of the callee which can be proven to be dead for this
14547adc3a2bSChandler Carruth   // particular call site in order to get more accurate cost estimates. This
14557adc3a2bSChandler Carruth   // requires a somewhat heavyweight iteration pattern: we need to walk the
14567adc3a2bSChandler Carruth   // basic blocks in a breadth-first order as we insert live successors. To
14577adc3a2bSChandler Carruth   // accomplish this, prioritizing for small iterations because we exit after
14587adc3a2bSChandler Carruth   // crossing our threshold, we use a small-size optimized SetVector.
14597adc3a2bSChandler Carruth   typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>,
1460567556aaSChad Rosier                     SmallPtrSet<BasicBlock *, 16>>
1461567556aaSChad Rosier       BBSetVector;
14627adc3a2bSChandler Carruth   BBSetVector BBWorklist;
14637adc3a2bSChandler Carruth   BBWorklist.insert(&F.getEntryBlock());
146451b809bfSEaswaran Raman   bool SingleBB = true;
14657adc3a2bSChandler Carruth   // Note that we *must not* cache the size, this loop grows the worklist.
14667adc3a2bSChandler Carruth   for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) {
14677adc3a2bSChandler Carruth     // Bail out the moment we cross the threshold. This means we'll under-count
14687adc3a2bSChandler Carruth     // the cost, but only when undercounting doesn't matter.
14697adc3a2bSChandler Carruth     if (Cost > Threshold)
14707adc3a2bSChandler Carruth       break;
14717adc3a2bSChandler Carruth 
14727adc3a2bSChandler Carruth     BasicBlock *BB = BBWorklist[Idx];
14737adc3a2bSChandler Carruth     if (BB->empty())
14747adc3a2bSChandler Carruth       continue;
14757adc3a2bSChandler Carruth 
14767adc3a2bSChandler Carruth     // Disallow inlining a blockaddress. A blockaddress only has defined
14777adc3a2bSChandler Carruth     // behavior for an indirect branch in the same function, and we do not
14787adc3a2bSChandler Carruth     // currently support inlining indirect branches. But, the inliner may not
14797adc3a2bSChandler Carruth     // see an indirect branch that ends up being dead code at a particular call
14807adc3a2bSChandler Carruth     // site. If the blockaddress escapes the function, e.g., via a global
14817adc3a2bSChandler Carruth     // variable, inlining may lead to an invalid cross-function reference.
14827adc3a2bSChandler Carruth     if (BB->hasAddressTaken())
14837adc3a2bSChandler Carruth       return false;
14847adc3a2bSChandler Carruth 
14857adc3a2bSChandler Carruth     // Analyze the cost of this block. If we blow through the threshold, this
14867adc3a2bSChandler Carruth     // returns false, and we can bail on out.
1487d295b00aSEaswaran Raman     if (!analyzeBlock(BB, EphValues))
14887adc3a2bSChandler Carruth       return false;
14897adc3a2bSChandler Carruth 
14907adc3a2bSChandler Carruth     TerminatorInst *TI = BB->getTerminator();
14917adc3a2bSChandler Carruth 
14927adc3a2bSChandler Carruth     // Add in the live successors by first checking whether we have terminator
14937adc3a2bSChandler Carruth     // that may be simplified based on the values simplified by this call.
14947adc3a2bSChandler Carruth     if (BranchInst *BI = dyn_cast<BranchInst>(TI)) {
14957adc3a2bSChandler Carruth       if (BI->isConditional()) {
14967adc3a2bSChandler Carruth         Value *Cond = BI->getCondition();
1497567556aaSChad Rosier         if (ConstantInt *SimpleCond =
1498567556aaSChad Rosier                 dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) {
14997adc3a2bSChandler Carruth           BBWorklist.insert(BI->getSuccessor(SimpleCond->isZero() ? 1 : 0));
15007adc3a2bSChandler Carruth           continue;
15017adc3a2bSChandler Carruth         }
15027adc3a2bSChandler Carruth       }
15037adc3a2bSChandler Carruth     } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) {
15047adc3a2bSChandler Carruth       Value *Cond = SI->getCondition();
1505567556aaSChad Rosier       if (ConstantInt *SimpleCond =
1506567556aaSChad Rosier               dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) {
1507927d8e61SChandler Carruth         BBWorklist.insert(SI->findCaseValue(SimpleCond)->getCaseSuccessor());
15087adc3a2bSChandler Carruth         continue;
15097adc3a2bSChandler Carruth       }
15107adc3a2bSChandler Carruth     }
15117adc3a2bSChandler Carruth 
15127adc3a2bSChandler Carruth     // If we're unable to select a particular successor, just count all of
15137adc3a2bSChandler Carruth     // them.
15147adc3a2bSChandler Carruth     for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize;
15157adc3a2bSChandler Carruth          ++TIdx)
15167adc3a2bSChandler Carruth       BBWorklist.insert(TI->getSuccessor(TIdx));
15177adc3a2bSChandler Carruth 
15187adc3a2bSChandler Carruth     // If we had any successors at this point, than post-inlining is likely to
15197adc3a2bSChandler Carruth     // have them as well. Note that we assume any basic blocks which existed
15207adc3a2bSChandler Carruth     // due to branches or switches which folded above will also fold after
15217adc3a2bSChandler Carruth     // inlining.
15227adc3a2bSChandler Carruth     if (SingleBB && TI->getNumSuccessors() > 1) {
15237adc3a2bSChandler Carruth       // Take off the bonus we applied to the threshold.
15247adc3a2bSChandler Carruth       Threshold -= SingleBBBonus;
15257adc3a2bSChandler Carruth       SingleBB = false;
15267adc3a2bSChandler Carruth     }
15277adc3a2bSChandler Carruth   }
15287adc3a2bSChandler Carruth 
152951b809bfSEaswaran Raman   bool OnlyOneCallAndLocalLinkage =
153051b809bfSEaswaran Raman       F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction();
15317adc3a2bSChandler Carruth   // If this is a noduplicate call, we can still inline as long as
15327adc3a2bSChandler Carruth   // inlining this would cause the removal of the caller (so the instruction
15337adc3a2bSChandler Carruth   // is not actually duplicated, just moved).
15347adc3a2bSChandler Carruth   if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall)
15357adc3a2bSChandler Carruth     return false;
15367adc3a2bSChandler Carruth 
15377adc3a2bSChandler Carruth   // We applied the maximum possible vector bonus at the beginning. Now,
15387adc3a2bSChandler Carruth   // subtract the excess bonus, if any, from the Threshold before
15397adc3a2bSChandler Carruth   // comparing against Cost.
15407adc3a2bSChandler Carruth   if (NumVectorInstructions <= NumInstructions / 10)
154151b809bfSEaswaran Raman     Threshold -= VectorBonus;
15427adc3a2bSChandler Carruth   else if (NumVectorInstructions <= NumInstructions / 2)
154351b809bfSEaswaran Raman     Threshold -= VectorBonus/2;
15447adc3a2bSChandler Carruth 
154500ab73dcSHans Wennborg   return Cost < std::max(1, Threshold);
15467adc3a2bSChandler Carruth }
15477adc3a2bSChandler Carruth 
15487adc3a2bSChandler Carruth #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
15497adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis.
1550eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() {
15517adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << "      " #x ": " << x << "\n"
15527adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantArgs);
15537adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs);
15547adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumAllocaArgs);
15557adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantPtrCmps);
15567adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantPtrDiffs);
15577adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumInstructionsSimplified);
15587adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumInstructions);
15597adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(SROACostSavings);
15607adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(SROACostSavingsLost);
15617adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(ContainsNoDuplicateCall);
15627adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(Cost);
15637adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(Threshold);
15647adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT
15657adc3a2bSChandler Carruth }
15667adc3a2bSChandler Carruth #endif
15677adc3a2bSChandler Carruth 
15687adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee
15697adc3a2bSChandler Carruth ///        that prevent inlining.
15707adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller,
15717adc3a2bSChandler Carruth                                               Function *Callee,
15727adc3a2bSChandler Carruth                                               TargetTransformInfo &TTI) {
15737adc3a2bSChandler Carruth   return TTI.areInlineCompatible(Caller, Callee) &&
15741cb242ebSAkira Hatanaka          AttributeFuncs::areInlineCompatible(*Caller, *Callee);
15757adc3a2bSChandler Carruth }
15767adc3a2bSChandler Carruth 
1577351d9b01SXinliang David Li int llvm::getCallsiteCost(CallSite CS, const DataLayout &DL) {
1578351d9b01SXinliang David Li   int Cost = 0;
1579351d9b01SXinliang David Li   for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) {
1580351d9b01SXinliang David Li     if (CS.isByValArgument(I)) {
1581351d9b01SXinliang David Li       // We approximate the number of loads and stores needed by dividing the
1582351d9b01SXinliang David Li       // size of the byval type by the target's pointer size.
1583351d9b01SXinliang David Li       PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType());
1584351d9b01SXinliang David Li       unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType());
1585351d9b01SXinliang David Li       unsigned PointerSize = DL.getPointerSizeInBits();
1586351d9b01SXinliang David Li       // Ceiling division.
1587351d9b01SXinliang David Li       unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize;
1588351d9b01SXinliang David Li 
1589351d9b01SXinliang David Li       // If it generates more than 8 stores it is likely to be expanded as an
1590351d9b01SXinliang David Li       // inline memcpy so we take that as an upper bound. Otherwise we assume
1591351d9b01SXinliang David Li       // one load and one store per word copied.
1592351d9b01SXinliang David Li       // FIXME: The maxStoresPerMemcpy setting from the target should be used
1593351d9b01SXinliang David Li       // here instead of a magic number of 8, but it's not available via
1594351d9b01SXinliang David Li       // DataLayout.
1595351d9b01SXinliang David Li       NumStores = std::min(NumStores, 8U);
1596351d9b01SXinliang David Li 
1597351d9b01SXinliang David Li       Cost += 2 * NumStores * InlineConstants::InstrCost;
1598351d9b01SXinliang David Li     } else {
1599351d9b01SXinliang David Li       // For non-byval arguments subtract off one instruction per call
1600351d9b01SXinliang David Li       // argument.
1601351d9b01SXinliang David Li       Cost += InlineConstants::InstrCost;
1602351d9b01SXinliang David Li     }
1603351d9b01SXinliang David Li   }
1604351d9b01SXinliang David Li   // The call instruction also disappears after inlining.
1605351d9b01SXinliang David Li   Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty;
1606351d9b01SXinliang David Li   return Cost;
1607351d9b01SXinliang David Li }
1608351d9b01SXinliang David Li 
1609ab6a6837SSean Silva InlineCost llvm::getInlineCost(
16101c57cc2bSEaswaran Raman     CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI,
1611aec2fa35SDaniel Jasper     std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
161212585b01SEaswaran Raman     Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI,
161371069cf6SEaswaran Raman     ProfileSummaryInfo *PSI) {
1614aec2fa35SDaniel Jasper   return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI,
161512585b01SEaswaran Raman                        GetAssumptionCache, GetBFI, PSI);
1616b9f7120eSEaswaran Raman }
1617b9f7120eSEaswaran Raman 
1618ab6a6837SSean Silva InlineCost llvm::getInlineCost(
16191c57cc2bSEaswaran Raman     CallSite CS, Function *Callee, const InlineParams &Params,
1620aec2fa35SDaniel Jasper     TargetTransformInfo &CalleeTTI,
1621aec2fa35SDaniel Jasper     std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
162212585b01SEaswaran Raman     Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI,
1623aec2fa35SDaniel Jasper     ProfileSummaryInfo *PSI) {
1624f4bb2f0dSEaswaran Raman 
16257adc3a2bSChandler Carruth   // Cannot inline indirect calls.
16267adc3a2bSChandler Carruth   if (!Callee)
16277adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
16287adc3a2bSChandler Carruth 
16297adc3a2bSChandler Carruth   // Calls to functions with always-inline attributes should be inlined
16307adc3a2bSChandler Carruth   // whenever possible.
16317adc3a2bSChandler Carruth   if (CS.hasFnAttr(Attribute::AlwaysInline)) {
16327adc3a2bSChandler Carruth     if (isInlineViable(*Callee))
16337adc3a2bSChandler Carruth       return llvm::InlineCost::getAlways();
16347adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
16357adc3a2bSChandler Carruth   }
16367adc3a2bSChandler Carruth 
16377adc3a2bSChandler Carruth   // Never inline functions with conflicting attributes (unless callee has
16387adc3a2bSChandler Carruth   // always-inline attribute).
1639b9f7120eSEaswaran Raman   if (!functionsHaveCompatibleAttributes(CS.getCaller(), Callee, CalleeTTI))
16407adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
16417adc3a2bSChandler Carruth 
16427adc3a2bSChandler Carruth   // Don't inline this call if the caller has the optnone attribute.
16437adc3a2bSChandler Carruth   if (CS.getCaller()->hasFnAttribute(Attribute::OptimizeNone))
16447adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
16457adc3a2bSChandler Carruth 
16465ce32728SSanjoy Das   // Don't inline functions which can be interposed at link-time.  Don't inline
16475ce32728SSanjoy Das   // functions marked noinline or call sites marked noinline.
1648107b187dSCraig Topper   // Note: inlining non-exact non-interposable functions is fine, since we know
16495ce32728SSanjoy Das   // we have *a* correct implementation of the source level function.
1650567556aaSChad Rosier   if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) ||
1651567556aaSChad Rosier       CS.isNoInline())
16527adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
16537adc3a2bSChandler Carruth 
16547adc3a2bSChandler Carruth   DEBUG(llvm::dbgs() << "      Analyzing call of " << Callee->getName()
16557adc3a2bSChandler Carruth                      << "...\n");
16567adc3a2bSChandler Carruth 
165712585b01SEaswaran Raman   CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, *Callee, CS,
165812585b01SEaswaran Raman                   Params);
16597adc3a2bSChandler Carruth   bool ShouldInline = CA.analyzeCall(CS);
16607adc3a2bSChandler Carruth 
16617adc3a2bSChandler Carruth   DEBUG(CA.dump());
16627adc3a2bSChandler Carruth 
16637adc3a2bSChandler Carruth   // Check if there was a reason to force inlining or no inlining.
16647adc3a2bSChandler Carruth   if (!ShouldInline && CA.getCost() < CA.getThreshold())
16657adc3a2bSChandler Carruth     return InlineCost::getNever();
16667adc3a2bSChandler Carruth   if (ShouldInline && CA.getCost() >= CA.getThreshold())
16677adc3a2bSChandler Carruth     return InlineCost::getAlways();
16687adc3a2bSChandler Carruth 
16697adc3a2bSChandler Carruth   return llvm::InlineCost::get(CA.getCost(), CA.getThreshold());
16707adc3a2bSChandler Carruth }
16717adc3a2bSChandler Carruth 
1672b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) {
16737adc3a2bSChandler Carruth   bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice);
16747adc3a2bSChandler Carruth   for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) {
16757adc3a2bSChandler Carruth     // Disallow inlining of functions which contain indirect branches or
16767adc3a2bSChandler Carruth     // blockaddresses.
16777adc3a2bSChandler Carruth     if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken())
16787adc3a2bSChandler Carruth       return false;
16797adc3a2bSChandler Carruth 
16805a82c916SDuncan P. N. Exon Smith     for (auto &II : *BI) {
16815a82c916SDuncan P. N. Exon Smith       CallSite CS(&II);
16827adc3a2bSChandler Carruth       if (!CS)
16837adc3a2bSChandler Carruth         continue;
16847adc3a2bSChandler Carruth 
16857adc3a2bSChandler Carruth       // Disallow recursive calls.
16867adc3a2bSChandler Carruth       if (&F == CS.getCalledFunction())
16877adc3a2bSChandler Carruth         return false;
16887adc3a2bSChandler Carruth 
16897adc3a2bSChandler Carruth       // Disallow calls which expose returns-twice to a function not previously
16907adc3a2bSChandler Carruth       // attributed as such.
16917adc3a2bSChandler Carruth       if (!ReturnsTwice && CS.isCall() &&
16927adc3a2bSChandler Carruth           cast<CallInst>(CS.getInstruction())->canReturnTwice())
16937adc3a2bSChandler Carruth         return false;
16947adc3a2bSChandler Carruth 
16957adc3a2bSChandler Carruth       // Disallow inlining functions that call @llvm.localescape. Doing this
16967adc3a2bSChandler Carruth       // correctly would require major changes to the inliner.
16977adc3a2bSChandler Carruth       if (CS.getCalledFunction() &&
16987adc3a2bSChandler Carruth           CS.getCalledFunction()->getIntrinsicID() ==
16997adc3a2bSChandler Carruth               llvm::Intrinsic::localescape)
17007adc3a2bSChandler Carruth         return false;
17017adc3a2bSChandler Carruth     }
17027adc3a2bSChandler Carruth   }
17037adc3a2bSChandler Carruth 
17047adc3a2bSChandler Carruth   return true;
17057adc3a2bSChandler Carruth }
17061c57cc2bSEaswaran Raman 
17071c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other
17081c57cc2bSEaswaran Raman // parameters.
17091c57cc2bSEaswaran Raman 
17101c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) {
17111c57cc2bSEaswaran Raman   InlineParams Params;
17121c57cc2bSEaswaran Raman 
17131c57cc2bSEaswaran Raman   // This field is the threshold to use for a callee by default. This is
17141c57cc2bSEaswaran Raman   // derived from one or more of:
17151c57cc2bSEaswaran Raman   //  * optimization or size-optimization levels,
17161c57cc2bSEaswaran Raman   //  * a value passed to createFunctionInliningPass function, or
17171c57cc2bSEaswaran Raman   //  * the -inline-threshold flag.
17181c57cc2bSEaswaran Raman   //  If the -inline-threshold flag is explicitly specified, that is used
17191c57cc2bSEaswaran Raman   //  irrespective of anything else.
17201c57cc2bSEaswaran Raman   if (InlineThreshold.getNumOccurrences() > 0)
17211c57cc2bSEaswaran Raman     Params.DefaultThreshold = InlineThreshold;
17221c57cc2bSEaswaran Raman   else
17231c57cc2bSEaswaran Raman     Params.DefaultThreshold = Threshold;
17241c57cc2bSEaswaran Raman 
17251c57cc2bSEaswaran Raman   // Set the HintThreshold knob from the -inlinehint-threshold.
17261c57cc2bSEaswaran Raman   Params.HintThreshold = HintThreshold;
17271c57cc2bSEaswaran Raman 
17281c57cc2bSEaswaran Raman   // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold.
17291c57cc2bSEaswaran Raman   Params.HotCallSiteThreshold = HotCallSiteThreshold;
17301c57cc2bSEaswaran Raman 
173112585b01SEaswaran Raman   // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold.
173212585b01SEaswaran Raman   Params.ColdCallSiteThreshold = ColdCallSiteThreshold;
173312585b01SEaswaran Raman 
17341c57cc2bSEaswaran Raman   // Set the OptMinSizeThreshold and OptSizeThreshold params only if the
17351c57cc2bSEaswaran Raman   // -inlinehint-threshold commandline option is not explicitly given. If that
17361c57cc2bSEaswaran Raman   // option is present, then its value applies even for callees with size and
17371c57cc2bSEaswaran Raman   // minsize attributes.
17381c57cc2bSEaswaran Raman   // If the -inline-threshold is not specified, set the ColdThreshold from the
17391c57cc2bSEaswaran Raman   // -inlinecold-threshold even if it is not explicitly passed. If
17401c57cc2bSEaswaran Raman   // -inline-threshold is specified, then -inlinecold-threshold needs to be
17411c57cc2bSEaswaran Raman   // explicitly specified to set the ColdThreshold knob
17421c57cc2bSEaswaran Raman   if (InlineThreshold.getNumOccurrences() == 0) {
17431c57cc2bSEaswaran Raman     Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold;
17441c57cc2bSEaswaran Raman     Params.OptSizeThreshold = InlineConstants::OptSizeThreshold;
17451c57cc2bSEaswaran Raman     Params.ColdThreshold = ColdThreshold;
17461c57cc2bSEaswaran Raman   } else if (ColdThreshold.getNumOccurrences() > 0) {
17471c57cc2bSEaswaran Raman     Params.ColdThreshold = ColdThreshold;
17481c57cc2bSEaswaran Raman   }
17491c57cc2bSEaswaran Raman   return Params;
17501c57cc2bSEaswaran Raman }
17511c57cc2bSEaswaran Raman 
17521c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() {
17531c57cc2bSEaswaran Raman   return getInlineParams(InlineThreshold);
17541c57cc2bSEaswaran Raman }
17551c57cc2bSEaswaran Raman 
17561c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the
17571c57cc2bSEaswaran Raman // size opt level.
17581c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel,
17591c57cc2bSEaswaran Raman                                          unsigned SizeOptLevel) {
17601c57cc2bSEaswaran Raman   if (OptLevel > 2)
17611c57cc2bSEaswaran Raman     return InlineConstants::OptAggressiveThreshold;
17621c57cc2bSEaswaran Raman   if (SizeOptLevel == 1) // -Os
17631c57cc2bSEaswaran Raman     return InlineConstants::OptSizeThreshold;
17641c57cc2bSEaswaran Raman   if (SizeOptLevel == 2) // -Oz
17651c57cc2bSEaswaran Raman     return InlineConstants::OptMinSizeThreshold;
17661c57cc2bSEaswaran Raman   return InlineThreshold;
17671c57cc2bSEaswaran Raman }
17681c57cc2bSEaswaran Raman 
17691c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) {
17701c57cc2bSEaswaran Raman   return getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel));
17711c57cc2bSEaswaran Raman }
1772