[vm] Cleanup Instruction::Effects(), prepare to cleanup Dependencies()

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 dbadcf349a2b12de2d213396d95820089d353fa2..8b8e9618a3a43af14d77388ea858df2630a7d99c 100644
--- a/runtime/vm/flow_graph_type_propagator.cc
+++ b/runtime/vm/flow_graph_type_propagator.cc
@@ -217,22 +217,10 @@ void FlowGraphTypePropagator::VisitCheckClass(CheckClassInstr* check) {
     return;
   }
 
-  if (!check->Dependencies().IsNone()) {
-    // TODO(vegorov): If check is affected by side-effect we can still propagate
-    // the type further but not the cid.
-    return;
-  }
-
   SetCid(check->value()->definition(), check->cids().MonomorphicReceiverCid());
 }
 
 void FlowGraphTypePropagator::VisitCheckClassId(CheckClassIdInstr* check) {
-  if (!check->Dependencies().IsNone()) {
-    // TODO(vegorov): If check is affected by side-effect we can still propagate
-    // the type further but not the cid.
-    return;
-  }
-
   LoadClassIdInstr* load_cid =
       check->value()->definition()->OriginalDefinition()->AsLoadClassId();
   if (load_cid != NULL && check->cids().IsSingleCid()) {