| ; RUN: not llc --mtriple=wasm32-unknown-unknown -asm-verbose=false -mattr=+reference-types < %s 2>&1 | FileCheck %s --check-prefix=CHECK-ERROR | |
| %externref = type ptr addrspace(10) | |
| define void @load_extern(%externref %ref) { | |
| %e = load %extern, %externref %ref | |
| ret void | |
| } | |
| ; CHECK-ERROR: error: load operand must be a pointer to a first class type |