Switch-implementation.

frog/leg/ssa/codegen.dart

 // 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.
 
 class SsaCodeGeneratorTask extends CompilerTask {
   SsaCodeGeneratorTask(Compiler compiler) : super(compiler);
   String get name() => 'SSA code generator';
 
   String generate(WorkItem work, HGraph graph) {
     return measure(() {
@@ skipping 222 matching lines @@
 
   visit(HInstruction node, int expectedPrecedence) {
     int oldPrecedence = this.expectedPrecedence;
     this.expectedPrecedence = expectedPrecedence;
     node.accept(this);
     this.expectedPrecedence = oldPrecedence;
   }
 
   void handleLabeledBlock(HLabeledBlockInformation labeledBlockInfo) {
     addIndentation();
-    for (SourceString label in labeledBlockInfo.labels) {
+    for (LabelElement label in labeledBlockInfo.labels) {
       addLabel(label);
       buffer.add(":");
     }
     buffer.add("{\n");
     indent++;
 
     visitSubGraph(labeledBlockInfo.body);
 
     indent--;
     addIndentation();
@@ skipping 161 matching lines @@
     if (dominated.length == 2 && currentBlock !== currentGraph.entry) {
       unreachable();
     }
     assert(dominated[0] == currentBlock.successors[0]);
     visitBasicBlock(dominated[0]);
   }
 
   // Used to write the name of labels.
   // The default implementation uses the unmodified Dart label name.
   // Specializations might change this.
-  void addLabel(SourceString label) {
-    buffer.add(label.slowToString());
+  void addLabel(LabelElement label) {
+    buffer.add(label.labelName);
   }
 
   visitBreak(HBreak node) {
     assert(currentBlock.successors.length == 1);
     // No block finishing with a 'break' can have more than
     // one dominated block (since it has only one successor).
     // If the successor is dominated by another block, then the other block
     // is responsible for visiting the successor.
     List<HBasicBlock> dominated = currentBlock.dominatedBlocks;
     assert(dominated.isEmpty());
@@ skipping 227 matching lines @@
     // need to work together to avoid the parenthesis. See r4928 for an
     // implementation that still dealt with precedence.
     ConstantHandler handler = compiler.constantHandler;
     String name = handler.getNameForConstant(node.constant);
     if (name === null) {
       assert(!node.constant.isObject());
       node.constant.writeJsCode(buffer, handler);
     } else {
       buffer.add(compiler.namer.CURRENT_ISOLATE);
       buffer.add(".");
-      buffer.add(name);      
+      buffer.add(name);
     }
   }
 
   visitLoopBranch(HLoopBranch node) {
     HBasicBlock branchBlock = currentBlock;
     handleLoopCondition(node);
     List<HBasicBlock> dominated = currentBlock.dominatedBlocks;
     // For a do while loop, the body has already been visited.
     if (!node.isDoWhile()) {
       visitBasicBlock(dominated[0]);
@@ skipping 435 matching lines @@
       checkArray(input, '!==');
       buffer.add(')) ');
       bailout(node, 'Not a string or array');
     } else {
       unreachable();
     }
   }
 
   void beginLoop(HBasicBlock block) {
     addIndentation();
-    for (SourceString label in block.loopInformation.labels) {
-      buffer.add("${label.slowToString()}:");
+    for (LabelElement label in block.loopInformation.labels) {
+      buffer.add(label.labelName);
     }
     buffer.add('while (true) {\n');
     indent++;
   }
 
   void endLoop(HBasicBlock block) {
     indent--;
     addIndentation();
     buffer.add('}\n');  // Close 'while' loop.
   }
@@ skipping 145 matching lines @@
   void endBailoutSwitch() {
     indent--; // Close 'case'.
     indent--;
     addIndentation();
     buffer.add('}\n');  // Close 'switch'.
   }
 
   // Adds a "$" in front of names of labels from the original source.
   // This avoids conflicts with labels introduced by bailouts, which
   // starts with a non-"$" character.
-  void addLabel(SourceString label) {
-    buffer.add("\$$label");
+  void addLabel(LabelElement label) {
+    buffer.add("\$${label.labelName}");
   }
 
   void beginLoop(HBasicBlock block) {
     // TODO(ngeoffray): Don't put labels on loops that don't bailout.
     String newLabel = pushLabel();
     if (block.hasBailouts()) {
       startBailoutCase(block.bailouts, const <HBailoutTarget>[]);
     }
 
     addIndentation();
-    for (SourceString label in block.loopInformation.labels) {
+    for (LabelElement label in block.loopInformation.labels) {
       addLabel(label);
       buffer.add(":");
     }
     buffer.add('$newLabel: while (true) {\n');
     indent++;
 
     if (block.hasBailouts()) {
       startBailoutSwitch();
     }
   }
@@ skipping 72 matching lines @@
       startBailoutSwitch();
     }
   }
 
   void endElse(HIf node) {
     if (node.elseBlock.hasBailouts()) {
       endBailoutSwitch();
     }
   }
 }