Основы конструирования компиляторов

Трансляция целых выражений


Трансляция выражений различных типов управляется синтаксически благодаря наличию указателя типа перед каждой операцией. Мы рассмотрим некоторые наиболее характерные проблемы генерации кода для

выражений.

Система команд МС68020 обладает двумя особенностями, сказывающимися на генерации кода для арифметических выражений (то же можно сказать и о генерации кода для выражений типа «множества»):

1) один из операндов выражения (правый) должен при выполнении операции находиться на регистре, поэтому если оба операнда не на регистрах, то перед выполнением операции один из них надо загрузить на регистр;

2) система команд довольно «симметрична», т.е. нет специальных требований

к регистрам при выполнении операций (таких, например, как пары регистров или требования четности и т.д.).

Поэтому выбор команд при генерации арифметических выражений определяется довольно простыми таблицами решений. Например, для целочисленного сложения такая таблица приведена на рис.9.4.


Рис. 9.4:

Здесь имеется в виду, что R - операнд на регистре, V - переменная или константа. Такая таблица решений должна также учитывать коммутативность операций.

RULE  
IntExpr ::= 'PLUS' IntExpr IntExpr  
SEMANTICS  
if (Address.AddrMode!=D) && (Address.AddrMode!=D)  
   {Address.AddrMode=D;  
    Address.Addreg=GetFree(RegSet);  
    Emit2(MOVE,Address,Address);  
    Emit2(ADD,Address,Address);  
   }  
else  
   if (Address.AddrMode==D)  
      {Emit2(ADD,Address,Address);  
       Address:=Address);  
      }  
   else {Emit2(ADD,Address,Address);  
         Address:=Address);  
        }.



Содержание раздела