Skip to content

Commit 28c3c7a

Browse files
authored
[spec] Fix informal description of select's type annotation
1 parent ea3e55e commit 28c3c7a

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

document/core/syntax/instructions.rst

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -459,7 +459,8 @@ Instructions in this group can operate on operands of any :ref:`value type <synt
459459
The |DROP| instruction simply throws away a single operand.
460460

461461
The |SELECT| instruction selects one of its first two operands based on whether its third operand is zero or not.
462-
It may include a :ref:`value type <syntax-valtype>` determining the type of these operands. If missing, the operands must be of :ref:`numeric type <syntax-numtype>`.
462+
It may include a :ref:`value type <syntax-valtype>` determining the type of these operands.
463+
If missing, the operands must be of :ref:`numeric <syntax-numtype>` or :ref:`vector <syntax-vectype>` type.
463464

464465
.. note::
465466
In future versions of WebAssembly, the type annotation on |SELECT| may allow for more than a single value being selected at the same time.

0 commit comments

Comments
 (0)