blob: 4d349a3cb63b60de318ab189794fcb4730d5a0b6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
;; TODO: Autogenerate these checks! The current script cannot handle `rec`.
;; RUN: wasm-opt %s -all --hybrid -S -o - | filecheck %s
;; RUN: wasm-opt %s -all --hybrid --roundtrip -S -o - | filecheck %s
;; Check that unused types are still included in the output when they are part
;; of a recursion group with used types.
(module
;; CHECK: (rec
;; CHECK-NEXT: (type $used (struct_subtype data))
;; CHECK-NEXT: (type $unused (struct_subtype data))
;; CHECK-NEXT: )
(rec
(type $used (struct_subtype data))
(type $unused (struct_subtype data))
)
(global $g (ref null $used) (ref.null $used))
)
|
