test/Verifier/memcpy.ll

   1 ; RUN: not opt -verify < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK: alignment is not a power of two
   4
   5 define void @foo(i8* %P, i8* %Q) {
   6   call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 3 %P, i8* align 7 %Q, i32 4, i1 false)
   7   ret void
   8 }
   9 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind