Project

General

Profile

Edit History

Wiki »

Обзор работы с моделью » History » Version 7

krufter_multiclet, 04/24/2013 01:22 PM

1 6 
h1. Обзор работы с моделью
2 6 





    3
    6
    
    
Страница в разработке





    4
    6
    
    





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





    6
    6
    
    





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





    8
    6
    
    





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





    10
    6
    
    





    11
    6
    
    
<pre>





    12
    6
    
    





    13
    6
    
    
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





    14
    6
    
    
 .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -- F2 -- адрес значения 2-ого операнда





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





    16
    6
    
    
 .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -------------------------------------- t  -- Задержка выдачи результата (тау).





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





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





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





    20
    6
    
    
 .  .  .  .  .  .  X  X -------------------------------------------------------------------------- Суффикс:





    21
    6
    
    
 .  .  .  .  .  .                                                                                   0X - формат AA





    22
    6
    
    
 .  .  .  .  .  .                                                                                   00 - F2 содержит адрес коммутатора





    23
    6
    
    
 .  .  .  .  .  .                                                                                   01 - F2 содержит номер регистра





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





    25
    6
    
    
</pre>





    26
    6
    
    





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





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





    29
    6
    
    





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





    31
    6
    
    





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





    33
    6
    
    





    34
    6
    
    
Правило кодирования типов содержащих значение в целочисленном представлении.





    35
    6
    
    





    36
    6
    
    
<pre>





    37
    6
    
    
3 2 1 0





    38
    6
    
    
. . x x -- Уменьшенный на единицу размер в байтах:





    39
    6
    
    
. .         00 - byte





    40
    6
    
    
. .         01 - half word





    41
    6
    
    
. .         10 - word





    42
    6
    
    
. .         11 - double word





    43
    6
    
    
. 0 ------ Признак представления плавающей точки, всегда == 0.





    44
    6
    
    
x -------- Признак знаковости:





    45
    6
    
    
            0 - Беззнаковое;





    46
    6
    
    
            1 - Знаковое.





    47
    6
    
    
</pre>





    48
    6
    
    





    49
    6
    
    
Правило кодирования типов содержащих значение в представлении плавающей точки.





    50
    6
    
    





    51
    6
    
    
<pre>





    52
    6
    
    
3 2 1 0





    53
    6
    
    
. . x x -- Тип:





    54
    6
    
    
. .         00 - float





    55
    6
    
    
. .         01 - double





    56
    6
    
    
. .         10 - pack





    57
    6
    
    
. .         11 - complex





    58
    6
    
    
. 1 ------ Признак  представления плавающей точки, всегда == 1.





    59
    6
    
    
1 -------- Признак знаковости, всегда == 1.





    60
    6
    
    
</pre>





    61
    6
    
    





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





    63
    6
    
    
|| '''Тип''' || '''Беззнаковый''' || '''Знаковый''' || '''Примечание''' ||





    64
    6
    
    
|| byte      || 0b0000            || 0b1000         || ||





    65
    6
    
    
|| hword     || 0b0001            || 0b1001         || Тип не используется в существующей реализации ||





    66
    6
    
    
|| word      || 0b0010            || 0b1010         || ||





    67
    6
    
    
|| dword     || 0b0011            || 0b1011         || Знаковый тип этого размера не используется в существующей реализации ||





    68
    6
    
    
|| || || ||





    69
    6
    
    
|| float     ||                   || 0b1100         || ||





    70
    6
    
    
|| double    ||                   || 0b1101         || Тип не используется в существующей реализации ||





    71
    6
    
    
|| pack      ||                   || 0b1110         || ||





    72
    6
    
    
|| comlex    ||                   || 0b1111         || ||





    73
    6
    
    





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





    75
    6
    
    





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





    77
    6
    
    





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





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





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





    81
    6
    
    





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





    83
    6
    
    
|| byte           || .byte           || 8b  || 





    84
    6
    
    
|| hword          || .short          || 16b ||





    85
    6
    
    
|| word           || .long           || 32b ||





    86
    6
    
    
|| dword          || .quad           || 64b ||





    87
    6
    
    





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





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





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





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





    92
    6
    
    





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





    94
    6
    
    





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





    96
    6
    
    
|| byte      || b                 || sb             || ||





    97
    6
    
    
|| hword     || s                 || ss             || НЕ используется в существующей реализации ||





    98
    6
    
    
|| word      || l                 || sl             || ||





    99
    6
    
    
|| dword     || q                 || sq             || Знаковый тип этого размера НЕ используется в существующей реализации ||





    100
    6
    
    
|| || || || ||





    101
    6
    
    
|| float     ||                   || f              || ||





    102
    6
    
    
|| double    ||                   || d              || НЕ используется в существующей реализации ||





    103
    6
    
    
|| pack      ||                   || p              || ||





    104
    6
    
    
|| comlex    ||                   || c              || ||





    105
    6
    
    





    106
    6
    
    





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





    108
    6
    
    





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





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





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





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





    113
    6
    
    





    114
    6
    
    
<pre>





    115
    6
    
    
5 4 3 2 1 0





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





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





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





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





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





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





    122
    6
    
    
</pre>





    123
    6
    
    





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





    125
    6
    
    





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





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





    128
    6
    
    





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





    130
    6
    
    





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





    132
    6
    
    





    133
    6
    
    
<pre>





    134
    6
    
    
63 .. 48 47 .. 32 31 .. 0





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





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





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





    138
    6
    
    
</pre>





    139
    6
    
    





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





    141
    6
    
    





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





    143
    6
    
    





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





    145
    6
    
    





    146
    6
    
    
На псевдо-Си:





    147
    6
    
    





    148
    6
    
    
<pre>





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





    150
    6
    
    
Base  := Base + Index;





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





    152
    6
    
    
</pre>





    153
    6
    
    





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





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





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





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





    158
    6
    
    





    159
    6
    
    





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





    161
    6
    
    





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





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





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





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





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





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





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





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





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





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





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





    173
    6
    
    





    174
    6
    
    





    175
    6
    
    
== Память ==





    176
    6
    
    





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





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





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





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





    181
    6
    
    





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





    183
    6
    
    





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





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





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





    187
    6
    
    





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





    189
    6
    
    





    190
    6
    
    





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





    192
    6
    
    





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





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





    195
    6
    
    





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





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





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





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





    200
    6
    
    
|| 66 || CF (Carry Flag)    || Флаг переноса     || Операция произвела перенос из старшего бита результата. ||





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





    202
    6
    
    





    203
    6
    
    





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





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





    206
    6
    
    





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





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





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





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





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





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





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





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





    215
    6
    
    





    216
    6
    
    





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





    218
    6
    
    





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





    220
    6
    
    
|| || || || || || || || ||





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





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





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





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





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





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





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





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





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





    230
    6
    
    





    231
    6
    
    
 __wr__::





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





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





    234
    6
    
    





    235
    6
    
    





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





    237
    6
    
    





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





    239
    6
    
    
|| || || || || || || || ||





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





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





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





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





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





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





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





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





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





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





    250
    6
    
    





    251
    6
    
    





    252
    6
    
    
 __exa__::





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





    254
    6
    
    





    255
    6
    
    
 __set__::





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





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





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





    259
    6
    
    





    260
    6
    
    
 __get__::





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





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





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





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





    265
    6
    
    





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





    267
    6
    
    
|| exa || EXecutive Address ||





    268
    6
    
    





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





    270
    6
    
    





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





    272
    6
    
    
|| || || || || || || || ||





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





    274
    6
    
    
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Сложение.  ||





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





    276
    6
    
    
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Вычитание.  ||





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





    278
    6
    
    
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Умножение. ||





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





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





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





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





    283
    6
    
    
|| div   || 001011 (11) || xx     || 1100 || xxxxxx || xxxxxx || ZF SF    OF  || Деление.  ||





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





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





    286
    6
    
    
||       ||             || xx     || 110x || xxxxxx || xxxxxx || ZF SF    OF  || Выбор наибольшего для float. ||





    287
    6
    
    
|| min   || 001110 (14) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF        || Выбор наименьшего. ||





    288
    6
    
    
||       ||             || xx     || 110x || xxxxxx || xxxxxx || ZF SF    OF  || Выбор наименьшего для float. ||





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





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





    291
    6
    
    
||       ||             || xx     || 1100 || 000000 || xxxxxx || ZF           || Абсолютное значение float. ||





    292
    6
    
    





    293
    6
    
    
Пояснение:





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





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





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





    297
    6
    
    





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





    299
    6
    
    





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





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





    302
    6
    
    





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





    304
    6
    
    





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





    306
    6
    
    
|| adc   || ADdition with Carry Flag ||





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





    308
    6
    
    
|| insub || INversion SUBtract    ||





    309
    6
    
    





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





    311
    6
    
    





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





    313
    6
    
    
|| || || || || || || || ||





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





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





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





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





    318
    6
    
    
|| || || || || || || || ||





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





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





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





    322
    6
    
    
|| || || || || || || || ||





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





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





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





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





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





    328
    6
    
    





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





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





    331
    6
    
    





    332
    6
    
    
Пояснение:





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





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





    335
    6
    
    





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





    337
    6
    
    





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





    339
    6
    
    





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





    341
    6
    
    





    342
    6
    
    
SLL, SAL, ROL, ROR::





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





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





    345
    6
    
    
SAR::





    346
    6
    
    
 OF <- 0





    347
    6
    
    
SLR::





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





    349
    6
    
    





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





    351
    6
    
    
|| sll   || Shift Logical Left||





    352
    6
    
    
|| slr   || Shift Logical Right ||





    353
    6
    
    
|| sal   || Shift Arithmetic Left ||





    354
    6
    
    
|| sar   || Shift Arithmetic Right ||





    355
    6
    
    
|| rol   || ROtate Left ||





    356
    6
    
    
|| ror   || ROtate Right ||





    357
    6
    
    
|| bsr   || Bit Scan Reverse ||





    358
    6
    
    





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





    360
    6
    
    





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





    362
    6
    
    
|| || || || || || || || || ||





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





    364
    6
    
    
|| || || || || || || || || ||





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





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





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





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





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





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





    371
    6
    
    
|| || || || || || || || || ||





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





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





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





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





    376
    6
    
    
|| || || || || || || || || ||





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





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





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





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





    381
    6
    
    





    382
    6
    
    
Пояснение:





    383
    6
    
    





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





    385
    6
    
    





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





    387
    6
    
    
|| je   || Jump if Equal             ||





    388
    6
    
    
|| jne  || Jump if Not Equal         ||





    389
    6
    
    
|| || ||





    390
    6
    
    
|| jb   || Jump if Below             ||





    391
    6
    
    
|| jbe  || Jump if Below and Equal   ||





    392
    6
    
    
|| ja   || Jump if Above             ||





    393
    6
    
    
|| jae  || Jump if Above and Equal   ||





    394
    6
    
    
|| || ||





    395
    6
    
    
|| jl   || Jump if Less              ||





    396
    6
    
    
|| jle  || Jump if Less and Equal    ||





    397
    6
    
    
|| jg   || Jump if Greater           ||





    398
    6
    
    
|| jge  || Jump if Greater and Equal ||





    399
    6
    
    





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





    401
    6
    
    





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





    403
    6
    
    
|| || || || || || || || ||





    404
    6
    
    
|| cwf  || 111000 (56) || xx     || 1100 || 000000 || xxxxxx || ZF    CF OF || Преобразование word -> float ||





    405
    6
    
    
|| cswf || 111010 (58) || xx     || 1100 || 000000 || xxxxxx || ZF SF CF OF || Преобразование signed word -> float ||





    406
    6
    
    
|| cfsw || 111011 (59) || xx     || 1010 || 000000 || xxxxxx || ZF SF CF OF || Преобразование float -> signed word ||





    407
    6
    
    





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





    409
    6
    
    





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





    411
    6
    
    
|| cwf  || Convert Word to Float        ||





    412
    6
    
    
|| cswf || Convert Signed Word to Float ||





    413
    6
    
    
|| cfsw || Convert Float to Signed Word ||





    414
    6
    
    





    415
    6
    
    





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





    417
    6
    
    





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





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





    420
    6
    
    





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





    422
    6
    
    
|| || || || || || || || ||





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





    424
    6
    
    





    425
    6
    
    
 '''madd'''::





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





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





    428
    6
    
    





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





    430
    6
    
    
|| madd || packed Multiply and ADD ||