blob: 7a192b72da95eb48be6f31d4641badeb836589e4 [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},
Zachary Turnerbc94ae42018-08-18 03:54:16 +0000254 {codeview::RegisterId::AMD64_XMM16, X86::XMM16},
255 {codeview::RegisterId::AMD64_XMM17, X86::XMM17},
256 {codeview::RegisterId::AMD64_XMM18, X86::XMM18},
257 {codeview::RegisterId::AMD64_XMM19, X86::XMM19},
258 {codeview::RegisterId::AMD64_XMM20, X86::XMM20},
259 {codeview::RegisterId::AMD64_XMM21, X86::XMM21},
260 {codeview::RegisterId::AMD64_XMM22, X86::XMM22},
261 {codeview::RegisterId::AMD64_XMM23, X86::XMM23},
262 {codeview::RegisterId::AMD64_XMM24, X86::XMM24},
263 {codeview::RegisterId::AMD64_XMM25, X86::XMM25},
264 {codeview::RegisterId::AMD64_XMM26, X86::XMM26},
265 {codeview::RegisterId::AMD64_XMM27, X86::XMM27},
266 {codeview::RegisterId::AMD64_XMM28, X86::XMM28},
267 {codeview::RegisterId::AMD64_XMM29, X86::XMM29},
268 {codeview::RegisterId::AMD64_XMM30, X86::XMM30},
269 {codeview::RegisterId::AMD64_XMM31, X86::XMM31},
270
Reid Klecknerf9c275f2016-02-10 20:55:49 +0000271 };
Hans Wennborg66053102017-10-03 18:27:22 +0000272 for (unsigned I = 0; I < array_lengthof(RegMap); ++I)
273 MRI->mapLLVMRegToCVReg(RegMap[I].Reg, static_cast<int>(RegMap[I].CVReg));
Evan Chengd60fa58b2011-07-18 20:57:22 +0000274}
275
Daniel Sanders50f17232015-09-15 16:17:27 +0000276MCSubtargetInfo *X86_MC::createX86MCSubtargetInfo(const Triple &TT,
Daniel Sandersa73f1fd2015-06-10 12:11:26 +0000277 StringRef CPU, StringRef FS) {
Daniel Sanders50f17232015-09-15 16:17:27 +0000278 std::string ArchFS = X86_MC::ParseX86Triple(TT);
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000279 if (!FS.empty()) {
280 if (!ArchFS.empty())
Yaron Keren75e0c4b2015-03-27 17:51:30 +0000281 ArchFS = (Twine(ArchFS) + "," + FS).str();
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000282 else
283 ArchFS = FS;
284 }
285
286 std::string CPUName = CPU;
Jim Grosbacha344b6c32014-04-14 22:23:30 +0000287 if (CPUName.empty())
Evan Cheng964cb5f2011-07-08 21:14:14 +0000288 CPUName = "generic";
Evan Cheng13bcc6c2011-07-07 21:06:52 +0000289
Duncan P. N. Exon Smith754e21f2015-07-10 22:43:42 +0000290 return createX86MCSubtargetInfoImpl(TT, CPUName, ArchFS);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000291}
292
Evan Cheng1705ab02011-07-14 23:50:31 +0000293static MCInstrInfo *createX86MCInstrInfo() {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000294 MCInstrInfo *X = new MCInstrInfo();
295 InitX86MCInstrInfo(X);
296 return X;
297}
298
Daniel Sanders50f17232015-09-15 16:17:27 +0000299static MCRegisterInfo *createX86MCRegisterInfo(const Triple &TT) {
300 unsigned RA = (TT.getArch() == Triple::x86_64)
Daniel Sandersf423f562015-07-06 16:56:07 +0000301 ? X86::RIP // Should have dwarf #16.
302 : X86::EIP; // Should have dwarf #8.
Evan Chengd60fa58b2011-07-18 20:57:22 +0000303
Evan Cheng1705ab02011-07-14 23:50:31 +0000304 MCRegisterInfo *X = new MCRegisterInfo();
Daniel Sandersf423f562015-07-06 16:56:07 +0000305 InitX86MCRegisterInfo(X, RA, X86_MC::getDwarfRegFlavour(TT, false),
306 X86_MC::getDwarfRegFlavour(TT, true), RA);
Reid Klecknerf9c275f2016-02-10 20:55:49 +0000307 X86_MC::initLLVMToSEHAndCVRegMapping(X);
Evan Cheng1705ab02011-07-14 23:50:31 +0000308 return X;
309}
310
Daniel Sanders7813ae82015-06-04 13:12:25 +0000311static MCAsmInfo *createX86MCAsmInfo(const MCRegisterInfo &MRI,
Daniel Sanders50f17232015-09-15 16:17:27 +0000312 const Triple &TheTriple) {
313 bool is64Bit = TheTriple.getArch() == Triple::x86_64;
Evan Cheng1705ab02011-07-14 23:50:31 +0000314
Evan Cheng67c033e2011-07-18 22:29:13 +0000315 MCAsmInfo *MAI;
Daniel Sanders50f17232015-09-15 16:17:27 +0000316 if (TheTriple.isOSBinFormatMachO()) {
Evan Cheng67c033e2011-07-18 22:29:13 +0000317 if (is64Bit)
Daniel Sanders50f17232015-09-15 16:17:27 +0000318 MAI = new X86_64MCAsmInfoDarwin(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000319 else
Daniel Sanders50f17232015-09-15 16:17:27 +0000320 MAI = new X86MCAsmInfoDarwin(TheTriple);
321 } else if (TheTriple.isOSBinFormatELF()) {
Andrew Kaylorfeb805f2012-10-02 18:38:34 +0000322 // Force the use of an ELF container.
Daniel Sanders50f17232015-09-15 16:17:27 +0000323 MAI = new X86ELFMCAsmInfo(TheTriple);
324 } else if (TheTriple.isWindowsMSVCEnvironment() ||
325 TheTriple.isWindowsCoreCLREnvironment()) {
326 MAI = new X86MCAsmInfoMicrosoft(TheTriple);
327 } else if (TheTriple.isOSCygMing() ||
328 TheTriple.isWindowsItaniumEnvironment()) {
329 MAI = new X86MCAsmInfoGNUCOFF(TheTriple);
Evan Cheng67c033e2011-07-18 22:29:13 +0000330 } else {
Andrew Kaylorfeb805f2012-10-02 18:38:34 +0000331 // The default is ELF.
Daniel Sanders50f17232015-09-15 16:17:27 +0000332 MAI = new X86ELFMCAsmInfo(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000333 }
334
Evan Cheng67c033e2011-07-18 22:29:13 +0000335 // Initialize initial frame state.
336 // Calculate amount of bytes used for return address storing
337 int stackGrowth = is64Bit ? -8 : -4;
Evan Cheng1705ab02011-07-14 23:50:31 +0000338
Evan Cheng67c033e2011-07-18 22:29:13 +0000339 // Initial state of the frame pointer is esp+stackGrowth.
Rafael Espindola227144c2013-05-13 01:16:13 +0000340 unsigned StackPtr = is64Bit ? X86::RSP : X86::ESP;
341 MCCFIInstruction Inst = MCCFIInstruction::createDefCfa(
Craig Topper062a2ba2014-04-25 05:30:21 +0000342 nullptr, MRI.getDwarfRegNum(StackPtr, true), -stackGrowth);
Rafael Espindola227144c2013-05-13 01:16:13 +0000343 MAI->addInitialFrameState(Inst);
Evan Cheng67c033e2011-07-18 22:29:13 +0000344
345 // Add return address to move list
Rafael Espindola227144c2013-05-13 01:16:13 +0000346 unsigned InstPtr = is64Bit ? X86::RIP : X86::EIP;
347 MCCFIInstruction Inst2 = MCCFIInstruction::createOffset(
Craig Topper062a2ba2014-04-25 05:30:21 +0000348 nullptr, MRI.getDwarfRegNum(InstPtr, true), stackGrowth);
Rafael Espindola227144c2013-05-13 01:16:13 +0000349 MAI->addInitialFrameState(Inst2);
Evan Cheng67c033e2011-07-18 22:29:13 +0000350
351 return MAI;
Evan Cheng1705ab02011-07-14 23:50:31 +0000352}
353
Daniel Sanders50f17232015-09-15 16:17:27 +0000354static MCInstPrinter *createX86MCInstPrinter(const Triple &T,
Eric Christopherf8019402015-03-31 00:10:04 +0000355 unsigned SyntaxVariant,
James Molloy4c493e82011-09-07 17:24:38 +0000356 const MCAsmInfo &MAI,
Craig Topper54bfde72012-04-02 06:09:36 +0000357 const MCInstrInfo &MII,
Eric Christopherf8019402015-03-31 00:10:04 +0000358 const MCRegisterInfo &MRI) {
Evan Cheng61faa552011-07-25 21:20:24 +0000359 if (SyntaxVariant == 0)
Eric Christopher9c1bd052015-03-30 22:16:37 +0000360 return new X86ATTInstPrinter(MAI, MII, MRI);
Evan Cheng61faa552011-07-25 21:20:24 +0000361 if (SyntaxVariant == 1)
Craig Topper54bfde72012-04-02 06:09:36 +0000362 return new X86IntelInstPrinter(MAI, MII, MRI);
Craig Topper062a2ba2014-04-25 05:30:21 +0000363 return nullptr;
Evan Cheng61faa552011-07-25 21:20:24 +0000364}
365
Daniel Sanders50f17232015-09-15 16:17:27 +0000366static MCRelocationInfo *createX86MCRelocationInfo(const Triple &TheTriple,
Quentin Colombetf4828052013-05-24 22:51:52 +0000367 MCContext &Ctx) {
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000368 // Default to the stock relocation info.
Daniel Sanders50f17232015-09-15 16:17:27 +0000369 return llvm::createMCRelocationInfo(TheTriple, Ctx);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000370}
371
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000372namespace llvm {
373namespace X86_MC {
374
375class X86MCInstrAnalysis : public MCInstrAnalysis {
376 X86MCInstrAnalysis(const X86MCInstrAnalysis &) = delete;
377 X86MCInstrAnalysis &operator=(const X86MCInstrAnalysis &) = delete;
378 virtual ~X86MCInstrAnalysis() = default;
379
380public:
381 X86MCInstrAnalysis(const MCInstrInfo *MCII) : MCInstrAnalysis(MCII) {}
382
Andrea Di Biagioa1852b62018-07-31 13:21:43 +0000383 bool isDependencyBreaking(const MCSubtargetInfo &STI,
384 const MCInst &Inst) const override;
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000385 bool clearsSuperRegisters(const MCRegisterInfo &MRI, const MCInst &Inst,
386 APInt &Mask) const override;
387};
388
Andrea Di Biagioa1852b62018-07-31 13:21:43 +0000389bool X86MCInstrAnalysis::isDependencyBreaking(const MCSubtargetInfo &STI,
390 const MCInst &Inst) const {
391 if (STI.getCPU() == "btver2") {
392 // Reference: Agner Fog's microarchitecture.pdf - Section 20 "AMD Bobcat and
393 // Jaguar pipeline", subsection 8 "Dependency-breaking instructions".
394 switch (Inst.getOpcode()) {
395 default:
396 return false;
397 case X86::SUB32rr:
398 case X86::SUB64rr:
399 case X86::SBB32rr:
400 case X86::SBB64rr:
401 case X86::XOR32rr:
402 case X86::XOR64rr:
403 case X86::XORPSrr:
404 case X86::XORPDrr:
405 case X86::VXORPSrr:
406 case X86::VXORPDrr:
407 case X86::ANDNPSrr:
408 case X86::VANDNPSrr:
409 case X86::ANDNPDrr:
410 case X86::VANDNPDrr:
411 case X86::PXORrr:
412 case X86::VPXORrr:
413 case X86::PANDNrr:
414 case X86::VPANDNrr:
415 case X86::PSUBBrr:
416 case X86::PSUBWrr:
417 case X86::PSUBDrr:
418 case X86::PSUBQrr:
419 case X86::VPSUBBrr:
420 case X86::VPSUBWrr:
421 case X86::VPSUBDrr:
422 case X86::VPSUBQrr:
423 case X86::PCMPEQBrr:
424 case X86::PCMPEQWrr:
425 case X86::PCMPEQDrr:
426 case X86::PCMPEQQrr:
427 case X86::VPCMPEQBrr:
428 case X86::VPCMPEQWrr:
429 case X86::VPCMPEQDrr:
430 case X86::VPCMPEQQrr:
431 case X86::PCMPGTBrr:
432 case X86::PCMPGTWrr:
433 case X86::PCMPGTDrr:
434 case X86::PCMPGTQrr:
435 case X86::VPCMPGTBrr:
436 case X86::VPCMPGTWrr:
437 case X86::VPCMPGTDrr:
438 case X86::VPCMPGTQrr:
439 case X86::MMX_PXORirr:
440 case X86::MMX_PANDNirr:
441 case X86::MMX_PSUBBirr:
442 case X86::MMX_PSUBDirr:
443 case X86::MMX_PSUBQirr:
444 case X86::MMX_PSUBWirr:
445 case X86::MMX_PCMPGTBirr:
446 case X86::MMX_PCMPGTDirr:
447 case X86::MMX_PCMPGTWirr:
448 case X86::MMX_PCMPEQBirr:
449 case X86::MMX_PCMPEQDirr:
450 case X86::MMX_PCMPEQWirr:
451 return Inst.getOperand(1).getReg() == Inst.getOperand(2).getReg();
452 case X86::CMP32rr:
453 case X86::CMP64rr:
454 return Inst.getOperand(0).getReg() == Inst.getOperand(1).getReg();
455 }
456 }
457
458 return false;
459}
460
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000461bool X86MCInstrAnalysis::clearsSuperRegisters(const MCRegisterInfo &MRI,
462 const MCInst &Inst,
463 APInt &Mask) const {
464 const MCInstrDesc &Desc = Info->get(Inst.getOpcode());
465 unsigned NumDefs = Desc.getNumDefs();
466 unsigned NumImplicitDefs = Desc.getNumImplicitDefs();
467 assert(Mask.getBitWidth() == NumDefs + NumImplicitDefs &&
468 "Unexpected number of bits in the mask!");
469
470 bool HasVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::VEX;
471 bool HasEVEX = (Desc.TSFlags & X86II::EncodingMask) == X86II::EVEX;
472 bool HasXOP = (Desc.TSFlags & X86II::EncodingMask) == X86II::XOP;
473
474 const MCRegisterClass &GR32RC = MRI.getRegClass(X86::GR32RegClassID);
475 const MCRegisterClass &VR128XRC = MRI.getRegClass(X86::VR128XRegClassID);
476 const MCRegisterClass &VR256XRC = MRI.getRegClass(X86::VR256XRegClassID);
477
478 auto ClearsSuperReg = [=](unsigned RegID) {
479 // On X86-64, a general purpose integer register is viewed as a 64-bit
480 // register internal to the processor.
481 // An update to the lower 32 bits of a 64 bit integer register is
482 // architecturally defined to zero extend the upper 32 bits.
483 if (GR32RC.contains(RegID))
484 return true;
485
486 // Early exit if this instruction has no vex/evex/xop prefix.
487 if (!HasEVEX && !HasVEX && !HasXOP)
488 return false;
489
490 // All VEX and EVEX encoded instructions are defined to zero the high bits
491 // of the destination register up to VLMAX (i.e. the maximum vector register
492 // width pertaining to the instruction).
493 // We assume the same behavior for XOP instructions too.
494 return VR128XRC.contains(RegID) || VR256XRC.contains(RegID);
495 };
496
497 Mask.clearAllBits();
498 for (unsigned I = 0, E = NumDefs; I < E; ++I) {
499 const MCOperand &Op = Inst.getOperand(I);
500 if (ClearsSuperReg(Op.getReg()))
501 Mask.setBit(I);
502 }
503
504 for (unsigned I = 0, E = NumImplicitDefs; I < E; ++I) {
505 const MCPhysReg Reg = Desc.getImplicitDefs()[I];
506 if (ClearsSuperReg(Reg))
507 Mask.setBit(NumDefs + I);
508 }
509
510 return Mask.getBoolValue();
511}
512
513} // end of namespace X86_MC
514
515} // end of namespace llvm
516
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000517static MCInstrAnalysis *createX86MCInstrAnalysis(const MCInstrInfo *Info) {
Andrea Di Biagio2145b132018-06-20 10:08:11 +0000518 return new X86_MC::X86MCInstrAnalysis(Info);
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000519}
520
Evan Cheng8c886a42011-07-22 21:58:54 +0000521// Force static initialization.
522extern "C" void LLVMInitializeX86TargetMC() {
Mehdi Aminif42454b2016-10-09 23:00:34 +0000523 for (Target *T : {&getTheX86_32Target(), &getTheX86_64Target()}) {
Rafael Espindola69244c32015-03-18 23:15:49 +0000524 // Register the MC asm info.
525 RegisterMCAsmInfoFn X(*T, createX86MCAsmInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000526
Rafael Espindola69244c32015-03-18 23:15:49 +0000527 // Register the MC instruction info.
528 TargetRegistry::RegisterMCInstrInfo(*T, createX86MCInstrInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000529
Rafael Espindola69244c32015-03-18 23:15:49 +0000530 // Register the MC register info.
531 TargetRegistry::RegisterMCRegInfo(*T, createX86MCRegisterInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000532
Rafael Espindola69244c32015-03-18 23:15:49 +0000533 // Register the MC subtarget info.
534 TargetRegistry::RegisterMCSubtargetInfo(*T,
535 X86_MC::createX86MCSubtargetInfo);
Evan Chengb2531002011-07-25 19:33:48 +0000536
Rafael Espindola69244c32015-03-18 23:15:49 +0000537 // Register the MC instruction analyzer.
538 TargetRegistry::RegisterMCInstrAnalysis(*T, createX86MCInstrAnalysis);
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000539
Rafael Espindola69244c32015-03-18 23:15:49 +0000540 // Register the code emitter.
541 TargetRegistry::RegisterMCCodeEmitter(*T, createX86MCCodeEmitter);
542
Reid Kleckner9cdd4df2017-10-11 21:24:33 +0000543 // Register the obj target streamer.
544 TargetRegistry::RegisterObjectTargetStreamer(*T,
545 createX86ObjectTargetStreamer);
546
547 // Register the asm target streamer.
548 TargetRegistry::RegisterAsmTargetStreamer(*T, createX86AsmTargetStreamer);
549
Rafael Espindolacd584a82015-03-19 01:50:16 +0000550 TargetRegistry::RegisterCOFFStreamer(*T, createX86WinCOFFStreamer);
Rafael Espindola69244c32015-03-18 23:15:49 +0000551
552 // Register the MCInstPrinter.
553 TargetRegistry::RegisterMCInstPrinter(*T, createX86MCInstPrinter);
554
555 // Register the MC relocation info.
556 TargetRegistry::RegisterMCRelocationInfo(*T, createX86MCRelocationInfo);
557 }
Evan Chengb2531002011-07-25 19:33:48 +0000558
559 // Register the asm backend.
Mehdi Aminif42454b2016-10-09 23:00:34 +0000560 TargetRegistry::RegisterMCAsmBackend(getTheX86_32Target(),
Evan Cheng5928e692011-07-25 23:24:55 +0000561 createX86_32AsmBackend);
Mehdi Aminif42454b2016-10-09 23:00:34 +0000562 TargetRegistry::RegisterMCAsmBackend(getTheX86_64Target(),
Evan Cheng5928e692011-07-25 23:24:55 +0000563 createX86_64AsmBackend);
Evan Cheng2129f592011-07-19 06:37:02 +0000564}
Craig Topperc0453e82015-12-25 22:10:08 +0000565
566unsigned llvm::getX86SubSuperRegisterOrZero(unsigned Reg, unsigned Size,
567 bool High) {
568 switch (Size) {
569 default: return 0;
570 case 8:
571 if (High) {
572 switch (Reg) {
573 default: return getX86SubSuperRegisterOrZero(Reg, 64);
574 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
575 return X86::SI;
576 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
577 return X86::DI;
578 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
579 return X86::BP;
580 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
581 return X86::SP;
582 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
583 return X86::AH;
584 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
585 return X86::DH;
586 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
587 return X86::CH;
588 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
589 return X86::BH;
590 }
591 } else {
592 switch (Reg) {
593 default: return 0;
594 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
595 return X86::AL;
596 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
597 return X86::DL;
598 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
599 return X86::CL;
600 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
601 return X86::BL;
602 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
603 return X86::SIL;
604 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
605 return X86::DIL;
606 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
607 return X86::BPL;
608 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
609 return X86::SPL;
610 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
611 return X86::R8B;
612 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
613 return X86::R9B;
614 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
615 return X86::R10B;
616 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
617 return X86::R11B;
618 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
619 return X86::R12B;
620 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
621 return X86::R13B;
622 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
623 return X86::R14B;
624 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
625 return X86::R15B;
626 }
627 }
628 case 16:
629 switch (Reg) {
630 default: return 0;
631 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
632 return X86::AX;
633 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
634 return X86::DX;
635 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
636 return X86::CX;
637 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
638 return X86::BX;
639 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
640 return X86::SI;
641 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
642 return X86::DI;
643 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
644 return X86::BP;
645 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
646 return X86::SP;
647 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
648 return X86::R8W;
649 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
650 return X86::R9W;
651 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
652 return X86::R10W;
653 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
654 return X86::R11W;
655 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
656 return X86::R12W;
657 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
658 return X86::R13W;
659 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
660 return X86::R14W;
661 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
662 return X86::R15W;
663 }
664 case 32:
665 switch (Reg) {
666 default: return 0;
667 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
668 return X86::EAX;
669 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
670 return X86::EDX;
671 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
672 return X86::ECX;
673 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
674 return X86::EBX;
675 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
676 return X86::ESI;
677 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
678 return X86::EDI;
679 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
680 return X86::EBP;
681 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
682 return X86::ESP;
683 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
684 return X86::R8D;
685 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
686 return X86::R9D;
687 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
688 return X86::R10D;
689 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
690 return X86::R11D;
691 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
692 return X86::R12D;
693 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
694 return X86::R13D;
695 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
696 return X86::R14D;
697 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
698 return X86::R15D;
699 }
700 case 64:
701 switch (Reg) {
702 default: return 0;
703 case X86::AH: case X86::AL: case X86::AX: case X86::EAX: case X86::RAX:
704 return X86::RAX;
705 case X86::DH: case X86::DL: case X86::DX: case X86::EDX: case X86::RDX:
706 return X86::RDX;
707 case X86::CH: case X86::CL: case X86::CX: case X86::ECX: case X86::RCX:
708 return X86::RCX;
709 case X86::BH: case X86::BL: case X86::BX: case X86::EBX: case X86::RBX:
710 return X86::RBX;
711 case X86::SIL: case X86::SI: case X86::ESI: case X86::RSI:
712 return X86::RSI;
713 case X86::DIL: case X86::DI: case X86::EDI: case X86::RDI:
714 return X86::RDI;
715 case X86::BPL: case X86::BP: case X86::EBP: case X86::RBP:
716 return X86::RBP;
717 case X86::SPL: case X86::SP: case X86::ESP: case X86::RSP:
718 return X86::RSP;
719 case X86::R8B: case X86::R8W: case X86::R8D: case X86::R8:
720 return X86::R8;
721 case X86::R9B: case X86::R9W: case X86::R9D: case X86::R9:
722 return X86::R9;
723 case X86::R10B: case X86::R10W: case X86::R10D: case X86::R10:
724 return X86::R10;
725 case X86::R11B: case X86::R11W: case X86::R11D: case X86::R11:
726 return X86::R11;
727 case X86::R12B: case X86::R12W: case X86::R12D: case X86::R12:
728 return X86::R12;
729 case X86::R13B: case X86::R13W: case X86::R13D: case X86::R13:
730 return X86::R13;
731 case X86::R14B: case X86::R14W: case X86::R14D: case X86::R14:
732 return X86::R14;
733 case X86::R15B: case X86::R15W: case X86::R15D: case X86::R15:
734 return X86::R15;
735 }
736 }
737}
738
739unsigned llvm::getX86SubSuperRegister(unsigned Reg, unsigned Size, bool High) {
740 unsigned Res = getX86SubSuperRegisterOrZero(Reg, Size, High);
741 assert(Res != 0 && "Unexpected register or VT");
742 return Res;
743}
744
745