LLVM 18.0.0git
SystemZMCAsmBackend.cpp
Go to the documentation of this file.
1//===-- SystemZMCAsmBackend.cpp - SystemZ assembler 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
13#include "llvm/MC/MCAssembler.h"
14#include "llvm/MC/MCContext.h"
17#include "llvm/MC/MCInst.h"
20
21using namespace llvm;
22
23// Value is a fully-resolved relocation value: Symbol + Addend [- Pivot].
24// Return the bits that should be installed in a relocation field for
25// fixup kind Kind.
27 const MCFixup &Fixup, MCContext &Ctx) {
28 if (Kind < FirstTargetFixupKind)
29 return Value;
30
31 auto checkFixupInRange = [&](int64_t Min, int64_t Max) -> bool {
32 int64_t SVal = int64_t(Value);
33 if (SVal < Min || SVal > Max) {
34 Ctx.reportError(Fixup.getLoc(), "operand out of range (" + Twine(SVal) +
35 " not between " + Twine(Min) +
36 " and " + Twine(Max) + ")");
37 return false;
38 }
39 return true;
40 };
41
42 auto handlePCRelFixupValue = [&](unsigned W) -> uint64_t {
43 if (Value % 2 != 0)
44 Ctx.reportError(Fixup.getLoc(), "Non-even PC relative offset.");
45 if (!checkFixupInRange(minIntN(W) * 2, maxIntN(W) * 2))
46 return 0;
47 return (int64_t)Value / 2;
48 };
49
50 auto handleImmValue = [&](bool IsSigned, unsigned W) -> uint64_t {
51 if (!(IsSigned ? checkFixupInRange(minIntN(W), maxIntN(W))
52 : checkFixupInRange(0, maxUIntN(W))))
53 return 0;
54 return Value;
55 };
56
57 switch (unsigned(Kind)) {
59 return handlePCRelFixupValue(12);
61 return handlePCRelFixupValue(16);
63 return handlePCRelFixupValue(24);
65 return handlePCRelFixupValue(32);
66
68 return 0;
69
71 return handleImmValue(true, 8);
73 return handleImmValue(true, 16);
75 Value = handleImmValue(true, 20);
76 // S20Imm is used only for signed 20-bit displacements.
77 // The high byte of a 20 bit displacement value comes first.
78 uint64_t DLo = Value & 0xfff;
79 uint64_t DHi = (Value >> 12) & 0xff;
80 return (DLo << 8) | DHi;
81 }
83 return handleImmValue(true, 32);
85 return handleImmValue(false, 1);
87 return handleImmValue(false, 2);
89 return handleImmValue(false, 3);
91 return handleImmValue(false, 4);
93 return handleImmValue(false, 8);
95 return handleImmValue(false, 12);
97 return handleImmValue(false, 16);
99 return handleImmValue(false, 32);
101 return handleImmValue(false, 48);
102 }
103
104 llvm_unreachable("Unknown fixup kind!");
105}
106
107namespace {
108class SystemZMCAsmBackend : public MCAsmBackend {
109 uint8_t OSABI;
110public:
111 SystemZMCAsmBackend(uint8_t osABI)
112 : MCAsmBackend(support::big), OSABI(osABI) {}
113
114 // Override MCAsmBackend
115 unsigned getNumFixupKinds() const override {
117 }
118 std::optional<MCFixupKind> getFixupKind(StringRef Name) const override;
119 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override;
120 bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup,
121 const MCValue &Target) override;
122 void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup,
124 uint64_t Value, bool IsResolved,
125 const MCSubtargetInfo *STI) const override;
127 const MCRelaxableFragment *Fragment,
128 const MCAsmLayout &Layout) const override {
129 return false;
130 }
131 bool writeNopData(raw_ostream &OS, uint64_t Count,
132 const MCSubtargetInfo *STI) const override;
133 std::unique_ptr<MCObjectTargetWriter>
134 createObjectTargetWriter() const override {
135 return createSystemZObjectWriter(OSABI);
136 }
137};
138} // end anonymous namespace
139
140std::optional<MCFixupKind>
141SystemZMCAsmBackend::getFixupKind(StringRef Name) const {
143#define ELF_RELOC(X, Y) .Case(#X, Y)
144#include "llvm/BinaryFormat/ELFRelocs/SystemZ.def"
145#undef ELF_RELOC
146 .Case("BFD_RELOC_NONE", ELF::R_390_NONE)
147 .Case("BFD_RELOC_8", ELF::R_390_8)
148 .Case("BFD_RELOC_16", ELF::R_390_16)
149 .Case("BFD_RELOC_32", ELF::R_390_32)
150 .Case("BFD_RELOC_64", ELF::R_390_64)
151 .Default(-1u);
152 if (Type != -1u)
153 return static_cast<MCFixupKind>(FirstLiteralRelocationKind + Type);
154 return std::nullopt;
155}
156
157const MCFixupKindInfo &
158SystemZMCAsmBackend::getFixupKindInfo(MCFixupKind Kind) const {
159 // Fixup kinds from .reloc directive are like R_390_NONE. They
160 // do not require any extra processing.
161 if (Kind >= FirstLiteralRelocationKind)
163
164 if (Kind < FirstTargetFixupKind)
166
167 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
168 "Invalid kind!");
170}
171
172bool SystemZMCAsmBackend::shouldForceRelocation(const MCAssembler &,
173 const MCFixup &Fixup,
174 const MCValue &) {
175 return Fixup.getKind() >= FirstLiteralRelocationKind;
176}
177
178void SystemZMCAsmBackend::applyFixup(const MCAssembler &Asm,
179 const MCFixup &Fixup,
180 const MCValue &Target,
182 bool IsResolved,
183 const MCSubtargetInfo *STI) const {
184 MCFixupKind Kind = Fixup.getKind();
185 if (Kind >= FirstLiteralRelocationKind)
186 return;
187 unsigned Offset = Fixup.getOffset();
188 unsigned BitSize = getFixupKindInfo(Kind).TargetSize;
189 unsigned Size = (BitSize + 7) / 8;
190
191 assert(Offset + Size <= Data.size() && "Invalid fixup offset!");
192
193 // Big-endian insertion of Size bytes.
194 Value = extractBitsForFixup(Kind, Value, Fixup, Asm.getContext());
195 if (BitSize < 64)
196 Value &= ((uint64_t)1 << BitSize) - 1;
197 unsigned ShiftValue = (Size * 8) - 8;
198 for (unsigned I = 0; I != Size; ++I) {
199 Data[Offset + I] |= uint8_t(Value >> ShiftValue);
200 ShiftValue -= 8;
201 }
202}
203
204bool SystemZMCAsmBackend::writeNopData(raw_ostream &OS, uint64_t Count,
205 const MCSubtargetInfo *STI) const {
206 for (uint64_t I = 0; I != Count; ++I)
207 OS << '\x7';
208 return true;
209}
210
212 const MCSubtargetInfo &STI,
213 const MCRegisterInfo &MRI,
214 const MCTargetOptions &Options) {
215 uint8_t OSABI =
217 return new SystemZMCAsmBackend(OSABI);
218}
unsigned const MachineRegisterInfo * MRI
std::string Name
uint64_t Size
static LVOptions Options
Definition: LVOptions.cpp:25
#define I(x, y, z)
Definition: MD5.cpp:58
PowerPC TLS Dynamic Call Fixup
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
raw_pwrite_stream & OS
This file implements the StringSwitch template, which mimics a switch() statement whose cases are str...
static uint64_t extractBitsForFixup(MCFixupKind Kind, uint64_t Value, const MCFixup &Fixup, MCContext &Ctx)
Generic interface to target specific assembler backends.
Definition: MCAsmBackend.h:42
virtual bool writeNopData(raw_ostream &OS, uint64_t Count, const MCSubtargetInfo *STI) const =0
Write an (optimal) nop sequence of Count bytes to the given output.
virtual bool fixupNeedsRelaxation(const MCFixup &Fixup, uint64_t Value, const MCRelaxableFragment *DF, const MCAsmLayout &Layout) const =0
Simple predicate for targets where !Resolved implies requiring relaxation.
virtual bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup, const MCValue &Target)
Hook to check if a relocation is needed for some target specific reason.
Definition: MCAsmBackend.h:102
virtual std::unique_ptr< MCObjectTargetWriter > createObjectTargetWriter() const =0
virtual unsigned getNumFixupKinds() const =0
Get the number of target specific fixup kinds.
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 void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup, const MCValue &Target, MutableArrayRef< char > Data, uint64_t Value, bool IsResolved, const MCSubtargetInfo *STI) const =0
Apply the Value for given Fixup into the provided data fragment, at the offset specified by the fixup...
Encapsulates the layout of an assembly file at a particular point in time.
Definition: MCAsmLayout.h:28
Context object for machine code objects.
Definition: MCContext.h:76
void reportError(SMLoc L, const Twine &Msg)
Definition: MCContext.cpp:1059
Encode information on a single operation to perform on a byte sequence (e.g., an encoded instruction)...
Definition: MCFixup.h:70
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
A relaxable fragment holds on to its MCInst, since it may need to be relaxed during the assembler lay...
Definition: MCFragment.h:274
Generic base class for all target subtargets.
const Triple & getTargetTriple() const
This represents an "assembler immediate".
Definition: MCValue.h:36
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
Definition: ArrayRef.h:307
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
A switch()-like statement whose cases are string literals.
Definition: StringSwitch.h:44
StringSwitch & Case(StringLiteral S, T Value)
Definition: StringSwitch.h:69
R Default(T Value)
Definition: StringSwitch.h:182
Target - Wrapper for Target specific information.
OSType getOS() const
Get the parsed operating system type of this triple.
Definition: Triple.h:364
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
LLVM Value Representation.
Definition: Value.h:74
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition: raw_ostream.h:52
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
static const MCFixupKindInfo MCFixupKindInfos[SystemZ::NumTargetFixupKinds]
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:440
int64_t maxIntN(int64_t N)
Gets the maximum value for a N-bit signed integer.
Definition: MathExtras.h:219
MCAsmBackend * createSystemZMCAsmBackend(const Target &T, const MCSubtargetInfo &STI, const MCRegisterInfo &MRI, const MCTargetOptions &Options)
std::unique_ptr< MCObjectTargetWriter > createSystemZObjectWriter(uint8_t OSABI)
MCFixupKind
Extensible enumeration to represent the type of a fixup.
Definition: MCFixup.h:21
@ FirstTargetFixupKind
Definition: MCFixup.h:44
@ FirstLiteralRelocationKind
The range [FirstLiteralRelocationKind, MaxTargetFixupKind) is used for relocations coming from ....
Definition: MCFixup.h:49
@ FK_NONE
A no-op fixup.
Definition: MCFixup.h:22
int64_t minIntN(int64_t N)
Gets the minimum value for a N-bit signed integer.
Definition: MathExtras.h:212
uint64_t maxUIntN(uint64_t N)
Gets the maximum value for a N-bit unsigned integer.
Definition: MathExtras.h:201
Target independent information on a fixup kind.