diff options
| author | Florian Hahn <florian.hahn@arm.com> | 2018-01-17 23:29:25 +0000 |
|---|---|---|
| committer | Florian Hahn <florian.hahn@arm.com> | 2018-01-17 23:29:25 +0000 |
| commit | edae5a6e11308852af43115da0a81533ca7ef3a6 (patch) | |
| tree | b75623d6d8288c9f8e7aa9a10f74ce5b8970a5ca | |
| parent | 5bd669dc8fcd7bb28909493744463da47808a0f8 (diff) | |
| download | bcm5719-llvm-edae5a6e11308852af43115da0a81533ca7ef3a6.tar.gz bcm5719-llvm-edae5a6e11308852af43115da0a81533ca7ef3a6.zip | |
[LangRef] Clarify Varargs forwarding for musttail calls.
This clarification was suggested by @efriedma in D41335, which uses this
behavior to inline musttail calls with varargs.
Reviewers: hfinkel, efriedma, rnk
Reviewed By: rnk
Differential Revision: https://reviews.llvm.org/D41861
llvm-svn: 322786
| -rw-r--r-- | llvm/docs/LangRef.rst | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 569e4a98d18..3aeffc579b4 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -9033,9 +9033,11 @@ This instruction requires several arguments: #. Arguments with the :ref:`inalloca <attr_inalloca>` attribute are forwarded in place. - Both markers imply that the callee does not access allocas or varargs from - the caller. Calls marked ``musttail`` must obey the following additional - rules: + Both markers imply that the callee does not access allocas from the caller. + The ``tail`` marker additionally implies that the callee does not access + varargs from the caller, while ``musttail`` implies that varargs from the + caller are passed to the callee. Calls marked ``musttail`` must obey the + following additional rules: - The call must immediately precede a :ref:`ret <i_ret>` instruction, or a pointer bitcast followed by a ret instruction. |
