Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not opt -verify < %s 2>&1 | FileCheck %s
      2 
      3 ; CHECK: alignment argument of memory intrinsics must be a power of 2 
      4 
      5 define void @foo(i8* %P, i8* %Q) {
      6   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %P, i8* %Q, i32 4, i32 3, i1 false)
      7   ret void
      8 }
      9 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind
     10