crucible-wasm: Adapt to new table instructions in Wasm 2.0

This bumps the `haskell-wasm` commit to SPY/haskell-wasm@4753ebc. For now, we do not implement Wasm 2.0's new table-related instructions, as that would require a non-trivial amount of work to support. See #1228.
GaloisInc · Aug 1, 2024 · 3f21102 · 3f21102
1 parent 03d618f
commit 3f21102
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/crucible-wasm/src/Lang/Crucible/Wasm/Translate.hs b/crucible-wasm/src/Lang/Crucible/Wasm/Translate.hs
@@ -810,6 +810,14 @@ genInstruction genReturn im st ctrlStack instr =
     -- RefIsNull
     -- RefFunc FuncIndex
 
+    -- TableInit TableIndex ElemIndex
+    -- TableGrow TableIndex
+    -- TableSize TableIndex
+    -- TableFill TableIndex
+    -- TableGet TableIndex
+    -- TableSet TableIndex
+    -- TableCopy TableIndex TableIndex
+
     _ -> unimplemented $ unwords ["Instruction not implemented", show instr]
 
 invokeFn ::

diff --git a/dependencies/haskell-wasm b/dependencies/haskell-wasm
+47 −3		src/Language/Wasm/Parser.y
+9 −0		src/Language/Wasm/Structure.hs