blob: 94c664f584777f226980e843102194f682a45999 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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 shared reference
;; types without GC enabled.
;; RUN: wasm-opt %s --enable-reference-types --enable-shared-everything --roundtrip -S -o - | filecheck %s
(module
;; CHECK: (func $null
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (ref.null (shared nofunc))
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(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)
)
)
|