6feb4a8ef4
Consider opaque types as non-first-class types, i.e. do not allow SSA values to have opaque type.
11 lines
333 B
LLVM
11 lines
333 B
LLVM
; 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 @store_extern(%externref %ref) {
|
|
store %extern undef, %externref %ref
|
|
ret void
|
|
}
|
|
|
|
; CHECK-ERROR: error: invalid type for undef constant
|