Add typed int add node

2 files changed, 31 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/stackir/StackCompilerIntAddTests.java b/src/test/java/org/shedlang/compiler/stackir/StackCompilerIntAddTests.java
new file mode 100644
index 00000000..55283682
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/stackir/StackCompilerIntAddTests.java
@@ -0,0 +1,27 @@
+package org.shedlang.compiler.stackir;
+
+import org.junit.jupiter.api.Test;
+import org.shedlang.compiler.ast.typed.Typed;
+
+import static org.shedlang.compiler.stackir.instructions.InstructionMatchers.isIntAddInstruction;
+import static org.shedlang.compiler.stackir.instructions.InstructionMatchers.isPushIntInstruction;
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.isSequence;
+
+public class StackCompilerIntAddTests {
+    @Test
+    public void intAddIsCompiledToIntAddInstruction() {
+        var node = Typed.intAdd(
+            Typed.intLiteral(42),
+            Typed.intLiteral(47)
+        );
+
+        var instructions = StackCompiler.compileExpression(node);
+
+        assertThat(instructions, isSequence(
+            isPushIntInstruction(42),
+            isPushIntInstruction(47),
+            isIntAddInstruction()
+        ));
+    }
+}
diff --git a/src/test/java/org/shedlang/compiler/stackir/instructions/InstructionMatchers.java b/src/test/java/org/shedlang/compiler/stackir/instructions/InstructionMatchers.java
index 8e24e131..201a69c2 100644
--- a/src/test/java/org/shedlang/compiler/stackir/instructions/InstructionMatchers.java
+++ b/src/test/java/org/shedlang/compiler/stackir/instructions/InstructionMatchers.java
@@ -33,6 +33,10 @@ public class InstructionMatchers {
         );
     }
 
+    public static Matcher<Instruction> isIntAddInstruction() {
+        return instanceOf(IntAddInstruction.class);
+    }
+
     public static Matcher<Instruction> isLocalLoadInstruction(String name) {
         return instanceOf(
             LocalLoadInstruction.class,