blob: b695dd8747d89d42bd5bcb942aa66c57efc941ea [file] [log] [blame]
Chris Lattner7c90f732006-02-05 05:50:24 +00001//===-- SparcAsmPrinter.cpp - Sparc LLVM assembly writer ------------------===//
Misha Brukmanb5f662f2005-04-21 23:30:14 +00002//
Brian Gaeke4acfd032004-03-04 06:00:41 +00003// 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.
Misha Brukmanb5f662f2005-04-21 23:30:14 +00007//
Brian Gaeke4acfd032004-03-04 06:00:41 +00008//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
Chris Lattner7c90f732006-02-05 05:50:24 +000011// of machine-dependent LLVM code to GAS-format SPARC assembly language.
Brian Gaeke4acfd032004-03-04 06:00:41 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner95b2c7d2006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Chris Lattner7c90f732006-02-05 05:50:24 +000016#include "Sparc.h"
17#include "SparcInstrInfo.h"
Chris Lattner225503a2009-06-19 15:48:10 +000018#include "SparcTargetMachine.h"
Jakob Stoklund Olesencab0abd2013-04-14 04:35:19 +000019#include "MCTargetDesc/SparcBaseInfo.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000020#include "llvm/ADT/SmallString.h"
Chris Lattner1dbed162005-12-17 07:04:29 +000021#include "llvm/CodeGen/AsmPrinter.h"
Brian Gaeke4acfd032004-03-04 06:00:41 +000022#include "llvm/CodeGen/MachineInstr.h"
Venkatraman Govindarajuc12c8d72013-09-22 00:42:30 +000023#include "llvm/CodeGen/MachineRegisterInfo.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000024#include "llvm/MC/MCAsmInfo.h"
Chris Lattner8e089a92010-02-10 00:36:00 +000025#include "llvm/MC/MCStreamer.h"
Chris Lattner325d3dc2009-09-13 17:14:04 +000026#include "llvm/MC/MCSymbol.h"
Evan Cheng3e74d6f2011-08-24 18:08:43 +000027#include "llvm/Support/TargetRegistry.h"
Chris Lattnerb23569a2010-04-04 08:18:47 +000028#include "llvm/Support/raw_ostream.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000029#include "llvm/Target/Mangler.h"
Brian Gaeke4acfd032004-03-04 06:00:41 +000030using namespace llvm;
31
Chris Lattner95b2c7d2006-12-19 22:59:26 +000032namespace {
Nick Lewycky6726b6d2009-10-25 06:33:48 +000033 class SparcAsmPrinter : public AsmPrinter {
Bill Wendling57f0db82009-02-24 08:30:20 +000034 public:
Chris Lattnerb23569a2010-04-04 08:18:47 +000035 explicit SparcAsmPrinter(TargetMachine &TM, MCStreamer &Streamer)
36 : AsmPrinter(TM, Streamer) {}
Brian Gaeke4acfd032004-03-04 06:00:41 +000037
Brian Gaeke4acfd032004-03-04 06:00:41 +000038 virtual const char *getPassName() const {
Chris Lattner7c90f732006-02-05 05:50:24 +000039 return "Sparc Assembly Printer";
Brian Gaeke4acfd032004-03-04 06:00:41 +000040 }
41
Chris Lattner35c33bd2010-04-04 04:47:45 +000042 void printOperand(const MachineInstr *MI, int opNum, raw_ostream &OS);
43 void printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &OS,
Chris Lattnerad7a3e62006-02-10 07:35:42 +000044 const char *Modifier = 0);
Chris Lattner35c33bd2010-04-04 04:47:45 +000045 void printCCOperand(const MachineInstr *MI, int opNum, raw_ostream &OS);
Chris Lattner6788faa2006-01-31 06:49:09 +000046
Venkatraman Govindarajuc12c8d72013-09-22 00:42:30 +000047 virtual void EmitFunctionBodyStart();
Chris Lattner745ec062010-01-28 01:48:52 +000048 virtual void EmitInstruction(const MachineInstr *MI) {
Chris Lattner7ad07c42010-04-04 06:12:20 +000049 SmallString<128> Str;
50 raw_svector_ostream OS(Str);
51 printInstruction(MI, OS);
52 OutStreamer.EmitRawText(OS.str());
Chris Lattner745ec062010-01-28 01:48:52 +000053 }
Chris Lattner35c33bd2010-04-04 04:47:45 +000054 void printInstruction(const MachineInstr *MI, raw_ostream &OS);// autogen'd.
Chris Lattnerd95148f2009-09-13 20:19:22 +000055 static const char *getRegisterName(unsigned RegNo);
Chris Lattner05af2612009-09-13 20:08:00 +000056
Anton Korobeynikovf3693302008-10-10 10:15:03 +000057 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattnerc75c0282010-04-04 05:29:35 +000058 unsigned AsmVariant, const char *ExtraCode,
59 raw_ostream &O);
Anton Korobeynikovf3693302008-10-10 10:15:03 +000060 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattnerc75c0282010-04-04 05:29:35 +000061 unsigned AsmVariant, const char *ExtraCode,
62 raw_ostream &O);
Chris Lattnerdb486a62009-09-15 17:46:24 +000063
Chris Lattner35c33bd2010-04-04 04:47:45 +000064 bool printGetPCX(const MachineInstr *MI, unsigned OpNo, raw_ostream &OS);
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +000065
Chris Lattner0a3f3992010-02-17 18:52:56 +000066 virtual bool isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB)
67 const;
Venkatraman Govindarajuc12c8d72013-09-22 00:42:30 +000068 void EmitGlobalRegisterDecl(unsigned reg) {
69 SmallString<128> Str;
70 raw_svector_ostream OS(Str);
71 OS << "\t.register "
72 << "%" << StringRef(getRegisterName(reg)).lower()
73 << ", "
74 << ((reg == SP::G6 || reg == SP::G7)? "#ignore" : "#scratch");
75 OutStreamer.EmitRawText(OS.str());
76 }
77
Brian Gaeke4acfd032004-03-04 06:00:41 +000078 };
79} // end of anonymous namespace
80
Chris Lattner7c90f732006-02-05 05:50:24 +000081#include "SparcGenAsmWriter.inc"
Chris Lattner994b7352005-12-16 06:34:17 +000082
Venkatraman Govindarajuc12c8d72013-09-22 00:42:30 +000083void SparcAsmPrinter::EmitFunctionBodyStart() {
84 if (!TM.getSubtarget<SparcSubtarget>().is64Bit())
85 return;
86
87 const MachineRegisterInfo &MRI = MF->getRegInfo();
88 const unsigned globalRegs[] = { SP::G2, SP::G3, SP::G6, SP::G7, 0 };
89 for (unsigned i = 0; globalRegs[i] != 0; ++i) {
90 unsigned reg = globalRegs[i];
91 if (!MRI.isPhysRegUsed(reg))
92 continue;
93 EmitGlobalRegisterDecl(reg);
94 }
95}
96
Chris Lattner35c33bd2010-04-04 04:47:45 +000097void SparcAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
98 raw_ostream &O) {
Brian Gaeke446ae112004-06-15 19:52:59 +000099 const MachineOperand &MO = MI->getOperand (opNum);
Jakob Stoklund Olesencab0abd2013-04-14 04:35:19 +0000100 unsigned TF = MO.getTargetFlags();
101#ifndef NDEBUG
102 // Verify the target flags.
103 if (MO.isGlobal() || MO.isSymbol() || MO.isCPI()) {
104 if (MI->getOpcode() == SP::CALL)
105 assert(TF == SPII::MO_NO_FLAG &&
106 "Cannot handle target flags on call address");
107 else if (MI->getOpcode() == SP::SETHIi)
108 assert((TF == SPII::MO_HI || TF == SPII::MO_H44 || TF == SPII::MO_HH) &&
109 "Invalid target flags for address operand on sethi");
110 else
111 assert((TF == SPII::MO_LO || TF == SPII::MO_M44 || TF == SPII::MO_L44 ||
112 TF == SPII::MO_HM) &&
113 "Invalid target flags for small address operand");
Brian Gaeke446ae112004-06-15 19:52:59 +0000114 }
Jakob Stoklund Olesencab0abd2013-04-14 04:35:19 +0000115#endif
116
117 bool CloseParen = true;
118 switch (TF) {
119 default:
120 llvm_unreachable("Unknown target flags on operand");
121 case SPII::MO_NO_FLAG:
122 CloseParen = false;
123 break;
124 case SPII::MO_LO: O << "%lo("; break;
125 case SPII::MO_HI: O << "%hi("; break;
126 case SPII::MO_H44: O << "%h44("; break;
127 case SPII::MO_M44: O << "%m44("; break;
128 case SPII::MO_L44: O << "%l44("; break;
129 case SPII::MO_HH: O << "%hh("; break;
130 case SPII::MO_HM: O << "%hm("; break;
131 }
132
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000133 switch (MO.getType()) {
Chris Lattner2d90ac72006-05-04 18:05:43 +0000134 case MachineOperand::MO_Register:
Benjamin Kramer59085362011-11-06 20:37:06 +0000135 O << "%" << StringRef(getRegisterName(MO.getReg())).lower();
Brian Gaeke446ae112004-06-15 19:52:59 +0000136 break;
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000137
Chris Lattner63b3d712006-05-04 17:21:20 +0000138 case MachineOperand::MO_Immediate:
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000139 O << (int)MO.getImm();
Brian Gaeke446ae112004-06-15 19:52:59 +0000140 break;
Nate Begeman37efe672006-04-22 18:53:45 +0000141 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000142 O << *MO.getMBB()->getSymbol();
Brian Gaeke09c13092004-06-17 19:39:23 +0000143 return;
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000144 case MachineOperand::MO_GlobalAddress:
Chris Lattnerd62f1b42010-03-12 21:19:23 +0000145 O << *Mang->getSymbol(MO.getGlobal());
Brian Gaeke446ae112004-06-15 19:52:59 +0000146 break;
Venkatraman Govindarajue7cbb792013-06-03 05:58:33 +0000147 case MachineOperand::MO_BlockAddress:
148 O << GetBlockAddressSymbol(MO.getBlockAddress())->getName();
149 break;
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000150 case MachineOperand::MO_ExternalSymbol:
151 O << MO.getSymbolName();
Brian Gaeke446ae112004-06-15 19:52:59 +0000152 break;
Brian Gaeke8a0ae9e2004-06-27 22:50:44 +0000153 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000154 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_"
Chris Lattner8aa797a2007-12-30 23:10:15 +0000155 << MO.getIndex();
Brian Gaeke8a0ae9e2004-06-27 22:50:44 +0000156 break;
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000157 default:
Torok Edwinc23197a2009-07-14 16:55:14 +0000158 llvm_unreachable("<unknown operand type>");
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000159 }
Brian Gaeke446ae112004-06-15 19:52:59 +0000160 if (CloseParen) O << ")";
Brian Gaeke62aa28a2004-03-05 08:39:09 +0000161}
162
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000163void SparcAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000164 raw_ostream &O, const char *Modifier) {
165 printOperand(MI, opNum, O);
Anton Korobeynikov5b794b92008-08-07 09:51:25 +0000166
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000167 // If this is an ADD operand, emit it like normal operands.
168 if (Modifier && !strcmp(Modifier, "arith")) {
169 O << ", ";
Chris Lattner35c33bd2010-04-04 04:47:45 +0000170 printOperand(MI, opNum+1, O);
Chris Lattnerad7a3e62006-02-10 07:35:42 +0000171 return;
172 }
Anton Korobeynikov5b794b92008-08-07 09:51:25 +0000173
Dan Gohmand735b802008-10-03 15:45:36 +0000174 if (MI->getOperand(opNum+1).isReg() &&
Chris Lattner7c90f732006-02-05 05:50:24 +0000175 MI->getOperand(opNum+1).getReg() == SP::G0)
Chris Lattner76acc872005-12-18 02:37:35 +0000176 return; // don't print "+%g0"
Dan Gohmand735b802008-10-03 15:45:36 +0000177 if (MI->getOperand(opNum+1).isImm() &&
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000178 MI->getOperand(opNum+1).getImm() == 0)
Chris Lattner76acc872005-12-18 02:37:35 +0000179 return; // don't print "+0"
Anton Korobeynikov5b794b92008-08-07 09:51:25 +0000180
Chris Lattnerbc83fd92005-12-17 20:04:49 +0000181 O << "+";
Jakob Stoklund Olesencab0abd2013-04-14 04:35:19 +0000182 printOperand(MI, opNum+1, O);
Chris Lattnerbc83fd92005-12-17 20:04:49 +0000183}
184
Chris Lattner35c33bd2010-04-04 04:47:45 +0000185bool SparcAsmPrinter::printGetPCX(const MachineInstr *MI, unsigned opNum,
186 raw_ostream &O) {
Chris Lattnerdb486a62009-09-15 17:46:24 +0000187 std::string operand = "";
188 const MachineOperand &MO = MI->getOperand(opNum);
189 switch (MO.getType()) {
Craig Topperbc219812012-02-07 02:50:20 +0000190 default: llvm_unreachable("Operand is not a register");
Chris Lattnerdb486a62009-09-15 17:46:24 +0000191 case MachineOperand::MO_Register:
192 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
193 "Operand is not a physical register ");
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000194 assert(MO.getReg() != SP::O7 &&
Venkatraman Govindarajuc1783082011-01-12 03:52:59 +0000195 "%o7 is assigned as destination for getpcx!");
Benjamin Kramer59085362011-11-06 20:37:06 +0000196 operand = "%" + StringRef(getRegisterName(MO.getReg())).lower();
Chris Lattnerdb486a62009-09-15 17:46:24 +0000197 break;
198 }
199
Chris Lattnerf3047cd2010-02-17 18:57:19 +0000200 unsigned mfNum = MI->getParent()->getParent()->getFunctionNumber();
Chris Lattnerd3b31a72010-01-27 00:20:02 +0000201 unsigned bbNum = MI->getParent()->getNumber();
Chris Lattnerdb486a62009-09-15 17:46:24 +0000202
Chris Lattnerf3047cd2010-02-17 18:57:19 +0000203 O << '\n' << ".LLGETPCH" << mfNum << '_' << bbNum << ":\n";
204 O << "\tcall\t.LLGETPC" << mfNum << '_' << bbNum << '\n' ;
Chris Lattnerdb486a62009-09-15 17:46:24 +0000205
206 O << "\t sethi\t"
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000207 << "%hi(_GLOBAL_OFFSET_TABLE_+(.-.LLGETPCH" << mfNum << '_' << bbNum
Venkatraman Govindarajuc1783082011-01-12 03:52:59 +0000208 << ")), " << operand << '\n' ;
Chris Lattnerdb486a62009-09-15 17:46:24 +0000209
Chris Lattnerf3047cd2010-02-17 18:57:19 +0000210 O << ".LLGETPC" << mfNum << '_' << bbNum << ":\n" ;
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000211 O << "\tor\t" << operand
Chris Lattner35c33bd2010-04-04 04:47:45 +0000212 << ", %lo(_GLOBAL_OFFSET_TABLE_+(.-.LLGETPCH" << mfNum << '_' << bbNum
213 << ")), " << operand << '\n';
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000214 O << "\tadd\t" << operand << ", %o7, " << operand << '\n';
215
Chris Lattnerdb486a62009-09-15 17:46:24 +0000216 return true;
217}
218
Chris Lattner35c33bd2010-04-04 04:47:45 +0000219void SparcAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum,
220 raw_ostream &O) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000221 int CC = (int)MI->getOperand(opNum).getImm();
Chris Lattner7c90f732006-02-05 05:50:24 +0000222 O << SPARCCondCodeToString((SPCC::CondCodes)CC);
Chris Lattner6788faa2006-01-31 06:49:09 +0000223}
224
Anton Korobeynikovf3693302008-10-10 10:15:03 +0000225/// PrintAsmOperand - Print out an operand for an inline asm expression.
226///
227bool SparcAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
228 unsigned AsmVariant,
Chris Lattnerc75c0282010-04-04 05:29:35 +0000229 const char *ExtraCode,
230 raw_ostream &O) {
Anton Korobeynikov4cf5e2e2008-10-10 20:29:50 +0000231 if (ExtraCode && ExtraCode[0]) {
232 if (ExtraCode[1] != 0) return true; // Unknown modifier.
233
234 switch (ExtraCode[0]) {
Jack Carter0518fca2012-06-26 13:49:27 +0000235 default:
236 // See if this is a generic print operand
237 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O);
Anton Korobeynikov4cf5e2e2008-10-10 20:29:50 +0000238 case 'r':
239 break;
240 }
241 }
Anton Korobeynikovf3693302008-10-10 10:15:03 +0000242
Chris Lattner35c33bd2010-04-04 04:47:45 +0000243 printOperand(MI, OpNo, O);
Anton Korobeynikovf3693302008-10-10 10:15:03 +0000244
245 return false;
246}
247
248bool SparcAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Chris Lattnerc75c0282010-04-04 05:29:35 +0000249 unsigned OpNo, unsigned AsmVariant,
250 const char *ExtraCode,
251 raw_ostream &O) {
Anton Korobeynikovf3693302008-10-10 10:15:03 +0000252 if (ExtraCode && ExtraCode[0])
253 return true; // Unknown modifier
254
255 O << '[';
Chris Lattner35c33bd2010-04-04 04:47:45 +0000256 printMemOperand(MI, OpNo, O);
Anton Korobeynikovf3693302008-10-10 10:15:03 +0000257 O << ']';
258
259 return false;
260}
Douglas Gregor1555a232009-06-16 20:12:29 +0000261
Chris Lattner0a3f3992010-02-17 18:52:56 +0000262/// isBlockOnlyReachableByFallthough - Return true if the basic block has
263/// exactly one predecessor and the control transfer mechanism between
264/// the predecessor and this block is a fall-through.
Chris Lattnereea3f7e2010-03-06 07:02:28 +0000265///
266/// This overrides AsmPrinter's implementation to handle delay slots.
267bool SparcAsmPrinter::
268isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const {
Chris Lattner0a3f3992010-02-17 18:52:56 +0000269 // If this is a landing pad, it isn't a fall through. If it has no preds,
270 // then nothing falls through to it.
271 if (MBB->isLandingPad() || MBB->pred_empty())
272 return false;
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000273
Chris Lattner0a3f3992010-02-17 18:52:56 +0000274 // If there isn't exactly one predecessor, it can't be a fall through.
275 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI;
276 ++PI2;
277 if (PI2 != MBB->pred_end())
278 return false;
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000279
Chris Lattner0a3f3992010-02-17 18:52:56 +0000280 // The predecessor has to be immediately before this block.
281 const MachineBasicBlock *Pred = *PI;
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000282
Chris Lattner0a3f3992010-02-17 18:52:56 +0000283 if (!Pred->isLayoutSuccessor(MBB))
284 return false;
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000285
Chris Lattnereea3f7e2010-03-06 07:02:28 +0000286 // Check if the last terminator is an unconditional branch.
Chris Lattner0a3f3992010-02-17 18:52:56 +0000287 MachineBasicBlock::const_iterator I = Pred->end();
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000288 while (I != Pred->begin() && !(--I)->isTerminator())
Chris Lattnereea3f7e2010-03-06 07:02:28 +0000289 ; // Noop
Evan Cheng5a96b3d2011-12-07 07:15:52 +0000290 return I == Pred->end() || !I->isBarrier();
Chris Lattner0a3f3992010-02-17 18:52:56 +0000291}
292
Bob Wilsona96751f2009-06-23 23:59:40 +0000293// Force static initialization.
Venkatraman Govindaraju1e06bcb2013-06-04 18:33:25 +0000294extern "C" void LLVMInitializeSparcAsmPrinter() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +0000295 RegisterAsmPrinter<SparcAsmPrinter> X(TheSparcTarget);
Chris Lattner87c06d62010-02-04 06:34:01 +0000296 RegisterAsmPrinter<SparcAsmPrinter> Y(TheSparcV9Target);
Daniel Dunbar51b198a2009-07-15 20:24:03 +0000297}