Лекции по построению компилятора на Pascal
{---------------------------------------------------------------}
{ Load a Variable to Primary Register }
procedure LoadVar(Name, Typ: char);
begin
## if Typ = 'B' then
##### EmitLn('CLR.L D0');
## Move(Typ, Name + '(PC)', 'D0');
## if Typ = 'W' then
##### EmitLn('EXT.L D0');
end;
{---------------------------------------------------------------}
В этой версии байт обрабатывается как без-знаковое число (как в Паскале и Си) в то время
как слово обрабатывается как знаковое.
БОЛЕЕ ПРИЕМЛЕМОЕ РЕШЕНИЕ
Как мы видели, перевод каждой переменной в длинное слово пока она находится в памяти
решает проблему, но это едва ли может быть названо эффективным и, возможно, не было бы
приемлемым даже для тех из нас, кто требует не обращать внимания на эффективность. Это
означает, что все арифметические операции будут выполняться с 32-битной точностью, что
удвоит время выполнения для большинства операций и сделает его еще больше для
умножения и деления. Для этих операций мы должны были бы вызывать подпрограммы,
даже если данные были бы байтом или словом.] Все это слишком походит на уловку, так как
уводит нас от всех настоящих проблем.
ОК, значит это решение плохое. Есть ли еще относительно простой способ получить
преобразование данных? Можем ли мы все еще сохранять простоту?
Да, действительно. Все, что нам нужно сделать - выполнить преобразование с другого
конца... т.е. мы выполняем преобразование на выходе, когда данные сохраняются, а не на
входе.
Но запомните, часть присваивания, отвечающая за хранение, в значительной степени
независима от загрузки данных, о которой заботится процедура Expression.]]]] Вообще,
выражение может быть произвольно сложным, поэтому как может процедура Assignment
знать, какой тип данных оставлен в регистре D0?
Снова, ответ прост: Мы просто спросим об этом процедуру Expression! Ответ может быть
возвращен как значение функции.
Все это требует изменения некоторых процедур, но эти изменения, как и сам метод, совсем
простые. Прежде всего, так как мы не требуем чтобы LoadVar выполнял всю работу по
преобразованию, давайте возвратимся к простой версии:
{---------------------------------------------------------------}
{ Load a Variable to Primary Register }
procedure LoadVar(Name, Typ: char);
begin
## Move(Typ, Name + '(PC)', 'D0');
end;
{--------------------------------------------------------------}
Затем, давайте добавим новую процедуру, которая будет выполнять преобразование из
одного типа в другой:
{---------------------------------------------------------------}
{ Convert a Data Item from One Type to Another }
procedure Convert(Source, Dest: char);
begin
## if Source <> Dest then begin
##### if Source# = 'B' then
######## EmitLn('AND.W #$FF,D0');
##### if Dest = 'L' then
######## EmitLn('EXT.L D0');