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