[EH][test] Split EH tests into old and new spec (#6178)

This moves tests for the old EH spec to `exception-handling-old.wast`
and moves the new `exnref` test into `exception-handling.wast`, onto
which I plan to add more tests for the new EH spec.

The primary reason for splitting the files is I plan to exclude the new
EH test from the fuzzing while the new spec's implementation is in
progress, and I don't want to exclude the old EH tests altogether.

2 files changed, 1824 insertions, 1816 deletions

diff --git a/test/lit/basic/exception-handling-old.wast b/test/lit/basic/exception-handling-old.wast
new file mode 100644
index 000000000..c082c1977
--- /dev/null
+++ b/test/lit/basic/exception-handling-old.wast
@@ -0,0 +1,1817 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+
+;; RUN: wasm-opt %s -all -o %t.text.wast -g -S
+;; RUN: wasm-as %s -all -g -o %t.wasm
+;; RUN: wasm-dis %t.wasm -all -o %t.bin.wast
+;; RUN: wasm-as %s -all -o %t.nodebug.wasm
+;; RUN: wasm-dis %t.nodebug.wasm -all -o %t.bin.nodebug.wast
+;; RUN: cat %t.text.wast | filecheck %s --check-prefix=CHECK-TEXT
+;; RUN: cat %t.bin.wast | filecheck %s --check-prefix=CHECK-BIN
+;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG
+
+(module
+  ;; CHECK-TEXT:      (type $0 (func))
+
+  ;; CHECK-TEXT:      (type $1 (func (param i32)))
+
+  ;; CHECK-TEXT:      (type $2 (func (param i64)))
+
+  ;; CHECK-TEXT:      (type $3 (func (param i32 i64)))
+
+  ;; CHECK-TEXT:      (type $4 (func (param eqref)))
+
+  ;; CHECK-TEXT:      (tag $e-i32 (param i32))
+  ;; CHECK-BIN:      (type $0 (func))
+
+  ;; CHECK-BIN:      (type $1 (func (param i32)))
+
+  ;; CHECK-BIN:      (type $2 (func (param i64)))
+
+  ;; CHECK-BIN:      (type $3 (func (param i32 i64)))
+
+  ;; CHECK-BIN:      (type $4 (func (param eqref)))
+
+  ;; CHECK-BIN:      (tag $e-i32 (param i32))
+  (tag $e-i32 (param i32))
+  ;; CHECK-TEXT:      (tag $e-i64 (param i64))
+  ;; CHECK-BIN:      (tag $e-i64 (param i64))
+  (tag $e-i64 (param i64))
+  ;; CHECK-TEXT:      (tag $e-i32-i64 (param i32 i64))
+  ;; CHECK-BIN:      (tag $e-i32-i64 (param i32 i64))
+  (tag $e-i32-i64 (param i32 i64))
+  ;; CHECK-TEXT:      (tag $e-eqref (param eqref))
+  ;; CHECK-BIN:      (tag $e-eqref (param eqref))
+  (tag $e-eqref (param (ref null eq)))
+  ;; CHECK-TEXT:      (tag $e-empty)
+  ;; CHECK-BIN:      (tag $e-empty)
+  (tag $e-empty)
+
+  ;; CHECK-TEXT:      (func $foo (type $0)
+  ;; CHECK-TEXT-NEXT:  (nop)
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $foo (type $0)
+  ;; CHECK-BIN-NEXT:  (nop)
+  ;; CHECK-BIN-NEXT: )
+  (func $foo)
+
+  ;; CHECK-TEXT:      (func $bar (type $0)
+  ;; CHECK-TEXT-NEXT:  (nop)
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $bar (type $0)
+  ;; CHECK-BIN-NEXT:  (nop)
+  ;; CHECK-BIN-NEXT: )
+  (func $bar)
+
+  ;; ---------------------------------------------------------------------------
+  ;; Old Phase 3 exception handling
+
+  ;; CHECK-TEXT:      (func $simple-try-catch (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32
+  ;; CHECK-TEXT-NEXT:     (i32.const 0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $simple-try-catch (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (throw $e-i32
+  ;; CHECK-BIN-NEXT:     (i32.const 0)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $simple-try-catch
+    (try
+      (do
+        (throw $e-i32 (i32.const 0))
+      )
+      (catch $e-i32
+        (drop (pop i32))
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $try-catch-multivalue-tag (type $0)
+  ;; CHECK-TEXT-NEXT:  (local $x (i32 i64))
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32-i64
+  ;; CHECK-TEXT-NEXT:     (i32.const 0)
+  ;; CHECK-TEXT-NEXT:     (i64.const 0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32-i64
+  ;; CHECK-TEXT-NEXT:    (local.set $x
+  ;; CHECK-TEXT-NEXT:     (pop i32 i64)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (tuple.extract 2 0
+  ;; CHECK-TEXT-NEXT:      (local.get $x)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $try-catch-multivalue-tag (type $0)
+  ;; CHECK-BIN-NEXT:  (local $x i32)
+  ;; CHECK-BIN-NEXT:  (local $1 i64)
+  ;; CHECK-BIN-NEXT:  (local $2 (i32 i64))
+  ;; CHECK-BIN-NEXT:  (local $3 i32)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (throw $e-i32-i64
+  ;; CHECK-BIN-NEXT:     (i32.const 0)
+  ;; CHECK-BIN-NEXT:     (i64.const 0)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32-i64
+  ;; CHECK-BIN-NEXT:    (local.set $2
+  ;; CHECK-BIN-NEXT:     (pop i32 i64)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (local.set $x
+  ;; CHECK-BIN-NEXT:     (block (result i32)
+  ;; CHECK-BIN-NEXT:      (local.set $3
+  ;; CHECK-BIN-NEXT:       (tuple.extract 2 0
+  ;; CHECK-BIN-NEXT:        (local.get $2)
+  ;; CHECK-BIN-NEXT:       )
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (local.set $1
+  ;; CHECK-BIN-NEXT:       (tuple.extract 2 1
+  ;; CHECK-BIN-NEXT:        (local.get $2)
+  ;; CHECK-BIN-NEXT:       )
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (local.get $3)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (local.get $x)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $try-catch-multivalue-tag (local $x (i32 i64))
+    (try
+      (do
+        (throw $e-i32-i64 (i32.const 0) (i64.const 0))
+      )
+      (catch $e-i32-i64
+        (local.set $x (pop i32 i64))
+        (drop
+          (tuple.extract 2 0
+            (local.get $x)
+          )
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $try-with-block-label (type $0)
+  ;; CHECK-TEXT-NEXT:  (block $l10
+  ;; CHECK-TEXT-NEXT:   (try $l1
+  ;; CHECK-TEXT-NEXT:    (do
+  ;; CHECK-TEXT-NEXT:     (br $l10)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (catch $e-i32
+  ;; CHECK-TEXT-NEXT:     (drop
+  ;; CHECK-TEXT-NEXT:      (pop i32)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (br $l10)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $try-with-block-label (type $0)
+  ;; CHECK-BIN-NEXT:  (block $label$1
+  ;; CHECK-BIN-NEXT:   (try $label$4
+  ;; CHECK-BIN-NEXT:    (do
+  ;; CHECK-BIN-NEXT:     (br $label$1)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (catch $e-i32
+  ;; CHECK-BIN-NEXT:     (drop
+  ;; CHECK-BIN-NEXT:      (pop i32)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (br $label$1)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $try-with-block-label
+    (try $l1
+      (do
+        (br $l1)
+      )
+      (catch $e-i32
+        (drop (pop i32))
+        (br $l1)
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $empty-try-body (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $empty-try-body (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $empty-try-body
+    (try
+      (do)
+      (catch $e-i32
+        (drop (pop i32))
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $multiple-insts-within-try-and-catch-bodies (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:    (call $bar)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:    (call $bar)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $multiple-insts-within-try-and-catch-bodies (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:    (call $bar)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:    (call $bar)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $multiple-insts-within-try-and-catch-bodies
+    (try
+      (do
+        (call $foo)
+        (call $bar)
+      )
+      (catch $e-i32
+        (drop (pop i32))
+        (call $foo)
+        (call $bar)
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $multiple-catches (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32
+  ;; CHECK-TEXT-NEXT:     (i32.const 0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i64
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i64)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $multiple-catches (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (throw $e-i32
+  ;; CHECK-BIN-NEXT:     (i32.const 0)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i64
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i64)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $multiple-catches
+    (try
+      (do
+        (throw $e-i32 (i32.const 0))
+      )
+      (catch $e-i32
+        (drop (pop i32))
+      )
+      (catch $e-i64
+        (drop (pop i64))
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $catch-all (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32
+  ;; CHECK-TEXT-NEXT:     (i32.const 0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $catch-all (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (throw $e-i32
+  ;; CHECK-BIN-NEXT:     (i32.const 0)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $catch-all
+    (try
+      (do
+        (throw $e-i32 (i32.const 0))
+      )
+      (catch_all)
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $catch-and-catch-all-together (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32
+  ;; CHECK-TEXT-NEXT:     (i32.const 0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i64
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i64)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:    (call $bar)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $catch-and-catch-all-together (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (throw $e-i32
+  ;; CHECK-BIN-NEXT:     (i32.const 0)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i64
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i64)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:    (call $bar)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $catch-and-catch-all-together
+    (try
+      (do
+        (throw $e-i32 (i32.const 0))
+      )
+      (catch $e-i32
+        (drop (pop i32))
+      )
+      (catch $e-i64
+        (drop (pop i64))
+      )
+      (catch_all
+        (call $foo)
+        (call $bar)
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $nested-try-catch (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (try $try1
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (throw $e-i32
+  ;; CHECK-TEXT-NEXT:       (i32.const 0)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch $e-i32
+  ;; CHECK-TEXT-NEXT:      (drop
+  ;; CHECK-TEXT-NEXT:       (pop i32)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch_all
+  ;; CHECK-TEXT-NEXT:      (nop)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (try $try2
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (throw $e-i32
+  ;; CHECK-TEXT-NEXT:       (i32.const 0)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch $e-i32
+  ;; CHECK-TEXT-NEXT:      (drop
+  ;; CHECK-TEXT-NEXT:       (pop i32)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch_all
+  ;; CHECK-TEXT-NEXT:      (nop)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $nested-try-catch (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$9
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (try $label$4
+  ;; CHECK-BIN-NEXT:     (do
+  ;; CHECK-BIN-NEXT:      (throw $e-i32
+  ;; CHECK-BIN-NEXT:       (i32.const 0)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch $e-i32
+  ;; CHECK-BIN-NEXT:      (drop
+  ;; CHECK-BIN-NEXT:       (pop i32)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch_all
+  ;; CHECK-BIN-NEXT:      (nop)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (try $label$8
+  ;; CHECK-BIN-NEXT:     (do
+  ;; CHECK-BIN-NEXT:      (throw $e-i32
+  ;; CHECK-BIN-NEXT:       (i32.const 0)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch $e-i32
+  ;; CHECK-BIN-NEXT:      (drop
+  ;; CHECK-BIN-NEXT:       (pop i32)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch_all
+  ;; CHECK-BIN-NEXT:      (nop)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $nested-try-catch
+    (try
+      (do
+        (try
+          (do
+            (throw $e-i32 (i32.const 0))
+          )
+          (catch $e-i32
+            (drop (pop i32))
+          )
+          (catch_all)
+        )
+      )
+      (catch $e-i32
+        (drop (pop i32))
+      )
+      (catch_all
+        (try
+          (do
+            (throw $e-i32 (i32.const 0))
+          )
+          (catch $e-i32
+            (drop (pop i32))
+          )
+          (catch_all)
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $catchless-delegateless-try (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32
+  ;; CHECK-TEXT-NEXT:     (i32.const 0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $catchless-delegateless-try (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (throw $e-i32
+  ;; CHECK-BIN-NEXT:     (i32.const 0)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $catchless-delegateless-try
+    (try
+      (do
+        (throw $e-i32 (i32.const 0))
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $inner-delegate-target-outer-catch (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $l0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (try $try
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (call $foo)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (delegate $l0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (try $try3
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (call $foo)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (delegate $l0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $inner-delegate-target-outer-catch (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$9
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (block $label$1
+  ;; CHECK-BIN-NEXT:     (try $label$4
+  ;; CHECK-BIN-NEXT:      (do
+  ;; CHECK-BIN-NEXT:       (call $foo)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (delegate $label$9)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (try $label$7
+  ;; CHECK-BIN-NEXT:      (do
+  ;; CHECK-BIN-NEXT:       (call $foo)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (delegate $label$9)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $inner-delegate-target-outer-catch
+    (try $l0
+      (do
+        (try
+          (do
+            (call $foo)
+          )
+          (delegate $l0) ;; by label
+        )
+        (try
+          (do
+            (call $foo)
+          )
+          (delegate 0) ;; by depth
+        )
+      )
+      (catch_all)
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $branch-and-delegate-target-same-try-label (type $0)
+  ;; CHECK-TEXT-NEXT:  (block $l05
+  ;; CHECK-TEXT-NEXT:   (try $l0
+  ;; CHECK-TEXT-NEXT:    (do
+  ;; CHECK-TEXT-NEXT:     (try $try
+  ;; CHECK-TEXT-NEXT:      (do
+  ;; CHECK-TEXT-NEXT:       (br_if $l05
+  ;; CHECK-TEXT-NEXT:        (i32.const 1)
+  ;; CHECK-TEXT-NEXT:       )
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:      (delegate $l0)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (try $try4
+  ;; CHECK-TEXT-NEXT:      (do
+  ;; CHECK-TEXT-NEXT:       (br_if $l05
+  ;; CHECK-TEXT-NEXT:        (i32.const 1)
+  ;; CHECK-TEXT-NEXT:       )
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:      (delegate $l0)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (catch_all
+  ;; CHECK-TEXT-NEXT:     (nop)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $branch-and-delegate-target-same-try-label (type $0)
+  ;; CHECK-BIN-NEXT:  (block $label$1
+  ;; CHECK-BIN-NEXT:   (try $label$10
+  ;; CHECK-BIN-NEXT:    (do
+  ;; CHECK-BIN-NEXT:     (block $label$2
+  ;; CHECK-BIN-NEXT:      (try $label$5
+  ;; CHECK-BIN-NEXT:       (do
+  ;; CHECK-BIN-NEXT:        (br_if $label$1
+  ;; CHECK-BIN-NEXT:         (i32.const 1)
+  ;; CHECK-BIN-NEXT:        )
+  ;; CHECK-BIN-NEXT:       )
+  ;; CHECK-BIN-NEXT:       (delegate $label$10)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (try $label$8
+  ;; CHECK-BIN-NEXT:       (do
+  ;; CHECK-BIN-NEXT:        (br_if $label$1
+  ;; CHECK-BIN-NEXT:         (i32.const 1)
+  ;; CHECK-BIN-NEXT:        )
+  ;; CHECK-BIN-NEXT:       )
+  ;; CHECK-BIN-NEXT:       (delegate $label$10)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (catch_all
+  ;; CHECK-BIN-NEXT:     (nop)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $branch-and-delegate-target-same-try-label
+    ;; When there are both a branch and a delegate that target the same try
+    ;; label. Because binaryen only allows blocks and loops to be targetted by
+    ;; branches, we wrap the try with a block and make branches that block
+    ;; instead, resulting in the br and delegate target different labels in the
+    ;; output.
+    (try $l0
+      (do
+        (try
+          (do
+            (br_if $l0 (i32.const 1))
+          )
+          (delegate $l0) ;; by label
+        )
+        (try
+          (do
+            (br_if $l0 (i32.const 1))
+          )
+          (delegate 0) ;; by depth
+        )
+      )
+      (catch_all)
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $inner-delegate-target-outer-delegate (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $l0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (try $try
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (call $foo)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (delegate $l0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (delegate 0)
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $inner-delegate-target-outer-delegate (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$6
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (block $label$1
+  ;; CHECK-BIN-NEXT:     (try $label$4
+  ;; CHECK-BIN-NEXT:      (do
+  ;; CHECK-BIN-NEXT:       (call $foo)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (delegate $label$6)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (delegate 0)
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $inner-delegate-target-outer-delegate
+    ;; The inner delegate targets the outer delegate, which in turn targets the
+    ;; caller.
+    (try $l0
+      (do
+        (try
+          (do
+            (call $foo)
+          )
+          (delegate $l0)
+        )
+      )
+      (delegate 0)
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $empty-catch-body (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-empty
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $empty-catch-body (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-empty
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $empty-catch-body
+    ;; 'catch' body can be empty when the tag's type is none.
+    (try
+      (do)
+      (catch $e-empty)
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $try-catch-rethrow (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $l0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop i32)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $try-catch-rethrow (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop i32)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (rethrow $label$3)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (rethrow $label$3)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $try-catch-rethrow
+    ;; Simple try-catch-rethrow
+    (try $l0
+      (do
+        (call $foo)
+      )
+      (catch $e-i32
+        (drop (pop i32))
+        (rethrow $l0) ;; by label
+      )
+      (catch_all
+        (rethrow 0) ;; by depth
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $branch-and-rethrow-target-same-try-label (type $0)
+  ;; CHECK-TEXT-NEXT:  (block $l06
+  ;; CHECK-TEXT-NEXT:   (try $l0
+  ;; CHECK-TEXT-NEXT:    (do
+  ;; CHECK-TEXT-NEXT:     (call $foo)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (catch $e-i32
+  ;; CHECK-TEXT-NEXT:     (drop
+  ;; CHECK-TEXT-NEXT:      (pop i32)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (catch_all
+  ;; CHECK-TEXT-NEXT:     (br $l06)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $branch-and-rethrow-target-same-try-label (type $0)
+  ;; CHECK-BIN-NEXT:  (block $label$1
+  ;; CHECK-BIN-NEXT:   (try $label$4
+  ;; CHECK-BIN-NEXT:    (do
+  ;; CHECK-BIN-NEXT:     (call $foo)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (catch $e-i32
+  ;; CHECK-BIN-NEXT:     (drop
+  ;; CHECK-BIN-NEXT:      (pop i32)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (rethrow $label$4)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (catch_all
+  ;; CHECK-BIN-NEXT:     (br $label$1)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $branch-and-rethrow-target-same-try-label
+    ;; When there are both a branch and a rethrow that target the same try
+    ;; label. Because binaryen only allows blocks and loops to be targetted by
+    ;; branches, we wrap the try with a block and make branches that block
+    ;; instead, resulting in the br and rethrow target different labels in the
+    ;; output.
+    (try $l0
+      (do
+        (call $foo)
+      )
+      (catch $e-i32
+        (drop (pop i32))
+        (rethrow $l0)
+      )
+      (catch_all
+        (br $l0)
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $nested-rethrow (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $l0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (try $try
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (call $foo)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch $e-i32
+  ;; CHECK-TEXT-NEXT:      (drop
+  ;; CHECK-TEXT-NEXT:       (pop i32)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:      (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch_all
+  ;; CHECK-TEXT-NEXT:      (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $nested-rethrow (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$6
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (try $label$5
+  ;; CHECK-BIN-NEXT:     (do
+  ;; CHECK-BIN-NEXT:      (call $foo)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch $e-i32
+  ;; CHECK-BIN-NEXT:      (drop
+  ;; CHECK-BIN-NEXT:       (pop i32)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (rethrow $label$6)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch_all
+  ;; CHECK-BIN-NEXT:      (rethrow $label$6)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $nested-rethrow
+    ;; One more level deep
+    (try $l0
+      (do
+        (call $foo)
+      )
+      (catch_all
+        (try
+          (do
+            (call $foo)
+          )
+          (catch $e-i32
+            (drop (pop i32))
+            (rethrow $l0) ;; by label
+          )
+          (catch_all
+            (rethrow 1) ;; by depth
+          )
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $rnested-rethrow-with-interleaving-block (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $l0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (try $try
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (call $foo)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch $e-i32
+  ;; CHECK-TEXT-NEXT:      (drop
+  ;; CHECK-TEXT-NEXT:       (pop i32)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:      (block $b0
+  ;; CHECK-TEXT-NEXT:       (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch_all
+  ;; CHECK-TEXT-NEXT:      (block $b1
+  ;; CHECK-TEXT-NEXT:       (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $rnested-rethrow-with-interleaving-block (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$7
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (try $label$6
+  ;; CHECK-BIN-NEXT:     (do
+  ;; CHECK-BIN-NEXT:      (call $foo)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch $e-i32
+  ;; CHECK-BIN-NEXT:      (drop
+  ;; CHECK-BIN-NEXT:       (pop i32)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (block $label$5
+  ;; CHECK-BIN-NEXT:       (rethrow $label$7)
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch_all
+  ;; CHECK-BIN-NEXT:      (rethrow $label$7)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $rnested-rethrow-with-interleaving-block
+    ;; Interleaving block
+    (try $l0
+      (do
+        (call $foo)
+      )
+      (catch_all
+        (try
+          (do
+            (call $foo)
+          )
+          (catch $e-i32
+            (drop (pop i32))
+            (block $b0
+              (rethrow $l0) ;; by label
+            )
+          )
+          (catch_all
+            (block $b1
+              (rethrow 2) ;; by depth
+            )
+          )
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $rethrow-within-nested-try-part (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $l0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (try $try
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (rethrow $l0)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch_all
+  ;; CHECK-TEXT-NEXT:      (nop)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT:  (try $l07
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (call $foo)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch_all
+  ;; CHECK-TEXT-NEXT:    (try $try8
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (rethrow $l07)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (catch_all
+  ;; CHECK-TEXT-NEXT:      (nop)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $rethrow-within-nested-try-part (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$6
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (try $label$5
+  ;; CHECK-BIN-NEXT:     (do
+  ;; CHECK-BIN-NEXT:      (rethrow $label$6)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch_all
+  ;; CHECK-BIN-NEXT:      (nop)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT:  (try $label$12
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (call $foo)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch_all
+  ;; CHECK-BIN-NEXT:    (try $label$11
+  ;; CHECK-BIN-NEXT:     (do
+  ;; CHECK-BIN-NEXT:      (rethrow $label$12)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:     (catch_all
+  ;; CHECK-BIN-NEXT:      (nop)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $rethrow-within-nested-try-part
+    ;; Within nested try, but rather in 'try' part and not 'catch'
+    (try $l0
+      (do
+        (call $foo)
+      )
+      (catch_all
+        (try
+          (do
+            (rethrow $l0) ;; by label
+          )
+          (catch_all)
+        )
+      )
+    )
+    (try $l0
+      (do
+        (call $foo)
+      )
+      (catch_all
+        (try
+          (do
+            (rethrow 1) ;; by depth
+          )
+          (catch_all)
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $pop-within-if-condition (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-i32
+  ;; CHECK-TEXT-NEXT:    (throw $e-i32
+  ;; CHECK-TEXT-NEXT:     (if (result i32)
+  ;; CHECK-TEXT-NEXT:      (pop i32)
+  ;; CHECK-TEXT-NEXT:      (i32.const 0)
+  ;; CHECK-TEXT-NEXT:      (i32.const 3)
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $pop-within-if-condition (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$5
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-i32
+  ;; CHECK-BIN-NEXT:    (throw $e-i32
+  ;; CHECK-BIN-NEXT:     (if (result i32)
+  ;; CHECK-BIN-NEXT:      (pop i32)
+  ;; CHECK-BIN-NEXT:      (i32.const 0)
+  ;; CHECK-BIN-NEXT:      (i32.const 3)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $pop-within-if-condition
+    (try
+      (do)
+      (catch $e-i32
+        (throw $e-i32
+          (if (result i32)
+            ;; pop is within an if condition, so this is OK.
+            (pop i32)
+            (i32.const 0)
+            (i32.const 3)
+          )
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $pop-can-be-supertype (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $try
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (nop)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (catch $e-eqref
+  ;; CHECK-TEXT-NEXT:    (drop
+  ;; CHECK-TEXT-NEXT:     (pop anyref)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $pop-can-be-supertype (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$3
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (nop)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (catch $e-eqref
+  ;; CHECK-BIN-NEXT:    (drop
+  ;; CHECK-BIN-NEXT:     (pop eqref)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $pop-can-be-supertype
+    (try
+      (do)
+      (catch $e-eqref
+        (drop
+          (pop anyref) ;; pop can be supertype
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $catchless-try-with-inner-delegate (type $0)
+  ;; CHECK-TEXT-NEXT:  (try $label$0
+  ;; CHECK-TEXT-NEXT:   (do
+  ;; CHECK-TEXT-NEXT:    (try $try
+  ;; CHECK-TEXT-NEXT:     (do
+  ;; CHECK-TEXT-NEXT:      (throw $e-i32
+  ;; CHECK-TEXT-NEXT:       (i32.const 0)
+  ;; CHECK-TEXT-NEXT:      )
+  ;; CHECK-TEXT-NEXT:     )
+  ;; CHECK-TEXT-NEXT:     (delegate $label$0)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $catchless-try-with-inner-delegate (type $0)
+  ;; CHECK-BIN-NEXT:  (try $label$6
+  ;; CHECK-BIN-NEXT:   (do
+  ;; CHECK-BIN-NEXT:    (block $label$1
+  ;; CHECK-BIN-NEXT:     (try $label$4
+  ;; CHECK-BIN-NEXT:      (do
+  ;; CHECK-BIN-NEXT:       (throw $e-i32
+  ;; CHECK-BIN-NEXT:        (i32.const 0)
+  ;; CHECK-BIN-NEXT:       )
+  ;; CHECK-BIN-NEXT:      )
+  ;; CHECK-BIN-NEXT:      (delegate $label$6)
+  ;; CHECK-BIN-NEXT:     )
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT: )
+  (func $catchless-try-with-inner-delegate
+    (try $label$0
+      (do
+        (try
+          (do
+            (throw $e-i32
+              (i32.const 0)
+            )
+          )
+          (delegate $label$0)
+        )
+      )
+    )
+  )
+
+  ;; CHECK-TEXT:      (func $nested-delegate-within-block (type $0)
+  ;; CHECK-TEXT-NEXT:  (block $l0
+  ;; CHECK-TEXT-NEXT:   (block $l1
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:   (try $try
+  ;; CHECK-TEXT-NEXT:    (do
+  ;; CHECK-TEXT-NEXT:     (nop)
+  ;; CHECK-TEXT-NEXT:    )
+  ;; CHECK-TEXT-NEXT:    (delegate 1)
+  ;; CHECK-TEXT-NEXT:   )
+  ;; CHECK-TEXT-NEXT:  )
+  ;; CHECK-TEXT-NEXT:  (nop)
+  ;; CHECK-TEXT-NEXT: )
+  ;; CHECK-BIN:      (func $nested-delegate-within-block (type $0)
+  ;; CHECK-BIN-NEXT:  (block $label$1
+  ;; CHECK-BIN-NEXT:   (block $label$2
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:   (try $label$5
+  ;; CHECK-BIN-NEXT:    (do
+  ;; CHECK-BIN-NEXT:     (nop)
+  ;; CHECK-BIN-NEXT:    )
+  ;; CHECK-BIN-NEXT:    (delegate 1)
+  ;; CHECK-BIN-NEXT:   )
+  ;; CHECK-BIN-NEXT:  )
+  ;; CHECK-BIN-NEXT:  (nop)
+  ;; CHECK-BIN-NEXT: )
+  (func $nested-delegate-within-block
+    ;; When 'delegate' is next to a nested block, make sure its delegate
+    ;; argument is parsed correctly.
+    (block $l0
+      (block $l1)
+      (try
+        (do)
+        (delegate 1) ;; to caller
+      )
+    )
+    (nop)
+  )
+)
+;; CHECK-BIN-NODEBUG:      (type $0 (func))
+
+;; CHECK-BIN-NODEBUG:      (type $1 (func (param i32)))
+
+;; CHECK-BIN-NODEBUG:      (type $2 (func (param i64)))
+
+;; CHECK-BIN-NODEBUG:      (type $3 (func (param i32 i64)))
+
+;; CHECK-BIN-NODEBUG:      (type $4 (func (param eqref)))
+
+;; CHECK-BIN-NODEBUG:      (tag $tag$0 (param i32))
+
+;; CHECK-BIN-NODEBUG:      (tag $tag$1 (param i64))
+
+;; CHECK-BIN-NODEBUG:      (tag $tag$2 (param i32 i64))
+
+;; CHECK-BIN-NODEBUG:      (tag $tag$3 (param eqref))
+
+;; CHECK-BIN-NODEBUG:      (tag $tag$4)
+
+;; CHECK-BIN-NODEBUG:      (func $0 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (nop)
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $1 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (nop)
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $2 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $3 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (local $0 i32)
+;; CHECK-BIN-NODEBUG-NEXT:  (local $1 i64)
+;; CHECK-BIN-NODEBUG-NEXT:  (local $2 (i32 i64))
+;; CHECK-BIN-NODEBUG-NEXT:  (local $3 i32)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$2
+;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:     (i64.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$2
+;; CHECK-BIN-NODEBUG-NEXT:    (local.set $2
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32 i64)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (local.set $0
+;; CHECK-BIN-NODEBUG-NEXT:     (block (result i32)
+;; CHECK-BIN-NODEBUG-NEXT:      (local.set $3
+;; CHECK-BIN-NODEBUG-NEXT:       (tuple.extract 2 0
+;; CHECK-BIN-NODEBUG-NEXT:        (local.get $2)
+;; CHECK-BIN-NODEBUG-NEXT:       )
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (local.set $1
+;; CHECK-BIN-NODEBUG-NEXT:       (tuple.extract 2 1
+;; CHECK-BIN-NODEBUG-NEXT:        (local.get $2)
+;; CHECK-BIN-NODEBUG-NEXT:       )
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (local.get $3)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (local.get $0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $4 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:   (try $label$4
+;; CHECK-BIN-NODEBUG-NEXT:    (do
+;; CHECK-BIN-NODEBUG-NEXT:     (br $label$1)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (drop
+;; CHECK-BIN-NODEBUG-NEXT:      (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (br $label$1)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $5 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $6 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:    (call $1)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:    (call $1)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $7 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$1
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i64)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $8 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $9 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$1
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i64)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:    (call $1)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $10 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$9
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (try $label$4
+;; CHECK-BIN-NODEBUG-NEXT:     (do
+;; CHECK-BIN-NODEBUG-NEXT:      (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:       (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:      (drop
+;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:      (nop)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (try $label$8
+;; CHECK-BIN-NODEBUG-NEXT:     (do
+;; CHECK-BIN-NODEBUG-NEXT:      (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:       (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:      (drop
+;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:      (nop)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $11 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $12 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$9
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:     (try $label$4
+;; CHECK-BIN-NODEBUG-NEXT:      (do
+;; CHECK-BIN-NODEBUG-NEXT:       (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$9)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (try $label$7
+;; CHECK-BIN-NODEBUG-NEXT:      (do
+;; CHECK-BIN-NODEBUG-NEXT:       (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$9)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $13 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:   (try $label$10
+;; CHECK-BIN-NODEBUG-NEXT:    (do
+;; CHECK-BIN-NODEBUG-NEXT:     (block $label$2
+;; CHECK-BIN-NODEBUG-NEXT:      (try $label$5
+;; CHECK-BIN-NODEBUG-NEXT:       (do
+;; CHECK-BIN-NODEBUG-NEXT:        (br_if $label$1
+;; CHECK-BIN-NODEBUG-NEXT:         (i32.const 1)
+;; CHECK-BIN-NODEBUG-NEXT:        )
+;; CHECK-BIN-NODEBUG-NEXT:       )
+;; CHECK-BIN-NODEBUG-NEXT:       (delegate $label$10)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (try $label$8
+;; CHECK-BIN-NODEBUG-NEXT:       (do
+;; CHECK-BIN-NODEBUG-NEXT:        (br_if $label$1
+;; CHECK-BIN-NODEBUG-NEXT:         (i32.const 1)
+;; CHECK-BIN-NODEBUG-NEXT:        )
+;; CHECK-BIN-NODEBUG-NEXT:       )
+;; CHECK-BIN-NODEBUG-NEXT:       (delegate $label$10)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:     (nop)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $14 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:     (try $label$4
+;; CHECK-BIN-NODEBUG-NEXT:      (do
+;; CHECK-BIN-NODEBUG-NEXT:       (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$6)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (delegate 0)
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $15 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$4
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $16 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (rethrow $label$3)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (rethrow $label$3)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $17 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:   (try $label$4
+;; CHECK-BIN-NODEBUG-NEXT:    (do
+;; CHECK-BIN-NODEBUG-NEXT:     (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (drop
+;; CHECK-BIN-NODEBUG-NEXT:      (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (rethrow $label$4)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:     (br $label$1)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $18 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (try $label$5
+;; CHECK-BIN-NODEBUG-NEXT:     (do
+;; CHECK-BIN-NODEBUG-NEXT:      (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:      (drop
+;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$6)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$6)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $19 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$7
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (try $label$6
+;; CHECK-BIN-NODEBUG-NEXT:     (do
+;; CHECK-BIN-NODEBUG-NEXT:      (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:      (drop
+;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (block $label$5
+;; CHECK-BIN-NODEBUG-NEXT:       (rethrow $label$7)
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$7)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $20 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (try $label$5
+;; CHECK-BIN-NODEBUG-NEXT:     (do
+;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$6)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:      (nop)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$12
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:    (try $label$11
+;; CHECK-BIN-NODEBUG-NEXT:     (do
+;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$12)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
+;; CHECK-BIN-NODEBUG-NEXT:      (nop)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $21 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$5
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:     (if (result i32)
+;; CHECK-BIN-NODEBUG-NEXT:      (pop i32)
+;; CHECK-BIN-NODEBUG-NEXT:      (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:      (i32.const 3)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $22 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (nop)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$3
+;; CHECK-BIN-NODEBUG-NEXT:    (drop
+;; CHECK-BIN-NODEBUG-NEXT:     (pop eqref)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $23 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
+;; CHECK-BIN-NODEBUG-NEXT:   (do
+;; CHECK-BIN-NODEBUG-NEXT:    (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:     (try $label$4
+;; CHECK-BIN-NODEBUG-NEXT:      (do
+;; CHECK-BIN-NODEBUG-NEXT:       (throw $tag$0
+;; CHECK-BIN-NODEBUG-NEXT:        (i32.const 0)
+;; CHECK-BIN-NODEBUG-NEXT:       )
+;; CHECK-BIN-NODEBUG-NEXT:      )
+;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$6)
+;; CHECK-BIN-NODEBUG-NEXT:     )
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT: )
+
+;; CHECK-BIN-NODEBUG:      (func $24 (type $0)
+;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
+;; CHECK-BIN-NODEBUG-NEXT:   (block $label$2
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:   (try $label$5
+;; CHECK-BIN-NODEBUG-NEXT:    (do
+;; CHECK-BIN-NODEBUG-NEXT:     (nop)
+;; CHECK-BIN-NODEBUG-NEXT:    )
+;; CHECK-BIN-NODEBUG-NEXT:    (delegate 1)
+;; CHECK-BIN-NODEBUG-NEXT:   )
+;; CHECK-BIN-NODEBUG-NEXT:  )
+;; CHECK-BIN-NODEBUG-NEXT:  (nop)
+;; CHECK-BIN-NODEBUG-NEXT: )
diff --git a/test/lit/basic/exception-handling.wast b/test/lit/basic/exception-handling.wast
index 9191beeb2..945cca1af 100644
--- a/test/lit/basic/exception-handling.wast
+++ b/test/lit/basic/exception-handling.wast
@@ -10,1322 +10,9 @@
 ;; RUN: cat %t.bin.nodebug.wast | filecheck %s --check-prefix=CHECK-BIN-NODEBUG
 
 (module
-  ;; CHECK-TEXT:      (type $0 (func))
+  ;; CHECK-TEXT:      (type $0 (func (result exnref)))
 
-  ;; CHECK-TEXT:      (type $1 (func (param i32)))
-
-  ;; CHECK-TEXT:      (type $2 (func (param i64)))
-
-  ;; CHECK-TEXT:      (type $3 (func (param i32 i64)))
-
-  ;; CHECK-TEXT:      (type $4 (func (param eqref)))
-
-  ;; CHECK-TEXT:      (type $5 (func (result exnref)))
-
-  ;; CHECK-TEXT:      (tag $e-i32 (param i32))
-  ;; CHECK-BIN:      (type $0 (func))
-
-  ;; CHECK-BIN:      (type $1 (func (param i32)))
-
-  ;; CHECK-BIN:      (type $2 (func (param i64)))
-
-  ;; CHECK-BIN:      (type $3 (func (param i32 i64)))
-
-  ;; CHECK-BIN:      (type $4 (func (param eqref)))
-
-  ;; CHECK-BIN:      (type $5 (func (result exnref)))
-
-  ;; CHECK-BIN:      (tag $e-i32 (param i32))
-  (tag $e-i32 (param i32))
-  ;; CHECK-TEXT:      (tag $e-i64 (param i64))
-  ;; CHECK-BIN:      (tag $e-i64 (param i64))
-  (tag $e-i64 (param i64))
-  ;; CHECK-TEXT:      (tag $e-i32-i64 (param i32 i64))
-  ;; CHECK-BIN:      (tag $e-i32-i64 (param i32 i64))
-  (tag $e-i32-i64 (param i32 i64))
-  ;; CHECK-TEXT:      (tag $e-eqref (param eqref))
-  ;; CHECK-BIN:      (tag $e-eqref (param eqref))
-  (tag $e-eqref (param (ref null eq)))
-  ;; CHECK-TEXT:      (tag $e-empty)
-  ;; CHECK-BIN:      (tag $e-empty)
-  (tag $e-empty)
-
-  ;; CHECK-TEXT:      (func $foo (type $0)
-  ;; CHECK-TEXT-NEXT:  (nop)
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $foo (type $0)
-  ;; CHECK-BIN-NEXT:  (nop)
-  ;; CHECK-BIN-NEXT: )
-  (func $foo)
-
-  ;; CHECK-TEXT:      (func $bar (type $0)
-  ;; CHECK-TEXT-NEXT:  (nop)
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $bar (type $0)
-  ;; CHECK-BIN-NEXT:  (nop)
-  ;; CHECK-BIN-NEXT: )
-  (func $bar)
-
-  ;; ---------------------------------------------------------------------------
-  ;; Old Phase 3 exception handling
-
-  ;; CHECK-TEXT:      (func $simple-try-catch (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32
-  ;; CHECK-TEXT-NEXT:     (i32.const 0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $simple-try-catch (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (throw $e-i32
-  ;; CHECK-BIN-NEXT:     (i32.const 0)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $simple-try-catch
-    (try
-      (do
-        (throw $e-i32 (i32.const 0))
-      )
-      (catch $e-i32
-        (drop (pop i32))
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $try-catch-multivalue-tag (type $0)
-  ;; CHECK-TEXT-NEXT:  (local $x (i32 i64))
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32-i64
-  ;; CHECK-TEXT-NEXT:     (i32.const 0)
-  ;; CHECK-TEXT-NEXT:     (i64.const 0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32-i64
-  ;; CHECK-TEXT-NEXT:    (local.set $x
-  ;; CHECK-TEXT-NEXT:     (pop i32 i64)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (tuple.extract 2 0
-  ;; CHECK-TEXT-NEXT:      (local.get $x)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $try-catch-multivalue-tag (type $0)
-  ;; CHECK-BIN-NEXT:  (local $x i32)
-  ;; CHECK-BIN-NEXT:  (local $1 i64)
-  ;; CHECK-BIN-NEXT:  (local $2 (i32 i64))
-  ;; CHECK-BIN-NEXT:  (local $3 i32)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (throw $e-i32-i64
-  ;; CHECK-BIN-NEXT:     (i32.const 0)
-  ;; CHECK-BIN-NEXT:     (i64.const 0)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32-i64
-  ;; CHECK-BIN-NEXT:    (local.set $2
-  ;; CHECK-BIN-NEXT:     (pop i32 i64)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (local.set $x
-  ;; CHECK-BIN-NEXT:     (block (result i32)
-  ;; CHECK-BIN-NEXT:      (local.set $3
-  ;; CHECK-BIN-NEXT:       (tuple.extract 2 0
-  ;; CHECK-BIN-NEXT:        (local.get $2)
-  ;; CHECK-BIN-NEXT:       )
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (local.set $1
-  ;; CHECK-BIN-NEXT:       (tuple.extract 2 1
-  ;; CHECK-BIN-NEXT:        (local.get $2)
-  ;; CHECK-BIN-NEXT:       )
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (local.get $3)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (local.get $x)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $try-catch-multivalue-tag (local $x (i32 i64))
-    (try
-      (do
-        (throw $e-i32-i64 (i32.const 0) (i64.const 0))
-      )
-      (catch $e-i32-i64
-        (local.set $x (pop i32 i64))
-        (drop
-          (tuple.extract 2 0
-            (local.get $x)
-          )
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $try-with-block-label (type $0)
-  ;; CHECK-TEXT-NEXT:  (block $l10
-  ;; CHECK-TEXT-NEXT:   (try $l1
-  ;; CHECK-TEXT-NEXT:    (do
-  ;; CHECK-TEXT-NEXT:     (br $l10)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (catch $e-i32
-  ;; CHECK-TEXT-NEXT:     (drop
-  ;; CHECK-TEXT-NEXT:      (pop i32)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (br $l10)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $try-with-block-label (type $0)
-  ;; CHECK-BIN-NEXT:  (block $label$1
-  ;; CHECK-BIN-NEXT:   (try $label$4
-  ;; CHECK-BIN-NEXT:    (do
-  ;; CHECK-BIN-NEXT:     (br $label$1)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (catch $e-i32
-  ;; CHECK-BIN-NEXT:     (drop
-  ;; CHECK-BIN-NEXT:      (pop i32)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (br $label$1)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $try-with-block-label
-    (try $l1
-      (do
-        (br $l1)
-      )
-      (catch $e-i32
-        (drop (pop i32))
-        (br $l1)
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $empty-try-body (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $empty-try-body (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $empty-try-body
-    (try
-      (do)
-      (catch $e-i32
-        (drop (pop i32))
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $multiple-insts-within-try-and-catch-bodies (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:    (call $bar)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:    (call $bar)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $multiple-insts-within-try-and-catch-bodies (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:    (call $bar)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:    (call $bar)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $multiple-insts-within-try-and-catch-bodies
-    (try
-      (do
-        (call $foo)
-        (call $bar)
-      )
-      (catch $e-i32
-        (drop (pop i32))
-        (call $foo)
-        (call $bar)
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $multiple-catches (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32
-  ;; CHECK-TEXT-NEXT:     (i32.const 0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i64
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i64)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $multiple-catches (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (throw $e-i32
-  ;; CHECK-BIN-NEXT:     (i32.const 0)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i64
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i64)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $multiple-catches
-    (try
-      (do
-        (throw $e-i32 (i32.const 0))
-      )
-      (catch $e-i32
-        (drop (pop i32))
-      )
-      (catch $e-i64
-        (drop (pop i64))
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $catch-all (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32
-  ;; CHECK-TEXT-NEXT:     (i32.const 0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $catch-all (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (throw $e-i32
-  ;; CHECK-BIN-NEXT:     (i32.const 0)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $catch-all
-    (try
-      (do
-        (throw $e-i32 (i32.const 0))
-      )
-      (catch_all)
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $catch-and-catch-all-together (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32
-  ;; CHECK-TEXT-NEXT:     (i32.const 0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i64
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i64)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:    (call $bar)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $catch-and-catch-all-together (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (throw $e-i32
-  ;; CHECK-BIN-NEXT:     (i32.const 0)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i64
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i64)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:    (call $bar)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $catch-and-catch-all-together
-    (try
-      (do
-        (throw $e-i32 (i32.const 0))
-      )
-      (catch $e-i32
-        (drop (pop i32))
-      )
-      (catch $e-i64
-        (drop (pop i64))
-      )
-      (catch_all
-        (call $foo)
-        (call $bar)
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $nested-try-catch (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (try $try1
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (throw $e-i32
-  ;; CHECK-TEXT-NEXT:       (i32.const 0)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch $e-i32
-  ;; CHECK-TEXT-NEXT:      (drop
-  ;; CHECK-TEXT-NEXT:       (pop i32)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch_all
-  ;; CHECK-TEXT-NEXT:      (nop)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (try $try2
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (throw $e-i32
-  ;; CHECK-TEXT-NEXT:       (i32.const 0)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch $e-i32
-  ;; CHECK-TEXT-NEXT:      (drop
-  ;; CHECK-TEXT-NEXT:       (pop i32)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch_all
-  ;; CHECK-TEXT-NEXT:      (nop)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $nested-try-catch (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$9
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (try $label$4
-  ;; CHECK-BIN-NEXT:     (do
-  ;; CHECK-BIN-NEXT:      (throw $e-i32
-  ;; CHECK-BIN-NEXT:       (i32.const 0)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch $e-i32
-  ;; CHECK-BIN-NEXT:      (drop
-  ;; CHECK-BIN-NEXT:       (pop i32)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch_all
-  ;; CHECK-BIN-NEXT:      (nop)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (try $label$8
-  ;; CHECK-BIN-NEXT:     (do
-  ;; CHECK-BIN-NEXT:      (throw $e-i32
-  ;; CHECK-BIN-NEXT:       (i32.const 0)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch $e-i32
-  ;; CHECK-BIN-NEXT:      (drop
-  ;; CHECK-BIN-NEXT:       (pop i32)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch_all
-  ;; CHECK-BIN-NEXT:      (nop)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $nested-try-catch
-    (try
-      (do
-        (try
-          (do
-            (throw $e-i32 (i32.const 0))
-          )
-          (catch $e-i32
-            (drop (pop i32))
-          )
-          (catch_all)
-        )
-      )
-      (catch $e-i32
-        (drop (pop i32))
-      )
-      (catch_all
-        (try
-          (do
-            (throw $e-i32 (i32.const 0))
-          )
-          (catch $e-i32
-            (drop (pop i32))
-          )
-          (catch_all)
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $catchless-delegateless-try (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32
-  ;; CHECK-TEXT-NEXT:     (i32.const 0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $catchless-delegateless-try (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (throw $e-i32
-  ;; CHECK-BIN-NEXT:     (i32.const 0)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $catchless-delegateless-try
-    (try
-      (do
-        (throw $e-i32 (i32.const 0))
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $inner-delegate-target-outer-catch (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $l0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (try $try
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (call $foo)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (delegate $l0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (try $try3
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (call $foo)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (delegate $l0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $inner-delegate-target-outer-catch (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$9
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (block $label$1
-  ;; CHECK-BIN-NEXT:     (try $label$4
-  ;; CHECK-BIN-NEXT:      (do
-  ;; CHECK-BIN-NEXT:       (call $foo)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (delegate $label$9)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (try $label$7
-  ;; CHECK-BIN-NEXT:      (do
-  ;; CHECK-BIN-NEXT:       (call $foo)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (delegate $label$9)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $inner-delegate-target-outer-catch
-    (try $l0
-      (do
-        (try
-          (do
-            (call $foo)
-          )
-          (delegate $l0) ;; by label
-        )
-        (try
-          (do
-            (call $foo)
-          )
-          (delegate 0) ;; by depth
-        )
-      )
-      (catch_all)
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $branch-and-delegate-target-same-try-label (type $0)
-  ;; CHECK-TEXT-NEXT:  (block $l05
-  ;; CHECK-TEXT-NEXT:   (try $l0
-  ;; CHECK-TEXT-NEXT:    (do
-  ;; CHECK-TEXT-NEXT:     (try $try
-  ;; CHECK-TEXT-NEXT:      (do
-  ;; CHECK-TEXT-NEXT:       (br_if $l05
-  ;; CHECK-TEXT-NEXT:        (i32.const 1)
-  ;; CHECK-TEXT-NEXT:       )
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:      (delegate $l0)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (try $try4
-  ;; CHECK-TEXT-NEXT:      (do
-  ;; CHECK-TEXT-NEXT:       (br_if $l05
-  ;; CHECK-TEXT-NEXT:        (i32.const 1)
-  ;; CHECK-TEXT-NEXT:       )
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:      (delegate $l0)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (catch_all
-  ;; CHECK-TEXT-NEXT:     (nop)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $branch-and-delegate-target-same-try-label (type $0)
-  ;; CHECK-BIN-NEXT:  (block $label$1
-  ;; CHECK-BIN-NEXT:   (try $label$10
-  ;; CHECK-BIN-NEXT:    (do
-  ;; CHECK-BIN-NEXT:     (block $label$2
-  ;; CHECK-BIN-NEXT:      (try $label$5
-  ;; CHECK-BIN-NEXT:       (do
-  ;; CHECK-BIN-NEXT:        (br_if $label$1
-  ;; CHECK-BIN-NEXT:         (i32.const 1)
-  ;; CHECK-BIN-NEXT:        )
-  ;; CHECK-BIN-NEXT:       )
-  ;; CHECK-BIN-NEXT:       (delegate $label$10)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (try $label$8
-  ;; CHECK-BIN-NEXT:       (do
-  ;; CHECK-BIN-NEXT:        (br_if $label$1
-  ;; CHECK-BIN-NEXT:         (i32.const 1)
-  ;; CHECK-BIN-NEXT:        )
-  ;; CHECK-BIN-NEXT:       )
-  ;; CHECK-BIN-NEXT:       (delegate $label$10)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (catch_all
-  ;; CHECK-BIN-NEXT:     (nop)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $branch-and-delegate-target-same-try-label
-    ;; When there are both a branch and a delegate that target the same try
-    ;; label. Because binaryen only allows blocks and loops to be targetted by
-    ;; branches, we wrap the try with a block and make branches that block
-    ;; instead, resulting in the br and delegate target different labels in the
-    ;; output.
-    (try $l0
-      (do
-        (try
-          (do
-            (br_if $l0 (i32.const 1))
-          )
-          (delegate $l0) ;; by label
-        )
-        (try
-          (do
-            (br_if $l0 (i32.const 1))
-          )
-          (delegate 0) ;; by depth
-        )
-      )
-      (catch_all)
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $inner-delegate-target-outer-delegate (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $l0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (try $try
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (call $foo)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (delegate $l0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (delegate 0)
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $inner-delegate-target-outer-delegate (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$6
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (block $label$1
-  ;; CHECK-BIN-NEXT:     (try $label$4
-  ;; CHECK-BIN-NEXT:      (do
-  ;; CHECK-BIN-NEXT:       (call $foo)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (delegate $label$6)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (delegate 0)
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $inner-delegate-target-outer-delegate
-    ;; The inner delegate targets the outer delegate, which in turn targets the
-    ;; caller.
-    (try $l0
-      (do
-        (try
-          (do
-            (call $foo)
-          )
-          (delegate $l0)
-        )
-      )
-      (delegate 0)
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $empty-catch-body (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-empty
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $empty-catch-body (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-empty
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $empty-catch-body
-    ;; 'catch' body can be empty when the tag's type is none.
-    (try
-      (do)
-      (catch $e-empty)
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $try-catch-rethrow (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $l0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop i32)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $try-catch-rethrow (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop i32)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (rethrow $label$3)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (rethrow $label$3)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $try-catch-rethrow
-    ;; Simple try-catch-rethrow
-    (try $l0
-      (do
-        (call $foo)
-      )
-      (catch $e-i32
-        (drop (pop i32))
-        (rethrow $l0) ;; by label
-      )
-      (catch_all
-        (rethrow 0) ;; by depth
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $branch-and-rethrow-target-same-try-label (type $0)
-  ;; CHECK-TEXT-NEXT:  (block $l06
-  ;; CHECK-TEXT-NEXT:   (try $l0
-  ;; CHECK-TEXT-NEXT:    (do
-  ;; CHECK-TEXT-NEXT:     (call $foo)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (catch $e-i32
-  ;; CHECK-TEXT-NEXT:     (drop
-  ;; CHECK-TEXT-NEXT:      (pop i32)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (catch_all
-  ;; CHECK-TEXT-NEXT:     (br $l06)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $branch-and-rethrow-target-same-try-label (type $0)
-  ;; CHECK-BIN-NEXT:  (block $label$1
-  ;; CHECK-BIN-NEXT:   (try $label$4
-  ;; CHECK-BIN-NEXT:    (do
-  ;; CHECK-BIN-NEXT:     (call $foo)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (catch $e-i32
-  ;; CHECK-BIN-NEXT:     (drop
-  ;; CHECK-BIN-NEXT:      (pop i32)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (rethrow $label$4)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (catch_all
-  ;; CHECK-BIN-NEXT:     (br $label$1)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $branch-and-rethrow-target-same-try-label
-    ;; When there are both a branch and a rethrow that target the same try
-    ;; label. Because binaryen only allows blocks and loops to be targetted by
-    ;; branches, we wrap the try with a block and make branches that block
-    ;; instead, resulting in the br and rethrow target different labels in the
-    ;; output.
-    (try $l0
-      (do
-        (call $foo)
-      )
-      (catch $e-i32
-        (drop (pop i32))
-        (rethrow $l0)
-      )
-      (catch_all
-        (br $l0)
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $nested-rethrow (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $l0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (try $try
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (call $foo)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch $e-i32
-  ;; CHECK-TEXT-NEXT:      (drop
-  ;; CHECK-TEXT-NEXT:       (pop i32)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:      (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch_all
-  ;; CHECK-TEXT-NEXT:      (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $nested-rethrow (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$6
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (try $label$5
-  ;; CHECK-BIN-NEXT:     (do
-  ;; CHECK-BIN-NEXT:      (call $foo)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch $e-i32
-  ;; CHECK-BIN-NEXT:      (drop
-  ;; CHECK-BIN-NEXT:       (pop i32)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (rethrow $label$6)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch_all
-  ;; CHECK-BIN-NEXT:      (rethrow $label$6)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $nested-rethrow
-    ;; One more level deep
-    (try $l0
-      (do
-        (call $foo)
-      )
-      (catch_all
-        (try
-          (do
-            (call $foo)
-          )
-          (catch $e-i32
-            (drop (pop i32))
-            (rethrow $l0) ;; by label
-          )
-          (catch_all
-            (rethrow 1) ;; by depth
-          )
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $rnested-rethrow-with-interleaving-block (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $l0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (try $try
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (call $foo)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch $e-i32
-  ;; CHECK-TEXT-NEXT:      (drop
-  ;; CHECK-TEXT-NEXT:       (pop i32)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:      (block $b0
-  ;; CHECK-TEXT-NEXT:       (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch_all
-  ;; CHECK-TEXT-NEXT:      (block $b1
-  ;; CHECK-TEXT-NEXT:       (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $rnested-rethrow-with-interleaving-block (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$7
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (try $label$6
-  ;; CHECK-BIN-NEXT:     (do
-  ;; CHECK-BIN-NEXT:      (call $foo)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch $e-i32
-  ;; CHECK-BIN-NEXT:      (drop
-  ;; CHECK-BIN-NEXT:       (pop i32)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (block $label$5
-  ;; CHECK-BIN-NEXT:       (rethrow $label$7)
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch_all
-  ;; CHECK-BIN-NEXT:      (rethrow $label$7)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $rnested-rethrow-with-interleaving-block
-    ;; Interleaving block
-    (try $l0
-      (do
-        (call $foo)
-      )
-      (catch_all
-        (try
-          (do
-            (call $foo)
-          )
-          (catch $e-i32
-            (drop (pop i32))
-            (block $b0
-              (rethrow $l0) ;; by label
-            )
-          )
-          (catch_all
-            (block $b1
-              (rethrow 2) ;; by depth
-            )
-          )
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $rethrow-within-nested-try-part (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $l0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (try $try
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (rethrow $l0)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch_all
-  ;; CHECK-TEXT-NEXT:      (nop)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT:  (try $l07
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (call $foo)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch_all
-  ;; CHECK-TEXT-NEXT:    (try $try8
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (rethrow $l07)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (catch_all
-  ;; CHECK-TEXT-NEXT:      (nop)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $rethrow-within-nested-try-part (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$6
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (try $label$5
-  ;; CHECK-BIN-NEXT:     (do
-  ;; CHECK-BIN-NEXT:      (rethrow $label$6)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch_all
-  ;; CHECK-BIN-NEXT:      (nop)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT:  (try $label$12
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (call $foo)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch_all
-  ;; CHECK-BIN-NEXT:    (try $label$11
-  ;; CHECK-BIN-NEXT:     (do
-  ;; CHECK-BIN-NEXT:      (rethrow $label$12)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:     (catch_all
-  ;; CHECK-BIN-NEXT:      (nop)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $rethrow-within-nested-try-part
-    ;; Within nested try, but rather in 'try' part and not 'catch'
-    (try $l0
-      (do
-        (call $foo)
-      )
-      (catch_all
-        (try
-          (do
-            (rethrow $l0) ;; by label
-          )
-          (catch_all)
-        )
-      )
-    )
-    (try $l0
-      (do
-        (call $foo)
-      )
-      (catch_all
-        (try
-          (do
-            (rethrow 1) ;; by depth
-          )
-          (catch_all)
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $pop-within-if-condition (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-i32
-  ;; CHECK-TEXT-NEXT:    (throw $e-i32
-  ;; CHECK-TEXT-NEXT:     (if (result i32)
-  ;; CHECK-TEXT-NEXT:      (pop i32)
-  ;; CHECK-TEXT-NEXT:      (i32.const 0)
-  ;; CHECK-TEXT-NEXT:      (i32.const 3)
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $pop-within-if-condition (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$5
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-i32
-  ;; CHECK-BIN-NEXT:    (throw $e-i32
-  ;; CHECK-BIN-NEXT:     (if (result i32)
-  ;; CHECK-BIN-NEXT:      (pop i32)
-  ;; CHECK-BIN-NEXT:      (i32.const 0)
-  ;; CHECK-BIN-NEXT:      (i32.const 3)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $pop-within-if-condition
-    (try
-      (do)
-      (catch $e-i32
-        (throw $e-i32
-          (if (result i32)
-            ;; pop is within an if condition, so this is OK.
-            (pop i32)
-            (i32.const 0)
-            (i32.const 3)
-          )
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $pop-can-be-supertype (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $try
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (nop)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (catch $e-eqref
-  ;; CHECK-TEXT-NEXT:    (drop
-  ;; CHECK-TEXT-NEXT:     (pop anyref)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $pop-can-be-supertype (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$3
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (nop)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (catch $e-eqref
-  ;; CHECK-BIN-NEXT:    (drop
-  ;; CHECK-BIN-NEXT:     (pop eqref)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $pop-can-be-supertype
-    (try
-      (do)
-      (catch $e-eqref
-        (drop
-          (pop anyref) ;; pop can be supertype
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $catchless-try-with-inner-delegate (type $0)
-  ;; CHECK-TEXT-NEXT:  (try $label$0
-  ;; CHECK-TEXT-NEXT:   (do
-  ;; CHECK-TEXT-NEXT:    (try $try
-  ;; CHECK-TEXT-NEXT:     (do
-  ;; CHECK-TEXT-NEXT:      (throw $e-i32
-  ;; CHECK-TEXT-NEXT:       (i32.const 0)
-  ;; CHECK-TEXT-NEXT:      )
-  ;; CHECK-TEXT-NEXT:     )
-  ;; CHECK-TEXT-NEXT:     (delegate $label$0)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $catchless-try-with-inner-delegate (type $0)
-  ;; CHECK-BIN-NEXT:  (try $label$6
-  ;; CHECK-BIN-NEXT:   (do
-  ;; CHECK-BIN-NEXT:    (block $label$1
-  ;; CHECK-BIN-NEXT:     (try $label$4
-  ;; CHECK-BIN-NEXT:      (do
-  ;; CHECK-BIN-NEXT:       (throw $e-i32
-  ;; CHECK-BIN-NEXT:        (i32.const 0)
-  ;; CHECK-BIN-NEXT:       )
-  ;; CHECK-BIN-NEXT:      )
-  ;; CHECK-BIN-NEXT:      (delegate $label$6)
-  ;; CHECK-BIN-NEXT:     )
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT: )
-  (func $catchless-try-with-inner-delegate
-    (try $label$0
-      (do
-        (try
-          (do
-            (throw $e-i32
-              (i32.const 0)
-            )
-          )
-          (delegate $label$0)
-        )
-      )
-    )
-  )
-
-  ;; CHECK-TEXT:      (func $nested-delegate-within-block (type $0)
-  ;; CHECK-TEXT-NEXT:  (block $l0
-  ;; CHECK-TEXT-NEXT:   (block $l1
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:   (try $try
-  ;; CHECK-TEXT-NEXT:    (do
-  ;; CHECK-TEXT-NEXT:     (nop)
-  ;; CHECK-TEXT-NEXT:    )
-  ;; CHECK-TEXT-NEXT:    (delegate 1)
-  ;; CHECK-TEXT-NEXT:   )
-  ;; CHECK-TEXT-NEXT:  )
-  ;; CHECK-TEXT-NEXT:  (nop)
-  ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $nested-delegate-within-block (type $0)
-  ;; CHECK-BIN-NEXT:  (block $label$1
-  ;; CHECK-BIN-NEXT:   (block $label$2
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:   (try $label$5
-  ;; CHECK-BIN-NEXT:    (do
-  ;; CHECK-BIN-NEXT:     (nop)
-  ;; CHECK-BIN-NEXT:    )
-  ;; CHECK-BIN-NEXT:    (delegate 1)
-  ;; CHECK-BIN-NEXT:   )
-  ;; CHECK-BIN-NEXT:  )
-  ;; CHECK-BIN-NEXT:  (nop)
-  ;; CHECK-BIN-NEXT: )
-  (func $nested-delegate-within-block
-    ;; When 'delegate' is next to a nested block, make sure its delegate
-    ;; argument is parsed correctly.
-    (block $l0
-      (block $l1)
-      (try
-        (do)
-        (delegate 1) ;; to caller
-      )
-    )
-    (nop)
-  )
-
-  ;; ---------------------------------------------------------------------------
-  ;; New exception handling
-
-  ;; CHECK-TEXT:      (func $exnref-nullexnref-test (type $5) (result exnref)
+  ;; CHECK-TEXT:      (func $exnref-nullexnref-test (type $0) (result exnref)
   ;; CHECK-TEXT-NEXT:  (local $exn exnref)
   ;; CHECK-TEXT-NEXT:  (local $null-exn nullexnref)
   ;; CHECK-TEXT-NEXT:  (if (result exnref)
@@ -1338,7 +25,9 @@
   ;; CHECK-TEXT-NEXT:   (local.get $exn)
   ;; CHECK-TEXT-NEXT:  )
   ;; CHECK-TEXT-NEXT: )
-  ;; CHECK-BIN:      (func $exnref-nullexnref-test (type $5) (result exnref)
+  ;; CHECK-BIN:      (type $0 (func (result exnref)))
+
+  ;; CHECK-BIN:      (func $exnref-nullexnref-test (type $0) (result exnref)
   ;; CHECK-BIN-NEXT:  (local $exn exnref)
   ;; CHECK-BIN-NEXT:  (local $null-exn nullexnref)
   ;; CHECK-BIN-NEXT:  (if (result exnref)
@@ -1363,507 +52,9 @@
     )
   )
 )
-;; CHECK-BIN-NODEBUG:      (type $0 (func))
-
-;; CHECK-BIN-NODEBUG:      (type $1 (func (param i32)))
-
-;; CHECK-BIN-NODEBUG:      (type $2 (func (param i64)))
-
-;; CHECK-BIN-NODEBUG:      (type $3 (func (param i32 i64)))
-
-;; CHECK-BIN-NODEBUG:      (type $4 (func (param eqref)))
-
-;; CHECK-BIN-NODEBUG:      (type $5 (func (result exnref)))
-
-;; CHECK-BIN-NODEBUG:      (tag $tag$0 (param i32))
-
-;; CHECK-BIN-NODEBUG:      (tag $tag$1 (param i64))
-
-;; CHECK-BIN-NODEBUG:      (tag $tag$2 (param i32 i64))
-
-;; CHECK-BIN-NODEBUG:      (tag $tag$3 (param eqref))
-
-;; CHECK-BIN-NODEBUG:      (tag $tag$4)
-
-;; CHECK-BIN-NODEBUG:      (func $0 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (nop)
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $1 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (nop)
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $2 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $3 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (local $0 i32)
-;; CHECK-BIN-NODEBUG-NEXT:  (local $1 i64)
-;; CHECK-BIN-NODEBUG-NEXT:  (local $2 (i32 i64))
-;; CHECK-BIN-NODEBUG-NEXT:  (local $3 i32)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$2
-;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:     (i64.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$2
-;; CHECK-BIN-NODEBUG-NEXT:    (local.set $2
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32 i64)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (local.set $0
-;; CHECK-BIN-NODEBUG-NEXT:     (block (result i32)
-;; CHECK-BIN-NODEBUG-NEXT:      (local.set $3
-;; CHECK-BIN-NODEBUG-NEXT:       (tuple.extract 2 0
-;; CHECK-BIN-NODEBUG-NEXT:        (local.get $2)
-;; CHECK-BIN-NODEBUG-NEXT:       )
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (local.set $1
-;; CHECK-BIN-NODEBUG-NEXT:       (tuple.extract 2 1
-;; CHECK-BIN-NODEBUG-NEXT:        (local.get $2)
-;; CHECK-BIN-NODEBUG-NEXT:       )
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (local.get $3)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (local.get $0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $4 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:   (try $label$4
-;; CHECK-BIN-NODEBUG-NEXT:    (do
-;; CHECK-BIN-NODEBUG-NEXT:     (br $label$1)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (drop
-;; CHECK-BIN-NODEBUG-NEXT:      (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (br $label$1)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $5 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $6 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:    (call $1)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:    (call $1)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $7 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$1
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i64)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $8 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $9 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$1
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i64)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:    (call $1)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $10 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$9
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (try $label$4
-;; CHECK-BIN-NODEBUG-NEXT:     (do
-;; CHECK-BIN-NODEBUG-NEXT:      (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:       (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:      (drop
-;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:      (nop)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (try $label$8
-;; CHECK-BIN-NODEBUG-NEXT:     (do
-;; CHECK-BIN-NODEBUG-NEXT:      (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:       (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:      (drop
-;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:      (nop)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $11 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $12 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$9
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:     (try $label$4
-;; CHECK-BIN-NODEBUG-NEXT:      (do
-;; CHECK-BIN-NODEBUG-NEXT:       (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$9)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (try $label$7
-;; CHECK-BIN-NODEBUG-NEXT:      (do
-;; CHECK-BIN-NODEBUG-NEXT:       (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$9)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $13 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:   (try $label$10
-;; CHECK-BIN-NODEBUG-NEXT:    (do
-;; CHECK-BIN-NODEBUG-NEXT:     (block $label$2
-;; CHECK-BIN-NODEBUG-NEXT:      (try $label$5
-;; CHECK-BIN-NODEBUG-NEXT:       (do
-;; CHECK-BIN-NODEBUG-NEXT:        (br_if $label$1
-;; CHECK-BIN-NODEBUG-NEXT:         (i32.const 1)
-;; CHECK-BIN-NODEBUG-NEXT:        )
-;; CHECK-BIN-NODEBUG-NEXT:       )
-;; CHECK-BIN-NODEBUG-NEXT:       (delegate $label$10)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (try $label$8
-;; CHECK-BIN-NODEBUG-NEXT:       (do
-;; CHECK-BIN-NODEBUG-NEXT:        (br_if $label$1
-;; CHECK-BIN-NODEBUG-NEXT:         (i32.const 1)
-;; CHECK-BIN-NODEBUG-NEXT:        )
-;; CHECK-BIN-NODEBUG-NEXT:       )
-;; CHECK-BIN-NODEBUG-NEXT:       (delegate $label$10)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:     (nop)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $14 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:     (try $label$4
-;; CHECK-BIN-NODEBUG-NEXT:      (do
-;; CHECK-BIN-NODEBUG-NEXT:       (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$6)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (delegate 0)
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $15 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$4
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $16 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (rethrow $label$3)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (rethrow $label$3)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $17 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:   (try $label$4
-;; CHECK-BIN-NODEBUG-NEXT:    (do
-;; CHECK-BIN-NODEBUG-NEXT:     (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (drop
-;; CHECK-BIN-NODEBUG-NEXT:      (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (rethrow $label$4)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:     (br $label$1)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $18 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (try $label$5
-;; CHECK-BIN-NODEBUG-NEXT:     (do
-;; CHECK-BIN-NODEBUG-NEXT:      (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:      (drop
-;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$6)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$6)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $19 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$7
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (try $label$6
-;; CHECK-BIN-NODEBUG-NEXT:     (do
-;; CHECK-BIN-NODEBUG-NEXT:      (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:      (drop
-;; CHECK-BIN-NODEBUG-NEXT:       (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (block $label$5
-;; CHECK-BIN-NODEBUG-NEXT:       (rethrow $label$7)
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$7)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $20 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (try $label$5
-;; CHECK-BIN-NODEBUG-NEXT:     (do
-;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$6)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:      (nop)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$12
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (call $0)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:    (try $label$11
-;; CHECK-BIN-NODEBUG-NEXT:     (do
-;; CHECK-BIN-NODEBUG-NEXT:      (rethrow $label$12)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:     (catch_all
-;; CHECK-BIN-NODEBUG-NEXT:      (nop)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $21 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$5
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:    (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:     (if (result i32)
-;; CHECK-BIN-NODEBUG-NEXT:      (pop i32)
-;; CHECK-BIN-NODEBUG-NEXT:      (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:      (i32.const 3)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $22 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$3
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (nop)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (catch $tag$3
-;; CHECK-BIN-NODEBUG-NEXT:    (drop
-;; CHECK-BIN-NODEBUG-NEXT:     (pop eqref)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $23 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (try $label$6
-;; CHECK-BIN-NODEBUG-NEXT:   (do
-;; CHECK-BIN-NODEBUG-NEXT:    (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:     (try $label$4
-;; CHECK-BIN-NODEBUG-NEXT:      (do
-;; CHECK-BIN-NODEBUG-NEXT:       (throw $tag$0
-;; CHECK-BIN-NODEBUG-NEXT:        (i32.const 0)
-;; CHECK-BIN-NODEBUG-NEXT:       )
-;; CHECK-BIN-NODEBUG-NEXT:      )
-;; CHECK-BIN-NODEBUG-NEXT:      (delegate $label$6)
-;; CHECK-BIN-NODEBUG-NEXT:     )
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT: )
-
-;; CHECK-BIN-NODEBUG:      (func $24 (type $0)
-;; CHECK-BIN-NODEBUG-NEXT:  (block $label$1
-;; CHECK-BIN-NODEBUG-NEXT:   (block $label$2
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:   (try $label$5
-;; CHECK-BIN-NODEBUG-NEXT:    (do
-;; CHECK-BIN-NODEBUG-NEXT:     (nop)
-;; CHECK-BIN-NODEBUG-NEXT:    )
-;; CHECK-BIN-NODEBUG-NEXT:    (delegate 1)
-;; CHECK-BIN-NODEBUG-NEXT:   )
-;; CHECK-BIN-NODEBUG-NEXT:  )
-;; CHECK-BIN-NODEBUG-NEXT:  (nop)
-;; CHECK-BIN-NODEBUG-NEXT: )
+;; CHECK-BIN-NODEBUG:      (type $0 (func (result exnref)))
 
-;; CHECK-BIN-NODEBUG:      (func $25 (type $5) (result exnref)
+;; CHECK-BIN-NODEBUG:      (func $0 (type $0) (result exnref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (local $0 exnref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (local $1 nullexnref)
 ;; CHECK-BIN-NODEBUG-NEXT:  (if (result exnref)