blob: 910a9fcc3c351219fb2ea52e95bd348e26321b26 [file] [log] [blame]
Rafael Espindolab264d332011-12-21 17:30:17 +00001//===-- X86ELFObjectWriter.cpp - X86 ELF Writer ---------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Rafael Espindolab264d332011-12-21 17:30:17 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "MCTargetDesc/X86FixupKinds.h"
10#include "MCTargetDesc/X86MCTargetDesc.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000011#include "llvm/BinaryFormat/ELF.h"
Davide Italianof59b0da2016-04-24 01:03:57 +000012#include "llvm/MC/MCAsmInfo.h"
Rafael Espindola8340f942016-01-13 22:56:57 +000013#include "llvm/MC/MCContext.h"
Rafael Espindolab264d332011-12-21 17:30:17 +000014#include "llvm/MC/MCELFObjectWriter.h"
15#include "llvm/MC/MCExpr.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000016#include "llvm/MC/MCFixup.h"
Lang Hames60fbc7c2017-10-10 16:28:07 +000017#include "llvm/MC/MCObjectWriter.h"
Rafael Espindolab264d332011-12-21 17:30:17 +000018#include "llvm/MC/MCValue.h"
Rafael Espindolab264d332011-12-21 17:30:17 +000019#include "llvm/Support/ErrorHandling.h"
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000020#include <cassert>
21#include <cstdint>
Rafael Espindolab264d332011-12-21 17:30:17 +000022
23using namespace llvm;
24
25namespace {
Rafael Espindolab264d332011-12-21 17:30:17 +000026
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000027class X86ELFObjectWriter : public MCELFObjectTargetWriter {
28public:
29 X86ELFObjectWriter(bool IsELF64, uint8_t OSABI, uint16_t EMachine);
30 ~X86ELFObjectWriter() override = default;
Alexander Kornienkof817c1c2015-04-11 02:11:45 +000031
Eugene Zelenkofbd13c52017-02-02 22:55:55 +000032protected:
33 unsigned getRelocType(MCContext &Ctx, const MCValue &Target,
34 const MCFixup &Fixup, bool IsPCRel) const override;
35};
36
37} // end anonymous namespace
Rafael Espindolab264d332011-12-21 17:30:17 +000038
Michael Liao83a77c32012-10-30 17:33:39 +000039X86ELFObjectWriter::X86ELFObjectWriter(bool IsELF64, uint8_t OSABI,
40 uint16_t EMachine)
Michael Kupersteina3b79dd2015-11-04 11:21:50 +000041 : MCELFObjectTargetWriter(IsELF64, OSABI, EMachine,
42 // Only i386 and IAMCU use Rel instead of RelA.
43 /*HasRelocationAddend*/
44 (EMachine != ELF::EM_386) &&
45 (EMachine != ELF::EM_IAMCU)) {}
Rafael Espindolab264d332011-12-21 17:30:17 +000046
Rafael Espindolabdfbde52015-03-20 19:48:54 +000047enum X86_64RelType { RT64_64, RT64_32, RT64_32S, RT64_16, RT64_8 };
48
49static X86_64RelType getType64(unsigned Kind,
50 MCSymbolRefExpr::VariantKind &Modifier,
51 bool &IsPCRel) {
52 switch (Kind) {
53 default:
54 llvm_unreachable("Unimplemented");
55 case X86::reloc_global_offset_table8:
56 Modifier = MCSymbolRefExpr::VK_GOT;
57 IsPCRel = true;
58 return RT64_64;
59 case FK_Data_8:
60 return RT64_64;
61 case X86::reloc_signed_4byte:
Rafael Espindolaa29971f2016-07-06 21:19:11 +000062 case X86::reloc_signed_4byte_relax:
Rafael Espindolabdfbde52015-03-20 19:48:54 +000063 if (Modifier == MCSymbolRefExpr::VK_None && !IsPCRel)
64 return RT64_32S;
65 return RT64_32;
66 case X86::reloc_global_offset_table:
67 Modifier = MCSymbolRefExpr::VK_GOT;
68 IsPCRel = true;
69 return RT64_32;
70 case FK_Data_4:
71 case FK_PCRel_4:
72 case X86::reloc_riprel_4byte:
Rafael Espindola52bd3302016-05-28 15:51:38 +000073 case X86::reloc_riprel_4byte_relax:
74 case X86::reloc_riprel_4byte_relax_rex:
Rafael Espindolabdfbde52015-03-20 19:48:54 +000075 case X86::reloc_riprel_4byte_movq_load:
76 return RT64_32;
George Rimarda4f43a42018-02-20 10:17:57 +000077 case X86::reloc_branch_4byte_pcrel:
78 Modifier = MCSymbolRefExpr::VK_PLT;
79 return RT64_32;
Rafael Espindolaf3d49b32015-06-06 02:29:56 +000080 case FK_PCRel_2:
Rafael Espindolabdfbde52015-03-20 19:48:54 +000081 case FK_Data_2:
82 return RT64_16;
83 case FK_PCRel_1:
84 case FK_Data_1:
85 return RT64_8;
86 }
87}
88
Rafael Espindola8340f942016-01-13 22:56:57 +000089static void checkIs32(MCContext &Ctx, SMLoc Loc, X86_64RelType Type) {
90 if (Type != RT64_32)
91 Ctx.reportError(Loc,
92 "32 bit reloc applied to a field with a different size");
93}
94
Davide Italianof59b0da2016-04-24 01:03:57 +000095static unsigned getRelocType64(MCContext &Ctx, SMLoc Loc,
Rafael Espindola8340f942016-01-13 22:56:57 +000096 MCSymbolRefExpr::VariantKind Modifier,
Davide Italianof59b0da2016-04-24 01:03:57 +000097 X86_64RelType Type, bool IsPCRel,
98 unsigned Kind) {
Rafael Espindolabdfbde52015-03-20 19:48:54 +000099 switch (Modifier) {
100 default:
101 llvm_unreachable("Unimplemented");
102 case MCSymbolRefExpr::VK_None:
Peter Collingbourned763c4c2017-01-31 18:28:44 +0000103 case MCSymbolRefExpr::VK_X86_ABS8:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000104 switch (Type) {
105 case RT64_64:
106 return IsPCRel ? ELF::R_X86_64_PC64 : ELF::R_X86_64_64;
107 case RT64_32:
108 return IsPCRel ? ELF::R_X86_64_PC32 : ELF::R_X86_64_32;
109 case RT64_32S:
110 return ELF::R_X86_64_32S;
111 case RT64_16:
112 return IsPCRel ? ELF::R_X86_64_PC16 : ELF::R_X86_64_16;
113 case RT64_8:
114 return IsPCRel ? ELF::R_X86_64_PC8 : ELF::R_X86_64_8;
115 }
116 case MCSymbolRefExpr::VK_GOT:
117 switch (Type) {
118 case RT64_64:
119 return IsPCRel ? ELF::R_X86_64_GOTPC64 : ELF::R_X86_64_GOT64;
120 case RT64_32:
121 return IsPCRel ? ELF::R_X86_64_GOTPC32 : ELF::R_X86_64_GOT32;
122 case RT64_32S:
123 case RT64_16:
124 case RT64_8:
125 llvm_unreachable("Unimplemented");
126 }
127 case MCSymbolRefExpr::VK_GOTOFF:
128 assert(Type == RT64_64);
129 assert(!IsPCRel);
130 return ELF::R_X86_64_GOTOFF64;
131 case MCSymbolRefExpr::VK_TPOFF:
132 assert(!IsPCRel);
133 switch (Type) {
134 case RT64_64:
135 return ELF::R_X86_64_TPOFF64;
136 case RT64_32:
137 return ELF::R_X86_64_TPOFF32;
138 case RT64_32S:
139 case RT64_16:
140 case RT64_8:
141 llvm_unreachable("Unimplemented");
142 }
143 case MCSymbolRefExpr::VK_DTPOFF:
144 assert(!IsPCRel);
145 switch (Type) {
146 case RT64_64:
147 return ELF::R_X86_64_DTPOFF64;
148 case RT64_32:
149 return ELF::R_X86_64_DTPOFF32;
150 case RT64_32S:
151 case RT64_16:
152 case RT64_8:
153 llvm_unreachable("Unimplemented");
154 }
155 case MCSymbolRefExpr::VK_SIZE:
156 assert(!IsPCRel);
157 switch (Type) {
158 case RT64_64:
159 return ELF::R_X86_64_SIZE64;
160 case RT64_32:
161 return ELF::R_X86_64_SIZE32;
162 case RT64_32S:
163 case RT64_16:
164 case RT64_8:
165 llvm_unreachable("Unimplemented");
166 }
Davide Italiano7aa47092016-04-09 20:32:33 +0000167 case MCSymbolRefExpr::VK_TLSCALL:
168 return ELF::R_X86_64_TLSDESC_CALL;
169 case MCSymbolRefExpr::VK_TLSDESC:
170 return ELF::R_X86_64_GOTPC32_TLSDESC;
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000171 case MCSymbolRefExpr::VK_TLSGD:
Rafael Espindola8340f942016-01-13 22:56:57 +0000172 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000173 return ELF::R_X86_64_TLSGD;
174 case MCSymbolRefExpr::VK_GOTTPOFF:
Rafael Espindola8340f942016-01-13 22:56:57 +0000175 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000176 return ELF::R_X86_64_GOTTPOFF;
177 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindola8340f942016-01-13 22:56:57 +0000178 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000179 return ELF::R_X86_64_TLSLD;
180 case MCSymbolRefExpr::VK_PLT:
Rafael Espindola8340f942016-01-13 22:56:57 +0000181 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000182 return ELF::R_X86_64_PLT32;
183 case MCSymbolRefExpr::VK_GOTPCREL:
Rafael Espindola8340f942016-01-13 22:56:57 +0000184 checkIs32(Ctx, Loc, Type);
Davide Italianof59b0da2016-04-24 01:03:57 +0000185 // Older versions of ld.bfd/ld.gold/lld
186 // do not support GOTPCRELX/REX_GOTPCRELX,
187 // and we want to keep back-compatibility.
188 if (!Ctx.getAsmInfo()->canRelaxRelocations())
189 return ELF::R_X86_64_GOTPCREL;
190 switch (Kind) {
191 default:
192 return ELF::R_X86_64_GOTPCREL;
Rafael Espindola52bd3302016-05-28 15:51:38 +0000193 case X86::reloc_riprel_4byte_relax:
Davide Italianof59b0da2016-04-24 01:03:57 +0000194 return ELF::R_X86_64_GOTPCRELX;
Rafael Espindola52bd3302016-05-28 15:51:38 +0000195 case X86::reloc_riprel_4byte_relax_rex:
Davide Italianof59b0da2016-04-24 01:03:57 +0000196 case X86::reloc_riprel_4byte_movq_load:
197 return ELF::R_X86_64_REX_GOTPCRELX;
198 }
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000199 }
200}
201
202enum X86_32RelType { RT32_32, RT32_16, RT32_8 };
203
204static X86_32RelType getType32(X86_64RelType T) {
205 switch (T) {
David Majnemerabd9f5b2015-03-22 21:27:10 +0000206 case RT64_64:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000207 llvm_unreachable("Unimplemented");
208 case RT64_32:
209 case RT64_32S:
210 return RT32_32;
211 case RT64_16:
212 return RT32_16;
213 case RT64_8:
214 return RT32_8;
215 }
David Majnemerabd9f5b2015-03-22 21:27:10 +0000216 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000217}
218
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000219static unsigned getRelocType32(MCContext &Ctx,
220 MCSymbolRefExpr::VariantKind Modifier,
221 X86_32RelType Type, bool IsPCRel,
222 unsigned Kind) {
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000223 switch (Modifier) {
224 default:
225 llvm_unreachable("Unimplemented");
226 case MCSymbolRefExpr::VK_None:
Peter Collingbourned763c4c2017-01-31 18:28:44 +0000227 case MCSymbolRefExpr::VK_X86_ABS8:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000228 switch (Type) {
229 case RT32_32:
230 return IsPCRel ? ELF::R_386_PC32 : ELF::R_386_32;
231 case RT32_16:
232 return IsPCRel ? ELF::R_386_PC16 : ELF::R_386_16;
233 case RT32_8:
234 return IsPCRel ? ELF::R_386_PC8 : ELF::R_386_8;
235 }
236 case MCSymbolRefExpr::VK_GOT:
237 assert(Type == RT32_32);
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000238 if (IsPCRel)
239 return ELF::R_386_GOTPC;
240 // Older versions of ld.bfd/ld.gold/lld do not support R_386_GOT32X and we
241 // want to maintain compatibility.
242 if (!Ctx.getAsmInfo()->canRelaxRelocations())
243 return ELF::R_386_GOT32;
244
245 return Kind == X86::reloc_signed_4byte_relax ? ELF::R_386_GOT32X
246 : ELF::R_386_GOT32;
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000247 case MCSymbolRefExpr::VK_GOTOFF:
248 assert(Type == RT32_32);
249 assert(!IsPCRel);
250 return ELF::R_386_GOTOFF;
251 case MCSymbolRefExpr::VK_TPOFF:
252 assert(Type == RT32_32);
253 assert(!IsPCRel);
254 return ELF::R_386_TLS_LE_32;
255 case MCSymbolRefExpr::VK_DTPOFF:
256 assert(Type == RT32_32);
257 assert(!IsPCRel);
258 return ELF::R_386_TLS_LDO_32;
259 case MCSymbolRefExpr::VK_TLSGD:
260 assert(Type == RT32_32);
261 assert(!IsPCRel);
262 return ELF::R_386_TLS_GD;
263 case MCSymbolRefExpr::VK_GOTTPOFF:
264 assert(Type == RT32_32);
265 assert(!IsPCRel);
266 return ELF::R_386_TLS_IE_32;
267 case MCSymbolRefExpr::VK_PLT:
268 assert(Type == RT32_32);
269 return ELF::R_386_PLT32;
270 case MCSymbolRefExpr::VK_INDNTPOFF:
271 assert(Type == RT32_32);
272 assert(!IsPCRel);
273 return ELF::R_386_TLS_IE;
274 case MCSymbolRefExpr::VK_NTPOFF:
275 assert(Type == RT32_32);
276 assert(!IsPCRel);
277 return ELF::R_386_TLS_LE;
278 case MCSymbolRefExpr::VK_GOTNTPOFF:
279 assert(Type == RT32_32);
280 assert(!IsPCRel);
281 return ELF::R_386_TLS_GOTIE;
282 case MCSymbolRefExpr::VK_TLSLDM:
283 assert(Type == RT32_32);
284 assert(!IsPCRel);
285 return ELF::R_386_TLS_LDM;
286 }
287}
288
Rafael Espindola8340f942016-01-13 22:56:57 +0000289unsigned X86ELFObjectWriter::getRelocType(MCContext &Ctx, const MCValue &Target,
Rafael Espindolab264d332011-12-21 17:30:17 +0000290 const MCFixup &Fixup,
Rafael Espindolac03f44c2014-03-27 20:49:35 +0000291 bool IsPCRel) const {
Rafael Espindola3d082fa2014-05-03 19:57:04 +0000292 MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000293 unsigned Kind = Fixup.getKind();
294 X86_64RelType Type = getType64(Kind, Modifier, IsPCRel);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000295 if (getEMachine() == ELF::EM_X86_64)
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000296 return getRelocType64(Ctx, Fixup.getLoc(), Modifier, Type, IsPCRel, Kind);
Rafael Espindolab264d332011-12-21 17:30:17 +0000297
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000298 assert((getEMachine() == ELF::EM_386 || getEMachine() == ELF::EM_IAMCU) &&
299 "Unsupported ELF machine type.");
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000300 return getRelocType32(Ctx, Modifier, getType32(Type), IsPCRel, Kind);
Rafael Espindolab264d332011-12-21 17:30:17 +0000301}
302
Peter Collingbournedcd7d6c2018-05-21 19:20:29 +0000303std::unique_ptr<MCObjectTargetWriter>
304llvm::createX86ELFObjectWriter(bool IsELF64, uint8_t OSABI, uint16_t EMachine) {
305 return llvm::make_unique<X86ELFObjectWriter>(IsELF64, OSABI, EMachine);
Rafael Espindolab264d332011-12-21 17:30:17 +0000306}