Implement JumpNode for break/continue in for loops.

runtime/vm/scopes.h

 // 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.
 
 #ifndef VM_SCOPES_H_
 #define VM_SCOPES_H_
 
 #include "vm/allocation.h"
 #include "vm/assembler.h"
 #include "vm/growable_array.h"
 
 namespace dart {
 
+class JoinEntryInstr;
 class LocalScope;
 class LocalVariable;
 class SourceLabel;
 
 
 class LocalVariable : public ZoneAllocated {
  public:
   LocalVariable(intptr_t token_index,
                 const String& name,
                 const AbstractType& type)
@@ skipping 83 matching lines @@
     kForward,
     kStatement  // Any statement other than the above
   };
 
   SourceLabel(intptr_t token_index, const String& name, Kind kind)
     : token_index_(token_index),
       name_(name),
       owner_(NULL),
       kind_(kind),
       continue_label_(),
-      break_label_() {
+      break_label_(),
+      is_break_jump_target_(false),
+      join_for_break_(NULL),
+      is_continue_jump_target_(false),
+      join_for_continue_(NULL) {
   }
 
   static SourceLabel* New(intptr_t token_index, String* name, Kind kind) {
     if (name != NULL) {
       return new SourceLabel(token_index, *name, kind);
     } else {
       return new SourceLabel(token_index,
                              String::ZoneHandle(String::New(kDefaultLabelName)),
                              kind);
     }
   }
 
   intptr_t token_index() const { return token_index_; }
   const String& name() const { return name_; }
   LocalScope* owner() const { return owner_; }
   void set_owner(LocalScope* owner) {
     ASSERT(owner_ == NULL);
     owner_ = owner;
   }
 
   Kind kind() const { return kind_; }
   Label* break_label() { return &break_label_; }
   Label* continue_label() { return &continue_label_; }
 
+  void SetIsJumpTarget(Token::Kind jump_kind) {
+    ASSERT((jump_kind == Token::kBREAK) || (jump_kind == Token::kCONTINUE));
+    if (jump_kind == Token::kBREAK) {
+      is_break_jump_target_ = true;
+    } else {
+      is_continue_jump_target_ = true;
+    }
+  }
+  bool is_break_jump_target() const { return is_break_jump_target_; }
+  bool is_continue_jump_target() const { return is_continue_jump_target_; }
+
+  void set_join_for_continue(JoinEntryInstr* join) {
+    ASSERT(join_for_continue_ == NULL);
+    join_for_continue_ = join;
+  }
+
+  JoinEntryInstr* join_for_continue() const {
+    return join_for_continue_;
+  }
+
+  void set_join_for_break(JoinEntryInstr* join) {
+    ASSERT(join_for_break_ == NULL);
+    join_for_break_ = join;
+  }
+
+  JoinEntryInstr* join_for_break() const {
+    return join_for_break_;
+  }
+
   // Returns the function level of the scope in which the label is defined.
   int FunctionLevel() const;
 
   void ResolveForwardReference() { kind_ = kCase; }
 
  private:
   const intptr_t token_index_;
   const String& name_;
   LocalScope* owner_;  // Local scope declaring this label.
 
   Kind kind_;
   Label continue_label_;
   Label break_label_;
+  bool is_break_jump_target_;
+  JoinEntryInstr* join_for_break_;
+  bool is_continue_jump_target_;
+  JoinEntryInstr* join_for_continue_;
   static const char* kDefaultLabelName;
 
   DISALLOW_COPY_AND_ASSIGN(SourceLabel);
 };
 
 
 class LocalScope : public ZoneAllocated {
  public:
   LocalScope(LocalScope* parent, int function_level, int loop_level);
 
@@ skipping 134 matching lines @@
   intptr_t end_token_index_;  // Token index of end of scope.
   GrowableArray<LocalVariable*> variables_;
   GrowableArray<SourceLabel*> labels_;
 
   DISALLOW_COPY_AND_ASSIGN(LocalScope);
 };
 
 }  // namespace dart
 
 #endif  // VM_SCOPES_H_