From 4df7c22b99349dcf2175d69679eafa175d49aa9f Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sun, 26 Jul 2026 12:02:32 +0000 Subject: refactor: batch 1 - correctness and error contract - MID/RIGHT/LEFT integer args now coerced at call sites (RIGHT(s, n/2) no longer emits invalid IR); drop emitLeft's private conversion - FOR loop direction decided at run time via select on STEP sign; descending FOR works, STEP evaluated once per iteration - ArrayHandler: extract emitCheckedIndices/loadElement; index count is validated before emission, fixing a compiler-crash (vector OOB UB) on OUTPUT with too many indices - Error contract: Lexer/Parser/CodeGen track errors; all silent failure paths now print Error: diagnostics with line numbers; unterminated char literal no longer truncates the rest of the program; module is verified with verifyModule; driver exits non-zero on any error Co-Authored-By: Claude Fable 5 --- include/cps/FunctionGen.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'include/cps/FunctionGen.h') diff --git a/include/cps/FunctionGen.h b/include/cps/FunctionGen.h index 7ebb7f4..1dc3901 100644 --- a/include/cps/FunctionGen.h +++ b/include/cps/FunctionGen.h @@ -16,9 +16,10 @@ class FunctionGen { llvm::Module &Module; llvm::IRBuilder<> &Builder; TypeSystem &Types; - + std::map &NamedValues; std::map &Symbols; + bool &HadError; void createArgumentAllocas(llvm::Function *F, const std::vector> &Args); @@ -28,8 +29,9 @@ public: llvm::IRBuilder<> &B, TypeSystem &TS, std::map &NV, - std::map &Sym) - : Context(C), Module(M), Builder(B), Types(TS), NamedValues(NV), Symbols(Sym) {} + std::map &Sym, + bool &HadErrorFlag) + : Context(C), Module(M), Builder(B), Types(TS), NamedValues(NV), Symbols(Sym), HadError(HadErrorFlag) {} llvm::Type *getLLVMType(const std::string &TypeName); -- cgit v1.3.1-4-g156e