diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2008-12-19 06:39:12 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2008-12-19 06:39:12 +0000 |
| commit | f23d0d392ab47e191e1bbd17dc7487b9d461485c (patch) | |
| tree | f7b614552c1261a2700e9e1ae056dab091dfffa3 /docs/LangRef.html | |
| parent | bebbded574f3be2756ac04746b982bdfb90cb7c4 (diff) | |
Resubmit support for the 'nocapture' attribute.
The problematic part of this patch is that we were out of attribute bits,
requiring some fancy bit hacking to make it fit (by shrinking alignment)
without breaking existing users or the file format.
This change will require users to rebuild llvm-gcc to match llvm.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61239 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
| -rw-r--r-- | docs/LangRef.html | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 83bd667fac..95fb8de319 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -894,9 +894,15 @@ declare signext i8 @returns_signed_char() parameter. The caller is responsible for ensuring that this is the case. On a function return value, <tt>noalias</tt> additionally indicates that the pointer does not alias any other pointers visible to the - caller. Note that this applies only to pointers that can be used to actually - load/store a value: NULL, unique pointers from malloc(0), and freed pointers - are considered to not alias anything.</dd> + caller. For further details, please see the discussion of the NoAlias + response in + <a href="http://llvm.org/docs/AliasAnalysis.html#MustMayNo">alias + analysis</a>.</dd> + + <dt><tt>nocapture</tt></dt> + <dd>This indicates that the callee does not make any copies of the pointer + that outlive the callee itself. This is not a valid attribute for return + values.</dd> <dt><tt>nest</tt></dt> <dd>This indicates that the pointer parameter can be excised using the |