diff options
Diffstat (limited to 'test/typed-function-references.wast.from-wast')
| -rw-r--r-- | test/typed-function-references.wast.from-wast | 39 |
1 files changed, 38 insertions, 1 deletions
diff --git a/test/typed-function-references.wast.from-wast b/test/typed-function-references.wast.from-wast index cb9dd5671..a695e826d 100644 --- a/test/typed-function-references.wast.from-wast +++ b/test/typed-function-references.wast.from-wast @@ -1,4 +1,5 @@ (module + (type $mixed_results (func (result anyref f32 anyref f32))) (type $none_=>_none (func)) (type $i32-i32 (func (param i32) (result i32))) (type $=>eqref (func (result eqref))) @@ -8,7 +9,7 @@ (type $f64_=>_ref_null<_->_eqref> (func (param f64) (result (ref null $=>eqref)))) (type $=>anyref (func (result anyref))) (type $none_=>_i32_ref?|$mixed_results|_f64 (func (result i32 (ref null $mixed_results) f64))) - (type $mixed_results (func (result anyref f32 anyref f32))) + (type $ref?|$mixed_results|_=>_none (func (param (ref null $mixed_results)))) (elem declare func $call-ref $call-ref-more) (func $call-ref (call_ref @@ -62,4 +63,40 @@ ) ) ) + (func $ref-types-first + (local $r1 (ref null $mixed_results)) + (local $r2 (ref null $mixed_results)) + (local $i1 i32) + (local $r3 anyref) + (local $i2 i64) + (local $r4 anyref) + (local $i3 i64) + (local $r5 anyref) + (local $r6 funcref) + (nop) + ) + (func $mvp-types-first + (local $i1 i32) + (local $r1 (ref null $mixed_results)) + (local $r2 (ref null $mixed_results)) + (local $r3 anyref) + (local $i2 i64) + (local $r4 anyref) + (local $i3 i64) + (local $r5 anyref) + (local $r6 funcref) + (nop) + ) + (func $mvp-types-first-param (param $r0 (ref null $mixed_results)) + (local $i1 i32) + (local $r1 (ref null $mixed_results)) + (local $r2 (ref null $mixed_results)) + (local $r3 anyref) + (local $i2 i64) + (local $r4 anyref) + (local $i3 i64) + (local $r5 anyref) + (local $r6 funcref) + (nop) + ) ) |