OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 5670 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5681 { rdx, rcx, rbx, EMIT_REMEMBERED_SET }, | 5681 { rdx, rcx, rbx, EMIT_REMEMBERED_SET }, |
5682 // GenerateStoreField calls the stub with two different permutations of | 5682 // GenerateStoreField calls the stub with two different permutations of |
5683 // registers. This is the second. | 5683 // registers. This is the second. |
5684 { rbx, rcx, rdx, EMIT_REMEMBERED_SET }, | 5684 { rbx, rcx, rdx, EMIT_REMEMBERED_SET }, |
5685 // StoreIC::GenerateNormal via GenerateDictionaryStore. | 5685 // StoreIC::GenerateNormal via GenerateDictionaryStore. |
5686 { rbx, r8, r9, EMIT_REMEMBERED_SET }, | 5686 { rbx, r8, r9, EMIT_REMEMBERED_SET }, |
5687 // KeyedStoreIC::GenerateGeneric. | 5687 // KeyedStoreIC::GenerateGeneric. |
5688 { rbx, rdx, rcx, EMIT_REMEMBERED_SET}, | 5688 { rbx, rdx, rcx, EMIT_REMEMBERED_SET}, |
5689 // KeyedStoreStubCompiler::GenerateStoreFastElement. | 5689 // KeyedStoreStubCompiler::GenerateStoreFastElement. |
5690 { rdi, rdx, rcx, EMIT_REMEMBERED_SET}, | 5690 { rdi, rdx, rcx, EMIT_REMEMBERED_SET}, |
5691 // FastElementsConversionStub::GenerateSmiOnlyToObject | 5691 // ElementsTransitionGenerator::GenerateSmiOnlyToObject |
5692 // and FastElementsConversionStub::GenerateDoubleToObject | 5692 // and ElementsTransitionGenerator::GenerateDoubleToObject |
5693 { rdx, rbx, rdi, EMIT_REMEMBERED_SET}, | 5693 { rdx, rbx, rdi, EMIT_REMEMBERED_SET}, |
5694 // FastElementsConversionStub::GenerateDoubleToObject | 5694 // ElementsTransitionGenerator::GenerateDoubleToObject |
5695 { rax, r11, r15, EMIT_REMEMBERED_SET}, | 5695 { rax, r11, r15, EMIT_REMEMBERED_SET}, |
5696 { rdx, rax, rdi, EMIT_REMEMBERED_SET}, | 5696 { rdx, rax, rdi, EMIT_REMEMBERED_SET}, |
5697 // Null termination. | 5697 // Null termination. |
5698 { no_reg, no_reg, no_reg, EMIT_REMEMBERED_SET} | 5698 { no_reg, no_reg, no_reg, EMIT_REMEMBERED_SET} |
5699 }; | 5699 }; |
5700 | 5700 |
5701 | 5701 |
5702 bool RecordWriteStub::IsPregenerated() { | 5702 bool RecordWriteStub::IsPregenerated() { |
5703 for (AheadOfTimeWriteBarrierStubList* entry = kAheadOfTime; | 5703 for (AheadOfTimeWriteBarrierStubList* entry = kAheadOfTime; |
5704 !entry->object.is(no_reg); | 5704 !entry->object.is(no_reg); |
(...skipping 229 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5934 } | 5934 } |
5935 | 5935 |
5936 __ bind(&need_incremental_pop_object); | 5936 __ bind(&need_incremental_pop_object); |
5937 __ pop(regs_.object()); | 5937 __ pop(regs_.object()); |
5938 | 5938 |
5939 __ bind(&need_incremental); | 5939 __ bind(&need_incremental); |
5940 | 5940 |
5941 // Fall through when we need to inform the incremental marker. | 5941 // Fall through when we need to inform the incremental marker. |
5942 } | 5942 } |
5943 | 5943 |
5944 | |
5945 void FastElementsConversionStub::GenerateSmiOnlyToObject( | |
5946 MacroAssembler* masm, | |
5947 StrictModeFlag strict_mode) { | |
5948 // ----------- S t a t e ------------- | |
5949 // -- rax : value | |
5950 // -- rbx : target map | |
5951 // -- rcx : key | |
5952 // -- rdx : receiver | |
5953 // -- rsp[0] : return address | |
5954 // ----------------------------------- | |
5955 // Set transitioned map. | |
5956 __ movq(FieldOperand(rdx, HeapObject::kMapOffset), rbx); | |
5957 __ RecordWriteField(rdx, | |
5958 HeapObject::kMapOffset, | |
5959 rbx, | |
5960 rdi, | |
5961 kDontSaveFPRegs, | |
5962 EMIT_REMEMBERED_SET, | |
5963 OMIT_SMI_CHECK); | |
5964 } | |
5965 | |
5966 | |
5967 void FastElementsConversionStub::GenerateSmiOnlyToDouble( | |
5968 MacroAssembler* masm, StrictModeFlag strict_mode) { | |
5969 // ----------- S t a t e ------------- | |
5970 // -- rax : value | |
5971 // -- rbx : target map | |
5972 // -- rcx : key | |
5973 // -- rdx : receiver | |
5974 // -- rsp[0] : return address | |
5975 // ----------------------------------- | |
5976 // Set transitioned map. | |
5977 __ movq(FieldOperand(rdx, HeapObject::kMapOffset), rbx); | |
5978 __ RecordWriteField(rdx, | |
5979 HeapObject::kMapOffset, | |
5980 rbx, | |
5981 rdi, | |
5982 kDontSaveFPRegs, | |
5983 EMIT_REMEMBERED_SET, | |
5984 OMIT_SMI_CHECK); | |
5985 // Set backing store's map | |
5986 __ movq(r8, FieldOperand(rdx, JSObject::kElementsOffset)); | |
5987 __ LoadRoot(rdi, Heap::kFixedDoubleArrayMapRootIndex); | |
5988 __ movq(FieldOperand(r8, HeapObject::kMapOffset), rdi); | |
5989 | |
5990 // Convert smis to doubles and holes to hole NaNs. Since FixedArray and | |
5991 // FixedDoubleArray do not differ in size, we do not allocate a new array. | |
5992 STATIC_ASSERT(FixedDoubleArray::kLengthOffset == FixedArray::kLengthOffset); | |
5993 STATIC_ASSERT(FixedDoubleArray::kHeaderSize == FixedArray::kHeaderSize); | |
5994 __ SmiToInteger32(r9, FieldOperand(r8, FixedDoubleArray::kLengthOffset)); | |
5995 // r8 : elements array | |
5996 // r9 : elements array length | |
5997 Label loop, entry, convert_hole; | |
5998 __ movq(r15, BitCast<int64_t, uint64_t>(kHoleNanInt64), RelocInfo::NONE); | |
5999 // r15: the-hole NaN | |
6000 __ jmp(&entry); | |
6001 __ bind(&loop); | |
6002 __ decq(r9); | |
6003 __ movq(rbx, | |
6004 FieldOperand(r8, r9, times_8, FixedArray::kHeaderSize)); | |
6005 // r9 : current element's index | |
6006 // rbx: current element (smi-tagged) | |
6007 __ JumpIfNotSmi(rbx, &convert_hole); | |
6008 __ SmiToInteger32(rbx, rbx); | |
6009 __ cvtlsi2sd(xmm0, rbx); | |
6010 __ movsd(FieldOperand(r8, r9, times_8, FixedDoubleArray::kHeaderSize), | |
6011 xmm0); | |
6012 __ jmp(&entry); | |
6013 __ bind(&convert_hole); | |
6014 __ movq(FieldOperand(r8, r9, times_8, FixedDoubleArray::kHeaderSize), r15); | |
6015 __ bind(&entry); | |
6016 __ testq(r9, r9); | |
6017 __ j(not_zero, &loop); | |
6018 } | |
6019 | |
6020 | |
6021 void FastElementsConversionStub::GenerateDoubleToObject( | |
6022 MacroAssembler* masm, StrictModeFlag strict_mode) { | |
6023 // ----------- S t a t e ------------- | |
6024 // -- rax : value | |
6025 // -- rbx : target map | |
6026 // -- rcx : key | |
6027 // -- rdx : receiver | |
6028 // -- rsp[0] : return address | |
6029 // ----------------------------------- | |
6030 Label loop, entry, convert_hole, gc_required; | |
6031 __ push(rax); | |
6032 | |
6033 __ movq(r8, FieldOperand(rdx, JSObject::kElementsOffset)); | |
6034 __ SmiToInteger32(r9, FieldOperand(r8, FixedDoubleArray::kLengthOffset)); | |
6035 // r8 : source FixedDoubleArray | |
6036 // r9 : number of elements | |
6037 __ lea(rdi, Operand(r9, times_pointer_size, FixedArray::kHeaderSize)); | |
6038 __ AllocateInNewSpace(rdi, rax, r14, r15, &gc_required, TAG_OBJECT); | |
6039 // rax: destination FixedArray | |
6040 __ LoadRoot(rdi, Heap::kFixedArrayMapRootIndex); | |
6041 __ movq(FieldOperand(rax, HeapObject::kMapOffset), rdi); | |
6042 __ Integer32ToSmi(r14, r9); | |
6043 __ movq(FieldOperand(rax, FixedArray::kLengthOffset), r14); | |
6044 | |
6045 // Prepare for conversion loop. | |
6046 __ movq(rsi, BitCast<int64_t, uint64_t>(kHoleNanInt64), RelocInfo::NONE); | |
6047 __ LoadRoot(rdi, Heap::kTheHoleValueRootIndex); | |
6048 // rsi: the-hole NaN | |
6049 // rdi: pointer to the-hole | |
6050 __ jmp(&entry); | |
6051 | |
6052 // Call into runtime if GC is required. | |
6053 __ bind(&gc_required); | |
6054 __ pop(rax); | |
6055 __ movq(rsi, Operand(rbp, StandardFrameConstants::kContextOffset)); | |
6056 KeyedStoreIC::GenerateRuntimeSetProperty(masm, strict_mode); | |
6057 | |
6058 // Box doubles into heap numbers. | |
6059 __ bind(&loop); | |
6060 __ decq(r9); | |
6061 __ movq(r14, FieldOperand(r8, | |
6062 r9, | |
6063 times_pointer_size, | |
6064 FixedDoubleArray::kHeaderSize)); | |
6065 // r9 : current element's index | |
6066 // r14: current element | |
6067 __ cmpq(r14, rsi); | |
6068 __ j(equal, &convert_hole); | |
6069 | |
6070 // Non-hole double, copy value into a heap number. | |
6071 __ AllocateHeapNumber(r11, r15, &gc_required); | |
6072 // r11: new heap number | |
6073 __ movq(FieldOperand(r11, HeapNumber::kValueOffset), r14); | |
6074 __ movq(FieldOperand(rax, | |
6075 r9, | |
6076 times_pointer_size, | |
6077 FixedArray::kHeaderSize), | |
6078 r11); | |
6079 __ movq(r15, r9); | |
6080 __ RecordWriteArray(rax, | |
6081 r11, | |
6082 r15, | |
6083 kDontSaveFPRegs, | |
6084 EMIT_REMEMBERED_SET, | |
6085 OMIT_SMI_CHECK); | |
6086 __ jmp(&entry, Label::kNear); | |
6087 | |
6088 // Replace the-hole NaN with the-hole pointer. | |
6089 __ bind(&convert_hole); | |
6090 __ movq(FieldOperand(rax, | |
6091 r9, | |
6092 times_pointer_size, | |
6093 FixedArray::kHeaderSize), | |
6094 rdi); | |
6095 | |
6096 __ bind(&entry); | |
6097 __ testq(r9, r9); | |
6098 __ j(not_zero, &loop); | |
6099 | |
6100 // Set transitioned map. | |
6101 __ movq(FieldOperand(rdx, HeapObject::kMapOffset), rbx); | |
6102 __ RecordWriteField(rdx, | |
6103 HeapObject::kMapOffset, | |
6104 rbx, | |
6105 rdi, | |
6106 kDontSaveFPRegs, | |
6107 EMIT_REMEMBERED_SET, | |
6108 OMIT_SMI_CHECK); | |
6109 // Replace receiver's backing store with newly created and filled FixedArray. | |
6110 __ movq(FieldOperand(rdx, JSObject::kElementsOffset), rax); | |
6111 __ RecordWriteField(rdx, | |
6112 JSObject::kElementsOffset, | |
6113 rax, | |
6114 rdi, | |
6115 kDontSaveFPRegs, | |
6116 EMIT_REMEMBERED_SET, | |
6117 OMIT_SMI_CHECK); | |
6118 __ pop(rax); | |
6119 __ movq(rsi, Operand(rbp, StandardFrameConstants::kContextOffset)); | |
6120 } | |
6121 | |
6122 #undef __ | 5944 #undef __ |
6123 | 5945 |
6124 } } // namespace v8::internal | 5946 } } // namespace v8::internal |
6125 | 5947 |
6126 #endif // V8_TARGET_ARCH_X64 | 5948 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |