Ассемблерные прграммы
Ассемблерные подпрограммы – это процедуры и функции, объявленные с директивой 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.