1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s 2 3; CHECK: alignment is not a power of two 4 5define void @foo(ptr %P, i32 %value) { 6 call void @llvm.experimental.memset.pattern.p0.i32.i32(ptr align 3 %P, i32 %value, i32 4, i1 false) 7 ret void 8} 9declare void @llvm.experimental.memset.pattern.p0.i32.i32(ptr nocapture, i32, i32, i1) nounwind 10