commit 1c636f11181d0c9cd35e29241dda0a78d5b1c896
author Chris Lattner <sabre@nondot.org> Sat Apr 30 03:44:07 2005 +0000
committer Chris Lattner <sabre@nondot.org> Sat Apr 30 03:44:07 2005 +0000
tree 7a643f99ececf1c8837d4c9dd2efe98b54dd6bdd
parent 4c444fe007320d63ed25a710a0ecded15bdcd171

Add llvm.sqrt intrinsic, patch contributed by Morten Ofstad

llvm-svn: 21627

llvm/lib/VMCore/Verifier.cpp

diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp
index da14c00..d7b8f50 100644
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@@ -723,6 +723,16 @@
     NumArgs = 2;
     break;
 
+  case Intrinsic::sqrt:
+    Assert1(FT->getNumParams() == 1,
+            "Illegal # arguments for intrinsic function!", IF);
+    Assert1(FT->getParamType(0)->isFloatingPoint(),
+            "Argument is not a floating point type!", IF);
+    Assert1(FT->getReturnType() == FT->getParamType(0),
+            "Return type is not the same as argument type!", IF);
+    NumArgs = 1;
+    break;
+
   case Intrinsic::setjmp:          NumArgs = 1; break;
   case Intrinsic::longjmp:         NumArgs = 2; break;
   case Intrinsic::sigsetjmp:       NumArgs = 2; break;