First step toward an optimizing compiler:

runtime/vm/intermediate_language.cc

Index: runtime/vm/intermediate_language.cc
===================================================================
--- runtime/vm/intermediate_language.cc	(revision 7907)
+++ runtime/vm/intermediate_language.cc	(working copy)
@@ -45,6 +45,11 @@
 }
 
 
+UseVal::UseVal(BindInstr* definition) : definition_(definition) {
+  definition->SetUse(this);
+}
+
+
 // ==== Per-instruction input counts.
 intptr_t AssertAssignableComp::InputCount() const {
   // Value and optional instantiator and instantiator type arguments.
@@ -553,4 +558,10 @@
 }
 
 
+RawAbstractType* BinaryOpComp::StaticType() const {
+  // TODO(srdjan): Compute based on input types (ICData).
+  return Type::DynamicType();
+}
+
+
 }  // namespace dart