blob: 7a9e4f4468ec7309ddcbdafaf0566b2d188b72ec [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"
Michael J. Spencerf8270bd2010-07-27 06:46:15 +000023#include "llvm/MC/MCSectionCOFF.h"
Daniel Dunbarc5084cc2010-03-19 09:29:03 +000024#include "llvm/MC/MCSectionELF.h"
Daniel Dunbarfe8d8662010-03-15 21:56:50 +000025#include "llvm/MC/MCSectionMachO.h"
Nirav Dave57033c62016-07-11 14:32:57 +000026#include "llvm/MC/MCSubtargetInfo.h"
Daniel Dunbare0c43572010-03-23 01:39:09 +000027#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000028#include "llvm/Support/TargetRegistry.h"
Daniel Dunbare0c43572010-03-23 01:39:09 +000029#include "llvm/Support/raw_ostream.h"
Daniel Dunbar40eb7f02010-02-21 21:54:14 +000030using namespace llvm;
31
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000032static unsigned getFixupKindLog2Size(unsigned Kind) {
33 switch (Kind) {
Rafael Espindola83752532014-04-21 21:00:58 +000034 default:
35 llvm_unreachable("invalid fixup kind!");
Rafael Espindola8a3a7922010-11-28 14:17:56 +000036 case FK_PCRel_1:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000037 case FK_SecRel_1:
Rafael Espindola83752532014-04-21 21:00:58 +000038 case FK_Data_1:
39 return 0;
Rafael Espindola8a3a7922010-11-28 14:17:56 +000040 case FK_PCRel_2:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000041 case FK_SecRel_2:
Rafael Espindola83752532014-04-21 21:00:58 +000042 case FK_Data_2:
43 return 1;
Rafael Espindola8a3a7922010-11-28 14:17:56 +000044 case FK_PCRel_4:
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000045 case X86::reloc_riprel_4byte:
Rafael Espindola52bd3302016-05-28 15:51:38 +000046 case X86::reloc_riprel_4byte_relax:
47 case X86::reloc_riprel_4byte_relax_rex:
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000048 case X86::reloc_riprel_4byte_movq_load:
Rafael Espindola70d6e0e2010-09-30 03:11:42 +000049 case X86::reloc_signed_4byte:
Rafael Espindolaa29971f2016-07-06 21:19:11 +000050 case X86::reloc_signed_4byte_relax:
Rafael Espindola800fd352010-10-24 17:35:42 +000051 case X86::reloc_global_offset_table:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000052 case FK_SecRel_4:
Rafael Espindola83752532014-04-21 21:00:58 +000053 case FK_Data_4:
54 return 2;
Rafael Espindola2ac83552010-12-27 00:36:05 +000055 case FK_PCRel_8:
Rafael Espindolaa56ab0ed2011-12-24 14:47:52 +000056 case FK_SecRel_8:
Rafael Espindola83752532014-04-21 21:00:58 +000057 case FK_Data_8:
Rafael Espindola6c76d1d2014-04-21 21:15:45 +000058 case X86::reloc_global_offset_table8:
Rafael Espindola83752532014-04-21 21:00:58 +000059 return 3;
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000060 }
61}
62
Chris Lattnerac588122010-07-07 22:27:31 +000063namespace {
Daniel Dunbar8888a962010-12-16 16:09:19 +000064
Rafael Espindola6b5e56c2010-12-17 17:45:22 +000065class X86ELFObjectWriter : public MCELFObjectTargetWriter {
66public:
Rafael Espindola1ad40952011-12-21 17:00:36 +000067 X86ELFObjectWriter(bool is64Bit, uint8_t OSABI, uint16_t EMachine,
68 bool HasRelocationAddend, bool foobar)
69 : MCELFObjectTargetWriter(is64Bit, OSABI, EMachine, HasRelocationAddend) {}
Rafael Espindola6b5e56c2010-12-17 17:45:22 +000070};
71
Evan Cheng5928e692011-07-25 23:24:55 +000072class X86AsmBackend : public MCAsmBackend {
Alexey Volkov302309f2014-07-04 07:14:56 +000073 const StringRef CPU;
Rafael Espindolaa834e302013-11-25 20:50:03 +000074 bool HasNopl;
Hans Wennborg7c3077c2016-02-19 21:26:31 +000075 const uint64_t MaxNopLength;
Daniel Dunbar40eb7f02010-02-21 21:54:14 +000076public:
Hans Wennborg7c3077c2016-02-19 21:26:31 +000077 X86AsmBackend(const Target &T, StringRef CPU)
Andrey Turetskiy9df334c2016-04-11 10:07:36 +000078 : MCAsmBackend(), CPU(CPU),
Asaf Badouh7f6968e2016-12-01 15:19:10 +000079 MaxNopLength((CPU == "slm") ? 7 : 15) {
Rafael Espindolaa834e302013-11-25 20:50:03 +000080 HasNopl = CPU != "generic" && CPU != "i386" && CPU != "i486" &&
81 CPU != "i586" && CPU != "pentium" && CPU != "pentium-mmx" &&
82 CPU != "i686" && CPU != "k6" && CPU != "k6-2" && CPU != "k6-3" &&
83 CPU != "geode" && CPU != "winchip-c6" && CPU != "winchip2" &&
Asaf Badouh7f6968e2016-12-01 15:19:10 +000084 CPU != "c3" && CPU != "c3-2" && CPU != "lakemont";
Rafael Espindolaa834e302013-11-25 20:50:03 +000085 }
Daniel Dunbarf0517ef2010-03-19 09:28:12 +000086
Craig Topper39012cc2014-03-09 18:03:14 +000087 unsigned getNumFixupKinds() const override {
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000088 return X86::NumTargetFixupKinds;
89 }
90
Craig Topper39012cc2014-03-09 18:03:14 +000091 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override {
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000092 const static MCFixupKindInfo Infos[X86::NumTargetFixupKinds] = {
Rafael Espindola2d39bb32016-05-28 11:13:34 +000093 {"reloc_riprel_4byte", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
94 {"reloc_riprel_4byte_movq_load", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
Rafael Espindola52bd3302016-05-28 15:51:38 +000095 {"reloc_riprel_4byte_relax", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
96 {"reloc_riprel_4byte_relax_rex", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
Rafael Espindola2d39bb32016-05-28 11:13:34 +000097 {"reloc_signed_4byte", 0, 32, 0},
Rafael Espindolaa29971f2016-07-06 21:19:11 +000098 {"reloc_signed_4byte_relax", 0, 32, 0},
Rafael Espindola2d39bb32016-05-28 11:13:34 +000099 {"reloc_global_offset_table", 0, 32, 0},
100 {"reloc_global_offset_table8", 0, 64, 0},
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +0000101 };
102
103 if (Kind < FirstTargetFixupKind)
Evan Cheng5928e692011-07-25 23:24:55 +0000104 return MCAsmBackend::getFixupKindInfo(Kind);
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +0000105
106 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
107 "Invalid kind!");
108 return Infos[Kind - FirstTargetFixupKind];
109 }
110
Jim Grosbachaba3de92012-01-18 18:52:16 +0000111 void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize,
Alex Bradbury866113c2017-04-05 10:16:14 +0000112 uint64_t Value, bool IsPCRel, MCContext &Ctx) const override {
Daniel Dunbar353a91ff2010-05-26 15:18:31 +0000113 unsigned Size = 1 << getFixupKindLog2Size(Fixup.getKind());
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000114
Rafael Espindola0f30fec2010-12-06 19:08:48 +0000115 assert(Fixup.getOffset() + Size <= DataSize &&
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000116 "Invalid fixup offset!");
Jason W Kime4df09f2011-08-04 00:38:45 +0000117
Jason W Kim239370c2011-08-05 00:53:03 +0000118 // Check that uppper bits are either all zeros or all ones.
119 // Specifically ignore overflow/underflow as long as the leakage is
120 // limited to the lower bits. This is to remain compatible with
121 // other assemblers.
Eli Friedmana5abd032011-10-13 23:27:48 +0000122 assert(isIntN(Size * 8 + 1, Value) &&
Jason W Kim239370c2011-08-05 00:53:03 +0000123 "Value does not fit in the Fixup field");
Jason W Kime4df09f2011-08-04 00:38:45 +0000124
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000125 for (unsigned i = 0; i != Size; ++i)
Rafael Espindola0f30fec2010-12-06 19:08:48 +0000126 Data[Fixup.getOffset() + i] = uint8_t(Value >> (i * 8));
Daniel Dunbarf0517ef2010-03-19 09:28:12 +0000127 }
Daniel Dunbare0c43572010-03-23 01:39:09 +0000128
Craig Topper39012cc2014-03-09 18:03:14 +0000129 bool mayNeedRelaxation(const MCInst &Inst) const override;
Daniel Dunbar86face82010-03-23 03:13:05 +0000130
Craig Topper39012cc2014-03-09 18:03:14 +0000131 bool fixupNeedsRelaxation(const MCFixup &Fixup, uint64_t Value,
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000132 const MCRelaxableFragment *DF,
Craig Topper39012cc2014-03-09 18:03:14 +0000133 const MCAsmLayout &Layout) const override;
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000134
Nirav Dave86030622016-07-11 14:23:53 +0000135 void relaxInstruction(const MCInst &Inst, const MCSubtargetInfo &STI,
136 MCInst &Res) const override;
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000137
Craig Topper39012cc2014-03-09 18:03:14 +0000138 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const override;
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000139};
Michael J. Spencerbee1f7f2010-10-10 22:04:20 +0000140} // end anonymous namespace
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000141
Nirav Dave86030622016-07-11 14:23:53 +0000142static unsigned getRelaxedOpcodeBranch(const MCInst &Inst, bool is16BitMode) {
143 unsigned Op = Inst.getOpcode();
Daniel Dunbare0c43572010-03-23 01:39:09 +0000144 switch (Op) {
145 default:
146 return Op;
Nirav Dave86030622016-07-11 14:23:53 +0000147 case X86::JAE_1:
148 return (is16BitMode) ? X86::JAE_2 : X86::JAE_4;
149 case X86::JA_1:
150 return (is16BitMode) ? X86::JA_2 : X86::JA_4;
151 case X86::JBE_1:
152 return (is16BitMode) ? X86::JBE_2 : X86::JBE_4;
153 case X86::JB_1:
154 return (is16BitMode) ? X86::JB_2 : X86::JB_4;
155 case X86::JE_1:
156 return (is16BitMode) ? X86::JE_2 : X86::JE_4;
157 case X86::JGE_1:
158 return (is16BitMode) ? X86::JGE_2 : X86::JGE_4;
159 case X86::JG_1:
160 return (is16BitMode) ? X86::JG_2 : X86::JG_4;
161 case X86::JLE_1:
162 return (is16BitMode) ? X86::JLE_2 : X86::JLE_4;
163 case X86::JL_1:
164 return (is16BitMode) ? X86::JL_2 : X86::JL_4;
165 case X86::JMP_1:
166 return (is16BitMode) ? X86::JMP_2 : X86::JMP_4;
167 case X86::JNE_1:
168 return (is16BitMode) ? X86::JNE_2 : X86::JNE_4;
169 case X86::JNO_1:
170 return (is16BitMode) ? X86::JNO_2 : X86::JNO_4;
171 case X86::JNP_1:
172 return (is16BitMode) ? X86::JNP_2 : X86::JNP_4;
173 case X86::JNS_1:
174 return (is16BitMode) ? X86::JNS_2 : X86::JNS_4;
175 case X86::JO_1:
176 return (is16BitMode) ? X86::JO_2 : X86::JO_4;
177 case X86::JP_1:
178 return (is16BitMode) ? X86::JP_2 : X86::JP_4;
179 case X86::JS_1:
180 return (is16BitMode) ? X86::JS_2 : X86::JS_4;
Daniel Dunbare0c43572010-03-23 01:39:09 +0000181 }
182}
183
Nirav Dave86030622016-07-11 14:23:53 +0000184static unsigned getRelaxedOpcodeArith(const MCInst &Inst) {
185 unsigned Op = Inst.getOpcode();
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000186 switch (Op) {
187 default:
188 return Op;
189
190 // IMUL
191 case X86::IMUL16rri8: return X86::IMUL16rri;
192 case X86::IMUL16rmi8: return X86::IMUL16rmi;
193 case X86::IMUL32rri8: return X86::IMUL32rri;
194 case X86::IMUL32rmi8: return X86::IMUL32rmi;
195 case X86::IMUL64rri8: return X86::IMUL64rri32;
196 case X86::IMUL64rmi8: return X86::IMUL64rmi32;
197
198 // AND
199 case X86::AND16ri8: return X86::AND16ri;
200 case X86::AND16mi8: return X86::AND16mi;
201 case X86::AND32ri8: return X86::AND32ri;
202 case X86::AND32mi8: return X86::AND32mi;
203 case X86::AND64ri8: return X86::AND64ri32;
204 case X86::AND64mi8: return X86::AND64mi32;
205
206 // OR
207 case X86::OR16ri8: return X86::OR16ri;
208 case X86::OR16mi8: return X86::OR16mi;
209 case X86::OR32ri8: return X86::OR32ri;
210 case X86::OR32mi8: return X86::OR32mi;
211 case X86::OR64ri8: return X86::OR64ri32;
212 case X86::OR64mi8: return X86::OR64mi32;
213
214 // XOR
215 case X86::XOR16ri8: return X86::XOR16ri;
216 case X86::XOR16mi8: return X86::XOR16mi;
217 case X86::XOR32ri8: return X86::XOR32ri;
218 case X86::XOR32mi8: return X86::XOR32mi;
219 case X86::XOR64ri8: return X86::XOR64ri32;
220 case X86::XOR64mi8: return X86::XOR64mi32;
221
222 // ADD
223 case X86::ADD16ri8: return X86::ADD16ri;
224 case X86::ADD16mi8: return X86::ADD16mi;
225 case X86::ADD32ri8: return X86::ADD32ri;
226 case X86::ADD32mi8: return X86::ADD32mi;
227 case X86::ADD64ri8: return X86::ADD64ri32;
228 case X86::ADD64mi8: return X86::ADD64mi32;
229
Quentin Colombet2cb8a512015-12-14 23:12:40 +0000230 // ADC
231 case X86::ADC16ri8: return X86::ADC16ri;
232 case X86::ADC16mi8: return X86::ADC16mi;
233 case X86::ADC32ri8: return X86::ADC32ri;
234 case X86::ADC32mi8: return X86::ADC32mi;
235 case X86::ADC64ri8: return X86::ADC64ri32;
236 case X86::ADC64mi8: return X86::ADC64mi32;
237
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000238 // SUB
239 case X86::SUB16ri8: return X86::SUB16ri;
240 case X86::SUB16mi8: return X86::SUB16mi;
241 case X86::SUB32ri8: return X86::SUB32ri;
242 case X86::SUB32mi8: return X86::SUB32mi;
243 case X86::SUB64ri8: return X86::SUB64ri32;
244 case X86::SUB64mi8: return X86::SUB64mi32;
245
Quentin Colombet25b43f32015-12-15 00:09:23 +0000246 // SBB
247 case X86::SBB16ri8: return X86::SBB16ri;
248 case X86::SBB16mi8: return X86::SBB16mi;
249 case X86::SBB32ri8: return X86::SBB32ri;
250 case X86::SBB32mi8: return X86::SBB32mi;
251 case X86::SBB64ri8: return X86::SBB64ri32;
252 case X86::SBB64mi8: return X86::SBB64mi32;
253
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000254 // CMP
255 case X86::CMP16ri8: return X86::CMP16ri;
256 case X86::CMP16mi8: return X86::CMP16mi;
257 case X86::CMP32ri8: return X86::CMP32ri;
258 case X86::CMP32mi8: return X86::CMP32mi;
259 case X86::CMP64ri8: return X86::CMP64ri32;
260 case X86::CMP64mi8: return X86::CMP64mi32;
Rafael Espindola625ccf82010-12-18 01:01:34 +0000261
262 // PUSH
David Woodhouse8bceb5d2014-01-08 12:58:32 +0000263 case X86::PUSH32i8: return X86::PUSHi32;
264 case X86::PUSH16i8: return X86::PUSHi16;
265 case X86::PUSH64i8: return X86::PUSH64i32;
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000266 }
267}
268
Nirav Dave86030622016-07-11 14:23:53 +0000269static unsigned getRelaxedOpcode(const MCInst &Inst, bool is16BitMode) {
270 unsigned R = getRelaxedOpcodeArith(Inst);
271 if (R != Inst.getOpcode())
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000272 return R;
Nirav Dave86030622016-07-11 14:23:53 +0000273 return getRelaxedOpcodeBranch(Inst, is16BitMode);
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000274}
275
Jim Grosbachaba3de92012-01-18 18:52:16 +0000276bool X86AsmBackend::mayNeedRelaxation(const MCInst &Inst) const {
Nirav Dave86030622016-07-11 14:23:53 +0000277 // Branches can always be relaxed in either mode.
278 if (getRelaxedOpcodeBranch(Inst, false) != Inst.getOpcode())
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000279 return true;
280
Daniel Dunbara19838e2010-05-26 17:45:29 +0000281 // Check if this instruction is ever relaxable.
Nirav Dave86030622016-07-11 14:23:53 +0000282 if (getRelaxedOpcodeArith(Inst) == Inst.getOpcode())
Daniel Dunbara19838e2010-05-26 17:45:29 +0000283 return false;
Daniel Dunbar353a91ff2010-05-26 15:18:31 +0000284
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000285
Michael Kuperstein21a3c182015-07-01 10:54:42 +0000286 // Check if the relaxable operand has an expression. For the current set of
287 // relaxable instructions, the relaxable operand is always the last operand.
288 unsigned RelaxableOp = Inst.getNumOperands() - 1;
289 if (Inst.getOperand(RelaxableOp).isExpr())
290 return true;
Rafael Espindolae8ae98812010-10-26 14:09:12 +0000291
Michael Kuperstein21a3c182015-07-01 10:54:42 +0000292 return false;
Daniel Dunbar86face82010-03-23 03:13:05 +0000293}
294
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000295bool X86AsmBackend::fixupNeedsRelaxation(const MCFixup &Fixup,
296 uint64_t Value,
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000297 const MCRelaxableFragment *DF,
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000298 const MCAsmLayout &Layout) const {
299 // Relax if the value is too big for a (signed) i8.
300 return int64_t(Value) != int64_t(int8_t(Value));
301}
302
Daniel Dunbare0c43572010-03-23 01:39:09 +0000303// FIXME: Can tblgen help at all here to verify there aren't other instructions
304// we can relax?
Nirav Dave86030622016-07-11 14:23:53 +0000305void X86AsmBackend::relaxInstruction(const MCInst &Inst,
306 const MCSubtargetInfo &STI,
307 MCInst &Res) const {
Daniel Dunbare0c43572010-03-23 01:39:09 +0000308 // The only relaxations X86 does is from a 1byte pcrel to a 4byte pcrel.
Nirav Dave86030622016-07-11 14:23:53 +0000309 bool is16BitMode = STI.getFeatureBits()[X86::Mode16Bit];
310 unsigned RelaxedOp = getRelaxedOpcode(Inst, is16BitMode);
Daniel Dunbare0c43572010-03-23 01:39:09 +0000311
Daniel Dunbar7c8bd0f2010-05-26 18:15:06 +0000312 if (RelaxedOp == Inst.getOpcode()) {
Alp Tokere69170a2014-06-26 22:52:05 +0000313 SmallString<256> Tmp;
314 raw_svector_ostream OS(Tmp);
Daniel Dunbar7c8bd0f2010-05-26 18:15:06 +0000315 Inst.dump_pretty(OS);
Daniel Dunbar3627af52010-05-26 15:18:13 +0000316 OS << "\n";
Chris Lattner2104b8d2010-04-07 22:58:41 +0000317 report_fatal_error("unexpected instruction to relax: " + OS.str());
Daniel Dunbare0c43572010-03-23 01:39:09 +0000318 }
319
Daniel Dunbar7c8bd0f2010-05-26 18:15:06 +0000320 Res = Inst;
Daniel Dunbare0c43572010-03-23 01:39:09 +0000321 Res.setOpcode(RelaxedOp);
322}
323
Eli Benderskyb2022f32012-12-13 00:24:56 +0000324/// \brief Write a sequence of optimal nops to the output, covering \p Count
325/// bytes.
326/// \return - true on success, false on failure
Jim Grosbachaba3de92012-01-18 18:52:16 +0000327bool X86AsmBackend::writeNopData(uint64_t Count, MCObjectWriter *OW) const {
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000328 static const uint8_t Nops[10][10] = {
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000329 // nop
330 {0x90},
331 // xchg %ax,%ax
332 {0x66, 0x90},
333 // nopl (%[re]ax)
334 {0x0f, 0x1f, 0x00},
335 // nopl 0(%[re]ax)
336 {0x0f, 0x1f, 0x40, 0x00},
337 // nopl 0(%[re]ax,%[re]ax,1)
338 {0x0f, 0x1f, 0x44, 0x00, 0x00},
339 // nopw 0(%[re]ax,%[re]ax,1)
340 {0x66, 0x0f, 0x1f, 0x44, 0x00, 0x00},
341 // nopl 0L(%[re]ax)
342 {0x0f, 0x1f, 0x80, 0x00, 0x00, 0x00, 0x00},
343 // nopl 0L(%[re]ax,%[re]ax,1)
344 {0x0f, 0x1f, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
345 // nopw 0L(%[re]ax,%[re]ax,1)
346 {0x66, 0x0f, 0x1f, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
347 // nopw %cs:0L(%[re]ax,%[re]ax,1)
348 {0x66, 0x2e, 0x0f, 0x1f, 0x84, 0x00, 0x00, 0x00, 0x00, 0x00},
Daniel Dunbara9ae3ae2010-03-23 02:36:58 +0000349 };
350
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000351 // This CPU doesn't support long nops. If needed add more.
352 // FIXME: Can we get this from the subtarget somehow?
353 // FIXME: We could generated something better than plain 0x90.
354 if (!HasNopl) {
355 for (uint64_t i = 0; i < Count; ++i)
356 OW->write8(0x90);
357 return true;
358 }
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000359
Hans Wennborg7c3077c2016-02-19 21:26:31 +0000360 // 15 is the longest single nop instruction. Emit as many 15-byte nops as
361 // needed, then emit a nop of the remaining 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;
David Blaikie9f380a32015-03-16 18:06:57 +0000383 ELFX86AsmBackend(const Target &T, uint8_t OSABI, StringRef CPU)
384 : X86AsmBackend(T, CPU), OSABI(OSABI) {}
Daniel Dunbarc5084cc2010-03-19 09:29:03 +0000385};
386
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000387class ELFX86_32AsmBackend : public ELFX86AsmBackend {
388public:
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000389 ELFX86_32AsmBackend(const Target &T, uint8_t OSABI, StringRef CPU)
390 : ELFX86AsmBackend(T, OSABI, CPU) {}
Matt Flemingf751d852010-08-16 18:36:14 +0000391
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000392 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
Michael Liao83a77c32012-10-30 17:33:39 +0000393 return createX86ELFObjectWriter(OS, /*IsELF64*/ false, OSABI, ELF::EM_386);
Jan Sjödin6348dc02011-03-09 18:44:41 +0000394 }
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000395};
396
Zinovy Niscad431c2014-07-10 13:03:26 +0000397class ELFX86_X32AsmBackend : public ELFX86AsmBackend {
398public:
399 ELFX86_X32AsmBackend(const Target &T, uint8_t OSABI, StringRef CPU)
400 : ELFX86AsmBackend(T, OSABI, CPU) {}
401
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000402 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
Zinovy Niscad431c2014-07-10 13:03:26 +0000403 return createX86ELFObjectWriter(OS, /*IsELF64*/ false, OSABI,
404 ELF::EM_X86_64);
405 }
406};
407
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000408class ELFX86_IAMCUAsmBackend : public ELFX86AsmBackend {
409public:
410 ELFX86_IAMCUAsmBackend(const Target &T, uint8_t OSABI, StringRef CPU)
411 : ELFX86AsmBackend(T, OSABI, CPU) {}
412
413 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
414 return createX86ELFObjectWriter(OS, /*IsELF64*/ false, OSABI,
415 ELF::EM_IAMCU);
416 }
417};
418
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000419class ELFX86_64AsmBackend : public ELFX86AsmBackend {
420public:
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000421 ELFX86_64AsmBackend(const Target &T, uint8_t OSABI, StringRef CPU)
422 : ELFX86AsmBackend(T, OSABI, CPU) {}
Matt Flemingf751d852010-08-16 18:36:14 +0000423
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000424 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
Michael Liao83a77c32012-10-30 17:33:39 +0000425 return createX86ELFObjectWriter(OS, /*IsELF64*/ true, OSABI, ELF::EM_X86_64);
Jan Sjödin6348dc02011-03-09 18:44:41 +0000426 }
Matt Fleming5abb6dd2010-05-21 11:39:07 +0000427};
428
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000429class WindowsX86AsmBackend : public X86AsmBackend {
Michael J. Spencer377aa202010-08-21 05:58:13 +0000430 bool Is64Bit;
Rafael Espindola4262a222010-10-16 18:23:53 +0000431
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000432public:
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000433 WindowsX86AsmBackend(const Target &T, bool is64Bit, StringRef CPU)
434 : X86AsmBackend(T, CPU)
Michael J. Spencer377aa202010-08-21 05:58:13 +0000435 , Is64Bit(is64Bit) {
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000436 }
437
David Majnemerce108422016-01-19 23:05:27 +0000438 Optional<MCFixupKind> getFixupKind(StringRef Name) const override {
439 return StringSwitch<Optional<MCFixupKind>>(Name)
440 .Case("dir32", FK_Data_4)
441 .Case("secrel32", FK_SecRel_4)
442 .Case("secidx", FK_SecRel_2)
443 .Default(MCAsmBackend::getFixupKind(Name));
444 }
445
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000446 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
Rafael Espindola908d2ed2011-12-24 02:14:02 +0000447 return createX86WinCOFFObjectWriter(OS, Is64Bit);
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000448 }
Michael J. Spencerf8270bd2010-07-27 06:46:15 +0000449};
450
Bill Wendling184d5d32013-09-11 20:38:09 +0000451namespace CU {
452
453 /// Compact unwind encoding values.
454 enum CompactUnwindEncodings {
455 /// [RE]BP based frame where [RE]BP is pused on the stack immediately after
456 /// the return address, then [RE]SP is moved to [RE]BP.
457 UNWIND_MODE_BP_FRAME = 0x01000000,
458
459 /// A frameless function with a small constant stack size.
460 UNWIND_MODE_STACK_IMMD = 0x02000000,
461
462 /// A frameless function with a large constant stack size.
463 UNWIND_MODE_STACK_IND = 0x03000000,
464
465 /// No compact unwind encoding is available.
466 UNWIND_MODE_DWARF = 0x04000000,
467
468 /// Mask for encoding the frame registers.
469 UNWIND_BP_FRAME_REGISTERS = 0x00007FFF,
470
471 /// Mask for encoding the frameless registers.
472 UNWIND_FRAMELESS_STACK_REG_PERMUTATION = 0x000003FF
473 };
474
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000475} // end CU namespace
Bill Wendling184d5d32013-09-11 20:38:09 +0000476
Daniel Dunbar77c41412010-03-11 01:34:21 +0000477class DarwinX86AsmBackend : public X86AsmBackend {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000478 const MCRegisterInfo &MRI;
479
480 /// \brief Number of registers that can be saved in a compact unwind encoding.
481 enum { CU_NUM_SAVED_REGS = 6 };
482
483 mutable unsigned SavedRegs[CU_NUM_SAVED_REGS];
484 bool Is64Bit;
485
486 unsigned OffsetSize; ///< Offset of a "push" instruction.
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000487 unsigned MoveInstrSize; ///< Size of a "move" instruction.
Sanjay Patela065eb42014-08-29 15:32:09 +0000488 unsigned StackDivide; ///< Amount to adjust stack size by.
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000489protected:
Alexander Potapenkoc5785672014-09-03 07:37:20 +0000490 /// \brief Size of a "push" instruction for the given register.
491 unsigned PushInstrSize(unsigned Reg) const {
492 switch (Reg) {
493 case X86::EBX:
494 case X86::ECX:
495 case X86::EDX:
496 case X86::EDI:
497 case X86::ESI:
498 case X86::EBP:
499 case X86::RBX:
500 case X86::RBP:
501 return 1;
502 case X86::R12:
503 case X86::R13:
504 case X86::R14:
505 case X86::R15:
506 return 2;
507 }
508 return 1;
509 }
510
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000511 /// \brief Implementation of algorithm to generate the compact unwind encoding
512 /// for the CFI instructions.
513 uint32_t
514 generateCompactUnwindEncodingImpl(ArrayRef<MCCFIInstruction> Instrs) const {
515 if (Instrs.empty()) return 0;
516
517 // Reset the saved registers.
518 unsigned SavedRegIdx = 0;
519 memset(SavedRegs, 0, sizeof(SavedRegs));
520
521 bool HasFP = false;
522
523 // Encode that we are using EBP/RBP as the frame pointer.
524 uint32_t CompactUnwindEncoding = 0;
525
526 unsigned SubtractInstrIdx = Is64Bit ? 3 : 2;
527 unsigned InstrOffset = 0;
528 unsigned StackAdjust = 0;
529 unsigned StackSize = 0;
530 unsigned PrevStackSize = 0;
531 unsigned NumDefCFAOffsets = 0;
532
533 for (unsigned i = 0, e = Instrs.size(); i != e; ++i) {
534 const MCCFIInstruction &Inst = Instrs[i];
535
536 switch (Inst.getOperation()) {
537 default:
Jim Grosbach2fca51d2013-11-08 22:33:06 +0000538 // Any other CFI directives indicate a frame that we aren't prepared
539 // to represent via compact unwind, so just bail out.
540 return 0;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000541 case MCCFIInstruction::OpDefCfaRegister: {
542 // Defines a frame pointer. E.g.
543 //
544 // movq %rsp, %rbp
545 // L0:
546 // .cfi_def_cfa_register %rbp
547 //
548 HasFP = true;
Saleem Abdulrasool03ffa792016-09-20 17:05:04 +0000549
550 // If the frame pointer is other than esp/rsp, we do not have a way to
551 // generate a compact unwinding representation, so bail out.
552 if (MRI.getLLVMRegNum(Inst.getRegister(), true) !=
553 (Is64Bit ? X86::RBP : X86::EBP))
554 return 0;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000555
556 // Reset the counts.
557 memset(SavedRegs, 0, sizeof(SavedRegs));
558 StackAdjust = 0;
559 SavedRegIdx = 0;
560 InstrOffset += MoveInstrSize;
561 break;
562 }
563 case MCCFIInstruction::OpDefCfaOffset: {
564 // Defines a new offset for the CFA. E.g.
565 //
566 // With frame:
Michael Liao5bf95782014-12-04 05:20:33 +0000567 //
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000568 // pushq %rbp
569 // L0:
570 // .cfi_def_cfa_offset 16
571 //
572 // Without frame:
573 //
574 // subq $72, %rsp
575 // L0:
576 // .cfi_def_cfa_offset 80
577 //
578 PrevStackSize = StackSize;
579 StackSize = std::abs(Inst.getOffset()) / StackDivide;
580 ++NumDefCFAOffsets;
581 break;
582 }
583 case MCCFIInstruction::OpOffset: {
584 // Defines a "push" of a callee-saved register. E.g.
585 //
586 // pushq %r15
587 // pushq %r14
588 // pushq %rbx
589 // L0:
590 // subq $120, %rsp
591 // L1:
592 // .cfi_offset %rbx, -40
593 // .cfi_offset %r14, -32
594 // .cfi_offset %r15, -24
595 //
596 if (SavedRegIdx == CU_NUM_SAVED_REGS)
597 // If there are too many saved registers, we cannot use a compact
598 // unwind encoding.
599 return CU::UNWIND_MODE_DWARF;
600
601 unsigned Reg = MRI.getLLVMRegNum(Inst.getRegister(), true);
602 SavedRegs[SavedRegIdx++] = Reg;
603 StackAdjust += OffsetSize;
Alexander Potapenkoc5785672014-09-03 07:37:20 +0000604 InstrOffset += PushInstrSize(Reg);
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000605 break;
606 }
607 }
608 }
609
610 StackAdjust /= StackDivide;
611
612 if (HasFP) {
613 if ((StackAdjust & 0xFF) != StackAdjust)
614 // Offset was too big for a compact unwind encoding.
615 return CU::UNWIND_MODE_DWARF;
616
617 // Get the encoding of the saved registers when we have a frame pointer.
618 uint32_t RegEnc = encodeCompactUnwindRegistersWithFrame();
619 if (RegEnc == ~0U) return CU::UNWIND_MODE_DWARF;
620
621 CompactUnwindEncoding |= CU::UNWIND_MODE_BP_FRAME;
622 CompactUnwindEncoding |= (StackAdjust & 0xFF) << 16;
623 CompactUnwindEncoding |= RegEnc & CU::UNWIND_BP_FRAME_REGISTERS;
624 } else {
625 // If the amount of the stack allocation is the size of a register, then
626 // we "push" the RAX/EAX register onto the stack instead of adjusting the
627 // stack pointer with a SUB instruction. We don't support the push of the
628 // RAX/EAX register with compact unwind. So we check for that situation
629 // here.
630 if ((NumDefCFAOffsets == SavedRegIdx + 1 &&
631 StackSize - PrevStackSize == 1) ||
632 (Instrs.size() == 1 && NumDefCFAOffsets == 1 && StackSize == 2))
633 return CU::UNWIND_MODE_DWARF;
634
635 SubtractInstrIdx += InstrOffset;
636 ++StackAdjust;
637
638 if ((StackSize & 0xFF) == StackSize) {
639 // Frameless stack with a small stack size.
640 CompactUnwindEncoding |= CU::UNWIND_MODE_STACK_IMMD;
641
642 // Encode the stack size.
643 CompactUnwindEncoding |= (StackSize & 0xFF) << 16;
644 } else {
645 if ((StackAdjust & 0x7) != StackAdjust)
646 // The extra stack adjustments are too big for us to handle.
647 return CU::UNWIND_MODE_DWARF;
648
649 // Frameless stack with an offset too large for us to encode compactly.
650 CompactUnwindEncoding |= CU::UNWIND_MODE_STACK_IND;
651
652 // Encode the offset to the nnnnnn value in the 'subl $nnnnnn, ESP'
653 // instruction.
654 CompactUnwindEncoding |= (SubtractInstrIdx & 0xFF) << 16;
655
656 // Encode any extra stack stack adjustments (done via push
657 // instructions).
658 CompactUnwindEncoding |= (StackAdjust & 0x7) << 13;
659 }
660
661 // Encode the number of registers saved. (Reverse the list first.)
662 std::reverse(&SavedRegs[0], &SavedRegs[SavedRegIdx]);
663 CompactUnwindEncoding |= (SavedRegIdx & 0x7) << 10;
664
665 // Get the encoding of the saved registers when we don't have a frame
666 // pointer.
667 uint32_t RegEnc = encodeCompactUnwindRegistersWithoutFrame(SavedRegIdx);
668 if (RegEnc == ~0U) return CU::UNWIND_MODE_DWARF;
669
670 // Encode the register encoding.
671 CompactUnwindEncoding |=
672 RegEnc & CU::UNWIND_FRAMELESS_STACK_REG_PERMUTATION;
673 }
674
675 return CompactUnwindEncoding;
676 }
677
678private:
679 /// \brief Get the compact unwind number for a given register. The number
680 /// corresponds to the enum lists in compact_unwind_encoding.h.
681 int getCompactUnwindRegNum(unsigned Reg) const {
Craig Toppere5e035a32015-12-05 07:13:35 +0000682 static const MCPhysReg CU32BitRegs[7] = {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000683 X86::EBX, X86::ECX, X86::EDX, X86::EDI, X86::ESI, X86::EBP, 0
684 };
Craig Toppere5e035a32015-12-05 07:13:35 +0000685 static const MCPhysReg CU64BitRegs[] = {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000686 X86::RBX, X86::R12, X86::R13, X86::R14, X86::R15, X86::RBP, 0
687 };
Craig Toppere5e035a32015-12-05 07:13:35 +0000688 const MCPhysReg *CURegs = Is64Bit ? CU64BitRegs : CU32BitRegs;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000689 for (int Idx = 1; *CURegs; ++CURegs, ++Idx)
690 if (*CURegs == Reg)
691 return Idx;
692
693 return -1;
694 }
695
696 /// \brief Return the registers encoded for a compact encoding with a frame
697 /// pointer.
698 uint32_t encodeCompactUnwindRegistersWithFrame() const {
699 // Encode the registers in the order they were saved --- 3-bits per
700 // register. The list of saved registers is assumed to be in reverse
701 // order. The registers are numbered from 1 to CU_NUM_SAVED_REGS.
702 uint32_t RegEnc = 0;
703 for (int i = 0, Idx = 0; i != CU_NUM_SAVED_REGS; ++i) {
704 unsigned Reg = SavedRegs[i];
705 if (Reg == 0) break;
706
707 int CURegNum = getCompactUnwindRegNum(Reg);
708 if (CURegNum == -1) return ~0U;
709
710 // Encode the 3-bit register number in order, skipping over 3-bits for
711 // each register.
712 RegEnc |= (CURegNum & 0x7) << (Idx++ * 3);
713 }
714
715 assert((RegEnc & 0x3FFFF) == RegEnc &&
716 "Invalid compact register encoding!");
717 return RegEnc;
718 }
719
720 /// \brief Create the permutation encoding used with frameless stacks. It is
721 /// passed the number of registers to be saved and an array of the registers
722 /// saved.
723 uint32_t encodeCompactUnwindRegistersWithoutFrame(unsigned RegCount) const {
724 // The saved registers are numbered from 1 to 6. In order to encode the
725 // order in which they were saved, we re-number them according to their
726 // place in the register order. The re-numbering is relative to the last
727 // re-numbered register. E.g., if we have registers {6, 2, 4, 5} saved in
728 // that order:
729 //
730 // Orig Re-Num
731 // ---- ------
732 // 6 6
733 // 2 2
734 // 4 3
735 // 5 3
736 //
Bruno Cardoso Lopes27de9b02014-12-08 18:18:32 +0000737 for (unsigned i = 0; i < RegCount; ++i) {
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000738 int CUReg = getCompactUnwindRegNum(SavedRegs[i]);
739 if (CUReg == -1) return ~0U;
740 SavedRegs[i] = CUReg;
741 }
742
743 // Reverse the list.
744 std::reverse(&SavedRegs[0], &SavedRegs[CU_NUM_SAVED_REGS]);
745
746 uint32_t RenumRegs[CU_NUM_SAVED_REGS];
747 for (unsigned i = CU_NUM_SAVED_REGS - RegCount; i < CU_NUM_SAVED_REGS; ++i){
748 unsigned Countless = 0;
749 for (unsigned j = CU_NUM_SAVED_REGS - RegCount; j < i; ++j)
750 if (SavedRegs[j] < SavedRegs[i])
751 ++Countless;
752
753 RenumRegs[i] = SavedRegs[i] - Countless - 1;
754 }
755
756 // Take the renumbered values and encode them into a 10-bit number.
757 uint32_t permutationEncoding = 0;
758 switch (RegCount) {
759 case 6:
760 permutationEncoding |= 120 * RenumRegs[0] + 24 * RenumRegs[1]
761 + 6 * RenumRegs[2] + 2 * RenumRegs[3]
762 + RenumRegs[4];
763 break;
764 case 5:
765 permutationEncoding |= 120 * RenumRegs[1] + 24 * RenumRegs[2]
766 + 6 * RenumRegs[3] + 2 * RenumRegs[4]
767 + RenumRegs[5];
768 break;
769 case 4:
770 permutationEncoding |= 60 * RenumRegs[2] + 12 * RenumRegs[3]
771 + 3 * RenumRegs[4] + RenumRegs[5];
772 break;
773 case 3:
774 permutationEncoding |= 20 * RenumRegs[3] + 4 * RenumRegs[4]
775 + RenumRegs[5];
776 break;
777 case 2:
778 permutationEncoding |= 5 * RenumRegs[4] + RenumRegs[5];
779 break;
780 case 1:
781 permutationEncoding |= RenumRegs[5];
782 break;
783 }
784
785 assert((permutationEncoding & 0x3FF) == permutationEncoding &&
786 "Invalid compact register encoding!");
787 return permutationEncoding;
788 }
789
Daniel Dunbar77c41412010-03-11 01:34:21 +0000790public:
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000791 DarwinX86AsmBackend(const Target &T, const MCRegisterInfo &MRI, StringRef CPU,
792 bool Is64Bit)
793 : X86AsmBackend(T, CPU), MRI(MRI), Is64Bit(Is64Bit) {
794 memset(SavedRegs, 0, sizeof(SavedRegs));
795 OffsetSize = Is64Bit ? 8 : 4;
796 MoveInstrSize = Is64Bit ? 3 : 2;
797 StackDivide = Is64Bit ? 8 : 4;
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000798 }
Daniel Dunbar77c41412010-03-11 01:34:21 +0000799};
800
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000801class DarwinX86_32AsmBackend : public DarwinX86AsmBackend {
802public:
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000803 DarwinX86_32AsmBackend(const Target &T, const MCRegisterInfo &MRI,
Rafael Espindoladf100c32014-06-20 22:30:31 +0000804 StringRef CPU)
805 : DarwinX86AsmBackend(T, MRI, CPU, false) {}
Daniel Dunbar4d7c8642010-03-19 10:43:26 +0000806
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000807 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
Daniel Dunbar7da045e2010-12-20 15:07:39 +0000808 return createX86MachObjectWriter(OS, /*Is64Bit=*/false,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000809 MachO::CPU_TYPE_I386,
810 MachO::CPU_SUBTYPE_I386_ALL);
Daniel Dunbar4d7c8642010-03-19 10:43:26 +0000811 }
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000812
813 /// \brief Generate the compact unwind encoding for the CFI instructions.
Craig Topper39012cc2014-03-09 18:03:14 +0000814 uint32_t generateCompactUnwindEncoding(
815 ArrayRef<MCCFIInstruction> Instrs) const override {
Rafael Espindoladf100c32014-06-20 22:30:31 +0000816 return generateCompactUnwindEncodingImpl(Instrs);
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000817 }
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000818};
819
820class DarwinX86_64AsmBackend : public DarwinX86AsmBackend {
Jim Grosbach664d1482013-11-16 00:52:57 +0000821 const MachO::CPUSubTypeX86 Subtype;
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000822public:
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000823 DarwinX86_64AsmBackend(const Target &T, const MCRegisterInfo &MRI,
Rafael Espindoladf100c32014-06-20 22:30:31 +0000824 StringRef CPU, MachO::CPUSubTypeX86 st)
825 : DarwinX86AsmBackend(T, MRI, CPU, true), Subtype(st) {}
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000826
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000827 MCObjectWriter *createObjectWriter(raw_pwrite_stream &OS) const override {
Daniel Dunbar7da045e2010-12-20 15:07:39 +0000828 return createX86MachObjectWriter(OS, /*Is64Bit=*/true,
Jim Grosbach664d1482013-11-16 00:52:57 +0000829 MachO::CPU_TYPE_X86_64, Subtype);
Daniel Dunbar4d7c8642010-03-19 10:43:26 +0000830 }
831
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000832 /// \brief Generate the compact unwind encoding for the CFI instructions.
Craig Topper39012cc2014-03-09 18:03:14 +0000833 uint32_t generateCompactUnwindEncoding(
834 ArrayRef<MCCFIInstruction> Instrs) const override {
Rafael Espindoladf100c32014-06-20 22:30:31 +0000835 return generateCompactUnwindEncodingImpl(Instrs);
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000836 }
Daniel Dunbarfe8d8662010-03-15 21:56:50 +0000837};
838
Michael J. Spencerbee1f7f2010-10-10 22:04:20 +0000839} // end anonymous namespace
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000840
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000841MCAsmBackend *llvm::createX86_32AsmBackend(const Target &T,
842 const MCRegisterInfo &MRI,
Daniel Sanders50f17232015-09-15 16:17:27 +0000843 const Triple &TheTriple,
Joel Jones373d7d32016-07-25 17:18:28 +0000844 StringRef CPU,
845 const MCTargetOptions &Options) {
Daniel Sanders50f17232015-09-15 16:17:27 +0000846 if (TheTriple.isOSBinFormatMachO())
Rafael Espindoladf100c32014-06-20 22:30:31 +0000847 return new DarwinX86_32AsmBackend(T, MRI, CPU);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000848
David Majnemerce108422016-01-19 23:05:27 +0000849 if (TheTriple.isOSWindows() && TheTriple.isOSBinFormatCOFF())
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000850 return new WindowsX86AsmBackend(T, false, CPU);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000851
Daniel Sanders50f17232015-09-15 16:17:27 +0000852 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(TheTriple.getOS());
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000853
854 if (TheTriple.isOSIAMCU())
855 return new ELFX86_IAMCUAsmBackend(T, OSABI, CPU);
856
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000857 return new ELFX86_32AsmBackend(T, OSABI, CPU);
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000858}
859
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000860MCAsmBackend *llvm::createX86_64AsmBackend(const Target &T,
861 const MCRegisterInfo &MRI,
Daniel Sanders50f17232015-09-15 16:17:27 +0000862 const Triple &TheTriple,
Joel Jones373d7d32016-07-25 17:18:28 +0000863 StringRef CPU,
864 const MCTargetOptions &Options) {
Daniel Sanders50f17232015-09-15 16:17:27 +0000865 if (TheTriple.isOSBinFormatMachO()) {
Jim Grosbach664d1482013-11-16 00:52:57 +0000866 MachO::CPUSubTypeX86 CS =
Daniel Sanders50f17232015-09-15 16:17:27 +0000867 StringSwitch<MachO::CPUSubTypeX86>(TheTriple.getArchName())
Jim Grosbach664d1482013-11-16 00:52:57 +0000868 .Case("x86_64h", MachO::CPU_SUBTYPE_X86_64_H)
869 .Default(MachO::CPU_SUBTYPE_X86_64_ALL);
Rafael Espindoladf100c32014-06-20 22:30:31 +0000870 return new DarwinX86_64AsmBackend(T, MRI, CPU, CS);
Jim Grosbach664d1482013-11-16 00:52:57 +0000871 }
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000872
David Majnemerce108422016-01-19 23:05:27 +0000873 if (TheTriple.isOSWindows() && TheTriple.isOSBinFormatCOFF())
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000874 return new WindowsX86AsmBackend(T, true, CPU);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000875
Daniel Sanders50f17232015-09-15 16:17:27 +0000876 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(TheTriple.getOS());
Zinovy Niscad431c2014-07-10 13:03:26 +0000877
Daniel Sanders50f17232015-09-15 16:17:27 +0000878 if (TheTriple.getEnvironment() == Triple::GNUX32)
Zinovy Niscad431c2014-07-10 13:03:26 +0000879 return new ELFX86_X32AsmBackend(T, OSABI, CPU);
Roman Divacky5dd4ccb2012-09-18 16:08:49 +0000880 return new ELFX86_64AsmBackend(T, OSABI, CPU);
Daniel Dunbar40eb7f02010-02-21 21:54:14 +0000881}