blob: 69e84a18a38304d40c894af1b17e57aa1918b8fe [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:
61 Type = ELF::R_PPC_REL24;
62 break;
Ulrich Weigand72a7dc02013-04-26 15:38:30 +000063 case PPC::fixup_ppc_brcond14:
64 Type = ELF::R_PPC_REL14;
65 break;
Ulrich Weigand91add7d2013-06-21 14:44:37 +000066 case PPC::fixup_ppc_half16:
67 switch (Modifier) {
68 default: llvm_unreachable("Unsupported Modifier");
69 case MCSymbolRefExpr::VK_None:
70 Type = ELF::R_PPC_REL16;
71 break;
72 case MCSymbolRefExpr::VK_PPC_LO:
73 Type = ELF::R_PPC_REL16_LO;
74 break;
75 case MCSymbolRefExpr::VK_PPC_HI:
76 Type = ELF::R_PPC_REL16_HI;
77 break;
78 case MCSymbolRefExpr::VK_PPC_HA:
79 Type = ELF::R_PPC_REL16_HA;
80 break;
81 }
82 break;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +000083 case FK_Data_4:
Rafael Espindola38a400d2011-12-22 01:57:09 +000084 case FK_PCRel_4:
85 Type = ELF::R_PPC_REL32;
86 break;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +000087 case FK_Data_8:
88 case FK_PCRel_8:
89 Type = ELF::R_PPC64_REL64;
90 break;
Rafael Espindola38a400d2011-12-22 01:57:09 +000091 }
92 } else {
93 switch ((unsigned)Fixup.getKind()) {
94 default: llvm_unreachable("invalid fixup kind!");
95 case PPC::fixup_ppc_br24:
96 Type = ELF::R_PPC_ADDR24;
97 break;
98 case PPC::fixup_ppc_brcond14:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000099 Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
Rafael Espindola38a400d2011-12-22 01:57:09 +0000100 break;
Ulrich Weigand6e23ac62013-05-17 12:37:21 +0000101 case PPC::fixup_ppc_half16:
Ulrich Weigand85578502012-11-13 19:24:36 +0000102 switch (Modifier) {
103 default: llvm_unreachable("Unsupported Modifier");
Ulrich Weigand85578502012-11-13 19:24:36 +0000104 case MCSymbolRefExpr::VK_None:
Ulrich Weigande4620532013-05-08 17:50:07 +0000105 Type = ELF::R_PPC_ADDR16;
106 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000107 case MCSymbolRefExpr::VK_PPC_LO:
Ulrich Weigand85578502012-11-13 19:24:36 +0000108 Type = ELF::R_PPC_ADDR16_LO;
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000109 break;
Ulrich Weigande67c5652013-06-21 14:42:49 +0000110 case MCSymbolRefExpr::VK_PPC_HI:
111 Type = ELF::R_PPC_ADDR16_HI;
112 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000113 case MCSymbolRefExpr::VK_PPC_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000114 Type = ELF::R_PPC_ADDR16_HA;
115 break;
Ulrich Weigande9126f52013-06-21 14:43:42 +0000116 case MCSymbolRefExpr::VK_PPC_HIGHER:
117 Type = ELF::R_PPC64_ADDR16_HIGHER;
118 break;
119 case MCSymbolRefExpr::VK_PPC_HIGHERA:
120 Type = ELF::R_PPC64_ADDR16_HIGHERA;
121 break;
122 case MCSymbolRefExpr::VK_PPC_HIGHEST:
123 Type = ELF::R_PPC64_ADDR16_HIGHEST;
124 break;
125 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
126 Type = ELF::R_PPC64_ADDR16_HIGHESTA;
127 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000128 case MCSymbolRefExpr::VK_PPC_TOC:
Ulrich Weigand3e186012013-03-26 10:56:47 +0000129 Type = ELF::R_PPC64_TOC16;
130 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000131 case MCSymbolRefExpr::VK_PPC_TOC_LO:
Bill Schmidt34627e32012-11-27 17:35:46 +0000132 Type = ELF::R_PPC64_TOC16_LO;
133 break;
Ulrich Weigand72ddbd62013-06-21 14:43:10 +0000134 case MCSymbolRefExpr::VK_PPC_TOC_HI:
135 Type = ELF::R_PPC64_TOC16_HI;
136 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000137 case MCSymbolRefExpr::VK_PPC_TOC_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000138 Type = ELF::R_PPC64_TOC16_HA;
139 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000140 case MCSymbolRefExpr::VK_PPC_TPREL:
141 Type = ELF::R_PPC_TPREL16;
142 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000143 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000144 Type = ELF::R_PPC_TPREL16_LO;
145 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000146 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
147 Type = ELF::R_PPC_TPREL16_HI;
148 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000149 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000150 Type = ELF::R_PPC_TPREL16_HA;
151 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000152 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
153 Type = ELF::R_PPC64_TPREL16_HIGHER;
154 break;
155 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
156 Type = ELF::R_PPC64_TPREL16_HIGHERA;
157 break;
158 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
159 Type = ELF::R_PPC64_TPREL16_HIGHEST;
160 break;
161 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
162 Type = ELF::R_PPC64_TPREL16_HIGHESTA;
163 break;
164 case MCSymbolRefExpr::VK_PPC_DTPREL:
165 Type = ELF::R_PPC64_DTPREL16;
166 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000167 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000168 Type = ELF::R_PPC64_DTPREL16_LO;
169 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000170 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
171 Type = ELF::R_PPC64_DTPREL16_HI;
172 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000173 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000174 Type = ELF::R_PPC64_DTPREL16_HA;
175 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000176 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
177 Type = ELF::R_PPC64_DTPREL16_HIGHER;
178 break;
179 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
180 Type = ELF::R_PPC64_DTPREL16_HIGHERA;
181 break;
182 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
183 Type = ELF::R_PPC64_DTPREL16_HIGHEST;
184 break;
185 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
186 Type = ELF::R_PPC64_DTPREL16_HIGHESTA;
187 break;
188 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
189 Type = ELF::R_PPC64_GOT_TLSGD16;
190 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000191 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000192 Type = ELF::R_PPC64_GOT_TLSGD16_LO;
193 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000194 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
195 Type = ELF::R_PPC64_GOT_TLSGD16_HI;
196 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000197 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000198 Type = ELF::R_PPC64_GOT_TLSGD16_HA;
199 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000200 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
201 Type = ELF::R_PPC64_GOT_TLSLD16;
202 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000203 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000204 Type = ELF::R_PPC64_GOT_TLSLD16_LO;
205 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000206 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
207 Type = ELF::R_PPC64_GOT_TLSLD16_HI;
208 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000209 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000210 Type = ELF::R_PPC64_GOT_TLSLD16_HA;
211 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000212 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
213 Type = ELF::R_PPC64_GOT_TPREL16_HI;
214 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000215 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand9e90b3c2013-06-20 22:04:40 +0000216 Type = ELF::R_PPC64_GOT_TPREL16_HA;
217 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000218 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
219 Type = ELF::R_PPC64_GOT_DTPREL16_HI;
220 break;
221 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
222 Type = ELF::R_PPC64_GOT_DTPREL16_HA;
223 break;
Ulrich Weigand85578502012-11-13 19:24:36 +0000224 }
Rafael Espindola38a400d2011-12-22 01:57:09 +0000225 break;
Ulrich Weigand6e23ac62013-05-17 12:37:21 +0000226 case PPC::fixup_ppc_half16ds:
Bill Schmidt3822ef22013-02-21 00:05:29 +0000227 switch (Modifier) {
228 default: llvm_unreachable("Unsupported Modifier");
Bill Schmidt3822ef22013-02-21 00:05:29 +0000229 case MCSymbolRefExpr::VK_None:
Ulrich Weigand3e186012013-03-26 10:56:47 +0000230 Type = ELF::R_PPC64_ADDR16_DS;
Bill Schmidt3822ef22013-02-21 00:05:29 +0000231 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000232 case MCSymbolRefExpr::VK_PPC_LO:
Ulrich Weigande4620532013-05-08 17:50:07 +0000233 Type = ELF::R_PPC64_ADDR16_LO_DS;
234 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000235 case MCSymbolRefExpr::VK_PPC_TOC:
Bill Schmidt34627e32012-11-27 17:35:46 +0000236 Type = ELF::R_PPC64_TOC16_DS;
237 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000238 case MCSymbolRefExpr::VK_PPC_TOC_LO:
Bill Schmidt34627e32012-11-27 17:35:46 +0000239 Type = ELF::R_PPC64_TOC16_LO_DS;
240 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000241 case MCSymbolRefExpr::VK_PPC_TPREL:
242 Type = ELF::R_PPC64_TPREL16_DS;
243 break;
244 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
245 Type = ELF::R_PPC64_TPREL16_LO_DS;
246 break;
247 case MCSymbolRefExpr::VK_PPC_DTPREL:
248 Type = ELF::R_PPC64_DTPREL16_DS;
249 break;
250 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
251 Type = ELF::R_PPC64_DTPREL16_LO_DS;
252 break;
253 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
254 Type = ELF::R_PPC64_GOT_TPREL16_DS;
255 break;
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000256 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Bill Schmidt9f0b4ec2012-12-14 17:02:38 +0000257 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
Bill Schmidtca4a0c92012-12-04 16:18:08 +0000258 break;
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000259 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
260 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
261 break;
262 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
263 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
264 break;
Bill Schmidt34627e32012-11-27 17:35:46 +0000265 }
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000266 break;
Bill Schmidtca4a0c92012-12-04 16:18:08 +0000267 case PPC::fixup_ppc_tlsreg:
268 Type = ELF::R_PPC64_TLS;
269 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000270 case PPC::fixup_ppc_nofixup:
271 switch (Modifier) {
272 default: llvm_unreachable("Unsupported Modifier");
273 case MCSymbolRefExpr::VK_PPC_TLSGD:
274 Type = ELF::R_PPC64_TLSGD;
275 break;
276 case MCSymbolRefExpr::VK_PPC_TLSLD:
277 Type = ELF::R_PPC64_TLSLD;
278 break;
279 }
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000280 break;
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000281 case FK_Data_8:
282 switch (Modifier) {
283 default: llvm_unreachable("Unsupported Modifier");
Ulrich Weigand68e2e1b2013-06-20 22:39:42 +0000284 case MCSymbolRefExpr::VK_PPC_TOCBASE:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000285 Type = ELF::R_PPC64_TOC;
286 break;
287 case MCSymbolRefExpr::VK_None:
288 Type = ELF::R_PPC64_ADDR64;
289 break;
290 }
291 break;
Rafael Espindola38a400d2011-12-22 01:57:09 +0000292 case FK_Data_4:
293 Type = ELF::R_PPC_ADDR32;
294 break;
295 case FK_Data_2:
296 Type = ELF::R_PPC_ADDR16;
297 break;
298 }
299 }
300 return Type;
301}
302
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000303unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
304 const MCFixup &Fixup,
305 bool IsPCRel,
306 bool IsRelocWithSymbol,
307 int64_t Addend) const {
308 return getRelocTypeInner(Target, Fixup, IsPCRel);
309}
310
311const MCSymbol *PPCELFObjectWriter::undefinedExplicitRelSym(const MCValue &Target,
312 const MCFixup &Fixup,
313 bool IsPCRel) const {
314 assert(Target.getSymA() && "SymA cannot be 0");
315 const MCSymbol &Symbol = Target.getSymA()->getSymbol().AliasedSymbol();
316
317 unsigned RelocType = getRelocTypeInner(Target, Fixup, IsPCRel);
318
319 // The .odp creation emits a relocation against the symbol ".TOC." which
320 // create a R_PPC64_TOC relocation. However the relocation symbol name
321 // in final object creation should be NULL, since the symbol does not
322 // really exist, it is just the reference to TOC base for the current
323 // object file.
324 bool EmitThisSym = RelocType != ELF::R_PPC64_TOC;
325
326 if (EmitThisSym && !Symbol.isTemporary())
327 return &Symbol;
328 return NULL;
329}
330
Rafael Espindola38a400d2011-12-22 01:57:09 +0000331MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
332 bool Is64Bit,
333 uint8_t OSABI) {
334 MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
Rafael Espindola25009622011-12-22 18:38:06 +0000335 return createELFObjectWriter(MOTW, OS, /*IsLittleEndian=*/false);
Rafael Espindola38a400d2011-12-22 01:57:09 +0000336}