blob: 4905f25ceb875df4928a4d67a825d4815010af51 [file] [log] [blame]
Anton Korobeynikov37171572009-05-03 12:57:15 +00001//===-- MSP430AsmPrinter.cpp - MSP430 LLVM assembly writer ------------------===//
2//
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"
18#include "MSP430TargetMachine.h"
19#include "llvm/Constants.h"
20#include "llvm/DerivedTypes.h"
21#include "llvm/Module.h"
22#include "llvm/CodeGen/AsmPrinter.h"
23#include "llvm/CodeGen/DwarfWriter.h"
24#include "llvm/CodeGen/MachineModuleInfo.h"
25#include "llvm/CodeGen/MachineFunctionPass.h"
26#include "llvm/CodeGen/MachineConstantPool.h"
27#include "llvm/CodeGen/MachineInstr.h"
28#include "llvm/Target/TargetAsmInfo.h"
29#include "llvm/Target/TargetData.h"
30#include "llvm/ADT/Statistic.h"
31#include "llvm/Support/Compiler.h"
David Greene302008d2009-07-14 20:18:05 +000032#include "llvm/Support/FormattedStream.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000033#include "llvm/Support/Mangler.h"
Edwin Török675d5622009-07-11 20:10:48 +000034#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000035
36using namespace llvm;
37
38STATISTIC(EmittedInsts, "Number of machine instrs printed");
39
40namespace {
41 class VISIBILITY_HIDDEN MSP430AsmPrinter : public AsmPrinter {
42 public:
Daniel Dunbar946686a2009-07-15 23:17:20 +000043 MSP430AsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Daniel Dunbarb10d2222009-07-01 01:48:54 +000044 const TargetAsmInfo *TAI, bool V)
45 : AsmPrinter(O, TM, TAI, V) {}
Anton Korobeynikov37171572009-05-03 12:57:15 +000046
47 virtual const char *getPassName() const {
48 return "MSP430 Assembly Printer";
49 }
50
Anton Korobeynikov4c88f112009-05-03 13:06:03 +000051 void printOperand(const MachineInstr *MI, int OpNum,
52 const char* Modifier = 0);
53 void printSrcMemOperand(const MachineInstr *MI, int OpNum,
54 const char* Modifier = 0);
Anton Korobeynikov46499082009-05-03 13:12:23 +000055 void printCCOperand(const MachineInstr *MI, int OpNum);
Anton Korobeynikov37171572009-05-03 12:57:15 +000056 bool printInstruction(const MachineInstr *MI); // autogenerated.
57 void printMachineInstruction(const MachineInstr * MI);
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000058
59 void emitFunctionHeader(const MachineFunction &MF);
Anton Korobeynikov37171572009-05-03 12:57:15 +000060 bool runOnMachineFunction(MachineFunction &F);
Anton Korobeynikov37171572009-05-03 12:57:15 +000061
Chris Lattnerae982212009-07-21 18:38:57 +000062 virtual void PrintGlobalVariable(const GlobalVariable *GV) {
63 // FIXME: No support for global variables?
64 }
65
Anton Korobeynikov37171572009-05-03 12:57:15 +000066 void getAnalysisUsage(AnalysisUsage &AU) const {
67 AsmPrinter::getAnalysisUsage(AU);
68 AU.setPreservesAll();
69 }
70 };
71} // end of anonymous namespace
72
73#include "MSP430GenAsmWriter.inc"
74
75/// createMSP430CodePrinterPass - Returns a pass that prints the MSP430
76/// assembly code for a MachineFunction to the given output stream,
77/// using the given target machine description. This should work
78/// regardless of whether the function is in SSA form.
79///
David Greene302008d2009-07-14 20:18:05 +000080FunctionPass *llvm::createMSP430CodePrinterPass(formatted_raw_ostream &o,
Daniel Dunbar946686a2009-07-15 23:17:20 +000081 TargetMachine &tm,
Anton Korobeynikov0d370dc2009-05-03 13:19:42 +000082 bool verbose) {
Daniel Dunbarb10d2222009-07-01 01:48:54 +000083 return new MSP430AsmPrinter(o, tm, tm.getTargetAsmInfo(), verbose);
Anton Korobeynikov37171572009-05-03 12:57:15 +000084}
85
Anton Korobeynikov37171572009-05-03 12:57:15 +000086
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000087void MSP430AsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
88 const Function *F = MF.getFunction();
89
90 SwitchToSection(TAI->SectionForGlobal(F));
91
Bill Wendling25a8ae32009-06-30 22:38:32 +000092 unsigned FnAlign = MF.getAlignment();
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000093 EmitAlignment(FnAlign, F);
94
95 switch (F->getLinkage()) {
Edwin Törökbd448e32009-07-14 16:55:14 +000096 default: llvm_unreachable("Unknown linkage type!");
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000097 case Function::InternalLinkage: // Symbols default to internal.
98 case Function::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +000099 case Function::LinkerPrivateLinkage:
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000100 break;
101 case Function::ExternalLinkage:
102 O << "\t.globl\t" << CurrentFnName << '\n';
103 break;
104 case Function::LinkOnceAnyLinkage:
105 case Function::LinkOnceODRLinkage:
106 case Function::WeakAnyLinkage:
107 case Function::WeakODRLinkage:
108 O << "\t.weak\t" << CurrentFnName << '\n';
109 break;
110 }
111
112 printVisibility(CurrentFnName, F->getVisibility());
113
114 O << "\t.type\t" << CurrentFnName << ",@function\n"
115 << CurrentFnName << ":\n";
116}
117
Anton Korobeynikov83400902009-05-03 13:01:41 +0000118bool MSP430AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000119 SetupMachineFunction(MF);
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000120 O << "\n\n";
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000121
122 // Print the 'header' of function
123 emitFunctionHeader(MF);
124
Anton Korobeynikov83400902009-05-03 13:01:41 +0000125 // Print out code for the function.
126 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
127 I != E; ++I) {
128 // Print a label for the basic block.
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000129 if (!VerboseAsm && (I->pred_empty() || I->isOnlyReachableByFallthrough())) {
130 // This is an entry block or a block that's only reachable via a
131 // fallthrough edge. In non-VerboseAsm mode, don't print the label.
132 } else {
133 printBasicBlockLabel(I, true, true, VerboseAsm);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000134 O << '\n';
135 }
136
137 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000138 II != E; ++II)
Anton Korobeynikov83400902009-05-03 13:01:41 +0000139 // Print the assembly for the instruction.
Anton Korobeynikov83400902009-05-03 13:01:41 +0000140 printMachineInstruction(II);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000141 }
142
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000143 if (TAI->hasDotTypeDotSizeDirective())
144 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
145
146 O.flush();
147
Anton Korobeynikov37171572009-05-03 12:57:15 +0000148 // We didn't modify anything
149 return false;
150}
151
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000152void MSP430AsmPrinter::printMachineInstruction(const MachineInstr *MI) {
Anton Korobeynikov37171572009-05-03 12:57:15 +0000153 ++EmittedInsts;
154
155 // Call the autogenerated instruction printer routines.
156 if (printInstruction(MI))
157 return;
158
Edwin Törökbd448e32009-07-14 16:55:14 +0000159 llvm_unreachable("Should not happen");
Anton Korobeynikov37171572009-05-03 12:57:15 +0000160}
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000161
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000162void MSP430AsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
163 const char* Modifier) {
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000164 const MachineOperand &MO = MI->getOperand(OpNum);
165 switch (MO.getType()) {
166 case MachineOperand::MO_Register:
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000167 assert (TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
168 "Virtual registers should be already mapped!");
169 O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
170 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000171 case MachineOperand::MO_Immediate:
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000172 if (!Modifier || strcmp(Modifier, "nohash"))
173 O << '#';
174 O << MO.getImm();
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000175 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000176 case MachineOperand::MO_MachineBasicBlock:
177 printBasicBlockLabel(MO.getMBB());
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000178 return;
179 case MachineOperand::MO_GlobalAddress: {
180 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
181 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Chris Lattnerb3cdde62009-07-14 18:17:16 +0000182 std::string Name = Mang->getMangledName(MO.getGlobal());
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000183 assert(MO.getOffset() == 0 && "No offsets allowed!");
184
185 if (isCallOp)
186 O << '#';
187 else if (isMemOp)
188 O << '&';
189
190 O << Name;
191
192 return;
193 }
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000194 case MachineOperand::MO_ExternalSymbol: {
195 bool isCallOp = Modifier && !strcmp(Modifier, "call");
196 std::string Name(TAI->getGlobalPrefix());
197 Name += MO.getSymbolName();
198 if (isCallOp)
199 O << '#';
200 O << Name;
201 return;
202 }
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000203 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000204 llvm_unreachable("Not implemented yet!");
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000205 }
206}
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000207
208void MSP430AsmPrinter::printSrcMemOperand(const MachineInstr *MI, int OpNum,
209 const char* Modifier) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000210 const MachineOperand &Base = MI->getOperand(OpNum);
211 const MachineOperand &Disp = MI->getOperand(OpNum+1);
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000212
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000213 if (Base.isGlobal())
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000214 printOperand(MI, OpNum, "mem");
215 else if (Disp.isImm() && !Base.getReg())
216 printOperand(MI, OpNum);
217 else if (Base.getReg()) {
218 if (Disp.getImm()) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000219 printOperand(MI, OpNum + 1, "nohash");
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000220 O << '(';
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000221 printOperand(MI, OpNum);
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000222 O << ')';
223 } else {
224 O << '@';
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000225 printOperand(MI, OpNum);
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000226 }
227 } else
Edwin Törökbd448e32009-07-14 16:55:14 +0000228 llvm_unreachable("Unsupported memory operand");
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000229}
230
Anton Korobeynikov46499082009-05-03 13:12:23 +0000231void MSP430AsmPrinter::printCCOperand(const MachineInstr *MI, int OpNum) {
232 unsigned CC = MI->getOperand(OpNum).getImm();
233
234 switch (CC) {
235 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000236 llvm_unreachable("Unsupported CC code");
Anton Korobeynikov46499082009-05-03 13:12:23 +0000237 break;
238 case MSP430::COND_E:
Anton Korobeynikov2e3b0442009-05-03 13:16:54 +0000239 O << "eq";
Anton Korobeynikov46499082009-05-03 13:12:23 +0000240 break;
241 case MSP430::COND_NE:
242 O << "ne";
243 break;
244 case MSP430::COND_HS:
245 O << "hs";
246 break;
247 case MSP430::COND_LO:
248 O << "lo";
249 break;
250 case MSP430::COND_GE:
251 O << "ge";
252 break;
253 case MSP430::COND_L:
254 O << 'l';
255 break;
256 }
257}