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