LLVM 20.0.0git
MCAsmBackend.cpp
Go to the documentation of this file.
1//===- MCAsmBackend.cpp - Target MC Assembly Backend ----------------------===//
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
10#include "llvm/MC/MCAssembler.h"
21#include <cassert>
22#include <cstddef>
23#include <cstdint>
24
25using namespace llvm;
26
27MCAsmBackend::MCAsmBackend(llvm::endianness Endian, unsigned RelaxFixupKind)
28 : Endian(Endian), RelaxFixupKind(RelaxFixupKind) {}
29
31
32std::unique_ptr<MCObjectWriter>
34 auto TW = createObjectTargetWriter();
35 bool IsLE = Endian == llvm::endianness::little;
36 switch (TW->getFormat()) {
37 case Triple::MachO:
38 return std::make_unique<MachObjectWriter>(
39 cast<MCMachObjectTargetWriter>(std::move(TW)), OS, IsLE);
40 case Triple::COFF:
42 cast<MCWinCOFFObjectTargetWriter>(std::move(TW)), OS);
43 case Triple::ELF:
44 return std::make_unique<ELFObjectWriter>(
45 cast<MCELFObjectTargetWriter>(std::move(TW)), OS, IsLE);
46 case Triple::SPIRV:
48 cast<MCSPIRVObjectTargetWriter>(std::move(TW)), OS);
49 case Triple::Wasm:
50 return createWasmObjectWriter(cast<MCWasmObjectTargetWriter>(std::move(TW)),
51 OS);
52 case Triple::GOFF:
53 return createGOFFObjectWriter(cast<MCGOFFObjectTargetWriter>(std::move(TW)),
54 OS);
55 case Triple::XCOFF:
57 cast<MCXCOFFObjectTargetWriter>(std::move(TW)), OS);
59 return std::make_unique<DXContainerObjectWriter>(
60 cast<MCDXContainerTargetWriter>(std::move(TW)), OS);
61 default:
62 llvm_unreachable("unexpected object format");
63 }
64}
65
66std::unique_ptr<MCObjectWriter>
68 raw_pwrite_stream &DwoOS) const {
69 auto TW = createObjectTargetWriter();
70 switch (TW->getFormat()) {
71 case Triple::COFF:
73 cast<MCWinCOFFObjectTargetWriter>(std::move(TW)), OS, DwoOS);
74 case Triple::ELF:
75 return std::make_unique<ELFObjectWriter>(
76 cast<MCELFObjectTargetWriter>(std::move(TW)), OS, DwoOS,
78 case Triple::Wasm:
80 cast<MCWasmObjectTargetWriter>(std::move(TW)), OS, DwoOS);
81 default:
82 report_fatal_error("dwo only supported with COFF, ELF, and Wasm");
83 }
84}
85
86std::optional<MCFixupKind> MCAsmBackend::getFixupKind(StringRef Name) const {
87 return std::nullopt;
88}
89
91 static const MCFixupKindInfo Builtins[] = {
92 {"FK_NONE", 0, 0, 0},
93 {"FK_Data_1", 0, 8, 0},
94 {"FK_Data_2", 0, 16, 0},
95 {"FK_Data_4", 0, 32, 0},
96 {"FK_Data_8", 0, 64, 0},
97 {"FK_Data_leb128", 0, 0, 0},
98 {"FK_PCRel_1", 0, 8, MCFixupKindInfo::FKF_IsPCRel},
99 {"FK_PCRel_2", 0, 16, MCFixupKindInfo::FKF_IsPCRel},
100 {"FK_PCRel_4", 0, 32, MCFixupKindInfo::FKF_IsPCRel},
101 {"FK_PCRel_8", 0, 64, MCFixupKindInfo::FKF_IsPCRel},
102 {"FK_GPRel_1", 0, 8, 0},
103 {"FK_GPRel_2", 0, 16, 0},
104 {"FK_GPRel_4", 0, 32, 0},
105 {"FK_GPRel_8", 0, 64, 0},
106 {"FK_DTPRel_4", 0, 32, 0},
107 {"FK_DTPRel_8", 0, 64, 0},
108 {"FK_TPRel_4", 0, 32, 0},
109 {"FK_TPRel_8", 0, 64, 0},
110 {"FK_SecRel_1", 0, 8, 0},
111 {"FK_SecRel_2", 0, 16, 0},
112 {"FK_SecRel_4", 0, 32, 0},
113 {"FK_SecRel_8", 0, 64, 0},
114 };
115
116 assert((size_t)Kind <= std::size(Builtins) && "Unknown fixup kind");
117 return Builtins[Kind];
118}
119
121 const MCFixup &Fixup,
122 bool Resolved, uint64_t Value,
123 const MCRelaxableFragment *DF,
124 const bool WasForced) const {
125 if (!Resolved)
126 return true;
128}
129
131 // Consider a NULL personality (ie., no personality encoding) to be canonical
132 // because it's always at 0.
133 if (!Sym)
134 return true;
135
136 if (!Sym->isMachO())
137 llvm_unreachable("Expected MachO symbols only");
138
139 StringRef name = Sym->getName();
140 // XXX: We intentionally leave out "___gcc_personality_v0" because, despite
141 // being system-defined like these two, it is not very commonly-used.
142 // Reserving an empty slot for it seems silly.
143 return name == "___gxx_personality_v0" || name == "___objc_personality_v0";
144}
static RegisterPass< DebugifyFunctionPass > DF("debugify-function", "Attach debug info to a function")
std::string Name
Symbol * Sym
Definition: ELF_riscv.cpp:479
PowerPC TLS Dynamic Call Fixup
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static const char * name
Definition: SMEABIPass.cpp:46
endianness Endian
raw_pwrite_stream & OS
std::unique_ptr< MCObjectWriter > createObjectWriter(raw_pwrite_stream &OS) const
Create a new MCObjectWriter instance for use by the assembler backend to emit the final object file.
std::unique_ptr< MCObjectWriter > createDwoObjectWriter(raw_pwrite_stream &OS, raw_pwrite_stream &DwoOS) const
Create an MCObjectWriter that writes two object files: a .o file which is linked into the final progr...
const llvm::endianness Endian
Definition: MCAsmBackend.h:51
MCAsmBackend(llvm::endianness Endian, unsigned RelaxFixupKind=MaxFixupKind)
virtual bool fixupNeedsRelaxationAdvanced(const MCAssembler &Asm, const MCFixup &Fixup, bool Resolved, uint64_t Value, const MCRelaxableFragment *DF, const bool WasForced) const
Target specific predicate for whether a given fixup requires the associated instruction to be relaxed...
virtual bool fixupNeedsRelaxation(const MCFixup &Fixup, uint64_t Value) const
Simple predicate for targets where !Resolved implies requiring relaxation.
Definition: MCAsmBackend.h:169
bool isDarwinCanonicalPersonality(const MCSymbol *Sym) const
virtual std::unique_ptr< MCObjectTargetWriter > createObjectTargetWriter() const =0
virtual const MCFixupKindInfo & getFixupKindInfo(MCFixupKind Kind) const
Get information on a fixup kind.
virtual std::optional< MCFixupKind > getFixupKind(StringRef Name) const
Map a relocation name used in .reloc to a fixup kind.
virtual ~MCAsmBackend()
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:71
A relaxable fragment holds on to its MCInst, since it may need to be relaxed during the assembler lay...
Definition: MCFragment.h:234
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:41
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:51
@ DXContainer
Definition: Triple.h:311
LLVM Value Representation.
Definition: Value.h:74
An abstract base class for streams implementations that also support a pwrite operation.
Definition: raw_ostream.h:434
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
std::unique_ptr< MCObjectWriter > createGOFFObjectWriter(std::unique_ptr< MCGOFFObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
Construct a new GOFF writer instance.
std::unique_ptr< MCObjectWriter > createWasmObjectWriter(std::unique_ptr< MCWasmObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
Construct a new Wasm writer instance.
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
std::unique_ptr< MCObjectWriter > createWinCOFFDwoObjectWriter(std::unique_ptr< MCWinCOFFObjectTargetWriter > MOTW, raw_pwrite_stream &OS, raw_pwrite_stream &DwoOS)
MCFixupKind
Extensible enumeration to represent the type of a fixup.
Definition: MCFixup.h:21
std::unique_ptr< MCObjectWriter > createWinCOFFObjectWriter(std::unique_ptr< MCWinCOFFObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
Construct a new Win COFF writer instance.
std::unique_ptr< MCObjectWriter > createSPIRVObjectWriter(std::unique_ptr< MCSPIRVObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
Construct a new SPIR-V writer instance.
endianness
Definition: bit.h:70
std::unique_ptr< MCObjectWriter > createXCOFFObjectWriter(std::unique_ptr< MCXCOFFObjectTargetWriter > MOTW, raw_pwrite_stream &OS)
std::unique_ptr< MCObjectWriter > createWasmDwoObjectWriter(std::unique_ptr< MCWasmObjectTargetWriter > MOTW, raw_pwrite_stream &OS, raw_pwrite_stream &DwoOS)
Target independent information on a fixup kind.
@ FKF_IsPCRel
Is this fixup kind PCrelative? This is used by the assembler backend to evaluate fixup values in a ta...