3.9. Макросы

Сейчас мы изучим языковое средство ассемблера MASM, из-за которого он собственно и получил свое название Macro Assembler (макроассемблер).

Макрос (макроопределение) — это символьное имя, заменяемое при ассемблировании на последовательность программных инструкций.

Обычно в качестве макросов оформляют повторяющиеся участки текста программы. Если в тексте программы будет встречаться вызов макроса (макрокоманда), то он будет заменяться на заранее определенные инструкции.

Отличие макроса от обычной подпрограммы заключается в том, что, если в исходном тексте будет несколько вызовов макроса, то его тело будет повторено столько же раз. Тело же обычной подпрограммы существует в единственном экземпляре независимо от количества вызовов. Хотя программа, использующая подпрограмму, расходует меньше места, но программа с макросом будет выполняться быстрее, т. к. в ней не будет лишних команд CALL и RET. Кроме того, тело макроса может изменяться в зависимости от тех аргументов, с которыми он вызван, обычная подпрограмма такое свойство обеспечить не может.

Макрос должен быть описан до первого вызова. Описание макроса еще называют макроопределением. Макроопределение начинается директивой MACRO и заканчивается ENDM. Как правило, макроопределения помещаются либо в начале исходного текста программы, либо в отдельный текстовый файл, который включается в исходную программу на этапе трансляции с помощью директивы

INCLUDE.

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

Имя_макрокоманды MACRO Список_формальных_аргументов Тело макроопределения

ENDM

Пример макроопределения без использования аргументов: ah9 MACRO

mov ah,9 int 21h ENDM

Теперь в программе можно использовать имя ah9, как обычную инструкцию, а ассемблер заменит ее на две команды, содержащиеся в макроопределении.

Пример макроопределения с использованием аргументов: addx MACRO x1,x2,x3

Макрос addx складывает значения указанные в параметрах x2 и x3 и сохраняет результат в регистре, который должен быть указан в первом параметре x1. К примеру, если в программе с макроопределением вставить строку:

addx ax,20h,-7

то ассемблер заменит ее на следующие две инструкции:

mov ax,20h add ax,-7

В макроопределении мы не случайно использовали комментарии, начинающиеся с двух точек с запятой (макрокомментарии). В отличие от обычных комментариев макрокомментарий не попадает в текст программы при подстановке макроса. Это увеличивает скорость ассемблирования программы с большим количеством макроопределений. Таким образом, в макроопределениях лучше всегда использовать только макрокомментарии.

3.9.1. Блоки повторений

Вмакросах могут создаваться блоки повторений с помощью специальных директив:

Директивы WHILE и REPT

Данные директивы выполняют повторение участка программы заданное число раз. Синтаксис директивы WHILE:

WHILE константное_выражение инструкции

ENDM

Синтаксис директивы REPT:

REPT константное_выражение инструкции

ENDM

Обе директивы повторяют инструкции столько раз, сколько это определено значением константное_выражение. Отличие директивы REPT от директивы WHILE в том, что она автоматически уменьшает на единицу значение константное_выражение после каждой итерации. В тело директивы WHILE нужно обязательно включать счетчик уменьшения значения константное_выражение, в ином случае цикл будет работать вечно, из-за чего на этапе транслирования ассемблер просто повиснет.

Пример макроса с использованием директивы WHILE: mem0 MACRO ln

len=ln WHILE len db 0 len=len-1 ENDM

ENDM

Если в программе вставить строку:

mem0 100

то будет сгенерировано 100 директив DB 0.

Пример макроса с использованием директивы REPT: mem1 MACRO ln

len=ln

x=0 REPT len db x x=x+1 ENDM

ENDM

db 'a',0 db 'b',0 db 'c',0 db 'd',0

 Директива EXITM

Директива EXITM (сокращение от exit macro) выполняет немедленный выход из макроопределения или блока повторения.

 Директива LOCAL Синтаксис директивы:

LOCAL метка

Данная директива заставляет транслятор сгенерировать уникальное имя метки при каждом вызове макрокоманды. Это обычно нужно для того, чтобы не возникало конфликта имен в том случае если метка с таким именем уже определена в основном тексте программы или при использовании макроса более одного раза. В данной директиве можно указывать сразу список меток через запятую.

Обычно метки, генерируемые транслятором, имеют следующий формат: ??nnnn, где вместо nnnn подставляется уникальный номер.

 Директива PURGE Синтаксис директивы:

PURGE имя_макроса

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