MLIR — Канонизаторы и Декларативные Шаблоны Переписи

Содержание В предыдущей статье мы определили функции сворачивания и использовали их для включения некоторых правил канонизации и пропагации констант для диалекта poly. На этот раз мы увидим, как добавить более общие шаблоны канонизации. Код для этой статьи находится в этом запросе на вытягивание, и, как обычно, коммиты организованы для чтения в порядке следования. Зачем нужна канонизация? MLIR предоставляет сворачивание как механизм упрощения IR, что может привести к более простым и эффективным операциям (напр.