1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525 |
- //===-- lib/MC/XCOFFObjectWriter.cpp - XCOFF file writer ------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file implements XCOFF object file writer information.
- //
- //===----------------------------------------------------------------------===//
- #include "llvm/BinaryFormat/XCOFF.h"
- #include "llvm/MC/MCAsmBackend.h"
- #include "llvm/MC/MCAsmLayout.h"
- #include "llvm/MC/MCAssembler.h"
- #include "llvm/MC/MCFixup.h"
- #include "llvm/MC/MCFixupKindInfo.h"
- #include "llvm/MC/MCObjectWriter.h"
- #include "llvm/MC/MCSectionXCOFF.h"
- #include "llvm/MC/MCSymbolXCOFF.h"
- #include "llvm/MC/MCValue.h"
- #include "llvm/MC/MCXCOFFObjectWriter.h"
- #include "llvm/MC/StringTableBuilder.h"
- #include "llvm/Support/Casting.h"
- #include "llvm/Support/EndianStream.h"
- #include "llvm/Support/ErrorHandling.h"
- #include "llvm/Support/MathExtras.h"
- #include <deque>
- #include <map>
- using namespace llvm;
- // An XCOFF object file has a limited set of predefined sections. The most
- // important ones for us (right now) are:
- // .text --> contains program code and read-only data.
- // .data --> contains initialized data, function descriptors, and the TOC.
- // .bss --> contains uninitialized data.
- // Each of these sections is composed of 'Control Sections'. A Control Section
- // is more commonly referred to as a csect. A csect is an indivisible unit of
- // code or data, and acts as a container for symbols. A csect is mapped
- // into a section based on its storage-mapping class, with the exception of
- // XMC_RW which gets mapped to either .data or .bss based on whether it's
- // explicitly initialized or not.
- //
- // We don't represent the sections in the MC layer as there is nothing
- // interesting about them at at that level: they carry information that is
- // only relevant to the ObjectWriter, so we materialize them in this class.
- namespace {
- constexpr unsigned DefaultSectionAlign = 4;
- constexpr int16_t MaxSectionIndex = INT16_MAX;
- // Packs the csect's alignment and type into a byte.
- uint8_t getEncodedType(const MCSectionXCOFF *);
- struct XCOFFRelocation {
- uint32_t SymbolTableIndex;
- uint32_t FixupOffsetInCsect;
- uint8_t SignAndSize;
- uint8_t Type;
- };
- // Wrapper around an MCSymbolXCOFF.
- struct Symbol {
- const MCSymbolXCOFF *const MCSym;
- uint32_t SymbolTableIndex;
- XCOFF::VisibilityType getVisibilityType() const {
- return MCSym->getVisibilityType();
- }
- XCOFF::StorageClass getStorageClass() const {
- return MCSym->getStorageClass();
- }
- StringRef getSymbolTableName() const { return MCSym->getSymbolTableName(); }
- Symbol(const MCSymbolXCOFF *MCSym) : MCSym(MCSym), SymbolTableIndex(-1) {}
- };
- // Wrapper for an MCSectionXCOFF.
- // It can be a Csect or debug section or DWARF section and so on.
- struct XCOFFSection {
- const MCSectionXCOFF *const MCSec;
- uint32_t SymbolTableIndex;
- uint64_t Address;
- uint64_t Size;
- SmallVector<Symbol, 1> Syms;
- SmallVector<XCOFFRelocation, 1> Relocations;
- StringRef getSymbolTableName() const { return MCSec->getSymbolTableName(); }
- XCOFF::VisibilityType getVisibilityType() const {
- return MCSec->getVisibilityType();
- }
- XCOFFSection(const MCSectionXCOFF *MCSec)
- : MCSec(MCSec), SymbolTableIndex(-1), Address(-1), Size(0) {}
- };
- // Type to be used for a container representing a set of csects with
- // (approximately) the same storage mapping class. For example all the csects
- // with a storage mapping class of `xmc_pr` will get placed into the same
- // container.
- using CsectGroup = std::deque<XCOFFSection>;
- using CsectGroups = std::deque<CsectGroup *>;
- // The basic section entry defination. This Section represents a section entry
- // in XCOFF section header table.
- struct SectionEntry {
- char Name[XCOFF::NameSize];
- // The physical/virtual address of the section. For an object file these
- // values are equivalent, except for in the overflow section header, where
- // the physical address specifies the number of relocation entries and the
- // virtual address specifies the number of line number entries.
- // TODO: Divide Address into PhysicalAddress and VirtualAddress when line
- // number entries are supported.
- uint64_t Address;
- uint64_t Size;
- uint64_t FileOffsetToData;
- uint64_t FileOffsetToRelocations;
- uint32_t RelocationCount;
- int32_t Flags;
- int16_t Index;
- // XCOFF has special section numbers for symbols:
- // -2 Specifies N_DEBUG, a special symbolic debugging symbol.
- // -1 Specifies N_ABS, an absolute symbol. The symbol has a value but is not
- // relocatable.
- // 0 Specifies N_UNDEF, an undefined external symbol.
- // Therefore, we choose -3 (N_DEBUG - 1) to represent a section index that
- // hasn't been initialized.
- static constexpr int16_t UninitializedIndex =
- XCOFF::ReservedSectionNum::N_DEBUG - 1;
- SectionEntry(StringRef N, int32_t Flags)
- : Name(), Address(0), Size(0), FileOffsetToData(0),
- FileOffsetToRelocations(0), RelocationCount(0), Flags(Flags),
- Index(UninitializedIndex) {
- assert(N.size() <= XCOFF::NameSize && "section name too long");
- memcpy(Name, N.data(), N.size());
- }
- virtual void reset() {
- Address = 0;
- Size = 0;
- FileOffsetToData = 0;
- FileOffsetToRelocations = 0;
- RelocationCount = 0;
- Index = UninitializedIndex;
- }
- virtual ~SectionEntry() = default;
- };
- // Represents the data related to a section excluding the csects that make up
- // the raw data of the section. The csects are stored separately as not all
- // sections contain csects, and some sections contain csects which are better
- // stored separately, e.g. the .data section containing read-write, descriptor,
- // TOCBase and TOC-entry csects.
- struct CsectSectionEntry : public SectionEntry {
- // Virtual sections do not need storage allocated in the object file.
- const bool IsVirtual;
- // This is a section containing csect groups.
- CsectGroups Groups;
- CsectSectionEntry(StringRef N, XCOFF::SectionTypeFlags Flags, bool IsVirtual,
- CsectGroups Groups)
- : SectionEntry(N, Flags), IsVirtual(IsVirtual), Groups(Groups) {
- assert(N.size() <= XCOFF::NameSize && "section name too long");
- memcpy(Name, N.data(), N.size());
- }
- void reset() override {
- SectionEntry::reset();
- // Clear any csects we have stored.
- for (auto *Group : Groups)
- Group->clear();
- }
- virtual ~CsectSectionEntry() = default;
- };
- struct DwarfSectionEntry : public SectionEntry {
- // For DWARF section entry.
- std::unique_ptr<XCOFFSection> DwarfSect;
- // For DWARF section, we must use real size in the section header. MemorySize
- // is for the size the DWARF section occupies including paddings.
- uint32_t MemorySize;
- DwarfSectionEntry(StringRef N, int32_t Flags,
- std::unique_ptr<XCOFFSection> Sect)
- : SectionEntry(N, Flags | XCOFF::STYP_DWARF), DwarfSect(std::move(Sect)),
- MemorySize(0) {
- assert(DwarfSect->MCSec->isDwarfSect() &&
- "This should be a DWARF section!");
- assert(N.size() <= XCOFF::NameSize && "section name too long");
- memcpy(Name, N.data(), N.size());
- }
- DwarfSectionEntry(DwarfSectionEntry &&s) = default;
- virtual ~DwarfSectionEntry() = default;
- };
- struct ExceptionTableEntry {
- const MCSymbol *Trap;
- uint64_t TrapAddress;
- unsigned Lang;
- unsigned Reason;
- ExceptionTableEntry(const MCSymbol *Trap, unsigned Lang, unsigned Reason)
- : Trap(Trap), Lang(Lang), Reason(Reason) {}
- };
- struct ExceptionInfo {
- const MCSymbol *FunctionSymbol;
- unsigned FunctionSize;
- std::vector<ExceptionTableEntry> Entries;
- };
- struct ExceptionSectionEntry : public SectionEntry {
- std::map<const StringRef, ExceptionInfo> ExceptionTable;
- bool isDebugEnabled = false;
- ExceptionSectionEntry(StringRef N, int32_t Flags)
- : SectionEntry(N, Flags | XCOFF::STYP_EXCEPT) {
- assert(N.size() <= XCOFF::NameSize && "Section too long.");
- memcpy(Name, N.data(), N.size());
- }
- virtual ~ExceptionSectionEntry() = default;
- };
- class XCOFFObjectWriter : public MCObjectWriter {
- uint32_t SymbolTableEntryCount = 0;
- uint64_t SymbolTableOffset = 0;
- uint16_t SectionCount = 0;
- uint32_t PaddingsBeforeDwarf = 0;
- std::vector<std::pair<std::string, size_t>> FileNames;
- bool HasVisibility = false;
- support::endian::Writer W;
- std::unique_ptr<MCXCOFFObjectTargetWriter> TargetObjectWriter;
- StringTableBuilder Strings;
- const uint64_t MaxRawDataSize =
- TargetObjectWriter->is64Bit() ? UINT64_MAX : UINT32_MAX;
- // Maps the MCSection representation to its corresponding XCOFFSection
- // wrapper. Needed for finding the XCOFFSection to insert an MCSymbol into
- // from its containing MCSectionXCOFF.
- DenseMap<const MCSectionXCOFF *, XCOFFSection *> SectionMap;
- // Maps the MCSymbol representation to its corrresponding symbol table index.
- // Needed for relocation.
- DenseMap<const MCSymbol *, uint32_t> SymbolIndexMap;
- // CsectGroups. These store the csects which make up different parts of
- // the sections. Should have one for each set of csects that get mapped into
- // the same section and get handled in a 'similar' way.
- CsectGroup UndefinedCsects;
- CsectGroup ProgramCodeCsects;
- CsectGroup ReadOnlyCsects;
- CsectGroup DataCsects;
- CsectGroup FuncDSCsects;
- CsectGroup TOCCsects;
- CsectGroup BSSCsects;
- CsectGroup TDataCsects;
- CsectGroup TBSSCsects;
- // The Predefined sections.
- CsectSectionEntry Text;
- CsectSectionEntry Data;
- CsectSectionEntry BSS;
- CsectSectionEntry TData;
- CsectSectionEntry TBSS;
- // All the XCOFF sections, in the order they will appear in the section header
- // table.
- std::array<CsectSectionEntry *const, 5> Sections{
- {&Text, &Data, &BSS, &TData, &TBSS}};
- std::vector<DwarfSectionEntry> DwarfSections;
- std::vector<SectionEntry> OverflowSections;
- ExceptionSectionEntry ExceptionSection;
- CsectGroup &getCsectGroup(const MCSectionXCOFF *MCSec);
- void reset() override;
- void executePostLayoutBinding(MCAssembler &, const MCAsmLayout &) override;
- void recordRelocation(MCAssembler &, const MCAsmLayout &, const MCFragment *,
- const MCFixup &, MCValue, uint64_t &) override;
- uint64_t writeObject(MCAssembler &, const MCAsmLayout &) override;
- bool is64Bit() const { return TargetObjectWriter->is64Bit(); }
- bool nameShouldBeInStringTable(const StringRef &);
- void writeSymbolName(const StringRef &);
- void writeSymbolEntryForCsectMemberLabel(const Symbol &SymbolRef,
- const XCOFFSection &CSectionRef,
- int16_t SectionIndex,
- uint64_t SymbolOffset);
- void writeSymbolEntryForControlSection(const XCOFFSection &CSectionRef,
- int16_t SectionIndex,
- XCOFF::StorageClass StorageClass);
- void writeSymbolEntryForDwarfSection(const XCOFFSection &DwarfSectionRef,
- int16_t SectionIndex);
- void writeFileHeader();
- void writeAuxFileHeader();
- void writeSectionHeader(const SectionEntry *Sec);
- void writeSectionHeaderTable();
- void writeSections(const MCAssembler &Asm, const MCAsmLayout &Layout);
- void writeSectionForControlSectionEntry(const MCAssembler &Asm,
- const MCAsmLayout &Layout,
- const CsectSectionEntry &CsectEntry,
- uint64_t &CurrentAddressLocation);
- void writeSectionForDwarfSectionEntry(const MCAssembler &Asm,
- const MCAsmLayout &Layout,
- const DwarfSectionEntry &DwarfEntry,
- uint64_t &CurrentAddressLocation);
- void writeSectionForExceptionSectionEntry(
- const MCAssembler &Asm, const MCAsmLayout &Layout,
- ExceptionSectionEntry &ExceptionEntry, uint64_t &CurrentAddressLocation);
- void writeSymbolTable(const MCAsmLayout &Layout);
- void writeSymbolAuxDwarfEntry(uint64_t LengthOfSectionPortion,
- uint64_t NumberOfRelocEnt = 0);
- void writeSymbolAuxCsectEntry(uint64_t SectionOrLength,
- uint8_t SymbolAlignmentAndType,
- uint8_t StorageMappingClass);
- void writeSymbolAuxFunctionEntry(uint32_t EntryOffset, uint32_t FunctionSize,
- uint64_t LineNumberPointer,
- uint32_t EndIndex);
- void writeSymbolAuxExceptionEntry(uint64_t EntryOffset, uint32_t FunctionSize,
- uint32_t EndIndex);
- void writeSymbolEntry(StringRef SymbolName, uint64_t Value,
- int16_t SectionNumber, uint16_t SymbolType,
- uint8_t StorageClass, uint8_t NumberOfAuxEntries = 1);
- void writeRelocations();
- void writeRelocation(XCOFFRelocation Reloc, const XCOFFSection &Section);
- // Called after all the csects and symbols have been processed by
- // `executePostLayoutBinding`, this function handles building up the majority
- // of the structures in the object file representation. Namely:
- // *) Calculates physical/virtual addresses, raw-pointer offsets, and section
- // sizes.
- // *) Assigns symbol table indices.
- // *) Builds up the section header table by adding any non-empty sections to
- // `Sections`.
- void assignAddressesAndIndices(const MCAsmLayout &);
- // Called after relocations are recorded.
- void finalizeSectionInfo();
- void finalizeRelocationInfo(SectionEntry *Sec, uint64_t RelCount);
- void calcOffsetToRelocations(SectionEntry *Sec, uint64_t &RawPointer);
- void addExceptionEntry(const MCSymbol *Symbol, const MCSymbol *Trap,
- unsigned LanguageCode, unsigned ReasonCode,
- unsigned FunctionSize, bool hasDebug) override;
- bool hasExceptionSection() {
- return !ExceptionSection.ExceptionTable.empty();
- }
- unsigned getExceptionSectionSize();
- unsigned getExceptionOffset(const MCSymbol *Symbol);
- size_t auxiliaryHeaderSize() const {
- // 64-bit object files have no auxiliary header.
- return HasVisibility && !is64Bit() ? XCOFF::AuxFileHeaderSizeShort : 0;
- }
- public:
- XCOFFObjectWriter(std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW,
- raw_pwrite_stream &OS);
- void writeWord(uint64_t Word) {
- is64Bit() ? W.write<uint64_t>(Word) : W.write<uint32_t>(Word);
- }
- };
- XCOFFObjectWriter::XCOFFObjectWriter(
- std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW, raw_pwrite_stream &OS)
- : W(OS, support::big), TargetObjectWriter(std::move(MOTW)),
- Strings(StringTableBuilder::XCOFF),
- Text(".text", XCOFF::STYP_TEXT, /* IsVirtual */ false,
- CsectGroups{&ProgramCodeCsects, &ReadOnlyCsects}),
- Data(".data", XCOFF::STYP_DATA, /* IsVirtual */ false,
- CsectGroups{&DataCsects, &FuncDSCsects, &TOCCsects}),
- BSS(".bss", XCOFF::STYP_BSS, /* IsVirtual */ true,
- CsectGroups{&BSSCsects}),
- TData(".tdata", XCOFF::STYP_TDATA, /* IsVirtual */ false,
- CsectGroups{&TDataCsects}),
- TBSS(".tbss", XCOFF::STYP_TBSS, /* IsVirtual */ true,
- CsectGroups{&TBSSCsects}),
- ExceptionSection(".except", XCOFF::STYP_EXCEPT) {}
- void XCOFFObjectWriter::reset() {
- // Clear the mappings we created.
- SymbolIndexMap.clear();
- SectionMap.clear();
- UndefinedCsects.clear();
- // Reset any sections we have written to, and empty the section header table.
- for (auto *Sec : Sections)
- Sec->reset();
- for (auto &DwarfSec : DwarfSections)
- DwarfSec.reset();
- for (auto &OverflowSec : OverflowSections)
- OverflowSec.reset();
- ExceptionSection.reset();
- // Reset states in XCOFFObjectWriter.
- SymbolTableEntryCount = 0;
- SymbolTableOffset = 0;
- SectionCount = 0;
- PaddingsBeforeDwarf = 0;
- Strings.clear();
- MCObjectWriter::reset();
- }
- CsectGroup &XCOFFObjectWriter::getCsectGroup(const MCSectionXCOFF *MCSec) {
- switch (MCSec->getMappingClass()) {
- case XCOFF::XMC_PR:
- assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
- "Only an initialized csect can contain program code.");
- return ProgramCodeCsects;
- case XCOFF::XMC_RO:
- assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
- "Only an initialized csect can contain read only data.");
- return ReadOnlyCsects;
- case XCOFF::XMC_RW:
- if (XCOFF::XTY_CM == MCSec->getCSectType())
- return BSSCsects;
- if (XCOFF::XTY_SD == MCSec->getCSectType())
- return DataCsects;
- report_fatal_error("Unhandled mapping of read-write csect to section.");
- case XCOFF::XMC_DS:
- return FuncDSCsects;
- case XCOFF::XMC_BS:
- assert(XCOFF::XTY_CM == MCSec->getCSectType() &&
- "Mapping invalid csect. CSECT with bss storage class must be "
- "common type.");
- return BSSCsects;
- case XCOFF::XMC_TL:
- assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
- "Mapping invalid csect. CSECT with tdata storage class must be "
- "an initialized csect.");
- return TDataCsects;
- case XCOFF::XMC_UL:
- assert(XCOFF::XTY_CM == MCSec->getCSectType() &&
- "Mapping invalid csect. CSECT with tbss storage class must be "
- "an uninitialized csect.");
- return TBSSCsects;
- case XCOFF::XMC_TC0:
- assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
- "Only an initialized csect can contain TOC-base.");
- assert(TOCCsects.empty() &&
- "We should have only one TOC-base, and it should be the first csect "
- "in this CsectGroup.");
- return TOCCsects;
- case XCOFF::XMC_TC:
- case XCOFF::XMC_TE:
- case XCOFF::XMC_TD:
- assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
- "Only an initialized csect can contain TC entry.");
- assert(!TOCCsects.empty() &&
- "We should at least have a TOC-base in this CsectGroup.");
- return TOCCsects;
- default:
- report_fatal_error("Unhandled mapping of csect to section.");
- }
- }
- static MCSectionXCOFF *getContainingCsect(const MCSymbolXCOFF *XSym) {
- if (XSym->isDefined())
- return cast<MCSectionXCOFF>(XSym->getFragment()->getParent());
- return XSym->getRepresentedCsect();
- }
- void XCOFFObjectWriter::executePostLayoutBinding(MCAssembler &Asm,
- const MCAsmLayout &Layout) {
- for (const auto &S : Asm) {
- const auto *MCSec = cast<const MCSectionXCOFF>(&S);
- assert(SectionMap.find(MCSec) == SectionMap.end() &&
- "Cannot add a section twice.");
- // If the name does not fit in the storage provided in the symbol table
- // entry, add it to the string table.
- if (nameShouldBeInStringTable(MCSec->getSymbolTableName()))
- Strings.add(MCSec->getSymbolTableName());
- if (MCSec->isCsect()) {
- // A new control section. Its CsectSectionEntry should already be staticly
- // generated as Text/Data/BSS/TDATA/TBSS. Add this section to the group of
- // the CsectSectionEntry.
- assert(XCOFF::XTY_ER != MCSec->getCSectType() &&
- "An undefined csect should not get registered.");
- CsectGroup &Group = getCsectGroup(MCSec);
- Group.emplace_back(MCSec);
- SectionMap[MCSec] = &Group.back();
- } else if (MCSec->isDwarfSect()) {
- // A new DwarfSectionEntry.
- std::unique_ptr<XCOFFSection> DwarfSec =
- std::make_unique<XCOFFSection>(MCSec);
- SectionMap[MCSec] = DwarfSec.get();
- DwarfSectionEntry SecEntry(MCSec->getName(),
- *MCSec->getDwarfSubtypeFlags(),
- std::move(DwarfSec));
- DwarfSections.push_back(std::move(SecEntry));
- } else
- llvm_unreachable("unsupport section type!");
- }
- for (const MCSymbol &S : Asm.symbols()) {
- // Nothing to do for temporary symbols.
- if (S.isTemporary())
- continue;
- const MCSymbolXCOFF *XSym = cast<MCSymbolXCOFF>(&S);
- const MCSectionXCOFF *ContainingCsect = getContainingCsect(XSym);
- if (XSym->getVisibilityType() != XCOFF::SYM_V_UNSPECIFIED)
- HasVisibility = true;
- if (ContainingCsect->getCSectType() == XCOFF::XTY_ER) {
- // Handle undefined symbol.
- UndefinedCsects.emplace_back(ContainingCsect);
- SectionMap[ContainingCsect] = &UndefinedCsects.back();
- if (nameShouldBeInStringTable(ContainingCsect->getSymbolTableName()))
- Strings.add(ContainingCsect->getSymbolTableName());
- continue;
- }
- // If the symbol is the csect itself, we don't need to put the symbol
- // into csect's Syms.
- if (XSym == ContainingCsect->getQualNameSymbol())
- continue;
- // Only put a label into the symbol table when it is an external label.
- if (!XSym->isExternal())
- continue;
- assert(SectionMap.find(ContainingCsect) != SectionMap.end() &&
- "Expected containing csect to exist in map");
- XCOFFSection *Csect = SectionMap[ContainingCsect];
- // Lookup the containing csect and add the symbol to it.
- assert(Csect->MCSec->isCsect() && "only csect is supported now!");
- Csect->Syms.emplace_back(XSym);
- // If the name does not fit in the storage provided in the symbol table
- // entry, add it to the string table.
- if (nameShouldBeInStringTable(XSym->getSymbolTableName()))
- Strings.add(XSym->getSymbolTableName());
- }
- FileNames = Asm.getFileNames();
- // Emit ".file" as the source file name when there is no file name.
- if (FileNames.empty())
- FileNames.emplace_back(".file", 0);
- for (const std::pair<std::string, size_t> &F : FileNames) {
- if (nameShouldBeInStringTable(F.first))
- Strings.add(F.first);
- }
- Strings.finalize();
- assignAddressesAndIndices(Layout);
- }
- void XCOFFObjectWriter::recordRelocation(MCAssembler &Asm,
- const MCAsmLayout &Layout,
- const MCFragment *Fragment,
- const MCFixup &Fixup, MCValue Target,
- uint64_t &FixedValue) {
- auto getIndex = [this](const MCSymbol *Sym,
- const MCSectionXCOFF *ContainingCsect) {
- // If we could not find the symbol directly in SymbolIndexMap, this symbol
- // could either be a temporary symbol or an undefined symbol. In this case,
- // we would need to have the relocation reference its csect instead.
- return SymbolIndexMap.find(Sym) != SymbolIndexMap.end()
- ? SymbolIndexMap[Sym]
- : SymbolIndexMap[ContainingCsect->getQualNameSymbol()];
- };
- auto getVirtualAddress =
- [this, &Layout](const MCSymbol *Sym,
- const MCSectionXCOFF *ContainingSect) -> uint64_t {
- // A DWARF section.
- if (ContainingSect->isDwarfSect())
- return Layout.getSymbolOffset(*Sym);
- // A csect.
- if (!Sym->isDefined())
- return SectionMap[ContainingSect]->Address;
- // A label.
- assert(Sym->isDefined() && "not a valid object that has address!");
- return SectionMap[ContainingSect]->Address + Layout.getSymbolOffset(*Sym);
- };
- const MCSymbol *const SymA = &Target.getSymA()->getSymbol();
- MCAsmBackend &Backend = Asm.getBackend();
- bool IsPCRel = Backend.getFixupKindInfo(Fixup.getKind()).Flags &
- MCFixupKindInfo::FKF_IsPCRel;
- uint8_t Type;
- uint8_t SignAndSize;
- std::tie(Type, SignAndSize) =
- TargetObjectWriter->getRelocTypeAndSignSize(Target, Fixup, IsPCRel);
- const MCSectionXCOFF *SymASec = getContainingCsect(cast<MCSymbolXCOFF>(SymA));
- assert(SectionMap.find(SymASec) != SectionMap.end() &&
- "Expected containing csect to exist in map.");
- const uint32_t Index = getIndex(SymA, SymASec);
- if (Type == XCOFF::RelocationType::R_POS ||
- Type == XCOFF::RelocationType::R_TLS)
- // The FixedValue should be symbol's virtual address in this object file
- // plus any constant value that we might get.
- FixedValue = getVirtualAddress(SymA, SymASec) + Target.getConstant();
- else if (Type == XCOFF::RelocationType::R_TLSM)
- // The FixedValue should always be zero since the region handle is only
- // known at load time.
- FixedValue = 0;
- else if (Type == XCOFF::RelocationType::R_TOC ||
- Type == XCOFF::RelocationType::R_TOCL) {
- // For non toc-data external symbols, R_TOC type relocation will relocate to
- // data symbols that have XCOFF::XTY_SD type csect. For toc-data external
- // symbols, R_TOC type relocation will relocate to data symbols that have
- // XCOFF_ER type csect. For XCOFF_ER kind symbols, there will be no TOC
- // entry for them, so the FixedValue should always be 0.
- if (SymASec->getCSectType() == XCOFF::XTY_ER) {
- FixedValue = 0;
- } else {
- // The FixedValue should be the TOC entry offset from the TOC-base plus
- // any constant offset value.
- const int64_t TOCEntryOffset = SectionMap[SymASec]->Address -
- TOCCsects.front().Address +
- Target.getConstant();
- if (Type == XCOFF::RelocationType::R_TOC && !isInt<16>(TOCEntryOffset))
- report_fatal_error("TOCEntryOffset overflows in small code model mode");
- FixedValue = TOCEntryOffset;
- }
- } else if (Type == XCOFF::RelocationType::R_RBR) {
- MCSectionXCOFF *ParentSec = cast<MCSectionXCOFF>(Fragment->getParent());
- assert((SymASec->getMappingClass() == XCOFF::XMC_PR &&
- ParentSec->getMappingClass() == XCOFF::XMC_PR) &&
- "Only XMC_PR csect may have the R_RBR relocation.");
- // The address of the branch instruction should be the sum of section
- // address, fragment offset and Fixup offset.
- uint64_t BRInstrAddress = SectionMap[ParentSec]->Address +
- Layout.getFragmentOffset(Fragment) +
- Fixup.getOffset();
- // The FixedValue should be the difference between SymA csect address and BR
- // instr address plus any constant value.
- FixedValue =
- SectionMap[SymASec]->Address - BRInstrAddress + Target.getConstant();
- }
- assert((Fixup.getOffset() <=
- MaxRawDataSize - Layout.getFragmentOffset(Fragment)) &&
- "Fragment offset + fixup offset is overflowed.");
- uint32_t FixupOffsetInCsect =
- Layout.getFragmentOffset(Fragment) + Fixup.getOffset();
- XCOFFRelocation Reloc = {Index, FixupOffsetInCsect, SignAndSize, Type};
- MCSectionXCOFF *RelocationSec = cast<MCSectionXCOFF>(Fragment->getParent());
- assert(SectionMap.find(RelocationSec) != SectionMap.end() &&
- "Expected containing csect to exist in map.");
- SectionMap[RelocationSec]->Relocations.push_back(Reloc);
- if (!Target.getSymB())
- return;
- const MCSymbol *const SymB = &Target.getSymB()->getSymbol();
- if (SymA == SymB)
- report_fatal_error("relocation for opposite term is not yet supported");
- const MCSectionXCOFF *SymBSec = getContainingCsect(cast<MCSymbolXCOFF>(SymB));
- assert(SectionMap.find(SymBSec) != SectionMap.end() &&
- "Expected containing csect to exist in map.");
- if (SymASec == SymBSec)
- report_fatal_error(
- "relocation for paired relocatable term is not yet supported");
- assert(Type == XCOFF::RelocationType::R_POS &&
- "SymA must be R_POS here if it's not opposite term or paired "
- "relocatable term.");
- const uint32_t IndexB = getIndex(SymB, SymBSec);
- // SymB must be R_NEG here, given the general form of Target(MCValue) is
- // "SymbolA - SymbolB + imm64".
- const uint8_t TypeB = XCOFF::RelocationType::R_NEG;
- XCOFFRelocation RelocB = {IndexB, FixupOffsetInCsect, SignAndSize, TypeB};
- SectionMap[RelocationSec]->Relocations.push_back(RelocB);
- // We already folded "SymbolA + imm64" above when Type is R_POS for SymbolA,
- // now we just need to fold "- SymbolB" here.
- FixedValue -= getVirtualAddress(SymB, SymBSec);
- }
- void XCOFFObjectWriter::writeSections(const MCAssembler &Asm,
- const MCAsmLayout &Layout) {
- uint64_t CurrentAddressLocation = 0;
- for (const auto *Section : Sections)
- writeSectionForControlSectionEntry(Asm, Layout, *Section,
- CurrentAddressLocation);
- for (const auto &DwarfSection : DwarfSections)
- writeSectionForDwarfSectionEntry(Asm, Layout, DwarfSection,
- CurrentAddressLocation);
- writeSectionForExceptionSectionEntry(Asm, Layout, ExceptionSection,
- CurrentAddressLocation);
- }
- uint64_t XCOFFObjectWriter::writeObject(MCAssembler &Asm,
- const MCAsmLayout &Layout) {
- // We always emit a timestamp of 0 for reproducibility, so ensure incremental
- // linking is not enabled, in case, like with Windows COFF, such a timestamp
- // is incompatible with incremental linking of XCOFF.
- if (Asm.isIncrementalLinkerCompatible())
- report_fatal_error("Incremental linking not supported for XCOFF.");
- finalizeSectionInfo();
- uint64_t StartOffset = W.OS.tell();
- writeFileHeader();
- writeAuxFileHeader();
- writeSectionHeaderTable();
- writeSections(Asm, Layout);
- writeRelocations();
- writeSymbolTable(Layout);
- // Write the string table.
- Strings.write(W.OS);
- return W.OS.tell() - StartOffset;
- }
- bool XCOFFObjectWriter::nameShouldBeInStringTable(const StringRef &SymbolName) {
- return SymbolName.size() > XCOFF::NameSize || is64Bit();
- }
- void XCOFFObjectWriter::writeSymbolName(const StringRef &SymbolName) {
- // Magic, Offset or SymbolName.
- if (nameShouldBeInStringTable(SymbolName)) {
- W.write<int32_t>(0);
- W.write<uint32_t>(Strings.getOffset(SymbolName));
- } else {
- char Name[XCOFF::NameSize + 1];
- std::strncpy(Name, SymbolName.data(), XCOFF::NameSize);
- ArrayRef<char> NameRef(Name, XCOFF::NameSize);
- W.write(NameRef);
- }
- }
- void XCOFFObjectWriter::writeSymbolEntry(StringRef SymbolName, uint64_t Value,
- int16_t SectionNumber,
- uint16_t SymbolType,
- uint8_t StorageClass,
- uint8_t NumberOfAuxEntries) {
- if (is64Bit()) {
- W.write<uint64_t>(Value);
- W.write<uint32_t>(Strings.getOffset(SymbolName));
- } else {
- writeSymbolName(SymbolName);
- W.write<uint32_t>(Value);
- }
- W.write<int16_t>(SectionNumber);
- W.write<uint16_t>(SymbolType);
- W.write<uint8_t>(StorageClass);
- W.write<uint8_t>(NumberOfAuxEntries);
- }
- void XCOFFObjectWriter::writeSymbolAuxCsectEntry(uint64_t SectionOrLength,
- uint8_t SymbolAlignmentAndType,
- uint8_t StorageMappingClass) {
- W.write<uint32_t>(is64Bit() ? Lo_32(SectionOrLength) : SectionOrLength);
- W.write<uint32_t>(0); // ParameterHashIndex
- W.write<uint16_t>(0); // TypeChkSectNum
- W.write<uint8_t>(SymbolAlignmentAndType);
- W.write<uint8_t>(StorageMappingClass);
- if (is64Bit()) {
- W.write<uint32_t>(Hi_32(SectionOrLength));
- W.OS.write_zeros(1); // Reserved
- W.write<uint8_t>(XCOFF::AUX_CSECT);
- } else {
- W.write<uint32_t>(0); // StabInfoIndex
- W.write<uint16_t>(0); // StabSectNum
- }
- }
- void XCOFFObjectWriter::writeSymbolAuxDwarfEntry(
- uint64_t LengthOfSectionPortion, uint64_t NumberOfRelocEnt) {
- writeWord(LengthOfSectionPortion);
- if (!is64Bit())
- W.OS.write_zeros(4); // Reserved
- writeWord(NumberOfRelocEnt);
- if (is64Bit()) {
- W.OS.write_zeros(1); // Reserved
- W.write<uint8_t>(XCOFF::AUX_SECT);
- } else {
- W.OS.write_zeros(6); // Reserved
- }
- }
- void XCOFFObjectWriter::writeSymbolEntryForCsectMemberLabel(
- const Symbol &SymbolRef, const XCOFFSection &CSectionRef,
- int16_t SectionIndex, uint64_t SymbolOffset) {
- assert(SymbolOffset <= MaxRawDataSize - CSectionRef.Address &&
- "Symbol address overflowed.");
- auto Entry = ExceptionSection.ExceptionTable.find(SymbolRef.MCSym->getName());
- if (Entry != ExceptionSection.ExceptionTable.end()) {
- writeSymbolEntry(SymbolRef.getSymbolTableName(),
- CSectionRef.Address + SymbolOffset, SectionIndex,
- // In the old version of the 32-bit XCOFF interpretation,
- // symbols may require bit 10 (0x0020) to be set if the
- // symbol is a function, otherwise the bit should be 0.
- is64Bit() ? SymbolRef.getVisibilityType()
- : SymbolRef.getVisibilityType() | 0x0020,
- SymbolRef.getStorageClass(),
- (is64Bit() && ExceptionSection.isDebugEnabled) ? 3 : 2);
- if (is64Bit() && ExceptionSection.isDebugEnabled) {
- // On 64 bit with debugging enabled, we have a csect, exception, and
- // function auxilliary entries, so we must increment symbol index by 4.
- writeSymbolAuxExceptionEntry(
- ExceptionSection.FileOffsetToData +
- getExceptionOffset(Entry->second.FunctionSymbol),
- Entry->second.FunctionSize,
- SymbolIndexMap[Entry->second.FunctionSymbol] + 4);
- }
- // For exception section entries, csect and function auxilliary entries
- // must exist. On 64-bit there is also an exception auxilliary entry.
- writeSymbolAuxFunctionEntry(
- ExceptionSection.FileOffsetToData +
- getExceptionOffset(Entry->second.FunctionSymbol),
- Entry->second.FunctionSize, 0,
- (is64Bit() && ExceptionSection.isDebugEnabled)
- ? SymbolIndexMap[Entry->second.FunctionSymbol] + 4
- : SymbolIndexMap[Entry->second.FunctionSymbol] + 3);
- } else {
- writeSymbolEntry(SymbolRef.getSymbolTableName(),
- CSectionRef.Address + SymbolOffset, SectionIndex,
- SymbolRef.getVisibilityType(),
- SymbolRef.getStorageClass());
- }
- writeSymbolAuxCsectEntry(CSectionRef.SymbolTableIndex, XCOFF::XTY_LD,
- CSectionRef.MCSec->getMappingClass());
- }
- void XCOFFObjectWriter::writeSymbolEntryForDwarfSection(
- const XCOFFSection &DwarfSectionRef, int16_t SectionIndex) {
- assert(DwarfSectionRef.MCSec->isDwarfSect() && "Not a DWARF section!");
- writeSymbolEntry(DwarfSectionRef.getSymbolTableName(), /*Value=*/0,
- SectionIndex, /*SymbolType=*/0, XCOFF::C_DWARF);
- writeSymbolAuxDwarfEntry(DwarfSectionRef.Size);
- }
- void XCOFFObjectWriter::writeSymbolEntryForControlSection(
- const XCOFFSection &CSectionRef, int16_t SectionIndex,
- XCOFF::StorageClass StorageClass) {
- writeSymbolEntry(CSectionRef.getSymbolTableName(), CSectionRef.Address,
- SectionIndex, CSectionRef.getVisibilityType(), StorageClass);
- writeSymbolAuxCsectEntry(CSectionRef.Size, getEncodedType(CSectionRef.MCSec),
- CSectionRef.MCSec->getMappingClass());
- }
- void XCOFFObjectWriter::writeSymbolAuxFunctionEntry(uint32_t EntryOffset,
- uint32_t FunctionSize,
- uint64_t LineNumberPointer,
- uint32_t EndIndex) {
- if (is64Bit())
- writeWord(LineNumberPointer);
- else
- W.write<uint32_t>(EntryOffset);
- W.write<uint32_t>(FunctionSize);
- if (!is64Bit())
- writeWord(LineNumberPointer);
- W.write<uint32_t>(EndIndex);
- if (is64Bit()) {
- W.OS.write_zeros(1);
- W.write<uint8_t>(XCOFF::AUX_FCN);
- } else {
- W.OS.write_zeros(2);
- }
- }
- void XCOFFObjectWriter::writeSymbolAuxExceptionEntry(uint64_t EntryOffset,
- uint32_t FunctionSize,
- uint32_t EndIndex) {
- assert(is64Bit() && "Exception auxilliary entries are 64-bit only.");
- W.write<uint64_t>(EntryOffset);
- W.write<uint32_t>(FunctionSize);
- W.write<uint32_t>(EndIndex);
- W.OS.write_zeros(1); // Pad (unused)
- W.write<uint8_t>(XCOFF::AUX_EXCEPT);
- }
- void XCOFFObjectWriter::writeFileHeader() {
- W.write<uint16_t>(is64Bit() ? XCOFF::XCOFF64 : XCOFF::XCOFF32);
- W.write<uint16_t>(SectionCount);
- W.write<int32_t>(0); // TimeStamp
- writeWord(SymbolTableOffset);
- if (is64Bit()) {
- W.write<uint16_t>(auxiliaryHeaderSize());
- W.write<uint16_t>(0); // Flags
- W.write<int32_t>(SymbolTableEntryCount);
- } else {
- W.write<int32_t>(SymbolTableEntryCount);
- W.write<uint16_t>(auxiliaryHeaderSize());
- W.write<uint16_t>(0); // Flags
- }
- }
- void XCOFFObjectWriter::writeAuxFileHeader() {
- if (!auxiliaryHeaderSize())
- return;
- W.write<uint16_t>(0); // Magic
- W.write<uint16_t>(
- XCOFF::NEW_XCOFF_INTERPRET); // Version. The new interpretation of the
- // n_type field in the symbol table entry is
- // used in XCOFF32.
- W.write<uint32_t>(Sections[0]->Size); // TextSize
- W.write<uint32_t>(Sections[1]->Size); // InitDataSize
- W.write<uint32_t>(Sections[2]->Size); // BssDataSize
- W.write<uint32_t>(0); // EntryPointAddr
- W.write<uint32_t>(Sections[0]->Address); // TextStartAddr
- W.write<uint32_t>(Sections[1]->Address); // DataStartAddr
- }
- void XCOFFObjectWriter::writeSectionHeader(const SectionEntry *Sec) {
- bool IsDwarf = (Sec->Flags & XCOFF::STYP_DWARF) != 0;
- bool IsOvrflo = (Sec->Flags & XCOFF::STYP_OVRFLO) != 0;
- // Nothing to write for this Section.
- if (Sec->Index == SectionEntry::UninitializedIndex)
- return;
- // Write Name.
- ArrayRef<char> NameRef(Sec->Name, XCOFF::NameSize);
- W.write(NameRef);
- // Write the Physical Address and Virtual Address.
- // We use 0 for DWARF sections' Physical and Virtual Addresses.
- writeWord(IsDwarf ? 0 : Sec->Address);
- // Since line number is not supported, we set it to 0 for overflow sections.
- writeWord((IsDwarf || IsOvrflo) ? 0 : Sec->Address);
- writeWord(Sec->Size);
- writeWord(Sec->FileOffsetToData);
- writeWord(Sec->FileOffsetToRelocations);
- writeWord(0); // FileOffsetToLineNumberInfo. Not supported yet.
- if (is64Bit()) {
- W.write<uint32_t>(Sec->RelocationCount);
- W.write<uint32_t>(0); // NumberOfLineNumbers. Not supported yet.
- W.write<int32_t>(Sec->Flags);
- W.OS.write_zeros(4);
- } else {
- // For the overflow section header, s_nreloc provides a reference to the
- // primary section header and s_nlnno must have the same value.
- // For common section headers, if either of s_nreloc or s_nlnno are set to
- // 65535, the other one must also be set to 65535.
- W.write<uint16_t>(Sec->RelocationCount);
- W.write<uint16_t>((IsOvrflo || Sec->RelocationCount == XCOFF::RelocOverflow)
- ? Sec->RelocationCount
- : 0); // NumberOfLineNumbers. Not supported yet.
- W.write<int32_t>(Sec->Flags);
- }
- }
- void XCOFFObjectWriter::writeSectionHeaderTable() {
- for (const auto *CsectSec : Sections)
- writeSectionHeader(CsectSec);
- for (const auto &DwarfSec : DwarfSections)
- writeSectionHeader(&DwarfSec);
- for (const auto &OverflowSec : OverflowSections)
- writeSectionHeader(&OverflowSec);
- if (hasExceptionSection())
- writeSectionHeader(&ExceptionSection);
- }
- void XCOFFObjectWriter::writeRelocation(XCOFFRelocation Reloc,
- const XCOFFSection &Section) {
- if (Section.MCSec->isCsect())
- writeWord(Section.Address + Reloc.FixupOffsetInCsect);
- else {
- // DWARF sections' address is set to 0.
- assert(Section.MCSec->isDwarfSect() && "unsupport section type!");
- writeWord(Reloc.FixupOffsetInCsect);
- }
- W.write<uint32_t>(Reloc.SymbolTableIndex);
- W.write<uint8_t>(Reloc.SignAndSize);
- W.write<uint8_t>(Reloc.Type);
- }
- void XCOFFObjectWriter::writeRelocations() {
- for (const auto *Section : Sections) {
- if (Section->Index == SectionEntry::UninitializedIndex)
- // Nothing to write for this Section.
- continue;
- for (const auto *Group : Section->Groups) {
- if (Group->empty())
- continue;
- for (const auto &Csect : *Group) {
- for (const auto Reloc : Csect.Relocations)
- writeRelocation(Reloc, Csect);
- }
- }
- }
- for (const auto &DwarfSection : DwarfSections)
- for (const auto &Reloc : DwarfSection.DwarfSect->Relocations)
- writeRelocation(Reloc, *DwarfSection.DwarfSect);
- }
- void XCOFFObjectWriter::writeSymbolTable(const MCAsmLayout &Layout) {
- // Write C_FILE symbols.
- // The n_name of a C_FILE symbol is the source file's name when no auxiliary
- // entries are present.
- for (const std::pair<std::string, size_t> &F : FileNames) {
- writeSymbolEntry(F.first, /*Value=*/0, XCOFF::ReservedSectionNum::N_DEBUG,
- /*SymbolType=*/0, XCOFF::C_FILE,
- /*NumberOfAuxEntries=*/0);
- }
- for (const auto &Csect : UndefinedCsects) {
- writeSymbolEntryForControlSection(Csect, XCOFF::ReservedSectionNum::N_UNDEF,
- Csect.MCSec->getStorageClass());
- }
- for (const auto *Section : Sections) {
- if (Section->Index == SectionEntry::UninitializedIndex)
- // Nothing to write for this Section.
- continue;
- for (const auto *Group : Section->Groups) {
- if (Group->empty())
- continue;
- const int16_t SectionIndex = Section->Index;
- for (const auto &Csect : *Group) {
- // Write out the control section first and then each symbol in it.
- writeSymbolEntryForControlSection(Csect, SectionIndex,
- Csect.MCSec->getStorageClass());
- for (const auto &Sym : Csect.Syms)
- writeSymbolEntryForCsectMemberLabel(
- Sym, Csect, SectionIndex, Layout.getSymbolOffset(*(Sym.MCSym)));
- }
- }
- }
- for (const auto &DwarfSection : DwarfSections)
- writeSymbolEntryForDwarfSection(*DwarfSection.DwarfSect,
- DwarfSection.Index);
- }
- void XCOFFObjectWriter::finalizeRelocationInfo(SectionEntry *Sec,
- uint64_t RelCount) {
- // Handles relocation field overflows in an XCOFF32 file. An XCOFF64 file
- // may not contain an overflow section header.
- if (!is64Bit() && (RelCount >= static_cast<uint32_t>(XCOFF::RelocOverflow))) {
- // Generate an overflow section header.
- SectionEntry SecEntry(".ovrflo", XCOFF::STYP_OVRFLO);
- // This field specifies the file section number of the section header that
- // overflowed.
- SecEntry.RelocationCount = Sec->Index;
- // This field specifies the number of relocation entries actually
- // required.
- SecEntry.Address = RelCount;
- SecEntry.Index = ++SectionCount;
- OverflowSections.push_back(std::move(SecEntry));
- // The field in the primary section header is always 65535
- // (XCOFF::RelocOverflow).
- Sec->RelocationCount = XCOFF::RelocOverflow;
- } else {
- Sec->RelocationCount = RelCount;
- }
- }
- void XCOFFObjectWriter::calcOffsetToRelocations(SectionEntry *Sec,
- uint64_t &RawPointer) {
- if (!Sec->RelocationCount)
- return;
- Sec->FileOffsetToRelocations = RawPointer;
- uint64_t RelocationSizeInSec = 0;
- if (!is64Bit() &&
- Sec->RelocationCount == static_cast<uint32_t>(XCOFF::RelocOverflow)) {
- // Find its corresponding overflow section.
- for (auto &OverflowSec : OverflowSections) {
- if (OverflowSec.RelocationCount == static_cast<uint32_t>(Sec->Index)) {
- RelocationSizeInSec =
- OverflowSec.Address * XCOFF::RelocationSerializationSize32;
- // This field must have the same values as in the corresponding
- // primary section header.
- OverflowSec.FileOffsetToRelocations = Sec->FileOffsetToRelocations;
- }
- }
- assert(RelocationSizeInSec && "Overflow section header doesn't exist.");
- } else {
- RelocationSizeInSec = Sec->RelocationCount *
- (is64Bit() ? XCOFF::RelocationSerializationSize64
- : XCOFF::RelocationSerializationSize32);
- }
- RawPointer += RelocationSizeInSec;
- if (RawPointer > MaxRawDataSize)
- report_fatal_error("Relocation data overflowed this object file.");
- }
- void XCOFFObjectWriter::finalizeSectionInfo() {
- for (auto *Section : Sections) {
- if (Section->Index == SectionEntry::UninitializedIndex)
- // Nothing to record for this Section.
- continue;
- uint64_t RelCount = 0;
- for (const auto *Group : Section->Groups) {
- if (Group->empty())
- continue;
- for (auto &Csect : *Group)
- RelCount += Csect.Relocations.size();
- }
- finalizeRelocationInfo(Section, RelCount);
- }
- for (auto &DwarfSection : DwarfSections)
- finalizeRelocationInfo(&DwarfSection,
- DwarfSection.DwarfSect->Relocations.size());
- // Calculate the RawPointer value for all headers.
- uint64_t RawPointer =
- (is64Bit() ? (XCOFF::FileHeaderSize64 +
- SectionCount * XCOFF::SectionHeaderSize64)
- : (XCOFF::FileHeaderSize32 +
- SectionCount * XCOFF::SectionHeaderSize32)) +
- auxiliaryHeaderSize();
- // Calculate the file offset to the section data.
- for (auto *Sec : Sections) {
- if (Sec->Index == SectionEntry::UninitializedIndex || Sec->IsVirtual)
- continue;
- Sec->FileOffsetToData = RawPointer;
- RawPointer += Sec->Size;
- if (RawPointer > MaxRawDataSize)
- report_fatal_error("Section raw data overflowed this object file.");
- }
- if (!DwarfSections.empty()) {
- RawPointer += PaddingsBeforeDwarf;
- for (auto &DwarfSection : DwarfSections) {
- DwarfSection.FileOffsetToData = RawPointer;
- RawPointer += DwarfSection.MemorySize;
- if (RawPointer > MaxRawDataSize)
- report_fatal_error("Section raw data overflowed this object file.");
- }
- }
- if (hasExceptionSection()) {
- ExceptionSection.FileOffsetToData = RawPointer;
- RawPointer += ExceptionSection.Size;
- assert(RawPointer <= MaxRawDataSize &&
- "Section raw data overflowed this object file.");
- }
- for (auto *Sec : Sections) {
- if (Sec->Index != SectionEntry::UninitializedIndex)
- calcOffsetToRelocations(Sec, RawPointer);
- }
- for (auto &DwarfSec : DwarfSections)
- calcOffsetToRelocations(&DwarfSec, RawPointer);
- // TODO Error check that the number of symbol table entries fits in 32-bits
- // signed ...
- if (SymbolTableEntryCount)
- SymbolTableOffset = RawPointer;
- }
- void XCOFFObjectWriter::addExceptionEntry(
- const MCSymbol *Symbol, const MCSymbol *Trap, unsigned LanguageCode,
- unsigned ReasonCode, unsigned FunctionSize, bool hasDebug) {
- // If a module had debug info, debugging is enabled and XCOFF emits the
- // exception auxilliary entry.
- if (hasDebug)
- ExceptionSection.isDebugEnabled = true;
- auto Entry = ExceptionSection.ExceptionTable.find(Symbol->getName());
- if (Entry != ExceptionSection.ExceptionTable.end()) {
- Entry->second.Entries.push_back(
- ExceptionTableEntry(Trap, LanguageCode, ReasonCode));
- return;
- }
- ExceptionInfo NewEntry;
- NewEntry.FunctionSymbol = Symbol;
- NewEntry.FunctionSize = FunctionSize;
- NewEntry.Entries.push_back(
- ExceptionTableEntry(Trap, LanguageCode, ReasonCode));
- ExceptionSection.ExceptionTable.insert(
- std::pair<const StringRef, ExceptionInfo>(Symbol->getName(), NewEntry));
- }
- unsigned XCOFFObjectWriter::getExceptionSectionSize() {
- unsigned EntryNum = 0;
- for (auto it = ExceptionSection.ExceptionTable.begin();
- it != ExceptionSection.ExceptionTable.end(); ++it)
- // The size() gets +1 to account for the initial entry containing the
- // symbol table index.
- EntryNum += it->second.Entries.size() + 1;
- return EntryNum * (is64Bit() ? XCOFF::ExceptionSectionEntrySize64
- : XCOFF::ExceptionSectionEntrySize32);
- }
- unsigned XCOFFObjectWriter::getExceptionOffset(const MCSymbol *Symbol) {
- unsigned EntryNum = 0;
- for (auto it = ExceptionSection.ExceptionTable.begin();
- it != ExceptionSection.ExceptionTable.end(); ++it) {
- if (Symbol == it->second.FunctionSymbol)
- break;
- EntryNum += it->second.Entries.size() + 1;
- }
- return EntryNum * (is64Bit() ? XCOFF::ExceptionSectionEntrySize64
- : XCOFF::ExceptionSectionEntrySize32);
- }
- void XCOFFObjectWriter::assignAddressesAndIndices(const MCAsmLayout &Layout) {
- // The symbol table starts with all the C_FILE symbols.
- uint32_t SymbolTableIndex = FileNames.size();
- // Calculate indices for undefined symbols.
- for (auto &Csect : UndefinedCsects) {
- Csect.Size = 0;
- Csect.Address = 0;
- Csect.SymbolTableIndex = SymbolTableIndex;
- SymbolIndexMap[Csect.MCSec->getQualNameSymbol()] = Csect.SymbolTableIndex;
- // 1 main and 1 auxiliary symbol table entry for each contained symbol.
- SymbolTableIndex += 2;
- }
- // The address corrresponds to the address of sections and symbols in the
- // object file. We place the shared address 0 immediately after the
- // section header table.
- uint64_t Address = 0;
- // Section indices are 1-based in XCOFF.
- int32_t SectionIndex = 1;
- bool HasTDataSection = false;
- for (auto *Section : Sections) {
- const bool IsEmpty =
- llvm::all_of(Section->Groups,
- [](const CsectGroup *Group) { return Group->empty(); });
- if (IsEmpty)
- continue;
- if (SectionIndex > MaxSectionIndex)
- report_fatal_error("Section index overflow!");
- Section->Index = SectionIndex++;
- SectionCount++;
- bool SectionAddressSet = false;
- // Reset the starting address to 0 for TData section.
- if (Section->Flags == XCOFF::STYP_TDATA) {
- Address = 0;
- HasTDataSection = true;
- }
- // Reset the starting address to 0 for TBSS section if the object file does
- // not contain TData Section.
- if ((Section->Flags == XCOFF::STYP_TBSS) && !HasTDataSection)
- Address = 0;
- for (auto *Group : Section->Groups) {
- if (Group->empty())
- continue;
- for (auto &Csect : *Group) {
- const MCSectionXCOFF *MCSec = Csect.MCSec;
- Csect.Address = alignTo(Address, MCSec->getAlign());
- Csect.Size = Layout.getSectionAddressSize(MCSec);
- Address = Csect.Address + Csect.Size;
- Csect.SymbolTableIndex = SymbolTableIndex;
- SymbolIndexMap[MCSec->getQualNameSymbol()] = Csect.SymbolTableIndex;
- // 1 main and 1 auxiliary symbol table entry for the csect.
- SymbolTableIndex += 2;
- for (auto &Sym : Csect.Syms) {
- bool hasExceptEntry = false;
- auto Entry =
- ExceptionSection.ExceptionTable.find(Sym.MCSym->getName());
- if (Entry != ExceptionSection.ExceptionTable.end()) {
- hasExceptEntry = true;
- for (auto &TrapEntry : Entry->second.Entries) {
- TrapEntry.TrapAddress = Layout.getSymbolOffset(*(Sym.MCSym)) +
- TrapEntry.Trap->getOffset();
- }
- }
- Sym.SymbolTableIndex = SymbolTableIndex;
- SymbolIndexMap[Sym.MCSym] = Sym.SymbolTableIndex;
- // 1 main and 1 auxiliary symbol table entry for each contained
- // symbol. For symbols with exception section entries, a function
- // auxilliary entry is needed, and on 64-bit XCOFF with debugging
- // enabled, an additional exception auxilliary entry is needed.
- SymbolTableIndex += 2;
- if (hasExceptionSection() && hasExceptEntry) {
- if (is64Bit() && ExceptionSection.isDebugEnabled)
- SymbolTableIndex += 2;
- else
- SymbolTableIndex += 1;
- }
- }
- }
- if (!SectionAddressSet) {
- Section->Address = Group->front().Address;
- SectionAddressSet = true;
- }
- }
- // Make sure the address of the next section aligned to
- // DefaultSectionAlign.
- Address = alignTo(Address, DefaultSectionAlign);
- Section->Size = Address - Section->Address;
- }
- // Start to generate DWARF sections. Sections other than DWARF section use
- // DefaultSectionAlign as the default alignment, while DWARF sections have
- // their own alignments. If these two alignments are not the same, we need
- // some paddings here and record the paddings bytes for FileOffsetToData
- // calculation.
- if (!DwarfSections.empty())
- PaddingsBeforeDwarf =
- alignTo(Address,
- (*DwarfSections.begin()).DwarfSect->MCSec->getAlign()) -
- Address;
- DwarfSectionEntry *LastDwarfSection = nullptr;
- for (auto &DwarfSection : DwarfSections) {
- assert((SectionIndex <= MaxSectionIndex) && "Section index overflow!");
- XCOFFSection &DwarfSect = *DwarfSection.DwarfSect;
- const MCSectionXCOFF *MCSec = DwarfSect.MCSec;
- // Section index.
- DwarfSection.Index = SectionIndex++;
- SectionCount++;
- // Symbol index.
- DwarfSect.SymbolTableIndex = SymbolTableIndex;
- SymbolIndexMap[MCSec->getQualNameSymbol()] = DwarfSect.SymbolTableIndex;
- // 1 main and 1 auxiliary symbol table entry for the csect.
- SymbolTableIndex += 2;
- // Section address. Make it align to section alignment.
- // We use address 0 for DWARF sections' Physical and Virtual Addresses.
- // This address is used to tell where is the section in the final object.
- // See writeSectionForDwarfSectionEntry().
- DwarfSection.Address = DwarfSect.Address =
- alignTo(Address, MCSec->getAlign());
- // Section size.
- // For DWARF section, we must use the real size which may be not aligned.
- DwarfSection.Size = DwarfSect.Size = Layout.getSectionAddressSize(MCSec);
- Address = DwarfSection.Address + DwarfSection.Size;
- if (LastDwarfSection)
- LastDwarfSection->MemorySize =
- DwarfSection.Address - LastDwarfSection->Address;
- LastDwarfSection = &DwarfSection;
- }
- if (LastDwarfSection) {
- // Make the final DWARF section address align to the default section
- // alignment for follow contents.
- Address = alignTo(LastDwarfSection->Address + LastDwarfSection->Size,
- DefaultSectionAlign);
- LastDwarfSection->MemorySize = Address - LastDwarfSection->Address;
- }
- if (hasExceptionSection()) {
- ExceptionSection.Index = SectionIndex++;
- SectionCount++;
- ExceptionSection.Address = 0;
- ExceptionSection.Size = getExceptionSectionSize();
- Address += ExceptionSection.Size;
- Address = alignTo(Address, DefaultSectionAlign);
- }
- SymbolTableEntryCount = SymbolTableIndex;
- }
- void XCOFFObjectWriter::writeSectionForControlSectionEntry(
- const MCAssembler &Asm, const MCAsmLayout &Layout,
- const CsectSectionEntry &CsectEntry, uint64_t &CurrentAddressLocation) {
- // Nothing to write for this Section.
- if (CsectEntry.Index == SectionEntry::UninitializedIndex)
- return;
- // There could be a gap (without corresponding zero padding) between
- // sections.
- // There could be a gap (without corresponding zero padding) between
- // sections.
- assert(((CurrentAddressLocation <= CsectEntry.Address) ||
- (CsectEntry.Flags == XCOFF::STYP_TDATA) ||
- (CsectEntry.Flags == XCOFF::STYP_TBSS)) &&
- "CurrentAddressLocation should be less than or equal to section "
- "address if the section is not TData or TBSS.");
- CurrentAddressLocation = CsectEntry.Address;
- // For virtual sections, nothing to write. But need to increase
- // CurrentAddressLocation for later sections like DWARF section has a correct
- // writing location.
- if (CsectEntry.IsVirtual) {
- CurrentAddressLocation += CsectEntry.Size;
- return;
- }
- for (const auto &Group : CsectEntry.Groups) {
- for (const auto &Csect : *Group) {
- if (uint32_t PaddingSize = Csect.Address - CurrentAddressLocation)
- W.OS.write_zeros(PaddingSize);
- if (Csect.Size)
- Asm.writeSectionData(W.OS, Csect.MCSec, Layout);
- CurrentAddressLocation = Csect.Address + Csect.Size;
- }
- }
- // The size of the tail padding in a section is the end virtual address of
- // the current section minus the the end virtual address of the last csect
- // in that section.
- if (uint64_t PaddingSize =
- CsectEntry.Address + CsectEntry.Size - CurrentAddressLocation) {
- W.OS.write_zeros(PaddingSize);
- CurrentAddressLocation += PaddingSize;
- }
- }
- void XCOFFObjectWriter::writeSectionForDwarfSectionEntry(
- const MCAssembler &Asm, const MCAsmLayout &Layout,
- const DwarfSectionEntry &DwarfEntry, uint64_t &CurrentAddressLocation) {
- // There could be a gap (without corresponding zero padding) between
- // sections. For example DWARF section alignment is bigger than
- // DefaultSectionAlign.
- assert(CurrentAddressLocation <= DwarfEntry.Address &&
- "CurrentAddressLocation should be less than or equal to section "
- "address.");
- if (uint64_t PaddingSize = DwarfEntry.Address - CurrentAddressLocation)
- W.OS.write_zeros(PaddingSize);
- if (DwarfEntry.Size)
- Asm.writeSectionData(W.OS, DwarfEntry.DwarfSect->MCSec, Layout);
- CurrentAddressLocation = DwarfEntry.Address + DwarfEntry.Size;
- // DWARF section size is not aligned to DefaultSectionAlign.
- // Make sure CurrentAddressLocation is aligned to DefaultSectionAlign.
- uint32_t Mod = CurrentAddressLocation % DefaultSectionAlign;
- uint32_t TailPaddingSize = Mod ? DefaultSectionAlign - Mod : 0;
- if (TailPaddingSize)
- W.OS.write_zeros(TailPaddingSize);
- CurrentAddressLocation += TailPaddingSize;
- }
- void XCOFFObjectWriter::writeSectionForExceptionSectionEntry(
- const MCAssembler &Asm, const MCAsmLayout &Layout,
- ExceptionSectionEntry &ExceptionEntry, uint64_t &CurrentAddressLocation) {
- for (auto it = ExceptionEntry.ExceptionTable.begin();
- it != ExceptionEntry.ExceptionTable.end(); it++) {
- // For every symbol that has exception entries, you must start the entries
- // with an initial symbol table index entry
- W.write<uint32_t>(SymbolIndexMap[it->second.FunctionSymbol]);
- if (is64Bit()) {
- // 4-byte padding on 64-bit.
- W.OS.write_zeros(4);
- }
- W.OS.write_zeros(2);
- for (auto &TrapEntry : it->second.Entries) {
- writeWord(TrapEntry.TrapAddress);
- W.write<uint8_t>(TrapEntry.Lang);
- W.write<uint8_t>(TrapEntry.Reason);
- }
- }
- CurrentAddressLocation += getExceptionSectionSize();
- }
- // Takes the log base 2 of the alignment and shifts the result into the 5 most
- // significant bits of a byte, then or's in the csect type into the least
- // significant 3 bits.
- uint8_t getEncodedType(const MCSectionXCOFF *Sec) {
- unsigned Log2Align = Log2(Sec->getAlign());
- // Result is a number in the range [0, 31] which fits in the 5 least
- // significant bits. Shift this value into the 5 most significant bits, and
- // bitwise-or in the csect type.
- uint8_t EncodedAlign = Log2Align << 3;
- return EncodedAlign | Sec->getCSectType();
- }
- } // end anonymous namespace
- std::unique_ptr<MCObjectWriter>
- llvm::createXCOFFObjectWriter(std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW,
- raw_pwrite_stream &OS) {
- return std::make_unique<XCOFFObjectWriter>(std::move(MOTW), OS);
- }
|