1 files changed, 65 insertions, 9 deletions
diff --git a/test/heap-types.wast.fromBinary b/test/heap-types.wast.fromBinary
index 315d30d38..7917d95e0 100644
--- a/test/heap-types.wast.fromBinary
+++ b/test/heap-types.wast.fromBinary
@@ -1,15 +1,18 @@
 (module
  (type ${i32_f32_f64} (struct (field i32) (field f32) (field f64)))
- (type ${} (struct ))
  (type $[mut:f64] (array (mut f64)))
+ (type ${} (struct ))
  (type ${i32} (struct (field i32)))
  (type ${i32_i64} (struct (field i32) (field i64)))
  (type ${mut:f32} (struct (field (mut f32))))
- (type ${i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} (struct (field i8) (field (mut i16)) (field (ref null ${i32_f32_f64})) (field (mut (ref null ${i32_f32_f64})))))
+ (type $[mut:i32] (array (mut i32)))
+ (type $[mut:i8] (array (mut i8)))
+ (type ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} (struct (field i8) (field (mut i16)) (field (ref null ${i32_f32_f64})) (field (mut (ref null ${i32_f32_f64})))))
+ (type $[ref?|[mut:f64]|] (array (ref null $[mut:f64])))
  (type $rtt_1_${}_=>_none (func (param (rtt 1 ${}))))
  (type $rtt_${}_=>_none (func (param (rtt ${}))))
- (type $[ref?|[mut:f64]|] (array (ref null $[mut:f64])))
- (type $ref?|{i32_f32_f64}|_=>_ref?|{i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}| (func (param (ref null ${i32_f32_f64})) (result (ref null ${i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}))))
+ (type $ref?|{i32_f32_f64}|_=>_ref?|{i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}| (func (param (ref null ${i32_f32_f64})) (result (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}))))
+ (type $ref?|[mut:f64]|_=>_ref?|[ref?|[mut:f64]|]| (func (param (ref null $[mut:f64])) (result (ref null $[ref?|[mut:f64]|]))))
  (global $rttparent (rtt 0 ${}) (rtt.canon ${}))
  (global $rttchild (rtt 1 ${i32}) (rtt.sub ${i32}
   (global.get $rttparent)
@@ -17,10 +20,9 @@
  (global $rttgrandchild (rtt 2 ${i32_i64}) (rtt.sub ${i32_i64}
   (global.get $rttchild)
  ))
- (export "foo" (func $0))
- (func $0 (param $x (ref null ${i32_f32_f64})) (result (ref null ${i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}))
+ (func $structs (param $x (ref null ${i32_f32_f64})) (result (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}))
   (local $tA (ref null ${i32_f32_f64}))
-  (local $tB (ref null ${i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}))
+  (local $tB (ref null ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|}))
   (local $tc (ref null ${mut:f32}))
   (local $tv (ref null $[ref?|[mut:f64]|]))
   (local $tm (ref null $[mut:f64]))
@@ -48,12 +50,12 @@
    )
   )
   (drop
-   (struct.get_u ${i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} 0
+   (struct.get_u ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} 0
     (local.get $tB)
    )
   )
   (drop
-   (struct.get_s ${i32_mut:i32_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} 0
+   (struct.get_s ${i8_mut:i16_ref?|{i32_f32_f64}|_mut:ref?|{i32_f32_f64}|} 0
     (local.get $tB)
    )
   )
@@ -103,6 +105,60 @@
   )
   (unreachable)
  )
+ (func $arrays (param $x (ref null $[mut:f64])) (result (ref null $[ref?|[mut:f64]|]))
+  (local $tv (ref null $[ref?|[mut:f64]|]))
+  (local $tm (ref null $[mut:i32]))
+  (local $tb (ref null $[mut:i8]))
+  (local $tw (ref null $[mut:f64]))
+  (drop
+   (array.new_with_rtt $[mut:f64]
+    (rtt.canon $[mut:f64])
+    (i32.const 3)
+    (f64.const 3.14159)
+   )
+  )
+  (drop
+   (array.new_default_with_rtt $[ref?|[mut:f64]|]
+    (rtt.canon $[ref?|[mut:f64]|])
+    (i32.const 10)
+   )
+  )
+  (drop
+   (array.get $[mut:f64]
+    (local.get $x)
+    (i32.const 2)
+   )
+  )
+  (array.set $[mut:f64]
+   (local.get $x)
+   (i32.const 2)
+   (f64.const 2.18281828)
+  )
+  (drop
+   (array.len $[mut:f64]
+    (local.get $x)
+   )
+  )
+  (drop
+   (array.get $[mut:i32]
+    (local.get $tm)
+    (i32.const 1)
+   )
+  )
+  (drop
+   (array.get_u $[mut:i8]
+    (local.get $tb)
+    (i32.const 2)
+   )
+  )
+  (drop
+   (array.get_s $[mut:i8]
+    (local.get $tb)
+    (i32.const 3)
+   )
+  )
+  (unreachable)
+ )
  (func $rtt-param-with-depth (param $rtt (rtt 1 ${}))
   (nop)
  )