[ новости /+++ | форум | теги | ]

Каталог документации / Раздел "Программирование, языки" / Оглавление документа

3. Команды препроцессора

Команды GASP'а имеют прямой синтаксис, который хорошо приспособлен к соглашениям ассемблирования. Как правило, команда занимает строку, и может иметь до трех полей: необязательная метка, собственно команда и необязательные параметры команды. Вы можете писать команды в верхнем или нижнем регистре; в данном руководство все записывается в верхнем регистре. См.: "Подробности синтаксиса GASP'а": для дальнейшей информации.

3.1 Условное ассемблирование

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

Общая структура условных выражений известна из многих других аналогичных контекстов. " .AIF " отмечает начало условного выражения, и трансляция происходит в случае, когда условие истинно. Возможный " .AELSE " влечет трансляцию для обратного случая, а " .AENDI " помечает конец условной трансляции.

Вы можете вкладывать условные выражения со степенью вложенности до 100; GASP не допускает большую степень вложенности с большей степенью, потому что это может указывать на ошибку в Вашем макроопределении.

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

 .AIF EXPRA CMP EXPRB
 .AIF "STRA" CMP "STRB"

Когда Вы сравниваете строки, возможно использование только двух операторов сравнения CMP: "EQ" (истина, если STRA и STRB равны), и "NE" (истина, если STRA и STRB отличаются).

Когда Вы сравниваете два выражения, оба выражения должны быть абсолютными (см.: "Арифметические выражения в GASP"). Вы можете использовать с выражениями следующие операторы сравнения CMP:

EQ

Равны ли EXPRA и EXPRB? (Для строк, совпадают ли STRA и STRB?)

NE

Являются ли EXPRA и EXPRB различными? (Для строк, являются STRA и STRB различными?)

LT

EXPRA меньше чем EXPRB? (Недопустимо для строк.)

LE

EXPRA меньше или равно EXPRB? (Недопустимо для строк.)

GT

EXPRA больше чем EXPRB? (Недопустимо для строк.)

GE

EXPRA большим чем или равным EXPRB? (Недопустимо для строк.)

      .AELSE

      .AENDI

3.2 Повторяющиеся ассемблируемые участки

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

      .AREPEAT AEXP
      .AENDR

                   .AREPEAT 3
                   Rotcl r2
                   Div1 r0, r1
                   .AENDR

      .AWHILE EXPRA CMP EXPRB
      .AENDW
      .AWHILE STRA CMP STRB
      .AENDW

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

Вы можете использовать директиву препроцессора .EXITM, для преждевременного выхода из цикла (так же, как для выхода из макрокоманд). См.: "Определение собственных директив"

3.3 Переменные Препроцессора

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

Необходимо различать два вида переменных:

1. Переменные, определенные при помощи " .EQU " или " .ASSIGN ". Чтобы вычислить значение такой переменной в выводе трансляции, нужно просто упомянуть имя. Например, в двух следующих строках определяется и используется переменная eg:

                 eg     .EQU   FLIP-64
                     ...
                     mov.l  eg,r0
   

   Не следует использовать эти переменные в условных выражениях или циклах WHILE; GASP просто записывает значения этих переменных на выводе трансляции.
2. Переменные для использования во время работы препроцессора. Вы можете определять их с помощью директив .ASSIGNC или .ASSIGNA. Чтобы вычислить значение этого вида переменной, напишите "\&" перед ее именем; например,

              Opcit .ASSIGNA 47
                     ...
                     . AWHILE \$opcit GT 0
                     ...
                     . AENDW
   

      PVAR .EQU EXPR

      PVAR .ASSIGN EXPR

      PVAR .ASSIGNA AEXPR

      PVAR .ASSIGNC "STR"

 PVAR .REG (REGISTER)

Для всех этих директив имя переменной должно находиться в позиции метки, т.е. в левом поле. При желании вы можете ставить двоеточие после имени переменной; первый пример выше мог бы начинаться с " eg: " с тем же самым результатом.

3.4 Определение собственных директив

Команды .MACRO и .ENDM позволяют вам определять макрокоманды, генерирующие ассемблерный вывод. Вы можете использовать эти макрокоманды с синтаксисом, аналогичным встроенным в GASP или ассемблерным директивам. Например, следующий фрагмент определяет макрокоманду "SUM", которая складывает значения в последовательных регистрах:

 .MACRO  SUM FROM=0, TO=9
              ! \FROM \TO
              mov     r\FROM,r10
      COUNT   .ASSIGNA        \FROM+1
              .AWHILE \&COUNT LE \TO
              add     r\&COUNT,r10
      COUNT   .ASSIGNA        \&COUNT+1
              .AENDW
              .ENDM

              ! 0 5
              mov     r0,r10
              add     r1,r10
              add     r2,r10
              add     r3,r10
              add     r4,r10
              add     r5,r10

      .MACRO MACNAME
      .MACRO MACNAME MACARGS ...

      .MACRO COMM

      .MACRO PLUS1 P, P1
      .MACRO PLUS1 P P1

      .MACRO RESERVE_STR P1=0 P2

Когда Вы вызываете макрокоманду, Вы можете указывать значения параметров как позицией, так и ключевым словом. Например, SUM 9,17 эквивалентно SUM TO=17, FROM=9. Параметры макроопределения - переменные препроцессора, аналогичные переменным, определяемым при помощи .ASSIGNA или .ASSIGNC; в частности, Вы можете использовать их в условных выражениях и при управлении циклом. (Единственое различие - префикс, который требуется для вычисления значения переменной: для параметра макроса следует писать \ARGNAME, а для переменной препроцессора - "\&VARNAME".)

      NAME .MACRO
      NAME .MACRO (MACARGS ...)

      .ENDM

      .EXITM

      \@

 LOCAL NAME [, ...]

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

3.5 Вывод данных

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

Вы можете использовать метки как обычно, чтобы отметить области данных.

Инициализированные данные

В GASP имеются директивы для инициализированных данных, и они расширяют стандартные директивы GNU ассемблера до следующих:

 .DATA EXPR, EXPR, ...
 .DATA.B EXPR, EXPR, ...
 .DATA.W EXPR, EXPR, ...
 .DATA.L EXPR, EXPR, ...

Например, foo .DATA 1,2,3 генерирует foo: .long 1,2,3.

 .DATAB REPEAT, EXPR
 .DATAB.B REPEAT, EXPR
 .DATAB.W REPEAT, EXPR
 .DATAB.L REPEAT, EXPR

REPEAT должно быть абсолютным выражением с положительным значением.

 .SDATA "STR" ...

 .SDATAB REPEAT, "STR" ...

 .SDATAZ" STR " ...

 .SDATAC " STR " ...

Неинициализированные данные

Используйте директивы .RES, .SRES, .SRESC и .SRESZ для резервирования памяти без ее инициализации. Эти директивы GASP'а соответствуют использованию директивы GNU as .space.

 .RES COUNT
 .RES.B COUNT
 .RES.W COUNT
 .RES.L COUNT

 .SRES COUNT
 .SRES.B COUNT
 .SRES.W COUNT
 .SRES.L COUNT

 .SRESC COUNT
 .SRESC.B COUNT
 .SRESC.W COUNT
 .SRESC.L COUNT

 .SRESZ COUNT
 .SRESZ.B COUNT
 .SRESZ.W COUNT
 .SRESZ.L COUNT

Управление листингом.

Директивы GASP'а управления печатью листинга соответствуют аналогичным директивам GNU as.

 .PRINT LIST
 .PRINT NOLIST

 .FORM LIN=LN
 .FORM COL=COLS
 .FORM LIN=LN COL=COLS

 .HEADING STRING

 .PAGE

3.6 Разные команды

      .ALTERNATE

      .ORG

 .RADIX S

     .RADIX B

     .RADIX Q

     .RADIX D

     .RADIX H

Параметр S может быть и маленькой буквой (любой из " bqdh ") с тем же эффектом.

 .EXPORT NAME
 .GLOBAL NAME

 .PROGRAM

 .END

 .INCLUDE " STR "

 .ALIGN SIZE

3.7 Подробности синтаксиса GASP'а

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

Пропуски (пробелы или знаки табуляции, но не символы перевода строки) разделяют строку на поля; в строке должно быть не более трех полей. Количество подряд идущих пропусков не имеет значения; Вы можете выстраивать в столбцы соответствующие поля на разных строках, если хотите, но GASP не требует этого.

Первое поле (если оно имеется) - необязательная "метка"; это поле должно быть крайним слева в строке (перед ним не должно быть пропусков). Вы можете ставить двоеточие после метки, если хотите; GASP не требует двоеточия, но и не запрещает его наличия (но не будет включать его в имя метки).

Второе поле, которому должны предшествовать несколько пропусков, содержит директиву ассемблера или директиву GASP'а.

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

Специальные синтаксические маркеры

GASP распознает несколько специальных маркеров: ограничитель комментариев, продолжение оператора на следующей строке, отделение символов от других знаков, и "дословное" копирование текста на вывод. (Еще один специальный маркер, \@ , воспринимается только внутри макроопределений. См.: "Определение собственных директив")

Остаток любой строки исходного текста GASP'а может быть комментарием. Комментарий начинается с первого не заключенного в кавычки символа комментария ("!" по умолчанию), или помеченного "\" или удвоенного символа комментария ("\!" или "!!" по умолчанию), и продолжается до конца строки. Вы можете задавать символ комментария с помощью опции " -c " (См.: "Параметры командной строки"). Два вида маркеров комментария имеют несколько различную интерпретацию:

"!" Одиночный символ комментария генерирует ассемблерный комментарий в выводе. Внутри него GASP вычисляет все переменные препроцессора (параметры макро и переменные, определенные с помощью .ASSIGNA или .ASSIGNC). Например, макрокоманда, которая начинается подобно этой

                   .MACRO  SUM FROM=0, TO=9
                  ! \FROM \TO

 "\!"
 "!!"

Чтобы продолжить оператор на следующей строке файла, начните ее символом "+".

Иногда Вам может потребоваться запретить GASP'у обработку некоторой части текста. Чтобы "дословно" скопировать из исходного текста GASP'а на вывод, поставьте "\(" перед копируемой строкой и ")" в конце. Например, чтобы получить "\!" на выводе, можно записать "\(\!)".

Чтобы отделить переменную препроцессора от текста, следующего сразу после ее значения, пишите одиночную кавычку ("'"). Например, ".SDATA "\P'1" " выдает строку, сформированную дописыванием к значению P цифры "1". (Этого нельзя достичь, записывая просто " \P1 ", поскольку " P1 " также является возможным именем для переменной препроцессора.)

Строковые и числовые константы

В GASP'е имеются два способа записи строковой константы: как строковый литерал, и как числовое байтовое значение. Строковый литерал следует заключать в двойные кавычки ("STR"). Отдельное числовое значение байта задается абсолютным выражением, заключенным в угловые скобки (<EXPR>). Директивы для вывода строк позволяют Вам определять любой количество значений любого вида и в любом порядке и конкатенировать результат. (Альтернативный режим синтаксиса предоставляет несколько других вариантов записи. (См.: Альтернативный синтаксис макросов)

Числовые константы можно записывать или с данным, или с текущим основанием. Текущее основание равно 10 по умолчанию, а изменяется при помощи директивы .RADIX.

Чтобы записать константу с данным основанием, используйте образец "S'DDD": символ-спецификатор основания S, одиночная кавычка и цифры DDD. Спецификатор основания соответствует тем, которые Вы можете указывать в директиве .RADIX: B для основания 2, Q для 8, D для 10 и H для 16. (Символ может быть как строчной, так и заглавной буквой.)

Символы

GASP распознает имена символов, которые начинаются с любой буквы алфавита, "_" или "$", и состоит из тех же самых символов и цифр. Имена меток подчиняются тем же самым правилам.

Арифметические выражения в GASP

Имеются два вида выражений, в зависимости от их результата: абсолютные выражения, которые можно свести к константе (то есть они не включают значений, неизвестных для GASP'а), и аддитивные выражения, которые можно свести к форме

      ADDSYM+CONST-SUBSYM

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

1. Унарный "+" (тождество), "-" (арифметическое отрицание), "~" (поразрядное отрицание). Параметр должен быть абсолютным выражением. *
2. "*" (умножение) и "/" (деление). Оба параметра должны быть абсолютными выражениями.
3. "+" (сложение) и "-" (вычитание). По крайней мере один параметр должен быть абсолютным.
4. "&" (поразрядное И). Оба параметра должны быть абсолютными.
5. "|" (поразрядное ИЛИ) и "~" (поразрядное исключающее ИЛИ; "^" в C). Оба параметры должны быть абсолютными.

Строковые примитивы

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

.LEN ("STR")

Вычисляет длину строки "STR" как абсолютное выражение. Например, .RES.B .LEN ("sample") резервирует шесть байтов памяти.

.INSTR ("STRING", "SEG", IX)

Ищет в STRING первую подстроку SEG после позиции IX. Например, .INSTR ("ABCDEFG", "CDE", 0) дает абсолютный результат "2".

Если SEG не входит в STRING как подстрока после позиции IX, то возвращается -1.

.SUBSTR ("STRING", START, LEN)

Подстрока STRING, начинающаяся с байта номер START длины LEN байтов.

3.8 Альтернативный синтаксис макросов

Если Вы указываете -a или --alternate в командной строке GASP'а , препроцессор использует несколько другой синтаксис. Этот синтаксис напоминает синтаксис макроассемблера Phar Lap, но он не является полной эмуляцией Phar Lap или аналогичных ассемблеров. В частности, GASP не поддерживает директивы типа DB и IRP, даже в альтернативном режиме синтаксиса.

Конкретно, использование опций -a или --alternate приводит к следующим изменениям:

• Директивы препроцессора Вы можете использовать директивы GASP'а без предварительной точки "." Например, Вы можете писать "SDATA" с тем же самым эффектом, что и ".SDATA".
• LOCAL Появляется одна дополнительная директива, LOCAL. См.: "Определение собственных директив"
• Ограничители строк Вы можете писать строки, ограниченные другими способами, кроме "STRING", а именно:

  ' STRING '

  Можно ограничивать строки одиночными кавычками.

  <STRING>

  Можно ограничивать строки угловыми скобками.

• Включение одиночных символов Чтобы включить одиночный символ в строку "буквально" (даже если символ иначе имел бы некоторое специальное значение), Вы можете написать перед ним восклицательный знак "!". Например, запись < 4.3! > 5.4!! > дает текст "4.3 > 5.4!".
• Результаты выражений как строки Вы можете писать "%EXPR", чтобы вычислить выражение EXPR и использовать результат как строку.

Партнёры:

Хостинг: