diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-07-27 07:50:07 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-07-27 07:50:07 +0000 |
| commit | ccb354b687798d182c23f75b3260c38272fc7c3d (patch) | |
| tree | 48857d7c6416fd487e72891db13149eb68486fe5 /docs/AliasAnalysis.html | |
| parent | fdec1d5f2418d38f540c9a9adc51287eda74eb2c (diff) | |
| download | external_llvm-ccb354b687798d182c23f75b3260c38272fc7c3d.zip external_llvm-ccb354b687798d182c23f75b3260c38272fc7c3d.tar.gz external_llvm-ccb354b687798d182c23f75b3260c38272fc7c3d.tar.bz2 | |
New functionality
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15266 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/AliasAnalysis.html')
| -rw-r--r-- | docs/AliasAnalysis.html | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index f1dbf86..10227fb 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 |