From cccc61da54776d13fdb1655631e9ae3b81dd2ab3 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 8 Mar 2025 14:46:09 +0000 Subject: Support undefined data elements in Wasm binary format --- .../wasm/structure/binary/WasmBinaryFormatModulesTests.java | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java b/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java index 4d7ba09c..13ea6fe0 100644 --- a/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java +++ b/src/test/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatModulesTests.java @@ -355,6 +355,17 @@ public class WasmBinaryFormatModulesTests { snapshotter.assertSnapshot(result); } + @Test + public void canSerializeModuleWithUndefinedData(Snapshotter snapshotter) throws IOException, InterruptedException { + var module = WasmModule.EMPTY + .addUndefinedDataElement("data1") + .addUndefinedDataElement("data2"); + + var result = serializeModuleWasm32(module); + + snapshotter.assertSnapshot(result); + } + @Test public void canSerializeModuleWithInitFuncs(Snapshotter snapshotter) throws IOException, InterruptedException { var module = WasmModule.EMPTY -- cgit v1.2.3