Initial support for polymorphic inlining.

runtime/vm/flow_graph_allocator.cc

Index: runtime/vm/flow_graph_allocator.cc
diff --git a/runtime/vm/flow_graph_allocator.cc b/runtime/vm/flow_graph_allocator.cc
index 5125f971ce1b8ad6f57ce4dd3ad3ed4afd7f0ab7..e4fd41bb3c16d2cffa5c1b383286aef2d02030eb 100644
--- a/runtime/vm/flow_graph_allocator.cc
+++ b/runtime/vm/flow_graph_allocator.cc
@@ -2187,7 +2187,10 @@ bool FlowGraphAllocator::UnallocatedIsSorted() {
   for (intptr_t i = unallocated_.length() - 1; i >= 1; i--) {
     LiveRange* a = unallocated_[i];
     LiveRange* b = unallocated_[i - 1];
-    if (!ShouldBeAllocatedBefore(a, b)) return false;
+    if (!ShouldBeAllocatedBefore(a, b)) {
+      ASSERT(false);

[Kevin Millikin (Google), 2013/05/01 15:36:25]

This is unintentional.  I will remove it.

[Florian Schneider, 2013/05/03 10:41:36]

I think this is actually useful for debugging here.

maybe UNREACHABLE() instead?

[Kevin Millikin (Google), 2013/05/03 11:47:38]

OK, UNREACHABLE() it is.

+      return false;
+    }
   }
   return true;
 }