Аннотация:
Работа посвящена компиляторной технологии, называемой индексным анализом, которая позволяет предоставить информацию о существовании зависимости между операциями, обращающимися к памяти и находящимися в цикле. Такая информация используется многими оптимизациями, особенно цикловыми. В работе для этой системы применяется алгоритм индексного анализа на основе системы линейных неравенств. Для формирования этой системы требуется выполнить подготовительные действия по поиску гнезд циклов и индуктивных переменных, нахождению инвариантов цикла, делинеаризации и непосредственному построению системы неравенств. Рассматриваются методика выполнения этих действий, временные параметры исполнения алгоритма, полученные результаты, а также некоторые особые случаи, не приведенные в [1].