Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(320)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: test/cctest/compiler/test-instruction-selector-arm.cc

Issue 469743002: [turbofan] Refactor the InstructionSelector tests. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: ARM64 Created 6 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « test/cctest/compiler/test-instruction-selector.cc ('k') | test/cctest/compiler/test-instruction-selector-arm64.cc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/cctest/compiler/test-instruction-selector-arm.cc
diff --git a/test/cctest/compiler/test-instruction-selector-arm.cc b/test/cctest/compiler/test-instruction-selector-arm.cc
deleted file mode 100644
index f62e09f978e9f4744669ca100a2c60cd397fc15d..0000000000000000000000000000000000000000
--- a/test/cctest/compiler/test-instruction-selector-arm.cc
+++ /dev/null
@@ -1,1863 +0,0 @@
-// 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;
-using namespace v8::internal::compiler;
-
-namespace {
-
-typedef RawMachineAssembler::Label MLabel;
-
-struct DPI {
- Operator* op;
- ArchOpcode arch_opcode;
- ArchOpcode reverse_arch_opcode;
- ArchOpcode test_arch_opcode;
-};
-
-
-// ARM data processing instructions.
-class DPIs V8_FINAL : public std::list<DPI>, private HandleAndZoneScope {
- public:
- DPIs() {
- MachineOperatorBuilder machine(main_zone());
- DPI and_ = {machine.Word32And(), kArmAnd, kArmAnd, kArmTst};
- push_back(and_);
- DPI or_ = {machine.Word32Or(), kArmOrr, kArmOrr, kArmOrr};
- push_back(or_);
- DPI xor_ = {machine.Word32Xor(), kArmEor, kArmEor, kArmTeq};
- push_back(xor_);
- DPI add = {machine.Int32Add(), kArmAdd, kArmAdd, kArmCmn};
- push_back(add);
- DPI sub = {machine.Int32Sub(), kArmSub, kArmRsb, kArmCmp};
- push_back(sub);
- }
-};
-
-
-struct ODPI {
- Operator* op;
- ArchOpcode arch_opcode;
- ArchOpcode reverse_arch_opcode;
-};
-
-
-// ARM data processing instructions with overflow.
-class ODPIs V8_FINAL : public std::list<ODPI>, private HandleAndZoneScope {
- public:
- ODPIs() {
- MachineOperatorBuilder machine(main_zone());
- ODPI add = {machine.Int32AddWithOverflow(), kArmAdd, kArmAdd};
- push_back(add);
- ODPI sub = {machine.Int32SubWithOverflow(), kArmSub, kArmRsb};
- push_back(sub);
- }
-};
-
-
-// ARM immediates.
-class Immediates V8_FINAL : public std::list<int32_t> {
- public:
- Immediates() {
- for (uint32_t imm8 = 0; imm8 < 256; ++imm8) {
- for (uint32_t rot4 = 0; rot4 < 32; rot4 += 2) {
- int32_t imm = (imm8 >> rot4) | (imm8 << (32 - rot4));
- CHECK(Assembler::ImmediateFitsAddrMode1Instruction(imm));
- push_back(imm);
- }
- }
- }
-};
-
-
-struct Shift {
- Operator* op;
- int32_t i_low; // lowest possible immediate
- int32_t i_high; // highest possible immediate
- AddressingMode i_mode; // Operand2_R_<shift>_I
- AddressingMode r_mode; // Operand2_R_<shift>_R
-};
-
-
-// ARM shifts.
-class Shifts V8_FINAL : public std::list<Shift>, private HandleAndZoneScope {
- public:
- Shifts() {
- MachineOperatorBuilder machine(main_zone());
- Shift sar = {machine.Word32Sar(), 1, 32, kMode_Operand2_R_ASR_I,
- kMode_Operand2_R_ASR_R};
- Shift shl = {machine.Word32Shl(), 0, 31, kMode_Operand2_R_LSL_I,
- kMode_Operand2_R_LSL_R};
- Shift shr = {machine.Word32Shr(), 1, 32, kMode_Operand2_R_LSR_I,
- kMode_Operand2_R_LSR_R};
- push_back(sar);
- push_back(shl);
- push_back(shr);
- }
-};
-
-} // namespace
-
-
-TEST(InstructionSelectorDPIP) {
- DPIs dpis;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- InstructionSelectorTester m;
- m.Return(m.NewNode(dpi.op, m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
- }
-}
-
-
-TEST(InstructionSelectorDPIImm) {
- DPIs dpis;
- Immediates immediates;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- for (Immediates::const_iterator j = immediates.begin();
- j != immediates.end(); ++j) {
- int32_t imm = *j;
- {
- InstructionSelectorTester m;
- m.Return(m.NewNode(dpi.op, m.Parameter(0), m.Int32Constant(imm)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.NewNode(dpi.op, m.Int32Constant(imm), m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorDPIAndShiftP) {
- DPIs dpis;
- Shifts shifts;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- for (Shifts::const_iterator j = shifts.begin(); j != shifts.end(); ++j) {
- Shift shift = *j;
- {
- InstructionSelectorTester m;
- m.Return(
- m.NewNode(dpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1), m.Parameter(2))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.NewNode(dpi.op,
- m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)),
- m.Parameter(2)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorDPIAndRotateRightP) {
- DPIs dpis;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror = m.Word32Or(
- m.Word32Shr(value, shift),
- m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)));
- m.Return(m.NewNode(dpi.op, m.Parameter(0), ror));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror =
- m.Word32Or(m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)),
- m.Word32Shr(value, shift));
- m.Return(m.NewNode(dpi.op, m.Parameter(0), ror));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror = m.Word32Or(
- m.Word32Shr(value, shift),
- m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)));
- m.Return(m.NewNode(dpi.op, ror, m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror =
- m.Word32Or(m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)),
- m.Word32Shr(value, shift));
- m.Return(m.NewNode(dpi.op, ror, m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- }
- }
-}
-
-
-TEST(InstructionSelectorDPIAndShiftImm) {
- DPIs dpis;
- Shifts shifts;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- for (Shifts::const_iterator j = shifts.begin(); j != shifts.end(); ++j) {
- Shift shift = *j;
- for (int32_t imm = shift.i_low; imm <= shift.i_high; ++imm) {
- {
- InstructionSelectorTester m;
- m.Return(m.NewNode(
- dpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1), m.Int32Constant(imm))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.NewNode(
- dpi.op, m.NewNode(shift.op, m.Parameter(0), m.Int32Constant(imm)),
- m.Parameter(1)));
- m.SelectInstructions();
- 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(InstructionSelectorODPIP) {
- ODPIs odpis;
- for (ODPIs::const_iterator i = odpis.begin(); i != odpis.end(); ++i) {
- ODPI odpi = *i;
- {
- InstructionSelectorTester m;
- m.Return(
- m.Projection(1, m.NewNode(odpi.op, m.Parameter(0), m.Parameter(1))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, 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_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(
- m.Projection(0, m.NewNode(odpi.op, m.Parameter(0), m.Parameter(1))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, 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_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Parameter(1));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, 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(InstructionSelectorODPIImm) {
- ODPIs odpis;
- Immediates immediates;
- for (ODPIs::const_iterator i = odpis.begin(); i != odpis.end(); ++i) {
- ODPI odpi = *i;
- for (Immediates::const_iterator j = immediates.begin();
- j != immediates.end(); ++j) {
- int32_t imm = *j;
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 1, m.NewNode(odpi.op, m.Parameter(0), m.Int32Constant(imm))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, 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_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 1, m.NewNode(odpi.op, m.Int32Constant(imm), m.Parameter(0))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, 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_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 0, m.NewNode(odpi.op, m.Parameter(0), m.Int32Constant(imm))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, 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_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 0, m.NewNode(odpi.op, m.Int32Constant(imm), m.Parameter(0))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, 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_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Int32Constant(imm));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, 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* node = m.NewNode(odpi.op, m.Int32Constant(imm), m.Parameter(0));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, 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(InstructionSelectorODPIAndShiftP) {
- ODPIs odpis;
- Shifts shifts;
- for (ODPIs::const_iterator i = odpis.begin(); i != odpis.end(); ++i) {
- ODPI odpi = *i;
- for (Shifts::const_iterator j = shifts.begin(); j != shifts.end(); ++j) {
- Shift shift = *j;
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 1, m.NewNode(odpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1), m.Parameter(2)))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 1, m.NewNode(odpi.op,
- m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)),
- m.Parameter(2))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 0, m.NewNode(odpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1), m.Parameter(2)))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 0, m.NewNode(odpi.op,
- m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)),
- m.Parameter(2))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- Node* node =
- m.NewNode(odpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1), m.Parameter(2)));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(2, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- Node* node = m.NewNode(
- odpi.op, m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)),
- m.Parameter(2));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(2, m.code[0]->OutputCount());
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorODPIAndShiftImm) {
- ODPIs odpis;
- Shifts shifts;
- for (ODPIs::const_iterator i = odpis.begin(); i != odpis.end(); ++i) {
- ODPI odpi = *i;
- for (Shifts::const_iterator j = shifts.begin(); j != shifts.end(); ++j) {
- Shift shift = *j;
- for (int32_t imm = shift.i_low; imm <= shift.i_high; ++imm) {
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(1, m.NewNode(odpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1),
- m.Int32Constant(imm)))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(2)));
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 1, m.NewNode(odpi.op, m.NewNode(shift.op, m.Parameter(0),
- m.Int32Constant(imm)),
- m.Parameter(1))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(2)));
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(0, m.NewNode(odpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1),
- m.Int32Constant(imm)))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(2)));
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Projection(
- 0, m.NewNode(odpi.op, m.NewNode(shift.op, m.Parameter(0),
- m.Int32Constant(imm)),
- m.Parameter(1))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_none, m.code[0]->flags_mode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(2)));
- CHECK_LE(1, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- Node* node = m.NewNode(
- odpi.op, m.Parameter(0),
- m.NewNode(shift.op, m.Parameter(1), m.Int32Constant(imm)));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(2)));
- CHECK_EQ(2, m.code[0]->OutputCount());
- }
- {
- InstructionSelectorTester m;
- Node* node = m.NewNode(odpi.op, m.NewNode(shift.op, m.Parameter(0),
- m.Int32Constant(imm)),
- m.Parameter(1));
- m.Return(m.Word32Equal(m.Projection(0, node), m.Projection(1, node)));
- m.SelectInstructions();
- CHECK_LE(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(2)));
- 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());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(m.Parameter(0),
- m.Word32Xor(m.Parameter(1), m.Int32Constant(-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());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(m.Word32Xor(m.Int32Constant(-1), m.Parameter(0)),
- 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());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(m.Word32Xor(m.Parameter(0), 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());
- }
-}
-
-
-TEST(InstructionSelectorWord32AndAndWord32XorWithMinus1AndShiftP) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(
- m.Parameter(0),
- m.Word32Xor(m.Int32Constant(-1),
- m.NewNode(shift.op, m.Parameter(1), m.Parameter(2)))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmBic, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(
- m.Parameter(0),
- m.Word32Xor(m.NewNode(shift.op, m.Parameter(1), m.Parameter(2)),
- m.Int32Constant(-1))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmBic, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(
- m.Word32Xor(m.Int32Constant(-1),
- m.NewNode(shift.op, m.Parameter(0), m.Parameter(1))),
- m.Parameter(2)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmBic, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(
- m.Word32Xor(m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)),
- m.Int32Constant(-1)),
- m.Parameter(2)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmBic, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- }
-}
-
-
-TEST(InstructionSelectorWord32XorWithMinus1P) {
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Xor(m.Int32Constant(-1), m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMvn, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Xor(m.Parameter(0), m.Int32Constant(-1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMvn, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
- }
-}
-
-
-TEST(InstructionSelectorWord32XorWithMinus1AndShiftP) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- {
- InstructionSelectorTester m;
- m.Return(
- m.Word32Xor(m.Int32Constant(-1),
- m.NewNode(shift.op, m.Parameter(0), m.Parameter(1))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMvn, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Xor(m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)),
- m.Int32Constant(-1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMvn, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- }
- }
-}
-
-
-TEST(InstructionSelectorShiftP) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- InstructionSelectorTester m;
- m.Return(m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMov, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- }
-}
-
-
-TEST(InstructionSelectorShiftImm) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- for (int32_t imm = shift.i_low; imm <= shift.i_high; ++imm) {
- InstructionSelectorTester m;
- m.Return(m.NewNode(shift.op, m.Parameter(0), m.Int32Constant(imm)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMov, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
- }
- }
-}
-
-
-TEST(InstructionSelectorRotateRightP) {
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(0);
- Node* shift = m.Parameter(1);
- m.Return(
- m.Word32Or(m.Word32Shr(value, shift),
- m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMov, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- }
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(0);
- Node* shift = m.Parameter(1);
- m.Return(
- m.Word32Or(m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)),
- m.Word32Shr(value, shift)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMov, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- }
-}
-
-
-TEST(InstructionSelectorRotateRightImm) {
- FOR_INPUTS(uint32_t, ror, i) {
- uint32_t shift = *i;
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(0);
- m.Return(m.Word32Or(m.Word32Shr(value, m.Int32Constant(shift)),
- m.Word32Shl(value, m.Int32Constant(32 - shift))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMov, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_I, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(shift, m.ToInt32(m.code[0]->InputAt(1)));
- }
- {
- InstructionSelectorTester m;
- Node* value = m.Parameter(0);
- m.Return(m.Word32Or(m.Word32Shl(value, m.Int32Constant(32 - shift)),
- m.Word32Shr(value, m.Int32Constant(shift))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMov, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_I, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(shift, m.ToInt32(m.code[0]->InputAt(1)));
- }
- }
-}
-
-
-TEST(InstructionSelectorInt32MulP) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mul(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMul, m.code[0]->arch_opcode());
-}
-
-
-TEST(InstructionSelectorInt32MulImm) {
- // x * (2^k + 1) -> (x >> k) + x
- for (int k = 1; k < 31; ++k) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mul(m.Parameter(0), m.Int32Constant((1 << k) + 1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_LSL_I, m.code[0]->addressing_mode());
- }
- // (2^k + 1) * x -> (x >> k) + x
- for (int k = 1; k < 31; ++k) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mul(m.Int32Constant((1 << k) + 1), m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmAdd, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_LSL_I, m.code[0]->addressing_mode());
- }
- // x * (2^k - 1) -> (x >> k) - x
- for (int k = 3; k < 31; ++k) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mul(m.Parameter(0), m.Int32Constant((1 << k) - 1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmRsb, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_LSL_I, m.code[0]->addressing_mode());
- }
- // (2^k - 1) * x -> (x >> k) - x
- for (int k = 3; k < 31; ++k) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mul(m.Int32Constant((1 << k) - 1), m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmRsb, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_LSL_I, m.code[0]->addressing_mode());
- }
-}
-
-
-TEST(InstructionSelectorWord32AndImm_ARMv7) {
- for (uint32_t width = 1; width <= 32; ++width) {
- InstructionSelectorTester m;
- m.Return(m.Word32And(m.Parameter(0),
- m.Int32Constant(0xffffffffu >> (32 - width))));
- m.SelectInstructions(ARMv7);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmUbfx, m.code[0]->arch_opcode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(0, m.ToInt32(m.code[0]->InputAt(1)));
- CHECK_EQ(width, m.ToInt32(m.code[0]->InputAt(2)));
- }
- for (uint32_t lsb = 0; lsb <= 31; ++lsb) {
- for (uint32_t width = 1; width < 32 - lsb; ++width) {
- uint32_t msk = ~((0xffffffffu >> (32 - width)) << lsb);
- InstructionSelectorTester m;
- m.Return(m.Word32And(m.Parameter(0), m.Int32Constant(msk)));
- m.SelectInstructions(ARMv7);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmBfc, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK(UnallocatedOperand::cast(m.code[0]->Output())
- ->HasSameAsInputPolicy());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(lsb, m.ToInt32(m.code[0]->InputAt(1)));
- CHECK_EQ(width, m.ToInt32(m.code[0]->InputAt(2)));
- }
- }
-}
-
-
-TEST(InstructionSelectorWord32AndAndWord32ShrImm_ARMv7) {
- for (uint32_t lsb = 0; lsb <= 31; ++lsb) {
- for (uint32_t width = 1; width <= 32 - lsb; ++width) {
- {
- InstructionSelectorTester m;
- m.Return(m.Word32And(m.Word32Shr(m.Parameter(0), m.Int32Constant(lsb)),
- m.Int32Constant(0xffffffffu >> (32 - width))));
- m.SelectInstructions(ARMv7);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmUbfx, m.code[0]->arch_opcode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(lsb, m.ToInt32(m.code[0]->InputAt(1)));
- CHECK_EQ(width, m.ToInt32(m.code[0]->InputAt(2)));
- }
- {
- InstructionSelectorTester m;
- m.Return(
- m.Word32And(m.Int32Constant(0xffffffffu >> (32 - width)),
- m.Word32Shr(m.Parameter(0), m.Int32Constant(lsb))));
- m.SelectInstructions(ARMv7);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmUbfx, m.code[0]->arch_opcode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(lsb, m.ToInt32(m.code[0]->InputAt(1)));
- CHECK_EQ(width, m.ToInt32(m.code[0]->InputAt(2)));
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorWord32ShrAndWord32AndImm_ARMv7) {
- for (uint32_t lsb = 0; lsb <= 31; ++lsb) {
- for (uint32_t width = 1; width <= 32 - lsb; ++width) {
- uint32_t max = 1 << lsb;
- if (max > static_cast<uint32_t>(kMaxInt)) max -= 1;
- uint32_t jnk = CcTest::random_number_generator()->NextInt(max);
- uint32_t msk = ((0xffffffffu >> (32 - width)) << lsb) | jnk;
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Shr(m.Word32And(m.Parameter(0), m.Int32Constant(msk)),
- m.Int32Constant(lsb)));
- m.SelectInstructions(ARMv7);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmUbfx, m.code[0]->arch_opcode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(lsb, m.ToInt32(m.code[0]->InputAt(1)));
- CHECK_EQ(width, m.ToInt32(m.code[0]->InputAt(2)));
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Shr(m.Word32And(m.Int32Constant(msk), m.Parameter(0)),
- m.Int32Constant(lsb)));
- m.SelectInstructions(ARMv7);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmUbfx, m.code[0]->arch_opcode());
- CHECK_EQ(3, m.code[0]->InputCount());
- CHECK_EQ(lsb, m.ToInt32(m.code[0]->InputAt(1)));
- CHECK_EQ(width, m.ToInt32(m.code[0]->InputAt(2)));
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorInt32SubAndInt32MulP) {
- InstructionSelectorTester m;
- m.Return(
- m.Int32Sub(m.Parameter(0), m.Int32Mul(m.Parameter(1), m.Parameter(2))));
- m.SelectInstructions();
- CHECK_EQ(2, m.code.size());
- CHECK_EQ(kArmMul, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(kArmSub, m.code[1]->arch_opcode());
- CHECK_EQ(2, m.code[1]->InputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[1]->InputAt(1));
-}
-
-
-TEST(InstructionSelectorInt32SubAndInt32MulP_MLS) {
- InstructionSelectorTester m;
- m.Return(
- m.Int32Sub(m.Parameter(0), m.Int32Mul(m.Parameter(1), m.Parameter(2))));
- m.SelectInstructions(MLS);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmMls, m.code[0]->arch_opcode());
-}
-
-
-TEST(InstructionSelectorInt32DivP) {
- InstructionSelectorTester m;
- m.Return(m.Int32Div(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(4, m.code.size());
- CHECK_EQ(kArmVcvtF64S32, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(kArmVcvtF64S32, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(kArmVdivF64, m.code[2]->arch_opcode());
- CHECK_EQ(2, m.code[2]->InputCount());
- CHECK_EQ(1, m.code[2]->OutputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[2]->InputAt(0));
- CheckSameVreg(m.code[1]->Output(), m.code[2]->InputAt(1));
- CHECK_EQ(kArmVcvtS32F64, m.code[3]->arch_opcode());
- CHECK_EQ(1, m.code[3]->InputCount());
- CheckSameVreg(m.code[2]->Output(), m.code[3]->InputAt(0));
-}
-
-
-TEST(InstructionSelectorInt32DivP_SUDIV) {
- InstructionSelectorTester m;
- m.Return(m.Int32Div(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions(SUDIV);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmSdiv, m.code[0]->arch_opcode());
-}
-
-
-TEST(InstructionSelectorInt32UDivP) {
- InstructionSelectorTester m;
- m.Return(m.Int32UDiv(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(4, m.code.size());
- CHECK_EQ(kArmVcvtF64U32, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(kArmVcvtF64U32, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(kArmVdivF64, m.code[2]->arch_opcode());
- CHECK_EQ(2, m.code[2]->InputCount());
- CHECK_EQ(1, m.code[2]->OutputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[2]->InputAt(0));
- CheckSameVreg(m.code[1]->Output(), m.code[2]->InputAt(1));
- CHECK_EQ(kArmVcvtU32F64, m.code[3]->arch_opcode());
- CHECK_EQ(1, m.code[3]->InputCount());
- CheckSameVreg(m.code[2]->Output(), m.code[3]->InputAt(0));
-}
-
-
-TEST(InstructionSelectorInt32UDivP_SUDIV) {
- InstructionSelectorTester m;
- m.Return(m.Int32UDiv(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions(SUDIV);
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmUdiv, m.code[0]->arch_opcode());
-}
-
-
-TEST(InstructionSelectorInt32ModP) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mod(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(6, m.code.size());
- CHECK_EQ(kArmVcvtF64S32, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(kArmVcvtF64S32, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(kArmVdivF64, m.code[2]->arch_opcode());
- CHECK_EQ(2, m.code[2]->InputCount());
- CHECK_EQ(1, m.code[2]->OutputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[2]->InputAt(0));
- CheckSameVreg(m.code[1]->Output(), m.code[2]->InputAt(1));
- CHECK_EQ(kArmVcvtS32F64, m.code[3]->arch_opcode());
- CHECK_EQ(1, m.code[3]->InputCount());
- CheckSameVreg(m.code[2]->Output(), m.code[3]->InputAt(0));
- CHECK_EQ(kArmMul, m.code[4]->arch_opcode());
- CHECK_EQ(1, m.code[4]->OutputCount());
- CHECK_EQ(2, m.code[4]->InputCount());
- CheckSameVreg(m.code[3]->Output(), m.code[4]->InputAt(0));
- CheckSameVreg(m.code[1]->InputAt(0), m.code[4]->InputAt(1));
- CHECK_EQ(kArmSub, m.code[5]->arch_opcode());
- CHECK_EQ(1, m.code[5]->OutputCount());
- CHECK_EQ(2, m.code[5]->InputCount());
- CheckSameVreg(m.code[0]->InputAt(0), m.code[5]->InputAt(0));
- CheckSameVreg(m.code[4]->Output(), m.code[5]->InputAt(1));
-}
-
-
-TEST(InstructionSelectorInt32ModP_SUDIV) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mod(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions(SUDIV);
- CHECK_EQ(3, m.code.size());
- CHECK_EQ(kArmSdiv, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(kArmMul, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(2, m.code[1]->InputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[1]->InputAt(0));
- CheckSameVreg(m.code[0]->InputAt(1), m.code[1]->InputAt(1));
- CHECK_EQ(kArmSub, m.code[2]->arch_opcode());
- CHECK_EQ(1, m.code[2]->OutputCount());
- CHECK_EQ(2, m.code[2]->InputCount());
- CheckSameVreg(m.code[0]->InputAt(0), m.code[2]->InputAt(0));
- CheckSameVreg(m.code[1]->Output(), m.code[2]->InputAt(1));
-}
-
-
-TEST(InstructionSelectorInt32ModP_MLS_SUDIV) {
- InstructionSelectorTester m;
- m.Return(m.Int32Mod(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions(MLS, SUDIV);
- CHECK_EQ(2, m.code.size());
- CHECK_EQ(kArmSdiv, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(kArmMls, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(3, m.code[1]->InputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[1]->InputAt(0));
- CheckSameVreg(m.code[0]->InputAt(1), m.code[1]->InputAt(1));
- CheckSameVreg(m.code[0]->InputAt(0), m.code[1]->InputAt(2));
-}
-
-
-TEST(InstructionSelectorInt32UModP) {
- InstructionSelectorTester m;
- m.Return(m.Int32UMod(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(6, m.code.size());
- CHECK_EQ(kArmVcvtF64U32, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(kArmVcvtF64U32, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(kArmVdivF64, m.code[2]->arch_opcode());
- CHECK_EQ(2, m.code[2]->InputCount());
- CHECK_EQ(1, m.code[2]->OutputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[2]->InputAt(0));
- CheckSameVreg(m.code[1]->Output(), m.code[2]->InputAt(1));
- CHECK_EQ(kArmVcvtU32F64, m.code[3]->arch_opcode());
- CHECK_EQ(1, m.code[3]->InputCount());
- CheckSameVreg(m.code[2]->Output(), m.code[3]->InputAt(0));
- CHECK_EQ(kArmMul, m.code[4]->arch_opcode());
- CHECK_EQ(1, m.code[4]->OutputCount());
- CHECK_EQ(2, m.code[4]->InputCount());
- CheckSameVreg(m.code[3]->Output(), m.code[4]->InputAt(0));
- CheckSameVreg(m.code[1]->InputAt(0), m.code[4]->InputAt(1));
- CHECK_EQ(kArmSub, m.code[5]->arch_opcode());
- CHECK_EQ(1, m.code[5]->OutputCount());
- CHECK_EQ(2, m.code[5]->InputCount());
- CheckSameVreg(m.code[0]->InputAt(0), m.code[5]->InputAt(0));
- CheckSameVreg(m.code[4]->Output(), m.code[5]->InputAt(1));
-}
-
-
-TEST(InstructionSelectorInt32UModP_SUDIV) {
- InstructionSelectorTester m;
- m.Return(m.Int32UMod(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions(SUDIV);
- CHECK_EQ(3, m.code.size());
- CHECK_EQ(kArmUdiv, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(kArmMul, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(2, m.code[1]->InputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[1]->InputAt(0));
- CheckSameVreg(m.code[0]->InputAt(1), m.code[1]->InputAt(1));
- CHECK_EQ(kArmSub, m.code[2]->arch_opcode());
- CHECK_EQ(1, m.code[2]->OutputCount());
- CHECK_EQ(2, m.code[2]->InputCount());
- CheckSameVreg(m.code[0]->InputAt(0), m.code[2]->InputAt(0));
- CheckSameVreg(m.code[1]->Output(), m.code[2]->InputAt(1));
-}
-
-
-TEST(InstructionSelectorInt32UModP_MLS_SUDIV) {
- InstructionSelectorTester m;
- m.Return(m.Int32UMod(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions(MLS, SUDIV);
- CHECK_EQ(2, m.code.size());
- CHECK_EQ(kArmUdiv, m.code[0]->arch_opcode());
- CHECK_EQ(1, m.code[0]->OutputCount());
- CHECK_EQ(2, m.code[0]->InputCount());
- CHECK_EQ(kArmMls, m.code[1]->arch_opcode());
- CHECK_EQ(1, m.code[1]->OutputCount());
- CHECK_EQ(3, m.code[1]->InputCount());
- CheckSameVreg(m.code[0]->Output(), m.code[1]->InputAt(0));
- CheckSameVreg(m.code[0]->InputAt(1), m.code[1]->InputAt(1));
- CheckSameVreg(m.code[0]->InputAt(0), m.code[1]->InputAt(2));
-}
-
-
-TEST(InstructionSelectorWord32EqualP) {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(m.Parameter(0), m.Parameter(1)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, 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(kEqual, m.code[0]->flags_condition());
-}
-
-
-TEST(InstructionSelectorWord32EqualImm) {
- Immediates immediates;
- for (Immediates::const_iterator i = immediates.begin(); i != immediates.end();
- ++i) {
- int32_t imm = *i;
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(m.Parameter(0), m.Int32Constant(imm)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- if (imm == 0) {
- CHECK_EQ(kArmTst, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- CheckSameVreg(m.code[0]->InputAt(0), m.code[0]->InputAt(1));
- } else {
- CHECK_EQ(kArmCmp, 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(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(m.Int32Constant(imm), m.Parameter(0)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- if (imm == 0) {
- CHECK_EQ(kArmTst, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R, m.code[0]->addressing_mode());
- CHECK_EQ(2, m.code[0]->InputCount());
- CheckSameVreg(m.code[0]->InputAt(0), m.code[0]->InputAt(1));
- } else {
- CHECK_EQ(kArmCmp, 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(kEqual, m.code[0]->flags_condition());
- }
- }
-}
-
-
-TEST(InstructionSelectorWord32EqualAndDPIP) {
- DPIs dpis;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(m.NewNode(dpi.op, m.Parameter(0), m.Parameter(1)),
- 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_set, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- m.Return(
- m.Word32Equal(m.Int32Constant(0),
- m.NewNode(dpi.op, m.Parameter(0), m.Parameter(1))));
- 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_set, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- }
-}
-
-
-TEST(InstructionSelectorWord32EqualAndDPIImm) {
- DPIs dpis;
- Immediates immediates;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- for (Immediates::const_iterator j = immediates.begin();
- j != immediates.end(); ++j) {
- int32_t imm = *j;
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(
- m.NewNode(dpi.op, m.Parameter(0), m.Int32Constant(imm)),
- 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_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(
- m.NewNode(dpi.op, m.Int32Constant(imm), m.Parameter(0)),
- 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_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(
- m.Int32Constant(0),
- m.NewNode(dpi.op, m.Parameter(0), m.Int32Constant(imm))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.test_arch_opcode, 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(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(
- m.Int32Constant(0),
- m.NewNode(dpi.op, m.Int32Constant(imm), m.Parameter(0))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(dpi.test_arch_opcode, 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(kEqual, m.code[0]->flags_condition());
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorWord32EqualAndShiftP) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(
- m.Parameter(0), m.NewNode(shift.op, m.Parameter(1), m.Parameter(2))));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- m.Return(m.Word32Equal(
- m.NewNode(shift.op, m.Parameter(0), m.Parameter(1)), m.Parameter(2)));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_set, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- }
-}
-
-
-TEST(InstructionSelectorBranchWithWord32EqualAndShiftP) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(m.Word32Equal(m.Parameter(0), m.NewNode(shift.op, m.Parameter(1),
- m.Parameter(2))),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(
- m.Word32Equal(m.NewNode(shift.op, m.Parameter(1), m.Parameter(2)),
- m.Parameter(0)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(shift.r_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- }
-}
-
-
-TEST(InstructionSelectorBranchWithWord32EqualAndShiftImm) {
- Shifts shifts;
- for (Shifts::const_iterator i = shifts.begin(); i != shifts.end(); ++i) {
- Shift shift = *i;
- for (int32_t imm = shift.i_low; imm <= shift.i_high; ++imm) {
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(
- m.Word32Equal(m.Parameter(0), m.NewNode(shift.op, m.Parameter(1),
- m.Int32Constant(imm))),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(m.Word32Equal(
- m.NewNode(shift.op, m.Parameter(1), m.Int32Constant(imm)),
- m.Parameter(0)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(shift.i_mode, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- }
- }
-}
-
-
-TEST(InstructionSelectorBranchWithWord32EqualAndRotateRightP) {
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror =
- m.Word32Or(m.Word32Shr(value, shift),
- m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)));
- m.Branch(m.Word32Equal(input, ror), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror =
- m.Word32Or(m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)),
- m.Word32Shr(value, shift));
- m.Branch(m.Word32Equal(input, ror), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror =
- m.Word32Or(m.Word32Shr(value, shift),
- m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)));
- m.Branch(m.Word32Equal(ror, input), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* shift = m.Parameter(2);
- Node* ror =
- m.Word32Or(m.Word32Shl(value, m.Int32Sub(m.Int32Constant(32), shift)),
- m.Word32Shr(value, shift));
- m.Branch(m.Word32Equal(ror, input), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_R, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- }
-}
-
-
-TEST(InstructionSelectorBranchWithWord32EqualAndRotateRightImm) {
- FOR_INPUTS(uint32_t, ror, i) {
- uint32_t shift = *i;
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* ror = m.Word32Or(m.Word32Shr(value, m.Int32Constant(shift)),
- m.Word32Shl(value, m.Int32Constant(32 - shift)));
- m.Branch(m.Word32Equal(input, ror), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- CHECK_LE(3, m.code[0]->InputCount());
- CHECK_EQ(shift, m.ToInt32(m.code[0]->InputAt(2)));
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* ror = m.Word32Or(m.Word32Shl(value, m.Int32Constant(32 - shift)),
- m.Word32Shr(value, m.Int32Constant(shift)));
- m.Branch(m.Word32Equal(input, ror), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- CHECK_LE(3, m.code[0]->InputCount());
- CHECK_EQ(shift, m.ToInt32(m.code[0]->InputAt(2)));
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* ror = m.Word32Or(m.Word32Shr(value, m.Int32Constant(shift)),
- m.Word32Shl(value, m.Int32Constant(32 - shift)));
- m.Branch(m.Word32Equal(ror, input), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- CHECK_LE(3, m.code[0]->InputCount());
- CHECK_EQ(shift, m.ToInt32(m.code[0]->InputAt(2)));
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* input = m.Parameter(0);
- Node* value = m.Parameter(1);
- Node* ror = m.Word32Or(m.Word32Shl(value, m.Int32Constant(32 - shift)),
- m.Word32Shr(value, m.Int32Constant(shift)));
- m.Branch(m.Word32Equal(ror, input), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- m.Return(m.Int32Constant(0));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(kArmCmp, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_R_ROR_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kEqual, m.code[0]->flags_condition());
- CHECK_LE(3, m.code[0]->InputCount());
- CHECK_EQ(shift, m.ToInt32(m.code[0]->InputAt(2)));
- }
- }
-}
-
-
-TEST(InstructionSelectorBranchWithDPIP) {
- DPIs dpis;
- for (DPIs::const_iterator i = dpis.begin(); i != dpis.end(); ++i) {
- DPI dpi = *i;
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(m.NewNode(dpi.op, m.Parameter(0), m.Parameter(1)), &blocka,
- &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- 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(kNotEqual, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(m.Word32Equal(m.Int32Constant(0),
- m.NewNode(dpi.op, m.Parameter(0), m.Parameter(1))),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- 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());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- m.Branch(m.Word32Equal(m.NewNode(dpi.op, m.Parameter(0), m.Parameter(1)),
- m.Int32Constant(0)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(1));
- m.Bind(&blockb);
- 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());
- }
- }
-}
-
-
-TEST(InstructionSelectorBranchWithODPIP) {
- ODPIs odpis;
- for (ODPIs::const_iterator i = odpis.begin(); i != odpis.end(); ++i) {
- ODPI odpi = *i;
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Parameter(1));
- m.Branch(m.Projection(1, node), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.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(kOverflow, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Parameter(1));
- m.Branch(m.Word32Equal(m.Projection(1, node), m.Int32Constant(0)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.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(kNotOverflow, m.code[0]->flags_condition());
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Parameter(1));
- m.Branch(m.Word32Equal(m.Int32Constant(0), m.Projection(1, node)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.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(kNotOverflow, m.code[0]->flags_condition());
- }
- }
-}
-
-
-TEST(InstructionSelectorBranchWithODPIImm) {
- ODPIs odpis;
- Immediates immediates;
- for (ODPIs::const_iterator i = odpis.begin(); i != odpis.end(); ++i) {
- ODPI odpi = *i;
- for (Immediates::const_iterator j = immediates.begin();
- j != immediates.end(); ++j) {
- int32_t imm = *j;
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Int32Constant(imm));
- m.Branch(m.Projection(1, node), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_LE(2, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Int32Constant(imm), m.Parameter(0));
- m.Branch(m.Projection(1, node), &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kOverflow, m.code[0]->flags_condition());
- CHECK_LE(2, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Parameter(0), m.Int32Constant(imm));
- m.Branch(m.Word32Equal(m.Projection(1, node), m.Int32Constant(0)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kNotOverflow, m.code[0]->flags_condition());
- CHECK_LE(2, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
- }
- {
- InstructionSelectorTester m;
- MLabel blocka, blockb;
- Node* node = m.NewNode(odpi.op, m.Int32Constant(imm), m.Parameter(0));
- m.Branch(m.Word32Equal(m.Projection(1, node), m.Int32Constant(0)),
- &blocka, &blockb);
- m.Bind(&blocka);
- m.Return(m.Int32Constant(0));
- m.Bind(&blockb);
- m.Return(m.Projection(0, node));
- m.SelectInstructions();
- CHECK_EQ(1, m.code.size());
- CHECK_EQ(odpi.reverse_arch_opcode, m.code[0]->arch_opcode());
- CHECK_EQ(kMode_Operand2_I, m.code[0]->addressing_mode());
- CHECK_EQ(kFlags_branch, m.code[0]->flags_mode());
- CHECK_EQ(kNotOverflow, m.code[0]->flags_condition());
- CHECK_LE(2, m.code[0]->InputCount());
- CHECK_EQ(imm, m.ToInt32(m.code[0]->InputAt(1)));
- }
- }
- }
-}
« no previous file with comments | « test/cctest/compiler/test-instruction-selector.cc ('k') | test/cctest/compiler/test-instruction-selector-arm64.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698