Implement try/catch without finally, and without type checks.

frog/leg/ssa/bailout.dart

Index: frog/leg/ssa/bailout.dart
===================================================================
--- frog/leg/ssa/bailout.dart	(revision 3986)
+++ frog/leg/ssa/bailout.dart	(working copy)
@@ -193,6 +193,13 @@
     }
   }
 
+  void visitTry(HTry node) {
+    List<HBasicBlock> successors = node.block.successors;
+    for (int i = 0; i < successors.length; i++) {
+      visitBasicBlock(successors[i]);

[ngeoffray, 2012/02/08 07:56:03]

I know this is wrong. I plan on adding test cases for bailouts to make sure we
visit the right order and the liveness of variables is computed correctly.

[ngeoffray, 2012/02/08 09:52:23]

After discussions, decided to not do any speculative optimizations on try/catch
for now.

+    }
+  }
+
   // Deal with all kinds of control flow instructions. In case we add
   // a new one, we will hit an internal error.
   void visitExit(HExit exit) {}
@@ -326,6 +333,13 @@
     visitBasicBlock(branchBlock.successors[1]);
   }
 
+  void visitTry(HTry node) {
+    List<HBasicBlock> successors = node.block.successors;
+    for (int i = 0; i < successors.length; i++) {
+      visitBasicBlock(successors[i]);
+    }

[ngeoffray, 2012/02/08 07:56:03]

ditto.

+  }
+
   // Deal with all kinds of control flow instructions. In case we add
   // a new one, we will hit an internal error.
   void visitExit(HExit exit) {}