Add for loop to asm-to-wasm

src/wasm/asm-wasm-builder.cc

 // Copyright 2015 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/v8.h"
 
 #include "src/wasm/asm-wasm-builder.h"
 #include "src/wasm/wasm-macro-gen.h"
 #include "src/wasm/wasm-opcodes.h"
 
@@ skipping 208 matching lines @@
     breakable_blocks_.push_back(
         std::make_pair(stmt->AsBreakableStatement(), true));
     current_function_builder_->Emit(kExprIf);
     RECURSE(Visit(stmt->cond()));
     current_function_builder_->EmitWithU8(kExprBr, 0);
     RECURSE(Visit(stmt->body()));
     breakable_blocks_.pop_back();
   }
 
   void VisitForStatement(ForStatement* stmt) {
+    DCHECK(in_function_);
     if (stmt->init() != NULL) {
+      block_size_++;
       RECURSE(Visit(stmt->init()));
     }
+    current_function_builder_->Emit(kExprLoop);
+    uint32_t index = current_function_builder_->EmitEditableImmediate(0);
+    int prev_block_size = block_size_;
+    block_size_ = 0;
+    breakable_blocks_.push_back(
+        std::make_pair(stmt->AsBreakableStatement(), true));
     if (stmt->cond() != NULL) {
+      block_size_++;
+      current_function_builder_->Emit(kExprIf);
+      current_function_builder_->Emit(kExprBoolNot);
       RECURSE(Visit(stmt->cond()));
+      current_function_builder_->EmitWithU8(kExprBr, 1);
+      current_function_builder_->Emit(kExprNop);
+    }
+    if (stmt->body() != NULL) {
+      block_size_++;
+      RECURSE(Visit(stmt->body()));
     }
     if (stmt->next() != NULL) {
+      block_size_++;
       RECURSE(Visit(stmt->next()));
     }
-    RECURSE(Visit(stmt->body()));
+    block_size_++;
+    current_function_builder_->EmitWithU8(kExprBr, 0);
+    current_function_builder_->Emit(kExprNop);
+    current_function_builder_->EditImmediate(index, block_size_);
+    block_size_ = prev_block_size;
+    breakable_blocks_.pop_back();
   }
 
   void VisitForInStatement(ForInStatement* stmt) {

[bradnelson, 2015/12/15 03:07:04]

Unrelated to this CL, but since for..in, for..of, try..catch, try..finally are
forbidden by the typer, maybe switch them to UNREACHABLE(); in another CL.

     RECURSE(Visit(stmt->enumerable()));
     RECURSE(Visit(stmt->body()));
   }
 
   void VisitForOfStatement(ForOfStatement* stmt) {
     RECURSE(Visit(stmt->iterable()));
     RECURSE(Visit(stmt->body()));
   }
 
   void VisitTryCatchStatement(TryCatchStatement* stmt) {
@@ skipping 717 matching lines @@
 // that zone in constructor may be thrown away once wasm module is written.
 WasmModuleIndex* AsmWasmBuilder::Run() {
   AsmWasmBuilderImpl impl(isolate_, zone_, literal_);
   impl.Compile();
   WasmModuleWriter* writer = impl.builder_->Build(zone_);
   return writer->WriteTo(zone_);
 }
 }  // namespace wasm
 }  // namespace internal
 }  // namespace v8