diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-12-02 10:29:30 -0800 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-12-02 10:29:30 -0800 |
| commit | 1bfcecb88a6aa5a8c0a95e8a1aadf20adba66486 (patch) | |
| tree | fa193ba4f5c5f8ac87096d612313d978df88cf59 /AstSemantics.md | |
| parent | b621477e213c9ad8e276239e1f7c44aea85fe55b (diff) | |
| download | nanowasm-design-1bfcecb88a6aa5a8c0a95e8a1aadf20adba66486.tar.gz | |
Reorder select's operands to put the condition last.
Diffstat (limited to 'AstSemantics.md')
| -rw-r--r-- | AstSemantics.md | 7 |
1 files changed, 3 insertions, 4 deletions
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 |
