H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 1 | /* disasm.c where all the _work_ gets done in the Netwide Disassembler |
| 2 | * |
| 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. |
| 7 | * |
| 8 | * initial version 27/iii/95 by Simon Tatham |
| 9 | */ |
| 10 | |
H. Peter Anvin | fe50195 | 2007-10-02 21:53:51 -0700 | [diff] [blame] | 11 | #include "compiler.h" |
| 12 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 13 | #include <stdio.h> |
| 14 | #include <string.h> |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 15 | #include <limits.h> |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 16 | #include <inttypes.h> |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 17 | |
| 18 | #include "nasm.h" |
| 19 | #include "disasm.h" |
| 20 | #include "sync.h" |
| 21 | #include "insns.h" |
| 22 | |
| 23 | #include "names.c" |
| 24 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 25 | /* |
| 26 | * Flags that go into the `segment' field of `insn' structures |
| 27 | * during disassembly. |
| 28 | */ |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 29 | #define SEG_RELATIVE 1 |
| 30 | #define SEG_32BIT 2 |
| 31 | #define SEG_RMREG 4 |
| 32 | #define SEG_DISP8 8 |
| 33 | #define SEG_DISP16 16 |
| 34 | #define SEG_DISP32 32 |
| 35 | #define SEG_NODISP 64 |
| 36 | #define SEG_SIGNED 128 |
| 37 | #define SEG_64BIT 256 |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 38 | |
H. Peter Anvin | 232badb | 2002-06-06 02:41:20 +0000 | [diff] [blame] | 39 | #include "regdis.c" |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 40 | |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 41 | /* |
| 42 | * Prefix information |
| 43 | */ |
| 44 | struct prefix_info { |
| 45 | uint8_t osize; /* Operand size */ |
| 46 | uint8_t asize; /* Address size */ |
| 47 | uint8_t osp; /* Operand size prefix present */ |
| 48 | uint8_t asp; /* Address size prefix present */ |
| 49 | uint8_t rep; /* Rep prefix present */ |
| 50 | uint8_t seg; /* Segment override prefix present */ |
| 51 | uint8_t lock; /* Lock prefix present */ |
| 52 | uint8_t rex; /* Rex prefix present */ |
| 53 | }; |
| 54 | |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 55 | #define getu8(x) (*(uint8_t *)(x)) |
| 56 | #if defined(__i386__) || defined(__x86_64__) |
| 57 | /* Littleendian CPU which can handle unaligned references */ |
| 58 | #define getu16(x) (*(uint16_t *)(x)) |
| 59 | #define getu32(x) (*(uint32_t *)(x)) |
| 60 | #define getu64(x) (*(uint64_t *)(x)) |
| 61 | #else |
| 62 | static uint16_t getu16(uint8_t *data) |
| 63 | { |
| 64 | return (uint16_t)data[0] + ((uint16_t)data[1] << 8); |
| 65 | } |
| 66 | static uint32_t getu32(uint8_t *data) |
| 67 | { |
| 68 | return (uint32_t)getu16(data) + ((uint32_t)getu16(data+2) << 16); |
| 69 | } |
| 70 | static uint64_t getu64(uint8_t *data) |
| 71 | { |
| 72 | return (uint64_t)getu32(data) + ((uint64_t)getu32(data+4) << 32); |
| 73 | } |
| 74 | #endif |
| 75 | |
| 76 | #define gets8(x) ((int8_t)getu8(x)) |
| 77 | #define gets16(x) ((int16_t)getu16(x)) |
| 78 | #define gets32(x) ((int32_t)getu32(x)) |
| 79 | #define gets64(x) ((int64_t)getu64(x)) |
| 80 | |
| 81 | /* Important: regval must already have been adjusted for rex extensions */ |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 82 | static enum reg_enum whichreg(int32_t regflags, int regval, int rex) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 83 | { |
H. Peter Anvin | 0da6b58 | 2007-09-12 20:32:39 -0700 | [diff] [blame] | 84 | if (!(regflags & (REGISTER|REGMEM))) |
| 85 | return 0; /* Registers not permissible?! */ |
| 86 | |
| 87 | regflags |= REGISTER; |
| 88 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 89 | if (!(REG_AL & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 90 | return R_AL; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 91 | if (!(REG_AX & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 92 | return R_AX; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 93 | if (!(REG_EAX & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 94 | return R_EAX; |
H. Peter Anvin | 7cf03af | 2007-04-16 02:39:56 +0000 | [diff] [blame] | 95 | if (!(REG_RAX & ~regflags)) |
| 96 | return R_RAX; |
H. Peter Anvin | 10101f2 | 2003-02-24 23:22:45 +0000 | [diff] [blame] | 97 | if (!(REG_DL & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 98 | return R_DL; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 99 | if (!(REG_DX & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 100 | return R_DX; |
H. Peter Anvin | 10101f2 | 2003-02-24 23:22:45 +0000 | [diff] [blame] | 101 | if (!(REG_EDX & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 102 | return R_EDX; |
H. Peter Anvin | 7cf03af | 2007-04-16 02:39:56 +0000 | [diff] [blame] | 103 | if (!(REG_RDX & ~regflags)) |
| 104 | return R_RDX; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 105 | if (!(REG_CL & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 106 | return R_CL; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 107 | if (!(REG_CX & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 108 | return R_CX; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 109 | if (!(REG_ECX & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 110 | return R_ECX; |
H. Peter Anvin | 7cf03af | 2007-04-16 02:39:56 +0000 | [diff] [blame] | 111 | if (!(REG_RCX & ~regflags)) |
| 112 | return R_RCX; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 113 | if (!(FPU0 & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 114 | return R_ST0; |
H. Peter Anvin | d7ed89e | 2002-04-30 20:52:08 +0000 | [diff] [blame] | 115 | if (!(REG_CS & ~regflags)) |
H. Peter Anvin | 232badb | 2002-06-06 02:41:20 +0000 | [diff] [blame] | 116 | return (regval == 1) ? R_CS : 0; |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 117 | if (!(REG_DESS & ~regflags)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 118 | return (regval == 0 || regval == 2 |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 119 | || regval == 3 ? rd_sreg[regval] : 0); |
H. Peter Anvin | 76690a1 | 2002-04-30 20:52:49 +0000 | [diff] [blame] | 120 | if (!(REG_FSGS & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 121 | return (regval == 4 || regval == 5 ? rd_sreg[regval] : 0); |
H. Peter Anvin | 232badb | 2002-06-06 02:41:20 +0000 | [diff] [blame] | 122 | if (!(REG_SEG67 & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 123 | return (regval == 6 || regval == 7 ? rd_sreg[regval] : 0); |
H. Peter Anvin | 232badb | 2002-06-06 02:41:20 +0000 | [diff] [blame] | 124 | |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 125 | /* All the entries below look up regval in an 16-entry array */ |
| 126 | if (regval < 0 || regval > 15) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 127 | return 0; |
H. Peter Anvin | 232badb | 2002-06-06 02:41:20 +0000 | [diff] [blame] | 128 | |
H. Peter Anvin | 0da6b58 | 2007-09-12 20:32:39 -0700 | [diff] [blame] | 129 | if (!(REG8 & ~regflags)) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 130 | if (rex & REX_P) |
| 131 | return rd_reg8_rex[regval]; |
| 132 | else |
| 133 | return rd_reg8[regval]; |
| 134 | } |
H. Peter Anvin | 0da6b58 | 2007-09-12 20:32:39 -0700 | [diff] [blame] | 135 | if (!(REG16 & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 136 | return rd_reg16[regval]; |
H. Peter Anvin | 0da6b58 | 2007-09-12 20:32:39 -0700 | [diff] [blame] | 137 | if (!(REG32 & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 138 | return rd_reg32[regval]; |
H. Peter Anvin | 0da6b58 | 2007-09-12 20:32:39 -0700 | [diff] [blame] | 139 | if (!(REG64 & ~regflags)) |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 140 | return rd_reg64[regval]; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 141 | if (!(REG_SREG & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 142 | return rd_sreg[regval & 7]; /* Ignore REX */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 143 | if (!(REG_CREG & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 144 | return rd_creg[regval]; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 145 | if (!(REG_DREG & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 146 | return rd_dreg[regval]; |
| 147 | if (!(REG_TREG & ~regflags)) { |
| 148 | if (rex & REX_P) |
| 149 | return 0; /* TR registers are ill-defined with rex */ |
| 150 | return rd_treg[regval]; |
| 151 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 152 | if (!(FPUREG & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 153 | return rd_fpureg[regval & 7]; /* Ignore REX */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 154 | if (!(MMXREG & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 155 | return rd_mmxreg[regval & 7]; /* Ignore REX */ |
H. Peter Anvin | 4836e33 | 2002-04-30 20:56:43 +0000 | [diff] [blame] | 156 | if (!(XMMREG & ~regflags)) |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 157 | return rd_xmmreg[regval]; |
H. Peter Anvin | 232badb | 2002-06-06 02:41:20 +0000 | [diff] [blame] | 158 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 159 | return 0; |
| 160 | } |
| 161 | |
Keith Kanios | a6dfa78 | 2007-04-13 16:47:53 +0000 | [diff] [blame] | 162 | static const char *whichcond(int condval) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 163 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 164 | static int conds[] = { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 165 | C_O, C_NO, C_C, C_NC, C_Z, C_NZ, C_NA, C_A, |
| 166 | C_S, C_NS, C_PE, C_PO, C_L, C_NL, C_NG, C_G |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 167 | }; |
| 168 | return conditions[conds[condval]]; |
| 169 | } |
| 170 | |
| 171 | /* |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 172 | * Process a DREX suffix |
| 173 | */ |
| 174 | static uint8_t *do_drex(uint8_t *data, insn *ins) |
| 175 | { |
| 176 | uint8_t drex = *data++; |
| 177 | operand *dst = &ins->oprs[ins->drexdst]; |
| 178 | |
| 179 | if ((drex & 8) != ((ins->rex & REX_OC) ? 8 : 0)) |
| 180 | return NULL; /* OC0 mismatch */ |
| 181 | ins->rex = (ins->rex & ~7) | (drex & 7); |
H. Peter Anvin | 7065309 | 2007-10-19 14:42:29 -0700 | [diff] [blame] | 182 | |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 183 | dst->segment = SEG_RMREG; |
| 184 | dst->basereg = drex >> 4; |
| 185 | return data; |
| 186 | } |
| 187 | |
| 188 | |
| 189 | /* |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 190 | * Process an effective address (ModRM) specification. |
| 191 | */ |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 192 | static uint8_t *do_ea(uint8_t *data, int modrm, int asize, |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 193 | int segsize, operand * op, insn *ins) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 194 | { |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 195 | int mod, rm, scale, index, base; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 196 | int rex; |
| 197 | uint8_t sib = 0; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 198 | |
| 199 | mod = (modrm >> 6) & 03; |
| 200 | rm = modrm & 07; |
| 201 | |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 202 | if (mod != 3 && rm == 4 && asize != 16) |
| 203 | sib = *data++; |
| 204 | |
| 205 | if (ins->rex & REX_D) { |
| 206 | data = do_drex(data, ins); |
| 207 | if (!data) |
| 208 | return NULL; |
| 209 | } |
| 210 | rex = ins->rex; |
| 211 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 212 | if (mod == 3) { /* pure register version */ |
H. Peter Anvin | 7cf03af | 2007-04-16 02:39:56 +0000 | [diff] [blame] | 213 | op->basereg = rm+(rex & REX_B ? 8 : 0); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 214 | op->segment |= SEG_RMREG; |
| 215 | return data; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 216 | } |
| 217 | |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 218 | op->disp_size = 0; |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 219 | op->eaflags = 0; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 220 | |
| 221 | if (asize == 16) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 222 | /* |
| 223 | * <mod> specifies the displacement size (none, byte or |
| 224 | * word), and <rm> specifies the register combination. |
| 225 | * Exception: mod=0,rm=6 does not specify [BP] as one might |
| 226 | * expect, but instead specifies [disp16]. |
| 227 | */ |
| 228 | op->indexreg = op->basereg = -1; |
| 229 | op->scale = 1; /* always, in 16 bits */ |
| 230 | switch (rm) { |
| 231 | case 0: |
| 232 | op->basereg = R_BX; |
| 233 | op->indexreg = R_SI; |
| 234 | break; |
| 235 | case 1: |
| 236 | op->basereg = R_BX; |
| 237 | op->indexreg = R_DI; |
| 238 | break; |
| 239 | case 2: |
| 240 | op->basereg = R_BP; |
| 241 | op->indexreg = R_SI; |
| 242 | break; |
| 243 | case 3: |
| 244 | op->basereg = R_BP; |
| 245 | op->indexreg = R_DI; |
| 246 | break; |
| 247 | case 4: |
| 248 | op->basereg = R_SI; |
| 249 | break; |
| 250 | case 5: |
| 251 | op->basereg = R_DI; |
| 252 | break; |
| 253 | case 6: |
| 254 | op->basereg = R_BP; |
| 255 | break; |
| 256 | case 7: |
| 257 | op->basereg = R_BX; |
| 258 | break; |
| 259 | } |
| 260 | if (rm == 6 && mod == 0) { /* special case */ |
| 261 | op->basereg = -1; |
| 262 | if (segsize != 16) |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 263 | op->disp_size = 16; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 264 | mod = 2; /* fake disp16 */ |
| 265 | } |
| 266 | switch (mod) { |
| 267 | case 0: |
| 268 | op->segment |= SEG_NODISP; |
| 269 | break; |
| 270 | case 1: |
| 271 | op->segment |= SEG_DISP8; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 272 | op->offset = (int8_t)*data++; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 273 | break; |
| 274 | case 2: |
| 275 | op->segment |= SEG_DISP16; |
| 276 | op->offset = *data++; |
| 277 | op->offset |= ((unsigned)*data++) << 8; |
| 278 | break; |
| 279 | } |
| 280 | return data; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 281 | } else { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 282 | /* |
| 283 | * Once again, <mod> specifies displacement size (this time |
| 284 | * none, byte or *dword*), while <rm> specifies the base |
| 285 | * register. Again, [EBP] is missing, replaced by a pure |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 286 | * disp32 (this time that's mod=0,rm=*5*) in 32-bit mode, |
| 287 | * and RIP-relative addressing in 64-bit mode. |
| 288 | * |
| 289 | * However, rm=4 |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 290 | * indicates not a single base register, but instead the |
| 291 | * presence of a SIB byte... |
| 292 | */ |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 293 | int a64 = asize == 64; |
| 294 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 295 | op->indexreg = -1; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 296 | |
| 297 | if (a64) |
| 298 | op->basereg = rd_reg64[rm | ((rex & REX_B) ? 8 : 0)]; |
| 299 | else |
| 300 | op->basereg = rd_reg32[rm | ((rex & REX_B) ? 8 : 0)]; |
| 301 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 302 | if (rm == 5 && mod == 0) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 303 | if (segsize == 64) { |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 304 | op->eaflags |= EAF_REL; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 305 | op->segment |= SEG_RELATIVE; |
| 306 | mod = 2; /* fake disp32 */ |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 307 | } |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 308 | |
| 309 | if (asize != 64) |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 310 | op->disp_size = asize; |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 311 | |
| 312 | op->basereg = -1; |
| 313 | mod = 2; /* fake disp32 */ |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 314 | } |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 315 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 316 | if (rm == 4) { /* process SIB */ |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 317 | scale = (sib >> 6) & 03; |
| 318 | index = (sib >> 3) & 07; |
| 319 | base = sib & 07; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 320 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 321 | op->scale = 1 << scale; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 322 | |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 323 | if (index == 4) |
| 324 | op->indexreg = -1; /* ESP/RSP/R12 cannot be an index */ |
| 325 | else if (a64) |
| 326 | op->indexreg = rd_reg64[index | ((rex & REX_X) ? 8 : 0)]; |
| 327 | else |
| 328 | op->indexreg = rd_reg64[index | ((rex & REX_X) ? 8 : 0)]; |
| 329 | |
| 330 | if (base == 5 && mod == 0) { |
| 331 | op->basereg = -1; |
| 332 | mod = 2; /* Fake disp32 */ |
| 333 | } else if (a64) |
| 334 | op->basereg = rd_reg64[base | ((rex & REX_B) ? 8 : 0)]; |
| 335 | else |
| 336 | op->basereg = rd_reg32[base | ((rex & REX_B) ? 8 : 0)]; |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 337 | |
| 338 | if (segsize != 32) |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 339 | op->disp_size = 32; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 340 | } |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 341 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 342 | switch (mod) { |
| 343 | case 0: |
| 344 | op->segment |= SEG_NODISP; |
| 345 | break; |
| 346 | case 1: |
| 347 | op->segment |= SEG_DISP8; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 348 | op->offset = gets8(data); |
| 349 | data++; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 350 | break; |
| 351 | case 2: |
| 352 | op->segment |= SEG_DISP32; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 353 | op->offset = getu32(data); |
| 354 | data += 4; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 355 | break; |
| 356 | } |
| 357 | return data; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 358 | } |
| 359 | } |
| 360 | |
| 361 | /* |
H. Peter Anvin | ef7468f | 2002-04-30 20:57:59 +0000 | [diff] [blame] | 362 | * Determine whether the instruction template in t corresponds to the data |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 363 | * stream in data. Return the number of bytes matched if so. |
| 364 | */ |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 365 | static int matches(const struct itemplate *t, uint8_t *data, |
| 366 | const struct prefix_info *prefix, int segsize, insn *ins) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 367 | { |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 368 | uint8_t *r = (uint8_t *)(t->code); |
| 369 | uint8_t *origdata = data; |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 370 | bool a_used = false, o_used = false; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 371 | enum prefixes drep = 0; |
| 372 | uint8_t lock = prefix->lock; |
| 373 | int osize = prefix->osize; |
| 374 | int asize = prefix->asize; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 375 | int i; |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 376 | |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 377 | for (i = 0; i < MAX_OPERANDS; i++) { |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 378 | ins->oprs[i].segment = ins->oprs[i].disp_size = |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 379 | (segsize == 64 ? SEG_64BIT : segsize == 32 ? SEG_32BIT : 0); |
| 380 | } |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 381 | ins->condition = -1; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 382 | ins->rex = prefix->rex; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 383 | |
H. Peter Anvin | 0db11e2 | 2007-04-17 20:23:11 +0000 | [diff] [blame] | 384 | if (t->flags & (segsize == 64 ? IF_NOLONG : IF_LONG)) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 385 | return false; |
H. Peter Anvin | ef7468f | 2002-04-30 20:57:59 +0000 | [diff] [blame] | 386 | |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 387 | if (prefix->rep == 0xF2) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 388 | drep = P_REPNE; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 389 | else if (prefix->rep == 0xF3) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 390 | drep = P_REP; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 391 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 392 | while (*r) { |
| 393 | int c = *r++; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 394 | |
| 395 | /* FIX: change this into a switch */ |
| 396 | if (c >= 01 && c <= 03) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 397 | while (c--) |
| 398 | if (*r++ != *data++) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 399 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 400 | } else if (c == 04) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 401 | switch (*data++) { |
| 402 | case 0x07: |
| 403 | ins->oprs[0].basereg = 0; |
| 404 | break; |
| 405 | case 0x17: |
| 406 | ins->oprs[0].basereg = 2; |
| 407 | break; |
| 408 | case 0x1F: |
| 409 | ins->oprs[0].basereg = 3; |
| 410 | break; |
| 411 | default: |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 412 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 413 | } |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 414 | } else if (c == 05) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 415 | switch (*data++) { |
| 416 | case 0xA1: |
| 417 | ins->oprs[0].basereg = 4; |
| 418 | break; |
| 419 | case 0xA9: |
| 420 | ins->oprs[0].basereg = 5; |
| 421 | break; |
| 422 | default: |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 423 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 424 | } |
| 425 | } else if (c == 06) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 426 | switch (*data++) { |
| 427 | case 0x06: |
| 428 | ins->oprs[0].basereg = 0; |
| 429 | break; |
| 430 | case 0x0E: |
| 431 | ins->oprs[0].basereg = 1; |
| 432 | break; |
| 433 | case 0x16: |
| 434 | ins->oprs[0].basereg = 2; |
| 435 | break; |
| 436 | case 0x1E: |
| 437 | ins->oprs[0].basereg = 3; |
| 438 | break; |
| 439 | default: |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 440 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 441 | } |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 442 | } else if (c == 07) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 443 | switch (*data++) { |
| 444 | case 0xA0: |
| 445 | ins->oprs[0].basereg = 4; |
| 446 | break; |
| 447 | case 0xA8: |
| 448 | ins->oprs[0].basereg = 5; |
| 449 | break; |
| 450 | default: |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 451 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 452 | } |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 453 | } else if (c >= 010 && c <= 013) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 454 | int t = *r++, d = *data++; |
| 455 | if (d < t || d > t + 7) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 456 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 457 | else { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 458 | ins->oprs[c - 010].basereg = (d-t)+ |
| 459 | (ins->rex & REX_B ? 8 : 0); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 460 | ins->oprs[c - 010].segment |= SEG_RMREG; |
| 461 | } |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 462 | } else if (c >= 014 && c <= 017) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 463 | ins->oprs[c - 014].offset = (int8_t)*data++; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 464 | ins->oprs[c - 014].segment |= SEG_SIGNED; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 465 | } else if (c >= 020 && c <= 023) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 466 | ins->oprs[c - 020].offset = *data++; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 467 | } else if (c >= 024 && c <= 027) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 468 | ins->oprs[c - 024].offset = *data++; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 469 | } else if (c >= 030 && c <= 033) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 470 | ins->oprs[c - 030].offset = getu16(data); |
| 471 | data += 2; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 472 | } else if (c >= 034 && c <= 037) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 473 | if (osize == 32) { |
| 474 | ins->oprs[c - 034].offset = getu32(data); |
| 475 | data += 4; |
| 476 | } else { |
| 477 | ins->oprs[c - 034].offset = getu16(data); |
| 478 | data += 2; |
| 479 | } |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 480 | if (segsize != asize) |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 481 | ins->oprs[c - 034].disp_size = asize; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 482 | } else if (c >= 040 && c <= 043) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 483 | ins->oprs[c - 040].offset = getu32(data); |
| 484 | data += 4; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 485 | } else if (c >= 044 && c <= 047) { |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 486 | switch (asize) { |
| 487 | case 16: |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 488 | ins->oprs[c - 044].offset = getu16(data); |
| 489 | data += 2; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 490 | break; |
| 491 | case 32: |
| 492 | ins->oprs[c - 044].offset = getu32(data); |
| 493 | data += 4; |
| 494 | break; |
| 495 | case 64: |
| 496 | ins->oprs[c - 044].offset = getu64(data); |
| 497 | data += 8; |
| 498 | break; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 499 | } |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 500 | if (segsize != asize) |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 501 | ins->oprs[c - 044].disp_size = asize; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 502 | } else if (c >= 050 && c <= 053) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 503 | ins->oprs[c - 050].offset = gets8(data++); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 504 | ins->oprs[c - 050].segment |= SEG_RELATIVE; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 505 | } else if (c >= 054 && c <= 057) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 506 | ins->oprs[c - 054].offset = getu64(data); |
| 507 | data += 8; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 508 | } else if (c >= 060 && c <= 063) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 509 | ins->oprs[c - 060].offset = gets16(data); |
| 510 | data += 2; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 511 | ins->oprs[c - 060].segment |= SEG_RELATIVE; |
| 512 | ins->oprs[c - 060].segment &= ~SEG_32BIT; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 513 | } else if (c >= 064 && c <= 067) { |
Charles Crayne | f6816b2 | 2007-10-23 19:28:39 -0700 | [diff] [blame] | 514 | ins->oprs[c - 064].segment |= SEG_RELATIVE; |
H. Peter Anvin | 7cf03af | 2007-04-16 02:39:56 +0000 | [diff] [blame] | 515 | if (osize == 16) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 516 | ins->oprs[c - 064].offset = getu16(data); |
| 517 | data += 2; |
H. Peter Anvin | 7cf03af | 2007-04-16 02:39:56 +0000 | [diff] [blame] | 518 | ins->oprs[c - 064].segment &= ~(SEG_32BIT|SEG_64BIT); |
| 519 | } else if (osize == 32) { |
| 520 | ins->oprs[c - 064].offset = getu32(data); |
| 521 | data += 4; |
| 522 | ins->oprs[c - 064].segment &= ~SEG_64BIT; |
| 523 | ins->oprs[c - 064].segment |= SEG_32BIT; |
H. Peter Anvin | 7065309 | 2007-10-19 14:42:29 -0700 | [diff] [blame] | 524 | } |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 525 | if (segsize != osize) { |
| 526 | ins->oprs[c - 064].type = |
H. Peter Anvin | 5a640e1 | 2007-05-29 23:57:12 +0000 | [diff] [blame] | 527 | (ins->oprs[c - 064].type & ~SIZE_MASK) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 528 | | ((osize == 16) ? BITS16 : BITS32); |
| 529 | } |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 530 | } else if (c >= 070 && c <= 073) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 531 | ins->oprs[c - 070].offset = getu32(data); |
| 532 | data += 4; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 533 | ins->oprs[c - 070].segment |= SEG_32BIT | SEG_RELATIVE; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 534 | } else if (c >= 0100 && c < 0140) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 535 | int modrm = *data++; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 536 | ins->oprs[c & 07].segment |= SEG_RMREG; |
| 537 | data = do_ea(data, modrm, asize, segsize, |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 538 | &ins->oprs[(c >> 3) & 07], ins); |
| 539 | if (!data) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 540 | return false; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 541 | ins->oprs[c & 07].basereg = ((modrm >> 3)&7)+ |
| 542 | (ins->rex & REX_R ? 8 : 0); |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 543 | } else if (c >= 0140 && c <= 0143) { |
| 544 | ins->oprs[c - 0140].offset = getu16(data); |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 545 | data += 2; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 546 | } else if (c >= 0150 && c <= 0153) { |
| 547 | ins->oprs[c - 0150].offset = getu32(data); |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 548 | data += 4; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 549 | } else if (c >= 0160 && c <= 0167) { |
| 550 | ins->rex |= (c & 4) ? REX_D|REX_OC : REX_D; |
| 551 | ins->drexdst = c & 3; |
H. Peter Anvin | 7eb4a38 | 2007-09-17 15:49:30 -0700 | [diff] [blame] | 552 | } else if (c == 0170) { |
| 553 | if (*data++) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 554 | return false; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 555 | } else if (c == 0171) { |
| 556 | data = do_drex(data, ins); |
| 557 | if (!data) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 558 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 559 | } else if (c >= 0200 && c <= 0277) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 560 | int modrm = *data++; |
| 561 | if (((modrm >> 3) & 07) != (c & 07)) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 562 | return false; /* spare field doesn't match up */ |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 563 | data = do_ea(data, modrm, asize, segsize, |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 564 | &ins->oprs[(c >> 3) & 07], ins); |
| 565 | if (!data) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 566 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 567 | } else if (c == 0310) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 568 | if (asize != 16) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 569 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 570 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 571 | a_used = true; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 572 | } else if (c == 0311) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 573 | if (asize == 16) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 574 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 575 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 576 | a_used = true; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 577 | } else if (c == 0312) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 578 | if (asize != segsize) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 579 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 580 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 581 | a_used = true; |
H. Peter Anvin | ce2b397 | 2007-05-30 22:21:11 +0000 | [diff] [blame] | 582 | } else if (c == 0313) { |
| 583 | if (asize != 64) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 584 | return false; |
H. Peter Anvin | ce2b397 | 2007-05-30 22:21:11 +0000 | [diff] [blame] | 585 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 586 | a_used = true; |
H. Peter Anvin | 2344010 | 2007-11-12 21:02:33 -0800 | [diff] [blame^] | 587 | } else if (c == 0314) { |
| 588 | if (prefix->rex & REX_B) |
| 589 | return false; |
| 590 | } else if (c == 0315) { |
| 591 | if (prefix->rex & REX_X) |
| 592 | return false; |
| 593 | } else if (c == 0316) { |
| 594 | if (prefix->rex & REX_R) |
| 595 | return false; |
| 596 | } else if (c == 0317) { |
| 597 | if (prefix->rex & REX_W) |
| 598 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 599 | } else if (c == 0320) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 600 | if (osize != 16) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 601 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 602 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 603 | o_used = true; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 604 | } else if (c == 0321) { |
| 605 | if (osize != 32) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 606 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 607 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 608 | o_used = true; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 609 | } else if (c == 0322) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 610 | if (osize != (segsize == 16) ? 16 : 32) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 611 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 612 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 613 | o_used = true; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 614 | } else if (c == 0323) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 615 | ins->rex |= REX_W; /* 64-bit only instruction */ |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 616 | osize = 64; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 617 | } else if (c == 0324) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 618 | if (!(ins->rex & (REX_P|REX_W)) || osize != 64) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 619 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 620 | } else if (c == 0330) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 621 | int t = *r++, d = *data++; |
| 622 | if (d < t || d > t + 15) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 623 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 624 | else |
| 625 | ins->condition = d - t; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 626 | } else if (c == 0331) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 627 | if (prefix->rep) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 628 | return false; |
H. Peter Anvin | cb9b690 | 2007-09-12 21:58:51 -0700 | [diff] [blame] | 629 | } else if (c == 0332) { |
| 630 | if (prefix->rep != 0xF2) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 631 | return false; |
H. Peter Anvin | b061d59 | 2007-04-16 02:02:06 +0000 | [diff] [blame] | 632 | } else if (c == 0333) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 633 | if (prefix->rep != 0xF3) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 634 | return false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 635 | drep = 0; |
H. Peter Anvin | 0db11e2 | 2007-04-17 20:23:11 +0000 | [diff] [blame] | 636 | } else if (c == 0334) { |
| 637 | if (lock) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 638 | ins->rex |= REX_R; |
H. Peter Anvin | 0db11e2 | 2007-04-17 20:23:11 +0000 | [diff] [blame] | 639 | lock = 0; |
| 640 | } |
H. Peter Anvin | cb9b690 | 2007-09-12 21:58:51 -0700 | [diff] [blame] | 641 | } else if (c == 0335) { |
| 642 | if (drep == P_REP) |
| 643 | drep = P_REPE; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 644 | } else if (c == 0364) { |
| 645 | if (prefix->osp) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 646 | return false; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 647 | } else if (c == 0365) { |
| 648 | if (prefix->asp) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 649 | return false; |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 650 | } else if (c == 0366) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 651 | if (!prefix->osp) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 652 | return false; |
| 653 | o_used = true; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 654 | } else if (c == 0367) { |
| 655 | if (!prefix->asp) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 656 | return false; |
| 657 | o_used = true; |
H. Peter Anvin | 0db11e2 | 2007-04-17 20:23:11 +0000 | [diff] [blame] | 658 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 659 | } |
| 660 | |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 661 | /* REX cannot be combined with DREX */ |
| 662 | if ((ins->rex & REX_D) && (prefix->rex)) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 663 | return false; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 664 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 665 | /* |
H. Peter Anvin | ef7468f | 2002-04-30 20:57:59 +0000 | [diff] [blame] | 666 | * Check for unused rep or a/o prefixes. |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 667 | */ |
H. Peter Anvin | c5b9ce0 | 2007-09-22 21:49:51 -0700 | [diff] [blame] | 668 | for (i = 0; i < t->operands; i++) { |
| 669 | if (ins->oprs[i].segment != SEG_RMREG) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 670 | a_used = true; |
H. Peter Anvin | c5b9ce0 | 2007-09-22 21:49:51 -0700 | [diff] [blame] | 671 | } |
| 672 | |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 673 | if (lock) { |
| 674 | if (ins->prefixes[PPS_LREP]) |
| 675 | return false; |
| 676 | ins->prefixes[PPS_LREP] = P_LOCK; |
| 677 | } |
| 678 | if (drep) { |
| 679 | if (ins->prefixes[PPS_LREP]) |
| 680 | return false; |
| 681 | ins->prefixes[PPS_LREP] = drep; |
| 682 | } |
| 683 | if (!o_used && osize == ((segsize == 16) ? 32 : 16)) { |
| 684 | if (ins->prefixes[PPS_OSIZE]) |
| 685 | return false; |
| 686 | ins->prefixes[PPS_OSIZE] = osize == 16 ? P_O16 : P_O32; |
| 687 | } |
| 688 | if (!a_used && asize != segsize) { |
| 689 | if (ins->prefixes[PPS_ASIZE]) |
| 690 | return false; |
| 691 | ins->prefixes[PPS_ASIZE] = asize == 16 ? P_A16 : P_A32; |
| 692 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 693 | |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 694 | /* Fix: check for redundant REX prefixes */ |
| 695 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 696 | return data - origdata; |
| 697 | } |
| 698 | |
Keith Kanios | a6dfa78 | 2007-04-13 16:47:53 +0000 | [diff] [blame] | 699 | int32_t disasm(uint8_t *data, char *output, int outbufsize, int segsize, |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 700 | int32_t offset, int autosync, uint32_t prefer) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 701 | { |
H. Peter Anvin | 3360d79 | 2007-09-11 04:16:57 +0000 | [diff] [blame] | 702 | const struct itemplate * const *p, * const *best_p; |
H. Peter Anvin | 19e2010 | 2007-09-18 15:08:20 -0700 | [diff] [blame] | 703 | const struct disasm_index *ix; |
| 704 | uint8_t *dp; |
H. Peter Anvin | 4836e33 | 2002-04-30 20:56:43 +0000 | [diff] [blame] | 705 | int length, best_length = 0; |
Keith Kanios | a6dfa78 | 2007-04-13 16:47:53 +0000 | [diff] [blame] | 706 | char *segover; |
H. Peter Anvin | 19e2010 | 2007-09-18 15:08:20 -0700 | [diff] [blame] | 707 | int i, slen, colon, n; |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 708 | uint8_t *origdata; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 709 | int works; |
H. Peter Anvin | ef7468f | 2002-04-30 20:57:59 +0000 | [diff] [blame] | 710 | insn tmp_ins, ins; |
Keith Kanios | b7a8954 | 2007-04-12 02:40:54 +0000 | [diff] [blame] | 711 | uint32_t goodness, best; |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 712 | int best_pref; |
| 713 | struct prefix_info prefix; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 714 | |
H. Peter Anvin | bfb888c | 2007-09-11 04:26:44 +0000 | [diff] [blame] | 715 | memset(&ins, 0, sizeof ins); |
| 716 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 717 | /* |
| 718 | * Scan for prefixes. |
| 719 | */ |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 720 | memset(&prefix, 0, sizeof prefix); |
| 721 | prefix.asize = segsize; |
| 722 | prefix.osize = (segsize == 64) ? 32 : segsize; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 723 | segover = NULL; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 724 | origdata = data; |
| 725 | for (;;) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 726 | if (*data == 0xF3 || *data == 0xF2) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 727 | prefix.rep = *data++; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 728 | else if (*data == 0xF0) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 729 | prefix.lock = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 730 | else if (*data == 0x2E) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 731 | segover = "cs", prefix.seg = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 732 | else if (*data == 0x36) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 733 | segover = "ss", prefix.seg = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 734 | else if (*data == 0x3E) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 735 | segover = "ds", prefix.seg = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 736 | else if (*data == 0x26) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 737 | segover = "es", prefix.seg = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 738 | else if (*data == 0x64) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 739 | segover = "fs", prefix.seg = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 740 | else if (*data == 0x65) |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 741 | segover = "gs", prefix.seg = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 742 | else if (*data == 0x66) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 743 | prefix.osize = (segsize == 16) ? 32 : 16; |
| 744 | prefix.osp = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 745 | } else if (*data == 0x67) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 746 | prefix.asize = (segsize == 32) ? 16 : 32; |
| 747 | prefix.asp = *data++; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 748 | } else if (segsize == 64 && (*data & 0xf0) == REX_P) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 749 | prefix.rex = *data++; |
| 750 | if (prefix.rex & REX_W) |
| 751 | prefix.osize = 64; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 752 | break; /* REX is always the last prefix */ |
| 753 | } else { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 754 | break; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 755 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 756 | } |
| 757 | |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 758 | best = -1; /* Worst possible */ |
H. Peter Anvin | 4836e33 | 2002-04-30 20:56:43 +0000 | [diff] [blame] | 759 | best_p = NULL; |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 760 | best_pref = INT_MAX; |
| 761 | |
H. Peter Anvin | 19e2010 | 2007-09-18 15:08:20 -0700 | [diff] [blame] | 762 | dp = data; |
| 763 | ix = itable + *dp++; |
Charles Crayne | 46b31b0 | 2007-10-18 21:17:20 -0700 | [diff] [blame] | 764 | while (ix->n == -1) { |
H. Peter Anvin | 19e2010 | 2007-09-18 15:08:20 -0700 | [diff] [blame] | 765 | ix = (const struct disasm_index *)ix->p + *dp++; |
| 766 | } |
| 767 | |
| 768 | p = (const struct itemplate * const *)ix->p; |
| 769 | for (n = ix->n; n; n--, p++) { |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 770 | if ((length = matches(*p, data, &prefix, segsize, &tmp_ins))) { |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 771 | works = true; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 772 | /* |
| 773 | * Final check to make sure the types of r/m match up. |
H. Peter Anvin | dbf130e | 2007-05-30 00:18:26 +0000 | [diff] [blame] | 774 | * XXX: Need to make sure this is actually correct. |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 775 | */ |
| 776 | for (i = 0; i < (*p)->operands; i++) { |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 777 | if (!((*p)->opd[i] & SAME_AS) && |
| 778 | ( |
| 779 | /* If it's a mem-only EA but we have a register, die. */ |
| 780 | ((tmp_ins.oprs[i].segment & SEG_RMREG) && |
| 781 | !(MEMORY & ~(*p)->opd[i])) || |
| 782 | /* If it's a reg-only EA but we have a memory ref, die. */ |
| 783 | (!(tmp_ins.oprs[i].segment & SEG_RMREG) && |
| 784 | !(REG_EA & ~(*p)->opd[i]) && |
| 785 | !((*p)->opd[i] & REG_SMASK)) || |
| 786 | /* Register type mismatch (eg FS vs REG_DESS): die. */ |
| 787 | ((((*p)->opd[i] & (REGISTER | FPUREG)) || |
| 788 | (tmp_ins.oprs[i].segment & SEG_RMREG)) && |
| 789 | !whichreg((*p)->opd[i], |
| 790 | tmp_ins.oprs[i].basereg, tmp_ins.rex)) |
| 791 | )) { |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 792 | works = false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 793 | break; |
| 794 | } |
| 795 | } |
| 796 | |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 797 | /* |
| 798 | * Note: we always prefer instructions which incorporate |
| 799 | * prefixes in the instructions themselves. This is to allow |
| 800 | * e.g. PAUSE to be preferred to REP NOP, and deal with |
| 801 | * MMX/SSE instructions where prefixes are used to select |
| 802 | * between MMX and SSE register sets or outright opcode |
| 803 | * selection. |
| 804 | */ |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 805 | if (works) { |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 806 | int i, nprefix; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 807 | goodness = ((*p)->flags & IF_PFMASK) ^ prefer; |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 808 | nprefix = 0; |
| 809 | for (i = 0; i < MAXPREFIX; i++) |
| 810 | if (tmp_ins.prefixes[i]) |
| 811 | nprefix++; |
| 812 | if (nprefix < best_pref || |
| 813 | (nprefix == best_pref && goodness < best)) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 814 | /* This is the best one found so far */ |
| 815 | best = goodness; |
| 816 | best_p = p; |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 817 | best_pref = nprefix; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 818 | best_length = length; |
| 819 | ins = tmp_ins; |
| 820 | } |
| 821 | } |
| 822 | } |
H. Peter Anvin | 4836e33 | 2002-04-30 20:56:43 +0000 | [diff] [blame] | 823 | } |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 824 | |
H. Peter Anvin | ef7468f | 2002-04-30 20:57:59 +0000 | [diff] [blame] | 825 | if (!best_p) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 826 | return 0; /* no instruction was matched */ |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 827 | |
H. Peter Anvin | 4836e33 | 2002-04-30 20:56:43 +0000 | [diff] [blame] | 828 | /* Pick the best match */ |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 829 | p = best_p; |
H. Peter Anvin | 4836e33 | 2002-04-30 20:56:43 +0000 | [diff] [blame] | 830 | length = best_length; |
| 831 | |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 832 | slen = 0; |
| 833 | |
Ed Beroset | 64ab519 | 2004-12-15 23:32:57 +0000 | [diff] [blame] | 834 | /* TODO: snprintf returns the value that the string would have if |
H. Peter Anvin | 7065309 | 2007-10-19 14:42:29 -0700 | [diff] [blame] | 835 | * the buffer were long enough, and not the actual length of |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 836 | * the returned string, so each instance of using the return |
| 837 | * value of snprintf should actually be checked to assure that |
| 838 | * the return value is "sane." Maybe a macro wrapper could |
| 839 | * be used for that purpose. |
| 840 | */ |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 841 | for (i = 0; i < MAXPREFIX; i++) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 842 | switch (ins.prefixes[i]) { |
H. Peter Anvin | 0db11e2 | 2007-04-17 20:23:11 +0000 | [diff] [blame] | 843 | case P_LOCK: |
| 844 | slen += snprintf(output + slen, outbufsize - slen, "lock "); |
| 845 | break; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 846 | case P_REP: |
| 847 | slen += snprintf(output + slen, outbufsize - slen, "rep "); |
| 848 | break; |
| 849 | case P_REPE: |
| 850 | slen += snprintf(output + slen, outbufsize - slen, "repe "); |
| 851 | break; |
| 852 | case P_REPNE: |
| 853 | slen += snprintf(output + slen, outbufsize - slen, "repne "); |
| 854 | break; |
| 855 | case P_A16: |
| 856 | slen += snprintf(output + slen, outbufsize - slen, "a16 "); |
| 857 | break; |
| 858 | case P_A32: |
| 859 | slen += snprintf(output + slen, outbufsize - slen, "a32 "); |
| 860 | break; |
| 861 | case P_O16: |
| 862 | slen += snprintf(output + slen, outbufsize - slen, "o16 "); |
| 863 | break; |
| 864 | case P_O32: |
| 865 | slen += snprintf(output + slen, outbufsize - slen, "o32 "); |
| 866 | break; |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 867 | default: |
| 868 | break; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 869 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 870 | |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 871 | for (i = 0; i < (int)elements(ico); i++) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 872 | if ((*p)->opcode == ico[i]) { |
| 873 | slen += |
| 874 | snprintf(output + slen, outbufsize - slen, "%s%s", icn[i], |
| 875 | whichcond(ins.condition)); |
| 876 | break; |
| 877 | } |
H. Peter Anvin | 2ba7ed7 | 2007-09-11 22:13:17 +0000 | [diff] [blame] | 878 | if (i >= (int)elements(ico)) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 879 | slen += |
| 880 | snprintf(output + slen, outbufsize - slen, "%s", |
| 881 | insn_names[(*p)->opcode]); |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 882 | colon = false; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 883 | length += data - origdata; /* fix up for prefixes */ |
| 884 | for (i = 0; i < (*p)->operands; i++) { |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 885 | opflags_t t = (*p)->opd[i]; |
| 886 | const operand *o = &ins.oprs[i]; |
| 887 | int64_t offs; |
| 888 | |
| 889 | if (t & SAME_AS) { |
| 890 | o = &ins.oprs[t & ~SAME_AS]; |
| 891 | t = (*p)->opd[t & ~SAME_AS]; |
| 892 | } |
| 893 | |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 894 | output[slen++] = (colon ? ':' : i == 0 ? ' ' : ','); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 895 | |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 896 | offs = o->offset; |
| 897 | if (o->segment & SEG_RELATIVE) { |
| 898 | offs += offset + length; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 899 | /* |
| 900 | * sort out wraparound |
| 901 | */ |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 902 | if (!(o->segment & (SEG_32BIT|SEG_64BIT))) |
| 903 | offs &= 0xffff; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 904 | /* |
| 905 | * add sync marker, if autosync is on |
| 906 | */ |
| 907 | if (autosync) |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 908 | add_sync(offs, 0L); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 909 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 910 | |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 911 | if (t & COLON) |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 912 | colon = true; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 913 | else |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 914 | colon = false; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 915 | |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 916 | if ((t & (REGISTER | FPUREG)) || |
| 917 | (o->segment & SEG_RMREG)) { |
| 918 | enum reg_enum reg; |
| 919 | reg = whichreg(t, o->basereg, ins.rex); |
| 920 | if (t & TO) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 921 | slen += snprintf(output + slen, outbufsize - slen, "to "); |
| 922 | slen += snprintf(output + slen, outbufsize - slen, "%s", |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 923 | reg_names[reg - EXPR_REG_START]); |
| 924 | } else if (!(UNITY & ~t)) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 925 | output[slen++] = '1'; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 926 | } else if (t & IMMEDIATE) { |
| 927 | if (t & BITS8) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 928 | slen += |
| 929 | snprintf(output + slen, outbufsize - slen, "byte "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 930 | if (o->segment & SEG_SIGNED) { |
| 931 | if (offs < 0) { |
| 932 | offs *= -1; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 933 | output[slen++] = '-'; |
| 934 | } else |
| 935 | output[slen++] = '+'; |
| 936 | } |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 937 | } else if (t & BITS16) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 938 | slen += |
| 939 | snprintf(output + slen, outbufsize - slen, "word "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 940 | } else if (t & BITS32) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 941 | slen += |
| 942 | snprintf(output + slen, outbufsize - slen, "dword "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 943 | } else if (t & BITS64) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 944 | slen += |
| 945 | snprintf(output + slen, outbufsize - slen, "qword "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 946 | } else if (t & NEAR) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 947 | slen += |
| 948 | snprintf(output + slen, outbufsize - slen, "near "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 949 | } else if (t & SHORT) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 950 | slen += |
| 951 | snprintf(output + slen, outbufsize - slen, "short "); |
| 952 | } |
| 953 | slen += |
Keith Kanios | 93f2e9a | 2007-04-14 00:10:59 +0000 | [diff] [blame] | 954 | snprintf(output + slen, outbufsize - slen, "0x%"PRIx64"", |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 955 | offs); |
| 956 | } else if (!(MEM_OFFS & ~t)) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 957 | slen += |
Keith Kanios | 93f2e9a | 2007-04-14 00:10:59 +0000 | [diff] [blame] | 958 | snprintf(output + slen, outbufsize - slen, "[%s%s%s0x%"PRIx64"]", |
H. Peter Anvin | 62cb606 | 2007-09-11 22:44:03 +0000 | [diff] [blame] | 959 | (segover ? segover : ""), |
| 960 | (segover ? ":" : ""), |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 961 | (o->disp_size == |
| 962 | 32 ? "dword " : o->disp_size == |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 963 | 16 ? "word " : ""), offs); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 964 | segover = NULL; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 965 | } else if (!(REGMEM & ~t)) { |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 966 | int started = false; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 967 | if (t & BITS8) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 968 | slen += |
| 969 | snprintf(output + slen, outbufsize - slen, "byte "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 970 | if (t & BITS16) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 971 | slen += |
| 972 | snprintf(output + slen, outbufsize - slen, "word "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 973 | if (t & BITS32) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 974 | slen += |
| 975 | snprintf(output + slen, outbufsize - slen, "dword "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 976 | if (t & BITS64) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 977 | slen += |
| 978 | snprintf(output + slen, outbufsize - slen, "qword "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 979 | if (t & BITS80) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 980 | slen += |
| 981 | snprintf(output + slen, outbufsize - slen, "tword "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 982 | if (t & FAR) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 983 | slen += snprintf(output + slen, outbufsize - slen, "far "); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 984 | if (t & NEAR) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 985 | slen += |
| 986 | snprintf(output + slen, outbufsize - slen, "near "); |
| 987 | output[slen++] = '['; |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 988 | if (o->disp_size) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 989 | slen += snprintf(output + slen, outbufsize - slen, "%s", |
H. Peter Anvin | de4b89b | 2007-10-01 15:41:25 -0700 | [diff] [blame] | 990 | (o->disp_size == 64 ? "qword " : |
| 991 | o->disp_size == 32 ? "dword " : |
| 992 | o->disp_size == 16 ? "word " : |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 993 | "")); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 994 | if (o->eaflags & EAF_REL) |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 995 | slen += snprintf(output + slen, outbufsize - slen, "rel "); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 996 | if (segover) { |
| 997 | slen += |
| 998 | snprintf(output + slen, outbufsize - slen, "%s:", |
| 999 | segover); |
| 1000 | segover = NULL; |
| 1001 | } |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1002 | if (o->basereg != -1) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1003 | slen += snprintf(output + slen, outbufsize - slen, "%s", |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1004 | reg_names[(o->basereg - |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1005 | EXPR_REG_START)]); |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 1006 | started = true; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1007 | } |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1008 | if (o->indexreg != -1) { |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1009 | if (started) |
| 1010 | output[slen++] = '+'; |
| 1011 | slen += snprintf(output + slen, outbufsize - slen, "%s", |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1012 | reg_names[(o->indexreg - |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1013 | EXPR_REG_START)]); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1014 | if (o->scale > 1) |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1015 | slen += |
| 1016 | snprintf(output + slen, outbufsize - slen, "*%d", |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1017 | o->scale); |
H. Peter Anvin | 6867acc | 2007-10-10 14:58:45 -0700 | [diff] [blame] | 1018 | started = true; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1019 | } |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1020 | if (o->segment & SEG_DISP8) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1021 | int minus = 0; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1022 | int8_t offset = offs; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1023 | if (offset < 0) { |
| 1024 | minus = 1; |
| 1025 | offset = -offset; |
| 1026 | } |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1027 | slen += |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1028 | snprintf(output + slen, outbufsize - slen, "%s0x%"PRIx8"", |
| 1029 | minus ? "-" : "+", offset); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1030 | } else if (o->segment & SEG_DISP16) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1031 | int minus = 0; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1032 | int16_t offset = offs; |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1033 | if (offset < 0) { |
| 1034 | minus = 1; |
| 1035 | offset = -offset; |
| 1036 | } |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1037 | slen += |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1038 | snprintf(output + slen, outbufsize - slen, "%s0x%"PRIx16"", |
| 1039 | minus ? "-" : started ? "+" : "", offset); |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1040 | } else if (o->segment & SEG_DISP32) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1041 | char *prefix = ""; |
H. Peter Anvin | 7786c36 | 2007-09-17 18:45:44 -0700 | [diff] [blame] | 1042 | int32_t offset = offs; |
H. Peter Anvin | 99c4ecd | 2007-08-28 23:06:00 +0000 | [diff] [blame] | 1043 | if (offset < 0) { |
H. Peter Anvin | 0ee0142 | 2007-04-16 01:18:30 +0000 | [diff] [blame] | 1044 | offset = -offset; |
| 1045 | prefix = "-"; |
| 1046 | } else { |
| 1047 | prefix = started ? "+" : ""; |
| 1048 | } |
| 1049 | slen += |
| 1050 | snprintf(output + slen, outbufsize - slen, |
| 1051 | "%s0x%"PRIx32"", prefix, offset); |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1052 | } |
| 1053 | output[slen++] = ']'; |
| 1054 | } else { |
| 1055 | slen += |
| 1056 | snprintf(output + slen, outbufsize - slen, "<operand%d>", |
| 1057 | i); |
| 1058 | } |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 1059 | } |
| 1060 | output[slen] = '\0'; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1061 | if (segover) { /* unused segment override */ |
Keith Kanios | a6dfa78 | 2007-04-13 16:47:53 +0000 | [diff] [blame] | 1062 | char *p = output; |
H. Peter Anvin | e2c8018 | 2005-01-15 22:15:51 +0000 | [diff] [blame] | 1063 | int count = slen + 1; |
| 1064 | while (count--) |
| 1065 | p[count + 3] = p[count]; |
| 1066 | strncpy(output, segover, 2); |
| 1067 | output[2] = ' '; |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 1068 | } |
| 1069 | return length; |
| 1070 | } |
| 1071 | |
Keith Kanios | a6dfa78 | 2007-04-13 16:47:53 +0000 | [diff] [blame] | 1072 | int32_t eatbyte(uint8_t *data, char *output, int outbufsize) |
H. Peter Anvin | eba20a7 | 2002-04-30 20:53:55 +0000 | [diff] [blame] | 1073 | { |
Ed Beroset | 9234817 | 2004-12-15 18:27:50 +0000 | [diff] [blame] | 1074 | snprintf(output, outbufsize, "db 0x%02X", *data); |
H. Peter Anvin | ea6e34d | 2002-04-30 20:51:32 +0000 | [diff] [blame] | 1075 | return 1; |
| 1076 | } |