diff options
Diffstat (limited to 'test/reference-types.wast.fromBinary')
| -rw-r--r-- | test/reference-types.wast.fromBinary | 624 |
1 files changed, 0 insertions, 624 deletions
diff --git a/test/reference-types.wast.fromBinary b/test/reference-types.wast.fromBinary deleted file mode 100644 index 0ce71eb38..000000000 --- a/test/reference-types.wast.fromBinary +++ /dev/null @@ -1,624 +0,0 @@ -(module - (type $0 (func (result anyref))) - (type $sig_anyref (func (param anyref))) - (type $sig_funcref (func (param funcref))) - (type $3 (func (result funcref))) - (type $sig_eqref (func (param eqref))) - (type $5 (func)) - (type $6 (func (result eqref))) - (type $7 (func (param i32))) - (type $8 (func (param eqref) (result funcref))) - (import "env" "import_global" (global $import_global eqref)) - (import "env" "import_func" (func $import_func (type $8) (param eqref) (result funcref))) - (global $global_eqref (mut eqref) (ref.null none)) - (global $global_funcref (mut funcref) (ref.null nofunc)) - (global $global_funcref_func (mut funcref) (ref.func $foo)) - (global $global_anyref (mut anyref) (ref.null none)) - (global $global_anyref2 (mut anyref) (ref.null none)) - (table $0 3 3 funcref) - (elem $0 (i32.const 0) $take_eqref $take_funcref $take_anyref) - (elem declare func $foo $ref-taken-but-not-in-table) - (tag $e-i32 (param i32)) - (export "export_func" (func $import_func)) - (export "export_global" (global $import_global)) - (func $take_eqref (type $sig_eqref) (param $0 eqref) - (nop) - ) - (func $take_funcref (type $sig_funcref) (param $0 funcref) - (nop) - ) - (func $take_anyref (type $sig_anyref) (param $0 anyref) - (nop) - ) - (func $foo (type $5) - (nop) - ) - (func $test (type $5) - (local $local_eqref eqref) - (local $local_funcref funcref) - (local $local_anyref anyref) - (local.set $local_eqref - (local.get $local_eqref) - ) - (local.set $local_eqref - (global.get $global_eqref) - ) - (local.set $local_eqref - (ref.null none) - ) - (local.set $local_funcref - (local.get $local_funcref) - ) - (local.set $local_funcref - (global.get $global_funcref) - ) - (local.set $local_funcref - (ref.null nofunc) - ) - (local.set $local_funcref - (ref.func $foo) - ) - (local.set $local_anyref - (local.get $local_anyref) - ) - (local.set $local_anyref - (global.get $global_anyref) - ) - (local.set $local_anyref - (ref.null none) - ) - (local.set $local_anyref - (local.get $local_eqref) - ) - (local.set $local_anyref - (global.get $global_eqref) - ) - (local.set $local_anyref - (ref.null none) - ) - (global.set $global_eqref - (global.get $global_eqref) - ) - (global.set $global_eqref - (local.get $local_eqref) - ) - (global.set $global_eqref - (ref.null none) - ) - (global.set $global_funcref - (global.get $global_funcref) - ) - (global.set $global_funcref - (local.get $local_funcref) - ) - (global.set $global_funcref - (ref.null nofunc) - ) - (global.set $global_funcref - (ref.func $foo) - ) - (global.set $global_anyref - (global.get $global_anyref) - ) - (global.set $global_anyref - (local.get $local_anyref) - ) - (global.set $global_anyref - (ref.null none) - ) - (global.set $global_anyref - (global.get $global_eqref) - ) - (global.set $global_anyref - (local.get $local_eqref) - ) - (global.set $global_anyref - (ref.null none) - ) - (call $take_eqref - (local.get $local_eqref) - ) - (call $take_eqref - (global.get $global_eqref) - ) - (call $take_eqref - (ref.null none) - ) - (call $take_funcref - (local.get $local_funcref) - ) - (call $take_funcref - (global.get $global_funcref) - ) - (call $take_funcref - (ref.null nofunc) - ) - (call $take_funcref - (ref.func $foo) - ) - (call $take_anyref - (local.get $local_anyref) - ) - (call $take_anyref - (global.get $global_anyref) - ) - (call $take_anyref - (ref.null none) - ) - (call $take_anyref - (local.get $local_eqref) - ) - (call $take_anyref - (global.get $global_eqref) - ) - (call $take_anyref - (ref.null none) - ) - (call_indirect $0 (type $sig_eqref) - (local.get $local_eqref) - (i32.const 0) - ) - (call_indirect $0 (type $sig_eqref) - (global.get $global_eqref) - (i32.const 0) - ) - (call_indirect $0 (type $sig_eqref) - (ref.null none) - (i32.const 0) - ) - (call_indirect $0 (type $sig_funcref) - (local.get $local_funcref) - (i32.const 1) - ) - (call_indirect $0 (type $sig_funcref) - (global.get $global_funcref) - (i32.const 1) - ) - (call_indirect $0 (type $sig_funcref) - (ref.null nofunc) - (i32.const 1) - ) - (call_indirect $0 (type $sig_funcref) - (ref.func $foo) - (i32.const 1) - ) - (call_indirect $0 (type $sig_anyref) - (local.get $local_anyref) - (i32.const 3) - ) - (call_indirect $0 (type $sig_anyref) - (global.get $global_anyref) - (i32.const 3) - ) - (call_indirect $0 (type $sig_anyref) - (ref.null none) - (i32.const 3) - ) - (call_indirect $0 (type $sig_anyref) - (local.get $local_eqref) - (i32.const 3) - ) - (call_indirect $0 (type $sig_anyref) - (global.get $global_eqref) - (i32.const 3) - ) - (call_indirect $0 (type $sig_anyref) - (ref.null none) - (i32.const 3) - ) - (drop - (block $label$1 (result eqref) - (br_if $label$1 - (local.get $local_eqref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$2 (result eqref) - (br_if $label$2 - (global.get $global_eqref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$3 (result eqref) - (br_if $label$3 - (ref.null none) - (i32.const 1) - ) - ) - ) - (drop - (block $label$4 (result funcref) - (br_if $label$4 - (local.get $local_funcref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$5 (result funcref) - (br_if $label$5 - (global.get $global_funcref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$6 (result funcref) - (br_if $label$6 - (ref.null nofunc) - (i32.const 1) - ) - ) - ) - (drop - (block $label$7 (result funcref) - (br_if $label$7 - (ref.func $foo) - (i32.const 1) - ) - ) - ) - (drop - (block $label$8 (result anyref) - (br_if $label$8 - (local.get $local_anyref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$9 (result anyref) - (br_if $label$9 - (global.get $global_anyref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$10 (result anyref) - (br_if $label$10 - (ref.null none) - (i32.const 1) - ) - ) - ) - (drop - (block $label$11 (result anyref) - (br_if $label$11 - (local.get $local_eqref) - (i32.const 1) - ) - ) - ) - (drop - (block $label$12 (result anyref) - (br_if $label$12 - (ref.null none) - (i32.const 1) - ) - ) - ) - (drop - (loop $label$13 (result eqref) - (local.get $local_eqref) - ) - ) - (drop - (loop $label$14 (result eqref) - (global.get $global_eqref) - ) - ) - (drop - (loop $label$15 (result eqref) - (ref.null none) - ) - ) - (drop - (loop $label$16 (result funcref) - (local.get $local_funcref) - ) - ) - (drop - (loop $label$17 (result funcref) - (global.get $global_funcref) - ) - ) - (drop - (loop $label$18 (result funcref) - (ref.null nofunc) - ) - ) - (drop - (loop $label$19 (result funcref) - (ref.func $foo) - ) - ) - (drop - (loop $label$20 (result anyref) - (local.get $local_anyref) - ) - ) - (drop - (loop $label$21 (result anyref) - (global.get $global_anyref) - ) - ) - (drop - (loop $label$22 (result anyref) - (ref.null none) - ) - ) - (drop - (loop $label$23 (result anyref) - (local.get $local_eqref) - ) - ) - (drop - (loop $label$24 (result anyref) - (global.get $global_eqref) - ) - ) - (drop - (loop $label$25 (result anyref) - (ref.null none) - ) - ) - (drop - (if (result eqref) - (i32.const 1) - (local.get $local_eqref) - (ref.null none) - ) - ) - (drop - (if (result funcref) - (i32.const 1) - (local.get $local_funcref) - (ref.null nofunc) - ) - ) - (drop - (if (result anyref) - (i32.const 1) - (local.get $local_anyref) - (ref.null none) - ) - ) - (drop - (if (result anyref) - (i32.const 1) - (local.get $local_eqref) - (local.get $local_eqref) - ) - ) - (drop - (if (result anyref) - (i32.const 1) - (ref.null none) - (ref.null none) - ) - ) - (drop - (if (result anyref) - (i32.const 1) - (ref.i31 - (i32.const 0) - ) - (ref.null none) - ) - ) - (drop - (try $label$40 (result eqref) - (do - (local.get $local_eqref) - ) - (catch $e-i32 - (drop - (pop i32) - ) - (ref.null none) - ) - ) - ) - (drop - (try $label$43 (result funcref) - (do - (ref.func $foo) - ) - (catch $e-i32 - (drop - (pop i32) - ) - (ref.null nofunc) - ) - ) - ) - (drop - (try $label$46 (result anyref) - (do - (local.get $local_eqref) - ) - (catch $e-i32 - (drop - (pop i32) - ) - (ref.null none) - ) - ) - ) - (drop - (try $label$49 (result anyref) - (do - (ref.null none) - ) - (catch $e-i32 - (drop - (pop i32) - ) - (local.get $local_eqref) - ) - ) - ) - (drop - (select (result eqref) - (local.get $local_eqref) - (ref.null none) - (i32.const 1) - ) - ) - (drop - (select (result funcref) - (local.get $local_funcref) - (ref.null nofunc) - (i32.const 1) - ) - ) - (drop - (select - (i32.const 0) - (i32.const 2) - (i32.const 1) - ) - ) - (drop - (select (result anyref) - (local.get $local_eqref) - (ref.i31 - (i32.const 0) - ) - (i32.const 1) - ) - ) - (drop - (ref.is_null - (local.get $local_eqref) - ) - ) - (drop - (ref.is_null - (global.get $global_eqref) - ) - ) - (drop - (ref.is_null - (ref.null none) - ) - ) - (drop - (ref.is_null - (local.get $local_funcref) - ) - ) - (drop - (ref.is_null - (global.get $global_funcref) - ) - ) - (drop - (ref.is_null - (ref.null nofunc) - ) - ) - (drop - (ref.is_null - (ref.func $foo) - ) - ) - (drop - (ref.is_null - (local.get $local_anyref) - ) - ) - (drop - (ref.is_null - (global.get $global_anyref) - ) - ) - (drop - (ref.is_null - (ref.null none) - ) - ) - ) - (func $return_eqref_local (type $6) (result eqref) - (local $local_eqref eqref) - (local.get $local_eqref) - ) - (func $return_eqref_global (type $6) (result eqref) - (global.get $global_eqref) - ) - (func $return_eqref_null (type $6) (result eqref) - (ref.null none) - ) - (func $return_funcref_local (type $3) (result funcref) - (local $local_funcref funcref) - (local.get $local_funcref) - ) - (func $return_funcref_global (type $3) (result funcref) - (global.get $global_funcref) - ) - (func $return_funcref_null (type $3) (result funcref) - (ref.null nofunc) - ) - (func $return_funcref_func (type $3) (result funcref) - (ref.func $foo) - ) - (func $return_anyref_local (type $0) (result anyref) - (local $local_anyref anyref) - (local.get $local_anyref) - ) - (func $return_anyref_global (type $0) (result anyref) - (global.get $global_anyref) - ) - (func $return_anyref_null (type $0) (result anyref) - (ref.null none) - ) - (func $return_anyref2 (type $0) (result anyref) - (local $local_eqref eqref) - (local.get $local_eqref) - ) - (func $return_anyref3 (type $0) (result anyref) - (global.get $global_eqref) - ) - (func $return_anyref4 (type $0) (result anyref) - (ref.null none) - ) - (func $returns_eqref (type $6) (result eqref) - (local $local_eqref eqref) - (return - (local.get $local_eqref) - ) - ) - (func $returns_funcref (type $3) (result funcref) - (local $local_funcref funcref) - (return - (local.get $local_funcref) - ) - ) - (func $returns_anyref (type $0) (result anyref) - (local $local_anyref anyref) - (return - (local.get $local_anyref) - ) - ) - (func $returns_anyref2 (type $0) (result anyref) - (local $local_eqref eqref) - (local $local_funcref funcref) - (return - (local.get $local_eqref) - ) - ) - (func $ref-user (type $5) - (drop - (ref.func $ref-taken-but-not-in-table) - ) - ) - (func $ref-taken-but-not-in-table (type $5) - (nop) - ) -) - |