To whom it may concern,
Today I release Kefir — an independent C17/C23 compiler. Solo-built. Extensively validated, for x86_64 & System-V ABI. With SSA-based optimization pipeline, DWARF-5 support and position-independent code generation.
What?
Implements the C17/C23 standard. Plus certain GNU C extensions.
For Linux (glibc & musl), FreeBSD, OpenBSD, NetBSD.
Extensive and transparent validation suite. Compiles and runs well-known open source projects — GNU core- and binutils, Curl, Git, Nginx, OCaml OpenSSL, OpenSSH, Perl, Postgresql, Tcl, Wget and many more. A large internal test suite, third-party suites and multiple bootstrap configurations.
No frameworks. From scratch parsing, compilation, optimization and code generation.
Full source-to-assembly translation, SSA-based IR, optimization passes. mem2reg, phi propagation, constant folding, simplification, loop-invariant code motion, global value numbering, dead code elimination, function inlining, tail-call optimization.
DWARF5 debug information. Position-independent code. AT&T and Intel syntaxes of GNU As. Limited support for Yasm.
Bit-identical bootstrap from host compiler. On all supported platforms.
... continue reading