| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/code_generator.h" | 5 #include "vm/code_generator.h" |
| 6 | 6 |
| 7 #include "vm/assembler.h" | 7 #include "vm/assembler.h" |
| 8 #include "vm/ast.h" | 8 #include "vm/ast.h" |
| 9 #include "vm/bigint_operations.h" | 9 #include "vm/bigint_operations.h" |
| 10 #include "vm/code_patcher.h" | 10 #include "vm/code_patcher.h" |
| (...skipping 188 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 199 } | 199 } |
| 200 } else { | 200 } else { |
| 201 type_arguments = | 201 type_arguments = |
| 202 type_arguments.InstantiateAndCanonicalizeFrom(instantiator, NULL); | 202 type_arguments.InstantiateAndCanonicalizeFrom(instantiator, NULL); |
| 203 } | 203 } |
| 204 ASSERT(type_arguments.IsInstantiated()); | 204 ASSERT(type_arguments.IsInstantiated()); |
| 205 arguments.SetReturn(type_arguments); | 205 arguments.SetReturn(type_arguments); |
| 206 } | 206 } |
| 207 | 207 |
| 208 | 208 |
| 209 // TODO(regis): Not used anymore. Delete. | |
| 210 | |
| 211 // Allocate a new closure. | |
| 212 // The type argument vector of a closure is always the vector of type parameters | |
| 213 // of its signature class, i.e. an uninstantiated identity vector. Therefore, | |
| 214 // the instantiator type arguments can be used as the instantiated closure type | |
| 215 // arguments and is passed here as the type arguments. | |
| 216 // Arg0: local function. | |
| 217 // Arg1: type arguments of the closure (i.e. instantiator). | |
| 218 // Return value: newly allocated closure. | |
| 219 DEFINE_RUNTIME_ENTRY(AllocateClosure, 2) { | |
| 220 const Function& function = Function::CheckedHandle(arguments.ArgAt(0)); | |
| 221 ASSERT(function.IsClosureFunction() && !function.IsImplicitClosureFunction()); | |
| 222 const TypeArguments& type_arguments = | |
| 223 TypeArguments::CheckedHandle(arguments.ArgAt(1)); | |
| 224 ASSERT(type_arguments.IsNull() || type_arguments.IsInstantiated()); | |
| 225 // The current context was saved in the Isolate structure when entering the | |
| 226 // runtime. | |
| 227 const Context& context = Context::Handle(isolate->top_context()); | |
| 228 ASSERT(!context.IsNull()); | |
| 229 const Instance& closure = Instance::Handle(Closure::New(function, context)); | |
| 230 Closure::SetTypeArguments(closure, type_arguments); | |
| 231 arguments.SetReturn(closure); | |
| 232 } | |
| 233 | |
| 234 | |
| 235 // Allocate a new implicit instance closure. | |
| 236 // Arg0: local function. | |
| 237 // Arg1: receiver object. | |
| 238 // Arg2: type arguments of the closure. | |
| 239 // Return value: newly allocated closure. | |
| 240 DEFINE_RUNTIME_ENTRY(AllocateImplicitInstanceClosure, 3) { | |
| 241 const Function& function = Function::CheckedHandle(arguments.ArgAt(0)); | |
| 242 ASSERT(function.IsImplicitInstanceClosureFunction()); | |
| 243 const Instance& receiver = Instance::CheckedHandle(arguments.ArgAt(1)); | |
| 244 const TypeArguments& type_arguments = | |
| 245 TypeArguments::CheckedHandle(arguments.ArgAt(2)); | |
| 246 ASSERT(type_arguments.IsNull() || type_arguments.IsInstantiated()); | |
| 247 Context& context = Context::Handle(); | |
| 248 context = Context::New(1); | |
| 249 context.SetAt(0, receiver); | |
| 250 const Instance& closure = Instance::Handle(Closure::New(function, context)); | |
| 251 Closure::SetTypeArguments(closure, type_arguments); | |
| 252 arguments.SetReturn(closure); | |
| 253 } | |
| 254 | |
| 255 | |
| 256 // Allocate a new context large enough to hold the given number of variables. | 209 // Allocate a new context large enough to hold the given number of variables. |
| 257 // Arg0: number of variables. | 210 // Arg0: number of variables. |
| 258 // Return value: newly allocated context. | 211 // Return value: newly allocated context. |
| 259 DEFINE_RUNTIME_ENTRY(AllocateContext, 1) { | 212 DEFINE_RUNTIME_ENTRY(AllocateContext, 1) { |
| 260 const Smi& num_variables = Smi::CheckedHandle(arguments.ArgAt(0)); | 213 const Smi& num_variables = Smi::CheckedHandle(arguments.ArgAt(0)); |
| 261 arguments.SetReturn(Context::Handle(Context::New(num_variables.Value()))); | 214 arguments.SetReturn(Context::Handle(Context::New(num_variables.Value()))); |
| 262 } | 215 } |
| 263 | 216 |
| 264 | 217 |
| 265 // Make a copy of the given context, including the values of the captured | 218 // Make a copy of the given context, including the values of the captured |
| (...skipping 1329 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1595 // of the given value. | 1548 // of the given value. |
| 1596 // Arg0: Field object; | 1549 // Arg0: Field object; |
| 1597 // Arg1: Value that is being stored. | 1550 // Arg1: Value that is being stored. |
| 1598 DEFINE_RUNTIME_ENTRY(UpdateFieldCid, 2) { | 1551 DEFINE_RUNTIME_ENTRY(UpdateFieldCid, 2) { |
| 1599 const Field& field = Field::CheckedHandle(arguments.ArgAt(0)); | 1552 const Field& field = Field::CheckedHandle(arguments.ArgAt(0)); |
| 1600 const Object& value = Object::Handle(arguments.ArgAt(1)); | 1553 const Object& value = Object::Handle(arguments.ArgAt(1)); |
| 1601 field.UpdateGuardedCidAndLength(value); | 1554 field.UpdateGuardedCidAndLength(value); |
| 1602 } | 1555 } |
| 1603 | 1556 |
| 1604 } // namespace dart | 1557 } // namespace dart |
| OLD | NEW |