diff options
Diffstat (limited to 'test/reference-types.wast.fromBinary.noDebugInfo')
| -rw-r--r-- | test/reference-types.wast.fromBinary.noDebugInfo | 492 |
1 files changed, 492 insertions, 0 deletions
diff --git a/test/reference-types.wast.fromBinary.noDebugInfo b/test/reference-types.wast.fromBinary.noDebugInfo new file mode 100644 index 000000000..aee92afc2 --- /dev/null +++ b/test/reference-types.wast.fromBinary.noDebugInfo @@ -0,0 +1,492 @@ +(module + (type $anyref_=>_none (func (param anyref))) + (type $none_=>_anyref (func (result anyref))) + (type $funcref_=>_none (func (param funcref))) + (type $nullref_=>_none (func (param nullref))) + (type $exnref_=>_none (func (param exnref))) + (type $none_=>_funcref (func (result funcref))) + (type $none_=>_exnref (func (result exnref))) + (type $none_=>_none (func)) + (type $none_=>_nullref (func (result nullref))) + (type $anyref_=>_funcref (func (param anyref) (result funcref))) + (import "env" "import_global" (global $gimport$1 anyref)) + (import "env" "import_func" (func $fimport$0 (param anyref) (result funcref))) + (table $0 4 4 funcref) + (elem (i32.const 0) $0 $1 $2 $3) + (global $global$0 (mut anyref) (ref.null)) + (global $global$1 (mut funcref) (ref.null)) + (global $global$2 (mut exnref) (ref.null)) + (global $global$3 (mut nullref) (ref.null)) + (global $global$4 (mut anyref) (ref.func $4)) + (global $global$5 (mut funcref) (ref.func $4)) + (export "export_func" (func $fimport$0)) + (export "export_global" (global $gimport$1)) + (func $0 (; 1 ;) (param $0 anyref) + (nop) + ) + (func $1 (; 2 ;) (param $0 funcref) + (nop) + ) + (func $2 (; 3 ;) (param $0 exnref) + (nop) + ) + (func $3 (; 4 ;) (param $0 nullref) + (nop) + ) + (func $4 (; 5 ;) + (nop) + ) + (func $5 (; 6 ;) + (local $0 funcref) + (local $1 anyref) + (local $2 nullref) + (local $3 exnref) + (local.set $1 + (local.get $1) + ) + (local.set $1 + (local.get $0) + ) + (local.set $1 + (local.get $3) + ) + (local.set $1 + (local.get $2) + ) + (local.set $1 + (ref.null) + ) + (local.set $1 + (ref.func $4) + ) + (local.set $0 + (local.get $0) + ) + (local.set $0 + (ref.null) + ) + (local.set $0 + (ref.func $4) + ) + (local.set $3 + (local.get $3) + ) + (local.set $3 + (ref.null) + ) + (local.set $2 + (local.get $2) + ) + (local.set $2 + (ref.null) + ) + (global.set $global$0 + (global.get $global$0) + ) + (global.set $global$0 + (global.get $global$1) + ) + (global.set $global$0 + (global.get $global$2) + ) + (global.set $global$0 + (global.get $global$3) + ) + (global.set $global$0 + (ref.null) + ) + (global.set $global$0 + (ref.func $4) + ) + (global.set $global$1 + (global.get $global$1) + ) + (global.set $global$1 + (ref.null) + ) + (global.set $global$1 + (ref.func $4) + ) + (global.set $global$2 + (global.get $global$2) + ) + (global.set $global$2 + (ref.null) + ) + (global.set $global$3 + (global.get $global$3) + ) + (global.set $global$3 + (ref.null) + ) + (call $0 + (local.get $1) + ) + (call $0 + (local.get $0) + ) + (call $0 + (local.get $3) + ) + (call $0 + (ref.null) + ) + (call_indirect (type $anyref_=>_none) + (local.get $1) + (i32.const 0) + ) + (call_indirect (type $anyref_=>_none) + (local.get $0) + (i32.const 0) + ) + (call_indirect (type $anyref_=>_none) + (local.get $3) + (i32.const 0) + ) + (call_indirect (type $anyref_=>_none) + (ref.null) + (i32.const 0) + ) + (call_indirect (type $funcref_=>_none) + (local.get $0) + (i32.const 1) + ) + (call_indirect (type $funcref_=>_none) + (ref.null) + (i32.const 1) + ) + (call_indirect (type $exnref_=>_none) + (local.get $3) + (i32.const 2) + ) + (call_indirect (type $exnref_=>_none) + (ref.null) + (i32.const 2) + ) + (call_indirect (type $nullref_=>_none) + (local.get $2) + (i32.const 3) + ) + (call_indirect (type $nullref_=>_none) + (ref.null) + (i32.const 3) + ) + (drop + (block $label$1 (result anyref) + (br_if $label$1 + (local.get $1) + (i32.const 1) + ) + ) + ) + (drop + (block $label$2 (result anyref) + (br_if $label$2 + (local.get $0) + (i32.const 1) + ) + ) + ) + (drop + (block $label$3 (result anyref) + (br_if $label$3 + (local.get $3) + (i32.const 1) + ) + ) + ) + (drop + (block $label$4 (result anyref) + (br_if $label$4 + (ref.null) + (i32.const 1) + ) + ) + ) + (drop + (block $label$5 (result funcref) + (br_if $label$5 + (ref.null) + (i32.const 1) + ) + ) + ) + (drop + (block $label$6 (result exnref) + (br_if $label$6 + (ref.null) + (i32.const 1) + ) + ) + ) + (drop + (block $label$7 (result nullref) + (br_if $label$7 + (ref.null) + (i32.const 1) + ) + ) + ) + (drop + (loop $label$8 (result anyref) + (local.get $1) + ) + ) + (drop + (loop $label$9 (result anyref) + (local.get $0) + ) + ) + (drop + (loop $label$10 (result anyref) + (local.get $3) + ) + ) + (drop + (loop $label$11 (result anyref) + (ref.null) + ) + ) + (drop + (loop $label$12 (result funcref) + (local.get $0) + ) + ) + (drop + (loop $label$13 (result funcref) + (ref.null) + ) + ) + (drop + (loop $label$14 (result exnref) + (local.get $3) + ) + ) + (drop + (loop $label$15 (result exnref) + (ref.null) + ) + ) + (drop + (loop $label$16 (result nullref) + (ref.null) + ) + ) + (drop + (if (result anyref) + (i32.const 1) + (local.get $1) + (local.get $3) + ) + ) + (drop + (if (result anyref) + (i32.const 1) + (ref.func $4) + (ref.null) + ) + ) + (drop + (if (result funcref) + (i32.const 1) + (ref.func $4) + (ref.null) + ) + ) + (drop + (if (result exnref) + (i32.const 1) + (local.get $3) + (ref.null) + ) + ) + (drop + (if (result nullref) + (i32.const 1) + (local.get $2) + (ref.null) + ) + ) + (drop + (try (result anyref) + (local.get $1) + (catch + (exnref.pop) + ) + ) + ) + (drop + (try (result anyref) + (ref.func $4) + (catch + (drop + (exnref.pop) + ) + (ref.null) + ) + ) + ) + (drop + (try (result funcref) + (ref.func $4) + (catch + (drop + (exnref.pop) + ) + (ref.null) + ) + ) + ) + (drop + (try (result exnref) + (ref.null) + (catch + (exnref.pop) + ) + ) + ) + (drop + (try (result nullref) + (ref.null) + (catch + (drop + (exnref.pop) + ) + (ref.null) + ) + ) + ) + (drop + (select (result anyref) + (local.get $1) + (ref.func $4) + (i32.const 1) + ) + ) + (drop + (select (result anyref) + (local.get $3) + (local.get $1) + (i32.const 1) + ) + ) + (drop + (select (result anyref) + (local.get $1) + (ref.null) + (i32.const 1) + ) + ) + (drop + (select (result anyref) + (ref.null) + (ref.func $4) + (i32.const 1) + ) + ) + (drop + (select (result funcref) + (ref.func $4) + (ref.null) + (i32.const 1) + ) + ) + (drop + (select (result exnref) + (ref.null) + (local.get $3) + (i32.const 1) + ) + ) + (drop + (select (result nullref) + (ref.null) + (ref.null) + (i32.const 1) + ) + ) + (drop + (select + (i32.const 0) + (i32.const 2) + (i32.const 1) + ) + ) + (drop + (ref.is_null + (local.get $1) + ) + ) + (drop + (ref.is_null + (local.get $3) + ) + ) + (drop + (ref.is_null + (ref.func $4) + ) + ) + (drop + (ref.is_null + (ref.null) + ) + ) + ) + (func $6 (; 7 ;) (result anyref) + (local $0 anyref) + (local.get $0) + ) + (func $7 (; 8 ;) (result anyref) + (ref.func $4) + ) + (func $8 (; 9 ;) (result anyref) + (local $0 exnref) + (local.get $0) + ) + (func $9 (; 10 ;) (result anyref) + (ref.null) + ) + (func $10 (; 11 ;) (result funcref) + (ref.func $4) + ) + (func $11 (; 12 ;) (result funcref) + (ref.null) + ) + (func $12 (; 13 ;) (result exnref) + (local $0 exnref) + (local.get $0) + ) + (func $13 (; 14 ;) (result exnref) + (ref.null) + ) + (func $14 (; 15 ;) (result nullref) + (local $0 nullref) + (local.get $0) + ) + (func $15 (; 16 ;) (result anyref) + (local $0 anyref) + (local $1 exnref) + (return + (local.get $0) + ) + ) + (func $16 (; 17 ;) (result funcref) + (return + (ref.func $4) + ) + ) + (func $17 (; 18 ;) (result exnref) + (local $0 exnref) + (return + (local.get $0) + ) + ) + (func $18 (; 19 ;) (result nullref) + (local $0 nullref) + (return + (local.get $0) + ) + ) +) + |