Метка - переход
Cтраница 3
Блоки должны исполняться с начала, запрещено извне входить в операторы блоков. С другой стороны, из внутреннего блока можно делать переходы ва метки операторов охватывающего блока, если таких же меток нет во внутреннем блоке. При многоуровневом вложении блоков поиск метки перехода из внутреннего блока производится, начиная с ближайшего охватывающего блока. [31]
 |
Команды переходов и организации циклов.| Команды вызова процедуры. [32] |
К данным командам относятся команды формирования меток, входа и выхода из процедуры. Перечень команд приведен в табл. 3.23. Команды ФМ, ФМБ и УФМ формируют процедурную метку с уровнем, указанным в команде, но с сохранением текущей базы. Команды ФМП, ФМБП и УФМП формируют метку перехода: адрес берется из базового регистра уровня, указанного в команде либо в стеке. [33]
При записи модельных предложений-макроопределений может встретиться случай, когда к предложению необходимо обратиться по метке перехода, а это предложение уже имеет имя. Команда ANOP, записанная перед таким предложением, позволяет указать в своем подполе названия метку перехода без выполнения какой-либо операции. [34]
При записи модельных предложений макроопределений может встретиться случай, когда к предложению необходимо обратиться по метке перехода, а это предложение уже имеет имя. Команда ANOP, записанная перед таким предложением, позволяет указать в своем подполе названия метку перехода без выполнения какой-либо операции. [35]
 |
Команды управления. [36] |
Команды МС, ОМС и CMC осуществляют реорганизацию стека при процедурном переходе. В вершину стека заносятся переменные цикла, затем метка перехода и, наконец, УСВ, указывающее на предыдущий маркер стека. При этом адрес метки перехода заносится в УМС. В команде ОМС резервируется место иод метку перехода, но метка не заносится. В команде CMC два верхних операнда из текущего стека переносятся в образованный стек. [37]
При решении этих задач существенно используются команды условного и безусловного перехода. Эти команды в МВК имеют два варианта: статический и динамический. В статическом варианте адрес перехода задается а теле команды в виде смещения от начала процедуры. Эти команды используются для реализации внутрипроцедурных переходов. В динамическом варианте адрес перехода задается целым числом, помещаемым в стек, или специальным словом-описателем метки перехода. [38]
В заключение отметим, что все описанные методы, кроме правил подстановки Флойда, являются типичными методами восходящего анализа. Эрли, сочетает черты как восходящего, так и нисходящего анализа. С одной стороны, образцы в правилах подстановки служат для опознания основы. После распознавания основы немедленно выполняется редукция. Это характерно для восходящих распознавателей. С другой стороны, с самого начала ставится цель - найти вывод, порождаемый начальным символом. В процессе достижения этой цели ставятся и анализируются подцели, указываемые метками перехода правил подстановки. Анализ и выбор подцелей выполняется при помощи образцов. Такая целенаправленность характерна для нисходящих распознавателей. [39]
Страницы: 1 2 3