diff options
| author | _ov4 <ov4@ov4.org> | 2026-07-26 12:02:32 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-07-26 12:02:32 +0000 |
| commit | 4df7c22b99349dcf2175d69679eafa175d49aa9f (patch) | |
| tree | 1b44c329ed3e3f75787d9410d211ad0ed597b681 /lib/CodeGen/FunctionGen.cc | |
| parent | 0b4cdf7b28b3855d2dee18d91e9319d66a8ec25f (diff) | |
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 <noreply@anthropic.com>
Diffstat (limited to 'lib/CodeGen/FunctionGen.cc')
| -rw-r--r-- | lib/CodeGen/FunctionGen.cc | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/CodeGen/FunctionGen.cc b/lib/CodeGen/FunctionGen.cc index 89aa3d8..0a22278 100644 --- a/lib/CodeGen/FunctionGen.cc +++ b/lib/CodeGen/FunctionGen.cc @@ -9,6 +9,7 @@ Type *FunctionGen::getLLVMType(const std::string &TypeName) { Type *Resolved = Types.getLLVMType(TypeName); if (!Resolved) { fprintf(stderr, "Error: Unknown type %s\n", TypeName.c_str()); + HadError = true; return Type::getInt64Ty(Context); } return Resolved; @@ -78,6 +79,7 @@ Function *FunctionGen::emitFunctionDef(FunctionDefAST *FuncAST, if (!TheFunction) return nullptr; if (!TheFunction->empty()) { fprintf(stderr, "Error: Function %s cannot be redefined.\n", Proto->getName().c_str()); + HadError = true; return nullptr; } @@ -103,7 +105,6 @@ Function *FunctionGen::emitFunctionDef(FunctionDefAST *FuncAST, } } - verifyFunction(*TheFunction); NamedValues = OldNamedValues; Symbols = OldSymbols; return TheFunction; @@ -113,7 +114,8 @@ static Value *GenerateCall(llvm::Module &Module, llvm::IRBuilder<> &Builder, llvm::LLVMContext &Context, const std::string &CalleeName, - const std::vector<llvm::Value*> &Args) { + const std::vector<llvm::Value*> &Args, + bool &HadError) { Function *CalleeF = Module.getFunction(CalleeName); if (!CalleeF) { std::vector<Type*> ArgTypes; @@ -124,6 +126,7 @@ static Value *GenerateCall(llvm::Module &Module, if (CalleeF->arg_size() != Args.size()) { fprintf(stderr, "Error: Incorrect # arguments passed to %s\n", CalleeName.c_str()); + HadError = true; return nullptr; } @@ -135,11 +138,11 @@ static Value *GenerateCall(llvm::Module &Module, } llvm::Value *FunctionGen::emitCallExpr(CallExprAST *Call, const std::vector<llvm::Value*> &Args) { - return GenerateCall(Module, Builder, Context, Call->getCallee(), Args); + return GenerateCall(Module, Builder, Context, Call->getCallee(), Args, HadError); } void FunctionGen::emitCallStmt(CallStmtAST *Call, const std::vector<llvm::Value*> &Args) { - GenerateCall(Module, Builder, Context, Call->getCallee(), Args); + GenerateCall(Module, Builder, Context, Call->getCallee(), Args, HadError); } void FunctionGen::emitReturn(ReturnStmtAST *Ret, llvm::Value *RetVal) { |
