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
37 auto *Symbol = cast<MCSymbolXCOFF>(Sym);
39
40 switch (Attribute) {
41 // XCOFF doesn't support the cold feature.
42 case MCSA_Cold:
43 return false;
44
45 case MCSA_Global:
46 case MCSA_Extern:
47 Symbol->setStorageClass(XCOFF::C_EXT);
48 Symbol->setExternal(true);
49 break;
50 case MCSA_LGlobal:
51 Symbol->setStorageClass(XCOFF::C_HIDEXT);
52 Symbol->setExternal(true);
53 break;
54 case llvm::MCSA_Weak:
55 Symbol->setStorageClass(XCOFF::C_WEAKEXT);
56 Symbol->setExternal(true);
57 break;
59 Symbol->setVisibilityType(XCOFF::SYM_V_HIDDEN);
60 break;
62 Symbol->setVisibilityType(XCOFF::SYM_V_PROTECTED);
63 break;
65 Symbol->setVisibilityType(XCOFF::SYM_V_EXPORTED);
66 break;
67 default:
68 report_fatal_error("Not implemented yet.");
69 }
70 return true;
71}
72
74 MCSymbol *Symbol, MCSymbolAttr Linkage, MCSymbolAttr Visibility) {
75
76 emitSymbolAttribute(Symbol, Linkage);
77
78 // When the caller passes `MCSA_Invalid` for the visibility, do not emit one.
79 if (Visibility == MCSA_Invalid)
80 return;
81
82 emitSymbolAttribute(Symbol, Visibility);
83}
84
86 // Add a Fixup here to later record a relocation of type R_REF to prevent the
87 // ref symbol from being garbage collected (by the binder).
90 std::optional<MCFixupKind> MaybeKind =
92 if (!MaybeKind)
93 report_fatal_error("failed to get fixup kind for R_REF relocation");
94
95 MCFixupKind Kind = *MaybeKind;
96 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, Kind);
97 DF->getFixups().push_back(Fixup);
98}
99
101 StringRef Rename) {
102 const MCSymbolXCOFF *Symbol = cast<const MCSymbolXCOFF>(Name);
103 if (!Symbol->hasRename())
104 report_fatal_error("Only explicit .rename is supported for XCOFF.");
105}
106
108 const MCSymbol *Trap,
109 unsigned Lang, unsigned Reason,
110 unsigned FunctionSize,
111 bool hasDebug) {
112 // TODO: Export XCOFFObjectWriter to llvm/MC/MCXCOFFObjectWriter.h and access
113 // it from MCXCOFFStreamer.
114 XCOFF::addExceptionEntry(getAssembler().getWriter(), Symbol, Trap, Lang,
115 Reason, FunctionSize, hasDebug);
116}
117
120}
121
123 Align ByteAlignment) {
124 getAssembler().registerSymbol(*Symbol);
125 Symbol->setExternal(cast<MCSymbolXCOFF>(Symbol)->getStorageClass() !=
127 Symbol->setCommon(Size, ByteAlignment);
128
129 // Default csect align is 4, but common symbols have explicit alignment values
130 // and we should honor it.
131 cast<MCSymbolXCOFF>(Symbol)->getRepresentedCsect()->setAlignment(
132 ByteAlignment);
133
134 // Emit the alignment and storage for the variable to the section.
135 emitValueToAlignment(ByteAlignment);
137}
138
140 uint64_t Size, Align ByteAlignment,
141 SMLoc Loc) {
142 report_fatal_error("Zero fill not implemented for XCOFF.");
143}
144
146 const MCSubtargetInfo &STI) {
147 MCAssembler &Assembler = getAssembler();
149 SmallString<256> Code;
150 Assembler.getEmitter().encodeInstruction(Inst, Code, Fixups, STI);
151
152 // Add the fixups and data.
154 const size_t ContentsSize = DF->getContents().size();
155 auto &DataFragmentFixups = DF->getFixups();
156 for (auto &Fixup : Fixups) {
157 Fixup.setOffset(Fixup.getOffset() + ContentsSize);
158 DataFragmentFixups.push_back(Fixup);
159 }
160
161 DF->setHasInstructions(STI);
162 DF->getContents().append(Code.begin(), Code.end());
163}
164
167 MCSymbol *CsectSym,
168 Align Alignment) {
169 emitCommonSymbol(CsectSym, Size, Alignment);
170}
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.
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:231
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:184
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:188
static const MCSymbolRefExpr * create(const MCSymbol *Symbol, MCContext &Ctx)
Definition: MCExpr.h:393
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.
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:1209
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
void addCInfoSymEntry(MCObjectWriter &Writer, StringRef Name, StringRef Metadata)
@ 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
void addExceptionEntry(MCObjectWriter &Writer, const MCSymbol *Symbol, const MCSymbol *Trap, unsigned LanguageCode, unsigned ReasonCode, unsigned FunctionSize, bool hasDebug)
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:1849
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