blob: 355b90b5459a6ea0974bb56a0eeb3c223dbbc916 [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[] = {
Reid Klecknerbd5d7122018-08-16 17:34:31 +000084 {codeview::RegisterId::AL, X86::AL},
85 {codeview::RegisterId::CL, X86::CL},
86 {codeview::RegisterId::DL, X86::DL},
87 {codeview::RegisterId::BL, X86::BL},
88 {codeview::RegisterId::AH, X86::AH},
89 {codeview::RegisterId::CH, X86::CH},
90 {codeview::RegisterId::DH, X86::DH},
91 {codeview::RegisterId::BH, X86::BH},
92 {codeview::RegisterId::AX, X86::AX},
93 {codeview::RegisterId::CX, X86::CX},
94 {codeview::RegisterId::DX, X86::DX},
95 {codeview::RegisterId::BX, X86::BX},
96 {codeview::RegisterId::SP, X86::SP},
97 {codeview::RegisterId::BP, X86::BP},
98 {codeview::RegisterId::SI, X86::SI},
99 {codeview::RegisterId::DI, X86::DI},
100 {codeview::RegisterId::EAX, X86::EAX},
101 {codeview::RegisterId::ECX, X86::ECX},
102 {codeview::RegisterId::EDX, X86::EDX},
103 {codeview::RegisterId::EBX, X86::EBX},
104 {codeview::RegisterId::ESP, X86::ESP},
105 {codeview::RegisterId::EBP, X86::EBP},
106 {codeview::RegisterId::ESI, X86::ESI},
107 {codeview::RegisterId::EDI, X86::EDI},
Hans Wennborg66053102017-10-03 18:27:22 +0000108
Reid Klecknerbd5d7122018-08-16 17:34:31 +0000109 {codeview::RegisterId::EFLAGS, X86::EFLAGS},
Hans Wennborg66053102017-10-03 18:27:22 +0000110
Reid Klecknerbd5d7122018-08-16 17:34:31 +0000111 {codeview::RegisterId::ST0, X86::FP0},
112 {codeview::RegisterId::ST1, X86::FP1},
113 {codeview::RegisterId::ST2, X86::FP2},
114 {codeview::RegisterId::ST3, X86::FP3},
115 {codeview::RegisterId::ST4, X86::FP4},
116 {codeview::RegisterId::ST5, X86::FP5},
117 {codeview::RegisterId::ST6, X86::FP6},
118 {codeview::RegisterId::ST7, X86::FP7},
Hans Wennborg66053102017-10-03 18:27:22 +0000119
Reid Klecknerbd5d7122018-08-16 17:34:31 +0000120 {codeview::RegisterId::XMM0, X86::XMM0},
121 {codeview::RegisterId::XMM1, X86::XMM1},
122 {codeview::RegisterId::XMM2, X86::XMM2},
123 {codeview::RegisterId::XMM3, X86::XMM3},
124 {codeview::RegisterId::XMM4, X86::XMM4},
125 {codeview::RegisterId::XMM5, X86::XMM5},
126 {codeview::RegisterId::XMM6, X86::XMM6},
127 {codeview::RegisterId::XMM7, X86::XMM7},
Hans Wennborg66053102017-10-03 18:27:22 +0000128
Reid Klecknerbd5d7122018-08-16 17:34:31 +0000129 {codeview::RegisterId::XMM8, X86::XMM8},
130 {codeview::RegisterId::XMM9, X86::XMM9},
131 {codeview::RegisterId::XMM10, X86::XMM10},
132 {codeview::RegisterId::XMM11, X86::XMM11},
133 {codeview::RegisterId::XMM12, X86::XMM12},
134 {codeview::RegisterId::XMM13, X86::XMM13},
135 {codeview::RegisterId::XMM14, X86::XMM14},
136 {codeview::RegisterId::XMM15, X86::XMM15},
Hans Wennborg66053102017-10-03 18:27:22 +0000137
Reid Klecknerbd5d7122018-08-16 17:34:31 +0000138 {codeview::RegisterId::SIL, X86::SIL},
139 {codeview::RegisterId::DIL, X86::DIL},
140 {codeview::RegisterId::BPL, X86::BPL},
141 {codeview::RegisterId::SPL, X86::SPL},
142 {codeview::RegisterId::RAX, X86::RAX},
143 {codeview::RegisterId::RBX, X86::RBX},
144 {codeview::RegisterId::RCX, X86::RCX},
145 {codeview::RegisterId::RDX, X86::RDX},
146 {codeview::RegisterId::RSI, X86::RSI},
147 {codeview::RegisterId::RDI, X86::RDI},
148 {codeview::RegisterId::RBP, X86::RBP},
149 {codeview::RegisterId::RSP, X86::RSP},
150 {codeview::RegisterId::R8, X86::R8},
151 {codeview::RegisterId::R9, X86::R9},
152 {codeview::RegisterId::R10, X86::R10},
153 {codeview::RegisterId::R11, X86::R11},
154 {codeview::RegisterId::R12, X86::R12},
155 {codeview::RegisterId::R13, X86::R13},
156 {codeview::RegisterId::R14, X86::R14},
157 {codeview::RegisterId::R15, X86::R15},
158 {codeview::RegisterId::R8B, X86::R8B},
159 {codeview::RegisterId::R9B, X86::R9B},
160 {codeview::RegisterId::R10B, X86::R10B},
161 {codeview::RegisterId::R11B, X86::R11B},
162 {codeview::RegisterId::R12B, X86::R12B},
163 {codeview::RegisterId::R13B, X86::R13B},
164 {codeview::RegisterId::R14B, X86::R14B},
165 {codeview::RegisterId::R15B, X86::R15B},
166 {codeview::RegisterId::R8W, X86::R8W},
167 {codeview::RegisterId::R9W, X86::R9W},
168 {codeview::RegisterId::R10W, X86::R10W},
169 {codeview::RegisterId::R11W, X86::R11W},
170 {codeview::RegisterId::R12W, X86::R12W},
171 {codeview::RegisterId::R13W, X86::R13W},
172 {codeview::RegisterId::R14W, X86::R14W},
173 {codeview::RegisterId::R15W, X86::R15W},
174 {codeview::RegisterId::R8D, X86::R8D},
175 {codeview::RegisterId::R9D, X86::R9D},
176 {codeview::RegisterId::R10D, X86::R10D},
177 {codeview::RegisterId::R11D, X86::R11D},
178 {codeview::RegisterId::R12D, X86::R12D},
179 {codeview::RegisterId::R13D, X86::R13D},
180 {codeview::RegisterId::R14D, X86::R14D},
181 {codeview::RegisterId::R15D, X86::R15D},
182 {codeview::RegisterId::AMD64_YMM0, X86::YMM0},
183 {codeview::RegisterId::AMD64_YMM1, X86::YMM1},
184 {codeview::RegisterId::AMD64_YMM2, X86::YMM2},
185 {codeview::RegisterId::AMD64_YMM3, X86::YMM3},
186 {codeview::RegisterId::AMD64_YMM4, X86::YMM4},
187 {codeview::RegisterId::AMD64_YMM5, X86::YMM5},
188 {codeview::RegisterId::AMD64_YMM6, X86::YMM6},
189 {codeview::RegisterId::AMD64_YMM7, X86::YMM7},
190 {codeview::RegisterId::AMD64_YMM8, X86::YMM8},
191 {codeview::RegisterId::AMD64_YMM9, X86::YMM9},
192 {codeview::RegisterId::AMD64_YMM10, X86::YMM10},
193 {codeview::RegisterId::AMD64_YMM11, X86::YMM11},
194 {codeview::RegisterId::AMD64_YMM12, X86::YMM12},
195 {codeview::RegisterId::AMD64_YMM13, X86::YMM13},
196 {codeview::RegisterId::AMD64_YMM14, X86::YMM14},
197 {codeview::RegisterId::AMD64_YMM15, X86::YMM15},
198 {codeview::RegisterId::AMD64_YMM16, X86::YMM16},
199 {codeview::RegisterId::AMD64_YMM17, X86::YMM17},
200 {codeview::RegisterId::AMD64_YMM18, X86::YMM18},
201 {codeview::RegisterId::AMD64_YMM19, X86::YMM19},
202 {codeview::RegisterId::AMD64_YMM20, X86::YMM20},
203 {codeview::RegisterId::AMD64_YMM21, X86::YMM21},
204 {codeview::RegisterId::AMD64_YMM22, X86::YMM22},
205 {codeview::RegisterId::AMD64_YMM23, X86::YMM23},
206 {codeview::RegisterId::AMD64_YMM24, X86::YMM24},
207 {codeview::RegisterId::AMD64_YMM25, X86::YMM25},
208 {codeview::RegisterId::AMD64_YMM26, X86::YMM26},
209 {codeview::RegisterId::AMD64_YMM27, X86::YMM27},
210 {codeview::RegisterId::AMD64_YMM28, X86::YMM28},
211 {codeview::RegisterId::AMD64_YMM29, X86::YMM29},
212 {codeview::RegisterId::AMD64_YMM30, X86::YMM30},
213 {codeview::RegisterId::AMD64_YMM31, X86::YMM31},
214 {codeview::RegisterId::AMD64_ZMM0, X86::ZMM0},
215 {codeview::RegisterId::AMD64_ZMM1, X86::ZMM1},
216 {codeview::RegisterId::AMD64_ZMM2, X86::ZMM2},
217 {codeview::RegisterId::AMD64_ZMM3, X86::ZMM3},
218 {codeview::RegisterId::AMD64_ZMM4, X86::ZMM4},
219 {codeview::RegisterId::AMD64_ZMM5, X86::ZMM5},
220 {codeview::RegisterId::AMD64_ZMM6, X86::ZMM6},
221 {codeview::RegisterId::AMD64_ZMM7, X86::ZMM7},
222 {codeview::RegisterId::AMD64_ZMM8, X86::ZMM8},
223 {codeview::RegisterId::AMD64_ZMM9, X86::ZMM9},
224 {codeview::RegisterId::AMD64_ZMM10, X86::ZMM10},
225 {codeview::RegisterId::AMD64_ZMM11, X86::ZMM11},
226 {codeview::RegisterId::AMD64_ZMM12, X86::ZMM12},
227 {codeview::RegisterId::AMD64_ZMM13, X86::ZMM13},
228 {codeview::RegisterId::AMD64_ZMM14, X86::ZMM14},
229 {codeview::RegisterId::AMD64_ZMM15, X86::ZMM15},
230 {codeview::RegisterId::AMD64_ZMM16, X86::ZMM16},
231 {codeview::RegisterId::AMD64_ZMM17, X86::ZMM17},
232 {codeview::RegisterId::AMD64_ZMM18, X86::ZMM18},
233 {codeview::RegisterId::AMD64_ZMM19, X86::ZMM19},
234 {codeview::RegisterId::AMD64_ZMM20, X86::ZMM20},
235 {codeview::RegisterId::AMD64_ZMM21, X86::ZMM21},
236 {codeview::RegisterId::AMD64_ZMM22, X86::ZMM22},
237 {codeview::RegisterId::AMD64_ZMM23, X86::ZMM23},
238 {codeview::RegisterId::AMD64_ZMM24, X86::ZMM24},
239 {codeview::RegisterId::AMD64_ZMM25, X86::ZMM25},
240 {codeview::RegisterId::AMD64_ZMM26, X86::ZMM26},
241 {codeview::RegisterId::AMD64_ZMM27, X86::ZMM27},
242 {codeview::RegisterId::AMD64_ZMM28, X86::ZMM28},
243 {codeview::RegisterId::AMD64_ZMM29, X86::ZMM29},
244 {codeview::RegisterId::AMD64_ZMM30, X86::ZMM30},
245 {codeview::RegisterId::AMD64_ZMM31, X86::ZMM31},
246 {codeview::RegisterId::AMD64_K0, X86::K0},
247 {codeview::RegisterId::AMD64_K1, X86::K1},
248 {codeview::RegisterId::AMD64_K2, X86::K2},
249 {codeview::RegisterId::AMD64_K3, X86::K3},
250 {codeview::RegisterId::AMD64_K4, X86::K4},
251 {codeview::RegisterId::AMD64_K5, X86::K5},
252 {codeview::RegisterId::AMD64_K6, X86::K6},
253 {codeview::RegisterId::AMD64_K7, X86::K7},
Reid Klecknerf9c275f2016-02-10 20:55:49 +0000254 };
Hans Wennborg66053102017-10-03 18:27:22 +0000255 for (unsigned I = 0; I < array_lengthof(RegMap); ++I)
256 MRI->mapLLVMRegToCVReg(RegMap[I].Reg, static_cast<int>(RegMap[I].CVReg));
Evan Chengd60fa58b2011-07-18 20:57:22 +0000257}
258
Daniel Sanders50f17232015-09-15 16:17:27 +0000259MCSubtargetInfo *X86_MC::createX86MCSubtargetInfo(const Triple &TT,
Daniel Sandersa73f1fd2015-06-10 12:11:26 +0000260 StringRef CPU, StringRef FS) {
Daniel Sanders50f17232015-09-15 16:17:27 +0000261 std::string ArchFS = X86_MC::ParseX86Triple(TT);
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000262 if (!FS.empty()) {
263 if (!ArchFS.empty())
Yaron Keren75e0c4b2015-03-27 17:51:30 +0000264 ArchFS = (Twine(ArchFS) + "," + FS).str();
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000265 else
266 ArchFS = FS;
267 }
268
269 std::string CPUName = CPU;
Jim Grosbacha344b6c32014-04-14 22:23:30 +0000270 if (CPUName.empty())
Evan Cheng964cb5f2011-07-08 21:14:14 +0000271 CPUName = "generic";
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000272
Duncan P. N. Exon Smith754e21f2015-07-10 22:43:42 +0000273 return createX86MCSubtargetInfoImpl(TT, CPUName, ArchFS);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000274}
275
Evan Cheng1705ab02011-07-14 23:50:31 +0000276static MCInstrInfo *createX86MCInstrInfo() {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000277 MCInstrInfo *X = new MCInstrInfo();
278 InitX86MCInstrInfo(X);
279 return X;
280}
281
Daniel Sanders50f17232015-09-15 16:17:27 +0000282static MCRegisterInfo *createX86MCRegisterInfo(const Triple &TT) {
283 unsigned RA = (TT.getArch() == Triple::x86_64)
Daniel Sandersf423f562015-07-06 16:56:07 +0000284 ? X86::RIP // Should have dwarf #16.
285 : X86::EIP; // Should have dwarf #8.
Evan Chengd60fa58b2011-07-18 20:57:22 +0000286
Evan Cheng1705ab02011-07-14 23:50:31 +0000287 MCRegisterInfo *X = new MCRegisterInfo();
Daniel Sandersf423f562015-07-06 16:56:07 +0000288 InitX86MCRegisterInfo(X, RA, X86_MC::getDwarfRegFlavour(TT, false),
289 X86_MC::getDwarfRegFlavour(TT, true), RA);
Reid Klecknerf9c275f2016-02-10 20:55:49 +0000290 X86_MC::initLLVMToSEHAndCVRegMapping(X);
Evan Cheng1705ab02011-07-14 23:50:31 +0000291 return X;
292}
293
Daniel Sanders7813ae82015-06-04 13:12:25 +0000294static MCAsmInfo *createX86MCAsmInfo(const MCRegisterInfo &MRI,
Daniel Sanders50f17232015-09-15 16:17:27 +0000295 const Triple &TheTriple) {
296 bool is64Bit = TheTriple.getArch() == Triple::x86_64;
Evan Cheng1705ab02011-07-14 23:50:31 +0000297
Evan Cheng67c033e2011-07-18 22:29:13 +0000298 MCAsmInfo *MAI;
Daniel Sanders50f17232015-09-15 16:17:27 +0000299 if (TheTriple.isOSBinFormatMachO()) {
Evan Cheng67c033e2011-07-18 22:29:13 +0000300 if (is64Bit)
Daniel Sanders50f17232015-09-15 16:17:27 +0000301 MAI = new X86_64MCAsmInfoDarwin(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000302 else
Daniel Sanders50f17232015-09-15 16:17:27 +0000303 MAI = new X86MCAsmInfoDarwin(TheTriple);
304 } else if (TheTriple.isOSBinFormatELF()) {
Andrew Kaylorfeb805f2012-10-02 18:38:34 +0000305 // Force the use of an ELF container.
Daniel Sanders50f17232015-09-15 16:17:27 +0000306 MAI = new X86ELFMCAsmInfo(TheTriple);
307 } else if (TheTriple.isWindowsMSVCEnvironment() ||
308 TheTriple.isWindowsCoreCLREnvironment()) {
309 MAI = new X86MCAsmInfoMicrosoft(TheTriple);
310 } else if (TheTriple.isOSCygMing() ||
311 TheTriple.isWindowsItaniumEnvironment()) {
312 MAI = new X86MCAsmInfoGNUCOFF(TheTriple);
Evan Cheng67c033e2011-07-18 22:29:13 +0000313 } else {
Andrew Kaylorfeb805f2012-10-02 18:38:34 +0000314 // The default is ELF.
Daniel Sanders50f17232015-09-15 16:17:27 +0000315 MAI = new X86ELFMCAsmInfo(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000316 }
317
Evan Cheng67c033e2011-07-18 22:29:13 +0000318 // Initialize initial frame state.
319 // Calculate amount of bytes used for return address storing
320 int stackGrowth = is64Bit ? -8 : -4;
Evan Cheng1705ab02011-07-14 23:50:31 +0000321
Evan Cheng67c033e2011-07-18 22:29:13 +0000322 // Initial state of the frame pointer is esp+stackGrowth.
Rafael Espindola227144c2013-05-13 01:16:13 +0000323 unsigned StackPtr = is64Bit ? X86::RSP : X86::ESP;
324 MCCFIInstruction Inst = MCCFIInstruction::createDefCfa(
Craig Topper062a2ba2014-04-25 05:30:21 +0000325 nullptr, MRI.getDwarfRegNum(StackPtr, true), -stackGrowth);
Rafael Espindola227144c2013-05-13 01:16:13 +0000326 MAI->addInitialFrameState(Inst);
Evan Cheng67c033e2011-07-18 22:29:13 +0000327
328 // Add return address to move list
Rafael Espindola227144c2013-05-13 01:16:13 +0000329 unsigned InstPtr = is64Bit ? X86::RIP : X86::EIP;
330 MCCFIInstruction Inst2 = MCCFIInstruction::createOffset(
Craig Topper062a2ba2014-04-25 05:30:21 +0000331 nullptr, MRI.getDwarfRegNum(InstPtr, true), stackGrowth);
Rafael Espindola227144c2013-05-13 01:16:13 +0000332 MAI->addInitialFrameState(Inst2);
Evan Cheng67c033e2011-07-18 22:29:13 +0000333
334 return MAI;
Evan Cheng1705ab02011-07-14 23:50:31 +0000335}
336
Daniel Sanders50f17232015-09-15 16:17:27 +0000337static MCInstPrinter *createX86MCInstPrinter(const Triple &T,
Eric Christopherf8019402015-03-31 00:10:04 +0000338 unsigned SyntaxVariant,
James Molloy4c493e82011-09-07 17:24:38 +0000339 const MCAsmInfo &MAI,
Craig Topper54bfde72012-04-02 06:09:36 +0000340 const MCInstrInfo &MII,
Eric Christopherf8019402015-03-31 00:10:04 +0000341 const MCRegisterInfo &MRI) {
Evan Cheng61faa552011-07-25 21:20:24 +0000342 if (SyntaxVariant == 0)
Eric Christopher9c1bd052015-03-30 22:16:37 +0000343 return new X86ATTInstPrinter(MAI, MII, MRI);
Evan Cheng61faa552011-07-25 21:20:24 +0000344 if (SyntaxVariant == 1)
Craig Topper54bfde72012-04-02 06:09:36 +0000345 return new X86IntelInstPrinter(MAI, MII, MRI);
Craig Topper062a2ba2014-04-25 05:30:21 +0000346 return nullptr;
Evan Cheng61faa552011-07-25 21:20:24 +0000347}
348
Daniel Sanders50f17232015-09-15 16:17:27 +0000349static MCRelocationInfo *createX86MCRelocationInfo(const Triple &TheTriple,
Quentin Colombetf4828052013-05-24 22:51:52 +0000350 MCContext &Ctx) {
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000351 // Default to the stock relocation info.
Daniel Sanders50f17232015-09-15 16:17:27 +0000352 return llvm::createMCRelocationInfo(TheTriple, Ctx);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000353}
354
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000355namespace llvm {
356namespace X86_MC {
357
358class X86MCInstrAnalysis : public MCInstrAnalysis {
359 X86MCInstrAnalysis(const X86MCInstrAnalysis &) = delete;
360 X86MCInstrAnalysis &operator=(const X86MCInstrAnalysis &) = delete;
361 virtual ~X86MCInstrAnalysis() = default;
362
363public:
364 X86MCInstrAnalysis(const MCInstrInfo *MCII) : MCInstrAnalysis(MCII) {}
365
Andrea Di Biagioa1852b62018-07-31 13:21:43 +0000366 bool isDependencyBreaking(const MCSubtargetInfo &STI,
367 const MCInst &Inst) const override;
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000368 bool clearsSuperRegisters(const MCRegisterInfo &MRI, const MCInst &Inst,
369 APInt &Mask) const override;
370};
371
Andrea Di Biagioa1852b62018-07-31 13:21:43 +0000372bool X86MCInstrAnalysis::isDependencyBreaking(const MCSubtargetInfo &STI,
373 const MCInst &Inst) const {
374 if (STI.getCPU() == "btver2") {
375 // Reference: Agner Fog's microarchitecture.pdf - Section 20 "AMD Bobcat and
376 // Jaguar pipeline", subsection 8 "Dependency-breaking instructions".
377 switch (Inst.getOpcode()) {
378 default:
379 return false;
380 case X86::SUB32rr:
381 case X86::SUB64rr:
382 case X86::SBB32rr:
383 case X86::SBB64rr:
384 case X86::XOR32rr:
385 case X86::XOR64rr:
386 case X86::XORPSrr:
387 case X86::XORPDrr:
388 case X86::VXORPSrr:
389 case X86::VXORPDrr:
390 case X86::ANDNPSrr:
391 case X86::VANDNPSrr:
392 case X86::ANDNPDrr:
393 case X86::VANDNPDrr:
394 case X86::PXORrr:
395 case X86::VPXORrr:
396 case X86::PANDNrr:
397 case X86::VPANDNrr:
398 case X86::PSUBBrr:
399 case X86::PSUBWrr:
400 case X86::PSUBDrr:
401 case X86::PSUBQrr:
402 case X86::VPSUBBrr:
403 case X86::VPSUBWrr:
404 case X86::VPSUBDrr:
405 case X86::VPSUBQrr:
406 case X86::PCMPEQBrr:
407 case X86::PCMPEQWrr:
408 case X86::PCMPEQDrr:
409 case X86::PCMPEQQrr:
410 case X86::VPCMPEQBrr:
411 case X86::VPCMPEQWrr:
412 case X86::VPCMPEQDrr:
413 case X86::VPCMPEQQrr:
414 case X86::PCMPGTBrr:
415 case X86::PCMPGTWrr:
416 case X86::PCMPGTDrr:
417 case X86::PCMPGTQrr:
418 case X86::VPCMPGTBrr:
419 case X86::VPCMPGTWrr:
420 case X86::VPCMPGTDrr:
421 case X86::VPCMPGTQrr:
422 case X86::MMX_PXORirr:
423 case X86::MMX_PANDNirr:
424 case X86::MMX_PSUBBirr:
425 case X86::MMX_PSUBDirr:
426 case X86::MMX_PSUBQirr:
427 case X86::MMX_PSUBWirr:
428 case X86::MMX_PCMPGTBirr:
429 case X86::MMX_PCMPGTDirr:
430 case X86::MMX_PCMPGTWirr:
431 case X86::MMX_PCMPEQBirr:
432 case X86::MMX_PCMPEQDirr:
433 case X86::MMX_PCMPEQWirr:
434 return Inst.getOperand(1).getReg() == Inst.getOperand(2).getReg();
435 case X86::CMP32rr:
436 case X86::CMP64rr:
437 return Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg();
438 }
439 }
440
441 return false;
442}
443
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000444bool X86MCInstrAnalysis::clearsSuperRegisters(const MCRegisterInfo &MRI,
445 const MCInst &Inst,
446 APInt &Mask) const {
447 const MCInstrDesc &Desc = Info->get(Inst.getOpcode());
448 unsigned NumDefs = Desc.getNumDefs();
449 unsigned NumImplicitDefs = Desc.getNumImplicitDefs();
450 assert(Mask.getBitWidth() == NumDefs + NumImplicitDefs &&
451 "Unexpected number of bits in the mask!");
452
453 bool HasVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::VEX;
454 bool HasEVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::EVEX;
455 bool HasXOP = (Desc.TSFlags & X86II::EncodingMask) == X86II::XOP;
456
457 const MCRegisterClass &GR32RC = MRI.getRegClass(X86::GR32RegClassID);
458 const MCRegisterClass &VR128XRC = MRI.getRegClass(X86::VR128XRegClassID);
459 const MCRegisterClass &VR256XRC = MRI.getRegClass(X86::VR256XRegClassID);
460
461 auto ClearsSuperReg = [=](unsigned RegID) {
462 // On X86-64, a general purpose integer register is viewed as a 64-bit
463 // register internal to the processor.
464 // An update to the lower 32 bits of a 64 bit integer register is
465 // architecturally defined to zero extend the upper 32 bits.
466 if (GR32RC.contains(RegID))
467 return true;
468
469 // Early exit if this instruction has no vex/evex/xop prefix.
470 if (!HasEVEX && !HasVEX && !HasXOP)
471 return false;
472
473 // All VEX and EVEX encoded instructions are defined to zero the high bits
474 // of the destination register up to VLMAX (i.e. the maximum vector register
475 // width pertaining to the instruction).
476 // We assume the same behavior for XOP instructions too.
477 return VR128XRC.contains(RegID) || VR256XRC.contains(RegID);
478 };
479
480 Mask.clearAllBits();
481 for (unsigned I = 0, E = NumDefs; I < E; ++I) {
482 const MCOperand &Op = Inst.getOperand(I);
483 if (ClearsSuperReg(Op.getReg()))
484 Mask.setBit(I);
485 }
486
487 for (unsigned I = 0, E = NumImplicitDefs; I < E; ++I) {
488 const MCPhysReg Reg = Desc.getImplicitDefs()[I];
489 if (ClearsSuperReg(Reg))
490 Mask.setBit(NumDefs + I);
491 }
492
493 return Mask.getBoolValue();
494}
495
496} // end of namespace X86_MC
497
498} // end of namespace llvm
499
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000500static MCInstrAnalysis *createX86MCInstrAnalysis(const MCInstrInfo *Info) {
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000501 return new X86_MC::X86MCInstrAnalysis(Info);
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000502}
503
Evan Cheng8c886a42011-07-22 21:58:54 +0000504// Force static initialization.
505extern "C" void LLVMInitializeX86TargetMC() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000506 for (Target *T : {&getTheX86_32Target(), &getTheX86_64Target()}) {
Rafael Espindola69244c32015-03-18 23:15:49 +0000507 // Register the MC asm info.
508 RegisterMCAsmInfoFn X(*T, createX86MCAsmInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000509
Rafael Espindola69244c32015-03-18 23:15:49 +0000510 // Register the MC instruction info.
511 TargetRegistry::RegisterMCInstrInfo(*T, createX86MCInstrInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000512
Rafael Espindola69244c32015-03-18 23:15:49 +0000513 // Register the MC register info.
514 TargetRegistry::RegisterMCRegInfo(*T, createX86MCRegisterInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000515
Rafael Espindola69244c32015-03-18 23:15:49 +0000516 // Register the MC subtarget info.
517 TargetRegistry::RegisterMCSubtargetInfo(*T,
518 X86_MC::createX86MCSubtargetInfo);
Evan Chengb2531002011-07-25 19:33:48 +0000519
Rafael Espindola69244c32015-03-18 23:15:49 +0000520 // Register the MC instruction analyzer.
521 TargetRegistry::RegisterMCInstrAnalysis(*T, createX86MCInstrAnalysis);
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000522
Rafael Espindola69244c32015-03-18 23:15:49 +0000523 // Register the code emitter.
524 TargetRegistry::RegisterMCCodeEmitter(*T, createX86MCCodeEmitter);
525
Reid Kleckner9cdd4df2017-10-11 21:24:33 +0000526 // Register the obj target streamer.
527 TargetRegistry::RegisterObjectTargetStreamer(*T,
528 createX86ObjectTargetStreamer);
529
530 // Register the asm target streamer.
531 TargetRegistry::RegisterAsmTargetStreamer(*T, createX86AsmTargetStreamer);
532
Rafael Espindolacd584a82015-03-19 01:50:16 +0000533 TargetRegistry::RegisterCOFFStreamer(*T, createX86WinCOFFStreamer);
Rafael Espindola69244c32015-03-18 23:15:49 +0000534
535 // Register the MCInstPrinter.
536 TargetRegistry::RegisterMCInstPrinter(*T, createX86MCInstPrinter);
537
538 // Register the MC relocation info.
539 TargetRegistry::RegisterMCRelocationInfo(*T, createX86MCRelocationInfo);
540 }
Evan Chengb2531002011-07-25 19:33:48 +0000541
542 // Register the asm backend.
Mehdi Aminif42454b2016-10-09 23:00:34 +0000543 TargetRegistry::RegisterMCAsmBackend(getTheX86_32Target(),
Evan Cheng5928e692011-07-25 23:24:55 +0000544 createX86_32AsmBackend);
Mehdi Aminif42454b2016-10-09 23:00:34 +0000545 TargetRegistry::RegisterMCAsmBackend(getTheX86_64Target(),
Evan Cheng5928e692011-07-25 23:24:55 +0000546 createX86_64AsmBackend);
Evan Cheng2129f592011-07-19 06:37:02 +0000547}
Craig Topperc0453e82015-12-25 22:10:08 +0000548
549unsigned llvm::getX86SubSuperRegisterOrZero(unsigned Reg, unsigned Size,
550 bool High) {
551 switch (Size) {
552 default: return 0;
553 case 8:
554 if (High) {
555 switch (Reg) {
556 default: return getX86SubSuperRegisterOrZero(Reg, 64);
557 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
558 return X86::SI;
559 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
560 return X86::DI;
561 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
562 return X86::BP;
563 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
564 return X86::SP;
565 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
566 return X86::AH;
567 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
568 return X86::DH;
569 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
570 return X86::CH;
571 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
572 return X86::BH;
573 }
574 } else {
575 switch (Reg) {
576 default: return 0;
577 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
578 return X86::AL;
579 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
580 return X86::DL;
581 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
582 return X86::CL;
583 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
584 return X86::BL;
585 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
586 return X86::SIL;
587 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
588 return X86::DIL;
589 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
590 return X86::BPL;
591 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
592 return X86::SPL;
593 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
594 return X86::R8B;
595 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
596 return X86::R9B;
597 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
598 return X86::R10B;
599 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
600 return X86::R11B;
601 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
602 return X86::R12B;
603 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
604 return X86::R13B;
605 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
606 return X86::R14B;
607 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
608 return X86::R15B;
609 }
610 }
611 case 16:
612 switch (Reg) {
613 default: return 0;
614 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
615 return X86::AX;
616 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
617 return X86::DX;
618 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
619 return X86::CX;
620 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
621 return X86::BX;
622 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
623 return X86::SI;
624 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
625 return X86::DI;
626 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
627 return X86::BP;
628 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
629 return X86::SP;
630 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
631 return X86::R8W;
632 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
633 return X86::R9W;
634 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
635 return X86::R10W;
636 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
637 return X86::R11W;
638 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
639 return X86::R12W;
640 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
641 return X86::R13W;
642 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
643 return X86::R14W;
644 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
645 return X86::R15W;
646 }
647 case 32:
648 switch (Reg) {
649 default: return 0;
650 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
651 return X86::EAX;
652 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
653 return X86::EDX;
654 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
655 return X86::ECX;
656 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
657 return X86::EBX;
658 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
659 return X86::ESI;
660 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
661 return X86::EDI;
662 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
663 return X86::EBP;
664 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
665 return X86::ESP;
666 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
667 return X86::R8D;
668 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
669 return X86::R9D;
670 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
671 return X86::R10D;
672 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
673 return X86::R11D;
674 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
675 return X86::R12D;
676 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
677 return X86::R13D;
678 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
679 return X86::R14D;
680 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
681 return X86::R15D;
682 }
683 case 64:
684 switch (Reg) {
685 default: return 0;
686 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
687 return X86::RAX;
688 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
689 return X86::RDX;
690 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
691 return X86::RCX;
692 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
693 return X86::RBX;
694 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
695 return X86::RSI;
696 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
697 return X86::RDI;
698 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
699 return X86::RBP;
700 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
701 return X86::RSP;
702 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
703 return X86::R8;
704 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
705 return X86::R9;
706 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
707 return X86::R10;
708 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
709 return X86::R11;
710 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
711 return X86::R12;
712 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
713 return X86::R13;
714 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
715 return X86::R14;
716 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
717 return X86::R15;
718 }
719 }
720}
721
722unsigned llvm::getX86SubSuperRegister(unsigned Reg, unsigned Size, bool High) {
723 unsigned Res = getX86SubSuperRegisterOrZero(Reg, Size, High);
724 assert(Res != 0 && "Unexpected register or VT");
725 return Res;
726}
727
728