| ▲ | andrewchambers a day ago |
| Would love to see someone try to automate the bootstrap chain from a working C89 compiler to Rust. At this point I think current LLMs are able help these incredible feats of bootstrapping as they can grind out the impossibly long built times over multiple days/weeks. I am very optimistic for deterministic builds in general. |
|
| ▲ | siraben a day ago | parent | next [-] |
| I am working on this![0] But this is actually a herculean task, I've been chipping at it for weeks and even trying to cheat somewhat by translating mrustc from C++ to C89. If anyone has ideas/cheaper ways to run it I would like to know. In the meantime, months ago I achieved bootstrap of TCC (then GCC 4.6) via the same path as the live-bootstrap project but replacing the Scheme part with a C compiler in Ben Lynn's Haskell dialect.[1] This was a project I wish I had time to do years ago[2] but never had the time or motivation for, and the type of things agents can do well now (they couldn't write good Haskell a year ago). [0] https://github.com/siraben/mrustc/tree/siraben/cmrustc [1] https://github.com/siraben/blynn-bootstrap [2] https://logs.guix.gnu.org/bootstrappable/2021-05-26.log#1438... |
| |
| ▲ | Rochus 20 hours ago | parent [-] | | > If anyone has ideas/cheaper ways to run it I would like to know GCC 4.7.4 was the last version of GCC fully written in C, with full C++98/03 support and a decent subset of C++11. As far as I know it is used by the bootstrap project presented in the article. | | |
| ▲ | siraben 18 hours ago | parent [-] | | Specifically the expensive part is getting a C89 port of mrustc to compile rustc 1.90.0. mrustc needs C++ right now, bootstrapping via TCC by writing it in C89 would be the shorter chain. | | |
| ▲ | Rochus 17 hours ago | parent [-] | | Sounds pretty difficult (if not impossible, see cfront 4.0) to translate C++ code to C89. You have to keep track of all constructors and destructors and their progress along the body yourself, and I assume it must be fit for exceptions as well? | | |
| ▲ | siraben 17 hours ago | parent [-] | | Yes, this isn't meant to be a complete port and I only started dipping into mrustc because the previous agents were going off the rails. I have mostly been throwing spare weekly quotas at this but deeper thought will be required to get an actual working Rust compiler in C. Rust is an enormously more complex language, so it might just be at the capability limit. | | |
| ▲ | Rochus 16 hours ago | parent [-] | | > Rust is an enormously more complex language I have no doubt that a Rust compiler can be implemented in C. But it's a different project to write one in C from start than trying to migrate an existing C++14 based project to C. The former is likely "easier". An alternative approach could be to migrate the C++14 code back to C++98 and get rid of the exceptions, which makes it transpilable to C (using the cfront approach). Though the result might not be maintainable C, but still C. EDIT: if you manage to migrate it back to a sufficiently moderate C++11 subset, or even C++98, you could use GCC 4.7.4 to compile it, which itself is written in C. | | |
|
|
|
|
|
|
| ▲ | lrvick a day ago | parent | prev [-] |
| > Would love to see someone try to automate the bootstrap chain from a working C89 compiler to Rust. We did that in stagex over a year ago actually and several major orgs are using it in production. Also no dependency on libgcc. LLVM native. We presented it at Open Source Summit and Linux Security Summit this year. Clone https://codeberg.org/stagex/stagex and run "make core-rust". Will build "FROM scratch" in containers from hex0 to recent rustc. |
