Use null type argument vector instead of vector of Dynamic for a generic raw

runtime/vm/code_generator.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/code_generator.h"
 
 #include "vm/code_index_table.h"
 #include "vm/code_patcher.h"
 #include "vm/compiler.h"
 #include "vm/dart_api_impl.h"
@@ skipping 96 matching lines @@
   const Function& function = Function::CheckedHandle(arguments.At(0));
   const String& function_name = String::Handle(function.name());
   const String& class_name =
       String::Handle(Class::Handle(function.owner()).Name());
   OS::Print("< Exiting '%s.%s'\n",
       class_name.ToCString(), function_name.ToCString());
 }
 
 
 // Allocation of a fixed length array of given element type.
+// TODO(regis): This runtime entry is never called for allocating a List of a
+// generic type, which does not seem correct. Verify that generic user Lists are
+// properly supported.
 // Arg0: array length.
 // Arg1: array element type.
-// Arg2: type arguments of the instantiator.
 // Return value: newly allocated array of length arg0.
-DEFINE_RUNTIME_ENTRY(AllocateArray, 3) {
+DEFINE_RUNTIME_ENTRY(AllocateArray, 2) {
   ASSERT(arguments.Count() == kAllocateArrayRuntimeEntry.argument_count());
   const Smi& length = Smi::CheckedHandle(arguments.At(0));
   const Array& array = Array::Handle(Array::New(length.Value()));
   arguments.SetReturn(array);
   AbstractTypeArguments& element_type =
       AbstractTypeArguments::CheckedHandle(arguments.At(1));
-  if (element_type.IsNull()) {
-    // No instantiator required for a raw type.
-    ASSERT(AbstractTypeArguments::CheckedHandle(arguments.At(2)).IsNull());
-    return;
-  }
-  // An Array takes only one type argument.
-  ASSERT(element_type.Length() == 1);
-  const AbstractTypeArguments& instantiator =
-      AbstractTypeArguments::CheckedHandle(arguments.At(2));
-  if (instantiator.IsNull()) {
-    // Either the type element is instantiated (use it), or the instantiator is
-    // of a raw type and we cannot instantiate the element type (leave as null).
-    if (element_type.IsInstantiated()) {
-      array.SetTypeArguments(element_type);
-    }
-    return;
-  }
-  ASSERT(!element_type.IsInstantiated());
-  // If possible, use the instantiator as the type argument vector.
-  if (element_type.IsUninstantiatedIdentity() && (instantiator.Length() == 1)) {
-    // No need to check that the instantiator is a TypeArguments, since the
-    // virtual call to Length() handles other cases that are harder to inline.
-    element_type = instantiator.raw();
-  } else {
-    element_type = InstantiatedTypeArguments::New(element_type, instantiator);
-  }
-  array.SetTypeArguments(element_type);
+  // An Array is raw or takes only one type argument.
+  ASSERT(element_type.IsNull() || (element_type.Length() == 1));
+  array.SetTypeArguments(element_type);  // May be null.
 }
 
 
 // Allocate a new object.
 // Arg0: class of the object that needs to be allocated.
 // Arg1: type arguments of the object that needs to be allocated.
-// Arg2: type arguments of the instantiator.
+// Arg2: type arguments of the instantiator or kNoInstantiator.
 // Return value: newly allocated object.
 DEFINE_RUNTIME_ENTRY(AllocateObject, 3) {
   ASSERT(arguments.Count() == kAllocateObjectRuntimeEntry.argument_count());
   const Class& cls = Class::CheckedHandle(arguments.At(0));
   const Instance& instance = Instance::Handle(Instance::New(cls));
   arguments.SetReturn(instance);
   if (!cls.HasTypeArguments()) {
     // No type arguments required for a non-parameterized type.
     ASSERT(Instance::CheckedHandle(arguments.At(1)).IsNull());
     return;
   }
   AbstractTypeArguments& type_arguments =
       AbstractTypeArguments::CheckedHandle(arguments.At(1));
-  if (type_arguments.IsNull()) {
-    // No instantiator is required for a raw type.
-    ASSERT(Instance::CheckedHandle(arguments.At(2)).IsNull());
+  ASSERT(type_arguments.IsNull() ||
+         (type_arguments.Length() == cls.NumTypeArguments()));
+  // If no instantiator is provided, set the type arguments and return.
+  if (Object::Handle(arguments.At(2)).IsSmi()) {
+    ASSERT(Smi::CheckedHandle(arguments.At(2)).Value() ==
+           StubCode::kNoInstantiator);
+    instance.SetTypeArguments(type_arguments);  // May be null.
     return;
   }
-  ASSERT(type_arguments.Length() == cls.NumTypeArguments());
+  ASSERT(!type_arguments.IsInstantiated());
   const AbstractTypeArguments& instantiator =
       AbstractTypeArguments::CheckedHandle(arguments.At(2));
   if (instantiator.IsNull()) {
-    // Either the type argument vector is instantiated (use it), or the
-    // instantiator is of a raw type and we cannot instantiate the type argument
-    // vector (leave it as null).
-    if (type_arguments.IsInstantiated()) {
-      instance.SetTypeArguments(type_arguments);
-    }
-    return;
-  }
-  ASSERT(!type_arguments.IsInstantiated());
-  // If possible, use the instantiator as the type argument vector.
-  if (instantiator.IsTypeArguments()) {
+    type_arguments =
+        InstantiatedTypeArguments::New(type_arguments, instantiator);
+  } else if (instantiator.IsTypeArguments()) {
     // Code inlined in the caller should have optimized the case where the
     // instantiator is a TypeArguments and can be used as type argument vector.
     ASSERT(!type_arguments.IsUninstantiatedIdentity() ||
            (instantiator.Length() != type_arguments.Length()));
     type_arguments =
         InstantiatedTypeArguments::New(type_arguments, instantiator);
   } else {
+    // If possible, use the instantiator as the type argument vector.
     if (type_arguments.IsUninstantiatedIdentity() &&
         (instantiator.Length() == type_arguments.Length())) {
       type_arguments = instantiator.raw();
     } else {
       type_arguments =
           InstantiatedTypeArguments::New(type_arguments, instantiator);
     }
   }
+  ASSERT(type_arguments.IsInstantiated());
   instance.SetTypeArguments(type_arguments);
 }
 
 
 // Instantiate type arguments.
 // Arg0: uninstantiated type arguments.
 // Arg1: instantiator type arguments.
 // Return value: instantiated type arguments.
 DEFINE_RUNTIME_ENTRY(InstantiateTypeArguments, 2) {
   ASSERT(arguments.Count() ==
          kInstantiateTypeArgumentsRuntimeEntry.argument_count());
   AbstractTypeArguments& type_arguments =
       AbstractTypeArguments::CheckedHandle(arguments.At(0));
   const AbstractTypeArguments& instantiator =
       AbstractTypeArguments::CheckedHandle(arguments.At(1));
-  ASSERT(!type_arguments.IsNull() &&
-         !type_arguments.IsInstantiated() &&
-         !instantiator.IsNull());
+  ASSERT(!type_arguments.IsNull() && !type_arguments.IsInstantiated());
   // Code inlined in the caller should have optimized the case where the
   // instantiator can be used as type argument vector.
-  ASSERT(!type_arguments.IsUninstantiatedIdentity() ||
+  ASSERT(instantiator.IsNull() ||
+         !type_arguments.IsUninstantiatedIdentity() ||
          !instantiator.IsTypeArguments() ||
          (instantiator.Length() != type_arguments.Length()));
   type_arguments = InstantiatedTypeArguments::New(type_arguments, instantiator);
+  ASSERT(type_arguments.IsInstantiated());
   arguments.SetReturn(type_arguments);
 }
 
 
 // Allocate a new closure.
+// The type argument vector of a closure is always the vector of type parameters
+// of its signature class, i.e. an uninstantiated identity vector. Therefore,
+// the instantiator type arguments can be used as the instantiated closure type
+// arguments and is passed here as the type arguments.
 // Arg0: local function.
-// Arg1: type arguments of the closure.
+// Arg1: type arguments of the closure (i.e. instantiator).
 // Return value: newly allocated closure.
 DEFINE_RUNTIME_ENTRY(AllocateClosure, 2) {
   ASSERT(arguments.Count() == kAllocateClosureRuntimeEntry.argument_count());
   const Function& function = Function::CheckedHandle(arguments.At(0));
   ASSERT(function.IsClosureFunction() && !function.IsImplicitClosureFunction());
   const AbstractTypeArguments& type_arguments =
       AbstractTypeArguments::CheckedHandle(arguments.At(1));
   ASSERT(type_arguments.IsNull() || type_arguments.IsInstantiated());
   // The current context was saved in the Isolate structure when entering the
   // runtime.
@@ skipping 160 matching lines @@
   ASSERT(!dst_type.IsDynamicType());  // No need to check assignment.
   ASSERT(!dst_type.IsMalformed());  // Already checked in code generator.
   ASSERT(!src_instance.IsNull());  // Already checked in inlined code.
 
   Error& malformed_error = Error::Handle();
   const bool is_instance_of = src_instance.IsInstanceOf(
       dst_type, dst_type_instantiator, &malformed_error);
 
   if (FLAG_trace_type_checks) {
     const Type& src_type = Type::Handle(src_instance.GetType());
+    ASSERT(src_type.IsInstantiated());
     if (dst_type.IsInstantiated()) {
       OS::Print("TypeCheck: type '%s' %s a subtype of type '%s' of '%s'.\n",
                 String::Handle(src_type.Name()).ToCString(),
                 is_instance_of ? "is" : "is not",
                 String::Handle(dst_type.Name()).ToCString(),
                 dst_name.ToCString());
     } else {
       // Instantiate dst_type before printing.
       const AbstractType& instantiated_dst_type = AbstractType::Handle(
           dst_type.InstantiateFrom(dst_type_instantiator));
@@ skipping 982 matching lines @@
       }
     }
   }
   // The cache is null terminated, therefore the loop above should never
   // terminate by itself.
   UNREACHABLE();
   return Code::null();
 }
 
 }  // namespace dart