4.4.6 Описание используемых операционных символов

Операционный символ

Атрибуты

Комментарий

{AddVar}_p,name

p – тип переменной

name- имя переменной

Добавление переменной в таблицу идентификаторов

{AddLabel}_v2

v2 – адрес идентификатора или целого в соответствующей таблице лексического анализатора

Добавляет в таблицу меток метку с указанным именем

{AddVec}_q,p,d

p – тип переменной

name- имя переменной

d - размерность

Добавление вектора в таблицу идентификаторов, его размерность записывается в графе «значение» этой таблицы

{REL}_{p1, p2, p3, r}

r - адрес рез-та, устанавливается тип boolean

p1 - код операции¹

p2 - 1-ый операнд

p3 - 2-ой операнд

код операции соответствует типу операции сравнения

{ASS}_{p1, p2, p3}

p1 - код операции

p2 - 1-ый операнд и адрес результата

p3 - 2-ой операнд

код операции соответствует типу операции присваивания

{ADD}_{p1, p2, p3,p4}

p1- 1-ый операнд

p2- 2-ой операнд

p3- адрес результата

p4- тип операции

Формирование тетрады + или – в зависимости от кода операции

{MUL}_{p1, p2, p3,p4}

p1- 1-ый операнд

p2- 2-ой операнд

p3- адрес результата

p4- тип операции

Формирование тетрады * или / в зависимости от кода операции

{DEFL}_b

b – номер метки в таблице

Если данная метка существует в таблице меток, то формируется соответствующая тетрада DEFL

{BLR}_b

b – номер метки в таблице

Если данная метка существует в таблице меток, то формируется соответствующая тетрада BLR

{begin_cycle} _{m1, m2, p1, p2, p3, p4}

m1 - метка начала цикла

m2 - метка конца цикла

p1 - имя переменной цикла

p2 - начальное значение

p3 - шаг цикла

p4 - граничное значение

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

{end_cycle}_{p1, p2, p3, p4}

p1 - имя переменной цикла

p2 - шаг

p3 - метка начала цикла

p4 - метка конца цикла

Изменяет значение переменной цикла в соответствии с заданным циклом и совершает переход на начало цикла. После этого формируется метка выхода из цикла.

{BF}_{m, v}

m – номер метки в таблице

v – значение типа boolean

Формирует тетраду BF, если в таблице меток есть m, а v имеет значение boolean

{OR}_{p1, p2, r}

p1 – 1-й операнд

p2 – 2-й операнд

r – результат типа boolean

Формируется тетрада OR, если операнды булевского типа

{AND}_{p1, p2, r}

p1 – 1-й операнд

p2 – 2-й операнд

r – результат типа boolean

Формируется тетрада AND, если операнды булевского типа

{NOT}_{p1, r}

p1 – адрес операнда

r - адрес результата, устанавливается тип boolean

Формируется тетрада NOT, если операнд булевского типа

{++}_p1

p1 – 1-ый операнд и адрес результата

Формируется тетрада ++

{--}_p1

p1 – 1-ый операнд и адрес результата

Формируется тетрада --

{~}_{p1, p2,}

p1- адрес вектора в таблице идентификаторов

p2-адрес результата-значения длины вектора

Формируется тетрада LEN для вычисления длины вектора

{CIN} _p1

p1- 1-ый операнд

Формируется тетрада CIN

{COUT} _p1

p1- 1-ый операнд

Формируется тетрада COUT

{SUBS} _{name, ind, r}

name - имя вектора

ind – индекс элемента в векторе

r- элемент name[ind]

Формируется тетрада SUBS