LLVM  8.0.0svn
MachObjectWriter.cpp
Go to the documentation of this file.
1 //===- lib/MC/MachObjectWriter.cpp - Mach-O 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 #include "llvm/ADT/DenseMap.h"
11 #include "llvm/ADT/Twine.h"
14 #include "llvm/MC/MCAsmBackend.h"
15 #include "llvm/MC/MCAsmLayout.h"
16 #include "llvm/MC/MCAssembler.h"
17 #include "llvm/MC/MCDirectives.h"
18 #include "llvm/MC/MCExpr.h"
20 #include "llvm/MC/MCFragment.h"
22 #include "llvm/MC/MCObjectWriter.h"
23 #include "llvm/MC/MCSection.h"
24 #include "llvm/MC/MCSectionMachO.h"
25 #include "llvm/MC/MCSymbol.h"
26 #include "llvm/MC/MCSymbolMachO.h"
27 #include "llvm/MC/MCValue.h"
28 #include "llvm/Support/Casting.h"
29 #include "llvm/Support/Debug.h"
33 #include <algorithm>
34 #include <cassert>
35 #include <cstdint>
36 #include <string>
37 #include <utility>
38 #include <vector>
39 
40 using namespace llvm;
41 
42 #define DEBUG_TYPE "mc"
43 
45  Relocations.clear();
46  IndirectSymBase.clear();
47  StringTable.clear();
48  LocalSymbolData.clear();
49  ExternalSymbolData.clear();
50  UndefinedSymbolData.clear();
52 }
53 
55  // Undefined symbols are always extern.
56  if (S.isUndefined())
57  return true;
58 
59  // References to weak definitions require external relocation entries; the
60  // definition may not always be the one in the same object file.
61  if (cast<MCSymbolMachO>(S).isWeakDefinition())
62  return true;
63 
64  // Otherwise, we can use an internal relocation.
65  return false;
66 }
67 
69 MachSymbolData::operator<(const MachSymbolData &RHS) const {
70  return Symbol->getName() < RHS.Symbol->getName();
71 }
72 
74  const MCFixupKindInfo &FKI = Asm.getBackend().getFixupKindInfo(
75  (MCFixupKind) Kind);
76 
78 }
79 
81  const MCAsmLayout &Layout) const {
82  return getSectionAddress(Fragment->getParent()) +
83  Layout.getFragmentOffset(Fragment);
84 }
85 
87  const MCAsmLayout &Layout) const {
88  // If this is a variable, then recursively evaluate now.
89  if (S.isVariable()) {
90  if (const MCConstantExpr *C =
91  dyn_cast<const MCConstantExpr>(S.getVariableValue()))
92  return C->getValue();
93 
95  if (!S.getVariableValue()->evaluateAsRelocatable(Target, &Layout, nullptr))
96  report_fatal_error("unable to evaluate offset for variable '" +
97  S.getName() + "'");
98 
99  // Verify that any used symbols are defined.
100  if (Target.getSymA() && Target.getSymA()->getSymbol().isUndefined())
101  report_fatal_error("unable to evaluate offset to undefined symbol '" +
102  Target.getSymA()->getSymbol().getName() + "'");
103  if (Target.getSymB() && Target.getSymB()->getSymbol().isUndefined())
104  report_fatal_error("unable to evaluate offset to undefined symbol '" +
105  Target.getSymB()->getSymbol().getName() + "'");
106 
107  uint64_t Address = Target.getConstant();
108  if (Target.getSymA())
109  Address += getSymbolAddress(Target.getSymA()->getSymbol(), Layout);
110  if (Target.getSymB())
111  Address += getSymbolAddress(Target.getSymB()->getSymbol(), Layout);
112  return Address;
113  }
114 
115  return getSectionAddress(S.getFragment()->getParent()) +
116  Layout.getSymbolOffset(S);
117 }
118 
120  const MCAsmLayout &Layout) const {
121  uint64_t EndAddr = getSectionAddress(Sec) + Layout.getSectionAddressSize(Sec);
122  unsigned Next = Sec->getLayoutOrder() + 1;
123  if (Next >= Layout.getSectionOrder().size())
124  return 0;
125 
126  const MCSection &NextSec = *Layout.getSectionOrder()[Next];
127  if (NextSec.isVirtualSection())
128  return 0;
129  return OffsetToAlignment(EndAddr, NextSec.getAlignment());
130 }
131 
133  unsigned NumLoadCommands,
134  unsigned LoadCommandsSize,
135  bool SubsectionsViaSymbols) {
136  uint32_t Flags = 0;
137 
138  if (SubsectionsViaSymbols)
140 
141  // struct mach_header (28 bytes) or
142  // struct mach_header_64 (32 bytes)
143 
144  uint64_t Start = W.OS.tell();
145  (void) Start;
146 
148 
149  W.write<uint32_t>(TargetObjectWriter->getCPUType());
150  W.write<uint32_t>(TargetObjectWriter->getCPUSubtype());
151 
152  W.write<uint32_t>(Type);
153  W.write<uint32_t>(NumLoadCommands);
154  W.write<uint32_t>(LoadCommandsSize);
155  W.write<uint32_t>(Flags);
156  if (is64Bit())
157  W.write<uint32_t>(0); // reserved
158 
159  assert(W.OS.tell() - Start == (is64Bit() ? sizeof(MachO::mach_header_64)
160  : sizeof(MachO::mach_header)));
161 }
162 
163 void MachObjectWriter::writeWithPadding(StringRef Str, uint64_t Size) {
164  assert(Size >= Str.size());
165  W.OS << Str;
166  W.OS.write_zeros(Size - Str.size());
167 }
168 
169 /// writeSegmentLoadCommand - Write a segment load command.
170 ///
171 /// \param NumSections The number of sections in this segment.
172 /// \param SectionDataSize The total size of the sections.
174  StringRef Name, unsigned NumSections, uint64_t VMAddr, uint64_t VMSize,
175  uint64_t SectionDataStartOffset, uint64_t SectionDataSize, uint32_t MaxProt,
176  uint32_t InitProt) {
177  // struct segment_command (56 bytes) or
178  // struct segment_command_64 (72 bytes)
179 
180  uint64_t Start = W.OS.tell();
181  (void) Start;
182 
183  unsigned SegmentLoadCommandSize =
185  sizeof(MachO::segment_command);
186  W.write<uint32_t>(is64Bit() ? MachO::LC_SEGMENT_64 : MachO::LC_SEGMENT);
187  W.write<uint32_t>(SegmentLoadCommandSize +
188  NumSections * (is64Bit() ? sizeof(MachO::section_64) :
189  sizeof(MachO::section)));
190 
191  writeWithPadding(Name, 16);
192  if (is64Bit()) {
193  W.write<uint64_t>(VMAddr); // vmaddr
194  W.write<uint64_t>(VMSize); // vmsize
195  W.write<uint64_t>(SectionDataStartOffset); // file offset
196  W.write<uint64_t>(SectionDataSize); // file size
197  } else {
198  W.write<uint32_t>(VMAddr); // vmaddr
199  W.write<uint32_t>(VMSize); // vmsize
200  W.write<uint32_t>(SectionDataStartOffset); // file offset
201  W.write<uint32_t>(SectionDataSize); // file size
202  }
203  // maxprot
204  W.write<uint32_t>(MaxProt);
205  // initprot
206  W.write<uint32_t>(InitProt);
207  W.write<uint32_t>(NumSections);
208  W.write<uint32_t>(0); // flags
209 
210  assert(W.OS.tell() - Start == SegmentLoadCommandSize);
211 }
212 
214  const MCSection &Sec, uint64_t VMAddr,
215  uint64_t FileOffset, unsigned Flags,
216  uint64_t RelocationsStart,
217  unsigned NumRelocations) {
218  uint64_t SectionSize = Layout.getSectionAddressSize(&Sec);
219  const MCSectionMachO &Section = cast<MCSectionMachO>(Sec);
220 
221  // The offset is unused for virtual sections.
222  if (Section.isVirtualSection()) {
223  assert(Layout.getSectionFileSize(&Sec) == 0 && "Invalid file size!");
224  FileOffset = 0;
225  }
226 
227  // struct section (68 bytes) or
228  // struct section_64 (80 bytes)
229 
230  uint64_t Start = W.OS.tell();
231  (void) Start;
232 
233  writeWithPadding(Section.getSectionName(), 16);
234  writeWithPadding(Section.getSegmentName(), 16);
235  if (is64Bit()) {
236  W.write<uint64_t>(VMAddr); // address
237  W.write<uint64_t>(SectionSize); // size
238  } else {
239  W.write<uint32_t>(VMAddr); // address
240  W.write<uint32_t>(SectionSize); // size
241  }
242  W.write<uint32_t>(FileOffset);
243 
244  assert(isPowerOf2_32(Section.getAlignment()) && "Invalid alignment!");
245  W.write<uint32_t>(Log2_32(Section.getAlignment()));
246  W.write<uint32_t>(NumRelocations ? RelocationsStart : 0);
247  W.write<uint32_t>(NumRelocations);
248  W.write<uint32_t>(Flags);
249  W.write<uint32_t>(IndirectSymBase.lookup(&Sec)); // reserved1
250  W.write<uint32_t>(Section.getStubSize()); // reserved2
251  if (is64Bit())
252  W.write<uint32_t>(0); // reserved3
253 
254  assert(W.OS.tell() - Start ==
255  (is64Bit() ? sizeof(MachO::section_64) : sizeof(MachO::section)));
256 }
257 
259  uint32_t NumSymbols,
260  uint32_t StringTableOffset,
261  uint32_t StringTableSize) {
262  // struct symtab_command (24 bytes)
263 
264  uint64_t Start = W.OS.tell();
265  (void) Start;
266 
267  W.write<uint32_t>(MachO::LC_SYMTAB);
269  W.write<uint32_t>(SymbolOffset);
270  W.write<uint32_t>(NumSymbols);
271  W.write<uint32_t>(StringTableOffset);
272  W.write<uint32_t>(StringTableSize);
273 
274  assert(W.OS.tell() - Start == sizeof(MachO::symtab_command));
275 }
276 
278  uint32_t NumLocalSymbols,
279  uint32_t FirstExternalSymbol,
280  uint32_t NumExternalSymbols,
281  uint32_t FirstUndefinedSymbol,
282  uint32_t NumUndefinedSymbols,
283  uint32_t IndirectSymbolOffset,
284  uint32_t NumIndirectSymbols) {
285  // struct dysymtab_command (80 bytes)
286 
287  uint64_t Start = W.OS.tell();
288  (void) Start;
289 
290  W.write<uint32_t>(MachO::LC_DYSYMTAB);
292  W.write<uint32_t>(FirstLocalSymbol);
293  W.write<uint32_t>(NumLocalSymbols);
294  W.write<uint32_t>(FirstExternalSymbol);
295  W.write<uint32_t>(NumExternalSymbols);
296  W.write<uint32_t>(FirstUndefinedSymbol);
297  W.write<uint32_t>(NumUndefinedSymbols);
298  W.write<uint32_t>(0); // tocoff
299  W.write<uint32_t>(0); // ntoc
300  W.write<uint32_t>(0); // modtaboff
301  W.write<uint32_t>(0); // nmodtab
302  W.write<uint32_t>(0); // extrefsymoff
303  W.write<uint32_t>(0); // nextrefsyms
304  W.write<uint32_t>(IndirectSymbolOffset);
305  W.write<uint32_t>(NumIndirectSymbols);
306  W.write<uint32_t>(0); // extreloff
307  W.write<uint32_t>(0); // nextrel
308  W.write<uint32_t>(0); // locreloff
309  W.write<uint32_t>(0); // nlocrel
310 
311  assert(W.OS.tell() - Start == sizeof(MachO::dysymtab_command));
312 }
313 
314 MachObjectWriter::MachSymbolData *
315 MachObjectWriter::findSymbolData(const MCSymbol &Sym) {
316  for (auto *SymbolData :
317  {&LocalSymbolData, &ExternalSymbolData, &UndefinedSymbolData})
318  for (MachSymbolData &Entry : *SymbolData)
319  if (Entry.Symbol == &Sym)
320  return &Entry;
321 
322  return nullptr;
323 }
324 
326  const MCSymbol *S = &Sym;
327  while (S->isVariable()) {
328  const MCExpr *Value = S->getVariableValue();
329  const auto *Ref = dyn_cast<MCSymbolRefExpr>(Value);
330  if (!Ref)
331  return *S;
332  S = &Ref->getSymbol();
333  }
334  return *S;
335 }
336 
337 void MachObjectWriter::writeNlist(MachSymbolData &MSD,
338  const MCAsmLayout &Layout) {
339  const MCSymbol *Symbol = MSD.Symbol;
340  const MCSymbol &Data = *Symbol;
341  const MCSymbol *AliasedSymbol = &findAliasedSymbol(*Symbol);
342  uint8_t SectionIndex = MSD.SectionIndex;
343  uint8_t Type = 0;
344  uint64_t Address = 0;
345  bool IsAlias = Symbol != AliasedSymbol;
346 
347  const MCSymbol &OrigSymbol = *Symbol;
348  MachSymbolData *AliaseeInfo;
349  if (IsAlias) {
350  AliaseeInfo = findSymbolData(*AliasedSymbol);
351  if (AliaseeInfo)
352  SectionIndex = AliaseeInfo->SectionIndex;
353  Symbol = AliasedSymbol;
354  // FIXME: Should this update Data as well?
355  }
356 
357  // Set the N_TYPE bits. See <mach-o/nlist.h>.
358  //
359  // FIXME: Are the prebound or indirect fields possible here?
360  if (IsAlias && Symbol->isUndefined())
361  Type = MachO::N_INDR;
362  else if (Symbol->isUndefined())
363  Type = MachO::N_UNDF;
364  else if (Symbol->isAbsolute())
365  Type = MachO::N_ABS;
366  else
367  Type = MachO::N_SECT;
368 
369  // FIXME: Set STAB bits.
370 
371  if (Data.isPrivateExtern())
372  Type |= MachO::N_PEXT;
373 
374  // Set external bit.
375  if (Data.isExternal() || (!IsAlias && Symbol->isUndefined()))
376  Type |= MachO::N_EXT;
377 
378  // Compute the symbol address.
379  if (IsAlias && Symbol->isUndefined())
380  Address = AliaseeInfo->StringIndex;
381  else if (Symbol->isDefined())
382  Address = getSymbolAddress(OrigSymbol, Layout);
383  else if (Symbol->isCommon()) {
384  // Common symbols are encoded with the size in the address
385  // field, and their alignment in the flags.
386  Address = Symbol->getCommonSize();
387  }
388 
389  // struct nlist (12 bytes)
390 
391  W.write<uint32_t>(MSD.StringIndex);
392  W.OS << char(Type);
393  W.OS << char(SectionIndex);
394 
395  // The Mach-O streamer uses the lowest 16-bits of the flags for the 'desc'
396  // value.
397  bool EncodeAsAltEntry =
398  IsAlias && cast<MCSymbolMachO>(OrigSymbol).isAltEntry();
399  W.write<uint16_t>(cast<MCSymbolMachO>(Symbol)->getEncodedFlags(EncodeAsAltEntry));
400  if (is64Bit())
401  W.write<uint64_t>(Address);
402  else
404 }
405 
407  uint32_t DataOffset,
408  uint32_t DataSize) {
409  uint64_t Start = W.OS.tell();
410  (void) Start;
411 
412  W.write<uint32_t>(Type);
414  W.write<uint32_t>(DataOffset);
415  W.write<uint32_t>(DataSize);
416 
417  assert(W.OS.tell() - Start == sizeof(MachO::linkedit_data_command));
418 }
419 
421  const std::vector<std::string> &Options, bool is64Bit)
422 {
423  unsigned Size = sizeof(MachO::linker_option_command);
424  for (const std::string &Option : Options)
425  Size += Option.size() + 1;
426  return alignTo(Size, is64Bit ? 8 : 4);
427 }
428 
430  const std::vector<std::string> &Options)
431 {
432  unsigned Size = ComputeLinkerOptionsLoadCommandSize(Options, is64Bit());
433  uint64_t Start = W.OS.tell();
434  (void) Start;
435 
436  W.write<uint32_t>(MachO::LC_LINKER_OPTION);
437  W.write<uint32_t>(Size);
438  W.write<uint32_t>(Options.size());
439  uint64_t BytesWritten = sizeof(MachO::linker_option_command);
440  for (const std::string &Option : Options) {
441  // Write each string, including the null byte.
442  W.OS << Option << '\0';
443  BytesWritten += Option.size() + 1;
444  }
445 
446  // Pad to a multiple of the pointer size.
447  W.OS.write_zeros(OffsetToAlignment(BytesWritten, is64Bit() ? 8 : 4));
448 
449  assert(W.OS.tell() - Start == Size);
450 }
451 
453  const MCAsmLayout &Layout,
454  const MCFragment *Fragment,
455  const MCFixup &Fixup, MCValue Target,
456  uint64_t &FixedValue) {
457  TargetObjectWriter->recordRelocation(this, Asm, Layout, Fragment, Fixup,
458  Target, FixedValue);
459 }
460 
462  // This is the point where 'as' creates actual symbols for indirect symbols
463  // (in the following two passes). It would be easier for us to do this sooner
464  // when we see the attribute, but that makes getting the order in the symbol
465  // table much more complicated than it is worth.
466  //
467  // FIXME: Revisit this when the dust settles.
468 
469  // Report errors for use of .indirect_symbol not in a symbol pointer section
470  // or stub section.
472  ie = Asm.indirect_symbol_end(); it != ie; ++it) {
473  const MCSectionMachO &Section = cast<MCSectionMachO>(*it->Section);
474 
475  if (Section.getType() != MachO::S_NON_LAZY_SYMBOL_POINTERS &&
476  Section.getType() != MachO::S_LAZY_SYMBOL_POINTERS &&
478  Section.getType() != MachO::S_SYMBOL_STUBS) {
479  MCSymbol &Symbol = *it->Symbol;
480  report_fatal_error("indirect symbol '" + Symbol.getName() +
481  "' not in a symbol pointer or stub section");
482  }
483  }
484 
485  // Bind non-lazy symbol pointers first.
486  unsigned IndirectIndex = 0;
488  ie = Asm.indirect_symbol_end(); it != ie; ++it, ++IndirectIndex) {
489  const MCSectionMachO &Section = cast<MCSectionMachO>(*it->Section);
490 
491  if (Section.getType() != MachO::S_NON_LAZY_SYMBOL_POINTERS &&
493  continue;
494 
495  // Initialize the section indirect symbol base, if necessary.
496  IndirectSymBase.insert(std::make_pair(it->Section, IndirectIndex));
497 
498  Asm.registerSymbol(*it->Symbol);
499  }
500 
501  // Then lazy symbol pointers and symbol stubs.
502  IndirectIndex = 0;
504  ie = Asm.indirect_symbol_end(); it != ie; ++it, ++IndirectIndex) {
505  const MCSectionMachO &Section = cast<MCSectionMachO>(*it->Section);
506 
507  if (Section.getType() != MachO::S_LAZY_SYMBOL_POINTERS &&
508  Section.getType() != MachO::S_SYMBOL_STUBS)
509  continue;
510 
511  // Initialize the section indirect symbol base, if necessary.
512  IndirectSymBase.insert(std::make_pair(it->Section, IndirectIndex));
513 
514  // Set the symbol type to undefined lazy, but only on construction.
515  //
516  // FIXME: Do not hardcode.
517  bool Created;
518  Asm.registerSymbol(*it->Symbol, &Created);
519  if (Created)
520  cast<MCSymbolMachO>(it->Symbol)->setReferenceTypeUndefinedLazy(true);
521  }
522 }
523 
524 /// computeSymbolTable - Compute the symbol table data
526  MCAssembler &Asm, std::vector<MachSymbolData> &LocalSymbolData,
527  std::vector<MachSymbolData> &ExternalSymbolData,
528  std::vector<MachSymbolData> &UndefinedSymbolData) {
529  // Build section lookup table.
530  DenseMap<const MCSection*, uint8_t> SectionIndexMap;
531  unsigned Index = 1;
532  for (MCAssembler::iterator it = Asm.begin(),
533  ie = Asm.end(); it != ie; ++it, ++Index)
534  SectionIndexMap[&*it] = Index;
535  assert(Index <= 256 && "Too many sections!");
536 
537  // Build the string table.
538  for (const MCSymbol &Symbol : Asm.symbols()) {
539  if (!Asm.isSymbolLinkerVisible(Symbol))
540  continue;
541 
542  StringTable.add(Symbol.getName());
543  }
544  StringTable.finalize();
545 
546  // Build the symbol arrays but only for non-local symbols.
547  //
548  // The particular order that we collect and then sort the symbols is chosen to
549  // match 'as'. Even though it doesn't matter for correctness, this is
550  // important for letting us diff .o files.
551  for (const MCSymbol &Symbol : Asm.symbols()) {
552  // Ignore non-linker visible symbols.
553  if (!Asm.isSymbolLinkerVisible(Symbol))
554  continue;
555 
556  if (!Symbol.isExternal() && !Symbol.isUndefined())
557  continue;
558 
559  MachSymbolData MSD;
560  MSD.Symbol = &Symbol;
561  MSD.StringIndex = StringTable.getOffset(Symbol.getName());
562 
563  if (Symbol.isUndefined()) {
564  MSD.SectionIndex = 0;
565  UndefinedSymbolData.push_back(MSD);
566  } else if (Symbol.isAbsolute()) {
567  MSD.SectionIndex = 0;
568  ExternalSymbolData.push_back(MSD);
569  } else {
570  MSD.SectionIndex = SectionIndexMap.lookup(&Symbol.getSection());
571  assert(MSD.SectionIndex && "Invalid section index!");
572  ExternalSymbolData.push_back(MSD);
573  }
574  }
575 
576  // Now add the data for local symbols.
577  for (const MCSymbol &Symbol : Asm.symbols()) {
578  // Ignore non-linker visible symbols.
579  if (!Asm.isSymbolLinkerVisible(Symbol))
580  continue;
581 
582  if (Symbol.isExternal() || Symbol.isUndefined())
583  continue;
584 
585  MachSymbolData MSD;
586  MSD.Symbol = &Symbol;
587  MSD.StringIndex = StringTable.getOffset(Symbol.getName());
588 
589  if (Symbol.isAbsolute()) {
590  MSD.SectionIndex = 0;
591  LocalSymbolData.push_back(MSD);
592  } else {
593  MSD.SectionIndex = SectionIndexMap.lookup(&Symbol.getSection());
594  assert(MSD.SectionIndex && "Invalid section index!");
595  LocalSymbolData.push_back(MSD);
596  }
597  }
598 
599  // External and undefined symbols are required to be in lexicographic order.
600  llvm::sort(ExternalSymbolData);
601  llvm::sort(UndefinedSymbolData);
602 
603  // Set the symbol indices.
604  Index = 0;
605  for (auto *SymbolData :
606  {&LocalSymbolData, &ExternalSymbolData, &UndefinedSymbolData})
607  for (MachSymbolData &Entry : *SymbolData)
608  Entry.Symbol->setIndex(Index++);
609 
610  for (const MCSection &Section : Asm) {
611  for (RelAndSymbol &Rel : Relocations[&Section]) {
612  if (!Rel.Sym)
613  continue;
614 
615  // Set the Index and the IsExtern bit.
616  unsigned Index = Rel.Sym->getIndex();
617  assert(isInt<24>(Index));
618  if (W.Endian == support::little)
619  Rel.MRE.r_word1 = (Rel.MRE.r_word1 & (~0U << 24)) | Index | (1 << 27);
620  else
621  Rel.MRE.r_word1 = (Rel.MRE.r_word1 & 0xff) | Index << 8 | (1 << 4);
622  }
623  }
624 }
625 
627  const MCAsmLayout &Layout) {
628  uint64_t StartAddress = 0;
629  for (const MCSection *Sec : Layout.getSectionOrder()) {
630  StartAddress = alignTo(StartAddress, Sec->getAlignment());
631  SectionAddress[Sec] = StartAddress;
632  StartAddress += Layout.getSectionAddressSize(Sec);
633 
634  // Explicitly pad the section to match the alignment requirements of the
635  // following one. This is for 'gas' compatibility, it shouldn't
636  /// strictly be necessary.
637  StartAddress += getPaddingSize(Sec, Layout);
638  }
639 }
640 
642  const MCAsmLayout &Layout) {
643  computeSectionAddresses(Asm, Layout);
644 
645  // Create symbol data for any indirect symbols.
646  bindIndirectSymbols(Asm);
647 }
648 
650  const MCAssembler &Asm, const MCSymbol &A, const MCSymbol &B,
651  bool InSet) const {
652  // FIXME: We don't handle things like
653  // foo = .
654  // creating atoms.
655  if (A.isVariable() || B.isVariable())
656  return false;
658  InSet);
659 }
660 
662  const MCAssembler &Asm, const MCSymbol &SymA, const MCFragment &FB,
663  bool InSet, bool IsPCRel) const {
664  if (InSet)
665  return true;
666 
667  // The effective address is
668  // addr(atom(A)) + offset(A)
669  // - addr(atom(B)) - offset(B)
670  // and the offsets are not relocatable, so the fixup is fully resolved when
671  // addr(atom(A)) - addr(atom(B)) == 0.
672  const MCSymbol &SA = findAliasedSymbol(SymA);
673  const MCSection &SecA = SA.getSection();
674  const MCSection &SecB = *FB.getParent();
675 
676  if (IsPCRel) {
677  // The simple (Darwin, except on x86_64) way of dealing with this was to
678  // assume that any reference to a temporary symbol *must* be a temporary
679  // symbol in the same atom, unless the sections differ. Therefore, any PCrel
680  // relocation to a temporary symbol (in the same section) is fully
681  // resolved. This also works in conjunction with absolutized .set, which
682  // requires the compiler to use .set to absolutize the differences between
683  // symbols which the compiler knows to be assembly time constants, so we
684  // don't need to worry about considering symbol differences fully resolved.
685  //
686  // If the file isn't using sub-sections-via-symbols, we can make the
687  // same assumptions about any symbol that we normally make about
688  // assembler locals.
689 
690  bool hasReliableSymbolDifference = isX86_64();
691  if (!hasReliableSymbolDifference) {
692  if (!SA.isInSection() || &SecA != &SecB ||
693  (!SA.isTemporary() && FB.getAtom() != SA.getFragment()->getAtom() &&
695  return false;
696  return true;
697  }
698  // For Darwin x86_64, there is one special case when the reference IsPCRel.
699  // If the fragment with the reference does not have a base symbol but meets
700  // the simple way of dealing with this, in that it is a temporary symbol in
701  // the same atom then it is assumed to be fully resolved. This is needed so
702  // a relocation entry is not created and so the static linker does not
703  // mess up the reference later.
704  else if(!FB.getAtom() &&
705  SA.isTemporary() && SA.isInSection() && &SecA == &SecB){
706  return true;
707  }
708  }
709 
710  // If they are not in the same section, we can't compute the diff.
711  if (&SecA != &SecB)
712  return false;
713 
714  const MCFragment *FA = SA.getFragment();
715 
716  // Bail if the symbol has no fragment.
717  if (!FA)
718  return false;
719 
720  // If the atoms are the same, they are guaranteed to have the same address.
721  if (FA->getAtom() == FB.getAtom())
722  return true;
723 
724  // Otherwise, we can't prove this is fully resolved.
725  return false;
726 }
727 
729  switch (Type) {
730  case MCVM_OSXVersionMin: return MachO::LC_VERSION_MIN_MACOSX;
731  case MCVM_IOSVersionMin: return MachO::LC_VERSION_MIN_IPHONEOS;
732  case MCVM_TvOSVersionMin: return MachO::LC_VERSION_MIN_TVOS;
733  case MCVM_WatchOSVersionMin: return MachO::LC_VERSION_MIN_WATCHOS;
734  }
735  llvm_unreachable("Invalid mc version min type");
736 }
737 
739  const MCAsmLayout &Layout) {
740  uint64_t StartOffset = W.OS.tell();
741 
742  // Compute symbol table information and bind symbol indices.
743  computeSymbolTable(Asm, LocalSymbolData, ExternalSymbolData,
744  UndefinedSymbolData);
745 
746  unsigned NumSections = Asm.size();
747  const MCAssembler::VersionInfoType &VersionInfo =
748  Layout.getAssembler().getVersionInfo();
749 
750  // The section data starts after the header, the segment load command (and
751  // section headers) and the symbol table.
752  unsigned NumLoadCommands = 1;
753  uint64_t LoadCommandsSize = is64Bit() ?
754  sizeof(MachO::segment_command_64) + NumSections * sizeof(MachO::section_64):
755  sizeof(MachO::segment_command) + NumSections * sizeof(MachO::section);
756 
757  // Add the deployment target version info load command size, if used.
758  if (VersionInfo.Major != 0) {
759  ++NumLoadCommands;
760  if (VersionInfo.EmitBuildVersion)
761  LoadCommandsSize += sizeof(MachO::build_version_command);
762  else
763  LoadCommandsSize += sizeof(MachO::version_min_command);
764  }
765 
766  // Add the data-in-code load command size, if used.
767  unsigned NumDataRegions = Asm.getDataRegions().size();
768  if (NumDataRegions) {
769  ++NumLoadCommands;
770  LoadCommandsSize += sizeof(MachO::linkedit_data_command);
771  }
772 
773  // Add the loh load command size, if used.
774  uint64_t LOHRawSize = Asm.getLOHContainer().getEmitSize(*this, Layout);
775  uint64_t LOHSize = alignTo(LOHRawSize, is64Bit() ? 8 : 4);
776  if (LOHSize) {
777  ++NumLoadCommands;
778  LoadCommandsSize += sizeof(MachO::linkedit_data_command);
779  }
780 
781  // Add the symbol table load command sizes, if used.
782  unsigned NumSymbols = LocalSymbolData.size() + ExternalSymbolData.size() +
783  UndefinedSymbolData.size();
784  if (NumSymbols) {
785  NumLoadCommands += 2;
786  LoadCommandsSize += (sizeof(MachO::symtab_command) +
787  sizeof(MachO::dysymtab_command));
788  }
789 
790  // Add the linker option load commands sizes.
791  for (const auto &Option : Asm.getLinkerOptions()) {
792  ++NumLoadCommands;
793  LoadCommandsSize += ComputeLinkerOptionsLoadCommandSize(Option, is64Bit());
794  }
795 
796  // Compute the total size of the section data, as well as its file size and vm
797  // size.
798  uint64_t SectionDataStart = (is64Bit() ? sizeof(MachO::mach_header_64) :
799  sizeof(MachO::mach_header)) + LoadCommandsSize;
800  uint64_t SectionDataSize = 0;
801  uint64_t SectionDataFileSize = 0;
802  uint64_t VMSize = 0;
803  for (const MCSection &Sec : Asm) {
804  uint64_t Address = getSectionAddress(&Sec);
805  uint64_t Size = Layout.getSectionAddressSize(&Sec);
806  uint64_t FileSize = Layout.getSectionFileSize(&Sec);
807  FileSize += getPaddingSize(&Sec, Layout);
808 
809  VMSize = std::max(VMSize, Address + Size);
810 
811  if (Sec.isVirtualSection())
812  continue;
813 
814  SectionDataSize = std::max(SectionDataSize, Address + Size);
815  SectionDataFileSize = std::max(SectionDataFileSize, Address + FileSize);
816  }
817 
818  // The section data is padded to 4 bytes.
819  //
820  // FIXME: Is this machine dependent?
821  unsigned SectionDataPadding = OffsetToAlignment(SectionDataFileSize, 4);
822  SectionDataFileSize += SectionDataPadding;
823 
824  // Write the prolog, starting with the header and load command...
825  writeHeader(MachO::MH_OBJECT, NumLoadCommands, LoadCommandsSize,
826  Asm.getSubsectionsViaSymbols());
827  uint32_t Prot =
829  writeSegmentLoadCommand("", NumSections, 0, VMSize, SectionDataStart,
830  SectionDataSize, Prot, Prot);
831 
832  // ... and then the section headers.
833  uint64_t RelocTableEnd = SectionDataStart + SectionDataFileSize;
834  for (const MCSection &Section : Asm) {
835  const auto &Sec = cast<MCSectionMachO>(Section);
836  std::vector<RelAndSymbol> &Relocs = Relocations[&Sec];
837  unsigned NumRelocs = Relocs.size();
838  uint64_t SectionStart = SectionDataStart + getSectionAddress(&Sec);
839  unsigned Flags = Sec.getTypeAndAttributes();
840  if (Sec.hasInstructions())
842  writeSection(Layout, Sec, getSectionAddress(&Sec), SectionStart, Flags,
843  RelocTableEnd, NumRelocs);
844  RelocTableEnd += NumRelocs * sizeof(MachO::any_relocation_info);
845  }
846 
847  // Write out the deployment target information, if it's available.
848  if (VersionInfo.Major != 0) {
849  assert(VersionInfo.Update < 256 && "unencodable update target version");
850  assert(VersionInfo.Minor < 256 && "unencodable minor target version");
851  assert(VersionInfo.Major < 65536 && "unencodable major target version");
852  uint32_t EncodedVersion = VersionInfo.Update | (VersionInfo.Minor << 8) |
853  (VersionInfo.Major << 16);
854  if (VersionInfo.EmitBuildVersion) {
855  // FIXME: Currently empty tools. Add clang version in the future.
856  W.write<uint32_t>(MachO::LC_BUILD_VERSION);
858  W.write<uint32_t>(VersionInfo.TypeOrPlatform.Platform);
859  W.write<uint32_t>(EncodedVersion);
860  W.write<uint32_t>(0); // SDK version.
861  W.write<uint32_t>(0); // Empty tools list.
862  } else {
864  = getLCFromMCVM(VersionInfo.TypeOrPlatform.Type);
865  W.write<uint32_t>(LCType);
867  W.write<uint32_t>(EncodedVersion);
868  W.write<uint32_t>(0); // reserved.
869  }
870  }
871 
872  // Write the data-in-code load command, if used.
873  uint64_t DataInCodeTableEnd = RelocTableEnd + NumDataRegions * 8;
874  if (NumDataRegions) {
875  uint64_t DataRegionsOffset = RelocTableEnd;
876  uint64_t DataRegionsSize = NumDataRegions * 8;
877  writeLinkeditLoadCommand(MachO::LC_DATA_IN_CODE, DataRegionsOffset,
878  DataRegionsSize);
879  }
880 
881  // Write the loh load command, if used.
882  uint64_t LOHTableEnd = DataInCodeTableEnd + LOHSize;
883  if (LOHSize)
884  writeLinkeditLoadCommand(MachO::LC_LINKER_OPTIMIZATION_HINT,
885  DataInCodeTableEnd, LOHSize);
886 
887  // Write the symbol table load command, if used.
888  if (NumSymbols) {
889  unsigned FirstLocalSymbol = 0;
890  unsigned NumLocalSymbols = LocalSymbolData.size();
891  unsigned FirstExternalSymbol = FirstLocalSymbol + NumLocalSymbols;
892  unsigned NumExternalSymbols = ExternalSymbolData.size();
893  unsigned FirstUndefinedSymbol = FirstExternalSymbol + NumExternalSymbols;
894  unsigned NumUndefinedSymbols = UndefinedSymbolData.size();
895  unsigned NumIndirectSymbols = Asm.indirect_symbol_size();
896  unsigned NumSymTabSymbols =
897  NumLocalSymbols + NumExternalSymbols + NumUndefinedSymbols;
898  uint64_t IndirectSymbolSize = NumIndirectSymbols * 4;
899  uint64_t IndirectSymbolOffset = 0;
900 
901  // If used, the indirect symbols are written after the section data.
902  if (NumIndirectSymbols)
903  IndirectSymbolOffset = LOHTableEnd;
904 
905  // The symbol table is written after the indirect symbol data.
906  uint64_t SymbolTableOffset = LOHTableEnd + IndirectSymbolSize;
907 
908  // The string table is written after symbol table.
909  uint64_t StringTableOffset =
910  SymbolTableOffset + NumSymTabSymbols * (is64Bit() ?
911  sizeof(MachO::nlist_64) :
912  sizeof(MachO::nlist));
913  writeSymtabLoadCommand(SymbolTableOffset, NumSymTabSymbols,
914  StringTableOffset, StringTable.getSize());
915 
916  writeDysymtabLoadCommand(FirstLocalSymbol, NumLocalSymbols,
917  FirstExternalSymbol, NumExternalSymbols,
918  FirstUndefinedSymbol, NumUndefinedSymbols,
919  IndirectSymbolOffset, NumIndirectSymbols);
920  }
921 
922  // Write the linker options load commands.
923  for (const auto &Option : Asm.getLinkerOptions())
925 
926  // Write the actual section data.
927  for (const MCSection &Sec : Asm) {
928  Asm.writeSectionData(W.OS, &Sec, Layout);
929 
930  uint64_t Pad = getPaddingSize(&Sec, Layout);
931  W.OS.write_zeros(Pad);
932  }
933 
934  // Write the extra padding.
935  W.OS.write_zeros(SectionDataPadding);
936 
937  // Write the relocation entries.
938  for (const MCSection &Sec : Asm) {
939  // Write the section relocation entries, in reverse order to match 'as'
940  // (approximately, the exact algorithm is more complicated than this).
941  std::vector<RelAndSymbol> &Relocs = Relocations[&Sec];
942  for (const RelAndSymbol &Rel : make_range(Relocs.rbegin(), Relocs.rend())) {
943  W.write<uint32_t>(Rel.MRE.r_word0);
944  W.write<uint32_t>(Rel.MRE.r_word1);
945  }
946  }
947 
948  // Write out the data-in-code region payload, if there is one.
950  it = Asm.data_region_begin(), ie = Asm.data_region_end();
951  it != ie; ++it) {
952  const DataRegionData *Data = &(*it);
953  uint64_t Start = getSymbolAddress(*Data->Start, Layout);
954  uint64_t End;
955  if (Data->End)
956  End = getSymbolAddress(*Data->End, Layout);
957  else
958  report_fatal_error("Data region not terminated");
959 
960  LLVM_DEBUG(dbgs() << "data in code region-- kind: " << Data->Kind
961  << " start: " << Start << "(" << Data->Start->getName()
962  << ")"
963  << " end: " << End << "(" << Data->End->getName() << ")"
964  << " size: " << End - Start << "\n");
965  W.write<uint32_t>(Start);
966  W.write<uint16_t>(End - Start);
967  W.write<uint16_t>(Data->Kind);
968  }
969 
970  // Write out the loh commands, if there is one.
971  if (LOHSize) {
972 #ifndef NDEBUG
973  unsigned Start = W.OS.tell();
974 #endif
975  Asm.getLOHContainer().emit(*this, Layout);
976  // Pad to a multiple of the pointer size.
977  W.OS.write_zeros(OffsetToAlignment(LOHRawSize, is64Bit() ? 8 : 4));
978  assert(W.OS.tell() - Start == LOHSize);
979  }
980 
981  // Write the symbol table data, if used.
982  if (NumSymbols) {
983  // Write the indirect symbol entries.
985  it = Asm.indirect_symbol_begin(),
986  ie = Asm.indirect_symbol_end(); it != ie; ++it) {
987  // Indirect symbols in the non-lazy symbol pointer section have some
988  // special handling.
989  const MCSectionMachO &Section =
990  static_cast<const MCSectionMachO &>(*it->Section);
991  if (Section.getType() == MachO::S_NON_LAZY_SYMBOL_POINTERS) {
992  // If this symbol is defined and internal, mark it as such.
993  if (it->Symbol->isDefined() && !it->Symbol->isExternal()) {
995  if (it->Symbol->isAbsolute())
997  W.write<uint32_t>(Flags);
998  continue;
999  }
1000  }
1001 
1002  W.write<uint32_t>(it->Symbol->getIndex());
1003  }
1004 
1005  // FIXME: Check that offsets match computed ones.
1006 
1007  // Write the symbol table entries.
1008  for (auto *SymbolData :
1009  {&LocalSymbolData, &ExternalSymbolData, &UndefinedSymbolData})
1010  for (MachSymbolData &Entry : *SymbolData)
1011  writeNlist(Entry, Layout);
1012 
1013  // Write the string table.
1014  StringTable.write(W.OS);
1015  }
1016 
1017  return W.OS.tell() - StartOffset;
1018 }
1019 
1020 std::unique_ptr<MCObjectWriter>
1021 llvm::createMachObjectWriter(std::unique_ptr<MCMachObjectTargetWriter> MOTW,
1022  raw_pwrite_stream &OS, bool IsLittleEndian) {
1023  return llvm::make_unique<MachObjectWriter>(std::move(MOTW), OS,
1024  IsLittleEndian);
1025 }
uint64_t CallInst * C
Instances of this class represent a uniqued identifier for a section in the current translation unit...
Definition: MCSection.h:39
LoadCommandType
Definition: MachO.h:92
S_NON_LAZY_SYMBOL_POINTERS - Section with non-lazy symbol pointers.
Definition: MachO.h:132
const MCSymbol & findAliasedSymbol(const MCSymbol &Sym) const
Type
MessagePack types as defined in the standard, with the exception of Integer being divided into a sign...
Definition: MsgPackReader.h:49
S_SYMBOL_STUBS - Section with symbol stubs, byte size of stub in the Reserved2 field.
Definition: MachO.h:137
uint64_t getSymbolAddress(const MCSymbol &S, const MCAsmLayout &Layout) const
GCNRegPressure max(const GCNRegPressure &P1, const GCNRegPressure &P2)
This represents a section on a Mach-O system (used by Mac OS X).
void computeSectionAddresses(const MCAssembler &Asm, const MCAsmLayout &Layout)
bool doesSymbolRequireExternRelocation(const MCSymbol &S)
LLVM_ATTRIBUTE_NORETURN void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:139
Compute iterated dominance frontiers using a linear time algorithm.
Definition: AllocatorList.h:24
bool isVariable() const
isVariable - Check if this is a variable symbol.
Definition: MCSymbol.h:294
This represents an "assembler immediate".
Definition: MCValue.h:40
uint64_t getSectionAddressSize(const MCSection *Sec) const
Get the address space size of the given section, as it effects layout.
Definition: MCFragment.cpp:176
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:42
iterator begin()
Definition: MCAssembler.h:330
.watchos_version_min
Definition: MCDirectives.h:68
raw_ostream & write_zeros(unsigned NumZeros)
write_zeros - Insert &#39;NumZeros&#39; nulls.
This provides a very simple, boring adaptor for a begin and end iterator into a range type...
LLVM_NODISCARD LLVM_ATTRIBUTE_ALWAYS_INLINE size_t size() const
size - Get the string size.
Definition: StringRef.h:138
void executePostLayoutBinding(MCAssembler &Asm, const MCAsmLayout &Layout) override
Perform any late binding of symbols (for example, to assign symbol indices for use when generating re...
virtual const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const
Get information on a fixup kind.
.ios_version_min
Definition: MCDirectives.h:65
void registerSymbol(const MCSymbol &Symbol, bool *Created=nullptr)
uint64_t alignTo(uint64_t Value, uint64_t Align, uint64_t Skew=0)
Returns the next integer (mod 2**64) that is greater than or equal to Value and is a multiple of Alig...
Definition: MathExtras.h:685
.macosx_version_min
Definition: MCDirectives.h:66
bool isCommon() const
Is this a &#39;common&#39; symbol.
Definition: MCSymbol.h:380
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:74
unsigned getAlignment() const
Definition: MCSection.h:121
Is this fixup kind PCrelative? This is used by the assembler backend to evaluate fixup values in a ta...
support::endian::Writer W
enum llvm::DataRegionData::KindTy Kind
int64_t getConstant() const
Definition: MCValue.h:47
const MCSymbolRefExpr * getSymB() const
Definition: MCValue.h:49
amdgpu Simplify well known AMD library false Value Value const Twine & Name
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)
bool isSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm, const MCSymbol &A, const MCSymbol &B, bool InSet) const override
Encapsulates the layout of an assembly file at a particular point in time.
Definition: MCAsmLayout.h:29
HeaderFileType
Definition: MachO.h:37
bool isSymbolLinkerVisible(const MCSymbol &SD) const
Check whether a particular symbol is visible to the linker and is required in the symbol table...
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:36
bool isInSection() const
isInSection - Check if this symbol is defined in some section (i.e., it is defined but not absolute)...
Definition: MCSymbol.h:252
The access may reference the value stored in memory.
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:166
StringRef getSectionName() const
uint64_t getPaddingSize(const MCSection *SD, const MCAsmLayout &Layout) 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.
bool isFixupKindPCRel(const MCAssembler &Asm, unsigned Kind)
void write(raw_ostream &OS) const
bool evaluateAsRelocatable(MCValue &Res, const MCAsmLayout *Layout, const MCFixup *Fixup) const
Try to evaluate the expression to a relocatable value, i.e.
Definition: MCExpr.cpp:640
size_t add(CachedHashStringRef S)
Add a string to the builder.
uint64_t getEmitSize(const MachObjectWriter &ObjWriter, const MCAsmLayout &Layout) const
Get the size of the directives if emitted.
unsigned getStubSize() const
void writeSymtabLoadCommand(uint32_t SymbolOffset, uint32_t NumSymbols, uint32_t StringTableOffset, uint32_t StringTableSize)
MCAssembler & getAssembler() const
Get the assembler object this is a layout for.
Definition: MCAsmLayout.h:51
const VersionInfoType & getVersionInfo() const
MachO deployment target version information.
Definition: MCAssembler.h:256
iterator end()
Definition: MCAssembler.h:333
void writeLinkerOptionsLoadCommand(const std::vector< std::string > &Options)
StringRef getSegmentName() const
void recordRelocation(MCAssembler &Asm, const MCAsmLayout &Layout, const MCFragment *Fragment, const MCFixup &Fixup, MCValue Target, uint64_t &FixedValue) override
Record a relocation entry.
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
* if(!EatIfPresent(lltok::kw_thread_local)) return false
ParseOptionalThreadLocal := /*empty.
constexpr bool isPowerOf2_32(uint32_t Value)
Return true if the argument is a power of two > 0.
Definition: MathExtras.h:429
The instances of the Type class are immutable: once they are created, they are never changed...
Definition: Type.h:46
.tvos_version_min
Definition: MCDirectives.h:67
virtual void reset()
lifetime management
MCFixupKind
Extensible enumeration to represent the type of a fixup.
Definition: MCFixup.h:23
struct { bool EmitBuildVersion VersionInfoType
MachO specific deployment target version info.
Definition: MCAssembler.h:89
bool getSymbolOffset(const MCSymbol &S, uint64_t &Val) const
Get the offset of the given symbol, as computed in the current layout.
Definition: MCFragment.cpp:130
bool isTemporary() const
isTemporary - Check if this is an assembler temporary symbol.
Definition: MCSymbol.h:220
const MCSymbolRefExpr * getSymA() const
Definition: MCValue.h:48
uint64_t getCommonSize() const
Return the size of a &#39;common&#39; symbol.
Definition: MCSymbol.h:336
std::vector< DataRegionData >::const_iterator const_data_region_iterator
Definition: MCAssembler.h:82
const MCSymbol * getAtom() const
Definition: MCFragment.h:102
void writeHeader(MachO::HeaderFileType Type, unsigned NumLoadCommands, unsigned LoadCommandsSize, bool SubsectionsViaSymbols)
std::vector< IndirectSymbolData >::const_iterator const_indirect_symbol_iterator
Definition: MCAssembler.h:78
llvm::SmallVectorImpl< MCSection * > & getSectionOrder()
Definition: MCAsmLayout.h:66
S_ATTR_SOME_INSTRUCTIONS - Section contains some machine instructions.
Definition: MachO.h:203
void finalize()
Analyze the strings and build the final table.
bool isExternal() const
Definition: MCSymbol.h:393
MachO::SectionType getType() const
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
uint64_t getFragmentOffset(const MCFragment *F) const
Get the offset of the given fragment inside its containing section.
Definition: MCFragment.cpp:78
void sort(IteratorTy Start, IteratorTy End)
Definition: STLExtras.h:972
PowerPC TLS Dynamic Call Fixup
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
S_LAZY_SYMBOL_POINTERS - Section with lazy symbol pointers.
Definition: MachO.h:134
size_t getOffset(CachedHashStringRef S) const
Get the offest of a string in the string table.
std::vector< std::vector< std::string > > & getLinkerOptions()
Definition: MCAssembler.h:385
void writeLinkeditLoadCommand(uint32_t Type, uint32_t DataOffset, uint32_t DataSize)
void writeSection(const MCAsmLayout &Layout, const MCSection &Sec, uint64_t VMAddr, uint64_t FileOffset, unsigned Flags, uint64_t RelocationsStart, unsigned NumRelocations)
indirect_symbol_iterator indirect_symbol_begin()
Definition: MCAssembler.h:365
uint64_t getFragmentAddress(const MCFragment *Fragment, const MCAsmLayout &Layout) const
void write(ArrayRef< value_type > Val)
Definition: EndianStream.h:56
virtual bool isVirtualSection() const =0
Check whether this section is "virtual", that is has no actual object file contents.
MCAsmBackend & getBackend() const
Definition: MCAssembler.h:286
const MCSymbol & getSymbol() const
Definition: MCExpr.h:335
bool isUndefined(bool SetUsed=true) const
isUndefined - Check if this symbol undefined (i.e., implicitly defined).
Definition: MCSymbol.h:257
MCFragment * getFragment(bool SetUsed=true) const
Definition: MCSymbol.h:384
An iterator type that allows iterating over the pointees via some other iterator. ...
Definition: iterator.h:289
S_THREAD_LOCAL_VARIABLE_POINTERS - Section with pointers to thread local structures.
Definition: MachO.h:168
bool getSubsectionsViaSymbols() const
Definition: MCAssembler.h:304
MCLOHContainer & getLOHContainer()
Definition: MCAssembler.h:417
static unsigned ComputeLinkerOptionsLoadCommandSize(const std::vector< std::string > &Options, bool is64Bit)
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:133
unsigned Log2_32(uint32_t Value)
Return the floor log base 2 of the specified value, -1 if the value is zero.
Definition: MathExtras.h:539
bool isDefined() const
isDefined - Check if this symbol is defined (i.e., it has an address).
Definition: MCSymbol.h:248
Target - Wrapper for Target specific information.
MCSection * getParent() const
Definition: MCFragment.h:99
MCSection & getSection() const
Get the section associated with a defined, non-absolute symbol.
Definition: MCSymbol.h:267
bool isAbsolute() const
isAbsolute - Check if this is an absolute symbol.
Definition: MCSymbol.h:262
void computeSymbolTable(MCAssembler &Asm, std::vector< MachSymbolData > &LocalSymbolData, std::vector< MachSymbolData > &ExternalSymbolData, std::vector< MachSymbolData > &UndefinedSymbolData)
Compute the symbol table data.
virtual bool isSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm, const MCSymbol &A, const MCSymbol &B, bool InSet) const
std::unique_ptr< MCObjectWriter > createMachObjectWriter(std::unique_ptr< MCMachObjectTargetWriter > MOTW, raw_pwrite_stream &OS, bool IsLittleEndian)
Construct a new Mach-O writer instance.
uint64_t writeObject(MCAssembler &Asm, const MCAsmLayout &Layout) override
Write the object file and returns the number of bytes written.
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
LLVM_NODISCARD std::enable_if<!is_simple_type< Y >::value, typename cast_retty< X, const Y >::ret_type >::type dyn_cast(const Y &Val)
Definition: Casting.h:323
uint32_t Size
Definition: Profile.cpp:47
symbol_range symbols()
Definition: MCAssembler.h:347
unsigned getLayoutOrder() const
Definition: MCSection.h:127
Target independent information on a fixup kind.
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...
Definition: DenseMap.h:186
size_t size() const
Definition: MCAssembler.h:336
std::vector< IndirectSymbolData >::iterator indirect_symbol_iterator
Definition: MCAssembler.h:79
uint64_t getSectionAddress(const MCSection *Sec) const
StringRef getName() const
getName - Get the symbol name.
Definition: MCSymbol.h:203
An abstract base class for streams implementations that also support a pwrite operation.
Definition: raw_ostream.h:341
const unsigned Kind
void reset() override
lifetime management
uint64_t getSectionFileSize(const MCSection *Sec) const
Get the data size of the given section, as emitted to the object file.
Definition: MCFragment.cpp:182
bool isVirtualSection() const override
Check whether this section is "virtual", that is has no actual object file contents.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
const MCExpr * getVariableValue(bool SetUsed=true) const
getVariableValue - Get the value for variable symbols.
Definition: MCSymbol.h:299
bool operator<(int64_t V1, const APSInt &V2)
Definition: APSInt.h:326
static MachO::LoadCommandType getLCFromMCVM(MCVersionMinType Type)
MCVersionMinType
Definition: MCDirectives.h:64
LLVM Value Representation.
Definition: Value.h:73
indirect_symbol_iterator indirect_symbol_end()
Definition: MCAssembler.h:372
uint64_t OffsetToAlignment(uint64_t Value, uint64_t Align)
Returns the offset to the next integer (mod 2**64) that is greater than or equal to Value and is a mu...
Definition: MathExtras.h:727
uint64_t tell() const
tell - Return the current offset with the file.
Definition: raw_ostream.h:100
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:49
void bindIndirectSymbols(MCAssembler &Asm)
std::vector< DataRegionData > & getDataRegions()
Definition: MCAssembler.h:396
#define LLVM_DEBUG(X)
Definition: Debug.h:123
bool isPrivateExtern() const
Definition: MCSymbol.h:396
void writeNlist(MachSymbolData &MSD, const MCAsmLayout &Layout)
unsigned Flags
Flags describing additional information on this fixup kind.