; RUN: llc < %s --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types | FileCheck %s
; Verify that types are output for external symbols, even in the absence of any defined functions

;      CHECK: .type foo,@object
; CHECK-NEXT: .section .data.foo,"",@
; CHECK-NEXT: .globl foo
@foo = local_unnamed_addr global i32 (i32)* @bar, align 4

; CHECK-LABEL: foo:
;  CHECK-NEXT: .int32 bar
;  CHECK-NEXT: .size foo, 4

; CHECK: .functype bar (i32) -> (i32)
declare i32 @bar(i32 noundef)