New functionality

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

diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html
index f1dbf86ffb6018a72d98ab95157fcf9cab2eaf04..10227fb90a51e29084dd8fef57871b295a2bb9c4 100644 (file)
--- 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