summaryrefslogtreecommitdiff
path: root/test/exception-handling.wast.from-wast
diff options
context:
space:
mode:
authorHeejin Ahn <aheejin@gmail.com>2023-12-13 10:53:50 -0800
committerGitHub <noreply@github.com>2023-12-13 10:53:50 -0800
commit0024c8bdd28f701d57e49e65d38b28aad0594299 (patch)
tree19b9eb323836843d147dedf40495042edcf9404f /test/exception-handling.wast.from-wast
parent9e636855b582d1499a87fb73f55d85102ce95a58 (diff)
downloadbinaryen-0024c8bdd28f701d57e49e65d38b28aad0594299.tar.gz
binaryen-0024c8bdd28f701d57e49e65d38b28aad0594299.tar.bz2
binaryen-0024c8bdd28f701d57e49e65d38b28aad0594299.zip
[test] Port tests in test/ to test/lit/basic/ (#6160)
This ports all tests from `test/` to `test/lit/basic/`. The set of commands and `CHECK` lines used are the same as the ones in #6159. Now we use `lit` to test these, this also deletes all `.wast`, `.wast.from-wast`, `.wast.fromBinary`, and `.wast.fromBinary.noDebugInfo` files from `test/` and all related test routines from the python scripts. All `CHECK` lines are generated by `update_lit_checks.py --all-items`. This also deletes these three multi-memory tests in `test/lit/`, because they seem to contain the same code with the ones in `test/`, which have been ported to `test/lit/basic/` along with other tests. - `test/lit/multi-memories-atomics64.wast` - `test/lit/multi-memories-basics.wast` - `test/lit/multi-memories-simd.wast` This also adds newlines between `(func`s in case there are none to make `CHECK` lines easy to view, and removes some extra existing newlines here and there.
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)
- )
- )
-)