1 //===- Writer.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 "Config.h" 11 #include "DLL.h" 12 #include "Error.h" 13 #include "InputFiles.h" 14 #include "SymbolTable.h" 15 #include "Symbols.h" 16 #include "Writer.h" 17 #include "lld/Core/Parallel.h" 18 #include "llvm/ADT/DenseMap.h" 19 #include "llvm/ADT/STLExtras.h" 20 #include "llvm/ADT/StringSwitch.h" 21 #include "llvm/Support/Debug.h" 22 #include "llvm/Support/Endian.h" 23 #include "llvm/Support/FileOutputBuffer.h" 24 #include "llvm/Support/raw_ostream.h" 25 #include <algorithm> 26 #include <cstdio> 27 #include <map> 28 #include <memory> 29 #include <utility> 30 31 using namespace llvm; 32 using namespace llvm::COFF; 33 using namespace llvm::object; 34 using namespace llvm::support; 35 using namespace llvm::support::endian; 36 using namespace lld; 37 using namespace lld::coff; 38 39 static const int PageSize = 4096; 40 static const int SectorSize = 512; 41 static const int DOSStubSize = 64; 42 static const int NumberfOfDataDirectory = 16; 43 44 namespace { 45 // The writer writes a SymbolTable result to a file. 46 class Writer { 47 public: 48 Writer(SymbolTable *T) : Symtab(T) {} 49 void run(); 50 51 private: 52 void createSections(); 53 void createMiscChunks(); 54 void createImportTables(); 55 void createExportTable(); 56 void assignAddresses(); 57 void removeEmptySections(); 58 void createSymbolAndStringTable(); 59 void openFile(StringRef OutputPath); 60 template <typename PEHeaderTy> void writeHeader(); 61 void fixSafeSEHSymbols(); 62 void writeSections(); 63 void sortExceptionTable(); 64 void applyRelocations(); 65 66 llvm::Optional<coff_symbol16> createSymbol(Defined *D); 67 size_t addEntryToStringTable(StringRef Str); 68 69 OutputSection *findSection(StringRef Name); 70 OutputSection *createSection(StringRef Name); 71 void addBaserels(OutputSection *Dest); 72 void addBaserelBlocks(OutputSection *Dest, std::vector<Baserel> &V); 73 74 uint32_t getSizeOfInitializedData(); 75 std::map<StringRef, std::vector<DefinedImportData *>> binImports(); 76 77 SymbolTable *Symtab; 78 std::unique_ptr<llvm::FileOutputBuffer> Buffer; 79 llvm::SpecificBumpPtrAllocator<OutputSection> CAlloc; 80 llvm::SpecificBumpPtrAllocator<BaserelChunk> BAlloc; 81 std::vector<OutputSection *> OutputSections; 82 std::vector<char> Strtab; 83 std::vector<llvm::object::coff_symbol16> OutputSymtab; 84 IdataContents Idata; 85 DelayLoadContents DelayIdata; 86 EdataContents Edata; 87 std::unique_ptr<SEHTableChunk> SEHTable; 88 89 uint64_t FileSize; 90 uint32_t PointerToSymbolTable = 0; 91 uint64_t SizeOfImage; 92 uint64_t SizeOfHeaders; 93 94 std::vector<std::unique_ptr<Chunk>> Chunks; 95 }; 96 } // anonymous namespace 97 98 namespace lld { 99 namespace coff { 100 101 void writeResult(SymbolTable *T) { Writer(T).run(); } 102 103 // OutputSection represents a section in an output file. It's a 104 // container of chunks. OutputSection and Chunk are 1:N relationship. 105 // Chunks cannot belong to more than one OutputSections. The writer 106 // creates multiple OutputSections and assign them unique, 107 // non-overlapping file offsets and RVAs. 108 class OutputSection { 109 public: 110 OutputSection(StringRef N) : Name(N), Header({}) {} 111 void setRVA(uint64_t); 112 void setFileOffset(uint64_t); 113 void addChunk(Chunk *C); 114 StringRef getName() { return Name; } 115 std::vector<Chunk *> &getChunks() { return Chunks; } 116 void addPermissions(uint32_t C); 117 uint32_t getPermissions() { return Header.Characteristics & PermMask; } 118 uint32_t getCharacteristics() { return Header.Characteristics; } 119 uint64_t getRVA() { return Header.VirtualAddress; } 120 uint64_t getFileOff() { return Header.PointerToRawData; } 121 void writeHeaderTo(uint8_t *Buf); 122 123 // Returns the size of this section in an executable memory image. 124 // This may be smaller than the raw size (the raw size is multiple 125 // of disk sector size, so there may be padding at end), or may be 126 // larger (if that's the case, the loader reserves spaces after end 127 // of raw data). 128 uint64_t getVirtualSize() { return Header.VirtualSize; } 129 130 // Returns the size of the section in the output file. 131 uint64_t getRawSize() { return Header.SizeOfRawData; } 132 133 // Set offset into the string table storing this section name. 134 // Used only when the name is longer than 8 bytes. 135 void setStringTableOff(uint32_t V) { StringTableOff = V; } 136 137 // N.B. The section index is one based. 138 uint32_t SectionIndex = 0; 139 140 private: 141 StringRef Name; 142 coff_section Header; 143 uint32_t StringTableOff = 0; 144 std::vector<Chunk *> Chunks; 145 }; 146 147 void OutputSection::setRVA(uint64_t RVA) { 148 Header.VirtualAddress = RVA; 149 for (Chunk *C : Chunks) 150 C->setRVA(C->getRVA() + RVA); 151 } 152 153 void OutputSection::setFileOffset(uint64_t Off) { 154 // If a section has no actual data (i.e. BSS section), we want to 155 // set 0 to its PointerToRawData. Otherwise the output is rejected 156 // by the loader. 157 if (Header.SizeOfRawData == 0) 158 return; 159 Header.PointerToRawData = Off; 160 } 161 162 void OutputSection::addChunk(Chunk *C) { 163 Chunks.push_back(C); 164 C->setOutputSection(this); 165 uint64_t Off = Header.VirtualSize; 166 Off = align(Off, C->getAlign()); 167 C->setRVA(Off); 168 C->setOutputSectionOff(Off); 169 Off += C->getSize(); 170 Header.VirtualSize = Off; 171 if (C->hasData()) 172 Header.SizeOfRawData = align(Off, SectorSize); 173 } 174 175 void OutputSection::addPermissions(uint32_t C) { 176 Header.Characteristics |= C & PermMask; 177 } 178 179 // Write the section header to a given buffer. 180 void OutputSection::writeHeaderTo(uint8_t *Buf) { 181 auto *Hdr = reinterpret_cast<coff_section *>(Buf); 182 *Hdr = Header; 183 if (StringTableOff) { 184 // If name is too long, write offset into the string table as a name. 185 sprintf(Hdr->Name, "/%d", StringTableOff); 186 } else { 187 assert(!Config->Debug || Name.size() <= COFF::NameSize); 188 strncpy(Hdr->Name, Name.data(), 189 std::min(Name.size(), (size_t)COFF::NameSize)); 190 } 191 } 192 193 uint64_t Defined::getSecrel() { 194 if (auto *D = dyn_cast<DefinedRegular>(this)) 195 return getRVA() - D->getChunk()->getOutputSection()->getRVA(); 196 error("SECREL relocation points to a non-regular symbol"); 197 } 198 199 uint64_t Defined::getSectionIndex() { 200 if (auto *D = dyn_cast<DefinedRegular>(this)) 201 return D->getChunk()->getOutputSection()->SectionIndex; 202 error("SECTION relocation points to a non-regular symbol"); 203 } 204 205 bool Defined::isExecutable() { 206 const auto X = IMAGE_SCN_MEM_EXECUTE; 207 if (auto *D = dyn_cast<DefinedRegular>(this)) 208 return D->getChunk()->getOutputSection()->getPermissions() & X; 209 return isa<DefinedImportThunk>(this); 210 } 211 212 } // namespace coff 213 } // namespace lld 214 215 // The main function of the writer. 216 void Writer::run() { 217 createSections(); 218 createMiscChunks(); 219 createImportTables(); 220 createExportTable(); 221 if (Config->Relocatable) 222 createSection(".reloc"); 223 assignAddresses(); 224 removeEmptySections(); 225 createSymbolAndStringTable(); 226 openFile(Config->OutputFile); 227 if (Config->is64()) { 228 writeHeader<pe32plus_header>(); 229 } else { 230 writeHeader<pe32_header>(); 231 } 232 fixSafeSEHSymbols(); 233 writeSections(); 234 sortExceptionTable(); 235 error(Buffer->commit(), "Failed to write the output file"); 236 } 237 238 static StringRef getOutputSection(StringRef Name) { 239 StringRef S = Name.split('$').first; 240 auto It = Config->Merge.find(S); 241 if (It == Config->Merge.end()) 242 return S; 243 return It->second; 244 } 245 246 // Create output section objects and add them to OutputSections. 247 void Writer::createSections() { 248 // First, bin chunks by name. 249 std::map<StringRef, std::vector<Chunk *>> Map; 250 for (Chunk *C : Symtab->getChunks()) { 251 auto *SC = dyn_cast<SectionChunk>(C); 252 if (SC && !SC->isLive()) { 253 if (Config->Verbose) 254 SC->printDiscardedMessage(); 255 continue; 256 } 257 Map[C->getSectionName()].push_back(C); 258 } 259 260 // Then create an OutputSection for each section. 261 // '$' and all following characters in input section names are 262 // discarded when determining output section. So, .text$foo 263 // contributes to .text, for example. See PE/COFF spec 3.2. 264 SmallDenseMap<StringRef, OutputSection *> Sections; 265 for (auto Pair : Map) { 266 StringRef Name = getOutputSection(Pair.first); 267 OutputSection *&Sec = Sections[Name]; 268 if (!Sec) { 269 Sec = new (CAlloc.Allocate()) OutputSection(Name); 270 OutputSections.push_back(Sec); 271 } 272 std::vector<Chunk *> &Chunks = Pair.second; 273 for (Chunk *C : Chunks) { 274 Sec->addChunk(C); 275 Sec->addPermissions(C->getPermissions()); 276 } 277 } 278 } 279 280 void Writer::createMiscChunks() { 281 // Create thunks for locally-dllimported symbols. 282 if (!Symtab->LocalImportChunks.empty()) { 283 OutputSection *Sec = createSection(".rdata"); 284 for (Chunk *C : Symtab->LocalImportChunks) 285 Sec->addChunk(C); 286 } 287 288 // Create SEH table. x86-only. 289 if (Config->Machine != I386) 290 return; 291 std::set<Defined *> Handlers; 292 for (lld::coff::ObjectFile *File : Symtab->ObjectFiles) { 293 if (!File->SEHCompat) 294 return; 295 for (SymbolBody *B : File->SEHandlers) 296 Handlers.insert(cast<Defined>(B->repl())); 297 } 298 SEHTable.reset(new SEHTableChunk(Handlers)); 299 createSection(".rdata")->addChunk(SEHTable.get()); 300 } 301 302 // Create .idata section for the DLL-imported symbol table. 303 // The format of this section is inherently Windows-specific. 304 // IdataContents class abstracted away the details for us, 305 // so we just let it create chunks and add them to the section. 306 void Writer::createImportTables() { 307 if (Symtab->ImportFiles.empty()) 308 return; 309 310 // Initialize DLLOrder so that import entries are ordered in 311 // the same order as in the command line. (That affects DLL 312 // initialization order, and this ordering is MSVC-compatible.) 313 for (ImportFile *File : Symtab->ImportFiles) { 314 std::string DLL = StringRef(File->DLLName).lower(); 315 if (Config->DLLOrder.count(DLL) == 0) 316 Config->DLLOrder[DLL] = Config->DLLOrder.size(); 317 } 318 319 OutputSection *Text = createSection(".text"); 320 for (ImportFile *File : Symtab->ImportFiles) { 321 if (DefinedImportThunk *Thunk = File->ThunkSym) 322 Text->addChunk(Thunk->getChunk()); 323 if (Config->DelayLoads.count(StringRef(File->DLLName).lower())) { 324 DelayIdata.add(File->ImpSym); 325 } else { 326 Idata.add(File->ImpSym); 327 } 328 } 329 if (!Idata.empty()) { 330 OutputSection *Sec = createSection(".idata"); 331 for (Chunk *C : Idata.getChunks()) 332 Sec->addChunk(C); 333 } 334 if (!DelayIdata.empty()) { 335 Defined *Helper = cast<Defined>(Config->DelayLoadHelper->repl()); 336 DelayIdata.create(Helper); 337 OutputSection *Sec = createSection(".didat"); 338 for (Chunk *C : DelayIdata.getChunks()) 339 Sec->addChunk(C); 340 Sec = createSection(".data"); 341 for (Chunk *C : DelayIdata.getDataChunks()) 342 Sec->addChunk(C); 343 Sec = createSection(".text"); 344 for (std::unique_ptr<Chunk> &C : DelayIdata.getCodeChunks()) 345 Sec->addChunk(C.get()); 346 } 347 } 348 349 void Writer::createExportTable() { 350 if (Config->Exports.empty()) 351 return; 352 OutputSection *Sec = createSection(".edata"); 353 for (std::unique_ptr<Chunk> &C : Edata.Chunks) 354 Sec->addChunk(C.get()); 355 } 356 357 // The Windows loader doesn't seem to like empty sections, 358 // so we remove them if any. 359 void Writer::removeEmptySections() { 360 auto IsEmpty = [](OutputSection *S) { return S->getVirtualSize() == 0; }; 361 OutputSections.erase( 362 std::remove_if(OutputSections.begin(), OutputSections.end(), IsEmpty), 363 OutputSections.end()); 364 uint32_t Idx = 1; 365 for (OutputSection *Sec : OutputSections) 366 Sec->SectionIndex = Idx++; 367 } 368 369 size_t Writer::addEntryToStringTable(StringRef Str) { 370 assert(Str.size() > COFF::NameSize); 371 size_t OffsetOfEntry = Strtab.size() + 4; // +4 for the size field 372 Strtab.insert(Strtab.end(), Str.begin(), Str.end()); 373 Strtab.push_back('\0'); 374 return OffsetOfEntry; 375 } 376 377 Optional<coff_symbol16> Writer::createSymbol(Defined *Def) { 378 if (auto *D = dyn_cast<DefinedRegular>(Def)) 379 if (!D->getChunk()->isLive()) 380 return None; 381 382 coff_symbol16 Sym; 383 StringRef Name = Def->getName(); 384 if (Name.size() > COFF::NameSize) { 385 Sym.Name.Offset.Zeroes = 0; 386 Sym.Name.Offset.Offset = addEntryToStringTable(Name); 387 } else { 388 memset(Sym.Name.ShortName, 0, COFF::NameSize); 389 memcpy(Sym.Name.ShortName, Name.data(), Name.size()); 390 } 391 392 if (auto *D = dyn_cast<DefinedCOFF>(Def)) { 393 COFFSymbolRef Ref = D->getCOFFSymbol(); 394 Sym.Type = Ref.getType(); 395 Sym.StorageClass = Ref.getStorageClass(); 396 } else { 397 Sym.Type = IMAGE_SYM_TYPE_NULL; 398 Sym.StorageClass = IMAGE_SYM_CLASS_EXTERNAL; 399 } 400 Sym.NumberOfAuxSymbols = 0; 401 402 switch (Def->kind()) { 403 case SymbolBody::DefinedAbsoluteKind: 404 case SymbolBody::DefinedRelativeKind: 405 Sym.Value = Def->getRVA(); 406 Sym.SectionNumber = IMAGE_SYM_ABSOLUTE; 407 break; 408 default: { 409 uint64_t RVA = Def->getRVA(); 410 OutputSection *Sec = nullptr; 411 for (OutputSection *S : OutputSections) { 412 if (S->getRVA() > RVA) 413 break; 414 Sec = S; 415 } 416 Sym.Value = RVA - Sec->getRVA(); 417 Sym.SectionNumber = Sec->SectionIndex; 418 break; 419 } 420 } 421 return Sym; 422 } 423 424 void Writer::createSymbolAndStringTable() { 425 if (!Config->Debug || !Config->WriteSymtab) 426 return; 427 428 // Name field in the section table is 8 byte long. Longer names need 429 // to be written to the string table. First, construct string table. 430 for (OutputSection *Sec : OutputSections) { 431 StringRef Name = Sec->getName(); 432 if (Name.size() <= COFF::NameSize) 433 continue; 434 Sec->setStringTableOff(addEntryToStringTable(Name)); 435 } 436 437 for (lld::coff::ObjectFile *File : Symtab->ObjectFiles) 438 for (SymbolBody *B : File->getSymbols()) 439 if (auto *D = dyn_cast<Defined>(B)) 440 if (Optional<coff_symbol16> Sym = createSymbol(D)) 441 OutputSymtab.push_back(*Sym); 442 443 for (ImportFile *File : Symtab->ImportFiles) 444 for (SymbolBody *B : File->getSymbols()) 445 if (Optional<coff_symbol16> Sym = createSymbol(cast<Defined>(B))) 446 OutputSymtab.push_back(*Sym); 447 448 OutputSection *LastSection = OutputSections.back(); 449 // We position the symbol table to be adjacent to the end of the last section. 450 uint64_t FileOff = 451 LastSection->getFileOff() + align(LastSection->getRawSize(), SectorSize); 452 if (!OutputSymtab.empty()) { 453 PointerToSymbolTable = FileOff; 454 FileOff += OutputSymtab.size() * sizeof(coff_symbol16); 455 } 456 if (!Strtab.empty()) 457 FileOff += Strtab.size() + 4; 458 FileSize = align(FileOff, SectorSize); 459 } 460 461 // Visits all sections to assign incremental, non-overlapping RVAs and 462 // file offsets. 463 void Writer::assignAddresses() { 464 SizeOfHeaders = DOSStubSize + sizeof(PEMagic) + sizeof(coff_file_header) + 465 sizeof(data_directory) * NumberfOfDataDirectory + 466 sizeof(coff_section) * OutputSections.size(); 467 SizeOfHeaders += 468 Config->is64() ? sizeof(pe32plus_header) : sizeof(pe32_header); 469 SizeOfHeaders = align(SizeOfHeaders, SectorSize); 470 uint64_t RVA = 0x1000; // The first page is kept unmapped. 471 FileSize = SizeOfHeaders; 472 // Move DISCARDABLE (or non-memory-mapped) sections to the end of file because 473 // the loader cannot handle holes. 474 std::stable_partition( 475 OutputSections.begin(), OutputSections.end(), [](OutputSection *S) { 476 return (S->getPermissions() & IMAGE_SCN_MEM_DISCARDABLE) == 0; 477 }); 478 for (OutputSection *Sec : OutputSections) { 479 if (Sec->getName() == ".reloc") 480 addBaserels(Sec); 481 Sec->setRVA(RVA); 482 Sec->setFileOffset(FileSize); 483 RVA += align(Sec->getVirtualSize(), PageSize); 484 FileSize += align(Sec->getRawSize(), SectorSize); 485 } 486 SizeOfImage = SizeOfHeaders + align(RVA - 0x1000, PageSize); 487 } 488 489 template <typename PEHeaderTy> void Writer::writeHeader() { 490 // Write DOS stub 491 uint8_t *Buf = Buffer->getBufferStart(); 492 auto *DOS = reinterpret_cast<dos_header *>(Buf); 493 Buf += DOSStubSize; 494 DOS->Magic[0] = 'M'; 495 DOS->Magic[1] = 'Z'; 496 DOS->AddressOfRelocationTable = sizeof(dos_header); 497 DOS->AddressOfNewExeHeader = DOSStubSize; 498 499 // Write PE magic 500 memcpy(Buf, PEMagic, sizeof(PEMagic)); 501 Buf += sizeof(PEMagic); 502 503 // Write COFF header 504 auto *COFF = reinterpret_cast<coff_file_header *>(Buf); 505 Buf += sizeof(*COFF); 506 COFF->Machine = Config->Machine; 507 COFF->NumberOfSections = OutputSections.size(); 508 COFF->Characteristics = IMAGE_FILE_EXECUTABLE_IMAGE; 509 if (Config->LargeAddressAware) 510 COFF->Characteristics |= IMAGE_FILE_LARGE_ADDRESS_AWARE; 511 if (!Config->is64()) 512 COFF->Characteristics |= IMAGE_FILE_32BIT_MACHINE; 513 if (Config->DLL) 514 COFF->Characteristics |= IMAGE_FILE_DLL; 515 if (!Config->Relocatable) 516 COFF->Characteristics |= IMAGE_FILE_RELOCS_STRIPPED; 517 COFF->SizeOfOptionalHeader = 518 sizeof(PEHeaderTy) + sizeof(data_directory) * NumberfOfDataDirectory; 519 520 // Write PE header 521 auto *PE = reinterpret_cast<PEHeaderTy *>(Buf); 522 Buf += sizeof(*PE); 523 PE->Magic = Config->is64() ? PE32Header::PE32_PLUS : PE32Header::PE32; 524 PE->ImageBase = Config->ImageBase; 525 PE->SectionAlignment = PageSize; 526 PE->FileAlignment = SectorSize; 527 PE->MajorImageVersion = Config->MajorImageVersion; 528 PE->MinorImageVersion = Config->MinorImageVersion; 529 PE->MajorOperatingSystemVersion = Config->MajorOSVersion; 530 PE->MinorOperatingSystemVersion = Config->MinorOSVersion; 531 PE->MajorSubsystemVersion = Config->MajorOSVersion; 532 PE->MinorSubsystemVersion = Config->MinorOSVersion; 533 PE->Subsystem = Config->Subsystem; 534 PE->SizeOfImage = SizeOfImage; 535 PE->SizeOfHeaders = SizeOfHeaders; 536 if (!Config->NoEntry) { 537 Defined *Entry = cast<Defined>(Config->Entry->repl()); 538 PE->AddressOfEntryPoint = Entry->getRVA(); 539 // Pointer to thumb code must have the LSB set, so adjust it. 540 if (Config->Machine == ARMNT) 541 PE->AddressOfEntryPoint |= 1; 542 } 543 PE->SizeOfStackReserve = Config->StackReserve; 544 PE->SizeOfStackCommit = Config->StackCommit; 545 PE->SizeOfHeapReserve = Config->HeapReserve; 546 PE->SizeOfHeapCommit = Config->HeapCommit; 547 if (Config->DynamicBase) 548 PE->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_DYNAMIC_BASE; 549 if (Config->HighEntropyVA) 550 PE->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_HIGH_ENTROPY_VA; 551 if (!Config->AllowBind) 552 PE->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NO_BIND; 553 if (Config->NxCompat) 554 PE->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NX_COMPAT; 555 if (!Config->AllowIsolation) 556 PE->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NO_ISOLATION; 557 if (Config->TerminalServerAware) 558 PE->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_TERMINAL_SERVER_AWARE; 559 PE->NumberOfRvaAndSize = NumberfOfDataDirectory; 560 if (OutputSection *Text = findSection(".text")) { 561 PE->BaseOfCode = Text->getRVA(); 562 PE->SizeOfCode = Text->getRawSize(); 563 } 564 PE->SizeOfInitializedData = getSizeOfInitializedData(); 565 566 // Write data directory 567 auto *Dir = reinterpret_cast<data_directory *>(Buf); 568 Buf += sizeof(*Dir) * NumberfOfDataDirectory; 569 if (OutputSection *Sec = findSection(".edata")) { 570 Dir[EXPORT_TABLE].RelativeVirtualAddress = Sec->getRVA(); 571 Dir[EXPORT_TABLE].Size = Sec->getVirtualSize(); 572 } 573 if (!Idata.empty()) { 574 Dir[IMPORT_TABLE].RelativeVirtualAddress = Idata.getDirRVA(); 575 Dir[IMPORT_TABLE].Size = Idata.getDirSize(); 576 Dir[IAT].RelativeVirtualAddress = Idata.getIATRVA(); 577 Dir[IAT].Size = Idata.getIATSize(); 578 } 579 if (!DelayIdata.empty()) { 580 Dir[DELAY_IMPORT_DESCRIPTOR].RelativeVirtualAddress = 581 DelayIdata.getDirRVA(); 582 Dir[DELAY_IMPORT_DESCRIPTOR].Size = DelayIdata.getDirSize(); 583 } 584 if (OutputSection *Sec = findSection(".rsrc")) { 585 Dir[RESOURCE_TABLE].RelativeVirtualAddress = Sec->getRVA(); 586 Dir[RESOURCE_TABLE].Size = Sec->getVirtualSize(); 587 } 588 if (OutputSection *Sec = findSection(".reloc")) { 589 Dir[BASE_RELOCATION_TABLE].RelativeVirtualAddress = Sec->getRVA(); 590 Dir[BASE_RELOCATION_TABLE].Size = Sec->getVirtualSize(); 591 } 592 if (OutputSection *Sec = findSection(".pdata")) { 593 Dir[EXCEPTION_TABLE].RelativeVirtualAddress = Sec->getRVA(); 594 Dir[EXCEPTION_TABLE].Size = Sec->getVirtualSize(); 595 } 596 if (Symbol *Sym = Symtab->findUnderscore("_tls_used")) { 597 if (Defined *B = dyn_cast<Defined>(Sym->Body)) { 598 Dir[TLS_TABLE].RelativeVirtualAddress = B->getRVA(); 599 Dir[TLS_TABLE].Size = 40; 600 } 601 } 602 if (Symbol *Sym = Symtab->findUnderscore("_load_config_used")) { 603 if (Defined *B = dyn_cast<Defined>(Sym->Body)) { 604 Dir[LOAD_CONFIG_TABLE].RelativeVirtualAddress = B->getRVA(); 605 Dir[LOAD_CONFIG_TABLE].Size = Config->is64() ? 112 : 64; 606 } 607 } 608 609 // Write section table 610 for (OutputSection *Sec : OutputSections) { 611 Sec->writeHeaderTo(Buf); 612 Buf += sizeof(coff_section); 613 } 614 615 if (OutputSymtab.empty()) 616 return; 617 618 COFF->PointerToSymbolTable = PointerToSymbolTable; 619 uint32_t NumberOfSymbols = OutputSymtab.size(); 620 COFF->NumberOfSymbols = NumberOfSymbols; 621 auto *SymbolTable = reinterpret_cast<coff_symbol16 *>( 622 Buffer->getBufferStart() + COFF->PointerToSymbolTable); 623 for (size_t I = 0; I != NumberOfSymbols; ++I) 624 SymbolTable[I] = OutputSymtab[I]; 625 // Create the string table, it follows immediately after the symbol table. 626 // The first 4 bytes is length including itself. 627 Buf = reinterpret_cast<uint8_t *>(&SymbolTable[NumberOfSymbols]); 628 write32le(Buf, Strtab.size() + 4); 629 memcpy(Buf + 4, Strtab.data(), Strtab.size()); 630 } 631 632 void Writer::openFile(StringRef Path) { 633 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr = 634 FileOutputBuffer::create(Path, FileSize, FileOutputBuffer::F_executable); 635 error(BufferOrErr, Twine("failed to open ") + Path); 636 Buffer = std::move(*BufferOrErr); 637 } 638 639 void Writer::fixSafeSEHSymbols() { 640 if (!SEHTable) 641 return; 642 Config->SEHTable->setRVA(SEHTable->getRVA()); 643 Config->SEHCount->setVA(SEHTable->getSize() / 4); 644 } 645 646 // Write section contents to a mmap'ed file. 647 void Writer::writeSections() { 648 uint8_t *Buf = Buffer->getBufferStart(); 649 for (OutputSection *Sec : OutputSections) { 650 uint8_t *SecBuf = Buf + Sec->getFileOff(); 651 // Fill gaps between functions in .text with INT3 instructions 652 // instead of leaving as NUL bytes (which can be interpreted as 653 // ADD instructions). 654 if (Sec->getPermissions() & IMAGE_SCN_CNT_CODE) 655 memset(SecBuf, 0xCC, Sec->getRawSize()); 656 parallel_for_each(Sec->getChunks().begin(), Sec->getChunks().end(), 657 [&](Chunk *C) { C->writeTo(SecBuf); }); 658 } 659 } 660 661 // Sort .pdata section contents according to PE/COFF spec 5.5. 662 void Writer::sortExceptionTable() { 663 OutputSection *Sec = findSection(".pdata"); 664 if (!Sec) 665 return; 666 // We assume .pdata contains function table entries only. 667 uint8_t *Begin = Buffer->getBufferStart() + Sec->getFileOff(); 668 uint8_t *End = Begin + Sec->getVirtualSize(); 669 if (Config->Machine == AMD64) { 670 struct Entry { ulittle32_t Begin, End, Unwind; }; 671 parallel_sort( 672 (Entry *)Begin, (Entry *)End, 673 [](const Entry &A, const Entry &B) { return A.Begin < B.Begin; }); 674 return; 675 } 676 if (Config->Machine == ARMNT) { 677 struct Entry { ulittle32_t Begin, Unwind; }; 678 parallel_sort( 679 (Entry *)Begin, (Entry *)End, 680 [](const Entry &A, const Entry &B) { return A.Begin < B.Begin; }); 681 return; 682 } 683 errs() << "warning: don't know how to handle .pdata.\n"; 684 } 685 686 OutputSection *Writer::findSection(StringRef Name) { 687 for (OutputSection *Sec : OutputSections) 688 if (Sec->getName() == Name) 689 return Sec; 690 return nullptr; 691 } 692 693 uint32_t Writer::getSizeOfInitializedData() { 694 uint32_t Res = 0; 695 for (OutputSection *S : OutputSections) 696 if (S->getPermissions() & IMAGE_SCN_CNT_INITIALIZED_DATA) 697 Res += S->getRawSize(); 698 return Res; 699 } 700 701 // Returns an existing section or create a new one if not found. 702 OutputSection *Writer::createSection(StringRef Name) { 703 if (auto *Sec = findSection(Name)) 704 return Sec; 705 const auto DATA = IMAGE_SCN_CNT_INITIALIZED_DATA; 706 const auto BSS = IMAGE_SCN_CNT_UNINITIALIZED_DATA; 707 const auto CODE = IMAGE_SCN_CNT_CODE; 708 const auto DISCARDABLE = IMAGE_SCN_MEM_DISCARDABLE; 709 const auto R = IMAGE_SCN_MEM_READ; 710 const auto W = IMAGE_SCN_MEM_WRITE; 711 const auto X = IMAGE_SCN_MEM_EXECUTE; 712 uint32_t Perms = StringSwitch<uint32_t>(Name) 713 .Case(".bss", BSS | R | W) 714 .Case(".data", DATA | R | W) 715 .Case(".didat", DATA | R) 716 .Case(".edata", DATA | R) 717 .Case(".idata", DATA | R) 718 .Case(".rdata", DATA | R) 719 .Case(".reloc", DATA | DISCARDABLE | R) 720 .Case(".text", CODE | R | X) 721 .Default(0); 722 if (!Perms) 723 llvm_unreachable("unknown section name"); 724 auto Sec = new (CAlloc.Allocate()) OutputSection(Name); 725 Sec->addPermissions(Perms); 726 OutputSections.push_back(Sec); 727 return Sec; 728 } 729 730 // Dest is .reloc section. Add contents to that section. 731 void Writer::addBaserels(OutputSection *Dest) { 732 std::vector<Baserel> V; 733 for (OutputSection *Sec : OutputSections) { 734 if (Sec == Dest) 735 continue; 736 // Collect all locations for base relocations. 737 for (Chunk *C : Sec->getChunks()) 738 C->getBaserels(&V); 739 // Add the addresses to .reloc section. 740 if (!V.empty()) 741 addBaserelBlocks(Dest, V); 742 V.clear(); 743 } 744 } 745 746 // Add addresses to .reloc section. Note that addresses are grouped by page. 747 void Writer::addBaserelBlocks(OutputSection *Dest, std::vector<Baserel> &V) { 748 const uint32_t Mask = ~uint32_t(PageSize - 1); 749 uint32_t Page = V[0].RVA & Mask; 750 size_t I = 0, J = 1; 751 for (size_t E = V.size(); J < E; ++J) { 752 uint32_t P = V[J].RVA & Mask; 753 if (P == Page) 754 continue; 755 BaserelChunk *Buf = BAlloc.Allocate(); 756 Dest->addChunk(new (Buf) BaserelChunk(Page, &V[I], &V[0] + J)); 757 I = J; 758 Page = P; 759 } 760 if (I == J) 761 return; 762 BaserelChunk *Buf = BAlloc.Allocate(); 763 Dest->addChunk(new (Buf) BaserelChunk(Page, &V[I], &V[0] + J)); 764 } 765