diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-06-11 02:29:43 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-06-11 02:29:43 +0000 |
| commit | 8f69c9e439a0055512232ed9f7160527058c1fe5 (patch) | |
| tree | a9529b29b86f5bca06098093361420e37a6d5ed6 /llvm/lib/VMCore/Verifier.cpp | |
| parent | 3b4f437526c32ed767b649bb9193016478fd0f02 (diff) | |
| download | bcm5719-llvm-8f69c9e439a0055512232ed9f7160527058c1fe5.tar.gz bcm5719-llvm-8f69c9e439a0055512232ed9f7160527058c1fe5.zip | |
I misled Alkis: LLVM should have isnan, not isunordered.
isunordered(X, Y) === isnan(X) | isnan(Y)
Remove isunordered, add isnan.
llvm-svn: 14132
Diffstat (limited to 'llvm/lib/VMCore/Verifier.cpp')
| -rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 156b2cc45d1..244d3464903 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -688,7 +688,13 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { break; } - case Intrinsic::isunordered: NumArgs = 2; break; + case Intrinsic::isnan: + Assert1(FT->getNumParams() == 1 && FT->getParamType(0)->isFloatingPoint(), + "Illegal prototype for llvm.isnan", IF); + Assert1(FT->getReturnType() == Type::BoolTy, + "Illegal prototype for llvm.isnan", IF); + NumArgs = 1; + break; case Intrinsic::setjmp: NumArgs = 1; break; case Intrinsic::longjmp: NumArgs = 2; break; |
