Fully support try/catch.

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 852 matching lines @@
   visitIdentifier(Identifier node) {
     if (node.isThis()) {
       stack.add(localsHandler.readThis());
     } else {
       compiler.internalError("SsaBuilder.visitIdentifier on non-this",
                              node: node);
     }
   }
 
   visitIf(If node) {
-    // Add the condition to the current block.
-    bool hasElse = node.hasElsePart;
     visit(node.condition);
+    Function visitElse;
+    if (node.elsePart != null) {
+      visitElse = () {
+        visit(node.elsePart);
+      };
+    }
+    handleIf(() => visit(node.thenPart), visitElse);
+  }
+
+  void handleIf(void visitThen(), void visitElse()) {
+    bool hasElse = visitElse != null;
     HBasicBlock conditionBlock = close(new HIf(popBoolified(), hasElse));
 
     LocalsHandler savedLocals = new LocalsHandler.from(localsHandler);
 
     // The then part.
     HBasicBlock thenBlock = addNewBlock();
     conditionBlock.addSuccessor(thenBlock);
     open(thenBlock);
-    visit(node.thenPart);
+    visitThen();
     thenBlock = current;
 
     // Reset the locals state to the state after the condition and keep the
     // current state in [thenLocals].
     LocalsHandler thenLocals = localsHandler;
     localsHandler = savedLocals;
 
     // Now the else part.
     HBasicBlock elseBlock = null;
     if (hasElse) {
       elseBlock = addNewBlock();
       conditionBlock.addSuccessor(elseBlock);
       open(elseBlock);
-      visit(node.elsePart);
+      visitElse();
       elseBlock = current;
     }
 
     if (thenBlock === null && elseBlock === null && hasElse) {
       current = null;
     } else {
       HBasicBlock joinBlock = addNewBlock();
       if (thenBlock !== null) goto(thenBlock, joinBlock);
       if (elseBlock !== null) goto(elseBlock, joinBlock);
       else if (!hasElse) conditionBlock.addSuccessor(joinBlock);
@@ skipping 889 matching lines @@
     HTry tryInstruction = new HTry();
     close(tryInstruction);
 
     HBasicBlock tryBody = graph.addNewBlock();
     enterBlock.addSuccessor(tryBody);
     open(tryBody);
     visit(node.tryBlock);
     List<HBasicBlock> blocks = <HBasicBlock>[];
     if (!isAborted()) blocks.add(close(new HGoto()));
 
-    int catchBlocksCount = 0;
-    for (CatchBlock catchBlock in node.catchBlocks.nodes) {
-      if (++catchBlocksCount != 1) {
-        compiler.unimplemented('SsaBuilder multiple catch blocks', node: node);
-      }
+    if (!node.catchBlocks.isEmpty()) {
       HBasicBlock block = graph.addNewBlock();
       enterBlock.addSuccessor(block);
       open(block);
-      visit(catchBlock);
+      // Note that the name of this element is irrelevant.
+      Element element = new Element(
+          const SourceString('exception'), ElementKind.PARAMETER, work.element);
+      HParameterValue exception = new HParameterValue(element);
+      add(exception);
+      tryInstruction.exception = exception;
+      Link<Node> link = node.catchBlocks.nodes;
+
+      void pushCondition(CatchBlock catchBlock) {
+        VariableDefinitions declaration = catchBlock.formals.nodes.head;
+        HInstruction condition = null;
+        if (declaration.type == null) {
+          condition = new HLiteral(true, HType.BOOLEAN);
+        } else {
+          Element element = elements[declaration.type];
+          if (element == null) {
+            compiler.cancel('Catch with unresolved type', node: catchBlock);
+          }
+          condition = new HIs(element, exception);
+        }
+        push(condition);
+      }
+
+      void visitThen() {
+        CatchBlock catchBlock = link.head;
+        link = link.tail;
+        VariableDefinitions declaration = catchBlock.formals.nodes.head;
+        localsHandler.updateLocal(elements[declaration.definitions.nodes.head],
+                                  exception);
+        visit(catchBlock);
+      }
+
+      void visitElse() {
+        if (link.isEmpty()) {
+          close(new HThrow(exception));
+        } else {
+          CatchBlock newBlock = link.head;
+          pushCondition(newBlock);
+          handleIf(visitThen, visitElse);
+        }
+      }
+
+      CatchBlock firstBlock = link.head;
+      pushCondition(firstBlock);
+      handleIf(visitThen, visitElse);
       if (!isAborted()) blocks.add(close(new HGoto()));
     }
 
     if (node.finallyBlock != null) {
       HBasicBlock finallyBlock = graph.addNewBlock();
       enterBlock.addSuccessor(finallyBlock);
       open(finallyBlock);
       visit(node.finallyBlock);
       if (!isAborted()) blocks.add(close(new HGoto()));
       tryInstruction.finallyBlock = finallyBlock;
@@ skipping 10 matching lines @@
 
       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);
   }
 }