How the Rust Compiler Works, a Deep Dive

In this video, Daniel Cumming a formal verification engineer at Runtime Verification and Rust instructor at RareSkills explains how the Rust compiler works under the hood.

This talk will explain the Rust compiler pipeline of

Source code
Abstract Syntax Tree
High Intermediate Representation
Typed-High Intermediate Representation
Middle Intermediate Representation
LLVM Intermediate Representation
Codegen Backend
Adding callbacks to compilation
Building the Rust Compiler

RareSkills Rust Bootcamp: https://rareskills.io/rust-bootcamp
Runtime Verification: https://runtimeverification.com
Looking for a Rust job? https://raretalent.xyz/get-hired

00:00:06 - 00:06:50 Overview
00:06:50 - 00:14:51 rustc repository overview
00:14:52 - 00:16:32 stages of the rust compiler
00:16:33 - 00:27:13 Abstract Syntax Tree
00:27:14 - 00:35:45 High Intermediate Representation
00:35:46 - 00:37:34 Typed High Intermediate Representation
00:37:35 - 00:45:41 Middle Intermediate Representation
00:45:42 - 00:51:23 Code Generation Overview
00:51:24 - 00:54:29 Questions and Answers
00:54:30 - 00:59:34 Compiler Pipeline review
00:59:35 - 01:29:07 Callbacks
01:29:08 - 01:32:26 Using compiler callbacks for Rust formal verification
01:32:27 - 01:36:42 CodegenBackend
01:36:43 - 01:42:40 Building rustc
01:42:41 - 01:43:25 Rustc dev guide
01:43:26 - 01:51:20 Speeding up compilation of rustc
01:51:21 - 01:56:31 Wrapping up and final QA