blob: 94452b2c9d89806f5adb924dd053bb1388119dd9 [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
Hiroshi Inoue2344b762017-07-04 13:09:29 +000013// X86DisassemblerEmitter.h.
Sean Callanan04cc3072009-12-19 02:59:52 +000014//
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++) {
Craig Topper95dade52018-04-03 05:10:12 +000043 if (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
Rafael Aulerde9ad4b2018-02-15 21:20:31 +000083 OpSize = byteFromRec(Rec, "OpSizeBits");
84 AdSize = byteFromRec(Rec, "AdSizeBits");
85 HasREX_WPrefix = Rec->getValueAsBit("hasREX_WPrefix");
86 HasVEX_4V = Rec->getValueAsBit("hasVEX_4V");
87 VEX_WPrefix = byteFromRec(Rec,"VEX_WPrefix");
88 IgnoresVEX_L = Rec->getValueAsBit("ignoresVEX_L");
89 HasEVEX_L2Prefix = Rec->getValueAsBit("hasEVEX_L2");
90 HasEVEX_K = Rec->getValueAsBit("hasEVEX_K");
91 HasEVEX_KZ = Rec->getValueAsBit("hasEVEX_Z");
92 HasEVEX_B = Rec->getValueAsBit("hasEVEX_B");
Rafael Aulerde9ad4b2018-02-15 21:20:31 +000093 IsCodeGenOnly = Rec->getValueAsBit("isCodeGenOnly");
94 ForceDisassemble = Rec->getValueAsBit("ForceDisassemble");
95 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
Craig Topper326008c2017-10-23 02:26:24 +0000103 EncodeRC = HasEVEX_B &&
104 (Form == X86Local::MRMDestReg || Form == X86Local::MRMSrcReg);
105
Eli Friedman03180362011-07-16 02:41:28 +0000106 // Check for 64-bit inst which does not require REX
Craig Topper526adab2011-09-23 06:57:25 +0000107 Is32Bit = false;
Eli Friedman03180362011-07-16 02:41:28 +0000108 Is64Bit = false;
109 // FIXME: Is there some better way to check for In64BitMode?
110 std::vector<Record*> Predicates = Rec->getValueAsListOfDefs("Predicates");
111 for (unsigned i = 0, e = Predicates.size(); i != e; ++i) {
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000112 if (Predicates[i]->getName().find("Not64Bit") != Name.npos ||
113 Predicates[i]->getName().find("In32Bit") != Name.npos) {
Craig Topper526adab2011-09-23 06:57:25 +0000114 Is32Bit = true;
115 break;
116 }
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000117 if (Predicates[i]->getName().find("In64Bit") != Name.npos) {
Eli Friedman03180362011-07-16 02:41:28 +0000118 Is64Bit = true;
119 break;
120 }
121 }
Eli Friedman03180362011-07-16 02:41:28 +0000122
Craig Topper69e245c2014-02-13 07:07:16 +0000123 if (Form == X86Local::Pseudo || (IsCodeGenOnly && !ForceDisassemble)) {
124 ShouldBeEmitted = false;
125 return;
126 }
127
128 // Special case since there is no attribute class for 64-bit and VEX
129 if (Name == "VMASKMOVDQU64") {
130 ShouldBeEmitted = false;
131 return;
132 }
133
Sean Callanan04cc3072009-12-19 02:59:52 +0000134 ShouldBeEmitted = true;
135}
Craig Topperac172e22012-07-30 04:48:12 +0000136
Sean Callanan04cc3072009-12-19 02:59:52 +0000137void RecognizableInstr::processInstr(DisassemblerTables &tables,
Craig Topperf7755df2012-07-12 06:52:41 +0000138 const CodeGenInstruction &insn,
139 InstrUID uid)
Sean Callanan04cc3072009-12-19 02:59:52 +0000140{
Daniel Dunbar5661c0c2010-05-20 20:20:32 +0000141 // Ignore "asm parser only" instructions.
142 if (insn.TheDef->getValueAsBit("isAsmParserOnly"))
143 return;
Craig Topperac172e22012-07-30 04:48:12 +0000144
Sean Callanan04cc3072009-12-19 02:59:52 +0000145 RecognizableInstr recogInstr(tables, insn, uid);
Craig Topperac172e22012-07-30 04:48:12 +0000146
Craig Topper69e245c2014-02-13 07:07:16 +0000147 if (recogInstr.shouldBeEmitted()) {
148 recogInstr.emitInstructionSpecifier();
Sean Callanan04cc3072009-12-19 02:59:52 +0000149 recogInstr.emitDecodePath(tables);
Craig Topper69e245c2014-02-13 07:07:16 +0000150 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000151}
152
Elena Demikhovskydacddb02013-11-03 13:46:31 +0000153#define EVEX_KB(n) (HasEVEX_KZ && HasEVEX_B ? n##_KZ_B : \
154 (HasEVEX_K && HasEVEX_B ? n##_K_B : \
155 (HasEVEX_KZ ? n##_KZ : \
156 (HasEVEX_K? n##_K : (HasEVEX_B ? n##_B : n)))))
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000157
Sean Callanan04cc3072009-12-19 02:59:52 +0000158InstructionContext RecognizableInstr::insnContext() const {
159 InstructionContext insnContext;
160
Craig Topperd402df32014-02-02 07:08:01 +0000161 if (Encoding == X86Local::EVEX) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000162 if (HasVEX_LPrefix && HasEVEX_L2Prefix) {
Craig Topper9469e902013-07-28 21:28:02 +0000163 errs() << "Don't support VEX.L if EVEX_L2 is enabled: " << Name << "\n";
164 llvm_unreachable("Don't support VEX.L if EVEX_L2 is enabled");
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000165 }
166 // VEX_L & VEX_W
Craig Topper326008c2017-10-23 02:26:24 +0000167 if (!EncodeRC && HasVEX_LPrefix && VEX_WPrefix == X86Local::VEX_W1) {
Craig Topper8e92e852014-02-02 07:46:05 +0000168 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000169 insnContext = EVEX_KB(IC_EVEX_L_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000170 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000171 insnContext = EVEX_KB(IC_EVEX_L_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000172 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000173 insnContext = EVEX_KB(IC_EVEX_L_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000174 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000175 insnContext = EVEX_KB(IC_EVEX_L_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000176 else {
177 errs() << "Instruction does not use a prefix: " << Name << "\n";
178 llvm_unreachable("Invalid prefix");
179 }
Craig Topper326008c2017-10-23 02:26:24 +0000180 } else if (!EncodeRC && HasVEX_LPrefix) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000181 // VEX_L
Craig Topper8e92e852014-02-02 07:46:05 +0000182 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000183 insnContext = EVEX_KB(IC_EVEX_L_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000184 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000185 insnContext = EVEX_KB(IC_EVEX_L_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000186 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000187 insnContext = EVEX_KB(IC_EVEX_L_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000188 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000189 insnContext = EVEX_KB(IC_EVEX_L);
Craig Topper5ccb6172014-02-18 00:21:49 +0000190 else {
191 errs() << "Instruction does not use a prefix: " << Name << "\n";
192 llvm_unreachable("Invalid prefix");
193 }
Craig Topper326008c2017-10-23 02:26:24 +0000194 } else if (!EncodeRC && HasEVEX_L2Prefix &&
195 VEX_WPrefix == X86Local::VEX_W1) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000196 // EVEX_L2 & VEX_W
Craig Topper8e92e852014-02-02 07:46:05 +0000197 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000198 insnContext = EVEX_KB(IC_EVEX_L2_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000199 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000200 insnContext = EVEX_KB(IC_EVEX_L2_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000201 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000202 insnContext = EVEX_KB(IC_EVEX_L2_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000203 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000204 insnContext = EVEX_KB(IC_EVEX_L2_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000205 else {
206 errs() << "Instruction does not use a prefix: " << Name << "\n";
207 llvm_unreachable("Invalid prefix");
208 }
Craig Topper326008c2017-10-23 02:26:24 +0000209 } else if (!EncodeRC && HasEVEX_L2Prefix) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000210 // EVEX_L2
Craig Topper8e92e852014-02-02 07:46:05 +0000211 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000212 insnContext = EVEX_KB(IC_EVEX_L2_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000213 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000214 insnContext = EVEX_KB(IC_EVEX_L2_XD);
Craig Topper10243c82014-01-31 08:47:06 +0000215 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000216 insnContext = EVEX_KB(IC_EVEX_L2_XS);
Craig Topper5ccb6172014-02-18 00:21:49 +0000217 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000218 insnContext = EVEX_KB(IC_EVEX_L2);
Craig Topper5ccb6172014-02-18 00:21:49 +0000219 else {
220 errs() << "Instruction does not use a prefix: " << Name << "\n";
221 llvm_unreachable("Invalid prefix");
222 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000223 }
Ayman Musa51ffeab2017-02-20 08:27:54 +0000224 else if (VEX_WPrefix == X86Local::VEX_W1) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000225 // VEX_W
Craig Topper8e92e852014-02-02 07:46:05 +0000226 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000227 insnContext = EVEX_KB(IC_EVEX_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000228 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000229 insnContext = EVEX_KB(IC_EVEX_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000230 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000231 insnContext = EVEX_KB(IC_EVEX_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000232 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000233 insnContext = EVEX_KB(IC_EVEX_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000234 else {
235 errs() << "Instruction does not use a prefix: " << Name << "\n";
236 llvm_unreachable("Invalid prefix");
237 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000238 }
239 // No L, no W
Craig Topper8e92e852014-02-02 07:46:05 +0000240 else if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000241 insnContext = EVEX_KB(IC_EVEX_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000242 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000243 insnContext = EVEX_KB(IC_EVEX_XD);
Craig Topper10243c82014-01-31 08:47:06 +0000244 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000245 insnContext = EVEX_KB(IC_EVEX_XS);
Craig Topper7d522b62018-04-03 06:37:01 +0000246 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000247 insnContext = EVEX_KB(IC_EVEX);
Craig Topper7d522b62018-04-03 06:37:01 +0000248 else {
249 errs() << "Instruction does not use a prefix: " << Name << "\n";
250 llvm_unreachable("Invalid prefix");
251 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000252 /// eof EVEX
Craig Topperd402df32014-02-02 07:08:01 +0000253 } else if (Encoding == X86Local::VEX || Encoding == X86Local::XOP) {
Ayman Musa51ffeab2017-02-20 08:27:54 +0000254 if (HasVEX_LPrefix && VEX_WPrefix == X86Local::VEX_W1) {
Craig Topper8e92e852014-02-02 07:46:05 +0000255 if (OpPrefix == X86Local::PD)
Craig Topperf01f1b52011-11-06 23:04:08 +0000256 insnContext = IC_VEX_L_W_OPSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000257 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000258 insnContext = IC_VEX_L_W_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000259 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000260 insnContext = IC_VEX_L_W_XD;
Craig Topper5ccb6172014-02-18 00:21:49 +0000261 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000262 insnContext = IC_VEX_L_W;
Craig Topper5ccb6172014-02-18 00:21:49 +0000263 else {
264 errs() << "Instruction does not use a prefix: " << Name << "\n";
265 llvm_unreachable("Invalid prefix");
266 }
Craig Topper8e92e852014-02-02 07:46:05 +0000267 } else if (OpPrefix == X86Local::PD && HasVEX_LPrefix)
Sean Callananc3fd5232011-03-15 01:23:15 +0000268 insnContext = IC_VEX_L_OPSIZE;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000269 else if (OpPrefix == X86Local::PD && VEX_WPrefix == X86Local::VEX_W1)
Sean Callananc3fd5232011-03-15 01:23:15 +0000270 insnContext = IC_VEX_W_OPSIZE;
Craig Topper8e92e852014-02-02 07:46:05 +0000271 else if (OpPrefix == X86Local::PD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000272 insnContext = IC_VEX_OPSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000273 else if (HasVEX_LPrefix && OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000274 insnContext = IC_VEX_L_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000275 else if (HasVEX_LPrefix && OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000276 insnContext = IC_VEX_L_XD;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000277 else if (VEX_WPrefix == X86Local::VEX_W1 && OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000278 insnContext = IC_VEX_W_XS;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000279 else if (VEX_WPrefix == X86Local::VEX_W1 && OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000280 insnContext = IC_VEX_W_XD;
Ayman Musa51ffeab2017-02-20 08:27:54 +0000281 else if (VEX_WPrefix == X86Local::VEX_W1 && OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000282 insnContext = IC_VEX_W;
Craig Topper5ccb6172014-02-18 00:21:49 +0000283 else if (HasVEX_LPrefix && OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000284 insnContext = IC_VEX_L;
Craig Topper10243c82014-01-31 08:47:06 +0000285 else if (OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000286 insnContext = IC_VEX_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000287 else if (OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000288 insnContext = IC_VEX_XS;
Craig Topper5ccb6172014-02-18 00:21:49 +0000289 else if (OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000290 insnContext = IC_VEX;
Craig Topper5ccb6172014-02-18 00:21:49 +0000291 else {
292 errs() << "Instruction does not use a prefix: " << Name << "\n";
293 llvm_unreachable("Invalid prefix");
294 }
Craig Topper055845f2015-01-02 07:02:25 +0000295 } else if (Is64Bit || HasREX_WPrefix || AdSize == X86Local::AdSize64) {
Craig Topperfa6298a2014-02-02 09:25:09 +0000296 if (HasREX_WPrefix && (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD))
Sean Callanan04cc3072009-12-19 02:59:52 +0000297 insnContext = IC_64BIT_REXW_OPSIZE;
Craig Topperae8e1b32015-01-03 00:00:20 +0000298 else if (HasREX_WPrefix && AdSize == X86Local::AdSize32)
299 insnContext = IC_64BIT_REXW_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000300 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Topper88cb33e2011-10-01 19:54:56 +0000301 insnContext = IC_64BIT_XD_OPSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000302 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Toppera6978522011-10-11 04:34:23 +0000303 insnContext = IC_64BIT_XS_OPSIZE;
Craig Topper99bcab72014-12-31 07:07:31 +0000304 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize32)
305 insnContext = IC_64BIT_OPSIZE_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000306 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000307 insnContext = IC_64BIT_OPSIZE;
Craig Topperb86338f2014-12-24 06:05:22 +0000308 else if (AdSize == X86Local::AdSize32)
Craig Topper6491c802012-02-27 01:54:29 +0000309 insnContext = IC_64BIT_ADSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000310 else if (HasREX_WPrefix && OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000311 insnContext = IC_64BIT_REXW_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000312 else if (HasREX_WPrefix && OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000313 insnContext = IC_64BIT_REXW_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000314 else if (OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000315 insnContext = IC_64BIT_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000316 else if (OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000317 insnContext = IC_64BIT_XS;
318 else if (HasREX_WPrefix)
319 insnContext = IC_64BIT_REXW;
320 else
321 insnContext = IC_64BIT;
322 } else {
Craig Topperfa6298a2014-02-02 09:25:09 +0000323 if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Topper88cb33e2011-10-01 19:54:56 +0000324 insnContext = IC_XD_OPSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000325 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Toppera6978522011-10-11 04:34:23 +0000326 insnContext = IC_XS_OPSIZE;
Craig Topper665f7442018-04-05 18:20:14 +0000327 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XD)
328 insnContext = IC_XD_ADSIZE;
329 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XS)
330 insnContext = IC_XS_ADSIZE;
Craig Topper99bcab72014-12-31 07:07:31 +0000331 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize16)
332 insnContext = IC_OPSIZE_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000333 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000334 insnContext = IC_OPSIZE;
Craig Topperb86338f2014-12-24 06:05:22 +0000335 else if (AdSize == X86Local::AdSize16)
Craig Topper6491c802012-02-27 01:54:29 +0000336 insnContext = IC_ADSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000337 else if (OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000338 insnContext = IC_XD;
Craig Toppere2347df2014-02-20 07:59:43 +0000339 else if (OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000340 insnContext = IC_XS;
341 else
342 insnContext = IC;
343 }
344
345 return insnContext;
346}
Craig Topperac172e22012-07-30 04:48:12 +0000347
Adam Nemet5933c2f2014-07-17 17:04:56 +0000348void RecognizableInstr::adjustOperandEncoding(OperandEncoding &encoding) {
349 // The scaling factor for AVX512 compressed displacement encoding is an
350 // instruction attribute. Adjust the ModRM encoding type to include the
351 // scale for compressed displacement.
Craig Topper33ac0642017-01-16 05:44:25 +0000352 if ((encoding != ENCODING_RM && encoding != ENCODING_VSIB) ||CD8_Scale == 0)
Adam Nemet5933c2f2014-07-17 17:04:56 +0000353 return;
354 encoding = (OperandEncoding)(encoding + Log2_32(CD8_Scale));
Craig Topper33ac0642017-01-16 05:44:25 +0000355 assert(((encoding >= ENCODING_RM && encoding <= ENCODING_RM_CD64) ||
356 (encoding >= ENCODING_VSIB && encoding <= ENCODING_VSIB_CD64)) &&
357 "Invalid CDisp scaling");
Adam Nemet5933c2f2014-07-17 17:04:56 +0000358}
359
Craig Topperf7755df2012-07-12 06:52:41 +0000360void RecognizableInstr::handleOperand(bool optional, unsigned &operandIndex,
361 unsigned &physicalOperandIndex,
Craig Topper983be942016-02-16 04:24:56 +0000362 unsigned numPhysicalOperands,
Craig Topperf7755df2012-07-12 06:52:41 +0000363 const unsigned *operandMapping,
364 OperandEncoding (*encodingFromString)
365 (const std::string&,
Craig Topperfa6298a2014-02-02 09:25:09 +0000366 uint8_t OpSize)) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000367 if (optional) {
368 if (physicalOperandIndex >= numPhysicalOperands)
369 return;
370 } else {
371 assert(physicalOperandIndex < numPhysicalOperands);
372 }
Craig Topperac172e22012-07-30 04:48:12 +0000373
Sean Callanan04cc3072009-12-19 02:59:52 +0000374 while (operandMapping[operandIndex] != operandIndex) {
375 Spec->operands[operandIndex].encoding = ENCODING_DUP;
376 Spec->operands[operandIndex].type =
377 (OperandType)(TYPE_DUP0 + operandMapping[operandIndex]);
378 ++operandIndex;
379 }
Craig Topperac172e22012-07-30 04:48:12 +0000380
Alexander Shaposhnikovd968f6f2017-07-05 20:14:54 +0000381 StringRef typeName = (*Operands)[operandIndex].Rec->getName();
Sean Callananc3fd5232011-03-15 01:23:15 +0000382
Adam Nemet5933c2f2014-07-17 17:04:56 +0000383 OperandEncoding encoding = encodingFromString(typeName, OpSize);
384 // Adjust the encoding type for an operand based on the instruction.
385 adjustOperandEncoding(encoding);
386 Spec->operands[operandIndex].encoding = encoding;
Craig Topperac172e22012-07-30 04:48:12 +0000387 Spec->operands[operandIndex].type = typeFromString(typeName,
Craig Topperfa6298a2014-02-02 09:25:09 +0000388 HasREX_WPrefix, OpSize);
Craig Topperac172e22012-07-30 04:48:12 +0000389
Sean Callanan04cc3072009-12-19 02:59:52 +0000390 ++operandIndex;
391 ++physicalOperandIndex;
392}
393
Craig Topper83b7e242014-01-02 03:58:45 +0000394void RecognizableInstr::emitInstructionSpecifier() {
Sean Callanan04cc3072009-12-19 02:59:52 +0000395 Spec->name = Name;
Craig Topperac172e22012-07-30 04:48:12 +0000396
Sean Callanan04cc3072009-12-19 02:59:52 +0000397 Spec->insnContext = insnContext();
Craig Topperac172e22012-07-30 04:48:12 +0000398
Chris Lattnerd8adec72010-11-01 04:03:32 +0000399 const std::vector<CGIOperandList::OperandInfo> &OperandList = *Operands;
Craig Topperac172e22012-07-30 04:48:12 +0000400
Sean Callanan04cc3072009-12-19 02:59:52 +0000401 unsigned numOperands = OperandList.size();
402 unsigned numPhysicalOperands = 0;
Craig Topperac172e22012-07-30 04:48:12 +0000403
Sean Callanan04cc3072009-12-19 02:59:52 +0000404 // operandMapping maps from operands in OperandList to their originals.
405 // If operandMapping[i] != i, then the entry is a duplicate.
406 unsigned operandMapping[X86_MAX_OPERANDS];
Craig Topper2ba766a2011-12-30 06:23:39 +0000407 assert(numOperands <= X86_MAX_OPERANDS && "X86_MAX_OPERANDS is not large enough");
Craig Topperac172e22012-07-30 04:48:12 +0000408
Craig Topperf7755df2012-07-12 06:52:41 +0000409 for (unsigned operandIndex = 0; operandIndex < numOperands; ++operandIndex) {
Alexander Kornienko8c0809c2015-01-15 11:41:30 +0000410 if (!OperandList[operandIndex].Constraints.empty()) {
Chris Lattnerd8adec72010-11-01 04:03:32 +0000411 const CGIOperandList::ConstraintInfo &Constraint =
Chris Lattnera9dfb1b2010-02-10 01:45:28 +0000412 OperandList[operandIndex].Constraints[0];
413 if (Constraint.isTied()) {
Craig Topperf7755df2012-07-12 06:52:41 +0000414 operandMapping[operandIndex] = operandIndex;
415 operandMapping[Constraint.getTiedOperand()] = operandIndex;
Sean Callanan04cc3072009-12-19 02:59:52 +0000416 } else {
417 ++numPhysicalOperands;
418 operandMapping[operandIndex] = operandIndex;
419 }
420 } else {
421 ++numPhysicalOperands;
422 operandMapping[operandIndex] = operandIndex;
423 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000424 }
Craig Topperac172e22012-07-30 04:48:12 +0000425
Sean Callanan04cc3072009-12-19 02:59:52 +0000426#define HANDLE_OPERAND(class) \
427 handleOperand(false, \
428 operandIndex, \
429 physicalOperandIndex, \
430 numPhysicalOperands, \
431 operandMapping, \
432 class##EncodingFromString);
Craig Topperac172e22012-07-30 04:48:12 +0000433
Sean Callanan04cc3072009-12-19 02:59:52 +0000434#define HANDLE_OPTIONAL(class) \
435 handleOperand(true, \
436 operandIndex, \
437 physicalOperandIndex, \
438 numPhysicalOperands, \
439 operandMapping, \
440 class##EncodingFromString);
Craig Topperac172e22012-07-30 04:48:12 +0000441
Sean Callanan04cc3072009-12-19 02:59:52 +0000442 // operandIndex should always be < numOperands
Craig Topperf7755df2012-07-12 06:52:41 +0000443 unsigned operandIndex = 0;
Sean Callanan04cc3072009-12-19 02:59:52 +0000444 // physicalOperandIndex should always be < numPhysicalOperands
445 unsigned physicalOperandIndex = 0;
Craig Topperac172e22012-07-30 04:48:12 +0000446
Craig Topper802e2e72016-02-18 04:54:32 +0000447#ifndef NDEBUG
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000448 // Given the set of prefix bits, how many additional operands does the
449 // instruction have?
450 unsigned additionalOperands = 0;
Craig Topper5f8419d2016-08-22 07:38:50 +0000451 if (HasVEX_4V)
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000452 ++additionalOperands;
453 if (HasEVEX_K)
454 ++additionalOperands;
Craig Topper802e2e72016-02-18 04:54:32 +0000455#endif
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000456
Sean Callanan04cc3072009-12-19 02:59:52 +0000457 switch (Form) {
Craig Topper35da3d12014-01-16 07:36:58 +0000458 default: llvm_unreachable("Unhandled form");
David Woodhouse2ef8d9c2014-01-22 15:08:08 +0000459 case X86Local::RawFrmSrc:
460 HANDLE_OPERAND(relocation);
461 return;
David Woodhouseb33c2ef2014-01-22 15:08:21 +0000462 case X86Local::RawFrmDst:
463 HANDLE_OPERAND(relocation);
464 return;
David Woodhouse9bbf7ca2014-01-22 15:08:36 +0000465 case X86Local::RawFrmDstSrc:
466 HANDLE_OPERAND(relocation);
467 HANDLE_OPERAND(relocation);
468 return;
Sean Callanan04cc3072009-12-19 02:59:52 +0000469 case X86Local::RawFrm:
470 // Operand 1 (optional) is an address or immediate.
Craig Topper8a01c412016-02-18 04:54:29 +0000471 assert(numPhysicalOperands <= 1 &&
Sean Callanan04cc3072009-12-19 02:59:52 +0000472 "Unexpected number of operands for RawFrm");
473 HANDLE_OPTIONAL(relocation)
Sean Callanan04cc3072009-12-19 02:59:52 +0000474 break;
Craig Topper35da3d12014-01-16 07:36:58 +0000475 case X86Local::RawFrmMemOffs:
476 // Operand 1 is an address.
477 HANDLE_OPERAND(relocation);
478 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000479 case X86Local::AddRegFrm:
480 // Operand 1 is added to the opcode.
481 // Operand 2 (optional) is an address.
482 assert(numPhysicalOperands >= 1 && numPhysicalOperands <= 2 &&
483 "Unexpected number of operands for AddRegFrm");
484 HANDLE_OPERAND(opcodeModifier)
485 HANDLE_OPTIONAL(relocation)
486 break;
487 case X86Local::MRMDestReg:
488 // Operand 1 is a register operand in the R/M field.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000489 // - In AVX512 there may be a mask operand here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000490 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper4f2fba12011-08-30 07:09:35 +0000491 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000492 // Operand 3 (optional) is an immediate.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000493 assert(numPhysicalOperands >= 2 + additionalOperands &&
494 numPhysicalOperands <= 3 + additionalOperands &&
495 "Unexpected number of operands for MRMDestRegFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000496
Sean Callanan04cc3072009-12-19 02:59:52 +0000497 HANDLE_OPERAND(rmRegister)
Adam Nemet5068d0f2014-10-08 23:25:29 +0000498 if (HasEVEX_K)
499 HANDLE_OPERAND(writemaskRegister)
Craig Topper4f2fba12011-08-30 07:09:35 +0000500
Craig Topperd402df32014-02-02 07:08:01 +0000501 if (HasVEX_4V)
Craig Topper4f2fba12011-08-30 07:09:35 +0000502 // FIXME: In AVX, the register below becomes the one encoded
503 // in ModRMVEX and the one above the one in the VEX.VVVV field
504 HANDLE_OPERAND(vvvvRegister)
Craig Topperac172e22012-07-30 04:48:12 +0000505
Sean Callanan04cc3072009-12-19 02:59:52 +0000506 HANDLE_OPERAND(roRegister)
507 HANDLE_OPTIONAL(immediate)
508 break;
509 case X86Local::MRMDestMem:
510 // Operand 1 is a memory operand (possibly SIB-extended)
511 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper4f2fba12011-08-30 07:09:35 +0000512 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000513 // Operand 3 (optional) is an immediate.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000514 assert(numPhysicalOperands >= 2 + additionalOperands &&
515 numPhysicalOperands <= 3 + additionalOperands &&
516 "Unexpected number of operands for MRMDestMemFrm with VEX_4V");
517
Sean Callanan04cc3072009-12-19 02:59:52 +0000518 HANDLE_OPERAND(memory)
Craig Topper4f2fba12011-08-30 07:09:35 +0000519
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000520 if (HasEVEX_K)
521 HANDLE_OPERAND(writemaskRegister)
522
Craig Topperd402df32014-02-02 07:08:01 +0000523 if (HasVEX_4V)
Craig Topper4f2fba12011-08-30 07:09:35 +0000524 // FIXME: In AVX, the register below becomes the one encoded
525 // in ModRMVEX and the one above the one in the VEX.VVVV field
526 HANDLE_OPERAND(vvvvRegister)
Craig Topperac172e22012-07-30 04:48:12 +0000527
Sean Callanan04cc3072009-12-19 02:59:52 +0000528 HANDLE_OPERAND(roRegister)
529 HANDLE_OPTIONAL(immediate)
530 break;
531 case X86Local::MRMSrcReg:
532 // Operand 1 is a register operand in the Reg/Opcode field.
533 // Operand 2 is a register operand in the R/M field.
Sean Callananc3fd5232011-03-15 01:23:15 +0000534 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000535 // Operand 3 (optional) is an immediate.
Benjamin Krameref479ea2012-05-29 19:05:25 +0000536 // Operand 4 (optional) is an immediate.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000537
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000538 assert(numPhysicalOperands >= 2 + additionalOperands &&
539 numPhysicalOperands <= 4 + additionalOperands &&
540 "Unexpected number of operands for MRMSrcRegFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000541
Sean Callananc3fd5232011-03-15 01:23:15 +0000542 HANDLE_OPERAND(roRegister)
Craig Topper25ea4e52011-10-16 03:51:13 +0000543
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000544 if (HasEVEX_K)
545 HANDLE_OPERAND(writemaskRegister)
546
Craig Topperd402df32014-02-02 07:08:01 +0000547 if (HasVEX_4V)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000548 // FIXME: In AVX, the register below becomes the one encoded
549 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callananc3fd5232011-03-15 01:23:15 +0000550 HANDLE_OPERAND(vvvvRegister)
Craig Topper25ea4e52011-10-16 03:51:13 +0000551
Sean Callananc3fd5232011-03-15 01:23:15 +0000552 HANDLE_OPERAND(rmRegister)
Craig Topper9b20fec2016-08-22 07:38:45 +0000553 HANDLE_OPTIONAL(immediate)
Craig Topper2ba766a2011-12-30 06:23:39 +0000554 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Benjamin Krameref479ea2012-05-29 19:05:25 +0000555 HANDLE_OPTIONAL(immediate)
Sean Callanan04cc3072009-12-19 02:59:52 +0000556 break;
Craig Topper5f8419d2016-08-22 07:38:50 +0000557 case X86Local::MRMSrcReg4VOp3:
558 assert(numPhysicalOperands == 3 &&
Simon Pilgrim684372d2017-04-27 14:25:04 +0000559 "Unexpected number of operands for MRMSrcReg4VOp3Frm");
Craig Topper5f8419d2016-08-22 07:38:50 +0000560 HANDLE_OPERAND(roRegister)
561 HANDLE_OPERAND(rmRegister)
562 HANDLE_OPERAND(vvvvRegister)
563 break;
Craig Topper9b20fec2016-08-22 07:38:45 +0000564 case X86Local::MRMSrcRegOp4:
565 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
566 "Unexpected number of operands for MRMSrcRegOp4Frm");
567 HANDLE_OPERAND(roRegister)
568 HANDLE_OPERAND(vvvvRegister)
569 HANDLE_OPERAND(immediate) // Register in imm[7:4]
570 HANDLE_OPERAND(rmRegister)
571 HANDLE_OPTIONAL(immediate)
572 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000573 case X86Local::MRMSrcMem:
574 // Operand 1 is a register operand in the Reg/Opcode field.
575 // Operand 2 is a memory operand (possibly SIB-extended)
Sean Callananc3fd5232011-03-15 01:23:15 +0000576 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000577 // Operand 3 (optional) is an immediate.
Craig Topperaea148c2011-10-16 07:55:05 +0000578
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000579 assert(numPhysicalOperands >= 2 + additionalOperands &&
580 numPhysicalOperands <= 4 + additionalOperands &&
581 "Unexpected number of operands for MRMSrcMemFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000582
Sean Callanan04cc3072009-12-19 02:59:52 +0000583 HANDLE_OPERAND(roRegister)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000584
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000585 if (HasEVEX_K)
586 HANDLE_OPERAND(writemaskRegister)
587
Craig Topperd402df32014-02-02 07:08:01 +0000588 if (HasVEX_4V)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000589 // FIXME: In AVX, the register below becomes the one encoded
590 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callananc3fd5232011-03-15 01:23:15 +0000591 HANDLE_OPERAND(vvvvRegister)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000592
Sean Callanan04cc3072009-12-19 02:59:52 +0000593 HANDLE_OPERAND(memory)
Craig Topper9b20fec2016-08-22 07:38:45 +0000594 HANDLE_OPTIONAL(immediate)
Craig Topper2ba766a2011-12-30 06:23:39 +0000595 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Sean Callanan04cc3072009-12-19 02:59:52 +0000596 break;
Craig Topper5f8419d2016-08-22 07:38:50 +0000597 case X86Local::MRMSrcMem4VOp3:
598 assert(numPhysicalOperands == 3 &&
Simon Pilgrim684372d2017-04-27 14:25:04 +0000599 "Unexpected number of operands for MRMSrcMem4VOp3Frm");
Craig Topper5f8419d2016-08-22 07:38:50 +0000600 HANDLE_OPERAND(roRegister)
601 HANDLE_OPERAND(memory)
602 HANDLE_OPERAND(vvvvRegister)
603 break;
Craig Topper9b20fec2016-08-22 07:38:45 +0000604 case X86Local::MRMSrcMemOp4:
605 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
606 "Unexpected number of operands for MRMSrcMemOp4Frm");
607 HANDLE_OPERAND(roRegister)
608 HANDLE_OPERAND(vvvvRegister)
609 HANDLE_OPERAND(immediate) // Register in imm[7:4]
610 HANDLE_OPERAND(memory)
611 HANDLE_OPTIONAL(immediate)
612 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000613 case X86Local::MRMXr:
Sean Callanan04cc3072009-12-19 02:59:52 +0000614 case X86Local::MRM0r:
615 case X86Local::MRM1r:
616 case X86Local::MRM2r:
617 case X86Local::MRM3r:
618 case X86Local::MRM4r:
619 case X86Local::MRM5r:
620 case X86Local::MRM6r:
621 case X86Local::MRM7r:
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000622 // Operand 1 is a register operand in the R/M field.
623 // Operand 2 (optional) is an immediate or relocation.
624 // Operand 3 (optional) is an immediate.
625 assert(numPhysicalOperands >= 0 + additionalOperands &&
626 numPhysicalOperands <= 3 + additionalOperands &&
627 "Unexpected number of operands for MRMnr");
628
Craig Topperd402df32014-02-02 07:08:01 +0000629 if (HasVEX_4V)
Craig Topper27ad1252011-10-15 20:46:47 +0000630 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000631
632 if (HasEVEX_K)
633 HANDLE_OPERAND(writemaskRegister)
Sean Callanan04cc3072009-12-19 02:59:52 +0000634 HANDLE_OPTIONAL(rmRegister)
635 HANDLE_OPTIONAL(relocation)
Benjamin Krameref479ea2012-05-29 19:05:25 +0000636 HANDLE_OPTIONAL(immediate)
Sean Callanan04cc3072009-12-19 02:59:52 +0000637 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000638 case X86Local::MRMXm:
Sean Callanan04cc3072009-12-19 02:59:52 +0000639 case X86Local::MRM0m:
640 case X86Local::MRM1m:
641 case X86Local::MRM2m:
642 case X86Local::MRM3m:
643 case X86Local::MRM4m:
644 case X86Local::MRM5m:
645 case X86Local::MRM6m:
646 case X86Local::MRM7m:
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000647 // Operand 1 is a memory operand (possibly SIB-extended)
648 // Operand 2 (optional) is an immediate or relocation.
649 assert(numPhysicalOperands >= 1 + additionalOperands &&
650 numPhysicalOperands <= 2 + additionalOperands &&
651 "Unexpected number of operands for MRMnm");
652
Craig Topperd402df32014-02-02 07:08:01 +0000653 if (HasVEX_4V)
Craig Topper27ad1252011-10-15 20:46:47 +0000654 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000655 if (HasEVEX_K)
656 HANDLE_OPERAND(writemaskRegister)
Sean Callanan04cc3072009-12-19 02:59:52 +0000657 HANDLE_OPERAND(memory)
658 HANDLE_OPTIONAL(relocation)
659 break;
Sean Callanan8d302b22010-10-04 22:45:51 +0000660 case X86Local::RawFrmImm8:
661 // operand 1 is a 16-bit immediate
662 // operand 2 is an 8-bit immediate
663 assert(numPhysicalOperands == 2 &&
664 "Unexpected number of operands for X86Local::RawFrmImm8");
665 HANDLE_OPERAND(immediate)
666 HANDLE_OPERAND(immediate)
667 break;
668 case X86Local::RawFrmImm16:
669 // operand 1 is a 16-bit immediate
670 // operand 2 is a 16-bit immediate
671 HANDLE_OPERAND(immediate)
672 HANDLE_OPERAND(immediate)
673 break;
Craig Toppera51ec942018-03-24 07:15:46 +0000674#define MAP(from, to) case X86Local::MRM_##from:
675 X86_INSTR_MRM_MAPPING
676#undef MAP
Craig Topperbca036b2018-03-12 17:24:50 +0000677 HANDLE_OPTIONAL(relocation)
Sean Callanan04cc3072009-12-19 02:59:52 +0000678 break;
679 }
Craig Topperac172e22012-07-30 04:48:12 +0000680
Craig Toppera51ec942018-03-24 07:15:46 +0000681#undef HANDLE_OPERAND
682#undef HANDLE_OPTIONAL
Sean Callanan04cc3072009-12-19 02:59:52 +0000683}
684
685void RecognizableInstr::emitDecodePath(DisassemblerTables &tables) const {
686 // Special cases where the LLVM tables are not complete
687
Sean Callanandde9c122010-02-12 23:39:46 +0000688#define MAP(from, to) \
Craig Toppera3776de2015-02-15 04:16:44 +0000689 case X86Local::MRM_##from:
Sean Callanan04cc3072009-12-19 02:59:52 +0000690
Richard Smith8a3adc32017-12-08 22:32:35 +0000691 llvm::Optional<OpcodeType> opcodeType;
Craig Topper10243c82014-01-31 08:47:06 +0000692 switch (OpMap) {
693 default: llvm_unreachable("Invalid map!");
Craig Topper097b47a2018-03-24 07:48:54 +0000694 case X86Local::OB: opcodeType = ONEBYTE; break;
695 case X86Local::TB: opcodeType = TWOBYTE; break;
696 case X86Local::T8: opcodeType = THREEBYTE_38; break;
697 case X86Local::TA: opcodeType = THREEBYTE_3A; break;
698 case X86Local::XOP8: opcodeType = XOP8_MAP; break;
699 case X86Local::XOP9: opcodeType = XOP9_MAP; break;
700 case X86Local::XOPA: opcodeType = XOPA_MAP; break;
701 case X86Local::ThreeDNow: opcodeType = THREEDNOW_MAP; break;
Craig Topper0bafe232018-03-24 07:15:45 +0000702 }
Craig Toppera0869dc2014-02-10 06:55:41 +0000703
Craig Topperc0e18802018-03-24 07:15:47 +0000704 std::unique_ptr<ModRMFilter> filter;
Craig Topper0bafe232018-03-24 07:15:45 +0000705 switch (Form) {
706 default: llvm_unreachable("Invalid form!");
707 case X86Local::Pseudo: llvm_unreachable("Pseudo should not be emitted!");
708 case X86Local::RawFrm:
709 case X86Local::AddRegFrm:
710 case X86Local::RawFrmMemOffs:
711 case X86Local::RawFrmSrc:
712 case X86Local::RawFrmDst:
713 case X86Local::RawFrmDstSrc:
714 case X86Local::RawFrmImm8:
715 case X86Local::RawFrmImm16:
Craig Topperc0e18802018-03-24 07:15:47 +0000716 filter = llvm::make_unique<DumbFilter>();
Craig Topper9e3e38a2013-10-03 05:17:48 +0000717 break;
Craig Topper0bafe232018-03-24 07:15:45 +0000718 case X86Local::MRMDestReg:
719 case X86Local::MRMSrcReg:
720 case X86Local::MRMSrcReg4VOp3:
721 case X86Local::MRMSrcRegOp4:
722 case X86Local::MRMXr:
Craig Topperc0e18802018-03-24 07:15:47 +0000723 filter = llvm::make_unique<ModFilter>(true);
Craig Topper0bafe232018-03-24 07:15:45 +0000724 break;
725 case X86Local::MRMDestMem:
726 case X86Local::MRMSrcMem:
727 case X86Local::MRMSrcMem4VOp3:
728 case X86Local::MRMSrcMemOp4:
729 case X86Local::MRMXm:
Craig Topperc0e18802018-03-24 07:15:47 +0000730 filter = llvm::make_unique<ModFilter>(false);
Craig Topper0bafe232018-03-24 07:15:45 +0000731 break;
732 case X86Local::MRM0r: case X86Local::MRM1r:
733 case X86Local::MRM2r: case X86Local::MRM3r:
734 case X86Local::MRM4r: case X86Local::MRM5r:
735 case X86Local::MRM6r: case X86Local::MRM7r:
Craig Topperc0e18802018-03-24 07:15:47 +0000736 filter = llvm::make_unique<ExtendedFilter>(true, Form - X86Local::MRM0r);
Craig Topper0bafe232018-03-24 07:15:45 +0000737 break;
738 case X86Local::MRM0m: case X86Local::MRM1m:
739 case X86Local::MRM2m: case X86Local::MRM3m:
740 case X86Local::MRM4m: case X86Local::MRM5m:
741 case X86Local::MRM6m: case X86Local::MRM7m:
Craig Topperc0e18802018-03-24 07:15:47 +0000742 filter = llvm::make_unique<ExtendedFilter>(false, Form - X86Local::MRM0m);
Craig Topper0bafe232018-03-24 07:15:45 +0000743 break;
744 X86_INSTR_MRM_MAPPING
Craig Topperc0e18802018-03-24 07:15:47 +0000745 filter = llvm::make_unique<ExactFilter>(0xC0 + Form - X86Local::MRM_C0);
Craig Topper0bafe232018-03-24 07:15:45 +0000746 break;
747 } // switch (Form)
748
749 uint8_t opcodeToSet = Opcode;
Sean Callanan04cc3072009-12-19 02:59:52 +0000750
Craig Topper055845f2015-01-02 07:02:25 +0000751 unsigned AddressSize = 0;
752 switch (AdSize) {
753 case X86Local::AdSize16: AddressSize = 16; break;
754 case X86Local::AdSize32: AddressSize = 32; break;
755 case X86Local::AdSize64: AddressSize = 64; break;
756 }
757
Richard Smith8a3adc32017-12-08 22:32:35 +0000758 assert(opcodeType && "Opcode type not set");
Sean Callanan04cc3072009-12-19 02:59:52 +0000759 assert(filter && "Filter not set");
760
761 if (Form == X86Local::AddRegFrm) {
Craig Topper91551182014-01-01 15:29:32 +0000762 assert(((opcodeToSet & 7) == 0) &&
763 "ADDREG_FRM opcode not aligned");
Craig Topperac172e22012-07-30 04:48:12 +0000764
Craig Topper623b0d62014-01-01 14:22:37 +0000765 uint8_t currentOpcode;
Sean Callanan04cc3072009-12-19 02:59:52 +0000766
Craig Topper623b0d62014-01-01 14:22:37 +0000767 for (currentOpcode = opcodeToSet;
768 currentOpcode < opcodeToSet + 8;
769 ++currentOpcode)
Richard Smith8a3adc32017-12-08 22:32:35 +0000770 tables.setTableFields(*opcodeType, insnContext(), currentOpcode, *filter,
Craig Toppere06cc6d2017-10-23 16:49:26 +0000771 UID, Is32Bit, OpPrefix == 0,
772 IgnoresVEX_L || EncodeRC,
Craig Toppere9751272017-10-22 06:18:26 +0000773 VEX_WPrefix == X86Local::VEX_WIG, AddressSize);
Sean Callanan04cc3072009-12-19 02:59:52 +0000774 } else {
Richard Smith8a3adc32017-12-08 22:32:35 +0000775 tables.setTableFields(*opcodeType, insnContext(), opcodeToSet, *filter, UID,
Craig Toppere06cc6d2017-10-23 16:49:26 +0000776 Is32Bit, OpPrefix == 0, IgnoresVEX_L || EncodeRC,
Craig Toppere9751272017-10-22 06:18:26 +0000777 VEX_WPrefix == X86Local::VEX_WIG, AddressSize);
Sean Callanan04cc3072009-12-19 02:59:52 +0000778 }
Craig Topperac172e22012-07-30 04:48:12 +0000779
Sean Callanandde9c122010-02-12 23:39:46 +0000780#undef MAP
Sean Callanan04cc3072009-12-19 02:59:52 +0000781}
782
783#define TYPE(str, type) if (s == str) return type;
784OperandType RecognizableInstr::typeFromString(const std::string &s,
Sean Callanan04cc3072009-12-19 02:59:52 +0000785 bool hasREX_WPrefix,
Craig Topperfa6298a2014-02-02 09:25:09 +0000786 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000787 if(hasREX_WPrefix) {
788 // For instructions with a REX_W prefix, a declared 32-bit register encoding
789 // is special.
790 TYPE("GR32", TYPE_R32)
791 }
Craig Topperfa6298a2014-02-02 09:25:09 +0000792 if(OpSize == X86Local::OpSize16) {
793 // For OpSize16 instructions, a declared 16-bit register or
Sean Callanan04cc3072009-12-19 02:59:52 +0000794 // immediate encoding is special.
Craig Topperb7c7f382014-01-15 05:02:02 +0000795 TYPE("GR16", TYPE_Rv)
Craig Topperfa6298a2014-02-02 09:25:09 +0000796 } else if(OpSize == X86Local::OpSize32) {
797 // For OpSize32 instructions, a declared 32-bit register or
Craig Topperb7c7f382014-01-15 05:02:02 +0000798 // immediate encoding is special.
799 TYPE("GR32", TYPE_Rv)
Sean Callanan04cc3072009-12-19 02:59:52 +0000800 }
Craig Topperad944a12017-01-16 06:49:03 +0000801 TYPE("i16mem", TYPE_M)
802 TYPE("i16imm", TYPE_IMM)
803 TYPE("i16i8imm", TYPE_IMM)
Craig Topperb7c7f382014-01-15 05:02:02 +0000804 TYPE("GR16", TYPE_R16)
Craig Topperad944a12017-01-16 06:49:03 +0000805 TYPE("i32mem", TYPE_M)
806 TYPE("i32imm", TYPE_IMM)
807 TYPE("i32i8imm", TYPE_IMM)
Craig Topperb7c7f382014-01-15 05:02:02 +0000808 TYPE("GR32", TYPE_R32)
Craig Toppera422b092013-10-14 04:55:01 +0000809 TYPE("GR32orGR64", TYPE_R32)
Craig Topperad944a12017-01-16 06:49:03 +0000810 TYPE("i64mem", TYPE_M)
811 TYPE("i64i32imm", TYPE_IMM)
812 TYPE("i64i8imm", TYPE_IMM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000813 TYPE("GR64", TYPE_R64)
Craig Topperad944a12017-01-16 06:49:03 +0000814 TYPE("i8mem", TYPE_M)
815 TYPE("i8imm", TYPE_IMM)
Craig Topper620b50c2015-01-21 08:15:54 +0000816 TYPE("u8imm", TYPE_UIMM8)
Craig Topper53a84672015-01-25 02:21:16 +0000817 TYPE("i32u8imm", TYPE_UIMM8)
Sean Callanan04cc3072009-12-19 02:59:52 +0000818 TYPE("GR8", TYPE_R8)
Craig Topperad944a12017-01-16 06:49:03 +0000819 TYPE("VR128", TYPE_XMM)
820 TYPE("VR128X", TYPE_XMM)
821 TYPE("f128mem", TYPE_M)
822 TYPE("f256mem", TYPE_M)
823 TYPE("f512mem", TYPE_M)
824 TYPE("FR128", TYPE_XMM)
825 TYPE("FR64", TYPE_XMM)
826 TYPE("FR64X", TYPE_XMM)
827 TYPE("f64mem", TYPE_M)
828 TYPE("sdmem", TYPE_M)
829 TYPE("FR32", TYPE_XMM)
830 TYPE("FR32X", TYPE_XMM)
831 TYPE("f32mem", TYPE_M)
832 TYPE("ssmem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000833 TYPE("RST", TYPE_ST)
Craig Topperad944a12017-01-16 06:49:03 +0000834 TYPE("i128mem", TYPE_M)
835 TYPE("i256mem", TYPE_M)
836 TYPE("i512mem", TYPE_M)
Craig Topperfba613e2017-01-16 06:49:09 +0000837 TYPE("i64i32imm_pcrel", TYPE_REL)
838 TYPE("i16imm_pcrel", TYPE_REL)
839 TYPE("i32imm_pcrel", TYPE_REL)
Sean Callanan1efe6612010-04-07 21:42:19 +0000840 TYPE("SSECC", TYPE_IMM3)
Craig Topper916708f2015-02-13 07:42:25 +0000841 TYPE("XOPCC", TYPE_IMM3)
Craig Topper7629d632012-04-03 05:20:24 +0000842 TYPE("AVXCC", TYPE_IMM5)
Craig Topper7d3c6d32015-01-28 10:09:56 +0000843 TYPE("AVX512ICC", TYPE_AVX512ICC)
Craig Topperad944a12017-01-16 06:49:03 +0000844 TYPE("AVX512RC", TYPE_IMM)
Craig Topperfba613e2017-01-16 06:49:09 +0000845 TYPE("brtarget32", TYPE_REL)
846 TYPE("brtarget16", TYPE_REL)
847 TYPE("brtarget8", TYPE_REL)
Craig Topperad944a12017-01-16 06:49:03 +0000848 TYPE("f80mem", TYPE_M)
849 TYPE("lea64_32mem", TYPE_M)
850 TYPE("lea64mem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000851 TYPE("VR64", TYPE_MM64)
Craig Topperad944a12017-01-16 06:49:03 +0000852 TYPE("i64imm", TYPE_IMM)
Craig Topper7c102522015-01-08 07:41:30 +0000853 TYPE("anymem", TYPE_M)
Craig Topperad944a12017-01-16 06:49:03 +0000854 TYPE("opaque32mem", TYPE_M)
855 TYPE("opaque48mem", TYPE_M)
856 TYPE("opaque80mem", TYPE_M)
857 TYPE("opaque512mem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000858 TYPE("SEGMENT_REG", TYPE_SEGMENTREG)
859 TYPE("DEBUG_REG", TYPE_DEBUGREG)
Sean Callanane7e1cf92010-05-06 20:59:00 +0000860 TYPE("CONTROL_REG", TYPE_CONTROLREG)
Craig Topperad944a12017-01-16 06:49:03 +0000861 TYPE("srcidx8", TYPE_SRCIDX)
862 TYPE("srcidx16", TYPE_SRCIDX)
863 TYPE("srcidx32", TYPE_SRCIDX)
864 TYPE("srcidx64", TYPE_SRCIDX)
865 TYPE("dstidx8", TYPE_DSTIDX)
866 TYPE("dstidx16", TYPE_DSTIDX)
867 TYPE("dstidx32", TYPE_DSTIDX)
868 TYPE("dstidx64", TYPE_DSTIDX)
869 TYPE("offset16_8", TYPE_MOFFS)
870 TYPE("offset16_16", TYPE_MOFFS)
871 TYPE("offset16_32", TYPE_MOFFS)
872 TYPE("offset32_8", TYPE_MOFFS)
873 TYPE("offset32_16", TYPE_MOFFS)
874 TYPE("offset32_32", TYPE_MOFFS)
875 TYPE("offset32_64", TYPE_MOFFS)
876 TYPE("offset64_8", TYPE_MOFFS)
877 TYPE("offset64_16", TYPE_MOFFS)
878 TYPE("offset64_32", TYPE_MOFFS)
879 TYPE("offset64_64", TYPE_MOFFS)
880 TYPE("VR256", TYPE_YMM)
881 TYPE("VR256X", TYPE_YMM)
882 TYPE("VR512", TYPE_ZMM)
883 TYPE("VK1", TYPE_VK)
884 TYPE("VK1WM", TYPE_VK)
885 TYPE("VK2", TYPE_VK)
886 TYPE("VK2WM", TYPE_VK)
887 TYPE("VK4", TYPE_VK)
888 TYPE("VK4WM", TYPE_VK)
889 TYPE("VK8", TYPE_VK)
890 TYPE("VK8WM", TYPE_VK)
891 TYPE("VK16", TYPE_VK)
892 TYPE("VK16WM", TYPE_VK)
893 TYPE("VK32", TYPE_VK)
894 TYPE("VK32WM", TYPE_VK)
895 TYPE("VK64", TYPE_VK)
896 TYPE("VK64WM", TYPE_VK)
Craig Topperca2382d2017-10-21 20:03:20 +0000897 TYPE("vx64mem", TYPE_MVSIBX)
898 TYPE("vx128mem", TYPE_MVSIBX)
899 TYPE("vx256mem", TYPE_MVSIBX)
900 TYPE("vy128mem", TYPE_MVSIBY)
901 TYPE("vy256mem", TYPE_MVSIBY)
902 TYPE("vx64xmem", TYPE_MVSIBX)
903 TYPE("vx128xmem", TYPE_MVSIBX)
904 TYPE("vx256xmem", TYPE_MVSIBX)
905 TYPE("vy128xmem", TYPE_MVSIBY)
906 TYPE("vy256xmem", TYPE_MVSIBY)
907 TYPE("vy512mem", TYPE_MVSIBY)
908 TYPE("vz256xmem", TYPE_MVSIBZ)
909 TYPE("vz512mem", TYPE_MVSIBZ)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +0000910 TYPE("BNDR", TYPE_BNDR)
Sean Callanan04cc3072009-12-19 02:59:52 +0000911 errs() << "Unhandled type string " << s << "\n";
912 llvm_unreachable("Unhandled type string");
913}
914#undef TYPE
915
916#define ENCODING(str, encoding) if (s == str) return encoding;
Craig Topperfa6298a2014-02-02 09:25:09 +0000917OperandEncoding
918RecognizableInstr::immediateEncodingFromString(const std::string &s,
919 uint8_t OpSize) {
920 if(OpSize != X86Local::OpSize16) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000921 // For instructions without an OpSize prefix, a declared 16-bit register or
922 // immediate encoding is special.
923 ENCODING("i16imm", ENCODING_IW)
924 }
925 ENCODING("i32i8imm", ENCODING_IB)
926 ENCODING("SSECC", ENCODING_IB)
Craig Topper916708f2015-02-13 07:42:25 +0000927 ENCODING("XOPCC", ENCODING_IB)
Craig Topper7629d632012-04-03 05:20:24 +0000928 ENCODING("AVXCC", ENCODING_IB)
Craig Topper7d3c6d32015-01-28 10:09:56 +0000929 ENCODING("AVX512ICC", ENCODING_IB)
Craig Topper326008c2017-10-23 02:26:24 +0000930 ENCODING("AVX512RC", ENCODING_IRC)
Sean Callanan04cc3072009-12-19 02:59:52 +0000931 ENCODING("i16imm", ENCODING_Iv)
932 ENCODING("i16i8imm", ENCODING_IB)
933 ENCODING("i32imm", ENCODING_Iv)
934 ENCODING("i64i32imm", ENCODING_ID)
935 ENCODING("i64i8imm", ENCODING_IB)
936 ENCODING("i8imm", ENCODING_IB)
Craig Topper620b50c2015-01-21 08:15:54 +0000937 ENCODING("u8imm", ENCODING_IB)
Craig Topper53a84672015-01-25 02:21:16 +0000938 ENCODING("i32u8imm", ENCODING_IB)
Sean Callananc3fd5232011-03-15 01:23:15 +0000939 // This is not a typo. Instructions like BLENDVPD put
940 // register IDs in 8-bit immediates nowadays.
Craig Topperc30fdbc2012-08-31 15:40:30 +0000941 ENCODING("FR32", ENCODING_IB)
942 ENCODING("FR64", ENCODING_IB)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +0000943 ENCODING("FR128", ENCODING_IB)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000944 ENCODING("VR128", ENCODING_IB)
945 ENCODING("VR256", ENCODING_IB)
946 ENCODING("FR32X", ENCODING_IB)
947 ENCODING("FR64X", ENCODING_IB)
948 ENCODING("VR128X", ENCODING_IB)
949 ENCODING("VR256X", ENCODING_IB)
950 ENCODING("VR512", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +0000951 errs() << "Unhandled immediate encoding " << s << "\n";
952 llvm_unreachable("Unhandled immediate encoding");
953}
954
Craig Topperfa6298a2014-02-02 09:25:09 +0000955OperandEncoding
956RecognizableInstr::rmRegisterEncodingFromString(const std::string &s,
957 uint8_t OpSize) {
Craig Topper623b0d62014-01-01 14:22:37 +0000958 ENCODING("RST", ENCODING_FP)
Sean Callanan04cc3072009-12-19 02:59:52 +0000959 ENCODING("GR16", ENCODING_RM)
960 ENCODING("GR32", ENCODING_RM)
Craig Toppera422b092013-10-14 04:55:01 +0000961 ENCODING("GR32orGR64", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000962 ENCODING("GR64", ENCODING_RM)
963 ENCODING("GR8", ENCODING_RM)
964 ENCODING("VR128", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000965 ENCODING("VR128X", ENCODING_RM)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +0000966 ENCODING("FR128", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000967 ENCODING("FR64", ENCODING_RM)
968 ENCODING("FR32", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000969 ENCODING("FR64X", ENCODING_RM)
970 ENCODING("FR32X", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000971 ENCODING("VR64", ENCODING_RM)
Sean Callananc3fd5232011-03-15 01:23:15 +0000972 ENCODING("VR256", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000973 ENCODING("VR256X", ENCODING_RM)
974 ENCODING("VR512", ENCODING_RM)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +0000975 ENCODING("VK1", ENCODING_RM)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +0000976 ENCODING("VK2", ENCODING_RM)
977 ENCODING("VK4", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000978 ENCODING("VK8", ENCODING_RM)
979 ENCODING("VK16", ENCODING_RM)
Robert Khasanov74acbb72014-07-23 14:49:42 +0000980 ENCODING("VK32", ENCODING_RM)
981 ENCODING("VK64", ENCODING_RM)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +0000982 ENCODING("BNDR", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000983 errs() << "Unhandled R/M register encoding " << s << "\n";
984 llvm_unreachable("Unhandled R/M register encoding");
985}
986
Craig Topperfa6298a2014-02-02 09:25:09 +0000987OperandEncoding
988RecognizableInstr::roRegisterEncodingFromString(const std::string &s,
989 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000990 ENCODING("GR16", ENCODING_REG)
991 ENCODING("GR32", ENCODING_REG)
Craig Toppera422b092013-10-14 04:55:01 +0000992 ENCODING("GR32orGR64", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +0000993 ENCODING("GR64", ENCODING_REG)
994 ENCODING("GR8", ENCODING_REG)
995 ENCODING("VR128", ENCODING_REG)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +0000996 ENCODING("FR128", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +0000997 ENCODING("FR64", ENCODING_REG)
998 ENCODING("FR32", ENCODING_REG)
999 ENCODING("VR64", ENCODING_REG)
1000 ENCODING("SEGMENT_REG", ENCODING_REG)
1001 ENCODING("DEBUG_REG", ENCODING_REG)
Sean Callanane7e1cf92010-05-06 20:59:00 +00001002 ENCODING("CONTROL_REG", ENCODING_REG)
Sean Callananc3fd5232011-03-15 01:23:15 +00001003 ENCODING("VR256", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001004 ENCODING("VR256X", ENCODING_REG)
1005 ENCODING("VR128X", ENCODING_REG)
1006 ENCODING("FR64X", ENCODING_REG)
1007 ENCODING("FR32X", ENCODING_REG)
1008 ENCODING("VR512", ENCODING_REG)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001009 ENCODING("VK1", ENCODING_REG)
Robert Khasanov2ea081d2014-08-25 14:49:34 +00001010 ENCODING("VK2", ENCODING_REG)
1011 ENCODING("VK4", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001012 ENCODING("VK8", ENCODING_REG)
1013 ENCODING("VK16", ENCODING_REG)
Robert Khasanov74acbb72014-07-23 14:49:42 +00001014 ENCODING("VK32", ENCODING_REG)
1015 ENCODING("VK64", ENCODING_REG)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001016 ENCODING("VK1WM", ENCODING_REG)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001017 ENCODING("VK2WM", ENCODING_REG)
1018 ENCODING("VK4WM", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001019 ENCODING("VK8WM", ENCODING_REG)
1020 ENCODING("VK16WM", ENCODING_REG)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001021 ENCODING("VK32WM", ENCODING_REG)
1022 ENCODING("VK64WM", ENCODING_REG)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +00001023 ENCODING("BNDR", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001024 errs() << "Unhandled reg/opcode register encoding " << s << "\n";
1025 llvm_unreachable("Unhandled reg/opcode register encoding");
1026}
1027
Craig Topperfa6298a2014-02-02 09:25:09 +00001028OperandEncoding
1029RecognizableInstr::vvvvRegisterEncodingFromString(const std::string &s,
1030 uint8_t OpSize) {
Craig Topper965de2c2011-10-14 07:06:56 +00001031 ENCODING("GR32", ENCODING_VVVV)
1032 ENCODING("GR64", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001033 ENCODING("FR32", ENCODING_VVVV)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001034 ENCODING("FR128", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001035 ENCODING("FR64", ENCODING_VVVV)
1036 ENCODING("VR128", ENCODING_VVVV)
1037 ENCODING("VR256", ENCODING_VVVV)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001038 ENCODING("FR32X", ENCODING_VVVV)
1039 ENCODING("FR64X", ENCODING_VVVV)
1040 ENCODING("VR128X", ENCODING_VVVV)
1041 ENCODING("VR256X", ENCODING_VVVV)
1042 ENCODING("VR512", ENCODING_VVVV)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001043 ENCODING("VK1", ENCODING_VVVV)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001044 ENCODING("VK2", ENCODING_VVVV)
1045 ENCODING("VK4", ENCODING_VVVV)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001046 ENCODING("VK8", ENCODING_VVVV)
1047 ENCODING("VK16", ENCODING_VVVV)
Robert Khasanov595683d2014-07-28 13:46:45 +00001048 ENCODING("VK32", ENCODING_VVVV)
1049 ENCODING("VK64", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001050 errs() << "Unhandled VEX.vvvv register encoding " << s << "\n";
1051 llvm_unreachable("Unhandled VEX.vvvv register encoding");
1052}
1053
Craig Topperfa6298a2014-02-02 09:25:09 +00001054OperandEncoding
1055RecognizableInstr::writemaskRegisterEncodingFromString(const std::string &s,
1056 uint8_t OpSize) {
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001057 ENCODING("VK1WM", ENCODING_WRITEMASK)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001058 ENCODING("VK2WM", ENCODING_WRITEMASK)
1059 ENCODING("VK4WM", ENCODING_WRITEMASK)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001060 ENCODING("VK8WM", ENCODING_WRITEMASK)
1061 ENCODING("VK16WM", ENCODING_WRITEMASK)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001062 ENCODING("VK32WM", ENCODING_WRITEMASK)
1063 ENCODING("VK64WM", ENCODING_WRITEMASK)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001064 errs() << "Unhandled mask register encoding " << s << "\n";
1065 llvm_unreachable("Unhandled mask register encoding");
1066}
1067
Craig Topperfa6298a2014-02-02 09:25:09 +00001068OperandEncoding
1069RecognizableInstr::memoryEncodingFromString(const std::string &s,
1070 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001071 ENCODING("i16mem", ENCODING_RM)
1072 ENCODING("i32mem", ENCODING_RM)
1073 ENCODING("i64mem", ENCODING_RM)
1074 ENCODING("i8mem", ENCODING_RM)
Chris Lattnerf60062f2010-09-29 02:57:56 +00001075 ENCODING("ssmem", ENCODING_RM)
1076 ENCODING("sdmem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001077 ENCODING("f128mem", ENCODING_RM)
Chris Lattnerf60062f2010-09-29 02:57:56 +00001078 ENCODING("f256mem", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001079 ENCODING("f512mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001080 ENCODING("f64mem", ENCODING_RM)
1081 ENCODING("f32mem", ENCODING_RM)
1082 ENCODING("i128mem", ENCODING_RM)
Sean Callananc3fd5232011-03-15 01:23:15 +00001083 ENCODING("i256mem", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001084 ENCODING("i512mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001085 ENCODING("f80mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001086 ENCODING("lea64_32mem", ENCODING_RM)
1087 ENCODING("lea64mem", ENCODING_RM)
Craig Topper7c102522015-01-08 07:41:30 +00001088 ENCODING("anymem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001089 ENCODING("opaque32mem", ENCODING_RM)
1090 ENCODING("opaque48mem", ENCODING_RM)
1091 ENCODING("opaque80mem", ENCODING_RM)
1092 ENCODING("opaque512mem", ENCODING_RM)
Craig Topper33ac0642017-01-16 05:44:25 +00001093 ENCODING("vx64mem", ENCODING_VSIB)
1094 ENCODING("vx128mem", ENCODING_VSIB)
1095 ENCODING("vx256mem", ENCODING_VSIB)
1096 ENCODING("vy128mem", ENCODING_VSIB)
1097 ENCODING("vy256mem", ENCODING_VSIB)
1098 ENCODING("vx64xmem", ENCODING_VSIB)
1099 ENCODING("vx128xmem", ENCODING_VSIB)
1100 ENCODING("vx256xmem", ENCODING_VSIB)
1101 ENCODING("vy128xmem", ENCODING_VSIB)
1102 ENCODING("vy256xmem", ENCODING_VSIB)
1103 ENCODING("vy512mem", ENCODING_VSIB)
1104 ENCODING("vz256xmem", ENCODING_VSIB)
1105 ENCODING("vz512mem", ENCODING_VSIB)
Sean Callanan04cc3072009-12-19 02:59:52 +00001106 errs() << "Unhandled memory encoding " << s << "\n";
1107 llvm_unreachable("Unhandled memory encoding");
1108}
1109
Craig Topperfa6298a2014-02-02 09:25:09 +00001110OperandEncoding
1111RecognizableInstr::relocationEncodingFromString(const std::string &s,
1112 uint8_t OpSize) {
1113 if(OpSize != X86Local::OpSize16) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001114 // For instructions without an OpSize prefix, a declared 16-bit register or
1115 // immediate encoding is special.
1116 ENCODING("i16imm", ENCODING_IW)
1117 }
1118 ENCODING("i16imm", ENCODING_Iv)
1119 ENCODING("i16i8imm", ENCODING_IB)
1120 ENCODING("i32imm", ENCODING_Iv)
1121 ENCODING("i32i8imm", ENCODING_IB)
1122 ENCODING("i64i32imm", ENCODING_ID)
1123 ENCODING("i64i8imm", ENCODING_IB)
1124 ENCODING("i8imm", ENCODING_IB)
Craig Topper620b50c2015-01-21 08:15:54 +00001125 ENCODING("u8imm", ENCODING_IB)
Craig Topper53a84672015-01-25 02:21:16 +00001126 ENCODING("i32u8imm", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +00001127 ENCODING("i64i32imm_pcrel", ENCODING_ID)
Chris Lattnerac588122010-07-07 22:27:31 +00001128 ENCODING("i16imm_pcrel", ENCODING_IW)
Sean Callanan04cc3072009-12-19 02:59:52 +00001129 ENCODING("i32imm_pcrel", ENCODING_ID)
Craig Topper63944542015-01-06 08:59:30 +00001130 ENCODING("brtarget32", ENCODING_Iv)
1131 ENCODING("brtarget16", ENCODING_Iv)
Sean Callanan04cc3072009-12-19 02:59:52 +00001132 ENCODING("brtarget8", ENCODING_IB)
1133 ENCODING("i64imm", ENCODING_IO)
Craig Topper055845f2015-01-02 07:02:25 +00001134 ENCODING("offset16_8", ENCODING_Ia)
1135 ENCODING("offset16_16", ENCODING_Ia)
1136 ENCODING("offset16_32", ENCODING_Ia)
1137 ENCODING("offset32_8", ENCODING_Ia)
1138 ENCODING("offset32_16", ENCODING_Ia)
1139 ENCODING("offset32_32", ENCODING_Ia)
Craig Topperae8e1b32015-01-03 00:00:20 +00001140 ENCODING("offset32_64", ENCODING_Ia)
Craig Topper055845f2015-01-02 07:02:25 +00001141 ENCODING("offset64_8", ENCODING_Ia)
1142 ENCODING("offset64_16", ENCODING_Ia)
1143 ENCODING("offset64_32", ENCODING_Ia)
1144 ENCODING("offset64_64", ENCODING_Ia)
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001145 ENCODING("srcidx8", ENCODING_SI)
1146 ENCODING("srcidx16", ENCODING_SI)
1147 ENCODING("srcidx32", ENCODING_SI)
1148 ENCODING("srcidx64", ENCODING_SI)
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001149 ENCODING("dstidx8", ENCODING_DI)
1150 ENCODING("dstidx16", ENCODING_DI)
1151 ENCODING("dstidx32", ENCODING_DI)
1152 ENCODING("dstidx64", ENCODING_DI)
Sean Callanan04cc3072009-12-19 02:59:52 +00001153 errs() << "Unhandled relocation encoding " << s << "\n";
1154 llvm_unreachable("Unhandled relocation encoding");
1155}
1156
Craig Topperfa6298a2014-02-02 09:25:09 +00001157OperandEncoding
1158RecognizableInstr::opcodeModifierEncodingFromString(const std::string &s,
1159 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001160 ENCODING("GR32", ENCODING_Rv)
1161 ENCODING("GR64", ENCODING_RO)
1162 ENCODING("GR16", ENCODING_Rv)
1163 ENCODING("GR8", ENCODING_RB)
1164 errs() << "Unhandled opcode modifier encoding " << s << "\n";
1165 llvm_unreachable("Unhandled opcode modifier encoding");
1166}
Daniel Dunbarf008ea52009-12-19 04:16:48 +00001167#undef ENCODING