From 1bfcecb88a6aa5a8c0a95e8a1aadf20adba66486 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Wed, 2 Dec 2015 10:29:30 -0800 Subject: Reorder select's operands to put the condition last. --- AstSemantics.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'AstSemantics.md') diff --git a/AstSemantics.md b/AstSemantics.md index 43d562a..9020337 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -550,10 +550,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 -- cgit v1.2.3