1*5f757f3fSDimitry Andric //===-- SystemZELFObjectWriter.cpp - SystemZ ELF writer -------------------===//
2*5f757f3fSDimitry Andric //
3*5f757f3fSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*5f757f3fSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*5f757f3fSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*5f757f3fSDimitry Andric //
7*5f757f3fSDimitry Andric //===----------------------------------------------------------------------===//
8*5f757f3fSDimitry Andric
9*5f757f3fSDimitry Andric #include "MCTargetDesc/SystemZMCFixups.h"
10*5f757f3fSDimitry Andric #include "MCTargetDesc/SystemZMCTargetDesc.h"
11*5f757f3fSDimitry Andric #include "llvm/BinaryFormat/ELF.h"
12*5f757f3fSDimitry Andric #include "llvm/MC/MCContext.h"
13*5f757f3fSDimitry Andric #include "llvm/MC/MCELFObjectWriter.h"
14*5f757f3fSDimitry Andric #include "llvm/MC/MCExpr.h"
15*5f757f3fSDimitry Andric #include "llvm/MC/MCFixup.h"
16*5f757f3fSDimitry Andric #include "llvm/MC/MCObjectWriter.h"
17*5f757f3fSDimitry Andric #include "llvm/MC/MCValue.h"
18*5f757f3fSDimitry Andric #include "llvm/Support/ErrorHandling.h"
19*5f757f3fSDimitry Andric #include <cassert>
20*5f757f3fSDimitry Andric #include <cstdint>
21*5f757f3fSDimitry Andric #include <memory>
22*5f757f3fSDimitry Andric
23*5f757f3fSDimitry Andric using namespace llvm;
24*5f757f3fSDimitry Andric
25*5f757f3fSDimitry Andric namespace {
26*5f757f3fSDimitry Andric
27*5f757f3fSDimitry Andric class SystemZELFObjectWriter : public MCELFObjectTargetWriter {
28*5f757f3fSDimitry Andric public:
29*5f757f3fSDimitry Andric SystemZELFObjectWriter(uint8_t OSABI);
30*5f757f3fSDimitry Andric ~SystemZELFObjectWriter() override = default;
31*5f757f3fSDimitry Andric
32*5f757f3fSDimitry Andric protected:
33*5f757f3fSDimitry Andric // Override MCELFObjectTargetWriter.
34*5f757f3fSDimitry Andric unsigned getRelocType(MCContext &Ctx, const MCValue &Target,
35*5f757f3fSDimitry Andric const MCFixup &Fixup, bool IsPCRel) const override;
36*5f757f3fSDimitry Andric };
37*5f757f3fSDimitry Andric
38*5f757f3fSDimitry Andric } // end anonymous namespace
39*5f757f3fSDimitry Andric
SystemZELFObjectWriter(uint8_t OSABI)40*5f757f3fSDimitry Andric SystemZELFObjectWriter::SystemZELFObjectWriter(uint8_t OSABI)
41*5f757f3fSDimitry Andric : MCELFObjectTargetWriter(/*Is64Bit_=*/true, OSABI, ELF::EM_S390,
42*5f757f3fSDimitry Andric /*HasRelocationAddend_=*/true) {}
43*5f757f3fSDimitry Andric
44*5f757f3fSDimitry Andric // Return the relocation type for an absolute value of MCFixupKind Kind.
getAbsoluteReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)45*5f757f3fSDimitry Andric static unsigned getAbsoluteReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
46*5f757f3fSDimitry Andric switch (Kind) {
47*5f757f3fSDimitry Andric case FK_Data_1:
48*5f757f3fSDimitry Andric case SystemZ::FK_390_U8Imm:
49*5f757f3fSDimitry Andric case SystemZ::FK_390_S8Imm:
50*5f757f3fSDimitry Andric return ELF::R_390_8;
51*5f757f3fSDimitry Andric case SystemZ::FK_390_U12Imm:
52*5f757f3fSDimitry Andric return ELF::R_390_12;
53*5f757f3fSDimitry Andric case FK_Data_2:
54*5f757f3fSDimitry Andric case SystemZ::FK_390_U16Imm:
55*5f757f3fSDimitry Andric case SystemZ::FK_390_S16Imm:
56*5f757f3fSDimitry Andric return ELF::R_390_16;
57*5f757f3fSDimitry Andric case SystemZ::FK_390_S20Imm:
58*5f757f3fSDimitry Andric return ELF::R_390_20;
59*5f757f3fSDimitry Andric case FK_Data_4:
60*5f757f3fSDimitry Andric case SystemZ::FK_390_U32Imm:
61*5f757f3fSDimitry Andric case SystemZ::FK_390_S32Imm:
62*5f757f3fSDimitry Andric return ELF::R_390_32;
63*5f757f3fSDimitry Andric case FK_Data_8:
64*5f757f3fSDimitry Andric return ELF::R_390_64;
65*5f757f3fSDimitry Andric }
66*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported absolute address");
67*5f757f3fSDimitry Andric return 0;
68*5f757f3fSDimitry Andric }
69*5f757f3fSDimitry Andric
70*5f757f3fSDimitry Andric // Return the relocation type for a PC-relative value of MCFixupKind Kind.
getPCRelReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)71*5f757f3fSDimitry Andric static unsigned getPCRelReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
72*5f757f3fSDimitry Andric switch (Kind) {
73*5f757f3fSDimitry Andric case FK_Data_2:
74*5f757f3fSDimitry Andric case SystemZ::FK_390_U16Imm:
75*5f757f3fSDimitry Andric case SystemZ::FK_390_S16Imm:
76*5f757f3fSDimitry Andric return ELF::R_390_PC16;
77*5f757f3fSDimitry Andric case FK_Data_4:
78*5f757f3fSDimitry Andric case SystemZ::FK_390_U32Imm:
79*5f757f3fSDimitry Andric case SystemZ::FK_390_S32Imm:
80*5f757f3fSDimitry Andric return ELF::R_390_PC32;
81*5f757f3fSDimitry Andric case FK_Data_8:
82*5f757f3fSDimitry Andric return ELF::R_390_PC64;
83*5f757f3fSDimitry Andric case SystemZ::FK_390_PC12DBL:
84*5f757f3fSDimitry Andric return ELF::R_390_PC12DBL;
85*5f757f3fSDimitry Andric case SystemZ::FK_390_PC16DBL:
86*5f757f3fSDimitry Andric return ELF::R_390_PC16DBL;
87*5f757f3fSDimitry Andric case SystemZ::FK_390_PC24DBL:
88*5f757f3fSDimitry Andric return ELF::R_390_PC24DBL;
89*5f757f3fSDimitry Andric case SystemZ::FK_390_PC32DBL:
90*5f757f3fSDimitry Andric return ELF::R_390_PC32DBL;
91*5f757f3fSDimitry Andric }
92*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported PC-relative address");
93*5f757f3fSDimitry Andric return 0;
94*5f757f3fSDimitry Andric }
95*5f757f3fSDimitry Andric
96*5f757f3fSDimitry Andric // Return the R_390_TLS_LE* relocation type for MCFixupKind Kind.
getTLSLEReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)97*5f757f3fSDimitry Andric static unsigned getTLSLEReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
98*5f757f3fSDimitry Andric switch (Kind) {
99*5f757f3fSDimitry Andric case FK_Data_4: return ELF::R_390_TLS_LE32;
100*5f757f3fSDimitry Andric case FK_Data_8: return ELF::R_390_TLS_LE64;
101*5f757f3fSDimitry Andric }
102*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported thread-local address (local-exec)");
103*5f757f3fSDimitry Andric return 0;
104*5f757f3fSDimitry Andric }
105*5f757f3fSDimitry Andric
106*5f757f3fSDimitry Andric // Return the R_390_TLS_LDO* relocation type for MCFixupKind Kind.
getTLSLDOReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)107*5f757f3fSDimitry Andric static unsigned getTLSLDOReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
108*5f757f3fSDimitry Andric switch (Kind) {
109*5f757f3fSDimitry Andric case FK_Data_4: return ELF::R_390_TLS_LDO32;
110*5f757f3fSDimitry Andric case FK_Data_8: return ELF::R_390_TLS_LDO64;
111*5f757f3fSDimitry Andric }
112*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported thread-local address (local-dynamic)");
113*5f757f3fSDimitry Andric return 0;
114*5f757f3fSDimitry Andric }
115*5f757f3fSDimitry Andric
116*5f757f3fSDimitry Andric // Return the R_390_TLS_LDM* relocation type for MCFixupKind Kind.
getTLSLDMReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)117*5f757f3fSDimitry Andric static unsigned getTLSLDMReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
118*5f757f3fSDimitry Andric switch (Kind) {
119*5f757f3fSDimitry Andric case FK_Data_4: return ELF::R_390_TLS_LDM32;
120*5f757f3fSDimitry Andric case FK_Data_8: return ELF::R_390_TLS_LDM64;
121*5f757f3fSDimitry Andric case SystemZ::FK_390_TLS_CALL: return ELF::R_390_TLS_LDCALL;
122*5f757f3fSDimitry Andric }
123*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported thread-local address (local-dynamic)");
124*5f757f3fSDimitry Andric return 0;
125*5f757f3fSDimitry Andric }
126*5f757f3fSDimitry Andric
127*5f757f3fSDimitry Andric // Return the R_390_TLS_GD* relocation type for MCFixupKind Kind.
getTLSGDReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)128*5f757f3fSDimitry Andric static unsigned getTLSGDReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
129*5f757f3fSDimitry Andric switch (Kind) {
130*5f757f3fSDimitry Andric case FK_Data_4: return ELF::R_390_TLS_GD32;
131*5f757f3fSDimitry Andric case FK_Data_8: return ELF::R_390_TLS_GD64;
132*5f757f3fSDimitry Andric case SystemZ::FK_390_TLS_CALL: return ELF::R_390_TLS_GDCALL;
133*5f757f3fSDimitry Andric }
134*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported thread-local address (general-dynamic)");
135*5f757f3fSDimitry Andric return 0;
136*5f757f3fSDimitry Andric }
137*5f757f3fSDimitry Andric
138*5f757f3fSDimitry Andric // Return the PLT relocation counterpart of MCFixupKind Kind.
getPLTReloc(MCContext & Ctx,SMLoc Loc,unsigned Kind)139*5f757f3fSDimitry Andric static unsigned getPLTReloc(MCContext &Ctx, SMLoc Loc, unsigned Kind) {
140*5f757f3fSDimitry Andric switch (Kind) {
141*5f757f3fSDimitry Andric case SystemZ::FK_390_PC12DBL: return ELF::R_390_PLT12DBL;
142*5f757f3fSDimitry Andric case SystemZ::FK_390_PC16DBL: return ELF::R_390_PLT16DBL;
143*5f757f3fSDimitry Andric case SystemZ::FK_390_PC24DBL: return ELF::R_390_PLT24DBL;
144*5f757f3fSDimitry Andric case SystemZ::FK_390_PC32DBL: return ELF::R_390_PLT32DBL;
145*5f757f3fSDimitry Andric }
146*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Unsupported PC-relative PLT address");
147*5f757f3fSDimitry Andric return 0;
148*5f757f3fSDimitry Andric }
149*5f757f3fSDimitry Andric
getRelocType(MCContext & Ctx,const MCValue & Target,const MCFixup & Fixup,bool IsPCRel) const150*5f757f3fSDimitry Andric unsigned SystemZELFObjectWriter::getRelocType(MCContext &Ctx,
151*5f757f3fSDimitry Andric const MCValue &Target,
152*5f757f3fSDimitry Andric const MCFixup &Fixup,
153*5f757f3fSDimitry Andric bool IsPCRel) const {
154*5f757f3fSDimitry Andric SMLoc Loc = Fixup.getLoc();
155*5f757f3fSDimitry Andric unsigned Kind = Fixup.getKind();
156*5f757f3fSDimitry Andric if (Kind >= FirstLiteralRelocationKind)
157*5f757f3fSDimitry Andric return Kind - FirstLiteralRelocationKind;
158*5f757f3fSDimitry Andric MCSymbolRefExpr::VariantKind Modifier = Target.getAccessVariant();
159*5f757f3fSDimitry Andric switch (Modifier) {
160*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_None:
161*5f757f3fSDimitry Andric if (IsPCRel)
162*5f757f3fSDimitry Andric return getPCRelReloc(Ctx, Loc, Kind);
163*5f757f3fSDimitry Andric return getAbsoluteReloc(Ctx, Loc, Kind);
164*5f757f3fSDimitry Andric
165*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_NTPOFF:
166*5f757f3fSDimitry Andric assert(!IsPCRel && "NTPOFF shouldn't be PC-relative");
167*5f757f3fSDimitry Andric return getTLSLEReloc(Ctx, Loc, Kind);
168*5f757f3fSDimitry Andric
169*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_INDNTPOFF:
170*5f757f3fSDimitry Andric if (IsPCRel && Kind == SystemZ::FK_390_PC32DBL)
171*5f757f3fSDimitry Andric return ELF::R_390_TLS_IEENT;
172*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Only PC-relative INDNTPOFF accesses are supported for now");
173*5f757f3fSDimitry Andric return 0;
174*5f757f3fSDimitry Andric
175*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_DTPOFF:
176*5f757f3fSDimitry Andric assert(!IsPCRel && "DTPOFF shouldn't be PC-relative");
177*5f757f3fSDimitry Andric return getTLSLDOReloc(Ctx, Loc, Kind);
178*5f757f3fSDimitry Andric
179*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_TLSLDM:
180*5f757f3fSDimitry Andric assert(!IsPCRel && "TLSLDM shouldn't be PC-relative");
181*5f757f3fSDimitry Andric return getTLSLDMReloc(Ctx, Loc, Kind);
182*5f757f3fSDimitry Andric
183*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_TLSGD:
184*5f757f3fSDimitry Andric assert(!IsPCRel && "TLSGD shouldn't be PC-relative");
185*5f757f3fSDimitry Andric return getTLSGDReloc(Ctx, Loc, Kind);
186*5f757f3fSDimitry Andric
187*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_GOT:
188*5f757f3fSDimitry Andric if (IsPCRel && Kind == SystemZ::FK_390_PC32DBL)
189*5f757f3fSDimitry Andric return ELF::R_390_GOTENT;
190*5f757f3fSDimitry Andric Ctx.reportError(Loc, "Only PC-relative GOT accesses are supported for now");
191*5f757f3fSDimitry Andric return 0;
192*5f757f3fSDimitry Andric
193*5f757f3fSDimitry Andric case MCSymbolRefExpr::VK_PLT:
194*5f757f3fSDimitry Andric assert(IsPCRel && "@PLT shouldn't be PC-relative");
195*5f757f3fSDimitry Andric return getPLTReloc(Ctx, Loc, Kind);
196*5f757f3fSDimitry Andric
197*5f757f3fSDimitry Andric default:
198*5f757f3fSDimitry Andric llvm_unreachable("Modifier not supported");
199*5f757f3fSDimitry Andric }
200*5f757f3fSDimitry Andric }
201*5f757f3fSDimitry Andric
202*5f757f3fSDimitry Andric std::unique_ptr<MCObjectTargetWriter>
createSystemZELFObjectWriter(uint8_t OSABI)203*5f757f3fSDimitry Andric llvm::createSystemZELFObjectWriter(uint8_t OSABI) {
204*5f757f3fSDimitry Andric return std::make_unique<SystemZELFObjectWriter>(OSABI);
205*5f757f3fSDimitry Andric }
206