summaryrefslogtreecommitdiff
path: root/docs
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
commit66e08cf79a052dd75bf6fa2f94abd4c0a18cb019 (patch)
tree63df9adfd937867cb28155e1a75cb259d4868a2e /docs
parent18d18b71d5955274b95ac96cbb8353b4766d1995 (diff)
downloadllvm-66e08cf79a052dd75bf6fa2f94abd4c0a18cb019.tar.gz
llvm-66e08cf79a052dd75bf6fa2f94abd4c0a18cb019.tar.bz2
llvm-66e08cf79a052dd75bf6fa2f94abd4c0a18cb019.tar.xz
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')
-rw-r--r--docs/AliasAnalysis.html22
1 files changed, 1 insertions, 21 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html
index a89903d2af..ebf6386898 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>