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