1 //===-- PPCELFObjectWriter.cpp - PPC ELF Writer ---------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "MCTargetDesc/PPCMCTargetDesc.h"
11 #include "MCTargetDesc/PPCFixupKinds.h"
12 #include "MCTargetDesc/PPCMCExpr.h"
13 #include "llvm/ADT/STLExtras.h"
14 #include "llvm/MC/MCELFObjectWriter.h"
15 #include "llvm/MC/MCExpr.h"
16 #include "llvm/MC/MCValue.h"
17 #include "llvm/Support/ErrorHandling.h"
22 class PPCELFObjectWriter : public MCELFObjectTargetWriter {
24 PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI);
26 virtual ~PPCELFObjectWriter();
28 virtual unsigned getRelocTypeInner(const MCValue &Target,
31 unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup,
32 bool IsPCRel) const override;
33 virtual const MCSymbol *ExplicitRelSym(const MCAssembler &Asm,
34 const MCValue &Target,
38 virtual const MCSymbol *undefinedExplicitRelSym(const MCValue &Target,
44 PPCELFObjectWriter::PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI)
45 : MCELFObjectTargetWriter(Is64Bit, OSABI,
46 Is64Bit ? ELF::EM_PPC64 : ELF::EM_PPC,
47 /*HasRelocationAddend*/ true) {}
49 PPCELFObjectWriter::~PPCELFObjectWriter() {
52 static MCSymbolRefExpr::VariantKind getAccessVariant(const MCFixup &Fixup) {
53 const MCExpr *Expr = Fixup.getValue();
55 if (Expr->getKind() != MCExpr::Target)
56 return Fixup.getAccessVariant();
58 switch (cast<PPCMCExpr>(Expr)->getKind()) {
59 case PPCMCExpr::VK_PPC_None:
60 return MCSymbolRefExpr::VK_None;
61 case PPCMCExpr::VK_PPC_LO:
62 return MCSymbolRefExpr::VK_PPC_LO;
63 case PPCMCExpr::VK_PPC_HI:
64 return MCSymbolRefExpr::VK_PPC_HI;
65 case PPCMCExpr::VK_PPC_HA:
66 return MCSymbolRefExpr::VK_PPC_HA;
67 case PPCMCExpr::VK_PPC_HIGHERA:
68 return MCSymbolRefExpr::VK_PPC_HIGHERA;
69 case PPCMCExpr::VK_PPC_HIGHER:
70 return MCSymbolRefExpr::VK_PPC_HIGHER;
71 case PPCMCExpr::VK_PPC_HIGHEST:
72 return MCSymbolRefExpr::VK_PPC_HIGHEST;
73 case PPCMCExpr::VK_PPC_HIGHESTA:
74 return MCSymbolRefExpr::VK_PPC_HIGHESTA;
76 llvm_unreachable("unknown PPCMCExpr kind");
79 unsigned PPCELFObjectWriter::getRelocTypeInner(const MCValue &Target,
83 MCSymbolRefExpr::VariantKind Modifier = getAccessVariant(Fixup);
85 // determine the type of the relocation
88 switch ((unsigned)Fixup.getKind()) {
90 llvm_unreachable("Unimplemented");
91 case PPC::fixup_ppc_br24:
92 case PPC::fixup_ppc_br24abs:
93 Type = ELF::R_PPC_REL24;
95 case PPC::fixup_ppc_brcond14:
96 case PPC::fixup_ppc_brcond14abs:
97 Type = ELF::R_PPC_REL14;
99 case PPC::fixup_ppc_half16:
101 default: llvm_unreachable("Unsupported Modifier");
102 case MCSymbolRefExpr::VK_None:
103 Type = ELF::R_PPC_REL16;
105 case MCSymbolRefExpr::VK_PPC_LO:
106 Type = ELF::R_PPC_REL16_LO;
108 case MCSymbolRefExpr::VK_PPC_HI:
109 Type = ELF::R_PPC_REL16_HI;
111 case MCSymbolRefExpr::VK_PPC_HA:
112 Type = ELF::R_PPC_REL16_HA;
118 Type = ELF::R_PPC_REL32;
122 Type = ELF::R_PPC64_REL64;
126 switch ((unsigned)Fixup.getKind()) {
127 default: llvm_unreachable("invalid fixup kind!");
128 case PPC::fixup_ppc_br24abs:
129 Type = ELF::R_PPC_ADDR24;
131 case PPC::fixup_ppc_brcond14abs:
132 Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
134 case PPC::fixup_ppc_half16:
136 default: llvm_unreachable("Unsupported Modifier");
137 case MCSymbolRefExpr::VK_None:
138 Type = ELF::R_PPC_ADDR16;
140 case MCSymbolRefExpr::VK_PPC_LO:
141 Type = ELF::R_PPC_ADDR16_LO;
143 case MCSymbolRefExpr::VK_PPC_HI:
144 Type = ELF::R_PPC_ADDR16_HI;
146 case MCSymbolRefExpr::VK_PPC_HA:
147 Type = ELF::R_PPC_ADDR16_HA;
149 case MCSymbolRefExpr::VK_PPC_HIGHER:
150 Type = ELF::R_PPC64_ADDR16_HIGHER;
152 case MCSymbolRefExpr::VK_PPC_HIGHERA:
153 Type = ELF::R_PPC64_ADDR16_HIGHERA;
155 case MCSymbolRefExpr::VK_PPC_HIGHEST:
156 Type = ELF::R_PPC64_ADDR16_HIGHEST;
158 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
159 Type = ELF::R_PPC64_ADDR16_HIGHESTA;
161 case MCSymbolRefExpr::VK_GOT:
162 Type = ELF::R_PPC_GOT16;
164 case MCSymbolRefExpr::VK_PPC_GOT_LO:
165 Type = ELF::R_PPC_GOT16_LO;
167 case MCSymbolRefExpr::VK_PPC_GOT_HI:
168 Type = ELF::R_PPC_GOT16_HI;
170 case MCSymbolRefExpr::VK_PPC_GOT_HA:
171 Type = ELF::R_PPC_GOT16_HA;
173 case MCSymbolRefExpr::VK_PPC_TOC:
174 Type = ELF::R_PPC64_TOC16;
176 case MCSymbolRefExpr::VK_PPC_TOC_LO:
177 Type = ELF::R_PPC64_TOC16_LO;
179 case MCSymbolRefExpr::VK_PPC_TOC_HI:
180 Type = ELF::R_PPC64_TOC16_HI;
182 case MCSymbolRefExpr::VK_PPC_TOC_HA:
183 Type = ELF::R_PPC64_TOC16_HA;
185 case MCSymbolRefExpr::VK_PPC_TPREL:
186 Type = ELF::R_PPC_TPREL16;
188 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
189 Type = ELF::R_PPC_TPREL16_LO;
191 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
192 Type = ELF::R_PPC_TPREL16_HI;
194 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
195 Type = ELF::R_PPC_TPREL16_HA;
197 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
198 Type = ELF::R_PPC64_TPREL16_HIGHER;
200 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
201 Type = ELF::R_PPC64_TPREL16_HIGHERA;
203 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
204 Type = ELF::R_PPC64_TPREL16_HIGHEST;
206 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
207 Type = ELF::R_PPC64_TPREL16_HIGHESTA;
209 case MCSymbolRefExpr::VK_PPC_DTPREL:
210 Type = ELF::R_PPC64_DTPREL16;
212 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
213 Type = ELF::R_PPC64_DTPREL16_LO;
215 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
216 Type = ELF::R_PPC64_DTPREL16_HI;
218 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
219 Type = ELF::R_PPC64_DTPREL16_HA;
221 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
222 Type = ELF::R_PPC64_DTPREL16_HIGHER;
224 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
225 Type = ELF::R_PPC64_DTPREL16_HIGHERA;
227 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
228 Type = ELF::R_PPC64_DTPREL16_HIGHEST;
230 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
231 Type = ELF::R_PPC64_DTPREL16_HIGHESTA;
233 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
234 Type = ELF::R_PPC64_GOT_TLSGD16;
236 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
237 Type = ELF::R_PPC64_GOT_TLSGD16_LO;
239 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
240 Type = ELF::R_PPC64_GOT_TLSGD16_HI;
242 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
243 Type = ELF::R_PPC64_GOT_TLSGD16_HA;
245 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
246 Type = ELF::R_PPC64_GOT_TLSLD16;
248 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
249 Type = ELF::R_PPC64_GOT_TLSLD16_LO;
251 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
252 Type = ELF::R_PPC64_GOT_TLSLD16_HI;
254 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
255 Type = ELF::R_PPC64_GOT_TLSLD16_HA;
257 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
258 /* We don't have R_PPC64_GOT_TPREL16, but since GOT offsets
259 are always 4-aligned, we can use R_PPC64_GOT_TPREL16_DS. */
260 Type = ELF::R_PPC64_GOT_TPREL16_DS;
262 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
263 /* We don't have R_PPC64_GOT_TPREL16_LO, but since GOT offsets
264 are always 4-aligned, we can use R_PPC64_GOT_TPREL16_LO_DS. */
265 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
267 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
268 Type = ELF::R_PPC64_GOT_TPREL16_HI;
270 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
271 /* We don't have R_PPC64_GOT_DTPREL16, but since GOT offsets
272 are always 4-aligned, we can use R_PPC64_GOT_DTPREL16_DS. */
273 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
275 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
276 /* We don't have R_PPC64_GOT_DTPREL16_LO, but since GOT offsets
277 are always 4-aligned, we can use R_PPC64_GOT_DTPREL16_LO_DS. */
278 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
280 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
281 Type = ELF::R_PPC64_GOT_TPREL16_HA;
283 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
284 Type = ELF::R_PPC64_GOT_DTPREL16_HI;
286 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
287 Type = ELF::R_PPC64_GOT_DTPREL16_HA;
291 case PPC::fixup_ppc_half16ds:
293 default: llvm_unreachable("Unsupported Modifier");
294 case MCSymbolRefExpr::VK_None:
295 Type = ELF::R_PPC64_ADDR16_DS;
297 case MCSymbolRefExpr::VK_PPC_LO:
298 Type = ELF::R_PPC64_ADDR16_LO_DS;
300 case MCSymbolRefExpr::VK_GOT:
301 Type = ELF::R_PPC64_GOT16_DS;
303 case MCSymbolRefExpr::VK_PPC_GOT_LO:
304 Type = ELF::R_PPC64_GOT16_LO_DS;
306 case MCSymbolRefExpr::VK_PPC_TOC:
307 Type = ELF::R_PPC64_TOC16_DS;
309 case MCSymbolRefExpr::VK_PPC_TOC_LO:
310 Type = ELF::R_PPC64_TOC16_LO_DS;
312 case MCSymbolRefExpr::VK_PPC_TPREL:
313 Type = ELF::R_PPC64_TPREL16_DS;
315 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
316 Type = ELF::R_PPC64_TPREL16_LO_DS;
318 case MCSymbolRefExpr::VK_PPC_DTPREL:
319 Type = ELF::R_PPC64_DTPREL16_DS;
321 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
322 Type = ELF::R_PPC64_DTPREL16_LO_DS;
324 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
325 Type = ELF::R_PPC64_GOT_TPREL16_DS;
327 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
328 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
330 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
331 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
333 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
334 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
338 case PPC::fixup_ppc_nofixup:
340 default: llvm_unreachable("Unsupported Modifier");
341 case MCSymbolRefExpr::VK_PPC_TLSGD:
342 Type = ELF::R_PPC64_TLSGD;
344 case MCSymbolRefExpr::VK_PPC_TLSLD:
345 Type = ELF::R_PPC64_TLSLD;
347 case MCSymbolRefExpr::VK_PPC_TLS:
348 Type = ELF::R_PPC64_TLS;
354 default: llvm_unreachable("Unsupported Modifier");
355 case MCSymbolRefExpr::VK_PPC_TOCBASE:
356 Type = ELF::R_PPC64_TOC;
358 case MCSymbolRefExpr::VK_None:
359 Type = ELF::R_PPC64_ADDR64;
361 case MCSymbolRefExpr::VK_PPC_DTPMOD:
362 Type = ELF::R_PPC64_DTPMOD64;
364 case MCSymbolRefExpr::VK_PPC_TPREL:
365 Type = ELF::R_PPC64_TPREL64;
367 case MCSymbolRefExpr::VK_PPC_DTPREL:
368 Type = ELF::R_PPC64_DTPREL64;
373 Type = ELF::R_PPC_ADDR32;
376 Type = ELF::R_PPC_ADDR16;
383 unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
384 const MCFixup &Fixup,
385 bool IsPCRel) const {
386 return getRelocTypeInner(Target, Fixup, IsPCRel);
389 const MCSymbol *PPCELFObjectWriter::ExplicitRelSym(const MCAssembler &Asm,
390 const MCValue &Target,
392 const MCFixup &Fixup,
393 bool IsPCRel) const {
394 assert(Target.getSymA() && "SymA cannot be 0");
395 MCSymbolRefExpr::VariantKind Modifier = Fixup.getAccessVariant();
399 // GOT references always need a relocation, even if the
400 // target symbol is local.
401 case MCSymbolRefExpr::VK_GOT:
402 case MCSymbolRefExpr::VK_PPC_GOT_LO:
403 case MCSymbolRefExpr::VK_PPC_GOT_HI:
404 case MCSymbolRefExpr::VK_PPC_GOT_HA:
413 return &Target.getSymA()->getSymbol().AliasedSymbol();
417 const MCSymbol *PPCELFObjectWriter::undefinedExplicitRelSym(const MCValue &Target,
418 const MCFixup &Fixup,
419 bool IsPCRel) const {
420 assert(Target.getSymA() && "SymA cannot be 0");
421 const MCSymbol &Symbol = Target.getSymA()->getSymbol().AliasedSymbol();
423 unsigned RelocType = getRelocTypeInner(Target, Fixup, IsPCRel);
425 // The .odp creation emits a relocation against the symbol ".TOC." which
426 // create a R_PPC64_TOC relocation. However the relocation symbol name
427 // in final object creation should be NULL, since the symbol does not
428 // really exist, it is just the reference to TOC base for the current
430 bool EmitThisSym = RelocType != ELF::R_PPC64_TOC;
432 if (EmitThisSym && !Symbol.isTemporary())
437 MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
441 MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
442 return createELFObjectWriter(MOTW, OS, IsLittleEndian);