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
This commit is contained in:
Bill Wendling 2013-10-27 04:19:29 +00:00
parent 88429cfb39
commit 09f8e132c8

View File

@ -1752,9 +1752,10 @@ Function Type
Overview: Overview:
""""""""" """""""""
The function type can be thought of as a function signature. It consists The function type can be thought of as a function signature. It consists of a
of a return type and a list of formal parameter types. The return type return type and a list of formal parameter types. The return type of a function
of a function type is a first class type or a void type. type is a void type or first class type --- except for :ref:`label <t_label>`
and :ref:`metadata <t_metadata>` types.
Syntax: Syntax:
""""""" """""""
@ -1764,11 +1765,11 @@ Syntax:
<returntype> (<parameter list>) <returntype> (<parameter list>)
...where '``<parameter list>``' is a comma-separated list of type ...where '``<parameter list>``' is a comma-separated list of type
specifiers. Optionally, the parameter list may include a type ``...``, specifiers. Optionally, the parameter list may include a type ``...``, which
which indicates that the function takes a variable number of arguments. indicates that the function takes a variable number of arguments. Variable
Variable argument functions can access their arguments with the argument functions can access their arguments with the :ref:`variable argument
:ref:`variable argument handling intrinsic <int_varargs>` functions. handling intrinsic <int_varargs>` functions. '``<returntype>``' is any type
'``<returntype>``' is any type except :ref:`label <t_label>`. except :ref:`label <t_label>` and :ref:`metadata <t_metadata>`.
Examples: Examples:
""""""""" """""""""