[Turbofan] Add other integer SIMD types, add more integer ops.

src/compiler/machine-operator.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/machine-operator.h"
 
 #include "src/base/lazy-instance.h"
 #include "src/compiler/opcodes.h"
 #include "src/compiler/operator.h"
 
@@ skipping 203 matching lines @@
   V(LoadStackPointer, Operator::kNoProperties, 0, 0, 1)                    \
   V(LoadFramePointer, Operator::kNoProperties, 0, 0, 1)                    \
   V(LoadParentFramePointer, Operator::kNoProperties, 0, 0, 1)              \
   V(Int32PairAdd, Operator::kNoProperties, 4, 0, 2)                        \
   V(Int32PairSub, Operator::kNoProperties, 4, 0, 2)                        \
   V(Int32PairMul, Operator::kNoProperties, 4, 0, 2)                        \
   V(Word32PairShl, Operator::kNoProperties, 3, 0, 2)                       \
   V(Word32PairShr, Operator::kNoProperties, 3, 0, 2)                       \
   V(Word32PairSar, Operator::kNoProperties, 3, 0, 2)                       \
   V(CreateFloat32x4, Operator::kNoProperties, 4, 0, 1)                     \
-  V(Float32x4ExtractLane, Operator::kNoProperties, 2, 0, 1)                \
-  V(Float32x4ReplaceLane, Operator::kNoProperties, 3, 0, 1)                \
   V(Float32x4Abs, Operator::kNoProperties, 1, 0, 1)                        \
   V(Float32x4Neg, Operator::kNoProperties, 1, 0, 1)                        \
   V(Float32x4Sqrt, Operator::kNoProperties, 1, 0, 1)                       \
   V(Float32x4RecipApprox, Operator::kNoProperties, 1, 0, 1)                \
   V(Float32x4RecipSqrtApprox, Operator::kNoProperties, 1, 0, 1)            \
   V(Float32x4Add, Operator::kCommutative, 2, 0, 1)                         \
   V(Float32x4Sub, Operator::kNoProperties, 2, 0, 1)                        \
   V(Float32x4Mul, Operator::kCommutative, 2, 0, 1)                         \
   V(Float32x4Div, Operator::kNoProperties, 2, 0, 1)                        \
   V(Float32x4Min, Operator::kCommutative, 2, 0, 1)                         \
   V(Float32x4Max, Operator::kCommutative, 2, 0, 1)                         \
   V(Float32x4MinNum, Operator::kCommutative, 2, 0, 1)                      \
   V(Float32x4MaxNum, Operator::kCommutative, 2, 0, 1)                      \
   V(Float32x4Equal, Operator::kCommutative, 2, 0, 1)                       \
   V(Float32x4NotEqual, Operator::kCommutative, 2, 0, 1)                    \
   V(Float32x4LessThan, Operator::kNoProperties, 2, 0, 1)                   \
   V(Float32x4LessThanOrEqual, Operator::kNoProperties, 2, 0, 1)            \
   V(Float32x4GreaterThan, Operator::kNoProperties, 2, 0, 1)                \
   V(Float32x4GreaterThanOrEqual, Operator::kNoProperties, 2, 0, 1)         \
   V(Float32x4FromInt32x4, Operator::kNoProperties, 1, 0, 1)                \
   V(Float32x4FromUint32x4, Operator::kNoProperties, 1, 0, 1)               \
   V(CreateInt32x4, Operator::kNoProperties, 4, 0, 1)                       \
-  V(Int32x4ExtractLane, Operator::kNoProperties, 2, 0, 1)                  \
-  V(Int32x4ReplaceLane, Operator::kNoProperties, 3, 0, 1)                  \
   V(Int32x4Neg, Operator::kNoProperties, 1, 0, 1)                          \
   V(Int32x4Add, Operator::kCommutative, 2, 0, 1)                           \
   V(Int32x4Sub, Operator::kNoProperties, 2, 0, 1)                          \
   V(Int32x4Mul, Operator::kCommutative, 2, 0, 1)                           \
   V(Int32x4Min, Operator::kCommutative, 2, 0, 1)                           \
   V(Int32x4Max, Operator::kCommutative, 2, 0, 1)                           \
   V(Int32x4ShiftLeftByScalar, Operator::kNoProperties, 2, 0, 1)            \
   V(Int32x4ShiftRightByScalar, Operator::kNoProperties, 2, 0, 1)           \
   V(Int32x4Equal, Operator::kCommutative, 2, 0, 1)                         \
   V(Int32x4NotEqual, Operator::kCommutative, 2, 0, 1)                      \
@@ skipping 18 matching lines @@
   V(Bool32x4Or, Operator::kAssociative | Operator::kCommutative, 2, 0, 1)  \
   V(Bool32x4Xor, Operator::kAssociative | Operator::kCommutative, 2, 0, 1) \
   V(Bool32x4Not, Operator::kNoProperties, 1, 0, 1)                         \
   V(Bool32x4AnyTrue, Operator::kNoProperties, 1, 0, 1)                     \
   V(Bool32x4AllTrue, Operator::kNoProperties, 1, 0, 1)                     \
   V(Bool32x4Swizzle, Operator::kNoProperties, 5, 0, 1)                     \
   V(Bool32x4Shuffle, Operator::kNoProperties, 6, 0, 1)                     \
   V(Bool32x4Equal, Operator::kCommutative, 2, 0, 1)                        \
   V(Bool32x4NotEqual, Operator::kCommutative, 2, 0, 1)                     \
   V(CreateInt16x8, Operator::kNoProperties, 8, 0, 1)                       \
-  V(Int16x8ExtractLane, Operator::kNoProperties, 2, 0, 1)                  \
-  V(Int16x8ReplaceLane, Operator::kNoProperties, 3, 0, 1)                  \
   V(Int16x8Neg, Operator::kNoProperties, 1, 0, 1)                          \
   V(Int16x8Add, Operator::kCommutative, 2, 0, 1)                           \
   V(Int16x8AddSaturate, Operator::kCommutative, 2, 0, 1)                   \
   V(Int16x8Sub, Operator::kNoProperties, 2, 0, 1)                          \
   V(Int16x8SubSaturate, Operator::kNoProperties, 2, 0, 1)                  \
   V(Int16x8Mul, Operator::kCommutative, 2, 0, 1)                           \
   V(Int16x8Min, Operator::kCommutative, 2, 0, 1)                           \
   V(Int16x8Max, Operator::kCommutative, 2, 0, 1)                           \
   V(Int16x8ShiftLeftByScalar, Operator::kNoProperties, 2, 0, 1)            \
   V(Int16x8ShiftRightByScalar, Operator::kNoProperties, 2, 0, 1)           \
@@ skipping 23 matching lines @@
   V(Bool16x8Or, Operator::kAssociative | Operator::kCommutative, 2, 0, 1)  \
   V(Bool16x8Xor, Operator::kAssociative | Operator::kCommutative, 2, 0, 1) \
   V(Bool16x8Not, Operator::kNoProperties, 1, 0, 1)                         \
   V(Bool16x8AnyTrue, Operator::kNoProperties, 1, 0, 1)                     \
   V(Bool16x8AllTrue, Operator::kNoProperties, 1, 0, 1)                     \
   V(Bool16x8Swizzle, Operator::kNoProperties, 9, 0, 1)                     \
   V(Bool16x8Shuffle, Operator::kNoProperties, 10, 0, 1)                    \
   V(Bool16x8Equal, Operator::kCommutative, 2, 0, 1)                        \
   V(Bool16x8NotEqual, Operator::kCommutative, 2, 0, 1)                     \
   V(CreateInt8x16, Operator::kNoProperties, 16, 0, 1)                      \
-  V(Int8x16ExtractLane, Operator::kNoProperties, 2, 0, 1)                  \
-  V(Int8x16ReplaceLane, Operator::kNoProperties, 3, 0, 1)                  \
   V(Int8x16Neg, Operator::kNoProperties, 1, 0, 1)                          \
   V(Int8x16Add, Operator::kCommutative, 2, 0, 1)                           \
   V(Int8x16AddSaturate, Operator::kCommutative, 2, 0, 1)                   \
   V(Int8x16Sub, Operator::kNoProperties, 2, 0, 1)                          \
   V(Int8x16SubSaturate, Operator::kNoProperties, 2, 0, 1)                  \
   V(Int8x16Mul, Operator::kCommutative, 2, 0, 1)                           \
   V(Int8x16Min, Operator::kCommutative, 2, 0, 1)                           \
   V(Int8x16Max, Operator::kCommutative, 2, 0, 1)                           \
   V(Int8x16ShiftLeftByScalar, Operator::kNoProperties, 2, 0, 1)            \
   V(Int8x16ShiftRightByScalar, Operator::kNoProperties, 2, 0, 1)           \
@@ skipping 106 matching lines @@
   V(Int16)                  \
   V(Uint16)                 \
   V(Int32)                  \
   V(Uint32)
 
 #define ATOMIC_REPRESENTATION_LIST(V) \
   V(kWord8)                           \
   V(kWord16)                          \
   V(kWord32)
 
+#define SIMD_LANE_OP_LIST(V) \
+  V(Float32x4, 4)            \
+  V(Int32x4, 4)              \
+  V(Int16x8, 8)              \
+  V(Int8x16, 16)
+
 #define STACK_SLOT_CACHED_SIZES_LIST(V) V(4) V(8) V(16)
 
 struct StackSlotOperator : public Operator1<int> {
   explicit StackSlotOperator(int size)
       : Operator1<int>(IrOpcode::kStackSlot,
                        Operator::kNoDeopt | Operator::kNoThrow, "StackSlot", 0,
                        0, 0, 1, 0, 0, size) {}
 };
 
 struct MachineOperatorGlobalCache {
@@ skipping 156 matching lines @@
     AtomicStore##Type##Operator()                                              \
         : Operator1<MachineRepresentation>(                                    \
               IrOpcode::kAtomicStore,                                          \
               Operator::kNoDeopt | Operator::kNoRead | Operator::kNoThrow,     \
               "AtomicStore", 3, 1, 1, 0, 1, 0, MachineRepresentation::Type) {} \
   };                                                                           \
   AtomicStore##Type##Operator kAtomicStore##Type;
   ATOMIC_REPRESENTATION_LIST(ATOMIC_STORE)
 #undef STORE
 
+#define SIMD_LANE_OPS(Name, lane_count)                                     \
+  struct Name##ExtractLaneOperator final : public Operator1<int> {          \
+    static int lane_number;                                                 \
+    Name##ExtractLaneOperator()                                             \
+        : Operator1<int>(IrOpcode::k##Name##ExtractLane, Operator::kPure,   \
+                         "ExtractLane", 1, 0, 0, 1, 0, 0, lane_number++) {} \
+  };                                                                        \
+  struct Name##ReplaceLaneOperator final : public Operator1<int> {          \
+    static int lane_number;                                                 \
+    Name##ReplaceLaneOperator()                                             \
+        : Operator1<int>(IrOpcode::k##Name##ReplaceLane, Operator::kPure,   \
+                         "ReplaceLane", 2, 0, 0, 1, 0, 0, lane_number++) {} \
+  };                                                                        \
+  Name##ExtractLaneOperator k##Name##ExtractLane[lane_count];               \
+  Name##ReplaceLaneOperator k##Name##ReplaceLane[lane_count];
+  SIMD_LANE_OP_LIST(SIMD_LANE_OPS)
+#undef SIMD_LANE_OPS
+
   struct DebugBreakOperator : public Operator {
     DebugBreakOperator()
         : Operator(IrOpcode::kDebugBreak, Operator::kNoThrow, "DebugBreak", 0,
                    0, 0, 0, 0, 0) {}
   };
   DebugBreakOperator kDebugBreak;
 
   struct UnsafePointerAddOperator final : public Operator {
     UnsafePointerAddOperator()
         : Operator(IrOpcode::kUnsafePointerAdd, Operator::kKontrol,
@@ skipping 207 matching lines @@
 #define STORE(kRep)                         \
   if (rep == MachineRepresentation::kRep) { \
     return &cache_.kAtomicStore##kRep;      \
   }
   ATOMIC_REPRESENTATION_LIST(STORE)
 #undef STORE
   UNREACHABLE();
   return nullptr;
 }
 
+#define SIMD_LANE_OPS(Name, lane_count)                                       \
+  const Operator* MachineOperatorBuilder::Name##ExtractLane(                  \
+      int32_t lane_number) {                                                  \
+    DCHECK(0 <= lane_number && lane_number < lane_count);                     \
+    return &cache_.k##Name##ExtractLane[lane_number];                         \
+  }                                                                           \
+  const Operator* MachineOperatorBuilder::Name##ReplaceLane(                  \
+      int32_t lane_number) {                                                  \
+    DCHECK(0 <= lane_number && lane_number < lane_count);                     \
+    return &cache_.k##Name##ReplaceLane[lane_number];                         \
+  }                                                                           \
+  int MachineOperatorGlobalCache::Name##ExtractLaneOperator::lane_number = 0; \
+  int MachineOperatorGlobalCache::Name##ReplaceLaneOperator::lane_number = 0;
+SIMD_LANE_OP_LIST(SIMD_LANE_OPS)
+#undef SIMD_LANE_OPS
+
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8