blob: fb67ad5135f20e52831875c71680959ea1e08258 [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>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000034using namespace llvm;
35
36namespace {
Chris Lattnerac0b6ae2006-12-06 17:46:33 +000037 Statistic EmittedInsts("asm-printer", "Number of machine instrs printed");
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000038
Rafael Espindolae931a372006-11-02 15:00:02 +000039 static const char *ARMCondCodeToString(ARMCC::CondCodes CC) {
40 switch (CC) {
41 default: assert(0 && "Unknown condition code");
42 case ARMCC::EQ: return "eq";
43 case ARMCC::NE: return "ne";
44 case ARMCC::CS: return "cs";
45 case ARMCC::CC: return "cc";
46 case ARMCC::MI: return "mi";
47 case ARMCC::PL: return "pl";
48 case ARMCC::VS: return "vs";
49 case ARMCC::VC: return "vc";
50 case ARMCC::HI: return "hi";
51 case ARMCC::LS: return "ls";
52 case ARMCC::GE: return "ge";
53 case ARMCC::LT: return "lt";
54 case ARMCC::GT: return "gt";
55 case ARMCC::LE: return "le";
56 case ARMCC::AL: return "al";
57 }
58 }
59
Jim Laskey563321a2006-09-06 18:34:40 +000060 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskeya0f3d172006-09-07 22:06:40 +000061 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Jim Laskey563321a2006-09-06 18:34:40 +000062 : AsmPrinter(O, TM, T) {
63 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000064
Rafael Espindola392b1b22006-12-06 13:35:10 +000065 std::set<std::string> ExtWeakSymbols;
66
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000067 /// 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 Espindola7cca7c52006-09-11 17:25:40 +000078 void printAddrMode1(const MachineInstr *MI, int opNum);
Rafael Espindola6e8c6492006-11-08 17:07:32 +000079 void printAddrMode2(const MachineInstr *MI, int opNum);
Rafael Espindola32bd5f42006-10-17 18:04:53 +000080 void printAddrMode5(const MachineInstr *MI, int opNum);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000081 void printOperand(const MachineInstr *MI, int opNum);
82 void printMemOperand(const MachineInstr *MI, int opNum,
83 const char *Modifier = 0);
84 void printCCOperand(const MachineInstr *MI, int opNum);
85
86 bool printInstruction(const MachineInstr *MI); // autogenerated.
87 bool runOnMachineFunction(MachineFunction &F);
88 bool doInitialization(Module &M);
89 bool doFinalization(Module &M);
90 };
91} // end of anonymous namespace
92
93#include "ARMGenAsmWriter.inc"
94
95/// createARMCodePrinterPass - Returns a pass that prints the ARM
96/// assembly code for a MachineFunction to the given output stream,
97/// using the given target machine description. This should work
98/// regardless of whether the function is in SSA form.
99///
100FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
101 TargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000102 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000103}
104
105/// runOnMachineFunction - This uses the printMachineInstruction()
106/// method to print assembly for each instruction.
107///
108bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Rafael Espindola4b442b52006-05-23 02:48:20 +0000109 SetupMachineFunction(MF);
110 O << "\n\n";
111
112 // Print out constants referenced by the function
113 EmitConstantPool(MF.getConstantPool());
114
115 // Print out jump tables referenced by the function
Chris Lattner1da31ee2006-10-05 03:01:21 +0000116 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000117
118 // Print out labels for the function.
119 const Function *F = MF.getFunction();
Chris Lattner6f6f6992006-10-05 02:49:23 +0000120 SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
121
Rafael Espindola4b442b52006-05-23 02:48:20 +0000122 switch (F->getLinkage()) {
123 default: assert(0 && "Unknown linkage type!");
124 case Function::InternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000125 break;
126 case Function::ExternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000127 O << "\t.globl\t" << CurrentFnName << "\n";
128 break;
129 case Function::WeakLinkage:
130 case Function::LinkOnceLinkage:
Rafael Espindola392b1b22006-12-06 13:35:10 +0000131 O << TAI->getWeakRefDirective() << CurrentFnName << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000132 break;
133 }
Rafael Espindolaa1334cd2006-05-26 10:56:17 +0000134 EmitAlignment(2, F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000135 O << CurrentFnName << ":\n";
136
137 // Print out code for the function.
138 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
139 I != E; ++I) {
140 // Print a label for the basic block.
141 if (I != MF.begin()) {
142 printBasicBlockLabel(I, true);
143 O << '\n';
144 }
145 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
146 II != E; ++II) {
147 // Print the assembly for the instruction.
148 O << "\t";
149 printInstruction(II);
150 }
151 }
152
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000153 return false;
154}
155
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000156void ARMAsmPrinter::printAddrMode1(const MachineInstr *MI, int opNum) {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000157 const MachineOperand &Arg = MI->getOperand(opNum);
158 const MachineOperand &Shift = MI->getOperand(opNum + 1);
159 const MachineOperand &ShiftType = MI->getOperand(opNum + 2);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000160
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000161 if(Arg.isImmediate()) {
162 assert(Shift.getImmedValue() == 0);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000163 printOperand(MI, opNum);
164 } else {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000165 assert(Arg.isRegister());
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000166 printOperand(MI, opNum);
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000167 if(Shift.isRegister() || Shift.getImmedValue() != 0) {
168 const char *s = NULL;
169 switch(ShiftType.getImmedValue()) {
170 case ARMShift::LSL:
171 s = ", lsl ";
172 break;
173 case ARMShift::LSR:
174 s = ", lsr ";
175 break;
176 case ARMShift::ASR:
177 s = ", asr ";
178 break;
179 case ARMShift::ROR:
180 s = ", ror ";
181 break;
182 case ARMShift::RRX:
183 s = ", rrx ";
184 break;
185 }
186 O << s;
187 printOperand(MI, opNum + 1);
188 }
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000189 }
190}
191
Rafael Espindola6e8c6492006-11-08 17:07:32 +0000192void ARMAsmPrinter::printAddrMode2(const MachineInstr *MI, int opNum) {
193 const MachineOperand &Arg = MI->getOperand(opNum);
194 const MachineOperand &Offset = MI->getOperand(opNum + 1);
195 assert(Offset.isImmediate());
196
197 if (Arg.isConstantPoolIndex()) {
198 assert(Offset.getImmedValue() == 0);
199 printOperand(MI, opNum);
200 } else {
201 assert(Arg.isRegister());
202 O << '[';
203 printOperand(MI, opNum);
204 O << ", ";
205 printOperand(MI, opNum + 1);
206 O << ']';
207 }
208}
209
Rafael Espindola32bd5f42006-10-17 18:04:53 +0000210void ARMAsmPrinter::printAddrMode5(const MachineInstr *MI, int opNum) {
211 const MachineOperand &Arg = MI->getOperand(opNum);
212 const MachineOperand &Offset = MI->getOperand(opNum + 1);
213 assert(Offset.isImmediate());
214
215 if (Arg.isConstantPoolIndex()) {
216 assert(Offset.getImmedValue() == 0);
217 printOperand(MI, opNum);
218 } else {
219 assert(Arg.isRegister());
220 O << '[';
221 printOperand(MI, opNum);
222 O << ", ";
223 printOperand(MI, opNum + 1);
224 O << ']';
225 }
226}
227
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000228void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000229 const MachineOperand &MO = MI->getOperand (opNum);
230 const MRegisterInfo &RI = *TM.getRegisterInfo();
231 switch (MO.getType()) {
232 case MachineOperand::MO_Register:
233 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
234 O << LowercaseString (RI.get(MO.getReg()).Name);
235 else
236 assert(0 && "not implemented");
237 break;
238 case MachineOperand::MO_Immediate:
239 O << "#" << (int)MO.getImmedValue();
240 break;
241 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindola687bc492006-08-24 13:45:55 +0000242 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000243 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000244 case MachineOperand::MO_GlobalAddress: {
245 GlobalValue *GV = MO.getGlobal();
246 std::string Name = Mang->getValueName(GV);
247 O << Name;
Rafael Espindola392b1b22006-12-06 13:35:10 +0000248 if (GV->hasExternalWeakLinkage()) {
249 ExtWeakSymbols.insert(Name);
250 }
Rafael Espindola84b19be2006-07-16 01:02:57 +0000251 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000252 break;
253 case MachineOperand::MO_ExternalSymbol:
Rafael Espindola0505be02006-10-16 21:10:32 +0000254 O << TAI->getGlobalPrefix() << MO.getSymbolName();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000255 break;
256 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskey563321a2006-09-06 18:34:40 +0000257 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola06c1e7e2006-08-01 12:58:43 +0000258 << '_' << MO.getConstantPoolIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000259 break;
260 default:
261 O << "<unknown operand type>"; abort (); break;
262 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000263}
264
265void ARMAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
266 const char *Modifier) {
267 assert(0 && "not implemented");
268}
269
270void ARMAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola6f602de2006-08-24 16:13:15 +0000271 int CC = (int)MI->getOperand(opNum).getImmedValue();
272 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000273}
274
275bool ARMAsmPrinter::doInitialization(Module &M) {
Rafael Espindolaff59d222006-09-11 12:49:38 +0000276 AsmPrinter::doInitialization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000277 return false; // success
278}
279
280bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000281 const TargetData *TD = TM.getTargetData();
282
283 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
284 I != E; ++I) {
285 if (!I->hasInitializer()) // External global require no code
286 continue;
287
288 if (EmitSpecialLLVMGlobal(I))
289 continue;
290
291 O << "\n\n";
292 std::string name = Mang->getValueName(I);
293 Constant *C = I->getInitializer();
294 unsigned Size = TD->getTypeSize(C->getType());
Rafael Espindola1c411de2006-12-07 22:38:06 +0000295 unsigned Align = Log2_32(TD->getTypeAlignment(C->getType()));
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000296
Rafael Espindolab97809c2006-10-19 13:30:40 +0000297 if (C->isNullValue() &&
Rafael Espindola7367d052006-12-07 18:33:58 +0000298 !I->hasSection() &&
Rafael Espindolab97809c2006-10-19 13:30:40 +0000299 (I->hasLinkOnceLinkage() || I->hasInternalLinkage() ||
300 I->hasWeakLinkage())) {
301 SwitchToDataSection(".data", I);
302 if (I->hasInternalLinkage())
303 O << "\t.local " << name << "\n";
304
Rafael Espindola1c411de2006-12-07 22:38:06 +0000305 O << "\t.comm " << name << "," << Size
306 << "," << (unsigned)Align;
Rafael Espindolab97809c2006-10-19 13:30:40 +0000307 O << "\n";
308 } else {
309 switch (I->getLinkage()) {
310 default:
311 assert(0 && "Unknown linkage type!");
312 break;
313 case GlobalValue::ExternalLinkage:
314 O << "\t.globl " << name << "\n";
315 break;
316 case GlobalValue::InternalLinkage:
317 break;
318 }
319
Rafael Espindola13666262006-12-08 21:24:58 +0000320 if (I->hasSection() &&
321 (I->getSection() == ".ctors" ||
322 I->getSection() == ".dtors")) {
323 std::string SectionName = ".section " + I->getSection();
324
Rafael Espindola0ec729e2006-12-08 22:06:02 +0000325 SectionName += ",\"aw\",%progbits";
Rafael Espindola13666262006-12-08 21:24:58 +0000326
327 SwitchToDataSection(SectionName.c_str());
328 } else {
329 SwitchToDataSection(TAI->getDataSection(), I);
330 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000331
332 EmitAlignment(Align, I);
333 O << "\t.type " << name << ", %object\n";
334 O << "\t.size " << name << ", " << Size << "\n";
335 O << name << ":\n";
336 EmitGlobalConstant(C);
Rafael Espindola6d581e82006-07-31 20:38:13 +0000337 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000338 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000339
Rafael Espindola392b1b22006-12-06 13:35:10 +0000340 if (ExtWeakSymbols.begin() != ExtWeakSymbols.end())
341 SwitchToDataSection("");
342 for (std::set<std::string>::iterator i = ExtWeakSymbols.begin(),
343 e = ExtWeakSymbols.end(); i != e; ++i) {
344 O << TAI->getWeakRefDirective() << *i << "\n";
345 }
346
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000347 AsmPrinter::doFinalization(M);
348 return false; // success
349}