This was implemented back in march
authorChris Lattner <sabre@nondot.org>
Tue, 27 Jul 2004 01:59:42 +0000 (01:59 +0000)
committerChris Lattner <sabre@nondot.org>
Tue, 27 Jul 2004 01:59:42 +0000 (01:59 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15250 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/BasicAliasAnalysis.cpp

index c0949079cc1c17a56af03c1a83e9e3a9beaaf7d9..8aa4aa0246a7ff32bcb661e34e3f2e61c3064db8 100644 (file)
 // 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, and can support CSE of loads
-// and dead store elimination across calls.  This is particularly important for
-// stack allocated arrays.
-//
 //===----------------------------------------------------------------------===//
 
 #include "llvm/Analysis/AliasAnalysis.h"