From ccb354b687798d182c23f75b3260c38272fc7c3d Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 27 Jul 2004 07:50:07 +0000
Subject: [PATCH] New functionality

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15266 91177308-0d34-0410-b5e6-96231b3b80d8
---
 docs/AliasAnalysis.html | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html
index f1dbf86ffb6..10227fb90a5 100644
--- a/docs/AliasAnalysis.html
+++ b/docs/AliasAnalysis.html
@@ -699,9 +699,11 @@ aggressive local analysis that "knows" many important facts:</p>
 <div class="doc_text">
 
 <p>This pass implements a simple context-sensitive mod/ref and alias analysis
-for internal global variables that don't "have their address taken".  If a 
-global does not have its address taken, the pass knows that no pointers alias 
-the global.
+for internal global variables that don't "have their address taken".  If a
+global does not have its address taken, the pass knows that no pointers alias
+the global.  This pass also keeps track of functions that it knows never access
+memory or never read memory.  This allows certain optimizations (e.g. GCSE) to
+eliminate call instructions entirely.
 </p>
 
 <p>The real power of this pass is that it provides context-sensitive mod/ref