blob: 71671d6fe9a5a0d68709aeb208571df430703a09 [file] [log] [blame]
Duncan Sands9e89ba32008-12-31 16:14:43 +00001//===- FunctionAttrs.cpp - Pass which marks functions readnone or readonly ===//
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 a simple interprocedural pass which walks the
11// call-graph, looking for functions which do not access or only read
Duncan Sandsb2f22792009-01-02 11:46:24 +000012// non-local memory, and marking them readnone/readonly. In addition,
13// it marks function arguments (of pointer type) 'nocapture' if a call
14// to the function does not create any copies of the pointer value that
15// outlive the call. This more or less means that the pointer is only
16// dereferenced, and not returned from the function or stored in a global.
17// This pass is implemented as a bottom-up traversal of the call-graph.
Duncan Sands9e89ba32008-12-31 16:14:43 +000018//
19//===----------------------------------------------------------------------===//
20
21#define DEBUG_TYPE "functionattrs"
22#include "llvm/Transforms/IPO.h"
23#include "llvm/CallGraphSCCPass.h"
24#include "llvm/GlobalVariable.h"
Devang Patelcd119912009-03-03 00:28:44 +000025#include "llvm/IntrinsicInst.h"
Dan Gohmanea8900f2010-11-08 17:12:04 +000026#include "llvm/LLVMContext.h"
Nick Lewycky199aa3c2009-03-08 06:20:47 +000027#include "llvm/Analysis/AliasAnalysis.h"
Duncan Sands9e89ba32008-12-31 16:14:43 +000028#include "llvm/Analysis/CallGraph.h"
Duncan Sands8556d2a2009-01-18 12:19:30 +000029#include "llvm/Analysis/CaptureTracking.h"
Duncan Sands338cd6b2009-01-02 11:54:37 +000030#include "llvm/ADT/SmallSet.h"
Duncan Sands9e89ba32008-12-31 16:14:43 +000031#include "llvm/ADT/Statistic.h"
Nick Lewycky199aa3c2009-03-08 06:20:47 +000032#include "llvm/ADT/UniqueVector.h"
Duncan Sands9e89ba32008-12-31 16:14:43 +000033#include "llvm/Support/InstIterator.h"
34using namespace llvm;
35
36STATISTIC(NumReadNone, "Number of functions marked readnone");
37STATISTIC(NumReadOnly, "Number of functions marked readonly");
38STATISTIC(NumNoCapture, "Number of arguments marked nocapture");
Nick Lewycky199aa3c2009-03-08 06:20:47 +000039STATISTIC(NumNoAlias, "Number of function returns marked noalias");
Duncan Sands9e89ba32008-12-31 16:14:43 +000040
41namespace {
Nick Lewycky6726b6d2009-10-25 06:33:48 +000042 struct FunctionAttrs : public CallGraphSCCPass {
Duncan Sands9e89ba32008-12-31 16:14:43 +000043 static char ID; // Pass identification, replacement for typeid
Dan Gohman3c97f7a2010-11-08 16:10:15 +000044 FunctionAttrs() : CallGraphSCCPass(ID), AA(0) {
Owen Anderson081c34b2010-10-19 17:21:58 +000045 initializeFunctionAttrsPass(*PassRegistry::getPassRegistry());
46 }
Duncan Sands9e89ba32008-12-31 16:14:43 +000047
48 // runOnSCC - Analyze the SCC, performing the transformation if possible.
Chris Lattner2decb222010-04-16 22:42:17 +000049 bool runOnSCC(CallGraphSCC &SCC);
Duncan Sands9e89ba32008-12-31 16:14:43 +000050
51 // AddReadAttrs - Deduce readonly/readnone attributes for the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +000052 bool AddReadAttrs(const CallGraphSCC &SCC);
Duncan Sands9e89ba32008-12-31 16:14:43 +000053
54 // AddNoCaptureAttrs - Deduce nocapture attributes for the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +000055 bool AddNoCaptureAttrs(const CallGraphSCC &SCC);
Duncan Sands9e89ba32008-12-31 16:14:43 +000056
Nick Lewycky199aa3c2009-03-08 06:20:47 +000057 // IsFunctionMallocLike - Does this function allocate new memory?
58 bool IsFunctionMallocLike(Function *F,
Chris Lattner98a27ce2009-08-31 04:09:04 +000059 SmallPtrSet<Function*, 8> &) const;
Nick Lewycky199aa3c2009-03-08 06:20:47 +000060
61 // AddNoAliasAttrs - Deduce noalias attributes for the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +000062 bool AddNoAliasAttrs(const CallGraphSCC &SCC);
Nick Lewycky199aa3c2009-03-08 06:20:47 +000063
Duncan Sands9e89ba32008-12-31 16:14:43 +000064 virtual void getAnalysisUsage(AnalysisUsage &AU) const {
65 AU.setPreservesCFG();
Dan Gohman3c97f7a2010-11-08 16:10:15 +000066 AU.addRequired<AliasAnalysis>();
Duncan Sands9e89ba32008-12-31 16:14:43 +000067 CallGraphSCCPass::getAnalysisUsage(AU);
68 }
69
Dan Gohman3c97f7a2010-11-08 16:10:15 +000070 private:
71 AliasAnalysis *AA;
Duncan Sands9e89ba32008-12-31 16:14:43 +000072 };
73}
74
75char FunctionAttrs::ID = 0;
Owen Andersonae0a7bc2010-10-13 22:00:45 +000076INITIALIZE_PASS_BEGIN(FunctionAttrs, "functionattrs",
77 "Deduce function attributes", false, false)
78INITIALIZE_AG_DEPENDENCY(CallGraph)
79INITIALIZE_PASS_END(FunctionAttrs, "functionattrs",
Owen Andersonce665bd2010-10-07 22:25:06 +000080 "Deduce function attributes", false, false)
Duncan Sands9e89ba32008-12-31 16:14:43 +000081
82Pass *llvm::createFunctionAttrsPass() { return new FunctionAttrs(); }
83
84
Duncan Sands9e89ba32008-12-31 16:14:43 +000085/// AddReadAttrs - Deduce readonly/readnone attributes for the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +000086bool FunctionAttrs::AddReadAttrs(const CallGraphSCC &SCC) {
Chris Lattner98a27ce2009-08-31 04:09:04 +000087 SmallPtrSet<Function*, 8> SCCNodes;
Duncan Sands9e89ba32008-12-31 16:14:43 +000088
89 // Fill SCCNodes with the elements of the SCC. Used for quickly
90 // looking up whether a given CallGraphNode is in this SCC.
Chris Lattner2decb222010-04-16 22:42:17 +000091 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I)
92 SCCNodes.insert((*I)->getFunction());
Duncan Sands9e89ba32008-12-31 16:14:43 +000093
94 // Check if any of the functions in the SCC read or write memory. If they
95 // write memory then they can't be marked readnone or readonly.
96 bool ReadsMemory = false;
Chris Lattner2decb222010-04-16 22:42:17 +000097 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I) {
98 Function *F = (*I)->getFunction();
Duncan Sands9e89ba32008-12-31 16:14:43 +000099
100 if (F == 0)
101 // External node - may write memory. Just give up.
102 return false;
103
104 if (F->doesNotAccessMemory())
105 // Already perfect!
106 continue;
107
108 // Definitions with weak linkage may be overridden at linktime with
109 // something that writes memory, so treat them like declarations.
110 if (F->isDeclaration() || F->mayBeOverridden()) {
111 if (!F->onlyReadsMemory())
112 // May write memory. Just give up.
113 return false;
114
115 ReadsMemory = true;
116 continue;
117 }
118
119 // Scan the function body for instructions that may read or write memory.
120 for (inst_iterator II = inst_begin(F), E = inst_end(F); II != E; ++II) {
121 Instruction *I = &*II;
122
123 // Some instructions can be ignored even if they read or write memory.
124 // Detect these now, skipping to the next instruction if one is found.
Gabor Greif7d3056b2010-07-28 22:50:26 +0000125 CallSite CS(cast<Value>(I));
Dan Gohman3c97f7a2010-11-08 16:10:15 +0000126 if (CS) {
Duncan Sands9e89ba32008-12-31 16:14:43 +0000127 // Ignore calls to functions in the same SCC.
Dan Gohman3c97f7a2010-11-08 16:10:15 +0000128 if (CS.getCalledFunction() && SCCNodes.count(CS.getCalledFunction()))
Duncan Sands9e89ba32008-12-31 16:14:43 +0000129 continue;
Dan Gohman3c97f7a2010-11-08 16:10:15 +0000130 switch (AA->getModRefBehavior(CS)) {
131 case AliasAnalysis::DoesNotAccessMemory:
132 // Ignore calls that don't access memory.
133 continue;
134 case AliasAnalysis::OnlyReadsMemory:
135 // Handle calls that only read from memory.
136 ReadsMemory = true;
137 continue;
138 case AliasAnalysis::AccessesArguments:
139 // Check whether all pointer arguments point to local memory, and
140 // ignore calls that only access local memory.
141 for (CallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end();
142 CI != CE; ++CI) {
143 Value *Arg = *CI;
Dan Gohmanea8900f2010-11-08 17:12:04 +0000144 if (Arg->getType()->isPointerTy()) {
145 AliasAnalysis::Location Loc(Arg,
146 AliasAnalysis::UnknownSize,
147 I->getMetadata(LLVMContext::MD_tbaa));
Dan Gohman554375b2010-11-08 19:24:47 +0000148 if (!AA->pointsToConstantMemory(Loc, /*OrLocal=*/true))
Dan Gohmanea8900f2010-11-08 17:12:04 +0000149 // Writes memory. Just give up.
150 return false;
151 }
Duncan Sands7c422ac2010-01-06 08:45:52 +0000152 }
Dan Gohman3c97f7a2010-11-08 16:10:15 +0000153 // Only reads and writes local memory.
154 continue;
Dan Gohman40b6a192010-11-09 19:56:27 +0000155 case AliasAnalysis::AccessesArgumentsReadonly:
156 // Check whether all pointer arguments point to local memory, and
157 // ignore calls that only access local memory.
158 for (CallSite::arg_iterator CI = CS.arg_begin(), CE = CS.arg_end();
159 CI != CE; ++CI) {
160 Value *Arg = *CI;
161 if (Arg->getType()->isPointerTy()) {
162 AliasAnalysis::Location Loc(Arg,
163 AliasAnalysis::UnknownSize,
164 I->getMetadata(LLVMContext::MD_tbaa));
165 if (!AA->pointsToConstantMemory(Loc, /*OrLocal=*/true)) {
166 // Reads non-local memory.
167 ReadsMemory = true;
168 break;
169 }
170 }
171 }
172 // Only reads memory.
173 continue;
Dan Gohman3c97f7a2010-11-08 16:10:15 +0000174 default:
175 // Otherwise, be conservative.
176 break;
177 }
Duncan Sands9e89ba32008-12-31 16:14:43 +0000178 } else if (LoadInst *LI = dyn_cast<LoadInst>(I)) {
Duncan Sandsad6f5412010-10-30 12:59:44 +0000179 // Ignore non-volatile loads from local memory.
Dan Gohmanea8900f2010-11-08 17:12:04 +0000180 if (!LI->isVolatile()) {
181 AliasAnalysis::Location Loc(LI->getPointerOperand(),
182 AA->getTypeStoreSize(LI->getType()),
183 LI->getMetadata(LLVMContext::MD_tbaa));
184 if (AA->pointsToConstantMemory(Loc, /*OrLocal=*/true))
185 continue;
186 }
Duncan Sands9e89ba32008-12-31 16:14:43 +0000187 } else if (StoreInst *SI = dyn_cast<StoreInst>(I)) {
Duncan Sandsad6f5412010-10-30 12:59:44 +0000188 // Ignore non-volatile stores to local memory.
Dan Gohmanea8900f2010-11-08 17:12:04 +0000189 if (!SI->isVolatile()) {
190 const Type *StoredType = SI->getValueOperand()->getType();
191 AliasAnalysis::Location Loc(SI->getPointerOperand(),
192 AA->getTypeStoreSize(StoredType),
193 SI->getMetadata(LLVMContext::MD_tbaa));
194 if (AA->pointsToConstantMemory(Loc, /*OrLocal=*/true))
195 continue;
196 }
Duncan Sands9e89ba32008-12-31 16:14:43 +0000197 }
198
199 // Any remaining instructions need to be taken seriously! Check if they
200 // read or write memory.
201 if (I->mayWriteToMemory())
202 // Writes memory. Just give up.
203 return false;
Duncan Sandscfd0ebe2009-05-06 08:42:00 +0000204
Duncan Sands9e89ba32008-12-31 16:14:43 +0000205 // If this instruction may read memory, remember that.
206 ReadsMemory |= I->mayReadFromMemory();
207 }
208 }
209
210 // Success! Functions in this SCC do not access memory, or only read memory.
211 // Give them the appropriate attribute.
212 bool MadeChange = false;
Chris Lattner2decb222010-04-16 22:42:17 +0000213 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I) {
214 Function *F = (*I)->getFunction();
Duncan Sands9e89ba32008-12-31 16:14:43 +0000215
216 if (F->doesNotAccessMemory())
217 // Already perfect!
218 continue;
219
220 if (F->onlyReadsMemory() && ReadsMemory)
221 // No change.
222 continue;
223
224 MadeChange = true;
225
226 // Clear out any existing attributes.
227 F->removeAttribute(~0, Attribute::ReadOnly | Attribute::ReadNone);
228
229 // Add in the new attribute.
230 F->addAttribute(~0, ReadsMemory? Attribute::ReadOnly : Attribute::ReadNone);
231
232 if (ReadsMemory)
Duncan Sandsb2f22792009-01-02 11:46:24 +0000233 ++NumReadOnly;
Duncan Sands9e89ba32008-12-31 16:14:43 +0000234 else
Duncan Sandsb2f22792009-01-02 11:46:24 +0000235 ++NumReadNone;
Duncan Sands9e89ba32008-12-31 16:14:43 +0000236 }
237
238 return MadeChange;
239}
240
Duncan Sands9e89ba32008-12-31 16:14:43 +0000241/// AddNoCaptureAttrs - Deduce nocapture attributes for the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000242bool FunctionAttrs::AddNoCaptureAttrs(const CallGraphSCC &SCC) {
Duncan Sands9e89ba32008-12-31 16:14:43 +0000243 bool Changed = false;
244
245 // Check each function in turn, determining which pointer arguments are not
246 // captured.
Chris Lattner2decb222010-04-16 22:42:17 +0000247 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I) {
248 Function *F = (*I)->getFunction();
Duncan Sands9e89ba32008-12-31 16:14:43 +0000249
250 if (F == 0)
251 // External node - skip it;
252 continue;
253
254 // Definitions with weak linkage may be overridden at linktime with
255 // something that writes memory, so treat them like declarations.
256 if (F->isDeclaration() || F->mayBeOverridden())
257 continue;
258
259 for (Function::arg_iterator A = F->arg_begin(), E = F->arg_end(); A!=E; ++A)
Duncan Sands1df98592010-02-16 11:11:14 +0000260 if (A->getType()->isPointerTy() && !A->hasNoCaptureAttr() &&
Dan Gohmanf94b5ed2009-11-19 21:57:48 +0000261 !PointerMayBeCaptured(A, true, /*StoreCaptures=*/false)) {
Duncan Sands9e89ba32008-12-31 16:14:43 +0000262 A->addAttr(Attribute::NoCapture);
Nick Lewycky6b056862009-01-02 03:46:56 +0000263 ++NumNoCapture;
Duncan Sands9e89ba32008-12-31 16:14:43 +0000264 Changed = true;
265 }
266 }
267
268 return Changed;
269}
270
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000271/// IsFunctionMallocLike - A function is malloc-like if it returns either null
Nick Lewycky4bfba9d2009-03-08 17:08:09 +0000272/// or a pointer that doesn't alias any other pointer visible to the caller.
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000273bool FunctionAttrs::IsFunctionMallocLike(Function *F,
Chris Lattner98a27ce2009-08-31 04:09:04 +0000274 SmallPtrSet<Function*, 8> &SCCNodes) const {
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000275 UniqueVector<Value *> FlowsToReturn;
276 for (Function::iterator I = F->begin(), E = F->end(); I != E; ++I)
277 if (ReturnInst *Ret = dyn_cast<ReturnInst>(I->getTerminator()))
278 FlowsToReturn.insert(Ret->getReturnValue());
279
280 for (unsigned i = 0; i != FlowsToReturn.size(); ++i) {
281 Value *RetVal = FlowsToReturn[i+1]; // UniqueVector[0] is reserved.
282
283 if (Constant *C = dyn_cast<Constant>(RetVal)) {
284 if (!C->isNullValue() && !isa<UndefValue>(C))
285 return false;
286
287 continue;
288 }
289
290 if (isa<Argument>(RetVal))
291 return false;
292
293 if (Instruction *RVI = dyn_cast<Instruction>(RetVal))
294 switch (RVI->getOpcode()) {
295 // Extend the analysis by looking upwards.
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000296 case Instruction::BitCast:
Victor Hernandez83d63912009-09-18 22:35:49 +0000297 case Instruction::GetElementPtr:
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000298 FlowsToReturn.insert(RVI->getOperand(0));
299 continue;
300 case Instruction::Select: {
301 SelectInst *SI = cast<SelectInst>(RVI);
302 FlowsToReturn.insert(SI->getTrueValue());
303 FlowsToReturn.insert(SI->getFalseValue());
Chris Lattner439044f2009-09-27 21:29:28 +0000304 continue;
305 }
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000306 case Instruction::PHI: {
307 PHINode *PN = cast<PHINode>(RVI);
308 for (int i = 0, e = PN->getNumIncomingValues(); i != e; ++i)
309 FlowsToReturn.insert(PN->getIncomingValue(i));
Chris Lattner439044f2009-09-27 21:29:28 +0000310 continue;
311 }
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000312
313 // Check whether the pointer came from an allocation.
314 case Instruction::Alloca:
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000315 break;
316 case Instruction::Call:
317 case Instruction::Invoke: {
318 CallSite CS(RVI);
319 if (CS.paramHasAttr(0, Attribute::NoAlias))
320 break;
321 if (CS.getCalledFunction() &&
Chris Lattner98a27ce2009-08-31 04:09:04 +0000322 SCCNodes.count(CS.getCalledFunction()))
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000323 break;
324 } // fall-through
325 default:
326 return false; // Did not come from an allocation.
327 }
328
Dan Gohmanf94b5ed2009-11-19 21:57:48 +0000329 if (PointerMayBeCaptured(RetVal, false, /*StoreCaptures=*/false))
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000330 return false;
331 }
332
333 return true;
334}
335
336/// AddNoAliasAttrs - Deduce noalias attributes for the SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000337bool FunctionAttrs::AddNoAliasAttrs(const CallGraphSCC &SCC) {
Chris Lattner98a27ce2009-08-31 04:09:04 +0000338 SmallPtrSet<Function*, 8> SCCNodes;
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000339
340 // Fill SCCNodes with the elements of the SCC. Used for quickly
341 // looking up whether a given CallGraphNode is in this SCC.
Chris Lattner2decb222010-04-16 22:42:17 +0000342 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I)
343 SCCNodes.insert((*I)->getFunction());
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000344
Nick Lewycky4bfba9d2009-03-08 17:08:09 +0000345 // Check each function in turn, determining which functions return noalias
346 // pointers.
Chris Lattner2decb222010-04-16 22:42:17 +0000347 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I) {
348 Function *F = (*I)->getFunction();
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000349
350 if (F == 0)
351 // External node - skip it;
352 return false;
353
354 // Already noalias.
355 if (F->doesNotAlias(0))
356 continue;
357
358 // Definitions with weak linkage may be overridden at linktime, so
359 // treat them like declarations.
360 if (F->isDeclaration() || F->mayBeOverridden())
361 return false;
362
363 // We annotate noalias return values, which are only applicable to
364 // pointer types.
Duncan Sands1df98592010-02-16 11:11:14 +0000365 if (!F->getReturnType()->isPointerTy())
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000366 continue;
367
368 if (!IsFunctionMallocLike(F, SCCNodes))
369 return false;
370 }
371
372 bool MadeChange = false;
Chris Lattner2decb222010-04-16 22:42:17 +0000373 for (CallGraphSCC::iterator I = SCC.begin(), E = SCC.end(); I != E; ++I) {
374 Function *F = (*I)->getFunction();
Duncan Sands1df98592010-02-16 11:11:14 +0000375 if (F->doesNotAlias(0) || !F->getReturnType()->isPointerTy())
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000376 continue;
377
378 F->setDoesNotAlias(0);
379 ++NumNoAlias;
380 MadeChange = true;
381 }
382
383 return MadeChange;
384}
385
Chris Lattner2decb222010-04-16 22:42:17 +0000386bool FunctionAttrs::runOnSCC(CallGraphSCC &SCC) {
Dan Gohman3c97f7a2010-11-08 16:10:15 +0000387 AA = &getAnalysis<AliasAnalysis>();
388
Duncan Sands9e89ba32008-12-31 16:14:43 +0000389 bool Changed = AddReadAttrs(SCC);
390 Changed |= AddNoCaptureAttrs(SCC);
Nick Lewycky199aa3c2009-03-08 06:20:47 +0000391 Changed |= AddNoAliasAttrs(SCC);
Duncan Sands9e89ba32008-12-31 16:14:43 +0000392 return Changed;
393}