[llvm-commits] CVS: llvm/docs/AliasAnalysis.html

[Chris Lattner]

Changes in directory llvm/docs:

AliasAnalysis.html updated: 1.20 -> 1.21

---
Log message:

document new pass



---
Diffs of the changes:  (+22 -1)

Index: llvm/docs/AliasAnalysis.html
diff -u llvm/docs/AliasAnalysis.html:1.20 llvm/docs/AliasAnalysis.html:1.21
--- llvm/docs/AliasAnalysis.html:1.20	Mon Jun 21 17:52:48 2004
+++ llvm/docs/AliasAnalysis.html	Mon Jun 28 14:19:47 2004
@@ -690,6 +690,27 @@
 
 </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">
@@ -916,7 +937,7 @@
 
   <a href="mailto:sabre at nondot.org">Chris Lattner</a><br>
   <a href="http://llvm.cs.uiuc.edu">LLVM Compiler Infrastructure</a><br>
-  Last modified: $Date: 2004/06/21 22:52:48 $
+  Last modified: $Date: 2004/06/28 19:19:47 $
 </address>
 
 </body>