diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-19 21:24:53 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-19 21:25:06 +0100 |
| commit | 7e1063d13f4d810ec8520367e7a5a1e9438d05aa (patch) | |
| tree | 5755da462f498882160b2b4c05a4ff46afbc5177 /src/main/java | |
| parent | f5b3c08b6c0253ab1a0e4fd608c9e096cbbcbb04 (diff) | |
Add Patio code gen for push-int
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java index 9e0b652a..c0d52b54 100644 --- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java +++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java @@ -22,6 +22,9 @@ public class PatioCodeGen { case PushBoolInstruction pushBool -> P.vector(new PatioPushInt(pushBool.value() ? 1 : 0, pushBool.source())); + case PushIntInstruction pushInt -> + P.vector(new PatioPushInt(pushInt.value().intValueExact(), pushInt.source())); + case PushUnitInstruction pushUnit -> P.vector(new PatioPushInt(0, pushUnit.source())); |