diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/fuzz-types/isorecursive.test | 50 | ||||
| -rw-r--r-- | test/lit/fuzz-types/nominal.test | 38 |
2 files changed, 47 insertions, 41 deletions
diff --git a/test/lit/fuzz-types/isorecursive.test b/test/lit/fuzz-types/isorecursive.test index 4a1725c07..f670104f5 100644 --- a/test/lit/fuzz-types/isorecursive.test +++ b/test/lit/fuzz-types/isorecursive.test @@ -1,26 +1,32 @@ -;; RUN: wasm-fuzz-types --hybrid -v --seed=0 | filecheck %s +;; RUN: wasm-fuzz-types --hybrid -v --seed=1 | filecheck %s -;; CHECK: (rec -;; CHECK-NEXT: (type $0 (array (mut i64))) -;; CHECK-NEXT: (type $1 (func (param i32 (ref eq) (ref null $3)) (result v128))) -;; CHECK-NEXT: (type $2 (array (mut v128))) -;; CHECK-NEXT: (type $3 (array_subtype (mut i64) $0)) -;; CHECK-NEXT: (type $4 (array i32)) -;; CHECK-NEXT: (type $5 none) -;; CHECK-NEXT: (type $6 extern) +;; 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-NEXT: ) ;; CHECK-NEXT: (rec -;; CHECK-NEXT: (type $7 (array_subtype (mut i64) $3)) -;; CHECK-NEXT: (type $8 (func (result v128))) -;; CHECK-NEXT: (type $9 (array_subtype (mut v128) $2)) -;; CHECK-NEXT: (type $10 none) -;; CHECK-NEXT: (type $11 none) -;; CHECK-NEXT: (type $12 (array_subtype (mut v128) $2)) -;; CHECK-NEXT: (type $13 (func (param f32 (ref none) (ref null $3)) (result eqref))) -;; CHECK-NEXT: (type $14 (array_subtype (mut i64) $7)) -;; CHECK-NEXT: (type $15 (func (param (ref null $17) v128 (ref i31)))) -;; CHECK-NEXT: (type $16 (array i32)) -;; CHECK-NEXT: (type $17 (func (param (ref i31)) (result v128))) -;; CHECK-NEXT: (type $18 (func (param f32))) -;; CHECK-NEXT: (type $19 (array_subtype (mut i64) $3)) +;; CHECK-NEXT: (type $6 (array (mut funcref))) +;; CHECK-NEXT: (type $7 (func (param f64) (result i64))) ;; CHECK-NEXT: ) +;; CHECK-NEXT: (rec +;; CHECK-NEXT: (type $8 (struct_subtype $1)) +;; CHECK-NEXT: (type $9 (func_subtype (param (ref $5) i32 i64 f64 f64 (ref eq) v128) (result i64) $4)) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (rec +;; CHECK-NEXT: (type $10 (func_subtype (param (ref $5) i32 i64 f64 f64 (ref eq) v128) (result i64) $9)) +;; CHECK-NEXT: (type $11 (array_subtype (mut funcref) $6)) +;; CHECK-NEXT: (type $12 (array f64)) +;; CHECK-NEXT: (type $13 none) +;; CHECK-NEXT: (type $14 (array arrayref)) +;; CHECK-NEXT: (type $15 (array (mut i8))) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (rec +;; CHECK-NEXT: (type $16 (array_subtype f64 $12)) +;; CHECK-NEXT: (type $17 (func (param (ref $5) (ref null $3) (ref null $0) (ref null $2) (ref $8) v128) (result v128))) +;; CHECK-NEXT: (type $18 none) +;; CHECK-NEXT: ) +;; CHECK-NEXT: (type $19 (func_subtype (param (ref $5) i32 i64 f64 f64 (ref eq) v128) (result i64) $9)) diff --git a/test/lit/fuzz-types/nominal.test b/test/lit/fuzz-types/nominal.test index 26802a4ba..c127105bb 100644 --- a/test/lit/fuzz-types/nominal.test +++ b/test/lit/fuzz-types/nominal.test @@ -1,22 +1,22 @@ ;; RUN: wasm-fuzz-types --nominal -v --seed=0 | filecheck %s -;; CHECK: (type $0 (array (mut (ref null $8)))) -;; CHECK-NEXT: (type $1 (func (param nullref) (result v128))) -;; CHECK-NEXT: (type $2 (struct (field (mut i64) (mut i8) (mut (ref $12)) (mut f32)))) -;; CHECK-NEXT: (type $3 (array_subtype (mut (ref null $8)) $0)) -;; CHECK-NEXT: (type $4 (array (mut i64))) +;; CHECK: (type $0 (struct (field (mut i16) i31ref f32 f32 f64))) +;; CHECK-NEXT: (type $1 (func (param f64 v128))) +;; CHECK-NEXT: (type $2 (struct (field (mut (ref null $19)) f64 arrayref))) +;; CHECK-NEXT: (type $3 (struct_subtype (field (mut i16) (ref i31) f32 f32 f64) $0)) +;; CHECK-NEXT: (type $4 (struct (field (mut (ref null $11)) (mut i8)))) ;; CHECK-NEXT: (type $5 none) -;; CHECK-NEXT: (type $6 extern) -;; CHECK-NEXT: (type $7 (array_subtype (mut (ref null $8)) $3)) -;; CHECK-NEXT: (type $8 (func (result (ref $9)))) -;; CHECK-NEXT: (type $9 (struct_subtype (field (mut i64) (mut i8) (mut (ref $12)) (mut f32) i16) $2)) -;; CHECK-NEXT: (type $10 none) -;; CHECK-NEXT: (type $11 none) -;; CHECK-NEXT: (type $12 (struct_subtype (field (mut i64) (mut i8) (mut (ref $12)) (mut f32) (mut f32) (mut (ref $4))) $2)) -;; CHECK-NEXT: (type $13 (func (param dataref))) -;; CHECK-NEXT: (type $14 (array_subtype (mut (ref null $8)) $7)) -;; CHECK-NEXT: (type $15 (func (param externref))) -;; CHECK-NEXT: (type $16 (array v128)) -;; CHECK-NEXT: (type $17 (func (result (ref extern)))) -;; CHECK-NEXT: (type $18 (func (param v128 i64))) -;; CHECK-NEXT: (type $19 (array_subtype (mut (ref null $8)) $3)) +;; CHECK-NEXT: (type $6 (array (ref null $18))) +;; CHECK-NEXT: (type $7 (func_subtype (param f64 v128) $1)) +;; CHECK-NEXT: (type $8 (array (mut (ref null $19)))) +;; CHECK-NEXT: (type $9 (array (mut f64))) +;; CHECK-NEXT: (type $10 (struct_subtype (field (mut i16) i31ref f32 f32 f64) $0)) +;; CHECK-NEXT: (type $11 (func (param i32 f64) (result (ref null $8)))) +;; CHECK-NEXT: (type $12 (func_subtype (param f64 v128) $1)) +;; CHECK-NEXT: (type $13 (func_subtype (param f64 v128) $12)) +;; CHECK-NEXT: (type $14 (func_subtype (param i32 f64) (result (ref null $8)) $11)) +;; CHECK-NEXT: (type $15 (func_subtype (param i32 f64) (result (ref null $8)) $14)) +;; CHECK-NEXT: (type $16 (func (result v128))) +;; CHECK-NEXT: (type $17 (array f32)) +;; CHECK-NEXT: (type $18 (array i64)) +;; CHECK-NEXT: (type $19 (struct_subtype (field (mut i16) (ref none) f32 f32 f64 (ref $2)) $0)) |