Введение
Глава первая: Основные понятия 9
1.1 Современные архитектуры и оптимизирующая компиляция 9
1.2 Основные структуры данных 13
1.2.1 Промежуточное представление 14
1.2.2 Управляющий граф 16
1.2.3 Дерево доминаторов / постдоминаторов 18
1.2.4 Дерево циклов 19
1.2.5 Форма со статически единственным присваиванием 21
1.2.6 Граф потока данных 22
1.3 Распределение регистров 24
1.4 Распределение регистров, основанное на раскраске графа несовместимости 26
1.4.1 Общее описание : 27
1.4.2 Поиск сетей 28
1.4.3 Построение графа несовместимости 32
1.4.4 Раскраска графа несовместимости 34
1.4.5 Замена виртуальных регистров на соответствующие им физические регистры 36
1.5 Выводы 37
Глава вторая: Влияние современных архитектурных механизмов на распределение регистров 38
2.1 Широкое командное слово 39
2.1.1 Влияние широкого командного слова па распределение регистров 40
2.1.2 Взаимодействие распределителя регистров и планировщика 43
2.2 Предикатность 46
2.2.1 Точное определение окончания времени жизни регистров и сетей 49
2.2.1.1 Анализ работы [gillies 1996] 50
2.2.1.2 Предварительное маркирование первых определений 52
2.2.2 Удаление "ложных несовместимостей" 60
2.2.2.1 Граф разделения предикатов 61
2.2.2.2 Новый подход к удалению "ложных несовместимостей" 62
2.2.2.3 Оптимальное объединение битовых векторов с информацией о "живых" сетях выходных дуг гиперблоков. 64
2.3 Распределение регистров разных типов 66
2.3.1 Порядок распределения регистров разных типов 68
2.3.2 Точный учет влияния различных форматов регистров 70
2.4 Выводы 72
Глава третья: Взаимодействие распределителя регистров с другими фазами оптимизирующего компилятора 76
3.1 Взаимодействие распределителя регистров с оптимизациями 76
3.2 Взаимодействие общецелевого и циклового распределителей регистров 80
3.3 Распределитель регистров, не зависящий от целевой машины 86
3.4 Выводы 92
Заключение 94
Список литературы
