blob: e4d9292db92d71040fed9aafa3107c8c626d4738 [file] [log] [blame]
Chandler Carruth3c256fb2012-03-16 05:51:52 +00001//===- CodeMetrics.cpp - Code cost measurements ---------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements code cost measurement utilities.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/Analysis/CodeMetrics.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000015#include "llvm/Analysis/AssumptionCache.h"
Hal Finkel57f03dd2014-09-07 13:49:57 +000016#include "llvm/Analysis/LoopInfo.h"
Chandler Carruthbb9caa92013-01-21 13:04:33 +000017#include "llvm/Analysis/TargetTransformInfo.h"
Hal Finkel57f03dd2014-09-07 13:49:57 +000018#include "llvm/Analysis/ValueTracking.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000019#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/Function.h"
22#include "llvm/IR/IntrinsicInst.h"
Hal Finkel57f03dd2014-09-07 13:49:57 +000023#include "llvm/Support/Debug.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000024#include "llvm/Support/raw_ostream.h"
Hal Finkel57f03dd2014-09-07 13:49:57 +000025
26#define DEBUG_TYPE "code-metrics"
Chandler Carruth3c256fb2012-03-16 05:51:52 +000027
28using namespace llvm;
29
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000030static void
31appendSpeculatableOperands(const Value *V,
32 SmallPtrSetImpl<const Value *> &Visited,
33 SmallVectorImpl<const Value *> &Worklist) {
34 const User *U = dyn_cast<User>(V);
35 if (!U)
36 return;
Hal Finkel57f03dd2014-09-07 13:49:57 +000037
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000038 for (const Value *Operand : U->operands())
39 if (Visited.insert(Operand).second)
40 if (isSafeToSpeculativelyExecute(Operand))
41 Worklist.push_back(Operand);
42}
Hal Finkel57f03dd2014-09-07 13:49:57 +000043
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000044static void completeEphemeralValues(SmallPtrSetImpl<const Value *> &Visited,
45 SmallVectorImpl<const Value *> &Worklist,
46 SmallPtrSetImpl<const Value *> &EphValues) {
Hal Finkel57f03dd2014-09-07 13:49:57 +000047 // Note: We don't speculate PHIs here, so we'll miss instruction chains kept
48 // alive only by ephemeral values.
49
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000050 // Walk the worklist using an index but without caching the size so we can
51 // append more entries as we process the worklist. This forms a queue without
52 // quadratic behavior by just leaving processed nodes at the head of the
53 // worklist forever.
54 for (int i = 0; i < (int)Worklist.size(); ++i) {
55 const Value *V = Worklist[i];
Hal Finkel8683d2b2014-10-15 17:34:48 +000056
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000057 assert(Visited.count(V) &&
58 "Failed to add a worklist entry to our visited set!");
Hal Finkel57f03dd2014-09-07 13:49:57 +000059
60 // If all uses of this value are ephemeral, then so is this value.
David Majnemer0a16c222016-08-11 21:15:00 +000061 if (!all_of(V->users(), [&](const User *U) { return EphValues.count(U); }))
Hal Finkel57f03dd2014-09-07 13:49:57 +000062 continue;
63
64 EphValues.insert(V);
65 DEBUG(dbgs() << "Ephemeral Value: " << *V << "\n");
66
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000067 // Append any more operands to consider.
68 appendSpeculatableOperands(V, Visited, Worklist);
Hal Finkel57f03dd2014-09-07 13:49:57 +000069 }
70}
71
72// Find all ephemeral values.
Chandler Carruth66b31302015-01-04 12:03:27 +000073void CodeMetrics::collectEphemeralValues(
Daniel Jasperaec2fa32016-12-19 08:22:17 +000074 const Loop *L, AssumptionCache *AC,
75 SmallPtrSetImpl<const Value *> &EphValues) {
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000076 SmallPtrSet<const Value *, 32> Visited;
77 SmallVector<const Value *, 16> Worklist;
Hal Finkel57f03dd2014-09-07 13:49:57 +000078
Daniel Jasperaec2fa32016-12-19 08:22:17 +000079 for (auto &AssumeVH : AC->assumptions()) {
80 if (!AssumeVH)
81 continue;
82 Instruction *I = cast<Instruction>(AssumeVH);
83
84 // Filter out call sites outside of the loop so we don't do a function's
85 // worth of work for each of its loops (and, in the common case, ephemeral
86 // values in the loop are likely due to @llvm.assume calls in the loop).
87 if (!L->contains(I->getParent()))
88 continue;
89
90 if (EphValues.insert(I).second)
91 appendSpeculatableOperands(I, Visited, Worklist);
92 }
Hal Finkel57f03dd2014-09-07 13:49:57 +000093
Chandler Carruthe2f36bc2016-08-18 17:51:24 +000094 completeEphemeralValues(Visited, Worklist, EphValues);
Hal Finkel57f03dd2014-09-07 13:49:57 +000095}
96
Chandler Carruth66b31302015-01-04 12:03:27 +000097void CodeMetrics::collectEphemeralValues(
Daniel Jasperaec2fa32016-12-19 08:22:17 +000098 const Function *F, AssumptionCache *AC,
99 SmallPtrSetImpl<const Value *> &EphValues) {
Chandler Carruthe2f36bc2016-08-18 17:51:24 +0000100 SmallPtrSet<const Value *, 32> Visited;
101 SmallVector<const Value *, 16> Worklist;
Hal Finkel57f03dd2014-09-07 13:49:57 +0000102
Daniel Jasperaec2fa32016-12-19 08:22:17 +0000103 for (auto &AssumeVH : AC->assumptions()) {
104 if (!AssumeVH)
105 continue;
106 Instruction *I = cast<Instruction>(AssumeVH);
107 assert(I->getParent()->getParent() == F &&
108 "Found assumption for the wrong function!");
109
110 if (EphValues.insert(I).second)
111 appendSpeculatableOperands(I, Visited, Worklist);
112 }
Hal Finkel57f03dd2014-09-07 13:49:57 +0000113
Chandler Carruthe2f36bc2016-08-18 17:51:24 +0000114 completeEphemeralValues(Visited, Worklist, EphValues);
Hal Finkel57f03dd2014-09-07 13:49:57 +0000115}
116
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000117/// Fill in the current structure with information gleaned from the specified
118/// block.
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000119void CodeMetrics::analyzeBasicBlock(const BasicBlock *BB,
Hal Finkel57f03dd2014-09-07 13:49:57 +0000120 const TargetTransformInfo &TTI,
Sebastian Pop031b1bc2016-08-03 19:13:50 +0000121 const SmallPtrSetImpl<const Value*> &EphValues) {
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000122 ++NumBlocks;
123 unsigned NumInstsBeforeThisBB = NumInsts;
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000124 for (const Instruction &I : *BB) {
Hal Finkel57f03dd2014-09-07 13:49:57 +0000125 // Skip ephemeral values.
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000126 if (EphValues.count(&I))
Hal Finkel57f03dd2014-09-07 13:49:57 +0000127 continue;
128
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000129 // Special handling for calls.
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000130 if (isa<CallInst>(I) || isa<InvokeInst>(I)) {
131 ImmutableCallSite CS(&I);
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000132
133 if (const Function *F = CS.getCalledFunction()) {
134 // If a function is both internal and has a single use, then it is
135 // extremely likely to get inlined in the future (it was probably
136 // exposed by an interleaved devirtualization pass).
137 if (!CS.isNoInline() && F->hasInternalLinkage() && F->hasOneUse())
138 ++NumInlineCandidates;
139
140 // If this call is to function itself, then the function is recursive.
141 // Inlining it into other functions is a bad idea, because this is
142 // basically just a form of loop peeling, and our metrics aren't useful
143 // for that case.
144 if (F == BB->getParent())
145 isRecursive = true;
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000146
Chandler Carruth0ba8db42013-01-22 11:26:02 +0000147 if (TTI.isLoweredToCall(F))
148 ++NumCalls;
149 } else {
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000150 // We don't want inline asm to count as a call - that would prevent loop
151 // unrolling. The argument setup cost is still real, though.
152 if (!isa<InlineAsm>(CS.getCalledValue()))
153 ++NumCalls;
154 }
155 }
156
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000157 if (const AllocaInst *AI = dyn_cast<AllocaInst>(&I)) {
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000158 if (!AI->isStaticAlloca())
159 this->usesDynamicAlloca = true;
160 }
161
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000162 if (isa<ExtractElementInst>(I) || I.getType()->isVectorTy())
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000163 ++NumVectorInsts;
164
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000165 if (I.getType()->isTokenTy() && I.isUsedOutsideOfBlock(BB))
David Majnemerb611e3f2015-08-14 05:09:07 +0000166 notDuplicatable = true;
167
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000168 if (const CallInst *CI = dyn_cast<CallInst>(&I)) {
Eli Bendersky576ef3c2014-03-17 16:19:07 +0000169 if (CI->cannotDuplicate())
James Molloy4f6fb952012-12-20 16:04:27 +0000170 notDuplicatable = true;
Justin Lebar144c5a62016-02-12 21:01:31 +0000171 if (CI->isConvergent())
172 convergent = true;
173 }
James Molloy4f6fb952012-12-20 16:04:27 +0000174
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000175 if (const InvokeInst *InvI = dyn_cast<InvokeInst>(&I))
Eli Bendersky576ef3c2014-03-17 16:19:07 +0000176 if (InvI->cannotDuplicate())
James Molloy4f6fb952012-12-20 16:04:27 +0000177 notDuplicatable = true;
178
Sanjay Patelb8d071b2016-03-08 20:53:48 +0000179 NumInsts += TTI.getUserCost(&I);
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000180 }
181
182 if (isa<ReturnInst>(BB->getTerminator()))
183 ++NumRets;
184
185 // We never want to inline functions that contain an indirectbr. This is
186 // incorrect because all the blockaddress's (in static global initializers
187 // for example) would be referring to the original function, and this indirect
188 // jump would jump from the inlined copy of the function into the original
189 // function which is extremely undefined behavior.
190 // FIXME: This logic isn't really right; we can safely inline functions
191 // with indirectbr's as long as no other function or global references the
192 // blockaddress of a block within the current function. And as a QOI issue,
193 // if someone is using a blockaddress without an indirectbr, and that
194 // reference somehow ends up in another function or global, we probably
195 // don't want to inline this function.
James Molloy4f6fb952012-12-20 16:04:27 +0000196 notDuplicatable |= isa<IndirectBrInst>(BB->getTerminator());
Chandler Carruth3c256fb2012-03-16 05:51:52 +0000197
198 // Remember NumInsts for this BB.
199 NumBBInsts[BB] = NumInsts - NumInstsBeforeThisBB;
200}