blob: 728e7757fd28ff0febc93a843a43dfdeff3cf4d6 [file] [log] [blame]
Chris Lattneraac9fa72010-11-15 08:49:58 +00001//===-- PPCAsmBackend.cpp - PPC Assembler Backend -------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Evan Cheng61d4a202011-07-25 19:53:23 +000010#include "MCTargetDesc/PPCFixupKinds.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000011#include "MCTargetDesc/PPCMCTargetDesc.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000012#include "llvm/BinaryFormat/ELF.h"
13#include "llvm/BinaryFormat/MachO.h"
Craig Topperb25fda92012-03-17 18:46:09 +000014#include "llvm/MC/MCAsmBackend.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000015#include "llvm/MC/MCAssembler.h"
Roman Divacky038c1a12011-08-02 15:51:38 +000016#include "llvm/MC/MCELFObjectWriter.h"
Craig Topper6e80c282012-03-26 06:58:25 +000017#include "llvm/MC/MCFixupKindInfo.h"
Daniel Dunbar73b87132010-12-16 16:08:33 +000018#include "llvm/MC/MCMachObjectWriter.h"
Chris Lattneraac9fa72010-11-15 08:49:58 +000019#include "llvm/MC/MCObjectWriter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/MC/MCSectionMachO.h"
Alex Bradburyb22f7512018-01-03 08:53:05 +000021#include "llvm/MC/MCSubtargetInfo.h"
Rafael Espindola95fb9b92015-06-02 20:38:46 +000022#include "llvm/MC/MCSymbolELF.h"
Jim Grosbach28fcafb2011-06-24 23:44:37 +000023#include "llvm/MC/MCValue.h"
Roman Divacky038c1a12011-08-02 15:51:38 +000024#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000025#include "llvm/Support/TargetRegistry.h"
Chris Lattneraac9fa72010-11-15 08:49:58 +000026using namespace llvm;
27
Ulrich Weigand56f5b282013-05-15 15:01:46 +000028static uint64_t adjustFixupValue(unsigned Kind, uint64_t Value) {
Roman Divacky038c1a12011-08-02 15:51:38 +000029 switch (Kind) {
30 default:
31 llvm_unreachable("Unknown fixup kind!");
32 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!");
55 case FK_Data_1:
56 return 1;
57 case FK_Data_2:
Ulrich Weigand6e23ac62013-05-17 12:37:21 +000058 case PPC::fixup_ppc_half16:
59 case PPC::fixup_ppc_half16ds:
Ulrich Weigand56f5b282013-05-15 15:01:46 +000060 return 2;
61 case FK_Data_4:
62 case PPC::fixup_ppc_brcond14:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000063 case PPC::fixup_ppc_brcond14abs:
Ulrich Weigand56f5b282013-05-15 15:01:46 +000064 case PPC::fixup_ppc_br24:
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000065 case PPC::fixup_ppc_br24abs:
Ulrich Weigand56f5b282013-05-15 15:01:46 +000066 return 4;
67 case FK_Data_8:
68 return 8;
Ulrich Weigand56f5b282013-05-15 15:01:46 +000069 case PPC::fixup_ppc_nofixup:
70 return 0;
71 }
72}
73
Chris Lattneraac9fa72010-11-15 08:49:58 +000074namespace {
Daniel Dunbar8888a962010-12-16 16:09:19 +000075
Evan Cheng5928e692011-07-25 23:24:55 +000076class PPCAsmBackend : public MCAsmBackend {
Ulrich Weigandcae3a172014-03-24 18:16:09 +000077 const Target &TheTarget;
78 bool IsLittleEndian;
Daniel Dunbar7ee21812010-12-16 16:08:43 +000079public:
Ulrich Weigandcae3a172014-03-24 18:16:09 +000080 PPCAsmBackend(const Target &T, bool isLittle) : MCAsmBackend(), TheTarget(T),
81 IsLittleEndian(isLittle) {}
Daniel Dunbar0c9d9fd2010-12-16 03:20:06 +000082
Craig Topper0d3fa922014-04-29 07:57:37 +000083 unsigned getNumFixupKinds() const override {
84 return PPC::NumTargetFixupKinds;
85 }
Daniel Dunbar7ee21812010-12-16 16:08:43 +000086
Craig Topper0d3fa922014-04-29 07:57:37 +000087 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const override {
Ulrich Weigandcae3a172014-03-24 18:16:09 +000088 const static MCFixupKindInfo InfosBE[PPC::NumTargetFixupKinds] = {
Daniel Dunbar7ee21812010-12-16 16:08:43 +000089 // name offset bits flags
90 { "fixup_ppc_br24", 6, 24, MCFixupKindInfo::FKF_IsPCRel },
91 { "fixup_ppc_brcond14", 16, 14, MCFixupKindInfo::FKF_IsPCRel },
Ulrich Weigandb6a30d12013-06-24 11:03:33 +000092 { "fixup_ppc_br24abs", 6, 24, 0 },
93 { "fixup_ppc_brcond14abs", 16, 14, 0 },
Ulrich Weigand6e23ac62013-05-17 12:37:21 +000094 { "fixup_ppc_half16", 0, 16, 0 },
95 { "fixup_ppc_half16ds", 0, 14, 0 },
Bill Schmidt24b8dd62012-12-12 19:29:35 +000096 { "fixup_ppc_nofixup", 0, 0, 0 }
Daniel Dunbar7ee21812010-12-16 16:08:43 +000097 };
Ulrich Weigandcae3a172014-03-24 18:16:09 +000098 const static MCFixupKindInfo InfosLE[PPC::NumTargetFixupKinds] = {
99 // name offset bits flags
100 { "fixup_ppc_br24", 2, 24, MCFixupKindInfo::FKF_IsPCRel },
101 { "fixup_ppc_brcond14", 2, 14, MCFixupKindInfo::FKF_IsPCRel },
102 { "fixup_ppc_br24abs", 2, 24, 0 },
103 { "fixup_ppc_brcond14abs", 2, 14, 0 },
104 { "fixup_ppc_half16", 0, 16, 0 },
105 { "fixup_ppc_half16ds", 2, 14, 0 },
106 { "fixup_ppc_nofixup", 0, 0, 0 }
107 };
Jim Grosbache2d29812012-01-18 18:52:20 +0000108
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000109 if (Kind < FirstTargetFixupKind)
Evan Cheng5928e692011-07-25 23:24:55 +0000110 return MCAsmBackend::getFixupKindInfo(Kind);
Jim Grosbache2d29812012-01-18 18:52:20 +0000111
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000112 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
113 "Invalid kind!");
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000114 return (IsLittleEndian? InfosLE : InfosBE)[Kind - FirstTargetFixupKind];
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000115 }
Jim Grosbache2d29812012-01-18 18:52:20 +0000116
Rafael Espindola801b42d2017-06-23 22:52:36 +0000117 void applyFixup(const MCAssembler &Asm, const MCFixup &Fixup,
118 const MCValue &Target, MutableArrayRef<char> Data,
Rafael Espindola1beb7022017-07-11 23:18:25 +0000119 uint64_t Value, bool IsResolved) const override {
Benjamin Kramer8abfec32012-11-24 13:18:17 +0000120 Value = adjustFixupValue(Fixup.getKind(), Value);
121 if (!Value) return; // Doesn't change encoding.
122
123 unsigned Offset = Fixup.getOffset();
Ulrich Weigand56f5b282013-05-15 15:01:46 +0000124 unsigned NumBytes = getFixupKindNumBytes(Fixup.getKind());
Benjamin Kramer8abfec32012-11-24 13:18:17 +0000125
126 // For each byte of the fragment that the fixup touches, mask in the bits
127 // from the fixup value. The Value has been "split up" into the appropriate
128 // bitfields above.
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000129 for (unsigned i = 0; i != NumBytes; ++i) {
130 unsigned Idx = IsLittleEndian ? i : (NumBytes - 1 - i);
131 Data[Offset + i] |= uint8_t((Value >> (Idx * 8)) & 0xff);
132 }
Benjamin Kramer8abfec32012-11-24 13:18:17 +0000133 }
134
Rafael Espindola76287ab2017-06-30 22:47:27 +0000135 bool shouldForceRelocation(const MCAssembler &Asm, const MCFixup &Fixup,
136 const MCValue &Target) override {
Ulrich Weigandbb686102014-07-20 23:06:03 +0000137 switch ((PPC::Fixups)Fixup.getKind()) {
Rafael Espindola76287ab2017-06-30 22:47:27 +0000138 default:
139 return false;
Ulrich Weigandbb686102014-07-20 23:06:03 +0000140 case PPC::fixup_ppc_br24:
141 case PPC::fixup_ppc_br24abs:
142 // If the target symbol has a local entry point we must not attempt
143 // to resolve the fixup directly. Emit a relocation and leave
144 // resolution of the final target address to the linker.
145 if (const MCSymbolRefExpr *A = Target.getSymA()) {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000146 if (const auto *S = dyn_cast<MCSymbolELF>(&A->getSymbol())) {
147 // The "other" values are stored in the last 6 bits of the second
148 // byte. The traditional defines for STO values assume the full byte
149 // and thus the shift to pack it.
150 unsigned Other = S->getOther() << 2;
151 if ((Other & ELF::STO_PPC64_LOCAL_MASK) != 0)
Rafael Espindola76287ab2017-06-30 22:47:27 +0000152 return true;
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000153 }
Ulrich Weigandbb686102014-07-20 23:06:03 +0000154 }
Rafael Espindola76287ab2017-06-30 22:47:27 +0000155 return false;
Ulrich Weigandbb686102014-07-20 23:06:03 +0000156 }
157 }
158
Craig Topper0d3fa922014-04-29 07:57:37 +0000159 bool mayNeedRelaxation(const MCInst &Inst) const override {
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000160 // FIXME.
161 return false;
162 }
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000163
164 bool fixupNeedsRelaxation(const MCFixup &Fixup,
165 uint64_t Value,
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000166 const MCRelaxableFragment *DF,
Craig Topper0d3fa922014-04-29 07:57:37 +0000167 const MCAsmLayout &Layout) const override {
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000168 // FIXME.
Craig Toppere55c5562012-02-07 02:50:20 +0000169 llvm_unreachable("relaxInstruction() unimplemented");
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000170 }
171
Nirav Dave86030622016-07-11 14:23:53 +0000172 void relaxInstruction(const MCInst &Inst, const MCSubtargetInfo &STI,
173 MCInst &Res) const override {
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000174 // FIXME.
Craig Toppere55c5562012-02-07 02:50:20 +0000175 llvm_unreachable("relaxInstruction() unimplemented");
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000176 }
Jim Grosbache2d29812012-01-18 18:52:20 +0000177
Craig Topper0d3fa922014-04-29 07:57:37 +0000178 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const override {
Ulrich Weigandd3ac7c02013-07-04 18:28:46 +0000179 uint64_t NumNops = Count / 4;
180 for (uint64_t i = 0; i != NumNops; ++i)
Jim Grosbach36e60e92015-06-04 22:24:41 +0000181 OW->write32(0x60000000);
Ulrich Weigandd3ac7c02013-07-04 18:28:46 +0000182
Benjamin Kramer97fbdd52015-04-17 11:12:43 +0000183 OW->WriteZeros(Count % 4);
David Majnemer71374202013-09-26 09:18:48 +0000184
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000185 return true;
Jim Grosbache2d29812012-01-18 18:52:20 +0000186 }
187
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000188 unsigned getPointerSize() const {
189 StringRef Name = TheTarget.getName();
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000190 if (Name == "ppc64" || Name == "ppc64le") return 8;
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000191 assert(Name == "ppc32" && "Unknown target name!");
192 return 4;
193 }
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000194
195 bool isLittleEndian() const {
196 return IsLittleEndian;
197 }
Daniel Dunbar7ee21812010-12-16 16:08:43 +0000198};
Chris Lattneraac9fa72010-11-15 08:49:58 +0000199} // end anonymous namespace
200
201
202// FIXME: This should be in a separate file.
203namespace {
204 class DarwinPPCAsmBackend : public PPCAsmBackend {
Chris Lattneraac9fa72010-11-15 08:49:58 +0000205 public:
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000206 DarwinPPCAsmBackend(const Target &T) : PPCAsmBackend(T, false) { }
Jim Grosbache2d29812012-01-18 18:52:20 +0000207
Lang Hames60fbc7c2017-10-10 16:28:07 +0000208 std::unique_ptr<MCObjectWriter>
209 createObjectWriter(raw_pwrite_stream &OS) const override {
Chris Lattneraac9fa72010-11-15 08:49:58 +0000210 bool is64 = getPointerSize() == 8;
David Fangb88cdf62013-08-08 20:14:40 +0000211 return createPPCMachObjectWriter(
212 OS,
213 /*Is64Bit=*/is64,
Charles Davis8bdfafd2013-09-01 04:28:48 +0000214 (is64 ? MachO::CPU_TYPE_POWERPC64 : MachO::CPU_TYPE_POWERPC),
215 MachO::CPU_SUBTYPE_POWERPC_ALL);
Chris Lattneraac9fa72010-11-15 08:49:58 +0000216 }
Chris Lattneraac9fa72010-11-15 08:49:58 +0000217 };
Roman Divacky038c1a12011-08-02 15:51:38 +0000218
219 class ELFPPCAsmBackend : public PPCAsmBackend {
Rafael Espindola1ad40952011-12-21 17:00:36 +0000220 uint8_t OSABI;
Roman Divacky038c1a12011-08-02 15:51:38 +0000221 public:
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000222 ELFPPCAsmBackend(const Target &T, bool IsLittleEndian, uint8_t OSABI) :
223 PPCAsmBackend(T, IsLittleEndian), OSABI(OSABI) { }
Jim Grosbache2d29812012-01-18 18:52:20 +0000224
Lang Hames60fbc7c2017-10-10 16:28:07 +0000225 std::unique_ptr<MCObjectWriter>
226 createObjectWriter(raw_pwrite_stream &OS) const override {
Roman Divacky038c1a12011-08-02 15:51:38 +0000227 bool is64 = getPointerSize() == 8;
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000228 return createPPCELFObjectWriter(OS, is64, isLittleEndian(), OSABI);
Roman Divacky038c1a12011-08-02 15:51:38 +0000229 }
Roman Divacky038c1a12011-08-02 15:51:38 +0000230 };
231
Chris Lattneraac9fa72010-11-15 08:49:58 +0000232} // end anonymous namespace
233
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000234MCAsmBackend *llvm::createPPCAsmBackend(const Target &T,
Alex Bradburyb22f7512018-01-03 08:53:05 +0000235 const MCSubtargetInfo &STI,
Bill Wendling58e2d3d2013-09-09 02:37:14 +0000236 const MCRegisterInfo &MRI,
Joel Jones373d7d32016-07-25 17:18:28 +0000237 const MCTargetOptions &Options) {
Alex Bradburyb22f7512018-01-03 08:53:05 +0000238 const Triple &TT = STI.getTargetTriple();
Daniel Sanders418caf52015-06-10 10:35:34 +0000239 if (TT.isOSDarwin())
Chris Lattneraac9fa72010-11-15 08:49:58 +0000240 return new DarwinPPCAsmBackend(T);
Daniel Dunbar2b9b0e32011-04-19 21:14:45 +0000241
Daniel Sanders418caf52015-06-10 10:35:34 +0000242 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(TT.getOS());
Daniel Sanders50f17232015-09-15 16:17:27 +0000243 bool IsLittleEndian = TT.getArch() == Triple::ppc64le;
Ulrich Weigandcae3a172014-03-24 18:16:09 +0000244 return new ELFPPCAsmBackend(T, IsLittleEndian, OSABI);
Chris Lattneraac9fa72010-11-15 08:49:58 +0000245}