[turbofan] Introduce a dedicated Array type.

src/compiler/types.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_COMPILER_TYPES_H_
 #define V8_COMPILER_TYPES_H_
 
 #include "src/base/compiler-specific.h"
 #include "src/conversions.h"
 #include "src/globals.h"
@@ skipping 108 matching lines @@
   V(OtherCallable,       1u << 15)  \
   V(OtherObject,         1u << 16)  \
   V(OtherUndetectable,   1u << 17)  \
   V(CallableProxy,       1u << 18)  \
   V(OtherProxy,          1u << 19)  \
   V(Function,            1u << 20)  \
   V(BoundFunction,       1u << 21)  \
   V(Hole,                1u << 22)  \
   V(OtherInternal,       1u << 23)  \
   V(ExternalPointer,     1u << 24)  \
+  V(Array,               1u << 25)  \
   \
   V(Signed31,                     kUnsigned30 | kNegative31) \
   V(Signed32,                     kSigned31 | kOtherUnsigned31 | \
                                   kOtherSigned32) \
   V(Signed32OrMinusZero,          kSigned32 | kMinusZero) \
   V(Signed32OrMinusZeroOrNaN,     kSigned32 | kMinusZero | kNaN) \
   V(Negative32,                   kNegative31 | kOtherSigned32) \
   V(Unsigned31,                   kUnsigned30 | kOtherUnsigned31) \
   V(Unsigned32,                   kUnsigned30 | kOtherUnsigned31 | \
                                   kOtherUnsigned32) \
@@ skipping 20 matching lines @@
   V(NumberOrHole,                 kNumber | kHole) \
   V(NumberOrOddball,              kNumber | kNullOrUndefined | kBoolean | \
                                   kHole) \
   V(NumberOrString,               kNumber | kString) \
   V(NumberOrUndefined,            kNumber | kUndefined) \
   V(PlainPrimitive,               kNumberOrString | kBoolean | \
                                   kNullOrUndefined) \
   V(Primitive,                    kSymbol | kPlainPrimitive) \
   V(OtherUndetectableOrUndefined, kOtherUndetectable | kUndefined) \
   V(Proxy,                        kCallableProxy | kOtherProxy) \
+  V(ArrayOrProxy,                 kArray | kProxy) \
   V(DetectableCallable,           kFunction | kBoundFunction | \
                                   kOtherCallable | kCallableProxy) \
   V(Callable,                     kDetectableCallable | kOtherUndetectable) \
-  V(NonCallable,                  kOtherObject | kOtherProxy) \
+  V(NonCallable,                  kArray | kOtherObject | kOtherProxy) \
   V(NonCallableOrNull,            kNonCallable | kNull) \
-  V(DetectableObject,             kFunction | kBoundFunction | \
+  V(DetectableObject,             kArray | kFunction | kBoundFunction | \
                                   kOtherCallable | kOtherObject) \
   V(DetectableReceiver,           kDetectableObject | kProxy) \
   V(DetectableReceiverOrNull,     kDetectableReceiver | kNull) \
   V(Object,                       kDetectableObject | kOtherUndetectable) \
   V(Receiver,                     kObject | kProxy) \
   V(ReceiverOrUndefined,          kReceiver | kUndefined) \
   V(ReceiverOrNullOrUndefined,    kReceiver | kNull | kUndefined) \
   V(SymbolOrReceiver,             kSymbol | kReceiver) \
   V(StringOrReceiver,             kString | kReceiver) \
   V(Unique,                       kBoolean | kUniqueName | kNull | \
@@ skipping 479 matching lines @@
                           RangeType::Limits* limits, Zone* zone);
   static Type* NormalizeUnion(Type* unioned, int size, Zone* zone);
   static Type* NormalizeRangeAndBitset(Type* range, bitset* bits, Zone* zone);
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_TYPES_H_