6feb4a8ef4
Consider opaque types as non-first-class types, i.e. do not allow SSA values to have opaque type.
9 lines
282 B
LLVM
9 lines
282 B
LLVM
; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
|
|
|
|
; CHECK: unsized types cannot be used as memset patterns
|
|
|
|
define void @bar(ptr %P, target("foo") %value) {
|
|
call void @llvm.experimental.memset.pattern.p0.s_s.i32.0(ptr %P, target("foo") %value, i32 4, i1 false)
|
|
ret void
|
|
}
|