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/MCELF.h"
15 #include "llvm/MC/MCELFObjectWriter.h"
16 #include "llvm/MC/MCExpr.h"
17 #include "llvm/MC/MCValue.h"
18 #include "llvm/Support/ErrorHandling.h"
23 class PPCELFObjectWriter : public MCELFObjectTargetWriter {
25 PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI);
28 unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup,
29 bool IsPCRel) const override;
31 bool needsRelocateWithSymbol(const MCSymbolData &SD,
32 unsigned Type) const override;
36 PPCELFObjectWriter::PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI)
37 : MCELFObjectTargetWriter(Is64Bit, OSABI,
38 Is64Bit ? ELF::EM_PPC64 : ELF::EM_PPC,
39 /*HasRelocationAddend*/ true) {}
41 static MCSymbolRefExpr::VariantKind getAccessVariant(const MCValue &Target,
42 const MCFixup &Fixup) {
43 const MCExpr *Expr = Fixup.getValue();
45 if (Expr->getKind() != MCExpr::Target)
46 return Target.getAccessVariant();
48 switch (cast<PPCMCExpr>(Expr)->getKind()) {
49 case PPCMCExpr::VK_PPC_None:
50 return MCSymbolRefExpr::VK_None;
51 case PPCMCExpr::VK_PPC_LO:
52 return MCSymbolRefExpr::VK_PPC_LO;
53 case PPCMCExpr::VK_PPC_HI:
54 return MCSymbolRefExpr::VK_PPC_HI;
55 case PPCMCExpr::VK_PPC_HA:
56 return MCSymbolRefExpr::VK_PPC_HA;
57 case PPCMCExpr::VK_PPC_HIGHERA:
58 return MCSymbolRefExpr::VK_PPC_HIGHERA;
59 case PPCMCExpr::VK_PPC_HIGHER:
60 return MCSymbolRefExpr::VK_PPC_HIGHER;
61 case PPCMCExpr::VK_PPC_HIGHEST:
62 return MCSymbolRefExpr::VK_PPC_HIGHEST;
63 case PPCMCExpr::VK_PPC_HIGHESTA:
64 return MCSymbolRefExpr::VK_PPC_HIGHESTA;
66 llvm_unreachable("unknown PPCMCExpr kind");
69 unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
72 MCSymbolRefExpr::VariantKind Modifier = getAccessVariant(Target, Fixup);
74 // determine the type of the relocation
77 switch ((unsigned)Fixup.getKind()) {
79 llvm_unreachable("Unimplemented");
80 case PPC::fixup_ppc_br24:
81 case PPC::fixup_ppc_br24abs:
83 default: llvm_unreachable("Unsupported Modifier");
84 case MCSymbolRefExpr::VK_None:
85 Type = ELF::R_PPC_REL24;
87 case MCSymbolRefExpr::VK_PLT:
88 Type = ELF::R_PPC_PLTREL24;
92 case PPC::fixup_ppc_brcond14:
93 case PPC::fixup_ppc_brcond14abs:
94 Type = ELF::R_PPC_REL14;
96 case PPC::fixup_ppc_half16:
98 default: llvm_unreachable("Unsupported Modifier");
99 case MCSymbolRefExpr::VK_None:
100 Type = ELF::R_PPC_REL16;
102 case MCSymbolRefExpr::VK_PPC_LO:
103 Type = ELF::R_PPC_REL16_LO;
105 case MCSymbolRefExpr::VK_PPC_HI:
106 Type = ELF::R_PPC_REL16_HI;
108 case MCSymbolRefExpr::VK_PPC_HA:
109 Type = ELF::R_PPC_REL16_HA;
115 Type = ELF::R_PPC_REL32;
119 Type = ELF::R_PPC64_REL64;
123 switch ((unsigned)Fixup.getKind()) {
124 default: llvm_unreachable("invalid fixup kind!");
125 case PPC::fixup_ppc_br24abs:
126 Type = ELF::R_PPC_ADDR24;
128 case PPC::fixup_ppc_brcond14abs:
129 Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
131 case PPC::fixup_ppc_half16:
133 default: llvm_unreachable("Unsupported Modifier");
134 case MCSymbolRefExpr::VK_None:
135 Type = ELF::R_PPC_ADDR16;
137 case MCSymbolRefExpr::VK_PPC_LO:
138 Type = ELF::R_PPC_ADDR16_LO;
140 case MCSymbolRefExpr::VK_PPC_HI:
141 Type = ELF::R_PPC_ADDR16_HI;
143 case MCSymbolRefExpr::VK_PPC_HA:
144 Type = ELF::R_PPC_ADDR16_HA;
146 case MCSymbolRefExpr::VK_PPC_HIGHER:
147 Type = ELF::R_PPC64_ADDR16_HIGHER;
149 case MCSymbolRefExpr::VK_PPC_HIGHERA:
150 Type = ELF::R_PPC64_ADDR16_HIGHERA;
152 case MCSymbolRefExpr::VK_PPC_HIGHEST:
153 Type = ELF::R_PPC64_ADDR16_HIGHEST;
155 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
156 Type = ELF::R_PPC64_ADDR16_HIGHESTA;
158 case MCSymbolRefExpr::VK_GOT:
159 Type = ELF::R_PPC_GOT16;
161 case MCSymbolRefExpr::VK_PPC_GOT_LO:
162 Type = ELF::R_PPC_GOT16_LO;
164 case MCSymbolRefExpr::VK_PPC_GOT_HI:
165 Type = ELF::R_PPC_GOT16_HI;
167 case MCSymbolRefExpr::VK_PPC_GOT_HA:
168 Type = ELF::R_PPC_GOT16_HA;
170 case MCSymbolRefExpr::VK_PPC_TOC:
171 Type = ELF::R_PPC64_TOC16;
173 case MCSymbolRefExpr::VK_PPC_TOC_LO:
174 Type = ELF::R_PPC64_TOC16_LO;
176 case MCSymbolRefExpr::VK_PPC_TOC_HI:
177 Type = ELF::R_PPC64_TOC16_HI;
179 case MCSymbolRefExpr::VK_PPC_TOC_HA:
180 Type = ELF::R_PPC64_TOC16_HA;
182 case MCSymbolRefExpr::VK_PPC_TPREL:
183 Type = ELF::R_PPC_TPREL16;
185 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
186 Type = ELF::R_PPC_TPREL16_LO;
188 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
189 Type = ELF::R_PPC_TPREL16_HI;
191 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
192 Type = ELF::R_PPC_TPREL16_HA;
194 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
195 Type = ELF::R_PPC64_TPREL16_HIGHER;
197 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
198 Type = ELF::R_PPC64_TPREL16_HIGHERA;
200 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
201 Type = ELF::R_PPC64_TPREL16_HIGHEST;
203 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
204 Type = ELF::R_PPC64_TPREL16_HIGHESTA;
206 case MCSymbolRefExpr::VK_PPC_DTPREL:
207 Type = ELF::R_PPC64_DTPREL16;
209 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
210 Type = ELF::R_PPC64_DTPREL16_LO;
212 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
213 Type = ELF::R_PPC64_DTPREL16_HI;
215 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
216 Type = ELF::R_PPC64_DTPREL16_HA;
218 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
219 Type = ELF::R_PPC64_DTPREL16_HIGHER;
221 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
222 Type = ELF::R_PPC64_DTPREL16_HIGHERA;
224 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
225 Type = ELF::R_PPC64_DTPREL16_HIGHEST;
227 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
228 Type = ELF::R_PPC64_DTPREL16_HIGHESTA;
230 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
232 Type = ELF::R_PPC64_GOT_TLSGD16;
234 Type = ELF::R_PPC_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:
247 Type = ELF::R_PPC64_GOT_TLSLD16;
249 Type = ELF::R_PPC_GOT_TLSLD16;
251 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
252 Type = ELF::R_PPC64_GOT_TLSLD16_LO;
254 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
255 Type = ELF::R_PPC64_GOT_TLSLD16_HI;
257 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
258 Type = ELF::R_PPC64_GOT_TLSLD16_HA;
260 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
261 /* We don't have R_PPC64_GOT_TPREL16, but since GOT offsets
262 are always 4-aligned, we can use R_PPC64_GOT_TPREL16_DS. */
263 Type = ELF::R_PPC64_GOT_TPREL16_DS;
265 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
266 /* We don't have R_PPC64_GOT_TPREL16_LO, but since GOT offsets
267 are always 4-aligned, we can use R_PPC64_GOT_TPREL16_LO_DS. */
268 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
270 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
271 Type = ELF::R_PPC64_GOT_TPREL16_HI;
273 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
274 /* We don't have R_PPC64_GOT_DTPREL16, but since GOT offsets
275 are always 4-aligned, we can use R_PPC64_GOT_DTPREL16_DS. */
276 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
278 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
279 /* We don't have R_PPC64_GOT_DTPREL16_LO, but since GOT offsets
280 are always 4-aligned, we can use R_PPC64_GOT_DTPREL16_LO_DS. */
281 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
283 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
284 Type = ELF::R_PPC64_GOT_TPREL16_HA;
286 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
287 Type = ELF::R_PPC64_GOT_DTPREL16_HI;
289 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
290 Type = ELF::R_PPC64_GOT_DTPREL16_HA;
294 case PPC::fixup_ppc_half16ds:
296 default: llvm_unreachable("Unsupported Modifier");
297 case MCSymbolRefExpr::VK_None:
298 Type = ELF::R_PPC64_ADDR16_DS;
300 case MCSymbolRefExpr::VK_PPC_LO:
301 Type = ELF::R_PPC64_ADDR16_LO_DS;
303 case MCSymbolRefExpr::VK_GOT:
304 Type = ELF::R_PPC64_GOT16_DS;
306 case MCSymbolRefExpr::VK_PPC_GOT_LO:
307 Type = ELF::R_PPC64_GOT16_LO_DS;
309 case MCSymbolRefExpr::VK_PPC_TOC:
310 Type = ELF::R_PPC64_TOC16_DS;
312 case MCSymbolRefExpr::VK_PPC_TOC_LO:
313 Type = ELF::R_PPC64_TOC16_LO_DS;
315 case MCSymbolRefExpr::VK_PPC_TPREL:
316 Type = ELF::R_PPC64_TPREL16_DS;
318 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
319 Type = ELF::R_PPC64_TPREL16_LO_DS;
321 case MCSymbolRefExpr::VK_PPC_DTPREL:
322 Type = ELF::R_PPC64_DTPREL16_DS;
324 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
325 Type = ELF::R_PPC64_DTPREL16_LO_DS;
327 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
328 Type = ELF::R_PPC64_GOT_TPREL16_DS;
330 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
331 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
333 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
334 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
336 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
337 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
341 case PPC::fixup_ppc_nofixup:
343 default: llvm_unreachable("Unsupported Modifier");
344 case MCSymbolRefExpr::VK_PPC_TLSGD:
346 Type = ELF::R_PPC64_TLSGD;
348 Type = ELF::R_PPC_TLSGD;
350 case MCSymbolRefExpr::VK_PPC_TLSLD:
352 Type = ELF::R_PPC64_TLSLD;
354 Type = ELF::R_PPC_TLSLD;
356 case MCSymbolRefExpr::VK_PPC_TLS:
358 Type = ELF::R_PPC64_TLS;
360 Type = ELF::R_PPC_TLS;
366 default: llvm_unreachable("Unsupported Modifier");
367 case MCSymbolRefExpr::VK_PPC_TOCBASE:
368 Type = ELF::R_PPC64_TOC;
370 case MCSymbolRefExpr::VK_None:
371 Type = ELF::R_PPC64_ADDR64;
373 case MCSymbolRefExpr::VK_PPC_DTPMOD:
374 Type = ELF::R_PPC64_DTPMOD64;
376 case MCSymbolRefExpr::VK_PPC_TPREL:
377 Type = ELF::R_PPC64_TPREL64;
379 case MCSymbolRefExpr::VK_PPC_DTPREL:
380 Type = ELF::R_PPC64_DTPREL64;
385 Type = ELF::R_PPC_ADDR32;
388 Type = ELF::R_PPC_ADDR16;
395 bool PPCELFObjectWriter::needsRelocateWithSymbol(const MCSymbolData &SD,
396 unsigned Type) const {
401 case ELF::R_PPC_REL24:
402 // If the target symbol has a local entry point, we must keep the
403 // target symbol to preserve that information for the linker.
404 // The "other" values are stored in the last 6 bits of the second byte.
405 // The traditional defines for STO values assume the full byte and thus
406 // the shift to pack it.
407 unsigned Other = MCELF::getOther(SD) << 2;
408 return (Other & ELF::STO_PPC64_LOCAL_MASK) != 0;
412 MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
416 MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
417 return createELFObjectWriter(MOTW, OS, IsLittleEndian);