blob: 093dd6db17ccbcb614eda0451bf60b3ab0889504 [file] [log] [blame]
Rafael Espindola7bc59bc2006-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"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000021#include "llvm/CodeGen/AsmPrinter.h"
22#include "llvm/CodeGen/MachineFunctionPass.h"
23#include "llvm/CodeGen/MachineConstantPool.h"
24#include "llvm/CodeGen/MachineInstr.h"
Jim Laskey563321a2006-09-06 18:34:40 +000025#include "llvm/Target/TargetAsmInfo.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000026#include "llvm/Target/TargetData.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000027#include "llvm/Target/TargetMachine.h"
28#include "llvm/Support/Mangler.h"
29#include "llvm/ADT/Statistic.h"
30#include "llvm/ADT/StringExtras.h"
31#include "llvm/Support/CommandLine.h"
32#include "llvm/Support/MathExtras.h"
33#include <cctype>
34#include <iostream>
35using namespace llvm;
36
37namespace {
38 Statistic<> EmittedInsts("asm-printer", "Number of machine instrs printed");
39
Rafael Espindolae931a372006-11-02 15:00:02 +000040 static const char *ARMCondCodeToString(ARMCC::CondCodes CC) {
41 switch (CC) {
42 default: assert(0 && "Unknown condition code");
43 case ARMCC::EQ: return "eq";
44 case ARMCC::NE: return "ne";
45 case ARMCC::CS: return "cs";
46 case ARMCC::CC: return "cc";
47 case ARMCC::MI: return "mi";
48 case ARMCC::PL: return "pl";
49 case ARMCC::VS: return "vs";
50 case ARMCC::VC: return "vc";
51 case ARMCC::HI: return "hi";
52 case ARMCC::LS: return "ls";
53 case ARMCC::GE: return "ge";
54 case ARMCC::LT: return "lt";
55 case ARMCC::GT: return "gt";
56 case ARMCC::LE: return "le";
57 case ARMCC::AL: return "al";
58 }
59 }
60
Jim Laskey563321a2006-09-06 18:34:40 +000061 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskeya0f3d172006-09-07 22:06:40 +000062 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Jim Laskey563321a2006-09-06 18:34:40 +000063 : AsmPrinter(O, TM, T) {
64 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000065
66 /// We name each basic block in a Function with a unique number, so
67 /// that we can consistently refer to them later. This is cleared
68 /// at the beginning of each call to runOnMachineFunction().
69 ///
70 typedef std::map<const Value *, unsigned> ValueMapTy;
71 ValueMapTy NumberForBB;
72
73 virtual const char *getPassName() const {
74 return "ARM Assembly Printer";
75 }
76
Rafael Espindola7cca7c52006-09-11 17:25:40 +000077 void printAddrMode1(const MachineInstr *MI, int opNum);
Rafael Espindola6e8c6492006-11-08 17:07:32 +000078 void printAddrMode2(const MachineInstr *MI, int opNum);
Rafael Espindola32bd5f42006-10-17 18:04:53 +000079 void printAddrMode5(const MachineInstr *MI, int opNum);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000080 void printOperand(const MachineInstr *MI, int opNum);
81 void printMemOperand(const MachineInstr *MI, int opNum,
82 const char *Modifier = 0);
83 void printCCOperand(const MachineInstr *MI, int opNum);
84
85 bool printInstruction(const MachineInstr *MI); // autogenerated.
86 bool runOnMachineFunction(MachineFunction &F);
87 bool doInitialization(Module &M);
88 bool doFinalization(Module &M);
89 };
90} // end of anonymous namespace
91
92#include "ARMGenAsmWriter.inc"
93
94/// createARMCodePrinterPass - Returns a pass that prints the ARM
95/// assembly code for a MachineFunction to the given output stream,
96/// using the given target machine description. This should work
97/// regardless of whether the function is in SSA form.
98///
99FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
100 TargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000101 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000102}
103
104/// runOnMachineFunction - This uses the printMachineInstruction()
105/// method to print assembly for each instruction.
106///
107bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Rafael Espindola4b442b52006-05-23 02:48:20 +0000108 SetupMachineFunction(MF);
109 O << "\n\n";
110
111 // Print out constants referenced by the function
112 EmitConstantPool(MF.getConstantPool());
113
114 // Print out jump tables referenced by the function
Chris Lattner1da31ee2006-10-05 03:01:21 +0000115 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000116
117 // Print out labels for the function.
118 const Function *F = MF.getFunction();
Chris Lattner6f6f6992006-10-05 02:49:23 +0000119 SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
120
Rafael Espindola4b442b52006-05-23 02:48:20 +0000121 switch (F->getLinkage()) {
122 default: assert(0 && "Unknown linkage type!");
123 case Function::InternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000124 break;
125 case Function::ExternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000126 O << "\t.globl\t" << CurrentFnName << "\n";
127 break;
128 case Function::WeakLinkage:
129 case Function::LinkOnceLinkage:
Rafael Espindola204b0c22006-12-05 17:00:17 +0000130 O << "\t.weak\t" << CurrentFnName << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000131 break;
132 }
Rafael Espindolaa1334cd2006-05-26 10:56:17 +0000133 EmitAlignment(2, F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000134 O << CurrentFnName << ":\n";
135
136 // Print out code for the function.
137 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
138 I != E; ++I) {
139 // Print a label for the basic block.
140 if (I != MF.begin()) {
141 printBasicBlockLabel(I, true);
142 O << '\n';
143 }
144 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
145 II != E; ++II) {
146 // Print the assembly for the instruction.
147 O << "\t";
148 printInstruction(II);
149 }
150 }
151
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000152 return false;
153}
154
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000155void ARMAsmPrinter::printAddrMode1(const MachineInstr *MI, int opNum) {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000156 const MachineOperand &Arg = MI->getOperand(opNum);
157 const MachineOperand &Shift = MI->getOperand(opNum + 1);
158 const MachineOperand &ShiftType = MI->getOperand(opNum + 2);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000159
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000160 if(Arg.isImmediate()) {
161 assert(Shift.getImmedValue() == 0);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000162 printOperand(MI, opNum);
163 } else {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000164 assert(Arg.isRegister());
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000165 printOperand(MI, opNum);
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000166 if(Shift.isRegister() || Shift.getImmedValue() != 0) {
167 const char *s = NULL;
168 switch(ShiftType.getImmedValue()) {
169 case ARMShift::LSL:
170 s = ", lsl ";
171 break;
172 case ARMShift::LSR:
173 s = ", lsr ";
174 break;
175 case ARMShift::ASR:
176 s = ", asr ";
177 break;
178 case ARMShift::ROR:
179 s = ", ror ";
180 break;
181 case ARMShift::RRX:
182 s = ", rrx ";
183 break;
184 }
185 O << s;
186 printOperand(MI, opNum + 1);
187 }
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000188 }
189}
190
Rafael Espindola6e8c6492006-11-08 17:07:32 +0000191void ARMAsmPrinter::printAddrMode2(const MachineInstr *MI, int opNum) {
192 const MachineOperand &Arg = MI->getOperand(opNum);
193 const MachineOperand &Offset = MI->getOperand(opNum + 1);
194 assert(Offset.isImmediate());
195
196 if (Arg.isConstantPoolIndex()) {
197 assert(Offset.getImmedValue() == 0);
198 printOperand(MI, opNum);
199 } else {
200 assert(Arg.isRegister());
201 O << '[';
202 printOperand(MI, opNum);
203 O << ", ";
204 printOperand(MI, opNum + 1);
205 O << ']';
206 }
207}
208
Rafael Espindola32bd5f42006-10-17 18:04:53 +0000209void ARMAsmPrinter::printAddrMode5(const MachineInstr *MI, int opNum) {
210 const MachineOperand &Arg = MI->getOperand(opNum);
211 const MachineOperand &Offset = MI->getOperand(opNum + 1);
212 assert(Offset.isImmediate());
213
214 if (Arg.isConstantPoolIndex()) {
215 assert(Offset.getImmedValue() == 0);
216 printOperand(MI, opNum);
217 } else {
218 assert(Arg.isRegister());
219 O << '[';
220 printOperand(MI, opNum);
221 O << ", ";
222 printOperand(MI, opNum + 1);
223 O << ']';
224 }
225}
226
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000227void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000228 const MachineOperand &MO = MI->getOperand (opNum);
229 const MRegisterInfo &RI = *TM.getRegisterInfo();
230 switch (MO.getType()) {
231 case MachineOperand::MO_Register:
232 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
233 O << LowercaseString (RI.get(MO.getReg()).Name);
234 else
235 assert(0 && "not implemented");
236 break;
237 case MachineOperand::MO_Immediate:
238 O << "#" << (int)MO.getImmedValue();
239 break;
240 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindola687bc492006-08-24 13:45:55 +0000241 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000242 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000243 case MachineOperand::MO_GlobalAddress: {
244 GlobalValue *GV = MO.getGlobal();
245 std::string Name = Mang->getValueName(GV);
246 O << Name;
247 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000248 break;
249 case MachineOperand::MO_ExternalSymbol:
Rafael Espindola0505be02006-10-16 21:10:32 +0000250 O << TAI->getGlobalPrefix() << MO.getSymbolName();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000251 break;
252 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskey563321a2006-09-06 18:34:40 +0000253 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola06c1e7e2006-08-01 12:58:43 +0000254 << '_' << MO.getConstantPoolIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000255 break;
256 default:
257 O << "<unknown operand type>"; abort (); break;
258 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000259}
260
261void ARMAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
262 const char *Modifier) {
263 assert(0 && "not implemented");
264}
265
266void ARMAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola6f602de2006-08-24 16:13:15 +0000267 int CC = (int)MI->getOperand(opNum).getImmedValue();
268 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000269}
270
271bool ARMAsmPrinter::doInitialization(Module &M) {
Rafael Espindolaff59d222006-09-11 12:49:38 +0000272 AsmPrinter::doInitialization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000273 return false; // success
274}
275
276bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000277 const TargetData *TD = TM.getTargetData();
278
279 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
280 I != E; ++I) {
281 if (!I->hasInitializer()) // External global require no code
282 continue;
283
284 if (EmitSpecialLLVMGlobal(I))
285 continue;
286
287 O << "\n\n";
288 std::string name = Mang->getValueName(I);
289 Constant *C = I->getInitializer();
290 unsigned Size = TD->getTypeSize(C->getType());
291 unsigned Align = TD->getTypeAlignment(C->getType());
292
Rafael Espindolab97809c2006-10-19 13:30:40 +0000293 if (C->isNullValue() &&
294 (I->hasLinkOnceLinkage() || I->hasInternalLinkage() ||
295 I->hasWeakLinkage())) {
296 SwitchToDataSection(".data", I);
297 if (I->hasInternalLinkage())
298 O << "\t.local " << name << "\n";
299
300 O << "\t.comm " << name << "," << TD->getTypeSize(C->getType())
301 << "," << (unsigned)TD->getTypeAlignment(C->getType());
Rafael Espindolab97809c2006-10-19 13:30:40 +0000302 O << "\n";
303 } else {
304 switch (I->getLinkage()) {
305 default:
306 assert(0 && "Unknown linkage type!");
307 break;
308 case GlobalValue::ExternalLinkage:
309 O << "\t.globl " << name << "\n";
310 break;
311 case GlobalValue::InternalLinkage:
312 break;
313 }
314
Rafael Espindola560a8d02006-11-01 14:26:44 +0000315 if (C->isNullValue())
316 SwitchToDataSection(".bss", I);
317 else
318 SwitchToDataSection(".data", I);
Rafael Espindolab97809c2006-10-19 13:30:40 +0000319
320 EmitAlignment(Align, I);
321 O << "\t.type " << name << ", %object\n";
322 O << "\t.size " << name << ", " << Size << "\n";
323 O << name << ":\n";
324 EmitGlobalConstant(C);
Rafael Espindola6d581e82006-07-31 20:38:13 +0000325 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000326 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000327
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000328 AsmPrinter::doFinalization(M);
329 return false; // success
330}