From 345e3d419eafb0e234aecb4a33f37efe2afbbf53 Mon Sep 17 00:00:00 2001
From: _ov4 <ov4@ov4.org>
Date: Sun, 18 Oct 2026 08:07:50 +0000
Subject: feat(classes): add copy constructors and statement-scoped temporaries

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 include/cps/CodeGen.h | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'include/cps/CodeGen.h')

diff --git a/include/cps/CodeGen.h b/include/cps/CodeGen.h
index 9b2d6c5..30f4135 100644
--- a/include/cps/CodeGen.h
+++ b/include/cps/CodeGen.h
@@ -66,6 +66,7 @@ class CodeGen {
         llvm::AllocaInst *Count; // Non-null for an array; Addr then holds its buffer pointer.
         int Line;
         bool IsCopy;
+        bool Temporary = false;
     };
     std::vector<StackObject> StackObjects;
     size_t registerStackObject(llvm::Value *Addr, const std::string &TypeName, int Line,
@@ -73,6 +74,14 @@ class CodeGen {
     void activateStackObject(size_t Index, llvm::Value *Count = nullptr);
     void emitStackObjectCleanup(const StackObject &Object);
     void finishStackObjects(llvm::Function *F);
+    void cleanupTemporaries(size_t Start = 0);
+    bool isObjectLValue(ExprAST *Expr) const;
+    llvm::Value *emitOwnedValue(ExprAST *Expr, const TypeInfo *Type,
+                               std::vector<size_t> &Transfers);
+    llvm::Value *copyClassValue(const TypeInfo *Type, llvm::Value *Address,
+                                 std::vector<size_t> &Transfers);
+    void transferObjects(const std::vector<size_t> &Objects);
+    void emitStmtImpl(StmtAST *Stmt);
     struct ConstantScope {
         unsigned ID;
         IdentifierMap<std::optional<SymbolInfo>> Saved;
-- 
cgit v1.3.1-4-g156e