| 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/code-factory.h" | 5 #include "src/code-factory.h" |
| 6 #include "src/compilation-dependencies.h" | 6 #include "src/compilation-dependencies.h" |
| 7 #include "src/compiler/access-builder.h" | 7 #include "src/compiler/access-builder.h" |
| 8 #include "src/compiler/js-graph.h" | 8 #include "src/compiler/js-graph.h" |
| 9 #include "src/compiler/js-typed-lowering.h" | 9 #include "src/compiler/js-typed-lowering.h" |
| 10 #include "src/compiler/linkage.h" | 10 #include "src/compiler/linkage.h" |
| (...skipping 1370 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1381 Type* target_type = NodeProperties::GetType(target); | 1381 Type* target_type = NodeProperties::GetType(target); |
| 1382 Node* new_target = NodeProperties::GetValueInput(node, arity + 1); | 1382 Node* new_target = NodeProperties::GetValueInput(node, arity + 1); |
| 1383 | 1383 |
| 1384 // Check if {target} is a known JSFunction. | 1384 // Check if {target} is a known JSFunction. |
| 1385 if (target_type->IsConstant() && | 1385 if (target_type->IsConstant() && |
| 1386 target_type->AsConstant()->Value()->IsJSFunction()) { | 1386 target_type->AsConstant()->Value()->IsJSFunction()) { |
| 1387 Handle<JSFunction> function = | 1387 Handle<JSFunction> function = |
| 1388 Handle<JSFunction>::cast(target_type->AsConstant()->Value()); | 1388 Handle<JSFunction>::cast(target_type->AsConstant()->Value()); |
| 1389 Handle<SharedFunctionInfo> shared(function->shared(), isolate()); | 1389 Handle<SharedFunctionInfo> shared(function->shared(), isolate()); |
| 1390 | 1390 |
| 1391 // Remove the eager bailout frame state. | |
| 1392 NodeProperties::RemoveFrameStateInput(node, 1); | |
| 1393 | |
| 1394 // Patch {node} to an indirect call via the {function}s construct stub. | 1391 // Patch {node} to an indirect call via the {function}s construct stub. |
| 1395 Callable callable(handle(shared->construct_stub(), isolate()), | 1392 Callable callable(handle(shared->construct_stub(), isolate()), |
| 1396 ConstructStubDescriptor(isolate())); | 1393 ConstructStubDescriptor(isolate())); |
| 1397 node->RemoveInput(arity + 1); | 1394 node->RemoveInput(arity + 1); |
| 1398 node->InsertInput(graph()->zone(), 0, | 1395 node->InsertInput(graph()->zone(), 0, |
| 1399 jsgraph()->HeapConstant(callable.code())); | 1396 jsgraph()->HeapConstant(callable.code())); |
| 1400 node->InsertInput(graph()->zone(), 2, new_target); | 1397 node->InsertInput(graph()->zone(), 2, new_target); |
| 1401 node->InsertInput(graph()->zone(), 3, jsgraph()->Int32Constant(arity)); | 1398 node->InsertInput(graph()->zone(), 3, jsgraph()->Int32Constant(arity)); |
| 1402 node->InsertInput(graph()->zone(), 4, jsgraph()->UndefinedConstant()); | 1399 node->InsertInput(graph()->zone(), 4, jsgraph()->UndefinedConstant()); |
| 1403 node->InsertInput(graph()->zone(), 5, jsgraph()->UndefinedConstant()); | 1400 node->InsertInput(graph()->zone(), 5, jsgraph()->UndefinedConstant()); |
| 1404 NodeProperties::ChangeOp( | 1401 NodeProperties::ChangeOp( |
| 1405 node, common()->Call(Linkage::GetStubCallDescriptor( | 1402 node, common()->Call(Linkage::GetStubCallDescriptor( |
| 1406 isolate(), graph()->zone(), callable.descriptor(), 1 + arity, | 1403 isolate(), graph()->zone(), callable.descriptor(), 1 + arity, |
| 1407 CallDescriptor::kNeedsFrameState))); | 1404 CallDescriptor::kNeedsFrameState))); |
| 1408 return Changed(node); | 1405 return Changed(node); |
| 1409 } | 1406 } |
| 1410 | 1407 |
| 1411 // Check if {target} is a JSFunction. | 1408 // Check if {target} is a JSFunction. |
| 1412 if (target_type->Is(Type::Function())) { | 1409 if (target_type->Is(Type::Function())) { |
| 1413 // Remove the eager bailout frame state. | |
| 1414 NodeProperties::RemoveFrameStateInput(node, 1); | |
| 1415 | |
| 1416 // Patch {node} to an indirect call via the ConstructFunction builtin. | 1410 // Patch {node} to an indirect call via the ConstructFunction builtin. |
| 1417 Callable callable = CodeFactory::ConstructFunction(isolate()); | 1411 Callable callable = CodeFactory::ConstructFunction(isolate()); |
| 1418 node->RemoveInput(arity + 1); | 1412 node->RemoveInput(arity + 1); |
| 1419 node->InsertInput(graph()->zone(), 0, | 1413 node->InsertInput(graph()->zone(), 0, |
| 1420 jsgraph()->HeapConstant(callable.code())); | 1414 jsgraph()->HeapConstant(callable.code())); |
| 1421 node->InsertInput(graph()->zone(), 2, new_target); | 1415 node->InsertInput(graph()->zone(), 2, new_target); |
| 1422 node->InsertInput(graph()->zone(), 3, jsgraph()->Int32Constant(arity)); | 1416 node->InsertInput(graph()->zone(), 3, jsgraph()->Int32Constant(arity)); |
| 1423 node->InsertInput(graph()->zone(), 4, jsgraph()->UndefinedConstant()); | 1417 node->InsertInput(graph()->zone(), 4, jsgraph()->UndefinedConstant()); |
| 1424 NodeProperties::ChangeOp( | 1418 NodeProperties::ChangeOp( |
| 1425 node, common()->Call(Linkage::GetStubCallDescriptor( | 1419 node, common()->Call(Linkage::GetStubCallDescriptor( |
| 1426 isolate(), graph()->zone(), callable.descriptor(), 1 + arity, | 1420 isolate(), graph()->zone(), callable.descriptor(), 1 + arity, |
| 1427 CallDescriptor::kNeedsFrameState))); | 1421 CallDescriptor::kNeedsFrameState))); |
| 1428 return Changed(node); | 1422 return Changed(node); |
| 1429 } | 1423 } |
| 1430 | 1424 |
| 1431 return NoChange(); | 1425 return NoChange(); |
| 1432 } | 1426 } |
| 1433 | 1427 |
| 1434 | 1428 |
| 1435 Reduction JSTypedLowering::ReduceJSCallFunction(Node* node) { | 1429 Reduction JSTypedLowering::ReduceJSCallFunction(Node* node) { |
| 1436 DCHECK_EQ(IrOpcode::kJSCallFunction, node->opcode()); | 1430 DCHECK_EQ(IrOpcode::kJSCallFunction, node->opcode()); |
| 1437 CallFunctionParameters const& p = CallFunctionParametersOf(node->op()); | 1431 CallFunctionParameters const& p = CallFunctionParametersOf(node->op()); |
| 1438 int const arity = static_cast<int>(p.arity() - 2); | 1432 int const arity = static_cast<int>(p.arity() - 2); |
| 1439 ConvertReceiverMode convert_mode = p.convert_mode(); | 1433 ConvertReceiverMode convert_mode = p.convert_mode(); |
| 1440 Node* target = NodeProperties::GetValueInput(node, 0); | 1434 Node* target = NodeProperties::GetValueInput(node, 0); |
| 1441 Type* target_type = NodeProperties::GetType(target); | 1435 Type* target_type = NodeProperties::GetType(target); |
| 1442 Node* receiver = NodeProperties::GetValueInput(node, 1); | 1436 Node* receiver = NodeProperties::GetValueInput(node, 1); |
| 1443 Type* receiver_type = NodeProperties::GetType(receiver); | 1437 Type* receiver_type = NodeProperties::GetType(receiver); |
| 1444 Node* frame_state = NodeProperties::GetFrameStateInput(node, 1); | |
| 1445 Node* effect = NodeProperties::GetEffectInput(node); | 1438 Node* effect = NodeProperties::GetEffectInput(node); |
| 1446 Node* control = NodeProperties::GetControlInput(node); | 1439 Node* control = NodeProperties::GetControlInput(node); |
| 1440 Node* frame_state = NodeProperties::FindFrameStateBefore(node); |
| 1447 | 1441 |
| 1448 // Try to infer receiver {convert_mode} from {receiver} type. | 1442 // Try to infer receiver {convert_mode} from {receiver} type. |
| 1449 if (receiver_type->Is(Type::NullOrUndefined())) { | 1443 if (receiver_type->Is(Type::NullOrUndefined())) { |
| 1450 convert_mode = ConvertReceiverMode::kNullOrUndefined; | 1444 convert_mode = ConvertReceiverMode::kNullOrUndefined; |
| 1451 } else if (!receiver_type->Maybe(Type::NullOrUndefined())) { | 1445 } else if (!receiver_type->Maybe(Type::NullOrUndefined())) { |
| 1452 convert_mode = ConvertReceiverMode::kNotNullOrUndefined; | 1446 convert_mode = ConvertReceiverMode::kNotNullOrUndefined; |
| 1453 } | 1447 } |
| 1454 | 1448 |
| 1455 // Check if {target} is a known JSFunction. | 1449 // Check if {target} is a known JSFunction. |
| 1456 if (target_type->IsConstant() && | 1450 if (target_type->IsConstant() && |
| (...skipping 17 matching lines...) Expand all Loading... |
| 1474 !receiver_type->Is(Type::Receiver())) { | 1468 !receiver_type->Is(Type::Receiver())) { |
| 1475 receiver = effect = | 1469 receiver = effect = |
| 1476 graph()->NewNode(javascript()->ConvertReceiver(convert_mode), | 1470 graph()->NewNode(javascript()->ConvertReceiver(convert_mode), |
| 1477 receiver, context, frame_state, effect, control); | 1471 receiver, context, frame_state, effect, control); |
| 1478 NodeProperties::ReplaceValueInput(node, receiver, 1); | 1472 NodeProperties::ReplaceValueInput(node, receiver, 1); |
| 1479 } | 1473 } |
| 1480 | 1474 |
| 1481 // Update the effect dependency for the {node}. | 1475 // Update the effect dependency for the {node}. |
| 1482 NodeProperties::ReplaceEffectInput(node, effect); | 1476 NodeProperties::ReplaceEffectInput(node, effect); |
| 1483 | 1477 |
| 1484 // Remove the eager bailout frame state. | |
| 1485 NodeProperties::RemoveFrameStateInput(node, 1); | |
| 1486 | |
| 1487 // Compute flags for the call. | 1478 // Compute flags for the call. |
| 1488 CallDescriptor::Flags flags = CallDescriptor::kNeedsFrameState; | 1479 CallDescriptor::Flags flags = CallDescriptor::kNeedsFrameState; |
| 1489 if (p.tail_call_mode() == TailCallMode::kAllow) { | 1480 if (p.tail_call_mode() == TailCallMode::kAllow) { |
| 1490 flags |= CallDescriptor::kSupportsTailCalls; | 1481 flags |= CallDescriptor::kSupportsTailCalls; |
| 1491 } | 1482 } |
| 1492 | 1483 |
| 1493 Node* new_target = jsgraph()->UndefinedConstant(); | 1484 Node* new_target = jsgraph()->UndefinedConstant(); |
| 1494 Node* argument_count = jsgraph()->Int32Constant(arity); | 1485 Node* argument_count = jsgraph()->Int32Constant(arity); |
| 1495 if (shared->internal_formal_parameter_count() == arity || | 1486 if (shared->internal_formal_parameter_count() == arity || |
| 1496 shared->internal_formal_parameter_count() == | 1487 shared->internal_formal_parameter_count() == |
| (...skipping 17 matching lines...) Expand all Loading... |
| 1514 NodeProperties::ChangeOp( | 1505 NodeProperties::ChangeOp( |
| 1515 node, common()->Call(Linkage::GetStubCallDescriptor( | 1506 node, common()->Call(Linkage::GetStubCallDescriptor( |
| 1516 isolate(), graph()->zone(), callable.descriptor(), | 1507 isolate(), graph()->zone(), callable.descriptor(), |
| 1517 1 + arity, flags))); | 1508 1 + arity, flags))); |
| 1518 } | 1509 } |
| 1519 return Changed(node); | 1510 return Changed(node); |
| 1520 } | 1511 } |
| 1521 | 1512 |
| 1522 // Check if {target} is a JSFunction. | 1513 // Check if {target} is a JSFunction. |
| 1523 if (target_type->Is(Type::Function())) { | 1514 if (target_type->Is(Type::Function())) { |
| 1524 // Remove the eager bailout frame state. | |
| 1525 NodeProperties::RemoveFrameStateInput(node, 1); | |
| 1526 | |
| 1527 // Compute flags for the call. | 1515 // Compute flags for the call. |
| 1528 CallDescriptor::Flags flags = CallDescriptor::kNeedsFrameState; | 1516 CallDescriptor::Flags flags = CallDescriptor::kNeedsFrameState; |
| 1529 if (p.tail_call_mode() == TailCallMode::kAllow) { | 1517 if (p.tail_call_mode() == TailCallMode::kAllow) { |
| 1530 flags |= CallDescriptor::kSupportsTailCalls; | 1518 flags |= CallDescriptor::kSupportsTailCalls; |
| 1531 } | 1519 } |
| 1532 | 1520 |
| 1533 // Patch {node} to an indirect call via the CallFunction builtin. | 1521 // Patch {node} to an indirect call via the CallFunction builtin. |
| 1534 Callable callable = CodeFactory::CallFunction(isolate(), convert_mode); | 1522 Callable callable = CodeFactory::CallFunction(isolate(), convert_mode); |
| 1535 node->InsertInput(graph()->zone(), 0, | 1523 node->InsertInput(graph()->zone(), 0, |
| 1536 jsgraph()->HeapConstant(callable.code())); | 1524 jsgraph()->HeapConstant(callable.code())); |
| (...skipping 362 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1899 } | 1887 } |
| 1900 | 1888 |
| 1901 | 1889 |
| 1902 CompilationDependencies* JSTypedLowering::dependencies() const { | 1890 CompilationDependencies* JSTypedLowering::dependencies() const { |
| 1903 return dependencies_; | 1891 return dependencies_; |
| 1904 } | 1892 } |
| 1905 | 1893 |
| 1906 } // namespace compiler | 1894 } // namespace compiler |
| 1907 } // namespace internal | 1895 } // namespace internal |
| 1908 } // namespace v8 | 1896 } // namespace v8 |
| OLD | NEW |