diff options
author | Duncan Sands <baldrick@free.fr> | 2008-03-17 12:17:41 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2008-03-17 12:17:41 +0000 |
commit | b7f0c082cbb7a42c6cbe70d0278424f25cc29995 (patch) | |
tree | 1f9da141228c461f9a815a70d0f969cd7a804391 /docs | |
parent | c3862636281692cfe8550c8fbf6683a28b72b0c7 (diff) | |
download | llvm-b7f0c082cbb7a42c6cbe70d0278424f25cc29995.tar.gz llvm-b7f0c082cbb7a42c6cbe70d0278424f25cc29995.tar.bz2 llvm-b7f0c082cbb7a42c6cbe70d0278424f25cc29995.tar.xz |
Clarify the unwind attribute. Add assumption
about sret made by the optimizers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48452 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r-- | docs/LangRef.html | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index f5528b86ca..d0d7f5f5ea 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -829,6 +829,7 @@ declare i32 @atoi(i8*) nounwind readonly <dt><tt>sret</tt></dt> <dd>This indicates that the pointer parameter specifies the address of a structure that is the return value of the function in the source program. + Loads and stores to the structure are assumed not to trap. May only be applied to the first parameter.</dd> <dt><tt>noalias</tt></dt> @@ -842,10 +843,11 @@ declare i32 @atoi(i8*) nounwind readonly an <tt>unreachable</tt> instruction immediately followed the call.</dd> <dt><tt>nounwind</tt></dt> - <dd>This function attribute indicates that the function type does not use - the unwind instruction and does not allow stack unwinding to propagate - through it.</dd> - + <dd>This function attribute indicates that no exceptions unwind out of the + function. Usually this is because the function makes no use of exceptions, + but it may also be that the function catches any exceptions thrown when + executing it.</dd> + <dt><tt>nest</tt></dt> <dd>This indicates that the parameter can be excised using the <a href="#int_trampoline">trampoline intrinsics</a>.</dd> |