summaryrefslogtreecommitdiff
path: root/test/exception-handling.wast.from-wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/exception-handling.wast.from-wast')
-rw-r--r--test/exception-handling.wast.from-wast423
1 files changed, 0 insertions, 423 deletions
diff --git a/test/exception-handling.wast.from-wast b/test/exception-handling.wast.from-wast
deleted file mode 100644
index 8bd46bd87..000000000
--- a/test/exception-handling.wast.from-wast
+++ /dev/null
@@ -1,423 +0,0 @@
-(module
- (type $0 (func))
- (type $1 (func (param i32)))
- (type $2 (func (param i64)))
- (type $3 (func (param i32 i64)))
- (type $4 (func (param eqref)))
- (type $5 (func (result exnref)))
- (tag $e-i32 (param i32))
- (tag $e-i64 (param i64))
- (tag $e-i32-i64 (param i32 i64))
- (tag $e-eqref (param eqref))
- (tag $e-empty)
- (func $foo (type $0)
- (nop)
- )
- (func $bar (type $0)
- (nop)
- )
- (func $eh-test (type $0)
- (local $x (i32 i64))
- (try $try
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- )
- )
- (try $try0
- (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)
- )
- )
- )
- )
- (block $l11
- (try $l1
- (do
- (br $l11)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- (br $l11)
- )
- )
- )
- (try $try2
- (do
- (nop)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- )
- )
- (try $try3
- (do
- (call $foo)
- (call $bar)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- (call $foo)
- (call $bar)
- )
- )
- (try $try4
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- )
- (catch $e-i64
- (drop
- (pop i64)
- )
- )
- )
- (try $try5
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- (catch_all
- (nop)
- )
- )
- (try $try6
- (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)
- )
- )
- (try $try7
- (do
- (try $try8
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- )
- (catch_all
- (nop)
- )
- )
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- )
- (catch_all
- (try $try9
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- )
- (catch_all
- (nop)
- )
- )
- )
- )
- (try $try10
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- )
- )
- (func $delegate-test (type $0)
- (try $l0
- (do
- (try $try
- (do
- (call $foo)
- )
- (delegate $l0)
- )
- (try $try11
- (do
- (call $foo)
- )
- (delegate $l0)
- )
- )
- (catch_all
- (nop)
- )
- )
- (block $l015
- (try $l012
- (do
- (try $try13
- (do
- (br_if $l015
- (i32.const 1)
- )
- )
- (delegate $l012)
- )
- (try $try14
- (do
- (br_if $l015
- (i32.const 1)
- )
- )
- (delegate $l012)
- )
- )
- (catch_all
- (nop)
- )
- )
- )
- (try $l016
- (do
- (try $try17
- (do
- (call $foo)
- )
- (delegate $l016)
- )
- )
- (delegate 0)
- )
- (try $try18
- (do
- (nop)
- )
- (catch $e-empty
- (nop)
- )
- )
- )
- (func $rethrow-test (type $0)
- (try $l0
- (do
- (call $foo)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- (rethrow $l0)
- )
- (catch_all
- (rethrow $l0)
- )
- )
- (block $l020
- (try $l019
- (do
- (call $foo)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- (rethrow $l019)
- )
- (catch_all
- (br $l020)
- )
- )
- )
- (try $l021
- (do
- (call $foo)
- )
- (catch_all
- (try $try
- (do
- (call $foo)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- (rethrow $l021)
- )
- (catch_all
- (rethrow $l021)
- )
- )
- )
- )
- (try $l022
- (do
- (call $foo)
- )
- (catch_all
- (try $try23
- (do
- (call $foo)
- )
- (catch $e-i32
- (drop
- (pop i32)
- )
- (block $b0
- (rethrow $l022)
- )
- )
- (catch_all
- (block $b1
- (rethrow $l022)
- )
- )
- )
- )
- )
- (try $l024
- (do
- (call $foo)
- )
- (catch_all
- (try $try25
- (do
- (rethrow $l024)
- )
- (catch_all
- (nop)
- )
- )
- )
- )
- (try $l026
- (do
- (call $foo)
- )
- (catch_all
- (try $try27
- (do
- (rethrow $l026)
- )
- (catch_all
- (nop)
- )
- )
- )
- )
- )
- (func $pop-test (type $0)
- (try $try
- (do
- (nop)
- )
- (catch $e-i32
- (throw $e-i32
- (if (result i32)
- (pop i32)
- (i32.const 0)
- (i32.const 3)
- )
- )
- )
- )
- (try $try28
- (do
- (nop)
- )
- (catch $e-eqref
- (drop
- (pop anyref)
- )
- )
- )
- )
- (func $catchless-try-with-inner-delegate (type $0)
- (try $label$0
- (do
- (try $try
- (do
- (throw $e-i32
- (i32.const 0)
- )
- )
- (delegate $label$0)
- )
- )
- )
- )
- (func $nested-block-and-try (type $0)
- (block $l0
- (block $l1
- )
- (try $try
- (do
- (nop)
- )
- (delegate 1)
- )
- )
- (nop)
- )
- (func $exnref-test (type $5) (result exnref)
- (local $exn exnref)
- (local $null-exn nullexnref)
- (if (result exnref)
- (i32.const 1)
- (if (result nullexnref)
- (i32.const 1)
- (local.get $null-exn)
- (ref.null noexn)
- )
- (local.get $exn)
- )
- )
-)