From 9c9fe47aef087f49c673e91b47aac6d403537575 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 1 Oct 2023 20:45:04 +0100 Subject: Add unreachable instruction to Patio --- .../java/org/shedlang/compiler/patio/PatioSerializerTests.java | 9 +++++++++ .../java/org/shedlang/compiler/patio/instructions/Patio.java | 4 ++++ 2 files changed, 13 insertions(+) (limited to 'src/test/java') 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 @@ -441,6 +441,15 @@ public class PatioSerializerTests { assertThat(string, equalTo("(return (local \"value\"))")); } + @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( 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); } -- cgit v1.2.3