diff options
author | Alon Zakai <azakai@google.com> | 2021-02-25 21:15:41 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-25 13:15:41 -0800 |
commit | 04c1515acb354714af3d07fe2a3b65b2bb0398ab (patch) | |
tree | e73935d0407777fe1ae2742717f00ebc4f336928 /test/typed-function-references.wast.fromBinary | |
parent | c64a50d46cd3b5d5c19411b3ac4d8f0ba10c2efd (diff) | |
download | binaryen-04c1515acb354714af3d07fe2a3b65b2bb0398ab.tar.gz binaryen-04c1515acb354714af3d07fe2a3b65b2bb0398ab.tar.bz2 binaryen-04c1515acb354714af3d07fe2a3b65b2bb0398ab.zip |
Support Type names in the Names section (#3615)
Diffstat (limited to 'test/typed-function-references.wast.fromBinary')
-rw-r--r-- | test/typed-function-references.wast.fromBinary | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/test/typed-function-references.wast.fromBinary b/test/typed-function-references.wast.fromBinary index fb13b73c4..b6dfd2a5d 100644 --- a/test/typed-function-references.wast.fromBinary +++ b/test/typed-function-references.wast.fromBinary @@ -1,13 +1,13 @@ (module (type $none_=>_none (func)) - (type $none_=>_anyref_f32_anyref_f32 (func (result anyref f32 anyref f32))) - (type $i32_=>_i32 (func (param i32) (result i32))) - (type $ref?|i32_->_i32|_=>_i32 (func (param (ref null $i32_=>_i32)) (result i32))) - (type $none_=>_eqref (func (result eqref))) + (type $mixed_results (func (result anyref f32 anyref f32))) + (type $i32-i32 (func (param i32) (result i32))) + (type $ref?|$i32-i32|_=>_i32 (func (param (ref null $i32-i32)) (result i32))) + (type $=>eqref (func (result eqref))) (type $none_=>_i32 (func (result i32))) - (type $none_=>_anyref (func (result anyref))) - (type $none_=>_i32_ref?|none_->_anyref_f32_anyref_f32|_f64 (func (result i32 (ref null $none_=>_anyref_f32_anyref_f32) f64))) - (type $f64_=>_ref?|none_->_eqref| (func (param f64) (result (ref null $none_=>_eqref)))) + (type $=>anyref (func (result anyref))) + (type $none_=>_i32_ref?|$mixed_results|_f64 (func (result i32 (ref null $mixed_results) f64))) + (type $f64_=>_ref_null<_->_eqref> (func (param f64) (result (ref null $=>eqref)))) (func $call-ref (call_ref (ref.func $call-ref) @@ -24,20 +24,20 @@ (ref.func $call-ref-more) ) ) - (func $call_from-param (param $f (ref null $i32_=>_i32)) (result i32) + (func $call_from-param (param $f (ref null $i32-i32)) (result i32) (call_ref (i32.const 42) (local.get $f) ) ) - (func $call_from-param-null (param $f (ref null $i32_=>_i32)) (result i32) + (func $call_from-param-null (param $f (ref null $i32-i32)) (result i32) (call_ref (i32.const 42) (local.get $f) ) ) (func $call_from-local-null (result i32) - (local $f (ref null $i32_=>_i32)) + (local $f (ref null $i32-i32)) (local.set $f (ref.func $call-ref-more) ) @@ -46,21 +46,21 @@ (local.get $f) ) ) - (func $ref-in-sig (param $0 f64) (result (ref null $none_=>_eqref)) - (ref.null $none_=>_eqref) + (func $ref-in-sig (param $0 f64) (result (ref null $=>eqref)) + (ref.null $=>eqref) ) (func $type-only-in-tuple-local (local $x i32) (local $1 f64) - (local $2 (ref null $none_=>_anyref)) + (local $2 (ref null $=>anyref)) (nop) ) (func $type-only-in-tuple-block - (local $0 (i32 (ref null $none_=>_anyref_f32_anyref_f32) f64)) - (local $1 (ref null $none_=>_anyref_f32_anyref_f32)) + (local $0 (i32 (ref null $mixed_results) f64)) + (local $1 (ref null $mixed_results)) (local $2 i32) (local.set $0 - (block $label$1 (result i32 (ref null $none_=>_anyref_f32_anyref_f32) f64) + (block $label$1 (result i32 (ref null $mixed_results) f64) (unreachable) ) ) @@ -72,7 +72,7 @@ ) ) (drop - (block (result (ref null $none_=>_anyref_f32_anyref_f32)) + (block (result (ref null $mixed_results)) (local.set $1 (tuple.extract 1 (local.get $0) |