summaryrefslogtreecommitdiff
path: root/test/Verifier
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2008-08-23 05:31:10 +0000
committerChris Lattner <sabre@nondot.org>2008-08-23 05:31:10 +0000
commit259f88e3c9dc2fe0513897d8a4d3b05adf2eea46 (patch)
tree33d4ec06430a66dcff5a64d452d53a68cf2ff20e /test/Verifier
parentdbf7aa5b4bb2b8bbeaf7c53d03d2ab222feba7c3 (diff)
downloadllvm-259f88e3c9dc2fe0513897d8a4d3b05adf2eea46.tar.gz
llvm-259f88e3c9dc2fe0513897d8a4d3b05adf2eea46.tar.bz2
llvm-259f88e3c9dc2fe0513897d8a4d3b05adf2eea46.tar.xz
Verify that the alignment argument to llvm.memcpy is a constant
integer, PR2318. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55228 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier')
-rw-r--r--test/Verifier/2008-08-22-MemCpyAlignment.ll11
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Verifier/2008-08-22-MemCpyAlignment.ll b/test/Verifier/2008-08-22-MemCpyAlignment.ll
new file mode 100644
index 0000000000..6bad2d138d
--- /dev/null
+++ b/test/Verifier/2008-08-22-MemCpyAlignment.ll
@@ -0,0 +1,11 @@
+; RUN: not llvm-as -f %s -o /dev/null |& grep {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.i64( i8* %a, i8* %src, i64 %len, i32 %align) nounwind
+ ret void
+}
+
+declare void @llvm.memcpy.i64( i8* %a, i8* %src, i64 %len, i32)
+