Compilers in Rust: How to read Cranelift’s (ISLE) lowering rules (Part 3) скачать в хорошем качестве

Compilers in Rust: How to read Cranelift’s (ISLE) lowering rules (Part 3)

ISLE is a domain-specific language used in the Cranelift compiler to describe how high-level instructions (like iadd) are transformed into low-level machine code. It uses pattern matching and rewriting rules to make instruction lowering simple and flexible. This video dives deeper into ISLE, i.e., it’s focused on reading production ISLE code. 00:00:00 Intro and Recap of Part 1 00:05:04 Reading ISLE rules written for a real riscv64-bit target 00:12:15 A look at (all) Cranelift IR OpCodes 00:12:56 Matching on the LHS pattern, i.e. Cranelift's Iadd OpCode 00:30:10 Note on the main lowering function for a target 00:32:00 LHS is all about ISLE extractors (internal and external) 00:40:28 Replacing the pattern with the RHS expression 00:41:55 RHS is all constructors (internal and external) 00:43:20 The actual binary emission happens here 00:46:00 Summary 00:48:05 ISLE and formal verification 00:48:30 Wrap up #compiler #programming #rust #coding