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/base/bits.h" | 7 #include "src/base/bits.h" |
8 #include "src/base/division-by-constant.h" | 8 #include "src/base/division-by-constant.h" |
9 #include "src/bootstrapper.h" | 9 #include "src/bootstrapper.h" |
10 #include "src/codegen.h" | 10 #include "src/codegen.h" |
(...skipping 3659 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3670 movp(map, FieldOperand(heap_object, HeapObject::kMapOffset)); | 3670 movp(map, FieldOperand(heap_object, HeapObject::kMapOffset)); |
3671 CmpInstanceType(map, type); | 3671 CmpInstanceType(map, type); |
3672 } | 3672 } |
3673 | 3673 |
3674 | 3674 |
3675 void MacroAssembler::CmpInstanceType(Register map, InstanceType type) { | 3675 void MacroAssembler::CmpInstanceType(Register map, InstanceType type) { |
3676 cmpb(FieldOperand(map, Map::kInstanceTypeOffset), | 3676 cmpb(FieldOperand(map, Map::kInstanceTypeOffset), |
3677 Immediate(static_cast<int8_t>(type))); | 3677 Immediate(static_cast<int8_t>(type))); |
3678 } | 3678 } |
3679 | 3679 |
3680 | |
3681 void MacroAssembler::CheckFastElements(Register map, | |
3682 Label* fail, | |
3683 Label::Distance distance) { | |
3684 STATIC_ASSERT(FAST_SMI_ELEMENTS == 0); | |
3685 STATIC_ASSERT(FAST_HOLEY_SMI_ELEMENTS == 1); | |
3686 STATIC_ASSERT(FAST_ELEMENTS == 2); | |
3687 STATIC_ASSERT(FAST_HOLEY_ELEMENTS == 3); | |
3688 cmpb(FieldOperand(map, Map::kBitField2Offset), | |
3689 Immediate(Map::kMaximumBitField2FastHoleyElementValue)); | |
3690 j(above, fail, distance); | |
3691 } | |
3692 | |
3693 | |
3694 void MacroAssembler::CheckFastObjectElements(Register map, | 3680 void MacroAssembler::CheckFastObjectElements(Register map, |
3695 Label* fail, | 3681 Label* fail, |
3696 Label::Distance distance) { | 3682 Label::Distance distance) { |
3697 STATIC_ASSERT(FAST_SMI_ELEMENTS == 0); | 3683 STATIC_ASSERT(FAST_SMI_ELEMENTS == 0); |
3698 STATIC_ASSERT(FAST_HOLEY_SMI_ELEMENTS == 1); | 3684 STATIC_ASSERT(FAST_HOLEY_SMI_ELEMENTS == 1); |
3699 STATIC_ASSERT(FAST_ELEMENTS == 2); | 3685 STATIC_ASSERT(FAST_ELEMENTS == 2); |
3700 STATIC_ASSERT(FAST_HOLEY_ELEMENTS == 3); | 3686 STATIC_ASSERT(FAST_HOLEY_ELEMENTS == 3); |
3701 cmpb(FieldOperand(map, Map::kBitField2Offset), | 3687 cmpb(FieldOperand(map, Map::kBitField2Offset), |
3702 Immediate(Map::kMaximumBitField2FastHoleySmiElementValue)); | 3688 Immediate(Map::kMaximumBitField2FastHoleySmiElementValue)); |
3703 j(below_equal, fail, distance); | 3689 j(below_equal, fail, distance); |
(...skipping 1089 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4793 xorl(r0, scratch); | 4779 xorl(r0, scratch); |
4794 // hash = hash * 2057; | 4780 // hash = hash * 2057; |
4795 imull(r0, r0, Immediate(2057)); | 4781 imull(r0, r0, Immediate(2057)); |
4796 // hash = hash ^ (hash >> 16); | 4782 // hash = hash ^ (hash >> 16); |
4797 movl(scratch, r0); | 4783 movl(scratch, r0); |
4798 shrl(scratch, Immediate(16)); | 4784 shrl(scratch, Immediate(16)); |
4799 xorl(r0, scratch); | 4785 xorl(r0, scratch); |
4800 andl(r0, Immediate(0x3fffffff)); | 4786 andl(r0, Immediate(0x3fffffff)); |
4801 } | 4787 } |
4802 | 4788 |
4803 | |
4804 | |
4805 void MacroAssembler::LoadFromNumberDictionary(Label* miss, | |
4806 Register elements, | |
4807 Register key, | |
4808 Register r0, | |
4809 Register r1, | |
4810 Register r2, | |
4811 Register result) { | |
4812 // Register use: | |
4813 // | |
4814 // elements - holds the slow-case elements of the receiver on entry. | |
4815 // Unchanged unless 'result' is the same register. | |
4816 // | |
4817 // key - holds the smi key on entry. | |
4818 // Unchanged unless 'result' is the same register. | |
4819 // | |
4820 // Scratch registers: | |
4821 // | |
4822 // r0 - holds the untagged key on entry and holds the hash once computed. | |
4823 // | |
4824 // r1 - used to hold the capacity mask of the dictionary | |
4825 // | |
4826 // r2 - used for the index into the dictionary. | |
4827 // | |
4828 // result - holds the result on exit if the load succeeded. | |
4829 // Allowed to be the same as 'key' or 'result'. | |
4830 // Unchanged on bailout so 'key' or 'result' can be used | |
4831 // in further computation. | |
4832 | |
4833 Label done; | |
4834 | |
4835 GetNumberHash(r0, r1); | |
4836 | |
4837 // Compute capacity mask. | |
4838 SmiToInteger32(r1, FieldOperand(elements, | |
4839 SeededNumberDictionary::kCapacityOffset)); | |
4840 decl(r1); | |
4841 | |
4842 // Generate an unrolled loop that performs a few probes before giving up. | |
4843 for (int i = 0; i < kNumberDictionaryProbes; i++) { | |
4844 // Use r2 for index calculations and keep the hash intact in r0. | |
4845 movp(r2, r0); | |
4846 // Compute the masked index: (hash + i + i * i) & mask. | |
4847 if (i > 0) { | |
4848 addl(r2, Immediate(SeededNumberDictionary::GetProbeOffset(i))); | |
4849 } | |
4850 andp(r2, r1); | |
4851 | |
4852 // Scale the index by multiplying by the entry size. | |
4853 DCHECK(SeededNumberDictionary::kEntrySize == 3); | |
4854 leap(r2, Operand(r2, r2, times_2, 0)); // r2 = r2 * 3 | |
4855 | |
4856 // Check if the key matches. | |
4857 cmpp(key, FieldOperand(elements, | |
4858 r2, | |
4859 times_pointer_size, | |
4860 SeededNumberDictionary::kElementsStartOffset)); | |
4861 if (i != (kNumberDictionaryProbes - 1)) { | |
4862 j(equal, &done); | |
4863 } else { | |
4864 j(not_equal, miss); | |
4865 } | |
4866 } | |
4867 | |
4868 bind(&done); | |
4869 // Check that the value is a field property. | |
4870 const int kDetailsOffset = | |
4871 SeededNumberDictionary::kElementsStartOffset + 2 * kPointerSize; | |
4872 DCHECK_EQ(DATA, 0); | |
4873 Test(FieldOperand(elements, r2, times_pointer_size, kDetailsOffset), | |
4874 Smi::FromInt(PropertyDetails::TypeField::kMask)); | |
4875 j(not_zero, miss); | |
4876 | |
4877 // Get the value at the masked, scaled index. | |
4878 const int kValueOffset = | |
4879 SeededNumberDictionary::kElementsStartOffset + kPointerSize; | |
4880 movp(result, FieldOperand(elements, r2, times_pointer_size, kValueOffset)); | |
4881 } | |
4882 | |
4883 | |
4884 void MacroAssembler::LoadAllocationTopHelper(Register result, | 4789 void MacroAssembler::LoadAllocationTopHelper(Register result, |
4885 Register scratch, | 4790 Register scratch, |
4886 AllocationFlags flags) { | 4791 AllocationFlags flags) { |
4887 ExternalReference allocation_top = | 4792 ExternalReference allocation_top = |
4888 AllocationUtils::GetAllocationTopReference(isolate(), flags); | 4793 AllocationUtils::GetAllocationTopReference(isolate(), flags); |
4889 | 4794 |
4890 // Just return if allocation top is already known. | 4795 // Just return if allocation top is already known. |
4891 if ((flags & RESULT_CONTAINS_TOP) != 0) { | 4796 if ((flags & RESULT_CONTAINS_TOP) != 0) { |
4892 // No use of scratch if allocation top is provided. | 4797 // No use of scratch if allocation top is provided. |
4893 DCHECK(!scratch.is_valid()); | 4798 DCHECK(!scratch.is_valid()); |
(...skipping 928 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5822 movl(rax, dividend); | 5727 movl(rax, dividend); |
5823 shrl(rax, Immediate(31)); | 5728 shrl(rax, Immediate(31)); |
5824 addl(rdx, rax); | 5729 addl(rdx, rax); |
5825 } | 5730 } |
5826 | 5731 |
5827 | 5732 |
5828 } // namespace internal | 5733 } // namespace internal |
5829 } // namespace v8 | 5734 } // namespace v8 |
5830 | 5735 |
5831 #endif // V8_TARGET_ARCH_X64 | 5736 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |