Implement eager instantiation and canonicalization of type arguments at run

runtime/vm/flow_graph_builder.h

 // 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.
 
 #ifndef VM_FLOW_GRAPH_BUILDER_H_
 #define VM_FLOW_GRAPH_BUILDER_H_
 
 #include "platform/assert.h"
 #include "platform/globals.h"
 #include "vm/allocation.h"
 #include "vm/ast.h"
 #include "vm/growable_array.h"
 #include "vm/intermediate_language.h"
 #include "vm/raw_object.h"
 
 namespace dart {
 
 class AbstractType;
-class AbstractTypeArguments;
 class Array;
 class Class;
 class Field;
 class FlowGraph;
 class LocalVariable;
 class ParsedFunction;
 class String;
+class TypeArguments;
 
 class NestedStatement;
 class TestGraphVisitor;
 
 // List of recognized list factories:
 // (factory-name-symbol, result-cid, fingerprint).
 // TODO(srdjan): Store the values in the snapshot instead.
 #define RECOGNIZED_LIST_FACTORY_LIST(V)                                        \
   V(_ListFactory, kArrayCid, 176587978)                                        \
   V(_GrowableListWithData, kGrowableObjectArrayCid, 264792196)                 \
@@ skipping 290 matching lines @@
 
   // Helpers for translating parts of the AST.
   void BuildPushArguments(const ArgumentListNode& node,
                           ZoneGrowableArray<PushArgumentInstr*>* values);
 
   // Creates an instantiated type argument vector used in preparation of an
   // allocation call.
   // May be called only if allocating an object of a parameterized class.
   Value* BuildInstantiatedTypeArguments(
       intptr_t token_pos,
-      const AbstractTypeArguments& type_arguments);
+      const TypeArguments& type_arguments);
 
   // Creates a possibly uninstantiated type argument vector and the type
   // argument vector of the instantiator used in
   // preparation of a constructor call.
   // May be called only if allocating an object of a parameterized class.
   void BuildConstructorTypeArguments(
       ConstructorCallNode* node,
       ZoneGrowableArray<PushArgumentInstr*>* call_arguments);
 
   void BuildTypecheckPushArguments(
@@ skipping 220 matching lines @@
   // Output parameters.
   GrowableArray<TargetEntryInstr**> true_successor_addresses_;
   GrowableArray<TargetEntryInstr**> false_successor_addresses_;
 
   intptr_t condition_token_pos_;
 };
 
 }  // namespace dart
 
 #endif  // VM_FLOW_GRAPH_BUILDER_H_