Switch-implementation.

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 84435a210369c57880249f29cc35327d92eefa16..768522ff20bf7f56d12a67b996a58f1c9030d6bd 100644
--- a/frog/leg/ssa/nodes.dart
+++ b/frog/leg/ssa/nodes.dart
@@ -142,7 +142,7 @@ class HGraph {
     return result;
   }
 
-  HBasicBlock addNewLoopHeaderBlock(List<SourceString> labels) {
+  HBasicBlock addNewLoopHeaderBlock(List<LabelElement> labels) {
     HBasicBlock result = addNewBlock();
     result.loopInformation = new HLoopInformation(result, labels);
     return result;
@@ -321,6 +321,9 @@ class SubGraph {
   const SubGraph(this.start, this.end);
 
   bool contains(HBasicBlock block) {
+    assert(start !== null);
+    assert(end !== null);
+    assert(block !== null);
     return start.id <= block.id && block.id <= end.id;
   }
 }
@@ -421,9 +424,6 @@ class HBasicBlock extends HInstructionList implements Hashable {
   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(),
@@ -659,15 +659,25 @@ class HBlockInformation {
 class HLabeledBlockInformation extends HBlockInformation {
   final SubGraph body;
   final HBasicBlock joinBlock;
-  final List<SourceString> labels;
-  HLabeledBlockInformation(this.body, this.joinBlock, this.labels);
+  final List<LabelElement> labels;
+  final StatementElement target;
+
+  HLabeledBlockInformation(this.body, this.joinBlock,
+                           List<LabelElement> labels) :
+      this.labels = labels, this.target = labels[0].target;
+
+  // For creating block information when there are no explicit labels.
+  HLabeledBlockInformation.implicit(this.body, this.joinBlock, this.target) :
+      this.labels = const<LabelElement>[];
+
+  bool get isSwitch() => target is SwitchStatementElement;
 }
 
 class HLoopInformation extends HBlockInformation {
   final HBasicBlock header;
   final List<HBasicBlock> blocks;
   final List<HBasicBlock> backEdges;
-  final List<SourceString> labels;
+  final List<LabelElement> labels;
 
   HLoopInformation(this.header, this.labels)
       : blocks = new List<HBasicBlock>(),
@@ -1607,9 +1617,12 @@ class HGoto extends HControlFlow {
 }
 
 class HBreak extends HGoto {
-  final SourceString label;
-  HBreak([this.label]);
-  toString() => 'break';
+  // Target is either a LabelElement or a StatementElement.
+  final StatementElement target;
+  final LabelElement label;
+  HBreak(this.target) : label = null;
+  HBreak.toLabel(LabelElement label) : label = label, target = label.target;
+  toString() => (target is LabelElement) ? 'break ${label.labelName}' : 'break';
   accept(HVisitor visitor) => visitor.visitBreak(this);
 }