Split the computation of uninstantiated type arguments between the factory case

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 417 matching lines @@
                        temp_index() + 2);
   // 4. Perform the store and return the original value.
   StoreLocalComp* store =
       new StoreLocalComp(node->local(), new TempVal(temp_index() + 1));
   AddInstruction(new DoInstr(store));
   ReturnValue(new TempVal(AllocateTempIndex()));
 }
 
 
 int EffectGraphVisitor::BuildIncrOpFieldLoad(IncrOpInstanceFieldNode* node,
-                                             int start_index) {
+                                             intptr_t start_index) {
   // Evaluate the receiver and duplicate it (it has two uses).
   //   t_n   <- ... receiver ...
   //   t_n+1 <- Pick(t_n)
   ArgumentGraphVisitor for_receiver(owner(), start_index);
   node->receiver()->Visit(&for_receiver);
   Append(for_receiver);
   const int next_index = for_receiver.temp_index();
   ASSERT(next_index == start_index + 1);
   AddInstruction(new PickTempInstr(next_index, start_index));
 
   // Load the value.
   //   t_n+1 <- InstanceCall(get:name, t_n+1)
   const String& getter_name =
       String::ZoneHandle(Field::GetterSymbol(node->field_name()));
   ZoneGrowableArray<Value*>* arguments = new ZoneGrowableArray<Value*>(1);
   arguments->Add(new TempVal(next_index));
   InstanceCallComp* load =
       new InstanceCallComp(node->getter_id(), node->token_index(), getter_name,
                            arguments, Array::ZoneHandle(), 1);
   AddInstruction(new BindInstr(next_index, load));
 
   return next_index;
 }
 
 
 void EffectGraphVisitor::BuildIncrOpIncrement(Token::Kind kind,
                                               intptr_t node_id,
                                               intptr_t token_index,
-                                              int start_index) {
+                                              intptr_t start_index) {
   ASSERT((kind == Token::kINCR) || (kind == Token::kDECR));
   // Assumed that t_n-1 (where n is start_index) is the field value.
   //   t_n   <- #1
   //   t_n-1 <- InstanceCall(op, t_n-1, t_n)
   const Smi& one = Smi::ZoneHandle(Smi::New(1));
   AddInstruction(new BindInstr(start_index, new ConstantVal(one)));
   ZoneGrowableArray<Value*>* arguments = new ZoneGrowableArray<Value*>(2);
   arguments->Add(new TempVal(start_index - 1));
   arguments->Add(new TempVal(start_index));
   const String& op_name =
@@ skipping 55 matching lines @@
   arguments->Add(new TempVal(value_index));
   InstanceCallComp* store =
       new InstanceCallComp(node->setter_id(), node->token_index(),
                            setter_name, arguments, Array::ZoneHandle(), 1);
   AddInstruction(new DoInstr(store));
   ReturnValue(new TempVal(AllocateTempIndex()));
 }
 
 
 int EffectGraphVisitor::BuildIncrOpIndexedLoad(IncrOpIndexedNode* node,
-                                               int start_index) {
+                                               intptr_t start_index) {
   // Evaluate the receiver and index.
   //   t_n   <- ... receiver ...
   //   t_n+1 <- ... index ...
   ArgumentGraphVisitor for_receiver(owner(), start_index);
   node->array()->Visit(&for_receiver);
   Append(for_receiver);
   ASSERT(for_receiver.temp_index() == start_index + 1);
   ArgumentGraphVisitor for_index(owner(), start_index + 1);
   node->index()->Visit(&for_index);
   Append(for_index);
@@ skipping 357 matching lines @@
 
 void EffectGraphVisitor::VisitCloneContextNode(CloneContextNode* node) {
   Bailout("EffectGraphVisitor::VisitCloneContextNode");
 }
 
 
 void EffectGraphVisitor::VisitConstructorCallNode(ConstructorCallNode* node) {
   if (node->constructor().IsFactory()) {
     ZoneGrowableArray<Value*>* factory_arguments =
         new ZoneGrowableArray<Value*>();
-    BuildTypeArguments(node, factory_arguments);
+    factory_arguments->Add(BuildFactoryTypeArguments(node, temp_index()));
     ASSERT(factory_arguments->length() == 1);
     TranslateArgumentList(*node->arguments(),
                           temp_index() + 1,
                           factory_arguments);
     StaticCallComp* call =
         new StaticCallComp(node->token_index(),
                            node->constructor(),
                            node->arguments()->names(),
                            factory_arguments);
     ReturnComputation(call);
     return;
   }
   Bailout("EffectGraphVisitor::VisitConstructorCallNode");
 }
 
 
-Value* EffectGraphVisitor::GenerateInstantiatorTypeArguments(
-    intptr_t token_index, intptr_t value_index) {
+Value* EffectGraphVisitor::BuildInstantiatorTypeArguments(
+    intptr_t token_index, intptr_t start_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);
+    AddInstruction(new BindInstr(start_index, new ConstantVal(type_arguments)));
+    return new TempVal(start_index);
   }
   ASSERT(owner()->parsed_function().instantiator() != NULL);
-  ValueGraphVisitor for_instantiator(owner(), value_index);
+  ValueGraphVisitor for_instantiator(owner(), start_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);
+  AddInstruction(new BindInstr(start_index, load));
+  return new TempVal(start_index);
 }
 
 
-
-void EffectGraphVisitor::BuildTypeArguments(ConstructorCallNode* node,
-                                            ZoneGrowableArray<Value*>* args) {
-  const Class& cls = Class::ZoneHandle(node->constructor().owner());
-  ASSERT(cls.HasTypeArguments() || node->constructor().IsFactory());
+Value* EffectGraphVisitor::BuildFactoryTypeArguments(
+    ConstructorCallNode* node, intptr_t start_index) {
+  ASSERT(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;
-  }
-  if (!node->constructor().IsFactory()) {
-    // Place holder instruction as ExtractTypeArgumentsComp returns two values.
-    AddInstruction(new BindInstr(temp_index(),
-                                 new ConstantVal(Object::ZoneHandle())));
+        new BindInstr(start_index, new ConstantVal(node->type_arguments())));
+    return new TempVal(start_index);
   }
   // 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));
-  }
+      BuildInstantiatorTypeArguments(node->token_index(), start_index);
+  ExtractFactoryTypeArgumentsComp* extract =
+      new ExtractFactoryTypeArgumentsComp(node, instantiator_value);
+  AddInstruction(new BindInstr(start_index, extract));
+  return new TempVal(start_index);
 }
 
 
+void EffectGraphVisitor::BuildConstructorTypeArguments(
+    ConstructorCallNode* node,
+    intptr_t start_index,
+    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(start_index, new ConstantVal(node->type_arguments())));
+    args->Add(new TempVal(start_index));
+    // Null instantiator.
+    AddInstruction(new BindInstr(
+        start_index + 1, new ConstantVal(Object::ZoneHandle())));
+    args->Add(new TempVal(start_index + 1));
+    return;
+  }
+  // The type arguments are uninstantiated.
+  // Place holder to hold uninstantiated constructor type arguments.
+  AddInstruction(new BindInstr(start_index,
+                               new ConstantVal(Object::ZoneHandle())));
+  Value* instantiator_value =
+      BuildInstantiatorTypeArguments(node->token_index(), start_index + 1);
+  AddInstruction(new PickTempInstr(start_index + 2, start_index + 1));
+  Value* dup_instantiator_value = new TempVal(start_index + 2);
+  ExtractConstructorTypeArgumentsComp* extract_type_arguments =
+      new ExtractConstructorTypeArgumentsComp(node, dup_instantiator_value);
+  AddInstruction(new BindInstr(start_index + 2, extract_type_arguments));
+  AddInstruction(new TuckTempInstr(start_index, start_index + 2));
+  Value* constructor_type_arguments_value = new TempVal(start_index);
+  args->Add(constructor_type_arguments_value);
+  Value* discard_value = new TempVal(start_index + 2);
+  ExtractConstructorInstantiatorComp* extract_instantiator =
+      new ExtractConstructorInstantiatorComp(node,
+                                             instantiator_value,
+                                             discard_value);
+  AddInstruction(new BindInstr(start_index + 1, extract_instantiator));
+  Value* constructor_instantiator_value = new TempVal(start_index + 1);
+  args->Add(constructor_instantiator_value);
+}
+
+
 void ValueGraphVisitor::VisitConstructorCallNode(ConstructorCallNode* node) {
   if (node->constructor().IsFactory()) {
     EffectGraphVisitor::VisitConstructorCallNode(node);
     return;
   }
 
   const Class& cls = Class::ZoneHandle(node->constructor().owner());
   const bool requires_type_arguments = cls.HasTypeArguments();
 
   ZoneGrowableArray<Value*>* allocate_arguments =
       new ZoneGrowableArray<Value*>();
   if (requires_type_arguments) {
-    BuildTypeArguments(node, allocate_arguments);
+    BuildConstructorTypeArguments(node, temp_index(), allocate_arguments);
   }
   // t_n contains the allocated and initialized object.
   //   t_n      <- AllocateObject(class)
   //   t_n+1    <- Pick(t_n)
   //   t_n+2    <- ctor-arg
   //   t_n+3... <- constructor arguments start here
   //   StaticCall(constructor, t_n+1, t_n+2, ...)
 
   AllocateObjectComp* alloc_comp =
       new AllocateObjectComp(node, allocate_arguments);
@@ skipping 502 matching lines @@
 }
 
 
 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(");
+void FlowGraphPrinter::VisitExtractFactoryTypeArguments(
+    ExtractFactoryTypeArgumentsComp* comp) {
+  OS::Print("ExtractFactoryTypeArguments(");
   comp->instantiator()->Accept(this);
   OS::Print(")");
 }
 
 
+void FlowGraphPrinter::VisitExtractConstructorTypeArguments(
+    ExtractConstructorTypeArgumentsComp* comp) {
+  OS::Print("ExtractConstructorTypeArguments(");
+  comp->instantiator()->Accept(this);
+  OS::Print(")");
+}
+
+
+void FlowGraphPrinter::VisitExtractConstructorInstantiator(
+    ExtractConstructorInstantiatorComp* comp) {
+  OS::Print("ExtractConstructorInstantiator(");
+  comp->instantiator()->Accept(this);
+  OS::Print(", ");
+  comp->discard_value()->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