blob: 573ca57ec0e34a4374d89961e54e6f102a714e71 [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"
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"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000030#include "llvm/Target/TargetLoweringObjectFile.h"
Daniel Dunbarc680b012009-07-25 06:49:55 +000031#include "llvm/Target/TargetRegistry.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000032#include "llvm/ADT/Statistic.h"
33#include "llvm/Support/Compiler.h"
David Greene302008d2009-07-14 20:18:05 +000034#include "llvm/Support/FormattedStream.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000035#include "llvm/Support/Mangler.h"
Edwin Török675d5622009-07-11 20:10:48 +000036#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov37171572009-05-03 12:57:15 +000037
38using namespace llvm;
39
40STATISTIC(EmittedInsts, "Number of machine instrs printed");
41
42namespace {
43 class VISIBILITY_HIDDEN MSP430AsmPrinter : public AsmPrinter {
44 public:
Daniel Dunbar946686a2009-07-15 23:17:20 +000045 MSP430AsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Daniel Dunbarb10d2222009-07-01 01:48:54 +000046 const TargetAsmInfo *TAI, bool V)
47 : AsmPrinter(O, TM, TAI, V) {}
Anton Korobeynikov37171572009-05-03 12:57:15 +000048
49 virtual const char *getPassName() const {
50 return "MSP430 Assembly Printer";
51 }
52
Anton Korobeynikov4c88f112009-05-03 13:06:03 +000053 void printOperand(const MachineInstr *MI, int OpNum,
54 const char* Modifier = 0);
55 void printSrcMemOperand(const MachineInstr *MI, int OpNum,
56 const char* Modifier = 0);
Anton Korobeynikov46499082009-05-03 13:12:23 +000057 void printCCOperand(const MachineInstr *MI, int OpNum);
Anton Korobeynikov37171572009-05-03 12:57:15 +000058 bool printInstruction(const MachineInstr *MI); // autogenerated.
59 void printMachineInstruction(const MachineInstr * MI);
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000060
61 void emitFunctionHeader(const MachineFunction &MF);
Anton Korobeynikov37171572009-05-03 12:57:15 +000062 bool runOnMachineFunction(MachineFunction &F);
Anton Korobeynikov37171572009-05-03 12:57:15 +000063
Chris Lattnerae982212009-07-21 18:38:57 +000064 virtual void PrintGlobalVariable(const GlobalVariable *GV) {
65 // FIXME: No support for global variables?
66 }
67
Anton Korobeynikov37171572009-05-03 12:57:15 +000068 void getAnalysisUsage(AnalysisUsage &AU) const {
69 AsmPrinter::getAnalysisUsage(AU);
70 AU.setPreservesAll();
71 }
72 };
73} // end of anonymous namespace
74
75#include "MSP430GenAsmWriter.inc"
76
Anton Korobeynikov37171572009-05-03 12:57:15 +000077
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000078void MSP430AsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
79 const Function *F = MF.getFunction();
80
Chris Lattner2931fe42009-07-29 05:09:30 +000081 SwitchToSection(getObjFileLowering().SectionForGlobal(F, Mang, TM));
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000082
Bill Wendling25a8ae32009-06-30 22:38:32 +000083 unsigned FnAlign = MF.getAlignment();
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000084 EmitAlignment(FnAlign, F);
85
86 switch (F->getLinkage()) {
Edwin Törökbd448e32009-07-14 16:55:14 +000087 default: llvm_unreachable("Unknown linkage type!");
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000088 case Function::InternalLinkage: // Symbols default to internal.
89 case Function::PrivateLinkage:
Bill Wendling41a07852009-07-20 01:03:30 +000090 case Function::LinkerPrivateLinkage:
Anton Korobeynikov3f95a852009-05-03 13:17:11 +000091 break;
92 case Function::ExternalLinkage:
93 O << "\t.globl\t" << CurrentFnName << '\n';
94 break;
95 case Function::LinkOnceAnyLinkage:
96 case Function::LinkOnceODRLinkage:
97 case Function::WeakAnyLinkage:
98 case Function::WeakODRLinkage:
99 O << "\t.weak\t" << CurrentFnName << '\n';
100 break;
101 }
102
103 printVisibility(CurrentFnName, F->getVisibility());
104
105 O << "\t.type\t" << CurrentFnName << ",@function\n"
106 << CurrentFnName << ":\n";
107}
108
Anton Korobeynikov83400902009-05-03 13:01:41 +0000109bool MSP430AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000110 SetupMachineFunction(MF);
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000111 O << "\n\n";
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000112
113 // Print the 'header' of function
114 emitFunctionHeader(MF);
115
Anton Korobeynikov83400902009-05-03 13:01:41 +0000116 // Print out code for the function.
117 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
118 I != E; ++I) {
119 // Print a label for the basic block.
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000120 if (!VerboseAsm && (I->pred_empty() || I->isOnlyReachableByFallthrough())) {
121 // This is an entry block or a block that's only reachable via a
122 // fallthrough edge. In non-VerboseAsm mode, don't print the label.
123 } else {
124 printBasicBlockLabel(I, true, true, VerboseAsm);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000125 O << '\n';
126 }
127
128 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
Anton Korobeynikova5a157b2009-05-03 13:17:31 +0000129 II != E; ++II)
Anton Korobeynikov83400902009-05-03 13:01:41 +0000130 // Print the assembly for the instruction.
Anton Korobeynikov83400902009-05-03 13:01:41 +0000131 printMachineInstruction(II);
Anton Korobeynikov83400902009-05-03 13:01:41 +0000132 }
133
Anton Korobeynikov3f95a852009-05-03 13:17:11 +0000134 if (TAI->hasDotTypeDotSizeDirective())
135 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
136
Anton Korobeynikov37171572009-05-03 12:57:15 +0000137 // We didn't modify anything
138 return false;
139}
140
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000141void MSP430AsmPrinter::printMachineInstruction(const MachineInstr *MI) {
Anton Korobeynikov37171572009-05-03 12:57:15 +0000142 ++EmittedInsts;
143
144 // Call the autogenerated instruction printer routines.
Chris Lattner7d337492009-08-08 00:05:42 +0000145 printInstruction(MI);
Anton Korobeynikov37171572009-05-03 12:57:15 +0000146}
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000147
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000148void MSP430AsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
149 const char* Modifier) {
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000150 const MachineOperand &MO = MI->getOperand(OpNum);
151 switch (MO.getType()) {
152 case MachineOperand::MO_Register:
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000153 assert (TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
154 "Virtual registers should be already mapped!");
155 O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
156 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000157 case MachineOperand::MO_Immediate:
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000158 if (!Modifier || strcmp(Modifier, "nohash"))
159 O << '#';
160 O << MO.getImm();
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000161 return;
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000162 case MachineOperand::MO_MachineBasicBlock:
163 printBasicBlockLabel(MO.getMBB());
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000164 return;
165 case MachineOperand::MO_GlobalAddress: {
166 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
167 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Chris Lattnerb3cdde62009-07-14 18:17:16 +0000168 std::string Name = Mang->getMangledName(MO.getGlobal());
Anton Korobeynikove60685a2009-05-03 13:08:13 +0000169 assert(MO.getOffset() == 0 && "No offsets allowed!");
170
171 if (isCallOp)
172 O << '#';
173 else if (isMemOp)
174 O << '&';
175
176 O << Name;
177
178 return;
179 }
Anton Korobeynikov165bbe32009-05-03 13:14:46 +0000180 case MachineOperand::MO_ExternalSymbol: {
181 bool isCallOp = Modifier && !strcmp(Modifier, "call");
182 std::string Name(TAI->getGlobalPrefix());
183 Name += MO.getSymbolName();
184 if (isCallOp)
185 O << '#';
186 O << Name;
187 return;
188 }
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000189 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000190 llvm_unreachable("Not implemented yet!");
Anton Korobeynikovf1fb8c72009-05-03 13:02:04 +0000191 }
192}
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000193
194void MSP430AsmPrinter::printSrcMemOperand(const MachineInstr *MI, int OpNum,
195 const char* Modifier) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000196 const MachineOperand &Base = MI->getOperand(OpNum);
197 const MachineOperand &Disp = MI->getOperand(OpNum+1);
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000198
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000199 if (Base.isGlobal())
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000200 printOperand(MI, OpNum, "mem");
201 else if (Disp.isImm() && !Base.getReg())
202 printOperand(MI, OpNum);
203 else if (Base.getReg()) {
204 if (Disp.getImm()) {
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000205 printOperand(MI, OpNum + 1, "nohash");
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000206 O << '(';
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000207 printOperand(MI, OpNum);
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000208 O << ')';
209 } else {
210 O << '@';
Anton Korobeynikova6e36692009-05-03 13:09:40 +0000211 printOperand(MI, OpNum);
Anton Korobeynikov0a4985b2009-05-03 13:09:10 +0000212 }
213 } else
Edwin Törökbd448e32009-07-14 16:55:14 +0000214 llvm_unreachable("Unsupported memory operand");
Anton Korobeynikov4c88f112009-05-03 13:06:03 +0000215}
216
Anton Korobeynikov46499082009-05-03 13:12:23 +0000217void MSP430AsmPrinter::printCCOperand(const MachineInstr *MI, int OpNum) {
218 unsigned CC = MI->getOperand(OpNum).getImm();
219
220 switch (CC) {
221 default:
Edwin Törökbd448e32009-07-14 16:55:14 +0000222 llvm_unreachable("Unsupported CC code");
Anton Korobeynikov46499082009-05-03 13:12:23 +0000223 break;
224 case MSP430::COND_E:
Anton Korobeynikov2e3b0442009-05-03 13:16:54 +0000225 O << "eq";
Anton Korobeynikov46499082009-05-03 13:12:23 +0000226 break;
227 case MSP430::COND_NE:
228 O << "ne";
229 break;
230 case MSP430::COND_HS:
231 O << "hs";
232 break;
233 case MSP430::COND_LO:
234 O << "lo";
235 break;
236 case MSP430::COND_GE:
237 O << "ge";
238 break;
239 case MSP430::COND_L:
240 O << 'l';
241 break;
242 }
243}
Daniel Dunbarc680b012009-07-25 06:49:55 +0000244
245extern "C" void LLVMInitializeMSP430Target() {
246 // Register the target.
247 RegisterTargetMachine<MSP430TargetMachine> X(TheMSP430Target);
248 RegisterAsmPrinter<MSP430AsmPrinter> Y(TheMSP430Target);
249}