Пример 42

Устранение копий

Можно усовершенствовать метод, приведенный на рис. 65, рассматривая прави­ла копирования как специальный случай. Правило копирования имеет вид

b:= с, так что если значение с находится в регистре r, то там же автоматически размещается и значение b. Количество атрибутов, определяемых правилами копирования, может оказаться зна­чительным, и явного копирования желательно избегать.

При рассмотрении узла т вначале прове­ряется, не определяется ли его значение правилом копирования. Если это так, следова­тельно, его значение уже находится в регистре и т присоединяется к классу эквивалент­ности со значением в этом регистре. Кроме того, такой регистр возвращается в пул только в конце времени жизни всех узлов со значениями в этом регистре.

На ри­сунке использован знак равенства для указания узлов, определяемых правилом копиро­вания. Исходя из синтаксически управляемого определения на рис. 63, находим, что тип, определенный в узле 1, копируется в каждый элемент списка идентификаторов; в результате узлы 2, 3, 6 и 7 на рис. 64 являются копиями 1.

Рис. 66. Использование регистров с учетом правил копирования

Поскольку 2 и З являются копиями 1, их значения могут быть получены из регистра r ₁ на рис. 66. Время жизни 3 заканчивается при вычислении 5, но регистр r ₁, хранящий значение 3, не возвращается при этом в пул, поскольку еще не за­вершено время жизни 2 из класса эквивалентности.

Дата добавления: 2014-12-27