Remove exnref and br_on_exn (#3505)

This removes `exnref` type and `br_on_exn` instruction.

1 files changed, 28 insertions, 376 deletions

diff --git a/test/reference-types.wast.from-wast b/test/reference-types.wast.from-wast
index 9deee6a15..3d8e70c23 100644
--- a/test/reference-types.wast.from-wast
+++ b/test/reference-types.wast.from-wast
@@ -4,25 +4,21 @@
  (type $funcref_=>_none (func (param funcref)))
  (type $none_=>_funcref (func (result funcref)))
  (type $externref_=>_none (func (param externref)))
- (type $exnref_=>_none (func (param exnref)))
  (type $none_=>_externref (func (result externref)))
- (type $none_=>_exnref (func (result exnref)))
  (type $none_=>_none (func))
  (type $i32_=>_none (func (param i32)))
  (type $externref_=>_funcref (func (param externref) (result funcref)))
  (import "env" "import_global" (global $import_global externref))
  (import "env" "import_func" (func $import_func (param externref) (result funcref)))
- (table $0 4 4 funcref)
- (elem (i32.const 0) $take_externref $take_funcref $take_exnref $take_anyref)
+ (table $0 3 3 funcref)
+ (elem (i32.const 0) $take_externref $take_funcref $take_anyref)
  (global $global_externref (mut externref) (ref.null extern))
  (global $global_funcref (mut funcref) (ref.null func))
  (global $global_funcref_func (mut funcref) (ref.func $foo))
- (global $global_exnref (mut exnref) (ref.null exn))
  (global $global_anyref (mut anyref) (ref.null any))
  (global $global_anyref2 (mut anyref) (ref.null extern))
  (global $global_anyref3 (mut anyref) (ref.null func))
  (global $global_anyref4 (mut anyref) (ref.func $foo))
- (global $global_anyref5 (mut anyref) (ref.null exn))
  (event $e-i32 (attr 0) (param i32))
  (export "export_func" (func $import_func))
  (export "export_global" (global $import_global))
@@ -32,9 +28,6 @@
  (func $take_funcref (param $0 funcref)
   (nop)
  )
- (func $take_exnref (param $0 exnref)
-  (nop)
- )
  (func $take_anyref (param $0 anyref)
   (nop)
  )
@@ -44,7 +37,6 @@
  (func $test
   (local $local_externref externref)
   (local $local_funcref funcref)
-  (local $local_exnref exnref)
   (local $local_anyref anyref)
   (local.set $local_externref
    (local.get $local_externref)
@@ -67,15 +59,6 @@
   (local.set $local_funcref
    (ref.func $foo)
   )
-  (local.set $local_exnref
-   (local.get $local_exnref)
-  )
-  (local.set $local_exnref
-   (global.get $global_exnref)
-  )
-  (local.set $local_exnref
-   (ref.null exn)
-  )
   (local.set $local_anyref
    (local.get $local_anyref)
   )
@@ -106,15 +89,6 @@
   (local.set $local_anyref
    (ref.func $foo)
   )
-  (local.set $local_anyref
-   (local.get $local_exnref)
-  )
-  (local.set $local_anyref
-   (global.get $global_exnref)
-  )
-  (local.set $local_anyref
-   (ref.null exn)
-  )
   (global.set $global_externref
    (global.get $global_externref)
   )
@@ -136,15 +110,6 @@
   (global.set $global_funcref
    (ref.func $foo)
   )
-  (global.set $global_exnref
-   (global.get $global_exnref)
-  )
-  (global.set $global_exnref
-   (local.get $local_exnref)
-  )
-  (global.set $global_exnref
-   (ref.null exn)
-  )
   (global.set $global_anyref
    (global.get $global_anyref)
   )
@@ -175,15 +140,6 @@
   (global.set $global_anyref
    (ref.func $foo)
   )
-  (global.set $global_anyref
-   (global.get $global_exnref)
-  )
-  (global.set $global_anyref
-   (local.get $local_exnref)
-  )
-  (global.set $global_anyref
-   (ref.null exn)
-  )
   (call $take_externref
    (local.get $local_externref)
   )
@@ -205,15 +161,6 @@
   (call $take_funcref
    (ref.func $foo)
   )
-  (call $take_exnref
-   (local.get $local_exnref)
-  )
-  (call $take_exnref
-   (global.get $global_exnref)
-  )
-  (call $take_exnref
-   (ref.null exn)
-  )
   (call $take_anyref
    (local.get $local_anyref)
   )
@@ -244,15 +191,6 @@
   (call $take_anyref
    (ref.func $foo)
   )
-  (call $take_anyref
-   (local.get $local_exnref)
-  )
-  (call $take_anyref
-   (global.get $global_exnref)
-  )
-  (call $take_anyref
-   (ref.null exn)
-  )
   (call_indirect (type $externref_=>_none)
    (local.get $local_externref)
    (i32.const 0)
@@ -281,18 +219,6 @@
    (ref.func $foo)
    (i32.const 1)
   )
-  (call_indirect (type $exnref_=>_none)
-   (local.get $local_exnref)
-   (i32.const 2)
-  )
-  (call_indirect (type $exnref_=>_none)
-   (global.get $global_exnref)
-   (i32.const 2)
-  )
-  (call_indirect (type $exnref_=>_none)
-   (ref.null exn)
-   (i32.const 2)
-  )
   (call_indirect (type $anyref_=>_none)
    (local.get $local_anyref)
    (i32.const 3)
@@ -333,18 +259,6 @@
    (ref.func $foo)
    (i32.const 3)
   )
-  (call_indirect (type $anyref_=>_none)
-   (local.get $local_exnref)
-   (i32.const 3)
-  )
-  (call_indirect (type $anyref_=>_none)
-   (global.get $global_exnref)
-   (i32.const 3)
-  )
-  (call_indirect (type $anyref_=>_none)
-   (ref.null exn)
-   (i32.const 3)
-  )
   (drop
    (block $block (result externref)
     (br_if $block
@@ -402,25 +316,25 @@
    )
   )
   (drop
-   (block $block6 (result exnref)
+   (block $block6 (result anyref)
     (br_if $block6
-     (local.get $local_exnref)
+     (local.get $local_anyref)
      (i32.const 1)
     )
    )
   )
   (drop
-   (block $block7 (result exnref)
+   (block $block7 (result anyref)
     (br_if $block7
-     (global.get $global_exnref)
+     (global.get $global_anyref)
      (i32.const 1)
     )
    )
   )
   (drop
-   (block $block8 (result exnref)
+   (block $block8 (result anyref)
     (br_if $block8
-     (ref.null exn)
+     (ref.null any)
      (i32.const 1)
     )
    )
@@ -428,7 +342,7 @@
   (drop
    (block $block9 (result anyref)
     (br_if $block9
-     (local.get $local_anyref)
+     (local.get $local_externref)
      (i32.const 1)
     )
    )
@@ -436,7 +350,7 @@
   (drop
    (block $block10 (result anyref)
     (br_if $block10
-     (global.get $global_anyref)
+     (local.get $local_funcref)
      (i32.const 1)
     )
    )
@@ -444,7 +358,7 @@
   (drop
    (block $block11 (result anyref)
     (br_if $block11
-     (ref.null any)
+     (ref.null extern)
      (i32.const 1)
     )
    )
@@ -452,7 +366,7 @@
   (drop
    (block $block12 (result anyref)
     (br_if $block12
-     (local.get $local_externref)
+     (ref.null func)
      (i32.const 1)
     )
    )
@@ -460,167 +374,97 @@
   (drop
    (block $block13 (result anyref)
     (br_if $block13
-     (local.get $local_funcref)
-     (i32.const 1)
-    )
-   )
-  )
-  (drop
-   (block $block14 (result anyref)
-    (br_if $block14
-     (local.get $local_exnref)
-     (i32.const 1)
-    )
-   )
-  )
-  (drop
-   (block $block15 (result anyref)
-    (br_if $block15
-     (ref.null extern)
-     (i32.const 1)
-    )
-   )
-  )
-  (drop
-   (block $block16 (result anyref)
-    (br_if $block16
-     (ref.null func)
-     (i32.const 1)
-    )
-   )
-  )
-  (drop
-   (block $block17 (result anyref)
-    (br_if $block17
      (ref.func $foo)
      (i32.const 1)
     )
    )
   )
   (drop
-   (block $block18 (result anyref)
-    (br_if $block18
-     (ref.null exn)
-     (i32.const 1)
-    )
-   )
-  )
-  (drop
    (loop $loop-in (result externref)
     (local.get $local_externref)
    )
   )
   (drop
-   (loop $loop-in19 (result externref)
+   (loop $loop-in14 (result externref)
     (global.get $global_externref)
    )
   )
   (drop
-   (loop $loop-in20 (result externref)
+   (loop $loop-in15 (result externref)
     (ref.null extern)
    )
   )
   (drop
-   (loop $loop-in21 (result funcref)
+   (loop $loop-in16 (result funcref)
     (local.get $local_funcref)
    )
   )
   (drop
-   (loop $loop-in22 (result funcref)
+   (loop $loop-in17 (result funcref)
     (global.get $global_funcref)
    )
   )
   (drop
-   (loop $loop-in23 (result funcref)
+   (loop $loop-in18 (result funcref)
     (ref.null func)
    )
   )
   (drop
-   (loop $loop-in24 (result funcref)
+   (loop $loop-in19 (result funcref)
     (ref.func $foo)
    )
   )
   (drop
-   (loop $loop-in25 (result exnref)
-    (local.get $local_exnref)
-   )
-  )
-  (drop
-   (loop $loop-in26 (result exnref)
-    (global.get $global_exnref)
-   )
-  )
-  (drop
-   (loop $loop-in27 (result exnref)
-    (ref.null exn)
-   )
-  )
-  (drop
-   (loop $loop-in28 (result anyref)
+   (loop $loop-in20 (result anyref)
     (local.get $local_anyref)
    )
   )
   (drop
-   (loop $loop-in29 (result anyref)
+   (loop $loop-in21 (result anyref)
     (global.get $global_anyref)
    )
   )
   (drop
-   (loop $loop-in30 (result anyref)
+   (loop $loop-in22 (result anyref)
     (ref.null any)
    )
   )
   (drop
-   (loop $loop-in31 (result anyref)
+   (loop $loop-in23 (result anyref)
     (local.get $local_externref)
    )
   )
   (drop
-   (loop $loop-in32 (result anyref)
+   (loop $loop-in24 (result anyref)
     (global.get $global_externref)
    )
   )
   (drop
-   (loop $loop-in33 (result anyref)
+   (loop $loop-in25 (result anyref)
     (ref.null extern)
    )
   )
   (drop
-   (loop $loop-in34 (result anyref)
+   (loop $loop-in26 (result anyref)
     (local.get $local_funcref)
    )
   )
   (drop
-   (loop $loop-in35 (result anyref)
+   (loop $loop-in27 (result anyref)
     (global.get $global_funcref)
    )
   )
   (drop
-   (loop $loop-in36 (result anyref)
+   (loop $loop-in28 (result anyref)
     (ref.null func)
    )
   )
   (drop
-   (loop $loop-in37 (result anyref)
+   (loop $loop-in29 (result anyref)
     (ref.func $foo)
    )
   )
   (drop
-   (loop $loop-in38 (result anyref)
-    (local.get $local_exnref)
-   )
-  )
-  (drop
-   (loop $loop-in39 (result anyref)
-    (global.get $global_exnref)
-   )
-  )
-  (drop
-   (loop $loop-in40 (result anyref)
-    (ref.null exn)
-   )
-  )
-  (drop
    (if (result externref)
     (i32.const 1)
     (local.get $local_externref)
@@ -635,13 +479,6 @@
    )
   )
   (drop
-   (if (result exnref)
-    (i32.const 1)
-    (local.get $local_exnref)
-    (ref.null exn)
-   )
-  )
-  (drop
    (if (result anyref)
     (i32.const 1)
     (local.get $local_anyref)
@@ -658,20 +495,6 @@
   (drop
    (if (result anyref)
     (i32.const 1)
-    (local.get $local_externref)
-    (local.get $local_exnref)
-   )
-  )
-  (drop
-   (if (result anyref)
-    (i32.const 1)
-    (local.get $local_funcref)
-    (local.get $local_exnref)
-   )
-  )
-  (drop
-   (if (result anyref)
-    (i32.const 1)
     (ref.null extern)
     (ref.null func)
    )
@@ -679,20 +502,6 @@
   (drop
    (if (result anyref)
     (i32.const 1)
-    (ref.null extern)
-    (ref.null exn)
-   )
-  )
-  (drop
-   (if (result anyref)
-    (i32.const 1)
-    (ref.null func)
-    (ref.null exn)
-   )
-  )
-  (drop
-   (if (result anyref)
-    (i32.const 1)
     (ref.func $foo)
     (ref.null extern)
    )
@@ -724,19 +533,6 @@
    )
   )
   (drop
-   (try (result exnref)
-    (do
-     (ref.null exn)
-    )
-    (catch $e-i32
-     (drop
-      (pop i32)
-     )
-     (ref.null exn)
-    )
-   )
-  )
-  (drop
    (try (result anyref)
     (do
      (local.get $local_externref)
@@ -752,69 +548,17 @@
   (drop
    (try (result anyref)
     (do
-     (local.get $local_externref)
-    )
-    (catch $e-i32
-     (drop
-      (pop i32)
-     )
-     (local.get $local_exnref)
-    )
-   )
-  )
-  (drop
-   (try (result anyref)
-    (do
-     (ref.func $foo)
-    )
-    (catch $e-i32
-     (drop
-      (pop i32)
-     )
-     (local.get $local_externref)
-    )
-   )
-  )
-  (drop
-   (try (result anyref)
-    (do
      (ref.func $foo)
     )
     (catch $e-i32
      (drop
       (pop i32)
      )
-     (local.get $local_exnref)
-    )
-   )
-  )
-  (drop
-   (try (result anyref)
-    (do
-     (ref.null exn)
-    )
-    (catch $e-i32
-     (drop
-      (pop i32)
-     )
      (local.get $local_externref)
     )
    )
   )
   (drop
-   (try (result anyref)
-    (do
-     (ref.null exn)
-    )
-    (catch $e-i32
-     (drop
-      (pop i32)
-     )
-     (ref.func $foo)
-    )
-   )
-  )
-  (drop
    (select (result externref)
     (local.get $local_externref)
     (ref.null extern)
@@ -829,13 +573,6 @@
    )
   )
   (drop
-   (select (result exnref)
-    (local.get $local_exnref)
-    (ref.null exn)
-    (i32.const 1)
-   )
-  )
-  (drop
    (select
     (i32.const 0)
     (i32.const 2)
@@ -851,40 +588,12 @@
   )
   (drop
    (select (result anyref)
-    (local.get $local_externref)
-    (local.get $local_exnref)
-    (i32.const 1)
-   )
-  )
-  (drop
-   (select (result anyref)
     (local.get $local_funcref)
     (local.get $local_externref)
     (i32.const 1)
    )
   )
   (drop
-   (select (result anyref)
-    (local.get $local_funcref)
-    (local.get $local_exnref)
-    (i32.const 1)
-   )
-  )
-  (drop
-   (select (result anyref)
-    (local.get $local_exnref)
-    (local.get $local_externref)
-    (i32.const 1)
-   )
-  )
-  (drop
-   (select (result anyref)
-    (local.get $local_exnref)
-    (local.get $local_funcref)
-    (i32.const 1)
-   )
-  )
-  (drop
    (ref.is_null
     (local.get $local_externref)
    )
@@ -921,21 +630,6 @@
   )
   (drop
    (ref.is_null
-    (local.get $local_exnref)
-   )
-  )
-  (drop
-   (ref.is_null
-    (global.get $global_exnref)
-   )
-  )
-  (drop
-   (ref.is_null
-    (ref.null exn)
-   )
-  )
-  (drop
-   (ref.is_null
     (local.get $local_anyref)
    )
   )
@@ -973,16 +667,6 @@
  (func $return_funcref_func (result funcref)
   (ref.func $foo)
  )
- (func $return_exnref_local (result exnref)
-  (local $local_exnref exnref)
-  (local.get $local_exnref)
- )
- (func $return_exnref_global (result exnref)
-  (global.get $global_exnref)
- )
- (func $return_exnref_null (result exnref)
-  (ref.null exn)
- )
  (func $return_anyref_local (result anyref)
   (local $local_anyref anyref)
   (local.get $local_anyref)
@@ -1016,16 +700,6 @@
  (func $return_anyref8 (result anyref)
   (ref.func $foo)
  )
- (func $return_anyref9 (result anyref)
-  (local $local_exnref exnref)
-  (local.get $local_exnref)
- )
- (func $return_anyref10 (result anyref)
-  (global.get $global_exnref)
- )
- (func $return_anyref11 (result anyref)
-  (ref.null exn)
- )
  (func $returns_externref (result externref)
   (local $local_externref externref)
   (return
@@ -1053,18 +727,6 @@
    (ref.null func)
   )
  )
- (func $returns_exnref (result exnref)
-  (local $local_exnref exnref)
-  (return
-   (local.get $local_exnref)
-  )
-  (return
-   (global.get $global_exnref)
-  )
-  (return
-   (ref.null exn)
-  )
- )
  (func $returns_anyref (result anyref)
   (local $local_anyref anyref)
   (return
@@ -1080,7 +742,6 @@
  (func $returns_anyref2 (result anyref)
   (local $local_externref externref)
   (local $local_funcref funcref)
-  (local $local_exnref exnref)
   (return
    (local.get $local_externref)
   )
@@ -1102,14 +763,5 @@
   (return
    (ref.null func)
   )
-  (return
-   (local.get $local_exnref)
-  )
-  (return
-   (global.get $global_exnref)
-  )
-  (return
-   (ref.null exn)
-  )
  )
 )