Index: src/mips/full-codegen-mips.cc |
diff --git a/src/mips/full-codegen-mips.cc b/src/mips/full-codegen-mips.cc |
index 73b3984974a80e4bba4a407d37445e686b2df4bc..1f1780ec2e5bd7b42c5a6a3ccbf155e7c9eb68ec 100644 |
--- a/src/mips/full-codegen-mips.cc |
+++ b/src/mips/full-codegen-mips.cc |
@@ -238,17 +238,17 @@ void FullCodeGenerator::Generate(CompilationInfo* info) { |
// function, receiver address, parameter count. |
// The stub will rewrite receiever and parameter count if the previous |
// stack frame was an arguments adapter frame. |
- ArgumentsAccessStub stub( |
- is_strict_mode() ? ArgumentsAccessStub::NEW_STRICT |
- : ArgumentsAccessStub::NEW_NON_STRICT); |
+ ArgumentsAccessStub::Type type; |
+ if (is_strict_mode()) { |
+ type = ArgumentsAccessStub::NEW_STRICT; |
+ } else if (function()->has_duplicate_parameters()) { |
+ type = ArgumentsAccessStub::NEW_NON_STRICT_SLOW; |
+ } else { |
+ type = ArgumentsAccessStub::NEW_NON_STRICT_FAST; |
+ } |
+ ArgumentsAccessStub stub(type); |
__ CallStub(&stub); |
- Variable* arguments_shadow = scope()->arguments_shadow(); |
- if (arguments_shadow != NULL) { |
- // Duplicate the value; move-to-slot operation might clobber registers. |
- __ mov(a3, v0); |
- Move(arguments_shadow->AsSlot(), a3, a1, a2); |
- } |
Move(arguments->AsSlot(), v0, a1, a2); |
} |
@@ -1254,13 +1254,12 @@ void FullCodeGenerator::EmitDynamicLoadFromSlotFastCase( |
void FullCodeGenerator::EmitVariableLoad(Variable* var) { |
- // Four cases: non-this global variables, lookup slots, all other |
- // types of slots, and parameters that rewrite to explicit property |
- // accesses on the arguments object. |
+ // Three cases: non-this global variables, lookup slots, and all other |
+ // types of slots. |
Slot* slot = var->AsSlot(); |
- Property* property = var->AsProperty(); |
+ ASSERT((var->is_global() && !var->is_this()) == (slot == NULL)); |
- if (var->is_global() && !var->is_this()) { |
+ if (slot == NULL) { |
Comment cmnt(masm_, "Global variable"); |
// Use inline caching. Variable name is passed in a2 and the global |
// object (receiver) in a0. |
@@ -1270,7 +1269,7 @@ void FullCodeGenerator::EmitVariableLoad(Variable* var) { |
EmitCallIC(ic, RelocInfo::CODE_TARGET_CONTEXT, AstNode::kNoNumber); |
context()->Plug(v0); |
- } else if (slot != NULL && slot->type() == Slot::LOOKUP) { |
+ } else if (slot->type() == Slot::LOOKUP) { |
Label done, slow; |
// Generate code for loading from variables potentially shadowed |
@@ -1286,7 +1285,7 @@ void FullCodeGenerator::EmitVariableLoad(Variable* var) { |
context()->Plug(v0); |
- } else if (slot != NULL) { |
+ } else { |
Comment cmnt(masm_, (slot->type() == Slot::CONTEXT) |
? "Context slot" |
: "Stack slot"); |
@@ -1303,31 +1302,6 @@ void FullCodeGenerator::EmitVariableLoad(Variable* var) { |
} else { |
context()->Plug(slot); |
} |
- } else { |
- Comment cmnt(masm_, "Rewritten parameter"); |
- ASSERT_NOT_NULL(property); |
- // Rewritten parameter accesses are of the form "slot[literal]". |
- // Assert that the object is in a slot. |
- Variable* object_var = property->obj()->AsVariableProxy()->AsVariable(); |
- ASSERT_NOT_NULL(object_var); |
- Slot* object_slot = object_var->AsSlot(); |
- ASSERT_NOT_NULL(object_slot); |
- |
- // Load the object. |
- Move(a1, object_slot); |
- |
- // Assert that the key is a smi. |
- Literal* key_literal = property->key()->AsLiteral(); |
- ASSERT_NOT_NULL(key_literal); |
- ASSERT(key_literal->handle()->IsSmi()); |
- |
- // Load the key. |
- __ li(a0, Operand(key_literal->handle())); |
- |
- // Call keyed load IC. It has arguments key and receiver in a0 and a1. |
- Handle<Code> ic = isolate()->builtins()->KeyedLoadIC_Initialize(); |
- EmitCallIC(ic, RelocInfo::CODE_TARGET, GetPropertyId(property)); |
- context()->Plug(v0); |
} |
} |
@@ -1571,7 +1545,7 @@ void FullCodeGenerator::VisitAssignment(Assignment* expr) { |
} |
// Left-hand side can only be a property, a global or a (parameter or local) |
- // slot. Variables with rewrite to .arguments are treated as KEYED_PROPERTY. |
+ // slot. |
enum LhsKind { VARIABLE, NAMED_PROPERTY, KEYED_PROPERTY }; |
LhsKind assign_type = VARIABLE; |
Property* property = expr->target()->AsProperty(); |
@@ -1598,27 +1572,13 @@ void FullCodeGenerator::VisitAssignment(Assignment* expr) { |
case KEYED_PROPERTY: |
// We need the key and receiver on both the stack and in v0 and a1. |
if (expr->is_compound()) { |
- if (property->is_arguments_access()) { |
- VariableProxy* obj_proxy = property->obj()->AsVariableProxy(); |
- __ lw(v0, EmitSlotSearch(obj_proxy->var()->AsSlot(), v0)); |
- __ push(v0); |
- __ li(v0, Operand(property->key()->AsLiteral()->handle())); |
- } else { |
- VisitForStackValue(property->obj()); |
- VisitForAccumulatorValue(property->key()); |
- } |
+ VisitForStackValue(property->obj()); |
+ VisitForAccumulatorValue(property->key()); |
__ lw(a1, MemOperand(sp, 0)); |
__ push(v0); |
} else { |
- if (property->is_arguments_access()) { |
- VariableProxy* obj_proxy = property->obj()->AsVariableProxy(); |
- __ lw(a1, EmitSlotSearch(obj_proxy->var()->AsSlot(), v0)); |
- __ li(v0, Operand(property->key()->AsLiteral()->handle())); |
- __ Push(a1, v0); |
- } else { |
- VisitForStackValue(property->obj()); |
- VisitForStackValue(property->key()); |
- } |
+ VisitForStackValue(property->obj()); |
+ VisitForStackValue(property->key()); |
} |
break; |
} |
@@ -1828,7 +1788,7 @@ void FullCodeGenerator::EmitAssignment(Expression* expr, int bailout_ast_id) { |
} |
// Left-hand side can only be a property, a global or a (parameter or local) |
- // slot. Variables with rewrite to .arguments are treated as KEYED_PROPERTY. |
+ // slot. |
enum LhsKind { VARIABLE, NAMED_PROPERTY, KEYED_PROPERTY }; |
LhsKind assign_type = VARIABLE; |
Property* prop = expr->AsProperty(); |
@@ -1859,20 +1819,10 @@ void FullCodeGenerator::EmitAssignment(Expression* expr, int bailout_ast_id) { |
} |
case KEYED_PROPERTY: { |
__ push(result_register()); // Preserve value. |
- if (prop->is_synthetic()) { |
- ASSERT(prop->obj()->AsVariableProxy() != NULL); |
- ASSERT(prop->key()->AsLiteral() != NULL); |
- { AccumulatorValueContext for_object(this); |
- EmitVariableLoad(prop->obj()->AsVariableProxy()->var()); |
- } |
- __ mov(a2, result_register()); |
- __ li(a1, Operand(prop->key()->AsLiteral()->handle())); |
- } else { |
- VisitForStackValue(prop->obj()); |
- VisitForAccumulatorValue(prop->key()); |
- __ mov(a1, result_register()); |
- __ pop(a2); |
- } |
+ VisitForStackValue(prop->obj()); |
+ VisitForAccumulatorValue(prop->key()); |
+ __ mov(a1, result_register()); |
+ __ pop(a2); |
__ pop(a0); // Restore value. |
Handle<Code> ic = is_strict_mode() |
? isolate()->builtins()->KeyedStoreIC_Initialize_Strict() |
@@ -1888,8 +1838,6 @@ void FullCodeGenerator::EmitAssignment(Expression* expr, int bailout_ast_id) { |
void FullCodeGenerator::EmitVariableAssignment(Variable* var, |
Token::Value op) { |
- // Left-hand sides that rewrite to explicit property accesses do not reach |
- // here. |
ASSERT(var != NULL); |
ASSERT(var->is_global() || var->AsSlot() != NULL); |
@@ -3840,7 +3788,7 @@ void FullCodeGenerator::VisitCountOperation(CountOperation* expr) { |
} |
// Expression can only be a property, a global or a (parameter or local) |
- // slot. Variables with rewrite to .arguments are treated as KEYED_PROPERTY. |
+ // slot. |
enum LhsKind { VARIABLE, NAMED_PROPERTY, KEYED_PROPERTY }; |
LhsKind assign_type = VARIABLE; |
Property* prop = expr->expression()->AsProperty(); |
@@ -3868,15 +3816,8 @@ void FullCodeGenerator::VisitCountOperation(CountOperation* expr) { |
__ push(v0); |
EmitNamedPropertyLoad(prop); |
} else { |
- if (prop->is_arguments_access()) { |
- VariableProxy* obj_proxy = prop->obj()->AsVariableProxy(); |
- __ lw(v0, EmitSlotSearch(obj_proxy->var()->AsSlot(), v0)); |
- __ push(v0); |
- __ li(v0, Operand(prop->key()->AsLiteral()->handle())); |
- } else { |
- VisitForStackValue(prop->obj()); |
- VisitForAccumulatorValue(prop->key()); |
- } |
+ VisitForStackValue(prop->obj()); |
+ VisitForAccumulatorValue(prop->key()); |
__ lw(a1, MemOperand(sp, 0)); |
__ push(v0); |
EmitKeyedPropertyLoad(prop); |