blob: 367b3da439693e35182f315c3f275f60336c2eb3 [file] [log] [blame]
Rafael Espindolaffdc24b2006-05-14 22:18:28 +00001//===-- ARMAsmPrinter.cpp - ARM LLVM assembly writer ----------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by the "Instituto Nokia de Tecnologia" and
6// is distributed under the University of Illinois Open Source
7// License. See LICENSE.TXT for details.
8//
9//===----------------------------------------------------------------------===//
10//
11// This file contains a printer that converts from our internal representation
12// of machine-dependent LLVM code to GAS-format ARM assembly language.
13//
14//===----------------------------------------------------------------------===//
15
16#include "ARM.h"
17#include "ARMInstrInfo.h"
18#include "llvm/Constants.h"
19#include "llvm/DerivedTypes.h"
20#include "llvm/Module.h"
21#include "llvm/Assembly/Writer.h"
22#include "llvm/CodeGen/AsmPrinter.h"
23#include "llvm/CodeGen/MachineFunctionPass.h"
24#include "llvm/CodeGen/MachineConstantPool.h"
25#include "llvm/CodeGen/MachineInstr.h"
Jim Laskeya6211dc2006-09-06 18:34:40 +000026#include "llvm/Target/TargetAsmInfo.h"
Rafael Espindola89e5cbd2006-07-27 11:38:51 +000027#include "llvm/Target/TargetData.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000028#include "llvm/Target/TargetMachine.h"
29#include "llvm/Support/Mangler.h"
30#include "llvm/ADT/Statistic.h"
31#include "llvm/ADT/StringExtras.h"
32#include "llvm/Support/CommandLine.h"
33#include "llvm/Support/MathExtras.h"
34#include <cctype>
35#include <iostream>
36using namespace llvm;
37
38namespace {
39 Statistic<> EmittedInsts("asm-printer", "Number of machine instrs printed");
40
Rafael Espindolaac8668d2006-11-02 15:00:02 +000041 static const char *ARMCondCodeToString(ARMCC::CondCodes CC) {
42 switch (CC) {
43 default: assert(0 && "Unknown condition code");
44 case ARMCC::EQ: return "eq";
45 case ARMCC::NE: return "ne";
46 case ARMCC::CS: return "cs";
47 case ARMCC::CC: return "cc";
48 case ARMCC::MI: return "mi";
49 case ARMCC::PL: return "pl";
50 case ARMCC::VS: return "vs";
51 case ARMCC::VC: return "vc";
52 case ARMCC::HI: return "hi";
53 case ARMCC::LS: return "ls";
54 case ARMCC::GE: return "ge";
55 case ARMCC::LT: return "lt";
56 case ARMCC::GT: return "gt";
57 case ARMCC::LE: return "le";
58 case ARMCC::AL: return "al";
59 }
60 }
61
Jim Laskeya6211dc2006-09-06 18:34:40 +000062 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskey261779b2006-09-07 22:06:40 +000063 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Jim Laskeya6211dc2006-09-06 18:34:40 +000064 : AsmPrinter(O, TM, T) {
65 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000066
67 /// We name each basic block in a Function with a unique number, so
68 /// that we can consistently refer to them later. This is cleared
69 /// at the beginning of each call to runOnMachineFunction().
70 ///
71 typedef std::map<const Value *, unsigned> ValueMapTy;
72 ValueMapTy NumberForBB;
73
74 virtual const char *getPassName() const {
75 return "ARM Assembly Printer";
76 }
77
Rafael Espindolae45a79a2006-09-11 17:25:40 +000078 void printAddrMode1(const MachineInstr *MI, int opNum);
Rafael Espindola708cb602006-11-08 17:07:32 +000079 void printAddrMode2(const MachineInstr *MI, int opNum);
Rafael Espindola19398ec2006-10-17 18:04:53 +000080 void printAddrMode5(const MachineInstr *MI, int opNum);
Rafael Espindolae45a79a2006-09-11 17:25:40 +000081
Rafael Espindolac3ed77e2006-08-17 17:09:40 +000082 void printMemRegImm(const MachineInstr *MI, int opNum,
83 const char *Modifier = NULL) {
84 const MachineOperand &MO1 = MI->getOperand(opNum);
85 const MachineOperand &MO2 = MI->getOperand(opNum + 1);
Rafael Espindola8b7bd822006-08-01 18:53:10 +000086 assert(MO1.isImmediate());
Rafael Espindolac3ed77e2006-08-17 17:09:40 +000087 bool arith = false;
88 if (Modifier != NULL) {
89 assert(strcmp(Modifier, "arith") == 0);
90 arith = true;
91 }
Rafael Espindola8b7bd822006-08-01 18:53:10 +000092
93 if (MO2.isConstantPoolIndex()) {
Rafael Espindolac3ed77e2006-08-17 17:09:40 +000094 printOperand(MI, opNum + 1);
Rafael Espindola8b7bd822006-08-01 18:53:10 +000095 } else if (MO2.isRegister()) {
Rafael Espindolac3ed77e2006-08-17 17:09:40 +000096 if(!arith)
97 O << '[';
98 printOperand(MI, opNum + 1);
Rafael Espindola8b7bd822006-08-01 18:53:10 +000099 O << ", ";
Rafael Espindolac3ed77e2006-08-17 17:09:40 +0000100 printOperand(MI, opNum);
101 if(!arith)
102 O << ']';
Rafael Espindola8b7bd822006-08-01 18:53:10 +0000103 } else {
104 assert(0 && "Invalid Operand Type");
105 }
Rafael Espindola185c5c22006-07-11 11:36:48 +0000106 }
107
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000108 void printOperand(const MachineInstr *MI, int opNum);
109 void printMemOperand(const MachineInstr *MI, int opNum,
110 const char *Modifier = 0);
111 void printCCOperand(const MachineInstr *MI, int opNum);
112
113 bool printInstruction(const MachineInstr *MI); // autogenerated.
114 bool runOnMachineFunction(MachineFunction &F);
115 bool doInitialization(Module &M);
116 bool doFinalization(Module &M);
117 };
118} // end of anonymous namespace
119
120#include "ARMGenAsmWriter.inc"
121
122/// createARMCodePrinterPass - Returns a pass that prints the ARM
123/// assembly code for a MachineFunction to the given output stream,
124/// using the given target machine description. This should work
125/// regardless of whether the function is in SSA form.
126///
127FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
128 TargetMachine &tm) {
Jim Laskey261779b2006-09-07 22:06:40 +0000129 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000130}
131
132/// runOnMachineFunction - This uses the printMachineInstruction()
133/// method to print assembly for each instruction.
134///
135bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000136 SetupMachineFunction(MF);
137 O << "\n\n";
138
139 // Print out constants referenced by the function
140 EmitConstantPool(MF.getConstantPool());
141
142 // Print out jump tables referenced by the function
Chris Lattnera6a570e2006-10-05 03:01:21 +0000143 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000144
145 // Print out labels for the function.
146 const Function *F = MF.getFunction();
Chris Lattner44316992006-10-05 02:49:23 +0000147 SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
148
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000149 switch (F->getLinkage()) {
150 default: assert(0 && "Unknown linkage type!");
151 case Function::InternalLinkage:
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000152 break;
153 case Function::ExternalLinkage:
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000154 O << "\t.globl\t" << CurrentFnName << "\n";
155 break;
156 case Function::WeakLinkage:
157 case Function::LinkOnceLinkage:
158 assert(0 && "Not implemented");
159 break;
160 }
Rafael Espindola87bc1a92006-05-26 10:56:17 +0000161 EmitAlignment(2, F);
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000162 O << CurrentFnName << ":\n";
163
164 // Print out code for the function.
165 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
166 I != E; ++I) {
167 // Print a label for the basic block.
168 if (I != MF.begin()) {
169 printBasicBlockLabel(I, true);
170 O << '\n';
171 }
172 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
173 II != E; ++II) {
174 // Print the assembly for the instruction.
175 O << "\t";
176 printInstruction(II);
177 }
178 }
179
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000180 return false;
181}
182
Rafael Espindolae45a79a2006-09-11 17:25:40 +0000183void ARMAsmPrinter::printAddrMode1(const MachineInstr *MI, int opNum) {
Rafael Espindola3130a752006-09-13 12:09:43 +0000184 const MachineOperand &Arg = MI->getOperand(opNum);
185 const MachineOperand &Shift = MI->getOperand(opNum + 1);
186 const MachineOperand &ShiftType = MI->getOperand(opNum + 2);
Rafael Espindolae45a79a2006-09-11 17:25:40 +0000187
Rafael Espindola3130a752006-09-13 12:09:43 +0000188 if(Arg.isImmediate()) {
189 assert(Shift.getImmedValue() == 0);
Rafael Espindolae45a79a2006-09-11 17:25:40 +0000190 printOperand(MI, opNum);
191 } else {
Rafael Espindola3130a752006-09-13 12:09:43 +0000192 assert(Arg.isRegister());
Rafael Espindolae45a79a2006-09-11 17:25:40 +0000193 printOperand(MI, opNum);
Rafael Espindola3130a752006-09-13 12:09:43 +0000194 if(Shift.isRegister() || Shift.getImmedValue() != 0) {
195 const char *s = NULL;
196 switch(ShiftType.getImmedValue()) {
197 case ARMShift::LSL:
198 s = ", lsl ";
199 break;
200 case ARMShift::LSR:
201 s = ", lsr ";
202 break;
203 case ARMShift::ASR:
204 s = ", asr ";
205 break;
206 case ARMShift::ROR:
207 s = ", ror ";
208 break;
209 case ARMShift::RRX:
210 s = ", rrx ";
211 break;
212 }
213 O << s;
214 printOperand(MI, opNum + 1);
215 }
Rafael Espindolae45a79a2006-09-11 17:25:40 +0000216 }
217}
218
Rafael Espindola708cb602006-11-08 17:07:32 +0000219void ARMAsmPrinter::printAddrMode2(const MachineInstr *MI, int opNum) {
220 const MachineOperand &Arg = MI->getOperand(opNum);
221 const MachineOperand &Offset = MI->getOperand(opNum + 1);
222 assert(Offset.isImmediate());
223
224 if (Arg.isConstantPoolIndex()) {
225 assert(Offset.getImmedValue() == 0);
226 printOperand(MI, opNum);
227 } else {
228 assert(Arg.isRegister());
229 O << '[';
230 printOperand(MI, opNum);
231 O << ", ";
232 printOperand(MI, opNum + 1);
233 O << ']';
234 }
235}
236
Rafael Espindola19398ec2006-10-17 18:04:53 +0000237void ARMAsmPrinter::printAddrMode5(const MachineInstr *MI, int opNum) {
238 const MachineOperand &Arg = MI->getOperand(opNum);
239 const MachineOperand &Offset = MI->getOperand(opNum + 1);
240 assert(Offset.isImmediate());
241
242 if (Arg.isConstantPoolIndex()) {
243 assert(Offset.getImmedValue() == 0);
244 printOperand(MI, opNum);
245 } else {
246 assert(Arg.isRegister());
247 O << '[';
248 printOperand(MI, opNum);
249 O << ", ";
250 printOperand(MI, opNum + 1);
251 O << ']';
252 }
253}
254
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000255void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000256 const MachineOperand &MO = MI->getOperand (opNum);
257 const MRegisterInfo &RI = *TM.getRegisterInfo();
258 switch (MO.getType()) {
259 case MachineOperand::MO_Register:
260 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
261 O << LowercaseString (RI.get(MO.getReg()).Name);
262 else
263 assert(0 && "not implemented");
264 break;
265 case MachineOperand::MO_Immediate:
266 O << "#" << (int)MO.getImmedValue();
267 break;
268 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindolae08b9852006-08-24 13:45:55 +0000269 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000270 return;
Rafael Espindola75269be2006-07-16 01:02:57 +0000271 case MachineOperand::MO_GlobalAddress: {
272 GlobalValue *GV = MO.getGlobal();
273 std::string Name = Mang->getValueName(GV);
274 O << Name;
275 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000276 break;
277 case MachineOperand::MO_ExternalSymbol:
Rafael Espindolaf719c5f2006-10-16 21:10:32 +0000278 O << TAI->getGlobalPrefix() << MO.getSymbolName();
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000279 break;
280 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskeya6211dc2006-09-06 18:34:40 +0000281 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola95035cf2006-08-01 12:58:43 +0000282 << '_' << MO.getConstantPoolIndex();
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000283 break;
284 default:
285 O << "<unknown operand type>"; abort (); break;
286 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000287}
288
289void ARMAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
290 const char *Modifier) {
291 assert(0 && "not implemented");
292}
293
294void ARMAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Rafael Espindolafe03fe92006-08-24 16:13:15 +0000295 int CC = (int)MI->getOperand(opNum).getImmedValue();
296 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000297}
298
299bool ARMAsmPrinter::doInitialization(Module &M) {
Rafael Espindolaecb0d682006-09-11 12:49:38 +0000300 AsmPrinter::doInitialization(M);
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000301 return false; // success
302}
303
304bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindola89e5cbd2006-07-27 11:38:51 +0000305 const TargetData *TD = TM.getTargetData();
306
307 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
308 I != E; ++I) {
309 if (!I->hasInitializer()) // External global require no code
310 continue;
311
312 if (EmitSpecialLLVMGlobal(I))
313 continue;
314
315 O << "\n\n";
316 std::string name = Mang->getValueName(I);
317 Constant *C = I->getInitializer();
318 unsigned Size = TD->getTypeSize(C->getType());
319 unsigned Align = TD->getTypeAlignment(C->getType());
320
Rafael Espindolaea67b972006-10-19 13:30:40 +0000321 if (C->isNullValue() &&
322 (I->hasLinkOnceLinkage() || I->hasInternalLinkage() ||
323 I->hasWeakLinkage())) {
324 SwitchToDataSection(".data", I);
325 if (I->hasInternalLinkage())
326 O << "\t.local " << name << "\n";
327
328 O << "\t.comm " << name << "," << TD->getTypeSize(C->getType())
329 << "," << (unsigned)TD->getTypeAlignment(C->getType());
330 O << "\t\t";
331 O << TAI->getCommentString() << " ";
332 WriteAsOperand(O, I, true, true, &M);
333 O << "\n";
334 } else {
335 switch (I->getLinkage()) {
336 default:
337 assert(0 && "Unknown linkage type!");
338 break;
339 case GlobalValue::ExternalLinkage:
340 O << "\t.globl " << name << "\n";
341 break;
342 case GlobalValue::InternalLinkage:
343 break;
344 }
345
Rafael Espindola35764052006-11-01 14:26:44 +0000346 if (C->isNullValue())
347 SwitchToDataSection(".bss", I);
348 else
349 SwitchToDataSection(".data", I);
Rafael Espindolaea67b972006-10-19 13:30:40 +0000350
351 EmitAlignment(Align, I);
352 O << "\t.type " << name << ", %object\n";
353 O << "\t.size " << name << ", " << Size << "\n";
354 O << name << ":\n";
355 EmitGlobalConstant(C);
Rafael Espindola7cc2d192006-07-31 20:38:13 +0000356 }
Rafael Espindola89e5cbd2006-07-27 11:38:51 +0000357 }
Rafael Espindolaea67b972006-10-19 13:30:40 +0000358
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000359 AsmPrinter::doFinalization(M);
360 return false; // success
361}