[llvm-commits] [llvm] r61548 - /llvm/trunk/lib/Transforms/IPO/FunctionAttrs.cpp
Duncan Sands
baldrick at free.fr
Thu Jan 1 12:45:19 PST 2009
Author: baldrick
Date: Thu Jan 1 14:45:19 2009
New Revision: 61548
URL: http://llvm.org/viewvc/llvm-project?rev=61548&view=rev
Log:
Mention that this pass does escape analysis in the
leading comments.
Modified:
llvm/trunk/lib/Transforms/IPO/FunctionAttrs.cpp
Modified: llvm/trunk/lib/Transforms/IPO/FunctionAttrs.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/IPO/FunctionAttrs.cpp?rev=61548&r1=61547&r2=61548&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/IPO/FunctionAttrs.cpp (original)
+++ llvm/trunk/lib/Transforms/IPO/FunctionAttrs.cpp Thu Jan 1 14:45:19 2009
@@ -9,8 +9,10 @@
//
// This file implements a simple interprocedural pass which walks the
// call-graph, looking for functions which do not access or only read
-// non-local memory, and marking them readnone/readonly. It implements
-// this as a bottom-up traversal of the call-graph.
+// non-local memory, and marking them readnone/readonly. It addition,
+// it deduces which function arguments (of pointer type) do not escape,
+// and marks them nocapture. It implements this as a bottom-up traversal
+// of the call-graph.
//
//===----------------------------------------------------------------------===//
@@ -44,7 +46,7 @@
// AddNoCaptureAttrs - Deduce nocapture attributes for the SCC.
bool AddNoCaptureAttrs(const std::vector<CallGraphNode *> &SCC);
- // isCaptured - Returns whether this pointer value is captured.
+ // isCaptured - Returns true if this pointer value escapes.
bool isCaptured(Function &F, Value *V);
virtual void getAnalysisUsage(AnalysisUsage &AU) const {
More information about the llvm-commits
mailing list