blob: fe8b990ee2a0ea068f38bde23fe779d6d0d43218 [file] [log] [blame]
Rui Ueyama411c63602015-05-28 19:09:30 +00001//===- Chunks.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
10#include "Chunks.h"
11#include "InputFiles.h"
Rui Ueyama67fcd1a02015-08-05 19:51:28 +000012#include "Symbols.h"
Rui Ueyama411c63602015-05-28 19:09:30 +000013#include "llvm/Object/COFF.h"
14#include "llvm/Support/COFF.h"
15#include "llvm/Support/Debug.h"
16#include "llvm/Support/Endian.h"
17#include "llvm/Support/raw_ostream.h"
Rui Ueyama5e31d0b2015-06-20 07:25:45 +000018#include <algorithm>
Rui Ueyama411c63602015-05-28 19:09:30 +000019
Rui Ueyamac6ea0572015-06-06 22:46:15 +000020using namespace llvm;
Rui Ueyama411c63602015-05-28 19:09:30 +000021using namespace llvm::object;
22using namespace llvm::support::endian;
23using namespace llvm::COFF;
Rui Ueyamacd3f99b2015-07-24 23:51:14 +000024using llvm::support::ulittle32_t;
Rui Ueyama411c63602015-05-28 19:09:30 +000025
26namespace lld {
27namespace coff {
28
Peter Collingbournebd3a29d2015-06-24 00:12:36 +000029SectionChunk::SectionChunk(ObjectFile *F, const coff_section *H)
Rui Ueyama9b921e52015-06-25 22:00:42 +000030 : Chunk(SectionKind), Ptr(this), File(F), Header(H),
Rui Ueyama02c30272015-06-25 17:43:37 +000031 Relocs(File->getCOFFObj()->getRelocations(Header)),
32 NumRelocs(std::distance(Relocs.begin(), Relocs.end())) {
Rui Ueyama411c63602015-05-28 19:09:30 +000033 // Initialize SectionName.
34 File->getCOFFObj()->getSectionName(Header, SectionName);
Rui Ueyama8b33f592015-06-10 04:21:47 +000035
Rui Ueyama2bf6a122015-06-14 21:50:50 +000036 // Bit [20:24] contains section alignment. Both 0 and 1 mean alignment 1.
37 unsigned Shift = (Header->Characteristics >> 20) & 0xF;
38 if (Shift > 0)
39 Align = uint32_t(1) << (Shift - 1);
Rui Ueyama411c63602015-05-28 19:09:30 +000040}
41
Rui Ueyama42aa00b2015-06-25 00:33:38 +000042static void add16(uint8_t *P, int16_t V) { write16le(P, read16le(P) + V); }
43static void add32(uint8_t *P, int32_t V) { write32le(P, read32le(P) + V); }
44static void add64(uint8_t *P, int64_t V) { write64le(P, read64le(P) + V); }
Rui Ueyama237fca12015-07-25 03:03:46 +000045static void or16(uint8_t *P, uint16_t V) { write16le(P, read16le(P) | V); }
Rui Ueyama42aa00b2015-06-25 00:33:38 +000046
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +000047void SectionChunk::applyRelX64(uint8_t *Off, uint16_t Type, Defined *Sym,
Rui Ueyama661a4e7a2015-07-07 22:49:21 +000048 uint64_t P) {
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +000049 uint64_t S = Sym->getRVA();
Rui Ueyama661a4e7a2015-07-07 22:49:21 +000050 switch (Type) {
51 case IMAGE_REL_AMD64_ADDR32: add32(Off, S + Config->ImageBase); break;
52 case IMAGE_REL_AMD64_ADDR64: add64(Off, S + Config->ImageBase); break;
53 case IMAGE_REL_AMD64_ADDR32NB: add32(Off, S); break;
54 case IMAGE_REL_AMD64_REL32: add32(Off, S - P - 4); break;
55 case IMAGE_REL_AMD64_REL32_1: add32(Off, S - P - 5); break;
56 case IMAGE_REL_AMD64_REL32_2: add32(Off, S - P - 6); break;
57 case IMAGE_REL_AMD64_REL32_3: add32(Off, S - P - 7); break;
58 case IMAGE_REL_AMD64_REL32_4: add32(Off, S - P - 8); break;
59 case IMAGE_REL_AMD64_REL32_5: add32(Off, S - P - 9); break;
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +000060 case IMAGE_REL_AMD64_SECTION: add16(Off, Sym->getSectionIndex()); break;
61 case IMAGE_REL_AMD64_SECREL: add32(Off, Sym->getSecrel()); break;
Rui Ueyama661a4e7a2015-07-07 22:49:21 +000062 default:
63 llvm::report_fatal_error("Unsupported relocation type");
64 }
65}
66
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +000067void SectionChunk::applyRelX86(uint8_t *Off, uint16_t Type, Defined *Sym,
Rui Ueyama11863b4a2015-07-08 01:45:29 +000068 uint64_t P) {
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +000069 uint64_t S = Sym->getRVA();
Rui Ueyama11863b4a2015-07-08 01:45:29 +000070 switch (Type) {
71 case IMAGE_REL_I386_ABSOLUTE: break;
72 case IMAGE_REL_I386_DIR32: add32(Off, S + Config->ImageBase); break;
73 case IMAGE_REL_I386_DIR32NB: add32(Off, S); break;
74 case IMAGE_REL_I386_REL32: add32(Off, S - P - 4); break;
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +000075 case IMAGE_REL_I386_SECTION: add16(Off, Sym->getSectionIndex()); break;
76 case IMAGE_REL_I386_SECREL: add32(Off, Sym->getSecrel()); break;
Rui Ueyama11863b4a2015-07-08 01:45:29 +000077 default:
78 llvm::report_fatal_error("Unsupported relocation type");
79 }
80}
81
Rui Ueyamaba7c0412015-08-05 19:40:07 +000082static void applyMOV(uint8_t *Off, uint16_t V) {
83 or16(Off, ((V & 0x800) >> 1) | ((V >> 12) & 0xf));
84 or16(Off + 2, ((V & 0x700) << 4) | (V & 0xff));
Rui Ueyama237fca12015-07-25 03:03:46 +000085}
86
Rui Ueyamaba7c0412015-08-05 19:40:07 +000087static void applyMOV32T(uint8_t *Off, uint32_t V) {
88 applyMOV(Off, V); // set MOVW operand
89 applyMOV(Off + 4, V >> 16); // set MOVT operand
90}
91
92static void applyBranch20T(uint8_t *Off, int32_t V) {
93 uint32_t S = V < 0 ? 1 : 0;
94 uint32_t J1 = (V >> 19) & 1;
95 uint32_t J2 = (V >> 18) & 1;
96 or16(Off, (S << 10) | ((V >> 12) & 0x3f));
97 or16(Off + 2, (J1 << 13) | (J2 << 11) | ((V >> 1) & 0x7ff));
98}
99
100static void applyBranch24T(uint8_t *Off, int32_t V) {
Rui Ueyama3d9c8632015-07-25 03:19:34 +0000101 uint32_t S = V < 0 ? 1 : 0;
102 uint32_t J1 = ((~V >> 23) & 1) ^ S;
103 uint32_t J2 = ((~V >> 22) & 1) ^ S;
Rui Ueyamaba7c0412015-08-05 19:40:07 +0000104 or16(Off, (S << 10) | ((V >> 12) & 0x3ff));
105 or16(Off + 2, (J1 << 13) | (J2 << 11) | ((V >> 1) & 0x7ff));
Rui Ueyama3d9c8632015-07-25 03:19:34 +0000106}
107
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +0000108void SectionChunk::applyRelARM(uint8_t *Off, uint16_t Type, Defined *Sym,
Rui Ueyama237fca12015-07-25 03:03:46 +0000109 uint64_t P) {
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +0000110 uint64_t S = Sym->getRVA();
Rui Ueyama8bc43a12015-07-29 19:25:00 +0000111 // Pointer to thumb code must have the LSB set.
112 if (Sym->isExecutable())
113 S |= 1;
Rui Ueyama237fca12015-07-25 03:03:46 +0000114 switch (Type) {
Rui Ueyama3d9c8632015-07-25 03:19:34 +0000115 case IMAGE_REL_ARM_ADDR32: add32(Off, S + Config->ImageBase); break;
116 case IMAGE_REL_ARM_ADDR32NB: add32(Off, S); break;
117 case IMAGE_REL_ARM_MOV32T: applyMOV32T(Off, S + Config->ImageBase); break;
Rui Ueyamaba7c0412015-08-05 19:40:07 +0000118 case IMAGE_REL_ARM_BRANCH20T: applyBranch20T(Off, S - P - 4); break;
119 case IMAGE_REL_ARM_BRANCH24T: applyBranch24T(Off, S - P - 4); break;
120 case IMAGE_REL_ARM_BLX23T: applyBranch24T(Off, S - P - 4); break;
Rui Ueyama237fca12015-07-25 03:03:46 +0000121 default:
122 llvm::report_fatal_error("Unsupported relocation type");
123 }
124}
125
Rui Ueyamad6fefba42015-05-28 19:45:43 +0000126void SectionChunk::writeTo(uint8_t *Buf) {
Rui Ueyama9aefa0c2015-05-28 20:04:51 +0000127 if (!hasData())
128 return;
Rui Ueyama743afa02015-06-06 04:07:39 +0000129 // Copy section contents from source object file to output file.
Rui Ueyamaf34c0882015-06-25 17:56:36 +0000130 ArrayRef<uint8_t> A = getContents();
131 memcpy(Buf + FileOff, A.data(), A.size());
Rui Ueyama743afa02015-06-06 04:07:39 +0000132
133 // Apply relocations.
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000134 for (const coff_relocation &Rel : Relocs) {
135 uint8_t *Off = Buf + FileOff + Rel.VirtualAddress;
Rui Ueyama0744e872015-07-02 00:21:11 +0000136 SymbolBody *Body = File->getSymbolBody(Rel.SymbolTableIndex)->repl();
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +0000137 Defined *Sym = cast<Defined>(Body);
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000138 uint64_t P = RVA + Rel.VirtualAddress;
Rui Ueyama5e706b32015-07-25 21:54:50 +0000139 switch (Config->Machine) {
140 case AMD64:
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +0000141 applyRelX64(Off, Rel.Type, Sym, P);
Rui Ueyama11863b4a2015-07-08 01:45:29 +0000142 break;
Rui Ueyama5e706b32015-07-25 21:54:50 +0000143 case I386:
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +0000144 applyRelX86(Off, Rel.Type, Sym, P);
Rui Ueyama11863b4a2015-07-08 01:45:29 +0000145 break;
Rui Ueyama5e706b32015-07-25 21:54:50 +0000146 case ARMNT:
Rui Ueyamaeb26e1d2015-07-29 16:30:45 +0000147 applyRelARM(Off, Rel.Type, Sym, P);
Rui Ueyama237fca12015-07-25 03:03:46 +0000148 break;
Rui Ueyama11863b4a2015-07-08 01:45:29 +0000149 default:
150 llvm_unreachable("unknown machine type");
151 }
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000152 }
Rui Ueyama411c63602015-05-28 19:09:30 +0000153}
154
Rui Ueyama411c63602015-05-28 19:09:30 +0000155void SectionChunk::addAssociative(SectionChunk *Child) {
Rui Ueyama411c63602015-05-28 19:09:30 +0000156 AssocChildren.push_back(Child);
157}
158
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000159static uint8_t getBaserelType(const coff_relocation &Rel) {
Rui Ueyama5e706b32015-07-25 21:54:50 +0000160 switch (Config->Machine) {
161 case AMD64:
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000162 if (Rel.Type == IMAGE_REL_AMD64_ADDR64)
163 return IMAGE_REL_BASED_DIR64;
164 return IMAGE_REL_BASED_ABSOLUTE;
Rui Ueyama5e706b32015-07-25 21:54:50 +0000165 case I386:
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000166 if (Rel.Type == IMAGE_REL_I386_DIR32)
167 return IMAGE_REL_BASED_HIGHLOW;
168 return IMAGE_REL_BASED_ABSOLUTE;
Rui Ueyama5e706b32015-07-25 21:54:50 +0000169 case ARMNT:
Rui Ueyama237fca12015-07-25 03:03:46 +0000170 if (Rel.Type == IMAGE_REL_ARM_ADDR32)
171 return IMAGE_REL_BASED_HIGHLOW;
172 if (Rel.Type == IMAGE_REL_ARM_MOV32T)
173 return IMAGE_REL_BASED_ARM_MOV32T;
174 return IMAGE_REL_BASED_ABSOLUTE;
Rui Ueyama93b45712015-07-09 20:36:59 +0000175 default:
176 llvm_unreachable("unknown machine type");
177 }
178}
179
Rui Ueyama588e8322015-06-15 01:23:58 +0000180// Windows-specific.
Rui Ueyama93b45712015-07-09 20:36:59 +0000181// Collect all locations that contain absolute addresses, which need to be
182// fixed by the loader if load-time relocation is needed.
Rui Ueyama588e8322015-06-15 01:23:58 +0000183// Only called when base relocation is enabled.
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000184void SectionChunk::getBaserels(std::vector<Baserel> *Res) {
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000185 for (const coff_relocation &Rel : Relocs) {
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000186 uint8_t Ty = getBaserelType(Rel);
187 if (Ty == IMAGE_REL_BASED_ABSOLUTE)
Rui Ueyama588e8322015-06-15 01:23:58 +0000188 continue;
Rui Ueyama0744e872015-07-02 00:21:11 +0000189 SymbolBody *Body = File->getSymbolBody(Rel.SymbolTableIndex)->repl();
Rui Ueyama3cb895c2015-07-24 22:58:44 +0000190 if (isa<DefinedAbsolute>(Body))
Rui Ueyama588e8322015-06-15 01:23:58 +0000191 continue;
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000192 Res->emplace_back(RVA + Rel.VirtualAddress, Ty);
Rui Ueyama588e8322015-06-15 01:23:58 +0000193 }
194}
195
Rui Ueyama411c63602015-05-28 19:09:30 +0000196bool SectionChunk::hasData() const {
197 return !(Header->Characteristics & IMAGE_SCN_CNT_UNINITIALIZED_DATA);
198}
199
200uint32_t SectionChunk::getPermissions() const {
201 return Header->Characteristics & PermMask;
202}
203
204bool SectionChunk::isCOMDAT() const {
205 return Header->Characteristics & IMAGE_SCN_LNK_COMDAT;
206}
207
Rui Ueyamafc510f42015-06-25 19:10:58 +0000208void SectionChunk::printDiscardedMessage() const {
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000209 if (this == Ptr) {
210 // Removed by dead-stripping.
211 llvm::dbgs() << "Discarded " << Sym->getName() << "\n";
212 } else {
213 // Removed by ICF.
214 llvm::dbgs() << "Replaced " << Sym->getName() << "\n";
215 }
Rui Ueyama411c63602015-05-28 19:09:30 +0000216}
217
Rui Ueyama6a60be72015-06-24 00:00:52 +0000218StringRef SectionChunk::getDebugName() {
219 return Sym->getName();
220}
221
Rui Ueyamaf34c0882015-06-25 17:56:36 +0000222ArrayRef<uint8_t> SectionChunk::getContents() const {
223 ArrayRef<uint8_t> A;
224 File->getCOFFObj()->getSectionContents(Header, A);
225 return A;
226}
227
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000228void SectionChunk::replaceWith(SectionChunk *Other) {
Rui Ueyama9b921e52015-06-25 22:00:42 +0000229 Ptr = Other->Ptr;
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000230 Live = false;
231}
232
Rui Ueyama9cf1abb2015-06-08 03:17:07 +0000233CommonChunk::CommonChunk(const COFFSymbolRef S) : Sym(S) {
Rui Ueyama5e31d0b2015-06-20 07:25:45 +0000234 // Common symbols are aligned on natural boundaries up to 32 bytes.
235 // This is what MSVC link.exe does.
236 Align = std::min(uint64_t(32), NextPowerOf2(Sym.getValue()));
Rui Ueyama9cf1abb2015-06-08 03:17:07 +0000237}
238
Rui Ueyama411c63602015-05-28 19:09:30 +0000239uint32_t CommonChunk::getPermissions() const {
Rui Ueyama411c63602015-05-28 19:09:30 +0000240 return IMAGE_SCN_CNT_UNINITIALIZED_DATA | IMAGE_SCN_MEM_READ |
241 IMAGE_SCN_MEM_WRITE;
242}
243
Rui Ueyamad6fefba42015-05-28 19:45:43 +0000244void StringChunk::writeTo(uint8_t *Buf) {
245 memcpy(Buf + FileOff, Str.data(), Str.size());
246}
247
Rui Ueyama28df0422015-07-25 01:16:06 +0000248ImportThunkChunkX64::ImportThunkChunkX64(Defined *S) : ImpSymbol(S) {
Rui Ueyama73835622015-06-26 18:28:56 +0000249 // Intel Optimization Manual says that all branch targets
250 // should be 16-byte aligned. MSVC linker does this too.
Rui Ueyama5e706b32015-07-25 21:54:50 +0000251 Align = 16;
Rui Ueyama73835622015-06-26 18:28:56 +0000252}
253
Rui Ueyama28df0422015-07-25 01:16:06 +0000254void ImportThunkChunkX64::writeTo(uint8_t *Buf) {
255 memcpy(Buf + FileOff, ImportThunkX86, sizeof(ImportThunkX86));
256 // The first two bytes is a JMP instruction. Fill its operand.
257 write32le(Buf + FileOff + 2, ImpSymbol->getRVA() - RVA - getSize());
Rui Ueyama33fb2cb2015-07-15 00:25:38 +0000258}
259
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000260void ImportThunkChunkX86::getBaserels(std::vector<Baserel> *Res) {
261 Res->emplace_back(getRVA() + 2);
Rui Ueyama28df0422015-07-25 01:16:06 +0000262}
263
264void ImportThunkChunkX86::writeTo(uint8_t *Buf) {
265 memcpy(Buf + FileOff, ImportThunkX86, sizeof(ImportThunkX86));
Rui Ueyama743afa02015-06-06 04:07:39 +0000266 // The first two bytes is a JMP instruction. Fill its operand.
Rui Ueyama28df0422015-07-25 01:16:06 +0000267 write32le(Buf + FileOff + 2, ImpSymbol->getRVA() + Config->ImageBase);
Rui Ueyama411c63602015-05-28 19:09:30 +0000268}
269
Rui Ueyama3dd93722015-07-25 03:39:29 +0000270void ImportThunkChunkARM::getBaserels(std::vector<Baserel> *Res) {
271 Res->emplace_back(getRVA(), IMAGE_REL_BASED_ARM_MOV32T);
272}
273
274void ImportThunkChunkARM::writeTo(uint8_t *Buf) {
275 memcpy(Buf + FileOff, ImportThunkARM, sizeof(ImportThunkARM));
276 // Fix mov.w and mov.t operands.
277 applyMOV32T(Buf + FileOff, ImpSymbol->getRVA() + Config->ImageBase);
278}
279
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000280void LocalImportChunk::getBaserels(std::vector<Baserel> *Res) {
281 Res->emplace_back(getRVA());
Rui Ueyama7a333c62015-07-02 20:33:50 +0000282}
283
Rui Ueyamad4b351f2015-07-09 21:15:58 +0000284size_t LocalImportChunk::getSize() const {
285 return Config->is64() ? 8 : 4;
286}
287
Rui Ueyama7a333c62015-07-02 20:33:50 +0000288void LocalImportChunk::writeTo(uint8_t *Buf) {
Rui Ueyamad4b351f2015-07-09 21:15:58 +0000289 if (Config->is64()) {
290 write64le(Buf + FileOff, Sym->getRVA() + Config->ImageBase);
291 } else {
292 write32le(Buf + FileOff, Sym->getRVA() + Config->ImageBase);
293 }
Rui Ueyama7a333c62015-07-02 20:33:50 +0000294}
295
Rui Ueyamacd3f99b2015-07-24 23:51:14 +0000296void SEHTableChunk::writeTo(uint8_t *Buf) {
297 ulittle32_t *Begin = reinterpret_cast<ulittle32_t *>(Buf + FileOff);
298 size_t Cnt = 0;
299 for (Defined *D : Syms)
300 Begin[Cnt++] = D->getRVA();
301 std::sort(Begin, Begin + Cnt);
302}
303
Rui Ueyama588e8322015-06-15 01:23:58 +0000304// Windows-specific.
305// This class represents a block in .reloc section.
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000306BaserelChunk::BaserelChunk(uint32_t Page, Baserel *Begin, Baserel *End) {
Rui Ueyama588e8322015-06-15 01:23:58 +0000307 // Block header consists of 4 byte page RVA and 4 byte block size.
308 // Each entry is 2 byte. Last entry may be padding.
309 Data.resize(RoundUpToAlignment((End - Begin) * 2 + 8, 4));
310 uint8_t *P = Data.data();
311 write32le(P, Page);
312 write32le(P + 4, Data.size());
313 P += 8;
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000314 for (Baserel *I = Begin; I != End; ++I) {
315 write16le(P, (I->Type << 12) | (I->RVA - Page));
Rui Ueyama588e8322015-06-15 01:23:58 +0000316 P += 2;
317 }
318}
319
320void BaserelChunk::writeTo(uint8_t *Buf) {
321 memcpy(Buf + FileOff, Data.data(), Data.size());
322}
323
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000324uint8_t Baserel::getDefaultType() {
Rui Ueyama5e706b32015-07-25 21:54:50 +0000325 switch (Config->Machine) {
326 case AMD64:
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000327 return IMAGE_REL_BASED_DIR64;
Rui Ueyama5e706b32015-07-25 21:54:50 +0000328 case I386:
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000329 return IMAGE_REL_BASED_HIGHLOW;
330 default:
331 llvm_unreachable("unknown machine type");
332 }
333}
334
Rui Ueyama411c63602015-05-28 19:09:30 +0000335} // namespace coff
336} // namespace lld