Added stack overflow checks at backward branches in order to allow interrupting endless loops. Bett…

runtime/vm/opt_code_generator_ia32.cc

 // Copyright (c) 2011, 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/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/opt_code_generator.h"
 
 #include "vm/assembler_macros.h"
@@ skipping 2619 matching lines @@
     if (condition_info.labels_used()) {
       __ Bind(&iterate_label);
     } else {
       __ popl(EAX);
       __ LoadObject(EDX, bool_true);
       __ cmpl(EAX, EDX);
       __ j(NOT_EQUAL, label->break_label());
     }
   }
   node->body()->Visit(this);
+  HandleBackwardBranch(node->id(), node->token_index());
   __ Bind(label->continue_label());
   node->increment()->Visit(this);
   __ jmp(&loop);
   __ Bind(label->break_label());
 }
 
 
 void OptimizingCodeGenerator::VisitDoWhileNode(DoWhileNode* node) {
   if (FLAG_enable_type_checks) {
     CodeGenerator::VisitDoWhileNode(node);
     return;
   }
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   SourceLabel* label = node->label();
   Label loop;
   __ Bind(&loop);
   node->body()->Visit(this);
+  HandleBackwardBranch(node->id(), node->token_index());
   __ Bind(label->continue_label());
   CodeGenInfo condition_info(node->condition());
   condition_info.set_false_label(label->break_label());
   condition_info.set_true_label(&loop);
   condition_info.set_fallthrough_label(label->break_label());
   node->condition()->Visit(this);
   if (!condition_info.labels_used()) {
     __ popl(EAX);
     __ LoadObject(EDX, bool_true);
     __ cmpl(EAX, EDX);
@@ skipping 19 matching lines @@
   node->condition()->Visit(this);
   if (condition_info.labels_used()) {
     __ Bind(&iterate_label);
   } else {
     __ popl(EAX);
     __ LoadObject(EDX, bool_true);
     __ cmpl(EAX, EDX);
     __ j(NOT_EQUAL, label->break_label());
   }
   node->body()->Visit(this);
+  HandleBackwardBranch(node->id(), node->token_index());
   __ jmp(label->continue_label());
   __ Bind(label->break_label());
 }
 
 
 void OptimizingCodeGenerator::VisitIfNode(IfNode* node) {
   if (FLAG_enable_type_checks) {
     CodeGenerator::VisitIfNode(node);
     return;
   }
@@ skipping 444 matching lines @@
     }
   }
   // TODO(srdjan): Implement unary kSUB (negate) Mint.
   CodeGenerator::VisitUnaryOpNode(node);
 }
 
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32