From 6cdc42b3d101b698266421f075fdd8ea47c1a66a Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 28 Dec 2003 04:03:49 +0000 Subject: [PATCH] Add a note git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10617 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/BasicAliasAnalysis.cpp | 5 +++++ 1 file changed, 5 insertions(+) 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" -- 2.34.1