|
Ассемблерные прграммы
Ассемблерные подпрограммы
- это процедуры и функции, объявленные с директивой
Assembler. В таких подпрограммах исполняемая часть не
содержит begin... end и состоит из единственного ассемблерного
оператора asm... end. Например:
Function LongMul(X,Y:Integer):LongInt;
Assembler;
asm
mov ax, X
imul Y {DX/AX содержат "длинный" результат}
end;
При компиляции ассемблерных подпрограмм
выполняется ряд оптимизаций кода, в том числе:
- параметры-значения строкового типа,
а также длиной в 1, 2 и 4 байта не копируются во временную
память, т.е. внутри подпрограммы они считаются параметрами-переменными
;
- компилятор не создает переменную
@Result для результата функции, и ссылка на эту переменную
в ассемблерной функции недопустима; исключением являются
функции, возвращающие значения строкового типа, для
них разрешается использовать ссылку на @Result;
- генерируются следующие команды на
входе в подпрограмму и на ее выходе:
push bp {Сохраняется ВР}
mov bp,sp {ВР содержит текущую границу
стека}
sub sp,Locals {Резервируется часть стека
для размещения локальных переменных}
.......
mov sp,bp {Восстанавливается граница
стека}
pop bp {Восстанавливается ВР}
ret Params {Из стека удаляются параметры
подпрограммы и осуществляется выход из
нее}
Здесь Locals - общая длина в байтах
всех объявленных в подпрограмме локальных переменных,
a Params - длина (в байтах) всех формальных параметров.
Если Locals и Params равны нулю, входной код не создается,
а выходной содержит единственную инструкцию RET.
Все локальные переменные Турбо Паскаль
размещает в стеке. Это относится как к обычным, так
и к ассемблерным подпрограммам. Для ссылки на локальные
переменные используется адресация по базе, задаваемой
парой DS: ВР, поэтому при входе в процедуру всегда создается
так называемый локальный стек: в регистр ВР помещается
текущая граница стека, а сама эта граница смещается
вверх на суммарную длину всех локальных переменных,
чтобы работа со стеком внутри подпрограммы не разрушила
локальные переменные. Например:
Procedure ...;
Assembler;
var
X: Word;
Y: Byte;
asm
mov X, ax {Компилируется в mov [BP-2],
ax}
mov ah,Y {Компилируется в mov ah,[BP-3]}
end;
Ассемблерные функции должны следующим
образом возвращать результат своей работы:
- длиной 1 байт (Byte, Char и
т.п.) - в регистре AL;
- длиной 2 байта (Integer, Word)
- в регистре АХ;
- длиной 4 байта (Pointer, LongInt)
- в регистрах DX (старшее слово) и АХ (младшее слово);
- типа Real - в регистрах DX,
BX, АХ (старшее слово - в DX, младшее в АХ);
- вещественных типов Single,
Double, Extended, Comp - в регистре ST (0) сопроцессора;
- строкового типа - во временной
области памяти, на которую ссылается @Result.
|
