diff options
Diffstat (limited to 'test/lit/basic')
| -rw-r--r-- | test/lit/basic/shared-types-no-gc.wast (renamed from test/lit/basic/shared-null-no-gc.wast) | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/test/lit/basic/shared-null-no-gc.wast b/test/lit/basic/shared-types-no-gc.wast index b920f80f8..94c664f58 100644 --- a/test/lit/basic/shared-null-no-gc.wast +++ b/test/lit/basic/shared-types-no-gc.wast @@ -1,19 +1,26 @@ ;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. -;; Test that we can write a binary without crashing when using a shared bottom -;; type without GC enabled. +;; Test that we can write a binary without crashing when using shared reference +;; types without GC enabled. ;; RUN: wasm-opt %s --enable-reference-types --enable-shared-everything --roundtrip -S -o - | filecheck %s (module - ;; CHECK: (func $test + ;; CHECK: (func $null ;; CHECK-NEXT: (drop ;; CHECK-NEXT: (ref.null (shared nofunc)) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - (func $test + (func $null (drop (ref.null (shared func)) ) ) + + ;; CHECK: (func $signature (result (ref null (shared func))) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + (func $signature (result (ref null (shared func))) + (unreachable) + ) ) |