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