blob: eea94b2eb1d2db015642f6c44fbe203df98b009b [file] [log] [blame]
Daniel Dunbar40eb7f02010-02-21 21:54:14 +00001//===-- X86AsmBackend.cpp - X86 Assembler Backend -------------------------===//
2//
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
Evan Chengb2531002011-07-25 19:33:48 +000010#include "MCTargetDesc/X86BaseInfo.h"
Evan Cheng7e763d82011-07-25 18:43:53 +000011#include "MCTargetDesc/X86FixupKinds.h"
Jim Grosbach664d1482013-11-16 00:52:57 +000012#include "llvm/ADT/StringSwitch.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000013#include "llvm/BinaryFormat/ELF.h"
14#include "llvm/BinaryFormat/MachO.h"
Craig Topperb25fda92012-03-17 18:46:09 +000015#include "llvm/MC/MCAsmBackend.h"
Rafael Espindolaf0e24d42010-12-17 16:59:53 +000016#include "llvm/MC/MCELFObjectWriter.h"
Daniel Dunbar358b29c2010-05-06 20:34:01 +000017#include "llvm/MC/MCExpr.h"
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000018#include "llvm/MC/MCFixupKindInfo.h"
Pete Cooper3de83e42015-05-15 21:58:42 +000019#include "llvm/MC/MCInst.h"
Daniel Dunbar73b87132010-12-16 16:08:33 +000020#include "llvm/MC/MCMachObjectWriter.h"
Daniel Dunbar86face82010-03-23 03:13:05 +000021#include "llvm/MC/MCObjectWriter.h"
Pete Cooper3de83e42015-05-15 21:58:42 +000022#include "llvm/MC/MCRegisterInfo.h"
Daniel Dunbarfe8d8662010-03-15 21:56:50 +000023#include "llvm/MC/MCSectionMachO.h"
Nirav Dave57033c62016-07-11 14:32:57 +000024#include "llvm/MC/MCSubtargetInfo.h"
Daniel Dunbare0c43572010-03-23 01:39:09 +000025#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/raw_ostream.h"
Daniel Dunbar40eb7f02010-02-21 21:54:14 +000027using namespace llvm;
28
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000029static unsigned getFixupKindLog2Size(unsigned Kind) {
30 switch (Kind) {
Rafael Espindola83752532014-04-21 21:00:58 +000031 default:
32 llvm_unreachable("invalid fixup kind!");
Rafael Espindola8a3a7922010-11-28 14:17:56 +000033 case FK_PCRel_1:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000034 case FK_SecRel_1:
Rafael Espindola83752532014-04-21 21:00:58 +000035 case FK_Data_1:
36 return 0;
Rafael Espindola8a3a7922010-11-28 14:17:56 +000037 case FK_PCRel_2:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000038 case FK_SecRel_2:
Rafael Espindola83752532014-04-21 21:00:58 +000039 case FK_Data_2:
40 return 1;
Rafael Espindola8a3a7922010-11-28 14:17:56 +000041 case FK_PCRel_4:
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000042 case X86::reloc_riprel_4byte:
Rafael Espindola52bd3302016-05-28 15:51:38 +000043 case X86::reloc_riprel_4byte_relax:
44 case X86::reloc_riprel_4byte_relax_rex:
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000045 case X86::reloc_riprel_4byte_movq_load:
Rafael Espindola70d6e0e2010-09-30 03:11:42 +000046 case X86::reloc_signed_4byte:
Rafael Espindolaa29971f2016-07-06 21:19:11 +000047 case X86::reloc_signed_4byte_relax:
Rafael Espindola800fd352010-10-24 17:35:42 +000048 case X86::reloc_global_offset_table:
George Rimarda4f43a42018-02-20 10:17:57 +000049 case X86::reloc_branch_4byte_pcrel:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000050 case FK_SecRel_4:
Rafael Espindola83752532014-04-21 21:00:58 +000051 case FK_Data_4:
52 return 2;
Rafael Espindola2ac83552010-12-27 00:36:05 +000053 case FK_PCRel_8:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000054 case FK_SecRel_8:
Rafael Espindola83752532014-04-21 21:00:58 +000055 case FK_Data_8:
Rafael Espindola6c76d1d2014-04-21 21:15:45 +000056 case X86::reloc_global_offset_table8:
Rafael Espindola83752532014-04-21 21:00:58 +000057 return 3;
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000058 }
59}
60
Chris Lattnerac588122010-07-07 22:27:31 +000061namespace {
Daniel Dunbar8888a962010-12-16 16:09:19 +000062
Rafael Espindola6b5e56c2010-12-17 17:45:22 +000063class X86ELFObjectWriter : public MCELFObjectTargetWriter {
64public:
Rafael Espindola1ad40952011-12-21 17:00:36 +000065 X86ELFObjectWriter(bool is64Bit, uint8_t OSABI, uint16_t EMachine,
66 bool HasRelocationAddend, bool foobar)
67 : MCELFObjectTargetWriter(is64Bit, OSABI, EMachine, HasRelocationAddend) {}
Rafael Espindola6b5e56c2010-12-17 17:45:22 +000068};
69
Evan Cheng5928e692011-07-25 23:24:55 +000070class X86AsmBackend : public MCAsmBackend {
Craig Topper505f38a2018-01-10 22:07:16 +000071 const MCSubtargetInfo &STI;
Daniel Dunbar40eb7f02010-02-21 21:54:14 +000072public:
Craig Topper505f38a2018-01-10 22:07:16 +000073 X86AsmBackend(const Target &T, const MCSubtargetInfo &STI)
74 : MCAsmBackend(), STI(STI) {}
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000075
Craig Topper39012cc2014-03-09 18:03:14 +000076 unsigned getNumFixupKinds() const override {
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000077 return X86::NumTargetFixupKinds;
78 }
79
Craig Topper39012cc2014-03-09 18:03:14 +000080 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override {
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000081 const static MCFixupKindInfo Infos[X86::NumTargetFixupKinds] = {
Rafael Espindola2d39bb32016-05-28 11:13:34 +000082 {"reloc_riprel_4byte", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
83 {"reloc_riprel_4byte_movq_load", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
Rafael Espindola52bd3302016-05-28 15:51:38 +000084 {"reloc_riprel_4byte_relax", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
85 {"reloc_riprel_4byte_relax_rex", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
Rafael Espindola2d39bb32016-05-28 11:13:34 +000086 {"reloc_signed_4byte", 0, 32, 0},
Rafael Espindolaa29971f2016-07-06 21:19:11 +000087 {"reloc_signed_4byte_relax", 0, 32, 0},
Rafael Espindola2d39bb32016-05-28 11:13:34 +000088 {"reloc_global_offset_table", 0, 32, 0},
89 {"reloc_global_offset_table8", 0, 64, 0},
George Rimarda4f43a42018-02-20 10:17:57 +000090 {"reloc_branch_4byte_pcrel", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000091 };
92
93 if (Kind < FirstTargetFixupKind)
Evan Cheng5928e692011-07-25 23:24:55 +000094 return MCAsmBackend::getFixupKindInfo(Kind);
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000095
96 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
97 "Invalid kind!");
George Rimarda4f43a42018-02-20 10:17:57 +000098 assert(Infos[Kind - FirstTargetFixupKind].Name && "Empty fixup name!");
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000099 return Infos[Kind - FirstTargetFixupKind];
100 }
101
Rafael Espindola801b42d2017-06-23 22:52:36 +0000102 void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup,
103 const MCValue &Target, MutableArrayRef<char> Data,
Rafael Espindola1beb7022017-07-11 23:18:25 +0000104 uint64_t Value, bool IsResolved) const override {
Daniel Dunbar353a91ff2010-05-26 15:18:31 +0000105 unsigned Size = 1 << getFixupKindLog2Size(Fixup.getKind());
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000106
Rafael Espindola88d9e372017-06-21 23:06:53 +0000107 assert(Fixup.getOffset() + Size <= Data.size() && "Invalid fixup offset!");
Jason W Kime4df09f2011-08-04 00:38:45 +0000108
Jason W Kim239370c2011-08-05 00:53:03 +0000109 // Check that uppper bits are either all zeros or all ones.
110 // Specifically ignore overflow/underflow as long as the leakage is
111 // limited to the lower bits. This is to remain compatible with
112 // other assemblers.
Eli Friedmana5abd032011-10-13 23:27:48 +0000113 assert(isIntN(Size * 8 + 1, Value) &&
Jason W Kim239370c2011-08-05 00:53:03 +0000114 "Value does not fit in the Fixup field");
Jason W Kime4df09f2011-08-04 00:38:45 +0000115
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000116 for (unsigned i = 0; i != Size; ++i)
Rafael Espindola0f30fec2010-12-06 19:08:48 +0000117 Data[Fixup.getOffset() + i] = uint8_t(Value >> (i * 8));
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000118 }
Daniel Dunbare0c43572010-03-23 01:39:09 +0000119
Craig Topper39012cc2014-03-09 18:03:14 +0000120 bool mayNeedRelaxation(const MCInst &Inst) const override;
Daniel Dunbar86face82010-03-23 03:13:05 +0000121
Craig Topper39012cc2014-03-09 18:03:14 +0000122 bool fixupNeedsRelaxation(const MCFixup &Fixup, uint64_t Value,
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000123 const MCRelaxableFragment *DF,
Craig Topper39012cc2014-03-09 18:03:14 +0000124 const MCAsmLayout &Layout) const override;
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000125
Nirav Dave86030622016-07-11 14:23:53 +0000126 void relaxInstruction(const MCInst &Inst, const MCSubtargetInfo &STI,
127 MCInst &Res) const override;
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000128
Craig Topper39012cc2014-03-09 18:03:14 +0000129 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const override;
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000130};
Michael J. Spencerbee1f7f2010-10-10 22:04:20 +0000131} // end anonymous namespace
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000132
Nirav Dave86030622016-07-11 14:23:53 +0000133static unsigned getRelaxedOpcodeBranch(const MCInst &Inst, bool is16BitMode) {
134 unsigned Op = Inst.getOpcode();
Daniel Dunbare0c43572010-03-23 01:39:09 +0000135 switch (Op) {
136 default:
137 return Op;
Nirav Dave86030622016-07-11 14:23:53 +0000138 case X86::JAE_1:
139 return (is16BitMode) ? X86::JAE_2 : X86::JAE_4;
140 case X86::JA_1:
141 return (is16BitMode) ? X86::JA_2 : X86::JA_4;
142 case X86::JBE_1:
143 return (is16BitMode) ? X86::JBE_2 : X86::JBE_4;
144 case X86::JB_1:
145 return (is16BitMode) ? X86::JB_2 : X86::JB_4;
146 case X86::JE_1:
147 return (is16BitMode) ? X86::JE_2 : X86::JE_4;
148 case X86::JGE_1:
149 return (is16BitMode) ? X86::JGE_2 : X86::JGE_4;
150 case X86::JG_1:
151 return (is16BitMode) ? X86::JG_2 : X86::JG_4;
152 case X86::JLE_1:
153 return (is16BitMode) ? X86::JLE_2 : X86::JLE_4;
154 case X86::JL_1:
155 return (is16BitMode) ? X86::JL_2 : X86::JL_4;
156 case X86::JMP_1:
157 return (is16BitMode) ? X86::JMP_2 : X86::JMP_4;
158 case X86::JNE_1:
159 return (is16BitMode) ? X86::JNE_2 : X86::JNE_4;
160 case X86::JNO_1:
161 return (is16BitMode) ? X86::JNO_2 : X86::JNO_4;
162 case X86::JNP_1:
163 return (is16BitMode) ? X86::JNP_2 : X86::JNP_4;
164 case X86::JNS_1:
165 return (is16BitMode) ? X86::JNS_2 : X86::JNS_4;
166 case X86::JO_1:
167 return (is16BitMode) ? X86::JO_2 : X86::JO_4;
168 case X86::JP_1:
169 return (is16BitMode) ? X86::JP_2 : X86::JP_4;
170 case X86::JS_1:
171 return (is16BitMode) ? X86::JS_2 : X86::JS_4;
Daniel Dunbare0c43572010-03-23 01:39:09 +0000172 }
173}
174
Nirav Dave86030622016-07-11 14:23:53 +0000175static unsigned getRelaxedOpcodeArith(const MCInst &Inst) {
176 unsigned Op = Inst.getOpcode();
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000177 switch (Op) {
178 default:
179 return Op;
180
181 // IMUL
182 case X86::IMUL16rri8: return X86::IMUL16rri;
183 case X86::IMUL16rmi8: return X86::IMUL16rmi;
184 case X86::IMUL32rri8: return X86::IMUL32rri;
185 case X86::IMUL32rmi8: return X86::IMUL32rmi;
186 case X86::IMUL64rri8: return X86::IMUL64rri32;
187 case X86::IMUL64rmi8: return X86::IMUL64rmi32;
188
189 // AND
190 case X86::AND16ri8: return X86::AND16ri;
191 case X86::AND16mi8: return X86::AND16mi;
192 case X86::AND32ri8: return X86::AND32ri;
193 case X86::AND32mi8: return X86::AND32mi;
194 case X86::AND64ri8: return X86::AND64ri32;
195 case X86::AND64mi8: return X86::AND64mi32;
196
197 // OR
198 case X86::OR16ri8: return X86::OR16ri;
199 case X86::OR16mi8: return X86::OR16mi;
200 case X86::OR32ri8: return X86::OR32ri;
201 case X86::OR32mi8: return X86::OR32mi;
202 case X86::OR64ri8: return X86::OR64ri32;
203 case X86::OR64mi8: return X86::OR64mi32;
204
205 // XOR
206 case X86::XOR16ri8: return X86::XOR16ri;
207 case X86::XOR16mi8: return X86::XOR16mi;
208 case X86::XOR32ri8: return X86::XOR32ri;
209 case X86::XOR32mi8: return X86::XOR32mi;
210 case X86::XOR64ri8: return X86::XOR64ri32;
211 case X86::XOR64mi8: return X86::XOR64mi32;
212
213 // ADD
214 case X86::ADD16ri8: return X86::ADD16ri;
215 case X86::ADD16mi8: return X86::ADD16mi;
216 case X86::ADD32ri8: return X86::ADD32ri;
217 case X86::ADD32mi8: return X86::ADD32mi;
218 case X86::ADD64ri8: return X86::ADD64ri32;
219 case X86::ADD64mi8: return X86::ADD64mi32;
220
Quentin Colombet2cb8a512015-12-14 23:12:40 +0000221 // ADC
222 case X86::ADC16ri8: return X86::ADC16ri;
223 case X86::ADC16mi8: return X86::ADC16mi;
224 case X86::ADC32ri8: return X86::ADC32ri;
225 case X86::ADC32mi8: return X86::ADC32mi;
226 case X86::ADC64ri8: return X86::ADC64ri32;
227 case X86::ADC64mi8: return X86::ADC64mi32;
228
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000229 // SUB
230 case X86::SUB16ri8: return X86::SUB16ri;
231 case X86::SUB16mi8: return X86::SUB16mi;
232 case X86::SUB32ri8: return X86::SUB32ri;
233 case X86::SUB32mi8: return X86::SUB32mi;
234 case X86::SUB64ri8: return X86::SUB64ri32;
235 case X86::SUB64mi8: return X86::SUB64mi32;
236
Quentin Colombet25b43f32015-12-15 00:09:23 +0000237 // SBB
238 case X86::SBB16ri8: return X86::SBB16ri;
239 case X86::SBB16mi8: return X86::SBB16mi;
240 case X86::SBB32ri8: return X86::SBB32ri;
241 case X86::SBB32mi8: return X86::SBB32mi;
242 case X86::SBB64ri8: return X86::SBB64ri32;
243 case X86::SBB64mi8: return X86::SBB64mi32;
244
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000245 // CMP
246 case X86::CMP16ri8: return X86::CMP16ri;
247 case X86::CMP16mi8: return X86::CMP16mi;
248 case X86::CMP32ri8: return X86::CMP32ri;
249 case X86::CMP32mi8: return X86::CMP32mi;
250 case X86::CMP64ri8: return X86::CMP64ri32;
251 case X86::CMP64mi8: return X86::CMP64mi32;
Rafael Espindola625ccf82010-12-18 01:01:34 +0000252
253 // PUSH
David Woodhouse8bceb5d2014-01-08 12:58:32 +0000254 case X86::PUSH32i8: return X86::PUSHi32;
255 case X86::PUSH16i8: return X86::PUSHi16;
256 case X86::PUSH64i8: return X86::PUSH64i32;
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000257 }
258}
259
Nirav Dave86030622016-07-11 14:23:53 +0000260static unsigned getRelaxedOpcode(const MCInst &Inst, bool is16BitMode) {
261 unsigned R = getRelaxedOpcodeArith(Inst);
262 if (R != Inst.getOpcode())
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000263 return R;
Nirav Dave86030622016-07-11 14:23:53 +0000264 return getRelaxedOpcodeBranch(Inst, is16BitMode);
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000265}
266
Jim Grosbachaba3de92012-01-18 18:52:16 +0000267bool X86AsmBackend::mayNeedRelaxation(const MCInst &Inst) const {
Nirav Dave86030622016-07-11 14:23:53 +0000268 // Branches can always be relaxed in either mode.
269 if (getRelaxedOpcodeBranch(Inst, false) != Inst.getOpcode())
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000270 return true;
271
Daniel Dunbara19838e2010-05-26 17:45:29 +0000272 // Check if this instruction is ever relaxable.
Nirav Dave86030622016-07-11 14:23:53 +0000273 if (getRelaxedOpcodeArith(Inst) == Inst.getOpcode())
Daniel Dunbara19838e2010-05-26 17:45:29 +0000274 return false;
Daniel Dunbar353a91ff2010-05-26 15:18:31 +0000275
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000276
Michael Kuperstein21a3c182015-07-01 10:54:42 +0000277 // Check if the relaxable operand has an expression. For the current set of
278 // relaxable instructions, the relaxable operand is always the last operand.
279 unsigned RelaxableOp = Inst.getNumOperands() - 1;
280 if (Inst.getOperand(RelaxableOp).isExpr())
281 return true;
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000282
Michael Kuperstein21a3c182015-07-01 10:54:42 +0000283 return false;
Daniel Dunbar86face82010-03-23 03:13:05 +0000284}
285
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000286bool X86AsmBackend::fixupNeedsRelaxation(const MCFixup &Fixup,
287 uint64_t Value,
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000288 const MCRelaxableFragment *DF,
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000289 const MCAsmLayout &Layout) const {
290 // Relax if the value is too big for a (signed) i8.
291 return int64_t(Value) != int64_t(int8_t(Value));
292}
293
Daniel Dunbare0c43572010-03-23 01:39:09 +0000294// FIXME: Can tblgen help at all here to verify there aren't other instructions
295// we can relax?
Nirav Dave86030622016-07-11 14:23:53 +0000296void X86AsmBackend::relaxInstruction(const MCInst &Inst,
297 const MCSubtargetInfo &STI,
298 MCInst &Res) const {
Daniel Dunbare0c43572010-03-23 01:39:09 +0000299 // The only relaxations X86 does is from a 1byte pcrel to a 4byte pcrel.
Nirav Dave86030622016-07-11 14:23:53 +0000300 bool is16BitMode = STI.getFeatureBits()[X86::Mode16Bit];
301 unsigned RelaxedOp = getRelaxedOpcode(Inst, is16BitMode);
Daniel Dunbare0c43572010-03-23 01:39:09 +0000302
Daniel Dunbar7c8bd0f2010-05-26 18:15:06 +0000303 if (RelaxedOp == Inst.getOpcode()) {
Alp Tokere69170a2014-06-26 22:52:05 +0000304 SmallString<256> Tmp;
305 raw_svector_ostream OS(Tmp);
Daniel Dunbar7c8bd0f2010-05-26 18:15:06 +0000306 Inst.dump_pretty(OS);
Daniel Dunbar3627af52010-05-26 15:18:13 +0000307 OS << "\n";
Chris Lattner2104b8d2010-04-07 22:58:41 +0000308 report_fatal_error("unexpected instruction to relax: " + OS.str());
Daniel Dunbare0c43572010-03-23 01:39:09 +0000309 }
310
Daniel Dunbar7c8bd0f2010-05-26 18:15:06 +0000311 Res = Inst;
Daniel Dunbare0c43572010-03-23 01:39:09 +0000312 Res.setOpcode(RelaxedOp);
313}
314
Eli Benderskyb2022f32012-12-13 00:24:56 +0000315/// \brief Write a sequence of optimal nops to the output, covering \p Count
316/// bytes.
317/// \return - true on success, false on failure
Jim Grosbachaba3de92012-01-18 18:52:16 +0000318bool X86AsmBackend::writeNopData(uint64_t Count, MCObjectWriter *OW) const {
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000319 static const uint8_t Nops[10][10] = {
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000320 // nop
321 {0x90},
322 // xchg %ax,%ax
323 {0x66, 0x90},
324 // nopl (%[re]ax)
325 {0x0f, 0x1f, 0x00},
326 // nopl 0(%[re]ax)
327 {0x0f, 0x1f, 0x40, 0x00},
328 // nopl 0(%[re]ax,%[re]ax,1)
329 {0x0f, 0x1f, 0x44, 0x00, 0x00},
330 // nopw 0(%[re]ax,%[re]ax,1)
331 {0x66, 0x0f, 0x1f, 0x44, 0x00, 0x00},
332 // nopl 0L(%[re]ax)
333 {0x0f, 0x1f, 0x80, 0x00, 0x00, 0x00, 0x00},
334 // nopl 0L(%[re]ax,%[re]ax,1)
335 {0x0f, 0x1f, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
336 // nopw 0L(%[re]ax,%[re]ax,1)
337 {0x66, 0x0f, 0x1f, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
338 // nopw %cs:0L(%[re]ax,%[re]ax,1)
339 {0x66, 0x2e, 0x0f, 0x1f, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000340 };
341
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000342 // This CPU doesn't support long nops. If needed add more.
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000343 // FIXME: We could generated something better than plain 0x90.
Craig Topper505f38a2018-01-10 22:07:16 +0000344 if (!STI.getFeatureBits()[X86::FeatureNOPL]) {
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000345 for (uint64_t i = 0; i < Count; ++i)
346 OW->write8(0x90);
347 return true;
348 }
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000349
Simon Pilgrim02bdac52018-01-29 21:24:31 +0000350 // 15-bytes is the longest single NOP instruction, but 10-bytes is
351 // commonly the longest that can be efficiently decoded.
352 uint64_t MaxNopLength = 10;
353 if (STI.getFeatureBits()[X86::ProcIntelSLM])
354 MaxNopLength = 7;
355 else if (STI.getFeatureBits()[X86::FeatureFast15ByteNOP])
356 MaxNopLength = 15;
357 else if (STI.getFeatureBits()[X86::FeatureFast11ByteNOP])
358 MaxNopLength = 11;
Craig Topper505f38a2018-01-10 22:07:16 +0000359
Simon Pilgrim02bdac52018-01-29 21:24:31 +0000360 // Emit as many MaxNopLength NOPs as needed, then emit a NOP of the remaining
361 // length.
David Sehr4c8979c2013-03-05 00:02:23 +0000362 do {
Alexey Volkov302309f2014-07-04 07:14:56 +0000363 const uint8_t ThisNopLength = (uint8_t) std::min(Count, MaxNopLength);
David Sehr4c8979c2013-03-05 00:02:23 +0000364 const uint8_t Prefixes = ThisNopLength <= 10 ? 0 : ThisNopLength - 10;
365 for (uint8_t i = 0; i < Prefixes; i++)
Jim Grosbach36e60e92015-06-04 22:24:41 +0000366 OW->write8(0x66);
David Sehr4c8979c2013-03-05 00:02:23 +0000367 const uint8_t Rest = ThisNopLength - Prefixes;
368 for (uint8_t i = 0; i < Rest; i++)
Jim Grosbach36e60e92015-06-04 22:24:41 +0000369 OW->write8(Nops[Rest - 1][i]);
David Sehr4c8979c2013-03-05 00:02:23 +0000370 Count -= ThisNopLength;
371 } while (Count != 0);
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000372
373 return true;
374}
375
Daniel Dunbare0c43572010-03-23 01:39:09 +0000376/* *** */
377
Chris Lattnerac588122010-07-07 22:27:31 +0000378namespace {
Bill Wendling184d5d32013-09-11 20:38:09 +0000379
Daniel Dunbarc5084cc2010-03-19 09:29:03 +0000380class ELFX86AsmBackend : public X86AsmBackend {
381public:
Rafael Espindola1ad40952011-12-21 17:00:36 +0000382 uint8_t OSABI;
Craig Topper505f38a2018-01-10 22:07:16 +0000383 ELFX86AsmBackend(const Target &T, uint8_t OSABI, const MCSubtargetInfo &STI)
384 : X86AsmBackend(T, STI), OSABI(OSABI) {}
Daniel Dunbarc5084cc2010-03-19 09:29:03 +0000385};
386
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000387class ELFX86_32AsmBackend : public ELFX86AsmBackend {
388public:
Craig Topper505f38a2018-01-10 22:07:16 +0000389 ELFX86_32AsmBackend(const Target &T, uint8_t OSABI,
390 const MCSubtargetInfo &STI)
391 : ELFX86AsmBackend(T, OSABI, STI) {}
Matt Flemingf751d852010-08-16 18:36:14 +0000392
Lang Hames60fbc7c2017-10-10 16:28:07 +0000393 std::unique_ptr<MCObjectWriter>
394 createObjectWriter(raw_pwrite_stream &OS) const override {
Michael Liao83a77c32012-10-30 17:33:39 +0000395 return createX86ELFObjectWriter(OS, /*IsELF64*/ false, OSABI, ELF::EM_386);
Jan Sjödin6348dc02011-03-09 18:44:41 +0000396 }
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000397};
398
Zinovy Niscad431c2014-07-10 13:03:26 +0000399class ELFX86_X32AsmBackend : public ELFX86AsmBackend {
400public:
Craig Topper505f38a2018-01-10 22:07:16 +0000401 ELFX86_X32AsmBackend(const Target &T, uint8_t OSABI,
402 const MCSubtargetInfo &STI)
403 : ELFX86AsmBackend(T, OSABI, STI) {}
Zinovy Niscad431c2014-07-10 13:03:26 +0000404
Lang Hames60fbc7c2017-10-10 16:28:07 +0000405 std::unique_ptr<MCObjectWriter>
406 createObjectWriter(raw_pwrite_stream &OS) const override {
Zinovy Niscad431c2014-07-10 13:03:26 +0000407 return createX86ELFObjectWriter(OS, /*IsELF64*/ false, OSABI,
408 ELF::EM_X86_64);
409 }
410};
411
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000412class ELFX86_IAMCUAsmBackend : public ELFX86AsmBackend {
413public:
Craig Topper505f38a2018-01-10 22:07:16 +0000414 ELFX86_IAMCUAsmBackend(const Target &T, uint8_t OSABI,
415 const MCSubtargetInfo &STI)
416 : ELFX86AsmBackend(T, OSABI, STI) {}
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000417
Lang Hames60fbc7c2017-10-10 16:28:07 +0000418 std::unique_ptr<MCObjectWriter>
419 createObjectWriter(raw_pwrite_stream &OS) const override {
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000420 return createX86ELFObjectWriter(OS, /*IsELF64*/ false, OSABI,
421 ELF::EM_IAMCU);
422 }
423};
424
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000425class ELFX86_64AsmBackend : public ELFX86AsmBackend {
426public:
Craig Topper505f38a2018-01-10 22:07:16 +0000427 ELFX86_64AsmBackend(const Target &T, uint8_t OSABI,
428 const MCSubtargetInfo &STI)
429 : ELFX86AsmBackend(T, OSABI, STI) {}
Matt Flemingf751d852010-08-16 18:36:14 +0000430
Lang Hames60fbc7c2017-10-10 16:28:07 +0000431 std::unique_ptr<MCObjectWriter>
432 createObjectWriter(raw_pwrite_stream &OS) const override {
Michael Liao83a77c32012-10-30 17:33:39 +0000433 return createX86ELFObjectWriter(OS, /*IsELF64*/ true, OSABI, ELF::EM_X86_64);
Jan Sjödin6348dc02011-03-09 18:44:41 +0000434 }
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000435};
436
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000437class WindowsX86AsmBackend : public X86AsmBackend {
Michael J. Spencer377aa202010-08-21 05:58:13 +0000438 bool Is64Bit;
Rafael Espindola4262a222010-10-16 18:23:53 +0000439
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000440public:
Craig Topper505f38a2018-01-10 22:07:16 +0000441 WindowsX86AsmBackend(const Target &T, bool is64Bit,
442 const MCSubtargetInfo &STI)
443 : X86AsmBackend(T, STI)
Michael J. Spencer377aa202010-08-21 05:58:13 +0000444 , Is64Bit(is64Bit) {
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000445 }
446
David Majnemerce108422016-01-19 23:05:27 +0000447 Optional<MCFixupKind> getFixupKind(StringRef Name) const override {
448 return StringSwitch<Optional<MCFixupKind>>(Name)
449 .Case("dir32", FK_Data_4)
450 .Case("secrel32", FK_SecRel_4)
451 .Case("secidx", FK_SecRel_2)
452 .Default(MCAsmBackend::getFixupKind(Name));
453 }
454
Lang Hames60fbc7c2017-10-10 16:28:07 +0000455 std::unique_ptr<MCObjectWriter>
456 createObjectWriter(raw_pwrite_stream &OS) const override {
Rafael Espindola908d2ed2011-12-24 02:14:02 +0000457 return createX86WinCOFFObjectWriter(OS, Is64Bit);
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000458 }
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000459};
460
Bill Wendling184d5d32013-09-11 20:38:09 +0000461namespace CU {
462
463 /// Compact unwind encoding values.
464 enum CompactUnwindEncodings {
465 /// [RE]BP based frame where [RE]BP is pused on the stack immediately after
466 /// the return address, then [RE]SP is moved to [RE]BP.
467 UNWIND_MODE_BP_FRAME = 0x01000000,
468
469 /// A frameless function with a small constant stack size.
470 UNWIND_MODE_STACK_IMMD = 0x02000000,
471
472 /// A frameless function with a large constant stack size.
473 UNWIND_MODE_STACK_IND = 0x03000000,
474
475 /// No compact unwind encoding is available.
476 UNWIND_MODE_DWARF = 0x04000000,
477
478 /// Mask for encoding the frame registers.
479 UNWIND_BP_FRAME_REGISTERS = 0x00007FFF,
480
481 /// Mask for encoding the frameless registers.
482 UNWIND_FRAMELESS_STACK_REG_PERMUTATION = 0x000003FF
483 };
484
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000485} // end CU namespace
Bill Wendling184d5d32013-09-11 20:38:09 +0000486
Daniel Dunbar77c41412010-03-11 01:34:21 +0000487class DarwinX86AsmBackend : public X86AsmBackend {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000488 const MCRegisterInfo &MRI;
489
490 /// \brief Number of registers that can be saved in a compact unwind encoding.
491 enum { CU_NUM_SAVED_REGS = 6 };
492
493 mutable unsigned SavedRegs[CU_NUM_SAVED_REGS];
494 bool Is64Bit;
495
496 unsigned OffsetSize; ///< Offset of a "push" instruction.
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000497 unsigned MoveInstrSize; ///< Size of a "move" instruction.
Sanjay Patela065eb42014-08-29 15:32:09 +0000498 unsigned StackDivide; ///< Amount to adjust stack size by.
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000499protected:
Alexander Potapenkoc5785672014-09-03 07:37:20 +0000500 /// \brief Size of a "push" instruction for the given register.
501 unsigned PushInstrSize(unsigned Reg) const {
502 switch (Reg) {
503 case X86::EBX:
504 case X86::ECX:
505 case X86::EDX:
506 case X86::EDI:
507 case X86::ESI:
508 case X86::EBP:
509 case X86::RBX:
510 case X86::RBP:
511 return 1;
512 case X86::R12:
513 case X86::R13:
514 case X86::R14:
515 case X86::R15:
516 return 2;
517 }
518 return 1;
519 }
520
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000521 /// \brief Implementation of algorithm to generate the compact unwind encoding
522 /// for the CFI instructions.
523 uint32_t
524 generateCompactUnwindEncodingImpl(ArrayRef<MCCFIInstruction> Instrs) const {
525 if (Instrs.empty()) return 0;
526
527 // Reset the saved registers.
528 unsigned SavedRegIdx = 0;
529 memset(SavedRegs, 0, sizeof(SavedRegs));
530
531 bool HasFP = false;
532
533 // Encode that we are using EBP/RBP as the frame pointer.
534 uint32_t CompactUnwindEncoding = 0;
535
536 unsigned SubtractInstrIdx = Is64Bit ? 3 : 2;
537 unsigned InstrOffset = 0;
538 unsigned StackAdjust = 0;
539 unsigned StackSize = 0;
540 unsigned PrevStackSize = 0;
541 unsigned NumDefCFAOffsets = 0;
542
543 for (unsigned i = 0, e = Instrs.size(); i != e; ++i) {
544 const MCCFIInstruction &Inst = Instrs[i];
545
546 switch (Inst.getOperation()) {
547 default:
Jim Grosbach2fca51d2013-11-08 22:33:06 +0000548 // Any other CFI directives indicate a frame that we aren't prepared
549 // to represent via compact unwind, so just bail out.
550 return 0;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000551 case MCCFIInstruction::OpDefCfaRegister: {
552 // Defines a frame pointer. E.g.
553 //
554 // movq %rsp, %rbp
555 // L0:
556 // .cfi_def_cfa_register %rbp
557 //
558 HasFP = true;
Saleem Abdulrasool03ffa792016-09-20 17:05:04 +0000559
560 // If the frame pointer is other than esp/rsp, we do not have a way to
561 // generate a compact unwinding representation, so bail out.
562 if (MRI.getLLVMRegNum(Inst.getRegister(), true) !=
563 (Is64Bit ? X86::RBP : X86::EBP))
564 return 0;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000565
566 // Reset the counts.
567 memset(SavedRegs, 0, sizeof(SavedRegs));
568 StackAdjust = 0;
569 SavedRegIdx = 0;
570 InstrOffset += MoveInstrSize;
571 break;
572 }
573 case MCCFIInstruction::OpDefCfaOffset: {
574 // Defines a new offset for the CFA. E.g.
575 //
576 // With frame:
Michael Liao5bf95782014-12-04 05:20:33 +0000577 //
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000578 // pushq %rbp
579 // L0:
580 // .cfi_def_cfa_offset 16
581 //
582 // Without frame:
583 //
584 // subq $72, %rsp
585 // L0:
586 // .cfi_def_cfa_offset 80
587 //
588 PrevStackSize = StackSize;
589 StackSize = std::abs(Inst.getOffset()) / StackDivide;
590 ++NumDefCFAOffsets;
591 break;
592 }
593 case MCCFIInstruction::OpOffset: {
594 // Defines a "push" of a callee-saved register. E.g.
595 //
596 // pushq %r15
597 // pushq %r14
598 // pushq %rbx
599 // L0:
600 // subq $120, %rsp
601 // L1:
602 // .cfi_offset %rbx, -40
603 // .cfi_offset %r14, -32
604 // .cfi_offset %r15, -24
605 //
606 if (SavedRegIdx == CU_NUM_SAVED_REGS)
607 // If there are too many saved registers, we cannot use a compact
608 // unwind encoding.
609 return CU::UNWIND_MODE_DWARF;
610
611 unsigned Reg = MRI.getLLVMRegNum(Inst.getRegister(), true);
612 SavedRegs[SavedRegIdx++] = Reg;
613 StackAdjust += OffsetSize;
Alexander Potapenkoc5785672014-09-03 07:37:20 +0000614 InstrOffset += PushInstrSize(Reg);
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000615 break;
616 }
617 }
618 }
619
620 StackAdjust /= StackDivide;
621
622 if (HasFP) {
623 if ((StackAdjust & 0xFF) != StackAdjust)
624 // Offset was too big for a compact unwind encoding.
625 return CU::UNWIND_MODE_DWARF;
626
627 // Get the encoding of the saved registers when we have a frame pointer.
628 uint32_t RegEnc = encodeCompactUnwindRegistersWithFrame();
629 if (RegEnc == ~0U) return CU::UNWIND_MODE_DWARF;
630
631 CompactUnwindEncoding |= CU::UNWIND_MODE_BP_FRAME;
632 CompactUnwindEncoding |= (StackAdjust & 0xFF) << 16;
633 CompactUnwindEncoding |= RegEnc & CU::UNWIND_BP_FRAME_REGISTERS;
634 } else {
635 // If the amount of the stack allocation is the size of a register, then
636 // we "push" the RAX/EAX register onto the stack instead of adjusting the
637 // stack pointer with a SUB instruction. We don't support the push of the
638 // RAX/EAX register with compact unwind. So we check for that situation
639 // here.
640 if ((NumDefCFAOffsets == SavedRegIdx + 1 &&
641 StackSize - PrevStackSize == 1) ||
642 (Instrs.size() == 1 && NumDefCFAOffsets == 1 && StackSize == 2))
643 return CU::UNWIND_MODE_DWARF;
644
645 SubtractInstrIdx += InstrOffset;
646 ++StackAdjust;
647
648 if ((StackSize & 0xFF) == StackSize) {
649 // Frameless stack with a small stack size.
650 CompactUnwindEncoding |= CU::UNWIND_MODE_STACK_IMMD;
651
652 // Encode the stack size.
653 CompactUnwindEncoding |= (StackSize & 0xFF) << 16;
654 } else {
655 if ((StackAdjust & 0x7) != StackAdjust)
656 // The extra stack adjustments are too big for us to handle.
657 return CU::UNWIND_MODE_DWARF;
658
659 // Frameless stack with an offset too large for us to encode compactly.
660 CompactUnwindEncoding |= CU::UNWIND_MODE_STACK_IND;
661
662 // Encode the offset to the nnnnnn value in the 'subl $nnnnnn, ESP'
663 // instruction.
664 CompactUnwindEncoding |= (SubtractInstrIdx & 0xFF) << 16;
665
666 // Encode any extra stack stack adjustments (done via push
667 // instructions).
668 CompactUnwindEncoding |= (StackAdjust & 0x7) << 13;
669 }
670
671 // Encode the number of registers saved. (Reverse the list first.)
672 std::reverse(&SavedRegs[0], &SavedRegs[SavedRegIdx]);
673 CompactUnwindEncoding |= (SavedRegIdx & 0x7) << 10;
674
675 // Get the encoding of the saved registers when we don't have a frame
676 // pointer.
677 uint32_t RegEnc = encodeCompactUnwindRegistersWithoutFrame(SavedRegIdx);
678 if (RegEnc == ~0U) return CU::UNWIND_MODE_DWARF;
679
680 // Encode the register encoding.
681 CompactUnwindEncoding |=
682 RegEnc & CU::UNWIND_FRAMELESS_STACK_REG_PERMUTATION;
683 }
684
685 return CompactUnwindEncoding;
686 }
687
688private:
689 /// \brief Get the compact unwind number for a given register. The number
690 /// corresponds to the enum lists in compact_unwind_encoding.h.
691 int getCompactUnwindRegNum(unsigned Reg) const {
Craig Toppere5e035a32015-12-05 07:13:35 +0000692 static const MCPhysReg CU32BitRegs[7] = {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000693 X86::EBX, X86::ECX, X86::EDX, X86::EDI, X86::ESI, X86::EBP, 0
694 };
Craig Toppere5e035a32015-12-05 07:13:35 +0000695 static const MCPhysReg CU64BitRegs[] = {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000696 X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0
697 };
Craig Toppere5e035a32015-12-05 07:13:35 +0000698 const MCPhysReg *CURegs = Is64Bit ? CU64BitRegs : CU32BitRegs;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000699 for (int Idx = 1; *CURegs; ++CURegs, ++Idx)
700 if (*CURegs == Reg)
701 return Idx;
702
703 return -1;
704 }
705
706 /// \brief Return the registers encoded for a compact encoding with a frame
707 /// pointer.
708 uint32_t encodeCompactUnwindRegistersWithFrame() const {
709 // Encode the registers in the order they were saved --- 3-bits per
710 // register. The list of saved registers is assumed to be in reverse
711 // order. The registers are numbered from 1 to CU_NUM_SAVED_REGS.
712 uint32_t RegEnc = 0;
713 for (int i = 0, Idx = 0; i != CU_NUM_SAVED_REGS; ++i) {
714 unsigned Reg = SavedRegs[i];
715 if (Reg == 0) break;
716
717 int CURegNum = getCompactUnwindRegNum(Reg);
718 if (CURegNum == -1) return ~0U;
719
720 // Encode the 3-bit register number in order, skipping over 3-bits for
721 // each register.
722 RegEnc |= (CURegNum & 0x7) << (Idx++ * 3);
723 }
724
725 assert((RegEnc & 0x3FFFF) == RegEnc &&
726 "Invalid compact register encoding!");
727 return RegEnc;
728 }
729
730 /// \brief Create the permutation encoding used with frameless stacks. It is
731 /// passed the number of registers to be saved and an array of the registers
732 /// saved.
733 uint32_t encodeCompactUnwindRegistersWithoutFrame(unsigned RegCount) const {
734 // The saved registers are numbered from 1 to 6. In order to encode the
735 // order in which they were saved, we re-number them according to their
736 // place in the register order. The re-numbering is relative to the last
737 // re-numbered register. E.g., if we have registers {6, 2, 4, 5} saved in
738 // that order:
739 //
740 // Orig Re-Num
741 // ---- ------
742 // 6 6
743 // 2 2
744 // 4 3
745 // 5 3
746 //
Bruno Cardoso Lopes27de9b02014-12-08 18:18:32 +0000747 for (unsigned i = 0; i < RegCount; ++i) {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000748 int CUReg = getCompactUnwindRegNum(SavedRegs[i]);
749 if (CUReg == -1) return ~0U;
750 SavedRegs[i] = CUReg;
751 }
752
753 // Reverse the list.
754 std::reverse(&SavedRegs[0], &SavedRegs[CU_NUM_SAVED_REGS]);
755
756 uint32_t RenumRegs[CU_NUM_SAVED_REGS];
757 for (unsigned i = CU_NUM_SAVED_REGS - RegCount; i < CU_NUM_SAVED_REGS; ++i){
758 unsigned Countless = 0;
759 for (unsigned j = CU_NUM_SAVED_REGS - RegCount; j < i; ++j)
760 if (SavedRegs[j] < SavedRegs[i])
761 ++Countless;
762
763 RenumRegs[i] = SavedRegs[i] - Countless - 1;
764 }
765
766 // Take the renumbered values and encode them into a 10-bit number.
767 uint32_t permutationEncoding = 0;
768 switch (RegCount) {
769 case 6:
770 permutationEncoding |= 120 * RenumRegs[0] + 24 * RenumRegs[1]
771 + 6 * RenumRegs[2] + 2 * RenumRegs[3]
772 + RenumRegs[4];
773 break;
774 case 5:
775 permutationEncoding |= 120 * RenumRegs[1] + 24 * RenumRegs[2]
776 + 6 * RenumRegs[3] + 2 * RenumRegs[4]
777 + RenumRegs[5];
778 break;
779 case 4:
780 permutationEncoding |= 60 * RenumRegs[2] + 12 * RenumRegs[3]
781 + 3 * RenumRegs[4] + RenumRegs[5];
782 break;
783 case 3:
784 permutationEncoding |= 20 * RenumRegs[3] + 4 * RenumRegs[4]
785 + RenumRegs[5];
786 break;
787 case 2:
788 permutationEncoding |= 5 * RenumRegs[4] + RenumRegs[5];
789 break;
790 case 1:
791 permutationEncoding |= RenumRegs[5];
792 break;
793 }
794
795 assert((permutationEncoding & 0x3FF) == permutationEncoding &&
796 "Invalid compact register encoding!");
797 return permutationEncoding;
798 }
799
Daniel Dunbar77c41412010-03-11 01:34:21 +0000800public:
Craig Topper505f38a2018-01-10 22:07:16 +0000801 DarwinX86AsmBackend(const Target &T, const MCRegisterInfo &MRI,
802 const MCSubtargetInfo &STI, bool Is64Bit)
803 : X86AsmBackend(T, STI), MRI(MRI), Is64Bit(Is64Bit) {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000804 memset(SavedRegs, 0, sizeof(SavedRegs));
805 OffsetSize = Is64Bit ? 8 : 4;
806 MoveInstrSize = Is64Bit ? 3 : 2;
807 StackDivide = Is64Bit ? 8 : 4;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000808 }
Daniel Dunbar77c41412010-03-11 01:34:21 +0000809};
810
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000811class DarwinX86_32AsmBackend : public DarwinX86AsmBackend {
812public:
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000813 DarwinX86_32AsmBackend(const Target &T, const MCRegisterInfo &MRI,
Craig Topper505f38a2018-01-10 22:07:16 +0000814 const MCSubtargetInfo &STI)
815 : DarwinX86AsmBackend(T, MRI, STI, false) {}
Daniel Dunbar4d7c8642010-03-19 10:43:26 +0000816
Lang Hames60fbc7c2017-10-10 16:28:07 +0000817 std::unique_ptr<MCObjectWriter>
818 createObjectWriter(raw_pwrite_stream &OS) const override {
Daniel Dunbar7da045e2010-12-20 15:07:39 +0000819 return createX86MachObjectWriter(OS, /*Is64Bit=*/false,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000820 MachO::CPU_TYPE_I386,
821 MachO::CPU_SUBTYPE_I386_ALL);
Daniel Dunbar4d7c8642010-03-19 10:43:26 +0000822 }
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000823
824 /// \brief Generate the compact unwind encoding for the CFI instructions.
Craig Topper39012cc2014-03-09 18:03:14 +0000825 uint32_t generateCompactUnwindEncoding(
826 ArrayRef<MCCFIInstruction> Instrs) const override {
Rafael Espindoladf100c32014-06-20 22:30:31 +0000827 return generateCompactUnwindEncodingImpl(Instrs);
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000828 }
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000829};
830
831class DarwinX86_64AsmBackend : public DarwinX86AsmBackend {
Jim Grosbach664d1482013-11-16 00:52:57 +0000832 const MachO::CPUSubTypeX86 Subtype;
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000833public:
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000834 DarwinX86_64AsmBackend(const Target &T, const MCRegisterInfo &MRI,
Craig Topper505f38a2018-01-10 22:07:16 +0000835 const MCSubtargetInfo &STI, MachO::CPUSubTypeX86 st)
836 : DarwinX86AsmBackend(T, MRI, STI, true), Subtype(st) {}
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000837
Lang Hames60fbc7c2017-10-10 16:28:07 +0000838 std::unique_ptr<MCObjectWriter>
839 createObjectWriter(raw_pwrite_stream &OS) const override {
Daniel Dunbar7da045e2010-12-20 15:07:39 +0000840 return createX86MachObjectWriter(OS, /*Is64Bit=*/true,
Jim Grosbach664d1482013-11-16 00:52:57 +0000841 MachO::CPU_TYPE_X86_64, Subtype);
Daniel Dunbar4d7c8642010-03-19 10:43:26 +0000842 }
843
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000844 /// \brief Generate the compact unwind encoding for the CFI instructions.
Craig Topper39012cc2014-03-09 18:03:14 +0000845 uint32_t generateCompactUnwindEncoding(
846 ArrayRef<MCCFIInstruction> Instrs) const override {
Rafael Espindoladf100c32014-06-20 22:30:31 +0000847 return generateCompactUnwindEncodingImpl(Instrs);
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000848 }
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000849};
850
Michael J. Spencerbee1f7f2010-10-10 22:04:20 +0000851} // end anonymous namespace
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000852
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000853MCAsmBackend *llvm::createX86_32AsmBackend(const Target &T,
Alex Bradburyb22f7512018-01-03 08:53:05 +0000854 const MCSubtargetInfo &STI,
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000855 const MCRegisterInfo &MRI,
Joel Jones373d7d32016-07-25 17:18:28 +0000856 const MCTargetOptions &Options) {
Alex Bradburyb22f7512018-01-03 08:53:05 +0000857 const Triple &TheTriple = STI.getTargetTriple();
Daniel Sanders50f17232015-09-15 16:17:27 +0000858 if (TheTriple.isOSBinFormatMachO())
Craig Topper505f38a2018-01-10 22:07:16 +0000859 return new DarwinX86_32AsmBackend(T, MRI, STI);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000860
David Majnemerce108422016-01-19 23:05:27 +0000861 if (TheTriple.isOSWindows() && TheTriple.isOSBinFormatCOFF())
Craig Topper505f38a2018-01-10 22:07:16 +0000862 return new WindowsX86AsmBackend(T, false, STI);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000863
Daniel Sanders50f17232015-09-15 16:17:27 +0000864 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(TheTriple.getOS());
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000865
866 if (TheTriple.isOSIAMCU())
Craig Topper505f38a2018-01-10 22:07:16 +0000867 return new ELFX86_IAMCUAsmBackend(T, OSABI, STI);
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000868
Craig Topper505f38a2018-01-10 22:07:16 +0000869 return new ELFX86_32AsmBackend(T, OSABI, STI);
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000870}
871
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000872MCAsmBackend *llvm::createX86_64AsmBackend(const Target &T,
Alex Bradburyb22f7512018-01-03 08:53:05 +0000873 const MCSubtargetInfo &STI,
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000874 const MCRegisterInfo &MRI,
Joel Jones373d7d32016-07-25 17:18:28 +0000875 const MCTargetOptions &Options) {
Alex Bradburyb22f7512018-01-03 08:53:05 +0000876 const Triple &TheTriple = STI.getTargetTriple();
Daniel Sanders50f17232015-09-15 16:17:27 +0000877 if (TheTriple.isOSBinFormatMachO()) {
Jim Grosbach664d1482013-11-16 00:52:57 +0000878 MachO::CPUSubTypeX86 CS =
Daniel Sanders50f17232015-09-15 16:17:27 +0000879 StringSwitch<MachO::CPUSubTypeX86>(TheTriple.getArchName())
Jim Grosbach664d1482013-11-16 00:52:57 +0000880 .Case("x86_64h", MachO::CPU_SUBTYPE_X86_64_H)
881 .Default(MachO::CPU_SUBTYPE_X86_64_ALL);
Craig Topper505f38a2018-01-10 22:07:16 +0000882 return new DarwinX86_64AsmBackend(T, MRI, STI, CS);
Jim Grosbach664d1482013-11-16 00:52:57 +0000883 }
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000884
David Majnemerce108422016-01-19 23:05:27 +0000885 if (TheTriple.isOSWindows() && TheTriple.isOSBinFormatCOFF())
Craig Topper505f38a2018-01-10 22:07:16 +0000886 return new WindowsX86AsmBackend(T, true, STI);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000887
Daniel Sanders50f17232015-09-15 16:17:27 +0000888 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(TheTriple.getOS());
Zinovy Niscad431c2014-07-10 13:03:26 +0000889
Daniel Sanders50f17232015-09-15 16:17:27 +0000890 if (TheTriple.getEnvironment() == Triple::GNUX32)
Craig Topper505f38a2018-01-10 22:07:16 +0000891 return new ELFX86_X32AsmBackend(T, OSABI, STI);
892 return new ELFX86_64AsmBackend(T, OSABI, STI);
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000893}