1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s -all -S -o - | filecheck %s
;; RUN: wasm-opt %s -all --roundtrip -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
(rec
;; CHECK: (type $singleton (sub (struct)))
(type $singleton (sub (struct)))
)
;; Use the type so it appears in the output.
;; CHECK: (global $g (ref null $singleton) (ref.null none))
(global $g (ref null $singleton) (ref.null $singleton))
)
|