blob: 8206cfc15704a32c281096327076636247452f4a [file] [log] [blame]
Jia Liuc5707112012-02-17 08:55:11 +00001//===-- MipsAsmPrinter.cpp - Mips LLVM Assembly Printer -------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00007//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00009//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to GAS-format MIPS assembly language.
12//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000013//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000014
15#define DEBUG_TYPE "mips-asm-printer"
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000016#include "MipsAsmPrinter.h"
Craig Topper79aa3412012-03-17 18:46:09 +000017#include "Mips.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000018#include "MipsInstrInfo.h"
Akira Hatanaka794bf172011-07-07 23:56:50 +000019#include "InstPrinter/MipsInstPrinter.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000020#include "MCTargetDesc/MipsBaseInfo.h"
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000021#include "llvm/ADT/SmallString.h"
22#include "llvm/ADT/StringExtras.h"
23#include "llvm/ADT/Twine.h"
24#include "llvm/Analysis/DebugInfo.h"
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +000025#include "llvm/BasicBlock.h"
26#include "llvm/Instructions.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000027#include "llvm/CodeGen/MachineFunctionPass.h"
28#include "llvm/CodeGen/MachineConstantPool.h"
Bruno Cardoso Lopesa4e82002007-07-11 23:24:41 +000029#include "llvm/CodeGen/MachineFrameInfo.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000030#include "llvm/CodeGen/MachineInstr.h"
Akira Hatanaka5c21c9e2011-08-12 21:30:06 +000031#include "llvm/CodeGen/MachineMemOperand.h"
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000032#include "llvm/Instructions.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000033#include "llvm/MC/MCStreamer.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000034#include "llvm/MC/MCAsmInfo.h"
Akira Hatanaka794bf172011-07-07 23:56:50 +000035#include "llvm/MC/MCInst.h"
Chris Lattner325d3dc2009-09-13 17:14:04 +000036#include "llvm/MC/MCSymbol.h"
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000037#include "llvm/Support/TargetRegistry.h"
38#include "llvm/Support/raw_ostream.h"
Chris Lattnerd62f1b42010-03-12 21:19:23 +000039#include "llvm/Target/Mangler.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000040#include "llvm/Target/TargetData.h"
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000041#include "llvm/Target/TargetLoweringObjectFile.h"
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +000042#include "llvm/Target/TargetOptions.h"
Akira Hatanakac4f24eb2011-07-01 01:04:43 +000043
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000044using namespace llvm;
45
Akira Hatanakaf93b8632012-03-28 00:22:50 +000046void MipsAsmPrinter::EmitInstrWithMacroNoAT(const MachineInstr *MI) {
47 MCInst TmpInst;
48
49 MCInstLowering.Lower(MI, TmpInst);
50 OutStreamer.EmitRawText(StringRef("\t.set\tmacro"));
51 if (MipsFI->getEmitNOAT())
52 OutStreamer.EmitRawText(StringRef("\t.set\tat"));
53 OutStreamer.EmitInstruction(TmpInst);
54 if (MipsFI->getEmitNOAT())
55 OutStreamer.EmitRawText(StringRef("\t.set\tnoat"));
56 OutStreamer.EmitRawText(StringRef("\t.set\tnomacro"));
Akira Hatanakacb518ee2011-10-08 02:24:10 +000057}
58
Akira Hatanakaf93b8632012-03-28 00:22:50 +000059bool MipsAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
60 MipsFI = MF.getInfo<MipsFunctionInfo>();
61 AsmPrinter::runOnMachineFunction(MF);
62 return true;
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000063}
64
Akira Hatanakaaa08ea02011-07-07 20:10:52 +000065void MipsAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Akira Hatanakaaa08ea02011-07-07 20:10:52 +000066 if (MI->isDebugValue()) {
Bruno Cardoso Lopesce8524c2011-12-30 21:09:41 +000067 SmallString<128> Str;
68 raw_svector_ostream OS(Str);
69
Akira Hatanakaaa08ea02011-07-07 20:10:52 +000070 PrintDebugValueComment(MI, OS);
71 return;
72 }
73
Akira Hatanaka614051a2011-08-16 03:51:51 +000074 unsigned Opc = MI->getOpcode();
Akira Hatanaka794bf172011-07-07 23:56:50 +000075 MCInst TmpInst0;
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000076 SmallVector<MCInst, 4> MCInsts;
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000077
Akira Hatanakaf93b8632012-03-28 00:22:50 +000078 switch (Opc) {
79 case Mips::ULW:
80 case Mips::ULH:
81 case Mips::ULHu:
82 case Mips::USW:
83 case Mips::USH:
84 case Mips::ULW_P8:
85 case Mips::ULH_P8:
86 case Mips::ULHu_P8:
87 case Mips::USW_P8:
88 case Mips::USH_P8:
89 case Mips::ULD:
90 case Mips::ULW64:
91 case Mips::ULH64:
92 case Mips::ULHu64:
93 case Mips::USD:
94 case Mips::USW64:
95 case Mips::USH64:
96 case Mips::ULD_P8:
97 case Mips::ULW64_P8:
98 case Mips::ULH64_P8:
99 case Mips::ULHu64_P8:
100 case Mips::USD_P8:
101 case Mips::USW64_P8:
102 case Mips::USH64_P8: {
Akira Hatanaka421455f2011-11-23 22:19:28 +0000103 if (OutStreamer.hasRawTextSupport()) {
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000104 EmitInstrWithMacroNoAT(MI);
105 return;
Akira Hatanaka421455f2011-11-23 22:19:28 +0000106 }
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000107
108 MCInstLowering.LowerUnalignedLoadStore(MI, MCInsts);
109 for (SmallVector<MCInst, 4>::iterator I = MCInsts.begin(); I
110 != MCInsts.end(); ++I)
111 OutStreamer.EmitInstruction(*I);
112
Akira Hatanakacb518ee2011-10-08 02:24:10 +0000113 return;
Akira Hatanaka5c21c9e2011-08-12 21:30:06 +0000114 }
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000115 case Mips::CPRESTORE: {
116 const MachineOperand &MO = MI->getOperand(0);
117 assert(MO.isImm() && "CPRESTORE's operand must be an immediate.");
118 int64_t Offset = MO.getImm();
Akira Hatanaka5c21c9e2011-08-12 21:30:06 +0000119
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000120 if (OutStreamer.hasRawTextSupport()) {
121 if (!isInt<16>(Offset)) {
122 EmitInstrWithMacroNoAT(MI);
123 return;
124 }
125 } else {
126 MCInstLowering.LowerCPRESTORE(Offset, MCInsts);
Jia Liubb481f82012-02-28 07:46:26 +0000127
Akira Hatanaka044a7842011-12-13 03:09:05 +0000128 for (SmallVector<MCInst, 4>::iterator I = MCInsts.begin();
129 I != MCInsts.end(); ++I)
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000130 OutStreamer.EmitInstruction(*I);
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000131
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000132 return;
133 }
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000134
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000135 break;
136 }
137 case Mips::SETGP01: {
Akira Hatanaka648f00c2012-02-24 22:34:47 +0000138 MCInstLowering.LowerSETGP01(MI, MCInsts);
139
140 for (SmallVector<MCInst, 4>::iterator I = MCInsts.begin();
141 I != MCInsts.end(); ++I)
142 OutStreamer.EmitInstruction(*I);
143
144 return;
145 }
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000146 default:
147 break;
148 }
Akira Hatanaka648f00c2012-02-24 22:34:47 +0000149
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000150 MCInstLowering.Lower(MI, TmpInst0);
Akira Hatanaka794bf172011-07-07 23:56:50 +0000151 OutStreamer.EmitInstruction(TmpInst0);
Akira Hatanakaaa08ea02011-07-07 20:10:52 +0000152}
153
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000154//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000155//
156// Mips Asm Directives
157//
158// -- Frame directive "frame Stackpointer, Stacksize, RARegister"
159// Describe the stack frame.
160//
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000161// -- Mask directives "(f)mask bitmask, offset"
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000162// Tells the assembler which registers are saved and where.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000163// bitmask - contain a little endian bitset indicating which registers are
164// saved on function prologue (e.g. with a 0x80000000 mask, the
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000165// assembler knows the register 31 (RA) is saved at prologue.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000166// offset - the position before stack pointer subtraction indicating where
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000167// the first saved register on prologue is located. (e.g. with a
168//
169// Consider the following function prologue:
170//
Bill Wendling6ef781f2008-02-27 06:33:05 +0000171// .frame $fp,48,$ra
172// .mask 0xc0000000,-8
173// addiu $sp, $sp, -48
174// sw $ra, 40($sp)
175// sw $fp, 36($sp)
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000176//
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000177// With a 0xc0000000 mask, the assembler knows the register 31 (RA) and
178// 30 (FP) are saved at prologue. As the save order on prologue is from
179// left to right, RA is saved first. A -8 offset means that after the
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000180// stack pointer subtration, the first register in the mask (RA) will be
181// saved at address 48-8=40.
182//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000183//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000184
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000185//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000186// Mask directives
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000187//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000188
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000189// Create a bitmask with all callee saved registers for CPU or Floating Point
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000190// registers. For CPU registers consider RA, GP and FP for saving if necessary.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000191void MipsAsmPrinter::printSavedRegsBitmask(raw_ostream &O) {
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000192 // CPU and FPU Saved Registers Bitmasks
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000193 unsigned CPUBitmask = 0, FPUBitmask = 0;
194 int CPUTopSavedRegOff, FPUTopSavedRegOff;
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000195
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000196 // Set the CPU and FPU Bitmasks
Chris Lattnera34103f2010-01-28 06:22:43 +0000197 const MachineFrameInfo *MFI = MF->getFrameInfo();
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000198 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000199 // size of stack area to which FP callee-saved regs are saved.
200 unsigned CPURegSize = Mips::CPURegsRegisterClass->getSize();
201 unsigned FGR32RegSize = Mips::FGR32RegisterClass->getSize();
202 unsigned AFGR64RegSize = Mips::AFGR64RegisterClass->getSize();
203 bool HasAFGR64Reg = false;
204 unsigned CSFPRegsSize = 0;
205 unsigned i, e = CSI.size();
206
207 // Set FPU Bitmask.
208 for (i = 0; i != e; ++i) {
Rafael Espindola42d075c2010-06-02 20:02:30 +0000209 unsigned Reg = CSI[i].getReg();
Rafael Espindola42d075c2010-06-02 20:02:30 +0000210 if (Mips::CPURegsRegisterClass->contains(Reg))
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000211 break;
212
Bruno Cardoso Lopesce8524c2011-12-30 21:09:41 +0000213 unsigned RegNum = getMipsRegisterNumbering(Reg);
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000214 if (Mips::AFGR64RegisterClass->contains(Reg)) {
215 FPUBitmask |= (3 << RegNum);
216 CSFPRegsSize += AFGR64RegSize;
217 HasAFGR64Reg = true;
218 continue;
219 }
220
221 FPUBitmask |= (1 << RegNum);
222 CSFPRegsSize += FGR32RegSize;
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000223 }
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000224
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000225 // Set CPU Bitmask.
226 for (; i != e; ++i) {
227 unsigned Reg = CSI[i].getReg();
Bruno Cardoso Lopesce8524c2011-12-30 21:09:41 +0000228 unsigned RegNum = getMipsRegisterNumbering(Reg);
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000229 CPUBitmask |= (1 << RegNum);
230 }
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000231
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000232 // FP Regs are saved right below where the virtual frame pointer points to.
233 FPUTopSavedRegOff = FPUBitmask ?
234 (HasAFGR64Reg ? -AFGR64RegSize : -FGR32RegSize) : 0;
235
236 // CPU Regs are saved below FP Regs.
237 CPUTopSavedRegOff = CPUBitmask ? -CSFPRegsSize - CPURegSize : 0;
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000238
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000239 // Print CPUBitmask
Chris Lattner35c33bd2010-04-04 04:47:45 +0000240 O << "\t.mask \t"; printHex32(CPUBitmask, O);
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000241 O << ',' << CPUTopSavedRegOff << '\n';
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000242
243 // Print FPUBitmask
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000244 O << "\t.fmask\t"; printHex32(FPUBitmask, O);
245 O << "," << FPUTopSavedRegOff << '\n';
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000246}
247
248// Print a 32 bit hex number with all numbers.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000249void MipsAsmPrinter::printHex32(unsigned Value, raw_ostream &O) {
Owen Andersoncb371882008-08-21 00:14:44 +0000250 O << "0x";
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000251 for (int i = 7; i >= 0; i--)
Benjamin Kramer59085362011-11-06 20:37:06 +0000252 O.write_hex((Value & (0xF << (i*4))) >> (i*4));
Bruno Cardoso Lopesa4e82002007-07-11 23:24:41 +0000253}
254
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000255//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000256// Frame and Set directives
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000257//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000258
259/// Frame Directive
Chris Lattner9d7efd32010-04-04 07:05:53 +0000260void MipsAsmPrinter::emitFrameDirective() {
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000261 const TargetRegisterInfo &RI = *TM.getRegisterInfo();
262
Chris Lattnera34103f2010-01-28 06:22:43 +0000263 unsigned stackReg = RI.getFrameRegister(*MF);
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000264 unsigned returnReg = RI.getRARegister();
Chris Lattnera34103f2010-01-28 06:22:43 +0000265 unsigned stackSize = MF->getFrameInfo()->getStackSize();
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000266
Jia Liubb481f82012-02-28 07:46:26 +0000267 if (OutStreamer.hasRawTextSupport())
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000268 OutStreamer.EmitRawText("\t.frame\t$" +
Benjamin Kramer59085362011-11-06 20:37:06 +0000269 StringRef(MipsInstPrinter::getRegisterName(stackReg)).lower() +
Akira Hatanaka794bf172011-07-07 23:56:50 +0000270 "," + Twine(stackSize) + ",$" +
Benjamin Kramer59085362011-11-06 20:37:06 +0000271 StringRef(MipsInstPrinter::getRegisterName(returnReg)).lower());
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000272}
273
274/// Emit Set directives.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000275const char *MipsAsmPrinter::getCurrentABIString() const {
Chris Lattner9d7efd32010-04-04 07:05:53 +0000276 switch (Subtarget->getTargetABI()) {
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000277 case MipsSubtarget::O32: return "abi32";
Chris Lattner9d7efd32010-04-04 07:05:53 +0000278 case MipsSubtarget::N32: return "abiN32";
279 case MipsSubtarget::N64: return "abi64";
280 case MipsSubtarget::EABI: return "eabi32"; // TODO: handle eabi64
Ahmed Charlesb0934ab2012-02-19 11:37:01 +0000281 default: llvm_unreachable("Unknown Mips ABI");;
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000282 }
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000283}
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000284
Chris Lattner50060712010-01-27 23:23:58 +0000285void MipsAsmPrinter::EmitFunctionEntryLabel() {
Jia Liubb481f82012-02-28 07:46:26 +0000286 if (OutStreamer.hasRawTextSupport())
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000287 OutStreamer.EmitRawText("\t.ent\t" + Twine(CurrentFnSym->getName()));
Chris Lattner50060712010-01-27 23:23:58 +0000288 OutStreamer.EmitLabel(CurrentFnSym);
289}
290
Chris Lattnera34103f2010-01-28 06:22:43 +0000291/// EmitFunctionBodyStart - Targets can override this to emit stuff before
292/// the first basic block in the function.
293void MipsAsmPrinter::EmitFunctionBodyStart() {
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000294 MCInstLowering.Initialize(Mang, &MF->getContext());
295
Chris Lattner9d7efd32010-04-04 07:05:53 +0000296 emitFrameDirective();
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000297
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000298 bool EmitCPLoad = (MF->getTarget().getRelocationModel() == Reloc::PIC_) &&
299 Subtarget->isABI_O32() && MipsFI->globalBaseRegSet() &&
300 MipsFI->globalBaseRegFixed();
301
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000302 if (OutStreamer.hasRawTextSupport()) {
303 SmallString<128> Str;
304 raw_svector_ostream OS(Str);
305 printSavedRegsBitmask(OS);
306 OutStreamer.EmitRawText(OS.str());
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000307
308 OutStreamer.EmitRawText(StringRef("\t.set\tnoreorder"));
309
310 // Emit .cpload directive if needed.
311 if (EmitCPLoad)
312 OutStreamer.EmitRawText(StringRef("\t.cpload\t$25"));
313
314 OutStreamer.EmitRawText(StringRef("\t.set\tnomacro"));
315 if (MipsFI->getEmitNOAT())
316 OutStreamer.EmitRawText(StringRef("\t.set\tnoat"));
317 } else if (EmitCPLoad) {
318 SmallVector<MCInst, 4> MCInsts;
319 MCInstLowering.LowerCPLOAD(MCInsts);
320 for (SmallVector<MCInst, 4>::iterator I = MCInsts.begin();
321 I != MCInsts.end(); ++I)
322 OutStreamer.EmitInstruction(*I);
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000323 }
Chris Lattnera34103f2010-01-28 06:22:43 +0000324}
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000325
Chris Lattnera34103f2010-01-28 06:22:43 +0000326/// EmitFunctionBodyEnd - Targets can override this to emit stuff after
327/// the last basic block in the function.
328void MipsAsmPrinter::EmitFunctionBodyEnd() {
Chris Lattner745ec062010-01-28 01:48:52 +0000329 // There are instruction for this macros, but they must
330 // always be at the function end, and we can't emit and
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000331 // break with BB logic.
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000332 if (OutStreamer.hasRawTextSupport()) {
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000333 if (MipsFI->getEmitNOAT())
334 OutStreamer.EmitRawText(StringRef("\t.set\tat"));
335
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000336 OutStreamer.EmitRawText(StringRef("\t.set\tmacro"));
337 OutStreamer.EmitRawText(StringRef("\t.set\treorder"));
338 OutStreamer.EmitRawText("\t.end\t" + Twine(CurrentFnSym->getName()));
339 }
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000340}
341
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +0000342/// isBlockOnlyReachableByFallthough - Return true if the basic block has
343/// exactly one predecessor and the control transfer mechanism between
344/// the predecessor and this block is a fall-through.
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000345bool MipsAsmPrinter::isBlockOnlyReachableByFallthrough(const MachineBasicBlock*
346 MBB) const {
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +0000347 // The predecessor has to be immediately before this block.
348 const MachineBasicBlock *Pred = *MBB->pred_begin();
349
350 // If the predecessor is a switch statement, assume a jump table
351 // implementation, so it is not a fall through.
352 if (const BasicBlock *bb = Pred->getBasicBlock())
353 if (isa<SwitchInst>(bb->getTerminator()))
354 return false;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000355
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000356 // If this is a landing pad, it isn't a fall through. If it has no preds,
357 // then nothing falls through to it.
358 if (MBB->isLandingPad() || MBB->pred_empty())
359 return false;
360
361 // If there isn't exactly one predecessor, it can't be a fall through.
362 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI;
363 ++PI2;
Jia Liubb481f82012-02-28 07:46:26 +0000364
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000365 if (PI2 != MBB->pred_end())
Jia Liubb481f82012-02-28 07:46:26 +0000366 return false;
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000367
368 // The predecessor has to be immediately before this block.
369 if (!Pred->isLayoutSuccessor(MBB))
370 return false;
Jia Liubb481f82012-02-28 07:46:26 +0000371
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000372 // If the block is completely empty, then it definitely does fall through.
373 if (Pred->empty())
374 return true;
Jia Liubb481f82012-02-28 07:46:26 +0000375
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000376 // Otherwise, check the last instruction.
377 // Check if the last terminator is an unconditional branch.
378 MachineBasicBlock::const_iterator I = Pred->end();
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000379 while (I != Pred->begin() && !(--I)->isTerminator()) ;
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000380
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000381 return !I->isBarrier();
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +0000382}
383
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000384// Print out an operand for an inline asm expression.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000385bool MipsAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattnerc75c0282010-04-04 05:29:35 +0000386 unsigned AsmVariant,const char *ExtraCode,
387 raw_ostream &O) {
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000388 // Does this asm operand have a single letter operand modifier?
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000389 if (ExtraCode && ExtraCode[0])
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000390 return true; // Unknown modifier.
391
Chris Lattner35c33bd2010-04-04 04:47:45 +0000392 printOperand(MI, OpNo, O);
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000393 return false;
394}
395
Akira Hatanaka21afc632011-06-21 00:40:49 +0000396bool MipsAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
397 unsigned OpNum, unsigned AsmVariant,
398 const char *ExtraCode,
399 raw_ostream &O) {
400 if (ExtraCode && ExtraCode[0])
401 return true; // Unknown modifier.
Jia Liubb481f82012-02-28 07:46:26 +0000402
Akira Hatanaka21afc632011-06-21 00:40:49 +0000403 const MachineOperand &MO = MI->getOperand(OpNum);
404 assert(MO.isReg() && "unexpected inline asm memory operand");
Akira Hatanaka794bf172011-07-07 23:56:50 +0000405 O << "0($" << MipsInstPrinter::getRegisterName(MO.getReg()) << ")";
Akira Hatanaka21afc632011-06-21 00:40:49 +0000406 return false;
407}
408
Chris Lattner35c33bd2010-04-04 04:47:45 +0000409void MipsAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
410 raw_ostream &O) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000411 const MachineOperand &MO = MI->getOperand(opNum);
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000412 bool closeP = false;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000413
Bruno Cardoso Lopesc517cb02009-09-01 17:27:58 +0000414 if (MO.getTargetFlags())
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000415 closeP = true;
Bruno Cardoso Lopesc517cb02009-09-01 17:27:58 +0000416
417 switch(MO.getTargetFlags()) {
418 case MipsII::MO_GPREL: O << "%gp_rel("; break;
419 case MipsII::MO_GOT_CALL: O << "%call16("; break;
Akira Hatanakae2e436a2011-04-01 21:41:06 +0000420 case MipsII::MO_GOT: O << "%got("; break;
421 case MipsII::MO_ABS_HI: O << "%hi("; break;
422 case MipsII::MO_ABS_LO: O << "%lo("; break;
Bruno Cardoso Lopesd9796862011-05-31 02:53:58 +0000423 case MipsII::MO_TLSGD: O << "%tlsgd("; break;
424 case MipsII::MO_GOTTPREL: O << "%gottprel("; break;
425 case MipsII::MO_TPREL_HI: O << "%tprel_hi("; break;
426 case MipsII::MO_TPREL_LO: O << "%tprel_lo("; break;
Akira Hatanakae33ca9c2011-09-22 03:09:07 +0000427 case MipsII::MO_GPOFF_HI: O << "%hi(%neg(%gp_rel("; break;
428 case MipsII::MO_GPOFF_LO: O << "%lo(%neg(%gp_rel("; break;
429 case MipsII::MO_GOT_DISP: O << "%got_disp("; break;
430 case MipsII::MO_GOT_PAGE: O << "%got_page("; break;
431 case MipsII::MO_GOT_OFST: O << "%got_ofst("; break;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000432 }
Bruno Cardoso Lopesc517cb02009-09-01 17:27:58 +0000433
Chris Lattner762ccea2009-09-13 20:31:40 +0000434 switch (MO.getType()) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000435 case MachineOperand::MO_Register:
Akira Hatanaka794bf172011-07-07 23:56:50 +0000436 O << '$'
Benjamin Kramer59085362011-11-06 20:37:06 +0000437 << StringRef(MipsInstPrinter::getRegisterName(MO.getReg())).lower();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000438 break;
439
440 case MachineOperand::MO_Immediate:
Akira Hatanakace98deb2011-05-24 21:22:21 +0000441 O << MO.getImm();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000442 break;
443
444 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000445 O << *MO.getMBB()->getSymbol();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000446 return;
447
448 case MachineOperand::MO_GlobalAddress:
Chris Lattnerd62f1b42010-03-12 21:19:23 +0000449 O << *Mang->getSymbol(MO.getGlobal());
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000450 break;
451
Bruno Cardoso Lopesca8a2aa2011-03-04 20:01:52 +0000452 case MachineOperand::MO_BlockAddress: {
453 MCSymbol* BA = GetBlockAddressSymbol(MO.getBlockAddress());
454 O << BA->getName();
455 break;
456 }
457
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000458 case MachineOperand::MO_ExternalSymbol:
Chris Lattner10b318b2010-01-17 21:43:43 +0000459 O << *GetExternalSymbolSymbol(MO.getSymbolName());
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000460 break;
461
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000462 case MachineOperand::MO_JumpTableIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000463 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner12164412010-01-16 00:21:18 +0000464 << '_' << MO.getIndex();
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000465 break;
466
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000467 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000468 O << MAI->getPrivateGlobalPrefix() << "CPI"
Chris Lattner8aa797a2007-12-30 23:10:15 +0000469 << getFunctionNumber() << "_" << MO.getIndex();
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000470 if (MO.getOffset())
471 O << "+" << MO.getOffset();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000472 break;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000473
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000474 default:
Torok Edwinc23197a2009-07-14 16:55:14 +0000475 llvm_unreachable("<unknown operand type>");
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000476 }
477
478 if (closeP) O << ")";
479}
480
Chris Lattner35c33bd2010-04-04 04:47:45 +0000481void MipsAsmPrinter::printUnsignedImm(const MachineInstr *MI, int opNum,
482 raw_ostream &O) {
Bruno Cardoso Lopes739e4412008-08-13 07:13:40 +0000483 const MachineOperand &MO = MI->getOperand(opNum);
Devang Patela00adba2010-04-27 22:24:37 +0000484 if (MO.isImm())
Bruno Cardoso Lopes739e4412008-08-13 07:13:40 +0000485 O << (unsigned short int)MO.getImm();
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000486 else
Chris Lattner35c33bd2010-04-04 04:47:45 +0000487 printOperand(MI, opNum, O);
Bruno Cardoso Lopes739e4412008-08-13 07:13:40 +0000488}
489
490void MipsAsmPrinter::
Akira Hatanaka03236be2011-07-07 20:54:20 +0000491printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &O) {
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000492 // Load/Store memory operands -- imm($reg)
493 // If PIC target the target is loaded as the
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000494 // pattern lw $25,%call16($28)
Chris Lattner35c33bd2010-04-04 04:47:45 +0000495 printOperand(MI, opNum+1, O);
Akira Hatanakad3ac47f2011-07-07 18:57:00 +0000496 O << "(";
497 printOperand(MI, opNum, O);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000498 O << ")";
499}
500
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000501void MipsAsmPrinter::
Akira Hatanaka03236be2011-07-07 20:54:20 +0000502printMemOperandEA(const MachineInstr *MI, int opNum, raw_ostream &O) {
503 // when using stack locations for not load/store instructions
504 // print the same way as all normal 3 operand instructions.
505 printOperand(MI, opNum, O);
506 O << ", ";
507 printOperand(MI, opNum+1, O);
508 return;
509}
510
511void MipsAsmPrinter::
Chris Lattner35c33bd2010-04-04 04:47:45 +0000512printFCCOperand(const MachineInstr *MI, int opNum, raw_ostream &O,
513 const char *Modifier) {
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000514 const MachineOperand& MO = MI->getOperand(opNum);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000515 O << Mips::MipsFCCToString((Mips::CondCode)MO.getImm());
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000516}
517
Bob Wilson812209a2009-09-30 22:06:26 +0000518void MipsAsmPrinter::EmitStartOfAsmFile(Module &M) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +0000519 // FIXME: Use SwitchSection.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000520
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000521 // Tell the assembler which ABI we are using
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000522 if (OutStreamer.hasRawTextSupport())
Akira Hatanaka82099682011-12-19 19:52:25 +0000523 OutStreamer.EmitRawText("\t.section .mdebug." +
524 Twine(getCurrentABIString()));
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000525
526 // TODO: handle O64 ABI
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000527 if (OutStreamer.hasRawTextSupport()) {
528 if (Subtarget->isABI_EABI()) {
529 if (Subtarget->isGP32bit())
530 OutStreamer.EmitRawText(StringRef("\t.section .gcc_compiled_long32"));
531 else
532 OutStreamer.EmitRawText(StringRef("\t.section .gcc_compiled_long64"));
533 }
Benjamin Kramer75e818a2010-04-05 10:17:15 +0000534 }
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000535
536 // return to previous section
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000537 if (OutStreamer.hasRawTextSupport())
538 OutStreamer.EmitRawText(StringRef("\t.previous"));
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000539}
540
Akira Hatanakac4f24eb2011-07-01 01:04:43 +0000541MachineLocation
542MipsAsmPrinter::getDebugValueLocation(const MachineInstr *MI) const {
543 // Handles frame addresses emitted in MipsInstrInfo::emitFrameIndexDebugValue.
544 assert(MI->getNumOperands() == 4 && "Invalid no. of machine operands!");
545 assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm() &&
546 "Unexpected MachineOperand types");
547 return MachineLocation(MI->getOperand(0).getReg(),
548 MI->getOperand(1).getImm());
549}
550
551void MipsAsmPrinter::PrintDebugValueComment(const MachineInstr *MI,
552 raw_ostream &OS) {
553 // TODO: implement
554}
555
Bob Wilsona96751f2009-06-23 23:59:40 +0000556// Force static initialization.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000557extern "C" void LLVMInitializeMipsAsmPrinter() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +0000558 RegisterAsmPrinter<MipsAsmPrinter> X(TheMipsTarget);
559 RegisterAsmPrinter<MipsAsmPrinter> Y(TheMipselTarget);
Akira Hatanaka24648102011-09-21 03:00:58 +0000560 RegisterAsmPrinter<MipsAsmPrinter> A(TheMips64Target);
561 RegisterAsmPrinter<MipsAsmPrinter> B(TheMips64elTarget);
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000562}