Optimize type checks of list and map literals.

runtime/vm/ast.h

 // Copyright (c) 2011, 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_AST_H_
 #define VM_AST_H_
 
 #include "vm/allocation.h"
 #include "vm/assert.h"
 #include "vm/growable_array.h"
 #include "vm/ic_data.h"
 #include "vm/scopes.h"
 #include "vm/object.h"
 #include "vm/native_entry.h"
 #include "vm/token.h"
 
 namespace dart {
 
 #define NODE_LIST(V)                                                           \
   V(ReturnNode, "return")                                                      \
   V(LiteralNode, "literal")                                                    \
   V(TypeNode, "type")                                                          \
+  V(AssignableNode, "assignable")                                              \
   V(BinaryOpNode, "binop")                                                     \
   V(StringConcatNode, "concat")                                                \
   V(ComparisonNode, "compare")                                                 \
   V(UnaryOpNode, "unaryop")                                                    \
   V(IncrOpLocalNode, "incr local")                                             \
   V(IncrOpInstanceFieldNode, "incr instance field")                            \
   V(IncrOpStaticFieldNode, "incr static field")                                \
   V(IncrOpIndexedNode, "incr indexed")                                         \
   V(ConditionalExprNode, "?:")                                                 \
   V(IfNode, "if")                                                              \
@@ skipping 332 matching lines @@
 
   DECLARE_COMMON_NODE_FUNCTIONS(TypeNode);
 
  private:
   const Type& type_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(TypeNode);
 };
 
 
+class AssignableNode : public AstNode {
+ public:
+  AssignableNode(intptr_t token_index,
+                 AstNode* expr,
+                 const Type& type,
+                 const String& dst_name)
+      : AstNode(token_index), expr_(expr), type_(type), dst_name_(dst_name) {
+    ASSERT(expr_ != NULL);
+    ASSERT(type_.IsZoneHandle());
+    ASSERT(!type_.IsNull());
+    ASSERT(type_.IsFinalized());
+    ASSERT(dst_name_.IsZoneHandle());
+  }
+
+  AstNode* expr() const { return expr_; }
+  const Type& type() const { return type_; }
+  const String& dst_name() const { return dst_name_; }
+
+  virtual void VisitChildren(AstNodeVisitor* visitor) const {
+    expr()->Visit(visitor);
+  }
+
+  DECLARE_COMMON_NODE_FUNCTIONS(AssignableNode);
+
+ private:
+  AstNode* expr_;
+  const Type& type_;
+  const String& dst_name_;
+
+  DISALLOW_IMPLICIT_CONSTRUCTORS(AssignableNode);
+};
+
+
 class ClosureNode : public AstNode {
  public:
   ClosureNode(intptr_t token_index,
               const Function& function,
               AstNode* receiver,  // Non-null for implicit instance closures.
               LocalScope* scope)  // Null for implicit closures.
       : AstNode(token_index),
         function_(function),
         receiver_(receiver),
         scope_(scope) {
@@ skipping 1494 matching lines @@
   const LocalVariable& context_var_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(InlinedFinallyNode);
 };
 
 }  // namespace dart
 
 #undef DECLARE_COMMON_NODE_FUNCTIONS
 
 #endif  // VM_AST_H_