MLIR — Определение нового диалекта

Содержание В последней статье серии мы мигрировали пропуски, которые мы написали, чтобы использовать фреймворк генерации кода tablegen. Это было введением к использованию tablegen для определения диалектов. В этой статье мы определим диалект, представляющий арифметику над однозначными полиномами, с коэффициентами в $\mathbb{Z} / 2^{32} \mathbb{Z}$ (32-битные неотрицательные целые числа). Код для этой статьи находится в этом запросе на вытягивание, и, как обычно, коммиты организованы для чтения в порядке.