Check upper bounds of type arguments when allocating objects of a generic type

runtime/vm/intermediate_language.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_INTERMEDIATE_LANGUAGE_H_
 #define VM_INTERMEDIATE_LANGUAGE_H_
 
 #include "vm/allocation.h"
 #include "vm/ast.h"
 #include "vm/growable_array.h"
@@ skipping 34 matching lines @@
   M(StaticSetter, StaticSetterComp)                                            \
   M(LoadInstanceField, LoadInstanceFieldComp)                                  \
   M(StoreInstanceField, StoreInstanceFieldComp)                                \
   M(LoadStaticField, LoadStaticFieldComp)                                      \
   M(StoreStaticField, StoreStaticFieldComp)                                    \
   M(BooleanNegate, BooleanNegateComp)                                          \
   M(InstanceOf, InstanceOfComp)                                                \
   M(CreateArray, CreateArrayComp)                                              \
   M(CreateClosure, CreateClosureComp)                                          \
   M(AllocateObject, AllocateObjectComp)                                        \
+  M(AllocateObjectWithBoundsCheck, AllocateObjectWithBoundsCheckComp)          \
   M(NativeLoadField, NativeLoadFieldComp)                                      \
   M(ExtractFactoryTypeArguments, ExtractFactoryTypeArgumentsComp)              \
   M(ExtractConstructorTypeArguments, ExtractConstructorTypeArgumentsComp)      \
   M(ExtractConstructorInstantiator, ExtractConstructorInstantiatorComp)        \
   M(AllocateContext, AllocateContextComp)                                      \
   M(ChainContext, ChainContextComp)                                            \
   M(CloneContext, CloneContextComp)                                            \
   M(CatchEntry, CatchEntryComp)                                                \
 
 
@@ skipping 697 matching lines @@
   const ZoneGrowableArray<Value*>& arguments() const { return *arguments_; }
 
  private:
   const ConstructorCallNode& ast_node_;
   const intptr_t try_index_;
   ZoneGrowableArray<Value*>* const arguments_;
   DISALLOW_COPY_AND_ASSIGN(AllocateObjectComp);
 };
 
 
+class AllocateObjectWithBoundsCheckComp : public Computation {
+ public:
+  AllocateObjectWithBoundsCheckComp(ConstructorCallNode* node,
+                                    intptr_t try_index,
+                                    ZoneGrowableArray<Value*>* arguments)
+      : ast_node_(*node), try_index_(try_index), arguments_(arguments) {
+    // One type-argument and one instantiator.
+    ASSERT(arguments->length() == 2);
+  }
+
+  DECLARE_COMPUTATION(AllocateObjectWithBoundsCheck)
+
+  const Function& constructor() const { return ast_node_.constructor(); }
+  intptr_t token_index() const { return ast_node_.token_index(); }
+  intptr_t try_index() const { return try_index_; }
+  const ZoneGrowableArray<Value*>& arguments() const { return *arguments_; }
+
+ private:
+  const ConstructorCallNode& ast_node_;
+  const intptr_t try_index_;
+  ZoneGrowableArray<Value*>* const arguments_;
+  DISALLOW_COPY_AND_ASSIGN(AllocateObjectWithBoundsCheckComp);
+};
+
+
 class CreateArrayComp : public Computation {
  public:
   CreateArrayComp(ArrayNode* node,
                   intptr_t try_index,
                   ZoneGrowableArray<Value*>* elements)
       : ast_node_(*node), try_index_(try_index), elements_(elements) {
 #if defined(DEBUG)
     for (int i = 0; i < ElementCount(); ++i) {
       ASSERT(ElementAt(i) != NULL);
     }
@@ skipping 771 matching lines @@
   const GrowableArray<BlockEntryInstr*>& block_order_;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_