Project

General

Profile

Система команд(Instruction Set Architecture) » History » Version 2

krufter_multiclet, 07/11/2013 05:36 PM

1 1 krufter_multiclet
h1. Система команд (Instruction Set Architecture)
2 1 krufter_multiclet
3 1 krufter_multiclet
h3. Формат кодирования команды 
4 1 krufter_multiclet
5 1 krufter_multiclet
Формат AA размер 32 бит:
6 1 krufter_multiclet
7 1 krufter_multiclet
<pre>
8 1 krufter_multiclet
9 1 krufter_multiclet
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
10 1 krufter_multiclet
 .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -- F2 -- адрес значения 2-ого операнда
11 1 krufter_multiclet
 .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -------------------- F1 -- адрес в коммутаторе значения 1-ого операнда
12 1 krufter_multiclet
 .  .  .  .  .  .  .  .  .  .  .  .  .  .  X  X  X  X  X  X -------------------------------------- t  -- Задержка выдачи результата (тау).
13 1 krufter_multiclet
 .  .  .  .  .  .  .  .  .  .  .  .  .  X -------------------------------------------------------- Резерв.
14 1 krufter_multiclet
 .  .  .  .  .  .  .  .  .  .  .  .  X  ---------------------------------------------------------- Признак инструкции, завершающей параграф.
15 1 krufter_multiclet
 .  .  .  .  .  .  .  .  X  X  X  X -------------------------------------------------------------- TOP -- тип операции.
16 1 krufter_multiclet
 .  .  .  .  .  .  X  X -------------------------------------------------------------------------- Суффикс:
17 1 krufter_multiclet
 .  .  .  .  .  .                                                                                   0X - формат AA
18 1 krufter_multiclet
 .  .  .  .  .  .                                                                                   00 - F2 содержит адрес коммутатора
19 1 krufter_multiclet
 .  .  .  .  .  .                                                                                   01 - F2 содержит номер регистра
20 2 krufter_multiclet
 .  .  .  .  .  .                                                                                   11 - F2 номер индексного регистра
21 1 krufter_multiclet
 X  X  X  X  X  X -------------------------------------------------------------------------------- COP -- код операции.
22 1 krufter_multiclet
</pre>
23 1 krufter_multiclet
24 1 krufter_multiclet
Формат AV размер 64 бит.
25 1 krufter_multiclet
Старшая часть имеет такую же структуру как и формата AA, младшие 32 бита -- значение поля V.
26 1 krufter_multiclet
27 1 krufter_multiclet
*= Типы операций =*
28 1 krufter_multiclet
29 1 krufter_multiclet
Тип операции задается кодом в поле `TOP`.
30 1 krufter_multiclet
31 1 krufter_multiclet
Правило кодирования типов содержащих значение в целочисленном представлении.
32 1 krufter_multiclet
33 1 krufter_multiclet
<pre>
34 1 krufter_multiclet
3 2 1 0
35 1 krufter_multiclet
. . x x -- Уменьшенный на единицу размер в байтах:
36 1 krufter_multiclet
. .         00 - byte
37 1 krufter_multiclet
. .         01 - half word
38 1 krufter_multiclet
. .         10 - word
39 1 krufter_multiclet
. .         11 - double word
40 1 krufter_multiclet
. 0 ------ Признак представления плавающей точки, всегда == 0.
41 1 krufter_multiclet
x -------- Признак знаковости:
42 1 krufter_multiclet
            0 - Беззнаковое;
43 1 krufter_multiclet
            1 - Знаковое.
44 1 krufter_multiclet
</pre>
45 1 krufter_multiclet
46 1 krufter_multiclet
Правило кодирования типов содержащих значение в представлении плавающей точки.
47 1 krufter_multiclet
48 1 krufter_multiclet
<pre>
49 1 krufter_multiclet
3 2 1 0
50 1 krufter_multiclet
. . x x -- Тип:
51 1 krufter_multiclet
. .         00 - float
52 1 krufter_multiclet
. .         01 - double
53 1 krufter_multiclet
. .         10 - pack
54 1 krufter_multiclet
. .         11 - complex
55 1 krufter_multiclet
. 1 ------ Признак  представления плавающей точки, всегда == 1.
56 1 krufter_multiclet
1 -------- Признак знаковости, всегда == 1.
57 1 krufter_multiclet
</pre>
58 1 krufter_multiclet
59 1 krufter_multiclet
Сводная таблица кодов типов.
60 1 krufter_multiclet
|| '''Тип''' || '''Беззнаковый''' || '''Знаковый''' || '''Примечание''' ||
61 1 krufter_multiclet
|| byte      || 0b0000            || 0b1000         || ||
62 1 krufter_multiclet
|| hword     || 0b0001            || 0b1001         || Тип не используется в существующей реализации ||
63 1 krufter_multiclet
|| word      || 0b0010            || 0b1010         || ||
64 1 krufter_multiclet
|| dword     || 0b0011            || 0b1011         || Знаковый тип этого размера не используется в существующей реализации ||
65 1 krufter_multiclet
|| || || ||
66 1 krufter_multiclet
|| float     ||                   || 0b1100         || ||
67 1 krufter_multiclet
|| double    ||                   || 0b1101         || Тип не используется в существующей реализации ||
68 1 krufter_multiclet
|| pack      ||                   || 0b1110         || ||
69 1 krufter_multiclet
|| comlex    ||                   || 0b1111         || ||
70 1 krufter_multiclet
71 1 krufter_multiclet
h3. === Типы в ассемблере ===
72 1 krufter_multiclet
73 1 krufter_multiclet
Для резервирования памяти данных в ассемблере используются директивы резервирования памяти, используемые в сегменте данных (.data).
74 1 krufter_multiclet
75 1 krufter_multiclet
Соответствие размера резервируемой памяти директивами ассемблера коду типов операции архитектуры приведено в таблице ниже.
76 1 krufter_multiclet
Необходимо понимать, что директивы резервирования памяти в сегменте данных ассемблера никак не связаны с кодом типа операции.
77 1 krufter_multiclet
Соответствие определить можно, но одно от другого не зависит.
78 1 krufter_multiclet
79 1 krufter_multiclet
|| '''Код типа''' || '''Директива''' || '''Размер в битах''' ||
80 1 krufter_multiclet
|| byte           || .byte           || 8b  || 
81 1 krufter_multiclet
|| hword          || .short          || 16b ||
82 1 krufter_multiclet
|| word           || .long           || 32b ||
83 1 krufter_multiclet
|| dword          || .quad           || 64b ||
84 1 krufter_multiclet
85 1 krufter_multiclet
В ассемблере зависимость от кода типа данных появляется в мнемонике инструкции.
86 1 krufter_multiclet
Мнемоника инструкции состоит из двух частей:
87 1 krufter_multiclet
 1. корня, соответствующего коду операции и
88 1 krufter_multiclet
 2. суффикса, соответствующего типу операции.
89 1 krufter_multiclet
90 1 krufter_multiclet
Операций системы команд будут представлены ниже, а мнемонику суффикса показывает следующая таблица:
91 1 krufter_multiclet
92 1 krufter_multiclet
|| '''TOP''' || '''Беззнаковый''' || '''Знаковый''' || '''Примечание''' ||
93 1 krufter_multiclet
|| byte      || b                 || sb             || ||
94 1 krufter_multiclet
|| hword     || s                 || ss             || НЕ используется в существующей реализации ||
95 1 krufter_multiclet
|| word      || l                 || sl             || ||
96 1 krufter_multiclet
|| dword     || q                 || sq             || Знаковый тип этого размера НЕ используется в существующей реализации ||
97 1 krufter_multiclet
|| || || || ||
98 1 krufter_multiclet
|| float     ||                   || f              || ||
99 1 krufter_multiclet
|| double    ||                   || d              || НЕ используется в существующей реализации ||
100 1 krufter_multiclet
|| pack      ||                   || p              || ||
101 1 krufter_multiclet
|| comlex    ||                   || c              || ||
102 1 krufter_multiclet
103 1 krufter_multiclet
104 1 krufter_multiclet
*==Поле регистров==*
105 1 krufter_multiclet
106 1 krufter_multiclet
Процессор имеет следующие типы регистров:
107 1 krufter_multiclet
 - регистры общего назначения (РОН [GPR -- General Purpose Register]);
108 1 krufter_multiclet
 - регистры индексные (РИ [IR -- Index Register]);
109 1 krufter_multiclet
 - регистры управляющие (РУ [CR -- Control Register]).
110 1 krufter_multiclet
111 1 krufter_multiclet
<pre>
112 1 krufter_multiclet
5 4 3 2 1 0
113 1 krufter_multiclet
. . X X X X -- Номер регистра.
114 1 krufter_multiclet
X X ---------- Тип регистра:
115 1 krufter_multiclet
                00 -- Регистр общего назначения.
116 1 krufter_multiclet
                01 -- Зарезервировано, не используется.
117 1 krufter_multiclet
                10 -- Регистр индексный.
118 1 krufter_multiclet
                11 -- Регистр управляющий.
119 1 krufter_multiclet
</pre>
120 1 krufter_multiclet
121 1 krufter_multiclet
h3. === Регистры общего назначения ===
122 1 krufter_multiclet
123 1 krufter_multiclet
Используются в качестве сверхбыстрой памяти (Scratchpad memory).
124 1 krufter_multiclet
Имеют размер 64 бита.
125 1 krufter_multiclet
126 1 krufter_multiclet
h3. === Регистры индексные ===
127 1 krufter_multiclet
128 1 krufter_multiclet
Имеют следующую логическую структуру:
129 1 krufter_multiclet
130 1 krufter_multiclet
<pre>
131 1 krufter_multiclet
63 .. 48 47 .. 32 31 .. 0
132 1 krufter_multiclet
 .  .  .  .  .  .  XXXXXX -- База   (Base).
133 1 krufter_multiclet
 .  .  .  XXXXXXX ---------- Маска  (Mask).
134 1 krufter_multiclet
 XXXXXXX ------------------- Индекс (Index).
135 1 krufter_multiclet
</pre>
136 1 krufter_multiclet
137 1 krufter_multiclet
При записи значения в индексный регистр одновременно устанавливаются все части регистра.
138 1 krufter_multiclet
139 1 krufter_multiclet
При использовании индексного регистра в алгоритме операции участвует только значение базы -- младшие 32 бита, старшие 32 бита формируются в соответствии с правилами размножения знака для операций, работающими с знаковыми целочисленными типами, во всех остальных операциях сбрасываются в ноль.
140 1 krufter_multiclet
141 1 krufter_multiclet
При этом, после выполнения параграфа в котором существует инструкция, использующая индексный регистр происходит модификация значения индексного регистра по следующей формуле:
142 1 krufter_multiclet
143 1 krufter_multiclet
На псевдо-Си:
144 1 krufter_multiclet
145 1 krufter_multiclet
<pre>
146 1 krufter_multiclet
Index := (( Index | ~Mask ) + 1 ) & Mask
147 1 krufter_multiclet
Base  := Base + Index;
148 1 krufter_multiclet
Операции сложения выполняются по модулю.
149 1 krufter_multiclet
</pre>
150 1 krufter_multiclet
151 1 krufter_multiclet
Используются для определения смещения при индексном доступе к оперативной памяти.
152 1 krufter_multiclet
В общем случае, для организации цикла используются два индексных регистра.
153 1 krufter_multiclet
Один -- для вычисления количества итераций цикла, второй -- для вычисления смешения на каждом цикле итерации.
154 1 krufter_multiclet
Шаг смещения, в простейшем случае, является степенью двойки (1,2,4,8,16,...).
155 1 krufter_multiclet
156 1 krufter_multiclet
157 1 krufter_multiclet
*=== Регистры управляющие ===*
158 1 krufter_multiclet
159 1 krufter_multiclet
|| '''Имя регистра''' || '''Номер''' || '''Права''' || '''Описание''' ||
160 1 krufter_multiclet
|| PSW          || 00    || R/W   || Регистр управления вычислительным процессом   ||
161 1 krufter_multiclet
|| INTR         || 01    || R/W   || Регистр прерываний                            ||
162 1 krufter_multiclet
|| MSKR         || 02    || R/W   || Регистр маска прерываний                      ||
163 1 krufter_multiclet
|| ER           || 03    || R     || Регистр исключений                            ||
164 1 krufter_multiclet
|| IRETADDR     || 04    || R     || Регистр адреса возврата                       ||
165 1 krufter_multiclet
|| STVALR       || 05    || R/W   || Регистр периода системного таймера            ||
166 1 krufter_multiclet
|| STCR         || 06    || R/W   || Регистр управления системным таймером         ||
167 1 krufter_multiclet
|| IHOOKADDR    || 07    || R/W   || Регистр первичного обработчика прерываний     ||
168 1 krufter_multiclet
|| INTNUMR      || 08    || R     || Регистр номера прерывания                     ||
169 1 krufter_multiclet
|| MODR         || 09    || R/W   || Регистр маски модификации индексных регистров ||
170 1 krufter_multiclet
171 1 krufter_multiclet
172 1 krufter_multiclet
h3. == Память ==
173 1 krufter_multiclet
174 1 krufter_multiclet
Единицей адресации памяти данных является байт, размером 8 бит.
175 1 krufter_multiclet
Адресация по всем блокам памяти данных сквозная.
176 1 krufter_multiclet
При этом аппаратно чтение данных выравнено на 64 бита.
177 1 krufter_multiclet
При вычитывании данных пересекающих границу выравнивания чтение выполняется в "два приема" (сказывается на быстродействии).
178 1 krufter_multiclet
179 1 krufter_multiclet
Многобайтные значения в памяти данных располагаются в порядке от старшего байта к младшему (little-endian).
180 1 krufter_multiclet
181 1 krufter_multiclet
Единицей адресации памяти команд является 64 бита.
182 1 krufter_multiclet
Адресация памяти команд блочная.
183 1 krufter_multiclet
С программной точки зрения значение метки одинаково во всех блоках.
184 1 krufter_multiclet
185 1 krufter_multiclet
Значения в блоке памяти команд располагаются в порядке от младшего байта к старшему (big-endian).
186 1 krufter_multiclet
187 1 krufter_multiclet
188 1 krufter_multiclet
*== Таблица команд ==*
189 1 krufter_multiclet
190 1 krufter_multiclet
Большинство инструкций формируют результат, сохраняемый в коммутаторе.
191 1 krufter_multiclet
Размер значения результата соответствует размеру коммутатора -- 64 бит.
192 1 krufter_multiclet
193 1 krufter_multiclet
Результат нагружен значениями флагов:
194 1 krufter_multiclet
|| '''№ бита''' || '''Флаг''' || '''Перевод''' || '''Описание''' ||
195 1 krufter_multiclet
|| 64 || ZF (Zero Flag)     || Флаг нуля         || Результат нулевой. ||
196 1 krufter_multiclet
|| 65 || OF (Overflow Flag) || Флаг переполнения || Потеря значащего бита. ||
197 1 krufter_multiclet
|| 66 || CF (Carry Flag)    || Флаг переноса     || Операция произвела перенос из старшего бита результата. ||
198 1 krufter_multiclet
|| 67 || SF (Sign Flag)     || Флаг знака        || Состояние старшего бита результата. ||
199 1 krufter_multiclet
200 1 krufter_multiclet
201 1 krufter_multiclet
Флаги могут иметь значение не для каждой операции.
202 1 krufter_multiclet
В таблице команд приведены значения флагов, которые имеют значение.
203 1 krufter_multiclet
204 1 krufter_multiclet
Обозначения, используемые в таблице команд:
205 1 krufter_multiclet
 - Все числа представлены в двоичной системе;
206 1 krufter_multiclet
 - Рядом с двоичным значением кода операции в скобочках дано десятичное значение;
207 1 krufter_multiclet
 - Если число или цифра не используется то на ее знакоместе стоит знак '-';
208 1 krufter_multiclet
 - Если цифра в числе может принимать любое значение, на ее знакоместе стоит знак 'x';
209 1 krufter_multiclet
 - В колонке флаги результата (Result Flags) перечислены флаги которые вырабатывает инструкция или которые она сохраняет.
210 1 krufter_multiclet
   Т.е. эти флаги, как характеристики значения результата, имеют смысл.
211 1 krufter_multiclet
 - Примечания, помеченные символом '*' для не реализованных в аппаратуре типов приведены для общности.
212 1 krufter_multiclet
213 1 krufter_multiclet
214 1 krufter_multiclet
h3. === Инструкции работы с памятью ===
215 1 krufter_multiclet
216 1 krufter_multiclet
||     || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||
217 1 krufter_multiclet
|| || || || || || || || ||
218 1 krufter_multiclet
|| rd  || 100001 (33) || xx     || 00xx || 000000 || xxxxxx || ZF SF       || Считывается столько бит сколько определено размером типа. Старшие биты нули. ||
219 1 krufter_multiclet
||     ||             || xx     || 1000 || 000000 || xxxxxx || ZF SF       || Считываются 8 бит.  7 бит распространяется в старшие. ||
220 1 krufter_multiclet
||     ||             || xx     || 1001 || 000000 || xxxxxx || ZF SF       || *Считываются 16 бит. 15 бит распространяется в старшие. ||
221 1 krufter_multiclet
||     ||             || xx     || 1010 || 000000 || xxxxxx || ZF SF       || Считывается 32 бита. 31 бит распространяется в старшие. ||
222 1 krufter_multiclet
||     ||             || xx     || 1011 || 000000 || xxxxxx || ZF SF       || Считывается 64 бита. ||
223 1 krufter_multiclet
||     ||             || xx     || 1100 || 000000 || xxxxxx || ZF SF       || Старшие биты результата расширяются нулем. ||
224 1 krufter_multiclet
||     ||             || xx     || 1101 || 000000 || xxxxxx || ZF SF       || *Старшие биты результата расширяются нулем. ||
225 1 krufter_multiclet
||     ||             || xx     || 11xx || 000000 || xxxxxx || ZF          || Считывается 64 бита. ||
226 1 krufter_multiclet
|| wr  || 100010 (34) || xx     || xxxx || xxxxxx || xxxxxx || -- -- -- -- || Записывается столько бит сколько определено размером типа.||
227 1 krufter_multiclet
228 1 krufter_multiclet
 __wr__::
229 1 krufter_multiclet
 Поле F1 никогда не может быть равной нулю.
230 1 krufter_multiclet
 __wr__ в отличии от большинства других команд НЕ возвращают значение операнда (оптимизация выполнения).
231 1 krufter_multiclet
232 1 krufter_multiclet
233 1 krufter_multiclet
h3. === Инструкции работы с регистрами ===
234 1 krufter_multiclet
235 1 krufter_multiclet
||     || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||
236 1 krufter_multiclet
|| || || || || || || || ||
237 1 krufter_multiclet
|| exa || 000010 (02) || 01     || 0010 || 000000 || xxxxxx || ZF          || Исполнительный адрес, сформированный индексным регистром. ||
238 1 krufter_multiclet
||     ||             || 11     || 0010 || 000000 || xxxxxx || ZF          || Исполнительный адрес, сформированный индексным регистром с полем V. ||
239 1 krufter_multiclet
|| get || 000011 (03) || xx     || 00xx || 000000 || xxxxxx || ZF SF       || Значение обрезается до размера типа. Старшие биты нули. ||
240 1 krufter_multiclet
||     ||             || xx     || 10xx || 000000 || xxxxxx || ZF SF       || Значение обрезается до размера типа. Распространение знакового бита типа. ||
241 1 krufter_multiclet
||     ||             || xx     || 1100 || 000000 || xxxxxx || ZF SF       || Загрузка значения. Старшие биты нули. ||
242 1 krufter_multiclet
||     ||             || xx     || 11xx || 000000 || xxxxxx || ZF          || Загрузка значения. ||
243 1 krufter_multiclet
|| set || 000100 (04) || 00     || 0011 || xxxxxx || xxxxxx || -- -- -- -- || Пересылка значения коммутатора в регистр. ||
244 1 krufter_multiclet
||     ||             || 01     || 0011 || xxxxxx || xxxxxx || -- -- -- -- || Пересылка значения регистра в регистр. ||
245 1 krufter_multiclet
||     ||             || 10     || 0010 || xxxxxx || 000000 || -- -- -- -- || Запись беззнаковой константы в регистр. Старшие биты нули. ||
246 1 krufter_multiclet
||     ||             ||        || 1010 || xxxxxx || 000000 || -- -- -- -- || Запись знаковой константы в регистр. Распространение знакового бита типа. ||
247 1 krufter_multiclet
248 1 krufter_multiclet
249 1 krufter_multiclet
 __exa__::
250 1 krufter_multiclet
 В качестве операнда имеет смысл только индексный регистр.
251 1 krufter_multiclet
252 1 krufter_multiclet
 __set__::
253 1 krufter_multiclet
 Интерпретация значения поля F1 отличается от интерпретации, используемой для других инструкций.
254 1 krufter_multiclet
 Значением поля F1 является индекс регистра в который записывается значение, сформированное при интерпретации значений поля F2 и/или V.
255 1 krufter_multiclet
 В отличии от большинства других команд НЕ возвращают значение операнда (оптимизация выполнения).
256 1 krufter_multiclet
257 1 krufter_multiclet
 __get__::
258 1 krufter_multiclet
 Во всех случаях происходит преобразование типа и/или выставление флагов заново.
259 1 krufter_multiclet
 При формировании значения аргумента инструкция не обращается к памяти данных.
260 1 krufter_multiclet
 Формат команды с суффиксом 11 не имеет смысла, т.к. для этого используется __exa__.
261 1 krufter_multiclet
 Инструкцию можно использовать для преобразования размеров значения целочисленного типа.
262 1 krufter_multiclet
263 1 krufter_multiclet
Прочтение мнемокода инструкций:
264 1 krufter_multiclet
|| exa || EXecutive Address ||
265 1 krufter_multiclet
266 1 krufter_multiclet
h3. === Арифметические инструкции ===
267 1 krufter_multiclet
268 1 krufter_multiclet
||       || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||
269 1 krufter_multiclet
|| || || || || || || || ||
270 1 krufter_multiclet
|| add   || 000101 (05) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Сложение целочисленное. ||
271 1 krufter_multiclet
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Сложение.  ||
272 1 krufter_multiclet
|| sub   || 000110 (06) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Вычитание целочисленное. ||
273 1 krufter_multiclet
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Вычитание.  ||
274 1 krufter_multiclet
|| mul   || 000111 (07) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF==OF || Умножение целочисленное. ||
275 1 krufter_multiclet
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Умножение. ||
276 1 krufter_multiclet
|| adc   || 001000 (08) || 00     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Сложение с переносом. ||
277 1 krufter_multiclet
|| sbb   || 001001 (09) || 00     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Вычитание с заемом. ||
278 1 krufter_multiclet
|| insub || 001010 (10) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Обратное вычитание целочисленное. ||
279 1 krufter_multiclet
||       ||             || xx     || 11xx || xxxxxx || xxxxxx || ZF SF    OF  || Обратное вычитание. ||
280 1 krufter_multiclet
|| div   || 001011 (11) || xx     || 1100 || xxxxxx || xxxxxx || ZF SF    OF  || Деление.  ||
281 1 krufter_multiclet
|| sqrt  || 001100 (12) || xx     || 1100 || 000000 || xxxxxx || ZF SF    OF  || Извлечение квадратного корня.  ||
282 1 krufter_multiclet
|| max   || 001101 (13) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF        || Выбор наибольшего для целочисленных типов. ||
283 1 krufter_multiclet
||       ||             || xx     || 110x || xxxxxx || xxxxxx || ZF SF    OF  || Выбор наибольшего для float. ||
284 1 krufter_multiclet
|| min   || 001110 (14) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF        || Выбор наименьшего. ||
285 1 krufter_multiclet
||       ||             || xx     || 110x || xxxxxx || xxxxxx || ZF SF    OF  || Выбор наименьшего для float. ||
286 1 krufter_multiclet
|| abs   || 001111 (15) || xx     || 1000 || 000000 || xxxxxx || ZF       OF  || Абсолютное значение знакового байта. ||
287 1 krufter_multiclet
||       ||             || xx     || 1010 || 000000 || xxxxxx || ZF       OF  || Абсолютное значение знакового слова. ||
288 1 krufter_multiclet
||       ||             || xx     || 1100 || 000000 || xxxxxx || ZF           || Абсолютное значение float. ||
289 1 krufter_multiclet
290 1 krufter_multiclet
Пояснение:
291 1 krufter_multiclet
 - Арифметических операций для типов 0011 (unsigned dword), 1011 (dword) не существует.
292 1 krufter_multiclet
 - Для инструкций в формате AV значение поля V преобразуется к типу операции по правилам для инструкций __set__.
293 1 krufter_multiclet
 - Поле F1  не может быть нулем, если не оговорено особо.
294 1 krufter_multiclet
295 1 krufter_multiclet
Инструкции __adc__, __sbb__ используют в качестве операндов арифметической операции значение '''второго''' аргумента и значение флага CF '''первого''' аргумента.
296 1 krufter_multiclet
297 1 krufter_multiclet
Значения флагов CF и OF вычисляются на разрядной сетке типа инструкции.
298 1 krufter_multiclet
Например, флаг сдвига (CF) для байтного сложения выставляется при переносе единицы из 7-ого бита результата в 8-ой.
299 1 krufter_multiclet
300 1 krufter_multiclet
Для инструкции умножения __mul__ если размер результата получился больше чем размер операнда выставляются оба влага CF и OF.
301 1 krufter_multiclet
302 1 krufter_multiclet
Прочтение мнемокода инструкций:
303 1 krufter_multiclet
|| adc   || ADdition with Carry Flag ||
304 1 krufter_multiclet
|| sbb   || !SuBtract with Barrow (Carry Flag) ||
305 1 krufter_multiclet
|| insub || INversion SUBtract    ||
306 1 krufter_multiclet
307 1 krufter_multiclet
h3. === Логические и побитовые инструкции ===
308 1 krufter_multiclet
309 1 krufter_multiclet
||          || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||
310 1 krufter_multiclet
|| || || || || || || || ||
311 1 krufter_multiclet
|| or       || 010000 (16) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || Логическое сложение ||
312 1 krufter_multiclet
|| and      || 010001 (17) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || Логическое умножение ||
313 1 krufter_multiclet
|| xor      || 010010 (18) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || Сложение по mod2 ||
314 1 krufter_multiclet
|| not      || 010011 (19) || xx     || 0011 || 000000 || xxxxxx || ZF           || Отрицание ||
315 1 krufter_multiclet
|| || || || || || || || ||
316 1 krufter_multiclet
|| norm     || 010100 (20) || xx     || 10xx || 000000 || xxxxxx || ZF           || Возвращает значение используемое при нормализации числа с фиксированной точкой. ||
317 1 krufter_multiclet
|| pack     || 010101 (21) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || ||
318 1 krufter_multiclet
|| patch    || 010110 (22) || xx     || 0011 || xxxxxx || xxxxxx || ZF           || ||
319 1 krufter_multiclet
|| || || || || || || || ||
320 1 krufter_multiclet
|| sll, sal || 011000 (24) || xx     || x0xx || xxxxxx || xxxxxx || ZF SF CF OF  || Логический/арифметический сдвиг влево ||
321 1 krufter_multiclet
|| slr      || 011001 (25) || xx     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Логический сдвиг вправо ||
322 1 krufter_multiclet
|| sar      || 011011 (27) || xx     || 10xx || xxxxxx || xxxxxx || ZF SF CF OF  || Арифметический сдвиг вправо ||
323 1 krufter_multiclet
|| rol      || 011100 (28) || xx     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Циклический сдвиг влево ||
324 1 krufter_multiclet
|| ror      || 011101 (29) || xx     || 00xx || xxxxxx || xxxxxx || ZF SF CF OF  || Циклический сдвиг вправо ||
325 1 krufter_multiclet
326 1 krufter_multiclet
'''Примечание''':
327 1 krufter_multiclet
 COP формата '''011'''xxx зарезервирован для реализации инструкций сдвигов и переходов (см. ниже).
328 1 krufter_multiclet
329 1 krufter_multiclet
Пояснение:
330 1 krufter_multiclet
 - Инструкции __or__, __and__, __xor__, __not__ реализованы для внутреннего представления (64 бита).
331 1 krufter_multiclet
 - Инструкции __shl__ и __sal__ реализованы одинаково, различие в знаковости типа операции можно пренебречь.
332 1 krufter_multiclet
333 1 krufter_multiclet
Все инструкции сдвига выставляют флаги CF и OF. (Далее используется: MSB - Most Significant Bit).
334 1 krufter_multiclet
335 1 krufter_multiclet
Флаг CF равен выдвигаемому биту.
336 1 krufter_multiclet
337 1 krufter_multiclet
Флаг OF определен если сдвиг на один разряд.
338 1 krufter_multiclet
339 1 krufter_multiclet
SLL, SAL, ROL, ROR::
340 1 krufter_multiclet
 OF <- 0 if (CF == MSB), т.е. два старших бита операнда были одинаковы.
341 1 krufter_multiclet
 OF <- 1 if (CF != MSB), т.е. два старших бита операнда были различны.
342 1 krufter_multiclet
SAR::
343 1 krufter_multiclet
 OF <- 0
344 1 krufter_multiclet
SLR::
345 1 krufter_multiclet
 OF <- MSB_первоначального_операнда
346 1 krufter_multiclet
347 1 krufter_multiclet
Прочтение мнемокода инструкций:
348 1 krufter_multiclet
|| sll   || Shift Logical Left||
349 1 krufter_multiclet
|| slr   || Shift Logical Right ||
350 1 krufter_multiclet
|| sal   || Shift Arithmetic Left ||
351 1 krufter_multiclet
|| sar   || Shift Arithmetic Right ||
352 1 krufter_multiclet
|| rol   || ROtate Left ||
353 1 krufter_multiclet
|| ror   || ROtate Right ||
354 1 krufter_multiclet
|| bsr   || Bit Scan Reverse ||
355 1 krufter_multiclet
356 1 krufter_multiclet
h3. === Инструкции передачи управления ===
357 1 krufter_multiclet
358 1 krufter_multiclet
||          || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание || Условие перехода || Применимость ||
359 1 krufter_multiclet
|| || || || || || || || || ||
360 1 krufter_multiclet
|| jmp      || 011110 (30) || xx     || 0000 || 000000 || xxxxxx || -- -- -- --  ||            || Безусловный || не значимо ||
361 1 krufter_multiclet
|| || || || || || || || || ||
362 1 krufter_multiclet
|| je       || 011110 (30) || xx     || 0001 || xxxxxx || xxxxxx || -- -- -- --  || `V1 == V2` || ZF == 1              || все       ||
363 1 krufter_multiclet
|| jne      || 011110 (30) || xx     || 0010 || xxxxxx || xxxxxx || -- -- -- --  || `V1 != V2` || ZF == 0              || все       ||
364 1 krufter_multiclet
|| js       || 011110 (30) || xx     || 1000 || xxxxxx || xxxxxx || -- -- -- --  ||            || SF == 1              || не значимо ||
365 1 krufter_multiclet
|| jns      || 011110 (30) || xx     || 1001 || xxxxxx || xxxxxx || -- -- -- --  ||            || SF == 0              || не значимо ||
366 1 krufter_multiclet
|| jo       || 011110 (30) || xx     || 1010 || xxxxxx || xxxxxx || -- -- -- --  ||            || OF == 1              || не значимо ||
367 1 krufter_multiclet
|| jno      || 011110 (30) || xx     || 1011 || xxxxxx || xxxxxx || -- -- -- --  ||            || OF == 0              || не значимо ||
368 1 krufter_multiclet
|| || || || || || || || || ||
369 1 krufter_multiclet
|| jb, jc   || 011110 (30) || xx     || 0100 || xxxxxx || xxxxxx || -- -- -- --  || `U1 <  U2` || CF == 1              || без знака ||
370 1 krufter_multiclet
|| jbe      || 011110 (30) || xx     || 0101 || xxxxxx || xxxxxx || -- -- -- --  || `U1 <= U2` || CF == 1 or  ZF == 1  || без знака ||
371 1 krufter_multiclet
|| ja       || 011110 (30) || xx     || 0110 || xxxxxx || xxxxxx || -- -- -- --  || `U1 >  U2` || CF == 0 and ZF == 0  || без знака ||
372 1 krufter_multiclet
|| jae, jnc || 011110 (30) || xx     || 0111 || xxxxxx || xxxxxx || -- -- -- --  || `U1 >= U2` || CF == 0              || без знака ||
373 1 krufter_multiclet
|| || || || || || || || || ||
374 1 krufter_multiclet
|| jl       || 011110 (30) || xx     || 1100 || xxxxxx || xxxxxx || -- -- -- --  || `S1 <  S2` || SF != OF             || со знаком ||
375 1 krufter_multiclet
|| jle      || 011110 (30) || xx     || 1101 || xxxxxx || xxxxxx || -- -- -- --  || `S1 <= S2` || SF != OF or  ZF == 1 || со знаком ||
376 1 krufter_multiclet
|| jg       || 011110 (30) || xx     || 1110 || xxxxxx || xxxxxx || -- -- -- --  || `S1 >  S2` || SF == OF and ZF == 0 || со знаком ||
377 1 krufter_multiclet
|| jge      || 011110 (30) || xx     || 1111 || xxxxxx || xxxxxx || -- -- -- --  || `S1 >= S2` || SF == OF             || со знаком ||
378 1 krufter_multiclet
379 1 krufter_multiclet
Пояснение:
380 1 krufter_multiclet
381 1 krufter_multiclet
Все инструкции условного перехода в отличии от большинства других команд НЕ возвращают значение операнда (оптимизация выполнения).
382 1 krufter_multiclet
383 1 krufter_multiclet
Прочтение мнемокода инструкций:
384 1 krufter_multiclet
|| je   || Jump if Equal             ||
385 1 krufter_multiclet
|| jne  || Jump if Not Equal         ||
386 1 krufter_multiclet
|| || ||
387 1 krufter_multiclet
|| jb   || Jump if Below             ||
388 1 krufter_multiclet
|| jbe  || Jump if Below and Equal   ||
389 1 krufter_multiclet
|| ja   || Jump if Above             ||
390 1 krufter_multiclet
|| jae  || Jump if Above and Equal   ||
391 1 krufter_multiclet
|| || ||
392 1 krufter_multiclet
|| jl   || Jump if Less              ||
393 1 krufter_multiclet
|| jle  || Jump if Less and Equal    ||
394 1 krufter_multiclet
|| jg   || Jump if Greater           ||
395 1 krufter_multiclet
|| jge  || Jump if Greater and Equal ||
396 1 krufter_multiclet
397 1 krufter_multiclet
h3. === Инструкции преобразования типов ===
398 1 krufter_multiclet
399 1 krufter_multiclet
||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||
400 1 krufter_multiclet
|| || || || || || || || ||
401 1 krufter_multiclet
|| cwf  || 111000 (56) || xx     || 1100 || 000000 || xxxxxx || ZF    CF OF || Преобразование word -> float ||
402 1 krufter_multiclet
|| cswf || 111010 (58) || xx     || 1100 || 000000 || xxxxxx || ZF SF CF OF || Преобразование signed word -> float ||
403 1 krufter_multiclet
|| cfsw || 111011 (59) || xx     || 1010 || 000000 || xxxxxx || ZF SF CF OF || Преобразование float -> signed word ||
404 1 krufter_multiclet
405 1 krufter_multiclet
Значения флагов CF, OF необходимо уточнить по признакам, выставляемым алгоритмом преобразования.
406 1 krufter_multiclet
407 1 krufter_multiclet
Прочтение мнемокода инструкций:
408 1 krufter_multiclet
|| cwf  || Convert Word to Float        ||
409 1 krufter_multiclet
|| cswf || Convert Signed Word to Float ||
410 1 krufter_multiclet
|| cfsw || Convert Float to Signed Word ||
411 1 krufter_multiclet
412 1 krufter_multiclet
413 1 krufter_multiclet
h3. === Мультимедийные инструкции (MMC MultiMedia Command) ===
414 1 krufter_multiclet
415 1 krufter_multiclet
Мультимедийные команды выполняются над упакованными значениями.
416 1 krufter_multiclet
В данной группе команд TOP может не совпадать с типом результата.
417 1 krufter_multiclet
418 1 krufter_multiclet
||      || COP         || Suffix || TOP  || F1     || F2     || Result Flags || Примечание ||
419 1 krufter_multiclet
|| || || || || || || || ||
420 1 krufter_multiclet
|| madd || 110001 (49) || xx     || 1110 || xxxxxx || xxxxxx || ZF SF    OF  || Упакованное умножение со сложением. ||
421 1 krufter_multiclet
422 1 krufter_multiclet
 '''madd'''::
423 1 krufter_multiclet
 Для двух упакованных чисел [a,b] [c,d] выполняет операцию: r = a*c + b*d.
424 1 krufter_multiclet
 Флаги выставляются аналогично инструкции __add__ с типом float.
425 1 krufter_multiclet
426 1 krufter_multiclet
Прочтение мнемокода инструкций:
427 1 krufter_multiclet
|| madd || packed Multiply and ADD ||