diff options
author | Dan Gohman <gohman@apple.com> | 2010-07-02 23:46:54 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2010-07-02 23:46:54 +0000 |
commit | efca7f9681a4b0048538a02e2be3de3d369ff9c6 (patch) | |
tree | 75e967b2dd56099c0e934f6426345bb2587e2b9a /docs/LangRef.html | |
parent | 03560600b4fcaa9896b60fd2f224572a1945426b (diff) | |
download | llvm-efca7f9681a4b0048538a02e2be3de3d369ff9c6.tar.gz llvm-efca7f9681a4b0048538a02e2be3de3d369ff9c6.tar.bz2 llvm-efca7f9681a4b0048538a02e2be3de3d369ff9c6.tar.xz |
Describe which dependencies are relevant to noalias, and document how
AliasAnalyses have the choice to respect noalias.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@107544 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
-rw-r--r-- | docs/LangRef.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 7d8f14bca6..ad730deffb 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1053,7 +1053,12 @@ declare signext i8 @returns_signed_char() <dt><tt><b><a name="noalias">noalias</a></b></tt></dt> <dd>This indicates that pointer values <a href="#pointeraliasing"><i>based</i></a> on the argument or return - value do not alias pointer values which are not <i>based</i> on it. + value do not alias pointer values which are not <i>based</i> on it, + ignoring certain "irrelevant" dependencies. + For a call to the parent function, dependencies between memory + references from before or after the call and from those during the call + are "irrelevant" to the <tt>noalias</tt> keyword for the arguments and + return value used in that call. The caller shares the responsibility with the callee for ensuring that these requirements are met. For further details, please see the discussion of the NoAlias response in |