Публикуются четыре работы, посвященные различным актуальным вопросам теории и практики разработки современных оптимизирующих компиляторов. В них представлены следующие результаты: обобщенный алгоритм межпроцедурного распространения констант, выравниваний адресов переменных и диапазонов значений переменных; алгоритм межпроцедурного анализа указателей; алгоритм преобразования потока управления программы в поток данных и др. Приведенные результаты были получены в процессе создания промышленного оптимизирующего компилятора с языков С, 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"