[turbofan] Add support for relevant ES6 type conversion intrinsics.

src/type-cache.h

 // 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.
 
 #ifndef V8_TYPE_CACHE_H_
 #define V8_TYPE_CACHE_H_
 
 #include "src/types.h"
 
 namespace v8 {
@@ skipping 28 matching lines @@
   Type* const kSmi = CreateNative(Type::SignedSmall(), Type::TaggedSigned());
   Type* const kHeapNumber = CreateNative(Type::Number(), Type::TaggedPointer());
 
   Type* const kSingletonZero = CreateRange(0.0, 0.0);
   Type* const kSingletonOne = CreateRange(1.0, 1.0);
   Type* const kZeroOrOne = CreateRange(0.0, 1.0);
   Type* const kZeroToThirtyTwo = CreateRange(0.0, 32.0);
   Type* const kZeroish =
       Type::Union(kSingletonZero, Type::MinusZeroOrNaN(), zone());
   Type* const kInteger = CreateRange(-V8_INFINITY, V8_INFINITY);
-  Type* const kWeakint = Type::Union(kInteger, Type::MinusZeroOrNaN(), zone());
+  Type* const kPositiveInteger = CreateRange(0.0, V8_INFINITY);
+  Type* const kIntegerish = Type::Union(kInteger, Type::MinusZero(), zone());

[Jarin, 2015/11/05 09:25:29]

I think we need better names for this. How about kIntegerOrMinusZero,
kIntegerOrMinusZeroOrNaN or some such?

Especially because this is inconsistent with the Zeroish above, where the -ish
meand -or-minus-zero-or-nan. (So by your new scheme it would be WeakZero?)

[Benedikt Meurer, 2015/11/05 09:30:05]

Done.

+  Type* const kWeakint = Type::Union(kIntegerish, Type::NaN(), zone());
+
+  Type* const kPositiveSafeInteger = CreateRange(0.0, kMaxSafeInteger);
 
   Type* const kIntegral32 = Type::Union(kInt32, kUint32, zone());
 
   // The FixedArray::length property always containts a smi in the range
   // [0, FixedArray::kMaxLength].
   Type* const kFixedArrayLengthType = CreateNative(
       CreateRange(0.0, FixedArray::kMaxLength), Type::TaggedSigned());
 
   // The FixedDoubleArray::length property always containts a smi in the range
   // [0, FixedDoubleArray::kMaxLength].
@@ skipping 39 matching lines @@
     return Type::Range(min, max, zone());
   }
 
   Zone* zone() { return &zone_; }
 };
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_TYPE_CACHE_H_