Reland r38116: Improve receiver class check in polymorphic inlining.

runtime/vm/flow_graph_type_propagator.cc

Index: runtime/vm/flow_graph_type_propagator.cc
===================================================================
--- runtime/vm/flow_graph_type_propagator.cc	(revision 38118)
+++ runtime/vm/flow_graph_type_propagator.cc	(working copy)
@@ -276,6 +276,15 @@
 }
 
 
+void FlowGraphTypePropagator::VisitCheckClassId(CheckClassIdInstr* check) {
+  LoadClassIdInstr* load_cid =
+      check->value()->definition()->OriginalDefinition()->AsLoadClassId();
+  if (load_cid != NULL) {
+    SetCid(load_cid->object()->definition(), check->cid());
+  }
+}
+
+
 void FlowGraphTypePropagator::VisitGuardFieldClass(
     GuardFieldClassInstr* guard) {
   const intptr_t cid = guard->field().guarded_cid();