До сих пор мы рассматривали конструкцию asm...end,  как опе-
        ратор с обычной частью begin...end. Директива assembler в Borland
        Pascal позволяет вам писать на встроенном ассемблере целиком про-
        цедуры  и функции без необходимости begin...end.  Приведем пример
        функции на ассемблере:

             function LongMul(X, Y: Integer) : Longint; assembler;
             asm
               mov            ax,X
               imul           Y
             end;

             Директива assembler приводит к тому,  что Borland Pascal вы-
        полняет при генерации кода следующую оптимизацию:

             - Компилятор не  генерирует  код  для  копирования  парамет-
               ров-значений в локальные переменные. Это влияет на все па-
               раметры-значения строкового типа и  другие  значения-пара-
               метры,  размер которых не равен 1,  2 или 4 байтам. Внутри
               процедуры или функции такие параметры должны интерпретиро-
               ваться, как если бы они были параметрами-переменными.

             - Компилятор  не  выделяет память для результата функции,  и
               ссылка на  идентификатор  @Result  будет  ошибкой.  Однако
               строковые  функции являются исключением из этого правила -
               они всегда имеют указатель @Result, который распределяется
               пользователем.

             - Для процедур и функций,  не имеющих параметров и локальных
               переменных, компилятор не генерирует кадров стека.

             - Для процедуры и функции на ассемблере автоматически  гене-
               рируется код выхода:

                 push   bp        ; присутствует, если Locals <> 0 или
                                  ; Params <> 0
                 mov    bp,sp     ; присутствует, если Locals <> 0 или
                                  ; Params <> 0
                 sub    sp,Locals ; присутствует, если Locals <> 0
                 ...
                 mov    sp,bp     ; присутствует, если Locals <> 0
                 pop    bp        ; присутствует, если Locals <> 0 или
                                  ; Params <> 0
                 ret    Params    ; всегда присутствует

               где Locals - размер локальных переменных,  а Params - раз-
               мер параметров.  Если и Locals и Params = 0, то кода входа
               не будет, и код выхода состоит просто из инструкции RET.

             Функции, использующие директиву assembler, должны возвращать

        результат следующим образом:

             - результаты   функции   порядкового  типа  (Integer,  Char,
               Boolean, перечислимые типы) возвращаются в AL (8-разрядное
               значение),  AX  (16-разрядное значение) или DX:AX (32-раз-
               рядное значение);

             - результаты функции вещественного типа  (Real) возвращаются
               в DX:BX:AX;

             - результаты функции типов 8087 (Single,  Double,  Extended,
               Comp) возвращаются в  ST(0)  (регистр  стека  сопроцессора
               8087);

             - результаты функции типа указатель возвращаются в DX:AX;

             - результаты функции строкового типа возвращаются во времен-
               ной ячейке, на которую указывает @Result.

             Директива assembler во многом похожа на  директиву external.
        Процедуры и функции на ассемблере должны должны  подчиняться  тем
        же правилам,  что и процедуры и функции типа external.  Следующие
        примеры показывают некоторые отличия  операторов  asm  в  обычных
        процедурах и функциях от процедур и функций ассемблера.  В первом
        примере оператор asm используется в обычной функции для  преобра-
        зования строки в верхний регистр. Заметим, что значение параметра
        Str в этом случае ссылается на  локальную  переменную,  поскольку
        компилятор автоматически генерирует код входа,  копирующий факти-
        ческий параметр в локальную память.

             function UpperCase(Str: String): String;
             begin
               asm
                 cld
                 lea        si,Str
                 les        di,@Result
                 SEGSS      lodsb
                 stosb
                 xor        ah,ah
                 xchg       ax,cx
                 jcxz       @3
             @1:
                 SEGSS      lodsb
                 cmp        al,'a'
                 ja         @2
                 cmp        al,'a'
                 ja         @2
                 cmp        al,'z'
                 jb         @2
                 sub        al,20H
             @2:
                 stosb
                 loop       @1

             @3:
              end;
             end;

             Второй пример на ассемблере представляет собой версию  функ-
        ции  UpperCase.  В  этом случае Str не копируется в локальную па-
        мять, и  функция должна интерпретировать Str,  как параметр-пере-
        менную.

             function UpperCase(S: String): String; assembler;
             asm
               push        ds
               cld
               lds         si,Str
               les         di@Result
               lodsb
               stosb
               xor         ah,ah
               xchg        ax,cx
               jcxz        @3
             @1:
               lodsb
               cmp         al,'a'
               ja          @2
               cmp         al,'z'
               jb          @2
               sub         al,20H
             @2:
               stosb
               loop       @1
             @3:
               pop        ds
             end;