1 /*-
2 * Mach Operating System
3 * Copyright (c) 1991,1990 Carnegie Mellon University
4 * All Rights Reserved.
5 *
6 * Permission to use, copy, modify and distribute this software and its
7 * documentation is hereby granted, provided that both the copyright
8 * notice and this permission notice appear in all copies of the
9 * software, derivative works or modified versions, and any portions
10 * thereof, and that both notices appear in supporting documentation.
11 *
12 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
13 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
14 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
15 *
16 * Carnegie Mellon requests users of this software to return to
17 *
18 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
19 * School of Computer Science
20 * Carnegie Mellon University
21 * Pittsburgh PA 15213-3890
22 *
23 * any improvements or extensions that they make and grant Carnegie the
24 * rights to redistribute these changes.
25 */
26
27 #include <sys/cdefs.h>
28 __FBSDID("$FreeBSD: releng/6.1/sys/amd64/amd64/db_disasm.c 158179 2006-04-30 16:44:43Z cvs2svn $");
29
30 /*
31 * Instruction disassembler.
32 */
33 #include <sys/param.h>
34
35 #include <ddb/ddb.h>
36 #include <ddb/db_access.h>
37 #include <ddb/db_sym.h>
38
39 /*
40 * Size attributes
41 */
42 #define BYTE 0
43 #define WORD 1
44 #define LONG 2
45 #define QUAD 3
46 #define SNGL 4
47 #define DBLR 5
48 #define EXTR 6
49 #define SDEP 7
50 #define NONE 8
51
52 /*
53 * REX prefix and bits
54 */
55 #define REX_B 1
56 #define REX_X 2
57 #define REX_R 4
58 #define REX_W 8
59 #define REX 0x40
60
61 /*
62 * Addressing modes
63 */
64 #define E 1 /* general effective address */
65 #define Eind 2 /* indirect address (jump, call) */
66 #define Ew 3 /* address, word size */
67 #define Eb 4 /* address, byte size */
68 #define R 5 /* register, in 'reg' field */
69 #define Rw 6 /* word register, in 'reg' field */
70 #define Ri 7 /* register in instruction */
71 #define S 8 /* segment reg, in 'reg' field */
72 #define Si 9 /* segment reg, in instruction */
73 #define A 10 /* accumulator */
74 #define BX 11 /* (bx) */
75 #define CL 12 /* cl, for shifts */
76 #define DX 13 /* dx, for IO */
77 #define SI 14 /* si */
78 #define DI 15 /* di */
79 #define CR 16 /* control register */
80 #define DR 17 /* debug register */
81 #define TR 18 /* test register */
82 #define I 19 /* immediate, unsigned */
83 #define Is 20 /* immediate, signed */
84 #define Ib 21 /* byte immediate, unsigned */
85 #define Ibs 22 /* byte immediate, signed */
86 #define Iw 23 /* word immediate, unsigned */
87 #define O 25 /* direct address */
88 #define Db 26 /* byte displacement from EIP */
89 #define Dl 27 /* long displacement from EIP */
90 #define o1 28 /* constant 1 */
91 #define o3 29 /* constant 3 */
92 #define OS 30 /* immediate offset/segment */
93 #define ST 31 /* FP stack top */
94 #define STI 32 /* FP stack */
95 #define X 33 /* extended FP op */
96 #define XA 34 /* for 'fstcw %ax' */
97 #define El 35 /* address, long/quad size */
98 #define Ril 36 /* long register in instruction */
99 #define Iba 37 /* byte immediate, don't print if 0xa */
100 #define EL 38 /* address, explicitly long size */
101
102 struct inst {
103 const char * i_name; /* name */
104 short i_has_modrm; /* has regmodrm byte */
105 short i_size; /* operand size */
106 int i_mode; /* addressing modes */
107 const void * i_extra; /* pointer to extra opcode table */
108 };
109
110 #define op1(x) (x)
111 #define op2(x,y) ((x)|((y)<<8))
112 #define op3(x,y,z) ((x)|((y)<<8)|((z)<<16))
113
114 struct finst {
115 const char * f_name; /* name for memory instruction */
116 int f_size; /* size for memory instruction */
117 int f_rrmode; /* mode for rr instruction */
118 const void * f_rrname; /* name for rr instruction
119 (or pointer to table) */
120 };
121
122 static const char * const db_Grp6[] = {
123 "sldt",
124 "str",
125 "lldt",
126 "ltr",
127 "verr",
128 "verw",
129 "",
130 ""
131 };
132
133 static const char * const db_Grp7[] = {
134 "sgdt",
135 "sidt",
136 "lgdt",
137 "lidt",
138 "smsw",
139 "",
140 "lmsw",
141 "invlpg"
142 };
143
144 static const char * const db_Grp8[] = {
145 "",
146 "",
147 "",
148 "",
149 "bt",
150 "bts",
151 "btr",
152 "btc"
153 };
154
155 static const char * const db_Grp9[] = {
156 "",
157 "cmpxchg8b",
158 "",
159 "",
160 "",
161 "",
162 "",
163 ""
164 };
165
166 static const struct inst db_inst_0f0x[] = {
167 /*00*/ { "", TRUE, NONE, op1(Ew), db_Grp6 },
168 /*01*/ { "", TRUE, NONE, op1(Ew), db_Grp7 },
169 /*02*/ { "lar", TRUE, LONG, op2(E,R), 0 },
170 /*03*/ { "lsl", TRUE, LONG, op2(E,R), 0 },
171 /*04*/ { "", FALSE, NONE, 0, 0 },
172 /*05*/ { "", FALSE, NONE, 0, 0 },
173 /*06*/ { "clts", FALSE, NONE, 0, 0 },
174 /*07*/ { "", FALSE, NONE, 0, 0 },
175
176 /*08*/ { "invd", FALSE, NONE, 0, 0 },
177 /*09*/ { "wbinvd",FALSE, NONE, 0, 0 },
178 /*0a*/ { "", FALSE, NONE, 0, 0 },
179 /*0b*/ { "", FALSE, NONE, 0, 0 },
180 /*0c*/ { "", FALSE, NONE, 0, 0 },
181 /*0d*/ { "", FALSE, NONE, 0, 0 },
182 /*0e*/ { "", FALSE, NONE, 0, 0 },
183 /*0f*/ { "", FALSE, NONE, 0, 0 },
184 };
185
186 static const struct inst db_inst_0f2x[] = {
187 /*20*/ { "mov", TRUE, LONG, op2(CR,El), 0 },
188 /*21*/ { "mov", TRUE, LONG, op2(DR,El), 0 },
189 /*22*/ { "mov", TRUE, LONG, op2(El,CR), 0 },
190 /*23*/ { "mov", TRUE, LONG, op2(El,DR), 0 },
191 /*24*/ { "mov", TRUE, LONG, op2(TR,El), 0 },
192 /*25*/ { "", FALSE, NONE, 0, 0 },
193 /*26*/ { "mov", TRUE, LONG, op2(El,TR), 0 },
194 /*27*/ { "", FALSE, NONE, 0, 0 },
195
196 /*28*/ { "", FALSE, NONE, 0, 0 },
197 /*29*/ { "", FALSE, NONE, 0, 0 },
198 /*2a*/ { "", FALSE, NONE, 0, 0 },
199 /*2b*/ { "", FALSE, NONE, 0, 0 },
200 /*2c*/ { "", FALSE, NONE, 0, 0 },
201 /*2d*/ { "", FALSE, NONE, 0, 0 },
202 /*2e*/ { "", FALSE, NONE, 0, 0 },
203 /*2f*/ { "", FALSE, NONE, 0, 0 },
204 };
205
206 static const struct inst db_inst_0f3x[] = {
207 /*30*/ { "wrmsr", FALSE, NONE, 0, 0 },
208 /*31*/ { "rdtsc", FALSE, NONE, 0, 0 },
209 /*32*/ { "rdmsr", FALSE, NONE, 0, 0 },
210 /*33*/ { "rdpmc", FALSE, NONE, 0, 0 },
211 /*34*/ { "", FALSE, NONE, 0, 0 },
212 /*35*/ { "", FALSE, NONE, 0, 0 },
213 /*36*/ { "", FALSE, NONE, 0, 0 },
214 /*37*/ { "", FALSE, NONE, 0, 0 },
215
216 /*38*/ { "", FALSE, NONE, 0, 0 },
217 /*39*/ { "", FALSE, NONE, 0, 0 },
218 /*3a*/ { "", FALSE, NONE, 0, 0 },
219 /*3b*/ { "", FALSE, NONE, 0, 0 },
220 /*3c*/ { "", FALSE, NONE, 0, 0 },
221 /*3d*/ { "", FALSE, NONE, 0, 0 },
222 /*3e*/ { "", FALSE, NONE, 0, 0 },
223 /*3f*/ { "", FALSE, NONE, 0, 0 },
224 };
225
226 static const struct inst db_inst_0f4x[] = {
227 /*40*/ { "cmovo", TRUE, NONE, op2(E, R), 0 },
228 /*41*/ { "cmovno", TRUE, NONE, op2(E, R), 0 },
229 /*42*/ { "cmovb", TRUE, NONE, op2(E, R), 0 },
230 /*43*/ { "cmovnb", TRUE, NONE, op2(E, R), 0 },
231 /*44*/ { "cmovz", TRUE, NONE, op2(E, R), 0 },
232 /*45*/ { "cmovnz", TRUE, NONE, op2(E, R), 0 },
233 /*46*/ { "cmovbe", TRUE, NONE, op2(E, R), 0 },
234 /*47*/ { "cmovnbe",TRUE, NONE, op2(E, R), 0 },
235
236 /*48*/ { "cmovs", TRUE, NONE, op2(E, R), 0 },
237 /*49*/ { "cmovns", TRUE, NONE, op2(E, R), 0 },
238 /*4a*/ { "cmovp", TRUE, NONE, op2(E, R), 0 },
239 /*4b*/ { "cmovnp", TRUE, NONE, op2(E, R), 0 },
240 /*4c*/ { "cmovl", TRUE, NONE, op2(E, R), 0 },
241 /*4d*/ { "cmovnl", TRUE, NONE, op2(E, R), 0 },
242 /*4e*/ { "cmovle", TRUE, NONE, op2(E, R), 0 },
243 /*4f*/ { "cmovnle",TRUE, NONE, op2(E, R), 0 },
244 };
245
246 static const struct inst db_inst_0f8x[] = {
247 /*80*/ { "jo", FALSE, NONE, op1(Dl), 0 },
248 /*81*/ { "jno", FALSE, NONE, op1(Dl), 0 },
249 /*82*/ { "jb", FALSE, NONE, op1(Dl), 0 },
250 /*83*/ { "jnb", FALSE, NONE, op1(Dl), 0 },
251 /*84*/ { "jz", FALSE, NONE, op1(Dl), 0 },
252 /*85*/ { "jnz", FALSE, NONE, op1(Dl), 0 },
253 /*86*/ { "jbe", FALSE, NONE, op1(Dl), 0 },
254 /*87*/ { "jnbe", FALSE, NONE, op1(Dl), 0 },
255
256 /*88*/ { "js", FALSE, NONE, op1(Dl), 0 },
257 /*89*/ { "jns", FALSE, NONE, op1(Dl), 0 },
258 /*8a*/ { "jp", FALSE, NONE, op1(Dl), 0 },
259 /*8b*/ { "jnp", FALSE, NONE, op1(Dl), 0 },
260 /*8c*/ { "jl", FALSE, NONE, op1(Dl), 0 },
261 /*8d*/ { "jnl", FALSE, NONE, op1(Dl), 0 },
262 /*8e*/ { "jle", FALSE, NONE, op1(Dl), 0 },
263 /*8f*/ { "jnle", FALSE, NONE, op1(Dl), 0 },
264 };
265
266 static const struct inst db_inst_0f9x[] = {
267 /*90*/ { "seto", TRUE, NONE, op1(Eb), 0 },
268 /*91*/ { "setno", TRUE, NONE, op1(Eb), 0 },
269 /*92*/ { "setb", TRUE, NONE, op1(Eb), 0 },
270 /*93*/ { "setnb", TRUE, NONE, op1(Eb), 0 },
271 /*94*/ { "setz", TRUE, NONE, op1(Eb), 0 },
272 /*95*/ { "setnz", TRUE, NONE, op1(Eb), 0 },
273 /*96*/ { "setbe", TRUE, NONE, op1(Eb), 0 },
274 /*97*/ { "setnbe",TRUE, NONE, op1(Eb), 0 },
275
276 /*98*/ { "sets", TRUE, NONE, op1(Eb), 0 },
277 /*99*/ { "setns", TRUE, NONE, op1(Eb), 0 },
278 /*9a*/ { "setp", TRUE, NONE, op1(Eb), 0 },
279 /*9b*/ { "setnp", TRUE, NONE, op1(Eb), 0 },
280 /*9c*/ { "setl", TRUE, NONE, op1(Eb), 0 },
281 /*9d*/ { "setnl", TRUE, NONE, op1(Eb), 0 },
282 /*9e*/ { "setle", TRUE, NONE, op1(Eb), 0 },
283 /*9f*/ { "setnle",TRUE, NONE, op1(Eb), 0 },
284 };
285
286 static const struct inst db_inst_0fax[] = {
287 /*a0*/ { "push", FALSE, NONE, op1(Si), 0 },
288 /*a1*/ { "pop", FALSE, NONE, op1(Si), 0 },
289 /*a2*/ { "cpuid", FALSE, NONE, 0, 0 },
290 /*a3*/ { "bt", TRUE, LONG, op2(R,E), 0 },
291 /*a4*/ { "shld", TRUE, LONG, op3(Ib,R,E), 0 },
292 /*a5*/ { "shld", TRUE, LONG, op3(CL,R,E), 0 },
293 /*a6*/ { "", FALSE, NONE, 0, 0 },
294 /*a7*/ { "", FALSE, NONE, 0, 0 },
295
296 /*a8*/ { "push", FALSE, NONE, op1(Si), 0 },
297 /*a9*/ { "pop", FALSE, NONE, op1(Si), 0 },
298 /*aa*/ { "rsm", FALSE, NONE, 0, 0 },
299 /*ab*/ { "bts", TRUE, LONG, op2(R,E), 0 },
300 /*ac*/ { "shrd", TRUE, LONG, op3(Ib,R,E), 0 },
301 /*ad*/ { "shrd", TRUE, LONG, op3(CL,R,E), 0 },
302 /*a6*/ { "", FALSE, NONE, 0, 0 },
303 /*a7*/ { "imul", TRUE, LONG, op2(E,R), 0 },
304 };
305
306 static const struct inst db_inst_0fbx[] = {
307 /*b0*/ { "cmpxchg",TRUE, BYTE, op2(R, E), 0 },
308 /*b0*/ { "cmpxchg",TRUE, LONG, op2(R, E), 0 },
309 /*b2*/ { "lss", TRUE, LONG, op2(E, R), 0 },
310 /*b3*/ { "btr", TRUE, LONG, op2(R, E), 0 },
311 /*b4*/ { "lfs", TRUE, LONG, op2(E, R), 0 },
312 /*b5*/ { "lgs", TRUE, LONG, op2(E, R), 0 },
313 /*b6*/ { "movzb", TRUE, LONG, op2(Eb, R), 0 },
314 /*b7*/ { "movzw", TRUE, LONG, op2(Ew, R), 0 },
315
316 /*b8*/ { "", FALSE, NONE, 0, 0 },
317 /*b9*/ { "", FALSE, NONE, 0, 0 },
318 /*ba*/ { "", TRUE, LONG, op2(Ib, E), db_Grp8 },
319 /*bb*/ { "btc", TRUE, LONG, op2(R, E), 0 },
320 /*bc*/ { "bsf", TRUE, LONG, op2(E, R), 0 },
321 /*bd*/ { "bsr", TRUE, LONG, op2(E, R), 0 },
322 /*be*/ { "movsb", TRUE, LONG, op2(Eb, R), 0 },
323 /*bf*/ { "movsw", TRUE, LONG, op2(Ew, R), 0 },
324 };
325
326 static const struct inst db_inst_0fcx[] = {
327 /*c0*/ { "xadd", TRUE, BYTE, op2(R, E), 0 },
328 /*c1*/ { "xadd", TRUE, LONG, op2(R, E), 0 },
329 /*c2*/ { "", FALSE, NONE, 0, 0 },
330 /*c3*/ { "", FALSE, NONE, 0, 0 },
331 /*c4*/ { "", FALSE, NONE, 0, 0 },
332 /*c5*/ { "", FALSE, NONE, 0, 0 },
333 /*c6*/ { "", FALSE, NONE, 0, 0 },
334 /*c7*/ { "", TRUE, NONE, op1(E), db_Grp9 },
335 /*c8*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
336 /*c9*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
337 /*ca*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
338 /*cb*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
339 /*cc*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
340 /*cd*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
341 /*ce*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
342 /*cf*/ { "bswap", FALSE, LONG, op1(Ril), 0 },
343 };
344
345 static const struct inst * const db_inst_0f[] = {
346 db_inst_0f0x,
347 0,
348 db_inst_0f2x,
349 db_inst_0f3x,
350 db_inst_0f4x,
351 0,
352 0,
353 0,
354 0,
355 db_inst_0f8x,
356 db_inst_0f9x,
357 db_inst_0fax,
358 db_inst_0fbx,
359 db_inst_0fcx,
360 0,
361 0,
362 0
363 };
364
365 static const char * const db_Esc92[] = {
366 "fnop", "", "", "", "", "", "", ""
367 };
368 static const char * const db_Esc94[] = {
369 "fchs", "fabs", "", "", "ftst", "fxam", "", ""
370 };
371 static const char * const db_Esc95[] = {
372 "fld1", "fldl2t","fldl2e","fldpi","fldlg2","fldln2","fldz",""
373 };
374 static const char * const db_Esc96[] = {
375 "f2xm1","fyl2x","fptan","fpatan","fxtract","fprem1","fdecstp",
376 "fincstp"
377 };
378 static const char * const db_Esc97[] = {
379 "fprem","fyl2xp1","fsqrt","fsincos","frndint","fscale","fsin","fcos"
380 };
381
382 static const char * const db_Esca5[] = {
383 "", "fucompp","", "", "", "", "", ""
384 };
385
386 static const char * const db_Escb4[] = {
387 "fneni","fndisi", "fnclex","fninit","fsetpm", "", "", ""
388 };
389
390 static const char * const db_Esce3[] = {
391 "", "fcompp","", "", "", "", "", ""
392 };
393
394 static const char * const db_Escf4[] = {
395 "fnstsw","", "", "", "", "", "", ""
396 };
397
398 static const struct finst db_Esc8[] = {
399 /**/ { "fadd", SNGL, op2(STI,ST), 0 },
400 /*1*/ { "fmul", SNGL, op2(STI,ST), 0 },
401 /*2*/ { "fcom", SNGL, op2(STI,ST), 0 },
402 /*3*/ { "fcomp", SNGL, op2(STI,ST), 0 },
403 /*4*/ { "fsub", SNGL, op2(STI,ST), 0 },
404 /*5*/ { "fsubr", SNGL, op2(STI,ST), 0 },
405 /*6*/ { "fdiv", SNGL, op2(STI,ST), 0 },
406 /*7*/ { "fdivr", SNGL, op2(STI,ST), 0 },
407 };
408
409 static const struct finst db_Esc9[] = {
410 /**/ { "fld", SNGL, op1(STI), 0 },
411 /*1*/ { "", NONE, op1(STI), "fxch" },
412 /*2*/ { "fst", SNGL, op1(X), db_Esc92 },
413 /*3*/ { "fstp", SNGL, 0, 0 },
414 /*4*/ { "fldenv", NONE, op1(X), db_Esc94 },
415 /*5*/ { "fldcw", NONE, op1(X), db_Esc95 },
416 /*6*/ { "fnstenv",NONE, op1(X), db_Esc96 },
417 /*7*/ { "fnstcw", NONE, op1(X), db_Esc97 },
418 };
419
420 static const struct finst db_Esca[] = {
421 /**/ { "fiadd", LONG, 0, 0 },
422 /*1*/ { "fimul", LONG, 0, 0 },
423 /*2*/ { "ficom", LONG, 0, 0 },
424 /*3*/ { "ficomp", LONG, 0, 0 },
425 /*4*/ { "fisub", LONG, 0, 0 },
426 /*5*/ { "fisubr", LONG, op1(X), db_Esca5 },
427 /*6*/ { "fidiv", LONG, 0, 0 },
428 /*7*/ { "fidivr", LONG, 0, 0 }
429 };
430
431 static const struct finst db_Escb[] = {
432 /**/ { "fild", LONG, 0, 0 },
433 /*1*/ { "", NONE, 0, 0 },
434 /*2*/ { "fist", LONG, 0, 0 },
435 /*3*/ { "fistp", LONG, 0, 0 },
436 /*4*/ { "", WORD, op1(X), db_Escb4 },
437 /*5*/ { "fld", EXTR, 0, 0 },
438 /*6*/ { "", WORD, 0, 0 },
439 /*7*/ { "fstp", EXTR, 0, 0 },
440 };
441
442 static const struct finst db_Escc[] = {
443 /**/ { "fadd", DBLR, op2(ST,STI), 0 },
444 /*1*/ { "fmul", DBLR, op2(ST,STI), 0 },
445 /*2*/ { "fcom", DBLR, 0, 0 },
446 /*3*/ { "fcomp", DBLR, 0, 0 },
447 /*4*/ { "fsub", DBLR, op2(ST,STI), "fsubr" },
448 /*5*/ { "fsubr", DBLR, op2(ST,STI), "fsub" },
449 /*6*/ { "fdiv", DBLR, op2(ST,STI), "fdivr" },
450 /*7*/ { "fdivr", DBLR, op2(ST,STI), "fdiv" },
451 };
452
453 static const struct finst db_Escd[] = {
454 /**/ { "fld", DBLR, op1(STI), "ffree" },
455 /*1*/ { "", NONE, 0, 0 },
456 /*2*/ { "fst", DBLR, op1(STI), 0 },
457 /*3*/ { "fstp", DBLR, op1(STI), 0 },
458 /*4*/ { "frstor", NONE, op1(STI), "fucom" },
459 /*5*/ { "", NONE, op1(STI), "fucomp" },
460 /*6*/ { "fnsave", NONE, 0, 0 },
461 /*7*/ { "fnstsw", NONE, 0, 0 },
462 };
463
464 static const struct finst db_Esce[] = {
465 /**/ { "fiadd", WORD, op2(ST,STI), "faddp" },
466 /*1*/ { "fimul", WORD, op2(ST,STI), "fmulp" },
467 /*2*/ { "ficom", WORD, 0, 0 },
468 /*3*/ { "ficomp", WORD, op1(X), db_Esce3 },
469 /*4*/ { "fisub", WORD, op2(ST,STI), "fsubrp" },
470 /*5*/ { "fisubr", WORD, op2(ST,STI), "fsubp" },
471 /*6*/ { "fidiv", WORD, op2(ST,STI), "fdivrp" },
472 /*7*/ { "fidivr", WORD, op2(ST,STI), "fdivp" },
473 };
474
475 static const struct finst db_Escf[] = {
476 /**/ { "fild", WORD, 0, 0 },
477 /*1*/ { "", NONE, 0, 0 },
478 /*2*/ { "fist", WORD, 0, 0 },
479 /*3*/ { "fistp", WORD, 0, 0 },
480 /*4*/ { "fbld", NONE, op1(XA), db_Escf4 },
481 /*5*/ { "fild", QUAD, 0, 0 },
482 /*6*/ { "fbstp", NONE, 0, 0 },
483 /*7*/ { "fistp", QUAD, 0, 0 },
484 };
485
486 static const struct finst * const db_Esc_inst[] = {
487 db_Esc8, db_Esc9, db_Esca, db_Escb,
488 db_Escc, db_Escd, db_Esce, db_Escf
489 };
490
491 static const char * const db_Grp1[] = {
492 "add",
493 "or",
494 "adc",
495 "sbb",
496 "and",
497 "sub",
498 "xor",
499 "cmp"
500 };
501
502 static const char * const db_Grp2[] = {
503 "rol",
504 "ror",
505 "rcl",
506 "rcr",
507 "shl",
508 "shr",
509 "shl",
510 "sar"
511 };
512
513 static const struct inst db_Grp3[] = {
514 { "test", TRUE, NONE, op2(I,E), 0 },
515 { "test", TRUE, NONE, op2(I,E), 0 },
516 { "not", TRUE, NONE, op1(E), 0 },
517 { "neg", TRUE, NONE, op1(E), 0 },
518 { "mul", TRUE, NONE, op2(E,A), 0 },
519 { "imul", TRUE, NONE, op2(E,A), 0 },
520 { "div", TRUE, NONE, op2(E,A), 0 },
521 { "idiv", TRUE, NONE, op2(E,A), 0 },
522 };
523
524 static const struct inst db_Grp4[] = {
525 { "inc", TRUE, BYTE, op1(E), 0 },
526 { "dec", TRUE, BYTE, op1(E), 0 },
527 { "", TRUE, NONE, 0, 0 },
528 { "", TRUE, NONE, 0, 0 },
529 { "", TRUE, NONE, 0, 0 },
530 { "", TRUE, NONE, 0, 0 },
531 { "", TRUE, NONE, 0, 0 },
532 { "", TRUE, NONE, 0, 0 }
533 };
534
535 static const struct inst db_Grp5[] = {
536 { "inc", TRUE, LONG, op1(E), 0 },
537 { "dec", TRUE, LONG, op1(E), 0 },
538 { "call", TRUE, LONG, op1(Eind),0 },
539 { "lcall", TRUE, LONG, op1(Eind),0 },
540 { "jmp", TRUE, LONG, op1(Eind),0 },
541 { "ljmp", TRUE, LONG, op1(Eind),0 },
542 { "push", TRUE, LONG, op1(E), 0 },
543 { "", TRUE, NONE, 0, 0 }
544 };
545
546 static const struct inst db_inst_table[256] = {
547 /*00*/ { "add", TRUE, BYTE, op2(R, E), 0 },
548 /*01*/ { "add", TRUE, LONG, op2(R, E), 0 },
549 /*02*/ { "add", TRUE, BYTE, op2(E, R), 0 },
550 /*03*/ { "add", TRUE, LONG, op2(E, R), 0 },
551 /*04*/ { "add", FALSE, BYTE, op2(I, A), 0 },
552 /*05*/ { "add", FALSE, LONG, op2(Is, A), 0 },
553 /*06*/ { "push", FALSE, NONE, op1(Si), 0 },
554 /*07*/ { "pop", FALSE, NONE, op1(Si), 0 },
555
556 /*08*/ { "or", TRUE, BYTE, op2(R, E), 0 },
557 /*09*/ { "or", TRUE, LONG, op2(R, E), 0 },
558 /*0a*/ { "or", TRUE, BYTE, op2(E, R), 0 },
559 /*0b*/ { "or", TRUE, LONG, op2(E, R), 0 },
560 /*0c*/ { "or", FALSE, BYTE, op2(I, A), 0 },
561 /*0d*/ { "or", FALSE, LONG, op2(I, A), 0 },
562 /*0e*/ { "push", FALSE, NONE, op1(Si), 0 },
563 /*0f*/ { "", FALSE, NONE, 0, 0 },
564
565 /*10*/ { "adc", TRUE, BYTE, op2(R, E), 0 },
566 /*11*/ { "adc", TRUE, LONG, op2(R, E), 0 },
567 /*12*/ { "adc", TRUE, BYTE, op2(E, R), 0 },
568 /*13*/ { "adc", TRUE, LONG, op2(E, R), 0 },
569 /*14*/ { "adc", FALSE, BYTE, op2(I, A), 0 },
570 /*15*/ { "adc", FALSE, LONG, op2(Is, A), 0 },
571 /*16*/ { "push", FALSE, NONE, op1(Si), 0 },
572 /*17*/ { "pop", FALSE, NONE, op1(Si), 0 },
573
574 /*18*/ { "sbb", TRUE, BYTE, op2(R, E), 0 },
575 /*19*/ { "sbb", TRUE, LONG, op2(R, E), 0 },
576 /*1a*/ { "sbb", TRUE, BYTE, op2(E, R), 0 },
577 /*1b*/ { "sbb", TRUE, LONG, op2(E, R), 0 },
578 /*1c*/ { "sbb", FALSE, BYTE, op2(I, A), 0 },
579 /*1d*/ { "sbb", FALSE, LONG, op2(Is, A), 0 },
580 /*1e*/ { "push", FALSE, NONE, op1(Si), 0 },
581 /*1f*/ { "pop", FALSE, NONE, op1(Si), 0 },
582
583 /*20*/ { "and", TRUE, BYTE, op2(R, E), 0 },
584 /*21*/ { "and", TRUE, LONG, op2(R, E), 0 },
585 /*22*/ { "and", TRUE, BYTE, op2(E, R), 0 },
586 /*23*/ { "and", TRUE, LONG, op2(E, R), 0 },
587 /*24*/ { "and", FALSE, BYTE, op2(I, A), 0 },
588 /*25*/ { "and", FALSE, LONG, op2(I, A), 0 },
589 /*26*/ { "", FALSE, NONE, 0, 0 },
590 /*27*/ { "daa", FALSE, NONE, 0, 0 },
591
592 /*28*/ { "sub", TRUE, BYTE, op2(R, E), 0 },
593 /*29*/ { "sub", TRUE, LONG, op2(R, E), 0 },
594 /*2a*/ { "sub", TRUE, BYTE, op2(E, R), 0 },
595 /*2b*/ { "sub", TRUE, LONG, op2(E, R), 0 },
596 /*2c*/ { "sub", FALSE, BYTE, op2(I, A), 0 },
597 /*2d*/ { "sub", FALSE, LONG, op2(Is, A), 0 },
598 /*2e*/ { "", FALSE, NONE, 0, 0 },
599 /*2f*/ { "das", FALSE, NONE, 0, 0 },
600
601 /*30*/ { "xor", TRUE, BYTE, op2(R, E), 0 },
602 /*31*/ { "xor", TRUE, LONG, op2(R, E), 0 },
603 /*32*/ { "xor", TRUE, BYTE, op2(E, R), 0 },
604 /*33*/ { "xor", TRUE, LONG, op2(E, R), 0 },
605 /*34*/ { "xor", FALSE, BYTE, op2(I, A), 0 },
606 /*35*/ { "xor", FALSE, LONG, op2(I, A), 0 },
607 /*36*/ { "", FALSE, NONE, 0, 0 },
608 /*37*/ { "aaa", FALSE, NONE, 0, 0 },
609
610 /*38*/ { "cmp", TRUE, BYTE, op2(R, E), 0 },
611 /*39*/ { "cmp", TRUE, LONG, op2(R, E), 0 },
612 /*3a*/ { "cmp", TRUE, BYTE, op2(E, R), 0 },
613 /*3b*/ { "cmp", TRUE, LONG, op2(E, R), 0 },
614 /*3c*/ { "cmp", FALSE, BYTE, op2(I, A), 0 },
615 /*3d*/ { "cmp", FALSE, LONG, op2(Is, A), 0 },
616 /*3e*/ { "", FALSE, NONE, 0, 0 },
617 /*3f*/ { "aas", FALSE, NONE, 0, 0 },
618
619 /*40*/ { "rex", FALSE, NONE, 0, 0 },
620 /*41*/ { "rex.b", FALSE, NONE, 0, 0 },
621 /*42*/ { "rex.x", FALSE, NONE, 0, 0 },
622 /*43*/ { "rex.xb", FALSE, NONE, 0, 0 },
623 /*44*/ { "rex.r", FALSE, NONE, 0, 0 },
624 /*45*/ { "rex.rb", FALSE, NONE, 0, 0 },
625 /*46*/ { "rex.rx", FALSE, NONE, 0, 0 },
626 /*47*/ { "rex.rxb", FALSE, NONE, 0, 0 },
627
628 /*48*/ { "rex.w", FALSE, NONE, 0, 0 },
629 /*49*/ { "rex.wb", FALSE, NONE, 0, 0 },
630 /*4a*/ { "rex.wx", FALSE, NONE, 0, 0 },
631 /*4b*/ { "rex.wxb", FALSE, NONE, 0, 0 },
632 /*4c*/ { "rex.wr", FALSE, NONE, 0, 0 },
633 /*4d*/ { "rex.wrb", FALSE, NONE, 0, 0 },
634 /*4e*/ { "rex.wrx", FALSE, NONE, 0, 0 },
635 /*4f*/ { "rex.wrxb", FALSE, NONE, 0, 0 },
636
637 /*50*/ { "push", FALSE, LONG, op1(Ri), 0 },
638 /*51*/ { "push", FALSE, LONG, op1(Ri), 0 },
639 /*52*/ { "push", FALSE, LONG, op1(Ri), 0 },
640 /*53*/ { "push", FALSE, LONG, op1(Ri), 0 },
641 /*54*/ { "push", FALSE, LONG, op1(Ri), 0 },
642 /*55*/ { "push", FALSE, LONG, op1(Ri), 0 },
643 /*56*/ { "push", FALSE, LONG, op1(Ri), 0 },
644 /*57*/ { "push", FALSE, LONG, op1(Ri), 0 },
645
646 /*58*/ { "pop", FALSE, LONG, op1(Ri), 0 },
647 /*59*/ { "pop", FALSE, LONG, op1(Ri), 0 },
648 /*5a*/ { "pop", FALSE, LONG, op1(Ri), 0 },
649 /*5b*/ { "pop", FALSE, LONG, op1(Ri), 0 },
650 /*5c*/ { "pop", FALSE, LONG, op1(Ri), 0 },
651 /*5d*/ { "pop", FALSE, LONG, op1(Ri), 0 },
652 /*5e*/ { "pop", FALSE, LONG, op1(Ri), 0 },
653 /*5f*/ { "pop", FALSE, LONG, op1(Ri), 0 },
654
655 /*60*/ { "pusha", FALSE, LONG, 0, 0 },
656 /*61*/ { "popa", FALSE, LONG, 0, 0 },
657 /*62*/ { "bound", TRUE, LONG, op2(E, R), 0 },
658 /*63*/ { "movslq", TRUE, NONE, op2(EL,R), 0 },
659
660 /*64*/ { "", FALSE, NONE, 0, 0 },
661 /*65*/ { "", FALSE, NONE, 0, 0 },
662 /*66*/ { "", FALSE, NONE, 0, 0 },
663 /*67*/ { "", FALSE, NONE, 0, 0 },
664
665 /*68*/ { "push", FALSE, LONG, op1(I), 0 },
666 /*69*/ { "imul", TRUE, LONG, op3(I,E,R), 0 },
667 /*6a*/ { "push", FALSE, LONG, op1(Ibs), 0 },
668 /*6b*/ { "imul", TRUE, LONG, op3(Ibs,E,R),0 },
669 /*6c*/ { "ins", FALSE, BYTE, op2(DX, DI), 0 },
670 /*6d*/ { "ins", FALSE, LONG, op2(DX, DI), 0 },
671 /*6e*/ { "outs", FALSE, BYTE, op2(SI, DX), 0 },
672 /*6f*/ { "outs", FALSE, LONG, op2(SI, DX), 0 },
673
674 /*70*/ { "jo", FALSE, NONE, op1(Db), 0 },
675 /*71*/ { "jno", FALSE, NONE, op1(Db), 0 },
676 /*72*/ { "jb", FALSE, NONE, op1(Db), 0 },
677 /*73*/ { "jnb", FALSE, NONE, op1(Db), 0 },
678 /*74*/ { "jz", FALSE, NONE, op1(Db), 0 },
679 /*75*/ { "jnz", FALSE, NONE, op1(Db), 0 },
680 /*76*/ { "jbe", FALSE, NONE, op1(Db), 0 },
681 /*77*/ { "jnbe", FALSE, NONE, op1(Db), 0 },
682
683 /*78*/ { "js", FALSE, NONE, op1(Db), 0 },
684 /*79*/ { "jns", FALSE, NONE, op1(Db), 0 },
685 /*7a*/ { "jp", FALSE, NONE, op1(Db), 0 },
686 /*7b*/ { "jnp", FALSE, NONE, op1(Db), 0 },
687 /*7c*/ { "jl", FALSE, NONE, op1(Db), 0 },
688 /*7d*/ { "jnl", FALSE, NONE, op1(Db), 0 },
689 /*7e*/ { "jle", FALSE, NONE, op1(Db), 0 },
690 /*7f*/ { "jnle", FALSE, NONE, op1(Db), 0 },
691
692 /*80*/ { "", TRUE, BYTE, op2(I, E), db_Grp1 },
693 /*81*/ { "", TRUE, LONG, op2(I, E), db_Grp1 },
694 /*82*/ { "", TRUE, BYTE, op2(I, E), db_Grp1 },
695 /*83*/ { "", TRUE, LONG, op2(Ibs,E), db_Grp1 },
696 /*84*/ { "test", TRUE, BYTE, op2(R, E), 0 },
697 /*85*/ { "test", TRUE, LONG, op2(R, E), 0 },
698 /*86*/ { "xchg", TRUE, BYTE, op2(R, E), 0 },
699 /*87*/ { "xchg", TRUE, LONG, op2(R, E), 0 },
700
701 /*88*/ { "mov", TRUE, BYTE, op2(R, E), 0 },
702 /*89*/ { "mov", TRUE, LONG, op2(R, E), 0 },
703 /*8a*/ { "mov", TRUE, BYTE, op2(E, R), 0 },
704 /*8b*/ { "mov", TRUE, LONG, op2(E, R), 0 },
705 /*8c*/ { "mov", TRUE, NONE, op2(S, Ew), 0 },
706 /*8d*/ { "lea", TRUE, LONG, op2(E, R), 0 },
707 /*8e*/ { "mov", TRUE, NONE, op2(Ew, S), 0 },
708 /*8f*/ { "pop", TRUE, LONG, op1(E), 0 },
709
710 /*90*/ { "nop", FALSE, NONE, 0, 0 },
711 /*91*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
712 /*92*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
713 /*93*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
714 /*94*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
715 /*95*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
716 /*96*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
717 /*97*/ { "xchg", FALSE, LONG, op2(A, Ri), 0 },
718
719 /*98*/ { "cbw", FALSE, SDEP, 0, "cwde" }, /* cbw/cwde */
720 /*99*/ { "cwd", FALSE, SDEP, 0, "cdq" }, /* cwd/cdq */
721 /*9a*/ { "lcall", FALSE, NONE, op1(OS), 0 },
722 /*9b*/ { "wait", FALSE, NONE, 0, 0 },
723 /*9c*/ { "pushf", FALSE, LONG, 0, 0 },
724 /*9d*/ { "popf", FALSE, LONG, 0, 0 },
725 /*9e*/ { "sahf", FALSE, NONE, 0, 0 },
726 /*9f*/ { "lahf", FALSE, NONE, 0, 0 },
727
728 /*a0*/ { "mov", FALSE, BYTE, op2(O, A), 0 },
729 /*a1*/ { "mov", FALSE, LONG, op2(O, A), 0 },
730 /*a2*/ { "mov", FALSE, BYTE, op2(A, O), 0 },
731 /*a3*/ { "mov", FALSE, LONG, op2(A, O), 0 },
732 /*a4*/ { "movs", FALSE, BYTE, op2(SI,DI), 0 },
733 /*a5*/ { "movs", FALSE, LONG, op2(SI,DI), 0 },
734 /*a6*/ { "cmps", FALSE, BYTE, op2(SI,DI), 0 },
735 /*a7*/ { "cmps", FALSE, LONG, op2(SI,DI), 0 },
736
737 /*a8*/ { "test", FALSE, BYTE, op2(I, A), 0 },
738 /*a9*/ { "test", FALSE, LONG, op2(I, A), 0 },
739 /*aa*/ { "stos", FALSE, BYTE, op1(DI), 0 },
740 /*ab*/ { "stos", FALSE, LONG, op1(DI), 0 },
741 /*ac*/ { "lods", FALSE, BYTE, op1(SI), 0 },
742 /*ad*/ { "lods", FALSE, LONG, op1(SI), 0 },
743 /*ae*/ { "scas", FALSE, BYTE, op1(SI), 0 },
744 /*af*/ { "scas", FALSE, LONG, op1(SI), 0 },
745
746 /*b0*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
747 /*b1*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
748 /*b2*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
749 /*b3*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
750 /*b4*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
751 /*b5*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
752 /*b6*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
753 /*b7*/ { "mov", FALSE, BYTE, op2(I, Ri), 0 },
754
755 /*b8*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
756 /*b9*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
757 /*ba*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
758 /*bb*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
759 /*bc*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
760 /*bd*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
761 /*be*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
762 /*bf*/ { "mov", FALSE, LONG, op2(I, Ri), 0 },
763
764 /*c0*/ { "", TRUE, BYTE, op2(Ib, E), db_Grp2 },
765 /*c1*/ { "", TRUE, LONG, op2(Ib, E), db_Grp2 },
766 /*c2*/ { "ret", FALSE, NONE, op1(Iw), 0 },
767 /*c3*/ { "ret", FALSE, NONE, 0, 0 },
768 /*c4*/ { "les", TRUE, LONG, op2(E, R), 0 },
769 /*c5*/ { "lds", TRUE, LONG, op2(E, R), 0 },
770 /*c6*/ { "mov", TRUE, BYTE, op2(I, E), 0 },
771 /*c7*/ { "mov", TRUE, LONG, op2(I, E), 0 },
772
773 /*c8*/ { "enter", FALSE, NONE, op2(Iw, Ib), 0 },
774 /*c9*/ { "leave", FALSE, NONE, 0, 0 },
775 /*ca*/ { "lret", FALSE, NONE, op1(Iw), 0 },
776 /*cb*/ { "lret", FALSE, NONE, 0, 0 },
777 /*cc*/ { "int", FALSE, NONE, op1(o3), 0 },
778 /*cd*/ { "int", FALSE, NONE, op1(Ib), 0 },
779 /*ce*/ { "into", FALSE, NONE, 0, 0 },
780 /*cf*/ { "iret", FALSE, NONE, 0, 0 },
781
782 /*d0*/ { "", TRUE, BYTE, op2(o1, E), db_Grp2 },
783 /*d1*/ { "", TRUE, LONG, op2(o1, E), db_Grp2 },
784 /*d2*/ { "", TRUE, BYTE, op2(CL, E), db_Grp2 },
785 /*d3*/ { "", TRUE, LONG, op2(CL, E), db_Grp2 },
786 /*d4*/ { "aam", FALSE, NONE, op1(Iba), 0 },
787 /*d5*/ { "aad", FALSE, NONE, op1(Iba), 0 },
788 /*d6*/ { ".byte\t0xd6", FALSE, NONE, 0, 0 },
789 /*d7*/ { "xlat", FALSE, BYTE, op1(BX), 0 },
790
791 /*d8*/ { "", TRUE, NONE, 0, db_Esc8 },
792 /*d9*/ { "", TRUE, NONE, 0, db_Esc9 },
793 /*da*/ { "", TRUE, NONE, 0, db_Esca },
794 /*db*/ { "", TRUE, NONE, 0, db_Escb },
795 /*dc*/ { "", TRUE, NONE, 0, db_Escc },
796 /*dd*/ { "", TRUE, NONE, 0, db_Escd },
797 /*de*/ { "", TRUE, NONE, 0, db_Esce },
798 /*df*/ { "", TRUE, NONE, 0, db_Escf },
799
800 /*e0*/ { "loopne",FALSE, NONE, op1(Db), 0 },
801 /*e1*/ { "loope", FALSE, NONE, op1(Db), 0 },
802 /*e2*/ { "loop", FALSE, NONE, op1(Db), 0 },
803 /*e3*/ { "jcxz", FALSE, SDEP, op1(Db), "jecxz" },
804 /*e4*/ { "in", FALSE, BYTE, op2(Ib, A), 0 },
805 /*e5*/ { "in", FALSE, LONG, op2(Ib, A) , 0 },
806 /*e6*/ { "out", FALSE, BYTE, op2(A, Ib), 0 },
807 /*e7*/ { "out", FALSE, LONG, op2(A, Ib) , 0 },
808
809 /*e8*/ { "call", FALSE, NONE, op1(Dl), 0 },
810 /*e9*/ { "jmp", FALSE, NONE, op1(Dl), 0 },
811 /*ea*/ { "ljmp", FALSE, NONE, op1(OS), 0 },
812 /*eb*/ { "jmp", FALSE, NONE, op1(Db), 0 },
813 /*ec*/ { "in", FALSE, BYTE, op2(DX, A), 0 },
814 /*ed*/ { "in", FALSE, LONG, op2(DX, A) , 0 },
815 /*ee*/ { "out", FALSE, BYTE, op2(A, DX), 0 },
816 /*ef*/ { "out", FALSE, LONG, op2(A, DX) , 0 },
817
818 /*f0*/ { "", FALSE, NONE, 0, 0 },
819 /*f1*/ { ".byte\t0xf1", FALSE, NONE, 0, 0 },
820 /*f2*/ { "", FALSE, NONE, 0, 0 },
821 /*f3*/ { "", FALSE, NONE, 0, 0 },
822 /*f4*/ { "hlt", FALSE, NONE, 0, 0 },
823 /*f5*/ { "cmc", FALSE, NONE, 0, 0 },
824 /*f6*/ { "", TRUE, BYTE, 0, db_Grp3 },
825 /*f7*/ { "", TRUE, LONG, 0, db_Grp3 },
826
827 /*f8*/ { "clc", FALSE, NONE, 0, 0 },
828 /*f9*/ { "stc", FALSE, NONE, 0, 0 },
829 /*fa*/ { "cli", FALSE, NONE, 0, 0 },
830 /*fb*/ { "sti", FALSE, NONE, 0, 0 },
831 /*fc*/ { "cld", FALSE, NONE, 0, 0 },
832 /*fd*/ { "std", FALSE, NONE, 0, 0 },
833 /*fe*/ { "", TRUE, NONE, 0, db_Grp4 },
834 /*ff*/ { "", TRUE, NONE, 0, db_Grp5 },
835 };
836
837 static const struct inst db_bad_inst =
838 { "???", FALSE, NONE, 0, 0 }
839 ;
840
841 #define f_mod(rex, byte) ((byte)>>6)
842 #define f_reg(rex, byte) ((((byte)>>3)&0x7) | (rex & REX_R ? 0x8 : 0x0))
843 #define f_rm(rex, byte) (((byte)&0x7) | (rex & REX_B ? 0x8 : 0x0))
844
845 #define sib_ss(rex, byte) ((byte)>>6)
846 #define sib_index(rex, byte) ((((byte)>>3)&0x7) | (rex & REX_X ? 0x8 : 0x0))
847 #define sib_base(rex, byte) (((byte)&0x7) | (rex & REX_B ? 0x8 : 0x0))
848
849 struct i_addr {
850 int is_reg; /* if reg, reg number is in 'disp' */
851 int disp;
852 const char * base;
853 const char * index;
854 int ss;
855 };
856
857 static const char * const db_index_reg_16[8] = {
858 "%bx,%si",
859 "%bx,%di",
860 "%bp,%si",
861 "%bp,%di",
862 "%si",
863 "%di",
864 "%bp",
865 "%bx"
866 };
867
868 static const char * const db_reg[2][4][16] = {
869
870 {{"%al", "%cl", "%dl", "%bl", "%ah", "%ch", "%dh", "%bh",
871 "%r8b", "%r9b", "%r10b", "%r11b", "%r12b", "%r13b", "%r14b", "%r15b" },
872 { "%ax", "%cx", "%dx", "%bx", "%sp", "%bp", "%si", "%di",
873 "%r8w", "%r9w", "%r10w", "%r11w", "%r12w", "%r13w", "%r14w", "%r15w" },
874 { "%eax", "%ecx", "%edx", "%ebx", "%esp", "%ebp", "%esi", "%edi",
875 "%r8d", "%r9d", "%r10d", "%r11d", "%r12d", "%r13d", "%r14d", "%r15d" },
876 { "%rax", "%rcx", "%rdx", "%rbx", "%rsp", "%rbp", "%rsi", "%rdi",
877 "%r8", "%r9", "%r10", "%r11", "%r12", "%r13", "%r14", "%r15" }},
878
879 {{"%al", "%cl", "%dl", "%bl", "%spl", "%bpl", "%sil", "%dil",
880 "%r8b", "%r9b", "%r10b", "%r11b", "%r12b", "%r13b", "%r14b", "%r15b" },
881 { "%ax", "%cx", "%dx", "%bx", "%sp", "%bp", "%si", "%di",
882 "%r8w", "%r9w", "%r10w", "%r11w", "%r12w", "%r13w", "%r14w", "%r15w" },
883 { "%eax", "%ecx", "%edx", "%ebx", "%esp", "%ebp", "%esi", "%edi",
884 "%r8d", "%r9d", "%r10d", "%r11d", "%r12d", "%r13d", "%r14d", "%r15d" },
885 { "%rax", "%rcx", "%rdx", "%rbx", "%rsp", "%rbp", "%rsi", "%rdi",
886 "%r8", "%r9", "%r10", "%r11", "%r12", "%r13", "%r14", "%r15" }}
887 };
888
889 static const char * const db_seg_reg[8] = {
890 "%es", "%cs", "%ss", "%ds", "%fs", "%gs", "", ""
891 };
892
893 /*
894 * lengths for size attributes
895 */
896 static const int db_lengths[] = {
897 1, /* BYTE */
898 2, /* WORD */
899 4, /* LONG */
900 8, /* QUAD */
901 4, /* SNGL */
902 8, /* DBLR */
903 10, /* EXTR */
904 };
905
906 #define get_value_inc(result, loc, size, is_signed) \
907 result = db_get_value((loc), (size), (is_signed)); \
908 (loc) += (size);
909
910 static db_addr_t
911 db_disasm_esc(db_addr_t loc, int inst, int rex, int short_addr,
912 int size, const char *seg);
913 static void db_print_address(const char *seg, int size, int rex,
914 struct i_addr *addrp);
915 static db_addr_t
916 db_read_address(db_addr_t loc, int short_addr, int rex, int regmodrm,
917 struct i_addr *addrp);
918
919 /*
920 * Read address at location and return updated location.
921 */
922 static db_addr_t
923 db_read_address(loc, short_addr, rex, regmodrm, addrp)
924 db_addr_t loc;
925 int short_addr;
926 int rex;
927 int regmodrm;
928 struct i_addr * addrp; /* out */
929 {
930 int mod, rm, sib, index, disp;
931
932 mod = f_mod(rex, regmodrm);
933 rm = f_rm(rex, regmodrm);
934
935 if (mod == 3) {
936 addrp->is_reg = TRUE;
937 addrp->disp = rm;
938 return (loc);
939 }
940 addrp->is_reg = FALSE;
941 addrp->index = 0;
942
943 if (short_addr) {
944 addrp->index = 0;
945 addrp->ss = 0;
946 switch (mod) {
947 case 0:
948 if (rm == 6) {
949 get_value_inc(disp, loc, 2, FALSE);
950 addrp->disp = disp;
951 addrp->base = 0;
952 }
953 else {
954 addrp->disp = 0;
955 addrp->base = db_index_reg_16[rm];
956 }
957 break;
958 case 1:
959 get_value_inc(disp, loc, 1, TRUE);
960 disp &= 0xFFFF;
961 addrp->disp = disp;
962 addrp->base = db_index_reg_16[rm];
963 break;
964 case 2:
965 get_value_inc(disp, loc, 2, FALSE);
966 addrp->disp = disp;
967 addrp->base = db_index_reg_16[rm];
968 break;
969 }
970 }
971 else {
972 if (mod != 3 && rm == 4) {
973 get_value_inc(sib, loc, 1, FALSE);
974 rm = sib_base(rex, sib);
975 index = sib_index(rex, sib);
976 if (index != 4)
977 addrp->index = db_reg[1][QUAD][index];
978 addrp->ss = sib_ss(rex, sib);
979 }
980
981 switch (mod) {
982 case 0:
983 if (rm == 5) {
984 get_value_inc(addrp->disp, loc, 4, FALSE);
985 addrp->base = 0;
986 }
987 else {
988 addrp->disp = 0;
989 addrp->base = db_reg[1][QUAD][rm];
990 }
991 break;
992
993 case 1:
994 get_value_inc(disp, loc, 1, TRUE);
995 addrp->disp = disp;
996 addrp->base = db_reg[1][QUAD][rm];
997 break;
998
999 case 2:
1000 get_value_inc(disp, loc, 4, FALSE);
1001 addrp->disp = disp;
1002 addrp->base = db_reg[1][QUAD][rm];
1003 break;
1004 }
1005 }
1006 return (loc);
1007 }
1008
1009 static void
1010 db_print_address(seg, size, rex, addrp)
1011 const char * seg;
1012 int size;
1013 int rex;
1014 struct i_addr * addrp;
1015 {
1016 if (addrp->is_reg) {
1017 db_printf("%s", db_reg[rex != 0 ? 1 : 0][(size == LONG && (rex & REX_W)) ? QUAD : size][addrp->disp]);
1018 return;
1019 }
1020
1021 if (seg) {
1022 db_printf("%s:", seg);
1023 }
1024
1025 db_printsym((db_addr_t)addrp->disp, DB_STGY_ANY);
1026 if (addrp->base != 0 || addrp->index != 0) {
1027 db_printf("(");
1028 if (addrp->base)
1029 db_printf("%s", addrp->base);
1030 if (addrp->index)
1031 db_printf(",%s,%d", addrp->index, 1<<addrp->ss);
1032 db_printf(")");
1033 }
1034 }
1035
1036 /*
1037 * Disassemble floating-point ("escape") instruction
1038 * and return updated location.
1039 */
1040 static db_addr_t
1041 db_disasm_esc(loc, inst, rex, short_addr, size, seg)
1042 db_addr_t loc;
1043 int inst;
1044 int rex;
1045 int short_addr;
1046 int size;
1047 const char * seg;
1048 {
1049 int regmodrm;
1050 const struct finst * fp;
1051 int mod;
1052 struct i_addr address;
1053 const char * name;
1054
1055 get_value_inc(regmodrm, loc, 1, FALSE);
1056 fp = &db_Esc_inst[inst - 0xd8][f_reg(rex, regmodrm)];
1057 mod = f_mod(rex, regmodrm);
1058 if (mod != 3) {
1059 if (*fp->f_name == '\0') {
1060 db_printf("<bad instruction>");
1061 return (loc);
1062 }
1063 /*
1064 * Normal address modes.
1065 */
1066 loc = db_read_address(loc, short_addr, rex, regmodrm, &address);
1067 db_printf("%s", fp->f_name);
1068 switch(fp->f_size) {
1069 case SNGL:
1070 db_printf("s");
1071 break;
1072 case DBLR:
1073 db_printf("l");
1074 break;
1075 case EXTR:
1076 db_printf("t");
1077 break;
1078 case WORD:
1079 db_printf("s");
1080 break;
1081 case LONG:
1082 db_printf("l");
1083 break;
1084 case QUAD:
1085 db_printf("q");
1086 break;
1087 default:
1088 break;
1089 }
1090 db_printf("\t");
1091 db_print_address(seg, BYTE, rex, &address);
1092 }
1093 else {
1094 /*
1095 * 'reg-reg' - special formats
1096 */
1097 switch (fp->f_rrmode) {
1098 case op2(ST,STI):
1099 name = (fp->f_rrname) ? fp->f_rrname : fp->f_name;
1100 db_printf("%s\t%%st,%%st(%d)",name,f_rm(rex, regmodrm));
1101 break;
1102 case op2(STI,ST):
1103 name = (fp->f_rrname) ? fp->f_rrname : fp->f_name;
1104 db_printf("%s\t%%st(%d),%%st",name, f_rm(rex, regmodrm));
1105 break;
1106 case op1(STI):
1107 name = (fp->f_rrname) ? fp->f_rrname : fp->f_name;
1108 db_printf("%s\t%%st(%d)",name, f_rm(rex, regmodrm));
1109 break;
1110 case op1(X):
1111 name = ((const char * const *)fp->f_rrname)[f_rm(rex, regmodrm)];
1112 if (*name == '\0')
1113 goto bad;
1114 db_printf("%s", name);
1115 break;
1116 case op1(XA):
1117 name = ((const char * const *)fp->f_rrname)[f_rm(rex, regmodrm)];
1118 if (*name == '\0')
1119 goto bad;
1120 db_printf("%s\t%%ax", name);
1121 break;
1122 default:
1123 bad:
1124 db_printf("<bad instruction>");
1125 break;
1126 }
1127 }
1128
1129 return (loc);
1130 }
1131
1132 /*
1133 * Disassemble instruction at 'loc'. 'altfmt' specifies an
1134 * (optional) alternate format. Return address of start of
1135 * next instruction.
1136 */
1137 db_addr_t
1138 db_disasm(loc, altfmt)
1139 db_addr_t loc;
1140 boolean_t altfmt;
1141 {
1142 int inst;
1143 int size;
1144 int short_addr;
1145 const char * seg;
1146 const struct inst * ip;
1147 const char * i_name;
1148 int i_size;
1149 int i_mode;
1150 int rex = 0;
1151 int regmodrm = 0;
1152 boolean_t first;
1153 int displ;
1154 int prefix;
1155 int imm;
1156 int imm2;
1157 int len;
1158 struct i_addr address;
1159
1160 get_value_inc(inst, loc, 1, FALSE);
1161 short_addr = FALSE;
1162 size = LONG;
1163 seg = 0;
1164
1165 /*
1166 * Get prefixes
1167 */
1168 prefix = TRUE;
1169 do {
1170 switch (inst) {
1171 case 0x66: /* data16 */
1172 size = WORD;
1173 break;
1174 case 0x67:
1175 short_addr = TRUE;
1176 break;
1177 case 0x26:
1178 seg = "%es";
1179 break;
1180 case 0x36:
1181 seg = "%ss";
1182 break;
1183 case 0x2e:
1184 seg = "%cs";
1185 break;
1186 case 0x3e:
1187 seg = "%ds";
1188 break;
1189 case 0x64:
1190 seg = "%fs";
1191 break;
1192 case 0x65:
1193 seg = "%gs";
1194 break;
1195 case 0xf0:
1196 db_printf("lock ");
1197 break;
1198 case 0xf2:
1199 db_printf("repne ");
1200 break;
1201 case 0xf3:
1202 db_printf("repe "); /* XXX repe VS rep */
1203 break;
1204 default:
1205 prefix = FALSE;
1206 break;
1207 }
1208 if (inst >= 0x40 && inst < 0x50) {
1209 rex = inst;
1210 prefix = TRUE;
1211 }
1212 if (prefix) {
1213 get_value_inc(inst, loc, 1, FALSE);
1214 }
1215 } while (prefix);
1216
1217 if (inst >= 0xd8 && inst <= 0xdf) {
1218 loc = db_disasm_esc(loc, inst, rex, short_addr, size, seg);
1219 db_printf("\n");
1220 return (loc);
1221 }
1222
1223 if (inst == 0x0f) {
1224 get_value_inc(inst, loc, 1, FALSE);
1225 ip = db_inst_0f[inst>>4];
1226 if (ip == 0) {
1227 ip = &db_bad_inst;
1228 }
1229 else {
1230 ip = &ip[inst&0xf];
1231 }
1232 }
1233 else
1234 ip = &db_inst_table[inst];
1235
1236 if (ip->i_has_modrm) {
1237 get_value_inc(regmodrm, loc, 1, FALSE);
1238 loc = db_read_address(loc, short_addr, rex, regmodrm, &address);
1239 }
1240
1241 i_name = ip->i_name;
1242 i_size = ip->i_size;
1243 i_mode = ip->i_mode;
1244
1245 if (ip->i_extra == db_Grp1 || ip->i_extra == db_Grp2 ||
1246 ip->i_extra == db_Grp6 || ip->i_extra == db_Grp7 ||
1247 ip->i_extra == db_Grp8 || ip->i_extra == db_Grp9) {
1248 i_name = ((const char * const *)ip->i_extra)[f_reg(rex, regmodrm)];
1249 }
1250 else if (ip->i_extra == db_Grp3) {
1251 ip = ip->i_extra;
1252 ip = &ip[f_reg(rex, regmodrm)];
1253 i_name = ip->i_name;
1254 i_mode = ip->i_mode;
1255 }
1256 else if (ip->i_extra == db_Grp4 || ip->i_extra == db_Grp5) {
1257 ip = ip->i_extra;
1258 ip = &ip[f_reg(rex, regmodrm)];
1259 i_name = ip->i_name;
1260 i_mode = ip->i_mode;
1261 i_size = ip->i_size;
1262 }
1263
1264 if (i_size == SDEP) {
1265 if (size == WORD)
1266 db_printf("%s", i_name);
1267 else
1268 db_printf("%s", (const char *)ip->i_extra);
1269 }
1270 else {
1271 db_printf("%s", i_name);
1272 if ((inst >= 0x50 && inst <= 0x5f) || inst == 0x68 || inst == 0x6a) {
1273 i_size = NONE;
1274 db_printf("q");
1275 }
1276 if (i_size != NONE) {
1277 if (i_size == BYTE) {
1278 db_printf("b");
1279 size = BYTE;
1280 }
1281 else if (i_size == WORD) {
1282 db_printf("w");
1283 size = WORD;
1284 }
1285 else if (size == WORD)
1286 db_printf("w");
1287 else {
1288 if (rex & REX_W)
1289 db_printf("q");
1290 else
1291 db_printf("l");
1292 }
1293 }
1294 }
1295 db_printf("\t");
1296 for (first = TRUE;
1297 i_mode != 0;
1298 i_mode >>= 8, first = FALSE)
1299 {
1300 if (!first)
1301 db_printf(",");
1302
1303 switch (i_mode & 0xFF) {
1304
1305 case E:
1306 db_print_address(seg, size, rex, &address);
1307 break;
1308
1309 case Eind:
1310 db_printf("*");
1311 db_print_address(seg, size, rex, &address);
1312 break;
1313
1314 case El:
1315 db_print_address(seg, (rex & REX_W) ? QUAD : LONG, rex, &address);
1316 break;
1317
1318 case EL:
1319 db_print_address(seg, LONG, 0, &address);
1320 break;
1321
1322 case Ew:
1323 db_print_address(seg, WORD, rex, &address);
1324 break;
1325
1326 case Eb:
1327 db_print_address(seg, BYTE, rex, &address);
1328 break;
1329
1330 case R:
1331 db_printf("%s", db_reg[rex != 0 ? 1 : 0][(size == LONG && (rex & REX_W)) ? QUAD : size][f_reg(rex, regmodrm)]);
1332 break;
1333
1334 case Rw:
1335 db_printf("%s", db_reg[rex != 0 ? 1 : 0][WORD][f_reg(rex, regmodrm)]);
1336 break;
1337
1338 case Ri:
1339 db_printf("%s", db_reg[0][QUAD][f_rm(rex, inst)]);
1340 break;
1341
1342 case Ril:
1343 db_printf("%s", db_reg[rex != 0 ? 1 : 0][(rex & REX_R) ? QUAD : LONG][f_rm(rex, inst)]);
1344 break;
1345
1346 case S:
1347 db_printf("%s", db_seg_reg[f_reg(rex, regmodrm)]);
1348 break;
1349
1350 case Si:
1351 db_printf("%s", db_seg_reg[f_reg(rex, inst)]);
1352 break;
1353
1354 case A:
1355 db_printf("%s", db_reg[rex != 0 ? 1 : 0][size][0]); /* acc */
1356 break;
1357
1358 case BX:
1359 if (seg)
1360 db_printf("%s:", seg);
1361 db_printf("(%s)", short_addr ? "%bx" : "%ebx");
1362 break;
1363
1364 case CL:
1365 db_printf("%%cl");
1366 break;
1367
1368 case DX:
1369 db_printf("%%dx");
1370 break;
1371
1372 case SI:
1373 if (seg)
1374 db_printf("%s:", seg);
1375 db_printf("(%s)", short_addr ? "%si" : "%rsi");
1376 break;
1377
1378 case DI:
1379 db_printf("%%es:(%s)", short_addr ? "%di" : "%rdi");
1380 break;
1381
1382 case CR:
1383 db_printf("%%cr%d", f_reg(rex, regmodrm));
1384 break;
1385
1386 case DR:
1387 db_printf("%%dr%d", f_reg(rex, regmodrm));
1388 break;
1389
1390 case TR:
1391 db_printf("%%tr%d", f_reg(rex, regmodrm));
1392 break;
1393
1394 case I:
1395 len = db_lengths[size];
1396 get_value_inc(imm, loc, len, FALSE);
1397 db_printf("$%#r", imm);
1398 break;
1399
1400 case Is:
1401 len = db_lengths[(size == LONG && (rex & REX_W)) ? QUAD : size];
1402 get_value_inc(imm, loc, len, FALSE);
1403 db_printf("$%+#r", imm);
1404 break;
1405
1406 case Ib:
1407 get_value_inc(imm, loc, 1, FALSE);
1408 db_printf("$%#r", imm);
1409 break;
1410
1411 case Iba:
1412 get_value_inc(imm, loc, 1, FALSE);
1413 if (imm != 0x0a)
1414 db_printf("$%#r", imm);
1415 break;
1416
1417 case Ibs:
1418 get_value_inc(imm, loc, 1, TRUE);
1419 if (size == WORD)
1420 imm &= 0xFFFF;
1421 db_printf("$%+#r", imm);
1422 break;
1423
1424 case Iw:
1425 get_value_inc(imm, loc, 2, FALSE);
1426 db_printf("$%#r", imm);
1427 break;
1428
1429 case O:
1430 len = (short_addr ? 2 : 4);
1431 get_value_inc(displ, loc, len, FALSE);
1432 if (seg)
1433 db_printf("%s:%+#r",seg, displ);
1434 else
1435 db_printsym((db_addr_t)displ, DB_STGY_ANY);
1436 break;
1437
1438 case Db:
1439 get_value_inc(displ, loc, 1, TRUE);
1440 displ += loc;
1441 if (size == WORD)
1442 displ &= 0xFFFF;
1443 db_printsym((db_addr_t)displ, DB_STGY_XTRN);
1444 break;
1445
1446 case Dl:
1447 len = db_lengths[(size == LONG && (rex & REX_W)) ? QUAD : size];
1448 get_value_inc(displ, loc, len, FALSE);
1449 displ += loc;
1450 if (size == WORD)
1451 displ &= 0xFFFF;
1452 db_printsym((db_addr_t)displ, DB_STGY_XTRN);
1453 break;
1454
1455 case o1:
1456 db_printf("$1");
1457 break;
1458
1459 case o3:
1460 db_printf("$3");
1461 break;
1462
1463 case OS:
1464 len = db_lengths[size];
1465 get_value_inc(imm, loc, len, FALSE); /* offset */
1466 get_value_inc(imm2, loc, 2, FALSE); /* segment */
1467 db_printf("$%#r,%#r", imm2, imm);
1468 break;
1469 }
1470 }
1471 db_printf("\n");
1472 return (loc);
1473 }
Cache object: ba2dca6637c8d5f35073f66bc6ea5227
|