[crankshaft] Add baseline implementation of for-of.

src/hydrogen.cc

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/hydrogen.h"
 
 #include <sstream>
 
 #include "src/allocation-site-scopes.h"
 #include "src/ast-numbering.h"
@@ skipping 5388 matching lines @@
                                       break_info.break_block());
 
   set_current_block(loop_exit);
 }
 
 
 void HOptimizedGraphBuilder::VisitForOfStatement(ForOfStatement* stmt) {
   DCHECK(!HasStackOverflow());
   DCHECK(current_block() != NULL);
   DCHECK(current_block()->HasPredecessor());
-  return Bailout(kForOfStatement);
+  CHECK_ALIVE(VisitForEffect(stmt->assign_iterator()));
+  DCHECK(current_block() != NULL);
+  HBasicBlock* loop_entry = BuildLoopEntry(stmt);
+
+  HBasicBlock* body_entry = graph()->CreateBasicBlock();
+  HBasicBlock* loop_successor = graph()->CreateBasicBlock();
+  CHECK_BAILOUT(VisitForEffect(stmt->next_result()));
+  CHECK_BAILOUT(
+      VisitForControl(stmt->result_done(), loop_successor, body_entry));
+  if (body_entry->HasPredecessor()) {
+    body_entry->SetJoinId(stmt->BackEdgeId());
+    set_current_block(body_entry);
+  }
+  if (loop_successor->HasPredecessor()) {
+    loop_successor->SetJoinId(stmt->ExitId());
+  } else {
+    loop_successor = NULL;
+  }
+
+  BreakAndContinueInfo break_info(stmt, scope());
+  if (current_block() != NULL) {
+    BreakAndContinueScope push(&break_info, this);
+    CHECK_BAILOUT(VisitForEffect(stmt->assign_each()));
+    CHECK_BAILOUT(VisitLoopBody(stmt, loop_entry));
+  }
+  HBasicBlock* body_exit =
+      JoinContinue(stmt, current_block(), break_info.continue_block());
+
+  HBasicBlock* loop_exit = CreateLoop(stmt, loop_entry, body_exit,
+                                      loop_successor, break_info.break_block());
+  set_current_block(loop_exit);
 }
 
 
 void HOptimizedGraphBuilder::VisitTryCatchStatement(TryCatchStatement* stmt) {
   DCHECK(!HasStackOverflow());
   DCHECK(current_block() != NULL);
   DCHECK(current_block()->HasPredecessor());
   return Bailout(kTryCatchStatement);
 }
 
@@ skipping 8037 matching lines @@
     isolate()->GetHTracer()->TraceHydrogen(name(), graph_);
   }
 
 #ifdef DEBUG
   graph_->Verify(false);  // No full verify.
 #endif
 }
 
 }  // namespace internal
 }  // namespace v8