| ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. | |
| ;; Regression test for a bug where types on globals were not collected, so if | |
| ;; they weren't used anywhere else they were not emitted in the output. | |
| ;; RUN: wasm-opt -all %s -S -o - | filecheck %s | |
| (module $parse | |
| ;; CHECK: (type $t (struct)) | |
| (type $t (struct)) | |
| ;; CHECK: (global $g (ref null $t) (ref.null none)) | |
| (global $g (ref null $t) (ref.null $t)) | |
| ) |