• [$] Compiling Rust to readable C with Eurydice

    From LWN.net@618:250/24 to All on Sun Feb 1 06:40:09 2026


    A few years ago, the only way to compile Rust code was using the rustc compiler with LLVM as a backend. Since then, several projects, including

    Mutabah's Rust Compiler (mrustc), GCC's Rust
    support (gccrs),

    rust_codegen_gcc, and

    Cranelift have made enormous progress
    on diversifying Rust's compiler implementations. The most recent such project,

    Eurydice, has a
    more ambitious goal: converting Rust code to clean C code. This is especially useful in high-assurance software, where existing verification and compliance tools expect C. Until such tools can be updated to work with Rust, Eurydice could
    provide a smoother transition for these projects, as well as a stepping-stone for environments that have a C compiler but no working Rust compiler. Eurydice has been used to compile some post-quantum-cryptography routines from Rust to C,
    for example.

    https://lwn.net/Articles/1055211/
    --- SBBSecho 3.34-Linux
    * Origin: Palantir * palantirbbs.ddns.net * Pensacola, FL * (618:250/24)