blob: d5df855a5ecd50b25c9ebbd675de589f6d249e2e [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsAsmPrinter.cpp - Mips LLVM Assembly Printer -------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Lopes35e43c42007-06-06 07:42:06 +00007//
Akira Hatanakae2489122011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-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 Hatanakae2489122011-04-15 21:51:11 +000013//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000014
15#define DEBUG_TYPE "mips-asm-printer"
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000016#include "InstPrinter/MipsInstPrinter.h"
Bruno Cardoso Lopesc85e3ff2011-11-11 22:58:42 +000017#include "MCTargetDesc/MipsBaseInfo.h"
Sasa Stankovic8c5736b2014-02-28 10:00:38 +000018#include "MCTargetDesc/MipsMCNaCl.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "Mips.h"
Jack Carterc1b17ed2013-01-18 21:20:38 +000020#include "MipsAsmPrinter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "MipsInstrInfo.h"
22#include "MipsMCInstLower.h"
Rafael Espindolaa17151a2013-10-08 13:08:17 +000023#include "MipsTargetStreamer.h"
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +000024#include "llvm/ADT/SmallString.h"
25#include "llvm/ADT/StringExtras.h"
26#include "llvm/ADT/Twine.h"
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000027#include "llvm/CodeGen/MachineConstantPool.h"
Bruno Cardoso Lopesbcda5e22007-07-11 23:24:41 +000028#include "llvm/CodeGen/MachineFrameInfo.h"
Jack Carterb2af5122012-07-05 23:58:21 +000029#include "llvm/CodeGen/MachineFunctionPass.h"
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000030#include "llvm/CodeGen/MachineInstr.h"
Sasa Stankovic8c5736b2014-02-28 10:00:38 +000031#include "llvm/CodeGen/MachineJumpTableInfo.h"
Akira Hatanaka2fcc1cf2011-08-12 21:30:06 +000032#include "llvm/CodeGen/MachineMemOperand.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000033#include "llvm/IR/BasicBlock.h"
34#include "llvm/IR/DataLayout.h"
35#include "llvm/IR/InlineAsm.h"
36#include "llvm/IR/Instructions.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000037#include "llvm/IR/Mangler.h"
Chris Lattner7b26fce2009-08-22 20:48:53 +000038#include "llvm/MC/MCAsmInfo.h"
Rafael Espindola2ab7ea72014-01-27 01:33:33 +000039#include "llvm/MC/MCContext.h"
Rafael Espindolaac4ad252013-10-05 16:42:21 +000040#include "llvm/MC/MCELFStreamer.h"
Reed Kotler4cdaa7d2014-02-14 19:16:39 +000041#include "llvm/MC/MCExpr.h"
Akira Hatanaka9c6028f2011-07-07 23:56:50 +000042#include "llvm/MC/MCInst.h"
Reed Kotler4cdaa7d2014-02-14 19:16:39 +000043#include "llvm/MC/MCSection.h"
Rafael Espindola2ab7ea72014-01-27 01:33:33 +000044#include "llvm/MC/MCSectionELF.h"
Chris Lattner4cd44982009-09-13 17:14:04 +000045#include "llvm/MC/MCSymbol.h"
Jack Carterab3cb422013-02-19 22:04:37 +000046#include "llvm/Support/ELF.h"
Jack Carterb2af5122012-07-05 23:58:21 +000047#include "llvm/Support/TargetRegistry.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000048#include "llvm/Support/raw_ostream.h"
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +000049#include "llvm/Target/TargetLoweringObjectFile.h"
Bruno Cardoso Lopesb4391322007-11-12 19:49:57 +000050#include "llvm/Target/TargetOptions.h"
Reed Kotler4cdaa7d2014-02-14 19:16:39 +000051#include <string>
Akira Hatanakaf2bcad92011-07-01 01:04:43 +000052
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000053using namespace llvm;
54
Rafael Espindolaa17151a2013-10-08 13:08:17 +000055MipsTargetStreamer &MipsAsmPrinter::getTargetStreamer() {
Rafael Espindola4a1a3602014-01-14 01:21:46 +000056 return static_cast<MipsTargetStreamer &>(*OutStreamer.getTargetStreamer());
Rafael Espindolaa17151a2013-10-08 13:08:17 +000057}
58
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +000059bool MipsAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Reed Kotler1595f362013-04-09 19:46:01 +000060 // Initialize TargetLoweringObjectFile.
61 if (Subtarget->allowMixed16_32())
62 const_cast<TargetLoweringObjectFile&>(getObjFileLowering())
63 .Initialize(OutContext, TM);
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +000064 MipsFI = MF.getInfo<MipsFunctionInfo>();
Reed Kotler4cdaa7d2014-02-14 19:16:39 +000065 if (Subtarget->inMips16Mode())
66 for (std::map<
67 const char *,
68 const llvm::Mips16HardFloatInfo::FuncSignature *>::const_iterator
69 it = MipsFI->StubsNeeded.begin();
70 it != MipsFI->StubsNeeded.end(); ++it) {
71 const char *Symbol = it->first;
72 const llvm::Mips16HardFloatInfo::FuncSignature *Signature = it->second;
73 if (StubsNeeded.find(Symbol) == StubsNeeded.end())
74 StubsNeeded[Symbol] = Signature;
75 }
Reed Kotler91ae9822013-10-27 21:57:36 +000076 MCP = MF.getConstantPool();
Sasa Stankovic8c5736b2014-02-28 10:00:38 +000077
78 // In NaCl, all indirect jump targets must be aligned to bundle size.
79 if (Subtarget->isTargetNaCl())
80 NaClAlignIndirectJumpTargets(MF);
81
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +000082 AsmPrinter::runOnMachineFunction(MF);
83 return true;
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +000084}
85
Akira Hatanaka42a35242012-09-27 01:59:07 +000086bool MipsAsmPrinter::lowerOperand(const MachineOperand &MO, MCOperand &MCOp) {
87 MCOp = MCInstLowering.LowerOperand(MO);
88 return MCOp.isValid();
89}
90
91#include "MipsGenMCPseudoLowering.inc"
92
Akira Hatanakaddd12652011-07-07 20:10:52 +000093void MipsAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Akira Hatanakaddd12652011-07-07 20:10:52 +000094 if (MI->isDebugValue()) {
Bruno Cardoso Lopescd1d4472011-12-30 21:09:41 +000095 SmallString<128> Str;
96 raw_svector_ostream OS(Str);
97
Akira Hatanakaddd12652011-07-07 20:10:52 +000098 PrintDebugValueComment(MI, OS);
99 return;
100 }
101
Reed Kotler91ae9822013-10-27 21:57:36 +0000102 // If we just ended a constant pool, mark it as such.
103 if (InConstantPool && MI->getOpcode() != Mips::CONSTPOOL_ENTRY) {
104 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
105 InConstantPool = false;
106 }
107 if (MI->getOpcode() == Mips::CONSTPOOL_ENTRY) {
108 // CONSTPOOL_ENTRY - This instruction represents a floating
109 //constant pool in the function. The first operand is the ID#
110 // for this instruction, the second is the index into the
111 // MachineConstantPool that this is, the third is the size in
112 // bytes of this constant pool entry.
113 // The required alignment is specified on the basic block holding this MI.
114 //
115 unsigned LabelId = (unsigned)MI->getOperand(0).getImm();
116 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex();
117
118 // If this is the first entry of the pool, mark it.
119 if (!InConstantPool) {
120 OutStreamer.EmitDataRegion(MCDR_DataRegion);
121 InConstantPool = true;
122 }
123
124 OutStreamer.EmitLabel(GetCPISymbol(LabelId));
125
126 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx];
127 if (MCPE.isMachineConstantPoolEntry())
128 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
129 else
130 EmitGlobalConstant(MCPE.Val.ConstVal);
131 return;
132 }
133
Rafael Espindola14d02fe2014-01-25 15:06:56 +0000134
Akira Hatanaka5ac78682012-06-13 23:25:52 +0000135 MachineBasicBlock::const_instr_iterator I = MI;
136 MachineBasicBlock::const_instr_iterator E = MI->getParent()->instr_end();
137
138 do {
Akira Hatanaka556135d2013-02-06 21:50:15 +0000139 // Do any auto-generated pseudo lowerings.
140 if (emitPseudoExpansionLowering(OutStreamer, &*I))
141 continue;
Jack Carterc20a21b2012-08-28 19:07:39 +0000142
Reed Kotler76c9bcd2013-02-15 21:05:58 +0000143 // The inMips16Mode() test is not permanent.
144 // Some instructions are marked as pseudo right now which
145 // would make the test fail for the wrong reason but
146 // that will be fixed soon. We need this here because we are
147 // removing another test for this situation downstream in the
148 // callchain.
149 //
150 if (I->isPseudo() && !Subtarget->inMips16Mode())
151 llvm_unreachable("Pseudo opcode found in EmitInstruction()");
152
Akira Hatanaka556135d2013-02-06 21:50:15 +0000153 MCInst TmpInst0;
154 MCInstLowering.Lower(I, TmpInst0);
David Woodhousee6c13e42014-01-28 23:12:42 +0000155 EmitToStreamer(OutStreamer, TmpInst0);
Akira Hatanaka556135d2013-02-06 21:50:15 +0000156 } while ((++I != E) && I->isInsideBundle()); // Delay slot check
Akira Hatanakaddd12652011-07-07 20:10:52 +0000157}
158
Akira Hatanakae2489122011-04-15 21:51:11 +0000159//===----------------------------------------------------------------------===//
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000160//
161// Mips Asm Directives
162//
163// -- Frame directive "frame Stackpointer, Stacksize, RARegister"
164// Describe the stack frame.
165//
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000166// -- Mask directives "(f)mask bitmask, offset"
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000167// Tells the assembler which registers are saved and where.
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000168// bitmask - contain a little endian bitset indicating which registers are
169// saved on function prologue (e.g. with a 0x80000000 mask, the
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000170// assembler knows the register 31 (RA) is saved at prologue.
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000171// offset - the position before stack pointer subtraction indicating where
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000172// the first saved register on prologue is located. (e.g. with a
173//
174// Consider the following function prologue:
175//
Bill Wendling97925ec2008-02-27 06:33:05 +0000176// .frame $fp,48,$ra
177// .mask 0xc0000000,-8
178// addiu $sp, $sp, -48
179// sw $ra, 40($sp)
180// sw $fp, 36($sp)
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000181//
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000182// With a 0xc0000000 mask, the assembler knows the register 31 (RA) and
183// 30 (FP) are saved at prologue. As the save order on prologue is from
184// left to right, RA is saved first. A -8 offset means that after the
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000185// stack pointer subtration, the first register in the mask (RA) will be
186// saved at address 48-8=40.
187//
Akira Hatanakae2489122011-04-15 21:51:11 +0000188//===----------------------------------------------------------------------===//
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000189
Akira Hatanakae2489122011-04-15 21:51:11 +0000190//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000191// Mask directives
Akira Hatanakae2489122011-04-15 21:51:11 +0000192//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000193
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000194// Create a bitmask with all callee saved registers for CPU or Floating Point
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +0000195// registers. For CPU registers consider RA, GP and FP for saving if necessary.
Rafael Espindola25fa2912014-01-27 04:33:11 +0000196void MipsAsmPrinter::printSavedRegsBitmask() {
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +0000197 // CPU and FPU Saved Registers Bitmasks
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000198 unsigned CPUBitmask = 0, FPUBitmask = 0;
199 int CPUTopSavedRegOff, FPUTopSavedRegOff;
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000200
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +0000201 // Set the CPU and FPU Bitmasks
Chris Lattnercc9a6f02010-01-28 06:22:43 +0000202 const MachineFrameInfo *MFI = MF->getFrameInfo();
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000203 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000204 // size of stack area to which FP callee-saved regs are saved.
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000205 unsigned CPURegSize = Mips::GPR32RegClass.getSize();
Craig Topperc7242e02012-04-20 07:30:17 +0000206 unsigned FGR32RegSize = Mips::FGR32RegClass.getSize();
207 unsigned AFGR64RegSize = Mips::AFGR64RegClass.getSize();
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000208 bool HasAFGR64Reg = false;
209 unsigned CSFPRegsSize = 0;
210 unsigned i, e = CSI.size();
211
212 // Set FPU Bitmask.
213 for (i = 0; i != e; ++i) {
Rafael Espindolaf2dffce2010-06-02 20:02:30 +0000214 unsigned Reg = CSI[i].getReg();
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000215 if (Mips::GPR32RegClass.contains(Reg))
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000216 break;
217
Akira Hatanaka5d6faed2012-12-10 20:04:40 +0000218 unsigned RegNum = TM.getRegisterInfo()->getEncodingValue(Reg);
Craig Topperc7242e02012-04-20 07:30:17 +0000219 if (Mips::AFGR64RegClass.contains(Reg)) {
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000220 FPUBitmask |= (3 << RegNum);
221 CSFPRegsSize += AFGR64RegSize;
222 HasAFGR64Reg = true;
223 continue;
224 }
225
226 FPUBitmask |= (1 << RegNum);
227 CSFPRegsSize += FGR32RegSize;
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +0000228 }
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000229
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000230 // Set CPU Bitmask.
231 for (; i != e; ++i) {
232 unsigned Reg = CSI[i].getReg();
Akira Hatanaka5d6faed2012-12-10 20:04:40 +0000233 unsigned RegNum = TM.getRegisterInfo()->getEncodingValue(Reg);
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000234 CPUBitmask |= (1 << RegNum);
235 }
Anton Korobeynikov0eecf5d2010-11-18 21:19:35 +0000236
Akira Hatanaka90d96f42011-05-23 20:34:30 +0000237 // FP Regs are saved right below where the virtual frame pointer points to.
238 FPUTopSavedRegOff = FPUBitmask ?
239 (HasAFGR64Reg ? -AFGR64RegSize : -FGR32RegSize) : 0;
240
241 // CPU Regs are saved below FP Regs.
242 CPUTopSavedRegOff = CPUBitmask ? -CSFPRegsSize - CPURegSize : 0;
Bruno Cardoso Lopescfd16382007-08-28 05:06:17 +0000243
Rafael Espindola25fa2912014-01-27 04:33:11 +0000244 MipsTargetStreamer &TS = getTargetStreamer();
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +0000245 // Print CPUBitmask
Rafael Espindola25fa2912014-01-27 04:33:11 +0000246 TS.emitMask(CPUBitmask, CPUTopSavedRegOff);
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +0000247
248 // Print FPUBitmask
Rafael Espindola25fa2912014-01-27 04:33:11 +0000249 TS.emitFMask(FPUBitmask, FPUTopSavedRegOff);
Bruno Cardoso Lopesbcda5e22007-07-11 23:24:41 +0000250}
251
Akira Hatanakae2489122011-04-15 21:51:11 +0000252//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000253// Frame and Set directives
Akira Hatanakae2489122011-04-15 21:51:11 +0000254//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000255
256/// Frame Directive
Chris Lattner5e596182010-04-04 07:05:53 +0000257void MipsAsmPrinter::emitFrameDirective() {
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000258 const TargetRegisterInfo &RI = *TM.getRegisterInfo();
259
Chris Lattnercc9a6f02010-01-28 06:22:43 +0000260 unsigned stackReg = RI.getFrameRegister(*MF);
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000261 unsigned returnReg = RI.getRARegister();
Chris Lattnercc9a6f02010-01-28 06:22:43 +0000262 unsigned stackSize = MF->getFrameInfo()->getStackSize();
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000263
Rafael Espindola054234f2014-01-27 03:53:56 +0000264 getTargetStreamer().emitFrame(stackReg, stackSize, returnReg);
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000265}
266
267/// Emit Set directives.
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000268const char *MipsAsmPrinter::getCurrentABIString() const {
Chris Lattner5e596182010-04-04 07:05:53 +0000269 switch (Subtarget->getTargetABI()) {
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000270 case MipsSubtarget::O32: return "abi32";
Chris Lattner5e596182010-04-04 07:05:53 +0000271 case MipsSubtarget::N32: return "abiN32";
272 case MipsSubtarget::N64: return "abi64";
273 case MipsSubtarget::EABI: return "eabi32"; // TODO: handle eabi64
Dmitri Gribenkoca1e27b2012-09-10 21:26:47 +0000274 default: llvm_unreachable("Unknown Mips ABI");
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000275 }
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000276}
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000277
Chris Lattner5d9fb4b2010-01-27 23:23:58 +0000278void MipsAsmPrinter::EmitFunctionEntryLabel() {
Rafael Espindola6633d572014-01-14 18:57:12 +0000279 MipsTargetStreamer &TS = getTargetStreamer();
Sasa Stankovic8c5736b2014-02-28 10:00:38 +0000280
281 // NaCl sandboxing requires that indirect call instructions are masked.
282 // This means that function entry points should be bundle-aligned.
283 if (Subtarget->isTargetNaCl())
284 EmitAlignment(std::max(MF->getAlignment(), MIPS_NACL_BUNDLE_ALIGN));
285
Rafael Espindola6d5f7ce2014-01-14 04:25:13 +0000286 if (Subtarget->inMicroMipsMode())
Rafael Espindola6633d572014-01-14 18:57:12 +0000287 TS.emitDirectiveSetMicroMips();
288 // leave out until FSF available gas has micromips changes
289 // else
290 // TS.emitDirectiveSetNoMicroMips();
Rafael Espindola6d5f7ce2014-01-14 04:25:13 +0000291
Rafael Espindola6633d572014-01-14 18:57:12 +0000292 if (Subtarget->inMips16Mode())
293 TS.emitDirectiveSetMips16();
294 else
295 TS.emitDirectiveSetNoMips16();
Jack Carterab3cb422013-02-19 22:04:37 +0000296
Rafael Espindola6633d572014-01-14 18:57:12 +0000297 TS.emitDirectiveEnt(*CurrentFnSym);
Chris Lattner5d9fb4b2010-01-27 23:23:58 +0000298 OutStreamer.EmitLabel(CurrentFnSym);
299}
300
Chris Lattnercc9a6f02010-01-28 06:22:43 +0000301/// EmitFunctionBodyStart - Targets can override this to emit stuff before
302/// the first basic block in the function.
303void MipsAsmPrinter::EmitFunctionBodyStart() {
Rafael Espindolaeb0a8af2014-01-26 05:06:48 +0000304 MipsTargetStreamer &TS = getTargetStreamer();
305
Rafael Espindola7d78b2a2013-10-29 16:24:21 +0000306 MCInstLowering.Initialize(&MF->getContext());
Akira Hatanaka34ee3ff2012-03-28 00:22:50 +0000307
Reed Kotler0f2b10e2013-05-03 23:17:24 +0000308 bool IsNakedFunction =
309 MF->getFunction()->
310 getAttributes().hasAttribute(AttributeSet::FunctionIndex,
311 Attribute::Naked);
312 if (!IsNakedFunction)
313 emitFrameDirective();
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000314
Rafael Espindola25fa2912014-01-27 04:33:11 +0000315 if (!IsNakedFunction)
316 printSavedRegsBitmask();
317
Rafael Espindolaeb0a8af2014-01-26 05:06:48 +0000318 if (!Subtarget->inMips16Mode()) {
319 TS.emitDirectiveSetNoReorder();
320 TS.emitDirectiveSetNoMacro();
321 TS.emitDirectiveSetNoAt();
Akira Hatanaka8f3573032012-05-12 00:48:43 +0000322 }
Chris Lattnercc9a6f02010-01-28 06:22:43 +0000323}
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000324
Chris Lattnercc9a6f02010-01-28 06:22:43 +0000325/// EmitFunctionBodyEnd - Targets can override this to emit stuff after
326/// the last basic block in the function.
327void MipsAsmPrinter::EmitFunctionBodyEnd() {
Rafael Espindolaeb0a8af2014-01-26 05:06:48 +0000328 MipsTargetStreamer &TS = getTargetStreamer();
329
Chris Lattnerfd97a332010-01-28 01:48:52 +0000330 // There are instruction for this macros, but they must
331 // always be at the function end, and we can't emit and
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000332 // break with BB logic.
Rafael Espindolaeb0a8af2014-01-26 05:06:48 +0000333 if (!Subtarget->inMips16Mode()) {
334 TS.emitDirectiveSetAt();
335 TS.emitDirectiveSetMacro();
336 TS.emitDirectiveSetReorder();
Bruno Cardoso Lopesd5edb382011-11-08 22:26:47 +0000337 }
Rafael Espindolaeb0a8af2014-01-26 05:06:48 +0000338 TS.emitDirectiveEnd(CurrentFnSym->getName());
Reed Kotler91ae9822013-10-27 21:57:36 +0000339 // Make sure to terminate any constant pools that were at the end
340 // of the function.
341 if (!InConstantPool)
342 return;
343 InConstantPool = false;
344 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000345}
346
Bruno Cardoso Lopes160695f2010-07-20 08:37:04 +0000347/// isBlockOnlyReachableByFallthough - Return true if the basic block has
348/// exactly one predecessor and the control transfer mechanism between
349/// the predecessor and this block is a fall-through.
Akira Hatanakae2489122011-04-15 21:51:11 +0000350bool MipsAsmPrinter::isBlockOnlyReachableByFallthrough(const MachineBasicBlock*
351 MBB) const {
Bruno Cardoso Lopes160695f2010-07-20 08:37:04 +0000352 // The predecessor has to be immediately before this block.
353 const MachineBasicBlock *Pred = *MBB->pred_begin();
354
355 // If the predecessor is a switch statement, assume a jump table
356 // implementation, so it is not a fall through.
357 if (const BasicBlock *bb = Pred->getBasicBlock())
358 if (isa<SwitchInst>(bb->getTerminator()))
359 return false;
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000360
Akira Hatanakae625ba42011-04-01 18:57:38 +0000361 // If this is a landing pad, it isn't a fall through. If it has no preds,
362 // then nothing falls through to it.
363 if (MBB->isLandingPad() || MBB->pred_empty())
364 return false;
365
366 // If there isn't exactly one predecessor, it can't be a fall through.
367 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI;
368 ++PI2;
Jia Liuf54f60f2012-02-28 07:46:26 +0000369
Akira Hatanakae625ba42011-04-01 18:57:38 +0000370 if (PI2 != MBB->pred_end())
Jia Liuf54f60f2012-02-28 07:46:26 +0000371 return false;
Akira Hatanakae625ba42011-04-01 18:57:38 +0000372
373 // The predecessor has to be immediately before this block.
374 if (!Pred->isLayoutSuccessor(MBB))
375 return false;
Jia Liuf54f60f2012-02-28 07:46:26 +0000376
Akira Hatanakae625ba42011-04-01 18:57:38 +0000377 // If the block is completely empty, then it definitely does fall through.
378 if (Pred->empty())
379 return true;
Jia Liuf54f60f2012-02-28 07:46:26 +0000380
Akira Hatanakae625ba42011-04-01 18:57:38 +0000381 // Otherwise, check the last instruction.
382 // Check if the last terminator is an unconditional branch.
383 MachineBasicBlock::const_iterator I = Pred->end();
Evan Cheng7f8e5632011-12-07 07:15:52 +0000384 while (I != Pred->begin() && !(--I)->isTerminator()) ;
Akira Hatanakae625ba42011-04-01 18:57:38 +0000385
Evan Cheng7f8e5632011-12-07 07:15:52 +0000386 return !I->isBarrier();
Bruno Cardoso Lopes160695f2010-07-20 08:37:04 +0000387}
388
Bruno Cardoso Lopes3d4bdcc2008-08-02 19:42:36 +0000389// Print out an operand for an inline asm expression.
Eric Christophered51b9e2012-05-10 21:48:22 +0000390bool MipsAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattner3bb09762010-04-04 05:29:35 +0000391 unsigned AsmVariant,const char *ExtraCode,
392 raw_ostream &O) {
Bruno Cardoso Lopes3d4bdcc2008-08-02 19:42:36 +0000393 // Does this asm operand have a single letter operand modifier?
Eric Christophered51b9e2012-05-10 21:48:22 +0000394 if (ExtraCode && ExtraCode[0]) {
395 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Bruno Cardoso Lopes3d4bdcc2008-08-02 19:42:36 +0000396
Eric Christophered51b9e2012-05-10 21:48:22 +0000397 const MachineOperand &MO = MI->getOperand(OpNum);
398 switch (ExtraCode[0]) {
Eric Christopherbc5d2492012-05-19 00:51:56 +0000399 default:
Jack Carterb2fd5f62012-06-21 17:14:46 +0000400 // See if this is a generic print operand
401 return AsmPrinter::PrintAsmOperand(MI,OpNum,AsmVariant,ExtraCode,O);
Eric Christopherbc5d2492012-05-19 00:51:56 +0000402 case 'X': // hex const int
403 if ((MO.getType()) != MachineOperand::MO_Immediate)
404 return true;
405 O << "0x" << StringRef(utohexstr(MO.getImm())).lower();
406 return false;
407 case 'x': // hex const int (low 16 bits)
408 if ((MO.getType()) != MachineOperand::MO_Immediate)
409 return true;
410 O << "0x" << StringRef(utohexstr(MO.getImm() & 0xffff)).lower();
411 return false;
412 case 'd': // decimal const int
413 if ((MO.getType()) != MachineOperand::MO_Immediate)
414 return true;
415 O << MO.getImm();
416 return false;
Eric Christopherf481ab32012-05-30 19:05:19 +0000417 case 'm': // decimal const int minus 1
418 if ((MO.getType()) != MachineOperand::MO_Immediate)
419 return true;
420 O << MO.getImm() - 1;
421 return false;
Jack Carter27747b52012-06-28 20:46:26 +0000422 case 'z': {
423 // $0 if zero, regular printing otherwise
Jack Carter6c0bc0b2012-06-28 01:33:40 +0000424 if (MO.getType() != MachineOperand::MO_Immediate)
425 return true;
426 int64_t Val = MO.getImm();
427 if (Val)
428 O << Val;
429 else
430 O << "$0";
431 return false;
432 }
Jack Cartere8cb2fc2012-07-10 22:41:20 +0000433 case 'D': // Second part of a double word register operand
434 case 'L': // Low order register of a double word register operand
Jack Cartera62ba822012-07-18 06:41:36 +0000435 case 'M': // High order register of a double word register operand
Jack Cartere8cb2fc2012-07-10 22:41:20 +0000436 {
Jack Carterb2af5122012-07-05 23:58:21 +0000437 if (OpNum == 0)
438 return true;
439 const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1);
440 if (!FlagsOP.isImm())
441 return true;
442 unsigned Flags = FlagsOP.getImm();
443 unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags);
Jack Carter2ab73b12012-07-06 02:44:22 +0000444 // Number of registers represented by this operand. We are looking
445 // for 2 for 32 bit mode and 1 for 64 bit mode.
Jack Carterb2af5122012-07-05 23:58:21 +0000446 if (NumVals != 2) {
Jack Carter2ab73b12012-07-06 02:44:22 +0000447 if (Subtarget->isGP64bit() && NumVals == 1 && MO.isReg()) {
Jack Carterb2af5122012-07-05 23:58:21 +0000448 unsigned Reg = MO.getReg();
449 O << '$' << MipsInstPrinter::getRegisterName(Reg);
450 return false;
451 }
452 return true;
453 }
Jack Carter42ebf982012-07-11 21:41:49 +0000454
455 unsigned RegOp = OpNum;
456 if (!Subtarget->isGP64bit()){
Jack Cartere8cb2fc2012-07-10 22:41:20 +0000457 // Endianess reverses which register holds the high or low value
Jack Cartera62ba822012-07-18 06:41:36 +0000458 // between M and L.
Jack Cartere8cb2fc2012-07-10 22:41:20 +0000459 switch(ExtraCode[0]) {
Jack Cartera62ba822012-07-18 06:41:36 +0000460 case 'M':
461 RegOp = (Subtarget->isLittle()) ? OpNum + 1 : OpNum;
Jack Cartere8cb2fc2012-07-10 22:41:20 +0000462 break;
463 case 'L':
Jack Cartera62ba822012-07-18 06:41:36 +0000464 RegOp = (Subtarget->isLittle()) ? OpNum : OpNum + 1;
465 break;
466 case 'D': // Always the second part
467 RegOp = OpNum + 1;
Jack Cartere8cb2fc2012-07-10 22:41:20 +0000468 }
469 if (RegOp >= MI->getNumOperands())
470 return true;
471 const MachineOperand &MO = MI->getOperand(RegOp);
472 if (!MO.isReg())
473 return true;
474 unsigned Reg = MO.getReg();
475 O << '$' << MipsInstPrinter::getRegisterName(Reg);
476 return false;
Jack Carterb2af5122012-07-05 23:58:21 +0000477 }
Eric Christophered51b9e2012-05-10 21:48:22 +0000478 }
Daniel Sanders8b59af12013-11-12 12:56:01 +0000479 case 'w':
480 // Print MSA registers for the 'f' constraint
481 // In LLVM, the 'w' modifier doesn't need to do anything.
482 // We can just call printOperand as normal.
483 break;
Jack Carter2ab73b12012-07-06 02:44:22 +0000484 }
485 }
Eric Christophered51b9e2012-05-10 21:48:22 +0000486
487 printOperand(MI, OpNum, O);
Bruno Cardoso Lopes3d4bdcc2008-08-02 19:42:36 +0000488 return false;
489}
490
Akira Hatanaka4c406e72011-06-21 00:40:49 +0000491bool MipsAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
492 unsigned OpNum, unsigned AsmVariant,
493 const char *ExtraCode,
494 raw_ostream &O) {
Jack Carterb04e3572013-04-09 23:19:50 +0000495 int Offset = 0;
496 // Currently we are expecting either no ExtraCode or 'D'
497 if (ExtraCode) {
498 if (ExtraCode[0] == 'D')
499 Offset = 4;
500 else
501 return true; // Unknown modifier.
502 }
Jia Liuf54f60f2012-02-28 07:46:26 +0000503
Akira Hatanaka4c406e72011-06-21 00:40:49 +0000504 const MachineOperand &MO = MI->getOperand(OpNum);
505 assert(MO.isReg() && "unexpected inline asm memory operand");
Jack Carterb04e3572013-04-09 23:19:50 +0000506 O << Offset << "($" << MipsInstPrinter::getRegisterName(MO.getReg()) << ")";
Jack Carter6c0bc0b2012-06-28 01:33:40 +0000507
Akira Hatanaka4c406e72011-06-21 00:40:49 +0000508 return false;
509}
510
Chris Lattner76c564b2010-04-04 04:47:45 +0000511void MipsAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
512 raw_ostream &O) {
Rafael Espindola58873562014-01-03 19:21:54 +0000513 const DataLayout *DL = TM.getDataLayout();
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000514 const MachineOperand &MO = MI->getOperand(opNum);
Bruno Cardoso Lopes3e0d0302007-11-05 03:02:32 +0000515 bool closeP = false;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000516
Bruno Cardoso Lopes0f20a5b2009-09-01 17:27:58 +0000517 if (MO.getTargetFlags())
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000518 closeP = true;
Bruno Cardoso Lopes0f20a5b2009-09-01 17:27:58 +0000519
520 switch(MO.getTargetFlags()) {
521 case MipsII::MO_GPREL: O << "%gp_rel("; break;
522 case MipsII::MO_GOT_CALL: O << "%call16("; break;
Akira Hatanaka56d9ef52011-04-01 21:41:06 +0000523 case MipsII::MO_GOT: O << "%got("; break;
524 case MipsII::MO_ABS_HI: O << "%hi("; break;
525 case MipsII::MO_ABS_LO: O << "%lo("; break;
Bruno Cardoso Lopesbf3c1252011-05-31 02:53:58 +0000526 case MipsII::MO_TLSGD: O << "%tlsgd("; break;
527 case MipsII::MO_GOTTPREL: O << "%gottprel("; break;
528 case MipsII::MO_TPREL_HI: O << "%tprel_hi("; break;
529 case MipsII::MO_TPREL_LO: O << "%tprel_lo("; break;
Akira Hatanaka25ce3642011-09-22 03:09:07 +0000530 case MipsII::MO_GPOFF_HI: O << "%hi(%neg(%gp_rel("; break;
531 case MipsII::MO_GPOFF_LO: O << "%lo(%neg(%gp_rel("; break;
532 case MipsII::MO_GOT_DISP: O << "%got_disp("; break;
533 case MipsII::MO_GOT_PAGE: O << "%got_page("; break;
534 case MipsII::MO_GOT_OFST: O << "%got_ofst("; break;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000535 }
Bruno Cardoso Lopes0f20a5b2009-09-01 17:27:58 +0000536
Chris Lattnereb2cc682009-09-13 20:31:40 +0000537 switch (MO.getType()) {
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000538 case MachineOperand::MO_Register:
Akira Hatanaka9c6028f2011-07-07 23:56:50 +0000539 O << '$'
Benjamin Kramer20baffb2011-11-06 20:37:06 +0000540 << StringRef(MipsInstPrinter::getRegisterName(MO.getReg())).lower();
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000541 break;
542
543 case MachineOperand::MO_Immediate:
Akira Hatanaka2db176c2011-05-24 21:22:21 +0000544 O << MO.getImm();
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000545 break;
546
547 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner29bdac42010-03-13 21:04:28 +0000548 O << *MO.getMBB()->getSymbol();
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000549 return;
550
551 case MachineOperand::MO_GlobalAddress:
Rafael Espindola79858aa2013-10-29 17:07:16 +0000552 O << *getSymbol(MO.getGlobal());
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000553 break;
554
Bruno Cardoso Lopesf8198e42011-03-04 20:01:52 +0000555 case MachineOperand::MO_BlockAddress: {
Akira Hatanaka5fd22482012-06-14 21:10:56 +0000556 MCSymbol *BA = GetBlockAddressSymbol(MO.getBlockAddress());
Bruno Cardoso Lopesf8198e42011-03-04 20:01:52 +0000557 O << BA->getName();
558 break;
559 }
560
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000561 case MachineOperand::MO_ConstantPoolIndex:
Rafael Espindola58873562014-01-03 19:21:54 +0000562 O << DL->getPrivateGlobalPrefix() << "CPI"
Chris Lattnera5bb3702007-12-30 23:10:15 +0000563 << getFunctionNumber() << "_" << MO.getIndex();
Bruno Cardoso Lopes4713b282009-11-19 06:06:13 +0000564 if (MO.getOffset())
565 O << "+" << MO.getOffset();
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000566 break;
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000567
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000568 default:
Torok Edwinfbcc6632009-07-14 16:55:14 +0000569 llvm_unreachable("<unknown operand type>");
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000570 }
571
572 if (closeP) O << ")";
573}
574
Chris Lattner76c564b2010-04-04 04:47:45 +0000575void MipsAsmPrinter::printUnsignedImm(const MachineInstr *MI, int opNum,
576 raw_ostream &O) {
Bruno Cardoso Lopes92c64ae2008-08-13 07:13:40 +0000577 const MachineOperand &MO = MI->getOperand(opNum);
Devang Patel12f68552010-04-27 22:24:37 +0000578 if (MO.isImm())
Bruno Cardoso Lopes92c64ae2008-08-13 07:13:40 +0000579 O << (unsigned short int)MO.getImm();
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000580 else
Chris Lattner76c564b2010-04-04 04:47:45 +0000581 printOperand(MI, opNum, O);
Bruno Cardoso Lopes92c64ae2008-08-13 07:13:40 +0000582}
583
Daniel Sanders3f6eb542013-11-12 10:45:18 +0000584void MipsAsmPrinter::printUnsignedImm8(const MachineInstr *MI, int opNum,
585 raw_ostream &O) {
586 const MachineOperand &MO = MI->getOperand(opNum);
587 if (MO.isImm())
588 O << (unsigned short int)(unsigned char)MO.getImm();
589 else
590 printOperand(MI, opNum, O);
591}
592
Bruno Cardoso Lopes92c64ae2008-08-13 07:13:40 +0000593void MipsAsmPrinter::
Akira Hatanaka9f6f6f62011-07-07 20:54:20 +0000594printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &O) {
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000595 // Load/Store memory operands -- imm($reg)
596 // If PIC target the target is loaded as the
Bruno Cardoso Lopes3e0d0302007-11-05 03:02:32 +0000597 // pattern lw $25,%call16($28)
Chris Lattner76c564b2010-04-04 04:47:45 +0000598 printOperand(MI, opNum+1, O);
Akira Hatanaka2e766ed2011-07-07 18:57:00 +0000599 O << "(";
600 printOperand(MI, opNum, O);
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000601 O << ")";
602}
603
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000604void MipsAsmPrinter::
Akira Hatanaka9f6f6f62011-07-07 20:54:20 +0000605printMemOperandEA(const MachineInstr *MI, int opNum, raw_ostream &O) {
606 // when using stack locations for not load/store instructions
607 // print the same way as all normal 3 operand instructions.
608 printOperand(MI, opNum, O);
609 O << ", ";
610 printOperand(MI, opNum+1, O);
611 return;
612}
613
614void MipsAsmPrinter::
Chris Lattner76c564b2010-04-04 04:47:45 +0000615printFCCOperand(const MachineInstr *MI, int opNum, raw_ostream &O,
616 const char *Modifier) {
Akira Hatanaka5fd22482012-06-14 21:10:56 +0000617 const MachineOperand &MO = MI->getOperand(opNum);
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000618 O << Mips::MipsFCCToString((Mips::CondCode)MO.getImm());
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000619}
620
Bob Wilsonb633d7a2009-09-30 22:06:26 +0000621void MipsAsmPrinter::EmitStartOfAsmFile(Module &M) {
Jack Carterf9f753c2013-06-18 19:47:15 +0000622 // TODO: Need to add -mabicalls and -mno-abicalls flags.
623 // Currently we assume that -mabicalls is the default.
Jack Carter0cd3c192014-01-06 23:27:31 +0000624 getTargetStreamer().emitDirectiveAbiCalls();
625 Reloc::Model RM = Subtarget->getRelocationModel();
626 if (RM == Reloc::Static && !Subtarget->hasMips64())
627 getTargetStreamer().emitDirectiveOptionPic0();
Jack Carterf9f753c2013-06-18 19:47:15 +0000628
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000629 // Tell the assembler which ABI we are using
Rafael Espindola2ab7ea72014-01-27 01:33:33 +0000630 std::string SectionName = std::string(".mdebug.") + getCurrentABIString();
631 OutStreamer.SwitchSection(OutContext.getELFSection(
632 SectionName, ELF::SHT_PROGBITS, 0, SectionKind::getDataRel()));
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000633
634 // TODO: handle O64 ABI
Rafael Espindola2ab7ea72014-01-27 01:33:33 +0000635
636 if (Subtarget->isABI_EABI()) {
637 if (Subtarget->isGP32bit())
638 OutStreamer.SwitchSection(
639 OutContext.getELFSection(".gcc_compiled_long32", ELF::SHT_PROGBITS, 0,
640 SectionKind::getDataRel()));
641 else
642 OutStreamer.SwitchSection(
643 OutContext.getELFSection(".gcc_compiled_long64", ELF::SHT_PROGBITS, 0,
644 SectionKind::getDataRel()));
Benjamin Kramer0151d7b2010-04-05 10:17:15 +0000645 }
Reed Kotler4cdaa7d2014-02-14 19:16:39 +0000646}
Bruno Cardoso Lopes80ab8f92008-07-14 14:42:54 +0000647
Reed Kotler4cdaa7d2014-02-14 19:16:39 +0000648void MipsAsmPrinter::EmitJal(MCSymbol *Symbol) {
649 MCInst I;
650 I.setOpcode(Mips::JAL);
651 I.addOperand(
652 MCOperand::CreateExpr(MCSymbolRefExpr::Create(Symbol, OutContext)));
653 OutStreamer.EmitInstruction(I, getSubtargetInfo());
654}
655
656void MipsAsmPrinter::EmitInstrReg(unsigned Opcode, unsigned Reg) {
657 MCInst I;
658 I.setOpcode(Opcode);
659 I.addOperand(MCOperand::CreateReg(Reg));
660 OutStreamer.EmitInstruction(I, getSubtargetInfo());
661}
662
663void MipsAsmPrinter::EmitInstrRegReg(unsigned Opcode, unsigned Reg1,
664 unsigned Reg2) {
665 MCInst I;
666 //
667 // Because of the current td files for Mips32, the operands for MTC1
668 // appear backwards from their normal assembly order. It's not a trivial
669 // change to fix this in the td file so we adjust for it here.
670 //
671 if (Opcode == Mips::MTC1) {
672 unsigned Temp = Reg1;
673 Reg1 = Reg2;
674 Reg2 = Temp;
675 }
676 I.setOpcode(Opcode);
677 I.addOperand(MCOperand::CreateReg(Reg1));
678 I.addOperand(MCOperand::CreateReg(Reg2));
679 OutStreamer.EmitInstruction(I, getSubtargetInfo());
680}
681
682void MipsAsmPrinter::EmitInstrRegRegReg(unsigned Opcode, unsigned Reg1,
683 unsigned Reg2, unsigned Reg3) {
684 MCInst I;
685 I.setOpcode(Opcode);
686 I.addOperand(MCOperand::CreateReg(Reg1));
687 I.addOperand(MCOperand::CreateReg(Reg2));
688 I.addOperand(MCOperand::CreateReg(Reg3));
689 OutStreamer.EmitInstruction(I, getSubtargetInfo());
690}
691
692void MipsAsmPrinter::EmitMovFPIntPair(unsigned MovOpc, unsigned Reg1,
693 unsigned Reg2, unsigned FPReg1,
694 unsigned FPReg2, bool LE) {
695 if (!LE) {
696 unsigned temp = Reg1;
697 Reg1 = Reg2;
698 Reg2 = temp;
699 }
700 EmitInstrRegReg(MovOpc, Reg1, FPReg1);
701 EmitInstrRegReg(MovOpc, Reg2, FPReg2);
702}
703
704void MipsAsmPrinter::EmitSwapFPIntParams(Mips16HardFloatInfo::FPParamVariant PV,
705 bool LE, bool ToFP) {
706 using namespace Mips16HardFloatInfo;
707 unsigned MovOpc = ToFP ? Mips::MTC1 : Mips::MFC1;
708 switch (PV) {
709 case FSig:
710 EmitInstrRegReg(MovOpc, Mips::A0, Mips::F12);
711 break;
712 case FFSig:
713 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F14, LE);
714 break;
715 case FDSig:
716 EmitInstrRegReg(MovOpc, Mips::A0, Mips::F12);
717 EmitMovFPIntPair(MovOpc, Mips::A2, Mips::A3, Mips::F14, Mips::F15, LE);
718 break;
719 case DSig:
720 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F13, LE);
721 break;
722 case DDSig:
723 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F13, LE);
724 EmitMovFPIntPair(MovOpc, Mips::A2, Mips::A3, Mips::F14, Mips::F15, LE);
725 break;
726 case DFSig:
727 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F12, Mips::F13, LE);
728 EmitInstrRegReg(MovOpc, Mips::A2, Mips::F14);
729 break;
730 case NoSig:
731 return;
732 }
733}
734
735void
736MipsAsmPrinter::EmitSwapFPIntRetval(Mips16HardFloatInfo::FPReturnVariant RV,
737 bool LE) {
738 using namespace Mips16HardFloatInfo;
739 unsigned MovOpc = Mips::MFC1;
740 switch (RV) {
741 case FRet:
742 EmitInstrRegReg(MovOpc, Mips::V0, Mips::F0);
743 break;
744 case DRet:
745 EmitMovFPIntPair(MovOpc, Mips::V0, Mips::V1, Mips::F0, Mips::F1, LE);
746 break;
747 case CFRet:
748 EmitMovFPIntPair(MovOpc, Mips::V0, Mips::V1, Mips::F0, Mips::F1, LE);
749 break;
750 case CDRet:
751 EmitMovFPIntPair(MovOpc, Mips::V0, Mips::V1, Mips::F0, Mips::F1, LE);
752 EmitMovFPIntPair(MovOpc, Mips::A0, Mips::A1, Mips::F2, Mips::F3, LE);
753 break;
754 case NoFPRet:
755 break;
756 }
757}
758
759void MipsAsmPrinter::EmitFPCallStub(
760 const char *Symbol, const Mips16HardFloatInfo::FuncSignature *Signature) {
761 MCSymbol *MSymbol = OutContext.GetOrCreateSymbol(StringRef(Symbol));
762 using namespace Mips16HardFloatInfo;
763 bool LE = Subtarget->isLittle();
764 //
765 // .global xxxx
766 //
767 OutStreamer.EmitSymbolAttribute(MSymbol, MCSA_Global);
768 const char *RetType;
769 //
770 // make the comment field identifying the return and parameter
771 // types of the floating point stub
772 // # Stub function to call rettype xxxx (params)
773 //
774 switch (Signature->RetSig) {
775 case FRet:
776 RetType = "float";
777 break;
778 case DRet:
779 RetType = "double";
780 break;
781 case CFRet:
782 RetType = "complex";
783 break;
784 case CDRet:
785 RetType = "double complex";
786 break;
787 case NoFPRet:
788 RetType = "";
789 break;
790 }
791 const char *Parms;
792 switch (Signature->ParamSig) {
793 case FSig:
794 Parms = "float";
795 break;
796 case FFSig:
797 Parms = "float, float";
798 break;
799 case FDSig:
800 Parms = "float, double";
801 break;
802 case DSig:
803 Parms = "double";
804 break;
805 case DDSig:
806 Parms = "double, double";
807 break;
808 case DFSig:
809 Parms = "double, float";
810 break;
811 case NoSig:
812 Parms = "";
813 break;
814 }
815 OutStreamer.AddComment("\t# Stub function to call " + Twine(RetType) + " " +
816 Twine(Symbol) + " (" + Twine(Parms) + ")");
817 //
818 // probably not necessary but we save and restore the current section state
819 //
820 OutStreamer.PushSection();
821 //
822 // .section mips16.call.fpxxxx,"ax",@progbits
823 //
824 const MCSectionELF *M = OutContext.getELFSection(
825 ".mips16.call.fp." + std::string(Symbol), ELF::SHT_PROGBITS,
826 ELF::SHF_ALLOC | ELF::SHF_EXECINSTR, SectionKind::getText());
827 OutStreamer.SwitchSection(M, 0);
828 //
829 // .align 2
830 //
831 OutStreamer.EmitValueToAlignment(4);
832 MipsTargetStreamer &TS = getTargetStreamer();
833 //
834 // .set nomips16
835 // .set nomicromips
836 //
837 TS.emitDirectiveSetNoMips16();
838 TS.emitDirectiveSetNoMicroMips();
839 //
840 // .ent __call_stub_fp_xxxx
841 // .type __call_stub_fp_xxxx,@function
842 // __call_stub_fp_xxxx:
843 //
844 std::string x = "__call_stub_fp_" + std::string(Symbol);
845 MCSymbol *Stub = OutContext.GetOrCreateSymbol(StringRef(x));
846 TS.emitDirectiveEnt(*Stub);
847 MCSymbol *MType =
848 OutContext.GetOrCreateSymbol("__call_stub_fp_" + Twine(Symbol));
849 OutStreamer.EmitSymbolAttribute(MType, MCSA_ELF_TypeFunction);
850 OutStreamer.EmitLabel(Stub);
851 //
852 // we just handle non pic for now. these function will not be
853 // called otherwise. when the full stub generation is moved here
854 // we need to deal with pic.
855 //
856 if (Subtarget->getRelocationModel() == Reloc::PIC_)
857 llvm_unreachable("should not be here if we are compiling pic");
858 TS.emitDirectiveSetReorder();
859 //
860 // We need to add a MipsMCExpr class to MCTargetDesc to fully implement
861 // stubs without raw text but this current patch is for compiler generated
862 // functions and they all return some value.
863 // The calling sequence for non pic is different in that case and we need
864 // to implement %lo and %hi in order to handle the case of no return value
865 // See the corresponding method in Mips16HardFloat for details.
866 //
867 // mov the return address to S2.
868 // we have no stack space to store it and we are about to make another call.
869 // We need to make sure that the enclosing function knows to save S2
870 // This should have already been handled.
871 //
872 // Mov $18, $31
873
874 EmitInstrRegRegReg(Mips::ADDu, Mips::S2, Mips::RA, Mips::ZERO);
875
876 EmitSwapFPIntParams(Signature->ParamSig, LE, true);
877
878 // Jal xxxx
879 //
880 EmitJal(MSymbol);
881
882 // fix return values
883 EmitSwapFPIntRetval(Signature->RetSig, LE);
884 //
885 // do the return
886 // if (Signature->RetSig == NoFPRet)
887 // llvm_unreachable("should not be any stubs here with no return value");
888 // else
889 EmitInstrReg(Mips::JR, Mips::S2);
890
891 MCSymbol *Tmp = OutContext.CreateTempSymbol();
892 OutStreamer.EmitLabel(Tmp);
893 const MCSymbolRefExpr *E = MCSymbolRefExpr::Create(Stub, OutContext);
894 const MCSymbolRefExpr *T = MCSymbolRefExpr::Create(Tmp, OutContext);
895 const MCExpr *T_min_E = MCBinaryExpr::CreateSub(T, E, OutContext);
896 OutStreamer.EmitELFSize(Stub, T_min_E);
897 TS.emitDirectiveEnd(x);
898 OutStreamer.PopSection();
899}
900
901void MipsAsmPrinter::EmitEndOfAsmFile(Module &M) {
902 // Emit needed stubs
903 //
904 for (std::map<
905 const char *,
906 const llvm::Mips16HardFloatInfo::FuncSignature *>::const_iterator
907 it = StubsNeeded.begin();
908 it != StubsNeeded.end(); ++it) {
909 const char *Symbol = it->first;
910 const llvm::Mips16HardFloatInfo::FuncSignature *Signature = it->second;
911 EmitFPCallStub(Symbol, Signature);
912 }
Rafael Espindola2ab7ea72014-01-27 01:33:33 +0000913 // return to the text section
914 OutStreamer.SwitchSection(OutContext.getObjectFileInfo()->getTextSection());
Jack Carterc1b17ed2013-01-18 21:20:38 +0000915}
916
Akira Hatanakaf2bcad92011-07-01 01:04:43 +0000917void MipsAsmPrinter::PrintDebugValueComment(const MachineInstr *MI,
918 raw_ostream &OS) {
919 // TODO: implement
920}
921
Sasa Stankovic8c5736b2014-02-28 10:00:38 +0000922// Align all targets of indirect branches on bundle size. Used only if target
923// is NaCl.
924void MipsAsmPrinter::NaClAlignIndirectJumpTargets(MachineFunction &MF) {
925 // Align all blocks that are jumped to through jump table.
926 if (MachineJumpTableInfo *JtInfo = MF.getJumpTableInfo()) {
927 const std::vector<MachineJumpTableEntry> &JT = JtInfo->getJumpTables();
928 for (unsigned I = 0; I < JT.size(); ++I) {
929 const std::vector<MachineBasicBlock*> &MBBs = JT[I].MBBs;
930
931 for (unsigned J = 0; J < MBBs.size(); ++J)
932 MBBs[J]->setAlignment(MIPS_NACL_BUNDLE_ALIGN);
933 }
934 }
935
936 // If basic block address is taken, block can be target of indirect branch.
937 for (MachineFunction::iterator MBB = MF.begin(), E = MF.end();
938 MBB != E; ++MBB) {
939 if (MBB->hasAddressTaken())
940 MBB->setAlignment(MIPS_NACL_BUNDLE_ALIGN);
941 }
942}
943
Bob Wilson5a495fe2009-06-23 23:59:40 +0000944// Force static initialization.
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000945extern "C" void LLVMInitializeMipsAsmPrinter() {
Daniel Dunbar5680b4f2009-07-25 06:49:55 +0000946 RegisterAsmPrinter<MipsAsmPrinter> X(TheMipsTarget);
947 RegisterAsmPrinter<MipsAsmPrinter> Y(TheMipselTarget);
Akira Hatanaka3d673cc2011-09-21 03:00:58 +0000948 RegisterAsmPrinter<MipsAsmPrinter> A(TheMips64Target);
949 RegisterAsmPrinter<MipsAsmPrinter> B(TheMips64elTarget);
Daniel Dunbare8338102009-07-15 20:24:03 +0000950}