[turbofan] Optimize division/modulus by constant.

test/unittests/compiler/machine-operator-unittest.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/compiler/operator-properties-inl.h"
 #include "testing/gtest-support.h"
 
 namespace v8 {
 namespace internal {
@@ skipping 155 matching lines @@
   return os << IrOpcode::Mnemonic(pop.opcode);
 }
 
 
 const PureOperator kPureOperators[] = {
 #define PURE(Name, input_count, output_count)                      \
   {                                                                \
     &MachineOperatorBuilder::Name, IrOpcode::k##Name, input_count, \
         output_count                                               \
   }
-    PURE(Word32And, 2, 1),              PURE(Word32Or, 2, 1),
-    PURE(Word32Xor, 2, 1),              PURE(Word32Shl, 2, 1),
-    PURE(Word32Shr, 2, 1),              PURE(Word32Sar, 2, 1),
-    PURE(Word32Ror, 2, 1),              PURE(Word32Equal, 2, 1),
-    PURE(Word64And, 2, 1),              PURE(Word64Or, 2, 1),
-    PURE(Word64Xor, 2, 1),              PURE(Word64Shl, 2, 1),
-    PURE(Word64Shr, 2, 1),              PURE(Word64Sar, 2, 1),
-    PURE(Word64Ror, 2, 1),              PURE(Word64Equal, 2, 1),
-    PURE(Int32Add, 2, 1),               PURE(Int32AddWithOverflow, 2, 2),
-    PURE(Int32Sub, 2, 1),               PURE(Int32SubWithOverflow, 2, 2),
-    PURE(Int32Mul, 2, 1),               PURE(Int32Div, 2, 1),
-    PURE(Uint32Div, 2, 1),              PURE(Int32Mod, 2, 1),
-    PURE(Uint32Mod, 2, 1),              PURE(Int32LessThan, 2, 1),
-    PURE(Int32LessThanOrEqual, 2, 1),   PURE(Uint32LessThan, 2, 1),
-    PURE(Uint32LessThanOrEqual, 2, 1),  PURE(Int64Add, 2, 1),
-    PURE(Int64Sub, 2, 1),               PURE(Int64Mul, 2, 1),
-    PURE(Int64Div, 2, 1),               PURE(Uint64Div, 2, 1),
-    PURE(Int64Mod, 2, 1),               PURE(Uint64Mod, 2, 1),
-    PURE(Int64LessThan, 2, 1),          PURE(Int64LessThanOrEqual, 2, 1),
-    PURE(Uint64LessThan, 2, 1),         PURE(ChangeFloat32ToFloat64, 1, 1),
-    PURE(ChangeFloat64ToInt32, 1, 1),   PURE(ChangeFloat64ToUint32, 1, 1),
-    PURE(ChangeInt32ToInt64, 1, 1),     PURE(ChangeUint32ToFloat64, 1, 1),
-    PURE(ChangeUint32ToUint64, 1, 1),   PURE(TruncateFloat64ToFloat32, 1, 1),
-    PURE(TruncateFloat64ToInt32, 1, 1), PURE(TruncateInt64ToInt32, 1, 1),
-    PURE(Float64Add, 2, 1),             PURE(Float64Sub, 2, 1),
-    PURE(Float64Mul, 2, 1),             PURE(Float64Div, 2, 1),
-    PURE(Float64Mod, 2, 1),             PURE(Float64Sqrt, 1, 1),
-    PURE(Float64Equal, 2, 1),           PURE(Float64LessThan, 2, 1),
-    PURE(Float64LessThanOrEqual, 2, 1), PURE(LoadStackPointer, 0, 1)
+    PURE(Word32And, 2, 1),                PURE(Word32Or, 2, 1),
+    PURE(Word32Xor, 2, 1),                PURE(Word32Shl, 2, 1),
+    PURE(Word32Shr, 2, 1),                PURE(Word32Sar, 2, 1),
+    PURE(Word32Ror, 2, 1),                PURE(Word32Equal, 2, 1),
+    PURE(Word64And, 2, 1),                PURE(Word64Or, 2, 1),
+    PURE(Word64Xor, 2, 1),                PURE(Word64Shl, 2, 1),
+    PURE(Word64Shr, 2, 1),                PURE(Word64Sar, 2, 1),
+    PURE(Word64Ror, 2, 1),                PURE(Word64Equal, 2, 1),
+    PURE(Int32Add, 2, 1),                 PURE(Int32AddWithOverflow, 2, 2),
+    PURE(Int32Sub, 2, 1),                 PURE(Int32SubWithOverflow, 2, 2),
+    PURE(Int32Mul, 2, 1),                 PURE(Int32MulHigh, 2, 1),
+    PURE(Int32Div, 2, 1),                 PURE(Uint32Div, 2, 1),
+    PURE(Int32Mod, 2, 1),                 PURE(Uint32Mod, 2, 1),
+    PURE(Int32LessThan, 2, 1),            PURE(Int32LessThanOrEqual, 2, 1),
+    PURE(Uint32LessThan, 2, 1),           PURE(Uint32LessThanOrEqual, 2, 1),
+    PURE(Int64Add, 2, 1),                 PURE(Int64Sub, 2, 1),
+    PURE(Int64Mul, 2, 1),                 PURE(Int64Div, 2, 1),
+    PURE(Uint64Div, 2, 1),                PURE(Int64Mod, 2, 1),
+    PURE(Uint64Mod, 2, 1),                PURE(Int64LessThan, 2, 1),
+    PURE(Int64LessThanOrEqual, 2, 1),     PURE(Uint64LessThan, 2, 1),
+    PURE(ChangeFloat32ToFloat64, 1, 1),   PURE(ChangeFloat64ToInt32, 1, 1),
+    PURE(ChangeFloat64ToUint32, 1, 1),    PURE(ChangeInt32ToInt64, 1, 1),
+    PURE(ChangeUint32ToFloat64, 1, 1),    PURE(ChangeUint32ToUint64, 1, 1),
+    PURE(TruncateFloat64ToFloat32, 1, 1), PURE(TruncateFloat64ToInt32, 1, 1),
+    PURE(TruncateInt64ToInt32, 1, 1),     PURE(Float64Add, 2, 1),
+    PURE(Float64Sub, 2, 1),               PURE(Float64Mul, 2, 1),
+    PURE(Float64Div, 2, 1),               PURE(Float64Mod, 2, 1),
+    PURE(Float64Sqrt, 1, 1),              PURE(Float64Equal, 2, 1),
+    PURE(Float64LessThan, 2, 1),          PURE(Float64LessThanOrEqual, 2, 1),
+    PURE(LoadStackPointer, 0, 1)
 #undef PURE
 };
 
 
 typedef MachineOperatorTestWithParam<PureOperator> MachinePureOperatorTest;
 
 }  // namespace
 
 
 TEST_P(MachinePureOperatorTest, InstancesAreGloballyShared) {
@@ skipping 88 matching lines @@
   EXPECT_EQ(machine.Uint64Div(), machine.UintDiv());
   EXPECT_EQ(machine.Int64Mod(), machine.IntMod());
   EXPECT_EQ(machine.Uint64Mod(), machine.UintMod());
   EXPECT_EQ(machine.Int64LessThan(), machine.IntLessThan());
   EXPECT_EQ(machine.Int64LessThanOrEqual(), machine.IntLessThanOrEqual());
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8