blob: ec4eb700563cf865ef0836f2323453cdd20fcac7 [file] [log] [blame]
Chris Lattneraac9fa72010-11-15 08:49:58 +00001//===-- PPCAsmBackend.cpp - PPC Assembler Backend -------------------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Chris Lattneraac9fa72010-11-15 08:49:58 +00006//
7//===----------------------------------------------------------------------===//
8
Evan Cheng61d4a202011-07-25 19:53:23 +00009#include "MCTargetDesc/PPCFixupKinds.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000010#include "MCTargetDesc/PPCMCTargetDesc.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000011#include "llvm/BinaryFormat/ELF.h"
12#include "llvm/BinaryFormat/MachO.h"
Craig Topperb25fda92012-03-17 18:46:09 +000013#include "llvm/MC/MCAsmBackend.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000014#include "llvm/MC/MCAssembler.h"
Roman Divacky038c1a12011-08-02 15:51:38 +000015#include "llvm/MC/MCELFObjectWriter.h"
Craig Topper6e80c282012-03-26 06:58:25 +000016#include "llvm/MC/MCFixupKindInfo.h"
Daniel Dunbar73b87132010-12-16 16:08:33 +000017#include "llvm/MC/MCMachObjectWriter.h"
Chris Lattneraac9fa72010-11-15 08:49:58 +000018#include "llvm/MC/MCObjectWriter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/MC/MCSectionMachO.h"
Alex Bradburyb22f7512018-01-03 08:53:05 +000020#include "llvm/MC/MCSubtargetInfo.h"
Rafael Espindola95fb9b92015-06-02 20:38:46 +000021#include "llvm/MC/MCSymbolELF.h"
Jim Grosbach28fcafb2011-06-24 23:44:37 +000022#include "llvm/MC/MCValue.h"
Roman Divacky038c1a12011-08-02 15:51:38 +000023#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000024#include "llvm/Support/TargetRegistry.h"
Chris Lattneraac9fa72010-11-15 08:49:58 +000025using namespace llvm;
26
Ulrich Weigand56f5b282013-05-15 15:01:46 +000027static uint64_t adjustFixupValue(unsigned Kind, uint64_t Value) {
Roman Divacky038c1a12011-08-02 15:51:38 +000028 switch (Kind) {
29 default:
30 llvm_unreachable("Unknown fixup kind!");
Fangrui Songad7199f2019-05-17 06:04:11 +000031 case FK_NONE:
Roman Divacky038c1a12011-08-02 15:51:38 +000032 case FK_Data_1:
33 case FK_Data_2:
34 case FK_Data_4:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000035 case FK_Data_8:
Bill Schmidt24b8dd62012-12-12 19:29:35 +000036 case PPC::fixup_ppc_nofixup:
Roman Divacky038c1a12011-08-02 15:51:38 +000037 return Value;
38 case PPC::fixup_ppc_brcond14:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000039 case PPC::fixup_ppc_brcond14abs:
Adhemerval Zanellaf2aceda2012-10-25 12:27:42 +000040 return Value & 0xfffc;
Roman Divacky038c1a12011-08-02 15:51:38 +000041 case PPC::fixup_ppc_br24:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000042 case PPC::fixup_ppc_br24abs:
Roman Divacky038c1a12011-08-02 15:51:38 +000043 return Value & 0x3fffffc;
Ulrich Weigand6e23ac62013-05-17 12:37:21 +000044 case PPC::fixup_ppc_half16:
Roman Divacky038c1a12011-08-02 15:51:38 +000045 return Value & 0xffff;
Ulrich Weigand6e23ac62013-05-17 12:37:21 +000046 case PPC::fixup_ppc_half16ds:
Ulrich Weigand3e186012013-03-26 10:56:47 +000047 return Value & 0xfffc;
Roman Divacky038c1a12011-08-02 15:51:38 +000048 }
49}
50
Ulrich Weigand56f5b282013-05-15 15:01:46 +000051static unsigned getFixupKindNumBytes(unsigned Kind) {
52 switch (Kind) {
53 default:
54 llvm_unreachable("Unknown fixup kind!");
Fangrui Songad7199f2019-05-17 06:04:11 +000055 case FK_NONE:
56 return 0;
Ulrich Weigand56f5b282013-05-15 15:01:46 +000057 case FK_Data_1:
58 return 1;
59 case FK_Data_2:
Ulrich Weigand6e23ac62013-05-17 12:37:21 +000060 case PPC::fixup_ppc_half16:
61 case PPC::fixup_ppc_half16ds:
Ulrich Weigand56f5b282013-05-15 15:01:46 +000062 return 2;
63 case FK_Data_4:
64 case PPC::fixup_ppc_brcond14:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000065 case PPC::fixup_ppc_brcond14abs:
Ulrich Weigand56f5b282013-05-15 15:01:46 +000066 case PPC::fixup_ppc_br24:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000067 case PPC::fixup_ppc_br24abs:
Ulrich Weigand56f5b282013-05-15 15:01:46 +000068 return 4;
69 case FK_Data_8:
70 return 8;
Ulrich Weigand56f5b282013-05-15 15:01:46 +000071 case PPC::fixup_ppc_nofixup:
72 return 0;
73 }
74}
75
Chris Lattneraac9fa72010-11-15 08:49:58 +000076namespace {
Daniel Dunbar8888a962010-12-16 16:09:19 +000077
Evan Cheng5928e692011-07-25 23:24:55 +000078class PPCAsmBackend : public MCAsmBackend {
Fangrui Songe18a6ad2019-05-17 05:44:26 +000079protected:
80 Triple TT;
Daniel Dunbar7ee21812010-12-16 16:08:43 +000081public:
Fangrui Songe18a6ad2019-05-17 05:44:26 +000082 PPCAsmBackend(const Target &T, const Triple &TT)
83 : MCAsmBackend(TT.isLittleEndian() ? support::little : support::big),
84 TT(TT) {}
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000085
Craig Topper0d3fa922014-04-29 07:57:37 +000086 unsigned getNumFixupKinds() const override {
87 return PPC::NumTargetFixupKinds;
88 }
Daniel Dunbar7ee21812010-12-16 16:08:43 +000089
Craig Topper0d3fa922014-04-29 07:57:37 +000090 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override {
Ulrich Weigandcae3a172014-03-24 18:16:09 +000091 const static MCFixupKindInfo InfosBE[PPC::NumTargetFixupKinds] = {
Daniel Dunbar7ee21812010-12-16 16:08:43 +000092 // name offset bits flags
93 { "fixup_ppc_br24", 6, 24, MCFixupKindInfo::FKF_IsPCRel },
94 { "fixup_ppc_brcond14", 16, 14, MCFixupKindInfo::FKF_IsPCRel },
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000095 { "fixup_ppc_br24abs", 6, 24, 0 },
96 { "fixup_ppc_brcond14abs", 16, 14, 0 },
Ulrich Weigand6e23ac62013-05-17 12:37:21 +000097 { "fixup_ppc_half16", 0, 16, 0 },
98 { "fixup_ppc_half16ds", 0, 14, 0 },
Bill Schmidt24b8dd62012-12-12 19:29:35 +000099 { "fixup_ppc_nofixup", 0, 0, 0 }
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000100 };
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000101 const static MCFixupKindInfo InfosLE[PPC::NumTargetFixupKinds] = {
102 // name offset bits flags
103 { "fixup_ppc_br24", 2, 24, MCFixupKindInfo::FKF_IsPCRel },
104 { "fixup_ppc_brcond14", 2, 14, MCFixupKindInfo::FKF_IsPCRel },
105 { "fixup_ppc_br24abs", 2, 24, 0 },
106 { "fixup_ppc_brcond14abs", 2, 14, 0 },
107 { "fixup_ppc_half16", 0, 16, 0 },
108 { "fixup_ppc_half16ds", 2, 14, 0 },
109 { "fixup_ppc_nofixup", 0, 0, 0 }
110 };
Jim Grosbache2d29812012-01-18 18:52:20 +0000111
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000112 if (Kind < FirstTargetFixupKind)
Evan Cheng5928e692011-07-25 23:24:55 +0000113 return MCAsmBackend::getFixupKindInfo(Kind);
Jim Grosbache2d29812012-01-18 18:52:20 +0000114
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000115 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
116 "Invalid kind!");
Peter Collingbourne571a3302018-05-21 17:57:19 +0000117 return (Endian == support::little
118 ? InfosLE
119 : InfosBE)[Kind - FirstTargetFixupKind];
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000120 }
Jim Grosbache2d29812012-01-18 18:52:20 +0000121
Rafael Espindola801b42d2017-06-23 22:52:36 +0000122 void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup,
123 const MCValue &Target, MutableArrayRef<char> Data,
Peter Smith57f661b2018-06-06 09:40:06 +0000124 uint64_t Value, bool IsResolved,
125 const MCSubtargetInfo *STI) const override {
Benjamin Kramer8abfec32012-11-24 13:18:17 +0000126 Value = adjustFixupValue(Fixup.getKind(), Value);
127 if (!Value) return; // Doesn't change encoding.
128
129 unsigned Offset = Fixup.getOffset();
Ulrich Weigand56f5b282013-05-15 15:01:46 +0000130 unsigned NumBytes = getFixupKindNumBytes(Fixup.getKind());
Benjamin Kramer8abfec32012-11-24 13:18:17 +0000131
132 // For each byte of the fragment that the fixup touches, mask in the bits
133 // from the fixup value. The Value has been "split up" into the appropriate
134 // bitfields above.
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000135 for (unsigned i = 0; i != NumBytes; ++i) {
Peter Collingbourne571a3302018-05-21 17:57:19 +0000136 unsigned Idx = Endian == support::little ? i : (NumBytes - 1 - i);
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000137 Data[Offset + i] |= uint8_t((Value >> (Idx * 8)) & 0xff);
138 }
Benjamin Kramer8abfec32012-11-24 13:18:17 +0000139 }
140
Rafael Espindola76287ab2017-06-30 22:47:27 +0000141 bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup,
142 const MCValue &Target) override {
Fangrui Songad7199f2019-05-17 06:04:11 +0000143 switch ((unsigned)Fixup.getKind()) {
Rafael Espindola76287ab2017-06-30 22:47:27 +0000144 default:
145 return false;
Fangrui Songad7199f2019-05-17 06:04:11 +0000146 case FK_NONE:
147 return true;
Ulrich Weigandbb686102014-07-20 23:06:03 +0000148 case PPC::fixup_ppc_br24:
149 case PPC::fixup_ppc_br24abs:
150 // If the target symbol has a local entry point we must not attempt
151 // to resolve the fixup directly. Emit a relocation and leave
152 // resolution of the final target address to the linker.
153 if (const MCSymbolRefExpr *A = Target.getSymA()) {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000154 if (const auto *S = dyn_cast<MCSymbolELF>(&A->getSymbol())) {
155 // The "other" values are stored in the last 6 bits of the second
156 // byte. The traditional defines for STO values assume the full byte
157 // and thus the shift to pack it.
158 unsigned Other = S->getOther() << 2;
159 if ((Other & ELF::STO_PPC64_LOCAL_MASK) != 0)
Rafael Espindola76287ab2017-06-30 22:47:27 +0000160 return true;
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000161 }
Ulrich Weigandbb686102014-07-20 23:06:03 +0000162 }
Rafael Espindola76287ab2017-06-30 22:47:27 +0000163 return false;
Ulrich Weigandbb686102014-07-20 23:06:03 +0000164 }
165 }
166
Peter Smith57f661b2018-06-06 09:40:06 +0000167 bool mayNeedRelaxation(const MCInst &Inst,
168 const MCSubtargetInfo &STI) const override {
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000169 // FIXME.
170 return false;
171 }
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000172
173 bool fixupNeedsRelaxation(const MCFixup &Fixup,
174 uint64_t Value,
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000175 const MCRelaxableFragment *DF,
Craig Topper0d3fa922014-04-29 07:57:37 +0000176 const MCAsmLayout &Layout) const override {
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000177 // FIXME.
Craig Toppere55c5562012-02-07 02:50:20 +0000178 llvm_unreachable("relaxInstruction() unimplemented");
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000179 }
180
Nirav Dave86030622016-07-11 14:23:53 +0000181 void relaxInstruction(const MCInst &Inst, const MCSubtargetInfo &STI,
182 MCInst &Res) const override {
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000183 // FIXME.
Craig Toppere55c5562012-02-07 02:50:20 +0000184 llvm_unreachable("relaxInstruction() unimplemented");
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000185 }
Jim Grosbache2d29812012-01-18 18:52:20 +0000186
Peter Collingbourne571a3302018-05-21 17:57:19 +0000187 bool writeNopData(raw_ostream &OS, uint64_t Count) const override {
Ulrich Weigandd3ac7c02013-07-04 18:28:46 +0000188 uint64_t NumNops = Count / 4;
189 for (uint64_t i = 0; i != NumNops; ++i)
Peter Collingbourne571a3302018-05-21 17:57:19 +0000190 support::endian::write<uint32_t>(OS, 0x60000000, Endian);
Ulrich Weigandd3ac7c02013-07-04 18:28:46 +0000191
Peter Collingbourne571a3302018-05-21 17:57:19 +0000192 OS.write_zeros(Count % 4);
David Majnemer71374202013-09-26 09:18:48 +0000193
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000194 return true;
Jim Grosbache2d29812012-01-18 18:52:20 +0000195 }
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000196};
Chris Lattneraac9fa72010-11-15 08:49:58 +0000197} // end anonymous namespace
198
199
200// FIXME: This should be in a separate file.
201namespace {
Jim Grosbache2d29812012-01-18 18:52:20 +0000202
Fangrui Songad7199f2019-05-17 06:04:11 +0000203class DarwinPPCAsmBackend : public PPCAsmBackend {
204public:
205 DarwinPPCAsmBackend(const Target &T, const Triple &TT)
206 : PPCAsmBackend(T, TT) {}
Roman Divacky038c1a12011-08-02 15:51:38 +0000207
Fangrui Songad7199f2019-05-17 06:04:11 +0000208 std::unique_ptr<MCObjectTargetWriter>
209 createObjectTargetWriter() const override {
210 bool Is64 = TT.isPPC64();
211 return createPPCMachObjectWriter(
212 /*Is64Bit=*/Is64,
213 (Is64 ? MachO::CPU_TYPE_POWERPC64 : MachO::CPU_TYPE_POWERPC),
214 MachO::CPU_SUBTYPE_POWERPC_ALL);
215 }
216};
Jim Grosbache2d29812012-01-18 18:52:20 +0000217
Fangrui Songad7199f2019-05-17 06:04:11 +0000218class ELFPPCAsmBackend : public PPCAsmBackend {
219public:
220 ELFPPCAsmBackend(const Target &T, const Triple &TT) : PPCAsmBackend(T, TT) {}
221
222 std::unique_ptr<MCObjectTargetWriter>
223 createObjectTargetWriter() const override {
224 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(TT.getOS());
225 bool Is64 = TT.isPPC64();
226 return createPPCELFObjectWriter(Is64, OSABI);
227 }
228
229 Optional<MCFixupKind> getFixupKind(StringRef Name) const override;
230};
Roman Divacky038c1a12011-08-02 15:51:38 +0000231
Chris Lattneraac9fa72010-11-15 08:49:58 +0000232} // end anonymous namespace
233
Fangrui Songad7199f2019-05-17 06:04:11 +0000234Optional<MCFixupKind> ELFPPCAsmBackend::getFixupKind(StringRef Name) const {
235 if (TT.isPPC64()) {
236 if (Name == "R_PPC64_NONE")
237 return FK_NONE;
238 } else {
239 if (Name == "R_PPC_NONE")
240 return FK_NONE;
241 }
242 return MCAsmBackend::getFixupKind(Name);
243}
244
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000245MCAsmBackend *llvm::createPPCAsmBackend(const Target &T,
Alex Bradburyb22f7512018-01-03 08:53:05 +0000246 const MCSubtargetInfo &STI,
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000247 const MCRegisterInfo &MRI,
Joel Jones373d7d32016-07-25 17:18:28 +0000248 const MCTargetOptions &Options) {
Alex Bradburyb22f7512018-01-03 08:53:05 +0000249 const Triple &TT = STI.getTargetTriple();
Daniel Sanders418caf52015-06-10 10:35:34 +0000250 if (TT.isOSDarwin())
Fangrui Songe18a6ad2019-05-17 05:44:26 +0000251 return new DarwinPPCAsmBackend(T, TT);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000252
Fangrui Songe18a6ad2019-05-17 05:44:26 +0000253 return new ELFPPCAsmBackend(T, TT);
Chris Lattneraac9fa72010-11-15 08:49:58 +0000254}