Improve static type propagation.

runtime/vm/intermediate_language.h

Index: runtime/vm/intermediate_language.h
===================================================================
--- runtime/vm/intermediate_language.h	(revision 9904)
+++ runtime/vm/intermediate_language.h	(working copy)
@@ -1813,12 +1813,6 @@
 FOR_EACH_INSTRUCTION(INSTRUCTION_TYPE_CHECK)
 #undef INSTRUCTION_TYPE_CHECK
 
-  // Static type of the instruction.
-  virtual RawAbstractType* StaticType() const {
-    UNREACHABLE();
-    return AbstractType::null();
-  }
-
   // Returns structure describing location constraints required
   // to emit native code for this instruction.
   virtual LocationSummary* locs() {
@@ -2140,6 +2134,9 @@
   }
   bool HasSSATemp() const { return ssa_temp_index_ >= 0; }
 
+  // Static type of the definition.
+  virtual RawAbstractType* StaticType() const = 0;
+
  private:
   intptr_t temp_index_;
   intptr_t ssa_temp_index_;
@@ -2199,6 +2196,9 @@
     }
   }
 
+  // Least upper bound of the static types of the inputs.
+  virtual RawAbstractType* StaticType() const;
+
   DECLARE_INSTRUCTION(Phi)
 
  private:
@@ -2214,6 +2214,9 @@
 
   intptr_t index() const { return index_; }
 
+  // Static type of the passed-in parameter.
+  virtual RawAbstractType* StaticType() const;
+
   DECLARE_INSTRUCTION(Parameter)
 
  private: