blob: 0e0035131207102bd9d481948b89366dedf57e2a [file] [log] [blame]
Peter Smithfb05cd92016-07-08 16:10:27 +00001//===- Thunks.cpp --------------------------------------------------------===//
2//
3// The LLVM Linker
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===---------------------------------------------------------------------===//
9//
Rui Ueyama89c37622016-07-09 23:16:00 +000010// This file contains Thunk subclasses.
Peter Smithfb05cd92016-07-08 16:10:27 +000011//
Rui Ueyama89c37622016-07-09 23:16:00 +000012// A thunk is a small piece of code written after an input section
13// which is used to jump between "incompatible" functions
14// such as MIPS PIC and non-PIC or ARM non-Thumb and Thumb functions.
15//
16// If a jump target is too far and its address doesn't fit to a
17// short jump instruction, we need to create a thunk too, but we
18// haven't supported it yet.
19//
20// i386 and x86-64 don't need thunks.
21//
Peter Smithfb05cd92016-07-08 16:10:27 +000022//===---------------------------------------------------------------------===//
23
24#include "Thunks.h"
25#include "Error.h"
26#include "InputFiles.h"
27#include "InputSection.h"
28#include "OutputSections.h"
29#include "Symbols.h"
30#include "Target.h"
Rui Ueyama8b8d0052016-07-08 17:58:54 +000031#include "llvm/Support/Allocator.h"
Peter Smithfb05cd92016-07-08 16:10:27 +000032
33#include "llvm/Object/ELF.h"
34#include "llvm/Support/ELF.h"
35#include "llvm/Support/Endian.h"
36
37using namespace llvm;
38using namespace llvm::object;
39using namespace llvm::support::endian;
40using namespace llvm::ELF;
41
42namespace lld {
43namespace elf {
44
Rui Ueyama3d2bbb12016-07-09 22:52:30 +000045namespace {
46// Specific ARM Thunk implementations. The naming convention is:
47// Source State, TargetState, Target Requirement, ABS or PI, Range
48template <class ELFT>
49class ARMToThumbV7ABSLongThunk final : public Thunk<ELFT> {
50public:
51 ARMToThumbV7ABSLongThunk(const SymbolBody &Dest,
52 const InputSection<ELFT> &Owner)
53 : Thunk<ELFT>(Dest, Owner) {}
54
55 uint32_t size() const override { return 12; }
56 void writeTo(uint8_t *Buf) const override;
57};
58
59template <class ELFT> class ARMToThumbV7PILongThunk final : public Thunk<ELFT> {
60public:
61 ARMToThumbV7PILongThunk(const SymbolBody &Dest,
62 const InputSection<ELFT> &Owner)
63 : Thunk<ELFT>(Dest, Owner) {}
64
65 uint32_t size() const override { return 16; }
66 void writeTo(uint8_t *Buf) const override;
67};
68
69template <class ELFT>
70class ThumbToARMV7ABSLongThunk final : public Thunk<ELFT> {
71public:
72 ThumbToARMV7ABSLongThunk(const SymbolBody &Dest,
73 const InputSection<ELFT> &Owner)
74 : Thunk<ELFT>(Dest, Owner) {}
75
76 uint32_t size() const override { return 10; }
77 void writeTo(uint8_t *Buf) const override;
78};
79
80template <class ELFT> class ThumbToARMV7PILongThunk final : public Thunk<ELFT> {
81public:
82 ThumbToARMV7PILongThunk(const SymbolBody &Dest,
83 const InputSection<ELFT> &Owner)
84 : Thunk<ELFT>(Dest, Owner) {}
85
86 uint32_t size() const override { return 12; }
87 void writeTo(uint8_t *Buf) const override;
88};
89
Rui Ueyamae2efadc2016-07-09 22:52:32 +000090// MIPS LA25 thunk
Rui Ueyama3d2bbb12016-07-09 22:52:30 +000091template <class ELFT> class MipsThunk final : public Thunk<ELFT> {
92public:
93 MipsThunk(const SymbolBody &Dest, const InputSection<ELFT> &Owner)
94 : Thunk<ELFT>(Dest, Owner) {}
95
96 uint32_t size() const override { return 16; }
97 void writeTo(uint8_t *Buf) const override;
98};
99} // anonymous namespace
100
101// ARM Target Thunks
102template <class ELFT> static uint64_t getARMThunkDestVA(const SymbolBody &S) {
103 return S.isInPlt() ? S.getPltVA<ELFT>() : S.getVA<ELFT>();
104}
105
106template <class ELFT>
107void ARMToThumbV7ABSLongThunk<ELFT>::writeTo(uint8_t *Buf) const {
108 const uint8_t Data[] = {
109 0x00, 0xc0, 0x00, 0xe3, // movw ip,:lower16:S
110 0x00, 0xc0, 0x40, 0xe3, // movt ip,:upper16:S
111 0x1c, 0xff, 0x2f, 0xe1, // bx ip
112 };
113 uint64_t S = getARMThunkDestVA<ELFT>(this->Destination);
114 memcpy(Buf, Data, sizeof(Data));
115 Target->relocateOne(Buf, R_ARM_MOVW_ABS_NC, S);
116 Target->relocateOne(Buf + 4, R_ARM_MOVT_ABS, S);
117}
118
119template <class ELFT>
120void ThumbToARMV7ABSLongThunk<ELFT>::writeTo(uint8_t *Buf) const {
121 const uint8_t Data[] = {
122 0x40, 0xf2, 0x00, 0x0c, // movw ip, :lower16:S
123 0xc0, 0xf2, 0x00, 0x0c, // movt ip, :upper16:S
124 0x60, 0x47, // bx ip
125 };
126 uint64_t S = getARMThunkDestVA<ELFT>(this->Destination);
127 memcpy(Buf, Data, sizeof(Data));
128 Target->relocateOne(Buf, R_ARM_THM_MOVW_ABS_NC, S);
129 Target->relocateOne(Buf + 4, R_ARM_THM_MOVT_ABS, S);
130}
131
132template <class ELFT>
133void ARMToThumbV7PILongThunk<ELFT>::writeTo(uint8_t *Buf) const {
134 const uint8_t Data[] = {
135 0xf0, 0xcf, 0x0f, 0xe3, // P: movw ip,:lower16:S - (P + (L1-P) +8)
136 0x00, 0xc0, 0x40, 0xe3, // movt ip,:upper16:S - (P + (L1-P+4) +8)
137 0x0f, 0xc0, 0x8c, 0xe0, // L1: add ip, ip, pc
138 0x1c, 0xff, 0x2f, 0xe1, // bx r12
139 };
140 uint64_t S = getARMThunkDestVA<ELFT>(this->Destination);
141 uint64_t P = this->getVA();
142 memcpy(Buf, Data, sizeof(Data));
143 Target->relocateOne(Buf, R_ARM_MOVW_PREL_NC, S - P - 16);
144 Target->relocateOne(Buf + 4, R_ARM_MOVT_PREL, S - P - 12);
145}
146
147template <class ELFT>
148void ThumbToARMV7PILongThunk<ELFT>::writeTo(uint8_t *Buf) const {
149 const uint8_t Data[] = {
150 0x4f, 0xf6, 0xf4, 0x7c, // P: movw ip,:lower16:S - (P + (L1-P) + 4)
151 0xc0, 0xf2, 0x00, 0x0c, // movt ip,:upper16:S - (P + (L1-P+4) + 4)
152 0xfc, 0x44, // L1: add r12, pc
153 0x60, 0x47, // bx r12
154 };
155 uint64_t S = getARMThunkDestVA<ELFT>(this->Destination);
156 uint64_t P = this->getVA();
157 memcpy(Buf, Data, sizeof(Data));
158 Target->relocateOne(Buf, R_ARM_THM_MOVW_PREL_NC, S - P - 12);
159 Target->relocateOne(Buf + 4, R_ARM_THM_MOVT_PREL, S - P - 8);
160}
161
Rui Ueyamae2efadc2016-07-09 22:52:32 +0000162// Write MIPS LA25 thunk code to call PIC function from the non-PIC one.
Rui Ueyama3d2bbb12016-07-09 22:52:30 +0000163template <class ELFT> void MipsThunk<ELFT>::writeTo(uint8_t *Buf) const {
Rui Ueyamae2efadc2016-07-09 22:52:32 +0000164 const endianness E = ELFT::TargetEndianness;
165
166 uint64_t S = this->Destination.template getVA<ELFT>();
167 write32<E>(Buf, 0x3c190000); // lui $25, %hi(func)
168 write32<E>(Buf + 4, 0x08000000 | (S >> 2)); // j func
169 write32<E>(Buf + 8, 0x27390000); // addiu $25, $25, %lo(func)
170 write32<E>(Buf + 12, 0x00000000); // nop
171 Target->relocateOne(Buf, R_MIPS_HI16, S);
172 Target->relocateOne(Buf + 8, R_MIPS_LO16, S);
Rui Ueyama3d2bbb12016-07-09 22:52:30 +0000173}
Peter Smithfb05cd92016-07-08 16:10:27 +0000174
175template <class ELFT>
176Thunk<ELFT>::Thunk(const SymbolBody &D, const InputSection<ELFT> &O)
177 : Destination(D), Owner(O), Offset(O.getThunkOff() + O.getThunksSize()) {}
178
179template <class ELFT> typename ELFT::uint Thunk<ELFT>::getVA() const {
180 return Owner.OutSec->getVA() + Owner.OutSecOff + Offset;
181}
182
Rui Ueyama3d2bbb12016-07-09 22:52:30 +0000183template <class ELFT> Thunk<ELFT>::~Thunk() {}
Peter Smithfb05cd92016-07-08 16:10:27 +0000184
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000185// Creates a thunk for Thumb-ARM interworking.
Peter Smithfb05cd92016-07-08 16:10:27 +0000186template <class ELFT>
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000187static Thunk<ELFT> *createThunkArm(uint32_t Reloc, SymbolBody &S,
188 InputSection<ELFT> &IS) {
Peter Smithfb05cd92016-07-08 16:10:27 +0000189 bool NeedsPI = Config->Pic || Config->Pie || Config->Shared;
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000190 BumpPtrAllocator &Alloc = IS.getFile()->Alloc;
191
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000192 // ARM relocations need ARM to Thumb interworking Thunks.
193 // Thumb relocations need Thumb to ARM relocations.
194 // Use position independent Thunks if we require position independent code.
195 switch (Reloc) {
Peter Smithfb05cd92016-07-08 16:10:27 +0000196 case R_ARM_PC24:
197 case R_ARM_PLT32:
198 case R_ARM_JUMP24:
199 if (NeedsPI)
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000200 return new (Alloc) ARMToThumbV7PILongThunk<ELFT>(S, IS);
201 return new (Alloc) ARMToThumbV7ABSLongThunk<ELFT>(S, IS);
Peter Smithfb05cd92016-07-08 16:10:27 +0000202 case R_ARM_THM_JUMP19:
203 case R_ARM_THM_JUMP24:
204 if (NeedsPI)
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000205 return new (Alloc) ThumbToARMV7PILongThunk<ELFT>(S, IS);
206 return new (Alloc) ThumbToARMV7ABSLongThunk<ELFT>(S, IS);
Peter Smithfb05cd92016-07-08 16:10:27 +0000207 }
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000208 fatal("unrecognized relocation type");
209}
210
211template <class ELFT>
212static void addThunkARM(uint32_t Reloc, SymbolBody &S, InputSection<ELFT> &IS) {
213 // Only one Thunk supported per symbol.
214 if (S.hasThunk<ELFT>())
215 return;
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000216
Peter Smithfb05cd92016-07-08 16:10:27 +0000217 // ARM Thunks are added to the same InputSection as the relocation. This
218 // isn't strictly necessary but it makes it more likely that a limited range
219 // branch can reach the Thunk, and it makes Thunks to the PLT section easier
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000220 Thunk<ELFT> *T = createThunkArm(Reloc, S, IS);
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000221 IS.addThunk(T);
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000222 if (auto *Sym = dyn_cast<DefinedRegular<ELFT>>(&S))
223 Sym->ThunkData = T;
224 else if (auto *Sym = dyn_cast<SharedSymbol<ELFT>>(&S))
225 Sym->ThunkData = T;
Peter Smithfb05cd92016-07-08 16:10:27 +0000226 else
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000227 fatal("symbol not DefinedRegular or Shared");
Peter Smithfb05cd92016-07-08 16:10:27 +0000228}
229
230template <class ELFT>
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000231static void addThunkMips(uint32_t RelocType, SymbolBody &S,
232 InputSection<ELFT> &IS) {
Rui Ueyama5e3d6042016-07-09 22:03:51 +0000233 // Only one Thunk supported per symbol.
Peter Smithfb05cd92016-07-08 16:10:27 +0000234 if (S.hasThunk<ELFT>())
Peter Smithfb05cd92016-07-08 16:10:27 +0000235 return;
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000236
237 // Mips Thunks are added to the InputSection defining S.
Peter Smithfb05cd92016-07-08 16:10:27 +0000238 auto *R = cast<DefinedRegular<ELFT>>(&S);
239 auto *Sec = cast<InputSection<ELFT>>(R->Section);
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000240 auto *T = new (IS.getFile()->Alloc) MipsThunk<ELFT>(S, *Sec);
Peter Smithfb05cd92016-07-08 16:10:27 +0000241 Sec->addThunk(T);
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000242 R->ThunkData = T;
Peter Smithfb05cd92016-07-08 16:10:27 +0000243}
244
245template <class ELFT>
246void addThunk(uint32_t RelocType, SymbolBody &S, InputSection<ELFT> &IS) {
247 if (Config->EMachine == EM_ARM)
248 addThunkARM<ELFT>(RelocType, S, IS);
249 else if (Config->EMachine == EM_MIPS)
Rui Ueyama8b8d0052016-07-08 17:58:54 +0000250 addThunkMips<ELFT>(RelocType, S, IS);
Peter Smithfb05cd92016-07-08 16:10:27 +0000251 else
252 llvm_unreachable("add Thunk only supported for ARM and Mips");
253}
254
255template void addThunk<ELF32LE>(uint32_t, SymbolBody &,
256 InputSection<ELF32LE> &);
257template void addThunk<ELF32BE>(uint32_t, SymbolBody &,
258 InputSection<ELF32BE> &);
259template void addThunk<ELF64LE>(uint32_t, SymbolBody &,
260 InputSection<ELF64LE> &);
261template void addThunk<ELF64BE>(uint32_t, SymbolBody &,
262 InputSection<ELF64BE> &);
263
Rui Ueyamaec4220d2016-07-09 22:06:47 +0000264template class Thunk<ELF32LE>;
265template class Thunk<ELF32BE>;
266template class Thunk<ELF64LE>;
267template class Thunk<ELF64BE>;
Peter Smithfb05cd92016-07-08 16:10:27 +0000268
269} // namespace elf
270} // namespace lld