diff options
author | Heejin Ahn <aheejin@gmail.com> | 2023-12-13 10:53:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-13 10:53:50 -0800 |
commit | 0024c8bdd28f701d57e49e65d38b28aad0594299 (patch) | |
tree | 19b9eb323836843d147dedf40495042edcf9404f /test/exception-handling.wast.from-wast | |
parent | 9e636855b582d1499a87fb73f55d85102ce95a58 (diff) | |
download | binaryen-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-wast | 423 |
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) - ) - ) -) |