1; RUN: llc < %s --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types 2>&1 | FileCheck %s
2
3%extern = type opaque
4%externref = type %extern addrspace(10)*
5
6define %externref @int_to_externref(i32 %i) {
7  %ref = inttoptr i32 %i to %externref
8  ret %externref %ref
9}
10
11
12; CHECK-LABEL: int_to_externref:
13; CHECK-NEXT: .functype       int_to_externref (i32) -> (externref)
14; CHECK-NEXT: .local externref
15; CHECK-NEXT: unreachable
16; CHECK-NEXT: local.get 1
17; CHECK-NEXT: end_function
18