Index of Instructions¶

Instruction	Binary Opcode	Type	Validation	Execution
$unreachable$	$0 x 00$	$[t_{1}^{}] \to [t_{2}^{}]$	validation	execution
$nop$	$0 x 01$	$[] \to []$	validation	execution
$block bt$	$0 x 02$	$[t_{1}^{}] \to [t_{2}^{}]$	validation	execution
$loop bt$	$0 x 03$	$[t_{1}^{}] \to [t_{2}^{}]$	validation	execution
$if bt$	$0 x 04$	$[t_{1}^{} i 32] \to [t_{2}^{}]$	validation	execution
$else$	$0 x 05$
(reserved)	$0 x 06$
(reserved)	$0 x 07$
(reserved)	$0 x 08$
(reserved)	$0 x 09$
(reserved)	$0 x 0 A$
$end$	$0 x 0 B$
$br l$	$0 x 0 C$	$[t_{1}^{} t^{}] \to [t_{2}^{*}]$	validation	execution
$br_if l$	$0 x 0 D$	$[t^{} i 32] \to [t^{}]$	validation	execution
$br_table l^{*} l$	$0 x 0 E$	$[t_{1}^{} t^{} i 32] \to [t_{2}^{*}]$	validation	execution
$return$	$0 x 0 F$	$[t_{1}^{} t^{}] \to [t_{2}^{*}]$	validation	execution
$call x$	$0 x 10$	$[t_{1}^{}] \to [t_{2}^{}]$	validation	execution
$call_indirect x y$	$0 x 11$	$[t_{1}^{} i 32] \to [t_{2}^{}]$	validation	execution
(reserved)	$0 x 12$
(reserved)	$0 x 13$
(reserved)	$0 x 14$
(reserved)	$0 x 15$
(reserved)	$0 x 16$
(reserved)	$0 x 17$
(reserved)	$0 x 18$
(reserved)	$0 x 19$
$drop$	$0 x 1 A$	$[t] \to []$	validation	execution
$select$	$0 x 1 B$	$[t t i 32] \to [t]$	validation	execution
$select t$	$0 x 1 C$	$[t t i 32] \to [t]$	validation	execution
(reserved)	$0 x 1 D$
(reserved)	$0 x 1 E$
(reserved)	$0 x 1 F$
$local . get x$	$0 x 20$	$[] \to [t]$	validation	execution
$local . set x$	$0 x 21$	$[t] \to []$	validation	execution
$local . tee x$	$0 x 22$	$[t] \to [t]$	validation	execution
$global . get x$	$0 x 23$	$[] \to [t]$	validation	execution
$global . set x$	$0 x 24$	$[t] \to []$	validation	execution
$table . get x$	$0 x 25$	$[i 32] \to [t]$	validation	execution
$table . set x$	$0 x 26$	$[i 32 t] \to []$	validation	execution
(reserved)	$0 x 27$
$i 32 . load x memarg$	$0 x 28$	$[i 32] \to [i 32]$	validation	execution
$i 64 . load x memarg$	$0 x 29$	$[i 32] \to [i 64]$	validation	execution
$f 32 . load x memarg$	$0 x 2 A$	$[i 32] \to [f 32]$	validation	execution
$f 64 . load x memarg$	$0 x 2 B$	$[i 32] \to [f 64]$	validation	execution
$i 32 . load 8_s x memarg$	$0 x 2 C$	$[i 32] \to [i 32]$	validation	execution
$i 32 . load 8_u x memarg$	$0 x 2 D$	$[i 32] \to [i 32]$	validation	execution
$i 32 . load 16_s x memarg$	$0 x 2 E$	$[i 32] \to [i 32]$	validation	execution
$i 32 . load 16_u x memarg$	$0 x 2 F$	$[i 32] \to [i 32]$	validation	execution
$i 64 . load 8_s x memarg$	$0 x 30$	$[i 32] \to [i 64]$	validation	execution
$i 64 . load 8_u x memarg$	$0 x 31$	$[i 32] \to [i 64]$	validation	execution
$i 64 . load 16_s x memarg$	$0 x 32$	$[i 32] \to [i 64]$	validation	execution
$i 64 . load 16_u x memarg$	$0 x 33$	$[i 32] \to [i 64]$	validation	execution
$i 64 . load 32_s x memarg$	$0 x 34$	$[i 32] \to [i 64]$	validation	execution
$i 64 . load 32_u x memarg$	$0 x 35$	$[i 32] \to [i 64]$	validation	execution
$i 32 . store x memarg$	$0 x 36$	$[i 32 i 32] \to []$	validation	execution
$i 64 . store x memarg$	$0 x 37$	$[i 32 i 64] \to []$	validation	execution
$f 32 . store x memarg$	$0 x 38$	$[i 32 f 32] \to []$	validation	execution
$f 64 . store x memarg$	$0 x 39$	$[i 32 f 64] \to []$	validation	execution
$i 32 . store 8 x memarg$	$0 x 3 A$	$[i 32 i 32] \to []$	validation	execution
$i 32 . store 16 x memarg$	$0 x 3 B$	$[i 32 i 32] \to []$	validation	execution
$i 64 . store 8 x memarg$	$0 x 3 C$	$[i 32 i 64] \to []$	validation	execution
$i 64 . store 16 x memarg$	$0 x 3 D$	$[i 32 i 64] \to []$	validation	execution
$i 64 . store 32 x memarg$	$0 x 3 E$	$[i 32 i 64] \to []$	validation	execution
$memory . size x$	$0 x 3 F$	$[] \to [i 32]$	validation	execution
$memory . grow x$	$0 x 40$	$[i 32] \to [i 32]$	validation	execution
$i 32 . const i 32$	$0 x 41$	$[] \to [i 32]$	validation	execution
$i 64 . const i 64$	$0 x 42$	$[] \to [i 64]$	validation	execution
$f 32 . const f 32$	$0 x 43$	$[] \to [f 32]$	validation	execution
$f 64 . const f 64$	$0 x 44$	$[] \to [f 64]$	validation	execution
$i 32 . eqz$	$0 x 45$	$[i 32] \to [i 32]$	validation	execution (operator)
$i 32 . eq$	$0 x 46$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . ne$	$0 x 47$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . lt_s$	$0 x 48$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . lt_u$	$0 x 49$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . gt_s$	$0 x 4 A$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . gt_u$	$0 x 4 B$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . le_s$	$0 x 4 C$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . le_u$	$0 x 4 D$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . ge_s$	$0 x 4 E$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . ge_u$	$0 x 4 F$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 64 . eqz$	$0 x 50$	$[i 64] \to [i 32]$	validation	execution (operator)
$i 64 . eq$	$0 x 51$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . ne$	$0 x 52$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . lt_s$	$0 x 53$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . lt_u$	$0 x 54$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . gt_s$	$0 x 55$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . gt_u$	$0 x 56$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . le_s$	$0 x 57$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . le_u$	$0 x 58$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . ge_s$	$0 x 59$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$i 64 . ge_u$	$0 x 5 A$	$[i 64 i 64] \to [i 32]$	validation	execution (operator)
$f 32 . eq$	$0 x 5 B$	$[f 32 f 32] \to [i 32]$	validation	execution (operator)
$f 32 . ne$	$0 x 5 C$	$[f 32 f 32] \to [i 32]$	validation	execution (operator)
$f 32 . lt$	$0 x 5 D$	$[f 32 f 32] \to [i 32]$	validation	execution (operator)
$f 32 . gt$	$0 x 5 E$	$[f 32 f 32] \to [i 32]$	validation	execution (operator)
$f 32 . le$	$0 x 5 F$	$[f 32 f 32] \to [i 32]$	validation	execution (operator)
$f 32 . ge$	$0 x 60$	$[f 32 f 32] \to [i 32]$	validation	execution (operator)
$f 64 . eq$	$0 x 61$	$[f 64 f 64] \to [i 32]$	validation	execution (operator)
$f 64 . ne$	$0 x 62$	$[f 64 f 64] \to [i 32]$	validation	execution (operator)
$f 64 . lt$	$0 x 63$	$[f 64 f 64] \to [i 32]$	validation	execution (operator)
$f 64 . gt$	$0 x 64$	$[f 64 f 64] \to [i 32]$	validation	execution (operator)
$f 64 . le$	$0 x 65$	$[f 64 f 64] \to [i 32]$	validation	execution (operator)
$f 64 . ge$	$0 x 66$	$[f 64 f 64] \to [i 32]$	validation	execution (operator)
$i 32 . clz$	$0 x 67$	$[i 32] \to [i 32]$	validation	execution (operator)
$i 32 . ctz$	$0 x 68$	$[i 32] \to [i 32]$	validation	execution (operator)
$i 32 . popcnt$	$0 x 69$	$[i 32] \to [i 32]$	validation	execution (operator)
$i 32 . add$	$0 x 6 A$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . sub$	$0 x 6 B$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . mul$	$0 x 6 C$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . div_s$	$0 x 6 D$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . div_u$	$0 x 6 E$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . rem_s$	$0 x 6 F$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . rem_u$	$0 x 70$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . and$	$0 x 71$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . or$	$0 x 72$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . xor$	$0 x 73$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . shl$	$0 x 74$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . shr_s$	$0 x 75$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . shr_u$	$0 x 76$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . rotl$	$0 x 77$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 32 . rotr$	$0 x 78$	$[i 32 i 32] \to [i 32]$	validation	execution (operator)
$i 64 . clz$	$0 x 79$	$[i 64] \to [i 64]$	validation	execution (operator)
$i 64 . ctz$	$0 x 7 A$	$[i 64] \to [i 64]$	validation	execution (operator)
$i 64 . popcnt$	$0 x 7 B$	$[i 64] \to [i 64]$	validation	execution (operator)
$i 64 . add$	$0 x 7 C$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . sub$	$0 x 7 D$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . mul$	$0 x 7 E$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . div_s$	$0 x 7 F$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . div_u$	$0 x 80$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . rem_s$	$0 x 81$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . rem_u$	$0 x 82$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . and$	$0 x 83$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . or$	$0 x 84$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . xor$	$0 x 85$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . shl$	$0 x 86$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . shr_s$	$0 x 87$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . shr_u$	$0 x 88$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . rotl$	$0 x 89$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$i 64 . rotr$	$0 x 8 A$	$[i 64 i 64] \to [i 64]$	validation	execution (operator)
$f 32 . abs$	$0 x 8 B$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . neg$	$0 x 8 C$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . ceil$	$0 x 8 D$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . floor$	$0 x 8 E$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . trunc$	$0 x 8 F$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . nearest$	$0 x 90$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . sqrt$	$0 x 91$	$[f 32] \to [f 32]$	validation	execution (operator)
$f 32 . add$	$0 x 92$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 32 . sub$	$0 x 93$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 32 . mul$	$0 x 94$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 32 . div$	$0 x 95$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 32 . \min$	$0 x 96$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 32 . \max$	$0 x 97$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 32 . copysign$	$0 x 98$	$[f 32 f 32] \to [f 32]$	validation	execution (operator)
$f 64 . abs$	$0 x 99$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . neg$	$0 x 9 A$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . ceil$	$0 x 9 B$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . floor$	$0 x 9 C$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . trunc$	$0 x 9 D$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . nearest$	$0 x 9 E$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . sqrt$	$0 x 9 F$	$[f 64] \to [f 64]$	validation	execution (operator)
$f 64 . add$	$0 xA 0$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$f 64 . sub$	$0 xA 1$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$f 64 . mul$	$0 xA 2$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$f 64 . div$	$0 xA 3$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$f 64 . \min$	$0 xA 4$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$f 64 . \max$	$0 xA 5$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$f 64 . copysign$	$0 xA 6$	$[f 64 f 64] \to [f 64]$	validation	execution (operator)
$i 32 . wrap_i 64$	$0 xA 7$	$[i 64] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_f 32_s$	$0 xA 8$	$[f 32] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_f 32_u$	$0 xA 9$	$[f 32] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_f 64_s$	$0 xAA$	$[f 64] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_f 64_u$	$0 xAB$	$[f 64] \to [i 32]$	validation	execution (operator)
$i 64 . extend_i 32_s$	$0 xAC$	$[i 32] \to [i 64]$	validation	execution (operator)
$i 64 . extend_i 32_u$	$0 xAD$	$[i 32] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_f 32_s$	$0 xAE$	$[f 32] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_f 32_u$	$0 xAF$	$[f 32] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_f 64_s$	$0 xB 0$	$[f 64] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_f 64_u$	$0 xB 1$	$[f 64] \to [i 64]$	validation	execution (operator)
$f 32 . convert_i 32_s$	$0 xB 2$	$[i 32] \to [f 32]$	validation	execution (operator)
$f 32 . convert_i 32_u$	$0 xB 3$	$[i 32] \to [f 32]$	validation	execution (operator)
$f 32 . convert_i 64_s$	$0 xB 4$	$[i 64] \to [f 32]$	validation	execution (operator)
$f 32 . convert_i 64_u$	$0 xB 5$	$[i 64] \to [f 32]$	validation	execution (operator)
$f 32 . demote_f 64$	$0 xB 6$	$[f 64] \to [f 32]$	validation	execution (operator)
$f 64 . convert_i 32_s$	$0 xB 7$	$[i 32] \to [f 64]$	validation	execution (operator)
$f 64 . convert_i 32_u$	$0 xB 8$	$[i 32] \to [f 64]$	validation	execution (operator)
$f 64 . convert_i 64_s$	$0 xB 9$	$[i 64] \to [f 64]$	validation	execution (operator)
$f 64 . convert_i 64_u$	$0 xBA$	$[i 64] \to [f 64]$	validation	execution (operator)
$f 64 . promote_f 32$	$0 xBB$	$[f 32] \to [f 64]$	validation	execution (operator)
$i 32 . reinterpret_f 32$	$0 xBC$	$[f 32] \to [i 32]$	validation	execution (operator)
$i 64 . reinterpret_f 64$	$0 xBD$	$[f 64] \to [i 64]$	validation	execution (operator)
$f 32 . reinterpret_i 32$	$0 xBE$	$[i 32] \to [f 32]$	validation	execution (operator)
$f 64 . reinterpret_i 64$	$0 xBF$	$[i 64] \to [f 64]$	validation	execution (operator)
$i 32 . extend 8_s$	$0 xC 0$	$[i 32] \to [i 32]$	validation	execution (operator)
$i 32 . extend 16_s$	$0 xC 1$	$[i 32] \to [i 32]$	validation	execution (operator)
$i 64 . extend 8_s$	$0 xC 2$	$[i 64] \to [i 64]$	validation	execution (operator)
$i 64 . extend 16_s$	$0 xC 3$	$[i 64] \to [i 64]$	validation	execution (operator)
$i 64 . extend 32_s$	$0 xC 4$	$[i 64] \to [i 64]$	validation	execution (operator)
(reserved)	$0 xC 5$
(reserved)	$0 xC 6$
(reserved)	$0 xC 7$
(reserved)	$0 xC 8$
(reserved)	$0 xC 9$
(reserved)	$0 xCA$
(reserved)	$0 xCB$
(reserved)	$0 xCC$
(reserved)	$0 xCD$
(reserved)	$0 xCE$
(reserved)	$0 xCF$
$ref . null t$	$0 xD 0$	$[] \to [t]$	validation	execution
$ref . is_null$	$0 xD 1$	$[t] \to [i 32]$	validation	execution
$ref . func x$	$0 xD 2$	$[] \to [funcref]$	validation	execution
(reserved)	$0 xD 3$
(reserved)	$0 xD 4$
(reserved)	$0 xD 5$
(reserved)	$0 xD 6$
(reserved)	$0 xD 7$
(reserved)	$0 xD 8$
(reserved)	$0 xD 9$
(reserved)	$0 xDA$
(reserved)	$0 xDB$
(reserved)	$0 xDC$
(reserved)	$0 xDD$
(reserved)	$0 xDE$
(reserved)	$0 xDF$
(reserved)	$0 xE 0$
(reserved)	$0 xE 1$
(reserved)	$0 xE 2$
(reserved)	$0 xE 3$
(reserved)	$0 xE 4$
(reserved)	$0 xE 5$
(reserved)	$0 xE 6$
(reserved)	$0 xE 7$
(reserved)	$0 xE 8$
(reserved)	$0 xE 9$
(reserved)	$0 xEA$
(reserved)	$0 xEB$
(reserved)	$0 xEC$
(reserved)	$0 xED$
(reserved)	$0 xEE$
(reserved)	$0 xEF$
(reserved)	$0 xF 0$
(reserved)	$0 xF 1$
(reserved)	$0 xF 2$
(reserved)	$0 xF 3$
(reserved)	$0 xF 4$
(reserved)	$0 xF 5$
(reserved)	$0 xF 6$
(reserved)	$0 xF 7$
(reserved)	$0 xF 8$
(reserved)	$0 xF 9$
(reserved)	$0 xFA$
(reserved)	$0 xFB$
$i 32 . trunc_sat_f 32_s$	$0 xFC 0 x 00$	$[f 32] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_sat_f 32_u$	$0 xFC 0 x 01$	$[f 32] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_sat_f 64_s$	$0 xFC 0 x 02$	$[f 64] \to [i 32]$	validation	execution (operator)
$i 32 . trunc_sat_f 64_u$	$0 xFC 0 x 03$	$[f 64] \to [i 32]$	validation	execution (operator)
$i 64 . trunc_sat_f 32_s$	$0 xFC 0 x 04$	$[f 32] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_sat_f 32_u$	$0 xFC 0 x 05$	$[f 32] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_sat_f 64_s$	$0 xFC 0 x 06$	$[f 64] \to [i 64]$	validation	execution (operator)
$i 64 . trunc_sat_f 64_u$	$0 xFC 0 x 07$	$[f 64] \to [i 64]$	validation	execution (operator)
$memory . init x y$	$0 xFC 0 x 08$	$[i 32 i 32 i 32] \to []$	validation	execution
$data . drop x$	$0 xFC 0 x 09$	$[] \to []$	validation	execution
$memory . copy x y$	$0 xFC 0 x 0 A$	$[i 32 i 32 i 32] \to []$	validation	execution
$memory . fill y$	$0 xFC 0 x 0 B$	$[i 32 i 32 i 32] \to []$	validation	execution
$table . init x y$	$0 xFC 0 x 0 C$	$[i 32 i 32 i 32] \to []$	validation	execution
$elem . drop x$	$0 xFC 0 x 0 D$	$[] \to []$	validation	execution
$table . copy x y$	$0 xFC 0 x 0 E$	$[i 32 i 32 i 32] \to []$	validation	execution
$table . grow x$	$0 xFC 0 x 0 F$	$[t i 32] \to [i 32]$	validation	execution
$table . size x$	$0 xFC 0 x 10$	$[] \to [i 32]$	validation	execution
$table . fill x$	$0 xFC 0 x 11$	$[i 32 t i 32] \to []$	validation	execution
$v 128 . load x memarg$	$0 xFD 0 x 00$	$[i 32] \to [v 128]$	validation	execution
$i 16 x 8 . load 8 x 8_s x memarg$	$0 xFD 0 x 01$	$[i 32] \to [v 128]$	validation	execution
$i 16 x 8 . load 8 x 8_u x memarg$	$0 xFD 0 x 02$	$[i 32] \to [v 128]$	validation	execution
$i 32 x 4 . load 16 x 4_s x memarg$	$0 xFD 0 x 03$	$[i 32] \to [v 128]$	validation	execution
$i 32 x 4 . load 16 x 4_u x memarg$	$0 xFD 0 x 04$	$[i 32] \to [v 128]$	validation	execution
$i 64 x 2 . load 32 x 2_s x memarg$	$0 xFD 0 x 05$	$[i 32] \to [v 128]$	validation	execution
$i 64 x 2 . load 32 x 2_u x memarg$	$0 xFD 0 x 06$	$[i 32] \to [v 128]$	validation	execution
$i 8 x 16 . load_splat x memarg$	$0 xFD 0 x 07$	$[i 32] \to [v 128]$	validation	execution
$i 16 x 8 . load_splat x memarg$	$0 xFD 0 x 08$	$[i 32] \to [v 128]$	validation	execution
$i 32 x 4 . load_splat x memarg$	$0 xFD 0 x 09$	$[i 32] \to [v 128]$	validation	execution
$i 64 x 2 . load_splat x memarg$	$0 xFD 0 x 0 A$	$[i 32] \to [v 128]$	validation	execution
$v 128 . store x memarg$	$0 xFD 0 x 0 B$	$[i 32 v 128] \to []$	validation	execution
$v 128 . const i 128$	$0 xFD 0 x 0 C$	$[] \to [v 128]$	validation	execution
$i 8 x 16 . shuffle {laneidx}^{16}$	$0 xFD 0 x 0 D$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 8 x 16 . swizzle$	$0 xFD 0 x 0 E$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 8 x 16 . splat$	$0 xFD 0 x 0 F$	$[i 32] \to [v 128]$	validation	execution
$i 16 x 8 . splat$	$0 xFD 0 x 10$	$[i 32] \to [v 128]$	validation	execution
$i 32 x 4 . splat$	$0 xFD 0 x 11$	$[i 32] \to [v 128]$	validation	execution
$i 64 x 2 . splat$	$0 xFD 0 x 12$	$[i 64] \to [v 128]$	validation	execution
$f 32 x 4 . splat$	$0 xFD 0 x 13$	$[f 32] \to [v 128]$	validation	execution
$f 64 x 2 . splat$	$0 xFD 0 x 14$	$[f 64] \to [v 128]$	validation	execution
$i 8 x 16 . extract_lane_s laneidx$	$0 xFD 0 x 15$	$[v 128] \to [i 32]$	validation	execution
$i 8 x 16 . extract_lane_u laneidx$	$0 xFD 0 x 16$	$[v 128] \to [i 32]$	validation	execution
$i 8 x 16 . replace_lane laneidx$	$0 xFD 0 x 17$	$[v 128 i 32] \to [v 128]$	validation	execution
$i 16 x 8 . extract_lane_s laneidx$	$0 xFD 0 x 18$	$[v 128] \to [i 32]$	validation	execution
$i 16 x 8 . extract_lane_u laneidx$	$0 xFD 0 x 19$	$[v 128] \to [i 32]$	validation	execution
$i 16 x 8 . replace_lane laneidx$	$0 xFD 0 x 1 A$	$[v 128 i 32] \to [v 128]$	validation	execution
$i 32 x 4 . extract_lane laneidx$	$0 xFD 0 x 1 B$	$[v 128] \to [i 32]$	validation	execution
$i 32 x 4 . replace_lane laneidx$	$0 xFD 0 x 1 C$	$[v 128 i 32] \to [v 128]$	validation	execution
$i 64 x 2 . extract_lane laneidx$	$0 xFD 0 x 1 D$	$[v 128] \to [i 64]$	validation	execution
$i 64 x 2 . replace_lane laneidx$	$0 xFD 0 x 1 E$	$[v 128 i 64] \to [v 128]$	validation	execution
$f 32 x 4 . extract_lane laneidx$	$0 xFD 0 x 1 F$	$[v 128] \to [f 32]$	validation	execution
$f 32 x 4 . replace_lane laneidx$	$0 xFD 0 x 20$	$[v 128 f 32] \to [v 128]$	validation	execution
$f 64 x 2 . extract_lane laneidx$	$0 xFD 0 x 21$	$[v 128] \to [f 64]$	validation	execution
$f 64 x 2 . replace_lane laneidx$	$0 xFD 0 x 22$	$[v 128 f 64] \to [v 128]$	validation	execution
$i 8 x 16 . eq$	$0 xFD 0 x 23$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . ne$	$0 xFD 0 x 24$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . lt_s$	$0 xFD 0 x 25$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . lt_u$	$0 xFD 0 x 26$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . gt_s$	$0 xFD 0 x 27$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . gt_u$	$0 xFD 0 x 28$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . le_s$	$0 xFD 0 x 29$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . le_u$	$0 xFD 0 x 2 A$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . ge_s$	$0 xFD 0 x 2 B$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . ge_u$	$0 xFD 0 x 2 C$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . eq$	$0 xFD 0 x 2 D$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . ne$	$0 xFD 0 x 2 E$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . lt_s$	$0 xFD 0 x 2 F$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . lt_u$	$0 xFD 0 x 30$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . gt_s$	$0 xFD 0 x 31$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . gt_u$	$0 xFD 0 x 32$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . le_s$	$0 xFD 0 x 33$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . le_u$	$0 xFD 0 x 34$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . ge_s$	$0 xFD 0 x 35$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . ge_u$	$0 xFD 0 x 36$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . eq$	$0 xFD 0 x 37$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . ne$	$0 xFD 0 x 38$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . lt_s$	$0 xFD 0 x 39$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . lt_u$	$0 xFD 0 x 3 A$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . gt_s$	$0 xFD 0 x 3 B$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . gt_u$	$0 xFD 0 x 3 C$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . le_s$	$0 xFD 0 x 3 D$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . le_u$	$0 xFD 0 x 3 E$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . ge_s$	$0 xFD 0 x 3 F$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . ge_u$	$0 xFD 0 x 40$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . eq$	$0 xFD 0 x 41$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . ne$	$0 xFD 0 x 42$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . lt$	$0 xFD 0 x 43$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . gt$	$0 xFD 0 x 44$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . le$	$0 xFD 0 x 45$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . ge$	$0 xFD 0 x 46$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . eq$	$0 xFD 0 x 47$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . ne$	$0 xFD 0 x 48$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . lt$	$0 xFD 0 x 49$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . gt$	$0 xFD 0 x 4 A$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . le$	$0 xFD 0 x 4 B$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . ge$	$0 xFD 0 x 4 C$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$v 128 . not$	$0 xFD 0 x 4 D$	$[v 128] \to [v 128]$	validation	execution (operator)
$v 128 . and$	$0 xFD 0 x 4 E$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$v 128 . andnot$	$0 xFD 0 x 4 F$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$v 128 . or$	$0 xFD 0 x 50$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$v 128 . xor$	$0 xFD 0 x 51$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$v 128 . bitselect$	$0 xFD 0 x 52$	$[v 128 v 128 v 128] \to [v 128]$	validation	execution (operator)
$v 128 . any_true$	$0 xFD 0 x 53$	$[v 128] \to [i 32]$	validation	execution
$v 128 . load 8_lane memarg laneidx$	$0 xFD 0 x 54$	$[i 32 v 128] \to [v 128]$	validation	execution
$v 128 . load 16_lane memarg laneidx$	$0 xFD 0 x 55$	$[i 32 v 128] \to [v 128]$	validation	execution
$v 128 . load 32_lane memarg laneidx$	$0 xFD 0 x 56$	$[i 32 v 128] \to [v 128]$	validation	execution
$v 128 . load 64_lane memarg laneidx$	$0 xFD 0 x 57$	$[i 32 v 128] \to [v 128]$	validation	execution
$v 128 . store 8_lane memarg laneidx$	$0 xFD 0 x 58$	$[i 32 v 128] \to []$	validation	execution
$v 128 . store 16_lane memarg laneidx$	$0 xFD 0 x 59$	$[i 32 v 128] \to []$	validation	execution
$v 128 . store 32_lane memarg laneidx$	$0 xFD 0 x 5 A$	$[i 32 v 128] \to []$	validation	execution
$v 128 . store 64_lane memarg laneidx$	$0 xFD 0 x 5 B$	$[i 32 v 128] \to []$	validation	execution
$v 128 . load 32_zero memarg$	$0 xFD 0 x 5 C$	$[i 32] \to [v 128]$	validation	execution
$v 128 . load 64_zero memarg$	$0 xFD 0 x 5 D$	$[i 32] \to [v 128]$	validation	execution
$f 32 x 4 . demote_f 64 x 2_zero$	$0 xFD 0 x 5 E$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . promote_low_f 32 x 4$	$0 xFD 0 x 5 F$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . abs$	$0 xFD 0 x 60$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . neg$	$0 xFD 0 x 61$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . popcnt$	$0 xFD 0 x 62$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . all_true$	$0 xFD 0 x 63$	$[v 128] \to [i 32]$	validation	execution
$i 8 x 16 . bitmask$	$0 xFD 0 x 64$	$[v 128] \to [i 32]$	validation	execution
$i 8 x 16 . narrow_i 16 x 8_s$	$0 xFD 0 x 65$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 8 x 16 . narrow_i 16 x 8_u$	$0 xFD 0 x 66$	$[v 128 v 128] \to [v 128]$	validation	execution
$f 32 x 4 . ceil$	$0 xFD 0 x 67$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . floor$	$0 xFD 0 x 68$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . trunc$	$0 xFD 0 x 69$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . nearest$	$0 xFD 0 x 6 A$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . shl$	$0 xFD 0 x 6 B$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . shr_s$	$0 xFD 0 x 6 C$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . shr_u$	$0 xFD 0 x 6 D$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . add$	$0 xFD 0 x 6 E$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . add_sat_s$	$0 xFD 0 x 6 F$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . add_sat_u$	$0 xFD 0 x 70$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . sub$	$0 xFD 0 x 71$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . sub_sat_s$	$0 xFD 0 x 72$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . sub_sat_u$	$0 xFD 0 x 73$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . ceil$	$0 xFD 0 x 74$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . floor$	$0 xFD 0 x 75$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . \min_s$	$0 xFD 0 x 76$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . \min_u$	$0 xFD 0 x 77$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . \max_s$	$0 xFD 0 x 78$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . \max_u$	$0 xFD 0 x 79$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . trunc$	$0 xFD 0 x 7 A$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 8 x 16 . avgr_u$	$0 xFD 0 x 7 B$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . extadd_pairwise_i 8 x 16_s$	$0 xFD 0 x 7 C$	$[v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extadd_pairwise_i 8 x 16_u$	$0 xFD 0 x 7 D$	$[v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extadd_pairwise_i 16 x 8_s$	$0 xFD 0 x 7 E$	$[v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extadd_pairwise_i 16 x 8_u$	$0 xFD 0 x 7 F$	$[v 128] \to [v 128]$	validation	execution
$i 16 x 8 . abs$	$0 xFD 0 x 80 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . neg$	$0 xFD 0 x 81 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . q 15 mulr_sat_s$	$0 xFD 0 x 82 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . all_true$	$0 xFD 0 x 83 0 x 01$	$[v 128] \to [i 32]$	validation	execution
$i 16 x 8 . bitmask$	$0 xFD 0 x 84 0 x 01$	$[v 128] \to [i 32]$	validation	execution
$i 16 x 8 . narrow_i 32 x 4_s$	$0 xFD 0 x 85 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 16 x 8 . narrow_i 32 x 4_u$	$0 xFD 0 x 86 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extend_low_i 8 x 16_s$	$0 xFD 0 x 87 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extend_high_i 8 x 16_s$	$0 xFD 0 x 88 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extend_low_i 8 x 16_u$	$0 xFD 0 x 89 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extend_high_i 8 x 16_u$	$0 xFD 0 x 8 A 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 16 x 8 . shl$	$0 xFD 0 x 8 B 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . shr_s$	$0 xFD 0 x 8 C 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . shr_u$	$0 xFD 0 x 8 D 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . add$	$0 xFD 0 x 8 E 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . add_sat_s$	$0 xFD 0 x 8 F 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . add_sat_u$	$0 xFD 0 x 90 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . sub$	$0 xFD 0 x 91 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . sub_sat_s$	$0 xFD 0 x 92 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . sub_sat_u$	$0 xFD 0 x 93 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . nearest$	$0 xFD 0 x 94 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . mul$	$0 xFD 0 x 95 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . \min_s$	$0 xFD 0 x 96 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . \min_u$	$0 xFD 0 x 97 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . \max_s$	$0 xFD 0 x 98 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . \max_u$	$0 xFD 0 x 99 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . avgr_u$	$0 xFD 0 x 9 B 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 16 x 8 . extmul_low_i 8 x 16_s$	$0 xFD 0 x 9 C 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extmul_high_i 8 x 16_s$	$0 xFD 0 x 9 D 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extmul_low_i 8 x 16_u$	$0 xFD 0 x 9 E 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 16 x 8 . extmul_high_i 8 x 16_u$	$0 xFD 0 x 9 F 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 32 x 4 . abs$	$0 xFD 0 xA 0 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . neg$	$0 xFD 0 xA 1 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . all_true$	$0 xFD 0 xA 3 0 x 01$	$[v 128] \to [i 32]$	validation	execution
$i 32 x 4 . bitmask$	$0 xFD 0 xA 4 0 x 01$	$[v 128] \to [i 32]$	validation	execution
$i 32 x 4 . extend_low_i 16 x 8_s$	$0 xFD 0 xA 7 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extend_high_i 16 x 8_s$	$0 xFD 0 xA 8 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extend_low_i 16 x 8_u$	$0 xFD 0 xA 9 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extend_high_i 16 x 8_u$	$0 xFD 0 xAA 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 32 x 4 . shl$	$0 xFD 0 xAB 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . shr_s$	$0 xFD 0 xAC 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . shr_u$	$0 xFD 0 xAD 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . add$	$0 xFD 0 xAE 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . sub$	$0 xFD 0 xB 1 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . mul$	$0 xFD 0 xB 5 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . \min_s$	$0 xFD 0 xB 6 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . \min_u$	$0 xFD 0 xB 7 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . \max_s$	$0 xFD 0 xB 8 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . \max_u$	$0 xFD 0 xB 9 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . dot_i 16 x 8_s$	$0 xFD 0 xBA 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extmul_low_i 16 x 8_s$	$0 xFD 0 xBC 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extmul_high_i 16 x 8_s$	$0 xFD 0 xBD 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extmul_low_i 16 x 8_u$	$0 xFD 0 xBE 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 32 x 4 . extmul_high_i 16 x 8_u$	$0 xFD 0 xBF 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 64 x 2 . abs$	$0 xFD 0 xC 0 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . neg$	$0 xFD 0 xC 1 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . all_true$	$0 xFD 0 xC 3 0 x 01$	$[v 128] \to [i 32]$	validation	execution
$i 64 x 2 . bitmask$	$0 xFD 0 xC 4 0 x 01$	$[v 128] \to [i 32]$	validation	execution
$i 64 x 2 . extend_low_i 32 x 4_s$	$0 xFD 0 xC 7 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 64 x 2 . extend_high_i 32 x 4_s$	$0 xFD 0 xC 8 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 64 x 2 . extend_low_i 32 x 4_u$	$0 xFD 0 xC 9 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 64 x 2 . extend_high_i 32 x 4_u$	$0 xFD 0 xCA 0 x 01$	$[v 128] \to [v 128]$	validation	execution
$i 64 x 2 . shl$	$0 xFD 0 xCB 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . shr_s$	$0 xFD 0 xCC 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . shr_u$	$0 xFD 0 xCD 0 x 01$	$[v 128 i 32] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . add$	$0 xFD 0 xCE 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . sub$	$0 xFD 0 xD 1 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . mul$	$0 xFD 0 xD 5 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . eq$	$0 xFD 0 xD 6 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . ne$	$0 xFD 0 xD 7 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . lt_s$	$0 xFD 0 xD 8 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . gt_s$	$0 xFD 0 xD 9 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . le_s$	$0 xFD 0 xDA 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . ge_s$	$0 xFD 0 xDB 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 64 x 2 . extmul_low_i 32 x 4_s$	$0 xFD 0 xDC 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 64 x 2 . extmul_high_i 32 x 4_s$	$0 xFD 0 xDD 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 64 x 2 . extmul_low_i 32 x 4_u$	$0 xFD 0 xDE 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$i 64 x 2 . extmul_high_i 32 x 4_u$	$0 xFD 0 xDF 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution
$f 32 x 4 . abs$	$0 xFD 0 xE 0 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . neg$	$0 xFD 0 xE 1 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . sqrt$	$0 xFD 0 xE 3 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . add$	$0 xFD 0 xE 4 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . sub$	$0 xFD 0 xE 5 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . mul$	$0 xFD 0 xE 6 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . div$	$0 xFD 0 xE 7 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . \min$	$0 xFD 0 xE 8 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . \max$	$0 xFD 0 xE 9 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . pmin$	$0 xFD 0 xEA 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . pmax$	$0 xFD 0 xEB 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . abs$	$0 xFD 0 xEC 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . neg$	$0 xFD 0 xED 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . sqrt$	$0 xFD 0 xEF 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . add$	$0 xFD 0 xF 0 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . sub$	$0 xFD 0 xF 1 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . mul$	$0 xFD 0 xF 2 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . div$	$0 xFD 0 xF 3 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . \min$	$0 xFD 0 xF 4 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . \max$	$0 xFD 0 xF 5 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . pmin$	$0 xFD 0 xF 6 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . pmax$	$0 xFD 0 xF 7 0 x 01$	$[v 128 v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . trunc_sat_f 32 x 4_s$	$0 xFD 0 xF 8 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . trunc_sat_f 32 x 4_u$	$0 xFD 0 xF 9 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . convert_i 32 x 4_s$	$0 xFD 0 xFA 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 32 x 4 . convert_i 32 x 4_u$	$0 xFD 0 xFB 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . trunc_sat_f 64 x 2_s_zero$	$0 xFD 0 xFC 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$i 32 x 4 . trunc_sat_f 64 x 2_u_zero$	$0 xFD 0 xFD 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . convert_low_i 32 x 4_s$	$0 xFD 0 xFE 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)
$f 64 x 2 . convert_low_i 32 x 4_u$	$0 xFD 0 xFF 0 x 01$	$[v 128] \to [v 128]$	validation	execution (operator)

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.