[builtins] Migrate Number predicates and make them optimizable.

src/compiler/typer.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/typer.h"
 
 #include <iomanip>
 
 #include "src/base/flags.h"
 #include "src/bootstrapper.h"
@@ skipping 1322 matching lines @@
                              t->zone());
         case kDateGetMinutes:
           return t->cache_.kJSDateMinuteType;
         case kDateGetMonth:
           return t->cache_.kJSDateMonthType;
         case kDateGetSeconds:
           return t->cache_.kJSDateSecondType;
         case kDateGetTime:
           return t->cache_.kJSDateValueType;
         // Number functions.
+        case kNumberIsFinite:
+        case kNumberIsInteger:
+        case kNumberIsNaN:
+        case kNumberIsSafeInteger:
+          return Type::Boolean();
         case kNumberParseInt:
           return t->cache_.kIntegerOrMinusZeroOrNaN;
         case kNumberToString:
           return Type::String();
         // String functions.
         case kStringCharCodeAt:
           return Type::Union(Type::Range(0, kMaxUInt16, t->zone()), Type::NaN(),
                              t->zone());
         case kStringCharAt:
         case kStringConcat:
@@ skipping 10 matching lines @@
         case kObjectHasOwnProperty:
           return Type::Boolean();
         // Global functions.
         case kGlobalDecodeURI:
         case kGlobalDecodeURIComponent:
         case kGlobalEncodeURI:
         case kGlobalEncodeURIComponent:
         case kGlobalEscape:
         case kGlobalUnescape:
           return Type::String();
+        case kGlobalIsFinite:
+        case kGlobalIsNaN:
+          return Type::Boolean();
         default:
           break;
       }
     }
   }
   return Type::NonInternal();
 }
 
 
 Type* Typer::Visitor::TypeJSCallFunction(Node* node) {
@@ skipping 320 matching lines @@
 Type* Typer::Visitor::TypeConstant(Handle<Object> value) {
   if (Type::IsInteger(*value)) {
     return Type::Range(value->Number(), value->Number(), zone());
   }
   return Type::Constant(value, zone());
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8