Система команд(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 || |