LLVM 20.0.0git
MCXCOFFStreamer.cpp
Go to the documentation of this file.
1//===- lib/MC/MCXCOFFStreamer.cpp - XCOFF Object Output -------------------===//
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 assembles .s files and emits XCOFF .o object files.
10//
11//===----------------------------------------------------------------------===//
12
16#include "llvm/MC/MCAssembler.h"
25
26using namespace llvm;
27
29 std::unique_ptr<MCAsmBackend> MAB,
30 std::unique_ptr<MCObjectWriter> OW,
31 std::unique_ptr<MCCodeEmitter> Emitter)
32 : MCObjectStreamer(Context, std::move(MAB), std::move(OW),
33 std::move(Emitter)) {}
34
36 return static_cast<XCOFFObjectWriter &>(getAssembler().getWriter());
37}
38
41 auto *Symbol = cast<MCSymbolXCOFF>(Sym);
43
44 switch (Attribute) {
45 // XCOFF doesn't support the cold feature.
46 case MCSA_Cold:
47 return false;
48
49 case MCSA_Global:
50 case MCSA_Extern:
51 Symbol->setStorageClass(XCOFF::C_EXT);
52 Symbol->setExternal(true);
53 break;
54 case MCSA_LGlobal:
55 Symbol->setStorageClass(XCOFF::C_HIDEXT);
56 Symbol->setExternal(true);
57 break;
58 case llvm::MCSA_Weak:
59 Symbol->setStorageClass(XCOFF::C_WEAKEXT);
60 Symbol->setExternal(true);
61 break;
63 Symbol->setVisibilityType(XCOFF::SYM_V_HIDDEN);
64 break;
66 Symbol->setVisibilityType(XCOFF::SYM_V_PROTECTED);
67 break;
69 Symbol->setVisibilityType(XCOFF::SYM_V_EXPORTED);
70 break;
71 default:
72 report_fatal_error("Not implemented yet.");
73 }
74 return true;
75}
76
78 MCSymbol *Symbol, MCSymbolAttr Linkage, MCSymbolAttr Visibility) {
79
80 emitSymbolAttribute(Symbol, Linkage);
81
82 // When the caller passes `MCSA_Invalid` for the visibility, do not emit one.
83 if (Visibility == MCSA_Invalid)
84 return;
85
86 emitSymbolAttribute(Symbol, Visibility);
87}
88
90 // Add a Fixup here to later record a relocation of type R_REF to prevent the
91 // ref symbol from being garbage collected (by the binder).
94 std::optional<MCFixupKind> MaybeKind =
96 if (!MaybeKind)
97 report_fatal_error("failed to get fixup kind for R_REF relocation");
98
99 MCFixupKind Kind = *MaybeKind;
100 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, Kind);
101 DF->getFixups().push_back(Fixup);
102}
103
105 StringRef Rename) {
106 const MCSymbolXCOFF *Symbol = cast<const MCSymbolXCOFF>(Name);
107 if (!Symbol->hasRename())
108 report_fatal_error("Only explicit .rename is supported for XCOFF.");
109}
110
112 const MCSymbol *Trap,
113 unsigned Lang, unsigned Reason,
114 unsigned FunctionSize,
115 bool hasDebug) {
116 getWriter().addExceptionEntry(Symbol, Trap, Lang, Reason, FunctionSize,
117 hasDebug);
118}
119
122}
123
125 Align ByteAlignment) {
126 getAssembler().registerSymbol(*Symbol);
127 Symbol->setExternal(cast<MCSymbolXCOFF>(Symbol)->getStorageClass() !=
129 Symbol->setCommon(Size, ByteAlignment);
130
131 // Default csect align is 4, but common symbols have explicit alignment values
132 // and we should honor it.
133 cast<MCSymbolXCOFF>(Symbol)->getRepresentedCsect()->setAlignment(
134 ByteAlignment);
135
136 // Emit the alignment and storage for the variable to the section.
137 emitValueToAlignment(ByteAlignment);
139}
140
142 uint64_t Size, Align ByteAlignment,
143 SMLoc Loc) {
144 report_fatal_error("Zero fill not implemented for XCOFF.");
145}
146
148 const MCSubtargetInfo &STI) {
149 MCAssembler &Assembler = getAssembler();
151 SmallString<256> Code;
152 Assembler.getEmitter().encodeInstruction(Inst, Code, Fixups, STI);
153
154 // Add the fixups and data.
156 const size_t ContentsSize = DF->getContents().size();
157 auto &DataFragmentFixups = DF->getFixups();
158 for (auto &Fixup : Fixups) {
159 Fixup.setOffset(Fixup.getOffset() + ContentsSize);
160 DataFragmentFixups.push_back(Fixup);
161 }
162
163 DF->setHasInstructions(STI);
164 DF->getContents().append(Code.begin(), Code.end());
165}
166
169 MCSymbol *CsectSym,
170 Align Alignment) {
171 emitCommonSymbol(CsectSym, Size, Alignment);
172}
dxil DXContainer Global Emitter
static RegisterPass< DebugifyFunctionPass > DF("debugify-function", "Attach debug info to a function")
std::string Name
uint64_t Size
Symbol * Sym
Definition: ELF_riscv.cpp:479
PowerPC TLS Dynamic Call Fixup
virtual std::optional< MCFixupKind > getFixupKind(StringRef Name) const
Map a relocation name used in .reloc to a fixup kind.
MCObjectWriter & getWriter() const
Definition: MCAssembler.h:192
MCCodeEmitter & getEmitter() const
Definition: MCAssembler.h:190
MCAsmBackend & getBackend() const
Definition: MCAssembler.h:188
bool registerSymbol(const MCSymbol &Symbol)
virtual void encodeInstruction(const MCInst &Inst, SmallVectorImpl< char > &CB, SmallVectorImpl< MCFixup > &Fixups, const MCSubtargetInfo &STI) const =0
Encode the given Inst to bytes and append to CB.
Context object for machine code objects.
Definition: MCContext.h:83
Fragment for data and encoded instructions.
Definition: MCFragment.h:219
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:71
static MCFixup create(uint32_t Offset, const MCExpr *Value, MCFixupKind Kind, SMLoc Loc=SMLoc())
Definition: MCFixup.h:87
Instances of this class represent a single low-level machine instruction.
Definition: MCInst.h:185
Streaming object file generation interface.
void emitValueToAlignment(Align Alignment, int64_t Value=0, unsigned ValueSize=1, unsigned MaxBytesToEmit=0) override
Emit some number of copies of Value until the byte alignment ByteAlignment is reached.
MCDataFragment * getOrCreateDataFragment(const MCSubtargetInfo *STI=nullptr)
Get a data fragment to write into, creating a new one if the current fragment is not a data fragment.
MCAssembler & getAssembler()
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition: MCSection.h:36
MCContext & getContext() const
Definition: MCStreamer.h:300
void emitZeros(uint64_t NumBytes)
Emit NumBytes worth of zeros.
Definition: MCStreamer.cpp:229
Generic base class for all target subtargets.
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:192
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx)
Definition: MCExpr.h:398
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
void emitCommonSymbol(MCSymbol *Symbol, uint64_t Size, Align ByteAlignment) override
Emit a common symbol.
XCOFFObjectWriter & getWriter()
void emitXCOFFLocalCommonSymbol(MCSymbol *LabelSym, uint64_t Size, MCSymbol *CsectSym, Align Alignment) override
Emits an lcomm directive with XCOFF csect information.
void emitZerofill(MCSection *Section, MCSymbol *Symbol=nullptr, uint64_t Size=0, Align ByteAlignment=Align(1), SMLoc Loc=SMLoc()) override
Emit the zerofill section and an optional symbol.
void emitInstToData(const MCInst &Inst, const MCSubtargetInfo &) override
void emitXCOFFRefDirective(const MCSymbol *Symbol) override
Emit a XCOFF .ref directive which creates R_REF type entry in the relocation table for one or more sy...
MCXCOFFStreamer(MCContext &Context, std::unique_ptr< MCAsmBackend > MAB, std::unique_ptr< MCObjectWriter > OW, std::unique_ptr< MCCodeEmitter > Emitter)
void emitXCOFFExceptDirective(const MCSymbol *Symbol, const MCSymbol *Trap, unsigned Lang, unsigned Reason, unsigned FunctionSize, bool hasDebug) override
Emit an XCOFF .except directive which adds information about a trap instruction to the object file ex...
void emitXCOFFRenameDirective(const MCSymbol *Name, StringRef Rename) override
Emit a XCOFF .rename directive which creates a synonym for an illegal or undesirable name.
void emitXCOFFCInfoSym(StringRef Name, StringRef Metadata) override
Emit a C_INFO symbol with XCOFF embedded metadata to the .info section.
void emitXCOFFSymbolLinkageWithVisibility(MCSymbol *Symbol, MCSymbolAttr Linkage, MCSymbolAttr Visibility) override
Emit a symbol's linkage and visibility with a linkage directive for XCOFF.
bool emitSymbolAttribute(MCSymbol *Symbol, MCSymbolAttr Attribute) override
Add the given Attribute to Symbol.
Root of the metadata hierarchy.
Definition: Metadata.h:62
Represents a location in source code.
Definition: SMLoc.h:23
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition: SmallString.h:26
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1196
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:51
virtual void addExceptionEntry(const MCSymbol *Symbol, const MCSymbol *Trap, unsigned LanguageCode, unsigned ReasonCode, unsigned FunctionSize, bool hasDebug)=0
virtual void addCInfoSymEntry(StringRef Name, StringRef Metadata)=0
@ SYM_V_PROTECTED
Definition: XCOFF.h:255
@ SYM_V_HIDDEN
Definition: XCOFF.h:254
@ SYM_V_EXPORTED
Definition: XCOFF.h:256
@ C_WEAKEXT
Definition: XCOFF.h:199
@ C_HIDEXT
Definition: XCOFF.h:206
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
MCFixupKind
Extensible enumeration to represent the type of a fixup.
Definition: MCFixup.h:21
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1873
MCSymbolAttr
Definition: MCDirectives.h:18
@ MCSA_Protected
.protected (ELF)
Definition: MCDirectives.h:43
@ MCSA_Exported
.globl _foo, exported (XCOFF)
Definition: MCDirectives.h:34
@ MCSA_Weak
.weak
Definition: MCDirectives.h:45
@ MCSA_Global
.type _foo, @gnu_unique_object
Definition: MCDirectives.h:30
@ MCSA_Extern
.extern (XCOFF)
Definition: MCDirectives.h:32
@ MCSA_Cold
.cold (MachO)
Definition: MCDirectives.h:22
@ MCSA_Hidden
.hidden (ELF)
Definition: MCDirectives.h:33
@ MCSA_LGlobal
.lglobl (XCOFF)
Definition: MCDirectives.h:31
@ MCSA_Invalid
Not a valid directive.
Definition: MCDirectives.h:19
Implement std::hash so that hash_code can be used in STL containers.
Definition: BitVector.h:858
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39