From: Bill Wendling Date: Sun, 27 Oct 2013 04:19:29 +0000 (+0000) Subject: Update to specify that both metadata and label types aren't proper return types. X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=09f8e132c83e0c30ebc37c1cab0e9922fe27df0b;hp=88429cfb39df6f62e521968ba0b2780f38a261d9;p=oota-llvm.git 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 --- diff --git a/docs/LangRef.rst b/docs/LangRef.rst index b75c6b1b80f..e81fda43ce0 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 ` +and :ref:`metadata ` types. Syntax: """"""" @@ -1764,11 +1765,11 @@ Syntax: () ...where '````' 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 ` functions. -'````' is any type except :ref:`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 ` functions. '````' is any type +except :ref:`label ` and :ref:`metadata `. Examples: """""""""