1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
;; RUN: wasm-fuzz-types --structural -v --seed=0 | filecheck %s
;; CHECK: (type $0 (struct (field (ref null $9) (ref $3))))
;; CHECK-NEXT: (type $1 (func (param (rtt 0 $8))))
;; CHECK-NEXT: (type $2 (struct (field (mut (rtt $1)) (ref $4))))
;; CHECK-NEXT: (type $3 (struct (field (mut (rtt $1)) (ref $4) i64 (mut (ref null $2)) (mut i64))))
;; CHECK-NEXT: (type $4 (struct (field (mut (rtt $1)) (ref $4) (mut (ref $3)))))
;; CHECK-NEXT: (type $5 identical to $3)
;; CHECK-NEXT: (type $6 identical to $3)
;; CHECK-NEXT: (type $7 (struct (field (ref null $9) (ref $3) eqref (mut (ref null $3)) (mut (rtt $0)) dataref)))
;; CHECK-NEXT: (type $8 (struct (field (ref $9) (ref $3) (rtt 2 $1) (mut (rtt $0)) (mut (rtt i31)) (rtt $8))))
;; CHECK-NEXT: (type $9 (struct (field (mut (rtt $1)) (ref $4) i64 (mut (ref null $2)) (mut i64) (rtt 2 $1))))
;; CHECK-NEXT: (type $10 identical to $0)
;; CHECK-NEXT: (type $11 identical to $2)
;; CHECK-NEXT: (type $12 identical to $0)
;; CHECK-NEXT: (type $13 identical to $3)
;; CHECK-NEXT: (type $14 identical to $0)
;; CHECK-NEXT: (type $15 identical to $1)
;; CHECK-NEXT: (type $16 (struct (field (mut (rtt $1)) (ref $4) v128)))
;; CHECK-NEXT: (type $17 identical to $0)
;; CHECK-NEXT: (type $18 identical to $0)
;; CHECK-NEXT: (type $19 identical to $1)
|
