Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(802)

Side by Side Diff: src/x64/lithium-codegen-x64.cc

Issue 108413003: HStoreNamedField for Smis optimized for x64 (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Even cleaner implementation Created 7 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/objects-inl.h ('k') | src/x64/lithium-x64.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2013 the V8 project authors. All rights reserved. 1 // Copyright 2013 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 3912 matching lines...) Expand 10 before | Expand all | Expand 10 after
3923 LConstantOperand* offset = LConstantOperand::cast(instr->offset()); 3923 LConstantOperand* offset = LConstantOperand::cast(instr->offset());
3924 __ lea(result, Operand(base, ToInteger32(offset))); 3924 __ lea(result, Operand(base, ToInteger32(offset)));
3925 } else { 3925 } else {
3926 Register offset = ToRegister(instr->offset()); 3926 Register offset = ToRegister(instr->offset());
3927 __ lea(result, Operand(base, offset, times_1, 0)); 3927 __ lea(result, Operand(base, offset, times_1, 0));
3928 } 3928 }
3929 } 3929 }
3930 3930
3931 3931
3932 void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) { 3932 void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) {
3933 HStoreNamedField* hinstr = instr->hydrogen();
3933 Representation representation = instr->representation(); 3934 Representation representation = instr->representation();
3934 3935
3935 HObjectAccess access = instr->hydrogen()->access(); 3936 HObjectAccess access = hinstr->access();
3936 int offset = access.offset(); 3937 int offset = access.offset();
3937 3938
3938 if (access.IsExternalMemory()) { 3939 if (access.IsExternalMemory()) {
3939 ASSERT(!instr->hydrogen()->NeedsWriteBarrier()); 3940 ASSERT(!hinstr->NeedsWriteBarrier());
3940 Register value = ToRegister(instr->value()); 3941 Register value = ToRegister(instr->value());
3941 if (instr->object()->IsConstantOperand()) { 3942 if (instr->object()->IsConstantOperand()) {
3942 ASSERT(value.is(rax)); 3943 ASSERT(value.is(rax));
3943 ASSERT(!access.representation().IsSpecialization()); 3944 ASSERT(!access.representation().IsSpecialization());
3944 LConstantOperand* object = LConstantOperand::cast(instr->object()); 3945 LConstantOperand* object = LConstantOperand::cast(instr->object());
3945 __ store_rax(ToExternalReference(object)); 3946 __ store_rax(ToExternalReference(object));
3946 } else { 3947 } else {
3947 Register object = ToRegister(instr->object()); 3948 Register object = ToRegister(instr->object());
3948 __ Store(MemOperand(object, offset), value, representation); 3949 __ Store(MemOperand(object, offset), value, representation);
3949 } 3950 }
3950 return; 3951 return;
3951 } 3952 }
3952 3953
3953 Register object = ToRegister(instr->object()); 3954 Register object = ToRegister(instr->object());
3954 Handle<Map> transition = instr->transition(); 3955 Handle<Map> transition = instr->transition();
3955 3956
3956 if (FLAG_track_fields && representation.IsSmi()) { 3957 if (FLAG_track_fields && representation.IsSmi()) {
3957 if (instr->value()->IsConstantOperand()) { 3958 if (instr->value()->IsConstantOperand()) {
3958 LConstantOperand* operand_value = LConstantOperand::cast(instr->value()); 3959 LConstantOperand* operand_value = LConstantOperand::cast(instr->value());
3959 if (!IsSmiConstant(operand_value)) { 3960 if (!IsInteger32Constant(operand_value) &&
3961 !IsSmiConstant(operand_value)) {
3960 DeoptimizeIf(no_condition, instr->environment()); 3962 DeoptimizeIf(no_condition, instr->environment());
3961 } 3963 }
3962 } 3964 }
3963 } else if (FLAG_track_heap_object_fields && representation.IsHeapObject()) { 3965 } else if (FLAG_track_heap_object_fields && representation.IsHeapObject()) {
3964 if (instr->value()->IsConstantOperand()) { 3966 if (instr->value()->IsConstantOperand()) {
3965 LConstantOperand* operand_value = LConstantOperand::cast(instr->value()); 3967 LConstantOperand* operand_value = LConstantOperand::cast(instr->value());
3966 if (IsInteger32Constant(operand_value)) { 3968 if (IsInteger32Constant(operand_value)) {
3967 DeoptimizeIf(no_condition, instr->environment()); 3969 DeoptimizeIf(no_condition, instr->environment());
3968 } 3970 }
3969 } else { 3971 } else {
3970 if (!instr->hydrogen()->value()->type().IsHeapObject()) { 3972 if (!hinstr->value()->type().IsHeapObject()) {
3971 Register value = ToRegister(instr->value()); 3973 Register value = ToRegister(instr->value());
3972 Condition cc = masm()->CheckSmi(value); 3974 Condition cc = masm()->CheckSmi(value);
3973 DeoptimizeIf(cc, instr->environment()); 3975 DeoptimizeIf(cc, instr->environment());
3974 } 3976 }
3975 } 3977 }
3976 } else if (FLAG_track_double_fields && representation.IsDouble()) { 3978 } else if (FLAG_track_double_fields && representation.IsDouble()) {
3977 ASSERT(transition.is_null()); 3979 ASSERT(transition.is_null());
3978 ASSERT(access.IsInobject()); 3980 ASSERT(access.IsInobject());
3979 ASSERT(!instr->hydrogen()->NeedsWriteBarrier()); 3981 ASSERT(!hinstr->NeedsWriteBarrier());
3980 XMMRegister value = ToDoubleRegister(instr->value()); 3982 XMMRegister value = ToDoubleRegister(instr->value());
3981 __ movsd(FieldOperand(object, offset), value); 3983 __ movsd(FieldOperand(object, offset), value);
3982 return; 3984 return;
3983 } 3985 }
3984 3986
3985 if (!transition.is_null()) { 3987 if (!transition.is_null()) {
3986 if (!instr->hydrogen()->NeedsWriteBarrierForMap()) { 3988 if (!hinstr->NeedsWriteBarrierForMap()) {
3987 __ Move(FieldOperand(object, HeapObject::kMapOffset), transition); 3989 __ Move(FieldOperand(object, HeapObject::kMapOffset), transition);
3988 } else { 3990 } else {
3989 Register temp = ToRegister(instr->temp()); 3991 Register temp = ToRegister(instr->temp());
3990 __ Move(kScratchRegister, transition); 3992 __ Move(kScratchRegister, transition);
3991 __ movq(FieldOperand(object, HeapObject::kMapOffset), kScratchRegister); 3993 __ movq(FieldOperand(object, HeapObject::kMapOffset), kScratchRegister);
3992 // Update the write barrier for the map field. 3994 // Update the write barrier for the map field.
3993 __ RecordWriteField(object, 3995 __ RecordWriteField(object,
3994 HeapObject::kMapOffset, 3996 HeapObject::kMapOffset,
3995 kScratchRegister, 3997 kScratchRegister,
3996 temp, 3998 temp,
3997 kSaveFPRegs, 3999 kSaveFPRegs,
3998 OMIT_REMEMBERED_SET, 4000 OMIT_REMEMBERED_SET,
3999 OMIT_SMI_CHECK); 4001 OMIT_SMI_CHECK);
4000 } 4002 }
4001 } 4003 }
4002 4004
4003 // Do the store. 4005 // Do the store.
4004 SmiCheck check_needed = 4006 SmiCheck check_needed = hinstr->value()->IsHeapObject()
4005 instr->hydrogen()->value()->IsHeapObject() 4007 ? OMIT_SMI_CHECK : INLINE_SMI_CHECK;
4006 ? OMIT_SMI_CHECK : INLINE_SMI_CHECK;
4007 4008
4008 Register write_register = object; 4009 Register write_register = object;
4009 if (!access.IsInobject()) { 4010 if (!access.IsInobject()) {
4010 write_register = ToRegister(instr->temp()); 4011 write_register = ToRegister(instr->temp());
4011 __ movq(write_register, FieldOperand(object, JSObject::kPropertiesOffset)); 4012 __ movq(write_register, FieldOperand(object, JSObject::kPropertiesOffset));
4012 } 4013 }
4013 4014
4014 if (instr->value()->IsConstantOperand()) { 4015 if (representation.IsSmi() &&
4016 hinstr->value()->representation().IsInteger32()) {
4017 ASSERT(hinstr->store_mode() == STORE_TO_INITIALIZED_ENTRY);
4018 // Store int value directly to upper half of the smi.
4019 STATIC_ASSERT(kSmiTag == 0);
4020 STATIC_ASSERT(kSmiTagSize + kSmiShiftSize == 32);
4021 offset += kPointerSize / 2;
4022 representation = Representation::Integer32();
4023 }
4024
4025 Operand operand = FieldOperand(write_register, offset);
4026
4027 if (instr->value()->IsRegister()) {
4028 Register value = ToRegister(instr->value());
4029 __ Store(operand, value, representation);
4030 } else {
4015 LConstantOperand* operand_value = LConstantOperand::cast(instr->value()); 4031 LConstantOperand* operand_value = LConstantOperand::cast(instr->value());
4016 if (operand_value->IsRegister()) { 4032 if (IsInteger32Constant(operand_value)) {
4017 Register value = ToRegister(operand_value); 4033 ASSERT(!hinstr->NeedsWriteBarrier());
4018 __ Store(FieldOperand(write_register, offset), value, representation);
4019 } else if (representation.IsInteger32()) {
4020 int32_t value = ToInteger32(operand_value); 4034 int32_t value = ToInteger32(operand_value);
4021 ASSERT(!instr->hydrogen()->NeedsWriteBarrier()); 4035 if (representation.IsSmi()) {
4022 __ movl(FieldOperand(write_register, offset), Immediate(value)); 4036 __ Move(operand, Smi::FromInt(value));
4037
4038 } else {
4039 __ movl(operand, Immediate(value));
4040 }
4041
4023 } else { 4042 } else {
4024 Handle<Object> handle_value = ToHandle(operand_value); 4043 Handle<Object> handle_value = ToHandle(operand_value);
4025 ASSERT(!instr->hydrogen()->NeedsWriteBarrier()); 4044 ASSERT(!hinstr->NeedsWriteBarrier());
4026 __ Move(FieldOperand(write_register, offset), handle_value); 4045 __ Move(operand, handle_value);
4027 } 4046 }
4028 } else {
4029 Register value = ToRegister(instr->value());
4030 __ Store(FieldOperand(write_register, offset), value, representation);
4031 } 4047 }
4032 4048
4033 if (instr->hydrogen()->NeedsWriteBarrier()) { 4049 if (hinstr->NeedsWriteBarrier()) {
4034 Register value = ToRegister(instr->value()); 4050 Register value = ToRegister(instr->value());
4035 Register temp = access.IsInobject() ? ToRegister(instr->temp()) : object; 4051 Register temp = access.IsInobject() ? ToRegister(instr->temp()) : object;
4036 // Update the write barrier for the object for in-object properties. 4052 // Update the write barrier for the object for in-object properties.
4037 __ RecordWriteField(write_register, 4053 __ RecordWriteField(write_register,
4038 offset, 4054 offset,
4039 value, 4055 value,
4040 temp, 4056 temp,
4041 kSaveFPRegs, 4057 kSaveFPRegs,
4042 EMIT_REMEMBERED_SET, 4058 EMIT_REMEMBERED_SET,
4043 check_needed); 4059 check_needed);
(...skipping 1548 matching lines...) Expand 10 before | Expand all | Expand 10 after
5592 FixedArray::kHeaderSize - kPointerSize)); 5608 FixedArray::kHeaderSize - kPointerSize));
5593 __ bind(&done); 5609 __ bind(&done);
5594 } 5610 }
5595 5611
5596 5612
5597 #undef __ 5613 #undef __
5598 5614
5599 } } // namespace v8::internal 5615 } } // namespace v8::internal
5600 5616
5601 #endif // V8_TARGET_ARCH_X64 5617 #endif // V8_TARGET_ARCH_X64
OLDNEW
« no previous file with comments | « src/objects-inl.h ('k') | src/x64/lithium-x64.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698