xref: /llvm-project/llvm/test/Verifier/memcpy.ll (revision c820f2a43eaba02db97c4ff60c58a58e6bdd391d) 
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, ptr %Q) {
6  call void @llvm.memcpy.p0.p0.i32(ptr align 3 %P, ptr %Q, i32 4, i1 false)
7  ret void
8}
9declare void @llvm.memcpy.p0.p0.i32(ptr nocapture, ptr nocapture, i32, i1) nounwind
10