diff options
Diffstat (limited to 'test/lit/passes')
| -rw-r--r-- | test/lit/passes/signature-refining-isorecursive.wast | 6 | ||||
| -rw-r--r-- | test/lit/passes/type-refining-isorecursive.wast | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/test/lit/passes/signature-refining-isorecursive.wast b/test/lit/passes/signature-refining-isorecursive.wast index fbf02bf90..d1fef1c29 100644 --- a/test/lit/passes/signature-refining-isorecursive.wast +++ b/test/lit/passes/signature-refining-isorecursive.wast @@ -30,7 +30,7 @@ (module ;; The signatures should be refined to a pair of mutually self-referential types. - ;; CHECK: (rec + ;; CHECK: (rec ;; CHECK-NEXT: (type $0 (func_subtype (param i32 (ref $0)) (result (ref $1)) func)) (type $0 (func (param i32 funcref) (result funcref))) ;; CHECK: (type $1 (func_subtype (param f32 (ref $1)) (result (ref $0)) func)) @@ -83,7 +83,7 @@ ;; even though they are refined to the same structure. (rec - ;; CHECK: (rec + ;; CHECK: (rec ;; CHECK-NEXT: (type $0 (func_subtype (param (ref $0)) func)) (type $0 (func (param funcref))) ;; CHECK: (type $1 (func_subtype (param (ref $0)) func)) @@ -119,7 +119,7 @@ ;; The signatures should be refined to a pair of mutually recursive types and ;; another type that refers to them. - ;; CHECK: (rec + ;; CHECK: (rec ;; CHECK-NEXT: (type $1 (func_subtype (param f32 (ref $1)) (result (ref $0)) func)) ;; CHECK: (type $0 (func_subtype (param i32 (ref $0)) (result (ref $1)) func)) diff --git a/test/lit/passes/type-refining-isorecursive.wast b/test/lit/passes/type-refining-isorecursive.wast index ae68a6dfb..45d85a094 100644 --- a/test/lit/passes/type-refining-isorecursive.wast +++ b/test/lit/passes/type-refining-isorecursive.wast @@ -4,7 +4,7 @@ (module ;; The types should be refined to a set of three mutually recursive types. - ;; CHECK: (rec + ;; CHECK: (rec ;; CHECK-NEXT: (type $0 (struct_subtype (field anyref) (field (ref $1)) data)) (type $0 (struct_subtype (ref null any) anyref data)) ;; CHECK: (type $1 (struct_subtype (field eqref) (field (ref $2)) data)) @@ -61,7 +61,7 @@ ;; referenced by $all, but now we need to worry about ordering supertypes ;; correctly. - ;; CHECK: (rec + ;; CHECK: (rec ;; CHECK-NEXT: (type $all (struct_subtype (field i32) (field (ref $0)) (field (ref $1)) (field (ref $2)) data)) (type $all (struct_subtype i32 anyref anyref anyref data)) |