1 files changed, 94 insertions, 94 deletions
diff --git a/test/passes/optimize-instructions_enable-threads.txt b/test/passes/optimize-instructions_enable-threads.txt
index ef3122a89..8f9ee1843 100644
--- a/test/passes/optimize-instructions_enable-threads.txt
+++ b/test/passes/optimize-instructions_enable-threads.txt
@@ -1,21 +1,21 @@
 (module
- (type $0 (func (param i32 i64)))
- (type $FUNCSIG$v (func))
- (type $FUNCSIG$viidd (func (param i32 i32 f64 f64)))
- (type $FUNCSIG$i (func (result i32)))
- (type $FUNCSIG$ii (func (param i32) (result i32)))
- (type $FUNCSIG$vii (func (param i32 i32)))
- (type $FUNCSIG$vi (func (param i32)))
- (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
- (type $FUNCSIG$jj (func (param i64) (result i64)))
- (type $FUNCSIG$j (func (result i64)))
- (type $FUNCSIG$vijfd (func (param i32 i64 f32 f64)))
- (type $FUNCSIG$vijf (func (param i32 i64 f32)))
- (type $FUNCSIG$vijdi (func (param i32 i64 f64 i32)))
- (type $FUNCSIG$d (func (result f64)))
+ (type $i32_i32_=>_none (func (param i32 i32)))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
+ (type $i32_=>_none (func (param i32)))
+ (type $i32_i64_=>_none (func (param i32 i64)))
+ (type $none_=>_i64 (func (result i64)))
+ (type $i32_i64_f32_=>_none (func (param i32 i64 f32)))
+ (type $i64_=>_i64 (func (param i64) (result i64)))
+ (type $i32_i32_f64_f64_=>_none (func (param i32 i32 f64 f64)))
+ (type $i32_i64_f32_f64_=>_none (func (param i32 i64 f32 f64)))
+ (type $i32_i64_f64_i32_=>_none (func (param i32 i64 f64 i32)))
+ (type $none_=>_f64 (func (result f64)))
  (memory $0 0)
  (export "load-off-2" (func $load-off-2))
- (func $f (; 0 ;) (type $0) (param $i1 i32) (param $i2 i64)
+ (func $f (; 0 ;) (param $i1 i32) (param $i2 i64)
   (if
    (i32.eqz
     (local.get $i1)
@@ -240,7 +240,7 @@
    (i32.const 0)
   )
  )
- (func $load-store (; 1 ;) (type $FUNCSIG$v)
+ (func $load-store (; 1 ;)
   (drop
    (i32.load8_u
     (i32.const 0)
@@ -328,7 +328,7 @@
    (i64.const 3)
   )
  )
- (func $and-neg1 (; 2 ;) (type $FUNCSIG$v)
+ (func $and-neg1 (; 2 ;)
   (drop
    (i32.const 100)
   )
@@ -339,7 +339,7 @@
    )
   )
  )
- (func $and-pos1 (; 3 ;) (type $FUNCSIG$v)
+ (func $and-pos1 (; 3 ;)
   (drop
    (i32.eqz
     (i32.const 1000)
@@ -363,7 +363,7 @@
    )
   )
  )
- (func $canonicalize (; 4 ;) (type $FUNCSIG$viidd) (param $x i32) (param $y i32) (param $fx f64) (param $fy f64)
+ (func $canonicalize (; 4 ;) (param $x i32) (param $y i32) (param $fx f64) (param $fy f64)
   (drop
    (i32.and
     (unreachable)
@@ -589,7 +589,7 @@
    )
   )
  )
- (func $ne0 (; 5 ;) (type $FUNCSIG$i) (result i32)
+ (func $ne0 (; 5 ;) (result i32)
   (if
    (call $ne0)
    (nop)
@@ -620,7 +620,7 @@
   )
   (i32.const 1)
  )
- (func $recurse-bool (; 6 ;) (type $FUNCSIG$v)
+ (func $recurse-bool (; 6 ;)
   (if
    (if (result i32)
     (i32.const 1)
@@ -637,10 +637,10 @@
    (nop)
   )
  )
- (func $ne1 (; 7 ;) (type $FUNCSIG$i) (result i32)
+ (func $ne1 (; 7 ;) (result i32)
   (unreachable)
  )
- (func $load-off-2 (; 8 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
+ (func $load-off-2 (; 8 ;) (param $0 i32) (result i32)
   (i32.store
    (i32.const 6)
    (local.get $0)
@@ -723,7 +723,7 @@
    )
   )
  )
- (func $sign-ext (; 9 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext (; 9 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.eqz
     (i32.and
@@ -834,7 +834,7 @@
    )
   )
  )
- (func $sign-ext-input (; 10 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext-input (; 10 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.const 100)
   )
@@ -1165,7 +1165,7 @@
    )
   )
  )
- (func $linear-sums (; 11 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $linear-sums (; 11 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.add
     (i32.shl
@@ -1257,7 +1257,7 @@
    (local.get $0)
   )
  )
- (func $almost-sign-ext (; 12 ;) (type $FUNCSIG$vi) (param $0 i32)
+ (func $almost-sign-ext (; 12 ;) (param $0 i32)
   (drop
    (i32.shr_s
     (i32.shl
@@ -1274,7 +1274,7 @@
    )
   )
  )
- (func $squaring (; 13 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $squaring (; 13 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.and
     (local.get $0)
@@ -1330,7 +1330,7 @@
    )
   )
  )
- (func $sign-ext-ne (; 14 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext-ne (; 14 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.ne
     (i32.and
@@ -1380,7 +1380,7 @@
    )
   )
  )
- (func $sign-ext-eqz (; 15 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext-eqz (; 15 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.eqz
     (i32.and
@@ -1390,7 +1390,7 @@
    )
   )
  )
- (func $sign-ext-boolean (; 16 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext-boolean (; 16 ;) (param $0 i32) (param $1 i32)
   (drop
    (if (result i32)
     (i32.and
@@ -1402,7 +1402,7 @@
    )
   )
  )
- (func $add-sub-zero (; 17 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $add-sub-zero (; 17 ;) (param $0 i32) (param $1 i32)
   (drop
    (local.get $0)
   )
@@ -1410,7 +1410,7 @@
    (local.get $0)
   )
  )
- (func $store-signext (; 18 ;) (type $FUNCSIG$vi) (param $0 i32)
+ (func $store-signext (; 18 ;) (param $0 i32)
   (i32.store8
    (i32.const 8)
    (local.get $0)
@@ -1468,7 +1468,7 @@
    )
   )
  )
- (func $sign-ext-tee (; 19 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext-tee (; 19 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.shr_s
     (i32.shl
@@ -1486,7 +1486,7 @@
    )
   )
  )
- (func $sign-ext-load (; 20 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $sign-ext-load (; 20 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.load8_s
     (i32.const 256)
@@ -1557,7 +1557,7 @@
    )
   )
  )
- (func $mask-bits (; 21 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $mask-bits (; 21 ;) (param $0 i32) (param $1 i32)
   (drop
    (local.tee $0
     (i32.const 127)
@@ -1611,7 +1611,7 @@
    )
   )
  )
- (func $local-info-zero-ext (; 22 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $local-info-zero-ext (; 22 ;) (param $0 i32) (param $1 i32)
   (local $x i32)
   (local $y i32)
   (local $z i32)
@@ -1662,7 +1662,7 @@
    )
   )
  )
- (func $local-info-sign-ext-bitsize (; 23 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-bitsize (; 23 ;) (param $0 i32) (param $1 i32)
   (local $x i32)
   (local $y i32)
   (local $z i32)
@@ -1722,7 +1722,7 @@
    )
   )
  )
- (func $local-info-sign-ext-already-exted (; 24 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-already-exted (; 24 ;) (param $0 i32) (param $1 i32)
   (local $x i32)
   (local $y i32)
   (local $z i32)
@@ -1833,7 +1833,7 @@
    )
   )
  )
- (func $signed-loads-fill-the-bits (; 25 ;) (type $FUNCSIG$ii) (param $$e i32) (result i32)
+ (func $signed-loads-fill-the-bits (; 25 ;) (param $$e i32) (result i32)
   (local $$0 i32)
   (local $$conv i32)
   (local.set $$0
@@ -1854,7 +1854,7 @@
    )
   )
  )
- (func $local-info-sign-ext-already-exted-by-load (; 26 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $local-info-sign-ext-already-exted-by-load (; 26 ;) (param $0 i32) (param $1 i32)
   (local $x i32)
   (local $y i32)
   (local $z i32)
@@ -1896,7 +1896,7 @@
    )
   )
  )
- (func $compare-load-s-sign-extend (; 27 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $compare-load-s-sign-extend (; 27 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.eq
     (i32.load8_u
@@ -1976,7 +1976,7 @@
    )
   )
  )
- (func $unsign-diff-sizes (; 28 ;) (type $FUNCSIG$iii) (param $x i32) (param $y i32) (result i32)
+ (func $unsign-diff-sizes (; 28 ;) (param $x i32) (param $y i32) (result i32)
   (i32.ne
    (i32.shr_s
     (i32.shl
@@ -2000,7 +2000,7 @@
    )
   )
  )
- (func $unsign-same-sizes (; 29 ;) (type $FUNCSIG$iii) (param $x i32) (param $y i32) (result i32)
+ (func $unsign-same-sizes (; 29 ;) (param $x i32) (param $y i32) (result i32)
   (i32.ne
    (i32.and
     (call $unsign-same-sizes
@@ -2018,7 +2018,7 @@
    )
   )
  )
- (func $fuzz-almost-sign-ext (; 30 ;) (type $FUNCSIG$v)
+ (func $fuzz-almost-sign-ext (; 30 ;)
   (drop
    (i32.shr_s
     (i32.shl
@@ -2042,7 +2042,7 @@
    )
   )
  )
- (func $fuzz-comp-impossible (; 31 ;) (type $FUNCSIG$vi) (param $x i32)
+ (func $fuzz-comp-impossible (; 31 ;) (param $x i32)
   (drop
    (i32.eq
     (i32.and
@@ -2107,7 +2107,7 @@
    )
   )
  )
- (func $if-parallel (; 32 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $if-parallel (; 32 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.add
     (local.get $1)
@@ -2162,7 +2162,7 @@
    )
   )
  )
- (func $select-parallel (; 33 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
+ (func $select-parallel (; 33 ;) (param $0 i32) (param $1 i32)
   (drop
    (i32.add
     (local.get $1)
@@ -2218,7 +2218,7 @@
    )
   )
  )
- (func $zero-shifts-is-not-sign-ext (; 34 ;) (type $FUNCSIG$v)
+ (func $zero-shifts-is-not-sign-ext (; 34 ;)
   (drop
    (i32.eq
     (i32.load16_s align=1
@@ -2239,7 +2239,7 @@
    )
   )
  )
- (func $zero-ops (; 35 ;) (type $FUNCSIG$i) (result i32)
+ (func $zero-ops (; 35 ;) (result i32)
   (return
    (i32.eq
     (i32.load16_s align=1
@@ -2249,7 +2249,7 @@
    )
   )
  )
- (func $sign-ext-1-and-ne (; 36 ;) (type $FUNCSIG$i) (result i32)
+ (func $sign-ext-1-and-ne (; 36 ;) (result i32)
   (i32.ne
    (i32.and
     (call $sign-ext-1-and-ne)
@@ -2258,7 +2258,7 @@
    (i32.const -2147483648)
   )
  )
- (func $neg-shifts-and-255 (; 37 ;) (type $FUNCSIG$i) (result i32)
+ (func $neg-shifts-and-255 (; 37 ;) (result i32)
   (i32.and
    (i32.shr_u
     (i32.const -99)
@@ -2267,7 +2267,7 @@
    (i32.const 255)
   )
  )
- (func $neg-shifts-and-255-b (; 38 ;) (type $FUNCSIG$i) (result i32)
+ (func $neg-shifts-and-255-b (; 38 ;) (result i32)
   (i32.and
    (i32.shl
     (i32.const -2349025)
@@ -2276,7 +2276,7 @@
    (i32.const 255)
   )
  )
- (func $shifts-square-overflow (; 39 ;) (type $FUNCSIG$ii) (param $x i32) (result i32)
+ (func $shifts-square-overflow (; 39 ;) (param $x i32) (result i32)
   (i32.shr_u
    (i32.shr_u
     (local.get $x)
@@ -2285,13 +2285,13 @@
    (i32.const 32767)
   )
  )
- (func $shifts-square-no-overflow-small (; 40 ;) (type $FUNCSIG$ii) (param $x i32) (result i32)
+ (func $shifts-square-no-overflow-small (; 40 ;) (param $x i32) (result i32)
   (i32.shr_u
    (local.get $x)
    (i32.const 9)
   )
  )
- (func $shifts-square-overflow-64 (; 41 ;) (type $FUNCSIG$jj) (param $x i64) (result i64)
+ (func $shifts-square-overflow-64 (; 41 ;) (param $x i64) (result i64)
   (i64.shr_u
    (i64.shr_u
     (local.get $x)
@@ -2300,13 +2300,13 @@
    (i64.const 64767)
   )
  )
- (func $shifts-square-no-overflow-small-64 (; 42 ;) (type $FUNCSIG$jj) (param $x i64) (result i64)
+ (func $shifts-square-no-overflow-small-64 (; 42 ;) (param $x i64) (result i64)
   (i64.shr_u
    (local.get $x)
    (i64.const 9)
   )
  )
- (func $shifts-square-unreachable (; 43 ;) (type $FUNCSIG$ii) (param $x i32) (result i32)
+ (func $shifts-square-unreachable (; 43 ;) (param $x i32) (result i32)
   (i32.shr_u
    (i32.shr_u
     (unreachable)
@@ -2315,7 +2315,7 @@
    (i32.const 4098)
   )
  )
- (func $mix-shifts (; 44 ;) (type $FUNCSIG$i) (result i32)
+ (func $mix-shifts (; 44 ;) (result i32)
   (i32.shr_s
    (i32.shl
     (i32.const 23)
@@ -2324,13 +2324,13 @@
    (i32.const 168)
   )
  )
- (func $actually-no-shifts (; 45 ;) (type $FUNCSIG$i) (result i32)
+ (func $actually-no-shifts (; 45 ;) (result i32)
   (i32.const 33)
  )
- (func $less-shifts-than-it-seems (; 46 ;) (type $FUNCSIG$ii) (param $x i32) (result i32)
+ (func $less-shifts-than-it-seems (; 46 ;) (param $x i32) (result i32)
   (i32.const 4800)
  )
- (func $and-popcount32 (; 47 ;) (type $FUNCSIG$i) (result i32)
+ (func $and-popcount32 (; 47 ;) (result i32)
   (i32.and
    (i32.popcnt
     (i32.const -1)
@@ -2338,12 +2338,12 @@
    (i32.const 31)
   )
  )
- (func $and-popcount32-big (; 48 ;) (type $FUNCSIG$i) (result i32)
+ (func $and-popcount32-big (; 48 ;) (result i32)
   (i32.popcnt
    (i32.const -1)
   )
  )
- (func $and-popcount64 (; 49 ;) (type $FUNCSIG$j) (result i64)
+ (func $and-popcount64 (; 49 ;) (result i64)
   (i64.and
    (i64.popcnt
     (i64.const -1)
@@ -2351,7 +2351,7 @@
    (i64.const 63)
   )
  )
- (func $and-popcount64-big (; 50 ;) (type $FUNCSIG$j) (result i64)
+ (func $and-popcount64-big (; 50 ;) (result i64)
   (i64.and
    (i64.popcnt
     (i64.const -1)
@@ -2359,7 +2359,7 @@
    (i64.const 127)
   )
  )
- (func $and-popcount64-bigger (; 51 ;) (type $FUNCSIG$j) (result i64)
+ (func $and-popcount64-bigger (; 51 ;) (result i64)
   (i64.and
    (i64.popcnt
     (i64.const -1)
@@ -2367,7 +2367,7 @@
    (i64.const 255)
   )
  )
- (func $optimizeAddedConstants-filters-through-nonzero (; 52 ;) (type $FUNCSIG$i) (result i32)
+ (func $optimizeAddedConstants-filters-through-nonzero (; 52 ;) (result i32)
   (i32.add
    (i32.shl
     (i32.const -536870912)
@@ -2378,7 +2378,7 @@
    (i32.const -31744)
   )
  )
- (func $optimizeAddedConstants-filters-through-nonzero-b (; 53 ;) (type $FUNCSIG$i) (result i32)
+ (func $optimizeAddedConstants-filters-through-nonzero-b (; 53 ;) (result i32)
   (i32.add
    (i32.shl
     (i32.const -536870912)
@@ -2389,7 +2389,7 @@
    (i32.const -31744)
   )
  )
- (func $return-proper-value-from-shift-left-by-zero (; 54 ;) (type $FUNCSIG$i) (result i32)
+ (func $return-proper-value-from-shift-left-by-zero (; 54 ;) (result i32)
   (if (result i32)
    (i32.add
     (loop $label$0 (result i32)
@@ -2408,7 +2408,7 @@
    (i32.const 0)
   )
  )
- (func $de-morgan-2 (; 55 ;) (type $FUNCSIG$vii) (param $x i32) (param $y i32)
+ (func $de-morgan-2 (; 55 ;) (param $x i32) (param $y i32)
   (drop
    (i32.eqz
     (i32.or
@@ -2474,7 +2474,7 @@
    )
   )
  )
- (func $subzero1 (; 56 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
+ (func $subzero1 (; 56 ;) (param $0 i32) (result i32)
   (i32.sub
    (i32.const 32)
    (i32.clz
@@ -2482,7 +2482,7 @@
    )
   )
  )
- (func $subzero2 (; 57 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
+ (func $subzero2 (; 57 ;) (param $0 i32) (result i32)
   (i32.sub
    (i32.const 32)
    (i32.clz
@@ -2490,7 +2490,7 @@
    )
   )
  )
- (func $subzero3 (; 58 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
+ (func $subzero3 (; 58 ;) (param $0 i32) (param $1 i32) (result i32)
   (i32.sub
    (local.get $1)
    (i32.clz
@@ -2498,7 +2498,7 @@
    )
   )
  )
- (func $subzero4 (; 59 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
+ (func $subzero4 (; 59 ;) (param $0 i32) (param $1 i32) (result i32)
   (i32.sub
    (local.get $0)
    (i32.clz
@@ -2506,7 +2506,7 @@
    )
   )
  )
- (func $mul-power-2 (; 60 ;) (type $FUNCSIG$ii) (param $x i32) (result i32)
+ (func $mul-power-2 (; 60 ;) (param $x i32) (result i32)
   (drop
    (call $mul-power-2
     (i32.shl
@@ -2561,7 +2561,7 @@
   )
   (unreachable)
  )
- (func $urem-power-2 (; 61 ;) (type $FUNCSIG$ii) (param $x i32) (result i32)
+ (func $urem-power-2 (; 61 ;) (param $x i32) (result i32)
   (drop
    (call $urem-power-2
     (i32.and
@@ -2609,10 +2609,10 @@
   )
   (unreachable)
  )
- (func $orZero (; 62 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
+ (func $orZero (; 62 ;) (param $0 i32) (result i32)
   (local.get $0)
  )
- (func $andZero (; 63 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
+ (func $andZero (; 63 ;) (param $0 i32) (result i32)
   (drop
    (i32.const 0)
   )
@@ -2626,7 +2626,7 @@
   )
   (unreachable)
  )
- (func $abstract-additions (; 64 ;) (type $FUNCSIG$vijfd) (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64)
+ (func $abstract-additions (; 64 ;) (param $x32 i32) (param $x64 i64) (param $y32 f32) (param $y64 f64)
   (drop
    (local.get $x32)
   )
@@ -2832,7 +2832,7 @@
    )
   )
  )
- (func $negatives-are-sometimes-better (; 65 ;) (type $FUNCSIG$vijf) (param $x i32) (param $y i64) (param $z f32)
+ (func $negatives-are-sometimes-better (; 65 ;) (param $x i32) (param $y i64) (param $z f32)
   (drop
    (i32.sub
     (local.get $x)
@@ -2930,7 +2930,7 @@
    )
   )
  )
- (func $shift-a-zero (; 66 ;) (type $FUNCSIG$vijf) (param $x i32) (param $y i64) (param $z f32)
+ (func $shift-a-zero (; 66 ;) (param $x i32) (param $y i64) (param $z f32)
   (drop
    (i32.const 0)
   )
@@ -2950,7 +2950,7 @@
    )
   )
  )
- (func $identical-siblings (; 67 ;) (type $FUNCSIG$vijdi) (param $x i32) (param $y i64) (param $z f64) (param $xx i32)
+ (func $identical-siblings (; 67 ;) (param $x i32) (param $y i64) (param $z f64) (param $xx i32)
   (drop
    (i32.const 0)
   )
@@ -3060,7 +3060,7 @@
    (i32.const 1)
   )
  )
- (func $all_ones (; 68 ;) (type $0) (param $x i32) (param $y i64)
+ (func $all_ones (; 68 ;) (param $x i32) (param $y i64)
   (drop
    (local.get $x)
   )
@@ -3082,12 +3082,12 @@
    (i64.const -1)
   )
  )
- (func $xor (; 69 ;) (type $0) (param $x i32) (param $y i64)
+ (func $xor (; 69 ;) (param $x i32) (param $y i64)
   (drop
    (local.get $x)
   )
  )
- (func $select-on-const (; 70 ;) (type $FUNCSIG$vii) (param $x i32) (param $y i32)
+ (func $select-on-const (; 70 ;) (param $x i32) (param $y i32)
   (drop
    (local.get $x)
   )
@@ -3124,7 +3124,7 @@
    )
   )
  )
- (func $getFallthrough (; 71 ;) (type $FUNCSIG$v)
+ (func $getFallthrough (; 71 ;)
   (local $x0 i32)
   (local $x1 i32)
   (local $x2 i32)
@@ -3203,7 +3203,7 @@
    )
   )
  )
- (func $tee-with-unreachable-value (; 72 ;) (type $FUNCSIG$d) (result f64)
+ (func $tee-with-unreachable-value (; 72 ;) (result f64)
   (local $var$0 i32)
   (block $label$1 (result f64)
    (local.tee $var$0
@@ -3214,7 +3214,7 @@
    )
   )
  )
- (func $add-sub-zero-reorder-1 (; 73 ;) (type $FUNCSIG$ii) (param $temp i32) (result i32)
+ (func $add-sub-zero-reorder-1 (; 73 ;) (param $temp i32) (result i32)
   (i32.add
    (i32.add
     (i32.sub
@@ -3228,7 +3228,7 @@
    (i32.const 2)
   )
  )
- (func $add-sub-zero-reorder-2 (; 74 ;) (type $FUNCSIG$ii) (param $temp i32) (result i32)
+ (func $add-sub-zero-reorder-2 (; 74 ;) (param $temp i32) (result i32)
   (i32.add
    (i32.sub
     (local.tee $temp
@@ -3239,7 +3239,7 @@
    (i32.const 2)
   )
  )
- (func $pre-combine-or (; 75 ;) (type $FUNCSIG$vii) (param $x i32) (param $y i32)
+ (func $pre-combine-or (; 75 ;) (param $x i32) (param $y i32)
   (drop
    (i32.ge_s
     (local.get $x)
@@ -3301,7 +3301,7 @@
    )
   )
  )
- (func $combine-or (; 76 ;) (type $FUNCSIG$vii) (param $x i32) (param $y i32)
+ (func $combine-or (; 76 ;) (param $x i32) (param $y i32)
   (drop
    (i32.ge_s
     (local.get $x)
@@ -3309,7 +3309,7 @@
    )
   )
  )
- (func $select-into-arms (; 77 ;) (type $FUNCSIG$vii) (param $x i32) (param $y i32)
+ (func $select-into-arms (; 77 ;) (param $x i32) (param $y i32)
   (if
    (select
     (local.get $x)
@@ -3321,9 +3321,9 @@
  )
 )
 (module
- (type $FUNCSIG$v (func))
+ (type $none_=>_none (func))
  (import "env" "memory" (memory $0 (shared 256 256)))
- (func $x (; 0 ;) (type $FUNCSIG$v)
+ (func $x (; 0 ;)
   (drop
    (i32.shr_s
     (i32.shl