use a single space for pretty printing of wasts, so massive wasts are less unruly (#928)

1 files changed, 571 insertions, 571 deletions

diff --git a/test/unit.wast.fromBinary b/test/unit.wast.fromBinary
index 7ed6268c8..7a9b1c58d 100644
--- a/test/unit.wast.fromBinary
+++ b/test/unit.wast.fromBinary
@@ -1,599 +1,599 @@
 (module
-  (type $0 (func (param f32)))
-  (type $1 (func))
-  (type $2 (func (param f64) (result i32)))
-  (type $3 (func (param f64 f64) (result f64)))
-  (type $4 (func (result f64)))
-  (type $5 (func (result i32)))
-  (type $6 (func (param i32) (result i32)))
-  (type $7 (func (param f64) (result f64)))
-  (type $8 (func (result i64)))
-  (type $9 (func (param i32 i64)))
-  (import "env" "_emscripten_asm_const_vi" (func $import$0))
-  (import "asm2wasm" "f64-to-int" (func $import$1 (param f64) (result i32)))
-  (import "asm2wasm" "f64-rem" (func $import$2 (param f64 f64) (result f64)))
-  (table 10 anyfunc)
-  (elem (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
-  (memory $0 4096 4096)
-  (data (i32.const 1026) "\14\00")
-  (export "big_negative" (func $big_negative))
-  (func $big_negative (type $1)
-    (local $var$0 f64)
-    (block $label$0
-      (set_local $var$0
-        (f64.const -2147483648)
-      )
-      (set_local $var$0
-        (f64.const -2147483648)
-      )
-      (set_local $var$0
-        (f64.const -21474836480)
-      )
-      (set_local $var$0
-        (f64.const 0.039625)
-      )
-      (set_local $var$0
-        (f64.const -0.039625)
-      )
-    )
-  )
-  (func $importedDoubles (type $4) (result f64)
-    (local $var$0 f64)
-    (block $label$0 f64
-      (set_local $var$0
-        (f64.add
-          (f64.add
-            (f64.add
-              (f64.load
-                (i32.const 8)
-              )
-              (f64.load
-                (i32.const 16)
-              )
-            )
-            (f64.neg
-              (f64.load
-                (i32.const 16)
-              )
-            )
-          )
-          (f64.neg
-            (f64.load
-              (i32.const 8)
-            )
-          )
-        )
-      )
-      (if
-        (i32.gt_s
-          (i32.load
-            (i32.const 24)
-          )
-          (i32.const 0)
-        )
-        (block $label$1
-          (br $label$0
-            (f64.const -3.4)
-          )
-        )
-      )
-      (if
-        (f64.gt
-          (f64.load
-            (i32.const 32)
-          )
-          (f64.const 0)
-        )
-        (block $label$2
-          (br $label$0
-            (f64.const 5.6)
-          )
-        )
-      )
+ (type $0 (func (param f32)))
+ (type $1 (func))
+ (type $2 (func (param f64) (result i32)))
+ (type $3 (func (param f64 f64) (result f64)))
+ (type $4 (func (result f64)))
+ (type $5 (func (result i32)))
+ (type $6 (func (param i32) (result i32)))
+ (type $7 (func (param f64) (result f64)))
+ (type $8 (func (result i64)))
+ (type $9 (func (param i32 i64)))
+ (import "env" "_emscripten_asm_const_vi" (func $import$0))
+ (import "asm2wasm" "f64-to-int" (func $import$1 (param f64) (result i32)))
+ (import "asm2wasm" "f64-rem" (func $import$2 (param f64 f64) (result f64)))
+ (table 10 anyfunc)
+ (elem (i32.const 0) $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
+ (memory $0 4096 4096)
+ (data (i32.const 1026) "\14\00")
+ (export "big_negative" (func $big_negative))
+ (func $big_negative (type $1)
+  (local $var$0 f64)
+  (block $label$0
+   (set_local $var$0
+    (f64.const -2147483648)
+   )
+   (set_local $var$0
+    (f64.const -2147483648)
+   )
+   (set_local $var$0
+    (f64.const -21474836480)
+   )
+   (set_local $var$0
+    (f64.const 0.039625)
+   )
+   (set_local $var$0
+    (f64.const -0.039625)
+   )
+  )
+ )
+ (func $importedDoubles (type $4) (result f64)
+  (local $var$0 f64)
+  (block $label$0 f64
+   (set_local $var$0
+    (f64.add
+     (f64.add
+      (f64.add
+       (f64.load
+        (i32.const 8)
+       )
+       (f64.load
+        (i32.const 16)
+       )
+      )
+      (f64.neg
+       (f64.load
+        (i32.const 16)
+       )
+      )
+     )
+     (f64.neg
+      (f64.load
+       (i32.const 8)
+      )
+     )
+    )
+   )
+   (if
+    (i32.gt_s
+     (i32.load
+      (i32.const 24)
+     )
+     (i32.const 0)
+    )
+    (block $label$1
+     (br $label$0
+      (f64.const -3.4)
+     )
+    )
+   )
+   (if
+    (f64.gt
+     (f64.load
+      (i32.const 32)
+     )
+     (f64.const 0)
+    )
+    (block $label$2
+     (br $label$0
+      (f64.const 5.6)
+     )
+    )
+   )
+   (f64.const 1.2)
+  )
+ )
+ (func $doubleCompares (type $3) (param $var$0 f64) (param $var$1 f64) (result f64)
+  (local $var$2 i32)
+  (local $var$3 f64)
+  (local $var$4 f64)
+  (block $label$0 f64
+   (if
+    (f64.gt
+     (get_local $var$0)
+     (f64.const 0)
+    )
+    (block $label$1
+     (br $label$0
       (f64.const 1.2)
-    )
-  )
-  (func $doubleCompares (type $3) (param $var$0 f64) (param $var$1 f64) (result f64)
-    (local $var$2 i32)
-    (local $var$3 f64)
-    (local $var$4 f64)
-    (block $label$0 f64
-      (if
-        (f64.gt
-          (get_local $var$0)
-          (f64.const 0)
-        )
-        (block $label$1
-          (br $label$0
-            (f64.const 1.2)
-          )
-        )
-      )
-      (if
-        (f64.gt
-          (get_local $var$4)
-          (f64.const 0)
-        )
-        (block $label$2
-          (br $label$0
-            (f64.const -3.4)
-          )
-        )
-      )
-      (if
-        (i32.gt_s
-          (get_local $var$2)
-          (i32.const 0)
-        )
-        (block $label$3
-          (br $label$0
-            (f64.const 5.6)
-          )
-        )
-      )
-      (if
-        (f64.lt
-          (get_local $var$0)
-          (get_local $var$1)
-        )
-        (block $label$4
-          (br $label$0
-            (get_local $var$0)
-          )
-        )
-      )
-      (get_local $var$1)
-    )
-  )
-  (func $intOps (type $5) (result i32)
-    (local $var$0 i32)
-    (i32.eq
+     )
+    )
+   )
+   (if
+    (f64.gt
+     (get_local $var$4)
+     (f64.const 0)
+    )
+    (block $label$2
+     (br $label$0
+      (f64.const -3.4)
+     )
+    )
+   )
+   (if
+    (i32.gt_s
+     (get_local $var$2)
+     (i32.const 0)
+    )
+    (block $label$3
+     (br $label$0
+      (f64.const 5.6)
+     )
+    )
+   )
+   (if
+    (f64.lt
+     (get_local $var$0)
+     (get_local $var$1)
+    )
+    (block $label$4
+     (br $label$0
       (get_local $var$0)
-      (i32.const 0)
-    )
-  )
-  (func $hexLiterals (type $1)
-    (drop
-      (i32.add
-        (i32.add
-          (i32.const 0)
-          (i32.const 313249263)
-        )
-        (i32.const -19088752)
-      )
-    )
-  )
-  (func $conversions (type $1)
-    (local $var$0 i32)
-    (local $var$1 f64)
-    (block $label$0
-      (set_local $var$0
-        (call $import$1
-          (get_local $var$1)
-        )
-      )
-      (set_local $var$1
-        (f64.convert_s/i32
-          (get_local $var$0)
-        )
-      )
-      (set_local $var$1
-        (f64.convert_u/i32
-          (i32.shr_u
-            (get_local $var$0)
-            (i32.const 0)
-          )
-        )
-      )
-    )
-  )
-  (func $seq (type $1)
-    (local $var$0 f64)
-    (set_local $var$0
-      (f64.sub
-        (block $label$0 f64
-          (drop
-            (f64.const 0.1)
-          )
-          (f64.const 5.1)
-        )
-        (block $label$1 f64
-          (drop
-            (f64.const 3.2)
-          )
-          (f64.const 4.2)
-        )
-      )
-    )
-  )
-  (func $switcher (type $6) (param $var$0 i32) (result i32)
-    (block $label$0 i32
-      (block $label$1
-        (block $label$2
-          (block $label$3
-            (block $label$4
-              (br_table $label$4 $label$3 $label$2
-                (i32.sub
-                  (get_local $var$0)
-                  (i32.const 1)
-                )
-              )
-            )
-            (br $label$0
-              (i32.const 1)
-            )
-          )
-          (br $label$0
-            (i32.const 2)
-          )
-        )
-        (nop)
-      )
-      (block $label$5
-        (block $label$6
-          (block $label$7
-            (block $label$8
-              (br_table $label$7 $label$6 $label$6 $label$6 $label$6 $label$6 $label$6 $label$8 $label$6
-                (i32.sub
-                  (get_local $var$0)
-                  (i32.const 5)
-                )
-              )
-            )
-            (br $label$0
-              (i32.const 121)
-            )
-          )
-          (br $label$0
-            (i32.const 51)
-          )
-        )
-        (nop)
-      )
-      (block $label$9
-        (block $label$10
-          (block $label$11
-            (block $label$12
-              (block $label$13
-                (block $label$14
-                  (br_table $label$11 $label$10 $label$10 $label$12 $label$10 $label$10 $label$10 $label$10 $label$13 $label$10 $label$14 $label$10
-                    (i32.sub
-                      (get_local $var$0)
-                      (i32.const 2)
-                    )
-                  )
-                )
-                (br $label$9)
-              )
-              (br $label$9)
-            )
-            (block $label$15
-              (loop $label$16
-                (br $label$15)
-                (br $label$16)
-              )
-              (unreachable)
-              (br $label$9)
-            )
-          )
-          (block $label$17
-            (loop $label$18
-              (br $label$9)
-              (br $label$18)
-            )
-            (unreachable)
-            (br $label$9)
-            (unreachable)
-          )
-          (unreachable)
-        )
-        (nop)
-      )
-      (i32.const 0)
-    )
-  )
-  (func $blocker (type $1)
-    (block $label$0
-      (br $label$0)
-    )
-  )
-  (func $frem (type $4) (result f64)
-    (call $import$2
-      (f64.const 5.5)
-      (f64.const 1.2)
-    )
-  )
-  (func $big_uint_div_u (type $5) (result i32)
-    (local $var$0 i32)
-    (block $label$0 i32
-      (set_local $var$0
-        (i32.and
-          (i32.div_u
-            (i32.const -1)
-            (i32.const 2)
-          )
-          (i32.const -1)
-        )
-      )
+     )
+    )
+   )
+   (get_local $var$1)
+  )
+ )
+ (func $intOps (type $5) (result i32)
+  (local $var$0 i32)
+  (i32.eq
+   (get_local $var$0)
+   (i32.const 0)
+  )
+ )
+ (func $hexLiterals (type $1)
+  (drop
+   (i32.add
+    (i32.add
+     (i32.const 0)
+     (i32.const 313249263)
+    )
+    (i32.const -19088752)
+   )
+  )
+ )
+ (func $conversions (type $1)
+  (local $var$0 i32)
+  (local $var$1 f64)
+  (block $label$0
+   (set_local $var$0
+    (call $import$1
+     (get_local $var$1)
+    )
+   )
+   (set_local $var$1
+    (f64.convert_s/i32
+     (get_local $var$0)
+    )
+   )
+   (set_local $var$1
+    (f64.convert_u/i32
+     (i32.shr_u
       (get_local $var$0)
+      (i32.const 0)
+     )
     )
+   )
   )
-  (func $fr (type $0) (param $var$0 f32)
-    (local $var$1 f32)
-    (local $var$2 f64)
-    (block $label$0
-      (drop
-        (f32.demote/f64
-          (get_local $var$2)
-        )
-      )
-      (drop
-        (get_local $var$1)
-      )
-      (drop
-        (f32.const 5)
-      )
-      (drop
-        (f32.const 0)
-      )
-      (drop
-        (f32.const 5)
-      )
-      (drop
-        (f32.const 0)
-      )
+ )
+ (func $seq (type $1)
+  (local $var$0 f64)
+  (set_local $var$0
+   (f64.sub
+    (block $label$0 f64
+     (drop
+      (f64.const 0.1)
+     )
+     (f64.const 5.1)
+    )
+    (block $label$1 f64
+     (drop
+      (f64.const 3.2)
+     )
+     (f64.const 4.2)
+    )
+   )
+  )
+ )
+ (func $switcher (type $6) (param $var$0 i32) (result i32)
+  (block $label$0 i32
+   (block $label$1
+    (block $label$2
+     (block $label$3
+      (block $label$4
+       (br_table $label$4 $label$3 $label$2
+        (i32.sub
+         (get_local $var$0)
+         (i32.const 1)
+        )
+       )
+      )
+      (br $label$0
+       (i32.const 1)
+      )
+     )
+     (br $label$0
+      (i32.const 2)
+     )
     )
-  )
-  (func $negZero (type $4) (result f64)
-    (f64.const -0)
-  )
-  (func $abs (type $1)
-    (local $var$0 i32)
-    (local $var$1 i32)
-    (local $var$2 f32)
-    (local $var$3 f64)
-    (block $label$0
-      (set_local $var$0
-        (block $label$1 i32
-          (set_local $var$1
-            (i32.const 0)
-          )
-          (select
-            (i32.sub
-              (i32.const 0)
-              (get_local $var$1)
-            )
-            (get_local $var$1)
-            (i32.lt_s
-              (get_local $var$1)
-              (i32.const 0)
-            )
-          )
-        )
-      )
-      (set_local $var$3
-        (f64.abs
-          (f64.const 0)
-        )
-      )
-      (set_local $var$2
-        (f32.abs
-          (f32.const 0)
-        )
-      )
+    (nop)
+   )
+   (block $label$5
+    (block $label$6
+     (block $label$7
+      (block $label$8
+       (br_table $label$7 $label$6 $label$6 $label$6 $label$6 $label$6 $label$6 $label$8 $label$6
+        (i32.sub
+         (get_local $var$0)
+         (i32.const 5)
+        )
+       )
+      )
+      (br $label$0
+       (i32.const 121)
+      )
+     )
+     (br $label$0
+      (i32.const 51)
+     )
     )
-  )
-  (func $neg (type $1)
-    (local $var$0 f32)
-    (block $label$0
-      (set_local $var$0
-        (f32.neg
-          (get_local $var$0)
-        )
-      )
-      (call_indirect $0
-        (get_local $var$0)
-        (i32.add
-          (i32.and
-            (i32.const 1)
-            (i32.const 7)
+    (nop)
+   )
+   (block $label$9
+    (block $label$10
+     (block $label$11
+      (block $label$12
+       (block $label$13
+        (block $label$14
+         (br_table $label$11 $label$10 $label$10 $label$12 $label$10 $label$10 $label$10 $label$10 $label$13 $label$10 $label$14 $label$10
+          (i32.sub
+           (get_local $var$0)
+           (i32.const 2)
           )
-          (i32.const 8)
-        )
-      )
-    )
-  )
-  (func $cneg (type $0) (param $var$0 f32)
-    (call_indirect $0
-      (get_local $var$0)
-      (i32.add
-        (i32.and
-          (i32.const 1)
-          (i32.const 7)
-        )
-        (i32.const 8)
-      )
-    )
-  )
-  (func $___syscall_ret (type $1)
-    (local $var$0 i32)
-    (drop
-      (i32.gt_u
-        (i32.shr_u
-          (get_local $var$0)
-          (i32.const 0)
-        )
-        (i32.const -4096)
+         )
+        )
+        (br $label$9)
+       )
+       (br $label$9)
+      )
+      (block $label$15
+       (loop $label$16
+        (br $label$15)
+        (br $label$16)
+       )
+       (unreachable)
+       (br $label$9)
+      )
+     )
+     (block $label$17
+      (loop $label$18
+       (br $label$9)
+       (br $label$18)
       )
+      (unreachable)
+      (br $label$9)
+      (unreachable)
+     )
+     (unreachable)
     )
-  )
-  (func $z (type $1)
-    (nop)
-  )
-  (func $w (type $1)
     (nop)
-  )
-  (func $block_and_after (type $5) (result i32)
-    (block $label$0 i32
-      (block $label$1
-        (drop
-          (i32.const 1)
-        )
-        (br $label$1)
-      )
+   )
+   (i32.const 0)
+  )
+ )
+ (func $blocker (type $1)
+  (block $label$0
+   (br $label$0)
+  )
+ )
+ (func $frem (type $4) (result f64)
+  (call $import$2
+   (f64.const 5.5)
+   (f64.const 1.2)
+  )
+ )
+ (func $big_uint_div_u (type $5) (result i32)
+  (local $var$0 i32)
+  (block $label$0 i32
+   (set_local $var$0
+    (i32.and
+     (i32.div_u
+      (i32.const -1)
+      (i32.const 2)
+     )
+     (i32.const -1)
+    )
+   )
+   (get_local $var$0)
+  )
+ )
+ (func $fr (type $0) (param $var$0 f32)
+  (local $var$1 f32)
+  (local $var$2 f64)
+  (block $label$0
+   (drop
+    (f32.demote/f64
+     (get_local $var$2)
+    )
+   )
+   (drop
+    (get_local $var$1)
+   )
+   (drop
+    (f32.const 5)
+   )
+   (drop
+    (f32.const 0)
+   )
+   (drop
+    (f32.const 5)
+   )
+   (drop
+    (f32.const 0)
+   )
+  )
+ )
+ (func $negZero (type $4) (result f64)
+  (f64.const -0)
+ )
+ (func $abs (type $1)
+  (local $var$0 i32)
+  (local $var$1 i32)
+  (local $var$2 f32)
+  (local $var$3 f64)
+  (block $label$0
+   (set_local $var$0
+    (block $label$1 i32
+     (set_local $var$1
       (i32.const 0)
-    )
-  )
-  (func $loop-roundtrip (type $7) (param $var$0 f64) (result f64)
-    (loop $label$0 f64
-      (drop
-        (get_local $var$0)
+     )
+     (select
+      (i32.sub
+       (i32.const 0)
+       (get_local $var$1)
       )
-      (get_local $var$0)
-    )
-  )
-  (func $big-i64 (type $8) (result i64)
-    (i64.const -9218868437227405313)
-  )
-  (func $i64-store32 (type $9) (param $var$0 i32) (param $var$1 i64)
-    (i64.store32
-      (get_local $var$0)
       (get_local $var$1)
-    )
-  )
-  (func $return-unreachable (type $5) (result i32)
-    (return
-      (i32.const 1)
-    )
-  )
-  (func $unreachable-block (type $5) (result i32)
-    (block $label$0
-      (drop
-        (i32.const 1)
+      (i32.lt_s
+       (get_local $var$1)
+       (i32.const 0)
       )
-      (return
-        (i32.const 2)
-      )
-      (unreachable)
+     )
     )
+   )
+   (set_local $var$3
     (f64.abs
-      (unreachable)
-    )
-  )
-  (func $unreachable-block-toplevel (type $5) (result i32)
-    (block $label$0
-      (drop
-        (i32.const 1)
-      )
-      (return
-        (i32.const 2)
-      )
-      (unreachable)
-    )
-    (unreachable)
-  )
-  (func $unreachable-block0 (type $5) (result i32)
-    (block $label$0
-      (return
-        (i32.const 2)
-      )
-      (unreachable)
-    )
-    (f64.abs
-      (unreachable)
-    )
-  )
-  (func $unreachable-block0-toplevel (type $5) (result i32)
-    (block $label$0
-      (return
-        (i32.const 2)
-      )
-      (unreachable)
-    )
-    (unreachable)
-  )
-  (func $unreachable-block-with-br (type $5) (result i32)
-    (block $label$0 i32
-      (block $label$1
-        (drop
-          (i32.const 1)
-        )
-        (br $label$1)
-      )
+     (f64.const 0)
+    )
+   )
+   (set_local $var$2
+    (f32.abs
+     (f32.const 0)
+    )
+   )
+  )
+ )
+ (func $neg (type $1)
+  (local $var$0 f32)
+  (block $label$0
+   (set_local $var$0
+    (f32.neg
+     (get_local $var$0)
+    )
+   )
+   (call_indirect $0
+    (get_local $var$0)
+    (i32.add
+     (i32.and
       (i32.const 1)
+      (i32.const 7)
+     )
+     (i32.const 8)
+    )
+   )
+  )
+ )
+ (func $cneg (type $0) (param $var$0 f32)
+  (call_indirect $0
+   (get_local $var$0)
+   (i32.add
+    (i32.and
+     (i32.const 1)
+     (i32.const 7)
+    )
+    (i32.const 8)
+   )
+  )
+ )
+ (func $___syscall_ret (type $1)
+  (local $var$0 i32)
+  (drop
+   (i32.gt_u
+    (i32.shr_u
+     (get_local $var$0)
+     (i32.const 0)
+    )
+    (i32.const -4096)
+   )
+  )
+ )
+ (func $z (type $1)
+  (nop)
+ )
+ (func $w (type $1)
+  (nop)
+ )
+ (func $block_and_after (type $5) (result i32)
+  (block $label$0 i32
+   (block $label$1
+    (drop
+     (i32.const 1)
+    )
+    (br $label$1)
+   )
+   (i32.const 0)
+  )
+ )
+ (func $loop-roundtrip (type $7) (param $var$0 f64) (result f64)
+  (loop $label$0 f64
+   (drop
+    (get_local $var$0)
+   )
+   (get_local $var$0)
+  )
+ )
+ (func $big-i64 (type $8) (result i64)
+  (i64.const -9218868437227405313)
+ )
+ (func $i64-store32 (type $9) (param $var$0 i32) (param $var$1 i64)
+  (i64.store32
+   (get_local $var$0)
+   (get_local $var$1)
+  )
+ )
+ (func $return-unreachable (type $5) (result i32)
+  (return
+   (i32.const 1)
+  )
+ )
+ (func $unreachable-block (type $5) (result i32)
+  (block $label$0
+   (drop
+    (i32.const 1)
+   )
+   (return
+    (i32.const 2)
+   )
+   (unreachable)
+  )
+  (f64.abs
+   (unreachable)
+  )
+ )
+ (func $unreachable-block-toplevel (type $5) (result i32)
+  (block $label$0
+   (drop
+    (i32.const 1)
+   )
+   (return
+    (i32.const 2)
+   )
+   (unreachable)
+  )
+  (unreachable)
+ )
+ (func $unreachable-block0 (type $5) (result i32)
+  (block $label$0
+   (return
+    (i32.const 2)
+   )
+   (unreachable)
+  )
+  (f64.abs
+   (unreachable)
+  )
+ )
+ (func $unreachable-block0-toplevel (type $5) (result i32)
+  (block $label$0
+   (return
+    (i32.const 2)
+   )
+   (unreachable)
+  )
+  (unreachable)
+ )
+ (func $unreachable-block-with-br (type $5) (result i32)
+  (block $label$0 i32
+   (block $label$1
+    (drop
+     (i32.const 1)
     )
+    (br $label$1)
+   )
+   (i32.const 1)
   )
-  (func $unreachable-if (type $5) (result i32)
-    (if
-      (i32.const 3)
-      (block $label$0
-        (return
-          (i32.const 2)
-        )
-      )
-      (block $label$1
-        (return
-          (i32.const 1)
-        )
-      )
-    )
-    (f64.abs
-      (unreachable)
-    )
-  )
-  (func $unreachable-if-toplevel (type $5) (result i32)
-    (if
-      (i32.const 3)
-      (block $label$0
-        (return
-          (i32.const 2)
-        )
-      )
-      (block $label$1
-        (return
-          (i32.const 1)
-        )
-      )
-    )
-    (unreachable)
-  )
-  (func $unreachable-loop (type $5) (result i32)
-    (loop $label$0
-      (nop)
-      (return
-        (i32.const 1)
-      )
-    )
-    (f64.abs
-      (unreachable)
-    )
-  )
-  (func $unreachable-loop0 (type $5) (result i32)
-    (loop $label$0
-      (return
-        (i32.const 1)
-      )
+ )
+ (func $unreachable-if (type $5) (result i32)
+  (if
+   (i32.const 3)
+   (block $label$0
+    (return
+     (i32.const 2)
     )
-    (f64.abs
-      (unreachable)
+   )
+   (block $label$1
+    (return
+     (i32.const 1)
     )
+   )
   )
-  (func $unreachable-loop-toplevel (type $5) (result i32)
-    (loop $label$0
-      (nop)
-      (return
-        (i32.const 1)
-      )
-    )
-    (unreachable)
+  (f64.abs
+   (unreachable)
   )
-  (func $unreachable-loop0-toplevel (type $5) (result i32)
-    (loop $label$0
-      (return
-        (i32.const 1)
-      )
+ )
+ (func $unreachable-if-toplevel (type $5) (result i32)
+  (if
+   (i32.const 3)
+   (block $label$0
+    (return
+     (i32.const 2)
     )
-    (unreachable)
-  )
+   )
+   (block $label$1
+    (return
+     (i32.const 1)
+    )
+   )
+  )
+  (unreachable)
+ )
+ (func $unreachable-loop (type $5) (result i32)
+  (loop $label$0
+   (nop)
+   (return
+    (i32.const 1)
+   )
+  )
+  (f64.abs
+   (unreachable)
+  )
+ )
+ (func $unreachable-loop0 (type $5) (result i32)
+  (loop $label$0
+   (return
+    (i32.const 1)
+   )
+  )
+  (f64.abs
+   (unreachable)
+  )
+ )
+ (func $unreachable-loop-toplevel (type $5) (result i32)
+  (loop $label$0
+   (nop)
+   (return
+    (i32.const 1)
+   )
+  )
+  (unreachable)
+ )
+ (func $unreachable-loop0-toplevel (type $5) (result i32)
+  (loop $label$0
+   (return
+    (i32.const 1)
+   )
+  )
+  (unreachable)
+ )
 )