blob: 1dc3326578354dda309263b93526e9c1acd242df [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"
Akira Hatanaka794bf172011-07-07 23:56:50 +000016#include "InstPrinter/MipsInstPrinter.h"
Bruno Cardoso Lopes47b92f32011-11-11 22:58:42 +000017#include "MCTargetDesc/MipsBaseInfo.h"
Jack Carterdba14302013-01-30 02:16:36 +000018#include "MCTargetDesc/MipsELFStreamer.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000019#include "Mips.h"
Jack Carterc91cbb92013-01-18 21:20:38 +000020#include "MipsAsmPrinter.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000021#include "MipsInstrInfo.h"
22#include "MipsMCInstLower.h"
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000023#include "llvm/ADT/SmallString.h"
24#include "llvm/ADT/StringExtras.h"
25#include "llvm/ADT/Twine.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000026#include "llvm/CodeGen/MachineConstantPool.h"
Bruno Cardoso Lopesa4e82002007-07-11 23:24:41 +000027#include "llvm/CodeGen/MachineFrameInfo.h"
Jack Carter244a84e2012-07-05 23:58:21 +000028#include "llvm/CodeGen/MachineFunctionPass.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000029#include "llvm/CodeGen/MachineInstr.h"
Akira Hatanaka5c21c9e2011-08-12 21:30:06 +000030#include "llvm/CodeGen/MachineMemOperand.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000031#include "llvm/IR/BasicBlock.h"
32#include "llvm/IR/DataLayout.h"
33#include "llvm/IR/InlineAsm.h"
34#include "llvm/IR/Instructions.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000035#include "llvm/MC/MCAsmInfo.h"
Akira Hatanaka794bf172011-07-07 23:56:50 +000036#include "llvm/MC/MCInst.h"
Jack Carter244a84e2012-07-05 23:58:21 +000037#include "llvm/MC/MCStreamer.h"
Chris Lattner325d3dc2009-09-13 17:14:04 +000038#include "llvm/MC/MCSymbol.h"
Jack Carterccb3c9c2013-02-19 22:04:37 +000039#include "llvm/Support/ELF.h"
Jack Carter244a84e2012-07-05 23:58:21 +000040#include "llvm/Support/TargetRegistry.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000041#include "llvm/Support/raw_ostream.h"
Chris Lattnerd62f1b42010-03-12 21:19:23 +000042#include "llvm/Target/Mangler.h"
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000043#include "llvm/Target/TargetLoweringObjectFile.h"
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +000044#include "llvm/Target/TargetOptions.h"
Akira Hatanakac4f24eb2011-07-01 01:04:43 +000045
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000046using namespace llvm;
47
Akira Hatanakaf93b8632012-03-28 00:22:50 +000048bool MipsAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Reed Kotlera430cb62013-04-09 19:46:01 +000049 // Initialize TargetLoweringObjectFile.
50 if (Subtarget->allowMixed16_32())
51 const_cast<TargetLoweringObjectFile&>(getObjFileLowering())
52 .Initialize(OutContext, TM);
Akira Hatanakaf93b8632012-03-28 00:22:50 +000053 MipsFI = MF.getInfo<MipsFunctionInfo>();
54 AsmPrinter::runOnMachineFunction(MF);
55 return true;
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +000056}
57
Akira Hatanakacc46fe52012-09-27 01:59:07 +000058bool MipsAsmPrinter::lowerOperand(const MachineOperand &MO, MCOperand &MCOp) {
59 MCOp = MCInstLowering.LowerOperand(MO);
60 return MCOp.isValid();
61}
62
63#include "MipsGenMCPseudoLowering.inc"
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 Hatanaka15841392012-06-13 23:25:52 +000074 MachineBasicBlock::const_instr_iterator I = MI;
75 MachineBasicBlock::const_instr_iterator E = MI->getParent()->instr_end();
76
77 do {
Akira Hatanaka6c59c9f2013-02-06 21:50:15 +000078 // Do any auto-generated pseudo lowerings.
79 if (emitPseudoExpansionLowering(OutStreamer, &*I))
80 continue;
Jack Carter69dba7e2012-08-28 19:07:39 +000081
Reed Kotler79cd4112013-02-15 21:05:58 +000082 // The inMips16Mode() test is not permanent.
83 // Some instructions are marked as pseudo right now which
84 // would make the test fail for the wrong reason but
85 // that will be fixed soon. We need this here because we are
86 // removing another test for this situation downstream in the
87 // callchain.
88 //
89 if (I->isPseudo() && !Subtarget->inMips16Mode())
90 llvm_unreachable("Pseudo opcode found in EmitInstruction()");
91
Akira Hatanaka6c59c9f2013-02-06 21:50:15 +000092 MCInst TmpInst0;
93 MCInstLowering.Lower(I, TmpInst0);
Akira Hatanaka15841392012-06-13 23:25:52 +000094 OutStreamer.EmitInstruction(TmpInst0);
Akira Hatanaka6c59c9f2013-02-06 21:50:15 +000095 } while ((++I != E) && I->isInsideBundle()); // Delay slot check
Akira Hatanakaaa08ea02011-07-07 20:10:52 +000096}
97
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000098//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +000099//
100// Mips Asm Directives
101//
102// -- Frame directive "frame Stackpointer, Stacksize, RARegister"
103// Describe the stack frame.
104//
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000105// -- Mask directives "(f)mask bitmask, offset"
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000106// Tells the assembler which registers are saved and where.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000107// bitmask - contain a little endian bitset indicating which registers are
108// saved on function prologue (e.g. with a 0x80000000 mask, the
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000109// assembler knows the register 31 (RA) is saved at prologue.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000110// offset - the position before stack pointer subtraction indicating where
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000111// the first saved register on prologue is located. (e.g. with a
112//
113// Consider the following function prologue:
114//
Bill Wendling6ef781f2008-02-27 06:33:05 +0000115// .frame $fp,48,$ra
116// .mask 0xc0000000,-8
117// addiu $sp, $sp, -48
118// sw $ra, 40($sp)
119// sw $fp, 36($sp)
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000120//
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000121// With a 0xc0000000 mask, the assembler knows the register 31 (RA) and
122// 30 (FP) are saved at prologue. As the save order on prologue is from
123// left to right, RA is saved first. A -8 offset means that after the
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000124// stack pointer subtration, the first register in the mask (RA) will be
125// saved at address 48-8=40.
126//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000127//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000128
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000129//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000130// Mask directives
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000131//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000132
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000133// Create a bitmask with all callee saved registers for CPU or Floating Point
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000134// registers. For CPU registers consider RA, GP and FP for saving if necessary.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000135void MipsAsmPrinter::printSavedRegsBitmask(raw_ostream &O) {
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000136 // CPU and FPU Saved Registers Bitmasks
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000137 unsigned CPUBitmask = 0, FPUBitmask = 0;
138 int CPUTopSavedRegOff, FPUTopSavedRegOff;
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000139
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000140 // Set the CPU and FPU Bitmasks
Chris Lattnera34103f2010-01-28 06:22:43 +0000141 const MachineFrameInfo *MFI = MF->getFrameInfo();
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000142 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000143 // size of stack area to which FP callee-saved regs are saved.
Akira Hatanaka18587862013-08-06 23:08:38 +0000144 unsigned CPURegSize = Mips::GPR32RegClass.getSize();
Craig Topper420761a2012-04-20 07:30:17 +0000145 unsigned FGR32RegSize = Mips::FGR32RegClass.getSize();
146 unsigned AFGR64RegSize = Mips::AFGR64RegClass.getSize();
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000147 bool HasAFGR64Reg = false;
148 unsigned CSFPRegsSize = 0;
149 unsigned i, e = CSI.size();
150
151 // Set FPU Bitmask.
152 for (i = 0; i != e; ++i) {
Rafael Espindola42d075c2010-06-02 20:02:30 +0000153 unsigned Reg = CSI[i].getReg();
Akira Hatanaka18587862013-08-06 23:08:38 +0000154 if (Mips::GPR32RegClass.contains(Reg))
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000155 break;
156
Akira Hatanakae8068692012-12-10 20:04:40 +0000157 unsigned RegNum = TM.getRegisterInfo()->getEncodingValue(Reg);
Craig Topper420761a2012-04-20 07:30:17 +0000158 if (Mips::AFGR64RegClass.contains(Reg)) {
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000159 FPUBitmask |= (3 << RegNum);
160 CSFPRegsSize += AFGR64RegSize;
161 HasAFGR64Reg = true;
162 continue;
163 }
164
165 FPUBitmask |= (1 << RegNum);
166 CSFPRegsSize += FGR32RegSize;
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000167 }
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000168
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000169 // Set CPU Bitmask.
170 for (; i != e; ++i) {
171 unsigned Reg = CSI[i].getReg();
Akira Hatanakae8068692012-12-10 20:04:40 +0000172 unsigned RegNum = TM.getRegisterInfo()->getEncodingValue(Reg);
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000173 CPUBitmask |= (1 << RegNum);
174 }
Anton Korobeynikovd0c38172010-11-18 21:19:35 +0000175
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000176 // FP Regs are saved right below where the virtual frame pointer points to.
177 FPUTopSavedRegOff = FPUBitmask ?
178 (HasAFGR64Reg ? -AFGR64RegSize : -FGR32RegSize) : 0;
179
180 // CPU Regs are saved below FP Regs.
181 CPUTopSavedRegOff = CPUBitmask ? -CSFPRegsSize - CPURegSize : 0;
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000182
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000183 // Print CPUBitmask
Chris Lattner35c33bd2010-04-04 04:47:45 +0000184 O << "\t.mask \t"; printHex32(CPUBitmask, O);
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000185 O << ',' << CPUTopSavedRegOff << '\n';
Bruno Cardoso Lopesbbe51362008-08-06 06:14:43 +0000186
187 // Print FPUBitmask
Akira Hatanakaf8928c02011-05-23 20:34:30 +0000188 O << "\t.fmask\t"; printHex32(FPUBitmask, O);
189 O << "," << FPUTopSavedRegOff << '\n';
Bruno Cardoso Lopesdc0c04c2007-08-28 05:06:17 +0000190}
191
192// Print a 32 bit hex number with all numbers.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000193void MipsAsmPrinter::printHex32(unsigned Value, raw_ostream &O) {
Owen Andersoncb371882008-08-21 00:14:44 +0000194 O << "0x";
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000195 for (int i = 7; i >= 0; i--)
Benjamin Kramer59085362011-11-06 20:37:06 +0000196 O.write_hex((Value & (0xF << (i*4))) >> (i*4));
Bruno Cardoso Lopesa4e82002007-07-11 23:24:41 +0000197}
198
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000199//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000200// Frame and Set directives
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000201//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000202
203/// Frame Directive
Chris Lattner9d7efd32010-04-04 07:05:53 +0000204void MipsAsmPrinter::emitFrameDirective() {
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000205 const TargetRegisterInfo &RI = *TM.getRegisterInfo();
206
Chris Lattnera34103f2010-01-28 06:22:43 +0000207 unsigned stackReg = RI.getFrameRegister(*MF);
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000208 unsigned returnReg = RI.getRARegister();
Chris Lattnera34103f2010-01-28 06:22:43 +0000209 unsigned stackSize = MF->getFrameInfo()->getStackSize();
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000210
Jia Liubb481f82012-02-28 07:46:26 +0000211 if (OutStreamer.hasRawTextSupport())
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000212 OutStreamer.EmitRawText("\t.frame\t$" +
Benjamin Kramer59085362011-11-06 20:37:06 +0000213 StringRef(MipsInstPrinter::getRegisterName(stackReg)).lower() +
Akira Hatanaka794bf172011-07-07 23:56:50 +0000214 "," + Twine(stackSize) + ",$" +
Benjamin Kramer59085362011-11-06 20:37:06 +0000215 StringRef(MipsInstPrinter::getRegisterName(returnReg)).lower());
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000216}
217
218/// Emit Set directives.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000219const char *MipsAsmPrinter::getCurrentABIString() const {
Chris Lattner9d7efd32010-04-04 07:05:53 +0000220 switch (Subtarget->getTargetABI()) {
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000221 case MipsSubtarget::O32: return "abi32";
Chris Lattner9d7efd32010-04-04 07:05:53 +0000222 case MipsSubtarget::N32: return "abiN32";
223 case MipsSubtarget::N64: return "abi64";
224 case MipsSubtarget::EABI: return "eabi32"; // TODO: handle eabi64
Dmitri Gribenko2de05722012-09-10 21:26:47 +0000225 default: llvm_unreachable("Unknown Mips ABI");
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000226 }
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000227}
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000228
Chris Lattner50060712010-01-27 23:23:58 +0000229void MipsAsmPrinter::EmitFunctionEntryLabel() {
Akira Hatanakac7843952012-05-24 18:37:43 +0000230 if (OutStreamer.hasRawTextSupport()) {
231 if (Subtarget->inMips16Mode())
232 OutStreamer.EmitRawText(StringRef("\t.set\tmips16"));
233 else
234 OutStreamer.EmitRawText(StringRef("\t.set\tnomips16"));
Akira Hatanaka942918d2012-06-13 02:41:14 +0000235 // leave out until FSF available gas has micromips changes
236 // OutStreamer.EmitRawText(StringRef("\t.set\tnomicromips"));
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000237 OutStreamer.EmitRawText("\t.ent\t" + Twine(CurrentFnSym->getName()));
Akira Hatanakac7843952012-05-24 18:37:43 +0000238 }
Jack Carterccb3c9c2013-02-19 22:04:37 +0000239
240 if (Subtarget->inMicroMipsMode())
241 if (MipsELFStreamer *MES = dyn_cast<MipsELFStreamer>(&OutStreamer))
242 MES->emitMipsSTOCG(*Subtarget, CurrentFnSym,
243 (unsigned)ELF::STO_MIPS_MICROMIPS);
Chris Lattner50060712010-01-27 23:23:58 +0000244 OutStreamer.EmitLabel(CurrentFnSym);
245}
246
Chris Lattnera34103f2010-01-28 06:22:43 +0000247/// EmitFunctionBodyStart - Targets can override this to emit stuff before
248/// the first basic block in the function.
249void MipsAsmPrinter::EmitFunctionBodyStart() {
Akira Hatanakaf93b8632012-03-28 00:22:50 +0000250 MCInstLowering.Initialize(Mang, &MF->getContext());
251
Reed Kotler2bb955a2013-05-03 23:17:24 +0000252 bool IsNakedFunction =
253 MF->getFunction()->
254 getAttributes().hasAttribute(AttributeSet::FunctionIndex,
255 Attribute::Naked);
256 if (!IsNakedFunction)
257 emitFrameDirective();
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000258
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000259 if (OutStreamer.hasRawTextSupport()) {
260 SmallString<128> Str;
261 raw_svector_ostream OS(Str);
Reed Kotler2bb955a2013-05-03 23:17:24 +0000262 if (!IsNakedFunction)
263 printSavedRegsBitmask(OS);
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000264 OutStreamer.EmitRawText(OS.str());
Reed Kotler5cf38fd2013-02-15 01:04:38 +0000265 if (!Subtarget->inMips16Mode()) {
266 OutStreamer.EmitRawText(StringRef("\t.set\tnoreorder"));
267 OutStreamer.EmitRawText(StringRef("\t.set\tnomacro"));
268 OutStreamer.EmitRawText(StringRef("\t.set\tnoat"));
269 }
Akira Hatanaka4147e4d2012-05-12 00:48:43 +0000270 }
Chris Lattnera34103f2010-01-28 06:22:43 +0000271}
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000272
Chris Lattnera34103f2010-01-28 06:22:43 +0000273/// EmitFunctionBodyEnd - Targets can override this to emit stuff after
274/// the last basic block in the function.
275void MipsAsmPrinter::EmitFunctionBodyEnd() {
Chris Lattner745ec062010-01-28 01:48:52 +0000276 // There are instruction for this macros, but they must
277 // always be at the function end, and we can't emit and
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000278 // break with BB logic.
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000279 if (OutStreamer.hasRawTextSupport()) {
Reed Kotler5cf38fd2013-02-15 01:04:38 +0000280 if (!Subtarget->inMips16Mode()) {
281 OutStreamer.EmitRawText(StringRef("\t.set\tat"));
282 OutStreamer.EmitRawText(StringRef("\t.set\tmacro"));
283 OutStreamer.EmitRawText(StringRef("\t.set\treorder"));
284 }
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000285 OutStreamer.EmitRawText("\t.end\t" + Twine(CurrentFnSym->getName()));
286 }
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000287}
288
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +0000289/// isBlockOnlyReachableByFallthough - Return true if the basic block has
290/// exactly one predecessor and the control transfer mechanism between
291/// the predecessor and this block is a fall-through.
Akira Hatanaka4552c9a2011-04-15 21:51:11 +0000292bool MipsAsmPrinter::isBlockOnlyReachableByFallthrough(const MachineBasicBlock*
293 MBB) const {
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +0000294 // The predecessor has to be immediately before this block.
295 const MachineBasicBlock *Pred = *MBB->pred_begin();
296
297 // If the predecessor is a switch statement, assume a jump table
298 // implementation, so it is not a fall through.
299 if (const BasicBlock *bb = Pred->getBasicBlock())
300 if (isa<SwitchInst>(bb->getTerminator()))
301 return false;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000302
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000303 // If this is a landing pad, it isn't a fall through. If it has no preds,
304 // then nothing falls through to it.
305 if (MBB->isLandingPad() || MBB->pred_empty())
306 return false;
307
308 // If there isn't exactly one predecessor, it can't be a fall through.
309 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI;
310 ++PI2;
Jia Liubb481f82012-02-28 07:46:26 +0000311
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000312 if (PI2 != MBB->pred_end())
Jia Liubb481f82012-02-28 07:46:26 +0000313 return false;
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000314
315 // The predecessor has to be immediately before this block.
316 if (!Pred->isLayoutSuccessor(MBB))
317 return false;
Jia Liubb481f82012-02-28 07:46:26 +0000318
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000319 // If the block is completely empty, then it definitely does fall through.
320 if (Pred->empty())
321 return true;
Jia Liubb481f82012-02-28 07:46:26 +0000322
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000323 // Otherwise, check the last instruction.
324 // Check if the last terminator is an unconditional branch.
325 MachineBasicBlock::const_iterator I = Pred->end();
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000326 while (I != Pred->begin() && !(--I)->isTerminator()) ;
Akira Hatanakaa4485c42011-04-01 18:57:38 +0000327
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000328 return !I->isBarrier();
Bruno Cardoso Lopes46773792010-07-20 08:37:04 +0000329}
330
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000331// Print out an operand for an inline asm expression.
Eric Christopher05b7a502012-05-10 21:48:22 +0000332bool MipsAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattnerc75c0282010-04-04 05:29:35 +0000333 unsigned AsmVariant,const char *ExtraCode,
334 raw_ostream &O) {
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000335 // Does this asm operand have a single letter operand modifier?
Eric Christopher05b7a502012-05-10 21:48:22 +0000336 if (ExtraCode && ExtraCode[0]) {
337 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000338
Eric Christopher05b7a502012-05-10 21:48:22 +0000339 const MachineOperand &MO = MI->getOperand(OpNum);
340 switch (ExtraCode[0]) {
Eric Christopher75f89b52012-05-19 00:51:56 +0000341 default:
Jack Carterd5e11ad2012-06-21 17:14:46 +0000342 // See if this is a generic print operand
343 return AsmPrinter::PrintAsmOperand(MI,OpNum,AsmVariant,ExtraCode,O);
Eric Christopher75f89b52012-05-19 00:51:56 +0000344 case 'X': // hex const int
345 if ((MO.getType()) != MachineOperand::MO_Immediate)
346 return true;
347 O << "0x" << StringRef(utohexstr(MO.getImm())).lower();
348 return false;
349 case 'x': // hex const int (low 16 bits)
350 if ((MO.getType()) != MachineOperand::MO_Immediate)
351 return true;
352 O << "0x" << StringRef(utohexstr(MO.getImm() & 0xffff)).lower();
353 return false;
354 case 'd': // decimal const int
355 if ((MO.getType()) != MachineOperand::MO_Immediate)
356 return true;
357 O << MO.getImm();
358 return false;
Eric Christopher6ab75b42012-05-30 19:05:19 +0000359 case 'm': // decimal const int minus 1
360 if ((MO.getType()) != MachineOperand::MO_Immediate)
361 return true;
362 O << MO.getImm() - 1;
363 return false;
Jack Carterf38ad8e2012-06-28 20:46:26 +0000364 case 'z': {
365 // $0 if zero, regular printing otherwise
Jack Carter7c3cd4d2012-06-28 01:33:40 +0000366 if (MO.getType() != MachineOperand::MO_Immediate)
367 return true;
368 int64_t Val = MO.getImm();
369 if (Val)
370 O << Val;
371 else
372 O << "$0";
373 return false;
374 }
Jack Carterbb789302012-07-10 22:41:20 +0000375 case 'D': // Second part of a double word register operand
376 case 'L': // Low order register of a double word register operand
Jack Cartera0f14af2012-07-18 06:41:36 +0000377 case 'M': // High order register of a double word register operand
Jack Carterbb789302012-07-10 22:41:20 +0000378 {
Jack Carter244a84e2012-07-05 23:58:21 +0000379 if (OpNum == 0)
380 return true;
381 const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1);
382 if (!FlagsOP.isImm())
383 return true;
384 unsigned Flags = FlagsOP.getImm();
385 unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags);
Jack Carter020f07f2012-07-06 02:44:22 +0000386 // Number of registers represented by this operand. We are looking
387 // for 2 for 32 bit mode and 1 for 64 bit mode.
Jack Carter244a84e2012-07-05 23:58:21 +0000388 if (NumVals != 2) {
Jack Carter020f07f2012-07-06 02:44:22 +0000389 if (Subtarget->isGP64bit() && NumVals == 1 && MO.isReg()) {
Jack Carter244a84e2012-07-05 23:58:21 +0000390 unsigned Reg = MO.getReg();
391 O << '$' << MipsInstPrinter::getRegisterName(Reg);
392 return false;
393 }
394 return true;
395 }
Jack Carter9a119942012-07-11 21:41:49 +0000396
397 unsigned RegOp = OpNum;
398 if (!Subtarget->isGP64bit()){
Jack Carterbb789302012-07-10 22:41:20 +0000399 // Endianess reverses which register holds the high or low value
Jack Cartera0f14af2012-07-18 06:41:36 +0000400 // between M and L.
Jack Carterbb789302012-07-10 22:41:20 +0000401 switch(ExtraCode[0]) {
Jack Cartera0f14af2012-07-18 06:41:36 +0000402 case 'M':
403 RegOp = (Subtarget->isLittle()) ? OpNum + 1 : OpNum;
Jack Carterbb789302012-07-10 22:41:20 +0000404 break;
405 case 'L':
Jack Cartera0f14af2012-07-18 06:41:36 +0000406 RegOp = (Subtarget->isLittle()) ? OpNum : OpNum + 1;
407 break;
408 case 'D': // Always the second part
409 RegOp = OpNum + 1;
Jack Carterbb789302012-07-10 22:41:20 +0000410 }
411 if (RegOp >= MI->getNumOperands())
412 return true;
413 const MachineOperand &MO = MI->getOperand(RegOp);
414 if (!MO.isReg())
415 return true;
416 unsigned Reg = MO.getReg();
417 O << '$' << MipsInstPrinter::getRegisterName(Reg);
418 return false;
Jack Carter244a84e2012-07-05 23:58:21 +0000419 }
Eric Christopher05b7a502012-05-10 21:48:22 +0000420 }
Jack Carter020f07f2012-07-06 02:44:22 +0000421 }
422 }
Eric Christopher05b7a502012-05-10 21:48:22 +0000423
424 printOperand(MI, OpNum, O);
Bruno Cardoso Lopes91ef8492008-08-02 19:42:36 +0000425 return false;
426}
427
Akira Hatanaka21afc632011-06-21 00:40:49 +0000428bool MipsAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
429 unsigned OpNum, unsigned AsmVariant,
430 const char *ExtraCode,
431 raw_ostream &O) {
Jack Cartera9a5c532013-04-09 23:19:50 +0000432 int Offset = 0;
433 // Currently we are expecting either no ExtraCode or 'D'
434 if (ExtraCode) {
435 if (ExtraCode[0] == 'D')
436 Offset = 4;
437 else
438 return true; // Unknown modifier.
439 }
Jia Liubb481f82012-02-28 07:46:26 +0000440
Akira Hatanaka21afc632011-06-21 00:40:49 +0000441 const MachineOperand &MO = MI->getOperand(OpNum);
442 assert(MO.isReg() && "unexpected inline asm memory operand");
Jack Cartera9a5c532013-04-09 23:19:50 +0000443 O << Offset << "($" << MipsInstPrinter::getRegisterName(MO.getReg()) << ")";
Jack Carter7c3cd4d2012-06-28 01:33:40 +0000444
Akira Hatanaka21afc632011-06-21 00:40:49 +0000445 return false;
446}
447
Chris Lattner35c33bd2010-04-04 04:47:45 +0000448void MipsAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
449 raw_ostream &O) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000450 const MachineOperand &MO = MI->getOperand(opNum);
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000451 bool closeP = false;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000452
Bruno Cardoso Lopesc517cb02009-09-01 17:27:58 +0000453 if (MO.getTargetFlags())
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000454 closeP = true;
Bruno Cardoso Lopesc517cb02009-09-01 17:27:58 +0000455
456 switch(MO.getTargetFlags()) {
457 case MipsII::MO_GPREL: O << "%gp_rel("; break;
458 case MipsII::MO_GOT_CALL: O << "%call16("; break;
Akira Hatanakae2e436a2011-04-01 21:41:06 +0000459 case MipsII::MO_GOT: O << "%got("; break;
460 case MipsII::MO_ABS_HI: O << "%hi("; break;
461 case MipsII::MO_ABS_LO: O << "%lo("; break;
Bruno Cardoso Lopesd9796862011-05-31 02:53:58 +0000462 case MipsII::MO_TLSGD: O << "%tlsgd("; break;
463 case MipsII::MO_GOTTPREL: O << "%gottprel("; break;
464 case MipsII::MO_TPREL_HI: O << "%tprel_hi("; break;
465 case MipsII::MO_TPREL_LO: O << "%tprel_lo("; break;
Akira Hatanakae33ca9c2011-09-22 03:09:07 +0000466 case MipsII::MO_GPOFF_HI: O << "%hi(%neg(%gp_rel("; break;
467 case MipsII::MO_GPOFF_LO: O << "%lo(%neg(%gp_rel("; break;
468 case MipsII::MO_GOT_DISP: O << "%got_disp("; break;
469 case MipsII::MO_GOT_PAGE: O << "%got_page("; break;
470 case MipsII::MO_GOT_OFST: O << "%got_ofst("; break;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000471 }
Bruno Cardoso Lopesc517cb02009-09-01 17:27:58 +0000472
Chris Lattner762ccea2009-09-13 20:31:40 +0000473 switch (MO.getType()) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000474 case MachineOperand::MO_Register:
Akira Hatanaka794bf172011-07-07 23:56:50 +0000475 O << '$'
Benjamin Kramer59085362011-11-06 20:37:06 +0000476 << StringRef(MipsInstPrinter::getRegisterName(MO.getReg())).lower();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000477 break;
478
479 case MachineOperand::MO_Immediate:
Akira Hatanakace98deb2011-05-24 21:22:21 +0000480 O << MO.getImm();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000481 break;
482
483 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000484 O << *MO.getMBB()->getSymbol();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000485 return;
486
487 case MachineOperand::MO_GlobalAddress:
Chris Lattnerd62f1b42010-03-12 21:19:23 +0000488 O << *Mang->getSymbol(MO.getGlobal());
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000489 break;
490
Bruno Cardoso Lopesca8a2aa2011-03-04 20:01:52 +0000491 case MachineOperand::MO_BlockAddress: {
Akira Hatanaka864f6602012-06-14 21:10:56 +0000492 MCSymbol *BA = GetBlockAddressSymbol(MO.getBlockAddress());
Bruno Cardoso Lopesca8a2aa2011-03-04 20:01:52 +0000493 O << BA->getName();
494 break;
495 }
496
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000497 case MachineOperand::MO_ExternalSymbol:
Chris Lattner10b318b2010-01-17 21:43:43 +0000498 O << *GetExternalSymbolSymbol(MO.getSymbolName());
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000499 break;
500
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000501 case MachineOperand::MO_JumpTableIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000502 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner12164412010-01-16 00:21:18 +0000503 << '_' << MO.getIndex();
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000504 break;
505
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000506 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000507 O << MAI->getPrivateGlobalPrefix() << "CPI"
Chris Lattner8aa797a2007-12-30 23:10:15 +0000508 << getFunctionNumber() << "_" << MO.getIndex();
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000509 if (MO.getOffset())
510 O << "+" << MO.getOffset();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000511 break;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000512
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000513 default:
Torok Edwinc23197a2009-07-14 16:55:14 +0000514 llvm_unreachable("<unknown operand type>");
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000515 }
516
517 if (closeP) O << ")";
518}
519
Chris Lattner35c33bd2010-04-04 04:47:45 +0000520void MipsAsmPrinter::printUnsignedImm(const MachineInstr *MI, int opNum,
521 raw_ostream &O) {
Bruno Cardoso Lopes739e4412008-08-13 07:13:40 +0000522 const MachineOperand &MO = MI->getOperand(opNum);
Devang Patela00adba2010-04-27 22:24:37 +0000523 if (MO.isImm())
Bruno Cardoso Lopes739e4412008-08-13 07:13:40 +0000524 O << (unsigned short int)MO.getImm();
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000525 else
Chris Lattner35c33bd2010-04-04 04:47:45 +0000526 printOperand(MI, opNum, O);
Bruno Cardoso Lopes739e4412008-08-13 07:13:40 +0000527}
528
529void MipsAsmPrinter::
Akira Hatanaka03236be2011-07-07 20:54:20 +0000530printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &O) {
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000531 // Load/Store memory operands -- imm($reg)
532 // If PIC target the target is loaded as the
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000533 // pattern lw $25,%call16($28)
Chris Lattner35c33bd2010-04-04 04:47:45 +0000534 printOperand(MI, opNum+1, O);
Akira Hatanakad3ac47f2011-07-07 18:57:00 +0000535 O << "(";
536 printOperand(MI, opNum, O);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000537 O << ")";
538}
539
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000540void MipsAsmPrinter::
Akira Hatanaka03236be2011-07-07 20:54:20 +0000541printMemOperandEA(const MachineInstr *MI, int opNum, raw_ostream &O) {
542 // when using stack locations for not load/store instructions
543 // print the same way as all normal 3 operand instructions.
544 printOperand(MI, opNum, O);
545 O << ", ";
546 printOperand(MI, opNum+1, O);
547 return;
548}
549
550void MipsAsmPrinter::
Chris Lattner35c33bd2010-04-04 04:47:45 +0000551printFCCOperand(const MachineInstr *MI, int opNum, raw_ostream &O,
552 const char *Modifier) {
Akira Hatanaka864f6602012-06-14 21:10:56 +0000553 const MachineOperand &MO = MI->getOperand(opNum);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000554 O << Mips::MipsFCCToString((Mips::CondCode)MO.getImm());
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +0000555}
556
Bob Wilson812209a2009-09-30 22:06:26 +0000557void MipsAsmPrinter::EmitStartOfAsmFile(Module &M) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +0000558 // FIXME: Use SwitchSection.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000559
Jack Carter571dd982013-06-18 19:47:15 +0000560 // TODO: Need to add -mabicalls and -mno-abicalls flags.
561 // Currently we assume that -mabicalls is the default.
562 if (OutStreamer.hasRawTextSupport()) {
563 OutStreamer.EmitRawText(StringRef("\t.abicalls"));
564 Reloc::Model RM = Subtarget->getRelocationModel();
Akira Hatanaka842cfc92013-06-26 19:08:49 +0000565 if (RM == Reloc::Static && !Subtarget->hasMips64())
Jack Carter571dd982013-06-18 19:47:15 +0000566 OutStreamer.EmitRawText(StringRef("\t.option\tpic0"));
567 }
568
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000569 // Tell the assembler which ABI we are using
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000570 if (OutStreamer.hasRawTextSupport())
Akira Hatanaka82099682011-12-19 19:52:25 +0000571 OutStreamer.EmitRawText("\t.section .mdebug." +
572 Twine(getCurrentABIString()));
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000573
574 // TODO: handle O64 ABI
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000575 if (OutStreamer.hasRawTextSupport()) {
576 if (Subtarget->isABI_EABI()) {
577 if (Subtarget->isGP32bit())
578 OutStreamer.EmitRawText(StringRef("\t.section .gcc_compiled_long32"));
579 else
580 OutStreamer.EmitRawText(StringRef("\t.section .gcc_compiled_long64"));
581 }
Benjamin Kramer75e818a2010-04-05 10:17:15 +0000582 }
Bruno Cardoso Lopes43d526d2008-07-14 14:42:54 +0000583
584 // return to previous section
Bruno Cardoso Lopesce1a5382011-11-08 22:26:47 +0000585 if (OutStreamer.hasRawTextSupport())
586 OutStreamer.EmitRawText(StringRef("\t.previous"));
Jack Carterc91cbb92013-01-18 21:20:38 +0000587
588}
589
590void MipsAsmPrinter::EmitEndOfAsmFile(Module &M) {
591
Jack Carterdba14302013-01-30 02:16:36 +0000592 if (OutStreamer.hasRawTextSupport()) return;
593
Jack Carterc91cbb92013-01-18 21:20:38 +0000594 // Emit Mips ELF register info
595 Subtarget->getMReginfo().emitMipsReginfoSectionCG(
596 OutStreamer, getObjFileLowering(), *Subtarget);
Jack Carter9c5b94b2013-02-05 07:47:41 +0000597 if (MipsELFStreamer *MES = dyn_cast<MipsELFStreamer>(&OutStreamer))
598 MES->emitELFHeaderFlagsCG(*Subtarget);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000599}
600
Akira Hatanakac4f24eb2011-07-01 01:04:43 +0000601void MipsAsmPrinter::PrintDebugValueComment(const MachineInstr *MI,
602 raw_ostream &OS) {
603 // TODO: implement
604}
605
Bob Wilsona96751f2009-06-23 23:59:40 +0000606// Force static initialization.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000607extern "C" void LLVMInitializeMipsAsmPrinter() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +0000608 RegisterAsmPrinter<MipsAsmPrinter> X(TheMipsTarget);
609 RegisterAsmPrinter<MipsAsmPrinter> Y(TheMipselTarget);
Akira Hatanaka24648102011-09-21 03:00:58 +0000610 RegisterAsmPrinter<MipsAsmPrinter> A(TheMips64Target);
611 RegisterAsmPrinter<MipsAsmPrinter> B(TheMips64elTarget);
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000612}