Resources Rust Compiler Contributor

Master Resources Use this section as the canonical resource hub for learning Rust compiler engineering, moving from orientation to real rustc contributions. It complements the architecture, debugging, testing, performance, and workflow material in this guide. ppl-ai-file-upload.s3.amazonaws Official Rust compiler resources | Resource | Best use | Link | |---|---|---| | Rust Compiler Development Guide | Primary reference for rustc architecture, bootstrapping, queries, MIR, testing, profiling, and contribution workflows | rustc-dev-guide | | Rust repository | Compiler, standard library, test suite, bootstrap infrastructure, and contribution history | rust-lang/rust | | Dev Guide source | File issues or contribute improvements to the compiler documentation itself | rustc-dev-guide repository | | Compiler Team Forge docs | Review, triage, stabilization, backports, working groups, and team processes | Rust Compiler Team Forge | | Rust Compiler Team governance | Current team remit, membership, and official working structure | Compiler Team | | Rust Internals forum | Longer-form compiler, language, and implementation design discussion | internals.rust-lang.org | | Rust Zulip | Day-to-day contributor discussion; find compiler-related streams and help channels | Rust Zulip | Core compiler concepts | Topic | What to learn first | Primary resource | |---|---|---| | Pipeline | AST → macro expansion → HIR → THIR → MIR → monomorphization → backend → linker | Compiler overview | | Queries | Providers, query keys, dependency graph, memoization, cycles, incremental reuse | Queries | | Type context | TyCtxt<'tcx, interning, arenas, compiler-owned lifetimes | Type context | | HIR | Semantic, source-like representation used broadly in analysis | HIR | | MIR | CFG-based representation used by borrow checking, CTFE, transformations, and codegen preparation | MIR | | Borrow checker | Regions, constraints, moves, loans, dataflow, NLL | Borrow checking | | Trait solving | Obligations, normalization, inference, selection, coherence, ambiguity | Traits | | Macros | Expansion, hygiene, spans, token streams, macro-generated source | Macro expansion | | CTFE | MIR interpretation, constants, promotions, validity, const generics | Const evaluation | | Code generation | Monomorphization, LLVM IR, ABI lowering, codegen units, linking | Code generation | The representations and query model are the highest-leverage foundations: rustc is not merely a linear pipeline of passes, but a demand-driven graph of memoized computations. ppl-ai-file-upload.s3.amazonaws Contribution workflow | Task | Resource | |---|---| | Build and run a local compiler | Getting started | | Understand bootstrap stages and hosts/targets | How to build and run | | Run compiler tests | Compiletest | | Write and update diagnostic tests | UI tests | | Investigate compile-time or memory regressions | Profiling | | Find a contribution | Rust issue tracker | | Browse low-barrier compiler work | Issues labeled E-easy | | Understand contributor process | Rust contribution guide | | Review and PR expectations | Compiler team procedures | A healthy first contribution has this shape: That workflow reflects the guide’s recommended approach to reduction, invariants, UI/compiletest coverage, and reviewable compiler changes. ppl-ai-file-upload.s3.amazonaws Performance and debugging - rustc-perf — benchmark dashboard and tooling for compiler wall time, instruction counts, and memory regressions: rustc-perf. - Self-profile — identify expensive queries and phases before attempting an optimization: self-profile guide. - MIR dumps — inspect the form consumed by borrow checking and many optimization passes: MIR debugging. - LLVM IR — use emitted IR to distinguish bad lowering from an LLVM/backend issue: LLVM backend guide. - cargo-bisect-rustc — identify the nightly/compiler commit that introduced a regression: cargo-bisect-rustc. - C-Reduce — useful for reducing C/C++ and compiler-test-style cases; for Rust, manual reduction and Rust-specific reducers are often more practical: C-Reduce. Profile before optimizing. In compiler work, a seemingly harmless allocation, clone, new query dependency, or per-item traversal can materially affect clean builds, incremental builds, peak memory, or generated-code quality. ppl-ai-file-upload.s3.amazonaws Broader foundations | Area | Recommended resource | Why it matters | |---|---|---| | Practical compiler construction | Crafting Interpreters | Build a tree-walk interpreter and bytecode VM before confronting rustc complexity | | Native-code compilation | Essentials of Compilation | Strong progression through lowering and x86-oriented backend construction | | LLVM | LLVM Language Reference | Essential for backend and codegen work | | LLVM implementation | Kaleidoscope tutorial | Walks through frontend and LLVM IR construction | | PL theory | Types and Programming Languages | Type systems, operational semantics, subtyping, polymorphism | | Dataflow and optim…