Ассемблерные прграммы

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