Главная » Все файлы » Просмотр файлов из архивов » PDF-файлы » Лекция 05. Глобальная нумерация значений

Лекция 05. Глобальная нумерация значений (Лекции (2015)), страница 3

Описание файла

Файл "Лекция 05. Глобальная нумерация значений" внутри архива находится в папке "Лекции (2015)". PDF-файл из архива "Лекции (2015)", который расположен в категории "лекции и семинары". Всё это находится в предмете "конструирование компиляторов" из седьмого семестра, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .

Просмотр PDF-файла онлайн

Текст 3 страницы из PDF

Это возможно, таккак выполнены условия :(1) все дети B1 по деревудоминаторов (B2, B3) ужеобработаны;(2) в B4 не входит обратных дуг.-функция, определяющая u2,бессмысленна: оба еепараметра равны u0.-функция исключается, а u2присваивается номер значенияu0.B2v#val(v)u0v0w0x0y0u1x1y1u2x2y2z0u3u0v0w0v0v0u0w0w0u0B3B4B1B2u0  a0 + b0v0  c0 + d0w0  e0 + f0B3B4x2  (v0, w0)y2  (v0, w0)z0  u2 + y2u3  a0 + b0После обработки первой -функции365.4 Алгоритм глобальной нумерации значений5.4.5 Пример применения алгоритмаB1 Обработка блока B4.B2 Вторая -функция имеетпараметры v0 и w0.

Это первоевхождение -функции с такимиvu0v0w0присваивается ее SSA-имя.x0y0 -функция, определяющая y2u1избыточна, так как y2 равно x2.x1Поэтому эта -функцияy1исключается, а y2 присваивается u2x2номер значения x2.y2z0u3параметрами. Ее значению x2в качестве номера значения#val(v)u0v0w0v0v0u0w0w0u0u0x2B3B4B1B2u0  a0 + b0v0  c0 + d0w0  e0 + f0B3B4x2  (v0, w0)z0  u2 + y2u3  a0 + b0После обработки -функций375.4 Алгоритм глобальной нумерации значений5.4.5 Пример применения алгоритмаB1 Обработка блока B4.B2 Обработка присваиваний. После подстановки вместокаждого операнда номера егозначения для правой частиприсваивания z0 получитсяномер значения # = u0 + x2. Присваивание u3 избыточно(номер значения его правойчасти такой же, как у правойчасти присваивания u0 в блокеB1.

Поэтому это присваиваниеисключается, а u3присваивается номер значенияu0.v#val(v)u0v0w0x0y0u1x1y1u2x2y2z0u3u0v0w0v0v0u0w0w0u0u0x2#u0B3B4B1B2u0  a0 + b0v0  c0 + d0w0  e0 + f0B3B4x2  (x0, x1)z0  u2 + y2После обработки B4385.4 Алгоритм глобальной нумерации значений5.4.5 Заключительные замечания Алгоритм глобальной нумерации значений была описана дляпрограмм, уже переведенных в SSA-форму.

Однако, можно включитьнумерацию значений в процесс конструирования SSA. В результате включения нумерации значений в процессконструирования SSA повышается производительность оптимизатора,так как сокращается объем выполняемой работыуменьшается размер SSA-формы программы. Алгоритм глобальной нумерации значений объединяется с алгоритмомпереименования переменных при построении SSA-формы. В данномкурсе этот объединенный алгоритм не рассматривается.39.

Свежие статьи
Популярно сейчас