diff options
Diffstat (limited to 'test/lit/passes/optimize-instructions-gc-iit.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions-gc-iit.wast | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/lit/passes/optimize-instructions-gc-iit.wast b/test/lit/passes/optimize-instructions-gc-iit.wast index 23161f1be..4271d3de7 100644 --- a/test/lit/passes/optimize-instructions-gc-iit.wast +++ b/test/lit/passes/optimize-instructions-gc-iit.wast @@ -11,8 +11,8 @@ ;; CHECK: (type $parent (struct (field i32))) ;; TNH: (type $parent (struct (field i32))) (type $parent (struct (field i32))) - ;; CHECK: (type $child (struct_subtype (field i32) (field f64) $parent)) - ;; TNH: (type $child (struct_subtype (field i32) (field f64) $parent)) + ;; CHECK: (type $child (sub $parent (struct (field i32) (field f64)))) + ;; TNH: (type $child (sub $parent (struct (field i32) (field f64)))) (type $child (struct_subtype (field i32) (field f64) $parent)) ;; CHECK: (type $other (struct (field i64) (field f32))) ;; TNH: (type $other (struct (field i64) (field f32))) @@ -204,14 +204,14 @@ ;; TNH: (rec ;; TNH-NEXT: (type $A (struct )) (type $A (struct_subtype data)) - ;; CHECK: (type $B (struct_subtype (field (ref null $A)) $A)) - ;; TNH: (type $B (struct_subtype (field (ref null $A)) $A)) + ;; CHECK: (type $B (sub $A (struct (field (ref null $A))))) + ;; TNH: (type $B (sub $A (struct (field (ref null $A))))) (type $B (struct_subtype (field (ref null $A)) $A)) - ;; CHECK: (type $C (struct_subtype (field (ref null $D)) $B)) - ;; TNH: (type $C (struct_subtype (field (ref null $D)) $B)) + ;; CHECK: (type $C (sub $B (struct (field (ref null $D))))) + ;; TNH: (type $C (sub $B (struct (field (ref null $D))))) (type $C (struct_subtype (field (ref null $D)) $B)) - ;; CHECK: (type $D (struct_subtype $A)) - ;; TNH: (type $D (struct_subtype $A)) + ;; CHECK: (type $D (sub $A (struct ))) + ;; TNH: (type $D (sub $A (struct ))) (type $D (struct_subtype $A)) ) |