blob: ace358e86d77cfcafec1e1768390cfce33ab4583 [file] [log] [blame]
Daniel Dunbarc680b012009-07-25 06:49:55 +00001//===-- MSP430AsmPrinter.cpp - MSP430 LLVM assembly writer ----------------===//
Anton Korobeynikov37171572009-05-03 12:57:15 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to the MSP430 assembly language.
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "asm-printer"
16#include "MSP430.h"
17#include "MSP430InstrInfo.h"
Anton Korobeynikov38640dd2009-10-21 00:10:47 +000018#include "MSP430InstPrinter.h"
Chris Lattner621c44d2009-08-22 20:48:53 +000019#include "MSP430MCAsmInfo.h"
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000020#include "MSP430MCInstLower.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000021#include "MSP430TargetMachine.h"
22#include "llvm/Constants.h"
23#include "llvm/DerivedTypes.h"
24#include "llvm/Module.h"
25#include "llvm/CodeGen/AsmPrinter.h"
26#include "llvm/CodeGen/DwarfWriter.h"
27#include "llvm/CodeGen/MachineModuleInfo.h"
28#include "llvm/CodeGen/MachineFunctionPass.h"
29#include "llvm/CodeGen/MachineConstantPool.h"
30#include "llvm/CodeGen/MachineInstr.h"
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000031#include "llvm/MC/MCInst.h"
Chris Lattner73266f92009-08-19 05:49:37 +000032#include "llvm/MC/MCStreamer.h"
Chris Lattnerc6f802d2009-09-13 17:14:04 +000033#include "llvm/MC/MCSymbol.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000034#include "llvm/Target/TargetData.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000035#include "llvm/Target/TargetLoweringObjectFile.h"
Daniel Dunbarc680b012009-07-25 06:49:55 +000036#include "llvm/Target/TargetRegistry.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000037#include "llvm/ADT/Statistic.h"
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000038#include "llvm/Support/CommandLine.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000039#include "llvm/Support/Compiler.h"
David Greene302008d2009-07-14 20:18:05 +000040#include "llvm/Support/FormattedStream.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000041#include "llvm/Support/Mangler.h"
Edwin Török675d5622009-07-11 20:10:48 +000042#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000043
44using namespace llvm;
45
46STATISTIC(EmittedInsts, "Number of machine instrs printed");
47
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000048static cl::opt<bool>
49EnableMCInst("enable-msp430-mcinst-printer", cl::Hidden,
50 cl::desc("enable experimental mcinst gunk in the msp430 backend"));
51
Anton Korobeynikov37171572009-05-03 12:57:15 +000052namespace {
53 class VISIBILITY_HIDDEN MSP430AsmPrinter : public AsmPrinter {
54 public:
Daniel Dunbar946686a2009-07-15 23:17:20 +000055 MSP430AsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Chris Lattnera5ef4d32009-08-22 21:43:10 +000056 const MCAsmInfo *MAI, bool V)
57 : AsmPrinter(O, TM, MAI, V) {}
Anton Korobeynikov37171572009-05-03 12:57:15 +000058
59 virtual const char *getPassName() const {
60 return "MSP430 Assembly Printer";
61 }
62
Anton Korobeynikov38640dd2009-10-21 00:10:47 +000063 void printMCInst(const MCInst *MI) {
64 MSP430InstPrinter(O, *MAI).printInstruction(MI);
65 }
Anton Korobeynikov4c88f112009-05-03 13:06:03 +000066 void printOperand(const MachineInstr *MI, int OpNum,
67 const char* Modifier = 0);
Anton Korobeynikovc9a90ae2009-10-21 00:13:25 +000068 void printPCRelImmOperand(const MachineInstr *MI, int OpNum) {
69 printOperand(MI, OpNum);
70 }
Anton Korobeynikov4c88f112009-05-03 13:06:03 +000071 void printSrcMemOperand(const MachineInstr *MI, int OpNum,
72 const char* Modifier = 0);
Anton Korobeynikov46499082009-05-03 13:12:23 +000073 void printCCOperand(const MachineInstr *MI, int OpNum);
Chris Lattnerddb259a2009-08-08 01:32:19 +000074 void printInstruction(const MachineInstr *MI); // autogenerated.
Chris Lattner213703c2009-09-13 20:19:22 +000075 static const char *getRegisterName(unsigned RegNo);
Chris Lattner92221692009-09-13 20:08:00 +000076
Anton Korobeynikov37171572009-05-03 12:57:15 +000077 void printMachineInstruction(const MachineInstr * MI);
Anton Korobeynikov7c672df2009-08-26 13:44:29 +000078 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
79 unsigned AsmVariant,
80 const char *ExtraCode);
Anton Korobeynikov92edf7f2009-10-11 19:13:34 +000081 bool PrintAsmMemoryOperand(const MachineInstr *MI,
82 unsigned OpNo, unsigned AsmVariant,
83 const char *ExtraCode);
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000084 void printInstructionThroughMCStreamer(const MachineInstr *MI);
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000085
86 void emitFunctionHeader(const MachineFunction &MF);
Anton Korobeynikov37171572009-05-03 12:57:15 +000087 bool runOnMachineFunction(MachineFunction &F);
Anton Korobeynikov37171572009-05-03 12:57:15 +000088
Chris Lattnerae982212009-07-21 18:38:57 +000089 virtual void PrintGlobalVariable(const GlobalVariable *GV) {
90 // FIXME: No support for global variables?
91 }
92
Anton Korobeynikov37171572009-05-03 12:57:15 +000093 void getAnalysisUsage(AnalysisUsage &AU) const {
94 AsmPrinter::getAnalysisUsage(AU);
95 AU.setPreservesAll();
96 }
97 };
98} // end of anonymous namespace
99
100#include "MSP430GenAsmWriter.inc"
101
Anton Korobeynikov37171572009-05-03 12:57:15 +0000102
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000103void MSP430AsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
104 const Function *F = MF.getFunction();
105
Chris Lattner73266f92009-08-19 05:49:37 +0000106 OutStreamer.SwitchSection(getObjFileLowering().SectionForGlobal(F, Mang, TM));
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000107
Bill Wendling25a8ae32009-06-30 22:38:32 +0000108 unsigned FnAlign = MF.getAlignment();
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000109 EmitAlignment(FnAlign, F);
110
111 switch (F->getLinkage()) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000112 default: llvm_unreachable("Unknown linkage type!");
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000113 case Function::InternalLinkage: // Symbols default to internal.
114 case Function::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +0000115 case Function::LinkerPrivateLinkage:
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000116 break;
117 case Function::ExternalLinkage:
118 O << "\t.globl\t" << CurrentFnName << '\n';
119 break;
120 case Function::LinkOnceAnyLinkage:
121 case Function::LinkOnceODRLinkage:
122 case Function::WeakAnyLinkage:
123 case Function::WeakODRLinkage:
124 O << "\t.weak\t" << CurrentFnName << '\n';
125 break;
126 }
127
128 printVisibility(CurrentFnName, F->getVisibility());
129
130 O << "\t.type\t" << CurrentFnName << ",@function\n"
131 << CurrentFnName << ":\n";
132}
133
Anton Korobeynikov83400902009-05-03 13:01:41 +0000134bool MSP430AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000135 SetupMachineFunction(MF);
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000136 O << "\n\n";
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000137
138 // Print the 'header' of function
139 emitFunctionHeader(MF);
140
Anton Korobeynikov83400902009-05-03 13:01:41 +0000141 // Print out code for the function.
142 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
143 I != E; ++I) {
144 // Print a label for the basic block.
Dan Gohman5fda4342009-10-06 17:38:38 +0000145 EmitBasicBlockStart(I);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000146
147 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000148 II != E; ++II)
Anton Korobeynikov83400902009-05-03 13:01:41 +0000149 // Print the assembly for the instruction.
Anton Korobeynikov83400902009-05-03 13:01:41 +0000150 printMachineInstruction(II);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000151 }
152
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000153 if (MAI->hasDotTypeDotSizeDirective())
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000154 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
155
Anton Korobeynikov37171572009-05-03 12:57:15 +0000156 // We didn't modify anything
157 return false;
158}
159
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000160void MSP430AsmPrinter::printMachineInstruction(const MachineInstr *MI) {
Anton Korobeynikov37171572009-05-03 12:57:15 +0000161 ++EmittedInsts;
162
Devang Patel5450fc12009-10-06 02:19:11 +0000163 processDebugLoc(MI, true);
Chris Lattner32d4cc72009-09-09 23:14:36 +0000164
Anton Korobeynikov37171572009-05-03 12:57:15 +0000165 // Call the autogenerated instruction printer routines.
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000166 if (EnableMCInst) {
167 printInstructionThroughMCStreamer(MI);
168 } else {
169 printInstruction(MI);
170 }
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000171
Chris Lattner32d4cc72009-09-09 23:14:36 +0000172 if (VerboseAsm && !MI->getDebugLoc().isUnknown())
173 EmitComments(*MI);
174 O << '\n';
Devang Patel5450fc12009-10-06 02:19:11 +0000175
176 processDebugLoc(MI, false);
Anton Korobeynikov37171572009-05-03 12:57:15 +0000177}
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000178
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000179void MSP430AsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
180 const char* Modifier) {
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000181 const MachineOperand &MO = MI->getOperand(OpNum);
182 switch (MO.getType()) {
183 case MachineOperand::MO_Register:
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000184 O << getRegisterName(MO.getReg());
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000185 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000186 case MachineOperand::MO_Immediate:
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000187 if (!Modifier || strcmp(Modifier, "nohash"))
188 O << '#';
189 O << MO.getImm();
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000190 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000191 case MachineOperand::MO_MachineBasicBlock:
Chris Lattnerc6f802d2009-09-13 17:14:04 +0000192 GetMBBSymbol(MO.getMBB()->getNumber())->print(O, MAI);
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000193 return;
194 case MachineOperand::MO_GlobalAddress: {
195 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
Chris Lattnerb3cdde62009-07-14 18:17:16 +0000196 std::string Name = Mang->getMangledName(MO.getGlobal());
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000197 uint64_t Offset = MO.getOffset();
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000198
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000199 O << (isMemOp ? '&' : '#');
200 if (Offset)
201 O << '(' << Offset << '+';
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000202
203 O << Name;
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000204 if (Offset)
205 O << ')';
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000206
207 return;
208 }
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000209 case MachineOperand::MO_ExternalSymbol: {
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000210 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000211 std::string Name(MAI->getGlobalPrefix());
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000212 Name += MO.getSymbolName();
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000213
214 O << (isMemOp ? '&' : '#') << Name;
215
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000216 return;
217 }
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000218 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000219 llvm_unreachable("Not implemented yet!");
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000220 }
221}
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000222
223void MSP430AsmPrinter::printSrcMemOperand(const MachineInstr *MI, int OpNum,
224 const char* Modifier) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000225 const MachineOperand &Base = MI->getOperand(OpNum);
226 const MachineOperand &Disp = MI->getOperand(OpNum+1);
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000227
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000228 if (Base.isGlobal())
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000229 printOperand(MI, OpNum, "mem");
230 else if (Disp.isImm() && !Base.getReg())
231 printOperand(MI, OpNum);
232 else if (Base.getReg()) {
233 if (Disp.getImm()) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000234 printOperand(MI, OpNum + 1, "nohash");
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000235 O << '(';
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000236 printOperand(MI, OpNum);
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000237 O << ')';
238 } else {
239 O << '@';
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000240 printOperand(MI, OpNum);
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000241 }
242 } else
Edwin Törökbd448e32009-07-14 16:55:14 +0000243 llvm_unreachable("Unsupported memory operand");
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000244}
245
Anton Korobeynikov46499082009-05-03 13:12:23 +0000246void MSP430AsmPrinter::printCCOperand(const MachineInstr *MI, int OpNum) {
247 unsigned CC = MI->getOperand(OpNum).getImm();
248
249 switch (CC) {
250 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000251 llvm_unreachable("Unsupported CC code");
Anton Korobeynikov46499082009-05-03 13:12:23 +0000252 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000253 case MSP430CC::COND_E:
Anton Korobeynikov2e3b0442009-05-03 13:16:54 +0000254 O << "eq";
Anton Korobeynikov46499082009-05-03 13:12:23 +0000255 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000256 case MSP430CC::COND_NE:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000257 O << "ne";
258 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000259 case MSP430CC::COND_HS:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000260 O << "hs";
261 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000262 case MSP430CC::COND_LO:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000263 O << "lo";
264 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000265 case MSP430CC::COND_GE:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000266 O << "ge";
267 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000268 case MSP430CC::COND_L:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000269 O << 'l';
270 break;
271 }
272}
Daniel Dunbarc680b012009-07-25 06:49:55 +0000273
Anton Korobeynikov7c672df2009-08-26 13:44:29 +0000274/// PrintAsmOperand - Print out an operand for an inline asm expression.
275///
276bool MSP430AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
277 unsigned AsmVariant,
278 const char *ExtraCode) {
279 // Does this asm operand have a single letter operand modifier?
280 if (ExtraCode && ExtraCode[0])
281 return true; // Unknown modifier.
282
283 printOperand(MI, OpNo);
284 return false;
285}
286
Anton Korobeynikov92edf7f2009-10-11 19:13:34 +0000287bool MSP430AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
288 unsigned OpNo, unsigned AsmVariant,
289 const char *ExtraCode) {
290 if (ExtraCode && ExtraCode[0]) {
291 return true; // Unknown modifier.
292 }
293 printSrcMemOperand(MI, OpNo);
294 return false;
295}
296
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000297//===----------------------------------------------------------------------===//
298void MSP430AsmPrinter::printInstructionThroughMCStreamer(const MachineInstr *MI)
299{
300
Anton Korobeynikov7199ce52009-10-21 00:13:05 +0000301 MSP430MCInstLower MCInstLowering(OutContext, *Mang, *this);
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000302
303 switch (MI->getOpcode()) {
304 case TargetInstrInfo::DBG_LABEL:
305 case TargetInstrInfo::EH_LABEL:
306 case TargetInstrInfo::GC_LABEL:
307 printLabel(MI);
308 return;
309 case TargetInstrInfo::KILL:
310 return;
311 case TargetInstrInfo::INLINEASM:
312 O << '\t';
313 printInlineAsm(MI);
314 return;
315 case TargetInstrInfo::IMPLICIT_DEF:
316 printImplicitDef(MI);
317 return;
318 default: break;
319 }
320
321 MCInst TmpInst;
322 MCInstLowering.Lower(MI, TmpInst);
323
324 printMCInst(&TmpInst);
325}
326
Anton Korobeynikovf1a7a482009-08-14 19:06:50 +0000327// Force static initialization.
328extern "C" void LLVMInitializeMSP430AsmPrinter() {
329 RegisterAsmPrinter<MSP430AsmPrinter> X(TheMSP430Target);
Daniel Dunbarc680b012009-07-25 06:49:55 +0000330}