Регистры

Следующие зарезервированные идентификаторы обозначают ре-

гистры ЦП:

Регистры ЦП Таблица 24.2

-----------------------------------------------------------------

16-разрядные регистры общего назначения: AX BX CX DX

8-разрядные младшие полурегистры: AL BL CL DL

8-разрядные старшие полурегистры: AH BH CH DH

16-разрядные указатели или индексные регистры: SP BP SI DI

16-разрядные сегментные регистры: CS DS SS ES

регистр стека процессора 8087 ST

-----------------------------------------------------------------

Когда операнд состоит исключительно из имени регистра, он

называется регистровым операндом. Все регистры можно использо-

вать, как регистровые операнды. Кроме того, некоторые регистры

могут использоваться в других контекстах.

Базовые регистры (BX или BP) и индексные регистры (SI или

DI) можно записывать в квадратных скобках для указания индекса-

ции. Допустимым сочетанием базового/индексного регистра являются

[BX], [BP], [SI], [DI], [BX+SI], [BX+DI], [BP+SI] и [BP+DI].

Сегментные регистры (ES, CS, SS и DS) могут использоваться

вместе с операцией переопределения сегмента (:) и указывать на

другой сегмент, отличный от того, который процессор выбирает по

умолчанию. На каждый из 8 регистров с плавающей точкой можно ссы-

латься с помощью ST(x), где x - константа от 0 до 7, указывающая

на расстояние от вершины стека регистров.

Идентификаторы

Встроенный ассемблер позволяет в выражениях ассемблера полу-

чить доступ ко всем идентификаторам Паскаля, включая метки, конс-

танты, типы, переменные, процедуры и функции. Кроме того, во

встроенном ассемблере реализованы следующие специальные идентифи-

каторы:

@Code @Data @Result

Идентификаторы @Code и @Data представляют текущие сегменты

кода и данных соответственно. Их следует использовать только в

сочетании с операцией SEG:

asm

mov ax,SEG @Data

mov ds,ax

end;

Идентификатор @Result в операторной части функции переменную

- результат функции. Например, в функции:

function Sum(X, Y: Integer): Integer;

begin

Sum := X + Y;

end;

в операторе, присваивающем результат функции переменной Sum, мож-

но было бы при записи на встроенном ассемблере использовать пере-

менную @Result:

function Sum(X, Y: Integer): Integer;

begin

asm

mov ax,X

add ax,Y

mov @Result,ax

end;

end;

В выражениях встроенного ассемблера нельзя использовать сле-

дующие идентификаторы:

- стандартные процедуры и функции (например, WriteLn, Chr);

- специальные массивы Mem, MemW, MemL, Port, PortW;

- строки, значения с плавающей точкой и константы множест-

венного типа;

- метки, которые не описаны в текущем блоке;

- идентификатор @Result вне функции.

В Таблице 24.3 приведены значение, класс и тип различного

вида идентификаторов, которые можно использовать в выражениях

встроенного ассемблера (классы и типы выражений описываются в

следующем разделе):

Значения, классы и типы идентификаторов Таблица 24.3

-------------T--------------------T----------------T------------

¦Идентификат.¦ Значение ¦ Класс ¦ Тип ¦

+------------+--------------------+----------------+------------+

¦ Метка ¦ Адрес метки ¦ Память ¦ SHORT ¦

¦ Константа ¦ Значение константы ¦ Непосредствен- ¦ 0 ¦

¦ ¦ ¦ ный ¦ ¦

¦ Тип ¦ 0 ¦ Память ¦ Размер типа¦

¦ Поле ¦ Смещение поля ¦ Память ¦ Размер типа¦

¦ Переменная ¦ Адрес переменной ¦ Память ¦ Размер типа¦

¦ Процедура ¦ Адрес процедуры ¦ Память ¦ NEAR / FAR¦

¦ Функция ¦ Адрес функции ¦ Память ¦ NEAR / FAR¦

¦ Модуль ¦ 0 ¦ Непосредствен- ¦ 0 ¦

¦ ¦ ¦ ный ¦ ¦

¦ @Code ¦ Адрес сегмента кода¦ Память ¦ 0FFF0H ¦

¦ @Data ¦ Адрес сегмента ¦ Память ¦ 0FFF0H ¦

¦ ¦ данных ¦ ¦ ¦

¦ @Result ¦ Смещение перемен- ¦ Память ¦ Размер типа¦

¦ ¦ ной результата ¦ ¦ ¦

L------------+--------------------+----------------+-------------

Локальные переменные (переменные, описанные в процедурах и

Функциях) всегда распределяются в стеке и доступны относительно

SS:BP, а значение идентификатора локальной переменной представля-

ет собой ее смещение со знаком от SS:BP. ассемблер автоматически

добавляет [BP] к ссылкам на локальные переменные. Например, с

учетом описаний:

procedure Test;

var

Count: Integer;

инструкции:

asm

mov ax,Count

end;

ассемблируются в MOV AX,[BP-2].

Встроенный ассемблер всегда интерпретирует параметр-перемен-

ную, как 32-разрядный указатель, а размер параметра-переменной

всегда равен 4 (размеру 32-разрядного указателя). В Паскале син-

таксис для доступа к параметру-переменной и к значению параметра

одинаков. В случае встроенного ассемблера это не так. Поэтому для

доступа к содержимому параметра-переменной вам сначала придется

загрузить 32-разрядный указатель, а затем обратиться к ячейке, на

которую он указывает. Например, если X и Y - параметры-переменные

приведенной выше функции Sum, то она может выглядеть следующим

образом:

function Sum(var X, Y: Integer): Integer;

begin

asm

les bx,X

mov ax,es:[bx]

les bx,Y

add ax,es:[bx]

mov @Result,ax

end;

end;

Некоторые идентификаторы, такие, как переменные типа запись,

имеют область действия, позволяющую обращаться к ним с помощью

операции выбора элементы структуры - точки (.). Например, с уче-

том описаний:

type

Point = record

X, Y: Integer;

end;

Rect = record

A, B: Point;

end;

var

P: Point;

R: Rect;

для доступа к полям в переменных P и R можно использовать следую-

щие конструкции:

asm

mov ax,P.X

mov dx,P.Y

mov cx,R.A.X

mov bx,R.B.Y

end;

Для непосредственного построения переменной можно использо-

вать идентификатор типа. Каждая из приведенных ниже инструкций

генерирует один и тот же машинный код, загружающий в AX

ES:[DI+4]:

asm

mov ax,(Rect PTR es:[di]).B.X

mov ax,Rect(es:[di].B.X

mov ax,es:Rect[di].B.X

mov ax,Rect[es:di].B.X

mov ax,es:[di].Rect.B.X

end;

Область действия задается типов, полем и идентификатором пе-

ременной типа записи или объектного типа. Кроме того, идентифика-

тор модуля открывает область действия конкретного модуля (как

полностью уточненный идентификатор в Паскале).