diff options
Diffstat (limited to 'test/lit/passes/signature-refining-isorecursive.wast')
| -rw-r--r-- | test/lit/passes/signature-refining-isorecursive.wast | 6 |
1 files changed, 3 insertions, 3 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)) |