blob: e35f8931875e81dd1b77798cb14ed5095c9734c6 [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"
Chris Lattner158e1f52006-02-05 05:50:24 +000019#include "llvm/CodeGen/AsmPrinter.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000020#include "llvm/CodeGen/MachineInstr.h"
Chris Lattner7b26fce2009-08-22 20:48:53 +000021#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerff68a422010-02-10 00:36:00 +000022#include "llvm/MC/MCStreamer.h"
Chris Lattner4cd44982009-09-13 17:14:04 +000023#include "llvm/MC/MCSymbol.h"
Chris Lattner0b822ab2010-03-12 21:19:23 +000024#include "llvm/Target/Mangler.h"
Daniel Dunbare8338102009-07-15 20:24:03 +000025#include "llvm/Target/TargetRegistry.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000026#include "llvm/ADT/StringExtras.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000027#include "llvm/Support/FormattedStream.h"
Chris Lattner158e1f52006-02-05 05:50:24 +000028using namespace llvm;
29
Chris Lattner1ef9cd42006-12-19 22:59:26 +000030namespace {
Nick Lewycky02d5f772009-10-25 06:33:48 +000031 class SparcAsmPrinter : public AsmPrinter {
Bill Wendlingc5437ea2009-02-24 08:30:20 +000032 public:
David Greenea31f96c2009-07-14 20:18:05 +000033 explicit SparcAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Chris Lattnerb0d44c32010-02-02 23:37:42 +000034 MCContext &Ctx, MCStreamer &Streamer,
35 const MCAsmInfo *T)
36 : AsmPrinter(O, TM, Ctx, Streamer, T) {}
Chris Lattner158e1f52006-02-05 05:50:24 +000037
38 virtual const char *getPassName() const {
39 return "Sparc Assembly Printer";
40 }
41
42 void printOperand(const MachineInstr *MI, int opNum);
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +000043 void printMemOperand(const MachineInstr *MI, int opNum,
44 const char *Modifier = 0);
Chris Lattner158e1f52006-02-05 05:50:24 +000045 void printCCOperand(const MachineInstr *MI, int opNum);
46
Chris Lattnerfd97a332010-01-28 01:48:52 +000047 virtual void EmitInstruction(const MachineInstr *MI) {
48 printInstruction(MI);
Chris Lattnerff68a422010-02-10 00:36:00 +000049 OutStreamer.AddBlankLine();
Chris Lattnerfd97a332010-01-28 01:48:52 +000050 }
Chris Lattnerb94284b2009-08-08 01:32:19 +000051 void printInstruction(const MachineInstr *MI); // autogenerated.
Chris Lattnerad10b3b2009-09-13 20:19:22 +000052 static const char *getRegisterName(unsigned RegNo);
Chris Lattner06c5eed2009-09-13 20:08:00 +000053
Anton Korobeynikov3db21732008-10-10 10:15:03 +000054 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
55 unsigned AsmVariant, const char *ExtraCode);
56 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
57 unsigned AsmVariant, const char *ExtraCode);
Chris Lattner840c7002009-09-15 17:46:24 +000058
Chris Lattner840c7002009-09-15 17:46:24 +000059 bool printGetPCX(const MachineInstr *MI, unsigned OpNo);
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +000060
61 virtual bool isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB)
62 const;
Chris Lattner158e1f52006-02-05 05:50:24 +000063 };
64} // end of anonymous namespace
65
66#include "SparcGenAsmWriter.inc"
67
Chris Lattner158e1f52006-02-05 05:50:24 +000068void SparcAsmPrinter::printOperand(const MachineInstr *MI, int opNum) {
69 const MachineOperand &MO = MI->getOperand (opNum);
Chris Lattner158e1f52006-02-05 05:50:24 +000070 bool CloseParen = false;
Dan Gohman0d1e9a82008-10-03 15:45:36 +000071 if (MI->getOpcode() == SP::SETHIi && !MO.isReg() && !MO.isImm()) {
Chris Lattner158e1f52006-02-05 05:50:24 +000072 O << "%hi(";
73 CloseParen = true;
Dan Gohman0d1e9a82008-10-03 15:45:36 +000074 } else if ((MI->getOpcode() == SP::ORri || MI->getOpcode() == SP::ADDri) &&
75 !MO.isReg() && !MO.isImm()) {
Chris Lattner158e1f52006-02-05 05:50:24 +000076 O << "%lo(";
77 CloseParen = true;
78 }
79 switch (MO.getType()) {
Chris Lattner10b71c02006-05-04 18:05:43 +000080 case MachineOperand::MO_Register:
Chris Lattnereb2cc682009-09-13 20:31:40 +000081 O << "%" << LowercaseString(getRegisterName(MO.getReg()));
Chris Lattner158e1f52006-02-05 05:50:24 +000082 break;
83
Chris Lattnerfef7a2d2006-05-04 17:21:20 +000084 case MachineOperand::MO_Immediate:
Chris Lattner5c463782007-12-30 20:49:49 +000085 O << (int)MO.getImm();
Chris Lattner158e1f52006-02-05 05:50:24 +000086 break;
Nate Begeman4ca2ea52006-04-22 18:53:45 +000087 case MachineOperand::MO_MachineBasicBlock:
Chris Lattnerd051af72010-01-26 04:55:51 +000088 O << *MO.getMBB()->getSymbol(OutContext);
Chris Lattner158e1f52006-02-05 05:50:24 +000089 return;
Chris Lattner158e1f52006-02-05 05:50:24 +000090 case MachineOperand::MO_GlobalAddress:
Chris Lattner0b822ab2010-03-12 21:19:23 +000091 O << *Mang->getSymbol(MO.getGlobal());
Chris Lattner158e1f52006-02-05 05:50:24 +000092 break;
93 case MachineOperand::MO_ExternalSymbol:
94 O << MO.getSymbolName();
95 break;
96 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnere9a75a62009-08-22 21:43:10 +000097 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << "_"
Chris Lattnera5bb3702007-12-30 23:10:15 +000098 << MO.getIndex();
Chris Lattner158e1f52006-02-05 05:50:24 +000099 break;
100 default:
Torok Edwinfbcc6632009-07-14 16:55:14 +0000101 llvm_unreachable("<unknown operand type>");
Chris Lattner158e1f52006-02-05 05:50:24 +0000102 }
103 if (CloseParen) O << ")";
104}
105
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +0000106void SparcAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
107 const char *Modifier) {
Chris Lattner158e1f52006-02-05 05:50:24 +0000108 printOperand(MI, opNum);
Anton Korobeynikov1a11e8a2008-08-07 09:51:25 +0000109
Chris Lattnerfcb8a3a2006-02-10 07:35:42 +0000110 // If this is an ADD operand, emit it like normal operands.
111 if (Modifier && !strcmp(Modifier, "arith")) {
112 O << ", ";
113 printOperand(MI, opNum+1);
114 return;
115 }
Anton Korobeynikov1a11e8a2008-08-07 09:51:25 +0000116
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000117 if (MI->getOperand(opNum+1).isReg() &&
Chris Lattner158e1f52006-02-05 05:50:24 +0000118 MI->getOperand(opNum+1).getReg() == SP::G0)
119 return; // don't print "+%g0"
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000120 if (MI->getOperand(opNum+1).isImm() &&
Chris Lattner5c463782007-12-30 20:49:49 +0000121 MI->getOperand(opNum+1).getImm() == 0)
Chris Lattner158e1f52006-02-05 05:50:24 +0000122 return; // don't print "+0"
Anton Korobeynikov1a11e8a2008-08-07 09:51:25 +0000123
Chris Lattner158e1f52006-02-05 05:50:24 +0000124 O << "+";
Dan Gohman0d1e9a82008-10-03 15:45:36 +0000125 if (MI->getOperand(opNum+1).isGlobal() ||
126 MI->getOperand(opNum+1).isCPI()) {
Chris Lattner158e1f52006-02-05 05:50:24 +0000127 O << "%lo(";
128 printOperand(MI, opNum+1);
129 O << ")";
130 } else {
131 printOperand(MI, opNum+1);
132 }
133}
134
Chris Lattner840c7002009-09-15 17:46:24 +0000135bool SparcAsmPrinter::printGetPCX(const MachineInstr *MI, unsigned opNum) {
136 std::string operand = "";
137 const MachineOperand &MO = MI->getOperand(opNum);
138 switch (MO.getType()) {
139 default: assert(0 && "Operand is not a register ");
140 case MachineOperand::MO_Register:
141 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
142 "Operand is not a physical register ");
143 operand = "%" + LowercaseString(getRegisterName(MO.getReg()));
144 break;
145 }
146
Chris Lattnerbdceca62010-02-17 18:57:19 +0000147 unsigned mfNum = MI->getParent()->getParent()->getFunctionNumber();
Chris Lattner2ab11002010-01-27 00:20:02 +0000148 unsigned bbNum = MI->getParent()->getNumber();
Chris Lattner840c7002009-09-15 17:46:24 +0000149
Chris Lattnerbdceca62010-02-17 18:57:19 +0000150 O << '\n' << ".LLGETPCH" << mfNum << '_' << bbNum << ":\n";
151 O << "\tcall\t.LLGETPC" << mfNum << '_' << bbNum << '\n' ;
Chris Lattner840c7002009-09-15 17:46:24 +0000152
153 O << "\t sethi\t"
Chris Lattnerbdceca62010-02-17 18:57:19 +0000154 << "%hi(_GLOBAL_OFFSET_TABLE_+(.-.LLGETPCH" << mfNum << '_' << bbNum << ")), "
Chris Lattner840c7002009-09-15 17:46:24 +0000155 << operand << '\n' ;
156
Chris Lattnerbdceca62010-02-17 18:57:19 +0000157 O << ".LLGETPC" << mfNum << '_' << bbNum << ":\n" ;
Chris Lattner840c7002009-09-15 17:46:24 +0000158 O << "\tor\t" << operand
Chris Lattnerbdceca62010-02-17 18:57:19 +0000159 << ", %lo(_GLOBAL_OFFSET_TABLE_+(.-.LLGETPCH" << mfNum << '_' << bbNum << ")), "
Chris Lattner840c7002009-09-15 17:46:24 +0000160 << operand << '\n';
161 O << "\tadd\t" << operand << ", %o7, " << operand << '\n';
162
163 return true;
164}
165
Chris Lattner158e1f52006-02-05 05:50:24 +0000166void SparcAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Chris Lattner5c463782007-12-30 20:49:49 +0000167 int CC = (int)MI->getOperand(opNum).getImm();
Chris Lattner158e1f52006-02-05 05:50:24 +0000168 O << SPARCCondCodeToString((SPCC::CondCodes)CC);
169}
170
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000171/// PrintAsmOperand - Print out an operand for an inline asm expression.
172///
173bool SparcAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
174 unsigned AsmVariant,
175 const char *ExtraCode) {
Anton Korobeynikovb80b4852008-10-10 20:29:50 +0000176 if (ExtraCode && ExtraCode[0]) {
177 if (ExtraCode[1] != 0) return true; // Unknown modifier.
178
179 switch (ExtraCode[0]) {
180 default: return true; // Unknown modifier.
181 case 'r':
182 break;
183 }
184 }
Anton Korobeynikov3db21732008-10-10 10:15:03 +0000185
186 printOperand(MI, OpNo);
187
188 return false;
189}
190
191bool SparcAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
192 unsigned OpNo,
193 unsigned AsmVariant,
194 const char *ExtraCode) {
195 if (ExtraCode && ExtraCode[0])
196 return true; // Unknown modifier
197
198 O << '[';
199 printMemOperand(MI, OpNo);
200 O << ']';
201
202 return false;
203}
Douglas Gregor1b731d52009-06-16 20:12:29 +0000204
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000205/// isBlockOnlyReachableByFallthough - Return true if the basic block has
206/// exactly one predecessor and the control transfer mechanism between
207/// the predecessor and this block is a fall-through.
Chris Lattner29146d42010-03-06 07:02:28 +0000208///
209/// This overrides AsmPrinter's implementation to handle delay slots.
210bool SparcAsmPrinter::
211isBlockOnlyReachableByFallthrough(const MachineBasicBlock *MBB) const {
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000212 // If this is a landing pad, it isn't a fall through. If it has no preds,
213 // then nothing falls through to it.
214 if (MBB->isLandingPad() || MBB->pred_empty())
215 return false;
216
217 // If there isn't exactly one predecessor, it can't be a fall through.
218 MachineBasicBlock::const_pred_iterator PI = MBB->pred_begin(), PI2 = PI;
219 ++PI2;
220 if (PI2 != MBB->pred_end())
221 return false;
222
223 // The predecessor has to be immediately before this block.
224 const MachineBasicBlock *Pred = *PI;
225
226 if (!Pred->isLayoutSuccessor(MBB))
227 return false;
228
Chris Lattner29146d42010-03-06 07:02:28 +0000229 // Check if the last terminator is an unconditional branch.
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000230 MachineBasicBlock::const_iterator I = Pred->end();
Chris Lattner29146d42010-03-06 07:02:28 +0000231 while (I != Pred->begin() && !(--I)->getDesc().isTerminator())
232 ; // Noop
Chris Lattner1fa9c2cc2010-02-17 18:52:56 +0000233 return I == Pred->end() || !I->getDesc().isBarrier();
234}
235
236
237
Bob Wilson5a495fe2009-06-23 23:59:40 +0000238// Force static initialization.
Daniel Dunbare8338102009-07-15 20:24:03 +0000239extern "C" void LLVMInitializeSparcAsmPrinter() {
Daniel Dunbar5680b4f2009-07-25 06:49:55 +0000240 RegisterAsmPrinter<SparcAsmPrinter> X(TheSparcTarget);
Chris Lattner8228b112010-02-04 06:34:01 +0000241 RegisterAsmPrinter<SparcAsmPrinter> Y(TheSparcV9Target);
Daniel Dunbare8338102009-07-15 20:24:03 +0000242}