From ac700ca926ae95d9d33fe9cf0fd1e3d7205a5320 Mon Sep 17 00:00:00 2001 From: Alkis Evlogimenos Date: Sun, 13 Jun 2004 00:55:26 +0000 Subject: [PATCH] Make assertions more consistent with the rest of the intrinsic function verification and make it a requirement that both arguments to llvm.isunordered are of the same type. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14165 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Verifier.cpp | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index d221de9e65a..b832bd11747 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -689,20 +689,24 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { } case Intrinsic::isnan: - Assert1(FT->getNumParams() == 1 && FT->getParamType(0)->isFloatingPoint(), - "Illegal prototype for llvm.isnan", IF); + Assert1(FT->getNumParams() == 1, + "Illegal # arguments for intrinsic function!", IF); Assert1(FT->getReturnType() == Type::BoolTy, - "Illegal prototype for llvm.isnan", IF); + "Return type is not bool!", IF); + Assert1(FT->getParamType(0)->isFloatingPoint(), + "Argument is not a floating point type!", IF); NumArgs = 1; break; case Intrinsic::isunordered: - Assert1(FT->getNumParams() == 2 && - FT->getParamType(0)->isFloatingPoint() && - FT->getParamType(1)->isFloatingPoint(), - "Illegal prototype for llvm.isunordered", IF); + Assert1(FT->getNumParams() == 2, + "Illegal # arguments for intrinsic function!", IF); Assert1(FT->getReturnType() == Type::BoolTy, - "Illegal prototype for llvm.isunordered", IF); + "Return type is not bool!", IF); + Assert1(FT->getParamType(0) == FT->getParamType(1), + "Arguments must be of the same type!", IF); + Assert1(FT->getParamType(0)->isFloatingPoint(), + "Argument is not a floating point type!", IF); NumArgs = 2; break;