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

Side by Side Diff: src/compiler/mips64/instruction-selector-mips64.cc

Issue 2161543002: [turbofan] Add support for eager/soft deoptimization reasons. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Do the ports properly Created 4 years, 5 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 unified diff | Download patch
« no previous file with comments | « src/compiler/mips64/code-generator-mips64.cc ('k') | src/compiler/ppc/code-generator-ppc.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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/adapters.h" 5 #include "src/base/adapters.h"
6 #include "src/base/bits.h" 6 #include "src/base/bits.h"
7 #include "src/compiler/instruction-selector-impl.h" 7 #include "src/compiler/instruction-selector-impl.h"
8 #include "src/compiler/node-matchers.h" 8 #include "src/compiler/node-matchers.h"
9 #include "src/compiler/node-properties.h" 9 #include "src/compiler/node-properties.h"
10 10
(...skipping 111 matching lines...) Expand 10 before | Expand all | Expand 10 after
122 } 122 }
123 123
124 DCHECK_NE(0u, input_count); 124 DCHECK_NE(0u, input_count);
125 DCHECK_NE(0u, output_count); 125 DCHECK_NE(0u, output_count);
126 DCHECK_GE(arraysize(inputs), input_count); 126 DCHECK_GE(arraysize(inputs), input_count);
127 DCHECK_GE(arraysize(outputs), output_count); 127 DCHECK_GE(arraysize(outputs), output_count);
128 128
129 opcode = cont->Encode(opcode); 129 opcode = cont->Encode(opcode);
130 if (cont->IsDeoptimize()) { 130 if (cont->IsDeoptimize()) {
131 selector->EmitDeoptimize(opcode, output_count, outputs, input_count, inputs, 131 selector->EmitDeoptimize(opcode, output_count, outputs, input_count, inputs,
132 cont->frame_state()); 132 cont->reason(), cont->frame_state());
133 } else { 133 } else {
134 selector->Emit(opcode, output_count, outputs, input_count, inputs); 134 selector->Emit(opcode, output_count, outputs, input_count, inputs);
135 } 135 }
136 } 136 }
137 137
138 138
139 static void VisitBinop(InstructionSelector* selector, Node* node, 139 static void VisitBinop(InstructionSelector* selector, Node* node,
140 InstructionCode opcode) { 140 InstructionCode opcode) {
141 FlagsContinuation cont; 141 FlagsContinuation cont;
142 VisitBinop(selector, node, opcode, &cont); 142 VisitBinop(selector, node, opcode, &cont);
(...skipping 1362 matching lines...) Expand 10 before | Expand all | Expand 10 after
1505 // Shared routine for multiple compare operations. 1505 // Shared routine for multiple compare operations.
1506 static void VisitCompare(InstructionSelector* selector, InstructionCode opcode, 1506 static void VisitCompare(InstructionSelector* selector, InstructionCode opcode,
1507 InstructionOperand left, InstructionOperand right, 1507 InstructionOperand left, InstructionOperand right,
1508 FlagsContinuation* cont) { 1508 FlagsContinuation* cont) {
1509 Mips64OperandGenerator g(selector); 1509 Mips64OperandGenerator g(selector);
1510 opcode = cont->Encode(opcode); 1510 opcode = cont->Encode(opcode);
1511 if (cont->IsBranch()) { 1511 if (cont->IsBranch()) {
1512 selector->Emit(opcode, g.NoOutput(), left, right, 1512 selector->Emit(opcode, g.NoOutput(), left, right,
1513 g.Label(cont->true_block()), g.Label(cont->false_block())); 1513 g.Label(cont->true_block()), g.Label(cont->false_block()));
1514 } else if (cont->IsDeoptimize()) { 1514 } else if (cont->IsDeoptimize()) {
1515 selector->EmitDeoptimize(opcode, g.NoOutput(), left, right, 1515 selector->EmitDeoptimize(opcode, g.NoOutput(), left, right, cont->reason(),
1516 cont->frame_state()); 1516 cont->frame_state());
1517 } else { 1517 } else {
1518 DCHECK(cont->IsSet()); 1518 DCHECK(cont->IsSet());
1519 selector->Emit(opcode, g.DefineAsRegister(cont->result()), left, right); 1519 selector->Emit(opcode, g.DefineAsRegister(cont->result()), left, right);
1520 } 1520 }
1521 } 1521 }
1522 1522
1523 1523
1524 // Shared routine for multiple float32 compare operations. 1524 // Shared routine for multiple float32 compare operations.
1525 void VisitFloat32Compare(InstructionSelector* selector, Node* node, 1525 void VisitFloat32Compare(InstructionSelector* selector, Node* node,
(...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after
1630 void EmitWordCompareZero(InstructionSelector* selector, Node* value, 1630 void EmitWordCompareZero(InstructionSelector* selector, Node* value,
1631 FlagsContinuation* cont) { 1631 FlagsContinuation* cont) {
1632 Mips64OperandGenerator g(selector); 1632 Mips64OperandGenerator g(selector);
1633 InstructionCode opcode = cont->Encode(kMips64Cmp); 1633 InstructionCode opcode = cont->Encode(kMips64Cmp);
1634 InstructionOperand const value_operand = g.UseRegister(value); 1634 InstructionOperand const value_operand = g.UseRegister(value);
1635 if (cont->IsBranch()) { 1635 if (cont->IsBranch()) {
1636 selector->Emit(opcode, g.NoOutput(), value_operand, g.TempImmediate(0), 1636 selector->Emit(opcode, g.NoOutput(), value_operand, g.TempImmediate(0),
1637 g.Label(cont->true_block()), g.Label(cont->false_block())); 1637 g.Label(cont->true_block()), g.Label(cont->false_block()));
1638 } else if (cont->IsDeoptimize()) { 1638 } else if (cont->IsDeoptimize()) {
1639 selector->EmitDeoptimize(opcode, g.NoOutput(), value_operand, 1639 selector->EmitDeoptimize(opcode, g.NoOutput(), value_operand,
1640 g.TempImmediate(0), cont->frame_state()); 1640 g.TempImmediate(0), cont->reason(),
1641 cont->frame_state());
1641 } else { 1642 } else {
1642 selector->Emit(opcode, g.DefineAsRegister(cont->result()), value_operand, 1643 selector->Emit(opcode, g.DefineAsRegister(cont->result()), value_operand,
1643 g.TempImmediate(0)); 1644 g.TempImmediate(0));
1644 } 1645 }
1645 } 1646 }
1646 1647
1647 1648
1648 // Shared routine for word comparisons against zero. 1649 // Shared routine for word comparisons against zero.
1649 void VisitWordCompareZero(InstructionSelector* selector, Node* user, 1650 void VisitWordCompareZero(InstructionSelector* selector, Node* user,
1650 Node* value, FlagsContinuation* cont) { 1651 Node* value, FlagsContinuation* cont) {
(...skipping 116 matching lines...) Expand 10 before | Expand all | Expand 10 after
1767 1768
1768 } // namespace 1769 } // namespace
1769 1770
1770 void InstructionSelector::VisitBranch(Node* branch, BasicBlock* tbranch, 1771 void InstructionSelector::VisitBranch(Node* branch, BasicBlock* tbranch,
1771 BasicBlock* fbranch) { 1772 BasicBlock* fbranch) {
1772 FlagsContinuation cont(kNotEqual, tbranch, fbranch); 1773 FlagsContinuation cont(kNotEqual, tbranch, fbranch);
1773 VisitWordCompareZero(this, branch, branch->InputAt(0), &cont); 1774 VisitWordCompareZero(this, branch, branch->InputAt(0), &cont);
1774 } 1775 }
1775 1776
1776 void InstructionSelector::VisitDeoptimizeIf(Node* node) { 1777 void InstructionSelector::VisitDeoptimizeIf(Node* node) {
1777 FlagsContinuation cont = 1778 FlagsContinuation cont = FlagsContinuation::ForDeoptimize(
1778 FlagsContinuation::ForDeoptimize(kNotEqual, node->InputAt(1)); 1779 kNotEqual, DeoptimizeReasonOf(node->op()), node->InputAt(1));
1779 VisitWordCompareZero(this, node, node->InputAt(0), &cont); 1780 VisitWordCompareZero(this, node, node->InputAt(0), &cont);
1780 } 1781 }
1781 1782
1782 void InstructionSelector::VisitDeoptimizeUnless(Node* node) { 1783 void InstructionSelector::VisitDeoptimizeUnless(Node* node) {
1783 FlagsContinuation cont = 1784 FlagsContinuation cont = FlagsContinuation::ForDeoptimize(
1784 FlagsContinuation::ForDeoptimize(kEqual, node->InputAt(1)); 1785 kEqual, DeoptimizeReasonOf(node->op()), node->InputAt(1));
1785 VisitWordCompareZero(this, node, node->InputAt(0), &cont); 1786 VisitWordCompareZero(this, node, node->InputAt(0), &cont);
1786 } 1787 }
1787 1788
1788 void InstructionSelector::VisitSwitch(Node* node, const SwitchInfo& sw) { 1789 void InstructionSelector::VisitSwitch(Node* node, const SwitchInfo& sw) {
1789 Mips64OperandGenerator g(this); 1790 Mips64OperandGenerator g(this);
1790 InstructionOperand value_operand = g.UseRegister(node->InputAt(0)); 1791 InstructionOperand value_operand = g.UseRegister(node->InputAt(0));
1791 1792
1792 // Emit either ArchTableSwitch or ArchLookupSwitch. 1793 // Emit either ArchTableSwitch or ArchLookupSwitch.
1793 size_t table_space_cost = 10 + 2 * sw.value_range; 1794 size_t table_space_cost = 10 + 2 * sw.value_range;
1794 size_t table_time_cost = 3; 1795 size_t table_time_cost = 3;
(...skipping 309 matching lines...) Expand 10 before | Expand all | Expand 10 after
2104 } else { 2105 } else {
2105 DCHECK(kArchVariant == kMips64r2); 2106 DCHECK(kArchVariant == kMips64r2);
2106 return MachineOperatorBuilder::AlignmentRequirements:: 2107 return MachineOperatorBuilder::AlignmentRequirements::
2107 NoUnalignedAccessSupport(); 2108 NoUnalignedAccessSupport();
2108 } 2109 }
2109 } 2110 }
2110 2111
2111 } // namespace compiler 2112 } // namespace compiler
2112 } // namespace internal 2113 } // namespace internal
2113 } // namespace v8 2114 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/mips64/code-generator-mips64.cc ('k') | src/compiler/ppc/code-generator-ppc.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698