Может кто-нибудь объяснить, где и как Halide применяет интервальный анализ внутри страны? Использует ли Halide анализ интервалов в тесте зависимости данных на основе массива?
Это может быть «тест экстремальных значений», который можно найти в учебнике «Высокопроизводительные компиляторы для параллельных вычислений». https://www.amazon.com/dp/0805327304
Это может быть «интервальный анализ», написанный в другом учебнике «Введение в интервальный анализ». http://www -sbras.nsc.ru / интервал / Библиотека / InteBooks / IntroIntervAn.pdf
Оба приведенных выше идентичных.