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