blob: d030f26d98deb253a279431089a86336de5f20b4 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- X86MCTargetDesc.cpp - X86 Target Descriptions ---------------------===//
Evan Cheng24753312011-06-24 01:44:41 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file provides X86 specific target descriptions.
11//
12//===----------------------------------------------------------------------===//
13
Evan Cheng3ddfbd32011-07-06 22:01:53 +000014#include "X86MCTargetDesc.h"
Evan Cheng61faa552011-07-25 21:20:24 +000015#include "InstPrinter/X86ATTInstPrinter.h"
16#include "InstPrinter/X86IntelInstPrinter.h"
Andrea Di Biagio2145b132018-06-20 10:08:11 +000017#include "X86BaseInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "X86MCAsmInfo.h"
Andrea Di Biagio2145b132018-06-20 10:08:11 +000019#include "llvm/ADT/APInt.h"
Daniel Sanders50f17232015-09-15 16:17:27 +000020#include "llvm/ADT/Triple.h"
Hans Wennborg66053102017-10-03 18:27:22 +000021#include "llvm/DebugInfo/CodeView/CodeView.h"
Evan Cheng4d6c9d72011-08-23 20:15:21 +000022#include "llvm/MC/MCInstrAnalysis.h"
Evan Cheng1e210d02011-06-28 20:07:07 +000023#include "llvm/MC/MCInstrInfo.h"
Evan Cheng24753312011-06-24 01:44:41 +000024#include "llvm/MC/MCRegisterInfo.h"
Evan Chengb2531002011-07-25 19:33:48 +000025#include "llvm/MC/MCStreamer.h"
Evan Cheng0711c4d2011-07-01 22:25:04 +000026#include "llvm/MC/MCSubtargetInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/MC/MachineLocation.h"
Craig Topperc4965bc2012-02-05 07:21:30 +000028#include "llvm/Support/ErrorHandling.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000029#include "llvm/Support/Host.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000030#include "llvm/Support/TargetRegistry.h"
Evan Chengd9997ac2011-06-27 18:32:37 +000031
Chandler Carruthd174b722014-04-22 02:03:14 +000032#if _MSC_VER
33#include <intrin.h>
34#endif
35
36using namespace llvm;
37
Evan Chengd9997ac2011-06-27 18:32:37 +000038#define GET_REGINFO_MC_DESC
39#include "X86GenRegisterInfo.inc"
Evan Cheng1e210d02011-06-28 20:07:07 +000040
41#define GET_INSTRINFO_MC_DESC
Andrea Di Biagiob6022aa2018-07-19 16:42:15 +000042#define GET_GENINSTRINFO_MC_HELPERS
Evan Cheng1e210d02011-06-28 20:07:07 +000043#include "X86GenInstrInfo.inc"
44
Evan Cheng0711c4d2011-07-01 22:25:04 +000045#define GET_SUBTARGETINFO_MC_DESC
Evan Chengc9c090d2011-07-01 22:36:09 +000046#include "X86GenSubtargetInfo.inc"
Evan Cheng0711c4d2011-07-01 22:25:04 +000047
Daniel Sanders50f17232015-09-15 16:17:27 +000048std::string X86_MC::ParseX86Triple(const Triple &TT) {
Nick Lewycky73df7e32011-09-05 21:51:43 +000049 std::string FS;
Daniel Sanders50f17232015-09-15 16:17:27 +000050 if (TT.getArch() == Triple::x86_64)
Craig Topper3c80d622014-01-06 04:55:54 +000051 FS = "+64bit-mode,-32bit-mode,-16bit-mode";
Daniel Sanders50f17232015-09-15 16:17:27 +000052 else if (TT.getEnvironment() != Triple::CODE16)
Craig Topper3c80d622014-01-06 04:55:54 +000053 FS = "-64bit-mode,+32bit-mode,-16bit-mode";
David Woodhouse71d15ed2014-01-20 12:02:25 +000054 else
55 FS = "-64bit-mode,-32bit-mode,+16bit-mode";
56
Nick Lewycky73df7e32011-09-05 21:51:43 +000057 return FS;
Evan Cheng13bcc6c2011-07-07 21:06:52 +000058}
59
Daniel Sanders50f17232015-09-15 16:17:27 +000060unsigned X86_MC::getDwarfRegFlavour(const Triple &TT, bool isEH) {
61 if (TT.getArch() == Triple::x86_64)
Evan Chengd60fa58b2011-07-18 20:57:22 +000062 return DWARFFlavour::X86_64;
63
Eric Christopher1f8ad4f2014-06-10 22:34:28 +000064 if (TT.isOSDarwin())
Evan Chengd60fa58b2011-07-18 20:57:22 +000065 return isEH ? DWARFFlavour::X86_32_DarwinEH : DWARFFlavour::X86_32_Generic;
Eric Christopher1f8ad4f2014-06-10 22:34:28 +000066 if (TT.isOSCygMing())
Evan Chengd60fa58b2011-07-18 20:57:22 +000067 // Unsupported by now, just quick fallback
68 return DWARFFlavour::X86_32_Generic;
69 return DWARFFlavour::X86_32_Generic;
70}
71
Reid Klecknerf9c275f2016-02-10 20:55:49 +000072void X86_MC::initLLVMToSEHAndCVRegMapping(MCRegisterInfo *MRI) {
Evan Chengd60fa58b2011-07-18 20:57:22 +000073 // FIXME: TableGen these.
Reid Klecknerf9c275f2016-02-10 20:55:49 +000074 for (unsigned Reg = X86::NoRegister + 1; Reg < X86::NUM_TARGET_REGS; ++Reg) {
Michael Liaof54249b2012-10-04 19:50:43 +000075 unsigned SEH = MRI->getEncodingValue(Reg);
Evan Chengd60fa58b2011-07-18 20:57:22 +000076 MRI->mapLLVMRegToSEHReg(Reg, SEH);
77 }
Reid Klecknerf9c275f2016-02-10 20:55:49 +000078
Hans Wennborg66053102017-10-03 18:27:22 +000079 // Mapping from CodeView to MC register id.
80 static const struct {
81 codeview::RegisterId CVReg;
82 MCPhysReg Reg;
83 } RegMap[] = {
Jonas Devlieghere43dce3e2018-05-29 14:35:34 +000084 { codeview::RegisterId::CVRegAL, X86::AL},
85 { codeview::RegisterId::CVRegCL, X86::CL},
86 { codeview::RegisterId::CVRegDL, X86::DL},
87 { codeview::RegisterId::CVRegBL, X86::BL},
88 { codeview::RegisterId::CVRegAH, X86::AH},
89 { codeview::RegisterId::CVRegCH, X86::CH},
90 { codeview::RegisterId::CVRegDH, X86::DH},
91 { codeview::RegisterId::CVRegBH, X86::BH},
92 { codeview::RegisterId::CVRegAX, X86::AX},
93 { codeview::RegisterId::CVRegCX, X86::CX},
94 { codeview::RegisterId::CVRegDX, X86::DX},
95 { codeview::RegisterId::CVRegBX, X86::BX},
96 { codeview::RegisterId::CVRegSP, X86::SP},
97 { codeview::RegisterId::CVRegBP, X86::BP},
98 { codeview::RegisterId::CVRegSI, X86::SI},
99 { codeview::RegisterId::CVRegDI, X86::DI},
100 { codeview::RegisterId::CVRegEAX, X86::EAX},
101 { codeview::RegisterId::CVRegECX, X86::ECX},
102 { codeview::RegisterId::CVRegEDX, X86::EDX},
103 { codeview::RegisterId::CVRegEBX, X86::EBX},
104 { codeview::RegisterId::CVRegESP, X86::ESP},
105 { codeview::RegisterId::CVRegEBP, X86::EBP},
106 { codeview::RegisterId::CVRegESI, X86::ESI},
107 { codeview::RegisterId::CVRegEDI, X86::EDI},
Hans Wennborg66053102017-10-03 18:27:22 +0000108
Jonas Devlieghere43dce3e2018-05-29 14:35:34 +0000109 { codeview::RegisterId::CVRegEFLAGS, X86::EFLAGS},
Hans Wennborg66053102017-10-03 18:27:22 +0000110
Jonas Devlieghere43dce3e2018-05-29 14:35:34 +0000111 { codeview::RegisterId::CVRegST0, X86::FP0},
112 { codeview::RegisterId::CVRegST1, X86::FP1},
113 { codeview::RegisterId::CVRegST2, X86::FP2},
114 { codeview::RegisterId::CVRegST3, X86::FP3},
115 { codeview::RegisterId::CVRegST4, X86::FP4},
116 { codeview::RegisterId::CVRegST5, X86::FP5},
117 { codeview::RegisterId::CVRegST6, X86::FP6},
118 { codeview::RegisterId::CVRegST7, X86::FP7},
Hans Wennborg66053102017-10-03 18:27:22 +0000119
Jonas Devlieghere43dce3e2018-05-29 14:35:34 +0000120 { codeview::RegisterId::CVRegXMM0, X86::XMM0},
121 { codeview::RegisterId::CVRegXMM1, X86::XMM1},
122 { codeview::RegisterId::CVRegXMM2, X86::XMM2},
123 { codeview::RegisterId::CVRegXMM3, X86::XMM3},
124 { codeview::RegisterId::CVRegXMM4, X86::XMM4},
125 { codeview::RegisterId::CVRegXMM5, X86::XMM5},
126 { codeview::RegisterId::CVRegXMM6, X86::XMM6},
127 { codeview::RegisterId::CVRegXMM7, X86::XMM7},
Hans Wennborg66053102017-10-03 18:27:22 +0000128
Jonas Devlieghere43dce3e2018-05-29 14:35:34 +0000129 { codeview::RegisterId::CVRegXMM8, X86::XMM8},
130 { codeview::RegisterId::CVRegXMM9, X86::XMM9},
131 { codeview::RegisterId::CVRegXMM10, X86::XMM10},
132 { codeview::RegisterId::CVRegXMM11, X86::XMM11},
133 { codeview::RegisterId::CVRegXMM12, X86::XMM12},
134 { codeview::RegisterId::CVRegXMM13, X86::XMM13},
135 { codeview::RegisterId::CVRegXMM14, X86::XMM14},
136 { codeview::RegisterId::CVRegXMM15, X86::XMM15},
Hans Wennborg66053102017-10-03 18:27:22 +0000137
Jonas Devlieghere43dce3e2018-05-29 14:35:34 +0000138 { codeview::RegisterId::CVRegSIL, X86::SIL},
139 { codeview::RegisterId::CVRegDIL, X86::DIL},
140 { codeview::RegisterId::CVRegBPL, X86::BPL},
141 { codeview::RegisterId::CVRegSPL, X86::SPL},
142 { codeview::RegisterId::CVRegRAX, X86::RAX},
143 { codeview::RegisterId::CVRegRBX, X86::RBX},
144 { codeview::RegisterId::CVRegRCX, X86::RCX},
145 { codeview::RegisterId::CVRegRDX, X86::RDX},
146 { codeview::RegisterId::CVRegRSI, X86::RSI},
147 { codeview::RegisterId::CVRegRDI, X86::RDI},
148 { codeview::RegisterId::CVRegRBP, X86::RBP},
149 { codeview::RegisterId::CVRegRSP, X86::RSP},
150 { codeview::RegisterId::CVRegR8, X86::R8},
151 { codeview::RegisterId::CVRegR9, X86::R9},
152 { codeview::RegisterId::CVRegR10, X86::R10},
153 { codeview::RegisterId::CVRegR11, X86::R11},
154 { codeview::RegisterId::CVRegR12, X86::R12},
155 { codeview::RegisterId::CVRegR13, X86::R13},
156 { codeview::RegisterId::CVRegR14, X86::R14},
157 { codeview::RegisterId::CVRegR15, X86::R15},
158 { codeview::RegisterId::CVRegR8B, X86::R8B},
159 { codeview::RegisterId::CVRegR9B, X86::R9B},
160 { codeview::RegisterId::CVRegR10B, X86::R10B},
161 { codeview::RegisterId::CVRegR11B, X86::R11B},
162 { codeview::RegisterId::CVRegR12B, X86::R12B},
163 { codeview::RegisterId::CVRegR13B, X86::R13B},
164 { codeview::RegisterId::CVRegR14B, X86::R14B},
165 { codeview::RegisterId::CVRegR15B, X86::R15B},
166 { codeview::RegisterId::CVRegR8W, X86::R8W},
167 { codeview::RegisterId::CVRegR9W, X86::R9W},
168 { codeview::RegisterId::CVRegR10W, X86::R10W},
169 { codeview::RegisterId::CVRegR11W, X86::R11W},
170 { codeview::RegisterId::CVRegR12W, X86::R12W},
171 { codeview::RegisterId::CVRegR13W, X86::R13W},
172 { codeview::RegisterId::CVRegR14W, X86::R14W},
173 { codeview::RegisterId::CVRegR15W, X86::R15W},
174 { codeview::RegisterId::CVRegR8D, X86::R8D},
175 { codeview::RegisterId::CVRegR9D, X86::R9D},
176 { codeview::RegisterId::CVRegR10D, X86::R10D},
177 { codeview::RegisterId::CVRegR11D, X86::R11D},
178 { codeview::RegisterId::CVRegR12D, X86::R12D},
179 { codeview::RegisterId::CVRegR13D, X86::R13D},
180 { codeview::RegisterId::CVRegR14D, X86::R14D},
181 { codeview::RegisterId::CVRegR15D, X86::R15D},
182 { codeview::RegisterId::CVRegAMD64_YMM0, X86::YMM0},
183 { codeview::RegisterId::CVRegAMD64_YMM1, X86::YMM1},
184 { codeview::RegisterId::CVRegAMD64_YMM2, X86::YMM2},
185 { codeview::RegisterId::CVRegAMD64_YMM3, X86::YMM3},
186 { codeview::RegisterId::CVRegAMD64_YMM4, X86::YMM4},
187 { codeview::RegisterId::CVRegAMD64_YMM5, X86::YMM5},
188 { codeview::RegisterId::CVRegAMD64_YMM6, X86::YMM6},
189 { codeview::RegisterId::CVRegAMD64_YMM7, X86::YMM7},
190 { codeview::RegisterId::CVRegAMD64_YMM8, X86::YMM8},
191 { codeview::RegisterId::CVRegAMD64_YMM9, X86::YMM9},
192 { codeview::RegisterId::CVRegAMD64_YMM10, X86::YMM10},
193 { codeview::RegisterId::CVRegAMD64_YMM11, X86::YMM11},
194 { codeview::RegisterId::CVRegAMD64_YMM12, X86::YMM12},
195 { codeview::RegisterId::CVRegAMD64_YMM13, X86::YMM13},
196 { codeview::RegisterId::CVRegAMD64_YMM14, X86::YMM14},
197 { codeview::RegisterId::CVRegAMD64_YMM15, X86::YMM15},
Reid Klecknerf9c275f2016-02-10 20:55:49 +0000198 };
Hans Wennborg66053102017-10-03 18:27:22 +0000199 for (unsigned I = 0; I < array_lengthof(RegMap); ++I)
200 MRI->mapLLVMRegToCVReg(RegMap[I].Reg, static_cast<int>(RegMap[I].CVReg));
Evan Chengd60fa58b2011-07-18 20:57:22 +0000201}
202
Daniel Sanders50f17232015-09-15 16:17:27 +0000203MCSubtargetInfo *X86_MC::createX86MCSubtargetInfo(const Triple &TT,
Daniel Sandersa73f1fd2015-06-10 12:11:26 +0000204 StringRef CPU, StringRef FS) {
Daniel Sanders50f17232015-09-15 16:17:27 +0000205 std::string ArchFS = X86_MC::ParseX86Triple(TT);
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000206 if (!FS.empty()) {
207 if (!ArchFS.empty())
Yaron Keren75e0c4b2015-03-27 17:51:30 +0000208 ArchFS = (Twine(ArchFS) + "," + FS).str();
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000209 else
210 ArchFS = FS;
211 }
212
213 std::string CPUName = CPU;
Jim Grosbacha344b6c32014-04-14 22:23:30 +0000214 if (CPUName.empty())
Evan Cheng964cb5f2011-07-08 21:14:14 +0000215 CPUName = "generic";
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000216
Duncan P. N. Exon Smith754e21f2015-07-10 22:43:42 +0000217 return createX86MCSubtargetInfoImpl(TT, CPUName, ArchFS);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000218}
219
Evan Cheng1705ab02011-07-14 23:50:31 +0000220static MCInstrInfo *createX86MCInstrInfo() {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000221 MCInstrInfo *X = new MCInstrInfo();
222 InitX86MCInstrInfo(X);
223 return X;
224}
225
Daniel Sanders50f17232015-09-15 16:17:27 +0000226static MCRegisterInfo *createX86MCRegisterInfo(const Triple &TT) {
227 unsigned RA = (TT.getArch() == Triple::x86_64)
Daniel Sandersf423f562015-07-06 16:56:07 +0000228 ? X86::RIP // Should have dwarf #16.
229 : X86::EIP; // Should have dwarf #8.
Evan Chengd60fa58b2011-07-18 20:57:22 +0000230
Evan Cheng1705ab02011-07-14 23:50:31 +0000231 MCRegisterInfo *X = new MCRegisterInfo();
Daniel Sandersf423f562015-07-06 16:56:07 +0000232 InitX86MCRegisterInfo(X, RA, X86_MC::getDwarfRegFlavour(TT, false),
233 X86_MC::getDwarfRegFlavour(TT, true), RA);
Reid Klecknerf9c275f2016-02-10 20:55:49 +0000234 X86_MC::initLLVMToSEHAndCVRegMapping(X);
Evan Cheng1705ab02011-07-14 23:50:31 +0000235 return X;
236}
237
Daniel Sanders7813ae82015-06-04 13:12:25 +0000238static MCAsmInfo *createX86MCAsmInfo(const MCRegisterInfo &MRI,
Daniel Sanders50f17232015-09-15 16:17:27 +0000239 const Triple &TheTriple) {
240 bool is64Bit = TheTriple.getArch() == Triple::x86_64;
Evan Cheng1705ab02011-07-14 23:50:31 +0000241
Evan Cheng67c033e2011-07-18 22:29:13 +0000242 MCAsmInfo *MAI;
Daniel Sanders50f17232015-09-15 16:17:27 +0000243 if (TheTriple.isOSBinFormatMachO()) {
Evan Cheng67c033e2011-07-18 22:29:13 +0000244 if (is64Bit)
Daniel Sanders50f17232015-09-15 16:17:27 +0000245 MAI = new X86_64MCAsmInfoDarwin(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000246 else
Daniel Sanders50f17232015-09-15 16:17:27 +0000247 MAI = new X86MCAsmInfoDarwin(TheTriple);
248 } else if (TheTriple.isOSBinFormatELF()) {
Andrew Kaylorfeb805f2012-10-02 18:38:34 +0000249 // Force the use of an ELF container.
Daniel Sanders50f17232015-09-15 16:17:27 +0000250 MAI = new X86ELFMCAsmInfo(TheTriple);
251 } else if (TheTriple.isWindowsMSVCEnvironment() ||
252 TheTriple.isWindowsCoreCLREnvironment()) {
253 MAI = new X86MCAsmInfoMicrosoft(TheTriple);
254 } else if (TheTriple.isOSCygMing() ||
255 TheTriple.isWindowsItaniumEnvironment()) {
256 MAI = new X86MCAsmInfoGNUCOFF(TheTriple);
Evan Cheng67c033e2011-07-18 22:29:13 +0000257 } else {
Andrew Kaylorfeb805f2012-10-02 18:38:34 +0000258 // The default is ELF.
Daniel Sanders50f17232015-09-15 16:17:27 +0000259 MAI = new X86ELFMCAsmInfo(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000260 }
261
Evan Cheng67c033e2011-07-18 22:29:13 +0000262 // Initialize initial frame state.
263 // Calculate amount of bytes used for return address storing
264 int stackGrowth = is64Bit ? -8 : -4;
Evan Cheng1705ab02011-07-14 23:50:31 +0000265
Evan Cheng67c033e2011-07-18 22:29:13 +0000266 // Initial state of the frame pointer is esp+stackGrowth.
Rafael Espindola227144c2013-05-13 01:16:13 +0000267 unsigned StackPtr = is64Bit ? X86::RSP : X86::ESP;
268 MCCFIInstruction Inst = MCCFIInstruction::createDefCfa(
Craig Topper062a2ba2014-04-25 05:30:21 +0000269 nullptr, MRI.getDwarfRegNum(StackPtr, true), -stackGrowth);
Rafael Espindola227144c2013-05-13 01:16:13 +0000270 MAI->addInitialFrameState(Inst);
Evan Cheng67c033e2011-07-18 22:29:13 +0000271
272 // Add return address to move list
Rafael Espindola227144c2013-05-13 01:16:13 +0000273 unsigned InstPtr = is64Bit ? X86::RIP : X86::EIP;
274 MCCFIInstruction Inst2 = MCCFIInstruction::createOffset(
Craig Topper062a2ba2014-04-25 05:30:21 +0000275 nullptr, MRI.getDwarfRegNum(InstPtr, true), stackGrowth);
Rafael Espindola227144c2013-05-13 01:16:13 +0000276 MAI->addInitialFrameState(Inst2);
Evan Cheng67c033e2011-07-18 22:29:13 +0000277
278 return MAI;
Evan Cheng1705ab02011-07-14 23:50:31 +0000279}
280
Daniel Sanders50f17232015-09-15 16:17:27 +0000281static MCInstPrinter *createX86MCInstPrinter(const Triple &T,
Eric Christopherf8019402015-03-31 00:10:04 +0000282 unsigned SyntaxVariant,
James Molloy4c493e82011-09-07 17:24:38 +0000283 const MCAsmInfo &MAI,
Craig Topper54bfde72012-04-02 06:09:36 +0000284 const MCInstrInfo &MII,
Eric Christopherf8019402015-03-31 00:10:04 +0000285 const MCRegisterInfo &MRI) {
Evan Cheng61faa552011-07-25 21:20:24 +0000286 if (SyntaxVariant == 0)
Eric Christopher9c1bd052015-03-30 22:16:37 +0000287 return new X86ATTInstPrinter(MAI, MII, MRI);
Evan Cheng61faa552011-07-25 21:20:24 +0000288 if (SyntaxVariant == 1)
Craig Topper54bfde72012-04-02 06:09:36 +0000289 return new X86IntelInstPrinter(MAI, MII, MRI);
Craig Topper062a2ba2014-04-25 05:30:21 +0000290 return nullptr;
Evan Cheng61faa552011-07-25 21:20:24 +0000291}
292
Daniel Sanders50f17232015-09-15 16:17:27 +0000293static MCRelocationInfo *createX86MCRelocationInfo(const Triple &TheTriple,
Quentin Colombetf4828052013-05-24 22:51:52 +0000294 MCContext &Ctx) {
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000295 // Default to the stock relocation info.
Daniel Sanders50f17232015-09-15 16:17:27 +0000296 return llvm::createMCRelocationInfo(TheTriple, Ctx);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000297}
298
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000299namespace llvm {
300namespace X86_MC {
301
302class X86MCInstrAnalysis : public MCInstrAnalysis {
303 X86MCInstrAnalysis(const X86MCInstrAnalysis &) = delete;
304 X86MCInstrAnalysis &operator=(const X86MCInstrAnalysis &) = delete;
305 virtual ~X86MCInstrAnalysis() = default;
306
307public:
308 X86MCInstrAnalysis(const MCInstrInfo *MCII) : MCInstrAnalysis(MCII) {}
309
310 bool clearsSuperRegisters(const MCRegisterInfo &MRI, const MCInst &Inst,
311 APInt &Mask) const override;
312};
313
314bool X86MCInstrAnalysis::clearsSuperRegisters(const MCRegisterInfo &MRI,
315 const MCInst &Inst,
316 APInt &Mask) const {
317 const MCInstrDesc &Desc = Info->get(Inst.getOpcode());
318 unsigned NumDefs = Desc.getNumDefs();
319 unsigned NumImplicitDefs = Desc.getNumImplicitDefs();
320 assert(Mask.getBitWidth() == NumDefs + NumImplicitDefs &&
321 "Unexpected number of bits in the mask!");
322
323 bool HasVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::VEX;
324 bool HasEVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::EVEX;
325 bool HasXOP = (Desc.TSFlags & X86II::EncodingMask) == X86II::XOP;
326
327 const MCRegisterClass &GR32RC = MRI.getRegClass(X86::GR32RegClassID);
328 const MCRegisterClass &VR128XRC = MRI.getRegClass(X86::VR128XRegClassID);
329 const MCRegisterClass &VR256XRC = MRI.getRegClass(X86::VR256XRegClassID);
330
331 auto ClearsSuperReg = [=](unsigned RegID) {
332 // On X86-64, a general purpose integer register is viewed as a 64-bit
333 // register internal to the processor.
334 // An update to the lower 32 bits of a 64 bit integer register is
335 // architecturally defined to zero extend the upper 32 bits.
336 if (GR32RC.contains(RegID))
337 return true;
338
339 // Early exit if this instruction has no vex/evex/xop prefix.
340 if (!HasEVEX && !HasVEX && !HasXOP)
341 return false;
342
343 // All VEX and EVEX encoded instructions are defined to zero the high bits
344 // of the destination register up to VLMAX (i.e. the maximum vector register
345 // width pertaining to the instruction).
346 // We assume the same behavior for XOP instructions too.
347 return VR128XRC.contains(RegID) || VR256XRC.contains(RegID);
348 };
349
350 Mask.clearAllBits();
351 for (unsigned I = 0, E = NumDefs; I < E; ++I) {
352 const MCOperand &Op = Inst.getOperand(I);
353 if (ClearsSuperReg(Op.getReg()))
354 Mask.setBit(I);
355 }
356
357 for (unsigned I = 0, E = NumImplicitDefs; I < E; ++I) {
358 const MCPhysReg Reg = Desc.getImplicitDefs()[I];
359 if (ClearsSuperReg(Reg))
360 Mask.setBit(NumDefs + I);
361 }
362
363 return Mask.getBoolValue();
364}
365
366} // end of namespace X86_MC
367
368} // end of namespace llvm
369
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000370static MCInstrAnalysis *createX86MCInstrAnalysis(const MCInstrInfo *Info) {
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000371 return new X86_MC::X86MCInstrAnalysis(Info);
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000372}
373
Evan Cheng8c886a42011-07-22 21:58:54 +0000374// Force static initialization.
375extern "C" void LLVMInitializeX86TargetMC() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000376 for (Target *T : {&getTheX86_32Target(), &getTheX86_64Target()}) {
Rafael Espindola69244c32015-03-18 23:15:49 +0000377 // Register the MC asm info.
378 RegisterMCAsmInfoFn X(*T, createX86MCAsmInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000379
Rafael Espindola69244c32015-03-18 23:15:49 +0000380 // Register the MC instruction info.
381 TargetRegistry::RegisterMCInstrInfo(*T, createX86MCInstrInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000382
Rafael Espindola69244c32015-03-18 23:15:49 +0000383 // Register the MC register info.
384 TargetRegistry::RegisterMCRegInfo(*T, createX86MCRegisterInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000385
Rafael Espindola69244c32015-03-18 23:15:49 +0000386 // Register the MC subtarget info.
387 TargetRegistry::RegisterMCSubtargetInfo(*T,
388 X86_MC::createX86MCSubtargetInfo);
Evan Chengb2531002011-07-25 19:33:48 +0000389
Rafael Espindola69244c32015-03-18 23:15:49 +0000390 // Register the MC instruction analyzer.
391 TargetRegistry::RegisterMCInstrAnalysis(*T, createX86MCInstrAnalysis);
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000392
Rafael Espindola69244c32015-03-18 23:15:49 +0000393 // Register the code emitter.
394 TargetRegistry::RegisterMCCodeEmitter(*T, createX86MCCodeEmitter);
395
Reid Kleckner9cdd4df2017-10-11 21:24:33 +0000396 // Register the obj target streamer.
397 TargetRegistry::RegisterObjectTargetStreamer(*T,
398 createX86ObjectTargetStreamer);
399
400 // Register the asm target streamer.
401 TargetRegistry::RegisterAsmTargetStreamer(*T, createX86AsmTargetStreamer);
402
Rafael Espindolacd584a82015-03-19 01:50:16 +0000403 TargetRegistry::RegisterCOFFStreamer(*T, createX86WinCOFFStreamer);
Rafael Espindola69244c32015-03-18 23:15:49 +0000404
405 // Register the MCInstPrinter.
406 TargetRegistry::RegisterMCInstPrinter(*T, createX86MCInstPrinter);
407
408 // Register the MC relocation info.
409 TargetRegistry::RegisterMCRelocationInfo(*T, createX86MCRelocationInfo);
410 }
Evan Chengb2531002011-07-25 19:33:48 +0000411
412 // Register the asm backend.
Mehdi Aminif42454b2016-10-09 23:00:34 +0000413 TargetRegistry::RegisterMCAsmBackend(getTheX86_32Target(),
Evan Cheng5928e692011-07-25 23:24:55 +0000414 createX86_32AsmBackend);
Mehdi Aminif42454b2016-10-09 23:00:34 +0000415 TargetRegistry::RegisterMCAsmBackend(getTheX86_64Target(),
Evan Cheng5928e692011-07-25 23:24:55 +0000416 createX86_64AsmBackend);
Evan Cheng2129f592011-07-19 06:37:02 +0000417}
Craig Topperc0453e82015-12-25 22:10:08 +0000418
419unsigned llvm::getX86SubSuperRegisterOrZero(unsigned Reg, unsigned Size,
420 bool High) {
421 switch (Size) {
422 default: return 0;
423 case 8:
424 if (High) {
425 switch (Reg) {
426 default: return getX86SubSuperRegisterOrZero(Reg, 64);
427 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
428 return X86::SI;
429 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
430 return X86::DI;
431 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
432 return X86::BP;
433 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
434 return X86::SP;
435 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
436 return X86::AH;
437 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
438 return X86::DH;
439 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
440 return X86::CH;
441 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
442 return X86::BH;
443 }
444 } else {
445 switch (Reg) {
446 default: return 0;
447 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
448 return X86::AL;
449 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
450 return X86::DL;
451 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
452 return X86::CL;
453 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
454 return X86::BL;
455 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
456 return X86::SIL;
457 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
458 return X86::DIL;
459 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
460 return X86::BPL;
461 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
462 return X86::SPL;
463 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
464 return X86::R8B;
465 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
466 return X86::R9B;
467 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
468 return X86::R10B;
469 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
470 return X86::R11B;
471 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
472 return X86::R12B;
473 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
474 return X86::R13B;
475 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
476 return X86::R14B;
477 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
478 return X86::R15B;
479 }
480 }
481 case 16:
482 switch (Reg) {
483 default: return 0;
484 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
485 return X86::AX;
486 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
487 return X86::DX;
488 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
489 return X86::CX;
490 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
491 return X86::BX;
492 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
493 return X86::SI;
494 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
495 return X86::DI;
496 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
497 return X86::BP;
498 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
499 return X86::SP;
500 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
501 return X86::R8W;
502 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
503 return X86::R9W;
504 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
505 return X86::R10W;
506 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
507 return X86::R11W;
508 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
509 return X86::R12W;
510 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
511 return X86::R13W;
512 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
513 return X86::R14W;
514 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
515 return X86::R15W;
516 }
517 case 32:
518 switch (Reg) {
519 default: return 0;
520 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
521 return X86::EAX;
522 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
523 return X86::EDX;
524 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
525 return X86::ECX;
526 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
527 return X86::EBX;
528 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
529 return X86::ESI;
530 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
531 return X86::EDI;
532 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
533 return X86::EBP;
534 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
535 return X86::ESP;
536 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
537 return X86::R8D;
538 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
539 return X86::R9D;
540 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
541 return X86::R10D;
542 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
543 return X86::R11D;
544 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
545 return X86::R12D;
546 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
547 return X86::R13D;
548 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
549 return X86::R14D;
550 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
551 return X86::R15D;
552 }
553 case 64:
554 switch (Reg) {
555 default: return 0;
556 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
557 return X86::RAX;
558 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
559 return X86::RDX;
560 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
561 return X86::RCX;
562 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
563 return X86::RBX;
564 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
565 return X86::RSI;
566 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
567 return X86::RDI;
568 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
569 return X86::RBP;
570 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
571 return X86::RSP;
572 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
573 return X86::R8;
574 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
575 return X86::R9;
576 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
577 return X86::R10;
578 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
579 return X86::R11;
580 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
581 return X86::R12;
582 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
583 return X86::R13;
584 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
585 return X86::R14;
586 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
587 return X86::R15;
588 }
589 }
590}
591
592unsigned llvm::getX86SubSuperRegister(unsigned Reg, unsigned Size, bool High) {
593 unsigned Res = getX86SubSuperRegisterOrZero(Reg, Size, High);
594 assert(Res != 0 && "Unexpected register or VT");
595 return Res;
596}
597
598