1 files changed, 328 insertions, 254 deletions
diff --git a/test/passes/translate-to-fuzz_all-features.txt b/test/passes/translate-to-fuzz_all-features.txt
index 5cfe2bc41..ab9a5b946 100644
--- a/test/passes/translate-to-fuzz_all-features.txt
+++ b/test/passes/translate-to-fuzz_all-features.txt
@@ -1,54 +1,53 @@
 (module
  (type $none_=>_none (func))
- (type $f32_=>_none (func (param f32)))
- (type $nullref_=>_none (func (param nullref)))
- (type $none_=>_externref_exnref_exnref_exnref (func (result externref exnref exnref exnref)))
- (type $none_=>_exnref (func (result exnref)))
  (type $i32_=>_none (func (param i32)))
+ (type $none_=>_funcref_exnref_i32_externref (func (result funcref exnref i32 externref)))
+ (type $i32_funcref_f64_v128_i32_=>_none (func (param i32 funcref f64 v128 i32)))
  (type $i64_=>_none (func (param i64)))
+ (type $f32_=>_none (func (param f32)))
  (type $f64_=>_none (func (param f64)))
- (type $f64_i32_i64_f64_v128_=>_none (func (param f64 i32 i64 f64 v128)))
  (type $v128_=>_none (func (param v128)))
  (type $exnref_=>_none (func (param exnref)))
  (type $none_=>_i32 (func (result i32)))
- (type $funcref_f64_f32_v128_exnref_f32_=>_i64 (func (param funcref f64 f32 v128 exnref f32) (result i64)))
- (type $externref_externref_f32_v128_funcref_funcref_=>_v128 (func (param externref externref f32 v128 funcref funcref) (result v128)))
- (type $v128_=>_funcref (func (param v128) (result funcref)))
+ (type $i32_v128_f64_i32_=>_i32 (func (param i32 v128 f64 i32) (result i32)))
+ (type $none_=>_i64 (func (result i64)))
+ (type $none_=>_f32 (func (result f32)))
+ (type $i64_f32_=>_f64 (func (param i64 f32) (result f64)))
+ (type $none_=>_v128 (func (result v128)))
+ (type $none_=>_funcref (func (result funcref)))
  (import "fuzzing-support" "log-i32" (func $log-i32 (param i32)))
  (import "fuzzing-support" "log-i64" (func $log-i64 (param i64)))
  (import "fuzzing-support" "log-f32" (func $log-f32 (param f32)))
  (import "fuzzing-support" "log-f64" (func $log-f64 (param f64)))
  (import "fuzzing-support" "log-v128" (func $log-v128 (param v128)))
- (import "fuzzing-support" "log-nullref" (func $log-nullref (param nullref)))
  (import "fuzzing-support" "log-exnref" (func $log-exnref (param exnref)))
  (memory $0 (shared 1 1))
  (data (i32.const 0) "N\0fN\f5\f9\b1\ff\fa\eb\e5\fe\a7\ec\fb\fc\f4\a6\e4\ea\f0\ae\e3")
- (table $0 2 2 funcref)
- (elem (i32.const 0) $func_8 $func_12)
- (global $global$5 (mut f32) (f32.const 74))
- (global $global$4 (mut nullref) (ref.null))
- (global $global$3 (mut i32) (i32.const 1263230471))
- (global $global$2 (mut i32) (i32.const -131072))
- (global $global$1 (mut (funcref nullref nullref externref exnref f64)) (tuple.make
-  (ref.null)
-  (ref.null)
-  (ref.null)
-  (ref.null)
-  (ref.null)
-  (f64.const 1.1754943508222875e-38)
+ (table $0 5 5 funcref)
+ (elem (i32.const 0) $func_9 $func_10 $func_12 $func_12 $func_14)
+ (global $global$5 (mut exnref) (ref.null exn))
+ (global $global$4 (mut f64) (f64.const 13))
+ (global $global$3 (mut f32) (f32.const 16448))
+ (global $global$2 (mut (v128 i32 i32 f64 exnref exnref)) (tuple.make
+  (v128.const i32x4 0x4d5affff 0x055b007b 0xff830011 0xffee0040)
+  (i32.const -32767)
+  (i32.const 44)
+  (f64.const 1797693134862315708145274e284)
+  (ref.null exn)
+  (ref.null exn)
  ))
+ (global $global$1 (mut exnref) (ref.null exn))
  (global $hangLimit (mut i32) (i32.const 10))
- (event $event$0 (attr 0) (param nullref))
- (event $event$1 (attr 0) (param f32))
+ (event $event$0 (attr 0) (param i32))
  (export "hashMemory" (func $hashMemory))
  (export "memory" (memory $0))
- (export "func_8" (func $func_8))
- (export "func_8_invoker" (func $func_8_invoker))
- (export "func_11" (func $func_11))
+ (export "func_7_invoker" (func $func_7_invoker))
+ (export "func_9" (func $func_9))
+ (export "func_10_invoker" (func $func_10_invoker))
  (export "func_12" (func $func_12))
  (export "func_12_invoker" (func $func_12_invoker))
- (export "func_14" (func $func_14))
- (export "func_15" (func $func_15))
+ (export "func_16_invoker" (func $func_16_invoker))
+ (export "func_19" (func $func_19))
  (export "hangLimitInitializer" (func $hangLimitInitializer))
  (func $hashMemory (result i32)
   (local $0 i32)
@@ -281,17 +280,14 @@
   )
   (local.get $0)
  )
- (func $func_8 (result exnref)
-  (local $0 i64)
-  (local $1 i64)
-  (local $2 exnref)
+ (func $func_7 (param $0 i32) (param $1 v128) (param $2 f64) (param $3 i32) (result i32)
   (block
    (if
     (i32.eqz
      (global.get $hangLimit)
     )
     (return
-     (ref.null)
+     (i32.const 4883)
     )
    )
    (global.set $hangLimit
@@ -301,26 +297,65 @@
     )
    )
   )
-  (ref.null)
- )
- (func $func_8_invoker
-  (drop
-   (call $func_8)
+  (local.tee $3
+   (local.tee $0
+    (local.get $3)
+   )
   )
+ )
+ (func $func_7_invoker
   (drop
-   (call $func_8)
+   (call $func_7
+    (i32.const -119)
+    (v128.const i32x4 0x00000000 0x40410000 0x00000000 0x3ff00000)
+    (f64.const 3.433897990215153e-220)
+    (i32.const 255)
+   )
   )
   (call $log-i32
    (call $hashMemory)
   )
-  (drop
-   (call $func_8)
+ )
+ (func $func_9 (result funcref)
+  (local $0 i64)
+  (local $1 i64)
+  (block
+   (if
+    (i32.eqz
+     (global.get $hangLimit)
+    )
+    (return
+     (ref.func $log-f32)
+    )
+   )
+   (global.set $hangLimit
+    (i32.sub
+     (global.get $hangLimit)
+     (i32.const 1)
+    )
+   )
   )
-  (call $log-i32
-   (call $hashMemory)
+  (block $label$0
+   (f64.store offset=22 align=2
+    (i32.and
+     (i32.const -65535)
+     (i32.const 15)
+    )
+    (f64.const 8589934593)
+   )
+   (return
+    (ref.func $log-exnref)
+   )
   )
  )
- (func $func_10 (result externref exnref exnref exnref)
+ (func $func_10 (result funcref exnref i32 externref)
+  (local $0 i64)
+  (local $1 exnref)
+  (local $2 f32)
+  (local $3 externref)
+  (local $4 externref)
+  (local $5 f32)
+  (local $6 i64)
   (block
    (if
     (i32.eqz
@@ -328,10 +363,10 @@
     )
     (return
      (tuple.make
-      (ref.null)
-      (ref.null)
-      (ref.null)
-      (ref.null)
+      (ref.func $func_10)
+      (ref.null exn)
+      (i32.const 0)
+      (ref.null extern)
      )
     )
    )
@@ -343,14 +378,22 @@
    )
   )
   (tuple.make
-   (ref.null)
-   (ref.null)
-   (ref.null)
-   (ref.null)
+   (ref.func $log-v128)
+   (ref.null exn)
+   (i32.const 26155)
+   (ref.null extern)
   )
  )
- (func $func_11 (param $0 f64) (param $1 i32) (param $2 i64) (param $3 f64) (param $4 v128)
-  (local $5 nullref)
+ (func $func_10_invoker
+  (drop
+   (call $func_10)
+  )
+  (call $log-i32
+   (call $hashMemory)
+  )
+ )
+ (func $func_12
+  (local $0 exnref)
   (block
    (if
     (i32.eqz
@@ -365,30 +408,56 @@
     )
    )
   )
-  (block $label$0
-   (call $log-i32
-    (call $hashMemory)
+  (call $log-i32
+   (i32.const 1)
+  )
+ )
+ (func $func_12_invoker
+  (call $func_12)
+ )
+ (func $func_14 (result v128)
+  (local $0 i32)
+  (local $1 f32)
+  (local $2 f32)
+  (local $3 externref)
+  (local $4 exnref)
+  (local $5 f64)
+  (local $6 i64)
+  (block
+   (if
+    (i32.eqz
+     (global.get $hangLimit)
+    )
+    (return
+     (v128.const i32x4 0x5ea21f0a 0x52800ae0 0x002a5300 0xe4010058)
+    )
    )
-   (call $log-exnref
-    (ref.null)
+   (global.set $hangLimit
+    (i32.sub
+     (global.get $hangLimit)
+     (i32.const 1)
+    )
    )
   )
+  (v128.const i32x4 0x1d00ff00 0x2a255500 0x01fbf800 0x0a000002)
  )
- (func $func_12 (param $0 funcref) (param $1 f64) (param $2 f32) (param $3 v128) (param $4 exnref) (param $5 f32) (result i64)
-  (local $6 nullref)
-  (local $7 f32)
-  (local $8 exnref)
-  (local $9 f32)
-  (local $10 f64)
-  (local $11 i64)
-  (local $12 i32)
+ (func $func_15 (result i64)
+  (local $0 f32)
+  (local $1 funcref)
+  (local $2 f32)
+  (local $3 i32)
+  (local $4 f32)
+  (local $5 v128)
+  (local $6 f64)
+  (local $7 funcref)
+  (local $8 externref)
   (block
    (if
     (i32.eqz
      (global.get $hangLimit)
     )
     (return
-     (local.get $11)
+     (i64.const -2097152)
     )
    )
    (global.set $hangLimit
@@ -399,55 +468,64 @@
    )
   )
   (block $label$0
-   (call $log-f32
-    (f32.const -nan:0x7fffe0)
-   )
+   (nop)
    (return
-    (local.get $11)
+    (i64.const -61)
    )
   )
  )
- (func $func_12_invoker
-  (drop
-   (call $func_12
-    (ref.null)
-    (f64.const -nan:0xfffffffffffec)
-    (f32.const 244)
-    (v128.const i32x4 0x5e58601d 0x5e555c53 0xffff0001 0xffffffff)
-    (ref.null)
-    (f32.const 72)
+ (func $func_16 (param $0 i32) (param $1 funcref) (param $2 f64) (param $3 v128) (param $4 i32)
+  (local $5 (i32 f64))
+  (local $6 i64)
+  (local $7 (i32 i64))
+  (local $8 i32)
+  (local $9 funcref)
+  (local $10 f32)
+  (local $11 (i64 v128 f32))
+  (block
+   (if
+    (i32.eqz
+     (global.get $hangLimit)
+    )
+    (return)
    )
-  )
-  (drop
-   (call $func_12
-    (ref.func $log-v128)
-    (f64.const 32)
-    (f32.const 18014398509481984)
-    (v128.const i32x4 0x367f7324 0x5f000000 0x4e80108b 0xcf000000)
-    (ref.null)
-    (f32.const -549755813888)
+   (global.set $hangLimit
+    (i32.sub
+     (global.get $hangLimit)
+     (i32.const 1)
+    )
    )
   )
-  (drop
-   (call $func_12
-    (ref.func $func_12)
-    (f64.const 4294967295.799)
-    (f32.const 1279937664)
-    (v128.const i32x4 0xffffffb6 0x00000000 0x4041414b 0x4478405c)
-    (ref.null)
-    (f32.const 10284)
-   )
+  (nop)
+ )
+ (func $func_16_invoker
+  (call $func_16
+   (i32.const -19)
+   (ref.func $hashMemory)
+   (f64.const -2305843009213693952)
+   (v128.const i32x4 0x2b27212f 0x322e2366 0x0000343b 0x00000000)
+   (i32.const 24)
+  )
+  (call $func_16
+   (i32.const 2147483646)
+   (ref.null func)
+   (f64.const 23348)
+   (v128.const i32x4 0x0000007c 0x00000000 0x00000000 0xc0000000)
+   (i32.const 521672456)
   )
  )
- (func $func_14 (param $0 externref) (param $1 externref) (param $2 f32) (param $3 v128) (param $4 funcref) (param $5 funcref) (result v128)
-  (local $6 (i64 i32 i32 i64 funcref))
+ (func $func_18 (param $0 i64) (param $1 f32) (result f64)
+  (local $2 (f64 f64 i32))
+  (local $3 i64)
+  (local $4 f32)
+  (local $5 externref)
   (block
    (if
     (i32.eqz
      (global.get $hangLimit)
     )
     (return
-     (local.get $3)
+     (f64.const -1073741824)
     )
    )
    (global.set $hangLimit
@@ -457,118 +535,168 @@
     )
    )
   )
-  (block $label$0 (result v128)
-   (i32.atomic.store8 offset=3
-    (i32.and
-     (if (result i32)
-      (global.get $global$3)
-      (i32.const 15)
-      (i32.const 1)
+  (select
+   (f64.const 35184372088832)
+   (f64x2.extract_lane 0
+    (v128.const i32x4 0x55800000 0x4f800000 0x3def9db2 0x4e6dcc9d)
+   )
+   (loop $label$0 (result i32)
+    (block
+     (if
+      (i32.eqz
+       (global.get $hangLimit)
+      )
+      (return
+       (f64.const 4294967213)
+      )
      )
-     (i32.const 15)
-    )
-    (i32.load offset=3 align=2
-     (i32.and
-      (i32.const 15)
-      (i32.const 15)
+     (global.set $hangLimit
+      (i32.sub
+       (global.get $hangLimit)
+       (i32.const 1)
+      )
      )
     )
-   )
-   (local.tee $3
-    (block $label$16 (result v128)
-     (loop $label$17
-      (block
-       (if
-        (i32.eqz
-         (global.get $hangLimit)
-        )
-        (return
-         (v128.const i32x4 0xffff0009 0xfffeffff 0x00005a18 0xffff7fff)
-        )
-       )
-       (global.set $hangLimit
-        (i32.sub
-         (global.get $hangLimit)
-         (i32.const 1)
-        )
-       )
+    (block (result i32)
+     (block $label$1
+      (call_indirect (type $none_=>_none)
+       (i32.const 2)
       )
-      (block
-       (local.set $5
-        (tuple.extract 2
-         (tuple.make
-          (f32.const 3366576023666688)
-          (f32.const 1897033472)
-          (ref.null)
-          (ref.func $log-exnref)
-          (ref.null)
+      (nop)
+     )
+     (br_if $label$0
+      (i32.eqz
+       (loop $label$2 (result i32)
+        (block
+         (if
+          (i32.eqz
+           (global.get $hangLimit)
+          )
+          (return
+           (f64.const 8589934591.815)
+          )
+         )
+         (global.set $hangLimit
+          (i32.sub
+           (global.get $hangLimit)
+           (i32.const 1)
+          )
          )
         )
-       )
-       (local.set $5
-        (tuple.extract 2
-         (tuple.make
-          (f32.const 3366576023666688)
-          (f32.const 1897033472)
-          (ref.null)
-          (ref.func $log-exnref)
-          (ref.null)
+        (block (result i32)
+         (block $label$15
+          (memory.copy
+           (i32.and
+            (i32.const -8192)
+            (i32.const 15)
+           )
+           (i32.and
+            (i8x16.extract_lane_s 1
+             (v128.const i32x4 0x3329287c 0x00007fff 0x00000002 0x00002966)
+            )
+            (i32.const 15)
+           )
+           (i32.atomic.rmw8.add_u offset=1
+            (i32.and
+             (i32.const -93)
+             (i32.const 15)
+            )
+            (i32.const 26)
+           )
+          )
+          (br_if $label$15
+           (i32.eqz
+            (i32.const 169416729)
+           )
+          )
+         )
+         (br_if $label$2
+          (i32.const 1397565735)
+         )
+         (tuple.extract 1
+          (tuple.make
+           (f64.const -2.2250738585072014e-308)
+           (i32.const -86)
+          )
          )
         )
        )
-       (if
-        (i32.eqz
-         (i8x16.extract_lane_u 13
-          (i16x8.neg
-           (local.get $3)
+      )
+     )
+     (if (result i32)
+      (if (result i32)
+       (i32.const -33)
+       (i32.trunc_f32_s
+        (f32.load offset=4 align=1
+         (i32.const 1347440720)
+        )
+       )
+       (i32.const -83)
+      )
+      (block $label$12 (result i32)
+       (nop)
+       (i32.const -5)
+      )
+      (if (result i32)
+       (i32.eqz
+        (i32.load offset=3 align=1
+         (i32.and
+          (block $label$23
+           (nop)
+           (return
+            (f64.const -1)
+           )
           )
+          (i32.const 15)
          )
         )
-        (block $label$18
-         (loop $label$19
-          (block
-           (if
-            (i32.eqz
-             (global.get $hangLimit)
+       )
+       (block $label$13 (result i32)
+        (call $log-i32
+         (i32.load offset=4 align=1
+          (i32.and
+           (i32.const 2049)
+           (block $label$24
+            (global.set $global$4
+             (f64.const 3.475623083072852e-234)
             )
             (return
-             (v128.const i32x4 0x2a230007 0x24000cff 0x01000405 0xe6abf412)
-            )
-           )
-           (global.set $hangLimit
-            (i32.sub
-             (global.get $hangLimit)
-             (i32.const 1)
+             (f64.const -2147483647.157)
             )
            )
           )
-          (drop
-           (v128.const i32x4 0xffff8001 0xffffffff 0xfc000000 0xffffffff)
-          )
          )
-         (call $func_12_invoker)
         )
-        (drop
-         (local.tee $0
-          (local.get $1)
+        (block $label$14
+         (call $log-i64
+          (local.get $0)
+         )
+         (nop)
+        )
+        (f32.gt
+         (f32.sqrt
+          (local.tee $4
+           (local.get $1)
+          )
          )
+         (f32.const 512.2849731445312)
         )
        )
+       (i32.const 0)
       )
      )
-     (local.get $3)
     )
    )
   )
  )
- (func $func_15 (param $0 v128) (result funcref)
+ (func $func_19 (result f32)
   (block
    (if
     (i32.eqz
      (global.get $hangLimit)
     )
     (return
-     (ref.null)
+     (f32.const 8589934592)
     )
    )
    (global.set $hangLimit
@@ -578,88 +706,34 @@
     )
    )
   )
-  (select (result nullref)
-   (if (result nullref)
-    (loop $label$10 (result i32)
-     (block
-      (if
-       (i32.eqz
-        (global.get $hangLimit)
-       )
-       (return
-        (ref.func $log-f64)
-       )
-      )
-      (global.set $hangLimit
-       (i32.sub
-        (global.get $hangLimit)
-        (i32.const 1)
-       )
-      )
-     )
-     (block (result i32)
-      (block $label$11
-       (i32.atomic.store8 offset=4
-        (i32.and
-         (i32.load8_s offset=3
+  (f32.load offset=4 align=2
+   (i32.and
+    (i32.popcnt
+     (ref.is_null
+      (block $label$0 (result exnref)
+       (nop)
+       (call $log-f32
+        (f32.convert_i64_s
+         (i32.atomic.rmw.cmpxchg offset=22
           (i32.and
-           (i32.const 1026044209)
+           (block $label$1
+            (atomic.fence)
+            (return
+             (f32.const -512.8049926757812)
+            )
+           )
            (i32.const 15)
           )
+          (i64.const -28)
+          (i64.const -524289)
          )
-         (i32.const 15)
         )
-        (i32.const 0)
-       )
-       (drop
-        (local.get $0)
-       )
-      )
-      (br_if $label$10
-       (i32.const 128)
-      )
-      (select
-       (select
-        (i32.const -127)
-        (i32.const -65537)
-        (i32.const -254)
        )
-       (i32.const 102650628)
-       (i32.const 810034249)
+       (ref.null exn)
       )
      )
     )
-    (ref.null)
-    (block $label$13 (result nullref)
-     (loop $label$14
-      (block
-       (if
-        (i32.eqz
-         (global.get $hangLimit)
-        )
-        (return
-         (ref.func $func_8)
-        )
-       )
-       (global.set $hangLimit
-        (i32.sub
-         (global.get $hangLimit)
-         (i32.const 1)
-        )
-       )
-      )
-      (nop)
-     )
-     (ref.null)
-    )
-   )
-   (ref.null)
-   (i32.atomic.load8_u offset=1
-    (ref.is_null
-     (call_indirect (type $none_=>_exnref)
-      (i32.const 0)
-     )
-    )
+    (i32.const 15)
    )
   )
  )