blob: 684dc8f7987b1aba1f01fa19d676d1825397624b [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsASMBackend.cpp - Mips Asm Backend ----------------------------===//
Bruno Cardoso Lopesc85e3ff2011-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 Hatanaka587fe6c2011-09-30 21:04:02 +000016#include "MCTargetDesc/MipsMCTargetDesc.h"
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000017#include "llvm/MC/MCAsmBackend.h"
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000018#include "llvm/MC/MCAssembler.h"
19#include "llvm/MC/MCDirectives.h"
20#include "llvm/MC/MCELFObjectWriter.h"
Craig Topper6e80c282012-03-26 06:58:25 +000021#include "llvm/MC/MCFixupKindInfo.h"
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000022#include "llvm/MC/MCObjectWriter.h"
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000023#include "llvm/MC/MCSubtargetInfo.h"
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000024#include "llvm/Support/ErrorHandling.h"
25#include "llvm/Support/raw_ostream.h"
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +000026
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000027using namespace llvm;
28
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +000029// Prepare value for the target space for it
Bruno Cardoso Lopesc85e3ff2011-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 Lopes61e6d982011-12-07 00:28:57 +000035 return 0;
36 case FK_GPRel_4:
37 case FK_Data_4:
38 case Mips::fixup_Mips_LO16:
Jack Carterb9f9de92012-06-27 22:48:25 +000039 case Mips::fixup_Mips_GPOFF_HI:
40 case Mips::fixup_Mips_GPOFF_LO:
41 case Mips::fixup_Mips_GOT_PAGE:
42 case Mips::fixup_Mips_GOT_OFST:
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000043 break;
44 case Mips::fixup_Mips_PC16:
45 // So far we are only using this type for branches.
46 // For branches we start 1 instruction after the branch
47 // so the displacement will be one instruction size less.
48 Value -= 4;
49 // The displacement is then divided by 4 to give us an 18 bit
50 // address range.
51 Value >>= 2;
52 break;
53 case Mips::fixup_Mips_26:
54 // So far we are only using this type for jumps.
55 // The displacement is then divided by 4 to give us an 28 bit
56 // address range.
57 Value >>= 2;
58 break;
Akira Hatanakaf5ddf132011-11-23 22:18:04 +000059 case Mips::fixup_Mips_HI16:
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +000060 case Mips::fixup_Mips_GOT_Local:
61 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
Akira Hatanakada728192012-03-27 01:50:08 +000062 Value = ((Value + 0x8000) >> 16) & 0xffff;
Akira Hatanakaf5ddf132011-11-23 22:18:04 +000063 break;
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000064 }
65
66 return Value;
67}
68
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000069namespace {
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000070class MipsAsmBackend : public MCAsmBackend {
Akira Hatanaka1ee768d2012-03-01 01:53:15 +000071 Triple::OSType OSType;
72 bool IsLittle; // Big or little endian
Akira Hatanakab1f68f92012-04-02 19:25:22 +000073 bool Is64Bit; // 32 or 64 bit words
Akira Hatanaka1ee768d2012-03-01 01:53:15 +000074
Akira Hatanaka587fe6c2011-09-30 21:04:02 +000075public:
Akira Hatanakab1f68f92012-04-02 19:25:22 +000076 MipsAsmBackend(const Target &T, Triple::OSType _OSType,
77 bool _isLittle, bool _is64Bit)
78 :MCAsmBackend(), OSType(_OSType), IsLittle(_isLittle), Is64Bit(_is64Bit) {}
Akira Hatanaka1ee768d2012-03-01 01:53:15 +000079
80 MCObjectWriter *createObjectWriter(raw_ostream &OS) const {
Akira Hatanakab1f68f92012-04-02 19:25:22 +000081 return createMipsELFObjectWriter(OS, OSType, IsLittle, Is64Bit);
Akira Hatanaka1ee768d2012-03-01 01:53:15 +000082 }
Akira Hatanaka44220ca2011-09-30 21:23:45 +000083
84 /// ApplyFixup - Apply the \arg Value for given \arg Fixup into the provided
85 /// data fragment, at the offset specified by the fixup and following the
86 /// fixup kind as appropriate.
Jim Grosbachaba3de92012-01-18 18:52:16 +000087 void applyFixup(const MCFixup &Fixup, char *Data, unsigned DataSize,
Akira Hatanaka44220ca2011-09-30 21:23:45 +000088 uint64_t Value) const {
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +000089 MCFixupKind Kind = Fixup.getKind();
90 Value = adjustFixupValue((unsigned)Kind, Value);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000091
Akira Hatanaka3e9d81f2012-04-16 18:00:19 +000092 if (!Value)
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +000093 return; // Doesn't change encoding.
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000094
Akira Hatanaka0137dfe2012-03-21 00:52:01 +000095 // Where do we start in the object
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000096 unsigned Offset = Fixup.getOffset();
Akira Hatanaka0137dfe2012-03-21 00:52:01 +000097 // Number of bytes we need to fixup
98 unsigned NumBytes = (getFixupKindInfo(Kind).TargetSize + 7) / 8;
99 // Used to point to big endian bytes
100 unsigned FullSize;
101
Craig Topper344e0122012-03-21 02:28:53 +0000102 switch ((unsigned)Kind) {
Akira Hatanaka0137dfe2012-03-21 00:52:01 +0000103 case Mips::fixup_Mips_16:
104 FullSize = 2;
105 break;
106 case Mips::fixup_Mips_64:
107 FullSize = 8;
108 break;
109 default:
110 FullSize = 4;
111 break;
112 }
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +0000113
114 // Grab current value, if any, from bits.
115 uint64_t CurVal = 0;
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +0000116
Akira Hatanaka0137dfe2012-03-21 00:52:01 +0000117 for (unsigned i = 0; i != NumBytes; ++i) {
118 unsigned Idx = IsLittle ? i : (FullSize - 1 - i);
119 CurVal |= (uint64_t)((uint8_t)Data[Offset + Idx]) << (i*8);
120 }
121
Akira Hatanaka5fd22482012-06-14 21:10:56 +0000122 uint64_t Mask = ((uint64_t)(-1) >>
123 (64 - getFixupKindInfo(Kind).TargetSize));
Akira Hatanaka3e9d81f2012-04-16 18:00:19 +0000124 CurVal |= Value & Mask;
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +0000125
Akira Hatanaka0137dfe2012-03-21 00:52:01 +0000126 // Write out the fixed up bytes back to the code/data bits.
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +0000127 for (unsigned i = 0; i != NumBytes; ++i) {
Akira Hatanaka0137dfe2012-03-21 00:52:01 +0000128 unsigned Idx = IsLittle ? i : (FullSize - 1 - i);
129 Data[Offset + Idx] = (uint8_t)((CurVal >> (i*8)) & 0xff);
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000130 }
Akira Hatanaka0137dfe2012-03-21 00:52:01 +0000131 }
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000132
133 unsigned getNumFixupKinds() const { return Mips::NumTargetFixupKinds; }
134
135 const MCFixupKindInfo &getFixupKindInfo(MCFixupKind Kind) const {
136 const static MCFixupKindInfo Infos[Mips::NumTargetFixupKinds] = {
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +0000137 // This table *must* be in same the order of fixup_* kinds in
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000138 // MipsFixupKinds.h.
139 //
140 // name offset bits flags
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000141 { "fixup_Mips_16", 0, 16, 0 },
142 { "fixup_Mips_32", 0, 32, 0 },
143 { "fixup_Mips_REL32", 0, 32, 0 },
144 { "fixup_Mips_26", 0, 26, 0 },
145 { "fixup_Mips_HI16", 0, 16, 0 },
146 { "fixup_Mips_LO16", 0, 16, 0 },
147 { "fixup_Mips_GPREL16", 0, 16, 0 },
148 { "fixup_Mips_LITERAL", 0, 16, 0 },
Bruno Cardoso Lopes61e6d982011-12-07 00:28:57 +0000149 { "fixup_Mips_GOT_Global", 0, 16, 0 },
150 { "fixup_Mips_GOT_Local", 0, 16, 0 },
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000151 { "fixup_Mips_PC16", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
152 { "fixup_Mips_CALL16", 0, 16, 0 },
153 { "fixup_Mips_GPREL32", 0, 32, 0 },
154 { "fixup_Mips_SHIFT5", 6, 5, 0 },
155 { "fixup_Mips_SHIFT6", 6, 5, 0 },
156 { "fixup_Mips_64", 0, 64, 0 },
157 { "fixup_Mips_TLSGD", 0, 16, 0 },
158 { "fixup_Mips_GOTTPREL", 0, 16, 0 },
159 { "fixup_Mips_TPREL_HI", 0, 16, 0 },
160 { "fixup_Mips_TPREL_LO", 0, 16, 0 },
Akira Hatanakae2eed962011-12-22 01:05:17 +0000161 { "fixup_Mips_TLSLDM", 0, 16, 0 },
162 { "fixup_Mips_DTPREL_HI", 0, 16, 0 },
163 { "fixup_Mips_DTPREL_LO", 0, 16, 0 },
Jack Carterb9f9de92012-06-27 22:48:25 +0000164 { "fixup_Mips_Branch_PCRel", 0, 16, MCFixupKindInfo::FKF_IsPCRel },
165 { "fixup_Mips_GPOFF_HI", 0, 16, 0 },
166 { "fixup_Mips_GPOFF_LO", 0, 16, 0 },
167 { "fixup_Mips_GOT_PAGE", 0, 16, 0 },
168 { "fixup_Mips_GOT_OFST", 0, 16, 0 }
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000169 };
170
171 if (Kind < FirstTargetFixupKind)
172 return MCAsmBackend::getFixupKindInfo(Kind);
173
174 assert(unsigned(Kind - FirstTargetFixupKind) < getNumFixupKinds() &&
175 "Invalid kind!");
176 return Infos[Kind - FirstTargetFixupKind];
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000177 }
178
179 /// @name Target Relaxation Interfaces
180 /// @{
181
182 /// MayNeedRelaxation - Check whether the given instruction may need
183 /// relaxation.
184 ///
185 /// \param Inst - The instruction to test.
Jim Grosbachaba3de92012-01-18 18:52:16 +0000186 bool mayNeedRelaxation(const MCInst &Inst) const {
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000187 return false;
188 }
189
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000190 /// fixupNeedsRelaxation - Target specific predicate for whether a given
191 /// fixup requires the associated instruction to be relaxed.
192 bool fixupNeedsRelaxation(const MCFixup &Fixup,
193 uint64_t Value,
194 const MCInstFragment *DF,
195 const MCAsmLayout &Layout) const {
196 // FIXME.
197 assert(0 && "RelaxInstruction() unimplemented");
NAKAMURA Takumid3002492011-12-06 01:48:32 +0000198 return false;
Jim Grosbach25b63fa2011-12-06 00:47:03 +0000199 }
200
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000201 /// RelaxInstruction - Relax the instruction in the given fragment
202 /// to the next wider instruction.
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000203 ///
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000204 /// \param Inst - The instruction to relax, which may be the same
205 /// as the output.
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000206 /// \parm Res [output] - On return, the relaxed instruction.
Jim Grosbachaba3de92012-01-18 18:52:16 +0000207 void relaxInstruction(const MCInst &Inst, MCInst &Res) const {
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000208 }
Jia Liuf54f60f2012-02-28 07:46:26 +0000209
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000210 /// @}
211
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000212 /// WriteNopData - Write an (optimal) nop sequence of Count bytes
213 /// to the given output. If the target cannot generate such a sequence,
214 /// it should return an error.
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000215 ///
216 /// \return - True on success.
Jim Grosbachaba3de92012-01-18 18:52:16 +0000217 bool writeNopData(uint64_t Count, MCObjectWriter *OW) const {
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000218 return true;
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000219 }
Akira Hatanakab1f68f92012-04-02 19:25:22 +0000220}; // class MipsAsmBackend
Akira Hatanaka587fe6c2011-09-30 21:04:02 +0000221
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +0000222} // namespace
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000223
Akira Hatanaka1ee768d2012-03-01 01:53:15 +0000224// MCAsmBackend
Akira Hatanakab1f68f92012-04-02 19:25:22 +0000225MCAsmBackend *llvm::createMipsAsmBackendEL32(const Target &T, StringRef TT) {
Akira Hatanaka1ee768d2012-03-01 01:53:15 +0000226 return new MipsAsmBackend(T, Triple(TT).getOS(),
Akira Hatanakab1f68f92012-04-02 19:25:22 +0000227 /*IsLittle*/true, /*Is64Bit*/false);
Rafael Espindola647841b2012-01-11 04:04:14 +0000228}
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000229
Akira Hatanakab1f68f92012-04-02 19:25:22 +0000230MCAsmBackend *llvm::createMipsAsmBackendEB32(const Target &T, StringRef TT) {
Akira Hatanaka1ee768d2012-03-01 01:53:15 +0000231 return new MipsAsmBackend(T, Triple(TT).getOS(),
Akira Hatanakab1f68f92012-04-02 19:25:22 +0000232 /*IsLittle*/false, /*Is64Bit*/false);
Akira Hatanaka44220ca2011-09-30 21:23:45 +0000233}
Akira Hatanakab1f68f92012-04-02 19:25:22 +0000234
235MCAsmBackend *llvm::createMipsAsmBackendEL64(const Target &T, StringRef TT) {
236 return new MipsAsmBackend(T, Triple(TT).getOS(),
237 /*IsLittle*/true, /*Is64Bit*/true);
238}
239
240MCAsmBackend *llvm::createMipsAsmBackendEB64(const Target &T, StringRef TT) {
241 return new MipsAsmBackend(T, Triple(TT).getOS(),
242 /*IsLittle*/false, /*Is64Bit*/true);
243}
244