В действительности, FASM не имеет директив для условного препроцессинга. Но директива ассемблера
if
может быть использована совместно с возможностями препроцессора для получения тех же результатов, что и при условном препроцессинге. (Но в этом случае увеличивается расход памяти и времени).
Как известно, оператор
if
обрабатывается во время ассемблирования. Это значит, что условие в этом операторе проверяется после обработки исходного текста препроцессором. Именно это обеспечивает работу некоторых логических операций.
Я не буду рассказывать о деталях времени ассемблирования (логических операциях вроде
&
, |
и т. п.) — RTFM. Я лишь расскажу об операторах проверки условия используемых препроцессором.
Простейший логический оператор — это
EQ
. Он всего лишь сравнивает два идентификатора — одинаковы ли их значение. Значение abcd eq abcd
— истина, а abcd eq 1
— ложь и так далее… Это полезно для сравнения символов, которые будут обработаны препроцессором:
STRINGS equ ASCII
if STRINGS eq ASCII
db 'Oh yeah',0
else if STRINGS eq UNICODE
du 'Oh yeah',0
else
display 'unknown string type'
end if
после обработки препроцессором, это примет вид:
if ASCII eq ASCII
db 'Oh yeah',0
else if ASCII eq UNICODE
du 'Oh yeah',0
else
display 'unknown string type'
end if
Здесь только первое условие (
ASCII eq ASCII
) выполняется, так что будет ассемблировано только db 'Oh yeah',0
Другой вариант:
STRINGS equ UNICODE ;разница здесь, UNICODE вместо ASCII
if STRINGS eq ASCII
db 'Oh yeah',0
else if STRINGS eq UNICODE
du 'Oh yeah',0
else
display 'unknown string type'
end if
получим:
if UNICODE eq ASCII
db 'Oh yeah',0
else if UNICODE eq UNICODE
du 'Oh yeah',0
else
display 'unknown string type'
end if
Тут уже первое условие (
UNICODE eq ASCII
) будет ложно, второе (UNICODE eq UNICODE
) — верно, будет ассемблироваться du 'Oh yeah',0
.
Несколько лучшее применение этого — проверка аргументов макросов, вроде:
macro item type,value
{
if type eq BYTE
db value
else if type eq WORD
dw value
else if type eq DWORD
dd value
else if type eq STRING
db value,0
end if
}
item BYTE,1
item STRING,'aaaaaa'
будет:
if BYTE eq BYTE
db 1
else if BYTE eq WORD
dw 1
else if BYTE eq DWORD
dd 1
else if BYTE eq STRING
db 1,0
end if
if STRING eq BYTE
db 'aaaaaa'
else if STRING eq WORD
dw 'aaaaaa'
else if STRING eq DWORD
dd 'aaaaaa'
else if STRING eq STRING
db 'aaaaaa',0
end if
ассемблироваться будут только 2 команды:
db 1
db 'aaaaaa',0
Подобно всем другим операторам препроцессора,
EQ
может работать с пустыми аргументами. Это значит, что, например, if eq
верно, а if 5 eq
— ложно и т. п.
Пример макроса:
macro mov dest,src,src2
{
if src2 eq
mov dest, src
else
mov dest, src
mov src, src2
end if
}
здесь, если есть третий аргумент, то будут ассемблироваться 2 последних команды, если нет — то только одна первая.
Ещё один оператор —
EQTYPE
. Он определяет, одинаков ли тип идентификаторов.
Существующие типы:
отдельные строки символов, заключённые в кавычки (те, которые не являются частью численных выражений)
вещественные числа (с плавающей точкой)
любые численные выражения, например,
2+2
(любой неизвестный символ будет рассматриваться как метка, так что он будет считаться подобным выражением)
адреса — численные выражения в квадратных скобках (учитывая оператор размерности и префикс сегмента)
мнемоники инструкций
регистры
операторы размерности
операторы
NEAR
и FAR
операторы
USE16
и USE32
пустые аргументы (пробелы, символы табуляции)
Пример макроса, который позволяет использовать переменную в памяти в качестве счётчика в инструкции
SHL
(например shl ax, [myvar]
):
macro shl dest, count
{
if count eqtype [0] ;если count — ячейка памяти
push cx
mov cl, count
shl dest, cl
pop cx
else ;если count другого типа
shl dest, count ;просто используем обычную shl
end if
}
shl ax, 5
byte_variable db 5
shl ax, [byte_variable]
получится:
if 5 eqtype [0]
push cx
mov cl, 5
shl ax, cl
pop cx
else
shl ax, 5
end if
byte_variable db 5
if [byte_variable] eqtype [0]
push cx
mov cl, [byte_variable]
shl ax, cl
pop cx
else
shl ax, [byte_variable]
end if
в результате обработки условий конечный результат будет:
shl ax, 5
byte_variable db 5
push cx
mov cl, [byte variable]
shl ax, cl
pop cx
Заметьте, что
shl ax, byte [myvar]
не будет работать с этим макросом, так как условие byte [variable] eqtype [0]
не выполняется. Читаем дальше.
Когда мы сравниваем что-то посредством
EQTYPE
, то это что-то может быть не только единичным идентификатором, но и их комбинацией. В таком случае, результат eqtype
истина, если не только типы, но и порядок идентификаторов совпадают. К примеру, if eax 4 eqtype ebx name
— верно, так как name
— это метка, и её тип — численное выражение.
Пример расширенной инструкции
mov
, которая позволяет перемещать данные между ячейками памяти:
macro mov dest,src
{
if dest src eqtype [0] [0]
push src
pop dest
else
mov dest,src
end if
}
mov [var1], 5
mov [var1], [var2]
преобразуется препроцессором в:
if [var1] 5 eqtype [0] [0] ;не верно
push 5
pop [var1]
else
mov [var1],5
end if
if [var1] [var2] eqtype [0] [0] ;верно
push [var2]
pop [var1]
else
mov [var1], [var2]
end if
и будет ассемблировано в:
mov [var1], 5
push [var2]
pop [var1]
Хотя более удобно для восприятия реализовать макрос используя логический оператор И —
&
:
macro mov dest,src
{
if (dest eqtype [0]) & (src eqtype [0])
push src
pop dest
else
mov dest, src
end if
}
Пример с использованием
EQTYPE
с четырьмя аргументами приведён для демонстрации возможностей, обычно проще использовать в таких случаях &
. Кстати, в качестве аргументов, возможно использовать некорректные выражения — достаточно, чтобы лексический анализатор распознал их тип. Но это не является документированным, так что не будем этот обсуждать.
Бывают случаи, когда в условии присутствует слишком много
EQ
:
macro mov a,b
{
if (a eq cs) | (a eq ds) | (a eq es) | (a eq fs) | \
(a eq gs) | (a eq ss)
push b
pop a
else
mov a, b
end if
}
Вместо применения множества логических операторов ИЛИ —
|
, можно использовать специальный оператор IN
. Он проверяет, присутствует ли идентификатор слева, в списке идентификаторов справа. Список должен быть заключён в скобочки <
и >
, а идентификаторы в нём разделяются запятыми,
macro mov a,b
{
if a in
push b
pop a
else
mov a, b
end if
}
Это так же работает для нескольких идентификаторов (как и
EQ
):
if dword [eax] in <[eax], dword [eax], ptr eax, dword ptr eax>