Add stack check in loops so that loops can be stopped. Optimize relational operations.

runtime/vm/flow_graph_optimizer.cc

 // Copyright (c) 2012, 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_optimizer.h"
 
 #include "vm/flow_graph_builder.h"
 #include "vm/il_printer.h"
 #include "vm/object_store.h"
 
@@ skipping 158 matching lines @@
     unary_op->set_instr(comp->instr());
     comp->instr()->replace_computation(unary_op);
   }
 }
 
 
 // Returns true if all targets are the same.
 static bool HasOneTarget(const ICData& ic_data) {
   ASSERT(ic_data.NumberOfChecks() > 0);
   Function& prev_target = Function::Handle();
-  Class& cls = Class::Handle();
-  ic_data.GetOneClassCheckAt(0, &cls, &prev_target);
+  GrowableArray<const Class*> classes;
+  ic_data.GetCheckAt(0, &classes, &prev_target);
   ASSERT(!prev_target.IsNull());
   Function& target = Function::Handle();
   for (intptr_t i = 1; i < ic_data.NumberOfChecks(); i++) {
-    ic_data.GetOneClassCheckAt(i, &cls, &target);
+    ic_data.GetCheckAt(i, &classes, &target);
     ASSERT(!target.IsNull());
     if (prev_target.raw() != target.raw()) {
       return false;
     }
     prev_target = target.raw();
   }
   return true;
 }
 
 
@@ skipping 133 matching lines @@
     TryInlineInstanceSetter(comp);
   }
 }
 
 
 void FlowGraphOptimizer::VisitLoadIndexed(LoadIndexedComp* comp) {
   if (!comp->HasICData()) return;
 
   const ICData& ic_data = *comp->ic_data();
   if (ic_data.NumberOfChecks() == 0) return;
-  if (!HasOneTarget(ic_data)) return;
+  // TODO(vegorov): Add multiple receiver type support.
+  if (ic_data.NumberOfChecks() != 1) return;
+  ASSERT(HasOneTarget(ic_data));
 
   Function& target = Function::Handle();
   Class& cls = Class::Handle();
   ic_data.GetOneClassCheckAt(0, &cls, &target);
 
   switch (cls.id()) {
     case kArray:
     case kImmutableArray:
     case kGrowableObjectArray:
       comp->set_receiver_type(static_cast<ObjectKind>(cls.id()));
   }
 }
 
 
+void FlowGraphOptimizer::VisitRelationalOp(RelationalOpComp* comp) {
+  if (!comp->HasICData()) return;
+
+  const ICData& ic_data = *comp->ic_data();
+  if (ic_data.NumberOfChecks() == 0) return;
+  // TODO(srdjan): Add multiple receiver type support.
+  if (ic_data.NumberOfChecks() != 1) return;
+  ASSERT(HasOneTarget(ic_data));
+
+  if (HasTwoSmi(ic_data)) {
+    comp->set_operands_class_id(kSmi);
+  } else if (HasTwoDouble(ic_data)) {
+    comp->set_operands_class_id(kDouble);
+  }
+}
+
+
 void FlowGraphOptimizer::VisitDo(DoInstr* instr) {
   instr->computation()->Accept(this);
 }
 
 
 void FlowGraphOptimizer::VisitBind(BindInstr* instr) {
   instr->computation()->Accept(this);
 }
 
 
 }  // namespace dart