blob: 463609edb73b339410f30c4a63f0bd99a850e248 [file] [log] [blame]
Sean Callanan8ed9f512009-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 Inoueb08063c2017-07-04 13:09:29 +000013// X86DisassemblerEmitter.h.
Sean Callanan8ed9f512009-12-19 02:59:52 +000014//
15//===----------------------------------------------------------------------===//
16
Sean Callanan8ed9f512009-12-19 02:59:52 +000017#include "X86RecognizableInstr.h"
Chandler Carruth4ffd89f2012-12-04 10:37:14 +000018#include "X86DisassemblerShared.h"
Sean Callanan8ed9f512009-12-19 02:59:52 +000019#include "X86ModRMFilters.h"
Sean Callanan8ed9f512009-12-19 02:59:52 +000020#include "llvm/Support/ErrorHandling.h"
Sean Callanan8ed9f512009-12-19 02:59:52 +000021#include <string>
22
23using namespace llvm;
Sean Callanan8ed9f512009-12-19 02:59:52 +000024using namespace X86Disassembler;
25
Sean Callanan8ed9f512009-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 Greene05bce0b2011-07-29 22:43:06 +000032static uint8_t byteFromBitsInit(BitsInit &init) {
Sean Callanan8ed9f512009-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 Topper9c72aec2018-04-03 05:10:12 +000043 if (cast<BitInit>(init.getBit(index))->getValue())
Sean Callanan8ed9f512009-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 Greene05bce0b2011-07-29 22:43:06 +000059 BitsInit* bits = rec->getValueAsBitsInit(name);
Sean Callanan8ed9f512009-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 Toppere6c97ff2012-07-30 04:48:12 +000071
Sean Callanan8ed9f512009-12-19 02:59:52 +000072 if (!Rec->isSubClassOf("X86Inst")) {
73 ShouldBeEmitted = false;
74 return;
75 }
Craig Toppere6c97ff2012-07-30 04:48:12 +000076
Craig Topperdf24b192014-02-26 06:01:21 +000077 OpPrefix = byteFromRec(Rec, "OpPrefixBits");
78 OpMap = byteFromRec(Rec, "OpMapBits");
Sean Callanan8ed9f512009-12-19 02:59:52 +000079 Opcode = byteFromRec(Rec, "Opcode");
80 Form = byteFromRec(Rec, "FormBits");
Craig Topperdf24b192014-02-26 06:01:21 +000081 Encoding = byteFromRec(Rec, "OpEncBits");
Craig Toppere6c97ff2012-07-30 04:48:12 +000082
Rafael Auler048f3922018-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 Auler048f3922018-02-15 21:20:31 +000093 IsCodeGenOnly = Rec->getValueAsBit("isCodeGenOnly");
94 ForceDisassemble = Rec->getValueAsBit("ForceDisassemble");
95 CD8_Scale = byteFromRec(Rec, "CD8_Scale");
Craig Toppere6c97ff2012-07-30 04:48:12 +000096
Sean Callanan8ed9f512009-12-19 02:59:52 +000097 Name = Rec->getName();
Craig Toppere6c97ff2012-07-30 04:48:12 +000098
Chris Lattnerc240bb02010-11-01 04:03:32 +000099 Operands = &insn.Operands.OperandList;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000100
Craig Topper8a312fb2012-09-19 06:37:45 +0000101 HasVEX_LPrefix = Rec->getValueAsBit("hasVEX_L");
Craig Topper17730842011-10-16 03:51:13 +0000102
Craig Topper0f7dce52017-10-23 02:26:24 +0000103 EncodeRC = HasEVEX_B &&
104 (Form == X86Local::MRMDestReg || Form == X86Local::MRMSrcReg);
105
Eli Friedman71052592011-07-16 02:41:28 +0000106 // Check for 64-bit inst which does not require REX
Craig Topper4da632e2011-09-23 06:57:25 +0000107 Is32Bit = false;
Eli Friedman71052592011-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 Christopher75a8b232013-12-20 02:04:49 +0000112 if (Predicates[i]->getName().find("Not64Bit") != Name.npos ||
113 Predicates[i]->getName().find("In32Bit") != Name.npos) {
Craig Topper4da632e2011-09-23 06:57:25 +0000114 Is32Bit = true;
115 break;
116 }
Eric Christopher75a8b232013-12-20 02:04:49 +0000117 if (Predicates[i]->getName().find("In64Bit") != Name.npos) {
Eli Friedman71052592011-07-16 02:41:28 +0000118 Is64Bit = true;
119 break;
120 }
121 }
Eli Friedman71052592011-07-16 02:41:28 +0000122
Craig Topper1ee7e392014-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 Callanan8ed9f512009-12-19 02:59:52 +0000134 ShouldBeEmitted = true;
135}
Craig Toppere6c97ff2012-07-30 04:48:12 +0000136
Sean Callanan8ed9f512009-12-19 02:59:52 +0000137void RecognizableInstr::processInstr(DisassemblerTables &tables,
Craig Topper5aba78b2012-07-12 06:52:41 +0000138 const CodeGenInstruction &insn,
139 InstrUID uid)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000140{
Daniel Dunbar40728862010-05-20 20:20:32 +0000141 // Ignore "asm parser only" instructions.
142 if (insn.TheDef->getValueAsBit("isAsmParserOnly"))
143 return;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000144
Sean Callanan8ed9f512009-12-19 02:59:52 +0000145 RecognizableInstr recogInstr(tables, insn, uid);
Craig Toppere6c97ff2012-07-30 04:48:12 +0000146
Craig Topper1ee7e392014-02-13 07:07:16 +0000147 if (recogInstr.shouldBeEmitted()) {
148 recogInstr.emitInstructionSpecifier();
Sean Callanan8ed9f512009-12-19 02:59:52 +0000149 recogInstr.emitDecodePath(tables);
Craig Topper1ee7e392014-02-13 07:07:16 +0000150 }
Sean Callanan8ed9f512009-12-19 02:59:52 +0000151}
152
Elena Demikhovsky633f98b2013-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 Demikhovskyc18f4ef2013-07-28 08:28:38 +0000157
Sean Callanan8ed9f512009-12-19 02:59:52 +0000158InstructionContext RecognizableInstr::insnContext() const {
159 InstructionContext insnContext;
160
Craig Topper1415ca12014-02-02 07:08:01 +0000161 if (Encoding == X86Local::EVEX) {
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000162 if (HasVEX_LPrefix && HasEVEX_L2Prefix) {
Craig Topperd953bcd2013-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 Demikhovskyc18f4ef2013-07-28 08:28:38 +0000165 }
166 // VEX_L & VEX_W
Craig Topper023b4072018-06-19 04:24:42 +0000167 if (!EncodeRC && HasVEX_LPrefix && (VEX_WPrefix == X86Local::VEX_W1 ||
168 VEX_WPrefix == X86Local::VEX_W1X)) {
Craig Topper3c53b6f2014-02-02 07:46:05 +0000169 if (OpPrefix == X86Local::PD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000170 insnContext = EVEX_KB(IC_EVEX_L_W_OPSIZE);
Craig Topperf0b161d2014-01-31 08:47:06 +0000171 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000172 insnContext = EVEX_KB(IC_EVEX_L_W_XS);
Craig Topperf0b161d2014-01-31 08:47:06 +0000173 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000174 insnContext = EVEX_KB(IC_EVEX_L_W_XD);
Craig Topper7d2bb382014-02-18 00:21:49 +0000175 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000176 insnContext = EVEX_KB(IC_EVEX_L_W);
Craig Topper7d2bb382014-02-18 00:21:49 +0000177 else {
178 errs() << "Instruction does not use a prefix: " << Name << "\n";
179 llvm_unreachable("Invalid prefix");
180 }
Craig Topper0f7dce52017-10-23 02:26:24 +0000181 } else if (!EncodeRC && HasVEX_LPrefix) {
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000182 // VEX_L
Craig Topper3c53b6f2014-02-02 07:46:05 +0000183 if (OpPrefix == X86Local::PD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000184 insnContext = EVEX_KB(IC_EVEX_L_OPSIZE);
Craig Topperf0b161d2014-01-31 08:47:06 +0000185 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000186 insnContext = EVEX_KB(IC_EVEX_L_XS);
Craig Topperf0b161d2014-01-31 08:47:06 +0000187 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000188 insnContext = EVEX_KB(IC_EVEX_L_XD);
Craig Topper7d2bb382014-02-18 00:21:49 +0000189 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000190 insnContext = EVEX_KB(IC_EVEX_L);
Craig Topper7d2bb382014-02-18 00:21:49 +0000191 else {
192 errs() << "Instruction does not use a prefix: " << Name << "\n";
193 llvm_unreachable("Invalid prefix");
194 }
Craig Topper0f7dce52017-10-23 02:26:24 +0000195 } else if (!EncodeRC && HasEVEX_L2Prefix &&
Craig Topper023b4072018-06-19 04:24:42 +0000196 (VEX_WPrefix == X86Local::VEX_W1 ||
197 VEX_WPrefix == X86Local::VEX_W1X)) {
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000198 // EVEX_L2 & VEX_W
Craig Topper3c53b6f2014-02-02 07:46:05 +0000199 if (OpPrefix == X86Local::PD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000200 insnContext = EVEX_KB(IC_EVEX_L2_W_OPSIZE);
Craig Topperf0b161d2014-01-31 08:47:06 +0000201 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000202 insnContext = EVEX_KB(IC_EVEX_L2_W_XS);
Craig Topperf0b161d2014-01-31 08:47:06 +0000203 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000204 insnContext = EVEX_KB(IC_EVEX_L2_W_XD);
Craig Topper7d2bb382014-02-18 00:21:49 +0000205 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000206 insnContext = EVEX_KB(IC_EVEX_L2_W);
Craig Topper7d2bb382014-02-18 00:21:49 +0000207 else {
208 errs() << "Instruction does not use a prefix: " << Name << "\n";
209 llvm_unreachable("Invalid prefix");
210 }
Craig Topper0f7dce52017-10-23 02:26:24 +0000211 } else if (!EncodeRC && HasEVEX_L2Prefix) {
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000212 // EVEX_L2
Craig Topper3c53b6f2014-02-02 07:46:05 +0000213 if (OpPrefix == X86Local::PD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000214 insnContext = EVEX_KB(IC_EVEX_L2_OPSIZE);
Craig Topperf0b161d2014-01-31 08:47:06 +0000215 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000216 insnContext = EVEX_KB(IC_EVEX_L2_XD);
Craig Topperf0b161d2014-01-31 08:47:06 +0000217 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000218 insnContext = EVEX_KB(IC_EVEX_L2_XS);
Craig Topper7d2bb382014-02-18 00:21:49 +0000219 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000220 insnContext = EVEX_KB(IC_EVEX_L2);
Craig Topper7d2bb382014-02-18 00:21:49 +0000221 else {
222 errs() << "Instruction does not use a prefix: " << Name << "\n";
223 llvm_unreachable("Invalid prefix");
224 }
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000225 }
Craig Topper023b4072018-06-19 04:24:42 +0000226 else if (VEX_WPrefix == X86Local::VEX_W1 ||
227 VEX_WPrefix == X86Local::VEX_W1X) {
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000228 // VEX_W
Craig Topper3c53b6f2014-02-02 07:46:05 +0000229 if (OpPrefix == X86Local::PD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000230 insnContext = EVEX_KB(IC_EVEX_W_OPSIZE);
Craig Topperf0b161d2014-01-31 08:47:06 +0000231 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000232 insnContext = EVEX_KB(IC_EVEX_W_XS);
Craig Topperf0b161d2014-01-31 08:47:06 +0000233 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000234 insnContext = EVEX_KB(IC_EVEX_W_XD);
Craig Topper7d2bb382014-02-18 00:21:49 +0000235 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000236 insnContext = EVEX_KB(IC_EVEX_W);
Craig Topper7d2bb382014-02-18 00:21:49 +0000237 else {
238 errs() << "Instruction does not use a prefix: " << Name << "\n";
239 llvm_unreachable("Invalid prefix");
240 }
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000241 }
242 // No L, no W
Craig Topper3c53b6f2014-02-02 07:46:05 +0000243 else if (OpPrefix == X86Local::PD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000244 insnContext = EVEX_KB(IC_EVEX_OPSIZE);
Craig Topperf0b161d2014-01-31 08:47:06 +0000245 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000246 insnContext = EVEX_KB(IC_EVEX_XD);
Craig Topperf0b161d2014-01-31 08:47:06 +0000247 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000248 insnContext = EVEX_KB(IC_EVEX_XS);
Craig Toppere02284b2018-04-03 06:37:01 +0000249 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000250 insnContext = EVEX_KB(IC_EVEX);
Craig Toppere02284b2018-04-03 06:37:01 +0000251 else {
252 errs() << "Instruction does not use a prefix: " << Name << "\n";
253 llvm_unreachable("Invalid prefix");
254 }
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000255 /// eof EVEX
Craig Topper1415ca12014-02-02 07:08:01 +0000256 } else if (Encoding == X86Local::VEX || Encoding == X86Local::XOP) {
Craig Topper023b4072018-06-19 04:24:42 +0000257 if (HasVEX_LPrefix && (VEX_WPrefix == X86Local::VEX_W1 ||
258 VEX_WPrefix == X86Local::VEX_W1X)) {
Craig Topper3c53b6f2014-02-02 07:46:05 +0000259 if (OpPrefix == X86Local::PD)
Craig Topperc8eb8802011-11-06 23:04:08 +0000260 insnContext = IC_VEX_L_W_OPSIZE;
Craig Topperf0b161d2014-01-31 08:47:06 +0000261 else if (OpPrefix == X86Local::XS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000262 insnContext = IC_VEX_L_W_XS;
Craig Topperf0b161d2014-01-31 08:47:06 +0000263 else if (OpPrefix == X86Local::XD)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000264 insnContext = IC_VEX_L_W_XD;
Craig Topper7d2bb382014-02-18 00:21:49 +0000265 else if (OpPrefix == X86Local::PS)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000266 insnContext = IC_VEX_L_W;
Craig Topper7d2bb382014-02-18 00:21:49 +0000267 else {
268 errs() << "Instruction does not use a prefix: " << Name << "\n";
269 llvm_unreachable("Invalid prefix");
270 }
Craig Topper3c53b6f2014-02-02 07:46:05 +0000271 } else if (OpPrefix == X86Local::PD && HasVEX_LPrefix)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000272 insnContext = IC_VEX_L_OPSIZE;
Craig Topper023b4072018-06-19 04:24:42 +0000273 else if (OpPrefix == X86Local::PD && (VEX_WPrefix == X86Local::VEX_W1 ||
274 VEX_WPrefix == X86Local::VEX_W1X))
Sean Callanana21e2ea2011-03-15 01:23:15 +0000275 insnContext = IC_VEX_W_OPSIZE;
Craig Topper3c53b6f2014-02-02 07:46:05 +0000276 else if (OpPrefix == X86Local::PD)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000277 insnContext = IC_VEX_OPSIZE;
Craig Topperf0b161d2014-01-31 08:47:06 +0000278 else if (HasVEX_LPrefix && OpPrefix == X86Local::XS)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000279 insnContext = IC_VEX_L_XS;
Craig Topperf0b161d2014-01-31 08:47:06 +0000280 else if (HasVEX_LPrefix && OpPrefix == X86Local::XD)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000281 insnContext = IC_VEX_L_XD;
Craig Topper023b4072018-06-19 04:24:42 +0000282 else if ((VEX_WPrefix == X86Local::VEX_W1 ||
283 VEX_WPrefix == X86Local::VEX_W1X) && OpPrefix == X86Local::XS)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000284 insnContext = IC_VEX_W_XS;
Craig Topper023b4072018-06-19 04:24:42 +0000285 else if ((VEX_WPrefix == X86Local::VEX_W1 ||
286 VEX_WPrefix == X86Local::VEX_W1X) && OpPrefix == X86Local::XD)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000287 insnContext = IC_VEX_W_XD;
Craig Topper023b4072018-06-19 04:24:42 +0000288 else if ((VEX_WPrefix == X86Local::VEX_W1 ||
289 VEX_WPrefix == X86Local::VEX_W1X) && OpPrefix == X86Local::PS)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000290 insnContext = IC_VEX_W;
Craig Topper7d2bb382014-02-18 00:21:49 +0000291 else if (HasVEX_LPrefix && OpPrefix == X86Local::PS)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000292 insnContext = IC_VEX_L;
Craig Topperf0b161d2014-01-31 08:47:06 +0000293 else if (OpPrefix == X86Local::XD)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000294 insnContext = IC_VEX_XD;
Craig Topperf0b161d2014-01-31 08:47:06 +0000295 else if (OpPrefix == X86Local::XS)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000296 insnContext = IC_VEX_XS;
Craig Topper7d2bb382014-02-18 00:21:49 +0000297 else if (OpPrefix == X86Local::PS)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000298 insnContext = IC_VEX;
Craig Topper7d2bb382014-02-18 00:21:49 +0000299 else {
300 errs() << "Instruction does not use a prefix: " << Name << "\n";
301 llvm_unreachable("Invalid prefix");
302 }
Craig Topper71fc42d2015-01-02 07:02:25 +0000303 } else if (Is64Bit || HasREX_WPrefix || AdSize == X86Local::AdSize64) {
Craig Topper6b6dfa52014-02-02 09:25:09 +0000304 if (HasREX_WPrefix && (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD))
Sean Callanan8ed9f512009-12-19 02:59:52 +0000305 insnContext = IC_64BIT_REXW_OPSIZE;
Craig Topper01c99892015-01-03 00:00:20 +0000306 else if (HasREX_WPrefix && AdSize == X86Local::AdSize32)
307 insnContext = IC_64BIT_REXW_ADSIZE;
Craig Topper6b6dfa52014-02-02 09:25:09 +0000308 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Toppere1b4a1a2011-10-01 19:54:56 +0000309 insnContext = IC_64BIT_XD_OPSIZE;
Craig Topper6b6dfa52014-02-02 09:25:09 +0000310 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Topper29480fd2011-10-11 04:34:23 +0000311 insnContext = IC_64BIT_XS_OPSIZE;
Gabor Buella03a7ebe2018-05-01 10:01:16 +0000312 else if (AdSize == X86Local::AdSize32 && OpPrefix == X86Local::PD)
313 insnContext = IC_64BIT_OPSIZE_ADSIZE;
Craig Topper51f423f2014-12-31 07:07:31 +0000314 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize32)
315 insnContext = IC_64BIT_OPSIZE_ADSIZE;
Craig Topper6b6dfa52014-02-02 09:25:09 +0000316 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000317 insnContext = IC_64BIT_OPSIZE;
Craig Topper3bc43972014-12-24 06:05:22 +0000318 else if (AdSize == X86Local::AdSize32)
Craig Topper930a1eb2012-02-27 01:54:29 +0000319 insnContext = IC_64BIT_ADSIZE;
Craig Topperf0b161d2014-01-31 08:47:06 +0000320 else if (HasREX_WPrefix && OpPrefix == X86Local::XS)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000321 insnContext = IC_64BIT_REXW_XS;
Craig Topperf0b161d2014-01-31 08:47:06 +0000322 else if (HasREX_WPrefix && OpPrefix == X86Local::XD)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000323 insnContext = IC_64BIT_REXW_XD;
Craig Topperf0b161d2014-01-31 08:47:06 +0000324 else if (OpPrefix == X86Local::XD)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000325 insnContext = IC_64BIT_XD;
Craig Topperf0b161d2014-01-31 08:47:06 +0000326 else if (OpPrefix == X86Local::XS)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000327 insnContext = IC_64BIT_XS;
328 else if (HasREX_WPrefix)
329 insnContext = IC_64BIT_REXW;
330 else
331 insnContext = IC_64BIT;
332 } else {
Craig Topper6b6dfa52014-02-02 09:25:09 +0000333 if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Toppere1b4a1a2011-10-01 19:54:56 +0000334 insnContext = IC_XD_OPSIZE;
Craig Topper6b6dfa52014-02-02 09:25:09 +0000335 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Topper29480fd2011-10-11 04:34:23 +0000336 insnContext = IC_XS_OPSIZE;
Craig Topperb3ec9a12018-04-05 18:20:14 +0000337 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XD)
338 insnContext = IC_XD_ADSIZE;
339 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XS)
340 insnContext = IC_XS_ADSIZE;
Gabor Buella03a7ebe2018-05-01 10:01:16 +0000341 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::PD)
342 insnContext = IC_OPSIZE_ADSIZE;
Craig Topper51f423f2014-12-31 07:07:31 +0000343 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize16)
344 insnContext = IC_OPSIZE_ADSIZE;
Craig Topper6b6dfa52014-02-02 09:25:09 +0000345 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000346 insnContext = IC_OPSIZE;
Craig Topper3bc43972014-12-24 06:05:22 +0000347 else if (AdSize == X86Local::AdSize16)
Craig Topper930a1eb2012-02-27 01:54:29 +0000348 insnContext = IC_ADSIZE;
Craig Topperf0b161d2014-01-31 08:47:06 +0000349 else if (OpPrefix == X86Local::XD)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000350 insnContext = IC_XD;
Craig Topper46aa7fb2014-02-20 07:59:43 +0000351 else if (OpPrefix == X86Local::XS)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000352 insnContext = IC_XS;
353 else
354 insnContext = IC;
355 }
356
357 return insnContext;
358}
Craig Toppere6c97ff2012-07-30 04:48:12 +0000359
Adam Nemet6ae29412014-07-17 17:04:56 +0000360void RecognizableInstr::adjustOperandEncoding(OperandEncoding &encoding) {
361 // The scaling factor for AVX512 compressed displacement encoding is an
362 // instruction attribute. Adjust the ModRM encoding type to include the
363 // scale for compressed displacement.
Craig Topper75deb642017-01-16 05:44:25 +0000364 if ((encoding != ENCODING_RM && encoding != ENCODING_VSIB) ||CD8_Scale == 0)
Adam Nemet6ae29412014-07-17 17:04:56 +0000365 return;
366 encoding = (OperandEncoding)(encoding + Log2_32(CD8_Scale));
Craig Topper75deb642017-01-16 05:44:25 +0000367 assert(((encoding >= ENCODING_RM && encoding <= ENCODING_RM_CD64) ||
368 (encoding >= ENCODING_VSIB && encoding <= ENCODING_VSIB_CD64)) &&
369 "Invalid CDisp scaling");
Adam Nemet6ae29412014-07-17 17:04:56 +0000370}
371
Craig Topper5aba78b2012-07-12 06:52:41 +0000372void RecognizableInstr::handleOperand(bool optional, unsigned &operandIndex,
373 unsigned &physicalOperandIndex,
Craig Topper69dced02016-02-16 04:24:56 +0000374 unsigned numPhysicalOperands,
Craig Topper5aba78b2012-07-12 06:52:41 +0000375 const unsigned *operandMapping,
376 OperandEncoding (*encodingFromString)
377 (const std::string&,
Craig Topper6b6dfa52014-02-02 09:25:09 +0000378 uint8_t OpSize)) {
Sean Callanan8ed9f512009-12-19 02:59:52 +0000379 if (optional) {
380 if (physicalOperandIndex >= numPhysicalOperands)
381 return;
382 } else {
383 assert(physicalOperandIndex < numPhysicalOperands);
384 }
Craig Toppere6c97ff2012-07-30 04:48:12 +0000385
Sean Callanan8ed9f512009-12-19 02:59:52 +0000386 while (operandMapping[operandIndex] != operandIndex) {
387 Spec->operands[operandIndex].encoding = ENCODING_DUP;
388 Spec->operands[operandIndex].type =
389 (OperandType)(TYPE_DUP0 + operandMapping[operandIndex]);
390 ++operandIndex;
391 }
Craig Toppere6c97ff2012-07-30 04:48:12 +0000392
Alexander Shaposhnikov18b16182017-07-05 20:14:54 +0000393 StringRef typeName = (*Operands)[operandIndex].Rec->getName();
Sean Callanana21e2ea2011-03-15 01:23:15 +0000394
Adam Nemet6ae29412014-07-17 17:04:56 +0000395 OperandEncoding encoding = encodingFromString(typeName, OpSize);
396 // Adjust the encoding type for an operand based on the instruction.
397 adjustOperandEncoding(encoding);
398 Spec->operands[operandIndex].encoding = encoding;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000399 Spec->operands[operandIndex].type = typeFromString(typeName,
Craig Topper6b6dfa52014-02-02 09:25:09 +0000400 HasREX_WPrefix, OpSize);
Craig Toppere6c97ff2012-07-30 04:48:12 +0000401
Sean Callanan8ed9f512009-12-19 02:59:52 +0000402 ++operandIndex;
403 ++physicalOperandIndex;
404}
405
Craig Toppere61c70a2014-01-02 03:58:45 +0000406void RecognizableInstr::emitInstructionSpecifier() {
Sean Callanan8ed9f512009-12-19 02:59:52 +0000407 Spec->name = Name;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000408
Sean Callanan8ed9f512009-12-19 02:59:52 +0000409 Spec->insnContext = insnContext();
Craig Toppere6c97ff2012-07-30 04:48:12 +0000410
Chris Lattnerc240bb02010-11-01 04:03:32 +0000411 const std::vector<CGIOperandList::OperandInfo> &OperandList = *Operands;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000412
Sean Callanan8ed9f512009-12-19 02:59:52 +0000413 unsigned numOperands = OperandList.size();
414 unsigned numPhysicalOperands = 0;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000415
Sean Callanan8ed9f512009-12-19 02:59:52 +0000416 // operandMapping maps from operands in OperandList to their originals.
417 // If operandMapping[i] != i, then the entry is a duplicate.
418 unsigned operandMapping[X86_MAX_OPERANDS];
Craig Topper06f554d2011-12-30 06:23:39 +0000419 assert(numOperands <= X86_MAX_OPERANDS && "X86_MAX_OPERANDS is not large enough");
Craig Toppere6c97ff2012-07-30 04:48:12 +0000420
Craig Topper5aba78b2012-07-12 06:52:41 +0000421 for (unsigned operandIndex = 0; operandIndex < numOperands; ++operandIndex) {
Alexander Kornienkob4c62672015-01-15 11:41:30 +0000422 if (!OperandList[operandIndex].Constraints.empty()) {
Chris Lattnerc240bb02010-11-01 04:03:32 +0000423 const CGIOperandList::ConstraintInfo &Constraint =
Chris Lattnera7d479c2010-02-10 01:45:28 +0000424 OperandList[operandIndex].Constraints[0];
425 if (Constraint.isTied()) {
Craig Topper5aba78b2012-07-12 06:52:41 +0000426 operandMapping[operandIndex] = operandIndex;
427 operandMapping[Constraint.getTiedOperand()] = operandIndex;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000428 } else {
429 ++numPhysicalOperands;
430 operandMapping[operandIndex] = operandIndex;
431 }
432 } else {
433 ++numPhysicalOperands;
434 operandMapping[operandIndex] = operandIndex;
435 }
Sean Callanan8ed9f512009-12-19 02:59:52 +0000436 }
Craig Toppere6c97ff2012-07-30 04:48:12 +0000437
Sean Callanan8ed9f512009-12-19 02:59:52 +0000438#define HANDLE_OPERAND(class) \
439 handleOperand(false, \
440 operandIndex, \
441 physicalOperandIndex, \
442 numPhysicalOperands, \
443 operandMapping, \
444 class##EncodingFromString);
Craig Toppere6c97ff2012-07-30 04:48:12 +0000445
Sean Callanan8ed9f512009-12-19 02:59:52 +0000446#define HANDLE_OPTIONAL(class) \
447 handleOperand(true, \
448 operandIndex, \
449 physicalOperandIndex, \
450 numPhysicalOperands, \
451 operandMapping, \
452 class##EncodingFromString);
Craig Toppere6c97ff2012-07-30 04:48:12 +0000453
Sean Callanan8ed9f512009-12-19 02:59:52 +0000454 // operandIndex should always be < numOperands
Craig Topper5aba78b2012-07-12 06:52:41 +0000455 unsigned operandIndex = 0;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000456 // physicalOperandIndex should always be < numPhysicalOperands
457 unsigned physicalOperandIndex = 0;
Craig Toppere6c97ff2012-07-30 04:48:12 +0000458
Craig Topper2082d392016-02-18 04:54:32 +0000459#ifndef NDEBUG
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000460 // Given the set of prefix bits, how many additional operands does the
461 // instruction have?
462 unsigned additionalOperands = 0;
Craig Topper08f89d52016-08-22 07:38:50 +0000463 if (HasVEX_4V)
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000464 ++additionalOperands;
465 if (HasEVEX_K)
466 ++additionalOperands;
Craig Topper2082d392016-02-18 04:54:32 +0000467#endif
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000468
Sean Callanan8ed9f512009-12-19 02:59:52 +0000469 switch (Form) {
Craig Topper85026d92014-01-16 07:36:58 +0000470 default: llvm_unreachable("Unhandled form");
David Woodhousedb9fa462014-01-22 15:08:08 +0000471 case X86Local::RawFrmSrc:
472 HANDLE_OPERAND(relocation);
473 return;
David Woodhouseccbfd5b2014-01-22 15:08:21 +0000474 case X86Local::RawFrmDst:
475 HANDLE_OPERAND(relocation);
476 return;
David Woodhouse674140f2014-01-22 15:08:36 +0000477 case X86Local::RawFrmDstSrc:
478 HANDLE_OPERAND(relocation);
479 HANDLE_OPERAND(relocation);
480 return;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000481 case X86Local::RawFrm:
482 // Operand 1 (optional) is an address or immediate.
Craig Toppera5754d72016-02-18 04:54:29 +0000483 assert(numPhysicalOperands <= 1 &&
Sean Callanan8ed9f512009-12-19 02:59:52 +0000484 "Unexpected number of operands for RawFrm");
485 HANDLE_OPTIONAL(relocation)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000486 break;
Craig Topper85026d92014-01-16 07:36:58 +0000487 case X86Local::RawFrmMemOffs:
488 // Operand 1 is an address.
489 HANDLE_OPERAND(relocation);
490 break;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000491 case X86Local::AddRegFrm:
492 // Operand 1 is added to the opcode.
493 // Operand 2 (optional) is an address.
494 assert(numPhysicalOperands >= 1 && numPhysicalOperands <= 2 &&
495 "Unexpected number of operands for AddRegFrm");
496 HANDLE_OPERAND(opcodeModifier)
497 HANDLE_OPTIONAL(relocation)
498 break;
499 case X86Local::MRMDestReg:
500 // Operand 1 is a register operand in the R/M field.
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000501 // - In AVX512 there may be a mask operand here -
Sean Callanan8ed9f512009-12-19 02:59:52 +0000502 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper3daa5c22011-08-30 07:09:35 +0000503 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan8ed9f512009-12-19 02:59:52 +0000504 // Operand 3 (optional) is an immediate.
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000505 assert(numPhysicalOperands >= 2 + additionalOperands &&
506 numPhysicalOperands <= 3 + additionalOperands &&
507 "Unexpected number of operands for MRMDestRegFrm");
Craig Toppere6c97ff2012-07-30 04:48:12 +0000508
Sean Callanan8ed9f512009-12-19 02:59:52 +0000509 HANDLE_OPERAND(rmRegister)
Adam Nemet74459cb2014-10-08 23:25:29 +0000510 if (HasEVEX_K)
511 HANDLE_OPERAND(writemaskRegister)
Craig Topper3daa5c22011-08-30 07:09:35 +0000512
Craig Topper1415ca12014-02-02 07:08:01 +0000513 if (HasVEX_4V)
Craig Topper3daa5c22011-08-30 07:09:35 +0000514 // FIXME: In AVX, the register below becomes the one encoded
515 // in ModRMVEX and the one above the one in the VEX.VVVV field
516 HANDLE_OPERAND(vvvvRegister)
Craig Toppere6c97ff2012-07-30 04:48:12 +0000517
Sean Callanan8ed9f512009-12-19 02:59:52 +0000518 HANDLE_OPERAND(roRegister)
519 HANDLE_OPTIONAL(immediate)
520 break;
521 case X86Local::MRMDestMem:
522 // Operand 1 is a memory operand (possibly SIB-extended)
523 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper3daa5c22011-08-30 07:09:35 +0000524 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan8ed9f512009-12-19 02:59:52 +0000525 // Operand 3 (optional) is an immediate.
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000526 assert(numPhysicalOperands >= 2 + additionalOperands &&
527 numPhysicalOperands <= 3 + additionalOperands &&
528 "Unexpected number of operands for MRMDestMemFrm with VEX_4V");
529
Sean Callanan8ed9f512009-12-19 02:59:52 +0000530 HANDLE_OPERAND(memory)
Craig Topper3daa5c22011-08-30 07:09:35 +0000531
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000532 if (HasEVEX_K)
533 HANDLE_OPERAND(writemaskRegister)
534
Craig Topper1415ca12014-02-02 07:08:01 +0000535 if (HasVEX_4V)
Craig Topper3daa5c22011-08-30 07:09:35 +0000536 // FIXME: In AVX, the register below becomes the one encoded
537 // in ModRMVEX and the one above the one in the VEX.VVVV field
538 HANDLE_OPERAND(vvvvRegister)
Craig Toppere6c97ff2012-07-30 04:48:12 +0000539
Sean Callanan8ed9f512009-12-19 02:59:52 +0000540 HANDLE_OPERAND(roRegister)
541 HANDLE_OPTIONAL(immediate)
542 break;
543 case X86Local::MRMSrcReg:
544 // Operand 1 is a register operand in the Reg/Opcode field.
545 // Operand 2 is a register operand in the R/M field.
Sean Callanana21e2ea2011-03-15 01:23:15 +0000546 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan8ed9f512009-12-19 02:59:52 +0000547 // Operand 3 (optional) is an immediate.
Benjamin Kramer1386e9b2012-05-29 19:05:25 +0000548 // Operand 4 (optional) is an immediate.
Bruno Cardoso Lopes99405df2010-06-08 22:51:23 +0000549
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000550 assert(numPhysicalOperands >= 2 + additionalOperands &&
551 numPhysicalOperands <= 4 + additionalOperands &&
552 "Unexpected number of operands for MRMSrcRegFrm");
Craig Toppere6c97ff2012-07-30 04:48:12 +0000553
Sean Callanana21e2ea2011-03-15 01:23:15 +0000554 HANDLE_OPERAND(roRegister)
Craig Topper17730842011-10-16 03:51:13 +0000555
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000556 if (HasEVEX_K)
557 HANDLE_OPERAND(writemaskRegister)
558
Craig Topper1415ca12014-02-02 07:08:01 +0000559 if (HasVEX_4V)
Bruno Cardoso Lopesc902a592010-06-11 23:50:47 +0000560 // FIXME: In AVX, the register below becomes the one encoded
561 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callanana21e2ea2011-03-15 01:23:15 +0000562 HANDLE_OPERAND(vvvvRegister)
Craig Topper17730842011-10-16 03:51:13 +0000563
Sean Callanana21e2ea2011-03-15 01:23:15 +0000564 HANDLE_OPERAND(rmRegister)
Craig Topper91e5e582016-08-22 07:38:45 +0000565 HANDLE_OPTIONAL(immediate)
Craig Topper06f554d2011-12-30 06:23:39 +0000566 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Sean Callanan8ed9f512009-12-19 02:59:52 +0000567 break;
Craig Topper08f89d52016-08-22 07:38:50 +0000568 case X86Local::MRMSrcReg4VOp3:
569 assert(numPhysicalOperands == 3 &&
Simon Pilgrim452c5252017-04-27 14:25:04 +0000570 "Unexpected number of operands for MRMSrcReg4VOp3Frm");
Craig Topper08f89d52016-08-22 07:38:50 +0000571 HANDLE_OPERAND(roRegister)
572 HANDLE_OPERAND(rmRegister)
573 HANDLE_OPERAND(vvvvRegister)
574 break;
Craig Topper91e5e582016-08-22 07:38:45 +0000575 case X86Local::MRMSrcRegOp4:
576 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
577 "Unexpected number of operands for MRMSrcRegOp4Frm");
578 HANDLE_OPERAND(roRegister)
579 HANDLE_OPERAND(vvvvRegister)
580 HANDLE_OPERAND(immediate) // Register in imm[7:4]
581 HANDLE_OPERAND(rmRegister)
582 HANDLE_OPTIONAL(immediate)
583 break;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000584 case X86Local::MRMSrcMem:
585 // Operand 1 is a register operand in the Reg/Opcode field.
586 // Operand 2 is a memory operand (possibly SIB-extended)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000587 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan8ed9f512009-12-19 02:59:52 +0000588 // Operand 3 (optional) is an immediate.
Craig Topperb53fa8b2011-10-16 07:55:05 +0000589
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000590 assert(numPhysicalOperands >= 2 + additionalOperands &&
591 numPhysicalOperands <= 4 + additionalOperands &&
592 "Unexpected number of operands for MRMSrcMemFrm");
Craig Toppere6c97ff2012-07-30 04:48:12 +0000593
Sean Callanan8ed9f512009-12-19 02:59:52 +0000594 HANDLE_OPERAND(roRegister)
Bruno Cardoso Lopesc902a592010-06-11 23:50:47 +0000595
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000596 if (HasEVEX_K)
597 HANDLE_OPERAND(writemaskRegister)
598
Craig Topper1415ca12014-02-02 07:08:01 +0000599 if (HasVEX_4V)
Bruno Cardoso Lopesc902a592010-06-11 23:50:47 +0000600 // FIXME: In AVX, the register below becomes the one encoded
601 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callanana21e2ea2011-03-15 01:23:15 +0000602 HANDLE_OPERAND(vvvvRegister)
Bruno Cardoso Lopesc902a592010-06-11 23:50:47 +0000603
Sean Callanan8ed9f512009-12-19 02:59:52 +0000604 HANDLE_OPERAND(memory)
Craig Topper91e5e582016-08-22 07:38:45 +0000605 HANDLE_OPTIONAL(immediate)
Craig Topper06f554d2011-12-30 06:23:39 +0000606 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Sean Callanan8ed9f512009-12-19 02:59:52 +0000607 break;
Craig Topper08f89d52016-08-22 07:38:50 +0000608 case X86Local::MRMSrcMem4VOp3:
609 assert(numPhysicalOperands == 3 &&
Simon Pilgrim452c5252017-04-27 14:25:04 +0000610 "Unexpected number of operands for MRMSrcMem4VOp3Frm");
Craig Topper08f89d52016-08-22 07:38:50 +0000611 HANDLE_OPERAND(roRegister)
612 HANDLE_OPERAND(memory)
613 HANDLE_OPERAND(vvvvRegister)
614 break;
Craig Topper91e5e582016-08-22 07:38:45 +0000615 case X86Local::MRMSrcMemOp4:
616 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
617 "Unexpected number of operands for MRMSrcMemOp4Frm");
618 HANDLE_OPERAND(roRegister)
619 HANDLE_OPERAND(vvvvRegister)
620 HANDLE_OPERAND(immediate) // Register in imm[7:4]
621 HANDLE_OPERAND(memory)
622 HANDLE_OPTIONAL(immediate)
623 break;
Craig Topperced27562014-02-10 06:55:41 +0000624 case X86Local::MRMXr:
Sean Callanan8ed9f512009-12-19 02:59:52 +0000625 case X86Local::MRM0r:
626 case X86Local::MRM1r:
627 case X86Local::MRM2r:
628 case X86Local::MRM3r:
629 case X86Local::MRM4r:
630 case X86Local::MRM5r:
631 case X86Local::MRM6r:
632 case X86Local::MRM7r:
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000633 // Operand 1 is a register operand in the R/M field.
634 // Operand 2 (optional) is an immediate or relocation.
635 // Operand 3 (optional) is an immediate.
636 assert(numPhysicalOperands >= 0 + additionalOperands &&
637 numPhysicalOperands <= 3 + additionalOperands &&
638 "Unexpected number of operands for MRMnr");
639
Craig Topper1415ca12014-02-02 07:08:01 +0000640 if (HasVEX_4V)
Craig Topper566f2332011-10-15 20:46:47 +0000641 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovsky1765e742013-08-22 12:18:28 +0000642
643 if (HasEVEX_K)
644 HANDLE_OPERAND(writemaskRegister)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000645 HANDLE_OPTIONAL(rmRegister)
646 HANDLE_OPTIONAL(relocation)
Benjamin Kramer1386e9b2012-05-29 19:05:25 +0000647 HANDLE_OPTIONAL(immediate)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000648 break;
Craig Topperced27562014-02-10 06:55:41 +0000649 case X86Local::MRMXm:
Sean Callanan8ed9f512009-12-19 02:59:52 +0000650 case X86Local::MRM0m:
651 case X86Local::MRM1m:
652 case X86Local::MRM2m:
653 case X86Local::MRM3m:
654 case X86Local::MRM4m:
655 case X86Local::MRM5m:
656 case X86Local::MRM6m:
657 case X86Local::MRM7m:
Adam Nemet9e5cb2f2014-10-01 19:28:11 +0000658 // Operand 1 is a memory operand (possibly SIB-extended)
659 // Operand 2 (optional) is an immediate or relocation.
660 assert(numPhysicalOperands >= 1 + additionalOperands &&
661 numPhysicalOperands <= 2 + additionalOperands &&
662 "Unexpected number of operands for MRMnm");
663
Craig Topper1415ca12014-02-02 07:08:01 +0000664 if (HasVEX_4V)
Craig Topper566f2332011-10-15 20:46:47 +0000665 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovsky1765e742013-08-22 12:18:28 +0000666 if (HasEVEX_K)
667 HANDLE_OPERAND(writemaskRegister)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000668 HANDLE_OPERAND(memory)
669 HANDLE_OPTIONAL(relocation)
670 break;
Sean Callanan6aeb2e32010-10-04 22:45:51 +0000671 case X86Local::RawFrmImm8:
672 // operand 1 is a 16-bit immediate
673 // operand 2 is an 8-bit immediate
674 assert(numPhysicalOperands == 2 &&
675 "Unexpected number of operands for X86Local::RawFrmImm8");
676 HANDLE_OPERAND(immediate)
677 HANDLE_OPERAND(immediate)
678 break;
679 case X86Local::RawFrmImm16:
680 // operand 1 is a 16-bit immediate
681 // operand 2 is a 16-bit immediate
682 HANDLE_OPERAND(immediate)
683 HANDLE_OPERAND(immediate)
684 break;
Craig Topperce08cb32018-03-24 07:15:46 +0000685#define MAP(from, to) case X86Local::MRM_##from:
686 X86_INSTR_MRM_MAPPING
687#undef MAP
Craig Topper0e3e44d2018-03-12 17:24:50 +0000688 HANDLE_OPTIONAL(relocation)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000689 break;
690 }
Craig Toppere6c97ff2012-07-30 04:48:12 +0000691
Craig Topperce08cb32018-03-24 07:15:46 +0000692#undef HANDLE_OPERAND
693#undef HANDLE_OPTIONAL
Sean Callanan8ed9f512009-12-19 02:59:52 +0000694}
695
696void RecognizableInstr::emitDecodePath(DisassemblerTables &tables) const {
697 // Special cases where the LLVM tables are not complete
698
Sean Callanan9492be82010-02-12 23:39:46 +0000699#define MAP(from, to) \
Craig Toppere2f72312015-02-15 04:16:44 +0000700 case X86Local::MRM_##from:
Sean Callanan8ed9f512009-12-19 02:59:52 +0000701
Richard Smithc5020402017-12-08 22:32:35 +0000702 llvm::Optional<OpcodeType> opcodeType;
Craig Topperf0b161d2014-01-31 08:47:06 +0000703 switch (OpMap) {
704 default: llvm_unreachable("Invalid map!");
Craig Topper7cff4112018-03-24 07:48:54 +0000705 case X86Local::OB: opcodeType = ONEBYTE; break;
706 case X86Local::TB: opcodeType = TWOBYTE; break;
707 case X86Local::T8: opcodeType = THREEBYTE_38; break;
708 case X86Local::TA: opcodeType = THREEBYTE_3A; break;
709 case X86Local::XOP8: opcodeType = XOP8_MAP; break;
710 case X86Local::XOP9: opcodeType = XOP9_MAP; break;
711 case X86Local::XOPA: opcodeType = XOPA_MAP; break;
712 case X86Local::ThreeDNow: opcodeType = THREEDNOW_MAP; break;
Craig Topper4f709f62018-03-24 07:15:45 +0000713 }
Craig Topperced27562014-02-10 06:55:41 +0000714
Craig Topper2280dbe2018-03-24 07:15:47 +0000715 std::unique_ptr<ModRMFilter> filter;
Craig Topper4f709f62018-03-24 07:15:45 +0000716 switch (Form) {
717 default: llvm_unreachable("Invalid form!");
718 case X86Local::Pseudo: llvm_unreachable("Pseudo should not be emitted!");
719 case X86Local::RawFrm:
720 case X86Local::AddRegFrm:
721 case X86Local::RawFrmMemOffs:
722 case X86Local::RawFrmSrc:
723 case X86Local::RawFrmDst:
724 case X86Local::RawFrmDstSrc:
725 case X86Local::RawFrmImm8:
726 case X86Local::RawFrmImm16:
Craig Topper2280dbe2018-03-24 07:15:47 +0000727 filter = llvm::make_unique<DumbFilter>();
Craig Topper279d2822013-10-03 05:17:48 +0000728 break;
Craig Topper4f709f62018-03-24 07:15:45 +0000729 case X86Local::MRMDestReg:
730 case X86Local::MRMSrcReg:
731 case X86Local::MRMSrcReg4VOp3:
732 case X86Local::MRMSrcRegOp4:
733 case X86Local::MRMXr:
Craig Topper2280dbe2018-03-24 07:15:47 +0000734 filter = llvm::make_unique<ModFilter>(true);
Craig Topper4f709f62018-03-24 07:15:45 +0000735 break;
736 case X86Local::MRMDestMem:
737 case X86Local::MRMSrcMem:
738 case X86Local::MRMSrcMem4VOp3:
739 case X86Local::MRMSrcMemOp4:
740 case X86Local::MRMXm:
Craig Topper2280dbe2018-03-24 07:15:47 +0000741 filter = llvm::make_unique<ModFilter>(false);
Craig Topper4f709f62018-03-24 07:15:45 +0000742 break;
743 case X86Local::MRM0r: case X86Local::MRM1r:
744 case X86Local::MRM2r: case X86Local::MRM3r:
745 case X86Local::MRM4r: case X86Local::MRM5r:
746 case X86Local::MRM6r: case X86Local::MRM7r:
Craig Topper2280dbe2018-03-24 07:15:47 +0000747 filter = llvm::make_unique<ExtendedFilter>(true, Form - X86Local::MRM0r);
Craig Topper4f709f62018-03-24 07:15:45 +0000748 break;
749 case X86Local::MRM0m: case X86Local::MRM1m:
750 case X86Local::MRM2m: case X86Local::MRM3m:
751 case X86Local::MRM4m: case X86Local::MRM5m:
752 case X86Local::MRM6m: case X86Local::MRM7m:
Craig Topper2280dbe2018-03-24 07:15:47 +0000753 filter = llvm::make_unique<ExtendedFilter>(false, Form - X86Local::MRM0m);
Craig Topper4f709f62018-03-24 07:15:45 +0000754 break;
755 X86_INSTR_MRM_MAPPING
Craig Topper2280dbe2018-03-24 07:15:47 +0000756 filter = llvm::make_unique<ExactFilter>(0xC0 + Form - X86Local::MRM_C0);
Craig Topper4f709f62018-03-24 07:15:45 +0000757 break;
758 } // switch (Form)
759
760 uint8_t opcodeToSet = Opcode;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000761
Craig Topper71fc42d2015-01-02 07:02:25 +0000762 unsigned AddressSize = 0;
763 switch (AdSize) {
764 case X86Local::AdSize16: AddressSize = 16; break;
765 case X86Local::AdSize32: AddressSize = 32; break;
766 case X86Local::AdSize64: AddressSize = 64; break;
767 }
768
Richard Smithc5020402017-12-08 22:32:35 +0000769 assert(opcodeType && "Opcode type not set");
Sean Callanan8ed9f512009-12-19 02:59:52 +0000770 assert(filter && "Filter not set");
771
772 if (Form == X86Local::AddRegFrm) {
Craig Topper95a3ccd2014-01-01 15:29:32 +0000773 assert(((opcodeToSet & 7) == 0) &&
774 "ADDREG_FRM opcode not aligned");
Craig Toppere6c97ff2012-07-30 04:48:12 +0000775
Craig Topper979b2cd2014-01-01 14:22:37 +0000776 uint8_t currentOpcode;
Sean Callanan8ed9f512009-12-19 02:59:52 +0000777
Craig Topper979b2cd2014-01-01 14:22:37 +0000778 for (currentOpcode = opcodeToSet;
779 currentOpcode < opcodeToSet + 8;
780 ++currentOpcode)
Richard Smithc5020402017-12-08 22:32:35 +0000781 tables.setTableFields(*opcodeType, insnContext(), currentOpcode, *filter,
Craig Topper8c2358a2017-10-23 16:49:26 +0000782 UID, Is32Bit, OpPrefix == 0,
783 IgnoresVEX_L || EncodeRC,
Craig Topper3ae8f2d2017-10-22 06:18:26 +0000784 VEX_WPrefix == X86Local::VEX_WIG, AddressSize);
Sean Callanan8ed9f512009-12-19 02:59:52 +0000785 } else {
Richard Smithc5020402017-12-08 22:32:35 +0000786 tables.setTableFields(*opcodeType, insnContext(), opcodeToSet, *filter, UID,
Craig Topper8c2358a2017-10-23 16:49:26 +0000787 Is32Bit, OpPrefix == 0, IgnoresVEX_L || EncodeRC,
Craig Topper3ae8f2d2017-10-22 06:18:26 +0000788 VEX_WPrefix == X86Local::VEX_WIG, AddressSize);
Sean Callanan8ed9f512009-12-19 02:59:52 +0000789 }
Craig Toppere6c97ff2012-07-30 04:48:12 +0000790
Sean Callanan9492be82010-02-12 23:39:46 +0000791#undef MAP
Sean Callanan8ed9f512009-12-19 02:59:52 +0000792}
793
794#define TYPE(str, type) if (s == str) return type;
795OperandType RecognizableInstr::typeFromString(const std::string &s,
Sean Callanan8ed9f512009-12-19 02:59:52 +0000796 bool hasREX_WPrefix,
Craig Topper6b6dfa52014-02-02 09:25:09 +0000797 uint8_t OpSize) {
Sean Callanan8ed9f512009-12-19 02:59:52 +0000798 if(hasREX_WPrefix) {
799 // For instructions with a REX_W prefix, a declared 32-bit register encoding
800 // is special.
801 TYPE("GR32", TYPE_R32)
802 }
Craig Topper6b6dfa52014-02-02 09:25:09 +0000803 if(OpSize == X86Local::OpSize16) {
804 // For OpSize16 instructions, a declared 16-bit register or
Sean Callanan8ed9f512009-12-19 02:59:52 +0000805 // immediate encoding is special.
Craig Topper38e6f732014-01-15 05:02:02 +0000806 TYPE("GR16", TYPE_Rv)
Craig Topper6b6dfa52014-02-02 09:25:09 +0000807 } else if(OpSize == X86Local::OpSize32) {
808 // For OpSize32 instructions, a declared 32-bit register or
Craig Topper38e6f732014-01-15 05:02:02 +0000809 // immediate encoding is special.
810 TYPE("GR32", TYPE_Rv)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000811 }
Craig Topper14d16cc2017-01-16 06:49:03 +0000812 TYPE("i16mem", TYPE_M)
813 TYPE("i16imm", TYPE_IMM)
814 TYPE("i16i8imm", TYPE_IMM)
Craig Topper38e6f732014-01-15 05:02:02 +0000815 TYPE("GR16", TYPE_R16)
Craig Topper14d16cc2017-01-16 06:49:03 +0000816 TYPE("i32mem", TYPE_M)
817 TYPE("i32imm", TYPE_IMM)
818 TYPE("i32i8imm", TYPE_IMM)
Craig Topper38e6f732014-01-15 05:02:02 +0000819 TYPE("GR32", TYPE_R32)
Craig Topperc6f7c992013-10-14 04:55:01 +0000820 TYPE("GR32orGR64", TYPE_R32)
Craig Topper14d16cc2017-01-16 06:49:03 +0000821 TYPE("i64mem", TYPE_M)
822 TYPE("i64i32imm", TYPE_IMM)
823 TYPE("i64i8imm", TYPE_IMM)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000824 TYPE("GR64", TYPE_R64)
Craig Topper14d16cc2017-01-16 06:49:03 +0000825 TYPE("i8mem", TYPE_M)
826 TYPE("i8imm", TYPE_IMM)
Craig Topper951d0882015-01-21 08:15:54 +0000827 TYPE("u8imm", TYPE_UIMM8)
Craig Topper896c1e92015-01-25 02:21:16 +0000828 TYPE("i32u8imm", TYPE_UIMM8)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000829 TYPE("GR8", TYPE_R8)
Craig Topper14d16cc2017-01-16 06:49:03 +0000830 TYPE("VR128", TYPE_XMM)
831 TYPE("VR128X", TYPE_XMM)
832 TYPE("f128mem", TYPE_M)
833 TYPE("f256mem", TYPE_M)
834 TYPE("f512mem", TYPE_M)
835 TYPE("FR128", TYPE_XMM)
836 TYPE("FR64", TYPE_XMM)
837 TYPE("FR64X", TYPE_XMM)
838 TYPE("f64mem", TYPE_M)
839 TYPE("sdmem", TYPE_M)
840 TYPE("FR32", TYPE_XMM)
841 TYPE("FR32X", TYPE_XMM)
842 TYPE("f32mem", TYPE_M)
843 TYPE("ssmem", TYPE_M)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000844 TYPE("RST", TYPE_ST)
Hans Wennborg68c0fa12019-02-12 10:13:48 +0000845 TYPE("RSTi", TYPE_ST)
Craig Topper14d16cc2017-01-16 06:49:03 +0000846 TYPE("i128mem", TYPE_M)
847 TYPE("i256mem", TYPE_M)
848 TYPE("i512mem", TYPE_M)
Craig Topperf0315452017-01-16 06:49:09 +0000849 TYPE("i64i32imm_pcrel", TYPE_REL)
850 TYPE("i16imm_pcrel", TYPE_REL)
851 TYPE("i32imm_pcrel", TYPE_REL)
Sean Callanan5edca812010-04-07 21:42:19 +0000852 TYPE("SSECC", TYPE_IMM3)
Craig Topperf3455f12015-02-13 07:42:25 +0000853 TYPE("XOPCC", TYPE_IMM3)
Craig Topper769bbfd2012-04-03 05:20:24 +0000854 TYPE("AVXCC", TYPE_IMM5)
Craig Topperaef36182015-01-28 10:09:56 +0000855 TYPE("AVX512ICC", TYPE_AVX512ICC)
Craig Topper14d16cc2017-01-16 06:49:03 +0000856 TYPE("AVX512RC", TYPE_IMM)
Craig Topperf0315452017-01-16 06:49:09 +0000857 TYPE("brtarget32", TYPE_REL)
858 TYPE("brtarget16", TYPE_REL)
859 TYPE("brtarget8", TYPE_REL)
Craig Topper14d16cc2017-01-16 06:49:03 +0000860 TYPE("f80mem", TYPE_M)
861 TYPE("lea64_32mem", TYPE_M)
862 TYPE("lea64mem", TYPE_M)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000863 TYPE("VR64", TYPE_MM64)
Craig Topper14d16cc2017-01-16 06:49:03 +0000864 TYPE("i64imm", TYPE_IMM)
Craig Topper367b67d2015-01-08 07:41:30 +0000865 TYPE("anymem", TYPE_M)
Craig Topper52c132f2018-05-01 04:42:00 +0000866 TYPE("opaquemem", TYPE_M)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000867 TYPE("SEGMENT_REG", TYPE_SEGMENTREG)
868 TYPE("DEBUG_REG", TYPE_DEBUGREG)
Sean Callanan1a8b7892010-05-06 20:59:00 +0000869 TYPE("CONTROL_REG", TYPE_CONTROLREG)
Craig Topper14d16cc2017-01-16 06:49:03 +0000870 TYPE("srcidx8", TYPE_SRCIDX)
871 TYPE("srcidx16", TYPE_SRCIDX)
872 TYPE("srcidx32", TYPE_SRCIDX)
873 TYPE("srcidx64", TYPE_SRCIDX)
874 TYPE("dstidx8", TYPE_DSTIDX)
875 TYPE("dstidx16", TYPE_DSTIDX)
876 TYPE("dstidx32", TYPE_DSTIDX)
877 TYPE("dstidx64", TYPE_DSTIDX)
878 TYPE("offset16_8", TYPE_MOFFS)
879 TYPE("offset16_16", TYPE_MOFFS)
880 TYPE("offset16_32", TYPE_MOFFS)
881 TYPE("offset32_8", TYPE_MOFFS)
882 TYPE("offset32_16", TYPE_MOFFS)
883 TYPE("offset32_32", TYPE_MOFFS)
884 TYPE("offset32_64", TYPE_MOFFS)
885 TYPE("offset64_8", TYPE_MOFFS)
886 TYPE("offset64_16", TYPE_MOFFS)
887 TYPE("offset64_32", TYPE_MOFFS)
888 TYPE("offset64_64", TYPE_MOFFS)
889 TYPE("VR256", TYPE_YMM)
890 TYPE("VR256X", TYPE_YMM)
891 TYPE("VR512", TYPE_ZMM)
892 TYPE("VK1", TYPE_VK)
893 TYPE("VK1WM", TYPE_VK)
894 TYPE("VK2", TYPE_VK)
895 TYPE("VK2WM", TYPE_VK)
896 TYPE("VK4", TYPE_VK)
897 TYPE("VK4WM", TYPE_VK)
898 TYPE("VK8", TYPE_VK)
899 TYPE("VK8WM", TYPE_VK)
900 TYPE("VK16", TYPE_VK)
901 TYPE("VK16WM", TYPE_VK)
902 TYPE("VK32", TYPE_VK)
903 TYPE("VK32WM", TYPE_VK)
904 TYPE("VK64", TYPE_VK)
905 TYPE("VK64WM", TYPE_VK)
Craig Toppere746b672017-10-21 20:03:20 +0000906 TYPE("vx64mem", TYPE_MVSIBX)
907 TYPE("vx128mem", TYPE_MVSIBX)
908 TYPE("vx256mem", TYPE_MVSIBX)
909 TYPE("vy128mem", TYPE_MVSIBY)
910 TYPE("vy256mem", TYPE_MVSIBY)
911 TYPE("vx64xmem", TYPE_MVSIBX)
912 TYPE("vx128xmem", TYPE_MVSIBX)
913 TYPE("vx256xmem", TYPE_MVSIBX)
914 TYPE("vy128xmem", TYPE_MVSIBY)
915 TYPE("vy256xmem", TYPE_MVSIBY)
Craig Topper1e296472018-06-06 19:15:12 +0000916 TYPE("vy512xmem", TYPE_MVSIBY)
917 TYPE("vz256mem", TYPE_MVSIBZ)
Craig Toppere746b672017-10-21 20:03:20 +0000918 TYPE("vz512mem", TYPE_MVSIBZ)
Elena Demikhovsky22debdc2015-06-09 13:02:10 +0000919 TYPE("BNDR", TYPE_BNDR)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000920 errs() << "Unhandled type string " << s << "\n";
921 llvm_unreachable("Unhandled type string");
922}
923#undef TYPE
924
925#define ENCODING(str, encoding) if (s == str) return encoding;
Craig Topper6b6dfa52014-02-02 09:25:09 +0000926OperandEncoding
927RecognizableInstr::immediateEncodingFromString(const std::string &s,
928 uint8_t OpSize) {
929 if(OpSize != X86Local::OpSize16) {
Sean Callanan8ed9f512009-12-19 02:59:52 +0000930 // For instructions without an OpSize prefix, a declared 16-bit register or
931 // immediate encoding is special.
932 ENCODING("i16imm", ENCODING_IW)
933 }
934 ENCODING("i32i8imm", ENCODING_IB)
935 ENCODING("SSECC", ENCODING_IB)
Craig Topperf3455f12015-02-13 07:42:25 +0000936 ENCODING("XOPCC", ENCODING_IB)
Craig Topper769bbfd2012-04-03 05:20:24 +0000937 ENCODING("AVXCC", ENCODING_IB)
Craig Topperaef36182015-01-28 10:09:56 +0000938 ENCODING("AVX512ICC", ENCODING_IB)
Craig Topper0f7dce52017-10-23 02:26:24 +0000939 ENCODING("AVX512RC", ENCODING_IRC)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000940 ENCODING("i16imm", ENCODING_Iv)
941 ENCODING("i16i8imm", ENCODING_IB)
942 ENCODING("i32imm", ENCODING_Iv)
943 ENCODING("i64i32imm", ENCODING_ID)
944 ENCODING("i64i8imm", ENCODING_IB)
945 ENCODING("i8imm", ENCODING_IB)
Craig Topper951d0882015-01-21 08:15:54 +0000946 ENCODING("u8imm", ENCODING_IB)
Craig Topper896c1e92015-01-25 02:21:16 +0000947 ENCODING("i32u8imm", ENCODING_IB)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000948 // This is not a typo. Instructions like BLENDVPD put
949 // register IDs in 8-bit immediates nowadays.
Craig Topperbf404372012-08-31 15:40:30 +0000950 ENCODING("FR32", ENCODING_IB)
951 ENCODING("FR64", ENCODING_IB)
Chih-Hung Hsieh3a1999a2015-12-14 22:08:36 +0000952 ENCODING("FR128", ENCODING_IB)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000953 ENCODING("VR128", ENCODING_IB)
954 ENCODING("VR256", ENCODING_IB)
955 ENCODING("FR32X", ENCODING_IB)
956 ENCODING("FR64X", ENCODING_IB)
957 ENCODING("VR128X", ENCODING_IB)
958 ENCODING("VR256X", ENCODING_IB)
959 ENCODING("VR512", ENCODING_IB)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000960 errs() << "Unhandled immediate encoding " << s << "\n";
961 llvm_unreachable("Unhandled immediate encoding");
962}
963
Craig Topper6b6dfa52014-02-02 09:25:09 +0000964OperandEncoding
965RecognizableInstr::rmRegisterEncodingFromString(const std::string &s,
966 uint8_t OpSize) {
Craig Topper979b2cd2014-01-01 14:22:37 +0000967 ENCODING("RST", ENCODING_FP)
Hans Wennborg68c0fa12019-02-12 10:13:48 +0000968 ENCODING("RSTi", ENCODING_FP)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000969 ENCODING("GR16", ENCODING_RM)
970 ENCODING("GR32", ENCODING_RM)
Craig Topperc6f7c992013-10-14 04:55:01 +0000971 ENCODING("GR32orGR64", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000972 ENCODING("GR64", ENCODING_RM)
973 ENCODING("GR8", ENCODING_RM)
974 ENCODING("VR128", ENCODING_RM)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000975 ENCODING("VR128X", ENCODING_RM)
Chih-Hung Hsieh3a1999a2015-12-14 22:08:36 +0000976 ENCODING("FR128", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000977 ENCODING("FR64", ENCODING_RM)
978 ENCODING("FR32", ENCODING_RM)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000979 ENCODING("FR64X", ENCODING_RM)
980 ENCODING("FR32X", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000981 ENCODING("VR64", ENCODING_RM)
Sean Callanana21e2ea2011-03-15 01:23:15 +0000982 ENCODING("VR256", ENCODING_RM)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000983 ENCODING("VR256X", ENCODING_RM)
984 ENCODING("VR512", ENCODING_RM)
Elena Demikhovsky376a81d2013-12-16 13:52:35 +0000985 ENCODING("VK1", ENCODING_RM)
Elena Demikhovskybf704ed2015-04-21 14:38:31 +0000986 ENCODING("VK2", ENCODING_RM)
987 ENCODING("VK4", ENCODING_RM)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +0000988 ENCODING("VK8", ENCODING_RM)
989 ENCODING("VK16", ENCODING_RM)
Robert Khasanov3922da82014-07-23 14:49:42 +0000990 ENCODING("VK32", ENCODING_RM)
991 ENCODING("VK64", ENCODING_RM)
Elena Demikhovsky22debdc2015-06-09 13:02:10 +0000992 ENCODING("BNDR", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +0000993 errs() << "Unhandled R/M register encoding " << s << "\n";
994 llvm_unreachable("Unhandled R/M register encoding");
995}
996
Craig Topper6b6dfa52014-02-02 09:25:09 +0000997OperandEncoding
998RecognizableInstr::roRegisterEncodingFromString(const std::string &s,
999 uint8_t OpSize) {
Sean Callanan8ed9f512009-12-19 02:59:52 +00001000 ENCODING("GR16", ENCODING_REG)
1001 ENCODING("GR32", ENCODING_REG)
Craig Topperc6f7c992013-10-14 04:55:01 +00001002 ENCODING("GR32orGR64", ENCODING_REG)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001003 ENCODING("GR64", ENCODING_REG)
1004 ENCODING("GR8", ENCODING_REG)
1005 ENCODING("VR128", ENCODING_REG)
Chih-Hung Hsieh3a1999a2015-12-14 22:08:36 +00001006 ENCODING("FR128", ENCODING_REG)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001007 ENCODING("FR64", ENCODING_REG)
1008 ENCODING("FR32", ENCODING_REG)
1009 ENCODING("VR64", ENCODING_REG)
1010 ENCODING("SEGMENT_REG", ENCODING_REG)
1011 ENCODING("DEBUG_REG", ENCODING_REG)
Sean Callanan1a8b7892010-05-06 20:59:00 +00001012 ENCODING("CONTROL_REG", ENCODING_REG)
Sean Callanana21e2ea2011-03-15 01:23:15 +00001013 ENCODING("VR256", ENCODING_REG)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001014 ENCODING("VR256X", ENCODING_REG)
1015 ENCODING("VR128X", ENCODING_REG)
1016 ENCODING("FR64X", ENCODING_REG)
1017 ENCODING("FR32X", ENCODING_REG)
1018 ENCODING("VR512", ENCODING_REG)
Elena Demikhovsky376a81d2013-12-16 13:52:35 +00001019 ENCODING("VK1", ENCODING_REG)
Robert Khasanovcc4b1232014-08-25 14:49:34 +00001020 ENCODING("VK2", ENCODING_REG)
1021 ENCODING("VK4", ENCODING_REG)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001022 ENCODING("VK8", ENCODING_REG)
1023 ENCODING("VK16", ENCODING_REG)
Robert Khasanov3922da82014-07-23 14:49:42 +00001024 ENCODING("VK32", ENCODING_REG)
1025 ENCODING("VK64", ENCODING_REG)
Elena Demikhovsky376a81d2013-12-16 13:52:35 +00001026 ENCODING("VK1WM", ENCODING_REG)
Elena Demikhovskybf704ed2015-04-21 14:38:31 +00001027 ENCODING("VK2WM", ENCODING_REG)
1028 ENCODING("VK4WM", ENCODING_REG)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001029 ENCODING("VK8WM", ENCODING_REG)
1030 ENCODING("VK16WM", ENCODING_REG)
Elena Demikhovskybf704ed2015-04-21 14:38:31 +00001031 ENCODING("VK32WM", ENCODING_REG)
1032 ENCODING("VK64WM", ENCODING_REG)
Elena Demikhovsky22debdc2015-06-09 13:02:10 +00001033 ENCODING("BNDR", ENCODING_REG)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001034 errs() << "Unhandled reg/opcode register encoding " << s << "\n";
1035 llvm_unreachable("Unhandled reg/opcode register encoding");
1036}
1037
Craig Topper6b6dfa52014-02-02 09:25:09 +00001038OperandEncoding
1039RecognizableInstr::vvvvRegisterEncodingFromString(const std::string &s,
1040 uint8_t OpSize) {
Craig Topper54a11172011-10-14 07:06:56 +00001041 ENCODING("GR32", ENCODING_VVVV)
1042 ENCODING("GR64", ENCODING_VVVV)
Sean Callanana21e2ea2011-03-15 01:23:15 +00001043 ENCODING("FR32", ENCODING_VVVV)
Chih-Hung Hsieh3a1999a2015-12-14 22:08:36 +00001044 ENCODING("FR128", ENCODING_VVVV)
Sean Callanana21e2ea2011-03-15 01:23:15 +00001045 ENCODING("FR64", ENCODING_VVVV)
1046 ENCODING("VR128", ENCODING_VVVV)
1047 ENCODING("VR256", ENCODING_VVVV)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001048 ENCODING("FR32X", ENCODING_VVVV)
1049 ENCODING("FR64X", ENCODING_VVVV)
1050 ENCODING("VR128X", ENCODING_VVVV)
1051 ENCODING("VR256X", ENCODING_VVVV)
1052 ENCODING("VR512", ENCODING_VVVV)
Elena Demikhovsky376a81d2013-12-16 13:52:35 +00001053 ENCODING("VK1", ENCODING_VVVV)
Robert Khasanovaac33cf2014-07-21 14:54:21 +00001054 ENCODING("VK2", ENCODING_VVVV)
1055 ENCODING("VK4", ENCODING_VVVV)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001056 ENCODING("VK8", ENCODING_VVVV)
1057 ENCODING("VK16", ENCODING_VVVV)
Robert Khasanov281d2bf2014-07-28 13:46:45 +00001058 ENCODING("VK32", ENCODING_VVVV)
1059 ENCODING("VK64", ENCODING_VVVV)
Sean Callanana21e2ea2011-03-15 01:23:15 +00001060 errs() << "Unhandled VEX.vvvv register encoding " << s << "\n";
1061 llvm_unreachable("Unhandled VEX.vvvv register encoding");
1062}
1063
Craig Topper6b6dfa52014-02-02 09:25:09 +00001064OperandEncoding
1065RecognizableInstr::writemaskRegisterEncodingFromString(const std::string &s,
1066 uint8_t OpSize) {
Elena Demikhovsky376a81d2013-12-16 13:52:35 +00001067 ENCODING("VK1WM", ENCODING_WRITEMASK)
Robert Khasanovaac33cf2014-07-21 14:54:21 +00001068 ENCODING("VK2WM", ENCODING_WRITEMASK)
1069 ENCODING("VK4WM", ENCODING_WRITEMASK)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001070 ENCODING("VK8WM", ENCODING_WRITEMASK)
1071 ENCODING("VK16WM", ENCODING_WRITEMASK)
Robert Khasanovaac33cf2014-07-21 14:54:21 +00001072 ENCODING("VK32WM", ENCODING_WRITEMASK)
1073 ENCODING("VK64WM", ENCODING_WRITEMASK)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001074 errs() << "Unhandled mask register encoding " << s << "\n";
1075 llvm_unreachable("Unhandled mask register encoding");
1076}
1077
Craig Topper6b6dfa52014-02-02 09:25:09 +00001078OperandEncoding
1079RecognizableInstr::memoryEncodingFromString(const std::string &s,
1080 uint8_t OpSize) {
Sean Callanan8ed9f512009-12-19 02:59:52 +00001081 ENCODING("i16mem", ENCODING_RM)
1082 ENCODING("i32mem", ENCODING_RM)
1083 ENCODING("i64mem", ENCODING_RM)
1084 ENCODING("i8mem", ENCODING_RM)
Chris Lattnerb2ef4c12010-09-29 02:57:56 +00001085 ENCODING("ssmem", ENCODING_RM)
1086 ENCODING("sdmem", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001087 ENCODING("f128mem", ENCODING_RM)
Chris Lattnerb2ef4c12010-09-29 02:57:56 +00001088 ENCODING("f256mem", ENCODING_RM)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001089 ENCODING("f512mem", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001090 ENCODING("f64mem", ENCODING_RM)
1091 ENCODING("f32mem", ENCODING_RM)
1092 ENCODING("i128mem", ENCODING_RM)
Sean Callanana21e2ea2011-03-15 01:23:15 +00001093 ENCODING("i256mem", ENCODING_RM)
Elena Demikhovskyc18f4ef2013-07-28 08:28:38 +00001094 ENCODING("i512mem", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001095 ENCODING("f80mem", ENCODING_RM)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001096 ENCODING("lea64_32mem", ENCODING_RM)
1097 ENCODING("lea64mem", ENCODING_RM)
Craig Topper367b67d2015-01-08 07:41:30 +00001098 ENCODING("anymem", ENCODING_RM)
Craig Topper52c132f2018-05-01 04:42:00 +00001099 ENCODING("opaquemem", ENCODING_RM)
Craig Topper75deb642017-01-16 05:44:25 +00001100 ENCODING("vx64mem", ENCODING_VSIB)
1101 ENCODING("vx128mem", ENCODING_VSIB)
1102 ENCODING("vx256mem", ENCODING_VSIB)
1103 ENCODING("vy128mem", ENCODING_VSIB)
1104 ENCODING("vy256mem", ENCODING_VSIB)
1105 ENCODING("vx64xmem", ENCODING_VSIB)
1106 ENCODING("vx128xmem", ENCODING_VSIB)
1107 ENCODING("vx256xmem", ENCODING_VSIB)
1108 ENCODING("vy128xmem", ENCODING_VSIB)
1109 ENCODING("vy256xmem", ENCODING_VSIB)
Craig Topper1e296472018-06-06 19:15:12 +00001110 ENCODING("vy512xmem", ENCODING_VSIB)
1111 ENCODING("vz256mem", ENCODING_VSIB)
Craig Topper75deb642017-01-16 05:44:25 +00001112 ENCODING("vz512mem", ENCODING_VSIB)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001113 errs() << "Unhandled memory encoding " << s << "\n";
1114 llvm_unreachable("Unhandled memory encoding");
1115}
1116
Craig Topper6b6dfa52014-02-02 09:25:09 +00001117OperandEncoding
1118RecognizableInstr::relocationEncodingFromString(const std::string &s,
1119 uint8_t OpSize) {
1120 if(OpSize != X86Local::OpSize16) {
Sean Callanan8ed9f512009-12-19 02:59:52 +00001121 // For instructions without an OpSize prefix, a declared 16-bit register or
1122 // immediate encoding is special.
1123 ENCODING("i16imm", ENCODING_IW)
1124 }
1125 ENCODING("i16imm", ENCODING_Iv)
1126 ENCODING("i16i8imm", ENCODING_IB)
1127 ENCODING("i32imm", ENCODING_Iv)
1128 ENCODING("i32i8imm", ENCODING_IB)
1129 ENCODING("i64i32imm", ENCODING_ID)
1130 ENCODING("i64i8imm", ENCODING_IB)
1131 ENCODING("i8imm", ENCODING_IB)
Craig Topper951d0882015-01-21 08:15:54 +00001132 ENCODING("u8imm", ENCODING_IB)
Craig Topper896c1e92015-01-25 02:21:16 +00001133 ENCODING("i32u8imm", ENCODING_IB)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001134 ENCODING("i64i32imm_pcrel", ENCODING_ID)
Chris Lattner9fc05222010-07-07 22:27:31 +00001135 ENCODING("i16imm_pcrel", ENCODING_IW)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001136 ENCODING("i32imm_pcrel", ENCODING_ID)
Craig Topper656d5d52018-08-13 22:06:28 +00001137 ENCODING("brtarget32", ENCODING_ID)
1138 ENCODING("brtarget16", ENCODING_IW)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001139 ENCODING("brtarget8", ENCODING_IB)
1140 ENCODING("i64imm", ENCODING_IO)
Craig Topper71fc42d2015-01-02 07:02:25 +00001141 ENCODING("offset16_8", ENCODING_Ia)
1142 ENCODING("offset16_16", ENCODING_Ia)
1143 ENCODING("offset16_32", ENCODING_Ia)
1144 ENCODING("offset32_8", ENCODING_Ia)
1145 ENCODING("offset32_16", ENCODING_Ia)
1146 ENCODING("offset32_32", ENCODING_Ia)
Craig Topper01c99892015-01-03 00:00:20 +00001147 ENCODING("offset32_64", ENCODING_Ia)
Craig Topper71fc42d2015-01-02 07:02:25 +00001148 ENCODING("offset64_8", ENCODING_Ia)
1149 ENCODING("offset64_16", ENCODING_Ia)
1150 ENCODING("offset64_32", ENCODING_Ia)
1151 ENCODING("offset64_64", ENCODING_Ia)
David Woodhousedb9fa462014-01-22 15:08:08 +00001152 ENCODING("srcidx8", ENCODING_SI)
1153 ENCODING("srcidx16", ENCODING_SI)
1154 ENCODING("srcidx32", ENCODING_SI)
1155 ENCODING("srcidx64", ENCODING_SI)
David Woodhouseccbfd5b2014-01-22 15:08:21 +00001156 ENCODING("dstidx8", ENCODING_DI)
1157 ENCODING("dstidx16", ENCODING_DI)
1158 ENCODING("dstidx32", ENCODING_DI)
1159 ENCODING("dstidx64", ENCODING_DI)
Sean Callanan8ed9f512009-12-19 02:59:52 +00001160 errs() << "Unhandled relocation encoding " << s << "\n";
1161 llvm_unreachable("Unhandled relocation encoding");
1162}
1163
Craig Topper6b6dfa52014-02-02 09:25:09 +00001164OperandEncoding
1165RecognizableInstr::opcodeModifierEncodingFromString(const std::string &s,
1166 uint8_t OpSize) {
Sean Callanan8ed9f512009-12-19 02:59:52 +00001167 ENCODING("GR32", ENCODING_Rv)
1168 ENCODING("GR64", ENCODING_RO)
1169 ENCODING("GR16", ENCODING_Rv)
1170 ENCODING("GR8", ENCODING_RB)
1171 errs() << "Unhandled opcode modifier encoding " << s << "\n";
1172 llvm_unreachable("Unhandled opcode modifier encoding");
1173}
Daniel Dunbar9e6d1d12009-12-19 04:16:48 +00001174#undef ENCODING