blob: 9a7bcc8bd5d1020c75c8feae806c9135b18041bc [file] [log] [blame]
Craig Topperabfe07e2014-10-07 07:29:46 +00001//===-- X86DisassemblerDecoder.cpp - Disassembler decoder -----------------===//
Richard Smith89ee75d2014-04-20 21:07:34 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Richard Smith89ee75d2014-04-20 21:07:34 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file is part of the X86 Disassembler.
10// It contains the implementation of the instruction decoder.
11// Documentation for the disassembler can be found in X86Disassembler.h.
12//
13//===----------------------------------------------------------------------===//
Sean Callanan04cc3072009-12-19 02:59:52 +000014
Chandler Carruth6bda14b2017-06-06 11:49:48 +000015#include <cstdarg> /* for va_*() */
16#include <cstdio> /* for vsnprintf() */
17#include <cstdlib> /* for exit() */
18#include <cstring> /* for memset() */
Sean Callanan04cc3072009-12-19 02:59:52 +000019
20#include "X86DisassemblerDecoder.h"
21
Richard Smith89ee75d2014-04-20 21:07:34 +000022using namespace llvm::X86Disassembler;
23
Richard Smithac15f1c2014-04-20 21:52:16 +000024/// Specifies whether a ModR/M byte is needed and (if so) which
25/// instruction each possible value of the ModR/M byte corresponds to. Once
26/// this information is known, we have narrowed down to a single instruction.
27struct ModRMDecision {
28 uint8_t modrm_type;
29 uint16_t instructionIDs;
30};
31
32/// Specifies which set of ModR/M->instruction tables to look at
33/// given a particular opcode.
34struct OpcodeDecision {
35 ModRMDecision modRMDecisions[256];
36};
37
38/// Specifies which opcode->instruction tables to look at given
39/// a particular context (set of attributes). Since there are many possible
40/// contexts, the decoder first uses CONTEXTS_SYM to determine which context
41/// applies given a specific set of attributes. Hence there are only IC_max
42/// entries in this table, rather than 2^(ATTR_max).
43struct ContextDecision {
44 OpcodeDecision opcodeDecisions[IC_max];
45};
46
Sean Callanan04cc3072009-12-19 02:59:52 +000047#include "X86GenDisassemblerTables.inc"
48
Sean Callanan010b3732010-04-02 21:23:51 +000049#ifndef NDEBUG
Richard Smith89ee75d2014-04-20 21:07:34 +000050#define debug(s) do { Debug(__FILE__, __LINE__, s); } while (0)
Sean Callanan010b3732010-04-02 21:23:51 +000051#else
52#define debug(s) do { } while (0)
53#endif
54
Sean Callanan04cc3072009-12-19 02:59:52 +000055/*
56 * contextForAttrs - Client for the instruction context table. Takes a set of
57 * attributes and returns the appropriate decode context.
58 *
59 * @param attrMask - Attributes, from the enumeration attributeBits.
60 * @return - The InstructionContext to use when looking up an
61 * an instruction with these attributes.
62 */
Elena Demikhovsky371e3632013-12-25 11:40:51 +000063static InstructionContext contextForAttrs(uint16_t attrMask) {
Richard Smith89ee75d2014-04-20 21:07:34 +000064 return static_cast<InstructionContext>(CONTEXTS_SYM[attrMask]);
Sean Callanan04cc3072009-12-19 02:59:52 +000065}
66
67/*
68 * modRMRequired - Reads the appropriate instruction table to determine whether
69 * the ModR/M byte is required to decode a particular instruction.
70 *
71 * @param type - The opcode type (i.e., how many bytes it has).
72 * @param insnContext - The context for the instruction, as returned by
73 * contextForAttrs.
74 * @param opcode - The last byte of the instruction's opcode, not counting
75 * ModR/M extensions and escapes.
Richard Smith5d5061032014-04-20 22:15:37 +000076 * @return - true if the ModR/M byte is required, false otherwise.
Sean Callanan04cc3072009-12-19 02:59:52 +000077 */
Sean Callanan588785c2009-12-22 22:51:40 +000078static int modRMRequired(OpcodeType type,
Craig Topper21c33652011-10-02 16:56:09 +000079 InstructionContext insnContext,
Elena Demikhovsky371e3632013-12-25 11:40:51 +000080 uint16_t opcode) {
Craig Toppere73658d2014-04-28 04:05:08 +000081 const struct ContextDecision* decision = nullptr;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +000082
Sean Callanan04cc3072009-12-19 02:59:52 +000083 switch (type) {
84 case ONEBYTE:
85 decision = &ONEBYTE_SYM;
86 break;
87 case TWOBYTE:
88 decision = &TWOBYTE_SYM;
89 break;
90 case THREEBYTE_38:
91 decision = &THREEBYTE38_SYM;
92 break;
93 case THREEBYTE_3A:
94 decision = &THREEBYTE3A_SYM;
95 break;
Craig Topper9e3e38a2013-10-03 05:17:48 +000096 case XOP8_MAP:
97 decision = &XOP8_MAP_SYM;
98 break;
99 case XOP9_MAP:
100 decision = &XOP9_MAP_SYM;
101 break;
102 case XOPA_MAP:
103 decision = &XOPA_MAP_SYM;
104 break;
Craig Topper097b47a2018-03-24 07:48:54 +0000105 case THREEDNOW_MAP:
106 decision = &THREEDNOW_MAP_SYM;
107 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000108 }
Ahmed Charles636a3d62012-02-19 11:37:01 +0000109
Sean Callanan04cc3072009-12-19 02:59:52 +0000110 return decision->opcodeDecisions[insnContext].modRMDecisions[opcode].
111 modrm_type != MODRM_ONEENTRY;
Sean Callanan04cc3072009-12-19 02:59:52 +0000112}
113
114/*
115 * decode - Reads the appropriate instruction table to obtain the unique ID of
116 * an instruction.
117 *
118 * @param type - See modRMRequired().
119 * @param insnContext - See modRMRequired().
120 * @param opcode - See modRMRequired().
121 * @param modRM - The ModR/M byte if required, or any value if not.
Sean Callanan010b3732010-04-02 21:23:51 +0000122 * @return - The UID of the instruction, or 0 on failure.
Sean Callanan04cc3072009-12-19 02:59:52 +0000123 */
Sean Callanan588785c2009-12-22 22:51:40 +0000124static InstrUID decode(OpcodeType type,
Sean Callanan010b3732010-04-02 21:23:51 +0000125 InstructionContext insnContext,
126 uint8_t opcode,
127 uint8_t modRM) {
Craig Toppere73658d2014-04-28 04:05:08 +0000128 const struct ModRMDecision* dec = nullptr;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000129
Sean Callanan04cc3072009-12-19 02:59:52 +0000130 switch (type) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000131 case ONEBYTE:
132 dec = &ONEBYTE_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
133 break;
134 case TWOBYTE:
135 dec = &TWOBYTE_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
136 break;
137 case THREEBYTE_38:
138 dec = &THREEBYTE38_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
139 break;
140 case THREEBYTE_3A:
141 dec = &THREEBYTE3A_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
142 break;
Craig Topper9e3e38a2013-10-03 05:17:48 +0000143 case XOP8_MAP:
144 dec = &XOP8_MAP_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
145 break;
146 case XOP9_MAP:
147 dec = &XOP9_MAP_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
148 break;
149 case XOPA_MAP:
150 dec = &XOPA_MAP_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
151 break;
Craig Topper097b47a2018-03-24 07:48:54 +0000152 case THREEDNOW_MAP:
153 dec = &THREEDNOW_MAP_SYM.opcodeDecisions[insnContext].modRMDecisions[opcode];
154 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000155 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000156
Sean Callanan04cc3072009-12-19 02:59:52 +0000157 switch (dec->modrm_type) {
158 default:
Sean Callanan010b3732010-04-02 21:23:51 +0000159 debug("Corrupt table! Unknown modrm_type");
160 return 0;
Sean Callanan04cc3072009-12-19 02:59:52 +0000161 case MODRM_ONEENTRY:
Craig Topper487e7442012-02-09 07:45:30 +0000162 return modRMTable[dec->instructionIDs];
Sean Callanan04cc3072009-12-19 02:59:52 +0000163 case MODRM_SPLITRM:
164 if (modFromModRM(modRM) == 0x3)
Craig Topper487e7442012-02-09 07:45:30 +0000165 return modRMTable[dec->instructionIDs+1];
166 return modRMTable[dec->instructionIDs];
Craig Toppera0cd9702012-02-09 08:58:07 +0000167 case MODRM_SPLITREG:
168 if (modFromModRM(modRM) == 0x3)
169 return modRMTable[dec->instructionIDs+((modRM & 0x38) >> 3)+8];
170 return modRMTable[dec->instructionIDs+((modRM & 0x38) >> 3)];
Craig Topper963305b2012-09-13 05:45:42 +0000171 case MODRM_SPLITMISC:
172 if (modFromModRM(modRM) == 0x3)
173 return modRMTable[dec->instructionIDs+(modRM & 0x3f)+8];
174 return modRMTable[dec->instructionIDs+((modRM & 0x38) >> 3)];
Sean Callanan04cc3072009-12-19 02:59:52 +0000175 case MODRM_FULL:
Craig Topper487e7442012-02-09 07:45:30 +0000176 return modRMTable[dec->instructionIDs+modRM];
Sean Callanan04cc3072009-12-19 02:59:52 +0000177 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000178}
179
180/*
181 * specifierForUID - Given a UID, returns the name and operand specification for
182 * that instruction.
183 *
184 * @param uid - The unique ID for the instruction. This should be returned by
185 * decode(); specifierForUID will not check bounds.
186 * @return - A pointer to the specification for that instruction.
187 */
Benjamin Kramerde0a4fb2010-10-23 09:10:44 +0000188static const struct InstructionSpecifier *specifierForUID(InstrUID uid) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000189 return &INSTRUCTIONS_SYM[uid];
190}
191
192/*
193 * consumeByte - Uses the reader function provided by the user to consume one
194 * byte from the instruction's memory and advance the cursor.
195 *
196 * @param insn - The instruction with the reader function to use. The cursor
197 * for this instruction is advanced.
198 * @param byte - A pointer to a pre-allocated memory buffer to be populated
199 * with the data read.
200 * @return - 0 if the read was successful; nonzero otherwise.
201 */
Sean Callanan588785c2009-12-22 22:51:40 +0000202static int consumeByte(struct InternalInstruction* insn, uint8_t* byte) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000203 int ret = insn->reader(insn->readerArg, byte, insn->readerCursor);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000204
Sean Callanan04cc3072009-12-19 02:59:52 +0000205 if (!ret)
206 ++(insn->readerCursor);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000207
Sean Callanan04cc3072009-12-19 02:59:52 +0000208 return ret;
209}
210
211/*
212 * lookAtByte - Like consumeByte, but does not advance the cursor.
213 *
214 * @param insn - See consumeByte().
215 * @param byte - See consumeByte().
216 * @return - See consumeByte().
217 */
Sean Callanan588785c2009-12-22 22:51:40 +0000218static int lookAtByte(struct InternalInstruction* insn, uint8_t* byte) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000219 return insn->reader(insn->readerArg, byte, insn->readerCursor);
220}
221
Sean Callanan588785c2009-12-22 22:51:40 +0000222static void unconsumeByte(struct InternalInstruction* insn) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000223 insn->readerCursor--;
224}
225
Sean Callanan588785c2009-12-22 22:51:40 +0000226#define CONSUME_FUNC(name, type) \
227 static int name(struct InternalInstruction* insn, type* ptr) { \
228 type combined = 0; \
229 unsigned offset; \
230 for (offset = 0; offset < sizeof(type); ++offset) { \
231 uint8_t byte; \
232 int ret = insn->reader(insn->readerArg, \
233 &byte, \
234 insn->readerCursor + offset); \
235 if (ret) \
236 return ret; \
Richard Smith228e6d42012-08-24 23:29:28 +0000237 combined = combined | ((uint64_t)byte << (offset * 8)); \
Sean Callanan588785c2009-12-22 22:51:40 +0000238 } \
239 *ptr = combined; \
240 insn->readerCursor += sizeof(type); \
241 return 0; \
Sean Callanan04cc3072009-12-19 02:59:52 +0000242 }
243
244/*
245 * consume* - Use the reader function provided by the user to consume data
246 * values of various sizes from the instruction's memory and advance the
247 * cursor appropriately. These readers perform endian conversion.
248 *
249 * @param insn - See consumeByte().
250 * @param ptr - A pointer to a pre-allocated memory of appropriate size to
251 * be populated with the data read.
252 * @return - See consumeByte().
253 */
254CONSUME_FUNC(consumeInt8, int8_t)
255CONSUME_FUNC(consumeInt16, int16_t)
256CONSUME_FUNC(consumeInt32, int32_t)
257CONSUME_FUNC(consumeUInt16, uint16_t)
258CONSUME_FUNC(consumeUInt32, uint32_t)
259CONSUME_FUNC(consumeUInt64, uint64_t)
260
261/*
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000262 * dbgprintf - Uses the logging function provided by the user to log a single
Sean Callanan04cc3072009-12-19 02:59:52 +0000263 * message, typically without a carriage-return.
264 *
265 * @param insn - The instruction containing the logging function.
266 * @param format - See printf().
267 * @param ... - See printf().
268 */
Sean Callanan588785c2009-12-22 22:51:40 +0000269static void dbgprintf(struct InternalInstruction* insn,
270 const char* format,
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000271 ...) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000272 char buffer[256];
273 va_list ap;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000274
Sean Callanan04cc3072009-12-19 02:59:52 +0000275 if (!insn->dlog)
276 return;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000277
Sean Callanan04cc3072009-12-19 02:59:52 +0000278 va_start(ap, format);
279 (void)vsnprintf(buffer, sizeof(buffer), format, ap);
280 va_end(ap);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000281
Sean Callanan04cc3072009-12-19 02:59:52 +0000282 insn->dlog(insn->dlogArg, buffer);
Sean Callanan04cc3072009-12-19 02:59:52 +0000283}
284
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000285static bool isREX(struct InternalInstruction *insn, uint8_t prefix) {
286 if (insn->mode == MODE_64BIT)
287 return prefix >= 0x40 && prefix <= 0x4f;
288 return false;
Sean Callanan04cc3072009-12-19 02:59:52 +0000289}
290
291/*
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000292 * setPrefixPresent - Marks that a particular prefix is present as mandatory
Sean Callanan04cc3072009-12-19 02:59:52 +0000293 *
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000294 * @param insn - The instruction to be marked as having the prefix.
295 * @param prefix - The prefix that is present.
Sean Callanan04cc3072009-12-19 02:59:52 +0000296 */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000297static void setPrefixPresent(struct InternalInstruction *insn, uint8_t prefix) {
298 uint8_t nextByte;
299 switch (prefix) {
Maksim Panchenko89e4abe2018-07-05 23:32:42 +0000300 case 0xf0:
301 insn->hasLockPrefix = true;
302 break;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000303 case 0xf2:
304 case 0xf3:
305 if (lookAtByte(insn, &nextByte))
306 break;
307 // TODO:
308 // 1. There could be several 0x66
309 // 2. if (nextByte == 0x66) and nextNextByte != 0x0f then
310 // it's not mandatory prefix
311 // 3. if (nextByte >= 0x40 && nextByte <= 0x4f) it's REX and we need
312 // 0x0f exactly after it to be mandatory prefix
313 if (isREX(insn, nextByte) || nextByte == 0x0f || nextByte == 0x66)
314 // The last of 0xf2 /0xf3 is mandatory prefix
315 insn->mandatoryPrefix = prefix;
316 insn->repeatPrefix = prefix;
317 break;
318 case 0x66:
319 if (lookAtByte(insn, &nextByte))
320 break;
321 // 0x66 can't overwrite existing mandatory prefix and should be ignored
322 if (!insn->mandatoryPrefix && (nextByte == 0x0f || isREX(insn, nextByte)))
323 insn->mandatoryPrefix = prefix;
324 break;
325 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000326}
327
328/*
329 * readPrefixes - Consumes all of an instruction's prefix bytes, and marks the
330 * instruction as having them. Also sets the instruction's default operand,
331 * address, and other relevant data sizes to report operands correctly.
332 *
333 * @param insn - The instruction whose prefixes are to be read.
334 * @return - 0 if the instruction could be read until the end of the prefix
335 * bytes, and no prefixes conflicted; nonzero otherwise.
336 */
337static int readPrefixes(struct InternalInstruction* insn) {
Richard Smith5d5061032014-04-20 22:15:37 +0000338 bool isPrefix = true;
Ted Kremenek3c4408c2011-01-23 17:05:06 +0000339 uint8_t byte = 0;
Richard Mitton79917a92013-08-30 21:32:42 +0000340 uint8_t nextByte;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000341
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000342 dbgprintf(insn, "readPrefixes()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000343
Sean Callanan04cc3072009-12-19 02:59:52 +0000344 while (isPrefix) {
Richard Mitton576ee002013-08-30 21:19:48 +0000345 /* If we fail reading prefixes, just stop here and let the opcode reader deal with it */
Sean Callanan04cc3072009-12-19 02:59:52 +0000346 if (consumeByte(insn, &byte))
Richard Mitton576ee002013-08-30 21:19:48 +0000347 break;
Kevin Enderby014e1cd2012-03-09 17:52:49 +0000348
Benjamin Krameradfc73d2012-03-10 15:10:06 +0000349 /*
Dave Zarzycki07fabee2013-03-25 18:59:38 +0000350 * If the byte is a LOCK/REP/REPNE prefix and not a part of the opcode, then
351 * break and let it be disassembled as a normal "instruction".
Benjamin Krameradfc73d2012-03-10 15:10:06 +0000352 */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000353 if (insn->readerCursor - 1 == insn->startLocation && byte == 0xf0) // LOCK
Richard Mitton576ee002013-08-30 21:19:48 +0000354 break;
355
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000356 if ((byte == 0xf2 || byte == 0xf3) && !lookAtByte(insn, &nextByte)) {
Kevin Enderby35fd7922013-06-20 22:32:18 +0000357 /*
358 * If the byte is 0xf2 or 0xf3, and any of the following conditions are
359 * met:
360 * - it is followed by a LOCK (0xf0) prefix
361 * - it is followed by an xchg instruction
362 * then it should be disassembled as a xacquire/xrelease not repne/rep.
363 */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000364 if (((nextByte == 0xf0) ||
365 ((nextByte & 0xfe) == 0x86 || (nextByte & 0xf8) == 0x90))) {
Richard Smith5d5061032014-04-20 22:15:37 +0000366 insn->xAcquireRelease = true;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000367 if (!(byte == 0xf3 && nextByte == 0x90)) // PAUSE instruction support
368 break;
369 }
Kevin Enderby35fd7922013-06-20 22:32:18 +0000370 /*
371 * Also if the byte is 0xf3, and the following condition is met:
372 * - it is followed by a "mov mem, reg" (opcode 0x88/0x89) or
373 * "mov mem, imm" (opcode 0xc6/0xc7) instructions.
374 * then it should be disassembled as an xrelease not rep.
375 */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000376 if (byte == 0xf3 && (nextByte == 0x88 || nextByte == 0x89 ||
377 nextByte == 0xc6 || nextByte == 0xc7)) {
Richard Smith5d5061032014-04-20 22:15:37 +0000378 insn->xAcquireRelease = true;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000379 if (nextByte != 0x90) // PAUSE instruction support
380 break;
381 }
382 if (isREX(insn, nextByte)) {
383 uint8_t nnextByte;
384 // Go to REX prefix after the current one
385 if (consumeByte(insn, &nnextByte))
Dave Zarzycki07fabee2013-03-25 18:59:38 +0000386 return -1;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000387 // We should be able to read next byte after REX prefix
388 if (lookAtByte(insn, &nnextByte))
Dave Zarzycki07fabee2013-03-25 18:59:38 +0000389 return -1;
390 unconsumeByte(insn);
391 }
Dave Zarzycki07fabee2013-03-25 18:59:38 +0000392 }
393
Sean Callanan04cc3072009-12-19 02:59:52 +0000394 switch (byte) {
395 case 0xf0: /* LOCK */
396 case 0xf2: /* REPNE/REPNZ */
397 case 0xf3: /* REP or REPE/REPZ */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000398 setPrefixPresent(insn, byte);
Sean Callanan04cc3072009-12-19 02:59:52 +0000399 break;
400 case 0x2e: /* CS segment override -OR- Branch not taken */
401 case 0x36: /* SS segment override -OR- Branch taken */
402 case 0x3e: /* DS segment override */
403 case 0x26: /* ES segment override */
404 case 0x64: /* FS segment override */
405 case 0x65: /* GS segment override */
406 switch (byte) {
407 case 0x2e:
408 insn->segmentOverride = SEG_OVERRIDE_CS;
409 break;
410 case 0x36:
411 insn->segmentOverride = SEG_OVERRIDE_SS;
412 break;
413 case 0x3e:
414 insn->segmentOverride = SEG_OVERRIDE_DS;
415 break;
416 case 0x26:
417 insn->segmentOverride = SEG_OVERRIDE_ES;
418 break;
419 case 0x64:
420 insn->segmentOverride = SEG_OVERRIDE_FS;
421 break;
422 case 0x65:
423 insn->segmentOverride = SEG_OVERRIDE_GS;
424 break;
425 default:
Sean Callanan010b3732010-04-02 21:23:51 +0000426 debug("Unhandled override");
427 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +0000428 }
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000429 setPrefixPresent(insn, byte);
Sean Callanan04cc3072009-12-19 02:59:52 +0000430 break;
431 case 0x66: /* Operand-size override */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000432 insn->hasOpSize = true;
433 setPrefixPresent(insn, byte);
Sean Callanan04cc3072009-12-19 02:59:52 +0000434 break;
435 case 0x67: /* Address-size override */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000436 insn->hasAdSize = true;
437 setPrefixPresent(insn, byte);
Sean Callanan04cc3072009-12-19 02:59:52 +0000438 break;
439 default: /* Not a prefix byte */
Richard Smith5d5061032014-04-20 22:15:37 +0000440 isPrefix = false;
Sean Callanan04cc3072009-12-19 02:59:52 +0000441 break;
442 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000443
Sean Callanan04cc3072009-12-19 02:59:52 +0000444 if (isPrefix)
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000445 dbgprintf(insn, "Found prefix 0x%hhx", byte);
Sean Callanan04cc3072009-12-19 02:59:52 +0000446 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000447
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000448 insn->vectorExtensionType = TYPE_NO_VEX_XOP;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000449
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000450 if (byte == 0x62) {
451 uint8_t byte1, byte2;
452
453 if (consumeByte(insn, &byte1)) {
454 dbgprintf(insn, "Couldn't read second byte of EVEX prefix");
455 return -1;
456 }
457
458 if (lookAtByte(insn, &byte2)) {
459 dbgprintf(insn, "Couldn't read third byte of EVEX prefix");
460 return -1;
461 }
462
463 if ((insn->mode == MODE_64BIT || (byte1 & 0xc0) == 0xc0) &&
464 ((~byte1 & 0xc) == 0xc) && ((byte2 & 0x4) == 0x4)) {
465 insn->vectorExtensionType = TYPE_EVEX;
Craig Topper273515e2014-10-07 07:29:48 +0000466 } else {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000467 unconsumeByte(insn); /* unconsume byte1 */
468 unconsumeByte(insn); /* unconsume byte */
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000469 }
470
471 if (insn->vectorExtensionType == TYPE_EVEX) {
472 insn->vectorExtensionPrefix[0] = byte;
473 insn->vectorExtensionPrefix[1] = byte1;
474 if (consumeByte(insn, &insn->vectorExtensionPrefix[2])) {
475 dbgprintf(insn, "Couldn't read third byte of EVEX prefix");
476 return -1;
477 }
478 if (consumeByte(insn, &insn->vectorExtensionPrefix[3])) {
479 dbgprintf(insn, "Couldn't read fourth byte of EVEX prefix");
480 return -1;
481 }
482
483 /* We simulate the REX prefix for simplicity's sake */
484 if (insn->mode == MODE_64BIT) {
485 insn->rexPrefix = 0x40
486 | (wFromEVEX3of4(insn->vectorExtensionPrefix[2]) << 3)
487 | (rFromEVEX2of4(insn->vectorExtensionPrefix[1]) << 2)
488 | (xFromEVEX2of4(insn->vectorExtensionPrefix[1]) << 1)
489 | (bFromEVEX2of4(insn->vectorExtensionPrefix[1]) << 0);
490 }
491
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000492 dbgprintf(insn, "Found EVEX prefix 0x%hhx 0x%hhx 0x%hhx 0x%hhx",
493 insn->vectorExtensionPrefix[0], insn->vectorExtensionPrefix[1],
494 insn->vectorExtensionPrefix[2], insn->vectorExtensionPrefix[3]);
495 }
Craig Topper273515e2014-10-07 07:29:48 +0000496 } else if (byte == 0xc4) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000497 uint8_t byte1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000498
Sean Callananc3fd5232011-03-15 01:23:15 +0000499 if (lookAtByte(insn, &byte1)) {
500 dbgprintf(insn, "Couldn't read second byte of VEX");
501 return -1;
502 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000503
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000504 if (insn->mode == MODE_64BIT || (byte1 & 0xc0) == 0xc0)
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000505 insn->vectorExtensionType = TYPE_VEX_3B;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000506 else
Sean Callanan04cc3072009-12-19 02:59:52 +0000507 unconsumeByte(insn);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000508
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000509 if (insn->vectorExtensionType == TYPE_VEX_3B) {
510 insn->vectorExtensionPrefix[0] = byte;
511 consumeByte(insn, &insn->vectorExtensionPrefix[1]);
512 consumeByte(insn, &insn->vectorExtensionPrefix[2]);
Sean Callananc3fd5232011-03-15 01:23:15 +0000513
514 /* We simulate the REX prefix for simplicity's sake */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000515
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000516 if (insn->mode == MODE_64BIT)
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000517 insn->rexPrefix = 0x40
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000518 | (wFromVEX3of3(insn->vectorExtensionPrefix[2]) << 3)
519 | (rFromVEX2of3(insn->vectorExtensionPrefix[1]) << 2)
520 | (xFromVEX2of3(insn->vectorExtensionPrefix[1]) << 1)
521 | (bFromVEX2of3(insn->vectorExtensionPrefix[1]) << 0);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000522
Craig Topper9e3e38a2013-10-03 05:17:48 +0000523 dbgprintf(insn, "Found VEX prefix 0x%hhx 0x%hhx 0x%hhx",
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000524 insn->vectorExtensionPrefix[0], insn->vectorExtensionPrefix[1],
525 insn->vectorExtensionPrefix[2]);
Sean Callananc3fd5232011-03-15 01:23:15 +0000526 }
Craig Topper273515e2014-10-07 07:29:48 +0000527 } else if (byte == 0xc5) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000528 uint8_t byte1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000529
Sean Callananc3fd5232011-03-15 01:23:15 +0000530 if (lookAtByte(insn, &byte1)) {
531 dbgprintf(insn, "Couldn't read second byte of VEX");
532 return -1;
533 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000534
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000535 if (insn->mode == MODE_64BIT || (byte1 & 0xc0) == 0xc0)
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000536 insn->vectorExtensionType = TYPE_VEX_2B;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000537 else
Sean Callananc3fd5232011-03-15 01:23:15 +0000538 unconsumeByte(insn);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000539
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000540 if (insn->vectorExtensionType == TYPE_VEX_2B) {
541 insn->vectorExtensionPrefix[0] = byte;
542 consumeByte(insn, &insn->vectorExtensionPrefix[1]);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000543
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000544 if (insn->mode == MODE_64BIT)
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000545 insn->rexPrefix = 0x40
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000546 | (rFromVEX2of2(insn->vectorExtensionPrefix[1]) << 2);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000547
Craig Topper273515e2014-10-07 07:29:48 +0000548 switch (ppFromVEX2of2(insn->vectorExtensionPrefix[1])) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000549 default:
550 break;
551 case VEX_PREFIX_66:
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000552 insn->hasOpSize = true;
Sean Callananc3fd5232011-03-15 01:23:15 +0000553 break;
554 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000555
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000556 dbgprintf(insn, "Found VEX prefix 0x%hhx 0x%hhx",
557 insn->vectorExtensionPrefix[0],
558 insn->vectorExtensionPrefix[1]);
Craig Topper9e3e38a2013-10-03 05:17:48 +0000559 }
Craig Topper273515e2014-10-07 07:29:48 +0000560 } else if (byte == 0x8f) {
Craig Topper9e3e38a2013-10-03 05:17:48 +0000561 uint8_t byte1;
562
563 if (lookAtByte(insn, &byte1)) {
564 dbgprintf(insn, "Couldn't read second byte of XOP");
565 return -1;
566 }
567
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000568 if ((byte1 & 0x38) != 0x0) /* 0 in these 3 bits is a POP instruction. */
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000569 insn->vectorExtensionType = TYPE_XOP;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000570 else
Craig Topper9e3e38a2013-10-03 05:17:48 +0000571 unconsumeByte(insn);
Craig Topper9e3e38a2013-10-03 05:17:48 +0000572
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000573 if (insn->vectorExtensionType == TYPE_XOP) {
574 insn->vectorExtensionPrefix[0] = byte;
575 consumeByte(insn, &insn->vectorExtensionPrefix[1]);
576 consumeByte(insn, &insn->vectorExtensionPrefix[2]);
Craig Topper9e3e38a2013-10-03 05:17:48 +0000577
578 /* We simulate the REX prefix for simplicity's sake */
579
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000580 if (insn->mode == MODE_64BIT)
Craig Topper9e3e38a2013-10-03 05:17:48 +0000581 insn->rexPrefix = 0x40
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000582 | (wFromXOP3of3(insn->vectorExtensionPrefix[2]) << 3)
583 | (rFromXOP2of3(insn->vectorExtensionPrefix[1]) << 2)
584 | (xFromXOP2of3(insn->vectorExtensionPrefix[1]) << 1)
585 | (bFromXOP2of3(insn->vectorExtensionPrefix[1]) << 0);
Craig Topper9e3e38a2013-10-03 05:17:48 +0000586
Craig Topper273515e2014-10-07 07:29:48 +0000587 switch (ppFromXOP3of3(insn->vectorExtensionPrefix[2])) {
Craig Topper9e3e38a2013-10-03 05:17:48 +0000588 default:
589 break;
590 case VEX_PREFIX_66:
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000591 insn->hasOpSize = true;
Craig Topper9e3e38a2013-10-03 05:17:48 +0000592 break;
593 }
594
595 dbgprintf(insn, "Found XOP prefix 0x%hhx 0x%hhx 0x%hhx",
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000596 insn->vectorExtensionPrefix[0], insn->vectorExtensionPrefix[1],
597 insn->vectorExtensionPrefix[2]);
Sean Callananc3fd5232011-03-15 01:23:15 +0000598 }
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000599 } else if (isREX(insn, byte)) {
600 if (lookAtByte(insn, &nextByte))
601 return -1;
602 insn->rexPrefix = byte;
603 dbgprintf(insn, "Found REX prefix 0x%hhx", byte);
604 } else
605 unconsumeByte(insn);
Sean Callananc3fd5232011-03-15 01:23:15 +0000606
Sean Callanan04cc3072009-12-19 02:59:52 +0000607 if (insn->mode == MODE_16BIT) {
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000608 insn->registerSize = (insn->hasOpSize ? 4 : 2);
609 insn->addressSize = (insn->hasAdSize ? 4 : 2);
610 insn->displacementSize = (insn->hasAdSize ? 4 : 2);
611 insn->immediateSize = (insn->hasOpSize ? 4 : 2);
Sean Callanan04cc3072009-12-19 02:59:52 +0000612 } else if (insn->mode == MODE_32BIT) {
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000613 insn->registerSize = (insn->hasOpSize ? 2 : 4);
614 insn->addressSize = (insn->hasAdSize ? 2 : 4);
615 insn->displacementSize = (insn->hasAdSize ? 2 : 4);
616 insn->immediateSize = (insn->hasOpSize ? 2 : 4);
Sean Callanan04cc3072009-12-19 02:59:52 +0000617 } else if (insn->mode == MODE_64BIT) {
618 if (insn->rexPrefix && wFromREX(insn->rexPrefix)) {
619 insn->registerSize = 8;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000620 insn->addressSize = (insn->hasAdSize ? 4 : 8);
Sean Callanan04cc3072009-12-19 02:59:52 +0000621 insn->displacementSize = 4;
622 insn->immediateSize = 4;
Sean Callanan04cc3072009-12-19 02:59:52 +0000623 } else {
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000624 insn->registerSize = (insn->hasOpSize ? 2 : 4);
625 insn->addressSize = (insn->hasAdSize ? 4 : 8);
626 insn->displacementSize = (insn->hasOpSize ? 2 : 4);
627 insn->immediateSize = (insn->hasOpSize ? 2 : 4);
Sean Callanan04cc3072009-12-19 02:59:52 +0000628 }
629 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000630
Sean Callanan04cc3072009-12-19 02:59:52 +0000631 return 0;
632}
633
Rafael Aulerde9ad4b2018-02-15 21:20:31 +0000634static int readModRM(struct InternalInstruction* insn);
635
Sean Callanan04cc3072009-12-19 02:59:52 +0000636/*
637 * readOpcode - Reads the opcode (excepting the ModR/M byte in the case of
638 * extended or escape opcodes).
639 *
640 * @param insn - The instruction whose opcode is to be read.
641 * @return - 0 if the opcode could be read successfully; nonzero otherwise.
642 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000643static int readOpcode(struct InternalInstruction* insn) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000644 /* Determine the length of the primary opcode */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000645
Sean Callanan04cc3072009-12-19 02:59:52 +0000646 uint8_t current;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000647
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000648 dbgprintf(insn, "readOpcode()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000649
Sean Callanan04cc3072009-12-19 02:59:52 +0000650 insn->opcodeType = ONEBYTE;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000651
Craig Topper273515e2014-10-07 07:29:48 +0000652 if (insn->vectorExtensionType == TYPE_EVEX) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000653 switch (mmFromEVEX2of4(insn->vectorExtensionPrefix[1])) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000654 default:
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000655 dbgprintf(insn, "Unhandled mm field for instruction (0x%hhx)",
656 mmFromEVEX2of4(insn->vectorExtensionPrefix[1]));
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000657 return -1;
Sean Callananc3fd5232011-03-15 01:23:15 +0000658 case VEX_LOB_0F:
Sean Callananc3fd5232011-03-15 01:23:15 +0000659 insn->opcodeType = TWOBYTE;
660 return consumeByte(insn, &insn->opcode);
661 case VEX_LOB_0F38:
Sean Callananc3fd5232011-03-15 01:23:15 +0000662 insn->opcodeType = THREEBYTE_38;
663 return consumeByte(insn, &insn->opcode);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000664 case VEX_LOB_0F3A:
Sean Callananc3fd5232011-03-15 01:23:15 +0000665 insn->opcodeType = THREEBYTE_3A;
666 return consumeByte(insn, &insn->opcode);
667 }
Craig Topper273515e2014-10-07 07:29:48 +0000668 } else if (insn->vectorExtensionType == TYPE_VEX_3B) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000669 switch (mmmmmFromVEX2of3(insn->vectorExtensionPrefix[1])) {
670 default:
671 dbgprintf(insn, "Unhandled m-mmmm field for instruction (0x%hhx)",
672 mmmmmFromVEX2of3(insn->vectorExtensionPrefix[1]));
673 return -1;
674 case VEX_LOB_0F:
675 insn->opcodeType = TWOBYTE;
676 return consumeByte(insn, &insn->opcode);
677 case VEX_LOB_0F38:
678 insn->opcodeType = THREEBYTE_38;
679 return consumeByte(insn, &insn->opcode);
680 case VEX_LOB_0F3A:
681 insn->opcodeType = THREEBYTE_3A;
682 return consumeByte(insn, &insn->opcode);
683 }
Craig Topper273515e2014-10-07 07:29:48 +0000684 } else if (insn->vectorExtensionType == TYPE_VEX_2B) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000685 insn->opcodeType = TWOBYTE;
686 return consumeByte(insn, &insn->opcode);
Craig Topper273515e2014-10-07 07:29:48 +0000687 } else if (insn->vectorExtensionType == TYPE_XOP) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000688 switch (mmmmmFromXOP2of3(insn->vectorExtensionPrefix[1])) {
Craig Topper9e3e38a2013-10-03 05:17:48 +0000689 default:
690 dbgprintf(insn, "Unhandled m-mmmm field for instruction (0x%hhx)",
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000691 mmmmmFromVEX2of3(insn->vectorExtensionPrefix[1]));
Craig Topper9e3e38a2013-10-03 05:17:48 +0000692 return -1;
693 case XOP_MAP_SELECT_8:
694 insn->opcodeType = XOP8_MAP;
695 return consumeByte(insn, &insn->opcode);
696 case XOP_MAP_SELECT_9:
697 insn->opcodeType = XOP9_MAP;
698 return consumeByte(insn, &insn->opcode);
699 case XOP_MAP_SELECT_A:
700 insn->opcodeType = XOPA_MAP;
701 return consumeByte(insn, &insn->opcode);
702 }
703 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000704
Sean Callanan04cc3072009-12-19 02:59:52 +0000705 if (consumeByte(insn, &current))
706 return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000707
Sean Callanan04cc3072009-12-19 02:59:52 +0000708 if (current == 0x0f) {
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000709 dbgprintf(insn, "Found a two-byte escape prefix (0x%hhx)", current);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000710
Sean Callanan04cc3072009-12-19 02:59:52 +0000711 if (consumeByte(insn, &current))
712 return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000713
Sean Callanan04cc3072009-12-19 02:59:52 +0000714 if (current == 0x38) {
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000715 dbgprintf(insn, "Found a three-byte escape prefix (0x%hhx)", current);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000716
Sean Callanan04cc3072009-12-19 02:59:52 +0000717 if (consumeByte(insn, &current))
718 return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000719
Sean Callanan04cc3072009-12-19 02:59:52 +0000720 insn->opcodeType = THREEBYTE_38;
721 } else if (current == 0x3a) {
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000722 dbgprintf(insn, "Found a three-byte escape prefix (0x%hhx)", current);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000723
Sean Callanan04cc3072009-12-19 02:59:52 +0000724 if (consumeByte(insn, &current))
725 return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000726
Sean Callanan04cc3072009-12-19 02:59:52 +0000727 insn->opcodeType = THREEBYTE_3A;
Craig Topper097b47a2018-03-24 07:48:54 +0000728 } else if (current == 0x0f) {
729 dbgprintf(insn, "Found a 3dnow escape prefix (0x%hhx)", current);
730
731 // Consume operands before the opcode to comply with the 3DNow encoding
732 if (readModRM(insn))
733 return -1;
734
735 if (consumeByte(insn, &current))
736 return -1;
737
738 insn->opcodeType = THREEDNOW_MAP;
Sean Callanan04cc3072009-12-19 02:59:52 +0000739 } else {
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000740 dbgprintf(insn, "Didn't find a three-byte escape prefix");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000741
Sean Callanan04cc3072009-12-19 02:59:52 +0000742 insn->opcodeType = TWOBYTE;
743 }
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000744 } else if (insn->mandatoryPrefix)
745 // The opcode with mandatory prefix must start with opcode escape.
746 // If not it's legacy repeat prefix
747 insn->mandatoryPrefix = 0;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000748
Sean Callanan04cc3072009-12-19 02:59:52 +0000749 /*
750 * At this point we have consumed the full opcode.
751 * Anything we consume from here on must be unconsumed.
752 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000753
Sean Callanan04cc3072009-12-19 02:59:52 +0000754 insn->opcode = current;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000755
Sean Callanan04cc3072009-12-19 02:59:52 +0000756 return 0;
757}
758
Sean Callanan04cc3072009-12-19 02:59:52 +0000759/*
760 * getIDWithAttrMask - Determines the ID of an instruction, consuming
761 * the ModR/M byte as appropriate for extended and escape opcodes,
762 * and using a supplied attribute mask.
763 *
764 * @param instructionID - A pointer whose target is filled in with the ID of the
765 * instruction.
766 * @param insn - The instruction whose ID is to be determined.
767 * @param attrMask - The attribute mask to search.
768 * @return - 0 if the ModR/M could be read when needed or was not
769 * needed; nonzero otherwise.
770 */
771static int getIDWithAttrMask(uint16_t* instructionID,
772 struct InternalInstruction* insn,
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000773 uint16_t attrMask) {
Richard Smith5d5061032014-04-20 22:15:37 +0000774 bool hasModRMExtension;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000775
Richard Smith89ee75d2014-04-20 21:07:34 +0000776 InstructionContext instructionClass = contextForAttrs(attrMask);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000777
Sean Callanan04cc3072009-12-19 02:59:52 +0000778 hasModRMExtension = modRMRequired(insn->opcodeType,
779 instructionClass,
780 insn->opcode);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000781
Sean Callanan04cc3072009-12-19 02:59:52 +0000782 if (hasModRMExtension) {
Rafael Espindola9f9a1062011-01-06 16:48:42 +0000783 if (readModRM(insn))
784 return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000785
Sean Callanan04cc3072009-12-19 02:59:52 +0000786 *instructionID = decode(insn->opcodeType,
787 instructionClass,
788 insn->opcode,
789 insn->modRM);
790 } else {
791 *instructionID = decode(insn->opcodeType,
792 instructionClass,
793 insn->opcode,
794 0);
795 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000796
Sean Callanan04cc3072009-12-19 02:59:52 +0000797 return 0;
798}
799
800/*
801 * is16BitEquivalent - Determines whether two instruction names refer to
802 * equivalent instructions but one is 16-bit whereas the other is not.
803 *
804 * @param orig - The instruction that is not 16-bit
805 * @param equiv - The instruction that is 16-bit
806 */
Mehdi Amini36d33fc2016-10-01 06:46:33 +0000807static bool is16BitEquivalent(const char *orig, const char *equiv) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000808 off_t i;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000809
Sean Callanan010b3732010-04-02 21:23:51 +0000810 for (i = 0;; i++) {
811 if (orig[i] == '\0' && equiv[i] == '\0')
Richard Smith5d5061032014-04-20 22:15:37 +0000812 return true;
Sean Callanan010b3732010-04-02 21:23:51 +0000813 if (orig[i] == '\0' || equiv[i] == '\0')
Richard Smith5d5061032014-04-20 22:15:37 +0000814 return false;
Sean Callanan010b3732010-04-02 21:23:51 +0000815 if (orig[i] != equiv[i]) {
816 if ((orig[i] == 'Q' || orig[i] == 'L') && equiv[i] == 'W')
Sean Callanan04cc3072009-12-19 02:59:52 +0000817 continue;
Sean Callanan010b3732010-04-02 21:23:51 +0000818 if ((orig[i] == '6' || orig[i] == '3') && equiv[i] == '1')
Sean Callanan04cc3072009-12-19 02:59:52 +0000819 continue;
Sean Callanan010b3732010-04-02 21:23:51 +0000820 if ((orig[i] == '4' || orig[i] == '2') && equiv[i] == '6')
Sean Callanan04cc3072009-12-19 02:59:52 +0000821 continue;
Richard Smith5d5061032014-04-20 22:15:37 +0000822 return false;
Sean Callanan04cc3072009-12-19 02:59:52 +0000823 }
824 }
825}
826
827/*
Craig Topper0676b902014-10-07 07:29:50 +0000828 * is64Bit - Determines whether this instruction is a 64-bit instruction.
829 *
830 * @param name - The instruction that is not 16-bit
831 */
Mehdi Amini36d33fc2016-10-01 06:46:33 +0000832static bool is64Bit(const char *name) {
Craig Topper0676b902014-10-07 07:29:50 +0000833 off_t i;
834
835 for (i = 0;; ++i) {
836 if (name[i] == '\0')
837 return false;
838 if (name[i] == '6' && name[i+1] == '4')
839 return true;
840 }
841}
842
843/*
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000844 * getID - Determines the ID of an instruction, consuming the ModR/M byte as
845 * appropriate for extended and escape opcodes. Determines the attributes and
Sean Callanan04cc3072009-12-19 02:59:52 +0000846 * context for the instruction before doing so.
847 *
848 * @param insn - The instruction whose ID is to be determined.
849 * @return - 0 if the ModR/M could be read when needed or was not needed;
850 * nonzero otherwise.
851 */
Roman Divacky67923802012-09-05 21:17:34 +0000852static int getID(struct InternalInstruction* insn, const void *miiArg) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000853 uint16_t attrMask;
Sean Callanan04cc3072009-12-19 02:59:52 +0000854 uint16_t instructionID;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000855
Nuno Lopes3ed6d602009-12-19 12:07:00 +0000856 dbgprintf(insn, "getID()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000857
Sean Callanan04cc3072009-12-19 02:59:52 +0000858 attrMask = ATTR_NONE;
Sean Callananc3fd5232011-03-15 01:23:15 +0000859
Sean Callanan04cc3072009-12-19 02:59:52 +0000860 if (insn->mode == MODE_64BIT)
861 attrMask |= ATTR_64BIT;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000862
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000863 if (insn->vectorExtensionType != TYPE_NO_VEX_XOP) {
864 attrMask |= (insn->vectorExtensionType == TYPE_EVEX) ? ATTR_EVEX : ATTR_VEX;
Sean Callananc3fd5232011-03-15 01:23:15 +0000865
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000866 if (insn->vectorExtensionType == TYPE_EVEX) {
867 switch (ppFromEVEX3of4(insn->vectorExtensionPrefix[2])) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000868 case VEX_PREFIX_66:
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000869 attrMask |= ATTR_OPSIZE;
Sean Callananc3fd5232011-03-15 01:23:15 +0000870 break;
871 case VEX_PREFIX_F3:
872 attrMask |= ATTR_XS;
873 break;
874 case VEX_PREFIX_F2:
875 attrMask |= ATTR_XD;
876 break;
877 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000878
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000879 if (zFromEVEX4of4(insn->vectorExtensionPrefix[3]))
880 attrMask |= ATTR_EVEXKZ;
881 if (bFromEVEX4of4(insn->vectorExtensionPrefix[3]))
882 attrMask |= ATTR_EVEXB;
883 if (aaaFromEVEX4of4(insn->vectorExtensionPrefix[3]))
884 attrMask |= ATTR_EVEXK;
885 if (lFromEVEX4of4(insn->vectorExtensionPrefix[3]))
886 attrMask |= ATTR_EVEXL;
887 if (l2FromEVEX4of4(insn->vectorExtensionPrefix[3]))
888 attrMask |= ATTR_EVEXL2;
Craig Topper273515e2014-10-07 07:29:48 +0000889 } else if (insn->vectorExtensionType == TYPE_VEX_3B) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000890 switch (ppFromVEX3of3(insn->vectorExtensionPrefix[2])) {
891 case VEX_PREFIX_66:
892 attrMask |= ATTR_OPSIZE;
893 break;
894 case VEX_PREFIX_F3:
895 attrMask |= ATTR_XS;
896 break;
897 case VEX_PREFIX_F2:
898 attrMask |= ATTR_XD;
899 break;
900 }
901
902 if (lFromVEX3of3(insn->vectorExtensionPrefix[2]))
Sean Callananc3fd5232011-03-15 01:23:15 +0000903 attrMask |= ATTR_VEXL;
Craig Topper273515e2014-10-07 07:29:48 +0000904 } else if (insn->vectorExtensionType == TYPE_VEX_2B) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000905 switch (ppFromVEX2of2(insn->vectorExtensionPrefix[1])) {
Sean Callananc3fd5232011-03-15 01:23:15 +0000906 case VEX_PREFIX_66:
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000907 attrMask |= ATTR_OPSIZE;
Sean Callananc3fd5232011-03-15 01:23:15 +0000908 break;
909 case VEX_PREFIX_F3:
910 attrMask |= ATTR_XS;
911 break;
912 case VEX_PREFIX_F2:
913 attrMask |= ATTR_XD;
914 break;
915 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +0000916
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000917 if (lFromVEX2of2(insn->vectorExtensionPrefix[1]))
Craig Topper9e3e38a2013-10-03 05:17:48 +0000918 attrMask |= ATTR_VEXL;
Craig Topper273515e2014-10-07 07:29:48 +0000919 } else if (insn->vectorExtensionType == TYPE_XOP) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000920 switch (ppFromXOP3of3(insn->vectorExtensionPrefix[2])) {
Craig Topper9e3e38a2013-10-03 05:17:48 +0000921 case VEX_PREFIX_66:
922 attrMask |= ATTR_OPSIZE;
923 break;
924 case VEX_PREFIX_F3:
925 attrMask |= ATTR_XS;
926 break;
927 case VEX_PREFIX_F2:
928 attrMask |= ATTR_XD;
929 break;
930 }
931
Elena Demikhovsky371e3632013-12-25 11:40:51 +0000932 if (lFromXOP3of3(insn->vectorExtensionPrefix[2]))
Sean Callananc3fd5232011-03-15 01:23:15 +0000933 attrMask |= ATTR_VEXL;
Craig Topper273515e2014-10-07 07:29:48 +0000934 } else {
Sean Callananc3fd5232011-03-15 01:23:15 +0000935 return -1;
936 }
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000937 } else if (!insn->mandatoryPrefix) {
938 // If we don't have mandatory prefix we should use legacy prefixes here
939 if (insn->hasOpSize && (insn->mode != MODE_16BIT))
Sean Callananc3fd5232011-03-15 01:23:15 +0000940 attrMask |= ATTR_OPSIZE;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000941 if (insn->hasAdSize)
Craig Topper6491c802012-02-27 01:54:29 +0000942 attrMask |= ATTR_ADSIZE;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000943 if (insn->opcodeType == ONEBYTE) {
944 if (insn->repeatPrefix == 0xf3 && (insn->opcode == 0x90))
945 // Special support for PAUSE
946 attrMask |= ATTR_XS;
947 } else {
948 if (insn->repeatPrefix == 0xf2)
949 attrMask |= ATTR_XD;
950 else if (insn->repeatPrefix == 0xf3)
951 attrMask |= ATTR_XS;
952 }
953 } else {
954 switch (insn->mandatoryPrefix) {
955 case 0xf2:
Sean Callananc3fd5232011-03-15 01:23:15 +0000956 attrMask |= ATTR_XD;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +0000957 break;
958 case 0xf3:
959 attrMask |= ATTR_XS;
960 break;
961 case 0x66:
962 if (insn->mode != MODE_16BIT)
963 attrMask |= ATTR_OPSIZE;
964 break;
965 case 0x67:
966 attrMask |= ATTR_ADSIZE;
967 break;
968 }
Craig Topper665f7442018-04-05 18:20:14 +0000969
Sean Callananc3fd5232011-03-15 01:23:15 +0000970 }
971
Andrew V. Tischenkof94da592017-10-30 12:02:06 +0000972 if (insn->rexPrefix & 0x08) {
Craig Topperf18c8962011-10-04 06:30:42 +0000973 attrMask |= ATTR_REXW;
Andrew V. Tischenkof94da592017-10-30 12:02:06 +0000974 attrMask &= ~ATTR_ADSIZE;
975 }
Craig Topperf01f1b52011-11-06 23:04:08 +0000976
David Woodhouse9c74fdb2014-01-20 12:02:48 +0000977 /*
978 * JCXZ/JECXZ need special handling for 16-bit mode because the meaning
979 * of the AdSize prefix is inverted w.r.t. 32-bit mode.
980 */
Craig Topper6e518772014-12-31 07:07:11 +0000981 if (insn->mode == MODE_16BIT && insn->opcodeType == ONEBYTE &&
982 insn->opcode == 0xE3)
983 attrMask ^= ATTR_ADSIZE;
David Woodhouse9c74fdb2014-01-20 12:02:48 +0000984
Craig Toppercade6352018-08-13 22:06:28 +0000985 // If we're in 16-bit mode and this is one of the relative jumps and opsize
986 // prefix isn't present, we need to force the opsize attribute since the
987 // prefix is inverted relative to 32-bit mode.
988 if (insn->mode == MODE_16BIT && !insn->hasOpSize &&
989 insn->opcodeType == ONEBYTE &&
990 (insn->opcode == 0xE8 || insn->opcode == 0xE9))
991 attrMask |= ATTR_OPSIZE;
Vedant Kumarbf891b12015-08-26 16:20:29 +0000992
Craig Toppercade6352018-08-13 22:06:28 +0000993 if (insn->mode == MODE_16BIT && !insn->hasOpSize &&
994 insn->opcodeType == TWOBYTE &&
995 insn->opcode >= 0x80 && insn->opcode <= 0x8F)
996 attrMask |= ATTR_OPSIZE;
Vedant Kumarbf891b12015-08-26 16:20:29 +0000997
Craig Topper6e518772014-12-31 07:07:11 +0000998 if (getIDWithAttrMask(&instructionID, insn, attrMask))
999 return -1;
David Woodhouse9c74fdb2014-01-20 12:02:48 +00001000
Sean Callanan04cc3072009-12-19 02:59:52 +00001001 /* The following clauses compensate for limitations of the tables. */
Craig Topperf01f1b52011-11-06 23:04:08 +00001002
Craig Topper0676b902014-10-07 07:29:50 +00001003 if (insn->mode != MODE_64BIT &&
1004 insn->vectorExtensionType != TYPE_NO_VEX_XOP) {
1005 /*
1006 * The tables can't distinquish between cases where the W-bit is used to
1007 * select register size and cases where its a required part of the opcode.
1008 */
1009 if ((insn->vectorExtensionType == TYPE_EVEX &&
1010 wFromEVEX3of4(insn->vectorExtensionPrefix[2])) ||
1011 (insn->vectorExtensionType == TYPE_VEX_3B &&
1012 wFromVEX3of3(insn->vectorExtensionPrefix[2])) ||
1013 (insn->vectorExtensionType == TYPE_XOP &&
1014 wFromXOP3of3(insn->vectorExtensionPrefix[2]))) {
1015
1016 uint16_t instructionIDWithREXW;
1017 if (getIDWithAttrMask(&instructionIDWithREXW,
1018 insn, attrMask | ATTR_REXW)) {
1019 insn->instructionID = instructionID;
1020 insn->spec = specifierForUID(instructionID);
1021 return 0;
1022 }
1023
Mehdi Amini36d33fc2016-10-01 06:46:33 +00001024 auto SpecName = GetInstrName(instructionIDWithREXW, miiArg);
Craig Topper0676b902014-10-07 07:29:50 +00001025 // If not a 64-bit instruction. Switch the opcode.
Mehdi Amini36d33fc2016-10-01 06:46:33 +00001026 if (!is64Bit(SpecName.data())) {
Craig Topper0676b902014-10-07 07:29:50 +00001027 insn->instructionID = instructionIDWithREXW;
1028 insn->spec = specifierForUID(instructionIDWithREXW);
1029 return 0;
1030 }
1031 }
1032 }
1033
Craig Topper99bcab72014-12-31 07:07:31 +00001034 /*
Gabor Buellac8ded042018-05-01 10:01:16 +00001035 * Absolute moves, umonitor, and movdir64b need special handling.
Craig Topper99bcab72014-12-31 07:07:31 +00001036 * -For 16-bit mode because the meaning of the AdSize and OpSize prefixes are
1037 * inverted w.r.t.
1038 * -For 32-bit mode we need to ensure the ADSIZE prefix is observed in
1039 * any position.
1040 */
Gabor Buella31fa8022018-04-20 18:42:47 +00001041 if ((insn->opcodeType == ONEBYTE && ((insn->opcode & 0xFC) == 0xA0)) ||
Gabor Buellac8ded042018-05-01 10:01:16 +00001042 (insn->opcodeType == TWOBYTE && (insn->opcode == 0xAE)) ||
1043 (insn->opcodeType == THREEBYTE_38 && insn->opcode == 0xF8)) {
Craig Topper99bcab72014-12-31 07:07:31 +00001044 /* Make sure we observed the prefixes in any position. */
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001045 if (insn->hasAdSize)
Craig Topper99bcab72014-12-31 07:07:31 +00001046 attrMask |= ATTR_ADSIZE;
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001047 if (insn->hasOpSize)
Craig Topper99bcab72014-12-31 07:07:31 +00001048 attrMask |= ATTR_OPSIZE;
1049
1050 /* In 16-bit, invert the attributes. */
Gabor Buella31fa8022018-04-20 18:42:47 +00001051 if (insn->mode == MODE_16BIT) {
1052 attrMask ^= ATTR_ADSIZE;
Gabor Buellac8ded042018-05-01 10:01:16 +00001053
Gabor Buella31fa8022018-04-20 18:42:47 +00001054 /* The OpSize attribute is only valid with the absolute moves. */
1055 if (insn->opcodeType == ONEBYTE && ((insn->opcode & 0xFC) == 0xA0))
1056 attrMask ^= ATTR_OPSIZE;
1057 }
Craig Topper99bcab72014-12-31 07:07:31 +00001058
1059 if (getIDWithAttrMask(&instructionID, insn, attrMask))
1060 return -1;
1061
1062 insn->instructionID = instructionID;
1063 insn->spec = specifierForUID(instructionID);
1064 return 0;
1065 }
1066
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001067 if ((insn->mode == MODE_16BIT || insn->hasOpSize) &&
David Woodhouse5cf4c672014-01-20 12:02:35 +00001068 !(attrMask & ATTR_OPSIZE)) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001069 /*
1070 * The instruction tables make no distinction between instructions that
1071 * allow OpSize anywhere (i.e., 16-bit operations) and that need it in a
1072 * particular spot (i.e., many MMX operations). In general we're
1073 * conservative, but in the specific case where OpSize is present but not
1074 * in the right place we check if there's a 16-bit operation.
1075 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001076
Benjamin Kramerde0a4fb2010-10-23 09:10:44 +00001077 const struct InstructionSpecifier *spec;
Sean Callanan04cc3072009-12-19 02:59:52 +00001078 uint16_t instructionIDWithOpsize;
Mehdi Amini36d33fc2016-10-01 06:46:33 +00001079 llvm::StringRef specName, specWithOpSizeName;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001080
Sean Callanan04cc3072009-12-19 02:59:52 +00001081 spec = specifierForUID(instructionID);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001082
Sean Callanan04cc3072009-12-19 02:59:52 +00001083 if (getIDWithAttrMask(&instructionIDWithOpsize,
1084 insn,
1085 attrMask | ATTR_OPSIZE)) {
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001086 /*
Sean Callanan04cc3072009-12-19 02:59:52 +00001087 * ModRM required with OpSize but not present; give up and return version
1088 * without OpSize set
1089 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001090
Sean Callanan04cc3072009-12-19 02:59:52 +00001091 insn->instructionID = instructionID;
1092 insn->spec = spec;
1093 return 0;
1094 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001095
Richard Smith89ee75d2014-04-20 21:07:34 +00001096 specName = GetInstrName(instructionID, miiArg);
1097 specWithOpSizeName = GetInstrName(instructionIDWithOpsize, miiArg);
Benjamin Kramer478e8de2012-02-11 14:50:54 +00001098
Mehdi Amini36d33fc2016-10-01 06:46:33 +00001099 if (is16BitEquivalent(specName.data(), specWithOpSizeName.data()) &&
Andrew V. Tischenkobfc90612017-10-16 11:14:29 +00001100 (insn->mode == MODE_16BIT) ^ insn->hasOpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001101 insn->instructionID = instructionIDWithOpsize;
Benjamin Kramer915e3d92012-02-11 16:01:02 +00001102 insn->spec = specifierForUID(instructionIDWithOpsize);
Sean Callanan04cc3072009-12-19 02:59:52 +00001103 } else {
1104 insn->instructionID = instructionID;
1105 insn->spec = spec;
1106 }
1107 return 0;
1108 }
Craig Topper21c33652011-10-02 16:56:09 +00001109
1110 if (insn->opcodeType == ONEBYTE && insn->opcode == 0x90 &&
1111 insn->rexPrefix & 0x01) {
1112 /*
1113 * NOOP shouldn't decode as NOOP if REX.b is set. Instead
1114 * it should decode as XCHG %r8, %eax.
1115 */
1116
1117 const struct InstructionSpecifier *spec;
1118 uint16_t instructionIDWithNewOpcode;
1119 const struct InstructionSpecifier *specWithNewOpcode;
1120
1121 spec = specifierForUID(instructionID);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001122
Craig Topperb58a9662011-10-05 03:29:32 +00001123 /* Borrow opcode from one of the other XCHGar opcodes */
Craig Topper21c33652011-10-02 16:56:09 +00001124 insn->opcode = 0x91;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001125
Craig Topper21c33652011-10-02 16:56:09 +00001126 if (getIDWithAttrMask(&instructionIDWithNewOpcode,
1127 insn,
1128 attrMask)) {
1129 insn->opcode = 0x90;
1130
1131 insn->instructionID = instructionID;
1132 insn->spec = spec;
1133 return 0;
1134 }
1135
1136 specWithNewOpcode = specifierForUID(instructionIDWithNewOpcode);
1137
Craig Topperb58a9662011-10-05 03:29:32 +00001138 /* Change back */
Craig Topper21c33652011-10-02 16:56:09 +00001139 insn->opcode = 0x90;
1140
1141 insn->instructionID = instructionIDWithNewOpcode;
1142 insn->spec = specWithNewOpcode;
1143
1144 return 0;
1145 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001146
Sean Callanan04cc3072009-12-19 02:59:52 +00001147 insn->instructionID = instructionID;
1148 insn->spec = specifierForUID(insn->instructionID);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001149
Sean Callanan04cc3072009-12-19 02:59:52 +00001150 return 0;
1151}
1152
1153/*
1154 * readSIB - Consumes the SIB byte to determine addressing information for an
1155 * instruction.
1156 *
1157 * @param insn - The instruction whose SIB byte is to be read.
1158 * @return - 0 if the SIB byte was successfully read; nonzero otherwise.
1159 */
1160static int readSIB(struct InternalInstruction* insn) {
Richard Smith89ee75d2014-04-20 21:07:34 +00001161 SIBBase sibBaseBase = SIB_BASE_NONE;
Sean Callanan04cc3072009-12-19 02:59:52 +00001162 uint8_t index, base;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001163
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001164 dbgprintf(insn, "readSIB()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001165
Sean Callanan04cc3072009-12-19 02:59:52 +00001166 if (insn->consumedSIB)
1167 return 0;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001168
Richard Smith5d5061032014-04-20 22:15:37 +00001169 insn->consumedSIB = true;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001170
Sean Callanan04cc3072009-12-19 02:59:52 +00001171 switch (insn->addressSize) {
1172 case 2:
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001173 dbgprintf(insn, "SIB-based addressing doesn't work in 16-bit mode");
Sean Callanan04cc3072009-12-19 02:59:52 +00001174 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001175 case 4:
Craig Topperca2382d2017-10-21 20:03:20 +00001176 insn->sibIndexBase = SIB_INDEX_EAX;
Sean Callanan04cc3072009-12-19 02:59:52 +00001177 sibBaseBase = SIB_BASE_EAX;
1178 break;
1179 case 8:
Craig Topperca2382d2017-10-21 20:03:20 +00001180 insn->sibIndexBase = SIB_INDEX_RAX;
Sean Callanan04cc3072009-12-19 02:59:52 +00001181 sibBaseBase = SIB_BASE_RAX;
1182 break;
1183 }
1184
1185 if (consumeByte(insn, &insn->sib))
1186 return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001187
Sean Callanan04cc3072009-12-19 02:59:52 +00001188 index = indexFromSIB(insn->sib) | (xFromREX(insn->rexPrefix) << 3);
Douglas Katzmanfcda6f82015-06-24 22:04:55 +00001189
Douglas Katzmanfcda6f82015-06-24 22:04:55 +00001190 if (index == 0x4) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001191 insn->sibIndex = SIB_INDEX_NONE;
Douglas Katzmanfcda6f82015-06-24 22:04:55 +00001192 } else {
Craig Topperca2382d2017-10-21 20:03:20 +00001193 insn->sibIndex = (SIBIndex)(insn->sibIndexBase + index);
Sean Callanan04cc3072009-12-19 02:59:52 +00001194 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001195
Douglas Katzmanfcda6f82015-06-24 22:04:55 +00001196 insn->sibScale = 1 << scaleFromSIB(insn->sib);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001197
Sean Callanan04cc3072009-12-19 02:59:52 +00001198 base = baseFromSIB(insn->sib) | (bFromREX(insn->rexPrefix) << 3);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001199
Sean Callanan04cc3072009-12-19 02:59:52 +00001200 switch (base) {
1201 case 0x5:
Craig Topperfae5ac22014-02-17 10:03:43 +00001202 case 0xd:
Sean Callanan04cc3072009-12-19 02:59:52 +00001203 switch (modFromModRM(insn->modRM)) {
1204 case 0x0:
1205 insn->eaDisplacement = EA_DISP_32;
1206 insn->sibBase = SIB_BASE_NONE;
1207 break;
1208 case 0x1:
1209 insn->eaDisplacement = EA_DISP_8;
Craig Topperfae5ac22014-02-17 10:03:43 +00001210 insn->sibBase = (SIBBase)(sibBaseBase + base);
Sean Callanan04cc3072009-12-19 02:59:52 +00001211 break;
1212 case 0x2:
1213 insn->eaDisplacement = EA_DISP_32;
Craig Topperfae5ac22014-02-17 10:03:43 +00001214 insn->sibBase = (SIBBase)(sibBaseBase + base);
Sean Callanan04cc3072009-12-19 02:59:52 +00001215 break;
1216 case 0x3:
Sean Callanan010b3732010-04-02 21:23:51 +00001217 debug("Cannot have Mod = 0b11 and a SIB byte");
1218 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001219 }
1220 break;
1221 default:
Benjamin Kramer25bddae2011-02-27 18:13:53 +00001222 insn->sibBase = (SIBBase)(sibBaseBase + base);
Sean Callanan04cc3072009-12-19 02:59:52 +00001223 break;
1224 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001225
Sean Callanan04cc3072009-12-19 02:59:52 +00001226 return 0;
1227}
1228
1229/*
1230 * readDisplacement - Consumes the displacement of an instruction.
1231 *
1232 * @param insn - The instruction whose displacement is to be read.
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001233 * @return - 0 if the displacement byte was successfully read; nonzero
Sean Callanan04cc3072009-12-19 02:59:52 +00001234 * otherwise.
1235 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001236static int readDisplacement(struct InternalInstruction* insn) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001237 int8_t d8;
1238 int16_t d16;
1239 int32_t d32;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001240
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001241 dbgprintf(insn, "readDisplacement()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001242
Sean Callanan04cc3072009-12-19 02:59:52 +00001243 if (insn->consumedDisplacement)
1244 return 0;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001245
Richard Smith5d5061032014-04-20 22:15:37 +00001246 insn->consumedDisplacement = true;
Kevin Enderby6fbcd8d2012-02-23 18:18:17 +00001247 insn->displacementOffset = insn->readerCursor - insn->startLocation;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001248
Sean Callanan04cc3072009-12-19 02:59:52 +00001249 switch (insn->eaDisplacement) {
1250 case EA_DISP_NONE:
Richard Smith5d5061032014-04-20 22:15:37 +00001251 insn->consumedDisplacement = false;
Sean Callanan04cc3072009-12-19 02:59:52 +00001252 break;
1253 case EA_DISP_8:
1254 if (consumeInt8(insn, &d8))
1255 return -1;
1256 insn->displacement = d8;
1257 break;
1258 case EA_DISP_16:
1259 if (consumeInt16(insn, &d16))
1260 return -1;
1261 insn->displacement = d16;
1262 break;
1263 case EA_DISP_32:
1264 if (consumeInt32(insn, &d32))
1265 return -1;
1266 insn->displacement = d32;
1267 break;
1268 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001269
Richard Smith5d5061032014-04-20 22:15:37 +00001270 insn->consumedDisplacement = true;
Sean Callanan04cc3072009-12-19 02:59:52 +00001271 return 0;
1272}
1273
1274/*
1275 * readModRM - Consumes all addressing information (ModR/M byte, SIB byte, and
1276 * displacement) for an instruction and interprets it.
1277 *
1278 * @param insn - The instruction whose addressing information is to be read.
1279 * @return - 0 if the information was successfully read; nonzero otherwise.
1280 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001281static int readModRM(struct InternalInstruction* insn) {
Craig Topper5b1dd012018-06-01 04:29:34 +00001282 uint8_t mod, rm, reg, evexrm;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001283
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001284 dbgprintf(insn, "readModRM()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001285
Sean Callanan04cc3072009-12-19 02:59:52 +00001286 if (insn->consumedModRM)
1287 return 0;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001288
Rafael Espindola9f9a1062011-01-06 16:48:42 +00001289 if (consumeByte(insn, &insn->modRM))
1290 return -1;
Richard Smith5d5061032014-04-20 22:15:37 +00001291 insn->consumedModRM = true;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001292
Sean Callanan04cc3072009-12-19 02:59:52 +00001293 mod = modFromModRM(insn->modRM);
1294 rm = rmFromModRM(insn->modRM);
1295 reg = regFromModRM(insn->modRM);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001296
Sean Callanan04cc3072009-12-19 02:59:52 +00001297 /*
1298 * This goes by insn->registerSize to pick the correct register, which messes
1299 * up if we're using (say) XMM or 8-bit register operands. That gets fixed in
1300 * fixupReg().
1301 */
1302 switch (insn->registerSize) {
1303 case 2:
Sean Callanan2f9443f2009-12-22 02:07:42 +00001304 insn->regBase = MODRM_REG_AX;
Sean Callanan04cc3072009-12-19 02:59:52 +00001305 insn->eaRegBase = EA_REG_AX;
1306 break;
1307 case 4:
Sean Callanan2f9443f2009-12-22 02:07:42 +00001308 insn->regBase = MODRM_REG_EAX;
Sean Callanan04cc3072009-12-19 02:59:52 +00001309 insn->eaRegBase = EA_REG_EAX;
1310 break;
1311 case 8:
Sean Callanan2f9443f2009-12-22 02:07:42 +00001312 insn->regBase = MODRM_REG_RAX;
Sean Callanan04cc3072009-12-19 02:59:52 +00001313 insn->eaRegBase = EA_REG_RAX;
1314 break;
1315 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001316
Sean Callanan04cc3072009-12-19 02:59:52 +00001317 reg |= rFromREX(insn->rexPrefix) << 3;
1318 rm |= bFromREX(insn->rexPrefix) << 3;
Craig Topper5b1dd012018-06-01 04:29:34 +00001319
1320 evexrm = 0;
Craig Topper0179c6d2018-06-01 00:10:36 +00001321 if (insn->vectorExtensionType == TYPE_EVEX && insn->mode == MODE_64BIT) {
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001322 reg |= r2FromEVEX2of4(insn->vectorExtensionPrefix[1]) << 4;
Craig Topper5b1dd012018-06-01 04:29:34 +00001323 evexrm = xFromEVEX2of4(insn->vectorExtensionPrefix[1]) << 4;
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001324 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001325
Sean Callanan04cc3072009-12-19 02:59:52 +00001326 insn->reg = (Reg)(insn->regBase + reg);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001327
Sean Callanan04cc3072009-12-19 02:59:52 +00001328 switch (insn->addressSize) {
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001329 case 2: {
1330 EABase eaBaseBase = EA_BASE_BX_SI;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001331
Sean Callanan04cc3072009-12-19 02:59:52 +00001332 switch (mod) {
1333 case 0x0:
1334 if (rm == 0x6) {
1335 insn->eaBase = EA_BASE_NONE;
1336 insn->eaDisplacement = EA_DISP_16;
Sean Callanan010b3732010-04-02 21:23:51 +00001337 if (readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001338 return -1;
1339 } else {
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001340 insn->eaBase = (EABase)(eaBaseBase + rm);
Sean Callanan04cc3072009-12-19 02:59:52 +00001341 insn->eaDisplacement = EA_DISP_NONE;
1342 }
1343 break;
1344 case 0x1:
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001345 insn->eaBase = (EABase)(eaBaseBase + rm);
Sean Callanan04cc3072009-12-19 02:59:52 +00001346 insn->eaDisplacement = EA_DISP_8;
Craig Topper399e39e2014-01-25 22:48:43 +00001347 insn->displacementSize = 1;
Sean Callanan010b3732010-04-02 21:23:51 +00001348 if (readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001349 return -1;
1350 break;
1351 case 0x2:
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001352 insn->eaBase = (EABase)(eaBaseBase + rm);
Sean Callanan04cc3072009-12-19 02:59:52 +00001353 insn->eaDisplacement = EA_DISP_16;
Sean Callanan010b3732010-04-02 21:23:51 +00001354 if (readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001355 return -1;
1356 break;
1357 case 0x3:
1358 insn->eaBase = (EABase)(insn->eaRegBase + rm);
Sean Callanan010b3732010-04-02 21:23:51 +00001359 if (readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001360 return -1;
1361 break;
1362 }
1363 break;
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001364 }
Sean Callanan04cc3072009-12-19 02:59:52 +00001365 case 4:
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001366 case 8: {
1367 EABase eaBaseBase = (insn->addressSize == 4 ? EA_BASE_EAX : EA_BASE_RAX);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001368
Sean Callanan04cc3072009-12-19 02:59:52 +00001369 switch (mod) {
1370 case 0x0:
1371 insn->eaDisplacement = EA_DISP_NONE; /* readSIB may override this */
Douglas Katzman6dc13972015-05-13 22:44:52 +00001372 // In determining whether RIP-relative mode is used (rm=5),
1373 // or whether a SIB byte is present (rm=4),
1374 // the extension bits (REX.b and EVEX.x) are ignored.
1375 switch (rm & 7) {
1376 case 0x4: // SIB byte is present
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001377 insn->eaBase = (insn->addressSize == 4 ?
Sean Callanan04cc3072009-12-19 02:59:52 +00001378 EA_BASE_sib : EA_BASE_sib64);
Craig Topper38afbfd2014-03-20 05:56:00 +00001379 if (readSIB(insn) || readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001380 return -1;
1381 break;
Douglas Katzman6dc13972015-05-13 22:44:52 +00001382 case 0x5: // RIP-relative
Sean Callanan04cc3072009-12-19 02:59:52 +00001383 insn->eaBase = EA_BASE_NONE;
1384 insn->eaDisplacement = EA_DISP_32;
Sean Callanan010b3732010-04-02 21:23:51 +00001385 if (readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001386 return -1;
1387 break;
1388 default:
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001389 insn->eaBase = (EABase)(eaBaseBase + rm);
Sean Callanan04cc3072009-12-19 02:59:52 +00001390 break;
1391 }
1392 break;
1393 case 0x1:
Craig Topper399e39e2014-01-25 22:48:43 +00001394 insn->displacementSize = 1;
Reid Kleckner4dc0b1a2018-11-01 19:54:45 +00001395 LLVM_FALLTHROUGH;
Sean Callanan04cc3072009-12-19 02:59:52 +00001396 case 0x2:
1397 insn->eaDisplacement = (mod == 0x1 ? EA_DISP_8 : EA_DISP_32);
Douglas Katzman6dc13972015-05-13 22:44:52 +00001398 switch (rm & 7) {
1399 case 0x4: // SIB byte is present
Sean Callanan04cc3072009-12-19 02:59:52 +00001400 insn->eaBase = EA_BASE_sib;
Craig Topper38afbfd2014-03-20 05:56:00 +00001401 if (readSIB(insn) || readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001402 return -1;
1403 break;
1404 default:
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001405 insn->eaBase = (EABase)(eaBaseBase + rm);
Sean Callanan010b3732010-04-02 21:23:51 +00001406 if (readDisplacement(insn))
Sean Callanan04cc3072009-12-19 02:59:52 +00001407 return -1;
1408 break;
1409 }
1410 break;
1411 case 0x3:
1412 insn->eaDisplacement = EA_DISP_NONE;
Craig Topper5b1dd012018-06-01 04:29:34 +00001413 insn->eaBase = (EABase)(insn->eaRegBase + rm + evexrm);
Sean Callanan04cc3072009-12-19 02:59:52 +00001414 break;
1415 }
1416 break;
Craig Topperc6b2c2b2018-06-01 04:29:30 +00001417 }
Sean Callanan04cc3072009-12-19 02:59:52 +00001418 } /* switch (insn->addressSize) */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001419
Sean Callanan04cc3072009-12-19 02:59:52 +00001420 return 0;
1421}
1422
Craig Topperc3cf55b2018-06-01 06:11:29 +00001423#define GENERIC_FIXUP_FUNC(name, base, prefix, mask) \
Ahmed Bougacha85dc93c2016-07-14 14:53:21 +00001424 static uint16_t name(struct InternalInstruction *insn, \
1425 OperandType type, \
1426 uint8_t index, \
1427 uint8_t *valid) { \
Sean Callanan04cc3072009-12-19 02:59:52 +00001428 *valid = 1; \
1429 switch (type) { \
1430 default: \
Sean Callanan010b3732010-04-02 21:23:51 +00001431 debug("Unhandled register type"); \
1432 *valid = 0; \
1433 return 0; \
Sean Callanan04cc3072009-12-19 02:59:52 +00001434 case TYPE_Rv: \
1435 return base + index; \
1436 case TYPE_R8: \
Craig Topperc3cf55b2018-06-01 06:11:29 +00001437 index &= mask; \
1438 if (index > 0xf) \
1439 *valid = 0; \
Sean Callanan010b3732010-04-02 21:23:51 +00001440 if (insn->rexPrefix && \
Sean Callanan04cc3072009-12-19 02:59:52 +00001441 index >= 4 && index <= 7) { \
1442 return prefix##_SPL + (index - 4); \
1443 } else { \
1444 return prefix##_AL + index; \
1445 } \
1446 case TYPE_R16: \
Craig Topperc3cf55b2018-06-01 06:11:29 +00001447 index &= mask; \
1448 if (index > 0xf) \
1449 *valid = 0; \
1450 return prefix##_AX + index; \
Sean Callanan04cc3072009-12-19 02:59:52 +00001451 case TYPE_R32: \
Craig Topperc3cf55b2018-06-01 06:11:29 +00001452 index &= mask; \
1453 if (index > 0xf) \
1454 *valid = 0; \
1455 return prefix##_EAX + index; \
Sean Callanan04cc3072009-12-19 02:59:52 +00001456 case TYPE_R64: \
Craig Topperc3cf55b2018-06-01 06:11:29 +00001457 index &= mask; \
1458 if (index > 0xf) \
1459 *valid = 0; \
1460 return prefix##_RAX + index; \
Craig Topperad944a12017-01-16 06:49:03 +00001461 case TYPE_ZMM: \
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001462 return prefix##_ZMM0 + index; \
Craig Topperad944a12017-01-16 06:49:03 +00001463 case TYPE_YMM: \
Sean Callananc3fd5232011-03-15 01:23:15 +00001464 return prefix##_YMM0 + index; \
Craig Topperad944a12017-01-16 06:49:03 +00001465 case TYPE_XMM: \
Sean Callanan04cc3072009-12-19 02:59:52 +00001466 return prefix##_XMM0 + index; \
Craig Topperad944a12017-01-16 06:49:03 +00001467 case TYPE_VK: \
Craig Topper0838c4d2018-06-01 05:36:08 +00001468 index &= 0xf; \
Craig Topper9c26bcc2015-03-02 03:33:11 +00001469 if (index > 7) \
1470 *valid = 0; \
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001471 return prefix##_K0 + index; \
Sean Callanan04cc3072009-12-19 02:59:52 +00001472 case TYPE_MM64: \
Craig Topperd5b39232014-12-26 18:19:44 +00001473 return prefix##_MM0 + (index & 0x7); \
Sean Callanan04cc3072009-12-19 02:59:52 +00001474 case TYPE_SEGMENTREG: \
Andrew V. Tischenkoeff4fc02017-10-23 09:36:33 +00001475 if ((index & 7) > 5) \
Sean Callanan04cc3072009-12-19 02:59:52 +00001476 *valid = 0; \
Andrew V. Tischenkoeff4fc02017-10-23 09:36:33 +00001477 return prefix##_ES + (index & 7); \
Sean Callanan04cc3072009-12-19 02:59:52 +00001478 case TYPE_DEBUGREG: \
Sean Callanan04cc3072009-12-19 02:59:52 +00001479 return prefix##_DR0 + index; \
Sean Callanane7e1cf92010-05-06 20:59:00 +00001480 case TYPE_CONTROLREG: \
Sean Callanane7e1cf92010-05-06 20:59:00 +00001481 return prefix##_CR0 + index; \
Ahmed Bougacha85dc93c2016-07-14 14:53:21 +00001482 case TYPE_BNDR: \
1483 if (index > 3) \
1484 *valid = 0; \
1485 return prefix##_BND0 + index; \
Craig Topperca2382d2017-10-21 20:03:20 +00001486 case TYPE_MVSIBX: \
1487 return prefix##_XMM0 + index; \
1488 case TYPE_MVSIBY: \
1489 return prefix##_YMM0 + index; \
1490 case TYPE_MVSIBZ: \
1491 return prefix##_ZMM0 + index; \
Sean Callanan04cc3072009-12-19 02:59:52 +00001492 } \
1493 }
1494
1495/*
1496 * fixup*Value - Consults an operand type to determine the meaning of the
1497 * reg or R/M field. If the operand is an XMM operand, for example, an
1498 * operand would be XMM0 instead of AX, which readModRM() would otherwise
1499 * misinterpret it as.
1500 *
1501 * @param insn - The instruction containing the operand.
1502 * @param type - The operand type.
1503 * @param index - The existing value of the field as reported by readModRM().
1504 * @param valid - The address of a uint8_t. The target is set to 1 if the
1505 * field is valid for the register class; 0 if not.
Sean Callanan010b3732010-04-02 21:23:51 +00001506 * @return - The proper value.
Sean Callanan04cc3072009-12-19 02:59:52 +00001507 */
Craig Topperc3cf55b2018-06-01 06:11:29 +00001508GENERIC_FIXUP_FUNC(fixupRegValue, insn->regBase, MODRM_REG, 0x1f)
1509GENERIC_FIXUP_FUNC(fixupRMValue, insn->eaRegBase, EA_REG, 0xf)
Sean Callanan04cc3072009-12-19 02:59:52 +00001510
1511/*
1512 * fixupReg - Consults an operand specifier to determine which of the
1513 * fixup*Value functions to use in correcting readModRM()'ss interpretation.
1514 *
1515 * @param insn - See fixup*Value().
1516 * @param op - The operand specifier.
1517 * @return - 0 if fixup was successful; -1 if the register returned was
1518 * invalid for its class.
1519 */
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001520static int fixupReg(struct InternalInstruction *insn,
Benjamin Kramerde0a4fb2010-10-23 09:10:44 +00001521 const struct OperandSpecifier *op) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001522 uint8_t valid;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001523
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001524 dbgprintf(insn, "fixupReg()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001525
Sean Callanan04cc3072009-12-19 02:59:52 +00001526 switch ((OperandEncoding)op->encoding) {
1527 default:
Sean Callanan010b3732010-04-02 21:23:51 +00001528 debug("Expected a REG or R/M encoding in fixupReg");
1529 return -1;
Sean Callananc3fd5232011-03-15 01:23:15 +00001530 case ENCODING_VVVV:
1531 insn->vvvv = (Reg)fixupRegValue(insn,
1532 (OperandType)op->type,
1533 insn->vvvv,
1534 &valid);
1535 if (!valid)
1536 return -1;
1537 break;
Sean Callanan04cc3072009-12-19 02:59:52 +00001538 case ENCODING_REG:
1539 insn->reg = (Reg)fixupRegValue(insn,
1540 (OperandType)op->type,
1541 insn->reg - insn->regBase,
1542 &valid);
1543 if (!valid)
1544 return -1;
1545 break;
Adam Nemet5933c2f2014-07-17 17:04:56 +00001546 CASE_ENCODING_RM:
Sean Callanan04cc3072009-12-19 02:59:52 +00001547 if (insn->eaBase >= insn->eaRegBase) {
1548 insn->eaBase = (EABase)fixupRMValue(insn,
1549 (OperandType)op->type,
1550 insn->eaBase - insn->eaRegBase,
1551 &valid);
1552 if (!valid)
1553 return -1;
1554 }
1555 break;
1556 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001557
Sean Callanan04cc3072009-12-19 02:59:52 +00001558 return 0;
1559}
1560
1561/*
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001562 * readOpcodeRegister - Reads an operand from the opcode field of an
Sean Callanan04cc3072009-12-19 02:59:52 +00001563 * instruction and interprets it appropriately given the operand width.
1564 * Handles AddRegFrm instructions.
1565 *
Craig Topper91551182014-01-01 15:29:32 +00001566 * @param insn - the instruction whose opcode field is to be read.
Sean Callanan04cc3072009-12-19 02:59:52 +00001567 * @param size - The width (in bytes) of the register being specified.
1568 * 1 means AL and friends, 2 means AX, 4 means EAX, and 8 means
1569 * RAX.
Sean Callanan010b3732010-04-02 21:23:51 +00001570 * @return - 0 on success; nonzero otherwise.
Sean Callanan04cc3072009-12-19 02:59:52 +00001571 */
Sean Callanan010b3732010-04-02 21:23:51 +00001572static int readOpcodeRegister(struct InternalInstruction* insn, uint8_t size) {
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001573 dbgprintf(insn, "readOpcodeRegister()");
Sean Callanan04cc3072009-12-19 02:59:52 +00001574
Sean Callanan04cc3072009-12-19 02:59:52 +00001575 if (size == 0)
1576 size = insn->registerSize;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001577
Sean Callanan04cc3072009-12-19 02:59:52 +00001578 switch (size) {
1579 case 1:
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001580 insn->opcodeRegister = (Reg)(MODRM_REG_AL + ((bFromREX(insn->rexPrefix) << 3)
Craig Topper91551182014-01-01 15:29:32 +00001581 | (insn->opcode & 7)));
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001582 if (insn->rexPrefix &&
Sean Callanan010b3732010-04-02 21:23:51 +00001583 insn->opcodeRegister >= MODRM_REG_AL + 0x4 &&
1584 insn->opcodeRegister < MODRM_REG_AL + 0x8) {
Sean Callanan2f9443f2009-12-22 02:07:42 +00001585 insn->opcodeRegister = (Reg)(MODRM_REG_SPL
1586 + (insn->opcodeRegister - MODRM_REG_AL - 4));
Sean Callanan04cc3072009-12-19 02:59:52 +00001587 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001588
Sean Callanan04cc3072009-12-19 02:59:52 +00001589 break;
1590 case 2:
Sean Callanan2f9443f2009-12-22 02:07:42 +00001591 insn->opcodeRegister = (Reg)(MODRM_REG_AX
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001592 + ((bFromREX(insn->rexPrefix) << 3)
Craig Topper91551182014-01-01 15:29:32 +00001593 | (insn->opcode & 7)));
Sean Callanan04cc3072009-12-19 02:59:52 +00001594 break;
1595 case 4:
Sean Callanan010b3732010-04-02 21:23:51 +00001596 insn->opcodeRegister = (Reg)(MODRM_REG_EAX
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001597 + ((bFromREX(insn->rexPrefix) << 3)
Craig Topper91551182014-01-01 15:29:32 +00001598 | (insn->opcode & 7)));
Sean Callanan04cc3072009-12-19 02:59:52 +00001599 break;
1600 case 8:
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001601 insn->opcodeRegister = (Reg)(MODRM_REG_RAX
1602 + ((bFromREX(insn->rexPrefix) << 3)
Craig Topper91551182014-01-01 15:29:32 +00001603 | (insn->opcode & 7)));
Sean Callanan04cc3072009-12-19 02:59:52 +00001604 break;
1605 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001606
Sean Callanan010b3732010-04-02 21:23:51 +00001607 return 0;
Sean Callanan04cc3072009-12-19 02:59:52 +00001608}
1609
1610/*
1611 * readImmediate - Consumes an immediate operand from an instruction, given the
1612 * desired operand size.
1613 *
1614 * @param insn - The instruction whose operand is to be read.
1615 * @param size - The width (in bytes) of the operand.
1616 * @return - 0 if the immediate was successfully consumed; nonzero
1617 * otherwise.
1618 */
1619static int readImmediate(struct InternalInstruction* insn, uint8_t size) {
1620 uint8_t imm8;
1621 uint16_t imm16;
1622 uint32_t imm32;
1623 uint64_t imm64;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001624
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001625 dbgprintf(insn, "readImmediate()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001626
Sean Callanan010b3732010-04-02 21:23:51 +00001627 if (insn->numImmediatesConsumed == 2) {
1628 debug("Already consumed two immediates");
1629 return -1;
1630 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001631
Sean Callanan04cc3072009-12-19 02:59:52 +00001632 if (size == 0)
1633 size = insn->immediateSize;
1634 else
1635 insn->immediateSize = size;
Kevin Enderby6fbcd8d2012-02-23 18:18:17 +00001636 insn->immediateOffset = insn->readerCursor - insn->startLocation;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001637
Sean Callanan04cc3072009-12-19 02:59:52 +00001638 switch (size) {
1639 case 1:
1640 if (consumeByte(insn, &imm8))
1641 return -1;
1642 insn->immediates[insn->numImmediatesConsumed] = imm8;
1643 break;
1644 case 2:
1645 if (consumeUInt16(insn, &imm16))
1646 return -1;
1647 insn->immediates[insn->numImmediatesConsumed] = imm16;
1648 break;
1649 case 4:
1650 if (consumeUInt32(insn, &imm32))
1651 return -1;
1652 insn->immediates[insn->numImmediatesConsumed] = imm32;
1653 break;
1654 case 8:
1655 if (consumeUInt64(insn, &imm64))
1656 return -1;
1657 insn->immediates[insn->numImmediatesConsumed] = imm64;
1658 break;
1659 }
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001660
Sean Callanan04cc3072009-12-19 02:59:52 +00001661 insn->numImmediatesConsumed++;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001662
Sean Callanan04cc3072009-12-19 02:59:52 +00001663 return 0;
1664}
1665
1666/*
Craig Topper8dd7bbc2011-09-13 07:37:44 +00001667 * readVVVV - Consumes vvvv from an instruction if it has a VEX prefix.
Sean Callananc3fd5232011-03-15 01:23:15 +00001668 *
1669 * @param insn - The instruction whose operand is to be read.
Craig Topper8dd7bbc2011-09-13 07:37:44 +00001670 * @return - 0 if the vvvv was successfully consumed; nonzero
Sean Callananc3fd5232011-03-15 01:23:15 +00001671 * otherwise.
1672 */
1673static int readVVVV(struct InternalInstruction* insn) {
1674 dbgprintf(insn, "readVVVV()");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001675
Richard Smith89ee75d2014-04-20 21:07:34 +00001676 int vvvv;
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001677 if (insn->vectorExtensionType == TYPE_EVEX)
Adam Nemet8ae70502014-06-24 01:42:32 +00001678 vvvv = (v2FromEVEX4of4(insn->vectorExtensionPrefix[3]) << 4 |
1679 vvvvFromEVEX3of4(insn->vectorExtensionPrefix[2]));
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001680 else if (insn->vectorExtensionType == TYPE_VEX_3B)
Richard Smith89ee75d2014-04-20 21:07:34 +00001681 vvvv = vvvvFromVEX3of3(insn->vectorExtensionPrefix[2]);
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001682 else if (insn->vectorExtensionType == TYPE_VEX_2B)
Richard Smith89ee75d2014-04-20 21:07:34 +00001683 vvvv = vvvvFromVEX2of2(insn->vectorExtensionPrefix[1]);
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001684 else if (insn->vectorExtensionType == TYPE_XOP)
Richard Smith89ee75d2014-04-20 21:07:34 +00001685 vvvv = vvvvFromXOP3of3(insn->vectorExtensionPrefix[2]);
Sean Callananc3fd5232011-03-15 01:23:15 +00001686 else
1687 return -1;
1688
Craig Topper0d0be472011-10-03 08:14:29 +00001689 if (insn->mode != MODE_64BIT)
Craig Topperdc5ba1e2018-06-01 01:23:52 +00001690 vvvv &= 0xf; // Can only clear bit 4. Bit 3 must be cleared later.
Craig Topper0d0be472011-10-03 08:14:29 +00001691
Richard Smith89ee75d2014-04-20 21:07:34 +00001692 insn->vvvv = static_cast<Reg>(vvvv);
Sean Callananc3fd5232011-03-15 01:23:15 +00001693 return 0;
1694}
1695
1696/*
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001697 * readMaskRegister - Reads an mask register from the opcode field of an
1698 * instruction.
1699 *
1700 * @param insn - The instruction whose opcode field is to be read.
1701 * @return - 0 on success; nonzero otherwise.
1702 */
1703static int readMaskRegister(struct InternalInstruction* insn) {
1704 dbgprintf(insn, "readMaskRegister()");
1705
1706 if (insn->vectorExtensionType != TYPE_EVEX)
1707 return -1;
1708
Richard Smith89ee75d2014-04-20 21:07:34 +00001709 insn->writemask =
1710 static_cast<Reg>(aaaFromEVEX4of4(insn->vectorExtensionPrefix[3]));
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001711 return 0;
1712}
1713
1714/*
Sean Callanan04cc3072009-12-19 02:59:52 +00001715 * readOperands - Consults the specifier for an instruction and consumes all
1716 * operands for that instruction, interpreting them as it goes.
1717 *
1718 * @param insn - The instruction whose operands are to be read and interpreted.
1719 * @return - 0 if all operands could be read; nonzero otherwise.
1720 */
1721static int readOperands(struct InternalInstruction* insn) {
Craig Topper8dd7bbc2011-09-13 07:37:44 +00001722 int hasVVVV, needVVVV;
Craig Topper2ba766a2011-12-30 06:23:39 +00001723 int sawRegImm = 0;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001724
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001725 dbgprintf(insn, "readOperands()");
Craig Topper8dd7bbc2011-09-13 07:37:44 +00001726
1727 /* If non-zero vvvv specified, need to make sure one of the operands
1728 uses it. */
1729 hasVVVV = !readVVVV(insn);
1730 needVVVV = hasVVVV && (insn->vvvv != 0);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001731
Patrik Hagglund31998382014-04-28 12:12:27 +00001732 for (const auto &Op : x86OperandSets[insn->spec->operands]) {
1733 switch (Op.encoding) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001734 case ENCODING_NONE:
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001735 case ENCODING_SI:
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001736 case ENCODING_DI:
Sean Callanan04cc3072009-12-19 02:59:52 +00001737 break;
Craig Topper33ac0642017-01-16 05:44:25 +00001738 CASE_ENCODING_VSIB:
1739 // VSIB can use the V2 bit so check only the other bits.
1740 if (needVVVV)
1741 needVVVV = hasVVVV & ((insn->vvvv & 0xf) != 0);
Craig Topper3173a1f2017-01-16 05:44:33 +00001742 if (readModRM(insn))
1743 return -1;
Craig Topperca2382d2017-10-21 20:03:20 +00001744
Craig Topper158bc642017-10-22 04:32:30 +00001745 // Reject if SIB wasn't used.
1746 if (insn->eaBase != EA_BASE_sib && insn->eaBase != EA_BASE_sib64)
1747 return -1;
1748
Craig Topperca2382d2017-10-21 20:03:20 +00001749 // If sibIndex was set to SIB_INDEX_NONE, index offset is 4.
1750 if (insn->sibIndex == SIB_INDEX_NONE)
Craig Topperef813a52018-06-06 19:15:15 +00001751 insn->sibIndex = (SIBIndex)(insn->sibIndexBase + 4);
Craig Topperca2382d2017-10-21 20:03:20 +00001752
1753 // If EVEX.v2 is set this is one of the 16-31 registers.
Craig Topper0179c6d2018-06-01 00:10:36 +00001754 if (insn->vectorExtensionType == TYPE_EVEX && insn->mode == MODE_64BIT &&
Craig Topperca2382d2017-10-21 20:03:20 +00001755 v2FromEVEX4of4(insn->vectorExtensionPrefix[3]))
1756 insn->sibIndex = (SIBIndex)(insn->sibIndex + 16);
1757
1758 // Adjust the index register to the correct size.
1759 switch ((OperandType)Op.type) {
1760 default:
1761 debug("Unhandled VSIB index type");
Craig Topper3173a1f2017-01-16 05:44:33 +00001762 return -1;
Craig Topperca2382d2017-10-21 20:03:20 +00001763 case TYPE_MVSIBX:
1764 insn->sibIndex = (SIBIndex)(SIB_INDEX_XMM0 +
1765 (insn->sibIndex - insn->sibIndexBase));
1766 break;
1767 case TYPE_MVSIBY:
1768 insn->sibIndex = (SIBIndex)(SIB_INDEX_YMM0 +
1769 (insn->sibIndex - insn->sibIndexBase));
1770 break;
1771 case TYPE_MVSIBZ:
1772 insn->sibIndex = (SIBIndex)(SIB_INDEX_ZMM0 +
1773 (insn->sibIndex - insn->sibIndexBase));
1774 break;
1775 }
1776
Craig Topper3173a1f2017-01-16 05:44:33 +00001777 // Apply the AVX512 compressed displacement scaling factor.
1778 if (Op.encoding != ENCODING_REG && insn->eaDisplacement == EA_DISP_8)
1779 insn->displacement *= 1 << (Op.encoding - ENCODING_VSIB);
1780 break;
Sean Callanan04cc3072009-12-19 02:59:52 +00001781 case ENCODING_REG:
Adam Nemet5933c2f2014-07-17 17:04:56 +00001782 CASE_ENCODING_RM:
Sean Callanan04cc3072009-12-19 02:59:52 +00001783 if (readModRM(insn))
1784 return -1;
Patrik Hagglund31998382014-04-28 12:12:27 +00001785 if (fixupReg(insn, &Op))
Sean Callanan04cc3072009-12-19 02:59:52 +00001786 return -1;
Adam Nemet5933c2f2014-07-17 17:04:56 +00001787 // Apply the AVX512 compressed displacement scaling factor.
1788 if (Op.encoding != ENCODING_REG && insn->eaDisplacement == EA_DISP_8)
1789 insn->displacement *= 1 << (Op.encoding - ENCODING_RM);
Sean Callanan04cc3072009-12-19 02:59:52 +00001790 break;
Sean Callanan04cc3072009-12-19 02:59:52 +00001791 case ENCODING_IB:
Craig Topper2ba766a2011-12-30 06:23:39 +00001792 if (sawRegImm) {
Benjamin Kramer9c48f262012-01-04 22:06:45 +00001793 /* Saw a register immediate so don't read again and instead split the
1794 previous immediate. FIXME: This is a hack. */
Benjamin Kramer47aecca2012-01-01 17:55:36 +00001795 insn->immediates[insn->numImmediatesConsumed] =
1796 insn->immediates[insn->numImmediatesConsumed - 1] & 0xf;
1797 ++insn->numImmediatesConsumed;
Craig Topper2ba766a2011-12-30 06:23:39 +00001798 break;
1799 }
Sean Callanan04cc3072009-12-19 02:59:52 +00001800 if (readImmediate(insn, 1))
1801 return -1;
Craig Topperad944a12017-01-16 06:49:03 +00001802 if (Op.type == TYPE_XMM || Op.type == TYPE_YMM)
Craig Topper2ba766a2011-12-30 06:23:39 +00001803 sawRegImm = 1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001804 break;
1805 case ENCODING_IW:
1806 if (readImmediate(insn, 2))
1807 return -1;
1808 break;
1809 case ENCODING_ID:
1810 if (readImmediate(insn, 4))
1811 return -1;
1812 break;
1813 case ENCODING_IO:
1814 if (readImmediate(insn, 8))
1815 return -1;
1816 break;
1817 case ENCODING_Iv:
Sean Callanan010b3732010-04-02 21:23:51 +00001818 if (readImmediate(insn, insn->immediateSize))
1819 return -1;
Chris Lattnerd4758fc2010-04-16 21:15:15 +00001820 break;
Sean Callanan04cc3072009-12-19 02:59:52 +00001821 case ENCODING_Ia:
Sean Callanan010b3732010-04-02 21:23:51 +00001822 if (readImmediate(insn, insn->addressSize))
1823 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001824 break;
Craig Topper326008c2017-10-23 02:26:24 +00001825 case ENCODING_IRC:
1826 insn->RC = (l2FromEVEX4of4(insn->vectorExtensionPrefix[3]) << 1) |
1827 lFromEVEX4of4(insn->vectorExtensionPrefix[3]);
1828 break;
Sean Callanan04cc3072009-12-19 02:59:52 +00001829 case ENCODING_RB:
Sean Callanan010b3732010-04-02 21:23:51 +00001830 if (readOpcodeRegister(insn, 1))
1831 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001832 break;
1833 case ENCODING_RW:
Sean Callanan010b3732010-04-02 21:23:51 +00001834 if (readOpcodeRegister(insn, 2))
1835 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001836 break;
1837 case ENCODING_RD:
Sean Callanan010b3732010-04-02 21:23:51 +00001838 if (readOpcodeRegister(insn, 4))
1839 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001840 break;
1841 case ENCODING_RO:
Sean Callanan010b3732010-04-02 21:23:51 +00001842 if (readOpcodeRegister(insn, 8))
1843 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001844 break;
1845 case ENCODING_Rv:
Sean Callanan010b3732010-04-02 21:23:51 +00001846 if (readOpcodeRegister(insn, 0))
1847 return -1;
Sean Callanan04cc3072009-12-19 02:59:52 +00001848 break;
Craig Topper623b0d62014-01-01 14:22:37 +00001849 case ENCODING_FP:
Sean Callananc3fd5232011-03-15 01:23:15 +00001850 break;
1851 case ENCODING_VVVV:
Craig Topper8dd7bbc2011-09-13 07:37:44 +00001852 needVVVV = 0; /* Mark that we have found a VVVV operand. */
1853 if (!hasVVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001854 return -1;
Craig Topperdc5ba1e2018-06-01 01:23:52 +00001855 if (insn->mode != MODE_64BIT)
1856 insn->vvvv = static_cast<Reg>(insn->vvvv & 0x7);
Patrik Hagglund31998382014-04-28 12:12:27 +00001857 if (fixupReg(insn, &Op))
Sean Callananc3fd5232011-03-15 01:23:15 +00001858 return -1;
1859 break;
Elena Demikhovsky371e3632013-12-25 11:40:51 +00001860 case ENCODING_WRITEMASK:
1861 if (readMaskRegister(insn))
1862 return -1;
1863 break;
Sean Callanan04cc3072009-12-19 02:59:52 +00001864 case ENCODING_DUP:
1865 break;
1866 default:
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001867 dbgprintf(insn, "Encountered an operand with an unknown encoding.");
Sean Callanan04cc3072009-12-19 02:59:52 +00001868 return -1;
1869 }
1870 }
Craig Topper8dd7bbc2011-09-13 07:37:44 +00001871
1872 /* If we didn't find ENCODING_VVVV operand, but non-zero vvvv present, fail */
1873 if (needVVVV) return -1;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001874
Sean Callanan04cc3072009-12-19 02:59:52 +00001875 return 0;
1876}
1877
1878/*
1879 * decodeInstruction - Reads and interprets a full instruction provided by the
1880 * user.
1881 *
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001882 * @param insn - A pointer to the instruction to be populated. Must be
Sean Callanan04cc3072009-12-19 02:59:52 +00001883 * pre-allocated.
1884 * @param reader - The function to be used to read the instruction's bytes.
1885 * @param readerArg - A generic argument to be passed to the reader to store
1886 * any internal state.
1887 * @param logger - If non-NULL, the function to be used to write log messages
1888 * and warnings.
1889 * @param loggerArg - A generic argument to be passed to the logger to store
1890 * any internal state.
1891 * @param startLoc - The address (in the reader's address space) of the first
1892 * byte in the instruction.
1893 * @param mode - The mode (real mode, IA-32e, or IA-32e in 64-bit mode) to
1894 * decode the instruction in.
1895 * @return - 0 if the instruction's memory could be read; nonzero if
1896 * not.
1897 */
Richard Smith89ee75d2014-04-20 21:07:34 +00001898int llvm::X86Disassembler::decodeInstruction(
1899 struct InternalInstruction *insn, byteReader_t reader,
1900 const void *readerArg, dlog_t logger, void *loggerArg, const void *miiArg,
1901 uint64_t startLoc, DisassemblerMode mode) {
Daniel Dunbarc745a622009-12-19 03:31:50 +00001902 memset(insn, 0, sizeof(struct InternalInstruction));
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001903
Sean Callanan04cc3072009-12-19 02:59:52 +00001904 insn->reader = reader;
1905 insn->readerArg = readerArg;
1906 insn->dlog = logger;
1907 insn->dlogArg = loggerArg;
1908 insn->startLocation = startLoc;
1909 insn->readerCursor = startLoc;
1910 insn->mode = mode;
1911 insn->numImmediatesConsumed = 0;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001912
Sean Callanan04cc3072009-12-19 02:59:52 +00001913 if (readPrefixes(insn) ||
1914 readOpcode(insn) ||
Benjamin Kramer478e8de2012-02-11 14:50:54 +00001915 getID(insn, miiArg) ||
Sean Callanan04cc3072009-12-19 02:59:52 +00001916 insn->instructionID == 0 ||
1917 readOperands(insn))
1918 return -1;
Craig Topperb8aec082012-08-01 07:39:18 +00001919
Patrik Hagglund31998382014-04-28 12:12:27 +00001920 insn->operands = x86OperandSets[insn->spec->operands];
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001921
Sean Callanan04cc3072009-12-19 02:59:52 +00001922 insn->length = insn->readerCursor - insn->startLocation;
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001923
Benjamin Kramer4f672272010-03-18 12:18:36 +00001924 dbgprintf(insn, "Read from 0x%llx to 0x%llx: length %zu",
1925 startLoc, insn->readerCursor, insn->length);
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001926
Sean Callanan04cc3072009-12-19 02:59:52 +00001927 if (insn->length > 15)
Nuno Lopes3ed6d602009-12-19 12:07:00 +00001928 dbgprintf(insn, "Instruction exceeds 15-byte limit");
NAKAMURA Takumidde7fa82013-03-25 20:55:43 +00001929
Sean Callanan04cc3072009-12-19 02:59:52 +00001930 return 0;
1931}