diff options
author | Dan Gohman <gohman@apple.com> | 2010-07-02 23:52:36 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-07-02 23:52:36 +0000 |
commit | 43b8fd728b889f15ea4c65ca957a7420ce2905cd (patch) | |
tree | bf477874ef9706820f440cc8775222b79adb3c54 /docs/AliasAnalysis.html | |
parent | efca7f9681a4b0048538a02e2be3de3d369ff9c6 (diff) | |
download | external_llvm-43b8fd728b889f15ea4c65ca957a7420ce2905cd.zip external_llvm-43b8fd728b889f15ea4c65ca957a7420ce2905cd.tar.gz external_llvm-43b8fd728b889f15ea4c65ca957a7420ce2905cd.tar.bz2 |
Document that BasicAA respects noalias, while InterproceduralBasicAA
does not.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107546 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/AliasAnalysis.html')
-rw-r--r-- | docs/AliasAnalysis.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/AliasAnalysis.html b/docs/AliasAnalysis.html index 591694a..8e6a7fd 100644 --- a/docs/AliasAnalysis.html +++ b/docs/AliasAnalysis.html @@ -203,8 +203,9 @@ and reallocation.</p> <p>As an exception to this is with the <a href="LangRef.html#noalias"><tt>noalias</tt></a> keyword. AliasAnalysis -implementations may choose to ignore the "irrelevant" dependencies, provided -their clients do not need to be aware of these dependencies for correctness.</p> +implementations may choose to respect the <tt>noalias</tt> keyword and ignore +the "irrelevant" dependencies, provided their clients do not need to be aware +of these dependencies for correctness.</p> <p>The MayAlias response is used whenever the two pointers might refer to the same object. If the two memory objects overlap, but do not start at the same |