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

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

Issue 1706763002: [turbofan] Emit memory operands for cmp and test on ia32 and x64 when it makes sense. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: x64 update only Created 4 years, 10 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/x64/code-generator-x64.cc ('k') | src/ia32/assembler-ia32.h » ('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 <algorithm> 5 #include <algorithm>
6 6
7 #include "src/base/adapters.h" 7 #include "src/base/adapters.h"
8 #include "src/compiler/instruction-selector-impl.h" 8 #include "src/compiler/instruction-selector-impl.h"
9 #include "src/compiler/node-matchers.h" 9 #include "src/compiler/node-matchers.h"
10 #include "src/compiler/node-properties.h" 10 #include "src/compiler/node-properties.h"
(...skipping 1320 matching lines...) Expand 10 before | Expand all | Expand 10 after
1331 } 1331 }
1332 } 1332 }
1333 } 1333 }
1334 1334
1335 1335
1336 bool InstructionSelector::IsTailCallAddressImmediate() { return true; } 1336 bool InstructionSelector::IsTailCallAddressImmediate() { return true; }
1337 1337
1338 1338
1339 namespace { 1339 namespace {
1340 1340
1341 void VisitCompareWithMemoryOperand(InstructionSelector* selector,
1342 InstructionCode opcode, Node* left,
1343 InstructionOperand right,
1344 FlagsContinuation* cont) {
1345 DCHECK(left_operands_count > 0 && left_operands_count <= 3);
epertoso 2016/02/18 13:31:35 Already deleted this.
1346 X64OperandGenerator g(selector);
1347 size_t input_count = 0;
1348 InstructionOperand inputs[6];
1349 AddressingMode addressing_mode =
1350 g.GetEffectiveAddressMemoryOperand(left, inputs, &input_count);
1351 opcode |= AddressingModeField::encode(addressing_mode);
1352 opcode = cont->Encode(opcode);
1353
1354 if (cont->IsBranch()) {
1355 inputs[input_count++] = g.Label(cont->true_block());
1356 inputs[input_count++] = g.Label(cont->false_block());
1357 selector->Emit(opcode, 0, nullptr, input_count, inputs);
1358 } else {
1359 DCHECK(cont->IsSet());
1360 InstructionOperand output = g.DefineAsRegister(cont->result());
1361 selector->Emit(opcode, 1, &output, input_count, inputs);
1362 }
1363 }
1364
1365 // Determines if {input} of {node} can be replaced by a memory operand.
1366 bool CanUseMemoryOperand(InstructionSelector* selector, InstructionCode opcode,
1367 Node* node, Node* input) {
1368 if (input->opcode() != IrOpcode::kLoad || !selector->CanCover(node, input)) {
1369 return false;
1370 }
1371 MachineRepresentation rep =
1372 LoadRepresentationOf(input->op()).representation();
1373 if (rep == MachineRepresentation::kWord64 ||
1374 rep == MachineRepresentation::kTagged) {
1375 return opcode == kX64Cmp || opcode == kX64Test;
1376 } else if (rep == MachineRepresentation::kWord32) {
1377 return opcode == kX64Cmp32 || opcode == kX64Test32;
1378 }
1379 return false;
1380 }
1381
1341 // Shared routine for multiple compare operations. 1382 // Shared routine for multiple compare operations.
1342 void VisitCompare(InstructionSelector* selector, InstructionCode opcode, 1383 void VisitCompare(InstructionSelector* selector, InstructionCode opcode,
1343 InstructionOperand left, InstructionOperand right, 1384 InstructionOperand left, InstructionOperand right,
1344 FlagsContinuation* cont) { 1385 FlagsContinuation* cont) {
1345 X64OperandGenerator g(selector); 1386 X64OperandGenerator g(selector);
1346 opcode = cont->Encode(opcode); 1387 opcode = cont->Encode(opcode);
1347 if (cont->IsBranch()) { 1388 if (cont->IsBranch()) {
1348 selector->Emit(opcode, g.NoOutput(), left, right, 1389 selector->Emit(opcode, g.NoOutput(), left, right,
1349 g.Label(cont->true_block()), g.Label(cont->false_block())); 1390 g.Label(cont->true_block()), g.Label(cont->false_block()));
1350 } else { 1391 } else {
1351 DCHECK(cont->IsSet()); 1392 DCHECK(cont->IsSet());
1352 selector->Emit(opcode, g.DefineAsRegister(cont->result()), left, right); 1393 selector->Emit(opcode, g.DefineAsRegister(cont->result()), left, right);
1353 } 1394 }
1354 } 1395 }
1355 1396
1356 1397
1357 // Shared routine for multiple compare operations. 1398 // Shared routine for multiple compare operations.
1358 void VisitCompare(InstructionSelector* selector, InstructionCode opcode, 1399 void VisitCompare(InstructionSelector* selector, InstructionCode opcode,
1359 Node* left, Node* right, FlagsContinuation* cont, 1400 Node* left, Node* right, FlagsContinuation* cont,
1360 bool commutative) { 1401 bool commutative) {
1361 X64OperandGenerator g(selector); 1402 X64OperandGenerator g(selector);
1362 if (commutative && g.CanBeBetterLeftOperand(right)) { 1403 if (commutative && g.CanBeBetterLeftOperand(right)) {
1363 std::swap(left, right); 1404 std::swap(left, right);
1364 } 1405 }
1365 VisitCompare(selector, opcode, g.UseRegister(left), g.Use(right), cont); 1406 VisitCompare(selector, opcode, g.UseRegister(left), g.Use(right), cont);
1366 } 1407 }
1367 1408
1368
1369 // Shared routine for multiple word compare operations. 1409 // Shared routine for multiple word compare operations.
1370 void VisitWordCompare(InstructionSelector* selector, Node* node, 1410 void VisitWordCompare(InstructionSelector* selector, Node* node,
1371 InstructionCode opcode, FlagsContinuation* cont) { 1411 InstructionCode opcode, FlagsContinuation* cont) {
1372 X64OperandGenerator g(selector); 1412 X64OperandGenerator g(selector);
1373 Node* const left = node->InputAt(0); 1413 Node* const left = node->InputAt(0);
1374 Node* const right = node->InputAt(1); 1414 Node* const right = node->InputAt(1);
1375 1415
1376 // Match immediates on left or right side of comparison. 1416 // Match immediates on left or right side of comparison.
1377 if (g.CanBeImmediate(right)) { 1417 if (g.CanBeImmediate(right)) {
1378 VisitCompare(selector, opcode, g.Use(left), g.UseImmediate(right), cont); 1418 return VisitCompare(selector, opcode, g.Use(left), g.UseImmediate(right),
1419 cont);
1379 } else if (g.CanBeImmediate(left)) { 1420 } else if (g.CanBeImmediate(left)) {
1380 if (!node->op()->HasProperty(Operator::kCommutative)) cont->Commute(); 1421 if (!node->op()->HasProperty(Operator::kCommutative)) cont->Commute();
1381 VisitCompare(selector, opcode, g.Use(right), g.UseImmediate(left), cont); 1422 return VisitCompare(selector, opcode, g.Use(right), g.UseImmediate(left),
1382 } else { 1423 cont);
1383 VisitCompare(selector, opcode, left, right, cont,
1384 node->op()->HasProperty(Operator::kCommutative));
1385 } 1424 }
1425 // TODO(epertoso): emit memory operands for comparisons againt immediates as
1426 // well.
1427 if (CanUseMemoryOperand(selector, opcode, node, left)) {
1428 return VisitCompareWithMemoryOperand(selector, opcode, left,
1429 g.UseRegister(right), cont);
1430 }
1431 return VisitCompare(selector, opcode, left, right, cont,
1432 node->op()->HasProperty(Operator::kCommutative));
1386 } 1433 }
1387 1434
1388
1389 // Shared routine for 64-bit word comparison operations. 1435 // Shared routine for 64-bit word comparison operations.
1390 void VisitWord64Compare(InstructionSelector* selector, Node* node, 1436 void VisitWord64Compare(InstructionSelector* selector, Node* node,
1391 FlagsContinuation* cont) { 1437 FlagsContinuation* cont) {
1392 X64OperandGenerator g(selector); 1438 X64OperandGenerator g(selector);
1393 Int64BinopMatcher m(node); 1439 Int64BinopMatcher m(node);
1394 if (m.left().IsLoad() && m.right().IsLoadStackPointer()) { 1440 if (m.left().IsLoad() && m.right().IsLoadStackPointer()) {
1395 LoadMatcher<ExternalReferenceMatcher> mleft(m.left().node()); 1441 LoadMatcher<ExternalReferenceMatcher> mleft(m.left().node());
1396 ExternalReference js_stack_limit = 1442 ExternalReference js_stack_limit =
1397 ExternalReference::address_of_stack_limit(selector->isolate()); 1443 ExternalReference::address_of_stack_limit(selector->isolate());
1398 if (mleft.object().Is(js_stack_limit) && mleft.index().Is(0)) { 1444 if (mleft.object().Is(js_stack_limit) && mleft.index().Is(0)) {
(...skipping 437 matching lines...) Expand 10 before | Expand all | Expand 10 after
1836 MachineOperatorBuilder::kFloat64RoundTruncate | 1882 MachineOperatorBuilder::kFloat64RoundTruncate |
1837 MachineOperatorBuilder::kFloat32RoundTiesEven | 1883 MachineOperatorBuilder::kFloat32RoundTiesEven |
1838 MachineOperatorBuilder::kFloat64RoundTiesEven; 1884 MachineOperatorBuilder::kFloat64RoundTiesEven;
1839 } 1885 }
1840 return flags; 1886 return flags;
1841 } 1887 }
1842 1888
1843 } // namespace compiler 1889 } // namespace compiler
1844 } // namespace internal 1890 } // namespace internal
1845 } // namespace v8 1891 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/x64/code-generator-x64.cc ('k') | src/ia32/assembler-ia32.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698