Иллюстрированный самоучитель по Tirbo Pascal

       

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


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


  • Содержание раздела