Project

General

Profile

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

krufter_multiclet, 05/12/2015 12:27 PM

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