[turbofan] Numeric type feedback for mul, div and mod.

src/compiler/simplified-operator.cc

 // Copyright 2012 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/simplified-operator.h"
 
 #include "src/base/lazy-instance.h"
 #include "src/compiler/opcodes.h"
 #include "src/compiler/operator.h"
 #include "src/types.h"
@@ skipping 201 matching lines @@
   return OpParameter<CheckTaggedHoleMode>(op);
 }
 
 Type* TypeOf(const Operator* op) {
   DCHECK_EQ(IrOpcode::kTypeGuard, op->opcode());
   return OpParameter<Type*>(op);
 }
 
 BinaryOperationHints::Hint BinaryOperationHintOf(const Operator* op) {
   DCHECK(op->opcode() == IrOpcode::kSpeculativeNumberAdd ||
-         op->opcode() == IrOpcode::kSpeculativeNumberSubtract);
+         op->opcode() == IrOpcode::kSpeculativeNumberSubtract ||
+         op->opcode() == IrOpcode::kSpeculativeNumberMultiply ||
+         op->opcode() == IrOpcode::kSpeculativeNumberDivide ||
+         op->opcode() == IrOpcode::kSpeculativeNumberModulus);
   return OpParameter<BinaryOperationHints::Hint>(op);
 }
 
 CompareOperationHints::Hint CompareOperationHintOf(const Operator* op) {
   DCHECK(op->opcode() == IrOpcode::kSpeculativeNumberEqual ||
          op->opcode() == IrOpcode::kSpeculativeNumberLessThan ||
          op->opcode() == IrOpcode::kSpeculativeNumberLessThanOrEqual);
   return OpParameter<CompareOperationHints::Hint>(op);
 }
 
@@ skipping 55 matching lines @@
   V(ObjectIsCallable, Operator::kNoProperties, 1)          \
   V(ObjectIsNumber, Operator::kNoProperties, 1)            \
   V(ObjectIsReceiver, Operator::kNoProperties, 1)          \
   V(ObjectIsSmi, Operator::kNoProperties, 1)               \
   V(ObjectIsString, Operator::kNoProperties, 1)            \
   V(ObjectIsUndetectable, Operator::kNoProperties, 1)      \
   V(StringEqual, Operator::kCommutative, 2)                \
   V(StringLessThan, Operator::kNoProperties, 2)            \
   V(StringLessThanOrEqual, Operator::kNoProperties, 2)
 
+#define SPECULATIVE_BINOP_LIST(V) \
+  V(SpeculativeNumberAdd)         \
+  V(SpeculativeNumberSubtract)    \
+  V(SpeculativeNumberDivide)      \
+  V(SpeculativeNumberMultiply)    \
+  V(SpeculativeNumberModulus)
+
 #define CHECKED_OP_LIST(V) \
   V(CheckedUint32ToInt32)  \
   V(CheckedFloat64ToInt32) \
   V(CheckedTaggedToInt32)  \
   V(CheckedTaggedToFloat64)
 
 struct SimplifiedOperatorGlobalCache final {
 #define PURE(Name, properties, input_count)                                \
   struct Name##Operator final : public Operator {                          \
     Name##Operator()                                                       \
@@ skipping 181 matching lines @@
 #define STORE_BUFFER(Type, type, TYPE, ctype, size) \
   case kExternal##Type##Array:                      \
     return &cache_.kStoreBuffer##Type;
     TYPED_ARRAYS(STORE_BUFFER)
 #undef STORE_BUFFER
   }
   UNREACHABLE();
   return nullptr;
 }
 
-const Operator* SimplifiedOperatorBuilder::SpeculativeNumberAdd(
-    BinaryOperationHints::Hint hint) {
-  return new (zone()) Operator1<BinaryOperationHints::Hint>(
-      IrOpcode::kSpeculativeNumberAdd, Operator::kPure, "SpeculativeNumberAdd",
-      2, 1, 1, 1, 1, 1, hint);
-}
-
-const Operator* SimplifiedOperatorBuilder::SpeculativeNumberSubtract(
-    BinaryOperationHints::Hint hint) {
-  return new (zone()) Operator1<BinaryOperationHints::Hint>(
-      IrOpcode::kSpeculativeNumberSubtract, Operator::kPure,
-      "SpeculativeNumberSubtract", 2, 1, 1, 1, 1, 1, hint);
-}
+#define SPECULATIVE_BINOP_DEF(Name)                                         \
+  const Operator* SimplifiedOperatorBuilder::Name(                          \
+      BinaryOperationHints::Hint hint) {                                    \
+    return new (zone()) Operator1<BinaryOperationHints::Hint>(              \
+        IrOpcode::k##Name, Operator::kPure, #Name, 2, 1, 1, 1, 1, 1, hint); \
+  }
+SPECULATIVE_BINOP_LIST(SPECULATIVE_BINOP_DEF)
+#undef SPECULATIVE_BINOP_DEF
 
 const Operator* SimplifiedOperatorBuilder::SpeculativeNumberEqual(
     CompareOperationHints::Hint hint) {
   return new (zone()) Operator1<CompareOperationHints::Hint>(
       IrOpcode::kSpeculativeNumberEqual, Operator::kPure,
       "SpeculativeNumberEqual", 2, 1, 1, 1, 1, 1, hint);
 }
 
 const Operator* SimplifiedOperatorBuilder::SpeculativeNumberLessThan(
     CompareOperationHints::Hint hint) {
@@ skipping 23 matching lines @@
         Operator1<Type>(IrOpcode::k##Name, Operator::kNoThrow | properties,    \
                         #Name, value_input_count, 1, control_input_count,      \
                         output_count, 1, 0, access);                           \
   }
 ACCESS_OP_LIST(ACCESS)
 #undef ACCESS
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8