MLIR — Использование Трейтов

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