diff options
Diffstat (limited to 'docs/AliasAnalysis.html')
| -rw-r--r-- | docs/AliasAnalysis.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index c6330a9..ad598c2 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -238,10 +238,10 @@ a location, ModRef is returned.</p> <p>The <tt>AliasAnalysis</tt> class also provides a <tt>getModRefInfo</tt> method for testing dependencies between function calls. This method takes two -call sites (CS1 & 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.</p> +call sites (CS1 & CS2), returns NoModRef if neither call writes to memory +read or written by the other, 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 written to by CS2. Note that this relation is not commutative.</p> </div> @@ -713,8 +713,8 @@ problem.</p> <div class="doc_text"> -<p>The <tt>-basicaa</tt> pass is the default LLVM alias analysis. It is an -aggressive local analysis that "knows" many important facts:</p> +<p>The <tt>-basicaa</tt> pass is an aggressive local analysis that "knows" +many important facts:</p> <ul> <li>Distinct globals, stack allocations, and heap allocations can never |