From: Chris Lattner <sabre@nondot.org>
Date: Mon, 28 Jun 2004 19:19:47 +0000 (+0000)
Subject: document new pass
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=100a4f88ec7fc8e304cd991631825fdc6fe0f761;p=oota-llvm.git

document new pass


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

diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html
index 01492293eef..2aa841a9423 100644
--- a/docs/AliasAnalysis.html
+++ b/docs/AliasAnalysis.html
@@ -690,6 +690,27 @@ aggressive local analysis that "knows" many important facts:</p>
 
 </div>
 
+<!-- _______________________________________________________________________ -->
+<div class="doc_subsubsection">
+  <a name="globalsmodref">The <tt>-globalsmodref-aa</tt> pass</a>
+</div>
+
+<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.
+</p>
+
+<p>The real power of this pass is that it provides context-sensitive mod/ref 
+information for call instructions.  This allows the optimizer to know that 
+calls to a function do not clobber or read the value of the global, allowing 
+loads and stores to be eliminated.</p>
+
+<p>Note that this pass is somewhat limited in its scope (only support 
+non-address taken globals), but is very quick analysis.</p>
+</div>
 
 <!-- _______________________________________________________________________ -->
 <div class="doc_subsubsection">