| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/base/bits.h" | 5 #include "src/base/bits.h" |
| 6 #include "src/compiler/instruction-selector-impl.h" | 6 #include "src/compiler/instruction-selector-impl.h" |
| 7 #include "src/compiler/node-matchers.h" | 7 #include "src/compiler/node-matchers.h" |
| 8 #include "src/compiler/node-properties.h" | 8 #include "src/compiler/node-properties.h" |
| 9 | 9 |
| 10 namespace v8 { | 10 namespace v8 { |
| (...skipping 753 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 764 } | 764 } |
| 765 | 765 |
| 766 | 766 |
| 767 void InstructionSelector::VisitBranch(Node* branch, BasicBlock* tbranch, | 767 void InstructionSelector::VisitBranch(Node* branch, BasicBlock* tbranch, |
| 768 BasicBlock* fbranch) { | 768 BasicBlock* fbranch) { |
| 769 FlagsContinuation cont(kNotEqual, tbranch, fbranch); | 769 FlagsContinuation cont(kNotEqual, tbranch, fbranch); |
| 770 VisitWordCompareZero(this, branch, branch->InputAt(0), &cont); | 770 VisitWordCompareZero(this, branch, branch->InputAt(0), &cont); |
| 771 } | 771 } |
| 772 | 772 |
| 773 | 773 |
| 774 void InstructionSelector::VisitSwitch(Node* node, BasicBlock* default_branch, | 774 void InstructionSelector::VisitSwitch(Node* node, const SwitchInfo& sw) { |
| 775 BasicBlock** case_branches, | |
| 776 int32_t* case_values, size_t case_count, | |
| 777 int32_t min_value, int32_t max_value) { | |
| 778 MipsOperandGenerator g(this); | 775 MipsOperandGenerator g(this); |
| 779 InstructionOperand value_operand = g.UseRegister(node->InputAt(0)); | 776 InstructionOperand value_operand = g.UseRegister(node->InputAt(0)); |
| 780 InstructionOperand default_operand = g.Label(default_branch); | |
| 781 | 777 |
| 782 // Note that {value_range} can be 0 if {min_value} is -2^31 and {max_value} | 778 // Emit either ArchTableSwitch or ArchLookupSwitch. |
| 783 // is 2^31-1, so don't assume that it's non-zero below. | 779 size_t table_space_cost = 9 + sw.value_range; |
| 784 size_t value_range = | |
| 785 1u + bit_cast<uint32_t>(max_value) - bit_cast<uint32_t>(min_value); | |
| 786 | |
| 787 // Determine whether to issue an ArchTableSwitch or an ArchLookupSwitch | |
| 788 // instruction. | |
| 789 size_t table_space_cost = 9 + value_range; | |
| 790 size_t table_time_cost = 3; | 780 size_t table_time_cost = 3; |
| 791 size_t lookup_space_cost = 2 + 2 * case_count; | 781 size_t lookup_space_cost = 2 + 2 * sw.case_count; |
| 792 size_t lookup_time_cost = case_count; | 782 size_t lookup_time_cost = sw.case_count; |
| 793 if (case_count > 0 && | 783 if (sw.case_count > 0 && |
| 794 table_space_cost + 3 * table_time_cost <= | 784 table_space_cost + 3 * table_time_cost <= |
| 795 lookup_space_cost + 3 * lookup_time_cost && | 785 lookup_space_cost + 3 * lookup_time_cost && |
| 796 min_value > std::numeric_limits<int32_t>::min()) { | 786 sw.min_value > std::numeric_limits<int32_t>::min()) { |
| 797 InstructionOperand index_operand = value_operand; | 787 InstructionOperand index_operand = value_operand; |
| 798 if (min_value) { | 788 if (min_value) { |
| 799 index_operand = g.TempRegister(); | 789 index_operand = g.TempRegister(); |
| 800 Emit(kMipsSub, index_operand, value_operand, g.TempImmediate(min_value)); | 790 Emit(kMipsSub, index_operand, value_operand, |
| 791 g.TempImmediate(sw.min_value)); |
| 801 } | 792 } |
| 802 size_t input_count = 2 + value_range; | 793 // Generate a table lookup. |
| 803 auto* inputs = zone()->NewArray<InstructionOperand>(input_count); | 794 return EmitTableSwitch(sw, index_operand); |
| 804 inputs[0] = index_operand; | |
| 805 std::fill(&inputs[1], &inputs[input_count], default_operand); | |
| 806 for (size_t index = 0; index < case_count; ++index) { | |
| 807 size_t value = case_values[index] - min_value; | |
| 808 BasicBlock* branch = case_branches[index]; | |
| 809 DCHECK_LE(0u, value); | |
| 810 DCHECK_LT(value + 2, input_count); | |
| 811 inputs[value + 2] = g.Label(branch); | |
| 812 } | |
| 813 Emit(kArchTableSwitch, 0, nullptr, input_count, inputs, 0, nullptr); | |
| 814 return; | |
| 815 } | 795 } |
| 816 | 796 |
| 817 // Generate a sequence of conditional jumps. | 797 // Generate a sequence of conditional jumps. |
| 818 size_t input_count = 2 + case_count * 2; | 798 return EmitLookupSwitch(sw, value_operand); |
| 819 auto* inputs = zone()->NewArray<InstructionOperand>(input_count); | |
| 820 inputs[0] = value_operand; | |
| 821 inputs[1] = default_operand; | |
| 822 for (size_t index = 0; index < case_count; ++index) { | |
| 823 int32_t value = case_values[index]; | |
| 824 BasicBlock* branch = case_branches[index]; | |
| 825 inputs[index * 2 + 2 + 0] = g.TempImmediate(value); | |
| 826 inputs[index * 2 + 2 + 1] = g.Label(branch); | |
| 827 } | |
| 828 Emit(kArchLookupSwitch, 0, nullptr, input_count, inputs, 0, nullptr); | |
| 829 } | 799 } |
| 830 | 800 |
| 831 | 801 |
| 832 void InstructionSelector::VisitWord32Equal(Node* const node) { | 802 void InstructionSelector::VisitWord32Equal(Node* const node) { |
| 833 FlagsContinuation cont(kEqual, node); | 803 FlagsContinuation cont(kEqual, node); |
| 834 Int32BinopMatcher m(node); | 804 Int32BinopMatcher m(node); |
| 835 if (m.right().Is(0)) { | 805 if (m.right().Is(0)) { |
| 836 return VisitWordCompareZero(this, m.node(), m.left().node(), &cont); | 806 return VisitWordCompareZero(this, m.node(), m.left().node(), &cont); |
| 837 } | 807 } |
| 838 VisitWordCompare(this, node, &cont); | 808 VisitWordCompare(this, node, &cont); |
| (...skipping 100 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 939 if (IsMipsArchVariant(kMips32r2) || IsMipsArchVariant(kMips32r6)) { | 909 if (IsMipsArchVariant(kMips32r2) || IsMipsArchVariant(kMips32r6)) { |
| 940 return MachineOperatorBuilder::kFloat64RoundDown | | 910 return MachineOperatorBuilder::kFloat64RoundDown | |
| 941 MachineOperatorBuilder::kFloat64RoundTruncate; | 911 MachineOperatorBuilder::kFloat64RoundTruncate; |
| 942 } | 912 } |
| 943 return MachineOperatorBuilder::kNoFlags; | 913 return MachineOperatorBuilder::kNoFlags; |
| 944 } | 914 } |
| 945 | 915 |
| 946 } // namespace compiler | 916 } // namespace compiler |
| 947 } // namespace internal | 917 } // namespace internal |
| 948 } // namespace v8 | 918 } // namespace v8 |
| OLD | NEW |