Support finally.

frog/leg/ssa/builder.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 Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
@@ skipping 1703 matching lines @@
   visitSwitchStatement(SwitchStatement node) {
     compiler.unimplemented('SsaBuilder.visitSwitchStatement', node: node);
   }
 
   visitTryStatement(TryStatement node) {
     work.allowSpeculativeOptimization = false;
     assert(!work.isBailoutVersion());
     HBasicBlock enterBlock = graph.addNewBlock();
     close(new HGoto()).addSuccessor(enterBlock);
     open(enterBlock);
-    close(new HTry());
+    HTry tryInstruction = new HTry();
+    close(tryInstruction);
 
     HBasicBlock tryBody = graph.addNewBlock();
     enterBlock.addSuccessor(tryBody);
     open(tryBody);
     visit(node.tryBlock);
-    HBasicBlock endTryBody;
-    if (!isAborted()) endTryBody = close(new HGoto());
+    List<HBasicBlock> blocks = <HBasicBlock>[];
+    if (!isAborted()) blocks.add(close(new HGoto()));
 
-    List<HBasicBlock> catchBlocks = <HBasicBlock>[];
     int catchBlocksCount = 0;
     for (CatchBlock catchBlock in node.catchBlocks.nodes) {
       if (++catchBlocksCount != 1) {
         compiler.unimplemented('SsaBuilder multiple catch blocks', node: node);
       }
       HBasicBlock block = graph.addNewBlock();
       enterBlock.addSuccessor(block);
       open(block);
       visit(catchBlock);
-      if (!isAborted()) {
-        close(new HGoto());
-        catchBlocks.add(block);
-      }
-    }
-
-    HBasicBlock exitBlock = graph.addNewBlock();
-
-    if (endTryBody != null) {
-      endTryBody.addSuccessor(exitBlock);
-    }
-
-    for (HBasicBlock block in catchBlocks) {
-      block.addSuccessor(exitBlock);
+      if (!isAborted()) blocks.add(close(new HGoto()));
     }
 
     if (node.finallyBlock != null) {
-      compiler.unimplemented('SsaBuilder finally block', node: node);
+      HBasicBlock finallyBlock = graph.addNewBlock();
+      enterBlock.addSuccessor(finallyBlock);
+      open(finallyBlock);
+      visit(node.finallyBlock);
+      if (!isAborted()) blocks.add(close(new HGoto()));
+      tryInstruction.finallyBlock = finallyBlock;
     }
 
-    open(exitBlock);
+    // If no block is going to an exit block, the Dart code after the
+    // try is dead code.
+    if (!blocks.isEmpty()) {
+      HBasicBlock exitBlock = graph.addNewBlock();
+
+      for (HBasicBlock block in blocks) {
+        block.addSuccessor(exitBlock);
+      }
+
+      open(exitBlock);
+    }
   }
 
   visitScriptTag(ScriptTag node) {
     compiler.unimplemented('SsaBuilder.visitScriptTag', node: node);
   }
 
   visitCatchBlock(CatchBlock node) {
     NodeList formals = node.formals;
     VariableDefinitions exception = formals.nodes.head;
     if (exception.type != null) {
       compiler.unimplemented('SsaBuilder catch with type', node: node);
     }
     visit(node.block);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('SsaBuilder.visitTypedef', node: node);
   }
 }