Revert of Remove SIMD.js from V8.

src/ast/ast-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_AST_AST_TYPES_H_
 #define V8_AST_AST_TYPES_H_
 
 #include "src/conversions.h"
 #include "src/handles.h"
 #include "src/objects.h"
@@ skipping 138 matching lines @@
 
 // clang-format off
 
 #define AST_MASK_BITSET_TYPE_LIST(V) \
   V(Representation, 0xffc00000u) \
   V(Semantic,       0x003ffffeu)
 
 #define AST_REPRESENTATION(k) ((k) & AstBitsetType::kRepresentation)
 #define AST_SEMANTIC(k)       ((k) & AstBitsetType::kSemantic)
 
-// Bits 21-22 are available.
 #define AST_REPRESENTATION_BITSET_TYPE_LIST(V)    \
   V(None,               0)                    \
-  V(UntaggedBit,        1u << 23 | kSemantic) \
-  V(UntaggedIntegral8,  1u << 24 | kSemantic) \
-  V(UntaggedIntegral16, 1u << 25 | kSemantic) \
-  V(UntaggedIntegral32, 1u << 26 | kSemantic) \
-  V(UntaggedFloat32,    1u << 27 | kSemantic) \
-  V(UntaggedFloat64,    1u << 28 | kSemantic) \
+  V(UntaggedBit,        1u << 22 | kSemantic) \
+  V(UntaggedIntegral8,  1u << 23 | kSemantic) \
+  V(UntaggedIntegral16, 1u << 24 | kSemantic) \
+  V(UntaggedIntegral32, 1u << 25 | kSemantic) \
+  V(UntaggedFloat32,    1u << 26 | kSemantic) \
+  V(UntaggedFloat64,    1u << 27 | kSemantic) \
+  V(UntaggedSimd128,    1u << 28 | kSemantic) \
   V(UntaggedPointer,    1u << 29 | kSemantic) \
   V(TaggedSigned,       1u << 30 | kSemantic) \
   V(TaggedPointer,      1u << 31 | kSemantic) \
   \
   V(UntaggedIntegral,   kUntaggedBit | kUntaggedIntegral8 |        \
                         kUntaggedIntegral16 | kUntaggedIntegral32) \
   V(UntaggedFloat,      kUntaggedFloat32 | kUntaggedFloat64)       \
   V(UntaggedNumber,     kUntaggedIntegral | kUntaggedFloat)        \
   V(Untagged,           kUntaggedNumber | kUntaggedPointer)        \
   V(Tagged,             kTaggedSigned | kTaggedPointer)
@@ skipping 12 matching lines @@
   V(Boolean,             1u << 8  | AST_REPRESENTATION(kTaggedPointer)) \
   V(Unsigned30,          1u << 9  |                                     \
                          AST_REPRESENTATION(kTagged | kUntaggedNumber)) \
   V(MinusZero,           1u << 10 |                                     \
                          AST_REPRESENTATION(kTagged | kUntaggedNumber)) \
   V(NaN,                 1u << 11 |                                     \
                          AST_REPRESENTATION(kTagged | kUntaggedNumber)) \
   V(Symbol,              1u << 12 | AST_REPRESENTATION(kTaggedPointer)) \
   V(InternalizedString,  1u << 13 | AST_REPRESENTATION(kTaggedPointer)) \
   V(OtherString,         1u << 14 | AST_REPRESENTATION(kTaggedPointer)) \
-  V(OtherObject,         1u << 15 | AST_REPRESENTATION(kTaggedPointer)) \
+  V(Simd,                1u << 15 | AST_REPRESENTATION(kTaggedPointer)) \
+  V(OtherObject,         1u << 17 | AST_REPRESENTATION(kTaggedPointer)) \
   V(OtherUndetectable,   1u << 16 | AST_REPRESENTATION(kTaggedPointer)) \
-  V(Proxy,               1u << 17 | AST_REPRESENTATION(kTaggedPointer)) \
-  V(Function,            1u << 18 | AST_REPRESENTATION(kTaggedPointer)) \
-  V(Hole,                1u << 19 | AST_REPRESENTATION(kTaggedPointer)) \
-  V(OtherInternal,       1u << 20 |                                     \
+  V(Proxy,               1u << 18 | AST_REPRESENTATION(kTaggedPointer)) \
+  V(Function,            1u << 19 | AST_REPRESENTATION(kTaggedPointer)) \
+  V(Hole,                1u << 20 | AST_REPRESENTATION(kTaggedPointer)) \
+  V(OtherInternal,       1u << 21 |                                     \
                          AST_REPRESENTATION(kTagged | kUntagged))       \
   \
   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) \
   V(Unsigned32OrMinusZero,      kUnsigned32 | kMinusZero) \
   V(Unsigned32OrMinusZeroOrNaN, kUnsigned32 | kMinusZero | kNaN) \
   V(Integral32,                 kSigned32 | kUnsigned32) \
   V(PlainNumber,                kIntegral32 | kOtherNumber) \
   V(OrderedNumber,              kPlainNumber | kMinusZero) \
   V(MinusZeroOrNaN,             kMinusZero | kNaN) \
   V(Number,                     kOrderedNumber | kNaN) \
   V(String,                     kInternalizedString | kOtherString) \
   V(UniqueName,                 kSymbol | kInternalizedString) \
   V(Name,                       kSymbol | kString) \
   V(BooleanOrNumber,            kBoolean | kNumber) \
   V(BooleanOrNullOrNumber,      kBooleanOrNumber | kNull) \
   V(BooleanOrNullOrUndefined,   kBoolean | kNull | kUndefined) \
   V(NullOrNumber,               kNull | kNumber) \
   V(NullOrUndefined,            kNull | kUndefined) \
   V(Undetectable,               kNullOrUndefined | kOtherUndetectable) \
   V(NumberOrOddball,            kNumber | kNullOrUndefined | kBoolean | kHole) \
+  V(NumberOrSimdOrString,       kNumber | kSimd | kString) \
   V(NumberOrString,             kNumber | kString) \
   V(NumberOrUndefined,          kNumber | kUndefined) \
   V(PlainPrimitive,             kNumberOrString | kBoolean | kNullOrUndefined) \
-  V(Primitive,                  kSymbol | kPlainPrimitive) \
+  V(Primitive,                  kSymbol | kSimd | kPlainPrimitive) \
   V(DetectableReceiver,         kFunction | kOtherObject | kProxy) \
   V(Object,                     kFunction | kOtherObject | kOtherUndetectable) \
   V(Receiver,                   kObject | kProxy) \
   V(StringOrReceiver,           kString | kReceiver) \
   V(Unique,                     kBoolean | kUniqueName | kNull | kUndefined | \
                                 kReceiver) \
   V(Internal,                   kHole | kOtherInternal) \
   V(NonInternal,                kPrimitive | kReceiver) \
   V(NonNumber,                  kUnique | kString | kInternal) \
   V(Any,                        0xfffffffeu)
@@ skipping 513 matching lines @@
   }
   static AstType* Tuple(AstType* first, AstType* second, AstType* third,
                         Zone* zone) {
     AstType* tuple = AstTupleType::New(3, zone);
     tuple->AsTuple()->InitElement(0, first);
     tuple->AsTuple()->InitElement(1, second);
     tuple->AsTuple()->InitElement(2, third);
     return tuple;
   }
 
+#define CONSTRUCT_SIMD_TYPE(NAME, Name, name, lane_count, lane_type) \
+  static AstType* Name(Isolate* isolate, Zone* zone);
+  SIMD128_TYPES(CONSTRUCT_SIMD_TYPE)
+#undef CONSTRUCT_SIMD_TYPE
+
   static AstType* Union(AstType* type1, AstType* type2, Zone* zone);
   static AstType* Intersect(AstType* type1, AstType* type2, Zone* zone);
 
   static AstType* Of(double value, Zone* zone) {
     return AstBitsetType::New(
         AstBitsetType::ExpandInternals(AstBitsetType::Lub(value)));
   }
   static AstType* Of(i::Object* value, Zone* zone) {
     return AstBitsetType::New(
         AstBitsetType::ExpandInternals(AstBitsetType::Lub(value)));
@@ skipping 227 matching lines @@
 
   bool Narrows(AstBounds that) {
     return that.lower->Is(this->lower) && this->upper->Is(that.upper);
   }
 };
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_AST_AST_TYPES_H_