From 17f64258cf33f4a2900299238758a746d70ecc14 Mon Sep 17 00:00:00 2001 From: John Criswell Date: Wed, 14 Apr 2004 14:49:36 +0000 Subject: [PATCH] Added code to verify that llvm.readio's pointer argument returns something that matches its return type. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12944 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Verifier.cpp | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index fc237e69e51..89017d691c1 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -638,15 +638,20 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { NumArgs = 1; break; - case Intrinsic:: readio: + case Intrinsic:: readio: { + const Type * ParamType = FT->getParamType(0); + const Type * ReturnType = FT->getReturnType(); + Assert1(FT->getNumParams() == 1, "Illegal # arguments for intrinsic function!", IF); - Assert1(FT->getReturnType()->isFirstClassType(), + Assert1(ReturnType->isFirstClassType(), "Return type is not a first class type!", IF); - Assert1(FT->getParamType(0)->getPrimitiveID() == Type::PointerTyID, + Assert1(ParamType->getPrimitiveID() == Type::PointerTyID, "First argument not a pointer!", IF); + Assert1(((dyn_cast(ParamType)->getContainedType(0)) == ReturnType), "Pointer type doesn't match return type!", IF); NumArgs = 1; break; + } case Intrinsic::setjmp: NumArgs = 1; break; case Intrinsic::longjmp: NumArgs = 2; break; -- 2.34.1