Содержание В прошлый раз мы узнали, как использовать предопределенные свойства MLIR, чтобы включить проходы MLIR вверх по потоку, такие как перемещение кода, не зависящего от циклов, для применения к программам poly. Мы пропустили -sccp (sparse conditional constant propagation), и поэтому в этот раз мы добавим необходимое, чтобы этот проход работал. Для этого требуется концепция сворачивания. Код для этой статьи находится в этом запросе на вытягивание, и, как обычно, коммиты организованы для чтения в порядке.