Set the type of the implicit blocks we use for a loop body in s2wasm (#810)

Loops are modeled in Binaryen IR as having a Block as a body. The block
is added to module walkers and validated like a normal block.
In s2wasm when we add the blocks, we need to make sure that the type of
the loop body matches the type of the loop itself, or we run into
issues.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/s2wasm.h b/src/s2wasm.h
index 1e52cfbce..c5b502c6d 100644
--- a/src/s2wasm.h
+++ b/src/s2wasm.h
@@ -1129,6 +1129,7 @@ class S2WasmBuilder {
         curr->name = getNextLabel();
         auto implicitBlock = allocator->alloc<Block>();
         curr->body = implicitBlock;
+        implicitBlock->type = loopType;
         bstack.push_back(curr);
       } else if (match("end_loop")) {
         auto* loop = bstack.back()->cast<Loop>();