555 lines
18 KiB
C
555 lines
18 KiB
C
|
|
#include <stdbool.h>
|
|
#include <stddef.h>
|
|
#include <stdint.h>
|
|
#ifdef _MSC_VER
|
|
#include <intrin.h>
|
|
#endif
|
|
|
|
#include <fadec.h>
|
|
|
|
|
|
#ifdef __GNUC__
|
|
#define LIKELY(x) __builtin_expect((x), 1)
|
|
#define UNLIKELY(x) __builtin_expect((x), 0)
|
|
#define DECLARE_ARRAY_SIZE(n) static n
|
|
#define DECLARE_RESTRICTED_ARRAY_SIZE(n) restrict static n
|
|
#else
|
|
#define LIKELY(x) (x)
|
|
#define UNLIKELY(x) (x)
|
|
#define DECLARE_ARRAY_SIZE(n) n
|
|
#define DECLARE_RESTRICTED_ARRAY_SIZE(n) n
|
|
#endif
|
|
|
|
struct FdStr {
|
|
const char* s;
|
|
unsigned sz;
|
|
};
|
|
|
|
#define fd_stre(s) ((struct FdStr) { (s "\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0"), sizeof (s)-1 })
|
|
|
|
static char*
|
|
fd_strpcat(char* restrict dst, struct FdStr src) {
|
|
#ifdef __GNUC__
|
|
unsigned lim = __builtin_constant_p(src.sz) && src.sz <= 8 ? 8 : 16;
|
|
#else
|
|
unsigned lim = 16;
|
|
#endif
|
|
for (unsigned i = 0; i < lim; i++)
|
|
dst[i] = src.s[i];
|
|
// __builtin_memcpy(dst, src.s, 16);
|
|
return dst + src.sz;
|
|
}
|
|
|
|
static unsigned
|
|
fd_clz64(uint64_t v) {
|
|
#if defined(__GNUC__)
|
|
#if INTPTR_MAX == INT64_MAX
|
|
return __builtin_clzl(v);
|
|
#else
|
|
if (v <= 0xffffffff)
|
|
return 32 + __builtin_clzl(v);
|
|
return __builtin_clzl(v >> 32);
|
|
#endif
|
|
#elif defined(_MSC_VER)
|
|
unsigned long index;
|
|
|
|
#if INTPTR_MAX == INT64_MAX
|
|
_BitScanReverse64(&index, v);
|
|
#else
|
|
if (_BitScanReverse(&index, v >> 32))
|
|
return 31 - index;
|
|
|
|
_BitScanReverse(&index, v & 0xffffffff);
|
|
#endif
|
|
|
|
return 63 - index;
|
|
#else
|
|
#error Unsupported compiler.
|
|
#endif
|
|
}
|
|
|
|
#if defined(__SSE2__)
|
|
#include <immintrin.h>
|
|
#endif
|
|
|
|
static char*
|
|
fd_strpcatnum(char dst[DECLARE_ARRAY_SIZE(18)], uint64_t val) {
|
|
unsigned lz = fd_clz64(val|1);
|
|
unsigned numbytes = 16 - (lz / 4);
|
|
#if defined(__SSE2__)
|
|
__m128i mv = _mm_set_epi64x(0, val << (lz & -4));
|
|
__m128i mvp = _mm_unpacklo_epi8(mv, mv);
|
|
__m128i mva = _mm_srli_epi16(mvp, 12);
|
|
__m128i mvb = _mm_and_si128(mvp, _mm_set1_epi16(0x0f00u));
|
|
__m128i ml = _mm_or_si128(mva, mvb);
|
|
__m128i mn = _mm_or_si128(ml, _mm_set1_epi8(0x30));
|
|
__m128i mgt = _mm_cmpgt_epi8(ml, _mm_set1_epi8(9));
|
|
__m128i mgtm = _mm_and_si128(mgt, _mm_set1_epi8(0x61 - 0x3a));
|
|
__m128i ma = _mm_add_epi8(mn, mgtm);
|
|
__m128i msw = _mm_shufflehi_epi16(_mm_shufflelo_epi16(ma, 0x1b), 0x1b);
|
|
__m128i ms = _mm_shuffle_epi32(msw, 0x4e);
|
|
_mm_storeu_si128((__m128i_u*) (dst + 2), ms);
|
|
#else
|
|
unsigned idx = numbytes + 2;
|
|
do {
|
|
dst[--idx] = "0123456789abcdef"[val % 16];
|
|
val /= 16;
|
|
} while (val);
|
|
#endif
|
|
dst[0] = '0';
|
|
dst[1] = 'x';
|
|
return dst + numbytes + 2;
|
|
}
|
|
|
|
static char*
|
|
fd_strpcatreg(char* restrict dst, size_t rt, size_t ri, unsigned size) {
|
|
const char* nametab =
|
|
"\2al\4bnd0\2cl\4bnd1\2dl\4bnd2\2bl\4bnd3"
|
|
"\3spl\0 \3bpl\0 \3sil\0 \3dil\0 "
|
|
"\3r8b\0 \3r9b\0 \4r10b\0 \4r11b\0 "
|
|
"\4r12b\2ah\4r13b\2ch\4r14b\2dh\4r15b\2bh\0\0 "
|
|
|
|
"\2ax\4tmm0\2cx\4tmm1\2dx\4tmm2\2bx\4tmm3"
|
|
"\2sp\4tmm4\2bp\4tmm5\2si\4tmm6\2di\4tmm7"
|
|
"\3r8w \2es\3r9w \2cs\4r10w\2ss\4r11w\2ds"
|
|
"\4r12w\2fs\4r13w\2gs\4r14w\0 \4r15w\0 \2ip\0 "
|
|
|
|
"\3eax\3mm0\3ecx\3mm1\3edx\3mm2\3ebx\3mm3"
|
|
"\3esp\3mm4\3ebp\3mm5\3esi\3mm6\3edi\3mm7"
|
|
"\3r8d \2k0\3r9d \2k1\4r10d\2k2\4r11d\2k3"
|
|
"\4r12d\2k4\4r13d\2k5\4r14d\2k6\4r15d\2k7\3eip\0 "
|
|
|
|
"\3rax\3cr0\3rcx\0 \3rdx\3cr2\3rbx\3cr3"
|
|
"\3rsp\3cr4\3rbp\0 \3rsi\0 \3rdi\0 "
|
|
"\2r8 \3cr8\2r9 \3dr0\3r10\3dr1\3r11\3dr2"
|
|
"\3r12\3dr3\3r13\3dr4\3r14\3dr5\3r15\3dr6\3rip\3dr7"
|
|
|
|
"\5st(0)\0 \5st(1)\0 \5st(2)\0 \5st(3)\0 "
|
|
"\5st(4)\0 \5st(5)\0 \5st(6)\0 \5st(7)\0 "
|
|
|
|
"\4xmm0\0 \4xmm1\0 \4xmm2\0 \4xmm3\0 "
|
|
"\4xmm4\0 \4xmm5\0 \4xmm6\0 \4xmm7\0 "
|
|
"\4xmm8\0 \4xmm9\0 \5xmm10\0 \5xmm11\0 "
|
|
"\5xmm12\0 \5xmm13\0 \5xmm14\0 \5xmm15\0 "
|
|
"\5xmm16\0 \5xmm17\0 \5xmm18\0 \5xmm19\0 "
|
|
"\5xmm20\0 \5xmm21\0 \5xmm22\0 \5xmm23\0 "
|
|
"\5xmm24\0 \5xmm25\0 \5xmm26\0 \5xmm27\0 "
|
|
"\5xmm28\0 \5xmm29\0 \5xmm30\0 \5xmm31\0 ";
|
|
|
|
static const uint16_t nametabidx[] = {
|
|
[FD_RT_GPL] = 0 * 17*8 + 0 * 8 + 0,
|
|
[FD_RT_GPH] = 0 * 17*8 + 8 * 8 + 5,
|
|
[FD_RT_SEG] = 1 * 17*8 + 8 * 8 + 5,
|
|
[FD_RT_FPU] = 4 * 17*8 + 0 * 8 + 0,
|
|
[FD_RT_MMX] = 2 * 17*8 + 0 * 8 + 4,
|
|
[FD_RT_VEC] = 4 * 17*8 + 8 * 8 + 0,
|
|
[FD_RT_MASK]= 2 * 17*8 + 8 * 8 + 5,
|
|
[FD_RT_BND] = 0 * 17*8 + 0 * 8 + 3,
|
|
[FD_RT_CR] = 3 * 17*8 + 0 * 8 + 4,
|
|
[FD_RT_DR] = 3 * 17*8 + 9 * 8 + 4,
|
|
// [FD_RT_TMM] = 1 * 17*8 + 0 * 8 + 3,
|
|
};
|
|
|
|
unsigned idx = rt == FD_RT_GPL ? size * 17*8 : nametabidx[rt];
|
|
const char* name = nametab + idx + 8*ri;
|
|
for (unsigned i = 0; i < 8; i++)
|
|
dst[i] = name[i+1];
|
|
if (UNLIKELY(rt == FD_RT_VEC && size > 4))
|
|
dst[0] += size - 4;
|
|
return dst + *name;
|
|
}
|
|
|
|
const char*
|
|
fdi_name(FdInstrType ty) {
|
|
(void) ty;
|
|
return "(invalid)";
|
|
}
|
|
|
|
static char*
|
|
fd_mnemonic(char buf[DECLARE_RESTRICTED_ARRAY_SIZE(48)], const FdInstr* instr) {
|
|
#define FD_DECODE_TABLE_STRTAB1
|
|
static const char* mnemonic_str =
|
|
#include <fadec-decode-private.inc>
|
|
"\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0"; // 15 NULL Bytes to prevent overflow
|
|
#undef FD_DECODE_TABLE_STRTAB1
|
|
|
|
#define FD_DECODE_TABLE_STRTAB2
|
|
static const uint16_t mnemonic_offs[] = {
|
|
#include <fadec-decode-private.inc>
|
|
};
|
|
#undef FD_DECODE_TABLE_STRTAB2
|
|
|
|
#define FD_DECODE_TABLE_STRTAB3
|
|
static const uint8_t mnemonic_lens[] = {
|
|
#include <fadec-decode-private.inc>
|
|
};
|
|
#undef FD_DECODE_TABLE_STRTAB3
|
|
|
|
const char* mnem = &mnemonic_str[mnemonic_offs[FD_TYPE(instr)]];
|
|
unsigned mnemlen = mnemonic_lens[FD_TYPE(instr)];
|
|
|
|
bool prefix_xacq_xrel = false;
|
|
bool prefix_segment = false;
|
|
|
|
char sizesuffix[4] = {0};
|
|
unsigned sizesuffixlen = 0;
|
|
|
|
if (UNLIKELY(FD_OP_TYPE(instr, 0) == FD_OT_OFF && FD_OP_SIZELG(instr, 0) == 1))
|
|
sizesuffix[0] = 'w', sizesuffixlen = 1;
|
|
|
|
switch (UNLIKELY(FD_TYPE(instr))) {
|
|
case FDI_C_SEP:
|
|
mnem += FD_OPSIZE(instr) & 0xc;
|
|
mnemlen = 3;
|
|
break;
|
|
case FDI_C_EX:
|
|
mnem += FD_OPSIZE(instr) & 0xc;
|
|
mnemlen = FD_OPSIZE(instr) < 4 ? 3 : 4;
|
|
break;
|
|
case FDI_CMPXCHGD:
|
|
switch (FD_OPSIZELG(instr)) {
|
|
default: break;
|
|
case 2: sizesuffix[0] = '8', sizesuffix[1] = 'b', sizesuffixlen = 2; break;
|
|
case 3: sizesuffix[0] = '1', sizesuffix[1] = '6', sizesuffix[2] = 'b', sizesuffixlen = 3; break;
|
|
}
|
|
break;
|
|
case FDI_JCXZ:
|
|
mnemlen = FD_ADDRSIZELG(instr) == 1 ? 4 : 5;
|
|
mnem += 5 * (FD_ADDRSIZELG(instr) - 1);
|
|
break;
|
|
case FDI_PUSH:
|
|
if (FD_OP_SIZELG(instr, 0) == 1 && FD_OP_TYPE(instr, 0) == FD_OT_IMM)
|
|
sizesuffix[0] = 'w', sizesuffixlen = 1;
|
|
// FALLTHROUGH
|
|
case FDI_POP:
|
|
if (FD_OP_SIZELG(instr, 0) == 1 && FD_OP_TYPE(instr, 0) == FD_OT_REG &&
|
|
FD_OP_REG_TYPE(instr, 0) == FD_RT_SEG)
|
|
sizesuffix[0] = 'w', sizesuffixlen = 1;
|
|
break;
|
|
case FDI_XCHG:
|
|
if (FD_OP_TYPE(instr, 0) == FD_OT_MEM)
|
|
prefix_xacq_xrel = true;
|
|
break;
|
|
case FDI_MOV:
|
|
// MOV C6h/C7h can have XRELEASE prefix.
|
|
if (FD_HAS_REP(instr) && FD_OP_TYPE(instr, 0) == FD_OT_MEM &&
|
|
FD_OP_TYPE(instr, 1) == FD_OT_IMM)
|
|
prefix_xacq_xrel = true;
|
|
break;
|
|
case FDI_FXSAVE:
|
|
case FDI_FXRSTOR:
|
|
case FDI_XSAVE:
|
|
case FDI_XSAVEC:
|
|
case FDI_XSAVEOPT:
|
|
case FDI_XSAVES:
|
|
case FDI_XRSTOR:
|
|
case FDI_XRSTORS:
|
|
if (FD_OPSIZELG(instr) == 3)
|
|
sizesuffix[0] = '6', sizesuffix[1] = '4', sizesuffixlen = 2;
|
|
break;
|
|
case FDI_EVX_MOV_G2X:
|
|
case FDI_EVX_MOV_X2G:
|
|
case FDI_EVX_PEXTR:
|
|
sizesuffix[0] = "bwdq"[FD_OP_SIZELG(instr, 0)];
|
|
sizesuffixlen = 1;
|
|
break;
|
|
case FDI_EVX_PBROADCAST:
|
|
sizesuffix[0] = "bwdq"[FD_OP_SIZELG(instr, 1)];
|
|
sizesuffixlen = 1;
|
|
break;
|
|
case FDI_EVX_PINSR:
|
|
sizesuffix[0] = "bwdq"[FD_OP_SIZELG(instr, 2)];
|
|
sizesuffixlen = 1;
|
|
break;
|
|
case FDI_RET:
|
|
case FDI_ENTER:
|
|
case FDI_LEAVE:
|
|
if (FD_OPSIZELG(instr) == 1)
|
|
sizesuffix[0] = 'w', sizesuffixlen = 1;
|
|
break;
|
|
case FDI_LODS:
|
|
case FDI_MOVS:
|
|
case FDI_CMPS:
|
|
case FDI_OUTS:
|
|
prefix_segment = true;
|
|
// FALLTHROUGH
|
|
case FDI_STOS:
|
|
case FDI_SCAS:
|
|
case FDI_INS:
|
|
if (FD_HAS_REP(instr))
|
|
buf = fd_strpcat(buf, fd_stre("rep "));
|
|
if (FD_HAS_REPNZ(instr))
|
|
buf = fd_strpcat(buf, fd_stre("repnz "));
|
|
if (FD_IS64(instr) && FD_ADDRSIZELG(instr) == 2)
|
|
buf = fd_strpcat(buf, fd_stre("addr32 "));
|
|
if (!FD_IS64(instr) && FD_ADDRSIZELG(instr) == 1)
|
|
buf = fd_strpcat(buf, fd_stre("addr16 "));
|
|
// FALLTHROUGH
|
|
case FDI_PUSHA:
|
|
case FDI_POPA:
|
|
case FDI_PUSHF:
|
|
case FDI_POPF:
|
|
case FDI_RETF:
|
|
case FDI_IRET:
|
|
case FDI_IN:
|
|
case FDI_OUT:
|
|
sizesuffix[0] = "bwdq"[FD_OPSIZELG(instr)];
|
|
sizesuffixlen = 1;
|
|
break;
|
|
default: break;
|
|
}
|
|
|
|
if (UNLIKELY(prefix_xacq_xrel || FD_HAS_LOCK(instr))) {
|
|
if (FD_HAS_REP(instr))
|
|
buf = fd_strpcat(buf, fd_stre("xrelease "));
|
|
if (FD_HAS_REPNZ(instr))
|
|
buf = fd_strpcat(buf, fd_stre("xacquire "));
|
|
}
|
|
if (UNLIKELY(FD_HAS_LOCK(instr)))
|
|
buf = fd_strpcat(buf, fd_stre("lock "));
|
|
if (UNLIKELY(prefix_segment && FD_SEGMENT(instr) != FD_REG_NONE)) {
|
|
*buf++ = "ecsdfg\0"[FD_SEGMENT(instr) & 7];
|
|
*buf++ = 's';
|
|
*buf++ = ' ';
|
|
}
|
|
|
|
for (unsigned i = 0; i < 16; i++)
|
|
buf[i] = mnem[i];
|
|
buf += mnemlen;
|
|
for (unsigned i = 0; i < 4; i++)
|
|
buf[i] = sizesuffix[i];
|
|
buf += sizesuffixlen;
|
|
|
|
return buf;
|
|
}
|
|
|
|
static char*
|
|
fd_format_impl(char buf[DECLARE_RESTRICTED_ARRAY_SIZE(128)], const FdInstr* instr, uint64_t addr) {
|
|
buf = fd_mnemonic(buf, instr);
|
|
|
|
for (int i = 0; i < 4; i++)
|
|
{
|
|
FdOpType op_type = FD_OP_TYPE(instr, i);
|
|
if (op_type == FD_OT_NONE)
|
|
break;
|
|
if (i > 0)
|
|
*buf++ = ',';
|
|
*buf++ = ' ';
|
|
|
|
int size = FD_OP_SIZELG(instr, i);
|
|
|
|
if (op_type == FD_OT_REG) {
|
|
unsigned type = FD_OP_REG_TYPE(instr, i);
|
|
unsigned idx = FD_OP_REG(instr, i);
|
|
buf = fd_strpcatreg(buf, type, idx, size);
|
|
} else if (op_type == FD_OT_MEM || op_type == FD_OT_MEMBCST) {
|
|
unsigned idx_rt = FD_RT_GPL;
|
|
unsigned idx_sz = FD_ADDRSIZELG(instr);
|
|
switch (FD_TYPE(instr)) {
|
|
case FDI_CMPXCHGD: size = FD_OPSIZELG(instr) + 1; break;
|
|
case FDI_BOUND: size += 1; break;
|
|
case FDI_JMPF:
|
|
case FDI_CALLF:
|
|
case FDI_LDS:
|
|
case FDI_LES:
|
|
case FDI_LFS:
|
|
case FDI_LGS:
|
|
case FDI_LSS:
|
|
size += 6;
|
|
break;
|
|
case FDI_FLD:
|
|
case FDI_FSTP:
|
|
case FDI_FBLD:
|
|
case FDI_FBSTP:
|
|
size = size >= 0 ? size : 9;
|
|
break;
|
|
case FDI_VPGATHERQD:
|
|
case FDI_VGATHERQPS:
|
|
case FDI_EVX_PGATHERQD:
|
|
case FDI_EVX_GATHERQPS:
|
|
idx_rt = FD_RT_VEC;
|
|
idx_sz = FD_OP_SIZELG(instr, 0) + 1;
|
|
break;
|
|
case FDI_EVX_PSCATTERQD:
|
|
case FDI_EVX_SCATTERQPS:
|
|
idx_rt = FD_RT_VEC;
|
|
idx_sz = FD_OP_SIZELG(instr, 1) + 1;
|
|
break;
|
|
case FDI_VPGATHERDQ:
|
|
case FDI_VGATHERDPD:
|
|
case FDI_EVX_PGATHERDQ:
|
|
case FDI_EVX_GATHERDPD:
|
|
idx_rt = FD_RT_VEC;
|
|
idx_sz = FD_OP_SIZELG(instr, 0) - 1;
|
|
break;
|
|
case FDI_EVX_PSCATTERDQ:
|
|
case FDI_EVX_SCATTERDPD:
|
|
idx_rt = FD_RT_VEC;
|
|
idx_sz = FD_OP_SIZELG(instr, 1) - 1;
|
|
break;
|
|
case FDI_VPGATHERDD:
|
|
case FDI_VPGATHERQQ:
|
|
case FDI_VGATHERDPS:
|
|
case FDI_VGATHERQPD:
|
|
case FDI_EVX_PGATHERDD:
|
|
case FDI_EVX_PGATHERQQ:
|
|
case FDI_EVX_GATHERDPS:
|
|
case FDI_EVX_GATHERQPD:
|
|
idx_rt = FD_RT_VEC;
|
|
idx_sz = FD_OP_SIZELG(instr, 0);
|
|
break;
|
|
case FDI_EVX_PSCATTERDD:
|
|
case FDI_EVX_PSCATTERQQ:
|
|
case FDI_EVX_SCATTERDPS:
|
|
case FDI_EVX_SCATTERQPD:
|
|
idx_rt = FD_RT_VEC;
|
|
idx_sz = FD_OP_SIZELG(instr, 1);
|
|
break;
|
|
default: break;
|
|
}
|
|
|
|
if (op_type == FD_OT_MEMBCST)
|
|
size = FD_OP_BCSTSZLG(instr, i);
|
|
|
|
const char* ptrsizes =
|
|
"\00 "
|
|
"\11byte ptr "
|
|
"\11word ptr "
|
|
"\12dword ptr "
|
|
"\12qword ptr "
|
|
"\14xmmword ptr "
|
|
"\14ymmword ptr "
|
|
"\14zmmword ptr "
|
|
"\12dword ptr " // far ptr; word + 2
|
|
"\12fword ptr " // far ptr; dword + 2
|
|
"\12tbyte ptr "; // far ptr/FPU; qword + 2
|
|
const char* ptrsize = ptrsizes + 16 * (size + 1);
|
|
buf = fd_strpcat(buf, (struct FdStr) { ptrsize+1, *ptrsize });
|
|
|
|
unsigned seg = FD_SEGMENT(instr);
|
|
if (seg != FD_REG_NONE) {
|
|
*buf++ = "ecsdfg\0"[seg & 7];
|
|
*buf++ = 's';
|
|
*buf++ = ':';
|
|
}
|
|
*buf++ = '[';
|
|
|
|
bool has_base = FD_OP_BASE(instr, i) != FD_REG_NONE;
|
|
bool has_idx = FD_OP_INDEX(instr, i) != FD_REG_NONE;
|
|
if (has_base)
|
|
buf = fd_strpcatreg(buf, FD_RT_GPL, FD_OP_BASE(instr, i), FD_ADDRSIZELG(instr));
|
|
if (has_idx) {
|
|
if (has_base)
|
|
*buf++ = '+';
|
|
*buf++ = '0' + (1 << FD_OP_SCALE(instr, i));
|
|
*buf++ = '*';
|
|
buf = fd_strpcatreg(buf, idx_rt, FD_OP_INDEX(instr, i), idx_sz);
|
|
}
|
|
uint64_t disp = FD_OP_DISP(instr, i);
|
|
if (disp && (has_base || has_idx)) {
|
|
*buf++ = (int64_t) disp < 0 ? '-' : '+';
|
|
if ((int64_t) disp < 0)
|
|
disp = -disp;
|
|
}
|
|
if (FD_ADDRSIZELG(instr) == 1)
|
|
disp &= 0xffff;
|
|
else if (FD_ADDRSIZELG(instr) == 2)
|
|
disp &= 0xffffffff;
|
|
if (disp || (!has_base && !has_idx))
|
|
buf = fd_strpcatnum(buf, disp);
|
|
*buf++ = ']';
|
|
|
|
if (UNLIKELY(op_type == FD_OT_MEMBCST)) {
|
|
// {1toX}, X = FD_OP_SIZE(instr, i) / BCSTSZ (=> 2/4/8/16/32)
|
|
unsigned bcstszidx = FD_OP_SIZELG(instr, i) - FD_OP_BCSTSZLG(instr, i) - 1;
|
|
const char* bcstsizes = "\6{1to2} \6{1to4} \6{1to8} \7{1to16}\7{1to32} ";
|
|
const char* bcstsize = bcstsizes + bcstszidx * 8;
|
|
buf = fd_strpcat(buf, (struct FdStr) { bcstsize+1, *bcstsize });
|
|
}
|
|
} else if (op_type == FD_OT_IMM || op_type == FD_OT_OFF) {
|
|
uint64_t immediate = FD_OP_IMM(instr, i);
|
|
// Some instructions have actually two immediate operands which are
|
|
// decoded as a single operand. Split them here appropriately.
|
|
switch (FD_TYPE(instr)) {
|
|
default:
|
|
goto nosplitimm;
|
|
case FDI_SSE_EXTRQ:
|
|
case FDI_SSE_INSERTQ:
|
|
buf = fd_strpcatnum(buf, immediate & 0xff);
|
|
buf = fd_strpcat(buf, fd_stre(", "));
|
|
immediate = (immediate >> 8) & 0xff;
|
|
break;
|
|
case FDI_ENTER:
|
|
buf = fd_strpcatnum(buf, immediate & 0xffff);
|
|
buf = fd_strpcat(buf, fd_stre(", "));
|
|
immediate = (immediate >> 16) & 0xff;
|
|
break;
|
|
case FDI_JMPF:
|
|
case FDI_CALLF:
|
|
buf = fd_strpcatnum(buf, (immediate >> (8 << size)) & 0xffff);
|
|
*buf++ = ':';
|
|
// immediate is masked below.
|
|
break;
|
|
}
|
|
|
|
nosplitimm:
|
|
if (op_type == FD_OT_OFF)
|
|
immediate += addr + FD_SIZE(instr);
|
|
if (size == 0)
|
|
immediate &= 0xff;
|
|
else if (size == 1)
|
|
immediate &= 0xffff;
|
|
else if (size == 2)
|
|
immediate &= 0xffffffff;
|
|
buf = fd_strpcatnum(buf, immediate);
|
|
}
|
|
|
|
if (i == 0 && FD_MASKREG(instr)) {
|
|
*buf++ = '{';
|
|
buf = fd_strpcatreg(buf, FD_RT_MASK, FD_MASKREG(instr), 0);
|
|
*buf++ = '}';
|
|
if (FD_MASKZERO(instr))
|
|
buf = fd_strpcat(buf, fd_stre("{z}"));
|
|
}
|
|
}
|
|
if (UNLIKELY(FD_ROUNDCONTROL(instr) != FD_RC_MXCSR)) {
|
|
switch (FD_ROUNDCONTROL(instr)) {
|
|
case FD_RC_RN: buf = fd_strpcat(buf, fd_stre(", {rn-sae}")); break;
|
|
case FD_RC_RD: buf = fd_strpcat(buf, fd_stre(", {rd-sae}")); break;
|
|
case FD_RC_RU: buf = fd_strpcat(buf, fd_stre(", {ru-sae}")); break;
|
|
case FD_RC_RZ: buf = fd_strpcat(buf, fd_stre(", {rz-sae}")); break;
|
|
case FD_RC_SAE: buf = fd_strpcat(buf, fd_stre(", {sae}")); break;
|
|
default: break; // should not happen
|
|
}
|
|
}
|
|
*buf++ = '\0';
|
|
return buf;
|
|
}
|
|
|
|
void
|
|
fd_format(const FdInstr* instr, char* buffer, size_t len)
|
|
{
|
|
fd_format_abs(instr, 0, buffer, len);
|
|
}
|
|
|
|
void
|
|
fd_format_abs(const FdInstr* instr, uint64_t addr, char* restrict buffer, size_t len) {
|
|
char tmp[128];
|
|
char* buf = buffer;
|
|
if (UNLIKELY(len < 128)) {
|
|
if (!len)
|
|
return;
|
|
buf = tmp;
|
|
}
|
|
|
|
char* end = fd_format_impl(buf, instr, addr);
|
|
|
|
if (buf != buffer) {
|
|
unsigned i;
|
|
for (i = 0; i < (end - tmp) && i < len-1; i++)
|
|
buffer[i] = tmp[i];
|
|
buffer[i] = '\0';
|
|
}
|
|
}
|