blob: 55a3646336cef1601d96c81076c7d7b99bcf78b9 [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"
12#include "Writer.h"
Rui Ueyamaddf71fc2015-06-24 04:36:52 +000013#include "llvm/ADT/Hashing.h"
Rui Ueyama411c63602015-05-28 19:09:30 +000014#include "llvm/ADT/STLExtras.h"
15#include "llvm/Object/COFF.h"
16#include "llvm/Support/COFF.h"
17#include "llvm/Support/Debug.h"
18#include "llvm/Support/Endian.h"
19#include "llvm/Support/raw_ostream.h"
Rui Ueyama5e31d0b2015-06-20 07:25:45 +000020#include <algorithm>
Rui Ueyama411c63602015-05-28 19:09:30 +000021
Rui Ueyamac6ea0572015-06-06 22:46:15 +000022using namespace llvm;
Rui Ueyama411c63602015-05-28 19:09:30 +000023using namespace llvm::object;
24using namespace llvm::support::endian;
25using namespace llvm::COFF;
Rui Ueyamacd3f99b2015-07-24 23:51:14 +000026using llvm::support::ulittle32_t;
Rui Ueyama411c63602015-05-28 19:09:30 +000027
28namespace lld {
29namespace coff {
30
Peter Collingbournebd3a29d2015-06-24 00:12:36 +000031SectionChunk::SectionChunk(ObjectFile *F, const coff_section *H)
Rui Ueyama9b921e52015-06-25 22:00:42 +000032 : Chunk(SectionKind), Ptr(this), File(F), Header(H),
Rui Ueyama02c30272015-06-25 17:43:37 +000033 Relocs(File->getCOFFObj()->getRelocations(Header)),
34 NumRelocs(std::distance(Relocs.begin(), Relocs.end())) {
Rui Ueyama411c63602015-05-28 19:09:30 +000035 // Initialize SectionName.
36 File->getCOFFObj()->getSectionName(Header, SectionName);
Rui Ueyama8b33f592015-06-10 04:21:47 +000037
Rui Ueyama2bf6a122015-06-14 21:50:50 +000038 // Bit [20:24] contains section alignment. Both 0 and 1 mean alignment 1.
39 unsigned Shift = (Header->Characteristics >> 20) & 0xF;
40 if (Shift > 0)
41 Align = uint32_t(1) << (Shift - 1);
Rui Ueyama8b33f592015-06-10 04:21:47 +000042
Rui Ueyama8b33f592015-06-10 04:21:47 +000043 // COMDAT sections are not GC root. Non-text sections are not
44 // subject of garbage collection (thus they are root).
Rui Ueyamafc510f42015-06-25 19:10:58 +000045 Root = !isCOMDAT() && !(Header->Characteristics & IMAGE_SCN_CNT_CODE);
Rui Ueyama411c63602015-05-28 19:09:30 +000046}
47
Rui Ueyama42aa00b2015-06-25 00:33:38 +000048static void add16(uint8_t *P, int16_t V) { write16le(P, read16le(P) + V); }
49static void add32(uint8_t *P, int32_t V) { write32le(P, read32le(P) + V); }
50static void add64(uint8_t *P, int64_t V) { write64le(P, read64le(P) + V); }
Rui Ueyama237fca12015-07-25 03:03:46 +000051static void or16(uint8_t *P, uint16_t V) { write16le(P, read16le(P) | V); }
Rui Ueyama42aa00b2015-06-25 00:33:38 +000052
Rui Ueyama661a4e7a2015-07-07 22:49:21 +000053void SectionChunk::applyRelX64(uint8_t *Off, uint16_t Type, uint64_t S,
54 uint64_t P) {
55 switch (Type) {
56 case IMAGE_REL_AMD64_ADDR32: add32(Off, S + Config->ImageBase); break;
57 case IMAGE_REL_AMD64_ADDR64: add64(Off, S + Config->ImageBase); break;
58 case IMAGE_REL_AMD64_ADDR32NB: add32(Off, S); break;
59 case IMAGE_REL_AMD64_REL32: add32(Off, S - P - 4); break;
60 case IMAGE_REL_AMD64_REL32_1: add32(Off, S - P - 5); break;
61 case IMAGE_REL_AMD64_REL32_2: add32(Off, S - P - 6); break;
62 case IMAGE_REL_AMD64_REL32_3: add32(Off, S - P - 7); break;
63 case IMAGE_REL_AMD64_REL32_4: add32(Off, S - P - 8); break;
64 case IMAGE_REL_AMD64_REL32_5: add32(Off, S - P - 9); break;
David Majnemer2c345a32015-07-08 16:37:50 +000065 case IMAGE_REL_AMD64_SECTION: add16(Off, Out->SectionIndex); break;
Rui Ueyama661a4e7a2015-07-07 22:49:21 +000066 case IMAGE_REL_AMD64_SECREL: add32(Off, S - Out->getRVA()); break;
67 default:
68 llvm::report_fatal_error("Unsupported relocation type");
69 }
70}
71
Rui Ueyama11863b4a2015-07-08 01:45:29 +000072void SectionChunk::applyRelX86(uint8_t *Off, uint16_t Type, uint64_t S,
73 uint64_t P) {
74 switch (Type) {
75 case IMAGE_REL_I386_ABSOLUTE: break;
76 case IMAGE_REL_I386_DIR32: add32(Off, S + Config->ImageBase); break;
77 case IMAGE_REL_I386_DIR32NB: add32(Off, S); break;
78 case IMAGE_REL_I386_REL32: add32(Off, S - P - 4); break;
David Majnemer2c345a32015-07-08 16:37:50 +000079 case IMAGE_REL_I386_SECTION: add16(Off, Out->SectionIndex); break;
Rui Ueyama11863b4a2015-07-08 01:45:29 +000080 case IMAGE_REL_I386_SECREL: add32(Off, S - Out->getRVA()); break;
81 default:
82 llvm::report_fatal_error("Unsupported relocation type");
83 }
84}
85
Rui Ueyama237fca12015-07-25 03:03:46 +000086static void applyMOV32T(uint8_t *Off, uint32_t V) {
87 uint16_t X = V;
88 or16(Off, ((X & 0x800) >> 1) | ((X >> 12) & 0xf));
89 or16(Off + 2, ((X & 0x700) << 4) | (X & 0xff));
90 X = V >> 16;
91 or16(Off + 4, ((X & 0x800) >> 1) | ((X >> 12) & 0xf));
92 or16(Off + 6, ((X & 0x700) << 4) | (X & 0xff));
93}
94
95void SectionChunk::applyRelARM(uint8_t *Off, uint16_t Type, uint64_t S,
96 uint64_t P) {
97 switch (Type) {
98 case IMAGE_REL_ARM_ADDR32: add32(Off, S + Config->ImageBase); break;
99 case IMAGE_REL_ARM_ADDR32NB: add32(Off, S); break;
100 case IMAGE_REL_ARM_MOV32T: applyMOV32T(Off, S + Config->ImageBase); break;
101 default:
102 llvm::report_fatal_error("Unsupported relocation type");
103 }
104}
105
Rui Ueyamad6fefba42015-05-28 19:45:43 +0000106void SectionChunk::writeTo(uint8_t *Buf) {
Rui Ueyama9aefa0c2015-05-28 20:04:51 +0000107 if (!hasData())
108 return;
Rui Ueyama743afa02015-06-06 04:07:39 +0000109 // Copy section contents from source object file to output file.
Rui Ueyamaf34c0882015-06-25 17:56:36 +0000110 ArrayRef<uint8_t> A = getContents();
111 memcpy(Buf + FileOff, A.data(), A.size());
Rui Ueyama743afa02015-06-06 04:07:39 +0000112
113 // Apply relocations.
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000114 for (const coff_relocation &Rel : Relocs) {
115 uint8_t *Off = Buf + FileOff + Rel.VirtualAddress;
Rui Ueyama0744e872015-07-02 00:21:11 +0000116 SymbolBody *Body = File->getSymbolBody(Rel.SymbolTableIndex)->repl();
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000117 uint64_t S = cast<Defined>(Body)->getRVA();
118 uint64_t P = RVA + Rel.VirtualAddress;
Rui Ueyama11863b4a2015-07-08 01:45:29 +0000119 switch (Config->MachineType) {
120 case IMAGE_FILE_MACHINE_AMD64:
121 applyRelX64(Off, Rel.Type, S, P);
122 break;
123 case IMAGE_FILE_MACHINE_I386:
124 applyRelX86(Off, Rel.Type, S, P);
125 break;
Rui Ueyama237fca12015-07-25 03:03:46 +0000126 case IMAGE_FILE_MACHINE_ARMNT:
127 applyRelARM(Off, Rel.Type, S, P);
128 break;
Rui Ueyama11863b4a2015-07-08 01:45:29 +0000129 default:
130 llvm_unreachable("unknown machine type");
131 }
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000132 }
Rui Ueyama411c63602015-05-28 19:09:30 +0000133}
134
Rui Ueyama411c63602015-05-28 19:09:30 +0000135void SectionChunk::addAssociative(SectionChunk *Child) {
Rui Ueyama411c63602015-05-28 19:09:30 +0000136 AssocChildren.push_back(Child);
Rui Ueyama8b33f592015-06-10 04:21:47 +0000137 // Associative sections are live if their parent COMDATs are live,
138 // and vice versa, so they are not considered live by themselves.
139 Child->Root = false;
Rui Ueyama411c63602015-05-28 19:09:30 +0000140}
141
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000142static uint8_t getBaserelType(const coff_relocation &Rel) {
Rui Ueyama93b45712015-07-09 20:36:59 +0000143 switch (Config->MachineType) {
144 case IMAGE_FILE_MACHINE_AMD64:
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000145 if (Rel.Type == IMAGE_REL_AMD64_ADDR64)
146 return IMAGE_REL_BASED_DIR64;
147 return IMAGE_REL_BASED_ABSOLUTE;
Rui Ueyama93b45712015-07-09 20:36:59 +0000148 case IMAGE_FILE_MACHINE_I386:
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000149 if (Rel.Type == IMAGE_REL_I386_DIR32)
150 return IMAGE_REL_BASED_HIGHLOW;
151 return IMAGE_REL_BASED_ABSOLUTE;
Rui Ueyama237fca12015-07-25 03:03:46 +0000152 case IMAGE_FILE_MACHINE_ARMNT:
153 if (Rel.Type == IMAGE_REL_ARM_ADDR32)
154 return IMAGE_REL_BASED_HIGHLOW;
155 if (Rel.Type == IMAGE_REL_ARM_MOV32T)
156 return IMAGE_REL_BASED_ARM_MOV32T;
157 return IMAGE_REL_BASED_ABSOLUTE;
Rui Ueyama93b45712015-07-09 20:36:59 +0000158 default:
159 llvm_unreachable("unknown machine type");
160 }
161}
162
Rui Ueyama588e8322015-06-15 01:23:58 +0000163// Windows-specific.
Rui Ueyama93b45712015-07-09 20:36:59 +0000164// Collect all locations that contain absolute addresses, which need to be
165// fixed by the loader if load-time relocation is needed.
Rui Ueyama588e8322015-06-15 01:23:58 +0000166// Only called when base relocation is enabled.
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000167void SectionChunk::getBaserels(std::vector<Baserel> *Res) {
Rui Ueyama42aa00b2015-06-25 00:33:38 +0000168 for (const coff_relocation &Rel : Relocs) {
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000169 uint8_t Ty = getBaserelType(Rel);
170 if (Ty == IMAGE_REL_BASED_ABSOLUTE)
Rui Ueyama588e8322015-06-15 01:23:58 +0000171 continue;
Rui Ueyama0744e872015-07-02 00:21:11 +0000172 SymbolBody *Body = File->getSymbolBody(Rel.SymbolTableIndex)->repl();
Rui Ueyama3cb895c2015-07-24 22:58:44 +0000173 if (isa<DefinedAbsolute>(Body))
Rui Ueyama588e8322015-06-15 01:23:58 +0000174 continue;
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000175 Res->emplace_back(RVA + Rel.VirtualAddress, Ty);
Rui Ueyama588e8322015-06-15 01:23:58 +0000176 }
177}
178
Rui Ueyama411c63602015-05-28 19:09:30 +0000179bool SectionChunk::hasData() const {
180 return !(Header->Characteristics & IMAGE_SCN_CNT_UNINITIALIZED_DATA);
181}
182
183uint32_t SectionChunk::getPermissions() const {
184 return Header->Characteristics & PermMask;
185}
186
187bool SectionChunk::isCOMDAT() const {
188 return Header->Characteristics & IMAGE_SCN_LNK_COMDAT;
189}
190
Rui Ueyamafc510f42015-06-25 19:10:58 +0000191void SectionChunk::printDiscardedMessage() const {
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000192 if (this == Ptr) {
193 // Removed by dead-stripping.
194 llvm::dbgs() << "Discarded " << Sym->getName() << "\n";
195 } else {
196 // Removed by ICF.
197 llvm::dbgs() << "Replaced " << Sym->getName() << "\n";
198 }
Rui Ueyama411c63602015-05-28 19:09:30 +0000199}
200
Rui Ueyama6a60be72015-06-24 00:00:52 +0000201StringRef SectionChunk::getDebugName() {
202 return Sym->getName();
203}
204
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000205uint64_t SectionChunk::getHash() const {
Rui Ueyamaf34c0882015-06-25 17:56:36 +0000206 ArrayRef<uint8_t> A = getContents();
Rui Ueyama02c30272015-06-25 17:43:37 +0000207 return hash_combine(getPermissions(),
208 llvm::hash_value(SectionName),
209 NumRelocs,
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000210 uint32_t(Header->SizeOfRawData),
Rui Ueyama02c30272015-06-25 17:43:37 +0000211 std::distance(Relocs.end(), Relocs.begin()),
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000212 hash_combine_range(A.data(), A.data() + A.size()));
213}
214
215// Returns true if this and a given chunk are identical COMDAT sections.
216bool SectionChunk::equals(const SectionChunk *X) const {
217 // Compare headers
218 if (getPermissions() != X->getPermissions())
219 return false;
220 if (SectionName != X->SectionName)
221 return false;
222 if (Header->SizeOfRawData != X->Header->SizeOfRawData)
223 return false;
Rui Ueyama02c30272015-06-25 17:43:37 +0000224 if (NumRelocs != X->NumRelocs)
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000225 return false;
226
227 // Compare data
Rui Ueyamaf34c0882015-06-25 17:56:36 +0000228 if (getContents() != X->getContents())
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000229 return false;
230
Rui Ueyama871847e2015-06-28 01:30:54 +0000231 // Compare associative sections
232 if (AssocChildren.size() != X->AssocChildren.size())
233 return false;
234 for (size_t I = 0, E = AssocChildren.size(); I != E; ++I)
235 if (AssocChildren[I]->Ptr != X->AssocChildren[I]->Ptr)
236 return false;
237
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000238 // Compare relocations
Rui Ueyamac6fcfbc2015-06-25 17:51:07 +0000239 auto Eq = [&](const coff_relocation &R1, const coff_relocation &R2) {
240 if (R1.Type != R2.Type)
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000241 return false;
Rui Ueyamac6fcfbc2015-06-25 17:51:07 +0000242 if (R1.VirtualAddress != R2.VirtualAddress)
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000243 return false;
Rui Ueyama0744e872015-07-02 00:21:11 +0000244 SymbolBody *B1 = File->getSymbolBody(R1.SymbolTableIndex)->repl();
245 SymbolBody *B2 = X->File->getSymbolBody(R2.SymbolTableIndex)->repl();
Rui Ueyama871847e2015-06-28 01:30:54 +0000246 if (B1 == B2)
247 return true;
Rui Ueyama9b921e52015-06-25 22:00:42 +0000248 auto *D1 = dyn_cast<DefinedRegular>(B1);
249 auto *D2 = dyn_cast<DefinedRegular>(B2);
Rui Ueyama871847e2015-06-28 01:30:54 +0000250 return (D1 && D2 &&
251 D1->getValue() == D2->getValue() &&
252 D1->getChunk() == D2->getChunk());
Rui Ueyamac6fcfbc2015-06-25 17:51:07 +0000253 };
254 return std::equal(Relocs.begin(), Relocs.end(), X->Relocs.begin(), Eq);
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000255}
256
Rui Ueyamaf34c0882015-06-25 17:56:36 +0000257ArrayRef<uint8_t> SectionChunk::getContents() const {
258 ArrayRef<uint8_t> A;
259 File->getCOFFObj()->getSectionContents(Header, A);
260 return A;
261}
262
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000263void SectionChunk::replaceWith(SectionChunk *Other) {
Rui Ueyama9b921e52015-06-25 22:00:42 +0000264 Ptr = Other->Ptr;
Rui Ueyamaddf71fc2015-06-24 04:36:52 +0000265 Live = false;
266}
267
Rui Ueyama9cf1abb2015-06-08 03:17:07 +0000268CommonChunk::CommonChunk(const COFFSymbolRef S) : Sym(S) {
Rui Ueyama5e31d0b2015-06-20 07:25:45 +0000269 // Common symbols are aligned on natural boundaries up to 32 bytes.
270 // This is what MSVC link.exe does.
271 Align = std::min(uint64_t(32), NextPowerOf2(Sym.getValue()));
Rui Ueyama9cf1abb2015-06-08 03:17:07 +0000272}
273
Rui Ueyama411c63602015-05-28 19:09:30 +0000274uint32_t CommonChunk::getPermissions() const {
Rui Ueyama411c63602015-05-28 19:09:30 +0000275 return IMAGE_SCN_CNT_UNINITIALIZED_DATA | IMAGE_SCN_MEM_READ |
276 IMAGE_SCN_MEM_WRITE;
277}
278
Rui Ueyamad6fefba42015-05-28 19:45:43 +0000279void StringChunk::writeTo(uint8_t *Buf) {
280 memcpy(Buf + FileOff, Str.data(), Str.size());
281}
282
Rui Ueyama28df0422015-07-25 01:16:06 +0000283ImportThunkChunkX64::ImportThunkChunkX64(Defined *S) : ImpSymbol(S) {
Rui Ueyama73835622015-06-26 18:28:56 +0000284 // Intel Optimization Manual says that all branch targets
285 // should be 16-byte aligned. MSVC linker does this too.
Rui Ueyama1c341a52015-07-25 01:16:04 +0000286 if (Config->MachineType == AMD64)
287 Align = 16;
Rui Ueyama73835622015-06-26 18:28:56 +0000288}
289
Rui Ueyama28df0422015-07-25 01:16:06 +0000290void ImportThunkChunkX64::writeTo(uint8_t *Buf) {
291 memcpy(Buf + FileOff, ImportThunkX86, sizeof(ImportThunkX86));
292 // The first two bytes is a JMP instruction. Fill its operand.
293 write32le(Buf + FileOff + 2, ImpSymbol->getRVA() - RVA - getSize());
Rui Ueyama33fb2cb2015-07-15 00:25:38 +0000294}
295
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000296void ImportThunkChunkX86::getBaserels(std::vector<Baserel> *Res) {
297 Res->emplace_back(getRVA() + 2);
Rui Ueyama28df0422015-07-25 01:16:06 +0000298}
299
300void ImportThunkChunkX86::writeTo(uint8_t *Buf) {
301 memcpy(Buf + FileOff, ImportThunkX86, sizeof(ImportThunkX86));
Rui Ueyama743afa02015-06-06 04:07:39 +0000302 // The first two bytes is a JMP instruction. Fill its operand.
Rui Ueyama28df0422015-07-25 01:16:06 +0000303 write32le(Buf + FileOff + 2, ImpSymbol->getRVA() + Config->ImageBase);
Rui Ueyama411c63602015-05-28 19:09:30 +0000304}
305
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000306void LocalImportChunk::getBaserels(std::vector<Baserel> *Res) {
307 Res->emplace_back(getRVA());
Rui Ueyama7a333c62015-07-02 20:33:50 +0000308}
309
Rui Ueyamad4b351f2015-07-09 21:15:58 +0000310size_t LocalImportChunk::getSize() const {
311 return Config->is64() ? 8 : 4;
312}
313
Rui Ueyama7a333c62015-07-02 20:33:50 +0000314void LocalImportChunk::writeTo(uint8_t *Buf) {
Rui Ueyamad4b351f2015-07-09 21:15:58 +0000315 if (Config->is64()) {
316 write64le(Buf + FileOff, Sym->getRVA() + Config->ImageBase);
317 } else {
318 write32le(Buf + FileOff, Sym->getRVA() + Config->ImageBase);
319 }
Rui Ueyama7a333c62015-07-02 20:33:50 +0000320}
321
Rui Ueyamacd3f99b2015-07-24 23:51:14 +0000322void SEHTableChunk::writeTo(uint8_t *Buf) {
323 ulittle32_t *Begin = reinterpret_cast<ulittle32_t *>(Buf + FileOff);
324 size_t Cnt = 0;
325 for (Defined *D : Syms)
326 Begin[Cnt++] = D->getRVA();
327 std::sort(Begin, Begin + Cnt);
328}
329
Rui Ueyama588e8322015-06-15 01:23:58 +0000330// Windows-specific.
331// This class represents a block in .reloc section.
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000332BaserelChunk::BaserelChunk(uint32_t Page, Baserel *Begin, Baserel *End) {
Rui Ueyama588e8322015-06-15 01:23:58 +0000333 // Block header consists of 4 byte page RVA and 4 byte block size.
334 // Each entry is 2 byte. Last entry may be padding.
335 Data.resize(RoundUpToAlignment((End - Begin) * 2 + 8, 4));
336 uint8_t *P = Data.data();
337 write32le(P, Page);
338 write32le(P + 4, Data.size());
339 P += 8;
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000340 for (Baserel *I = Begin; I != End; ++I) {
341 write16le(P, (I->Type << 12) | (I->RVA - Page));
Rui Ueyama588e8322015-06-15 01:23:58 +0000342 P += 2;
343 }
344}
345
346void BaserelChunk::writeTo(uint8_t *Buf) {
347 memcpy(Buf + FileOff, Data.data(), Data.size());
348}
349
Rui Ueyama3afd5bf2015-07-25 01:44:32 +0000350uint8_t Baserel::getDefaultType() {
351 switch (Config->MachineType) {
352 case IMAGE_FILE_MACHINE_AMD64:
353 return IMAGE_REL_BASED_DIR64;
354 case IMAGE_FILE_MACHINE_I386:
355 return IMAGE_REL_BASED_HIGHLOW;
356 default:
357 llvm_unreachable("unknown machine type");
358 }
359}
360
Rui Ueyama411c63602015-05-28 19:09:30 +0000361} // namespace coff
362} // namespace lld