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"
24*3739e14aSHaicheng Wu #include "llvm/Analysis/CFG.h"
257adc3a2bSChandler Carruth #include "llvm/Analysis/InstructionSimplify.h"
2671069cf6SEaswaran Raman #include "llvm/Analysis/ProfileSummaryInfo.h"
277adc3a2bSChandler Carruth #include "llvm/Analysis/TargetTransformInfo.h"
287adc3a2bSChandler Carruth #include "llvm/IR/CallSite.h"
297adc3a2bSChandler Carruth #include "llvm/IR/CallingConv.h"
307adc3a2bSChandler Carruth #include "llvm/IR/DataLayout.h"
317adc3a2bSChandler Carruth #include "llvm/IR/GetElementPtrTypeIterator.h"
327adc3a2bSChandler Carruth #include "llvm/IR/GlobalAlias.h"
337adc3a2bSChandler Carruth #include "llvm/IR/InstVisitor.h"
347adc3a2bSChandler Carruth #include "llvm/IR/IntrinsicInst.h"
357adc3a2bSChandler Carruth #include "llvm/IR/Operator.h"
367adc3a2bSChandler Carruth #include "llvm/Support/Debug.h"
377adc3a2bSChandler Carruth #include "llvm/Support/raw_ostream.h"
387adc3a2bSChandler Carruth 
397adc3a2bSChandler Carruth using namespace llvm;
407adc3a2bSChandler Carruth 
417adc3a2bSChandler Carruth #define DEBUG_TYPE "inline-cost"
427adc3a2bSChandler Carruth 
437adc3a2bSChandler Carruth STATISTIC(NumCallsAnalyzed, "Number of call sites analyzed");
447adc3a2bSChandler Carruth 
451c57cc2bSEaswaran Raman static cl::opt<int> InlineThreshold(
46f4bb2f0dSEaswaran Raman     "inline-threshold", cl::Hidden, cl::init(225), cl::ZeroOrMore,
47f4bb2f0dSEaswaran Raman     cl::desc("Control the amount of inlining to perform (default = 225)"));
48f4bb2f0dSEaswaran Raman 
49f4bb2f0dSEaswaran Raman static cl::opt<int> HintThreshold(
50f4bb2f0dSEaswaran Raman     "inlinehint-threshold", cl::Hidden, cl::init(325),
51f4bb2f0dSEaswaran Raman     cl::desc("Threshold for inlining functions with inline hint"));
52f4bb2f0dSEaswaran Raman 
5312585b01SEaswaran Raman static cl::opt<int>
5412585b01SEaswaran Raman     ColdCallSiteThreshold("inline-cold-callsite-threshold", cl::Hidden,
5512585b01SEaswaran Raman                           cl::init(45),
5612585b01SEaswaran Raman                           cl::desc("Threshold for inlining cold callsites"));
5712585b01SEaswaran Raman 
58f4bb2f0dSEaswaran Raman // We introduce this threshold to help performance of instrumentation based
59f4bb2f0dSEaswaran Raman // PGO before we actually hook up inliner with analysis passes such as BPI and
60f4bb2f0dSEaswaran Raman // BFI.
61f4bb2f0dSEaswaran Raman static cl::opt<int> ColdThreshold(
62c103ef89SEaswaran Raman     "inlinecold-threshold", cl::Hidden, cl::init(45),
63f4bb2f0dSEaswaran Raman     cl::desc("Threshold for inlining functions with cold attribute"));
64f4bb2f0dSEaswaran Raman 
65de39cb93SDehao Chen static cl::opt<int>
66de39cb93SDehao Chen     HotCallSiteThreshold("hot-callsite-threshold", cl::Hidden, cl::init(3000),
67de39cb93SDehao Chen                          cl::ZeroOrMore,
68de39cb93SDehao Chen                          cl::desc("Threshold for hot callsites "));
69de39cb93SDehao Chen 
70974d4eeaSEaswaran Raman static cl::opt<int> LocallyHotCallSiteThreshold(
71974d4eeaSEaswaran Raman     "locally-hot-callsite-threshold", cl::Hidden, cl::init(525), cl::ZeroOrMore,
72974d4eeaSEaswaran Raman     cl::desc("Threshold for locally hot callsites "));
73974d4eeaSEaswaran Raman 
74c5fa6358SEaswaran Raman static cl::opt<int> ColdCallSiteRelFreq(
75c5fa6358SEaswaran Raman     "cold-callsite-rel-freq", cl::Hidden, cl::init(2), cl::ZeroOrMore,
76c5fa6358SEaswaran Raman     cl::desc("Maxmimum block frequency, expressed as a percentage of caller's "
77c5fa6358SEaswaran Raman              "entry frequency, for a callsite to be cold in the absence of "
78c5fa6358SEaswaran Raman              "profile information."));
79c5fa6358SEaswaran Raman 
80974d4eeaSEaswaran Raman static cl::opt<int> HotCallSiteRelFreq(
81974d4eeaSEaswaran Raman     "hot-callsite-rel-freq", cl::Hidden, cl::init(60), cl::ZeroOrMore,
82ff77cc75SEaswaran Raman     cl::desc("Minimum block frequency, expressed as a multiple of caller's "
83974d4eeaSEaswaran Raman              "entry frequency, for a callsite to be hot in the absence of "
84974d4eeaSEaswaran Raman              "profile information."));
85974d4eeaSEaswaran Raman 
864924bb00SEaswaran Raman static cl::opt<bool> OptComputeFullInlineCost(
870812c5beSHaicheng Wu     "inline-cost-full", cl::Hidden, cl::init(false),
880812c5beSHaicheng Wu     cl::desc("Compute the full inline cost of a call site even when the cost "
890812c5beSHaicheng Wu              "exceeds the threshold."));
900812c5beSHaicheng Wu 
917adc3a2bSChandler Carruth namespace {
927adc3a2bSChandler Carruth 
937adc3a2bSChandler Carruth class CallAnalyzer : public InstVisitor<CallAnalyzer, bool> {
947adc3a2bSChandler Carruth   typedef InstVisitor<CallAnalyzer, bool> Base;
957adc3a2bSChandler Carruth   friend class InstVisitor<CallAnalyzer, bool>;
967adc3a2bSChandler Carruth 
977adc3a2bSChandler Carruth   /// The TargetTransformInfo available for this compilation.
987adc3a2bSChandler Carruth   const TargetTransformInfo &TTI;
997adc3a2bSChandler Carruth 
100aec2fa35SDaniel Jasper   /// Getter for the cache of @llvm.assume intrinsics.
101aec2fa35SDaniel Jasper   std::function<AssumptionCache &(Function &)> &GetAssumptionCache;
102aec2fa35SDaniel Jasper 
10312585b01SEaswaran Raman   /// Getter for BlockFrequencyInfo
10412585b01SEaswaran Raman   Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI;
10512585b01SEaswaran Raman 
10671069cf6SEaswaran Raman   /// Profile summary information.
10771069cf6SEaswaran Raman   ProfileSummaryInfo *PSI;
10871069cf6SEaswaran Raman 
109f3d122cdSPiotr Padlewski   /// The called function.
1107adc3a2bSChandler Carruth   Function &F;
1117adc3a2bSChandler Carruth 
11285be8ca8SEric Christopher   // Cache the DataLayout since we use it a lot.
11385be8ca8SEric Christopher   const DataLayout &DL;
11485be8ca8SEric Christopher 
1150812c5beSHaicheng Wu   /// The OptimizationRemarkEmitter available for this compilation.
1160812c5beSHaicheng Wu   OptimizationRemarkEmitter *ORE;
1170812c5beSHaicheng Wu 
118f3d122cdSPiotr Padlewski   /// The candidate callsite being analyzed. Please do not use this to do
119f3d122cdSPiotr Padlewski   /// analysis in the caller function; we want the inline cost query to be
120f3d122cdSPiotr Padlewski   /// easily cacheable. Instead, use the cover function paramHasAttr.
1217adc3a2bSChandler Carruth   CallSite CandidateCS;
1227adc3a2bSChandler Carruth 
123f3d122cdSPiotr Padlewski   /// Tunable parameters that control the analysis.
1241c57cc2bSEaswaran Raman   const InlineParams &Params;
1251c57cc2bSEaswaran Raman 
1267adc3a2bSChandler Carruth   int Threshold;
1277adc3a2bSChandler Carruth   int Cost;
1284924bb00SEaswaran Raman   bool ComputeFullInlineCost;
1297adc3a2bSChandler Carruth 
1307adc3a2bSChandler Carruth   bool IsCallerRecursive;
1317adc3a2bSChandler Carruth   bool IsRecursiveCall;
1327adc3a2bSChandler Carruth   bool ExposesReturnsTwice;
1337adc3a2bSChandler Carruth   bool HasDynamicAlloca;
1347adc3a2bSChandler Carruth   bool ContainsNoDuplicateCall;
1357adc3a2bSChandler Carruth   bool HasReturn;
1367adc3a2bSChandler Carruth   bool HasIndirectBr;
1377adc3a2bSChandler Carruth   bool HasFrameEscape;
1387adc3a2bSChandler Carruth 
1397adc3a2bSChandler Carruth   /// Number of bytes allocated statically by the callee.
1407adc3a2bSChandler Carruth   uint64_t AllocatedSize;
1417adc3a2bSChandler Carruth   unsigned NumInstructions, NumVectorInstructions;
14251b809bfSEaswaran Raman   int VectorBonus, TenPercentVectorBonus;
14351b809bfSEaswaran Raman   // Bonus to be applied when the callee has only one reachable basic block.
14451b809bfSEaswaran Raman   int SingleBBBonus;
1457adc3a2bSChandler Carruth 
146f3d122cdSPiotr Padlewski   /// While we walk the potentially-inlined instructions, we build up and
147f3d122cdSPiotr Padlewski   /// maintain a mapping of simplified values specific to this callsite. The
148f3d122cdSPiotr Padlewski   /// idea is to propagate any special information we have about arguments to
149f3d122cdSPiotr Padlewski   /// this call through the inlinable section of the function, and account for
150f3d122cdSPiotr Padlewski   /// likely simplifications post-inlining. The most important aspect we track
151f3d122cdSPiotr Padlewski   /// is CFG altering simplifications -- when we prove a basic block dead, that
152f3d122cdSPiotr Padlewski   /// can cause dramatic shifts in the cost of inlining a function.
1537adc3a2bSChandler Carruth   DenseMap<Value *, Constant *> SimplifiedValues;
1547adc3a2bSChandler Carruth 
155f3d122cdSPiotr Padlewski   /// Keep track of the values which map back (through function arguments) to
156f3d122cdSPiotr Padlewski   /// allocas on the caller stack which could be simplified through SROA.
1577adc3a2bSChandler Carruth   DenseMap<Value *, Value *> SROAArgValues;
1587adc3a2bSChandler Carruth 
159f3d122cdSPiotr Padlewski   /// The mapping of caller Alloca values to their accumulated cost savings. If
160f3d122cdSPiotr Padlewski   /// we have to disable SROA for one of the allocas, this tells us how much
161f3d122cdSPiotr Padlewski   /// cost must be added.
1627adc3a2bSChandler Carruth   DenseMap<Value *, int> SROAArgCosts;
1637adc3a2bSChandler Carruth 
164f3d122cdSPiotr Padlewski   /// Keep track of values which map to a pointer base and constant offset.
1657adc3a2bSChandler Carruth   DenseMap<Value *, std::pair<Value *, APInt>> ConstantOffsetPtrs;
1667adc3a2bSChandler Carruth 
167*3739e14aSHaicheng Wu   /// Keep track of dead blocks due to the constant arguments.
168*3739e14aSHaicheng Wu   SetVector<BasicBlock *> DeadBlocks;
169*3739e14aSHaicheng Wu 
170*3739e14aSHaicheng Wu   /// The mapping of the blocks to their known unique successors due to the
171*3739e14aSHaicheng Wu   /// constant arguments.
172*3739e14aSHaicheng Wu   DenseMap<BasicBlock *, BasicBlock *> KnownSuccessors;
173*3739e14aSHaicheng Wu 
1747adc3a2bSChandler Carruth   // Custom simplification helper routines.
1757adc3a2bSChandler Carruth   bool isAllocaDerivedArg(Value *V);
1767adc3a2bSChandler Carruth   bool lookupSROAArgAndCost(Value *V, Value *&Arg,
1777adc3a2bSChandler Carruth                             DenseMap<Value *, int>::iterator &CostIt);
1787adc3a2bSChandler Carruth   void disableSROA(DenseMap<Value *, int>::iterator CostIt);
1797adc3a2bSChandler Carruth   void disableSROA(Value *V);
180*3739e14aSHaicheng Wu   void findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB);
1817adc3a2bSChandler Carruth   void accumulateSROACost(DenseMap<Value *, int>::iterator CostIt,
1827adc3a2bSChandler Carruth                           int InstructionCost);
183201b191bSHaicheng Wu   bool isGEPFree(GetElementPtrInst &GEP);
184d3558b5dSEvgeny Astigeevich   bool canFoldInboundsGEP(GetElementPtrInst &I);
1857adc3a2bSChandler Carruth   bool accumulateGEPOffset(GEPOperator &GEP, APInt &Offset);
1867adc3a2bSChandler Carruth   bool simplifyCallSite(Function *F, CallSite CS);
187617f6364SEaswaran Raman   template <typename Callable>
188617f6364SEaswaran Raman   bool simplifyInstruction(Instruction &I, Callable Evaluate);
1897adc3a2bSChandler Carruth   ConstantInt *stripAndComputeInBoundsConstantOffsets(Value *&V);
1907adc3a2bSChandler Carruth 
1917adc3a2bSChandler Carruth   /// Return true if the given argument to the function being considered for
1927adc3a2bSChandler Carruth   /// inlining has the given attribute set either at the call site or the
1937adc3a2bSChandler Carruth   /// function declaration.  Primarily used to inspect call site specific
1947adc3a2bSChandler Carruth   /// attributes since these can be more precise than the ones on the callee
1957adc3a2bSChandler Carruth   /// itself.
1967adc3a2bSChandler Carruth   bool paramHasAttr(Argument *A, Attribute::AttrKind Attr);
1977adc3a2bSChandler Carruth 
1987adc3a2bSChandler Carruth   /// Return true if the given value is known non null within the callee if
1997adc3a2bSChandler Carruth   /// inlined through this particular callsite.
2007adc3a2bSChandler Carruth   bool isKnownNonNullInCallee(Value *V);
2017adc3a2bSChandler Carruth 
202f4bb2f0dSEaswaran Raman   /// Update Threshold based on callsite properties such as callee
203f4bb2f0dSEaswaran Raman   /// attributes and callee hotness for PGO builds. The Callee is explicitly
204f4bb2f0dSEaswaran Raman   /// passed to support analyzing indirect calls whose target is inferred by
205f4bb2f0dSEaswaran Raman   /// analysis.
206f4bb2f0dSEaswaran Raman   void updateThreshold(CallSite CS, Function &Callee);
207f4bb2f0dSEaswaran Raman 
2089a3fc17aSEaswaran Raman   /// Return true if size growth is allowed when inlining the callee at CS.
2099a3fc17aSEaswaran Raman   bool allowSizeGrowth(CallSite CS);
2109a3fc17aSEaswaran Raman 
211c5fa6358SEaswaran Raman   /// Return true if \p CS is a cold callsite.
212c5fa6358SEaswaran Raman   bool isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI);
213c5fa6358SEaswaran Raman 
214974d4eeaSEaswaran Raman   /// Return a higher threshold if \p CS is a hot callsite.
215974d4eeaSEaswaran Raman   Optional<int> getHotCallSiteThreshold(CallSite CS,
216974d4eeaSEaswaran Raman                                         BlockFrequencyInfo *CallerBFI);
217974d4eeaSEaswaran Raman 
2187adc3a2bSChandler Carruth   // Custom analysis routines.
2197adc3a2bSChandler Carruth   bool analyzeBlock(BasicBlock *BB, SmallPtrSetImpl<const Value *> &EphValues);
2207adc3a2bSChandler Carruth 
2217adc3a2bSChandler Carruth   // Disable several entry points to the visitor so we don't accidentally use
2227adc3a2bSChandler Carruth   // them by declaring but not defining them here.
223567556aaSChad Rosier   void visit(Module *);
224567556aaSChad Rosier   void visit(Module &);
225567556aaSChad Rosier   void visit(Function *);
226567556aaSChad Rosier   void visit(Function &);
227567556aaSChad Rosier   void visit(BasicBlock *);
228567556aaSChad Rosier   void visit(BasicBlock &);
2297adc3a2bSChandler Carruth 
2307adc3a2bSChandler Carruth   // Provide base case for our instruction visit.
2317adc3a2bSChandler Carruth   bool visitInstruction(Instruction &I);
2327adc3a2bSChandler Carruth 
2337adc3a2bSChandler Carruth   // Our visit overrides.
2347adc3a2bSChandler Carruth   bool visitAlloca(AllocaInst &I);
2357adc3a2bSChandler Carruth   bool visitPHI(PHINode &I);
2367adc3a2bSChandler Carruth   bool visitGetElementPtr(GetElementPtrInst &I);
2377adc3a2bSChandler Carruth   bool visitBitCast(BitCastInst &I);
2387adc3a2bSChandler Carruth   bool visitPtrToInt(PtrToIntInst &I);
2397adc3a2bSChandler Carruth   bool visitIntToPtr(IntToPtrInst &I);
2407adc3a2bSChandler Carruth   bool visitCastInst(CastInst &I);
2417adc3a2bSChandler Carruth   bool visitUnaryInstruction(UnaryInstruction &I);
2427adc3a2bSChandler Carruth   bool visitCmpInst(CmpInst &I);
2432e1c050eSChad Rosier   bool visitAnd(BinaryOperator &I);
2442e1c050eSChad Rosier   bool visitOr(BinaryOperator &I);
2457adc3a2bSChandler Carruth   bool visitSub(BinaryOperator &I);
2467adc3a2bSChandler Carruth   bool visitBinaryOperator(BinaryOperator &I);
2477adc3a2bSChandler Carruth   bool visitLoad(LoadInst &I);
2487adc3a2bSChandler Carruth   bool visitStore(StoreInst &I);
2497adc3a2bSChandler Carruth   bool visitExtractValue(ExtractValueInst &I);
2507adc3a2bSChandler Carruth   bool visitInsertValue(InsertValueInst &I);
2517adc3a2bSChandler Carruth   bool visitCallSite(CallSite CS);
2527adc3a2bSChandler Carruth   bool visitReturnInst(ReturnInst &RI);
2537adc3a2bSChandler Carruth   bool visitBranchInst(BranchInst &BI);
2543ec848bcSHaicheng Wu   bool visitSelectInst(SelectInst &SI);
2557adc3a2bSChandler Carruth   bool visitSwitchInst(SwitchInst &SI);
2567adc3a2bSChandler Carruth   bool visitIndirectBrInst(IndirectBrInst &IBI);
2577adc3a2bSChandler Carruth   bool visitResumeInst(ResumeInst &RI);
2587adc3a2bSChandler Carruth   bool visitCleanupReturnInst(CleanupReturnInst &RI);
2597adc3a2bSChandler Carruth   bool visitCatchReturnInst(CatchReturnInst &RI);
2607adc3a2bSChandler Carruth   bool visitUnreachableInst(UnreachableInst &I);
2617adc3a2bSChandler Carruth 
2627adc3a2bSChandler Carruth public:
263ab6a6837SSean Silva   CallAnalyzer(const TargetTransformInfo &TTI,
264aec2fa35SDaniel Jasper                std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
26512585b01SEaswaran Raman                Optional<function_ref<BlockFrequencyInfo &(Function &)>> &GetBFI,
2660812c5beSHaicheng Wu                ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE,
2670812c5beSHaicheng Wu                Function &Callee, CallSite CSArg, const InlineParams &Params)
26812585b01SEaswaran Raman       : TTI(TTI), GetAssumptionCache(GetAssumptionCache), GetBFI(GetBFI),
2690812c5beSHaicheng Wu         PSI(PSI), F(Callee), DL(F.getParent()->getDataLayout()), ORE(ORE),
27085be8ca8SEric Christopher         CandidateCS(CSArg), Params(Params), Threshold(Params.DefaultThreshold),
2714924bb00SEaswaran Raman         Cost(0), ComputeFullInlineCost(OptComputeFullInlineCost ||
2724924bb00SEaswaran Raman                                        Params.ComputeFullInlineCost || ORE),
2734924bb00SEaswaran Raman         IsCallerRecursive(false), IsRecursiveCall(false),
27485be8ca8SEric Christopher         ExposesReturnsTwice(false), HasDynamicAlloca(false),
27585be8ca8SEric Christopher         ContainsNoDuplicateCall(false), HasReturn(false), HasIndirectBr(false),
27685be8ca8SEric Christopher         HasFrameEscape(false), AllocatedSize(0), NumInstructions(0),
27751b809bfSEaswaran Raman         NumVectorInstructions(0), VectorBonus(0), SingleBBBonus(0),
27851b809bfSEaswaran Raman         NumConstantArgs(0), NumConstantOffsetPtrArgs(0), NumAllocaArgs(0),
27951b809bfSEaswaran Raman         NumConstantPtrCmps(0), NumConstantPtrDiffs(0),
28051b809bfSEaswaran Raman         NumInstructionsSimplified(0), SROACostSavings(0),
28151b809bfSEaswaran Raman         SROACostSavingsLost(0) {}
2827adc3a2bSChandler Carruth 
2837adc3a2bSChandler Carruth   bool analyzeCall(CallSite CS);
2847adc3a2bSChandler Carruth 
2857adc3a2bSChandler Carruth   int getThreshold() { return Threshold; }
2867adc3a2bSChandler Carruth   int getCost() { return Cost; }
2877adc3a2bSChandler Carruth 
2887adc3a2bSChandler Carruth   // Keep a bunch of stats about the cost savings found so we can print them
2897adc3a2bSChandler Carruth   // out when debugging.
2907adc3a2bSChandler Carruth   unsigned NumConstantArgs;
2917adc3a2bSChandler Carruth   unsigned NumConstantOffsetPtrArgs;
2927adc3a2bSChandler Carruth   unsigned NumAllocaArgs;
2937adc3a2bSChandler Carruth   unsigned NumConstantPtrCmps;
2947adc3a2bSChandler Carruth   unsigned NumConstantPtrDiffs;
2957adc3a2bSChandler Carruth   unsigned NumInstructionsSimplified;
2967adc3a2bSChandler Carruth   unsigned SROACostSavings;
2977adc3a2bSChandler Carruth   unsigned SROACostSavingsLost;
2987adc3a2bSChandler Carruth 
2997adc3a2bSChandler Carruth   void dump();
3007adc3a2bSChandler Carruth };
3017adc3a2bSChandler Carruth 
3027adc3a2bSChandler Carruth } // namespace
3037adc3a2bSChandler Carruth 
3047adc3a2bSChandler Carruth /// \brief Test whether the given value is an Alloca-derived function argument.
3057adc3a2bSChandler Carruth bool CallAnalyzer::isAllocaDerivedArg(Value *V) {
3067adc3a2bSChandler Carruth   return SROAArgValues.count(V);
3077adc3a2bSChandler Carruth }
3087adc3a2bSChandler Carruth 
3097adc3a2bSChandler Carruth /// \brief Lookup the SROA-candidate argument and cost iterator which V maps to.
3107adc3a2bSChandler Carruth /// Returns false if V does not map to a SROA-candidate.
3117adc3a2bSChandler Carruth bool CallAnalyzer::lookupSROAArgAndCost(
3127adc3a2bSChandler Carruth     Value *V, Value *&Arg, DenseMap<Value *, int>::iterator &CostIt) {
3137adc3a2bSChandler Carruth   if (SROAArgValues.empty() || SROAArgCosts.empty())
3147adc3a2bSChandler Carruth     return false;
3157adc3a2bSChandler Carruth 
3167adc3a2bSChandler Carruth   DenseMap<Value *, Value *>::iterator ArgIt = SROAArgValues.find(V);
3177adc3a2bSChandler Carruth   if (ArgIt == SROAArgValues.end())
3187adc3a2bSChandler Carruth     return false;
3197adc3a2bSChandler Carruth 
3207adc3a2bSChandler Carruth   Arg = ArgIt->second;
3217adc3a2bSChandler Carruth   CostIt = SROAArgCosts.find(Arg);
3227adc3a2bSChandler Carruth   return CostIt != SROAArgCosts.end();
3237adc3a2bSChandler Carruth }
3247adc3a2bSChandler Carruth 
3257adc3a2bSChandler Carruth /// \brief Disable SROA for the candidate marked by this cost iterator.
3267adc3a2bSChandler Carruth ///
3277adc3a2bSChandler Carruth /// This marks the candidate as no longer viable for SROA, and adds the cost
3287adc3a2bSChandler Carruth /// savings associated with it back into the inline cost measurement.
3297adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(DenseMap<Value *, int>::iterator CostIt) {
3307adc3a2bSChandler Carruth   // If we're no longer able to perform SROA we need to undo its cost savings
3317adc3a2bSChandler Carruth   // and prevent subsequent analysis.
3327adc3a2bSChandler Carruth   Cost += CostIt->second;
3337adc3a2bSChandler Carruth   SROACostSavings -= CostIt->second;
3347adc3a2bSChandler Carruth   SROACostSavingsLost += CostIt->second;
3357adc3a2bSChandler Carruth   SROAArgCosts.erase(CostIt);
3367adc3a2bSChandler Carruth }
3377adc3a2bSChandler Carruth 
3387adc3a2bSChandler Carruth /// \brief If 'V' maps to a SROA candidate, disable SROA for it.
3397adc3a2bSChandler Carruth void CallAnalyzer::disableSROA(Value *V) {
3407adc3a2bSChandler Carruth   Value *SROAArg;
3417adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
3427adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(V, SROAArg, CostIt))
3437adc3a2bSChandler Carruth     disableSROA(CostIt);
3447adc3a2bSChandler Carruth }
3457adc3a2bSChandler Carruth 
3467adc3a2bSChandler Carruth /// \brief Accumulate the given cost for a particular SROA candidate.
3477adc3a2bSChandler Carruth void CallAnalyzer::accumulateSROACost(DenseMap<Value *, int>::iterator CostIt,
3487adc3a2bSChandler Carruth                                       int InstructionCost) {
3497adc3a2bSChandler Carruth   CostIt->second += InstructionCost;
3507adc3a2bSChandler Carruth   SROACostSavings += InstructionCost;
3517adc3a2bSChandler Carruth }
3527adc3a2bSChandler Carruth 
3537adc3a2bSChandler Carruth /// \brief Accumulate a constant GEP offset into an APInt if possible.
3547adc3a2bSChandler Carruth ///
3557adc3a2bSChandler Carruth /// Returns false if unable to compute the offset for any reason. Respects any
3567adc3a2bSChandler Carruth /// simplified values known during the analysis of this callsite.
3577adc3a2bSChandler Carruth bool CallAnalyzer::accumulateGEPOffset(GEPOperator &GEP, APInt &Offset) {
3587adc3a2bSChandler Carruth   unsigned IntPtrWidth = DL.getPointerSizeInBits();
3597adc3a2bSChandler Carruth   assert(IntPtrWidth == Offset.getBitWidth());
3607adc3a2bSChandler Carruth 
3617adc3a2bSChandler Carruth   for (gep_type_iterator GTI = gep_type_begin(GEP), GTE = gep_type_end(GEP);
3627adc3a2bSChandler Carruth        GTI != GTE; ++GTI) {
3637adc3a2bSChandler Carruth     ConstantInt *OpC = dyn_cast<ConstantInt>(GTI.getOperand());
3647adc3a2bSChandler Carruth     if (!OpC)
3657adc3a2bSChandler Carruth       if (Constant *SimpleOp = SimplifiedValues.lookup(GTI.getOperand()))
3667adc3a2bSChandler Carruth         OpC = dyn_cast<ConstantInt>(SimpleOp);
3677adc3a2bSChandler Carruth     if (!OpC)
3687adc3a2bSChandler Carruth       return false;
369567556aaSChad Rosier     if (OpC->isZero())
370567556aaSChad Rosier       continue;
3717adc3a2bSChandler Carruth 
3727adc3a2bSChandler Carruth     // Handle a struct index, which adds its field offset to the pointer.
373ab85225bSPeter Collingbourne     if (StructType *STy = GTI.getStructTypeOrNull()) {
3747adc3a2bSChandler Carruth       unsigned ElementIdx = OpC->getZExtValue();
3757adc3a2bSChandler Carruth       const StructLayout *SL = DL.getStructLayout(STy);
3767adc3a2bSChandler Carruth       Offset += APInt(IntPtrWidth, SL->getElementOffset(ElementIdx));
3777adc3a2bSChandler Carruth       continue;
3787adc3a2bSChandler Carruth     }
3797adc3a2bSChandler Carruth 
3807adc3a2bSChandler Carruth     APInt TypeSize(IntPtrWidth, DL.getTypeAllocSize(GTI.getIndexedType()));
3817adc3a2bSChandler Carruth     Offset += OpC->getValue().sextOrTrunc(IntPtrWidth) * TypeSize;
3827adc3a2bSChandler Carruth   }
3837adc3a2bSChandler Carruth   return true;
3847adc3a2bSChandler Carruth }
3857adc3a2bSChandler Carruth 
386201b191bSHaicheng Wu /// \brief Use TTI to check whether a GEP is free.
387201b191bSHaicheng Wu ///
388201b191bSHaicheng Wu /// Respects any simplified values known during the analysis of this callsite.
389201b191bSHaicheng Wu bool CallAnalyzer::isGEPFree(GetElementPtrInst &GEP) {
39061c1bd5aSEvgeny Astigeevich   SmallVector<Value *, 4> Operands;
39161c1bd5aSEvgeny Astigeevich   Operands.push_back(GEP.getOperand(0));
392201b191bSHaicheng Wu   for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I)
393201b191bSHaicheng Wu     if (Constant *SimpleOp = SimplifiedValues.lookup(*I))
39461c1bd5aSEvgeny Astigeevich        Operands.push_back(SimpleOp);
395201b191bSHaicheng Wu      else
39661c1bd5aSEvgeny Astigeevich        Operands.push_back(*I);
39761c1bd5aSEvgeny Astigeevich   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&GEP, Operands);
398201b191bSHaicheng Wu }
399201b191bSHaicheng Wu 
4007adc3a2bSChandler Carruth bool CallAnalyzer::visitAlloca(AllocaInst &I) {
4017adc3a2bSChandler Carruth   // Check whether inlining will turn a dynamic alloca into a static
4020f153424SSanjay Patel   // alloca and handle that case.
4037adc3a2bSChandler Carruth   if (I.isArrayAllocation()) {
4040f153424SSanjay Patel     Constant *Size = SimplifiedValues.lookup(I.getArraySize());
4050f153424SSanjay Patel     if (auto *AllocSize = dyn_cast_or_null<ConstantInt>(Size)) {
4067adc3a2bSChandler Carruth       Type *Ty = I.getAllocatedType();
40722eb80a1SEaswaran Raman       AllocatedSize = SaturatingMultiplyAdd(
40822eb80a1SEaswaran Raman           AllocSize->getLimitedValue(), DL.getTypeAllocSize(Ty), AllocatedSize);
4097adc3a2bSChandler Carruth       return Base::visitAlloca(I);
4107adc3a2bSChandler Carruth     }
4117adc3a2bSChandler Carruth   }
4127adc3a2bSChandler Carruth 
4137adc3a2bSChandler Carruth   // Accumulate the allocated size.
4147adc3a2bSChandler Carruth   if (I.isStaticAlloca()) {
4157adc3a2bSChandler Carruth     Type *Ty = I.getAllocatedType();
41622eb80a1SEaswaran Raman     AllocatedSize = SaturatingAdd(DL.getTypeAllocSize(Ty), AllocatedSize);
4177adc3a2bSChandler Carruth   }
4187adc3a2bSChandler Carruth 
4197adc3a2bSChandler Carruth   // We will happily inline static alloca instructions.
4207adc3a2bSChandler Carruth   if (I.isStaticAlloca())
4217adc3a2bSChandler Carruth     return Base::visitAlloca(I);
4227adc3a2bSChandler Carruth 
4237adc3a2bSChandler Carruth   // FIXME: This is overly conservative. Dynamic allocas are inefficient for
4247adc3a2bSChandler Carruth   // a variety of reasons, and so we would like to not inline them into
4257adc3a2bSChandler Carruth   // functions which don't currently have a dynamic alloca. This simply
4267adc3a2bSChandler Carruth   // disables inlining altogether in the presence of a dynamic alloca.
4277adc3a2bSChandler Carruth   HasDynamicAlloca = true;
4287adc3a2bSChandler Carruth   return false;
4297adc3a2bSChandler Carruth }
4307adc3a2bSChandler Carruth 
4317adc3a2bSChandler Carruth bool CallAnalyzer::visitPHI(PHINode &I) {
4327adc3a2bSChandler Carruth   // FIXME: We need to propagate SROA *disabling* through phi nodes, even
4337adc3a2bSChandler Carruth   // though we don't want to propagate it's bonuses. The idea is to disable
4347adc3a2bSChandler Carruth   // SROA if it *might* be used in an inappropriate manner.
4357adc3a2bSChandler Carruth 
4367adc3a2bSChandler Carruth   // Phi nodes are always zero-cost.
437*3739e14aSHaicheng Wu 
438*3739e14aSHaicheng Wu   APInt ZeroOffset = APInt::getNullValue(DL.getPointerSizeInBits());
439*3739e14aSHaicheng Wu   bool CheckSROA = I.getType()->isPointerTy();
440*3739e14aSHaicheng Wu 
441*3739e14aSHaicheng Wu   // Track the constant or pointer with constant offset we've seen so far.
442*3739e14aSHaicheng Wu   Constant *FirstC = nullptr;
443*3739e14aSHaicheng Wu   std::pair<Value *, APInt> FirstBaseAndOffset = {nullptr, ZeroOffset};
444*3739e14aSHaicheng Wu   Value *FirstV = nullptr;
445*3739e14aSHaicheng Wu 
446*3739e14aSHaicheng Wu   for (unsigned i = 0, e = I.getNumIncomingValues(); i != e; ++i) {
447*3739e14aSHaicheng Wu     BasicBlock *Pred = I.getIncomingBlock(i);
448*3739e14aSHaicheng Wu     // If the incoming block is dead, skip the incoming block.
449*3739e14aSHaicheng Wu     if (DeadBlocks.count(Pred))
450*3739e14aSHaicheng Wu       continue;
451*3739e14aSHaicheng Wu     // If the parent block of phi is not the known successor of the incoming
452*3739e14aSHaicheng Wu     // block, skip the incoming block.
453*3739e14aSHaicheng Wu     BasicBlock *KnownSuccessor = KnownSuccessors[Pred];
454*3739e14aSHaicheng Wu     if (KnownSuccessor && KnownSuccessor != I.getParent())
455*3739e14aSHaicheng Wu       continue;
456*3739e14aSHaicheng Wu 
457*3739e14aSHaicheng Wu     Value *V = I.getIncomingValue(i);
458*3739e14aSHaicheng Wu     // If the incoming value is this phi itself, skip the incoming value.
459*3739e14aSHaicheng Wu     if (&I == V)
460*3739e14aSHaicheng Wu       continue;
461*3739e14aSHaicheng Wu 
462*3739e14aSHaicheng Wu     Constant *C = dyn_cast<Constant>(V);
463*3739e14aSHaicheng Wu     if (!C)
464*3739e14aSHaicheng Wu       C = SimplifiedValues.lookup(V);
465*3739e14aSHaicheng Wu 
466*3739e14aSHaicheng Wu     std::pair<Value *, APInt> BaseAndOffset = {nullptr, ZeroOffset};
467*3739e14aSHaicheng Wu     if (!C && CheckSROA)
468*3739e14aSHaicheng Wu       BaseAndOffset = ConstantOffsetPtrs.lookup(V);
469*3739e14aSHaicheng Wu 
470*3739e14aSHaicheng Wu     if (!C && !BaseAndOffset.first)
471*3739e14aSHaicheng Wu       // The incoming value is neither a constant nor a pointer with constant
472*3739e14aSHaicheng Wu       // offset, exit early.
473*3739e14aSHaicheng Wu       return true;
474*3739e14aSHaicheng Wu 
475*3739e14aSHaicheng Wu     if (FirstC) {
476*3739e14aSHaicheng Wu       if (FirstC == C)
477*3739e14aSHaicheng Wu         // If we've seen a constant incoming value before and it is the same
478*3739e14aSHaicheng Wu         // constant we see this time, continue checking the next incoming value.
479*3739e14aSHaicheng Wu         continue;
480*3739e14aSHaicheng Wu       // Otherwise early exit because we either see a different constant or saw
481*3739e14aSHaicheng Wu       // a constant before but we have a pointer with constant offset this time.
482*3739e14aSHaicheng Wu       return true;
483*3739e14aSHaicheng Wu     }
484*3739e14aSHaicheng Wu 
485*3739e14aSHaicheng Wu     if (FirstV) {
486*3739e14aSHaicheng Wu       // The same logic as above, but check pointer with constant offset here.
487*3739e14aSHaicheng Wu       if (FirstBaseAndOffset == BaseAndOffset)
488*3739e14aSHaicheng Wu         continue;
489*3739e14aSHaicheng Wu       return true;
490*3739e14aSHaicheng Wu     }
491*3739e14aSHaicheng Wu 
492*3739e14aSHaicheng Wu     if (C) {
493*3739e14aSHaicheng Wu       // This is the 1st time we've seen a constant, record it.
494*3739e14aSHaicheng Wu       FirstC = C;
495*3739e14aSHaicheng Wu       continue;
496*3739e14aSHaicheng Wu     }
497*3739e14aSHaicheng Wu 
498*3739e14aSHaicheng Wu     // The remaining case is that this is the 1st time we've seen a pointer with
499*3739e14aSHaicheng Wu     // constant offset, record it.
500*3739e14aSHaicheng Wu     FirstV = V;
501*3739e14aSHaicheng Wu     FirstBaseAndOffset = BaseAndOffset;
502*3739e14aSHaicheng Wu   }
503*3739e14aSHaicheng Wu 
504*3739e14aSHaicheng Wu   // Check if we can map phi to a constant.
505*3739e14aSHaicheng Wu   if (FirstC) {
506*3739e14aSHaicheng Wu     SimplifiedValues[&I] = FirstC;
507*3739e14aSHaicheng Wu     return true;
508*3739e14aSHaicheng Wu   }
509*3739e14aSHaicheng Wu 
510*3739e14aSHaicheng Wu   // Check if we can map phi to a pointer with constant offset.
511*3739e14aSHaicheng Wu   if (FirstBaseAndOffset.first) {
512*3739e14aSHaicheng Wu     ConstantOffsetPtrs[&I] = FirstBaseAndOffset;
513*3739e14aSHaicheng Wu 
514*3739e14aSHaicheng Wu     Value *SROAArg;
515*3739e14aSHaicheng Wu     DenseMap<Value *, int>::iterator CostIt;
516*3739e14aSHaicheng Wu     if (lookupSROAArgAndCost(FirstV, SROAArg, CostIt))
517*3739e14aSHaicheng Wu       SROAArgValues[&I] = SROAArg;
518*3739e14aSHaicheng Wu   }
519*3739e14aSHaicheng Wu 
5207adc3a2bSChandler Carruth   return true;
5217adc3a2bSChandler Carruth }
5227adc3a2bSChandler Carruth 
523d3558b5dSEvgeny Astigeevich /// \brief Check we can fold GEPs of constant-offset call site argument pointers.
524d3558b5dSEvgeny Astigeevich /// This requires target data and inbounds GEPs.
525d3558b5dSEvgeny Astigeevich ///
526d3558b5dSEvgeny Astigeevich /// \return true if the specified GEP can be folded.
527d3558b5dSEvgeny Astigeevich bool CallAnalyzer::canFoldInboundsGEP(GetElementPtrInst &I) {
528d3558b5dSEvgeny Astigeevich   // Check if we have a base + offset for the pointer.
529d3558b5dSEvgeny Astigeevich   std::pair<Value *, APInt> BaseAndOffset =
530d3558b5dSEvgeny Astigeevich       ConstantOffsetPtrs.lookup(I.getPointerOperand());
531d3558b5dSEvgeny Astigeevich   if (!BaseAndOffset.first)
532d3558b5dSEvgeny Astigeevich     return false;
533d3558b5dSEvgeny Astigeevich 
534d3558b5dSEvgeny Astigeevich   // Check if the offset of this GEP is constant, and if so accumulate it
535d3558b5dSEvgeny Astigeevich   // into Offset.
536d3558b5dSEvgeny Astigeevich   if (!accumulateGEPOffset(cast<GEPOperator>(I), BaseAndOffset.second))
537d3558b5dSEvgeny Astigeevich     return false;
538d3558b5dSEvgeny Astigeevich 
539d3558b5dSEvgeny Astigeevich   // Add the result as a new mapping to Base + Offset.
540d3558b5dSEvgeny Astigeevich   ConstantOffsetPtrs[&I] = BaseAndOffset;
541d3558b5dSEvgeny Astigeevich 
542d3558b5dSEvgeny Astigeevich   return true;
543d3558b5dSEvgeny Astigeevich }
544d3558b5dSEvgeny Astigeevich 
5457adc3a2bSChandler Carruth bool CallAnalyzer::visitGetElementPtr(GetElementPtrInst &I) {
5467adc3a2bSChandler Carruth   Value *SROAArg;
5477adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
548567556aaSChad Rosier   bool SROACandidate =
549567556aaSChad Rosier       lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt);
5507adc3a2bSChandler Carruth 
551a8b9cdc9SEaswaran Raman   // Lambda to check whether a GEP's indices are all constant.
552a8b9cdc9SEaswaran Raman   auto IsGEPOffsetConstant = [&](GetElementPtrInst &GEP) {
553a8b9cdc9SEaswaran Raman     for (User::op_iterator I = GEP.idx_begin(), E = GEP.idx_end(); I != E; ++I)
554a8b9cdc9SEaswaran Raman       if (!isa<Constant>(*I) && !SimplifiedValues.lookup(*I))
555a8b9cdc9SEaswaran Raman         return false;
556a8b9cdc9SEaswaran Raman     return true;
557a8b9cdc9SEaswaran Raman   };
558a8b9cdc9SEaswaran Raman 
559d3558b5dSEvgeny Astigeevich   if ((I.isInBounds() && canFoldInboundsGEP(I)) || IsGEPOffsetConstant(I)) {
5607adc3a2bSChandler Carruth     if (SROACandidate)
5617adc3a2bSChandler Carruth       SROAArgValues[&I] = SROAArg;
5627adc3a2bSChandler Carruth 
5637adc3a2bSChandler Carruth     // Constant GEPs are modeled as free.
5647adc3a2bSChandler Carruth     return true;
5657adc3a2bSChandler Carruth   }
5667adc3a2bSChandler Carruth 
5677adc3a2bSChandler Carruth   // Variable GEPs will require math and will disable SROA.
5687adc3a2bSChandler Carruth   if (SROACandidate)
5697adc3a2bSChandler Carruth     disableSROA(CostIt);
570201b191bSHaicheng Wu   return isGEPFree(I);
5717adc3a2bSChandler Carruth }
5727adc3a2bSChandler Carruth 
573617f6364SEaswaran Raman /// Simplify \p I if its operands are constants and update SimplifiedValues.
574617f6364SEaswaran Raman /// \p Evaluate is a callable specific to instruction type that evaluates the
575617f6364SEaswaran Raman /// instruction when all the operands are constants.
576617f6364SEaswaran Raman template <typename Callable>
577617f6364SEaswaran Raman bool CallAnalyzer::simplifyInstruction(Instruction &I, Callable Evaluate) {
578617f6364SEaswaran Raman   SmallVector<Constant *, 2> COps;
579617f6364SEaswaran Raman   for (Value *Op : I.operands()) {
580617f6364SEaswaran Raman     Constant *COp = dyn_cast<Constant>(Op);
5817adc3a2bSChandler Carruth     if (!COp)
582617f6364SEaswaran Raman       COp = SimplifiedValues.lookup(Op);
583617f6364SEaswaran Raman     if (!COp)
584617f6364SEaswaran Raman       return false;
585617f6364SEaswaran Raman     COps.push_back(COp);
586617f6364SEaswaran Raman   }
587617f6364SEaswaran Raman   auto *C = Evaluate(COps);
588617f6364SEaswaran Raman   if (!C)
589617f6364SEaswaran Raman     return false;
5907adc3a2bSChandler Carruth   SimplifiedValues[&I] = C;
5917adc3a2bSChandler Carruth   return true;
5927adc3a2bSChandler Carruth }
5937adc3a2bSChandler Carruth 
594617f6364SEaswaran Raman bool CallAnalyzer::visitBitCast(BitCastInst &I) {
595617f6364SEaswaran Raman   // Propagate constants through bitcasts.
596617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
597617f6364SEaswaran Raman         return ConstantExpr::getBitCast(COps[0], I.getType());
598617f6364SEaswaran Raman       }))
599617f6364SEaswaran Raman     return true;
600617f6364SEaswaran Raman 
6017adc3a2bSChandler Carruth   // Track base/offsets through casts
602567556aaSChad Rosier   std::pair<Value *, APInt> BaseAndOffset =
603567556aaSChad Rosier       ConstantOffsetPtrs.lookup(I.getOperand(0));
6047adc3a2bSChandler Carruth   // Casts don't change the offset, just wrap it up.
6057adc3a2bSChandler Carruth   if (BaseAndOffset.first)
6067adc3a2bSChandler Carruth     ConstantOffsetPtrs[&I] = BaseAndOffset;
6077adc3a2bSChandler Carruth 
6087adc3a2bSChandler Carruth   // Also look for SROA candidates here.
6097adc3a2bSChandler Carruth   Value *SROAArg;
6107adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
6117adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt))
6127adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
6137adc3a2bSChandler Carruth 
6147adc3a2bSChandler Carruth   // Bitcasts are always zero cost.
6157adc3a2bSChandler Carruth   return true;
6167adc3a2bSChandler Carruth }
6177adc3a2bSChandler Carruth 
6187adc3a2bSChandler Carruth bool CallAnalyzer::visitPtrToInt(PtrToIntInst &I) {
6197adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
620617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
621617f6364SEaswaran Raman         return ConstantExpr::getPtrToInt(COps[0], I.getType());
622617f6364SEaswaran Raman       }))
6237adc3a2bSChandler Carruth     return true;
6247adc3a2bSChandler Carruth 
6257adc3a2bSChandler Carruth   // Track base/offset pairs when converted to a plain integer provided the
6267adc3a2bSChandler Carruth   // integer is large enough to represent the pointer.
6277adc3a2bSChandler Carruth   unsigned IntegerSize = I.getType()->getScalarSizeInBits();
6287adc3a2bSChandler Carruth   if (IntegerSize >= DL.getPointerSizeInBits()) {
629567556aaSChad Rosier     std::pair<Value *, APInt> BaseAndOffset =
630567556aaSChad Rosier         ConstantOffsetPtrs.lookup(I.getOperand(0));
6317adc3a2bSChandler Carruth     if (BaseAndOffset.first)
6327adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
6337adc3a2bSChandler Carruth   }
6347adc3a2bSChandler Carruth 
6357adc3a2bSChandler Carruth   // This is really weird. Technically, ptrtoint will disable SROA. However,
6367adc3a2bSChandler Carruth   // unless that ptrtoint is *used* somewhere in the live basic blocks after
6377adc3a2bSChandler Carruth   // inlining, it will be nuked, and SROA should proceed. All of the uses which
6387adc3a2bSChandler Carruth   // would block SROA would also block SROA if applied directly to a pointer,
6397adc3a2bSChandler Carruth   // and so we can just add the integer in here. The only places where SROA is
6407adc3a2bSChandler Carruth   // preserved either cannot fire on an integer, or won't in-and-of themselves
6417adc3a2bSChandler Carruth   // disable SROA (ext) w/o some later use that we would see and disable.
6427adc3a2bSChandler Carruth   Value *SROAArg;
6437adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
6447adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt))
6457adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
6467adc3a2bSChandler Carruth 
6477adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
6487adc3a2bSChandler Carruth }
6497adc3a2bSChandler Carruth 
6507adc3a2bSChandler Carruth bool CallAnalyzer::visitIntToPtr(IntToPtrInst &I) {
6517adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
652617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
653617f6364SEaswaran Raman         return ConstantExpr::getIntToPtr(COps[0], I.getType());
654617f6364SEaswaran Raman       }))
6557adc3a2bSChandler Carruth     return true;
6567adc3a2bSChandler Carruth 
6577adc3a2bSChandler Carruth   // Track base/offset pairs when round-tripped through a pointer without
6587adc3a2bSChandler Carruth   // modifications provided the integer is not too large.
6597adc3a2bSChandler Carruth   Value *Op = I.getOperand(0);
6607adc3a2bSChandler Carruth   unsigned IntegerSize = Op->getType()->getScalarSizeInBits();
6617adc3a2bSChandler Carruth   if (IntegerSize <= DL.getPointerSizeInBits()) {
6627adc3a2bSChandler Carruth     std::pair<Value *, APInt> BaseAndOffset = ConstantOffsetPtrs.lookup(Op);
6637adc3a2bSChandler Carruth     if (BaseAndOffset.first)
6647adc3a2bSChandler Carruth       ConstantOffsetPtrs[&I] = BaseAndOffset;
6657adc3a2bSChandler Carruth   }
6667adc3a2bSChandler Carruth 
6677adc3a2bSChandler Carruth   // "Propagate" SROA here in the same manner as we do for ptrtoint above.
6687adc3a2bSChandler Carruth   Value *SROAArg;
6697adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
6707adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(Op, SROAArg, CostIt))
6717adc3a2bSChandler Carruth     SROAArgValues[&I] = SROAArg;
6727adc3a2bSChandler Carruth 
6737adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
6747adc3a2bSChandler Carruth }
6757adc3a2bSChandler Carruth 
6767adc3a2bSChandler Carruth bool CallAnalyzer::visitCastInst(CastInst &I) {
6777adc3a2bSChandler Carruth   // Propagate constants through ptrtoint.
678617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
679617f6364SEaswaran Raman         return ConstantExpr::getCast(I.getOpcode(), COps[0], I.getType());
680617f6364SEaswaran Raman       }))
6817adc3a2bSChandler Carruth     return true;
6827adc3a2bSChandler Carruth 
6837adc3a2bSChandler Carruth   // Disable SROA in the face of arbitrary casts we don't whitelist elsewhere.
6847adc3a2bSChandler Carruth   disableSROA(I.getOperand(0));
6857adc3a2bSChandler Carruth 
6867adc3a2bSChandler Carruth   return TargetTransformInfo::TCC_Free == TTI.getUserCost(&I);
6877adc3a2bSChandler Carruth }
6887adc3a2bSChandler Carruth 
6897adc3a2bSChandler Carruth bool CallAnalyzer::visitUnaryInstruction(UnaryInstruction &I) {
6907adc3a2bSChandler Carruth   Value *Operand = I.getOperand(0);
691617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
692617f6364SEaswaran Raman         return ConstantFoldInstOperands(&I, COps[0], DL);
693617f6364SEaswaran Raman       }))
6947adc3a2bSChandler Carruth     return true;
6957adc3a2bSChandler Carruth 
6967adc3a2bSChandler Carruth   // Disable any SROA on the argument to arbitrary unary operators.
6977adc3a2bSChandler Carruth   disableSROA(Operand);
6987adc3a2bSChandler Carruth 
6997adc3a2bSChandler Carruth   return false;
7007adc3a2bSChandler Carruth }
7017adc3a2bSChandler Carruth 
7027adc3a2bSChandler Carruth bool CallAnalyzer::paramHasAttr(Argument *A, Attribute::AttrKind Attr) {
703fb502d2fSReid Kleckner   return CandidateCS.paramHasAttr(A->getArgNo(), Attr);
7047adc3a2bSChandler Carruth }
7057adc3a2bSChandler Carruth 
7067adc3a2bSChandler Carruth bool CallAnalyzer::isKnownNonNullInCallee(Value *V) {
7077adc3a2bSChandler Carruth   // Does the *call site* have the NonNull attribute set on an argument?  We
7087adc3a2bSChandler Carruth   // use the attribute on the call site to memoize any analysis done in the
7097adc3a2bSChandler Carruth   // caller. This will also trip if the callee function has a non-null
7107adc3a2bSChandler Carruth   // parameter attribute, but that's a less interesting case because hopefully
7117adc3a2bSChandler Carruth   // the callee would already have been simplified based on that.
7127adc3a2bSChandler Carruth   if (Argument *A = dyn_cast<Argument>(V))
7137adc3a2bSChandler Carruth     if (paramHasAttr(A, Attribute::NonNull))
7147adc3a2bSChandler Carruth       return true;
7157adc3a2bSChandler Carruth 
7167adc3a2bSChandler Carruth   // Is this an alloca in the caller?  This is distinct from the attribute case
7177adc3a2bSChandler Carruth   // above because attributes aren't updated within the inliner itself and we
7187adc3a2bSChandler Carruth   // always want to catch the alloca derived case.
7197adc3a2bSChandler Carruth   if (isAllocaDerivedArg(V))
7207adc3a2bSChandler Carruth     // We can actually predict the result of comparisons between an
7217adc3a2bSChandler Carruth     // alloca-derived value and null. Note that this fires regardless of
7227adc3a2bSChandler Carruth     // SROA firing.
7237adc3a2bSChandler Carruth     return true;
7247adc3a2bSChandler Carruth 
7257adc3a2bSChandler Carruth   return false;
7267adc3a2bSChandler Carruth }
7277adc3a2bSChandler Carruth 
7289a3fc17aSEaswaran Raman bool CallAnalyzer::allowSizeGrowth(CallSite CS) {
7299a3fc17aSEaswaran Raman   // If the normal destination of the invoke or the parent block of the call
7309a3fc17aSEaswaran Raman   // site is unreachable-terminated, there is little point in inlining this
7319a3fc17aSEaswaran Raman   // unless there is literally zero cost.
7329a3fc17aSEaswaran Raman   // FIXME: Note that it is possible that an unreachable-terminated block has a
7339a3fc17aSEaswaran Raman   // hot entry. For example, in below scenario inlining hot_call_X() may be
7349a3fc17aSEaswaran Raman   // beneficial :
7359a3fc17aSEaswaran Raman   // main() {
7369a3fc17aSEaswaran Raman   //   hot_call_1();
7379a3fc17aSEaswaran Raman   //   ...
7389a3fc17aSEaswaran Raman   //   hot_call_N()
7399a3fc17aSEaswaran Raman   //   exit(0);
7409a3fc17aSEaswaran Raman   // }
7419a3fc17aSEaswaran Raman   // For now, we are not handling this corner case here as it is rare in real
7429a3fc17aSEaswaran Raman   // code. In future, we should elaborate this based on BPI and BFI in more
7439a3fc17aSEaswaran Raman   // general threshold adjusting heuristics in updateThreshold().
7449a3fc17aSEaswaran Raman   Instruction *Instr = CS.getInstruction();
7459a3fc17aSEaswaran Raman   if (InvokeInst *II = dyn_cast<InvokeInst>(Instr)) {
7469a3fc17aSEaswaran Raman     if (isa<UnreachableInst>(II->getNormalDest()->getTerminator()))
7479a3fc17aSEaswaran Raman       return false;
7489a3fc17aSEaswaran Raman   } else if (isa<UnreachableInst>(Instr->getParent()->getTerminator()))
7499a3fc17aSEaswaran Raman     return false;
7509a3fc17aSEaswaran Raman 
7519a3fc17aSEaswaran Raman   return true;
7529a3fc17aSEaswaran Raman }
7539a3fc17aSEaswaran Raman 
754c5fa6358SEaswaran Raman bool CallAnalyzer::isColdCallSite(CallSite CS, BlockFrequencyInfo *CallerBFI) {
755c5fa6358SEaswaran Raman   // If global profile summary is available, then callsite's coldness is
756c5fa6358SEaswaran Raman   // determined based on that.
757bba762a1SChandler Carruth   if (PSI && PSI->hasProfileSummary())
758c5fa6358SEaswaran Raman     return PSI->isColdCallSite(CS, CallerBFI);
759bba762a1SChandler Carruth 
760bba762a1SChandler Carruth   // Otherwise we need BFI to be available.
761c5fa6358SEaswaran Raman   if (!CallerBFI)
762c5fa6358SEaswaran Raman     return false;
763c5fa6358SEaswaran Raman 
764bba762a1SChandler Carruth   // Determine if the callsite is cold relative to caller's entry. We could
765bba762a1SChandler Carruth   // potentially cache the computation of scaled entry frequency, but the added
766bba762a1SChandler Carruth   // complexity is not worth it unless this scaling shows up high in the
767bba762a1SChandler Carruth   // profiles.
768c5fa6358SEaswaran Raman   const BranchProbability ColdProb(ColdCallSiteRelFreq, 100);
769c5fa6358SEaswaran Raman   auto CallSiteBB = CS.getInstruction()->getParent();
770c5fa6358SEaswaran Raman   auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB);
771c5fa6358SEaswaran Raman   auto CallerEntryFreq =
772c5fa6358SEaswaran Raman       CallerBFI->getBlockFreq(&(CS.getCaller()->getEntryBlock()));
773c5fa6358SEaswaran Raman   return CallSiteFreq < CallerEntryFreq * ColdProb;
774c5fa6358SEaswaran Raman }
775c5fa6358SEaswaran Raman 
776974d4eeaSEaswaran Raman Optional<int>
777974d4eeaSEaswaran Raman CallAnalyzer::getHotCallSiteThreshold(CallSite CS,
778974d4eeaSEaswaran Raman                                       BlockFrequencyInfo *CallerBFI) {
779bba762a1SChandler Carruth 
780974d4eeaSEaswaran Raman   // If global profile summary is available, then callsite's hotness is
781974d4eeaSEaswaran Raman   // determined based on that.
782bba762a1SChandler Carruth   if (PSI && PSI->hasProfileSummary() && PSI->isHotCallSite(CS, CallerBFI))
783bba762a1SChandler Carruth     return Params.HotCallSiteThreshold;
784974d4eeaSEaswaran Raman 
785bba762a1SChandler Carruth   // Otherwise we need BFI to be available and to have a locally hot callsite
786bba762a1SChandler Carruth   // threshold.
787bba762a1SChandler Carruth   if (!CallerBFI || !Params.LocallyHotCallSiteThreshold)
788974d4eeaSEaswaran Raman     return None;
789974d4eeaSEaswaran Raman 
790bba762a1SChandler Carruth   // Determine if the callsite is hot relative to caller's entry. We could
791bba762a1SChandler Carruth   // potentially cache the computation of scaled entry frequency, but the added
792bba762a1SChandler Carruth   // complexity is not worth it unless this scaling shows up high in the
793bba762a1SChandler Carruth   // profiles.
794974d4eeaSEaswaran Raman   auto CallSiteBB = CS.getInstruction()->getParent();
795974d4eeaSEaswaran Raman   auto CallSiteFreq = CallerBFI->getBlockFreq(CallSiteBB).getFrequency();
796974d4eeaSEaswaran Raman   auto CallerEntryFreq = CallerBFI->getEntryFreq();
797974d4eeaSEaswaran Raman   if (CallSiteFreq >= CallerEntryFreq * HotCallSiteRelFreq)
798bba762a1SChandler Carruth     return Params.LocallyHotCallSiteThreshold;
799bba762a1SChandler Carruth 
800bba762a1SChandler Carruth   // Otherwise treat it normally.
801974d4eeaSEaswaran Raman   return None;
802974d4eeaSEaswaran Raman }
803974d4eeaSEaswaran Raman 
804f4bb2f0dSEaswaran Raman void CallAnalyzer::updateThreshold(CallSite CS, Function &Callee) {
8059a3fc17aSEaswaran Raman   // If no size growth is allowed for this inlining, set Threshold to 0.
8069a3fc17aSEaswaran Raman   if (!allowSizeGrowth(CS)) {
8079a3fc17aSEaswaran Raman     Threshold = 0;
8089a3fc17aSEaswaran Raman     return;
8099a3fc17aSEaswaran Raman   }
8109a3fc17aSEaswaran Raman 
811bb578ef0SEaswaran Raman   Function *Caller = CS.getCaller();
8121c57cc2bSEaswaran Raman 
8131c57cc2bSEaswaran Raman   // return min(A, B) if B is valid.
8141c57cc2bSEaswaran Raman   auto MinIfValid = [](int A, Optional<int> B) {
8151c57cc2bSEaswaran Raman     return B ? std::min(A, B.getValue()) : A;
8161c57cc2bSEaswaran Raman   };
8171c57cc2bSEaswaran Raman 
8180d58fcacSEaswaran Raman   // return max(A, B) if B is valid.
8190d58fcacSEaswaran Raman   auto MaxIfValid = [](int A, Optional<int> B) {
8200d58fcacSEaswaran Raman     return B ? std::max(A, B.getValue()) : A;
8210d58fcacSEaswaran Raman   };
8220d58fcacSEaswaran Raman 
82351b809bfSEaswaran Raman   // Various bonus percentages. These are multiplied by Threshold to get the
82451b809bfSEaswaran Raman   // bonus values.
82551b809bfSEaswaran Raman   // SingleBBBonus: This bonus is applied if the callee has a single reachable
82651b809bfSEaswaran Raman   // basic block at the given callsite context. This is speculatively applied
82751b809bfSEaswaran Raman   // and withdrawn if more than one basic block is seen.
82851b809bfSEaswaran Raman   //
82951b809bfSEaswaran Raman   // Vector bonuses: We want to more aggressively inline vector-dense kernels
83051b809bfSEaswaran Raman   // and apply this bonus based on the percentage of vector instructions. A
83151b809bfSEaswaran Raman   // bonus is applied if the vector instructions exceed 50% and half that amount
83251b809bfSEaswaran Raman   // is applied if it exceeds 10%. Note that these bonuses are some what
83351b809bfSEaswaran Raman   // arbitrary and evolved over time by accident as much as because they are
83451b809bfSEaswaran Raman   // principled bonuses.
83551b809bfSEaswaran Raman   // FIXME: It would be nice to base the bonus values on something more
83651b809bfSEaswaran Raman   // scientific.
83751b809bfSEaswaran Raman   //
83851b809bfSEaswaran Raman   // LstCallToStaticBonus: This large bonus is applied to ensure the inlining
83951b809bfSEaswaran Raman   // of the last call to a static function as inlining such functions is
84051b809bfSEaswaran Raman   // guaranteed to reduce code size.
84151b809bfSEaswaran Raman   //
84251b809bfSEaswaran Raman   // These bonus percentages may be set to 0 based on properties of the caller
84351b809bfSEaswaran Raman   // and the callsite.
84451b809bfSEaswaran Raman   int SingleBBBonusPercent = 50;
84551b809bfSEaswaran Raman   int VectorBonusPercent = 150;
84651b809bfSEaswaran Raman   int LastCallToStaticBonus = InlineConstants::LastCallToStaticBonus;
84751b809bfSEaswaran Raman 
84851b809bfSEaswaran Raman   // Lambda to set all the above bonus and bonus percentages to 0.
84951b809bfSEaswaran Raman   auto DisallowAllBonuses = [&]() {
85051b809bfSEaswaran Raman     SingleBBBonusPercent = 0;
85151b809bfSEaswaran Raman     VectorBonusPercent = 0;
85251b809bfSEaswaran Raman     LastCallToStaticBonus = 0;
85351b809bfSEaswaran Raman   };
85451b809bfSEaswaran Raman 
8551c57cc2bSEaswaran Raman   // Use the OptMinSizeThreshold or OptSizeThreshold knob if they are available
8561c57cc2bSEaswaran Raman   // and reduce the threshold if the caller has the necessary attribute.
85751b809bfSEaswaran Raman   if (Caller->optForMinSize()) {
8581c57cc2bSEaswaran Raman     Threshold = MinIfValid(Threshold, Params.OptMinSizeThreshold);
85951b809bfSEaswaran Raman     // For minsize, we want to disable the single BB bonus and the vector
86051b809bfSEaswaran Raman     // bonuses, but not the last-call-to-static bonus. Inlining the last call to
86151b809bfSEaswaran Raman     // a static function will, at the minimum, eliminate the parameter setup and
86251b809bfSEaswaran Raman     // call/return instructions.
86351b809bfSEaswaran Raman     SingleBBBonusPercent = 0;
86451b809bfSEaswaran Raman     VectorBonusPercent = 0;
86551b809bfSEaswaran Raman   } else if (Caller->optForSize())
8661c57cc2bSEaswaran Raman     Threshold = MinIfValid(Threshold, Params.OptSizeThreshold);
867f4bb2f0dSEaswaran Raman 
868e08b139dSEaswaran Raman   // Adjust the threshold based on inlinehint attribute and profile based
869e08b139dSEaswaran Raman   // hotness information if the caller does not have MinSize attribute.
870e08b139dSEaswaran Raman   if (!Caller->optForMinSize()) {
871e08b139dSEaswaran Raman     if (Callee.hasFnAttribute(Attribute::InlineHint))
8720d58fcacSEaswaran Raman       Threshold = MaxIfValid(Threshold, Params.HintThreshold);
873bba762a1SChandler Carruth 
8743cd1479cSEaswaran Raman     // FIXME: After switching to the new passmanager, simplify the logic below
875bba762a1SChandler Carruth     // by checking only the callsite hotness/coldness as we will reliably
876bba762a1SChandler Carruth     // have local profile information.
8773cd1479cSEaswaran Raman     //
878bba762a1SChandler Carruth     // Callsite hotness and coldness can be determined if sample profile is
879bba762a1SChandler Carruth     // used (which adds hotness metadata to calls) or if caller's
880bba762a1SChandler Carruth     // BlockFrequencyInfo is available.
881bba762a1SChandler Carruth     BlockFrequencyInfo *CallerBFI = GetBFI ? &((*GetBFI)(*Caller)) : nullptr;
882974d4eeaSEaswaran Raman     auto HotCallSiteThreshold = getHotCallSiteThreshold(CS, CallerBFI);
883974d4eeaSEaswaran Raman     if (!Caller->optForSize() && HotCallSiteThreshold) {
88412585b01SEaswaran Raman       DEBUG(dbgs() << "Hot callsite.\n");
885974d4eeaSEaswaran Raman       // FIXME: This should update the threshold only if it exceeds the
886974d4eeaSEaswaran Raman       // current threshold, but AutoFDO + ThinLTO currently relies on this
887974d4eeaSEaswaran Raman       // behavior to prevent inlining of hot callsites during ThinLTO
888974d4eeaSEaswaran Raman       // compile phase.
889974d4eeaSEaswaran Raman       Threshold = HotCallSiteThreshold.getValue();
890c5fa6358SEaswaran Raman     } else if (isColdCallSite(CS, CallerBFI)) {
8913cd1479cSEaswaran Raman       DEBUG(dbgs() << "Cold callsite.\n");
89251b809bfSEaswaran Raman       // Do not apply bonuses for a cold callsite including the
89351b809bfSEaswaran Raman       // LastCallToStatic bonus. While this bonus might result in code size
89451b809bfSEaswaran Raman       // reduction, it can cause the size of a non-cold caller to increase
89551b809bfSEaswaran Raman       // preventing it from being inlined.
89651b809bfSEaswaran Raman       DisallowAllBonuses();
8973cd1479cSEaswaran Raman       Threshold = MinIfValid(Threshold, Params.ColdCallSiteThreshold);
898bba762a1SChandler Carruth     } else if (PSI) {
899bba762a1SChandler Carruth       // Use callee's global profile information only if we have no way of
900bba762a1SChandler Carruth       // determining this via callsite information.
9013cd1479cSEaswaran Raman       if (PSI->isFunctionEntryHot(&Callee)) {
90212585b01SEaswaran Raman         DEBUG(dbgs() << "Hot callee.\n");
903e08b139dSEaswaran Raman         // If callsite hotness can not be determined, we may still know
904e08b139dSEaswaran Raman         // that the callee is hot and treat it as a weaker hint for threshold
905e08b139dSEaswaran Raman         // increase.
906e08b139dSEaswaran Raman         Threshold = MaxIfValid(Threshold, Params.HintThreshold);
907e08b139dSEaswaran Raman       } else if (PSI->isFunctionEntryCold(&Callee)) {
90812585b01SEaswaran Raman         DEBUG(dbgs() << "Cold callee.\n");
90951b809bfSEaswaran Raman         // Do not apply bonuses for a cold callee including the
91051b809bfSEaswaran Raman         // LastCallToStatic bonus. While this bonus might result in code size
91151b809bfSEaswaran Raman         // reduction, it can cause the size of a non-cold caller to increase
91251b809bfSEaswaran Raman         // preventing it from being inlined.
91351b809bfSEaswaran Raman         DisallowAllBonuses();
9141c57cc2bSEaswaran Raman         Threshold = MinIfValid(Threshold, Params.ColdThreshold);
915e08b139dSEaswaran Raman       }
916e08b139dSEaswaran Raman     }
917e08b139dSEaswaran Raman   }
9188650a4daSJustin Lebar 
9198650a4daSJustin Lebar   // Finally, take the target-specific inlining threshold multiplier into
9208650a4daSJustin Lebar   // account.
9218650a4daSJustin Lebar   Threshold *= TTI.getInliningThresholdMultiplier();
92251b809bfSEaswaran Raman 
92351b809bfSEaswaran Raman   SingleBBBonus = Threshold * SingleBBBonusPercent / 100;
92451b809bfSEaswaran Raman   VectorBonus = Threshold * VectorBonusPercent / 100;
92551b809bfSEaswaran Raman 
92651b809bfSEaswaran Raman   bool OnlyOneCallAndLocalLinkage =
92751b809bfSEaswaran Raman       F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction();
92851b809bfSEaswaran Raman   // If there is only one call of the function, and it has internal linkage,
92951b809bfSEaswaran Raman   // the cost of inlining it drops dramatically. It may seem odd to update
93051b809bfSEaswaran Raman   // Cost in updateThreshold, but the bonus depends on the logic in this method.
93151b809bfSEaswaran Raman   if (OnlyOneCallAndLocalLinkage)
93251b809bfSEaswaran Raman     Cost -= LastCallToStaticBonus;
933f4bb2f0dSEaswaran Raman }
934f4bb2f0dSEaswaran Raman 
9357adc3a2bSChandler Carruth bool CallAnalyzer::visitCmpInst(CmpInst &I) {
9367adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
9377adc3a2bSChandler Carruth   // First try to handle simplified comparisons.
938617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
939617f6364SEaswaran Raman         return ConstantExpr::getCompare(I.getPredicate(), COps[0], COps[1]);
940617f6364SEaswaran Raman       }))
9417adc3a2bSChandler Carruth     return true;
9427adc3a2bSChandler Carruth 
9437adc3a2bSChandler Carruth   if (I.getOpcode() == Instruction::FCmp)
9447adc3a2bSChandler Carruth     return false;
9457adc3a2bSChandler Carruth 
9467adc3a2bSChandler Carruth   // Otherwise look for a comparison between constant offset pointers with
9477adc3a2bSChandler Carruth   // a common base.
9487adc3a2bSChandler Carruth   Value *LHSBase, *RHSBase;
9497adc3a2bSChandler Carruth   APInt LHSOffset, RHSOffset;
9507adc3a2bSChandler Carruth   std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS);
9517adc3a2bSChandler Carruth   if (LHSBase) {
9527adc3a2bSChandler Carruth     std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS);
9537adc3a2bSChandler Carruth     if (RHSBase && LHSBase == RHSBase) {
9547adc3a2bSChandler Carruth       // We have common bases, fold the icmp to a constant based on the
9557adc3a2bSChandler Carruth       // offsets.
9567adc3a2bSChandler Carruth       Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset);
9577adc3a2bSChandler Carruth       Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset);
9587adc3a2bSChandler Carruth       if (Constant *C = ConstantExpr::getICmp(I.getPredicate(), CLHS, CRHS)) {
9597adc3a2bSChandler Carruth         SimplifiedValues[&I] = C;
9607adc3a2bSChandler Carruth         ++NumConstantPtrCmps;
9617adc3a2bSChandler Carruth         return true;
9627adc3a2bSChandler Carruth       }
9637adc3a2bSChandler Carruth     }
9647adc3a2bSChandler Carruth   }
9657adc3a2bSChandler Carruth 
9667adc3a2bSChandler Carruth   // If the comparison is an equality comparison with null, we can simplify it
9677adc3a2bSChandler Carruth   // if we know the value (argument) can't be null
9687adc3a2bSChandler Carruth   if (I.isEquality() && isa<ConstantPointerNull>(I.getOperand(1)) &&
9697adc3a2bSChandler Carruth       isKnownNonNullInCallee(I.getOperand(0))) {
9707adc3a2bSChandler Carruth     bool IsNotEqual = I.getPredicate() == CmpInst::ICMP_NE;
9717adc3a2bSChandler Carruth     SimplifiedValues[&I] = IsNotEqual ? ConstantInt::getTrue(I.getType())
9727adc3a2bSChandler Carruth                                       : ConstantInt::getFalse(I.getType());
9737adc3a2bSChandler Carruth     return true;
9747adc3a2bSChandler Carruth   }
9757adc3a2bSChandler Carruth   // Finally check for SROA candidates in comparisons.
9767adc3a2bSChandler Carruth   Value *SROAArg;
9777adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
9787adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getOperand(0), SROAArg, CostIt)) {
9797adc3a2bSChandler Carruth     if (isa<ConstantPointerNull>(I.getOperand(1))) {
9807adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
9817adc3a2bSChandler Carruth       return true;
9827adc3a2bSChandler Carruth     }
9837adc3a2bSChandler Carruth 
9847adc3a2bSChandler Carruth     disableSROA(CostIt);
9857adc3a2bSChandler Carruth   }
9867adc3a2bSChandler Carruth 
9877adc3a2bSChandler Carruth   return false;
9887adc3a2bSChandler Carruth }
9897adc3a2bSChandler Carruth 
9902e1c050eSChad Rosier bool CallAnalyzer::visitOr(BinaryOperator &I) {
9912e1c050eSChad Rosier   // This is necessary because the generic simplify instruction only works if
9922e1c050eSChad Rosier   // both operands are constants.
9932e1c050eSChad Rosier   for (unsigned i = 0; i < 2; ++i) {
9942e1c050eSChad Rosier     if (ConstantInt *C = dyn_cast_or_null<ConstantInt>(
9952e1c050eSChad Rosier             SimplifiedValues.lookup(I.getOperand(i))))
9962e1c050eSChad Rosier       if (C->isAllOnesValue()) {
9972e1c050eSChad Rosier         SimplifiedValues[&I] = C;
9982e1c050eSChad Rosier         return true;
9992e1c050eSChad Rosier       }
10002e1c050eSChad Rosier   }
10012e1c050eSChad Rosier   return Base::visitOr(I);
10022e1c050eSChad Rosier }
10032e1c050eSChad Rosier 
10042e1c050eSChad Rosier bool CallAnalyzer::visitAnd(BinaryOperator &I) {
10052e1c050eSChad Rosier   // This is necessary because the generic simplify instruction only works if
10062e1c050eSChad Rosier   // both operands are constants.
10072e1c050eSChad Rosier   for (unsigned i = 0; i < 2; ++i) {
10082e1c050eSChad Rosier     if (ConstantInt *C = dyn_cast_or_null<ConstantInt>(
10092e1c050eSChad Rosier             SimplifiedValues.lookup(I.getOperand(i))))
10102e1c050eSChad Rosier       if (C->isZero()) {
10112e1c050eSChad Rosier         SimplifiedValues[&I] = C;
10122e1c050eSChad Rosier         return true;
10132e1c050eSChad Rosier       }
10142e1c050eSChad Rosier   }
10152e1c050eSChad Rosier   return Base::visitAnd(I);
10162e1c050eSChad Rosier }
10172e1c050eSChad Rosier 
10187adc3a2bSChandler Carruth bool CallAnalyzer::visitSub(BinaryOperator &I) {
10197adc3a2bSChandler Carruth   // Try to handle a special case: we can fold computing the difference of two
10207adc3a2bSChandler Carruth   // constant-related pointers.
10217adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
10227adc3a2bSChandler Carruth   Value *LHSBase, *RHSBase;
10237adc3a2bSChandler Carruth   APInt LHSOffset, RHSOffset;
10247adc3a2bSChandler Carruth   std::tie(LHSBase, LHSOffset) = ConstantOffsetPtrs.lookup(LHS);
10257adc3a2bSChandler Carruth   if (LHSBase) {
10267adc3a2bSChandler Carruth     std::tie(RHSBase, RHSOffset) = ConstantOffsetPtrs.lookup(RHS);
10277adc3a2bSChandler Carruth     if (RHSBase && LHSBase == RHSBase) {
10287adc3a2bSChandler Carruth       // We have common bases, fold the subtract to a constant based on the
10297adc3a2bSChandler Carruth       // offsets.
10307adc3a2bSChandler Carruth       Constant *CLHS = ConstantInt::get(LHS->getContext(), LHSOffset);
10317adc3a2bSChandler Carruth       Constant *CRHS = ConstantInt::get(RHS->getContext(), RHSOffset);
10327adc3a2bSChandler Carruth       if (Constant *C = ConstantExpr::getSub(CLHS, CRHS)) {
10337adc3a2bSChandler Carruth         SimplifiedValues[&I] = C;
10347adc3a2bSChandler Carruth         ++NumConstantPtrDiffs;
10357adc3a2bSChandler Carruth         return true;
10367adc3a2bSChandler Carruth       }
10377adc3a2bSChandler Carruth     }
10387adc3a2bSChandler Carruth   }
10397adc3a2bSChandler Carruth 
10407adc3a2bSChandler Carruth   // Otherwise, fall back to the generic logic for simplifying and handling
10417adc3a2bSChandler Carruth   // instructions.
10427adc3a2bSChandler Carruth   return Base::visitSub(I);
10437adc3a2bSChandler Carruth }
10447adc3a2bSChandler Carruth 
10457adc3a2bSChandler Carruth bool CallAnalyzer::visitBinaryOperator(BinaryOperator &I) {
10467adc3a2bSChandler Carruth   Value *LHS = I.getOperand(0), *RHS = I.getOperand(1);
1047617f6364SEaswaran Raman   auto Evaluate = [&](SmallVectorImpl<Constant *> &COps) {
10487adc3a2bSChandler Carruth     Value *SimpleV = nullptr;
10497adc3a2bSChandler Carruth     if (auto FI = dyn_cast<FPMathOperator>(&I))
1050617f6364SEaswaran Raman       SimpleV = SimplifyFPBinOp(I.getOpcode(), COps[0], COps[1],
1051617f6364SEaswaran Raman                                 FI->getFastMathFlags(), DL);
10527adc3a2bSChandler Carruth     else
1053617f6364SEaswaran Raman       SimpleV = SimplifyBinOp(I.getOpcode(), COps[0], COps[1], DL);
1054617f6364SEaswaran Raman     return dyn_cast_or_null<Constant>(SimpleV);
1055617f6364SEaswaran Raman   };
10567adc3a2bSChandler Carruth 
1057617f6364SEaswaran Raman   if (simplifyInstruction(I, Evaluate))
10587adc3a2bSChandler Carruth     return true;
10597adc3a2bSChandler Carruth 
10607adc3a2bSChandler Carruth   // Disable any SROA on arguments to arbitrary, unsimplified binary operators.
10617adc3a2bSChandler Carruth   disableSROA(LHS);
10627adc3a2bSChandler Carruth   disableSROA(RHS);
10637adc3a2bSChandler Carruth 
10647adc3a2bSChandler Carruth   return false;
10657adc3a2bSChandler Carruth }
10667adc3a2bSChandler Carruth 
10677adc3a2bSChandler Carruth bool CallAnalyzer::visitLoad(LoadInst &I) {
10687adc3a2bSChandler Carruth   Value *SROAArg;
10697adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
10707adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) {
10717adc3a2bSChandler Carruth     if (I.isSimple()) {
10727adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
10737adc3a2bSChandler Carruth       return true;
10747adc3a2bSChandler Carruth     }
10757adc3a2bSChandler Carruth 
10767adc3a2bSChandler Carruth     disableSROA(CostIt);
10777adc3a2bSChandler Carruth   }
10787adc3a2bSChandler Carruth 
10797adc3a2bSChandler Carruth   return false;
10807adc3a2bSChandler Carruth }
10817adc3a2bSChandler Carruth 
10827adc3a2bSChandler Carruth bool CallAnalyzer::visitStore(StoreInst &I) {
10837adc3a2bSChandler Carruth   Value *SROAArg;
10847adc3a2bSChandler Carruth   DenseMap<Value *, int>::iterator CostIt;
10857adc3a2bSChandler Carruth   if (lookupSROAArgAndCost(I.getPointerOperand(), SROAArg, CostIt)) {
10867adc3a2bSChandler Carruth     if (I.isSimple()) {
10877adc3a2bSChandler Carruth       accumulateSROACost(CostIt, InlineConstants::InstrCost);
10887adc3a2bSChandler Carruth       return true;
10897adc3a2bSChandler Carruth     }
10907adc3a2bSChandler Carruth 
10917adc3a2bSChandler Carruth     disableSROA(CostIt);
10927adc3a2bSChandler Carruth   }
10937adc3a2bSChandler Carruth 
10947adc3a2bSChandler Carruth   return false;
10957adc3a2bSChandler Carruth }
10967adc3a2bSChandler Carruth 
10977adc3a2bSChandler Carruth bool CallAnalyzer::visitExtractValue(ExtractValueInst &I) {
10987adc3a2bSChandler Carruth   // Constant folding for extract value is trivial.
1099617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
1100617f6364SEaswaran Raman         return ConstantExpr::getExtractValue(COps[0], I.getIndices());
1101617f6364SEaswaran Raman       }))
11027adc3a2bSChandler Carruth     return true;
11037adc3a2bSChandler Carruth 
11047adc3a2bSChandler Carruth   // SROA can look through these but give them a cost.
11057adc3a2bSChandler Carruth   return false;
11067adc3a2bSChandler Carruth }
11077adc3a2bSChandler Carruth 
11087adc3a2bSChandler Carruth bool CallAnalyzer::visitInsertValue(InsertValueInst &I) {
11097adc3a2bSChandler Carruth   // Constant folding for insert value is trivial.
1110617f6364SEaswaran Raman   if (simplifyInstruction(I, [&](SmallVectorImpl<Constant *> &COps) {
1111617f6364SEaswaran Raman         return ConstantExpr::getInsertValue(/*AggregateOperand*/ COps[0],
1112617f6364SEaswaran Raman                                             /*InsertedValueOperand*/ COps[1],
1113617f6364SEaswaran Raman                                             I.getIndices());
1114617f6364SEaswaran Raman       }))
11157adc3a2bSChandler Carruth     return true;
11167adc3a2bSChandler Carruth 
11177adc3a2bSChandler Carruth   // SROA can look through these but give them a cost.
11187adc3a2bSChandler Carruth   return false;
11197adc3a2bSChandler Carruth }
11207adc3a2bSChandler Carruth 
11217adc3a2bSChandler Carruth /// \brief Try to simplify a call site.
11227adc3a2bSChandler Carruth ///
11237adc3a2bSChandler Carruth /// Takes a concrete function and callsite and tries to actually simplify it by
11247adc3a2bSChandler Carruth /// analyzing the arguments and call itself with instsimplify. Returns true if
11257adc3a2bSChandler Carruth /// it has simplified the callsite to some other entity (a constant), making it
11267adc3a2bSChandler Carruth /// free.
11277adc3a2bSChandler Carruth bool CallAnalyzer::simplifyCallSite(Function *F, CallSite CS) {
11287adc3a2bSChandler Carruth   // FIXME: Using the instsimplify logic directly for this is inefficient
11297adc3a2bSChandler Carruth   // because we have to continually rebuild the argument list even when no
11307adc3a2bSChandler Carruth   // simplifications can be performed. Until that is fixed with remapping
11317adc3a2bSChandler Carruth   // inside of instsimplify, directly constant fold calls here.
1132647025f9SAndrew Kaylor   if (!canConstantFoldCallTo(CS, F))
11337adc3a2bSChandler Carruth     return false;
11347adc3a2bSChandler Carruth 
11357adc3a2bSChandler Carruth   // Try to re-map the arguments to constants.
11367adc3a2bSChandler Carruth   SmallVector<Constant *, 4> ConstantArgs;
11377adc3a2bSChandler Carruth   ConstantArgs.reserve(CS.arg_size());
1138567556aaSChad Rosier   for (CallSite::arg_iterator I = CS.arg_begin(), E = CS.arg_end(); I != E;
1139567556aaSChad Rosier        ++I) {
11407adc3a2bSChandler Carruth     Constant *C = dyn_cast<Constant>(*I);
11417adc3a2bSChandler Carruth     if (!C)
11427adc3a2bSChandler Carruth       C = dyn_cast_or_null<Constant>(SimplifiedValues.lookup(*I));
11437adc3a2bSChandler Carruth     if (!C)
11447adc3a2bSChandler Carruth       return false; // This argument doesn't map to a constant.
11457adc3a2bSChandler Carruth 
11467adc3a2bSChandler Carruth     ConstantArgs.push_back(C);
11477adc3a2bSChandler Carruth   }
1148647025f9SAndrew Kaylor   if (Constant *C = ConstantFoldCall(CS, F, ConstantArgs)) {
11497adc3a2bSChandler Carruth     SimplifiedValues[CS.getInstruction()] = C;
11507adc3a2bSChandler Carruth     return true;
11517adc3a2bSChandler Carruth   }
11527adc3a2bSChandler Carruth 
11537adc3a2bSChandler Carruth   return false;
11547adc3a2bSChandler Carruth }
11557adc3a2bSChandler Carruth 
11567adc3a2bSChandler Carruth bool CallAnalyzer::visitCallSite(CallSite CS) {
11577adc3a2bSChandler Carruth   if (CS.hasFnAttr(Attribute::ReturnsTwice) &&
11587adc3a2bSChandler Carruth       !F.hasFnAttribute(Attribute::ReturnsTwice)) {
11597adc3a2bSChandler Carruth     // This aborts the entire analysis.
11607adc3a2bSChandler Carruth     ExposesReturnsTwice = true;
11617adc3a2bSChandler Carruth     return false;
11627adc3a2bSChandler Carruth   }
1163567556aaSChad Rosier   if (CS.isCall() && cast<CallInst>(CS.getInstruction())->cannotDuplicate())
11647adc3a2bSChandler Carruth     ContainsNoDuplicateCall = true;
11657adc3a2bSChandler Carruth 
11667adc3a2bSChandler Carruth   if (Function *F = CS.getCalledFunction()) {
11677adc3a2bSChandler Carruth     // When we have a concrete function, first try to simplify it directly.
11687adc3a2bSChandler Carruth     if (simplifyCallSite(F, CS))
11697adc3a2bSChandler Carruth       return true;
11707adc3a2bSChandler Carruth 
11717adc3a2bSChandler Carruth     // Next check if it is an intrinsic we know about.
11727adc3a2bSChandler Carruth     // FIXME: Lift this into part of the InstVisitor.
11737adc3a2bSChandler Carruth     if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(CS.getInstruction())) {
11747adc3a2bSChandler Carruth       switch (II->getIntrinsicID()) {
11757adc3a2bSChandler Carruth       default:
11767adc3a2bSChandler Carruth         return Base::visitCallSite(CS);
11777adc3a2bSChandler Carruth 
11787dd8dbf4SPeter Collingbourne       case Intrinsic::load_relative:
11797dd8dbf4SPeter Collingbourne         // This is normally lowered to 4 LLVM instructions.
11807dd8dbf4SPeter Collingbourne         Cost += 3 * InlineConstants::InstrCost;
11817dd8dbf4SPeter Collingbourne         return false;
11827dd8dbf4SPeter Collingbourne 
11837adc3a2bSChandler Carruth       case Intrinsic::memset:
11847adc3a2bSChandler Carruth       case Intrinsic::memcpy:
11857adc3a2bSChandler Carruth       case Intrinsic::memmove:
11867adc3a2bSChandler Carruth         // SROA can usually chew through these intrinsics, but they aren't free.
11877adc3a2bSChandler Carruth         return false;
11887adc3a2bSChandler Carruth       case Intrinsic::localescape:
11897adc3a2bSChandler Carruth         HasFrameEscape = true;
11907adc3a2bSChandler Carruth         return false;
11917adc3a2bSChandler Carruth       }
11927adc3a2bSChandler Carruth     }
11937adc3a2bSChandler Carruth 
11949d939c8fSDavide Italiano     if (F == CS.getInstruction()->getFunction()) {
11957adc3a2bSChandler Carruth       // This flag will fully abort the analysis, so don't bother with anything
11967adc3a2bSChandler Carruth       // else.
11977adc3a2bSChandler Carruth       IsRecursiveCall = true;
11987adc3a2bSChandler Carruth       return false;
11997adc3a2bSChandler Carruth     }
12007adc3a2bSChandler Carruth 
12017adc3a2bSChandler Carruth     if (TTI.isLoweredToCall(F)) {
12027adc3a2bSChandler Carruth       // We account for the average 1 instruction per call argument setup
12037adc3a2bSChandler Carruth       // here.
12047adc3a2bSChandler Carruth       Cost += CS.arg_size() * InlineConstants::InstrCost;
12057adc3a2bSChandler Carruth 
12067adc3a2bSChandler Carruth       // Everything other than inline ASM will also have a significant cost
12077adc3a2bSChandler Carruth       // merely from making the call.
12087adc3a2bSChandler Carruth       if (!isa<InlineAsm>(CS.getCalledValue()))
12097adc3a2bSChandler Carruth         Cost += InlineConstants::CallPenalty;
12107adc3a2bSChandler Carruth     }
12117adc3a2bSChandler Carruth 
12127adc3a2bSChandler Carruth     return Base::visitCallSite(CS);
12137adc3a2bSChandler Carruth   }
12147adc3a2bSChandler Carruth 
12157adc3a2bSChandler Carruth   // Otherwise we're in a very special case -- an indirect function call. See
12167adc3a2bSChandler Carruth   // if we can be particularly clever about this.
12177adc3a2bSChandler Carruth   Value *Callee = CS.getCalledValue();
12187adc3a2bSChandler Carruth 
12197adc3a2bSChandler Carruth   // First, pay the price of the argument setup. We account for the average
12207adc3a2bSChandler Carruth   // 1 instruction per call argument setup here.
12217adc3a2bSChandler Carruth   Cost += CS.arg_size() * InlineConstants::InstrCost;
12227adc3a2bSChandler Carruth 
12237adc3a2bSChandler Carruth   // Next, check if this happens to be an indirect function call to a known
12247adc3a2bSChandler Carruth   // function in this inline context. If not, we've done all we can.
12257adc3a2bSChandler Carruth   Function *F = dyn_cast_or_null<Function>(SimplifiedValues.lookup(Callee));
12267adc3a2bSChandler Carruth   if (!F)
12277adc3a2bSChandler Carruth     return Base::visitCallSite(CS);
12287adc3a2bSChandler Carruth 
12297adc3a2bSChandler Carruth   // If we have a constant that we are calling as a function, we can peer
12307adc3a2bSChandler Carruth   // through it and see the function target. This happens not infrequently
12317adc3a2bSChandler Carruth   // during devirtualization and so we want to give it a hefty bonus for
12327adc3a2bSChandler Carruth   // inlining, but cap that bonus in the event that inlining wouldn't pan
12337adc3a2bSChandler Carruth   // out. Pretend to inline the function, with a custom threshold.
12341c57cc2bSEaswaran Raman   auto IndirectCallParams = Params;
12351c57cc2bSEaswaran Raman   IndirectCallParams.DefaultThreshold = InlineConstants::IndirectCallThreshold;
12360812c5beSHaicheng Wu   CallAnalyzer CA(TTI, GetAssumptionCache, GetBFI, PSI, ORE, *F, CS,
123712585b01SEaswaran Raman                   IndirectCallParams);
12387adc3a2bSChandler Carruth   if (CA.analyzeCall(CS)) {
12397adc3a2bSChandler Carruth     // We were able to inline the indirect call! Subtract the cost from the
12406d90d9f1SEaswaran Raman     // threshold to get the bonus we want to apply, but don't go below zero.
12416d90d9f1SEaswaran Raman     Cost -= std::max(0, CA.getThreshold() - CA.getCost());
12427adc3a2bSChandler Carruth   }
12437adc3a2bSChandler Carruth 
12447adc3a2bSChandler Carruth   return Base::visitCallSite(CS);
12457adc3a2bSChandler Carruth }
12467adc3a2bSChandler Carruth 
12477adc3a2bSChandler Carruth bool CallAnalyzer::visitReturnInst(ReturnInst &RI) {
12487adc3a2bSChandler Carruth   // At least one return instruction will be free after inlining.
12497adc3a2bSChandler Carruth   bool Free = !HasReturn;
12507adc3a2bSChandler Carruth   HasReturn = true;
12517adc3a2bSChandler Carruth   return Free;
12527adc3a2bSChandler Carruth }
12537adc3a2bSChandler Carruth 
12547adc3a2bSChandler Carruth bool CallAnalyzer::visitBranchInst(BranchInst &BI) {
12557adc3a2bSChandler Carruth   // We model unconditional branches as essentially free -- they really
12567adc3a2bSChandler Carruth   // shouldn't exist at all, but handling them makes the behavior of the
12577adc3a2bSChandler Carruth   // inliner more regular and predictable. Interestingly, conditional branches
12587adc3a2bSChandler Carruth   // which will fold away are also free.
12597adc3a2bSChandler Carruth   return BI.isUnconditional() || isa<ConstantInt>(BI.getCondition()) ||
12607adc3a2bSChandler Carruth          dyn_cast_or_null<ConstantInt>(
12617adc3a2bSChandler Carruth              SimplifiedValues.lookup(BI.getCondition()));
12627adc3a2bSChandler Carruth }
12637adc3a2bSChandler Carruth 
12643ec848bcSHaicheng Wu bool CallAnalyzer::visitSelectInst(SelectInst &SI) {
12653ec848bcSHaicheng Wu   bool CheckSROA = SI.getType()->isPointerTy();
12663ec848bcSHaicheng Wu   Value *TrueVal = SI.getTrueValue();
12673ec848bcSHaicheng Wu   Value *FalseVal = SI.getFalseValue();
12683ec848bcSHaicheng Wu 
12693ec848bcSHaicheng Wu   Constant *TrueC = dyn_cast<Constant>(TrueVal);
12703ec848bcSHaicheng Wu   if (!TrueC)
12713ec848bcSHaicheng Wu     TrueC = SimplifiedValues.lookup(TrueVal);
12723ec848bcSHaicheng Wu   Constant *FalseC = dyn_cast<Constant>(FalseVal);
12733ec848bcSHaicheng Wu   if (!FalseC)
12743ec848bcSHaicheng Wu     FalseC = SimplifiedValues.lookup(FalseVal);
12753ec848bcSHaicheng Wu   Constant *CondC =
12763ec848bcSHaicheng Wu       dyn_cast_or_null<Constant>(SimplifiedValues.lookup(SI.getCondition()));
12773ec848bcSHaicheng Wu 
12783ec848bcSHaicheng Wu   if (!CondC) {
12793ec848bcSHaicheng Wu     // Select C, X, X => X
12803ec848bcSHaicheng Wu     if (TrueC == FalseC && TrueC) {
12813ec848bcSHaicheng Wu       SimplifiedValues[&SI] = TrueC;
12823ec848bcSHaicheng Wu       return true;
12833ec848bcSHaicheng Wu     }
12843ec848bcSHaicheng Wu 
12853ec848bcSHaicheng Wu     if (!CheckSROA)
12863ec848bcSHaicheng Wu       return Base::visitSelectInst(SI);
12873ec848bcSHaicheng Wu 
12883ec848bcSHaicheng Wu     std::pair<Value *, APInt> TrueBaseAndOffset =
12893ec848bcSHaicheng Wu         ConstantOffsetPtrs.lookup(TrueVal);
12903ec848bcSHaicheng Wu     std::pair<Value *, APInt> FalseBaseAndOffset =
12913ec848bcSHaicheng Wu         ConstantOffsetPtrs.lookup(FalseVal);
12923ec848bcSHaicheng Wu     if (TrueBaseAndOffset == FalseBaseAndOffset && TrueBaseAndOffset.first) {
12933ec848bcSHaicheng Wu       ConstantOffsetPtrs[&SI] = TrueBaseAndOffset;
12943ec848bcSHaicheng Wu 
12953ec848bcSHaicheng Wu       Value *SROAArg;
12963ec848bcSHaicheng Wu       DenseMap<Value *, int>::iterator CostIt;
12973ec848bcSHaicheng Wu       if (lookupSROAArgAndCost(TrueVal, SROAArg, CostIt))
12983ec848bcSHaicheng Wu         SROAArgValues[&SI] = SROAArg;
12993ec848bcSHaicheng Wu       return true;
13003ec848bcSHaicheng Wu     }
13013ec848bcSHaicheng Wu 
13023ec848bcSHaicheng Wu     return Base::visitSelectInst(SI);
13033ec848bcSHaicheng Wu   }
13043ec848bcSHaicheng Wu 
13053ec848bcSHaicheng Wu   // Select condition is a constant.
13063ec848bcSHaicheng Wu   Value *SelectedV = CondC->isAllOnesValue()
13073ec848bcSHaicheng Wu                          ? TrueVal
13083ec848bcSHaicheng Wu                          : (CondC->isNullValue()) ? FalseVal : nullptr;
13093ec848bcSHaicheng Wu   if (!SelectedV) {
13103ec848bcSHaicheng Wu     // Condition is a vector constant that is not all 1s or all 0s.  If all
13113ec848bcSHaicheng Wu     // operands are constants, ConstantExpr::getSelect() can handle the cases
13123ec848bcSHaicheng Wu     // such as select vectors.
13133ec848bcSHaicheng Wu     if (TrueC && FalseC) {
13143ec848bcSHaicheng Wu       if (auto *C = ConstantExpr::getSelect(CondC, TrueC, FalseC)) {
13153ec848bcSHaicheng Wu         SimplifiedValues[&SI] = C;
13163ec848bcSHaicheng Wu         return true;
13173ec848bcSHaicheng Wu       }
13183ec848bcSHaicheng Wu     }
13193ec848bcSHaicheng Wu     return Base::visitSelectInst(SI);
13203ec848bcSHaicheng Wu   }
13213ec848bcSHaicheng Wu 
13223ec848bcSHaicheng Wu   // Condition is either all 1s or all 0s. SI can be simplified.
13233ec848bcSHaicheng Wu   if (Constant *SelectedC = dyn_cast<Constant>(SelectedV)) {
13243ec848bcSHaicheng Wu     SimplifiedValues[&SI] = SelectedC;
13253ec848bcSHaicheng Wu     return true;
13263ec848bcSHaicheng Wu   }
13273ec848bcSHaicheng Wu 
13283ec848bcSHaicheng Wu   if (!CheckSROA)
13293ec848bcSHaicheng Wu     return true;
13303ec848bcSHaicheng Wu 
13313ec848bcSHaicheng Wu   std::pair<Value *, APInt> BaseAndOffset =
13323ec848bcSHaicheng Wu       ConstantOffsetPtrs.lookup(SelectedV);
13333ec848bcSHaicheng Wu   if (BaseAndOffset.first) {
13343ec848bcSHaicheng Wu     ConstantOffsetPtrs[&SI] = BaseAndOffset;
13353ec848bcSHaicheng Wu 
13363ec848bcSHaicheng Wu     Value *SROAArg;
13373ec848bcSHaicheng Wu     DenseMap<Value *, int>::iterator CostIt;
13383ec848bcSHaicheng Wu     if (lookupSROAArgAndCost(SelectedV, SROAArg, CostIt))
13393ec848bcSHaicheng Wu       SROAArgValues[&SI] = SROAArg;
13403ec848bcSHaicheng Wu   }
13413ec848bcSHaicheng Wu 
13423ec848bcSHaicheng Wu   return true;
13433ec848bcSHaicheng Wu }
13443ec848bcSHaicheng Wu 
13457adc3a2bSChandler Carruth bool CallAnalyzer::visitSwitchInst(SwitchInst &SI) {
13467adc3a2bSChandler Carruth   // We model unconditional switches as free, see the comments on handling
13477adc3a2bSChandler Carruth   // branches.
13487adc3a2bSChandler Carruth   if (isa<ConstantInt>(SI.getCondition()))
13497adc3a2bSChandler Carruth     return true;
13507adc3a2bSChandler Carruth   if (Value *V = SimplifiedValues.lookup(SI.getCondition()))
13517adc3a2bSChandler Carruth     if (isa<ConstantInt>(V))
13527adc3a2bSChandler Carruth       return true;
13537adc3a2bSChandler Carruth 
13547ad02eeeSEric Christopher   // Assume the most general case where the switch is lowered into
1355919f9e8dSJun Bum Lim   // either a jump table, bit test, or a balanced binary tree consisting of
1356919f9e8dSJun Bum Lim   // case clusters without merging adjacent clusters with the same
1357919f9e8dSJun Bum Lim   // destination. We do not consider the switches that are lowered with a mix
1358919f9e8dSJun Bum Lim   // of jump table/bit test/binary search tree. The cost of the switch is
1359919f9e8dSJun Bum Lim   // proportional to the size of the tree or the size of jump table range.
13602960d41eSJun Bum Lim   //
13612960d41eSJun Bum Lim   // NB: We convert large switches which are just used to initialize large phi
13622960d41eSJun Bum Lim   // nodes to lookup tables instead in simplify-cfg, so this shouldn't prevent
13632960d41eSJun Bum Lim   // inlining those. It will prevent inlining in cases where the optimization
13642960d41eSJun Bum Lim   // does not (yet) fire.
1365919f9e8dSJun Bum Lim 
1366506cfb7aSJun Bum Lim   // Maximum valid cost increased in this function.
1367506cfb7aSJun Bum Lim   int CostUpperBound = INT_MAX - InlineConstants::InstrCost - 1;
1368506cfb7aSJun Bum Lim 
1369919f9e8dSJun Bum Lim   // Exit early for a large switch, assuming one case needs at least one
1370919f9e8dSJun Bum Lim   // instruction.
1371919f9e8dSJun Bum Lim   // FIXME: This is not true for a bit test, but ignore such case for now to
1372919f9e8dSJun Bum Lim   // save compile-time.
1373919f9e8dSJun Bum Lim   int64_t CostLowerBound =
1374506cfb7aSJun Bum Lim       std::min((int64_t)CostUpperBound,
1375919f9e8dSJun Bum Lim                (int64_t)SI.getNumCases() * InlineConstants::InstrCost + Cost);
1376919f9e8dSJun Bum Lim 
13770812c5beSHaicheng Wu   if (CostLowerBound > Threshold && !ComputeFullInlineCost) {
1378919f9e8dSJun Bum Lim     Cost = CostLowerBound;
1379919f9e8dSJun Bum Lim     return false;
1380919f9e8dSJun Bum Lim   }
1381919f9e8dSJun Bum Lim 
1382919f9e8dSJun Bum Lim   unsigned JumpTableSize = 0;
1383919f9e8dSJun Bum Lim   unsigned NumCaseCluster =
1384919f9e8dSJun Bum Lim       TTI.getEstimatedNumberOfCaseClusters(SI, JumpTableSize);
1385919f9e8dSJun Bum Lim 
1386919f9e8dSJun Bum Lim   // If suitable for a jump table, consider the cost for the table size and
1387919f9e8dSJun Bum Lim   // branch to destination.
1388919f9e8dSJun Bum Lim   if (JumpTableSize) {
1389919f9e8dSJun Bum Lim     int64_t JTCost = (int64_t)JumpTableSize * InlineConstants::InstrCost +
1390919f9e8dSJun Bum Lim                      4 * InlineConstants::InstrCost;
1391506cfb7aSJun Bum Lim 
1392506cfb7aSJun Bum Lim     Cost = std::min((int64_t)CostUpperBound, JTCost + Cost);
1393919f9e8dSJun Bum Lim     return false;
1394919f9e8dSJun Bum Lim   }
1395919f9e8dSJun Bum Lim 
1396919f9e8dSJun Bum Lim   // Considering forming a binary search, we should find the number of nodes
1397919f9e8dSJun Bum Lim   // which is same as the number of comparisons when lowered. For a given
1398919f9e8dSJun Bum Lim   // number of clusters, n, we can define a recursive function, f(n), to find
1399919f9e8dSJun Bum Lim   // the number of nodes in the tree. The recursion is :
1400919f9e8dSJun Bum Lim   // f(n) = 1 + f(n/2) + f (n - n/2), when n > 3,
1401919f9e8dSJun Bum Lim   // and f(n) = n, when n <= 3.
1402919f9e8dSJun Bum Lim   // This will lead a binary tree where the leaf should be either f(2) or f(3)
1403919f9e8dSJun Bum Lim   // when n > 3.  So, the number of comparisons from leaves should be n, while
1404919f9e8dSJun Bum Lim   // the number of non-leaf should be :
1405919f9e8dSJun Bum Lim   //   2^(log2(n) - 1) - 1
1406919f9e8dSJun Bum Lim   //   = 2^log2(n) * 2^-1 - 1
1407919f9e8dSJun Bum Lim   //   = n / 2 - 1.
1408919f9e8dSJun Bum Lim   // Considering comparisons from leaf and non-leaf nodes, we can estimate the
1409919f9e8dSJun Bum Lim   // number of comparisons in a simple closed form :
1410919f9e8dSJun Bum Lim   //   n + n / 2 - 1 = n * 3 / 2 - 1
1411919f9e8dSJun Bum Lim   if (NumCaseCluster <= 3) {
1412919f9e8dSJun Bum Lim     // Suppose a comparison includes one compare and one conditional branch.
1413919f9e8dSJun Bum Lim     Cost += NumCaseCluster * 2 * InlineConstants::InstrCost;
1414919f9e8dSJun Bum Lim     return false;
1415919f9e8dSJun Bum Lim   }
1416506cfb7aSJun Bum Lim 
1417506cfb7aSJun Bum Lim   int64_t ExpectedNumberOfCompare = 3 * (int64_t)NumCaseCluster / 2 - 1;
1418506cfb7aSJun Bum Lim   int64_t SwitchCost =
1419919f9e8dSJun Bum Lim       ExpectedNumberOfCompare * 2 * InlineConstants::InstrCost;
1420506cfb7aSJun Bum Lim 
1421506cfb7aSJun Bum Lim   Cost = std::min((int64_t)CostUpperBound, SwitchCost + Cost);
1422919f9e8dSJun Bum Lim   return false;
1423919f9e8dSJun Bum Lim }
1424919f9e8dSJun Bum Lim 
14257adc3a2bSChandler Carruth bool CallAnalyzer::visitIndirectBrInst(IndirectBrInst &IBI) {
14267adc3a2bSChandler Carruth   // We never want to inline functions that contain an indirectbr.  This is
14277adc3a2bSChandler Carruth   // incorrect because all the blockaddress's (in static global initializers
14287adc3a2bSChandler Carruth   // for example) would be referring to the original function, and this
14297adc3a2bSChandler Carruth   // indirect jump would jump from the inlined copy of the function into the
14307adc3a2bSChandler Carruth   // original function which is extremely undefined behavior.
14317adc3a2bSChandler Carruth   // FIXME: This logic isn't really right; we can safely inline functions with
14327adc3a2bSChandler Carruth   // indirectbr's as long as no other function or global references the
14337adc3a2bSChandler Carruth   // blockaddress of a block within the current function.
14347adc3a2bSChandler Carruth   HasIndirectBr = true;
14357adc3a2bSChandler Carruth   return false;
14367adc3a2bSChandler Carruth }
14377adc3a2bSChandler Carruth 
14387adc3a2bSChandler Carruth bool CallAnalyzer::visitResumeInst(ResumeInst &RI) {
14397adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
14407adc3a2bSChandler Carruth   // the inline cost of a resume instruction.
14417adc3a2bSChandler Carruth   return false;
14427adc3a2bSChandler Carruth }
14437adc3a2bSChandler Carruth 
14447adc3a2bSChandler Carruth bool CallAnalyzer::visitCleanupReturnInst(CleanupReturnInst &CRI) {
14457adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
14467adc3a2bSChandler Carruth   // the inline cost of a cleanupret instruction.
14477adc3a2bSChandler Carruth   return false;
14487adc3a2bSChandler Carruth }
14497adc3a2bSChandler Carruth 
14507adc3a2bSChandler Carruth bool CallAnalyzer::visitCatchReturnInst(CatchReturnInst &CRI) {
14517adc3a2bSChandler Carruth   // FIXME: It's not clear that a single instruction is an accurate model for
14528220bcc5SJoseph Tremoulet   // the inline cost of a catchret instruction.
14537adc3a2bSChandler Carruth   return false;
14547adc3a2bSChandler Carruth }
14557adc3a2bSChandler Carruth 
14567adc3a2bSChandler Carruth bool CallAnalyzer::visitUnreachableInst(UnreachableInst &I) {
14577adc3a2bSChandler Carruth   // FIXME: It might be reasonably to discount the cost of instructions leading
14587adc3a2bSChandler Carruth   // to unreachable as they have the lowest possible impact on both runtime and
14597adc3a2bSChandler Carruth   // code size.
14607adc3a2bSChandler Carruth   return true; // No actual code is needed for unreachable.
14617adc3a2bSChandler Carruth }
14627adc3a2bSChandler Carruth 
14637adc3a2bSChandler Carruth bool CallAnalyzer::visitInstruction(Instruction &I) {
14647adc3a2bSChandler Carruth   // Some instructions are free. All of the free intrinsics can also be
14657adc3a2bSChandler Carruth   // handled by SROA, etc.
14667adc3a2bSChandler Carruth   if (TargetTransformInfo::TCC_Free == TTI.getUserCost(&I))
14677adc3a2bSChandler Carruth     return true;
14687adc3a2bSChandler Carruth 
14697adc3a2bSChandler Carruth   // We found something we don't understand or can't handle. Mark any SROA-able
14707adc3a2bSChandler Carruth   // values in the operand list as no longer viable.
14717adc3a2bSChandler Carruth   for (User::op_iterator OI = I.op_begin(), OE = I.op_end(); OI != OE; ++OI)
14727adc3a2bSChandler Carruth     disableSROA(*OI);
14737adc3a2bSChandler Carruth 
14747adc3a2bSChandler Carruth   return false;
14757adc3a2bSChandler Carruth }
14767adc3a2bSChandler Carruth 
14777adc3a2bSChandler Carruth /// \brief Analyze a basic block for its contribution to the inline cost.
14787adc3a2bSChandler Carruth ///
14797adc3a2bSChandler Carruth /// This method walks the analyzer over every instruction in the given basic
14807adc3a2bSChandler Carruth /// block and accounts for their cost during inlining at this callsite. It
14817adc3a2bSChandler Carruth /// aborts early if the threshold has been exceeded or an impossible to inline
14827adc3a2bSChandler Carruth /// construct has been detected. It returns false if inlining is no longer
14837adc3a2bSChandler Carruth /// viable, and true if inlining remains viable.
14847adc3a2bSChandler Carruth bool CallAnalyzer::analyzeBlock(BasicBlock *BB,
14857adc3a2bSChandler Carruth                                 SmallPtrSetImpl<const Value *> &EphValues) {
14867adc3a2bSChandler Carruth   for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
14877adc3a2bSChandler Carruth     // FIXME: Currently, the number of instructions in a function regardless of
14887adc3a2bSChandler Carruth     // our ability to simplify them during inline to constants or dead code,
14897adc3a2bSChandler Carruth     // are actually used by the vector bonus heuristic. As long as that's true,
14907adc3a2bSChandler Carruth     // we have to special case debug intrinsics here to prevent differences in
14917adc3a2bSChandler Carruth     // inlining due to debug symbols. Eventually, the number of unsimplified
14927adc3a2bSChandler Carruth     // instructions shouldn't factor into the cost computation, but until then,
14937adc3a2bSChandler Carruth     // hack around it here.
14947adc3a2bSChandler Carruth     if (isa<DbgInfoIntrinsic>(I))
14957adc3a2bSChandler Carruth       continue;
14967adc3a2bSChandler Carruth 
14977adc3a2bSChandler Carruth     // Skip ephemeral values.
14985a82c916SDuncan P. N. Exon Smith     if (EphValues.count(&*I))
14997adc3a2bSChandler Carruth       continue;
15007adc3a2bSChandler Carruth 
15017adc3a2bSChandler Carruth     ++NumInstructions;
15027adc3a2bSChandler Carruth     if (isa<ExtractElementInst>(I) || I->getType()->isVectorTy())
15037adc3a2bSChandler Carruth       ++NumVectorInstructions;
15047adc3a2bSChandler Carruth 
1505e9434e80SSanjay Patel     // If the instruction is floating point, and the target says this operation
1506e9434e80SSanjay Patel     // is expensive or the function has the "use-soft-float" attribute, this may
15077adc3a2bSChandler Carruth     // eventually become a library call. Treat the cost as such.
15087adc3a2bSChandler Carruth     if (I->getType()->isFloatingPointTy()) {
1509e9434e80SSanjay Patel       // If the function has the "use-soft-float" attribute, mark it as
1510e9434e80SSanjay Patel       // expensive.
15117adc3a2bSChandler Carruth       if (TTI.getFPOpCost(I->getType()) == TargetTransformInfo::TCC_Expensive ||
1512908ed7f2SEric Christopher           (F.getFnAttribute("use-soft-float").getValueAsString() == "true"))
15137adc3a2bSChandler Carruth         Cost += InlineConstants::CallPenalty;
15147adc3a2bSChandler Carruth     }
15157adc3a2bSChandler Carruth 
15167adc3a2bSChandler Carruth     // If the instruction simplified to a constant, there is no cost to this
15177adc3a2bSChandler Carruth     // instruction. Visit the instructions using our InstVisitor to account for
15187adc3a2bSChandler Carruth     // all of the per-instruction logic. The visit tree returns true if we
15197adc3a2bSChandler Carruth     // consumed the instruction in any way, and false if the instruction's base
15207adc3a2bSChandler Carruth     // cost should count against inlining.
15215a82c916SDuncan P. N. Exon Smith     if (Base::visit(&*I))
15227adc3a2bSChandler Carruth       ++NumInstructionsSimplified;
15237adc3a2bSChandler Carruth     else
15247adc3a2bSChandler Carruth       Cost += InlineConstants::InstrCost;
15257adc3a2bSChandler Carruth 
15260812c5beSHaicheng Wu     using namespace ore;
15277adc3a2bSChandler Carruth     // If the visit this instruction detected an uninlinable pattern, abort.
15287adc3a2bSChandler Carruth     if (IsRecursiveCall || ExposesReturnsTwice || HasDynamicAlloca ||
15290812c5beSHaicheng Wu         HasIndirectBr || HasFrameEscape) {
15300812c5beSHaicheng Wu       if (ORE)
15319590658fSVivek Pandya         ORE->emit([&]() {
15329590658fSVivek Pandya           return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline",
15330812c5beSHaicheng Wu                                           CandidateCS.getInstruction())
15340812c5beSHaicheng Wu                  << NV("Callee", &F)
15359590658fSVivek Pandya                  << " has uninlinable pattern and cost is not fully computed";
15369590658fSVivek Pandya         });
15377adc3a2bSChandler Carruth       return false;
15380812c5beSHaicheng Wu     }
15397adc3a2bSChandler Carruth 
15407adc3a2bSChandler Carruth     // If the caller is a recursive function then we don't want to inline
15417adc3a2bSChandler Carruth     // functions which allocate a lot of stack space because it would increase
15427adc3a2bSChandler Carruth     // the caller stack usage dramatically.
15437adc3a2bSChandler Carruth     if (IsCallerRecursive &&
15440812c5beSHaicheng Wu         AllocatedSize > InlineConstants::TotalAllocaSizeRecursiveCaller) {
15450812c5beSHaicheng Wu       if (ORE)
15469590658fSVivek Pandya         ORE->emit([&]() {
15479590658fSVivek Pandya           return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline",
15480812c5beSHaicheng Wu                                           CandidateCS.getInstruction())
15490812c5beSHaicheng Wu                  << NV("Callee", &F)
15500812c5beSHaicheng Wu                  << " is recursive and allocates too much stack space. Cost is "
15519590658fSVivek Pandya                     "not fully computed";
15529590658fSVivek Pandya         });
15537adc3a2bSChandler Carruth       return false;
15540812c5beSHaicheng Wu     }
15557adc3a2bSChandler Carruth 
15567adc3a2bSChandler Carruth     // Check if we've past the maximum possible threshold so we don't spin in
15577adc3a2bSChandler Carruth     // huge basic blocks that will never inline.
155861995364SHaicheng Wu     if (Cost >= Threshold && !ComputeFullInlineCost)
15597adc3a2bSChandler Carruth       return false;
15607adc3a2bSChandler Carruth   }
15617adc3a2bSChandler Carruth 
15627adc3a2bSChandler Carruth   return true;
15637adc3a2bSChandler Carruth }
15647adc3a2bSChandler Carruth 
15657adc3a2bSChandler Carruth /// \brief Compute the base pointer and cumulative constant offsets for V.
15667adc3a2bSChandler Carruth ///
15677adc3a2bSChandler Carruth /// This strips all constant offsets off of V, leaving it the base pointer, and
15687adc3a2bSChandler Carruth /// accumulates the total constant offset applied in the returned constant. It
15697adc3a2bSChandler Carruth /// returns 0 if V is not a pointer, and returns the constant '0' if there are
15707adc3a2bSChandler Carruth /// no constant offsets applied.
15717adc3a2bSChandler Carruth ConstantInt *CallAnalyzer::stripAndComputeInBoundsConstantOffsets(Value *&V) {
15727adc3a2bSChandler Carruth   if (!V->getType()->isPointerTy())
15737adc3a2bSChandler Carruth     return nullptr;
15747adc3a2bSChandler Carruth 
15757adc3a2bSChandler Carruth   unsigned IntPtrWidth = DL.getPointerSizeInBits();
15767adc3a2bSChandler Carruth   APInt Offset = APInt::getNullValue(IntPtrWidth);
15777adc3a2bSChandler Carruth 
15787adc3a2bSChandler Carruth   // Even though we don't look through PHI nodes, we could be called on an
15797adc3a2bSChandler Carruth   // instruction in an unreachable block, which may be on a cycle.
15807adc3a2bSChandler Carruth   SmallPtrSet<Value *, 4> Visited;
15817adc3a2bSChandler Carruth   Visited.insert(V);
15827adc3a2bSChandler Carruth   do {
15837adc3a2bSChandler Carruth     if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) {
15847adc3a2bSChandler Carruth       if (!GEP->isInBounds() || !accumulateGEPOffset(*GEP, Offset))
15857adc3a2bSChandler Carruth         return nullptr;
15867adc3a2bSChandler Carruth       V = GEP->getPointerOperand();
15877adc3a2bSChandler Carruth     } else if (Operator::getOpcode(V) == Instruction::BitCast) {
15887adc3a2bSChandler Carruth       V = cast<Operator>(V)->getOperand(0);
15897adc3a2bSChandler Carruth     } else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) {
15905ce32728SSanjoy Das       if (GA->isInterposable())
15917adc3a2bSChandler Carruth         break;
15927adc3a2bSChandler Carruth       V = GA->getAliasee();
15937adc3a2bSChandler Carruth     } else {
15947adc3a2bSChandler Carruth       break;
15957adc3a2bSChandler Carruth     }
15967adc3a2bSChandler Carruth     assert(V->getType()->isPointerTy() && "Unexpected operand type!");
15977adc3a2bSChandler Carruth   } while (Visited.insert(V).second);
15987adc3a2bSChandler Carruth 
15997adc3a2bSChandler Carruth   Type *IntPtrTy = DL.getIntPtrType(V->getContext());
16007adc3a2bSChandler Carruth   return cast<ConstantInt>(ConstantInt::get(IntPtrTy, Offset));
16017adc3a2bSChandler Carruth }
16027adc3a2bSChandler Carruth 
1603*3739e14aSHaicheng Wu /// \brief Find dead blocks due to deleted CFG edges during inlining.
1604*3739e14aSHaicheng Wu ///
1605*3739e14aSHaicheng Wu /// If we know the successor of the current block, \p CurrBB, has to be \p
1606*3739e14aSHaicheng Wu /// NextBB, the other successors of \p CurrBB are dead if these successors have
1607*3739e14aSHaicheng Wu /// no live incoming CFG edges.  If one block is found to be dead, we can
1608*3739e14aSHaicheng Wu /// continue growing the dead block list by checking the successors of the dead
1609*3739e14aSHaicheng Wu /// blocks to see if all their incoming edges are dead or not.
1610*3739e14aSHaicheng Wu void CallAnalyzer::findDeadBlocks(BasicBlock *CurrBB, BasicBlock *NextBB) {
1611*3739e14aSHaicheng Wu   auto IsEdgeDead = [&](BasicBlock *Pred, BasicBlock *Succ) {
1612*3739e14aSHaicheng Wu     // A CFG edge is dead if the predecessor is dead or the predessor has a
1613*3739e14aSHaicheng Wu     // known successor which is not the one under exam.
1614*3739e14aSHaicheng Wu     return (DeadBlocks.count(Pred) ||
1615*3739e14aSHaicheng Wu             (KnownSuccessors[Pred] && KnownSuccessors[Pred] != Succ));
1616*3739e14aSHaicheng Wu   };
1617*3739e14aSHaicheng Wu 
1618*3739e14aSHaicheng Wu   auto IsNewlyDead = [&](BasicBlock *BB) {
1619*3739e14aSHaicheng Wu     // If all the edges to a block are dead, the block is also dead.
1620*3739e14aSHaicheng Wu     return (!DeadBlocks.count(BB) &&
1621*3739e14aSHaicheng Wu             llvm::all_of(predecessors(BB),
1622*3739e14aSHaicheng Wu                          [&](BasicBlock *P) { return IsEdgeDead(P, BB); }));
1623*3739e14aSHaicheng Wu   };
1624*3739e14aSHaicheng Wu 
1625*3739e14aSHaicheng Wu   for (BasicBlock *Succ : successors(CurrBB)) {
1626*3739e14aSHaicheng Wu     if (Succ == NextBB || !IsNewlyDead(Succ))
1627*3739e14aSHaicheng Wu       continue;
1628*3739e14aSHaicheng Wu     SmallVector<BasicBlock *, 4> NewDead;
1629*3739e14aSHaicheng Wu     NewDead.push_back(Succ);
1630*3739e14aSHaicheng Wu     while (!NewDead.empty()) {
1631*3739e14aSHaicheng Wu       BasicBlock *Dead = NewDead.pop_back_val();
1632*3739e14aSHaicheng Wu       if (DeadBlocks.insert(Dead))
1633*3739e14aSHaicheng Wu         // Continue growing the dead block lists.
1634*3739e14aSHaicheng Wu         for (BasicBlock *S : successors(Dead))
1635*3739e14aSHaicheng Wu           if (IsNewlyDead(S))
1636*3739e14aSHaicheng Wu             NewDead.push_back(S);
1637*3739e14aSHaicheng Wu     }
1638*3739e14aSHaicheng Wu   }
1639*3739e14aSHaicheng Wu }
1640*3739e14aSHaicheng Wu 
16417adc3a2bSChandler Carruth /// \brief Analyze a call site for potential inlining.
16427adc3a2bSChandler Carruth ///
16437adc3a2bSChandler Carruth /// Returns true if inlining this call is viable, and false if it is not
16447adc3a2bSChandler Carruth /// viable. It computes the cost and adjusts the threshold based on numerous
16457adc3a2bSChandler Carruth /// factors and heuristics. If this method returns false but the computed cost
16467adc3a2bSChandler Carruth /// is below the computed threshold, then inlining was forcibly disabled by
16477adc3a2bSChandler Carruth /// some artifact of the routine.
16487adc3a2bSChandler Carruth bool CallAnalyzer::analyzeCall(CallSite CS) {
16497adc3a2bSChandler Carruth   ++NumCallsAnalyzed;
16507adc3a2bSChandler Carruth 
16517adc3a2bSChandler Carruth   // Perform some tweaks to the cost and threshold based on the direct
16527adc3a2bSChandler Carruth   // callsite information.
16537adc3a2bSChandler Carruth 
16547adc3a2bSChandler Carruth   // We want to more aggressively inline vector-dense kernels, so up the
16557adc3a2bSChandler Carruth   // threshold, and we'll lower it if the % of vector instructions gets too
16567adc3a2bSChandler Carruth   // low. Note that these bonuses are some what arbitrary and evolved over time
16577adc3a2bSChandler Carruth   // by accident as much as because they are principled bonuses.
16587adc3a2bSChandler Carruth   //
16597adc3a2bSChandler Carruth   // FIXME: It would be nice to remove all such bonuses. At least it would be
16607adc3a2bSChandler Carruth   // nice to base the bonus values on something more scientific.
16617adc3a2bSChandler Carruth   assert(NumInstructions == 0);
16627adc3a2bSChandler Carruth   assert(NumVectorInstructions == 0);
1663f4bb2f0dSEaswaran Raman 
1664f4bb2f0dSEaswaran Raman   // Update the threshold based on callsite properties
1665f4bb2f0dSEaswaran Raman   updateThreshold(CS, F);
1666f4bb2f0dSEaswaran Raman 
16677adc3a2bSChandler Carruth   // Speculatively apply all possible bonuses to Threshold. If cost exceeds
16687adc3a2bSChandler Carruth   // this Threshold any time, and cost cannot decrease, we can stop processing
16697adc3a2bSChandler Carruth   // the rest of the function body.
167051b809bfSEaswaran Raman   Threshold += (SingleBBBonus + VectorBonus);
16717adc3a2bSChandler Carruth 
1672351d9b01SXinliang David Li   // Give out bonuses for the callsite, as the instructions setting them up
1673351d9b01SXinliang David Li   // will be gone after inlining.
1674351d9b01SXinliang David Li   Cost -= getCallsiteCost(CS, DL);
16757adc3a2bSChandler Carruth 
16767adc3a2bSChandler Carruth   // If this function uses the coldcc calling convention, prefer not to inline
16777adc3a2bSChandler Carruth   // it.
16787adc3a2bSChandler Carruth   if (F.getCallingConv() == CallingConv::Cold)
16797adc3a2bSChandler Carruth     Cost += InlineConstants::ColdccPenalty;
16807adc3a2bSChandler Carruth 
16817adc3a2bSChandler Carruth   // Check if we're done. This can happen due to bonuses and penalties.
168261995364SHaicheng Wu   if (Cost >= Threshold && !ComputeFullInlineCost)
16837adc3a2bSChandler Carruth     return false;
16847adc3a2bSChandler Carruth 
16857adc3a2bSChandler Carruth   if (F.empty())
16867adc3a2bSChandler Carruth     return true;
16877adc3a2bSChandler Carruth 
16889d939c8fSDavide Italiano   Function *Caller = CS.getInstruction()->getFunction();
16897adc3a2bSChandler Carruth   // Check if the caller function is recursive itself.
16907adc3a2bSChandler Carruth   for (User *U : Caller->users()) {
16917adc3a2bSChandler Carruth     CallSite Site(U);
16927adc3a2bSChandler Carruth     if (!Site)
16937adc3a2bSChandler Carruth       continue;
16947adc3a2bSChandler Carruth     Instruction *I = Site.getInstruction();
16959d939c8fSDavide Italiano     if (I->getFunction() == Caller) {
16967adc3a2bSChandler Carruth       IsCallerRecursive = true;
16977adc3a2bSChandler Carruth       break;
16987adc3a2bSChandler Carruth     }
16997adc3a2bSChandler Carruth   }
17007adc3a2bSChandler Carruth 
17017adc3a2bSChandler Carruth   // Populate our simplified values by mapping from function arguments to call
17027adc3a2bSChandler Carruth   // arguments with known important simplifications.
17037adc3a2bSChandler Carruth   CallSite::arg_iterator CAI = CS.arg_begin();
17047adc3a2bSChandler Carruth   for (Function::arg_iterator FAI = F.arg_begin(), FAE = F.arg_end();
17057adc3a2bSChandler Carruth        FAI != FAE; ++FAI, ++CAI) {
17067adc3a2bSChandler Carruth     assert(CAI != CS.arg_end());
17077adc3a2bSChandler Carruth     if (Constant *C = dyn_cast<Constant>(CAI))
17085a82c916SDuncan P. N. Exon Smith       SimplifiedValues[&*FAI] = C;
17097adc3a2bSChandler Carruth 
17107adc3a2bSChandler Carruth     Value *PtrArg = *CAI;
17117adc3a2bSChandler Carruth     if (ConstantInt *C = stripAndComputeInBoundsConstantOffsets(PtrArg)) {
17125a82c916SDuncan P. N. Exon Smith       ConstantOffsetPtrs[&*FAI] = std::make_pair(PtrArg, C->getValue());
17137adc3a2bSChandler Carruth 
17147adc3a2bSChandler Carruth       // We can SROA any pointer arguments derived from alloca instructions.
17157adc3a2bSChandler Carruth       if (isa<AllocaInst>(PtrArg)) {
17165a82c916SDuncan P. N. Exon Smith         SROAArgValues[&*FAI] = PtrArg;
17177adc3a2bSChandler Carruth         SROAArgCosts[PtrArg] = 0;
17187adc3a2bSChandler Carruth       }
17197adc3a2bSChandler Carruth     }
17207adc3a2bSChandler Carruth   }
17217adc3a2bSChandler Carruth   NumConstantArgs = SimplifiedValues.size();
17227adc3a2bSChandler Carruth   NumConstantOffsetPtrArgs = ConstantOffsetPtrs.size();
17237adc3a2bSChandler Carruth   NumAllocaArgs = SROAArgValues.size();
17247adc3a2bSChandler Carruth 
17257adc3a2bSChandler Carruth   // FIXME: If a caller has multiple calls to a callee, we end up recomputing
17267adc3a2bSChandler Carruth   // the ephemeral values multiple times (and they're completely determined by
17277adc3a2bSChandler Carruth   // the callee, so this is purely duplicate work).
17287adc3a2bSChandler Carruth   SmallPtrSet<const Value *, 32> EphValues;
1729aec2fa35SDaniel Jasper   CodeMetrics::collectEphemeralValues(&F, &GetAssumptionCache(F), EphValues);
17307adc3a2bSChandler Carruth 
17317adc3a2bSChandler Carruth   // The worklist of live basic blocks in the callee *after* inlining. We avoid
17327adc3a2bSChandler Carruth   // adding basic blocks of the callee which can be proven to be dead for this
17337adc3a2bSChandler Carruth   // particular call site in order to get more accurate cost estimates. This
17347adc3a2bSChandler Carruth   // requires a somewhat heavyweight iteration pattern: we need to walk the
17357adc3a2bSChandler Carruth   // basic blocks in a breadth-first order as we insert live successors. To
17367adc3a2bSChandler Carruth   // accomplish this, prioritizing for small iterations because we exit after
17377adc3a2bSChandler Carruth   // crossing our threshold, we use a small-size optimized SetVector.
17387adc3a2bSChandler Carruth   typedef SetVector<BasicBlock *, SmallVector<BasicBlock *, 16>,
1739567556aaSChad Rosier                     SmallPtrSet<BasicBlock *, 16>>
1740567556aaSChad Rosier       BBSetVector;
17417adc3a2bSChandler Carruth   BBSetVector BBWorklist;
17427adc3a2bSChandler Carruth   BBWorklist.insert(&F.getEntryBlock());
174351b809bfSEaswaran Raman   bool SingleBB = true;
17447adc3a2bSChandler Carruth   // Note that we *must not* cache the size, this loop grows the worklist.
17457adc3a2bSChandler Carruth   for (unsigned Idx = 0; Idx != BBWorklist.size(); ++Idx) {
17467adc3a2bSChandler Carruth     // Bail out the moment we cross the threshold. This means we'll under-count
17477adc3a2bSChandler Carruth     // the cost, but only when undercounting doesn't matter.
174861995364SHaicheng Wu     if (Cost >= Threshold && !ComputeFullInlineCost)
17497adc3a2bSChandler Carruth       break;
17507adc3a2bSChandler Carruth 
17517adc3a2bSChandler Carruth     BasicBlock *BB = BBWorklist[Idx];
17527adc3a2bSChandler Carruth     if (BB->empty())
17537adc3a2bSChandler Carruth       continue;
17547adc3a2bSChandler Carruth 
17557adc3a2bSChandler Carruth     // Disallow inlining a blockaddress. A blockaddress only has defined
17567adc3a2bSChandler Carruth     // behavior for an indirect branch in the same function, and we do not
17577adc3a2bSChandler Carruth     // currently support inlining indirect branches. But, the inliner may not
17587adc3a2bSChandler Carruth     // see an indirect branch that ends up being dead code at a particular call
17597adc3a2bSChandler Carruth     // site. If the blockaddress escapes the function, e.g., via a global
17607adc3a2bSChandler Carruth     // variable, inlining may lead to an invalid cross-function reference.
17617adc3a2bSChandler Carruth     if (BB->hasAddressTaken())
17627adc3a2bSChandler Carruth       return false;
17637adc3a2bSChandler Carruth 
17647adc3a2bSChandler Carruth     // Analyze the cost of this block. If we blow through the threshold, this
17657adc3a2bSChandler Carruth     // returns false, and we can bail on out.
1766d295b00aSEaswaran Raman     if (!analyzeBlock(BB, EphValues))
17677adc3a2bSChandler Carruth       return false;
17687adc3a2bSChandler Carruth 
17697adc3a2bSChandler Carruth     TerminatorInst *TI = BB->getTerminator();
17707adc3a2bSChandler Carruth 
17717adc3a2bSChandler Carruth     // Add in the live successors by first checking whether we have terminator
17727adc3a2bSChandler Carruth     // that may be simplified based on the values simplified by this call.
17737adc3a2bSChandler Carruth     if (BranchInst *BI = dyn_cast<BranchInst>(TI)) {
17747adc3a2bSChandler Carruth       if (BI->isConditional()) {
17757adc3a2bSChandler Carruth         Value *Cond = BI->getCondition();
1776567556aaSChad Rosier         if (ConstantInt *SimpleCond =
1777567556aaSChad Rosier                 dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) {
1778*3739e14aSHaicheng Wu           BasicBlock *NextBB = BI->getSuccessor(SimpleCond->isZero() ? 1 : 0);
1779*3739e14aSHaicheng Wu           BBWorklist.insert(NextBB);
1780*3739e14aSHaicheng Wu           KnownSuccessors[BB] = NextBB;
1781*3739e14aSHaicheng Wu           findDeadBlocks(BB, NextBB);
17827adc3a2bSChandler Carruth           continue;
17837adc3a2bSChandler Carruth         }
17847adc3a2bSChandler Carruth       }
17857adc3a2bSChandler Carruth     } else if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) {
17867adc3a2bSChandler Carruth       Value *Cond = SI->getCondition();
1787567556aaSChad Rosier       if (ConstantInt *SimpleCond =
1788567556aaSChad Rosier               dyn_cast_or_null<ConstantInt>(SimplifiedValues.lookup(Cond))) {
1789*3739e14aSHaicheng Wu         BasicBlock *NextBB = SI->findCaseValue(SimpleCond)->getCaseSuccessor();
1790*3739e14aSHaicheng Wu         BBWorklist.insert(NextBB);
1791*3739e14aSHaicheng Wu         KnownSuccessors[BB] = NextBB;
1792*3739e14aSHaicheng Wu         findDeadBlocks(BB, NextBB);
17937adc3a2bSChandler Carruth         continue;
17947adc3a2bSChandler Carruth       }
17957adc3a2bSChandler Carruth     }
17967adc3a2bSChandler Carruth 
17977adc3a2bSChandler Carruth     // If we're unable to select a particular successor, just count all of
17987adc3a2bSChandler Carruth     // them.
17997adc3a2bSChandler Carruth     for (unsigned TIdx = 0, TSize = TI->getNumSuccessors(); TIdx != TSize;
18007adc3a2bSChandler Carruth          ++TIdx)
18017adc3a2bSChandler Carruth       BBWorklist.insert(TI->getSuccessor(TIdx));
18027adc3a2bSChandler Carruth 
18037adc3a2bSChandler Carruth     // If we had any successors at this point, than post-inlining is likely to
18047adc3a2bSChandler Carruth     // have them as well. Note that we assume any basic blocks which existed
18057adc3a2bSChandler Carruth     // due to branches or switches which folded above will also fold after
18067adc3a2bSChandler Carruth     // inlining.
18077adc3a2bSChandler Carruth     if (SingleBB && TI->getNumSuccessors() > 1) {
18087adc3a2bSChandler Carruth       // Take off the bonus we applied to the threshold.
18097adc3a2bSChandler Carruth       Threshold -= SingleBBBonus;
18107adc3a2bSChandler Carruth       SingleBB = false;
18117adc3a2bSChandler Carruth     }
18127adc3a2bSChandler Carruth   }
18137adc3a2bSChandler Carruth 
181451b809bfSEaswaran Raman   bool OnlyOneCallAndLocalLinkage =
181551b809bfSEaswaran Raman       F.hasLocalLinkage() && F.hasOneUse() && &F == CS.getCalledFunction();
18167adc3a2bSChandler Carruth   // If this is a noduplicate call, we can still inline as long as
18177adc3a2bSChandler Carruth   // inlining this would cause the removal of the caller (so the instruction
18187adc3a2bSChandler Carruth   // is not actually duplicated, just moved).
18197adc3a2bSChandler Carruth   if (!OnlyOneCallAndLocalLinkage && ContainsNoDuplicateCall)
18207adc3a2bSChandler Carruth     return false;
18217adc3a2bSChandler Carruth 
18227adc3a2bSChandler Carruth   // We applied the maximum possible vector bonus at the beginning. Now,
18237adc3a2bSChandler Carruth   // subtract the excess bonus, if any, from the Threshold before
18247adc3a2bSChandler Carruth   // comparing against Cost.
18257adc3a2bSChandler Carruth   if (NumVectorInstructions <= NumInstructions / 10)
182651b809bfSEaswaran Raman     Threshold -= VectorBonus;
18277adc3a2bSChandler Carruth   else if (NumVectorInstructions <= NumInstructions / 2)
182851b809bfSEaswaran Raman     Threshold -= VectorBonus/2;
18297adc3a2bSChandler Carruth 
183000ab73dcSHans Wennborg   return Cost < std::max(1, Threshold);
18317adc3a2bSChandler Carruth }
18327adc3a2bSChandler Carruth 
1833615eb470SAaron Ballman #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
18347adc3a2bSChandler Carruth /// \brief Dump stats about this call's analysis.
1835eb2a2546SYaron Keren LLVM_DUMP_METHOD void CallAnalyzer::dump() {
18367adc3a2bSChandler Carruth #define DEBUG_PRINT_STAT(x) dbgs() << "      " #x ": " << x << "\n"
18377adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantArgs);
18387adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantOffsetPtrArgs);
18397adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumAllocaArgs);
18407adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantPtrCmps);
18417adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumConstantPtrDiffs);
18427adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumInstructionsSimplified);
18437adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(NumInstructions);
18447adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(SROACostSavings);
18457adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(SROACostSavingsLost);
18467adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(ContainsNoDuplicateCall);
18477adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(Cost);
18487adc3a2bSChandler Carruth   DEBUG_PRINT_STAT(Threshold);
18497adc3a2bSChandler Carruth #undef DEBUG_PRINT_STAT
18507adc3a2bSChandler Carruth }
18517adc3a2bSChandler Carruth #endif
18527adc3a2bSChandler Carruth 
18537adc3a2bSChandler Carruth /// \brief Test that there are no attribute conflicts between Caller and Callee
18547adc3a2bSChandler Carruth ///        that prevent inlining.
18557adc3a2bSChandler Carruth static bool functionsHaveCompatibleAttributes(Function *Caller,
18567adc3a2bSChandler Carruth                                               Function *Callee,
18577adc3a2bSChandler Carruth                                               TargetTransformInfo &TTI) {
18587adc3a2bSChandler Carruth   return TTI.areInlineCompatible(Caller, Callee) &&
18591cb242ebSAkira Hatanaka          AttributeFuncs::areInlineCompatible(*Caller, *Callee);
18607adc3a2bSChandler Carruth }
18617adc3a2bSChandler Carruth 
1862351d9b01SXinliang David Li int llvm::getCallsiteCost(CallSite CS, const DataLayout &DL) {
1863351d9b01SXinliang David Li   int Cost = 0;
1864351d9b01SXinliang David Li   for (unsigned I = 0, E = CS.arg_size(); I != E; ++I) {
1865351d9b01SXinliang David Li     if (CS.isByValArgument(I)) {
1866351d9b01SXinliang David Li       // We approximate the number of loads and stores needed by dividing the
1867351d9b01SXinliang David Li       // size of the byval type by the target's pointer size.
1868351d9b01SXinliang David Li       PointerType *PTy = cast<PointerType>(CS.getArgument(I)->getType());
1869351d9b01SXinliang David Li       unsigned TypeSize = DL.getTypeSizeInBits(PTy->getElementType());
1870351d9b01SXinliang David Li       unsigned PointerSize = DL.getPointerSizeInBits();
1871351d9b01SXinliang David Li       // Ceiling division.
1872351d9b01SXinliang David Li       unsigned NumStores = (TypeSize + PointerSize - 1) / PointerSize;
1873351d9b01SXinliang David Li 
1874351d9b01SXinliang David Li       // If it generates more than 8 stores it is likely to be expanded as an
1875351d9b01SXinliang David Li       // inline memcpy so we take that as an upper bound. Otherwise we assume
1876351d9b01SXinliang David Li       // one load and one store per word copied.
1877351d9b01SXinliang David Li       // FIXME: The maxStoresPerMemcpy setting from the target should be used
1878351d9b01SXinliang David Li       // here instead of a magic number of 8, but it's not available via
1879351d9b01SXinliang David Li       // DataLayout.
1880351d9b01SXinliang David Li       NumStores = std::min(NumStores, 8U);
1881351d9b01SXinliang David Li 
1882351d9b01SXinliang David Li       Cost += 2 * NumStores * InlineConstants::InstrCost;
1883351d9b01SXinliang David Li     } else {
1884351d9b01SXinliang David Li       // For non-byval arguments subtract off one instruction per call
1885351d9b01SXinliang David Li       // argument.
1886351d9b01SXinliang David Li       Cost += InlineConstants::InstrCost;
1887351d9b01SXinliang David Li     }
1888351d9b01SXinliang David Li   }
1889351d9b01SXinliang David Li   // The call instruction also disappears after inlining.
1890351d9b01SXinliang David Li   Cost += InlineConstants::InstrCost + InlineConstants::CallPenalty;
1891351d9b01SXinliang David Li   return Cost;
1892351d9b01SXinliang David Li }
1893351d9b01SXinliang David Li 
1894ab6a6837SSean Silva InlineCost llvm::getInlineCost(
18951c57cc2bSEaswaran Raman     CallSite CS, const InlineParams &Params, TargetTransformInfo &CalleeTTI,
1896aec2fa35SDaniel Jasper     std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
189712585b01SEaswaran Raman     Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI,
18980812c5beSHaicheng Wu     ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) {
1899aec2fa35SDaniel Jasper   return getInlineCost(CS, CS.getCalledFunction(), Params, CalleeTTI,
19000812c5beSHaicheng Wu                        GetAssumptionCache, GetBFI, PSI, ORE);
1901b9f7120eSEaswaran Raman }
1902b9f7120eSEaswaran Raman 
1903ab6a6837SSean Silva InlineCost llvm::getInlineCost(
19041c57cc2bSEaswaran Raman     CallSite CS, Function *Callee, const InlineParams &Params,
1905aec2fa35SDaniel Jasper     TargetTransformInfo &CalleeTTI,
1906aec2fa35SDaniel Jasper     std::function<AssumptionCache &(Function &)> &GetAssumptionCache,
190712585b01SEaswaran Raman     Optional<function_ref<BlockFrequencyInfo &(Function &)>> GetBFI,
19080812c5beSHaicheng Wu     ProfileSummaryInfo *PSI, OptimizationRemarkEmitter *ORE) {
1909f4bb2f0dSEaswaran Raman 
19107adc3a2bSChandler Carruth   // Cannot inline indirect calls.
19117adc3a2bSChandler Carruth   if (!Callee)
19127adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
19137adc3a2bSChandler Carruth 
19147adc3a2bSChandler Carruth   // Calls to functions with always-inline attributes should be inlined
19157adc3a2bSChandler Carruth   // whenever possible.
19167adc3a2bSChandler Carruth   if (CS.hasFnAttr(Attribute::AlwaysInline)) {
19177adc3a2bSChandler Carruth     if (isInlineViable(*Callee))
19187adc3a2bSChandler Carruth       return llvm::InlineCost::getAlways();
19197adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
19207adc3a2bSChandler Carruth   }
19217adc3a2bSChandler Carruth 
19227adc3a2bSChandler Carruth   // Never inline functions with conflicting attributes (unless callee has
19237adc3a2bSChandler Carruth   // always-inline attribute).
19245ce28f4fSChad Rosier   Function *Caller = CS.getCaller();
19255ce28f4fSChad Rosier   if (!functionsHaveCompatibleAttributes(Caller, Callee, CalleeTTI))
19267adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
19277adc3a2bSChandler Carruth 
19287adc3a2bSChandler Carruth   // Don't inline this call if the caller has the optnone attribute.
19295ce28f4fSChad Rosier   if (Caller->hasFnAttribute(Attribute::OptimizeNone))
19307adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
19317adc3a2bSChandler Carruth 
19325ce32728SSanjoy Das   // Don't inline functions which can be interposed at link-time.  Don't inline
19335ce32728SSanjoy Das   // functions marked noinline or call sites marked noinline.
1934107b187dSCraig Topper   // Note: inlining non-exact non-interposable functions is fine, since we know
19355ce32728SSanjoy Das   // we have *a* correct implementation of the source level function.
1936567556aaSChad Rosier   if (Callee->isInterposable() || Callee->hasFnAttribute(Attribute::NoInline) ||
1937567556aaSChad Rosier       CS.isNoInline())
19387adc3a2bSChandler Carruth     return llvm::InlineCost::getNever();
19397adc3a2bSChandler Carruth 
19407adc3a2bSChandler Carruth   DEBUG(llvm::dbgs() << "      Analyzing call of " << Callee->getName()
19414eb18742SChad Rosier                      << "... (caller:" << Caller->getName() << ")\n");
19427adc3a2bSChandler Carruth 
19430812c5beSHaicheng Wu   CallAnalyzer CA(CalleeTTI, GetAssumptionCache, GetBFI, PSI, ORE, *Callee, CS,
194412585b01SEaswaran Raman                   Params);
19457adc3a2bSChandler Carruth   bool ShouldInline = CA.analyzeCall(CS);
19467adc3a2bSChandler Carruth 
19477adc3a2bSChandler Carruth   DEBUG(CA.dump());
19487adc3a2bSChandler Carruth 
19497adc3a2bSChandler Carruth   // Check if there was a reason to force inlining or no inlining.
19507adc3a2bSChandler Carruth   if (!ShouldInline && CA.getCost() < CA.getThreshold())
19517adc3a2bSChandler Carruth     return InlineCost::getNever();
19527adc3a2bSChandler Carruth   if (ShouldInline && CA.getCost() >= CA.getThreshold())
19537adc3a2bSChandler Carruth     return InlineCost::getAlways();
19547adc3a2bSChandler Carruth 
19557adc3a2bSChandler Carruth   return llvm::InlineCost::get(CA.getCost(), CA.getThreshold());
19567adc3a2bSChandler Carruth }
19577adc3a2bSChandler Carruth 
1958b9f7120eSEaswaran Raman bool llvm::isInlineViable(Function &F) {
19597adc3a2bSChandler Carruth   bool ReturnsTwice = F.hasFnAttribute(Attribute::ReturnsTwice);
19607adc3a2bSChandler Carruth   for (Function::iterator BI = F.begin(), BE = F.end(); BI != BE; ++BI) {
19617adc3a2bSChandler Carruth     // Disallow inlining of functions which contain indirect branches or
19627adc3a2bSChandler Carruth     // blockaddresses.
19637adc3a2bSChandler Carruth     if (isa<IndirectBrInst>(BI->getTerminator()) || BI->hasAddressTaken())
19647adc3a2bSChandler Carruth       return false;
19657adc3a2bSChandler Carruth 
19665a82c916SDuncan P. N. Exon Smith     for (auto &II : *BI) {
19675a82c916SDuncan P. N. Exon Smith       CallSite CS(&II);
19687adc3a2bSChandler Carruth       if (!CS)
19697adc3a2bSChandler Carruth         continue;
19707adc3a2bSChandler Carruth 
19717adc3a2bSChandler Carruth       // Disallow recursive calls.
19727adc3a2bSChandler Carruth       if (&F == CS.getCalledFunction())
19737adc3a2bSChandler Carruth         return false;
19747adc3a2bSChandler Carruth 
19757adc3a2bSChandler Carruth       // Disallow calls which expose returns-twice to a function not previously
19767adc3a2bSChandler Carruth       // attributed as such.
19777adc3a2bSChandler Carruth       if (!ReturnsTwice && CS.isCall() &&
19787adc3a2bSChandler Carruth           cast<CallInst>(CS.getInstruction())->canReturnTwice())
19797adc3a2bSChandler Carruth         return false;
19807adc3a2bSChandler Carruth 
19817adc3a2bSChandler Carruth       // Disallow inlining functions that call @llvm.localescape. Doing this
19827adc3a2bSChandler Carruth       // correctly would require major changes to the inliner.
19837adc3a2bSChandler Carruth       if (CS.getCalledFunction() &&
19847adc3a2bSChandler Carruth           CS.getCalledFunction()->getIntrinsicID() ==
19857adc3a2bSChandler Carruth               llvm::Intrinsic::localescape)
19867adc3a2bSChandler Carruth         return false;
19877adc3a2bSChandler Carruth     }
19887adc3a2bSChandler Carruth   }
19897adc3a2bSChandler Carruth 
19907adc3a2bSChandler Carruth   return true;
19917adc3a2bSChandler Carruth }
19921c57cc2bSEaswaran Raman 
19931c57cc2bSEaswaran Raman // APIs to create InlineParams based on command line flags and/or other
19941c57cc2bSEaswaran Raman // parameters.
19951c57cc2bSEaswaran Raman 
19961c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(int Threshold) {
19971c57cc2bSEaswaran Raman   InlineParams Params;
19981c57cc2bSEaswaran Raman 
19991c57cc2bSEaswaran Raman   // This field is the threshold to use for a callee by default. This is
20001c57cc2bSEaswaran Raman   // derived from one or more of:
20011c57cc2bSEaswaran Raman   //  * optimization or size-optimization levels,
20021c57cc2bSEaswaran Raman   //  * a value passed to createFunctionInliningPass function, or
20031c57cc2bSEaswaran Raman   //  * the -inline-threshold flag.
20041c57cc2bSEaswaran Raman   //  If the -inline-threshold flag is explicitly specified, that is used
20051c57cc2bSEaswaran Raman   //  irrespective of anything else.
20061c57cc2bSEaswaran Raman   if (InlineThreshold.getNumOccurrences() > 0)
20071c57cc2bSEaswaran Raman     Params.DefaultThreshold = InlineThreshold;
20081c57cc2bSEaswaran Raman   else
20091c57cc2bSEaswaran Raman     Params.DefaultThreshold = Threshold;
20101c57cc2bSEaswaran Raman 
20111c57cc2bSEaswaran Raman   // Set the HintThreshold knob from the -inlinehint-threshold.
20121c57cc2bSEaswaran Raman   Params.HintThreshold = HintThreshold;
20131c57cc2bSEaswaran Raman 
20141c57cc2bSEaswaran Raman   // Set the HotCallSiteThreshold knob from the -hot-callsite-threshold.
20151c57cc2bSEaswaran Raman   Params.HotCallSiteThreshold = HotCallSiteThreshold;
20161c57cc2bSEaswaran Raman 
2017974d4eeaSEaswaran Raman   // If the -locally-hot-callsite-threshold is explicitly specified, use it to
2018974d4eeaSEaswaran Raman   // populate LocallyHotCallSiteThreshold. Later, we populate
2019974d4eeaSEaswaran Raman   // Params.LocallyHotCallSiteThreshold from -locally-hot-callsite-threshold if
2020974d4eeaSEaswaran Raman   // we know that optimization level is O3 (in the getInlineParams variant that
2021974d4eeaSEaswaran Raman   // takes the opt and size levels).
2022974d4eeaSEaswaran Raman   // FIXME: Remove this check (and make the assignment unconditional) after
2023974d4eeaSEaswaran Raman   // addressing size regression issues at O2.
2024974d4eeaSEaswaran Raman   if (LocallyHotCallSiteThreshold.getNumOccurrences() > 0)
2025974d4eeaSEaswaran Raman     Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold;
2026974d4eeaSEaswaran Raman 
202712585b01SEaswaran Raman   // Set the ColdCallSiteThreshold knob from the -inline-cold-callsite-threshold.
202812585b01SEaswaran Raman   Params.ColdCallSiteThreshold = ColdCallSiteThreshold;
202912585b01SEaswaran Raman 
20301c57cc2bSEaswaran Raman   // Set the OptMinSizeThreshold and OptSizeThreshold params only if the
20311c57cc2bSEaswaran Raman   // -inlinehint-threshold commandline option is not explicitly given. If that
20321c57cc2bSEaswaran Raman   // option is present, then its value applies even for callees with size and
20331c57cc2bSEaswaran Raman   // minsize attributes.
20341c57cc2bSEaswaran Raman   // If the -inline-threshold is not specified, set the ColdThreshold from the
20351c57cc2bSEaswaran Raman   // -inlinecold-threshold even if it is not explicitly passed. If
20361c57cc2bSEaswaran Raman   // -inline-threshold is specified, then -inlinecold-threshold needs to be
20371c57cc2bSEaswaran Raman   // explicitly specified to set the ColdThreshold knob
20381c57cc2bSEaswaran Raman   if (InlineThreshold.getNumOccurrences() == 0) {
20391c57cc2bSEaswaran Raman     Params.OptMinSizeThreshold = InlineConstants::OptMinSizeThreshold;
20401c57cc2bSEaswaran Raman     Params.OptSizeThreshold = InlineConstants::OptSizeThreshold;
20411c57cc2bSEaswaran Raman     Params.ColdThreshold = ColdThreshold;
20421c57cc2bSEaswaran Raman   } else if (ColdThreshold.getNumOccurrences() > 0) {
20431c57cc2bSEaswaran Raman     Params.ColdThreshold = ColdThreshold;
20441c57cc2bSEaswaran Raman   }
20451c57cc2bSEaswaran Raman   return Params;
20461c57cc2bSEaswaran Raman }
20471c57cc2bSEaswaran Raman 
20481c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams() {
20491c57cc2bSEaswaran Raman   return getInlineParams(InlineThreshold);
20501c57cc2bSEaswaran Raman }
20511c57cc2bSEaswaran Raman 
20521c57cc2bSEaswaran Raman // Compute the default threshold for inlining based on the opt level and the
20531c57cc2bSEaswaran Raman // size opt level.
20541c57cc2bSEaswaran Raman static int computeThresholdFromOptLevels(unsigned OptLevel,
20551c57cc2bSEaswaran Raman                                          unsigned SizeOptLevel) {
20561c57cc2bSEaswaran Raman   if (OptLevel > 2)
20571c57cc2bSEaswaran Raman     return InlineConstants::OptAggressiveThreshold;
20581c57cc2bSEaswaran Raman   if (SizeOptLevel == 1) // -Os
20591c57cc2bSEaswaran Raman     return InlineConstants::OptSizeThreshold;
20601c57cc2bSEaswaran Raman   if (SizeOptLevel == 2) // -Oz
20611c57cc2bSEaswaran Raman     return InlineConstants::OptMinSizeThreshold;
20621c57cc2bSEaswaran Raman   return InlineThreshold;
20631c57cc2bSEaswaran Raman }
20641c57cc2bSEaswaran Raman 
20651c57cc2bSEaswaran Raman InlineParams llvm::getInlineParams(unsigned OptLevel, unsigned SizeOptLevel) {
2066974d4eeaSEaswaran Raman   auto Params =
2067974d4eeaSEaswaran Raman       getInlineParams(computeThresholdFromOptLevels(OptLevel, SizeOptLevel));
2068974d4eeaSEaswaran Raman   // At O3, use the value of -locally-hot-callsite-threshold option to populate
2069974d4eeaSEaswaran Raman   // Params.LocallyHotCallSiteThreshold. Below O3, this flag has effect only
2070974d4eeaSEaswaran Raman   // when it is specified explicitly.
2071974d4eeaSEaswaran Raman   if (OptLevel > 2)
2072974d4eeaSEaswaran Raman     Params.LocallyHotCallSiteThreshold = LocallyHotCallSiteThreshold;
2073974d4eeaSEaswaran Raman   return Params;
20741c57cc2bSEaswaran Raman }
2075