| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 #if V8_TARGET_ARCH_IA32 | 5 #if V8_TARGET_ARCH_IA32 |
| 6 | 6 |
| 7 #include "src/code-stubs.h" | 7 #include "src/code-stubs.h" |
| 8 #include "src/api-arguments.h" | 8 #include "src/api-arguments.h" |
| 9 #include "src/base/bits.h" | 9 #include "src/base/bits.h" |
| 10 #include "src/bootstrapper.h" | 10 #include "src/bootstrapper.h" |
| (...skipping 1390 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1401 __ mov(ecx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset)); | 1401 __ mov(ecx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset)); |
| 1402 __ mov(ecx, FieldOperand(ecx, SharedFunctionInfo::kConstructStubOffset)); | 1402 __ mov(ecx, FieldOperand(ecx, SharedFunctionInfo::kConstructStubOffset)); |
| 1403 __ lea(ecx, FieldOperand(ecx, Code::kHeaderSize)); | 1403 __ lea(ecx, FieldOperand(ecx, Code::kHeaderSize)); |
| 1404 __ jmp(ecx); | 1404 __ jmp(ecx); |
| 1405 | 1405 |
| 1406 __ bind(&non_function); | 1406 __ bind(&non_function); |
| 1407 __ mov(edx, edi); | 1407 __ mov(edx, edi); |
| 1408 __ Jump(isolate()->builtins()->Construct(), RelocInfo::CODE_TARGET); | 1408 __ Jump(isolate()->builtins()->Construct(), RelocInfo::CODE_TARGET); |
| 1409 } | 1409 } |
| 1410 | 1410 |
| 1411 static void IncrementCallCount(MacroAssembler* masm, Register feedback_vector, | |
| 1412 Register slot) { | |
| 1413 __ add(FieldOperand(feedback_vector, slot, times_half_pointer_size, | |
| 1414 FixedArray::kHeaderSize + kPointerSize), | |
| 1415 Immediate(Smi::FromInt(1))); | |
| 1416 } | |
| 1417 | |
| 1418 void CallICStub::HandleArrayCase(MacroAssembler* masm, Label* miss) { | |
| 1419 // eax - number of arguments | |
| 1420 // edi - function | |
| 1421 // edx - slot id | |
| 1422 // ebx - vector | |
| 1423 __ LoadGlobalFunction(Context::ARRAY_FUNCTION_INDEX, ecx); | |
| 1424 __ cmp(edi, ecx); | |
| 1425 __ j(not_equal, miss); | |
| 1426 | |
| 1427 // Reload ecx. | |
| 1428 __ mov(ecx, FieldOperand(ebx, edx, times_half_pointer_size, | |
| 1429 FixedArray::kHeaderSize)); | |
| 1430 | |
| 1431 // Increment the call count for monomorphic function calls. | |
| 1432 IncrementCallCount(masm, ebx, edx); | |
| 1433 | |
| 1434 __ mov(ebx, ecx); | |
| 1435 __ mov(edx, edi); | |
| 1436 ArrayConstructorStub stub(masm->isolate()); | |
| 1437 __ TailCallStub(&stub); | |
| 1438 | |
| 1439 // Unreachable. | |
| 1440 } | |
| 1441 | |
| 1442 | |
| 1443 void CallICStub::Generate(MacroAssembler* masm) { | |
| 1444 // edi - number of arguments | |
| 1445 // edi - function | |
| 1446 // edx - slot id | |
| 1447 // ebx - vector | |
| 1448 Isolate* isolate = masm->isolate(); | |
| 1449 Label extra_checks_or_miss, call, call_function, call_count_incremented; | |
| 1450 | |
| 1451 // The checks. First, does edi match the recorded monomorphic target? | |
| 1452 __ mov(ecx, FieldOperand(ebx, edx, times_half_pointer_size, | |
| 1453 FixedArray::kHeaderSize)); | |
| 1454 | |
| 1455 // We don't know that we have a weak cell. We might have a private symbol | |
| 1456 // or an AllocationSite, but the memory is safe to examine. | |
| 1457 // AllocationSite::kTransitionInfoOffset - contains a Smi or pointer to | |
| 1458 // FixedArray. | |
| 1459 // WeakCell::kValueOffset - contains a JSFunction or Smi(0) | |
| 1460 // Symbol::kHashFieldSlot - if the low bit is 1, then the hash is not | |
| 1461 // computed, meaning that it can't appear to be a pointer. If the low bit is | |
| 1462 // 0, then hash is computed, but the 0 bit prevents the field from appearing | |
| 1463 // to be a pointer. | |
| 1464 STATIC_ASSERT(WeakCell::kSize >= kPointerSize); | |
| 1465 STATIC_ASSERT(AllocationSite::kTransitionInfoOffset == | |
| 1466 WeakCell::kValueOffset && | |
| 1467 WeakCell::kValueOffset == Symbol::kHashFieldSlot); | |
| 1468 | |
| 1469 __ cmp(edi, FieldOperand(ecx, WeakCell::kValueOffset)); | |
| 1470 __ j(not_equal, &extra_checks_or_miss); | |
| 1471 | |
| 1472 // The compare above could have been a SMI/SMI comparison. Guard against this | |
| 1473 // convincing us that we have a monomorphic JSFunction. | |
| 1474 __ JumpIfSmi(edi, &extra_checks_or_miss); | |
| 1475 | |
| 1476 __ bind(&call_function); | |
| 1477 | |
| 1478 // Increment the call count for monomorphic function calls. | |
| 1479 IncrementCallCount(masm, ebx, edx); | |
| 1480 | |
| 1481 __ Jump(masm->isolate()->builtins()->CallFunction(convert_mode(), | |
| 1482 tail_call_mode()), | |
| 1483 RelocInfo::CODE_TARGET); | |
| 1484 | |
| 1485 __ bind(&extra_checks_or_miss); | |
| 1486 Label uninitialized, miss, not_allocation_site; | |
| 1487 | |
| 1488 __ cmp(ecx, Immediate(TypeFeedbackVector::MegamorphicSentinel(isolate))); | |
| 1489 __ j(equal, &call); | |
| 1490 | |
| 1491 // Check if we have an allocation site. | |
| 1492 __ CompareRoot(FieldOperand(ecx, HeapObject::kMapOffset), | |
| 1493 Heap::kAllocationSiteMapRootIndex); | |
| 1494 __ j(not_equal, ¬_allocation_site); | |
| 1495 | |
| 1496 // We have an allocation site. | |
| 1497 HandleArrayCase(masm, &miss); | |
| 1498 | |
| 1499 __ bind(¬_allocation_site); | |
| 1500 | |
| 1501 // The following cases attempt to handle MISS cases without going to the | |
| 1502 // runtime. | |
| 1503 if (FLAG_trace_ic) { | |
| 1504 __ jmp(&miss); | |
| 1505 } | |
| 1506 | |
| 1507 __ cmp(ecx, Immediate(TypeFeedbackVector::UninitializedSentinel(isolate))); | |
| 1508 __ j(equal, &uninitialized); | |
| 1509 | |
| 1510 // We are going megamorphic. If the feedback is a JSFunction, it is fine | |
| 1511 // to handle it here. More complex cases are dealt with in the runtime. | |
| 1512 __ AssertNotSmi(ecx); | |
| 1513 __ CmpObjectType(ecx, JS_FUNCTION_TYPE, ecx); | |
| 1514 __ j(not_equal, &miss); | |
| 1515 __ mov( | |
| 1516 FieldOperand(ebx, edx, times_half_pointer_size, FixedArray::kHeaderSize), | |
| 1517 Immediate(TypeFeedbackVector::MegamorphicSentinel(isolate))); | |
| 1518 | |
| 1519 __ bind(&call); | |
| 1520 | |
| 1521 // Increment the call count for megamorphic function calls. | |
| 1522 IncrementCallCount(masm, ebx, edx); | |
| 1523 | |
| 1524 __ bind(&call_count_incremented); | |
| 1525 | |
| 1526 __ Jump(masm->isolate()->builtins()->Call(convert_mode(), tail_call_mode()), | |
| 1527 RelocInfo::CODE_TARGET); | |
| 1528 | |
| 1529 __ bind(&uninitialized); | |
| 1530 | |
| 1531 // We are going monomorphic, provided we actually have a JSFunction. | |
| 1532 __ JumpIfSmi(edi, &miss); | |
| 1533 | |
| 1534 // Goto miss case if we do not have a function. | |
| 1535 __ CmpObjectType(edi, JS_FUNCTION_TYPE, ecx); | |
| 1536 __ j(not_equal, &miss); | |
| 1537 | |
| 1538 // Make sure the function is not the Array() function, which requires special | |
| 1539 // behavior on MISS. | |
| 1540 __ LoadGlobalFunction(Context::ARRAY_FUNCTION_INDEX, ecx); | |
| 1541 __ cmp(edi, ecx); | |
| 1542 __ j(equal, &miss); | |
| 1543 | |
| 1544 // Make sure the function belongs to the same native context. | |
| 1545 __ mov(ecx, FieldOperand(edi, JSFunction::kContextOffset)); | |
| 1546 __ mov(ecx, ContextOperand(ecx, Context::NATIVE_CONTEXT_INDEX)); | |
| 1547 __ cmp(ecx, NativeContextOperand()); | |
| 1548 __ j(not_equal, &miss); | |
| 1549 | |
| 1550 // Store the function. Use a stub since we need a frame for allocation. | |
| 1551 // eax - number of arguments | |
| 1552 // ebx - vector | |
| 1553 // edx - slot | |
| 1554 // edi - function | |
| 1555 { | |
| 1556 FrameScope scope(masm, StackFrame::INTERNAL); | |
| 1557 CreateWeakCellStub create_stub(isolate); | |
| 1558 __ SmiTag(eax); | |
| 1559 __ push(eax); | |
| 1560 __ push(ebx); | |
| 1561 __ push(edx); | |
| 1562 __ push(edi); | |
| 1563 __ push(esi); | |
| 1564 __ CallStub(&create_stub); | |
| 1565 __ pop(esi); | |
| 1566 __ pop(edi); | |
| 1567 __ pop(edx); | |
| 1568 __ pop(ebx); | |
| 1569 __ pop(eax); | |
| 1570 __ SmiUntag(eax); | |
| 1571 } | |
| 1572 | |
| 1573 __ jmp(&call_function); | |
| 1574 | |
| 1575 // We are here because tracing is on or we encountered a MISS case we can't | |
| 1576 // handle here. | |
| 1577 __ bind(&miss); | |
| 1578 GenerateMiss(masm); | |
| 1579 | |
| 1580 __ jmp(&call_count_incremented); | |
| 1581 | |
| 1582 // Unreachable | |
| 1583 __ int3(); | |
| 1584 } | |
| 1585 | |
| 1586 | |
| 1587 void CallICStub::GenerateMiss(MacroAssembler* masm) { | |
| 1588 FrameScope scope(masm, StackFrame::INTERNAL); | |
| 1589 | |
| 1590 // Preserve the number of arguments. | |
| 1591 __ SmiTag(eax); | |
| 1592 __ push(eax); | |
| 1593 | |
| 1594 // Push the function and feedback info. | |
| 1595 __ push(edi); | |
| 1596 __ push(ebx); | |
| 1597 __ push(edx); | |
| 1598 | |
| 1599 // Call the entry. | |
| 1600 __ CallRuntime(Runtime::kCallIC_Miss); | |
| 1601 | |
| 1602 // Move result to edi and exit the internal frame. | |
| 1603 __ mov(edi, eax); | |
| 1604 | |
| 1605 // Restore number of arguments. | |
| 1606 __ pop(eax); | |
| 1607 __ SmiUntag(eax); | |
| 1608 } | |
| 1609 | |
| 1610 | |
| 1611 bool CEntryStub::NeedsImmovableCode() { | 1411 bool CEntryStub::NeedsImmovableCode() { |
| 1612 return false; | 1412 return false; |
| 1613 } | 1413 } |
| 1614 | 1414 |
| 1615 | 1415 |
| 1616 void CodeStub::GenerateStubsAheadOfTime(Isolate* isolate) { | 1416 void CodeStub::GenerateStubsAheadOfTime(Isolate* isolate) { |
| 1617 CEntryStub::GenerateAheadOfTime(isolate); | 1417 CEntryStub::GenerateAheadOfTime(isolate); |
| 1618 StoreBufferOverflowStub::GenerateFixedRegStubsAheadOfTime(isolate); | 1418 StoreBufferOverflowStub::GenerateFixedRegStubsAheadOfTime(isolate); |
| 1619 StubFailureTrampolineStub::GenerateAheadOfTime(isolate); | 1419 StubFailureTrampolineStub::GenerateAheadOfTime(isolate); |
| 1620 // It is important that the store buffer overflow stubs are generated first. | 1420 // It is important that the store buffer overflow stubs are generated first. |
| (...skipping 2573 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4194 kStackUnwindSpace, nullptr, return_value_operand, | 3994 kStackUnwindSpace, nullptr, return_value_operand, |
| 4195 NULL); | 3995 NULL); |
| 4196 } | 3996 } |
| 4197 | 3997 |
| 4198 #undef __ | 3998 #undef __ |
| 4199 | 3999 |
| 4200 } // namespace internal | 4000 } // namespace internal |
| 4201 } // namespace v8 | 4001 } // namespace v8 |
| 4202 | 4002 |
| 4203 #endif // V8_TARGET_ARCH_IA32 | 4003 #endif // V8_TARGET_ARCH_IA32 |
| OLD | NEW |