diff options
| author | Alkis Evlogimenos <alkis@evlogimenos.com> | 2004-06-12 19:19:14 +0000 |
|---|---|---|
| committer | Alkis Evlogimenos <alkis@evlogimenos.com> | 2004-06-12 19:19:14 +0000 |
| commit | 9685372062a07c49d6c940d9094df07850092cd2 (patch) | |
| tree | 1bf1206cc881440e1c36af5db685604fd71aef4b /lib/VMCore/Verifier.cpp | |
| parent | 06a3db0b0fd080ca025e8ac9d9af543f6a211d73 (diff) | |
| download | external_llvm-9685372062a07c49d6c940d9094df07850092cd2.zip external_llvm-9685372062a07c49d6c940d9094df07850092cd2.tar.gz external_llvm-9685372062a07c49d6c940d9094df07850092cd2.tar.bz2 | |
Add the isunordered intrinsic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14159 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 244d346..d221de9 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -688,7 +688,7 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { break; } - case Intrinsic::isnan: + case Intrinsic::isnan: Assert1(FT->getNumParams() == 1 && FT->getParamType(0)->isFloatingPoint(), "Illegal prototype for llvm.isnan", IF); Assert1(FT->getReturnType() == Type::BoolTy, @@ -696,6 +696,16 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { 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->getReturnType() == Type::BoolTy, + "Illegal prototype for llvm.isunordered", IF); + NumArgs = 2; + break; + case Intrinsic::setjmp: NumArgs = 1; break; case Intrinsic::longjmp: NumArgs = 2; break; case Intrinsic::sigsetjmp: NumArgs = 2; break; |