blob: f67f39aa7d0b01039c61286a648356c5c82ad79a [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"
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 Laskey563321a2006-09-06 18:34:40 +000026#include "llvm/Target/TargetAsmInfo.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000027#include "llvm/Target/TargetData.h"
Rafael Espindola7bc59bc2006-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
Jim Laskey563321a2006-09-06 18:34:40 +000041 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskeya0f3d172006-09-07 22:06:40 +000042 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Jim Laskey563321a2006-09-06 18:34:40 +000043 : AsmPrinter(O, TM, T) {
44 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000045
46 /// We name each basic block in a Function with a unique number, so
47 /// that we can consistently refer to them later. This is cleared
48 /// at the beginning of each call to runOnMachineFunction().
49 ///
50 typedef std::map<const Value *, unsigned> ValueMapTy;
51 ValueMapTy NumberForBB;
52
53 virtual const char *getPassName() const {
54 return "ARM Assembly Printer";
55 }
56
Rafael Espindola7cca7c52006-09-11 17:25:40 +000057 void printAddrMode1(const MachineInstr *MI, int opNum);
Rafael Espindola32bd5f42006-10-17 18:04:53 +000058 void printAddrMode5(const MachineInstr *MI, int opNum);
Rafael Espindola7cca7c52006-09-11 17:25:40 +000059
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000060 void printMemRegImm(const MachineInstr *MI, int opNum,
61 const char *Modifier = NULL) {
62 const MachineOperand &MO1 = MI->getOperand(opNum);
63 const MachineOperand &MO2 = MI->getOperand(opNum + 1);
Rafael Espindola1ed3af12006-08-01 18:53:10 +000064 assert(MO1.isImmediate());
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000065 bool arith = false;
66 if (Modifier != NULL) {
67 assert(strcmp(Modifier, "arith") == 0);
68 arith = true;
69 }
Rafael Espindola1ed3af12006-08-01 18:53:10 +000070
71 if (MO2.isConstantPoolIndex()) {
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000072 printOperand(MI, opNum + 1);
Rafael Espindola1ed3af12006-08-01 18:53:10 +000073 } else if (MO2.isRegister()) {
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000074 if(!arith)
75 O << '[';
76 printOperand(MI, opNum + 1);
Rafael Espindola1ed3af12006-08-01 18:53:10 +000077 O << ", ";
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000078 printOperand(MI, opNum);
79 if(!arith)
80 O << ']';
Rafael Espindola1ed3af12006-08-01 18:53:10 +000081 } else {
82 assert(0 && "Invalid Operand Type");
83 }
Rafael Espindolaa4e64352006-07-11 11:36:48 +000084 }
85
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000086 void printOperand(const MachineInstr *MI, int opNum);
87 void printMemOperand(const MachineInstr *MI, int opNum,
88 const char *Modifier = 0);
89 void printCCOperand(const MachineInstr *MI, int opNum);
90
91 bool printInstruction(const MachineInstr *MI); // autogenerated.
92 bool runOnMachineFunction(MachineFunction &F);
93 bool doInitialization(Module &M);
94 bool doFinalization(Module &M);
95 };
96} // end of anonymous namespace
97
98#include "ARMGenAsmWriter.inc"
99
100/// createARMCodePrinterPass - Returns a pass that prints the ARM
101/// assembly code for a MachineFunction to the given output stream,
102/// using the given target machine description. This should work
103/// regardless of whether the function is in SSA form.
104///
105FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
106 TargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000107 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000108}
109
110/// runOnMachineFunction - This uses the printMachineInstruction()
111/// method to print assembly for each instruction.
112///
113bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Rafael Espindola4b442b52006-05-23 02:48:20 +0000114 SetupMachineFunction(MF);
115 O << "\n\n";
116
117 // Print out constants referenced by the function
118 EmitConstantPool(MF.getConstantPool());
119
120 // Print out jump tables referenced by the function
Chris Lattner1da31ee2006-10-05 03:01:21 +0000121 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000122
123 // Print out labels for the function.
124 const Function *F = MF.getFunction();
Chris Lattner6f6f6992006-10-05 02:49:23 +0000125 SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
126
Rafael Espindola4b442b52006-05-23 02:48:20 +0000127 switch (F->getLinkage()) {
128 default: assert(0 && "Unknown linkage type!");
129 case Function::InternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000130 break;
131 case Function::ExternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000132 O << "\t.globl\t" << CurrentFnName << "\n";
133 break;
134 case Function::WeakLinkage:
135 case Function::LinkOnceLinkage:
136 assert(0 && "Not implemented");
137 break;
138 }
Rafael Espindolaa1334cd2006-05-26 10:56:17 +0000139 EmitAlignment(2, F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000140 O << CurrentFnName << ":\n";
141
142 // Print out code for the function.
143 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
144 I != E; ++I) {
145 // Print a label for the basic block.
146 if (I != MF.begin()) {
147 printBasicBlockLabel(I, true);
148 O << '\n';
149 }
150 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
151 II != E; ++II) {
152 // Print the assembly for the instruction.
153 O << "\t";
154 printInstruction(II);
155 }
156 }
157
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000158 return false;
159}
160
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000161void ARMAsmPrinter::printAddrMode1(const MachineInstr *MI, int opNum) {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000162 const MachineOperand &Arg = MI->getOperand(opNum);
163 const MachineOperand &Shift = MI->getOperand(opNum + 1);
164 const MachineOperand &ShiftType = MI->getOperand(opNum + 2);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000165
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000166 if(Arg.isImmediate()) {
167 assert(Shift.getImmedValue() == 0);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000168 printOperand(MI, opNum);
169 } else {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000170 assert(Arg.isRegister());
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000171 printOperand(MI, opNum);
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000172 if(Shift.isRegister() || Shift.getImmedValue() != 0) {
173 const char *s = NULL;
174 switch(ShiftType.getImmedValue()) {
175 case ARMShift::LSL:
176 s = ", lsl ";
177 break;
178 case ARMShift::LSR:
179 s = ", lsr ";
180 break;
181 case ARMShift::ASR:
182 s = ", asr ";
183 break;
184 case ARMShift::ROR:
185 s = ", ror ";
186 break;
187 case ARMShift::RRX:
188 s = ", rrx ";
189 break;
190 }
191 O << s;
192 printOperand(MI, opNum + 1);
193 }
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000194 }
195}
196
Rafael Espindola32bd5f42006-10-17 18:04:53 +0000197void ARMAsmPrinter::printAddrMode5(const MachineInstr *MI, int opNum) {
198 const MachineOperand &Arg = MI->getOperand(opNum);
199 const MachineOperand &Offset = MI->getOperand(opNum + 1);
200 assert(Offset.isImmediate());
201
202 if (Arg.isConstantPoolIndex()) {
203 assert(Offset.getImmedValue() == 0);
204 printOperand(MI, opNum);
205 } else {
206 assert(Arg.isRegister());
207 O << '[';
208 printOperand(MI, opNum);
209 O << ", ";
210 printOperand(MI, opNum + 1);
211 O << ']';
212 }
213}
214
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000215void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000216 const MachineOperand &MO = MI->getOperand (opNum);
217 const MRegisterInfo &RI = *TM.getRegisterInfo();
218 switch (MO.getType()) {
219 case MachineOperand::MO_Register:
220 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
221 O << LowercaseString (RI.get(MO.getReg()).Name);
222 else
223 assert(0 && "not implemented");
224 break;
225 case MachineOperand::MO_Immediate:
226 O << "#" << (int)MO.getImmedValue();
227 break;
228 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindola687bc492006-08-24 13:45:55 +0000229 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000230 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000231 case MachineOperand::MO_GlobalAddress: {
232 GlobalValue *GV = MO.getGlobal();
233 std::string Name = Mang->getValueName(GV);
234 O << Name;
235 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000236 break;
237 case MachineOperand::MO_ExternalSymbol:
Rafael Espindola0505be02006-10-16 21:10:32 +0000238 O << TAI->getGlobalPrefix() << MO.getSymbolName();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000239 break;
240 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskey563321a2006-09-06 18:34:40 +0000241 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola06c1e7e2006-08-01 12:58:43 +0000242 << '_' << MO.getConstantPoolIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000243 break;
244 default:
245 O << "<unknown operand type>"; abort (); break;
246 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000247}
248
249void ARMAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
250 const char *Modifier) {
251 assert(0 && "not implemented");
252}
253
254void ARMAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola6f602de2006-08-24 16:13:15 +0000255 int CC = (int)MI->getOperand(opNum).getImmedValue();
256 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000257}
258
259bool ARMAsmPrinter::doInitialization(Module &M) {
Rafael Espindolaff59d222006-09-11 12:49:38 +0000260 AsmPrinter::doInitialization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000261 return false; // success
262}
263
264bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000265 const TargetData *TD = TM.getTargetData();
266
267 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
268 I != E; ++I) {
269 if (!I->hasInitializer()) // External global require no code
270 continue;
271
272 if (EmitSpecialLLVMGlobal(I))
273 continue;
274
275 O << "\n\n";
276 std::string name = Mang->getValueName(I);
277 Constant *C = I->getInitializer();
278 unsigned Size = TD->getTypeSize(C->getType());
279 unsigned Align = TD->getTypeAlignment(C->getType());
280
Rafael Espindola6d581e82006-07-31 20:38:13 +0000281 switch (I->getLinkage()) {
282 default:
283 assert(0 && "Unknown linkage type!");
284 break;
285 case GlobalValue::ExternalLinkage:
286 O << "\t.globl " << name << "\n";
287 break;
288 case GlobalValue::InternalLinkage:
289 break;
290 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000291
292 assert (!C->isNullValue());
293 SwitchToDataSection(".data", I);
294
295 EmitAlignment(Align, I);
296 O << "\t.type " << name << ", %object\n";
297 O << "\t.size " << name << ", " << Size << "\n";
298 O << name << ":\n";
299 EmitGlobalConstant(C);
300 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000301 AsmPrinter::doFinalization(M);
302 return false; // success
303}