| OLD | NEW |
| 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 2137 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2148 ? isolate()->builtins()->KeyedStoreIC_Initialize() | 2148 ? isolate()->builtins()->KeyedStoreIC_Initialize() |
| 2149 : isolate()->builtins()->KeyedStoreIC_Initialize_Strict(); | 2149 : isolate()->builtins()->KeyedStoreIC_Initialize_Strict(); |
| 2150 CallIC(ic); | 2150 CallIC(ic); |
| 2151 break; | 2151 break; |
| 2152 } | 2152 } |
| 2153 } | 2153 } |
| 2154 context()->Plug(x0); | 2154 context()->Plug(x0); |
| 2155 } | 2155 } |
| 2156 | 2156 |
| 2157 | 2157 |
| 2158 void FullCodeGenerator::EmitStoreToStackLocalOrContextSlot( |
| 2159 Variable* var, MemOperand location) { |
| 2160 __ Str(result_register(), location); |
| 2161 if (var->IsContextSlot()) { |
| 2162 // RecordWrite may destroy all its register arguments. |
| 2163 __ Mov(x10, result_register()); |
| 2164 int offset = Context::SlotOffset(var->index()); |
| 2165 __ RecordWriteContextSlot( |
| 2166 x1, offset, x10, x11, kLRHasBeenSaved, kDontSaveFPRegs); |
| 2167 } |
| 2168 } |
| 2169 |
| 2170 |
| 2171 void FullCodeGenerator::EmitCallStoreContextSlot( |
| 2172 Handle<String> name, LanguageMode mode) { |
| 2173 __ Mov(x11, Operand(name)); |
| 2174 __ Mov(x10, Operand(Smi::FromInt(mode))); |
| 2175 // jssp[0] : mode. |
| 2176 // jssp[8] : name. |
| 2177 // jssp[16] : context. |
| 2178 // jssp[24] : value. |
| 2179 __ Push(x0, cp, x11, x10); |
| 2180 __ CallRuntime(Runtime::kStoreContextSlot, 4); |
| 2181 } |
| 2182 |
| 2183 |
| 2158 void FullCodeGenerator::EmitVariableAssignment(Variable* var, | 2184 void FullCodeGenerator::EmitVariableAssignment(Variable* var, |
| 2159 Token::Value op) { | 2185 Token::Value op) { |
| 2160 ASM_LOCATION("FullCodeGenerator::EmitVariableAssignment"); | 2186 ASM_LOCATION("FullCodeGenerator::EmitVariableAssignment"); |
| 2161 if (var->IsUnallocated()) { | 2187 if (var->IsUnallocated()) { |
| 2162 // Global var, const, or let. | 2188 // Global var, const, or let. |
| 2163 __ Mov(x2, Operand(var->name())); | 2189 __ Mov(x2, Operand(var->name())); |
| 2164 __ Ldr(x1, GlobalObjectMemOperand()); | 2190 __ Ldr(x1, GlobalObjectMemOperand()); |
| 2165 CallStoreIC(); | 2191 CallStoreIC(); |
| 2166 | 2192 |
| 2167 } else if (op == Token::INIT_CONST) { | 2193 } else if (op == Token::INIT_CONST) { |
| 2168 // Const initializers need a write barrier. | 2194 // Const initializers need a write barrier. |
| 2169 ASSERT(!var->IsParameter()); // No const parameters. | 2195 ASSERT(!var->IsParameter()); // No const parameters. |
| 2170 if (var->IsStackLocal()) { | 2196 if (var->IsLookupSlot()) { |
| 2171 Label skip; | |
| 2172 __ Ldr(x1, StackOperand(var)); | |
| 2173 __ JumpIfNotRoot(x1, Heap::kTheHoleValueRootIndex, &skip); | |
| 2174 __ Str(result_register(), StackOperand(var)); | |
| 2175 __ Bind(&skip); | |
| 2176 } else { | |
| 2177 ASSERT(var->IsContextSlot() || var->IsLookupSlot()); | |
| 2178 // Like var declarations, const declarations are hoisted to function | |
| 2179 // scope. However, unlike var initializers, const initializers are | |
| 2180 // able to drill a hole to that function context, even from inside a | |
| 2181 // 'with' context. We thus bypass the normal static scope lookup for | |
| 2182 // var->IsContextSlot(). | |
| 2183 __ Push(x0); | 2197 __ Push(x0); |
| 2184 __ Mov(x0, Operand(var->name())); | 2198 __ Mov(x0, Operand(var->name())); |
| 2185 __ Push(cp, x0); // Context and name. | 2199 __ Push(cp, x0); // Context and name. |
| 2186 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); | 2200 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); |
| 2201 } else { |
| 2202 ASSERT(var->IsStackLocal() || var->IsContextSlot()); |
| 2203 Label skip; |
| 2204 MemOperand location = VarOperand(var, x1); |
| 2205 __ Ldr(x10, location); |
| 2206 __ JumpIfNotRoot(x10, Heap::kTheHoleValueRootIndex, &skip); |
| 2207 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2208 __ Bind(&skip); |
| 2187 } | 2209 } |
| 2188 | 2210 |
| 2189 } else if (var->mode() == LET && op != Token::INIT_LET) { | 2211 } else if (var->mode() == LET && op != Token::INIT_LET) { |
| 2190 // Non-initializing assignment to let variable needs a write barrier. | 2212 // Non-initializing assignment to let variable needs a write barrier. |
| 2191 if (var->IsLookupSlot()) { | 2213 if (var->IsLookupSlot()) { |
| 2192 __ Push(x0, cp); // Context, value. | 2214 EmitCallStoreContextSlot(var->name(), language_mode()); |
| 2193 __ Mov(x11, Operand(var->name())); | |
| 2194 __ Mov(x10, Operand(Smi::FromInt(language_mode()))); | |
| 2195 __ Push(x11, x10); // Strict mode, name. | |
| 2196 __ CallRuntime(Runtime::kStoreContextSlot, 4); | |
| 2197 } else { | 2215 } else { |
| 2198 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); | 2216 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); |
| 2199 Label assign; | 2217 Label assign; |
| 2200 MemOperand location = VarOperand(var, x1); | 2218 MemOperand location = VarOperand(var, x1); |
| 2201 __ Ldr(x10, location); | 2219 __ Ldr(x10, location); |
| 2202 __ JumpIfNotRoot(x10, Heap::kTheHoleValueRootIndex, &assign); | 2220 __ JumpIfNotRoot(x10, Heap::kTheHoleValueRootIndex, &assign); |
| 2203 __ Mov(x10, Operand(var->name())); | 2221 __ Mov(x10, Operand(var->name())); |
| 2204 __ Push(x10); | 2222 __ Push(x10); |
| 2205 __ CallRuntime(Runtime::kThrowReferenceError, 1); | 2223 __ CallRuntime(Runtime::kThrowReferenceError, 1); |
| 2206 // Perform the assignment. | 2224 // Perform the assignment. |
| 2207 __ Bind(&assign); | 2225 __ Bind(&assign); |
| 2208 __ Str(result_register(), location); | 2226 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2209 if (var->IsContextSlot()) { | |
| 2210 // RecordWrite may destroy all its register arguments. | |
| 2211 __ Mov(x10, result_register()); | |
| 2212 int offset = Context::SlotOffset(var->index()); | |
| 2213 __ RecordWriteContextSlot( | |
| 2214 x1, offset, x10, x11, kLRHasBeenSaved, kDontSaveFPRegs); | |
| 2215 } | |
| 2216 } | 2227 } |
| 2217 | 2228 |
| 2218 } else if (!var->is_const_mode() || op == Token::INIT_CONST_HARMONY) { | 2229 } else if (!var->is_const_mode() || op == Token::INIT_CONST_HARMONY) { |
| 2219 // Assignment to var or initializing assignment to let/const | 2230 // Assignment to var or initializing assignment to let/const |
| 2220 // in harmony mode. | 2231 // in harmony mode. |
| 2221 if (var->IsStackAllocated() || var->IsContextSlot()) { | 2232 if (var->IsLookupSlot()) { |
| 2233 EmitCallStoreContextSlot(var->name(), language_mode()); |
| 2234 } else { |
| 2235 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); |
| 2222 MemOperand location = VarOperand(var, x1); | 2236 MemOperand location = VarOperand(var, x1); |
| 2223 if (FLAG_debug_code && op == Token::INIT_LET) { | 2237 if (FLAG_debug_code && op == Token::INIT_LET) { |
| 2224 __ Ldr(x10, location); | 2238 __ Ldr(x10, location); |
| 2225 __ CompareRoot(x10, Heap::kTheHoleValueRootIndex); | 2239 __ CompareRoot(x10, Heap::kTheHoleValueRootIndex); |
| 2226 __ Check(eq, kLetBindingReInitialization); | 2240 __ Check(eq, kLetBindingReInitialization); |
| 2227 } | 2241 } |
| 2228 // Perform the assignment. | 2242 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2229 __ Str(x0, location); | |
| 2230 if (var->IsContextSlot()) { | |
| 2231 __ Mov(x10, x0); | |
| 2232 int offset = Context::SlotOffset(var->index()); | |
| 2233 __ RecordWriteContextSlot( | |
| 2234 x1, offset, x10, x11, kLRHasBeenSaved, kDontSaveFPRegs); | |
| 2235 } | |
| 2236 } else { | |
| 2237 ASSERT(var->IsLookupSlot()); | |
| 2238 __ Mov(x11, Operand(var->name())); | |
| 2239 __ Mov(x10, Operand(Smi::FromInt(language_mode()))); | |
| 2240 // jssp[0] : mode. | |
| 2241 // jssp[8] : name. | |
| 2242 // jssp[16] : context. | |
| 2243 // jssp[24] : value. | |
| 2244 __ Push(x0, cp, x11, x10); | |
| 2245 __ CallRuntime(Runtime::kStoreContextSlot, 4); | |
| 2246 } | 2243 } |
| 2247 } | 2244 } |
| 2248 // Non-initializing assignments to consts are ignored. | 2245 // Non-initializing assignments to consts are ignored. |
| 2249 } | 2246 } |
| 2250 | 2247 |
| 2251 | 2248 |
| 2252 void FullCodeGenerator::EmitNamedPropertyAssignment(Assignment* expr) { | 2249 void FullCodeGenerator::EmitNamedPropertyAssignment(Assignment* expr) { |
| 2253 ASM_LOCATION("FullCodeGenerator::EmitNamedPropertyAssignment"); | 2250 ASM_LOCATION("FullCodeGenerator::EmitNamedPropertyAssignment"); |
| 2254 // Assignment to a property, using a named store IC. | 2251 // Assignment to a property, using a named store IC. |
| 2255 Property* prop = expr->target()->AsProperty(); | 2252 Property* prop = expr->target()->AsProperty(); |
| (...skipping 2751 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5007 return previous_; | 5004 return previous_; |
| 5008 } | 5005 } |
| 5009 | 5006 |
| 5010 | 5007 |
| 5011 #undef __ | 5008 #undef __ |
| 5012 | 5009 |
| 5013 | 5010 |
| 5014 } } // namespace v8::internal | 5011 } } // namespace v8::internal |
| 5015 | 5012 |
| 5016 #endif // V8_TARGET_ARCH_A64 | 5013 #endif // V8_TARGET_ARCH_A64 |
| OLD | NEW |