const.md

const (declare vector constant)

Declares a vector constant value (of type v128), placing it on the stack [^§4.4.1.1]

$$ \mathsf{v128.const} \enspace const_\mathsf{v128} \enspace ( \enspace ) \to \mathsf{v128} $$

In WAT, the $const_\mathsf{v128}$ immediate can be declared in multiple different shapes, each taking the form of a shape identifier keyword followed by a value to populate each lane of the vector.

$$ const_\mathsf{v128} ::= \begin{cases} \mathsf{i8x16} \enspace \mathsf{i8}_1, \mathsf{i8}2, ..., \mathsf{i8}{16} &\text{or}\ \mathsf{i16x8} \enspace \mathsf{i16}_1, \mathsf{i16}2, ..., \mathsf{i16}{8} &\text{or}\ \mathsf{i32x4} \enspace \mathsf{i32}1, \mathsf{i32}2, \mathsf{i32}{3}, \mathsf{i32}{4} &\text{or}\ \mathsf{i64x2} \enspace \mathsf{i64}_1, \mathsf{i64}_2 &\text{or}\ \mathsf{f32x4} \enspace \mathsf{f32}1, \mathsf{f32}2, \mathsf{f32}{3}, \mathsf{f32}{4} &\text{or}\ \mathsf{f64x2} \enspace \mathsf{f64}_1, \mathsf{f64}_2 \end{cases}

$$

Instructions

Opcode	Instruction	Immediates	Stack Arity
0xFD 12	v128.const	$\mathsf{v128}$	$[ ] \to [ \mathsf{v128} ]$

!!! {.info} For numeric values, see t.const !!!

WAT Examples

Defining different shapes of vectors

v128.const i8x16 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32

v128.const i16x8 2 4 6 8 10 12 14 16

v128.const i32x4 2 4 6 8

v128.const i64x2 2 4

v128.const f32x4 2.1 4.2 6.3 8.4

v128.const f64x2 2.1 4.2

References