Содержимое стека после вызова процедуры TESTA(i, j, k).
Положение |
Содержимое стека |
Значение смещении |
вершины |
{длина ячейки 16 |
относительно |
стека |
бит) |
регистра BP |
SP |
???? |
|
|
BP |
|
|
IP |
+2 |
|
К |
+4 |
|
J |
+6 |
|
I |
+8 |
В конце процедуры происходит восстановление значения регистра BP и возврат в точку вызова с очисткой стека. В данном случае было занято под параметры 6 байт.
Директива EQU (EQUivalent — Эквивалент) применяется для удобства сопоставления смещения в стеке с реальными параметрами. Вообще обратите внимание на эту директиву — она может существенно повысить читабельность программы и упростить программирование на Ассемблере.
Директива ARG
Существует более простой способ реализации подпрограмм с параметрами. В директиве ARG перечисляют по порядку все формальные параметры, далее указывается имя переменной (в нашем случае argLen), в которой подсчитывается количество байт, занимаемых параметрами, и, если нужно, указывается возвращаемое значение (параметр RETURNS).
Синтаксис директивы:
ARG список формалъных параметров [=их_длина] [RETURNS возв_значение]
При этом с параметрами и возвращаемым значением можно работать так, как мы привыкли, не заботясь о принятых соглашениях. В конце процедуры (перед возвратом в точку вызова) нужно восстановить из стека содержимое регистра BP и саму команду
возврата в точку вызова записать следующим образом: ret их_длина ;argLen
;i+j-k : integer or word
;Called as: TESTA(i, j, k) ;
;Вариант 2 - директива ARG
.MODEL small,pascal
.CODE PUBLIC TESTA TESTA PROC
;Function TESTA( i, j, k:integer):INTEGER;
ARG i:WORD,j:WORD,k:WORD=argLen RETURNS x:WORD
mov |
ax, i |
add |
ax, j |
sub |
ax, к |
mov x,ax pop bp ret argLen TESTA ENDP END
Соглашения о вызовах в стиле C/C++
Параметры в стек передаются справа налево.
Первым в стек помещается ПОСЛЕДНИЙ параметр, последним — ПЕРВЫЙ.
По окончании работы очистить стек должна ВЫЗЫВАЮЩАЯ процедура.
•Модель large означает, что все процедуры имеют атрибут FAR.
•Функция int prim (int a, lilt b, int с, int d) вызывает из С++.
•ДО вызова функции в стек должны быть переданы параметры в обратном порядке (справа налево: d,c,b,a):
•PUSH d
•PUSH с
•PUSH b
•PUSH a
•О передаче параметров заботится программа на С++.
•Затем следует ДАЛЬНИЙ вызов функции:
CALL prim.
•При этом в стек загружается адрес возврата в точку вызова:
•PUSH IP
•PUSH CS
•Затем начинает выполняться функцию, реализованную на Ассемблере. Вначале устанавливаем указатель на вершину стека. Для этого используется регистр BP:
•push bp
•mov bp,sp