Сушкин И.Н. Вычислительная техника и информационные технологии

Подождите немного. Документ загружается.

Комментарии появляются только в листингах ассемблирования исход-

ного модуля и не приводят к генерации машинных кодов, поэтому можно

включать любое количество комментариев, не влияя на эффективность вы-

полнения программы.

3.3.2. Формат кодирования

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

дующий вид:

[метка] команда [операнд(ы)]

Метка (если имеется), команда и операнд (если имеется) разделяются

по крайней мере одним пробелом или символом табуляции. Максимальная

длина строки – 132 символа. Примеры кодирования:

Метка Команда Операнд

COUNT DB 1 ; имя, команда, один операнд

MOV AX,0 ; команда, два операнда

Метки

Метка в языке Ассемблер может содержать следующие символы:

Буквы от A до Z и от a до z;

Цифры от 0 до 9;

Специальные символы знак вопроса (?);

точка (.) (только первый символ);

знак «коммерческое эт» (@);

подчеркивание ( _ );

доллар ($).

Первым символом в метке должна быть буква или специальный сим-

вол. Ассемблер не делает различия между заглавными и строчными буквами.

Максимальная длина метки – 31 символ. Примеры меток: COUNT, PAGE25,

$E10. Рекомендуется использовать описательные и смысловые метки. Все

имена регистров, например, AX, DI или AL – являются зарезервированными

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

в команде

ADD AX,BX

ассемблер автоматически знает, что AX и BX относятся к регистрам. Однако,

в команде

MOV REGSAVE,AX

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

ределено в сегменте данных.

Команда

Мнемоническая команда указывает ассемблеру, какое действие должен

выполнить данный оператор. В сегменте данных команда определяет поле,

рабочую область или константу. В сегменте кода команда определяет дейст-

вие, например, пересылка MOV или сложение ADD.

Операнд

Если команда специфицирует выполняемое действие, то операнд опре-

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

действие по команде. Байт CNTR определен в сегменте данных и имеет ну-

левое значение в следующем примере:

CNTR DB 0 ; определить байт с нулевым значением

Команда может иметь один или два операнда или вообще быть без операн-

дов. Рассмотрим следующие три примера:

Команда Операнд Комментарий

RET ; нет операндов.

INC CX ; увеличить CX (один операнд).

ADD AX,12 ; прибавить 12 к AX (два операнда).

Метка, команда и операнд не обязательно должны начинаться с ка-

кой-либо определенной позиции в строке. Однако рекомендуется запи-

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

3.3.3. Директивы ассемблера

Ассемблер имеет ряд операторов, которые позволяют управлять про-

цессом ассемблирования и формирования листинга. Эти операторы назы-

ваются псевдокомандами или директивами. Они действуют только в процес-

се ассемблирования программы и не генерируют машинных кодов. Наиболее

часто используемые в наших программах директивы приведены в приложе-

нии 2.

Директивы управления листингом: PAGE и TITLE

Ассемблер содержит ряд директив, управляющих форматом печати

(или листинга). Директивы PAGE и TITLE можно использовать в любой про-

грамме.

Директива PAGE

В начале программы можно указать количество строк, распечатывае-

мых на одной странице, и максимальное количество символов на одной стро-

ке. Для этой цели служит директива PAGE. Данной директивой устанавлива-

ется формат 60 строк на страницу и 132 символа в строке:

PAGE 60,132

Количество строк на странице может быть в пределах от 10 до 255, а симво-

лов в строке – от 60 до 132. По умолчанию в ассемблере установлено PAGE

66,80.

Предположим, что счетчик строк установлен на 60. В этом случае ас-

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

страницы и увеличивает номер страницы на единицу. Кроме того, можно за-

ставить ассемблер сделать прогон листа на конкретной строке, например в

конце сегмента. Для этого необходимо записать директиву PAGE без операн-

дов. Ассемблер автоматически сделает прогон листа при обработке директи-

вы PAGE.

Директива TITLE

Для того, чтобы вверху каждой страницы листинга печатался заголовок

(титул) программы, используется директива TITLE в следующем формате:

TITLE текст

В качестве текста рекомендуется использовать имя программы, под которым

она находится в каталоге на диске. Например, если программа называется

ASMSORT, то можно использовать это имя и в описательном комментарии

общей длиной до 60 символов:

TITLE ASMSORT – ассемблерная программа сортировки имен

В ассемблере также имеется директива подзаголовка SUBTTL, которая

может оказаться полезной для очень больших программ, содержащих много

подпрограмм.

Директива SEGMENT

Любые ассемблерные программы содержат по крайней мере один сег-

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

ковой памяти и сегмент данных для определения данных. Ассемблерная ди-

ректива для описания сегмента SEGMENT имеет следующий формат:

Имя Директива Операнд

имя SEGMENT [параметры]

имя ENDS

Имя сегмента должно обязательно присутствовать, быть уни-

кальным и соответствовать соглашениям для имен в Ассемблере. Ди-

ректива ENDS означает конец сегмента. Директивы SEGMENT и ENDS

должны иметь одинаковые имена. Директива SEGMENT может содержать

три типа параметров: выравнивание, объединение и класс:

• выравнивание. Данный параметр определяет границу начала сегмен-

та. Обычным значением является PARA, по которому сегмент устанав-

ливается на границу параграфа. В этом случае начальный адрес кратен

16, т. е. имеет шестнадцатеричный адрес nnn0h. В случае отсутствия

этого операнда ассемблер принимает по умолчанию PARA.

• объединение. Этот элемент определяет, объединяется ли данный сег-

мент с другими сегментами в процессе компоновки после ассембли-

рования. Возможны следующие типы объединений: STACK,

COMMON, PUBLIC, АТ-выражение и MEMORY. Сегмент стека оп-

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

имя SEGMENT PARA STACK

Если отдельно ассемблированные программы должны объединяться компо-

новщиком, то можно использовать типы объединений: PUBLIC, COMMON и

MEMORY. В случае, если программа не должна объединяться с другими

программами, то указание этих типов должно быть опущено.

• класс. Данный элемент, заключенный в апострофы, используется

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

имя SEGMENT PARA STACK ‘Stack’

Директива PROC

Сегмент кода содержит выполняемые команды программы. Кроме то-

го, этот сегмент также включает в себя одну или несколько процедур, опре-

деленных директивой PROC. Сегмент, содержащий только одну процедуру,

имеет следующий вид:

имя _ сегмента SEGMENT PARA

имя _ процедуры PROC FAR Сегмент

. кода

. с

. одной

RET процедурой

имя _ процедуры ENDP

имя – сегмента ENDS

Имя процедуры должно обязательно присутствовать, быть уникальным

и удовлетворять соглашениям по именам в ассемблере. Операнд FAR

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

входа для выполнения программы.

Директива ENDP определяет конец процедуры и имеет имя, аналогич-

ное имени в директиве PROC. Команда RET завершает выполнение програм-

мы и в данном случае возвращает управление в DOS. Сегмент может содер-

жать несколько процедур.

Директива ASSUME

Процессор использует регистр SS для адресации стека, регистр DS для

адресации сегмента данных и регистр CS для адресации сегмента кода. Ас-

семблеру необходимо сообщить назначение каждого сегмента. Для этого

служит директива ASSUME, кодируемая в сегменте кода следующим обра-

зом:

Директива Операнд

ASSUME SS:им _ cтeк, DS:им _ дaн, CS:им _ кoд

Например, SS:им _ cтeк указывает, что ассемблер должен ассоцииро-

вать имя сегмента стека с регистром SS. Операнды могут записываться в лю-

бой последовательности. Регистр ES также может присутствовать среди опе-

рандов. Если программа не использует регистр ES, то его можно опустить

или указать ES:NOTHING.

Директива END

100

Как уже показано, директива ENDS завершает сегмент, а директива

ENDP завершает процедуру. Директива END в свою очередь полностью за-

вершает всю программу:

Директива Операнд

END [имя _ процедуры]

Операнд может быть опущен, если программа не предназначена для

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

или эта программа должна быть скомпонована с другим (главным ) модулем.

Для обычной программы с одним модулем операнд содержит имя, указанное

в директиве PROC, которое было обозначено как FAR.

3.3.4. Память и регистры

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

ратных скобках и чисел. В следующих примерах положим, что WORDA оп-

ределяет слово в памяти:

MOV АХ,ВХ ; переслать содержимое ВХ в регистр АХ.

MOV АХ,WORDA ; переслать WORDA в регистр АХ.

MOV АХ,[ВХ] ; переслать содержимое памяти по

; адресу в регистре ВХ в регистр АХ.

MOV АХ,25 ; переслать значение 25 в регистр АХ.

MOV АХ,[25] ; переслать содержимое по смещению 25.

3.3.5. Инициализация программы

Существует два основных типа загрузочных программ: ЕХЕ и СОМ.

Рассмотрим требования к ЕХЕ-программам. Система DOS имеет четыре тре-

бования для инициализации ассемблерной ЕХЕ-программы. Для этого необ-

ходимо: указать ассемблеру, какие сегментные регистры должны соответст-

вовать сегментам; сохранить в стеке адрес, находящийся в регистре DS, ко-

гда программа начнет выполнение; записать в стек нулевой адрес; загрузить

в регистр DS адрес сегмента данных.

Выход из программы и возврат в DOS сводится к использованию ко-

манды RET. На рис. 16. проиллюстрированы требования к инициализации и

выходу из программы.

CODESG SEGMENT PARA ‘CODE’

BEGIN PROC FAR

ASSUME CS:CODESG, DS:DATASG, SS:STACKG

PUSH DS ; записать DS в стек

XOR AX,AX ; установить ноль в AX

PUSH AX ; записать ноль в стек

MOV AX,DATASG ; занести адрес

101

MOV DS,AX ; DATASG в DS

RET ; возврат в DOS

BEGIN ENDP

CODESG ENDS

END BEGIN

Рис. 16. Инициализация ЕХЕ - программы (первый вариант)

Иногда для выхода в DOS используют стандартное прерывание. При

этом нет необходимости в записи в стек адреса возврата. Программа выгля-

дит следующим образом (рис. 17):

CODESG SEGMENT PARA ‘CODE’

BEGIN PROC FAR

ASSUME CS:CODESG, DS:DATASG, SS:STACKG

MOV AX,DATASG ; занести адрес

MOV DS,AX ; DATASG в DS

MOV AX, 4C00H

INT 21H ; возврат в DOS

BEGIN ENDP

CODESG ENDS

END BEGIN

Рис. 17. Инициализация ЕХЕ – программы (второй вариант)

Разберём приведённые программы несколько подробнее:

• ASSUME – это ассемблерная директива, которая устанавливает для ас-

семблера соответствие между конкретными сегментами и сегментными

регистрами; в данном случае CODESG соответствует CS, DATASG –

DS и STACKSG – SS. Сегменты DATASG и STACKSG не определены

в этом примере, но они могли быть представлены следующим образом:

STACKSG SEGMENT PARA STACK Stack ‘Stack’

DATASG SEGMENT PARA ‘Data’

Ассоциируя сегменты с сегментными регистрами, ассемблер сможет оп-

ределить смещения к отдельным областям в каждом сегменте. Например, ка-

ждая команда в сегменте кодов имеет определенную длину: первая команда

имеет смещение 0, и если это двухбайтовая команда, то вторая команда будет

102

иметь смещение 2 и т. д.

• Загрузочному модулю в памяти непосредственно предшествует

256-байтовая (100Н) область, называемая префиксом программного

сегмента PSP. Программа загрузчика использует регистр DS для ус-

тановки адреса начальной точки PSP. Пользовательская программа

должна сохранить этот адрес, поместив его в стек. Позже команда RET

возьмет этот адрес из стека для возврата в DOS.

• В системе требуется, чтобы следующее значение в стеке являлось ну-

левым адресом (точнее, смещением). Для этого команда SUB очища-

ет регистр АХ, вычитая его из этого же регистра АХ, а команда PUSH

заносит это значение в стек.

• Загрузчик DOS устанавливает правильные адреса стека в регистре SS и

сегмента кодов в регистре CS. Поскольку программа загрузчика ис-

пользует регистр DS для других целей, необходимо инициализировать

регистр DS двумя командами MOV, как показано на рис. 16 и рис. 17. В

следующем разделе этой главы «Пример исходной программы» де-

тально поясняется инициализация регистра DS.

• Команда RET обеспечивает выход из пользовательской программы и

возврат в DOS, используя для этого адрес, записанный в стек в начале

программы командой PUSH DS. Другим часто используемым спо-

собом завершения программы является команда INT 20Н.

Теперь, даже если приведенная инициализация программы до конца не

понятна, не отчаивайтесь. Каждая программа фактически имеет аналогичные

шаги инициализации, так что их можно дублировать всякий раз при кодиро-

вании программ.

3.3.6. Пример исходной программы

На рис. 18. обобщены предыдущие сведения в простой исходной про-

грамме на ассемблере. Программа содержит сегмент стека STACKSG и сег-

мент кода CODESG.

STACKSG SEGMENT PARA STACK ‘Stack’

DB 12 DUP ( ‘STACKSEG’ )

STACKSG ENDS

CODESG SEGMENT PARA ‘Code’

BEGIN PROC FAR

ASSUME SS: STACKSG, CS: CODESG, DS: NOTHING

MOV AX,0123H ; з3аписать 0123 в АХ

ADD AX,0025H ; прибавить 25 к AX

MOV BX,AX ; переслать AX в BX

ADD BX,AX ; прибавить BX к AX

MOV CX,BX ; переслать BX в CX

103

SUB CX,AX ; вычесть AX из CX

MOV AX,4C00H

INT 21H ; возврат в DOS

BEGIN ENDP ; конец процедуры

CODESG ENDS ; конец сегмента

END BEGIN ; конец программы

Рис. 18. Пример исходной программы на ассемблере

Сегмент STACKSG содержит один элемент DB (определить байт), ко-

торый определяет 12 копий слова ‘STACKSEG’. В последующих программах

стек не определяется таким способом, но при использовании отладчика для

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

могает локализовать стек.

Сегмент кода CODESG содержит выполняемые команды программы,

хотя первая директива ASSUME не генерирует кода. Директива ASSUME на-

значает регистр SS для STACKSG и регистр CS для CODESG. В действи-

тельности эта директива сообщает ассемблеру, что для адресации в

STACKSG необходимо использовать адрес в регистре SS и для адресации в

CODESG - адрес в регистре CS. Системный загрузчик при загрузке програм-

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

регистрах SS и CS. Программа не имеет сегмента данных, так как в ней нет

определения данных и соответственно в ASSUME нет необходимости ассиг-

новать регистр DS.

3.4. Определение данных

Сегмент данных предназначен для определения констант, рабочих по-

лей и областей для ввода-вывода. В соответствии с имеющимися директива-

ми в ассемблере разрешено определение данных различной длины, например,

директива DB определяет байт, а директива DW определяет слово. Элемент

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

ленную как символьная строка или как числовое значение.

Другой способ определения константы – непосредственное значение,

т.е. значение, указанное прямо в ассемблерной команде, например:

MOV AL, 20H

В этом случае шестнадцатеричное число 20 становится частью машин-

ного объектного кода. Непосредственное значение ограничено одним бай-

том или одним словом, но там, где его можно применять, оно более эффек-

тивно, чем использование константы.

104

3.4.1. Директивы определения данных

Ассемблер обеспечивает два способа определения данных: во-первых,

через указание длины данных; во-вторых, по их содержимому. Рассмотрим

основной формат определения данных:

[имя] Dn выражение

Имя элемента данных не обязательно (это указывается квадратными

скобками), но если в программе имеются ссылки на некоторый элемент, то

это делается посредством имени.

Для определения элементов данных имеются следующие директивы:

DB (байт), DW (слово), DD (двойное слово), DQ (учетверенное слово) и DT

(десять байт). Выражение может содержать константу, например:

А DB 25

или знак вопроса для неопределенного значения, например

B DB ?

Выражение может содержать несколько констант, разделенных за-

пятыми и ограниченных только длиной строки:

С DB 11, 12, 13, 14, 15, 16, . . .

Ассемблер определяет эти константы в виде последовательности

смежных байтов. Ссылка по имени С указывает на первую константу, 11, по

С+1 – на вторую, 12. (С можно представить как С + 0). Например, команда

MOV AL, С+3

загружает в регистр AL значение 14 ( 0ЕН ). Выражение допускает также по-

вторение константы в следующем формате:

[имя] Dn число повторений DUP ( выражение ) ...

Следующие три примера иллюстрируют повторение:

DW 10 DUP ( ? ) ; десять неопределенных слов.

DB 5 DUP ( 14 ) ; пять байт, содержащих 0ЕН.

DB 3 DUP ( 4 DUP ( 8 ) ) ; двенадцать восьмерок.

В третьем примере сначала генерируются четыре копии десятичной 8

(8888), затем это значение повторяется три раза, давая в результате двена-

дцать восьмерок. Выражение может содержать символьную строку или чи-

словую константу.

Символьные строки

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

пример, имена людей или заголовки страниц. Содержимое строки отмечается

одиночными кавычками, например ‘PC’, или двойными кавычками - “PC”.

Ассемблер переводит символьные строки в объектный код в обычном фор-

мате ASCII.

Символьная строка определяется только директивой DB, в которой

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

105

направо. Директива DB представляет единственно возможный формат для

определения символьных данных. На рис.19 приведены некоторые примеры.

DATASG SEGMENT PARA ‘Data’

; Определение байта – DB:

A DB ? ; не инициализировано

B DB ‘Personal Computer’ ; символьная строка

C DB 32 ; десятичная константа

D DW 20H ; шест. константа

E DB 01011001B ; двоичная константа

DATASG ENDS

END

Рис.19. Определение символьных строк и числовых величин

Числовые константы

Числовые константы применяются для арифметических значений и для

адресов памяти. Для описания числовой константы кавычки не ставятся. Ас-

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

сывает байты в объектном коде в обратной последовательности – справа на-

лево. Ниже показаны различные числовые форматы.

Десятичный формат. Десятичный формат допускает десятичные циф-

ры от 0 до 9 и обозначается последней буквой D, которую можно не указы-

вать, например 125 или 125D. Несмотря на то, что ассемблер позволяет коди-

рование в десятичном формате, он преобразует эти значения в шестнадцате-

ричный объектный код. Например: десятичное число 125 преобразуется в

7DH.

Шестнадцатеричный формат. Шестнадцатеричный формат допускает

цифры от 0 до F и обозначается в конце буквой Н. Так как ассемблер полага-

ет, что с буквы начинаются идентификаторы, то первой цифрой шестнадца-

теричной константы должна быть цифра от 0 до 9. Например, 2ЕН или

0FFFH ассемблер преобразует соответственно в 2Е и FF0F (байты во втором

случае записываются в объектный код в обратной последовательности).

Двоичный формат. Двоичный формат допускает двоичные цифры 0 и

1 и обозначается в конце буквой В. Двоичный формат обычно используется

для более четкого представления битовых значений в логических командах

AND, OR, XOR и TEST. Десятичное 12, шестнадцатеричное С и двоичное

1100В генерируют один и тот же код: шестнадцатеричное 0СН или двоичное

00001100B в зависимости от того, как вы рассматриваете содержимое байта.

Восьмеричный формат. Восьмеричный формат допускает восьмерич-

ные цифры от 0 до 7 и обозначается последней буквой Q или O, например

253Q. На сегодня восьмеричный формат используется весьма редко.