• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===-- lib/MC/XCOFFObjectWriter.cpp - XCOFF file writer ------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file implements XCOFF object file writer information.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "llvm/BinaryFormat/XCOFF.h"
14 #include "llvm/MC/MCAsmLayout.h"
15 #include "llvm/MC/MCAssembler.h"
16 #include "llvm/MC/MCObjectWriter.h"
17 #include "llvm/MC/MCSectionXCOFF.h"
18 #include "llvm/MC/MCSymbolXCOFF.h"
19 #include "llvm/MC/MCValue.h"
20 #include "llvm/MC/MCXCOFFObjectWriter.h"
21 #include "llvm/MC/StringTableBuilder.h"
22 #include "llvm/Support/Error.h"
23 #include "llvm/Support/MathExtras.h"
24 
25 #include <deque>
26 
27 using namespace llvm;
28 
29 // An XCOFF object file has a limited set of predefined sections. The most
30 // important ones for us (right now) are:
31 // .text --> contains program code and read-only data.
32 // .data --> contains initialized data, function descriptors, and the TOC.
33 // .bss  --> contains uninitialized data.
34 // Each of these sections is composed of 'Control Sections'. A Control Section
35 // is more commonly referred to as a csect. A csect is an indivisible unit of
36 // code or data, and acts as a container for symbols. A csect is mapped
37 // into a section based on its storage-mapping class, with the exception of
38 // XMC_RW which gets mapped to either .data or .bss based on whether it's
39 // explicitly initialized or not.
40 //
41 // We don't represent the sections in the MC layer as there is nothing
42 // interesting about them at at that level: they carry information that is
43 // only relevant to the ObjectWriter, so we materialize them in this class.
44 namespace {
45 
46 constexpr unsigned DefaultSectionAlign = 4;
47 constexpr int16_t MaxSectionIndex = INT16_MAX;
48 
49 // Packs the csect's alignment and type into a byte.
50 uint8_t getEncodedType(const MCSectionXCOFF *);
51 
52 // Wrapper around an MCSymbolXCOFF.
53 struct Symbol {
54   const MCSymbolXCOFF *const MCSym;
55   uint32_t SymbolTableIndex;
56 
getStorageClass__anonab94e6820111::Symbol57   XCOFF::StorageClass getStorageClass() const {
58     return MCSym->getStorageClass();
59   }
getName__anonab94e6820111::Symbol60   StringRef getName() const { return MCSym->getName(); }
Symbol__anonab94e6820111::Symbol61   Symbol(const MCSymbolXCOFF *MCSym) : MCSym(MCSym), SymbolTableIndex(-1) {}
62 };
63 
64 // Wrapper for an MCSectionXCOFF.
65 struct ControlSection {
66   const MCSectionXCOFF *const MCCsect;
67   uint32_t SymbolTableIndex;
68   uint32_t Address;
69   uint32_t Size;
70 
71   SmallVector<Symbol, 1> Syms;
getName__anonab94e6820111::ControlSection72   StringRef getName() const { return MCCsect->getSectionName(); }
ControlSection__anonab94e6820111::ControlSection73   ControlSection(const MCSectionXCOFF *MCSec)
74       : MCCsect(MCSec), SymbolTableIndex(-1), Address(-1), Size(0) {}
75 };
76 
77 // Type to be used for a container representing a set of csects with
78 // (approximately) the same storage mapping class. For example all the csects
79 // with a storage mapping class of `xmc_pr` will get placed into the same
80 // container.
81 using CsectGroup = std::deque<ControlSection>;
82 
83 using CsectGroups = std::deque<CsectGroup *>;
84 
85 // Represents the data related to a section excluding the csects that make up
86 // the raw data of the section. The csects are stored separately as not all
87 // sections contain csects, and some sections contain csects which are better
88 // stored separately, e.g. the .data section containing read-write, descriptor,
89 // TOCBase and TOC-entry csects.
90 struct Section {
91   char Name[XCOFF::NameSize];
92   // The physical/virtual address of the section. For an object file
93   // these values are equivalent.
94   uint32_t Address;
95   uint32_t Size;
96   uint32_t FileOffsetToData;
97   uint32_t FileOffsetToRelocations;
98   uint32_t RelocationCount;
99   int32_t Flags;
100 
101   int16_t Index;
102 
103   // Virtual sections do not need storage allocated in the object file.
104   const bool IsVirtual;
105 
106   // XCOFF has special section numbers for symbols:
107   // -2 Specifies N_DEBUG, a special symbolic debugging symbol.
108   // -1 Specifies N_ABS, an absolute symbol. The symbol has a value but is not
109   // relocatable.
110   //  0 Specifies N_UNDEF, an undefined external symbol.
111   // Therefore, we choose -3 (N_DEBUG - 1) to represent a section index that
112   // hasn't been initialized.
113   static constexpr int16_t UninitializedIndex =
114       XCOFF::ReservedSectionNum::N_DEBUG - 1;
115 
116   CsectGroups Groups;
117 
reset__anonab94e6820111::Section118   void reset() {
119     Address = 0;
120     Size = 0;
121     FileOffsetToData = 0;
122     FileOffsetToRelocations = 0;
123     RelocationCount = 0;
124     Index = UninitializedIndex;
125     // Clear any csects we have stored.
126     for (auto *Group : Groups)
127       Group->clear();
128   }
129 
Section__anonab94e6820111::Section130   Section(const char *N, XCOFF::SectionTypeFlags Flags, bool IsVirtual,
131           CsectGroups Groups)
132       : Address(0), Size(0), FileOffsetToData(0), FileOffsetToRelocations(0),
133         RelocationCount(0), Flags(Flags), Index(UninitializedIndex),
134         IsVirtual(IsVirtual), Groups(Groups) {
135     strncpy(Name, N, XCOFF::NameSize);
136   }
137 };
138 
139 class XCOFFObjectWriter : public MCObjectWriter {
140 
141   uint32_t SymbolTableEntryCount = 0;
142   uint32_t SymbolTableOffset = 0;
143   uint16_t SectionCount = 0;
144 
145   support::endian::Writer W;
146   std::unique_ptr<MCXCOFFObjectTargetWriter> TargetObjectWriter;
147   StringTableBuilder Strings;
148 
149   // CsectGroups. These store the csects which make up different parts of
150   // the sections. Should have one for each set of csects that get mapped into
151   // the same section and get handled in a 'similar' way.
152   CsectGroup UndefinedCsects;
153   CsectGroup ProgramCodeCsects;
154   CsectGroup ReadOnlyCsects;
155   CsectGroup DataCsects;
156   CsectGroup FuncDSCsects;
157   CsectGroup TOCCsects;
158   CsectGroup BSSCsects;
159 
160   // The Predefined sections.
161   Section Text;
162   Section Data;
163   Section BSS;
164 
165   // All the XCOFF sections, in the order they will appear in the section header
166   // table.
167   std::array<Section *const, 3> Sections{{&Text, &Data, &BSS}};
168 
169   CsectGroup &getCsectGroup(const MCSectionXCOFF *MCSec);
170 
171   virtual void reset() override;
172 
173   void executePostLayoutBinding(MCAssembler &, const MCAsmLayout &) override;
174 
175   void recordRelocation(MCAssembler &, const MCAsmLayout &, const MCFragment *,
176                         const MCFixup &, MCValue, uint64_t &) override;
177 
178   uint64_t writeObject(MCAssembler &, const MCAsmLayout &) override;
179 
180   static bool nameShouldBeInStringTable(const StringRef &);
181   void writeSymbolName(const StringRef &);
182   void writeSymbolTableEntryForCsectMemberLabel(const Symbol &,
183                                                 const ControlSection &, int16_t,
184                                                 uint64_t);
185   void writeSymbolTableEntryForControlSection(const ControlSection &, int16_t,
186                                               XCOFF::StorageClass);
187   void writeFileHeader();
188   void writeSectionHeaderTable();
189   void writeSections(const MCAssembler &Asm, const MCAsmLayout &Layout);
190   void writeSymbolTable(const MCAsmLayout &Layout);
191 
192   // Called after all the csects and symbols have been processed by
193   // `executePostLayoutBinding`, this function handles building up the majority
194   // of the structures in the object file representation. Namely:
195   // *) Calculates physical/virtual addresses, raw-pointer offsets, and section
196   //    sizes.
197   // *) Assigns symbol table indices.
198   // *) Builds up the section header table by adding any non-empty sections to
199   //    `Sections`.
200   void assignAddressesAndIndices(const MCAsmLayout &);
201 
202   bool
needsAuxiliaryHeader() const203   needsAuxiliaryHeader() const { /* TODO aux header support not implemented. */
204     return false;
205   }
206 
207   // Returns the size of the auxiliary header to be written to the object file.
auxiliaryHeaderSize() const208   size_t auxiliaryHeaderSize() const {
209     assert(!needsAuxiliaryHeader() &&
210            "Auxiliary header support not implemented.");
211     return 0;
212   }
213 
214 public:
215   XCOFFObjectWriter(std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW,
216                     raw_pwrite_stream &OS);
217 };
218 
XCOFFObjectWriter(std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW,raw_pwrite_stream & OS)219 XCOFFObjectWriter::XCOFFObjectWriter(
220     std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW, raw_pwrite_stream &OS)
221     : W(OS, support::big), TargetObjectWriter(std::move(MOTW)),
222       Strings(StringTableBuilder::XCOFF),
223       Text(".text", XCOFF::STYP_TEXT, /* IsVirtual */ false,
224            CsectGroups{&ProgramCodeCsects, &ReadOnlyCsects}),
225       Data(".data", XCOFF::STYP_DATA, /* IsVirtual */ false,
226            CsectGroups{&DataCsects, &FuncDSCsects, &TOCCsects}),
227       BSS(".bss", XCOFF::STYP_BSS, /* IsVirtual */ true,
228           CsectGroups{&BSSCsects}) {}
229 
reset()230 void XCOFFObjectWriter::reset() {
231   UndefinedCsects.clear();
232 
233   // Reset any sections we have written to, and empty the section header table.
234   for (auto *Sec : Sections)
235     Sec->reset();
236 
237   // Reset the symbol table and string table.
238   SymbolTableEntryCount = 0;
239   SymbolTableOffset = 0;
240   SectionCount = 0;
241   Strings.clear();
242 
243   MCObjectWriter::reset();
244 }
245 
getCsectGroup(const MCSectionXCOFF * MCSec)246 CsectGroup &XCOFFObjectWriter::getCsectGroup(const MCSectionXCOFF *MCSec) {
247   switch (MCSec->getMappingClass()) {
248   case XCOFF::XMC_PR:
249     assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
250            "Only an initialized csect can contain program code.");
251     return ProgramCodeCsects;
252   case XCOFF::XMC_RO:
253     assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
254            "Only an initialized csect can contain read only data.");
255     return ReadOnlyCsects;
256   case XCOFF::XMC_RW:
257     if (XCOFF::XTY_CM == MCSec->getCSectType())
258       return BSSCsects;
259 
260     if (XCOFF::XTY_SD == MCSec->getCSectType())
261       return DataCsects;
262 
263     report_fatal_error("Unhandled mapping of read-write csect to section.");
264   case XCOFF::XMC_DS:
265     return FuncDSCsects;
266   case XCOFF::XMC_BS:
267     assert(XCOFF::XTY_CM == MCSec->getCSectType() &&
268            "Mapping invalid csect. CSECT with bss storage class must be "
269            "common type.");
270     return BSSCsects;
271   case XCOFF::XMC_TC0:
272     assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
273            "Only an initialized csect can contain TOC-base.");
274     assert(TOCCsects.empty() &&
275            "We should have only one TOC-base, and it should be the first csect "
276            "in this CsectGroup.");
277     return TOCCsects;
278   case XCOFF::XMC_TC:
279     assert(XCOFF::XTY_SD == MCSec->getCSectType() &&
280            "Only an initialized csect can contain TC entry.");
281     assert(!TOCCsects.empty() &&
282            "We should at least have a TOC-base in this CsectGroup.");
283     return TOCCsects;
284   default:
285     report_fatal_error("Unhandled mapping of csect to section.");
286   }
287 }
288 
executePostLayoutBinding(MCAssembler & Asm,const MCAsmLayout & Layout)289 void XCOFFObjectWriter::executePostLayoutBinding(MCAssembler &Asm,
290                                                  const MCAsmLayout &Layout) {
291   if (TargetObjectWriter->is64Bit())
292     report_fatal_error("64-bit XCOFF object files are not supported yet.");
293 
294   // Maps the MC Section representation to its corresponding ControlSection
295   // wrapper. Needed for finding the ControlSection to insert an MCSymbol into
296   // from its containing MCSectionXCOFF.
297   DenseMap<const MCSectionXCOFF *, ControlSection *> WrapperMap;
298 
299   for (const auto &S : Asm) {
300     const auto *MCSec = cast<const MCSectionXCOFF>(&S);
301     assert(WrapperMap.find(MCSec) == WrapperMap.end() &&
302            "Cannot add a csect twice.");
303     assert(XCOFF::XTY_ER != MCSec->getCSectType() &&
304            "An undefined csect should not get registered.");
305 
306     // If the name does not fit in the storage provided in the symbol table
307     // entry, add it to the string table.
308     if (nameShouldBeInStringTable(MCSec->getSectionName()))
309       Strings.add(MCSec->getSectionName());
310 
311     CsectGroup &Group = getCsectGroup(MCSec);
312     Group.emplace_back(MCSec);
313     WrapperMap[MCSec] = &Group.back();
314   }
315 
316   for (const MCSymbol &S : Asm.symbols()) {
317     // Nothing to do for temporary symbols.
318     if (S.isTemporary())
319       continue;
320 
321     const MCSymbolXCOFF *XSym = cast<MCSymbolXCOFF>(&S);
322     const MCSectionXCOFF *ContainingCsect = XSym->getContainingCsect();
323 
324     // Handle undefined symbol.
325     if (ContainingCsect->getCSectType() == XCOFF::XTY_ER) {
326       UndefinedCsects.emplace_back(ContainingCsect);
327       continue;
328     }
329 
330     // If the symbol is the csect itself, we don't need to put the symbol
331     // into csect's Syms.
332     if (XSym == ContainingCsect->getQualNameSymbol())
333       continue;
334 
335     assert(WrapperMap.find(ContainingCsect) != WrapperMap.end() &&
336            "Expected containing csect to exist in map");
337 
338     // Lookup the containing csect and add the symbol to it.
339     WrapperMap[ContainingCsect]->Syms.emplace_back(XSym);
340 
341     // If the name does not fit in the storage provided in the symbol table
342     // entry, add it to the string table.
343     if (nameShouldBeInStringTable(XSym->getName()))
344       Strings.add(XSym->getName());
345     }
346 
347   Strings.finalize();
348   assignAddressesAndIndices(Layout);
349 }
350 
recordRelocation(MCAssembler &,const MCAsmLayout &,const MCFragment *,const MCFixup &,MCValue,uint64_t &)351 void XCOFFObjectWriter::recordRelocation(MCAssembler &, const MCAsmLayout &,
352                                          const MCFragment *, const MCFixup &,
353                                          MCValue, uint64_t &) {
354   // TODO: recordRelocation is not yet implemented.
355 }
356 
writeSections(const MCAssembler & Asm,const MCAsmLayout & Layout)357 void XCOFFObjectWriter::writeSections(const MCAssembler &Asm,
358                                       const MCAsmLayout &Layout) {
359   uint32_t CurrentAddressLocation = 0;
360   for (const auto *Section : Sections) {
361     // Nothing to write for this Section.
362     if (Section->Index == Section::UninitializedIndex || Section->IsVirtual)
363       continue;
364 
365     assert(CurrentAddressLocation == Section->Address &&
366            "Sections should be written consecutively.");
367     for (const auto *Group : Section->Groups) {
368       for (const auto &Csect : *Group) {
369         if (uint32_t PaddingSize = Csect.Address - CurrentAddressLocation)
370           W.OS.write_zeros(PaddingSize);
371         if (Csect.Size)
372           Asm.writeSectionData(W.OS, Csect.MCCsect, Layout);
373         CurrentAddressLocation = Csect.Address + Csect.Size;
374       }
375     }
376 
377     // The size of the tail padding in a section is the end virtual address of
378     // the current section minus the the end virtual address of the last csect
379     // in that section.
380     if (uint32_t PaddingSize =
381             Section->Address + Section->Size - CurrentAddressLocation) {
382       W.OS.write_zeros(PaddingSize);
383       CurrentAddressLocation += PaddingSize;
384     }
385   }
386 }
387 
writeObject(MCAssembler & Asm,const MCAsmLayout & Layout)388 uint64_t XCOFFObjectWriter::writeObject(MCAssembler &Asm,
389                                         const MCAsmLayout &Layout) {
390   // We always emit a timestamp of 0 for reproducibility, so ensure incremental
391   // linking is not enabled, in case, like with Windows COFF, such a timestamp
392   // is incompatible with incremental linking of XCOFF.
393   if (Asm.isIncrementalLinkerCompatible())
394     report_fatal_error("Incremental linking not supported for XCOFF.");
395 
396   if (TargetObjectWriter->is64Bit())
397     report_fatal_error("64-bit XCOFF object files are not supported yet.");
398 
399   uint64_t StartOffset = W.OS.tell();
400 
401   writeFileHeader();
402   writeSectionHeaderTable();
403   writeSections(Asm, Layout);
404   // TODO writeRelocations();
405 
406   writeSymbolTable(Layout);
407   // Write the string table.
408   Strings.write(W.OS);
409 
410   return W.OS.tell() - StartOffset;
411 }
412 
nameShouldBeInStringTable(const StringRef & SymbolName)413 bool XCOFFObjectWriter::nameShouldBeInStringTable(const StringRef &SymbolName) {
414   return SymbolName.size() > XCOFF::NameSize;
415 }
416 
writeSymbolName(const StringRef & SymbolName)417 void XCOFFObjectWriter::writeSymbolName(const StringRef &SymbolName) {
418   if (nameShouldBeInStringTable(SymbolName)) {
419     W.write<int32_t>(0);
420     W.write<uint32_t>(Strings.getOffset(SymbolName));
421   } else {
422     char Name[XCOFF::NameSize+1];
423     std::strncpy(Name, SymbolName.data(), XCOFF::NameSize);
424     ArrayRef<char> NameRef(Name, XCOFF::NameSize);
425     W.write(NameRef);
426   }
427 }
428 
writeSymbolTableEntryForCsectMemberLabel(const Symbol & SymbolRef,const ControlSection & CSectionRef,int16_t SectionIndex,uint64_t SymbolOffset)429 void XCOFFObjectWriter::writeSymbolTableEntryForCsectMemberLabel(
430     const Symbol &SymbolRef, const ControlSection &CSectionRef,
431     int16_t SectionIndex, uint64_t SymbolOffset) {
432   // Name or Zeros and string table offset
433   writeSymbolName(SymbolRef.getName());
434   assert(SymbolOffset <= UINT32_MAX - CSectionRef.Address &&
435          "Symbol address overflows.");
436   W.write<uint32_t>(CSectionRef.Address + SymbolOffset);
437   W.write<int16_t>(SectionIndex);
438   // Basic/Derived type. See the description of the n_type field for symbol
439   // table entries for a detailed description. Since we don't yet support
440   // visibility, and all other bits are either optionally set or reserved, this
441   // is always zero.
442   // TODO FIXME How to assert a symbol's visibilty is default?
443   // TODO Set the function indicator (bit 10, 0x0020) for functions
444   // when debugging is enabled.
445   W.write<uint16_t>(0);
446   W.write<uint8_t>(SymbolRef.getStorageClass());
447   // Always 1 aux entry for now.
448   W.write<uint8_t>(1);
449 
450   // Now output the auxiliary entry.
451   W.write<uint32_t>(CSectionRef.SymbolTableIndex);
452   // Parameter typecheck hash. Not supported.
453   W.write<uint32_t>(0);
454   // Typecheck section number. Not supported.
455   W.write<uint16_t>(0);
456   // Symbol type: Label
457   W.write<uint8_t>(XCOFF::XTY_LD);
458   // Storage mapping class.
459   W.write<uint8_t>(CSectionRef.MCCsect->getMappingClass());
460   // Reserved (x_stab).
461   W.write<uint32_t>(0);
462   // Reserved (x_snstab).
463   W.write<uint16_t>(0);
464 }
465 
writeSymbolTableEntryForControlSection(const ControlSection & CSectionRef,int16_t SectionIndex,XCOFF::StorageClass StorageClass)466 void XCOFFObjectWriter::writeSymbolTableEntryForControlSection(
467     const ControlSection &CSectionRef, int16_t SectionIndex,
468     XCOFF::StorageClass StorageClass) {
469   // n_name, n_zeros, n_offset
470   writeSymbolName(CSectionRef.getName());
471   // n_value
472   W.write<uint32_t>(CSectionRef.Address);
473   // n_scnum
474   W.write<int16_t>(SectionIndex);
475   // Basic/Derived type. See the description of the n_type field for symbol
476   // table entries for a detailed description. Since we don't yet support
477   // visibility, and all other bits are either optionally set or reserved, this
478   // is always zero.
479   // TODO FIXME How to assert a symbol's visibilty is default?
480   // TODO Set the function indicator (bit 10, 0x0020) for functions
481   // when debugging is enabled.
482   W.write<uint16_t>(0);
483   // n_sclass
484   W.write<uint8_t>(StorageClass);
485   // Always 1 aux entry for now.
486   W.write<uint8_t>(1);
487 
488   // Now output the auxiliary entry.
489   W.write<uint32_t>(CSectionRef.Size);
490   // Parameter typecheck hash. Not supported.
491   W.write<uint32_t>(0);
492   // Typecheck section number. Not supported.
493   W.write<uint16_t>(0);
494   // Symbol type.
495   W.write<uint8_t>(getEncodedType(CSectionRef.MCCsect));
496   // Storage mapping class.
497   W.write<uint8_t>(CSectionRef.MCCsect->getMappingClass());
498   // Reserved (x_stab).
499   W.write<uint32_t>(0);
500   // Reserved (x_snstab).
501   W.write<uint16_t>(0);
502 }
503 
writeFileHeader()504 void XCOFFObjectWriter::writeFileHeader() {
505   // Magic.
506   W.write<uint16_t>(0x01df);
507   // Number of sections.
508   W.write<uint16_t>(SectionCount);
509   // Timestamp field. For reproducible output we write a 0, which represents no
510   // timestamp.
511   W.write<int32_t>(0);
512   // Byte Offset to the start of the symbol table.
513   W.write<uint32_t>(SymbolTableOffset);
514   // Number of entries in the symbol table.
515   W.write<int32_t>(SymbolTableEntryCount);
516   // Size of the optional header.
517   W.write<uint16_t>(0);
518   // Flags.
519   W.write<uint16_t>(0);
520 }
521 
writeSectionHeaderTable()522 void XCOFFObjectWriter::writeSectionHeaderTable() {
523   for (const auto *Sec : Sections) {
524     // Nothing to write for this Section.
525     if (Sec->Index == Section::UninitializedIndex)
526       continue;
527 
528     // Write Name.
529     ArrayRef<char> NameRef(Sec->Name, XCOFF::NameSize);
530     W.write(NameRef);
531 
532     // Write the Physical Address and Virtual Address. In an object file these
533     // are the same.
534     W.write<uint32_t>(Sec->Address);
535     W.write<uint32_t>(Sec->Address);
536 
537     W.write<uint32_t>(Sec->Size);
538     W.write<uint32_t>(Sec->FileOffsetToData);
539 
540     // Relocation pointer and Lineno pointer. Not supported yet.
541     W.write<uint32_t>(0);
542     W.write<uint32_t>(0);
543 
544     // Relocation and line-number counts. Not supported yet.
545     W.write<uint16_t>(0);
546     W.write<uint16_t>(0);
547 
548     W.write<int32_t>(Sec->Flags);
549   }
550 }
551 
writeSymbolTable(const MCAsmLayout & Layout)552 void XCOFFObjectWriter::writeSymbolTable(const MCAsmLayout &Layout) {
553   for (const auto &Csect : UndefinedCsects) {
554     writeSymbolTableEntryForControlSection(
555         Csect, XCOFF::ReservedSectionNum::N_UNDEF, Csect.MCCsect->getStorageClass());
556   }
557 
558   for (const auto *Section : Sections) {
559     // Nothing to write for this Section.
560     if (Section->Index == Section::UninitializedIndex)
561       continue;
562 
563     for (const auto *Group : Section->Groups) {
564       if (Group->empty())
565         continue;
566 
567       const int16_t SectionIndex = Section->Index;
568       for (const auto &Csect : *Group) {
569         // Write out the control section first and then each symbol in it.
570         writeSymbolTableEntryForControlSection(
571             Csect, SectionIndex, Csect.MCCsect->getStorageClass());
572 
573         for (const auto &Sym : Csect.Syms)
574           writeSymbolTableEntryForCsectMemberLabel(
575               Sym, Csect, SectionIndex, Layout.getSymbolOffset(*(Sym.MCSym)));
576       }
577     }
578   }
579 }
580 
assignAddressesAndIndices(const MCAsmLayout & Layout)581 void XCOFFObjectWriter::assignAddressesAndIndices(const MCAsmLayout &Layout) {
582   // The first symbol table entry is for the file name. We are not emitting it
583   // yet, so start at index 0.
584   uint32_t SymbolTableIndex = 0;
585 
586   // Calculate indices for undefined symbols.
587   for (auto &Csect : UndefinedCsects) {
588     Csect.Size = 0;
589     Csect.Address = 0;
590     Csect.SymbolTableIndex = SymbolTableIndex;
591     // 1 main and 1 auxiliary symbol table entry for each contained symbol.
592     SymbolTableIndex += 2;
593   }
594 
595   // The address corrresponds to the address of sections and symbols in the
596   // object file. We place the shared address 0 immediately after the
597   // section header table.
598   uint32_t Address = 0;
599   // Section indices are 1-based in XCOFF.
600   int32_t SectionIndex = 1;
601 
602   for (auto *Section : Sections) {
603     const bool IsEmpty =
604         llvm::all_of(Section->Groups,
605                      [](const CsectGroup *Group) { return Group->empty(); });
606     if (IsEmpty)
607       continue;
608 
609     if (SectionIndex > MaxSectionIndex)
610       report_fatal_error("Section index overflow!");
611     Section->Index = SectionIndex++;
612     SectionCount++;
613 
614     bool SectionAddressSet = false;
615     for (auto *Group : Section->Groups) {
616       if (Group->empty())
617         continue;
618 
619       for (auto &Csect : *Group) {
620         const MCSectionXCOFF *MCSec = Csect.MCCsect;
621         Csect.Address = alignTo(Address, MCSec->getAlignment());
622         Csect.Size = Layout.getSectionAddressSize(MCSec);
623         Address = Csect.Address + Csect.Size;
624         Csect.SymbolTableIndex = SymbolTableIndex;
625         // 1 main and 1 auxiliary symbol table entry for the csect.
626         SymbolTableIndex += 2;
627 
628         for (auto &Sym : Csect.Syms) {
629           Sym.SymbolTableIndex = SymbolTableIndex;
630           // 1 main and 1 auxiliary symbol table entry for each contained
631           // symbol.
632           SymbolTableIndex += 2;
633         }
634       }
635 
636       if (!SectionAddressSet) {
637         Section->Address = Group->front().Address;
638         SectionAddressSet = true;
639       }
640     }
641 
642     // Make sure the address of the next section aligned to
643     // DefaultSectionAlign.
644     Address = alignTo(Address, DefaultSectionAlign);
645     Section->Size = Address - Section->Address;
646   }
647 
648   SymbolTableEntryCount = SymbolTableIndex;
649 
650   // Calculate the RawPointer value for each section.
651   uint64_t RawPointer = sizeof(XCOFF::FileHeader32) + auxiliaryHeaderSize() +
652                         SectionCount * sizeof(XCOFF::SectionHeader32);
653   for (auto *Sec : Sections) {
654     if (Sec->Index == Section::UninitializedIndex || Sec->IsVirtual)
655       continue;
656 
657     Sec->FileOffsetToData = RawPointer;
658     RawPointer += Sec->Size;
659   }
660 
661   // TODO Add in Relocation storage to the RawPointer Calculation.
662   // TODO What to align the SymbolTable to?
663   // TODO Error check that the number of symbol table entries fits in 32-bits
664   // signed ...
665   if (SymbolTableEntryCount)
666     SymbolTableOffset = RawPointer;
667 }
668 
669 // Takes the log base 2 of the alignment and shifts the result into the 5 most
670 // significant bits of a byte, then or's in the csect type into the least
671 // significant 3 bits.
getEncodedType(const MCSectionXCOFF * Sec)672 uint8_t getEncodedType(const MCSectionXCOFF *Sec) {
673   unsigned Align = Sec->getAlignment();
674   assert(isPowerOf2_32(Align) && "Alignment must be a power of 2.");
675   unsigned Log2Align = Log2_32(Align);
676   // Result is a number in the range [0, 31] which fits in the 5 least
677   // significant bits. Shift this value into the 5 most significant bits, and
678   // bitwise-or in the csect type.
679   uint8_t EncodedAlign = Log2Align << 3;
680   return EncodedAlign | Sec->getCSectType();
681 }
682 
683 } // end anonymous namespace
684 
685 std::unique_ptr<MCObjectWriter>
createXCOFFObjectWriter(std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW,raw_pwrite_stream & OS)686 llvm::createXCOFFObjectWriter(std::unique_ptr<MCXCOFFObjectTargetWriter> MOTW,
687                               raw_pwrite_stream &OS) {
688   return std::make_unique<XCOFFObjectWriter>(std::move(MOTW), OS);
689 }
690