From 07101995e2626d5c11f788063f9343b554d27b5c Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 27 Aug 2023 22:20:27 +0100 Subject: Add WASM loop isntruction --- .../wasm/structure/ast/instructions/WasmInstruction.java | 2 +- .../backends/wasm/structure/ast/instructions/WasmLoop.java | 9 +++++++++ .../wasm/structure/binary/WasmBinaryFormatInstructions.java | 9 +++++++++ 3 files changed, 19 insertions(+), 1 deletion(-) create mode 100644 src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmLoop.java (limited to 'src/main/java') diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmInstruction.java b/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmInstruction.java index 19bb1c50..28ddcc7c 100644 --- a/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmInstruction.java +++ b/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmInstruction.java @@ -1,4 +1,4 @@ package org.shedlang.compiler.backends.wasm.structure.ast.instructions; -public sealed interface WasmInstruction permits WasmBlock, WasmCall, WasmCallIndirect, WasmDrop, WasmGlobalGet, WasmGlobalSet, WasmI32Add, WasmI32Const, WasmI32Eq, WasmI32Load, WasmI32Ne, WasmI32Store, WasmI32Sub, WasmI64Const, WasmIf, WasmLocalGet, WasmLocalSet, WasmMemoryAddressConst, WasmMemoryGrow, WasmReturn, WasmTableElementIndexConst { +public sealed interface WasmInstruction permits WasmBlock, WasmCall, WasmCallIndirect, WasmDrop, WasmGlobalGet, WasmGlobalSet, WasmI32Add, WasmI32Const, WasmI32Eq, WasmI32Load, WasmI32Ne, WasmI32Store, WasmI32Sub, WasmI64Const, WasmIf, WasmLocalGet, WasmLocalSet, WasmLoop, WasmMemoryAddressConst, WasmMemoryGrow, WasmReturn, WasmTableElementIndexConst { } diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmLoop.java b/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmLoop.java new file mode 100644 index 00000000..f1194e2e --- /dev/null +++ b/src/main/java/org/shedlang/compiler/backends/wasm/structure/ast/instructions/WasmLoop.java @@ -0,0 +1,9 @@ +package org.shedlang.compiler.backends.wasm.structure.ast.instructions; + +import java.util.List; + +public record WasmLoop( + WasmBlockType blockType, + List body +) implements WasmInstruction { +} diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatInstructions.java b/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatInstructions.java index 1a9501d5..6eb91258 100644 --- a/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatInstructions.java +++ b/src/main/java/org/shedlang/compiler/backends/wasm/structure/binary/WasmBinaryFormatInstructions.java @@ -31,6 +31,15 @@ public class WasmBinaryFormatInstructions { writer.writeByte(0x0b); } + case WasmLoop loop -> { + writer.writeByte(0x03); + writeBlockType(loop.blockType(), writer); + for (var subInstruction : loop.body()) { + writeInstruction(subInstruction, writer); + } + writer.writeByte(0x0b); + } + case WasmIf if_ -> { writer.writeByte(0x04); writeBlockType(if_.blockType(), writer); -- cgit v1.2.3