Merge pull request #489 from WebAssembly/select-operand-order

Reorder select's operands to put the condition last.

1 files changed, 7 insertions, 6 deletions

diff --git a/AstSemantics.md b/AstSemantics.md
index 5ef7af2..f0f3290 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -251,8 +251,6 @@ a value and may appear as children of other expressions.
 ### Branches and nesting
 
 The `br` and `br_if` constructs express low-level branching.
-Branches that exit a `block`, `loop`, or `tableswitch` may take a subexpression
-that yields a value for the exited construct.
 Branches may only reference labels defined by an outer *enclosing construct*.
 This means that, for example, references to a `block`'s label can only occur 
 within the `block`'s body.
@@ -265,6 +263,10 @@ further see the parallel, note that a `br` to a `block`'s label is functionally
 equivalent to a labeled `break` in high-level languages in that a `br` simply
 breaks out of a `block`.
 
+Branches that exit a `block`, `loop`, or `tableswitch` may take a subexpression
+that yields a value for the exited construct. If present, it is the first operand
+before any others.
+
 ### Yielding values from control constructs
 
 The `nop`, `if`, `br`, `br_if`, `case`, and `return` constructs do not yield values.
@@ -561,10 +563,9 @@ outside the range which rounds to an integer in range) traps.
 
 ## Type-parameterized operators.
 
-  * `select`: a ternary operator with a boolean (i32) condition and two
-    additional operands, which must have the same type as each other. `select`
-    returns the the first of these two operands if the condition operand is
-    non-zero, or the second otherwise.
+  * `select`: a ternary operator with two operands, which have the same type as
+    each other, plus a boolean (i32) condition. `select` returns the first
+    operand if the condition operand is non-zero, or the second otherwise.
 
 ## Feature test