Expand on my note-to-self

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

diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index 0b131bc76b61b50fc451ce486fc23c0757c2ab93..16bb53f63b7c7004a6c3046c16ceadd658f2a70c 100644 (file)
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -14,7 +14,9 @@
 // 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.
+// 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.
 //
 //===----------------------------------------------------------------------===//