[turbofan] Add Int32AddWithOverflow machine operator.

test/cctest/compiler/test-instruction-selector-arm.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 <list>
 
 #include "test/cctest/compiler/instruction-selector-tester.h"
 #include "test/cctest/compiler/value-helper.h"
 
 using namespace v8::internal;
@@ skipping 207 matching lines @@
           CHECK_EQ(1, m.code.size());
           CHECK_EQ(dpi.reverse_arch_opcode, m.code[0]->arch_opcode());
           CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
         }
       }
     }
   }
 }
 
 
+TEST(InstructionSelectorInt32AddWithOverflowP) {
+  {
+    InstructionSelectorTester m;
+    m.Return(m.Projection(
+        1, m.Int32AddWithOverflow(m.Parameter(0), m.Parameter(1))));
+    m.SelectInstructions();
+    CHECK_EQ(1, m.code.size());
+    CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+    CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
+    CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
+    CHECK_EQ(kOverflow, m.code[0]->flags_condition());
+    CHECK_EQ(2, m.code[0]->InputCount());
+    CHECK_EQ(1, m.code[0]->OutputCount());
+  }
+  {
+    InstructionSelectorTester m;
+    m.Return(m.Projection(
+        0, m.Int32AddWithOverflow(m.Parameter(0), m.Parameter(1))));
+    m.SelectInstructions();
+    CHECK_EQ(1, m.code.size());
+    CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+    CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
+    CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
+    CHECK_EQ(2, m.code[0]->InputCount());
+    CHECK_EQ(1, m.code[0]->OutputCount());
+  }
+  {
+    InstructionSelectorTester m;
+    Node* add = m.Int32AddWithOverflow(m.Parameter(0), m.Parameter(1));
+    m.Return(m.Word32Equal(m.Projection(0, add), m.Projection(1, add)));
+    m.SelectInstructions();
+    CHECK_LE(1, m.code.size());
+    CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+    CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
+    CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
+    CHECK_EQ(kOverflow, m.code[0]->flags_condition());
+    CHECK_EQ(2, m.code[0]->InputCount());
+    CHECK_EQ(2, m.code[0]->OutputCount());
+  }
+}
+
+
+TEST(InstructionSelectorInt32AddWithOverflowImm) {
+  Immediates immediates;
+  for (Immediates::const_iterator i = immediates.begin(); i != immediates.end();
+       ++i) {
+    int32_t imm = *i;
+    {
+      InstructionSelectorTester m;
+      m.Return(m.Projection(
+          1, m.Int32AddWithOverflow(m.Parameter(0), m.Int32Constant(imm))));
+      m.SelectInstructions();
+      CHECK_EQ(1, m.code.size());
+      CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+      CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
+      CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
+      CHECK_EQ(kOverflow, m.code[0]->flags_condition());
+      CHECK_EQ(2, m.code[0]->InputCount());
+      CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
+      CHECK_EQ(1, m.code[0]->OutputCount());
+    }
+    {
+      InstructionSelectorTester m;
+      m.Return(m.Projection(
+          1, m.Int32AddWithOverflow(m.Int32Constant(imm), m.Parameter(0))));
+      m.SelectInstructions();
+      CHECK_EQ(1, m.code.size());
+      CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+      CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
+      CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
+      CHECK_EQ(kOverflow, m.code[0]->flags_condition());
+      CHECK_EQ(2, m.code[0]->InputCount());
+      CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
+      CHECK_EQ(1, m.code[0]->OutputCount());
+    }
+    {
+      InstructionSelectorTester m;
+      m.Return(m.Projection(
+          0, m.Int32AddWithOverflow(m.Parameter(0), m.Int32Constant(imm))));
+      m.SelectInstructions();
+      CHECK_EQ(1, m.code.size());
+      CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+      CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
+      CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
+      CHECK_EQ(2, m.code[0]->InputCount());
+      CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
+      CHECK_EQ(1, m.code[0]->OutputCount());
+    }
+    {
+      InstructionSelectorTester m;
+      m.Return(m.Projection(
+          0, m.Int32AddWithOverflow(m.Int32Constant(imm), m.Parameter(0))));
+      m.SelectInstructions();
+      CHECK_EQ(1, m.code.size());
+      CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+      CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
+      CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
+      CHECK_EQ(2, m.code[0]->InputCount());
+      CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
+      CHECK_EQ(1, m.code[0]->OutputCount());
+    }
+    {
+      InstructionSelectorTester m;
+      Node* add = m.Int32AddWithOverflow(m.Parameter(0), m.Int32Constant(imm));
+      m.Return(m.Word32Equal(m.Projection(0, add), m.Projection(1, add)));
+      m.SelectInstructions();
+      CHECK_LE(1, m.code.size());
+      CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+      CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
+      CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
+      CHECK_EQ(kOverflow, m.code[0]->flags_condition());
+      CHECK_EQ(2, m.code[0]->InputCount());
+      CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
+      CHECK_EQ(2, m.code[0]->OutputCount());
+    }
+    {
+      InstructionSelectorTester m;
+      Node* add = m.Int32AddWithOverflow(m.Int32Constant(imm), m.Parameter(0));
+      m.Return(m.Word32Equal(m.Projection(0, add), m.Projection(1, add)));
+      m.SelectInstructions();
+      CHECK_LE(1, m.code.size());
+      CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
+      CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
+      CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
+      CHECK_EQ(kOverflow, m.code[0]->flags_condition());
+      CHECK_EQ(2, m.code[0]->InputCount());
+      CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
+      CHECK_EQ(2, m.code[0]->OutputCount());
+    }
+  }
+}
+
+
 TEST(InstructionSelectorWord32AndAndWord32XorWithMinus1P) {
   {
     InstructionSelectorTester m;
     m.Return(m.Word32And(m.Parameter(0),
                          m.Word32Xor(m.Int32Constant(-1), m.Parameter(1))));
     m.SelectInstructions();
     CHECK_EQ(1, m.code.size());
     CHECK_EQ(kArmBic, m.code[0]->arch_opcode());
     CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
   }
@@ skipping 1064 matching lines @@
       m.Return(m.Int32Constant(0));
       m.SelectInstructions();
       CHECK_EQ(1, m.code.size());
       CHECK_EQ(dpi.test_arch_opcode, m.code[0]->arch_opcode());
       CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
       CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
       CHECK_EQ(kEqual, m.code[0]->flags_condition());
     }
   }
 }