Исследование методов оптимизации программ м разработка оптимизирующего компилятора с языка паскаль для центрального процессора АС-6

• Автор: Челноков, Валерий Павлович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 165 c. : ил

ОГЛАВЛВНИЕ

ГЛАВА I. АНАЛИЗ ОСНОВНЫХ МЕТОДОВ ОПТИМИЗАЦИИ ПРОГРАММ

1.1. Оптимизация циклов

1.1.1. Циклы - ключевые места при оптимизации программы

1.1.2. Основные виды.оптимизации циклов

1.1.2.1. Вынос инвариантов из тела цикла

1.1.2.2. Оптимизация индуктивных вычислений

1.1.2.3. Уменьшение числа параметров в цикле

1.1.2.4. Расширение возможностей итеративного цикла

в Паскале
1.1.2.5. Буферизация циклов
1.1.2.6. Использование команды "Конец цикла"
1.2. Сравнительная характеристика лрдальной и
глобальной оптимизаций
1.2.1. Основные методы экономии памяти программы
1.2.2. Характеристика линейной оптимизации
1.2.3. Характеристика методов глобальной оптимизации
1.2.3.1. Анализ потока управления и анализ потока данных
1.2.3.2. Нахождение доступных выражений
1.2.3.3. Оценка времени сходимости алгоритмов АПД
1.2.3.4. Оценка влияния глобальной оптимизации
1.3. Оптимизация в рамках регулярного графа
1.3.1. Абстрактные циклы
1.3.2. Переход от абстрактного УТЛ к синтаксическому

1.3.3. Последовательный вынос инвариантных вычислений
из вложенных циклов
1.4. Виды оптимизирующих компиляторов
1.4.1. Оптимизирующий компилятор с промежуточным ?
кодом
1.4.2. Оптимизация на исходном языке
1.4.3. Синтаксический оптимизатор
1.4.4. Покадровая оптимизация
1.5. Выбор схемы для построения оптимизирующего
Паскаль-компилятора
1.5.1. Классическая методика реализации Паскаль-компилятора
1.5.2. Компилятор с универсальным промежуточным
кодом
1.5.3. Схема реализации Паскаль-компилятора для ЦП
ГЛАВА 2. МЕТОДЫ МАШИННО-НЕЗАВИСИМОЙ ОПТИМИЗАЦИИ ПРОГРАММ
2.1. Представление линейного блока в виде ориентированного ациклического графа
2.2. Основные виды линейной оптимизации
2.2.1. Экономия эквивалентных вычислений
2.2.2. Свертка вычислений, состоящих из одних констант
2.2.3. Устранение избыточных операторов присваивания. 3?
2.2.4. Оптимизации, опирающиеся на конкретные значения операндов
2.2.5. Выделение постоянной составляющей в индексном выражении
2.2.6. Экономия эквивалентных вычислений с учетом использования операций отношения
2.2.7. Оптимизация эквивалентных вычислений функций
2.2.8. Влияние побочных эффектов при обращениях к процедурам/функциям
2.3. Обзор методов линейной оптимизации
2.3.1. Метод нумерации значений
2.3.2. Линейная оптимизация в компиляторе ФОРЕКС
2.3.3. Использование коммутативно-ассоциативных законов для упорядочивания выражения
2.4. Внутренее представление линейного блока
2.4.1. Структура триады
2.4.2. Описание эквивалентных вычислений с помощью триад
2.4.3. Преобразование триад в переменные и константы
2.4.4. Инвариантные триады
2.4.5. Индуктивные триады
2.4.6. Вынесенные триады
2.4.7. Особенности оптимизации операций отношения. 4?
2.4.8. Структура адресных триад
2.4.9. Представление переменных в рамках промежуточного кода
2.4.10. Представление констант в промежуточном
коде
2.5. Оптимизация регулярных циклов
2.5.1. Структура синтаксического УГП
2.5.2. Вынос инвариантных триад из тела регулярного цикла
2.5.3. Оптимизация индуктивных вычислений
2.5.3.1. Описатель итеративного цикла в дромежу-

го выражения добавляется в общее статическое смещение относительно базового адреса.
Поэтому смещение компоненты 0 относительно базового адреса равно:
.смешение (А.В) + смещение (В.С) + (-П/А ) + смещение (С,,.«Р). +
статическая ; составляющая
+ . 1'Л
у -
динамическая составляющая*
На ЦП значение динамической составляющей смещения устанавливается на индекс-регистр, по которому осуществляется быстрая индексация. Статическая составляющая смещения указывается в поле смещения команды. Если значение этой составляющей больше допустимого, то формируется новый базовый адрес, например, адрес массива С, относительно которого смещение имеет допустимую величину.
Выборке элемента массива (фрагмент «#» а р*т соответствуют такие триады:
- арифметические триады вычисления динамической составляющей индексного смещения по формуле: ( Р*12 )• л , где Д
размер элемента массива С;
- адресная триада с оператором Ж№, операндами которой являются ссылка на индексные триады и ссылка на предыдущую адресную триаду выборки переменной (в данном примере последняя ссылка отсутствует).
Семантика знака " | " означает установку нового базового адреса, значение которого находится в компоненте переменной с именем 0. Дальнейший отсчет при выборке компоненты переменной ведется относительно этого адреса. Этому действию соответствует триада с оператором АДОРШ и двумя операндами. Первый операнд вида Т(Ш ссылается на предыдущую адресную триаду (в данном примере триаду с оператором А01Ш ); а второй операнд