Initial support for polymorphic inlining.

runtime/vm/flow_graph_type_propagator.cc

 // Copyright (c) 2013, 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_type_propagator.h"
 
 #include "vm/cha.h"
 #include "vm/bit_vector.h"
 #include "vm/il_printer.h"
 
@@ skipping 627 matching lines @@
 
   if (result.IsNone()) {
     ASSERT(Type()->IsNone());
     return false;
   }
 
   return UpdateType(result);
 }
 
 
+CompileType RedefinitionInstr::ComputeType() const {
+  return CompileType::None();
+}
+
+
+bool RedefinitionInstr::RecomputeType() {
+  return UpdateType(*value()->Type());
+}
+
+
 CompileType IfThenElseInstr::ComputeType() const {
   ASSERT(InputCount() == 2);
   return CompileType::FromCid(kSmiCid);
 }
 
 
 CompileType ParameterInstr::ComputeType() const {
   // Note that returning the declared type of the formal parameter would be
   // incorrect, because ParameterInstr is used as input to the type check
   // verifying the run time type of the passed-in parameter and this check would
@@ skipping 214 matching lines @@
   // TODO(vegorov): Incorporate type arguments into the returned type.
   return CompileType::FromCid(cid_);
 }
 
 
 CompileType LoadUntaggedInstr::ComputeType() const {
   return CompileType::Dynamic();
 }
 
 
+CompileType LoadClassIdInstr::ComputeType() const {
+  return CompileType::FromCid(kSmiCid);
+}
+
+
 CompileType LoadFieldInstr::ComputeType() const {
   // Type may be null if the field is a VM field, e.g. context parent.
   // Keep it as null for debug purposes and do not return dynamic in production
   // mode, since misuse of the type would remain undetected.
   if (type().IsNull()) {
     return CompileType::Dynamic();
   }
 
   if (FLAG_enable_type_checks) {
     return CompileType::FromAbstractType(type());
@@ skipping 183 matching lines @@
   return CompileType::FromCid(kDoubleCid);
 }
 
 
 CompileType InvokeMathCFunctionInstr::ComputeType() const {
   return CompileType::FromCid(kDoubleCid);
 }
 
 
 }  // namespace dart