diff options
Diffstat (limited to 'test/typed-function-references.wast.from-wast')
| -rw-r--r-- | test/typed-function-references.wast.from-wast | 30 |
1 files changed, 27 insertions, 3 deletions
diff --git a/test/typed-function-references.wast.from-wast b/test/typed-function-references.wast.from-wast index c098f351d..c528d7125 100644 --- a/test/typed-function-references.wast.from-wast +++ b/test/typed-function-references.wast.from-wast @@ -1,9 +1,16 @@ (module (type $none_=>_none (func)) (type $i32_=>_i32 (func (param i32) (result i32))) + (type $none_=>_eqref (func (result eqref))) + (type $i32_i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32 i32))) (type $none_=>_i32 (func (result i32))) - (type $ref_null<i32_->_i32>_=>_i32 (func (param (ref null (func (param i32) (result i32)))) (result i32))) - (type $ref<i32_->_i32>_=>_i32 (func (param (ref (func (param i32) (result i32)))) (result i32))) + (type $none_=>_anyref (func (result anyref))) + (type $none_=>_anyref_f32_anyref_f32 (func (result anyref f32 anyref f32))) + (type $ref_null[i32_->_i32]_=>_i32 (func (param (ref null (func (param i32) (result i32)))) (result i32))) + (type $none_=>_i32_ref_null[_->_anyref_f32_anyref_f32]_f64 (func (result i32 (ref null (func (result anyref f32 anyref f32))) f64))) + (type $none_=>_ref_null[i32_i32_i32_i32_i32_->_] (func (result (ref null (func (param i32 i32 i32 i32 i32)))))) + (type $f64_=>_ref_null[_->_eqref] (func (param f64) (result (ref null (func (result eqref)))))) + (type $none_=>_ref_null[_->_ref_null[i32_i32_i32_i32_i32_->_]] (func (result (ref null (func (result (ref null (func (param i32 i32 i32 i32 i32))))))))) (func $call-ref (call_ref (ref.func $call-ref) @@ -20,7 +27,7 @@ (ref.func $call-ref-more) ) ) - (func $call_from-param (param $f (ref (func (param i32) (result i32)))) (result i32) + (func $call_from-param (param $f (ref null (func (param i32) (result i32)))) (result i32) (call_ref (i32.const 42) (local.get $f) @@ -42,4 +49,21 @@ (local.get $f) ) ) + (func $ref-in-sig (param $0 f64) (result (ref null (func (result eqref)))) + (ref.null (func (result eqref))) + ) + (func $type-only-in-tuple-local + (local $x (i32 (ref null (func (result anyref))) f64)) + (nop) + ) + (func $type-only-in-tuple-block + (drop + (block $block (result i32 (ref null (func (result anyref f32 anyref f32))) f64) + (unreachable) + ) + ) + ) + (func $nested-type-only-there (result (ref null (func (result (ref null (func (param i32 i32 i32 i32 i32))))))) + (unreachable) + ) ) |