Add forward iterator to iterate instructions inside a basic block.

vm/intermediate_language.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_INTERMEDIATE_LANGUAGE_H_
 #define VM_INTERMEDIATE_LANGUAGE_H_
 
 #include "vm/allocation.h"
 #include "vm/ast.h"
 #include "vm/growable_array.h"
@@ skipping 1759 matching lines @@
   }
 
   Instruction* previous() const { return previous_; }
   void set_previous(Instruction* instr) {
     ASSERT(!IsBlockEntry());
     previous_ = instr;
   }
 
   // Remove instruction from the graph and return the instruction following the
   // removed instruction.
-  Instruction* RemoveFromGraph();
+  enum RemoveReturnValue {
+    kReturnPrevious,
+    kReturnNext
+  };
+  Instruction* RemoveFromGraph(RemoveReturnValue ret);
 
   // Normal instructions can have 0 (inside a block) or 1 (last instruction in
   // a block) successors. Branch instruction with >1 successors override this
   // function.
   virtual intptr_t SuccessorCount() const;
   virtual BlockEntryInstr* SuccessorAt(intptr_t index) const;
 
   // Discover basic-block structure by performing a recursive depth first
   // traversal of the instruction graph reachable from this instruction.  As
   // a side effect, the block entry instructions in the graph are assigned
@@ skipping 144 matching lines @@
   intptr_t block_id_;
   BlockEntryInstr* dominator_;  // Immediate dominator, NULL for graph entry.
   // TODO(fschneider): Optimize the case of one child to save space.
   GrowableArray<BlockEntryInstr*> dominated_blocks_;
   Instruction* last_instruction_;
 
   DISALLOW_COPY_AND_ASSIGN(BlockEntryInstr);
 };
 
 
+class ForwardIterator : public ValueObject {

[Kevin Millikin (Google), 2012/07/06 10:44:30]

I think the class name is probably too generic.  We could call it
InstructionIterator and have it take a direction parameter.

+ public:
+  explicit ForwardIterator(BlockEntryInstr* block_entry)
+      : block_entry_(block_entry), current_(block_entry) {
+    Advance();
+  }
+
+  void Advance() {
+    if (!Done()) current_ = current_->successor();
+  }
+
+  bool Done() const {
+    return current_ == block_entry_->last_instruction()->successor();
+  }
+
+  void RemoveCurrentFromGraph() {
+    current_ = current_->RemoveFromGraph(Instruction::kReturnPrevious);
+  }
+
+  Instruction* Current() const { return current_; }
+
+ private:
+  BlockEntryInstr* block_entry_;
+  Instruction* current_;
+};
+
+
 class GraphEntryInstr : public BlockEntryInstr {
  public:
   explicit GraphEntryInstr(TargetEntryInstr* normal_entry)
       : BlockEntryInstr(),
         normal_entry_(normal_entry),
         catch_entries_(),
         start_env_(NULL) { }
 
   DECLARE_INSTRUCTION(GraphEntry)
 
@@ skipping 441 matching lines @@
   const GrowableArray<BlockEntryInstr*>& block_order_;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_