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