blob: ea86f48f09af5f08fd660a0763c91116b35f9f57 [file] [log] [blame]
Jia Liuc5707112012-02-17 08:55:11 +00001//===-- MipsASMBackend.cpp - Mips Asm Backend ----------------------------===//
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +00002//
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
Akira Hatanaka59182f92012-03-27 02:33:05 +000015#include "MipsBaseInfo.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000016#include "MipsFixupKinds.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000017#include "MCTargetDesc/MipsMCTargetDesc.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"
Craig Topperf1d0f772012-03-26 06:58:25 +000022#include "llvm/MC/MCFixupKindInfo.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000023#include "llvm/MC/MCObjectWriter.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000024#include "llvm/MC/MCSubtargetInfo.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000025#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/raw_ostream.h"
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000027
Akira Hatanaka82ea7312011-09-30 21:04:02 +000028using namespace llvm;
29
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000030// Prepare value for the target space for it
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000031static unsigned adjustFixupValue(unsigned Kind, uint64_t Value) {
32
33 // Add/subtract and shift
34 switch (Kind) {
35 default:
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000036 return 0;
37 case FK_GPRel_4:
38 case FK_Data_4:
39 case Mips::fixup_Mips_LO16:
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000040 break;
41 case Mips::fixup_Mips_PC16:
42 // So far we are only using this type for branches.
43 // For branches we start 1 instruction after the branch
44 // so the displacement will be one instruction size less.
45 Value -= 4;
46 // The displacement is then divided by 4 to give us an 18 bit
47 // address range.
48 Value >>= 2;
49 break;
50 case Mips::fixup_Mips_26:
51 // So far we are only using this type for jumps.
52 // The displacement is then divided by 4 to give us an 28 bit
53 // address range.
54 Value >>= 2;
55 break;
Akira Hatanaka84bfc2f2011-11-23 22:18:04 +000056 case Mips::fixup_Mips_HI16:
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000057 case Mips::fixup_Mips_GOT_Local:
58 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
Akira Hatanakabca9c252012-03-27 01:50:08 +000059 Value = ((Value + 0x8000) >> 16) & 0xffff;
Akira Hatanaka84bfc2f2011-11-23 22:18:04 +000060 break;
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000061 }
62
63 return Value;
64}
65
Akira Hatanaka82ea7312011-09-30 21:04:02 +000066namespace {
Akira Hatanaka82ea7312011-09-30 21:04:02 +000067class MipsAsmBackend : public MCAsmBackend {
Akira Hatanakae9e520f2012-03-01 01:53:15 +000068 Triple::OSType OSType;
69 bool IsLittle; // Big or little endian
70
Akira Hatanaka82ea7312011-09-30 21:04:02 +000071public:
Akira Hatanakae9e520f2012-03-01 01:53:15 +000072 MipsAsmBackend(const Target &T, Triple::OSType _OSType, bool _isLittle) :
73 MCAsmBackend(), OSType(_OSType), IsLittle(_isLittle) {}
74
75 MCObjectWriter *createObjectWriter(raw_ostream &OS) const {
76 return createMipsELFObjectWriter(OS, OSType, IsLittle);
77 }
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +000078
79 /// ApplyFixup - Apply the \arg Value for given \arg Fixup into the provided
80 /// data fragment, at the offset specified by the fixup and following the
81 /// fixup kind as appropriate.
Jim Grosbachec343382012-01-18 18:52:16 +000082 void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize,
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +000083 uint64_t Value) const {
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000084 MCFixupKind Kind = Fixup.getKind();
85 Value = adjustFixupValue((unsigned)Kind, Value);
Akira Hatanaka59182f92012-03-27 02:33:05 +000086 int64_t SymOffset = MipsGetSymAndOffset(Fixup).second;
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000087
Akira Hatanaka59182f92012-03-27 02:33:05 +000088 if (!Value && !SymOffset)
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000089 return; // Doesn't change encoding.
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000090
Akira Hatanakafb54afb2012-03-21 00:52:01 +000091 // Where do we start in the object
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000092 unsigned Offset = Fixup.getOffset();
Akira Hatanakafb54afb2012-03-21 00:52:01 +000093 // Number of bytes we need to fixup
94 unsigned NumBytes = (getFixupKindInfo(Kind).TargetSize + 7) / 8;
95 // Used to point to big endian bytes
96 unsigned FullSize;
97
Craig Topper9be7c942012-03-21 02:28:53 +000098 switch ((unsigned)Kind) {
Akira Hatanakafb54afb2012-03-21 00:52:01 +000099 case Mips::fixup_Mips_16:
100 FullSize = 2;
101 break;
102 case Mips::fixup_Mips_64:
103 FullSize = 8;
104 break;
105 default:
106 FullSize = 4;
107 break;
108 }
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000109
110 // Grab current value, if any, from bits.
111 uint64_t CurVal = 0;
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000112
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000113 for (unsigned i = 0; i != NumBytes; ++i) {
114 unsigned Idx = IsLittle ? i : (FullSize - 1 - i);
115 CurVal |= (uint64_t)((uint8_t)Data[Offset + Idx]) << (i*8);
116 }
117
118 uint64_t Mask = ((uint64_t)(-1) >> (64 - getFixupKindInfo(Kind).TargetSize));
Akira Hatanaka59182f92012-03-27 02:33:05 +0000119 CurVal |= (Value + SymOffset) & Mask;
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000120
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000121 // Write out the fixed up bytes back to the code/data bits.
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000122 for (unsigned i = 0; i != NumBytes; ++i) {
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000123 unsigned Idx = IsLittle ? i : (FullSize - 1 - i);
124 Data[Offset + Idx] = (uint8_t)((CurVal >> (i*8)) & 0xff);
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000125 }
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000126 }
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000127
128 unsigned getNumFixupKinds() const { return Mips::NumTargetFixupKinds; }
129
130 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const {
131 const static MCFixupKindInfo Infos[Mips::NumTargetFixupKinds] = {
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000132 // This table *must* be in same the order of fixup_* kinds in
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000133 // MipsFixupKinds.h.
134 //
135 // name offset bits flags
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000136 { "fixup_Mips_16", 0, 16, 0 },
137 { "fixup_Mips_32", 0, 32, 0 },
138 { "fixup_Mips_REL32", 0, 32, 0 },
139 { "fixup_Mips_26", 0, 26, 0 },
140 { "fixup_Mips_HI16", 0, 16, 0 },
141 { "fixup_Mips_LO16", 0, 16, 0 },
142 { "fixup_Mips_GPREL16", 0, 16, 0 },
143 { "fixup_Mips_LITERAL", 0, 16, 0 },
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000144 { "fixup_Mips_GOT_Global", 0, 16, 0 },
145 { "fixup_Mips_GOT_Local", 0, 16, 0 },
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000146 { "fixup_Mips_PC16", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
147 { "fixup_Mips_CALL16", 0, 16, 0 },
148 { "fixup_Mips_GPREL32", 0, 32, 0 },
149 { "fixup_Mips_SHIFT5", 6, 5, 0 },
150 { "fixup_Mips_SHIFT6", 6, 5, 0 },
151 { "fixup_Mips_64", 0, 64, 0 },
152 { "fixup_Mips_TLSGD", 0, 16, 0 },
153 { "fixup_Mips_GOTTPREL", 0, 16, 0 },
154 { "fixup_Mips_TPREL_HI", 0, 16, 0 },
155 { "fixup_Mips_TPREL_LO", 0, 16, 0 },
Akira Hatanakabc249852011-12-22 01:05:17 +0000156 { "fixup_Mips_TLSLDM", 0, 16, 0 },
157 { "fixup_Mips_DTPREL_HI", 0, 16, 0 },
158 { "fixup_Mips_DTPREL_LO", 0, 16, 0 },
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000159 { "fixup_Mips_Branch_PCRel", 0, 16, MCFixupKindInfo::FKF_IsPCRel }
160 };
161
162 if (Kind < FirstTargetFixupKind)
163 return MCAsmBackend::getFixupKindInfo(Kind);
164
165 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
166 "Invalid kind!");
167 return Infos[Kind - FirstTargetFixupKind];
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000168 }
169
170 /// @name Target Relaxation Interfaces
171 /// @{
172
173 /// MayNeedRelaxation - Check whether the given instruction may need
174 /// relaxation.
175 ///
176 /// \param Inst - The instruction to test.
Jim Grosbachec343382012-01-18 18:52:16 +0000177 bool mayNeedRelaxation(const MCInst &Inst) const {
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000178 return false;
179 }
180
Jim Grosbach370b78d2011-12-06 00:47:03 +0000181 /// fixupNeedsRelaxation - Target specific predicate for whether a given
182 /// fixup requires the associated instruction to be relaxed.
183 bool fixupNeedsRelaxation(const MCFixup &Fixup,
184 uint64_t Value,
185 const MCInstFragment *DF,
186 const MCAsmLayout &Layout) const {
187 // FIXME.
188 assert(0 && "RelaxInstruction() unimplemented");
NAKAMURA Takumi6482e912011-12-06 01:48:32 +0000189 return false;
Jim Grosbach370b78d2011-12-06 00:47:03 +0000190 }
191
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000192 /// RelaxInstruction - Relax the instruction in the given fragment
193 /// to the next wider instruction.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000194 ///
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000195 /// \param Inst - The instruction to relax, which may be the same
196 /// as the output.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000197 /// \parm Res [output] - On return, the relaxed instruction.
Jim Grosbachec343382012-01-18 18:52:16 +0000198 void relaxInstruction(const MCInst &Inst, MCInst &Res) const {
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000199 }
Jia Liubb481f82012-02-28 07:46:26 +0000200
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000201 /// @}
202
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000203 /// WriteNopData - Write an (optimal) nop sequence of Count bytes
204 /// to the given output. If the target cannot generate such a sequence,
205 /// it should return an error.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000206 ///
207 /// \return - True on success.
Jim Grosbachec343382012-01-18 18:52:16 +0000208 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const {
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000209 return true;
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000210 }
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
Akira Hatanakae9e520f2012-03-01 01:53:15 +0000215// MCAsmBackend
216MCAsmBackend *llvm::createMipsAsmBackendEL(const Target &T, StringRef TT) {
217 return new MipsAsmBackend(T, Triple(TT).getOS(),
218 /*IsLittle*/true);
Rafael Espindola29a17142012-01-11 04:04:14 +0000219}
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000220
Akira Hatanakae9e520f2012-03-01 01:53:15 +0000221MCAsmBackend *llvm::createMipsAsmBackendEB(const Target &T, StringRef TT) {
222 return new MipsAsmBackend(T, Triple(TT).getOS(),
223 /*IsLittle*/false);
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000224}