blob: 55e75763ad691574f41504fd3a359afa2f0effbc [file] [log] [blame]
Sean Callanan04cc3072009-12-19 02:59:52 +00001//===- X86RecognizableInstr.cpp - Disassembler instruction spec --*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file is part of the X86 Disassembler Emitter.
11// It contains the implementation of a single recognizable instruction.
12// Documentation for the disassembler emitter in general can be found in
13// X86DisasemblerEmitter.h.
14//
15//===----------------------------------------------------------------------===//
16
Sean Callanan04cc3072009-12-19 02:59:52 +000017#include "X86RecognizableInstr.h"
Chandler Carruth91d19d82012-12-04 10:37:14 +000018#include "X86DisassemblerShared.h"
Sean Callanan04cc3072009-12-19 02:59:52 +000019#include "X86ModRMFilters.h"
Sean Callanan04cc3072009-12-19 02:59:52 +000020#include "llvm/Support/ErrorHandling.h"
Sean Callanan04cc3072009-12-19 02:59:52 +000021#include <string>
22
23using namespace llvm;
Sean Callanan04cc3072009-12-19 02:59:52 +000024using namespace X86Disassembler;
25
Sean Callanan04cc3072009-12-19 02:59:52 +000026/// byteFromBitsInit - Extracts a value at most 8 bits in width from a BitsInit.
27/// Useful for switch statements and the like.
28///
29/// @param init - A reference to the BitsInit to be decoded.
30/// @return - The field, with the first bit in the BitsInit as the lowest
31/// order bit.
David Greeneaf8ee2c2011-07-29 22:43:06 +000032static uint8_t byteFromBitsInit(BitsInit &init) {
Sean Callanan04cc3072009-12-19 02:59:52 +000033 int width = init.getNumBits();
34
35 assert(width <= 8 && "Field is too large for uint8_t!");
36
37 int index;
38 uint8_t mask = 0x01;
39
40 uint8_t ret = 0;
41
42 for (index = 0; index < width; index++) {
David Greeneaf8ee2c2011-07-29 22:43:06 +000043 if (static_cast<BitInit*>(init.getBit(index))->getValue())
Sean Callanan04cc3072009-12-19 02:59:52 +000044 ret |= mask;
45
46 mask <<= 1;
47 }
48
49 return ret;
50}
51
52/// byteFromRec - Extract a value at most 8 bits in with from a Record given the
53/// name of the field.
54///
55/// @param rec - The record from which to extract the value.
56/// @param name - The name of the field in the record.
57/// @return - The field, as translated by byteFromBitsInit().
58static uint8_t byteFromRec(const Record* rec, const std::string &name) {
David Greeneaf8ee2c2011-07-29 22:43:06 +000059 BitsInit* bits = rec->getValueAsBitsInit(name);
Sean Callanan04cc3072009-12-19 02:59:52 +000060 return byteFromBitsInit(*bits);
61}
62
63RecognizableInstr::RecognizableInstr(DisassemblerTables &tables,
64 const CodeGenInstruction &insn,
65 InstrUID uid) {
66 UID = uid;
67
68 Rec = insn.TheDef;
69 Name = Rec->getName();
70 Spec = &tables.specForUID(UID);
Craig Topperac172e22012-07-30 04:48:12 +000071
Sean Callanan04cc3072009-12-19 02:59:52 +000072 if (!Rec->isSubClassOf("X86Inst")) {
73 ShouldBeEmitted = false;
74 return;
75 }
Craig Topperac172e22012-07-30 04:48:12 +000076
Craig Toppere413b622014-02-26 06:01:21 +000077 OpPrefix = byteFromRec(Rec, "OpPrefixBits");
78 OpMap = byteFromRec(Rec, "OpMapBits");
Sean Callanan04cc3072009-12-19 02:59:52 +000079 Opcode = byteFromRec(Rec, "Opcode");
80 Form = byteFromRec(Rec, "FormBits");
Craig Toppere413b622014-02-26 06:01:21 +000081 Encoding = byteFromRec(Rec, "OpEncBits");
Craig Topperac172e22012-07-30 04:48:12 +000082
Craig Toppere413b622014-02-26 06:01:21 +000083 OpSize = byteFromRec(Rec, "OpSizeBits");
Craig Topperb86338f2014-12-24 06:05:22 +000084 AdSize = byteFromRec(Rec, "AdSizeBits");
Sean Callanan04cc3072009-12-19 02:59:52 +000085 HasREX_WPrefix = Rec->getValueAsBit("hasREX_WPrefix");
Craig Topperd402df32014-02-02 07:08:01 +000086 HasVEX_4V = Rec->getValueAsBit("hasVEX_4V");
Ayman Musa51ffeab2017-02-20 08:27:54 +000087 VEX_WPrefix = byteFromRec(Rec,"VEX_WPrefix");
Craig Topperf18c8962011-10-04 06:30:42 +000088 IgnoresVEX_L = Rec->getValueAsBit("ignoresVEX_L");
Elena Demikhovsky003e7d72013-07-28 08:28:38 +000089 HasEVEX_L2Prefix = Rec->getValueAsBit("hasEVEX_L2");
90 HasEVEX_K = Rec->getValueAsBit("hasEVEX_K");
Elena Demikhovskydacddb02013-11-03 13:46:31 +000091 HasEVEX_KZ = Rec->getValueAsBit("hasEVEX_Z");
Elena Demikhovsky003e7d72013-07-28 08:28:38 +000092 HasEVEX_B = Rec->getValueAsBit("hasEVEX_B");
Sean Callanan04cc3072009-12-19 02:59:52 +000093 IsCodeGenOnly = Rec->getValueAsBit("isCodeGenOnly");
Craig Topper3484fc22014-01-05 04:17:28 +000094 ForceDisassemble = Rec->getValueAsBit("ForceDisassemble");
Adam Nemet5933c2f2014-07-17 17:04:56 +000095 CD8_Scale = byteFromRec(Rec, "CD8_Scale");
Craig Topperac172e22012-07-30 04:48:12 +000096
Sean Callanan04cc3072009-12-19 02:59:52 +000097 Name = Rec->getName();
Craig Topperac172e22012-07-30 04:48:12 +000098
Chris Lattnerd8adec72010-11-01 04:03:32 +000099 Operands = &insn.Operands.OperandList;
Craig Topperac172e22012-07-30 04:48:12 +0000100
Craig Topper3f23c1a2012-09-19 06:37:45 +0000101 HasVEX_LPrefix = Rec->getValueAsBit("hasVEX_L");
Craig Topper25ea4e52011-10-16 03:51:13 +0000102
Eli Friedman03180362011-07-16 02:41:28 +0000103 // Check for 64-bit inst which does not require REX
Craig Topper526adab2011-09-23 06:57:25 +0000104 Is32Bit = false;
Eli Friedman03180362011-07-16 02:41:28 +0000105 Is64Bit = false;
106 // FIXME: Is there some better way to check for In64BitMode?
107 std::vector<Record*> Predicates = Rec->getValueAsListOfDefs("Predicates");
108 for (unsigned i = 0, e = Predicates.size(); i != e; ++i) {
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000109 if (Predicates[i]->getName().find("Not64Bit") != Name.npos ||
110 Predicates[i]->getName().find("In32Bit") != Name.npos) {
Craig Topper526adab2011-09-23 06:57:25 +0000111 Is32Bit = true;
112 break;
113 }
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000114 if (Predicates[i]->getName().find("In64Bit") != Name.npos) {
Eli Friedman03180362011-07-16 02:41:28 +0000115 Is64Bit = true;
116 break;
117 }
118 }
Eli Friedman03180362011-07-16 02:41:28 +0000119
Craig Topper69e245c2014-02-13 07:07:16 +0000120 if (Form == X86Local::Pseudo || (IsCodeGenOnly && !ForceDisassemble)) {
121 ShouldBeEmitted = false;
122 return;
123 }
124
125 // Special case since there is no attribute class for 64-bit and VEX
126 if (Name == "VMASKMOVDQU64") {
127 ShouldBeEmitted = false;
128 return;
129 }
130
Sean Callanan04cc3072009-12-19 02:59:52 +0000131 ShouldBeEmitted = true;
132}
Craig Topperac172e22012-07-30 04:48:12 +0000133
Sean Callanan04cc3072009-12-19 02:59:52 +0000134void RecognizableInstr::processInstr(DisassemblerTables &tables,
Craig Topperf7755df2012-07-12 06:52:41 +0000135 const CodeGenInstruction &insn,
136 InstrUID uid)
Sean Callanan04cc3072009-12-19 02:59:52 +0000137{
Daniel Dunbar5661c0c2010-05-20 20:20:32 +0000138 // Ignore "asm parser only" instructions.
139 if (insn.TheDef->getValueAsBit("isAsmParserOnly"))
140 return;
Craig Topperac172e22012-07-30 04:48:12 +0000141
Sean Callanan04cc3072009-12-19 02:59:52 +0000142 RecognizableInstr recogInstr(tables, insn, uid);
Craig Topperac172e22012-07-30 04:48:12 +0000143
Craig Topper69e245c2014-02-13 07:07:16 +0000144 if (recogInstr.shouldBeEmitted()) {
145 recogInstr.emitInstructionSpecifier();
Sean Callanan04cc3072009-12-19 02:59:52 +0000146 recogInstr.emitDecodePath(tables);
Craig Topper69e245c2014-02-13 07:07:16 +0000147 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000148}
149
Elena Demikhovskydacddb02013-11-03 13:46:31 +0000150#define EVEX_KB(n) (HasEVEX_KZ && HasEVEX_B ? n##_KZ_B : \
151 (HasEVEX_K && HasEVEX_B ? n##_K_B : \
152 (HasEVEX_KZ ? n##_KZ : \
153 (HasEVEX_K? n##_K : (HasEVEX_B ? n##_B : n)))))
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000154
Sean Callanan04cc3072009-12-19 02:59:52 +0000155InstructionContext RecognizableInstr::insnContext() const {
156 InstructionContext insnContext;
157
Craig Topperd402df32014-02-02 07:08:01 +0000158 if (Encoding == X86Local::EVEX) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000159 if (HasVEX_LPrefix && HasEVEX_L2Prefix) {
Craig Topper9469e902013-07-28 21:28:02 +0000160 errs() << "Don't support VEX.L if EVEX_L2 is enabled: " << Name << "\n";
161 llvm_unreachable("Don't support VEX.L if EVEX_L2 is enabled");
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000162 }
163 // VEX_L & VEX_W
Ayman Musa51ffeab2017-02-20 08:27:54 +0000164 if (HasVEX_LPrefix && VEX_WPrefix == X86Local::VEX_W1) {
Craig Topper8e92e852014-02-02 07:46:05 +0000165 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000166 insnContext = EVEX_KB(IC_EVEX_L_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000167 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000168 insnContext = EVEX_KB(IC_EVEX_L_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000169 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000170 insnContext = EVEX_KB(IC_EVEX_L_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000171 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000172 insnContext = EVEX_KB(IC_EVEX_L_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000173 else {
174 errs() << "Instruction does not use a prefix: " << Name << "\n";
175 llvm_unreachable("Invalid prefix");
176 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000177 } else if (HasVEX_LPrefix) {
178 // VEX_L
Craig Topper8e92e852014-02-02 07:46:05 +0000179 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000180 insnContext = EVEX_KB(IC_EVEX_L_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000181 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000182 insnContext = EVEX_KB(IC_EVEX_L_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000183 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000184 insnContext = EVEX_KB(IC_EVEX_L_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000185 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000186 insnContext = EVEX_KB(IC_EVEX_L);
Craig Topper5ccb6172014-02-18 00:21:49 +0000187 else {
188 errs() << "Instruction does not use a prefix: " << Name << "\n";
189 llvm_unreachable("Invalid prefix");
190 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000191 }
Ayman Musa51ffeab2017-02-20 08:27:54 +0000192 else if (HasEVEX_L2Prefix && VEX_WPrefix == X86Local::VEX_W1) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000193 // EVEX_L2 & VEX_W
Craig Topper8e92e852014-02-02 07:46:05 +0000194 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000195 insnContext = EVEX_KB(IC_EVEX_L2_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000196 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000197 insnContext = EVEX_KB(IC_EVEX_L2_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000198 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000199 insnContext = EVEX_KB(IC_EVEX_L2_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000200 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000201 insnContext = EVEX_KB(IC_EVEX_L2_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000202 else {
203 errs() << "Instruction does not use a prefix: " << Name << "\n";
204 llvm_unreachable("Invalid prefix");
205 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000206 } else if (HasEVEX_L2Prefix) {
207 // EVEX_L2
Craig Topper8e92e852014-02-02 07:46:05 +0000208 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000209 insnContext = EVEX_KB(IC_EVEX_L2_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000210 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000211 insnContext = EVEX_KB(IC_EVEX_L2_XD);
Craig Topper10243c82014-01-31 08:47:06 +0000212 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000213 insnContext = EVEX_KB(IC_EVEX_L2_XS);
Craig Topper5ccb6172014-02-18 00:21:49 +0000214 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000215 insnContext = EVEX_KB(IC_EVEX_L2);
Craig Topper5ccb6172014-02-18 00:21:49 +0000216 else {
217 errs() << "Instruction does not use a prefix: " << Name << "\n";
218 llvm_unreachable("Invalid prefix");
219 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000220 }
Ayman Musa51ffeab2017-02-20 08:27:54 +0000221 else if (VEX_WPrefix == X86Local::VEX_W1) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000222 // VEX_W
Craig Topper8e92e852014-02-02 07:46:05 +0000223 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000224 insnContext = EVEX_KB(IC_EVEX_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000225 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000226 insnContext = EVEX_KB(IC_EVEX_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000227 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000228 insnContext = EVEX_KB(IC_EVEX_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000229 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000230 insnContext = EVEX_KB(IC_EVEX_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000231 else {
232 errs() << "Instruction does not use a prefix: " << Name << "\n";
233 llvm_unreachable("Invalid prefix");
234 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000235 }
236 // No L, no W
Craig Topper8e92e852014-02-02 07:46:05 +0000237 else if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000238 insnContext = EVEX_KB(IC_EVEX_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000239 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000240 insnContext = EVEX_KB(IC_EVEX_XD);
Craig Topper10243c82014-01-31 08:47:06 +0000241 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000242 insnContext = EVEX_KB(IC_EVEX_XS);
243 else
244 insnContext = EVEX_KB(IC_EVEX);
245 /// eof EVEX
Craig Topperd402df32014-02-02 07:08:01 +0000246 } else if (Encoding == X86Local::VEX || Encoding == X86Local::XOP) {
Ayman Musa51ffeab2017-02-20 08:27:54 +0000247 if (HasVEX_LPrefix && VEX_WPrefix == X86Local::VEX_W1) {
Craig Topper8e92e852014-02-02 07:46:05 +0000248 if (OpPrefix == X86Local::PD)
Craig Topperf01f1b52011-11-06 23:04:08 +0000249 insnContext = IC_VEX_L_W_OPSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000250 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000251 insnContext = IC_VEX_L_W_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000252 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000253 insnContext = IC_VEX_L_W_XD;
Craig Topper5ccb6172014-02-18 00:21:49 +0000254 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000255 insnContext = IC_VEX_L_W;
Craig Topper5ccb6172014-02-18 00:21:49 +0000256 else {
257 errs() << "Instruction does not use a prefix: " << Name << "\n";
258 llvm_unreachable("Invalid prefix");
259 }
Craig Topper8e92e852014-02-02 07:46:05 +0000260 } else if (OpPrefix == X86Local::PD && HasVEX_LPrefix)
Sean Callananc3fd5232011-03-15 01:23:15 +0000261 insnContext = IC_VEX_L_OPSIZE;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000262 else if (OpPrefix == X86Local::PD && VEX_WPrefix == X86Local::VEX_W1)
Sean Callananc3fd5232011-03-15 01:23:15 +0000263 insnContext = IC_VEX_W_OPSIZE;
Craig Topper8e92e852014-02-02 07:46:05 +0000264 else if (OpPrefix == X86Local::PD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000265 insnContext = IC_VEX_OPSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000266 else if (HasVEX_LPrefix && OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000267 insnContext = IC_VEX_L_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000268 else if (HasVEX_LPrefix && OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000269 insnContext = IC_VEX_L_XD;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000270 else if (VEX_WPrefix == X86Local::VEX_W1 && OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000271 insnContext = IC_VEX_W_XS;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000272 else if (VEX_WPrefix == X86Local::VEX_W1 && OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000273 insnContext = IC_VEX_W_XD;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000274 else if (VEX_WPrefix == X86Local::VEX_W1 && OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000275 insnContext = IC_VEX_W;
Craig Topper5ccb6172014-02-18 00:21:49 +0000276 else if (HasVEX_LPrefix && OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000277 insnContext = IC_VEX_L;
Craig Topper10243c82014-01-31 08:47:06 +0000278 else if (OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000279 insnContext = IC_VEX_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000280 else if (OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000281 insnContext = IC_VEX_XS;
Craig Topper5ccb6172014-02-18 00:21:49 +0000282 else if (OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000283 insnContext = IC_VEX;
Craig Topper5ccb6172014-02-18 00:21:49 +0000284 else {
285 errs() << "Instruction does not use a prefix: " << Name << "\n";
286 llvm_unreachable("Invalid prefix");
287 }
Craig Topper055845f2015-01-02 07:02:25 +0000288 } else if (Is64Bit || HasREX_WPrefix || AdSize == X86Local::AdSize64) {
Craig Topperfa6298a2014-02-02 09:25:09 +0000289 if (HasREX_WPrefix && (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD))
Sean Callanan04cc3072009-12-19 02:59:52 +0000290 insnContext = IC_64BIT_REXW_OPSIZE;
Craig Topperae8e1b32015-01-03 00:00:20 +0000291 else if (HasREX_WPrefix && AdSize == X86Local::AdSize32)
292 insnContext = IC_64BIT_REXW_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000293 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Topper88cb33e2011-10-01 19:54:56 +0000294 insnContext = IC_64BIT_XD_OPSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000295 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Toppera6978522011-10-11 04:34:23 +0000296 insnContext = IC_64BIT_XS_OPSIZE;
Craig Topper99bcab72014-12-31 07:07:31 +0000297 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize32)
298 insnContext = IC_64BIT_OPSIZE_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000299 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000300 insnContext = IC_64BIT_OPSIZE;
Craig Topperb86338f2014-12-24 06:05:22 +0000301 else if (AdSize == X86Local::AdSize32)
Craig Topper6491c802012-02-27 01:54:29 +0000302 insnContext = IC_64BIT_ADSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000303 else if (HasREX_WPrefix && OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000304 insnContext = IC_64BIT_REXW_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000305 else if (HasREX_WPrefix && OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000306 insnContext = IC_64BIT_REXW_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000307 else if (OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000308 insnContext = IC_64BIT_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000309 else if (OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000310 insnContext = IC_64BIT_XS;
311 else if (HasREX_WPrefix)
312 insnContext = IC_64BIT_REXW;
313 else
314 insnContext = IC_64BIT;
315 } else {
Craig Topperfa6298a2014-02-02 09:25:09 +0000316 if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Topper88cb33e2011-10-01 19:54:56 +0000317 insnContext = IC_XD_OPSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000318 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Toppera6978522011-10-11 04:34:23 +0000319 insnContext = IC_XS_OPSIZE;
Craig Topper99bcab72014-12-31 07:07:31 +0000320 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize16)
321 insnContext = IC_OPSIZE_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000322 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000323 insnContext = IC_OPSIZE;
Craig Topperb86338f2014-12-24 06:05:22 +0000324 else if (AdSize == X86Local::AdSize16)
Craig Topper6491c802012-02-27 01:54:29 +0000325 insnContext = IC_ADSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000326 else if (OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000327 insnContext = IC_XD;
Craig Toppere2347df2014-02-20 07:59:43 +0000328 else if (OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000329 insnContext = IC_XS;
330 else
331 insnContext = IC;
332 }
333
334 return insnContext;
335}
Craig Topperac172e22012-07-30 04:48:12 +0000336
Adam Nemet5933c2f2014-07-17 17:04:56 +0000337void RecognizableInstr::adjustOperandEncoding(OperandEncoding &encoding) {
338 // The scaling factor for AVX512 compressed displacement encoding is an
339 // instruction attribute. Adjust the ModRM encoding type to include the
340 // scale for compressed displacement.
Craig Topper33ac0642017-01-16 05:44:25 +0000341 if ((encoding != ENCODING_RM && encoding != ENCODING_VSIB) ||CD8_Scale == 0)
Adam Nemet5933c2f2014-07-17 17:04:56 +0000342 return;
343 encoding = (OperandEncoding)(encoding + Log2_32(CD8_Scale));
Craig Topper33ac0642017-01-16 05:44:25 +0000344 assert(((encoding >= ENCODING_RM && encoding <= ENCODING_RM_CD64) ||
345 (encoding >= ENCODING_VSIB && encoding <= ENCODING_VSIB_CD64)) &&
346 "Invalid CDisp scaling");
Adam Nemet5933c2f2014-07-17 17:04:56 +0000347}
348
Craig Topperf7755df2012-07-12 06:52:41 +0000349void RecognizableInstr::handleOperand(bool optional, unsigned &operandIndex,
350 unsigned &physicalOperandIndex,
Craig Topper983be942016-02-16 04:24:56 +0000351 unsigned numPhysicalOperands,
Craig Topperf7755df2012-07-12 06:52:41 +0000352 const unsigned *operandMapping,
353 OperandEncoding (*encodingFromString)
354 (const std::string&,
Craig Topperfa6298a2014-02-02 09:25:09 +0000355 uint8_t OpSize)) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000356 if (optional) {
357 if (physicalOperandIndex >= numPhysicalOperands)
358 return;
359 } else {
360 assert(physicalOperandIndex < numPhysicalOperands);
361 }
Craig Topperac172e22012-07-30 04:48:12 +0000362
Sean Callanan04cc3072009-12-19 02:59:52 +0000363 while (operandMapping[operandIndex] != operandIndex) {
364 Spec->operands[operandIndex].encoding = ENCODING_DUP;
365 Spec->operands[operandIndex].type =
366 (OperandType)(TYPE_DUP0 + operandMapping[operandIndex]);
367 ++operandIndex;
368 }
Craig Topperac172e22012-07-30 04:48:12 +0000369
Sean Callanan04cc3072009-12-19 02:59:52 +0000370 const std::string &typeName = (*Operands)[operandIndex].Rec->getName();
Sean Callananc3fd5232011-03-15 01:23:15 +0000371
Adam Nemet5933c2f2014-07-17 17:04:56 +0000372 OperandEncoding encoding = encodingFromString(typeName, OpSize);
373 // Adjust the encoding type for an operand based on the instruction.
374 adjustOperandEncoding(encoding);
375 Spec->operands[operandIndex].encoding = encoding;
Craig Topperac172e22012-07-30 04:48:12 +0000376 Spec->operands[operandIndex].type = typeFromString(typeName,
Craig Topperfa6298a2014-02-02 09:25:09 +0000377 HasREX_WPrefix, OpSize);
Craig Topperac172e22012-07-30 04:48:12 +0000378
Sean Callanan04cc3072009-12-19 02:59:52 +0000379 ++operandIndex;
380 ++physicalOperandIndex;
381}
382
Craig Topper83b7e242014-01-02 03:58:45 +0000383void RecognizableInstr::emitInstructionSpecifier() {
Sean Callanan04cc3072009-12-19 02:59:52 +0000384 Spec->name = Name;
Craig Topperac172e22012-07-30 04:48:12 +0000385
Sean Callanan04cc3072009-12-19 02:59:52 +0000386 Spec->insnContext = insnContext();
Craig Topperac172e22012-07-30 04:48:12 +0000387
Chris Lattnerd8adec72010-11-01 04:03:32 +0000388 const std::vector<CGIOperandList::OperandInfo> &OperandList = *Operands;
Craig Topperac172e22012-07-30 04:48:12 +0000389
Sean Callanan04cc3072009-12-19 02:59:52 +0000390 unsigned numOperands = OperandList.size();
391 unsigned numPhysicalOperands = 0;
Craig Topperac172e22012-07-30 04:48:12 +0000392
Sean Callanan04cc3072009-12-19 02:59:52 +0000393 // operandMapping maps from operands in OperandList to their originals.
394 // If operandMapping[i] != i, then the entry is a duplicate.
395 unsigned operandMapping[X86_MAX_OPERANDS];
Craig Topper2ba766a2011-12-30 06:23:39 +0000396 assert(numOperands <= X86_MAX_OPERANDS && "X86_MAX_OPERANDS is not large enough");
Craig Topperac172e22012-07-30 04:48:12 +0000397
Craig Topperf7755df2012-07-12 06:52:41 +0000398 for (unsigned operandIndex = 0; operandIndex < numOperands; ++operandIndex) {
Alexander Kornienko8c0809c2015-01-15 11:41:30 +0000399 if (!OperandList[operandIndex].Constraints.empty()) {
Chris Lattnerd8adec72010-11-01 04:03:32 +0000400 const CGIOperandList::ConstraintInfo &Constraint =
Chris Lattnera9dfb1b2010-02-10 01:45:28 +0000401 OperandList[operandIndex].Constraints[0];
402 if (Constraint.isTied()) {
Craig Topperf7755df2012-07-12 06:52:41 +0000403 operandMapping[operandIndex] = operandIndex;
404 operandMapping[Constraint.getTiedOperand()] = operandIndex;
Sean Callanan04cc3072009-12-19 02:59:52 +0000405 } else {
406 ++numPhysicalOperands;
407 operandMapping[operandIndex] = operandIndex;
408 }
409 } else {
410 ++numPhysicalOperands;
411 operandMapping[operandIndex] = operandIndex;
412 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000413 }
Craig Topperac172e22012-07-30 04:48:12 +0000414
Sean Callanan04cc3072009-12-19 02:59:52 +0000415#define HANDLE_OPERAND(class) \
416 handleOperand(false, \
417 operandIndex, \
418 physicalOperandIndex, \
419 numPhysicalOperands, \
420 operandMapping, \
421 class##EncodingFromString);
Craig Topperac172e22012-07-30 04:48:12 +0000422
Sean Callanan04cc3072009-12-19 02:59:52 +0000423#define HANDLE_OPTIONAL(class) \
424 handleOperand(true, \
425 operandIndex, \
426 physicalOperandIndex, \
427 numPhysicalOperands, \
428 operandMapping, \
429 class##EncodingFromString);
Craig Topperac172e22012-07-30 04:48:12 +0000430
Sean Callanan04cc3072009-12-19 02:59:52 +0000431 // operandIndex should always be < numOperands
Craig Topperf7755df2012-07-12 06:52:41 +0000432 unsigned operandIndex = 0;
Sean Callanan04cc3072009-12-19 02:59:52 +0000433 // physicalOperandIndex should always be < numPhysicalOperands
434 unsigned physicalOperandIndex = 0;
Craig Topperac172e22012-07-30 04:48:12 +0000435
Craig Topper802e2e72016-02-18 04:54:32 +0000436#ifndef NDEBUG
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000437 // Given the set of prefix bits, how many additional operands does the
438 // instruction have?
439 unsigned additionalOperands = 0;
Craig Topper5f8419d2016-08-22 07:38:50 +0000440 if (HasVEX_4V)
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000441 ++additionalOperands;
442 if (HasEVEX_K)
443 ++additionalOperands;
Craig Topper802e2e72016-02-18 04:54:32 +0000444#endif
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000445
Sean Callanan04cc3072009-12-19 02:59:52 +0000446 switch (Form) {
Craig Topper35da3d12014-01-16 07:36:58 +0000447 default: llvm_unreachable("Unhandled form");
David Woodhouse2ef8d9c2014-01-22 15:08:08 +0000448 case X86Local::RawFrmSrc:
449 HANDLE_OPERAND(relocation);
450 return;
David Woodhouseb33c2ef2014-01-22 15:08:21 +0000451 case X86Local::RawFrmDst:
452 HANDLE_OPERAND(relocation);
453 return;
David Woodhouse9bbf7ca2014-01-22 15:08:36 +0000454 case X86Local::RawFrmDstSrc:
455 HANDLE_OPERAND(relocation);
456 HANDLE_OPERAND(relocation);
457 return;
Sean Callanan04cc3072009-12-19 02:59:52 +0000458 case X86Local::RawFrm:
459 // Operand 1 (optional) is an address or immediate.
Craig Topper8a01c412016-02-18 04:54:29 +0000460 assert(numPhysicalOperands <= 1 &&
Sean Callanan04cc3072009-12-19 02:59:52 +0000461 "Unexpected number of operands for RawFrm");
462 HANDLE_OPTIONAL(relocation)
Sean Callanan04cc3072009-12-19 02:59:52 +0000463 break;
Craig Topper35da3d12014-01-16 07:36:58 +0000464 case X86Local::RawFrmMemOffs:
465 // Operand 1 is an address.
466 HANDLE_OPERAND(relocation);
467 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000468 case X86Local::AddRegFrm:
469 // Operand 1 is added to the opcode.
470 // Operand 2 (optional) is an address.
471 assert(numPhysicalOperands >= 1 && numPhysicalOperands <= 2 &&
472 "Unexpected number of operands for AddRegFrm");
473 HANDLE_OPERAND(opcodeModifier)
474 HANDLE_OPTIONAL(relocation)
475 break;
476 case X86Local::MRMDestReg:
477 // Operand 1 is a register operand in the R/M field.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000478 // - In AVX512 there may be a mask operand here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000479 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper4f2fba12011-08-30 07:09:35 +0000480 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000481 // Operand 3 (optional) is an immediate.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000482 assert(numPhysicalOperands >= 2 + additionalOperands &&
483 numPhysicalOperands <= 3 + additionalOperands &&
484 "Unexpected number of operands for MRMDestRegFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000485
Sean Callanan04cc3072009-12-19 02:59:52 +0000486 HANDLE_OPERAND(rmRegister)
Adam Nemet5068d0f2014-10-08 23:25:29 +0000487 if (HasEVEX_K)
488 HANDLE_OPERAND(writemaskRegister)
Craig Topper4f2fba12011-08-30 07:09:35 +0000489
Craig Topperd402df32014-02-02 07:08:01 +0000490 if (HasVEX_4V)
Craig Topper4f2fba12011-08-30 07:09:35 +0000491 // FIXME: In AVX, the register below becomes the one encoded
492 // in ModRMVEX and the one above the one in the VEX.VVVV field
493 HANDLE_OPERAND(vvvvRegister)
Craig Topperac172e22012-07-30 04:48:12 +0000494
Sean Callanan04cc3072009-12-19 02:59:52 +0000495 HANDLE_OPERAND(roRegister)
496 HANDLE_OPTIONAL(immediate)
497 break;
498 case X86Local::MRMDestMem:
499 // Operand 1 is a memory operand (possibly SIB-extended)
500 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper4f2fba12011-08-30 07:09:35 +0000501 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000502 // Operand 3 (optional) is an immediate.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000503 assert(numPhysicalOperands >= 2 + additionalOperands &&
504 numPhysicalOperands <= 3 + additionalOperands &&
505 "Unexpected number of operands for MRMDestMemFrm with VEX_4V");
506
Sean Callanan04cc3072009-12-19 02:59:52 +0000507 HANDLE_OPERAND(memory)
Craig Topper4f2fba12011-08-30 07:09:35 +0000508
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000509 if (HasEVEX_K)
510 HANDLE_OPERAND(writemaskRegister)
511
Craig Topperd402df32014-02-02 07:08:01 +0000512 if (HasVEX_4V)
Craig Topper4f2fba12011-08-30 07:09:35 +0000513 // FIXME: In AVX, the register below becomes the one encoded
514 // in ModRMVEX and the one above the one in the VEX.VVVV field
515 HANDLE_OPERAND(vvvvRegister)
Craig Topperac172e22012-07-30 04:48:12 +0000516
Sean Callanan04cc3072009-12-19 02:59:52 +0000517 HANDLE_OPERAND(roRegister)
518 HANDLE_OPTIONAL(immediate)
519 break;
520 case X86Local::MRMSrcReg:
521 // Operand 1 is a register operand in the Reg/Opcode field.
522 // Operand 2 is a register operand in the R/M field.
Sean Callananc3fd5232011-03-15 01:23:15 +0000523 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000524 // Operand 3 (optional) is an immediate.
Benjamin Krameref479ea2012-05-29 19:05:25 +0000525 // Operand 4 (optional) is an immediate.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000526
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000527 assert(numPhysicalOperands >= 2 + additionalOperands &&
528 numPhysicalOperands <= 4 + additionalOperands &&
529 "Unexpected number of operands for MRMSrcRegFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000530
Sean Callananc3fd5232011-03-15 01:23:15 +0000531 HANDLE_OPERAND(roRegister)
Craig Topper25ea4e52011-10-16 03:51:13 +0000532
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000533 if (HasEVEX_K)
534 HANDLE_OPERAND(writemaskRegister)
535
Craig Topperd402df32014-02-02 07:08:01 +0000536 if (HasVEX_4V)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000537 // FIXME: In AVX, the register below becomes the one encoded
538 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callananc3fd5232011-03-15 01:23:15 +0000539 HANDLE_OPERAND(vvvvRegister)
Craig Topper25ea4e52011-10-16 03:51:13 +0000540
Sean Callananc3fd5232011-03-15 01:23:15 +0000541 HANDLE_OPERAND(rmRegister)
Craig Topper9b20fec2016-08-22 07:38:45 +0000542 HANDLE_OPTIONAL(immediate)
Craig Topper2ba766a2011-12-30 06:23:39 +0000543 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Benjamin Krameref479ea2012-05-29 19:05:25 +0000544 HANDLE_OPTIONAL(immediate)
Sean Callanan04cc3072009-12-19 02:59:52 +0000545 break;
Craig Topper5f8419d2016-08-22 07:38:50 +0000546 case X86Local::MRMSrcReg4VOp3:
547 assert(numPhysicalOperands == 3 &&
Simon Pilgrim684372d2017-04-27 14:25:04 +0000548 "Unexpected number of operands for MRMSrcReg4VOp3Frm");
Craig Topper5f8419d2016-08-22 07:38:50 +0000549 HANDLE_OPERAND(roRegister)
550 HANDLE_OPERAND(rmRegister)
551 HANDLE_OPERAND(vvvvRegister)
552 break;
Craig Topper9b20fec2016-08-22 07:38:45 +0000553 case X86Local::MRMSrcRegOp4:
554 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
555 "Unexpected number of operands for MRMSrcRegOp4Frm");
556 HANDLE_OPERAND(roRegister)
557 HANDLE_OPERAND(vvvvRegister)
558 HANDLE_OPERAND(immediate) // Register in imm[7:4]
559 HANDLE_OPERAND(rmRegister)
560 HANDLE_OPTIONAL(immediate)
561 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000562 case X86Local::MRMSrcMem:
563 // Operand 1 is a register operand in the Reg/Opcode field.
564 // Operand 2 is a memory operand (possibly SIB-extended)
Sean Callananc3fd5232011-03-15 01:23:15 +0000565 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000566 // Operand 3 (optional) is an immediate.
Craig Topperaea148c2011-10-16 07:55:05 +0000567
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000568 assert(numPhysicalOperands >= 2 + additionalOperands &&
569 numPhysicalOperands <= 4 + additionalOperands &&
570 "Unexpected number of operands for MRMSrcMemFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000571
Sean Callanan04cc3072009-12-19 02:59:52 +0000572 HANDLE_OPERAND(roRegister)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000573
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000574 if (HasEVEX_K)
575 HANDLE_OPERAND(writemaskRegister)
576
Craig Topperd402df32014-02-02 07:08:01 +0000577 if (HasVEX_4V)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000578 // FIXME: In AVX, the register below becomes the one encoded
579 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callananc3fd5232011-03-15 01:23:15 +0000580 HANDLE_OPERAND(vvvvRegister)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000581
Sean Callanan04cc3072009-12-19 02:59:52 +0000582 HANDLE_OPERAND(memory)
Craig Topper9b20fec2016-08-22 07:38:45 +0000583 HANDLE_OPTIONAL(immediate)
Craig Topper2ba766a2011-12-30 06:23:39 +0000584 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Sean Callanan04cc3072009-12-19 02:59:52 +0000585 break;
Craig Topper5f8419d2016-08-22 07:38:50 +0000586 case X86Local::MRMSrcMem4VOp3:
587 assert(numPhysicalOperands == 3 &&
Simon Pilgrim684372d2017-04-27 14:25:04 +0000588 "Unexpected number of operands for MRMSrcMem4VOp3Frm");
Craig Topper5f8419d2016-08-22 07:38:50 +0000589 HANDLE_OPERAND(roRegister)
590 HANDLE_OPERAND(memory)
591 HANDLE_OPERAND(vvvvRegister)
592 break;
Craig Topper9b20fec2016-08-22 07:38:45 +0000593 case X86Local::MRMSrcMemOp4:
594 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
595 "Unexpected number of operands for MRMSrcMemOp4Frm");
596 HANDLE_OPERAND(roRegister)
597 HANDLE_OPERAND(vvvvRegister)
598 HANDLE_OPERAND(immediate) // Register in imm[7:4]
599 HANDLE_OPERAND(memory)
600 HANDLE_OPTIONAL(immediate)
601 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000602 case X86Local::MRMXr:
Sean Callanan04cc3072009-12-19 02:59:52 +0000603 case X86Local::MRM0r:
604 case X86Local::MRM1r:
605 case X86Local::MRM2r:
606 case X86Local::MRM3r:
607 case X86Local::MRM4r:
608 case X86Local::MRM5r:
609 case X86Local::MRM6r:
610 case X86Local::MRM7r:
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000611 // Operand 1 is a register operand in the R/M field.
612 // Operand 2 (optional) is an immediate or relocation.
613 // Operand 3 (optional) is an immediate.
614 assert(numPhysicalOperands >= 0 + additionalOperands &&
615 numPhysicalOperands <= 3 + additionalOperands &&
616 "Unexpected number of operands for MRMnr");
617
Craig Topperd402df32014-02-02 07:08:01 +0000618 if (HasVEX_4V)
Craig Topper27ad1252011-10-15 20:46:47 +0000619 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000620
621 if (HasEVEX_K)
622 HANDLE_OPERAND(writemaskRegister)
Sean Callanan04cc3072009-12-19 02:59:52 +0000623 HANDLE_OPTIONAL(rmRegister)
624 HANDLE_OPTIONAL(relocation)
Benjamin Krameref479ea2012-05-29 19:05:25 +0000625 HANDLE_OPTIONAL(immediate)
Sean Callanan04cc3072009-12-19 02:59:52 +0000626 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000627 case X86Local::MRMXm:
Sean Callanan04cc3072009-12-19 02:59:52 +0000628 case X86Local::MRM0m:
629 case X86Local::MRM1m:
630 case X86Local::MRM2m:
631 case X86Local::MRM3m:
632 case X86Local::MRM4m:
633 case X86Local::MRM5m:
634 case X86Local::MRM6m:
635 case X86Local::MRM7m:
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000636 // Operand 1 is a memory operand (possibly SIB-extended)
637 // Operand 2 (optional) is an immediate or relocation.
638 assert(numPhysicalOperands >= 1 + additionalOperands &&
639 numPhysicalOperands <= 2 + additionalOperands &&
640 "Unexpected number of operands for MRMnm");
641
Craig Topperd402df32014-02-02 07:08:01 +0000642 if (HasVEX_4V)
Craig Topper27ad1252011-10-15 20:46:47 +0000643 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000644 if (HasEVEX_K)
645 HANDLE_OPERAND(writemaskRegister)
Sean Callanan04cc3072009-12-19 02:59:52 +0000646 HANDLE_OPERAND(memory)
647 HANDLE_OPTIONAL(relocation)
648 break;
Sean Callanan8d302b22010-10-04 22:45:51 +0000649 case X86Local::RawFrmImm8:
650 // operand 1 is a 16-bit immediate
651 // operand 2 is an 8-bit immediate
652 assert(numPhysicalOperands == 2 &&
653 "Unexpected number of operands for X86Local::RawFrmImm8");
654 HANDLE_OPERAND(immediate)
655 HANDLE_OPERAND(immediate)
656 break;
657 case X86Local::RawFrmImm16:
658 // operand 1 is a 16-bit immediate
659 // operand 2 is a 16-bit immediate
660 HANDLE_OPERAND(immediate)
661 HANDLE_OPERAND(immediate)
662 break;
Kevin Enderbyf15856e2013-03-11 21:17:13 +0000663 case X86Local::MRM_F8:
664 if (Opcode == 0xc6) {
665 assert(numPhysicalOperands == 1 &&
666 "Unexpected number of operands for X86Local::MRM_F8");
667 HANDLE_OPERAND(immediate)
668 } else if (Opcode == 0xc7) {
669 assert(numPhysicalOperands == 1 &&
670 "Unexpected number of operands for X86Local::MRM_F8");
671 HANDLE_OPERAND(relocation)
672 }
673 break;
Craig Topper56f0ed812014-02-19 08:25:02 +0000674 case X86Local::MRM_C0: case X86Local::MRM_C1: case X86Local::MRM_C2:
675 case X86Local::MRM_C3: case X86Local::MRM_C4: case X86Local::MRM_C8:
676 case X86Local::MRM_C9: case X86Local::MRM_CA: case X86Local::MRM_CB:
Kevin Enderby0d928a12014-07-31 23:57:38 +0000677 case X86Local::MRM_CF: case X86Local::MRM_D0: case X86Local::MRM_D1:
678 case X86Local::MRM_D4: case X86Local::MRM_D5: case X86Local::MRM_D6:
679 case X86Local::MRM_D7: case X86Local::MRM_D8: case X86Local::MRM_D9:
680 case X86Local::MRM_DA: case X86Local::MRM_DB: case X86Local::MRM_DC:
681 case X86Local::MRM_DD: case X86Local::MRM_DE: case X86Local::MRM_DF:
682 case X86Local::MRM_E0: case X86Local::MRM_E1: case X86Local::MRM_E2:
683 case X86Local::MRM_E3: case X86Local::MRM_E4: case X86Local::MRM_E5:
684 case X86Local::MRM_E8: case X86Local::MRM_E9: case X86Local::MRM_EA:
685 case X86Local::MRM_EB: case X86Local::MRM_EC: case X86Local::MRM_ED:
Asaf Badouh9a5a83a2015-12-24 08:25:00 +0000686 case X86Local::MRM_EE: case X86Local::MRM_EF: case X86Local::MRM_F0:
687 case X86Local::MRM_F1: case X86Local::MRM_F2: case X86Local::MRM_F3:
688 case X86Local::MRM_F4: case X86Local::MRM_F5: case X86Local::MRM_F6:
689 case X86Local::MRM_F7: case X86Local::MRM_F9: case X86Local::MRM_FA:
Craig Topper66156542016-02-16 04:24:58 +0000690 case X86Local::MRM_FB: case X86Local::MRM_FC: case X86Local::MRM_FD:
691 case X86Local::MRM_FE: case X86Local::MRM_FF:
Sean Callanan04cc3072009-12-19 02:59:52 +0000692 // Ignored.
693 break;
694 }
Craig Topperac172e22012-07-30 04:48:12 +0000695
Sean Callanan04cc3072009-12-19 02:59:52 +0000696 #undef HANDLE_OPERAND
697 #undef HANDLE_OPTIONAL
698}
699
700void RecognizableInstr::emitDecodePath(DisassemblerTables &tables) const {
701 // Special cases where the LLVM tables are not complete
702
Sean Callanandde9c122010-02-12 23:39:46 +0000703#define MAP(from, to) \
Craig Toppera3776de2015-02-15 04:16:44 +0000704 case X86Local::MRM_##from:
Sean Callanan04cc3072009-12-19 02:59:52 +0000705
706 OpcodeType opcodeType = (OpcodeType)-1;
Craig Topperac172e22012-07-30 04:48:12 +0000707
Craig Topper24064772014-04-15 07:20:03 +0000708 ModRMFilter* filter = nullptr;
Sean Callanan04cc3072009-12-19 02:59:52 +0000709 uint8_t opcodeToSet = 0;
710
Craig Topper10243c82014-01-31 08:47:06 +0000711 switch (OpMap) {
712 default: llvm_unreachable("Invalid map!");
Craig Toppera0869dc2014-02-10 06:55:41 +0000713 case X86Local::OB:
Sean Callanan04cc3072009-12-19 02:59:52 +0000714 case X86Local::TB:
Bob Wilsonebdae7c2014-02-10 05:28:30 +0000715 case X86Local::T8:
Bob Wilsonebdae7c2014-02-10 05:28:30 +0000716 case X86Local::TA:
Bob Wilsonebdae7c2014-02-10 05:28:30 +0000717 case X86Local::XOP8:
Bob Wilsonebdae7c2014-02-10 05:28:30 +0000718 case X86Local::XOP9:
Bob Wilsonebdae7c2014-02-10 05:28:30 +0000719 case X86Local::XOPA:
Craig Toppera0869dc2014-02-10 06:55:41 +0000720 switch (OpMap) {
721 default: llvm_unreachable("Unexpected map!");
722 case X86Local::OB: opcodeType = ONEBYTE; break;
723 case X86Local::TB: opcodeType = TWOBYTE; break;
724 case X86Local::T8: opcodeType = THREEBYTE_38; break;
725 case X86Local::TA: opcodeType = THREEBYTE_3A; break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000726 case X86Local::XOP8: opcodeType = XOP8_MAP; break;
727 case X86Local::XOP9: opcodeType = XOP9_MAP; break;
728 case X86Local::XOPA: opcodeType = XOPA_MAP; break;
729 }
730
731 switch (Form) {
Craig Topper313226f2016-08-22 07:38:30 +0000732 default: llvm_unreachable("Invalid form!");
733 case X86Local::Pseudo: llvm_unreachable("Pseudo should not be emitted!");
734 case X86Local::RawFrm:
735 case X86Local::AddRegFrm:
736 case X86Local::RawFrmMemOffs:
737 case X86Local::RawFrmSrc:
738 case X86Local::RawFrmDst:
739 case X86Local::RawFrmDstSrc:
740 case X86Local::RawFrmImm8:
741 case X86Local::RawFrmImm16:
Bob Wilsonebdae7c2014-02-10 05:28:30 +0000742 filter = new DumbFilter();
Craig Toppera0869dc2014-02-10 06:55:41 +0000743 break;
Craig Topper1867c6a2016-08-22 07:38:36 +0000744 case X86Local::MRMDestReg:
745 case X86Local::MRMSrcReg:
Craig Topper5f8419d2016-08-22 07:38:50 +0000746 case X86Local::MRMSrcReg4VOp3:
Craig Topper9b20fec2016-08-22 07:38:45 +0000747 case X86Local::MRMSrcRegOp4:
Craig Topper1867c6a2016-08-22 07:38:36 +0000748 case X86Local::MRMXr:
749 filter = new ModFilter(true);
750 break;
751 case X86Local::MRMDestMem:
752 case X86Local::MRMSrcMem:
Craig Topper5f8419d2016-08-22 07:38:50 +0000753 case X86Local::MRMSrcMem4VOp3:
Craig Topper9b20fec2016-08-22 07:38:45 +0000754 case X86Local::MRMSrcMemOp4:
Craig Topper1867c6a2016-08-22 07:38:36 +0000755 case X86Local::MRMXm:
756 filter = new ModFilter(false);
Craig Toppera0869dc2014-02-10 06:55:41 +0000757 break;
758 case X86Local::MRM0r: case X86Local::MRM1r:
759 case X86Local::MRM2r: case X86Local::MRM3r:
760 case X86Local::MRM4r: case X86Local::MRM5r:
761 case X86Local::MRM6r: case X86Local::MRM7r:
762 filter = new ExtendedFilter(true, Form - X86Local::MRM0r);
763 break;
764 case X86Local::MRM0m: case X86Local::MRM1m:
765 case X86Local::MRM2m: case X86Local::MRM3m:
766 case X86Local::MRM4m: case X86Local::MRM5m:
767 case X86Local::MRM6m: case X86Local::MRM7m:
768 filter = new ExtendedFilter(false, Form - X86Local::MRM0m);
769 break;
Ayman Musa3c18f192017-05-11 11:51:12 +0000770 X86_INSTR_MRM_MAPPING
Craig Toppera3776de2015-02-15 04:16:44 +0000771 filter = new ExactFilter(0xC0 + Form - X86Local::MRM_C0); \
772 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000773 } // switch (Form)
774
Craig Topper9e3e38a2013-10-03 05:17:48 +0000775 opcodeToSet = Opcode;
776 break;
Craig Topper10243c82014-01-31 08:47:06 +0000777 } // switch (OpMap)
Sean Callanan04cc3072009-12-19 02:59:52 +0000778
Craig Topper055845f2015-01-02 07:02:25 +0000779 unsigned AddressSize = 0;
780 switch (AdSize) {
781 case X86Local::AdSize16: AddressSize = 16; break;
782 case X86Local::AdSize32: AddressSize = 32; break;
783 case X86Local::AdSize64: AddressSize = 64; break;
784 }
785
Sean Callanan04cc3072009-12-19 02:59:52 +0000786 assert(opcodeType != (OpcodeType)-1 &&
787 "Opcode type not set");
788 assert(filter && "Filter not set");
789
790 if (Form == X86Local::AddRegFrm) {
Craig Topper91551182014-01-01 15:29:32 +0000791 assert(((opcodeToSet & 7) == 0) &&
792 "ADDREG_FRM opcode not aligned");
Craig Topperac172e22012-07-30 04:48:12 +0000793
Craig Topper623b0d62014-01-01 14:22:37 +0000794 uint8_t currentOpcode;
Sean Callanan04cc3072009-12-19 02:59:52 +0000795
Craig Topper623b0d62014-01-01 14:22:37 +0000796 for (currentOpcode = opcodeToSet;
797 currentOpcode < opcodeToSet + 8;
798 ++currentOpcode)
Craig Topperac172e22012-07-30 04:48:12 +0000799 tables.setTableFields(opcodeType,
800 insnContext(),
Craig Topper623b0d62014-01-01 14:22:37 +0000801 currentOpcode,
Craig Topperac172e22012-07-30 04:48:12 +0000802 *filter,
Craig Topper055845f2015-01-02 07:02:25 +0000803 UID, Is32Bit, IgnoresVEX_L, AddressSize);
Sean Callanan04cc3072009-12-19 02:59:52 +0000804 } else {
805 tables.setTableFields(opcodeType,
806 insnContext(),
807 opcodeToSet,
808 *filter,
Craig Topper055845f2015-01-02 07:02:25 +0000809 UID, Is32Bit, IgnoresVEX_L, AddressSize);
Sean Callanan04cc3072009-12-19 02:59:52 +0000810 }
Craig Topperac172e22012-07-30 04:48:12 +0000811
Sean Callanan04cc3072009-12-19 02:59:52 +0000812 delete filter;
Craig Topperac172e22012-07-30 04:48:12 +0000813
Sean Callanandde9c122010-02-12 23:39:46 +0000814#undef MAP
Sean Callanan04cc3072009-12-19 02:59:52 +0000815}
816
817#define TYPE(str, type) if (s == str) return type;
818OperandType RecognizableInstr::typeFromString(const std::string &s,
Sean Callanan04cc3072009-12-19 02:59:52 +0000819 bool hasREX_WPrefix,
Craig Topperfa6298a2014-02-02 09:25:09 +0000820 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000821 if(hasREX_WPrefix) {
822 // For instructions with a REX_W prefix, a declared 32-bit register encoding
823 // is special.
824 TYPE("GR32", TYPE_R32)
825 }
Craig Topperfa6298a2014-02-02 09:25:09 +0000826 if(OpSize == X86Local::OpSize16) {
827 // For OpSize16 instructions, a declared 16-bit register or
Sean Callanan04cc3072009-12-19 02:59:52 +0000828 // immediate encoding is special.
Craig Topperb7c7f382014-01-15 05:02:02 +0000829 TYPE("GR16", TYPE_Rv)
Craig Topperfa6298a2014-02-02 09:25:09 +0000830 } else if(OpSize == X86Local::OpSize32) {
831 // For OpSize32 instructions, a declared 32-bit register or
Craig Topperb7c7f382014-01-15 05:02:02 +0000832 // immediate encoding is special.
833 TYPE("GR32", TYPE_Rv)
Sean Callanan04cc3072009-12-19 02:59:52 +0000834 }
Craig Topperad944a12017-01-16 06:49:03 +0000835 TYPE("i16mem", TYPE_M)
836 TYPE("i16imm", TYPE_IMM)
837 TYPE("i16i8imm", TYPE_IMM)
Craig Topperb7c7f382014-01-15 05:02:02 +0000838 TYPE("GR16", TYPE_R16)
Craig Topperad944a12017-01-16 06:49:03 +0000839 TYPE("i32mem", TYPE_M)
840 TYPE("i32imm", TYPE_IMM)
841 TYPE("i32i8imm", TYPE_IMM)
Craig Topperb7c7f382014-01-15 05:02:02 +0000842 TYPE("GR32", TYPE_R32)
Craig Toppera422b092013-10-14 04:55:01 +0000843 TYPE("GR32orGR64", TYPE_R32)
Craig Topperad944a12017-01-16 06:49:03 +0000844 TYPE("i64mem", TYPE_M)
845 TYPE("i64i32imm", TYPE_IMM)
846 TYPE("i64i8imm", TYPE_IMM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000847 TYPE("GR64", TYPE_R64)
Craig Topperad944a12017-01-16 06:49:03 +0000848 TYPE("i8mem", TYPE_M)
849 TYPE("i8imm", TYPE_IMM)
Craig Topper620b50c2015-01-21 08:15:54 +0000850 TYPE("u8imm", TYPE_UIMM8)
Craig Topper53a84672015-01-25 02:21:16 +0000851 TYPE("i32u8imm", TYPE_UIMM8)
Sean Callanan04cc3072009-12-19 02:59:52 +0000852 TYPE("GR8", TYPE_R8)
Craig Topperad944a12017-01-16 06:49:03 +0000853 TYPE("VR128", TYPE_XMM)
854 TYPE("VR128X", TYPE_XMM)
855 TYPE("f128mem", TYPE_M)
856 TYPE("f256mem", TYPE_M)
857 TYPE("f512mem", TYPE_M)
858 TYPE("FR128", TYPE_XMM)
859 TYPE("FR64", TYPE_XMM)
860 TYPE("FR64X", TYPE_XMM)
861 TYPE("f64mem", TYPE_M)
862 TYPE("sdmem", TYPE_M)
863 TYPE("FR32", TYPE_XMM)
864 TYPE("FR32X", TYPE_XMM)
865 TYPE("f32mem", TYPE_M)
866 TYPE("ssmem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000867 TYPE("RST", TYPE_ST)
Craig Topperad944a12017-01-16 06:49:03 +0000868 TYPE("i128mem", TYPE_M)
869 TYPE("i256mem", TYPE_M)
870 TYPE("i512mem", TYPE_M)
Craig Topperfba613e2017-01-16 06:49:09 +0000871 TYPE("i64i32imm_pcrel", TYPE_REL)
872 TYPE("i16imm_pcrel", TYPE_REL)
873 TYPE("i32imm_pcrel", TYPE_REL)
Sean Callanan1efe6612010-04-07 21:42:19 +0000874 TYPE("SSECC", TYPE_IMM3)
Craig Topper916708f2015-02-13 07:42:25 +0000875 TYPE("XOPCC", TYPE_IMM3)
Craig Topper7629d632012-04-03 05:20:24 +0000876 TYPE("AVXCC", TYPE_IMM5)
Craig Topper7d3c6d32015-01-28 10:09:56 +0000877 TYPE("AVX512ICC", TYPE_AVX512ICC)
Craig Topperad944a12017-01-16 06:49:03 +0000878 TYPE("AVX512RC", TYPE_IMM)
Craig Topperfba613e2017-01-16 06:49:09 +0000879 TYPE("brtarget32", TYPE_REL)
880 TYPE("brtarget16", TYPE_REL)
881 TYPE("brtarget8", TYPE_REL)
Craig Topperad944a12017-01-16 06:49:03 +0000882 TYPE("f80mem", TYPE_M)
883 TYPE("lea64_32mem", TYPE_M)
884 TYPE("lea64mem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000885 TYPE("VR64", TYPE_MM64)
Craig Topperad944a12017-01-16 06:49:03 +0000886 TYPE("i64imm", TYPE_IMM)
Craig Topper7c102522015-01-08 07:41:30 +0000887 TYPE("anymem", TYPE_M)
Craig Topperad944a12017-01-16 06:49:03 +0000888 TYPE("opaque32mem", TYPE_M)
889 TYPE("opaque48mem", TYPE_M)
890 TYPE("opaque80mem", TYPE_M)
891 TYPE("opaque512mem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000892 TYPE("SEGMENT_REG", TYPE_SEGMENTREG)
893 TYPE("DEBUG_REG", TYPE_DEBUGREG)
Sean Callanane7e1cf92010-05-06 20:59:00 +0000894 TYPE("CONTROL_REG", TYPE_CONTROLREG)
Craig Topperad944a12017-01-16 06:49:03 +0000895 TYPE("srcidx8", TYPE_SRCIDX)
896 TYPE("srcidx16", TYPE_SRCIDX)
897 TYPE("srcidx32", TYPE_SRCIDX)
898 TYPE("srcidx64", TYPE_SRCIDX)
899 TYPE("dstidx8", TYPE_DSTIDX)
900 TYPE("dstidx16", TYPE_DSTIDX)
901 TYPE("dstidx32", TYPE_DSTIDX)
902 TYPE("dstidx64", TYPE_DSTIDX)
903 TYPE("offset16_8", TYPE_MOFFS)
904 TYPE("offset16_16", TYPE_MOFFS)
905 TYPE("offset16_32", TYPE_MOFFS)
906 TYPE("offset32_8", TYPE_MOFFS)
907 TYPE("offset32_16", TYPE_MOFFS)
908 TYPE("offset32_32", TYPE_MOFFS)
909 TYPE("offset32_64", TYPE_MOFFS)
910 TYPE("offset64_8", TYPE_MOFFS)
911 TYPE("offset64_16", TYPE_MOFFS)
912 TYPE("offset64_32", TYPE_MOFFS)
913 TYPE("offset64_64", TYPE_MOFFS)
914 TYPE("VR256", TYPE_YMM)
915 TYPE("VR256X", TYPE_YMM)
916 TYPE("VR512", TYPE_ZMM)
917 TYPE("VK1", TYPE_VK)
918 TYPE("VK1WM", TYPE_VK)
919 TYPE("VK2", TYPE_VK)
920 TYPE("VK2WM", TYPE_VK)
921 TYPE("VK4", TYPE_VK)
922 TYPE("VK4WM", TYPE_VK)
923 TYPE("VK8", TYPE_VK)
924 TYPE("VK8WM", TYPE_VK)
925 TYPE("VK16", TYPE_VK)
926 TYPE("VK16WM", TYPE_VK)
927 TYPE("VK32", TYPE_VK)
928 TYPE("VK32WM", TYPE_VK)
929 TYPE("VK64", TYPE_VK)
930 TYPE("VK64WM", TYPE_VK)
Craig Topper23eb4682011-10-06 06:44:41 +0000931 TYPE("GR32_NOAX", TYPE_Rv)
Craig Topperad944a12017-01-16 06:49:03 +0000932 TYPE("vx64mem", TYPE_M)
933 TYPE("vx128mem", TYPE_M)
934 TYPE("vx256mem", TYPE_M)
935 TYPE("vy128mem", TYPE_M)
936 TYPE("vy256mem", TYPE_M)
937 TYPE("vx64xmem", TYPE_M)
938 TYPE("vx128xmem", TYPE_M)
939 TYPE("vx256xmem", TYPE_M)
940 TYPE("vy128xmem", TYPE_M)
941 TYPE("vy256xmem", TYPE_M)
942 TYPE("vy512mem", TYPE_M)
943 TYPE("vz256xmem", TYPE_M)
944 TYPE("vz512mem", TYPE_M)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +0000945 TYPE("BNDR", TYPE_BNDR)
Sean Callanan04cc3072009-12-19 02:59:52 +0000946 errs() << "Unhandled type string " << s << "\n";
947 llvm_unreachable("Unhandled type string");
948}
949#undef TYPE
950
951#define ENCODING(str, encoding) if (s == str) return encoding;
Craig Topperfa6298a2014-02-02 09:25:09 +0000952OperandEncoding
953RecognizableInstr::immediateEncodingFromString(const std::string &s,
954 uint8_t OpSize) {
955 if(OpSize != X86Local::OpSize16) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000956 // For instructions without an OpSize prefix, a declared 16-bit register or
957 // immediate encoding is special.
958 ENCODING("i16imm", ENCODING_IW)
959 }
960 ENCODING("i32i8imm", ENCODING_IB)
961 ENCODING("SSECC", ENCODING_IB)
Craig Topper916708f2015-02-13 07:42:25 +0000962 ENCODING("XOPCC", ENCODING_IB)
Craig Topper7629d632012-04-03 05:20:24 +0000963 ENCODING("AVXCC", ENCODING_IB)
Craig Topper7d3c6d32015-01-28 10:09:56 +0000964 ENCODING("AVX512ICC", ENCODING_IB)
Elena Demikhovskyde3f7512014-01-01 15:12:34 +0000965 ENCODING("AVX512RC", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +0000966 ENCODING("i16imm", ENCODING_Iv)
967 ENCODING("i16i8imm", ENCODING_IB)
968 ENCODING("i32imm", ENCODING_Iv)
969 ENCODING("i64i32imm", ENCODING_ID)
970 ENCODING("i64i8imm", ENCODING_IB)
971 ENCODING("i8imm", ENCODING_IB)
Craig Topper620b50c2015-01-21 08:15:54 +0000972 ENCODING("u8imm", ENCODING_IB)
Craig Topper53a84672015-01-25 02:21:16 +0000973 ENCODING("i32u8imm", ENCODING_IB)
Sean Callananc3fd5232011-03-15 01:23:15 +0000974 // This is not a typo. Instructions like BLENDVPD put
975 // register IDs in 8-bit immediates nowadays.
Craig Topperc30fdbc2012-08-31 15:40:30 +0000976 ENCODING("FR32", ENCODING_IB)
977 ENCODING("FR64", ENCODING_IB)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +0000978 ENCODING("FR128", ENCODING_IB)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000979 ENCODING("VR128", ENCODING_IB)
980 ENCODING("VR256", ENCODING_IB)
981 ENCODING("FR32X", ENCODING_IB)
982 ENCODING("FR64X", ENCODING_IB)
983 ENCODING("VR128X", ENCODING_IB)
984 ENCODING("VR256X", ENCODING_IB)
985 ENCODING("VR512", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +0000986 errs() << "Unhandled immediate encoding " << s << "\n";
987 llvm_unreachable("Unhandled immediate encoding");
988}
989
Craig Topperfa6298a2014-02-02 09:25:09 +0000990OperandEncoding
991RecognizableInstr::rmRegisterEncodingFromString(const std::string &s,
992 uint8_t OpSize) {
Craig Topper623b0d62014-01-01 14:22:37 +0000993 ENCODING("RST", ENCODING_FP)
Sean Callanan04cc3072009-12-19 02:59:52 +0000994 ENCODING("GR16", ENCODING_RM)
995 ENCODING("GR32", ENCODING_RM)
Craig Toppera422b092013-10-14 04:55:01 +0000996 ENCODING("GR32orGR64", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000997 ENCODING("GR64", ENCODING_RM)
998 ENCODING("GR8", ENCODING_RM)
999 ENCODING("VR128", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001000 ENCODING("VR128X", ENCODING_RM)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001001 ENCODING("FR128", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001002 ENCODING("FR64", ENCODING_RM)
1003 ENCODING("FR32", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001004 ENCODING("FR64X", ENCODING_RM)
1005 ENCODING("FR32X", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001006 ENCODING("VR64", ENCODING_RM)
Sean Callananc3fd5232011-03-15 01:23:15 +00001007 ENCODING("VR256", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001008 ENCODING("VR256X", ENCODING_RM)
1009 ENCODING("VR512", ENCODING_RM)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001010 ENCODING("VK1", ENCODING_RM)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001011 ENCODING("VK2", ENCODING_RM)
1012 ENCODING("VK4", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001013 ENCODING("VK8", ENCODING_RM)
1014 ENCODING("VK16", ENCODING_RM)
Robert Khasanov74acbb72014-07-23 14:49:42 +00001015 ENCODING("VK32", ENCODING_RM)
1016 ENCODING("VK64", ENCODING_RM)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +00001017 ENCODING("BNDR", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001018 errs() << "Unhandled R/M register encoding " << s << "\n";
1019 llvm_unreachable("Unhandled R/M register encoding");
1020}
1021
Craig Topperfa6298a2014-02-02 09:25:09 +00001022OperandEncoding
1023RecognizableInstr::roRegisterEncodingFromString(const std::string &s,
1024 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001025 ENCODING("GR16", ENCODING_REG)
1026 ENCODING("GR32", ENCODING_REG)
Craig Toppera422b092013-10-14 04:55:01 +00001027 ENCODING("GR32orGR64", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001028 ENCODING("GR64", ENCODING_REG)
1029 ENCODING("GR8", ENCODING_REG)
1030 ENCODING("VR128", ENCODING_REG)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001031 ENCODING("FR128", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001032 ENCODING("FR64", ENCODING_REG)
1033 ENCODING("FR32", ENCODING_REG)
1034 ENCODING("VR64", ENCODING_REG)
1035 ENCODING("SEGMENT_REG", ENCODING_REG)
1036 ENCODING("DEBUG_REG", ENCODING_REG)
Sean Callanane7e1cf92010-05-06 20:59:00 +00001037 ENCODING("CONTROL_REG", ENCODING_REG)
Sean Callananc3fd5232011-03-15 01:23:15 +00001038 ENCODING("VR256", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001039 ENCODING("VR256X", ENCODING_REG)
1040 ENCODING("VR128X", ENCODING_REG)
1041 ENCODING("FR64X", ENCODING_REG)
1042 ENCODING("FR32X", ENCODING_REG)
1043 ENCODING("VR512", ENCODING_REG)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001044 ENCODING("VK1", ENCODING_REG)
Robert Khasanov2ea081d2014-08-25 14:49:34 +00001045 ENCODING("VK2", ENCODING_REG)
1046 ENCODING("VK4", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001047 ENCODING("VK8", ENCODING_REG)
1048 ENCODING("VK16", ENCODING_REG)
Robert Khasanov74acbb72014-07-23 14:49:42 +00001049 ENCODING("VK32", ENCODING_REG)
1050 ENCODING("VK64", ENCODING_REG)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001051 ENCODING("VK1WM", ENCODING_REG)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001052 ENCODING("VK2WM", ENCODING_REG)
1053 ENCODING("VK4WM", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001054 ENCODING("VK8WM", ENCODING_REG)
1055 ENCODING("VK16WM", ENCODING_REG)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001056 ENCODING("VK32WM", ENCODING_REG)
1057 ENCODING("VK64WM", ENCODING_REG)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +00001058 ENCODING("BNDR", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001059 errs() << "Unhandled reg/opcode register encoding " << s << "\n";
1060 llvm_unreachable("Unhandled reg/opcode register encoding");
1061}
1062
Craig Topperfa6298a2014-02-02 09:25:09 +00001063OperandEncoding
1064RecognizableInstr::vvvvRegisterEncodingFromString(const std::string &s,
1065 uint8_t OpSize) {
Craig Topper965de2c2011-10-14 07:06:56 +00001066 ENCODING("GR32", ENCODING_VVVV)
1067 ENCODING("GR64", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001068 ENCODING("FR32", ENCODING_VVVV)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001069 ENCODING("FR128", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001070 ENCODING("FR64", ENCODING_VVVV)
1071 ENCODING("VR128", ENCODING_VVVV)
1072 ENCODING("VR256", ENCODING_VVVV)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001073 ENCODING("FR32X", ENCODING_VVVV)
1074 ENCODING("FR64X", ENCODING_VVVV)
1075 ENCODING("VR128X", ENCODING_VVVV)
1076 ENCODING("VR256X", ENCODING_VVVV)
1077 ENCODING("VR512", ENCODING_VVVV)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001078 ENCODING("VK1", ENCODING_VVVV)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001079 ENCODING("VK2", ENCODING_VVVV)
1080 ENCODING("VK4", ENCODING_VVVV)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001081 ENCODING("VK8", ENCODING_VVVV)
1082 ENCODING("VK16", ENCODING_VVVV)
Robert Khasanov595683d2014-07-28 13:46:45 +00001083 ENCODING("VK32", ENCODING_VVVV)
1084 ENCODING("VK64", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001085 errs() << "Unhandled VEX.vvvv register encoding " << s << "\n";
1086 llvm_unreachable("Unhandled VEX.vvvv register encoding");
1087}
1088
Craig Topperfa6298a2014-02-02 09:25:09 +00001089OperandEncoding
1090RecognizableInstr::writemaskRegisterEncodingFromString(const std::string &s,
1091 uint8_t OpSize) {
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001092 ENCODING("VK1WM", ENCODING_WRITEMASK)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001093 ENCODING("VK2WM", ENCODING_WRITEMASK)
1094 ENCODING("VK4WM", ENCODING_WRITEMASK)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001095 ENCODING("VK8WM", ENCODING_WRITEMASK)
1096 ENCODING("VK16WM", ENCODING_WRITEMASK)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001097 ENCODING("VK32WM", ENCODING_WRITEMASK)
1098 ENCODING("VK64WM", ENCODING_WRITEMASK)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001099 errs() << "Unhandled mask register encoding " << s << "\n";
1100 llvm_unreachable("Unhandled mask register encoding");
1101}
1102
Craig Topperfa6298a2014-02-02 09:25:09 +00001103OperandEncoding
1104RecognizableInstr::memoryEncodingFromString(const std::string &s,
1105 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001106 ENCODING("i16mem", ENCODING_RM)
1107 ENCODING("i32mem", ENCODING_RM)
1108 ENCODING("i64mem", ENCODING_RM)
1109 ENCODING("i8mem", ENCODING_RM)
Chris Lattnerf60062f2010-09-29 02:57:56 +00001110 ENCODING("ssmem", ENCODING_RM)
1111 ENCODING("sdmem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001112 ENCODING("f128mem", ENCODING_RM)
Chris Lattnerf60062f2010-09-29 02:57:56 +00001113 ENCODING("f256mem", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001114 ENCODING("f512mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001115 ENCODING("f64mem", ENCODING_RM)
1116 ENCODING("f32mem", ENCODING_RM)
1117 ENCODING("i128mem", ENCODING_RM)
Sean Callananc3fd5232011-03-15 01:23:15 +00001118 ENCODING("i256mem", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001119 ENCODING("i512mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001120 ENCODING("f80mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001121 ENCODING("lea64_32mem", ENCODING_RM)
1122 ENCODING("lea64mem", ENCODING_RM)
Craig Topper7c102522015-01-08 07:41:30 +00001123 ENCODING("anymem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001124 ENCODING("opaque32mem", ENCODING_RM)
1125 ENCODING("opaque48mem", ENCODING_RM)
1126 ENCODING("opaque80mem", ENCODING_RM)
1127 ENCODING("opaque512mem", ENCODING_RM)
Craig Topper33ac0642017-01-16 05:44:25 +00001128 ENCODING("vx64mem", ENCODING_VSIB)
1129 ENCODING("vx128mem", ENCODING_VSIB)
1130 ENCODING("vx256mem", ENCODING_VSIB)
1131 ENCODING("vy128mem", ENCODING_VSIB)
1132 ENCODING("vy256mem", ENCODING_VSIB)
1133 ENCODING("vx64xmem", ENCODING_VSIB)
1134 ENCODING("vx128xmem", ENCODING_VSIB)
1135 ENCODING("vx256xmem", ENCODING_VSIB)
1136 ENCODING("vy128xmem", ENCODING_VSIB)
1137 ENCODING("vy256xmem", ENCODING_VSIB)
1138 ENCODING("vy512mem", ENCODING_VSIB)
1139 ENCODING("vz256xmem", ENCODING_VSIB)
1140 ENCODING("vz512mem", ENCODING_VSIB)
Sean Callanan04cc3072009-12-19 02:59:52 +00001141 errs() << "Unhandled memory encoding " << s << "\n";
1142 llvm_unreachable("Unhandled memory encoding");
1143}
1144
Craig Topperfa6298a2014-02-02 09:25:09 +00001145OperandEncoding
1146RecognizableInstr::relocationEncodingFromString(const std::string &s,
1147 uint8_t OpSize) {
1148 if(OpSize != X86Local::OpSize16) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001149 // For instructions without an OpSize prefix, a declared 16-bit register or
1150 // immediate encoding is special.
1151 ENCODING("i16imm", ENCODING_IW)
1152 }
1153 ENCODING("i16imm", ENCODING_Iv)
1154 ENCODING("i16i8imm", ENCODING_IB)
1155 ENCODING("i32imm", ENCODING_Iv)
1156 ENCODING("i32i8imm", ENCODING_IB)
1157 ENCODING("i64i32imm", ENCODING_ID)
1158 ENCODING("i64i8imm", ENCODING_IB)
1159 ENCODING("i8imm", ENCODING_IB)
Craig Topper620b50c2015-01-21 08:15:54 +00001160 ENCODING("u8imm", ENCODING_IB)
Craig Topper53a84672015-01-25 02:21:16 +00001161 ENCODING("i32u8imm", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +00001162 ENCODING("i64i32imm_pcrel", ENCODING_ID)
Chris Lattnerac588122010-07-07 22:27:31 +00001163 ENCODING("i16imm_pcrel", ENCODING_IW)
Sean Callanan04cc3072009-12-19 02:59:52 +00001164 ENCODING("i32imm_pcrel", ENCODING_ID)
Craig Topper63944542015-01-06 08:59:30 +00001165 ENCODING("brtarget32", ENCODING_Iv)
1166 ENCODING("brtarget16", ENCODING_Iv)
Sean Callanan04cc3072009-12-19 02:59:52 +00001167 ENCODING("brtarget8", ENCODING_IB)
1168 ENCODING("i64imm", ENCODING_IO)
Craig Topper055845f2015-01-02 07:02:25 +00001169 ENCODING("offset16_8", ENCODING_Ia)
1170 ENCODING("offset16_16", ENCODING_Ia)
1171 ENCODING("offset16_32", ENCODING_Ia)
1172 ENCODING("offset32_8", ENCODING_Ia)
1173 ENCODING("offset32_16", ENCODING_Ia)
1174 ENCODING("offset32_32", ENCODING_Ia)
Craig Topperae8e1b32015-01-03 00:00:20 +00001175 ENCODING("offset32_64", ENCODING_Ia)
Craig Topper055845f2015-01-02 07:02:25 +00001176 ENCODING("offset64_8", ENCODING_Ia)
1177 ENCODING("offset64_16", ENCODING_Ia)
1178 ENCODING("offset64_32", ENCODING_Ia)
1179 ENCODING("offset64_64", ENCODING_Ia)
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001180 ENCODING("srcidx8", ENCODING_SI)
1181 ENCODING("srcidx16", ENCODING_SI)
1182 ENCODING("srcidx32", ENCODING_SI)
1183 ENCODING("srcidx64", ENCODING_SI)
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001184 ENCODING("dstidx8", ENCODING_DI)
1185 ENCODING("dstidx16", ENCODING_DI)
1186 ENCODING("dstidx32", ENCODING_DI)
1187 ENCODING("dstidx64", ENCODING_DI)
Sean Callanan04cc3072009-12-19 02:59:52 +00001188 errs() << "Unhandled relocation encoding " << s << "\n";
1189 llvm_unreachable("Unhandled relocation encoding");
1190}
1191
Craig Topperfa6298a2014-02-02 09:25:09 +00001192OperandEncoding
1193RecognizableInstr::opcodeModifierEncodingFromString(const std::string &s,
1194 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001195 ENCODING("GR32", ENCODING_Rv)
1196 ENCODING("GR64", ENCODING_RO)
1197 ENCODING("GR16", ENCODING_Rv)
1198 ENCODING("GR8", ENCODING_RB)
Craig Topper23eb4682011-10-06 06:44:41 +00001199 ENCODING("GR32_NOAX", ENCODING_Rv)
Sean Callanan04cc3072009-12-19 02:59:52 +00001200 errs() << "Unhandled opcode modifier encoding " << s << "\n";
1201 llvm_unreachable("Unhandled opcode modifier encoding");
1202}
Daniel Dunbarf008ea52009-12-19 04:16:48 +00001203#undef ENCODING