Change local-copy to more general local-store

6 files changed, 18 insertions, 16 deletions

diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java
index f85d97a1..aca3f71c 100644
--- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java
+++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenContext.java
@@ -7,7 +7,7 @@ import org.pcollections.PVector;
 import org.shedlang.compiler.backends.llvm.NameAllocator;
 import org.shedlang.compiler.patio.ast.*;
 import org.shedlang.compiler.patio.ast.instructions.PatioInstruction;
-import org.shedlang.compiler.patio.ast.instructions.PatioLocalCopy;
+import org.shedlang.compiler.patio.ast.instructions.PatioLocalStore;
 import org.shedlang.compiler.patio.ast.operands.PatioLocalRef;
 import org.shedlang.compiler.patio.ast.types.PatioDataLayout;
 import org.shedlang.compiler.patio.ast.types.PatioType;
@@ -244,7 +244,7 @@ public record PatioCodeGenContext(
         var result = this.functionContext.temporaryPop();
 
         return new PatioCodeGenContext(this.compilationUnitContext, result.context)
-            .addInstruction(new PatioLocalCopy(target, result.value, source));
+            .addInstruction(new PatioLocalStore(target, result.value, source));
     }
     
     public PatioCodeGenContext temporaryPush(PatioLocalRef value) {
diff --git a/src/main/java/org/shedlang/compiler/patio/ast/PatioSerializer.java b/src/main/java/org/shedlang/compiler/patio/ast/PatioSerializer.java
index 8edf1464..bfdbac89 100644
--- a/src/main/java/org/shedlang/compiler/patio/ast/PatioSerializer.java
+++ b/src/main/java/org/shedlang/compiler/patio/ast/PatioSerializer.java
@@ -174,11 +174,11 @@ public class PatioSerializer {
                     operandToTree(intToDataPtr.value())
                 );
 
-            case PatioLocalCopy localCopy ->
+            case PatioLocalStore localStore ->
                 treeList(
-                    treeIdentifier("local-copy"),
-                    operandToTree(localCopy.target()),
-                    operandToTree(localCopy.value())
+                    treeIdentifier("local-store"),
+                    operandToTree(localStore.target()),
+                    operandToTree(localStore.value())
                 );
 
             case PatioMemoryLoad memoryLoad ->
diff --git a/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioInstruction.java b/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioInstruction.java
index 88b47962..c18afbd1 100644
--- a/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioInstruction.java
+++ b/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioInstruction.java
@@ -2,6 +2,6 @@ package org.shedlang.compiler.patio.ast.instructions;
 
 import org.shedlang.compiler.sources.Source;
 
-public sealed interface PatioInstruction permits PatioAlloc, PatioCallPointer, PatioDataPtrGet, PatioDataPtrToInt, PatioFunctionPointerGet, PatioIf, PatioIntAdd, PatioIntGet, PatioIntToDataPtr, PatioLocalCopy, PatioMemoryLoad, PatioMemoryStore, PatioReturn {
+public sealed interface PatioInstruction permits PatioAlloc, PatioCallPointer, PatioDataPtrGet, PatioDataPtrToInt, PatioFunctionPointerGet, PatioIf, PatioIntAdd, PatioIntGet, PatioIntToDataPtr, PatioLocalStore, PatioMemoryLoad, PatioMemoryStore, PatioReturn {
     Source source();
 }
diff --git a/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioLocalCopy.java b/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioLocalStore.java
index 34d5bbaa..22939cd5 100644
--- a/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioLocalCopy.java
+++ b/src/main/java/org/shedlang/compiler/patio/ast/instructions/PatioLocalStore.java
@@ -1,14 +1,15 @@
 package org.shedlang.compiler.patio.ast.instructions;
 
 import org.shedlang.compiler.patio.ast.operands.PatioLocalRef;
+import org.shedlang.compiler.patio.ast.operands.PatioOperand;
 import org.shedlang.compiler.sources.Source;
 
 /**
- * Copy the given value into the target local.
+ * Store the given value in the target local.
  */
-public record PatioLocalCopy(
+public record PatioLocalStore(
     PatioLocalRef target,
-    PatioLocalRef value,
+    PatioOperand value,
     Source source
 ) implements PatioInstruction {
 }
diff --git a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
index e7c21285..880c7001 100644
--- a/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
+++ b/src/test/java/org/shedlang/compiler/patio/PatioSerializerTests.java
@@ -199,12 +199,12 @@ public class PatioSerializerTests {
     }
 
     @Test
-    public void canSerializeLocalCopy() {
-        var instruction = Patio.localCopy("target", "x");
+    public void canSerializeLocalStore() {
+        var instruction = Patio.localStore("target", Patio.localRef("x"));
 
         var string = PatioTesting.serializeInstruction(instruction);
 
-        assertThat(string, equalTo("(local-copy (local \"target\") (local \"x\"))"));
+        assertThat(string, equalTo("(local-store (local \"target\") (local \"x\"))"));
     }
 
     @Test
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 50aa38ab..be897477 100644
--- a/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
+++ b/src/test/java/org/shedlang/compiler/patio/instructions/Patio.java
@@ -3,6 +3,7 @@ package org.shedlang.compiler.patio.instructions;
 import org.shedlang.compiler.patio.ast.*;
 import org.shedlang.compiler.patio.ast.instructions.*;
 import org.shedlang.compiler.patio.ast.operands.PatioLocalRef;
+import org.shedlang.compiler.patio.ast.operands.PatioOperand;
 import org.shedlang.compiler.patio.ast.types.PatioDataLayout;
 import org.shedlang.compiler.patio.ast.types.PatioType;
 import org.shedlang.compiler.sources.Sources;
@@ -99,10 +100,10 @@ public class Patio {
         return new PatioLocal(name, type);
     }
 
-    public static PatioInstruction localCopy(String target, String value) {
-        return new PatioLocalCopy(
+    public static PatioInstruction localStore(String target, PatioOperand value) {
+        return new PatioLocalStore(
             new PatioLocalRef(target),
-            new PatioLocalRef(value),
+            value,
             Sources.NULL
         );
     }