MLIR — глобальная оптимизация и анализ потоков данных

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