X86RecognizableInstr.cpp 47 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267
  1. //===- X86RecognizableInstr.cpp - Disassembler instruction spec --*- C++ -*-===//
  2. //
  3. // 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
  6. //
  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
  12. // X86DisassemblerEmitter.h.
  13. //
  14. //===----------------------------------------------------------------------===//
  15. #include "X86RecognizableInstr.h"
  16. #include "X86DisassemblerShared.h"
  17. #include "X86ModRMFilters.h"
  18. #include "llvm/Support/ErrorHandling.h"
  19. #include <string>
  20. using namespace llvm;
  21. using namespace X86Disassembler;
  22. /// byteFromBitsInit - Extracts a value at most 8 bits in width from a BitsInit.
  23. /// Useful for switch statements and the like.
  24. ///
  25. /// @param init - A reference to the BitsInit to be decoded.
  26. /// @return - The field, with the first bit in the BitsInit as the lowest
  27. /// order bit.
  28. static uint8_t byteFromBitsInit(BitsInit &init) {
  29. int width = init.getNumBits();
  30. assert(width <= 8 && "Field is too large for uint8_t!");
  31. int index;
  32. uint8_t mask = 0x01;
  33. uint8_t ret = 0;
  34. for (index = 0; index < width; index++) {
  35. if (cast<BitInit>(init.getBit(index))->getValue())
  36. ret |= mask;
  37. mask <<= 1;
  38. }
  39. return ret;
  40. }
  41. /// byteFromRec - Extract a value at most 8 bits in with from a Record given the
  42. /// name of the field.
  43. ///
  44. /// @param rec - The record from which to extract the value.
  45. /// @param name - The name of the field in the record.
  46. /// @return - The field, as translated by byteFromBitsInit().
  47. static uint8_t byteFromRec(const Record* rec, StringRef name) {
  48. BitsInit* bits = rec->getValueAsBitsInit(name);
  49. return byteFromBitsInit(*bits);
  50. }
  51. RecognizableInstr::RecognizableInstr(DisassemblerTables &tables,
  52. const CodeGenInstruction &insn,
  53. InstrUID uid) {
  54. UID = uid;
  55. Rec = insn.TheDef;
  56. Name = std::string(Rec->getName());
  57. Spec = &tables.specForUID(UID);
  58. if (!Rec->isSubClassOf("X86Inst")) {
  59. ShouldBeEmitted = false;
  60. return;
  61. }
  62. OpPrefix = byteFromRec(Rec, "OpPrefixBits");
  63. OpMap = byteFromRec(Rec, "OpMapBits");
  64. Opcode = byteFromRec(Rec, "Opcode");
  65. Form = byteFromRec(Rec, "FormBits");
  66. Encoding = byteFromRec(Rec, "OpEncBits");
  67. OpSize = byteFromRec(Rec, "OpSizeBits");
  68. AdSize = byteFromRec(Rec, "AdSizeBits");
  69. HasREX_WPrefix = Rec->getValueAsBit("hasREX_WPrefix");
  70. HasVEX_4V = Rec->getValueAsBit("hasVEX_4V");
  71. HasVEX_W = Rec->getValueAsBit("HasVEX_W");
  72. IgnoresVEX_W = Rec->getValueAsBit("IgnoresVEX_W");
  73. IgnoresVEX_L = Rec->getValueAsBit("ignoresVEX_L");
  74. HasEVEX_L2Prefix = Rec->getValueAsBit("hasEVEX_L2");
  75. HasEVEX_K = Rec->getValueAsBit("hasEVEX_K");
  76. HasEVEX_KZ = Rec->getValueAsBit("hasEVEX_Z");
  77. HasEVEX_B = Rec->getValueAsBit("hasEVEX_B");
  78. IsCodeGenOnly = Rec->getValueAsBit("isCodeGenOnly");
  79. ForceDisassemble = Rec->getValueAsBit("ForceDisassemble");
  80. CD8_Scale = byteFromRec(Rec, "CD8_Scale");
  81. Name = std::string(Rec->getName());
  82. Operands = &insn.Operands.OperandList;
  83. HasVEX_LPrefix = Rec->getValueAsBit("hasVEX_L");
  84. EncodeRC = HasEVEX_B &&
  85. (Form == X86Local::MRMDestReg || Form == X86Local::MRMSrcReg);
  86. // Check for 64-bit inst which does not require REX
  87. Is32Bit = false;
  88. Is64Bit = false;
  89. // FIXME: Is there some better way to check for In64BitMode?
  90. std::vector<Record*> Predicates = Rec->getValueAsListOfDefs("Predicates");
  91. for (unsigned i = 0, e = Predicates.size(); i != e; ++i) {
  92. if (Predicates[i]->getName().find("Not64Bit") != Name.npos ||
  93. Predicates[i]->getName().find("In32Bit") != Name.npos) {
  94. Is32Bit = true;
  95. break;
  96. }
  97. if (Predicates[i]->getName().find("In64Bit") != Name.npos) {
  98. Is64Bit = true;
  99. break;
  100. }
  101. }
  102. if (Form == X86Local::Pseudo || (IsCodeGenOnly && !ForceDisassemble)) {
  103. ShouldBeEmitted = false;
  104. return;
  105. }
  106. // Special case since there is no attribute class for 64-bit and VEX
  107. if (Name == "VMASKMOVDQU64") {
  108. ShouldBeEmitted = false;
  109. return;
  110. }
  111. ShouldBeEmitted = true;
  112. }
  113. void RecognizableInstr::processInstr(DisassemblerTables &tables,
  114. const CodeGenInstruction &insn,
  115. InstrUID uid)
  116. {
  117. // Ignore "asm parser only" instructions.
  118. if (insn.TheDef->getValueAsBit("isAsmParserOnly"))
  119. return;
  120. RecognizableInstr recogInstr(tables, insn, uid);
  121. if (recogInstr.shouldBeEmitted()) {
  122. recogInstr.emitInstructionSpecifier();
  123. recogInstr.emitDecodePath(tables);
  124. }
  125. }
  126. #define EVEX_KB(n) (HasEVEX_KZ && HasEVEX_B ? n##_KZ_B : \
  127. (HasEVEX_K && HasEVEX_B ? n##_K_B : \
  128. (HasEVEX_KZ ? n##_KZ : \
  129. (HasEVEX_K? n##_K : (HasEVEX_B ? n##_B : n)))))
  130. InstructionContext RecognizableInstr::insnContext() const {
  131. InstructionContext insnContext;
  132. if (Encoding == X86Local::EVEX) {
  133. if (HasVEX_LPrefix && HasEVEX_L2Prefix) {
  134. errs() << "Don't support VEX.L if EVEX_L2 is enabled: " << Name << "\n";
  135. llvm_unreachable("Don't support VEX.L if EVEX_L2 is enabled");
  136. }
  137. // VEX_L & VEX_W
  138. if (!EncodeRC && HasVEX_LPrefix && HasVEX_W) {
  139. if (OpPrefix == X86Local::PD)
  140. insnContext = EVEX_KB(IC_EVEX_L_W_OPSIZE);
  141. else if (OpPrefix == X86Local::XS)
  142. insnContext = EVEX_KB(IC_EVEX_L_W_XS);
  143. else if (OpPrefix == X86Local::XD)
  144. insnContext = EVEX_KB(IC_EVEX_L_W_XD);
  145. else if (OpPrefix == X86Local::PS)
  146. insnContext = EVEX_KB(IC_EVEX_L_W);
  147. else {
  148. errs() << "Instruction does not use a prefix: " << Name << "\n";
  149. llvm_unreachable("Invalid prefix");
  150. }
  151. } else if (!EncodeRC && HasVEX_LPrefix) {
  152. // VEX_L
  153. if (OpPrefix == X86Local::PD)
  154. insnContext = EVEX_KB(IC_EVEX_L_OPSIZE);
  155. else if (OpPrefix == X86Local::XS)
  156. insnContext = EVEX_KB(IC_EVEX_L_XS);
  157. else if (OpPrefix == X86Local::XD)
  158. insnContext = EVEX_KB(IC_EVEX_L_XD);
  159. else if (OpPrefix == X86Local::PS)
  160. insnContext = EVEX_KB(IC_EVEX_L);
  161. else {
  162. errs() << "Instruction does not use a prefix: " << Name << "\n";
  163. llvm_unreachable("Invalid prefix");
  164. }
  165. } else if (!EncodeRC && HasEVEX_L2Prefix && HasVEX_W) {
  166. // EVEX_L2 & VEX_W
  167. if (OpPrefix == X86Local::PD)
  168. insnContext = EVEX_KB(IC_EVEX_L2_W_OPSIZE);
  169. else if (OpPrefix == X86Local::XS)
  170. insnContext = EVEX_KB(IC_EVEX_L2_W_XS);
  171. else if (OpPrefix == X86Local::XD)
  172. insnContext = EVEX_KB(IC_EVEX_L2_W_XD);
  173. else if (OpPrefix == X86Local::PS)
  174. insnContext = EVEX_KB(IC_EVEX_L2_W);
  175. else {
  176. errs() << "Instruction does not use a prefix: " << Name << "\n";
  177. llvm_unreachable("Invalid prefix");
  178. }
  179. } else if (!EncodeRC && HasEVEX_L2Prefix) {
  180. // EVEX_L2
  181. if (OpPrefix == X86Local::PD)
  182. insnContext = EVEX_KB(IC_EVEX_L2_OPSIZE);
  183. else if (OpPrefix == X86Local::XD)
  184. insnContext = EVEX_KB(IC_EVEX_L2_XD);
  185. else if (OpPrefix == X86Local::XS)
  186. insnContext = EVEX_KB(IC_EVEX_L2_XS);
  187. else if (OpPrefix == X86Local::PS)
  188. insnContext = EVEX_KB(IC_EVEX_L2);
  189. else {
  190. errs() << "Instruction does not use a prefix: " << Name << "\n";
  191. llvm_unreachable("Invalid prefix");
  192. }
  193. }
  194. else if (HasVEX_W) {
  195. // VEX_W
  196. if (OpPrefix == X86Local::PD)
  197. insnContext = EVEX_KB(IC_EVEX_W_OPSIZE);
  198. else if (OpPrefix == X86Local::XS)
  199. insnContext = EVEX_KB(IC_EVEX_W_XS);
  200. else if (OpPrefix == X86Local::XD)
  201. insnContext = EVEX_KB(IC_EVEX_W_XD);
  202. else if (OpPrefix == X86Local::PS)
  203. insnContext = EVEX_KB(IC_EVEX_W);
  204. else {
  205. errs() << "Instruction does not use a prefix: " << Name << "\n";
  206. llvm_unreachable("Invalid prefix");
  207. }
  208. }
  209. // No L, no W
  210. else if (OpPrefix == X86Local::PD)
  211. insnContext = EVEX_KB(IC_EVEX_OPSIZE);
  212. else if (OpPrefix == X86Local::XD)
  213. insnContext = EVEX_KB(IC_EVEX_XD);
  214. else if (OpPrefix == X86Local::XS)
  215. insnContext = EVEX_KB(IC_EVEX_XS);
  216. else if (OpPrefix == X86Local::PS)
  217. insnContext = EVEX_KB(IC_EVEX);
  218. else {
  219. errs() << "Instruction does not use a prefix: " << Name << "\n";
  220. llvm_unreachable("Invalid prefix");
  221. }
  222. /// eof EVEX
  223. } else if (Encoding == X86Local::VEX || Encoding == X86Local::XOP) {
  224. if (HasVEX_LPrefix && HasVEX_W) {
  225. if (OpPrefix == X86Local::PD)
  226. insnContext = IC_VEX_L_W_OPSIZE;
  227. else if (OpPrefix == X86Local::XS)
  228. insnContext = IC_VEX_L_W_XS;
  229. else if (OpPrefix == X86Local::XD)
  230. insnContext = IC_VEX_L_W_XD;
  231. else if (OpPrefix == X86Local::PS)
  232. insnContext = IC_VEX_L_W;
  233. else {
  234. errs() << "Instruction does not use a prefix: " << Name << "\n";
  235. llvm_unreachable("Invalid prefix");
  236. }
  237. } else if (OpPrefix == X86Local::PD && HasVEX_LPrefix)
  238. insnContext = IC_VEX_L_OPSIZE;
  239. else if (OpPrefix == X86Local::PD && HasVEX_W)
  240. insnContext = IC_VEX_W_OPSIZE;
  241. else if (OpPrefix == X86Local::PD)
  242. insnContext = IC_VEX_OPSIZE;
  243. else if (HasVEX_LPrefix && OpPrefix == X86Local::XS)
  244. insnContext = IC_VEX_L_XS;
  245. else if (HasVEX_LPrefix && OpPrefix == X86Local::XD)
  246. insnContext = IC_VEX_L_XD;
  247. else if (HasVEX_W && OpPrefix == X86Local::XS)
  248. insnContext = IC_VEX_W_XS;
  249. else if (HasVEX_W && OpPrefix == X86Local::XD)
  250. insnContext = IC_VEX_W_XD;
  251. else if (HasVEX_W && OpPrefix == X86Local::PS)
  252. insnContext = IC_VEX_W;
  253. else if (HasVEX_LPrefix && OpPrefix == X86Local::PS)
  254. insnContext = IC_VEX_L;
  255. else if (OpPrefix == X86Local::XD)
  256. insnContext = IC_VEX_XD;
  257. else if (OpPrefix == X86Local::XS)
  258. insnContext = IC_VEX_XS;
  259. else if (OpPrefix == X86Local::PS)
  260. insnContext = IC_VEX;
  261. else {
  262. errs() << "Instruction does not use a prefix: " << Name << "\n";
  263. llvm_unreachable("Invalid prefix");
  264. }
  265. } else if (Is64Bit || HasREX_WPrefix || AdSize == X86Local::AdSize64) {
  266. if (HasREX_WPrefix && (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD))
  267. insnContext = IC_64BIT_REXW_OPSIZE;
  268. else if (HasREX_WPrefix && AdSize == X86Local::AdSize32)
  269. insnContext = IC_64BIT_REXW_ADSIZE;
  270. else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
  271. insnContext = IC_64BIT_XD_OPSIZE;
  272. else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
  273. insnContext = IC_64BIT_XS_OPSIZE;
  274. else if (AdSize == X86Local::AdSize32 && OpPrefix == X86Local::PD)
  275. insnContext = IC_64BIT_OPSIZE_ADSIZE;
  276. else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize32)
  277. insnContext = IC_64BIT_OPSIZE_ADSIZE;
  278. else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
  279. insnContext = IC_64BIT_OPSIZE;
  280. else if (AdSize == X86Local::AdSize32)
  281. insnContext = IC_64BIT_ADSIZE;
  282. else if (HasREX_WPrefix && OpPrefix == X86Local::XS)
  283. insnContext = IC_64BIT_REXW_XS;
  284. else if (HasREX_WPrefix && OpPrefix == X86Local::XD)
  285. insnContext = IC_64BIT_REXW_XD;
  286. else if (OpPrefix == X86Local::XD)
  287. insnContext = IC_64BIT_XD;
  288. else if (OpPrefix == X86Local::XS)
  289. insnContext = IC_64BIT_XS;
  290. else if (HasREX_WPrefix)
  291. insnContext = IC_64BIT_REXW;
  292. else
  293. insnContext = IC_64BIT;
  294. } else {
  295. if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XD)
  296. insnContext = IC_XD_OPSIZE;
  297. else if (OpSize == X86Local::OpSize16 && OpPrefix == X86Local::XS)
  298. insnContext = IC_XS_OPSIZE;
  299. else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XD)
  300. insnContext = IC_XD_ADSIZE;
  301. else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::XS)
  302. insnContext = IC_XS_ADSIZE;
  303. else if (AdSize == X86Local::AdSize16 && OpPrefix == X86Local::PD)
  304. insnContext = IC_OPSIZE_ADSIZE;
  305. else if (OpSize == X86Local::OpSize16 && AdSize == X86Local::AdSize16)
  306. insnContext = IC_OPSIZE_ADSIZE;
  307. else if (OpSize == X86Local::OpSize16 || OpPrefix == X86Local::PD)
  308. insnContext = IC_OPSIZE;
  309. else if (AdSize == X86Local::AdSize16)
  310. insnContext = IC_ADSIZE;
  311. else if (OpPrefix == X86Local::XD)
  312. insnContext = IC_XD;
  313. else if (OpPrefix == X86Local::XS)
  314. insnContext = IC_XS;
  315. else
  316. insnContext = IC;
  317. }
  318. return insnContext;
  319. }
  320. void RecognizableInstr::adjustOperandEncoding(OperandEncoding &encoding) {
  321. // The scaling factor for AVX512 compressed displacement encoding is an
  322. // instruction attribute. Adjust the ModRM encoding type to include the
  323. // scale for compressed displacement.
  324. if ((encoding != ENCODING_RM &&
  325. encoding != ENCODING_VSIB &&
  326. encoding != ENCODING_SIB) ||CD8_Scale == 0)
  327. return;
  328. encoding = (OperandEncoding)(encoding + Log2_32(CD8_Scale));
  329. assert(((encoding >= ENCODING_RM && encoding <= ENCODING_RM_CD64) ||
  330. (encoding == ENCODING_SIB) ||
  331. (encoding >= ENCODING_VSIB && encoding <= ENCODING_VSIB_CD64)) &&
  332. "Invalid CDisp scaling");
  333. }
  334. void RecognizableInstr::handleOperand(bool optional, unsigned &operandIndex,
  335. unsigned &physicalOperandIndex,
  336. unsigned numPhysicalOperands,
  337. const unsigned *operandMapping,
  338. OperandEncoding (*encodingFromString)
  339. (const std::string&,
  340. uint8_t OpSize)) {
  341. if (optional) {
  342. if (physicalOperandIndex >= numPhysicalOperands)
  343. return;
  344. } else {
  345. assert(physicalOperandIndex < numPhysicalOperands);
  346. }
  347. while (operandMapping[operandIndex] != operandIndex) {
  348. Spec->operands[operandIndex].encoding = ENCODING_DUP;
  349. Spec->operands[operandIndex].type =
  350. (OperandType)(TYPE_DUP0 + operandMapping[operandIndex]);
  351. ++operandIndex;
  352. }
  353. StringRef typeName = (*Operands)[operandIndex].Rec->getName();
  354. OperandEncoding encoding = encodingFromString(std::string(typeName), OpSize);
  355. // Adjust the encoding type for an operand based on the instruction.
  356. adjustOperandEncoding(encoding);
  357. Spec->operands[operandIndex].encoding = encoding;
  358. Spec->operands[operandIndex].type =
  359. typeFromString(std::string(typeName), HasREX_WPrefix, OpSize);
  360. ++operandIndex;
  361. ++physicalOperandIndex;
  362. }
  363. void RecognizableInstr::emitInstructionSpecifier() {
  364. Spec->name = Name;
  365. Spec->insnContext = insnContext();
  366. const std::vector<CGIOperandList::OperandInfo> &OperandList = *Operands;
  367. unsigned numOperands = OperandList.size();
  368. unsigned numPhysicalOperands = 0;
  369. // operandMapping maps from operands in OperandList to their originals.
  370. // If operandMapping[i] != i, then the entry is a duplicate.
  371. unsigned operandMapping[X86_MAX_OPERANDS];
  372. assert(numOperands <= X86_MAX_OPERANDS && "X86_MAX_OPERANDS is not large enough");
  373. for (unsigned operandIndex = 0; operandIndex < numOperands; ++operandIndex) {
  374. if (!OperandList[operandIndex].Constraints.empty()) {
  375. const CGIOperandList::ConstraintInfo &Constraint =
  376. OperandList[operandIndex].Constraints[0];
  377. if (Constraint.isTied()) {
  378. operandMapping[operandIndex] = operandIndex;
  379. operandMapping[Constraint.getTiedOperand()] = operandIndex;
  380. } else {
  381. ++numPhysicalOperands;
  382. operandMapping[operandIndex] = operandIndex;
  383. }
  384. } else {
  385. ++numPhysicalOperands;
  386. operandMapping[operandIndex] = operandIndex;
  387. }
  388. }
  389. #define HANDLE_OPERAND(class) \
  390. handleOperand(false, \
  391. operandIndex, \
  392. physicalOperandIndex, \
  393. numPhysicalOperands, \
  394. operandMapping, \
  395. class##EncodingFromString);
  396. #define HANDLE_OPTIONAL(class) \
  397. handleOperand(true, \
  398. operandIndex, \
  399. physicalOperandIndex, \
  400. numPhysicalOperands, \
  401. operandMapping, \
  402. class##EncodingFromString);
  403. // operandIndex should always be < numOperands
  404. unsigned operandIndex = 0;
  405. // physicalOperandIndex should always be < numPhysicalOperands
  406. unsigned physicalOperandIndex = 0;
  407. #ifndef NDEBUG
  408. // Given the set of prefix bits, how many additional operands does the
  409. // instruction have?
  410. unsigned additionalOperands = 0;
  411. if (HasVEX_4V)
  412. ++additionalOperands;
  413. if (HasEVEX_K)
  414. ++additionalOperands;
  415. #endif
  416. switch (Form) {
  417. default: llvm_unreachable("Unhandled form");
  418. case X86Local::PrefixByte:
  419. return;
  420. case X86Local::RawFrmSrc:
  421. HANDLE_OPERAND(relocation);
  422. return;
  423. case X86Local::RawFrmDst:
  424. HANDLE_OPERAND(relocation);
  425. return;
  426. case X86Local::RawFrmDstSrc:
  427. HANDLE_OPERAND(relocation);
  428. HANDLE_OPERAND(relocation);
  429. return;
  430. case X86Local::RawFrm:
  431. // Operand 1 (optional) is an address or immediate.
  432. assert(numPhysicalOperands <= 1 &&
  433. "Unexpected number of operands for RawFrm");
  434. HANDLE_OPTIONAL(relocation)
  435. break;
  436. case X86Local::RawFrmMemOffs:
  437. // Operand 1 is an address.
  438. HANDLE_OPERAND(relocation);
  439. break;
  440. case X86Local::AddRegFrm:
  441. // Operand 1 is added to the opcode.
  442. // Operand 2 (optional) is an address.
  443. assert(numPhysicalOperands >= 1 && numPhysicalOperands <= 2 &&
  444. "Unexpected number of operands for AddRegFrm");
  445. HANDLE_OPERAND(opcodeModifier)
  446. HANDLE_OPTIONAL(relocation)
  447. break;
  448. case X86Local::AddCCFrm:
  449. // Operand 1 (optional) is an address or immediate.
  450. assert(numPhysicalOperands == 2 &&
  451. "Unexpected number of operands for AddCCFrm");
  452. HANDLE_OPERAND(relocation)
  453. HANDLE_OPERAND(opcodeModifier)
  454. break;
  455. case X86Local::MRMDestReg:
  456. // Operand 1 is a register operand in the R/M field.
  457. // - In AVX512 there may be a mask operand here -
  458. // Operand 2 is a register operand in the Reg/Opcode field.
  459. // - In AVX, there is a register operand in the VEX.vvvv field here -
  460. // Operand 3 (optional) is an immediate.
  461. assert(numPhysicalOperands >= 2 + additionalOperands &&
  462. numPhysicalOperands <= 3 + additionalOperands &&
  463. "Unexpected number of operands for MRMDestRegFrm");
  464. HANDLE_OPERAND(rmRegister)
  465. if (HasEVEX_K)
  466. HANDLE_OPERAND(writemaskRegister)
  467. if (HasVEX_4V)
  468. // FIXME: In AVX, the register below becomes the one encoded
  469. // in ModRMVEX and the one above the one in the VEX.VVVV field
  470. HANDLE_OPERAND(vvvvRegister)
  471. HANDLE_OPERAND(roRegister)
  472. HANDLE_OPTIONAL(immediate)
  473. break;
  474. case X86Local::MRMDestMem:
  475. case X86Local::MRMDestMemFSIB:
  476. // Operand 1 is a memory operand (possibly SIB-extended)
  477. // Operand 2 is a register operand in the Reg/Opcode field.
  478. // - In AVX, there is a register operand in the VEX.vvvv field here -
  479. // Operand 3 (optional) is an immediate.
  480. assert(numPhysicalOperands >= 2 + additionalOperands &&
  481. numPhysicalOperands <= 3 + additionalOperands &&
  482. "Unexpected number of operands for MRMDestMemFrm with VEX_4V");
  483. HANDLE_OPERAND(memory)
  484. if (HasEVEX_K)
  485. HANDLE_OPERAND(writemaskRegister)
  486. if (HasVEX_4V)
  487. // FIXME: In AVX, the register below becomes the one encoded
  488. // in ModRMVEX and the one above the one in the VEX.VVVV field
  489. HANDLE_OPERAND(vvvvRegister)
  490. HANDLE_OPERAND(roRegister)
  491. HANDLE_OPTIONAL(immediate)
  492. break;
  493. case X86Local::MRMSrcReg:
  494. // Operand 1 is a register operand in the Reg/Opcode field.
  495. // Operand 2 is a register operand in the R/M field.
  496. // - In AVX, there is a register operand in the VEX.vvvv field here -
  497. // Operand 3 (optional) is an immediate.
  498. // Operand 4 (optional) is an immediate.
  499. assert(numPhysicalOperands >= 2 + additionalOperands &&
  500. numPhysicalOperands <= 4 + additionalOperands &&
  501. "Unexpected number of operands for MRMSrcRegFrm");
  502. HANDLE_OPERAND(roRegister)
  503. if (HasEVEX_K)
  504. HANDLE_OPERAND(writemaskRegister)
  505. if (HasVEX_4V)
  506. // FIXME: In AVX, the register below becomes the one encoded
  507. // in ModRMVEX and the one above the one in the VEX.VVVV field
  508. HANDLE_OPERAND(vvvvRegister)
  509. HANDLE_OPERAND(rmRegister)
  510. HANDLE_OPTIONAL(immediate)
  511. HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
  512. break;
  513. case X86Local::MRMSrcReg4VOp3:
  514. assert(numPhysicalOperands == 3 &&
  515. "Unexpected number of operands for MRMSrcReg4VOp3Frm");
  516. HANDLE_OPERAND(roRegister)
  517. HANDLE_OPERAND(rmRegister)
  518. HANDLE_OPERAND(vvvvRegister)
  519. break;
  520. case X86Local::MRMSrcRegOp4:
  521. assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
  522. "Unexpected number of operands for MRMSrcRegOp4Frm");
  523. HANDLE_OPERAND(roRegister)
  524. HANDLE_OPERAND(vvvvRegister)
  525. HANDLE_OPERAND(immediate) // Register in imm[7:4]
  526. HANDLE_OPERAND(rmRegister)
  527. HANDLE_OPTIONAL(immediate)
  528. break;
  529. case X86Local::MRMSrcRegCC:
  530. assert(numPhysicalOperands == 3 &&
  531. "Unexpected number of operands for MRMSrcRegCC");
  532. HANDLE_OPERAND(roRegister)
  533. HANDLE_OPERAND(rmRegister)
  534. HANDLE_OPERAND(opcodeModifier)
  535. break;
  536. case X86Local::MRMSrcMem:
  537. case X86Local::MRMSrcMemFSIB:
  538. // Operand 1 is a register operand in the Reg/Opcode field.
  539. // Operand 2 is a memory operand (possibly SIB-extended)
  540. // - In AVX, there is a register operand in the VEX.vvvv field here -
  541. // Operand 3 (optional) is an immediate.
  542. assert(numPhysicalOperands >= 2 + additionalOperands &&
  543. numPhysicalOperands <= 4 + additionalOperands &&
  544. "Unexpected number of operands for MRMSrcMemFrm");
  545. HANDLE_OPERAND(roRegister)
  546. if (HasEVEX_K)
  547. HANDLE_OPERAND(writemaskRegister)
  548. if (HasVEX_4V)
  549. // FIXME: In AVX, the register below becomes the one encoded
  550. // in ModRMVEX and the one above the one in the VEX.VVVV field
  551. HANDLE_OPERAND(vvvvRegister)
  552. HANDLE_OPERAND(memory)
  553. HANDLE_OPTIONAL(immediate)
  554. HANDLE_OPTIONAL(immediate) // above might be a register in 7:4
  555. break;
  556. case X86Local::MRMSrcMem4VOp3:
  557. assert(numPhysicalOperands == 3 &&
  558. "Unexpected number of operands for MRMSrcMem4VOp3Frm");
  559. HANDLE_OPERAND(roRegister)
  560. HANDLE_OPERAND(memory)
  561. HANDLE_OPERAND(vvvvRegister)
  562. break;
  563. case X86Local::MRMSrcMemOp4:
  564. assert(numPhysicalOperands >= 4 && numPhysicalOperands <= 5 &&
  565. "Unexpected number of operands for MRMSrcMemOp4Frm");
  566. HANDLE_OPERAND(roRegister)
  567. HANDLE_OPERAND(vvvvRegister)
  568. HANDLE_OPERAND(immediate) // Register in imm[7:4]
  569. HANDLE_OPERAND(memory)
  570. HANDLE_OPTIONAL(immediate)
  571. break;
  572. case X86Local::MRMSrcMemCC:
  573. assert(numPhysicalOperands == 3 &&
  574. "Unexpected number of operands for MRMSrcMemCC");
  575. HANDLE_OPERAND(roRegister)
  576. HANDLE_OPERAND(memory)
  577. HANDLE_OPERAND(opcodeModifier)
  578. break;
  579. case X86Local::MRMXrCC:
  580. assert(numPhysicalOperands == 2 &&
  581. "Unexpected number of operands for MRMXrCC");
  582. HANDLE_OPERAND(rmRegister)
  583. HANDLE_OPERAND(opcodeModifier)
  584. break;
  585. case X86Local::MRMr0:
  586. // Operand 1 is a register operand in the R/M field.
  587. HANDLE_OPERAND(roRegister)
  588. break;
  589. case X86Local::MRMXr:
  590. case X86Local::MRM0r:
  591. case X86Local::MRM1r:
  592. case X86Local::MRM2r:
  593. case X86Local::MRM3r:
  594. case X86Local::MRM4r:
  595. case X86Local::MRM5r:
  596. case X86Local::MRM6r:
  597. case X86Local::MRM7r:
  598. // Operand 1 is a register operand in the R/M field.
  599. // Operand 2 (optional) is an immediate or relocation.
  600. // Operand 3 (optional) is an immediate.
  601. assert(numPhysicalOperands >= 0 + additionalOperands &&
  602. numPhysicalOperands <= 3 + additionalOperands &&
  603. "Unexpected number of operands for MRMnr");
  604. if (HasVEX_4V)
  605. HANDLE_OPERAND(vvvvRegister)
  606. if (HasEVEX_K)
  607. HANDLE_OPERAND(writemaskRegister)
  608. HANDLE_OPTIONAL(rmRegister)
  609. HANDLE_OPTIONAL(relocation)
  610. HANDLE_OPTIONAL(immediate)
  611. break;
  612. case X86Local::MRMXmCC:
  613. assert(numPhysicalOperands == 2 &&
  614. "Unexpected number of operands for MRMXm");
  615. HANDLE_OPERAND(memory)
  616. HANDLE_OPERAND(opcodeModifier)
  617. break;
  618. case X86Local::MRMXm:
  619. case X86Local::MRM0m:
  620. case X86Local::MRM1m:
  621. case X86Local::MRM2m:
  622. case X86Local::MRM3m:
  623. case X86Local::MRM4m:
  624. case X86Local::MRM5m:
  625. case X86Local::MRM6m:
  626. case X86Local::MRM7m:
  627. // Operand 1 is a memory operand (possibly SIB-extended)
  628. // Operand 2 (optional) is an immediate or relocation.
  629. assert(numPhysicalOperands >= 1 + additionalOperands &&
  630. numPhysicalOperands <= 2 + additionalOperands &&
  631. "Unexpected number of operands for MRMnm");
  632. if (HasVEX_4V)
  633. HANDLE_OPERAND(vvvvRegister)
  634. if (HasEVEX_K)
  635. HANDLE_OPERAND(writemaskRegister)
  636. HANDLE_OPERAND(memory)
  637. HANDLE_OPTIONAL(relocation)
  638. break;
  639. case X86Local::RawFrmImm8:
  640. // operand 1 is a 16-bit immediate
  641. // operand 2 is an 8-bit immediate
  642. assert(numPhysicalOperands == 2 &&
  643. "Unexpected number of operands for X86Local::RawFrmImm8");
  644. HANDLE_OPERAND(immediate)
  645. HANDLE_OPERAND(immediate)
  646. break;
  647. case X86Local::RawFrmImm16:
  648. // operand 1 is a 16-bit immediate
  649. // operand 2 is a 16-bit immediate
  650. HANDLE_OPERAND(immediate)
  651. HANDLE_OPERAND(immediate)
  652. break;
  653. case X86Local::MRM0X:
  654. case X86Local::MRM1X:
  655. case X86Local::MRM2X:
  656. case X86Local::MRM3X:
  657. case X86Local::MRM4X:
  658. case X86Local::MRM5X:
  659. case X86Local::MRM6X:
  660. case X86Local::MRM7X:
  661. #define MAP(from, to) case X86Local::MRM_##from:
  662. X86_INSTR_MRM_MAPPING
  663. #undef MAP
  664. HANDLE_OPTIONAL(relocation)
  665. break;
  666. }
  667. #undef HANDLE_OPERAND
  668. #undef HANDLE_OPTIONAL
  669. }
  670. void RecognizableInstr::emitDecodePath(DisassemblerTables &tables) const {
  671. // Special cases where the LLVM tables are not complete
  672. #define MAP(from, to) \
  673. case X86Local::MRM_##from:
  674. llvm::Optional<OpcodeType> opcodeType;
  675. switch (OpMap) {
  676. default: llvm_unreachable("Invalid map!");
  677. case X86Local::OB: opcodeType = ONEBYTE; break;
  678. case X86Local::TB: opcodeType = TWOBYTE; break;
  679. case X86Local::T8: opcodeType = THREEBYTE_38; break;
  680. case X86Local::TA: opcodeType = THREEBYTE_3A; break;
  681. case X86Local::XOP8: opcodeType = XOP8_MAP; break;
  682. case X86Local::XOP9: opcodeType = XOP9_MAP; break;
  683. case X86Local::XOPA: opcodeType = XOPA_MAP; break;
  684. case X86Local::ThreeDNow: opcodeType = THREEDNOW_MAP; break;
  685. }
  686. std::unique_ptr<ModRMFilter> filter;
  687. switch (Form) {
  688. default: llvm_unreachable("Invalid form!");
  689. case X86Local::Pseudo: llvm_unreachable("Pseudo should not be emitted!");
  690. case X86Local::RawFrm:
  691. case X86Local::AddRegFrm:
  692. case X86Local::RawFrmMemOffs:
  693. case X86Local::RawFrmSrc:
  694. case X86Local::RawFrmDst:
  695. case X86Local::RawFrmDstSrc:
  696. case X86Local::RawFrmImm8:
  697. case X86Local::RawFrmImm16:
  698. case X86Local::AddCCFrm:
  699. case X86Local::PrefixByte:
  700. filter = std::make_unique<DumbFilter>();
  701. break;
  702. case X86Local::MRMDestReg:
  703. case X86Local::MRMSrcReg:
  704. case X86Local::MRMSrcReg4VOp3:
  705. case X86Local::MRMSrcRegOp4:
  706. case X86Local::MRMSrcRegCC:
  707. case X86Local::MRMXrCC:
  708. case X86Local::MRMXr:
  709. filter = std::make_unique<ModFilter>(true);
  710. break;
  711. case X86Local::MRMDestMem:
  712. case X86Local::MRMDestMemFSIB:
  713. case X86Local::MRMSrcMem:
  714. case X86Local::MRMSrcMemFSIB:
  715. case X86Local::MRMSrcMem4VOp3:
  716. case X86Local::MRMSrcMemOp4:
  717. case X86Local::MRMSrcMemCC:
  718. case X86Local::MRMXmCC:
  719. case X86Local::MRMXm:
  720. filter = std::make_unique<ModFilter>(false);
  721. break;
  722. case X86Local::MRM0r: case X86Local::MRM1r:
  723. case X86Local::MRM2r: case X86Local::MRM3r:
  724. case X86Local::MRM4r: case X86Local::MRM5r:
  725. case X86Local::MRM6r: case X86Local::MRM7r:
  726. filter = std::make_unique<ExtendedFilter>(true, Form - X86Local::MRM0r);
  727. break;
  728. case X86Local::MRM0X: case X86Local::MRM1X:
  729. case X86Local::MRM2X: case X86Local::MRM3X:
  730. case X86Local::MRM4X: case X86Local::MRM5X:
  731. case X86Local::MRM6X: case X86Local::MRM7X:
  732. filter = std::make_unique<ExtendedFilter>(true, Form - X86Local::MRM0X);
  733. break;
  734. case X86Local::MRMr0:
  735. filter = std::make_unique<ExtendedRMFilter>(true, Form - X86Local::MRMr0);
  736. break;
  737. case X86Local::MRM0m: case X86Local::MRM1m:
  738. case X86Local::MRM2m: case X86Local::MRM3m:
  739. case X86Local::MRM4m: case X86Local::MRM5m:
  740. case X86Local::MRM6m: case X86Local::MRM7m:
  741. filter = std::make_unique<ExtendedFilter>(false, Form - X86Local::MRM0m);
  742. break;
  743. X86_INSTR_MRM_MAPPING
  744. filter = std::make_unique<ExactFilter>(0xC0 + Form - X86Local::MRM_C0);
  745. break;
  746. } // switch (Form)
  747. uint8_t opcodeToSet = Opcode;
  748. unsigned AddressSize = 0;
  749. switch (AdSize) {
  750. case X86Local::AdSize16: AddressSize = 16; break;
  751. case X86Local::AdSize32: AddressSize = 32; break;
  752. case X86Local::AdSize64: AddressSize = 64; break;
  753. }
  754. assert(opcodeType && "Opcode type not set");
  755. assert(filter && "Filter not set");
  756. if (Form == X86Local::AddRegFrm || Form == X86Local::MRMSrcRegCC ||
  757. Form == X86Local::MRMSrcMemCC || Form == X86Local::MRMXrCC ||
  758. Form == X86Local::MRMXmCC || Form == X86Local::AddCCFrm) {
  759. unsigned Count = Form == X86Local::AddRegFrm ? 8 : 16;
  760. assert(((opcodeToSet % Count) == 0) && "ADDREG_FRM opcode not aligned");
  761. uint8_t currentOpcode;
  762. for (currentOpcode = opcodeToSet; currentOpcode < opcodeToSet + Count;
  763. ++currentOpcode)
  764. tables.setTableFields(*opcodeType, insnContext(), currentOpcode, *filter,
  765. UID, Is32Bit, OpPrefix == 0,
  766. IgnoresVEX_L || EncodeRC,
  767. IgnoresVEX_W, AddressSize);
  768. } else {
  769. tables.setTableFields(*opcodeType, insnContext(), opcodeToSet, *filter, UID,
  770. Is32Bit, OpPrefix == 0, IgnoresVEX_L || EncodeRC,
  771. IgnoresVEX_W, AddressSize);
  772. }
  773. #undef MAP
  774. }
  775. #define TYPE(str, type) if (s == str) return type;
  776. OperandType RecognizableInstr::typeFromString(const std::string &s,
  777. bool hasREX_WPrefix,
  778. uint8_t OpSize) {
  779. if(hasREX_WPrefix) {
  780. // For instructions with a REX_W prefix, a declared 32-bit register encoding
  781. // is special.
  782. TYPE("GR32", TYPE_R32)
  783. }
  784. if(OpSize == X86Local::OpSize16) {
  785. // For OpSize16 instructions, a declared 16-bit register or
  786. // immediate encoding is special.
  787. TYPE("GR16", TYPE_Rv)
  788. } else if(OpSize == X86Local::OpSize32) {
  789. // For OpSize32 instructions, a declared 32-bit register or
  790. // immediate encoding is special.
  791. TYPE("GR32", TYPE_Rv)
  792. }
  793. TYPE("i16mem", TYPE_M)
  794. TYPE("i16imm", TYPE_IMM)
  795. TYPE("i16i8imm", TYPE_IMM)
  796. TYPE("GR16", TYPE_R16)
  797. TYPE("GR16orGR32orGR64", TYPE_R16)
  798. TYPE("i32mem", TYPE_M)
  799. TYPE("i32imm", TYPE_IMM)
  800. TYPE("i32i8imm", TYPE_IMM)
  801. TYPE("GR32", TYPE_R32)
  802. TYPE("GR32orGR64", TYPE_R32)
  803. TYPE("i64mem", TYPE_M)
  804. TYPE("i64i32imm", TYPE_IMM)
  805. TYPE("i64i8imm", TYPE_IMM)
  806. TYPE("GR64", TYPE_R64)
  807. TYPE("i8mem", TYPE_M)
  808. TYPE("i8imm", TYPE_IMM)
  809. TYPE("u4imm", TYPE_UIMM8)
  810. TYPE("u8imm", TYPE_UIMM8)
  811. TYPE("i16u8imm", TYPE_UIMM8)
  812. TYPE("i32u8imm", TYPE_UIMM8)
  813. TYPE("i64u8imm", TYPE_UIMM8)
  814. TYPE("GR8", TYPE_R8)
  815. TYPE("VR128", TYPE_XMM)
  816. TYPE("VR128X", TYPE_XMM)
  817. TYPE("f128mem", TYPE_M)
  818. TYPE("f256mem", TYPE_M)
  819. TYPE("f512mem", TYPE_M)
  820. TYPE("FR128", TYPE_XMM)
  821. TYPE("FR64", TYPE_XMM)
  822. TYPE("FR64X", TYPE_XMM)
  823. TYPE("f64mem", TYPE_M)
  824. TYPE("sdmem", TYPE_M)
  825. TYPE("FR32", TYPE_XMM)
  826. TYPE("FR32X", TYPE_XMM)
  827. TYPE("f32mem", TYPE_M)
  828. TYPE("ssmem", TYPE_M)
  829. TYPE("RST", TYPE_ST)
  830. TYPE("RSTi", TYPE_ST)
  831. TYPE("i128mem", TYPE_M)
  832. TYPE("i256mem", TYPE_M)
  833. TYPE("i512mem", TYPE_M)
  834. TYPE("i64i32imm_brtarget", TYPE_REL)
  835. TYPE("i16imm_brtarget", TYPE_REL)
  836. TYPE("i32imm_brtarget", TYPE_REL)
  837. TYPE("ccode", TYPE_IMM)
  838. TYPE("AVX512RC", TYPE_IMM)
  839. TYPE("brtarget32", TYPE_REL)
  840. TYPE("brtarget16", TYPE_REL)
  841. TYPE("brtarget8", TYPE_REL)
  842. TYPE("f80mem", TYPE_M)
  843. TYPE("lea64_32mem", TYPE_M)
  844. TYPE("lea64mem", TYPE_M)
  845. TYPE("VR64", TYPE_MM64)
  846. TYPE("i64imm", TYPE_IMM)
  847. TYPE("anymem", TYPE_M)
  848. TYPE("opaquemem", TYPE_M)
  849. TYPE("sibmem", TYPE_MSIB)
  850. TYPE("SEGMENT_REG", TYPE_SEGMENTREG)
  851. TYPE("DEBUG_REG", TYPE_DEBUGREG)
  852. TYPE("CONTROL_REG", TYPE_CONTROLREG)
  853. TYPE("srcidx8", TYPE_SRCIDX)
  854. TYPE("srcidx16", TYPE_SRCIDX)
  855. TYPE("srcidx32", TYPE_SRCIDX)
  856. TYPE("srcidx64", TYPE_SRCIDX)
  857. TYPE("dstidx8", TYPE_DSTIDX)
  858. TYPE("dstidx16", TYPE_DSTIDX)
  859. TYPE("dstidx32", TYPE_DSTIDX)
  860. TYPE("dstidx64", TYPE_DSTIDX)
  861. TYPE("offset16_8", TYPE_MOFFS)
  862. TYPE("offset16_16", TYPE_MOFFS)
  863. TYPE("offset16_32", TYPE_MOFFS)
  864. TYPE("offset32_8", TYPE_MOFFS)
  865. TYPE("offset32_16", TYPE_MOFFS)
  866. TYPE("offset32_32", TYPE_MOFFS)
  867. TYPE("offset32_64", TYPE_MOFFS)
  868. TYPE("offset64_8", TYPE_MOFFS)
  869. TYPE("offset64_16", TYPE_MOFFS)
  870. TYPE("offset64_32", TYPE_MOFFS)
  871. TYPE("offset64_64", TYPE_MOFFS)
  872. TYPE("VR256", TYPE_YMM)
  873. TYPE("VR256X", TYPE_YMM)
  874. TYPE("VR512", TYPE_ZMM)
  875. TYPE("VK1", TYPE_VK)
  876. TYPE("VK1WM", TYPE_VK)
  877. TYPE("VK2", TYPE_VK)
  878. TYPE("VK2WM", TYPE_VK)
  879. TYPE("VK4", TYPE_VK)
  880. TYPE("VK4WM", TYPE_VK)
  881. TYPE("VK8", TYPE_VK)
  882. TYPE("VK8WM", TYPE_VK)
  883. TYPE("VK16", TYPE_VK)
  884. TYPE("VK16WM", TYPE_VK)
  885. TYPE("VK32", TYPE_VK)
  886. TYPE("VK32WM", TYPE_VK)
  887. TYPE("VK64", TYPE_VK)
  888. TYPE("VK64WM", TYPE_VK)
  889. TYPE("VK1Pair", TYPE_VK_PAIR)
  890. TYPE("VK2Pair", TYPE_VK_PAIR)
  891. TYPE("VK4Pair", TYPE_VK_PAIR)
  892. TYPE("VK8Pair", TYPE_VK_PAIR)
  893. TYPE("VK16Pair", TYPE_VK_PAIR)
  894. TYPE("vx64mem", TYPE_MVSIBX)
  895. TYPE("vx128mem", TYPE_MVSIBX)
  896. TYPE("vx256mem", TYPE_MVSIBX)
  897. TYPE("vy128mem", TYPE_MVSIBY)
  898. TYPE("vy256mem", TYPE_MVSIBY)
  899. TYPE("vx64xmem", TYPE_MVSIBX)
  900. TYPE("vx128xmem", TYPE_MVSIBX)
  901. TYPE("vx256xmem", TYPE_MVSIBX)
  902. TYPE("vy128xmem", TYPE_MVSIBY)
  903. TYPE("vy256xmem", TYPE_MVSIBY)
  904. TYPE("vy512xmem", TYPE_MVSIBY)
  905. TYPE("vz256mem", TYPE_MVSIBZ)
  906. TYPE("vz512mem", TYPE_MVSIBZ)
  907. TYPE("BNDR", TYPE_BNDR)
  908. TYPE("TILE", TYPE_TMM)
  909. errs() << "Unhandled type string " << s << "\n";
  910. llvm_unreachable("Unhandled type string");
  911. }
  912. #undef TYPE
  913. #define ENCODING(str, encoding) if (s == str) return encoding;
  914. OperandEncoding
  915. RecognizableInstr::immediateEncodingFromString(const std::string &s,
  916. uint8_t OpSize) {
  917. if(OpSize != X86Local::OpSize16) {
  918. // For instructions without an OpSize prefix, a declared 16-bit register or
  919. // immediate encoding is special.
  920. ENCODING("i16imm", ENCODING_IW)
  921. }
  922. ENCODING("i32i8imm", ENCODING_IB)
  923. ENCODING("AVX512RC", ENCODING_IRC)
  924. ENCODING("i16imm", ENCODING_Iv)
  925. ENCODING("i16i8imm", ENCODING_IB)
  926. ENCODING("i32imm", ENCODING_Iv)
  927. ENCODING("i64i32imm", ENCODING_ID)
  928. ENCODING("i64i8imm", ENCODING_IB)
  929. ENCODING("i8imm", ENCODING_IB)
  930. ENCODING("u4imm", ENCODING_IB)
  931. ENCODING("u8imm", ENCODING_IB)
  932. ENCODING("i16u8imm", ENCODING_IB)
  933. ENCODING("i32u8imm", ENCODING_IB)
  934. ENCODING("i64u8imm", ENCODING_IB)
  935. // This is not a typo. Instructions like BLENDVPD put
  936. // register IDs in 8-bit immediates nowadays.
  937. ENCODING("FR32", ENCODING_IB)
  938. ENCODING("FR64", ENCODING_IB)
  939. ENCODING("FR128", ENCODING_IB)
  940. ENCODING("VR128", ENCODING_IB)
  941. ENCODING("VR256", ENCODING_IB)
  942. ENCODING("FR32X", ENCODING_IB)
  943. ENCODING("FR64X", ENCODING_IB)
  944. ENCODING("VR128X", ENCODING_IB)
  945. ENCODING("VR256X", ENCODING_IB)
  946. ENCODING("VR512", ENCODING_IB)
  947. ENCODING("TILE", ENCODING_IB)
  948. errs() << "Unhandled immediate encoding " << s << "\n";
  949. llvm_unreachable("Unhandled immediate encoding");
  950. }
  951. OperandEncoding
  952. RecognizableInstr::rmRegisterEncodingFromString(const std::string &s,
  953. uint8_t OpSize) {
  954. ENCODING("RST", ENCODING_FP)
  955. ENCODING("RSTi", ENCODING_FP)
  956. ENCODING("GR16", ENCODING_RM)
  957. ENCODING("GR16orGR32orGR64",ENCODING_RM)
  958. ENCODING("GR32", ENCODING_RM)
  959. ENCODING("GR32orGR64", ENCODING_RM)
  960. ENCODING("GR64", ENCODING_RM)
  961. ENCODING("GR8", ENCODING_RM)
  962. ENCODING("VR128", ENCODING_RM)
  963. ENCODING("VR128X", ENCODING_RM)
  964. ENCODING("FR128", ENCODING_RM)
  965. ENCODING("FR64", ENCODING_RM)
  966. ENCODING("FR32", ENCODING_RM)
  967. ENCODING("FR64X", ENCODING_RM)
  968. ENCODING("FR32X", ENCODING_RM)
  969. ENCODING("VR64", ENCODING_RM)
  970. ENCODING("VR256", ENCODING_RM)
  971. ENCODING("VR256X", ENCODING_RM)
  972. ENCODING("VR512", ENCODING_RM)
  973. ENCODING("VK1", ENCODING_RM)
  974. ENCODING("VK2", ENCODING_RM)
  975. ENCODING("VK4", ENCODING_RM)
  976. ENCODING("VK8", ENCODING_RM)
  977. ENCODING("VK16", ENCODING_RM)
  978. ENCODING("VK32", ENCODING_RM)
  979. ENCODING("VK64", ENCODING_RM)
  980. ENCODING("VK1PAIR", ENCODING_RM)
  981. ENCODING("VK2PAIR", ENCODING_RM)
  982. ENCODING("VK4PAIR", ENCODING_RM)
  983. ENCODING("VK8PAIR", ENCODING_RM)
  984. ENCODING("VK16PAIR", ENCODING_RM)
  985. ENCODING("BNDR", ENCODING_RM)
  986. ENCODING("TILE", ENCODING_RM)
  987. errs() << "Unhandled R/M register encoding " << s << "\n";
  988. llvm_unreachable("Unhandled R/M register encoding");
  989. }
  990. OperandEncoding
  991. RecognizableInstr::roRegisterEncodingFromString(const std::string &s,
  992. uint8_t OpSize) {
  993. ENCODING("GR16", ENCODING_REG)
  994. ENCODING("GR16orGR32orGR64",ENCODING_REG)
  995. ENCODING("GR32", ENCODING_REG)
  996. ENCODING("GR32orGR64", ENCODING_REG)
  997. ENCODING("GR64", ENCODING_REG)
  998. ENCODING("GR8", ENCODING_REG)
  999. ENCODING("VR128", ENCODING_REG)
  1000. ENCODING("FR128", ENCODING_REG)
  1001. ENCODING("FR64", ENCODING_REG)
  1002. ENCODING("FR32", ENCODING_REG)
  1003. ENCODING("VR64", ENCODING_REG)
  1004. ENCODING("SEGMENT_REG", ENCODING_REG)
  1005. ENCODING("DEBUG_REG", ENCODING_REG)
  1006. ENCODING("CONTROL_REG", ENCODING_REG)
  1007. ENCODING("VR256", ENCODING_REG)
  1008. ENCODING("VR256X", ENCODING_REG)
  1009. ENCODING("VR128X", ENCODING_REG)
  1010. ENCODING("FR64X", ENCODING_REG)
  1011. ENCODING("FR32X", ENCODING_REG)
  1012. ENCODING("VR512", ENCODING_REG)
  1013. ENCODING("VK1", ENCODING_REG)
  1014. ENCODING("VK2", ENCODING_REG)
  1015. ENCODING("VK4", ENCODING_REG)
  1016. ENCODING("VK8", ENCODING_REG)
  1017. ENCODING("VK16", ENCODING_REG)
  1018. ENCODING("VK32", ENCODING_REG)
  1019. ENCODING("VK64", ENCODING_REG)
  1020. ENCODING("VK1Pair", ENCODING_REG)
  1021. ENCODING("VK2Pair", ENCODING_REG)
  1022. ENCODING("VK4Pair", ENCODING_REG)
  1023. ENCODING("VK8Pair", ENCODING_REG)
  1024. ENCODING("VK16Pair", ENCODING_REG)
  1025. ENCODING("VK1WM", ENCODING_REG)
  1026. ENCODING("VK2WM", ENCODING_REG)
  1027. ENCODING("VK4WM", ENCODING_REG)
  1028. ENCODING("VK8WM", ENCODING_REG)
  1029. ENCODING("VK16WM", ENCODING_REG)
  1030. ENCODING("VK32WM", ENCODING_REG)
  1031. ENCODING("VK64WM", ENCODING_REG)
  1032. ENCODING("BNDR", ENCODING_REG)
  1033. ENCODING("TILE", ENCODING_REG)
  1034. errs() << "Unhandled reg/opcode register encoding " << s << "\n";
  1035. llvm_unreachable("Unhandled reg/opcode register encoding");
  1036. }
  1037. OperandEncoding
  1038. RecognizableInstr::vvvvRegisterEncodingFromString(const std::string &s,
  1039. uint8_t OpSize) {
  1040. ENCODING("GR32", ENCODING_VVVV)
  1041. ENCODING("GR64", ENCODING_VVVV)
  1042. ENCODING("FR32", ENCODING_VVVV)
  1043. ENCODING("FR128", ENCODING_VVVV)
  1044. ENCODING("FR64", ENCODING_VVVV)
  1045. ENCODING("VR128", ENCODING_VVVV)
  1046. ENCODING("VR256", ENCODING_VVVV)
  1047. ENCODING("FR32X", ENCODING_VVVV)
  1048. ENCODING("FR64X", ENCODING_VVVV)
  1049. ENCODING("VR128X", ENCODING_VVVV)
  1050. ENCODING("VR256X", ENCODING_VVVV)
  1051. ENCODING("VR512", ENCODING_VVVV)
  1052. ENCODING("VK1", ENCODING_VVVV)
  1053. ENCODING("VK2", ENCODING_VVVV)
  1054. ENCODING("VK4", ENCODING_VVVV)
  1055. ENCODING("VK8", ENCODING_VVVV)
  1056. ENCODING("VK16", ENCODING_VVVV)
  1057. ENCODING("VK32", ENCODING_VVVV)
  1058. ENCODING("VK64", ENCODING_VVVV)
  1059. ENCODING("VK1PAIR", ENCODING_VVVV)
  1060. ENCODING("VK2PAIR", ENCODING_VVVV)
  1061. ENCODING("VK4PAIR", ENCODING_VVVV)
  1062. ENCODING("VK8PAIR", ENCODING_VVVV)
  1063. ENCODING("VK16PAIR", ENCODING_VVVV)
  1064. ENCODING("TILE", ENCODING_VVVV)
  1065. errs() << "Unhandled VEX.vvvv register encoding " << s << "\n";
  1066. llvm_unreachable("Unhandled VEX.vvvv register encoding");
  1067. }
  1068. OperandEncoding
  1069. RecognizableInstr::writemaskRegisterEncodingFromString(const std::string &s,
  1070. uint8_t OpSize) {
  1071. ENCODING("VK1WM", ENCODING_WRITEMASK)
  1072. ENCODING("VK2WM", ENCODING_WRITEMASK)
  1073. ENCODING("VK4WM", ENCODING_WRITEMASK)
  1074. ENCODING("VK8WM", ENCODING_WRITEMASK)
  1075. ENCODING("VK16WM", ENCODING_WRITEMASK)
  1076. ENCODING("VK32WM", ENCODING_WRITEMASK)
  1077. ENCODING("VK64WM", ENCODING_WRITEMASK)
  1078. errs() << "Unhandled mask register encoding " << s << "\n";
  1079. llvm_unreachable("Unhandled mask register encoding");
  1080. }
  1081. OperandEncoding
  1082. RecognizableInstr::memoryEncodingFromString(const std::string &s,
  1083. uint8_t OpSize) {
  1084. ENCODING("i16mem", ENCODING_RM)
  1085. ENCODING("i32mem", ENCODING_RM)
  1086. ENCODING("i64mem", ENCODING_RM)
  1087. ENCODING("i8mem", ENCODING_RM)
  1088. ENCODING("ssmem", ENCODING_RM)
  1089. ENCODING("sdmem", ENCODING_RM)
  1090. ENCODING("f128mem", ENCODING_RM)
  1091. ENCODING("f256mem", ENCODING_RM)
  1092. ENCODING("f512mem", ENCODING_RM)
  1093. ENCODING("f64mem", ENCODING_RM)
  1094. ENCODING("f32mem", ENCODING_RM)
  1095. ENCODING("i128mem", ENCODING_RM)
  1096. ENCODING("i256mem", ENCODING_RM)
  1097. ENCODING("i512mem", ENCODING_RM)
  1098. ENCODING("f80mem", ENCODING_RM)
  1099. ENCODING("lea64_32mem", ENCODING_RM)
  1100. ENCODING("lea64mem", ENCODING_RM)
  1101. ENCODING("anymem", ENCODING_RM)
  1102. ENCODING("opaquemem", ENCODING_RM)
  1103. ENCODING("sibmem", ENCODING_SIB)
  1104. ENCODING("vx64mem", ENCODING_VSIB)
  1105. ENCODING("vx128mem", ENCODING_VSIB)
  1106. ENCODING("vx256mem", ENCODING_VSIB)
  1107. ENCODING("vy128mem", ENCODING_VSIB)
  1108. ENCODING("vy256mem", ENCODING_VSIB)
  1109. ENCODING("vx64xmem", ENCODING_VSIB)
  1110. ENCODING("vx128xmem", ENCODING_VSIB)
  1111. ENCODING("vx256xmem", ENCODING_VSIB)
  1112. ENCODING("vy128xmem", ENCODING_VSIB)
  1113. ENCODING("vy256xmem", ENCODING_VSIB)
  1114. ENCODING("vy512xmem", ENCODING_VSIB)
  1115. ENCODING("vz256mem", ENCODING_VSIB)
  1116. ENCODING("vz512mem", ENCODING_VSIB)
  1117. errs() << "Unhandled memory encoding " << s << "\n";
  1118. llvm_unreachable("Unhandled memory encoding");
  1119. }
  1120. OperandEncoding
  1121. RecognizableInstr::relocationEncodingFromString(const std::string &s,
  1122. uint8_t OpSize) {
  1123. if(OpSize != X86Local::OpSize16) {
  1124. // For instructions without an OpSize prefix, a declared 16-bit register or
  1125. // immediate encoding is special.
  1126. ENCODING("i16imm", ENCODING_IW)
  1127. }
  1128. ENCODING("i16imm", ENCODING_Iv)
  1129. ENCODING("i16i8imm", ENCODING_IB)
  1130. ENCODING("i32imm", ENCODING_Iv)
  1131. ENCODING("i32i8imm", ENCODING_IB)
  1132. ENCODING("i64i32imm", ENCODING_ID)
  1133. ENCODING("i64i8imm", ENCODING_IB)
  1134. ENCODING("i8imm", ENCODING_IB)
  1135. ENCODING("u8imm", ENCODING_IB)
  1136. ENCODING("i16u8imm", ENCODING_IB)
  1137. ENCODING("i32u8imm", ENCODING_IB)
  1138. ENCODING("i64u8imm", ENCODING_IB)
  1139. ENCODING("i64i32imm_brtarget", ENCODING_ID)
  1140. ENCODING("i16imm_brtarget", ENCODING_IW)
  1141. ENCODING("i32imm_brtarget", ENCODING_ID)
  1142. ENCODING("brtarget32", ENCODING_ID)
  1143. ENCODING("brtarget16", ENCODING_IW)
  1144. ENCODING("brtarget8", ENCODING_IB)
  1145. ENCODING("i64imm", ENCODING_IO)
  1146. ENCODING("offset16_8", ENCODING_Ia)
  1147. ENCODING("offset16_16", ENCODING_Ia)
  1148. ENCODING("offset16_32", ENCODING_Ia)
  1149. ENCODING("offset32_8", ENCODING_Ia)
  1150. ENCODING("offset32_16", ENCODING_Ia)
  1151. ENCODING("offset32_32", ENCODING_Ia)
  1152. ENCODING("offset32_64", ENCODING_Ia)
  1153. ENCODING("offset64_8", ENCODING_Ia)
  1154. ENCODING("offset64_16", ENCODING_Ia)
  1155. ENCODING("offset64_32", ENCODING_Ia)
  1156. ENCODING("offset64_64", ENCODING_Ia)
  1157. ENCODING("srcidx8", ENCODING_SI)
  1158. ENCODING("srcidx16", ENCODING_SI)
  1159. ENCODING("srcidx32", ENCODING_SI)
  1160. ENCODING("srcidx64", ENCODING_SI)
  1161. ENCODING("dstidx8", ENCODING_DI)
  1162. ENCODING("dstidx16", ENCODING_DI)
  1163. ENCODING("dstidx32", ENCODING_DI)
  1164. ENCODING("dstidx64", ENCODING_DI)
  1165. errs() << "Unhandled relocation encoding " << s << "\n";
  1166. llvm_unreachable("Unhandled relocation encoding");
  1167. }
  1168. OperandEncoding
  1169. RecognizableInstr::opcodeModifierEncodingFromString(const std::string &s,
  1170. uint8_t OpSize) {
  1171. ENCODING("GR32", ENCODING_Rv)
  1172. ENCODING("GR64", ENCODING_RO)
  1173. ENCODING("GR16", ENCODING_Rv)
  1174. ENCODING("GR8", ENCODING_RB)
  1175. ENCODING("ccode", ENCODING_CC)
  1176. errs() << "Unhandled opcode modifier encoding " << s << "\n";
  1177. llvm_unreachable("Unhandled opcode modifier encoding");
  1178. }
  1179. #undef ENCODING