From: mbrandy Date: Thu, 10 Sep 2015 19:18:22 +0000 (-0700) Subject: PPC: Vector ICs: The Oracle needs to report feedback for the object literals and... X-Git-Tag: upstream/4.7.83~351 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=6127d37d13b0d0eaeb50266fb47343badc142213;p=platform%2Fupstream%2Fv8.git PPC: Vector ICs: The Oracle needs to report feedback for the object literals and the count operation. Port 752b0308df72461bfeb644bf6dd8dd331fcdb722 Original commit message: The refactoring is because it's awkward and error-prone to deterimine which IC slot an ObjectLiteralProperty uses for feedback. The fix is for each one to know it's own slot. In the numbering pass, we allocate slots for the ObjectLiteral, then hand out those slots into the properties. It adds one word to the ObjectLiteralProperty expression - I'm investigating if thats a problem. This changes makes compiling the object literal cleaner across the three compilers. Also, the slot allocation logic in ObjectLiteral::ComputeFeedbackRequirements() was refactoring to mimic the style in full-codegen. This is useful since it must remain in sync with FullCodegen::VisitObjectLiteral(). R=mvstanton@chromium.org, joransiu@ca.ibm.com, jyan@ca.ibm.com, michael_dawson@ca.ibm.com, dstence@us.ibm.com BUG= Review URL: https://codereview.chromium.org/1331893003 Cr-Commit-Position: refs/heads/master@{#30689} --- diff --git a/src/full-codegen/ppc/full-codegen-ppc.cc b/src/full-codegen/ppc/full-codegen-ppc.cc index 6e91b5e..b4deec0 100644 --- a/src/full-codegen/ppc/full-codegen-ppc.cc +++ b/src/full-codegen/ppc/full-codegen-ppc.cc @@ -1215,18 +1215,29 @@ void FullCodeGenerator::EmitNewClosure(Handle info, } -void FullCodeGenerator::EmitSetHomeObjectIfNeeded(Expression* initializer, - int offset, - FeedbackVectorICSlot slot) { - if (NeedsHomeObject(initializer)) { - __ LoadP(StoreDescriptor::ReceiverRegister(), MemOperand(sp)); - __ mov(StoreDescriptor::NameRegister(), - Operand(isolate()->factory()->home_object_symbol())); - __ LoadP(StoreDescriptor::ValueRegister(), - MemOperand(sp, offset * kPointerSize)); - if (FLAG_vector_stores) EmitLoadStoreICSlot(slot); - CallStoreIC(); - } +void FullCodeGenerator::EmitSetHomeObject(Expression* initializer, int offset, + FeedbackVectorICSlot slot) { + DCHECK(NeedsHomeObject(initializer)); + __ LoadP(StoreDescriptor::ReceiverRegister(), MemOperand(sp)); + __ mov(StoreDescriptor::NameRegister(), + Operand(isolate()->factory()->home_object_symbol())); + __ LoadP(StoreDescriptor::ValueRegister(), + MemOperand(sp, offset * kPointerSize)); + if (FLAG_vector_stores) EmitLoadStoreICSlot(slot); + CallStoreIC(); +} + + +void FullCodeGenerator::EmitSetHomeObjectAccumulator( + Expression* initializer, int offset, FeedbackVectorICSlot slot) { + DCHECK(NeedsHomeObject(initializer)); + __ Move(StoreDescriptor::ReceiverRegister(), r3); + __ mov(StoreDescriptor::NameRegister(), + Operand(isolate()->factory()->home_object_symbol())); + __ LoadP(StoreDescriptor::ValueRegister(), + MemOperand(sp, offset * kPointerSize)); + if (FLAG_vector_stores) EmitLoadStoreICSlot(slot); + CallStoreIC(); } @@ -1496,12 +1507,19 @@ void FullCodeGenerator::VisitRegExpLiteral(RegExpLiteral* expr) { } -void FullCodeGenerator::EmitAccessor(Expression* expression) { +void FullCodeGenerator::EmitAccessor(ObjectLiteralProperty* property) { + Expression* expression = (property == NULL) ? NULL : property->value(); if (expression == NULL) { __ LoadRoot(r4, Heap::kNullValueRootIndex); __ push(r4); } else { VisitForStackValue(expression); + if (NeedsHomeObject(expression)) { + DCHECK(property->kind() == ObjectLiteral::Property::GETTER || + property->kind() == ObjectLiteral::Property::SETTER); + int offset = property->kind() == ObjectLiteral::Property::GETTER ? 2 : 3; + EmitSetHomeObject(expression, offset, property->GetSlot()); + } } } @@ -1531,10 +1549,6 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { AccessorTable accessor_table(zone()); int property_index = 0; - // store_slot_index points to the vector IC slot for the next store IC used. - // ObjectLiteral::ComputeFeedbackRequirements controls the allocation of slots - // and must be updated if the number of store ICs emitted here changes. - int store_slot_index = 0; for (; property_index < expr->properties()->length(); property_index++) { ObjectLiteral::Property* property = expr->properties()->at(property_index); if (property->is_computed_name()) break; @@ -1562,7 +1576,7 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { __ mov(StoreDescriptor::NameRegister(), Operand(key->value())); __ LoadP(StoreDescriptor::ReceiverRegister(), MemOperand(sp)); if (FLAG_vector_stores) { - EmitLoadStoreICSlot(expr->GetNthSlot(store_slot_index++)); + EmitLoadStoreICSlot(property->GetSlot(0)); CallStoreIC(); } else { CallStoreIC(key->LiteralFeedbackId()); @@ -1570,14 +1584,7 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { PrepareForBailoutForId(key->id(), NO_REGISTERS); if (NeedsHomeObject(value)) { - __ Move(StoreDescriptor::ReceiverRegister(), r3); - __ mov(StoreDescriptor::NameRegister(), - Operand(isolate()->factory()->home_object_symbol())); - __ LoadP(StoreDescriptor::ValueRegister(), MemOperand(sp)); - if (FLAG_vector_stores) { - EmitLoadStoreICSlot(expr->GetNthSlot(store_slot_index++)); - } - CallStoreIC(); + EmitSetHomeObjectAccumulator(value, 0, property->GetSlot(1)); } } else { VisitForEffect(value); @@ -1590,8 +1597,9 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { VisitForStackValue(key); VisitForStackValue(value); if (property->emit_store()) { - EmitSetHomeObjectIfNeeded( - value, 2, expr->SlotForHomeObject(value, &store_slot_index)); + if (NeedsHomeObject(value)) { + EmitSetHomeObject(value, 2, property->GetSlot()); + } __ LoadSmiLiteral(r3, Smi::FromInt(SLOPPY)); // PropertyAttributes __ push(r3); __ CallRuntime(Runtime::kSetProperty, 4); @@ -1609,12 +1617,12 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { break; case ObjectLiteral::Property::GETTER: if (property->emit_store()) { - accessor_table.lookup(key)->second->getter = value; + accessor_table.lookup(key)->second->getter = property; } break; case ObjectLiteral::Property::SETTER: if (property->emit_store()) { - accessor_table.lookup(key)->second->setter = value; + accessor_table.lookup(key)->second->setter = property; } break; } @@ -1628,13 +1636,7 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { __ push(r3); VisitForStackValue(it->first); EmitAccessor(it->second->getter); - EmitSetHomeObjectIfNeeded( - it->second->getter, 2, - expr->SlotForHomeObject(it->second->getter, &store_slot_index)); EmitAccessor(it->second->setter); - EmitSetHomeObjectIfNeeded( - it->second->setter, 3, - expr->SlotForHomeObject(it->second->setter, &store_slot_index)); __ LoadSmiLiteral(r3, Smi::FromInt(NONE)); __ push(r3); __ CallRuntime(Runtime::kDefineAccessorPropertyUnchecked, 5); @@ -1669,8 +1671,9 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { } else { EmitPropertyKey(property, expr->GetIdForProperty(property_index)); VisitForStackValue(value); - EmitSetHomeObjectIfNeeded( - value, 2, expr->SlotForHomeObject(value, &store_slot_index)); + if (NeedsHomeObject(value)) { + EmitSetHomeObject(value, 2, property->GetSlot()); + } switch (property->kind()) { case ObjectLiteral::Property::CONSTANT: @@ -1716,10 +1719,6 @@ void FullCodeGenerator::VisitObjectLiteral(ObjectLiteral* expr) { } else { context()->Plug(r3); } - - // Verify that compilation exactly consumed the number of store ic slots that - // the ObjectLiteral node had to offer. - DCHECK(!FLAG_vector_stores || store_slot_index == expr->slot_count()); } @@ -2434,8 +2433,7 @@ void FullCodeGenerator::EmitInlineSmiBinaryOp(BinaryOperation* expr, } -void FullCodeGenerator::EmitClassDefineProperties(ClassLiteral* lit, - int* used_store_slots) { +void FullCodeGenerator::EmitClassDefineProperties(ClassLiteral* lit) { // Constructor is in r3. DCHECK(lit != NULL); __ push(r3); @@ -2469,8 +2467,9 @@ void FullCodeGenerator::EmitClassDefineProperties(ClassLiteral* lit, } VisitForStackValue(value); - EmitSetHomeObjectIfNeeded(value, 2, - lit->SlotForHomeObject(value, used_store_slots)); + if (NeedsHomeObject(value)) { + EmitSetHomeObject(value, 2, property->GetSlot()); + } switch (property->kind()) { case ObjectLiteral::Property::CONSTANT: