diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-19 21:02:42 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-19 21:02:42 +0100 |
| commit | 2f16ed8127a15cee37c2fe7b5f7df3e468564d33 (patch) | |
| tree | 4fdb5a128520e26100433ddd750702f34c9a55d2 /src/test/java | |
| parent | 009852fcfcbae6679c9155a7f1f2bd819e748b59 (diff) | |
Add push-function-pointer instruction to Patio IR
Diffstat (limited to 'src/test/java')
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java | 9 | ||||
| -rw-r--r-- | src/test/java/org/shedlang/compiler/patio/instructions/Patio.java | 4 |
2 files changed, 13 insertions, 0 deletions
diff --git a/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java index a4dcd0d1..14c86697 100644 --- a/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java +++ b/src/test/java/org/shedlang/compiler/patio/PatioInstructionSerializerTests.java @@ -45,6 +45,15 @@ public class PatioInstructionSerializerTests { } @Test + public void canSerializePushFunctionPointer() { + var instruction = Patio.pushFunctionPointer("f"); + + var string = serialize(instruction); + + assertThat(string, equalTo("(push-function-pointer \"f\")")); + } + + @Test public void canSerializeReturn() { var instruction = Patio.return_(); 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 179e4000..8d08ba27 100644 --- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java +++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java @@ -21,6 +21,10 @@ public class Patio { return new PatioMemoryStore(offset, Sources.NULL); } + public static PatioInstruction pushFunctionPointer(String name) { + return new PatioPushFunctionPointer(name, Sources.NULL); + } + public static PatioInstruction return_() { return new PatioReturn(Sources.NULL); } |
