Implement more of allocation code using type arguments. Type argument extraction for non-factories …

runtime/vm/flow_graph_builder.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/flow_graph_builder.h"
 
 #include "vm/ast_printer.h"
 #include "vm/flags.h"
 #include "vm/intermediate_language.h"
 #include "vm/longjump.h"
@@ skipping 917 matching lines @@
                            node->constructor(),
                            node->arguments()->names(),
                            factory_arguments);
     ReturnComputation(call);
     return;
   }
   Bailout("EffectGraphVisitor::VisitConstructorCallNode");
 }
 
 
+Value* EffectGraphVisitor::GenerateInstantiatorTypeArguments(
+    intptr_t token_index, intptr_t value_index) {
+  const Class& instantiator_class = Class::Handle(
+      owner()->parsed_function().function().owner());
+  if (instantiator_class.NumTypeParameters() == 0) {
+    // The type arguments are compile time constants.
+    AbstractTypeArguments& type_arguments = AbstractTypeArguments::ZoneHandle();
+    // TODO(regis): Temporary type should be allocated in new gen heap.
+    Type& type = Type::Handle(
+        Type::New(instantiator_class, type_arguments, token_index));
+    type ^= ClassFinalizer::FinalizeType(
+        instantiator_class, type, ClassFinalizer::kFinalizeWellFormed);
+    type_arguments = type.arguments();
+    AddInstruction(new BindInstr(value_index, new ConstantVal(type_arguments)));
+    return new TempVal(value_index);
+  }
+  ASSERT(owner()->parsed_function().instantiator() != NULL);
+  ValueGraphVisitor for_instantiator(owner(), value_index);
+  owner()->parsed_function().instantiator()->Visit(&for_instantiator);
+  Append(for_instantiator);
+  Function& outer_function =
+      Function::Handle(owner()->parsed_function().function().raw());
+  while (outer_function.IsLocalFunction()) {
+    outer_function = outer_function.parent_function();
+  }
+  if (outer_function.IsFactory()) {
+    // All OK.
+    return for_instantiator.value();
+  }
+
+  // The instantiator is the receiver of the caller, which is not a factory.
+  // The receiver cannot be null; extract its AbstractTypeArguments object.
+  // Note that in the factory case, the instantiator is the first parameter
+  // of the factory, i.e. already an AbstractTypeArguments object.
+  intptr_t type_arguments_instance_field_offset =
+      instantiator_class.type_arguments_instance_field_offset();
+  ASSERT(type_arguments_instance_field_offset != Class::kNoTypeArguments);
+
+  NativeLoadFieldComp* load = new NativeLoadFieldComp(
+      for_instantiator.value(), type_arguments_instance_field_offset);
+  AddInstruction(new BindInstr(value_index, load));
+  return new TempVal(value_index);
+}
+
+
+
 void EffectGraphVisitor::BuildTypeArguments(ConstructorCallNode* node,
                                             ZoneGrowableArray<Value*>* args) {
   const Class& cls = Class::ZoneHandle(node->constructor().owner());
   ASSERT(cls.HasTypeArguments() || node->constructor().IsFactory());
   if (node->type_arguments().IsNull() ||
       node->type_arguments().IsInstantiated()) {
     AddInstruction(
         new BindInstr(temp_index(), new ConstantVal(node->type_arguments())));
     args->Add(new TempVal(temp_index()));
     if (!node->constructor().IsFactory()) {
       // Null instantiator.
       AddInstruction(new BindInstr(
           temp_index() + 1, new ConstantVal(Object::ZoneHandle())));
       args->Add(new TempVal(temp_index() + 1));
     }
     return;
   }
-  Bailout("EffectGraphVisitor::BuildTypeArguments");
+  if (!node->constructor().IsFactory()) {
+    // Place holder instruction as ExtractTypeArgumentsComp returns two values.
+    AddInstruction(new BindInstr(temp_index(),
+                                 new ConstantVal(Object::ZoneHandle())));
+  }
+  // The type arguments are uninstantiated.
+  Value* instantiator_value =
+      GenerateInstantiatorTypeArguments(node->token_index(), temp_index() + 1);
+  ExtractTypeArgumentsComp* extract = new ExtractTypeArgumentsComp(
+      node, instantiator_value);
+  AddInstruction(new BindInstr(temp_index() + 1, extract));
+  if (node->constructor().IsFactory()) {
+    args->Add(new TempVal(temp_index()));
+  } else {
+    args->Add(new TempVal(temp_index()));
+    args->Add(new TempVal(temp_index() + 1));
+  }
 }
 
 
 void ValueGraphVisitor::VisitConstructorCallNode(ConstructorCallNode* node) {
   if (node->constructor().IsFactory()) {
     EffectGraphVisitor::VisitConstructorCallNode(node);
     return;
   }
 
   const Class& cls = Class::ZoneHandle(node->constructor().owner());
@@ skipping 479 matching lines @@
   }
   OS::Print(")");
 }
 
 
 void FlowGraphPrinter::VisitCreateClosure(CreateClosureComp* comp) {
   OS::Print("CreateClosure(%s)", comp->function().ToCString());
 }
 
 
+void FlowGraphPrinter::VisitNativeLoadField(NativeLoadFieldComp* comp) {
+  OS::Print("NativeLoadField(");
+  comp->value()->Accept(this);
+  OS::Print(", %d)", comp->offset_in_bytes());
+}
+
+
+void FlowGraphPrinter::VisitExtractTypeArguments(
+    ExtractTypeArgumentsComp* comp) {
+  OS::Print("ExtractTypeArguments(");
+  comp->instantiator()->Accept(this);
+  OS::Print(")");
+}
+
+
 void FlowGraphPrinter::VisitJoinEntry(JoinEntryInstr* instr) {
   OS::Print("%2d: [join]", instr->block_number());
 }
 
 
 void FlowGraphPrinter::VisitTargetEntry(TargetEntryInstr* instr) {
   OS::Print("%2d: [target]", instr->block_number());
 }
 
 
@@ skipping 67 matching lines @@
   char* chars = reinterpret_cast<char*>(
       Isolate::Current()->current_zone()->Allocate(len));
   OS::SNPrint(chars, len, kFormat, function_name, reason);
   const Error& error = Error::Handle(
       LanguageError::New(String::Handle(String::New(chars))));
   Isolate::Current()->long_jump_base()->Jump(1, error);
 }
 
 
 }  // namespace dart