1 //===- lib/MC/ELFObjectWriter.cpp - ELF File Writer -----------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file implements ELF object file writer information. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "llvm/ADT/ArrayRef.h" 15 #include "llvm/ADT/DenseMap.h" 16 #include "llvm/ADT/SmallString.h" 17 #include "llvm/ADT/SmallVector.h" 18 #include "llvm/ADT/STLExtras.h" 19 #include "llvm/ADT/StringRef.h" 20 #include "llvm/ADT/Twine.h" 21 #include "llvm/MC/MCAsmInfo.h" 22 #include "llvm/MC/MCAsmLayout.h" 23 #include "llvm/MC/MCAssembler.h" 24 #include "llvm/MC/MCContext.h" 25 #include "llvm/MC/MCELFObjectWriter.h" 26 #include "llvm/MC/MCExpr.h" 27 #include "llvm/MC/MCFixup.h" 28 #include "llvm/MC/MCFragment.h" 29 #include "llvm/MC/MCObjectWriter.h" 30 #include "llvm/MC/MCSection.h" 31 #include "llvm/MC/MCSectionELF.h" 32 #include "llvm/MC/MCSymbol.h" 33 #include "llvm/MC/MCSymbolELF.h" 34 #include "llvm/MC/MCValue.h" 35 #include "llvm/MC/StringTableBuilder.h" 36 #include "llvm/Support/Allocator.h" 37 #include "llvm/Support/Casting.h" 38 #include "llvm/Support/Compression.h" 39 #include "llvm/Support/ELF.h" 40 #include "llvm/Support/Endian.h" 41 #include "llvm/Support/Error.h" 42 #include "llvm/Support/ErrorHandling.h" 43 #include "llvm/Support/Host.h" 44 #include "llvm/Support/MathExtras.h" 45 #include "llvm/Support/SMLoc.h" 46 #include "llvm/Support/StringSaver.h" 47 #include "llvm/Support/SwapByteOrder.h" 48 #include "llvm/Support/raw_ostream.h" 49 #include <algorithm> 50 #include <cassert> 51 #include <cstddef> 52 #include <cstdint> 53 #include <map> 54 #include <memory> 55 #include <string> 56 #include <utility> 57 #include <vector> 58 59 using namespace llvm; 60 61 #undef DEBUG_TYPE 62 #define DEBUG_TYPE "reloc-info" 63 64 namespace { 65 66 typedef DenseMap<const MCSectionELF *, uint32_t> SectionIndexMapTy; 67 68 class ELFObjectWriter; 69 70 class SymbolTableWriter { 71 ELFObjectWriter &EWriter; 72 bool Is64Bit; 73 74 // indexes we are going to write to .symtab_shndx. 75 std::vector<uint32_t> ShndxIndexes; 76 77 // The numbel of symbols written so far. 78 unsigned NumWritten; 79 80 void createSymtabShndx(); 81 82 template <typename T> void write(T Value); 83 84 public: 85 SymbolTableWriter(ELFObjectWriter &EWriter, bool Is64Bit); 86 87 void writeSymbol(uint32_t name, uint8_t info, uint64_t value, uint64_t size, 88 uint8_t other, uint32_t shndx, bool Reserved); 89 90 ArrayRef<uint32_t> getShndxIndexes() const { return ShndxIndexes; } 91 }; 92 93 class ELFObjectWriter : public MCObjectWriter { 94 static uint64_t SymbolValue(const MCSymbol &Sym, const MCAsmLayout &Layout); 95 static bool isInSymtab(const MCAsmLayout &Layout, const MCSymbolELF &Symbol, 96 bool Used, bool Renamed); 97 98 /// Helper struct for containing some precomputed information on symbols. 99 struct ELFSymbolData { 100 const MCSymbolELF *Symbol; 101 uint32_t SectionIndex; 102 StringRef Name; 103 104 // Support lexicographic sorting. 105 bool operator<(const ELFSymbolData &RHS) const { 106 unsigned LHSType = Symbol->getType(); 107 unsigned RHSType = RHS.Symbol->getType(); 108 if (LHSType == ELF::STT_SECTION && RHSType != ELF::STT_SECTION) 109 return false; 110 if (LHSType != ELF::STT_SECTION && RHSType == ELF::STT_SECTION) 111 return true; 112 if (LHSType == ELF::STT_SECTION && RHSType == ELF::STT_SECTION) 113 return SectionIndex < RHS.SectionIndex; 114 return Name < RHS.Name; 115 } 116 }; 117 118 /// The target specific ELF writer instance. 119 std::unique_ptr<MCELFObjectTargetWriter> TargetObjectWriter; 120 121 DenseMap<const MCSymbolELF *, const MCSymbolELF *> Renames; 122 123 DenseMap<const MCSectionELF *, std::vector<ELFRelocationEntry>> Relocations; 124 125 /// @} 126 /// @name Symbol Table Data 127 /// @{ 128 129 BumpPtrAllocator Alloc; 130 StringSaver VersionSymSaver{Alloc}; 131 StringTableBuilder StrTabBuilder{StringTableBuilder::ELF}; 132 133 /// @} 134 135 // This holds the symbol table index of the last local symbol. 136 unsigned LastLocalSymbolIndex; 137 // This holds the .strtab section index. 138 unsigned StringTableIndex; 139 // This holds the .symtab section index. 140 unsigned SymbolTableIndex; 141 142 // Sections in the order they are to be output in the section table. 143 std::vector<const MCSectionELF *> SectionTable; 144 unsigned addToSectionTable(const MCSectionELF *Sec); 145 146 // TargetObjectWriter wrappers. 147 bool is64Bit() const { return TargetObjectWriter->is64Bit(); } 148 bool hasRelocationAddend() const { 149 return TargetObjectWriter->hasRelocationAddend(); 150 } 151 unsigned getRelocType(MCContext &Ctx, const MCValue &Target, 152 const MCFixup &Fixup, bool IsPCRel) const { 153 return TargetObjectWriter->getRelocType(Ctx, Target, Fixup, IsPCRel); 154 } 155 156 void align(unsigned Alignment); 157 158 bool maybeWriteCompression(uint64_t Size, 159 SmallVectorImpl<char> &CompressedContents, 160 bool ZLibStyle, unsigned Alignment); 161 162 public: 163 ELFObjectWriter(MCELFObjectTargetWriter *MOTW, raw_pwrite_stream &OS, 164 bool IsLittleEndian) 165 : MCObjectWriter(OS, IsLittleEndian), TargetObjectWriter(MOTW) {} 166 167 ~ELFObjectWriter() override = default; 168 169 void reset() override { 170 Renames.clear(); 171 Relocations.clear(); 172 StrTabBuilder.clear(); 173 SectionTable.clear(); 174 MCObjectWriter::reset(); 175 } 176 177 void WriteWord(uint64_t W) { 178 if (is64Bit()) 179 write64(W); 180 else 181 write32(W); 182 } 183 184 template <typename T> void write(T Val) { 185 if (IsLittleEndian) 186 support::endian::Writer<support::little>(getStream()).write(Val); 187 else 188 support::endian::Writer<support::big>(getStream()).write(Val); 189 } 190 191 void writeHeader(const MCAssembler &Asm); 192 193 void writeSymbol(SymbolTableWriter &Writer, uint32_t StringIndex, 194 ELFSymbolData &MSD, const MCAsmLayout &Layout); 195 196 // Start and end offset of each section 197 typedef std::map<const MCSectionELF *, std::pair<uint64_t, uint64_t>> 198 SectionOffsetsTy; 199 200 bool shouldRelocateWithSymbol(const MCAssembler &Asm, 201 const MCSymbolRefExpr *RefA, 202 const MCSymbol *Sym, uint64_t C, 203 unsigned Type) const; 204 205 void recordRelocation(MCAssembler &Asm, const MCAsmLayout &Layout, 206 const MCFragment *Fragment, const MCFixup &Fixup, 207 MCValue Target, bool &IsPCRel, 208 uint64_t &FixedValue) override; 209 210 // Map from a signature symbol to the group section index 211 typedef DenseMap<const MCSymbol *, unsigned> RevGroupMapTy; 212 213 /// Compute the symbol table data 214 /// 215 /// \param Asm - The assembler. 216 /// \param SectionIndexMap - Maps a section to its index. 217 /// \param RevGroupMap - Maps a signature symbol to the group section. 218 void computeSymbolTable(MCAssembler &Asm, const MCAsmLayout &Layout, 219 const SectionIndexMapTy &SectionIndexMap, 220 const RevGroupMapTy &RevGroupMap, 221 SectionOffsetsTy &SectionOffsets); 222 223 MCSectionELF *createRelocationSection(MCContext &Ctx, 224 const MCSectionELF &Sec); 225 226 const MCSectionELF *createStringTable(MCContext &Ctx); 227 228 void executePostLayoutBinding(MCAssembler &Asm, 229 const MCAsmLayout &Layout) override; 230 231 void writeSectionHeader(const MCAsmLayout &Layout, 232 const SectionIndexMapTy &SectionIndexMap, 233 const SectionOffsetsTy &SectionOffsets); 234 235 void writeSectionData(const MCAssembler &Asm, MCSection &Sec, 236 const MCAsmLayout &Layout); 237 238 void WriteSecHdrEntry(uint32_t Name, uint32_t Type, uint64_t Flags, 239 uint64_t Address, uint64_t Offset, uint64_t Size, 240 uint32_t Link, uint32_t Info, uint64_t Alignment, 241 uint64_t EntrySize); 242 243 void writeRelocations(const MCAssembler &Asm, const MCSectionELF &Sec); 244 245 using MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl; 246 bool isSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm, 247 const MCSymbol &SymA, 248 const MCFragment &FB, bool InSet, 249 bool IsPCRel) const override; 250 251 bool isWeak(const MCSymbol &Sym) const override; 252 253 void writeObject(MCAssembler &Asm, const MCAsmLayout &Layout) override; 254 void writeSection(const SectionIndexMapTy &SectionIndexMap, 255 uint32_t GroupSymbolIndex, uint64_t Offset, uint64_t Size, 256 const MCSectionELF &Section); 257 }; 258 259 } // end anonymous namespace 260 261 void ELFObjectWriter::align(unsigned Alignment) { 262 uint64_t Padding = OffsetToAlignment(getStream().tell(), Alignment); 263 WriteZeros(Padding); 264 } 265 266 unsigned ELFObjectWriter::addToSectionTable(const MCSectionELF *Sec) { 267 SectionTable.push_back(Sec); 268 StrTabBuilder.add(Sec->getSectionName()); 269 return SectionTable.size(); 270 } 271 272 void SymbolTableWriter::createSymtabShndx() { 273 if (!ShndxIndexes.empty()) 274 return; 275 276 ShndxIndexes.resize(NumWritten); 277 } 278 279 template <typename T> void SymbolTableWriter::write(T Value) { 280 EWriter.write(Value); 281 } 282 283 SymbolTableWriter::SymbolTableWriter(ELFObjectWriter &EWriter, bool Is64Bit) 284 : EWriter(EWriter), Is64Bit(Is64Bit), NumWritten(0) {} 285 286 void SymbolTableWriter::writeSymbol(uint32_t name, uint8_t info, uint64_t value, 287 uint64_t size, uint8_t other, 288 uint32_t shndx, bool Reserved) { 289 bool LargeIndex = shndx >= ELF::SHN_LORESERVE && !Reserved; 290 291 if (LargeIndex) 292 createSymtabShndx(); 293 294 if (!ShndxIndexes.empty()) { 295 if (LargeIndex) 296 ShndxIndexes.push_back(shndx); 297 else 298 ShndxIndexes.push_back(0); 299 } 300 301 uint16_t Index = LargeIndex ? uint16_t(ELF::SHN_XINDEX) : shndx; 302 303 if (Is64Bit) { 304 write(name); // st_name 305 write(info); // st_info 306 write(other); // st_other 307 write(Index); // st_shndx 308 write(value); // st_value 309 write(size); // st_size 310 } else { 311 write(name); // st_name 312 write(uint32_t(value)); // st_value 313 write(uint32_t(size)); // st_size 314 write(info); // st_info 315 write(other); // st_other 316 write(Index); // st_shndx 317 } 318 319 ++NumWritten; 320 } 321 322 // Emit the ELF header. 323 void ELFObjectWriter::writeHeader(const MCAssembler &Asm) { 324 // ELF Header 325 // ---------- 326 // 327 // Note 328 // ---- 329 // emitWord method behaves differently for ELF32 and ELF64, writing 330 // 4 bytes in the former and 8 in the latter. 331 332 writeBytes(ELF::ElfMagic); // e_ident[EI_MAG0] to e_ident[EI_MAG3] 333 334 write8(is64Bit() ? ELF::ELFCLASS64 : ELF::ELFCLASS32); // e_ident[EI_CLASS] 335 336 // e_ident[EI_DATA] 337 write8(isLittleEndian() ? ELF::ELFDATA2LSB : ELF::ELFDATA2MSB); 338 339 write8(ELF::EV_CURRENT); // e_ident[EI_VERSION] 340 // e_ident[EI_OSABI] 341 write8(TargetObjectWriter->getOSABI()); 342 write8(0); // e_ident[EI_ABIVERSION] 343 344 WriteZeros(ELF::EI_NIDENT - ELF::EI_PAD); 345 346 write16(ELF::ET_REL); // e_type 347 348 write16(TargetObjectWriter->getEMachine()); // e_machine = target 349 350 write32(ELF::EV_CURRENT); // e_version 351 WriteWord(0); // e_entry, no entry point in .o file 352 WriteWord(0); // e_phoff, no program header for .o 353 WriteWord(0); // e_shoff = sec hdr table off in bytes 354 355 // e_flags = whatever the target wants 356 write32(Asm.getELFHeaderEFlags()); 357 358 // e_ehsize = ELF header size 359 write16(is64Bit() ? sizeof(ELF::Elf64_Ehdr) : sizeof(ELF::Elf32_Ehdr)); 360 361 write16(0); // e_phentsize = prog header entry size 362 write16(0); // e_phnum = # prog header entries = 0 363 364 // e_shentsize = Section header entry size 365 write16(is64Bit() ? sizeof(ELF::Elf64_Shdr) : sizeof(ELF::Elf32_Shdr)); 366 367 // e_shnum = # of section header ents 368 write16(0); 369 370 // e_shstrndx = Section # of '.shstrtab' 371 assert(StringTableIndex < ELF::SHN_LORESERVE); 372 write16(StringTableIndex); 373 } 374 375 uint64_t ELFObjectWriter::SymbolValue(const MCSymbol &Sym, 376 const MCAsmLayout &Layout) { 377 if (Sym.isCommon() && Sym.isExternal()) 378 return Sym.getCommonAlignment(); 379 380 uint64_t Res; 381 if (!Layout.getSymbolOffset(Sym, Res)) 382 return 0; 383 384 if (Layout.getAssembler().isThumbFunc(&Sym)) 385 Res |= 1; 386 387 return Res; 388 } 389 390 void ELFObjectWriter::executePostLayoutBinding(MCAssembler &Asm, 391 const MCAsmLayout &Layout) { 392 // The presence of symbol versions causes undefined symbols and 393 // versions declared with @@@ to be renamed. 394 for (const MCSymbol &A : Asm.symbols()) { 395 const auto &Alias = cast<MCSymbolELF>(A); 396 // Not an alias. 397 if (!Alias.isVariable()) 398 continue; 399 auto *Ref = dyn_cast<MCSymbolRefExpr>(Alias.getVariableValue()); 400 if (!Ref) 401 continue; 402 const auto &Symbol = cast<MCSymbolELF>(Ref->getSymbol()); 403 404 StringRef AliasName = Alias.getName(); 405 size_t Pos = AliasName.find('@'); 406 if (Pos == StringRef::npos) 407 continue; 408 409 // Aliases defined with .symvar copy the binding from the symbol they alias. 410 // This is the first place we are able to copy this information. 411 Alias.setExternal(Symbol.isExternal()); 412 Alias.setBinding(Symbol.getBinding()); 413 414 StringRef Rest = AliasName.substr(Pos); 415 if (!Symbol.isUndefined() && !Rest.startswith("@@@")) 416 continue; 417 418 // FIXME: produce a better error message. 419 if (Symbol.isUndefined() && Rest.startswith("@@") && 420 !Rest.startswith("@@@")) 421 report_fatal_error("A @@ version cannot be undefined"); 422 423 Renames.insert(std::make_pair(&Symbol, &Alias)); 424 } 425 } 426 427 static uint8_t mergeTypeForSet(uint8_t origType, uint8_t newType) { 428 uint8_t Type = newType; 429 430 // Propagation rules: 431 // IFUNC > FUNC > OBJECT > NOTYPE 432 // TLS_OBJECT > OBJECT > NOTYPE 433 // 434 // dont let the new type degrade the old type 435 switch (origType) { 436 default: 437 break; 438 case ELF::STT_GNU_IFUNC: 439 if (Type == ELF::STT_FUNC || Type == ELF::STT_OBJECT || 440 Type == ELF::STT_NOTYPE || Type == ELF::STT_TLS) 441 Type = ELF::STT_GNU_IFUNC; 442 break; 443 case ELF::STT_FUNC: 444 if (Type == ELF::STT_OBJECT || Type == ELF::STT_NOTYPE || 445 Type == ELF::STT_TLS) 446 Type = ELF::STT_FUNC; 447 break; 448 case ELF::STT_OBJECT: 449 if (Type == ELF::STT_NOTYPE) 450 Type = ELF::STT_OBJECT; 451 break; 452 case ELF::STT_TLS: 453 if (Type == ELF::STT_OBJECT || Type == ELF::STT_NOTYPE || 454 Type == ELF::STT_GNU_IFUNC || Type == ELF::STT_FUNC) 455 Type = ELF::STT_TLS; 456 break; 457 } 458 459 return Type; 460 } 461 462 void ELFObjectWriter::writeSymbol(SymbolTableWriter &Writer, 463 uint32_t StringIndex, ELFSymbolData &MSD, 464 const MCAsmLayout &Layout) { 465 const auto &Symbol = cast<MCSymbolELF>(*MSD.Symbol); 466 const MCSymbolELF *Base = 467 cast_or_null<MCSymbolELF>(Layout.getBaseSymbol(Symbol)); 468 469 // This has to be in sync with when computeSymbolTable uses SHN_ABS or 470 // SHN_COMMON. 471 bool IsReserved = !Base || Symbol.isCommon(); 472 473 // Binding and Type share the same byte as upper and lower nibbles 474 uint8_t Binding = Symbol.getBinding(); 475 uint8_t Type = Symbol.getType(); 476 if (Base) { 477 Type = mergeTypeForSet(Type, Base->getType()); 478 } 479 uint8_t Info = (Binding << 4) | Type; 480 481 // Other and Visibility share the same byte with Visibility using the lower 482 // 2 bits 483 uint8_t Visibility = Symbol.getVisibility(); 484 uint8_t Other = Symbol.getOther() | Visibility; 485 486 uint64_t Value = SymbolValue(*MSD.Symbol, Layout); 487 uint64_t Size = 0; 488 489 const MCExpr *ESize = MSD.Symbol->getSize(); 490 if (!ESize && Base) 491 ESize = Base->getSize(); 492 493 if (ESize) { 494 int64_t Res; 495 if (!ESize->evaluateKnownAbsolute(Res, Layout)) 496 report_fatal_error("Size expression must be absolute."); 497 Size = Res; 498 } 499 500 // Write out the symbol table entry 501 Writer.writeSymbol(StringIndex, Info, Value, Size, Other, MSD.SectionIndex, 502 IsReserved); 503 } 504 505 // It is always valid to create a relocation with a symbol. It is preferable 506 // to use a relocation with a section if that is possible. Using the section 507 // allows us to omit some local symbols from the symbol table. 508 bool ELFObjectWriter::shouldRelocateWithSymbol(const MCAssembler &Asm, 509 const MCSymbolRefExpr *RefA, 510 const MCSymbol *S, uint64_t C, 511 unsigned Type) const { 512 const auto *Sym = cast_or_null<MCSymbolELF>(S); 513 // A PCRel relocation to an absolute value has no symbol (or section). We 514 // represent that with a relocation to a null section. 515 if (!RefA) 516 return false; 517 518 MCSymbolRefExpr::VariantKind Kind = RefA->getKind(); 519 switch (Kind) { 520 default: 521 break; 522 // The .odp creation emits a relocation against the symbol ".TOC." which 523 // create a R_PPC64_TOC relocation. However the relocation symbol name 524 // in final object creation should be NULL, since the symbol does not 525 // really exist, it is just the reference to TOC base for the current 526 // object file. Since the symbol is undefined, returning false results 527 // in a relocation with a null section which is the desired result. 528 case MCSymbolRefExpr::VK_PPC_TOCBASE: 529 return false; 530 531 // These VariantKind cause the relocation to refer to something other than 532 // the symbol itself, like a linker generated table. Since the address of 533 // symbol is not relevant, we cannot replace the symbol with the 534 // section and patch the difference in the addend. 535 case MCSymbolRefExpr::VK_GOT: 536 case MCSymbolRefExpr::VK_PLT: 537 case MCSymbolRefExpr::VK_GOTPCREL: 538 case MCSymbolRefExpr::VK_PPC_GOT_LO: 539 case MCSymbolRefExpr::VK_PPC_GOT_HI: 540 case MCSymbolRefExpr::VK_PPC_GOT_HA: 541 return true; 542 } 543 544 // An undefined symbol is not in any section, so the relocation has to point 545 // to the symbol itself. 546 assert(Sym && "Expected a symbol"); 547 if (Sym->isUndefined()) 548 return true; 549 550 unsigned Binding = Sym->getBinding(); 551 switch(Binding) { 552 default: 553 llvm_unreachable("Invalid Binding"); 554 case ELF::STB_LOCAL: 555 break; 556 case ELF::STB_WEAK: 557 // If the symbol is weak, it might be overridden by a symbol in another 558 // file. The relocation has to point to the symbol so that the linker 559 // can update it. 560 return true; 561 case ELF::STB_GLOBAL: 562 // Global ELF symbols can be preempted by the dynamic linker. The relocation 563 // has to point to the symbol for a reason analogous to the STB_WEAK case. 564 return true; 565 } 566 567 // If a relocation points to a mergeable section, we have to be careful. 568 // If the offset is zero, a relocation with the section will encode the 569 // same information. With a non-zero offset, the situation is different. 570 // For example, a relocation can point 42 bytes past the end of a string. 571 // If we change such a relocation to use the section, the linker would think 572 // that it pointed to another string and subtracting 42 at runtime will 573 // produce the wrong value. 574 if (Sym->isInSection()) { 575 auto &Sec = cast<MCSectionELF>(Sym->getSection()); 576 unsigned Flags = Sec.getFlags(); 577 if (Flags & ELF::SHF_MERGE) { 578 if (C != 0) 579 return true; 580 581 // It looks like gold has a bug (http://sourceware.org/PR16794) and can 582 // only handle section relocations to mergeable sections if using RELA. 583 if (!hasRelocationAddend()) 584 return true; 585 } 586 587 // Most TLS relocations use a got, so they need the symbol. Even those that 588 // are just an offset (@tpoff), require a symbol in gold versions before 589 // 5efeedf61e4fe720fd3e9a08e6c91c10abb66d42 (2014-09-26) which fixed 590 // http://sourceware.org/PR16773. 591 if (Flags & ELF::SHF_TLS) 592 return true; 593 } 594 595 // If the symbol is a thumb function the final relocation must set the lowest 596 // bit. With a symbol that is done by just having the symbol have that bit 597 // set, so we would lose the bit if we relocated with the section. 598 // FIXME: We could use the section but add the bit to the relocation value. 599 if (Asm.isThumbFunc(Sym)) 600 return true; 601 602 if (TargetObjectWriter->needsRelocateWithSymbol(*Sym, Type)) 603 return true; 604 return false; 605 } 606 607 // True if the assembler knows nothing about the final value of the symbol. 608 // This doesn't cover the comdat issues, since in those cases the assembler 609 // can at least know that all symbols in the section will move together. 610 static bool isWeak(const MCSymbolELF &Sym) { 611 if (Sym.getType() == ELF::STT_GNU_IFUNC) 612 return true; 613 614 switch (Sym.getBinding()) { 615 default: 616 llvm_unreachable("Unknown binding"); 617 case ELF::STB_LOCAL: 618 return false; 619 case ELF::STB_GLOBAL: 620 return false; 621 case ELF::STB_WEAK: 622 case ELF::STB_GNU_UNIQUE: 623 return true; 624 } 625 } 626 627 void ELFObjectWriter::recordRelocation(MCAssembler &Asm, 628 const MCAsmLayout &Layout, 629 const MCFragment *Fragment, 630 const MCFixup &Fixup, MCValue Target, 631 bool &IsPCRel, uint64_t &FixedValue) { 632 const MCSectionELF &FixupSection = cast<MCSectionELF>(*Fragment->getParent()); 633 uint64_t C = Target.getConstant(); 634 uint64_t FixupOffset = Layout.getFragmentOffset(Fragment) + Fixup.getOffset(); 635 MCContext &Ctx = Asm.getContext(); 636 637 if (const MCSymbolRefExpr *RefB = Target.getSymB()) { 638 assert(RefB->getKind() == MCSymbolRefExpr::VK_None && 639 "Should not have constructed this"); 640 641 // Let A, B and C being the components of Target and R be the location of 642 // the fixup. If the fixup is not pcrel, we want to compute (A - B + C). 643 // If it is pcrel, we want to compute (A - B + C - R). 644 645 // In general, ELF has no relocations for -B. It can only represent (A + C) 646 // or (A + C - R). If B = R + K and the relocation is not pcrel, we can 647 // replace B to implement it: (A - R - K + C) 648 if (IsPCRel) { 649 Ctx.reportError( 650 Fixup.getLoc(), 651 "No relocation available to represent this relative expression"); 652 return; 653 } 654 655 const auto &SymB = cast<MCSymbolELF>(RefB->getSymbol()); 656 657 if (SymB.isUndefined()) { 658 Ctx.reportError(Fixup.getLoc(), 659 Twine("symbol '") + SymB.getName() + 660 "' can not be undefined in a subtraction expression"); 661 return; 662 } 663 664 assert(!SymB.isAbsolute() && "Should have been folded"); 665 const MCSection &SecB = SymB.getSection(); 666 if (&SecB != &FixupSection) { 667 Ctx.reportError(Fixup.getLoc(), 668 "Cannot represent a difference across sections"); 669 return; 670 } 671 672 uint64_t SymBOffset = Layout.getSymbolOffset(SymB); 673 uint64_t K = SymBOffset - FixupOffset; 674 IsPCRel = true; 675 C -= K; 676 } 677 678 // We either rejected the fixup or folded B into C at this point. 679 const MCSymbolRefExpr *RefA = Target.getSymA(); 680 const auto *SymA = RefA ? cast<MCSymbolELF>(&RefA->getSymbol()) : nullptr; 681 682 bool ViaWeakRef = false; 683 if (SymA && SymA->isVariable()) { 684 const MCExpr *Expr = SymA->getVariableValue(); 685 if (const auto *Inner = dyn_cast<MCSymbolRefExpr>(Expr)) { 686 if (Inner->getKind() == MCSymbolRefExpr::VK_WEAKREF) { 687 SymA = cast<MCSymbolELF>(&Inner->getSymbol()); 688 ViaWeakRef = true; 689 } 690 } 691 } 692 693 unsigned Type = getRelocType(Ctx, Target, Fixup, IsPCRel); 694 uint64_t OriginalC = C; 695 bool RelocateWithSymbol = shouldRelocateWithSymbol(Asm, RefA, SymA, C, Type); 696 if (!RelocateWithSymbol && SymA && !SymA->isUndefined()) 697 C += Layout.getSymbolOffset(*SymA); 698 699 uint64_t Addend = 0; 700 if (hasRelocationAddend()) { 701 Addend = C; 702 C = 0; 703 } 704 705 FixedValue = C; 706 707 if (!RelocateWithSymbol) { 708 const MCSection *SecA = 709 (SymA && !SymA->isUndefined()) ? &SymA->getSection() : nullptr; 710 auto *ELFSec = cast_or_null<MCSectionELF>(SecA); 711 const auto *SectionSymbol = 712 ELFSec ? cast<MCSymbolELF>(ELFSec->getBeginSymbol()) : nullptr; 713 if (SectionSymbol) 714 SectionSymbol->setUsedInReloc(); 715 ELFRelocationEntry Rec(FixupOffset, SectionSymbol, Type, Addend, SymA, 716 OriginalC); 717 Relocations[&FixupSection].push_back(Rec); 718 return; 719 } 720 721 const auto *RenamedSymA = SymA; 722 if (SymA) { 723 if (const MCSymbolELF *R = Renames.lookup(SymA)) 724 RenamedSymA = R; 725 726 if (ViaWeakRef) 727 RenamedSymA->setIsWeakrefUsedInReloc(); 728 else 729 RenamedSymA->setUsedInReloc(); 730 } 731 ELFRelocationEntry Rec(FixupOffset, RenamedSymA, Type, Addend, SymA, 732 OriginalC); 733 Relocations[&FixupSection].push_back(Rec); 734 } 735 736 bool ELFObjectWriter::isInSymtab(const MCAsmLayout &Layout, 737 const MCSymbolELF &Symbol, bool Used, 738 bool Renamed) { 739 if (Symbol.isVariable()) { 740 const MCExpr *Expr = Symbol.getVariableValue(); 741 if (const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(Expr)) { 742 if (Ref->getKind() == MCSymbolRefExpr::VK_WEAKREF) 743 return false; 744 } 745 } 746 747 if (Used) 748 return true; 749 750 if (Renamed) 751 return false; 752 753 if (Symbol.isVariable() && Symbol.isUndefined()) { 754 // FIXME: this is here just to diagnose the case of a var = commmon_sym. 755 Layout.getBaseSymbol(Symbol); 756 return false; 757 } 758 759 if (Symbol.isUndefined() && !Symbol.isBindingSet()) 760 return false; 761 762 if (Symbol.isTemporary()) 763 return false; 764 765 if (Symbol.getType() == ELF::STT_SECTION) 766 return false; 767 768 return true; 769 } 770 771 void ELFObjectWriter::computeSymbolTable( 772 MCAssembler &Asm, const MCAsmLayout &Layout, 773 const SectionIndexMapTy &SectionIndexMap, const RevGroupMapTy &RevGroupMap, 774 SectionOffsetsTy &SectionOffsets) { 775 MCContext &Ctx = Asm.getContext(); 776 SymbolTableWriter Writer(*this, is64Bit()); 777 778 // Symbol table 779 unsigned EntrySize = is64Bit() ? ELF::SYMENTRY_SIZE64 : ELF::SYMENTRY_SIZE32; 780 MCSectionELF *SymtabSection = 781 Ctx.getELFSection(".symtab", ELF::SHT_SYMTAB, 0, EntrySize, ""); 782 SymtabSection->setAlignment(is64Bit() ? 8 : 4); 783 SymbolTableIndex = addToSectionTable(SymtabSection); 784 785 align(SymtabSection->getAlignment()); 786 uint64_t SecStart = getStream().tell(); 787 788 // The first entry is the undefined symbol entry. 789 Writer.writeSymbol(0, 0, 0, 0, 0, 0, false); 790 791 std::vector<ELFSymbolData> LocalSymbolData; 792 std::vector<ELFSymbolData> ExternalSymbolData; 793 794 // Add the data for the symbols. 795 bool HasLargeSectionIndex = false; 796 for (const MCSymbol &S : Asm.symbols()) { 797 const auto &Symbol = cast<MCSymbolELF>(S); 798 bool Used = Symbol.isUsedInReloc(); 799 bool WeakrefUsed = Symbol.isWeakrefUsedInReloc(); 800 bool isSignature = Symbol.isSignature(); 801 802 if (!isInSymtab(Layout, Symbol, Used || WeakrefUsed || isSignature, 803 Renames.count(&Symbol))) 804 continue; 805 806 if (Symbol.isTemporary() && Symbol.isUndefined()) { 807 Ctx.reportError(SMLoc(), "Undefined temporary symbol"); 808 continue; 809 } 810 811 ELFSymbolData MSD; 812 MSD.Symbol = cast<MCSymbolELF>(&Symbol); 813 814 bool Local = Symbol.getBinding() == ELF::STB_LOCAL; 815 assert(Local || !Symbol.isTemporary()); 816 817 if (Symbol.isAbsolute()) { 818 MSD.SectionIndex = ELF::SHN_ABS; 819 } else if (Symbol.isCommon()) { 820 assert(!Local); 821 MSD.SectionIndex = ELF::SHN_COMMON; 822 } else if (Symbol.isUndefined()) { 823 if (isSignature && !Used) { 824 MSD.SectionIndex = RevGroupMap.lookup(&Symbol); 825 if (MSD.SectionIndex >= ELF::SHN_LORESERVE) 826 HasLargeSectionIndex = true; 827 } else { 828 MSD.SectionIndex = ELF::SHN_UNDEF; 829 } 830 } else { 831 const MCSectionELF &Section = 832 static_cast<const MCSectionELF &>(Symbol.getSection()); 833 MSD.SectionIndex = SectionIndexMap.lookup(&Section); 834 assert(MSD.SectionIndex && "Invalid section index!"); 835 if (MSD.SectionIndex >= ELF::SHN_LORESERVE) 836 HasLargeSectionIndex = true; 837 } 838 839 // The @@@ in symbol version is replaced with @ in undefined symbols and @@ 840 // in defined ones. 841 // 842 // FIXME: All name handling should be done before we get to the writer, 843 // including dealing with GNU-style version suffixes. Fixing this isn't 844 // trivial. 845 // 846 // We thus have to be careful to not perform the symbol version replacement 847 // blindly: 848 // 849 // The ELF format is used on Windows by the MCJIT engine. Thus, on 850 // Windows, the ELFObjectWriter can encounter symbols mangled using the MS 851 // Visual Studio C++ name mangling scheme. Symbols mangled using the MSVC 852 // C++ name mangling can legally have "@@@" as a sub-string. In that case, 853 // the EFLObjectWriter should not interpret the "@@@" sub-string as 854 // specifying GNU-style symbol versioning. The ELFObjectWriter therefore 855 // checks for the MSVC C++ name mangling prefix which is either "?", "@?", 856 // "__imp_?" or "__imp_@?". 857 // 858 // It would have been interesting to perform the MS mangling prefix check 859 // only when the target triple is of the form *-pc-windows-elf. But, it 860 // seems that this information is not easily accessible from the 861 // ELFObjectWriter. 862 StringRef Name = Symbol.getName(); 863 SmallString<32> Buf; 864 if (!Name.startswith("?") && !Name.startswith("@?") && 865 !Name.startswith("__imp_?") && !Name.startswith("__imp_@?")) { 866 // This symbol isn't following the MSVC C++ name mangling convention. We 867 // can thus safely interpret the @@@ in symbol names as specifying symbol 868 // versioning. 869 size_t Pos = Name.find("@@@"); 870 if (Pos != StringRef::npos) { 871 Buf += Name.substr(0, Pos); 872 unsigned Skip = MSD.SectionIndex == ELF::SHN_UNDEF ? 2 : 1; 873 Buf += Name.substr(Pos + Skip); 874 Name = VersionSymSaver.save(Buf.c_str()); 875 } 876 } 877 878 // Sections have their own string table 879 if (Symbol.getType() != ELF::STT_SECTION) { 880 MSD.Name = Name; 881 StrTabBuilder.add(Name); 882 } 883 884 if (Local) 885 LocalSymbolData.push_back(MSD); 886 else 887 ExternalSymbolData.push_back(MSD); 888 } 889 890 // This holds the .symtab_shndx section index. 891 unsigned SymtabShndxSectionIndex = 0; 892 893 if (HasLargeSectionIndex) { 894 MCSectionELF *SymtabShndxSection = 895 Ctx.getELFSection(".symtab_shndxr", ELF::SHT_SYMTAB_SHNDX, 0, 4, ""); 896 SymtabShndxSectionIndex = addToSectionTable(SymtabShndxSection); 897 SymtabShndxSection->setAlignment(4); 898 } 899 900 ArrayRef<std::string> FileNames = Asm.getFileNames(); 901 for (const std::string &Name : FileNames) 902 StrTabBuilder.add(Name); 903 904 StrTabBuilder.finalize(); 905 906 // File symbols are emitted first and handled separately from normal symbols, 907 // i.e. a non-STT_FILE symbol with the same name may appear. 908 for (const std::string &Name : FileNames) 909 Writer.writeSymbol(StrTabBuilder.getOffset(Name), 910 ELF::STT_FILE | ELF::STB_LOCAL, 0, 0, ELF::STV_DEFAULT, 911 ELF::SHN_ABS, true); 912 913 // Symbols are required to be in lexicographic order. 914 array_pod_sort(LocalSymbolData.begin(), LocalSymbolData.end()); 915 array_pod_sort(ExternalSymbolData.begin(), ExternalSymbolData.end()); 916 917 // Set the symbol indices. Local symbols must come before all other 918 // symbols with non-local bindings. 919 unsigned Index = FileNames.size() + 1; 920 921 for (ELFSymbolData &MSD : LocalSymbolData) { 922 unsigned StringIndex = MSD.Symbol->getType() == ELF::STT_SECTION 923 ? 0 924 : StrTabBuilder.getOffset(MSD.Name); 925 MSD.Symbol->setIndex(Index++); 926 writeSymbol(Writer, StringIndex, MSD, Layout); 927 } 928 929 // Write the symbol table entries. 930 LastLocalSymbolIndex = Index; 931 932 for (ELFSymbolData &MSD : ExternalSymbolData) { 933 unsigned StringIndex = StrTabBuilder.getOffset(MSD.Name); 934 MSD.Symbol->setIndex(Index++); 935 writeSymbol(Writer, StringIndex, MSD, Layout); 936 assert(MSD.Symbol->getBinding() != ELF::STB_LOCAL); 937 } 938 939 uint64_t SecEnd = getStream().tell(); 940 SectionOffsets[SymtabSection] = std::make_pair(SecStart, SecEnd); 941 942 ArrayRef<uint32_t> ShndxIndexes = Writer.getShndxIndexes(); 943 if (ShndxIndexes.empty()) { 944 assert(SymtabShndxSectionIndex == 0); 945 return; 946 } 947 assert(SymtabShndxSectionIndex != 0); 948 949 SecStart = getStream().tell(); 950 const MCSectionELF *SymtabShndxSection = 951 SectionTable[SymtabShndxSectionIndex - 1]; 952 for (uint32_t Index : ShndxIndexes) 953 write(Index); 954 SecEnd = getStream().tell(); 955 SectionOffsets[SymtabShndxSection] = std::make_pair(SecStart, SecEnd); 956 } 957 958 MCSectionELF * 959 ELFObjectWriter::createRelocationSection(MCContext &Ctx, 960 const MCSectionELF &Sec) { 961 if (Relocations[&Sec].empty()) 962 return nullptr; 963 964 const StringRef SectionName = Sec.getSectionName(); 965 std::string RelaSectionName = hasRelocationAddend() ? ".rela" : ".rel"; 966 RelaSectionName += SectionName; 967 968 unsigned EntrySize; 969 if (hasRelocationAddend()) 970 EntrySize = is64Bit() ? sizeof(ELF::Elf64_Rela) : sizeof(ELF::Elf32_Rela); 971 else 972 EntrySize = is64Bit() ? sizeof(ELF::Elf64_Rel) : sizeof(ELF::Elf32_Rel); 973 974 unsigned Flags = 0; 975 if (Sec.getFlags() & ELF::SHF_GROUP) 976 Flags = ELF::SHF_GROUP; 977 978 MCSectionELF *RelaSection = Ctx.createELFRelSection( 979 RelaSectionName, hasRelocationAddend() ? ELF::SHT_RELA : ELF::SHT_REL, 980 Flags, EntrySize, Sec.getGroup(), &Sec); 981 RelaSection->setAlignment(is64Bit() ? 8 : 4); 982 return RelaSection; 983 } 984 985 // Include the debug info compression header. 986 bool ELFObjectWriter::maybeWriteCompression( 987 uint64_t Size, SmallVectorImpl<char> &CompressedContents, bool ZLibStyle, 988 unsigned Alignment) { 989 if (ZLibStyle) { 990 uint64_t HdrSize = 991 is64Bit() ? sizeof(ELF::Elf32_Chdr) : sizeof(ELF::Elf64_Chdr); 992 if (Size <= HdrSize + CompressedContents.size()) 993 return false; 994 // Platform specific header is followed by compressed data. 995 if (is64Bit()) { 996 // Write Elf64_Chdr header. 997 write(static_cast<ELF::Elf64_Word>(ELF::ELFCOMPRESS_ZLIB)); 998 write(static_cast<ELF::Elf64_Word>(0)); // ch_reserved field. 999 write(static_cast<ELF::Elf64_Xword>(Size)); 1000 write(static_cast<ELF::Elf64_Xword>(Alignment)); 1001 } else { 1002 // Write Elf32_Chdr header otherwise. 1003 write(static_cast<ELF::Elf32_Word>(ELF::ELFCOMPRESS_ZLIB)); 1004 write(static_cast<ELF::Elf32_Word>(Size)); 1005 write(static_cast<ELF::Elf32_Word>(Alignment)); 1006 } 1007 return true; 1008 } 1009 1010 // "ZLIB" followed by 8 bytes representing the uncompressed size of the section, 1011 // useful for consumers to preallocate a buffer to decompress into. 1012 const StringRef Magic = "ZLIB"; 1013 if (Size <= Magic.size() + sizeof(Size) + CompressedContents.size()) 1014 return false; 1015 write(ArrayRef<char>(Magic.begin(), Magic.size())); 1016 writeBE64(Size); 1017 return true; 1018 } 1019 1020 void ELFObjectWriter::writeSectionData(const MCAssembler &Asm, MCSection &Sec, 1021 const MCAsmLayout &Layout) { 1022 MCSectionELF &Section = static_cast<MCSectionELF &>(Sec); 1023 StringRef SectionName = Section.getSectionName(); 1024 1025 // Compressing debug_frame requires handling alignment fragments which is 1026 // more work (possibly generalizing MCAssembler.cpp:writeFragment to allow 1027 // for writing to arbitrary buffers) for little benefit. 1028 bool CompressionEnabled = 1029 Asm.getContext().getAsmInfo()->compressDebugSections() != 1030 DebugCompressionType::DCT_None; 1031 if (!CompressionEnabled || !SectionName.startswith(".debug_") || 1032 SectionName == ".debug_frame") { 1033 Asm.writeSectionData(&Section, Layout); 1034 return; 1035 } 1036 1037 SmallVector<char, 128> UncompressedData; 1038 raw_svector_ostream VecOS(UncompressedData); 1039 raw_pwrite_stream &OldStream = getStream(); 1040 setStream(VecOS); 1041 Asm.writeSectionData(&Section, Layout); 1042 setStream(OldStream); 1043 1044 SmallVector<char, 128> CompressedContents; 1045 if (Error E = zlib::compress( 1046 StringRef(UncompressedData.data(), UncompressedData.size()), 1047 CompressedContents)) { 1048 consumeError(std::move(E)); 1049 getStream() << UncompressedData; 1050 return; 1051 } 1052 1053 bool ZlibStyle = Asm.getContext().getAsmInfo()->compressDebugSections() == 1054 DebugCompressionType::DCT_Zlib; 1055 if (!maybeWriteCompression(UncompressedData.size(), CompressedContents, 1056 ZlibStyle, Sec.getAlignment())) { 1057 getStream() << UncompressedData; 1058 return; 1059 } 1060 1061 if (ZlibStyle) 1062 // Set the compressed flag. That is zlib style. 1063 Section.setFlags(Section.getFlags() | ELF::SHF_COMPRESSED); 1064 else 1065 // Add "z" prefix to section name. This is zlib-gnu style. 1066 Asm.getContext().renameELFSection(&Section, 1067 (".z" + SectionName.drop_front(1)).str()); 1068 getStream() << CompressedContents; 1069 } 1070 1071 void ELFObjectWriter::WriteSecHdrEntry(uint32_t Name, uint32_t Type, 1072 uint64_t Flags, uint64_t Address, 1073 uint64_t Offset, uint64_t Size, 1074 uint32_t Link, uint32_t Info, 1075 uint64_t Alignment, 1076 uint64_t EntrySize) { 1077 write32(Name); // sh_name: index into string table 1078 write32(Type); // sh_type 1079 WriteWord(Flags); // sh_flags 1080 WriteWord(Address); // sh_addr 1081 WriteWord(Offset); // sh_offset 1082 WriteWord(Size); // sh_size 1083 write32(Link); // sh_link 1084 write32(Info); // sh_info 1085 WriteWord(Alignment); // sh_addralign 1086 WriteWord(EntrySize); // sh_entsize 1087 } 1088 1089 void ELFObjectWriter::writeRelocations(const MCAssembler &Asm, 1090 const MCSectionELF &Sec) { 1091 std::vector<ELFRelocationEntry> &Relocs = Relocations[&Sec]; 1092 1093 // We record relocations by pushing to the end of a vector. Reverse the vector 1094 // to get the relocations in the order they were created. 1095 // In most cases that is not important, but it can be for special sections 1096 // (.eh_frame) or specific relocations (TLS optimizations on SystemZ). 1097 std::reverse(Relocs.begin(), Relocs.end()); 1098 1099 // Sort the relocation entries. MIPS needs this. 1100 TargetObjectWriter->sortRelocs(Asm, Relocs); 1101 1102 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) { 1103 const ELFRelocationEntry &Entry = Relocs[e - i - 1]; 1104 unsigned Index = Entry.Symbol ? Entry.Symbol->getIndex() : 0; 1105 1106 if (is64Bit()) { 1107 write(Entry.Offset); 1108 if (TargetObjectWriter->isN64()) { 1109 write(uint32_t(Index)); 1110 1111 write(TargetObjectWriter->getRSsym(Entry.Type)); 1112 write(TargetObjectWriter->getRType3(Entry.Type)); 1113 write(TargetObjectWriter->getRType2(Entry.Type)); 1114 write(TargetObjectWriter->getRType(Entry.Type)); 1115 } else { 1116 struct ELF::Elf64_Rela ERE64; 1117 ERE64.setSymbolAndType(Index, Entry.Type); 1118 write(ERE64.r_info); 1119 } 1120 if (hasRelocationAddend()) 1121 write(Entry.Addend); 1122 } else { 1123 write(uint32_t(Entry.Offset)); 1124 1125 struct ELF::Elf32_Rela ERE32; 1126 ERE32.setSymbolAndType(Index, Entry.Type); 1127 write(ERE32.r_info); 1128 1129 if (hasRelocationAddend()) 1130 write(uint32_t(Entry.Addend)); 1131 } 1132 } 1133 } 1134 1135 const MCSectionELF *ELFObjectWriter::createStringTable(MCContext &Ctx) { 1136 const MCSectionELF *StrtabSection = SectionTable[StringTableIndex - 1]; 1137 StrTabBuilder.write(getStream()); 1138 return StrtabSection; 1139 } 1140 1141 void ELFObjectWriter::writeSection(const SectionIndexMapTy &SectionIndexMap, 1142 uint32_t GroupSymbolIndex, uint64_t Offset, 1143 uint64_t Size, const MCSectionELF &Section) { 1144 uint64_t sh_link = 0; 1145 uint64_t sh_info = 0; 1146 1147 switch(Section.getType()) { 1148 default: 1149 // Nothing to do. 1150 break; 1151 1152 case ELF::SHT_DYNAMIC: 1153 llvm_unreachable("SHT_DYNAMIC in a relocatable object"); 1154 1155 case ELF::SHT_REL: 1156 case ELF::SHT_RELA: { 1157 sh_link = SymbolTableIndex; 1158 assert(sh_link && ".symtab not found"); 1159 const MCSection *InfoSection = Section.getAssociatedSection(); 1160 sh_info = SectionIndexMap.lookup(cast<MCSectionELF>(InfoSection)); 1161 break; 1162 } 1163 1164 case ELF::SHT_SYMTAB: 1165 case ELF::SHT_DYNSYM: 1166 sh_link = StringTableIndex; 1167 sh_info = LastLocalSymbolIndex; 1168 break; 1169 1170 case ELF::SHT_SYMTAB_SHNDX: 1171 sh_link = SymbolTableIndex; 1172 break; 1173 1174 case ELF::SHT_GROUP: 1175 sh_link = SymbolTableIndex; 1176 sh_info = GroupSymbolIndex; 1177 break; 1178 } 1179 1180 if (Section.getFlags() & ELF::SHF_LINK_ORDER) { 1181 const MCSymbol *Sym = Section.getAssociatedSymbol(); 1182 const MCSectionELF *Sec = cast<MCSectionELF>(&Sym->getSection()); 1183 sh_link = SectionIndexMap.lookup(Sec); 1184 } 1185 1186 WriteSecHdrEntry(StrTabBuilder.getOffset(Section.getSectionName()), 1187 Section.getType(), Section.getFlags(), 0, Offset, Size, 1188 sh_link, sh_info, Section.getAlignment(), 1189 Section.getEntrySize()); 1190 } 1191 1192 void ELFObjectWriter::writeSectionHeader( 1193 const MCAsmLayout &Layout, const SectionIndexMapTy &SectionIndexMap, 1194 const SectionOffsetsTy &SectionOffsets) { 1195 const unsigned NumSections = SectionTable.size(); 1196 1197 // Null section first. 1198 uint64_t FirstSectionSize = 1199 (NumSections + 1) >= ELF::SHN_LORESERVE ? NumSections + 1 : 0; 1200 WriteSecHdrEntry(0, 0, 0, 0, 0, FirstSectionSize, 0, 0, 0, 0); 1201 1202 for (const MCSectionELF *Section : SectionTable) { 1203 uint32_t GroupSymbolIndex; 1204 unsigned Type = Section->getType(); 1205 if (Type != ELF::SHT_GROUP) 1206 GroupSymbolIndex = 0; 1207 else 1208 GroupSymbolIndex = Section->getGroup()->getIndex(); 1209 1210 const std::pair<uint64_t, uint64_t> &Offsets = 1211 SectionOffsets.find(Section)->second; 1212 uint64_t Size; 1213 if (Type == ELF::SHT_NOBITS) 1214 Size = Layout.getSectionAddressSize(Section); 1215 else 1216 Size = Offsets.second - Offsets.first; 1217 1218 writeSection(SectionIndexMap, GroupSymbolIndex, Offsets.first, Size, 1219 *Section); 1220 } 1221 } 1222 1223 void ELFObjectWriter::writeObject(MCAssembler &Asm, 1224 const MCAsmLayout &Layout) { 1225 MCContext &Ctx = Asm.getContext(); 1226 MCSectionELF *StrtabSection = 1227 Ctx.getELFSection(".strtab", ELF::SHT_STRTAB, 0); 1228 StringTableIndex = addToSectionTable(StrtabSection); 1229 1230 RevGroupMapTy RevGroupMap; 1231 SectionIndexMapTy SectionIndexMap; 1232 1233 std::map<const MCSymbol *, std::vector<const MCSectionELF *>> GroupMembers; 1234 1235 // Write out the ELF header ... 1236 writeHeader(Asm); 1237 1238 // ... then the sections ... 1239 SectionOffsetsTy SectionOffsets; 1240 std::vector<MCSectionELF *> Groups; 1241 std::vector<MCSectionELF *> Relocations; 1242 for (MCSection &Sec : Asm) { 1243 MCSectionELF &Section = static_cast<MCSectionELF &>(Sec); 1244 1245 align(Section.getAlignment()); 1246 1247 // Remember the offset into the file for this section. 1248 uint64_t SecStart = getStream().tell(); 1249 1250 const MCSymbolELF *SignatureSymbol = Section.getGroup(); 1251 writeSectionData(Asm, Section, Layout); 1252 1253 uint64_t SecEnd = getStream().tell(); 1254 SectionOffsets[&Section] = std::make_pair(SecStart, SecEnd); 1255 1256 MCSectionELF *RelSection = createRelocationSection(Ctx, Section); 1257 1258 if (SignatureSymbol) { 1259 Asm.registerSymbol(*SignatureSymbol); 1260 unsigned &GroupIdx = RevGroupMap[SignatureSymbol]; 1261 if (!GroupIdx) { 1262 MCSectionELF *Group = Ctx.createELFGroupSection(SignatureSymbol); 1263 GroupIdx = addToSectionTable(Group); 1264 Group->setAlignment(4); 1265 Groups.push_back(Group); 1266 } 1267 std::vector<const MCSectionELF *> &Members = 1268 GroupMembers[SignatureSymbol]; 1269 Members.push_back(&Section); 1270 if (RelSection) 1271 Members.push_back(RelSection); 1272 } 1273 1274 SectionIndexMap[&Section] = addToSectionTable(&Section); 1275 if (RelSection) { 1276 SectionIndexMap[RelSection] = addToSectionTable(RelSection); 1277 Relocations.push_back(RelSection); 1278 } 1279 } 1280 1281 for (MCSectionELF *Group : Groups) { 1282 align(Group->getAlignment()); 1283 1284 // Remember the offset into the file for this section. 1285 uint64_t SecStart = getStream().tell(); 1286 1287 const MCSymbol *SignatureSymbol = Group->getGroup(); 1288 assert(SignatureSymbol); 1289 write(uint32_t(ELF::GRP_COMDAT)); 1290 for (const MCSectionELF *Member : GroupMembers[SignatureSymbol]) { 1291 uint32_t SecIndex = SectionIndexMap.lookup(Member); 1292 write(SecIndex); 1293 } 1294 1295 uint64_t SecEnd = getStream().tell(); 1296 SectionOffsets[Group] = std::make_pair(SecStart, SecEnd); 1297 } 1298 1299 // Compute symbol table information. 1300 computeSymbolTable(Asm, Layout, SectionIndexMap, RevGroupMap, SectionOffsets); 1301 1302 for (MCSectionELF *RelSection : Relocations) { 1303 align(RelSection->getAlignment()); 1304 1305 // Remember the offset into the file for this section. 1306 uint64_t SecStart = getStream().tell(); 1307 1308 writeRelocations(Asm, 1309 cast<MCSectionELF>(*RelSection->getAssociatedSection())); 1310 1311 uint64_t SecEnd = getStream().tell(); 1312 SectionOffsets[RelSection] = std::make_pair(SecStart, SecEnd); 1313 } 1314 1315 { 1316 uint64_t SecStart = getStream().tell(); 1317 const MCSectionELF *Sec = createStringTable(Ctx); 1318 uint64_t SecEnd = getStream().tell(); 1319 SectionOffsets[Sec] = std::make_pair(SecStart, SecEnd); 1320 } 1321 1322 uint64_t NaturalAlignment = is64Bit() ? 8 : 4; 1323 align(NaturalAlignment); 1324 1325 const uint64_t SectionHeaderOffset = getStream().tell(); 1326 1327 // ... then the section header table ... 1328 writeSectionHeader(Layout, SectionIndexMap, SectionOffsets); 1329 1330 uint16_t NumSections = (SectionTable.size() + 1 >= ELF::SHN_LORESERVE) 1331 ? (uint16_t)ELF::SHN_UNDEF 1332 : SectionTable.size() + 1; 1333 if (sys::IsLittleEndianHost != IsLittleEndian) 1334 sys::swapByteOrder(NumSections); 1335 unsigned NumSectionsOffset; 1336 1337 if (is64Bit()) { 1338 uint64_t Val = SectionHeaderOffset; 1339 if (sys::IsLittleEndianHost != IsLittleEndian) 1340 sys::swapByteOrder(Val); 1341 getStream().pwrite(reinterpret_cast<char *>(&Val), sizeof(Val), 1342 offsetof(ELF::Elf64_Ehdr, e_shoff)); 1343 NumSectionsOffset = offsetof(ELF::Elf64_Ehdr, e_shnum); 1344 } else { 1345 uint32_t Val = SectionHeaderOffset; 1346 if (sys::IsLittleEndianHost != IsLittleEndian) 1347 sys::swapByteOrder(Val); 1348 getStream().pwrite(reinterpret_cast<char *>(&Val), sizeof(Val), 1349 offsetof(ELF::Elf32_Ehdr, e_shoff)); 1350 NumSectionsOffset = offsetof(ELF::Elf32_Ehdr, e_shnum); 1351 } 1352 getStream().pwrite(reinterpret_cast<char *>(&NumSections), 1353 sizeof(NumSections), NumSectionsOffset); 1354 } 1355 1356 bool ELFObjectWriter::isSymbolRefDifferenceFullyResolvedImpl( 1357 const MCAssembler &Asm, const MCSymbol &SA, const MCFragment &FB, 1358 bool InSet, bool IsPCRel) const { 1359 const auto &SymA = cast<MCSymbolELF>(SA); 1360 if (IsPCRel) { 1361 assert(!InSet); 1362 if (::isWeak(SymA)) 1363 return false; 1364 } 1365 return MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(Asm, SymA, FB, 1366 InSet, IsPCRel); 1367 } 1368 1369 bool ELFObjectWriter::isWeak(const MCSymbol &S) const { 1370 const auto &Sym = cast<MCSymbolELF>(S); 1371 if (::isWeak(Sym)) 1372 return true; 1373 1374 // It is invalid to replace a reference to a global in a comdat 1375 // with a reference to a local since out of comdat references 1376 // to a local are forbidden. 1377 // We could try to return false for more cases, like the reference 1378 // being in the same comdat or Sym being an alias to another global, 1379 // but it is not clear if it is worth the effort. 1380 if (Sym.getBinding() != ELF::STB_GLOBAL) 1381 return false; 1382 1383 if (!Sym.isInSection()) 1384 return false; 1385 1386 const auto &Sec = cast<MCSectionELF>(Sym.getSection()); 1387 return Sec.getGroup(); 1388 } 1389 1390 MCObjectWriter *llvm::createELFObjectWriter(MCELFObjectTargetWriter *MOTW, 1391 raw_pwrite_stream &OS, 1392 bool IsLittleEndian) { 1393 return new ELFObjectWriter(MOTW, OS, IsLittleEndian); 1394 } 1395