blob: bd009da60851e7084a79d62dc9a0c3a81a7d94ac [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
Fangrui Song24632392019-05-17 03:25:39 +000047enum X86_64RelType { RT64_NONE, RT64_64, RT64_32, RT64_32S, RT64_16, RT64_8 };
Rafael Espindolabdfbde52015-03-20 19:48:54 +000048
Sam Clegg90b6bb72019-08-23 01:00:55 +000049static X86_64RelType getType64(MCFixupKind Kind,
Rafael Espindolabdfbde52015-03-20 19:48:54 +000050 MCSymbolRefExpr::VariantKind &Modifier,
51 bool &IsPCRel) {
Sam Clegg90b6bb72019-08-23 01:00:55 +000052 switch (unsigned(Kind)) {
Rafael Espindolabdfbde52015-03-20 19:48:54 +000053 default:
54 llvm_unreachable("Unimplemented");
Fangrui Song24632392019-05-17 03:25:39 +000055 case FK_NONE:
56 return RT64_NONE;
Rafael Espindolabdfbde52015-03-20 19:48:54 +000057 case X86::reloc_global_offset_table8:
58 Modifier = MCSymbolRefExpr::VK_GOT;
59 IsPCRel = true;
60 return RT64_64;
61 case FK_Data_8:
62 return RT64_64;
63 case X86::reloc_signed_4byte:
Rafael Espindolaa29971f2016-07-06 21:19:11 +000064 case X86::reloc_signed_4byte_relax:
Rafael Espindolabdfbde52015-03-20 19:48:54 +000065 if (Modifier == MCSymbolRefExpr::VK_None && !IsPCRel)
66 return RT64_32S;
67 return RT64_32;
68 case X86::reloc_global_offset_table:
69 Modifier = MCSymbolRefExpr::VK_GOT;
70 IsPCRel = true;
71 return RT64_32;
72 case FK_Data_4:
73 case FK_PCRel_4:
74 case X86::reloc_riprel_4byte:
Rafael Espindola52bd3302016-05-28 15:51:38 +000075 case X86::reloc_riprel_4byte_relax:
76 case X86::reloc_riprel_4byte_relax_rex:
Rafael Espindolabdfbde52015-03-20 19:48:54 +000077 case X86::reloc_riprel_4byte_movq_load:
78 return RT64_32;
George Rimarda4f43a42018-02-20 10:17:57 +000079 case X86::reloc_branch_4byte_pcrel:
80 Modifier = MCSymbolRefExpr::VK_PLT;
81 return RT64_32;
Rafael Espindolaf3d49b32015-06-06 02:29:56 +000082 case FK_PCRel_2:
Rafael Espindolabdfbde52015-03-20 19:48:54 +000083 case FK_Data_2:
84 return RT64_16;
85 case FK_PCRel_1:
86 case FK_Data_1:
87 return RT64_8;
88 }
89}
90
Rafael Espindola8340f942016-01-13 22:56:57 +000091static void checkIs32(MCContext &Ctx, SMLoc Loc, X86_64RelType Type) {
92 if (Type != RT64_32)
93 Ctx.reportError(Loc,
94 "32 bit reloc applied to a field with a different size");
95}
96
Davide Italianof59b0da2016-04-24 01:03:57 +000097static unsigned getRelocType64(MCContext &Ctx, SMLoc Loc,
Rafael Espindola8340f942016-01-13 22:56:57 +000098 MCSymbolRefExpr::VariantKind Modifier,
Davide Italianof59b0da2016-04-24 01:03:57 +000099 X86_64RelType Type, bool IsPCRel,
Sam Clegg90b6bb72019-08-23 01:00:55 +0000100 MCFixupKind Kind) {
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000101 switch (Modifier) {
102 default:
103 llvm_unreachable("Unimplemented");
104 case MCSymbolRefExpr::VK_None:
Peter Collingbourned763c4c2017-01-31 18:28:44 +0000105 case MCSymbolRefExpr::VK_X86_ABS8:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000106 switch (Type) {
Fangrui Song24632392019-05-17 03:25:39 +0000107 case RT64_NONE:
108 if (Modifier == MCSymbolRefExpr::VK_None)
109 return ELF::R_X86_64_NONE;
110 llvm_unreachable("Unimplemented");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000111 case RT64_64:
112 return IsPCRel ? ELF::R_X86_64_PC64 : ELF::R_X86_64_64;
113 case RT64_32:
114 return IsPCRel ? ELF::R_X86_64_PC32 : ELF::R_X86_64_32;
115 case RT64_32S:
116 return ELF::R_X86_64_32S;
117 case RT64_16:
118 return IsPCRel ? ELF::R_X86_64_PC16 : ELF::R_X86_64_16;
119 case RT64_8:
120 return IsPCRel ? ELF::R_X86_64_PC8 : ELF::R_X86_64_8;
121 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000122 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000123 case MCSymbolRefExpr::VK_GOT:
124 switch (Type) {
125 case RT64_64:
126 return IsPCRel ? ELF::R_X86_64_GOTPC64 : ELF::R_X86_64_GOT64;
127 case RT64_32:
128 return IsPCRel ? ELF::R_X86_64_GOTPC32 : ELF::R_X86_64_GOT32;
129 case RT64_32S:
130 case RT64_16:
131 case RT64_8:
Fangrui Song24632392019-05-17 03:25:39 +0000132 case RT64_NONE:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000133 llvm_unreachable("Unimplemented");
134 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000135 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000136 case MCSymbolRefExpr::VK_GOTOFF:
137 assert(Type == RT64_64);
138 assert(!IsPCRel);
139 return ELF::R_X86_64_GOTOFF64;
140 case MCSymbolRefExpr::VK_TPOFF:
141 assert(!IsPCRel);
142 switch (Type) {
143 case RT64_64:
144 return ELF::R_X86_64_TPOFF64;
145 case RT64_32:
146 return ELF::R_X86_64_TPOFF32;
147 case RT64_32S:
148 case RT64_16:
149 case RT64_8:
Fangrui Song24632392019-05-17 03:25:39 +0000150 case RT64_NONE:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000151 llvm_unreachable("Unimplemented");
152 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000153 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000154 case MCSymbolRefExpr::VK_DTPOFF:
155 assert(!IsPCRel);
156 switch (Type) {
157 case RT64_64:
158 return ELF::R_X86_64_DTPOFF64;
159 case RT64_32:
160 return ELF::R_X86_64_DTPOFF32;
161 case RT64_32S:
162 case RT64_16:
163 case RT64_8:
Fangrui Song24632392019-05-17 03:25:39 +0000164 case RT64_NONE:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000165 llvm_unreachable("Unimplemented");
166 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000167 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000168 case MCSymbolRefExpr::VK_SIZE:
169 assert(!IsPCRel);
170 switch (Type) {
171 case RT64_64:
172 return ELF::R_X86_64_SIZE64;
173 case RT64_32:
174 return ELF::R_X86_64_SIZE32;
175 case RT64_32S:
176 case RT64_16:
177 case RT64_8:
Fangrui Song24632392019-05-17 03:25:39 +0000178 case RT64_NONE:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000179 llvm_unreachable("Unimplemented");
180 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000181 llvm_unreachable("unexpected relocation type!");
Davide Italiano7aa47092016-04-09 20:32:33 +0000182 case MCSymbolRefExpr::VK_TLSCALL:
183 return ELF::R_X86_64_TLSDESC_CALL;
184 case MCSymbolRefExpr::VK_TLSDESC:
185 return ELF::R_X86_64_GOTPC32_TLSDESC;
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000186 case MCSymbolRefExpr::VK_TLSGD:
Rafael Espindola8340f942016-01-13 22:56:57 +0000187 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000188 return ELF::R_X86_64_TLSGD;
189 case MCSymbolRefExpr::VK_GOTTPOFF:
Rafael Espindola8340f942016-01-13 22:56:57 +0000190 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000191 return ELF::R_X86_64_GOTTPOFF;
192 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindola8340f942016-01-13 22:56:57 +0000193 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000194 return ELF::R_X86_64_TLSLD;
195 case MCSymbolRefExpr::VK_PLT:
Rafael Espindola8340f942016-01-13 22:56:57 +0000196 checkIs32(Ctx, Loc, Type);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000197 return ELF::R_X86_64_PLT32;
198 case MCSymbolRefExpr::VK_GOTPCREL:
Rafael Espindola8340f942016-01-13 22:56:57 +0000199 checkIs32(Ctx, Loc, Type);
Davide Italianof59b0da2016-04-24 01:03:57 +0000200 // Older versions of ld.bfd/ld.gold/lld
201 // do not support GOTPCRELX/REX_GOTPCRELX,
202 // and we want to keep back-compatibility.
203 if (!Ctx.getAsmInfo()->canRelaxRelocations())
204 return ELF::R_X86_64_GOTPCREL;
Sam Clegg90b6bb72019-08-23 01:00:55 +0000205 switch (unsigned(Kind)) {
Davide Italianof59b0da2016-04-24 01:03:57 +0000206 default:
207 return ELF::R_X86_64_GOTPCREL;
Rafael Espindola52bd3302016-05-28 15:51:38 +0000208 case X86::reloc_riprel_4byte_relax:
Davide Italianof59b0da2016-04-24 01:03:57 +0000209 return ELF::R_X86_64_GOTPCRELX;
Rafael Espindola52bd3302016-05-28 15:51:38 +0000210 case X86::reloc_riprel_4byte_relax_rex:
Davide Italianof59b0da2016-04-24 01:03:57 +0000211 case X86::reloc_riprel_4byte_movq_load:
212 return ELF::R_X86_64_REX_GOTPCRELX;
213 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000214 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000215 }
216}
217
Fangrui Song24632392019-05-17 03:25:39 +0000218enum X86_32RelType { RT32_NONE, RT32_32, RT32_16, RT32_8 };
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000219
220static X86_32RelType getType32(X86_64RelType T) {
221 switch (T) {
Fangrui Song24632392019-05-17 03:25:39 +0000222 case RT64_NONE:
223 return RT32_NONE;
David Majnemerabd9f5b2015-03-22 21:27:10 +0000224 case RT64_64:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000225 llvm_unreachable("Unimplemented");
226 case RT64_32:
227 case RT64_32S:
228 return RT32_32;
229 case RT64_16:
230 return RT32_16;
231 case RT64_8:
232 return RT32_8;
233 }
David Majnemerabd9f5b2015-03-22 21:27:10 +0000234 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000235}
236
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000237static unsigned getRelocType32(MCContext &Ctx,
238 MCSymbolRefExpr::VariantKind Modifier,
239 X86_32RelType Type, bool IsPCRel,
Sam Clegg90b6bb72019-08-23 01:00:55 +0000240 MCFixupKind Kind) {
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000241 switch (Modifier) {
242 default:
243 llvm_unreachable("Unimplemented");
244 case MCSymbolRefExpr::VK_None:
Peter Collingbourned763c4c2017-01-31 18:28:44 +0000245 case MCSymbolRefExpr::VK_X86_ABS8:
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000246 switch (Type) {
Fangrui Song24632392019-05-17 03:25:39 +0000247 case RT32_NONE:
248 if (Modifier == MCSymbolRefExpr::VK_None)
249 return ELF::R_386_NONE;
250 llvm_unreachable("Unimplemented");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000251 case RT32_32:
252 return IsPCRel ? ELF::R_386_PC32 : ELF::R_386_32;
253 case RT32_16:
254 return IsPCRel ? ELF::R_386_PC16 : ELF::R_386_16;
255 case RT32_8:
256 return IsPCRel ? ELF::R_386_PC8 : ELF::R_386_8;
257 }
Jonas Hahnfeldc64d73c2019-03-13 10:38:17 +0000258 llvm_unreachable("unexpected relocation type!");
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000259 case MCSymbolRefExpr::VK_GOT:
260 assert(Type == RT32_32);
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000261 if (IsPCRel)
262 return ELF::R_386_GOTPC;
263 // Older versions of ld.bfd/ld.gold/lld do not support R_386_GOT32X and we
264 // want to maintain compatibility.
265 if (!Ctx.getAsmInfo()->canRelaxRelocations())
266 return ELF::R_386_GOT32;
267
Sam Clegg90b6bb72019-08-23 01:00:55 +0000268 return Kind == MCFixupKind(X86::reloc_signed_4byte_relax)
269 ? ELF::R_386_GOT32X
270 : ELF::R_386_GOT32;
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000271 case MCSymbolRefExpr::VK_GOTOFF:
272 assert(Type == RT32_32);
273 assert(!IsPCRel);
274 return ELF::R_386_GOTOFF;
Fangrui Song656afe32019-05-29 02:02:59 +0000275 case MCSymbolRefExpr::VK_TLSCALL:
276 return ELF::R_386_TLS_DESC_CALL;
277 case MCSymbolRefExpr::VK_TLSDESC:
278 return ELF::R_386_TLS_GOTDESC;
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000279 case MCSymbolRefExpr::VK_TPOFF:
280 assert(Type == RT32_32);
281 assert(!IsPCRel);
282 return ELF::R_386_TLS_LE_32;
283 case MCSymbolRefExpr::VK_DTPOFF:
284 assert(Type == RT32_32);
285 assert(!IsPCRel);
286 return ELF::R_386_TLS_LDO_32;
287 case MCSymbolRefExpr::VK_TLSGD:
288 assert(Type == RT32_32);
289 assert(!IsPCRel);
290 return ELF::R_386_TLS_GD;
291 case MCSymbolRefExpr::VK_GOTTPOFF:
292 assert(Type == RT32_32);
293 assert(!IsPCRel);
294 return ELF::R_386_TLS_IE_32;
295 case MCSymbolRefExpr::VK_PLT:
296 assert(Type == RT32_32);
297 return ELF::R_386_PLT32;
298 case MCSymbolRefExpr::VK_INDNTPOFF:
299 assert(Type == RT32_32);
300 assert(!IsPCRel);
301 return ELF::R_386_TLS_IE;
302 case MCSymbolRefExpr::VK_NTPOFF:
303 assert(Type == RT32_32);
304 assert(!IsPCRel);
305 return ELF::R_386_TLS_LE;
306 case MCSymbolRefExpr::VK_GOTNTPOFF:
307 assert(Type == RT32_32);
308 assert(!IsPCRel);
309 return ELF::R_386_TLS_GOTIE;
310 case MCSymbolRefExpr::VK_TLSLDM:
311 assert(Type == RT32_32);
312 assert(!IsPCRel);
313 return ELF::R_386_TLS_LDM;
314 }
315}
316
Rafael Espindola8340f942016-01-13 22:56:57 +0000317unsigned X86ELFObjectWriter::getRelocType(MCContext &Ctx, const MCValue &Target,
Rafael Espindolab264d332011-12-21 17:30:17 +0000318 const MCFixup &Fixup,
Rafael Espindolac03f44c2014-03-27 20:49:35 +0000319 bool IsPCRel) const {
Rafael Espindola3d082fa2014-05-03 19:57:04 +0000320 MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
Sam Clegg90b6bb72019-08-23 01:00:55 +0000321 MCFixupKind Kind = Fixup.getKind();
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000322 X86_64RelType Type = getType64(Kind, Modifier, IsPCRel);
Rafael Espindolabdfbde52015-03-20 19:48:54 +0000323 if (getEMachine() == ELF::EM_X86_64)
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000324 return getRelocType64(Ctx, Fixup.getLoc(), Modifier, Type, IsPCRel, Kind);
Rafael Espindolab264d332011-12-21 17:30:17 +0000325
Michael Kupersteina3b79dd2015-11-04 11:21:50 +0000326 assert((getEMachine() == ELF::EM_386 || getEMachine() == ELF::EM_IAMCU) &&
327 "Unsupported ELF machine type.");
Rafael Espindolaa29971f2016-07-06 21:19:11 +0000328 return getRelocType32(Ctx, Modifier, getType32(Type), IsPCRel, Kind);
Rafael Espindolab264d332011-12-21 17:30:17 +0000329}
330
Peter Collingbournedcd7d6c2018-05-21 19:20:29 +0000331std::unique_ptr<MCObjectTargetWriter>
332llvm::createX86ELFObjectWriter(bool IsELF64, uint8_t OSABI, uint16_t EMachine) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000333 return std::make_unique<X86ELFObjectWriter>(IsELF64, OSABI, EMachine);
Rafael Espindolab264d332011-12-21 17:30:17 +0000334}