# Index of Instructions¶

Instruction

Binary Opcode

Type

Validation

Execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{unreachable}}$$

$$\def\mathdef276#1{\mathtt{0x#1}}\mathdef276{00}$$

$$[t_1^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{nop}}$$

$$\def\mathdef277#1{\mathtt{0x#1}}\mathdef277{01}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{block}}~\mathit{bt}$$

$$\def\mathdef278#1{\mathtt{0x#1}}\mathdef278{02}$$

$$[t_1^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{loop}}~\mathit{bt}$$

$$\def\mathdef279#1{\mathtt{0x#1}}\mathdef279{03}$$

$$[t_1^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{if}}~\mathit{bt}$$

$$\def\mathdef280#1{\mathtt{0x#1}}\mathdef280{04}$$

$$[t_1^\ast~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{else}}$$

$$\def\mathdef281#1{\mathtt{0x#1}}\mathdef281{05}$$

(reserved)

$$\def\mathdef282#1{\mathtt{0x#1}}\mathdef282{06}$$

(reserved)

$$\def\mathdef283#1{\mathtt{0x#1}}\mathdef283{07}$$

(reserved)

$$\def\mathdef284#1{\mathtt{0x#1}}\mathdef284{08}$$

(reserved)

$$\def\mathdef285#1{\mathtt{0x#1}}\mathdef285{09}$$

(reserved)

$$\def\mathdef286#1{\mathtt{0x#1}}\mathdef286{0A}$$

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{end}}$$

$$\def\mathdef287#1{\mathtt{0x#1}}\mathdef287{0B}$$

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{br}}~l$$

$$\def\mathdef288#1{\mathtt{0x#1}}\mathdef288{0C}$$

$$[t_1^\ast~t^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{br\_if}}~l$$

$$\def\mathdef289#1{\mathtt{0x#1}}\mathdef289{0D}$$

$$[t^\ast~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{br\_table}}~l^\ast~l$$

$$\def\mathdef290#1{\mathtt{0x#1}}\mathdef290{0E}$$

$$[t_1^\ast~t^\ast~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{return}}$$

$$\def\mathdef291#1{\mathtt{0x#1}}\mathdef291{0F}$$

$$[t_1^\ast~t^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{call}}~x$$

$$\def\mathdef292#1{\mathtt{0x#1}}\mathdef292{10}$$

$$[t_1^\ast] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{call\_indirect}}~x~y$$

$$\def\mathdef293#1{\mathtt{0x#1}}\mathdef293{11}$$

$$[t_1^\ast~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t_2^\ast]$$

validation

execution

(reserved)

$$\def\mathdef294#1{\mathtt{0x#1}}\mathdef294{12}$$

(reserved)

$$\def\mathdef295#1{\mathtt{0x#1}}\mathdef295{13}$$

(reserved)

$$\def\mathdef296#1{\mathtt{0x#1}}\mathdef296{14}$$

(reserved)

$$\def\mathdef297#1{\mathtt{0x#1}}\mathdef297{15}$$

(reserved)

$$\def\mathdef298#1{\mathtt{0x#1}}\mathdef298{16}$$

(reserved)

$$\def\mathdef299#1{\mathtt{0x#1}}\mathdef299{17}$$

(reserved)

$$\def\mathdef300#1{\mathtt{0x#1}}\mathdef300{18}$$

(reserved)

$$\def\mathdef301#1{\mathtt{0x#1}}\mathdef301{19}$$

$$\href{../syntax/instructions.html#syntax-instr-parametric}{\mathsf{drop}}$$

$$\def\mathdef302#1{\mathtt{0x#1}}\mathdef302{1A}$$

$$[t] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-parametric}{\mathsf{select}}$$

$$\def\mathdef303#1{\mathtt{0x#1}}\mathdef303{1B}$$

$$[t~t~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-parametric}{\mathsf{select}}~t$$

$$\def\mathdef304#1{\mathtt{0x#1}}\mathdef304{1C}$$

$$[t~t~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

(reserved)

$$\def\mathdef305#1{\mathtt{0x#1}}\mathdef305{1D}$$

(reserved)

$$\def\mathdef306#1{\mathtt{0x#1}}\mathdef306{1E}$$

(reserved)

$$\def\mathdef307#1{\mathtt{0x#1}}\mathdef307{1F}$$

$$\href{../syntax/instructions.html#syntax-instr-variable}{\mathsf{local.get}}~x$$

$$\def\mathdef308#1{\mathtt{0x#1}}\mathdef308{20}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-variable}{\mathsf{local.set}}~x$$

$$\def\mathdef309#1{\mathtt{0x#1}}\mathdef309{21}$$

$$[t] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-variable}{\mathsf{local.tee}}~x$$

$$\def\mathdef310#1{\mathtt{0x#1}}\mathdef310{22}$$

$$[t] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-variable}{\mathsf{global.get}}~x$$

$$\def\mathdef311#1{\mathtt{0x#1}}\mathdef311{23}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-variable}{\mathsf{global.set}}~x$$

$$\def\mathdef312#1{\mathtt{0x#1}}\mathdef312{24}$$

$$[t] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.get}}~x$$

$$\def\mathdef313#1{\mathtt{0x#1}}\mathdef313{25}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.set}}~x$$

$$\def\mathdef314#1{\mathtt{0x#1}}\mathdef314{26}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~t] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

(reserved)

$$\def\mathdef315#1{\mathtt{0x#1}}\mathdef315{27}$$

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef316#1{\mathtt{0x#1}}\mathdef316{28}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef317#1{\mathtt{0x#1}}\mathdef317{29}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef318#1{\mathtt{0x#1}}\mathdef318{2A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef319#1{\mathtt{0x#1}}\mathdef319{2B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef320#1{\mathtt{0x#1}}\mathdef320{2C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef321#1{\mathtt{0x#1}}\mathdef321{2D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef322#1{\mathtt{0x#1}}\mathdef322{2E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef323#1{\mathtt{0x#1}}\mathdef323{2F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef324#1{\mathtt{0x#1}}\mathdef324{30}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef325#1{\mathtt{0x#1}}\mathdef325{31}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef326#1{\mathtt{0x#1}}\mathdef326{32}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef327#1{\mathtt{0x#1}}\mathdef327{33}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef328#1{\mathtt{0x#1}}\mathdef328{34}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef329#1{\mathtt{0x#1}}\mathdef329{35}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef330#1{\mathtt{0x#1}}\mathdef330{36}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef331#1{\mathtt{0x#1}}\mathdef331{37}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef332#1{\mathtt{0x#1}}\mathdef332{38}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef333#1{\mathtt{0x#1}}\mathdef333{39}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{8}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef334#1{\mathtt{0x#1}}\mathdef334{3A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{16}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef335#1{\mathtt{0x#1}}\mathdef335{3B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{8}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef336#1{\mathtt{0x#1}}\mathdef336{3C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{16}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef337#1{\mathtt{0x#1}}\mathdef337{3D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{32}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef338#1{\mathtt{0x#1}}\mathdef338{3E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{memory.size}}$$

$$\def\mathdef339#1{\mathtt{0x#1}}\mathdef339{3F}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{memory.grow}}$$

$$\def\mathdef340#1{\mathtt{0x#1}}\mathdef340{40}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{const}}~\href{../syntax/values.html#syntax-int}{\mathit{i32}}$$

$$\def\mathdef341#1{\mathtt{0x#1}}\mathdef341{41}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{const}}~\href{../syntax/values.html#syntax-int}{\mathit{i64}}$$

$$\def\mathdef342#1{\mathtt{0x#1}}\mathdef342{42}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{const}}~\href{../syntax/values.html#syntax-float}{\mathit{f32}}$$

$$\def\mathdef343#1{\mathtt{0x#1}}\mathdef343{43}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{const}}~\href{../syntax/values.html#syntax-float}{\mathit{f64}}$$

$$\def\mathdef344#1{\mathtt{0x#1}}\mathdef344{44}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{eqz}}$$

$$\def\mathdef345#1{\mathtt{0x#1}}\mathdef345{45}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{eq}}$$

$$\def\mathdef346#1{\mathtt{0x#1}}\mathdef346{46}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ne}}$$

$$\def\mathdef347#1{\mathtt{0x#1}}\mathdef347{47}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{lt}}\mathsf{\_s}$$

$$\def\mathdef348#1{\mathtt{0x#1}}\mathdef348{48}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{lt}}\mathsf{\_u}$$

$$\def\mathdef349#1{\mathtt{0x#1}}\mathdef349{49}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{gt}}\mathsf{\_s}$$

$$\def\mathdef350#1{\mathtt{0x#1}}\mathdef350{4A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{gt}}\mathsf{\_u}$$

$$\def\mathdef351#1{\mathtt{0x#1}}\mathdef351{4B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{le}}\mathsf{\_s}$$

$$\def\mathdef352#1{\mathtt{0x#1}}\mathdef352{4C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{le}}\mathsf{\_u}$$

$$\def\mathdef353#1{\mathtt{0x#1}}\mathdef353{4D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ge}}\mathsf{\_s}$$

$$\def\mathdef354#1{\mathtt{0x#1}}\mathdef354{4E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ge}}\mathsf{\_u}$$

$$\def\mathdef355#1{\mathtt{0x#1}}\mathdef355{4F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{eqz}}$$

$$\def\mathdef356#1{\mathtt{0x#1}}\mathdef356{50}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{eq}}$$

$$\def\mathdef357#1{\mathtt{0x#1}}\mathdef357{51}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ne}}$$

$$\def\mathdef358#1{\mathtt{0x#1}}\mathdef358{52}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{lt}}\mathsf{\_s}$$

$$\def\mathdef359#1{\mathtt{0x#1}}\mathdef359{53}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{lt}}\mathsf{\_u}$$

$$\def\mathdef360#1{\mathtt{0x#1}}\mathdef360{54}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{gt}}\mathsf{\_s}$$

$$\def\mathdef361#1{\mathtt{0x#1}}\mathdef361{55}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{gt}}\mathsf{\_u}$$

$$\def\mathdef362#1{\mathtt{0x#1}}\mathdef362{56}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{le}}\mathsf{\_s}$$

$$\def\mathdef363#1{\mathtt{0x#1}}\mathdef363{57}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{le}}\mathsf{\_u}$$

$$\def\mathdef364#1{\mathtt{0x#1}}\mathdef364{58}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ge}}\mathsf{\_s}$$

$$\def\mathdef365#1{\mathtt{0x#1}}\mathdef365{59}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ge}}\mathsf{\_u}$$

$$\def\mathdef366#1{\mathtt{0x#1}}\mathdef366{5A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{eq}}$$

$$\def\mathdef367#1{\mathtt{0x#1}}\mathdef367{5B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ne}}$$

$$\def\mathdef368#1{\mathtt{0x#1}}\mathdef368{5C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{lt}}$$

$$\def\mathdef369#1{\mathtt{0x#1}}\mathdef369{5D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{gt}}$$

$$\def\mathdef370#1{\mathtt{0x#1}}\mathdef370{5E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{le}}$$

$$\def\mathdef371#1{\mathtt{0x#1}}\mathdef371{5F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ge}}$$

$$\def\mathdef372#1{\mathtt{0x#1}}\mathdef372{60}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{eq}}$$

$$\def\mathdef373#1{\mathtt{0x#1}}\mathdef373{61}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ne}}$$

$$\def\mathdef374#1{\mathtt{0x#1}}\mathdef374{62}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{lt}}$$

$$\def\mathdef375#1{\mathtt{0x#1}}\mathdef375{63}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{gt}}$$

$$\def\mathdef376#1{\mathtt{0x#1}}\mathdef376{64}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{le}}$$

$$\def\mathdef377#1{\mathtt{0x#1}}\mathdef377{65}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ge}}$$

$$\def\mathdef378#1{\mathtt{0x#1}}\mathdef378{66}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{clz}}$$

$$\def\mathdef379#1{\mathtt{0x#1}}\mathdef379{67}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ctz}}$$

$$\def\mathdef380#1{\mathtt{0x#1}}\mathdef380{68}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{popcnt}}$$

$$\def\mathdef381#1{\mathtt{0x#1}}\mathdef381{69}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{add}}$$

$$\def\mathdef382#1{\mathtt{0x#1}}\mathdef382{6A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{sub}}$$

$$\def\mathdef383#1{\mathtt{0x#1}}\mathdef383{6B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{mul}}$$

$$\def\mathdef384#1{\mathtt{0x#1}}\mathdef384{6C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{div}}\mathsf{\_s}$$

$$\def\mathdef385#1{\mathtt{0x#1}}\mathdef385{6D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{div}}\mathsf{\_u}$$

$$\def\mathdef386#1{\mathtt{0x#1}}\mathdef386{6E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rem}}\mathsf{\_s}$$

$$\def\mathdef387#1{\mathtt{0x#1}}\mathdef387{6F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rem}}\mathsf{\_u}$$

$$\def\mathdef388#1{\mathtt{0x#1}}\mathdef388{70}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{and}}$$

$$\def\mathdef389#1{\mathtt{0x#1}}\mathdef389{71}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{or}}$$

$$\def\mathdef390#1{\mathtt{0x#1}}\mathdef390{72}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{xor}}$$

$$\def\mathdef391#1{\mathtt{0x#1}}\mathdef391{73}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{shl}}$$

$$\def\mathdef392#1{\mathtt{0x#1}}\mathdef392{74}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{shr}}\mathsf{\_s}$$

$$\def\mathdef393#1{\mathtt{0x#1}}\mathdef393{75}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{shr}}\mathsf{\_u}$$

$$\def\mathdef394#1{\mathtt{0x#1}}\mathdef394{76}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rotl}}$$

$$\def\mathdef395#1{\mathtt{0x#1}}\mathdef395{77}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rotr}}$$

$$\def\mathdef396#1{\mathtt{0x#1}}\mathdef396{78}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{clz}}$$

$$\def\mathdef397#1{\mathtt{0x#1}}\mathdef397{79}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ctz}}$$

$$\def\mathdef398#1{\mathtt{0x#1}}\mathdef398{7A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{popcnt}}$$

$$\def\mathdef399#1{\mathtt{0x#1}}\mathdef399{7B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{add}}$$

$$\def\mathdef400#1{\mathtt{0x#1}}\mathdef400{7C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{sub}}$$

$$\def\mathdef401#1{\mathtt{0x#1}}\mathdef401{7D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{mul}}$$

$$\def\mathdef402#1{\mathtt{0x#1}}\mathdef402{7E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{div}}\mathsf{\_s}$$

$$\def\mathdef403#1{\mathtt{0x#1}}\mathdef403{7F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{div}}\mathsf{\_u}$$

$$\def\mathdef404#1{\mathtt{0x#1}}\mathdef404{80}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rem}}\mathsf{\_s}$$

$$\def\mathdef405#1{\mathtt{0x#1}}\mathdef405{81}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rem}}\mathsf{\_u}$$

$$\def\mathdef406#1{\mathtt{0x#1}}\mathdef406{82}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{and}}$$

$$\def\mathdef407#1{\mathtt{0x#1}}\mathdef407{83}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{or}}$$

$$\def\mathdef408#1{\mathtt{0x#1}}\mathdef408{84}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{xor}}$$

$$\def\mathdef409#1{\mathtt{0x#1}}\mathdef409{85}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{shl}}$$

$$\def\mathdef410#1{\mathtt{0x#1}}\mathdef410{86}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{shr}}\mathsf{\_s}$$

$$\def\mathdef411#1{\mathtt{0x#1}}\mathdef411{87}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{shr}}\mathsf{\_u}$$

$$\def\mathdef412#1{\mathtt{0x#1}}\mathdef412{88}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rotl}}$$

$$\def\mathdef413#1{\mathtt{0x#1}}\mathdef413{89}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{rotr}}$$

$$\def\mathdef414#1{\mathtt{0x#1}}\mathdef414{8A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{abs}}$$

$$\def\mathdef415#1{\mathtt{0x#1}}\mathdef415{8B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{neg}}$$

$$\def\mathdef416#1{\mathtt{0x#1}}\mathdef416{8C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ceil}}$$

$$\def\mathdef417#1{\mathtt{0x#1}}\mathdef417{8D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{floor}}$$

$$\def\mathdef418#1{\mathtt{0x#1}}\mathdef418{8E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}$$

$$\def\mathdef419#1{\mathtt{0x#1}}\mathdef419{8F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{nearest}}$$

$$\def\mathdef420#1{\mathtt{0x#1}}\mathdef420{90}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{sqrt}}$$

$$\def\mathdef421#1{\mathtt{0x#1}}\mathdef421{91}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{add}}$$

$$\def\mathdef422#1{\mathtt{0x#1}}\mathdef422{92}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{sub}}$$

$$\def\mathdef423#1{\mathtt{0x#1}}\mathdef423{93}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{mul}}$$

$$\def\mathdef424#1{\mathtt{0x#1}}\mathdef424{94}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{div}}$$

$$\def\mathdef425#1{\mathtt{0x#1}}\mathdef425{95}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{min}}$$

$$\def\mathdef426#1{\mathtt{0x#1}}\mathdef426{96}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{max}}$$

$$\def\mathdef427#1{\mathtt{0x#1}}\mathdef427{97}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{copysign}}$$

$$\def\mathdef428#1{\mathtt{0x#1}}\mathdef428{98}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{abs}}$$

$$\def\mathdef429#1{\mathtt{0x#1}}\mathdef429{99}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{neg}}$$

$$\def\mathdef430#1{\mathtt{0x#1}}\mathdef430{9A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{ceil}}$$

$$\def\mathdef431#1{\mathtt{0x#1}}\mathdef431{9B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{floor}}$$

$$\def\mathdef432#1{\mathtt{0x#1}}\mathdef432{9C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}$$

$$\def\mathdef433#1{\mathtt{0x#1}}\mathdef433{9D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{nearest}}$$

$$\def\mathdef434#1{\mathtt{0x#1}}\mathdef434{9E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{sqrt}}$$

$$\def\mathdef435#1{\mathtt{0x#1}}\mathdef435{9F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{add}}$$

$$\def\mathdef436#1{\mathtt{0x#1}}\mathdef436{A0}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{sub}}$$

$$\def\mathdef437#1{\mathtt{0x#1}}\mathdef437{A1}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{mul}}$$

$$\def\mathdef438#1{\mathtt{0x#1}}\mathdef438{A2}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{div}}$$

$$\def\mathdef439#1{\mathtt{0x#1}}\mathdef439{A3}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{min}}$$

$$\def\mathdef440#1{\mathtt{0x#1}}\mathdef440{A4}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{max}}$$

$$\def\mathdef441#1{\mathtt{0x#1}}\mathdef441{A5}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{copysign}}$$

$$\def\mathdef442#1{\mathtt{0x#1}}\mathdef442{A6}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{wrap}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}$$

$$\def\mathdef443#1{\mathtt{0x#1}}\mathdef443{A7}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_s}$$

$$\def\mathdef444#1{\mathtt{0x#1}}\mathdef444{A8}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_u}$$

$$\def\mathdef445#1{\mathtt{0x#1}}\mathdef445{A9}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_s}$$

$$\def\mathdef446#1{\mathtt{0x#1}}\mathdef446{AA}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_u}$$

$$\def\mathdef447#1{\mathtt{0x#1}}\mathdef447{AB}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\mathsf{\_s}$$

$$\def\mathdef448#1{\mathtt{0x#1}}\mathdef448{AC}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\mathsf{\_u}$$

$$\def\mathdef449#1{\mathtt{0x#1}}\mathdef449{AD}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_s}$$

$$\def\mathdef450#1{\mathtt{0x#1}}\mathdef450{AE}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_u}$$

$$\def\mathdef451#1{\mathtt{0x#1}}\mathdef451{AF}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_s}$$

$$\def\mathdef452#1{\mathtt{0x#1}}\mathdef452{B0}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_u}$$

$$\def\mathdef453#1{\mathtt{0x#1}}\mathdef453{B1}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\mathsf{\_s}$$

$$\def\mathdef454#1{\mathtt{0x#1}}\mathdef454{B2}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\mathsf{\_u}$$

$$\def\mathdef455#1{\mathtt{0x#1}}\mathdef455{B3}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\mathsf{\_s}$$

$$\def\mathdef456#1{\mathtt{0x#1}}\mathdef456{B4}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\mathsf{\_u}$$

$$\def\mathdef457#1{\mathtt{0x#1}}\mathdef457{B5}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{demote}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}$$

$$\def\mathdef458#1{\mathtt{0x#1}}\mathdef458{B6}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\mathsf{\_s}$$

$$\def\mathdef459#1{\mathtt{0x#1}}\mathdef459{B7}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}\mathsf{\_u}$$

$$\def\mathdef460#1{\mathtt{0x#1}}\mathdef460{B8}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\mathsf{\_s}$$

$$\def\mathdef461#1{\mathtt{0x#1}}\mathdef461{B9}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{convert}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}\mathsf{\_u}$$

$$\def\mathdef462#1{\mathtt{0x#1}}\mathdef462{BA}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{promote}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}$$

$$\def\mathdef463#1{\mathtt{0x#1}}\mathdef463{BB}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{reinterpret}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}$$

$$\def\mathdef464#1{\mathtt{0x#1}}\mathdef464{BC}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{reinterpret}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}$$

$$\def\mathdef465#1{\mathtt{0x#1}}\mathdef465{BD}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{reinterpret}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}$$

$$\def\mathdef466#1{\mathtt{0x#1}}\mathdef466{BE}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{reinterpret}}\mathsf{\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}$$

$$\def\mathdef467#1{\mathtt{0x#1}}\mathdef467{BF}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{8\_s}$$

$$\def\mathdef468#1{\mathtt{0x#1}}\mathdef468{C0}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{16\_s}$$

$$\def\mathdef469#1{\mathtt{0x#1}}\mathdef469{C1}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{8\_s}$$

$$\def\mathdef470#1{\mathtt{0x#1}}\mathdef470{C2}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{16\_s}$$

$$\def\mathdef471#1{\mathtt{0x#1}}\mathdef471{C3}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{extend}}\mathsf{32\_s}$$

$$\def\mathdef472#1{\mathtt{0x#1}}\mathdef472{C4}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

(reserved)

$$\def\mathdef473#1{\mathtt{0x#1}}\mathdef473{C5}$$

(reserved)

$$\def\mathdef474#1{\mathtt{0x#1}}\mathdef474{C6}$$

(reserved)

$$\def\mathdef475#1{\mathtt{0x#1}}\mathdef475{C7}$$

(reserved)

$$\def\mathdef476#1{\mathtt{0x#1}}\mathdef476{C8}$$

(reserved)

$$\def\mathdef477#1{\mathtt{0x#1}}\mathdef477{C9}$$

(reserved)

$$\def\mathdef478#1{\mathtt{0x#1}}\mathdef478{CA}$$

(reserved)

$$\def\mathdef479#1{\mathtt{0x#1}}\mathdef479{CB}$$

(reserved)

$$\def\mathdef480#1{\mathtt{0x#1}}\mathdef480{CC}$$

(reserved)

$$\def\mathdef481#1{\mathtt{0x#1}}\mathdef481{CD}$$

(reserved)

$$\def\mathdef482#1{\mathtt{0x#1}}\mathdef482{CE}$$

(reserved)

$$\def\mathdef483#1{\mathtt{0x#1}}\mathdef483{CF}$$

$$\href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}null}}~t$$

$$\def\mathdef484#1{\mathtt{0x#1}}\mathdef484{D0}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [t]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}is\_null}}$$

$$\def\mathdef485#1{\mathtt{0x#1}}\mathdef485{D1}$$

$$[t] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}func}}~x$$

$$\def\mathdef486#1{\mathtt{0x#1}}\mathdef486{D2}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-reftype}{\mathsf{funcref}}]$$

validation

execution

(reserved)

$$\def\mathdef487#1{\mathtt{0x#1}}\mathdef487{D3}$$

(reserved)

$$\def\mathdef488#1{\mathtt{0x#1}}\mathdef488{D4}$$

(reserved)

$$\def\mathdef489#1{\mathtt{0x#1}}\mathdef489{D5}$$

(reserved)

$$\def\mathdef490#1{\mathtt{0x#1}}\mathdef490{D6}$$

(reserved)

$$\def\mathdef491#1{\mathtt{0x#1}}\mathdef491{D7}$$

(reserved)

$$\def\mathdef492#1{\mathtt{0x#1}}\mathdef492{D8}$$

(reserved)

$$\def\mathdef493#1{\mathtt{0x#1}}\mathdef493{D9}$$

(reserved)

$$\def\mathdef494#1{\mathtt{0x#1}}\mathdef494{DA}$$

(reserved)

$$\def\mathdef495#1{\mathtt{0x#1}}\mathdef495{DB}$$

(reserved)

$$\def\mathdef496#1{\mathtt{0x#1}}\mathdef496{DC}$$

(reserved)

$$\def\mathdef497#1{\mathtt{0x#1}}\mathdef497{DD}$$

(reserved)

$$\def\mathdef498#1{\mathtt{0x#1}}\mathdef498{DE}$$

(reserved)

$$\def\mathdef499#1{\mathtt{0x#1}}\mathdef499{DF}$$

(reserved)

$$\def\mathdef500#1{\mathtt{0x#1}}\mathdef500{E0}$$

(reserved)

$$\def\mathdef501#1{\mathtt{0x#1}}\mathdef501{E1}$$

(reserved)

$$\def\mathdef502#1{\mathtt{0x#1}}\mathdef502{E2}$$

(reserved)

$$\def\mathdef503#1{\mathtt{0x#1}}\mathdef503{E3}$$

(reserved)

$$\def\mathdef504#1{\mathtt{0x#1}}\mathdef504{E4}$$

(reserved)

$$\def\mathdef505#1{\mathtt{0x#1}}\mathdef505{E5}$$

(reserved)

$$\def\mathdef506#1{\mathtt{0x#1}}\mathdef506{E6}$$

(reserved)

$$\def\mathdef507#1{\mathtt{0x#1}}\mathdef507{E7}$$

(reserved)

$$\def\mathdef508#1{\mathtt{0x#1}}\mathdef508{E8}$$

(reserved)

$$\def\mathdef509#1{\mathtt{0x#1}}\mathdef509{E9}$$

(reserved)

$$\def\mathdef510#1{\mathtt{0x#1}}\mathdef510{EA}$$

(reserved)

$$\def\mathdef511#1{\mathtt{0x#1}}\mathdef511{EB}$$

(reserved)

$$\def\mathdef512#1{\mathtt{0x#1}}\mathdef512{EC}$$

(reserved)

$$\def\mathdef513#1{\mathtt{0x#1}}\mathdef513{ED}$$

(reserved)

$$\def\mathdef514#1{\mathtt{0x#1}}\mathdef514{EE}$$

(reserved)

$$\def\mathdef515#1{\mathtt{0x#1}}\mathdef515{EF}$$

(reserved)

$$\def\mathdef516#1{\mathtt{0x#1}}\mathdef516{F0}$$

(reserved)

$$\def\mathdef517#1{\mathtt{0x#1}}\mathdef517{F1}$$

(reserved)

$$\def\mathdef518#1{\mathtt{0x#1}}\mathdef518{F2}$$

(reserved)

$$\def\mathdef519#1{\mathtt{0x#1}}\mathdef519{F3}$$

(reserved)

$$\def\mathdef520#1{\mathtt{0x#1}}\mathdef520{F4}$$

(reserved)

$$\def\mathdef521#1{\mathtt{0x#1}}\mathdef521{F5}$$

(reserved)

$$\def\mathdef522#1{\mathtt{0x#1}}\mathdef522{F6}$$

(reserved)

$$\def\mathdef523#1{\mathtt{0x#1}}\mathdef523{F7}$$

(reserved)

$$\def\mathdef524#1{\mathtt{0x#1}}\mathdef524{F8}$$

(reserved)

$$\def\mathdef525#1{\mathtt{0x#1}}\mathdef525{F9}$$

(reserved)

$$\def\mathdef526#1{\mathtt{0x#1}}\mathdef526{FA}$$

(reserved)

$$\def\mathdef527#1{\mathtt{0x#1}}\mathdef527{FB}$$

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_s}$$

$$\def\mathdef528#1{\mathtt{0x#1}}\mathdef528{FC}~\def\mathdef529#1{\mathtt{0x#1}}\mathdef529{00}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_u}$$

$$\def\mathdef530#1{\mathtt{0x#1}}\mathdef530{FC}~\def\mathdef531#1{\mathtt{0x#1}}\mathdef531{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_s}$$

$$\def\mathdef532#1{\mathtt{0x#1}}\mathdef532{FC}~\def\mathdef533#1{\mathtt{0x#1}}\mathdef533{02}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_u}$$

$$\def\mathdef534#1{\mathtt{0x#1}}\mathdef534{FC}~\def\mathdef535#1{\mathtt{0x#1}}\mathdef535{03}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_s}$$

$$\def\mathdef536#1{\mathtt{0x#1}}\mathdef536{FC}~\def\mathdef537#1{\mathtt{0x#1}}\mathdef537{04}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}\mathsf{\_u}$$

$$\def\mathdef538#1{\mathtt{0x#1}}\mathdef538{FC}~\def\mathdef539#1{\mathtt{0x#1}}\mathdef539{05}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_s}$$

$$\def\mathdef540#1{\mathtt{0x#1}}\mathdef540{FC}~\def\mathdef541#1{\mathtt{0x#1}}\mathdef541{06}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_}\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}\mathsf{\_u}$$

$$\def\mathdef542#1{\mathtt{0x#1}}\mathdef542{FC}~\def\mathdef543#1{\mathtt{0x#1}}\mathdef543{07}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

$$\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{memory.init}}~x$$

$$\def\mathdef544#1{\mathtt{0x#1}}\mathdef544{FC}~\def\mathdef545#1{\mathtt{0x#1}}\mathdef545{08}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{data.drop}}~x$$

$$\def\mathdef546#1{\mathtt{0x#1}}\mathdef546{FC}~\def\mathdef547#1{\mathtt{0x#1}}\mathdef547{09}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{memory.copy}}$$

$$\def\mathdef548#1{\mathtt{0x#1}}\mathdef548{FC}~\def\mathdef549#1{\mathtt{0x#1}}\mathdef549{0A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{memory.fill}}$$

$$\def\mathdef550#1{\mathtt{0x#1}}\mathdef550{FC}~\def\mathdef551#1{\mathtt{0x#1}}\mathdef551{0B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.init}}~x~y$$

$$\def\mathdef552#1{\mathtt{0x#1}}\mathdef552{FC}~\def\mathdef553#1{\mathtt{0x#1}}\mathdef553{0C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{elem.drop}}~x$$

$$\def\mathdef554#1{\mathtt{0x#1}}\mathdef554{FC}~\def\mathdef555#1{\mathtt{0x#1}}\mathdef555{0D}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.copy}}~x~y$$

$$\def\mathdef556#1{\mathtt{0x#1}}\mathdef556{FC}~\def\mathdef557#1{\mathtt{0x#1}}\mathdef557{0E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.grow}}~x$$

$$\def\mathdef558#1{\mathtt{0x#1}}\mathdef558{FC}~\def\mathdef559#1{\mathtt{0x#1}}\mathdef559{0F}$$

$$[t~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.size}}~x$$

$$\def\mathdef560#1{\mathtt{0x#1}}\mathdef560{FC}~\def\mathdef561#1{\mathtt{0x#1}}\mathdef561{10}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/instructions.html#syntax-instr-table}{\mathsf{table.fill}}~x$$

$$\def\mathdef562#1{\mathtt{0x#1}}\mathdef562{FC}~\def\mathdef563#1{\mathtt{0x#1}}\mathdef563{11}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~t~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef564#1{\mathtt{0x#1}}\mathdef564{FD}~~\def\mathdef565#1{\mathtt{0x#1}}\mathdef565{00}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8x8\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef566#1{\mathtt{0x#1}}\mathdef566{FD}~~\def\mathdef567#1{\mathtt{0x#1}}\mathdef567{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8x8\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef568#1{\mathtt{0x#1}}\mathdef568{FD}~~\def\mathdef569#1{\mathtt{0x#1}}\mathdef569{02}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16x4\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef570#1{\mathtt{0x#1}}\mathdef570{FD}~~\def\mathdef571#1{\mathtt{0x#1}}\mathdef571{03}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16x4\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef572#1{\mathtt{0x#1}}\mathdef572{FD}~~\def\mathdef573#1{\mathtt{0x#1}}\mathdef573{04}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32x2\_s}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef574#1{\mathtt{0x#1}}\mathdef574{FD}~~\def\mathdef575#1{\mathtt{0x#1}}\mathdef575{05}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32x2\_u}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef576#1{\mathtt{0x#1}}\mathdef576{FD}~~\def\mathdef577#1{\mathtt{0x#1}}\mathdef577{06}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8\_splat}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef578#1{\mathtt{0x#1}}\mathdef578{FD}~~\def\mathdef579#1{\mathtt{0x#1}}\mathdef579{07}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16\_splat}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef580#1{\mathtt{0x#1}}\mathdef580{FD}~~\def\mathdef581#1{\mathtt{0x#1}}\mathdef581{08}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_splat}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef582#1{\mathtt{0x#1}}\mathdef582{FD}~~\def\mathdef583#1{\mathtt{0x#1}}\mathdef583{09}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{64\_splat}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef584#1{\mathtt{0x#1}}\mathdef584{FD}~~\def\mathdef585#1{\mathtt{0x#1}}\mathdef585{0A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}$$

$$\def\mathdef586#1{\mathtt{0x#1}}\mathdef586{FD}~~\def\mathdef587#1{\mathtt{0x#1}}\mathdef587{0B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} []$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{const}}~\href{../syntax/values.html#syntax-int}{\mathit{i128}}$$

$$\def\mathdef588#1{\mathtt{0x#1}}\mathdef588{FD}~~\def\mathdef589#1{\mathtt{0x#1}}\mathdef589{0C}$$

$$[] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shuffle}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}^{16}$$

$$\def\mathdef590#1{\mathtt{0x#1}}\mathdef590{FD}~~\def\mathdef591#1{\mathtt{0x#1}}\mathdef591{0D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{swizzle}}$$

$$\def\mathdef592#1{\mathtt{0x#1}}\mathdef592{FD}~~\def\mathdef593#1{\mathtt{0x#1}}\mathdef593{0E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{splat}}$$

$$\def\mathdef594#1{\mathtt{0x#1}}\mathdef594{FD}~~\def\mathdef595#1{\mathtt{0x#1}}\mathdef595{0F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{splat}}$$

$$\def\mathdef596#1{\mathtt{0x#1}}\mathdef596{FD}~~\def\mathdef597#1{\mathtt{0x#1}}\mathdef597{10}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{splat}}$$

$$\def\mathdef598#1{\mathtt{0x#1}}\mathdef598{FD}~~\def\mathdef599#1{\mathtt{0x#1}}\mathdef599{11}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{splat}}$$

$$\def\mathdef600#1{\mathtt{0x#1}}\mathdef600{FD}~~\def\mathdef601#1{\mathtt{0x#1}}\mathdef601{12}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{splat}}$$

$$\def\mathdef602#1{\mathtt{0x#1}}\mathdef602{FD}~~\def\mathdef603#1{\mathtt{0x#1}}\mathdef603{13}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{splat}}$$

$$\def\mathdef604#1{\mathtt{0x#1}}\mathdef604{FD}~~\def\mathdef605#1{\mathtt{0x#1}}\mathdef605{14}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}\mathsf{\_s}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef606#1{\mathtt{0x#1}}\mathdef606{FD}~~\def\mathdef607#1{\mathtt{0x#1}}\mathdef607{15}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}\mathsf{\_u}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef608#1{\mathtt{0x#1}}\mathdef608{FD}~~\def\mathdef609#1{\mathtt{0x#1}}\mathdef609{16}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{replace\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef610#1{\mathtt{0x#1}}\mathdef610{FD}~~\def\mathdef611#1{\mathtt{0x#1}}\mathdef611{17}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}\mathsf{\_s}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef612#1{\mathtt{0x#1}}\mathdef612{FD}~~\def\mathdef613#1{\mathtt{0x#1}}\mathdef613{18}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}\mathsf{\_u}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef614#1{\mathtt{0x#1}}\mathdef614{FD}~~\def\mathdef615#1{\mathtt{0x#1}}\mathdef615{19}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{replace\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef616#1{\mathtt{0x#1}}\mathdef616{FD}~~\def\mathdef617#1{\mathtt{0x#1}}\mathdef617{1A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef618#1{\mathtt{0x#1}}\mathdef618{FD}~~\def\mathdef619#1{\mathtt{0x#1}}\mathdef619{1B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{replace\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef620#1{\mathtt{0x#1}}\mathdef620{FD}~~\def\mathdef621#1{\mathtt{0x#1}}\mathdef621{1C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef622#1{\mathtt{0x#1}}\mathdef622{FD}~~\def\mathdef623#1{\mathtt{0x#1}}\mathdef623{1D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{replace\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef624#1{\mathtt{0x#1}}\mathdef624{FD}~~\def\mathdef625#1{\mathtt{0x#1}}\mathdef625{1E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef626#1{\mathtt{0x#1}}\mathdef626{FD}~~\def\mathdef627#1{\mathtt{0x#1}}\mathdef627{1F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{replace\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef628#1{\mathtt{0x#1}}\mathdef628{FD}~~\def\mathdef629#1{\mathtt{0x#1}}\mathdef629{20}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extract\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef630#1{\mathtt{0x#1}}\mathdef630{FD}~~\def\mathdef631#1{\mathtt{0x#1}}\mathdef631{21}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{replace\_lane}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef632#1{\mathtt{0x#1}}\mathdef632{FD}~~\def\mathdef633#1{\mathtt{0x#1}}\mathdef633{22}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{f64}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{eq}}$$

$$\def\mathdef634#1{\mathtt{0x#1}}\mathdef634{FD}~~\def\mathdef635#1{\mathtt{0x#1}}\mathdef635{23}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ne}}$$

$$\def\mathdef636#1{\mathtt{0x#1}}\mathdef636{FD}~~\def\mathdef637#1{\mathtt{0x#1}}\mathdef637{24}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_s}$$

$$\def\mathdef638#1{\mathtt{0x#1}}\mathdef638{FD}~~\def\mathdef639#1{\mathtt{0x#1}}\mathdef639{25}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_u}$$

$$\def\mathdef640#1{\mathtt{0x#1}}\mathdef640{FD}~~\def\mathdef641#1{\mathtt{0x#1}}\mathdef641{26}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_s}$$

$$\def\mathdef642#1{\mathtt{0x#1}}\mathdef642{FD}~~\def\mathdef643#1{\mathtt{0x#1}}\mathdef643{27}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_u}$$

$$\def\mathdef644#1{\mathtt{0x#1}}\mathdef644{FD}~~\def\mathdef645#1{\mathtt{0x#1}}\mathdef645{28}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_s}$$

$$\def\mathdef646#1{\mathtt{0x#1}}\mathdef646{FD}~~\def\mathdef647#1{\mathtt{0x#1}}\mathdef647{29}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_u}$$

$$\def\mathdef648#1{\mathtt{0x#1}}\mathdef648{FD}~~\def\mathdef649#1{\mathtt{0x#1}}\mathdef649{2A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_s}$$

$$\def\mathdef650#1{\mathtt{0x#1}}\mathdef650{FD}~~\def\mathdef651#1{\mathtt{0x#1}}\mathdef651{2B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_u}$$

$$\def\mathdef652#1{\mathtt{0x#1}}\mathdef652{FD}~~\def\mathdef653#1{\mathtt{0x#1}}\mathdef653{2C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{eq}}$$

$$\def\mathdef654#1{\mathtt{0x#1}}\mathdef654{FD}~~\def\mathdef655#1{\mathtt{0x#1}}\mathdef655{2D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ne}}$$

$$\def\mathdef656#1{\mathtt{0x#1}}\mathdef656{FD}~~\def\mathdef657#1{\mathtt{0x#1}}\mathdef657{2E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_s}$$

$$\def\mathdef658#1{\mathtt{0x#1}}\mathdef658{FD}~~\def\mathdef659#1{\mathtt{0x#1}}\mathdef659{2F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_u}$$

$$\def\mathdef660#1{\mathtt{0x#1}}\mathdef660{FD}~~\def\mathdef661#1{\mathtt{0x#1}}\mathdef661{30}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_s}$$

$$\def\mathdef662#1{\mathtt{0x#1}}\mathdef662{FD}~~\def\mathdef663#1{\mathtt{0x#1}}\mathdef663{31}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_u}$$

$$\def\mathdef664#1{\mathtt{0x#1}}\mathdef664{FD}~~\def\mathdef665#1{\mathtt{0x#1}}\mathdef665{32}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_s}$$

$$\def\mathdef666#1{\mathtt{0x#1}}\mathdef666{FD}~~\def\mathdef667#1{\mathtt{0x#1}}\mathdef667{33}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_u}$$

$$\def\mathdef668#1{\mathtt{0x#1}}\mathdef668{FD}~~\def\mathdef669#1{\mathtt{0x#1}}\mathdef669{34}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_s}$$

$$\def\mathdef670#1{\mathtt{0x#1}}\mathdef670{FD}~~\def\mathdef671#1{\mathtt{0x#1}}\mathdef671{35}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_u}$$

$$\def\mathdef672#1{\mathtt{0x#1}}\mathdef672{FD}~~\def\mathdef673#1{\mathtt{0x#1}}\mathdef673{36}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{eq}}$$

$$\def\mathdef674#1{\mathtt{0x#1}}\mathdef674{FD}~~\def\mathdef675#1{\mathtt{0x#1}}\mathdef675{37}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ne}}$$

$$\def\mathdef676#1{\mathtt{0x#1}}\mathdef676{FD}~~\def\mathdef677#1{\mathtt{0x#1}}\mathdef677{38}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_s}$$

$$\def\mathdef678#1{\mathtt{0x#1}}\mathdef678{FD}~~\def\mathdef679#1{\mathtt{0x#1}}\mathdef679{39}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_u}$$

$$\def\mathdef680#1{\mathtt{0x#1}}\mathdef680{FD}~~\def\mathdef681#1{\mathtt{0x#1}}\mathdef681{3A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_s}$$

$$\def\mathdef682#1{\mathtt{0x#1}}\mathdef682{FD}~~\def\mathdef683#1{\mathtt{0x#1}}\mathdef683{3B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_u}$$

$$\def\mathdef684#1{\mathtt{0x#1}}\mathdef684{FD}~~\def\mathdef685#1{\mathtt{0x#1}}\mathdef685{3C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_s}$$

$$\def\mathdef686#1{\mathtt{0x#1}}\mathdef686{FD}~~\def\mathdef687#1{\mathtt{0x#1}}\mathdef687{3D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_u}$$

$$\def\mathdef688#1{\mathtt{0x#1}}\mathdef688{FD}~~\def\mathdef689#1{\mathtt{0x#1}}\mathdef689{3E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_s}$$

$$\def\mathdef690#1{\mathtt{0x#1}}\mathdef690{FD}~~\def\mathdef691#1{\mathtt{0x#1}}\mathdef691{3F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_u}$$

$$\def\mathdef692#1{\mathtt{0x#1}}\mathdef692{FD}~~\def\mathdef693#1{\mathtt{0x#1}}\mathdef693{40}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{eq}}$$

$$\def\mathdef694#1{\mathtt{0x#1}}\mathdef694{FD}~~\def\mathdef695#1{\mathtt{0x#1}}\mathdef695{41}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ne}}$$

$$\def\mathdef696#1{\mathtt{0x#1}}\mathdef696{FD}~~\def\mathdef697#1{\mathtt{0x#1}}\mathdef697{42}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}$$

$$\def\mathdef698#1{\mathtt{0x#1}}\mathdef698{FD}~~\def\mathdef699#1{\mathtt{0x#1}}\mathdef699{43}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}$$

$$\def\mathdef700#1{\mathtt{0x#1}}\mathdef700{FD}~~\def\mathdef701#1{\mathtt{0x#1}}\mathdef701{44}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}$$

$$\def\mathdef702#1{\mathtt{0x#1}}\mathdef702{FD}~~\def\mathdef703#1{\mathtt{0x#1}}\mathdef703{45}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}$$

$$\def\mathdef704#1{\mathtt{0x#1}}\mathdef704{FD}~~\def\mathdef705#1{\mathtt{0x#1}}\mathdef705{46}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{eq}}$$

$$\def\mathdef706#1{\mathtt{0x#1}}\mathdef706{FD}~~\def\mathdef707#1{\mathtt{0x#1}}\mathdef707{47}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ne}}$$

$$\def\mathdef708#1{\mathtt{0x#1}}\mathdef708{FD}~~\def\mathdef709#1{\mathtt{0x#1}}\mathdef709{48}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}$$

$$\def\mathdef710#1{\mathtt{0x#1}}\mathdef710{FD}~~\def\mathdef711#1{\mathtt{0x#1}}\mathdef711{49}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}$$

$$\def\mathdef712#1{\mathtt{0x#1}}\mathdef712{FD}~~\def\mathdef713#1{\mathtt{0x#1}}\mathdef713{4A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}$$

$$\def\mathdef714#1{\mathtt{0x#1}}\mathdef714{FD}~~\def\mathdef715#1{\mathtt{0x#1}}\mathdef715{4B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}$$

$$\def\mathdef716#1{\mathtt{0x#1}}\mathdef716{FD}~~\def\mathdef717#1{\mathtt{0x#1}}\mathdef717{4C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{not}}$$

$$\def\mathdef718#1{\mathtt{0x#1}}\mathdef718{FD}~~\def\mathdef719#1{\mathtt{0x#1}}\mathdef719{4D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{and}}$$

$$\def\mathdef720#1{\mathtt{0x#1}}\mathdef720{FD}~~\def\mathdef721#1{\mathtt{0x#1}}\mathdef721{4E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{andnot}}$$

$$\def\mathdef722#1{\mathtt{0x#1}}\mathdef722{FD}~~\def\mathdef723#1{\mathtt{0x#1}}\mathdef723{4F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{or}}$$

$$\def\mathdef724#1{\mathtt{0x#1}}\mathdef724{FD}~~\def\mathdef725#1{\mathtt{0x#1}}\mathdef725{50}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{xor}}$$

$$\def\mathdef726#1{\mathtt{0x#1}}\mathdef726{FD}~~\def\mathdef727#1{\mathtt{0x#1}}\mathdef727{51}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{bitselect}}$$

$$\def\mathdef728#1{\mathtt{0x#1}}\mathdef728{FD}~~\def\mathdef729#1{\mathtt{0x#1}}\mathdef729{52}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{any\_true}}$$

$$\def\mathdef730#1{\mathtt{0x#1}}\mathdef730{FD}~~\def\mathdef731#1{\mathtt{0x#1}}\mathdef731{53}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{8\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef732#1{\mathtt{0x#1}}\mathdef732{FD}~~\def\mathdef733#1{\mathtt{0x#1}}\mathdef733{54}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{16\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef734#1{\mathtt{0x#1}}\mathdef734{FD}~~\def\mathdef735#1{\mathtt{0x#1}}\mathdef735{55}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef736#1{\mathtt{0x#1}}\mathdef736{FD}~~\def\mathdef737#1{\mathtt{0x#1}}\mathdef737{56}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{64\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef738#1{\mathtt{0x#1}}\mathdef738{FD}~~\def\mathdef739#1{\mathtt{0x#1}}\mathdef739{57}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{8\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef740#1{\mathtt{0x#1}}\mathdef740{FD}~~\def\mathdef741#1{\mathtt{0x#1}}\mathdef741{58}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{16\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef742#1{\mathtt{0x#1}}\mathdef742{FD}~~\def\mathdef743#1{\mathtt{0x#1}}\mathdef743{59}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{32\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef744#1{\mathtt{0x#1}}\mathdef744{FD}~~\def\mathdef745#1{\mathtt{0x#1}}\mathdef745{5A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{store}}\mathsf{64\_lane}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef746#1{\mathtt{0x#1}}\mathdef746{FD}~~\def\mathdef747#1{\mathtt{0x#1}}\mathdef747{5B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{32\_zero}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef748#1{\mathtt{0x#1}}\mathdef748{FD}~~\def\mathdef749#1{\mathtt{0x#1}}\mathdef749{5C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}.\href{../syntax/instructions.html#syntax-instr-memory}{\mathsf{load}}\mathsf{64\_zero}~\href{../syntax/instructions.html#syntax-memarg}{\mathit{memarg}}~\href{../syntax/instructions.html#syntax-laneidx}{\mathit{laneidx}}$$

$$\def\mathdef750#1{\mathtt{0x#1}}\mathdef750{FD}~~\def\mathdef751#1{\mathtt{0x#1}}\mathdef751{5D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{demote}}\mathsf{\_f64x2\_zero}$$

$$\def\mathdef752#1{\mathtt{0x#1}}\mathdef752{FD}~~\def\mathdef753#1{\mathtt{0x#1}}\mathdef753{5E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{promote}}\mathsf{\_low\_f32x4}$$

$$\def\mathdef754#1{\mathtt{0x#1}}\mathdef754{FD}~~\def\mathdef755#1{\mathtt{0x#1}}\mathdef755{5F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{abs}}$$

$$\def\mathdef756#1{\mathtt{0x#1}}\mathdef756{FD}~~\def\mathdef757#1{\mathtt{0x#1}}\mathdef757{60}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{neg}}$$

$$\def\mathdef758#1{\mathtt{0x#1}}\mathdef758{FD}~~\def\mathdef759#1{\mathtt{0x#1}}\mathdef759{61}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{popcnt}}$$

$$\def\mathdef760#1{\mathtt{0x#1}}\mathdef760{FD}~~\def\mathdef761#1{\mathtt{0x#1}}\mathdef761{62}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{all\_true}}$$

$$\def\mathdef762#1{\mathtt{0x#1}}\mathdef762{FD}~~\def\mathdef763#1{\mathtt{0x#1}}\mathdef763{63}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{bitmask}}$$

$$\def\mathdef764#1{\mathtt{0x#1}}\mathdef764{FD}~~\def\mathdef765#1{\mathtt{0x#1}}\mathdef765{64}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{narrow}}\mathsf{\_i16x8\_s}$$

$$\def\mathdef766#1{\mathtt{0x#1}}\mathdef766{FD}~~\def\mathdef767#1{\mathtt{0x#1}}\mathdef767{65}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{narrow}}\mathsf{\_i16x8\_u}$$

$$\def\mathdef768#1{\mathtt{0x#1}}\mathdef768{FD}~~\def\mathdef769#1{\mathtt{0x#1}}\mathdef769{66}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ceil}}$$

$$\def\mathdef770#1{\mathtt{0x#1}}\mathdef770{FD}~~\def\mathdef771#1{\mathtt{0x#1}}\mathdef771{67}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{floor}}$$

$$\def\mathdef772#1{\mathtt{0x#1}}\mathdef772{FD}~~\def\mathdef773#1{\mathtt{0x#1}}\mathdef773{68}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{trunc}}$$

$$\def\mathdef774#1{\mathtt{0x#1}}\mathdef774{FD}~~\def\mathdef775#1{\mathtt{0x#1}}\mathdef775{69}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{nearest}}$$

$$\def\mathdef776#1{\mathtt{0x#1}}\mathdef776{FD}~~\def\mathdef777#1{\mathtt{0x#1}}\mathdef777{6A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shl}}$$

$$\def\mathdef778#1{\mathtt{0x#1}}\mathdef778{FD}~~\def\mathdef779#1{\mathtt{0x#1}}\mathdef779{6B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_s}$$

$$\def\mathdef780#1{\mathtt{0x#1}}\mathdef780{FD}~~\def\mathdef781#1{\mathtt{0x#1}}\mathdef781{6C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_u}$$

$$\def\mathdef782#1{\mathtt{0x#1}}\mathdef782{FD}~~\def\mathdef783#1{\mathtt{0x#1}}\mathdef783{6D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}$$

$$\def\mathdef784#1{\mathtt{0x#1}}\mathdef784{FD}~~\def\mathdef785#1{\mathtt{0x#1}}\mathdef785{6E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}\mathsf{\_sat\_s}$$

$$\def\mathdef786#1{\mathtt{0x#1}}\mathdef786{FD}~~\def\mathdef787#1{\mathtt{0x#1}}\mathdef787{6F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}\mathsf{\_sat\_u}$$

$$\def\mathdef788#1{\mathtt{0x#1}}\mathdef788{FD}~~\def\mathdef789#1{\mathtt{0x#1}}\mathdef789{70}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}$$

$$\def\mathdef790#1{\mathtt{0x#1}}\mathdef790{FD}~~\def\mathdef791#1{\mathtt{0x#1}}\mathdef791{71}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}\mathsf{\_sat\_s}$$

$$\def\mathdef792#1{\mathtt{0x#1}}\mathdef792{FD}~~\def\mathdef793#1{\mathtt{0x#1}}\mathdef793{72}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}\mathsf{\_sat\_u}$$

$$\def\mathdef794#1{\mathtt{0x#1}}\mathdef794{FD}~~\def\mathdef795#1{\mathtt{0x#1}}\mathdef795{73}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ceil}}$$

$$\def\mathdef796#1{\mathtt{0x#1}}\mathdef796{FD}~~\def\mathdef797#1{\mathtt{0x#1}}\mathdef797{74}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{floor}}$$

$$\def\mathdef798#1{\mathtt{0x#1}}\mathdef798{FD}~~\def\mathdef799#1{\mathtt{0x#1}}\mathdef799{75}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}\mathsf{\_s}$$

$$\def\mathdef800#1{\mathtt{0x#1}}\mathdef800{FD}~~\def\mathdef801#1{\mathtt{0x#1}}\mathdef801{76}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}\mathsf{\_u}$$

$$\def\mathdef802#1{\mathtt{0x#1}}\mathdef802{FD}~~\def\mathdef803#1{\mathtt{0x#1}}\mathdef803{77}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}\mathsf{\_s}$$

$$\def\mathdef804#1{\mathtt{0x#1}}\mathdef804{FD}~~\def\mathdef805#1{\mathtt{0x#1}}\mathdef805{78}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}\mathsf{\_u}$$

$$\def\mathdef806#1{\mathtt{0x#1}}\mathdef806{FD}~~\def\mathdef807#1{\mathtt{0x#1}}\mathdef807{79}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{trunc}}$$

$$\def\mathdef808#1{\mathtt{0x#1}}\mathdef808{FD}~~\def\mathdef809#1{\mathtt{0x#1}}\mathdef809{7A}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i8x16}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{avgr}}\mathsf{\_u}$$

$$\def\mathdef810#1{\mathtt{0x#1}}\mathdef810{FD}~~\def\mathdef811#1{\mathtt{0x#1}}\mathdef811{7B}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extadd\_pairwise}}\mathsf{\_i8x16\_s}$$

$$\def\mathdef812#1{\mathtt{0x#1}}\mathdef812{FD}~~\def\mathdef813#1{\mathtt{0x#1}}\mathdef813{7C}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extadd\_pairwise}}\mathsf{\_i8x16\_u}$$

$$\def\mathdef814#1{\mathtt{0x#1}}\mathdef814{FD}~~\def\mathdef815#1{\mathtt{0x#1}}\mathdef815{7D}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extadd\_pairwise}}\mathsf{\_i16x8\_s}$$

$$\def\mathdef816#1{\mathtt{0x#1}}\mathdef816{FD}~~\def\mathdef817#1{\mathtt{0x#1}}\mathdef817{7E}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extadd\_pairwise}}\mathsf{\_i16x8\_u}$$

$$\def\mathdef818#1{\mathtt{0x#1}}\mathdef818{FD}~~\def\mathdef819#1{\mathtt{0x#1}}\mathdef819{7F}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{abs}}$$

$$\def\mathdef820#1{\mathtt{0x#1}}\mathdef820{FD}~~\def\mathdef821#1{\mathtt{0x#1}}\mathdef821{80}~~\def\mathdef822#1{\mathtt{0x#1}}\mathdef822{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{neg}}$$

$$\def\mathdef823#1{\mathtt{0x#1}}\mathdef823{FD}~~\def\mathdef824#1{\mathtt{0x#1}}\mathdef824{81}~~\def\mathdef825#1{\mathtt{0x#1}}\mathdef825{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{q15mulr\_sat}}\mathsf{\_s}$$

$$\def\mathdef826#1{\mathtt{0x#1}}\mathdef826{FD}~~\def\mathdef827#1{\mathtt{0x#1}}\mathdef827{82}~~\def\mathdef828#1{\mathtt{0x#1}}\mathdef828{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{all\_true}}$$

$$\def\mathdef829#1{\mathtt{0x#1}}\mathdef829{FD}~~\def\mathdef830#1{\mathtt{0x#1}}\mathdef830{83}~~\def\mathdef831#1{\mathtt{0x#1}}\mathdef831{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{bitmask}}$$

$$\def\mathdef832#1{\mathtt{0x#1}}\mathdef832{FD}~~\def\mathdef833#1{\mathtt{0x#1}}\mathdef833{84}~~\def\mathdef834#1{\mathtt{0x#1}}\mathdef834{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{narrow}}\mathsf{\_i32x4\_s}$$

$$\def\mathdef835#1{\mathtt{0x#1}}\mathdef835{FD}~~\def\mathdef836#1{\mathtt{0x#1}}\mathdef836{85}~~\def\mathdef837#1{\mathtt{0x#1}}\mathdef837{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{narrow}}\mathsf{\_i32x4\_u}$$

$$\def\mathdef838#1{\mathtt{0x#1}}\mathdef838{FD}~~\def\mathdef839#1{\mathtt{0x#1}}\mathdef839{86}~~\def\mathdef840#1{\mathtt{0x#1}}\mathdef840{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_low\_i8x16\_s}$$

$$\def\mathdef841#1{\mathtt{0x#1}}\mathdef841{FD}~~\def\mathdef842#1{\mathtt{0x#1}}\mathdef842{87}~~\def\mathdef843#1{\mathtt{0x#1}}\mathdef843{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_high\_i8x16\_s}$$

$$\def\mathdef844#1{\mathtt{0x#1}}\mathdef844{FD}~~\def\mathdef845#1{\mathtt{0x#1}}\mathdef845{88}~~\def\mathdef846#1{\mathtt{0x#1}}\mathdef846{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_low\_i8x16\_u}$$

$$\def\mathdef847#1{\mathtt{0x#1}}\mathdef847{FD}~~\def\mathdef848#1{\mathtt{0x#1}}\mathdef848{89}~~\def\mathdef849#1{\mathtt{0x#1}}\mathdef849{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_high\_i8x16\_u}$$

$$\def\mathdef850#1{\mathtt{0x#1}}\mathdef850{FD}~~\def\mathdef851#1{\mathtt{0x#1}}\mathdef851{8A}~~\def\mathdef852#1{\mathtt{0x#1}}\mathdef852{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shl}}$$

$$\def\mathdef853#1{\mathtt{0x#1}}\mathdef853{FD}~~\def\mathdef854#1{\mathtt{0x#1}}\mathdef854{8B}~~\def\mathdef855#1{\mathtt{0x#1}}\mathdef855{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_s}$$

$$\def\mathdef856#1{\mathtt{0x#1}}\mathdef856{FD}~~\def\mathdef857#1{\mathtt{0x#1}}\mathdef857{8C}~~\def\mathdef858#1{\mathtt{0x#1}}\mathdef858{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_u}$$

$$\def\mathdef859#1{\mathtt{0x#1}}\mathdef859{FD}~~\def\mathdef860#1{\mathtt{0x#1}}\mathdef860{8D}~~\def\mathdef861#1{\mathtt{0x#1}}\mathdef861{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}$$

$$\def\mathdef862#1{\mathtt{0x#1}}\mathdef862{FD}~~\def\mathdef863#1{\mathtt{0x#1}}\mathdef863{8E}~~\def\mathdef864#1{\mathtt{0x#1}}\mathdef864{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}\mathsf{\_sat\_s}$$

$$\def\mathdef865#1{\mathtt{0x#1}}\mathdef865{FD}~~\def\mathdef866#1{\mathtt{0x#1}}\mathdef866{8F}~~\def\mathdef867#1{\mathtt{0x#1}}\mathdef867{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}\mathsf{\_sat\_u}$$

$$\def\mathdef868#1{\mathtt{0x#1}}\mathdef868{FD}~~\def\mathdef869#1{\mathtt{0x#1}}\mathdef869{90}~~\def\mathdef870#1{\mathtt{0x#1}}\mathdef870{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}$$

$$\def\mathdef871#1{\mathtt{0x#1}}\mathdef871{FD}~~\def\mathdef872#1{\mathtt{0x#1}}\mathdef872{91}~~\def\mathdef873#1{\mathtt{0x#1}}\mathdef873{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}\mathsf{\_sat\_s}$$

$$\def\mathdef874#1{\mathtt{0x#1}}\mathdef874{FD}~~\def\mathdef875#1{\mathtt{0x#1}}\mathdef875{92}~~\def\mathdef876#1{\mathtt{0x#1}}\mathdef876{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}\mathsf{\_sat\_u}$$

$$\def\mathdef877#1{\mathtt{0x#1}}\mathdef877{FD}~~\def\mathdef878#1{\mathtt{0x#1}}\mathdef878{93}~~\def\mathdef879#1{\mathtt{0x#1}}\mathdef879{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{nearest}}$$

$$\def\mathdef880#1{\mathtt{0x#1}}\mathdef880{FD}~~\def\mathdef881#1{\mathtt{0x#1}}\mathdef881{94}~~\def\mathdef882#1{\mathtt{0x#1}}\mathdef882{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{mul}}$$

$$\def\mathdef883#1{\mathtt{0x#1}}\mathdef883{FD}~~\def\mathdef884#1{\mathtt{0x#1}}\mathdef884{95}~~\def\mathdef885#1{\mathtt{0x#1}}\mathdef885{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}\mathsf{\_s}$$

$$\def\mathdef886#1{\mathtt{0x#1}}\mathdef886{FD}~~\def\mathdef887#1{\mathtt{0x#1}}\mathdef887{96}~~\def\mathdef888#1{\mathtt{0x#1}}\mathdef888{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}\mathsf{\_u}$$

$$\def\mathdef889#1{\mathtt{0x#1}}\mathdef889{FD}~~\def\mathdef890#1{\mathtt{0x#1}}\mathdef890{97}~~\def\mathdef891#1{\mathtt{0x#1}}\mathdef891{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}\mathsf{\_s}$$

$$\def\mathdef892#1{\mathtt{0x#1}}\mathdef892{FD}~~\def\mathdef893#1{\mathtt{0x#1}}\mathdef893{98}~~\def\mathdef894#1{\mathtt{0x#1}}\mathdef894{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}\mathsf{\_u}$$

$$\def\mathdef895#1{\mathtt{0x#1}}\mathdef895{FD}~~\def\mathdef896#1{\mathtt{0x#1}}\mathdef896{99}~~\def\mathdef897#1{\mathtt{0x#1}}\mathdef897{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{avgr}}\mathsf{\_u}$$

$$\def\mathdef898#1{\mathtt{0x#1}}\mathdef898{FD}~~\def\mathdef899#1{\mathtt{0x#1}}\mathdef899{9B}~~\def\mathdef900#1{\mathtt{0x#1}}\mathdef900{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_low\_i8x16\_s}$$

$$\def\mathdef901#1{\mathtt{0x#1}}\mathdef901{FD}~~\def\mathdef902#1{\mathtt{0x#1}}\mathdef902{9C}~~\def\mathdef903#1{\mathtt{0x#1}}\mathdef903{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_high\_i8x16\_s}$$

$$\def\mathdef904#1{\mathtt{0x#1}}\mathdef904{FD}~~\def\mathdef905#1{\mathtt{0x#1}}\mathdef905{9D}~~\def\mathdef906#1{\mathtt{0x#1}}\mathdef906{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_low\_i8x16\_u}$$

$$\def\mathdef907#1{\mathtt{0x#1}}\mathdef907{FD}~~\def\mathdef908#1{\mathtt{0x#1}}\mathdef908{9E}~~\def\mathdef909#1{\mathtt{0x#1}}\mathdef909{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i16x8}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_high\_i8x16\_u}$$

$$\def\mathdef910#1{\mathtt{0x#1}}\mathdef910{FD}~~\def\mathdef911#1{\mathtt{0x#1}}\mathdef911{9F}~~\def\mathdef912#1{\mathtt{0x#1}}\mathdef912{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{abs}}$$

$$\def\mathdef913#1{\mathtt{0x#1}}\mathdef913{FD}~~\def\mathdef914#1{\mathtt{0x#1}}\mathdef914{A0}~~\def\mathdef915#1{\mathtt{0x#1}}\mathdef915{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{neg}}$$

$$\def\mathdef916#1{\mathtt{0x#1}}\mathdef916{FD}~~\def\mathdef917#1{\mathtt{0x#1}}\mathdef917{A1}~~\def\mathdef918#1{\mathtt{0x#1}}\mathdef918{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{all\_true}}$$

$$\def\mathdef919#1{\mathtt{0x#1}}\mathdef919{FD}~~\def\mathdef920#1{\mathtt{0x#1}}\mathdef920{A3}~~\def\mathdef921#1{\mathtt{0x#1}}\mathdef921{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{bitmask}}$$

$$\def\mathdef922#1{\mathtt{0x#1}}\mathdef922{FD}~~\def\mathdef923#1{\mathtt{0x#1}}\mathdef923{A4}~~\def\mathdef924#1{\mathtt{0x#1}}\mathdef924{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_low\_i16x8\_s}$$

$$\def\mathdef925#1{\mathtt{0x#1}}\mathdef925{FD}~~\def\mathdef926#1{\mathtt{0x#1}}\mathdef926{A7}~~\def\mathdef927#1{\mathtt{0x#1}}\mathdef927{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_high\_i16x8\_s}$$

$$\def\mathdef928#1{\mathtt{0x#1}}\mathdef928{FD}~~\def\mathdef929#1{\mathtt{0x#1}}\mathdef929{A8}~~\def\mathdef930#1{\mathtt{0x#1}}\mathdef930{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_low\_i16x8\_u}$$

$$\def\mathdef931#1{\mathtt{0x#1}}\mathdef931{FD}~~\def\mathdef932#1{\mathtt{0x#1}}\mathdef932{A9}~~\def\mathdef933#1{\mathtt{0x#1}}\mathdef933{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_high\_i16x8\_u}$$

$$\def\mathdef934#1{\mathtt{0x#1}}\mathdef934{FD}~~\def\mathdef935#1{\mathtt{0x#1}}\mathdef935{AA}~~\def\mathdef936#1{\mathtt{0x#1}}\mathdef936{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shl}}$$

$$\def\mathdef937#1{\mathtt{0x#1}}\mathdef937{FD}~~\def\mathdef938#1{\mathtt{0x#1}}\mathdef938{AB}~~\def\mathdef939#1{\mathtt{0x#1}}\mathdef939{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_s}$$

$$\def\mathdef940#1{\mathtt{0x#1}}\mathdef940{FD}~~\def\mathdef941#1{\mathtt{0x#1}}\mathdef941{AC}~~\def\mathdef942#1{\mathtt{0x#1}}\mathdef942{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_u}$$

$$\def\mathdef943#1{\mathtt{0x#1}}\mathdef943{FD}~~\def\mathdef944#1{\mathtt{0x#1}}\mathdef944{AD}~~\def\mathdef945#1{\mathtt{0x#1}}\mathdef945{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}$$

$$\def\mathdef946#1{\mathtt{0x#1}}\mathdef946{FD}~~\def\mathdef947#1{\mathtt{0x#1}}\mathdef947{AE}~~\def\mathdef948#1{\mathtt{0x#1}}\mathdef948{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}$$

$$\def\mathdef949#1{\mathtt{0x#1}}\mathdef949{FD}~~\def\mathdef950#1{\mathtt{0x#1}}\mathdef950{B1}~~\def\mathdef951#1{\mathtt{0x#1}}\mathdef951{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{mul}}$$

$$\def\mathdef952#1{\mathtt{0x#1}}\mathdef952{FD}~~\def\mathdef953#1{\mathtt{0x#1}}\mathdef953{B5}~~\def\mathdef954#1{\mathtt{0x#1}}\mathdef954{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}\mathsf{\_s}$$

$$\def\mathdef955#1{\mathtt{0x#1}}\mathdef955{FD}~~\def\mathdef956#1{\mathtt{0x#1}}\mathdef956{B6}~~\def\mathdef957#1{\mathtt{0x#1}}\mathdef957{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}\mathsf{\_u}$$

$$\def\mathdef958#1{\mathtt{0x#1}}\mathdef958{FD}~~\def\mathdef959#1{\mathtt{0x#1}}\mathdef959{B7}~~\def\mathdef960#1{\mathtt{0x#1}}\mathdef960{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}\mathsf{\_s}$$

$$\def\mathdef961#1{\mathtt{0x#1}}\mathdef961{FD}~~\def\mathdef962#1{\mathtt{0x#1}}\mathdef962{B8}~~\def\mathdef963#1{\mathtt{0x#1}}\mathdef963{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}\mathsf{\_u}$$

$$\def\mathdef964#1{\mathtt{0x#1}}\mathdef964{FD}~~\def\mathdef965#1{\mathtt{0x#1}}\mathdef965{B9}~~\def\mathdef966#1{\mathtt{0x#1}}\mathdef966{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{dot}}\mathsf{\_i16x8\_s}$$

$$\def\mathdef967#1{\mathtt{0x#1}}\mathdef967{FD}~~\def\mathdef968#1{\mathtt{0x#1}}\mathdef968{BA}~~\def\mathdef969#1{\mathtt{0x#1}}\mathdef969{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_low\_i16x8\_s}$$

$$\def\mathdef970#1{\mathtt{0x#1}}\mathdef970{FD}~~\def\mathdef971#1{\mathtt{0x#1}}\mathdef971{BC}~~\def\mathdef972#1{\mathtt{0x#1}}\mathdef972{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_high\_i16x8\_s}$$

$$\def\mathdef973#1{\mathtt{0x#1}}\mathdef973{FD}~~\def\mathdef974#1{\mathtt{0x#1}}\mathdef974{BD}~~\def\mathdef975#1{\mathtt{0x#1}}\mathdef975{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_low\_i16x8\_u}$$

$$\def\mathdef976#1{\mathtt{0x#1}}\mathdef976{FD}~~\def\mathdef977#1{\mathtt{0x#1}}\mathdef977{BE}~~\def\mathdef978#1{\mathtt{0x#1}}\mathdef978{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_high\_i16x8\_u}$$

$$\def\mathdef979#1{\mathtt{0x#1}}\mathdef979{FD}~~\def\mathdef980#1{\mathtt{0x#1}}\mathdef980{BF}~~\def\mathdef981#1{\mathtt{0x#1}}\mathdef981{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{abs}}$$

$$\def\mathdef982#1{\mathtt{0x#1}}\mathdef982{FD}~~\def\mathdef983#1{\mathtt{0x#1}}\mathdef983{C0}~~\def\mathdef984#1{\mathtt{0x#1}}\mathdef984{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{neg}}$$

$$\def\mathdef985#1{\mathtt{0x#1}}\mathdef985{FD}~~\def\mathdef986#1{\mathtt{0x#1}}\mathdef986{C1}~~\def\mathdef987#1{\mathtt{0x#1}}\mathdef987{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{all\_true}}$$

$$\def\mathdef988#1{\mathtt{0x#1}}\mathdef988{FD}~~\def\mathdef989#1{\mathtt{0x#1}}\mathdef989{C3}~~\def\mathdef990#1{\mathtt{0x#1}}\mathdef990{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{bitmask}}$$

$$\def\mathdef991#1{\mathtt{0x#1}}\mathdef991{FD}~~\def\mathdef992#1{\mathtt{0x#1}}\mathdef992{C4}~~\def\mathdef993#1{\mathtt{0x#1}}\mathdef993{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_low\_i32x4\_s}$$

$$\def\mathdef994#1{\mathtt{0x#1}}\mathdef994{FD}~~\def\mathdef995#1{\mathtt{0x#1}}\mathdef995{C7}~~\def\mathdef996#1{\mathtt{0x#1}}\mathdef996{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_high\_i32x4\_s}$$

$$\def\mathdef997#1{\mathtt{0x#1}}\mathdef997{FD}~~\def\mathdef998#1{\mathtt{0x#1}}\mathdef998{C8}~~\def\mathdef999#1{\mathtt{0x#1}}\mathdef999{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_low\_i32x4\_u}$$

$$\def\mathdef1000#1{\mathtt{0x#1}}\mathdef1000{FD}~~\def\mathdef1001#1{\mathtt{0x#1}}\mathdef1001{C9}~~\def\mathdef1002#1{\mathtt{0x#1}}\mathdef1002{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extend}}\mathsf{\_high\_i32x4\_u}$$

$$\def\mathdef1003#1{\mathtt{0x#1}}\mathdef1003{FD}~~\def\mathdef1004#1{\mathtt{0x#1}}\mathdef1004{CA}~~\def\mathdef1005#1{\mathtt{0x#1}}\mathdef1005{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shl}}$$

$$\def\mathdef1006#1{\mathtt{0x#1}}\mathdef1006{FD}~~\def\mathdef1007#1{\mathtt{0x#1}}\mathdef1007{CB}~~\def\mathdef1008#1{\mathtt{0x#1}}\mathdef1008{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_s}$$

$$\def\mathdef1009#1{\mathtt{0x#1}}\mathdef1009{FD}~~\def\mathdef1010#1{\mathtt{0x#1}}\mathdef1010{CC}~~\def\mathdef1011#1{\mathtt{0x#1}}\mathdef1011{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{shr}}\mathsf{\_u}$$

$$\def\mathdef1012#1{\mathtt{0x#1}}\mathdef1012{FD}~~\def\mathdef1013#1{\mathtt{0x#1}}\mathdef1013{CD}~~\def\mathdef1014#1{\mathtt{0x#1}}\mathdef1014{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{i32}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}$$

$$\def\mathdef1015#1{\mathtt{0x#1}}\mathdef1015{FD}~~\def\mathdef1016#1{\mathtt{0x#1}}\mathdef1016{CE}~~\def\mathdef1017#1{\mathtt{0x#1}}\mathdef1017{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}$$

$$\def\mathdef1018#1{\mathtt{0x#1}}\mathdef1018{FD}~~\def\mathdef1019#1{\mathtt{0x#1}}\mathdef1019{D1}~~\def\mathdef1020#1{\mathtt{0x#1}}\mathdef1020{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{mul}}$$

$$\def\mathdef1021#1{\mathtt{0x#1}}\mathdef1021{FD}~~\def\mathdef1022#1{\mathtt{0x#1}}\mathdef1022{D5}~~\def\mathdef1023#1{\mathtt{0x#1}}\mathdef1023{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{eq}}$$

$$\def\mathdef1024#1{\mathtt{0x#1}}\mathdef1024{FD}~~\def\mathdef1025#1{\mathtt{0x#1}}\mathdef1025{D6}~~\def\mathdef1026#1{\mathtt{0x#1}}\mathdef1026{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ne}}$$

$$\def\mathdef1027#1{\mathtt{0x#1}}\mathdef1027{FD}~~\def\mathdef1028#1{\mathtt{0x#1}}\mathdef1028{D7}~~\def\mathdef1029#1{\mathtt{0x#1}}\mathdef1029{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{lt}}\mathsf{\_s}$$

$$\def\mathdef1030#1{\mathtt{0x#1}}\mathdef1030{FD}~~\def\mathdef1031#1{\mathtt{0x#1}}\mathdef1031{D8}~~\def\mathdef1032#1{\mathtt{0x#1}}\mathdef1032{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{gt}}\mathsf{\_s}$$

$$\def\mathdef1033#1{\mathtt{0x#1}}\mathdef1033{FD}~~\def\mathdef1034#1{\mathtt{0x#1}}\mathdef1034{D9}~~\def\mathdef1035#1{\mathtt{0x#1}}\mathdef1035{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{le}}\mathsf{\_s}$$

$$\def\mathdef1036#1{\mathtt{0x#1}}\mathdef1036{FD}~~\def\mathdef1037#1{\mathtt{0x#1}}\mathdef1037{DA}~~\def\mathdef1038#1{\mathtt{0x#1}}\mathdef1038{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{ge}}\mathsf{\_s}$$

$$\def\mathdef1039#1{\mathtt{0x#1}}\mathdef1039{FD}~~\def\mathdef1040#1{\mathtt{0x#1}}\mathdef1040{DB}~~\def\mathdef1041#1{\mathtt{0x#1}}\mathdef1041{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_low\_i32x4\_s}$$

$$\def\mathdef1042#1{\mathtt{0x#1}}\mathdef1042{FD}~~\def\mathdef1043#1{\mathtt{0x#1}}\mathdef1043{DC}~~\def\mathdef1044#1{\mathtt{0x#1}}\mathdef1044{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_high\_i32x4\_s}$$

$$\def\mathdef1045#1{\mathtt{0x#1}}\mathdef1045{FD}~~\def\mathdef1046#1{\mathtt{0x#1}}\mathdef1046{DD}~~\def\mathdef1047#1{\mathtt{0x#1}}\mathdef1047{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_low\_i32x4\_u}$$

$$\def\mathdef1048#1{\mathtt{0x#1}}\mathdef1048{FD}~~\def\mathdef1049#1{\mathtt{0x#1}}\mathdef1049{DE}~~\def\mathdef1050#1{\mathtt{0x#1}}\mathdef1050{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{extmul}}\mathsf{\_high\_i32x4\_u}$$

$$\def\mathdef1051#1{\mathtt{0x#1}}\mathdef1051{FD}~~\def\mathdef1052#1{\mathtt{0x#1}}\mathdef1052{DF}~~\def\mathdef1053#1{\mathtt{0x#1}}\mathdef1053{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

execution

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{abs}}$$

$$\def\mathdef1054#1{\mathtt{0x#1}}\mathdef1054{FD}~~\def\mathdef1055#1{\mathtt{0x#1}}\mathdef1055{E0}~~\def\mathdef1056#1{\mathtt{0x#1}}\mathdef1056{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{neg}}$$

$$\def\mathdef1057#1{\mathtt{0x#1}}\mathdef1057{FD}~~\def\mathdef1058#1{\mathtt{0x#1}}\mathdef1058{E1}~~\def\mathdef1059#1{\mathtt{0x#1}}\mathdef1059{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sqrt}}$$

$$\def\mathdef1060#1{\mathtt{0x#1}}\mathdef1060{FD}~~\def\mathdef1061#1{\mathtt{0x#1}}\mathdef1061{E3}~~\def\mathdef1062#1{\mathtt{0x#1}}\mathdef1062{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}$$

$$\def\mathdef1063#1{\mathtt{0x#1}}\mathdef1063{FD}~~\def\mathdef1064#1{\mathtt{0x#1}}\mathdef1064{E4}~~\def\mathdef1065#1{\mathtt{0x#1}}\mathdef1065{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}$$

$$\def\mathdef1066#1{\mathtt{0x#1}}\mathdef1066{FD}~~\def\mathdef1067#1{\mathtt{0x#1}}\mathdef1067{E5}~~\def\mathdef1068#1{\mathtt{0x#1}}\mathdef1068{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{mul}}$$

$$\def\mathdef1069#1{\mathtt{0x#1}}\mathdef1069{FD}~~\def\mathdef1070#1{\mathtt{0x#1}}\mathdef1070{E6}~~\def\mathdef1071#1{\mathtt{0x#1}}\mathdef1071{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{div}}$$

$$\def\mathdef1072#1{\mathtt{0x#1}}\mathdef1072{FD}~~\def\mathdef1073#1{\mathtt{0x#1}}\mathdef1073{E7}~~\def\mathdef1074#1{\mathtt{0x#1}}\mathdef1074{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}$$

$$\def\mathdef1075#1{\mathtt{0x#1}}\mathdef1075{FD}~~\def\mathdef1076#1{\mathtt{0x#1}}\mathdef1076{E8}~~\def\mathdef1077#1{\mathtt{0x#1}}\mathdef1077{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}$$

$$\def\mathdef1078#1{\mathtt{0x#1}}\mathdef1078{FD}~~\def\mathdef1079#1{\mathtt{0x#1}}\mathdef1079{E9}~~\def\mathdef1080#1{\mathtt{0x#1}}\mathdef1080{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{pmin}}$$

$$\def\mathdef1081#1{\mathtt{0x#1}}\mathdef1081{FD}~~\def\mathdef1082#1{\mathtt{0x#1}}\mathdef1082{EA}~~\def\mathdef1083#1{\mathtt{0x#1}}\mathdef1083{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{pmax}}$$

$$\def\mathdef1084#1{\mathtt{0x#1}}\mathdef1084{FD}~~\def\mathdef1085#1{\mathtt{0x#1}}\mathdef1085{EB}~~\def\mathdef1086#1{\mathtt{0x#1}}\mathdef1086{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{abs}}$$

$$\def\mathdef1087#1{\mathtt{0x#1}}\mathdef1087{FD}~~\def\mathdef1088#1{\mathtt{0x#1}}\mathdef1088{EC}~~\def\mathdef1089#1{\mathtt{0x#1}}\mathdef1089{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{neg}}$$

$$\def\mathdef1090#1{\mathtt{0x#1}}\mathdef1090{FD}~~\def\mathdef1091#1{\mathtt{0x#1}}\mathdef1091{ED}~~\def\mathdef1092#1{\mathtt{0x#1}}\mathdef1092{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sqrt}}$$

$$\def\mathdef1093#1{\mathtt{0x#1}}\mathdef1093{FD}~~\def\mathdef1094#1{\mathtt{0x#1}}\mathdef1094{EF}~~\def\mathdef1095#1{\mathtt{0x#1}}\mathdef1095{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{add}}$$

$$\def\mathdef1096#1{\mathtt{0x#1}}\mathdef1096{FD}~~\def\mathdef1097#1{\mathtt{0x#1}}\mathdef1097{F0}~~\def\mathdef1098#1{\mathtt{0x#1}}\mathdef1098{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{sub}}$$

$$\def\mathdef1099#1{\mathtt{0x#1}}\mathdef1099{FD}~~\def\mathdef1100#1{\mathtt{0x#1}}\mathdef1100{F1}~~\def\mathdef1101#1{\mathtt{0x#1}}\mathdef1101{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{mul}}$$

$$\def\mathdef1102#1{\mathtt{0x#1}}\mathdef1102{FD}~~\def\mathdef1103#1{\mathtt{0x#1}}\mathdef1103{F2}~~\def\mathdef1104#1{\mathtt{0x#1}}\mathdef1104{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{div}}$$

$$\def\mathdef1105#1{\mathtt{0x#1}}\mathdef1105{FD}~~\def\mathdef1106#1{\mathtt{0x#1}}\mathdef1106{F3}~~\def\mathdef1107#1{\mathtt{0x#1}}\mathdef1107{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{min}}$$

$$\def\mathdef1108#1{\mathtt{0x#1}}\mathdef1108{FD}~~\def\mathdef1109#1{\mathtt{0x#1}}\mathdef1109{F4}~~\def\mathdef1110#1{\mathtt{0x#1}}\mathdef1110{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{max}}$$

$$\def\mathdef1111#1{\mathtt{0x#1}}\mathdef1111{FD}~~\def\mathdef1112#1{\mathtt{0x#1}}\mathdef1112{F5}~~\def\mathdef1113#1{\mathtt{0x#1}}\mathdef1113{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{pmin}}$$

$$\def\mathdef1114#1{\mathtt{0x#1}}\mathdef1114{FD}~~\def\mathdef1115#1{\mathtt{0x#1}}\mathdef1115{F6}~~\def\mathdef1116#1{\mathtt{0x#1}}\mathdef1116{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{pmax}}$$

$$\def\mathdef1117#1{\mathtt{0x#1}}\mathdef1117{FD}~~\def\mathdef1118#1{\mathtt{0x#1}}\mathdef1118{F7}~~\def\mathdef1119#1{\mathtt{0x#1}}\mathdef1119{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}~\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_f32x4\_s}$$

$$\def\mathdef1120#1{\mathtt{0x#1}}\mathdef1120{FD}~~\def\mathdef1121#1{\mathtt{0x#1}}\mathdef1121{F8}~~\def\mathdef1122#1{\mathtt{0x#1}}\mathdef1122{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-numeric}{\mathsf{trunc}}\mathsf{\_sat\_f32x4\_u}$$

$$\def\mathdef1123#1{\mathtt{0x#1}}\mathdef1123{FD}~~\def\mathdef1124#1{\mathtt{0x#1}}\mathdef1124{F9}~~\def\mathdef1125#1{\mathtt{0x#1}}\mathdef1125{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{convert}}\mathsf{\_i32x4\_s}$$

$$\def\mathdef1126#1{\mathtt{0x#1}}\mathdef1126{FD}~~\def\mathdef1127#1{\mathtt{0x#1}}\mathdef1127{FA}~~\def\mathdef1128#1{\mathtt{0x#1}}\mathdef1128{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{convert}}\mathsf{\_i32x4\_u}$$

$$\def\mathdef1129#1{\mathtt{0x#1}}\mathdef1129{FD}~~\def\mathdef1130#1{\mathtt{0x#1}}\mathdef1130{FB}~~\def\mathdef1131#1{\mathtt{0x#1}}\mathdef1131{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{trunc}}\mathsf{\_sat\_f64x2\_s\_zero}$$

$$\def\mathdef1132#1{\mathtt{0x#1}}\mathdef1132{FD}~~\def\mathdef1133#1{\mathtt{0x#1}}\mathdef1133{FC}~~\def\mathdef1134#1{\mathtt{0x#1}}\mathdef1134{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{i32x4}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{trunc}}\mathsf{\_sat\_f64x2\_u\_zero}$$

$$\def\mathdef1135#1{\mathtt{0x#1}}\mathdef1135{FD}~~\def\mathdef1136#1{\mathtt{0x#1}}\mathdef1136{FD}~~\def\mathdef1137#1{\mathtt{0x#1}}\mathdef1137{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{convert}}\mathsf{\_low\_i32x4\_s}$$

$$\def\mathdef1138#1{\mathtt{0x#1}}\mathdef1138{FD}~~\def\mathdef1139#1{\mathtt{0x#1}}\mathdef1139{FE}~~\def\mathdef1140#1{\mathtt{0x#1}}\mathdef1140{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

$$\href{../syntax/types.html#syntax-valtype}{\mathsf{f64x2}}.\href{../syntax/instructions.html#syntax-instr-vec}{\mathsf{convert}}\mathsf{\_low\_i32x4\_u}$$

$$\def\mathdef1141#1{\mathtt{0x#1}}\mathdef1141{FD}~~\def\mathdef1142#1{\mathtt{0x#1}}\mathdef1142{FF}~~\def\mathdef1143#1{\mathtt{0x#1}}\mathdef1143{01}$$

$$[\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}] \href{../syntax/types.html#syntax-functype}{\rightarrow} [\href{../syntax/types.html#syntax-valtype}{\mathsf{v128}}]$$

validation

Note

Multi-byte opcodes are given with the shortest possible encoding in the table. However, what is following the first byte is actually a u32 with variable-length encoding and consequently has multiple possible representations.