Я переписываю свой ассемблер. В то время как в этом мне также интересно реализовать демонтаж. Я хочу сделать его простым и компактным, и там понятия, которые я могу использовать при этом.
Можно определить остальную часть кодировки команд x86 из кода операции (может быть, бит префикса тоже требуется). Я знаю, что многие люди пишут таблицы для этого.
Меня не интересуют мнемоники, но кодировка команд, потому что это настоящая трудная проблема. Для каждого номера опкода мне нужно знать:
- содержит ли эта инструкция modrm?
- сколько непосредственных полей имеет эта инструкция?
- какое кодирование используется немедленно?
- является непосредственным в поле директивным указателем-относительным адресом?
- Какие регистры использует modrm для полей операнда и регистра?
sandpile.org имеет несколько довольно много, что мне нужно, но это в формате, который нелегко разобрать.
Прежде чем начать писать и проверять эти таблицы самостоятельно, я решил написать этот вопрос. Вы знаете о существующих таблицах? В форме, которая не требует слишком больших усилий для синтаксического анализа.
b byte
w word
v word or dword (or qword), depends on operand size attribute (0x66)
z word or dword (or dword), depends on operand size attribute
J instruction-relative address (next character describes type)
G instruction group, has modrm-field (next character describes operand type)
R has modrm-field (next two characters describe register and operand type)
M modrm, but operand field must point to memory
O direct offset (next character describes type)
F FPU
T separate table
_ defined, but no arguments
x 0 1 2 3 4 5 6 7 8 9 A B C D E F
0 Rbb Rvv Rbb Rvv b z Rbb Rvv Rbb Rvv b z T
1 Rbb Rvv Rbb Rvv b z Rbb Rvv Rbb Rvv b z
2 Rbb Rvv Rbb Rvv b z Rbb Rvv Rbb Rvv b z
3 Rbb Rvv Rbb Rvv b z Rbb Rvv Rbb Rvv b z
4 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
5 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
6 _ _ Mvv z Rvvz b Rvvb
7 Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb Jb
8 Gbb Gvz Gbb Gvb Rbb Rvv Rbb Rvv Rbb Rvv Rbb Rvv Mvv
9 _ _ _ _ _ _ _ _ _ _ _ _
A Ob Ov Ob Ov _ _ _ _ b z _ _ _ _ _ _
B b b b b b b b b v v v v v v v v
C Gbb Gvb w _ _ b _ _
D Gb Gv Gb Gv F F F F F F F F
E Jz Jz Jb
F _ _ Gb Gv _ _ _ _ _ _ Gb Gv
Здесь у меня есть таблица для первого операнда. Формат таков, что таблица может быть проанализирована прямо из текстового файла, который содержит его. Я оставил некоторые инструкции CISC и связанные с сегментацией.
Для двухбайтовых инструкций мне нужны четыре таких таблицы. Для трехбайтовых инструкций мне понадобятся еще две таблицы. Инструкции FPU требуют 8 таблиц, которые, к счастью, очень просты. После этого у меня будет довольно большой кусок инструкций x86. Хотя я прекрасно разбираюсь только в одной или двух таблицах.
Кроме того, нескольким группам команд могут потребоваться некоторые небольшие массивы для распознавания типа инструкции.