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