Некоторые
вопросы теории и практики построения оптимизирующих компиляторов
Публикуются четыре работы, посвященные различным актуальным вопросам
теории и практики разработки современных оптимизирующих компиляторов.
В них представлены следующие результаты: обобщенный алгоритм межпроцедурного
распространения констант, выравниваний адресов переменных и диапазонов
значений переменных; алгоритм межпроцедурного анализа указателей; алгоритм
преобразования потока управления программы в поток данных и др. Приведенные
результаты были получены в процессе создания промышленного оптимизирующего
компилятора с языков С, C++, F77, который является частью проекта создания
отечественного процессора "Эльбрус ЗМ".
Some Questions of the Theory and Practice of Construction of Optimizing
Compilers
Four works devoted to various actual questions of the theory and practice
of development of modem optimizing compilers are published. In them
the following results are submitted: the generalized algorithm of interprocedural
distribution of constants, alignments of addresses of variables and
ranges of values of variables; algorithm of the interprocedural analysis
of pointers, algorithm of transformation of a control flow of the program
in a dataflow etc. Given results were obtained during creation of the
industrial optimizing compiler from languages C, C++, F77 which is a
part of the project of creation of domestic processor "Elbrus-3M"
ОГЛАВЛЕНИЕ
От редактора
Дроздов А. Ю., Владиславлев В. Е. Межпроцедурный анализ указателей
Дроздов А. Ю., Сыркин А. Г. Методы контекстного межпроцедурного
распространения свойств значений переменных программы
Дроздов А. Ю., Тютюник О. М., Шилов В. В. Эффективная реализация
графа потока зависимостей
Дроздов А. Ю., Новиков С. В., Шилов В. В. Эффективный алгоритм преобразования
потока управления в поток данных