From: danno@chromium.org Date: Mon, 1 Jul 2013 13:22:13 +0000 (+0000) Subject: Generate StoreGlobal stubs with Hydrogen X-Git-Tag: upstream/4.7.83~13595 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=a3bce1986847aa2e8956ceb2b5d8fe62637605c5;p=platform%2Fupstream%2Fv8.git Generate StoreGlobal stubs with Hydrogen - Constants globals are inlined into Hydrogen code using code dependencies that invalidate the Crankshafted code when global PropertyCells or the global object change. - The more general case generates code that is just as good as the hand-written assembly stubs on all platforms. R=ulan@chromium.org Review URL: https://codereview.chromium.org/16925008 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@15419 ce2b1a6d-e550-0410-aec6-3dcde31c8c00 --- diff --git a/src/arm/code-stubs-arm.cc b/src/arm/code-stubs-arm.cc index 6af5cce..4e5108f 100755 --- a/src/arm/code-stubs-arm.cc +++ b/src/arm/code-stubs-arm.cc @@ -226,6 +226,17 @@ void InternalArrayNArgumentsConstructorStub::InitializeInterfaceDescriptor( } +void StoreGlobalStub::InitializeInterfaceDescriptor( + Isolate* isolate, + CodeStubInterfaceDescriptor* descriptor) { + static Register registers[] = { r1, r2, r0 }; + descriptor->register_param_count_ = 3; + descriptor->register_params_ = registers; + descriptor->deoptimization_handler_ = + FUNCTION_ADDR(StoreIC_MissFromStubFailure); +} + + #define __ ACCESS_MASM(masm) static void EmitIdenticalObjectComparison(MacroAssembler* masm, diff --git a/src/arm/lithium-gap-resolver-arm.cc b/src/arm/lithium-gap-resolver-arm.cc index 352fbb9..902817e 100644 --- a/src/arm/lithium-gap-resolver-arm.cc +++ b/src/arm/lithium-gap-resolver-arm.cc @@ -219,7 +219,6 @@ void LGapResolver::EmitMove(int index) { ASSERT(destination->IsStackSlot()); __ str(source_register, cgen_->ToMemOperand(destination)); } - } else if (source->IsStackSlot()) { MemOperand source_operand = cgen_->ToMemOperand(source); if (destination->IsRegister()) { @@ -255,6 +254,10 @@ void LGapResolver::EmitMove(int index) { } else { __ LoadObject(dst, cgen_->ToHandle(constant_source)); } + } else if (source->IsDoubleRegister()) { + DwVfpRegister result = cgen_->ToDoubleRegister(destination); + double v = cgen_->ToDouble(constant_source); + __ Vmov(result, v, ip); } else { ASSERT(destination->IsStackSlot()); ASSERT(!in_cycle_); // Constant moves happen after all cycles are gone. diff --git a/src/ast.cc b/src/ast.cc index 589bd5a..7da9b33 100644 --- a/src/ast.cc +++ b/src/ast.cc @@ -675,6 +675,7 @@ void CallNew::RecordTypeFeedback(TypeFeedbackOracle* oracle) { if (is_monomorphic_) { target_ = oracle->GetCallNewTarget(this); Object* value = allocation_info_cell_->value(); + ASSERT(!value->IsTheHole()); if (value->IsSmi()) { elements_kind_ = static_cast(Smi::cast(value)->value()); } diff --git a/src/code-stubs-hydrogen.cc b/src/code-stubs-hydrogen.cc index 06c9039..a1417da 100644 --- a/src/code-stubs-hydrogen.cc +++ b/src/code-stubs-hydrogen.cc @@ -771,7 +771,7 @@ HValue* CodeStubGraphBuilder::BuildCodeInitializedStub() { IfBuilder if_true(this); if_true.If(GetParameter(0), stub->GetTypes()); if_true.Then(); - if_true.Return(graph()->GetConstant1()); + if_true.Return(graph()->GetConstant1()); if_true.Else(); if_true.End(); return graph()->GetConstant0(); @@ -783,4 +783,49 @@ Handle ToBooleanStub::GenerateCode() { } +template <> +HValue* CodeStubGraphBuilder::BuildCodeInitializedStub() { + StoreGlobalStub* stub = casted_stub(); + Handle hole(isolate()->heap()->the_hole_value(), isolate()); + Handle placeholer_value(Smi::FromInt(0), isolate()); + Handle placeholder_cell = + isolate()->factory()->NewPropertyCell(placeholer_value); + + HParameter* receiver = GetParameter(0); + HParameter* value = GetParameter(2); + + if (stub->is_constant()) { + // Assume every store to a constant value changes it. + current_block()->FinishExitWithDeoptimization(HDeoptimize::kUseAll); + set_current_block(NULL); + } else { + HValue* cell = Add(placeholder_cell, Representation::Tagged()); + // Check that the map of the global has not changed. + AddInstruction(HCheckMaps::New(receiver, + Handle(isolate()->heap()->meta_map()), + zone())); + + // Load the payload of the global parameter cell. A hole indicates that the + // property has been deleted and that the store must be handled by the + // runtime. + HObjectAccess access(HObjectAccess::ForCellPayload(isolate())); + HValue* cell_contents = Add(cell, access); + IfBuilder builder(this); + HValue* hole_value = Add(hole, Representation::Tagged()); + builder.If(cell_contents, hole_value); + builder.Then(); + builder.Deopt(); + builder.Else(); + Add(cell, access, value); + builder.End(); + } + return value; +} + + +Handle StoreGlobalStub::GenerateCode() { + return DoGenerateCode(this); +} + + } } // namespace v8::internal diff --git a/src/code-stubs.cc b/src/code-stubs.cc index 2d94ec9..97ba466 100644 --- a/src/code-stubs.cc +++ b/src/code-stubs.cc @@ -84,6 +84,14 @@ Code::Kind CodeStub::GetCodeKind() const { } +Handle CodeStub::GetCodeCopyFromTemplate(Isolate* isolate) { + Handle ic = GetCode(isolate); + ic = isolate->factory()->CopyCode(ic); + RecordCodeGeneration(*ic, isolate); + return ic; +} + + Handle PlatformCodeStub::GenerateCode() { Isolate* isolate = Isolate::Current(); Factory* factory = isolate->factory(); diff --git a/src/code-stubs.h b/src/code-stubs.h index d197c84..26e92a7 100644 --- a/src/code-stubs.h +++ b/src/code-stubs.h @@ -90,6 +90,7 @@ namespace internal { V(ArrayConstructor) \ V(InternalArrayConstructor) \ V(ProfileEntryHook) \ + V(StoreGlobal) \ /* IC Handler stubs */ \ V(LoadField) \ V(KeyedLoadField) @@ -140,6 +141,8 @@ class CodeStub BASE_EMBEDDED { // Retrieve the code for the stub. Generate the code if needed. Handle GetCode(Isolate* isolate); + // Retrieve the code for the stub, make and return a copy of the code. + Handle GetCodeCopyFromTemplate(Isolate* isolate); static Major MajorKeyFromKey(uint32_t key) { return static_cast(MajorKeyBits::decode(key)); } @@ -519,6 +522,50 @@ class FastNewBlockContextStub : public PlatformCodeStub { int MinorKey() { return slots_; } }; +class StoreGlobalStub : public HydrogenCodeStub { + public: + StoreGlobalStub(StrictModeFlag strict_mode, bool is_constant) { + bit_field_ = StrictModeBits::encode(strict_mode) | + IsConstantBits::encode(is_constant); + } + + virtual Handle GenerateCode(); + + virtual void InitializeInterfaceDescriptor( + Isolate* isolate, + CodeStubInterfaceDescriptor* descriptor); + + virtual Code::Kind GetCodeKind() const { return Code::STORE_IC; } + virtual InlineCacheState GetICState() { return MONOMORPHIC; } + virtual Code::ExtraICState GetExtraICState() { return bit_field_; } + + bool is_constant() { + return IsConstantBits::decode(bit_field_); + } + void set_is_constant(bool value) { + bit_field_ = IsConstantBits::update(bit_field_, value); + } + + Representation representation() { + return Representation::FromKind(RepresentationBits::decode(bit_field_)); + } + void set_representation(Representation r) { + bit_field_ = RepresentationBits::update(bit_field_, r.kind()); + } + + private: + virtual int NotMissMinorKey() { return GetExtraICState(); } + Major MajorKey() { return StoreGlobal; } + + class StrictModeBits: public BitField {}; + class IsConstantBits: public BitField {}; + class RepresentationBits: public BitField {}; + + int bit_field_; + + DISALLOW_COPY_AND_ASSIGN(StoreGlobalStub); +}; + class FastCloneShallowArrayStub : public HydrogenCodeStub { public: diff --git a/src/heap.cc b/src/heap.cc index 3fac601..0583536 100644 --- a/src/heap.cc +++ b/src/heap.cc @@ -2864,6 +2864,7 @@ MaybeObject* Heap::AllocatePropertyCell(Object* value) { SKIP_WRITE_BARRIER); cell->set_value(value); cell->set_type(Type::None()); + cell->SetValueInferType(value); return result; } diff --git a/src/heap.h b/src/heap.h index 52ff64a..dcbddf5 100644 --- a/src/heap.h +++ b/src/heap.h @@ -261,6 +261,7 @@ namespace internal { V(map_field_string, "%map") \ V(elements_field_string, "%elements") \ V(length_field_string, "%length") \ + V(cell_value_string, "%cell_value") \ V(function_class_string, "Function") \ V(properties_field_symbol, "%properties") \ V(payload_field_symbol, "%payload") \ diff --git a/src/hydrogen-instructions.cc b/src/hydrogen-instructions.cc index 932fd47..01f5c00 100644 --- a/src/hydrogen-instructions.cc +++ b/src/hydrogen-instructions.cc @@ -2174,6 +2174,7 @@ HConstant::HConstant(Handle handle, Representation r) has_double_value_(false), is_internalized_string_(false), is_not_in_new_space_(true), + is_cell_(false), boolean_value_(handle->BooleanValue()) { if (handle_->IsHeapObject()) { Heap* heap = Handle::cast(handle)->GetHeap(); @@ -2190,6 +2191,9 @@ HConstant::HConstant(Handle handle, Representation r) type_from_value_ = HType::TypeFromValue(handle_); is_internalized_string_ = handle_->IsInternalizedString(); } + + is_cell_ = !handle_.is_null() && + (handle_->IsCell() || handle_->IsPropertyCell()); Initialize(r); } @@ -2200,6 +2204,7 @@ HConstant::HConstant(Handle handle, HType type, bool is_internalize_string, bool is_not_in_new_space, + bool is_cell, bool boolean_value) : handle_(handle), unique_id_(unique_id), @@ -2208,6 +2213,7 @@ HConstant::HConstant(Handle handle, has_double_value_(false), is_internalized_string_(is_internalize_string), is_not_in_new_space_(is_not_in_new_space), + is_cell_(is_cell), boolean_value_(boolean_value), type_from_value_(type) { ASSERT(!handle.is_null()); @@ -2227,6 +2233,7 @@ HConstant::HConstant(int32_t integer_value, has_double_value_(true), is_internalized_string_(false), is_not_in_new_space_(is_not_in_new_space), + is_cell_(false), boolean_value_(integer_value != 0), int32_value_(integer_value), double_value_(FastI2D(integer_value)) { @@ -2245,6 +2252,7 @@ HConstant::HConstant(double double_value, has_double_value_(true), is_internalized_string_(false), is_not_in_new_space_(is_not_in_new_space), + is_cell_(false), boolean_value_(double_value != 0 && !std::isnan(double_value)), int32_value_(DoubleToInt32(double_value)), double_value_(double_value) { @@ -2267,9 +2275,17 @@ void HConstant::Initialize(Representation r) { } set_representation(r); SetFlag(kUseGVN); - if (representation().IsInteger32()) { - ClearGVNFlag(kDependsOnOsrEntries); +} + + +bool HConstant::EmitAtUses() { + ASSERT(IsLinked()); + if (block()->graph()->has_osr_loop_entry()) { + return block()->graph()->IsStandardConstant(this); } + if (IsCell()) return false; + if (representation().IsDouble()) return false; + return true; } @@ -2290,6 +2306,7 @@ HConstant* HConstant::CopyToRepresentation(Representation r, Zone* zone) const { type_from_value_, is_internalized_string_, is_not_in_new_space_, + is_cell_, boolean_value_); } @@ -3824,6 +3841,13 @@ HObjectAccess HObjectAccess::ForField(Handle map, } +HObjectAccess HObjectAccess::ForCellPayload(Isolate* isolate) { + return HObjectAccess( + kInobject, Cell::kValueOffset, + Handle(isolate->heap()->cell_value_string())); +} + + void HObjectAccess::SetGVNFlags(HValue *instr, bool is_store) { // set the appropriate GVN flags for a given load or store instruction if (is_store) { diff --git a/src/hydrogen-instructions.h b/src/hydrogen-instructions.h index ed6ab15..e902221 100644 --- a/src/hydrogen-instructions.h +++ b/src/hydrogen-instructions.h @@ -3270,6 +3270,7 @@ class HConstant: public HTemplateInstruction<0> { HType type, bool is_internalized_string, bool is_not_in_new_space, + bool is_cell, bool boolean_value); Handle handle() { @@ -3318,6 +3319,10 @@ class HConstant: public HTemplateInstruction<0> { unique_id_ == UniqueValueId(heap->empty_string()); } + bool IsCell() const { + return is_cell_; + } + virtual Representation RequiredInputRepresentation(int index) { return Representation::None(); } @@ -3329,7 +3334,7 @@ class HConstant: public HTemplateInstruction<0> { return Representation::Tagged(); } - virtual bool EmitAtUses() { return !representation().IsDouble(); } + virtual bool EmitAtUses(); virtual void PrintDataTo(StringStream* stream); virtual HType CalculateInferredType(); bool IsInteger() { return handle()->IsSmi(); } @@ -3444,6 +3449,7 @@ class HConstant: public HTemplateInstruction<0> { bool has_double_value_ : 1; bool is_internalized_string_ : 1; // TODO(yangguo): make this part of HType. bool is_not_in_new_space_ : 1; + bool is_cell_ : 1; bool boolean_value_ : 1; int32_t int32_value_; double double_value_; @@ -5096,6 +5102,9 @@ inline bool ReceiverObjectNeedsWriteBarrier(HValue* object, HInnerAllocatedObject::cast(object)->base_object(), new_space_dominator); } + if (object->IsConstant() && HConstant::cast(object)->IsCell()) { + return false; + } if (object != new_space_dominator) return true; if (object->IsAllocateObject()) return false; if (object->IsAllocate()) { @@ -5357,6 +5366,9 @@ class HObjectAccess { static HObjectAccess ForField(Handle map, LookupResult *lookup, Handle name = Handle::null()); + // Create an access for the payload of a Cell or JSGlobalPropertyCell. + static HObjectAccess ForCellPayload(Isolate* isolate); + void PrintTo(StringStream* stream); inline bool Equals(HObjectAccess that) const { diff --git a/src/hydrogen.cc b/src/hydrogen.cc index 0bca49d..e6e2edb 100644 --- a/src/hydrogen.cc +++ b/src/hydrogen.cc @@ -1,4 +1,4 @@ -// Copyright 2012 the V8 project authors. All rights reserved. +// Copyright 2013 the V8 project authors. All rights reserved. // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: @@ -646,6 +646,7 @@ HConstant* HGraph::GetConstant##Name() { \ htype, \ false, \ true, \ + false, \ boolean_value); \ constant->InsertAfter(GetConstantUndefined()); \ constant_##name##_.set(constant); \ @@ -668,6 +669,19 @@ HConstant* HGraph::GetInvalidContext() { } +bool HGraph::IsStandardConstant(HConstant* constant) { + if (constant == GetConstantUndefined()) return true; + if (constant == GetConstant0()) return true; + if (constant == GetConstant1()) return true; + if (constant == GetConstantMinus1()) return true; + if (constant == GetConstantTrue()) return true; + if (constant == GetConstantFalse()) return true; + if (constant == GetConstantHole()) return true; + if (constant == GetConstantNull()) return true; + return false; +} + + HGraphBuilder::IfBuilder::IfBuilder(HGraphBuilder* builder, int position) : builder_(builder), position_(position), @@ -4447,9 +4461,9 @@ void HOptimizedGraphBuilder::PushAndAdd(HInstruction* instr) { } -void HOptimizedGraphBuilder::AddSoftDeoptimize() { +void HOptimizedGraphBuilder::AddSoftDeoptimize(SoftDeoptimizeMode mode) { isolate()->counters()->soft_deopts_requested()->Increment(); - if (FLAG_always_opt) return; + if (FLAG_always_opt && mode == CAN_OMIT_SOFT_DEOPT) return; if (current_block()->IsDeoptimizing()) return; Add(); isolate()->counters()->soft_deopts_inserted()->Increment(); @@ -5402,9 +5416,20 @@ void HOptimizedGraphBuilder::VisitVariableProxy(VariableProxy* expr) { if (type == kUseCell) { Handle global(current_info()->global_object()); Handle cell(global->GetPropertyCell(&lookup)); - HLoadGlobalCell* instr = - new(zone()) HLoadGlobalCell(cell, lookup.GetPropertyDetails()); - return ast_context()->ReturnInstruction(instr, expr->id()); + if (cell->type()->IsConstant()) { + cell->AddDependentCompilationInfo(top_info()); + Handle constant_object = cell->type()->AsConstant(); + if (constant_object->IsConsString()) { + constant_object = + FlattenGetString(Handle::cast(constant_object)); + } + HConstant* constant = new(zone()) HConstant(constant_object); + return ast_context()->ReturnInstruction(constant, expr->id()); + } else { + HLoadGlobalCell* instr = + new(zone()) HLoadGlobalCell(cell, lookup.GetPropertyDetails()); + return ast_context()->ReturnInstruction(instr, expr->id()); + } } else { HValue* context = environment()->LookupContext(); HGlobalObject* global_object = new(zone()) HGlobalObject(context); @@ -6311,8 +6336,21 @@ void HOptimizedGraphBuilder::HandleGlobalVariableAssignment( if (type == kUseCell) { Handle global(current_info()->global_object()); Handle cell(global->GetPropertyCell(&lookup)); - HInstruction* instr = Add(value, cell, - lookup.GetPropertyDetails()); + if (cell->type()->IsConstant()) { + IfBuilder builder(this); + HValue* constant = Add(cell->type()->AsConstant()); + if (cell->type()->AsConstant()->IsNumber()) { + builder.IfCompare(value, constant, Token::EQ); + } else { + builder.If(value, constant); + } + builder.Then(); + builder.Else(); + AddSoftDeoptimize(MUST_EMIT_SOFT_DEOPT); + builder.End(); + } + HInstruction* instr = + Add(value, cell, lookup.GetPropertyDetails()); instr->set_position(position); if (instr->HasObservableSideEffects()) { AddSimulate(ast_id, REMOVABLE_SIMULATE); diff --git a/src/hydrogen.h b/src/hydrogen.h index 8be7840..3d37809 100644 --- a/src/hydrogen.h +++ b/src/hydrogen.h @@ -333,6 +333,8 @@ class HGraph: public ZoneObject { HConstant* GetConstantNull(); HConstant* GetInvalidContext(); + bool IsStandardConstant(HConstant* constant); + HBasicBlock* CreateBasicBlock(); HArgumentsObject* GetArgumentsObject() const { return arguments_object_.get(); @@ -1492,7 +1494,12 @@ class HOptimizedGraphBuilder: public HGraphBuilder, public AstVisitor { bool inline_bailout() { return inline_bailout_; } - void AddSoftDeoptimize(); + enum SoftDeoptimizeMode { + MUST_EMIT_SOFT_DEOPT, + CAN_OMIT_SOFT_DEOPT + }; + + void AddSoftDeoptimize(SoftDeoptimizeMode mode = CAN_OMIT_SOFT_DEOPT); void Bailout(const char* reason); diff --git a/src/ia32/code-stubs-ia32.cc b/src/ia32/code-stubs-ia32.cc index 29a4be2..45b277f 100644 --- a/src/ia32/code-stubs-ia32.cc +++ b/src/ia32/code-stubs-ia32.cc @@ -230,6 +230,17 @@ void ToBooleanStub::InitializeInterfaceDescriptor( } +void StoreGlobalStub::InitializeInterfaceDescriptor( + Isolate* isolate, + CodeStubInterfaceDescriptor* descriptor) { + static Register registers[] = { edx, ecx, eax }; + descriptor->register_param_count_ = 3; + descriptor->register_params_ = registers; + descriptor->deoptimization_handler_ = + FUNCTION_ADDR(StoreIC_MissFromStubFailure); +} + + #define __ ACCESS_MASM(masm) diff --git a/src/ia32/lithium-codegen-ia32.h b/src/ia32/lithium-codegen-ia32.h index d05da8a..7e66ac2 100644 --- a/src/ia32/lithium-codegen-ia32.h +++ b/src/ia32/lithium-codegen-ia32.h @@ -115,6 +115,7 @@ class LCodeGen BASE_EMBEDDED { Immediate ToSmiImmediate(LOperand* op) const { return Immediate(Smi::FromInt(ToInteger32(LConstantOperand::cast(op)))); } + double ToDouble(LConstantOperand* op) const; // Support for non-sse2 (x87) floating point stack handling. // These functions maintain the depth of the stack (either 0 or 1) @@ -293,7 +294,6 @@ class LCodeGen BASE_EMBEDDED { XMMRegister ToDoubleRegister(int index) const; int ToInteger32(LConstantOperand* op) const; - double ToDouble(LConstantOperand* op) const; Operand BuildFastArrayOperand(LOperand* elements_pointer, LOperand* key, Representation key_representation, diff --git a/src/ia32/lithium-gap-resolver-ia32.cc b/src/ia32/lithium-gap-resolver-ia32.cc index 86bfe2f..a75ce21 100644 --- a/src/ia32/lithium-gap-resolver-ia32.cc +++ b/src/ia32/lithium-gap-resolver-ia32.cc @@ -313,6 +313,31 @@ void LGapResolver::EmitMove(int index) { } else { __ LoadObject(dst, cgen_->ToHandle(constant_source)); } + } else if (destination->IsDoubleRegister()) { + double v = cgen_->ToDouble(constant_source); + uint64_t int_val = BitCast(v); + int32_t lower = static_cast(int_val); + int32_t upper = static_cast(int_val >> kBitsPerInt); + if (CpuFeatures::IsSupported(SSE2)) { + CpuFeatureScope scope(cgen_->masm(), SSE2); + XMMRegister dst = cgen_->ToDoubleRegister(destination); + if (int_val == 0) { + __ xorps(dst, dst); + } else { + __ push(Immediate(upper)); + __ push(Immediate(lower)); + __ movdbl(dst, Operand(esp, 0)); + __ add(esp, Immediate(kDoubleSize)); + } + } else { + __ push(Immediate(upper)); + __ push(Immediate(lower)); + if (cgen_->X87StackNonEmpty()) { + cgen_->PopX87(); + } + cgen_->PushX87DoubleOperand(MemOperand(esp, 0)); + __ add(esp, Immediate(kDoubleSize)); + } } else { ASSERT(destination->IsStackSlot()); Operand dst = cgen_->ToOperand(destination); diff --git a/src/ic.cc b/src/ic.cc index ff3a94d..11a7f01 100644 --- a/src/ic.cc +++ b/src/ic.cc @@ -1668,7 +1668,7 @@ void StoreIC::UpdateCaches(LookupResult* lookup, ASSERT(!lookup->IsHandler()); Handle code = ComputeStoreMonomorphic( - lookup, strict_mode, receiver, name); + lookup, strict_mode, receiver, name, value); if (code.is_null()) { Handle stub = strict_mode == kStrictMode ? generic_stub_strict() : generic_stub(); @@ -1684,7 +1684,8 @@ void StoreIC::UpdateCaches(LookupResult* lookup, Handle StoreIC::ComputeStoreMonomorphic(LookupResult* lookup, StrictModeFlag strict_mode, Handle receiver, - Handle name) { + Handle name, + Handle value) { Handle holder(lookup->holder()); switch (lookup->type()) { case FIELD: @@ -1699,7 +1700,7 @@ Handle StoreIC::ComputeStoreMonomorphic(LookupResult* lookup, Handle cell( global->GetPropertyCell(lookup), isolate()); return isolate()->stub_cache()->ComputeStoreGlobal( - name, global, cell, strict_mode); + name, global, cell, value, strict_mode); } ASSERT(holder.is_identical_to(receiver)); return isolate()->stub_cache()->ComputeStoreNormal(strict_mode); @@ -2093,7 +2094,8 @@ MaybeObject* KeyedStoreIC::Store(State state, Handle KeyedStoreIC::ComputeStoreMonomorphic(LookupResult* lookup, StrictModeFlag strict_mode, Handle receiver, - Handle name) { + Handle name, + Handle value) { // If the property has a non-field type allowing map transitions // where there is extra room in the object, we leave the IC in its // current state. @@ -2245,6 +2247,20 @@ RUNTIME_FUNCTION(MaybeObject*, StoreIC_Miss) { } +RUNTIME_FUNCTION(MaybeObject*, StoreIC_MissFromStubFailure) { + HandleScope scope(isolate); + ASSERT(args.length() == 3); + StoreIC ic(IC::EXTRA_CALL_FRAME, isolate); + IC::State state = IC::StateFrom(ic.target(), args[0], args[1]); + Code::ExtraICState extra_ic_state = ic.target()->extra_ic_state(); + return ic.Store(state, + Code::GetStrictMode(extra_ic_state), + args.at(0), + args.at(1), + args.at(2)); +} + + RUNTIME_FUNCTION(MaybeObject*, StoreIC_ArrayLength) { SealHandleScope shs(isolate); diff --git a/src/ic.h b/src/ic.h index 829c6b1..ab0bc29 100644 --- a/src/ic.h +++ b/src/ic.h @@ -560,7 +560,8 @@ class StoreIC: public IC { virtual Handle ComputeStoreMonomorphic(LookupResult* lookup, StrictModeFlag strict_mode, Handle receiver, - Handle name); + Handle name, + Handle value); private: void set_target(Code* code) { @@ -627,7 +628,8 @@ class KeyedStoreIC: public StoreIC { virtual Handle ComputeStoreMonomorphic(LookupResult* lookup, StrictModeFlag strict_mode, Handle receiver, - Handle name); + Handle name, + Handle value); virtual void UpdateMegamorphicCache(Map* map, Name* name, Code* code) { } virtual Handle megamorphic_stub() { @@ -838,6 +840,7 @@ void PatchInlinedSmiCode(Address address, InlinedSmiCheck check); DECLARE_RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_MissFromStubFailure); DECLARE_RUNTIME_FUNCTION(MaybeObject*, KeyedStoreIC_MissFromStubFailure); +DECLARE_RUNTIME_FUNCTION(MaybeObject*, StoreIC_MissFromStubFailure); DECLARE_RUNTIME_FUNCTION(MaybeObject*, CompareNilIC_Miss); DECLARE_RUNTIME_FUNCTION(MaybeObject*, ToBooleanIC_Miss); diff --git a/src/objects-inl.h b/src/objects-inl.h index ea347fd..b52fc0f 100644 --- a/src/objects-inl.h +++ b/src/objects-inl.h @@ -3787,6 +3787,7 @@ int Code::major_key() { kind() == BINARY_OP_IC || kind() == COMPARE_IC || kind() == COMPARE_NIL_IC || + kind() == STORE_IC || kind() == LOAD_IC || kind() == KEYED_LOAD_IC || kind() == TO_BOOLEAN_IC); diff --git a/src/objects.cc b/src/objects.cc index d1a617e..7408761 100644 --- a/src/objects.cc +++ b/src/objects.cc @@ -634,7 +634,7 @@ Object* JSObject::SetNormalizedProperty(LookupResult* result, Object* value) { if (IsGlobalObject()) { PropertyCell* cell = PropertyCell::cast( property_dictionary()->ValueAt(result->GetDictionaryEntry())); - cell->set_value(value); + cell->SetValueInferType(value); } else { property_dictionary()->ValueAtPut(result->GetDictionaryEntry(), value); } @@ -690,7 +690,7 @@ MaybeObject* JSObject::SetNormalizedProperty(Name* name, if (IsGlobalObject()) { PropertyCell* cell = PropertyCell::cast(property_dictionary()->ValueAt(entry)); - cell->set_value(value); + cell->SetValueInferType(value); // Please note we have to update the property details. property_dictionary()->DetailsAtPut(entry, details); } else { @@ -722,7 +722,7 @@ MaybeObject* JSObject::DeleteNormalizedProperty(Name* name, DeleteMode mode) { set_map(new_map); } PropertyCell* cell = PropertyCell::cast(dictionary->ValueAt(entry)); - cell->set_value(cell->GetHeap()->the_hole_value()); + cell->SetValueInferType(cell->GetHeap()->the_hole_value()); dictionary->DetailsAtPut(entry, details.AsDeleted()); } else { Object* deleted = dictionary->DeleteProperty(entry, mode); @@ -1929,7 +1929,7 @@ MaybeObject* JSObject::AddSlowProperty(Name* name, int entry = dict->FindEntry(name); if (entry != NameDictionary::kNotFound) { store_value = dict->ValueAt(entry); - PropertyCell::cast(store_value)->set_value(value); + PropertyCell::cast(store_value)->SetValueInferType(value); // Assign an enumeration index to the property and update // SetNextEnumerationIndex. int index = dict->NextEnumerationIndex(); @@ -1943,7 +1943,7 @@ MaybeObject* JSObject::AddSlowProperty(Name* name, heap->AllocatePropertyCell(value); if (!maybe_store_value->ToObject(&store_value)) return maybe_store_value; } - PropertyCell::cast(store_value)->set_value(value); + PropertyCell::cast(store_value)->SetValueInferType(value); } PropertyDetails details = PropertyDetails(attributes, NORMAL, 0); Object* result; @@ -15806,6 +15806,38 @@ void PropertyCell::set_type(Type* type, WriteBarrierMode ignored) { } +Type* PropertyCell::UpdateType(Object* value) { + Isolate* isolate = GetIsolate(); + Handle value_handle(value, isolate); + Handle old_type(type(), isolate); + Handle new_type((value->IsSmi() || value->IsUndefined()) + ? Type::Constant(value_handle, isolate) + : Type::Any(), isolate); + + if (new_type->Is(old_type)) { + return *old_type; + } + + dependent_code()->DeoptimizeDependentCodeGroup( + isolate, DependentCode::kPropertyCellChangedGroup); + + if (old_type->Is(Type::None()) || old_type->Is(Type::Undefined())) { + return *new_type; + } + + return Type::Any(); +} + + +void PropertyCell::SetValueInferType(Object* value, + WriteBarrierMode ignored) { + set_value(value, ignored); + if (!Type::Any()->Is(type())) { + set_type(UpdateType(value)); + } +} + + void PropertyCell::AddDependentCompilationInfo(CompilationInfo* info) { Handle dep(dependent_code()); Handle codes = diff --git a/src/objects.h b/src/objects.h index adaa9cf..d34058d 100644 --- a/src/objects.h +++ b/src/objects.h @@ -8585,6 +8585,13 @@ class PropertyCell: public Cell { // property. DECL_ACCESSORS(dependent_code, DependentCode) + // Sets the value of the cell and updates the type field to be the union + // of the cell's current type and the value's type. If the change causes + // a change of the type of the cell's contents, code dependent on the cell + // will be deoptimized. + void SetValueInferType(Object* value, + WriteBarrierMode mode = UPDATE_WRITE_BARRIER); + // Casting. static inline PropertyCell* cast(Object* obj); @@ -8612,6 +8619,8 @@ class PropertyCell: public Cell { void AddDependentCode(Handle code); + Type* UpdateType(Object* value); + private: DECL_ACCESSORS(type_raw, Object) DISALLOW_IMPLICIT_CONSTRUCTORS(PropertyCell); diff --git a/src/runtime.cc b/src/runtime.cc index 484d343..57281a3 100644 --- a/src/runtime.cc +++ b/src/runtime.cc @@ -2110,6 +2110,7 @@ RUNTIME_FUNCTION(MaybeObject*, Runtime_InitializeConstGlobal) { } else if (lookup.IsNormal()) { if (global->GetNormalizedProperty(&lookup)->IsTheHole() || !lookup.IsReadOnly()) { + HandleScope scope(isolate); global->SetNormalizedProperty(&lookup, *value); } } else { diff --git a/src/stub-cache.cc b/src/stub-cache.cc index e0839f1..aa4c2a5 100644 --- a/src/stub-cache.cc +++ b/src/stub-cache.cc @@ -498,15 +498,30 @@ Handle StubCache::ComputeStoreNormal(StrictModeFlag strict_mode) { Handle StubCache::ComputeStoreGlobal(Handle name, Handle receiver, Handle cell, + Handle value, StrictModeFlag strict_mode) { - Handle stub = FindIC( - name, Handle::cast(receiver), - Code::STORE_IC, Code::NORMAL, strict_mode); - if (!stub.is_null()) return stub; + Isolate* isolate = cell->GetIsolate(); + Handle union_type(cell->UpdateType(*value), isolate); + bool is_constant = union_type->IsConstant(); + StoreGlobalStub stub(strict_mode, is_constant); - StoreStubCompiler compiler(isolate_, strict_mode); - Handle code = compiler.CompileStoreGlobal(receiver, cell, name); + Handle code = FindIC( + name, Handle::cast(receiver), + Code::STORE_IC, Code::NORMAL, stub.GetExtraICState()); + if (!code.is_null()) return code; + + if (is_constant) return stub.GetCode(isolate_); + + // Replace the placeholder cell and global object map with the actual global + // cell and receiver map. + Handle cell_map(isolate_->heap()->global_property_cell_map()); + Handle meta_map(isolate_->heap()->meta_map()); + Handle receiver_map(receiver->map(), isolate_); + code = stub.GetCodeCopyFromTemplate(isolate_); + code->ReplaceNthObject(1, *meta_map, *receiver_map); + code->ReplaceNthObject(1, *cell_map, *cell); JSObject::UpdateMapCodeCache(receiver, name, code); + return code; } @@ -921,12 +936,8 @@ Handle StubCache::ComputeCompareNil(Handle receiver_map, if (!cached_ic.is_null()) return cached_ic; } - Handle ic = stub.GetCode(isolate_); - - // For monomorphic maps, use the code as a template, copying and replacing - // the monomorphic map that checks the object's type. - ic = isolate_->factory()->CopyCode(ic); - ic->ReplaceFirstMap(*receiver_map); + Handle ic = stub.GetCodeCopyFromTemplate(isolate_); + ic->ReplaceNthObject(1, isolate_->heap()->meta_map(), *receiver_map); if (!receiver_map->is_shared()) { Map::UpdateCodeCache(receiver_map, name, ic); diff --git a/src/stub-cache.h b/src/stub-cache.h index 6d70d34..5317ce8 100644 --- a/src/stub-cache.h +++ b/src/stub-cache.h @@ -184,6 +184,7 @@ class StubCache { Handle ComputeStoreGlobal(Handle name, Handle object, Handle cell, + Handle value, StrictModeFlag strict_mode); Handle ComputeStoreCallback(Handle name, diff --git a/src/x64/code-stubs-x64.cc b/src/x64/code-stubs-x64.cc index 9774638..afb3a30 100644 --- a/src/x64/code-stubs-x64.cc +++ b/src/x64/code-stubs-x64.cc @@ -1,4 +1,4 @@ -// Copyright 2012 the V8 project authors. All rights reserved. +// Copyright 2013 the V8 project authors. All rights reserved. // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: @@ -226,6 +226,17 @@ void ToBooleanStub::InitializeInterfaceDescriptor( } +void StoreGlobalStub::InitializeInterfaceDescriptor( + Isolate* isolate, + CodeStubInterfaceDescriptor* descriptor) { + static Register registers[] = { rdx, rcx, rax }; + descriptor->register_param_count_ = 3; + descriptor->register_params_ = registers; + descriptor->deoptimization_handler_ = + FUNCTION_ADDR(StoreIC_MissFromStubFailure); +} + + #define __ ACCESS_MASM(masm) diff --git a/src/x64/lithium-gap-resolver-x64.cc b/src/x64/lithium-gap-resolver-x64.cc index aed4f36..adb1afa 100644 --- a/src/x64/lithium-gap-resolver-x64.cc +++ b/src/x64/lithium-gap-resolver-x64.cc @@ -202,6 +202,20 @@ void LGapResolver::EmitMove(int index) { } else { __ LoadObject(dst, cgen_->ToHandle(constant_source)); } + } else if (destination->IsDoubleRegister()) { + double v = cgen_->ToDouble(constant_source); + uint64_t int_val = BitCast(v); + int32_t lower = static_cast(int_val); + int32_t upper = static_cast(int_val >> (kBitsPerInt)); + XMMRegister dst = cgen_->ToDoubleRegister(destination); + if (int_val == 0) { + __ xorps(dst, dst); + } else { + __ push(Immediate(upper)); + __ push(Immediate(lower)); + __ movsd(dst, Operand(rsp, 0)); + __ addq(rsp, Immediate(kDoubleSize)); + } } else { ASSERT(destination->IsStackSlot()); Operand dst = cgen_->ToOperand(destination); diff --git a/test/mjsunit/regress/regress-2618.js b/test/mjsunit/regress/regress-2618.js index 638b71e..99f05ca 100644 --- a/test/mjsunit/regress/regress-2618.js +++ b/test/mjsunit/regress/regress-2618.js @@ -30,7 +30,7 @@ function f() { do { do { - for (i = 0; i < 10000000; i++) { + for (var i = 0; i < 10000000; i++) { // This should run long enough to trigger OSR. } } while (false); @@ -46,7 +46,7 @@ function g() { do { do { - for (i = 0; i < 1; i++) { } + for (var i = 0; i < 1; i++) { } } while (false); } while (false); @@ -58,7 +58,7 @@ function g() { do { do { do { - for (i = 0; i < 10000000; i++) { } + for (var i = 0; i < 10000000; i++) { } } while (false); } while (false); } while (false);