diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/gufa-refs.wast | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/test/lit/passes/gufa-refs.wast b/test/lit/passes/gufa-refs.wast index a1ff92522..48f6edc34 100644 --- a/test/lit/passes/gufa-refs.wast +++ b/test/lit/passes/gufa-refs.wast @@ -2552,14 +2552,19 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.cast_static $struct - ;; CHECK-NEXT: (select (result i31ref) - ;; CHECK-NEXT: (ref.null none) - ;; CHECK-NEXT: (i31.new - ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: (block (result nullref) + ;; CHECK-NEXT: (drop + ;; CHECK-NEXT: (ref.cast_static $struct + ;; CHECK-NEXT: (select (result i31ref) + ;; CHECK-NEXT: (ref.null none) + ;; CHECK-NEXT: (i31.new + ;; CHECK-NEXT: (i32.const 0) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (call $import) + ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (call $import) ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (ref.null none) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop @@ -2948,10 +2953,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.eq - ;; CHECK-NEXT: (local.get $nn-struct) - ;; CHECK-NEXT: (local.get $nn-other) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (ref.eq @@ -3022,9 +3024,7 @@ (local.get $nn-struct2) ) ) - ;; Non-null on both sides, and incompatible types, so we should be able to - ;; infer 0, but we need cone types for that. Until we have them, these are - ;; Many and so we infer nothing. TODO + ;; Non-null on both sides, and incompatible types. We can infer 0 here. (drop (ref.eq (local.get $nn-struct) |