blob: 5d98dcdaf8b7b01c5c276696fbb68d737afbf318 [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"
Anton Korobeynikovc51a65b2009-11-07 17:12:58 +000025#include "llvm/Assembly/Writer.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000026#include "llvm/CodeGen/AsmPrinter.h"
27#include "llvm/CodeGen/DwarfWriter.h"
28#include "llvm/CodeGen/MachineModuleInfo.h"
29#include "llvm/CodeGen/MachineFunctionPass.h"
30#include "llvm/CodeGen/MachineConstantPool.h"
31#include "llvm/CodeGen/MachineInstr.h"
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000032#include "llvm/MC/MCInst.h"
Chris Lattner73266f92009-08-19 05:49:37 +000033#include "llvm/MC/MCStreamer.h"
Chris Lattnerc6f802d2009-09-13 17:14:04 +000034#include "llvm/MC/MCSymbol.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000035#include "llvm/Target/TargetData.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000036#include "llvm/Target/TargetLoweringObjectFile.h"
Daniel Dunbarc680b012009-07-25 06:49:55 +000037#include "llvm/Target/TargetRegistry.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000038#include "llvm/ADT/Statistic.h"
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000039#include "llvm/Support/CommandLine.h"
David Greene302008d2009-07-14 20:18:05 +000040#include "llvm/Support/FormattedStream.h"
Edwin Török675d5622009-07-11 20:10:48 +000041#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000042using namespace llvm;
43
44STATISTIC(EmittedInsts, "Number of machine instrs printed");
45
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000046static cl::opt<bool>
47EnableMCInst("enable-msp430-mcinst-printer", cl::Hidden,
48 cl::desc("enable experimental mcinst gunk in the msp430 backend"));
49
Anton Korobeynikov37171572009-05-03 12:57:15 +000050namespace {
Nick Lewycky492d06e2009-10-25 06:33:48 +000051 class MSP430AsmPrinter : public AsmPrinter {
Anton Korobeynikov37171572009-05-03 12:57:15 +000052 public:
Daniel Dunbar946686a2009-07-15 23:17:20 +000053 MSP430AsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Chris Lattnera5ef4d32009-08-22 21:43:10 +000054 const MCAsmInfo *MAI, bool V)
55 : AsmPrinter(O, TM, MAI, V) {}
Anton Korobeynikov37171572009-05-03 12:57:15 +000056
57 virtual const char *getPassName() const {
58 return "MSP430 Assembly Printer";
59 }
60
Anton Korobeynikov38640dd2009-10-21 00:10:47 +000061 void printMCInst(const MCInst *MI) {
62 MSP430InstPrinter(O, *MAI).printInstruction(MI);
63 }
Anton Korobeynikov4c88f112009-05-03 13:06:03 +000064 void printOperand(const MachineInstr *MI, int OpNum,
65 const char* Modifier = 0);
Anton Korobeynikovc9a90ae2009-10-21 00:13:25 +000066 void printPCRelImmOperand(const MachineInstr *MI, int OpNum) {
67 printOperand(MI, OpNum);
68 }
Anton Korobeynikov4c88f112009-05-03 13:06:03 +000069 void printSrcMemOperand(const MachineInstr *MI, int OpNum,
70 const char* Modifier = 0);
Anton Korobeynikov46499082009-05-03 13:12:23 +000071 void printCCOperand(const MachineInstr *MI, int OpNum);
Anton Korobeynikov37171572009-05-03 12:57:15 +000072 void printMachineInstruction(const MachineInstr * MI);
Anton Korobeynikov7c672df2009-08-26 13:44:29 +000073 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
74 unsigned AsmVariant,
75 const char *ExtraCode);
Anton Korobeynikov92edf7f2009-10-11 19:13:34 +000076 bool PrintAsmMemoryOperand(const MachineInstr *MI,
77 unsigned OpNo, unsigned AsmVariant,
78 const char *ExtraCode);
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +000079 void printInstructionThroughMCStreamer(const MachineInstr *MI);
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000080
Anton Korobeynikov37171572009-05-03 12:57:15 +000081 bool runOnMachineFunction(MachineFunction &F);
Anton Korobeynikov37171572009-05-03 12:57:15 +000082
83 void getAnalysisUsage(AnalysisUsage &AU) const {
84 AsmPrinter::getAnalysisUsage(AU);
85 AU.setPreservesAll();
86 }
87 };
88} // end of anonymous namespace
89
Anton Korobeynikovc51a65b2009-11-07 17:12:58 +000090
Anton Korobeynikov83400902009-05-03 13:01:41 +000091bool MSP430AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000092 SetupMachineFunction(MF);
Anton Korobeynikova5a157b2009-05-03 13:17:31 +000093 O << "\n\n";
Chris Lattner7eb11562010-01-27 00:17:20 +000094
95 EmitFunctionHeader();
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000096
Anton Korobeynikov83400902009-05-03 13:01:41 +000097 // Print out code for the function.
98 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
99 I != E; ++I) {
100 // Print a label for the basic block.
Dan Gohman5fda4342009-10-06 17:38:38 +0000101 EmitBasicBlockStart(I);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000102
103 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000104 II != E; ++II)
Anton Korobeynikov83400902009-05-03 13:01:41 +0000105 // Print the assembly for the instruction.
Anton Korobeynikov83400902009-05-03 13:01:41 +0000106 printMachineInstruction(II);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000107 }
108
Chris Lattnerce409842010-01-17 21:43:43 +0000109 if (MAI->hasDotTypeDotSizeDirective())
110 O << "\t.size\t" << *CurrentFnSym << ", .-" << *CurrentFnSym << '\n';
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000111
Chris Lattner08633c02010-01-26 22:06:58 +0000112 // Print out constants referenced by the function
113 EmitConstantPool(MF.getConstantPool());
114 EmitJumpTableInfo(MF);
115
Anton Korobeynikov37171572009-05-03 12:57:15 +0000116 // We didn't modify anything
117 return false;
118}
119
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000120void MSP430AsmPrinter::printMachineInstruction(const MachineInstr *MI) {
Anton Korobeynikov37171572009-05-03 12:57:15 +0000121 ++EmittedInsts;
122
Devang Patel5450fc12009-10-06 02:19:11 +0000123 processDebugLoc(MI, true);
Chris Lattner32d4cc72009-09-09 23:14:36 +0000124
Anton Korobeynikovdb3ab2f2009-11-07 17:12:21 +0000125 printInstructionThroughMCStreamer(MI);
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000126
David Greeneca9b04b2009-11-13 21:34:57 +0000127 if (VerboseAsm)
Chris Lattner32d4cc72009-09-09 23:14:36 +0000128 EmitComments(*MI);
129 O << '\n';
Devang Patel5450fc12009-10-06 02:19:11 +0000130
131 processDebugLoc(MI, false);
Anton Korobeynikov37171572009-05-03 12:57:15 +0000132}
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000133
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000134void MSP430AsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
135 const char* Modifier) {
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000136 const MachineOperand &MO = MI->getOperand(OpNum);
137 switch (MO.getType()) {
138 case MachineOperand::MO_Register:
Anton Korobeynikovdb3ab2f2009-11-07 17:12:21 +0000139 O << MSP430InstPrinter::getRegisterName(MO.getReg());
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000140 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000141 case MachineOperand::MO_Immediate:
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000142 if (!Modifier || strcmp(Modifier, "nohash"))
143 O << '#';
144 O << MO.getImm();
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000145 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000146 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner84d5ca92010-01-26 04:55:51 +0000147 O << *MO.getMBB()->getSymbol(OutContext);
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000148 return;
149 case MachineOperand::MO_GlobalAddress: {
150 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000151 uint64_t Offset = MO.getOffset();
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000152
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000153 O << (isMemOp ? '&' : '#');
154 if (Offset)
155 O << '(' << Offset << '+';
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000156
Chris Lattnerce409842010-01-17 21:43:43 +0000157 O << *GetGlobalValueSymbol(MO.getGlobal());
Chris Lattner651adf32010-01-16 00:21:18 +0000158
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000159 if (Offset)
160 O << ')';
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000161
162 return;
163 }
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000164 case MachineOperand::MO_ExternalSymbol: {
Anton Korobeynikov0c425ac2009-10-11 19:14:02 +0000165 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
Chris Lattner651adf32010-01-16 00:21:18 +0000166 O << (isMemOp ? '&' : '#');
167 O << MAI->getGlobalPrefix() << MO.getSymbolName();
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000168 return;
169 }
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000170 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000171 llvm_unreachable("Not implemented yet!");
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000172 }
173}
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000174
175void MSP430AsmPrinter::printSrcMemOperand(const MachineInstr *MI, int OpNum,
176 const char* Modifier) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000177 const MachineOperand &Base = MI->getOperand(OpNum);
178 const MachineOperand &Disp = MI->getOperand(OpNum+1);
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000179
Anton Korobeynikov1c7e1662009-11-07 17:13:35 +0000180 // Print displacement first
181 if (!Disp.isImm()) {
182 printOperand(MI, OpNum+1, "mem");
183 } else {
184 if (!Base.getReg())
185 O << '&';
186
187 printOperand(MI, OpNum+1, "nohash");
188 }
189
190
191 // Print register base field
192 if (Base.getReg()) {
193 O << '(';
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000194 printOperand(MI, OpNum);
Anton Korobeynikov1c7e1662009-11-07 17:13:35 +0000195 O << ')';
196 }
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000197}
198
Anton Korobeynikov46499082009-05-03 13:12:23 +0000199void MSP430AsmPrinter::printCCOperand(const MachineInstr *MI, int OpNum) {
200 unsigned CC = MI->getOperand(OpNum).getImm();
201
202 switch (CC) {
203 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000204 llvm_unreachable("Unsupported CC code");
Anton Korobeynikov46499082009-05-03 13:12:23 +0000205 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000206 case MSP430CC::COND_E:
Anton Korobeynikov2e3b0442009-05-03 13:16:54 +0000207 O << "eq";
Anton Korobeynikov46499082009-05-03 13:12:23 +0000208 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000209 case MSP430CC::COND_NE:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000210 O << "ne";
211 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000212 case MSP430CC::COND_HS:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000213 O << "hs";
214 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000215 case MSP430CC::COND_LO:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000216 O << "lo";
217 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000218 case MSP430CC::COND_GE:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000219 O << "ge";
220 break;
Anton Korobeynikova791a042009-10-21 19:16:49 +0000221 case MSP430CC::COND_L:
Anton Korobeynikov46499082009-05-03 13:12:23 +0000222 O << 'l';
223 break;
224 }
225}
Daniel Dunbarc680b012009-07-25 06:49:55 +0000226
Anton Korobeynikov7c672df2009-08-26 13:44:29 +0000227/// PrintAsmOperand - Print out an operand for an inline asm expression.
228///
229bool MSP430AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
230 unsigned AsmVariant,
231 const char *ExtraCode) {
232 // Does this asm operand have a single letter operand modifier?
233 if (ExtraCode && ExtraCode[0])
234 return true; // Unknown modifier.
235
236 printOperand(MI, OpNo);
237 return false;
238}
239
Anton Korobeynikov92edf7f2009-10-11 19:13:34 +0000240bool MSP430AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
241 unsigned OpNo, unsigned AsmVariant,
242 const char *ExtraCode) {
243 if (ExtraCode && ExtraCode[0]) {
244 return true; // Unknown modifier.
245 }
246 printSrcMemOperand(MI, OpNo);
247 return false;
248}
249
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000250//===----------------------------------------------------------------------===//
Anton Korobeynikovdb3ab2f2009-11-07 17:12:21 +0000251void MSP430AsmPrinter::printInstructionThroughMCStreamer(const MachineInstr *MI){
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000252
Anton Korobeynikov7199ce52009-10-21 00:13:05 +0000253 MSP430MCInstLower MCInstLowering(OutContext, *Mang, *this);
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000254
255 switch (MI->getOpcode()) {
256 case TargetInstrInfo::DBG_LABEL:
257 case TargetInstrInfo::EH_LABEL:
258 case TargetInstrInfo::GC_LABEL:
259 printLabel(MI);
260 return;
261 case TargetInstrInfo::KILL:
Jakob Stoklund Olesen7f251672009-11-04 19:24:37 +0000262 printKill(MI);
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000263 return;
264 case TargetInstrInfo::INLINEASM:
Anton Korobeynikov1c7ceed2009-10-21 00:11:08 +0000265 printInlineAsm(MI);
266 return;
267 case TargetInstrInfo::IMPLICIT_DEF:
268 printImplicitDef(MI);
269 return;
270 default: break;
271 }
272
273 MCInst TmpInst;
274 MCInstLowering.Lower(MI, TmpInst);
275
276 printMCInst(&TmpInst);
277}
278
Anton Korobeynikovdb3ab2f2009-11-07 17:12:21 +0000279static MCInstPrinter *createMSP430MCInstPrinter(const Target &T,
280 unsigned SyntaxVariant,
281 const MCAsmInfo &MAI,
282 raw_ostream &O) {
283 if (SyntaxVariant == 0)
284 return new MSP430InstPrinter(O, MAI);
285 return 0;
286}
287
Anton Korobeynikovf1a7a482009-08-14 19:06:50 +0000288// Force static initialization.
289extern "C" void LLVMInitializeMSP430AsmPrinter() {
290 RegisterAsmPrinter<MSP430AsmPrinter> X(TheMSP430Target);
Anton Korobeynikovdb3ab2f2009-11-07 17:12:21 +0000291 TargetRegistry::RegisterMCInstPrinter(TheMSP430Target,
292 createMSP430MCInstPrinter);
Daniel Dunbarc680b012009-07-25 06:49:55 +0000293}