diff options
author | Duncan Sands <baldrick@free.fr> | 2012-10-04 13:36:31 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2012-10-04 13:36:31 +0000 |
commit | ffcf6dffee69bd586ab8aa3e24ebbca1d5d279e7 (patch) | |
tree | 10fc0a6a167aff768e2c8537bdf3baf263dd5da9 /docs | |
parent | e660fc15fe1f1b8a19488f39d0ec09acc79bed0d (diff) |
The alignment of an sret parameter is known: it must be at least the
alignment of the return type. Teach the optimizers this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@165226 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r-- | docs/LangRef.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 89b9227b722..7ee1418f316 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1107,9 +1107,9 @@ declare signext i8 @returns_signed_char() <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. This pointer must be guaranteed by the caller to be valid: loads and - stores to the structure may be assumed by the callee to not to trap. This - may only be applied to the first parameter. This is not a valid attribute - for return values. </dd> + stores to the structure may be assumed by the callee to not to trap and + to be properly aligned. This may only be applied to the first parameter. + This is not a valid attribute for return values. </dd> <dt><tt><b><a name="noalias">noalias</a></b></tt></dt> <dd>This indicates that pointer values |