Switch-implementation.

frog/leg/ssa/nodes.dart

 // 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.
 
 interface HVisitor<R> {
   R visitAdd(HAdd node);
   R visitBailoutTarget(HBailoutTarget node);
   R visitBitAnd(HBitAnd node);
   R visitBitNot(HBitNot node);
   R visitBitOr(HBitOr node);
@@ skipping 124 matching lines @@
     blocks.add(block);
     assert(blocks[id] === block);
   }
 
   HBasicBlock addNewBlock() {
     HBasicBlock result = new HBasicBlock();
     addBlock(result);
     return result;
   }
 
-  HBasicBlock addNewLoopHeaderBlock(List<SourceString> labels) {
+  HBasicBlock addNewLoopHeaderBlock(List<LabelElement> labels) {
     HBasicBlock result = addNewBlock();
     result.loopInformation = new HLoopInformation(result, labels);
     return result;
   }
 
   static HType mapConstantTypeToSsaType(Constant constant) {
     if (constant.isNull()) return HType.UNKNOWN;
     if (constant.isBool()) return HType.BOOLEAN;
     if (constant.isInt()) return HType.INTEGER;
     if (constant.isDouble()) return HType.DOUBLE;
@@ skipping 270 matching lines @@
   HLabeledBlockInformation labeledBlockInformation = null;
   HBasicBlock parentLoopHeader = null;
   List<HBailoutTarget> bailouts;
 
   final List<HBasicBlock> predecessors;
   List<HBasicBlock> successors;
 
   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(),
         predecessors = <HBasicBlock>[],
         successors = const <HBasicBlock>[],
         dominatedBlocks = <HBasicBlock>[],
         bailouts = <HBailoutTarget>[];
 
   bool isNew() => status == STATUS_NEW;
   bool isOpen() => status == STATUS_OPEN;
@@ skipping 213 matching lines @@
   }
 }
 
 class HBlockInformation {
   // Just a marker class.
 }
 
 class HLabeledBlockInformation extends HBlockInformation {
   final SubGraph body;
   final HBasicBlock joinBlock;
-  final List<SourceString> labels;
+  final List<LabelElement> labels;
   HLabeledBlockInformation(this.body, this.joinBlock, this.labels);
 }
 
 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>(),
         backEdges = new List<HBasicBlock>();
 
   void addBackEdge(HBasicBlock predecessor) {
     backEdges.add(predecessor);
     addBlock(predecessor);
   }
 
@@ skipping 967 matching lines @@
   accept(HVisitor visitor) => visitor.visitExit(this);
 }
 
 class HGoto extends HControlFlow {
   HGoto() : super(const <HInstruction>[]);
   toString() => 'goto';
   accept(HVisitor visitor) => visitor.visitGoto(this);
 }
 
 class HBreak extends HGoto {
-  final SourceString label;
+  final LabelElement label;
   HBreak([this.label]);
-  toString() => 'break';
+  toString() => label === null ? 'break' : 'break ${label.labelName}';
   accept(HVisitor visitor) => visitor.visitBreak(this);
 }
 
 class HTry extends HControlFlow {
   HParameterValue exception;
   HBasicBlock finallyBlock;
   HTry() : super(const <HInstruction>[]);
   toString() => 'try';
   accept(HVisitor visitor) => visitor.visitTry(this);
   HBasicBlock get joinBlock() => this.block.successors.last();
@@ skipping 496 matching lines @@
 class HIfBlockInformation {
   final HIf branch;
   final SubGraph thenGraph;
   final SubGraph elseGraph;
   final HBasicBlock joinBlock;
   HIfBlockInformation(this.branch,
                       this.thenGraph,
                       this.elseGraph,
                       this.joinBlock);
 }