From 958ff4115e542ef1d0ae712f4961e342386efe54 Mon Sep 17 00:00:00 2001
From: Alon Zakai <azakai@google.com>
Date: Fri, 16 Aug 2024 12:53:52 -0700
Subject: Implement table.init (#6827)

Also use TableInit in the interpreter to initialize module's table
state, which will now handle traps properly, fixing #6431
---
 src/wasm/wasm-ir-builder.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/wasm/wasm-ir-builder.cpp')

diff --git a/src/wasm/wasm-ir-builder.cpp b/src/wasm/wasm-ir-builder.cpp
index 3db6238c4..2f2f3b595 100644
--- a/src/wasm/wasm-ir-builder.cpp
+++ b/src/wasm/wasm-ir-builder.cpp
@@ -1523,6 +1523,14 @@ Result<> IRBuilder::makeTableCopy(Name destTable, Name srcTable) {
   return Ok{};
 }
 
+Result<> IRBuilder::makeTableInit(Name elem, Name table) {
+  TableInit curr;
+  curr.table = table;
+  CHECK_ERR(visitTableInit(&curr));
+  push(builder.makeTableInit(elem, curr.dest, curr.offset, curr.size, table));
+  return Ok{};
+}
+
 Result<> IRBuilder::makeTry(Name label, Type type) {
   auto* tryy = wasm.allocator.alloc<Try>();
   tryy->type = type;
-- 
cgit v1.2.3