A start on allowing non-local control flow, for exceptions, try-finally, and ...

src/compiler.cc

 // Copyright 2009 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 736 matching lines @@
   BAILOUT("ForInStatement");
 }
 
 
 void CodeGenSelector::VisitTryCatchStatement(TryCatchStatement* stmt) {
   BAILOUT("TryCatchStatement");
 }
 
 
 void CodeGenSelector::VisitTryFinallyStatement(TryFinallyStatement* stmt) {
-  BAILOUT("TryFinallyStatement");
+  if (stmt->escaping_targets()->length() > 0) {
+    BAILOUT("TryFinallyStatement has break or continue leaving try block.");
+  }
+  Visit(stmt->try_block());
+  CHECK_BAILOUT;
+  Visit(stmt->finally_block());
 }
 
 
 void CodeGenSelector::VisitDebuggerStatement(DebuggerStatement* stmt) {
   // Debugger statement is supported.
 }
 
 
 void CodeGenSelector::VisitFunctionLiteral(FunctionLiteral* expr) {
   // Function literal is supported.
@@ skipping 335 matching lines @@
 
 void CodeGenSelector::VisitThisFunction(ThisFunction* expr) {
   BAILOUT("ThisFunction");
 }
 
 #undef BAILOUT
 #undef CHECK_BAILOUT
 
 
 } }  // namespace v8::internal