blob: c2bf25166991b908957829e8022e591ba3ab95da [file] [log] [blame]
Rafael Espindola38a400d2011-12-22 01:57:09 +00001//===-- PPCELFObjectWriter.cpp - PPC ELF Writer ---------------------------===//
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
Rafael Espindola38a400d2011-12-22 01:57:09 +000010#include "MCTargetDesc/PPCMCTargetDesc.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000011#include "MCTargetDesc/PPCFixupKinds.h"
Bill Schmidta4f89842012-12-14 20:28:38 +000012#include "llvm/ADT/STLExtras.h"
Rafael Espindola38a400d2011-12-22 01:57:09 +000013#include "llvm/MC/MCELFObjectWriter.h"
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000014#include "llvm/MC/MCExpr.h"
15#include "llvm/MC/MCValue.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "llvm/Support/ErrorHandling.h"
Rafael Espindola38a400d2011-12-22 01:57:09 +000017
18using namespace llvm;
19
20namespace {
21 class PPCELFObjectWriter : public MCELFObjectTargetWriter {
22 public:
23 PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI);
24
25 virtual ~PPCELFObjectWriter();
26 protected:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000027 virtual unsigned getRelocTypeInner(const MCValue &Target,
28 const MCFixup &Fixup,
29 bool IsPCRel) const;
Rafael Espindola38a400d2011-12-22 01:57:09 +000030 virtual unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup,
31 bool IsPCRel, bool IsRelocWithSymbol,
32 int64_t Addend) const;
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000033 virtual const MCSymbol *undefinedExplicitRelSym(const MCValue &Target,
34 const MCFixup &Fixup,
35 bool IsPCRel) const;
Rafael Espindola38a400d2011-12-22 01:57:09 +000036 };
37}
38
39PPCELFObjectWriter::PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI)
40 : MCELFObjectTargetWriter(Is64Bit, OSABI,
41 Is64Bit ? ELF::EM_PPC64 : ELF::EM_PPC,
Rafael Espindola25009622011-12-22 18:38:06 +000042 /*HasRelocationAddend*/ true) {}
Rafael Espindola38a400d2011-12-22 01:57:09 +000043
44PPCELFObjectWriter::~PPCELFObjectWriter() {
45}
46
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000047unsigned PPCELFObjectWriter::getRelocTypeInner(const MCValue &Target,
48 const MCFixup &Fixup,
49 bool IsPCRel) const
50{
51 MCSymbolRefExpr::VariantKind Modifier = Target.isAbsolute() ?
52 MCSymbolRefExpr::VK_None : Target.getSymA()->getKind();
53
Rafael Espindola38a400d2011-12-22 01:57:09 +000054 // determine the type of the relocation
55 unsigned Type;
56 if (IsPCRel) {
57 switch ((unsigned)Fixup.getKind()) {
58 default:
59 llvm_unreachable("Unimplemented");
60 case PPC::fixup_ppc_br24:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000061 case PPC::fixup_ppc_br24abs:
Rafael Espindola38a400d2011-12-22 01:57:09 +000062 Type = ELF::R_PPC_REL24;
63 break;
Ulrich Weigand72a7dc02013-04-26 15:38:30 +000064 case PPC::fixup_ppc_brcond14:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000065 case PPC::fixup_ppc_brcond14abs:
Ulrich Weigand72a7dc02013-04-26 15:38:30 +000066 Type = ELF::R_PPC_REL14;
67 break;
Ulrich Weigand91add7d2013-06-21 14:44:37 +000068 case PPC::fixup_ppc_half16:
69 switch (Modifier) {
70 default: llvm_unreachable("Unsupported Modifier");
71 case MCSymbolRefExpr::VK_None:
72 Type = ELF::R_PPC_REL16;
73 break;
74 case MCSymbolRefExpr::VK_PPC_LO:
75 Type = ELF::R_PPC_REL16_LO;
76 break;
77 case MCSymbolRefExpr::VK_PPC_HI:
78 Type = ELF::R_PPC_REL16_HI;
79 break;
80 case MCSymbolRefExpr::VK_PPC_HA:
81 Type = ELF::R_PPC_REL16_HA;
82 break;
83 }
84 break;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +000085 case FK_Data_4:
Rafael Espindola38a400d2011-12-22 01:57:09 +000086 case FK_PCRel_4:
87 Type = ELF::R_PPC_REL32;
88 break;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +000089 case FK_Data_8:
90 case FK_PCRel_8:
91 Type = ELF::R_PPC64_REL64;
92 break;
Rafael Espindola38a400d2011-12-22 01:57:09 +000093 }
94 } else {
95 switch ((unsigned)Fixup.getKind()) {
96 default: llvm_unreachable("invalid fixup kind!");
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000097 case PPC::fixup_ppc_br24abs:
Rafael Espindola38a400d2011-12-22 01:57:09 +000098 Type = ELF::R_PPC_ADDR24;
99 break;
Ulrich Weigandb6a30d12013-06-24 11:03:33 +0000100 case PPC::fixup_ppc_brcond14abs:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000101 Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
Rafael Espindola38a400d2011-12-22 01:57:09 +0000102 break;
Ulrich Weigand6e23ac62013-05-17 12:37:21 +0000103 case PPC::fixup_ppc_half16:
Ulrich Weigand85578502012-11-13 19:24:36 +0000104 switch (Modifier) {
105 default: llvm_unreachable("Unsupported Modifier");
Ulrich Weigand85578502012-11-13 19:24:36 +0000106 case MCSymbolRefExpr::VK_None:
Ulrich Weigande4620532013-05-08 17:50:07 +0000107 Type = ELF::R_PPC_ADDR16;
108 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000109 case MCSymbolRefExpr::VK_PPC_LO:
Ulrich Weigand85578502012-11-13 19:24:36 +0000110 Type = ELF::R_PPC_ADDR16_LO;
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000111 break;
Ulrich Weigande67c5652013-06-21 14:42:49 +0000112 case MCSymbolRefExpr::VK_PPC_HI:
113 Type = ELF::R_PPC_ADDR16_HI;
114 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000115 case MCSymbolRefExpr::VK_PPC_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000116 Type = ELF::R_PPC_ADDR16_HA;
117 break;
Ulrich Weigande9126f52013-06-21 14:43:42 +0000118 case MCSymbolRefExpr::VK_PPC_HIGHER:
119 Type = ELF::R_PPC64_ADDR16_HIGHER;
120 break;
121 case MCSymbolRefExpr::VK_PPC_HIGHERA:
122 Type = ELF::R_PPC64_ADDR16_HIGHERA;
123 break;
124 case MCSymbolRefExpr::VK_PPC_HIGHEST:
125 Type = ELF::R_PPC64_ADDR16_HIGHEST;
126 break;
127 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
128 Type = ELF::R_PPC64_ADDR16_HIGHESTA;
129 break;
Ulrich Weigand93372b42013-06-25 16:49:50 +0000130 case MCSymbolRefExpr::VK_GOT:
131 Type = ELF::R_PPC_GOT16;
132 break;
133 case MCSymbolRefExpr::VK_PPC_GOT_LO:
134 Type = ELF::R_PPC_GOT16_LO;
135 break;
136 case MCSymbolRefExpr::VK_PPC_GOT_HI:
137 Type = ELF::R_PPC_GOT16_HI;
138 break;
139 case MCSymbolRefExpr::VK_PPC_GOT_HA:
140 Type = ELF::R_PPC_GOT16_HA;
141 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000142 case MCSymbolRefExpr::VK_PPC_TOC:
Ulrich Weigand3e186012013-03-26 10:56:47 +0000143 Type = ELF::R_PPC64_TOC16;
144 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000145 case MCSymbolRefExpr::VK_PPC_TOC_LO:
Bill Schmidt34627e32012-11-27 17:35:46 +0000146 Type = ELF::R_PPC64_TOC16_LO;
147 break;
Ulrich Weigand72ddbd62013-06-21 14:43:10 +0000148 case MCSymbolRefExpr::VK_PPC_TOC_HI:
149 Type = ELF::R_PPC64_TOC16_HI;
150 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000151 case MCSymbolRefExpr::VK_PPC_TOC_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000152 Type = ELF::R_PPC64_TOC16_HA;
153 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000154 case MCSymbolRefExpr::VK_PPC_TPREL:
155 Type = ELF::R_PPC_TPREL16;
156 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000157 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000158 Type = ELF::R_PPC_TPREL16_LO;
159 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000160 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
161 Type = ELF::R_PPC_TPREL16_HI;
162 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000163 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000164 Type = ELF::R_PPC_TPREL16_HA;
165 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000166 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
167 Type = ELF::R_PPC64_TPREL16_HIGHER;
168 break;
169 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
170 Type = ELF::R_PPC64_TPREL16_HIGHERA;
171 break;
172 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
173 Type = ELF::R_PPC64_TPREL16_HIGHEST;
174 break;
175 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
176 Type = ELF::R_PPC64_TPREL16_HIGHESTA;
177 break;
178 case MCSymbolRefExpr::VK_PPC_DTPREL:
179 Type = ELF::R_PPC64_DTPREL16;
180 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000181 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000182 Type = ELF::R_PPC64_DTPREL16_LO;
183 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000184 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
185 Type = ELF::R_PPC64_DTPREL16_HI;
186 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000187 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000188 Type = ELF::R_PPC64_DTPREL16_HA;
189 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000190 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
191 Type = ELF::R_PPC64_DTPREL16_HIGHER;
192 break;
193 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
194 Type = ELF::R_PPC64_DTPREL16_HIGHERA;
195 break;
196 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
197 Type = ELF::R_PPC64_DTPREL16_HIGHEST;
198 break;
199 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
200 Type = ELF::R_PPC64_DTPREL16_HIGHESTA;
201 break;
202 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
203 Type = ELF::R_PPC64_GOT_TLSGD16;
204 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000205 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000206 Type = ELF::R_PPC64_GOT_TLSGD16_LO;
207 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000208 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
209 Type = ELF::R_PPC64_GOT_TLSGD16_HI;
210 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000211 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000212 Type = ELF::R_PPC64_GOT_TLSGD16_HA;
213 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000214 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
215 Type = ELF::R_PPC64_GOT_TLSLD16;
216 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000217 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000218 Type = ELF::R_PPC64_GOT_TLSLD16_LO;
219 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000220 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
221 Type = ELF::R_PPC64_GOT_TLSLD16_HI;
222 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000223 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000224 Type = ELF::R_PPC64_GOT_TLSLD16_HA;
225 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000226 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
227 Type = ELF::R_PPC64_GOT_TPREL16_HI;
228 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000229 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000230 Type = ELF::R_PPC64_GOT_TPREL16_HA;
231 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000232 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
233 Type = ELF::R_PPC64_GOT_DTPREL16_HI;
234 break;
235 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
236 Type = ELF::R_PPC64_GOT_DTPREL16_HA;
237 break;
Ulrich Weigand85578502012-11-13 19:24:36 +0000238 }
Rafael Espindola38a400d2011-12-22 01:57:09 +0000239 break;
Ulrich Weigand6e23ac62013-05-17 12:37:21 +0000240 case PPC::fixup_ppc_half16ds:
Bill Schmidt3822ef22013-02-21 00:05:29 +0000241 switch (Modifier) {
242 default: llvm_unreachable("Unsupported Modifier");
Bill Schmidt3822ef22013-02-21 00:05:29 +0000243 case MCSymbolRefExpr::VK_None:
Ulrich Weigand3e186012013-03-26 10:56:47 +0000244 Type = ELF::R_PPC64_ADDR16_DS;
Bill Schmidt3822ef22013-02-21 00:05:29 +0000245 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000246 case MCSymbolRefExpr::VK_PPC_LO:
Ulrich Weigande4620532013-05-08 17:50:07 +0000247 Type = ELF::R_PPC64_ADDR16_LO_DS;
248 break;
Ulrich Weigand93372b42013-06-25 16:49:50 +0000249 case MCSymbolRefExpr::VK_GOT:
250 Type = ELF::R_PPC64_GOT16_DS;
251 break;
252 case MCSymbolRefExpr::VK_PPC_GOT_LO:
253 Type = ELF::R_PPC64_GOT16_LO_DS;
254 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000255 case MCSymbolRefExpr::VK_PPC_TOC:
Bill Schmidt34627e32012-11-27 17:35:46 +0000256 Type = ELF::R_PPC64_TOC16_DS;
257 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000258 case MCSymbolRefExpr::VK_PPC_TOC_LO:
Bill Schmidt34627e32012-11-27 17:35:46 +0000259 Type = ELF::R_PPC64_TOC16_LO_DS;
260 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000261 case MCSymbolRefExpr::VK_PPC_TPREL:
262 Type = ELF::R_PPC64_TPREL16_DS;
263 break;
264 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
265 Type = ELF::R_PPC64_TPREL16_LO_DS;
266 break;
267 case MCSymbolRefExpr::VK_PPC_DTPREL:
268 Type = ELF::R_PPC64_DTPREL16_DS;
269 break;
270 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
271 Type = ELF::R_PPC64_DTPREL16_LO_DS;
272 break;
273 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
274 Type = ELF::R_PPC64_GOT_TPREL16_DS;
275 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000276 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Bill Schmidt9f0b4ec2012-12-14 17:02:38 +0000277 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
Bill Schmidtca4a0c92012-12-04 16:18:08 +0000278 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000279 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
280 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
281 break;
282 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
283 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
284 break;
Bill Schmidt34627e32012-11-27 17:35:46 +0000285 }
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000286 break;
Bill Schmidtca4a0c92012-12-04 16:18:08 +0000287 case PPC::fixup_ppc_tlsreg:
288 Type = ELF::R_PPC64_TLS;
289 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000290 case PPC::fixup_ppc_nofixup:
291 switch (Modifier) {
292 default: llvm_unreachable("Unsupported Modifier");
293 case MCSymbolRefExpr::VK_PPC_TLSGD:
294 Type = ELF::R_PPC64_TLSGD;
295 break;
296 case MCSymbolRefExpr::VK_PPC_TLSLD:
297 Type = ELF::R_PPC64_TLSLD;
298 break;
299 }
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000300 break;
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000301 case FK_Data_8:
302 switch (Modifier) {
303 default: llvm_unreachable("Unsupported Modifier");
Ulrich Weigand68e2e1b2013-06-20 22:39:42 +0000304 case MCSymbolRefExpr::VK_PPC_TOCBASE:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000305 Type = ELF::R_PPC64_TOC;
306 break;
307 case MCSymbolRefExpr::VK_None:
308 Type = ELF::R_PPC64_ADDR64;
309 break;
310 }
311 break;
Rafael Espindola38a400d2011-12-22 01:57:09 +0000312 case FK_Data_4:
313 Type = ELF::R_PPC_ADDR32;
314 break;
315 case FK_Data_2:
316 Type = ELF::R_PPC_ADDR16;
317 break;
318 }
319 }
320 return Type;
321}
322
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000323unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
324 const MCFixup &Fixup,
325 bool IsPCRel,
326 bool IsRelocWithSymbol,
327 int64_t Addend) const {
328 return getRelocTypeInner(Target, Fixup, IsPCRel);
329}
330
331const MCSymbol *PPCELFObjectWriter::undefinedExplicitRelSym(const MCValue &Target,
332 const MCFixup &Fixup,
333 bool IsPCRel) const {
334 assert(Target.getSymA() && "SymA cannot be 0");
335 const MCSymbol &Symbol = Target.getSymA()->getSymbol().AliasedSymbol();
336
337 unsigned RelocType = getRelocTypeInner(Target, Fixup, IsPCRel);
338
339 // The .odp creation emits a relocation against the symbol ".TOC." which
340 // create a R_PPC64_TOC relocation. However the relocation symbol name
341 // in final object creation should be NULL, since the symbol does not
342 // really exist, it is just the reference to TOC base for the current
343 // object file.
344 bool EmitThisSym = RelocType != ELF::R_PPC64_TOC;
345
346 if (EmitThisSym && !Symbol.isTemporary())
347 return &Symbol;
348 return NULL;
349}
350
Rafael Espindola38a400d2011-12-22 01:57:09 +0000351MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
352 bool Is64Bit,
353 uint8_t OSABI) {
354 MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
Rafael Espindola25009622011-12-22 18:38:06 +0000355 return createELFObjectWriter(MOTW, OS, /*IsLittleEndian=*/false);
Rafael Espindola38a400d2011-12-22 01:57:09 +0000356}