RSS jeremykun | Математика ∩ Программирование
Подписаться
MLIR — Конверсия диалектов
Содержание
В предыдущих статьях мы определили диалект и написали разные проходы для оптимизации и канонизации программы с использованием этого диалекта. Однако, одним из основных принципов MLIR является "инкрементальное понижение", идея о том, что есть много уровней гранулярности IR и вы постепенно понижаете разные части IR, только удаляя информацию, когда она уже не полезна для оптимизаций. В этой статье мы увидим первый шаг этого: понижение поли-диалекта до комбинации стандартных диалектов MLIR, используя так называемую инфраструктуру преобразования диалектов для достижения этого.