blob: 6f0f1b950b2394b337fdde61c7d74b448c57d049 [file] [log] [blame]
Sean Callanan04cc3072009-12-19 02:59:52 +00001//===- X86RecognizableInstr.cpp - Disassembler instruction spec --*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Sean Callanan04cc3072009-12-19 02:59:52 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file is part of the X86 Disassembler Emitter.
10// It contains the implementation of a single recognizable instruction.
11// Documentation for the disassembler emitter in general can be found in
Hiroshi Inoue2344b762017-07-04 13:09:29 +000012// X86DisassemblerEmitter.h.
Sean Callanan04cc3072009-12-19 02:59:52 +000013//
14//===----------------------------------------------------------------------===//
15
Sean Callanan04cc3072009-12-19 02:59:52 +000016#include "X86RecognizableInstr.h"
Chandler Carruth91d19d82012-12-04 10:37:14 +000017#include "X86DisassemblerShared.h"
Sean Callanan04cc3072009-12-19 02:59:52 +000018#include "X86ModRMFilters.h"
Sean Callanan04cc3072009-12-19 02:59:52 +000019#include "llvm/Support/ErrorHandling.h"
Sean Callanan04cc3072009-12-19 02:59:52 +000020#include <string>
21
22using namespace llvm;
Sean Callanan04cc3072009-12-19 02:59:52 +000023using namespace X86Disassembler;
24
Sean Callanan04cc3072009-12-19 02:59:52 +000025/// byteFromBitsInit - Extracts a value at most 8 bits in width from a BitsInit.
26/// Useful for switch statements and the like.
27///
28/// @param init - A reference to the BitsInit to be decoded.
29/// @return - The field, with the first bit in the BitsInit as the lowest
30/// order bit.
David Greeneaf8ee2c2011-07-29 22:43:06 +000031static uint8_t byteFromBitsInit(BitsInit &init) {
Sean Callanan04cc3072009-12-19 02:59:52 +000032 int width = init.getNumBits();
33
34 assert(width <= 8 && "Field is too large for uint8_t!");
35
36 int index;
37 uint8_t mask = 0x01;
38
39 uint8_t ret = 0;
40
41 for (index = 0; index < width; index++) {
Craig Topper95dade52018-04-03 05:10:12 +000042 if (cast<BitInit>(init.getBit(index))->getValue())
Sean Callanan04cc3072009-12-19 02:59:52 +000043 ret |= mask;
44
45 mask <<= 1;
46 }
47
48 return ret;
49}
50
51/// byteFromRec - Extract a value at most 8 bits in with from a Record given the
52/// name of the field.
53///
54/// @param rec - The record from which to extract the value.
55/// @param name - The name of the field in the record.
56/// @return - The field, as translated by byteFromBitsInit().
57static uint8_t byteFromRec(const Record* rec, const std::string &name) {
David Greeneaf8ee2c2011-07-29 22:43:06 +000058 BitsInit* bits = rec->getValueAsBitsInit(name);
Sean Callanan04cc3072009-12-19 02:59:52 +000059 return byteFromBitsInit(*bits);
60}
61
62RecognizableInstr::RecognizableInstr(DisassemblerTables &tables,
63 const CodeGenInstruction &insn,
64 InstrUID uid) {
65 UID = uid;
66
67 Rec = insn.TheDef;
68 Name = Rec->getName();
69 Spec = &tables.specForUID(UID);
Craig Topperac172e22012-07-30 04:48:12 +000070
Sean Callanan04cc3072009-12-19 02:59:52 +000071 if (!Rec->isSubClassOf("X86Inst")) {
72 ShouldBeEmitted = false;
73 return;
74 }
Craig Topperac172e22012-07-30 04:48:12 +000075
Craig Toppere413b622014-02-26 06:01:21 +000076 OpPrefix = byteFromRec(Rec, "OpPrefixBits");
77 OpMap = byteFromRec(Rec, "OpMapBits");
Sean Callanan04cc3072009-12-19 02:59:52 +000078 Opcode = byteFromRec(Rec, "Opcode");
79 Form = byteFromRec(Rec, "FormBits");
Craig Toppere413b622014-02-26 06:01:21 +000080 Encoding = byteFromRec(Rec, "OpEncBits");
Craig Topperac172e22012-07-30 04:48:12 +000081
Rafael Aulerde9ad4b2018-02-15 21:20:31 +000082 OpSize = byteFromRec(Rec, "OpSizeBits");
83 AdSize = byteFromRec(Rec, "AdSizeBits");
84 HasREX_WPrefix = Rec->getValueAsBit("hasREX_WPrefix");
85 HasVEX_4V = Rec->getValueAsBit("hasVEX_4V");
86 VEX_WPrefix = byteFromRec(Rec,"VEX_WPrefix");
87 IgnoresVEX_L = Rec->getValueAsBit("ignoresVEX_L");
88 HasEVEX_L2Prefix = Rec->getValueAsBit("hasEVEX_L2");
89 HasEVEX_K = Rec->getValueAsBit("hasEVEX_K");
90 HasEVEX_KZ = Rec->getValueAsBit("hasEVEX_Z");
91 HasEVEX_B = Rec->getValueAsBit("hasEVEX_B");
Rafael Aulerde9ad4b2018-02-15 21:20:31 +000092 IsCodeGenOnly = Rec->getValueAsBit("isCodeGenOnly");
93 ForceDisassemble = Rec->getValueAsBit("ForceDisassemble");
94 CD8_Scale = byteFromRec(Rec, "CD8_Scale");
Craig Topperac172e22012-07-30 04:48:12 +000095
Sean Callanan04cc3072009-12-19 02:59:52 +000096 Name = Rec->getName();
Craig Topperac172e22012-07-30 04:48:12 +000097
Chris Lattnerd8adec72010-11-01 04:03:32 +000098 Operands = &insn.Operands.OperandList;
Craig Topperac172e22012-07-30 04:48:12 +000099
Craig Topper3f23c1a2012-09-19 06:37:45 +0000100 HasVEX_LPrefix = Rec->getValueAsBit("hasVEX_L");
Craig Topper25ea4e52011-10-16 03:51:13 +0000101
Craig Topper326008c2017-10-23 02:26:24 +0000102 EncodeRC = HasEVEX_B &&
103 (Form == X86Local::MRMDestReg || Form == X86Local::MRMSrcReg);
104
Eli Friedman03180362011-07-16 02:41:28 +0000105 // Check for 64-bit inst which does not require REX
Craig Topper526adab2011-09-23 06:57:25 +0000106 Is32Bit = false;
Eli Friedman03180362011-07-16 02:41:28 +0000107 Is64Bit = false;
108 // FIXME: Is there some better way to check for In64BitMode?
109 std::vector<Record*> Predicates = Rec->getValueAsListOfDefs("Predicates");
110 for (unsigned i = 0, e = Predicates.size(); i != e; ++i) {
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000111 if (Predicates[i]->getName().find("Not64Bit") != Name.npos ||
Liang Zou9f4a4d32019-03-31 14:49:00 +0000112 Predicates[i]->getName().find("In32Bit") != Name.npos) {
Craig Topper526adab2011-09-23 06:57:25 +0000113 Is32Bit = true;
114 break;
115 }
Eric Christopherc0a5aae2013-12-20 02:04:49 +0000116 if (Predicates[i]->getName().find("In64Bit") != Name.npos) {
Eli Friedman03180362011-07-16 02:41:28 +0000117 Is64Bit = true;
118 break;
119 }
120 }
Eli Friedman03180362011-07-16 02:41:28 +0000121
Craig Topper69e245c2014-02-13 07:07:16 +0000122 if (Form == X86Local::Pseudo || (IsCodeGenOnly && !ForceDisassemble)) {
123 ShouldBeEmitted = false;
124 return;
125 }
126
127 // Special case since there is no attribute class for 64-bit and VEX
128 if (Name == "VMASKMOVDQU64") {
129 ShouldBeEmitted = false;
130 return;
131 }
132
Sean Callanan04cc3072009-12-19 02:59:52 +0000133 ShouldBeEmitted = true;
134}
Craig Topperac172e22012-07-30 04:48:12 +0000135
Sean Callanan04cc3072009-12-19 02:59:52 +0000136void RecognizableInstr::processInstr(DisassemblerTables &tables,
Craig Topperf7755df2012-07-12 06:52:41 +0000137 const CodeGenInstruction &insn,
138 InstrUID uid)
Sean Callanan04cc3072009-12-19 02:59:52 +0000139{
Daniel Dunbar5661c0c2010-05-20 20:20:32 +0000140 // Ignore "asm parser only" instructions.
141 if (insn.TheDef->getValueAsBit("isAsmParserOnly"))
142 return;
Craig Topperac172e22012-07-30 04:48:12 +0000143
Sean Callanan04cc3072009-12-19 02:59:52 +0000144 RecognizableInstr recogInstr(tables, insn, uid);
Craig Topperac172e22012-07-30 04:48:12 +0000145
Craig Topper69e245c2014-02-13 07:07:16 +0000146 if (recogInstr.shouldBeEmitted()) {
147 recogInstr.emitInstructionSpecifier();
Sean Callanan04cc3072009-12-19 02:59:52 +0000148 recogInstr.emitDecodePath(tables);
Craig Topper69e245c2014-02-13 07:07:16 +0000149 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000150}
151
Elena Demikhovskydacddb02013-11-03 13:46:31 +0000152#define EVEX_KB(n) (HasEVEX_KZ && HasEVEX_B ? n##_KZ_B : \
153 (HasEVEX_K && HasEVEX_B ? n##_K_B : \
154 (HasEVEX_KZ ? n##_KZ : \
155 (HasEVEX_K? n##_K : (HasEVEX_B ? n##_B : n)))))
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000156
Sean Callanan04cc3072009-12-19 02:59:52 +0000157InstructionContext RecognizableInstr::insnContext() const {
158 InstructionContext insnContext;
159
Craig Topperd402df32014-02-02 07:08:01 +0000160 if (Encoding == X86Local::EVEX) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000161 if (HasVEX_LPrefix && HasEVEX_L2Prefix) {
Craig Topper9469e902013-07-28 21:28:02 +0000162 errs() << "Don't support VEX.L if EVEX_L2 is enabled: " << Name << "\n";
163 llvm_unreachable("Don't support VEX.L if EVEX_L2 is enabled");
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000164 }
165 // VEX_L & VEX_W
Craig Topper0a5e90c2018-06-19 04:24:42 +0000166 if (!EncodeRC && HasVEX_LPrefix && (VEX_WPrefix == X86Local::VEX_W1 ||
167 VEX_WPrefix == X86Local::VEX_W1X)) {
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 &&
Craig Topper0a5e90c2018-06-19 04:24:42 +0000195 (VEX_WPrefix == X86Local::VEX_W1 ||
196 VEX_WPrefix == X86Local::VEX_W1X)) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000197 // EVEX_L2 & VEX_W
Craig Topper8e92e852014-02-02 07:46:05 +0000198 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000199 insnContext = EVEX_KB(IC_EVEX_L2_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000200 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000201 insnContext = EVEX_KB(IC_EVEX_L2_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000202 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000203 insnContext = EVEX_KB(IC_EVEX_L2_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000204 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000205 insnContext = EVEX_KB(IC_EVEX_L2_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000206 else {
207 errs() << "Instruction does not use a prefix: " << Name << "\n";
208 llvm_unreachable("Invalid prefix");
209 }
Craig Topper326008c2017-10-23 02:26:24 +0000210 } else if (!EncodeRC && HasEVEX_L2Prefix) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000211 // EVEX_L2
Craig Topper8e92e852014-02-02 07:46:05 +0000212 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000213 insnContext = EVEX_KB(IC_EVEX_L2_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000214 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000215 insnContext = EVEX_KB(IC_EVEX_L2_XD);
Craig Topper10243c82014-01-31 08:47:06 +0000216 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000217 insnContext = EVEX_KB(IC_EVEX_L2_XS);
Craig Topper5ccb6172014-02-18 00:21:49 +0000218 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000219 insnContext = EVEX_KB(IC_EVEX_L2);
Craig Topper5ccb6172014-02-18 00:21:49 +0000220 else {
221 errs() << "Instruction does not use a prefix: " << Name << "\n";
222 llvm_unreachable("Invalid prefix");
223 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000224 }
Craig Topper0a5e90c2018-06-19 04:24:42 +0000225 else if (VEX_WPrefix == X86Local::VEX_W1 ||
226 VEX_WPrefix == X86Local::VEX_W1X) {
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000227 // VEX_W
Craig Topper8e92e852014-02-02 07:46:05 +0000228 if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000229 insnContext = EVEX_KB(IC_EVEX_W_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000230 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000231 insnContext = EVEX_KB(IC_EVEX_W_XS);
Craig Topper10243c82014-01-31 08:47:06 +0000232 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000233 insnContext = EVEX_KB(IC_EVEX_W_XD);
Craig Topper5ccb6172014-02-18 00:21:49 +0000234 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000235 insnContext = EVEX_KB(IC_EVEX_W);
Craig Topper5ccb6172014-02-18 00:21:49 +0000236 else {
237 errs() << "Instruction does not use a prefix: " << Name << "\n";
238 llvm_unreachable("Invalid prefix");
239 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000240 }
241 // No L, no W
Craig Topper8e92e852014-02-02 07:46:05 +0000242 else if (OpPrefix == X86Local::PD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000243 insnContext = EVEX_KB(IC_EVEX_OPSIZE);
Craig Topper10243c82014-01-31 08:47:06 +0000244 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000245 insnContext = EVEX_KB(IC_EVEX_XD);
Craig Topper10243c82014-01-31 08:47:06 +0000246 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000247 insnContext = EVEX_KB(IC_EVEX_XS);
Craig Topper7d522b62018-04-03 06:37:01 +0000248 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000249 insnContext = EVEX_KB(IC_EVEX);
Craig Topper7d522b62018-04-03 06:37:01 +0000250 else {
251 errs() << "Instruction does not use a prefix: " << Name << "\n";
252 llvm_unreachable("Invalid prefix");
253 }
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000254 /// eof EVEX
Craig Topperd402df32014-02-02 07:08:01 +0000255 } else if (Encoding == X86Local::VEX || Encoding == X86Local::XOP) {
Craig Topper0a5e90c2018-06-19 04:24:42 +0000256 if (HasVEX_LPrefix && (VEX_WPrefix == X86Local::VEX_W1 ||
257 VEX_WPrefix == X86Local::VEX_W1X)) {
Craig Topper8e92e852014-02-02 07:46:05 +0000258 if (OpPrefix == X86Local::PD)
Craig Topperf01f1b52011-11-06 23:04:08 +0000259 insnContext = IC_VEX_L_W_OPSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000260 else if (OpPrefix == X86Local::XS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000261 insnContext = IC_VEX_L_W_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000262 else if (OpPrefix == X86Local::XD)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000263 insnContext = IC_VEX_L_W_XD;
Craig Topper5ccb6172014-02-18 00:21:49 +0000264 else if (OpPrefix == X86Local::PS)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000265 insnContext = IC_VEX_L_W;
Craig Topper5ccb6172014-02-18 00:21:49 +0000266 else {
267 errs() << "Instruction does not use a prefix: " << Name << "\n";
268 llvm_unreachable("Invalid prefix");
269 }
Craig Topper8e92e852014-02-02 07:46:05 +0000270 } else if (OpPrefix == X86Local::PD && HasVEX_LPrefix)
Sean Callananc3fd5232011-03-15 01:23:15 +0000271 insnContext = IC_VEX_L_OPSIZE;
Craig Topper0a5e90c2018-06-19 04:24:42 +0000272 else if (OpPrefix == X86Local::PD && (VEX_WPrefix == X86Local::VEX_W1 ||
273 VEX_WPrefix == X86Local::VEX_W1X))
Sean Callananc3fd5232011-03-15 01:23:15 +0000274 insnContext = IC_VEX_W_OPSIZE;
Craig Topper8e92e852014-02-02 07:46:05 +0000275 else if (OpPrefix == X86Local::PD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000276 insnContext = IC_VEX_OPSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000277 else if (HasVEX_LPrefix && OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000278 insnContext = IC_VEX_L_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000279 else if (HasVEX_LPrefix && OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000280 insnContext = IC_VEX_L_XD;
Craig Topper0a5e90c2018-06-19 04:24:42 +0000281 else if ((VEX_WPrefix == X86Local::VEX_W1 ||
282 VEX_WPrefix == X86Local::VEX_W1X) && OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000283 insnContext = IC_VEX_W_XS;
Craig Topper0a5e90c2018-06-19 04:24:42 +0000284 else if ((VEX_WPrefix == X86Local::VEX_W1 ||
285 VEX_WPrefix == X86Local::VEX_W1X) && OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000286 insnContext = IC_VEX_W_XD;
Craig Topper0a5e90c2018-06-19 04:24:42 +0000287 else if ((VEX_WPrefix == X86Local::VEX_W1 ||
288 VEX_WPrefix == X86Local::VEX_W1X) && OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000289 insnContext = IC_VEX_W;
Craig Topper5ccb6172014-02-18 00:21:49 +0000290 else if (HasVEX_LPrefix && OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000291 insnContext = IC_VEX_L;
Craig Topper10243c82014-01-31 08:47:06 +0000292 else if (OpPrefix == X86Local::XD)
Sean Callananc3fd5232011-03-15 01:23:15 +0000293 insnContext = IC_VEX_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000294 else if (OpPrefix == X86Local::XS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000295 insnContext = IC_VEX_XS;
Craig Topper5ccb6172014-02-18 00:21:49 +0000296 else if (OpPrefix == X86Local::PS)
Sean Callananc3fd5232011-03-15 01:23:15 +0000297 insnContext = IC_VEX;
Craig Topper5ccb6172014-02-18 00:21:49 +0000298 else {
299 errs() << "Instruction does not use a prefix: " << Name << "\n";
300 llvm_unreachable("Invalid prefix");
301 }
Craig Topper055845f2015-01-02 07:02:25 +0000302 } else if (Is64Bit || HasREX_WPrefix || AdSize == X86Local::AdSize64) {
Craig Topperfa6298a2014-02-02 09:25:09 +0000303 if (HasREX_WPrefix && (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD))
Sean Callanan04cc3072009-12-19 02:59:52 +0000304 insnContext = IC_64BIT_REXW_OPSIZE;
Craig Topperae8e1b32015-01-03 00:00:20 +0000305 else if (HasREX_WPrefix && AdSize == X86Local::AdSize32)
306 insnContext = IC_64BIT_REXW_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000307 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Topper88cb33e2011-10-01 19:54:56 +0000308 insnContext = IC_64BIT_XD_OPSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000309 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Toppera6978522011-10-11 04:34:23 +0000310 insnContext = IC_64BIT_XS_OPSIZE;
Gabor Buellac8ded042018-05-01 10:01:16 +0000311 else if (AdSize == X86Local::AdSize32 && OpPrefix == X86Local::PD)
312 insnContext = IC_64BIT_OPSIZE_ADSIZE;
Craig Topper99bcab72014-12-31 07:07:31 +0000313 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize32)
314 insnContext = IC_64BIT_OPSIZE_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000315 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000316 insnContext = IC_64BIT_OPSIZE;
Craig Topperb86338f2014-12-24 06:05:22 +0000317 else if (AdSize == X86Local::AdSize32)
Craig Topper6491c802012-02-27 01:54:29 +0000318 insnContext = IC_64BIT_ADSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000319 else if (HasREX_WPrefix && OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000320 insnContext = IC_64BIT_REXW_XS;
Craig Topper10243c82014-01-31 08:47:06 +0000321 else if (HasREX_WPrefix && OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000322 insnContext = IC_64BIT_REXW_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000323 else if (OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000324 insnContext = IC_64BIT_XD;
Craig Topper10243c82014-01-31 08:47:06 +0000325 else if (OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000326 insnContext = IC_64BIT_XS;
327 else if (HasREX_WPrefix)
328 insnContext = IC_64BIT_REXW;
329 else
330 insnContext = IC_64BIT;
331 } else {
Craig Topperfa6298a2014-02-02 09:25:09 +0000332 if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
Craig Topper88cb33e2011-10-01 19:54:56 +0000333 insnContext = IC_XD_OPSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000334 else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
Craig Toppera6978522011-10-11 04:34:23 +0000335 insnContext = IC_XS_OPSIZE;
Craig Topper665f7442018-04-05 18:20:14 +0000336 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XD)
337 insnContext = IC_XD_ADSIZE;
338 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XS)
339 insnContext = IC_XS_ADSIZE;
Gabor Buellac8ded042018-05-01 10:01:16 +0000340 else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::PD)
341 insnContext = IC_OPSIZE_ADSIZE;
Craig Topper99bcab72014-12-31 07:07:31 +0000342 else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize16)
343 insnContext = IC_OPSIZE_ADSIZE;
Craig Topperfa6298a2014-02-02 09:25:09 +0000344 else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000345 insnContext = IC_OPSIZE;
Craig Topperb86338f2014-12-24 06:05:22 +0000346 else if (AdSize == X86Local::AdSize16)
Craig Topper6491c802012-02-27 01:54:29 +0000347 insnContext = IC_ADSIZE;
Craig Topper10243c82014-01-31 08:47:06 +0000348 else if (OpPrefix == X86Local::XD)
Sean Callanan04cc3072009-12-19 02:59:52 +0000349 insnContext = IC_XD;
Craig Toppere2347df2014-02-20 07:59:43 +0000350 else if (OpPrefix == X86Local::XS)
Sean Callanan04cc3072009-12-19 02:59:52 +0000351 insnContext = IC_XS;
352 else
353 insnContext = IC;
354 }
355
356 return insnContext;
357}
Craig Topperac172e22012-07-30 04:48:12 +0000358
Adam Nemet5933c2f2014-07-17 17:04:56 +0000359void RecognizableInstr::adjustOperandEncoding(OperandEncoding &encoding) {
360 // The scaling factor for AVX512 compressed displacement encoding is an
361 // instruction attribute. Adjust the ModRM encoding type to include the
362 // scale for compressed displacement.
Craig Topper33ac0642017-01-16 05:44:25 +0000363 if ((encoding != ENCODING_RM && encoding != ENCODING_VSIB) ||CD8_Scale == 0)
Adam Nemet5933c2f2014-07-17 17:04:56 +0000364 return;
365 encoding = (OperandEncoding)(encoding + Log2_32(CD8_Scale));
Craig Topper33ac0642017-01-16 05:44:25 +0000366 assert(((encoding >= ENCODING_RM && encoding <= ENCODING_RM_CD64) ||
367 (encoding >= ENCODING_VSIB && encoding <= ENCODING_VSIB_CD64)) &&
368 "Invalid CDisp scaling");
Adam Nemet5933c2f2014-07-17 17:04:56 +0000369}
370
Craig Topperf7755df2012-07-12 06:52:41 +0000371void RecognizableInstr::handleOperand(bool optional, unsigned &operandIndex,
372 unsigned &physicalOperandIndex,
Craig Topper983be942016-02-16 04:24:56 +0000373 unsigned numPhysicalOperands,
Craig Topperf7755df2012-07-12 06:52:41 +0000374 const unsigned *operandMapping,
375 OperandEncoding (*encodingFromString)
376 (const std::string&,
Craig Topperfa6298a2014-02-02 09:25:09 +0000377 uint8_t OpSize)) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000378 if (optional) {
379 if (physicalOperandIndex >= numPhysicalOperands)
380 return;
381 } else {
382 assert(physicalOperandIndex < numPhysicalOperands);
383 }
Craig Topperac172e22012-07-30 04:48:12 +0000384
Sean Callanan04cc3072009-12-19 02:59:52 +0000385 while (operandMapping[operandIndex] != operandIndex) {
386 Spec->operands[operandIndex].encoding = ENCODING_DUP;
387 Spec->operands[operandIndex].type =
388 (OperandType)(TYPE_DUP0 + operandMapping[operandIndex]);
389 ++operandIndex;
390 }
Craig Topperac172e22012-07-30 04:48:12 +0000391
Alexander Shaposhnikovd968f6f2017-07-05 20:14:54 +0000392 StringRef typeName = (*Operands)[operandIndex].Rec->getName();
Sean Callananc3fd5232011-03-15 01:23:15 +0000393
Adam Nemet5933c2f2014-07-17 17:04:56 +0000394 OperandEncoding encoding = encodingFromString(typeName, OpSize);
395 // Adjust the encoding type for an operand based on the instruction.
396 adjustOperandEncoding(encoding);
397 Spec->operands[operandIndex].encoding = encoding;
Craig Topperac172e22012-07-30 04:48:12 +0000398 Spec->operands[operandIndex].type = typeFromString(typeName,
Craig Topperfa6298a2014-02-02 09:25:09 +0000399 HasREX_WPrefix, OpSize);
Craig Topperac172e22012-07-30 04:48:12 +0000400
Sean Callanan04cc3072009-12-19 02:59:52 +0000401 ++operandIndex;
402 ++physicalOperandIndex;
403}
404
Craig Topper83b7e242014-01-02 03:58:45 +0000405void RecognizableInstr::emitInstructionSpecifier() {
Sean Callanan04cc3072009-12-19 02:59:52 +0000406 Spec->name = Name;
Craig Topperac172e22012-07-30 04:48:12 +0000407
Sean Callanan04cc3072009-12-19 02:59:52 +0000408 Spec->insnContext = insnContext();
Craig Topperac172e22012-07-30 04:48:12 +0000409
Chris Lattnerd8adec72010-11-01 04:03:32 +0000410 const std::vector<CGIOperandList::OperandInfo> &OperandList = *Operands;
Craig Topperac172e22012-07-30 04:48:12 +0000411
Sean Callanan04cc3072009-12-19 02:59:52 +0000412 unsigned numOperands = OperandList.size();
413 unsigned numPhysicalOperands = 0;
Craig Topperac172e22012-07-30 04:48:12 +0000414
Sean Callanan04cc3072009-12-19 02:59:52 +0000415 // operandMapping maps from operands in OperandList to their originals.
416 // If operandMapping[i] != i, then the entry is a duplicate.
417 unsigned operandMapping[X86_MAX_OPERANDS];
Craig Topper2ba766a2011-12-30 06:23:39 +0000418 assert(numOperands <= X86_MAX_OPERANDS && "X86_MAX_OPERANDS is not large enough");
Craig Topperac172e22012-07-30 04:48:12 +0000419
Craig Topperf7755df2012-07-12 06:52:41 +0000420 for (unsigned operandIndex = 0; operandIndex < numOperands; ++operandIndex) {
Alexander Kornienko8c0809c2015-01-15 11:41:30 +0000421 if (!OperandList[operandIndex].Constraints.empty()) {
Chris Lattnerd8adec72010-11-01 04:03:32 +0000422 const CGIOperandList::ConstraintInfo &Constraint =
Chris Lattnera9dfb1b2010-02-10 01:45:28 +0000423 OperandList[operandIndex].Constraints[0];
424 if (Constraint.isTied()) {
Craig Topperf7755df2012-07-12 06:52:41 +0000425 operandMapping[operandIndex] = operandIndex;
426 operandMapping[Constraint.getTiedOperand()] = operandIndex;
Sean Callanan04cc3072009-12-19 02:59:52 +0000427 } else {
428 ++numPhysicalOperands;
429 operandMapping[operandIndex] = operandIndex;
430 }
431 } else {
432 ++numPhysicalOperands;
433 operandMapping[operandIndex] = operandIndex;
434 }
Sean Callanan04cc3072009-12-19 02:59:52 +0000435 }
Craig Topperac172e22012-07-30 04:48:12 +0000436
Sean Callanan04cc3072009-12-19 02:59:52 +0000437#define HANDLE_OPERAND(class) \
438 handleOperand(false, \
439 operandIndex, \
440 physicalOperandIndex, \
441 numPhysicalOperands, \
442 operandMapping, \
443 class##EncodingFromString);
Craig Topperac172e22012-07-30 04:48:12 +0000444
Sean Callanan04cc3072009-12-19 02:59:52 +0000445#define HANDLE_OPTIONAL(class) \
446 handleOperand(true, \
447 operandIndex, \
448 physicalOperandIndex, \
449 numPhysicalOperands, \
450 operandMapping, \
451 class##EncodingFromString);
Craig Topperac172e22012-07-30 04:48:12 +0000452
Sean Callanan04cc3072009-12-19 02:59:52 +0000453 // operandIndex should always be < numOperands
Craig Topperf7755df2012-07-12 06:52:41 +0000454 unsigned operandIndex = 0;
Sean Callanan04cc3072009-12-19 02:59:52 +0000455 // physicalOperandIndex should always be < numPhysicalOperands
456 unsigned physicalOperandIndex = 0;
Craig Topperac172e22012-07-30 04:48:12 +0000457
Craig Topper802e2e72016-02-18 04:54:32 +0000458#ifndef NDEBUG
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000459 // Given the set of prefix bits, how many additional operands does the
460 // instruction have?
461 unsigned additionalOperands = 0;
Craig Topper5f8419d2016-08-22 07:38:50 +0000462 if (HasVEX_4V)
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000463 ++additionalOperands;
464 if (HasEVEX_K)
465 ++additionalOperands;
Craig Topper802e2e72016-02-18 04:54:32 +0000466#endif
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000467
Sean Callanan04cc3072009-12-19 02:59:52 +0000468 switch (Form) {
Craig Topper35da3d12014-01-16 07:36:58 +0000469 default: llvm_unreachable("Unhandled form");
David Woodhouse2ef8d9c2014-01-22 15:08:08 +0000470 case X86Local::RawFrmSrc:
471 HANDLE_OPERAND(relocation);
472 return;
David Woodhouseb33c2ef2014-01-22 15:08:21 +0000473 case X86Local::RawFrmDst:
474 HANDLE_OPERAND(relocation);
475 return;
David Woodhouse9bbf7ca2014-01-22 15:08:36 +0000476 case X86Local::RawFrmDstSrc:
477 HANDLE_OPERAND(relocation);
478 HANDLE_OPERAND(relocation);
479 return;
Sean Callanan04cc3072009-12-19 02:59:52 +0000480 case X86Local::RawFrm:
481 // Operand 1 (optional) is an address or immediate.
Craig Topper8a01c412016-02-18 04:54:29 +0000482 assert(numPhysicalOperands <= 1 &&
Sean Callanan04cc3072009-12-19 02:59:52 +0000483 "Unexpected number of operands for RawFrm");
484 HANDLE_OPTIONAL(relocation)
Sean Callanan04cc3072009-12-19 02:59:52 +0000485 break;
Craig Topper35da3d12014-01-16 07:36:58 +0000486 case X86Local::RawFrmMemOffs:
487 // Operand 1 is an address.
488 HANDLE_OPERAND(relocation);
489 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000490 case X86Local::AddRegFrm:
491 // Operand 1 is added to the opcode.
492 // Operand 2 (optional) is an address.
493 assert(numPhysicalOperands >= 1 && numPhysicalOperands <= 2 &&
494 "Unexpected number of operands for AddRegFrm");
495 HANDLE_OPERAND(opcodeModifier)
496 HANDLE_OPTIONAL(relocation)
497 break;
Craig Topper80aa2292019-04-05 19:28:09 +0000498 case X86Local::AddCCFrm:
499 // Operand 1 (optional) is an address or immediate.
500 assert(numPhysicalOperands == 2 &&
501 "Unexpected number of operands for AddCCFrm");
502 HANDLE_OPERAND(relocation)
503 HANDLE_OPERAND(opcodeModifier)
504 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000505 case X86Local::MRMDestReg:
506 // Operand 1 is a register operand in the R/M field.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000507 // - In AVX512 there may be a mask operand here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000508 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper4f2fba12011-08-30 07:09:35 +0000509 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000510 // Operand 3 (optional) is an immediate.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000511 assert(numPhysicalOperands >= 2 + additionalOperands &&
512 numPhysicalOperands <= 3 + additionalOperands &&
513 "Unexpected number of operands for MRMDestRegFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000514
Sean Callanan04cc3072009-12-19 02:59:52 +0000515 HANDLE_OPERAND(rmRegister)
Adam Nemet5068d0f2014-10-08 23:25:29 +0000516 if (HasEVEX_K)
517 HANDLE_OPERAND(writemaskRegister)
Craig Topper4f2fba12011-08-30 07:09:35 +0000518
Craig Topperd402df32014-02-02 07:08:01 +0000519 if (HasVEX_4V)
Craig Topper4f2fba12011-08-30 07:09:35 +0000520 // FIXME: In AVX, the register below becomes the one encoded
521 // in ModRMVEX and the one above the one in the VEX.VVVV field
522 HANDLE_OPERAND(vvvvRegister)
Craig Topperac172e22012-07-30 04:48:12 +0000523
Sean Callanan04cc3072009-12-19 02:59:52 +0000524 HANDLE_OPERAND(roRegister)
525 HANDLE_OPTIONAL(immediate)
526 break;
527 case X86Local::MRMDestMem:
528 // Operand 1 is a memory operand (possibly SIB-extended)
529 // Operand 2 is a register operand in the Reg/Opcode field.
Craig Topper4f2fba12011-08-30 07:09:35 +0000530 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000531 // Operand 3 (optional) is an immediate.
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000532 assert(numPhysicalOperands >= 2 + additionalOperands &&
533 numPhysicalOperands <= 3 + additionalOperands &&
534 "Unexpected number of operands for MRMDestMemFrm with VEX_4V");
535
Sean Callanan04cc3072009-12-19 02:59:52 +0000536 HANDLE_OPERAND(memory)
Craig Topper4f2fba12011-08-30 07:09:35 +0000537
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000538 if (HasEVEX_K)
539 HANDLE_OPERAND(writemaskRegister)
540
Craig Topperd402df32014-02-02 07:08:01 +0000541 if (HasVEX_4V)
Craig Topper4f2fba12011-08-30 07:09:35 +0000542 // FIXME: In AVX, the register below becomes the one encoded
543 // in ModRMVEX and the one above the one in the VEX.VVVV field
544 HANDLE_OPERAND(vvvvRegister)
Craig Topperac172e22012-07-30 04:48:12 +0000545
Sean Callanan04cc3072009-12-19 02:59:52 +0000546 HANDLE_OPERAND(roRegister)
547 HANDLE_OPTIONAL(immediate)
548 break;
549 case X86Local::MRMSrcReg:
550 // Operand 1 is a register operand in the Reg/Opcode field.
551 // Operand 2 is a register operand in the R/M field.
Sean Callananc3fd5232011-03-15 01:23:15 +0000552 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000553 // Operand 3 (optional) is an immediate.
Benjamin Krameref479ea2012-05-29 19:05:25 +0000554 // Operand 4 (optional) is an immediate.
Bruno Cardoso Lopesc2f87b72010-06-08 22:51:23 +0000555
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000556 assert(numPhysicalOperands >= 2 + additionalOperands &&
557 numPhysicalOperands <= 4 + additionalOperands &&
558 "Unexpected number of operands for MRMSrcRegFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000559
Sean Callananc3fd5232011-03-15 01:23:15 +0000560 HANDLE_OPERAND(roRegister)
Craig Topper25ea4e52011-10-16 03:51:13 +0000561
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000562 if (HasEVEX_K)
563 HANDLE_OPERAND(writemaskRegister)
564
Craig Topperd402df32014-02-02 07:08:01 +0000565 if (HasVEX_4V)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000566 // FIXME: In AVX, the register below becomes the one encoded
567 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callananc3fd5232011-03-15 01:23:15 +0000568 HANDLE_OPERAND(vvvvRegister)
Craig Topper25ea4e52011-10-16 03:51:13 +0000569
Sean Callananc3fd5232011-03-15 01:23:15 +0000570 HANDLE_OPERAND(rmRegister)
Craig Topper9b20fec2016-08-22 07:38:45 +0000571 HANDLE_OPTIONAL(immediate)
Craig Topper2ba766a2011-12-30 06:23:39 +0000572 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Sean Callanan04cc3072009-12-19 02:59:52 +0000573 break;
Craig Topper5f8419d2016-08-22 07:38:50 +0000574 case X86Local::MRMSrcReg4VOp3:
575 assert(numPhysicalOperands == 3 &&
Simon Pilgrim684372d2017-04-27 14:25:04 +0000576 "Unexpected number of operands for MRMSrcReg4VOp3Frm");
Craig Topper5f8419d2016-08-22 07:38:50 +0000577 HANDLE_OPERAND(roRegister)
578 HANDLE_OPERAND(rmRegister)
579 HANDLE_OPERAND(vvvvRegister)
580 break;
Craig Topper9b20fec2016-08-22 07:38:45 +0000581 case X86Local::MRMSrcRegOp4:
582 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
583 "Unexpected number of operands for MRMSrcRegOp4Frm");
584 HANDLE_OPERAND(roRegister)
585 HANDLE_OPERAND(vvvvRegister)
586 HANDLE_OPERAND(immediate) // Register in imm[7:4]
587 HANDLE_OPERAND(rmRegister)
588 HANDLE_OPTIONAL(immediate)
589 break;
Craig Toppere0bfeb52019-04-05 19:27:41 +0000590 case X86Local::MRMSrcRegCC:
591 assert(numPhysicalOperands == 3 &&
592 "Unexpected number of operands for MRMSrcRegCC");
593 HANDLE_OPERAND(roRegister)
594 HANDLE_OPERAND(rmRegister)
595 HANDLE_OPERAND(opcodeModifier)
596 break;
Sean Callanan04cc3072009-12-19 02:59:52 +0000597 case X86Local::MRMSrcMem:
598 // Operand 1 is a register operand in the Reg/Opcode field.
599 // Operand 2 is a memory operand (possibly SIB-extended)
Sean Callananc3fd5232011-03-15 01:23:15 +0000600 // - In AVX, there is a register operand in the VEX.vvvv field here -
Sean Callanan04cc3072009-12-19 02:59:52 +0000601 // Operand 3 (optional) is an immediate.
Craig Topperaea148c2011-10-16 07:55:05 +0000602
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000603 assert(numPhysicalOperands >= 2 + additionalOperands &&
604 numPhysicalOperands <= 4 + additionalOperands &&
605 "Unexpected number of operands for MRMSrcMemFrm");
Craig Topperac172e22012-07-30 04:48:12 +0000606
Sean Callanan04cc3072009-12-19 02:59:52 +0000607 HANDLE_OPERAND(roRegister)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000608
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000609 if (HasEVEX_K)
610 HANDLE_OPERAND(writemaskRegister)
611
Craig Topperd402df32014-02-02 07:08:01 +0000612 if (HasVEX_4V)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000613 // FIXME: In AVX, the register below becomes the one encoded
614 // in ModRMVEX and the one above the one in the VEX.VVVV field
Sean Callananc3fd5232011-03-15 01:23:15 +0000615 HANDLE_OPERAND(vvvvRegister)
Bruno Cardoso Lopesfd5458d2010-06-11 23:50:47 +0000616
Sean Callanan04cc3072009-12-19 02:59:52 +0000617 HANDLE_OPERAND(memory)
Craig Topper9b20fec2016-08-22 07:38:45 +0000618 HANDLE_OPTIONAL(immediate)
Craig Topper2ba766a2011-12-30 06:23:39 +0000619 HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
Sean Callanan04cc3072009-12-19 02:59:52 +0000620 break;
Craig Topper5f8419d2016-08-22 07:38:50 +0000621 case X86Local::MRMSrcMem4VOp3:
622 assert(numPhysicalOperands == 3 &&
Simon Pilgrim684372d2017-04-27 14:25:04 +0000623 "Unexpected number of operands for MRMSrcMem4VOp3Frm");
Craig Topper5f8419d2016-08-22 07:38:50 +0000624 HANDLE_OPERAND(roRegister)
625 HANDLE_OPERAND(memory)
626 HANDLE_OPERAND(vvvvRegister)
627 break;
Craig Topper9b20fec2016-08-22 07:38:45 +0000628 case X86Local::MRMSrcMemOp4:
629 assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
630 "Unexpected number of operands for MRMSrcMemOp4Frm");
631 HANDLE_OPERAND(roRegister)
632 HANDLE_OPERAND(vvvvRegister)
633 HANDLE_OPERAND(immediate) // Register in imm[7:4]
634 HANDLE_OPERAND(memory)
635 HANDLE_OPTIONAL(immediate)
636 break;
Craig Toppere0bfeb52019-04-05 19:27:41 +0000637 case X86Local::MRMSrcMemCC:
638 assert(numPhysicalOperands == 3 &&
639 "Unexpected number of operands for MRMSrcMemCC");
640 HANDLE_OPERAND(roRegister)
641 HANDLE_OPERAND(memory)
642 HANDLE_OPERAND(opcodeModifier)
643 break;
Craig Topper7323c2b2019-04-05 19:27:49 +0000644 case X86Local::MRMXrCC:
645 assert(numPhysicalOperands == 2 &&
646 "Unexpected number of operands for MRMXrCC");
647 HANDLE_OPERAND(rmRegister)
648 HANDLE_OPERAND(opcodeModifier)
649 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000650 case X86Local::MRMXr:
Sean Callanan04cc3072009-12-19 02:59:52 +0000651 case X86Local::MRM0r:
652 case X86Local::MRM1r:
653 case X86Local::MRM2r:
654 case X86Local::MRM3r:
655 case X86Local::MRM4r:
656 case X86Local::MRM5r:
657 case X86Local::MRM6r:
658 case X86Local::MRM7r:
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000659 // Operand 1 is a register operand in the R/M field.
660 // Operand 2 (optional) is an immediate or relocation.
661 // Operand 3 (optional) is an immediate.
662 assert(numPhysicalOperands >= 0 + additionalOperands &&
663 numPhysicalOperands <= 3 + additionalOperands &&
664 "Unexpected number of operands for MRMnr");
665
Craig Topperd402df32014-02-02 07:08:01 +0000666 if (HasVEX_4V)
Craig Topper27ad1252011-10-15 20:46:47 +0000667 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000668
669 if (HasEVEX_K)
670 HANDLE_OPERAND(writemaskRegister)
Sean Callanan04cc3072009-12-19 02:59:52 +0000671 HANDLE_OPTIONAL(rmRegister)
672 HANDLE_OPTIONAL(relocation)
Benjamin Krameref479ea2012-05-29 19:05:25 +0000673 HANDLE_OPTIONAL(immediate)
Sean Callanan04cc3072009-12-19 02:59:52 +0000674 break;
Craig Topper7323c2b2019-04-05 19:27:49 +0000675 case X86Local::MRMXmCC:
676 assert(numPhysicalOperands == 2 &&
677 "Unexpected number of operands for MRMXm");
678 HANDLE_OPERAND(memory)
679 HANDLE_OPERAND(opcodeModifier)
680 break;
Craig Toppera0869dc2014-02-10 06:55:41 +0000681 case X86Local::MRMXm:
Sean Callanan04cc3072009-12-19 02:59:52 +0000682 case X86Local::MRM0m:
683 case X86Local::MRM1m:
684 case X86Local::MRM2m:
685 case X86Local::MRM3m:
686 case X86Local::MRM4m:
687 case X86Local::MRM5m:
688 case X86Local::MRM6m:
689 case X86Local::MRM7m:
Adam Nemetfd6a73d2014-10-01 19:28:11 +0000690 // Operand 1 is a memory operand (possibly SIB-extended)
691 // Operand 2 (optional) is an immediate or relocation.
692 assert(numPhysicalOperands >= 1 + additionalOperands &&
693 numPhysicalOperands <= 2 + additionalOperands &&
694 "Unexpected number of operands for MRMnm");
695
Craig Topperd402df32014-02-02 07:08:01 +0000696 if (HasVEX_4V)
Craig Topper27ad1252011-10-15 20:46:47 +0000697 HANDLE_OPERAND(vvvvRegister)
Elena Demikhovskyc35219e2013-08-22 12:18:28 +0000698 if (HasEVEX_K)
699 HANDLE_OPERAND(writemaskRegister)
Sean Callanan04cc3072009-12-19 02:59:52 +0000700 HANDLE_OPERAND(memory)
701 HANDLE_OPTIONAL(relocation)
702 break;
Sean Callanan8d302b22010-10-04 22:45:51 +0000703 case X86Local::RawFrmImm8:
704 // operand 1 is a 16-bit immediate
705 // operand 2 is an 8-bit immediate
706 assert(numPhysicalOperands == 2 &&
707 "Unexpected number of operands for X86Local::RawFrmImm8");
708 HANDLE_OPERAND(immediate)
709 HANDLE_OPERAND(immediate)
710 break;
711 case X86Local::RawFrmImm16:
712 // operand 1 is a 16-bit immediate
713 // operand 2 is a 16-bit immediate
714 HANDLE_OPERAND(immediate)
715 HANDLE_OPERAND(immediate)
716 break;
Craig Toppera51ec942018-03-24 07:15:46 +0000717#define MAP(from, to) case X86Local::MRM_##from:
718 X86_INSTR_MRM_MAPPING
719#undef MAP
Craig Topperbca036b2018-03-12 17:24:50 +0000720 HANDLE_OPTIONAL(relocation)
Sean Callanan04cc3072009-12-19 02:59:52 +0000721 break;
722 }
Craig Topperac172e22012-07-30 04:48:12 +0000723
Craig Toppera51ec942018-03-24 07:15:46 +0000724#undef HANDLE_OPERAND
725#undef HANDLE_OPTIONAL
Sean Callanan04cc3072009-12-19 02:59:52 +0000726}
727
728void RecognizableInstr::emitDecodePath(DisassemblerTables &tables) const {
729 // Special cases where the LLVM tables are not complete
730
Sean Callanandde9c122010-02-12 23:39:46 +0000731#define MAP(from, to) \
Craig Toppera3776de2015-02-15 04:16:44 +0000732 case X86Local::MRM_##from:
Sean Callanan04cc3072009-12-19 02:59:52 +0000733
Richard Smith8a3adc32017-12-08 22:32:35 +0000734 llvm::Optional<OpcodeType> opcodeType;
Craig Topper10243c82014-01-31 08:47:06 +0000735 switch (OpMap) {
736 default: llvm_unreachable("Invalid map!");
Craig Topper097b47a2018-03-24 07:48:54 +0000737 case X86Local::OB: opcodeType = ONEBYTE; break;
738 case X86Local::TB: opcodeType = TWOBYTE; break;
739 case X86Local::T8: opcodeType = THREEBYTE_38; break;
740 case X86Local::TA: opcodeType = THREEBYTE_3A; break;
741 case X86Local::XOP8: opcodeType = XOP8_MAP; break;
742 case X86Local::XOP9: opcodeType = XOP9_MAP; break;
743 case X86Local::XOPA: opcodeType = XOPA_MAP; break;
744 case X86Local::ThreeDNow: opcodeType = THREEDNOW_MAP; break;
Craig Topper0bafe232018-03-24 07:15:45 +0000745 }
Craig Toppera0869dc2014-02-10 06:55:41 +0000746
Craig Topperc0e18802018-03-24 07:15:47 +0000747 std::unique_ptr<ModRMFilter> filter;
Craig Topper0bafe232018-03-24 07:15:45 +0000748 switch (Form) {
749 default: llvm_unreachable("Invalid form!");
750 case X86Local::Pseudo: llvm_unreachable("Pseudo should not be emitted!");
751 case X86Local::RawFrm:
752 case X86Local::AddRegFrm:
753 case X86Local::RawFrmMemOffs:
754 case X86Local::RawFrmSrc:
755 case X86Local::RawFrmDst:
756 case X86Local::RawFrmDstSrc:
757 case X86Local::RawFrmImm8:
758 case X86Local::RawFrmImm16:
Craig Topper80aa2292019-04-05 19:28:09 +0000759 case X86Local::AddCCFrm:
Craig Topperc0e18802018-03-24 07:15:47 +0000760 filter = llvm::make_unique<DumbFilter>();
Craig Topper9e3e38a2013-10-03 05:17:48 +0000761 break;
Craig Topper0bafe232018-03-24 07:15:45 +0000762 case X86Local::MRMDestReg:
763 case X86Local::MRMSrcReg:
764 case X86Local::MRMSrcReg4VOp3:
765 case X86Local::MRMSrcRegOp4:
Craig Toppere0bfeb52019-04-05 19:27:41 +0000766 case X86Local::MRMSrcRegCC:
Craig Topper7323c2b2019-04-05 19:27:49 +0000767 case X86Local::MRMXrCC:
Craig Topper0bafe232018-03-24 07:15:45 +0000768 case X86Local::MRMXr:
Craig Topperc0e18802018-03-24 07:15:47 +0000769 filter = llvm::make_unique<ModFilter>(true);
Craig Topper0bafe232018-03-24 07:15:45 +0000770 break;
771 case X86Local::MRMDestMem:
772 case X86Local::MRMSrcMem:
773 case X86Local::MRMSrcMem4VOp3:
774 case X86Local::MRMSrcMemOp4:
Craig Toppere0bfeb52019-04-05 19:27:41 +0000775 case X86Local::MRMSrcMemCC:
Craig Topper7323c2b2019-04-05 19:27:49 +0000776 case X86Local::MRMXmCC:
Craig Topper0bafe232018-03-24 07:15:45 +0000777 case X86Local::MRMXm:
Craig Topperc0e18802018-03-24 07:15:47 +0000778 filter = llvm::make_unique<ModFilter>(false);
Craig Topper0bafe232018-03-24 07:15:45 +0000779 break;
780 case X86Local::MRM0r: case X86Local::MRM1r:
781 case X86Local::MRM2r: case X86Local::MRM3r:
782 case X86Local::MRM4r: case X86Local::MRM5r:
783 case X86Local::MRM6r: case X86Local::MRM7r:
Craig Topperc0e18802018-03-24 07:15:47 +0000784 filter = llvm::make_unique<ExtendedFilter>(true, Form - X86Local::MRM0r);
Craig Topper0bafe232018-03-24 07:15:45 +0000785 break;
786 case X86Local::MRM0m: case X86Local::MRM1m:
787 case X86Local::MRM2m: case X86Local::MRM3m:
788 case X86Local::MRM4m: case X86Local::MRM5m:
789 case X86Local::MRM6m: case X86Local::MRM7m:
Craig Topperc0e18802018-03-24 07:15:47 +0000790 filter = llvm::make_unique<ExtendedFilter>(false, Form - X86Local::MRM0m);
Craig Topper0bafe232018-03-24 07:15:45 +0000791 break;
792 X86_INSTR_MRM_MAPPING
Craig Topperc0e18802018-03-24 07:15:47 +0000793 filter = llvm::make_unique<ExactFilter>(0xC0 + Form - X86Local::MRM_C0);
Craig Topper0bafe232018-03-24 07:15:45 +0000794 break;
795 } // switch (Form)
796
797 uint8_t opcodeToSet = Opcode;
Sean Callanan04cc3072009-12-19 02:59:52 +0000798
Craig Topper055845f2015-01-02 07:02:25 +0000799 unsigned AddressSize = 0;
800 switch (AdSize) {
801 case X86Local::AdSize16: AddressSize = 16; break;
802 case X86Local::AdSize32: AddressSize = 32; break;
803 case X86Local::AdSize64: AddressSize = 64; break;
804 }
805
Richard Smith8a3adc32017-12-08 22:32:35 +0000806 assert(opcodeType && "Opcode type not set");
Sean Callanan04cc3072009-12-19 02:59:52 +0000807 assert(filter && "Filter not set");
808
Craig Toppere0bfeb52019-04-05 19:27:41 +0000809 if (Form == X86Local::AddRegFrm || Form == X86Local::MRMSrcRegCC ||
Craig Topper7323c2b2019-04-05 19:27:49 +0000810 Form == X86Local::MRMSrcMemCC || Form == X86Local::MRMXrCC ||
Craig Topper80aa2292019-04-05 19:28:09 +0000811 Form == X86Local::MRMXmCC || Form == X86Local::AddCCFrm) {
Craig Toppere0bfeb52019-04-05 19:27:41 +0000812 unsigned Count = Form == X86Local::AddRegFrm ? 8 : 16;
813 assert(((opcodeToSet % Count) == 0) && "ADDREG_FRM opcode not aligned");
Craig Topperac172e22012-07-30 04:48:12 +0000814
Craig Topper623b0d62014-01-01 14:22:37 +0000815 uint8_t currentOpcode;
Sean Callanan04cc3072009-12-19 02:59:52 +0000816
Craig Toppere0bfeb52019-04-05 19:27:41 +0000817 for (currentOpcode = opcodeToSet; currentOpcode < opcodeToSet + Count;
Craig Topper623b0d62014-01-01 14:22:37 +0000818 ++currentOpcode)
Richard Smith8a3adc32017-12-08 22:32:35 +0000819 tables.setTableFields(*opcodeType, insnContext(), currentOpcode, *filter,
Craig Toppere06cc6d2017-10-23 16:49:26 +0000820 UID, Is32Bit, OpPrefix == 0,
821 IgnoresVEX_L || EncodeRC,
Craig Toppere9751272017-10-22 06:18:26 +0000822 VEX_WPrefix == X86Local::VEX_WIG, AddressSize);
Sean Callanan04cc3072009-12-19 02:59:52 +0000823 } else {
Richard Smith8a3adc32017-12-08 22:32:35 +0000824 tables.setTableFields(*opcodeType, insnContext(), opcodeToSet, *filter, UID,
Craig Toppere06cc6d2017-10-23 16:49:26 +0000825 Is32Bit, OpPrefix == 0, IgnoresVEX_L || EncodeRC,
Craig Toppere9751272017-10-22 06:18:26 +0000826 VEX_WPrefix == X86Local::VEX_WIG, AddressSize);
Sean Callanan04cc3072009-12-19 02:59:52 +0000827 }
Craig Topperac172e22012-07-30 04:48:12 +0000828
Sean Callanandde9c122010-02-12 23:39:46 +0000829#undef MAP
Sean Callanan04cc3072009-12-19 02:59:52 +0000830}
831
832#define TYPE(str, type) if (s == str) return type;
833OperandType RecognizableInstr::typeFromString(const std::string &s,
Sean Callanan04cc3072009-12-19 02:59:52 +0000834 bool hasREX_WPrefix,
Craig Topperfa6298a2014-02-02 09:25:09 +0000835 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000836 if(hasREX_WPrefix) {
837 // For instructions with a REX_W prefix, a declared 32-bit register encoding
838 // is special.
839 TYPE("GR32", TYPE_R32)
840 }
Craig Topperfa6298a2014-02-02 09:25:09 +0000841 if(OpSize == X86Local::OpSize16) {
842 // For OpSize16 instructions, a declared 16-bit register or
Sean Callanan04cc3072009-12-19 02:59:52 +0000843 // immediate encoding is special.
Craig Topperb7c7f382014-01-15 05:02:02 +0000844 TYPE("GR16", TYPE_Rv)
Craig Topperfa6298a2014-02-02 09:25:09 +0000845 } else if(OpSize == X86Local::OpSize32) {
846 // For OpSize32 instructions, a declared 32-bit register or
Craig Topperb7c7f382014-01-15 05:02:02 +0000847 // immediate encoding is special.
848 TYPE("GR32", TYPE_Rv)
Sean Callanan04cc3072009-12-19 02:59:52 +0000849 }
Craig Topperad944a12017-01-16 06:49:03 +0000850 TYPE("i16mem", TYPE_M)
851 TYPE("i16imm", TYPE_IMM)
852 TYPE("i16i8imm", TYPE_IMM)
Craig Topperb7c7f382014-01-15 05:02:02 +0000853 TYPE("GR16", TYPE_R16)
Craig Topperad944a12017-01-16 06:49:03 +0000854 TYPE("i32mem", TYPE_M)
855 TYPE("i32imm", TYPE_IMM)
856 TYPE("i32i8imm", TYPE_IMM)
Craig Topperb7c7f382014-01-15 05:02:02 +0000857 TYPE("GR32", TYPE_R32)
Craig Toppera422b092013-10-14 04:55:01 +0000858 TYPE("GR32orGR64", TYPE_R32)
Craig Topperad944a12017-01-16 06:49:03 +0000859 TYPE("i64mem", TYPE_M)
860 TYPE("i64i32imm", TYPE_IMM)
861 TYPE("i64i8imm", TYPE_IMM)
Sean Callanan04cc3072009-12-19 02:59:52 +0000862 TYPE("GR64", TYPE_R64)
Craig Topperad944a12017-01-16 06:49:03 +0000863 TYPE("i8mem", TYPE_M)
864 TYPE("i8imm", TYPE_IMM)
Craig Topper620b50c2015-01-21 08:15:54 +0000865 TYPE("u8imm", TYPE_UIMM8)
Craig Toppere732bc62019-03-18 21:33:59 +0000866 TYPE("i16u8imm", TYPE_UIMM8)
Craig Topper53a84672015-01-25 02:21:16 +0000867 TYPE("i32u8imm", TYPE_UIMM8)
Craig Toppere732bc62019-03-18 21:33:59 +0000868 TYPE("i64u8imm", TYPE_UIMM8)
Sean Callanan04cc3072009-12-19 02:59:52 +0000869 TYPE("GR8", TYPE_R8)
Craig Topperad944a12017-01-16 06:49:03 +0000870 TYPE("VR128", TYPE_XMM)
871 TYPE("VR128X", TYPE_XMM)
872 TYPE("f128mem", TYPE_M)
873 TYPE("f256mem", TYPE_M)
874 TYPE("f512mem", TYPE_M)
875 TYPE("FR128", TYPE_XMM)
876 TYPE("FR64", TYPE_XMM)
877 TYPE("FR64X", TYPE_XMM)
878 TYPE("f64mem", TYPE_M)
879 TYPE("sdmem", TYPE_M)
880 TYPE("FR32", TYPE_XMM)
881 TYPE("FR32X", TYPE_XMM)
882 TYPE("f32mem", TYPE_M)
883 TYPE("ssmem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000884 TYPE("RST", TYPE_ST)
Craig Topper7a2944e2019-02-04 04:15:10 +0000885 TYPE("RSTi", TYPE_ST)
Craig Topperad944a12017-01-16 06:49:03 +0000886 TYPE("i128mem", TYPE_M)
887 TYPE("i256mem", TYPE_M)
888 TYPE("i512mem", TYPE_M)
Craig Topperfba613e2017-01-16 06:49:09 +0000889 TYPE("i64i32imm_pcrel", TYPE_REL)
890 TYPE("i16imm_pcrel", TYPE_REL)
891 TYPE("i32imm_pcrel", TYPE_REL)
Craig Toppere0bfeb52019-04-05 19:27:41 +0000892 TYPE("ccode", TYPE_IMM)
Craig Topperad944a12017-01-16 06:49:03 +0000893 TYPE("AVX512RC", TYPE_IMM)
Craig Topperfba613e2017-01-16 06:49:09 +0000894 TYPE("brtarget32", TYPE_REL)
895 TYPE("brtarget16", TYPE_REL)
896 TYPE("brtarget8", TYPE_REL)
Craig Topperad944a12017-01-16 06:49:03 +0000897 TYPE("f80mem", TYPE_M)
898 TYPE("lea64_32mem", TYPE_M)
899 TYPE("lea64mem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000900 TYPE("VR64", TYPE_MM64)
Craig Topperad944a12017-01-16 06:49:03 +0000901 TYPE("i64imm", TYPE_IMM)
Craig Topper7c102522015-01-08 07:41:30 +0000902 TYPE("anymem", TYPE_M)
Craig Topper33dc01d2018-05-01 04:42:00 +0000903 TYPE("opaquemem", TYPE_M)
Sean Callanan04cc3072009-12-19 02:59:52 +0000904 TYPE("SEGMENT_REG", TYPE_SEGMENTREG)
905 TYPE("DEBUG_REG", TYPE_DEBUGREG)
Sean Callanane7e1cf92010-05-06 20:59:00 +0000906 TYPE("CONTROL_REG", TYPE_CONTROLREG)
Craig Topperad944a12017-01-16 06:49:03 +0000907 TYPE("srcidx8", TYPE_SRCIDX)
908 TYPE("srcidx16", TYPE_SRCIDX)
909 TYPE("srcidx32", TYPE_SRCIDX)
910 TYPE("srcidx64", TYPE_SRCIDX)
911 TYPE("dstidx8", TYPE_DSTIDX)
912 TYPE("dstidx16", TYPE_DSTIDX)
913 TYPE("dstidx32", TYPE_DSTIDX)
914 TYPE("dstidx64", TYPE_DSTIDX)
915 TYPE("offset16_8", TYPE_MOFFS)
916 TYPE("offset16_16", TYPE_MOFFS)
917 TYPE("offset16_32", TYPE_MOFFS)
918 TYPE("offset32_8", TYPE_MOFFS)
919 TYPE("offset32_16", TYPE_MOFFS)
920 TYPE("offset32_32", TYPE_MOFFS)
921 TYPE("offset32_64", TYPE_MOFFS)
922 TYPE("offset64_8", TYPE_MOFFS)
923 TYPE("offset64_16", TYPE_MOFFS)
924 TYPE("offset64_32", TYPE_MOFFS)
925 TYPE("offset64_64", TYPE_MOFFS)
926 TYPE("VR256", TYPE_YMM)
927 TYPE("VR256X", TYPE_YMM)
928 TYPE("VR512", TYPE_ZMM)
929 TYPE("VK1", TYPE_VK)
930 TYPE("VK1WM", TYPE_VK)
931 TYPE("VK2", TYPE_VK)
932 TYPE("VK2WM", TYPE_VK)
933 TYPE("VK4", TYPE_VK)
934 TYPE("VK4WM", TYPE_VK)
935 TYPE("VK8", TYPE_VK)
936 TYPE("VK8WM", TYPE_VK)
937 TYPE("VK16", TYPE_VK)
938 TYPE("VK16WM", TYPE_VK)
939 TYPE("VK32", TYPE_VK)
940 TYPE("VK32WM", TYPE_VK)
941 TYPE("VK64", TYPE_VK)
942 TYPE("VK64WM", TYPE_VK)
Craig Topperca2382d2017-10-21 20:03:20 +0000943 TYPE("vx64mem", TYPE_MVSIBX)
944 TYPE("vx128mem", TYPE_MVSIBX)
945 TYPE("vx256mem", TYPE_MVSIBX)
946 TYPE("vy128mem", TYPE_MVSIBY)
947 TYPE("vy256mem", TYPE_MVSIBY)
948 TYPE("vx64xmem", TYPE_MVSIBX)
949 TYPE("vx128xmem", TYPE_MVSIBX)
950 TYPE("vx256xmem", TYPE_MVSIBX)
951 TYPE("vy128xmem", TYPE_MVSIBY)
952 TYPE("vy256xmem", TYPE_MVSIBY)
Craig Topperd04cc8e2018-06-06 19:15:12 +0000953 TYPE("vy512xmem", TYPE_MVSIBY)
954 TYPE("vz256mem", TYPE_MVSIBZ)
Craig Topperca2382d2017-10-21 20:03:20 +0000955 TYPE("vz512mem", TYPE_MVSIBZ)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +0000956 TYPE("BNDR", TYPE_BNDR)
Sean Callanan04cc3072009-12-19 02:59:52 +0000957 errs() << "Unhandled type string " << s << "\n";
958 llvm_unreachable("Unhandled type string");
959}
960#undef TYPE
961
962#define ENCODING(str, encoding) if (s == str) return encoding;
Craig Topperfa6298a2014-02-02 09:25:09 +0000963OperandEncoding
964RecognizableInstr::immediateEncodingFromString(const std::string &s,
965 uint8_t OpSize) {
966 if(OpSize != X86Local::OpSize16) {
Sean Callanan04cc3072009-12-19 02:59:52 +0000967 // For instructions without an OpSize prefix, a declared 16-bit register or
968 // immediate encoding is special.
969 ENCODING("i16imm", ENCODING_IW)
970 }
971 ENCODING("i32i8imm", ENCODING_IB)
Craig Topper326008c2017-10-23 02:26:24 +0000972 ENCODING("AVX512RC", ENCODING_IRC)
Sean Callanan04cc3072009-12-19 02:59:52 +0000973 ENCODING("i16imm", ENCODING_Iv)
974 ENCODING("i16i8imm", ENCODING_IB)
975 ENCODING("i32imm", ENCODING_Iv)
976 ENCODING("i64i32imm", ENCODING_ID)
977 ENCODING("i64i8imm", ENCODING_IB)
978 ENCODING("i8imm", ENCODING_IB)
Craig Topper620b50c2015-01-21 08:15:54 +0000979 ENCODING("u8imm", ENCODING_IB)
Craig Toppere732bc62019-03-18 21:33:59 +0000980 ENCODING("i16u8imm", ENCODING_IB)
Craig Topper53a84672015-01-25 02:21:16 +0000981 ENCODING("i32u8imm", ENCODING_IB)
Craig Toppere732bc62019-03-18 21:33:59 +0000982 ENCODING("i64u8imm", ENCODING_IB)
Sean Callananc3fd5232011-03-15 01:23:15 +0000983 // This is not a typo. Instructions like BLENDVPD put
984 // register IDs in 8-bit immediates nowadays.
Craig Topperc30fdbc2012-08-31 15:40:30 +0000985 ENCODING("FR32", ENCODING_IB)
986 ENCODING("FR64", ENCODING_IB)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +0000987 ENCODING("FR128", ENCODING_IB)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +0000988 ENCODING("VR128", ENCODING_IB)
989 ENCODING("VR256", ENCODING_IB)
990 ENCODING("FR32X", ENCODING_IB)
991 ENCODING("FR64X", ENCODING_IB)
992 ENCODING("VR128X", ENCODING_IB)
993 ENCODING("VR256X", ENCODING_IB)
994 ENCODING("VR512", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +0000995 errs() << "Unhandled immediate encoding " << s << "\n";
996 llvm_unreachable("Unhandled immediate encoding");
997}
998
Craig Topperfa6298a2014-02-02 09:25:09 +0000999OperandEncoding
1000RecognizableInstr::rmRegisterEncodingFromString(const std::string &s,
1001 uint8_t OpSize) {
Craig Topper623b0d62014-01-01 14:22:37 +00001002 ENCODING("RST", ENCODING_FP)
Craig Topper7a2944e2019-02-04 04:15:10 +00001003 ENCODING("RSTi", ENCODING_FP)
Sean Callanan04cc3072009-12-19 02:59:52 +00001004 ENCODING("GR16", ENCODING_RM)
1005 ENCODING("GR32", ENCODING_RM)
Craig Toppera422b092013-10-14 04:55:01 +00001006 ENCODING("GR32orGR64", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001007 ENCODING("GR64", ENCODING_RM)
1008 ENCODING("GR8", ENCODING_RM)
1009 ENCODING("VR128", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001010 ENCODING("VR128X", ENCODING_RM)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001011 ENCODING("FR128", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001012 ENCODING("FR64", ENCODING_RM)
1013 ENCODING("FR32", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001014 ENCODING("FR64X", ENCODING_RM)
1015 ENCODING("FR32X", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001016 ENCODING("VR64", ENCODING_RM)
Sean Callananc3fd5232011-03-15 01:23:15 +00001017 ENCODING("VR256", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001018 ENCODING("VR256X", ENCODING_RM)
1019 ENCODING("VR512", ENCODING_RM)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001020 ENCODING("VK1", ENCODING_RM)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001021 ENCODING("VK2", ENCODING_RM)
1022 ENCODING("VK4", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001023 ENCODING("VK8", ENCODING_RM)
1024 ENCODING("VK16", ENCODING_RM)
Robert Khasanov74acbb72014-07-23 14:49:42 +00001025 ENCODING("VK32", ENCODING_RM)
1026 ENCODING("VK64", ENCODING_RM)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +00001027 ENCODING("BNDR", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001028 errs() << "Unhandled R/M register encoding " << s << "\n";
1029 llvm_unreachable("Unhandled R/M register encoding");
1030}
1031
Craig Topperfa6298a2014-02-02 09:25:09 +00001032OperandEncoding
1033RecognizableInstr::roRegisterEncodingFromString(const std::string &s,
1034 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001035 ENCODING("GR16", ENCODING_REG)
1036 ENCODING("GR32", ENCODING_REG)
Craig Toppera422b092013-10-14 04:55:01 +00001037 ENCODING("GR32orGR64", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001038 ENCODING("GR64", ENCODING_REG)
1039 ENCODING("GR8", ENCODING_REG)
1040 ENCODING("VR128", ENCODING_REG)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001041 ENCODING("FR128", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001042 ENCODING("FR64", ENCODING_REG)
1043 ENCODING("FR32", ENCODING_REG)
1044 ENCODING("VR64", ENCODING_REG)
1045 ENCODING("SEGMENT_REG", ENCODING_REG)
1046 ENCODING("DEBUG_REG", ENCODING_REG)
Sean Callanane7e1cf92010-05-06 20:59:00 +00001047 ENCODING("CONTROL_REG", ENCODING_REG)
Sean Callananc3fd5232011-03-15 01:23:15 +00001048 ENCODING("VR256", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001049 ENCODING("VR256X", ENCODING_REG)
1050 ENCODING("VR128X", ENCODING_REG)
1051 ENCODING("FR64X", ENCODING_REG)
1052 ENCODING("FR32X", ENCODING_REG)
1053 ENCODING("VR512", ENCODING_REG)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001054 ENCODING("VK1", ENCODING_REG)
Robert Khasanov2ea081d2014-08-25 14:49:34 +00001055 ENCODING("VK2", ENCODING_REG)
1056 ENCODING("VK4", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001057 ENCODING("VK8", ENCODING_REG)
1058 ENCODING("VK16", ENCODING_REG)
Robert Khasanov74acbb72014-07-23 14:49:42 +00001059 ENCODING("VK32", ENCODING_REG)
1060 ENCODING("VK64", ENCODING_REG)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001061 ENCODING("VK1WM", ENCODING_REG)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001062 ENCODING("VK2WM", ENCODING_REG)
1063 ENCODING("VK4WM", ENCODING_REG)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001064 ENCODING("VK8WM", ENCODING_REG)
1065 ENCODING("VK16WM", ENCODING_REG)
Elena Demikhovsky0e6d6d52015-04-21 14:38:31 +00001066 ENCODING("VK32WM", ENCODING_REG)
1067 ENCODING("VK64WM", ENCODING_REG)
Elena Demikhovsky6b62b652015-06-09 13:02:10 +00001068 ENCODING("BNDR", ENCODING_REG)
Sean Callanan04cc3072009-12-19 02:59:52 +00001069 errs() << "Unhandled reg/opcode register encoding " << s << "\n";
1070 llvm_unreachable("Unhandled reg/opcode register encoding");
1071}
1072
Craig Topperfa6298a2014-02-02 09:25:09 +00001073OperandEncoding
1074RecognizableInstr::vvvvRegisterEncodingFromString(const std::string &s,
1075 uint8_t OpSize) {
Craig Topper965de2c2011-10-14 07:06:56 +00001076 ENCODING("GR32", ENCODING_VVVV)
1077 ENCODING("GR64", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001078 ENCODING("FR32", ENCODING_VVVV)
Chih-Hung Hsieh7993e182015-12-14 22:08:36 +00001079 ENCODING("FR128", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001080 ENCODING("FR64", ENCODING_VVVV)
1081 ENCODING("VR128", ENCODING_VVVV)
1082 ENCODING("VR256", ENCODING_VVVV)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001083 ENCODING("FR32X", ENCODING_VVVV)
1084 ENCODING("FR64X", ENCODING_VVVV)
1085 ENCODING("VR128X", ENCODING_VVVV)
1086 ENCODING("VR256X", ENCODING_VVVV)
1087 ENCODING("VR512", ENCODING_VVVV)
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001088 ENCODING("VK1", ENCODING_VVVV)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001089 ENCODING("VK2", ENCODING_VVVV)
1090 ENCODING("VK4", ENCODING_VVVV)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001091 ENCODING("VK8", ENCODING_VVVV)
1092 ENCODING("VK16", ENCODING_VVVV)
Robert Khasanov595683d2014-07-28 13:46:45 +00001093 ENCODING("VK32", ENCODING_VVVV)
1094 ENCODING("VK64", ENCODING_VVVV)
Sean Callananc3fd5232011-03-15 01:23:15 +00001095 errs() << "Unhandled VEX.vvvv register encoding " << s << "\n";
1096 llvm_unreachable("Unhandled VEX.vvvv register encoding");
1097}
1098
Craig Topperfa6298a2014-02-02 09:25:09 +00001099OperandEncoding
1100RecognizableInstr::writemaskRegisterEncodingFromString(const std::string &s,
1101 uint8_t OpSize) {
Elena Demikhovsky47fc44e2013-12-16 13:52:35 +00001102 ENCODING("VK1WM", ENCODING_WRITEMASK)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001103 ENCODING("VK2WM", ENCODING_WRITEMASK)
1104 ENCODING("VK4WM", ENCODING_WRITEMASK)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001105 ENCODING("VK8WM", ENCODING_WRITEMASK)
1106 ENCODING("VK16WM", ENCODING_WRITEMASK)
Robert Khasanovbfa01312014-07-21 14:54:21 +00001107 ENCODING("VK32WM", ENCODING_WRITEMASK)
1108 ENCODING("VK64WM", ENCODING_WRITEMASK)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001109 errs() << "Unhandled mask register encoding " << s << "\n";
1110 llvm_unreachable("Unhandled mask register encoding");
1111}
1112
Craig Topperfa6298a2014-02-02 09:25:09 +00001113OperandEncoding
1114RecognizableInstr::memoryEncodingFromString(const std::string &s,
1115 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001116 ENCODING("i16mem", ENCODING_RM)
1117 ENCODING("i32mem", ENCODING_RM)
1118 ENCODING("i64mem", ENCODING_RM)
1119 ENCODING("i8mem", ENCODING_RM)
Chris Lattnerf60062f2010-09-29 02:57:56 +00001120 ENCODING("ssmem", ENCODING_RM)
1121 ENCODING("sdmem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001122 ENCODING("f128mem", ENCODING_RM)
Chris Lattnerf60062f2010-09-29 02:57:56 +00001123 ENCODING("f256mem", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001124 ENCODING("f512mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001125 ENCODING("f64mem", ENCODING_RM)
1126 ENCODING("f32mem", ENCODING_RM)
1127 ENCODING("i128mem", ENCODING_RM)
Sean Callananc3fd5232011-03-15 01:23:15 +00001128 ENCODING("i256mem", ENCODING_RM)
Elena Demikhovsky003e7d72013-07-28 08:28:38 +00001129 ENCODING("i512mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001130 ENCODING("f80mem", ENCODING_RM)
Sean Callanan04cc3072009-12-19 02:59:52 +00001131 ENCODING("lea64_32mem", ENCODING_RM)
1132 ENCODING("lea64mem", ENCODING_RM)
Craig Topper7c102522015-01-08 07:41:30 +00001133 ENCODING("anymem", ENCODING_RM)
Craig Topper33dc01d2018-05-01 04:42:00 +00001134 ENCODING("opaquemem", ENCODING_RM)
Craig Topper33ac0642017-01-16 05:44:25 +00001135 ENCODING("vx64mem", ENCODING_VSIB)
1136 ENCODING("vx128mem", ENCODING_VSIB)
1137 ENCODING("vx256mem", ENCODING_VSIB)
1138 ENCODING("vy128mem", ENCODING_VSIB)
1139 ENCODING("vy256mem", ENCODING_VSIB)
1140 ENCODING("vx64xmem", ENCODING_VSIB)
1141 ENCODING("vx128xmem", ENCODING_VSIB)
1142 ENCODING("vx256xmem", ENCODING_VSIB)
1143 ENCODING("vy128xmem", ENCODING_VSIB)
1144 ENCODING("vy256xmem", ENCODING_VSIB)
Craig Topperd04cc8e2018-06-06 19:15:12 +00001145 ENCODING("vy512xmem", ENCODING_VSIB)
1146 ENCODING("vz256mem", ENCODING_VSIB)
Craig Topper33ac0642017-01-16 05:44:25 +00001147 ENCODING("vz512mem", ENCODING_VSIB)
Sean Callanan04cc3072009-12-19 02:59:52 +00001148 errs() << "Unhandled memory encoding " << s << "\n";
1149 llvm_unreachable("Unhandled memory encoding");
1150}
1151
Craig Topperfa6298a2014-02-02 09:25:09 +00001152OperandEncoding
1153RecognizableInstr::relocationEncodingFromString(const std::string &s,
1154 uint8_t OpSize) {
1155 if(OpSize != X86Local::OpSize16) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001156 // For instructions without an OpSize prefix, a declared 16-bit register or
1157 // immediate encoding is special.
1158 ENCODING("i16imm", ENCODING_IW)
1159 }
1160 ENCODING("i16imm", ENCODING_Iv)
1161 ENCODING("i16i8imm", ENCODING_IB)
1162 ENCODING("i32imm", ENCODING_Iv)
1163 ENCODING("i32i8imm", ENCODING_IB)
1164 ENCODING("i64i32imm", ENCODING_ID)
1165 ENCODING("i64i8imm", ENCODING_IB)
1166 ENCODING("i8imm", ENCODING_IB)
Craig Topper620b50c2015-01-21 08:15:54 +00001167 ENCODING("u8imm", ENCODING_IB)
Craig Toppere732bc62019-03-18 21:33:59 +00001168 ENCODING("i16u8imm", ENCODING_IB)
Craig Topper53a84672015-01-25 02:21:16 +00001169 ENCODING("i32u8imm", ENCODING_IB)
Craig Toppere732bc62019-03-18 21:33:59 +00001170 ENCODING("i64u8imm", ENCODING_IB)
Sean Callanan04cc3072009-12-19 02:59:52 +00001171 ENCODING("i64i32imm_pcrel", ENCODING_ID)
Chris Lattnerac588122010-07-07 22:27:31 +00001172 ENCODING("i16imm_pcrel", ENCODING_IW)
Sean Callanan04cc3072009-12-19 02:59:52 +00001173 ENCODING("i32imm_pcrel", ENCODING_ID)
Craig Toppercade6352018-08-13 22:06:28 +00001174 ENCODING("brtarget32", ENCODING_ID)
1175 ENCODING("brtarget16", ENCODING_IW)
Sean Callanan04cc3072009-12-19 02:59:52 +00001176 ENCODING("brtarget8", ENCODING_IB)
1177 ENCODING("i64imm", ENCODING_IO)
Craig Topper055845f2015-01-02 07:02:25 +00001178 ENCODING("offset16_8", ENCODING_Ia)
1179 ENCODING("offset16_16", ENCODING_Ia)
1180 ENCODING("offset16_32", ENCODING_Ia)
1181 ENCODING("offset32_8", ENCODING_Ia)
1182 ENCODING("offset32_16", ENCODING_Ia)
1183 ENCODING("offset32_32", ENCODING_Ia)
Craig Topperae8e1b32015-01-03 00:00:20 +00001184 ENCODING("offset32_64", ENCODING_Ia)
Craig Topper055845f2015-01-02 07:02:25 +00001185 ENCODING("offset64_8", ENCODING_Ia)
1186 ENCODING("offset64_16", ENCODING_Ia)
1187 ENCODING("offset64_32", ENCODING_Ia)
1188 ENCODING("offset64_64", ENCODING_Ia)
David Woodhouse2ef8d9c2014-01-22 15:08:08 +00001189 ENCODING("srcidx8", ENCODING_SI)
1190 ENCODING("srcidx16", ENCODING_SI)
1191 ENCODING("srcidx32", ENCODING_SI)
1192 ENCODING("srcidx64", ENCODING_SI)
David Woodhouseb33c2ef2014-01-22 15:08:21 +00001193 ENCODING("dstidx8", ENCODING_DI)
1194 ENCODING("dstidx16", ENCODING_DI)
1195 ENCODING("dstidx32", ENCODING_DI)
1196 ENCODING("dstidx64", ENCODING_DI)
Sean Callanan04cc3072009-12-19 02:59:52 +00001197 errs() << "Unhandled relocation encoding " << s << "\n";
1198 llvm_unreachable("Unhandled relocation encoding");
1199}
1200
Craig Topperfa6298a2014-02-02 09:25:09 +00001201OperandEncoding
1202RecognizableInstr::opcodeModifierEncodingFromString(const std::string &s,
1203 uint8_t OpSize) {
Sean Callanan04cc3072009-12-19 02:59:52 +00001204 ENCODING("GR32", ENCODING_Rv)
1205 ENCODING("GR64", ENCODING_RO)
1206 ENCODING("GR16", ENCODING_Rv)
1207 ENCODING("GR8", ENCODING_RB)
Craig Toppere0bfeb52019-04-05 19:27:41 +00001208 ENCODING("ccode", ENCODING_CC)
Sean Callanan04cc3072009-12-19 02:59:52 +00001209 errs() << "Unhandled opcode modifier encoding " << s << "\n";
1210 llvm_unreachable("Unhandled opcode modifier encoding");
1211}
Daniel Dunbarf008ea52009-12-19 04:16:48 +00001212#undef ENCODING