blob: b538d5cc0da66f5c3df45cbf8ddf070db4fa9187 [file] [log] [blame]
Chris Lattner158e1f52006-02-05 05:50:24 +00001//===-- SparcAsmPrinter.cpp - Sparc LLVM assembly writer ------------------===//
2//
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.
Chris Lattner158e1f52006-02-05 05:50:24 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to GAS-format SPARC assembly language.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner1ef9cd42006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Chris Lattner158e1f52006-02-05 05:50:24 +000016#include "Sparc.h"
17#include "SparcInstrInfo.h"
Chris Lattner3773afe2009-06-19 15:48:10 +000018#include "SparcTargetMachine.h"
Jakob Stoklund Olesen2e64d7a2013-04-14 04:35:19 +000019#include "MCTargetDesc/SparcBaseInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/ADT/SmallString.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000021#include "llvm/CodeGen/AsmPrinter.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000022#include "llvm/CodeGen/MachineInstr.h"
Chris Lattner7b26fce2009-08-22 20:48:53 +000023#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerff68a422010-02-10 00:36:00 +000024#include "llvm/MC/MCStreamer.h"
Chris Lattner4cd44982009-09-13 17:14:04 +000025#include "llvm/MC/MCSymbol.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000026#include "llvm/Support/TargetRegistry.h"
Chris Lattnerd20699b2010-04-04 08:18:47 +000027#include "llvm/Support/raw_ostream.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000028#include "llvm/Target/Mangler.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000029using namespace llvm;
30
Chris Lattner1ef9cd42006-12-19 22:59:26 +000031namespace {
Nick Lewycky02d5f772009-10-25 06:33:48 +000032 class SparcAsmPrinter : public AsmPrinter {
Bill Wendlingc5437ea2009-02-24 08:30:20 +000033 public:
Chris Lattnerd20699b2010-04-04 08:18:47 +000034 explicit SparcAsmPrinter(TargetMachine &TM, MCStreamer &Streamer)
35 : AsmPrinter(TM, Streamer) {}
Chris Lattner158e1f52006-02-05 05:50:24 +000036
37 virtual const char *getPassName() const {
38 return "Sparc Assembly Printer";
39 }
40
Chris Lattner76c564b2010-04-04 04:47:45 +000041 void printOperand(const MachineInstr *MI, int opNum, raw_ostream &OS);
42 void printMemOperand(const MachineInstr *MI, int opNum, raw_ostream &OS,
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +000043 const char *Modifier = 0);
Chris Lattner76c564b2010-04-04 04:47:45 +000044 void printCCOperand(const MachineInstr *MI, int opNum, raw_ostream &OS);
Chris Lattner158e1f52006-02-05 05:50:24 +000045
Chris Lattnerfd97a332010-01-28 01:48:52 +000046 virtual void EmitInstruction(const MachineInstr *MI) {
Chris Lattner3d86cd62010-04-04 06:12:20 +000047 SmallString<128> Str;
48 raw_svector_ostream OS(Str);
49 printInstruction(MI, OS);
50 OutStreamer.EmitRawText(OS.str());
Chris Lattnerfd97a332010-01-28 01:48:52 +000051 }
Chris Lattner76c564b2010-04-04 04:47:45 +000052 void printInstruction(const MachineInstr *MI, raw_ostream &OS);// autogen'd.
Chris Lattnerad10b3b2009-09-13 20:19:22 +000053 static const char *getRegisterName(unsigned RegNo);
Chris Lattner06c5eed2009-09-13 20:08:00 +000054
Anton Korobeynikov3db21732008-10-10 10:15:03 +000055 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattner3bb09762010-04-04 05:29:35 +000056 unsigned AsmVariant, const char *ExtraCode,
57 raw_ostream &O);
Anton Korobeynikov3db21732008-10-10 10:15:03 +000058 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
Chris Lattner3bb09762010-04-04 05:29:35 +000059 unsigned AsmVariant, const char *ExtraCode,
60 raw_ostream &O);
Chris Lattner840c7002009-09-15 17:46:24 +000061
Chris Lattner76c564b2010-04-04 04:47:45 +000062 bool printGetPCX(const MachineInstr *MI, unsigned OpNo, raw_ostream &OS);
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +000063
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +000064 virtual bool isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB)
65 const;
Venkatraman Govindaraju1fc82632011-12-25 18:50:24 +000066
67 virtual MachineLocation getDebugValueLocation(const MachineInstr *MI) const;
Chris Lattner158e1f52006-02-05 05:50:24 +000068 };
69} // end of anonymous namespace
70
71#include "SparcGenAsmWriter.inc"
72
Chris Lattner76c564b2010-04-04 04:47:45 +000073void SparcAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
74 raw_ostream &O) {
Chris Lattner158e1f52006-02-05 05:50:24 +000075 const MachineOperand &MO = MI->getOperand (opNum);
Jakob Stoklund Olesen2e64d7a2013-04-14 04:35:19 +000076 unsigned TF = MO.getTargetFlags();
77#ifndef NDEBUG
78 // Verify the target flags.
79 if (MO.isGlobal() || MO.isSymbol() || MO.isCPI()) {
80 if (MI->getOpcode() == SP::CALL)
81 assert(TF == SPII::MO_NO_FLAG &&
82 "Cannot handle target flags on call address");
83 else if (MI->getOpcode() == SP::SETHIi)
84 assert((TF == SPII::MO_HI || TF == SPII::MO_H44 || TF == SPII::MO_HH) &&
85 "Invalid target flags for address operand on sethi");
86 else
87 assert((TF == SPII::MO_LO || TF == SPII::MO_M44 || TF == SPII::MO_L44 ||
88 TF == SPII::MO_HM) &&
89 "Invalid target flags for small address operand");
Chris Lattner158e1f52006-02-05 05:50:24 +000090 }
Jakob Stoklund Olesen2e64d7a2013-04-14 04:35:19 +000091#endif
92
93 bool CloseParen = true;
94 switch (TF) {
95 default:
96 llvm_unreachable("Unknown target flags on operand");
97 case SPII::MO_NO_FLAG:
98 CloseParen = false;
99 break;
100 case SPII::MO_LO: O << "%lo("; break;
101 case SPII::MO_HI: O << "%hi("; break;
102 case SPII::MO_H44: O << "%h44("; break;
103 case SPII::MO_M44: O << "%m44("; break;
104 case SPII::MO_L44: O << "%l44("; break;
105 case SPII::MO_HH: O << "%hh("; break;
106 case SPII::MO_HM: O << "%hm("; break;
107 }
108
Chris Lattner158e1f52006-02-05 05:50:24 +0000109 switch (MO.getType()) {
Chris Lattner10b71c02006-05-04 18:05:43 +0000110 case MachineOperand::MO_Register:
Benjamin Kramer20baffb2011-11-06 20:37:06 +0000111 O << "%" << StringRef(getRegisterName(MO.getReg())).lower();
Chris Lattner158e1f52006-02-05 05:50:24 +0000112 break;
113
Chris Lattnerfef7a2d2006-05-04 17:21:20 +0000114 case MachineOperand::MO_Immediate:
Chris Lattner5c463782007-12-30 20:49:49 +0000115 O << (int)MO.getImm();
Chris Lattner158e1f52006-02-05 05:50:24 +0000116 break;
Nate Begeman4ca2ea52006-04-22 18:53:45 +0000117 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner29bdac42010-03-13 21:04:28 +0000118 O << *MO.getMBB()->getSymbol();
Chris Lattner158e1f52006-02-05 05:50:24 +0000119 return;
Chris Lattner158e1f52006-02-05 05:50:24 +0000120 case MachineOperand::MO_GlobalAddress:
Chris Lattner0b822ab2010-03-12 21:19:23 +0000121 O << *Mang->getSymbol(MO.getGlobal());
Chris Lattner158e1f52006-02-05 05:50:24 +0000122 break;
Venkatraman Govindarajuf80d72f2013-06-03 05:58:33 +0000123 case MachineOperand::MO_BlockAddress:
124 O << GetBlockAddressSymbol(MO.getBlockAddress())->getName();
125 break;
Chris Lattner158e1f52006-02-05 05:50:24 +0000126 case MachineOperand::MO_ExternalSymbol:
127 O << MO.getSymbolName();
128 break;
129 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnere9a75a62009-08-22 21:43:10 +0000130 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_"
Chris Lattnera5bb3702007-12-30 23:10:15 +0000131 << MO.getIndex();
Chris Lattner158e1f52006-02-05 05:50:24 +0000132 break;
133 default:
Torok Edwinfbcc6632009-07-14 16:55:14 +0000134 llvm_unreachable("<unknown operand type>");
Chris Lattner158e1f52006-02-05 05:50:24 +0000135 }
136 if (CloseParen) O << ")";
137}
138
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +0000139void SparcAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
Chris Lattner76c564b2010-04-04 04:47:45 +0000140 raw_ostream &O, const char *Modifier) {
141 printOperand(MI, opNum, O);
Anton Korobeynikov1a11e8a2008-08-07 09:51:25 +0000142
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +0000143 // If this is an ADD operand, emit it like normal operands.
144 if (Modifier && !strcmp(Modifier, "arith")) {
145 O << ", ";
Chris Lattner76c564b2010-04-04 04:47:45 +0000146 printOperand(MI, opNum+1, O);
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +0000147 return;
148 }
Anton Korobeynikov1a11e8a2008-08-07 09:51:25 +0000149
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000150 if (MI->getOperand(opNum+1).isReg() &&
Chris Lattner158e1f52006-02-05 05:50:24 +0000151 MI->getOperand(opNum+1).getReg() == SP::G0)
152 return; // don't print "+%g0"
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000153 if (MI->getOperand(opNum+1).isImm() &&
Chris Lattner5c463782007-12-30 20:49:49 +0000154 MI->getOperand(opNum+1).getImm() == 0)
Chris Lattner158e1f52006-02-05 05:50:24 +0000155 return; // don't print "+0"
Anton Korobeynikov1a11e8a2008-08-07 09:51:25 +0000156
Chris Lattner158e1f52006-02-05 05:50:24 +0000157 O << "+";
Jakob Stoklund Olesen2e64d7a2013-04-14 04:35:19 +0000158 printOperand(MI, opNum+1, O);
Chris Lattner158e1f52006-02-05 05:50:24 +0000159}
160
Chris Lattner76c564b2010-04-04 04:47:45 +0000161bool SparcAsmPrinter::printGetPCX(const MachineInstr *MI, unsigned opNum,
162 raw_ostream &O) {
Chris Lattner840c7002009-09-15 17:46:24 +0000163 std::string operand = "";
164 const MachineOperand &MO = MI->getOperand(opNum);
165 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +0000166 default: llvm_unreachable("Operand is not a register");
Chris Lattner840c7002009-09-15 17:46:24 +0000167 case MachineOperand::MO_Register:
168 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
169 "Operand is not a physical register ");
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000170 assert(MO.getReg() != SP::O7 &&
Venkatraman Govindarajuee347f82011-01-12 03:52:59 +0000171 "%o7 is assigned as destination for getpcx!");
Benjamin Kramer20baffb2011-11-06 20:37:06 +0000172 operand = "%" + StringRef(getRegisterName(MO.getReg())).lower();
Chris Lattner840c7002009-09-15 17:46:24 +0000173 break;
174 }
175
Chris Lattnerbdceca62010-02-17 18:57:19 +0000176 unsigned mfNum = MI->getParent()->getParent()->getFunctionNumber();
Chris Lattner2ab11002010-01-27 00:20:02 +0000177 unsigned bbNum = MI->getParent()->getNumber();
Chris Lattner840c7002009-09-15 17:46:24 +0000178
Chris Lattnerbdceca62010-02-17 18:57:19 +0000179 O << '\n' << ".LLGETPCH" << mfNum << '_' << bbNum << ":\n";
180 O << "\tcall\t.LLGETPC" << mfNum << '_' << bbNum << '\n' ;
Chris Lattner840c7002009-09-15 17:46:24 +0000181
182 O << "\t sethi\t"
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000183 << "%hi(_GLOBAL_OFFSET_TABLE_+(.-.LLGETPCH" << mfNum << '_' << bbNum
Venkatraman Govindarajuee347f82011-01-12 03:52:59 +0000184 << ")), " << operand << '\n' ;
Chris Lattner840c7002009-09-15 17:46:24 +0000185
Chris Lattnerbdceca62010-02-17 18:57:19 +0000186 O << ".LLGETPC" << mfNum << '_' << bbNum << ":\n" ;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000187 O << "\tor\t" << operand
Chris Lattner76c564b2010-04-04 04:47:45 +0000188 << ", %lo(_GLOBAL_OFFSET_TABLE_+(.-.LLGETPCH" << mfNum << '_' << bbNum
189 << ")), " << operand << '\n';
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000190 O << "\tadd\t" << operand << ", %o7, " << operand << '\n';
191
Chris Lattner840c7002009-09-15 17:46:24 +0000192 return true;
193}
194
Chris Lattner76c564b2010-04-04 04:47:45 +0000195void SparcAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum,
196 raw_ostream &O) {
Chris Lattner5c463782007-12-30 20:49:49 +0000197 int CC = (int)MI->getOperand(opNum).getImm();
Chris Lattner158e1f52006-02-05 05:50:24 +0000198 O << SPARCCondCodeToString((SPCC::CondCodes)CC);
199}
200
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000201/// PrintAsmOperand - Print out an operand for an inline asm expression.
202///
203bool SparcAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
204 unsigned AsmVariant,
Chris Lattner3bb09762010-04-04 05:29:35 +0000205 const char *ExtraCode,
206 raw_ostream &O) {
Anton Korobeynikovb80b4852008-10-10 20:29:50 +0000207 if (ExtraCode && ExtraCode[0]) {
208 if (ExtraCode[1] != 0) return true; // Unknown modifier.
209
210 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000211 default:
212 // See if this is a generic print operand
213 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O);
Anton Korobeynikovb80b4852008-10-10 20:29:50 +0000214 case 'r':
215 break;
216 }
217 }
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000218
Chris Lattner76c564b2010-04-04 04:47:45 +0000219 printOperand(MI, OpNo, O);
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000220
221 return false;
222}
223
224bool SparcAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Chris Lattner3bb09762010-04-04 05:29:35 +0000225 unsigned OpNo, unsigned AsmVariant,
226 const char *ExtraCode,
227 raw_ostream &O) {
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000228 if (ExtraCode && ExtraCode[0])
229 return true; // Unknown modifier
230
231 O << '[';
Chris Lattner76c564b2010-04-04 04:47:45 +0000232 printMemOperand(MI, OpNo, O);
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000233 O << ']';
234
235 return false;
236}
Douglas Gregor1b731d52009-06-16 20:12:29 +0000237
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000238/// isBlockOnlyReachableByFallthough - Return true if the basic block has
239/// exactly one predecessor and the control transfer mechanism between
240/// the predecessor and this block is a fall-through.
Chris Lattner29146d42010-03-06 07:02:28 +0000241///
242/// This overrides AsmPrinter's implementation to handle delay slots.
243bool SparcAsmPrinter::
244isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const {
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000245 // If this is a landing pad, it isn't a fall through. If it has no preds,
246 // then nothing falls through to it.
247 if (MBB->isLandingPad() || MBB->pred_empty())
248 return false;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000249
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000250 // If there isn't exactly one predecessor, it can't be a fall through.
251 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI;
252 ++PI2;
253 if (PI2 != MBB->pred_end())
254 return false;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000255
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000256 // The predecessor has to be immediately before this block.
257 const MachineBasicBlock *Pred = *PI;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000258
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000259 if (!Pred->isLayoutSuccessor(MBB))
260 return false;
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000261
Chris Lattner29146d42010-03-06 07:02:28 +0000262 // Check if the last terminator is an unconditional branch.
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000263 MachineBasicBlock::const_iterator I = Pred->end();
Evan Cheng7f8e5632011-12-07 07:15:52 +0000264 while (I != Pred->begin() && !(--I)->isTerminator())
Chris Lattner29146d42010-03-06 07:02:28 +0000265 ; // Noop
Evan Cheng7f8e5632011-12-07 07:15:52 +0000266 return I == Pred->end() || !I->isBarrier();
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000267}
268
Venkatraman Govindaraju1fc82632011-12-25 18:50:24 +0000269MachineLocation SparcAsmPrinter::
270getDebugValueLocation(const MachineInstr *MI) const {
271 assert(MI->getNumOperands() == 4 && "Invalid number of operands!");
272 assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm() &&
273 "Unexpected MachineOperand types");
274 return MachineLocation(MI->getOperand(0).getReg(),
275 MI->getOperand(1).getImm());
276}
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000277
Bob Wilson5a495fe2009-06-23 23:59:40 +0000278// Force static initialization.
Venkatraman Govindarajua54533ed2013-06-04 18:33:25 +0000279extern "C" void LLVMInitializeSparcAsmPrinter() {
Daniel Dunbar5680b4f2009-07-25 06:49:55 +0000280 RegisterAsmPrinter<SparcAsmPrinter> X(TheSparcTarget);
Chris Lattner8228b112010-02-04 06:34:01 +0000281 RegisterAsmPrinter<SparcAsmPrinter> Y(TheSparcV9Target);
Daniel Dunbare8338102009-07-15 20:24:03 +0000282}