1 /* disasm.c where all the _work_ gets done in the Netwide Disassembler
3 * The Netwide Assembler is copyright (C) 1996 Simon Tatham and
4 * Julian Hall. All rights reserved. The software is
5 * redistributable under the licence given in the file "Licence"
6 * distributed in the NASM archive.
8 * initial version 27/iii/95 by Simon Tatham
22 extern struct itemplate
**itable
[];
25 * Flags that go into the `segment' field of `insn' structures
28 #define SEG_RELATIVE 1
35 #define SEG_SIGNED 128
41 #define REX_P 0x40 /* REX prefix present */
42 #define REX_W 0x08 /* 64-bit operand size */
43 #define REX_R 0x04 /* ModRM reg extension */
44 #define REX_X 0x02 /* SIB index extension */
45 #define REX_B 0x01 /* ModRM r/m extension */
49 #define getu8(x) (*(uint8_t *)(x))
50 #if defined(__i386__) || defined(__x86_64__)
51 /* Littleendian CPU which can handle unaligned references */
52 #define getu16(x) (*(uint16_t *)(x))
53 #define getu32(x) (*(uint32_t *)(x))
54 #define getu64(x) (*(uint64_t *)(x))
56 static uint16_t getu16(uint8_t *data
)
58 return (uint16_t)data
[0] + ((uint16_t)data
[1] << 8);
60 static uint32_t getu32(uint8_t *data
)
62 return (uint32_t)getu16(data
) + ((uint32_t)getu16(data
+2) << 16);
64 static uint64_t getu64(uint8_t *data
)
66 return (uint64_t)getu32(data
) + ((uint64_t)getu32(data
+4) << 32);
70 #define gets8(x) ((int8_t)getu8(x))
71 #define gets16(x) ((int16_t)getu16(x))
72 #define gets32(x) ((int32_t)getu32(x))
73 #define gets64(x) ((int64_t)getu64(x))
75 /* Important: regval must already have been adjusted for rex extensions */
76 static int whichreg(int32_t regflags
, int regval
, int rex
)
78 if (!(REG_AL
& ~regflags
))
80 if (!(REG_AX
& ~regflags
))
82 if (!(REG_EAX
& ~regflags
))
84 if (!(REG_RAX
& ~regflags
))
86 if (!(REG_DL
& ~regflags
))
88 if (!(REG_DX
& ~regflags
))
90 if (!(REG_EDX
& ~regflags
))
92 if (!(REG_RDX
& ~regflags
))
94 if (!(REG_CL
& ~regflags
))
96 if (!(REG_CX
& ~regflags
))
98 if (!(REG_ECX
& ~regflags
))
100 if (!(REG_RCX
& ~regflags
))
102 if (!(FPU0
& ~regflags
))
104 if (!(REG_CS
& ~regflags
))
105 return (regval
== 1) ? R_CS
: 0;
106 if (!(REG_DESS
& ~regflags
))
107 return (regval
== 0 || regval
== 2
108 || regval
== 3 ? rd_sreg
[regval
] : 0);
109 if (!(REG_FSGS
& ~regflags
))
110 return (regval
== 4 || regval
== 5 ? rd_sreg
[regval
] : 0);
111 if (!(REG_SEG67
& ~regflags
))
112 return (regval
== 6 || regval
== 7 ? rd_sreg
[regval
] : 0);
114 /* All the entries below look up regval in an 16-entry array */
115 if (regval
< 0 || regval
> 15)
118 if (!(rex
& REX_P
) && regval
> 7)
119 return 0; /* Internal error! */
121 if (!((REGMEM
| BITS8
) & ~regflags
)) {
123 return rd_reg8_rex
[regval
];
125 return rd_reg8
[regval
];
127 if (!((REGMEM
| BITS16
) & ~regflags
))
128 return rd_reg16
[regval
];
129 if (!((REGMEM
| BITS32
) & ~regflags
))
130 return rd_reg32
[regval
];
131 if (!((REGMEM
| BITS64
) & ~regflags
))
132 return rd_reg64
[regval
];
133 if (!(REG_SREG
& ~regflags
))
134 return rd_sreg
[regval
& 7]; /* Ignore REX */
135 if (!(REG_CREG
& ~regflags
))
136 return rd_creg
[regval
];
137 if (!(REG_DREG
& ~regflags
))
138 return rd_dreg
[regval
];
139 if (!(REG_TREG
& ~regflags
)) {
141 return 0; /* TR registers are ill-defined with rex */
142 return rd_treg
[regval
];
144 if (!(FPUREG
& ~regflags
))
145 return rd_fpureg
[regval
& 7]; /* Ignore REX */
146 if (!(MMXREG
& ~regflags
))
147 return rd_mmxreg
[regval
& 7]; /* Ignore REX */
148 if (!(XMMREG
& ~regflags
))
149 return rd_xmmreg
[regval
];
154 static const char *whichcond(int condval
)
156 static int conds
[] = {
157 C_O
, C_NO
, C_C
, C_NC
, C_Z
, C_NZ
, C_NA
, C_A
,
158 C_S
, C_NS
, C_PE
, C_PO
, C_L
, C_NL
, C_NG
, C_G
160 return conditions
[conds
[condval
]];
164 * Process an effective address (ModRM) specification.
166 static uint8_t *do_ea(uint8_t *data
, int modrm
, int asize
,
167 int segsize
, operand
* op
, int rex
)
169 int mod
, rm
, scale
, index
, base
;
171 mod
= (modrm
>> 6) & 03;
174 if (mod
== 3) { /* pure register version */
175 op
->basereg
= rm
+(rex
& REX_B
? 8 : 0);
176 op
->segment
|= SEG_RMREG
;
184 * <mod> specifies the displacement size (none, byte or
185 * word), and <rm> specifies the register combination.
186 * Exception: mod=0,rm=6 does not specify [BP] as one might
187 * expect, but instead specifies [disp16].
189 op
->indexreg
= op
->basereg
= -1;
190 op
->scale
= 1; /* always, in 16 bits */
221 if (rm
== 6 && mod
== 0) { /* special case */
225 mod
= 2; /* fake disp16 */
229 op
->segment
|= SEG_NODISP
;
232 op
->segment
|= SEG_DISP8
;
233 op
->offset
= (int8_t)*data
++;
236 op
->segment
|= SEG_DISP16
;
237 op
->offset
= *data
++;
238 op
->offset
|= ((unsigned)*data
++) << 8;
244 * Once again, <mod> specifies displacement size (this time
245 * none, byte or *dword*), while <rm> specifies the base
246 * register. Again, [EBP] is missing, replaced by a pure
247 * disp32 (this time that's mod=0,rm=*5*) in 32-bit mode,
248 * and RIP-relative addressing in 64-bit mode.
251 * indicates not a single base register, but instead the
252 * presence of a SIB byte...
254 int a64
= asize
== 64;
259 op
->basereg
= rd_reg64
[rm
| ((rex
& REX_B
) ? 8 : 0)];
261 op
->basereg
= rd_reg32
[rm
| ((rex
& REX_B
) ? 8 : 0)];
263 if (rm
== 5 && mod
== 0) {
266 op
->segment
|= SEG_RELATIVE
;
267 mod
= 2; /* fake disp32 */
272 mod
= 2; /* fake disp32 */
276 if (rm
== 4) { /* process SIB */
277 scale
= (*data
>> 6) & 03;
278 index
= (*data
>> 3) & 07;
282 op
->scale
= 1 << scale
;
285 op
->indexreg
= -1; /* ESP/RSP/R12 cannot be an index */
287 op
->indexreg
= rd_reg64
[index
| ((rex
& REX_X
) ? 8 : 0)];
289 op
->indexreg
= rd_reg64
[index
| ((rex
& REX_X
) ? 8 : 0)];
291 if (base
== 5 && mod
== 0) {
293 mod
= 2; /* Fake disp32 */
295 op
->basereg
= rd_reg64
[base
| ((rex
& REX_B
) ? 8 : 0)];
297 op
->basereg
= rd_reg32
[base
| ((rex
& REX_B
) ? 8 : 0)];
302 op
->segment
|= SEG_NODISP
;
305 op
->segment
|= SEG_DISP8
;
306 op
->offset
= gets8(data
);
310 op
->segment
|= SEG_DISP32
;
311 op
->offset
= getu32(data
);
320 * Determine whether the instruction template in t corresponds to the data
321 * stream in data. Return the number of bytes matched if so.
323 static int matches(struct itemplate
*t
, uint8_t *data
, int asize
,
324 int osize
, int segsize
, int rep
, insn
* ins
,
325 int rex
, int *rexout
)
327 uint8_t *r
= (uint8_t *)(t
->code
);
328 uint8_t *origdata
= data
;
329 int a_used
= FALSE
, o_used
= FALSE
;
335 if (t
->flags
& IF_NOLONG
)
338 if (t
->flags
& IF_X64
)
344 else if (rep
== 0xF3)
350 /* FIX: change this into a switch */
351 if (c
>= 01 && c
<= 03) {
355 } else if (c
== 04) {
358 ins
->oprs
[0].basereg
= 0;
361 ins
->oprs
[0].basereg
= 2;
364 ins
->oprs
[0].basereg
= 3;
369 } else if (c
== 05) {
372 ins
->oprs
[0].basereg
= 4;
375 ins
->oprs
[0].basereg
= 5;
380 } else if (c
== 06) {
383 ins
->oprs
[0].basereg
= 0;
386 ins
->oprs
[0].basereg
= 1;
389 ins
->oprs
[0].basereg
= 2;
392 ins
->oprs
[0].basereg
= 3;
397 } else if (c
== 07) {
400 ins
->oprs
[0].basereg
= 4;
403 ins
->oprs
[0].basereg
= 5;
408 } else if (c
>= 010 && c
<= 012) {
409 int t
= *r
++, d
= *data
++;
410 if (d
< t
|| d
> t
+ 7)
413 ins
->oprs
[c
- 010].basereg
= (d
-t
)+(rex
& REX_B
? 8 : 0);
414 ins
->oprs
[c
- 010].segment
|= SEG_RMREG
;
416 } else if (c
== 017) {
419 } else if (c
>= 014 && c
<= 016) {
420 ins
->oprs
[c
- 014].offset
= (int8_t)*data
++;
421 ins
->oprs
[c
- 014].segment
|= SEG_SIGNED
;
422 } else if (c
>= 020 && c
<= 022) {
423 ins
->oprs
[c
- 020].offset
= *data
++;
424 } else if (c
>= 024 && c
<= 026) {
425 ins
->oprs
[c
- 024].offset
= *data
++;
426 } else if (c
>= 030 && c
<= 032) {
427 ins
->oprs
[c
- 030].offset
= getu16(data
);
429 } else if (c
>= 034 && c
<= 036) {
431 ins
->oprs
[c
- 034].offset
= getu32(data
);
434 ins
->oprs
[c
- 034].offset
= getu16(data
);
437 if (segsize
!= asize
)
438 ins
->oprs
[c
- 034].addr_size
= asize
;
439 } else if (c
>= 040 && c
<= 042) {
440 ins
->oprs
[c
- 040].offset
= getu32(data
);
442 } else if (c
>= 044 && c
<= 046) {
445 ins
->oprs
[c
- 044].offset
= getu16(data
);
449 ins
->oprs
[c
- 044].offset
= getu32(data
);
453 ins
->oprs
[c
- 044].offset
= getu64(data
);
457 if (segsize
!= asize
)
458 ins
->oprs
[c
- 044].addr_size
= asize
;
459 } else if (c
>= 050 && c
<= 052) {
460 ins
->oprs
[c
- 050].offset
= gets8(data
++);
461 ins
->oprs
[c
- 050].segment
|= SEG_RELATIVE
;
462 } else if (c
>= 054 && c
<= 056) {
463 ins
->oprs
[c
- 054].offset
= getu64(data
);
465 } else if (c
>= 060 && c
<= 062) {
466 ins
->oprs
[c
- 060].offset
= gets16(data
);
468 ins
->oprs
[c
- 060].segment
|= SEG_RELATIVE
;
469 ins
->oprs
[c
- 060].segment
&= ~SEG_32BIT
;
470 } else if (c
>= 064 && c
<= 066) {
472 ins
->oprs
[c
- 064].offset
= getu16(data
);
474 ins
->oprs
[c
- 064].segment
&= ~(SEG_32BIT
|SEG_64BIT
);
475 } else if (osize
== 32) {
476 ins
->oprs
[c
- 064].offset
= getu32(data
);
478 ins
->oprs
[c
- 064].segment
&= ~SEG_64BIT
;
479 ins
->oprs
[c
- 064].segment
|= SEG_32BIT
;
481 if (segsize
!= osize
) {
482 ins
->oprs
[c
- 064].type
=
483 (ins
->oprs
[c
- 064].type
& NON_SIZE
)
484 | ((osize
== 16) ? BITS16
: BITS32
);
486 } else if (c
>= 070 && c
<= 072) {
487 ins
->oprs
[c
- 070].offset
= getu32(data
);
489 ins
->oprs
[c
- 070].segment
|= SEG_32BIT
| SEG_RELATIVE
;
490 } else if (c
>= 0100 && c
< 0130) {
492 ins
->oprs
[c
& 07].basereg
= ((modrm
>> 3)&7)+(rex
& REX_R
? 8 : 0);
493 ins
->oprs
[c
& 07].segment
|= SEG_RMREG
;
494 data
= do_ea(data
, modrm
, asize
, segsize
,
495 &ins
->oprs
[(c
>> 3) & 07], rex
);
496 } else if (c
>= 0130 && c
<= 0132) {
497 ins
->oprs
[c
- 0130].offset
= getu16(data
);
499 } else if (c
>= 0140 && c
<= 0142) {
500 ins
->oprs
[c
- 0140].offset
= getu32(data
);
502 } else if (c
>= 0200 && c
<= 0277) {
504 if (((modrm
>> 3) & 07) != (c
& 07))
505 return FALSE
; /* spare field doesn't match up */
506 data
= do_ea(data
, modrm
, asize
, segsize
,
507 &ins
->oprs
[(c
>> 3) & 07], rex
);
508 } else if (c
>= 0300 && c
<= 0302) {
510 } else if (c
== 0310) {
515 } else if (c
== 0311) {
520 } else if (c
== 0312) {
521 if (asize
!= segsize
)
525 } else if (c
== 0320) {
530 } else if (c
== 0321) {
535 } else if (c
== 0322) {
536 if (osize
!= (segsize
== 16) ? 16 : 32)
540 } else if (c
== 0323) {
541 rex
|= REX_W
; /* 64-bit only instruction */
543 } else if (c
== 0324) {
544 if (!(rex
& (REX_P
|REX_W
)) || osize
!= 64)
546 } else if (c
== 0330) {
547 int t
= *r
++, d
= *data
++;
548 if (d
< t
|| d
> t
+ 15)
551 ins
->condition
= d
- t
;
552 } else if (c
== 0331) {
555 } else if (c
== 0332) {
558 } else if (c
== 0333) {
566 * Check for unused rep or a/o prefixes.
570 ins
->prefixes
[ins
->nprefix
++] = drep
;
571 if (!a_used
&& asize
!= segsize
)
572 ins
->prefixes
[ins
->nprefix
++] = asize
== 16 ? P_A16
: P_A32
;
573 if (!o_used
&& osize
== ((segsize
== 16) ? 32 : 16)) {
574 fprintf(stderr
, "osize = %d, segsize = %d\n", osize
, segsize
);
575 ins
->prefixes
[ins
->nprefix
++] = osize
== 16 ? P_O16
: P_O32
;
578 /* Fix: check for redundant REX prefixes */
581 return data
- origdata
;
584 int32_t disasm(uint8_t *data
, char *output
, int outbufsize
, int segsize
,
585 int32_t offset
, int autosync
, uint32_t prefer
)
587 struct itemplate
**p
, **best_p
;
588 int length
, best_length
= 0;
590 int rep
, lock
, asize
, osize
, i
, slen
, colon
, rex
, rexout
, best_rex
;
594 uint32_t goodness
, best
;
600 osize
= (segsize
== 64) ? 32 : segsize
;
606 if (*data
== 0xF3 || *data
== 0xF2)
608 else if (*data
== 0xF0)
610 else if (*data
== 0x2E)
611 segover
= "cs", data
++;
612 else if (*data
== 0x36)
613 segover
= "ss", data
++;
614 else if (*data
== 0x3E)
615 segover
= "ds", data
++;
616 else if (*data
== 0x26)
617 segover
= "es", data
++;
618 else if (*data
== 0x64)
619 segover
= "fs", data
++;
620 else if (*data
== 0x65)
621 segover
= "gs", data
++;
622 else if (*data
== 0x66) {
623 osize
= (segsize
== 16) ? 32 : 16;
625 } else if (*data
== 0x67) {
626 asize
= (segsize
== 32) ? 16 : 32;
628 } else if (segsize
== 64 && (*data
& 0xf0) == REX_P
) {
632 break; /* REX is always the last prefix */
638 tmp_ins
.oprs
[0].segment
= tmp_ins
.oprs
[1].segment
=
639 tmp_ins
.oprs
[2].segment
=
640 tmp_ins
.oprs
[0].addr_size
= tmp_ins
.oprs
[1].addr_size
=
641 tmp_ins
.oprs
[2].addr_size
= (segsize
== 64 ? SEG_64BIT
:
642 segsize
== 32 ? SEG_32BIT
: 0);
643 tmp_ins
.condition
= -1;
644 best
= -1; /* Worst possible */
647 for (p
= itable
[*data
]; *p
; p
++) {
648 if ((length
= matches(*p
, data
, asize
, osize
,
649 segsize
, rep
, &tmp_ins
, rex
, &rexout
))) {
652 * Final check to make sure the types of r/m match up.
654 for (i
= 0; i
< (*p
)->operands
; i
++) {
656 /* If it's a mem-only EA but we have a register, die. */
657 ((tmp_ins
.oprs
[i
].segment
& SEG_RMREG
) &&
658 !(MEMORY
& ~(*p
)->opd
[i
])) ||
659 /* If it's a reg-only EA but we have a memory ref, die. */
660 (!(tmp_ins
.oprs
[i
].segment
& SEG_RMREG
) &&
661 !(REGNORM
& ~(*p
)->opd
[i
]) &&
662 !((*p
)->opd
[i
] & REG_SMASK
)) ||
663 /* Register type mismatch (eg FS vs REG_DESS): die. */
664 ((((*p
)->opd
[i
] & (REGISTER
| FPUREG
)) ||
665 (tmp_ins
.oprs
[i
].segment
& SEG_RMREG
)) &&
666 !whichreg((*p
)->opd
[i
],
667 tmp_ins
.oprs
[i
].basereg
, rexout
))) {
674 goodness
= ((*p
)->flags
& IF_PFMASK
) ^ prefer
;
675 if (goodness
< best
) {
676 /* This is the best one found so far */
679 best_length
= length
;
688 return 0; /* no instruction was matched */
690 /* Pick the best match */
692 length
= best_length
;
694 if (best_rex
& REX_W
)
699 /* TODO: snprintf returns the value that the string would have if
700 * the buffer were long enough, and not the actual length of
701 * the returned string, so each instance of using the return
702 * value of snprintf should actually be checked to assure that
703 * the return value is "sane." Maybe a macro wrapper could
704 * be used for that purpose.
707 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "lock ");
708 for (i
= 0; i
< ins
.nprefix
; i
++)
709 switch (ins
.prefixes
[i
]) {
711 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "rep ");
714 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "repe ");
717 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "repne ");
720 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "a16 ");
723 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "a32 ");
726 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "o16 ");
729 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "o32 ");
733 for (i
= 0; i
< elements(ico
); i
++)
734 if ((*p
)->opcode
== ico
[i
]) {
736 snprintf(output
+ slen
, outbufsize
- slen
, "%s%s", icn
[i
],
737 whichcond(ins
.condition
));
740 if (i
>= elements(ico
))
742 snprintf(output
+ slen
, outbufsize
- slen
, "%s",
743 insn_names
[(*p
)->opcode
]);
745 length
+= data
- origdata
; /* fix up for prefixes */
746 for (i
= 0; i
< (*p
)->operands
; i
++) {
747 output
[slen
++] = (colon
? ':' : i
== 0 ? ' ' : ',');
749 if (ins
.oprs
[i
].segment
& SEG_RELATIVE
) {
750 ins
.oprs
[i
].offset
+= offset
+ length
;
752 * sort out wraparound
754 if (!(ins
.oprs
[i
].segment
& (SEG_32BIT
|SEG_64BIT
)))
755 ins
.oprs
[i
].offset
&= 0xffff;
757 * add sync marker, if autosync is on
760 add_sync(ins
.oprs
[i
].offset
, 0L);
763 if ((*p
)->opd
[i
] & COLON
)
768 if (((*p
)->opd
[i
] & (REGISTER
| FPUREG
)) ||
769 (ins
.oprs
[i
].segment
& SEG_RMREG
)) {
770 ins
.oprs
[i
].basereg
= whichreg((*p
)->opd
[i
],
771 ins
.oprs
[i
].basereg
, rex
);
772 if ((*p
)->opd
[i
] & TO
)
773 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "to ");
774 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "%s",
775 reg_names
[ins
.oprs
[i
].basereg
-
777 } else if (!(UNITY
& ~(*p
)->opd
[i
])) {
778 output
[slen
++] = '1';
779 } else if ((*p
)->opd
[i
] & IMMEDIATE
) {
780 if ((*p
)->opd
[i
] & BITS8
) {
782 snprintf(output
+ slen
, outbufsize
- slen
, "byte ");
783 if (ins
.oprs
[i
].segment
& SEG_SIGNED
) {
784 if (ins
.oprs
[i
].offset
< 0) {
785 ins
.oprs
[i
].offset
*= -1;
786 output
[slen
++] = '-';
788 output
[slen
++] = '+';
790 } else if ((*p
)->opd
[i
] & BITS16
) {
792 snprintf(output
+ slen
, outbufsize
- slen
, "word ");
793 } else if ((*p
)->opd
[i
] & BITS32
) {
795 snprintf(output
+ slen
, outbufsize
- slen
, "dword ");
796 } else if ((*p
)->opd
[i
] & BITS64
) {
798 snprintf(output
+ slen
, outbufsize
- slen
, "qword ");
799 } else if ((*p
)->opd
[i
] & NEAR
) {
801 snprintf(output
+ slen
, outbufsize
- slen
, "near ");
802 } else if ((*p
)->opd
[i
] & SHORT
) {
804 snprintf(output
+ slen
, outbufsize
- slen
, "short ");
807 snprintf(output
+ slen
, outbufsize
- slen
, "0x%"PRIx64
"",
809 } else if (!(MEM_OFFS
& ~(*p
)->opd
[i
])) {
811 snprintf(output
+ slen
, outbufsize
- slen
, "[%s%s%s0x%"PRIx64
"]",
812 ((const char*)segover
? (const char*)segover
: ""), /* placate type mistmatch warning */
813 ((const char*)segover
? ":" : ""), /* by using (const char*) instead of uint8_t* */
814 (ins
.oprs
[i
].addr_size
==
815 32 ? "dword " : ins
.oprs
[i
].addr_size
==
816 16 ? "word " : ""), ins
.oprs
[i
].offset
);
818 } else if (!(REGMEM
& ~(*p
)->opd
[i
])) {
820 if ((*p
)->opd
[i
] & BITS8
)
822 snprintf(output
+ slen
, outbufsize
- slen
, "byte ");
823 if ((*p
)->opd
[i
] & BITS16
)
825 snprintf(output
+ slen
, outbufsize
- slen
, "word ");
826 if ((*p
)->opd
[i
] & BITS32
)
828 snprintf(output
+ slen
, outbufsize
- slen
, "dword ");
829 if ((*p
)->opd
[i
] & BITS64
)
831 snprintf(output
+ slen
, outbufsize
- slen
, "qword ");
832 if ((*p
)->opd
[i
] & BITS80
)
834 snprintf(output
+ slen
, outbufsize
- slen
, "tword ");
835 if ((*p
)->opd
[i
] & FAR
)
836 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "far ");
837 if ((*p
)->opd
[i
] & NEAR
)
839 snprintf(output
+ slen
, outbufsize
- slen
, "near ");
840 output
[slen
++] = '[';
841 if (ins
.oprs
[i
].addr_size
)
842 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "%s",
843 (ins
.oprs
[i
].addr_size
== 64 ? "qword " :
844 ins
.oprs
[i
].addr_size
== 32 ? "dword " :
845 ins
.oprs
[i
].addr_size
== 16 ? "word " :
849 snprintf(output
+ slen
, outbufsize
- slen
, "%s:",
853 if (ins
.oprs
[i
].basereg
!= -1) {
854 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "%s",
855 reg_names
[(ins
.oprs
[i
].basereg
-
859 if (ins
.oprs
[i
].indexreg
!= -1) {
861 output
[slen
++] = '+';
862 slen
+= snprintf(output
+ slen
, outbufsize
- slen
, "%s",
863 reg_names
[(ins
.oprs
[i
].indexreg
-
865 if (ins
.oprs
[i
].scale
> 1)
867 snprintf(output
+ slen
, outbufsize
- slen
, "*%d",
871 if (ins
.oprs
[i
].segment
& SEG_DISP8
) {
873 int8_t offset
= ins
.oprs
[i
].offset
;
879 snprintf(output
+ slen
, outbufsize
- slen
, "%s0x%"PRIx8
"",
880 minus
? "-" : "+", offset
);
881 } else if (ins
.oprs
[i
].segment
& SEG_DISP16
) {
883 int16_t offset
= ins
.oprs
[i
].offset
;
889 snprintf(output
+ slen
, outbufsize
- slen
, "%s0x%"PRIx16
"",
890 minus
? "-" : started
? "+" : "", offset
);
891 } else if (ins
.oprs
[i
].segment
& SEG_DISP32
) {
893 int32_t offset
= ins
.oprs
[i
].offset
;
894 if (ins
.oprs
[i
].basereg
== R_RIP
) {
896 } else if (offset
< 0) {
900 prefix
= started
? "+" : "";
903 snprintf(output
+ slen
, outbufsize
- slen
,
904 "%s0x%"PRIx32
"", prefix
, offset
);
906 output
[slen
++] = ']';
909 snprintf(output
+ slen
, outbufsize
- slen
, "<operand%d>",
914 if (segover
) { /* unused segment override */
916 int count
= slen
+ 1;
918 p
[count
+ 3] = p
[count
];
919 strncpy(output
, segover
, 2);
925 int32_t eatbyte(uint8_t *data
, char *output
, int outbufsize
)
927 snprintf(output
, outbufsize
, "db 0x%02X", *data
);