| ;; 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 (result i32 i64))) |
| |
| ;; CHECK-TEXT: (type $2 (func (result i32 i64 exnref))) |
| |
| ;; CHECK-TEXT: (type $3 (func (result exnref))) |
| |
| ;; CHECK-TEXT: (type $4 (func (result i32))) |
| |
| ;; CHECK-TEXT: (type $5 (func (result i32 exnref))) |
| |
| ;; CHECK-TEXT: (type $6 (func (param i32))) |
| |
| ;; CHECK-TEXT: (type $7 (func (param i64))) |
| |
| ;; CHECK-TEXT: (type $8 (func (param i32 i64))) |
| |
| ;; CHECK-TEXT: (type $9 (func (param eqref))) |
| |
| ;; CHECK-TEXT: (tag $e-i32 (param i32)) |
| ;; CHECK-BIN: (type $0 (func)) |
| |
| ;; CHECK-BIN: (type $1 (func (result i32 i64))) |
| |
| ;; CHECK-BIN: (type $2 (func (result i32 i64 exnref))) |
| |
| ;; CHECK-BIN: (type $3 (func (result exnref))) |
| |
| ;; CHECK-BIN: (type $4 (func (result i32))) |
| |
| ;; CHECK-BIN: (type $5 (func (result i32 exnref))) |
| |
| ;; CHECK-BIN: (type $6 (func (param i32))) |
| |
| ;; CHECK-BIN: (type $7 (func (param i64))) |
| |
| ;; CHECK-BIN: (type $8 (func (param i32 i64))) |
| |
| ;; CHECK-BIN: (type $9 (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 $exnref-nullexnref-test (type $3) (result exnref) |
| ;; CHECK-TEXT-NEXT: (local $exn exnref) |
| ;; CHECK-TEXT-NEXT: (local $null-exn nullexnref) |
| ;; CHECK-TEXT-NEXT: (if (result exnref) |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (if (result nullexnref) |
| ;; CHECK-TEXT-NEXT: (i32.const 1) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (local.get $null-exn) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (ref.null noexn) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (local.get $exn) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $exnref-nullexnref-test (type $3) (result exnref) |
| ;; CHECK-BIN-NEXT: (local $exn exnref) |
| ;; CHECK-BIN-NEXT: (local $null-exn nullexnref) |
| ;; CHECK-BIN-NEXT: (if (result exnref) |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (if (result nullexnref) |
| ;; CHECK-BIN-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (local.get $null-exn) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (else |
| ;; CHECK-BIN-NEXT: (ref.null noexn) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (else |
| ;; CHECK-BIN-NEXT: (local.get $exn) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $exnref-nullexnref-test (result exnref) (local $exn exnref) (local $null-exn nullexnref) |
| (if (result exnref) |
| (i32.const 1) |
| (then |
| (if (result nullexnref) |
| (i32.const 1) |
| (then |
| (local.get $null-exn) |
| ) |
| (else |
| (ref.null noexn) |
| ) |
| ) |
| ) |
| (else |
| (local.get $exn) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $catchless-try-table (type $0) |
| ;; CHECK-TEXT-NEXT: (try_table |
| ;; CHECK-TEXT-NEXT: (nop) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (try_table |
| ;; CHECK-TEXT-NEXT: (throw $e-empty) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $catchless-try-table (type $0) |
| ;; CHECK-BIN-NEXT: (try_table |
| ;; CHECK-BIN-NEXT: (nop) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (try_table |
| ;; CHECK-BIN-NEXT: (throw $e-empty) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $catchless-try-table |
| (try_table) |
| (try_table |
| (throw $e-empty) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $simple-try-table-and-throw (type $4) (result i32) |
| ;; CHECK-TEXT-NEXT: (block $l-catch (result i32) |
| ;; CHECK-TEXT-NEXT: (try_table (catch $e-i32 $l-catch) |
| ;; 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 $simple-try-table-and-throw (type $4) (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NEXT: (try_table (catch $e-i32 $label$1) |
| ;; 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 $simple-try-table-and-throw (result i32) |
| (block $l-catch (result i32) |
| (try_table (catch $e-i32 $l-catch) |
| (throw $e-i32 (i32.const 0)) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $try-table-and-throw-ref (type $0) |
| ;; CHECK-TEXT-NEXT: (throw_ref |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all-ref (result exnref) |
| ;; CHECK-TEXT-NEXT: (try_table (catch_all_ref $l-catch-all-ref) |
| ;; CHECK-TEXT-NEXT: (throw $e-i64 |
| ;; CHECK-TEXT-NEXT: (i64.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $try-table-and-throw-ref (type $0) |
| ;; CHECK-BIN-NEXT: (throw_ref |
| ;; CHECK-BIN-NEXT: (block $label$1 (result exnref) |
| ;; CHECK-BIN-NEXT: (try_table (catch_all_ref $label$1) |
| ;; CHECK-BIN-NEXT: (throw $e-i64 |
| ;; CHECK-BIN-NEXT: (i64.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $try-table-and-throw-ref |
| (throw_ref |
| (block $l-catch-all-ref (result exnref) |
| (try_table (catch_all_ref $l-catch-all-ref) |
| (throw $e-i64 (i64.const 0)) |
| ) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $try-table-multivalue-tag (type $0) |
| ;; CHECK-TEXT-NEXT: (block $outer |
| ;; CHECK-TEXT-NEXT: (tuple.drop 3 |
| ;; CHECK-TEXT-NEXT: (block $l-catch-ref (type $2) (result i32 i64 exnref) |
| ;; CHECK-TEXT-NEXT: (tuple.drop 2 |
| ;; CHECK-TEXT-NEXT: (block $l-catch (type $1) (result i32 i64) |
| ;; CHECK-TEXT-NEXT: (try_table (catch $e-i32-i64 $l-catch) (catch_ref $e-i32-i64 $l-catch-ref) |
| ;; 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: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $try-table-multivalue-tag (type $0) |
| ;; CHECK-BIN-NEXT: (local $0 (tuple i32 i64)) |
| ;; CHECK-BIN-NEXT: (local $1 i32) |
| ;; CHECK-BIN-NEXT: (local $2 (tuple i32 i64 exnref)) |
| ;; CHECK-BIN-NEXT: (local $3 i64) |
| ;; CHECK-BIN-NEXT: (local $4 i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (local.set $2 |
| ;; CHECK-BIN-NEXT: (block $label$2 (type $2) (result i32 i64 exnref) |
| ;; CHECK-BIN-NEXT: (local.set $0 |
| ;; CHECK-BIN-NEXT: (block $label$3 (type $1) (result i32 i64) |
| ;; CHECK-BIN-NEXT: (try_table (catch $e-i32-i64 $label$3) (catch_ref $e-i32-i64 $label$2) |
| ;; 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: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $1 |
| ;; CHECK-BIN-NEXT: (tuple.extract 2 0 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (tuple.extract 2 1 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $4 |
| ;; CHECK-BIN-NEXT: (tuple.extract 3 0 |
| ;; CHECK-BIN-NEXT: (local.get $2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i64) |
| ;; CHECK-BIN-NEXT: (local.set $3 |
| ;; CHECK-BIN-NEXT: (tuple.extract 3 1 |
| ;; CHECK-BIN-NEXT: (local.get $2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (tuple.extract 3 2 |
| ;; 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: (local.get $4) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $try-table-multivalue-tag |
| (block $outer |
| (tuple.drop 3 |
| (block $l-catch-ref (result i32 i64 exnref) |
| (tuple.drop 2 |
| (block $l-catch (result i32 i64) |
| (try_table (catch $e-i32-i64 $l-catch) |
| (catch_ref $e-i32-i64 $l-catch-ref) |
| (throw $e-i32-i64 (i32.const 0) (i64.const 0)) |
| ) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $try-table-all-catch-clauses-empty-tag (type $0) |
| ;; CHECK-TEXT-NEXT: (block $outer |
| ;; CHECK-TEXT-NEXT: (block $l-catch |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (block $l-catch-ref (result exnref) |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all |
| ;; CHECK-TEXT-NEXT: (throw_ref |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all-ref (result exnref) |
| ;; CHECK-TEXT-NEXT: (try_table (catch $e-empty $l-catch) (catch_ref $e-empty $l-catch-ref) (catch_all $l-catch-all) (catch_all_ref $l-catch-all-ref) |
| ;; CHECK-TEXT-NEXT: (call $foo) |
| ;; CHECK-TEXT-NEXT: (call $foo) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $try-table-all-catch-clauses-empty-tag (type $0) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (block $label$2 |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block $label$3 (result exnref) |
| ;; CHECK-BIN-NEXT: (block $label$4 |
| ;; CHECK-BIN-NEXT: (throw_ref |
| ;; CHECK-BIN-NEXT: (block $label$5 (result exnref) |
| ;; CHECK-BIN-NEXT: (try_table (catch $e-empty $label$2) (catch_ref $e-empty $label$3) (catch_all $label$4) (catch_all_ref $label$5) |
| ;; CHECK-BIN-NEXT: (call $foo) |
| ;; CHECK-BIN-NEXT: (call $foo) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $try-table-all-catch-clauses-empty-tag |
| ;; try_table with all kinds of catch clauses when using a tag with an empty |
| ;; param type |
| (block $outer |
| (block $l-catch |
| (drop |
| (block $l-catch-ref (result exnref) |
| (block $l-catch-all |
| (throw_ref |
| (block $l-catch-all-ref (result exnref) |
| (try_table (catch $e-empty $l-catch) |
| (catch_ref $e-empty $l-catch-ref) |
| (catch_all $l-catch-all) |
| (catch_all_ref $l-catch-all-ref) |
| (call $foo) |
| (call $foo) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $try-table-all-catch-clauses-i32-tag (type $0) |
| ;; CHECK-TEXT-NEXT: (block $outer |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (block $l-catch (result i32) |
| ;; CHECK-TEXT-NEXT: (tuple.drop 2 |
| ;; CHECK-TEXT-NEXT: (block $l-catch-ref (type $5) (result i32 exnref) |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all |
| ;; CHECK-TEXT-NEXT: (throw_ref |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all-ref (result exnref) |
| ;; CHECK-TEXT-NEXT: (try_table (catch $e-i32 $l-catch) (catch_ref $e-i32 $l-catch-ref) (catch_all $l-catch-all) (catch_all_ref $l-catch-all-ref) |
| ;; CHECK-TEXT-NEXT: (call $foo) |
| ;; CHECK-TEXT-NEXT: (call $foo) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $try-table-all-catch-clauses-i32-tag (type $0) |
| ;; CHECK-BIN-NEXT: (local $0 (tuple i32 exnref)) |
| ;; CHECK-BIN-NEXT: (local $1 i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block $label$2 (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $0 |
| ;; CHECK-BIN-NEXT: (block $label$3 (type $5) (result i32 exnref) |
| ;; CHECK-BIN-NEXT: (block $label$4 |
| ;; CHECK-BIN-NEXT: (throw_ref |
| ;; CHECK-BIN-NEXT: (block $label$5 (result exnref) |
| ;; CHECK-BIN-NEXT: (try_table (catch $e-i32 $label$2) (catch_ref $e-i32 $label$3) (catch_all $label$4) (catch_all_ref $label$5) |
| ;; CHECK-BIN-NEXT: (call $foo) |
| ;; CHECK-BIN-NEXT: (call $foo) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $1 |
| ;; CHECK-BIN-NEXT: (tuple.extract 2 0 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (tuple.extract 2 1 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $try-table-all-catch-clauses-i32-tag |
| ;; try_table with all kinds of catch clauses when using a tag with an i32 |
| ;; param type |
| (block $outer |
| (drop |
| (block $l-catch (result i32) |
| (tuple.drop 2 |
| (block $l-catch-ref (result i32 exnref) |
| (block $l-catch-all |
| (throw_ref |
| (block $l-catch-all-ref (result exnref) |
| (try_table (catch $e-i32 $l-catch) |
| (catch_ref $e-i32 $l-catch-ref) |
| (catch_all $l-catch-all) |
| (catch_all_ref $l-catch-all-ref) |
| (call $foo) |
| (call $foo) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $try-table-all-catch-clauses-multivalue-tag (type $0) |
| ;; CHECK-TEXT-NEXT: (block $outer |
| ;; CHECK-TEXT-NEXT: (tuple.drop 2 |
| ;; CHECK-TEXT-NEXT: (block $l-catch (type $1) (result i32 i64) |
| ;; CHECK-TEXT-NEXT: (tuple.drop 3 |
| ;; CHECK-TEXT-NEXT: (block $l-catch-ref (type $2) (result i32 i64 exnref) |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all |
| ;; CHECK-TEXT-NEXT: (throw_ref |
| ;; CHECK-TEXT-NEXT: (block $l-catch-all-ref (result exnref) |
| ;; CHECK-TEXT-NEXT: (try_table (catch $e-i32-i64 $l-catch) (catch_ref $e-i32-i64 $l-catch-ref) (catch_all $l-catch-all) (catch_all_ref $l-catch-all-ref) |
| ;; CHECK-TEXT-NEXT: (call $foo) |
| ;; CHECK-TEXT-NEXT: (call $foo) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (br $outer) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $try-table-all-catch-clauses-multivalue-tag (type $0) |
| ;; CHECK-BIN-NEXT: (local $0 (tuple i32 i64 exnref)) |
| ;; CHECK-BIN-NEXT: (local $1 i64) |
| ;; CHECK-BIN-NEXT: (local $2 i32) |
| ;; CHECK-BIN-NEXT: (local $3 (tuple i32 i64)) |
| ;; CHECK-BIN-NEXT: (local $4 i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 |
| ;; CHECK-BIN-NEXT: (local.set $3 |
| ;; CHECK-BIN-NEXT: (block $label$2 (type $1) (result i32 i64) |
| ;; CHECK-BIN-NEXT: (local.set $0 |
| ;; CHECK-BIN-NEXT: (block $label$3 (type $2) (result i32 i64 exnref) |
| ;; CHECK-BIN-NEXT: (block $label$4 |
| ;; CHECK-BIN-NEXT: (throw_ref |
| ;; CHECK-BIN-NEXT: (block $label$5 (result exnref) |
| ;; CHECK-BIN-NEXT: (try_table (catch $e-i32-i64 $label$2) (catch_ref $e-i32-i64 $label$3) (catch_all $label$4) (catch_all_ref $label$5) |
| ;; CHECK-BIN-NEXT: (call $foo) |
| ;; CHECK-BIN-NEXT: (call $foo) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $2 |
| ;; CHECK-BIN-NEXT: (tuple.extract 3 0 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i64) |
| ;; CHECK-BIN-NEXT: (local.set $1 |
| ;; CHECK-BIN-NEXT: (tuple.extract 3 1 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (tuple.extract 3 2 |
| ;; CHECK-BIN-NEXT: (local.get $0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $2) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (br $label$1) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block (result i32) |
| ;; CHECK-BIN-NEXT: (local.set $4 |
| ;; CHECK-BIN-NEXT: (tuple.extract 2 0 |
| ;; CHECK-BIN-NEXT: (local.get $3) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (tuple.extract 2 1 |
| ;; CHECK-BIN-NEXT: (local.get $3) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (local.get $4) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $try-table-all-catch-clauses-multivalue-tag |
| ;; try_table with all kinds of catch clauses when using a tag with a |
| ;; multivalue param type |
| (block $outer |
| (tuple.drop 2 |
| (block $l-catch (result i32 i64) |
| (tuple.drop 3 |
| (block $l-catch-ref (result i32 i64 exnref) |
| (block $l-catch-all |
| (throw_ref |
| (block $l-catch-all-ref (result exnref) |
| (try_table (catch $e-i32-i64 $l-catch) |
| (catch_ref $e-i32-i64 $l-catch-ref) |
| (catch_all $l-catch-all) |
| (catch_all_ref $l-catch-all-ref) |
| (call $foo) |
| (call $foo) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| (br $outer) |
| ) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $try-table-with-label-and-br (type $4) (result i32) |
| ;; CHECK-TEXT-NEXT: (block $l-catch (result i32) |
| ;; CHECK-TEXT-NEXT: (block $l (result i32) |
| ;; CHECK-TEXT-NEXT: (try_table (result i32) (catch $e-i32 $l-catch) |
| ;; CHECK-TEXT-NEXT: (br $l |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $try-table-with-label-and-br (type $4) (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NEXT: (block $label$2 (result i32) |
| ;; CHECK-BIN-NEXT: (try_table (result i32) (catch $e-i32 $label$1) |
| ;; CHECK-BIN-NEXT: (br $label$2 |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $try-table-with-label-and-br (result i32) |
| (block $l-catch (result i32) |
| (try_table $l (result i32) (catch $e-i32 $l-catch) |
| (br $l (i32.const 0)) |
| ) |
| ) |
| ) |
| |
| ;; CHECK-TEXT: (func $nested-try-table (type $3) (result exnref) |
| ;; CHECK-TEXT-NEXT: (block $l-catch-outer (result exnref) |
| ;; CHECK-TEXT-NEXT: (drop |
| ;; CHECK-TEXT-NEXT: (block $l-catch-inner (result i32) |
| ;; CHECK-TEXT-NEXT: (try_table (catch_all_ref $l-catch-outer) |
| ;; CHECK-TEXT-NEXT: (try_table (catch $e-i32 $l-catch-inner) |
| ;; CHECK-TEXT-NEXT: (if |
| ;; CHECK-TEXT-NEXT: (i32.const 0) |
| ;; CHECK-TEXT-NEXT: (then |
| ;; CHECK-TEXT-NEXT: (throw $e-i32 |
| ;; CHECK-TEXT-NEXT: (i32.const 3) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (else |
| ;; CHECK-TEXT-NEXT: (throw $e-eqref |
| ;; CHECK-TEXT-NEXT: (ref.null none) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: (ref.null noexn) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-TEXT-NEXT: ) |
| ;; CHECK-BIN: (func $nested-try-table (type $3) (result exnref) |
| ;; CHECK-BIN-NEXT: (block $label$1 (result exnref) |
| ;; CHECK-BIN-NEXT: (drop |
| ;; CHECK-BIN-NEXT: (block $label$2 (result i32) |
| ;; CHECK-BIN-NEXT: (try_table (catch_all_ref $label$1) |
| ;; CHECK-BIN-NEXT: (try_table (catch $e-i32 $label$2) |
| ;; CHECK-BIN-NEXT: (if |
| ;; CHECK-BIN-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NEXT: (then |
| ;; CHECK-BIN-NEXT: (throw $e-i32 |
| ;; CHECK-BIN-NEXT: (i32.const 3) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (else |
| ;; CHECK-BIN-NEXT: (throw $e-eqref |
| ;; CHECK-BIN-NEXT: (ref.null none) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: (ref.null noexn) |
| ;; CHECK-BIN-NEXT: ) |
| ;; CHECK-BIN-NEXT: ) |
| (func $nested-try-table (result exnref) |
| (block $l-catch-outer (result exnref) |
| (drop |
| (block $l-catch-inner (result i32) |
| (try_table (catch_all_ref $l-catch-outer) |
| (try_table (catch $e-i32 $l-catch-inner) |
| (if |
| (i32.const 0) |
| (then |
| (throw $e-i32 (i32.const 3)) |
| ) |
| (else |
| (throw $e-eqref (ref.null eq)) |
| ) |
| ) |
| ) |
| ) |
| ) |
| ) |
| (ref.null noexn) |
| ) |
| ) |
| ) |
| ;; CHECK-BIN-NODEBUG: (type $0 (func)) |
| |
| ;; CHECK-BIN-NODEBUG: (type $1 (func (result i32 i64))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $2 (func (result i32 i64 exnref))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $3 (func (result exnref))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $4 (func (result i32))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $5 (func (result i32 exnref))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $6 (func (param i32))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $7 (func (param i64))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $8 (func (param i32 i64))) |
| |
| ;; CHECK-BIN-NODEBUG: (type $9 (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 $3) (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 nullexnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (if (result nullexnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (else |
| ;; CHECK-BIN-NODEBUG-NEXT: (ref.null noexn) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (else |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $2 (type $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table |
| ;; CHECK-BIN-NODEBUG-NEXT: (nop) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw $tag$4) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $3 (type $4) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch $tag$0 $label$1) |
| ;; 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 $4 (type $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw_ref |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch_all_ref $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw $tag$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i64.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; 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: (local $0 (tuple i32 i64)) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $2 (tuple i32 i64 exnref)) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $3 i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $4 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 (type $2) (result i32 i64 exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$3 (type $1) (result i32 i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch $tag$2 $label$3) (catch_ref $tag$2 $label$2) |
| ;; 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: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 2 0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 2 1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $4 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 3 0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $3 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 3 1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 3 2 |
| ;; 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: (local.get $4) |
| ;; 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: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$3 (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$4 |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw_ref |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$5 (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch $tag$4 $label$2) (catch_ref $tag$4 $label$3) (catch_all $label$4) (catch_all_ref $label$5) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $0) |
| ;; 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: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; 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: (func $7 (type $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 (tuple i32 exnref)) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$3 (type $5) (result i32 exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$4 |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw_ref |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$5 (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch $tag$0 $label$2) (catch_ref $tag$0 $label$3) (catch_all $label$4) (catch_all_ref $label$5) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $0) |
| ;; 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: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 2 0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 2 1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; 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 $8 (type $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $0 (tuple i32 i64 exnref)) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $1 i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $2 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $3 (tuple i32 i64)) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local $4 i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $3 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 (type $1) (result i32 i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$3 (type $2) (result i32 i64 exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$4 |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw_ref |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$5 (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch $tag$2 $label$2) (catch_ref $tag$2 $label$3) (catch_all $label$4) (catch_all_ref $label$5) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (call $0) |
| ;; 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: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 3 0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i64) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 3 1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 3 2 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $2) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.set $4 |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 2 0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $3) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (tuple.extract 2 1 |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $3) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (local.get $4) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $9 (type $4) (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (result i32) (catch $tag$0 $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (br $label$2 |
| ;; 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-NEXT: ) |
| |
| ;; CHECK-BIN-NODEBUG: (func $10 (type $3) (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$1 (result exnref) |
| ;; CHECK-BIN-NODEBUG-NEXT: (drop |
| ;; CHECK-BIN-NODEBUG-NEXT: (block $label$2 (result i32) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch_all_ref $label$1) |
| ;; CHECK-BIN-NODEBUG-NEXT: (try_table (catch $tag$0 $label$2) |
| ;; CHECK-BIN-NODEBUG-NEXT: (if |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 0) |
| ;; CHECK-BIN-NODEBUG-NEXT: (then |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw $tag$0 |
| ;; CHECK-BIN-NODEBUG-NEXT: (i32.const 3) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (else |
| ;; CHECK-BIN-NODEBUG-NEXT: (throw $tag$3 |
| ;; CHECK-BIN-NODEBUG-NEXT: (ref.null none) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: (ref.null noexn) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
| ;; CHECK-BIN-NODEBUG-NEXT: ) |
