| ; 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 | |
| } |