Support break and labeled statements.

frog/leg/ssa/nodes.dart

Index: frog/leg/ssa/nodes.dart
diff --git a/frog/leg/ssa/nodes.dart b/frog/leg/ssa/nodes.dart
index 0d7b4f125531863bd126db9ae7059388157619cf..bf8866d1383f2c77703c2e85555d620e1f5ec9ce 100644
--- a/frog/leg/ssa/nodes.dart
+++ b/frog/leg/ssa/nodes.dart
@@ -11,6 +11,7 @@ interface HVisitor<R> {
   R visitBitXor(HBitXor node);
   R visitBoolify(HBoolify node);
   R visitBoundsCheck(HBoundsCheck node);
+  R visitBreak(HBreak node);
   R visitDivide(HDivide node);
   R visitEquals(HEquals node);
   R visitExit(HExit node);
@@ -135,9 +136,9 @@ class HGraph {
     return result;
   }
 
-  HBasicBlock addNewLoopHeaderBlock() {
+  HBasicBlock addNewLoopHeaderBlock(List<SourceString> labels) {
     HBasicBlock result = addNewBlock();
-    result.loopInformation = new HLoopInformation(result);
+    result.loopInformation = new HLoopInformation(result, labels);
     return result;
   }
 
@@ -207,6 +208,7 @@ class HBaseVisitor extends HGraphVisitor implements HVisitor {
   visitBailoutTarget(HBailoutTarget node) => visitInstruction(node);
   visitBoolify(HBoolify node) => visitInstruction(node);
   visitBoundsCheck(HBoundsCheck node) => visitCheck(node);
+  visitBreak(HBreak node) => visitGoto(node);
   visitCheck(HCheck node) => visitInstruction(node);
   visitDivide(HDivide node) => visitBinaryArithmetic(node);
   visitEquals(HEquals node) => visitRelational(node);
@@ -350,6 +352,7 @@ class HBasicBlock extends HInstructionList {
   HInstructionList phis;
 
   HLoopInformation loopInformation = null;
+  HLabeledBlockInformation labeledBlockInformation = null;
   HBasicBlock parentLoopHeader = null;
   List<HBailoutTarget> bailouts;
 
@@ -359,6 +362,9 @@ class HBasicBlock extends HInstructionList {
   HBasicBlock dominator = null;
   final List<HBasicBlock> dominatedBlocks;
 
+  // For recognizing labeled statements.
+  List<SourceString> labels;
+
   HBasicBlock() : this.withId(null);
   HBasicBlock.withId(this.id)
       : phis = new HInstructionList(),
@@ -372,6 +378,8 @@ class HBasicBlock extends HInstructionList {
   bool isClosed() => status == STATUS_CLOSED;
 
   bool isLoopHeader() => loopInformation !== null;
+  bool hasLabeledBlockInformation() => labeledBlockInformation !== null;
+
   bool hasBailouts() => !bailouts.isEmpty();
 
   void open() {
@@ -583,12 +591,24 @@ class HBasicBlock extends HInstructionList {
   }
 }
 
-class HLoopInformation {
+class HBlockInformation {
+  // Just a marker class.
+}
+
+class HLabeledBlockInformation extends HBlockInformation {
+  final HBasicBlock start;
+  final HBasicBlock end;
+  final List<SourceString> labels;
+  HLabeledBlockInformation(this.start, this.end, this.labels);
+}
+
+class HLoopInformation extends HBlockInformation {
   final HBasicBlock header;
   final List<HBasicBlock> blocks;
   final List<HBasicBlock> backEdges;
+  final List<SourceString> labels;
 
-  HLoopInformation(this.header)
+  HLoopInformation(this.header, this.labels)
       : blocks = new List<HBasicBlock>(),
         backEdges = new List<HBasicBlock>();
 
@@ -1634,6 +1654,13 @@ class HGoto extends HControlFlow {
   accept(HVisitor visitor) => visitor.visitGoto(this);
 }
 
+class HBreak extends HGoto {
+  final SourceString label;
+  HBreak([this.label]);
+  toString() => 'break';
+  accept(HVisitor visitor) => visitor.visitBreak(this);
+}
+
 class HTry extends HControlFlow {
   HParameterValue exception;
   HBasicBlock finallyBlock;