Initial support for polymorphic inlining.

runtime/vm/flow_graph_type_propagator.cc

Index: runtime/vm/flow_graph_type_propagator.cc
diff --git a/runtime/vm/flow_graph_type_propagator.cc b/runtime/vm/flow_graph_type_propagator.cc
index 2b5f1a42d6f0945a21d57e47d4a6c003a38334b3..9cc08586c7b66f8de3d31bfe1e4c5526785e27bb 100644
--- a/runtime/vm/flow_graph_type_propagator.cc
+++ b/runtime/vm/flow_graph_type_propagator.cc
@@ -645,6 +645,16 @@ bool PhiInstr::RecomputeType() {
 }
 
 
+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);
@@ -879,6 +889,11 @@ CompileType LoadUntaggedInstr::ComputeType() const {
 }
 
 
+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