LLVM 24.0.0git
TargetLoweringObjectFileImpl.cpp
Go to the documentation of this file.
1//===- llvm/CodeGen/TargetLoweringObjectFileImpl.cpp - Object File Info ---===//
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 classes used to handle lowerings specific to common
10// object file formats.
11//
12//===----------------------------------------------------------------------===//
13
18#include "llvm/ADT/StringRef.h"
31#include "llvm/IR/Comdat.h"
32#include "llvm/IR/Constants.h"
33#include "llvm/IR/DataLayout.h"
37#include "llvm/IR/Function.h"
38#include "llvm/IR/GlobalAlias.h"
40#include "llvm/IR/GlobalValue.h"
42#include "llvm/IR/Mangler.h"
43#include "llvm/IR/Metadata.h"
44#include "llvm/IR/Module.h"
45#include "llvm/IR/Type.h"
46#include "llvm/MC/MCAsmInfo.h"
48#include "llvm/MC/MCContext.h"
49#include "llvm/MC/MCExpr.h"
57#include "llvm/MC/MCStreamer.h"
58#include "llvm/MC/MCSymbol.h"
59#include "llvm/MC/MCSymbolELF.h"
61#include "llvm/MC/MCValue.h"
62#include "llvm/MC/SectionKind.h"
64#include "llvm/Support/Base64.h"
68#include "llvm/Support/Format.h"
69#include "llvm/Support/Path.h"
73#include <cassert>
74#include <string>
75
76using namespace llvm;
77using namespace dwarf;
78
80 "jumptable-in-function-section", cl::Hidden, cl::init(false),
81 cl::desc("Putting Jump Table in function section"));
82
83static void GetObjCImageInfo(Module &M, unsigned &Version, unsigned &Flags,
84 StringRef &Section) {
86 M.getModuleFlagsMetadata(ModuleFlags);
87
88 for (const auto &MFE: ModuleFlags) {
89 // Ignore flags with 'Require' behaviour.
90 if (MFE.Behavior == Module::Require)
91 continue;
92
93 StringRef Key = MFE.Key->getString();
94 if (Key == "Objective-C Image Info Version") {
95 Version = mdconst::extract<ConstantInt>(MFE.Val)->getZExtValue();
96 } else if (Key == "Objective-C Garbage Collection" ||
97 Key == "Objective-C GC Only" ||
98 Key == "Objective-C Is Simulated" ||
99 Key == "Objective-C Class Properties" ||
100 Key == "Objective-C Image Swift Version") {
101 Flags |= mdconst::extract<ConstantInt>(MFE.Val)->getZExtValue();
102 } else if (Key == "Objective-C Image Info Section") {
103 Section = cast<MDString>(MFE.Val)->getString();
104 }
105 // Backend generates L_OBJC_IMAGE_INFO from Swift ABI version + major + minor +
106 // "Objective-C Garbage Collection".
107 else if (Key == "Swift ABI Version") {
108 Flags |= (mdconst::extract<ConstantInt>(MFE.Val)->getZExtValue()) << 8;
109 } else if (Key == "Swift Major Version") {
110 Flags |= (mdconst::extract<ConstantInt>(MFE.Val)->getZExtValue()) << 24;
111 } else if (Key == "Swift Minor Version") {
112 Flags |= (mdconst::extract<ConstantInt>(MFE.Val)->getZExtValue()) << 16;
113 }
114 }
115}
116
117//===----------------------------------------------------------------------===//
118// ELF
119//===----------------------------------------------------------------------===//
120
122 const TargetMachine &TgtM) {
124
125 const CodeModel::Model CM = TgtM.getCodeModel();
127
128 switch (TgtM.getTargetTriple().getArch()) {
129 case Triple::arm:
130 case Triple::armeb:
131 case Triple::thumb:
132 case Triple::thumbeb:
133 if (Ctx.getAsmInfo().getExceptionHandlingType() == ExceptionHandling::ARM)
134 break;
135 // Fallthrough if not using EHABI
136 [[fallthrough]];
137 case Triple::ppc:
138 case Triple::ppcle:
139 case Triple::x86:
152 break;
153 case Triple::x86_64: {
154 // The large EH encoding forces 64-bit-wide EH pointers regardless of the
155 // code model, so treat it like the Large code model when selecting
156 // encodings below.
157 const CodeModel::Model EHCM =
159 if (isPositionIndependent()) {
162 ((EHCM == CodeModel::Small || EHCM == CodeModel::Medium)
169 ((EHCM == CodeModel::Small || EHCM == CodeModel::Medium)
172 } else {
174 (EHCM == CodeModel::Small || EHCM == CodeModel::Medium)
181 }
182 break;
183 }
184 case Triple::hexagon:
188 if (isPositionIndependent()) {
192 }
193 break;
194 case Triple::aarch64:
197 // The small model guarantees static code/data size < 4GB, but not where it
198 // will be in memory. Most of these could end up >2GB away so even a signed
199 // pc-relative 32-bit address is insufficient, theoretically.
200 //
201 // Use DW_EH_PE_indirect even for -fno-pic to avoid copy relocations.
203 (TgtM.getTargetTriple().getEnvironment() == Triple::GNUILP32
208 break;
209 case Triple::lanai:
213 break;
214 case Triple::mips:
215 case Triple::mipsel:
216 case Triple::mips64:
217 case Triple::mips64el:
218 // MIPS uses indirect pointer to refer personality functions and types, so
219 // that the eh_frame section can be read-only. DW.ref.personality will be
220 // generated for relocation.
222 // FIXME: The N64 ABI probably ought to use DW_EH_PE_sdata8 but we can't
223 // identify N64 from just a triple.
226
227 // FreeBSD must be explicit about the data size and using pcrel since it's
228 // assembler/linker won't do the automatic conversion that the Linux tools
229 // do.
233 }
234 break;
235 case Triple::ppc64:
236 case Triple::ppc64le:
242 break;
243 case Triple::sparcel:
244 case Triple::sparc:
245 if (isPositionIndependent()) {
251 } else {
255 }
257 break;
258 case Triple::riscv32:
259 case Triple::riscv64:
268 break;
269 case Triple::sparcv9:
271 if (isPositionIndependent()) {
276 } else {
279 }
280 break;
281 case Triple::systemz:
282 // All currently-defined code models guarantee that 4-byte PC-relative
283 // values will be in range.
284 if (isPositionIndependent()) {
290 } else {
294 }
295 break;
303 break;
304 default:
305 break;
306 }
307}
308
311 collectUsedGlobalVariables(M, Vec, false);
312 for (GlobalValue *GV : Vec)
313 if (auto *GO = dyn_cast<GlobalObject>(GV))
314 Used.insert(GO);
315}
316
318 Module &M) const {
319 auto &C = getContext();
320
322
323 if (NamedMDNode *DependentLibraries = M.getNamedMetadata("llvm.dependent-libraries")) {
324 auto *S = C.getELFSection(".deplibs", ELF::SHT_LLVM_DEPENDENT_LIBRARIES,
326
327 Streamer.switchSection(S);
328
329 for (const auto *Operand : DependentLibraries->operands()) {
330 Streamer.emitBytes(
331 cast<MDString>(cast<MDNode>(Operand)->getOperand(0))->getString());
332 Streamer.emitInt8(0);
333 }
334 }
335
337
338 if (NamedMDNode *LLVMStats = M.getNamedMetadata("llvm.stats")) {
339 // Emit the metadata for llvm statistics into .llvm_stats section, which is
340 // formatted as a list of key/value pair, the value is base64 encoded.
341 auto *S = C.getObjectFileInfo()->getLLVMStatsSection();
342 Streamer.switchSection(S);
343 for (const auto *Operand : LLVMStats->operands()) {
344 const auto *MD = cast<MDNode>(Operand);
345 assert(MD->getNumOperands() % 2 == 0 &&
346 ("Operand num should be even for a list of key/value pair"));
347 for (size_t I = 0; I < MD->getNumOperands(); I += 2) {
348 // Encode the key string size.
349 auto *Key = cast<MDString>(MD->getOperand(I));
350 Streamer.emitULEB128IntValue(Key->getString().size());
351 Streamer.emitBytes(Key->getString());
352 // Encode the value into a Base64 string.
353 std::string Value = encodeBase64(
354 Twine(mdconst::dyn_extract<ConstantInt>(MD->getOperand(I + 1))
355 ->getZExtValue())
356 .str());
357 Streamer.emitULEB128IntValue(Value.size());
358 Streamer.emitBytes(Value);
359 }
360 }
361 }
362
363 unsigned Version = 0;
364 unsigned Flags = 0;
365 StringRef Section;
366
367 GetObjCImageInfo(M, Version, Flags, Section);
368 if (!Section.empty()) {
369 auto *S = C.getELFSection(Section, ELF::SHT_PROGBITS, ELF::SHF_ALLOC);
370 Streamer.switchSection(S);
371 Streamer.emitLabel(C.getOrCreateSymbol(StringRef("OBJC_IMAGE_INFO")));
372 Streamer.emitInt32(Version);
373 Streamer.emitInt32(Flags);
374 Streamer.addBlankLine();
375 }
376
378}
379
381 Module &M) const {
382 auto &C = getContext();
383 if (NamedMDNode *LinkerOptions = M.getNamedMetadata("llvm.linker.options")) {
384 auto *S = C.getELFSection(".linker-options", ELF::SHT_LLVM_LINKER_OPTIONS,
386
387 Streamer.switchSection(S);
388
389 for (const auto *Operand : LinkerOptions->operands()) {
390 if (cast<MDNode>(Operand)->getNumOperands() != 2)
391 report_fatal_error("invalid llvm.linker.options");
392 for (const auto &Option : cast<MDNode>(Operand)->operands()) {
393 Streamer.emitBytes(cast<MDString>(Option)->getString());
394 Streamer.emitInt8(0);
395 }
396 }
397 }
398}
399
401 const GlobalValue *GV, const TargetMachine &TM,
402 MachineModuleInfo *MMI) const {
403 unsigned Encoding = getPersonalityEncoding();
404 if ((Encoding & 0x80) == DW_EH_PE_indirect)
405 return getContext().getOrCreateSymbol(StringRef("DW.ref.") +
406 TM.getSymbol(GV)->getName());
407 if ((Encoding & 0x70) == DW_EH_PE_absptr)
408 return TM.getSymbol(GV);
409 report_fatal_error("We do not support this DWARF encoding yet!");
410}
411
413 MCStreamer &Streamer, const DataLayout &DL, const MCSymbol *Sym,
414 const MachineModuleInfo *MMI) const {
415 SmallString<64> NameData("DW.ref.");
416 NameData += Sym->getName();
417 auto *Label =
418 static_cast<MCSymbolELF *>(getContext().getOrCreateSymbol(NameData));
419 Streamer.emitSymbolAttribute(Label, MCSA_Hidden);
420 Streamer.emitSymbolAttribute(Label, MCSA_Weak);
421 unsigned Flags = ELF::SHF_ALLOC | ELF::SHF_WRITE | ELF::SHF_GROUP;
422 MCSection *Sec = getContext().getELFNamedSection(".data", Label->getName(),
423 ELF::SHT_PROGBITS, Flags, 0);
424 unsigned Size = DL.getPointerSize();
425 Streamer.switchSection(Sec);
426 Streamer.emitValueToAlignment(DL.getPointerABIAlignment(0));
427 Streamer.emitSymbolAttribute(Label, MCSA_ELF_TypeObject);
429 Streamer.emitELFSize(Label, E);
430 Streamer.emitLabel(Label);
431
433}
434
436 MCStreamer &Streamer, const DataLayout &DL, const MCSymbol *Sym,
437 const MachineModuleInfo *MMI) const {
438 Streamer.emitSymbolValue(Sym, DL.getPointerSize());
439}
440
442 const GlobalValue *GV, unsigned Encoding, const TargetMachine &TM,
444 if (Encoding & DW_EH_PE_indirect) {
446
447 MCSymbol *SSym = getSymbolWithGlobalValueBase(GV, ".DW.stub", TM);
448
449 // Add information about the stub reference to ELFMMI so that the stub
450 // gets emitted by the asmprinter.
452 if (!StubSym.getPointer()) {
453 MCSymbol *Sym = TM.getSymbol(GV);
455 }
456
459 Encoding & ~DW_EH_PE_indirect, Streamer);
460 }
461
463 MMI, Streamer);
464}
465
467 // N.B.: The defaults used in here are not the same ones used in MC.
468 // We follow gcc, MC follows gas. For example, given ".section .eh_frame",
469 // both gas and MC will produce a section with no flags. Given
470 // section(".eh_frame") gcc will produce:
471 //
472 // .section .eh_frame,"a",@progbits
473
474 if (Name == getInstrProfSectionName(IPSK_covmap, Triple::ELF,
475 /*AddSegmentInfo=*/false) ||
476 Name == getInstrProfSectionName(IPSK_covfun, Triple::ELF,
477 /*AddSegmentInfo=*/false) ||
478 Name == getInstrProfSectionName(IPSK_covdata, Triple::ELF,
479 /*AddSegmentInfo=*/false) ||
480 Name == getInstrProfSectionName(IPSK_covname, Triple::ELF,
481 /*AddSegmentInfo=*/false) ||
482 Name == ".llvmbc" || Name == ".llvmcmd")
484
485 if (!Name.starts_with(".")) return K;
486
487 // Default implementation based on some magic section names.
488 if (Name == ".bss" || Name.starts_with(".bss.") ||
489 Name.starts_with(".gnu.linkonce.b.") ||
490 Name.starts_with(".llvm.linkonce.b.") || Name == ".sbss" ||
491 Name.starts_with(".sbss.") || Name.starts_with(".gnu.linkonce.sb.") ||
492 Name.starts_with(".llvm.linkonce.sb."))
493 return SectionKind::getBSS();
494
495 if (Name == ".tdata" || Name.starts_with(".tdata.") ||
496 Name.starts_with(".gnu.linkonce.td.") ||
497 Name.starts_with(".llvm.linkonce.td."))
499
500 if (Name == ".tbss" || Name.starts_with(".tbss.") ||
501 Name.starts_with(".gnu.linkonce.tb.") ||
502 Name.starts_with(".llvm.linkonce.tb."))
504
505 return K;
506}
507
509 return SectionName.consume_front(Prefix) &&
510 (SectionName.empty() || SectionName[0] == '.');
511}
512
513static unsigned getELFSectionType(StringRef Name, SectionKind K) {
514 // Use SHT_NOTE for section whose name starts with ".note" to allow
515 // emitting ELF notes from C variable declaration.
516 // See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77609
517 if (Name.starts_with(".note"))
518 return ELF::SHT_NOTE;
519
520 if (hasPrefix(Name, ".init_array"))
521 return ELF::SHT_INIT_ARRAY;
522
523 if (hasPrefix(Name, ".fini_array"))
524 return ELF::SHT_FINI_ARRAY;
525
526 if (hasPrefix(Name, ".preinit_array"))
528
529 if (hasPrefix(Name, ".llvm.offloading"))
531 if (Name == ".llvm.lto")
532 return ELF::SHT_LLVM_LTO;
533
534 if (K.isBSS() || K.isThreadBSS())
535 return ELF::SHT_NOBITS;
536
537 return ELF::SHT_PROGBITS;
538}
539
540static unsigned getELFSectionFlags(SectionKind K, const Triple &T) {
541 unsigned Flags = 0;
542
543 if (!K.isMetadata() && !K.isExclude())
544 Flags |= ELF::SHF_ALLOC;
545
546 if (K.isExclude())
547 Flags |= ELF::SHF_EXCLUDE;
548
549 if (K.isText())
550 Flags |= ELF::SHF_EXECINSTR;
551
552 if (K.isExecuteOnly()) {
553 if (T.isAArch64())
555 else if (T.isARM() || T.isThumb())
556 Flags |= ELF::SHF_ARM_PURECODE;
557 }
558
559 if (K.isWriteable())
560 Flags |= ELF::SHF_WRITE;
561
562 if (K.isThreadLocal())
563 Flags |= ELF::SHF_TLS;
564
565 if (K.isMergeableCString() || K.isMergeableConst())
566 Flags |= ELF::SHF_MERGE;
567
568 if (K.isMergeableCString())
569 Flags |= ELF::SHF_STRINGS;
570
571 return Flags;
572}
573
574static const Comdat *getELFComdat(const GlobalValue *GV) {
575 const Comdat *C = GV->getComdat();
576 if (!C)
577 return nullptr;
578
579 if (C->getSelectionKind() != Comdat::Any &&
580 C->getSelectionKind() != Comdat::NoDeduplicate)
581 report_fatal_error("ELF COMDATs only support SelectionKind::Any and "
582 "SelectionKind::NoDeduplicate, '" +
583 C->getName() + "' cannot be lowered.");
584
585 return C;
586}
587
589 const TargetMachine &TM) {
590 MDNode *MD = GO->getMetadata(LLVMContext::MD_associated);
591 if (!MD)
592 return nullptr;
593
594 auto *VM = cast<ValueAsMetadata>(MD->getOperand(0).get());
595 auto *OtherGV = dyn_cast<GlobalValue>(VM->getValue());
596 return OtherGV ? static_cast<const MCSymbolELF *>(TM.getSymbol(OtherGV))
597 : nullptr;
598}
599
600static unsigned getEntrySizeForKind(SectionKind Kind) {
601 if (Kind.isMergeable1ByteCString())
602 return 1;
603 else if (Kind.isMergeable2ByteCString())
604 return 2;
605 else if (Kind.isMergeable4ByteCString())
606 return 4;
607 else if (Kind.isMergeableConst4())
608 return 4;
609 else if (Kind.isMergeableConst8())
610 return 8;
611 else if (Kind.isMergeableConst16())
612 return 16;
613 else if (Kind.isMergeableConst32())
614 return 32;
615 else {
616 // We shouldn't have mergeable C strings or mergeable constants that we
617 // didn't handle above.
618 assert(!Kind.isMergeableCString() && "unknown string width");
619 assert(!Kind.isMergeableConst() && "unknown data width");
620 return 0;
621 }
622}
623
624/// Return the section prefix name used by options FunctionsSections and
625/// DataSections.
627 if (Kind.isText())
628 return IsLarge ? ".ltext" : ".text";
629 if (Kind.isReadOnly())
630 return IsLarge ? ".lrodata" : ".rodata";
631 if (Kind.isBSS())
632 return IsLarge ? ".lbss" : ".bss";
633 if (Kind.isThreadData())
634 return ".tdata";
635 if (Kind.isThreadBSS())
636 return ".tbss";
637 if (Kind.isData())
638 return IsLarge ? ".ldata" : ".data";
639 if (Kind.isReadOnlyWithRel())
640 return IsLarge ? ".ldata.rel.ro" : ".data.rel.ro";
641 llvm_unreachable("Unknown section kind");
642}
643
644static SmallString<128>
646 Mangler &Mang, const TargetMachine &TM,
647 bool UniqueSectionName,
648 const MachineJumpTableEntry *JTE) {
649 SmallString<128> Name =
651 unsigned EntrySize = getEntrySizeForKind(Kind);
652 if (Kind.isMergeableCString()) {
653 // We also need alignment here.
654 // FIXME: this is getting the alignment of the character, not the
655 // alignment of the global!
656 Align Alignment = GO->getDataLayout().getPreferredAlign(
658
659 Name += ".str";
660 Name += utostr(EntrySize);
661 Name += ".";
662 Name += utostr(Alignment.value());
663 } else if (Kind.isMergeableConst()) {
664 Name += ".cst";
665 Name += utostr(EntrySize);
666 }
667
668 bool HasPrefix = false;
669 if (const auto *F = dyn_cast<Function>(GO)) {
670 // Jump table hotness takes precedence over its enclosing function's hotness
671 // if it's known. The function's section prefix is used if jump table entry
672 // hotness is unknown.
673 if (JTE && JTE->Hotness != MachineFunctionDataHotness::Unknown) {
675 raw_svector_ostream(Name) << ".hot";
676 } else {
678 "Hotness must be cold");
679 raw_svector_ostream(Name) << ".unlikely";
680 }
681 HasPrefix = true;
682 } else if (std::optional<StringRef> Prefix = F->getSectionPrefix()) {
683 raw_svector_ostream(Name) << '.' << *Prefix;
684 HasPrefix = true;
685 }
686 } else if (const auto *GV = dyn_cast<GlobalVariable>(GO)) {
687 if (std::optional<StringRef> Prefix = GV->getSectionPrefix()) {
688 raw_svector_ostream(Name) << '.' << *Prefix;
689 HasPrefix = true;
690 }
691 }
692
693 if (UniqueSectionName) {
694 Name.push_back('.');
695 TM.getNameWithPrefix(Name, GO, Mang, /*MayAlwaysUsePrivate*/true);
696 } else if (HasPrefix)
697 // For distinguishing between .text.${text-section-prefix}. (with trailing
698 // dot) and .text.${function-name}
699 Name.push_back('.');
700 return Name;
701}
702
703namespace {
704class LoweringDiagnosticInfo : public DiagnosticInfo {
705 const Twine &Msg;
706
707public:
708 LoweringDiagnosticInfo(const Twine &DiagMsg LLVM_LIFETIME_BOUND,
709 DiagnosticSeverity Severity = DS_Error)
710 : DiagnosticInfo(DK_Lowering, Severity), Msg(DiagMsg) {}
711 void print(DiagnosticPrinter &DP) const override { DP << Msg; }
712};
713}
714
715/// Calculate an appropriate unique ID for a section, and update Flags,
716/// EntrySize and NextUniqueID where appropriate.
717static unsigned
719 SectionKind Kind, const TargetMachine &TM,
720 MCContext &Ctx, Mangler &Mang, unsigned &Flags,
721 unsigned &EntrySize, unsigned &NextUniqueID,
722 const bool Retain, const bool ForceUnique) {
723 // Increment uniqueID if we are forced to emit a unique section.
724 // This works perfectly fine with section attribute or pragma section as the
725 // sections with the same name are grouped together by the assembler.
726 if (ForceUnique)
727 return NextUniqueID++;
728
729 // A section can have at most one associated section. Put each global with
730 // MD_associated in a unique section.
731 const bool Associated = GO->getMetadata(LLVMContext::MD_associated);
732 if (Associated) {
733 Flags |= ELF::SHF_LINK_ORDER;
734 return NextUniqueID++;
735 }
736
737 if (Retain) {
738 if (TM.getTargetTriple().isOSSolaris())
740 else if (Ctx.getAsmInfo().useIntegratedAssembler() ||
741 Ctx.getAsmInfo().binutilsIsAtLeast(2, 36))
742 Flags |= ELF::SHF_GNU_RETAIN;
743 return NextUniqueID++;
744 }
745
746 // If two symbols with differing sizes end up in the same mergeable section
747 // that section can be assigned an incorrect entry size. To avoid this we
748 // usually put symbols of the same size into distinct mergeable sections with
749 // the same name. Doing so relies on the ",unique ," assembly feature. This
750 // feature is not available until binutils version 2.35
751 // (https://sourceware.org/bugzilla/show_bug.cgi?id=25380).
752 const bool SupportsUnique = Ctx.getAsmInfo().useIntegratedAssembler() ||
753 Ctx.getAsmInfo().binutilsIsAtLeast(2, 35);
754 if (!SupportsUnique) {
755 Flags &= ~ELF::SHF_MERGE;
756 EntrySize = 0;
758 }
759
760 const bool SymbolMergeable = Flags & ELF::SHF_MERGE;
761 const bool SeenSectionNameBefore =
762 Ctx.isELFGenericMergeableSection(SectionName);
763 // If this is the first occurrence of this section name, treat it as the
764 // generic section
765 if (!SymbolMergeable && !SeenSectionNameBefore) {
767 return NextUniqueID++;
768 else
770 }
771
772 // Symbols must be placed into sections with compatible entry sizes. Generate
773 // unique sections for symbols that have not been assigned to compatible
774 // sections.
775 const auto PreviousID =
776 Ctx.getELFUniqueIDForEntsize(SectionName, Flags, EntrySize);
777 if (PreviousID &&
778 (!TM.getSeparateNamedSections() || *PreviousID == MCSection::NonUniqueID))
779 return *PreviousID;
780
781 // If the user has specified the same section name as would be created
782 // implicitly for this symbol e.g. .rodata.str1.1, then we don't need
783 // to unique the section as the entry size for this symbol will be
784 // compatible with implicitly created sections.
785 SmallString<128> ImplicitSectionNameStem =
786 getELFSectionNameForGlobal(GO, Kind, Mang, TM, false, /*MJTE=*/nullptr);
787 if (SymbolMergeable &&
788 Ctx.isELFImplicitMergeableSectionNamePrefix(SectionName) &&
789 SectionName.starts_with(ImplicitSectionNameStem))
791
792 // We have seen this section name before, but with different flags or entity
793 // size. Create a new unique ID.
794 return NextUniqueID++;
795}
796
797static std::tuple<StringRef, bool, unsigned, unsigned, unsigned>
800 StringRef Group = "";
801 bool IsComdat = false;
802 unsigned Flags = 0;
803 if (const Comdat *C = getELFComdat(GO)) {
804 Flags |= ELF::SHF_GROUP;
805 Group = C->getName();
806 IsComdat = C->getSelectionKind() == Comdat::Any;
807 }
808 if (TM.isLargeGlobalValue(GO))
809 Flags |= ELF::SHF_X86_64_LARGE;
810
811 unsigned Type, EntrySize;
812 if (MDNode *MD = GO->getMetadata(LLVMContext::MD_elf_section_properties)) {
813 Type = cast<ConstantAsMetadata>(MD->getOperand(0))
814 ->getValue()
815 ->getUniqueInteger()
816 .getZExtValue();
817 EntrySize = cast<ConstantAsMetadata>(MD->getOperand(1))
818 ->getValue()
819 ->getUniqueInteger()
820 .getZExtValue();
821 } else {
823 EntrySize = getEntrySizeForKind(Kind);
824 }
825
826 return {Group, IsComdat, Flags, Type, EntrySize};
827}
828
830 SectionKind Kind,
831 const TargetMachine &TM,
832 MCContext &Ctx, Mangler &Mang,
833 unsigned &NextUniqueID,
834 bool Retain, bool ForceUnique) {
837
838 // Infer section flags from the section name if we can.
840
841 unsigned Flags = getELFSectionFlags(Kind, TM.getTargetTriple());
842 auto [Group, IsComdat, ExtraFlags, Type, EntrySize] =
843 getGlobalObjectInfo(GO, TM, SectionName, Kind);
844 Flags |= ExtraFlags;
845
847 GO, SectionName, Kind, TM, Ctx, Mang, Flags, EntrySize, NextUniqueID,
848 Retain, ForceUnique);
849
850 const MCSymbolELF *LinkedToSym = getLinkedToSymbol(GO, TM);
851 MCSectionELF *Section =
852 Ctx.getELFSection(SectionName, Type, Flags, EntrySize, Group, IsComdat,
853 UniqueID, LinkedToSym);
854 // Make sure that we did not get some other section with incompatible sh_link.
855 // This should not be possible due to UniqueID code above.
856 assert(Section->getLinkedToSymbol() == LinkedToSym &&
857 "Associated symbol mismatch between sections");
858
859 if (!(Ctx.getAsmInfo().useIntegratedAssembler() ||
860 Ctx.getAsmInfo().binutilsIsAtLeast(2, 35))) {
861 // If we are using GNU as before 2.35, then this symbol might have
862 // been placed in an incompatible mergeable section. Emit an error if this
863 // is the case to avoid creating broken output.
864 if ((Section->getFlags() & ELF::SHF_MERGE) &&
865 (Section->getEntrySize() != getEntrySizeForKind(Kind)))
866 GO->getContext().diagnose(LoweringDiagnosticInfo(
867 "Symbol '" + GO->getName() + "' from module '" +
868 (GO->getParent() ? GO->getParent()->getSourceFileName() : "unknown") +
869 "' required a section with entry-size=" +
870 Twine(getEntrySizeForKind(Kind)) + " but was placed in section '" +
871 SectionName + "' with entry-size=" + Twine(Section->getEntrySize()) +
872 ": Explicit assignment by pragma or attribute of an incompatible "
873 "symbol to this section?"));
874 }
875
876 return Section;
877}
878
880 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
882 NextUniqueID, Used.count(GO),
883 /* ForceUnique = */false);
884}
885
887 MCContext &Ctx, const GlobalObject *GO, SectionKind Kind, Mangler &Mang,
888 const TargetMachine &TM, bool EmitUniqueSection, unsigned Flags,
889 unsigned *NextUniqueID, const MCSymbolELF *AssociatedSymbol,
890 const MachineJumpTableEntry *MJTE = nullptr) {
891 bool UniqueSectionName = false;
893 if (EmitUniqueSection) {
894 if (TM.getUniqueSectionNames()) {
895 UniqueSectionName = true;
896 } else {
897 UniqueID = *NextUniqueID;
898 (*NextUniqueID)++;
899 }
900 }
901 SmallString<128> Name =
902 getELFSectionNameForGlobal(GO, Kind, Mang, TM, UniqueSectionName, MJTE);
903
904 auto [Group, IsComdat, ExtraFlags, Type, EntrySize] =
905 getGlobalObjectInfo(GO, TM, Name, Kind);
906 Flags |= ExtraFlags;
907
908 // Use 0 as the unique ID for execute-only text.
909 if (Kind.isExecuteOnly())
910 UniqueID = 0;
911 return Ctx.getELFSection(Name, Type, Flags, EntrySize, Group, IsComdat,
912 UniqueID, AssociatedSymbol);
913}
914
916 MCContext &Ctx, const GlobalObject *GO, SectionKind Kind, Mangler &Mang,
917 const TargetMachine &TM, bool Retain, bool EmitUniqueSection,
918 unsigned Flags, unsigned *NextUniqueID) {
919 const MCSymbolELF *LinkedToSym = getLinkedToSymbol(GO, TM);
920 if (LinkedToSym) {
921 EmitUniqueSection = true;
922 Flags |= ELF::SHF_LINK_ORDER;
923 }
924 if (Retain) {
925 if (TM.getTargetTriple().isOSSolaris()) {
926 EmitUniqueSection = true;
928 } else if (Ctx.getAsmInfo().useIntegratedAssembler() ||
929 Ctx.getAsmInfo().binutilsIsAtLeast(2, 36)) {
930 EmitUniqueSection = true;
931 Flags |= ELF::SHF_GNU_RETAIN;
932 }
933 }
934 if (GO->hasMetadata(LLVMContext::MD_elf_section_properties))
935 EmitUniqueSection = true;
936
938 Ctx, GO, Kind, Mang, TM, EmitUniqueSection, Flags,
939 NextUniqueID, LinkedToSym);
940 assert(Section->getLinkedToSymbol() == LinkedToSym);
941 return Section;
942}
943
945 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
946 unsigned Flags = getELFSectionFlags(Kind, TM.getTargetTriple());
947
948 // If we have -ffunction-section or -fdata-section then we should emit the
949 // global value to a uniqued section specifically for it.
950 bool EmitUniqueSection = false;
951 if (!(Flags & ELF::SHF_MERGE) && !Kind.isCommon()) {
952 if (Kind.isText())
953 EmitUniqueSection = TM.getFunctionSections();
954 else
955 EmitUniqueSection = TM.getDataSections();
956 }
957 EmitUniqueSection |= GO->hasComdat();
958 return selectELFSectionForGlobal(getContext(), GO, Kind, getMangler(), TM,
959 Used.count(GO), EmitUniqueSection, Flags,
960 &NextUniqueID);
961}
962
964 const Function &F, const TargetMachine &TM) const {
966 unsigned Flags = getELFSectionFlags(Kind, TM.getTargetTriple());
967 // If the function's section names is pre-determined via pragma or a
968 // section attribute, call selectExplicitSectionGlobal.
969 if (F.hasSection())
971 &F, Kind, TM, getContext(), getMangler(), NextUniqueID,
972 Used.count(&F), /* ForceUnique = */true);
973
975 getContext(), &F, Kind, getMangler(), TM, Used.count(&F),
976 /*EmitUniqueSection=*/true, Flags, &NextUniqueID);
977}
978
983
985 const Function &F, const TargetMachine &TM,
986 const MachineJumpTableEntry *JTE) const {
987 // If the function can be removed, produce a unique section so that
988 // the table doesn't prevent the removal.
989 const Comdat *C = F.getComdat();
990 bool EmitUniqueSection = TM.getFunctionSections() || C;
991 if (!EmitUniqueSection && !TM.getEnableStaticDataPartitioning())
992 return ReadOnlySection;
993
995 getMangler(), TM, EmitUniqueSection,
996 ELF::SHF_ALLOC, &NextUniqueID,
997 /* AssociatedSymbol */ nullptr, JTE);
998}
999
1001 const Function &F, const MCSymbol &FnSym, const TargetMachine &TM) const {
1002 // If neither COMDAT nor function sections, use the monolithic LSDA section.
1003 // Re-use this path if LSDASection is null as in the Arm EHABI.
1004 if (!LSDASection || (!F.hasComdat() && !TM.getFunctionSections()))
1005 return LSDASection;
1006
1007 const auto *LSDA = static_cast<const MCSectionELF *>(LSDASection);
1008 unsigned Flags = LSDA->getFlags();
1009 const MCSymbolELF *LinkedToSym = nullptr;
1010 StringRef Group;
1011 bool IsComdat = false;
1012 if (const Comdat *C = getELFComdat(&F)) {
1013 Flags |= ELF::SHF_GROUP;
1014 Group = C->getName();
1015 IsComdat = C->getSelectionKind() == Comdat::Any;
1016 }
1017 // Use SHF_LINK_ORDER to facilitate --gc-sections if we can use GNU ld>=2.36
1018 // or LLD, which support mixed SHF_LINK_ORDER & non-SHF_LINK_ORDER.
1019 if (TM.getFunctionSections() &&
1020 (getContext().getAsmInfo().useIntegratedAssembler() &&
1021 getContext().getAsmInfo().binutilsIsAtLeast(2, 36))) {
1022 Flags |= ELF::SHF_LINK_ORDER;
1023 LinkedToSym = static_cast<const MCSymbolELF *>(&FnSym);
1024 }
1025
1026 // Append the function name as the suffix like GCC, assuming
1027 // -funique-section-names applies to .gcc_except_table sections.
1028 return getContext().getELFSection(
1029 (TM.getUniqueSectionNames() ? LSDA->getName() + "." + F.getName()
1030 : LSDA->getName()),
1031 LSDA->getType(), Flags, 0, Group, IsComdat, MCSection::NonUniqueID,
1032 LinkedToSym);
1033}
1034
1036 bool UsesLabelDifference, const Function &F) const {
1037 // We can always create relative relocations, so use another section
1038 // that can be marked non-executable.
1039 return false;
1040}
1041
1042/// Given a mergeable constant with the specified size and relocation
1043/// information, return a section that it should be placed in.
1045 SectionKind Kind,
1046 const Constant *C) const {
1047 if (!TM)
1048 return false;
1049 if (TM->getCodeModel() == CodeModel::Large)
1050 return TM->getTargetTriple().getArch() == Triple::x86_64;
1051 if (Kind.isMergeableCString() && C) {
1052 assert(C->getType()->isSized());
1053 return TM->isLargeDataSize(DL.getTypeAllocSize(C->getType()));
1054 }
1055 // Globals generated by the compiler, e.g. constant pool entries, are always
1056 // small under the x86-64 medium code model.
1057 return false;
1058}
1059
1061 const DataLayout &DL, SectionKind Kind, const Constant *C,
1062 StringRef SectionSuffix) const {
1063 auto &Context = getContext();
1064 unsigned MergeableCstFlags = ELF::SHF_ALLOC;
1065 if (Kind.isMergeableConst() || Kind.isMergeableCString())
1066 MergeableCstFlags |= ELF::SHF_MERGE;
1067 bool IsLarge = isLargeConstant(DL, Kind, C);
1068 if (IsLarge)
1069 MergeableCstFlags |= ELF::SHF_X86_64_LARGE;
1070
1071 StringRef CstPrefix = IsLarge ? ".lrodata" : ".rodata";
1072 SmallString<32> SectionSuffixStr;
1073 if (!SectionSuffix.empty()) {
1074 SectionSuffixStr.push_back('.');
1075 SectionSuffixStr += SectionSuffix;
1076 SectionSuffixStr.push_back('.');
1077 }
1078
1079 if (Kind.isMergeableConst4())
1080 return Context.getELFSection(CstPrefix + ".cst4" + SectionSuffixStr,
1081 ELF::SHT_PROGBITS, MergeableCstFlags, 4);
1082 if (Kind.isMergeableConst8())
1083 return Context.getELFSection(CstPrefix + ".cst8" + SectionSuffixStr,
1084 ELF::SHT_PROGBITS, MergeableCstFlags, 8);
1085 if (Kind.isMergeableConst16())
1086 return Context.getELFSection(CstPrefix + ".cst16" + SectionSuffixStr,
1087 ELF::SHT_PROGBITS, MergeableCstFlags, 16);
1088 if (Kind.isMergeableConst32())
1089 return Context.getELFSection(CstPrefix + ".cst32" + SectionSuffixStr,
1090 ELF::SHT_PROGBITS, MergeableCstFlags, 32);
1091 if (Kind.isReadOnly())
1092 return Context.getELFSection(CstPrefix + SectionSuffixStr,
1094
1095 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
1096 return Context.getELFSection(".data.rel.ro" + SectionSuffixStr,
1099}
1100
1102 const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment,
1103 const Function *F) const {
1104 return getSectionForConstantImpl(DL, Kind, C, "");
1105}
1106
1108 const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment,
1109 const Function *F, StringRef SectionSuffix) const {
1110 if (SectionSuffix.empty())
1111 return getSectionForConstant(DL, Kind, C, Alignment, F);
1112
1113 return getSectionForConstantImpl(DL, Kind, C, SectionSuffix);
1114}
1115
1116/// Returns a unique section for the given machine basic block.
1118 const Function &F, const MachineBasicBlock &MBB,
1119 const TargetMachine &TM) const {
1120 assert(MBB.isBeginSection() && "Basic block does not start a section!");
1122
1123 // For cold sections use the .text.split. prefix along with the parent
1124 // function name. All cold blocks for the same function go to the same
1125 // section. Similarly all exception blocks are grouped by symbol name
1126 // under the .text.eh prefix. For regular sections, we either use a unique
1127 // name, or a unique ID for the section.
1128 SmallString<128> Name;
1129 StringRef FunctionSectionName = MBB.getParent()->getSection()->getName();
1130 if (FunctionSectionName == ".text" ||
1131 FunctionSectionName.starts_with(".text.")) {
1132 // Function is in a regular .text section.
1133 StringRef FunctionName = MBB.getParent()->getName();
1134 if (MBB.getSectionID() == MBBSectionID::ColdSectionID) {
1136 Name += FunctionName;
1137 } else if (MBB.getSectionID() == MBBSectionID::ExceptionSectionID) {
1138 Name += ".text.eh.";
1139 Name += FunctionName;
1140 } else {
1141 Name += FunctionSectionName;
1142 if (TM.getUniqueBasicBlockSectionNames()) {
1143 if (!Name.ends_with("."))
1144 Name += ".";
1145 Name += MBB.getSymbol()->getName();
1146 } else {
1147 UniqueID = NextUniqueID++;
1148 }
1149 }
1150 } else {
1151 // If the original function has a custom non-dot-text section, then emit
1152 // all basic block sections into that section too, each with a unique id.
1153 Name = FunctionSectionName;
1154 UniqueID = NextUniqueID++;
1155 }
1156
1157 unsigned Flags =
1158 static_cast<const MCSectionELF *>(MBB.getParent()->getSection())
1159 ->getFlags();
1160 std::string GroupName;
1161 if (F.hasComdat()) {
1162 Flags |= ELF::SHF_GROUP;
1163 GroupName = F.getComdat()->getName().str();
1164 }
1165 return getContext().getELFSection(Name, ELF::SHT_PROGBITS, Flags,
1166 0 /* Entry Size */, GroupName,
1167 F.hasComdat(), UniqueID, nullptr);
1168}
1169
1170static MCSectionELF *getStaticStructorSection(MCContext &Ctx, bool UseInitArray,
1171 bool IsCtor, unsigned Priority,
1172 const MCSymbol *KeySym) {
1173 std::string Name;
1174 unsigned Type;
1175 unsigned Flags = ELF::SHF_ALLOC | ELF::SHF_WRITE;
1176 StringRef Comdat = KeySym ? KeySym->getName() : "";
1177
1178 if (KeySym)
1179 Flags |= ELF::SHF_GROUP;
1180
1181 if (UseInitArray) {
1182 if (IsCtor) {
1184 Name = ".init_array";
1185 } else {
1187 Name = ".fini_array";
1188 }
1189 if (Priority != 65535) {
1190 Name += '.';
1191 Name += utostr(Priority);
1192 }
1193 } else {
1194 // The default scheme is .ctor / .dtor, so we have to invert the priority
1195 // numbering.
1196 if (IsCtor)
1197 Name = ".ctors";
1198 else
1199 Name = ".dtors";
1200 if (Priority != 65535)
1201 raw_string_ostream(Name) << format(".%05u", 65535 - Priority);
1203 }
1204
1205 return Ctx.getELFSection(Name, Type, Flags, 0, Comdat, /*IsComdat=*/true);
1206}
1207
1209 unsigned Priority, const MCSymbol *KeySym) const {
1210 return getStaticStructorSection(getContext(), UseInitArray, true, Priority,
1211 KeySym);
1212}
1213
1215 unsigned Priority, const MCSymbol *KeySym) const {
1216 return getStaticStructorSection(getContext(), UseInitArray, false, Priority,
1217 KeySym);
1218}
1219
1221 const MCSymbol *LHS, const MCSymbol *RHS, int64_t Addend,
1222 std::optional<int64_t> PCRelativeOffset) const {
1223 auto &Ctx = getContext();
1224 const MCExpr *Res;
1225 // Return a relocatable expression with the PLT specifier, %plt(GV) or
1226 // %plt(GV-RHS).
1227 if (PCRelativeOffset && PLTPCRelativeSpecifier) {
1228 Res = MCSymbolRefExpr::create(LHS, Ctx);
1229 // The current location is RHS plus *PCRelativeOffset. Compensate for it.
1230 Addend += *PCRelativeOffset;
1231 if (Addend)
1232 Res = MCBinaryExpr::createAdd(Res, MCConstantExpr::create(Addend, Ctx),
1233 Ctx);
1235 }
1236
1238 return nullptr;
1241 MCSymbolRefExpr::create(RHS, Ctx), Ctx);
1242 if (Addend)
1243 Res =
1244 MCBinaryExpr::createAdd(Res, MCConstantExpr::create(Addend, Ctx), Ctx);
1245 return Res;
1246}
1247
1248// Reference the PLT entry of a function, optionally with a subtrahend (`RHS`).
1250 const MCSymbol *LHS, const MCSymbol *RHS, int64_t Addend,
1251 std::optional<int64_t> PCRelativeOffset, const TargetMachine &TM) const {
1252 if (RHS)
1253 return lowerSymbolDifference(LHS, RHS, Addend, PCRelativeOffset);
1254
1255 // Only the legacy MCSymbolRefExpr::VariantKind approach is implemented.
1256 // Reference LHS@plt or LHS@plt - RHS.
1259 return nullptr;
1260}
1261
1263 // Use ".GCC.command.line" since this feature is to support clang's
1264 // -frecord-gcc-switches which in turn attempts to mimic GCC's switch of the
1265 // same name.
1266 return getContext().getELFSection(".GCC.command.line", ELF::SHT_PROGBITS,
1268}
1269
1270void
1272 UseInitArray = UseInitArray_;
1273 MCContext &Ctx = getContext();
1274 if (!UseInitArray) {
1275 StaticCtorSection = Ctx.getELFSection(".ctors", ELF::SHT_PROGBITS,
1277
1278 StaticDtorSection = Ctx.getELFSection(".dtors", ELF::SHT_PROGBITS,
1280 return;
1281 }
1282
1283 StaticCtorSection = Ctx.getELFSection(".init_array", ELF::SHT_INIT_ARRAY,
1285 StaticDtorSection = Ctx.getELFSection(".fini_array", ELF::SHT_FINI_ARRAY,
1287}
1288
1289//===----------------------------------------------------------------------===//
1290// MachO
1291//===----------------------------------------------------------------------===//
1292
1296
1298 const TargetMachine &TM) {
1300 if (TM.getRelocationModel() == Reloc::Static) {
1301 StaticCtorSection = Ctx.getMachOSection("__TEXT", "__constructor", 0,
1303 StaticDtorSection = Ctx.getMachOSection("__TEXT", "__destructor", 0,
1305 } else {
1306 StaticCtorSection = Ctx.getMachOSection("__DATA", "__mod_init_func",
1309 StaticDtorSection = Ctx.getMachOSection("__DATA", "__mod_term_func",
1312 }
1313
1319}
1320
1322 unsigned Priority, const MCSymbol *KeySym) const {
1323 return StaticDtorSection;
1324 // In userspace, we lower global destructors via atexit(), but kernel/kext
1325 // environments do not provide this function so we still need to support the
1326 // legacy way here.
1327 // See the -disable-atexit-based-global-dtor-lowering CodeGen flag for more
1328 // context.
1329}
1330
1332 Module &M) const {
1333 // Emit the linker options if present.
1335
1337
1338 unsigned VersionVal = 0;
1339 unsigned ImageInfoFlags = 0;
1340 StringRef SectionVal;
1341
1342 GetObjCImageInfo(M, VersionVal, ImageInfoFlags, SectionVal);
1344
1345 // The section is mandatory. If we don't have it, then we don't have GC info.
1346 if (SectionVal.empty())
1347 return;
1348
1349 StringRef Segment, Section;
1350 unsigned TAA = 0, StubSize = 0;
1351 bool TAAParsed;
1353 SectionVal, Segment, Section, TAA, TAAParsed, StubSize)) {
1354 // If invalid, report the error with report_fatal_error.
1355 report_fatal_error("Invalid section specifier '" + Section +
1356 "': " + toString(std::move(E)) + ".");
1357 }
1358
1359 // Get the section.
1361 Segment, Section, TAA, StubSize, SectionKind::getData());
1362 Streamer.switchSection(S);
1363 Streamer.emitLabel(getContext().
1364 getOrCreateSymbol(StringRef("L_OBJC_IMAGE_INFO")));
1365 Streamer.emitInt32(VersionVal);
1366 Streamer.emitInt32(ImageInfoFlags);
1367 Streamer.addBlankLine();
1368}
1369
1371 Module &M) const {
1372 if (auto *LinkerOptions = M.getNamedMetadata("llvm.linker.options")) {
1373 for (const auto *Option : LinkerOptions->operands()) {
1374 SmallVector<std::string, 4> StrOptions;
1375 for (const auto &Piece : cast<MDNode>(Option)->operands())
1376 StrOptions.push_back(std::string(cast<MDString>(Piece)->getString()));
1377 Streamer.emitLinkerOptions(StrOptions);
1378 }
1379 }
1380}
1381
1382static void checkMachOComdat(const GlobalValue *GV) {
1383 const Comdat *C = GV->getComdat();
1384 if (!C)
1385 return;
1386
1387 report_fatal_error("MachO doesn't support COMDATs, '" + C->getName() +
1388 "' cannot be lowered.");
1389}
1390
1392 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
1393
1396
1397 // Parse the section specifier and create it if valid.
1398 StringRef Segment, Section;
1399 unsigned TAA = 0, StubSize = 0;
1400 bool TAAParsed;
1401
1402 checkMachOComdat(GO);
1403
1405 SectionName, Segment, Section, TAA, TAAParsed, StubSize)) {
1406 // If invalid, report the error with report_fatal_error.
1407 report_fatal_error("Global variable '" + GO->getName() +
1408 "' has an invalid section specifier '" +
1409 GO->getSection() + "': " + toString(std::move(E)) + ".");
1410 }
1411
1412 // Get the section.
1413 MCSectionMachO *S =
1414 getContext().getMachOSection(Segment, Section, TAA, StubSize, Kind);
1415
1416 // If TAA wasn't set by ParseSectionSpecifier() above,
1417 // use the value returned by getMachOSection() as a default.
1418 if (!TAAParsed)
1419 TAA = S->getTypeAndAttributes();
1420
1421 // Okay, now that we got the section, verify that the TAA & StubSize agree.
1422 // If the user declared multiple globals with different section flags, we need
1423 // to reject it here.
1424 if (S->getTypeAndAttributes() != TAA || S->getStubSize() != StubSize) {
1425 // If invalid, report the error with report_fatal_error.
1426 report_fatal_error("Global variable '" + GO->getName() +
1427 "' section type or attributes does not match previous"
1428 " section specifier");
1429 }
1430
1431 return S;
1432}
1433
1435 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
1436 checkMachOComdat(GO);
1437
1438 // Handle thread local data.
1439 if (Kind.isThreadBSS()) return TLSBSSSection;
1440 if (Kind.isThreadData()) return TLSDataSection;
1441
1442 if (Kind.isText())
1444
1445 // If this is weak/linkonce, put this in a coalescable section, either in text
1446 // or data depending on if it is writable.
1447 if (GO->isWeakForLinker()) {
1448 if (Kind.isReadOnly())
1449 return ConstTextCoalSection;
1450 if (Kind.isReadOnlyWithRel())
1451 return ConstDataCoalSection;
1452 return DataCoalSection;
1453 }
1454
1455 // FIXME: Alignment check should be handled by section classifier.
1456 if (Kind.isMergeable1ByteCString() &&
1458 cast<GlobalVariable>(GO)) < Align(32))
1459 return CStringSection;
1460
1461 // Do not put 16-bit arrays in the UString section if they have an
1462 // externally visible label, this runs into issues with certain linker
1463 // versions.
1464 if (Kind.isMergeable2ByteCString() && !GO->hasExternalLinkage() &&
1466 cast<GlobalVariable>(GO)) < Align(32))
1467 return UStringSection;
1468
1469 // With MachO only variables whose corresponding symbol starts with 'l' or
1470 // 'L' can be merged, so we only try merging GVs with private linkage.
1471 if (GO->hasPrivateLinkage() && Kind.isMergeableConst()) {
1472 if (Kind.isMergeableConst4())
1474 if (Kind.isMergeableConst8())
1476 if (Kind.isMergeableConst16())
1478 }
1479
1480 // Otherwise, if it is readonly, but not something we can specially optimize,
1481 // just drop it in .const.
1482 if (Kind.isReadOnly())
1483 return ReadOnlySection;
1484
1485 // If this is marked const, put it into a const section. But if the dynamic
1486 // linker needs to write to it, put it in the data segment.
1487 if (Kind.isReadOnlyWithRel())
1488 return ConstDataSection;
1489
1490 // Put zero initialized globals with strong external linkage in the
1491 // DATA, __common section with the .zerofill directive.
1492 if (Kind.isBSSExtern())
1493 return DataCommonSection;
1494
1495 // Put zero initialized globals with local linkage in __DATA,__bss directive
1496 // with the .zerofill directive (aka .lcomm).
1497 if (Kind.isBSSLocal())
1498 return DataBSSSection;
1499
1500 // Otherwise, just drop the variable in the normal data section.
1501 return DataSection;
1502}
1503
1505 const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment,
1506 const Function *F) const {
1507 // If this constant requires a relocation, we have to put it in the data
1508 // segment, not in the text segment.
1509 if (Kind.isData() || Kind.isReadOnlyWithRel())
1510 return ConstDataSection;
1511
1512 if (Kind.isMergeableConst4())
1514 if (Kind.isMergeableConst8())
1516 if (Kind.isMergeableConst16())
1518 return ReadOnlySection; // .const
1519}
1520
1525
1527 const GlobalValue *GV, unsigned Encoding, const TargetMachine &TM,
1528 MachineModuleInfo *MMI, MCStreamer &Streamer) const {
1529 // The mach-o version of this method defaults to returning a stub reference.
1530
1531 if (Encoding & DW_EH_PE_indirect) {
1532 MachineModuleInfoMachO &MachOMMI =
1534
1535 MCSymbol *SSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr", TM);
1536
1537 // Add information about the stub reference to MachOMMI so that the stub
1538 // gets emitted by the asmprinter.
1539 MachineModuleInfoImpl::StubValueTy &StubSym = MachOMMI.getGVStubEntry(SSym);
1540 if (!StubSym.getPointer()) {
1541 MCSymbol *Sym = TM.getSymbol(GV);
1543 }
1544
1547 Encoding & ~DW_EH_PE_indirect, Streamer);
1548 }
1549
1551 MMI, Streamer);
1552}
1553
1555 const GlobalValue *GV, const TargetMachine &TM,
1556 MachineModuleInfo *MMI) const {
1557 // The mach-o version of this method defaults to returning a stub reference.
1558 MachineModuleInfoMachO &MachOMMI =
1560
1561 MCSymbol *SSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr", TM);
1562
1563 // Add information about the stub reference to MachOMMI so that the stub
1564 // gets emitted by the asmprinter.
1565 MachineModuleInfoImpl::StubValueTy &StubSym = MachOMMI.getGVStubEntry(SSym);
1566 if (!StubSym.getPointer()) {
1567 MCSymbol *Sym = TM.getSymbol(GV);
1569 }
1570
1571 return SSym;
1572}
1573
1575 const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV,
1576 int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const {
1577 // Although MachO 32-bit targets do not explicitly have a GOTPCREL relocation
1578 // as 64-bit do, we replace the GOT equivalent by accessing the final symbol
1579 // through a non_lazy_ptr stub instead. One advantage is that it allows the
1580 // computation of deltas to final external symbols. Example:
1581 //
1582 // _extgotequiv:
1583 // .long _extfoo
1584 //
1585 // _delta:
1586 // .long _extgotequiv-_delta
1587 //
1588 // is transformed to:
1589 //
1590 // _delta:
1591 // .long L_extfoo$non_lazy_ptr-(_delta+0)
1592 //
1593 // .section __IMPORT,__pointers,non_lazy_symbol_pointers
1594 // L_extfoo$non_lazy_ptr:
1595 // .indirect_symbol _extfoo
1596 // .long 0
1597 //
1598 // The indirect symbol table (and sections of non_lazy_symbol_pointers type)
1599 // may point to both local (same translation unit) and global (other
1600 // translation units) symbols. Example:
1601 //
1602 // .section __DATA,__pointers,non_lazy_symbol_pointers
1603 // L1:
1604 // .indirect_symbol _myGlobal
1605 // .long 0
1606 // L2:
1607 // .indirect_symbol _myLocal
1608 // .long _myLocal
1609 //
1610 // If the symbol is local, instead of the symbol's index, the assembler
1611 // places the constant INDIRECT_SYMBOL_LOCAL into the indirect symbol table.
1612 // Then the linker will notice the constant in the table and will look at the
1613 // content of the symbol.
1614 MachineModuleInfoMachO &MachOMMI =
1616 MCContext &Ctx = getContext();
1617
1618 // The offset must consider the original displacement from the base symbol
1619 // since 32-bit targets don't have a GOTPCREL to fold the PC displacement.
1620 Offset = -MV.getConstant();
1621 const MCSymbol *BaseSym = MV.getSubSym();
1622
1623 // Access the final symbol via sym$non_lazy_ptr and generate the appropriated
1624 // non_lazy_ptr stubs.
1625 SmallString<128> Name;
1626 StringRef Suffix = "$non_lazy_ptr";
1628 Name += Sym->getName();
1629 Name += Suffix;
1630 MCSymbol *Stub = Ctx.getOrCreateSymbol(Name);
1631
1632 MachineModuleInfoImpl::StubValueTy &StubSym = MachOMMI.getGVStubEntry(Stub);
1633
1634 if (!StubSym.getPointer())
1635 StubSym = MachineModuleInfoImpl::StubValueTy(const_cast<MCSymbol *>(Sym),
1636 !GV->hasLocalLinkage());
1637
1638 const MCExpr *BSymExpr = MCSymbolRefExpr::create(BaseSym, Ctx);
1639 const MCExpr *LHS = MCSymbolRefExpr::create(Stub, Ctx);
1640
1641 if (!Offset)
1642 return MCBinaryExpr::createSub(LHS, BSymExpr, Ctx);
1643
1644 const MCExpr *RHS =
1646 return MCBinaryExpr::createSub(LHS, RHS, Ctx);
1647}
1648
1649static bool canUsePrivateLabel(const MCAsmInfo &AsmInfo,
1650 const MCSection &Section) {
1652 return true;
1653
1654 // FIXME: we should be able to use private labels for sections that can't be
1655 // dead-stripped (there's no issue with blocking atomization there), but `ld
1656 // -r` sometimes drops the no_dead_strip attribute from sections so for safety
1657 // we don't allow it.
1658 return false;
1659}
1660
1662 SmallVectorImpl<char> &OutName, const GlobalValue *GV,
1663 const TargetMachine &TM) const {
1664 bool CannotUsePrivateLabel = true;
1665 if (auto *GO = GV->getAliaseeObject()) {
1667 const MCSection *TheSection = SectionForGlobal(GO, GOKind, TM);
1668 CannotUsePrivateLabel = !canUsePrivateLabel(TM.getMCAsmInfo(), *TheSection);
1669 }
1670 getMangler().getNameWithPrefix(OutName, GV, CannotUsePrivateLabel);
1671}
1672
1673//===----------------------------------------------------------------------===//
1674// COFF
1675//===----------------------------------------------------------------------===//
1676
1677static unsigned
1679 unsigned Flags = 0;
1681
1682 if (K.isMetadata())
1683 Flags |=
1685 else if (K.isExclude())
1686 Flags |=
1688 else if (K.isText())
1689 Flags |=
1694 else if (K.isBSS())
1695 Flags |=
1699 else if (K.isThreadLocal())
1700 Flags |=
1704 else if (K.isReadOnly() || K.isReadOnlyWithRel())
1705 Flags |=
1708 else if (K.isWriteable())
1709 Flags |=
1713
1714 return Flags;
1715}
1716
1718 const Comdat *C = GV->getComdat();
1719 assert(C && "expected GV to have a Comdat!");
1720
1721 StringRef ComdatGVName = C->getName();
1722 const GlobalValue *ComdatGV = GV->getParent()->getNamedValue(ComdatGVName);
1723 if (!ComdatGV)
1724 report_fatal_error("Associative COMDAT symbol '" + ComdatGVName +
1725 "' does not exist.");
1726
1727 if (ComdatGV->getComdat() != C)
1728 report_fatal_error("Associative COMDAT symbol '" + ComdatGVName +
1729 "' is not a key for its COMDAT.");
1730
1731 return ComdatGV;
1732}
1733
1734static int getSelectionForCOFF(const GlobalValue *GV) {
1735 if (const Comdat *C = GV->getComdat()) {
1736 const GlobalValue *ComdatKey = getComdatGVForCOFF(GV);
1737 if (const auto *GA = dyn_cast<GlobalAlias>(ComdatKey))
1738 ComdatKey = GA->getAliaseeObject();
1739 if (ComdatKey == GV) {
1740 switch (C->getSelectionKind()) {
1741 case Comdat::Any:
1743 case Comdat::ExactMatch:
1745 case Comdat::Largest:
1749 case Comdat::SameSize:
1751 }
1752 } else {
1754 }
1755 }
1756 return 0;
1757}
1758
1760 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
1762 if (Name == getInstrProfSectionName(IPSK_covmap, Triple::COFF,
1763 /*AddSegmentInfo=*/false) ||
1764 Name == getInstrProfSectionName(IPSK_covfun, Triple::COFF,
1765 /*AddSegmentInfo=*/false) ||
1766 Name == getInstrProfSectionName(IPSK_covdata, Triple::COFF,
1767 /*AddSegmentInfo=*/false) ||
1768 Name == getInstrProfSectionName(IPSK_covname, Triple::COFF,
1769 /*AddSegmentInfo=*/false) ||
1770 Name == ".llvmbc" || Name == ".llvmcmd")
1771 Kind = SectionKind::getMetadata();
1772 int Selection = 0;
1773 unsigned Characteristics = getCOFFSectionFlags(Kind, TM);
1774 StringRef COMDATSymName = "";
1775 if (GO->hasComdat()) {
1777 const GlobalValue *ComdatGV;
1779 ComdatGV = getComdatGVForCOFF(GO);
1780 else
1781 ComdatGV = GO;
1782
1783 if (!ComdatGV->hasPrivateLinkage()) {
1784 MCSymbol *Sym = TM.getSymbol(ComdatGV);
1785 COMDATSymName = Sym->getName();
1786 Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
1787 } else {
1788 Selection = 0;
1789 }
1790 }
1791
1792 return getContext().getCOFFSection(Name, Characteristics, COMDATSymName,
1793 Selection);
1794}
1795
1797 if (Kind.isText())
1798 return ".text";
1799 if (Kind.isBSS())
1800 return ".bss";
1801 if (Kind.isThreadLocal())
1802 return ".tls$";
1803 if (Kind.isReadOnly() || Kind.isReadOnlyWithRel())
1804 return ".rdata";
1805 return ".data";
1806}
1807
1809 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
1810 // If we have -ffunction-sections then we should emit the global value to a
1811 // uniqued section specifically for it.
1812 bool EmitUniquedSection;
1813 if (Kind.isText())
1814 EmitUniquedSection = TM.getFunctionSections();
1815 else
1816 EmitUniquedSection = TM.getDataSections();
1817
1818 if ((EmitUniquedSection && !Kind.isCommon()) || GO->hasComdat()) {
1820
1821 unsigned Characteristics = getCOFFSectionFlags(Kind, TM);
1822
1823 Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
1825 if (!Selection)
1827 const GlobalValue *ComdatGV;
1828 if (GO->hasComdat())
1829 ComdatGV = getComdatGVForCOFF(GO);
1830 else
1831 ComdatGV = GO;
1832
1834 if (EmitUniquedSection)
1835 UniqueID = NextUniqueID++;
1836
1837 if (!ComdatGV->hasPrivateLinkage()) {
1838 MCSymbol *Sym = TM.getSymbol(ComdatGV);
1839 StringRef COMDATSymName = Sym->getName();
1840
1841 if (const auto *F = dyn_cast<Function>(GO))
1842 if (std::optional<StringRef> Prefix = F->getSectionPrefix())
1843 raw_svector_ostream(Name) << '$' << *Prefix;
1844
1845 // Append "$symbol" to the section name *before* IR-level mangling is
1846 // applied when targetting mingw. This is what GCC does, and the ld.bfd
1847 // COFF linker will not properly handle comdats otherwise.
1848 if (getContext().getTargetTriple().isOSCygMing())
1849 raw_svector_ostream(Name) << '$' << ComdatGV->getName();
1850
1851 return getContext().getCOFFSection(Name, Characteristics, COMDATSymName,
1853 } else {
1854 SmallString<256> TmpData;
1855 getMangler().getNameWithPrefix(TmpData, GO, /*CannotUsePrivateLabel=*/true);
1856 return getContext().getCOFFSection(Name, Characteristics, TmpData,
1858 }
1859 }
1860
1861 if (Kind.isText())
1862 return TextSection;
1863
1864 if (Kind.isThreadLocal())
1865 return TLSDataSection;
1866
1867 if (Kind.isReadOnly() || Kind.isReadOnlyWithRel())
1868 return ReadOnlySection;
1869
1870 // Note: we claim that common symbols are put in BSSSection, but they are
1871 // really emitted with the magic .comm directive, which creates a symbol table
1872 // entry but not a section.
1873 if (Kind.isBSS() || Kind.isCommon())
1874 return BSSSection;
1875
1876 return DataSection;
1877}
1878
1880 SmallVectorImpl<char> &OutName, const GlobalValue *GV,
1881 const TargetMachine &TM) const {
1882 bool CannotUsePrivateLabel = false;
1883 if (GV->hasPrivateLinkage() &&
1884 ((isa<Function>(GV) && TM.getFunctionSections()) ||
1885 (isa<GlobalVariable>(GV) && TM.getDataSections())))
1886 CannotUsePrivateLabel = true;
1887
1888 getMangler().getNameWithPrefix(OutName, GV, CannotUsePrivateLabel);
1889}
1890
1892 const Function &F, const TargetMachine &TM) const {
1893 // If the function can be removed, produce a unique section so that
1894 // the table doesn't prevent the removal.
1895 const Comdat *C = F.getComdat();
1896 bool EmitUniqueSection = TM.getFunctionSections() || C;
1897 if (!EmitUniqueSection)
1898 return ReadOnlySection;
1899
1900 // FIXME: we should produce a symbol for F instead.
1901 if (F.hasPrivateLinkage())
1902 return ReadOnlySection;
1903
1904 MCSymbol *Sym = TM.getSymbol(&F);
1905 StringRef COMDATSymName = Sym->getName();
1906
1909 unsigned Characteristics = getCOFFSectionFlags(Kind, TM);
1910 Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
1911 unsigned UniqueID = NextUniqueID++;
1912
1913 return getContext().getCOFFSection(SecName, Characteristics, COMDATSymName,
1915 UniqueID);
1916}
1917
1919 bool UsesLabelDifference, const Function &F) const {
1920 if (TM->getTargetTriple().getArch() == Triple::x86_64) {
1922 // We can always create relative relocations, so use another section
1923 // that can be marked non-executable.
1924 return false;
1925 }
1926 }
1928 UsesLabelDifference, F);
1929}
1930
1932 Module &M) const {
1934
1935 unsigned Version = 0;
1936 unsigned Flags = 0;
1937 StringRef Section;
1938
1939 GetObjCImageInfo(M, Version, Flags, Section);
1940 if (!Section.empty()) {
1941 auto &C = getContext();
1942 auto *S = C.getCOFFSection(Section, COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
1944 Streamer.switchSection(S);
1945 Streamer.emitLabel(C.getOrCreateSymbol(StringRef("OBJC_IMAGE_INFO")));
1946 Streamer.emitInt32(Version);
1947 Streamer.emitInt32(Flags);
1948 Streamer.addBlankLine();
1949 }
1950
1953 if (MCSymbol *Sym =
1954 static_cast<MCSectionCOFF *>(Streamer.getCurrentSectionOnly())
1955 ->getCOMDATSymbol())
1956 if (Sym->isUndefined()) {
1957 // COMDAT symbol must be external to perform deduplication.
1958 Streamer.emitSymbolAttribute(Sym, MCSA_Global);
1959 Streamer.emitLabel(Sym);
1960 }
1961 });
1962}
1963
1965 MCStreamer &Streamer, Module &M) const {
1966 if (NamedMDNode *LinkerOptions = M.getNamedMetadata("llvm.linker.options")) {
1967 // Emit the linker options to the linker .drectve section. According to the
1968 // spec, this section is a space-separated string containing flags for
1969 // linker.
1971 Streamer.switchSection(Sec);
1972 for (const auto *Option : LinkerOptions->operands()) {
1973 for (const auto &Piece : cast<MDNode>(Option)->operands()) {
1974 // Lead with a space for consistency with our dllexport implementation.
1975 std::string Directive(" ");
1976 Directive.append(std::string(cast<MDString>(Piece)->getString()));
1977 Streamer.emitBytes(Directive);
1978 }
1979 }
1980 }
1981
1982 // Emit /EXPORT: flags for each exported global as necessary.
1983 std::string Flags;
1984 for (const GlobalValue &GV : M.global_values()) {
1985 raw_string_ostream OS(Flags);
1986 emitLinkerFlagsForGlobalCOFF(OS, &GV, getContext().getTargetTriple(),
1987 getMangler());
1988 if (!Flags.empty()) {
1989 Streamer.switchSection(getDrectveSection());
1990 Streamer.emitBytes(Flags);
1991 }
1992 Flags.clear();
1993 }
1994
1995 // Emit /INCLUDE: flags for each used global as necessary.
1996 if (const auto *LU = M.getNamedGlobal("llvm.used")) {
1997 assert(LU->hasInitializer() && "expected llvm.used to have an initializer");
1998 assert(isa<ArrayType>(LU->getValueType()) &&
1999 "expected llvm.used to be an array type");
2000 if (const auto *A = cast<ConstantArray>(LU->getInitializer())) {
2001 for (const Value *Op : A->operands()) {
2002 const auto *GV = cast<GlobalValue>(Op->stripPointerCasts());
2003 // Global symbols with internal or private linkage are not visible to
2004 // the linker, and thus would cause an error when the linker tried to
2005 // preserve the symbol due to the `/include:` directive.
2006 if (GV->hasLocalLinkage())
2007 continue;
2008
2009 raw_string_ostream OS(Flags);
2010 emitLinkerFlagsForUsedCOFF(OS, GV, getContext().getTargetTriple(),
2011 getMangler());
2012
2013 if (!Flags.empty()) {
2014 Streamer.switchSection(getDrectveSection());
2015 Streamer.emitBytes(Flags);
2016 }
2017 Flags.clear();
2018 }
2019 }
2020 }
2021}
2022
2024 const TargetMachine &TM) {
2026 this->TM = &TM;
2027 const Triple &T = TM.getTargetTriple();
2028 if (T.isWindowsMSVCEnvironment() || T.isWindowsItaniumEnvironment()) {
2030 Ctx.getCOFFSection(".CRT$XCU", COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
2033 Ctx.getCOFFSection(".CRT$XTX", COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
2035 } else {
2036 StaticCtorSection = Ctx.getCOFFSection(
2039 StaticDtorSection = Ctx.getCOFFSection(
2042 }
2043}
2044
2046 const Triple &T, bool IsCtor,
2047 unsigned Priority,
2048 const MCSymbol *KeySym,
2050 if (T.isWindowsMSVCEnvironment() || T.isWindowsItaniumEnvironment()) {
2051 // If the priority is the default, use .CRT$XCU, possibly associative.
2052 if (Priority == 65535)
2053 return Ctx.getAssociativeCOFFSection(Default, KeySym, 0);
2054
2055 // Otherwise, we need to compute a new section name. Low priorities should
2056 // run earlier. The linker will sort sections ASCII-betically, and we need a
2057 // string that sorts between .CRT$XCA and .CRT$XCU. In the general case, we
2058 // make a name like ".CRT$XCT12345", since that runs before .CRT$XCU. Really
2059 // low priorities need to sort before 'L', since the CRT uses that
2060 // internally, so we use ".CRT$XCA00001" for them. We have a contract with
2061 // the frontend that "init_seg(compiler)" corresponds to priority 200 and
2062 // "init_seg(lib)" corresponds to priority 400, and those respectively use
2063 // 'C' and 'L' without the priority suffix. Priorities between 200 and 400
2064 // use 'C' with the priority as a suffix.
2065 SmallString<24> Name;
2066 char LastLetter = 'T';
2067 bool AddPrioritySuffix = Priority != 200 && Priority != 400;
2068 if (Priority < 200)
2069 LastLetter = 'A';
2070 else if (Priority < 400)
2071 LastLetter = 'C';
2072 else if (Priority == 400)
2073 LastLetter = 'L';
2074 raw_svector_ostream OS(Name);
2075 OS << ".CRT$X" << (IsCtor ? "C" : "T") << LastLetter;
2076 if (AddPrioritySuffix)
2077 OS << format("%05u", Priority);
2078 MCSectionCOFF *Sec = Ctx.getCOFFSection(
2080 return Ctx.getAssociativeCOFFSection(Sec, KeySym, 0);
2081 }
2082
2083 std::string Name = IsCtor ? ".ctors" : ".dtors";
2084 if (Priority != 65535)
2085 raw_string_ostream(Name) << format(".%05u", 65535 - Priority);
2086
2087 return Ctx.getAssociativeCOFFSection(
2088 Ctx.getCOFFSection(Name, COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
2091 KeySym, 0);
2092}
2093
2095 unsigned Priority, const MCSymbol *KeySym) const {
2097 getContext(), getContext().getTargetTriple(), true, Priority, KeySym,
2098 static_cast<MCSectionCOFF *>(StaticCtorSection));
2099}
2100
2102 unsigned Priority, const MCSymbol *KeySym) const {
2104 getContext(), getContext().getTargetTriple(), false, Priority, KeySym,
2105 static_cast<MCSectionCOFF *>(StaticDtorSection));
2106}
2107
2109 const GlobalValue *LHS, const GlobalValue *RHS, int64_t Addend,
2110 std::optional<int64_t> PCRelativeOffset, const TargetMachine &TM) const {
2111 const Triple &T = TM.getTargetTriple();
2112 if (T.isOSCygMing())
2113 return nullptr;
2114
2115 // Our symbols should exist in address space zero, cowardly no-op if
2116 // otherwise.
2117 if (LHS->getType()->getPointerAddressSpace() != 0 ||
2118 RHS->getType()->getPointerAddressSpace() != 0)
2119 return nullptr;
2120
2121 const auto *GA = dyn_cast<GlobalAlias>(LHS);
2122 const GlobalObject *GO = GA ? dyn_cast_or_null<GlobalObject>(GA->getAliasee())
2124
2125 // Both ptrtoint instructions must wrap global objects:
2126 // - Only dso_local global variables/functions (or direct aliases thereof) are
2127 // eligible for image relative relocations.
2128 // - The subtrahend refers to the special symbol __ImageBase, a
2129 // GlobalVariable. We expect __ImageBase to be a global variable without a
2130 // section, externally defined.
2131 //
2132 // It should look something like this: @__ImageBase = external constant i8
2133 if (!GO || !TM.shouldAssumeDSOLocal(LHS) || GO->isThreadLocal() ||
2134 !isa<GlobalVariable>(RHS) || RHS->isThreadLocal() ||
2135 RHS->getName() != "__ImageBase" || !RHS->hasExternalLinkage() ||
2136 cast<GlobalVariable>(RHS)->hasInitializer() || RHS->hasSection())
2137 return nullptr;
2138
2139 const MCExpr *Res = MCSymbolRefExpr::create(
2140 TM.getSymbol(LHS), MCSymbolRefExpr::VK_COFF_IMGREL32, getContext());
2141 if (Addend != 0)
2143 Res, MCConstantExpr::create(Addend, getContext()), getContext());
2144 return Res;
2145}
2146
2147static std::string APIntToHexString(const APInt &AI) {
2148 unsigned Width = (AI.getBitWidth() / 8) * 2;
2149 std::string HexString = toString(AI, 16, /*Signed=*/false);
2150 llvm::transform(HexString, HexString.begin(), tolower);
2151 unsigned Size = HexString.size();
2152 assert(Width >= Size && "hex string is too large!");
2153 HexString.insert(HexString.begin(), Width - Size, '0');
2154
2155 return HexString;
2156}
2157
2158static std::string scalarConstantToHexString(const Constant *C) {
2159 Type *Ty = C->getType();
2160 if (isa<UndefValue>(C)) {
2161 return APIntToHexString(APInt::getZero(Ty->getPrimitiveSizeInBits()));
2162 } else if (const auto *CFP = dyn_cast<ConstantFP>(C)) {
2163 if (CFP->getType()->isFloatingPointTy())
2164 return APIntToHexString(CFP->getValueAPF().bitcastToAPInt());
2165
2166 std::string HexString;
2167 unsigned NumElements =
2168 cast<FixedVectorType>(CFP->getType())->getNumElements();
2169 for (unsigned I = 0; I < NumElements; ++I)
2170 HexString += APIntToHexString(CFP->getValueAPF().bitcastToAPInt());
2171 return HexString;
2172 } else if (const auto *CI = dyn_cast<ConstantInt>(C)) {
2173 if (CI->getType()->isIntegerTy())
2174 return APIntToHexString(CI->getValue());
2175
2176 std::string HexString;
2177 unsigned NumElements =
2178 cast<FixedVectorType>(CI->getType())->getNumElements();
2179 for (unsigned I = 0; I < NumElements; ++I)
2180 HexString += APIntToHexString(CI->getValue());
2181 return HexString;
2182 } else {
2183 unsigned NumElements;
2184 if (auto *VTy = dyn_cast<VectorType>(Ty))
2185 NumElements = cast<FixedVectorType>(VTy)->getNumElements();
2186 else
2187 NumElements = Ty->getArrayNumElements();
2188 std::string HexString;
2189 for (int I = NumElements - 1, E = -1; I != E; --I)
2190 HexString += scalarConstantToHexString(C->getAggregateElement(I));
2191 return HexString;
2192 }
2193}
2194
2196 const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment,
2197 const Function *F) const {
2198 if (Kind.isMergeableConst() && C &&
2199 getContext().getAsmInfo().hasCOFFComdatConstants()) {
2200 // This creates comdat sections with the given symbol name, but unless
2201 // AsmPrinter::GetCPISymbol actually makes the symbol global, the symbol
2202 // will be created with a null storage class, which makes GNU binutils
2203 // error out.
2204 const unsigned Characteristics = COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
2207 std::string COMDATSymName;
2208 if (Kind.isMergeableConst4()) {
2209 if (Alignment <= 4) {
2210 COMDATSymName = "__real@" + scalarConstantToHexString(C);
2211 Alignment = Align(4);
2212 }
2213 } else if (Kind.isMergeableConst8()) {
2214 if (Alignment <= 8) {
2215 COMDATSymName = "__real@" + scalarConstantToHexString(C);
2216 Alignment = Align(8);
2217 }
2218 } else if (Kind.isMergeableConst16()) {
2219 // FIXME: These may not be appropriate for non-x86 architectures.
2220 if (Alignment <= 16) {
2221 COMDATSymName = "__xmm@" + scalarConstantToHexString(C);
2222 Alignment = Align(16);
2223 }
2224 } else if (Kind.isMergeableConst32()) {
2225 if (Alignment <= 32) {
2226 COMDATSymName = "__ymm@" + scalarConstantToHexString(C);
2227 Alignment = Align(32);
2228 }
2229 }
2230
2231 if (!COMDATSymName.empty())
2232 return getContext().getCOFFSection(".rdata", Characteristics,
2233 COMDATSymName,
2235 }
2236
2237 return TargetLoweringObjectFile::getSectionForConstant(DL, Kind, C, Alignment,
2238 F);
2239}
2240
2241//===----------------------------------------------------------------------===//
2242// Wasm
2243//===----------------------------------------------------------------------===//
2244
2245static const Comdat *getWasmComdat(const GlobalValue *GV) {
2246 const Comdat *C = GV->getComdat();
2247 if (!C)
2248 return nullptr;
2249
2250 if (C->getSelectionKind() != Comdat::Any)
2251 report_fatal_error("WebAssembly COMDATs only support "
2252 "SelectionKind::Any, '" + C->getName() + "' cannot be "
2253 "lowered.");
2254
2255 return C;
2256}
2257
2258static unsigned getWasmSectionFlags(SectionKind K, bool Retain) {
2259 unsigned Flags = 0;
2260
2261 if (K.isThreadLocal())
2262 Flags |= wasm::WASM_SEG_FLAG_TLS;
2263
2264 if (K.isMergeableCString())
2266
2267 if (Retain)
2269
2270 // TODO(sbc): Add suport for K.isMergeableConst()
2271
2272 return Flags;
2273}
2274
2277 collectUsedGlobalVariables(M, Vec, false);
2278 for (GlobalValue *GV : Vec)
2279 if (auto *GO = dyn_cast<GlobalObject>(GV))
2280 Used.insert(GO);
2281}
2282
2284 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
2285 // We don't support explict section names for functions in the wasm object
2286 // format. Each function has to be in its own unique section.
2287 if (isa<Function>(GO)) {
2288 return SelectSectionForGlobal(GO, Kind, TM);
2289 }
2290
2291 StringRef Name = GO->getSection();
2292
2293 // Certain data sections we treat as named custom sections rather than
2294 // segments within the data section.
2295 // This could be avoided if all data segements (the wasm sense) were
2296 // represented as their own sections (in the llvm sense).
2297 // TODO(sbc): https://github.com/WebAssembly/tool-conventions/issues/138
2298 if (Name == getInstrProfSectionName(IPSK_covmap, Triple::Wasm,
2299 /*AddSegmentInfo=*/false) ||
2300 Name == getInstrProfSectionName(IPSK_covfun, Triple::Wasm,
2301 /*AddSegmentInfo=*/false) ||
2302 Name == ".llvmbc" || Name == ".llvmcmd")
2303 Kind = SectionKind::getMetadata();
2304
2305 StringRef Group = "";
2306 if (const Comdat *C = getWasmComdat(GO)) {
2307 Group = C->getName();
2308 }
2309
2310 unsigned Flags = getWasmSectionFlags(Kind, Used.count(GO));
2311 MCSectionWasm *Section = getContext().getWasmSection(Name, Kind, Flags, Group,
2313
2314 return Section;
2315}
2316
2317static MCSectionWasm *
2319 SectionKind Kind, Mangler &Mang,
2320 const TargetMachine &TM, bool EmitUniqueSection,
2321 unsigned *NextUniqueID, bool Retain) {
2322 StringRef Group = "";
2323 if (const Comdat *C = getWasmComdat(GO)) {
2324 Group = C->getName();
2325 }
2326
2327 bool UniqueSectionNames = TM.getUniqueSectionNames();
2328 SmallString<128> Name = getSectionPrefixForGlobal(Kind, /*IsLarge=*/false);
2329
2330 if (const auto *F = dyn_cast<Function>(GO)) {
2331 const auto &OptionalPrefix = F->getSectionPrefix();
2332 if (OptionalPrefix)
2333 raw_svector_ostream(Name) << '.' << *OptionalPrefix;
2334 }
2335
2336 if (EmitUniqueSection && UniqueSectionNames) {
2337 Name.push_back('.');
2338 TM.getNameWithPrefix(Name, GO, Mang, true);
2339 }
2341 if (EmitUniqueSection && !UniqueSectionNames) {
2342 UniqueID = *NextUniqueID;
2343 (*NextUniqueID)++;
2344 }
2345
2346 unsigned Flags = getWasmSectionFlags(Kind, Retain);
2347 return Ctx.getWasmSection(Name, Kind, Flags, Group, UniqueID);
2348}
2349
2351 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
2352
2353 if (Kind.isCommon())
2354 report_fatal_error("mergable sections not supported yet on wasm");
2355
2356 // If we have -ffunction-section or -fdata-section then we should emit the
2357 // global value to a uniqued section specifically for it.
2358 bool EmitUniqueSection = false;
2359 if (Kind.isText())
2360 EmitUniqueSection = TM.getFunctionSections();
2361 else
2362 EmitUniqueSection = TM.getDataSections();
2363 EmitUniqueSection |= GO->hasComdat();
2364 bool Retain = Used.count(GO);
2365 EmitUniqueSection |= Retain;
2366
2367 return selectWasmSectionForGlobal(getContext(), GO, Kind, getMangler(), TM,
2368 EmitUniqueSection, &NextUniqueID, Retain);
2369}
2370
2372 bool UsesLabelDifference, const Function &F) const {
2373 // We can always create relative relocations, so use another section
2374 // that can be marked non-executable.
2375 return false;
2376}
2377
2381
2382 // We don't use PersonalityEncoding and LSDAEncoding because we don't emit
2383 // .cfi directives. We use TTypeEncoding to encode typeinfo global variables.
2385}
2386
2388 unsigned Priority, const MCSymbol *KeySym) const {
2389 return Priority == UINT16_MAX ?
2391 getContext().getWasmSection(".init_array." + utostr(Priority),
2393}
2394
2396 unsigned Priority, const MCSymbol *KeySym) const {
2397 report_fatal_error("@llvm.global_dtors should have been lowered already");
2398}
2399
2400//===----------------------------------------------------------------------===//
2401// XCOFF
2402//===----------------------------------------------------------------------===//
2404 const MachineFunction *MF) {
2405 if (!MF->getLandingPads().empty())
2406 return true;
2407
2408 const Function &F = MF->getFunction();
2409 if (!F.hasPersonalityFn() || !F.needsUnwindTableEntry())
2410 return false;
2411
2412 const GlobalValue *Per =
2413 dyn_cast<GlobalValue>(F.getPersonalityFn()->stripPointerCasts());
2414 assert(Per && "Personality routine is not a GlobalValue type.");
2416 return false;
2417
2418 return true;
2419}
2420
2422 const MachineFunction *MF) {
2423 const Function &F = MF->getFunction();
2424 if (!F.hasStackProtectorFnAttr())
2425 return false;
2426 // FIXME: check presence of canary word
2427 // There are cases that the stack protectors are not really inserted even if
2428 // the attributes are on.
2429 return true;
2430}
2431
2432MCSymbol *
2434 auto *EHInfoSym =
2435 static_cast<MCSymbolXCOFF *>(MF->getContext().getOrCreateSymbol(
2436 "__ehinfo." + Twine(MF->getFunctionNumber())));
2437 EHInfoSym->setEHInfo();
2438 return EHInfoSym;
2439}
2440
2441MCSymbol *
2443 const TargetMachine &TM) const {
2444 // We always use a qualname symbol for a GV that represents
2445 // a declaration, a function descriptor, or a common symbol. An IFunc is
2446 // lowered as a special trampoline function which has an entry point and a
2447 // descriptor.
2448 // If a GV represents a GlobalVariable and -fdata-sections is enabled, we
2449 // also return a qualname so that a label symbol could be avoided.
2450 // It is inherently ambiguous when the GO represents the address of a
2451 // function, as the GO could either represent a function descriptor or a
2452 // function entry point. We choose to always return a function descriptor
2453 // here.
2454 if (const GlobalObject *GO = dyn_cast<GlobalObject>(GV)) {
2455 if (GO->isDeclarationForLinker())
2456 return static_cast<const MCSectionXCOFF *>(
2458 ->getQualNameSymbol();
2459
2460 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV))
2461 if (GVar->hasAttribute("toc-data"))
2462 return static_cast<const MCSectionXCOFF *>(
2464 ->getQualNameSymbol();
2465
2466 if (isa<GlobalIFunc>(GO))
2467 return static_cast<const MCSectionXCOFF *>(
2469 ->getQualNameSymbol();
2470
2471 SectionKind GOKind = getKindForGlobal(GO, TM);
2472 if (GOKind.isText())
2473 return static_cast<const MCSectionXCOFF *>(
2475 ->getQualNameSymbol();
2476 if ((TM.getDataSections() && !GO->hasSection()) || GO->hasCommonLinkage() ||
2477 GOKind.isBSSLocal() || GOKind.isThreadBSSLocal())
2478 return static_cast<const MCSectionXCOFF *>(
2479 SectionForGlobal(GO, GOKind, TM))
2480 ->getQualNameSymbol();
2481 }
2482
2483 // For all other cases, fall back to getSymbol to return the unqualified name.
2484 return nullptr;
2485}
2486
2488 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
2489 if (!GO->hasSection())
2490 report_fatal_error("#pragma clang section is not yet supported");
2491
2493
2494 // Handle the XCOFF::TD case first, then deal with the rest.
2495 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GO))
2496 if (GVar->hasAttribute("toc-data"))
2497 return getContext().getXCOFFSection(
2498 SectionName, Kind,
2500 /* MultiSymbolsAllowed*/ true);
2501
2502 XCOFF::StorageMappingClass MappingClass;
2503 if (Kind.isText())
2504 MappingClass = XCOFF::XMC_PR;
2505 else if (Kind.isData() || Kind.isBSS())
2506 MappingClass = XCOFF::XMC_RW;
2507 else if (Kind.isReadOnlyWithRel())
2508 MappingClass =
2509 TM.Options.XCOFFReadOnlyPointers ? XCOFF::XMC_RO : XCOFF::XMC_RW;
2510 else if (Kind.isReadOnly())
2511 MappingClass = XCOFF::XMC_RO;
2512 else
2513 report_fatal_error("XCOFF other section types not yet implemented.");
2514
2515 return getContext().getXCOFFSection(
2516 SectionName, Kind, XCOFF::CsectProperties(MappingClass, XCOFF::XTY_SD),
2517 /* MultiSymbolsAllowed*/ true);
2518}
2519
2521 const GlobalObject *GO, const TargetMachine &TM) const {
2523 "Tried to get ER section for a defined global.");
2524
2525 SmallString<128> Name;
2526 getNameWithPrefix(Name, GO, TM);
2527
2528 // AIX TLS local-dynamic does not need the external reference for the
2529 // "_$TLSML" symbol.
2531 GO->hasName() && GO->getName() == "_$TLSML") {
2532 return getContext().getXCOFFSection(
2533 Name, SectionKind::getData(),
2535 }
2536
2539 if (GO->isThreadLocal())
2540 SMC = XCOFF::XMC_UL;
2541
2542 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GO))
2543 if (GVar->hasAttribute("toc-data"))
2544 SMC = XCOFF::XMC_TD;
2545
2546 // Externals go into a csect of type ER.
2547 return getContext().getXCOFFSection(
2550}
2551
2553 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
2554 // Handle the XCOFF::TD case first, then deal with the rest.
2555 if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GO))
2556 if (GVar->hasAttribute("toc-data")) {
2557 SmallString<128> Name;
2558 getNameWithPrefix(Name, GO, TM);
2559 XCOFF::SymbolType symType =
2561 return getContext().getXCOFFSection(
2562 Name, Kind, XCOFF::CsectProperties(XCOFF::XMC_TD, symType),
2563 /* MultiSymbolsAllowed*/ true);
2564 }
2565
2566 // Common symbols go into a csect with matching name which will get mapped
2567 // into the .bss section.
2568 // Zero-initialized local TLS symbols go into a csect with matching name which
2569 // will get mapped into the .tbss section.
2570 if (Kind.isBSSLocal() || GO->hasCommonLinkage() || Kind.isThreadBSSLocal()) {
2571 SmallString<128> Name;
2572 getNameWithPrefix(Name, GO, TM);
2573 XCOFF::StorageMappingClass SMC = Kind.isBSSLocal() ? XCOFF::XMC_BS
2574 : Kind.isCommon() ? XCOFF::XMC_RW
2575 : XCOFF::XMC_UL;
2576 return getContext().getXCOFFSection(
2577 Name, Kind, XCOFF::CsectProperties(SMC, XCOFF::XTY_CM));
2578 }
2579
2580 if (Kind.isText()) {
2581 if (TM.getFunctionSections()) {
2582 return static_cast<const MCSymbolXCOFF *>(
2584 ->getRepresentedCsect();
2585 }
2586 return TextSection;
2587 }
2588
2589 if (TM.Options.XCOFFReadOnlyPointers && Kind.isReadOnlyWithRel()) {
2590 if (!TM.getDataSections())
2592 "ReadOnlyPointers is supported only if data sections is turned on");
2593
2594 SmallString<128> Name;
2595 getNameWithPrefix(Name, GO, TM);
2596 return getContext().getXCOFFSection(
2599 }
2600
2601 // For BSS kind, zero initialized data must be emitted to the .data section
2602 // because external linkage control sections that get mapped to the .bss
2603 // section will be linked as tentative definitions, which is only appropriate
2604 // for SectionKind::Common.
2605 if (Kind.isData() || Kind.isReadOnlyWithRel() || Kind.isBSS()) {
2606 if (TM.getDataSections()) {
2607 SmallString<128> Name;
2608 getNameWithPrefix(Name, GO, TM);
2609 return getContext().getXCOFFSection(
2610 Name, SectionKind::getData(),
2612 }
2613 return DataSection;
2614 }
2615
2616 if (Kind.isReadOnly()) {
2617 if (TM.getDataSections()) {
2618 SmallString<128> Name;
2619 getNameWithPrefix(Name, GO, TM);
2620 return getContext().getXCOFFSection(
2623 }
2624 return ReadOnlySection;
2625 }
2626
2627 // External/weak TLS data and initialized local TLS data are not eligible
2628 // to be put into common csect. If data sections are enabled, thread
2629 // data are emitted into separate sections. Otherwise, thread data
2630 // are emitted into the .tdata section.
2631 if (Kind.isThreadLocal()) {
2632 if (TM.getDataSections()) {
2633 SmallString<128> Name;
2634 getNameWithPrefix(Name, GO, TM);
2635 return getContext().getXCOFFSection(
2637 }
2638 return TLSDataSection;
2639 }
2640
2641 report_fatal_error("XCOFF other section types not yet implemented.");
2642}
2643
2645 const Function &F, const TargetMachine &TM) const {
2646 assert (!F.getComdat() && "Comdat not supported on XCOFF.");
2647
2648 if (!TM.getFunctionSections())
2649 return ReadOnlySection;
2650
2651 // If the function can be removed, produce a unique section so that
2652 // the table doesn't prevent the removal.
2653 SmallString<128> NameStr(".rodata.jmp..");
2654 getNameWithPrefix(NameStr, &F, TM);
2655 return getContext().getXCOFFSection(
2656 NameStr, SectionKind::getReadOnly(),
2658}
2659
2661 bool UsesLabelDifference, const Function &F) const {
2662 return false;
2663}
2664
2665/// Given a mergeable constant with the specified size and relocation
2666/// information, return a section that it should be placed in.
2668 const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment,
2669 const Function *F) const {
2670 // TODO: Enable emiting constant pool to unique sections when we support it.
2671 if (Alignment > Align(16))
2672 report_fatal_error("Alignments greater than 16 not yet supported.");
2673
2674 if (Alignment == Align(8)) {
2675 assert(ReadOnly8Section && "Section should always be initialized.");
2676 return ReadOnly8Section;
2677 }
2678
2679 if (Alignment == Align(16)) {
2680 assert(ReadOnly16Section && "Section should always be initialized.");
2681 return ReadOnly16Section;
2682 }
2683
2684 return ReadOnlySection;
2685}
2686
2688 const TargetMachine &TgtM) {
2692 (TgtM.getTargetTriple().isArch32Bit() ? dwarf::DW_EH_PE_sdata4
2695 LSDAEncoding = 0;
2697
2698 // AIX debug for thread local location is not ready. And for integrated as
2699 // mode, the relocatable address for the thread local variable will cause
2700 // linker error. So disable the location attribute generation for thread local
2701 // variables for now.
2702 // FIXME: when TLS debug on AIX is ready, remove this setting.
2704}
2705
2707 unsigned Priority, const MCSymbol *KeySym) const {
2708 report_fatal_error("no static constructor section on AIX");
2709}
2710
2712 unsigned Priority, const MCSymbol *KeySym) const {
2713 report_fatal_error("no static destructor section on AIX");
2714}
2715
2718 assert(!isa<GlobalIFunc>(GV) && "GlobalIFunc is not supported on AIX.");
2719
2720 switch (GV->getLinkage()) {
2723 return XCOFF::C_HIDEXT;
2727 return XCOFF::C_EXT;
2733 return XCOFF::C_WEAKEXT;
2736 "There is no mapping that implements AppendingLinkage for XCOFF.");
2737 }
2738 llvm_unreachable("Unknown linkage type!");
2739}
2740
2742 const GlobalValue *Func, const TargetMachine &TM) const {
2743 assert((isa<Function>(Func) || isa<GlobalIFunc>(Func) ||
2744 (isa<GlobalAlias>(Func) &&
2746 cast<GlobalAlias>(Func)->getAliaseeObject()))) &&
2747 "Func must be a function or an alias which has a function as base "
2748 "object.");
2749
2750 SmallString<128> NameStr;
2751 NameStr.push_back('.');
2752 getNameWithPrefix(NameStr, Func, TM);
2753
2754 // When -function-sections is enabled and explicit section is not specified,
2755 // it's not necessary to emit function entry point label any more. We will use
2756 // function entry point csect instead. And for function delcarations, the
2757 // undefined symbols gets treated as csect with XTY_ER property.
2758 if (((TM.getFunctionSections() && !Func->hasSection()) ||
2759 Func->isDeclarationForLinker()) &&
2760 (isa<Function>(Func) || isa<GlobalIFunc>(Func))) {
2761 return getContext()
2763 NameStr, SectionKind::getText(),
2764 XCOFF::CsectProperties(XCOFF::XMC_PR, Func->isDeclarationForLinker()
2766 : XCOFF::XTY_SD))
2768 }
2769
2770 return getContext().getOrCreateSymbol(NameStr);
2771}
2772
2774 const GlobalObject *F, const TargetMachine &TM) const {
2776 "F must be a function or ifunc object.");
2777 SmallString<128> NameStr;
2778 getNameWithPrefix(NameStr, F, TM);
2779 return getContext().getXCOFFSection(
2780 NameStr, SectionKind::getData(),
2782}
2783
2785 const MCSymbol *Sym, const TargetMachine &TM) const {
2786 const XCOFF::StorageMappingClass SMC = [](const MCSymbol *Sym,
2787 const TargetMachine &TM) {
2788 auto *XSym = static_cast<const MCSymbolXCOFF *>(Sym);
2789
2790 // The "_$TLSML" symbol for TLS local-dynamic mode requires XMC_TC,
2791 // otherwise the AIX assembler will complain.
2792 if (XSym->getSymbolTableName() == "_$TLSML")
2793 return XCOFF::XMC_TC;
2794
2795 // Use large code model toc entries for ehinfo symbols as they are
2796 // never referenced directly. The runtime loads their TOC entry
2797 // addresses from the trace-back table.
2798 if (XSym->isEHInfo())
2799 return XCOFF::XMC_TE;
2800
2801 // If the symbol does not have a code model specified use the module value.
2802 if (!XSym->hasPerSymbolCodeModel())
2803 return TM.getCodeModel() == CodeModel::Large ? XCOFF::XMC_TE
2804 : XCOFF::XMC_TC;
2805
2806 return XSym->getPerSymbolCodeModel() == MCSymbolXCOFF::CM_Large
2808 : XCOFF::XMC_TC;
2809 }(Sym, TM);
2810
2811 return getContext().getXCOFFSection(
2812 static_cast<const MCSymbolXCOFF *>(Sym)->getSymbolTableName(),
2814}
2815
2817 const Function &F, const MCSymbol &FnSym, const TargetMachine &TM) const {
2818 auto *LSDA = static_cast<MCSectionXCOFF *>(LSDASection);
2819 if (TM.getFunctionSections()) {
2820 // If option -ffunction-sections is on, append the function name to the
2821 // name of the LSDA csect so that each function has its own LSDA csect.
2822 // This helps the linker to garbage-collect EH info of unused functions.
2823 SmallString<128> NameStr = LSDA->getName();
2824 raw_svector_ostream(NameStr) << '.' << F.getName();
2825 LSDA = getContext().getXCOFFSection(NameStr, LSDA->getKind(),
2826 LSDA->getCsectProp());
2827 }
2828 return LSDA;
2829}
2830//===----------------------------------------------------------------------===//
2831// GOFF
2832//===----------------------------------------------------------------------===//
2834
2836 // Construct the default names for the root SD and the ADA PR symbol.
2837 StringRef FileName = sys::path::stem(M.getSourceFileName());
2838 if (FileName.size() > 1 && FileName.starts_with('<') &&
2839 FileName.ends_with('>'))
2840 FileName = FileName.substr(1, FileName.size() - 2);
2841 DefaultRootSDName = Twine(FileName).concat("#C").str();
2842 DefaultADAPRName = Twine(FileName).concat("#S").str();
2843 MCSectionGOFF *RootSD =
2844 static_cast<MCSectionGOFF *>(TextSection)->getParent();
2845 MCSectionGOFF *ADAPR = static_cast<MCSectionGOFF *>(ADASection);
2846 RootSD->setName(DefaultRootSDName);
2847 ADAPR->setName(DefaultADAPRName);
2848 // Initialize the label for the text section.
2849 MCSymbolGOFF *TextLD = static_cast<MCSymbolGOFF *>(
2850 getContext().getOrCreateSymbol(RootSD->getName()));
2853 TextLD->setExternal(false);
2854 TextLD->setWeak(false);
2855 TextLD->setADA(ADAPR);
2856 TextSection->setBeginSymbol(TextLD);
2857 // Initialize the label for the ADA section.
2858 MCSymbolGOFF *ADASym = static_cast<MCSymbolGOFF *>(
2860 ADAPR->setBeginSymbol(ADASym);
2861}
2862
2864 bool UsesLabelDifference, const Function &F) const {
2865 return true;
2866}
2867
2869 const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment,
2870 const Function *F) const {
2871 return TextSection;
2872}
2873
2878
2880 const Function &F, const MCSymbol &FnSym, const TargetMachine &TM) const {
2881 std::string Name = ".gcc_exception_table." + F.getName().str();
2882
2883 MCSectionGOFF *WSA = getContext().getGOFFSection(
2888 static_cast<MCSectionGOFF *>(TextSection)->getParent());
2889 WSA->setAlignment(Align(4)); // Fullword
2890 return getContext().getGOFFSection(SectionKind::getData(), Name,
2894 WSA);
2895}
2896
2898 const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
2899 auto *Symbol = TM.getSymbol(GO);
2900
2901 if (Kind.isBSS() || Kind.isData() || Kind.isReadOnlyWithRel()) {
2902 GOFF::ESDBindingScope PRBindingScope =
2903 GO->hasExternalLinkage()
2907 GOFF::ESDBindingScope SDBindingScope =
2910 MaybeAlign Alignment;
2911 if (auto *F = dyn_cast<Function>(GO))
2912 Alignment = F->getAlign();
2913 else if (auto *V = dyn_cast<GlobalVariable>(GO))
2914 Alignment = V->getAlign();
2915 MCSectionGOFF *SD = getContext().getGOFFSection(
2916 SectionKind::getMetadata(), Symbol->getName(),
2917 GOFF::SDAttr{GOFF::ESD_TA_Unspecified, SDBindingScope});
2918 MCSectionGOFF *ED = getContext().getGOFFSection(
2923 SD);
2924 ED->setAlignment(Alignment.value_or(llvm::Align(8)));
2925 return getContext().getGOFFSection(Kind, Symbol->getName(),
2926 GOFF::PRAttr{false, GOFF::ESD_EXE_DATA,
2927 GOFF::ESD_LT_XPLink,
2928 PRBindingScope, 0},
2929 ED);
2930 }
2931 return TextSection;
2932}
2933
2934MCSection *
2936 // XL C/C++ compilers on z/OS support priorities from min-int to max-int, with
2937 // sinit as source priority 0. For clang, sinit has source priority 65535.
2938 // For GOFF, the priority sortkey field is an unsigned value. So, we
2939 // add min-int to get sorting to work properly but also subtract the
2940 // clang sinit (65535) value so internally xl sinit and clang sinit have
2941 // the same unsigned GOFF priority sortkey field value (i.e. 0x80000000).
2942 static constexpr const uint32_t ClangDefaultSinitPriority = 65535;
2943 uint32_t Prio = Priority + (0x80000000 - ClangDefaultSinitPriority);
2944
2945 std::string Name(".xtor");
2946 if (Priority != ClangDefaultSinitPriority)
2947 Name = llvm::Twine(Name).concat(".").concat(llvm::utostr(Priority)).str();
2948
2949 MCContext &Ctx = getContext();
2950 MCSectionGOFF *SInit = Ctx.getGOFFSection(
2956 static_cast<const MCSectionGOFF *>(TextSection)->getParent());
2957
2958 MCSectionGOFF *Xtor = Ctx.getGOFFSection(
2959 SectionKind::getData(), Name,
2961 GOFF::ESD_BSC_Section, Prio},
2962 SInit);
2963 return Xtor;
2964}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
amdgpu AMDGPU DAG DAG Pattern Instruction Selection
static bool isThumb(const MCSubtargetInfo &STI)
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static void print(raw_ostream &Out, object::Archive::Kind Kind, T Val)
static const Function * getParent(const Value *V)
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
#define LLVM_LIFETIME_BOUND
Definition Compiler.h:452
This file contains the declarations for the subclasses of Constant, which represent the different fla...
@ Default
This file contains constants used for implementing Dwarf debug support.
Module.h This file contains the declarations for the Module class.
This file declares the MCSectionGOFF class, which contains all of the necessary machine code sections...
This file contains the MCSymbolGOFF class.
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
This file contains the declarations for metadata subclasses.
#define T
const char * Msg
This file defines the SmallString class.
This file defines the SmallVector class.
This file contains some functions that are useful when dealing with strings.
std::unique_ptr< MCStreamer > && Streamer
static bool canUsePrivateLabel(const MCAsmInfo &AsmInfo, const MCSection &Section)
static MCSection * selectExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM, MCContext &Ctx, Mangler &Mang, unsigned &NextUniqueID, bool Retain, bool ForceUnique)
static int getSelectionForCOFF(const GlobalValue *GV)
static MCSectionCOFF * getCOFFStaticStructorSection(MCContext &Ctx, const Triple &T, bool IsCtor, unsigned Priority, const MCSymbol *KeySym, MCSectionCOFF *Default)
static unsigned getEntrySizeForKind(SectionKind Kind)
static void GetObjCImageInfo(Module &M, unsigned &Version, unsigned &Flags, StringRef &Section)
static const GlobalValue * getComdatGVForCOFF(const GlobalValue *GV)
static unsigned getCOFFSectionFlags(SectionKind K, const TargetMachine &TM)
static unsigned getELFSectionType(StringRef Name, SectionKind K)
static bool hasPrefix(StringRef SectionName, StringRef Prefix)
static MCSectionWasm * selectWasmSectionForGlobal(MCContext &Ctx, const GlobalObject *GO, SectionKind Kind, Mangler &Mang, const TargetMachine &TM, bool EmitUniqueSection, unsigned *NextUniqueID, bool Retain)
static const MCSymbolELF * getLinkedToSymbol(const GlobalObject *GO, const TargetMachine &TM)
static unsigned calcUniqueIDUpdateFlagsAndSize(const GlobalObject *GO, StringRef SectionName, SectionKind Kind, const TargetMachine &TM, MCContext &Ctx, Mangler &Mang, unsigned &Flags, unsigned &EntrySize, unsigned &NextUniqueID, const bool Retain, const bool ForceUnique)
Calculate an appropriate unique ID for a section, and update Flags, EntrySize and NextUniqueID where ...
static SectionKind getELFKindForNamedSection(StringRef Name, SectionKind K)
static const Comdat * getWasmComdat(const GlobalValue *GV)
static MCSectionELF * getStaticStructorSection(MCContext &Ctx, bool UseInitArray, bool IsCtor, unsigned Priority, const MCSymbol *KeySym)
static std::tuple< StringRef, bool, unsigned, unsigned, unsigned > getGlobalObjectInfo(const GlobalObject *GO, const TargetMachine &TM, StringRef SectionName, SectionKind Kind)
static unsigned getWasmSectionFlags(SectionKind K, bool Retain)
static void checkMachOComdat(const GlobalValue *GV)
static std::string APIntToHexString(const APInt &AI)
static unsigned getELFSectionFlags(SectionKind K, const Triple &T)
static SmallString< 128 > getELFSectionNameForGlobal(const GlobalObject *GO, SectionKind Kind, Mangler &Mang, const TargetMachine &TM, bool UniqueSectionName, const MachineJumpTableEntry *JTE)
static cl::opt< bool > JumpTableInFunctionSection("jumptable-in-function-section", cl::Hidden, cl::init(false), cl::desc("Putting Jump Table in function section"))
static StringRef getSectionPrefixForGlobal(SectionKind Kind, bool IsLarge)
Return the section prefix name used by options FunctionsSections and DataSections.
static std::string scalarConstantToHexString(const Constant *C)
static StringRef getCOFFSectionNameForUniqueGlobal(SectionKind Kind)
static const Comdat * getELFComdat(const GlobalValue *GV)
static MCSectionELF * selectELFSectionForGlobal(MCContext &Ctx, const GlobalObject *GO, SectionKind Kind, Mangler &Mang, const TargetMachine &TM, bool EmitUniqueSection, unsigned Flags, unsigned *NextUniqueID, const MCSymbolELF *AssociatedSymbol, const MachineJumpTableEntry *MJTE=nullptr)
Class for arbitrary precision integers.
Definition APInt.h:78
unsigned getBitWidth() const
Return the number of bits in the APInt.
Definition APInt.h:1508
static APInt getZero(unsigned numBits)
Get the '0' value for the specified bit-width.
Definition APInt.h:196
@ Largest
The linker will choose the largest COMDAT.
Definition Comdat.h:39
@ SameSize
The data referenced by the COMDAT must be the same size.
Definition Comdat.h:41
@ Any
The linker may choose any COMDAT.
Definition Comdat.h:37
@ NoDeduplicate
No deduplication is performed.
Definition Comdat.h:40
@ ExactMatch
The data referenced by the COMDAT must be the same.
Definition Comdat.h:38
This is an important base class in LLVM.
Definition Constant.h:43
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
StringRef getInternalSymbolPrefix() const
Definition DataLayout.h:308
LLVM_ABI Align getPreferredAlign(const GlobalVariable *GV) const
Returns the preferred alignment of the specified global.
This is the base abstract class for diagnostic reporting in the backend.
Lightweight error class with error context and mandatory checking.
Definition Error.h:159
StringRef getSection() const
Get the custom section of this global if it has one.
bool hasMetadata() const
Return true if this GlobalObject has any metadata attached to it.
bool hasComdat() const
MDNode * getMetadata(unsigned KindID) const
Get the metadata of given kind attached to this GlobalObject.
bool hasSection() const
Check if this global has a custom object file section.
bool hasExternalLinkage() const
bool isThreadLocal() const
If the value is "Thread Local", its value isn't shared by the threads.
LinkageTypes getLinkage() const
bool hasLocalLinkage() const
bool hasDefaultVisibility() const
bool hasPrivateLinkage() const
LLVM_ABI const Comdat * getComdat() const
Definition Globals.cpp:274
ThreadLocalMode getThreadLocalMode() const
bool isDeclarationForLinker() const
Module * getParent()
Get the module that this global value is contained inside of...
LLVM_ABI const GlobalObject * getAliaseeObject() const
Definition Globals.cpp:521
LLVM_ABI const DataLayout & getDataLayout() const
Get the data layout of the module this global belongs to.
Definition Globals.cpp:205
bool hasCommonLinkage() const
static bool isWeakForLinker(LinkageTypes Linkage)
Whether the definition of this global may be replaced at link time.
@ PrivateLinkage
Like Internal, but omit from symbol table.
Definition GlobalValue.h:61
@ CommonLinkage
Tentative definitions.
Definition GlobalValue.h:63
@ InternalLinkage
Rename collisions when linking (static functions).
Definition GlobalValue.h:60
@ LinkOnceAnyLinkage
Keep one copy of function when linking (inline)
Definition GlobalValue.h:55
@ WeakODRLinkage
Same, but only replaced by something equivalent.
Definition GlobalValue.h:58
@ ExternalLinkage
Externally visible function.
Definition GlobalValue.h:53
@ WeakAnyLinkage
Keep one copy of named function when linking (weak)
Definition GlobalValue.h:57
@ AppendingLinkage
Special purpose, only applies to global arrays.
Definition GlobalValue.h:59
@ AvailableExternallyLinkage
Available for inspection, not emission.
Definition GlobalValue.h:54
@ ExternalWeakLinkage
ExternalWeak linkage description.
Definition GlobalValue.h:62
@ LinkOnceODRLinkage
Same, but only replaced by something equivalent.
Definition GlobalValue.h:56
LLVM_ABI void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
static bool isSectionAtomizableBySymbols(const MCSection &Section)
True if the section is atomized using the symbols in it.
This class is intended to be used as a base class for asm properties and features specific to the tar...
Definition MCAsmInfo.h:67
static const MCBinaryExpr * createAdd(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:342
static const MCBinaryExpr * createSub(const MCExpr *LHS, const MCExpr *RHS, MCContext &Ctx)
Definition MCExpr.h:427
static LLVM_ABI const MCConstantExpr * create(int64_t Value, MCContext &Ctx, bool PrintInHex=false, unsigned SizeInBytes=0)
Definition MCExpr.cpp:212
Context object for machine code objects.
Definition MCContext.h:83
LLVM_ABI MCSectionMachO * getMachOSection(StringRef Segment, StringRef Section, unsigned TypeAndAttributes, unsigned Reserved2, SectionKind K, const char *BeginSymName=nullptr)
Return the MCSection for the specified mach-o section.
LLVM_ABI MCSectionCOFF * getCOFFSection(StringRef Section, unsigned Characteristics, StringRef COMDATSymName, int Selection, unsigned UniqueID=MCSection::NonUniqueID)
MCSectionWasm * getWasmSection(const Twine &Section, SectionKind K, unsigned Flags=0)
Definition MCContext.h:638
LLVM_ABI MCSectionELF * getELFNamedSection(const Twine &Prefix, const Twine &Suffix, unsigned Type, unsigned Flags, unsigned EntrySize=0)
Get a section with the provided group identifier.
MCSectionELF * getELFSection(const Twine &Section, unsigned Type, unsigned Flags)
Definition MCContext.h:550
LLVM_ABI MCSectionXCOFF * getXCOFFSection(StringRef Section, SectionKind K, std::optional< XCOFF::CsectProperties > CsectProp=std::nullopt, bool MultiSymbolsAllowed=false, std::optional< XCOFF::DwarfSectionSubtypeFlags > DwarfSubtypeFlags=std::nullopt)
LLVM_ABI MCSymbol * getOrCreateSymbol(const Twine &Name)
Lookup the symbol inside with the specified Name.
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
MCSection * TLSBSSSection
Section directive for Thread Local uninitialized data.
MCSection * TextSection
Section directive for standard text.
MCSection * TLSDataSection
Section directive for Thread Local data. ELF, MachO, COFF, and Wasm.
MCSection * LSDASection
If exception handling is supported by the target, this is the section the Language Specific Data Area...
MCSection * FourByteConstantSection
MCSection * getDrectveSection() const
bool isPositionIndependent() const
MCSection * SixteenByteConstantSection
MCSection * ReadOnlySection
Section that is readonly and can contain arbitrary initialized data.
MCSection * BSSSection
Section that is default initialized to zero.
MCSection * EightByteConstantSection
MCContext & getContext() const
MCSection * DataSection
Section directive for standard data.
This represents a section on Windows.
MCSymbol * getCOMDATSymbol() const
This represents a section on linux, lots of unix variants and some bare metal systems.
unsigned getFlags() const
void setName(StringRef SectionName)
MCSectionGOFF * getParent() const
This represents a section on a Mach-O system (used by Mac OS X).
static Error ParseSectionSpecifier(StringRef Spec, StringRef &Segment, StringRef &Section, unsigned &TAA, bool &TAAParsed, unsigned &StubSize)
Parse the section specifier indicated by "Spec".
unsigned getTypeAndAttributes() const
unsigned getStubSize() const
This represents a section on wasm.
MCSymbolXCOFF * getQualNameSymbol() const
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:580
void setAlignment(Align Value)
Definition MCSection.h:665
static constexpr unsigned NonUniqueID
Definition MCSection.h:585
void setBeginSymbol(MCSymbol *Sym)
Definition MCSection.h:657
StringRef getName() const
Definition MCSection.h:650
static const MCSpecifierExpr * create(const MCExpr *Expr, Spec S, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.cpp:743
Streaming machine code generation interface.
Definition MCStreamer.h:222
void setWeak(bool Value=true)
void setExternal(bool Value) const
void setCodeData(GOFF::ESDExecutable Value)
void setADA(MCSectionGOFF *AssociatedDataArea)
void setLinkage(GOFF::ESDLinkageType Value)
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx, SMLoc Loc=SMLoc())
Definition MCExpr.h:213
void setEHInfo() const
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
StringRef getName() const
getName - Get the symbol name.
Definition MCSymbol.h:188
int64_t getConstant() const
Definition MCValue.h:44
const MCSymbol * getSubSym() const
Definition MCValue.h:51
Metadata node.
Definition Metadata.h:1081
const MDOperand & getOperand(unsigned I) const
Definition Metadata.h:1437
Metadata * get() const
Definition Metadata.h:931
unsigned getFunctionNumber() const
getFunctionNumber - Return a unique ID for the current function.
MCContext & getContext() const
Function & getFunction()
Return the LLVM function that this machine code represents.
const std::vector< LandingPadInfo > & getLandingPads() const
Return a reference to the landing pad info for the current function.
MachineModuleInfoELF - This is a MachineModuleInfoImpl implementation for ELF targets.
StubValueTy & getGVStubEntry(MCSymbol *Sym)
PointerIntPair< MCSymbol *, 1, bool > StubValueTy
MachineModuleInfoMachO - This is a MachineModuleInfoImpl implementation for MachO targets.
StubValueTy & getGVStubEntry(MCSymbol *Sym)
This class contains meta information specific to a module.
const Module * getModule() const
Ty & getObjFileInfo()
Keep track of various per-module pieces of information for backends that would like to do so.
LLVM_ABI void getNameWithPrefix(raw_ostream &OS, const GlobalValue *GV, bool CannotUsePrivateLabel) const
Print the appropriate prefix and the specified global variable's name.
Definition Mangler.cpp:121
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:68
@ Require
Adds a requirement that another module flag be present and have a specified value after linking is pe...
Definition Module.h:134
const std::string & getSourceFileName() const
Get the module's original source file name.
Definition Module.h:310
GlobalValue * getNamedValue(StringRef Name) const
Return the global value in the module with the specified name, of arbitrary type.
Definition Module.cpp:177
const DataLayout & getDataLayout() const
Get the data layout for the module's target platform.
Definition Module.h:325
A tuple of MDNodes.
Definition Metadata.h:1766
PointerTy getPointer() const
SectionKind - This is a simple POD value that classifies the properties of a section.
Definition SectionKind.h:22
static SectionKind getThreadData()
static SectionKind getMetadata()
bool isThreadBSSLocal() const
static SectionKind getText()
bool isBSSLocal() const
static SectionKind getData()
bool isText() const
static SectionKind getBSS()
static SectionKind getThreadBSS()
static SectionKind getReadOnly()
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
constexpr StringRef substr(size_t Start, size_t N=npos) const
Return a reference to the substring from [Start, Start + N).
Definition StringRef.h:597
bool starts_with(StringRef Prefix) const
Check if this string starts with the given Prefix.
Definition StringRef.h:258
constexpr bool empty() const
Check if the string is empty.
Definition StringRef.h:141
constexpr size_t size() const
Get the string size.
Definition StringRef.h:144
bool ends_with(StringRef Suffix) const
Check if this string ends with the given Suffix.
Definition StringRef.h:270
MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
Targets should implement this method to assign a section to globals with an explicit section specfied...
void Initialize(MCContext &Ctx, const TargetMachine &TM) override
This method must be called before any actual lowering is done.
void emitModuleMetadata(MCStreamer &Streamer, Module &M) const override
Emit Obj-C garbage collection and linker options.
MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const override
void emitLinkerDirectives(MCStreamer &Streamer, Module &M) const override
Process linker options metadata and emit platform-specific bits.
const MCExpr * lowerRelativeReference(const GlobalValue *LHS, const GlobalValue *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset, const TargetMachine &TM) const override
bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const override
void getNameWithPrefix(SmallVectorImpl< char > &OutName, const GlobalValue *GV, const TargetMachine &TM) const override
MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const override
Given a mergeable constant with the specified size and relocation information, return a section that ...
MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const override
MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const override
MCSection * getUniqueSectionForFunction(const Function &F, const TargetMachine &TM) const override
void Initialize(MCContext &Ctx, const TargetMachine &TM) override
This method must be called before any actual lowering is done.
MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const override
MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const override
MCSection * getSectionForConstantImpl(const DataLayout &DL, SectionKind Kind, const Constant *C, StringRef SectionSuffix) const
void emitModuleMetadata(MCStreamer &Streamer, Module &M) const override
Emit Obj-C garbage collection and linker options.
void emitLinkerDirectives(MCStreamer &Streamer, Module &M) const override
Process linker options metadata and emit platform-specific bits.
MCSymbol * getCFIPersonalitySymbol(const GlobalValue *GV, const TargetMachine &TM, MachineModuleInfo *MMI) const override
MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const override
Given a constant with the SectionKind, return a section that it should be placed in.
MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const override
void emitPersonalityValue(MCStreamer &Streamer, const DataLayout &DL, const MCSymbol *Sym, const MachineModuleInfo *MMI) const override
const MCExpr * getTTypeGlobalReference(const GlobalValue *GV, unsigned Encoding, const TargetMachine &TM, MachineModuleInfo *MMI, MCStreamer &Streamer) const override
Return an MCExpr to use for a reference to the specified type info global variable from exception han...
void getModuleMetadata(Module &M) override
Get the module-level metadata that the platform cares about.
MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
const MCExpr * lowerSymbolDifference(const MCSymbol *LHS, const MCSymbol *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset) const
const MCExpr * lowerDSOLocalEquivalent(const MCSymbol *LHS, const MCSymbol *RHS, int64_t Addend, std::optional< int64_t > PCRelativeOffset, const TargetMachine &TM) const override
MCSection * getSectionForCommandLines() const override
If supported, return the section to use for the llvm.commandline metadata.
MCSection * getSectionForLSDA(const Function &F, const MCSymbol &FnSym, const TargetMachine &TM) const override
virtual void emitPersonalityValueImpl(MCStreamer &Streamer, const DataLayout &DL, const MCSymbol *Sym, const MachineModuleInfo *MMI) const
bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const override
bool isLargeConstant(const DataLayout &DL, SectionKind Kind, const Constant *C) const
Given a mergeable constant with the specified size and relocation information, return a section that ...
MCSection * getSectionForMachineBasicBlock(const Function &F, const MachineBasicBlock &MBB, const TargetMachine &TM) const override
Returns a unique section for the given machine basic block.
MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
Targets should implement this method to assign a section to globals with an explicit section specfied...
MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const override
Given a constant with the SectionKind, return a section that it should be placed in.
MCSection * getStaticXtorSection(unsigned Priority) const
MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
Targets should implement this method to assign a section to globals with an explicit section specfied...
MCSection * getSectionForLSDA(const Function &F, const MCSymbol &FnSym, const TargetMachine &TM) const override
void getModuleMetadata(Module &M) override
Get the module-level metadata that the platform cares about.
MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const override
void getNameWithPrefix(SmallVectorImpl< char > &OutName, const GlobalValue *GV, const TargetMachine &TM) const override
MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const override
Given a constant with the SectionKind, return a section that it should be placed in.
MCSymbol * getCFIPersonalitySymbol(const GlobalValue *GV, const TargetMachine &TM, MachineModuleInfo *MMI) const override
MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
void emitLinkerDirectives(MCStreamer &Streamer, Module &M) const override
Process linker options metadata and emit platform-specific bits.
MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
Targets should implement this method to assign a section to globals with an explicit section specfied...
const MCExpr * getIndirectSymViaGOTPCRel(const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV, int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const override
Get MachO PC relative GOT entry relocation.
void emitModuleMetadata(MCStreamer &Streamer, Module &M) const override
Emit the module flags that specify the garbage collection information.
void Initialize(MCContext &Ctx, const TargetMachine &TM) override
This method must be called before any actual lowering is done.
MCSection * getSectionForCommandLines() const override
If supported, return the section to use for the llvm.commandline metadata.
MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const override
const MCExpr * getTTypeGlobalReference(const GlobalValue *GV, unsigned Encoding, const TargetMachine &TM, MachineModuleInfo *MMI, MCStreamer &Streamer) const override
The mach-o version of this method defaults to returning a stub reference.
void getModuleMetadata(Module &M) override
Get the module-level metadata that the platform cares about.
MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const override
bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const override
MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const override
MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
Targets should implement this method to assign a section to globals with an explicit section specfied...
MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
static bool ShouldSetSSPCanaryBitInTB(const MachineFunction *MF)
void Initialize(MCContext &Ctx, const TargetMachine &TM) override
This method must be called before any actual lowering is done.
MCSection * getSectionForTOCEntry(const MCSymbol *Sym, const TargetMachine &TM) const override
On targets that support TOC entries, return a section for the entry given the symbol it refers to.
MCSection * getSectionForExternalReference(const GlobalObject *GO, const TargetMachine &TM) const override
For external functions, this will always return a function descriptor csect.
MCSymbol * getFunctionEntryPointSymbol(const GlobalValue *Func, const TargetMachine &TM) const override
If supported, return the function entry point symbol.
bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const override
MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const override
static MCSymbol * getEHInfoTableSymbol(const MachineFunction *MF)
MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const override
Given a constant with the SectionKind, return a section that it should be placed in.
MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
Targets should implement this method to assign a section to globals with an explicit section specfied...
MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const override
static XCOFF::StorageClass getStorageClassForGlobal(const GlobalValue *GV)
MCSymbol * getTargetSymbol(const GlobalValue *GV, const TargetMachine &TM) const override
For functions, this will always return a function descriptor symbol.
MCSection * getSectionForFunctionDescriptor(const GlobalObject *F, const TargetMachine &TM) const override
On targets that use separate function descriptor symbols, return a section for the descriptor given i...
static bool ShouldEmitEHBlock(const MachineFunction *MF)
MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const override
MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const override
MCSection * getSectionForLSDA(const Function &F, const MCSymbol &FnSym, const TargetMachine &TM) const override
For functions, this will return the LSDA section.
void emitCGProfileMetadata(MCStreamer &Streamer, Module &M) const
Emit Call Graph Profile metadata.
virtual void getNameWithPrefix(SmallVectorImpl< char > &OutName, const GlobalValue *GV, const TargetMachine &TM) const
MCSection * StaticDtorSection
This section contains the static destructor pointer list.
unsigned PersonalityEncoding
PersonalityEncoding, LSDAEncoding, TTypeEncoding - Some encoding values for EH.
static SectionKind getKindForGlobal(const GlobalObject *GO, const TargetMachine &TM)
Classify the specified global variable into a set of target independent categories embodied in Sectio...
virtual bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const
virtual void Initialize(MCContext &ctx, const TargetMachine &TM)
This method must be called before any actual lowering is done.
MCSection * StaticCtorSection
This section contains the static constructor pointer list.
virtual MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment, const Function *F) const
Given a constant with the SectionKind, return a section that it should be placed in.
static StringRef getCustomSectionName(const GlobalObject *GO, const TargetMachine &TM)
Return the section name specified by 'pragma clang section' or the section attribute.
MCSymbol * getSymbolWithGlobalValueBase(const GlobalValue *GV, StringRef Suffix, const TargetMachine &TM) const
Return the MCSymbol for a private symbol with global value name as its base, with the specified suffi...
virtual const MCExpr * getTTypeGlobalReference(const GlobalValue *GV, unsigned Encoding, const TargetMachine &TM, MachineModuleInfo *MMI, MCStreamer &Streamer) const
Return an MCExpr to use for a reference to the specified global variable from exception handling info...
void emitPseudoProbeDescMetadata(MCStreamer &Streamer, Module &M, std::function< void(MCStreamer &Streamer)> COMDATSymEmitter=nullptr) const
Emit pseudo_probe_desc metadata.
const MCExpr * getTTypeReference(const MCSymbolRefExpr *Sym, unsigned Encoding, MCStreamer &Streamer) const
MCSection * SectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const
This method computes the appropriate section to emit the specified global variable or function defini...
Primary interface to the complete machine description for the target machine.
const Triple & getTargetTriple() const
bool getSeparateNamedSections() const
bool getUniqueSectionNames() const
TargetOptions Options
MCSymbol * getSymbol(const GlobalValue *GV) const
CodeModel::Model getCodeModel() const
Returns the code model.
bool isLargeGlobalValue(const GlobalValue *GV) const
void getNameWithPrefix(SmallVectorImpl< char > &Name, const GlobalValue *GV, Mangler &Mang, bool MayAlwaysUsePrivate=false) const
unsigned UseInitArray
UseInitArray - Use .init_array instead of .ctors for static constructors.
MCTargetOptions MCOptions
Machine level options.
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
@ loongarch32
Definition Triple.h:65
@ loongarch64
Definition Triple.h:66
bool isOSSolaris() const
Definition Triple.h:754
ArchType getArch() const
Get the parsed architecture type of this triple.
Definition Triple.h:514
bool isOSFreeBSD() const
Definition Triple.h:748
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
LLVM_ABI std::string str() const
Return the twine contents as a std::string.
Definition Twine.cpp:17
Twine concat(const Twine &Suffix) const
Definition Twine.h:497
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
LLVM Value Representation.
Definition Value.h:75
LLVMContext & getContext() const
All values hold a context through their type.
Definition Value.h:260
bool hasName() const
Definition Value.h:263
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:319
A raw_ostream that writes to an std::string.
A raw_ostream that writes to an SmallVector or SmallString.
CallInst * Retain
This file contains the declaration of the Comdat class, which represents a single COMDAT in LLVM.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
SectionCharacteristics
Definition COFF.h:298
@ IMAGE_SCN_LNK_REMOVE
Definition COFF.h:308
@ IMAGE_SCN_CNT_CODE
Definition COFF.h:303
@ IMAGE_SCN_MEM_READ
Definition COFF.h:336
@ IMAGE_SCN_MEM_EXECUTE
Definition COFF.h:335
@ IMAGE_SCN_CNT_UNINITIALIZED_DATA
Definition COFF.h:305
@ IMAGE_SCN_MEM_DISCARDABLE
Definition COFF.h:331
@ IMAGE_SCN_MEM_16BIT
Definition COFF.h:312
@ IMAGE_SCN_CNT_INITIALIZED_DATA
Definition COFF.h:304
@ IMAGE_SCN_LNK_COMDAT
Definition COFF.h:309
@ IMAGE_SCN_MEM_WRITE
Definition COFF.h:337
@ IMAGE_COMDAT_SELECT_NODUPLICATES
Definition COFF.h:455
@ IMAGE_COMDAT_SELECT_LARGEST
Definition COFF.h:460
@ IMAGE_COMDAT_SELECT_SAME_SIZE
Definition COFF.h:457
@ IMAGE_COMDAT_SELECT_ASSOCIATIVE
Definition COFF.h:459
@ IMAGE_COMDAT_SELECT_EXACT_MATCH
Definition COFF.h:458
@ IMAGE_COMDAT_SELECT_ANY
Definition COFF.h:456
@ SHF_MERGE
Definition ELF.h:1265
@ SHF_STRINGS
Definition ELF.h:1268
@ SHF_AARCH64_PURECODE
Definition ELF.h:1357
@ SHF_EXCLUDE
Definition ELF.h:1293
@ SHF_ALLOC
Definition ELF.h:1259
@ SHF_LINK_ORDER
Definition ELF.h:1274
@ SHF_GROUP
Definition ELF.h:1281
@ SHF_SUNW_NODISCARD
Definition ELF.h:1300
@ SHF_X86_64_LARGE
Definition ELF.h:1322
@ SHF_GNU_RETAIN
Definition ELF.h:1290
@ SHF_WRITE
Definition ELF.h:1256
@ SHF_TLS
Definition ELF.h:1284
@ SHF_ARM_PURECODE
Definition ELF.h:1354
@ SHF_EXECINSTR
Definition ELF.h:1262
@ SHT_LLVM_DEPENDENT_LIBRARIES
Definition ELF.h:1188
@ SHT_PROGBITS
Definition ELF.h:1157
@ SHT_LLVM_LINKER_OPTIONS
Definition ELF.h:1185
@ SHT_NOBITS
Definition ELF.h:1164
@ SHT_LLVM_OFFLOADING
Definition ELF.h:1196
@ SHT_LLVM_LTO
Definition ELF.h:1197
@ SHT_PREINIT_ARRAY
Definition ELF.h:1170
@ SHT_INIT_ARRAY
Definition ELF.h:1168
@ SHT_NOTE
Definition ELF.h:1163
@ SHT_FINI_ARRAY
Definition ELF.h:1169
@ ESD_LB_Deferred
Definition GOFF.h:129
@ ESD_LB_Initial
Definition GOFF.h:128
constexpr StringLiteral CLASS_WSA
@ ESD_BA_Merge
Definition GOFF.h:99
@ ESD_TS_ByteOriented
Definition GOFF.h:92
@ ESD_EXE_CODE
Definition GOFF.h:112
@ ESD_EXE_DATA
Definition GOFF.h:111
@ ESD_RQ_0
Definition GOFF.h:69
@ ESD_ALIGN_Doubleword
Definition GOFF.h:148
ESDBindingScope
Definition GOFF.h:134
@ ESD_BSC_Library
Definition GOFF.h:138
@ ESD_BSC_Unspecified
Definition GOFF.h:135
@ ESD_BSC_ImportExport
Definition GOFF.h:139
@ ESD_BSC_Section
Definition GOFF.h:136
constexpr StringLiteral CLASS_SINIT
@ ESD_LT_XPLink
Definition GOFF.h:142
@ ESD_NS_Parts
Definition GOFF.h:65
@ ESD_RMODE_64
Definition GOFF.h:88
@ S_MOD_TERM_FUNC_POINTERS
S_MOD_TERM_FUNC_POINTERS - Section with only function pointers for termination.
Definition MachO.h:150
@ S_MOD_INIT_FUNC_POINTERS
S_MOD_INIT_FUNC_POINTERS - Section with only function pointers for initialization.
Definition MachO.h:147
@ C_WEAKEXT
Definition XCOFF.h:200
StorageMappingClass
Storage Mapping Class definitions.
Definition XCOFF.h:104
@ XMC_TE
Symbol mapped at the end of TOC.
Definition XCOFF.h:129
@ XMC_DS
Descriptor csect.
Definition XCOFF.h:122
@ XMC_RW
Read Write Data.
Definition XCOFF.h:118
@ XMC_TL
Initialized thread-local variable.
Definition XCOFF.h:127
@ XMC_RO
Read Only Constant.
Definition XCOFF.h:107
@ XMC_UA
Unclassified - Treated as Read Write.
Definition XCOFF.h:123
@ XMC_TD
Scalar data item in the TOC.
Definition XCOFF.h:121
@ XMC_UL
Uninitialized thread-local variable.
Definition XCOFF.h:128
@ XMC_PR
Program Code.
Definition XCOFF.h:106
@ XMC_BS
BSS class (uninitialized static internal)
Definition XCOFF.h:124
@ XMC_TC
General TOC item.
Definition XCOFF.h:120
@ XTY_CM
Common csect definition. For uninitialized storage.
Definition XCOFF.h:246
@ XTY_SD
Csect definition for initialized storage.
Definition XCOFF.h:243
@ XTY_ER
External reference.
Definition XCOFF.h:242
initializer< Ty > init(const Ty &Val)
Calculates the starting offsets for various sections within the .debug_names section.
Definition Dwarf.h:35
@ DW_EH_PE_datarel
Definition Dwarf.h:971
@ DW_EH_PE_pcrel
Definition Dwarf.h:969
@ DW_EH_PE_sdata4
Definition Dwarf.h:966
@ DW_EH_PE_sdata8
Definition Dwarf.h:967
@ DW_EH_PE_absptr
Definition Dwarf.h:958
@ DW_EH_PE_udata4
Definition Dwarf.h:962
@ DW_EH_PE_udata8
Definition Dwarf.h:963
@ DW_EH_PE_indirect
Definition Dwarf.h:974
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > dyn_extract(Y &&MD)
Extract a Value from Metadata, if any.
Definition Metadata.h:707
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
Definition Metadata.h:679
LLVM_ABI StringRef stem(StringRef path LLVM_LIFETIME_BOUND, Style style=Style::native)
Get stem.
Definition Path.cpp:596
@ WASM_SEG_FLAG_RETAIN
Definition Wasm.h:240
@ WASM_SEG_FLAG_TLS
Definition Wasm.h:239
@ WASM_SEG_FLAG_STRINGS
Definition Wasm.h:238
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:577
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
std::string utostr(uint64_t X, bool isNeg=false)
bool isa_and_nonnull(const Y &Val)
Definition Casting.h:676
LLVM_ABI std::string getInstrProfSectionName(InstrProfSectKind IPSK, Triple::ObjectFormatType OF, bool AddSegmentInfo=true)
Return the name of the profile section corresponding to IPSK.
@ DK_Lowering
bool isNoOpWithoutInvoke(EHPersonality Pers)
Return true if this personality may be safely removed if there are no invoke instructions remaining i...
auto dyn_cast_or_null(const Y &Val)
Definition Casting.h:753
OutputIt transform(R &&Range, OutputIt d_first, UnaryFunction F)
Wrapper function around std::transform to apply a function to a range and store the result elsewhere.
Definition STLExtras.h:2042
std::string encodeBase64(InputBytes const &Bytes)
Definition Base64.h:24
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:163
LLVM_ABI EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
LLVM_ABI void emitLinkerFlagsForUsedCOFF(raw_ostream &OS, const GlobalValue *GV, const Triple &T, Mangler &M)
Definition Mangler.cpp:278
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition Format.h:102
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
DWARFExpression::Operation Op
std::string toString(const APInt &I, unsigned Radix, bool Signed, bool formatAsCLiteral=false, bool UpperCase=true, bool InsertSeparators=false)
DiagnosticSeverity
Defines the different supported severity of a diagnostic.
LLVM_ABI void emitLinkerFlagsForGlobalCOFF(raw_ostream &OS, const GlobalValue *GV, const Triple &TT, Mangler &Mangler)
Definition Mangler.cpp:214
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
LLVM_ABI cl::opt< std::string > BBSectionsColdTextPrefix
@ MCSA_Weak
.weak
@ MCSA_Global
.type _foo, @gnu_unique_object
@ MCSA_ELF_TypeObject
.type _foo, STT_OBJECT # aka @object
@ MCSA_Hidden
.hidden (ELF)
LLVM_ABI GlobalVariable * collectUsedGlobalVariables(const Module &M, SmallVectorImpl< GlobalValue * > &Vec, bool CompilerUsed)
Given "llvm.used" or "llvm.compiler.used" as a global name, collect the initializer elements of that ...
Definition Module.cpp:952
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
LLVM_ABI static const MBBSectionID ExceptionSectionID
LLVM_ABI static const MBBSectionID ColdSectionID
MachineJumpTableEntry - One jump table in the jump table info.
MachineFunctionDataHotness Hotness
The hotness of MJTE is inferred from the hotness of the source basic block(s) that reference it.
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:106