Initial support for polymorphic inlining.

runtime/vm/flow_graph_allocator.cc

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/flow_graph_allocator.h"
 
 #include "vm/bit_vector.h"
 #include "vm/intermediate_language.h"
 #include "vm/il_printer.h"
 #include "vm/flow_graph.h"
@@ skipping 2169 matching lines @@
       UNREACHABLE();
   }
 }
 
 
 #if defined(DEBUG)
 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;
 }
 #endif
 
 
 void FlowGraphAllocator::PrepareForAllocation(
   Location::Kind register_kind,
   intptr_t number_of_registers,
   const GrowableArray<LiveRange*>& unallocated,
@@ skipping 296 matching lines @@
     OS::Print("-- [after ssa allocator] ir [%s] -------------\n",
               function.ToFullyQualifiedCString());
     FlowGraphPrinter printer(flow_graph_, true);
     printer.PrintBlocks();
     OS::Print("----------------------------------------------\n");
   }
 }
 
 
 }  // namespace dart