blob: 18961fdd785e0d7b778b787e92d4df1c9e41bfbb [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
15#include "MipsFixupKinds.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000016#include "MCTargetDesc/MipsMCTargetDesc.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000017#include "llvm/MC/MCAsmBackend.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000018#include "llvm/MC/MCAssembler.h"
19#include "llvm/MC/MCDirectives.h"
20#include "llvm/MC/MCELFObjectWriter.h"
Craig Topperf1d0f772012-03-26 06:58:25 +000021#include "llvm/MC/MCFixupKindInfo.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000022#include "llvm/MC/MCObjectWriter.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000023#include "llvm/MC/MCSubtargetInfo.h"
Akira Hatanaka82ea7312011-09-30 21:04:02 +000024#include "llvm/Support/ErrorHandling.h"
25#include "llvm/Support/raw_ostream.h"
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000026
Akira Hatanaka82ea7312011-09-30 21:04:02 +000027using namespace llvm;
28
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000029// Prepare value for the target space for it
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000030static unsigned adjustFixupValue(unsigned Kind, uint64_t Value) {
31
32 // Add/subtract and shift
33 switch (Kind) {
34 default:
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000035 return 0;
36 case FK_GPRel_4:
37 case FK_Data_4:
Jack Cartere2245ba2012-08-07 00:01:14 +000038 case FK_Data_8:
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +000039 case Mips::fixup_Mips_LO16:
Jack Carter0140e552012-06-27 22:48:25 +000040 case Mips::fixup_Mips_GPOFF_HI:
41 case Mips::fixup_Mips_GPOFF_LO:
42 case Mips::fixup_Mips_GOT_PAGE:
43 case Mips::fixup_Mips_GOT_OFST:
Jack Carterfd506ef2012-07-13 19:15:47 +000044 case Mips::fixup_Mips_GOT_DISP:
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:
Jack Carterfc54d9e2012-08-06 21:26:03 +000063 // Get the 2nd 16-bits. Also add 1 if bit 15 is 1.
Akira Hatanakabca9c252012-03-27 01:50:08 +000064 Value = ((Value + 0x8000) >> 16) & 0xffff;
Akira Hatanaka84bfc2f2011-11-23 22:18:04 +000065 break;
Jack Carterfc54d9e2012-08-06 21:26:03 +000066 case Mips::fixup_Mips_HIGHER:
67 // Get the 3rd 16-bits.
68 Value = ((Value + 0x80008000LL) >> 32) & 0xffff;
69 break;
70 case Mips::fixup_Mips_HIGHEST:
71 // Get the 4th 16-bits.
72 Value = ((Value + 0x800080008000LL) >> 48) & 0xffff;
73 break;
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000074 }
75
76 return Value;
77}
78
Akira Hatanaka82ea7312011-09-30 21:04:02 +000079namespace {
Akira Hatanaka82ea7312011-09-30 21:04:02 +000080class MipsAsmBackend : public MCAsmBackend {
Akira Hatanakae9e520f2012-03-01 01:53:15 +000081 Triple::OSType OSType;
82 bool IsLittle; // Big or little endian
Akira Hatanakaa551a482012-04-02 19:25:22 +000083 bool Is64Bit; // 32 or 64 bit words
Akira Hatanakae9e520f2012-03-01 01:53:15 +000084
Akira Hatanaka82ea7312011-09-30 21:04:02 +000085public:
Akira Hatanakaa551a482012-04-02 19:25:22 +000086 MipsAsmBackend(const Target &T, Triple::OSType _OSType,
87 bool _isLittle, bool _is64Bit)
88 :MCAsmBackend(), OSType(_OSType), IsLittle(_isLittle), Is64Bit(_is64Bit) {}
Akira Hatanakae9e520f2012-03-01 01:53:15 +000089
90 MCObjectWriter *createObjectWriter(raw_ostream &OS) const {
Jack Carter39ae3632012-07-02 20:04:43 +000091 return createMipsELFObjectWriter(OS,
92 MCELFObjectTargetWriter::getOSABI(OSType), IsLittle, Is64Bit);
Akira Hatanakae9e520f2012-03-01 01:53:15 +000093 }
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +000094
95 /// ApplyFixup - Apply the \arg Value for given \arg Fixup into the provided
96 /// data fragment, at the offset specified by the fixup and following the
97 /// fixup kind as appropriate.
Jim Grosbachec343382012-01-18 18:52:16 +000098 void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize,
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +000099 uint64_t Value) const {
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000100 MCFixupKind Kind = Fixup.getKind();
101 Value = adjustFixupValue((unsigned)Kind, Value);
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000102
Akira Hatanaka3ef7edc2012-04-16 18:00:19 +0000103 if (!Value)
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000104 return; // Doesn't change encoding.
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000105
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000106 // Where do we start in the object
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000107 unsigned Offset = Fixup.getOffset();
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000108 // Number of bytes we need to fixup
109 unsigned NumBytes = (getFixupKindInfo(Kind).TargetSize + 7) / 8;
110 // Used to point to big endian bytes
111 unsigned FullSize;
112
Craig Topper9be7c942012-03-21 02:28:53 +0000113 switch ((unsigned)Kind) {
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000114 case Mips::fixup_Mips_16:
115 FullSize = 2;
116 break;
117 case Mips::fixup_Mips_64:
118 FullSize = 8;
119 break;
120 default:
121 FullSize = 4;
122 break;
123 }
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000124
125 // Grab current value, if any, from bits.
126 uint64_t CurVal = 0;
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000127
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000128 for (unsigned i = 0; i != NumBytes; ++i) {
129 unsigned Idx = IsLittle ? i : (FullSize - 1 - i);
130 CurVal |= (uint64_t)((uint8_t)Data[Offset + Idx]) << (i*8);
131 }
132
Akira Hatanaka864f6602012-06-14 21:10:56 +0000133 uint64_t Mask = ((uint64_t)(-1) >>
134 (64 - getFixupKindInfo(Kind).TargetSize));
Akira Hatanaka3ef7edc2012-04-16 18:00:19 +0000135 CurVal |= Value & Mask;
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000136
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000137 // Write out the fixed up bytes back to the code/data bits.
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000138 for (unsigned i = 0; i != NumBytes; ++i) {
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000139 unsigned Idx = IsLittle ? i : (FullSize - 1 - i);
140 Data[Offset + Idx] = (uint8_t)((CurVal >> (i*8)) & 0xff);
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000141 }
Akira Hatanakafb54afb2012-03-21 00:52:01 +0000142 }
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000143
144 unsigned getNumFixupKinds() const { return Mips::NumTargetFixupKinds; }
145
146 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const {
147 const static MCFixupKindInfo Infos[Mips::NumTargetFixupKinds] = {
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000148 // This table *must* be in same the order of fixup_* kinds in
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000149 // MipsFixupKinds.h.
150 //
151 // name offset bits flags
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000152 { "fixup_Mips_16", 0, 16, 0 },
153 { "fixup_Mips_32", 0, 32, 0 },
154 { "fixup_Mips_REL32", 0, 32, 0 },
155 { "fixup_Mips_26", 0, 26, 0 },
156 { "fixup_Mips_HI16", 0, 16, 0 },
157 { "fixup_Mips_LO16", 0, 16, 0 },
158 { "fixup_Mips_GPREL16", 0, 16, 0 },
159 { "fixup_Mips_LITERAL", 0, 16, 0 },
Bruno Cardoso Lopese3d35722011-12-07 00:28:57 +0000160 { "fixup_Mips_GOT_Global", 0, 16, 0 },
161 { "fixup_Mips_GOT_Local", 0, 16, 0 },
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000162 { "fixup_Mips_PC16", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
163 { "fixup_Mips_CALL16", 0, 16, 0 },
164 { "fixup_Mips_GPREL32", 0, 32, 0 },
165 { "fixup_Mips_SHIFT5", 6, 5, 0 },
166 { "fixup_Mips_SHIFT6", 6, 5, 0 },
167 { "fixup_Mips_64", 0, 64, 0 },
168 { "fixup_Mips_TLSGD", 0, 16, 0 },
169 { "fixup_Mips_GOTTPREL", 0, 16, 0 },
170 { "fixup_Mips_TPREL_HI", 0, 16, 0 },
171 { "fixup_Mips_TPREL_LO", 0, 16, 0 },
Akira Hatanakabc249852011-12-22 01:05:17 +0000172 { "fixup_Mips_TLSLDM", 0, 16, 0 },
173 { "fixup_Mips_DTPREL_HI", 0, 16, 0 },
174 { "fixup_Mips_DTPREL_LO", 0, 16, 0 },
Jack Carter0140e552012-06-27 22:48:25 +0000175 { "fixup_Mips_Branch_PCRel", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
176 { "fixup_Mips_GPOFF_HI", 0, 16, 0 },
177 { "fixup_Mips_GPOFF_LO", 0, 16, 0 },
178 { "fixup_Mips_GOT_PAGE", 0, 16, 0 },
Jack Carterfd506ef2012-07-13 19:15:47 +0000179 { "fixup_Mips_GOT_OFST", 0, 16, 0 },
Jack Carterfc54d9e2012-08-06 21:26:03 +0000180 { "fixup_Mips_GOT_DISP", 0, 16, 0 },
181 { "fixup_Mips_HIGHER", 0, 16, 0 },
182 { "fixup_Mips_HIGHEST", 0, 16, 0 }
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000183 };
184
185 if (Kind < FirstTargetFixupKind)
186 return MCAsmBackend::getFixupKindInfo(Kind);
187
188 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
189 "Invalid kind!");
190 return Infos[Kind - FirstTargetFixupKind];
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000191 }
192
193 /// @name Target Relaxation Interfaces
194 /// @{
195
196 /// MayNeedRelaxation - Check whether the given instruction may need
197 /// relaxation.
198 ///
199 /// \param Inst - The instruction to test.
Jim Grosbachec343382012-01-18 18:52:16 +0000200 bool mayNeedRelaxation(const MCInst &Inst) const {
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000201 return false;
202 }
203
Jim Grosbach370b78d2011-12-06 00:47:03 +0000204 /// fixupNeedsRelaxation - Target specific predicate for whether a given
205 /// fixup requires the associated instruction to be relaxed.
206 bool fixupNeedsRelaxation(const MCFixup &Fixup,
207 uint64_t Value,
208 const MCInstFragment *DF,
209 const MCAsmLayout &Layout) const {
210 // FIXME.
211 assert(0 && "RelaxInstruction() unimplemented");
NAKAMURA Takumi6482e912011-12-06 01:48:32 +0000212 return false;
Jim Grosbach370b78d2011-12-06 00:47:03 +0000213 }
214
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000215 /// RelaxInstruction - Relax the instruction in the given fragment
216 /// to the next wider instruction.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000217 ///
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000218 /// \param Inst - The instruction to relax, which may be the same
219 /// as the output.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000220 /// \parm Res [output] - On return, the relaxed instruction.
Jim Grosbachec343382012-01-18 18:52:16 +0000221 void relaxInstruction(const MCInst &Inst, MCInst &Res) const {
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000222 }
Jia Liubb481f82012-02-28 07:46:26 +0000223
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000224 /// @}
225
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000226 /// WriteNopData - Write an (optimal) nop sequence of Count bytes
227 /// to the given output. If the target cannot generate such a sequence,
228 /// it should return an error.
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000229 ///
230 /// \return - True on success.
Jim Grosbachec343382012-01-18 18:52:16 +0000231 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const {
Jack Carter1d821152012-07-11 22:17:39 +0000232 // Check for a less than instruction size number of bytes
233 // FIXME: 16 bit instructions are not handled yet here.
234 // We shouldn't be using a hard coded number for instruction size.
235 if (Count % 4) return false;
236
237 uint64_t NumNops = Count / 4;
238 for (uint64_t i = 0; i != NumNops; ++i)
239 OW->Write32(0);
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000240 return true;
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000241 }
Akira Hatanakaa551a482012-04-02 19:25:22 +0000242}; // class MipsAsmBackend
Akira Hatanaka82ea7312011-09-30 21:04:02 +0000243
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +0000244} // namespace
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000245
Akira Hatanakae9e520f2012-03-01 01:53:15 +0000246// MCAsmBackend
Akira Hatanakaa551a482012-04-02 19:25:22 +0000247MCAsmBackend *llvm::createMipsAsmBackendEL32(const Target &T, StringRef TT) {
Akira Hatanakae9e520f2012-03-01 01:53:15 +0000248 return new MipsAsmBackend(T, Triple(TT).getOS(),
Akira Hatanakaa551a482012-04-02 19:25:22 +0000249 /*IsLittle*/true, /*Is64Bit*/false);
Rafael Espindola29a17142012-01-11 04:04:14 +0000250}
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000251
Akira Hatanakaa551a482012-04-02 19:25:22 +0000252MCAsmBackend *llvm::createMipsAsmBackendEB32(const Target &T, StringRef TT) {
Akira Hatanakae9e520f2012-03-01 01:53:15 +0000253 return new MipsAsmBackend(T, Triple(TT).getOS(),
Akira Hatanakaa551a482012-04-02 19:25:22 +0000254 /*IsLittle*/false, /*Is64Bit*/false);
Akira Hatanaka4b6ee7a2011-09-30 21:23:45 +0000255}
Akira Hatanakaa551a482012-04-02 19:25:22 +0000256
257MCAsmBackend *llvm::createMipsAsmBackendEL64(const Target &T, StringRef TT) {
258 return new MipsAsmBackend(T, Triple(TT).getOS(),
259 /*IsLittle*/true, /*Is64Bit*/true);
260}
261
262MCAsmBackend *llvm::createMipsAsmBackendEB64(const Target &T, StringRef TT) {
263 return new MipsAsmBackend(T, Triple(TT).getOS(),
264 /*IsLittle*/false, /*Is64Bit*/true);
265}
266