10b57cec5SDimitry Andric //===-- SystemZMCAsmBackend.cpp - SystemZ assembler backend ---------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric
90b57cec5SDimitry Andric #include "MCTargetDesc/SystemZMCFixups.h"
100b57cec5SDimitry Andric #include "MCTargetDesc/SystemZMCTargetDesc.h"
11fe6060f1SDimitry Andric #include "llvm/ADT/StringSwitch.h"
120b57cec5SDimitry Andric #include "llvm/MC/MCAsmBackend.h"
13349cc55cSDimitry Andric #include "llvm/MC/MCAssembler.h"
14349cc55cSDimitry Andric #include "llvm/MC/MCContext.h"
150b57cec5SDimitry Andric #include "llvm/MC/MCELFObjectWriter.h"
160b57cec5SDimitry Andric #include "llvm/MC/MCFixupKindInfo.h"
170b57cec5SDimitry Andric #include "llvm/MC/MCInst.h"
180b57cec5SDimitry Andric #include "llvm/MC/MCObjectWriter.h"
190b57cec5SDimitry Andric #include "llvm/MC/MCSubtargetInfo.h"
200b57cec5SDimitry Andric
210b57cec5SDimitry Andric using namespace llvm;
220b57cec5SDimitry Andric
230b57cec5SDimitry Andric // Value is a fully-resolved relocation value: Symbol + Addend [- Pivot].
240b57cec5SDimitry Andric // Return the bits that should be installed in a relocation field for
250b57cec5SDimitry Andric // fixup kind Kind.
extractBitsForFixup(MCFixupKind Kind,uint64_t Value,const MCFixup & Fixup,MCContext & Ctx)26349cc55cSDimitry Andric static uint64_t extractBitsForFixup(MCFixupKind Kind, uint64_t Value,
27349cc55cSDimitry Andric const MCFixup &Fixup, MCContext &Ctx) {
280b57cec5SDimitry Andric if (Kind < FirstTargetFixupKind)
290b57cec5SDimitry Andric return Value;
300b57cec5SDimitry Andric
310eae32dcSDimitry Andric auto checkFixupInRange = [&](int64_t Min, int64_t Max) -> bool {
320eae32dcSDimitry Andric int64_t SVal = int64_t(Value);
330eae32dcSDimitry Andric if (SVal < Min || SVal > Max) {
340eae32dcSDimitry Andric Ctx.reportError(Fixup.getLoc(), "operand out of range (" + Twine(SVal) +
350eae32dcSDimitry Andric " not between " + Twine(Min) +
360eae32dcSDimitry Andric " and " + Twine(Max) + ")");
370eae32dcSDimitry Andric return false;
380eae32dcSDimitry Andric }
390eae32dcSDimitry Andric return true;
400eae32dcSDimitry Andric };
410eae32dcSDimitry Andric
420eae32dcSDimitry Andric auto handlePCRelFixupValue = [&](unsigned W) -> uint64_t {
430eae32dcSDimitry Andric if (Value % 2 != 0)
440eae32dcSDimitry Andric Ctx.reportError(Fixup.getLoc(), "Non-even PC relative offset.");
450eae32dcSDimitry Andric if (!checkFixupInRange(minIntN(W) * 2, maxIntN(W) * 2))
460eae32dcSDimitry Andric return 0;
470eae32dcSDimitry Andric return (int64_t)Value / 2;
480eae32dcSDimitry Andric };
490eae32dcSDimitry Andric
5006c3fb27SDimitry Andric auto handleImmValue = [&](bool IsSigned, unsigned W) -> uint64_t {
5106c3fb27SDimitry Andric if (!(IsSigned ? checkFixupInRange(minIntN(W), maxIntN(W))
5206c3fb27SDimitry Andric : checkFixupInRange(0, maxUIntN(W))))
5306c3fb27SDimitry Andric return 0;
5406c3fb27SDimitry Andric return Value;
5506c3fb27SDimitry Andric };
5606c3fb27SDimitry Andric
570b57cec5SDimitry Andric switch (unsigned(Kind)) {
580b57cec5SDimitry Andric case SystemZ::FK_390_PC12DBL:
590eae32dcSDimitry Andric return handlePCRelFixupValue(12);
600b57cec5SDimitry Andric case SystemZ::FK_390_PC16DBL:
610eae32dcSDimitry Andric return handlePCRelFixupValue(16);
620b57cec5SDimitry Andric case SystemZ::FK_390_PC24DBL:
630eae32dcSDimitry Andric return handlePCRelFixupValue(24);
640b57cec5SDimitry Andric case SystemZ::FK_390_PC32DBL:
650eae32dcSDimitry Andric return handlePCRelFixupValue(32);
660b57cec5SDimitry Andric
6706c3fb27SDimitry Andric case SystemZ::FK_390_TLS_CALL:
68349cc55cSDimitry Andric return 0;
69349cc55cSDimitry Andric
7006c3fb27SDimitry Andric case SystemZ::FK_390_S8Imm:
7106c3fb27SDimitry Andric return handleImmValue(true, 8);
7206c3fb27SDimitry Andric case SystemZ::FK_390_S16Imm:
7306c3fb27SDimitry Andric return handleImmValue(true, 16);
7406c3fb27SDimitry Andric case SystemZ::FK_390_S20Imm: {
7506c3fb27SDimitry Andric Value = handleImmValue(true, 20);
7606c3fb27SDimitry Andric // S20Imm is used only for signed 20-bit displacements.
77349cc55cSDimitry Andric // The high byte of a 20 bit displacement value comes first.
78349cc55cSDimitry Andric uint64_t DLo = Value & 0xfff;
79349cc55cSDimitry Andric uint64_t DHi = (Value >> 12) & 0xff;
80349cc55cSDimitry Andric return (DLo << 8) | DHi;
81349cc55cSDimitry Andric }
8206c3fb27SDimitry Andric case SystemZ::FK_390_S32Imm:
8306c3fb27SDimitry Andric return handleImmValue(true, 32);
8406c3fb27SDimitry Andric case SystemZ::FK_390_U1Imm:
8506c3fb27SDimitry Andric return handleImmValue(false, 1);
8606c3fb27SDimitry Andric case SystemZ::FK_390_U2Imm:
8706c3fb27SDimitry Andric return handleImmValue(false, 2);
8806c3fb27SDimitry Andric case SystemZ::FK_390_U3Imm:
8906c3fb27SDimitry Andric return handleImmValue(false, 3);
9006c3fb27SDimitry Andric case SystemZ::FK_390_U4Imm:
9106c3fb27SDimitry Andric return handleImmValue(false, 4);
9206c3fb27SDimitry Andric case SystemZ::FK_390_U8Imm:
9306c3fb27SDimitry Andric return handleImmValue(false, 8);
9406c3fb27SDimitry Andric case SystemZ::FK_390_U12Imm:
9506c3fb27SDimitry Andric return handleImmValue(false, 12);
9606c3fb27SDimitry Andric case SystemZ::FK_390_U16Imm:
9706c3fb27SDimitry Andric return handleImmValue(false, 16);
9806c3fb27SDimitry Andric case SystemZ::FK_390_U32Imm:
9906c3fb27SDimitry Andric return handleImmValue(false, 32);
10006c3fb27SDimitry Andric case SystemZ::FK_390_U48Imm:
10106c3fb27SDimitry Andric return handleImmValue(false, 48);
1020b57cec5SDimitry Andric }
1030b57cec5SDimitry Andric
1040b57cec5SDimitry Andric llvm_unreachable("Unknown fixup kind!");
1050b57cec5SDimitry Andric }
1060b57cec5SDimitry Andric
1070b57cec5SDimitry Andric namespace {
1080b57cec5SDimitry Andric class SystemZMCAsmBackend : public MCAsmBackend {
1090b57cec5SDimitry Andric public:
SystemZMCAsmBackend()110*5f757f3fSDimitry Andric SystemZMCAsmBackend() : MCAsmBackend(llvm::endianness::big) {}
1110b57cec5SDimitry Andric
1120b57cec5SDimitry Andric // Override MCAsmBackend
getNumFixupKinds() const1130b57cec5SDimitry Andric unsigned getNumFixupKinds() const override {
1140b57cec5SDimitry Andric return SystemZ::NumTargetFixupKinds;
1150b57cec5SDimitry Andric }
116bdd1243dSDimitry Andric std::optional<MCFixupKind> getFixupKind(StringRef Name) const override;
1170b57cec5SDimitry Andric const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override;
118fe6060f1SDimitry Andric bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup,
119*5f757f3fSDimitry Andric const MCValue &Target,
120*5f757f3fSDimitry Andric const MCSubtargetInfo *STI) override;
1210b57cec5SDimitry Andric void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup,
1220b57cec5SDimitry Andric const MCValue &Target, MutableArrayRef<char> Data,
1230b57cec5SDimitry Andric uint64_t Value, bool IsResolved,
1240b57cec5SDimitry Andric const MCSubtargetInfo *STI) const override;
125349cc55cSDimitry Andric bool writeNopData(raw_ostream &OS, uint64_t Count,
126349cc55cSDimitry Andric const MCSubtargetInfo *STI) const override;
1270b57cec5SDimitry Andric };
1280b57cec5SDimitry Andric } // end anonymous namespace
1290b57cec5SDimitry Andric
130bdd1243dSDimitry Andric std::optional<MCFixupKind>
getFixupKind(StringRef Name) const131bdd1243dSDimitry Andric SystemZMCAsmBackend::getFixupKind(StringRef Name) const {
132fe6060f1SDimitry Andric unsigned Type = llvm::StringSwitch<unsigned>(Name)
133fe6060f1SDimitry Andric #define ELF_RELOC(X, Y) .Case(#X, Y)
134fe6060f1SDimitry Andric #include "llvm/BinaryFormat/ELFRelocs/SystemZ.def"
135fe6060f1SDimitry Andric #undef ELF_RELOC
136fe6060f1SDimitry Andric .Case("BFD_RELOC_NONE", ELF::R_390_NONE)
137fe6060f1SDimitry Andric .Case("BFD_RELOC_8", ELF::R_390_8)
138fe6060f1SDimitry Andric .Case("BFD_RELOC_16", ELF::R_390_16)
139fe6060f1SDimitry Andric .Case("BFD_RELOC_32", ELF::R_390_32)
140fe6060f1SDimitry Andric .Case("BFD_RELOC_64", ELF::R_390_64)
141fe6060f1SDimitry Andric .Default(-1u);
142fe6060f1SDimitry Andric if (Type != -1u)
143fe6060f1SDimitry Andric return static_cast<MCFixupKind>(FirstLiteralRelocationKind + Type);
144bdd1243dSDimitry Andric return std::nullopt;
145fe6060f1SDimitry Andric }
146fe6060f1SDimitry Andric
1470b57cec5SDimitry Andric const MCFixupKindInfo &
getFixupKindInfo(MCFixupKind Kind) const1480b57cec5SDimitry Andric SystemZMCAsmBackend::getFixupKindInfo(MCFixupKind Kind) const {
149fe6060f1SDimitry Andric // Fixup kinds from .reloc directive are like R_390_NONE. They
150fe6060f1SDimitry Andric // do not require any extra processing.
151fe6060f1SDimitry Andric if (Kind >= FirstLiteralRelocationKind)
152fe6060f1SDimitry Andric return MCAsmBackend::getFixupKindInfo(FK_NONE);
153fe6060f1SDimitry Andric
1540b57cec5SDimitry Andric if (Kind < FirstTargetFixupKind)
1550b57cec5SDimitry Andric return MCAsmBackend::getFixupKindInfo(Kind);
1560b57cec5SDimitry Andric
1570b57cec5SDimitry Andric assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
1580b57cec5SDimitry Andric "Invalid kind!");
15906c3fb27SDimitry Andric return SystemZ::MCFixupKindInfos[Kind - FirstTargetFixupKind];
1600b57cec5SDimitry Andric }
1610b57cec5SDimitry Andric
shouldForceRelocation(const MCAssembler &,const MCFixup & Fixup,const MCValue &,const MCSubtargetInfo * STI)162fe6060f1SDimitry Andric bool SystemZMCAsmBackend::shouldForceRelocation(const MCAssembler &,
163fe6060f1SDimitry Andric const MCFixup &Fixup,
164*5f757f3fSDimitry Andric const MCValue &,
165*5f757f3fSDimitry Andric const MCSubtargetInfo *STI) {
166fe6060f1SDimitry Andric return Fixup.getKind() >= FirstLiteralRelocationKind;
167fe6060f1SDimitry Andric }
168fe6060f1SDimitry Andric
applyFixup(const MCAssembler & Asm,const MCFixup & Fixup,const MCValue & Target,MutableArrayRef<char> Data,uint64_t Value,bool IsResolved,const MCSubtargetInfo * STI) const1690b57cec5SDimitry Andric void SystemZMCAsmBackend::applyFixup(const MCAssembler &Asm,
1700b57cec5SDimitry Andric const MCFixup &Fixup,
1710b57cec5SDimitry Andric const MCValue &Target,
1720b57cec5SDimitry Andric MutableArrayRef<char> Data, uint64_t Value,
1730b57cec5SDimitry Andric bool IsResolved,
1740b57cec5SDimitry Andric const MCSubtargetInfo *STI) const {
1750b57cec5SDimitry Andric MCFixupKind Kind = Fixup.getKind();
176fe6060f1SDimitry Andric if (Kind >= FirstLiteralRelocationKind)
177fe6060f1SDimitry Andric return;
1780b57cec5SDimitry Andric unsigned Offset = Fixup.getOffset();
1790b57cec5SDimitry Andric unsigned BitSize = getFixupKindInfo(Kind).TargetSize;
1800b57cec5SDimitry Andric unsigned Size = (BitSize + 7) / 8;
1810b57cec5SDimitry Andric
1820b57cec5SDimitry Andric assert(Offset + Size <= Data.size() && "Invalid fixup offset!");
1830b57cec5SDimitry Andric
1840b57cec5SDimitry Andric // Big-endian insertion of Size bytes.
185349cc55cSDimitry Andric Value = extractBitsForFixup(Kind, Value, Fixup, Asm.getContext());
1860b57cec5SDimitry Andric if (BitSize < 64)
1870b57cec5SDimitry Andric Value &= ((uint64_t)1 << BitSize) - 1;
1880b57cec5SDimitry Andric unsigned ShiftValue = (Size * 8) - 8;
1890b57cec5SDimitry Andric for (unsigned I = 0; I != Size; ++I) {
1900b57cec5SDimitry Andric Data[Offset + I] |= uint8_t(Value >> ShiftValue);
1910b57cec5SDimitry Andric ShiftValue -= 8;
1920b57cec5SDimitry Andric }
1930b57cec5SDimitry Andric }
1940b57cec5SDimitry Andric
writeNopData(raw_ostream & OS,uint64_t Count,const MCSubtargetInfo * STI) const195349cc55cSDimitry Andric bool SystemZMCAsmBackend::writeNopData(raw_ostream &OS, uint64_t Count,
196349cc55cSDimitry Andric const MCSubtargetInfo *STI) const {
1970b57cec5SDimitry Andric for (uint64_t I = 0; I != Count; ++I)
1980b57cec5SDimitry Andric OS << '\x7';
1990b57cec5SDimitry Andric return true;
2000b57cec5SDimitry Andric }
2010b57cec5SDimitry Andric
202*5f757f3fSDimitry Andric namespace {
203*5f757f3fSDimitry Andric class ELFSystemZAsmBackend : public SystemZMCAsmBackend {
204*5f757f3fSDimitry Andric uint8_t OSABI;
205*5f757f3fSDimitry Andric
206*5f757f3fSDimitry Andric public:
ELFSystemZAsmBackend(uint8_t OsABI)207*5f757f3fSDimitry Andric ELFSystemZAsmBackend(uint8_t OsABI) : SystemZMCAsmBackend(), OSABI(OsABI){};
208*5f757f3fSDimitry Andric
209*5f757f3fSDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createObjectTargetWriter() const210*5f757f3fSDimitry Andric createObjectTargetWriter() const override {
211*5f757f3fSDimitry Andric return createSystemZELFObjectWriter(OSABI);
212*5f757f3fSDimitry Andric }
213*5f757f3fSDimitry Andric };
214*5f757f3fSDimitry Andric
215*5f757f3fSDimitry Andric class GOFFSystemZAsmBackend : public SystemZMCAsmBackend {
216*5f757f3fSDimitry Andric public:
GOFFSystemZAsmBackend()217*5f757f3fSDimitry Andric GOFFSystemZAsmBackend() : SystemZMCAsmBackend(){};
218*5f757f3fSDimitry Andric
219*5f757f3fSDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createObjectTargetWriter() const220*5f757f3fSDimitry Andric createObjectTargetWriter() const override {
221*5f757f3fSDimitry Andric return createSystemZGOFFObjectWriter();
222*5f757f3fSDimitry Andric }
223*5f757f3fSDimitry Andric };
224*5f757f3fSDimitry Andric } // namespace
225*5f757f3fSDimitry Andric
createSystemZMCAsmBackend(const Target & T,const MCSubtargetInfo & STI,const MCRegisterInfo & MRI,const MCTargetOptions & Options)2260b57cec5SDimitry Andric MCAsmBackend *llvm::createSystemZMCAsmBackend(const Target &T,
2270b57cec5SDimitry Andric const MCSubtargetInfo &STI,
2280b57cec5SDimitry Andric const MCRegisterInfo &MRI,
2290b57cec5SDimitry Andric const MCTargetOptions &Options) {
230*5f757f3fSDimitry Andric if (STI.getTargetTriple().isOSzOS()) {
231*5f757f3fSDimitry Andric return new GOFFSystemZAsmBackend();
232*5f757f3fSDimitry Andric }
233*5f757f3fSDimitry Andric
2340b57cec5SDimitry Andric uint8_t OSABI =
2350b57cec5SDimitry Andric MCELFObjectTargetWriter::getOSABI(STI.getTargetTriple().getOS());
236*5f757f3fSDimitry Andric return new ELFSystemZAsmBackend(OSABI);
2370b57cec5SDimitry Andric }
238