Поле метки

Метки являются идентификаторами, которые Вы используете для тегирования расположений программы и объектов данных. Каждая метка составлена из идентификатора и завершающегося двоеточия. Формат поля метки:

identifier: [ identifier: ] ...

Дополнительное поле метки может произойти только в начале оператора. Следующий пример показывает поле метки, содержащее две метки, сопровождаемые (стиль PowerPC) комментарий:

var: VAR:  ; two labels defined here

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

Поле кода операции

Поле кода операции оператора ассемблера идентифицирует оператор как машинную команду, ассемблерную директиву или макрос, определенный программистом:

• Машинная команда обозначена мнемоникой команды. Оператор ассемблера, содержащий мнемонику команды, предназначается для создания единственной исполнимой машинной команды. Работа и использование каждой инструкции описаны в руководстве пользователя производителя.

• Ассемблерная директива (или pseudo-op) выполняет некоторую функцию во время сборочного процесса. Это не производит исполняемого кода, но это может присвоить пространство для данных в программе.

• Макросы определяются с помощью .macro директива (см. .macro, .endmacro, .macros_on, и .macros_off для получения дополнительной информации).

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

Поле операнда

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

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

[ operand [ , operand ] ... ]

Следующие типы объектов могут быть операндами:

• Операнды регистра

• Пары регистра

• Операнды адреса

• Строковые константы

• Константы с плавающей точкой

• Списки регистра

• Выражения

Операнды регистра в машинной команде относятся к регистрам машины процессора или сопроцессора. Имена регистра могут появиться в смешанном случае.

CMPXCHG  r/m32,r32    # Intel processor manual convention

cmpxchg  r32,r/m32    # OS X assembler syntax

cmpxchg  %ebx,(%eax)  # OS X assembly code

Поле комментария

Ассемблер распознает два типа комментариев в исходном коде:

• Строка, первый непробельный символ которой является символом хеша (#) комментарий. Этот стиль комментария полезен для передачи C вывод препроцессора через ассемблер. Обратите внимание на то, что комментарии формы:

  # line_number file_name level

  в превратитесь:

  .line line_number; .file file_name

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

  # 500

  .var

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

  var.s:500:Unknown pseudo-op: .var

• Поле комментария, появляющееся на строке после одного или более операторов. Поле комментария состоит из надлежащего символа комментария и всех символов, следующих за ним на строке:

  Символ	Описание
  ;	Символ комментария для процессоров PowerPC
  #	Символ комментария для i386 процессоров архитектуры

  Исходная строка ассемблера может состоять из просто поля комментария; в этом случае это эквивалентно использованию стиля комментария символа хеша:

  # This is a comment.

  ; This is a comment.

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

Прямые операторы присваивания

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

identifier = expression

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

Использование оператора присваивания походит на использование .set директива (описанный в .set), за исключением того, что .set директива делает значение выражения абсолютным. Это используется, когда постоянное время сборки требуется для того, что иначе генерировало бы переместимое выражение с помощью позиции независимое выражение symbol1 - symbol2. Например, размер функции необходим как одно из полей информации об исключении C++ и установлен с:

.set L_foo_size, L_foo_end - _foo

.long L_foo_size ; size of function _foo

где позиция независимый указатель на функцию является другим полем информации об исключении C++ и установлен с:

.long _foo - .  ; position independent pointer to _foo

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

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

• Идентификаторы регистра не могут быть переопределены.

• Идентификатор, уже использовавшийся в качестве метки, не должен быть переопределен, так как это составило бы переопределение адреса места в программе. Кроме того, идентификатор, определенный в прямом операторе присваивания, не может позже использоваться в качестве метки. Только вторая ситуация производит ассемблерное сообщение об ошибке.