MLIR — Определение шаблонов с помощью PDLL

Содержание В этой статье я покажу, как использовать PDLL, инструмент для определения шаблонов MLIR, который сам построен на основе MLIR. PDLL предназначен для замены определения шаблонов в tablegen, хотя есть немного публичных примеров его использования. На самом деле, основной стимул для PDLL заключается в том, что tablegen затрудняет выражение таких вещей, как: Операции, возвращающие несколько результатов Операции с областями Операции с вариативными операндами Арифметические операции со статическими значениями Хотя не все эти функции полностью поддерживаются в PDLL еще, они находятся в пределах языка и инструментов.