OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #include "vm/globals.h" | 5 #include "vm/globals.h" |
6 #if defined(TARGET_ARCH_IA32) | 6 #if defined(TARGET_ARCH_IA32) |
7 | 7 |
8 #include "vm/assembler.h" | 8 #include "vm/assembler.h" |
9 #include "vm/compiler.h" | 9 #include "vm/compiler.h" |
10 #include "vm/dart_entry.h" | 10 #include "vm/dart_entry.h" |
(...skipping 11 matching lines...) Expand all Loading... |
22 #define __ assembler-> | 22 #define __ assembler-> |
23 | 23 |
24 namespace dart { | 24 namespace dart { |
25 | 25 |
26 DEFINE_FLAG(bool, inline_alloc, true, "Inline allocation of objects."); | 26 DEFINE_FLAG(bool, inline_alloc, true, "Inline allocation of objects."); |
27 DEFINE_FLAG(bool, use_slow_path, false, | 27 DEFINE_FLAG(bool, use_slow_path, false, |
28 "Set to true for debugging & verifying the slow paths."); | 28 "Set to true for debugging & verifying the slow paths."); |
29 DECLARE_FLAG(bool, trace_optimized_ic_calls); | 29 DECLARE_FLAG(bool, trace_optimized_ic_calls); |
30 DEFINE_FLAG(bool, verify_incoming_contexts, false, ""); | 30 DEFINE_FLAG(bool, verify_incoming_contexts, false, ""); |
31 | 31 |
| 32 DECLARE_FLAG(bool, enable_debugger); |
32 | 33 |
33 // Input parameters: | 34 // Input parameters: |
34 // ESP : points to return address. | 35 // ESP : points to return address. |
35 // ESP + 4 : address of last argument in argument array. | 36 // ESP + 4 : address of last argument in argument array. |
36 // ESP + 4*EDX : address of first argument in argument array. | 37 // ESP + 4*EDX : address of first argument in argument array. |
37 // ESP + 4*EDX + 4 : address of return value. | 38 // ESP + 4*EDX + 4 : address of return value. |
38 // ECX : address of the runtime function to call. | 39 // ECX : address of the runtime function to call. |
39 // EDX : number of arguments to the call. | 40 // EDX : number of arguments to the call. |
40 // Must preserve callee saved registers EDI and EBX. | 41 // Must preserve callee saved registers EDI and EBX. |
41 void StubCode::GenerateCallToRuntimeStub(Assembler* assembler) { | 42 void StubCode::GenerateCallToRuntimeStub(Assembler* assembler) { |
(...skipping 1252 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1294 __ movl(EBX, FieldAddress(ECX, ICData::state_bits_offset())); | 1295 __ movl(EBX, FieldAddress(ECX, ICData::state_bits_offset())); |
1295 ASSERT(ICData::NumArgsTestedShift() == 0); // No shift needed. | 1296 ASSERT(ICData::NumArgsTestedShift() == 0); // No shift needed. |
1296 __ andl(EBX, Immediate(ICData::NumArgsTestedMask())); | 1297 __ andl(EBX, Immediate(ICData::NumArgsTestedMask())); |
1297 __ cmpl(EBX, Immediate(num_args)); | 1298 __ cmpl(EBX, Immediate(num_args)); |
1298 __ j(EQUAL, &ok, Assembler::kNearJump); | 1299 __ j(EQUAL, &ok, Assembler::kNearJump); |
1299 __ Stop("Incorrect stub for IC data"); | 1300 __ Stop("Incorrect stub for IC data"); |
1300 __ Bind(&ok); | 1301 __ Bind(&ok); |
1301 } | 1302 } |
1302 #endif // DEBUG | 1303 #endif // DEBUG |
1303 | 1304 |
1304 // Check single stepping. | 1305 if (FLAG_enable_debugger) { |
1305 Label not_stepping; | 1306 // Check single stepping. |
1306 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); | 1307 Label not_stepping; |
1307 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); | 1308 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); |
1308 __ cmpl(EAX, Immediate(0)); | 1309 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); |
1309 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); | 1310 __ cmpl(EAX, Immediate(0)); |
| 1311 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); |
1310 | 1312 |
1311 __ EnterStubFrame(); | 1313 __ EnterStubFrame(); |
1312 __ pushl(ECX); | 1314 __ pushl(ECX); |
1313 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); | 1315 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); |
1314 __ popl(ECX); | 1316 __ popl(ECX); |
1315 __ LeaveFrame(); | 1317 __ LeaveFrame(); |
1316 __ Bind(¬_stepping); | 1318 __ Bind(¬_stepping); |
| 1319 } |
1317 | 1320 |
1318 // ECX: IC data object (preserved). | 1321 // ECX: IC data object (preserved). |
1319 // Load arguments descriptor into EDX. | 1322 // Load arguments descriptor into EDX. |
1320 __ movl(EDX, FieldAddress(ECX, ICData::arguments_descriptor_offset())); | 1323 __ movl(EDX, FieldAddress(ECX, ICData::arguments_descriptor_offset())); |
1321 // Loop that checks if there is an IC data match. | 1324 // Loop that checks if there is an IC data match. |
1322 Label loop, update, test, found, get_class_id_as_smi; | 1325 Label loop, update, test, found, get_class_id_as_smi; |
1323 // ECX: IC data object (preserved). | 1326 // ECX: IC data object (preserved). |
1324 __ movl(EBX, FieldAddress(ECX, ICData::ic_data_offset())); | 1327 __ movl(EBX, FieldAddress(ECX, ICData::ic_data_offset())); |
1325 // EBX: ic_data_array with check entries: classes and target functions. | 1328 // EBX: ic_data_array with check entries: classes and target functions. |
1326 __ leal(EBX, FieldAddress(EBX, Array::data_offset())); | 1329 __ leal(EBX, FieldAddress(EBX, Array::data_offset())); |
(...skipping 192 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1519 // 'NumArgsTested' is stored in the least significant bits of 'state_bits'. | 1522 // 'NumArgsTested' is stored in the least significant bits of 'state_bits'. |
1520 __ movl(EBX, FieldAddress(ECX, ICData::state_bits_offset())); | 1523 __ movl(EBX, FieldAddress(ECX, ICData::state_bits_offset())); |
1521 ASSERT(ICData::NumArgsTestedShift() == 0); // No shift needed. | 1524 ASSERT(ICData::NumArgsTestedShift() == 0); // No shift needed. |
1522 __ andl(EBX, Immediate(ICData::NumArgsTestedMask())); | 1525 __ andl(EBX, Immediate(ICData::NumArgsTestedMask())); |
1523 __ cmpl(EBX, Immediate(0)); | 1526 __ cmpl(EBX, Immediate(0)); |
1524 __ j(EQUAL, &ok, Assembler::kNearJump); | 1527 __ j(EQUAL, &ok, Assembler::kNearJump); |
1525 __ Stop("Incorrect IC data for unoptimized static call"); | 1528 __ Stop("Incorrect IC data for unoptimized static call"); |
1526 __ Bind(&ok); | 1529 __ Bind(&ok); |
1527 } | 1530 } |
1528 #endif // DEBUG | 1531 #endif // DEBUG |
1529 // Check single stepping. | 1532 if (FLAG_enable_debugger) { |
1530 Label not_stepping; | 1533 // Check single stepping. |
1531 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); | 1534 Label not_stepping; |
1532 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); | 1535 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); |
1533 __ cmpl(EAX, Immediate(0)); | 1536 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); |
1534 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); | 1537 __ cmpl(EAX, Immediate(0)); |
| 1538 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); |
1535 | 1539 |
1536 __ EnterStubFrame(); | 1540 __ EnterStubFrame(); |
1537 __ pushl(ECX); | 1541 __ pushl(ECX); |
1538 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); | 1542 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); |
1539 __ popl(ECX); | 1543 __ popl(ECX); |
1540 __ LeaveFrame(); | 1544 __ LeaveFrame(); |
1541 __ Bind(¬_stepping); | 1545 __ Bind(¬_stepping); |
| 1546 } |
1542 | 1547 |
1543 // ECX: IC data object (preserved). | 1548 // ECX: IC data object (preserved). |
1544 __ movl(EBX, FieldAddress(ECX, ICData::ic_data_offset())); | 1549 __ movl(EBX, FieldAddress(ECX, ICData::ic_data_offset())); |
1545 // EBX: ic_data_array with entries: target functions and count. | 1550 // EBX: ic_data_array with entries: target functions and count. |
1546 __ leal(EBX, FieldAddress(EBX, Array::data_offset())); | 1551 __ leal(EBX, FieldAddress(EBX, Array::data_offset())); |
1547 // EBX: points directly to the first ic data array element. | 1552 // EBX: points directly to the first ic data array element. |
1548 const intptr_t target_offset = ICData::TargetIndexFor(0) * kWordSize; | 1553 const intptr_t target_offset = ICData::TargetIndexFor(0) * kWordSize; |
1549 const intptr_t count_offset = ICData::CountIndexFor(0) * kWordSize; | 1554 const intptr_t count_offset = ICData::CountIndexFor(0) * kWordSize; |
1550 | 1555 |
1551 // Increment count for this call. | 1556 // Increment count for this call. |
(...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1613 __ popl(EAX); // Address of original stub. | 1618 __ popl(EAX); // Address of original stub. |
1614 __ popl(EDX); // Restore arguments. | 1619 __ popl(EDX); // Restore arguments. |
1615 __ popl(ECX); | 1620 __ popl(ECX); |
1616 __ LeaveFrame(); | 1621 __ LeaveFrame(); |
1617 __ jmp(EAX); // Jump to original stub. | 1622 __ jmp(EAX); // Jump to original stub. |
1618 } | 1623 } |
1619 | 1624 |
1620 | 1625 |
1621 // Called only from unoptimized code. | 1626 // Called only from unoptimized code. |
1622 void StubCode::GenerateDebugStepCheckStub(Assembler* assembler) { | 1627 void StubCode::GenerateDebugStepCheckStub(Assembler* assembler) { |
1623 // Check single stepping. | 1628 if (FLAG_enable_debugger) { |
1624 Label not_stepping; | 1629 // Check single stepping. |
1625 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); | 1630 Label not_stepping; |
1626 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); | 1631 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); |
1627 __ cmpl(EAX, Immediate(0)); | 1632 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); |
1628 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); | 1633 __ cmpl(EAX, Immediate(0)); |
| 1634 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); |
1629 | 1635 |
1630 __ EnterStubFrame(); | 1636 __ EnterStubFrame(); |
1631 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); | 1637 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); |
1632 __ LeaveFrame(); | 1638 __ LeaveFrame(); |
1633 __ Bind(¬_stepping); | 1639 __ Bind(¬_stepping); |
| 1640 } |
1634 __ ret(); | 1641 __ ret(); |
1635 } | 1642 } |
1636 | 1643 |
1637 | 1644 |
1638 // Used to check class and type arguments. Arguments passed on stack: | 1645 // Used to check class and type arguments. Arguments passed on stack: |
1639 // TOS + 0: return address. | 1646 // TOS + 0: return address. |
1640 // TOS + 1: instantiator type arguments (can be NULL). | 1647 // TOS + 1: instantiator type arguments (can be NULL). |
1641 // TOS + 2: instance. | 1648 // TOS + 2: instance. |
1642 // TOS + 3: SubtypeTestCache. | 1649 // TOS + 3: SubtypeTestCache. |
1643 // Result in ECX: null -> not found, otherwise result (true or false). | 1650 // Result in ECX: null -> not found, otherwise result (true or false). |
(...skipping 222 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1866 } | 1873 } |
1867 | 1874 |
1868 | 1875 |
1869 // Called only from unoptimized code. All relevant registers have been saved. | 1876 // Called only from unoptimized code. All relevant registers have been saved. |
1870 // TOS + 0: return address | 1877 // TOS + 0: return address |
1871 // TOS + 1: right argument. | 1878 // TOS + 1: right argument. |
1872 // TOS + 2: left argument. | 1879 // TOS + 2: left argument. |
1873 // Returns ZF set. | 1880 // Returns ZF set. |
1874 void StubCode::GenerateUnoptimizedIdenticalWithNumberCheckStub( | 1881 void StubCode::GenerateUnoptimizedIdenticalWithNumberCheckStub( |
1875 Assembler* assembler) { | 1882 Assembler* assembler) { |
1876 // Check single stepping. | 1883 if (FLAG_enable_debugger) { |
1877 Label not_stepping; | 1884 // Check single stepping. |
1878 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); | 1885 Label not_stepping; |
1879 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); | 1886 __ movl(EAX, FieldAddress(CTX, Context::isolate_offset())); |
1880 __ cmpl(EAX, Immediate(0)); | 1887 __ movzxb(EAX, Address(EAX, Isolate::single_step_offset())); |
1881 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); | 1888 __ cmpl(EAX, Immediate(0)); |
| 1889 __ j(EQUAL, ¬_stepping, Assembler::kNearJump); |
1882 | 1890 |
1883 __ EnterStubFrame(); | 1891 __ EnterStubFrame(); |
1884 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); | 1892 __ CallRuntime(kSingleStepHandlerRuntimeEntry, 0); |
1885 __ LeaveFrame(); | 1893 __ LeaveFrame(); |
1886 __ Bind(¬_stepping); | 1894 __ Bind(¬_stepping); |
| 1895 } |
1887 | 1896 |
1888 const Register left = EAX; | 1897 const Register left = EAX; |
1889 const Register right = EDX; | 1898 const Register right = EDX; |
1890 const Register temp = ECX; | 1899 const Register temp = ECX; |
1891 __ movl(left, Address(ESP, 2 * kWordSize)); | 1900 __ movl(left, Address(ESP, 2 * kWordSize)); |
1892 __ movl(right, Address(ESP, 1 * kWordSize)); | 1901 __ movl(right, Address(ESP, 1 * kWordSize)); |
1893 GenerateIdenticalWithNumberCheckStub(assembler, left, right, temp); | 1902 GenerateIdenticalWithNumberCheckStub(assembler, left, right, temp); |
1894 __ ret(); | 1903 __ ret(); |
1895 } | 1904 } |
1896 | 1905 |
(...skipping 10 matching lines...) Expand all Loading... |
1907 const Register temp = ECX; | 1916 const Register temp = ECX; |
1908 __ movl(left, Address(ESP, 2 * kWordSize)); | 1917 __ movl(left, Address(ESP, 2 * kWordSize)); |
1909 __ movl(right, Address(ESP, 1 * kWordSize)); | 1918 __ movl(right, Address(ESP, 1 * kWordSize)); |
1910 GenerateIdenticalWithNumberCheckStub(assembler, left, right, temp); | 1919 GenerateIdenticalWithNumberCheckStub(assembler, left, right, temp); |
1911 __ ret(); | 1920 __ ret(); |
1912 } | 1921 } |
1913 | 1922 |
1914 } // namespace dart | 1923 } // namespace dart |
1915 | 1924 |
1916 #endif // defined TARGET_ARCH_IA32 | 1925 #endif // defined TARGET_ARCH_IA32 |
OLD | NEW |