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