Add unreachable instruction to Patio

2 files changed, 13 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
index e33ecfc4..d2dd9205 100644
--- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
+++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
@@ -442,6 +442,15 @@ public class PatioSerializerTests {
     }
 
     @Test
+    public void canSerializeUnreachable() {
+        var instruction = Patio.unreachable();
+
+        var string = PatioTesting.serializeInstruction(instruction);
+
+        assertThat(string, equalTo("(unreachable)"));
+    }
+
+    @Test
     public void canSerializeVarLoad() {
         var instruction = Patio.varLoad(
             Patio.localRef("target"),
diff --git a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
index 1e22d796..075a9aca 100644
--- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
+++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
@@ -225,6 +225,10 @@ public class Patio {
         return new PatioReturn(value, Sources.NULL);
     }
 
+    public static PatioInstruction unreachable() {
+        return new PatioUnreachable(Sources.NULL);
+    }
+
     public static PatioLocal.Val val(String name, PatioType type) {
         return new PatioLocal.Val(name, type);
     }