blob: 24501d20fdd45c5cc6d17586ddc6bbc6a0734d60 [file] [log] [blame]
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +00001//===-- MipsASMBackend.cpp - ---------===//
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//
10// This file implements the MipsAsmBackend and MipsELFObjectWriter classes.
11//
12//===----------------------------------------------------------------------===//
13//
14
15#include "MipsFixupKinds.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000016#include "MCTargetDesc/MipsMCTargetDesc.h"
17#include "llvm/ADT/Twine.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000018#include "llvm/MC/MCAsmBackend.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000019#include "llvm/MC/MCAssembler.h"
20#include "llvm/MC/MCDirectives.h"
21#include "llvm/MC/MCELFObjectWriter.h"
22#include "llvm/MC/MCExpr.h"
23#include "llvm/MC/MCMachObjectWriter.h"
24#include "llvm/MC/MCObjectWriter.h"
25#include "llvm/MC/MCSectionELF.h"
26#include "llvm/MC/MCSectionMachO.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000027#include "llvm/MC/MCSubtargetInfo.h"
28#include "llvm/Object/MachOFormat.h"
29#include "llvm/Support/ELF.h"
30#include "llvm/Support/ErrorHandling.h"
31#include "llvm/Support/raw_ostream.h"
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000032
Akira Hatanaka82ea7312011-09-30 21:04:02 +000033using namespace llvm;
34
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000035// Prepare value for the target space for it
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000036static unsigned adjustFixupValue(unsigned Kind, uint64_t Value) {
37
38 // Add/subtract and shift
39 switch (Kind) {
40 default:
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000041 return 0;
42 case FK_GPRel_4:
43 case FK_Data_4:
44 case Mips::fixup_Mips_LO16:
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000045 break;
46 case Mips::fixup_Mips_PC16:
47 // So far we are only using this type for branches.
48 // For branches we start 1 instruction after the branch
49 // so the displacement will be one instruction size less.
50 Value -= 4;
51 // The displacement is then divided by 4 to give us an 18 bit
52 // address range.
53 Value >>= 2;
54 break;
55 case Mips::fixup_Mips_26:
56 // So far we are only using this type for jumps.
57 // The displacement is then divided by 4 to give us an 28 bit
58 // address range.
59 Value >>= 2;
60 break;
Akira Hatanaka84bfc2f2011-11-23 22:18:04 +000061 case Mips::fixup_Mips_HI16:
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000062 case Mips::fixup_Mips_GOT_Local:
63 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
64 Value = (Value >> 16) + ((Value & 0x8000) != 0);
Akira Hatanaka84bfc2f2011-11-23 22:18:04 +000065 break;
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000066 }
67
68 return Value;
69}
70
Akira Hatanaka82ea7312011-09-30 21:04:02 +000071namespace {
Akira Hatanaka82ea7312011-09-30 21:04:02 +000072class MipsAsmBackend : public MCAsmBackend {
73public:
Rafael Espindola29a17142012-01-11 04:04:14 +000074 uint8_t OSABI;
75 MipsAsmBackend(const Target &T, uint8_t OSABI_) :
76 MCAsmBackend(), OSABI(OSABI_) {}
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +000077
78 /// ApplyFixup - Apply the \arg Value for given \arg Fixup into the provided
79 /// data fragment, at the offset specified by the fixup and following the
80 /// fixup kind as appropriate.
Jim Grosbachec343382012-01-18 18:52:16 +000081 void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize,
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +000082 uint64_t Value) const {
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000083 MCFixupKind Kind = Fixup.getKind();
84 Value = adjustFixupValue((unsigned)Kind, Value);
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000085
86 if (!Value)
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000087 return; // Doesn't change encoding.
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000088
89 unsigned Offset = Fixup.getOffset();
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000090 // FIXME: The below code will not work across endian models
91 // How many bytes/bits are we fixing up?
92 unsigned NumBytes = ((getFixupKindInfo(Kind).TargetSize-1)/8)+1;
93 uint64_t Mask = ((uint64_t)1 << getFixupKindInfo(Kind).TargetSize) - 1;
94
95 // Grab current value, if any, from bits.
96 uint64_t CurVal = 0;
97 for (unsigned i = 0; i != NumBytes; ++i)
98 CurVal |= ((uint8_t)Data[Offset + i]) << (i * 8);
99
100 CurVal = (CurVal & ~Mask) | ((CurVal + Value) & Mask);
101
102 // Write out the bytes back to the code/data bits.
103 // First the unaffected bits and then the fixup.
104 for (unsigned i = 0; i != NumBytes; ++i) {
105 Data[Offset + i] = uint8_t((CurVal >> (i * 8)) & 0xff);
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000106 }
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000107}
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000108
109 unsigned getNumFixupKinds() const { return Mips::NumTargetFixupKinds; }
110
111 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const {
112 const static MCFixupKindInfo Infos[Mips::NumTargetFixupKinds] = {
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000113 // This table *must* be in same the order of fixup_* kinds in
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000114 // MipsFixupKinds.h.
115 //
116 // name offset bits flags
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000117 { "fixup_Mips_16", 0, 16, 0 },
118 { "fixup_Mips_32", 0, 32, 0 },
119 { "fixup_Mips_REL32", 0, 32, 0 },
120 { "fixup_Mips_26", 0, 26, 0 },
121 { "fixup_Mips_HI16", 0, 16, 0 },
122 { "fixup_Mips_LO16", 0, 16, 0 },
123 { "fixup_Mips_GPREL16", 0, 16, 0 },
124 { "fixup_Mips_LITERAL", 0, 16, 0 },
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000125 { "fixup_Mips_GOT_Global", 0, 16, 0 },
126 { "fixup_Mips_GOT_Local", 0, 16, 0 },
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000127 { "fixup_Mips_PC16", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
128 { "fixup_Mips_CALL16", 0, 16, 0 },
129 { "fixup_Mips_GPREL32", 0, 32, 0 },
130 { "fixup_Mips_SHIFT5", 6, 5, 0 },
131 { "fixup_Mips_SHIFT6", 6, 5, 0 },
132 { "fixup_Mips_64", 0, 64, 0 },
133 { "fixup_Mips_TLSGD", 0, 16, 0 },
134 { "fixup_Mips_GOTTPREL", 0, 16, 0 },
135 { "fixup_Mips_TPREL_HI", 0, 16, 0 },
136 { "fixup_Mips_TPREL_LO", 0, 16, 0 },
Akira Hatanakabc249852011-12-22 01:05:17 +0000137 { "fixup_Mips_TLSLDM", 0, 16, 0 },
138 { "fixup_Mips_DTPREL_HI", 0, 16, 0 },
139 { "fixup_Mips_DTPREL_LO", 0, 16, 0 },
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000140 { "fixup_Mips_Branch_PCRel", 0, 16, MCFixupKindInfo::FKF_IsPCRel }
141 };
142
143 if (Kind < FirstTargetFixupKind)
144 return MCAsmBackend::getFixupKindInfo(Kind);
145
146 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
147 "Invalid kind!");
148 return Infos[Kind - FirstTargetFixupKind];
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000149 }
150
151 /// @name Target Relaxation Interfaces
152 /// @{
153
154 /// MayNeedRelaxation - Check whether the given instruction may need
155 /// relaxation.
156 ///
157 /// \param Inst - The instruction to test.
Jim Grosbachec343382012-01-18 18:52:16 +0000158 bool mayNeedRelaxation(const MCInst &Inst) const {
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000159 return false;
160 }
161
Jim Grosbach370b78d2011-12-06 00:47:03 +0000162 /// fixupNeedsRelaxation - Target specific predicate for whether a given
163 /// fixup requires the associated instruction to be relaxed.
164 bool fixupNeedsRelaxation(const MCFixup &Fixup,
165 uint64_t Value,
166 const MCInstFragment *DF,
167 const MCAsmLayout &Layout) const {
168 // FIXME.
169 assert(0 && "RelaxInstruction() unimplemented");
NAKAMURA Takumi6482e912011-12-06 01:48:32 +0000170 return false;
Jim Grosbach370b78d2011-12-06 00:47:03 +0000171 }
172
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000173 /// RelaxInstruction - Relax the instruction in the given fragment
174 /// to the next wider instruction.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000175 ///
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000176 /// \param Inst - The instruction to relax, which may be the same
177 /// as the output.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000178 /// \parm Res [output] - On return, the relaxed instruction.
Jim Grosbachec343382012-01-18 18:52:16 +0000179 void relaxInstruction(const MCInst &Inst, MCInst &Res) const {
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000180 }
181
182 /// @}
183
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000184 /// WriteNopData - Write an (optimal) nop sequence of Count bytes
185 /// to the given output. If the target cannot generate such a sequence,
186 /// it should return an error.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000187 ///
188 /// \return - True on success.
Jim Grosbachec343382012-01-18 18:52:16 +0000189 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const {
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000190 return true;
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000191 }
Akira Hatanaka82ea7312011-09-30 21:04:02 +0000192};
193
194class MipsEB_AsmBackend : public MipsAsmBackend {
195public:
Rafael Espindoladc9a8a32011-12-21 17:00:36 +0000196 MipsEB_AsmBackend(const Target &T, uint8_t _OSABI)
Rafael Espindola29a17142012-01-11 04:04:14 +0000197 : MipsAsmBackend(T, _OSABI) {}
Akira Hatanaka82ea7312011-09-30 21:04:02 +0000198
199 MCObjectWriter *createObjectWriter(raw_ostream &OS) const {
Rafael Espindola09044592011-12-22 03:03:17 +0000200 return createMipsELFObjectWriter(OS, /*IsLittleEndian*/ false, OSABI);
Akira Hatanaka82ea7312011-09-30 21:04:02 +0000201 }
202};
203
204class MipsEL_AsmBackend : public MipsAsmBackend {
205public:
Rafael Espindoladc9a8a32011-12-21 17:00:36 +0000206 MipsEL_AsmBackend(const Target &T, uint8_t _OSABI)
Rafael Espindola29a17142012-01-11 04:04:14 +0000207 : MipsAsmBackend(T, _OSABI) {}
Akira Hatanaka82ea7312011-09-30 21:04:02 +0000208
209 MCObjectWriter *createObjectWriter(raw_ostream &OS) const {
Rafael Espindola09044592011-12-22 03:03:17 +0000210 return createMipsELFObjectWriter(OS, /*IsLittleEndian*/ true, OSABI);
Akira Hatanaka82ea7312011-09-30 21:04:02 +0000211 }
212};
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000213} // namespace
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000214
Rafael Espindola29a17142012-01-11 04:04:14 +0000215MCAsmBackend *llvm::createMipsBEAsmBackend(const Target &T, StringRef TT) {
216 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(Triple(TT).getOS());
217 return new MipsEB_AsmBackend(T, OSABI);
218}
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000219
Rafael Espindola29a17142012-01-11 04:04:14 +0000220MCAsmBackend *llvm::createMipsLEAsmBackend(const Target &T, StringRef TT) {
Rafael Espindoladc9a8a32011-12-21 17:00:36 +0000221 uint8_t OSABI = MCELFObjectTargetWriter::getOSABI(Triple(TT).getOS());
222 return new MipsEL_AsmBackend(T, OSABI);
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000223}