1; RUN: llc --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types < %s | FileCheck %s
2
3%extern = type opaque
4%externref = type %extern addrspace(10)* ;; addrspace 10 is nonintegral
5
6@externref_global = local_unnamed_addr addrspace(1) global %externref undef
7
8define void @set_externref_global(%externref %g) {
9  ;; this generates a global.set of @externref.global
10  store %externref %g, %externref addrspace(1)* @externref_global
11  ret void
12}
13
14; CHECK-LABEL: set_externref_global:
15; CHECK-NEXT: functype       set_externref_global (externref) -> ()
16; CHECK-NEXT: local.get      0
17; CHECK-NEXT: global.set     externref_global
18; CHECK-NEXT: end_function
19
20; CHECK: .globl externref_global
21