MLIR - верификаторы

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