Процедуры в языке ассемблера

В ассемблере есть еще две команды перехода - CALL (переход с возвратом) и RET (возврат из подпрограммы)

Переход с возвратом: CALL <операнд1>

Эта команда записывает адрес следующей за ней команды в стек и затем делает переход по адресу, определяемому операндом <операнд1>. Она используется для переходов на подпрограммы с запоминанием в стеке адреса возврата.

Имеются следующие разновидности этой команды (они аналогичны вариантам команды безусловного перехода JMP):

- внутрисегментный относительный длинный переход (<операнд1> - непосредст­венный операнд размером в слово, а в ассемблере - это метка из текущего сег­мента команд или имя близкой процедуры, в этом случае в стек заносится только текущее значение счетчика команд IP, т.е. смеще­ние следующей команды;

- внутрисегментный абсолютный косвенный переход (<операнд1> - адрес слова памяти, в которой находится адрес (смещение) той команды, на которую и будет сделан переход); и здесь в стек записывается только смещение ад­реса возврата;

- межсегментный абсолютный прямой переход (<операнд1> - непосредственный операнд вида seg:ofs, а в ассемблере - это FAR PTR <метка> или имя дальней процедуры, здесь в стек заносятся текущие значения регист­ров CS и IP (первым в стек записывается содержимое CS), т.е. абсолют­ный адрес возврата, после чего меняются регистры CS и IP;

- межсегментный абсолютный косвенный переход (<операнд1> - адрес двойного слова, в котором находится пара seg:ofs, задающая абсолютный адрес пе­рехода); и здесь в стеке спасается содержимое регистров CS и IP.

Переход (возврат) по адресу из стека: RET <операнд1>

Из стека считывается адрес и по нему производится переход. Если указан операнд (а это должно быть неотрицательное число), то после чтения ад­реса стек еще очищается на это число байтов (к SP добавляется это чис­ло). Команда используется для возврата из подпрограммы по адресу, за­писанному в стек по команде CALL при вызове подпрограммы, и одновре­менной очистки стека от параметров, которые основная программа занесла в стек перед обращением к подпрограмме.

В ПК стек в основном используется для организации подпрограмм и прерываний. Однако, даже если программе не нужен стек, она все равно должна от­вести под него место. Дело в том, что стеком будет неявно пользоваться операционная система при обработке прерываний, которые возникают (нап­ример, при нажатии клавиш на клавиатуре) в то время, когда выполняется программа. Для нужд ОС рекомендуется выделять в стеке 64 байта.

В конкретных случаях можно использовать более простые схемы. Напри­мер, параметры можно передавать не через стек, а через регистры, место под локальные величины можно отводить не в стеке, а в сегменте данных и т.п.

При составлении и вызове подпрограмм необходимо следить за тем, чтобы команды CALL и RET действовали согласовано - были одновременно близкими или дальними. В ассемблере эта проблема снимается, если подпрограм­му описать как процедуру. Процедуры имеют следующий вид:

имя_процедуры PROC [NEAR или FAR]

...

имя_процедуры ENDP

Хотя в директиве PROC после имени процедуры не ставится двоеточие, это имя относится к меткам и его можно указывать в командах перехода, в частности в команде CALL, когда надо вызвать процедуру. Это же имя должно быть повторено в директиве ENDP, заканчивающей описание проце­дуры. Предложения между этими двумя директивами образуют тело процеду­ры (подпрограмму). Имя процедуры является фактически меткой первой из команд тела, поэтому данную команду не надо специально метить.

Если в директиве PROC указан параметр NEAR или он вообще не ука­зан, то такая процедура считается "близкой" и обращаться к ней можно только из того сегмента команд, где она описана. Дело в том, что ас­семблер будет заменять все команды CALL, где указано имя данной проце­дуры, на машинные команды близкого перехода с возвратом, а все команды RET внутри процедуры - на близкие возвраты. Если же в директиве PROC указан параметр FAR, то это "дальняя" процедура: все обращения к ней и все команды RET внутри нее рассматриваются ассемблером как дальние пе­реходы. Обращаться к этой процедуре можно из любых сегментов команд. Таким образом, достаточно лишь указать тип процедуры (близкая она или дальняя), всю же остальную работу возьмет на себя ассемблер: переходы на нее и возвраты из нее будут автоматически согласованы с этим типом. В этом главное (и единственное) достоинство описания подпрограмм в ви­де процедур.

Например, вычисление AX:=SIGN(AX) можно описать в виде процедуры следующим образом:

SIGN PROC FAR; дальняя процедура

CMP AX,0

JE sgn1; AX =0 - перейти к sgn1

MOV AX,1; AX:=1 (флаги не изменились!)

JG sgn1; AX >0 - перейти к sgn1

MOV AX,-1; AX:=-1

sgn1: RET; дальний возврат

SIGN ENDP

...

Возможный пример обращения к этой процедуре:

; CX:= SIGN (VAR)

MOV AX, VAR

CALL SIGN; дальний вызов

MOV CX, AX

Дата добавления: 2014-11-09