Декларативная спецификация IR в Pliron | Вайвашватха Нагарадж | IICT'25

Семинар «Инновации в компиляторных технологиях 2025», Бангалор, Индия https://compilertech.org/ Расширяемые фреймворки для создания промежуточного представления компиляторов, такие как pliron или MLIR, позволяют разработчикам компиляторов расширять промежуточное представление, разрешая определение новых сущностей промежуточного представления, таких как операции, типы и т. д. Как правило, эти определения содержат шаблонный код и подробные синтаксические определения (принтеры и парсеры). В то время как MLIR использует язык и инструмент TableGen для декларативного описания этих определений, pliron использует мощные процедурные макросы Rust для достижения той же цели: декларативного описания сущностей промежуточного представления. В этом докладе, начиная с краткого введения в проблемную область, далее демонстрируется, в основном на примерах, мощь и полезность фреймворка на основе макросов Rust.