From b91f3ecbba9954f7f46d954918d87266d1518af7 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 25 Jun 2023 15:44:21 +0100
Subject: Add WASM code gen for push-bool instruction

---
 .../backends/wasm/WasmCodeGenPushBoolTests.java    | 36 ++++++++++++++++++++++
 .../structure/WasmBinaryFormatModuleTests.java     |  6 ++--
 .../backends/wasm/structure/WasmObjdump.java       | 28 +++++++++++++++++
 3 files changed, 66 insertions(+), 4 deletions(-)
 create mode 100644 src/test/java/org/shedlang/compiler/backends/wasm/WasmCodeGenPushBoolTests.java
 create mode 100644 src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmObjdump.java

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/backends/wasm/WasmCodeGenPushBoolTests.java b/src/test/java/org/shedlang/compiler/backends/wasm/WasmCodeGenPushBoolTests.java
new file mode 100644
index 00000000..e7b2f57c
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/backends/wasm/WasmCodeGenPushBoolTests.java
@@ -0,0 +1,36 @@
+package org.shedlang.compiler.backends.wasm;
+
+import org.junit.jupiter.api.Test;
+import org.junit.jupiter.api.extension.ExtendWith;
+import org.shedlang.compiler.stackir.instructions.Instructions;
+import org.shedlang.compiler.testing.snapshots.SnapshotResolver;
+import org.shedlang.compiler.testing.snapshots.Snapshotter;
+
+import java.io.IOException;
+
+import static org.shedlang.compiler.backends.wasm.structure.WasmObjdump.objdump;
+
+@ExtendWith({SnapshotResolver.class})
+public class WasmCodeGenPushBoolTests {
+    @Test
+    public void pushFalseIsCompiledToOperandInStack(Snapshotter snapshotter) throws IOException, InterruptedException {
+        var instruction = Instructions.pushBool(false);
+        var context = WasmCodeGenContext.EMPTY;
+
+        var result = WasmCodeGen.generateInstruction(instruction, context);
+
+        var module = result.toFunction().toModule();
+        snapshotter.assertSnapshot(objdump(module));
+    }
+
+    @Test
+    public void pushTrueIsCompiledToOperandInStack(Snapshotter snapshotter) throws IOException, InterruptedException {
+        var instruction = Instructions.pushBool(true);
+        var context = WasmCodeGenContext.EMPTY;
+
+        var result = WasmCodeGen.generateInstruction(instruction, context);
+
+        var module = result.toFunction().toModule();
+        snapshotter.assertSnapshot(objdump(module));
+    }
+}
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 8f36def5..a5998e10 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
@@ -20,6 +20,8 @@ import java.nio.file.Files;
 import java.nio.file.Path;
 import java.util.List;
 
+import static org.shedlang.compiler.backends.wasm.structure.WasmObjdump.objdump;
+
 @ExtendWith({SnapshotResolver.class})
 public class WasmBinaryFormatModuleTests {
     @Test
@@ -367,8 +369,4 @@ public class WasmBinaryFormatModuleTests {
         ProcessRunner.run(List.of("wasm-validate", "--enable-exceptions", path.toString()))
             .throwOnError();
     }
-
-    private String objdump(Path path) throws IOException, InterruptedException {
-        return ProcessRunner.run(List.of("wasm-objdump", "-dx", path.toString())).throwOnError().stdout();
-    }
 }
diff --git a/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmObjdump.java b/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmObjdump.java
new file mode 100644
index 00000000..8caadd1a
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/backends/wasm/structure/WasmObjdump.java
@@ -0,0 +1,28 @@
+package org.shedlang.compiler.backends.wasm.structure;
+
+import org.shedlang.compiler.backends.wasm.structure.ast.modules.WasmModule;
+import org.shedlang.compiler.testing.ProcessRunner;
+
+import java.io.FileOutputStream;
+import java.io.IOException;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.util.List;
+
+public class WasmObjdump {
+    public static String objdump(WasmModule module) throws IOException, InterruptedException {
+        Files.createDirectories(Path.of("tests-tmp"));
+        var temporaryDirectory = Files.createTempDirectory(Path.of("tests-tmp"), "WasmObjdump");
+        var modulePath = temporaryDirectory.resolve("module.wasm");
+
+        try (var outputStream = new FileOutputStream(modulePath.toFile())) {
+            WasmBinaryFormat.serializeModule(module, outputStream);
+        }
+
+        return objdump(modulePath);
+    }
+
+    public static String objdump(Path path) throws IOException, InterruptedException {
+        return ProcessRunner.run(List.of("wasm-objdump", "-dx", path.toString())).throwOnError().stdout();
+    }
+}
-- 
cgit v1.2.3