[vm] Use strong mode types to calculate CompileType

runtime/vm/intermediate_language.h

Index: runtime/vm/intermediate_language.h
diff --git a/runtime/vm/intermediate_language.h b/runtime/vm/intermediate_language.h
index b21b8669d6be272c7e77a21591b5c394d343283f..fe86fbf4a674b99adb9cb142e5d47f63e3b5ffbc 100644
--- a/runtime/vm/intermediate_language.h
+++ b/runtime/vm/intermediate_language.h
@@ -2912,6 +2912,8 @@ class InstanceCallInstr : public TemplateDartCall<0> {
     return ic_data() == NULL ? 0 : ic_data()->AggregateCount();
   }
 
+  virtual CompileType ComputeType() const;
+
   virtual bool ComputeCanDeoptimize() const { return true; }
 
   virtual Definition* Canonicalize(FlowGraph* flow_graph);
@@ -6751,6 +6753,8 @@ class CheckedSmiOpInstr : public TemplateDefinition<2, Throws> {
 
   virtual bool ComputeCanDeoptimize() const { return false; }
 
+  virtual CompileType ComputeType() const;
+
   virtual bool HasUnknownSideEffects() const { return true; }
 
   virtual Definition* Canonicalize(FlowGraph* flow_graph);
@@ -6783,6 +6787,8 @@ class CheckedSmiComparisonInstr : public TemplateComparison<2, Throws> {
 
   virtual bool ComputeCanDeoptimize() const { return false; }
 
+  virtual CompileType ComputeType() const;
+
   virtual Definition* Canonicalize(FlowGraph* flow_graph);
 
   virtual void NegateComparison() {