[types] Use the TypeCache consistently for common types.

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_ZONE_TYPE_CACHE_H_
-#define V8_ZONE_TYPE_CACHE_H_
-
+#ifndef V8_TYPE_CACHE_H_
+#define V8_TYPE_CACHE_H_
 
 #include "src/types.h"
 
 namespace v8 {
 namespace internal {
 
-class ZoneTypeCache final {
+class TypeCache final {
  private:
   // This has to be first for the initialization magic to work.
   Zone zone_;
 
  public:
-  ZoneTypeCache() = default;
+  static TypeCache const& Get();
+
+  TypeCache() = default;
 
   Type* const kInt8 =
       CreateNative(CreateRange<int8_t>(), Type::UntaggedSigned8());
   Type* const kUint8 =
       CreateNative(CreateRange<uint8_t>(), Type::UntaggedUnsigned8());
   Type* const kUint8Clamped = kUint8;
   Type* const kInt16 =
       CreateNative(CreateRange<int16_t>(), Type::UntaggedSigned16());
   Type* const kUint16 =
       CreateNative(CreateRange<uint16_t>(), Type::UntaggedUnsigned16());
   Type* const kInt32 = CreateNative(Type::Signed32(), Type::UntaggedSigned32());
   Type* const kUint32 =
       CreateNative(Type::Unsigned32(), Type::UntaggedUnsigned32());
   Type* const kFloat32 = CreateNative(Type::Number(), Type::UntaggedFloat32());
   Type* const kFloat64 = CreateNative(Type::Number(), Type::UntaggedFloat64());
 
+  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());
 
+  // 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].
+  Type* const kFixedDoubleArrayLengthType = CreateNative(
+      CreateRange(0.0, FixedDoubleArray::kMaxLength), Type::TaggedSigned());
+
+  // The JSArray::length property always contains a tagged number in the range
+  // [0, kMaxUInt32].
+  Type* const kJSArrayLengthType =
+      CreateNative(CreateRange(0.0, kMaxUInt32), Type::Tagged());
+
+  // The String::length property always contains a smi in the range
+  // [0, String::kMaxLength].
+  Type* const kStringLengthType =
+      CreateNative(CreateRange(0.0, String::kMaxLength), Type::TaggedSigned());
+
 #define TYPED_ARRAY(TypeName, type_name, TYPE_NAME, ctype, size) \
   Type* const k##TypeName##Array = CreateArray(k##TypeName);
   TYPED_ARRAYS(TYPED_ARRAY)
 #undef TYPED_ARRAY
 
  private:
   Type* CreateArray(Type* element) { return Type::Array(element, zone()); }
 
   Type* CreateArrayFunction(Type* array) {
     Type* arg1 = Type::Union(Type::Unsigned32(), Type::Object(), zone());
@@ skipping 15 matching lines @@
   Type* CreateRange(double min, double max) {
     return Type::Range(min, max, zone());
   }
 
   Zone* zone() { return &zone_; }
 };
 
 }  // namespace internal
 }  // namespace v8
 
-#endif  // V8_ZONE_TYPE_CACHE_H_
+#endif  // V8_TYPE_CACHE_H_