1 files changed, 41 insertions, 41 deletions
diff --git a/test/lit/fuzz-types.test b/test/lit/fuzz-types.test
index b10df152b..c1748e646 100644
--- a/test/lit/fuzz-types.test
+++ b/test/lit/fuzz-types.test
@@ -1,66 +1,66 @@
 ;; RUN: wasm-fuzz-types -v --seed=1 | filecheck %s
 
-;; CHECK:      (type $0 (struct))
-;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $1 (struct))
-;; CHECK-NEXT:  (type $2 (array i16))
-;; CHECK-NEXT:  (type $3 (func))
-;; CHECK-NEXT:  (type $4 (func (param (ref $5) i32 i64 f64 f64 (ref eq) v128) (result i64)))
-;; CHECK-NEXT:  (type $5 (array (mut i32)))
+;; CHECK:      (rec
+;; CHECK-NEXT:  (type $0 (struct (field (mut (ref $1)) f64 v128 (mut (ref null $1)) (mut (ref null $0)) (ref $1))))
+;; CHECK-NEXT:  (type $1 (struct (field (mut v128) (mut (ref null $1)) (mut i8) (mut i16) (mut i16))))
 ;; CHECK-NEXT: )
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $6 (array (mut funcref)))
-;; CHECK-NEXT:  (type $7 (func (param f64) (result i64)))
+;; CHECK-NEXT:  (type $2 (array (mut i16)))
+;; CHECK-NEXT:  (type $3 (func))
 ;; CHECK-NEXT: )
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $8 (struct_subtype (field f64 (ref $2) f64 (mut (ref null $9))) $1))
-;; CHECK-NEXT:  (type $9 (func_subtype (param (ref array) i32 i64 f64 f64 anyref v128) (result i64) $4))
+;; CHECK-NEXT:  (type $4 (func (param f32) (result f64)))
+;; CHECK-NEXT:  (type $5 (array v128))
+;; CHECK-NEXT:  (type $6 (array (mut (ref null $3))))
+;; CHECK-NEXT:  (type $7 (func (param v128) (result f32)))
+;; CHECK-NEXT:  (type $8 (struct_subtype (field (mut v128) (mut (ref null $1)) (mut i8) (mut i16) (mut i16) (mut i64)) $1))
 ;; CHECK-NEXT: )
+;; CHECK-NEXT: (type $9 (func_subtype (param v128) (result f32) $7))
+;; CHECK-NEXT: (type $10 (struct_subtype (field (mut (ref $1)) f64 v128 (mut (ref null $1)) (mut (ref null $0)) (ref $1)) $0))
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $10 (func_subtype (param (ref eq) i32 i64 f64 f64 anyref v128) (result i64) $9))
-;; CHECK-NEXT:  (type $11 (array_subtype (mut funcref) $6))
-;; CHECK-NEXT:  (type $12 (array nullref))
-;; CHECK-NEXT:  (type $13 none)
-;; CHECK-NEXT:  (type $14 (array (ref $6)))
-;; CHECK-NEXT:  (type $15 (array i32))
+;; CHECK-NEXT:  (type $11 (struct))
+;; CHECK-NEXT:  (type $12 (struct (field (mut i32) (mut i32) v128)))
 ;; CHECK-NEXT: )
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $16 (array_subtype (ref none) $12))
-;; CHECK-NEXT:  (type $17 (func (param (ref null $9)) (result f32 structref)))
-;; CHECK-NEXT:  (type $18 none)
+;; CHECK-NEXT:  (type $13 (func (param (ref null $4)) (result f32)))
+;; CHECK-NEXT:  (type $14 (array_subtype (mut i16) $2))
+;; CHECK-NEXT:  (type $15 (struct (field (mut v128) (ref extern) (mut (ref $15)))))
+;; CHECK-NEXT:  (type $16 (struct_subtype (field (mut v128) (ref extern) (mut (ref $15))) $15))
+;; CHECK-NEXT:  (type $17 (struct_subtype (field (mut (ref $1)) f64 v128 (mut (ref null $1)) (mut (ref null $0)) (ref $1)) $0))
+;; CHECK-NEXT:  (type $18 (func_subtype (param f32) (result f64) $4))
 ;; CHECK-NEXT: )
-;; CHECK-NEXT: (type $19 (func_subtype (param (ref any) i32 i64 f64 f64 anyref v128) (result i64) $9))
+;; CHECK-NEXT: (type $19 (func (result v128)))
 ;; CHECK-NEXT:
 ;; CHECK-NEXT: Inhabitable types:
 ;; CHECK-NEXT:
 ;; CHECK-NEXT: Built 20 types:
-;; CHECK-NEXT: (type $0 (struct))
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $1 (struct))
-;; CHECK-NEXT:  (type $2 (array i16))
-;; CHECK-NEXT:  (type $3 (func))
-;; CHECK-NEXT:  (type $4 (func (param (ref $5) i32 i64 f64 f64 (ref eq) v128) (result i64)))
-;; CHECK-NEXT:  (type $5 (array (mut i32)))
+;; CHECK-NEXT:  (type $0 (struct (field (mut (ref $1)) f64 v128 (mut (ref null $1)) (mut (ref null $0)) (ref $1))))
+;; CHECK-NEXT:  (type $1 (struct (field (mut v128) (mut (ref null $1)) (mut i8) (mut i16) (mut i16))))
 ;; CHECK-NEXT: )
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $6 (array (mut funcref)))
-;; CHECK-NEXT:  (type $7 (func (param f64) (result i64)))
+;; CHECK-NEXT:  (type $2 (array (mut i16)))
+;; CHECK-NEXT:  (type $3 (func))
 ;; CHECK-NEXT: )
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $8 (struct_subtype (field f64 (ref $2) f64 (mut (ref null $9))) $1))
-;; CHECK-NEXT:  (type $9 (func_subtype (param (ref array) i32 i64 f64 f64 anyref v128) (result i64) $4))
+;; CHECK-NEXT:  (type $4 (func (param f32) (result f64)))
+;; CHECK-NEXT:  (type $5 (array v128))
+;; CHECK-NEXT:  (type $6 (array (mut (ref null $3))))
+;; CHECK-NEXT:  (type $7 (func (param v128) (result f32)))
+;; CHECK-NEXT:  (type $8 (struct_subtype (field (mut v128) (mut (ref null $1)) (mut i8) (mut i16) (mut i16) (mut i64)) $1))
 ;; CHECK-NEXT: )
+;; CHECK-NEXT: (type $9 (func_subtype (param v128) (result f32) $7))
+;; CHECK-NEXT: (type $10 (struct_subtype (field (mut (ref $1)) f64 v128 (mut (ref null $1)) (mut (ref null $0)) (ref $1)) $0))
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $10 (func_subtype (param (ref eq) i32 i64 f64 f64 anyref v128) (result i64) $9))
-;; CHECK-NEXT:  (type $11 (array_subtype (mut funcref) $6))
-;; CHECK-NEXT:  (type $12 (array nullref))
-;; CHECK-NEXT:  (type $13 none)
-;; CHECK-NEXT:  (type $14 (array (ref $6)))
-;; CHECK-NEXT:  (type $15 (array i32))
+;; CHECK-NEXT:  (type $11 (struct))
+;; CHECK-NEXT:  (type $12 (struct (field (mut i32) (mut i32) v128)))
 ;; CHECK-NEXT: )
 ;; CHECK-NEXT: (rec
-;; CHECK-NEXT:  (type $16 (array_subtype nullref $12))
-;; CHECK-NEXT:  (type $17 (func (param (ref null $9)) (result f32 structref)))
-;; CHECK-NEXT:  (type $18 none)
+;; CHECK-NEXT:  (type $13 (func (param (ref null $4)) (result f32)))
+;; CHECK-NEXT:  (type $14 (array_subtype (mut i16) $2))
+;; CHECK-NEXT:  (type $15 (struct (field (mut v128) externref (mut (ref null $15)))))
+;; CHECK-NEXT:  (type $16 (struct_subtype (field (mut v128) externref (mut (ref null $15))) $15))
+;; CHECK-NEXT:  (type $17 (struct_subtype (field (mut (ref $1)) f64 v128 (mut (ref null $1)) (mut (ref null $0)) (ref $1)) $0))
+;; CHECK-NEXT:  (type $18 (func_subtype (param f32) (result f64) $4))
 ;; CHECK-NEXT: )
-;; CHECK-NEXT: (type $19 (func_subtype (param (ref any) i32 i64 f64 f64 anyref v128) (result i64) $9))
+;; CHECK-NEXT: (type $19 (func (result v128)))