llvm-mirror/test/Verifier/2008-08-22-MemCpyAlignment.ll

; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
; CHECK: alignment argument of memory intrinsics must be a constant int
; PR2318

define void @x(i8* %a, i8* %src, i64 %len, i32 %align) nounwind  {
entry:
        tail call void @llvm.memcpy.p0i8.p0i8.i64( i8* %a, i8* %src, i64 %len, i32 %align, i1 false) nounwind 
        ret void
}

declare void @llvm.memcpy.p0i8.p0i8.i64( i8* %a, i8* %src, i64 %len, i32, i1)
Rewrite test/Verifier tests to use FileCheck instead of grep llvm-svn: 179036 2013-04-08 20:33:51 +02:00			`; RUN: not llvm-as %s -o /dev/null 2>&1 \| FileCheck %s`
			`; CHECK: alignment argument of memory intrinsics must be a constant int`
Verify that the alignment argument to llvm.memcpy is a constant integer, PR2318. llvm-svn: 55228 2008-08-23 07:31:10 +02:00			`; PR2318`

			`define void @x(i8* %a, i8* %src, i64 %len, i32 %align) nounwind {`
			`entry:`
These tests used intrinsics with the wrong prototype. They weren't caught because the old verifier just checked that something "was a pointer", but not that the pointee was correct. llvm-svn: 157544 2012-05-27 21:35:41 +02:00			`tail call void @llvm.memcpy.p0i8.p0i8.i64( i8* %a, i8* %src, i64 %len, i32 %align, i1 false) nounwind`
Verify that the alignment argument to llvm.memcpy is a constant integer, PR2318. llvm-svn: 55228 2008-08-23 07:31:10 +02:00			`ret void`
			`}`

These tests used intrinsics with the wrong prototype. They weren't caught because the old verifier just checked that something "was a pointer", but not that the pointee was correct. llvm-svn: 157544 2012-05-27 21:35:41 +02:00			`declare void @llvm.memcpy.p0i8.p0i8.i64( i8* %a, i8* %src, i64 %len, i32, i1)`
Verify that the alignment argument to llvm.memcpy is a constant integer, PR2318. llvm-svn: 55228 2008-08-23 07:31:10 +02:00