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 --- lib/CodeGen/StringHandler.cc | 6 ------ 1 file changed, 6 deletions(-) (limited to 'lib/CodeGen/StringHandler.cc') diff --git a/lib/CodeGen/StringHandler.cc b/lib/CodeGen/StringHandler.cc index f777059..e5971d0 100644 --- a/lib/CodeGen/StringHandler.cc +++ b/lib/CodeGen/StringHandler.cc @@ -114,12 +114,6 @@ Value *StringHandler::emitRight(Value *Str, Value *Len) { Value *StringHandler::emitLeft(Value *Str, Value *Len) { Value *FullLen = emitLength(Str); - if (Len->getType()->isIntegerTy() && Len->getType()->getIntegerBitWidth() != 64) { - Len = Builder.CreateSExt(Len, Type::getInt64Ty(Context), "len_ext"); - } - else if (Len->getType()->isDoubleTy()) { - Len = Builder.CreateFPToSI(Len, Type::getInt64Ty(Context), "len_int"); - } Value *Zero = ConstantInt::get(Context, APInt(64, 0)); Value *IsNeg = Builder.CreateICmpSLT(Len, Zero); -- cgit v1.3.1-4-g156e