Операции в выражениях
Встроенный ассемблер предусматривает множество операций, подразделяемых по старшинству на 12 классов. В Таблице 24.5 пере- числены операции, использующиеся в выражениях встроенного ассемб- лера в порядке убывания их старшинства:
Встроенные операции ассемблера Таблица 24.5 -------------------------------T-------------------------------- ¦ Операция ¦ Комментарий ¦ +------------------------------+--------------------------------+ ¦ & ¦ Операция переопределения иден-¦ ¦ ¦ тификатора. ¦ +------------------------------+--------------------------------+ ¦ (), [], * ¦ Выбор элемента структуры. ¦ +------------------------------+--------------------------------+ ¦ HIGH, LOW ¦ Унарные операции. ¦ ¦ +, - ¦ ¦ +------------------------------+--------------------------------+ ¦ : ¦ Операция переопределения сег-¦ ¦ ¦ мента. ¦ ¦ OFFSET, SEG, TYPE, PTR, ¦ ¦ ¦ *, /, MOD, SHL, SHR ¦ ¦ +------------------------------+--------------------------------+ ¦ +, - ¦ Бинарные операции сложения/вы- ¦ ¦ ¦ читания. ¦ +------------------------------+--------------------------------+ ¦ NOT, AND, OR, XOR ¦ Поразрядные операции. ¦ L------------------------------+---------------------------------
Определения операций встроенного ассемблера Таблица 24.6 -------T-------------------------------------------------------- ¦Опер. ¦ Описание ¦ +------+--------------------------------------------------------+ ¦ & ¦ Переопределение идентификатора. Идентификатор, непос-¦ ¦ ¦ редственно следующий за амперсантом, интерпретируется,¦ ¦ ¦ как идентификатор, определяемый пользователем, даже ес-¦ ¦ ¦ ли он соответствует зарезервированному слову встроенно-¦ ¦ ¦ го ассемблера. ¦ +------+--------------------------------------------------------+ ¦ (...)¦ Подвыражение. Выражение в скобках полностью вычисляет-¦ ¦ ¦ ся, после чего интерпретируется, как один элемент. Вы-¦ ¦ ¦ ражению в скобках может предшествовать другое выраже-¦ ¦ ¦ ние. Результатом в этом случае будет сумма значений¦ ¦ ¦ двух выражений с типом первого выражения. ¦ +------+--------------------------------------------------------+ ¦ [...]¦ Ссылка на память. Выражение в квадратных скобках пол-¦ ¦ ¦ ностью вычисляется, после чего интерпретируется, как¦ ¦ ¦ один элемент. Выражение в квадратных скобках может ком-¦ ¦ ¦ бинироваться с регистрами BX, BP, SI, DI с помощью опе-¦ ¦ ¦ рации +, что указывает на индексирование регистра ЦП.¦ ¦ ¦ Выражению в квадратных скобках может предшествовать¦ ¦ ¦ другое выражение. Результатом в этом случае будет сумма¦ ¦ ¦ значений двух выражений с типом первого выражения. Ре-¦ ¦ ¦ зультатом всегда будет ссылка на память. ¦ +------+--------------------------------------------------------+ ¦ . ¦ Выбор элемента структуры. Результатом будет сумма выра-¦ ¦ ¦ жения перед точкой и выражения после точки с типом вы-¦ ¦ ¦ ражения после точки. Идентификаторы, относящиеся к об-¦ ¦ ¦ ласти действия, и указанные в выражении перед точкой¦ ¦ ¦ доступны в выражении после точки. ¦ +------+--------------------------------------------------------+ ¦ HIGH ¦ Возвращает старшие 8 бит выражения размером в слово,¦ ¦ ¦ следующего за операцией. Выражение должно представлять¦ ¦ ¦ собой непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ LOW ¦ Возвращает младшие 8 бит выражения размером в слово,¦ ¦ ¦ следующего за операцией. Выражение должно представлять¦ ¦ ¦ собой непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ + ¦ Унарный плюс. Возвращает следующее за плюсом выражение¦ ¦ ¦ без изменений. Выражение должно представлять собой не-¦ ¦ ¦ посредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ - ¦ Унарный минус. Возвращает следующее за минусом выраже-¦ ¦ ¦ ние с обратным знаком. Выражение должно представлять¦ ¦ ¦ собой непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ : ¦ Переопределение сегмента. Указывает ассемблеру, что вы-¦ ¦ ¦ ражение после двоеточия относится к сегменту, заданному¦ ¦ ¦ именем сегментного регистра (CS, DS, SS или ES) перед¦ ¦ ¦ двоеточием. Результатом является ссылка на память со¦ ¦ ¦ значением выражения после двоеточия. Когда переопреде-¦ ¦ ¦ ление сегмента используется в операнде инструкции, инс-¦ ¦ ¦ трукции предшествует соответствующий префикс переопре-¦ ¦ ¦ деления сегмента, обеспечивающий выбор указанного¦ ¦ ¦ сегмента. ¦ +------+--------------------------------------------------------+ ¦OFFSET¦ Возвращает смещение следующего за операцией выражения¦ ¦ ¦ (младшее слово). Результатом будет непосредственное¦ ¦ ¦ значение. ¦ +------+--------------------------------------------------------+ ¦ SEG ¦ Возвращает сегмент следующего за операцией выражения¦ ¦ ¦ (старшее слово). Результатом будет непосредственное¦ ¦ ¦ значение. ¦ +------+--------------------------------------------------------+ ¦ TYPE ¦ Возвращает тип (размер в байтах) следующего за операци-¦ ¦ ¦ ей выражения. Типом непосредственного значения будет 0.¦ +------+--------------------------------------------------------+ ¦ PTR ¦ Операция назначения типа. Результатом будет ссылка на¦ ¦ ¦ память со значением выражения, следующего за операцией¦ ¦ ¦ и типом выражения перед операцией. ¦ +------+--------------------------------------------------------+ ¦ * ¦ Умножение. Оба выражения должны представлять собой не-¦ ¦ ¦ посредственные абсолютные значения. Результатом будет¦ ¦ ¦ непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ / ¦ Целочисленное деление. Оба выражения должны представ-¦ ¦ ¦ лять собой непосредственные абсолютные значения. Ре-¦ ¦ ¦ зультатом будет непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ MOD ¦ Остаток целочисленного деления. Оба выражения должны¦ ¦ ¦ представлять собой непосредственные абсолютные значе-¦ ¦ ¦ ния. Результатом будет непосредственное абсолютное зна-¦ ¦ ¦ чение. ¦ +------+--------------------------------------------------------+ ¦ SHL ¦ Логический сдвиг влево. Оба выражения должны представ-¦ ¦ ¦ лять собой непосредственные абсолютные значения. Ре-¦ ¦ ¦ зультатом будет непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ SHR ¦ Логический сдвиг вправо. Оба выражения должны представ-¦ ¦ ¦ лять собой непосредственные абсолютные значения. Ре-¦ ¦ ¦ зультатом будет непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ + ¦ Сложение. Выражения могут представлять собой непосредс-¦ ¦ ¦ твенные абсолютные значения или ссылки на память, но¦ ¦ ¦ перемещаемым значением может быть только одно выраже-¦ ¦ ¦ ние. Если одно из выражений - перемещаемое значение, то¦ ¦ ¦ результатом также будет перемещаемое значение. Если од-¦ ¦ ¦ но из выражений - ссылка на память, то результатом так-¦ ¦ ¦ же будет ссылка на память. ¦ +------+--------------------------------------------------------+ ¦ - ¦ Вычитание. Первое выражение может иметь любой класс, а¦ ¦ ¦ второе выражение должно быть непосредственным абсолют-¦ ¦ ¦ ным выражением. Результат имеет тот же тип, что и пер-¦ ¦ ¦ вое выражение. ¦ +------+--------------------------------------------------------+ ¦ NOT ¦ Поразрядное отрицание. Выражение должно представлять¦ ¦ ¦ собой непосредственные абсолютные значения. Результатом¦ ¦ ¦ будет непосредственное абсолютное значение. ¦ +------+--------------------------------------------------------+ ¦ AND ¦ Поразрядная операция AND (И). Оба выражения должны¦ ¦ ¦ представлять собой непосредственные абсолютные значе-¦ ¦ ¦ ния. Результатом будет непосредственное абсолютное зна-¦ ¦ ¦ чение. ¦ +------+--------------------------------------------------------+ ¦ OR ¦ Поразрядная операция OR (ИЛИ). Оба выражения должны¦ ¦ ¦ представлять собой непосредственные абсолютные значе-¦ ¦ ¦ ния. Результатом будет непосредственное абсолютное зна-¦ ¦ ¦ чение. ¦ +------+--------------------------------------------------------+ ¦ XOR ¦ Поразрядная операция XOR (исключающее ИЛИ). Оба выраже-¦ ¦ ¦ ния должны представлять собой непосредственные абсолют-¦ ¦ ¦ ные значения. Результатом будет непосредственное абсо-¦ ¦ ¦ лютное значение. ¦ L------+---------------------------------------------------------
