From 38b6beb8d3034beb59b3c918502bf9ba1a64be8c Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 26 Nov 2023 00:14:03 +0000 Subject: Add tags to WASM binary format --- .../structure/WasmBinaryFormatModuleTests.java | 24 ++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'src/test/java') diff --git a/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmBinaryFormatModuleTests.java b/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmBinaryFormatModuleTests.java index 203e5db9..881663e2 100644 --- a/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmBinaryFormatModuleTests.java +++ b/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmBinaryFormatModuleTests.java @@ -345,6 +345,30 @@ public class WasmBinaryFormatModuleTests { snapshotter.assertSnapshot(result); } + @Test + public void canSerializeModuleWithExceptionTags(Snapshotter snapshotter) throws IOException, InterruptedException { + var module = WasmModule.EMPTY + .addTag( + WasmTagType.EXCEPTION, + "Error", + List.of(WasmValueType.I32, WasmValueType.I64) + ) + .addTag( + WasmTagType.EXCEPTION, + "ErrorDifferentFieldTypes", + List.of(WasmValueType.I64) + ) + .addTag( + WasmTagType.EXCEPTION, + "ErrorSameFieldTypes", + List.of(WasmValueType.I32, WasmValueType.I64) + ); + + var result = serializeModule(module); + + snapshotter.assertSnapshot(result); + } + private String serializeModule(WasmModule module) throws IOException, InterruptedException { Files.createDirectories(Path.of("tests-tmp")); var temporaryDirectory = Files.createTempDirectory(Path.of("tests-tmp"), "WasmBinaryFormat"); -- cgit v1.2.3