aboutsummaryrefslogtreecommitdiffstats
path: root/docs/AliasAnalysis.html
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2009-11-22 16:01:44 +0000
committerChris Lattner <sabre@nondot.org>2009-11-22 16:01:44 +0000
commit3b803758388cc969c52e12e968f22f00eecdc1fb (patch)
tree63df9adfd937867cb28155e1a75cb259d4868a2e /docs/AliasAnalysis.html
parent194cfb2c761c1c7c943527d5e843a070d580fa94 (diff)
downloadexternal_llvm-3b803758388cc969c52e12e968f22f00eecdc1fb.zip
external_llvm-3b803758388cc969c52e12e968f22f00eecdc1fb.tar.gz
external_llvm-3b803758388cc969c52e12e968f22f00eecdc1fb.tar.bz2
Remove the AliasAnalysis::getMustAliases method, which is dead.
The hasNoModRefInfoForCalls isn't worth it as a filter because basicaa provides m/r info and everything chains to it, so remove it. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89599 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/AliasAnalysis.html')
-rw-r--r--docs/AliasAnalysis.html22
1 files changed, 1 insertions, 21 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html
index a89903d..ebf6386 100644
--- a/docs/AliasAnalysis.html
+++ b/docs/AliasAnalysis.html
@@ -225,12 +225,7 @@ method for testing dependencies between function calls. This method takes two
call sites (CS1 &amp; CS2), returns NoModRef if the two calls refer to disjoint
memory locations, Ref if CS1 reads memory written by CS2, Mod if CS1 writes to
memory read or written by CS2, or ModRef if CS1 might read or write memory
-accessed by CS2. Note that this relation is not commutative. Clients that use
-this method should be predicated on the <tt>hasNoModRefInfoForCalls()</tt>
-method, which indicates whether or not an analysis can provide mod/ref
-information for function call pairs (most can not). If this predicate is false,
-the client shouldn't waste analysis time querying the <tt>getModRefInfo</tt>
-method many times.</p>
+accessed by CS2. Note that this relation is not commutative.</p>
</div>
@@ -251,21 +246,6 @@ analysis implementations and can be put to good use by various clients.
<!-- _______________________________________________________________________ -->
<div class="doc_subsubsection">
- The <tt>getMustAliases</tt> method
-</div>
-
-<div class="doc_text">
-
-<p>The <tt>getMustAliases</tt> method returns all values that are known to
-always must alias a pointer. This information can be provided in some cases for
-important objects like the null pointer and global values. Knowing that a
-pointer always points to a particular function allows indirect calls to be
-turned into direct calls, for example.</p>
-
-</div>
-
-<!-- _______________________________________________________________________ -->
-<div class="doc_subsubsection">
The <tt>pointsToConstantMemory</tt> method
</div>