| OLD | NEW |
| 1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2010 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 512 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 523 } | 523 } |
| 524 | 524 |
| 525 | 525 |
| 526 void KeyedLoadIC::GenerateGeneric(MacroAssembler* masm) { | 526 void KeyedLoadIC::GenerateGeneric(MacroAssembler* masm) { |
| 527 // ----------- S t a t e ------------- | 527 // ----------- S t a t e ------------- |
| 528 // -- eax : key | 528 // -- eax : key |
| 529 // -- edx : receiver | 529 // -- edx : receiver |
| 530 // -- esp[0] : return address | 530 // -- esp[0] : return address |
| 531 // ----------------------------------- | 531 // ----------------------------------- |
| 532 Label slow, check_string, index_smi, index_string, property_array_property; | 532 Label slow, check_string, index_smi, index_string, property_array_property; |
| 533 Label check_pixel_array, probe_dictionary, check_number_dictionary; | 533 Label probe_dictionary, check_number_dictionary; |
| 534 | 534 |
| 535 // Check that the key is a smi. | 535 // Check that the key is a smi. |
| 536 __ test(eax, Immediate(kSmiTagMask)); | 536 __ test(eax, Immediate(kSmiTagMask)); |
| 537 __ j(not_zero, &check_string, not_taken); | 537 __ j(not_zero, &check_string, not_taken); |
| 538 __ bind(&index_smi); | 538 __ bind(&index_smi); |
| 539 // Now the key is known to be a smi. This place is also jumped to from | 539 // Now the key is known to be a smi. This place is also jumped to from |
| 540 // where a numeric string is converted to a smi. | 540 // where a numeric string is converted to a smi. |
| 541 | 541 |
| 542 GenerateKeyedLoadReceiverCheck( | 542 GenerateKeyedLoadReceiverCheck( |
| 543 masm, edx, ecx, Map::kHasIndexedInterceptor, &slow); | 543 masm, edx, ecx, Map::kHasIndexedInterceptor, &slow); |
| 544 | 544 |
| 545 // Check the "has fast elements" bit in the receiver's map which is | 545 // Check the "has fast elements" bit in the receiver's map which is |
| 546 // now in ecx. | 546 // now in ecx. |
| 547 __ test_b(FieldOperand(ecx, Map::kBitField2Offset), | 547 __ test_b(FieldOperand(ecx, Map::kBitField2Offset), |
| 548 1 << Map::kHasFastElements); | 548 1 << Map::kHasFastElements); |
| 549 __ j(zero, &check_pixel_array, not_taken); | 549 __ j(zero, &check_number_dictionary, not_taken); |
| 550 | 550 |
| 551 GenerateFastArrayLoad(masm, | 551 GenerateFastArrayLoad(masm, |
| 552 edx, | 552 edx, |
| 553 eax, | 553 eax, |
| 554 ecx, | 554 ecx, |
| 555 eax, | 555 eax, |
| 556 NULL, | 556 NULL, |
| 557 &slow); | 557 &slow); |
| 558 __ IncrementCounter(&Counters::keyed_load_generic_smi, 1); | 558 __ IncrementCounter(&Counters::keyed_load_generic_smi, 1); |
| 559 __ ret(0); | 559 __ ret(0); |
| 560 | 560 |
| 561 __ bind(&check_pixel_array); | 561 __ bind(&check_number_dictionary); |
| 562 GenerateFastPixelArrayLoad(masm, | 562 __ mov(ebx, eax); |
| 563 edx, | 563 __ SmiUntag(ebx); |
| 564 eax, | 564 __ mov(ecx, FieldOperand(edx, JSObject::kElementsOffset)); |
| 565 ecx, | |
| 566 ebx, | |
| 567 eax, | |
| 568 &check_number_dictionary, | |
| 569 NULL, | |
| 570 &slow); | |
| 571 | 565 |
| 572 __ bind(&check_number_dictionary); | |
| 573 // Check whether the elements is a number dictionary. | 566 // Check whether the elements is a number dictionary. |
| 574 // edx: receiver | 567 // edx: receiver |
| 575 // ebx: untagged index | 568 // ebx: untagged index |
| 576 // eax: key | 569 // eax: key |
| 577 // ecx: elements | 570 // ecx: elements |
| 578 __ CheckMap(ecx, Factory::hash_table_map(), &slow, true); | 571 __ CheckMap(ecx, Factory::hash_table_map(), &slow, true); |
| 579 Label slow_pop_receiver; | 572 Label slow_pop_receiver; |
| 580 // Push receiver on the stack to free up a register for the dictionary | 573 // Push receiver on the stack to free up a register for the dictionary |
| 581 // probing. | 574 // probing. |
| 582 __ push(edx); | 575 __ push(edx); |
| (...skipping 178 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 761 } | 754 } |
| 762 | 755 |
| 763 | 756 |
| 764 void KeyedStoreIC::GenerateGeneric(MacroAssembler* masm) { | 757 void KeyedStoreIC::GenerateGeneric(MacroAssembler* masm) { |
| 765 // ----------- S t a t e ------------- | 758 // ----------- S t a t e ------------- |
| 766 // -- eax : value | 759 // -- eax : value |
| 767 // -- ecx : key | 760 // -- ecx : key |
| 768 // -- edx : receiver | 761 // -- edx : receiver |
| 769 // -- esp[0] : return address | 762 // -- esp[0] : return address |
| 770 // ----------------------------------- | 763 // ----------------------------------- |
| 771 Label slow, fast, array, extra, check_pixel_array; | 764 Label slow, fast, array, extra; |
| 772 | 765 |
| 773 // Check that the object isn't a smi. | 766 // Check that the object isn't a smi. |
| 774 __ test(edx, Immediate(kSmiTagMask)); | 767 __ test(edx, Immediate(kSmiTagMask)); |
| 775 __ j(zero, &slow, not_taken); | 768 __ j(zero, &slow, not_taken); |
| 776 // Get the map from the receiver. | 769 // Get the map from the receiver. |
| 777 __ mov(edi, FieldOperand(edx, HeapObject::kMapOffset)); | 770 __ mov(edi, FieldOperand(edx, HeapObject::kMapOffset)); |
| 778 // Check that the receiver does not require access checks. We need | 771 // Check that the receiver does not require access checks. We need |
| 779 // to do this because this generic stub does not perform map checks. | 772 // to do this because this generic stub does not perform map checks. |
| 780 __ test_b(FieldOperand(edi, Map::kBitFieldOffset), | 773 __ test_b(FieldOperand(edi, Map::kBitFieldOffset), |
| 781 1 << Map::kIsAccessCheckNeeded); | 774 1 << Map::kIsAccessCheckNeeded); |
| 782 __ j(not_zero, &slow, not_taken); | 775 __ j(not_zero, &slow, not_taken); |
| 783 // Check that the key is a smi. | 776 // Check that the key is a smi. |
| 784 __ test(ecx, Immediate(kSmiTagMask)); | 777 __ test(ecx, Immediate(kSmiTagMask)); |
| 785 __ j(not_zero, &slow, not_taken); | 778 __ j(not_zero, &slow, not_taken); |
| 786 __ CmpInstanceType(edi, JS_ARRAY_TYPE); | 779 __ CmpInstanceType(edi, JS_ARRAY_TYPE); |
| 787 __ j(equal, &array); | 780 __ j(equal, &array); |
| 788 // Check that the object is some kind of JS object. | 781 // Check that the object is some kind of JS object. |
| 789 __ CmpInstanceType(edi, FIRST_JS_OBJECT_TYPE); | 782 __ CmpInstanceType(edi, FIRST_JS_OBJECT_TYPE); |
| 790 __ j(below, &slow, not_taken); | 783 __ j(below, &slow, not_taken); |
| 791 | 784 |
| 792 // Object case: Check key against length in the elements array. | 785 // Object case: Check key against length in the elements array. |
| 793 // eax: value | 786 // eax: value |
| 794 // edx: JSObject | 787 // edx: JSObject |
| 795 // ecx: key (a smi) | 788 // ecx: key (a smi) |
| 796 __ mov(edi, FieldOperand(edx, JSObject::kElementsOffset)); | 789 __ mov(edi, FieldOperand(edx, JSObject::kElementsOffset)); |
| 797 // Check that the object is in fast mode and writable. | 790 // Check that the object is in fast mode and writable. |
| 798 __ CheckMap(edi, Factory::fixed_array_map(), &check_pixel_array, true); | 791 __ CheckMap(edi, Factory::fixed_array_map(), &slow, true); |
| 799 __ cmp(ecx, FieldOperand(edi, FixedArray::kLengthOffset)); | 792 __ cmp(ecx, FieldOperand(edi, FixedArray::kLengthOffset)); |
| 800 __ j(below, &fast, taken); | 793 __ j(below, &fast, taken); |
| 801 | 794 |
| 802 // Slow case: call runtime. | 795 // Slow case: call runtime. |
| 803 __ bind(&slow); | 796 __ bind(&slow); |
| 804 GenerateRuntimeSetProperty(masm); | 797 GenerateRuntimeSetProperty(masm); |
| 805 | 798 |
| 806 // Check whether the elements is a pixel array. | |
| 807 __ bind(&check_pixel_array); | |
| 808 // eax: value | |
| 809 // ecx: key (a smi) | |
| 810 // edx: receiver | |
| 811 // edi: elements array | |
| 812 GenerateFastPixelArrayStore(masm, | |
| 813 edx, | |
| 814 ecx, | |
| 815 eax, | |
| 816 edi, | |
| 817 ebx, | |
| 818 false, | |
| 819 NULL, | |
| 820 &slow, | |
| 821 &slow, | |
| 822 &slow); | |
| 823 | |
| 824 // Extra capacity case: Check if there is extra capacity to | 799 // Extra capacity case: Check if there is extra capacity to |
| 825 // perform the store and update the length. Used for adding one | 800 // perform the store and update the length. Used for adding one |
| 826 // element to the array by writing to array[array.length]. | 801 // element to the array by writing to array[array.length]. |
| 827 __ bind(&extra); | 802 __ bind(&extra); |
| 828 // eax: value | 803 // eax: value |
| 829 // edx: receiver, a JSArray | 804 // edx: receiver, a JSArray |
| 830 // ecx: key, a smi. | 805 // ecx: key, a smi. |
| 831 // edi: receiver->elements, a FixedArray | 806 // edi: receiver->elements, a FixedArray |
| 832 // flags: compare (ecx, edx.length()) | 807 // flags: compare (ecx, edx.length()) |
| 833 __ j(not_equal, &slow, not_taken); // do not leave holes in the array | 808 __ j(not_equal, &slow, not_taken); // do not leave holes in the array |
| 834 __ cmp(ecx, FieldOperand(edi, FixedArray::kLengthOffset)); | 809 __ cmp(ecx, FieldOperand(edi, FixedArray::kLengthOffset)); |
| 835 __ j(above_equal, &slow, not_taken); | 810 __ j(above_equal, &slow, not_taken); |
| 836 // Add 1 to receiver->length, and go to fast array write. | 811 // Add 1 to receiver->length, and go to fast array write. |
| 837 __ add(FieldOperand(edx, JSArray::kLengthOffset), | 812 __ add(FieldOperand(edx, JSArray::kLengthOffset), |
| 838 Immediate(Smi::FromInt(1))); | 813 Immediate(Smi::FromInt(1))); |
| 839 __ jmp(&fast); | 814 __ jmp(&fast); |
| 840 | 815 |
| 841 // Array case: Get the length and the elements array from the JS | 816 // Array case: Get the length and the elements array from the JS |
| 842 // array. Check that the array is in fast mode (and writable); if it | 817 // array. Check that the array is in fast mode (and writable); if it |
| 843 // is the length is always a smi. | 818 // is the length is always a smi. |
| 844 __ bind(&array); | 819 __ bind(&array); |
| 845 // eax: value | 820 // eax: value |
| 846 // edx: receiver, a JSArray | 821 // edx: receiver, a JSArray |
| 847 // ecx: key, a smi. | 822 // ecx: key, a smi. |
| 848 __ mov(edi, FieldOperand(edx, JSObject::kElementsOffset)); | 823 __ mov(edi, FieldOperand(edx, JSObject::kElementsOffset)); |
| 849 __ CheckMap(edi, Factory::fixed_array_map(), &check_pixel_array, true); | 824 __ CheckMap(edi, Factory::fixed_array_map(), &slow, true); |
| 850 | 825 |
| 851 // Check the key against the length in the array, compute the | 826 // Check the key against the length in the array, compute the |
| 852 // address to store into and fall through to fast case. | 827 // address to store into and fall through to fast case. |
| 853 __ cmp(ecx, FieldOperand(edx, JSArray::kLengthOffset)); // Compare smis. | 828 __ cmp(ecx, FieldOperand(edx, JSArray::kLengthOffset)); // Compare smis. |
| 854 __ j(above_equal, &extra, not_taken); | 829 __ j(above_equal, &extra, not_taken); |
| 855 | 830 |
| 856 // Fast case: Do the store. | 831 // Fast case: Do the store. |
| 857 __ bind(&fast); | 832 __ bind(&fast); |
| 858 // eax: value | 833 // eax: value |
| 859 // ecx: key (a smi) | 834 // ecx: key (a smi) |
| (...skipping 675 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1535 | 1510 |
| 1536 void StoreIC::GenerateArrayLength(MacroAssembler* masm) { | 1511 void StoreIC::GenerateArrayLength(MacroAssembler* masm) { |
| 1537 // ----------- S t a t e ------------- | 1512 // ----------- S t a t e ------------- |
| 1538 // -- eax : value | 1513 // -- eax : value |
| 1539 // -- ecx : name | 1514 // -- ecx : name |
| 1540 // -- edx : receiver | 1515 // -- edx : receiver |
| 1541 // -- esp[0] : return address | 1516 // -- esp[0] : return address |
| 1542 // ----------------------------------- | 1517 // ----------------------------------- |
| 1543 // | 1518 // |
| 1544 // This accepts as a receiver anything JSObject::SetElementsLength accepts | 1519 // This accepts as a receiver anything JSObject::SetElementsLength accepts |
| 1545 // (currently anything except for external and pixel arrays which means | 1520 // (currently anything except for external arrays which means anything with |
| 1546 // anything with elements of FixedArray type.), but currently is restricted | 1521 // elements of FixedArray type.), but currently is restricted to JSArray. |
| 1547 // to JSArray. | |
| 1548 // Value must be a number, but only smis are accepted as the most common case. | 1522 // Value must be a number, but only smis are accepted as the most common case. |
| 1549 | 1523 |
| 1550 Label miss; | 1524 Label miss; |
| 1551 | 1525 |
| 1552 Register receiver = edx; | 1526 Register receiver = edx; |
| 1553 Register value = eax; | 1527 Register value = eax; |
| 1554 Register scratch = ebx; | 1528 Register scratch = ebx; |
| 1555 | 1529 |
| 1556 // Check that the receiver isn't a smi. | 1530 // Check that the receiver isn't a smi. |
| 1557 __ test(receiver, Immediate(kSmiTagMask)); | 1531 __ test(receiver, Immediate(kSmiTagMask)); |
| (...skipping 212 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1770 Condition cc = *jmp_address == Assembler::kJncShortOpcode | 1744 Condition cc = *jmp_address == Assembler::kJncShortOpcode |
| 1771 ? not_zero | 1745 ? not_zero |
| 1772 : zero; | 1746 : zero; |
| 1773 *jmp_address = static_cast<byte>(Assembler::kJccShortPrefix | cc); | 1747 *jmp_address = static_cast<byte>(Assembler::kJccShortPrefix | cc); |
| 1774 } | 1748 } |
| 1775 | 1749 |
| 1776 | 1750 |
| 1777 } } // namespace v8::internal | 1751 } } // namespace v8::internal |
| 1778 | 1752 |
| 1779 #endif // V8_TARGET_ARCH_IA32 | 1753 #endif // V8_TARGET_ARCH_IA32 |
| OLD | NEW |