9.3.4. Циклы

Рассмотрим простейший пример цикла:

for i to 10 do something.

Для генерации кода требуется четыре действия, которые размещаются следующим образом:

for i <A1> to 10 <A2> do <A3> something <A4>.

Эти действия таковы.

А1. Выделить память для управляющей переменной i. Поместить сначала в эту память 1:

MOVE «1», address (управляющая переменная).

А2. Генерировать код для записи в память значения верхнего предела рабочего стека:

MOVE address (ulimit) (wostack, current block number, wostack pointer)

(wostack pointer — указатель рабочего стека).Увеличить указатель рабочего стека и уменьшить указатель нижнего стека, где хранились статические характеристики верхнего предела.

А3. Поместить метку

SET LABEL L<next>.

Увеличить next на 1.

Выдать код для сравнения управляющей переменной с верхним пределом и перейти к L<next>, если управляющая переменная больше верхнего предела:

JUMPG L<next>, address (controlled variable), address (ulimit).

Поместить в стек значение next. Поместить в стек значение (next – 1). Увеличить next на 1.

А4. Генерировать код для увеличения управляющей переменной

PLUS address (controlled variable), 1.

Удалить из стека номер (i). Генерировать код для перехода к L(i):

GO TO L<i>.

Удалить из стека номер метки (j). Поместить метку в конец цикла:

SET LABEL L<j>.

Таким образом, цикл

for i to 10 do something

генерирует код следующего вида:

MOVE «1», address (controlled variable)

MOVE address (ulimit), wostack pointer

SET LABEL L1

JUMPG L2 address (controlled variable), address (ulimit)

(something)

GO TO L1

SET LABEL L2.

Действия А4 можно видоизменять, если приращение управляющей переменной будет не стандартным (1), а иным.

for i by 5 to 10 do.

Для этого придется вычислять приращение и хранить его значение в рабочем стеке, чтобы использовать как приращение.

Если цикл содержит часть while, то

for i to 10 while a<b do.

Действие А3 следует видоизменить, чтобы при принятии решения о выходе учитывалось как значение части while, так и управляющей переменной, причем любая из этих проверок достаточна для завершения цикла.

9.3.5. Вход и выход из блока

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

Прочитать в таблице символов информацию, касающуюся блока, и связать ее с информацией включающих блоков таким образом, чтобы можно было выполнять «внешние» поиски определяющих реализаций идентификаторов.

Поместить в стек (idstack pointer). Поместить в стек (wostack pointer). Поместить в стек (block number). Все эти значения ссылаются на включающий блок и могут потребоваться вновь после того, как будет покинут блок, в который только что осуществлен вход:

Idstack pointer := 0

wostack pointer:= 0.

Генерировать код для направления DISPLAY.

BLOCK ENTRY block number.

Увеличить номер уровня блока на 1. Увеличить ghn (наибольший использованный до сих пор номер блока) на 1 и присвоить это значение номеру блока.

Прочитать информацию о видах и добавить ее в таблицу видов (если язык использует сложные виды (структуры)).

При выходе из блока из блока необходимо выполнить следующие действия.

Обновить таблицу блоков, задав размер стека идентификаторов и т.п.. для покинутого блока.

Исключить информацию в таблице символов для покинутого блока.

Генерировать код для изменения дисплея:

BLOCK EXIT block number.

Удалить из стека (block number). Удалить из стека (wostack pointer). Удалить из стека (idstack pointer). Уменьшить уровень блока на 1.

Поместить результат (при необходимости) в рамку стека вызывающего блока.