From 594488a5ac0edef9074ed8957c65137cee453e37 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 11 Jun 2023 23:01:47 +0100
Subject: Compile push-bool instruction to LLVM IR

---
 .../backends/llvm/LlvmCompilerPushBoolTests.java   | 32 ++++++++++++++++++++++
 .../backends/llvm/ir/ast/LlvmIrMatchers.java       | 19 +++++++++++++
 2 files changed, 51 insertions(+)
 create mode 100644 src/test/java/org/shedlang/compiler/backends/llvm/LlvmCompilerPushBoolTests.java
 create mode 100644 src/test/java/org/shedlang/compiler/backends/llvm/ir/ast/LlvmIrMatchers.java

(limited to 'src/test/java')

diff --git a/src/test/java/org/shedlang/compiler/backends/llvm/LlvmCompilerPushBoolTests.java b/src/test/java/org/shedlang/compiler/backends/llvm/LlvmCompilerPushBoolTests.java
new file mode 100644
index 00000000..b677704a
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/backends/llvm/LlvmCompilerPushBoolTests.java
@@ -0,0 +1,32 @@
+package org.shedlang.compiler.backends.llvm;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.stackir.instructions.Instructions;
+
+import static org.shedlang.compiler.backends.llvm.ir.ast.LlvmIrMatchers.isLlvmOperandInt;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class LlvmCompilerPushBoolTests {
+    @Test
+    public void pushFalseIsCompiledToOperandInStack() {
+        var instruction = Instructions.pushBool(false);
+        var context = LlvmCompilerContext.EMPTY;
+
+        var result = LlvmCompiler.compileInstruction(instruction, context);
+
+        assertThat(result.instructions(), isSequence());
+        assertThat(result.stack(), isSequence(isLlvmOperandInt(0)));
+    }
+
+    @Test
+    public void pushTrueIsCompiledToOperandInStack() {
+        var instruction = Instructions.pushBool(true);
+        var context = LlvmCompilerContext.EMPTY;
+
+        var result = LlvmCompiler.compileInstruction(instruction, context);
+
+        assertThat(result.instructions(), isSequence());
+        assertThat(result.stack(), isSequence(isLlvmOperandInt(1)));
+    }
+}
diff --git a/src/test/java/org/shedlang/compiler/backends/llvm/ir/ast/LlvmIrMatchers.java b/src/test/java/org/shedlang/compiler/backends/llvm/ir/ast/LlvmIrMatchers.java
new file mode 100644
index 00000000..7250778b
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/backends/llvm/ir/ast/LlvmIrMatchers.java
@@ -0,0 +1,19 @@
+package org.shedlang.compiler.backends.llvm.ir.ast;
+
+import org.shedlang.compiler.backends.llvm.ir.ast.operands.LlvmOperand;
+import org.shedlang.compiler.backends.llvm.ir.ast.operands.LlvmOperandInt;
+import org.zwobble.precisely.Matcher;
+
+import static org.zwobble.precisely.Matchers.*;
+
+public class LlvmIrMatchers {
+    private LlvmIrMatchers() {
+    }
+
+    public static Matcher<LlvmOperand> isLlvmOperandInt(long value) {
+        return instanceOf(
+            LlvmOperandInt.class,
+            has("value", x -> x.value(), equalTo(value))
+        );
+    }
+}
-- 
cgit v1.2.3