From c4eab904c95549106f628b6fdd8ccf62527aa398 Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Mon, 12 Dec 2011 04:36:02 +0000 Subject: [PATCH] Teach the verifier to reject all non-constant arguments to the second argument of the cttz and ctlz intrinsics. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@146360 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Verifier.cpp | 6 ++++++ test/Verifier/cttz-undef-arg.ll | 16 ++++++++++++++++ 2 files changed, 22 insertions(+) create mode 100644 test/Verifier/cttz-undef-arg.ll diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index f74d762be94..003de442d61 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -1688,6 +1688,12 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { switch (ID) { default: break; + case Intrinsic::ctlz: // llvm.ctlz + case Intrinsic::cttz: // llvm.cttz + Assert1(isa(CI.getArgOperand(1)), + "is_zero_undef argument of bit counting intrinsics must be a " + "constant int", &CI); + break; case Intrinsic::dbg_declare: { // llvm.dbg.declare Assert1(CI.getArgOperand(0) && isa(CI.getArgOperand(0)), "invalid llvm.dbg.declare intrinsic call 1", &CI); diff --git a/test/Verifier/cttz-undef-arg.ll b/test/Verifier/cttz-undef-arg.ll new file mode 100644 index 00000000000..48cd061d322 --- /dev/null +++ b/test/Verifier/cttz-undef-arg.ll @@ -0,0 +1,16 @@ +; RUN: not llvm-as < %s -o /dev/null |& FileCheck %s + +declare i32 @llvm.ctlz.i32(i32, i1) +declare i32 @llvm.cttz.i32(i32, i1) + +define void @f(i32 %x, i1 %is_not_zero) { +entry: +; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int +; CHECK-NEXT: @llvm.ctlz.i32 + call i32 @llvm.ctlz.i32(i32 %x, i1 %is_not_zero) + +; CHECK: is_zero_undef argument of bit counting intrinsics must be a constant int +; CHECK-NEXT: @llvm.cttz.i32 + call i32 @llvm.cttz.i32(i32 %x, i1 %is_not_zero) + ret void +} -- 2.34.1