From: Chris Lattner <sabre@nondot.org>
Date: Sun, 28 Dec 2003 04:03:49 +0000 (+0000)
Subject: Add a note
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6cdc42b3d101b698266421f075fdd8ea47c1a66a;p=oota-llvm.git

Add a note


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10617 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index 86c27d3e6cc..8251bb05d22 100644
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -11,6 +11,11 @@
 // that simply implements a few identities (two different globals cannot alias,
 // etc), but otherwise does no analysis.
 //
+// FIXME: This could be extended for a very simple form of mod/ref information.
+// If a pointer is locally allocated (either malloc or alloca) and never passed
+// into a call or stored to memory, then we know that calls will not mod/ref the
+// memory.  This can be important for tailcallelim.
+//
 //===----------------------------------------------------------------------===//
 
 #include "llvm/Analysis/AliasAnalysis.h"