blob: adb40b14171a7016aba86ca5b3c63d18ed091004 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
;; TODO: Autogenerate these checks! The current script cannot handle `rec`.
;; RUN: wasm-opt %s -all --hybrid -S -o - | filecheck %s
;; Check that everything works correctly when a recursion group has only a
;; single member. The rec group is implicit, so does not need to be printed.
(module
;; CHECK-NOT: rec
;; CHECK: (type $singleton (struct_subtype data))
(rec
(type $singleton (struct_subtype data))
)
;; Use the type so it appears in the output.
(global $g (ref null $singleton) (ref.null $singleton))
)
|
