Cтраница 2
Команды МС, ОМС и CMC осуществляют реорганизацию стека при процедурном переходе. В вершину стека заносятся переменные цикла, затем метка перехода и, наконец, УСВ, указывающее на предыдущий маркер стека. При этом адрес метки перехода заносится в УМС. В команде ОМС резервируется место иод метку перехода, но метка не заносится. В команде CMC два верхних операнда из текущего стека переносятся в образованный стек. [16]
В общем случае для трансляции программы с языка высокого уровня требуется по крайней мере два просмотра входной программы и один дополнительный просмотр объектной программы. Во время второго просмотра выполняется собственно трансляция - генерирование машинных команд. Дополнительный просмотр нужен для замены адресами меток, отсылающих вперед. [17]
При двухпросмотровом трЗ Ясляторе указанные трудности преодолеваются, например, следующим распределением функций просмотров. При первом просмотре производятся лексический я синтаксический контроль и составление списков всех локальных, глобальных переменных я меток. Если по автокодной команде можно установить ее длину, то в первом просмотре решается задача определения адреса меток. Выходом первого просмотра является автокодная программа на промежуточном языке. Между первым я вторым просмотрами включаются процедуры, которые по списку глобальных переменных, составленному при первом просмотре, определяют их характеристики, записанные в библиотеке описаний ли. По - характеристикам, содержащимся в описаниях локальных переменных, производится распределение локальной памяти. Задача второго просмотра сводится к анализу промежуточного языка и формированию информации для генератора команд, используя ссылки к массивам с характеристиками величие. [18]
По-прежнему все списки снабжены метками, и по-прежнему в метках находится информация о содержании списка и о количестве слов, из которых он состоит. Машина выбирает метку некоторого списка, и если она не совпадает с искомой, то можно получить адрес метки следующего списка, например, путем прибавления длины текущего списка к индексному регистру. [19]
Для того чтобы Ассемблер мог отличить типы предложений в языке для машинных команд от предложений управления трансляцией, предусмотрены мнемонические коды операций. Одним из методов формирования адреса для любой заданной точки в программе является использование символического имени ( метки) для заданной точки. Если адрес метки модифицирован, например МЕТКА 5, то это означает, что выработанный адрес указывает на ту точку, которая сдвинута на 5 байтов в сторону больших адресов. Каждое символическое имя ( метка) должно быть определено в программе или описано как внешнее. При составлении символических имен необходимо иметь в виду, что символическое имя не должно состоять более чем из восьми букв и цифр; первым знаком должна быть буква. Букву I не рекомендуется использовать в качестве первого символа. [20]