| 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_X64 | 5 #if V8_TARGET_ARCH_X64 | 
| 6 | 6 | 
| 7 #include "src/code-factory.h" | 7 #include "src/code-factory.h" | 
| 8 #include "src/codegen.h" | 8 #include "src/codegen.h" | 
| 9 #include "src/deoptimizer.h" | 9 #include "src/deoptimizer.h" | 
| 10 #include "src/full-codegen/full-codegen.h" | 10 #include "src/full-codegen/full-codegen.h" | 
| (...skipping 1406 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1417   } | 1417   } | 
| 1418   __ Ret(); | 1418   __ Ret(); | 
| 1419 } | 1419 } | 
| 1420 | 1420 | 
| 1421 | 1421 | 
| 1422 static void ArgumentsAdaptorStackCheck(MacroAssembler* masm, | 1422 static void ArgumentsAdaptorStackCheck(MacroAssembler* masm, | 
| 1423                                        Label* stack_overflow) { | 1423                                        Label* stack_overflow) { | 
| 1424   // ----------- S t a t e ------------- | 1424   // ----------- S t a t e ------------- | 
| 1425   //  -- rax : actual number of arguments | 1425   //  -- rax : actual number of arguments | 
| 1426   //  -- rbx : expected number of arguments | 1426   //  -- rbx : expected number of arguments | 
| 1427   //  -- rdi: function (passed through to callee) | 1427   //  -- rdx : new target (passed through to callee) | 
|  | 1428   //  -- rdi : function (passed through to callee) | 
| 1428   // ----------------------------------- | 1429   // ----------------------------------- | 
| 1429   // Check the stack for overflow. We are not trying to catch | 1430   // Check the stack for overflow. We are not trying to catch | 
| 1430   // interruptions (e.g. debug break and preemption) here, so the "real stack | 1431   // interruptions (e.g. debug break and preemption) here, so the "real stack | 
| 1431   // limit" is checked. | 1432   // limit" is checked. | 
| 1432   Label okay; | 1433   Label okay; | 
| 1433   __ LoadRoot(rdx, Heap::kRealStackLimitRootIndex); | 1434   __ LoadRoot(r8, Heap::kRealStackLimitRootIndex); | 
| 1434   __ movp(rcx, rsp); | 1435   __ movp(rcx, rsp); | 
| 1435   // Make rcx the space we have left. The stack might already be overflowed | 1436   // Make rcx the space we have left. The stack might already be overflowed | 
| 1436   // here which will cause rcx to become negative. | 1437   // here which will cause rcx to become negative. | 
| 1437   __ subp(rcx, rdx); | 1438   __ subp(rcx, r8); | 
| 1438   // Make rdx the space we need for the array when it is unrolled onto the | 1439   // Make r8 the space we need for the array when it is unrolled onto the | 
| 1439   // stack. | 1440   // stack. | 
| 1440   __ movp(rdx, rbx); | 1441   __ movp(r8, rbx); | 
| 1441   __ shlp(rdx, Immediate(kPointerSizeLog2)); | 1442   __ shlp(r8, Immediate(kPointerSizeLog2)); | 
| 1442   // Check if the arguments will overflow the stack. | 1443   // Check if the arguments will overflow the stack. | 
| 1443   __ cmpp(rcx, rdx); | 1444   __ cmpp(rcx, r8); | 
| 1444   __ j(less_equal, stack_overflow);  // Signed comparison. | 1445   __ j(less_equal, stack_overflow);  // Signed comparison. | 
| 1445 } | 1446 } | 
| 1446 | 1447 | 
| 1447 | 1448 | 
| 1448 static void EnterArgumentsAdaptorFrame(MacroAssembler* masm) { | 1449 static void EnterArgumentsAdaptorFrame(MacroAssembler* masm) { | 
| 1449   __ pushq(rbp); | 1450   __ pushq(rbp); | 
| 1450   __ movp(rbp, rsp); | 1451   __ movp(rbp, rsp); | 
| 1451 | 1452 | 
| 1452   // Store the arguments adaptor context sentinel. | 1453   // Store the arguments adaptor context sentinel. | 
| 1453   __ Push(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)); | 1454   __ Push(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)); | 
| (...skipping 22 matching lines...) Expand all  Loading... | 
| 1476   SmiIndex index = masm->SmiToIndex(rbx, rbx, kPointerSizeLog2); | 1477   SmiIndex index = masm->SmiToIndex(rbx, rbx, kPointerSizeLog2); | 
| 1477   __ leap(rsp, Operand(rsp, index.reg, index.scale, 1 * kPointerSize)); | 1478   __ leap(rsp, Operand(rsp, index.reg, index.scale, 1 * kPointerSize)); | 
| 1478   __ PushReturnAddressFrom(rcx); | 1479   __ PushReturnAddressFrom(rcx); | 
| 1479 } | 1480 } | 
| 1480 | 1481 | 
| 1481 | 1482 | 
| 1482 void Builtins::Generate_ArgumentsAdaptorTrampoline(MacroAssembler* masm) { | 1483 void Builtins::Generate_ArgumentsAdaptorTrampoline(MacroAssembler* masm) { | 
| 1483   // ----------- S t a t e ------------- | 1484   // ----------- S t a t e ------------- | 
| 1484   //  -- rax : actual number of arguments | 1485   //  -- rax : actual number of arguments | 
| 1485   //  -- rbx : expected number of arguments | 1486   //  -- rbx : expected number of arguments | 
| 1486   //  -- rdi: function (passed through to callee) | 1487   //  -- rdx : new target (passed through to callee) | 
|  | 1488   //  -- rdi : function (passed through to callee) | 
| 1487   // ----------------------------------- | 1489   // ----------------------------------- | 
| 1488 | 1490 | 
| 1489   Label invoke, dont_adapt_arguments; | 1491   Label invoke, dont_adapt_arguments, stack_overflow; | 
| 1490   Counters* counters = masm->isolate()->counters(); | 1492   Counters* counters = masm->isolate()->counters(); | 
| 1491   __ IncrementCounter(counters->arguments_adaptors(), 1); | 1493   __ IncrementCounter(counters->arguments_adaptors(), 1); | 
| 1492 | 1494 | 
| 1493   Label stack_overflow; |  | 
| 1494   ArgumentsAdaptorStackCheck(masm, &stack_overflow); |  | 
| 1495 |  | 
| 1496   Label enough, too_few; | 1495   Label enough, too_few; | 
| 1497   __ movp(rdx, FieldOperand(rdi, JSFunction::kCodeEntryOffset)); |  | 
| 1498   __ cmpp(rax, rbx); | 1496   __ cmpp(rax, rbx); | 
| 1499   __ j(less, &too_few); | 1497   __ j(less, &too_few); | 
| 1500   __ cmpp(rbx, Immediate(SharedFunctionInfo::kDontAdaptArgumentsSentinel)); | 1498   __ cmpp(rbx, Immediate(SharedFunctionInfo::kDontAdaptArgumentsSentinel)); | 
| 1501   __ j(equal, &dont_adapt_arguments); | 1499   __ j(equal, &dont_adapt_arguments); | 
| 1502 | 1500 | 
| 1503   {  // Enough parameters: Actual >= expected. | 1501   {  // Enough parameters: Actual >= expected. | 
| 1504     __ bind(&enough); | 1502     __ bind(&enough); | 
| 1505     EnterArgumentsAdaptorFrame(masm); | 1503     EnterArgumentsAdaptorFrame(masm); | 
|  | 1504     ArgumentsAdaptorStackCheck(masm, &stack_overflow); | 
| 1506 | 1505 | 
| 1507     // Copy receiver and all expected arguments. | 1506     // Copy receiver and all expected arguments. | 
| 1508     const int offset = StandardFrameConstants::kCallerSPOffset; | 1507     const int offset = StandardFrameConstants::kCallerSPOffset; | 
| 1509     __ leap(rax, Operand(rbp, rax, times_pointer_size, offset)); | 1508     __ leap(rax, Operand(rbp, rax, times_pointer_size, offset)); | 
| 1510     __ Set(r8, -1);  // account for receiver | 1509     __ Set(r8, -1);  // account for receiver | 
| 1511 | 1510 | 
| 1512     Label copy; | 1511     Label copy; | 
| 1513     __ bind(©); | 1512     __ bind(©); | 
| 1514     __ incp(r8); | 1513     __ incp(r8); | 
| 1515     __ Push(Operand(rax, 0)); | 1514     __ Push(Operand(rax, 0)); | 
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1550     __ j(greater_equal, &no_strong_error, Label::kNear); | 1549     __ j(greater_equal, &no_strong_error, Label::kNear); | 
| 1551 | 1550 | 
| 1552     { | 1551     { | 
| 1553       FrameScope frame(masm, StackFrame::MANUAL); | 1552       FrameScope frame(masm, StackFrame::MANUAL); | 
| 1554       EnterArgumentsAdaptorFrame(masm); | 1553       EnterArgumentsAdaptorFrame(masm); | 
| 1555       __ CallRuntime(Runtime::kThrowStrongModeTooFewArguments, 0); | 1554       __ CallRuntime(Runtime::kThrowStrongModeTooFewArguments, 0); | 
| 1556     } | 1555     } | 
| 1557 | 1556 | 
| 1558     __ bind(&no_strong_error); | 1557     __ bind(&no_strong_error); | 
| 1559     EnterArgumentsAdaptorFrame(masm); | 1558     EnterArgumentsAdaptorFrame(masm); | 
|  | 1559     ArgumentsAdaptorStackCheck(masm, &stack_overflow); | 
| 1560 | 1560 | 
| 1561     // Copy receiver and all actual arguments. | 1561     // Copy receiver and all actual arguments. | 
| 1562     const int offset = StandardFrameConstants::kCallerSPOffset; | 1562     const int offset = StandardFrameConstants::kCallerSPOffset; | 
| 1563     __ leap(rdi, Operand(rbp, rax, times_pointer_size, offset)); | 1563     __ leap(rdi, Operand(rbp, rax, times_pointer_size, offset)); | 
| 1564     __ Set(r8, -1);  // account for receiver | 1564     __ Set(r8, -1);  // account for receiver | 
| 1565 | 1565 | 
| 1566     Label copy; | 1566     Label copy; | 
| 1567     __ bind(©); | 1567     __ bind(©); | 
| 1568     __ incp(r8); | 1568     __ incp(r8); | 
| 1569     __ Push(Operand(rdi, 0)); | 1569     __ Push(Operand(rdi, 0)); | 
| (...skipping 11 matching lines...) Expand all  Loading... | 
| 1581     __ j(less, &fill); | 1581     __ j(less, &fill); | 
| 1582 | 1582 | 
| 1583     // Restore function pointer. | 1583     // Restore function pointer. | 
| 1584     __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 1584     __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 
| 1585   } | 1585   } | 
| 1586 | 1586 | 
| 1587   // Call the entry point. | 1587   // Call the entry point. | 
| 1588   __ bind(&invoke); | 1588   __ bind(&invoke); | 
| 1589   __ movp(rax, rbx); | 1589   __ movp(rax, rbx); | 
| 1590   // rax : expected number of arguments | 1590   // rax : expected number of arguments | 
| 1591   // rdi: function (passed through to callee) | 1591   // rdx : new target (passed through to callee) | 
| 1592   __ call(rdx); | 1592   // rdi : function (passed through to callee) | 
|  | 1593   __ movp(rcx, FieldOperand(rdi, JSFunction::kCodeEntryOffset)); | 
|  | 1594   __ call(rcx); | 
| 1593 | 1595 | 
| 1594   // Store offset of return address for deoptimizer. | 1596   // Store offset of return address for deoptimizer. | 
| 1595   masm->isolate()->heap()->SetArgumentsAdaptorDeoptPCOffset(masm->pc_offset()); | 1597   masm->isolate()->heap()->SetArgumentsAdaptorDeoptPCOffset(masm->pc_offset()); | 
| 1596 | 1598 | 
| 1597   // Leave frame and return. | 1599   // Leave frame and return. | 
| 1598   LeaveArgumentsAdaptorFrame(masm); | 1600   LeaveArgumentsAdaptorFrame(masm); | 
| 1599   __ ret(0); | 1601   __ ret(0); | 
| 1600 | 1602 | 
| 1601   // ------------------------------------------- | 1603   // ------------------------------------------- | 
| 1602   // Dont adapt arguments. | 1604   // Dont adapt arguments. | 
| 1603   // ------------------------------------------- | 1605   // ------------------------------------------- | 
| 1604   __ bind(&dont_adapt_arguments); | 1606   __ bind(&dont_adapt_arguments); | 
| 1605   __ jmp(rdx); | 1607   __ movp(rcx, FieldOperand(rdi, JSFunction::kCodeEntryOffset)); | 
|  | 1608   __ jmp(rcx); | 
| 1606 | 1609 | 
| 1607   __ bind(&stack_overflow); | 1610   __ bind(&stack_overflow); | 
| 1608   { | 1611   { | 
| 1609     FrameScope frame(masm, StackFrame::MANUAL); | 1612     FrameScope frame(masm, StackFrame::MANUAL); | 
| 1610     EnterArgumentsAdaptorFrame(masm); |  | 
| 1611     __ CallRuntime(Runtime::kThrowStackOverflow, 0); | 1613     __ CallRuntime(Runtime::kThrowStackOverflow, 0); | 
| 1612     __ int3(); | 1614     __ int3(); | 
| 1613   } | 1615   } | 
| 1614 } | 1616 } | 
| 1615 | 1617 | 
| 1616 | 1618 | 
| 1617 // static | 1619 // static | 
| 1618 void Builtins::Generate_CallFunction(MacroAssembler* masm, | 1620 void Builtins::Generate_CallFunction(MacroAssembler* masm, | 
| 1619                                      ConvertReceiverMode mode) { | 1621                                      ConvertReceiverMode mode) { | 
| 1620   // ----------- S t a t e ------------- | 1622   // ----------- S t a t e ------------- | 
| (...skipping 292 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1913   __ ret(0); | 1915   __ ret(0); | 
| 1914 } | 1916 } | 
| 1915 | 1917 | 
| 1916 | 1918 | 
| 1917 #undef __ | 1919 #undef __ | 
| 1918 | 1920 | 
| 1919 }  // namespace internal | 1921 }  // namespace internal | 
| 1920 }  // namespace v8 | 1922 }  // namespace v8 | 
| 1921 | 1923 | 
| 1922 #endif  // V8_TARGET_ARCH_X64 | 1924 #endif  // V8_TARGET_ARCH_X64 | 
| OLD | NEW | 
|---|