Дроздов А.Ю. Анализ предикатных выражений и его использование в оптимизирующих компиляторах для архитектур с явно выраженным параллелизмом / А.Ю. Дроздов, А.Е. Кирнасов // Информационные технологии. – 2005. – № 7. – С.40–44
Складова документа:
Информационные технологии : научно-технический и научно-производственный журнал. № 7 / Изд-во "Новые технологии" // Информационные технологии. – Москва : Новые технологии, 2005
Анотація:
Рассмотрены методы использования результатов анализа предикатов для оптимизации программ. Предложен механизм, позволяющий обобщить анализ предикатов на случай регионов общего вида и предложены новые оптимизации, основанные на применении результатов обобщенного анализа. Также был предложен метод использования результатов анализа предикатов для решения проблемы отладчика оптимизированных кодов в контексте преобразования if-conversion. Все предложенные методы были реализованы в оптимизирующем компиляторе проекта "Эльбрус" и показали высокую эффективность для решения рассмотренных задач оптимизирующей компиляции для архитектур с явно выраженным параллелизмом