LLVM 24.0.0git
RISCVELFStreamer.cpp
Go to the documentation of this file.
1//===-- RISCVELFStreamer.cpp - RISC-V ELF Target Streamer Methods ---------===//
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 provides RISC-V specific target streamer methods.
10//
11//===----------------------------------------------------------------------===//
12
13#include "RISCVELFStreamer.h"
14#include "RISCVBaseInfo.h"
15#include "RISCVMCTargetDesc.h"
18#include "llvm/MC/MCAssembler.h"
20#include "llvm/MC/MCContext.h"
23
24using namespace llvm;
25
26// This part is for ELF object output.
28 const MCSubtargetInfo &STI)
29 : RISCVTargetStreamer(S), CurrentVendor("riscv") {
31
32 // Compute the initial ISA string. This serves two purposes:
33 // 1. Deduplication: subsequent .option arch/rvc/norvc directives compare
34 // against ArchString to avoid propagating redundant ISA updates.
35 // 2. Initial symbol: seed the streamer's active ISA so a "$x<ArchString>"
36 // mapping symbol is emitted before the first instruction, recording
37 // the full ISA in the object even when no .option directive is present.
39 InitialArchString = (*ParseResult)->toString();
40 ArchString = InitialArchString;
42 }
43}
44
46 std::unique_ptr<MCAsmBackend> MAB,
47 std::unique_ptr<MCObjectWriter> MOW,
48 std::unique_ptr<MCCodeEmitter> MCE)
49 : MCELFStreamer(C, std::move(MAB), std::move(MOW), std::move(MCE)) {}
50
54
56 if (Arch == ArchString)
57 return;
58 ArchString = std::string(Arch);
60}
61
63 ArchStringStack.push_back(ArchString);
64}
65
67 if (!ArchStringStack.empty())
68 setArchString(ArchStringStack.pop_back_val());
69}
70
79
80void RISCVTargetELFStreamer::emitAttribute(unsigned Attribute, unsigned Value) {
81 getStreamer().setAttributeItem(Attribute, Value, /*OverwriteExisting=*/true);
82}
83
84void RISCVTargetELFStreamer::emitTextAttribute(unsigned Attribute,
86 getStreamer().setAttributeItem(Attribute, String, /*OverwriteExisting=*/true);
87}
88
89void RISCVTargetELFStreamer::emitIntTextAttribute(unsigned Attribute,
90 unsigned IntValue,
91 StringRef StringValue) {
92 getStreamer().setAttributeItems(Attribute, IntValue, StringValue,
93 /*OverwriteExisting=*/true);
94}
95
97 RISCVELFStreamer &S = getStreamer();
98 if (S.Contents.empty())
99 return;
100
101 S.emitAttributesSection(CurrentVendor, ".riscv.attributes",
102 ELF::SHT_RISCV_ATTRIBUTES, AttributeSection);
103}
104
109
110 unsigned EFlags = W.getELFHeaderEFlags();
111
112 if (hasRVC())
113 EFlags |= ELF::EF_RISCV_RVC;
114 if (hasTSO())
115 EFlags |= ELF::EF_RISCV_TSO;
116
117 switch (ABI) {
122 break;
128 break;
134 break;
139 EFlags |= ELF::EF_RISCV_RVE;
140 break;
142 break;
143 }
144
145 W.setELFHeaderEFlags(EFlags);
146}
147
149 AttributeSection = nullptr;
150 ArchString = InitialArchString;
151 ArchStringStack.clear();
152 // Re-seed the streamer's active ISA so the first instruction after reset
153 // still records the full ISA via "$x<ISA>", matching the behaviour set up
154 // in the constructor.
155 if (!InitialArchString.empty())
156 getStreamer().setMappingSymbolArch(InitialArchString);
157}
158
163
166 LastMappingSymbols.clear();
167 LastEMS = EMS_None;
168 MappingSymbolArch.clear();
169 LastEmittedArch.clear();
170 LastEmittedArchInSection.clear();
171 // Call target streamer reset last: it may call setMappingSymbolArch to
172 // re-seed the initial ISA after our state has been cleared.
173 static_cast<RISCVTargetStreamer *>(getTargetStreamer())->reset();
174}
175
176void RISCVELFStreamer::emitDataMappingSymbol() {
177 if (LastEMS == EMS_Data)
178 return;
179 emitMappingSymbol("$d");
180 LastEMS = EMS_Data;
181}
182
183void RISCVELFStreamer::emitInstructionsMappingSymbol() {
184 // Emit a mapping symbol at the start of each instruction run, and whenever
185 // the active ISA has changed since the last one emitted in this section.
186 // The symbol takes the form "$x<ISA>" when MappingSymbolArch is known, or
187 // plain "$x" as a fallback. The comparison with LastEmittedArch provides
188 // deduplication: repeating .option arch with the same ISA, or re-entering a
189 // section whose last mapping symbol already matches the active ISA, emits
190 // no redundant symbol.
191 bool NeedSymbol =
192 LastEMS != EMS_Instructions || LastEmittedArch != MappingSymbolArch;
193 if (NeedSymbol) {
194 if (MappingSymbolArch.empty())
195 emitMappingSymbol("$x");
196 else
197 emitMappingSymbol("$x" + MappingSymbolArch);
198 LastEmittedArch = MappingSymbolArch;
199 }
200 LastEMS = EMS_Instructions;
201}
202
203void RISCVELFStreamer::emitMappingSymbol(StringRef Name) {
204 auto *Symbol =
205 static_cast<MCSymbolELF *>(getContext().createLocalSymbol(Name));
206 emitLabel(Symbol);
207 Symbol->setType(ELF::STT_NOTYPE);
208 Symbol->setBinding(ELF::STB_LOCAL);
209}
210
212 MappingSymbolArch = std::string(Arch);
213}
214
216 // We have to keep track of the mapping symbol state of any sections we
217 // use. Each one should start off as EMS_None, which is provided as the
218 // default constructor by DenseMap::lookup. The last ISA suffix emitted in
219 // each section is also preserved so that re-entering a section only emits a
220 // new "$x<ISA>" symbol when the active ISA has actually changed.
221 const MCSection *Prev = getPreviousSection().first;
222 LastMappingSymbols[Prev] = LastEMS;
223 LastEmittedArchInSection[Prev] = LastEmittedArch;
224 LastEMS = LastMappingSymbols.lookup(Section);
225 auto It = LastEmittedArchInSection.find(Section);
226 LastEmittedArch = It != LastEmittedArchInSection.end() ? It->second : "";
227
228 MCELFStreamer::changeSection(Section, Subsection);
229}
230
232 const MCSubtargetInfo &STI) {
233 emitInstructionsMappingSymbol();
235}
236
238 emitDataMappingSymbol();
240}
241
242void RISCVELFStreamer::emitFill(const MCExpr &NumBytes, uint64_t FillValue,
243 SMLoc Loc) {
244 emitDataMappingSymbol();
245 MCELFStreamer::emitFill(NumBytes, FillValue, Loc);
246}
247
249 SMLoc Loc) {
250 emitDataMappingSymbol();
252}
253
255 std::unique_ptr<MCAsmBackend> &&MAB,
256 std::unique_ptr<MCObjectWriter> &&MOW,
257 std::unique_ptr<MCCodeEmitter> &&MCE) {
258 return new RISCVELFStreamer(C, std::move(MAB), std::move(MOW),
259 std::move(MCE));
260}
261
263 const uint32_t Feature1And) {
264 MCStreamer &OutStreamer = getStreamer();
265 MCContext &Ctx = OutStreamer.getContext();
266
267 const Triple &Triple = Ctx.getTargetTriple();
268 Align NoteAlign;
269 uint64_t DescSize;
270 if (Triple.isArch64Bit()) {
271 NoteAlign = Align(8);
272 DescSize = 16;
273 } else {
275 NoteAlign = Align(4);
276 DescSize = 12;
277 }
278
279 assert(Ctx.getObjectFileType() == MCContext::Environment::IsELF);
280 MCSection *const NoteSection =
281 Ctx.getELFSection(".note.gnu.property", ELF::SHT_NOTE, ELF::SHF_ALLOC);
282 OutStreamer.pushSection();
283 OutStreamer.switchSection(NoteSection);
284
285 // Emit the note header
286 OutStreamer.emitValueToAlignment(NoteAlign);
287 OutStreamer.emitIntValue(4, 4); // n_namsz
288 OutStreamer.emitIntValue(DescSize, 4); // n_descsz
289 OutStreamer.emitIntValue(ELF::NT_GNU_PROPERTY_TYPE_0, 4); // n_type
290 OutStreamer.emitBytes(StringRef("GNU", 4)); // n_name
291
292 // Emit n_desc field
293
294 // Emit the feature_1_and property
295 OutStreamer.emitIntValue(ELF::GNU_PROPERTY_RISCV_FEATURE_1_AND, 4); // pr_type
296 OutStreamer.emitIntValue(4, 4); // pr_datasz
297 OutStreamer.emitIntValue(Feature1And, 4); // pr_data
298 OutStreamer.emitValueToAlignment(NoteAlign); // pr_padding
299
300 OutStreamer.popSection();
301}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
Functions, function parameters, and return types can have attributes to indicate how they should be t...
Definition Attributes.h:106
LLVM_ABI bool registerSymbol(const MCSymbol &Symbol)
Context object for machine code objects.
Definition MCContext.h:83
LLVM_ABI MCSymbol * createLocalSymbol(StringRef Name)
Create a local, non-temporary symbol like an ELF mapping symbol.
SmallVector< AttributeItem, 64 > Contents
void emitAttributesSection(StringRef Vendor, const Twine &Section, unsigned Type, MCSection *&AttributeSection)
void changeSection(MCSection *Section, uint32_t Subsection=0) override
This is called by popSection and switchSection, if the current section changes.
void setAttributeItems(unsigned Attribute, unsigned IntValue, StringRef StringValue, bool OverwriteExisting)
ELFObjectWriter & getWriter()
void setAttributeItem(unsigned Attribute, unsigned Value, bool OverwriteExisting)
void reset() override
state management
void emitLabel(MCSymbol *Symbol, SMLoc Loc=SMLoc()) override
Emit a label for Symbol into the current section.
MCELFStreamer(MCContext &Context, std::unique_ptr< MCAsmBackend > TAB, std::unique_ptr< MCObjectWriter > OW, std::unique_ptr< MCCodeEmitter > Emitter)
Base class for the full range of assembler expressions which are needed for parsing.
Definition MCExpr.h:34
Instances of this class represent a single low-level machine instruction.
Definition MCInst.h:188
void emitFill(const MCExpr &NumBytes, uint64_t FillValue, SMLoc Loc=SMLoc()) override
Emit Size bytes worth of the value specified by FillValue.
MCAssembler & getAssembler()
void emitBytes(StringRef Data) override
Emit the bytes in Data into the output.
void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI) override
Emit the given Instruction into the current section.
void emitValueImpl(const MCExpr *Value, unsigned Size, SMLoc Loc=SMLoc()) override
Emit the expression Value into the output as a native integer of the given Size bytes.
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition MCSection.h:580
Streaming machine code generation interface.
Definition MCStreamer.h:222
MCSectionSubPair getPreviousSection() const
Return the previous section that the streamer is emitting code to.
Definition MCStreamer.h:443
virtual bool popSection()
Restore the current and previous section from the section stack.
MCContext & getContext() const
Definition MCStreamer.h:326
virtual void emitValueToAlignment(Align Alignment, int64_t Fill=0, uint8_t FillLen=1, unsigned MaxBytesToEmit=0)
Emit some number of copies of Value until the byte alignment ByteAlignment is reached.
MCTargetStreamer * getTargetStreamer()
Definition MCStreamer.h:336
virtual void emitIntValue(uint64_t Value, unsigned Size)
Special case of EmitValue that avoids the client having to pass in a MCExpr for constant integers.
void pushSection()
Save the current and previous section on the section stack.
Definition MCStreamer.h:460
virtual void switchSection(MCSection *Section, uint32_t Subsec=0)
Set the current section where code is being emitted to Section.
virtual void emitBytes(StringRef Data)
Emit the bytes in Data into the output.
Generic base class for all target subtargets.
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition MCSymbol.h:42
MCStreamer & Streamer
Definition MCStreamer.h:97
This class represents success/failure for parsing-like operations that find it important to chain tog...
void setMappingSymbolArch(StringRef Arch)
void changeSection(MCSection *Section, uint32_t Subsection) override
This is called by popSection and switchSection, if the current section changes.
void emitBytes(StringRef Data) override
Emit the bytes in Data into the output.
RISCVELFStreamer(MCContext &C, std::unique_ptr< MCAsmBackend > MAB, std::unique_ptr< MCObjectWriter > MOW, std::unique_ptr< MCCodeEmitter > MCE)
void emitInstruction(const MCInst &Inst, const MCSubtargetInfo &STI) override
Emit the given Instruction into the current section.
void emitFill(const MCExpr &NumBytes, uint64_t FillValue, SMLoc Loc) override
Emit Size bytes worth of the value specified by FillValue.
void emitValueImpl(const MCExpr *Value, unsigned Size, SMLoc Loc) override
Emit the expression Value into the output as a native integer of the given Size bytes.
void setArchString(StringRef Arch) override
void emitNoteGnuPropertySection(const uint32_t Feature1And)
void emitDirectiveOptionNoExact() override
RISCVTargetELFStreamer(MCStreamer &S, const MCSubtargetInfo &STI)
void emitDirectiveVariantCC(MCSymbol &Symbol) override
RISCVELFStreamer & getStreamer()
void emitDirectiveOptionNoRelax() override
RISCVABI::ABI getTargetABI() const
void setFlagsFromFeatures(const MCSubtargetInfo &STI)
Represents a location in source code.
Definition SMLoc.h:22
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:48
LLVM_ABI bool isArch64Bit() const
Test whether the architecture is 64-bit.
Definition Triple.cpp:1827
LLVM_ABI bool isArch32Bit() const
Test whether the architecture is 32-bit.
Definition Triple.cpp:1831
LLVM Value Representation.
Definition Value.h:75
@ NT_GNU_PROPERTY_TYPE_0
Definition ELF.h:1822
@ SHF_ALLOC
Definition ELF.h:1259
@ SHT_RISCV_ATTRIBUTES
Definition ELF.h:1242
@ SHT_NOTE
Definition ELF.h:1163
@ STB_LOCAL
Definition ELF.h:1415
@ STT_NOTYPE
Definition ELF.h:1427
@ STO_RISCV_VARIANT_CC
Definition ELF.h:733
@ GNU_PROPERTY_RISCV_FEATURE_1_AND
Definition ELF.h:1858
@ EF_RISCV_RVE
Definition ELF.h:718
@ EF_RISCV_RVC
Definition ELF.h:712
@ EF_RISCV_TSO
Definition ELF.h:719
@ EF_RISCV_FLOAT_ABI_SINGLE
Definition ELF.h:715
@ EF_RISCV_FLOAT_ABI_DOUBLE
Definition ELF.h:716
llvm::Expected< std::unique_ptr< RISCVISAInfo > > parseFeatureBits(const MCSubtargetInfo &STI)
This is an optimization pass for GlobalISel generic memory operations.
MCStreamer * createRISCVELFStreamer(const Triple &, MCContext &C, std::unique_ptr< MCAsmBackend > &&MAB, std::unique_ptr< MCObjectWriter > &&MOW, std::unique_ptr< MCCodeEmitter > &&MCE)
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:1933
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39