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