LLVM 21.0.0git
TargetLoweringObjectFile.h
Go to the documentation of this file.
1//===-- llvm/Target/TargetLoweringObjectFile.h - Object Info ----*- 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//
9// This file implements classes used to handle lowerings specific to common
10// object file formats.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_TARGET_TARGETLOWERINGOBJECTFILE_H
15#define LLVM_TARGET_TARGETLOWERINGOBJECTFILE_H
16
18#include "llvm/MC/MCRegister.h"
19#include <cstdint>
20
21namespace llvm {
22
23struct Align;
24struct MachineJumpTableEntry;
25class Constant;
26class DataLayout;
27class Function;
28class GlobalObject;
29class GlobalValue;
30class MachineBasicBlock;
31class MachineModuleInfo;
32class Mangler;
33class MCContext;
34class MCExpr;
35class MCSection;
36class MCSymbol;
37class MCSymbolRefExpr;
38class MCStreamer;
39class MCValue;
40class Module;
41class SectionKind;
42class StringRef;
43class TargetMachine;
44class DSOLocalEquivalent;
45
47 /// Name-mangler for global names.
48 Mangler *Mang = nullptr;
49
50protected:
55
56 /// PersonalityEncoding, LSDAEncoding, TTypeEncoding - Some encoding values
57 /// for EH.
58 unsigned PersonalityEncoding = 0;
59 unsigned LSDAEncoding = 0;
60 unsigned TTypeEncoding = 0;
61 unsigned CallSiteEncoding = 0;
62
63 /// This section contains the static constructor pointer list.
65
66 /// This section contains the static destructor pointer list.
68
69 const TargetMachine *TM = nullptr;
70
71public:
77
78 Mangler &getMangler() const { return *Mang; }
79
80 /// This method must be called before any actual lowering is done. This
81 /// specifies the current context for codegen, and gives the lowering
82 /// implementations a chance to set up their default sections.
83 virtual void Initialize(MCContext &ctx, const TargetMachine &TM);
84
85 virtual void emitPersonalityValue(MCStreamer &Streamer, const DataLayout &TM,
86 const MCSymbol *Sym,
87 const MachineModuleInfo *MMI) const;
88
89 /// Emit the module-level metadata that the platform cares about.
90 virtual void emitModuleMetadata(MCStreamer &Streamer, Module &M) const {}
91
92 /// Emit Call Graph Profile metadata.
93 void emitCGProfileMetadata(MCStreamer &Streamer, Module &M) const;
94
95 /// Process linker options metadata and emit platform-specific bits.
96 virtual void emitLinkerDirectives(MCStreamer &Streamer, Module &M) const {}
97
98 /// Get the module-level metadata that the platform cares about.
99 virtual void getModuleMetadata(Module &M) {}
100
101 /// Given a constant with the SectionKind, return a section that it should be
102 /// placed in.
104 SectionKind Kind, const Constant *C,
105 Align &Alignment) const;
106
107 virtual MCSection *
109 const MachineBasicBlock &MBB,
110 const TargetMachine &TM) const;
111
112 virtual MCSection *
114 const TargetMachine &TM) const;
115
116 /// Classify the specified global variable into a set of target independent
117 /// categories embodied in SectionKind.
119 const TargetMachine &TM);
120
121 /// This method computes the appropriate section to emit the specified global
122 /// variable or function definition. This should not be passed external (or
123 /// available externally) globals.
125 const TargetMachine &TM) const;
126
127 /// This method computes the appropriate section to emit the specified global
128 /// variable or function definition. This should not be passed external (or
129 /// available externally) globals.
131 const TargetMachine &TM) const;
132
133 virtual void getNameWithPrefix(SmallVectorImpl<char> &OutName,
134 const GlobalValue *GV,
135 const TargetMachine &TM) const;
136
138 const TargetMachine &TM) const;
139 virtual MCSection *
141 const MachineJumpTableEntry *JTE) const;
142
143 virtual MCSection *getSectionForLSDA(const Function &, const MCSymbol &,
144 const TargetMachine &) const {
145 return LSDASection;
146 }
147
148 virtual bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference,
149 const Function &F) const;
150
151 /// Targets should implement this method to assign a section to globals with
152 /// an explicit section specfied. The implementation of this method can
153 /// assume that GO->hasSection() is true.
154 virtual MCSection *
156 const TargetMachine &TM) const = 0;
157
158 /// Return an MCExpr to use for a reference to the specified global variable
159 /// from exception handling information.
160 virtual const MCExpr *getTTypeGlobalReference(const GlobalValue *GV,
161 unsigned Encoding,
162 const TargetMachine &TM,
164 MCStreamer &Streamer) const;
165
166 /// Return the MCSymbol for a private symbol with global value name as its
167 /// base, with the specified suffix.
169 StringRef Suffix,
170 const TargetMachine &TM) const;
171
172 // The symbol that gets passed to .cfi_personality.
174 const TargetMachine &TM,
175 MachineModuleInfo *MMI) const;
176
177 unsigned getPersonalityEncoding() const { return PersonalityEncoding; }
178 unsigned getLSDAEncoding() const { return LSDAEncoding; }
179 unsigned getTTypeEncoding() const { return TTypeEncoding; }
180 unsigned getCallSiteEncoding() const;
181
182 const MCExpr *getTTypeReference(const MCSymbolRefExpr *Sym, unsigned Encoding,
183 MCStreamer &Streamer) const;
184
185 virtual MCSection *getStaticCtorSection(unsigned Priority,
186 const MCSymbol *KeySym) const {
187 return StaticCtorSection;
188 }
189
190 virtual MCSection *getStaticDtorSection(unsigned Priority,
191 const MCSymbol *KeySym) const {
192 return StaticDtorSection;
193 }
194
195 /// Create a symbol reference to describe the given TLS variable when
196 /// emitting the address in debug info.
197 virtual const MCExpr *getDebugThreadLocalSymbol(const MCSymbol *Sym) const;
198
200 const GlobalValue *RHS,
201 const TargetMachine &TM) const {
202 return nullptr;
203 }
204
205 /// Target supports a native lowering of a dso_local_equivalent constant
206 /// without needing to replace it with equivalent IR.
209 }
210
212 const TargetMachine &TM) const {
213 return nullptr;
214 }
215
216 /// Target supports replacing a data "PC"-relative access to a symbol
217 /// through another symbol, by accessing the later via a GOT entry instead?
220 }
221
222 /// Target GOT "PC"-relative relocation supports encoding an additional
223 /// binary expression with an offset?
226 }
227
228 /// Target supports TLS offset relocation in debug section?
231 }
232
233 /// Returns the register used as static base in RWPI variants.
235
236 /// Get the target specific RWPI relocation.
237 virtual const MCExpr *getIndirectSymViaRWPI(const MCSymbol *Sym) const {
238 return nullptr;
239 }
240
241 /// Get the target specific PC relative GOT entry relocation
243 const MCSymbol *Sym,
244 const MCValue &MV,
245 int64_t Offset,
247 MCStreamer &Streamer) const {
248 return nullptr;
249 }
250
251 /// If supported, return the section to use for the llvm.commandline
252 /// metadata. Otherwise, return nullptr.
254 return nullptr;
255 }
256
257 /// On targets that use separate function descriptor symbols, return a section
258 /// for the descriptor given its symbol. Use only with defined functions.
259 virtual MCSection *
261 const TargetMachine &TM) const {
262 return nullptr;
263 }
264
265 /// On targets that support TOC entries, return a section for the entry given
266 /// the symbol it refers to.
267 /// TODO: Implement this interface for existing ELF targets.
269 const TargetMachine &TM) const {
270 return nullptr;
271 }
272
273 /// On targets that associate external references with a section, return such
274 /// a section for the given external global.
275 virtual MCSection *
277 const TargetMachine &TM) const {
278 return nullptr;
279 }
280
281 /// Targets that have a special convention for their symbols could use
282 /// this hook to return a specialized symbol.
284 const TargetMachine &TM) const {
285 return nullptr;
286 }
287
288 /// If supported, return the function entry point symbol.
289 /// Otherwise, returns nullptr.
290 /// Func must be a function or an alias which has a function as base object.
292 const TargetMachine &TM) const {
293 return nullptr;
294 }
295
296protected:
298 SectionKind Kind,
299 const TargetMachine &TM) const = 0;
300};
301
302} // end namespace llvm
303
304#endif // LLVM_TARGET_TARGETLOWERINGOBJECTFILE_H
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
uint64_t Align
Symbol * Sym
Definition: ELF_riscv.cpp:479
#define F(x, y, z)
Definition: MD5.cpp:55
Machine Check Debug Module
Value * RHS
Value * LHS
This is an important base class in LLVM.
Definition: Constant.h:42
Wrapper for a function that represents a value that functionally represents the original function.
Definition: Constants.h:941
A parsed version of the target data layout string in and methods for querying it.
Definition: DataLayout.h:63
Context object for machine code objects.
Definition: MCContext.h:83
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:34
MCSection * LSDASection
If exception handling is supported by the target, this is the section the Language Specific Data Area...
Wrapper class representing physical registers. Should be passed by value.
Definition: MCRegister.h:33
static constexpr unsigned NoRegister
Definition: MCRegister.h:52
Instances of this class represent a uniqued identifier for a section in the current translation unit.
Definition: MCSection.h:36
Streaming machine code generation interface.
Definition: MCStreamer.h:213
Represent a reference to a symbol from inside an expression.
Definition: MCExpr.h:192
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
This represents an "assembler immediate".
Definition: MCValue.h:36
This class contains meta information specific to a module.
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
SectionKind - This is a simple POD value that classifies the properties of a section.
Definition: SectionKind.h:22
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:573
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:51
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.
virtual MCRegister getStaticBase() const
Returns the register used as static base in RWPI variants.
virtual MCSection * getSectionForCommandLines() const
If supported, return the section to use for the llvm.commandline metadata.
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 MCSection * getSectionForJumpTable(const Function &F, const TargetMachine &TM) const
virtual MCSection * getStaticDtorSection(unsigned Priority, const MCSymbol *KeySym) const
virtual bool shouldPutJumpTableInFunctionSection(bool UsesLabelDifference, const Function &F) const
virtual const MCExpr * getIndirectSymViaGOTPCRel(const GlobalValue *GV, const MCSymbol *Sym, const MCValue &MV, int64_t Offset, MachineModuleInfo *MMI, MCStreamer &Streamer) const
Get the target specific PC relative GOT entry relocation.
TargetLoweringObjectFile & operator=(const TargetLoweringObjectFile &)=delete
virtual void emitModuleMetadata(MCStreamer &Streamer, Module &M) const
Emit the module-level metadata that the platform cares about.
virtual MCSection * getSectionForExternalReference(const GlobalObject *GO, const TargetMachine &TM) const
On targets that associate external references with a section, return such a section for the given ext...
virtual MCSymbol * getCFIPersonalitySymbol(const GlobalValue *GV, const TargetMachine &TM, MachineModuleInfo *MMI) const
bool supportDSOLocalEquivalentLowering() const
Target supports a native lowering of a dso_local_equivalent constant without needing to replace it wi...
virtual void Initialize(MCContext &ctx, const TargetMachine &TM)
This method must be called before any actual lowering is done.
virtual void getModuleMetadata(Module &M)
Get the module-level metadata that the platform cares about.
bool supportDebugThreadLocalLocation() const
Target supports TLS offset relocation in debug section?
MCSection * StaticCtorSection
This section contains the static constructor pointer list.
virtual MCSection * SelectSectionForGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const =0
virtual const MCExpr * getIndirectSymViaRWPI(const MCSymbol *Sym) const
Get the target specific RWPI relocation.
virtual MCSection * getSectionForConstant(const DataLayout &DL, SectionKind Kind, const Constant *C, Align &Alignment) const
Given a constant with the SectionKind, return a section that it should be placed in.
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 MCSection * getStaticCtorSection(unsigned Priority, const MCSymbol *KeySym) const
virtual const MCExpr * lowerDSOLocalEquivalent(const DSOLocalEquivalent *Equiv, const TargetMachine &TM) const
virtual MCSection * getSectionForMachineBasicBlock(const Function &F, const MachineBasicBlock &MBB, const TargetMachine &TM) const
virtual MCSection * getSectionForTOCEntry(const MCSymbol *S, const TargetMachine &TM) const
On targets that support TOC entries, return a section for the entry given the symbol it refers to.
bool supportGOTPCRelWithOffset() const
Target GOT "PC"-relative relocation supports encoding an additional binary expression with an offset?
virtual const MCExpr * getDebugThreadLocalSymbol(const MCSymbol *Sym) const
Create a symbol reference to describe the given TLS variable when emitting the address in debug info.
virtual MCSection * getSectionForLSDA(const Function &, const MCSymbol &, const TargetMachine &) const
bool supportIndirectSymViaGOTPCRel() const
Target supports replacing a data "PC"-relative access to a symbol through another symbol,...
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...
virtual MCSection * getExplicitSectionGlobal(const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const =0
Targets should implement this method to assign a section to globals with an explicit section specfied...
const MCExpr * getTTypeReference(const MCSymbolRefExpr *Sym, unsigned Encoding, MCStreamer &Streamer) const
virtual MCSymbol * getFunctionEntryPointSymbol(const GlobalValue *Func, const TargetMachine &TM) const
If supported, return the function entry point symbol.
virtual MCSection * getSectionForFunctionDescriptor(const Function *F, const TargetMachine &TM) const
On targets that use separate function descriptor symbols, return a section for the descriptor given i...
virtual void emitLinkerDirectives(MCStreamer &Streamer, Module &M) const
Process linker options metadata and emit platform-specific bits.
TargetLoweringObjectFile(const TargetLoweringObjectFile &)=delete
virtual void emitPersonalityValue(MCStreamer &Streamer, const DataLayout &TM, const MCSymbol *Sym, const MachineModuleInfo *MMI) const
virtual MCSymbol * getTargetSymbol(const GlobalValue *GV, const TargetMachine &TM) const
Targets that have a special convention for their symbols could use this hook to return a specialized ...
virtual const MCExpr * lowerRelativeReference(const GlobalValue *LHS, const GlobalValue *RHS, const TargetMachine &TM) const
virtual MCSection * getUniqueSectionForFunction(const Function &F, const TargetMachine &TM) 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.
Definition: TargetMachine.h:80
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:480
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39
MachineJumpTableEntry - One jump table in the jump table info.