45#define DEBUG_TYPE "mc"
49 IndirectSymBase.clear();
50 IndirectSymbols.clear();
52 SectionAddress.
clear();
55 LocalSymbolData.clear();
56 ExternalSymbolData.clear();
57 UndefinedSymbolData.clear();
68 if (cast<MCSymbolMachO>(S).isWeakDefinition())
75bool MachObjectWriter::
76MachSymbolData::operator<(
const MachSymbolData &RHS)
const {
77 return Symbol->getName() <
RHS.Symbol->
getName();
91 Asm.getFragmentOffset(*Fragment);
100 return C->getValue();
108 if (
Target.getSymA() &&
Target.getSymA()->getSymbol().isUndefined())
111 if (
Target.getSymB() &&
Target.getSymB()->getSymbol().isUndefined())
124 Asm.getSymbolOffset(S);
130 unsigned Next = cast<MCSectionMachO>(Sec)->getLayoutOrder() + 1;
131 if (Next >= SectionOrder.
size())
134 const MCSection &NextSec = *SectionOrder[Next];
142 if (!Symbol.isTemporary())
145 if (Symbol.isUsedInReloc())
171 unsigned NumLoadCommands,
172 unsigned LoadCommandsSize,
173 bool SubsectionsViaSymbols) {
176 if (SubsectionsViaSymbols)
221 unsigned SegmentLoadCommandSize =
229 writeWithPadding(
Name, 16);
253 uint64_t FileOffset,
unsigned Flags,
255 unsigned NumRelocations) {
256 uint64_t SectionSize = Asm.getSectionAddressSize(Sec);
260 if (Section.isVirtualSection()) {
261 assert(Asm.getSectionFileSize(Sec) == 0 &&
"Invalid file size!");
271 writeWithPadding(Section.getName(), 16);
272 writeWithPadding(Section.getSegmentName(), 16);
351MachObjectWriter::MachSymbolData *
352MachObjectWriter::findSymbolData(
const MCSymbol &
Sym) {
353 for (
auto *SymbolData :
354 {&LocalSymbolData, &ExternalSymbolData, &UndefinedSymbolData})
355 for (MachSymbolData &Entry : *SymbolData)
356 if (Entry.Symbol == &
Sym)
366 const auto *
Ref = dyn_cast<MCSymbolRefExpr>(
Value);
369 S = &
Ref->getSymbol();
375 const MCSymbol *Symbol = MSD.Symbol;
378 uint8_t SectionIndex = MSD.SectionIndex;
381 bool IsAlias = Symbol != AliasedSymbol;
383 const MCSymbol &OrigSymbol = *Symbol;
384 MachSymbolData *AliaseeInfo;
386 AliaseeInfo = findSymbolData(*AliasedSymbol);
388 SectionIndex = AliaseeInfo->SectionIndex;
389 Symbol = AliasedSymbol;
396 if (IsAlias && Symbol->isUndefined())
398 else if (Symbol->isUndefined())
400 else if (Symbol->isAbsolute())
407 if (
Data.isPrivateExtern())
411 if (
Data.isExternal() || (!IsAlias && Symbol->isUndefined()))
415 if (IsAlias && Symbol->isUndefined())
416 Address = AliaseeInfo->StringIndex;
417 else if (Symbol->isDefined())
419 else if (Symbol->isCommon()) {
422 Address = Symbol->getCommonSize();
433 bool EncodeAsAltEntry =
434 IsAlias && cast<MCSymbolMachO>(OrigSymbol).isAltEntry();
435 W.
write<
uint16_t>(cast<MCSymbolMachO>(Symbol)->getEncodedFlags(EncodeAsAltEntry));
460 for (
const std::string &Option :
Options)
461 Size += Option.size() + 1;
466 const std::vector<std::string> &
Options)
476 for (
const std::string &Option :
Options) {
478 W.
OS << Option <<
'\0';
479 BytesWritten += Option.size() + 1;
502 Asm.getContext().reportError(
Fixup.getLoc(),
503 "unsupported relocation expression");
507 TargetObjectWriter->recordRelocation(
this, Asm, Fragment,
Fixup,
Target,
521 for (IndirectSymbolData &ISD : IndirectSymbols) {
522 const MCSectionMachO &Section = cast<MCSectionMachO>(*ISD.Section);
530 "' not in a symbol pointer or stub section");
535 for (
auto [IndirectIndex, ISD] :
enumerate(IndirectSymbols)) {
536 const auto &Section = cast<MCSectionMachO>(*ISD.Section);
543 IndirectSymBase.insert(std::make_pair(ISD.Section, IndirectIndex));
545 Asm.registerSymbol(*ISD.Symbol);
549 for (
auto [IndirectIndex, ISD] :
enumerate(IndirectSymbols)) {
550 const auto &Section = cast<MCSectionMachO>(*ISD.Section);
557 IndirectSymBase.insert(std::make_pair(ISD.Section, IndirectIndex));
562 if (Asm.registerSymbol(*ISD.Symbol))
563 cast<MCSymbolMachO>(ISD.Symbol)->setReferenceTypeUndefinedLazy(
true);
569 MCAssembler &Asm, std::vector<MachSymbolData> &LocalSymbolData,
570 std::vector<MachSymbolData> &ExternalSymbolData,
571 std::vector<MachSymbolData> &UndefinedSymbolData) {
576 SectionIndexMap[&Sec] =
Index++;
580 for (
const MCSymbol &Symbol : Asm.symbols()) {
584 StringTable.
add(Symbol.getName());
593 for (
const MCSymbol &Symbol : Asm.symbols()) {
598 if (!Symbol.isExternal() && !Symbol.isUndefined())
602 MSD.Symbol = &Symbol;
603 MSD.StringIndex = StringTable.
getOffset(Symbol.getName());
605 if (Symbol.isUndefined()) {
606 MSD.SectionIndex = 0;
607 UndefinedSymbolData.push_back(MSD);
608 }
else if (Symbol.isAbsolute()) {
609 MSD.SectionIndex = 0;
610 ExternalSymbolData.push_back(MSD);
612 MSD.SectionIndex = SectionIndexMap.
lookup(&Symbol.getSection());
613 assert(MSD.SectionIndex &&
"Invalid section index!");
614 ExternalSymbolData.push_back(MSD);
619 for (
const MCSymbol &Symbol : Asm.symbols()) {
624 if (Symbol.isExternal() || Symbol.isUndefined())
628 MSD.Symbol = &Symbol;
629 MSD.StringIndex = StringTable.
getOffset(Symbol.getName());
631 if (Symbol.isAbsolute()) {
632 MSD.SectionIndex = 0;
633 LocalSymbolData.push_back(MSD);
635 MSD.SectionIndex = SectionIndexMap.
lookup(&Symbol.getSection());
636 assert(MSD.SectionIndex &&
"Invalid section index!");
637 LocalSymbolData.push_back(MSD);
647 for (
auto *SymbolData :
648 {&LocalSymbolData, &ExternalSymbolData, &UndefinedSymbolData})
649 for (MachSymbolData &Entry : *SymbolData)
650 Entry.Symbol->setIndex(
Index++);
653 for (RelAndSymbol &Rel : Relocations[&Section]) {
658 unsigned Index = Rel.Sym->getIndex();
661 Rel.MRE.r_word1 = (Rel.MRE.r_word1 & (~0U << 24)) |
Index | (1 << 27);
663 Rel.MRE.r_word1 = (Rel.MRE.r_word1 & 0xff) |
Index << 8 | (1 << 4);
673 if (!Sec.isVirtualSection()) {
675 cast<MCSectionMachO>(Sec).setLayoutOrder(i++);
679 if (Sec.isVirtualSection()) {
681 cast<MCSectionMachO>(Sec).setLayoutOrder(i++);
686 for (
const MCSection *Sec : SectionOrder) {
687 StartAddress =
alignTo(StartAddress, Sec->getAlign());
688 SectionAddress[Sec] = StartAddress;
689 StartAddress += Asm.getSectionAddressSize(*Sec);
707 bool InSet,
bool IsPCRel)
const {
734 bool hasReliableSymbolDifference =
isX86_64();
735 if (!hasReliableSymbolDifference) {
738 Asm.getSubsectionsViaSymbols()))
764 Asm.getContext().getObjectFileInfo()->getAddrSigSection();
765 unsigned Log2Size =
is64Bit() ? 3 : 2;
767 if (!S->isRegistered())
783 UndefinedSymbolData);
785 if (!Asm.CGProfile.empty()) {
786 MCSection *CGProfileSection = Asm.getContext().getMachOSection(
788 auto &Frag = cast<MCDataFragment>(*CGProfileSection->
begin());
789 Frag.getContents().clear();
800 unsigned NumSections = Asm.end() - Asm.begin();
805 unsigned NumLoadCommands = 1;
811 if (VersionInfo.Major != 0) {
813 if (VersionInfo.EmitBuildVersion)
820 Asm.getDarwinTargetVariantVersionInfo();
823 if (TargetVariantVersionInfo.Major != 0) {
825 assert(TargetVariantVersionInfo.EmitBuildVersion &&
826 "target variant should use build version");
831 unsigned NumDataRegions = DataRegions.size();
832 if (NumDataRegions) {
838 uint64_t LOHRawSize = Asm.getLOHContainer().getEmitSize(Asm, *
this);
846 unsigned NumSymbols = LocalSymbolData.size() + ExternalSymbolData.size() +
847 UndefinedSymbolData.size();
849 NumLoadCommands += 2;
855 for (
const auto &Option : Asm.getLinkerOptions()) {
870 uint64_t FileSize = Asm.getSectionFileSize(Sec);
875 if (Sec.isVirtualSection())
878 SectionDataSize = std::max(SectionDataSize,
Address +
Size);
879 SectionDataFileSize = std::max(SectionDataFileSize,
Address + FileSize);
885 unsigned SectionDataPadding =
887 SectionDataFileSize += SectionDataPadding;
891 Asm.getSubsectionsViaSymbols());
895 SectionDataSize, Prot, Prot);
898 uint64_t RelocTableEnd = SectionDataStart + SectionDataFileSize;
900 const auto &Sec = cast<MCSectionMachO>(Section);
901 std::vector<RelAndSymbol> &Relocs = Relocations[&Sec];
902 unsigned NumRelocs = Relocs.size();
904 unsigned Flags = Sec.getTypeAndAttributes();
905 if (Sec.hasInstructions())
908 RelocTableEnd, NumRelocs);
913 auto EmitDeploymentTargetVersion =
916 assert(!V.empty() &&
"empty version");
917 unsigned Update = V.getSubminor().value_or(0);
918 unsigned Minor = V.getMinor().value_or(0);
919 assert(Update < 256 &&
"unencodable update target version");
920 assert(Minor < 256 &&
"unencodable minor target version");
921 assert(V.getMajor() < 65536 &&
"unencodable major target version");
922 return Update | (Minor << 8) | (V.getMajor() << 16);
925 VersionInfo.Major, VersionInfo.Minor, VersionInfo.Update));
926 uint32_t SDKVersion = !VersionInfo.SDKVersion.empty()
927 ? EncodeVersion(VersionInfo.SDKVersion)
929 if (VersionInfo.EmitBuildVersion) {
946 if (VersionInfo.Major != 0)
947 EmitDeploymentTargetVersion(VersionInfo);
948 if (TargetVariantVersionInfo.Major != 0)
949 EmitDeploymentTargetVersion(TargetVariantVersionInfo);
952 uint64_t DataInCodeTableEnd = RelocTableEnd + NumDataRegions * 8;
953 if (NumDataRegions) {
954 uint64_t DataRegionsOffset = RelocTableEnd;
955 uint64_t DataRegionsSize = NumDataRegions * 8;
961 uint64_t LOHTableEnd = DataInCodeTableEnd + LOHSize;
964 DataInCodeTableEnd, LOHSize);
968 unsigned FirstLocalSymbol = 0;
969 unsigned NumLocalSymbols = LocalSymbolData.size();
970 unsigned FirstExternalSymbol = FirstLocalSymbol + NumLocalSymbols;
971 unsigned NumExternalSymbols = ExternalSymbolData.size();
972 unsigned FirstUndefinedSymbol = FirstExternalSymbol + NumExternalSymbols;
973 unsigned NumUndefinedSymbols = UndefinedSymbolData.size();
974 unsigned NumIndirectSymbols = IndirectSymbols.size();
975 unsigned NumSymTabSymbols =
976 NumLocalSymbols + NumExternalSymbols + NumUndefinedSymbols;
977 uint64_t IndirectSymbolSize = NumIndirectSymbols * 4;
981 if (NumIndirectSymbols)
982 IndirectSymbolOffset = LOHTableEnd;
985 uint64_t SymbolTableOffset = LOHTableEnd + IndirectSymbolSize;
989 SymbolTableOffset + NumSymTabSymbols * (
is64Bit() ?
993 StringTableOffset, StringTable.
getSize());
996 FirstExternalSymbol, NumExternalSymbols,
997 FirstUndefinedSymbol, NumUndefinedSymbols,
998 IndirectSymbolOffset, NumIndirectSymbols);
1002 for (
const auto &Option : Asm.getLinkerOptions())
1007 Asm.writeSectionData(
W.
OS, &Sec);
1020 std::vector<RelAndSymbol> &Relocs = Relocations[&Sec];
1037 <<
" start: " << Start <<
"(" <<
Data.Start->getName()
1038 <<
")" <<
" end: " <<
End <<
"(" <<
Data.End->getName()
1039 <<
")" <<
" size: " <<
End - Start <<
"\n");
1050 Asm.getLOHContainer().emit(Asm, *
this);
1060 for (
auto &ISD : IndirectSymbols) {
1067 if (ISD.Symbol->isDefined() && !ISD.Symbol->isExternal()) {
1069 if (ISD.Symbol->isAbsolute())
1082 for (
auto *SymbolData :
1083 {&LocalSymbolData, &ExternalSymbolData, &UndefinedSymbolData})
1084 for (MachSymbolData &Entry : *SymbolData)
1091 return W.
OS.
tell() - StartOffset;
1094std::unique_ptr<MCObjectWriter>
1097 return std::make_unique<MachObjectWriter>(std::move(MOTW),
OS,
This file defines the DenseMap class.
static unsigned ComputeLinkerOptionsLoadCommandSize(const std::vector< std::string > &Options, bool is64Bit)
static bool isFixupTargetValid(const MCValue &Target)
static MachO::LoadCommandType getLCFromMCVM(MCVersionMinType Type)
static bool isSymbolLinkerVisible(const MCSymbol &Symbol)
PowerPC TLS Dynamic Call Fixup
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool is64Bit(const char *name)
ValueT lookup(const_arg_type_t< KeyT > Val) const
lookup - Return the entry for the specified key, or a default constructed value if no such entry exis...
static bool isSectionAtomizableBySymbols(const MCSection &Section)
True if the section is atomized using the symbols in it.
{ bool EmitBuildVersion VersionInfoType
MachO specific deployment target version info.
Base class for the full range of assembler expressions which are needed for parsing.
bool evaluateAsRelocatable(MCValue &Res, const MCAssembler *Asm, const MCFixup *Fixup) const
Try to evaluate the expression to a relocatable value, i.e.
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
const MCSymbol * getAtom() const
MCSection * getParent() const
std::vector< const MCSymbol * > & getAddrsigSyms()
virtual void reset()
lifetime management
This represents a section on a Mach-O system (used by Mac OS X).
Instances of this class represent a uniqued identifier for a section in the current translation unit.
bool isVirtualSection() const
Check whether this section is "virtual", that is has no actual object file contents.
const MCSymbol & getSymbol() const
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
const MCExpr * getVariableValue(bool SetUsed=true) const
getVariableValue - Get the value for variable symbols.
bool isInSection() const
isInSection - Check if this symbol is defined in some section (i.e., it is defined but not absolute).
StringRef getName() const
getName - Get the symbol name.
bool isVariable() const
isVariable - Check if this is a variable symbol.
bool isUndefined(bool SetUsed=true) const
isUndefined - Check if this symbol undefined (i.e., implicitly defined).
uint32_t getIndex() const
Get the (implementation defined) index.
MCSection & getSection() const
Get the section associated with a defined, non-absolute symbol.
bool isTemporary() const
isTemporary - Check if this is an assembler temporary symbol.
MCFragment * getFragment(bool SetUsed=true) const
This represents an "assembler immediate".
uint64_t getPaddingSize(const MCAssembler &Asm, const MCSection *SD) const
void computeSectionAddresses(const MCAssembler &Asm)
void writeSection(const MCAssembler &Asm, const MCSection &Sec, uint64_t VMAddr, uint64_t FileOffset, unsigned Flags, uint64_t RelocationsStart, unsigned NumRelocations)
bool doesSymbolRequireExternRelocation(const MCSymbol &S)
void computeSymbolTable(MCAssembler &Asm, std::vector< MachSymbolData > &LocalSymbolData, std::vector< MachSymbolData > &ExternalSymbolData, std::vector< MachSymbolData > &UndefinedSymbolData)
Compute the symbol table data.
uint64_t getFragmentAddress(const MCAssembler &Asm, const MCFragment *Fragment) const
void executePostLayoutBinding(MCAssembler &Asm) override
Perform any late binding of symbols (for example, to assign symbol indices for use when generating re...
uint64_t getSectionAddress(const MCSection *Sec) const
void addRelocation(const MCSymbol *RelSymbol, const MCSection *Sec, MachO::any_relocation_info &MRE)
void populateAddrSigSection(MCAssembler &Asm)
bool isFixupKindPCRel(const MCAssembler &Asm, unsigned Kind)
support::endian::Writer W
void writeLinkerOptionsLoadCommand(const std::vector< std::string > &Options)
void recordRelocation(MCAssembler &Asm, const MCFragment *Fragment, const MCFixup &Fixup, MCValue Target, uint64_t &FixedValue) override
Record a relocation entry.
void writeNlist(MachSymbolData &MSD, const MCAssembler &Asm)
bool isSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm, const MCSymbol &SymA, const MCFragment &FB, bool InSet, bool IsPCRel) const override
void writeDysymtabLoadCommand(uint32_t FirstLocalSymbol, uint32_t NumLocalSymbols, uint32_t FirstExternalSymbol, uint32_t NumExternalSymbols, uint32_t FirstUndefinedSymbol, uint32_t NumUndefinedSymbols, uint32_t IndirectSymbolOffset, uint32_t NumIndirectSymbols)
const MCSymbol & findAliasedSymbol(const MCSymbol &Sym) const
uint64_t getSymbolAddress(const MCSymbol &S, const MCAssembler &Asm) const
void writeSegmentLoadCommand(StringRef Name, unsigned NumSections, uint64_t VMAddr, uint64_t VMSize, uint64_t SectionDataStartOffset, uint64_t SectionDataSize, uint32_t MaxProt, uint32_t InitProt)
Write a segment load command.
const MCSymbol * getAtom(const MCSymbol &S) const
void writeLinkeditLoadCommand(uint32_t Type, uint32_t DataOffset, uint32_t DataSize)
void writeHeader(MachO::HeaderFileType Type, unsigned NumLoadCommands, unsigned LoadCommandsSize, bool SubsectionsViaSymbols)
void reset() override
lifetime management
void writeSymtabLoadCommand(uint32_t SymbolOffset, uint32_t NumSymbols, uint32_t StringTableOffset, uint32_t StringTableSize)
void bindIndirectSymbols(MCAssembler &Asm)
uint64_t writeObject(MCAssembler &Asm) override
Write the object file and returns the number of bytes written.
static SectionKind getMetadata()
void push_back(const T &Elt)
StringRef - Represent a constant reference to a string, i.e.
size_t getOffset(CachedHashStringRef S) const
Get the offest of a string in the string table.
void write(raw_ostream &OS) const
size_t add(CachedHashStringRef S)
Add a string to the builder.
void finalize()
Analyze the strings and build the final table.
Target - Wrapper for Target specific information.
const char * getName() const
getName - Get the target name.
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM Value Representation.
StringRef getName() const
Return a constant reference to the value's name.
Represents a version number in the form major[.minor[.subminor[.build]]].
raw_ostream & write_zeros(unsigned NumZeros)
write_zeros - Insert 'NumZeros' nulls.
uint64_t tell() const
tell - Return the current offset with the file.
An abstract base class for streams implementations that also support a pwrite operation.
A raw_ostream that writes to an SmallVector or SmallString.
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
@ S_ATTR_SOME_INSTRUCTIONS
S_ATTR_SOME_INSTRUCTIONS - Section contains some machine instructions.
@ MH_SUBSECTIONS_VIA_SYMBOLS
@ S_THREAD_LOCAL_VARIABLE_POINTERS
S_THREAD_LOCAL_VARIABLE_POINTERS - Section with pointers to thread local structures.
@ S_LAZY_SYMBOL_POINTERS
S_LAZY_SYMBOL_POINTERS - Section with lazy symbol pointers.
@ S_NON_LAZY_SYMBOL_POINTERS
S_NON_LAZY_SYMBOL_POINTERS - Section with non-lazy symbol pointers.
@ S_SYMBOL_STUBS
S_SYMBOL_STUBS - Section with symbol stubs, byte size of stub in the Reserved2 field.
void write(void *memory, value_type value, endianness endian)
Write a value to memory with a particular endianness.
This is an optimization pass for GlobalISel generic memory operations.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are are tuples (A,...
std::unique_ptr< MCObjectWriter > createMachObjectWriter(std::unique_ptr< MCMachObjectTargetWriter > MOTW, raw_pwrite_stream &OS, bool IsLittleEndian)
Construct a new Mach-O writer instance.
auto reverse(ContainerTy &&C)
void sort(IteratorTy Start, IteratorTy End)
@ MCVM_WatchOSVersionMin
.watchos_version_min
@ MCVM_OSXVersionMin
.macosx_version_min
@ MCVM_TvOSVersionMin
.tvos_version_min
@ MCVM_IOSVersionMin
.ios_version_min
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
MCFixupKind
Extensible enumeration to represent the type of a fixup.
uint64_t offsetToAlignment(uint64_t Value, Align Alignment)
Returns the offset to the next integer (mod 2**64) that is greater than or equal to Value and is a mu...
@ Ref
The access may reference the value stored in memory.
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
unsigned Log2(Align A)
Returns the log2 of the alignment.
This struct is a compact representation of a valid (non-zero power of two) alignment.
const MCSymbolRefExpr * From
const MCSymbolRefExpr * To
Target independent information on a fixup kind.
@ FKF_IsPCRel
Is this fixup kind PCrelative? This is used by the assembler backend to evaluate fixup values in a ta...
unsigned Flags
Flags describing additional information on this fixup kind.
void write(ArrayRef< value_type > Val)