diff --git a/docs/LangRef.html b/docs/LangRef.html index 7796126b62d..bacc3a3fa06 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1799,10 +1799,10 @@ returns a value and then causes control flow, and one that just causes control flow to occur.

Arguments:

The 'ret' instruction may return one or multiple values. The -type of each return value must be 'first class' - type. Notice that a function is not well formed +type of each return value must be a 'first class' + type. Note that a function is not well formed if there exists a 'ret' instruction inside of the function that -returns values that does not match the return type of the function.

+returns values that do not match the return type of the function.

Semantics:

When the 'ret' instruction is executed, control flow returns back to the calling function's context. If the caller is a "getresult -' insctruction.

+values can only be accessed through a 'getresult +' instruction.

Example:
  ret i32 5                       ; Return an integer value of 5
   ret void                        ; Return from a void function
@@ -1928,8 +1928,8 @@ function, with the possibility of control flow transfer to either the
 "normal" label.  If the callee (or any indirect callees) returns with the "unwind" instruction, control is interrupted and
 continued at the dynamically nearest "exception" label. If the callee function 
-returns multiple values then individual return values are accessed only through 
-'getresult' instruction.

+returns multiple values then individual return values are only accessible through +a 'getresult' instruction.

Arguments:
@@ -3818,8 +3818,8 @@ the specified values. Upon a 'ret' instruction in the called function, control flow continues with the instruction after the function call, and the return value of the function is bound to the result argument. If the 'ret -' instruction returns multiple values then the return value of the -function is only accessed through 'getresult +' instruction returns multiple values then the return values of the +function are only accessible through a 'getresult ' instruction. This is a simpler case of the invoke instruction.

@@ -3902,18 +3902,18 @@ argument.

Overview:

The 'getresult' instruction is used to extract individual values -from multiple values returned by 'call' +from multiple values returned by a 'call' or 'invoke' instruction.

Arguments:
-The 'getresult' instruction takes return value as first argument. The -value must have structure type. The second argument -is unsigned index value. +The 'getresult' instruction takes a return value as first argument. +The value must have structure type. The second argument +is an unsigned index value.
Semantics:
-The 'getresult' instruction extracts element identified by +The 'getresult' instruction extracts the element identified by 'index' from the aggregate value.
Example: