Compilers in Rust: How to read Cranelift’s (ISLE) lowering rules (Part 3)
Автор: regionaltantrums
Загружено: 2024-11-18
Просмотров: 423
Описание:
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
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
