1 files changed, 40 insertions, 3 deletions
diff --git a/test/typed-function-references.wast.fromBinary b/test/typed-function-references.wast.fromBinary
index e3839f33d..fefe37405 100644
--- a/test/typed-function-references.wast.fromBinary
+++ b/test/typed-function-references.wast.fromBinary
@@ -1,7 +1,7 @@
 (module
+ (type $mixed_results (func (result anyref f32 anyref f32)))
  (type $none_=>_none (func))
  (type $i32-i32 (func (param i32) (result i32)))
- (type $mixed_results (func (result anyref f32 anyref f32)))
  (type $=>eqref (func (result eqref)))
  (type $ref|$i32-i32|_=>_i32 (func (param (ref $i32-i32)) (result i32)))
  (type $ref?|$i32-i32|_=>_i32 (func (param (ref null $i32-i32)) (result i32)))
@@ -9,6 +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 $ref?|$mixed_results|_=>_none (func (param (ref null $mixed_results))))
  (elem declare func $call-ref $call-ref-more)
  (func $call-ref
   (call_ref
@@ -53,8 +54,8 @@
  )
  (func $type-only-in-tuple-local
   (local $x i32)
-  (local $1 (ref null $=>anyref))
-  (local $2 f64)
+  (local $1 f64)
+  (local $2 (ref null $=>anyref))
   (nop)
  )
  (func $type-only-in-tuple-block
@@ -92,5 +93,41 @@
    )
   )
  )
+ (func $ref-types-first
+  (local $r1 (ref null $mixed_results))
+  (local $r2 (ref null $mixed_results))
+  (local $r3 anyref)
+  (local $r4 anyref)
+  (local $r5 anyref)
+  (local $r6 funcref)
+  (local $i1 i32)
+  (local $i2 i64)
+  (local $i3 i64)
+  (nop)
+ )
+ (func $mvp-types-first
+  (local $i1 i32)
+  (local $i2 i64)
+  (local $i3 i64)
+  (local $r1 (ref null $mixed_results))
+  (local $r2 (ref null $mixed_results))
+  (local $r3 anyref)
+  (local $r4 anyref)
+  (local $r5 anyref)
+  (local $r6 funcref)
+  (nop)
+ )
+ (func $mvp-types-first-param (param $r0 (ref null $mixed_results))
+  (local $i1 i32)
+  (local $i2 i64)
+  (local $i3 i64)
+  (local $r1 (ref null $mixed_results))
+  (local $r2 (ref null $mixed_results))
+  (local $r3 anyref)
+  (local $r4 anyref)
+  (local $r5 anyref)
+  (local $r6 funcref)
+  (nop)
+ )
 )