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