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 i32 @externref_to_int(%externref %ref) {
7  %i = ptrtoint %externref %ref to i32
8  ret i32 %i
9}
10
11; CHECK-LABEL: externref_to_int:
12; CHECK-NEXT: .functype       externref_to_int (externref) -> (i32)
13; CHECK-NEXT: .local i32
14; CHECK-NEXT: unreachable
15; CHECK-NEXT: local.get 1
16; CHECK-NEXT: end_function
17