10b57cec5SDimitry Andric //===- Writer.cpp ---------------------------------------------------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric 90b57cec5SDimitry Andric #include "Writer.h" 10*349cc55cSDimitry Andric #include "COFFLinkerContext.h" 11e8d8bef9SDimitry Andric #include "CallGraphSort.h" 120b57cec5SDimitry Andric #include "Config.h" 130b57cec5SDimitry Andric #include "DLL.h" 140b57cec5SDimitry Andric #include "InputFiles.h" 155ffd83dbSDimitry Andric #include "LLDMapFile.h" 160b57cec5SDimitry Andric #include "MapFile.h" 170b57cec5SDimitry Andric #include "PDB.h" 180b57cec5SDimitry Andric #include "SymbolTable.h" 190b57cec5SDimitry Andric #include "Symbols.h" 200b57cec5SDimitry Andric #include "lld/Common/ErrorHandler.h" 210b57cec5SDimitry Andric #include "lld/Common/Memory.h" 220b57cec5SDimitry Andric #include "lld/Common/Timer.h" 230b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h" 240b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 25480093f4SDimitry Andric #include "llvm/ADT/StringSet.h" 260b57cec5SDimitry Andric #include "llvm/ADT/StringSwitch.h" 270b57cec5SDimitry Andric #include "llvm/Support/BinaryStreamReader.h" 280b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 290b57cec5SDimitry Andric #include "llvm/Support/Endian.h" 300b57cec5SDimitry Andric #include "llvm/Support/FileOutputBuffer.h" 310b57cec5SDimitry Andric #include "llvm/Support/Parallel.h" 320b57cec5SDimitry Andric #include "llvm/Support/Path.h" 330b57cec5SDimitry Andric #include "llvm/Support/RandomNumberGenerator.h" 340b57cec5SDimitry Andric #include "llvm/Support/xxhash.h" 350b57cec5SDimitry Andric #include <algorithm> 360b57cec5SDimitry Andric #include <cstdio> 370b57cec5SDimitry Andric #include <map> 380b57cec5SDimitry Andric #include <memory> 390b57cec5SDimitry Andric #include <utility> 400b57cec5SDimitry Andric 410b57cec5SDimitry Andric using namespace llvm; 420b57cec5SDimitry Andric using namespace llvm::COFF; 430b57cec5SDimitry Andric using namespace llvm::object; 440b57cec5SDimitry Andric using namespace llvm::support; 450b57cec5SDimitry Andric using namespace llvm::support::endian; 465ffd83dbSDimitry Andric using namespace lld; 475ffd83dbSDimitry Andric using namespace lld::coff; 480b57cec5SDimitry Andric 490b57cec5SDimitry Andric /* To re-generate DOSProgram: 500b57cec5SDimitry Andric $ cat > /tmp/DOSProgram.asm 510b57cec5SDimitry Andric org 0 520b57cec5SDimitry Andric ; Copy cs to ds. 530b57cec5SDimitry Andric push cs 540b57cec5SDimitry Andric pop ds 550b57cec5SDimitry Andric ; Point ds:dx at the $-terminated string. 560b57cec5SDimitry Andric mov dx, str 570b57cec5SDimitry Andric ; Int 21/AH=09h: Write string to standard output. 580b57cec5SDimitry Andric mov ah, 0x9 590b57cec5SDimitry Andric int 0x21 600b57cec5SDimitry Andric ; Int 21/AH=4Ch: Exit with return code (in AL). 610b57cec5SDimitry Andric mov ax, 0x4C01 620b57cec5SDimitry Andric int 0x21 630b57cec5SDimitry Andric str: 640b57cec5SDimitry Andric db 'This program cannot be run in DOS mode.$' 650b57cec5SDimitry Andric align 8, db 0 660b57cec5SDimitry Andric $ nasm -fbin /tmp/DOSProgram.asm -o /tmp/DOSProgram.bin 670b57cec5SDimitry Andric $ xxd -i /tmp/DOSProgram.bin 680b57cec5SDimitry Andric */ 690b57cec5SDimitry Andric static unsigned char dosProgram[] = { 700b57cec5SDimitry Andric 0x0e, 0x1f, 0xba, 0x0e, 0x00, 0xb4, 0x09, 0xcd, 0x21, 0xb8, 0x01, 0x4c, 710b57cec5SDimitry Andric 0xcd, 0x21, 0x54, 0x68, 0x69, 0x73, 0x20, 0x70, 0x72, 0x6f, 0x67, 0x72, 720b57cec5SDimitry Andric 0x61, 0x6d, 0x20, 0x63, 0x61, 0x6e, 0x6e, 0x6f, 0x74, 0x20, 0x62, 0x65, 730b57cec5SDimitry Andric 0x20, 0x72, 0x75, 0x6e, 0x20, 0x69, 0x6e, 0x20, 0x44, 0x4f, 0x53, 0x20, 740b57cec5SDimitry Andric 0x6d, 0x6f, 0x64, 0x65, 0x2e, 0x24, 0x00, 0x00 750b57cec5SDimitry Andric }; 760b57cec5SDimitry Andric static_assert(sizeof(dosProgram) % 8 == 0, 770b57cec5SDimitry Andric "DOSProgram size must be multiple of 8"); 780b57cec5SDimitry Andric 790b57cec5SDimitry Andric static const int dosStubSize = sizeof(dos_header) + sizeof(dosProgram); 800b57cec5SDimitry Andric static_assert(dosStubSize % 8 == 0, "DOSStub size must be multiple of 8"); 810b57cec5SDimitry Andric 820b57cec5SDimitry Andric static const int numberOfDataDirectory = 16; 830b57cec5SDimitry Andric 840b57cec5SDimitry Andric namespace { 850b57cec5SDimitry Andric 860b57cec5SDimitry Andric class DebugDirectoryChunk : public NonSectionChunk { 870b57cec5SDimitry Andric public: 88*349cc55cSDimitry Andric DebugDirectoryChunk(COFFLinkerContext &c, 89*349cc55cSDimitry Andric const std::vector<std::pair<COFF::DebugType, Chunk *>> &r, 905ffd83dbSDimitry Andric bool writeRepro) 91*349cc55cSDimitry Andric : records(r), writeRepro(writeRepro), ctx(c) {} 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric size_t getSize() const override { 940b57cec5SDimitry Andric return (records.size() + int(writeRepro)) * sizeof(debug_directory); 950b57cec5SDimitry Andric } 960b57cec5SDimitry Andric 970b57cec5SDimitry Andric void writeTo(uint8_t *b) const override { 980b57cec5SDimitry Andric auto *d = reinterpret_cast<debug_directory *>(b); 990b57cec5SDimitry Andric 1005ffd83dbSDimitry Andric for (const std::pair<COFF::DebugType, Chunk *>& record : records) { 1015ffd83dbSDimitry Andric Chunk *c = record.second; 102*349cc55cSDimitry Andric OutputSection *os = ctx.getOutputSection(c); 1035ffd83dbSDimitry Andric uint64_t offs = os->getFileOff() + (c->getRVA() - os->getRVA()); 1045ffd83dbSDimitry Andric fillEntry(d, record.first, c->getSize(), c->getRVA(), offs); 1050b57cec5SDimitry Andric ++d; 1060b57cec5SDimitry Andric } 1070b57cec5SDimitry Andric 1080b57cec5SDimitry Andric if (writeRepro) { 1090b57cec5SDimitry Andric // FIXME: The COFF spec allows either a 0-sized entry to just say 1100b57cec5SDimitry Andric // "the timestamp field is really a hash", or a 4-byte size field 1110b57cec5SDimitry Andric // followed by that many bytes containing a longer hash (with the 1120b57cec5SDimitry Andric // lowest 4 bytes usually being the timestamp in little-endian order). 1130b57cec5SDimitry Andric // Consider storing the full 8 bytes computed by xxHash64 here. 1140b57cec5SDimitry Andric fillEntry(d, COFF::IMAGE_DEBUG_TYPE_REPRO, 0, 0, 0); 1150b57cec5SDimitry Andric } 1160b57cec5SDimitry Andric } 1170b57cec5SDimitry Andric 1180b57cec5SDimitry Andric void setTimeDateStamp(uint32_t timeDateStamp) { 1190b57cec5SDimitry Andric for (support::ulittle32_t *tds : timeDateStamps) 1200b57cec5SDimitry Andric *tds = timeDateStamp; 1210b57cec5SDimitry Andric } 1220b57cec5SDimitry Andric 1230b57cec5SDimitry Andric private: 1240b57cec5SDimitry Andric void fillEntry(debug_directory *d, COFF::DebugType debugType, size_t size, 1250b57cec5SDimitry Andric uint64_t rva, uint64_t offs) const { 1260b57cec5SDimitry Andric d->Characteristics = 0; 1270b57cec5SDimitry Andric d->TimeDateStamp = 0; 1280b57cec5SDimitry Andric d->MajorVersion = 0; 1290b57cec5SDimitry Andric d->MinorVersion = 0; 1300b57cec5SDimitry Andric d->Type = debugType; 1310b57cec5SDimitry Andric d->SizeOfData = size; 1320b57cec5SDimitry Andric d->AddressOfRawData = rva; 1330b57cec5SDimitry Andric d->PointerToRawData = offs; 1340b57cec5SDimitry Andric 1350b57cec5SDimitry Andric timeDateStamps.push_back(&d->TimeDateStamp); 1360b57cec5SDimitry Andric } 1370b57cec5SDimitry Andric 1380b57cec5SDimitry Andric mutable std::vector<support::ulittle32_t *> timeDateStamps; 1395ffd83dbSDimitry Andric const std::vector<std::pair<COFF::DebugType, Chunk *>> &records; 1400b57cec5SDimitry Andric bool writeRepro; 141*349cc55cSDimitry Andric 142*349cc55cSDimitry Andric COFFLinkerContext &ctx; 1430b57cec5SDimitry Andric }; 1440b57cec5SDimitry Andric 1450b57cec5SDimitry Andric class CVDebugRecordChunk : public NonSectionChunk { 1460b57cec5SDimitry Andric public: 1470b57cec5SDimitry Andric size_t getSize() const override { 1480b57cec5SDimitry Andric return sizeof(codeview::DebugInfo) + config->pdbAltPath.size() + 1; 1490b57cec5SDimitry Andric } 1500b57cec5SDimitry Andric 1510b57cec5SDimitry Andric void writeTo(uint8_t *b) const override { 1520b57cec5SDimitry Andric // Save off the DebugInfo entry to backfill the file signature (build id) 1530b57cec5SDimitry Andric // in Writer::writeBuildId 1540b57cec5SDimitry Andric buildId = reinterpret_cast<codeview::DebugInfo *>(b); 1550b57cec5SDimitry Andric 1560b57cec5SDimitry Andric // variable sized field (PDB Path) 1570b57cec5SDimitry Andric char *p = reinterpret_cast<char *>(b + sizeof(*buildId)); 1580b57cec5SDimitry Andric if (!config->pdbAltPath.empty()) 1590b57cec5SDimitry Andric memcpy(p, config->pdbAltPath.data(), config->pdbAltPath.size()); 1600b57cec5SDimitry Andric p[config->pdbAltPath.size()] = '\0'; 1610b57cec5SDimitry Andric } 1620b57cec5SDimitry Andric 1630b57cec5SDimitry Andric mutable codeview::DebugInfo *buildId = nullptr; 1640b57cec5SDimitry Andric }; 1650b57cec5SDimitry Andric 1665ffd83dbSDimitry Andric class ExtendedDllCharacteristicsChunk : public NonSectionChunk { 1675ffd83dbSDimitry Andric public: 1685ffd83dbSDimitry Andric ExtendedDllCharacteristicsChunk(uint32_t c) : characteristics(c) {} 1695ffd83dbSDimitry Andric 1705ffd83dbSDimitry Andric size_t getSize() const override { return 4; } 1715ffd83dbSDimitry Andric 1725ffd83dbSDimitry Andric void writeTo(uint8_t *buf) const override { write32le(buf, characteristics); } 1735ffd83dbSDimitry Andric 1745ffd83dbSDimitry Andric uint32_t characteristics = 0; 1755ffd83dbSDimitry Andric }; 1765ffd83dbSDimitry Andric 1770b57cec5SDimitry Andric // PartialSection represents a group of chunks that contribute to an 1780b57cec5SDimitry Andric // OutputSection. Collating a collection of PartialSections of same name and 1790b57cec5SDimitry Andric // characteristics constitutes the OutputSection. 1800b57cec5SDimitry Andric class PartialSectionKey { 1810b57cec5SDimitry Andric public: 1820b57cec5SDimitry Andric StringRef name; 1830b57cec5SDimitry Andric unsigned characteristics; 1840b57cec5SDimitry Andric 1850b57cec5SDimitry Andric bool operator<(const PartialSectionKey &other) const { 1860b57cec5SDimitry Andric int c = name.compare(other.name); 1870b57cec5SDimitry Andric if (c == 1) 1880b57cec5SDimitry Andric return false; 1890b57cec5SDimitry Andric if (c == 0) 1900b57cec5SDimitry Andric return characteristics < other.characteristics; 1910b57cec5SDimitry Andric return true; 1920b57cec5SDimitry Andric } 1930b57cec5SDimitry Andric }; 1940b57cec5SDimitry Andric 1950b57cec5SDimitry Andric // The writer writes a SymbolTable result to a file. 1960b57cec5SDimitry Andric class Writer { 1970b57cec5SDimitry Andric public: 198*349cc55cSDimitry Andric Writer(COFFLinkerContext &c) : buffer(errorHandler().outputBuffer), ctx(c) {} 1990b57cec5SDimitry Andric void run(); 2000b57cec5SDimitry Andric 2010b57cec5SDimitry Andric private: 2020b57cec5SDimitry Andric void createSections(); 2030b57cec5SDimitry Andric void createMiscChunks(); 2040b57cec5SDimitry Andric void createImportTables(); 2050b57cec5SDimitry Andric void appendImportThunks(); 2060b57cec5SDimitry Andric void locateImportTables(); 2070b57cec5SDimitry Andric void createExportTable(); 2080b57cec5SDimitry Andric void mergeSections(); 2090b57cec5SDimitry Andric void removeUnusedSections(); 2100b57cec5SDimitry Andric void assignAddresses(); 2110b57cec5SDimitry Andric void finalizeAddresses(); 2120b57cec5SDimitry Andric void removeEmptySections(); 2130b57cec5SDimitry Andric void assignOutputSectionIndices(); 2140b57cec5SDimitry Andric void createSymbolAndStringTable(); 2150b57cec5SDimitry Andric void openFile(StringRef outputPath); 2160b57cec5SDimitry Andric template <typename PEHeaderTy> void writeHeader(); 2170b57cec5SDimitry Andric void createSEHTable(); 2180b57cec5SDimitry Andric void createRuntimePseudoRelocs(); 2190b57cec5SDimitry Andric void insertCtorDtorSymbols(); 2200b57cec5SDimitry Andric void createGuardCFTables(); 2210b57cec5SDimitry Andric void markSymbolsForRVATable(ObjFile *file, 2220b57cec5SDimitry Andric ArrayRef<SectionChunk *> symIdxChunks, 2230b57cec5SDimitry Andric SymbolRVASet &tableSymbols); 224e8d8bef9SDimitry Andric void getSymbolsFromSections(ObjFile *file, 225e8d8bef9SDimitry Andric ArrayRef<SectionChunk *> symIdxChunks, 226e8d8bef9SDimitry Andric std::vector<Symbol *> &symbols); 2270b57cec5SDimitry Andric void maybeAddRVATable(SymbolRVASet tableSymbols, StringRef tableSym, 228fe6060f1SDimitry Andric StringRef countSym, bool hasFlag=false); 2290b57cec5SDimitry Andric void setSectionPermissions(); 2300b57cec5SDimitry Andric void writeSections(); 2310b57cec5SDimitry Andric void writeBuildId(); 232e8d8bef9SDimitry Andric void sortSections(); 2330b57cec5SDimitry Andric void sortExceptionTable(); 2340b57cec5SDimitry Andric void sortCRTSectionChunks(std::vector<Chunk *> &chunks); 2350b57cec5SDimitry Andric void addSyntheticIdata(); 2360b57cec5SDimitry Andric void fixPartialSectionChars(StringRef name, uint32_t chars); 2370b57cec5SDimitry Andric bool fixGnuImportChunks(); 238e8d8bef9SDimitry Andric void fixTlsAlignment(); 2390b57cec5SDimitry Andric PartialSection *createPartialSection(StringRef name, uint32_t outChars); 2400b57cec5SDimitry Andric PartialSection *findPartialSection(StringRef name, uint32_t outChars); 2410b57cec5SDimitry Andric 2420b57cec5SDimitry Andric llvm::Optional<coff_symbol16> createSymbol(Defined *d); 2430b57cec5SDimitry Andric size_t addEntryToStringTable(StringRef str); 2440b57cec5SDimitry Andric 2450b57cec5SDimitry Andric OutputSection *findSection(StringRef name); 2460b57cec5SDimitry Andric void addBaserels(); 2470b57cec5SDimitry Andric void addBaserelBlocks(std::vector<Baserel> &v); 2480b57cec5SDimitry Andric 2490b57cec5SDimitry Andric uint32_t getSizeOfInitializedData(); 2500b57cec5SDimitry Andric 2510b57cec5SDimitry Andric std::unique_ptr<FileOutputBuffer> &buffer; 2520b57cec5SDimitry Andric std::map<PartialSectionKey, PartialSection *> partialSections; 2530b57cec5SDimitry Andric std::vector<char> strtab; 2540b57cec5SDimitry Andric std::vector<llvm::object::coff_symbol16> outputSymtab; 2550b57cec5SDimitry Andric IdataContents idata; 2560b57cec5SDimitry Andric Chunk *importTableStart = nullptr; 2570b57cec5SDimitry Andric uint64_t importTableSize = 0; 25885868e8aSDimitry Andric Chunk *edataStart = nullptr; 25985868e8aSDimitry Andric Chunk *edataEnd = nullptr; 2600b57cec5SDimitry Andric Chunk *iatStart = nullptr; 2610b57cec5SDimitry Andric uint64_t iatSize = 0; 2620b57cec5SDimitry Andric DelayLoadContents delayIdata; 2630b57cec5SDimitry Andric EdataContents edata; 2640b57cec5SDimitry Andric bool setNoSEHCharacteristic = false; 265e8d8bef9SDimitry Andric uint32_t tlsAlignment = 0; 2660b57cec5SDimitry Andric 2670b57cec5SDimitry Andric DebugDirectoryChunk *debugDirectory = nullptr; 2685ffd83dbSDimitry Andric std::vector<std::pair<COFF::DebugType, Chunk *>> debugRecords; 2690b57cec5SDimitry Andric CVDebugRecordChunk *buildId = nullptr; 2700b57cec5SDimitry Andric ArrayRef<uint8_t> sectionTable; 2710b57cec5SDimitry Andric 2720b57cec5SDimitry Andric uint64_t fileSize; 2730b57cec5SDimitry Andric uint32_t pointerToSymbolTable = 0; 2740b57cec5SDimitry Andric uint64_t sizeOfImage; 2750b57cec5SDimitry Andric uint64_t sizeOfHeaders; 2760b57cec5SDimitry Andric 2770b57cec5SDimitry Andric OutputSection *textSec; 2780b57cec5SDimitry Andric OutputSection *rdataSec; 2790b57cec5SDimitry Andric OutputSection *buildidSec; 2800b57cec5SDimitry Andric OutputSection *dataSec; 2810b57cec5SDimitry Andric OutputSection *pdataSec; 2820b57cec5SDimitry Andric OutputSection *idataSec; 2830b57cec5SDimitry Andric OutputSection *edataSec; 2840b57cec5SDimitry Andric OutputSection *didatSec; 2850b57cec5SDimitry Andric OutputSection *rsrcSec; 2860b57cec5SDimitry Andric OutputSection *relocSec; 2870b57cec5SDimitry Andric OutputSection *ctorsSec; 2880b57cec5SDimitry Andric OutputSection *dtorsSec; 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric // The first and last .pdata sections in the output file. 2910b57cec5SDimitry Andric // 2920b57cec5SDimitry Andric // We need to keep track of the location of .pdata in whichever section it 2930b57cec5SDimitry Andric // gets merged into so that we can sort its contents and emit a correct data 2940b57cec5SDimitry Andric // directory entry for the exception table. This is also the case for some 2950b57cec5SDimitry Andric // other sections (such as .edata) but because the contents of those sections 2960b57cec5SDimitry Andric // are entirely linker-generated we can keep track of their locations using 2970b57cec5SDimitry Andric // the chunks that the linker creates. All .pdata chunks come from input 2980b57cec5SDimitry Andric // files, so we need to keep track of them separately. 2990b57cec5SDimitry Andric Chunk *firstPdata = nullptr; 3000b57cec5SDimitry Andric Chunk *lastPdata; 301*349cc55cSDimitry Andric 302*349cc55cSDimitry Andric COFFLinkerContext &ctx; 3030b57cec5SDimitry Andric }; 3040b57cec5SDimitry Andric } // anonymous namespace 3050b57cec5SDimitry Andric 306*349cc55cSDimitry Andric void lld::coff::writeResult(COFFLinkerContext &ctx) { Writer(ctx).run(); } 3070b57cec5SDimitry Andric 3080b57cec5SDimitry Andric void OutputSection::addChunk(Chunk *c) { 3090b57cec5SDimitry Andric chunks.push_back(c); 3100b57cec5SDimitry Andric } 3110b57cec5SDimitry Andric 3120b57cec5SDimitry Andric void OutputSection::insertChunkAtStart(Chunk *c) { 3130b57cec5SDimitry Andric chunks.insert(chunks.begin(), c); 3140b57cec5SDimitry Andric } 3150b57cec5SDimitry Andric 3160b57cec5SDimitry Andric void OutputSection::setPermissions(uint32_t c) { 3170b57cec5SDimitry Andric header.Characteristics &= ~permMask; 3180b57cec5SDimitry Andric header.Characteristics |= c; 3190b57cec5SDimitry Andric } 3200b57cec5SDimitry Andric 3210b57cec5SDimitry Andric void OutputSection::merge(OutputSection *other) { 3220b57cec5SDimitry Andric chunks.insert(chunks.end(), other->chunks.begin(), other->chunks.end()); 3230b57cec5SDimitry Andric other->chunks.clear(); 3240b57cec5SDimitry Andric contribSections.insert(contribSections.end(), other->contribSections.begin(), 3250b57cec5SDimitry Andric other->contribSections.end()); 3260b57cec5SDimitry Andric other->contribSections.clear(); 3270b57cec5SDimitry Andric } 3280b57cec5SDimitry Andric 3290b57cec5SDimitry Andric // Write the section header to a given buffer. 3300b57cec5SDimitry Andric void OutputSection::writeHeaderTo(uint8_t *buf) { 3310b57cec5SDimitry Andric auto *hdr = reinterpret_cast<coff_section *>(buf); 3320b57cec5SDimitry Andric *hdr = header; 3330b57cec5SDimitry Andric if (stringTableOff) { 3340b57cec5SDimitry Andric // If name is too long, write offset into the string table as a name. 3350b57cec5SDimitry Andric sprintf(hdr->Name, "/%d", stringTableOff); 3360b57cec5SDimitry Andric } else { 3370b57cec5SDimitry Andric assert(!config->debug || name.size() <= COFF::NameSize || 3380b57cec5SDimitry Andric (hdr->Characteristics & IMAGE_SCN_MEM_DISCARDABLE) == 0); 3390b57cec5SDimitry Andric strncpy(hdr->Name, name.data(), 3400b57cec5SDimitry Andric std::min(name.size(), (size_t)COFF::NameSize)); 3410b57cec5SDimitry Andric } 3420b57cec5SDimitry Andric } 3430b57cec5SDimitry Andric 3440b57cec5SDimitry Andric void OutputSection::addContributingPartialSection(PartialSection *sec) { 3450b57cec5SDimitry Andric contribSections.push_back(sec); 3460b57cec5SDimitry Andric } 3470b57cec5SDimitry Andric 3480b57cec5SDimitry Andric // Check whether the target address S is in range from a relocation 3490b57cec5SDimitry Andric // of type relType at address P. 3500b57cec5SDimitry Andric static bool isInRange(uint16_t relType, uint64_t s, uint64_t p, int margin) { 3510b57cec5SDimitry Andric if (config->machine == ARMNT) { 3520b57cec5SDimitry Andric int64_t diff = AbsoluteDifference(s, p + 4) + margin; 3530b57cec5SDimitry Andric switch (relType) { 3540b57cec5SDimitry Andric case IMAGE_REL_ARM_BRANCH20T: 3550b57cec5SDimitry Andric return isInt<21>(diff); 3560b57cec5SDimitry Andric case IMAGE_REL_ARM_BRANCH24T: 3570b57cec5SDimitry Andric case IMAGE_REL_ARM_BLX23T: 3580b57cec5SDimitry Andric return isInt<25>(diff); 3590b57cec5SDimitry Andric default: 3600b57cec5SDimitry Andric return true; 3610b57cec5SDimitry Andric } 3620b57cec5SDimitry Andric } else if (config->machine == ARM64) { 3630b57cec5SDimitry Andric int64_t diff = AbsoluteDifference(s, p) + margin; 3640b57cec5SDimitry Andric switch (relType) { 3650b57cec5SDimitry Andric case IMAGE_REL_ARM64_BRANCH26: 3660b57cec5SDimitry Andric return isInt<28>(diff); 3670b57cec5SDimitry Andric case IMAGE_REL_ARM64_BRANCH19: 3680b57cec5SDimitry Andric return isInt<21>(diff); 3690b57cec5SDimitry Andric case IMAGE_REL_ARM64_BRANCH14: 3700b57cec5SDimitry Andric return isInt<16>(diff); 3710b57cec5SDimitry Andric default: 3720b57cec5SDimitry Andric return true; 3730b57cec5SDimitry Andric } 3740b57cec5SDimitry Andric } else { 3750b57cec5SDimitry Andric llvm_unreachable("Unexpected architecture"); 3760b57cec5SDimitry Andric } 3770b57cec5SDimitry Andric } 3780b57cec5SDimitry Andric 3790b57cec5SDimitry Andric // Return the last thunk for the given target if it is in range, 3800b57cec5SDimitry Andric // or create a new one. 3810b57cec5SDimitry Andric static std::pair<Defined *, bool> 3820b57cec5SDimitry Andric getThunk(DenseMap<uint64_t, Defined *> &lastThunks, Defined *target, uint64_t p, 3830b57cec5SDimitry Andric uint16_t type, int margin) { 3840b57cec5SDimitry Andric Defined *&lastThunk = lastThunks[target->getRVA()]; 3850b57cec5SDimitry Andric if (lastThunk && isInRange(type, lastThunk->getRVA(), p, margin)) 3860b57cec5SDimitry Andric return {lastThunk, false}; 3870b57cec5SDimitry Andric Chunk *c; 3880b57cec5SDimitry Andric switch (config->machine) { 3890b57cec5SDimitry Andric case ARMNT: 3900b57cec5SDimitry Andric c = make<RangeExtensionThunkARM>(target); 3910b57cec5SDimitry Andric break; 3920b57cec5SDimitry Andric case ARM64: 3930b57cec5SDimitry Andric c = make<RangeExtensionThunkARM64>(target); 3940b57cec5SDimitry Andric break; 3950b57cec5SDimitry Andric default: 3960b57cec5SDimitry Andric llvm_unreachable("Unexpected architecture"); 3970b57cec5SDimitry Andric } 3980b57cec5SDimitry Andric Defined *d = make<DefinedSynthetic>("", c); 3990b57cec5SDimitry Andric lastThunk = d; 4000b57cec5SDimitry Andric return {d, true}; 4010b57cec5SDimitry Andric } 4020b57cec5SDimitry Andric 4030b57cec5SDimitry Andric // This checks all relocations, and for any relocation which isn't in range 4040b57cec5SDimitry Andric // it adds a thunk after the section chunk that contains the relocation. 4050b57cec5SDimitry Andric // If the latest thunk for the specific target is in range, that is used 4060b57cec5SDimitry Andric // instead of creating a new thunk. All range checks are done with the 4070b57cec5SDimitry Andric // specified margin, to make sure that relocations that originally are in 4080b57cec5SDimitry Andric // range, but only barely, also get thunks - in case other added thunks makes 4090b57cec5SDimitry Andric // the target go out of range. 4100b57cec5SDimitry Andric // 4110b57cec5SDimitry Andric // After adding thunks, we verify that all relocations are in range (with 4120b57cec5SDimitry Andric // no extra margin requirements). If this failed, we restart (throwing away 4130b57cec5SDimitry Andric // the previously created thunks) and retry with a wider margin. 4140b57cec5SDimitry Andric static bool createThunks(OutputSection *os, int margin) { 4150b57cec5SDimitry Andric bool addressesChanged = false; 4160b57cec5SDimitry Andric DenseMap<uint64_t, Defined *> lastThunks; 4170b57cec5SDimitry Andric DenseMap<std::pair<ObjFile *, Defined *>, uint32_t> thunkSymtabIndices; 4180b57cec5SDimitry Andric size_t thunksSize = 0; 4190b57cec5SDimitry Andric // Recheck Chunks.size() each iteration, since we can insert more 4200b57cec5SDimitry Andric // elements into it. 4210b57cec5SDimitry Andric for (size_t i = 0; i != os->chunks.size(); ++i) { 4220b57cec5SDimitry Andric SectionChunk *sc = dyn_cast_or_null<SectionChunk>(os->chunks[i]); 4230b57cec5SDimitry Andric if (!sc) 4240b57cec5SDimitry Andric continue; 4250b57cec5SDimitry Andric size_t thunkInsertionSpot = i + 1; 4260b57cec5SDimitry Andric 4270b57cec5SDimitry Andric // Try to get a good enough estimate of where new thunks will be placed. 4280b57cec5SDimitry Andric // Offset this by the size of the new thunks added so far, to make the 4290b57cec5SDimitry Andric // estimate slightly better. 4300b57cec5SDimitry Andric size_t thunkInsertionRVA = sc->getRVA() + sc->getSize() + thunksSize; 4310b57cec5SDimitry Andric ObjFile *file = sc->file; 4320b57cec5SDimitry Andric std::vector<std::pair<uint32_t, uint32_t>> relocReplacements; 4330b57cec5SDimitry Andric ArrayRef<coff_relocation> originalRelocs = 4340b57cec5SDimitry Andric file->getCOFFObj()->getRelocations(sc->header); 4350b57cec5SDimitry Andric for (size_t j = 0, e = originalRelocs.size(); j < e; ++j) { 4360b57cec5SDimitry Andric const coff_relocation &rel = originalRelocs[j]; 4370b57cec5SDimitry Andric Symbol *relocTarget = file->getSymbol(rel.SymbolTableIndex); 4380b57cec5SDimitry Andric 4390b57cec5SDimitry Andric // The estimate of the source address P should be pretty accurate, 4400b57cec5SDimitry Andric // but we don't know whether the target Symbol address should be 4410b57cec5SDimitry Andric // offset by thunksSize or not (or by some of thunksSize but not all of 4420b57cec5SDimitry Andric // it), giving us some uncertainty once we have added one thunk. 4430b57cec5SDimitry Andric uint64_t p = sc->getRVA() + rel.VirtualAddress + thunksSize; 4440b57cec5SDimitry Andric 4450b57cec5SDimitry Andric Defined *sym = dyn_cast_or_null<Defined>(relocTarget); 4460b57cec5SDimitry Andric if (!sym) 4470b57cec5SDimitry Andric continue; 4480b57cec5SDimitry Andric 4490b57cec5SDimitry Andric uint64_t s = sym->getRVA(); 4500b57cec5SDimitry Andric 4510b57cec5SDimitry Andric if (isInRange(rel.Type, s, p, margin)) 4520b57cec5SDimitry Andric continue; 4530b57cec5SDimitry Andric 4540b57cec5SDimitry Andric // If the target isn't in range, hook it up to an existing or new 4550b57cec5SDimitry Andric // thunk. 4560b57cec5SDimitry Andric Defined *thunk; 4570b57cec5SDimitry Andric bool wasNew; 4580b57cec5SDimitry Andric std::tie(thunk, wasNew) = getThunk(lastThunks, sym, p, rel.Type, margin); 4590b57cec5SDimitry Andric if (wasNew) { 4600b57cec5SDimitry Andric Chunk *thunkChunk = thunk->getChunk(); 4610b57cec5SDimitry Andric thunkChunk->setRVA( 4620b57cec5SDimitry Andric thunkInsertionRVA); // Estimate of where it will be located. 4630b57cec5SDimitry Andric os->chunks.insert(os->chunks.begin() + thunkInsertionSpot, thunkChunk); 4640b57cec5SDimitry Andric thunkInsertionSpot++; 4650b57cec5SDimitry Andric thunksSize += thunkChunk->getSize(); 4660b57cec5SDimitry Andric thunkInsertionRVA += thunkChunk->getSize(); 4670b57cec5SDimitry Andric addressesChanged = true; 4680b57cec5SDimitry Andric } 4690b57cec5SDimitry Andric 4700b57cec5SDimitry Andric // To redirect the relocation, add a symbol to the parent object file's 4710b57cec5SDimitry Andric // symbol table, and replace the relocation symbol table index with the 4720b57cec5SDimitry Andric // new index. 4730b57cec5SDimitry Andric auto insertion = thunkSymtabIndices.insert({{file, thunk}, ~0U}); 4740b57cec5SDimitry Andric uint32_t &thunkSymbolIndex = insertion.first->second; 4750b57cec5SDimitry Andric if (insertion.second) 4760b57cec5SDimitry Andric thunkSymbolIndex = file->addRangeThunkSymbol(thunk); 4770b57cec5SDimitry Andric relocReplacements.push_back({j, thunkSymbolIndex}); 4780b57cec5SDimitry Andric } 4790b57cec5SDimitry Andric 4800b57cec5SDimitry Andric // Get a writable copy of this section's relocations so they can be 4810b57cec5SDimitry Andric // modified. If the relocations point into the object file, allocate new 4820b57cec5SDimitry Andric // memory. Otherwise, this must be previously allocated memory that can be 4830b57cec5SDimitry Andric // modified in place. 4840b57cec5SDimitry Andric ArrayRef<coff_relocation> curRelocs = sc->getRelocs(); 4850b57cec5SDimitry Andric MutableArrayRef<coff_relocation> newRelocs; 4860b57cec5SDimitry Andric if (originalRelocs.data() == curRelocs.data()) { 4870b57cec5SDimitry Andric newRelocs = makeMutableArrayRef( 4880b57cec5SDimitry Andric bAlloc.Allocate<coff_relocation>(originalRelocs.size()), 4890b57cec5SDimitry Andric originalRelocs.size()); 4900b57cec5SDimitry Andric } else { 4910b57cec5SDimitry Andric newRelocs = makeMutableArrayRef( 4920b57cec5SDimitry Andric const_cast<coff_relocation *>(curRelocs.data()), curRelocs.size()); 4930b57cec5SDimitry Andric } 4940b57cec5SDimitry Andric 4950b57cec5SDimitry Andric // Copy each relocation, but replace the symbol table indices which need 4960b57cec5SDimitry Andric // thunks. 4970b57cec5SDimitry Andric auto nextReplacement = relocReplacements.begin(); 4980b57cec5SDimitry Andric auto endReplacement = relocReplacements.end(); 4990b57cec5SDimitry Andric for (size_t i = 0, e = originalRelocs.size(); i != e; ++i) { 5000b57cec5SDimitry Andric newRelocs[i] = originalRelocs[i]; 5010b57cec5SDimitry Andric if (nextReplacement != endReplacement && nextReplacement->first == i) { 5020b57cec5SDimitry Andric newRelocs[i].SymbolTableIndex = nextReplacement->second; 5030b57cec5SDimitry Andric ++nextReplacement; 5040b57cec5SDimitry Andric } 5050b57cec5SDimitry Andric } 5060b57cec5SDimitry Andric 5070b57cec5SDimitry Andric sc->setRelocs(newRelocs); 5080b57cec5SDimitry Andric } 5090b57cec5SDimitry Andric return addressesChanged; 5100b57cec5SDimitry Andric } 5110b57cec5SDimitry Andric 5120b57cec5SDimitry Andric // Verify that all relocations are in range, with no extra margin requirements. 5130b57cec5SDimitry Andric static bool verifyRanges(const std::vector<Chunk *> chunks) { 5140b57cec5SDimitry Andric for (Chunk *c : chunks) { 5150b57cec5SDimitry Andric SectionChunk *sc = dyn_cast_or_null<SectionChunk>(c); 5160b57cec5SDimitry Andric if (!sc) 5170b57cec5SDimitry Andric continue; 5180b57cec5SDimitry Andric 5190b57cec5SDimitry Andric ArrayRef<coff_relocation> relocs = sc->getRelocs(); 5200b57cec5SDimitry Andric for (size_t j = 0, e = relocs.size(); j < e; ++j) { 5210b57cec5SDimitry Andric const coff_relocation &rel = relocs[j]; 5220b57cec5SDimitry Andric Symbol *relocTarget = sc->file->getSymbol(rel.SymbolTableIndex); 5230b57cec5SDimitry Andric 5240b57cec5SDimitry Andric Defined *sym = dyn_cast_or_null<Defined>(relocTarget); 5250b57cec5SDimitry Andric if (!sym) 5260b57cec5SDimitry Andric continue; 5270b57cec5SDimitry Andric 5280b57cec5SDimitry Andric uint64_t p = sc->getRVA() + rel.VirtualAddress; 5290b57cec5SDimitry Andric uint64_t s = sym->getRVA(); 5300b57cec5SDimitry Andric 5310b57cec5SDimitry Andric if (!isInRange(rel.Type, s, p, 0)) 5320b57cec5SDimitry Andric return false; 5330b57cec5SDimitry Andric } 5340b57cec5SDimitry Andric } 5350b57cec5SDimitry Andric return true; 5360b57cec5SDimitry Andric } 5370b57cec5SDimitry Andric 5380b57cec5SDimitry Andric // Assign addresses and add thunks if necessary. 5390b57cec5SDimitry Andric void Writer::finalizeAddresses() { 5400b57cec5SDimitry Andric assignAddresses(); 5410b57cec5SDimitry Andric if (config->machine != ARMNT && config->machine != ARM64) 5420b57cec5SDimitry Andric return; 5430b57cec5SDimitry Andric 5440b57cec5SDimitry Andric size_t origNumChunks = 0; 545*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 5460b57cec5SDimitry Andric sec->origChunks = sec->chunks; 5470b57cec5SDimitry Andric origNumChunks += sec->chunks.size(); 5480b57cec5SDimitry Andric } 5490b57cec5SDimitry Andric 5500b57cec5SDimitry Andric int pass = 0; 5510b57cec5SDimitry Andric int margin = 1024 * 100; 5520b57cec5SDimitry Andric while (true) { 5530b57cec5SDimitry Andric // First check whether we need thunks at all, or if the previous pass of 5540b57cec5SDimitry Andric // adding them turned out ok. 5550b57cec5SDimitry Andric bool rangesOk = true; 5560b57cec5SDimitry Andric size_t numChunks = 0; 557*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 5580b57cec5SDimitry Andric if (!verifyRanges(sec->chunks)) { 5590b57cec5SDimitry Andric rangesOk = false; 5600b57cec5SDimitry Andric break; 5610b57cec5SDimitry Andric } 5620b57cec5SDimitry Andric numChunks += sec->chunks.size(); 5630b57cec5SDimitry Andric } 5640b57cec5SDimitry Andric if (rangesOk) { 5650b57cec5SDimitry Andric if (pass > 0) 5660b57cec5SDimitry Andric log("Added " + Twine(numChunks - origNumChunks) + " thunks with " + 5670b57cec5SDimitry Andric "margin " + Twine(margin) + " in " + Twine(pass) + " passes"); 5680b57cec5SDimitry Andric return; 5690b57cec5SDimitry Andric } 5700b57cec5SDimitry Andric 5710b57cec5SDimitry Andric if (pass >= 10) 5720b57cec5SDimitry Andric fatal("adding thunks hasn't converged after " + Twine(pass) + " passes"); 5730b57cec5SDimitry Andric 5740b57cec5SDimitry Andric if (pass > 0) { 5750b57cec5SDimitry Andric // If the previous pass didn't work out, reset everything back to the 5760b57cec5SDimitry Andric // original conditions before retrying with a wider margin. This should 5770b57cec5SDimitry Andric // ideally never happen under real circumstances. 578*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) 5790b57cec5SDimitry Andric sec->chunks = sec->origChunks; 5800b57cec5SDimitry Andric margin *= 2; 5810b57cec5SDimitry Andric } 5820b57cec5SDimitry Andric 5830b57cec5SDimitry Andric // Try adding thunks everywhere where it is needed, with a margin 5840b57cec5SDimitry Andric // to avoid things going out of range due to the added thunks. 5850b57cec5SDimitry Andric bool addressesChanged = false; 586*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) 5870b57cec5SDimitry Andric addressesChanged |= createThunks(sec, margin); 5880b57cec5SDimitry Andric // If the verification above thought we needed thunks, we should have 5890b57cec5SDimitry Andric // added some. 5900b57cec5SDimitry Andric assert(addressesChanged); 591fe6060f1SDimitry Andric (void)addressesChanged; 5920b57cec5SDimitry Andric 5930b57cec5SDimitry Andric // Recalculate the layout for the whole image (and verify the ranges at 5940b57cec5SDimitry Andric // the start of the next round). 5950b57cec5SDimitry Andric assignAddresses(); 5960b57cec5SDimitry Andric 5970b57cec5SDimitry Andric pass++; 5980b57cec5SDimitry Andric } 5990b57cec5SDimitry Andric } 6000b57cec5SDimitry Andric 6010b57cec5SDimitry Andric // The main function of the writer. 6020b57cec5SDimitry Andric void Writer::run() { 603*349cc55cSDimitry Andric ScopedTimer t1(ctx.codeLayoutTimer); 6040b57cec5SDimitry Andric 6050b57cec5SDimitry Andric createImportTables(); 6060b57cec5SDimitry Andric createSections(); 6070b57cec5SDimitry Andric appendImportThunks(); 608e8d8bef9SDimitry Andric // Import thunks must be added before the Control Flow Guard tables are added. 609e8d8bef9SDimitry Andric createMiscChunks(); 6100b57cec5SDimitry Andric createExportTable(); 6110b57cec5SDimitry Andric mergeSections(); 6120b57cec5SDimitry Andric removeUnusedSections(); 6130b57cec5SDimitry Andric finalizeAddresses(); 6140b57cec5SDimitry Andric removeEmptySections(); 6150b57cec5SDimitry Andric assignOutputSectionIndices(); 6160b57cec5SDimitry Andric setSectionPermissions(); 6170b57cec5SDimitry Andric createSymbolAndStringTable(); 6180b57cec5SDimitry Andric 6190b57cec5SDimitry Andric if (fileSize > UINT32_MAX) 6200b57cec5SDimitry Andric fatal("image size (" + Twine(fileSize) + ") " + 6210b57cec5SDimitry Andric "exceeds maximum allowable size (" + Twine(UINT32_MAX) + ")"); 6220b57cec5SDimitry Andric 6230b57cec5SDimitry Andric openFile(config->outputFile); 6240b57cec5SDimitry Andric if (config->is64()) { 6250b57cec5SDimitry Andric writeHeader<pe32plus_header>(); 6260b57cec5SDimitry Andric } else { 6270b57cec5SDimitry Andric writeHeader<pe32_header>(); 6280b57cec5SDimitry Andric } 6290b57cec5SDimitry Andric writeSections(); 6300b57cec5SDimitry Andric sortExceptionTable(); 6310b57cec5SDimitry Andric 632e8d8bef9SDimitry Andric // Fix up the alignment in the TLS Directory's characteristic field, 633e8d8bef9SDimitry Andric // if a specific alignment value is needed 634e8d8bef9SDimitry Andric if (tlsAlignment) 635e8d8bef9SDimitry Andric fixTlsAlignment(); 636e8d8bef9SDimitry Andric 6370b57cec5SDimitry Andric t1.stop(); 6380b57cec5SDimitry Andric 6390b57cec5SDimitry Andric if (!config->pdbPath.empty() && config->debug) { 6400b57cec5SDimitry Andric assert(buildId); 641*349cc55cSDimitry Andric createPDB(ctx, sectionTable, buildId->buildId); 6420b57cec5SDimitry Andric } 6430b57cec5SDimitry Andric writeBuildId(); 6440b57cec5SDimitry Andric 645*349cc55cSDimitry Andric writeLLDMapFile(ctx); 646*349cc55cSDimitry Andric writeMapFile(ctx); 6470b57cec5SDimitry Andric 6480b57cec5SDimitry Andric if (errorCount()) 6490b57cec5SDimitry Andric return; 6500b57cec5SDimitry Andric 651*349cc55cSDimitry Andric ScopedTimer t2(ctx.outputCommitTimer); 6520b57cec5SDimitry Andric if (auto e = buffer->commit()) 6530b57cec5SDimitry Andric fatal("failed to write the output file: " + toString(std::move(e))); 6540b57cec5SDimitry Andric } 6550b57cec5SDimitry Andric 6560b57cec5SDimitry Andric static StringRef getOutputSectionName(StringRef name) { 6570b57cec5SDimitry Andric StringRef s = name.split('$').first; 6580b57cec5SDimitry Andric 6590b57cec5SDimitry Andric // Treat a later period as a separator for MinGW, for sections like 6600b57cec5SDimitry Andric // ".ctors.01234". 6610b57cec5SDimitry Andric return s.substr(0, s.find('.', 1)); 6620b57cec5SDimitry Andric } 6630b57cec5SDimitry Andric 6640b57cec5SDimitry Andric // For /order. 6650b57cec5SDimitry Andric static void sortBySectionOrder(std::vector<Chunk *> &chunks) { 6660b57cec5SDimitry Andric auto getPriority = [](const Chunk *c) { 6670b57cec5SDimitry Andric if (auto *sec = dyn_cast<SectionChunk>(c)) 6680b57cec5SDimitry Andric if (sec->sym) 6690b57cec5SDimitry Andric return config->order.lookup(sec->sym->getName()); 6700b57cec5SDimitry Andric return 0; 6710b57cec5SDimitry Andric }; 6720b57cec5SDimitry Andric 6730b57cec5SDimitry Andric llvm::stable_sort(chunks, [=](const Chunk *a, const Chunk *b) { 6740b57cec5SDimitry Andric return getPriority(a) < getPriority(b); 6750b57cec5SDimitry Andric }); 6760b57cec5SDimitry Andric } 6770b57cec5SDimitry Andric 6780b57cec5SDimitry Andric // Change the characteristics of existing PartialSections that belong to the 6790b57cec5SDimitry Andric // section Name to Chars. 6800b57cec5SDimitry Andric void Writer::fixPartialSectionChars(StringRef name, uint32_t chars) { 6810b57cec5SDimitry Andric for (auto it : partialSections) { 6820b57cec5SDimitry Andric PartialSection *pSec = it.second; 6830b57cec5SDimitry Andric StringRef curName = pSec->name; 6840b57cec5SDimitry Andric if (!curName.consume_front(name) || 6850b57cec5SDimitry Andric (!curName.empty() && !curName.startswith("$"))) 6860b57cec5SDimitry Andric continue; 6870b57cec5SDimitry Andric if (pSec->characteristics == chars) 6880b57cec5SDimitry Andric continue; 6890b57cec5SDimitry Andric PartialSection *destSec = createPartialSection(pSec->name, chars); 6900b57cec5SDimitry Andric destSec->chunks.insert(destSec->chunks.end(), pSec->chunks.begin(), 6910b57cec5SDimitry Andric pSec->chunks.end()); 6920b57cec5SDimitry Andric pSec->chunks.clear(); 6930b57cec5SDimitry Andric } 6940b57cec5SDimitry Andric } 6950b57cec5SDimitry Andric 6960b57cec5SDimitry Andric // Sort concrete section chunks from GNU import libraries. 6970b57cec5SDimitry Andric // 6980b57cec5SDimitry Andric // GNU binutils doesn't use short import files, but instead produces import 6990b57cec5SDimitry Andric // libraries that consist of object files, with section chunks for the .idata$* 7000b57cec5SDimitry Andric // sections. These are linked just as regular static libraries. Each import 7010b57cec5SDimitry Andric // library consists of one header object, one object file for every imported 7020b57cec5SDimitry Andric // symbol, and one trailer object. In order for the .idata tables/lists to 7030b57cec5SDimitry Andric // be formed correctly, the section chunks within each .idata$* section need 7040b57cec5SDimitry Andric // to be grouped by library, and sorted alphabetically within each library 7050b57cec5SDimitry Andric // (which makes sure the header comes first and the trailer last). 7060b57cec5SDimitry Andric bool Writer::fixGnuImportChunks() { 7070b57cec5SDimitry Andric uint32_t rdata = IMAGE_SCN_CNT_INITIALIZED_DATA | IMAGE_SCN_MEM_READ; 7080b57cec5SDimitry Andric 7090b57cec5SDimitry Andric // Make sure all .idata$* section chunks are mapped as RDATA in order to 7100b57cec5SDimitry Andric // be sorted into the same sections as our own synthesized .idata chunks. 7110b57cec5SDimitry Andric fixPartialSectionChars(".idata", rdata); 7120b57cec5SDimitry Andric 7130b57cec5SDimitry Andric bool hasIdata = false; 7140b57cec5SDimitry Andric // Sort all .idata$* chunks, grouping chunks from the same library, 7150b57cec5SDimitry Andric // with alphabetical ordering of the object fils within a library. 7160b57cec5SDimitry Andric for (auto it : partialSections) { 7170b57cec5SDimitry Andric PartialSection *pSec = it.second; 7180b57cec5SDimitry Andric if (!pSec->name.startswith(".idata")) 7190b57cec5SDimitry Andric continue; 7200b57cec5SDimitry Andric 7210b57cec5SDimitry Andric if (!pSec->chunks.empty()) 7220b57cec5SDimitry Andric hasIdata = true; 7230b57cec5SDimitry Andric llvm::stable_sort(pSec->chunks, [&](Chunk *s, Chunk *t) { 7240b57cec5SDimitry Andric SectionChunk *sc1 = dyn_cast_or_null<SectionChunk>(s); 7250b57cec5SDimitry Andric SectionChunk *sc2 = dyn_cast_or_null<SectionChunk>(t); 7260b57cec5SDimitry Andric if (!sc1 || !sc2) { 7270b57cec5SDimitry Andric // if SC1, order them ascending. If SC2 or both null, 7280b57cec5SDimitry Andric // S is not less than T. 7290b57cec5SDimitry Andric return sc1 != nullptr; 7300b57cec5SDimitry Andric } 7310b57cec5SDimitry Andric // Make a string with "libraryname/objectfile" for sorting, achieving 7320b57cec5SDimitry Andric // both grouping by library and sorting of objects within a library, 7330b57cec5SDimitry Andric // at once. 7340b57cec5SDimitry Andric std::string key1 = 7350b57cec5SDimitry Andric (sc1->file->parentName + "/" + sc1->file->getName()).str(); 7360b57cec5SDimitry Andric std::string key2 = 7370b57cec5SDimitry Andric (sc2->file->parentName + "/" + sc2->file->getName()).str(); 7380b57cec5SDimitry Andric return key1 < key2; 7390b57cec5SDimitry Andric }); 7400b57cec5SDimitry Andric } 7410b57cec5SDimitry Andric return hasIdata; 7420b57cec5SDimitry Andric } 7430b57cec5SDimitry Andric 7440b57cec5SDimitry Andric // Add generated idata chunks, for imported symbols and DLLs, and a 7450b57cec5SDimitry Andric // terminator in .idata$2. 7460b57cec5SDimitry Andric void Writer::addSyntheticIdata() { 7470b57cec5SDimitry Andric uint32_t rdata = IMAGE_SCN_CNT_INITIALIZED_DATA | IMAGE_SCN_MEM_READ; 7480b57cec5SDimitry Andric idata.create(); 7490b57cec5SDimitry Andric 7500b57cec5SDimitry Andric // Add the .idata content in the right section groups, to allow 7510b57cec5SDimitry Andric // chunks from other linked in object files to be grouped together. 7520b57cec5SDimitry Andric // See Microsoft PE/COFF spec 5.4 for details. 7530b57cec5SDimitry Andric auto add = [&](StringRef n, std::vector<Chunk *> &v) { 7540b57cec5SDimitry Andric PartialSection *pSec = createPartialSection(n, rdata); 7550b57cec5SDimitry Andric pSec->chunks.insert(pSec->chunks.end(), v.begin(), v.end()); 7560b57cec5SDimitry Andric }; 7570b57cec5SDimitry Andric 7580b57cec5SDimitry Andric // The loader assumes a specific order of data. 7590b57cec5SDimitry Andric // Add each type in the correct order. 7600b57cec5SDimitry Andric add(".idata$2", idata.dirs); 7610b57cec5SDimitry Andric add(".idata$4", idata.lookups); 7620b57cec5SDimitry Andric add(".idata$5", idata.addresses); 76385868e8aSDimitry Andric if (!idata.hints.empty()) 7640b57cec5SDimitry Andric add(".idata$6", idata.hints); 7650b57cec5SDimitry Andric add(".idata$7", idata.dllNames); 7660b57cec5SDimitry Andric } 7670b57cec5SDimitry Andric 7680b57cec5SDimitry Andric // Locate the first Chunk and size of the import directory list and the 7690b57cec5SDimitry Andric // IAT. 7700b57cec5SDimitry Andric void Writer::locateImportTables() { 7710b57cec5SDimitry Andric uint32_t rdata = IMAGE_SCN_CNT_INITIALIZED_DATA | IMAGE_SCN_MEM_READ; 7720b57cec5SDimitry Andric 7730b57cec5SDimitry Andric if (PartialSection *importDirs = findPartialSection(".idata$2", rdata)) { 7740b57cec5SDimitry Andric if (!importDirs->chunks.empty()) 7750b57cec5SDimitry Andric importTableStart = importDirs->chunks.front(); 7760b57cec5SDimitry Andric for (Chunk *c : importDirs->chunks) 7770b57cec5SDimitry Andric importTableSize += c->getSize(); 7780b57cec5SDimitry Andric } 7790b57cec5SDimitry Andric 7800b57cec5SDimitry Andric if (PartialSection *importAddresses = findPartialSection(".idata$5", rdata)) { 7810b57cec5SDimitry Andric if (!importAddresses->chunks.empty()) 7820b57cec5SDimitry Andric iatStart = importAddresses->chunks.front(); 7830b57cec5SDimitry Andric for (Chunk *c : importAddresses->chunks) 7840b57cec5SDimitry Andric iatSize += c->getSize(); 7850b57cec5SDimitry Andric } 7860b57cec5SDimitry Andric } 7870b57cec5SDimitry Andric 7880b57cec5SDimitry Andric // Return whether a SectionChunk's suffix (the dollar and any trailing 7890b57cec5SDimitry Andric // suffix) should be removed and sorted into the main suffixless 7900b57cec5SDimitry Andric // PartialSection. 7910b57cec5SDimitry Andric static bool shouldStripSectionSuffix(SectionChunk *sc, StringRef name) { 7920b57cec5SDimitry Andric // On MinGW, comdat groups are formed by putting the comdat group name 7930b57cec5SDimitry Andric // after the '$' in the section name. For .eh_frame$<symbol>, that must 7940b57cec5SDimitry Andric // still be sorted before the .eh_frame trailer from crtend.o, thus just 7950b57cec5SDimitry Andric // strip the section name trailer. For other sections, such as 7960b57cec5SDimitry Andric // .tls$$<symbol> (where non-comdat .tls symbols are otherwise stored in 7970b57cec5SDimitry Andric // ".tls$"), they must be strictly sorted after .tls. And for the 7980b57cec5SDimitry Andric // hypothetical case of comdat .CRT$XCU, we definitely need to keep the 7990b57cec5SDimitry Andric // suffix for sorting. Thus, to play it safe, only strip the suffix for 8000b57cec5SDimitry Andric // the standard sections. 8010b57cec5SDimitry Andric if (!config->mingw) 8020b57cec5SDimitry Andric return false; 8030b57cec5SDimitry Andric if (!sc || !sc->isCOMDAT()) 8040b57cec5SDimitry Andric return false; 8050b57cec5SDimitry Andric return name.startswith(".text$") || name.startswith(".data$") || 8060b57cec5SDimitry Andric name.startswith(".rdata$") || name.startswith(".pdata$") || 8070b57cec5SDimitry Andric name.startswith(".xdata$") || name.startswith(".eh_frame$"); 8080b57cec5SDimitry Andric } 8090b57cec5SDimitry Andric 810e8d8bef9SDimitry Andric void Writer::sortSections() { 811e8d8bef9SDimitry Andric if (!config->callGraphProfile.empty()) { 812*349cc55cSDimitry Andric DenseMap<const SectionChunk *, int> order = 813*349cc55cSDimitry Andric computeCallGraphProfileOrder(ctx); 814e8d8bef9SDimitry Andric for (auto it : order) { 815e8d8bef9SDimitry Andric if (DefinedRegular *sym = it.first->sym) 816e8d8bef9SDimitry Andric config->order[sym->getName()] = it.second; 817e8d8bef9SDimitry Andric } 818e8d8bef9SDimitry Andric } 819e8d8bef9SDimitry Andric if (!config->order.empty()) 820e8d8bef9SDimitry Andric for (auto it : partialSections) 821e8d8bef9SDimitry Andric sortBySectionOrder(it.second->chunks); 822e8d8bef9SDimitry Andric } 823e8d8bef9SDimitry Andric 8240b57cec5SDimitry Andric // Create output section objects and add them to OutputSections. 8250b57cec5SDimitry Andric void Writer::createSections() { 8260b57cec5SDimitry Andric // First, create the builtin sections. 8270b57cec5SDimitry Andric const uint32_t data = IMAGE_SCN_CNT_INITIALIZED_DATA; 8280b57cec5SDimitry Andric const uint32_t bss = IMAGE_SCN_CNT_UNINITIALIZED_DATA; 8290b57cec5SDimitry Andric const uint32_t code = IMAGE_SCN_CNT_CODE; 8300b57cec5SDimitry Andric const uint32_t discardable = IMAGE_SCN_MEM_DISCARDABLE; 8310b57cec5SDimitry Andric const uint32_t r = IMAGE_SCN_MEM_READ; 8320b57cec5SDimitry Andric const uint32_t w = IMAGE_SCN_MEM_WRITE; 8330b57cec5SDimitry Andric const uint32_t x = IMAGE_SCN_MEM_EXECUTE; 8340b57cec5SDimitry Andric 8350b57cec5SDimitry Andric SmallDenseMap<std::pair<StringRef, uint32_t>, OutputSection *> sections; 8360b57cec5SDimitry Andric auto createSection = [&](StringRef name, uint32_t outChars) { 8370b57cec5SDimitry Andric OutputSection *&sec = sections[{name, outChars}]; 8380b57cec5SDimitry Andric if (!sec) { 8390b57cec5SDimitry Andric sec = make<OutputSection>(name, outChars); 840*349cc55cSDimitry Andric ctx.outputSections.push_back(sec); 8410b57cec5SDimitry Andric } 8420b57cec5SDimitry Andric return sec; 8430b57cec5SDimitry Andric }; 8440b57cec5SDimitry Andric 8450b57cec5SDimitry Andric // Try to match the section order used by link.exe. 8460b57cec5SDimitry Andric textSec = createSection(".text", code | r | x); 8470b57cec5SDimitry Andric createSection(".bss", bss | r | w); 8480b57cec5SDimitry Andric rdataSec = createSection(".rdata", data | r); 8490b57cec5SDimitry Andric buildidSec = createSection(".buildid", data | r); 8500b57cec5SDimitry Andric dataSec = createSection(".data", data | r | w); 8510b57cec5SDimitry Andric pdataSec = createSection(".pdata", data | r); 8520b57cec5SDimitry Andric idataSec = createSection(".idata", data | r); 8530b57cec5SDimitry Andric edataSec = createSection(".edata", data | r); 8540b57cec5SDimitry Andric didatSec = createSection(".didat", data | r); 8550b57cec5SDimitry Andric rsrcSec = createSection(".rsrc", data | r); 8560b57cec5SDimitry Andric relocSec = createSection(".reloc", data | discardable | r); 8570b57cec5SDimitry Andric ctorsSec = createSection(".ctors", data | r | w); 8580b57cec5SDimitry Andric dtorsSec = createSection(".dtors", data | r | w); 8590b57cec5SDimitry Andric 8600b57cec5SDimitry Andric // Then bin chunks by name and output characteristics. 861*349cc55cSDimitry Andric for (Chunk *c : ctx.symtab.getChunks()) { 8620b57cec5SDimitry Andric auto *sc = dyn_cast<SectionChunk>(c); 8630b57cec5SDimitry Andric if (sc && !sc->live) { 8640b57cec5SDimitry Andric if (config->verbose) 8650b57cec5SDimitry Andric sc->printDiscardedMessage(); 8660b57cec5SDimitry Andric continue; 8670b57cec5SDimitry Andric } 8680b57cec5SDimitry Andric StringRef name = c->getSectionName(); 8690b57cec5SDimitry Andric if (shouldStripSectionSuffix(sc, name)) 8700b57cec5SDimitry Andric name = name.split('$').first; 871e8d8bef9SDimitry Andric 872e8d8bef9SDimitry Andric if (name.startswith(".tls")) 873e8d8bef9SDimitry Andric tlsAlignment = std::max(tlsAlignment, c->getAlignment()); 874e8d8bef9SDimitry Andric 8750b57cec5SDimitry Andric PartialSection *pSec = createPartialSection(name, 8760b57cec5SDimitry Andric c->getOutputCharacteristics()); 8770b57cec5SDimitry Andric pSec->chunks.push_back(c); 8780b57cec5SDimitry Andric } 8790b57cec5SDimitry Andric 8800b57cec5SDimitry Andric fixPartialSectionChars(".rsrc", data | r); 88185868e8aSDimitry Andric fixPartialSectionChars(".edata", data | r); 8820b57cec5SDimitry Andric // Even in non MinGW cases, we might need to link against GNU import 8830b57cec5SDimitry Andric // libraries. 8840b57cec5SDimitry Andric bool hasIdata = fixGnuImportChunks(); 8850b57cec5SDimitry Andric if (!idata.empty()) 8860b57cec5SDimitry Andric hasIdata = true; 8870b57cec5SDimitry Andric 8880b57cec5SDimitry Andric if (hasIdata) 8890b57cec5SDimitry Andric addSyntheticIdata(); 8900b57cec5SDimitry Andric 891e8d8bef9SDimitry Andric sortSections(); 8920b57cec5SDimitry Andric 8930b57cec5SDimitry Andric if (hasIdata) 8940b57cec5SDimitry Andric locateImportTables(); 8950b57cec5SDimitry Andric 8960b57cec5SDimitry Andric // Then create an OutputSection for each section. 8970b57cec5SDimitry Andric // '$' and all following characters in input section names are 8980b57cec5SDimitry Andric // discarded when determining output section. So, .text$foo 8990b57cec5SDimitry Andric // contributes to .text, for example. See PE/COFF spec 3.2. 9000b57cec5SDimitry Andric for (auto it : partialSections) { 9010b57cec5SDimitry Andric PartialSection *pSec = it.second; 9020b57cec5SDimitry Andric StringRef name = getOutputSectionName(pSec->name); 9030b57cec5SDimitry Andric uint32_t outChars = pSec->characteristics; 9040b57cec5SDimitry Andric 9050b57cec5SDimitry Andric if (name == ".CRT") { 9060b57cec5SDimitry Andric // In link.exe, there is a special case for the I386 target where .CRT 9070b57cec5SDimitry Andric // sections are treated as if they have output characteristics DATA | R if 9080b57cec5SDimitry Andric // their characteristics are DATA | R | W. This implements the same 9090b57cec5SDimitry Andric // special case for all architectures. 9100b57cec5SDimitry Andric outChars = data | r; 9110b57cec5SDimitry Andric 9120b57cec5SDimitry Andric log("Processing section " + pSec->name + " -> " + name); 9130b57cec5SDimitry Andric 9140b57cec5SDimitry Andric sortCRTSectionChunks(pSec->chunks); 9150b57cec5SDimitry Andric } 9160b57cec5SDimitry Andric 9170b57cec5SDimitry Andric OutputSection *sec = createSection(name, outChars); 9180b57cec5SDimitry Andric for (Chunk *c : pSec->chunks) 9190b57cec5SDimitry Andric sec->addChunk(c); 9200b57cec5SDimitry Andric 9210b57cec5SDimitry Andric sec->addContributingPartialSection(pSec); 9220b57cec5SDimitry Andric } 9230b57cec5SDimitry Andric 9240b57cec5SDimitry Andric // Finally, move some output sections to the end. 9250b57cec5SDimitry Andric auto sectionOrder = [&](const OutputSection *s) { 9260b57cec5SDimitry Andric // Move DISCARDABLE (or non-memory-mapped) sections to the end of file 9270b57cec5SDimitry Andric // because the loader cannot handle holes. Stripping can remove other 9280b57cec5SDimitry Andric // discardable ones than .reloc, which is first of them (created early). 9290b57cec5SDimitry Andric if (s->header.Characteristics & IMAGE_SCN_MEM_DISCARDABLE) 9300b57cec5SDimitry Andric return 2; 9310b57cec5SDimitry Andric // .rsrc should come at the end of the non-discardable sections because its 9320b57cec5SDimitry Andric // size may change by the Win32 UpdateResources() function, causing 9330b57cec5SDimitry Andric // subsequent sections to move (see https://crbug.com/827082). 9340b57cec5SDimitry Andric if (s == rsrcSec) 9350b57cec5SDimitry Andric return 1; 9360b57cec5SDimitry Andric return 0; 9370b57cec5SDimitry Andric }; 938*349cc55cSDimitry Andric llvm::stable_sort(ctx.outputSections, 9390b57cec5SDimitry Andric [&](const OutputSection *s, const OutputSection *t) { 9400b57cec5SDimitry Andric return sectionOrder(s) < sectionOrder(t); 9410b57cec5SDimitry Andric }); 9420b57cec5SDimitry Andric } 9430b57cec5SDimitry Andric 9440b57cec5SDimitry Andric void Writer::createMiscChunks() { 945*349cc55cSDimitry Andric for (MergeChunk *p : ctx.mergeChunkInstances) { 9460b57cec5SDimitry Andric if (p) { 9470b57cec5SDimitry Andric p->finalizeContents(); 9480b57cec5SDimitry Andric rdataSec->addChunk(p); 9490b57cec5SDimitry Andric } 9500b57cec5SDimitry Andric } 9510b57cec5SDimitry Andric 9520b57cec5SDimitry Andric // Create thunks for locally-dllimported symbols. 953*349cc55cSDimitry Andric if (!ctx.symtab.localImportChunks.empty()) { 954*349cc55cSDimitry Andric for (Chunk *c : ctx.symtab.localImportChunks) 9550b57cec5SDimitry Andric rdataSec->addChunk(c); 9560b57cec5SDimitry Andric } 9570b57cec5SDimitry Andric 9580b57cec5SDimitry Andric // Create Debug Information Chunks 9590b57cec5SDimitry Andric OutputSection *debugInfoSec = config->mingw ? buildidSec : rdataSec; 9605ffd83dbSDimitry Andric if (config->debug || config->repro || config->cetCompat) { 961*349cc55cSDimitry Andric debugDirectory = 962*349cc55cSDimitry Andric make<DebugDirectoryChunk>(ctx, debugRecords, config->repro); 9635ffd83dbSDimitry Andric debugDirectory->setAlignment(4); 9640b57cec5SDimitry Andric debugInfoSec->addChunk(debugDirectory); 9650b57cec5SDimitry Andric } 9660b57cec5SDimitry Andric 9670b57cec5SDimitry Andric if (config->debug) { 9680b57cec5SDimitry Andric // Make a CVDebugRecordChunk even when /DEBUG:CV is not specified. We 9690b57cec5SDimitry Andric // output a PDB no matter what, and this chunk provides the only means of 9700b57cec5SDimitry Andric // allowing a debugger to match a PDB and an executable. So we need it even 9710b57cec5SDimitry Andric // if we're ultimately not going to write CodeView data to the PDB. 9720b57cec5SDimitry Andric buildId = make<CVDebugRecordChunk>(); 9735ffd83dbSDimitry Andric debugRecords.push_back({COFF::IMAGE_DEBUG_TYPE_CODEVIEW, buildId}); 9745ffd83dbSDimitry Andric } 9750b57cec5SDimitry Andric 9765ffd83dbSDimitry Andric if (config->cetCompat) { 977e8d8bef9SDimitry Andric debugRecords.push_back({COFF::IMAGE_DEBUG_TYPE_EX_DLLCHARACTERISTICS, 9785ffd83dbSDimitry Andric make<ExtendedDllCharacteristicsChunk>( 979e8d8bef9SDimitry Andric IMAGE_DLL_CHARACTERISTICS_EX_CET_COMPAT)}); 9805ffd83dbSDimitry Andric } 9815ffd83dbSDimitry Andric 982e8d8bef9SDimitry Andric // Align and add each chunk referenced by the debug data directory. 983e8d8bef9SDimitry Andric for (std::pair<COFF::DebugType, Chunk *> r : debugRecords) { 984e8d8bef9SDimitry Andric r.second->setAlignment(4); 9855ffd83dbSDimitry Andric debugInfoSec->addChunk(r.second); 9860b57cec5SDimitry Andric } 9870b57cec5SDimitry Andric 9880b57cec5SDimitry Andric // Create SEH table. x86-only. 9890b57cec5SDimitry Andric if (config->safeSEH) 9900b57cec5SDimitry Andric createSEHTable(); 9910b57cec5SDimitry Andric 9920b57cec5SDimitry Andric // Create /guard:cf tables if requested. 9930b57cec5SDimitry Andric if (config->guardCF != GuardCFLevel::Off) 9940b57cec5SDimitry Andric createGuardCFTables(); 9950b57cec5SDimitry Andric 9965ffd83dbSDimitry Andric if (config->autoImport) 9970b57cec5SDimitry Andric createRuntimePseudoRelocs(); 9980b57cec5SDimitry Andric 9995ffd83dbSDimitry Andric if (config->mingw) 10000b57cec5SDimitry Andric insertCtorDtorSymbols(); 10010b57cec5SDimitry Andric } 10020b57cec5SDimitry Andric 10030b57cec5SDimitry Andric // Create .idata section for the DLL-imported symbol table. 10040b57cec5SDimitry Andric // The format of this section is inherently Windows-specific. 10050b57cec5SDimitry Andric // IdataContents class abstracted away the details for us, 10060b57cec5SDimitry Andric // so we just let it create chunks and add them to the section. 10070b57cec5SDimitry Andric void Writer::createImportTables() { 10080b57cec5SDimitry Andric // Initialize DLLOrder so that import entries are ordered in 10090b57cec5SDimitry Andric // the same order as in the command line. (That affects DLL 10100b57cec5SDimitry Andric // initialization order, and this ordering is MSVC-compatible.) 1011*349cc55cSDimitry Andric for (ImportFile *file : ctx.importFileInstances) { 10120b57cec5SDimitry Andric if (!file->live) 10130b57cec5SDimitry Andric continue; 10140b57cec5SDimitry Andric 10150b57cec5SDimitry Andric std::string dll = StringRef(file->dllName).lower(); 10160b57cec5SDimitry Andric if (config->dllOrder.count(dll) == 0) 10170b57cec5SDimitry Andric config->dllOrder[dll] = config->dllOrder.size(); 10180b57cec5SDimitry Andric 10190b57cec5SDimitry Andric if (file->impSym && !isa<DefinedImportData>(file->impSym)) 10200b57cec5SDimitry Andric fatal(toString(*file->impSym) + " was replaced"); 10210b57cec5SDimitry Andric DefinedImportData *impSym = cast_or_null<DefinedImportData>(file->impSym); 10220b57cec5SDimitry Andric if (config->delayLoads.count(StringRef(file->dllName).lower())) { 10230b57cec5SDimitry Andric if (!file->thunkSym) 10240b57cec5SDimitry Andric fatal("cannot delay-load " + toString(file) + 10250b57cec5SDimitry Andric " due to import of data: " + toString(*impSym)); 10260b57cec5SDimitry Andric delayIdata.add(impSym); 10270b57cec5SDimitry Andric } else { 10280b57cec5SDimitry Andric idata.add(impSym); 10290b57cec5SDimitry Andric } 10300b57cec5SDimitry Andric } 10310b57cec5SDimitry Andric } 10320b57cec5SDimitry Andric 10330b57cec5SDimitry Andric void Writer::appendImportThunks() { 1034*349cc55cSDimitry Andric if (ctx.importFileInstances.empty()) 10350b57cec5SDimitry Andric return; 10360b57cec5SDimitry Andric 1037*349cc55cSDimitry Andric for (ImportFile *file : ctx.importFileInstances) { 10380b57cec5SDimitry Andric if (!file->live) 10390b57cec5SDimitry Andric continue; 10400b57cec5SDimitry Andric 10410b57cec5SDimitry Andric if (!file->thunkSym) 10420b57cec5SDimitry Andric continue; 10430b57cec5SDimitry Andric 10440b57cec5SDimitry Andric if (!isa<DefinedImportThunk>(file->thunkSym)) 10450b57cec5SDimitry Andric fatal(toString(*file->thunkSym) + " was replaced"); 10460b57cec5SDimitry Andric DefinedImportThunk *thunk = cast<DefinedImportThunk>(file->thunkSym); 10470b57cec5SDimitry Andric if (file->thunkLive) 10480b57cec5SDimitry Andric textSec->addChunk(thunk->getChunk()); 10490b57cec5SDimitry Andric } 10500b57cec5SDimitry Andric 10510b57cec5SDimitry Andric if (!delayIdata.empty()) { 10520b57cec5SDimitry Andric Defined *helper = cast<Defined>(config->delayLoadHelper); 1053*349cc55cSDimitry Andric delayIdata.create(ctx, helper); 10540b57cec5SDimitry Andric for (Chunk *c : delayIdata.getChunks()) 10550b57cec5SDimitry Andric didatSec->addChunk(c); 10560b57cec5SDimitry Andric for (Chunk *c : delayIdata.getDataChunks()) 10570b57cec5SDimitry Andric dataSec->addChunk(c); 10580b57cec5SDimitry Andric for (Chunk *c : delayIdata.getCodeChunks()) 10590b57cec5SDimitry Andric textSec->addChunk(c); 10600b57cec5SDimitry Andric } 10610b57cec5SDimitry Andric } 10620b57cec5SDimitry Andric 10630b57cec5SDimitry Andric void Writer::createExportTable() { 106485868e8aSDimitry Andric if (!edataSec->chunks.empty()) { 106585868e8aSDimitry Andric // Allow using a custom built export table from input object files, instead 106685868e8aSDimitry Andric // of having the linker synthesize the tables. 106785868e8aSDimitry Andric if (config->hadExplicitExports) 106885868e8aSDimitry Andric warn("literal .edata sections override exports"); 106985868e8aSDimitry Andric } else if (!config->exports.empty()) { 10700b57cec5SDimitry Andric for (Chunk *c : edata.chunks) 10710b57cec5SDimitry Andric edataSec->addChunk(c); 10720b57cec5SDimitry Andric } 107385868e8aSDimitry Andric if (!edataSec->chunks.empty()) { 107485868e8aSDimitry Andric edataStart = edataSec->chunks.front(); 107585868e8aSDimitry Andric edataEnd = edataSec->chunks.back(); 107685868e8aSDimitry Andric } 1077fe6060f1SDimitry Andric // Warn on exported deleting destructor. 1078fe6060f1SDimitry Andric for (auto e : config->exports) 1079fe6060f1SDimitry Andric if (e.sym && e.sym->getName().startswith("??_G")) 1080fe6060f1SDimitry Andric warn("export of deleting dtor: " + toString(*e.sym)); 108185868e8aSDimitry Andric } 10820b57cec5SDimitry Andric 10830b57cec5SDimitry Andric void Writer::removeUnusedSections() { 10840b57cec5SDimitry Andric // Remove sections that we can be sure won't get content, to avoid 10850b57cec5SDimitry Andric // allocating space for their section headers. 10860b57cec5SDimitry Andric auto isUnused = [this](OutputSection *s) { 10870b57cec5SDimitry Andric if (s == relocSec) 10880b57cec5SDimitry Andric return false; // This section is populated later. 10890b57cec5SDimitry Andric // MergeChunks have zero size at this point, as their size is finalized 10900b57cec5SDimitry Andric // later. Only remove sections that have no Chunks at all. 10910b57cec5SDimitry Andric return s->chunks.empty(); 10920b57cec5SDimitry Andric }; 1093*349cc55cSDimitry Andric llvm::erase_if(ctx.outputSections, isUnused); 10940b57cec5SDimitry Andric } 10950b57cec5SDimitry Andric 10960b57cec5SDimitry Andric // The Windows loader doesn't seem to like empty sections, 10970b57cec5SDimitry Andric // so we remove them if any. 10980b57cec5SDimitry Andric void Writer::removeEmptySections() { 10990b57cec5SDimitry Andric auto isEmpty = [](OutputSection *s) { return s->getVirtualSize() == 0; }; 1100*349cc55cSDimitry Andric llvm::erase_if(ctx.outputSections, isEmpty); 11010b57cec5SDimitry Andric } 11020b57cec5SDimitry Andric 11030b57cec5SDimitry Andric void Writer::assignOutputSectionIndices() { 11040b57cec5SDimitry Andric // Assign final output section indices, and assign each chunk to its output 11050b57cec5SDimitry Andric // section. 11060b57cec5SDimitry Andric uint32_t idx = 1; 1107*349cc55cSDimitry Andric for (OutputSection *os : ctx.outputSections) { 11080b57cec5SDimitry Andric os->sectionIndex = idx; 11090b57cec5SDimitry Andric for (Chunk *c : os->chunks) 11100b57cec5SDimitry Andric c->setOutputSectionIdx(idx); 11110b57cec5SDimitry Andric ++idx; 11120b57cec5SDimitry Andric } 11130b57cec5SDimitry Andric 11140b57cec5SDimitry Andric // Merge chunks are containers of chunks, so assign those an output section 11150b57cec5SDimitry Andric // too. 1116*349cc55cSDimitry Andric for (MergeChunk *mc : ctx.mergeChunkInstances) 11170b57cec5SDimitry Andric if (mc) 11180b57cec5SDimitry Andric for (SectionChunk *sc : mc->sections) 11190b57cec5SDimitry Andric if (sc && sc->live) 11200b57cec5SDimitry Andric sc->setOutputSectionIdx(mc->getOutputSectionIdx()); 11210b57cec5SDimitry Andric } 11220b57cec5SDimitry Andric 11230b57cec5SDimitry Andric size_t Writer::addEntryToStringTable(StringRef str) { 11240b57cec5SDimitry Andric assert(str.size() > COFF::NameSize); 11250b57cec5SDimitry Andric size_t offsetOfEntry = strtab.size() + 4; // +4 for the size field 11260b57cec5SDimitry Andric strtab.insert(strtab.end(), str.begin(), str.end()); 11270b57cec5SDimitry Andric strtab.push_back('\0'); 11280b57cec5SDimitry Andric return offsetOfEntry; 11290b57cec5SDimitry Andric } 11300b57cec5SDimitry Andric 11310b57cec5SDimitry Andric Optional<coff_symbol16> Writer::createSymbol(Defined *def) { 11320b57cec5SDimitry Andric coff_symbol16 sym; 11330b57cec5SDimitry Andric switch (def->kind()) { 11340b57cec5SDimitry Andric case Symbol::DefinedAbsoluteKind: 11350b57cec5SDimitry Andric sym.Value = def->getRVA(); 11360b57cec5SDimitry Andric sym.SectionNumber = IMAGE_SYM_ABSOLUTE; 11370b57cec5SDimitry Andric break; 11380b57cec5SDimitry Andric case Symbol::DefinedSyntheticKind: 11390b57cec5SDimitry Andric // Relative symbols are unrepresentable in a COFF symbol table. 11400b57cec5SDimitry Andric return None; 11410b57cec5SDimitry Andric default: { 11420b57cec5SDimitry Andric // Don't write symbols that won't be written to the output to the symbol 11430b57cec5SDimitry Andric // table. 11440b57cec5SDimitry Andric Chunk *c = def->getChunk(); 11450b57cec5SDimitry Andric if (!c) 11460b57cec5SDimitry Andric return None; 1147*349cc55cSDimitry Andric OutputSection *os = ctx.getOutputSection(c); 11480b57cec5SDimitry Andric if (!os) 11490b57cec5SDimitry Andric return None; 11500b57cec5SDimitry Andric 11510b57cec5SDimitry Andric sym.Value = def->getRVA() - os->getRVA(); 11520b57cec5SDimitry Andric sym.SectionNumber = os->sectionIndex; 11530b57cec5SDimitry Andric break; 11540b57cec5SDimitry Andric } 11550b57cec5SDimitry Andric } 11560b57cec5SDimitry Andric 11570b57cec5SDimitry Andric // Symbols that are runtime pseudo relocations don't point to the actual 11580b57cec5SDimitry Andric // symbol data itself (as they are imported), but points to the IAT entry 11590b57cec5SDimitry Andric // instead. Avoid emitting them to the symbol table, as they can confuse 11600b57cec5SDimitry Andric // debuggers. 11610b57cec5SDimitry Andric if (def->isRuntimePseudoReloc) 11620b57cec5SDimitry Andric return None; 11630b57cec5SDimitry Andric 11640b57cec5SDimitry Andric StringRef name = def->getName(); 11650b57cec5SDimitry Andric if (name.size() > COFF::NameSize) { 11660b57cec5SDimitry Andric sym.Name.Offset.Zeroes = 0; 11670b57cec5SDimitry Andric sym.Name.Offset.Offset = addEntryToStringTable(name); 11680b57cec5SDimitry Andric } else { 11690b57cec5SDimitry Andric memset(sym.Name.ShortName, 0, COFF::NameSize); 11700b57cec5SDimitry Andric memcpy(sym.Name.ShortName, name.data(), name.size()); 11710b57cec5SDimitry Andric } 11720b57cec5SDimitry Andric 11730b57cec5SDimitry Andric if (auto *d = dyn_cast<DefinedCOFF>(def)) { 11740b57cec5SDimitry Andric COFFSymbolRef ref = d->getCOFFSymbol(); 11750b57cec5SDimitry Andric sym.Type = ref.getType(); 11760b57cec5SDimitry Andric sym.StorageClass = ref.getStorageClass(); 11770b57cec5SDimitry Andric } else { 11780b57cec5SDimitry Andric sym.Type = IMAGE_SYM_TYPE_NULL; 11790b57cec5SDimitry Andric sym.StorageClass = IMAGE_SYM_CLASS_EXTERNAL; 11800b57cec5SDimitry Andric } 11810b57cec5SDimitry Andric sym.NumberOfAuxSymbols = 0; 11820b57cec5SDimitry Andric return sym; 11830b57cec5SDimitry Andric } 11840b57cec5SDimitry Andric 11850b57cec5SDimitry Andric void Writer::createSymbolAndStringTable() { 11860b57cec5SDimitry Andric // PE/COFF images are limited to 8 byte section names. Longer names can be 11870b57cec5SDimitry Andric // supported by writing a non-standard string table, but this string table is 11880b57cec5SDimitry Andric // not mapped at runtime and the long names will therefore be inaccessible. 11890b57cec5SDimitry Andric // link.exe always truncates section names to 8 bytes, whereas binutils always 11900b57cec5SDimitry Andric // preserves long section names via the string table. LLD adopts a hybrid 11910b57cec5SDimitry Andric // solution where discardable sections have long names preserved and 11920b57cec5SDimitry Andric // non-discardable sections have their names truncated, to ensure that any 11930b57cec5SDimitry Andric // section which is mapped at runtime also has its name mapped at runtime. 1194*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 11950b57cec5SDimitry Andric if (sec->name.size() <= COFF::NameSize) 11960b57cec5SDimitry Andric continue; 11970b57cec5SDimitry Andric if ((sec->header.Characteristics & IMAGE_SCN_MEM_DISCARDABLE) == 0) 11980b57cec5SDimitry Andric continue; 1199480093f4SDimitry Andric if (config->warnLongSectionNames) { 1200480093f4SDimitry Andric warn("section name " + sec->name + 1201480093f4SDimitry Andric " is longer than 8 characters and will use a non-standard string " 1202480093f4SDimitry Andric "table"); 1203480093f4SDimitry Andric } 12040b57cec5SDimitry Andric sec->setStringTableOff(addEntryToStringTable(sec->name)); 12050b57cec5SDimitry Andric } 12060b57cec5SDimitry Andric 12070b57cec5SDimitry Andric if (config->debugDwarf || config->debugSymtab) { 1208*349cc55cSDimitry Andric for (ObjFile *file : ctx.objFileInstances) { 12090b57cec5SDimitry Andric for (Symbol *b : file->getSymbols()) { 12100b57cec5SDimitry Andric auto *d = dyn_cast_or_null<Defined>(b); 12110b57cec5SDimitry Andric if (!d || d->writtenToSymtab) 12120b57cec5SDimitry Andric continue; 12130b57cec5SDimitry Andric d->writtenToSymtab = true; 12140b57cec5SDimitry Andric 12150b57cec5SDimitry Andric if (Optional<coff_symbol16> sym = createSymbol(d)) 12160b57cec5SDimitry Andric outputSymtab.push_back(*sym); 12170b57cec5SDimitry Andric } 12180b57cec5SDimitry Andric } 12190b57cec5SDimitry Andric } 12200b57cec5SDimitry Andric 12210b57cec5SDimitry Andric if (outputSymtab.empty() && strtab.empty()) 12220b57cec5SDimitry Andric return; 12230b57cec5SDimitry Andric 12240b57cec5SDimitry Andric // We position the symbol table to be adjacent to the end of the last section. 12250b57cec5SDimitry Andric uint64_t fileOff = fileSize; 12260b57cec5SDimitry Andric pointerToSymbolTable = fileOff; 12270b57cec5SDimitry Andric fileOff += outputSymtab.size() * sizeof(coff_symbol16); 12280b57cec5SDimitry Andric fileOff += 4 + strtab.size(); 12290b57cec5SDimitry Andric fileSize = alignTo(fileOff, config->fileAlign); 12300b57cec5SDimitry Andric } 12310b57cec5SDimitry Andric 12320b57cec5SDimitry Andric void Writer::mergeSections() { 12330b57cec5SDimitry Andric if (!pdataSec->chunks.empty()) { 12340b57cec5SDimitry Andric firstPdata = pdataSec->chunks.front(); 12350b57cec5SDimitry Andric lastPdata = pdataSec->chunks.back(); 12360b57cec5SDimitry Andric } 12370b57cec5SDimitry Andric 12380b57cec5SDimitry Andric for (auto &p : config->merge) { 12390b57cec5SDimitry Andric StringRef toName = p.second; 12400b57cec5SDimitry Andric if (p.first == toName) 12410b57cec5SDimitry Andric continue; 12420b57cec5SDimitry Andric StringSet<> names; 12430b57cec5SDimitry Andric while (1) { 12440b57cec5SDimitry Andric if (!names.insert(toName).second) 12450b57cec5SDimitry Andric fatal("/merge: cycle found for section '" + p.first + "'"); 12460b57cec5SDimitry Andric auto i = config->merge.find(toName); 12470b57cec5SDimitry Andric if (i == config->merge.end()) 12480b57cec5SDimitry Andric break; 12490b57cec5SDimitry Andric toName = i->second; 12500b57cec5SDimitry Andric } 12510b57cec5SDimitry Andric OutputSection *from = findSection(p.first); 12520b57cec5SDimitry Andric OutputSection *to = findSection(toName); 12530b57cec5SDimitry Andric if (!from) 12540b57cec5SDimitry Andric continue; 12550b57cec5SDimitry Andric if (!to) { 12560b57cec5SDimitry Andric from->name = toName; 12570b57cec5SDimitry Andric continue; 12580b57cec5SDimitry Andric } 12590b57cec5SDimitry Andric to->merge(from); 12600b57cec5SDimitry Andric } 12610b57cec5SDimitry Andric } 12620b57cec5SDimitry Andric 12630b57cec5SDimitry Andric // Visits all sections to assign incremental, non-overlapping RVAs and 12640b57cec5SDimitry Andric // file offsets. 12650b57cec5SDimitry Andric void Writer::assignAddresses() { 12660b57cec5SDimitry Andric sizeOfHeaders = dosStubSize + sizeof(PEMagic) + sizeof(coff_file_header) + 12670b57cec5SDimitry Andric sizeof(data_directory) * numberOfDataDirectory + 1268*349cc55cSDimitry Andric sizeof(coff_section) * ctx.outputSections.size(); 12690b57cec5SDimitry Andric sizeOfHeaders += 12700b57cec5SDimitry Andric config->is64() ? sizeof(pe32plus_header) : sizeof(pe32_header); 12710b57cec5SDimitry Andric sizeOfHeaders = alignTo(sizeOfHeaders, config->fileAlign); 12720b57cec5SDimitry Andric fileSize = sizeOfHeaders; 12730b57cec5SDimitry Andric 12740b57cec5SDimitry Andric // The first page is kept unmapped. 12750b57cec5SDimitry Andric uint64_t rva = alignTo(sizeOfHeaders, config->align); 12760b57cec5SDimitry Andric 1277*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 12780b57cec5SDimitry Andric if (sec == relocSec) 12790b57cec5SDimitry Andric addBaserels(); 12800b57cec5SDimitry Andric uint64_t rawSize = 0, virtualSize = 0; 12810b57cec5SDimitry Andric sec->header.VirtualAddress = rva; 12820b57cec5SDimitry Andric 12830b57cec5SDimitry Andric // If /FUNCTIONPADMIN is used, functions are padded in order to create a 12840b57cec5SDimitry Andric // hotpatchable image. 12850b57cec5SDimitry Andric const bool isCodeSection = 12860b57cec5SDimitry Andric (sec->header.Characteristics & IMAGE_SCN_CNT_CODE) && 12870b57cec5SDimitry Andric (sec->header.Characteristics & IMAGE_SCN_MEM_READ) && 12880b57cec5SDimitry Andric (sec->header.Characteristics & IMAGE_SCN_MEM_EXECUTE); 12890b57cec5SDimitry Andric uint32_t padding = isCodeSection ? config->functionPadMin : 0; 12900b57cec5SDimitry Andric 12910b57cec5SDimitry Andric for (Chunk *c : sec->chunks) { 12920b57cec5SDimitry Andric if (padding && c->isHotPatchable()) 12930b57cec5SDimitry Andric virtualSize += padding; 12940b57cec5SDimitry Andric virtualSize = alignTo(virtualSize, c->getAlignment()); 12950b57cec5SDimitry Andric c->setRVA(rva + virtualSize); 12960b57cec5SDimitry Andric virtualSize += c->getSize(); 12970b57cec5SDimitry Andric if (c->hasData) 12980b57cec5SDimitry Andric rawSize = alignTo(virtualSize, config->fileAlign); 12990b57cec5SDimitry Andric } 13000b57cec5SDimitry Andric if (virtualSize > UINT32_MAX) 13010b57cec5SDimitry Andric error("section larger than 4 GiB: " + sec->name); 13020b57cec5SDimitry Andric sec->header.VirtualSize = virtualSize; 13030b57cec5SDimitry Andric sec->header.SizeOfRawData = rawSize; 13040b57cec5SDimitry Andric if (rawSize != 0) 13050b57cec5SDimitry Andric sec->header.PointerToRawData = fileSize; 13060b57cec5SDimitry Andric rva += alignTo(virtualSize, config->align); 13070b57cec5SDimitry Andric fileSize += alignTo(rawSize, config->fileAlign); 13080b57cec5SDimitry Andric } 13090b57cec5SDimitry Andric sizeOfImage = alignTo(rva, config->align); 13100b57cec5SDimitry Andric 13110b57cec5SDimitry Andric // Assign addresses to sections in MergeChunks. 1312*349cc55cSDimitry Andric for (MergeChunk *mc : ctx.mergeChunkInstances) 13130b57cec5SDimitry Andric if (mc) 13140b57cec5SDimitry Andric mc->assignSubsectionRVAs(); 13150b57cec5SDimitry Andric } 13160b57cec5SDimitry Andric 13170b57cec5SDimitry Andric template <typename PEHeaderTy> void Writer::writeHeader() { 13180b57cec5SDimitry Andric // Write DOS header. For backwards compatibility, the first part of a PE/COFF 13190b57cec5SDimitry Andric // executable consists of an MS-DOS MZ executable. If the executable is run 13200b57cec5SDimitry Andric // under DOS, that program gets run (usually to just print an error message). 13210b57cec5SDimitry Andric // When run under Windows, the loader looks at AddressOfNewExeHeader and uses 13220b57cec5SDimitry Andric // the PE header instead. 13230b57cec5SDimitry Andric uint8_t *buf = buffer->getBufferStart(); 13240b57cec5SDimitry Andric auto *dos = reinterpret_cast<dos_header *>(buf); 13250b57cec5SDimitry Andric buf += sizeof(dos_header); 13260b57cec5SDimitry Andric dos->Magic[0] = 'M'; 13270b57cec5SDimitry Andric dos->Magic[1] = 'Z'; 13280b57cec5SDimitry Andric dos->UsedBytesInTheLastPage = dosStubSize % 512; 13290b57cec5SDimitry Andric dos->FileSizeInPages = divideCeil(dosStubSize, 512); 13300b57cec5SDimitry Andric dos->HeaderSizeInParagraphs = sizeof(dos_header) / 16; 13310b57cec5SDimitry Andric 13320b57cec5SDimitry Andric dos->AddressOfRelocationTable = sizeof(dos_header); 13330b57cec5SDimitry Andric dos->AddressOfNewExeHeader = dosStubSize; 13340b57cec5SDimitry Andric 13350b57cec5SDimitry Andric // Write DOS program. 13360b57cec5SDimitry Andric memcpy(buf, dosProgram, sizeof(dosProgram)); 13370b57cec5SDimitry Andric buf += sizeof(dosProgram); 13380b57cec5SDimitry Andric 13390b57cec5SDimitry Andric // Write PE magic 13400b57cec5SDimitry Andric memcpy(buf, PEMagic, sizeof(PEMagic)); 13410b57cec5SDimitry Andric buf += sizeof(PEMagic); 13420b57cec5SDimitry Andric 13430b57cec5SDimitry Andric // Write COFF header 13440b57cec5SDimitry Andric auto *coff = reinterpret_cast<coff_file_header *>(buf); 13450b57cec5SDimitry Andric buf += sizeof(*coff); 13460b57cec5SDimitry Andric coff->Machine = config->machine; 1347*349cc55cSDimitry Andric coff->NumberOfSections = ctx.outputSections.size(); 13480b57cec5SDimitry Andric coff->Characteristics = IMAGE_FILE_EXECUTABLE_IMAGE; 13490b57cec5SDimitry Andric if (config->largeAddressAware) 13500b57cec5SDimitry Andric coff->Characteristics |= IMAGE_FILE_LARGE_ADDRESS_AWARE; 13510b57cec5SDimitry Andric if (!config->is64()) 13520b57cec5SDimitry Andric coff->Characteristics |= IMAGE_FILE_32BIT_MACHINE; 13530b57cec5SDimitry Andric if (config->dll) 13540b57cec5SDimitry Andric coff->Characteristics |= IMAGE_FILE_DLL; 1355480093f4SDimitry Andric if (config->driverUponly) 1356480093f4SDimitry Andric coff->Characteristics |= IMAGE_FILE_UP_SYSTEM_ONLY; 13570b57cec5SDimitry Andric if (!config->relocatable) 13580b57cec5SDimitry Andric coff->Characteristics |= IMAGE_FILE_RELOCS_STRIPPED; 13590b57cec5SDimitry Andric if (config->swaprunCD) 13600b57cec5SDimitry Andric coff->Characteristics |= IMAGE_FILE_REMOVABLE_RUN_FROM_SWAP; 13610b57cec5SDimitry Andric if (config->swaprunNet) 13620b57cec5SDimitry Andric coff->Characteristics |= IMAGE_FILE_NET_RUN_FROM_SWAP; 13630b57cec5SDimitry Andric coff->SizeOfOptionalHeader = 13640b57cec5SDimitry Andric sizeof(PEHeaderTy) + sizeof(data_directory) * numberOfDataDirectory; 13650b57cec5SDimitry Andric 13660b57cec5SDimitry Andric // Write PE header 13670b57cec5SDimitry Andric auto *pe = reinterpret_cast<PEHeaderTy *>(buf); 13680b57cec5SDimitry Andric buf += sizeof(*pe); 13690b57cec5SDimitry Andric pe->Magic = config->is64() ? PE32Header::PE32_PLUS : PE32Header::PE32; 13700b57cec5SDimitry Andric 13710b57cec5SDimitry Andric // If {Major,Minor}LinkerVersion is left at 0.0, then for some 13720b57cec5SDimitry Andric // reason signing the resulting PE file with Authenticode produces a 13730b57cec5SDimitry Andric // signature that fails to validate on Windows 7 (but is OK on 10). 13740b57cec5SDimitry Andric // Set it to 14.0, which is what VS2015 outputs, and which avoids 13750b57cec5SDimitry Andric // that problem. 13760b57cec5SDimitry Andric pe->MajorLinkerVersion = 14; 13770b57cec5SDimitry Andric pe->MinorLinkerVersion = 0; 13780b57cec5SDimitry Andric 13790b57cec5SDimitry Andric pe->ImageBase = config->imageBase; 13800b57cec5SDimitry Andric pe->SectionAlignment = config->align; 13810b57cec5SDimitry Andric pe->FileAlignment = config->fileAlign; 13820b57cec5SDimitry Andric pe->MajorImageVersion = config->majorImageVersion; 13830b57cec5SDimitry Andric pe->MinorImageVersion = config->minorImageVersion; 13840b57cec5SDimitry Andric pe->MajorOperatingSystemVersion = config->majorOSVersion; 13850b57cec5SDimitry Andric pe->MinorOperatingSystemVersion = config->minorOSVersion; 1386e8d8bef9SDimitry Andric pe->MajorSubsystemVersion = config->majorSubsystemVersion; 1387e8d8bef9SDimitry Andric pe->MinorSubsystemVersion = config->minorSubsystemVersion; 13880b57cec5SDimitry Andric pe->Subsystem = config->subsystem; 13890b57cec5SDimitry Andric pe->SizeOfImage = sizeOfImage; 13900b57cec5SDimitry Andric pe->SizeOfHeaders = sizeOfHeaders; 13910b57cec5SDimitry Andric if (!config->noEntry) { 13920b57cec5SDimitry Andric Defined *entry = cast<Defined>(config->entry); 13930b57cec5SDimitry Andric pe->AddressOfEntryPoint = entry->getRVA(); 13940b57cec5SDimitry Andric // Pointer to thumb code must have the LSB set, so adjust it. 13950b57cec5SDimitry Andric if (config->machine == ARMNT) 13960b57cec5SDimitry Andric pe->AddressOfEntryPoint |= 1; 13970b57cec5SDimitry Andric } 13980b57cec5SDimitry Andric pe->SizeOfStackReserve = config->stackReserve; 13990b57cec5SDimitry Andric pe->SizeOfStackCommit = config->stackCommit; 14000b57cec5SDimitry Andric pe->SizeOfHeapReserve = config->heapReserve; 14010b57cec5SDimitry Andric pe->SizeOfHeapCommit = config->heapCommit; 14020b57cec5SDimitry Andric if (config->appContainer) 14030b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_APPCONTAINER; 1404480093f4SDimitry Andric if (config->driverWdm) 1405480093f4SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_WDM_DRIVER; 14060b57cec5SDimitry Andric if (config->dynamicBase) 14070b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_DYNAMIC_BASE; 14080b57cec5SDimitry Andric if (config->highEntropyVA) 14090b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_HIGH_ENTROPY_VA; 14100b57cec5SDimitry Andric if (!config->allowBind) 14110b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NO_BIND; 14120b57cec5SDimitry Andric if (config->nxCompat) 14130b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NX_COMPAT; 14140b57cec5SDimitry Andric if (!config->allowIsolation) 14150b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NO_ISOLATION; 14160b57cec5SDimitry Andric if (config->guardCF != GuardCFLevel::Off) 14170b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_GUARD_CF; 14180b57cec5SDimitry Andric if (config->integrityCheck) 14190b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_FORCE_INTEGRITY; 1420979e22ffSDimitry Andric if (setNoSEHCharacteristic || config->noSEH) 14210b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_NO_SEH; 14220b57cec5SDimitry Andric if (config->terminalServerAware) 14230b57cec5SDimitry Andric pe->DLLCharacteristics |= IMAGE_DLL_CHARACTERISTICS_TERMINAL_SERVER_AWARE; 14240b57cec5SDimitry Andric pe->NumberOfRvaAndSize = numberOfDataDirectory; 14250b57cec5SDimitry Andric if (textSec->getVirtualSize()) { 14260b57cec5SDimitry Andric pe->BaseOfCode = textSec->getRVA(); 14270b57cec5SDimitry Andric pe->SizeOfCode = textSec->getRawSize(); 14280b57cec5SDimitry Andric } 14290b57cec5SDimitry Andric pe->SizeOfInitializedData = getSizeOfInitializedData(); 14300b57cec5SDimitry Andric 14310b57cec5SDimitry Andric // Write data directory 14320b57cec5SDimitry Andric auto *dir = reinterpret_cast<data_directory *>(buf); 14330b57cec5SDimitry Andric buf += sizeof(*dir) * numberOfDataDirectory; 143485868e8aSDimitry Andric if (edataStart) { 143585868e8aSDimitry Andric dir[EXPORT_TABLE].RelativeVirtualAddress = edataStart->getRVA(); 143685868e8aSDimitry Andric dir[EXPORT_TABLE].Size = 143785868e8aSDimitry Andric edataEnd->getRVA() + edataEnd->getSize() - edataStart->getRVA(); 14380b57cec5SDimitry Andric } 14390b57cec5SDimitry Andric if (importTableStart) { 14400b57cec5SDimitry Andric dir[IMPORT_TABLE].RelativeVirtualAddress = importTableStart->getRVA(); 14410b57cec5SDimitry Andric dir[IMPORT_TABLE].Size = importTableSize; 14420b57cec5SDimitry Andric } 14430b57cec5SDimitry Andric if (iatStart) { 14440b57cec5SDimitry Andric dir[IAT].RelativeVirtualAddress = iatStart->getRVA(); 14450b57cec5SDimitry Andric dir[IAT].Size = iatSize; 14460b57cec5SDimitry Andric } 14470b57cec5SDimitry Andric if (rsrcSec->getVirtualSize()) { 14480b57cec5SDimitry Andric dir[RESOURCE_TABLE].RelativeVirtualAddress = rsrcSec->getRVA(); 14490b57cec5SDimitry Andric dir[RESOURCE_TABLE].Size = rsrcSec->getVirtualSize(); 14500b57cec5SDimitry Andric } 14510b57cec5SDimitry Andric if (firstPdata) { 14520b57cec5SDimitry Andric dir[EXCEPTION_TABLE].RelativeVirtualAddress = firstPdata->getRVA(); 14530b57cec5SDimitry Andric dir[EXCEPTION_TABLE].Size = 14540b57cec5SDimitry Andric lastPdata->getRVA() + lastPdata->getSize() - firstPdata->getRVA(); 14550b57cec5SDimitry Andric } 14560b57cec5SDimitry Andric if (relocSec->getVirtualSize()) { 14570b57cec5SDimitry Andric dir[BASE_RELOCATION_TABLE].RelativeVirtualAddress = relocSec->getRVA(); 14580b57cec5SDimitry Andric dir[BASE_RELOCATION_TABLE].Size = relocSec->getVirtualSize(); 14590b57cec5SDimitry Andric } 1460*349cc55cSDimitry Andric if (Symbol *sym = ctx.symtab.findUnderscore("_tls_used")) { 14610b57cec5SDimitry Andric if (Defined *b = dyn_cast<Defined>(sym)) { 14620b57cec5SDimitry Andric dir[TLS_TABLE].RelativeVirtualAddress = b->getRVA(); 14630b57cec5SDimitry Andric dir[TLS_TABLE].Size = config->is64() 14640b57cec5SDimitry Andric ? sizeof(object::coff_tls_directory64) 14650b57cec5SDimitry Andric : sizeof(object::coff_tls_directory32); 14660b57cec5SDimitry Andric } 14670b57cec5SDimitry Andric } 14680b57cec5SDimitry Andric if (debugDirectory) { 14690b57cec5SDimitry Andric dir[DEBUG_DIRECTORY].RelativeVirtualAddress = debugDirectory->getRVA(); 14700b57cec5SDimitry Andric dir[DEBUG_DIRECTORY].Size = debugDirectory->getSize(); 14710b57cec5SDimitry Andric } 1472*349cc55cSDimitry Andric if (Symbol *sym = ctx.symtab.findUnderscore("_load_config_used")) { 14730b57cec5SDimitry Andric if (auto *b = dyn_cast<DefinedRegular>(sym)) { 14740b57cec5SDimitry Andric SectionChunk *sc = b->getChunk(); 14750b57cec5SDimitry Andric assert(b->getRVA() >= sc->getRVA()); 14760b57cec5SDimitry Andric uint64_t offsetInChunk = b->getRVA() - sc->getRVA(); 14770b57cec5SDimitry Andric if (!sc->hasData || offsetInChunk + 4 > sc->getSize()) 14780b57cec5SDimitry Andric fatal("_load_config_used is malformed"); 14790b57cec5SDimitry Andric 14800b57cec5SDimitry Andric ArrayRef<uint8_t> secContents = sc->getContents(); 14810b57cec5SDimitry Andric uint32_t loadConfigSize = 14820b57cec5SDimitry Andric *reinterpret_cast<const ulittle32_t *>(&secContents[offsetInChunk]); 14830b57cec5SDimitry Andric if (offsetInChunk + loadConfigSize > sc->getSize()) 14840b57cec5SDimitry Andric fatal("_load_config_used is too large"); 14850b57cec5SDimitry Andric dir[LOAD_CONFIG_TABLE].RelativeVirtualAddress = b->getRVA(); 14860b57cec5SDimitry Andric dir[LOAD_CONFIG_TABLE].Size = loadConfigSize; 14870b57cec5SDimitry Andric } 14880b57cec5SDimitry Andric } 14890b57cec5SDimitry Andric if (!delayIdata.empty()) { 14900b57cec5SDimitry Andric dir[DELAY_IMPORT_DESCRIPTOR].RelativeVirtualAddress = 14910b57cec5SDimitry Andric delayIdata.getDirRVA(); 14920b57cec5SDimitry Andric dir[DELAY_IMPORT_DESCRIPTOR].Size = delayIdata.getDirSize(); 14930b57cec5SDimitry Andric } 14940b57cec5SDimitry Andric 14950b57cec5SDimitry Andric // Write section table 1496*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 14970b57cec5SDimitry Andric sec->writeHeaderTo(buf); 14980b57cec5SDimitry Andric buf += sizeof(coff_section); 14990b57cec5SDimitry Andric } 15000b57cec5SDimitry Andric sectionTable = ArrayRef<uint8_t>( 1501*349cc55cSDimitry Andric buf - ctx.outputSections.size() * sizeof(coff_section), buf); 15020b57cec5SDimitry Andric 15030b57cec5SDimitry Andric if (outputSymtab.empty() && strtab.empty()) 15040b57cec5SDimitry Andric return; 15050b57cec5SDimitry Andric 15060b57cec5SDimitry Andric coff->PointerToSymbolTable = pointerToSymbolTable; 15070b57cec5SDimitry Andric uint32_t numberOfSymbols = outputSymtab.size(); 15080b57cec5SDimitry Andric coff->NumberOfSymbols = numberOfSymbols; 15090b57cec5SDimitry Andric auto *symbolTable = reinterpret_cast<coff_symbol16 *>( 15100b57cec5SDimitry Andric buffer->getBufferStart() + coff->PointerToSymbolTable); 15110b57cec5SDimitry Andric for (size_t i = 0; i != numberOfSymbols; ++i) 15120b57cec5SDimitry Andric symbolTable[i] = outputSymtab[i]; 15130b57cec5SDimitry Andric // Create the string table, it follows immediately after the symbol table. 15140b57cec5SDimitry Andric // The first 4 bytes is length including itself. 15150b57cec5SDimitry Andric buf = reinterpret_cast<uint8_t *>(&symbolTable[numberOfSymbols]); 15160b57cec5SDimitry Andric write32le(buf, strtab.size() + 4); 15170b57cec5SDimitry Andric if (!strtab.empty()) 15180b57cec5SDimitry Andric memcpy(buf + 4, strtab.data(), strtab.size()); 15190b57cec5SDimitry Andric } 15200b57cec5SDimitry Andric 15210b57cec5SDimitry Andric void Writer::openFile(StringRef path) { 15220b57cec5SDimitry Andric buffer = CHECK( 15230b57cec5SDimitry Andric FileOutputBuffer::create(path, fileSize, FileOutputBuffer::F_executable), 15240b57cec5SDimitry Andric "failed to open " + path); 15250b57cec5SDimitry Andric } 15260b57cec5SDimitry Andric 15270b57cec5SDimitry Andric void Writer::createSEHTable() { 15280b57cec5SDimitry Andric SymbolRVASet handlers; 1529*349cc55cSDimitry Andric for (ObjFile *file : ctx.objFileInstances) { 15300b57cec5SDimitry Andric if (!file->hasSafeSEH()) 15310b57cec5SDimitry Andric error("/safeseh: " + file->getName() + " is not compatible with SEH"); 15320b57cec5SDimitry Andric markSymbolsForRVATable(file, file->getSXDataChunks(), handlers); 15330b57cec5SDimitry Andric } 15340b57cec5SDimitry Andric 15350b57cec5SDimitry Andric // Set the "no SEH" characteristic if there really were no handlers, or if 15360b57cec5SDimitry Andric // there is no load config object to point to the table of handlers. 15370b57cec5SDimitry Andric setNoSEHCharacteristic = 1538*349cc55cSDimitry Andric handlers.empty() || !ctx.symtab.findUnderscore("_load_config_used"); 15390b57cec5SDimitry Andric 15400b57cec5SDimitry Andric maybeAddRVATable(std::move(handlers), "__safe_se_handler_table", 15410b57cec5SDimitry Andric "__safe_se_handler_count"); 15420b57cec5SDimitry Andric } 15430b57cec5SDimitry Andric 15440b57cec5SDimitry Andric // Add a symbol to an RVA set. Two symbols may have the same RVA, but an RVA set 15450b57cec5SDimitry Andric // cannot contain duplicates. Therefore, the set is uniqued by Chunk and the 15460b57cec5SDimitry Andric // symbol's offset into that Chunk. 15470b57cec5SDimitry Andric static void addSymbolToRVASet(SymbolRVASet &rvaSet, Defined *s) { 15480b57cec5SDimitry Andric Chunk *c = s->getChunk(); 15490b57cec5SDimitry Andric if (auto *sc = dyn_cast<SectionChunk>(c)) 15500b57cec5SDimitry Andric c = sc->repl; // Look through ICF replacement. 15510b57cec5SDimitry Andric uint32_t off = s->getRVA() - (c ? c->getRVA() : 0); 15520b57cec5SDimitry Andric rvaSet.insert({c, off}); 15530b57cec5SDimitry Andric } 15540b57cec5SDimitry Andric 15550b57cec5SDimitry Andric // Given a symbol, add it to the GFIDs table if it is a live, defined, function 15560b57cec5SDimitry Andric // symbol in an executable section. 15570b57cec5SDimitry Andric static void maybeAddAddressTakenFunction(SymbolRVASet &addressTakenSyms, 15580b57cec5SDimitry Andric Symbol *s) { 15590b57cec5SDimitry Andric if (!s) 15600b57cec5SDimitry Andric return; 15610b57cec5SDimitry Andric 15620b57cec5SDimitry Andric switch (s->kind()) { 15630b57cec5SDimitry Andric case Symbol::DefinedLocalImportKind: 15640b57cec5SDimitry Andric case Symbol::DefinedImportDataKind: 15650b57cec5SDimitry Andric // Defines an __imp_ pointer, so it is data, so it is ignored. 15660b57cec5SDimitry Andric break; 15670b57cec5SDimitry Andric case Symbol::DefinedCommonKind: 15680b57cec5SDimitry Andric // Common is always data, so it is ignored. 15690b57cec5SDimitry Andric break; 15700b57cec5SDimitry Andric case Symbol::DefinedAbsoluteKind: 15710b57cec5SDimitry Andric case Symbol::DefinedSyntheticKind: 15720b57cec5SDimitry Andric // Absolute is never code, synthetic generally isn't and usually isn't 15730b57cec5SDimitry Andric // determinable. 15740b57cec5SDimitry Andric break; 157585868e8aSDimitry Andric case Symbol::LazyArchiveKind: 157685868e8aSDimitry Andric case Symbol::LazyObjectKind: 1577fe6060f1SDimitry Andric case Symbol::LazyDLLSymbolKind: 15780b57cec5SDimitry Andric case Symbol::UndefinedKind: 15790b57cec5SDimitry Andric // Undefined symbols resolve to zero, so they don't have an RVA. Lazy 15800b57cec5SDimitry Andric // symbols shouldn't have relocations. 15810b57cec5SDimitry Andric break; 15820b57cec5SDimitry Andric 15830b57cec5SDimitry Andric case Symbol::DefinedImportThunkKind: 15840b57cec5SDimitry Andric // Thunks are always code, include them. 15850b57cec5SDimitry Andric addSymbolToRVASet(addressTakenSyms, cast<Defined>(s)); 15860b57cec5SDimitry Andric break; 15870b57cec5SDimitry Andric 15880b57cec5SDimitry Andric case Symbol::DefinedRegularKind: { 15890b57cec5SDimitry Andric // This is a regular, defined, symbol from a COFF file. Mark the symbol as 15900b57cec5SDimitry Andric // address taken if the symbol type is function and it's in an executable 15910b57cec5SDimitry Andric // section. 15920b57cec5SDimitry Andric auto *d = cast<DefinedRegular>(s); 15930b57cec5SDimitry Andric if (d->getCOFFSymbol().getComplexType() == COFF::IMAGE_SYM_DTYPE_FUNCTION) { 15940b57cec5SDimitry Andric SectionChunk *sc = dyn_cast<SectionChunk>(d->getChunk()); 15950b57cec5SDimitry Andric if (sc && sc->live && 15960b57cec5SDimitry Andric sc->getOutputCharacteristics() & IMAGE_SCN_MEM_EXECUTE) 15970b57cec5SDimitry Andric addSymbolToRVASet(addressTakenSyms, d); 15980b57cec5SDimitry Andric } 15990b57cec5SDimitry Andric break; 16000b57cec5SDimitry Andric } 16010b57cec5SDimitry Andric } 16020b57cec5SDimitry Andric } 16030b57cec5SDimitry Andric 16040b57cec5SDimitry Andric // Visit all relocations from all section contributions of this object file and 16050b57cec5SDimitry Andric // mark the relocation target as address-taken. 16060b57cec5SDimitry Andric static void markSymbolsWithRelocations(ObjFile *file, 16070b57cec5SDimitry Andric SymbolRVASet &usedSymbols) { 16080b57cec5SDimitry Andric for (Chunk *c : file->getChunks()) { 16090b57cec5SDimitry Andric // We only care about live section chunks. Common chunks and other chunks 16100b57cec5SDimitry Andric // don't generally contain relocations. 16110b57cec5SDimitry Andric SectionChunk *sc = dyn_cast<SectionChunk>(c); 16120b57cec5SDimitry Andric if (!sc || !sc->live) 16130b57cec5SDimitry Andric continue; 16140b57cec5SDimitry Andric 16150b57cec5SDimitry Andric for (const coff_relocation &reloc : sc->getRelocs()) { 16160b57cec5SDimitry Andric if (config->machine == I386 && reloc.Type == COFF::IMAGE_REL_I386_REL32) 16170b57cec5SDimitry Andric // Ignore relative relocations on x86. On x86_64 they can't be ignored 16180b57cec5SDimitry Andric // since they're also used to compute absolute addresses. 16190b57cec5SDimitry Andric continue; 16200b57cec5SDimitry Andric 16210b57cec5SDimitry Andric Symbol *ref = sc->file->getSymbol(reloc.SymbolTableIndex); 16220b57cec5SDimitry Andric maybeAddAddressTakenFunction(usedSymbols, ref); 16230b57cec5SDimitry Andric } 16240b57cec5SDimitry Andric } 16250b57cec5SDimitry Andric } 16260b57cec5SDimitry Andric 16270b57cec5SDimitry Andric // Create the guard function id table. This is a table of RVAs of all 16280b57cec5SDimitry Andric // address-taken functions. It is sorted and uniqued, just like the safe SEH 16290b57cec5SDimitry Andric // table. 16300b57cec5SDimitry Andric void Writer::createGuardCFTables() { 16310b57cec5SDimitry Andric SymbolRVASet addressTakenSyms; 1632e8d8bef9SDimitry Andric SymbolRVASet giatsRVASet; 1633e8d8bef9SDimitry Andric std::vector<Symbol *> giatsSymbols; 16340b57cec5SDimitry Andric SymbolRVASet longJmpTargets; 1635fe6060f1SDimitry Andric SymbolRVASet ehContTargets; 1636*349cc55cSDimitry Andric for (ObjFile *file : ctx.objFileInstances) { 16370b57cec5SDimitry Andric // If the object was compiled with /guard:cf, the address taken symbols 1638fe6060f1SDimitry Andric // are in .gfids$y sections, the longjmp targets are in .gljmp$y sections, 1639fe6060f1SDimitry Andric // and ehcont targets are in .gehcont$y sections. If the object was not 1640fe6060f1SDimitry Andric // compiled with /guard:cf, we assume there were no setjmp and ehcont 1641fe6060f1SDimitry Andric // targets, and that all code symbols with relocations are possibly 1642fe6060f1SDimitry Andric // address-taken. 16430b57cec5SDimitry Andric if (file->hasGuardCF()) { 16440b57cec5SDimitry Andric markSymbolsForRVATable(file, file->getGuardFidChunks(), addressTakenSyms); 1645e8d8bef9SDimitry Andric markSymbolsForRVATable(file, file->getGuardIATChunks(), giatsRVASet); 1646e8d8bef9SDimitry Andric getSymbolsFromSections(file, file->getGuardIATChunks(), giatsSymbols); 16470b57cec5SDimitry Andric markSymbolsForRVATable(file, file->getGuardLJmpChunks(), longJmpTargets); 1648fe6060f1SDimitry Andric markSymbolsForRVATable(file, file->getGuardEHContChunks(), ehContTargets); 16490b57cec5SDimitry Andric } else { 16500b57cec5SDimitry Andric markSymbolsWithRelocations(file, addressTakenSyms); 16510b57cec5SDimitry Andric } 16520b57cec5SDimitry Andric } 16530b57cec5SDimitry Andric 16540b57cec5SDimitry Andric // Mark the image entry as address-taken. 16550b57cec5SDimitry Andric if (config->entry) 16560b57cec5SDimitry Andric maybeAddAddressTakenFunction(addressTakenSyms, config->entry); 16570b57cec5SDimitry Andric 16580b57cec5SDimitry Andric // Mark exported symbols in executable sections as address-taken. 16590b57cec5SDimitry Andric for (Export &e : config->exports) 16600b57cec5SDimitry Andric maybeAddAddressTakenFunction(addressTakenSyms, e.sym); 16610b57cec5SDimitry Andric 1662e8d8bef9SDimitry Andric // For each entry in the .giats table, check if it has a corresponding load 1663e8d8bef9SDimitry Andric // thunk (e.g. because the DLL that defines it will be delay-loaded) and, if 1664e8d8bef9SDimitry Andric // so, add the load thunk to the address taken (.gfids) table. 1665e8d8bef9SDimitry Andric for (Symbol *s : giatsSymbols) { 1666e8d8bef9SDimitry Andric if (auto *di = dyn_cast<DefinedImportData>(s)) { 1667e8d8bef9SDimitry Andric if (di->loadThunkSym) 1668e8d8bef9SDimitry Andric addSymbolToRVASet(addressTakenSyms, di->loadThunkSym); 1669e8d8bef9SDimitry Andric } 1670e8d8bef9SDimitry Andric } 1671e8d8bef9SDimitry Andric 16720b57cec5SDimitry Andric // Ensure sections referenced in the gfid table are 16-byte aligned. 16730b57cec5SDimitry Andric for (const ChunkAndOffset &c : addressTakenSyms) 16740b57cec5SDimitry Andric if (c.inputChunk->getAlignment() < 16) 16750b57cec5SDimitry Andric c.inputChunk->setAlignment(16); 16760b57cec5SDimitry Andric 16770b57cec5SDimitry Andric maybeAddRVATable(std::move(addressTakenSyms), "__guard_fids_table", 16780b57cec5SDimitry Andric "__guard_fids_count"); 16790b57cec5SDimitry Andric 1680e8d8bef9SDimitry Andric // Add the Guard Address Taken IAT Entry Table (.giats). 1681e8d8bef9SDimitry Andric maybeAddRVATable(std::move(giatsRVASet), "__guard_iat_table", 1682e8d8bef9SDimitry Andric "__guard_iat_count"); 1683e8d8bef9SDimitry Andric 16840b57cec5SDimitry Andric // Add the longjmp target table unless the user told us not to. 1685fe6060f1SDimitry Andric if (config->guardCF & GuardCFLevel::LongJmp) 16860b57cec5SDimitry Andric maybeAddRVATable(std::move(longJmpTargets), "__guard_longjmp_table", 16870b57cec5SDimitry Andric "__guard_longjmp_count"); 16880b57cec5SDimitry Andric 1689fe6060f1SDimitry Andric // Add the ehcont target table unless the user told us not to. 1690fe6060f1SDimitry Andric if (config->guardCF & GuardCFLevel::EHCont) 1691fe6060f1SDimitry Andric maybeAddRVATable(std::move(ehContTargets), "__guard_eh_cont_table", 1692fe6060f1SDimitry Andric "__guard_eh_cont_count", true); 1693fe6060f1SDimitry Andric 16940b57cec5SDimitry Andric // Set __guard_flags, which will be used in the load config to indicate that 16950b57cec5SDimitry Andric // /guard:cf was enabled. 16960b57cec5SDimitry Andric uint32_t guardFlags = uint32_t(coff_guard_flags::CFInstrumented) | 16970b57cec5SDimitry Andric uint32_t(coff_guard_flags::HasFidTable); 1698fe6060f1SDimitry Andric if (config->guardCF & GuardCFLevel::LongJmp) 16990b57cec5SDimitry Andric guardFlags |= uint32_t(coff_guard_flags::HasLongJmpTable); 1700fe6060f1SDimitry Andric if (config->guardCF & GuardCFLevel::EHCont) 1701fe6060f1SDimitry Andric guardFlags |= uint32_t(coff_guard_flags::HasEHContTable); 1702*349cc55cSDimitry Andric Symbol *flagSym = ctx.symtab.findUnderscore("__guard_flags"); 17030b57cec5SDimitry Andric cast<DefinedAbsolute>(flagSym)->setVA(guardFlags); 17040b57cec5SDimitry Andric } 17050b57cec5SDimitry Andric 17060b57cec5SDimitry Andric // Take a list of input sections containing symbol table indices and add those 1707e8d8bef9SDimitry Andric // symbols to a vector. The challenge is that symbol RVAs are not known and 17080b57cec5SDimitry Andric // depend on the table size, so we can't directly build a set of integers. 1709e8d8bef9SDimitry Andric void Writer::getSymbolsFromSections(ObjFile *file, 17100b57cec5SDimitry Andric ArrayRef<SectionChunk *> symIdxChunks, 1711e8d8bef9SDimitry Andric std::vector<Symbol *> &symbols) { 17120b57cec5SDimitry Andric for (SectionChunk *c : symIdxChunks) { 17130b57cec5SDimitry Andric // Skip sections discarded by linker GC. This comes up when a .gfids section 17140b57cec5SDimitry Andric // is associated with something like a vtable and the vtable is discarded. 17150b57cec5SDimitry Andric // In this case, the associated gfids section is discarded, and we don't 17160b57cec5SDimitry Andric // mark the virtual member functions as address-taken by the vtable. 17170b57cec5SDimitry Andric if (!c->live) 17180b57cec5SDimitry Andric continue; 17190b57cec5SDimitry Andric 17200b57cec5SDimitry Andric // Validate that the contents look like symbol table indices. 17210b57cec5SDimitry Andric ArrayRef<uint8_t> data = c->getContents(); 17220b57cec5SDimitry Andric if (data.size() % 4 != 0) { 17230b57cec5SDimitry Andric warn("ignoring " + c->getSectionName() + 17240b57cec5SDimitry Andric " symbol table index section in object " + toString(file)); 17250b57cec5SDimitry Andric continue; 17260b57cec5SDimitry Andric } 17270b57cec5SDimitry Andric 17280b57cec5SDimitry Andric // Read each symbol table index and check if that symbol was included in the 1729e8d8bef9SDimitry Andric // final link. If so, add it to the vector of symbols. 17300b57cec5SDimitry Andric ArrayRef<ulittle32_t> symIndices( 17310b57cec5SDimitry Andric reinterpret_cast<const ulittle32_t *>(data.data()), data.size() / 4); 17320b57cec5SDimitry Andric ArrayRef<Symbol *> objSymbols = file->getSymbols(); 17330b57cec5SDimitry Andric for (uint32_t symIndex : symIndices) { 17340b57cec5SDimitry Andric if (symIndex >= objSymbols.size()) { 17350b57cec5SDimitry Andric warn("ignoring invalid symbol table index in section " + 17360b57cec5SDimitry Andric c->getSectionName() + " in object " + toString(file)); 17370b57cec5SDimitry Andric continue; 17380b57cec5SDimitry Andric } 17390b57cec5SDimitry Andric if (Symbol *s = objSymbols[symIndex]) { 17400b57cec5SDimitry Andric if (s->isLive()) 1741e8d8bef9SDimitry Andric symbols.push_back(cast<Symbol>(s)); 1742e8d8bef9SDimitry Andric } 1743e8d8bef9SDimitry Andric } 1744e8d8bef9SDimitry Andric } 1745e8d8bef9SDimitry Andric } 1746e8d8bef9SDimitry Andric 1747e8d8bef9SDimitry Andric // Take a list of input sections containing symbol table indices and add those 1748e8d8bef9SDimitry Andric // symbols to an RVA table. 1749e8d8bef9SDimitry Andric void Writer::markSymbolsForRVATable(ObjFile *file, 1750e8d8bef9SDimitry Andric ArrayRef<SectionChunk *> symIdxChunks, 1751e8d8bef9SDimitry Andric SymbolRVASet &tableSymbols) { 1752e8d8bef9SDimitry Andric std::vector<Symbol *> syms; 1753e8d8bef9SDimitry Andric getSymbolsFromSections(file, symIdxChunks, syms); 1754e8d8bef9SDimitry Andric 1755e8d8bef9SDimitry Andric for (Symbol *s : syms) 17560b57cec5SDimitry Andric addSymbolToRVASet(tableSymbols, cast<Defined>(s)); 17570b57cec5SDimitry Andric } 17580b57cec5SDimitry Andric 17590b57cec5SDimitry Andric // Replace the absolute table symbol with a synthetic symbol pointing to 17600b57cec5SDimitry Andric // tableChunk so that we can emit base relocations for it and resolve section 17610b57cec5SDimitry Andric // relative relocations. 17620b57cec5SDimitry Andric void Writer::maybeAddRVATable(SymbolRVASet tableSymbols, StringRef tableSym, 1763fe6060f1SDimitry Andric StringRef countSym, bool hasFlag) { 17640b57cec5SDimitry Andric if (tableSymbols.empty()) 17650b57cec5SDimitry Andric return; 17660b57cec5SDimitry Andric 1767fe6060f1SDimitry Andric NonSectionChunk *tableChunk; 1768fe6060f1SDimitry Andric if (hasFlag) 1769fe6060f1SDimitry Andric tableChunk = make<RVAFlagTableChunk>(std::move(tableSymbols)); 1770fe6060f1SDimitry Andric else 1771fe6060f1SDimitry Andric tableChunk = make<RVATableChunk>(std::move(tableSymbols)); 17720b57cec5SDimitry Andric rdataSec->addChunk(tableChunk); 17730b57cec5SDimitry Andric 1774*349cc55cSDimitry Andric Symbol *t = ctx.symtab.findUnderscore(tableSym); 1775*349cc55cSDimitry Andric Symbol *c = ctx.symtab.findUnderscore(countSym); 17760b57cec5SDimitry Andric replaceSymbol<DefinedSynthetic>(t, t->getName(), tableChunk); 1777fe6060f1SDimitry Andric cast<DefinedAbsolute>(c)->setVA(tableChunk->getSize() / (hasFlag ? 5 : 4)); 17780b57cec5SDimitry Andric } 17790b57cec5SDimitry Andric 17800b57cec5SDimitry Andric // MinGW specific. Gather all relocations that are imported from a DLL even 17810b57cec5SDimitry Andric // though the code didn't expect it to, produce the table that the runtime 17820b57cec5SDimitry Andric // uses for fixing them up, and provide the synthetic symbols that the 17830b57cec5SDimitry Andric // runtime uses for finding the table. 17840b57cec5SDimitry Andric void Writer::createRuntimePseudoRelocs() { 17850b57cec5SDimitry Andric std::vector<RuntimePseudoReloc> rels; 17860b57cec5SDimitry Andric 1787*349cc55cSDimitry Andric for (Chunk *c : ctx.symtab.getChunks()) { 17880b57cec5SDimitry Andric auto *sc = dyn_cast<SectionChunk>(c); 17890b57cec5SDimitry Andric if (!sc || !sc->live) 17900b57cec5SDimitry Andric continue; 17910b57cec5SDimitry Andric sc->getRuntimePseudoRelocs(rels); 17920b57cec5SDimitry Andric } 17930b57cec5SDimitry Andric 17945ffd83dbSDimitry Andric if (!config->pseudoRelocs) { 17955ffd83dbSDimitry Andric // Not writing any pseudo relocs; if some were needed, error out and 17965ffd83dbSDimitry Andric // indicate what required them. 17975ffd83dbSDimitry Andric for (const RuntimePseudoReloc &rpr : rels) 17985ffd83dbSDimitry Andric error("automatic dllimport of " + rpr.sym->getName() + " in " + 17995ffd83dbSDimitry Andric toString(rpr.target->file) + " requires pseudo relocations"); 18005ffd83dbSDimitry Andric return; 18015ffd83dbSDimitry Andric } 18025ffd83dbSDimitry Andric 18030b57cec5SDimitry Andric if (!rels.empty()) 18040b57cec5SDimitry Andric log("Writing " + Twine(rels.size()) + " runtime pseudo relocations"); 18050b57cec5SDimitry Andric PseudoRelocTableChunk *table = make<PseudoRelocTableChunk>(rels); 18060b57cec5SDimitry Andric rdataSec->addChunk(table); 18070b57cec5SDimitry Andric EmptyChunk *endOfList = make<EmptyChunk>(); 18080b57cec5SDimitry Andric rdataSec->addChunk(endOfList); 18090b57cec5SDimitry Andric 1810*349cc55cSDimitry Andric Symbol *headSym = ctx.symtab.findUnderscore("__RUNTIME_PSEUDO_RELOC_LIST__"); 1811*349cc55cSDimitry Andric Symbol *endSym = 1812*349cc55cSDimitry Andric ctx.symtab.findUnderscore("__RUNTIME_PSEUDO_RELOC_LIST_END__"); 18130b57cec5SDimitry Andric replaceSymbol<DefinedSynthetic>(headSym, headSym->getName(), table); 18140b57cec5SDimitry Andric replaceSymbol<DefinedSynthetic>(endSym, endSym->getName(), endOfList); 18150b57cec5SDimitry Andric } 18160b57cec5SDimitry Andric 18170b57cec5SDimitry Andric // MinGW specific. 18180b57cec5SDimitry Andric // The MinGW .ctors and .dtors lists have sentinels at each end; 18190b57cec5SDimitry Andric // a (uintptr_t)-1 at the start and a (uintptr_t)0 at the end. 18200b57cec5SDimitry Andric // There's a symbol pointing to the start sentinel pointer, __CTOR_LIST__ 18210b57cec5SDimitry Andric // and __DTOR_LIST__ respectively. 18220b57cec5SDimitry Andric void Writer::insertCtorDtorSymbols() { 18230b57cec5SDimitry Andric AbsolutePointerChunk *ctorListHead = make<AbsolutePointerChunk>(-1); 18240b57cec5SDimitry Andric AbsolutePointerChunk *ctorListEnd = make<AbsolutePointerChunk>(0); 18250b57cec5SDimitry Andric AbsolutePointerChunk *dtorListHead = make<AbsolutePointerChunk>(-1); 18260b57cec5SDimitry Andric AbsolutePointerChunk *dtorListEnd = make<AbsolutePointerChunk>(0); 18270b57cec5SDimitry Andric ctorsSec->insertChunkAtStart(ctorListHead); 18280b57cec5SDimitry Andric ctorsSec->addChunk(ctorListEnd); 18290b57cec5SDimitry Andric dtorsSec->insertChunkAtStart(dtorListHead); 18300b57cec5SDimitry Andric dtorsSec->addChunk(dtorListEnd); 18310b57cec5SDimitry Andric 1832*349cc55cSDimitry Andric Symbol *ctorListSym = ctx.symtab.findUnderscore("__CTOR_LIST__"); 1833*349cc55cSDimitry Andric Symbol *dtorListSym = ctx.symtab.findUnderscore("__DTOR_LIST__"); 18340b57cec5SDimitry Andric replaceSymbol<DefinedSynthetic>(ctorListSym, ctorListSym->getName(), 18350b57cec5SDimitry Andric ctorListHead); 18360b57cec5SDimitry Andric replaceSymbol<DefinedSynthetic>(dtorListSym, dtorListSym->getName(), 18370b57cec5SDimitry Andric dtorListHead); 18380b57cec5SDimitry Andric } 18390b57cec5SDimitry Andric 18400b57cec5SDimitry Andric // Handles /section options to allow users to overwrite 18410b57cec5SDimitry Andric // section attributes. 18420b57cec5SDimitry Andric void Writer::setSectionPermissions() { 18430b57cec5SDimitry Andric for (auto &p : config->section) { 18440b57cec5SDimitry Andric StringRef name = p.first; 18450b57cec5SDimitry Andric uint32_t perm = p.second; 1846*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) 18470b57cec5SDimitry Andric if (sec->name == name) 18480b57cec5SDimitry Andric sec->setPermissions(perm); 18490b57cec5SDimitry Andric } 18500b57cec5SDimitry Andric } 18510b57cec5SDimitry Andric 18520b57cec5SDimitry Andric // Write section contents to a mmap'ed file. 18530b57cec5SDimitry Andric void Writer::writeSections() { 18540b57cec5SDimitry Andric // Record the number of sections to apply section index relocations 18550b57cec5SDimitry Andric // against absolute symbols. See applySecIdx in Chunks.cpp.. 1856*349cc55cSDimitry Andric DefinedAbsolute::numOutputSections = ctx.outputSections.size(); 18570b57cec5SDimitry Andric 18580b57cec5SDimitry Andric uint8_t *buf = buffer->getBufferStart(); 1859*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 18600b57cec5SDimitry Andric uint8_t *secBuf = buf + sec->getFileOff(); 18610b57cec5SDimitry Andric // Fill gaps between functions in .text with INT3 instructions 18620b57cec5SDimitry Andric // instead of leaving as NUL bytes (which can be interpreted as 18630b57cec5SDimitry Andric // ADD instructions). 18640b57cec5SDimitry Andric if (sec->header.Characteristics & IMAGE_SCN_CNT_CODE) 18650b57cec5SDimitry Andric memset(secBuf, 0xCC, sec->getRawSize()); 18660b57cec5SDimitry Andric parallelForEach(sec->chunks, [&](Chunk *c) { 18670b57cec5SDimitry Andric c->writeTo(secBuf + c->getRVA() - sec->getRVA()); 18680b57cec5SDimitry Andric }); 18690b57cec5SDimitry Andric } 18700b57cec5SDimitry Andric } 18710b57cec5SDimitry Andric 18720b57cec5SDimitry Andric void Writer::writeBuildId() { 18730b57cec5SDimitry Andric // There are two important parts to the build ID. 18740b57cec5SDimitry Andric // 1) If building with debug info, the COFF debug directory contains a 18750b57cec5SDimitry Andric // timestamp as well as a Guid and Age of the PDB. 18760b57cec5SDimitry Andric // 2) In all cases, the PE COFF file header also contains a timestamp. 18770b57cec5SDimitry Andric // For reproducibility, instead of a timestamp we want to use a hash of the 18780b57cec5SDimitry Andric // PE contents. 18790b57cec5SDimitry Andric if (config->debug) { 18800b57cec5SDimitry Andric assert(buildId && "BuildId is not set!"); 18810b57cec5SDimitry Andric // BuildId->BuildId was filled in when the PDB was written. 18820b57cec5SDimitry Andric } 18830b57cec5SDimitry Andric 18840b57cec5SDimitry Andric // At this point the only fields in the COFF file which remain unset are the 18850b57cec5SDimitry Andric // "timestamp" in the COFF file header, and the ones in the coff debug 18860b57cec5SDimitry Andric // directory. Now we can hash the file and write that hash to the various 18870b57cec5SDimitry Andric // timestamp fields in the file. 18880b57cec5SDimitry Andric StringRef outputFileData( 18890b57cec5SDimitry Andric reinterpret_cast<const char *>(buffer->getBufferStart()), 18900b57cec5SDimitry Andric buffer->getBufferSize()); 18910b57cec5SDimitry Andric 18920b57cec5SDimitry Andric uint32_t timestamp = config->timestamp; 18930b57cec5SDimitry Andric uint64_t hash = 0; 18940b57cec5SDimitry Andric bool generateSyntheticBuildId = 18950b57cec5SDimitry Andric config->mingw && config->debug && config->pdbPath.empty(); 18960b57cec5SDimitry Andric 18970b57cec5SDimitry Andric if (config->repro || generateSyntheticBuildId) 18980b57cec5SDimitry Andric hash = xxHash64(outputFileData); 18990b57cec5SDimitry Andric 19000b57cec5SDimitry Andric if (config->repro) 19010b57cec5SDimitry Andric timestamp = static_cast<uint32_t>(hash); 19020b57cec5SDimitry Andric 19030b57cec5SDimitry Andric if (generateSyntheticBuildId) { 19040b57cec5SDimitry Andric // For MinGW builds without a PDB file, we still generate a build id 19050b57cec5SDimitry Andric // to allow associating a crash dump to the executable. 19060b57cec5SDimitry Andric buildId->buildId->PDB70.CVSignature = OMF::Signature::PDB70; 19070b57cec5SDimitry Andric buildId->buildId->PDB70.Age = 1; 19080b57cec5SDimitry Andric memcpy(buildId->buildId->PDB70.Signature, &hash, 8); 19090b57cec5SDimitry Andric // xxhash only gives us 8 bytes, so put some fixed data in the other half. 19100b57cec5SDimitry Andric memcpy(&buildId->buildId->PDB70.Signature[8], "LLD PDB.", 8); 19110b57cec5SDimitry Andric } 19120b57cec5SDimitry Andric 19130b57cec5SDimitry Andric if (debugDirectory) 19140b57cec5SDimitry Andric debugDirectory->setTimeDateStamp(timestamp); 19150b57cec5SDimitry Andric 19160b57cec5SDimitry Andric uint8_t *buf = buffer->getBufferStart(); 19170b57cec5SDimitry Andric buf += dosStubSize + sizeof(PEMagic); 19180b57cec5SDimitry Andric object::coff_file_header *coffHeader = 19190b57cec5SDimitry Andric reinterpret_cast<coff_file_header *>(buf); 19200b57cec5SDimitry Andric coffHeader->TimeDateStamp = timestamp; 19210b57cec5SDimitry Andric } 19220b57cec5SDimitry Andric 19230b57cec5SDimitry Andric // Sort .pdata section contents according to PE/COFF spec 5.5. 19240b57cec5SDimitry Andric void Writer::sortExceptionTable() { 19250b57cec5SDimitry Andric if (!firstPdata) 19260b57cec5SDimitry Andric return; 19270b57cec5SDimitry Andric // We assume .pdata contains function table entries only. 19280b57cec5SDimitry Andric auto bufAddr = [&](Chunk *c) { 1929*349cc55cSDimitry Andric OutputSection *os = ctx.getOutputSection(c); 19300b57cec5SDimitry Andric return buffer->getBufferStart() + os->getFileOff() + c->getRVA() - 19310b57cec5SDimitry Andric os->getRVA(); 19320b57cec5SDimitry Andric }; 19330b57cec5SDimitry Andric uint8_t *begin = bufAddr(firstPdata); 19340b57cec5SDimitry Andric uint8_t *end = bufAddr(lastPdata) + lastPdata->getSize(); 19350b57cec5SDimitry Andric if (config->machine == AMD64) { 19360b57cec5SDimitry Andric struct Entry { ulittle32_t begin, end, unwind; }; 19375ffd83dbSDimitry Andric if ((end - begin) % sizeof(Entry) != 0) { 19385ffd83dbSDimitry Andric fatal("unexpected .pdata size: " + Twine(end - begin) + 19395ffd83dbSDimitry Andric " is not a multiple of " + Twine(sizeof(Entry))); 19405ffd83dbSDimitry Andric } 19410b57cec5SDimitry Andric parallelSort( 19420b57cec5SDimitry Andric MutableArrayRef<Entry>((Entry *)begin, (Entry *)end), 19430b57cec5SDimitry Andric [](const Entry &a, const Entry &b) { return a.begin < b.begin; }); 19440b57cec5SDimitry Andric return; 19450b57cec5SDimitry Andric } 19460b57cec5SDimitry Andric if (config->machine == ARMNT || config->machine == ARM64) { 19470b57cec5SDimitry Andric struct Entry { ulittle32_t begin, unwind; }; 19485ffd83dbSDimitry Andric if ((end - begin) % sizeof(Entry) != 0) { 19495ffd83dbSDimitry Andric fatal("unexpected .pdata size: " + Twine(end - begin) + 19505ffd83dbSDimitry Andric " is not a multiple of " + Twine(sizeof(Entry))); 19515ffd83dbSDimitry Andric } 19520b57cec5SDimitry Andric parallelSort( 19530b57cec5SDimitry Andric MutableArrayRef<Entry>((Entry *)begin, (Entry *)end), 19540b57cec5SDimitry Andric [](const Entry &a, const Entry &b) { return a.begin < b.begin; }); 19550b57cec5SDimitry Andric return; 19560b57cec5SDimitry Andric } 1957480093f4SDimitry Andric lld::errs() << "warning: don't know how to handle .pdata.\n"; 19580b57cec5SDimitry Andric } 19590b57cec5SDimitry Andric 19600b57cec5SDimitry Andric // The CRT section contains, among other things, the array of function 19610b57cec5SDimitry Andric // pointers that initialize every global variable that is not trivially 19620b57cec5SDimitry Andric // constructed. The CRT calls them one after the other prior to invoking 19630b57cec5SDimitry Andric // main(). 19640b57cec5SDimitry Andric // 19650b57cec5SDimitry Andric // As per C++ spec, 3.6.2/2.3, 19660b57cec5SDimitry Andric // "Variables with ordered initialization defined within a single 19670b57cec5SDimitry Andric // translation unit shall be initialized in the order of their definitions 19680b57cec5SDimitry Andric // in the translation unit" 19690b57cec5SDimitry Andric // 19700b57cec5SDimitry Andric // It is therefore critical to sort the chunks containing the function 19710b57cec5SDimitry Andric // pointers in the order that they are listed in the object file (top to 19720b57cec5SDimitry Andric // bottom), otherwise global objects might not be initialized in the 19730b57cec5SDimitry Andric // correct order. 19740b57cec5SDimitry Andric void Writer::sortCRTSectionChunks(std::vector<Chunk *> &chunks) { 19750b57cec5SDimitry Andric auto sectionChunkOrder = [](const Chunk *a, const Chunk *b) { 19760b57cec5SDimitry Andric auto sa = dyn_cast<SectionChunk>(a); 19770b57cec5SDimitry Andric auto sb = dyn_cast<SectionChunk>(b); 19780b57cec5SDimitry Andric assert(sa && sb && "Non-section chunks in CRT section!"); 19790b57cec5SDimitry Andric 19800b57cec5SDimitry Andric StringRef sAObj = sa->file->mb.getBufferIdentifier(); 19810b57cec5SDimitry Andric StringRef sBObj = sb->file->mb.getBufferIdentifier(); 19820b57cec5SDimitry Andric 19830b57cec5SDimitry Andric return sAObj == sBObj && sa->getSectionNumber() < sb->getSectionNumber(); 19840b57cec5SDimitry Andric }; 19850b57cec5SDimitry Andric llvm::stable_sort(chunks, sectionChunkOrder); 19860b57cec5SDimitry Andric 19870b57cec5SDimitry Andric if (config->verbose) { 19880b57cec5SDimitry Andric for (auto &c : chunks) { 19890b57cec5SDimitry Andric auto sc = dyn_cast<SectionChunk>(c); 19900b57cec5SDimitry Andric log(" " + sc->file->mb.getBufferIdentifier().str() + 19910b57cec5SDimitry Andric ", SectionID: " + Twine(sc->getSectionNumber())); 19920b57cec5SDimitry Andric } 19930b57cec5SDimitry Andric } 19940b57cec5SDimitry Andric } 19950b57cec5SDimitry Andric 19960b57cec5SDimitry Andric OutputSection *Writer::findSection(StringRef name) { 1997*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) 19980b57cec5SDimitry Andric if (sec->name == name) 19990b57cec5SDimitry Andric return sec; 20000b57cec5SDimitry Andric return nullptr; 20010b57cec5SDimitry Andric } 20020b57cec5SDimitry Andric 20030b57cec5SDimitry Andric uint32_t Writer::getSizeOfInitializedData() { 20040b57cec5SDimitry Andric uint32_t res = 0; 2005*349cc55cSDimitry Andric for (OutputSection *s : ctx.outputSections) 20060b57cec5SDimitry Andric if (s->header.Characteristics & IMAGE_SCN_CNT_INITIALIZED_DATA) 20070b57cec5SDimitry Andric res += s->getRawSize(); 20080b57cec5SDimitry Andric return res; 20090b57cec5SDimitry Andric } 20100b57cec5SDimitry Andric 20110b57cec5SDimitry Andric // Add base relocations to .reloc section. 20120b57cec5SDimitry Andric void Writer::addBaserels() { 20130b57cec5SDimitry Andric if (!config->relocatable) 20140b57cec5SDimitry Andric return; 20150b57cec5SDimitry Andric relocSec->chunks.clear(); 20160b57cec5SDimitry Andric std::vector<Baserel> v; 2017*349cc55cSDimitry Andric for (OutputSection *sec : ctx.outputSections) { 20180b57cec5SDimitry Andric if (sec->header.Characteristics & IMAGE_SCN_MEM_DISCARDABLE) 20190b57cec5SDimitry Andric continue; 20200b57cec5SDimitry Andric // Collect all locations for base relocations. 20210b57cec5SDimitry Andric for (Chunk *c : sec->chunks) 20220b57cec5SDimitry Andric c->getBaserels(&v); 20230b57cec5SDimitry Andric // Add the addresses to .reloc section. 20240b57cec5SDimitry Andric if (!v.empty()) 20250b57cec5SDimitry Andric addBaserelBlocks(v); 20260b57cec5SDimitry Andric v.clear(); 20270b57cec5SDimitry Andric } 20280b57cec5SDimitry Andric } 20290b57cec5SDimitry Andric 20300b57cec5SDimitry Andric // Add addresses to .reloc section. Note that addresses are grouped by page. 20310b57cec5SDimitry Andric void Writer::addBaserelBlocks(std::vector<Baserel> &v) { 20320b57cec5SDimitry Andric const uint32_t mask = ~uint32_t(pageSize - 1); 20330b57cec5SDimitry Andric uint32_t page = v[0].rva & mask; 20340b57cec5SDimitry Andric size_t i = 0, j = 1; 20350b57cec5SDimitry Andric for (size_t e = v.size(); j < e; ++j) { 20360b57cec5SDimitry Andric uint32_t p = v[j].rva & mask; 20370b57cec5SDimitry Andric if (p == page) 20380b57cec5SDimitry Andric continue; 20390b57cec5SDimitry Andric relocSec->addChunk(make<BaserelChunk>(page, &v[i], &v[0] + j)); 20400b57cec5SDimitry Andric i = j; 20410b57cec5SDimitry Andric page = p; 20420b57cec5SDimitry Andric } 20430b57cec5SDimitry Andric if (i == j) 20440b57cec5SDimitry Andric return; 20450b57cec5SDimitry Andric relocSec->addChunk(make<BaserelChunk>(page, &v[i], &v[0] + j)); 20460b57cec5SDimitry Andric } 20470b57cec5SDimitry Andric 20480b57cec5SDimitry Andric PartialSection *Writer::createPartialSection(StringRef name, 20490b57cec5SDimitry Andric uint32_t outChars) { 20500b57cec5SDimitry Andric PartialSection *&pSec = partialSections[{name, outChars}]; 20510b57cec5SDimitry Andric if (pSec) 20520b57cec5SDimitry Andric return pSec; 20530b57cec5SDimitry Andric pSec = make<PartialSection>(name, outChars); 20540b57cec5SDimitry Andric return pSec; 20550b57cec5SDimitry Andric } 20560b57cec5SDimitry Andric 20570b57cec5SDimitry Andric PartialSection *Writer::findPartialSection(StringRef name, uint32_t outChars) { 20580b57cec5SDimitry Andric auto it = partialSections.find({name, outChars}); 20590b57cec5SDimitry Andric if (it != partialSections.end()) 20600b57cec5SDimitry Andric return it->second; 20610b57cec5SDimitry Andric return nullptr; 20620b57cec5SDimitry Andric } 2063e8d8bef9SDimitry Andric 2064e8d8bef9SDimitry Andric void Writer::fixTlsAlignment() { 2065e8d8bef9SDimitry Andric Defined *tlsSym = 2066*349cc55cSDimitry Andric dyn_cast_or_null<Defined>(ctx.symtab.findUnderscore("_tls_used")); 2067e8d8bef9SDimitry Andric if (!tlsSym) 2068e8d8bef9SDimitry Andric return; 2069e8d8bef9SDimitry Andric 2070*349cc55cSDimitry Andric OutputSection *sec = ctx.getOutputSection(tlsSym->getChunk()); 2071e8d8bef9SDimitry Andric assert(sec && tlsSym->getRVA() >= sec->getRVA() && 2072e8d8bef9SDimitry Andric "no output section for _tls_used"); 2073e8d8bef9SDimitry Andric 2074e8d8bef9SDimitry Andric uint8_t *secBuf = buffer->getBufferStart() + sec->getFileOff(); 2075e8d8bef9SDimitry Andric uint64_t tlsOffset = tlsSym->getRVA() - sec->getRVA(); 2076e8d8bef9SDimitry Andric uint64_t directorySize = config->is64() 2077e8d8bef9SDimitry Andric ? sizeof(object::coff_tls_directory64) 2078e8d8bef9SDimitry Andric : sizeof(object::coff_tls_directory32); 2079e8d8bef9SDimitry Andric 2080e8d8bef9SDimitry Andric if (tlsOffset + directorySize > sec->getRawSize()) 2081e8d8bef9SDimitry Andric fatal("_tls_used sym is malformed"); 2082e8d8bef9SDimitry Andric 2083e8d8bef9SDimitry Andric if (config->is64()) { 2084e8d8bef9SDimitry Andric object::coff_tls_directory64 *tlsDir = 2085e8d8bef9SDimitry Andric reinterpret_cast<object::coff_tls_directory64 *>(&secBuf[tlsOffset]); 2086e8d8bef9SDimitry Andric tlsDir->setAlignment(tlsAlignment); 2087e8d8bef9SDimitry Andric } else { 2088e8d8bef9SDimitry Andric object::coff_tls_directory32 *tlsDir = 2089e8d8bef9SDimitry Andric reinterpret_cast<object::coff_tls_directory32 *>(&secBuf[tlsOffset]); 2090e8d8bef9SDimitry Andric tlsDir->setAlignment(tlsAlignment); 2091e8d8bef9SDimitry Andric } 2092e8d8bef9SDimitry Andric } 2093