summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2004-07-27 07:50:07 +0000
committerChris Lattner <sabre@nondot.org>2004-07-27 07:50:07 +0000
commitccb354b687798d182c23f75b3260c38272fc7c3d (patch)
tree48857d7c6416fd487e72891db13149eb68486fe5 /docs
parentfdec1d5f2418d38f540c9a9adc51287eda74eb2c (diff)
downloadllvm-ccb354b687798d182c23f75b3260c38272fc7c3d.tar.gz
llvm-ccb354b687798d182c23f75b3260c38272fc7c3d.tar.bz2
llvm-ccb354b687798d182c23f75b3260c38272fc7c3d.tar.xz
New functionality
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15266 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r--docs/AliasAnalysis.html8
1 files changed, 5 insertions, 3 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html
index f1dbf86ffb..10227fb90a 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