8.3. codgen7 (1134681)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

8.3. Назначение адресов

Назначение адресов переменным, параметрам и полям записей происходит при обработке соответствующих объявлений. В однопроходном трансляторе это может производиться вместе с построением основной таблицы символов и соответствующие адреса (или смещения) могут храниться в этой же таблице. В промежуточном представлении Лидер объявления сохранены, что делает это промежуточное представление машинно-независимым. Напомним, что в Лидер-представлении каждому описанию соответствует некоторый номер. В процессе работы генератора кодов поддерживается таблица Table, в которой по этому номеру (входу) содержится следующая информация:

- для типа - его размер;

- для переменной - адрес;

- для поля записи - смещение внутри записи;

- для процедуры - размер локальных;

- для диапазона индексов массива - значение левой границы.

Функция IncTab вырабатывает указатель (вход) на новый элемент таблицы, проверяя при этом наличие свободной памяти.

Таблица LevelTab - это таблица уровней процедур, содержащая указатели на последовательно вложенные процедуры (см. рис. 4.9).

Для вычисления адресов определим для каждого объявления два синтезируемых атрибута: DISP будет обозначать смещение внутри области процедуры (или единицы компиляции), а SIZE - размер. Тогда семантика правила для списка объявлений принимает вид

RULE
DeclPart ::= ( Decl )
SEMANTICS
Disp<1>=0;
1A: Disp<1>=Disp<1>+Size<1>;
Size<0>=Disp<1>.

Это можно следующим образом изобразить на дереве объявлений (рис. 8.10).

DeclPart Size






Decl Decl Decl
Disp Disp Disp
Size Size Size

Рис. 8.10

Все объявления, кроме объявлений переменных, имеют нулевой размер. Размер объявления переменной определяется следующим правилом:

RULE
Decl ::= 'VAR' TypeDes
SEMANTICS
Tablentry Entry;
0: Entry=IncTab;
Size<0>=((Table[VAL<2>]+1) / 2)*2;
// Выравнивание на границу слова
Table[Entry]=Disp<0>+Size<0>.

В качестве примера трансляции определения типа рассмотрим обработку описания записи:

RULE
TypeDes ::= 'REC' ( TypeDes ) 'END'
SEMANTICS
int Disp;
Tablentry Temp;
0: Entry<0>=IncTab;
Disp=0;
2A: { Temp=IncTab;
Table[Temp]=Disp;
Disp=Disp+Table[Entry<2>]+1) / 2)*2;
// Выравнивание на границу слова
}
Table[Entry<0>]=Disp.

8.4. Трансляция переменных.

Переменные отражают все многообразие механизмов доступа в языке. Переменная имеет синтезированный атрибут ADDRESS - это запись, описывающая адрес в команде МС68020. Этот атрибут сопоставляется всем нетерминалам, представляющим значения. В системе команд МС68020 много способов адресации, и они отражены в структуре значения атрибута ADDRESS, имеющего следующий тип:

enum Register
{D0,D1,D2,D3,D4,D5,D6,D7,A0,A1,A2,A3,A4,A5,A6,SP,NO};
enum AddrMode
{D,A,Post,Pre,Direct,IndPre,IndPost,
DirPC,IndPrePC,IndPostPC,Abs,Imm};
struct AddrType{
Register Addreg,IndexREG;
int IndexDisp,AddrDisp;
short Scale;
};

Значение регистра NO означает, что соответствующий регистр в адресации не используется.

Доступ к переменным осуществляется в зависимости от их уровня: глобальные переменные адресуются с помощью абсолютной адресации; переменные процедуры текущего уровня адресуются через регистр базы А6.

Если стек организован с помощью статической цепочки, то переменные предыдущего статического уровня адресуются через регистр статической цепочки А5; переменные остальных уровней адресуются "пробеганием" по статической цепочке с использованием вспомогательного регистра. Адрес переменной формируется при обработке структуры переменной слева направо и передается сначала сверху вниз как наследуемый атрибут нетерминала VarTail, а затем передается снизу-вверх как глобальный атрибут нетерминала Variable. Таким образом, правило для обращения к переменной имеет вид (первое вхождение Number в правую часть - это уровень переменной, второе - ее Лидер-номер):

RULE
Variable ::= VarMode Number Number VarTail
SEMANTICS
:int Temp;
AddrType AddrTmp1,AddrTmp2;
3: if (Val<2>==0) // Глобальная переменная
{Address<4>.AddrMode=Abs;
Address<4>.AddrDisp=0;
}
else // Локальная переменная
{Address<4>.AddrMode=Direct;
if (Val<2>==Level<Block>)
// Переменная текущего уровня
Address<4>.Addreg=A6;
else if (Val<2>==Level<Block>-1)
// Переменная предыдущего уровня
Address<4>.Addreg:=A5;
else {Address<4>.Addreg=GetFree(RegSet<Block>);
AddrTmp1.AddrMode=Direct;
AddrTmp1.Addreg=A5;
AddrTmp1.IndexReg=No;
AddrTmp1.AddrDisp=0;
Emit2(MOVEA,AddrTmp1,Address<4>.Addreg);
AddrTmp1.Addreg=Address<4>.Addreg;
AddrTmp2.AddrMode=A;
AddrTmp2.Addreg=Address<4>.Addreg;
for (Temp=Level<Block>-Val<2>;???;Temp)
Emit2(MOVEA,AddrTmp1,AddrTmp2);
}}
if (Val<2>==Level<Block>)
Address<4>.AddrDisp=Table[Val<3>];
else Address<4>.AddrDisp=Table[Val<3>]
+Table[LevelTAB[Val<2>]];
}}.

Функция GetFree выбирает очередной свободный регистр (либо регистр данных, либо адресный регистр) и отмечает его как использованный в атрибуте RegSet нетерминала Block. Процедура Emit2 генерирует двухадресную команду. Первый параметр этой процедуры - код команды, второй и третий параметры имеют тип Address и служат операндами команды (здесь для упрощения изложения в качестве параметров этой процедуры используются контрукции типа '(А)'; имеется в виду косвенная адресация через адресный регистр). Смещение переменной текущего уровня отсчитывается от базы (А6), а других уровней - от указателя статической цепочки, поэтому оно определяется как алгебраическая сумма LOCALSize и величины смещения переменной (отрицательного!).

Если стек организован с помощью дисплея, то трансляция для доступа к переменным может быть осуществлена следующим образом:

RULE
Variable ::= VarMode Number Number VarTail
SEMANTICS
int Temp;
3: if (Val<2>==0) // Глобальная переменная
{Address<4>.AddrMode=Abs;
Address<4>.AddrDisp=0;
}
else // Локальная переменная
{Address<4>.AddrMode=Direct;
if (Val<2>=Level<Block>)
// Переменная текущего уровня }
{Address<4>.Addreg=A6;
Address<4>.AddrDisp=Table[Val<3>];
}
else {Address<4>.AddrMode=IndPost;
Address<4>.Addreg=NO;
Address<4>.IndexREG=NO;
Address<4>.AddrDisp=DispLAY[Val<2>];
Address<4>.IndexDisp=Table[Val<3>];
}}}.

Рассмотрим трансляцию доступа к полям записи. Она описывается следующим правилом (Number - это Лидер-номер описания поля):

RULE
VarTail ::= 'FIL' Number VarTail
SEMANTICS
if (Address<0>.AddrMode==Abs)
{Address<3>.AddrMode=Abs;
Address<3>.AddrDisp=Address<0>.AddrDisp+Table[Val<2>];
}
else {Address<3>=Address<0>;
if (Address<0>.AddrMode==Direct)
Address<3>.AddrDisp=Address<0>.AddrDisp
+Table[Val<2>];

else Address<3>.IndexDisp=Address<0>.IndexDisp
+Table[Val<2>];
}.

Смещение в случае абсолютной и прямой адресации определяется полем AddrDisp, а в остальных случаях - полем IndexDisp. Таким образом, видно, что при обработке полей записей идет только накопление смещения поля без генерации каких-либо команд.

Атрибутные зависимости для этого правила могут быть изображены следующим образом (рис. 8.11):

VarTail Disp




Number VarTail Disp

Table

Disp

Рис. 8.11

Рассмотрим теперь выборку элемента массива. Лидер-синтаксис обращения к элементу массива следующий:

VarTail ::= 'ARR' Number Typexpr VarTail

Здесь Number - Лидер номер описания диапазона индексов; Typexpr - индексное выражение. По адресу левой части правила, представляющей переменную-массив, от которого берется индекс, и по индексному выражению, представленному нетерминалом Typexpr, мы должны сформировать адрес элемента массива. В приведенной ниже таблице решений функция GetAddr выбирает очередной свободный адресный регистр.

Под "рабочим" регистром в таблице решений имеется в виду регистр, значение которого может быть испорчено (примером "не рабочего" регистра может служить регистр А6 или регистр А5, если он используется как указатель процедуры предыдущего статического уровня).

MaxReg - максимальный номер адресного регистра, которым можно пользоваться как рабочим. Все адресные регистры разделены на два множества: имеющие номера, большие MaxReg, заняты предварительным распределением, остальные - рабочие. Функция GetAddr выдает очередной свободный рабочий адресный регистр.

Т ип адресации VarTail левой части:
IndPre || Direct (IndPost || Abs) ||
IndexReg==NO ((Direct || IndPre)
&& (IndexReg!=NO))

ElSize<3>== AddrDisp<4>= AddrDisp<4>:=
1,2,4,8 AddrDisp<0> -Left<2>*ElSize<3>
AddrMode<3>==D -Left<2>*ElSize<3> AddrMode<4>=IndPost
Addreg<4>=Addreg<0> Addreg<4>=
IndexReg<4>= (Addreg<0>==рабочий)
Addreg<3> ?Addreg<0>
AddrMode<4>=IndPost :GetAddr
Scale<4>=ElSize<3> IndexReg<4>=
Addreg<3>
Scale<4>=ElSize<3>

LEA Address<0>,
Address<4>

E lSize<3> AddrDisp<4>= AddrDisp<4>=
!=1,2,4,8 AddrDIP<0>- -Left<2>*ElSize<3>
AddrMode<3>==D Left<2>*ElSize<3> AddrMode<4>=IndPost
Addreg<4>=Addreg<0> Addreg<4>=
IndexReg<4>= (Addreg<0>==рабочий)
Addreg<3> ?Addreg<0>
Scale<4>=1 :GetAddr
AddrMode<4>=IndPost IndexReg<4>=
Addreg<3>
MUL ElSize<3>, Scale=1
Addreg<3>
LEA Address<0>,
Address<4>
MUL ElSize<4>,
IndexReg<4>

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов лекций