Update v128.const text formats (#1934)

Parse the formats allowed by the spec proposal and emit the i32x4
canonical format.

1 files changed, 153 insertions, 138 deletions

diff --git a/test/simd.wast.from-wast b/test/simd.wast.from-wast
index 734d55366..fe1fd241d 100644
--- a/test/simd.wast.from-wast
+++ b/test/simd.wast.from-wast
@@ -26,782 +26,797 @@
    (local.get $1)
   )
  )
- (func $v128.const (; 2 ;) (type $2) (result v128)
-  (v128.const i32 0x00000001 0x00000002 0x00000003 0x00000004)
+ (func $v128.const.i8x16 (; 2 ;) (type $2) (result v128)
+  (v128.const i32x4 0x04030201 0x08070605 0x0c0b0a09 0x100f0e0d)
  )
- (func $v128.shuffle (; 3 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $v128.const.i16x8 (; 3 ;) (type $2) (result v128)
+  (v128.const i32x4 0x00020001 0x00040003 0x00060005 0x00080007)
+ )
+ (func $v128.const.i32x4 (; 4 ;) (type $2) (result v128)
+  (v128.const i32x4 0x00000001 0x00000002 0x00000003 0x00000004)
+ )
+ (func $v128.const.i64x2 (; 5 ;) (type $2) (result v128)
+  (v128.const i32x4 0x00000001 0x00000000 0x00000002 0x00000000)
+ )
+ (func $v128.const.f32x4 (; 6 ;) (type $2) (result v128)
+  (v128.const i32x4 0x3f800000 0x40000000 0x40400000 0x40800000)
+ )
+ (func $v128.const.f64x2 (; 7 ;) (type $2) (result v128)
+  (v128.const i32x4 0x00000000 0x3ff00000 0x00000000 0x40000000)
+ )
+ (func $v128.shuffle (; 8 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (v8x16.shuffle 0 17 2 19 4 21 6 23 8 25 10 27 12 29 14 31
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.splat (; 4 ;) (type $0) (param $0 i32) (result v128)
+ (func $i8x16.splat (; 9 ;) (type $0) (param $0 i32) (result v128)
   (i8x16.splat
    (local.get $0)
   )
  )
- (func $i8x16.extract_lane_s (; 5 ;) (type $4) (param $0 v128) (result i32)
+ (func $i8x16.extract_lane_s (; 10 ;) (type $4) (param $0 v128) (result i32)
   (i8x16.extract_lane_s 0
    (local.get $0)
   )
  )
- (func $i8x16.extract_lane_u (; 6 ;) (type $4) (param $0 v128) (result i32)
+ (func $i8x16.extract_lane_u (; 11 ;) (type $4) (param $0 v128) (result i32)
   (i8x16.extract_lane_u 0
    (local.get $0)
   )
  )
- (func $i8x16.replace_lane (; 7 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i8x16.replace_lane (; 12 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i8x16.replace_lane 0
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.splat (; 8 ;) (type $0) (param $0 i32) (result v128)
+ (func $i16x8.splat (; 13 ;) (type $0) (param $0 i32) (result v128)
   (i16x8.splat
    (local.get $0)
   )
  )
- (func $i16x8.extract_lane_s (; 9 ;) (type $4) (param $0 v128) (result i32)
+ (func $i16x8.extract_lane_s (; 14 ;) (type $4) (param $0 v128) (result i32)
   (i16x8.extract_lane_s 0
    (local.get $0)
   )
  )
- (func $i16x8.extract_lane_u (; 10 ;) (type $4) (param $0 v128) (result i32)
+ (func $i16x8.extract_lane_u (; 15 ;) (type $4) (param $0 v128) (result i32)
   (i16x8.extract_lane_u 0
    (local.get $0)
   )
  )
- (func $i16x8.replace_lane (; 11 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i16x8.replace_lane (; 16 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i16x8.replace_lane 0
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.splat (; 12 ;) (type $0) (param $0 i32) (result v128)
+ (func $i32x4.splat (; 17 ;) (type $0) (param $0 i32) (result v128)
   (i32x4.splat
    (local.get $0)
   )
  )
- (func $i32x4.extract_lane (; 13 ;) (type $4) (param $0 v128) (result i32)
+ (func $i32x4.extract_lane (; 18 ;) (type $4) (param $0 v128) (result i32)
   (i32x4.extract_lane 0
    (local.get $0)
   )
  )
- (func $i32x4.replace_lane (; 14 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i32x4.replace_lane (; 19 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i32x4.replace_lane 0
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i64x2.extract_lane (; 15 ;) (type $6) (param $0 v128) (result i64)
+ (func $i64x2.extract_lane (; 20 ;) (type $6) (param $0 v128) (result i64)
   (i64x2.extract_lane 0
    (local.get $0)
   )
  )
- (func $i64x2.replace_lane (; 16 ;) (type $7) (param $0 v128) (param $1 i64) (result v128)
+ (func $i64x2.replace_lane (; 21 ;) (type $7) (param $0 v128) (param $1 i64) (result v128)
   (i64x2.replace_lane 0
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.splat (; 17 ;) (type $8) (param $0 f32) (result v128)
+ (func $f32x4.splat (; 22 ;) (type $8) (param $0 f32) (result v128)
   (f32x4.splat
    (local.get $0)
   )
  )
- (func $f32x4.extract_lane (; 18 ;) (type $9) (param $0 v128) (result f32)
+ (func $f32x4.extract_lane (; 23 ;) (type $9) (param $0 v128) (result f32)
   (f32x4.extract_lane 0
    (local.get $0)
   )
  )
- (func $f32x4.replace_lane (; 19 ;) (type $10) (param $0 v128) (param $1 f32) (result v128)
+ (func $f32x4.replace_lane (; 24 ;) (type $10) (param $0 v128) (param $1 f32) (result v128)
   (f32x4.replace_lane 0
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.splat (; 20 ;) (type $11) (param $0 f64) (result v128)
+ (func $f64x2.splat (; 25 ;) (type $11) (param $0 f64) (result v128)
   (f64x2.splat
    (local.get $0)
   )
  )
- (func $f64x2.extract_lane (; 21 ;) (type $12) (param $0 v128) (result f64)
+ (func $f64x2.extract_lane (; 26 ;) (type $12) (param $0 v128) (result f64)
   (f64x2.extract_lane 0
    (local.get $0)
   )
  )
- (func $f64x2.replace_lane (; 22 ;) (type $13) (param $0 v128) (param $1 f64) (result v128)
+ (func $f64x2.replace_lane (; 27 ;) (type $13) (param $0 v128) (param $1 f64) (result v128)
   (f64x2.replace_lane 0
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.eq (; 23 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.eq (; 28 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.eq
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.ne (; 24 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.ne (; 29 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.ne
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.lt_s (; 25 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.lt_s (; 30 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.lt_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.lt_u (; 26 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.lt_u (; 31 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.lt_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.gt_s (; 27 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.gt_s (; 32 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.gt_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.gt_u (; 28 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.gt_u (; 33 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.gt_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.le_s (; 29 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.le_s (; 34 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.le_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.le_u (; 30 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.le_u (; 35 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.le_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.ge_s (; 31 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.ge_s (; 36 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.ge_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.ge_u (; 32 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.ge_u (; 37 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.ge_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.eq (; 33 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.eq (; 38 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.eq
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.ne (; 34 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.ne (; 39 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.ne
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.lt_s (; 35 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.lt_s (; 40 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.lt_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.lt_u (; 36 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.lt_u (; 41 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.lt_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.gt_s (; 37 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.gt_s (; 42 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.gt_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.gt_u (; 38 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.gt_u (; 43 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.gt_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.le_s (; 39 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.le_s (; 44 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.le_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.le_u (; 40 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.le_u (; 45 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.le_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.ge_s (; 41 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.ge_s (; 46 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.ge_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.ge_u (; 42 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.ge_u (; 47 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.ge_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.eq (; 43 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.eq (; 48 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.eq
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.ne (; 44 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.ne (; 49 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.ne
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.lt_s (; 45 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.lt_s (; 50 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.lt_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.lt_u (; 46 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.lt_u (; 51 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.lt_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.gt_s (; 47 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.gt_s (; 52 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.gt_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.gt_u (; 48 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.gt_u (; 53 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.gt_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.le_s (; 49 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.le_s (; 54 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.le_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.le_u (; 50 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.le_u (; 55 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.le_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.ge_s (; 51 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.ge_s (; 56 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.ge_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.ge_u (; 52 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.ge_u (; 57 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.ge_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.eq (; 53 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.eq (; 58 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.eq
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.ne (; 54 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.ne (; 59 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.ne
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.lt (; 55 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.lt (; 60 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.lt
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.gt (; 56 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.gt (; 61 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.gt
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.le (; 57 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.le (; 62 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.le
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.ge (; 58 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.ge (; 63 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.ge
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.eq (; 59 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.eq (; 64 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.eq
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.ne (; 60 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.ne (; 65 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.ne
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.lt (; 61 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.lt (; 66 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.lt
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.gt (; 62 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.gt (; 67 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.gt
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.le (; 63 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.le (; 68 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.le
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.ge (; 64 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.ge (; 69 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.ge
    (local.get $0)
    (local.get $1)
   )
  )
- (func $v128.not (; 65 ;) (type $14) (param $0 v128) (result v128)
+ (func $v128.not (; 70 ;) (type $14) (param $0 v128) (result v128)
   (v128.not
    (local.get $0)
   )
  )
- (func $v128.and (; 66 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $v128.and (; 71 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (v128.and
    (local.get $0)
    (local.get $1)
   )
  )
- (func $v128.or (; 67 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $v128.or (; 72 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (v128.or
    (local.get $0)
    (local.get $1)
   )
  )
- (func $v128.xor (; 68 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $v128.xor (; 73 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (v128.xor
    (local.get $0)
    (local.get $1)
   )
  )
- (func $v128.bitselect (; 69 ;) (type $15) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
+ (func $v128.bitselect (; 74 ;) (type $15) (param $0 v128) (param $1 v128) (param $2 v128) (result v128)
   (v128.bitselect
    (local.get $0)
    (local.get $1)
    (local.get $2)
   )
  )
- (func $i8x16.neg (; 70 ;) (type $14) (param $0 v128) (result v128)
+ (func $i8x16.neg (; 75 ;) (type $14) (param $0 v128) (result v128)
   (i8x16.neg
    (local.get $0)
   )
  )
- (func $i8x16.any_true (; 71 ;) (type $4) (param $0 v128) (result i32)
+ (func $i8x16.any_true (; 76 ;) (type $4) (param $0 v128) (result i32)
   (i8x16.any_true
    (local.get $0)
   )
  )
- (func $i8x16.all_true (; 72 ;) (type $4) (param $0 v128) (result i32)
+ (func $i8x16.all_true (; 77 ;) (type $4) (param $0 v128) (result i32)
   (i8x16.all_true
    (local.get $0)
   )
  )
- (func $i8x16.shl (; 73 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i8x16.shl (; 78 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i8x16.shl
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.shr_s (; 74 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i8x16.shr_s (; 79 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i8x16.shr_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.shr_u (; 75 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i8x16.shr_u (; 80 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i8x16.shr_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.add (; 76 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.add (; 81 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.add
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.add_saturate_s (; 77 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.add_saturate_s (; 82 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.add_saturate_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.add_saturate_u (; 78 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.add_saturate_u (; 83 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.add_saturate_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.sub (; 79 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.sub (; 84 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.sub
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.sub_saturate_s (; 80 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.sub_saturate_s (; 85 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.sub_saturate_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.sub_saturate_u (; 81 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.sub_saturate_u (; 86 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.sub_saturate_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i8x16.mul (; 82 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i8x16.mul (; 87 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i8x16.mul
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.neg (; 83 ;) (type $14) (param $0 v128) (result v128)
+ (func $i16x8.neg (; 88 ;) (type $14) (param $0 v128) (result v128)
   (i16x8.neg
    (local.get $0)
   )
  )
- (func $i16x8.any_true (; 84 ;) (type $4) (param $0 v128) (result i32)
+ (func $i16x8.any_true (; 89 ;) (type $4) (param $0 v128) (result i32)
   (i16x8.any_true
    (local.get $0)
   )
  )
- (func $i16x8.all_true (; 85 ;) (type $4) (param $0 v128) (result i32)
+ (func $i16x8.all_true (; 90 ;) (type $4) (param $0 v128) (result i32)
   (i16x8.all_true
    (local.get $0)
   )
  )
- (func $i16x8.shl (; 86 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i16x8.shl (; 91 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i16x8.shl
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.shr_s (; 87 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i16x8.shr_s (; 92 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i16x8.shr_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.shr_u (; 88 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i16x8.shr_u (; 93 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i16x8.shr_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.add (; 89 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.add (; 94 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.add
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.add_saturate_s (; 90 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.add_saturate_s (; 95 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.add_saturate_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.add_saturate_u (; 91 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.add_saturate_u (; 96 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.add_saturate_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.sub (; 92 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.sub (; 97 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.sub
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.sub_saturate_s (; 93 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.sub_saturate_s (; 98 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.sub_saturate_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.sub_saturate_u (; 94 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.sub_saturate_u (; 99 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.sub_saturate_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i16x8.mul (; 95 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i16x8.mul (; 100 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i16x8.mul
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.neg (; 96 ;) (type $14) (param $0 v128) (result v128)
+ (func $i32x4.neg (; 101 ;) (type $14) (param $0 v128) (result v128)
   (i32x4.neg
    (local.get $0)
   )
  )
- (func $i32x4.any_true (; 97 ;) (type $4) (param $0 v128) (result i32)
+ (func $i32x4.any_true (; 102 ;) (type $4) (param $0 v128) (result i32)
   (i32x4.any_true
    (local.get $0)
   )
  )
- (func $i32x4.all_true (; 98 ;) (type $4) (param $0 v128) (result i32)
+ (func $i32x4.all_true (; 103 ;) (type $4) (param $0 v128) (result i32)
   (i32x4.all_true
    (local.get $0)
   )
  )
- (func $i32x4.shl (; 99 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i32x4.shl (; 104 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i32x4.shl
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.shr_s (; 100 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i32x4.shr_s (; 105 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i32x4.shr_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.shr_u (; 101 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i32x4.shr_u (; 106 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i32x4.shr_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.add (; 102 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.add (; 107 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.add
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.sub (; 103 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.sub (; 108 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.sub
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i32x4.mul (; 104 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i32x4.mul (; 109 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i32x4.mul
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i64x2.neg (; 105 ;) (type $14) (param $0 v128) (result v128)
+ (func $i64x2.neg (; 110 ;) (type $14) (param $0 v128) (result v128)
   (i64x2.neg
    (local.get $0)
   )
  )
- (func $i64x2.any_true (; 106 ;) (type $4) (param $0 v128) (result i32)
+ (func $i64x2.any_true (; 111 ;) (type $4) (param $0 v128) (result i32)
   (i64x2.any_true
    (local.get $0)
   )
  )
- (func $i64x2.all_true (; 107 ;) (type $4) (param $0 v128) (result i32)
+ (func $i64x2.all_true (; 112 ;) (type $4) (param $0 v128) (result i32)
   (i64x2.all_true
    (local.get $0)
   )
  )
- (func $i64x2.shl (; 108 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i64x2.shl (; 113 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i64x2.shl
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i64x2.shr_s (; 109 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i64x2.shr_s (; 114 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i64x2.shr_s
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i64x2.shr_u (; 110 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
+ (func $i64x2.shr_u (; 115 ;) (type $5) (param $0 v128) (param $1 i32) (result v128)
   (i64x2.shr_u
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i64x2.add (; 111 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i64x2.add (; 116 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i64x2.add
    (local.get $0)
    (local.get $1)
   )
  )
- (func $i64x2.sub (; 112 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $i64x2.sub (; 117 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (i64x2.sub
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.add (; 113 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.add (; 118 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.add
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.sub (; 114 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.sub (; 119 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.sub
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.mul (; 115 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.mul (; 120 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.mul
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.div (; 116 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.div (; 121 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.div
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.min (; 117 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.min (; 122 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.min
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.max (; 118 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f32x4.max (; 123 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f32x4.max
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f32x4.abs (; 119 ;) (type $14) (param $0 v128) (result v128)
+ (func $f32x4.abs (; 124 ;) (type $14) (param $0 v128) (result v128)
   (f32x4.abs
    (local.get $0)
   )
  )
- (func $f32x4.neg (; 120 ;) (type $14) (param $0 v128) (result v128)
+ (func $f32x4.neg (; 125 ;) (type $14) (param $0 v128) (result v128)
   (f32x4.neg
    (local.get $0)
   )
  )
- (func $f32x4.sqrt (; 121 ;) (type $14) (param $0 v128) (result v128)
+ (func $f32x4.sqrt (; 126 ;) (type $14) (param $0 v128) (result v128)
   (f32x4.sqrt
    (local.get $0)
   )
  )
- (func $f64x2.add (; 122 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.add (; 127 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.add
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.sub (; 123 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.sub (; 128 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.sub
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.mul (; 124 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.mul (; 129 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.mul
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.div (; 125 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.div (; 130 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.div
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.min (; 126 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.min (; 131 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.min
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.max (; 127 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
+ (func $f64x2.max (; 132 ;) (type $3) (param $0 v128) (param $1 v128) (result v128)
   (f64x2.max
    (local.get $0)
    (local.get $1)
   )
  )
- (func $f64x2.abs (; 128 ;) (type $14) (param $0 v128) (result v128)
+ (func $f64x2.abs (; 133 ;) (type $14) (param $0 v128) (result v128)
   (f64x2.abs
    (local.get $0)
   )
  )
- (func $f64x2.neg (; 129 ;) (type $14) (param $0 v128) (result v128)
+ (func $f64x2.neg (; 134 ;) (type $14) (param $0 v128) (result v128)
   (f64x2.neg
    (local.get $0)
   )
  )
- (func $f64x2.sqrt (; 130 ;) (type $14) (param $0 v128) (result v128)
+ (func $f64x2.sqrt (; 135 ;) (type $14) (param $0 v128) (result v128)
   (f64x2.sqrt
    (local.get $0)
   )
  )
- (func $i32x4.trunc_sat_f32x4_s (; 131 ;) (type $14) (param $0 v128) (result v128)
+ (func $i32x4.trunc_sat_f32x4_s (; 136 ;) (type $14) (param $0 v128) (result v128)
   (i32x4.trunc_sat_f32x4_s
    (local.get $0)
   )
  )
- (func $i32x4.trunc_sat_f32x4_u (; 132 ;) (type $14) (param $0 v128) (result v128)
+ (func $i32x4.trunc_sat_f32x4_u (; 137 ;) (type $14) (param $0 v128) (result v128)
   (i32x4.trunc_sat_f32x4_u
    (local.get $0)
   )
  )
- (func $i64x2.trunc_sat_f64x2_s (; 133 ;) (type $14) (param $0 v128) (result v128)
+ (func $i64x2.trunc_sat_f64x2_s (; 138 ;) (type $14) (param $0 v128) (result v128)
   (i64x2.trunc_sat_f64x2_s
    (local.get $0)
   )
  )
- (func $i64x2.trunc_sat_f64x2_u (; 134 ;) (type $14) (param $0 v128) (result v128)
+ (func $i64x2.trunc_sat_f64x2_u (; 139 ;) (type $14) (param $0 v128) (result v128)
   (i64x2.trunc_sat_f64x2_u
    (local.get $0)
   )
  )
- (func $f32x4.convert_i32x4_s (; 135 ;) (type $14) (param $0 v128) (result v128)
+ (func $f32x4.convert_i32x4_s (; 140 ;) (type $14) (param $0 v128) (result v128)
   (f32x4.convert_i32x4_s
    (local.get $0)
   )
  )
- (func $f32x4.convert_i32x4_u (; 136 ;) (type $14) (param $0 v128) (result v128)
+ (func $f32x4.convert_i32x4_u (; 141 ;) (type $14) (param $0 v128) (result v128)
   (f32x4.convert_i32x4_u
    (local.get $0)
   )
  )
- (func $f64x2.convert_i64x2_s (; 137 ;) (type $14) (param $0 v128) (result v128)
+ (func $f64x2.convert_i64x2_s (; 142 ;) (type $14) (param $0 v128) (result v128)
   (f64x2.convert_i64x2_s
    (local.get $0)
   )
  )
- (func $f64x2.convert_i64x2_u (; 138 ;) (type $14) (param $0 v128) (result v128)
+ (func $f64x2.convert_i64x2_u (; 143 ;) (type $14) (param $0 v128) (result v128)
   (f64x2.convert_i64x2_u
    (local.get $0)
   )