OLD | NEW |
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 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 1087 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1098 Variable* var = node->proxy()->var(); | 1098 Variable* var = node->proxy()->var(); |
1099 ASSERT(var != NULL); // must have been resolved | 1099 ASSERT(var != NULL); // must have been resolved |
1100 Slot* slot = var->slot(); | 1100 Slot* slot = var->slot(); |
1101 | 1101 |
1102 // If it was not possible to allocate the variable at compile time, | 1102 // If it was not possible to allocate the variable at compile time, |
1103 // we need to "declare" it at runtime to make sure it actually | 1103 // we need to "declare" it at runtime to make sure it actually |
1104 // exists in the local context. | 1104 // exists in the local context. |
1105 if (slot != NULL && slot->type() == Slot::LOOKUP) { | 1105 if (slot != NULL && slot->type() == Slot::LOOKUP) { |
1106 // Variables with a "LOOKUP" slot were introduced as non-locals | 1106 // Variables with a "LOOKUP" slot were introduced as non-locals |
1107 // during variable resolution and must have mode DYNAMIC. | 1107 // during variable resolution and must have mode DYNAMIC. |
1108 ASSERT(var->mode() == Variable::DYNAMIC); | 1108 ASSERT(var->is_dynamic()); |
1109 // For now, just do a runtime call. | 1109 // For now, just do a runtime call. |
1110 frame_->Push(cp); | 1110 frame_->Push(cp); |
1111 __ mov(r0, Operand(var->name())); | 1111 __ mov(r0, Operand(var->name())); |
1112 frame_->Push(r0); | 1112 frame_->Push(r0); |
1113 // Declaration nodes are always declared in only two modes. | 1113 // Declaration nodes are always declared in only two modes. |
1114 ASSERT(node->mode() == Variable::VAR || node->mode() == Variable::CONST); | 1114 ASSERT(node->mode() == Variable::VAR || node->mode() == Variable::CONST); |
1115 PropertyAttributes attr = node->mode() == Variable::VAR ? NONE : READ_ONLY; | 1115 PropertyAttributes attr = node->mode() == Variable::VAR ? NONE : READ_ONLY; |
1116 __ mov(r0, Operand(Smi::FromInt(attr))); | 1116 __ mov(r0, Operand(Smi::FromInt(attr))); |
1117 frame_->Push(r0); | 1117 frame_->Push(r0); |
1118 // Push initial value, if any. | 1118 // Push initial value, if any. |
(...skipping 857 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1976 Load(node->then_expression(), typeof_state()); | 1976 Load(node->then_expression(), typeof_state()); |
1977 __ b(&exit); | 1977 __ b(&exit); |
1978 __ bind(&else_); | 1978 __ bind(&else_); |
1979 Load(node->else_expression(), typeof_state()); | 1979 Load(node->else_expression(), typeof_state()); |
1980 __ bind(&exit); | 1980 __ bind(&exit); |
1981 } | 1981 } |
1982 | 1982 |
1983 | 1983 |
1984 void CodeGenerator::LoadFromSlot(Slot* slot, TypeofState typeof_state) { | 1984 void CodeGenerator::LoadFromSlot(Slot* slot, TypeofState typeof_state) { |
1985 if (slot->type() == Slot::LOOKUP) { | 1985 if (slot->type() == Slot::LOOKUP) { |
1986 ASSERT(slot->var()->mode() == Variable::DYNAMIC); | 1986 ASSERT(slot->var()->is_dynamic()); |
1987 | 1987 |
1988 // For now, just do a runtime call. | 1988 // For now, just do a runtime call. |
1989 frame_->Push(cp); | 1989 frame_->Push(cp); |
1990 __ mov(r0, Operand(slot->var()->name())); | 1990 __ mov(r0, Operand(slot->var()->name())); |
1991 frame_->Push(r0); | 1991 frame_->Push(r0); |
1992 | 1992 |
1993 if (typeof_state == INSIDE_TYPEOF) { | 1993 if (typeof_state == INSIDE_TYPEOF) { |
1994 __ CallRuntime(Runtime::kLoadContextSlotNoReferenceError, 2); | 1994 __ CallRuntime(Runtime::kLoadContextSlotNoReferenceError, 2); |
1995 } else { | 1995 } else { |
1996 __ CallRuntime(Runtime::kLoadContextSlot, 2); | 1996 __ CallRuntime(Runtime::kLoadContextSlot, 2); |
1997 } | 1997 } |
1998 frame_->Push(r0); | 1998 frame_->Push(r0); |
1999 | 1999 |
2000 } else { | 2000 } else { |
2001 // Note: We would like to keep the assert below, but it fires because of | 2001 // Note: We would like to keep the assert below, but it fires because of |
2002 // some nasty code in LoadTypeofExpression() which should be removed... | 2002 // some nasty code in LoadTypeofExpression() which should be removed... |
2003 // ASSERT(slot->var()->mode() != Variable::DYNAMIC); | 2003 // ASSERT(!slot->var()->is_dynamic()); |
2004 | 2004 |
2005 // Special handling for locals allocated in registers. | 2005 // Special handling for locals allocated in registers. |
2006 __ ldr(r0, SlotOperand(slot, r2)); | 2006 __ ldr(r0, SlotOperand(slot, r2)); |
2007 frame_->Push(r0); | 2007 frame_->Push(r0); |
2008 if (slot->var()->mode() == Variable::CONST) { | 2008 if (slot->var()->mode() == Variable::CONST) { |
2009 // Const slots may contain 'the hole' value (the constant hasn't been | 2009 // Const slots may contain 'the hole' value (the constant hasn't been |
2010 // initialized yet) which needs to be converted into the 'undefined' | 2010 // initialized yet) which needs to be converted into the 'undefined' |
2011 // value. | 2011 // value. |
2012 Comment cmnt(masm_, "[ Unhole const"); | 2012 Comment cmnt(masm_, "[ Unhole const"); |
2013 frame_->Pop(r0); | 2013 frame_->Pop(r0); |
(...skipping 1327 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3341 if (property != NULL) { | 3341 if (property != NULL) { |
3342 cgen_->CodeForSourcePosition(property->position()); | 3342 cgen_->CodeForSourcePosition(property->position()); |
3343 } | 3343 } |
3344 | 3344 |
3345 switch (type_) { | 3345 switch (type_) { |
3346 case SLOT: { | 3346 case SLOT: { |
3347 Comment cmnt(masm, "[ Store to Slot"); | 3347 Comment cmnt(masm, "[ Store to Slot"); |
3348 Slot* slot = expression_->AsVariableProxy()->AsVariable()->slot(); | 3348 Slot* slot = expression_->AsVariableProxy()->AsVariable()->slot(); |
3349 ASSERT(slot != NULL); | 3349 ASSERT(slot != NULL); |
3350 if (slot->type() == Slot::LOOKUP) { | 3350 if (slot->type() == Slot::LOOKUP) { |
3351 ASSERT(slot->var()->mode() == Variable::DYNAMIC); | 3351 ASSERT(slot->var()->is_dynamic()); |
3352 | 3352 |
3353 // For now, just do a runtime call. | 3353 // For now, just do a runtime call. |
3354 frame->Push(cp); | 3354 frame->Push(cp); |
3355 __ mov(r0, Operand(slot->var()->name())); | 3355 __ mov(r0, Operand(slot->var()->name())); |
3356 frame->Push(r0); | 3356 frame->Push(r0); |
3357 | 3357 |
3358 if (init_state == CONST_INIT) { | 3358 if (init_state == CONST_INIT) { |
3359 // Same as the case for a normal store, but ignores attribute | 3359 // Same as the case for a normal store, but ignores attribute |
3360 // (e.g. READ_ONLY) of context slot so that we can initialize | 3360 // (e.g. READ_ONLY) of context slot so that we can initialize |
3361 // const properties (introduced via eval("const foo = (some | 3361 // const properties (introduced via eval("const foo = (some |
(...skipping 11 matching lines...) Expand all Loading... |
3373 // context slot followed by initialization. | 3373 // context slot followed by initialization. |
3374 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); | 3374 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); |
3375 } else { | 3375 } else { |
3376 __ CallRuntime(Runtime::kStoreContextSlot, 3); | 3376 __ CallRuntime(Runtime::kStoreContextSlot, 3); |
3377 } | 3377 } |
3378 // Storing a variable must keep the (new) value on the expression | 3378 // Storing a variable must keep the (new) value on the expression |
3379 // stack. This is necessary for compiling assignment expressions. | 3379 // stack. This is necessary for compiling assignment expressions. |
3380 frame->Push(r0); | 3380 frame->Push(r0); |
3381 | 3381 |
3382 } else { | 3382 } else { |
3383 ASSERT(slot->var()->mode() != Variable::DYNAMIC); | 3383 ASSERT(!slot->var()->is_dynamic()); |
3384 | 3384 |
3385 Label exit; | 3385 Label exit; |
3386 if (init_state == CONST_INIT) { | 3386 if (init_state == CONST_INIT) { |
3387 ASSERT(slot->var()->mode() == Variable::CONST); | 3387 ASSERT(slot->var()->mode() == Variable::CONST); |
3388 // Only the first const initialization must be executed (the slot | 3388 // Only the first const initialization must be executed (the slot |
3389 // still contains 'the hole' value). When the assignment is | 3389 // still contains 'the hole' value). When the assignment is |
3390 // executed, the code is identical to a normal store (see below). | 3390 // executed, the code is identical to a normal store (see below). |
3391 Comment cmnt(masm, "[ Init const"); | 3391 Comment cmnt(masm, "[ Init const"); |
3392 __ ldr(r2, cgen_->SlotOperand(slot, r2)); | 3392 __ ldr(r2, cgen_->SlotOperand(slot, r2)); |
3393 __ cmp(r2, Operand(Factory::the_hole_value())); | 3393 __ cmp(r2, Operand(Factory::the_hole_value())); |
(...skipping 967 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4361 __ mov(r2, Operand(0)); | 4361 __ mov(r2, Operand(0)); |
4362 __ GetBuiltinEntry(r3, Builtins::CALL_NON_FUNCTION); | 4362 __ GetBuiltinEntry(r3, Builtins::CALL_NON_FUNCTION); |
4363 __ Jump(Handle<Code>(Builtins::builtin(Builtins::ArgumentsAdaptorTrampoline)), | 4363 __ Jump(Handle<Code>(Builtins::builtin(Builtins::ArgumentsAdaptorTrampoline)), |
4364 RelocInfo::CODE_TARGET); | 4364 RelocInfo::CODE_TARGET); |
4365 } | 4365 } |
4366 | 4366 |
4367 | 4367 |
4368 #undef __ | 4368 #undef __ |
4369 | 4369 |
4370 } } // namespace v8::internal | 4370 } } // namespace v8::internal |
OLD | NEW |