aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/CodeGen/IntrinsicLowering.cpp10
-rw-r--r--lib/VMCore/Function.cpp2
-rw-r--r--lib/VMCore/IntrinsicLowering.cpp10
-rw-r--r--lib/VMCore/Verifier.cpp8
4 files changed, 20 insertions, 10 deletions
diff --git a/lib/CodeGen/IntrinsicLowering.cpp b/lib/CodeGen/IntrinsicLowering.cpp
index 38ba73d01f..bc6f02e4d6 100644
--- a/lib/CodeGen/IntrinsicLowering.cpp
+++ b/lib/CodeGen/IntrinsicLowering.cpp
@@ -191,10 +191,12 @@ void DefaultIntrinsicLowering::LowerIntrinsicCall(CallInst *CI) {
(*(CI->op_begin()+1))->getType(), MemsetFCache);
break;
}
- case Intrinsic::isunordered: {
- static Function *IsunorderedFCache = 0;
- ReplaceCallWith("isunordered", CI, CI->op_begin()+1, CI->op_end(),
- (*(CI->op_begin()+1))->getType(), IsunorderedFCache);
+ case Intrinsic::isnan: {
+ // FIXME: This should force the argument to be a double. There may be
+ // multiple isnans for different FP arguments.
+ static Function *isnanFCache = 0;
+ ReplaceCallWith("isnan", CI, CI->op_begin()+1, CI->op_end(),
+ (*(CI->op_begin()+1))->getType(), isnanFCache);
break;
}
}
diff --git a/lib/VMCore/Function.cpp b/lib/VMCore/Function.cpp
index 82f3645acb..a0f86d55e5 100644
--- a/lib/VMCore/Function.cpp
+++ b/lib/VMCore/Function.cpp
@@ -223,7 +223,7 @@ unsigned Function::getIntrinsicID() const {
if (getName() == "llvm.gcroot") return Intrinsic::gcroot;
break;
case 'i':
- if (getName() == "llvm.isunordered") return Intrinsic::isunordered;
+ if (getName() == "llvm.isnan") return Intrinsic::isnan;
break;
case 'l':
if (getName() == "llvm.longjmp") return Intrinsic::longjmp;
diff --git a/lib/VMCore/IntrinsicLowering.cpp b/lib/VMCore/IntrinsicLowering.cpp
index 38ba73d01f..bc6f02e4d6 100644
--- a/lib/VMCore/IntrinsicLowering.cpp
+++ b/lib/VMCore/IntrinsicLowering.cpp
@@ -191,10 +191,12 @@ void DefaultIntrinsicLowering::LowerIntrinsicCall(CallInst *CI) {
(*(CI->op_begin()+1))->getType(), MemsetFCache);
break;
}
- case Intrinsic::isunordered: {
- static Function *IsunorderedFCache = 0;
- ReplaceCallWith("isunordered", CI, CI->op_begin()+1, CI->op_end(),
- (*(CI->op_begin()+1))->getType(), IsunorderedFCache);
+ case Intrinsic::isnan: {
+ // FIXME: This should force the argument to be a double. There may be
+ // multiple isnans for different FP arguments.
+ static Function *isnanFCache = 0;
+ ReplaceCallWith("isnan", CI, CI->op_begin()+1, CI->op_end(),
+ (*(CI->op_begin()+1))->getType(), isnanFCache);
break;
}
}
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 156b2cc45d..244d346490 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/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;