blob: 5193dca2882aef8ff66f0496e545f64e07da74bb [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;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +000066 case FK_Data_4:
Rafael Espindola38a400d2011-12-22 01:57:09 +000067 case FK_PCRel_4:
68 Type = ELF::R_PPC_REL32;
69 break;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +000070 case FK_Data_8:
71 case FK_PCRel_8:
72 Type = ELF::R_PPC64_REL64;
73 break;
Rafael Espindola38a400d2011-12-22 01:57:09 +000074 }
75 } else {
76 switch ((unsigned)Fixup.getKind()) {
77 default: llvm_unreachable("invalid fixup kind!");
78 case PPC::fixup_ppc_br24:
79 Type = ELF::R_PPC_ADDR24;
80 break;
81 case PPC::fixup_ppc_brcond14:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000082 Type = ELF::R_PPC_ADDR14; // XXX: or BRNTAKEN?_
Rafael Espindola38a400d2011-12-22 01:57:09 +000083 break;
84 case PPC::fixup_ppc_ha16:
Ulrich Weigand994f49e2013-05-17 12:36:29 +000085 case PPC::fixup_ppc_lo16:
Ulrich Weigand85578502012-11-13 19:24:36 +000086 switch (Modifier) {
87 default: llvm_unreachable("Unsupported Modifier");
88 case MCSymbolRefExpr::VK_PPC_TPREL16_HA:
89 Type = ELF::R_PPC_TPREL16_HA;
90 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +000091 case MCSymbolRefExpr::VK_PPC_DTPREL16_HA:
92 Type = ELF::R_PPC64_DTPREL16_HA;
93 break;
Ulrich Weigande4620532013-05-08 17:50:07 +000094 case MCSymbolRefExpr::VK_PPC_GAS_HA16:
95 case MCSymbolRefExpr::VK_PPC_DARWIN_HA16:
Ulrich Weigand85578502012-11-13 19:24:36 +000096 Type = ELF::R_PPC_ADDR16_HA;
97 break;
Bill Schmidt34627e32012-11-27 17:35:46 +000098 case MCSymbolRefExpr::VK_PPC_TOC16_HA:
99 Type = ELF::R_PPC64_TOC16_HA;
100 break;
Bill Schmidt9f0b4ec2012-12-14 17:02:38 +0000101 case MCSymbolRefExpr::VK_PPC_GOT_TPREL16_HA:
102 Type = ELF::R_PPC64_GOT_TPREL16_HA;
103 break;
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000104 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD16_HA:
105 Type = ELF::R_PPC64_GOT_TLSGD16_HA;
106 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000107 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD16_HA:
108 Type = ELF::R_PPC64_GOT_TLSLD16_HA;
109 break;
Ulrich Weigand85578502012-11-13 19:24:36 +0000110 case MCSymbolRefExpr::VK_PPC_TPREL16_LO:
111 Type = ELF::R_PPC_TPREL16_LO;
112 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000113 case MCSymbolRefExpr::VK_PPC_DTPREL16_LO:
114 Type = ELF::R_PPC64_DTPREL16_LO;
115 break;
Ulrich Weigand85578502012-11-13 19:24:36 +0000116 case MCSymbolRefExpr::VK_None:
Ulrich Weigande4620532013-05-08 17:50:07 +0000117 Type = ELF::R_PPC_ADDR16;
118 break;
119 case MCSymbolRefExpr::VK_PPC_GAS_LO16:
120 case MCSymbolRefExpr::VK_PPC_DARWIN_LO16:
Ulrich Weigand85578502012-11-13 19:24:36 +0000121 Type = ELF::R_PPC_ADDR16_LO;
122 break;
Ulrich Weigand3e186012013-03-26 10:56:47 +0000123 case MCSymbolRefExpr::VK_PPC_TOC_ENTRY:
124 Type = ELF::R_PPC64_TOC16;
125 break;
Bill Schmidt34627e32012-11-27 17:35:46 +0000126 case MCSymbolRefExpr::VK_PPC_TOC16_LO:
127 Type = ELF::R_PPC64_TOC16_LO;
128 break;
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000129 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD16_LO:
130 Type = ELF::R_PPC64_GOT_TLSGD16_LO;
131 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000132 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD16_LO:
133 Type = ELF::R_PPC64_GOT_TLSLD16_LO;
134 break;
Ulrich Weigand85578502012-11-13 19:24:36 +0000135 }
Rafael Espindola38a400d2011-12-22 01:57:09 +0000136 break;
Ulrich Weigand3e186012013-03-26 10:56:47 +0000137 case PPC::fixup_ppc_lo16_ds:
Bill Schmidt3822ef22013-02-21 00:05:29 +0000138 switch (Modifier) {
139 default: llvm_unreachable("Unsupported Modifier");
Bill Schmidt3822ef22013-02-21 00:05:29 +0000140 case MCSymbolRefExpr::VK_None:
Ulrich Weigand3e186012013-03-26 10:56:47 +0000141 Type = ELF::R_PPC64_ADDR16_DS;
Bill Schmidt3822ef22013-02-21 00:05:29 +0000142 break;
Ulrich Weigande4620532013-05-08 17:50:07 +0000143 case MCSymbolRefExpr::VK_PPC_GAS_LO16:
144 case MCSymbolRefExpr::VK_PPC_DARWIN_LO16:
145 Type = ELF::R_PPC64_ADDR16_LO_DS;
146 break;
Bill Schmidt34627e32012-11-27 17:35:46 +0000147 case MCSymbolRefExpr::VK_PPC_TOC_ENTRY:
148 Type = ELF::R_PPC64_TOC16_DS;
149 break;
150 case MCSymbolRefExpr::VK_PPC_TOC16_LO:
151 Type = ELF::R_PPC64_TOC16_LO_DS;
152 break;
Bill Schmidt9f0b4ec2012-12-14 17:02:38 +0000153 case MCSymbolRefExpr::VK_PPC_GOT_TPREL16_LO:
154 Type = ELF::R_PPC64_GOT_TPREL16_LO_DS;
Bill Schmidtca4a0c92012-12-04 16:18:08 +0000155 break;
Bill Schmidt34627e32012-11-27 17:35:46 +0000156 }
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000157 break;
Bill Schmidtca4a0c92012-12-04 16:18:08 +0000158 case PPC::fixup_ppc_tlsreg:
159 Type = ELF::R_PPC64_TLS;
160 break;
Bill Schmidt24b8dd62012-12-12 19:29:35 +0000161 case PPC::fixup_ppc_nofixup:
162 switch (Modifier) {
163 default: llvm_unreachable("Unsupported Modifier");
164 case MCSymbolRefExpr::VK_PPC_TLSGD:
165 Type = ELF::R_PPC64_TLSGD;
166 break;
167 case MCSymbolRefExpr::VK_PPC_TLSLD:
168 Type = ELF::R_PPC64_TLSLD;
169 break;
170 }
Bill Schmidtc56f1d32012-12-11 20:30:11 +0000171 break;
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000172 case FK_Data_8:
173 switch (Modifier) {
174 default: llvm_unreachable("Unsupported Modifier");
175 case MCSymbolRefExpr::VK_PPC_TOC:
176 Type = ELF::R_PPC64_TOC;
177 break;
178 case MCSymbolRefExpr::VK_None:
179 Type = ELF::R_PPC64_ADDR64;
180 break;
181 }
182 break;
Rafael Espindola38a400d2011-12-22 01:57:09 +0000183 case FK_Data_4:
184 Type = ELF::R_PPC_ADDR32;
185 break;
186 case FK_Data_2:
187 Type = ELF::R_PPC_ADDR16;
188 break;
189 }
190 }
191 return Type;
192}
193
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +0000194unsigned PPCELFObjectWriter::GetRelocType(const MCValue &Target,
195 const MCFixup &Fixup,
196 bool IsPCRel,
197 bool IsRelocWithSymbol,
198 int64_t Addend) const {
199 return getRelocTypeInner(Target, Fixup, IsPCRel);
200}
201
202const MCSymbol *PPCELFObjectWriter::undefinedExplicitRelSym(const MCValue &Target,
203 const MCFixup &Fixup,
204 bool IsPCRel) const {
205 assert(Target.getSymA() && "SymA cannot be 0");
206 const MCSymbol &Symbol = Target.getSymA()->getSymbol().AliasedSymbol();
207
208 unsigned RelocType = getRelocTypeInner(Target, Fixup, IsPCRel);
209
210 // The .odp creation emits a relocation against the symbol ".TOC." which
211 // create a R_PPC64_TOC relocation. However the relocation symbol name
212 // in final object creation should be NULL, since the symbol does not
213 // really exist, it is just the reference to TOC base for the current
214 // object file.
215 bool EmitThisSym = RelocType != ELF::R_PPC64_TOC;
216
217 if (EmitThisSym && !Symbol.isTemporary())
218 return &Symbol;
219 return NULL;
220}
221
Rafael Espindola38a400d2011-12-22 01:57:09 +0000222MCObjectWriter *llvm::createPPCELFObjectWriter(raw_ostream &OS,
223 bool Is64Bit,
224 uint8_t OSABI) {
225 MCELFObjectTargetWriter *MOTW = new PPCELFObjectWriter(Is64Bit, OSABI);
Rafael Espindola25009622011-12-22 18:38:06 +0000226 return createELFObjectWriter(MOTW, OS, /*IsLittleEndian=*/false);
Rafael Espindola38a400d2011-12-22 01:57:09 +0000227}