Сообщество » Примеры программ

h1. R1 ISA

[[PageOutline]]

= Система команд (Instruction Set Architecture) =

== Формат кодирования команды ==

Формат AA размер 32 бит:

<pre>

31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10  9  8  7  6  5  4  3  2  1  0

 .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -- F2 -- адрес в коммутаторе / номер регистра 2-ого операнда

 .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -------------------- F1 -- адрес в коммутаторе значения 1-ого операнда

 .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -------------------------------------- Резерв

 .  .  .  .  .  .  .  .  .  .  X  X  X  X -------------------------------------------------------- TOP -- тип операции

 .  .  .  .  .  .  .  .  .  X  ------------------------------------------------------------------- Признак инструкции, завершающей параграф

 .  .  .  .  .  .  .  .  X------------------------------------------------------------------------ Признак чтения из памяти данных (0 — значение используется непосредственно, 1 - значение используется в качестве адреса памяти данных)

 .  .  .  .  .  .  .  X -------------------------------------------------------------------------- Интерпретация значения поля F2 (0 — адрес в коммутаторе, 1 — номер регистра)

 .  .  .  .  .  .  X ----------------------------------------------------------------------------- Признак наличия поля V у команды (0 — нет, 1— есть)

 X  X  X  X  X  X -------------------------------------------------------------------------------- COP -- код операции.

</pre>

Формат AV размер 64 бит.

Старшая часть имеет такую же структуру как и формата AA, младшие 32 бита -- значение поля V.

== Типы операции ==

Тип операции задается кодом в поле `TOP`.

Сводная таблица кодов типов.

<pre>

0000 - Беззнаковый байт               (Byte)

0001 - Беззнаковый short              (Short)

0010 - Беззнаковый long               (Long)

0011 - Беззнаковый quad               (Quad)

0100 - Упакованный беззнаковый short  (Pack short)

0101 - Упакованный знаковый short     (Pack signed short)

0110 - Упакованный беззнаковый long   (Pack long)

0111 - Упакованный знаковый long      (Pack signed long)

1000 - Знаковый байт                  (Signed byte)

1001 - Знаковый short                 (Signed short)

1010 - Знаковый long                  (Signed long)

1011 - Знаковый quad                  (Signed quad) - не используется

1100 - Float

1101 - Double

1110 - Pack

1111 - Complex

</pre>

=== Типы в ассемблере ===

Для резервирования памяти данных в ассемблере используются директивы резервирования памяти, используемые в сегменте данных (.data).

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

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

Соответствие определить можно, но одно от другого не зависит.

|| '''Код типа''' || '''Директива''' || '''Размер в битах''' ||

|| byte           || .byte           || 8b  ||

|| short          || .short          || 16b ||

|| long           || .long           || 32b ||

|| quad           || .quad           || 64b ||

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

Мнемоника инструкции состоит из двух частей:

 1. корня, соответствующего коду операции и

 2. суффикса, соответствующего типу операции.

Операций системы команд будут представлены ниже, а мнемонику суффикса показывает следующая таблица:

|| '''TOP''' || '''Беззнаковый''' || '''Знаковый''' || '''Примечание''' ||

|| byte      || b                 || sb             || ||

|| short     || s                 || ss             || ||

|| long      || l                 || sl             || ||

|| quad      || q                 || sq             || ||

|| || || || ||

|| float     ||                   || f              || ||

|| double    ||                   || d              || ||

|| pack      ||                   || p              || ||

|| comlex    ||                   || c              || ||

== Поле регистров ==

Процессор имеет следующие типы регистров:

 - регистры общего назначения (РОН [GPR -- General Purpose Register]);

 - регистры индексные (РИ [IR -- Index Register]);

 - регистры управляющие (РУ [CR -- Control Register]).

<pre>

5 4 3 2 1 0

. . X X X X -- Номер регистра.

X X ---------- Тип регистра:

                00 -- Регистр общего назначения.

                01 -- Зарезервировано, не используется.

                10 -- Регистр индексный.

                11 -- Регистр управляющий.

</pre>

=== Регистры общего назначения ===

Используются в качестве сверхбыстрой памяти (Scratchpad memory).

Имеют размер 64 бита.

=== Регистры индексные ===

Имеют следующую логическую структуру:

<pre>

63 .. 48 47 .. 32 31 .. 0

 .  .  .  .  .  .  XXXXXX -- База   (Base).

 .  .  .  XXXXXXX ---------- Маска  (Mask).

 XXXXXXX ------------------- Индекс (Index).

</pre>

При записи значения в индексный регистр одновременно устанавливаются все части регистра.

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

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

$$Index \gets (( Index \vee \neg Mask ) \oplus 1 ) \wedge Mask$$

$$Base  \gets Base \oplus Index;$$

или на псевдо-Си:

<pre>

Index := (( Index | ~Mask ) + 1 ) & Mask

Base  := Base + Index;

Операции сложения выполняются по модулю.

</pre>

Используются для определения смещения при индексном доступе к оперативной памяти.

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

Один -- для вычисления количества итераций цикла, второй -- для вычисления смешения на каждом цикле итерации.

Шаг смещения, в простейшем случае, является степенью двойки (1,2,4,8,16,...).

=== Регистры управляющие ===

|| '''Имя регистра''' || '''Номер''' || '''Права''' || '''Описание''' ||

|| PSW          || 00    || R/W   || Регистр управления вычислительным процессом   ||

|| INTR         || 01    || R/W   || Регистр прерываний                            ||

|| MSKR         || 02    || R/W   || Регистр маска прерываний                      ||

|| ER           || 03    || R     || Регистр исключений                            ||

|| IRETADDR     || 04    || R     || Регистр адреса возврата                       ||

|| STVALR       || 05    || R/W   || Регистр периода системного таймера            ||

|| STCR         || 06    || R/W   || Регистр управления системным таймером         ||

|| IHOOKADDR    || 07    || R/W   || Регистр первичного обработчика прерываний     ||

|| INTNUMR      || 08    || R     || Регистр номера прерывания                     ||

|| MODR         || 09    || R/W   || Регистр маски модификации индексных регистров ||

== Память ==

Единицей адресации памяти данных является байт, размером 8 бит.

Адресация по всем блокам памяти данных сквозная.

При этом аппаратно чтение данных выравнено на 64 бита.

При вычитывании данных пересекающих границу выравнивания чтение выполняется в "два приема" (сказывается на быстродействии).

Многобайтные значения в памяти данных располагаются в порядке от старшего байта к младшему (little-endian).

Единицей адресации памяти команд является 64 бита.

Адресация памяти команд блочная.

С программной точки зрения значение метки одинаково во всех блоках.

Значения в блоке памяти команд располагаются в порядке от младшего байта к старшему (big-endian).

== Таблица команд ==

Большинство инструкций формируют результат, сохраняемый в коммутаторе.

Размер значения результата соответствует размеру коммутатора -- 64 бит.

Результат нагружен значениями флагов:

||№ бита||     Флаг               || Перевод                                                                                      ||Описание      ||                       ||

|| 64   || ZF (Zero Flag)         || Флаг нуля                                                                                    || Результат нулевой. ||                 ||

|| 65   || OF (Overflow Flag)     || Флаг переполнения                                                                            || Потеря значащего бита. ||              ||

|| 66   || CF (Carry/Inexact Flag)|| Флаг переноса/Флаг потери точности результата в операциях с числами в формате плавающей точки

старшего бита результата/При округлении результата произошла потеря значащих битов||Операция произвела перенос из ||

|| 67   || SF (Sign Flag)         || Флаг знака                                                                                   || Состояние старшего бита результата. ||

Флаги могут иметь значение не для каждой операции.

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

Обозначения, используемые в таблице команд:

 - Все числа представлены в двоичной системе;

 - Рядом с двоичным значением кода операции в скобочках дано десятичное значение;

 - Если число или цифра не используется то на ее знакоместе стоит знак '-';

 - Если цифра в числе может принимать любое значение, на ее знакоместе стоит знак 'x';

 - В колонке флаги результата (Result Flags) перечислены флаги которые вырабатывает инструкция или которые она сохраняет.

   Т.е. эти флаги, как характеристики значения результата, имеют смысл.

 - Примечания, помеченные символом '*' для не реализованных в аппаратуре типов приведены для общности.

=== Инструкции работы с памятью ===

||     || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| rd  || 100001 (33) || xx     || 00xx || 000000 || xxxxxx || ZF SF       || Считывается столько бит сколько определено размером типа. Старшие биты нули. ||

||     ||             || xx     || 1000 || 000000 || xxxxxx || ZF SF       || Считываются 8 бит. 7 бит распространяется в старшие. ||

||     ||             || xx     || 1001 || 000000 || xxxxxx || ZF SF       || Считываются 16 бит. 15 бит распространяется в старшие. ||

||     ||             || xx     || 1010 || 000000 || xxxxxx || ZF SF       || Считывается 32 бита. 31 бит распространяется в старшие. ||

||     ||             || xx     || 1011 || 000000 || xxxxxx || ZF SF       || Считывается 64 бита. ||

||     ||             || xx     || 1100 || 000000 || xxxxxx || ZF SF       || Старшие биты результата расширяются нулем. ||

||     ||             || xx     || 1101 || 000000 || xxxxxx || ZF SF       || Старшие биты результата расширяются нулем. ||

||     ||             || xx     || 11xx || 000000 || xxxxxx || ZF          || Считывается 64 бита. ||

|| wr  || 100010 (34) || xx     || xxxx || xxxxxx || xxxxxx || -- -- -- -- || Записывается столько бит сколько определено размером типа.||

 __wr__::

 Поле F1 никогда не может быть равной нулю.

 __wr__ в отличии от большинства других команд НЕ возвращают значение операнда (оптимизация выполнения).

=== Инструкции работы с регистрами ===

||     || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| exa || 000010 (02) || 01     || 0010 || 000000 || xxxxxx || ZF          || Исполнительный адрес, сформированный индексным регистром. ||

||     ||             || 11     || 0010 || 000000 || xxxxxx || ZF          || Исполнительный адрес, сформированный индексным регистром с полем V. ||

|| get || 000011 (03) || xx     || 00xx || 000000 || xxxxxx || ZF SF       || Значение обрезается до размера типа. Старшие биты нули. ||

||     ||             || xx     || 10xx || 000000 || xxxxxx || ZF SF       || Значение обрезается до размера типа. Распространение знакового бита типа. ||

||     ||             || xx     || 1100 || 000000 || xxxxxx || ZF SF       || Загрузка значения. Старшие биты нули. ||

||     ||             || xx     || 11xx || 000000 || xxxxxx || ZF          || Загрузка значения. ||

|| set || 000100 (04) || 00     || 0011 || xxxxxx || xxxxxx || -- -- -- -- || Пересылка значения коммутатора в регистр. ||

||     ||             || 01     || 0011 || xxxxxx || xxxxxx || -- -- -- -- || Пересылка значения регистра в регистр. ||

||     ||             || 10     || 0010 || xxxxxx || 000000 || -- -- -- -- || Запись беззнаковой константы в регистр. Старшие биты нули. ||

||     ||             ||        || 1010 || xxxxxx || 000000 || -- -- -- -- || Запись знаковой константы в регистр. Распространение знакового бита типа. ||

 __exa__::

 В качестве операнда имеет смысл только индексный регистр.

 __set__::

 Интерпретация значения поля F1 отличается от интерпретации, используемой для других инструкций.

 Значением поля F1 является индекс регистра в который записывается значение, сформированное при интерпретации значений поля F2 и/или V.

 В отличии от большинства других команд НЕ возвращают значение операнда (оптимизация выполнения).

 __get__::

 Во всех случаях происходит преобразование типа и/или выставление флагов заново.

 При формировании значения аргумента инструкция не обращается к памяти данных.

 Формат команды с суффиксом 11 не имеет смысла, т.к. для этого используется __exa__.

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

Прочтение мнемокода инструкций:

|| exa || EXecutive Address ||

=== Арифметические инструкции ===

||       || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| add   || 000101 (05) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Сложение целочисленное. ||

||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Сложение вещественное.  ||

|| sub   || 000110 (06) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Вычитание целочисленное. ||

||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Вычитание вещественное.  ||

|| mul   || 000111 (07) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF==OF || Умножение целочисленное. ||

||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Умножение вещественное. ||

|| adc   || 001000 (08) || 00     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Сложение с переносом. ||

|| sbb   || 001001 (09) || 00     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Вычитание с заемом. ||

|| insub || 001010 (10) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Обратное вычитание целочисленное. ||

||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Обратное вычитание вещественное. ||

|| div   || 001011 (11) || xx     || 1100 || xxxxxx || xxxxxx || ZF SF    OF  || Деление вещественное.  ||

|| sqrt  || 001100 (12) || xx     || 1100 || 000000 || xxxxxx || ZF SF    OF  || Извлечение квадратного корня вещественное.  ||

|| max   || 001101 (13) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF        || Выбор наибольшего для целочисленных типов. ||

||       ||             || xx     || 110x || xxxxxx || xxxxxx || ZF SF    OF  || Выбор наибольшего для  вещественного. ||

|| min   || 001110 (14) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF        || Выбор наименьшего для целочисленных типов. ||

||       ||             || xx     || 110x || xxxxxx || xxxxxx || ZF SF    OF  || Выбор наименьшего для  вещественного. ||

|| abs   || 001111 (15) || xx     || 1000 || 000000 || xxxxxx || ZF       OF  || Абсолютное значение знакового байта. ||

||       ||             || xx     || 1010 || 000000 || xxxxxx || ZF       OF  || Абсолютное значение знакового слова. ||

||       ||             || xx     || 110x || 000000 || xxxxxx || ZF           || Абсолютное значение для  вещественного. ||

Пояснение:

 - Арифметических операций для типов 0011 (unsigned quad), 1011 (quad) не существует.

 - Для инструкций в формате AV значение поля V преобразуется к типу операции по правилам для инструкций __set__.

 - Поле F1  не может быть нулем, если не оговорено особо.

Инструкции __adc__, __sbb__ используют в качестве операндов арифметической операции значение '''второго''' аргумента и значение флага CF '''первого''' аргумента.

Значения флагов CF и OF вычисляются на разрядной сетке типа инструкции.

Например, флаг сдвига (CF) для байтного сложения выставляется при переносе единицы из 7-ого бита результата в 8-ой.

Для инструкции умножения __mul__ если размер результата получился больше чем размер операнда выставляются оба влага CF и OF.

Прочтение мнемокода инструкций:

|| adc   || ADdition with Carry Flag ||

|| sbb   || !SuBtract with Barrow (Carry Flag) ||

|| insub || INversion SUBtract    ||

=== Логические и побитовые инструкции ===

||          || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| or       || 010000 (16) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || Логическое сложение ||

|| and      || 010001 (17) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || Логическое умножение ||

|| xor      || 010010 (18) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || Сложение по mod2 ||

|| not      || 010011 (19) || xx     || 0011 || 000000 || xxxxxx || ZF           || Отрицание ||

|| || || || || || || || ||

|| norm     || 010100 (20) || xx     || 10xx || 000000 || xxxxxx || ZF           || Возвращает значение используемое при нормализации числа с фиксированной точкой. ||

|| pack     || 010101 (21) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || ||

|| patch    || 010110 (22) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || ||

|| bsr      || 010111 (23) || xx     || 00xx || 000000 || xxxxxx || ZF           || Сканирование битов назад ||

|| sll, sal || 011000 (24) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Логический/арифметический сдвиг влево ||

|| slr      || 011001 (25) || xx     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Логический сдвиг вправо ||

|| bsf      || 011010 (26) || xx     || 00xx || 000000 || xxxxxx || ZF           || Сканирование битов вперёд ||

|| sar      || 011011 (27) || xx     || 10xx || xxxxxx || xxxxxx || ZF SF CF OF  || Арифметический сдвиг вправо ||

|| rol      || 011100 (28) || xx     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Циклический сдвиг влево ||

|| ror      || 011101 (29) || xx     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Циклический сдвиг вправо ||

'''Примечание''':

 COP формата '''011'''xxx зарезервирован для реализации инструкций сдвигов и переходов (см. ниже).

Пояснение:

 - Инструкции __or__, __and__, __xor__, __not__ реализованы для внутреннего представления (64 бита).

 - Инструкции __shl__ и __sal__ реализованы одинаково, различие в знаковости типа операции можно пренебречь.

Все инструкции сдвига выставляют флаги CF и OF. (Далее используется: MSB - Most Significant Bit).

Флаг CF равен выдвигаемому биту.

Флаг OF определен если сдвиг на один разряд.

SLL, SAL, ROL, ROR::

 OF <- 0 if (CF == MSB), т.е. два старших бита операнда были одинаковы.

 OF <- 1 if (CF != MSB), т.е. два старших бита операнда были различны.

SAR::

 OF <- 0

SLR::

 OF <- MSB_первоначального_операнда

Прочтение мнемокода инструкций:

|| sll   || Shift Logical Left||

|| slr   || Shift Logical Right ||

|| sal   || Shift Arithmetic Left ||

|| sar   || Shift Arithmetic Right ||

|| rol   || ROtate Left ||

|| ror   || ROtate Right ||

|| bsr   || Bit Scan Reverse ||

|| bsf   || Bit Scan Forward ||

=== Инструкции передачи управления ===

||          || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание || Условие перехода || Применимость ||

|| || || || || || || || || ||

|| jmp      || 011110 (30) || xx     || 0000 || 000000 || xxxxxx || -- -- -- --  ||            || Безусловный || не значимо ||

|| || || || || || || || || ||

|| je       || 011110 (30) || xx     || 0001 || xxxxxx || xxxxxx || -- -- -- --  || `V1 == V2` || ZF == 1              || все       ||

|| jne      || 011110 (30) || xx     || 0010 || xxxxxx || xxxxxx || -- -- -- --  || `V1 != V2` || ZF == 0              || все       ||

|| js       || 011110 (30) || xx     || 1000 || xxxxxx || xxxxxx || -- -- -- --  ||            || SF == 1              || не значимо ||

|| jns      || 011110 (30) || xx     || 1001 || xxxxxx || xxxxxx || -- -- -- --  ||            || SF == 0              || не значимо ||

|| jo       || 011110 (30) || xx     || 1010 || xxxxxx || xxxxxx || -- -- -- --  ||            || OF == 1              || не значимо ||

|| jno      || 011110 (30) || xx     || 1011 || xxxxxx || xxxxxx || -- -- -- --  ||            || OF == 0              || не значимо ||

|| || || || || || || || || ||

|| jb, jc   || 011110 (30) || xx     || 0100 || xxxxxx || xxxxxx || -- -- -- --  || `U1 <  U2` || CF == 1              || без знака ||

|| jbe      || 011110 (30) || xx     || 0101 || xxxxxx || xxxxxx || -- -- -- --  || `U1 <= U2` || CF == 1 or  ZF == 1  || без знака ||

|| ja       || 011110 (30) || xx     || 0110 || xxxxxx || xxxxxx || -- -- -- --  || `U1 >  U2` || CF == 0 and ZF == 0  || без знака ||

|| jae, jnc || 011110 (30) || xx     || 0111 || xxxxxx || xxxxxx || -- -- -- --  || `U1 >= U2` || CF == 0              || без знака ||

|| || || || || || || || || ||

|| jl       || 011110 (30) || xx     || 1100 || xxxxxx || xxxxxx || -- -- -- --  || `S1 <  S2` || SF != OF             || со знаком ||

|| jle      || 011110 (30) || xx     || 1101 || xxxxxx || xxxxxx || -- -- -- --  || `S1 <= S2` || SF != OF or  ZF == 1 || со знаком ||

|| jg       || 011110 (30) || xx     || 1110 || xxxxxx || xxxxxx || -- -- -- --  || `S1 >  S2` || SF == OF and ZF == 0 || со знаком ||

|| jge      || 011110 (30) || xx     || 1111 || xxxxxx || xxxxxx || -- -- -- --  || `S1 >= S2` || SF == OF             || со знаком ||

Пояснение:

Все инструкции условного перехода в отличии от большинства других команд НЕ возвращают значение операнда (оптимизация выполнения).

Прочтение мнемокода инструкций:

|| je   || Jump if Equal             ||

|| jne  || Jump if Not Equal         ||

|| js   || Jump if Signed            ||

|| jns  || Jump if Not Signed        ||

|| jo   || Jump if Overflow          ||

|| jno  || Jump if Not Overflow      ||

|| jc   || Jump if Carry             ||

|| jnc  || Jump if Not Carry         ||

|| || ||

|| jb   || Jump if Below             ||

|| jbe  || Jump if Below and Equal   ||

|| ja   || Jump if Above             ||

|| jae  || Jump if Above and Equal   ||

|| || ||

|| jl   || Jump if Less              ||

|| jle  || Jump if Less and Equal    ||

|| jg   || Jump if Greater           ||

|| jge  || Jump if Greater and Equal ||

=== Инструкции выбора второго аргумента по условию ===

||          || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание || Условие перехода || Применимость ||

|| || || || || || || || || ||

|| se       || 011111 (31) || xx     || 0001 || xxxxxx || xxxxxx || ZF SF        || `V1 == V2` || ZF == 1              || все       ||

|| sne      || 011111 (31) || xx     || 0010 || xxxxxx || xxxxxx || ZF SF        || `V1 != V2` || ZF == 0              || все       ||

|| ss       || 011111 (31) || xx     || 1000 || xxxxxx || xxxxxx || ZF SF        ||            || SF == 1              || не значимо ||

|| sns      || 011111 (31) || xx     || 1001 || xxxxxx || xxxxxx || ZF SF        ||            || SF == 0              || не значимо ||

|| so       || 011111 (31) || xx     || 1010 || xxxxxx || xxxxxx || ZF SF        ||            || OF == 1              || не значимо ||

|| sno      || 011111 (31) || xx     || 1011 || xxxxxx || xxxxxx || ZF SF        ||            || OF == 0              || не значимо ||

|| || || || || || || || || ||

|| sb, sc   || 011111 (31) || xx     || 0100 || xxxxxx || xxxxxx || ZF SF        || `U1 <  U2` || CF == 1              || без знака ||

|| sbe      || 011111 (31) || xx     || 0101 || xxxxxx || xxxxxx || ZF SF        || `U1 <= U2` || CF == 1 or  ZF == 1  || без знака ||

|| sa       || 011111 (31) || xx     || 0110 || xxxxxx || xxxxxx || ZF SF        || `U1 >  U2` || CF == 0 and ZF == 0  || без знака ||

|| sae, snc || 011111 (31) || xx     || 0111 || xxxxxx || xxxxxx || ZF SF        || `U1 >= U2` || CF == 0              || без знака ||

|| || || || || || || || || ||

|| sl       || 011111 (31) || xx     || 1100 || xxxxxx || xxxxxx || ZF SF        || `S1 <  S2` || SF != OF             || со знаком ||

|| sle      || 011111 (31) || xx     || 1101 || xxxxxx || xxxxxx || ZF SF        || `S1 <= S2` || SF != OF or  ZF == 1 || со знаком ||

|| sg       || 011111 (31) || xx     || 1110 || xxxxxx || xxxxxx || ZF SF        || `S1 >  S2` || SF == OF and ZF == 0 || со знаком ||

|| sge      || 011111 (31) || xx     || 1111 || xxxxxx || xxxxxx || ZF SF        || `S1 >= S2` || SF == OF             || со знаком ||

Прочтение мнемокода инструкций:

|| se   || Send value to switchboard if Equal             ||

|| sne  || Send value to switchboard if Not Equal         ||

|| ss   || Send value to switchboard if Signed            ||

|| sns  || Send value to switchboard if Not Signed        ||

|| so   || Send value to switchboard if Overflow          ||

|| sno  || Send value to switchboard if Not Overflow      ||

|| sc   || Send value to switchboard if Carry             ||

|| snc  || Send value to switchboard if Not Carry         ||

|| || ||

|| sb   || Send value to switchboard if Below             ||

|| sbe  || Send value to switchboard if Below and Equal   ||

|| sa   || Send value to switchboard if Above             ||

|| sae  || Send value to switchboard if Above and Equal   ||

|| || ||

|| sl   || Send value to switchboard if Less              ||

|| sle  || Send value to switchboard if Less and Equal    ||

|| sg   || Send value to switchboard if Greater           ||

|| sge  || Send value to switchboard if Greater and Equal ||

=== Инструкции работы с битами аргумента ===

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| bc   || 100000 (32) || xx     || 00xx || xxxxxx || xxxxxx || ZF           || Вычислениe числа единичных битов в аргументе ||

=== Инструкция копирования флагов ===

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| fcpy  || 100011 (35) || xx     || 0011 || xxxxxx || xxxxxx || ZF SF OF CF  || Копирование флагов первого аргумента во второй ||

=== Инструкция развёртки байтов ===

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| ib   || 100100 (36) || xx     || х000 || xxxxxx || xxxxxx || ZF SF OF CF  ||            ||

=== Инструкция свёртки байтов ===

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| cb   || 100101 (37) || xx     || х000 || xxxxxx || xxxxxx ||              ||            ||

=== Инструкция свёртки байтов с насыщением ===

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| cbs  || 100110 (38) || xx     || х000 || xxxxxx || xxxxxx ||              ||            ||

=== Инструкции выбора первого или второго аргумента по условию ===

||          || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание || Условие перехода || Применимость ||

|| || || || || || || || || ||

|| me       || 100111 (39) || xx     || 0001 || xxxxxx || xxxxxx || ZF SF        || `V1 == V2` || ZF == 1              || все       ||

|| mne      || 100111 (39) || xx     || 0010 || xxxxxx || xxxxxx || ZF SF        || `V1 != V2` || ZF == 0              || все       ||

|| ms       || 100111 (39) || xx     || 1000 || xxxxxx || xxxxxx || ZF SF        ||            || SF == 1              || не значимо ||

|| mns      || 100111 (39) || xx     || 1001 || xxxxxx || xxxxxx || ZF SF        ||            || SF == 0              || не значимо ||

|| mo       || 100111 (39) || xx     || 1010 || xxxxxx || xxxxxx || ZF SF        ||            || OF == 1              || не значимо ||

|| mno      || 100111 (39) || xx     || 1011 || xxxxxx || xxxxxx || ZF SF        ||            || OF == 0              || не значимо ||

|| mb       || 100111 (39) || xx     || 0100 || xxxxxx || xxxxxx || ZF SF        || `U1 <  U2` || CF == 1              || без знака ||

|| mbe      || 100111 (39) || xx     || 0101 || xxxxxx || xxxxxx || ZF SF        || `U1 <= U2` || CF == 1 or  ZF == 1  || без знака ||

|| ma       || 100111 (39) || xx     || 0110 || xxxxxx || xxxxxx || ZF SF        || `U1 >  U2` || CF == 0 and ZF == 0  || без знака ||

|| mae      || 100111 (39) || xx     || 0111 || xxxxxx || xxxxxx || ZF SF        || `U1 >= U2` || CF == 0              || без знака ||

|| ml       || 100111 (39) || xx     || 1100 || xxxxxx || xxxxxx || ZF SF        || `S1 <  S2` || SF != OF             || со знаком ||

|| mle      || 100111 (39) || xx     || 1101 || xxxxxx || xxxxxx || ZF SF        || `S1 <= S2` || SF != OF or  ZF == 1 || со знаком ||

|| mg       || 100111 (39) || xx     || 1110 || xxxxxx || xxxxxx || ZF SF        || `S1 >  S2` || SF == OF and ZF == 0 || со знаком ||

|| mge      || 100111 (39) || xx     || 1111 || xxxxxx || xxxxxx || ZF SF        || `S1 >= S2` || SF == OF             || со знаком ||

Прочтение мнемокода инструкций:

|| me   || Move argument to switchboard if Equal             ||

|| mne  || Move argument to switchboard if Not Equal         ||

|| ms   || Move argument to switchboard if Signed            ||

|| mns  || Move argument to switchboard if Not Signed        ||

|| mo   || Move argument to switchboard if Overflow          ||

|| mno  || Move argument to switchboard if Not Overflow      ||

|| smb  || Move argument to switchboard if Below             ||

|| mbe  || Move argument to switchboard if Below and Equal   ||

|| ma   || Move argument to switchboard if Above             ||

|| mae  || Move argument to switchboard if Above and Equal   ||

|| ml   || Move argument to switchboard if Less              ||

|| mle  || Move argument to switchboard if Less and Equal    ||

|| mg   || Move argument to switchboard if Greater           ||

|| mge  || Move argument to switchboard if Greater and Equal ||

=== Инструкция передачи значения из коммутатора с сохранением флагов===

||       || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание                 ||

|| move  || 101000 (40) || xx     || 0011 || xxxxxx || xxxxxx || SF CF OF ZF  ||Сохраняются флаги аргумента ||

=== Инструкции преобразования типов ===

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| cdf  || 110111 (55) || xx     || 1100 || 000000 || xxxxxx || ZF SF    OF || Преобразование double -> float ||

|| clf  || 111000 (56) || xx     || 1100 || 000000 || xxxxxx || ZF       OF || Преобразование long -> float ||

|| cfd  || 111001 (57) || xx     || 1100 || 000000 || xxxxxx || ZF SF    OF || Преобразование float -> double ||

|| cslf || 111010 (58) || xx     || 1100 || 000000 || xxxxxx || ZF SF    OF || Преобразование signed long -> float ||

|| cfsl || 111011 (59) || xx     || 1010 || 000000 || xxxxxx || ZF SF    OF || Преобразование float -> signed long ||

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

Прочтение мнемокода инструкций:

|| cdf  || Convert Double to Float      ||

|| clf  || Convert Long to Float        ||

|| cfd  || Convert Float to Double      ||

|| cslf || Convert Signed Long to Float ||

|| cfsl || Convert Float to Signed Long ||

=== Мультимедийные инструкции (MMC !MultiMedia Command) ===

Мультимедийные команды выполняются над упакованными значениями.

В данной группе команд TOP может не совпадать с типом результата.

||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||

|| || || || || || || || ||

|| madd || 110001 (49) || xx     || 1110 || xxxxxx || xxxxxx || ZF SF    OF  || Упакованное умножение со сложением. ||

 '''madd'''::

 Для двух упакованных чисел [a,b] [c,d] выполняет операцию: r = a*c + b*d.

 Флаги выставляются аналогично инструкции __add__ с типом float.

Прочтение мнемокода инструкций:

|| madd || packed Multiply and ADD ||