Fix .cpp files claiming to be header files

[oota-llvm.git] / docs / LangRef.rst

diff --git a/docs/LangRef.rst b/docs/LangRef.rst
index 434bcbe6655c9a9c9256cc9a287420bb01b78283..b75058fa9a5f50136180fe8f066ee69118a0abf8 100644 (file)
--- a/docs/LangRef.rst
+++ b/docs/LangRef.rst
@@ -117,8 +117,8 @@ And the hard way:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-    %0 = add i32 %X, %X           ; yields {i32}:%0
-    %1 = add i32 %0, %0           ; yields {i32}:%1
+    %0 = add i32 %X, %X           ; yields i32:%0
+    %1 = add i32 %0, %0           ; yields i32:%1

     %result = add i32 %1, %1
 
 This last way of multiplying ``%X`` by 8 illustrates several important
     %result = add i32 %1, %1
 
 This last way of multiplying ``%X`` by 8 illustrates several important


@@ -519,12 +519,14 @@ Global Variables
 Global variables define regions of memory allocated at compilation time
 instead of run-time.
 
 Global variables define regions of memory allocated at compilation time
 instead of run-time.
 

-Global variables definitions must be initialized, may have an explicit section
-to be placed in, and may have an optional explicit alignment specified.
+Global variables definitions must be initialized.

 
 Global variables in other translation units can also be declared, in which
 case they don't have an initializer.
 
 
 Global variables in other translation units can also be declared, in which
 case they don't have an initializer.
 

+Either global variable definitions or declarations may have an explicit section
+to be placed in and may have an optional explicit alignment specified.
+

 A variable may be defined as a global ``constant``, which indicates that
 the contents of the variable will **never** be modified (enabling better
 optimization, allowing the global data to be placed in the read-only
 A variable may be defined as a global ``constant``, which indicates that
 the contents of the variable will **never** be modified (enabling better
 optimization, allowing the global data to be placed in the read-only


@@ -589,8 +591,8 @@ Syntax::
 
     [@<GlobalVarName> =] [Linkage] [Visibility] [DLLStorageClass] [ThreadLocal]
                          [unnamed_addr] [AddrSpace] [ExternallyInitialized]
 
     [@<GlobalVarName> =] [Linkage] [Visibility] [DLLStorageClass] [ThreadLocal]
                          [unnamed_addr] [AddrSpace] [ExternallyInitialized]

-                         <global | constant> <Type> [<InitializerConstant>
-                         [, section "name"] [, align <Alignment>]]
+                         <global | constant> <Type> [<InitializerConstant>]
+                         [, section "name"] [, align <Alignment>]

 
 For example, the following defines a global in a numbered address space
 with an initializer, section, and alignment:
 
 For example, the following defines a global in a numbered address space
 with an initializer, section, and alignment:


@@ -2747,11 +2749,12 @@ number representing the maximum relative error, for example:
 '``range``' Metadata
 ^^^^^^^^^^^^^^^^^^^^
 
 '``range``' Metadata
 ^^^^^^^^^^^^^^^^^^^^
 

-``range`` metadata may be attached only to loads of integer types. It
-expresses the possible ranges the loaded value is in. The ranges are
-represented with a flattened list of integers. The loaded value is known
-to be in the union of the ranges defined by each consecutive pair. Each
-pair has the following properties:
+``range`` metadata may be attached only to ``load``, ``call`` and ``invoke`` of
+integer types. It expresses the possible ranges the loaded value or the value
+returned by the called function at this call site is in. The ranges are
+represented with a flattened list of integers. The loaded value or the value
+returned is known to be in the union of the ranges defined by each consecutive
+pair. Each pair has the following properties:

 
 -  The type must match the type loaded by the instruction.
 -  The pair ``a,b`` represents the range ``[a,b)``.
 
 -  The type must match the type loaded by the instruction.
 -  The pair ``a,b`` represents the range ``[a,b)``.


@@ -2769,8 +2772,9 @@ Examples:
 
       %a = load i8* %x, align 1, !range !0 ; Can only be 0 or 1
       %b = load i8* %y, align 1, !range !1 ; Can only be 255 (-1), 0 or 1
 
       %a = load i8* %x, align 1, !range !0 ; Can only be 0 or 1
       %b = load i8* %y, align 1, !range !1 ; Can only be 255 (-1), 0 or 1

-      %c = load i8* %z, align 1, !range !2 ; Can only be 0, 1, 3, 4 or 5
-      %d = load i8* %z, align 1, !range !3 ; Can only be -2, -1, 3, 4 or 5
+      %c = call i8 @foo(),       !range !2 ; Can only be 0, 1, 3, 4 or 5
+      %d = invoke i8 @bar() to label %cont
+             unwind label %lpad, !range !3 ; Can only be -2, -1, 3, 4 or 5

     ...
     !0 = metadata !{ i8 0, i8 2 }
     !1 = metadata !{ i8 255, i8 2 }
     ...
     !0 = metadata !{ i8 0, i8 2 }
     !1 = metadata !{ i8 255, i8 2 }


@@ -3575,9 +3579,9 @@ Example:
 .. code-block:: llvm
 
       %retval = invoke i32 @Test(i32 15) to label %Continue
 .. code-block:: llvm
 
       %retval = invoke i32 @Test(i32 15) to label %Continue

-                  unwind label %TestCleanup              ; {i32}:retval set
+                  unwind label %TestCleanup              ; i32:retval set

       %retval = invoke coldcc i32 %Testfnptr(i32 15) to label %Continue
       %retval = invoke coldcc i32 %Testfnptr(i32 15) to label %Continue

-                  unwind label %TestCleanup              ; {i32}:retval set
+                  unwind label %TestCleanup              ; i32:retval set

 
 .. _i_resume:
 
 
 .. _i_resume:
 


@@ -3666,10 +3670,10 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = add <ty> <op1>, <op2>          ; yields {ty}:result
-      <result> = add nuw <ty> <op1>, <op2>      ; yields {ty}:result
-      <result> = add nsw <ty> <op1>, <op2>      ; yields {ty}:result
-      <result> = add nuw nsw <ty> <op1>, <op2>  ; yields {ty}:result
+      <result> = add <ty> <op1>, <op2>          ; yields ty:result
+      <result> = add nuw <ty> <op1>, <op2>      ; yields ty:result
+      <result> = add nsw <ty> <op1>, <op2>      ; yields ty:result
+      <result> = add nuw nsw <ty> <op1>, <op2>  ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3705,7 +3709,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = add i32 4, %var          ; yields {i32}:result = 4 + %var
+      <result> = add i32 4, %var          ; yields i32:result = 4 + %var

 
 .. _i_fadd:
 
 
 .. _i_fadd:
 


@@ -3717,7 +3721,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = fadd [fast-math flags]* <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = fadd [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3744,7 +3748,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = fadd float 4.0, %var          ; yields {float}:result = 4.0 + %var
+      <result> = fadd float 4.0, %var          ; yields float:result = 4.0 + %var

 
 '``sub``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^
 
 '``sub``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^


@@ -3754,10 +3758,10 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = sub <ty> <op1>, <op2>          ; yields {ty}:result
-      <result> = sub nuw <ty> <op1>, <op2>      ; yields {ty}:result
-      <result> = sub nsw <ty> <op1>, <op2>      ; yields {ty}:result
-      <result> = sub nuw nsw <ty> <op1>, <op2>  ; yields {ty}:result
+      <result> = sub <ty> <op1>, <op2>          ; yields ty:result
+      <result> = sub nuw <ty> <op1>, <op2>      ; yields ty:result
+      <result> = sub nsw <ty> <op1>, <op2>      ; yields ty:result
+      <result> = sub nuw nsw <ty> <op1>, <op2>  ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3796,8 +3800,8 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = sub i32 4, %var          ; yields {i32}:result = 4 - %var
-      <result> = sub i32 0, %val          ; yields {i32}:result = -%var
+      <result> = sub i32 4, %var          ; yields i32:result = 4 - %var
+      <result> = sub i32 0, %val          ; yields i32:result = -%var

 
 .. _i_fsub:
 
 
 .. _i_fsub:
 


@@ -3809,7 +3813,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = fsub [fast-math flags]* <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = fsub [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3839,8 +3843,8 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = fsub float 4.0, %var           ; yields {float}:result = 4.0 - %var
-      <result> = fsub float -0.0, %val          ; yields {float}:result = -%var
+      <result> = fsub float 4.0, %var           ; yields float:result = 4.0 - %var
+      <result> = fsub float -0.0, %val          ; yields float:result = -%var

 
 '``mul``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^
 
 '``mul``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^


@@ -3850,10 +3854,10 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = mul <ty> <op1>, <op2>          ; yields {ty}:result
-      <result> = mul nuw <ty> <op1>, <op2>      ; yields {ty}:result
-      <result> = mul nsw <ty> <op1>, <op2>      ; yields {ty}:result
-      <result> = mul nuw nsw <ty> <op1>, <op2>  ; yields {ty}:result
+      <result> = mul <ty> <op1>, <op2>          ; yields ty:result
+      <result> = mul nuw <ty> <op1>, <op2>      ; yields ty:result
+      <result> = mul nsw <ty> <op1>, <op2>      ; yields ty:result
+      <result> = mul nuw nsw <ty> <op1>, <op2>  ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3893,7 +3897,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = mul i32 4, %var          ; yields {i32}:result = 4 * %var
+      <result> = mul i32 4, %var          ; yields i32:result = 4 * %var

 
 .. _i_fmul:
 
 
 .. _i_fmul:
 


@@ -3905,7 +3909,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = fmul [fast-math flags]* <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = fmul [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3932,7 +3936,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = fmul float 4.0, %var          ; yields {float}:result = 4.0 * %var
+      <result> = fmul float 4.0, %var          ; yields float:result = 4.0 * %var

 
 '``udiv``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^
 
 '``udiv``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^


@@ -3942,8 +3946,8 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = udiv <ty> <op1>, <op2>         ; yields {ty}:result
-      <result> = udiv exact <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = udiv <ty> <op1>, <op2>         ; yields ty:result
+      <result> = udiv exact <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -3976,7 +3980,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = udiv i32 4, %var          ; yields {i32}:result = 4 / %var
+      <result> = udiv i32 4, %var          ; yields i32:result = 4 / %var

 
 '``sdiv``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^
 
 '``sdiv``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^


@@ -3986,8 +3990,8 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = sdiv <ty> <op1>, <op2>         ; yields {ty}:result
-      <result> = sdiv exact <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = sdiv <ty> <op1>, <op2>         ; yields ty:result
+      <result> = sdiv exact <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4022,7 +4026,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = sdiv i32 4, %var          ; yields {i32}:result = 4 / %var
+      <result> = sdiv i32 4, %var          ; yields i32:result = 4 / %var

 
 .. _i_fdiv:
 
 
 .. _i_fdiv:
 


@@ -4034,7 +4038,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = fdiv [fast-math flags]* <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = fdiv [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4061,7 +4065,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = fdiv float 4.0, %var          ; yields {float}:result = 4.0 / %var
+      <result> = fdiv float 4.0, %var          ; yields float:result = 4.0 / %var

 
 '``urem``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^
 
 '``urem``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^


@@ -4071,7 +4075,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = urem <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = urem <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4103,7 +4107,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = urem i32 4, %var          ; yields {i32}:result = 4 % %var
+      <result> = urem i32 4, %var          ; yields i32:result = 4 % %var

 
 '``srem``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^
 
 '``srem``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^^


@@ -4113,7 +4117,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = srem <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = srem <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4158,7 +4162,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = srem i32 4, %var          ; yields {i32}:result = 4 % %var
+      <result> = srem i32 4, %var          ; yields i32:result = 4 % %var

 
 .. _i_frem:
 
 
 .. _i_frem:
 


@@ -4170,7 +4174,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = frem [fast-math flags]* <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = frem [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4198,7 +4202,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = frem float 4.0, %var          ; yields {float}:result = 4.0 % %var
+      <result> = frem float 4.0, %var          ; yields float:result = 4.0 % %var

 
 .. _bitwiseops:
 
 
 .. _bitwiseops:
 


@@ -4219,10 +4223,10 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = shl <ty> <op1>, <op2>           ; yields {ty}:result
-      <result> = shl nuw <ty> <op1>, <op2>       ; yields {ty}:result
-      <result> = shl nsw <ty> <op1>, <op2>       ; yields {ty}:result
-      <result> = shl nuw nsw <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = shl <ty> <op1>, <op2>           ; yields ty:result
+      <result> = shl nuw <ty> <op1>, <op2>       ; yields ty:result
+      <result> = shl nsw <ty> <op1>, <op2>       ; yields ty:result
+      <result> = shl nuw nsw <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4260,9 +4264,9 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = shl i32 4, %var   ; yields {i32}: 4 << %var
-      <result> = shl i32 4, 2      ; yields {i32}: 16
-      <result> = shl i32 1, 10     ; yields {i32}: 1024
+      <result> = shl i32 4, %var   ; yields i32: 4 << %var
+      <result> = shl i32 4, 2      ; yields i32: 16
+      <result> = shl i32 1, 10     ; yields i32: 1024

       <result> = shl i32 1, 32     ; undefined
       <result> = shl <2 x i32> < i32 1, i32 1>, < i32 1, i32 2>   ; yields: result=<2 x i32> < i32 2, i32 4>
 
       <result> = shl i32 1, 32     ; undefined
       <result> = shl <2 x i32> < i32 1, i32 1>, < i32 1, i32 2>   ; yields: result=<2 x i32> < i32 2, i32 4>
 


@@ -4274,8 +4278,8 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = lshr <ty> <op1>, <op2>         ; yields {ty}:result
-      <result> = lshr exact <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = lshr <ty> <op1>, <op2>         ; yields ty:result
+      <result> = lshr exact <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4309,10 +4313,10 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = lshr i32 4, 1   ; yields {i32}:result = 2
-      <result> = lshr i32 4, 2   ; yields {i32}:result = 1
-      <result> = lshr i8  4, 3   ; yields {i8}:result = 0
-      <result> = lshr i8 -2, 1   ; yields {i8}:result = 0x7F
+      <result> = lshr i32 4, 1   ; yields i32:result = 2
+      <result> = lshr i32 4, 2   ; yields i32:result = 1
+      <result> = lshr i8  4, 3   ; yields i8:result = 0
+      <result> = lshr i8 -2, 1   ; yields i8:result = 0x7F

       <result> = lshr i32 1, 32  ; undefined
       <result> = lshr <2 x i32> < i32 -2, i32 4>, < i32 1, i32 2>   ; yields: result=<2 x i32> < i32 0x7FFFFFFF, i32 1>
 
       <result> = lshr i32 1, 32  ; undefined
       <result> = lshr <2 x i32> < i32 -2, i32 4>, < i32 1, i32 2>   ; yields: result=<2 x i32> < i32 0x7FFFFFFF, i32 1>
 


@@ -4324,8 +4328,8 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = ashr <ty> <op1>, <op2>         ; yields {ty}:result
-      <result> = ashr exact <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = ashr <ty> <op1>, <op2>         ; yields ty:result
+      <result> = ashr exact <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4360,10 +4364,10 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = ashr i32 4, 1   ; yields {i32}:result = 2
-      <result> = ashr i32 4, 2   ; yields {i32}:result = 1
-      <result> = ashr i8  4, 3   ; yields {i8}:result = 0
-      <result> = ashr i8 -2, 1   ; yields {i8}:result = -1
+      <result> = ashr i32 4, 1   ; yields i32:result = 2
+      <result> = ashr i32 4, 2   ; yields i32:result = 1
+      <result> = ashr i8  4, 3   ; yields i8:result = 0
+      <result> = ashr i8 -2, 1   ; yields i8:result = -1

       <result> = ashr i32 1, 32  ; undefined
       <result> = ashr <2 x i32> < i32 -2, i32 4>, < i32 1, i32 3>   ; yields: result=<2 x i32> < i32 -1, i32 0>
 
       <result> = ashr i32 1, 32  ; undefined
       <result> = ashr <2 x i32> < i32 -2, i32 4>, < i32 1, i32 3>   ; yields: result=<2 x i32> < i32 -1, i32 0>
 


@@ -4375,7 +4379,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = and <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = and <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4412,9 +4416,9 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = and i32 4, %var         ; yields {i32}:result = 4 & %var
-      <result> = and i32 15, 40          ; yields {i32}:result = 8
-      <result> = and i32 4, 8            ; yields {i32}:result = 0
+      <result> = and i32 4, %var         ; yields i32:result = 4 & %var
+      <result> = and i32 15, 40          ; yields i32:result = 8
+      <result> = and i32 4, 8            ; yields i32:result = 0

 
 '``or``' Instruction
 ^^^^^^^^^^^^^^^^^^^^
 
 '``or``' Instruction
 ^^^^^^^^^^^^^^^^^^^^


@@ -4424,7 +4428,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = or <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = or <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4461,9 +4465,9 @@ Example:
 
 ::
 
 
 ::
 

-      <result> = or i32 4, %var         ; yields {i32}:result = 4 | %var
-      <result> = or i32 15, 40          ; yields {i32}:result = 47
-      <result> = or i32 4, 8            ; yields {i32}:result = 12
+      <result> = or i32 4, %var         ; yields i32:result = 4 | %var
+      <result> = or i32 15, 40          ; yields i32:result = 47
+      <result> = or i32 4, 8            ; yields i32:result = 12

 
 '``xor``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^
 
 '``xor``' Instruction
 ^^^^^^^^^^^^^^^^^^^^^


@@ -4473,7 +4477,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = xor <ty> <op1>, <op2>   ; yields {ty}:result
+      <result> = xor <ty> <op1>, <op2>   ; yields ty:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4511,10 +4515,10 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      <result> = xor i32 4, %var         ; yields {i32}:result = 4 ^ %var
-      <result> = xor i32 15, 40          ; yields {i32}:result = 39
-      <result> = xor i32 4, 8            ; yields {i32}:result = 12
-      <result> = xor i32 %V, -1          ; yields {i32}:result = ~%V
+      <result> = xor i32 4, %var         ; yields i32:result = 4 ^ %var
+      <result> = xor i32 15, 40          ; yields i32:result = 39
+      <result> = xor i32 4, 8            ; yields i32:result = 12
+      <result> = xor i32 %V, -1          ; yields i32:result = ~%V

 
 Vector Operations
 -----------------
 
 Vector Operations
 -----------------


@@ -4780,7 +4784,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = alloca [inalloca] <type> [, <ty> <NumElements>] [, align <alignment>]     ; yields {type*}:result
+      <result> = alloca [inalloca] <type> [, <ty> <NumElements>] [, align <alignment>]     ; yields type*:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4822,10 +4826,10 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      %ptr = alloca i32                             ; yields {i32*}:ptr
-      %ptr = alloca i32, i32 4                      ; yields {i32*}:ptr
-      %ptr = alloca i32, i32 4, align 1024          ; yields {i32*}:ptr
-      %ptr = alloca i32, align 1024                 ; yields {i32*}:ptr
+      %ptr = alloca i32                             ; yields i32*:ptr
+      %ptr = alloca i32, i32 4                      ; yields i32*:ptr
+      %ptr = alloca i32, i32 4, align 1024          ; yields i32*:ptr
+      %ptr = alloca i32, align 1024                 ; yields i32*:ptr

 
 .. _i_load:
 
 
 .. _i_load:
 


@@ -4908,9 +4912,9 @@ Examples:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      %ptr = alloca i32                               ; yields {i32*}:ptr
-      store i32 3, i32* %ptr                          ; yields {void}
-      %val = load i32* %ptr                           ; yields {i32}:val = i32 3
+      %ptr = alloca i32                               ; yields i32*:ptr
+      store i32 3, i32* %ptr                          ; yields void
+      %val = load i32* %ptr                           ; yields i32:val = i32 3

 
 .. _i_store:
 
 
 .. _i_store:
 


@@ -4922,8 +4926,8 @@ Syntax:
 
 ::
 
 
 ::
 

-      store [volatile] <ty> <value>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>]        ; yields {void}
-      store atomic [volatile] <ty> <value>, <ty>* <pointer> [singlethread] <ordering>, align <alignment>  ; yields {void}
+      store [volatile] <ty> <value>, <ty>* <pointer>[, align <alignment>][, !nontemporal !<index>]        ; yields void
+      store atomic [volatile] <ty> <value>, <ty>* <pointer> [singlethread] <ordering>, align <alignment>  ; yields void

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -4987,9 +4991,9 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      %ptr = alloca i32                               ; yields {i32*}:ptr
-      store i32 3, i32* %ptr                          ; yields {void}
-      %val = load i32* %ptr                           ; yields {i32}:val = i32 3
+      %ptr = alloca i32                               ; yields i32*:ptr
+      store i32 3, i32* %ptr                          ; yields void
+      %val = load i32* %ptr                           ; yields i32:val = i32 3

 
 .. _i_fence:
 
 
 .. _i_fence:
 


@@ -5001,7 +5005,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      fence [singlethread] <ordering>                   ; yields {void}
+      fence [singlethread] <ordering>                   ; yields void

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -5044,8 +5048,8 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      fence acquire                          ; yields {void}
-      fence singlethread seq_cst             ; yields {void}
+      fence acquire                          ; yields void
+      fence singlethread seq_cst             ; yields void

 
 .. _i_cmpxchg:
 
 
 .. _i_cmpxchg:
 


@@ -5057,14 +5061,14 @@ Syntax:
 
 ::
 
 
 ::
 

-      cmpxchg [volatile] <ty>* <pointer>, <ty> <cmp>, <ty> <new> [singlethread] <success ordering> <failure ordering> ; yields {ty}
+      cmpxchg [weak] [volatile] <ty>* <pointer>, <ty> <cmp>, <ty> <new> [singlethread] <success ordering> <failure ordering> ; yields  { ty, i1 }

 
 Overview:
 """""""""
 
 The '``cmpxchg``' instruction is used to atomically modify memory. It
 loads a value in memory and compares it to a given value. If they are
 
 Overview:
 """""""""
 
 The '``cmpxchg``' instruction is used to atomically modify memory. It
 loads a value in memory and compares it to a given value. If they are

-equal, it stores a new value into the memory.
+equal, it tries to store a new value into the memory.

 
 Arguments:
 """"""""""
 
 Arguments:
 """"""""""


@@ -5081,10 +5085,10 @@ to modify the number or order of execution of this ``cmpxchg`` with
 other :ref:`volatile operations <volatile>`.
 
 The success and failure :ref:`ordering <ordering>` arguments specify how this
 other :ref:`volatile operations <volatile>`.
 
 The success and failure :ref:`ordering <ordering>` arguments specify how this

-``cmpxchg`` synchronizes with other atomic operations. The both ordering
-parameters must be at least ``monotonic``, the ordering constraint on failure
-must be no stronger than that on success, and the failure ordering cannot be
-either ``release`` or ``acq_rel``.
+``cmpxchg`` synchronizes with other atomic operations. Both ordering parameters
+must be at least ``monotonic``, the ordering constraint on failure must be no
+stronger than that on success, and the failure ordering cannot be either
+``release`` or ``acq_rel``.

 
 The optional "``singlethread``" argument declares that the ``cmpxchg``
 is only atomic with respect to code (usually signal handlers) running in
 
 The optional "``singlethread``" argument declares that the ``cmpxchg``
 is only atomic with respect to code (usually signal handlers) running in


@@ -5097,10 +5101,17 @@ equal to the size in memory of the operand.
 Semantics:
 """"""""""
 
 Semantics:
 """"""""""
 

-The contents of memory at the location specified by the '``<pointer>``'
-operand is read and compared to '``<cmp>``'; if the read value is the
-equal, '``<new>``' is written. The original value at the location is
-returned.
+The contents of memory at the location specified by the '``<pointer>``' operand
+is read and compared to '``<cmp>``'; if the read value is the equal, the
+'``<new>``' is written. The original value at the location is returned, together
+with a flag indicating success (true) or failure (false).
+
+If the cmpxchg operation is marked as ``weak`` then a spurious failure is
+permitted: the operation may not write ``<new>`` even if the comparison
+matched.
+
+If the cmpxchg operation is strong (the default), the i1 value is 1 if and only
+if the value loaded equals ``cmp``.

 
 A successful ``cmpxchg`` is a read-modify-write instruction for the purpose of
 identifying release sequences. A failed ``cmpxchg`` is equivalent to an atomic
 
 A successful ``cmpxchg`` is a read-modify-write instruction for the purpose of
 identifying release sequences. A failed ``cmpxchg`` is equivalent to an atomic


@@ -5112,14 +5123,15 @@ Example:
 .. code-block:: llvm
 
     entry:
 .. code-block:: llvm
 
     entry:

-      %orig = atomic load i32* %ptr unordered                   ; yields {i32}
+      %orig = atomic load i32* %ptr unordered                   ; yields i32

       br label %loop
 
     loop:
       %cmp = phi i32 [ %orig, %entry ], [%old, %loop]
       %squared = mul i32 %cmp, %cmp
       br label %loop
 
     loop:
       %cmp = phi i32 [ %orig, %entry ], [%old, %loop]
       %squared = mul i32 %cmp, %cmp

-      %old = cmpxchg i32* %ptr, i32 %cmp, i32 %squared acq_rel monotonic ; yields {i32}
-      %success = icmp eq i32 %cmp, %old
+      %val_success = cmpxchg i32* %ptr, i32 %cmp, i32 %squared acq_rel monotonic ; yields  { i32, i1 }
+      %value_loaded = extractvalue { i32, i1 } %val_success, 0
+      %success = extractvalue { i32, i1 } %val_success, 1

       br i1 %success, label %done, label %loop
 
     done:
       br i1 %success, label %done, label %loop
 
     done:


@@ -5135,7 +5147,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      atomicrmw [volatile] <operation> <ty>* <pointer>, <ty> <value> [singlethread] <ordering>                   ; yields {ty}
+      atomicrmw [volatile] <operation> <ty>* <pointer>, <ty> <value> [singlethread] <ordering>                   ; yields ty

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -5196,7 +5208,7 @@ Example:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      %old = atomicrmw add i32* %ptr, i32 1 acquire                        ; yields {i32}
+      %old = atomicrmw add i32* %ptr, i32 1 acquire                        ; yields i32

 
 .. _i_getelementptr:
 
 
 .. _i_getelementptr:
 


@@ -5930,7 +5942,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = icmp <cond> <ty> <op1>, <op2>   ; yields {i1} or {<N x i1>}:result
+      <result> = icmp <cond> <ty> <op1>, <op2>   ; yields i1 or <N x i1>:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -6021,7 +6033,7 @@ Syntax:
 
 ::
 
 
 ::
 

-      <result> = fcmp <cond> <ty> <op1>, <op2>     ; yields {i1} or {<N x i1>}:result
+      <result> = fcmp <cond> <ty> <op1>, <op2>     ; yields i1 or <N x i1>:result

 
 Overview:
 """""""""
 
 Overview:
 """""""""


@@ -6326,7 +6338,7 @@ Example:
       call void %foo(i8 97 signext)
 
       %struct.A = type { i32, i8 }
       call void %foo(i8 97 signext)
 
       %struct.A = type { i32, i8 }

-      %r = call %struct.A @foo()                        ; yields { 32, i8 }
+      %r = call %struct.A @foo()                        ; yields { i32, i8 }

       %gr = extractvalue %struct.A %r, 0                ; yields i32
       %gr1 = extractvalue %struct.A %r, 1               ; yields i8
       %Z = call void @foo() noreturn                    ; indicates that %foo never returns normally
       %gr = extractvalue %struct.A %r, 0                ; yields i32
       %gr1 = extractvalue %struct.A %r, 1               ; yields i8
       %Z = call void @foo() noreturn                    ; indicates that %foo never returns normally


@@ -8488,7 +8500,7 @@ Examples:
 
 .. code-block:: llvm
 
 
 .. code-block:: llvm
 

-      %r2 = call float @llvm.fmuladd.f32(float %a, float %b, float %c) ; yields {float}:r2 = (a * b) + c
+      %r2 = call float @llvm.fmuladd.f32(float %a, float %b, float %c) ; yields float:r2 = (a * b) + c

 
 Half Precision Floating Point Intrinsics
 ----------------------------------------
 
 Half Precision Floating Point Intrinsics
 ----------------------------------------