aboutsummaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
authorBill Wendling <isanbard@gmail.com>2013-10-27 04:19:29 +0000
committerBill Wendling <isanbard@gmail.com>2013-10-27 04:19:29 +0000
commit09f8e132c83e0c30ebc37c1cab0e9922fe27df0b (patch)
treeccb8ed4ea55cad2b1f6ac940625eee373296c26a /docs
parent88429cfb39df6f62e521968ba0b2780f38a261d9 (diff)
downloadexternal_llvm-09f8e132c83e0c30ebc37c1cab0e9922fe27df0b.zip
external_llvm-09f8e132c83e0c30ebc37c1cab0e9922fe27df0b.tar.gz
external_llvm-09f8e132c83e0c30ebc37c1cab0e9922fe27df0b.tar.bz2
Update to specify that both metadata and label types aren't proper return types.
PR15447 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193492 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r--docs/LangRef.rst17
1 files changed, 9 insertions, 8 deletions
diff --git a/docs/LangRef.rst b/docs/LangRef.rst
index b75c6b1..e81fda4 100644
--- a/docs/LangRef.rst
+++ b/docs/LangRef.rst
@@ -1752,9 +1752,10 @@ Function Type
Overview:
"""""""""
-The function type can be thought of as a function signature. It consists
-of a return type and a list of formal parameter types. The return type
-of a function type is a first class type or a void type.
+The function type can be thought of as a function signature. It consists of a
+return type and a list of formal parameter types. The return type of a function
+type is a void type or first class type --- except for :ref:`label <t_label>`
+and :ref:`metadata <t_metadata>` types.
Syntax:
"""""""
@@ -1764,11 +1765,11 @@ Syntax:
<returntype> (<parameter list>)
...where '``<parameter list>``' is a comma-separated list of type
-specifiers. Optionally, the parameter list may include a type ``...``,
-which indicates that the function takes a variable number of arguments.
-Variable argument functions can access their arguments with the
-:ref:`variable argument handling intrinsic <int_varargs>` functions.
-'``<returntype>``' is any type except :ref:`label <t_label>`.
+specifiers. Optionally, the parameter list may include a type ``...``, which
+indicates that the function takes a variable number of arguments. Variable
+argument functions can access their arguments with the :ref:`variable argument
+handling intrinsic <int_varargs>` functions. '``<returntype>``' is any type
+except :ref:`label <t_label>` and :ref:`metadata <t_metadata>`.
Examples:
"""""""""