Директивы условной генерации ошибок

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

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

Обработка любой директивы условной генерации ошибок, кроме .ERR1, с истинным условием эквивалентна распознаванию фатальной ошибки (с кодом возврата 7), при которой MASM уничтожает объектный файл.

Форматы директив и соответствующие им сообщения MASM приведены ниже.

Директивы условной генерации ошибок:

Синтаксис Номер и текст сообщения

ERR1 87 Forced error — pass 1

ERR2 88 Forced error — pass 2

ERR 89 Forced error

ERRE выражение 90 Forced error — expression equals 0

ERRNZ выражение 91 Forced error — expression not equals 0

ERRNDEF имя 92 Forced error — symbol not defined

ERRDEF имя 93 Forced error — symbol defined

ERRB <строка> 94 Forced error — string blank

ERRNB <строка> 95 Forced error — string not blank

ERRIDN <строка-1> 96 Forced error — strings identical <строка-2>

ERRDIF <строка-2> 97 Forced error — strings different <строка-2>

Директива .ERR обеспечивает безусловную генерацию сообщения об ошибке. Директивы .ERR1 и .ERR2 также безусловно воздействуют соответственно лишь на 1-й и 2-й проход транслятора. Директива .ERR1 вызывает не фатальную ошибку, а предупреждение.

Директивы .ERRNZ и .ERRE вычисляют значение указанного выражения и обеспечивают появление сообщения об ошибке соответственно в случае истинности (1) или ложности (0) этого выражения.

Директива .ERRDEF обеспечивает появление фатальной ошибки, когда указанное имя определено в программе как метка, переменная или символ, а директива .ERRNDEF — когда имя еще не определено. Если это имя является ссылкой вперед, оно считается неопределенным на 1-м проходе и определенным на 2-м. Эти директивы работают на 1-м проходе.

Директивы .ERRB и .ERRNB анализируют указанную строку и обеспечивают генерацию сообщения об ошибке, если эта строка соответственно содержит все пробелы или нет.

Директивы .ERRIDN и .ERRDIF вызывают появление фатальной ошибки, если указанные строки соответственно идентичны или различны.

Макросредства

Макросредства языка Ассемблера позволяют формировать в исходной программе блоки предложений (макроопределения), имеющие одно общее имя, и затем многократно использовать это имя для представления всего блока. В процессе ассемблирования MASM автоматически замещает каждое распознаваемое макроимя (макрокоманду) последовательностью предложений в соответствии с макроопределением, в результате чего формируется макрорасширение.

Макрокоманда может встречаться в исходной программе столько раз, сколько это необходимо. Макроопределение в исходном файле должно предшествовать его первому использованию в макрокоманде. Макроопределение может как непосредственно находиться в тексте программы, так и подключаться из другого файла директивойINCLUDE.

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

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

Различие заключается в следующем:

u Процедура присутствует в исходной программе один раз, тогда как тело макроопределения дублируется столько раз, сколько соответствующих макрокоманд содержит исходный файл.

u Текст процедуры статичен и неизменен в то время, как состав макрорасширения может зависеть от параметров макрокоманды. Следует помнить, что параметры макрокоманды — это значения времени ассемблирования, а параметры процедуры принимают какие-то определенные значения лишь в процессе выполнения программы.

Макродирективы

Макроопределение представляет собой блок исходных предложений, начинающийся директивой MACRO и заканчивающийся директивой ENDM. Формат макроопределения:

имя MACRO [[формальный-параметр,...]]

предложения

ENDM

Именем макроопределения считается имя, указанное в директивеMACRO. Оно должно быть уникальным и используется в исходном файле для вызова макроопределения. Формальные параметры представляют собой внутренние по отношению к данному макроопределению имена, которые используются для обозначения значений, передаваемых в макроопределение при его вызове. Может быть определено любое число формальных параметров, но все они должны помещаться на одной строке и разделяться запятыми (если их несколько).

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

Макроопределения могут быть вложенными, то есть, одно макроопределение может содержаться в другом. MASM не обрабатывает вложенные макроопределения до тех пор, пока не будет вызвано внешнее макроопределение. Поэтому вложенное макроопределение не может быть вызвано до тех пор, пока хотя бы один раз не было вызвано внешнее макроопределение. Глубина вложенности может быть произвольной и ограничивается лишь размером доступной при ассемблировании памяти.

Макроопределения могут содержать вызовы других макроопределений. Такие вложенные макровызовы обрабатываются так же, как и другие макровызовы, но лишь тогда, когда вызвано внешнее макроопределение.

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

MASM ассемблирует предложения тела макроопределения только при макровызове и только в той точке исходного файла, где этот вызов имеет место. Таким образом, все адреса в ассемблируемом коде будут связаны с точкой макровызова, а не местоположением макроопределения. Макроопределение само по себе никогда не ассемблируется.

Следует соблюдать осторожность при использовании слова MACRO после директив TITLE, SUBTTL и NAME. Так как директиваMACRO «перекрывает» эти директивы, использование такого слова после указанных директив приведет к тому, что Ассемблер начнет создавать макро с именами TITLE, SUBTTL или NAME. Например, предложение

TITLE Macro File

может быть внесено в исходный файл для создания заголовка «Macro File», но в результате будет создано макроопределение с именем TITLE, имеющее формальный параметр File, а, поскольку в этом случае, очевидно, не будет предусмотрена директива ENDM, закрывающая макроопределение, будет скорее всего генерироваться сообщение об ошибке.

Следует помнить, что MASM замещает все вхождения имени формального параметра в теле макроопределения его фактическим значением, даже если программисту это не нужно. Например, если формальный параметр имеет имя AX, в генерируемом макрорасширении MASM замещает все вхождения AX на значение фактического параметра. Если же по логике макроопределения необходимо использование регистра AX, а не одноименного формального параметра, код макрорасширения может быть некорректным.

Макроопределения могут быть переопределены. При этом можно не заботиться об удалении из исходного файла первого макроопределения, так как каждое следующее макроопределение автоматически замещает предыдущее макроопределение с тем же именем. Если переопределение совершается внутри самого макроопределения, необходимо помнить, что между директивами ENDM, закрывающими старое и новое макроопределения, не должно находиться никаких строк. Например, следующее переопределение некорректно:

dostuff MACRO

...

dostuf MACRO

...

ENDM

;; Ошибочная строка

ENDM

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

Общий вид макровызова:

имя [[фактический-параметр,...]]

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

MASM замещает первый формальный параметр на первый фактический параметр, второй формальный параметр на второй фактический параметр. Если фактических параметров в макровызове больше, чем формальных параметров в макроопределении, лишние фактические параметры игнорируются. Если же фактических параметров меньше, чем формальных, формальные параметры, для которых не заданы фактические, замещаются пустыми строками (пробелами). Для определения того, заданы или не заданы соответствующие фактические параметры могут быть использованы директивы IFB, IFNB, .ERRB и .ERRNB.

В макросредствах языка Ассемблера имеется возможность передавать список значений в качестве одного параметра. Этот список должен быть заключен в одинарные скобки < и >, а сами элементы списка — разделяться запятыми. Пример:

allocb <1,2,3,4>

При написании макроопределений иногда возникает необходимость в задании меток инструкций или имен полей данных. Поскольку каждое макроопределение может использоваться многократно, может возникнуть ситуация, когда несколько имен или меток определены многократно, что вызовет ошибку трансляции. Для обеспечения правильной обработки таких ситуаций в макроязыке предусмотрена директива LOCAL, позволяющая локализовать заданные имена исключительно в данном макрорасширении.

Формат:

LOCAL формальное-имя,...

Формальное-имя может затем использоваться в данном макроопределении с уверенностью, что при каждом макровызове его значение будет уникальным. В директиве LOCAL, если она присутствует, должно быть задано хотя бы одно имя, а если их несколько, они должны разделяться запятыми.

Для обеспечения уникальности определенных директивой LOCAL имен MASM для каждого такого имени при каждом макровызове порождает реальное имя следующего вида:

??номер

Номер представляет собой 16-ричное число в пределах от 0000 до FFFF. Для предотвращения повторного определения имен программисту не рекомендуется определять в своей программе имена этого типа.

Директива LOCAL может использоваться только в макроопределении, причем, там она должна предшествовать всем другим предложениям макроопределения, то есть, следовать непосредственно после MACRO.

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

Формат:

PURGE имя-макроопределения,...

Удаляются все текущие макроопределения с указанными именами. Последующий вызов одного из этих макроопределений будет приводить к ошибке.

Директива PURGE введена для возможности освобождения и повторного использования памяти, занимаемой неиспользуемыми в дальнейшем макроопределениями. Если имя-макроопределения представляет мнемонику инструкции или директивы, восстанавливается первоначальный смысл мнемоники в соответствии со значением данного ключевого слова.

Директива PURGE часто используется для удаления ненужных макроопределений из подключаемой директивой INCLUDEбиблиотеки макроопределений. Библиотека макроопределений представляет собой обычный последовательный файл, который в общем случае может содержать большое число макроопределений. Комбинация директив INCLUDE и PURGE позволяет выбрать из них только нужные для данной программы, что сократит размер исходного файла.

Нет необходимости удалять макроопределения после их переопределения, так как каждое переопределение автоматически удаляет предшествующее макроопределение с данным именем. Аналогично каждое макроопределение может удалить само себя, имея в своей последней обрабатываемой строке директиву PURGE.

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

Формат:

ENDM

Выход из текущего макроопределения до достижения директивы ENDMобеспечивается директивой EXITM, имеющей следующий формат:

EXITM

Выход из макроопределения по директивамENDM и EXITM заключается в прекращении генерации текущего макрорасширения и возврате в точку вызова текущего макроопределения в динамически внешнем макрорасширении или в исходной программе.

Пример:

add MACRO param

IFB param

EXITM

ENDIF

ADD AX,param

ENDM

В этом мароопределении осуществляется добавление величины, определяемой формальным параметром param, к содержимому регистра AX. Блок условного ассемблирования IFB обеспечивает выход из макроопределения, если при вызове параметр не был задан.

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

Блок повторения представляет собой специфическую форму макроопределения с несколько ограниченными возможностями макроязыка. По сути блок повторения представляет собой макрообъект, объединяющий в себе макроопределение и макровызов. Макроопределения как шаблона, по которому производится генерация макрорасширения, здесь не требуется, в результате чего сужаются возможности варьирования генерируемым текстом. С другой стороны, использование блоков повторения по сравнению с макроопределениями является синтаксически и логически более простой задачей. Обработка блока повторения заключается в многократном дублировании тела блока с незначительными изменениями текста.

В языке Ассемблера имеются блоки повторения 3-х типов:

u REPT-блок;

u IRP-блок;

u IRPC-блок.

REPT-блок имеет следующий формат:

REPT выражение

...

предложения

...

ENDM

Блок предложений, заключенный между ключевыми словами REPT и ENDM, повторяется столько раз, каково текущее значение указанного выражения. Выражение должно иметь значение в виде 16-битового числа без знака и не может содержать внешних или неопределенных символов. Тело блока может включать в себя любые предложения языка.

IRP-блок имеет следующий формат:

IPR формальный-параметр,<параметр,...>

...

предложения

...

ENDM

Блок предложений, стоящий между ключевыми словами IRP и ENDM, будет повторен для каждого параметра в списке, заключенном в скобках <>.

Формальный-параметр относится только к данному блоку и последовательно принимает значения из списка. В качестве параметров в списке могут быть заданы определенные символы, строки, числа или символьные константы. Может быть задано любое число параметров, которые, если их несколько, должны разделяться запятыми. Тело блока может включать в себя любые предложения языка Ассемблера.Формальный-параметр в теле блока может быть использован произвольное число раз.

Когда MASM распознает директиву IRP, он создает копию предложений блока для каждого параметра в списке. При копировании предложений осуществляется замена текущим параметром всех вхождений формального параметра блока. Если в списке будет обнаружен пустой параметр (<>), формальный параметр получит значение пустой строки. Если список параметров пуст, блок игнорируется.

Пример:

alloc MACRO x

IRP y,<x>

DB y

ENDM

ENDM

В результате обработки макровызова

alloc <0,1,2,3>

будет сгенерировано макрорасширение

IRP y,<0,1,2,3>

DB y

ENDM

IRPC-блок имеет следующий формат:

IRPC формальный-параметр,строка

...

предложения

...

ENDM

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

Строка представляет собой любую комбинацию букв, цифр и других символов. Если строка содержит пробелы, запятые или другие ограничители, она должна быть заключена в одинарные скобки <>.

Тело блока может включать в себя любые предложения языка Ассемблера. Формальный параметр в теле блока может быть использован произвольное число раз.

Когда MASM распознает директиву IRPC, он создает копию предложений блока для каждого символа в строке. При копировании предложений осуществляется замена текущим символом строки всех вхождений формального параметра блока.

Макрооператоры

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

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

Во вложенных макроопределениях оператор замены может быть использован для задержки замены формального параметра действительным значением, для чего используется более общая форма оператора замены, в которой символ & может быть указан несколько раз. MASM трактует количество рядом стоящих символов & как глубину вложенности макроопределений (относительно текущего уровня), на которой следует осуществлять замену формального параметра.

Пример:

alloc MACRO x

IRP z,<1,2,3> x&&z DB z

ENDM

ENDM

В этом примере замена формального параметра x осуществляется немедленно при вызове макроопределения. Замена параметра z будет задержана до начала обработки блока повторения IRP с тем, чтобы параметр z получал значения из указанного списка. Таким образом, параметр z будет замещаться значением элемента списка каждый раз при переходе к следующему элементу списка блока повторения. В итоге по макрокоманде

alloc var

будет сгенерировано макрорасширение

var1 DB 1

var2 DB 2

var3 DB 3

Текстовый оператор литерала указывает MASM, что заданный внутри скобок < и > текст следует трактовать как простой литеральный элемент независимо от того, содержит ли он запятые, пробелы или другие ограничители. Чаще всего этот оператор используется в макровызовах и директивах IRP для того, чтобы значения списка параметров обрабатывались как один параметр.

Кроме того, этот оператор используется в тех случаях, когда необходимо, чтобы MASM трактовал некоторые специальные символы (например, ; или &) как литералы. Например, в выражении <;> точка с запятой рассматривается как точка с запятой, а не как начало комментария.

Символьный оператор литерала ! отличается от текстового лишь тем, что в нем в качестве литерала рассматривается только непосредственно следующий за ! символ. Например, выражения !; и <;> эквивалентны.

Оператор выражения % указывает MASM, что данный текст следует трактовать как выражение. MASM вычисляет значение выражения с учетом основания системы счисления встречающихся в выражении чисел и замещает текст этим значением. Текст должен представлять корректное выражение.

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

Пример:

area MACRO par

DW &par

ENDM

sum1 EQU 100

sum2 EQU 200

В результате обработки макровызова

area %(sum1+sum2)

будет сгенерировано макрорасширение

DW 300

Оператор макрокомментария ;; определяет, что остаток строки является макрокомментарием.

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

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

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

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

u Скалярные данные, представляющие собой единичное значение или набор единичных значений.

u Записи, позволяющие манипулировать с данными на уровне бит.

u Структуры, отражающие некоторую логическую структуру данных.

Скалярные данные

Директива DB обеспечивает распределение и инициализацию 1 байта памяти для каждого из указанных значений. В качестве значения может кодироваться целое число, строковая константа, оператор DUP, абсолютное выражение или знак ?. Знак ? обозначает неопределенное значение. Значения, если их несколько, должны разделяться запятыми.

Если директива имеет имя, создается переменная типа BYTE с соответствующим данному значению указателя позиции смещением.

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

Символы строки хранятся в памяти в порядке их следования, то есть, 1-й символ имеет самый младший адрес, последний — самый старший.

Директива DW обеспечивает распределение и инициализацию слова памяти (2 байта) для каждого из указанных значений. В качестве значения может кодироваться целое число, 1- или 2-х символьная константа, оператор DUP, абсолютное выражение, адресное выражение или знак ?. Знак ? обозначает неопределенное значение. Значения, если их несколько, должны разделяться запятыми.

Если директива имеет имя, создается переменная типа WORD с соответствующим данному значению указателя позиции смещением.

Строковая константа не может содержать более 2-х символов. Последний (или единственный) символ строки хранится в младшем байте слова. Старший байт содержит первый символ или, если строка односимвольная, 0.

Директива DD обеспечивает распределение и инициализацию двойного слова памяти (4 байта) для каждого из указанных значений. В качестве значения может кодироваться целое число, 1- или 2-х символьная константа, действительное число, кодированное действительное число, оператор DUP, абсолютное выражение, адресное выражение или знак ?.

Знак ? обозначает неопределенное значение. Значения, если их несколько, должны разделяться запятыми.

Если директива имеет имя, создается переменная типа DWORD с соответствующим данному значению указателя позиции смещением.

Строковая константа не может содержать более 2-х символов. Последний (или единственный) символ строки хранится в младшем байте слова. Второй байт содержит первый символ или, если строка односимвольная, 0. Остальные байты заполняются нулями.

Директива DQ обеспечивает распределение и инициализацию 8 байтов памяти для каждого из указанных значений. В качестве значения может кодироваться целое число, 1- или 2-х символьная константа, действительное число, кодированное действительное число, оператор DUP, абсолютное выражение, адресное выражение или знак ?.

Знак ? обозначает неопределенное значение. Значения, если их несколько, должны разделяться запятыми.

Если директива имеет имя, создается переменная типаQWORD с соответствующим данному значению указателя позиции смещением.

Строковая константа не может содержать более 2-х символов. Последний (или единственный) символ строки хранится в младшем байте слова. Второй байт содержит первый символ или, если строка односимвольная, 0. Остальные байты заполняются нулями.

Директива DT обеспечивает распределение и инициализацию 10 байтов памяти для каждого из указанных значений. В качестве значения может кодироваться целое выражение, упакованное десятичное число, 1- или 2-х символьная константа, кодированное действительное число, оператор DUP или знак ?. Знак ? обозначает неопределенное значение. Значения, если их несколько, должны разделяться запятыми.

Если директива имеет имя, создается переменная типа TWORD с соответствующим данному значению указателя позиции смещением.

Строковая константа не может содержать более 2-х символов. Последний (или единственный) символ строки хранится в младшем байте слова. Второй байт содержит первый символ или, если строка односимвольная, 0. Остальные байты заполняются нулями.

При обработке директивы DT подразумевается, что константы, содержащие десятичные цифры, представляют собой не целые, а десятичные упакованные числа. В случае необходимости определить 10-байтовое целое число следует после числа указать спецификатор системы счисления (D илиd для десятичных чисел, H или h для 16-ричных).

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

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

Он имеет следующий формат:

счетчик DUP (значение,...)

Указанный в скобках () список значений повторяется многократно в соответствии со значением счетчика. Каждое значение в скобках может быть любым выражением, имеющим значением целое число, символьную константу или другой оператор DUP (допускается до 17 уровней вложенности операторов DUP). Значения, если их несколько, должны разделяться запятыми.

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

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

integer1 DB 16

string1 DB 'abCDf'

empty1 DB ?

integer2 DW 16728

contan2 DW 4*3

multip2 DW 1,'$'

arr2 DW array

string3 DD 'ab'

real3 DD 1.5

encode3 DD 3F000000r

high3 DD 4294967295

charu DQ 'b'

encodeu DQ 3F00000000000000r

highu DQ 18446744073709551615

pack5 DT 1234567890

real5 DT 1.5

mult5 DT 'a',3F000000000000000000r

high5 DT 1208925819614629174706175d

db6 DB 5 DUP(5 DUP(5 DUP(10)))

dw6 DW DUP(1,2,3,4,5)

Записи

Запись представляет собой набор полей бит, объединенных одним именем. Каждое поле записи имеет собственную длину, исчисляемую в битах, и не обязана занимать целое число байтов.

Объявление записи в программе на языке Ассемблера включает в себя 2 действия:

1. Объявление шаблона или типа записи директивой RECORD.

2. Объявление собственно записи.

Формат директивы RECORD:

имя-записи RECORD

имя-поля:длина[[=выражение]],...

Директива RECORD определяет вид 8- или 16-битовой записи, содержащей одно или несколько полей.

Имя-записи представляет собой имя типа записи, которое будет использоваться при объявлении записи. Имя-поля и длина (в битах) описывают конкретное поле записи. Выражение, если оно указано задает начальное (умалчиваемое) значение поля.

Описания полей записи в директиве RECORD, если их несколько, должны разделяться запятыми. Для одной записи может быть задано любое число полей, но их суммарная длина не должна превышать 16 бит.

Длина каждого поля задается константой в пределах от 1 до 16. Если общая длина полей превышает 8 бит, Ассемблер выделяет под запись 2 байта, в противном случае — 1 байт.

Если задано выражение, оно определяет начальное значение поля. Если длина поля не меньше 7 бит, в качестве выражения может быть использован символ в коде ASCII. Выражение не должно содержать ссылок вперед.

Внутри записи поля размещаются слева направо в порядке описания в директиве RECORD. Поэтому объявленное первым поле содержит самые значимые биты записи, если рассматривать ее как двоичное число. Если суммарная длина полей не равна 8 или 16, запись расширяется до целой границы байта нулевыми битами слева, и, таким образом, последний бит последнего поля всегда является самым младшим битом записи.

При обработке директивы RECORD формируется шаблон записи, а сами данные создаются при объявлении записи, которое имеет следующий вид:

[[имя]] имя-записи <[[значение,...]]>

По такому объявлению создается переменная типа записи с 8- или 16-битовым значением и структурой полей, соответствующей шаблону, заданному директивой RECORD с именем имя-записи.

Имя задает имя переменной типа записи. Если имя опущено, MASM распределяет память, но не создает переменную, которую можно было бы использовать для доступа к записи.

В скобках <> указывается список значений полей записи. Значения в списке, если их несколько, должны разделяться запятыми. Каждое значение может быть целым числом, строковой константой или выражением и должно соответствовать длине данного поля. Для каждого поля может быть задано одно значение.

Скобки <> обязательны, даже если начальные значения не заданы.

Если в качестве значения используется оператор DUP, в скобки <>следует заключать список значений оператора DUP. Следует иметь ввиду, что при использовании оператора DUP создается несколько переменных типа запись.

Задавать значения всех полей записи необязательно. Если Ассемблер вместо значения обнаружит левый пробел, будет использовано начальное значение поля, заданное директивой RECORD, а если оно и там опущено, значение поля будет не определено.

Структуры

Структура представляет собой набор полей байтов, объединенных одним именем.

Объявление структуры в программе на языке Ассемблера включает в себя 2 действия:

1. Объявление шаблона или типа структуры директивами STRUC и ENDS.

2. Объявление собственно структуры.

Формат объявления типа структуры:

имя STRUC

описания-полей

имя ENDS

Директивы STRUC и ENDS обозначают соответственно начало и конец описания шаблона (типа) структуры. Описание типа структуры задает имя типа структуры и число, типы и начальные значения полей структуры.

Указанное в директивах STRUCи ENDS имя задает новое имя типа структуры. Оно должно быть уникальным. Описания-полей определяют поля структуры и могут быть заданы в одной из следующих форм:

[[имя]] DB значение,...

[[имя]] DW значение,...

[[имя]] DD значение,...

[[имя]] DQ значение,...

[[имя]] DT значение,...

Каждое поле может иметь свое имя. Директивы DB, DW, DD, DQ или DT задают длину поля. Для каждого поля могут быть указаны начальные значения, которыми инициализируются поля при отсутствии соответствующих начальных значений при объявлении структуры. Имя каждой директивы, если оно задано, должно быть уникальным и представляет смещение поля относительно начала структуры.

Значением поля может быть число, символ, строковая константа или имя другого объекта. Для определения множества значений поля может использоваться оператор DUP. Если в качестве значения задана строковая константа, поле занимает столько байтов, сколько символов в константе. Если задано несколько значений, они должны разделяться запятыми.

Объявление типа структуры может содержать только описания полей и комментарии. По этой причине структуры не могут быть вложенными.

Пример:

table STRUC

count DB 10

value DW 10 DUP(?)

tname DB 'font'

table ENDS

При обработке директив STRUC и ENDS формируется шаблон структуры, а сами данные создаются при объявлении структуры, которое имеет следующий вид:

[[имя]] имя-структуры <[[значение,...]]>

По такому объявлению создается переменная типа структура со структурой полей, соответствующей шаблону, заданному директивой STRUC с именем имя-структуры.

Имя задает имя переменной. Если имя опущено, MASM распределяет память, но не создает переменную, которую можно было бы использовать для доступа к структуре.

В скобках <> указывается список значений полей структуры. Значения в списке, если их несколько, должны разделяться запятыми. Каждое значение может быть целым числом, строковой константой или выражением, тип которого должен совпадать с типом соответствующего ему поля. Для каждого поля может быть задано одно значение.

Скобки <> обязательны, даже если начальные значения не заданы.

Если в качестве значения используется оператор DUP, в скобки <> следует заключать список значений оператора DUP.

Задавать значения всех полей структуры необязательно. Если Ассемблер вместо значения обнаружит левый пробел, будет использовано начальное значение поля, заданное при описании типа структуры, а если и оно опущено, значение поля будет не определено.

Следует помнить, что объявлении структуры нельзя задавать значения полей, для которых в соответствующем шаблоне задано множество значений. Например:

strings STRUC

buffer DB 100 DUP(?)

crif DB 13,10

guery DB 'Filename'

endm DB 35

strings ENDS

При объявлении структуры с использованием этого шаблона значения полей buffer и crif не могут быть заданы, так как шаблон для них определяет множество значений. Значение поля guery может быть перекрыто только значением, длина которого не превышает 8 байтов. Аналогично, значение поля endm может быть перекрыто любым однобайтовым значением.

Описание символических имен

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

Для описания символических имен в языке ассемблера служат директивы EQU, LABELи директива абсолютного присваивания (=).

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

имя=выражение

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

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

Выражение может быть целым числом, одно- или двухсимвольной строковой константой, константным выражением или адресным выражением. Его значение не должно превышать 65535.

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

Примеры:

integer = 167

string = 'ab'

const = 3*4

addr = string

Директива EQU имеет следующий формат:

имя EQU выражение

Директива EQU создает абсолютное имя, алиас или текстовое имя путем присваивания имени указанного выражения.

Под абсолютным здесь понимается имя, представляющее 16-битовое значение; алиасом называется ссылка на другое имя; текстовое имя представляет собой строку символов. Каждое вхождение имени в исходном файле Ассемблер замещает