[WASM] Eliminate SIMD boolean vector types.

src/compiler/mips64/instruction-selector-mips64.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/base/adapters.h"
 #include "src/base/bits.h"
 #include "src/compiler/instruction-selector-impl.h"
 #include "src/compiler/node-matchers.h"
 #include "src/compiler/node-properties.h"
 
@@ skipping 396 matching lines @@
       break;
     case MachineRepresentation::kTaggedSigned:   // Fall through.
     case MachineRepresentation::kTaggedPointer:  // Fall through.
     case MachineRepresentation::kTagged:  // Fall through.
     case MachineRepresentation::kWord64:
       opcode = kMips64Ld;
       break;
     case MachineRepresentation::kSimd128:
       opcode = kMips64MsaLd;
       break;
-    case MachineRepresentation::kSimd1x4:  // Fall through.
-    case MachineRepresentation::kSimd1x8:  // Fall through.
-    case MachineRepresentation::kSimd1x16:  // Fall through.
     case MachineRepresentation::kNone:
       UNREACHABLE();
       return;
   }
 
   EmitLoad(this, node, opcode);
 }
 
 void InstructionSelector::VisitProtectedLoad(Node* node) {
   // TODO(eholk)
@@ skipping 59 matching lines @@
         break;
       case MachineRepresentation::kTaggedSigned:   // Fall through.
       case MachineRepresentation::kTaggedPointer:  // Fall through.
       case MachineRepresentation::kTagged:  // Fall through.
       case MachineRepresentation::kWord64:
         opcode = kMips64Sd;
         break;
       case MachineRepresentation::kSimd128:
         opcode = kMips64MsaSt;
         break;
-      case MachineRepresentation::kSimd1x4:  // Fall through.
-      case MachineRepresentation::kSimd1x8:  // Fall through.
-      case MachineRepresentation::kSimd1x16:  // Fall through.
       case MachineRepresentation::kNone:
         UNREACHABLE();
         return;
     }
 
     if (g.CanBeImmediate(index, opcode)) {
       Emit(opcode | AddressingModeField::encode(kMode_MRI), g.NoOutput(),
            g.UseRegister(base), g.UseImmediate(index),
            g.UseRegisterOrImmediateZero(value));
     } else {
@@ skipping 1273 matching lines @@
       break;
     case MachineRepresentation::kTaggedSigned:   // Fall through.
     case MachineRepresentation::kTaggedPointer:  // Fall through.
     case MachineRepresentation::kTagged:  // Fall through.
     case MachineRepresentation::kWord64:
       opcode = kMips64Uld;
       break;
     case MachineRepresentation::kSimd128:
       opcode = kMips64MsaLd;
       break;
-    case MachineRepresentation::kSimd1x4:  // Fall through.
-    case MachineRepresentation::kSimd1x8:  // Fall through.
-    case MachineRepresentation::kSimd1x16:  // Fall through.
     case MachineRepresentation::kNone:
       UNREACHABLE();
       return;
   }
 
   if (g.CanBeImmediate(index, opcode)) {
     Emit(opcode | AddressingModeField::encode(kMode_MRI),
          g.DefineAsRegister(node), g.UseRegister(base), g.UseImmediate(index));
   } else {
     InstructionOperand addr_reg = g.TempRegister();
@@ skipping 32 matching lines @@
       break;
     case MachineRepresentation::kTaggedSigned:   // Fall through.
     case MachineRepresentation::kTaggedPointer:  // Fall through.
     case MachineRepresentation::kTagged:  // Fall through.
     case MachineRepresentation::kWord64:
       opcode = kMips64Usd;
       break;
     case MachineRepresentation::kSimd128:
       opcode = kMips64MsaSt;
       break;
-    case MachineRepresentation::kSimd1x4:  // Fall through.
-    case MachineRepresentation::kSimd1x8:  // Fall through.
-    case MachineRepresentation::kSimd1x16:  // Fall through.
     case MachineRepresentation::kNone:
       UNREACHABLE();
       return;
   }
 
   if (g.CanBeImmediate(index, opcode)) {
     Emit(opcode | AddressingModeField::encode(kMode_MRI), g.NoOutput(),
          g.UseRegister(base), g.UseImmediate(index),
          g.UseRegisterOrImmediateZero(value));
   } else {
@@ skipping 30 matching lines @@
       opcode = kCheckedLoadFloat32;
       break;
     case MachineRepresentation::kFloat64:
       opcode = kCheckedLoadFloat64;
       break;
     case MachineRepresentation::kBit:
     case MachineRepresentation::kTaggedSigned:   // Fall through.
     case MachineRepresentation::kTaggedPointer:  // Fall through.
     case MachineRepresentation::kTagged:
     case MachineRepresentation::kSimd128:
-    case MachineRepresentation::kSimd1x4:   // Fall through.
-    case MachineRepresentation::kSimd1x8:   // Fall through.
-    case MachineRepresentation::kSimd1x16:  // Fall through.
     case MachineRepresentation::kNone:
       UNREACHABLE();
       return;
   }
   InstructionOperand offset_operand = g.CanBeImmediate(offset, opcode)
                                           ? g.UseImmediate(offset)
                                           : g.UseRegister(offset);
 
   InstructionOperand length_operand = (!g.CanBeImmediate(offset, opcode))
                                           ? g.CanBeImmediate(length, opcode)
@@ skipping 41 matching lines @@
       opcode = kCheckedStoreFloat32;
       break;
     case MachineRepresentation::kFloat64:
       opcode = kCheckedStoreFloat64;
       break;
     case MachineRepresentation::kBit:
     case MachineRepresentation::kTaggedSigned:   // Fall through.
     case MachineRepresentation::kTaggedPointer:  // Fall through.
     case MachineRepresentation::kTagged:
     case MachineRepresentation::kSimd128:
-    case MachineRepresentation::kSimd1x4:   // Fall through.
-    case MachineRepresentation::kSimd1x8:   // Fall through.
-    case MachineRepresentation::kSimd1x16:  // Fall through.
     case MachineRepresentation::kNone:
       UNREACHABLE();
       return;
   }
   InstructionOperand offset_operand = g.CanBeImmediate(offset, opcode)
                                           ? g.UseImmediate(offset)
                                           : g.UseRegister(offset);
 
   InstructionOperand length_operand = (!g.CanBeImmediate(offset, opcode))
                                           ? g.CanBeImmediate(length, opcode)
@@ skipping 725 matching lines @@
   V(F32x4)                \
   V(I32x4)                \
   V(I16x8)                \
   V(I8x16)
 
 #define SIMD_FORMAT_LIST(V) \
   V(32x4)                   \
   V(16x8)                   \
   V(8x16)
 
-#define SIMD_ZERO_OP_LIST(V) \
-  V(S128Zero)                \
-  V(S1x4Zero)                \
-  V(S1x8Zero)                \
-  V(S1x16Zero)
-
 #define SIMD_UNOP_LIST(V)                              \
   V(F32x4SConvertI32x4, kMips64F32x4SConvertI32x4)     \
   V(F32x4UConvertI32x4, kMips64F32x4UConvertI32x4)     \
   V(F32x4Abs, kMips64F32x4Abs)                         \
   V(F32x4Neg, kMips64F32x4Neg)                         \
   V(F32x4RecipApprox, kMips64F32x4RecipApprox)         \
   V(F32x4RecipSqrtApprox, kMips64F32x4RecipSqrtApprox) \
   V(I32x4SConvertF32x4, kMips64I32x4SConvertF32x4)     \
   V(I32x4UConvertF32x4, kMips64I32x4UConvertF32x4)     \
   V(I32x4Neg, kMips64I32x4Neg)                         \
   V(I16x8Neg, kMips64I16x8Neg)                         \
   V(I8x16Neg, kMips64I8x16Neg)                         \
   V(S128Not, kMips64S128Not)                           \
-  V(S1x4Not, kMips64S128Not)                           \
   V(S1x4AnyTrue, kMips64S1x4AnyTrue)                   \
   V(S1x4AllTrue, kMips64S1x4AllTrue)                   \
-  V(S1x8Not, kMips64S128Not)                           \
   V(S1x8AnyTrue, kMips64S1x8AnyTrue)                   \
   V(S1x8AllTrue, kMips64S1x8AllTrue)                   \
-  V(S1x16Not, kMips64S128Not)                          \
   V(S1x16AnyTrue, kMips64S1x16AnyTrue)                 \
   V(S1x16AllTrue, kMips64S1x16AllTrue)
 
 #define SIMD_SHIFT_OP_LIST(V) \
   V(I32x4Shl)                 \
   V(I32x4ShrS)                \
   V(I32x4ShrU)                \
   V(I16x8Shl)                 \
   V(I16x8ShrS)                \
   V(I16x8ShrU)                \
@@ skipping 53 matching lines @@
   V(I8x16MaxU, kMips64I8x16MaxU)                 \
   V(I8x16MinU, kMips64I8x16MinU)                 \
   V(I8x16Eq, kMips64I8x16Eq)                     \
   V(I8x16Ne, kMips64I8x16Ne)                     \
   V(I8x16GtS, kMips64I8x16GtS)                   \
   V(I8x16GeS, kMips64I8x16GeS)                   \
   V(I8x16GtU, kMips64I8x16GtU)                   \
   V(I8x16GeU, kMips64I8x16GeU)                   \
   V(S128And, kMips64S128And)                     \
   V(S128Or, kMips64S128Or)                       \
-  V(S128Xor, kMips64S128Xor)                     \
-  V(S1x4And, kMips64S128And)                     \
-  V(S1x4Or, kMips64S128Or)                       \
-  V(S1x4Xor, kMips64S128Xor)                     \
-  V(S1x8And, kMips64S128And)                     \
-  V(S1x8Or, kMips64S128Or)                       \
-  V(S1x8Xor, kMips64S128Xor)                     \
-  V(S1x16And, kMips64S128And)                    \
-  V(S1x16Or, kMips64S128Or)                      \
-  V(S1x16Xor, kMips64S128Xor)
+  V(S128Xor, kMips64S128Xor)
 
-#define SIMD_VISIT_ZERO_OP(Name)                      \
-  void InstructionSelector::Visit##Name(Node* node) { \
-    Mips64OperandGenerator g(this);                   \
-    Emit(kMips64S128Zero, g.DefineSameAsFirst(node)); \
-  }
-SIMD_ZERO_OP_LIST(SIMD_VISIT_ZERO_OP)
-#undef SIMD_VISIT_ZERO_OP
+void InstructionSelector::VisitS128Zero(Node* node) {
+  Mips64OperandGenerator g(this);
+  Emit(kMips64S128Zero, g.DefineSameAsFirst(node));
+}
 
 #define SIMD_VISIT_SPLAT(Type)                               \
   void InstructionSelector::Visit##Type##Splat(Node* node) { \
     VisitRR(this, kMips64##Type##Splat, node);               \
   }
 SIMD_TYPE_LIST(SIMD_VISIT_SPLAT)
 #undef SIMD_VISIT_SPLAT
 
 #define SIMD_VISIT_EXTRACT_LANE(Type)                              \
   void InstructionSelector::Visit##Type##ExtractLane(Node* node) { \
@@ skipping 23 matching lines @@
 SIMD_SHIFT_OP_LIST(SIMD_VISIT_SHIFT_OP)
 #undef SIMD_VISIT_SHIFT_OP
 
 #define SIMD_VISIT_BINOP(Name, instruction)           \
   void InstructionSelector::Visit##Name(Node* node) { \
     VisitRRR(this, instruction, node);                \
   }
 SIMD_BINOP_LIST(SIMD_VISIT_BINOP)
 #undef SIMD_VISIT_BINOP
 
-#define SIMD_VISIT_SELECT_OP(format)                             \
-  void InstructionSelector::VisitS##format##Select(Node* node) { \
-    VisitRRRR(this, kMips64S##format##Select, node);             \
-  }
-SIMD_FORMAT_LIST(SIMD_VISIT_SELECT_OP)
-#undef SIMD_VISIT_SELECT_OP
+void InstructionSelector::VisitS128Select(Node* node) {
+  VisitRRRR(this, kMips64S128Select, node);
+}
 
 // static
 MachineOperatorBuilder::Flags
 InstructionSelector::SupportedMachineOperatorFlags() {
   MachineOperatorBuilder::Flags flags = MachineOperatorBuilder::kNoFlags;
   return flags | MachineOperatorBuilder::kWord32Ctz |
          MachineOperatorBuilder::kWord64Ctz |
          MachineOperatorBuilder::kWord32Popcnt |
          MachineOperatorBuilder::kWord64Popcnt |
          MachineOperatorBuilder::kWord32ShiftIsSafe |
@@ skipping 20 matching lines @@
   } else {
     DCHECK(kArchVariant == kMips64r2);
     return MachineOperatorBuilder::AlignmentRequirements::
         NoUnalignedAccessSupport();
   }
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8