From 259f88e3c9dc2fe0513897d8a4d3b05adf2eea46 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sat, 23 Aug 2008 05:31:10 +0000 Subject: [PATCH] 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 --- lib/VMCore/Verifier.cpp | 10 ++++++++++ test/Verifier/2008-08-22-MemCpyAlignment.ll | 11 +++++++++++ 2 files changed, 21 insertions(+) create mode 100644 test/Verifier/2008-08-22-MemCpyAlignment.ll diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index bede4051936..e569011b8f7 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -1273,6 +1273,16 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { switch (ID) { default: break; + case Intrinsic::memcpy_i32: + case Intrinsic::memcpy_i64: + case Intrinsic::memmove_i32: + case Intrinsic::memmove_i64: + case Intrinsic::memset_i32: + case Intrinsic::memset_i64: + Assert1(isa(CI.getOperand(4)), + "alignment argument of memory intrinsics must be a constant int", + &CI); + break; case Intrinsic::init_trampoline: Assert1(isa(CI.getOperand(2)->stripPointerCasts()), "llvm.init_trampoline parameter #2 must resolve to a function.", diff --git a/test/Verifier/2008-08-22-MemCpyAlignment.ll b/test/Verifier/2008-08-22-MemCpyAlignment.ll new file mode 100644 index 00000000000..6bad2d138d0 --- /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) + -- 2.34.1