diff options
Diffstat (limited to 'test/lit/passes/simplify-locals-gc.wast')
| -rw-r--r-- | test/lit/passes/simplify-locals-gc.wast | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/lit/passes/simplify-locals-gc.wast b/test/lit/passes/simplify-locals-gc.wast index a930cae08..821f0a862 100644 --- a/test/lit/passes/simplify-locals-gc.wast +++ b/test/lit/passes/simplify-locals-gc.wast @@ -13,15 +13,15 @@ ;; NOMNL: (type $struct-immutable (struct_subtype (field i32) data)) (type $struct-immutable (struct (field i32))) - ;; CHECK: (type $B (struct (field dataref))) + ;; CHECK: (type $B (struct (field (ref data)))) - ;; CHECK: (type $A (struct (field (ref null data)))) - ;; NOMNL: (type $A (struct_subtype (field (ref null data)) data)) + ;; CHECK: (type $A (struct (field dataref))) + ;; NOMNL: (type $A (struct_subtype (field dataref) data)) (type $A (struct_subtype (field (ref null data)) data)) ;; $B is a subtype of $A, and its field has a more refined type (it is non- ;; nullable). - ;; NOMNL: (type $B (struct_subtype (field dataref) $A)) + ;; NOMNL: (type $B (struct_subtype (field (ref data)) $A)) (type $B (struct_subtype (field (ref data)) $A)) ;; Writes to heap objects cannot be reordered with reads. |