[turbofan] introduce Int32/64AbsWithOverflow optional operator

src/compiler/s390/instruction-selector-s390.cc

 // Copyright 2015 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/compiler/instruction-selector-impl.h"
 #include "src/compiler/node-matchers.h"
 #include "src/compiler/node-properties.h"
 #include "src/s390/frames-s390.h"
 
@@ skipping 371 matching lines @@
     //       return true;
     //     default:
     //       return false;
     //   }
     // }
     case IrOpcode::kLoad: {
       LoadRepresentation load_rep = LoadRepresentationOf(node->op());
       switch (load_rep.representation()) {
         case MachineRepresentation::kWord32:
           return true;
+        case MachineRepresentation::kWord8:
+          if (load_rep.IsSigned())
+            return false;
+          else
+            return true;
         default:
           return false;
       }
     }
     default:
       return false;
   }
 #endif
 }
 
@@ skipping 106 matching lines @@
 
 // Generate The following variations:
 //   VisitWord32UnaryOp, VisitWord32BinOp,
 //   VisitWord64UnaryOp, VisitWord64BinOp,
 //   VisitFloat32UnaryOp, VisitFloat32BinOp,
 //   VisitFloat64UnaryOp, VisitFloat64BinOp
 #define VISIT_OP_LIST_32(V)                                            \
   V(Word32, Unary, [](ArchOpcode opcode) {                             \
     return opcode == kS390_LoadWordS32 || opcode == kS390_LoadWordU32; \
   })                                                                   \
+  V(Word64, Unary,                                                     \
+    [](ArchOpcode opcode) { return opcode == kS390_LoadWord64; })      \
   V(Float32, Unary,                                                    \
     [](ArchOpcode opcode) { return opcode == kS390_LoadFloat32; })     \
   V(Float64, Unary,                                                    \
     [](ArchOpcode opcode) { return opcode == kS390_LoadDouble; })      \
   V(Word32, Bin, [](ArchOpcode opcode) {                               \
     return opcode == kS390_LoadWordS32 || opcode == kS390_LoadWordU32; \
   })                                                                   \
   V(Float32, Bin,                                                      \
     [](ArchOpcode opcode) { return opcode == kS390_LoadFloat32; })     \
   V(Float64, Bin, [](ArchOpcode opcode) { return opcode == kS390_LoadDouble; })
 
 #if V8_TARGET_ARCH_S390X
 #define VISIT_OP_LIST(V)                                          \
   VISIT_OP_LIST_32(V)                                             \
-  V(Word64, Unary,                                                \
-    [](ArchOpcode opcode) { return opcode == kS390_LoadWord64; }) \
   V(Word64, Bin, [](ArchOpcode opcode) { return opcode == kS390_LoadWord64; })
 #else
 #define VISIT_OP_LIST VISIT_OP_LIST_32
 #endif
 
 #define DECLARE_VISIT_HELPER_FUNCTIONS(type1, type2, canCombineWithLoad)  \
   static inline void Visit##type1##type2##Op(                             \
       InstructionSelector* selector, Node* node, InstructionCode opcode,  \
       OperandModes operand_mode, FlagsContinuation* cont) {               \
     Visit##type2##Op(selector, node, opcode, operand_mode, cont,          \
@@ skipping 691 matching lines @@
 #if V8_TARGET_ARCH_S390X
 void InstructionSelector::VisitWord64Ctz(Node* node) { UNREACHABLE(); }
 #endif
 
 void InstructionSelector::VisitWord32ReverseBits(Node* node) { UNREACHABLE(); }
 
 #if V8_TARGET_ARCH_S390X
 void InstructionSelector::VisitWord64ReverseBits(Node* node) { UNREACHABLE(); }
 #endif
 
+void InstructionSelector::VisitInt32AbsWithOverflow(Node* node) {
+  VisitWord32UnaryOp(this, node, kS390_Abs32, OperandMode::kNone);
+}
+
+void InstructionSelector::VisitInt64AbsWithOverflow(Node* node) {
+  VisitWord64UnaryOp(this, node, kS390_Abs64, OperandMode::kNone);
+}
+
 void InstructionSelector::VisitWord64ReverseBytes(Node* node) {
   S390OperandGenerator g(this);
   Emit(kS390_LoadReverse64RR, g.DefineAsRegister(node),
        g.UseRegister(node->InputAt(0)));
 }
 
 void InstructionSelector::VisitWord32ReverseBytes(Node* node) {
   S390OperandGenerator g(this);
   NodeMatcher input(node->InputAt(0));
   if (CanCover(node, input.node()) && input.IsLoad()) {
@@ skipping 775 matching lines @@
               case IrOpcode::kInt32SubWithOverflow:
                 cont->OverwriteAndNegateIfEqual(kOverflow);
                 return VisitWord32BinOp(selector, node, kS390_Sub32,
                                         SubOperandMode, cont);
               case IrOpcode::kInt32MulWithOverflow:
                 cont->OverwriteAndNegateIfEqual(kNotEqual);
                 return VisitWord32BinOp(
                     selector, node, kS390_Mul32WithOverflow,
                     OperandMode::kInt32Imm | OperandMode::kAllowDistinctOps,
                     cont);
+              case IrOpcode::kInt32AbsWithOverflow:
+                cont->OverwriteAndNegateIfEqual(kOverflow);
+                return VisitWord32UnaryOp(selector, node, kS390_Abs32,
+                                          OperandMode::kNone, cont);
 #if V8_TARGET_ARCH_S390X
+              case IrOpcode::kInt64AbsWithOverflow:
+                cont->OverwriteAndNegateIfEqual(kOverflow);
+                return VisitWord64UnaryOp(selector, node, kS390_Abs64,
+                                          OperandMode::kNone, cont);
               case IrOpcode::kInt64AddWithOverflow:
                 cont->OverwriteAndNegateIfEqual(kOverflow);
                 return VisitWord64BinOp(selector, node, kS390_Add64,
                                         AddOperandMode, cont);
               case IrOpcode::kInt64SubWithOverflow:
                 cont->OverwriteAndNegateIfEqual(kOverflow);
                 return VisitWord64BinOp(selector, node, kS390_Sub64,
                                         SubOperandMode, cont);
 #endif
               default:
@@ skipping 392 matching lines @@
   return MachineOperatorBuilder::kFloat32RoundDown |
          MachineOperatorBuilder::kFloat64RoundDown |
          MachineOperatorBuilder::kFloat32RoundUp |
          MachineOperatorBuilder::kFloat64RoundUp |
          MachineOperatorBuilder::kFloat32RoundTruncate |
          MachineOperatorBuilder::kFloat64RoundTruncate |
          MachineOperatorBuilder::kFloat64RoundTiesAway |
          MachineOperatorBuilder::kWord32Popcnt |
          MachineOperatorBuilder::kWord32ReverseBytes |
          MachineOperatorBuilder::kWord64ReverseBytes |
+         MachineOperatorBuilder::kInt32AbsWithOverflow |
+         MachineOperatorBuilder::kInt64AbsWithOverflow |
          MachineOperatorBuilder::kWord64Popcnt;
 }
 
 // static
 MachineOperatorBuilder::AlignmentRequirements
 InstructionSelector::AlignmentRequirements() {
   return MachineOperatorBuilder::AlignmentRequirements::
       FullUnalignedAccessSupport();
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8