Inching ever closer to the Rust standard library with gccrs
summary
Gccrs claims near-complete compilation of core (first big milestone toward std) and ships in GCC 15.1; the build reuses the Rust format parser and plans to integrate Polonius borrow checker. Work includes for-loop desugaring, implementing lang-item path resolution in the AST, a specialization preciseness graph to pick defaults vs. specialized impls, a rewritten multi-pass name resolver, and a small llvm_asm subset to handle black_box. A three-line for loop producing 173 lines of assembly motivates these changes; core compiles imminently and enables Rust-for-Linux targets.
AI-written summary · about
chapters (14)
- 0:00Introduction
- 0:36Who are we
- 1:23Context
- 2:52Goals
- 6:07Why compile SD
- 7:45Whats in Core
- 8:48Previous approach
- 10:15Short snippet
- 11:36What you need
- 12:00For loops
- 20:02Honorable mentions
- 21:01Builtin derive macros
- 21:34Name resolution 20
- 26:24Next steps
related talks
24mThe road to compiling the standard library with gccrs
27mRust GCC Front-end
30mgccrs: An alternative compiler for Rust
44mCompiling the Linux Kernel with gccrs
28mrustc_codegen_gcc: A gcc codegen for the Rust compiler
35mCore Team Keynote
23mBootstrapping: The once and future compiler
40mRust’s approach of getting things right