LLVM 22.0.0git
MCAsmInfoXCOFF.cpp
Go to the documentation of this file.
1//===- MC/MCAsmInfoXCOFF.cpp - XCOFF asm properties ------------ *- C++ -*-===//
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
11#include "llvm/MC/MCAsmInfo.h"
14#include "llvm/Support/Format.h"
16
17using namespace llvm;
18
19namespace llvm {
21}
22
24 IsAIX = true;
25 IsLittleEndian = false;
26
27 PrivateGlobalPrefix = "L..";
28 PrivateLabelPrefix = "L..";
29 SupportsQuotedNames = false;
31 HasLEB128Directives = false;
32 ZeroDirective = "\t.space\t";
33 AsciiDirective = nullptr; // not supported
34 AscizDirective = nullptr; // not supported
36
37 // Use .vbyte for data definition to avoid directives that apply an implicit
38 // alignment.
39 Data16bitsDirective = "\t.vbyte\t2, ";
40 Data32bitsDirective = "\t.vbyte\t4, ";
41
46
48}
49
51 // QualName is allowed for a MCSymbolXCOFF, and
52 // QualName contains '[' and ']'.
53 if (C == '[' || C == ']')
54 return true;
55
56 // For AIX assembler, symbols may consist of numeric digits,
57 // underscores, periods, uppercase or lowercase letters, or
58 // any combination of these.
59 return isAlnum(C) || C == '_' || C == '.';
60}
61
63 return static_cast<const MCSectionXCOFF &>(Sec).getKind().isText();
64}
65
67
68void MCSectionXCOFF::printCsectDirective(raw_ostream &OS) const {
69 OS << "\t.csect " << QualName->getName() << "," << Log2(getAlign()) << '\n';
70}
71
73 const Triple &T,
74 raw_ostream &OS) const {
75 auto &Sec = static_cast<const MCSectionXCOFF &>(Section);
76 if (Sec.getKind().isText()) {
77 if (Sec.getMappingClass() != XCOFF::XMC_PR)
78 report_fatal_error("Unhandled storage-mapping class for .text csect");
79
80 Sec.printCsectDirective(OS);
81 return;
82 }
83
84 if (Sec.getKind().isReadOnly()) {
85 if (Sec.getMappingClass() != XCOFF::XMC_RO &&
86 Sec.getMappingClass() != XCOFF::XMC_TD)
87 report_fatal_error("Unhandled storage-mapping class for .rodata csect.");
88 Sec.printCsectDirective(OS);
89 return;
90 }
91
92 if (Sec.getKind().isReadOnlyWithRel()) {
93 if (Sec.getMappingClass() != XCOFF::XMC_RW &&
94 Sec.getMappingClass() != XCOFF::XMC_RO &&
95 Sec.getMappingClass() != XCOFF::XMC_TD)
97 "Unexepected storage-mapping class for ReadOnlyWithRel kind");
98 Sec.printCsectDirective(OS);
99 return;
100 }
101
102 // Initialized TLS data.
103 if (Sec.getKind().isThreadData()) {
104 // We only expect XMC_TL here for initialized TLS data.
105 if (Sec.getMappingClass() != XCOFF::XMC_TL)
106 report_fatal_error("Unhandled storage-mapping class for .tdata csect.");
107 Sec.printCsectDirective(OS);
108 return;
109 }
110
111 if (Sec.getKind().isData()) {
112 switch (Sec.getMappingClass()) {
113 case XCOFF::XMC_RW:
114 case XCOFF::XMC_DS:
115 case XCOFF::XMC_TD:
116 Sec.printCsectDirective(OS);
117 break;
118 case XCOFF::XMC_TC:
119 case XCOFF::XMC_TE:
120 break;
121 case XCOFF::XMC_TC0:
122 OS << "\t.toc\n";
123 break;
124 default:
125 report_fatal_error("Unhandled storage-mapping class for .data csect.");
126 }
127 return;
128 }
129
130 if (Sec.isCsect() && Sec.getMappingClass() == XCOFF::XMC_TD) {
131 // Common csect type (uninitialized storage) does not have to print
132 // csect directive for section switching unless it is local.
133 if (Sec.getKind().isCommon() && !Sec.getKind().isBSSLocal())
134 return;
135
136 assert(Sec.getKind().isBSS() && "Unexpected section kind for toc-data");
137 Sec.printCsectDirective(OS);
138 return;
139 }
140 // Common csect type (uninitialized storage) does not have to print csect
141 // directive for section switching.
142 if (Sec.isCsect() && Sec.getCSectType() == XCOFF::XTY_CM) {
143 assert((Sec.getMappingClass() == XCOFF::XMC_RW ||
144 Sec.getMappingClass() == XCOFF::XMC_BS ||
145 Sec.getMappingClass() == XCOFF::XMC_UL) &&
146 "Generated a storage-mapping class for a common/bss/tbss csect we "
147 "don't "
148 "understand how to switch to.");
149 // Common symbols and local zero-initialized symbols for TLS and Non-TLS are
150 // eligible for .bss/.tbss csect, getKind().isThreadBSS() is used to
151 // cover TLS common and zero-initialized local symbols since linkage type
152 // (in the GlobalVariable) is not accessible in this class.
153 assert((Sec.getKind().isBSSLocal() || Sec.getKind().isCommon() ||
154 Sec.getKind().isThreadBSS()) &&
155 "wrong symbol type for .bss/.tbss csect");
156 // Don't have to print a directive for switching to section for commons
157 // and zero-initialized TLS data. The '.comm' and '.lcomm' directives of the
158 // variable will create the needed csect.
159 return;
160 }
161
162 // Zero-initialized TLS data with weak or external linkage are not eligible to
163 // be put into common csect.
164 if (Sec.getKind().isThreadBSS()) {
165 Sec.printCsectDirective(OS);
166 return;
167 }
168
169 // XCOFF debug sections.
170 if (Sec.getKind().isMetadata() && Sec.isDwarfSect()) {
171 OS << "\n\t.dwsect " << format("0x%" PRIx32, *Sec.getDwarfSubtypeFlags())
172 << '\n';
173 OS << Sec.getName() << ':' << '\n';
174 return;
175 }
176
177 report_fatal_error("Printing for this SectionKind is unimplemented.");
178}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
#define T
This file contains some functions that are useful when dealing with strings.
void printSwitchToSection(const MCSection &, uint32_t, const Triple &, raw_ostream &) const final
bool useCodeAlign(const MCSection &Sec) const final
bool isAcceptableChar(char C) const override
Return true if C is an acceptable character inside a symbol name.
const char * Data16bitsDirective
Definition MCAsmInfo.h:248
const char * AsciiDirective
This directive allows emission of an ascii string with the standard C escape characters embedded into...
Definition MCAsmInfo.h:231
ExceptionHandling ExceptionsType
Exception handling format for the target. Defaults to None.
Definition MCAsmInfo.h:359
StringRef PrivateGlobalPrefix
This prefix is used for globals like constant pool entries that are completely private to the ....
Definition MCAsmInfo.h:160
const char * Data32bitsDirective
Definition MCAsmInfo.h:249
LCOMM::LCOMMType LCOMMDirectiveAlignmentType
Describes if the .lcomm directive for the target supports an alignment argument and how it is interpr...
Definition MCAsmInfo.h:298
StringRef PrivateLabelPrefix
This prefix is used for labels for basic blocks.
Definition MCAsmInfo.h:164
bool HasDotTypeDotSizeDirective
True if the target has .type and .size directives, this is true for most ELF targets.
Definition MCAsmInfo.h:306
bool ParseInlineAsmUsingAsmParser
Use AsmParser to parse inlineAsm when UseIntegratedAssembler is not set.
Definition MCAsmInfo.h:415
bool COMMDirectiveAlignmentIsInBytes
True is .comm's and .lcomms optional alignment is to be specified in bytes instead of log2(n).
Definition MCAsmInfo.h:294
AsmCharLiteralSyntax CharacterLiteralSyntax
Form used for character literals in the assembly syntax.
Definition MCAsmInfo.h:241
const char * ZeroDirective
This should be set to the directive used to get some number of zero (and non-zero if supported by the...
Definition MCAsmInfo.h:226
bool SupportsQuotedNames
If this is true, symbol names with invalid characters will be printed in quotes.
Definition MCAsmInfo.h:207
const char * AscizDirective
If not null, this allows for special handling of zero terminated strings on this target.
Definition MCAsmInfo.h:236
bool IsLittleEndian
True if target is little endian. Default is true.
Definition MCAsmInfo.h:94
@ ACLS_SingleQuotePrefix
Unknown; character literals not used by LLVM for this target.
Definition MCAsmInfo.h:70
bool HasLEB128Directives
True if the target supports LEB128 directives.
Definition MCAsmInfo.h:215
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:496
Align getAlign() const
Definition MCSection.h:579
bool isText() const
Definition MCSection.h:566
StringRef getName() const
getName - Get the symbol name.
Definition MCSymbol.h:188
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:47
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
@ XMC_TE
Symbol mapped at the end of TOC.
Definition XCOFF.h:129
@ XMC_TC0
TOC Anchor for TOC Addressability.
Definition XCOFF.h:119
@ 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_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
This is an optimization pass for GlobalISel generic memory operations.
@ AIX
AIX Exception Handling.
Definition CodeGen.h:60
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
Definition Error.cpp:167
bool isAlnum(char C)
Checks whether character C is either a decimal digit or an uppercase or lowercase letter as classifie...
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
Definition Format.h:126
cl::opt< cl::boolOrDefault > UseLEB128Directives("use-leb128-directives", cl::Hidden, cl::desc("Disable the usage of LEB128 directives, and generate .byte instead."), cl::init(cl::BOU_UNSET))
unsigned Log2(Align A)
Returns the log2 of the alignment.
Definition Alignment.h:208