cie-pseudocode-compiler.git/lib/CodeGen/FunctionGen.cc, branch main

feat(types): support implicit single-argument constructors

2026-10-30T14:23:32Z

Co-Authored-By: Claude Opus 5.5

feat(overload): support default return types

2026-10-28T13:36:16Z

Co-Authored-By: Claude Opus 5.5

refactor(memory)!: move allocation functions into memory.cps

2026-10-27T13:27:14Z

Route keyword NEW and DELETE through the same library runtime and retain allocation tracking, runtime diagnostics and exception behavior. BREAKING CHANGE: -no-std programs using NEW or DELETE must explicitly import memory.cps. Co-Authored-By: Claude Opus 5.5

feat(overload): select overloads by return type as well as parameters

2026-10-24T18:01:36Z

Co-Authored-By: Claude Opus 5.5

fix(codegen): raise a runtime error when a FUNCTION ends without RETURN

2026-10-22T15:21:11Z

Report the function and its header line, then throw, instead of silently returning zero. FUNCTION MAIN keeps its implicit result. Co-Authored-By: Claude Sonnet 5.5

feat(codegen): accept pointer types to any C type in EXTERN

2026-10-22T13:56:44Z

A pseudocode pointer type now counts as a C type, in EXTERN signatures and as a C-struct field, when it finally points to a non-void C type or a C struct, as in TYPE PInt = ^C_INT. A pointer cycle such as TYPE P = ^P and a pointer to a pseudocode type stay rejected. Co-Authored-By: Claude Opus 5.5

feat(codegen): pass C-struct records by value as variadic arguments

2026-10-22T13:51:44Z

A variadic EXTERN call is now arranged by clang per call, from the fixed parameter count and the promoted argument types. C-struct records pass unchanged in variadic positions, as C11 6.5.2.2p6-7 and 7.16.1.1p2 allow; a record that is not a C struct names the offending field. Co-Authored-By: Claude Opus 5.5

feat(codegen): return C-struct records by value

2026-10-22T13:46:40Z

EXTERN_FUNCTION may now return a C-struct record by value, either through caller-supplied sret memory or as a coerced value stored back into the record, as clang arranges it. This removes the last by-value rejection. Co-Authored-By: Claude Opus 5.5

feat(codegen): pass C-struct records by value

2026-10-22T13:45:36Z

EXTERN parameters may now be C-struct records by value. clang's arrangement decides the passing: coerced through memory, flattened into elements, or indirect as byval or a pointer to a copy. Returning a record by value stays rejected for now. Co-Authored-By: Claude Opus 5.5

feat(codegen): arrange EXTERN signatures with clang's C ABI

2026-10-22T13:43:50Z

Every EXTERN "C" signature is now arranged by clang's CodeGen (arrangeFreeFunctionCall) for the host triple and applied by one generic lowering routine, replacing the hand-written signext/zeroext rule. clangCodeGen is linked statically into CPSCodeGen. Records still cross only through pointer types, so generated code is unchanged. Co-Authored-By: Claude Opus 5.5