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 "llvm/ADT/STLExtras.h"
13 #include "llvm/MC/MCELFObjectWriter.h"
14 #include "llvm/MC/MCExpr.h"
15 #include "llvm/MC/MCValue.h"
16 #include "llvm/Support/ErrorHandling.h"
21 class PPCELFObjectWriter : public MCELFObjectTargetWriter {
23 PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI);
25 virtual ~PPCELFObjectWriter();
27 virtual unsigned getRelocTypeInner(const MCValue &Target,
30 virtual unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup,
31 bool IsPCRel, bool IsRelocWithSymbol,
32 int64_t Addend) const;
33 virtual const MCSymbol *undefinedExplicitRelSym(const MCValue &Target,
39 PPCELFObjectWriter::PPCELFObjectWriter(bool Is64Bit, uint8_t OSABI)
40 : MCELFObjectTargetWriter(Is64Bit, OSABI,
41 Is64Bit ? ELF::EM_PPC64 : ELF::EM_PPC,
42 /*HasRelocationAddend*/ true) {}
44 PPCELFObjectWriter::~PPCELFObjectWriter() {
47 unsigned PPCELFObjectWriter::getRelocTypeInner(const MCValue &Target,
51 MCSymbolRefExpr::VariantKind Modifier = Target.isAbsolute() ?
52 MCSymbolRefExpr::VK_None : Target.getSymA()->getKind();
54 // determine the type of the relocation
57 switch ((unsigned)Fixup.getKind()) {
59 llvm_unreachable("Unimplemented");
60 case PPC::fixup_ppc_br24:
61 Type = ELF::R_PPC_REL24;
63 case PPC::fixup_ppc_brcond14:
64 Type = ELF::R_PPC_REL14;
68 Type = ELF::R_PPC_REL32;
72 Type = ELF::R_PPC64_REL64;
76 switch ((unsigned)Fixup.getKind()) {
77 default: llvm_unreachable("invalid fixup kind!");
78 case PPC::fixup_ppc_br24:
79 Type = ELF::R_PPC_ADDR24;
81 case PPC::fixup_ppc_brcond14:
82 Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
84 case PPC::fixup_ppc_half16:
86 default: llvm_unreachable("Unsupported Modifier");
87 case MCSymbolRefExpr::VK_None:
88 Type = ELF::R_PPC_ADDR16;
90 case MCSymbolRefExpr::VK_PPC_LO:
91 Type = ELF::R_PPC_ADDR16_LO;
93 case MCSymbolRefExpr::VK_PPC_HI:
94 Type = ELF::R_PPC_ADDR16_HI;
96 case MCSymbolRefExpr::VK_PPC_HA:
97 Type = ELF::R_PPC_ADDR16_HA;
99 case MCSymbolRefExpr::VK_PPC_HIGHER:
100 Type = ELF::R_PPC64_ADDR16_HIGHER;
102 case MCSymbolRefExpr::VK_PPC_HIGHERA:
103 Type = ELF::R_PPC64_ADDR16_HIGHERA;
105 case MCSymbolRefExpr::VK_PPC_HIGHEST:
106 Type = ELF::R_PPC64_ADDR16_HIGHEST;
108 case MCSymbolRefExpr::VK_PPC_HIGHESTA:
109 Type = ELF::R_PPC64_ADDR16_HIGHESTA;
111 case MCSymbolRefExpr::VK_PPC_TOC:
112 Type = ELF::R_PPC64_TOC16;
114 case MCSymbolRefExpr::VK_PPC_TOC_LO:
115 Type = ELF::R_PPC64_TOC16_LO;
117 case MCSymbolRefExpr::VK_PPC_TOC_HI:
118 Type = ELF::R_PPC64_TOC16_HI;
120 case MCSymbolRefExpr::VK_PPC_TOC_HA:
121 Type = ELF::R_PPC64_TOC16_HA;
123 case MCSymbolRefExpr::VK_PPC_TPREL:
124 Type = ELF::R_PPC_TPREL16;
126 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
127 Type = ELF::R_PPC_TPREL16_LO;
129 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
130 Type = ELF::R_PPC_TPREL16_HI;
132 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
133 Type = ELF::R_PPC_TPREL16_HA;
135 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
136 Type = ELF::R_PPC64_TPREL16_HIGHER;
138 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
139 Type = ELF::R_PPC64_TPREL16_HIGHERA;
141 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
142 Type = ELF::R_PPC64_TPREL16_HIGHEST;
144 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
145 Type = ELF::R_PPC64_TPREL16_HIGHESTA;
147 case MCSymbolRefExpr::VK_PPC_DTPREL:
148 Type = ELF::R_PPC64_DTPREL16;
150 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
151 Type = ELF::R_PPC64_DTPREL16_LO;
153 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
154 Type = ELF::R_PPC64_DTPREL16_HI;
156 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
157 Type = ELF::R_PPC64_DTPREL16_HA;
159 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
160 Type = ELF::R_PPC64_DTPREL16_HIGHER;
162 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
163 Type = ELF::R_PPC64_DTPREL16_HIGHERA;
165 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
166 Type = ELF::R_PPC64_DTPREL16_HIGHEST;
168 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
169 Type = ELF::R_PPC64_DTPREL16_HIGHESTA;
171 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
172 Type = ELF::R_PPC64_GOT_TLSGD16;
174 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
175 Type = ELF::R_PPC64_GOT_TLSGD16_LO;
177 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
178 Type = ELF::R_PPC64_GOT_TLSGD16_HI;
180 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
181 Type = ELF::R_PPC64_GOT_TLSGD16_HA;
183 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
184 Type = ELF::R_PPC64_GOT_TLSLD16;
186 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
187 Type = ELF::R_PPC64_GOT_TLSLD16_LO;
189 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
190 Type = ELF::R_PPC64_GOT_TLSLD16_HI;
192 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
193 Type = ELF::R_PPC64_GOT_TLSLD16_HA;
195 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
196 Type = ELF::R_PPC64_GOT_TPREL16_HI;
198 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
199 Type = ELF::R_PPC64_GOT_TPREL16_HA;
201 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
202 Type = ELF::R_PPC64_GOT_DTPREL16_HI;
204 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
205 Type = ELF::R_PPC64_GOT_DTPREL16_HA;
209 case PPC::fixup_ppc_half16ds:
211 default: llvm_unreachable("Unsupported Modifier");
212 case MCSymbolRefExpr::VK_None:
213 Type = ELF::R_PPC64_ADDR16_DS;
215 case MCSymbolRefExpr::VK_PPC_LO:
216 Type = ELF::R_PPC64_ADDR16_LO_DS;
218 case MCSymbolRefExpr::VK_PPC_TOC:
219 Type = ELF::R_PPC64_TOC16_DS;
221 case MCSymbolRefExpr::VK_PPC_TOC_LO:
222 Type = ELF::R_PPC64_TOC16_LO_DS;
224 case MCSymbolRefExpr::VK_PPC_TPREL:
225 Type = ELF::R_PPC64_TPREL16_DS;
227 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
228 Type = ELF::R_PPC64_TPREL16_LO_DS;
230 case MCSymbolRefExpr::VK_PPC_DTPREL:
231 Type = ELF::R_PPC64_DTPREL16_DS;
233 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
234 Type = ELF::R_PPC64_DTPREL16_LO_DS;
236 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
237 Type = ELF::R_PPC64_GOT_TPREL16_DS;
239 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
240 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
242 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
243 Type = ELF::R_PPC64_GOT_DTPREL16_DS;
245 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
246 Type = ELF::R_PPC64_GOT_DTPREL16_LO_DS;
250 case PPC::fixup_ppc_tlsreg:
251 Type = ELF::R_PPC64_TLS;
253 case PPC::fixup_ppc_nofixup:
255 default: llvm_unreachable("Unsupported Modifier");
256 case MCSymbolRefExpr::VK_PPC_TLSGD:
257 Type = ELF::R_PPC64_TLSGD;
259 case MCSymbolRefExpr::VK_PPC_TLSLD:
260 Type = ELF::R_PPC64_TLSLD;
266 default: llvm_unreachable("Unsupported Modifier");
267 case MCSymbolRefExpr::VK_PPC_TOCBASE:
268 Type = ELF::R_PPC64_TOC;
270 case MCSymbolRefExpr::VK_None:
271 Type = ELF::R_PPC64_ADDR64;
276 Type = ELF::R_PPC_ADDR32;
279 Type = ELF::R_PPC_ADDR16;
286 unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
287 const MCFixup &Fixup,
289 bool IsRelocWithSymbol,
290 int64_t Addend) const {
291 return getRelocTypeInner(Target, Fixup, IsPCRel);
294 const MCSymbol *PPCELFObjectWriter::undefinedExplicitRelSym(const MCValue &Target,
295 const MCFixup &Fixup,
296 bool IsPCRel) const {
297 assert(Target.getSymA() && "SymA cannot be 0");
298 const MCSymbol &Symbol = Target.getSymA()->getSymbol().AliasedSymbol();
300 unsigned RelocType = getRelocTypeInner(Target, Fixup, IsPCRel);
302 // The .odp creation emits a relocation against the symbol ".TOC." which
303 // create a R_PPC64_TOC relocation. However the relocation symbol name
304 // in final object creation should be NULL, since the symbol does not
305 // really exist, it is just the reference to TOC base for the current
307 bool EmitThisSym = RelocType != ELF::R_PPC64_TOC;
309 if (EmitThisSym && !Symbol.isTemporary())
314 MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
317 MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
318 return createELFObjectWriter(MOTW, OS, /*IsLittleEndian=*/false);