summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/opcode.def210
1 files changed, 105 insertions, 105 deletions
diff --git a/src/opcode.def b/src/opcode.def
index 103b6f57..d64efb4d 100644
--- a/src/opcode.def
+++ b/src/opcode.def
@@ -272,111 +272,111 @@ WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x1f, I64X2Sub, "i64x2.sub")
WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x20, I8X16Mul, "i8x16.mul")
WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x21, I16X8Mul, "i16x8.mul")
WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x22, I32X4Mul, "i32x4.mul")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x23, I8X16Neg, "i8x16.neg")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x24, I16X8Neg, "i16x8.neg")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x25, I32X4Neg, "i32x4.neg")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x26, I64X2Neg, "i64x2.neg")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x27, I8X16AddSaturateS, "i8x16.add_saturate_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x28, I8X16AddSaturateU, "i8x16.add_saturate_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x29, I16X8AddSaturateS, "i16x8.add_saturate_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2a, I16X8AddSaturateU, "i16x8.add_saturate_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2b, I8X16SubSaturateS, "i8x16.sub_saturate_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2c, I8X16SubSaturateU, "i8x16.sub_saturate_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2d, I16X8SubSaturateS, "i16x8.sub_saturate_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2e, I16X8SubSaturateU, "i16x8.sub_saturate_u")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x2f, I8X16Shl, "i8x16.shl")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x30, I16X8Shl, "i16x8.shl")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x31, I32X4Shl, "i32x4.shl")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x32, I64X2Shl, "i64x2.shl")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x33, I8X16ShrS, "i8x16.shr_s")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x34, I8X16ShrU, "i8x16.shr_u")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x35, I16X8ShrS, "i16x8.shr_s")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x36, I16X8ShrU, "i16x8.shr_u")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x37, I32X4ShrS, "i32x4.shr_s")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x38, I32X4ShrU, "i32x4.shr_u")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x39, I64X2ShrS, "i64x2.shr_s")
-WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x3a, I64X2ShrU, "i64x2.shr_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x3b, V128And, "v128.and")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x3c, V128Or, "v128.or")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x3d, V128Xor, "v128.xor")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x3e, V128Not, "v128.not")
-WABT_OPCODE(V128, V128, V128, V128, 0, 0xfd, 0x3f, V128BitSelect, "v128.bitselect")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x40, I8X16AnyTrue, "i8x16.any_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x41, I16X8AnyTrue, "i16x8.any_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x42, I32X4AnyTrue, "i32x4.any_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x43, I64X2AnyTrue, "i64x2.any_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x44, I8X16AllTrue, "i8x16.all_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x45, I16X8AllTrue, "i16x8.all_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x46, I32X4AllTrue, "i32x4.all_true")
-WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x47, I64X2AllTrue, "i64x2.all_true")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x48, I8X16Eq, "i8x16.eq")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x49, I16X8Eq, "i16x8.eq")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4a, I32X4Eq, "i32x4.eq")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4b, F32X4Eq, "f32x4.eq")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4c, F64X2Eq, "f64x2.eq")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4d, I8X16Ne, "i8x16.ne")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4e, I16X8Ne, "i16x8.ne")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4f, I32X4Ne, "i32x4.ne")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x50, F32X4Ne, "f32x4.ne")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x51, F64X2Ne, "f64x2.ne")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x52, I8X16LtS, "i8x16.lt_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x53, I8X16LtU, "i8x16.lt_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x54, I16X8LtS, "i16x8.lt_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x55, I16X8LtU, "i16x8.lt_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x56, I32X4LtS, "i32x4.lt_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x57, I32X4LtU, "i32x4.lt_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x58, F32X4Lt, "f32x4.lt")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x59, F64X2Lt, "f64x2.lt")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5a, I8X16LeS, "i8x16.le_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5b, I8X16LeU, "i8x16.le_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5c, I16X8LeS, "i16x8.le_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5d, I16X8LeU, "i16x8.le_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5e, I32X4LeS, "i32x4.le_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5f, I32X4LeU, "i32x4.le_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x60, F32X4Le, "f32x4.le")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x61, F64X2Le, "f64x2.le")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x62, I8X16GtS, "i8x16.gt_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x63, I8X16GtU, "i8x16.gt_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x64, I16X8GtS, "i16x8.gt_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x65, I16X8GtU, "i16x8.gt_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x66, I32X4GtS, "i32x4.gt_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x67, I32X4GtU, "i32x4.gt_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x68, F32X4Gt, "f32x4.gt")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x69, F64X2Gt, "f64x2.gt")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6a, I8X16GeS, "i8x16.ge_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6b, I8X16GeU, "i8x16.ge_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6c, I16X8GeS, "i16x8.ge_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6d, I16X8GeU, "i16x8.ge_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6e, I32X4GeS, "i32x4.ge_s")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6f, I32X4GeU, "i32x4.ge_u")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x70, F32X4Ge, "f32x4.ge")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x71, F64X2Ge, "f64x2.ge")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x72, F32X4Neg, "f32x4.neg")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x73, F64X2Neg, "f64x2.neg")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x74, F32X4Abs, "f32x4.abs")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x75, F64X2Abs, "f64x2.abs")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x76, F32X4Min, "f32x4.min")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x77, F64X2Min, "f64x2.min")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x78, F32X4Max, "f32x4.max")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x79, F64X2Max, "f64x2.max")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7a, F32X4Add, "f32x4.add")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7b, F64X2Add, "f64x2.add")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7c, F32X4Sub, "f32x4.sub")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7d, F64X2Sub, "f64x2.sub")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7e, F32X4Div, "f32x4.div")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7f, F64X2Div, "f64x2.div")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x80, F32X4Mul, "f32x4.mul")
-WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x81, F64X2Mul, "f64x2.mul")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x82, F32X4Sqrt, "f32x4.sqrt")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x83, F64X2Sqrt, "f64x2.sqrt")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x84, F32X4ConvertSI32X4, "f32x4.convert_s/i32x4")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x85, F32X4ConvertUI32X4, "f32x4.convert_u/i32x4")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x86, F64X2ConvertSI64X2, "f64x2.convert_s/i64x2")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x87, F64X2ConvertUI64X2, "f64x2.convert_u/i64x2")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x88, I32X4TruncSF32X4Sat,"i32x4.trunc_s/f32x4:sat")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x89, I32X4TruncUF32X4Sat,"i32x4.trunc_u/f32x4:sat")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x8a, I64X2TruncSF64X2Sat,"i64x2.trunc_s/f64x2:sat")
-WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x8b, I64X2TruncUF64X2Sat,"i64x2.trunc_u/f64x2:sat")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x24, I8X16Neg, "i8x16.neg")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x25, I16X8Neg, "i16x8.neg")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x26, I32X4Neg, "i32x4.neg")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x27, I64X2Neg, "i64x2.neg")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x28, I8X16AddSaturateS, "i8x16.add_saturate_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x29, I8X16AddSaturateU, "i8x16.add_saturate_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2a, I16X8AddSaturateS, "i16x8.add_saturate_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2b, I16X8AddSaturateU, "i16x8.add_saturate_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2c, I8X16SubSaturateS, "i8x16.sub_saturate_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2d, I8X16SubSaturateU, "i8x16.sub_saturate_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2e, I16X8SubSaturateS, "i16x8.sub_saturate_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x2f, I16X8SubSaturateU, "i16x8.sub_saturate_u")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x30, I8X16Shl, "i8x16.shl")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x31, I16X8Shl, "i16x8.shl")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x32, I32X4Shl, "i32x4.shl")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x33, I64X2Shl, "i64x2.shl")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x34, I8X16ShrS, "i8x16.shr_s")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x35, I8X16ShrU, "i8x16.shr_u")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x36, I16X8ShrS, "i16x8.shr_s")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x37, I16X8ShrU, "i16x8.shr_u")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x38, I32X4ShrS, "i32x4.shr_s")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x39, I32X4ShrU, "i32x4.shr_u")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x3a, I64X2ShrS, "i64x2.shr_s")
+WABT_OPCODE(V128, V128, I32, ___, 0, 0xfd, 0x3b, I64X2ShrU, "i64x2.shr_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x3c, V128And, "v128.and")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x3d, V128Or, "v128.or")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x3e, V128Xor, "v128.xor")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x3f, V128Not, "v128.not")
+WABT_OPCODE(V128, V128, V128, V128, 0, 0xfd, 0x40, V128BitSelect, "v128.bitselect")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x41, I8X16AnyTrue, "i8x16.any_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x42, I16X8AnyTrue, "i16x8.any_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x43, I32X4AnyTrue, "i32x4.any_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x44, I64X2AnyTrue, "i64x2.any_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x45, I8X16AllTrue, "i8x16.all_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x46, I16X8AllTrue, "i16x8.all_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x47, I32X4AllTrue, "i32x4.all_true")
+WABT_OPCODE(I32, V128, ___, ___, 0, 0xfd, 0x48, I64X2AllTrue, "i64x2.all_true")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x49, I8X16Eq, "i8x16.eq")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4a, I16X8Eq, "i16x8.eq")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4b, I32X4Eq, "i32x4.eq")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4d, F32X4Eq, "f32x4.eq")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4e, F64X2Eq, "f64x2.eq")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x4f, I8X16Ne, "i8x16.ne")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x50, I16X8Ne, "i16x8.ne")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x51, I32X4Ne, "i32x4.ne")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x53, F32X4Ne, "f32x4.ne")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x54, F64X2Ne, "f64x2.ne")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x55, I8X16LtS, "i8x16.lt_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x56, I8X16LtU, "i8x16.lt_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x57, I16X8LtS, "i16x8.lt_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x58, I16X8LtU, "i16x8.lt_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x59, I32X4LtS, "i32x4.lt_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5a, I32X4LtU, "i32x4.lt_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5d, F32X4Lt, "f32x4.lt")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5e, F64X2Lt, "f64x2.lt")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x5f, I8X16LeS, "i8x16.le_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x60, I8X16LeU, "i8x16.le_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x61, I16X8LeS, "i16x8.le_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x62, I16X8LeU, "i16x8.le_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x63, I32X4LeS, "i32x4.le_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x64, I32X4LeU, "i32x4.le_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x67, F32X4Le, "f32x4.le")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x68, F64X2Le, "f64x2.le")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x69, I8X16GtS, "i8x16.gt_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6a, I8X16GtU, "i8x16.gt_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6b, I16X8GtS, "i16x8.gt_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6c, I16X8GtU, "i16x8.gt_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6d, I32X4GtS, "i32x4.gt_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x6e, I32X4GtU, "i32x4.gt_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x71, F32X4Gt, "f32x4.gt")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x72, F64X2Gt, "f64x2.gt")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x73, I8X16GeS, "i8x16.ge_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x74, I8X16GeU, "i8x16.ge_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x75, I16X8GeS, "i16x8.ge_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x76, I16X8GeU, "i16x8.ge_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x77, I32X4GeS, "i32x4.ge_s")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x78, I32X4GeU, "i32x4.ge_u")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7b, F32X4Ge, "f32x4.ge")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x7c, F64X2Ge, "f64x2.ge")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x7d, F32X4Neg, "f32x4.neg")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x7e, F64X2Neg, "f64x2.neg")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x7f, F32X4Abs, "f32x4.abs")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x80, F64X2Abs, "f64x2.abs")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x81, F32X4Min, "f32x4.min")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x82, F64X2Min, "f64x2.min")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x83, F32X4Max, "f32x4.max")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x84, F64X2Max, "f64x2.max")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x85, F32X4Add, "f32x4.add")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x86, F64X2Add, "f64x2.add")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x87, F32X4Sub, "f32x4.sub")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x88, F64X2Sub, "f64x2.sub")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x89, F32X4Div, "f32x4.div")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x8a, F64X2Div, "f64x2.div")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x8b, F32X4Mul, "f32x4.mul")
+WABT_OPCODE(V128, V128, V128, ___, 0, 0xfd, 0x8c, F64X2Mul, "f64x2.mul")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x8d, F32X4Sqrt, "f32x4.sqrt")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x8e, F64X2Sqrt, "f64x2.sqrt")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x8f, F32X4ConvertSI32X4, "f32x4.convert_s/i32x4")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x90, F32X4ConvertUI32X4, "f32x4.convert_u/i32x4")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x91, F64X2ConvertSI64X2, "f64x2.convert_s/i64x2")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x92, F64X2ConvertUI64X2, "f64x2.convert_u/i64x2")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x93, I32X4TruncSF32X4Sat,"i32x4.trunc_s/f32x4:sat")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x94, I32X4TruncUF32X4Sat,"i32x4.trunc_u/f32x4:sat")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x95, I64X2TruncSF64X2Sat,"i64x2.trunc_s/f64x2:sat")
+WABT_OPCODE(V128, V128, ___, ___, 0, 0xfd, 0x96, I64X2TruncUF64X2Sat,"i64x2.trunc_u/f64x2:sat")
/* Thread opcodes (--enable-threads) */
WABT_OPCODE(I32, I32, I32, ___, 4, 0xfe, 0x00, AtomicWake, "atomic.wake")