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

runtime/vm/intermediate_language.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/intermediate_language.h"
 
 #include "vm/bit_vector.h"
 #include "vm/flow_graph_builder.h"
 #include "vm/flow_graph_compiler.h"
 #include "vm/locations.h"
@@ skipping 396 matching lines @@
 RawAbstractType* StrictCompareComp::StaticType() const {
   return Type::BoolInterface();
 }
 
 
 RawAbstractType* EqualityCompareComp::StaticType() const {
   return Type::BoolInterface();
 }
 
 
+RawAbstractType* RelationalOpComp::StaticType() const {
+  return Type::BoolInterface();
+}
+
+
 RawAbstractType* NativeCallComp::StaticType() const {
   // The result type of the native function is identical to the result type of
   // the enclosing native Dart function. However, we prefer to check the type
   // of the value returned from the native call.
   return Type::DynamicType();
 }
 
 
 RawAbstractType* LoadIndexedComp::StaticType() const {
   return Type::DynamicType();
@@ skipping 152 matching lines @@
   return AbstractType::null();
 }
 
 
 RawAbstractType* CatchEntryComp::StaticType() const {
   UNREACHABLE();
   return AbstractType::null();
 }
 
 
+RawAbstractType* CheckStackOverflowComp::StaticType() const {
+  UNREACHABLE();
+  return AbstractType::null();
+}
+
+
 RawAbstractType* BinaryOpComp::StaticType() const {
   // TODO(srdjan): Compute based on input types (ICData).
   return Type::DynamicType();
 }
 
 
 RawAbstractType* UnarySmiOpComp::StaticType() const {
   return Type::IntInterface();
 }
 
@@ skipping 384 matching lines @@
       StubCode::GetAllocationStubForClosure(closure_function));
   const ExternalLabel label(closure_function.ToCString(), stub.EntryPoint());
   compiler->GenerateCall(token_index(), try_index(), &label,
                          PcDescriptors::kOther);
   __ Drop(2);  // Discard type arguments and receiver.
 }
 
 #undef __
 
 }  // namespace dart