x86_format.cpp 53 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <string.h>
  4. #include "libdis.h"
  5. #include <inttypes.h>
  6. #ifdef _MSC_VER
  7. #define snprintf _snprintf
  8. #define inline __inline
  9. #endif
  10. /*
  11. * concatenation macros. STRNCATF concatenates a format string, buf
  12. * only with one argument.
  13. */
  14. #define STRNCAT( buf, str, len ) do { \
  15. int _i = strlen(str), _blen = strlen(buf), _len = len - 1; \
  16. if ( len ) { \
  17. strncat( buf, str, _len ); \
  18. if ( _len <= _i ) { \
  19. buf[_blen+_len] = '\0'; \
  20. len = 0; \
  21. } else { \
  22. len -= _i; \
  23. } \
  24. } \
  25. } while( 0 )
  26. #define STRNCATF( buf, fmt, data, len ) do { \
  27. char _tmp[MAX_OP_STRING]; \
  28. \
  29. snprintf( _tmp, sizeof _tmp, fmt, data ); \
  30. STRNCAT( buf, _tmp, len ); \
  31. } while( 0 )
  32. #define PRINT_DISPLACEMENT( ea ) do { \
  33. if ( ea->disp_size && ea->disp ) { \
  34. if ( ea->disp_sign ) { \
  35. STRNCATF( buf, "-0x%" PRIX32, -ea->disp, len ); \
  36. } else { \
  37. STRNCATF( buf, "0x%" PRIX32, ea->disp, len ); \
  38. } \
  39. } \
  40. } while( 0 )
  41. static const char *prefix_strings[] = {
  42. "", /* no prefix */
  43. "repz ", /* the trailing spaces make it easy to prepend to mnemonic */
  44. "repnz ",
  45. "lock ",
  46. "branch delay " /* unused in x86 */
  47. };
  48. static int format_insn_prefix_str( enum x86_insn_prefix prefix, char *buf,
  49. int len ) {
  50. int len_orig = len;
  51. /* concat all prefix strings */
  52. if ( prefix & 1 ) { STRNCAT( buf, prefix_strings[1], len ); }
  53. if ( prefix & 2 ) { STRNCAT( buf, prefix_strings[2], len ); }
  54. if ( prefix & 4 ) { STRNCAT( buf, prefix_strings[3], len ); }
  55. if ( prefix & 8 ) { STRNCAT( buf, prefix_strings[4], len ); }
  56. /* return the number of characters added */
  57. return (len_orig - len);
  58. }
  59. /*
  60. * sprint's an operand's data to string str.
  61. */
  62. static void get_operand_data_str( x86_op_t *op, char *str, int len ){
  63. if ( op->flags.op_signed ) {
  64. switch ( op->datatype ) {
  65. case op_byte:
  66. snprintf( str, len, "%" PRId8, op->data.sbyte );
  67. return;
  68. case op_word:
  69. snprintf( str, len, "%" PRId16, op->data.sword );
  70. return;
  71. case op_qword:
  72. snprintf( str, len, "%" PRId64, op->data.sqword );
  73. return;
  74. default:
  75. snprintf( str, len, "%" PRId32, op->data.sdword );
  76. return;
  77. }
  78. }
  79. //else
  80. switch ( op->datatype ) {
  81. case op_byte:
  82. snprintf( str, len, "0x%02" PRIX8, op->data.byte );
  83. return;
  84. case op_word:
  85. snprintf( str, len, "0x%04" PRIX16, op->data.word );
  86. return;
  87. case op_qword:
  88. snprintf( str, len, "0x%08" PRIX64,op->data.sqword );
  89. return;
  90. default:
  91. snprintf( str, len, "0x%08" PRIX32, op->data.dword );
  92. return;
  93. }
  94. }
  95. /*
  96. * sprints register types to a string. the register types can be ORed
  97. * together.
  98. */
  99. static void get_operand_regtype_str( int regtype, char *str, int len )
  100. {
  101. static struct {
  102. const char *name;
  103. int value;
  104. } operand_regtypes[] = {
  105. {"reg_gen" , 0x00001},
  106. {"reg_in" , 0x00002},
  107. {"reg_out" , 0x00004},
  108. {"reg_local" , 0x00008},
  109. {"reg_fpu" , 0x00010},
  110. {"reg_seg" , 0x00020},
  111. {"reg_simd" , 0x00040},
  112. {"reg_sys" , 0x00080},
  113. {"reg_sp" , 0x00100},
  114. {"reg_fp" , 0x00200},
  115. {"reg_pc" , 0x00400},
  116. {"reg_retaddr", 0x00800},
  117. {"reg_cond" , 0x01000},
  118. {"reg_zero" , 0x02000},
  119. {"reg_ret" , 0x04000},
  120. {"reg_src" , 0x10000},
  121. {"reg_dest" , 0x20000},
  122. {"reg_count" , 0x40000},
  123. {NULL, 0}, //end
  124. };
  125. unsigned int i;
  126. memset( str, 0, len );
  127. //go thru every type in the enum
  128. for ( i = 0; operand_regtypes[i].name; i++ ) {
  129. //skip if type is not set
  130. if(! (regtype & operand_regtypes[i].value) )
  131. continue;
  132. //not the first time around
  133. if( str[0] ) {
  134. STRNCAT( str, " ", len );
  135. }
  136. STRNCAT(str, operand_regtypes[i].name, len );
  137. }
  138. }
  139. static int format_expr( x86_ea_t *ea, char *buf, int len,
  140. enum x86_asm_format format ) {
  141. char str[MAX_OP_STRING];
  142. if ( format == att_syntax ) {
  143. if (ea->base.name[0] || ea->index.name[0] || ea->scale) {
  144. PRINT_DISPLACEMENT(ea);
  145. STRNCAT( buf, "(", len );
  146. if ( ea->base.name[0]) {
  147. STRNCATF( buf, "%%%s", ea->base.name, len );
  148. }
  149. if ( ea->index.name[0]) {
  150. STRNCATF( buf, ",%%%s", ea->index.name, len );
  151. if ( ea->scale > 1 ) {
  152. STRNCATF( buf, ",%d", ea->scale, len );
  153. }
  154. }
  155. /* handle the syntactic exception */
  156. if ( ! ea->base.name[0] &&
  157. ! ea->index.name[0] ) {
  158. STRNCATF( buf, ",%d", ea->scale, len );
  159. }
  160. STRNCAT( buf, ")", len );
  161. } else
  162. STRNCATF( buf, "0x%" PRIX32, ea->disp, len );
  163. } else if ( format == xml_syntax ){
  164. if ( ea->base.name[0]) {
  165. STRNCAT (buf, "\t\t\t<base>\n", len);
  166. get_operand_regtype_str (ea->base.type, str,
  167. sizeof str);
  168. STRNCAT (buf, "\t\t\t\t<register ", len);
  169. STRNCATF (buf, "name=\"%s\" ", ea->base.name, len);
  170. STRNCATF (buf, "type=\"%s\" ", str, len);
  171. STRNCATF (buf, "size=%d/>\n", ea->base.size, len);
  172. STRNCAT (buf, "\t\t\t</base>\n", len);
  173. }
  174. if ( ea->index.name[0]) {
  175. STRNCAT (buf, "\t\t\t<index>\n", len);
  176. get_operand_regtype_str (ea->index.type, str,
  177. sizeof str);
  178. STRNCAT (buf, "\t\t\t\t<register ", len);
  179. STRNCATF (buf, "name=\"%s\" ", ea->index.name, len);
  180. STRNCATF (buf, "type=\"%s\" ", str, len);
  181. STRNCATF (buf, "size=%d/>\n", ea->index.size, len);
  182. STRNCAT (buf, "\t\t\t</index>\n", len);
  183. }
  184. //scale
  185. STRNCAT (buf, "\t\t\t<scale>\n", len);
  186. STRNCAT (buf, "\t\t\t\t<immediate ", len);
  187. STRNCATF (buf, "value=\"%d\"/>\n", ea->scale, len);
  188. STRNCAT (buf, "\t\t\t</scale>\n", len);
  189. if ( ea->disp_size ) {
  190. STRNCAT (buf, "\t\t\t<displacement>\n", len);
  191. if ( ea->disp_size > 1 && ! ea->disp_sign ) {
  192. STRNCAT (buf, "\t\t\t\t<address ", len);
  193. STRNCATF (buf, "value=\"0x%" PRIX32 "\"/>\n", ea->disp,
  194. len);
  195. } else {
  196. STRNCAT (buf, "\t\t\t\t<immediate ", len);
  197. STRNCATF (buf, "value=%" PRId32 "/>\n", ea->disp, len);
  198. }
  199. STRNCAT (buf, "\t\t\t</displacement>\n", len);
  200. }
  201. } else if ( format == raw_syntax ) {
  202. PRINT_DISPLACEMENT(ea);
  203. STRNCAT( buf, "(", len );
  204. STRNCATF( buf, "%s,", ea->base.name, len );
  205. STRNCATF( buf, "%s,", ea->index.name, len );
  206. STRNCATF( buf, "%d", ea->scale, len );
  207. STRNCAT( buf, ")", len );
  208. } else {
  209. STRNCAT( buf, "[", len );
  210. if ( ea->base.name[0] ) {
  211. STRNCAT( buf, ea->base.name, len );
  212. if ( ea->index.name[0] ||
  213. (ea->disp_size && ! ea->disp_sign) ) {
  214. STRNCAT( buf, "+", len );
  215. }
  216. }
  217. if ( ea->index.name[0] ) {
  218. STRNCAT( buf, ea->index.name, len );
  219. if ( ea->scale > 1 )
  220. {
  221. STRNCATF( buf, "*%" PRId32, ea->scale, len );
  222. }
  223. if ( ea->disp_size && ! ea->disp_sign )
  224. {
  225. STRNCAT( buf, "+", len );
  226. }
  227. }
  228. if ( ea->disp_size || (! ea->index.name[0] &&
  229. ! ea->base.name[0] ) )
  230. {
  231. PRINT_DISPLACEMENT(ea);
  232. }
  233. STRNCAT( buf, "]", len );
  234. }
  235. return( strlen(buf) );
  236. }
  237. static int format_seg( x86_op_t *op, char *buf, int len,
  238. enum x86_asm_format format ) {
  239. int len_orig = len;
  240. const char *reg = "";
  241. if (! op || ! buf || ! len || ! op->flags.whole) {
  242. return(0);
  243. }
  244. if ( op->type != op_offset && op->type != op_expression ){
  245. return(0);
  246. }
  247. if (! (int) op->flags.op_seg) {
  248. return(0);
  249. }
  250. uint16_t seg_ov=uint16_t(op->flags.op_seg)<<8;
  251. switch (seg_ov)
  252. {
  253. case x86_op_flags::op_es_seg: reg = "es"; break;
  254. case x86_op_flags::op_cs_seg: reg = "cs"; break;
  255. case x86_op_flags::op_ss_seg: reg = "ss"; break;
  256. case x86_op_flags::op_ds_seg: reg = "ds"; break;
  257. case x86_op_flags::op_fs_seg: reg = "fs"; break;
  258. case x86_op_flags::op_gs_seg: reg = "gs"; break;
  259. default:
  260. break;
  261. }
  262. if (! reg[0] ) {
  263. return( 0 );
  264. }
  265. switch( format ) {
  266. case xml_syntax:
  267. STRNCAT( buf, "\t\t\t<segment ", len );
  268. STRNCATF( buf, "value=\"%s\"/>\n", reg, len );
  269. break;
  270. case att_syntax:
  271. STRNCATF( buf, "%%%s:", reg, len );
  272. break;
  273. default:
  274. STRNCATF( buf, "%s:", reg, len );
  275. break;
  276. }
  277. return( len_orig - len ); /* return length of appended string */
  278. }
  279. static const char *get_operand_datatype_str( x86_op_t *op ){
  280. static const char *types[] = {
  281. "sbyte", /* 0 */
  282. "sword",
  283. "sqword",
  284. "sdword",
  285. "sdqword", /* 4 */
  286. "byte",
  287. "word",
  288. "qword",
  289. "dword", /* 8 */
  290. "dqword",
  291. "sreal",
  292. "dreal",
  293. "extreal", /* 12 */
  294. "bcd",
  295. "ssimd",
  296. "dsimd",
  297. "sssimd", /* 16 */
  298. "sdsimd",
  299. "descr32",
  300. "descr16",
  301. "pdescr32", /* 20 */
  302. "pdescr16",
  303. "bounds16",
  304. "bounds32",
  305. "fpu_env16",
  306. "fpu_env32", /* 25 */
  307. "fpu_state16",
  308. "fpu_state32",
  309. "fp_reg_set"
  310. };
  311. /* handle signed values first */
  312. if ( op->flags.op_signed ) {
  313. switch (op->datatype) {
  314. case op_byte: return types[0];
  315. case op_word: return types[1];
  316. case op_qword: return types[2];
  317. case op_dqword: return types[4];
  318. default: return types[3];
  319. }
  320. }
  321. switch (op->datatype) {
  322. case op_byte: return types[5];
  323. case op_word: return types[6];
  324. case op_qword: return types[7];
  325. case op_dqword: return types[9];
  326. case op_sreal: return types[10];
  327. case op_dreal: return types[11];
  328. case op_extreal: return types[12];
  329. case op_bcd: return types[13];
  330. case op_ssimd: return types[14];
  331. case op_dsimd: return types[15];
  332. case op_sssimd: return types[16];
  333. case op_sdsimd: return types[17];
  334. case op_descr32: return types[18];
  335. case op_descr16: return types[19];
  336. case op_pdescr32: return types[20];
  337. case op_pdescr16: return types[21];
  338. case op_bounds16: return types[22];
  339. case op_bounds32: return types[23];
  340. case op_fpustate16: return types[24];
  341. case op_fpustate32: return types[25];
  342. case op_fpuenv16: return types[26];
  343. case op_fpuenv32: return types[27];
  344. case op_fpregset: return types[28];
  345. default: return types[8];
  346. }
  347. }
  348. static int format_insn_eflags_str( enum x86_flag_status flags, char *buf,
  349. int len) {
  350. static struct {
  351. const char *name;
  352. int value;
  353. } insn_flags[] = {
  354. { "carry_set ", 0x0001 },
  355. { "zero_set ", 0x0002 },
  356. { "oflow_set ", 0x0004 },
  357. { "dir_set ", 0x0008 },
  358. { "sign_set ", 0x0010 },
  359. { "parity_set ", 0x0020 },
  360. { "carry_or_zero_set ", 0x0040 },
  361. { "zero_set_or_sign_ne_oflow ", 0x0080 },
  362. { "carry_clear ", 0x0100 },
  363. { "zero_clear ", 0x0200 },
  364. { "oflow_clear ", 0x0400 },
  365. { "dir_clear ", 0x0800 },
  366. { "sign_clear ", 0x1000 },
  367. { "parity_clear ", 0x2000 },
  368. { "sign_eq_oflow ", 0x4000 },
  369. { "sign_ne_oflow ", 0x8000 },
  370. { NULL, 0x0000 }, //end
  371. };
  372. unsigned int i;
  373. int len_orig = len;
  374. for (i = 0; insn_flags[i].name; i++) {
  375. if (! (flags & insn_flags[i].value) )
  376. continue;
  377. STRNCAT( buf, insn_flags[i].name, len );
  378. }
  379. return( len_orig - len );
  380. }
  381. static const char *get_insn_group_str( enum x86_insn_t::x86_insn_group gp ) {
  382. static const char *types[] = {
  383. "", // 0
  384. "controlflow",// 1
  385. "arithmetic", // 2
  386. "logic", // 3
  387. "stack", // 4
  388. "comparison", // 5
  389. "move", // 6
  390. "string", // 7
  391. "bit_manip", // 8
  392. "flag_manip", // 9
  393. "fpu", // 10
  394. "", // 11
  395. "", // 12
  396. "interrupt", // 13
  397. "system", // 14
  398. "other", // 15
  399. };
  400. if ( gp > sizeof (types)/sizeof(types[0]) )
  401. return "";
  402. return types[gp];
  403. }
  404. static const char *get_insn_type_str( enum x86_insn_type type ) {
  405. static struct {
  406. const char *name;
  407. int value;
  408. } types[] = {
  409. /* insn_controlflow */
  410. { "jmp", 0x1001 },
  411. { "jcc", 0x1002 },
  412. { "call", 0x1003 },
  413. { "callcc", 0x1004 },
  414. { "return", 0x1005 },
  415. { "loop", 0x1006 },
  416. /* insn_arithmetic */
  417. { "add", 0x2001 },
  418. { "sub", 0x2002 },
  419. { "mul", 0x2003 },
  420. { "div", 0x2004 },
  421. { "inc", 0x2005 },
  422. { "dec", 0x2006 },
  423. { "shl", 0x2007 },
  424. { "shr", 0x2008 },
  425. { "rol", 0x2009 },
  426. { "ror", 0x200A },
  427. /* insn_logic */
  428. { "and", 0x3001 },
  429. { "or", 0x3002 },
  430. { "xor", 0x3003 },
  431. { "not", 0x3004 },
  432. { "neg", 0x3005 },
  433. /* insn_stack */
  434. { "push", 0x4001 },
  435. { "pop", 0x4002 },
  436. { "pushregs", 0x4003 },
  437. { "popregs", 0x4004 },
  438. { "pushflags", 0x4005 },
  439. { "popflags", 0x4006 },
  440. { "enter", 0x4007 },
  441. { "leave", 0x4008 },
  442. /* insn_comparison */
  443. { "test", 0x5001 },
  444. { "cmp", 0x5002 },
  445. /* insn_move */
  446. { "mov", 0x6001 }, /* move */
  447. { "movcc", 0x6002 }, /* conditional move */
  448. { "xchg", 0x6003 }, /* exchange */
  449. { "xchgcc", 0x6004 }, /* conditional exchange */
  450. /* insn_string */
  451. { "strcmp", 0x7001 },
  452. { "strload", 0x7002 },
  453. { "strmov", 0x7003 },
  454. { "strstore", 0x7004 },
  455. { "translate", 0x7005 }, /* xlat */
  456. /* insn_bit_manip */
  457. { "bittest", 0x8001 },
  458. { "bitset", 0x8002 },
  459. { "bitclear", 0x8003 },
  460. /* insn_flag_manip */
  461. { "clear_carry", 0x9001 },
  462. { "clear_zero", 0x9002 },
  463. { "clear_oflow", 0x9003 },
  464. { "clear_dir", 0x9004 },
  465. { "clear_sign", 0x9005 },
  466. { "clear_parity", 0x9006 },
  467. { "set_carry", 0x9007 },
  468. { "set_zero", 0x9008 },
  469. { "set_oflow", 0x9009 },
  470. { "set_dir", 0x900A },
  471. { "set_sign", 0x900B },
  472. { "set_parity", 0x900C },
  473. { "tog_carry", 0x9010 },
  474. { "tog_zero", 0x9020 },
  475. { "tog_oflow", 0x9030 },
  476. { "tog_dir", 0x9040 },
  477. { "tog_sign", 0x9050 },
  478. { "tog_parity", 0x9060 },
  479. /* insn_fpu */
  480. { "fmov", 0xA001 },
  481. { "fmovcc", 0xA002 },
  482. { "fneg", 0xA003 },
  483. { "fabs", 0xA004 },
  484. { "fadd", 0xA005 },
  485. { "fsub", 0xA006 },
  486. { "fmul", 0xA007 },
  487. { "fdiv", 0xA008 },
  488. { "fsqrt", 0xA009 },
  489. { "fcmp", 0xA00A },
  490. { "fcos", 0xA00C },
  491. { "fldpi", 0xA00D },
  492. { "fldz", 0xA00E },
  493. { "ftan", 0xA00F },
  494. { "fsine", 0xA010 },
  495. { "fsys", 0xA020 },
  496. /* insn_interrupt */
  497. { "int", 0xD001 },
  498. { "intcc", 0xD002 }, /* not present in x86 ISA */
  499. { "iret", 0xD003 },
  500. { "bound", 0xD004 },
  501. { "debug", 0xD005 },
  502. { "trace", 0xD006 },
  503. { "invalid_op", 0xD007 },
  504. { "oflow", 0xD008 },
  505. /* insn_system */
  506. { "halt", 0xE001 },
  507. { "in", 0xE002 }, /* input from port/bus */
  508. { "out", 0xE003 }, /* output to port/bus */
  509. { "cpuid", 0xE004 },
  510. /* insn_other */
  511. { "nop", 0xF001 },
  512. { "bcdconv", 0xF002 }, /* convert to or from BCD */
  513. { "szconv", 0xF003 }, /* change size of operand */
  514. { NULL, 0 }, //end
  515. };
  516. unsigned int i;
  517. //go thru every type in the enum
  518. for ( i = 0; types[i].name; i++ ) {
  519. if ( types[i].value == type )
  520. return types[i].name;
  521. }
  522. return "";
  523. }
  524. static const char *get_insn_cpu_str( enum x86_insn_cpu cpu ) {
  525. static const char *intel[] = {
  526. "", // 0
  527. "8086", // 1
  528. "80286", // 2
  529. "80386", // 3
  530. "80387", // 4
  531. "80486", // 5
  532. "Pentium", // 6
  533. "Pentium Pro", // 7
  534. "Pentium 2", // 8
  535. "Pentium 3", // 9
  536. "Pentium 4" // 10
  537. };
  538. if ( cpu <= sizeof(intel)/sizeof(intel[0]) ) {
  539. return intel[cpu];
  540. } else if ( cpu == 16 ) {
  541. return "K6";
  542. } else if ( cpu == 32 ) {
  543. return "K7";
  544. } else if ( cpu == 48 ) {
  545. return "Athlon";
  546. }
  547. return "";
  548. }
  549. static const char *get_insn_isa_str( enum x86_insn_isa isa ) {
  550. static const char *subset[] = {
  551. NULL, // 0
  552. "General Purpose", // 1
  553. "Floating Point", // 2
  554. "FPU Management", // 3
  555. "MMX", // 4
  556. "SSE", // 5
  557. "SSE2", // 6
  558. "SSE3", // 7
  559. "3DNow!", // 8
  560. "System" // 9
  561. };
  562. if ( isa > sizeof (subset)/sizeof(subset[0]) ) {
  563. return "";
  564. }
  565. return subset[isa];
  566. }
  567. static int format_operand_att( x86_op_t *op, x86_insn_t *insn, char *buf,
  568. int len){
  569. char str[MAX_OP_STRING];
  570. memset (str, 0, sizeof str);
  571. switch ( op->type ) {
  572. case op_register:
  573. STRNCATF( buf, "%%%s", op->data.reg.name, len );
  574. break;
  575. case op_immediate:
  576. get_operand_data_str( op, str, sizeof str );
  577. STRNCATF( buf, "$%s", str, len );
  578. break;
  579. case op_relative_near:
  580. STRNCATF( buf, "0x%08X",
  581. (unsigned int)(op->data.sbyte +
  582. insn->addr + insn->size), len );
  583. break;
  584. case op_relative_far:
  585. if (op->datatype == op_word) {
  586. STRNCATF( buf, "0x%08X",
  587. (unsigned int)(op->data.sword +
  588. insn->addr + insn->size), len );
  589. } else {
  590. STRNCATF( buf, "0x%08X",
  591. (unsigned int)(op->data.sdword +
  592. insn->addr + insn->size), len );
  593. }
  594. break;
  595. case op_absolute:
  596. /* ATT uses the syntax $section, $offset */
  597. STRNCATF( buf, "$0x%04" PRIX16 ", ", op->data.absolute.segment,
  598. len );
  599. if (op->datatype == op_descr16) {
  600. STRNCATF( buf, "$0x%04" PRIX16,
  601. op->data.absolute.offset.off16, len );
  602. } else {
  603. STRNCATF( buf, "$0x%08" PRIX32,
  604. op->data.absolute.offset.off32, len );
  605. }
  606. break;
  607. case op_offset:
  608. /* ATT requires a '*' before JMP/CALL ops */
  609. if (insn->type == insn_jmp || insn->type == insn_call)
  610. STRNCAT( buf, "*", len );
  611. len -= format_seg( op, buf, len, att_syntax );
  612. STRNCATF( buf, "0x%08" PRIX32, op->data.sdword, len );
  613. break;
  614. case op_expression:
  615. /* ATT requires a '*' before JMP/CALL ops */
  616. if (insn->type == insn_jmp || insn->type == insn_call)
  617. STRNCAT( buf, "*", len );
  618. len -= format_seg( op, buf, len, att_syntax );
  619. len -= format_expr( &op->data.expression, buf, len,
  620. att_syntax );
  621. break;
  622. case op_unused:
  623. case op_unknown:
  624. /* return 0-truncated buffer */
  625. break;
  626. }
  627. return ( strlen( buf ) );
  628. }
  629. static int format_operand_native( x86_op_t *op, x86_insn_t *insn, char *buf,
  630. int len){
  631. char str[MAX_OP_STRING];
  632. switch (op->type) {
  633. case op_register:
  634. STRNCAT( buf, op->data.reg.name, len );
  635. break;
  636. case op_immediate:
  637. get_operand_data_str( op, str, sizeof str );
  638. STRNCAT( buf, str, len );
  639. break;
  640. case op_relative_near:
  641. STRNCATF( buf, "0x%08" PRIX32,
  642. (unsigned int)(op->data.sbyte +
  643. insn->addr + insn->size), len );
  644. break;
  645. case op_relative_far:
  646. if ( op->datatype == op_word ) {
  647. STRNCATF( buf, "0x%08" PRIX32,
  648. (unsigned int)(op->data.sword +
  649. insn->addr + insn->size), len );
  650. break;
  651. } else {
  652. STRNCATF( buf, "0x%08" PRIX32, op->data.sdword +
  653. insn->addr + insn->size, len );
  654. }
  655. break;
  656. case op_absolute:
  657. STRNCATF( buf, "$0x%04" PRIX16 ":", op->data.absolute.segment,
  658. len );
  659. if (op->datatype == op_descr16) {
  660. STRNCATF( buf, "0x%04" PRIX16,
  661. op->data.absolute.offset.off16, len );
  662. } else {
  663. STRNCATF( buf, "0x%08" PRIX32,
  664. op->data.absolute.offset.off32, len );
  665. }
  666. break;
  667. case op_offset:
  668. len -= format_seg( op, buf, len, native_syntax );
  669. STRNCATF( buf, "[0x%08" PRIX32 "]", op->data.sdword, len );
  670. break;
  671. case op_expression:
  672. len -= format_seg( op, buf, len, native_syntax );
  673. len -= format_expr( &op->data.expression, buf, len,
  674. native_syntax );
  675. break;
  676. case op_unused:
  677. case op_unknown:
  678. /* return 0-truncated buffer */
  679. break;
  680. }
  681. return( strlen( buf ) );
  682. }
  683. static int format_operand_xml( x86_op_t *op, x86_insn_t *insn, char *buf,
  684. int len){
  685. char str[MAX_OP_STRING] = "\0";
  686. switch (op->type) {
  687. case op_register:
  688. get_operand_regtype_str( op->data.reg.type, str,
  689. sizeof str );
  690. STRNCAT( buf, "\t\t<register ", len );
  691. STRNCATF( buf, "name=\"%s\" ", op->data.reg.name, len );
  692. STRNCATF( buf, "type=\"%s\" ", str, len );
  693. STRNCATF( buf, "size=%d/>\n", op->data.reg.size, len );
  694. break;
  695. case op_immediate:
  696. get_operand_data_str( op, str, sizeof str );
  697. STRNCAT( buf, "\t\t<immediate ", len );
  698. STRNCATF( buf, "type=\"%s\" ",
  699. get_operand_datatype_str (op), len );
  700. STRNCATF( buf, "value=\"%s\"/>\n", str, len );
  701. break;
  702. case op_relative_near:
  703. STRNCAT( buf, "\t\t<relative_offset ", len );
  704. STRNCATF( buf, "value=\"0x%08" PRIX32 "\"/>\n",
  705. (unsigned int)(op->data.sbyte +
  706. insn->addr + insn->size), len );
  707. break;
  708. case op_relative_far:
  709. STRNCAT( buf, "\t\t<relative_offset ", len );
  710. if (op->datatype == op_word) {
  711. STRNCATF( buf, "value=\"0x%08" PRIX32 "\"/>\n",
  712. (unsigned int)(op->data.sword +
  713. insn->addr + insn->size), len);
  714. break;
  715. } else {
  716. STRNCATF( buf, "value=\"0x%08" PRIX32 "\"/>\n",
  717. op->data.sdword + insn->addr + insn->size,
  718. len );
  719. }
  720. break;
  721. case op_absolute:
  722. STRNCATF( buf,
  723. "\t\t<absolute_address segment=\"0x%04" PRIX16 "\"",
  724. op->data.absolute.segment, len );
  725. if (op->datatype == op_descr16) {
  726. STRNCATF( buf, "offset=\"0x%04" PRIX16 "\">",
  727. op->data.absolute.offset.off16, len );
  728. } else {
  729. STRNCATF( buf, "offset=\"0x%08" PRIX32 "\">",
  730. op->data.absolute.offset.off32, len );
  731. }
  732. STRNCAT( buf, "\t\t</absolute_address>\n", len );
  733. break;
  734. case op_expression:
  735. STRNCAT( buf, "\t\t<address_expression>\n", len );
  736. len -= format_seg( op, buf, len, xml_syntax );
  737. len -= format_expr( &op->data.expression, buf, len,
  738. xml_syntax );
  739. STRNCAT( buf, "\t\t</address_expression>\n", len );
  740. break;
  741. case op_offset:
  742. STRNCAT( buf, "\t\t<segment_offset>\n", len );
  743. len -= format_seg( op, buf, len, xml_syntax );
  744. STRNCAT( buf, "\t\t\t<address ", len);
  745. STRNCATF( buf, "value=\"0x%08" PRIX32 "\"/>\n",
  746. op->data.sdword, len );
  747. STRNCAT( buf, "\t\t</segment_offset>\n", len );
  748. break;
  749. case op_unused:
  750. case op_unknown:
  751. /* return 0-truncated buffer */
  752. break;
  753. }
  754. return( strlen( buf ) );
  755. }
  756. static int format_operand_raw( x86_op_t *op, x86_insn_t */*insn*/, char *buf,
  757. int len){
  758. char str[MAX_OP_RAW_STRING];
  759. const char *datatype = get_operand_datatype_str(op);
  760. switch (op->type) {
  761. case op_register:
  762. get_operand_regtype_str( op->data.reg.type, str,
  763. sizeof str );
  764. STRNCAT( buf, "reg|", len );
  765. STRNCATF( buf, "%s|", datatype, len );
  766. STRNCATF( buf, "%s:", op->data.reg.name, len );
  767. STRNCATF( buf, "%s:", str, len );
  768. STRNCATF( buf, "%d|", op->data.reg.size, len );
  769. break;
  770. case op_immediate:
  771. get_operand_data_str( op, str, sizeof str );
  772. STRNCAT( buf, "immediate|", len );
  773. STRNCATF( buf, "%s|", datatype, len );
  774. STRNCATF( buf, "%s|", str, len );
  775. break;
  776. case op_relative_near:
  777. /* NOTE: in raw format, we print the
  778. * relative offset, not the actual
  779. * address of the jump target */
  780. STRNCAT( buf, "relative|", len );
  781. STRNCATF( buf, "%s|", datatype, len );
  782. STRNCATF( buf, "%" PRId8 "|", op->data.sbyte, len );
  783. break;
  784. case op_relative_far:
  785. STRNCAT( buf, "relative|", len );
  786. STRNCATF( buf, "%s|", datatype, len );
  787. if (op->datatype == op_word) {
  788. STRNCATF( buf, "%" PRId16 "|", op->data.sword, len);
  789. break;
  790. } else {
  791. STRNCATF( buf, "%" PRId32 "|", op->data.sdword, len );
  792. }
  793. break;
  794. case op_absolute:
  795. STRNCAT( buf, "absolute_address|", len );
  796. STRNCATF( buf, "%s|", datatype, len );
  797. STRNCATF( buf, "$0x%04" PRIX16 ":", op->data.absolute.segment,
  798. len );
  799. if (op->datatype == op_descr16) {
  800. STRNCATF( buf, "0x%04" PRIX16 "|",
  801. op->data.absolute.offset.off16, len );
  802. } else {
  803. STRNCATF( buf, "0x%08" PRIX32 "|",
  804. op->data.absolute.offset.off32, len );
  805. }
  806. break;
  807. case op_expression:
  808. STRNCAT( buf, "address_expression|", len );
  809. STRNCATF( buf, "%s|", datatype, len );
  810. len -= format_seg( op, buf, len, native_syntax );
  811. len -= format_expr( &op->data.expression, buf, len,
  812. raw_syntax );
  813. STRNCAT( buf, "|", len );
  814. break;
  815. case op_offset:
  816. STRNCAT( buf, "segment_offset|", len );
  817. STRNCATF( buf, "%s|", datatype, len );
  818. len -= format_seg( op, buf, len, xml_syntax );
  819. STRNCATF( buf, "%08" PRIX32 "|", op->data.sdword, len );
  820. break;
  821. case op_unused:
  822. case op_unknown:
  823. /* return 0-truncated buffer */
  824. break;
  825. }
  826. return( strlen( buf ) );
  827. }
  828. int x86_op_t::x86_format_operand(char *buf, int len,
  829. enum x86_asm_format format ){
  830. x86_insn_t *_insn;
  831. if ( ! this || ! buf || len < 1 ) {
  832. return(0);
  833. }
  834. /* insn is stored in x86_op_t since .21-pre3 */
  835. _insn = (x86_insn_t *) insn;
  836. memset( buf, 0, len );
  837. switch ( format ) {
  838. case att_syntax:
  839. return format_operand_att( this, _insn, buf, len );
  840. case xml_syntax:
  841. return format_operand_xml( this, _insn, buf, len );
  842. case raw_syntax:
  843. return format_operand_raw( this, _insn, buf, len );
  844. case native_syntax:
  845. case intel_syntax:
  846. default:
  847. return format_operand_native( this, _insn, buf, len );
  848. }
  849. }
  850. char * x86_op_t::format( enum x86_asm_format format ) {
  851. char *buf, *str;
  852. size_t len;
  853. switch ( format ) {
  854. case xml_syntax:
  855. len = MAX_OP_XML_STRING;
  856. break;
  857. case raw_syntax:
  858. len = MAX_OP_RAW_STRING;
  859. break;
  860. case native_syntax:
  861. case intel_syntax:
  862. case att_syntax:
  863. case unknown_syntax:
  864. default:
  865. len = MAX_OP_STRING;
  866. break;
  867. }
  868. buf = (char * ) calloc( len + 1, 1 );
  869. x86_format_operand( buf, len, format );
  870. /* drop buffer down to a reasonable size */
  871. str = strdup( buf );
  872. free(buf);
  873. return str;
  874. }
  875. #define is_imm_jmp(op) (op->type == op_absolute || \
  876. op->type == op_immediate || \
  877. op->type == op_offset)
  878. #define is_memory_op(op) (op->type == op_absolute || \
  879. op->type == op_expression || \
  880. op->type == op_offset)
  881. static int format_att_mnemonic( x86_insn_t *insn, char *buf, int len) {
  882. int size = 0;
  883. const char *suffix;
  884. if (! insn || ! buf || ! len )
  885. return(0);
  886. memset( buf, 0, len );
  887. /* do long jump/call prefix */
  888. if ( insn->type == insn_jmp || insn->type == insn_call ) {
  889. if (! is_imm_jmp( insn->operand_1st() ) ||
  890. (insn->operand_1st())->datatype != op_byte ) {
  891. /* far jump/call, use "l" prefix */
  892. STRNCAT( buf, "l", len );
  893. }
  894. STRNCAT( buf, insn->mnemonic, len );
  895. return ( strlen( buf ) );
  896. }
  897. /* do mnemonic */
  898. STRNCAT( buf, insn->mnemonic, len );
  899. /* do suffixes for memory operands */
  900. if (!(insn->note & insn_note_nosuffix) &&
  901. (insn->group == x86_insn_t::insn_arithmetic ||
  902. insn->group == x86_insn_t::insn_logic ||
  903. insn->group == x86_insn_t::insn_move ||
  904. insn->group == x86_insn_t::insn_stack ||
  905. insn->group == x86_insn_t::insn_string ||
  906. insn->group == x86_insn_t::insn_comparison ||
  907. insn->type == insn_in ||
  908. insn->type == insn_out
  909. )) {
  910. if ( insn->x86_operand_count( op_explicit ) > 0 &&
  911. is_memory_op( insn->operand_1st() ) ){
  912. size = insn->operand_1st()->operand_size();
  913. } else if ( insn->x86_operand_count( op_explicit ) > 1 &&
  914. is_memory_op( insn->operand_2nd() ) ){
  915. size = insn->operand_2nd()->operand_size();
  916. }
  917. }
  918. if ( size == 1 ) suffix = "b";
  919. else if ( size == 2 ) suffix = "w";
  920. else if ( size == 4 ) suffix = "l";
  921. else if ( size == 8 ) suffix = "q";
  922. else suffix = "";
  923. STRNCAT( buf, suffix, len );
  924. return ( strlen( buf ) );
  925. }
  926. int x86_format_mnemonic(x86_insn_t *insn, char *buf, int len,
  927. enum x86_asm_format format){
  928. char str[MAX_OP_STRING];
  929. memset( buf, 0, len );
  930. STRNCAT( buf, insn->prefix_string, len );
  931. if ( format == att_syntax ) {
  932. format_att_mnemonic( insn, str, sizeof str );
  933. STRNCAT( buf, str, len );
  934. } else {
  935. STRNCAT( buf, insn->mnemonic, len );
  936. }
  937. return( strlen( buf ) );
  938. }
  939. struct op_string { char *buf; size_t len; };
  940. static void format_op_raw( x86_op_t *op, x86_insn_t *insn, void *arg ) {
  941. struct op_string * opstr = (struct op_string *) arg;
  942. format_operand_raw(op, insn, opstr->buf, opstr->len);
  943. }
  944. static int format_insn_note(x86_insn_t *insn, char *buf, int len){
  945. char note[32] = {0};
  946. int len_orig = len, note_len = 32;
  947. if ( insn->note & insn_note_ring0 ) {
  948. STRNCATF( note, "%s", "Ring0 ", note_len );
  949. }
  950. if ( insn->note & insn_note_smm ) {
  951. STRNCATF( note, "%s", "SMM ", note_len );
  952. }
  953. if ( insn->note & insn_note_serial ) {
  954. STRNCATF(note, "%s", "Serialize ", note_len );
  955. }
  956. STRNCATF( buf, "%s|", note, len );
  957. return( len_orig - len );
  958. }
  959. static int format_raw_insn( x86_insn_t *insn, char *buf, size_t len ){
  960. struct op_string opstr = { buf, len };
  961. int i;
  962. /* RAW style:
  963. * ADDRESS|OFFSET|SIZE|BYTES|
  964. * PREFIX|PREFIX_STRING|GROUP|TYPE|NOTES|
  965. * MNEMONIC|CPU|ISA|FLAGS_SET|FLAGS_TESTED|
  966. * STACK_MOD|STACK_MOD_VAL
  967. * [|OP_TYPE|OP_DATATYPE|OP_ACCESS|OP_FLAGS|OP]*
  968. *
  969. * Register values are encoded as:
  970. * NAME:TYPE:SIZE
  971. *
  972. * Effective addresses are encoded as:
  973. * disp(base_reg,index_reg,scale)
  974. */
  975. STRNCATF( buf, "0x%08" PRIX32 "|", insn->addr , len );
  976. STRNCATF( buf, "0x%08" PRIX32 "|", insn->offset, len );
  977. STRNCATF( buf, "%d|" , insn->size , len );
  978. /* print bytes */
  979. for ( i = 0; i < insn->size; i++ ) {
  980. STRNCATF( buf, "%02X ", insn->bytes[i], len );
  981. }
  982. STRNCAT( buf, "|", len );
  983. len -= format_insn_prefix_str( insn->prefix, buf, len );
  984. STRNCATF( buf, "|%s|", insn->prefix_string , len );
  985. STRNCATF( buf, "%s|", get_insn_group_str( insn->group ), len );
  986. STRNCATF( buf, "%s|", get_insn_type_str( insn->type ) , len );
  987. STRNCATF( buf, "%s|", insn->mnemonic , len );
  988. STRNCATF( buf, "%s|", get_insn_cpu_str( insn->cpu ) , len );
  989. STRNCATF( buf, "%s|", get_insn_isa_str( insn->isa ) , len );
  990. /* insn note */
  991. len -= format_insn_note( insn, buf, len );
  992. len -= format_insn_eflags_str( insn->flags_set, buf, len );
  993. STRNCAT( buf, "|", len );
  994. len -= format_insn_eflags_str( insn->flags_tested, buf, len );
  995. STRNCAT( buf, "|", len );
  996. STRNCATF( buf, "%d|", insn->stack_mod, len );
  997. STRNCATF( buf, "%" PRId32 "|", insn->stack_mod_val, len );
  998. opstr.len = len;
  999. insn->x86_operand_foreach( format_op_raw, &opstr, op_any );
  1000. return( strlen (buf) );
  1001. }
  1002. static int format_xml_insn( x86_insn_t *insn, char *buf, int len ) {
  1003. char str[MAX_OP_XML_STRING];
  1004. int i;
  1005. STRNCAT( buf, "<x86_insn>\n", len );
  1006. STRNCATF( buf, "\t<address rva=\"0x%08" PRIX32 "\" ", insn->addr, len );
  1007. STRNCATF( buf, "offset=\"0x%08" PRIX32 "\" ", insn->offset, len );
  1008. STRNCATF( buf, "size=%d bytes=\"", insn->size, len );
  1009. for ( i = 0; i < insn->size; i++ ) {
  1010. STRNCATF( buf, "%02X ", insn->bytes[i], len );
  1011. }
  1012. STRNCAT( buf, "\"/>\n", len );
  1013. STRNCAT( buf, "\t<prefix type=\"", len );
  1014. len -= format_insn_prefix_str( insn->prefix, buf, len );
  1015. STRNCATF( buf, "\" string=\"%s\"/>\n", insn->prefix_string, len );
  1016. STRNCATF( buf, "\t<mnemonic group=\"%s\" ",
  1017. get_insn_group_str (insn->group), len );
  1018. STRNCATF( buf, "type=\"%s\" ", get_insn_type_str (insn->type), len );
  1019. STRNCATF( buf, "string=\"%s\"/>\n", insn->mnemonic, len );
  1020. STRNCAT( buf, "\t<flags type=set>\n", len );
  1021. STRNCAT( buf, "\t\t<flag name=\"", len );
  1022. len -= format_insn_eflags_str( insn->flags_set, buf, len );
  1023. STRNCAT( buf, "\"/>\n\t</flags>\n", len );
  1024. STRNCAT( buf, "\t<flags type=tested>\n", len );
  1025. STRNCAT( buf, "\t\t<flag name=\"", len );
  1026. len -= format_insn_eflags_str( insn->flags_tested, buf, len );
  1027. STRNCAT( buf, "\"/>\n\t</flags>\n", len );
  1028. if ( insn->operand_1st() ) {
  1029. insn->operand_1st()->x86_format_operand(str,
  1030. sizeof str, xml_syntax);
  1031. STRNCAT( buf, "\t<operand name=dest>\n", len );
  1032. STRNCAT( buf, str, len );
  1033. STRNCAT( buf, "\t</operand>\n", len );
  1034. }
  1035. if ( insn->operand_2nd() ) {
  1036. insn->operand_2nd()->x86_format_operand(str,sizeof str,
  1037. xml_syntax);
  1038. STRNCAT( buf, "\t<operand name=src>\n", len );
  1039. STRNCAT( buf, str, len );
  1040. STRNCAT( buf, "\t</operand>\n", len );
  1041. }
  1042. if ( insn->operand_3rd() ) {
  1043. insn->operand_3rd()->x86_format_operand(str,sizeof str,
  1044. xml_syntax);
  1045. STRNCAT( buf, "\t<operand name=imm>\n", len );
  1046. STRNCAT( buf, str, len );
  1047. STRNCAT( buf, "\t</operand>\n", len );
  1048. }
  1049. STRNCAT( buf, "</x86_insn>\n", len );
  1050. return strlen (buf);
  1051. }
  1052. int X86_Disasm::x86_format_header( char *buf, int len, enum x86_asm_format format ) {
  1053. switch (format) {
  1054. case att_syntax:
  1055. snprintf( buf, len, "MNEMONIC\tSRC, DEST, IMM" );
  1056. break;
  1057. case intel_syntax:
  1058. snprintf( buf, len, "MNEMONIC\tDEST, SRC, IMM" );
  1059. break;
  1060. case native_syntax:
  1061. snprintf( buf, len, "ADDRESS\tBYTES\tMNEMONIC\t"
  1062. "DEST\tSRC\tIMM" );
  1063. break;
  1064. case raw_syntax:
  1065. snprintf( buf, len, "ADDRESS|OFFSET|SIZE|BYTES|"
  1066. "PREFIX|PREFIX_STRING|GROUP|TYPE|NOTES|"
  1067. "MNEMONIC|CPU|ISA|FLAGS_SET|FLAGS_TESTED|"
  1068. "STACK_MOD|STACK_MOD_VAL"
  1069. "[|OP_TYPE|OP_DATATYPE|OP_ACCESS|OP_FLAGS|OP]*"
  1070. );
  1071. break;
  1072. case xml_syntax:
  1073. snprintf( buf, len,
  1074. "<x86_insn>"
  1075. "<address rva= offset= size= bytes=/>"
  1076. "<prefix type= string=/>"
  1077. "<mnemonic group= type= string= "
  1078. "cpu= isa= note= />"
  1079. "<flags type=set>"
  1080. "<flag name=>"
  1081. "</flags>"
  1082. "<stack_mod val= >"
  1083. "<flags type=tested>"
  1084. "<flag name=>"
  1085. "</flags>"
  1086. "<operand name=>"
  1087. "<register name= type= size=/>"
  1088. "<immediate type= value=/>"
  1089. "<relative_offset value=/>"
  1090. "<absolute_address value=>"
  1091. "<segment value=/>"
  1092. "</absolute_address>"
  1093. "<address_expression>"
  1094. "<segment value=/>"
  1095. "<base>"
  1096. "<register name= type= size=/>"
  1097. "</base>"
  1098. "<index>"
  1099. "<register name= type= size=/>"
  1100. "</index>"
  1101. "<scale>"
  1102. "<immediate value=/>"
  1103. "</scale>"
  1104. "<displacement>"
  1105. "<immediate value=/>"
  1106. "<address value=/>"
  1107. "</displacement>"
  1108. "</address_expression>"
  1109. "<segment_offset>"
  1110. "<address value=/>"
  1111. "</segment_offset>"
  1112. "</operand>"
  1113. "</x86_insn>"
  1114. );
  1115. break;
  1116. case unknown_syntax:
  1117. if ( len ) {
  1118. buf[0] = '\0';
  1119. }
  1120. break;
  1121. }
  1122. return( strlen(buf) );
  1123. }
  1124. /** format (sprintf) an instruction into 'buf' using specified syntax;
  1125. * this includes formatting all operands */
  1126. int x86_insn_t::x86_format_insn( char *buf, int len,
  1127. enum x86_asm_format format ){
  1128. char str[MAX_OP_STRING];
  1129. x86_op_t *src, *dst;
  1130. int i;
  1131. memset(buf, 0, len);
  1132. if ( format == intel_syntax ) {
  1133. /* INTEL STYLE: mnemonic dest, src, imm */
  1134. STRNCAT( buf, prefix_string, len );
  1135. STRNCAT( buf, mnemonic, len );
  1136. STRNCAT( buf, "\t", len );
  1137. /* dest */
  1138. if ( (dst = operand_1st()) && !(dst->flags.op_implied) ) {
  1139. dst->x86_format_operand(str, MAX_OP_STRING, format);
  1140. STRNCAT( buf, str, len );
  1141. }
  1142. /* src */
  1143. if ( (src = operand_2nd()) ) {
  1144. if ( !(dst->flags.op_implied) ) {
  1145. STRNCAT( buf, ", ", len );
  1146. }
  1147. src->x86_format_operand( str, MAX_OP_STRING, format);
  1148. STRNCAT( buf, str, len );
  1149. }
  1150. /* imm */
  1151. if ( operand_3rd()) {
  1152. STRNCAT( buf, ", ", len );
  1153. operand_3rd()->x86_format_operand(str, MAX_OP_STRING,format);
  1154. STRNCAT( buf, str, len );
  1155. }
  1156. } else if ( format == att_syntax ) {
  1157. /* ATT STYLE: mnemonic src, dest, imm */
  1158. STRNCAT( buf, prefix_string, len );
  1159. format_att_mnemonic(this, str, MAX_OP_STRING);
  1160. STRNCATF( buf, "%s\t", str, len);
  1161. /* not sure which is correct? sometimes GNU as requires
  1162. * an imm as the first operand, sometimes as the third... */
  1163. /* imm */
  1164. if ( operand_3rd() ) {
  1165. operand_3rd()->x86_format_operand(str, MAX_OP_STRING,format);
  1166. STRNCAT( buf, str, len );
  1167. /* there is always 'dest' operand if there is 'src' */
  1168. STRNCAT( buf, ", ", len );
  1169. }
  1170. if ( (note & insn_note_nonswap ) == 0 ) {
  1171. /* regular AT&T style swap */
  1172. src = operand_2nd();
  1173. dst = operand_1st();
  1174. }
  1175. else {
  1176. /* special-case instructions */
  1177. src = operand_1st();
  1178. dst = operand_2nd();
  1179. }
  1180. /* src */
  1181. if ( src ) {
  1182. src->x86_format_operand(str, MAX_OP_STRING, format);
  1183. STRNCAT( buf, str, len );
  1184. /* there is always 'dest' operand if there is 'src' */
  1185. if ( dst && !(dst->flags.op_implied) ) {
  1186. STRNCAT( buf, ", ", len );
  1187. }
  1188. }
  1189. /* dest */
  1190. if ( dst && !(dst->flags.op_implied) ) {
  1191. dst->x86_format_operand(str, MAX_OP_STRING, format);
  1192. STRNCAT( buf, str, len );
  1193. }
  1194. } else if ( format == raw_syntax ) {
  1195. format_raw_insn( this, buf, len );
  1196. } else if ( format == xml_syntax ) {
  1197. format_xml_insn( this, buf, len );
  1198. } else { /* default to native */
  1199. /* NATIVE style: RVA\tBYTES\tMNEMONIC\tOPERANDS */
  1200. /* print address */
  1201. STRNCATF( buf, "%08" PRIX32 "\t", addr, len );
  1202. /* print bytes */
  1203. for ( i = 0; i < size; i++ ) {
  1204. STRNCATF( buf, "%02X ", bytes[i], len );
  1205. }
  1206. STRNCAT( buf, "\t", len );
  1207. /* print mnemonic */
  1208. STRNCAT( buf, prefix_string, len );
  1209. STRNCAT( buf, mnemonic, len );
  1210. STRNCAT( buf, "\t", len );
  1211. /* print operands */
  1212. /* dest */
  1213. if ( operand_1st() ) {
  1214. operand_1st()->x86_format_operand(str, MAX_OP_STRING,format);
  1215. STRNCATF( buf, "%s\t", str, len );
  1216. }
  1217. /* src */
  1218. if ( operand_2nd() ) {
  1219. operand_2nd()->x86_format_operand(str, MAX_OP_STRING,format);
  1220. STRNCATF( buf, "%s\t", str, len );
  1221. }
  1222. /* imm */
  1223. if ( operand_3rd()) {
  1224. operand_3rd()->x86_format_operand(str, MAX_OP_STRING,format);
  1225. STRNCAT( buf, str, len );
  1226. }
  1227. }
  1228. return( strlen( buf ) );
  1229. }