blob: d0005a8dd2f1fbe5a5101f16cdfc09fb3d54f44c [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);
58
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000059 void printMemRegImm(const MachineInstr *MI, int opNum,
60 const char *Modifier = NULL) {
61 const MachineOperand &MO1 = MI->getOperand(opNum);
62 const MachineOperand &MO2 = MI->getOperand(opNum + 1);
Rafael Espindola1ed3af12006-08-01 18:53:10 +000063 assert(MO1.isImmediate());
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000064 bool arith = false;
65 if (Modifier != NULL) {
66 assert(strcmp(Modifier, "arith") == 0);
67 arith = true;
68 }
Rafael Espindola1ed3af12006-08-01 18:53:10 +000069
70 if (MO2.isConstantPoolIndex()) {
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000071 printOperand(MI, opNum + 1);
Rafael Espindola1ed3af12006-08-01 18:53:10 +000072 } else if (MO2.isRegister()) {
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000073 if(!arith)
74 O << '[';
75 printOperand(MI, opNum + 1);
Rafael Espindola1ed3af12006-08-01 18:53:10 +000076 O << ", ";
Rafael Espindolaf3a335c2006-08-17 17:09:40 +000077 printOperand(MI, opNum);
78 if(!arith)
79 O << ']';
Rafael Espindola1ed3af12006-08-01 18:53:10 +000080 } else {
81 assert(0 && "Invalid Operand Type");
82 }
Rafael Espindolaa4e64352006-07-11 11:36:48 +000083 }
84
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000085 void printOperand(const MachineInstr *MI, int opNum);
86 void printMemOperand(const MachineInstr *MI, int opNum,
87 const char *Modifier = 0);
88 void printCCOperand(const MachineInstr *MI, int opNum);
89
90 bool printInstruction(const MachineInstr *MI); // autogenerated.
91 bool runOnMachineFunction(MachineFunction &F);
92 bool doInitialization(Module &M);
93 bool doFinalization(Module &M);
94 };
95} // end of anonymous namespace
96
97#include "ARMGenAsmWriter.inc"
98
99/// createARMCodePrinterPass - Returns a pass that prints the ARM
100/// assembly code for a MachineFunction to the given output stream,
101/// using the given target machine description. This should work
102/// regardless of whether the function is in SSA form.
103///
104FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
105 TargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000106 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000107}
108
109/// runOnMachineFunction - This uses the printMachineInstruction()
110/// method to print assembly for each instruction.
111///
112bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Rafael Espindola4b442b52006-05-23 02:48:20 +0000113 SetupMachineFunction(MF);
114 O << "\n\n";
115
116 // Print out constants referenced by the function
117 EmitConstantPool(MF.getConstantPool());
118
119 // Print out jump tables referenced by the function
Chris Lattner1da31ee2006-10-05 03:01:21 +0000120 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000121
122 // Print out labels for the function.
123 const Function *F = MF.getFunction();
Chris Lattner6f6f6992006-10-05 02:49:23 +0000124 SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
125
Rafael Espindola4b442b52006-05-23 02:48:20 +0000126 switch (F->getLinkage()) {
127 default: assert(0 && "Unknown linkage type!");
128 case Function::InternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000129 break;
130 case Function::ExternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000131 O << "\t.globl\t" << CurrentFnName << "\n";
132 break;
133 case Function::WeakLinkage:
134 case Function::LinkOnceLinkage:
135 assert(0 && "Not implemented");
136 break;
137 }
Rafael Espindolaa1334cd2006-05-26 10:56:17 +0000138 EmitAlignment(2, F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000139 O << CurrentFnName << ":\n";
140
141 // Print out code for the function.
142 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
143 I != E; ++I) {
144 // Print a label for the basic block.
145 if (I != MF.begin()) {
146 printBasicBlockLabel(I, true);
147 O << '\n';
148 }
149 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
150 II != E; ++II) {
151 // Print the assembly for the instruction.
152 O << "\t";
153 printInstruction(II);
154 }
155 }
156
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000157 return false;
158}
159
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000160void ARMAsmPrinter::printAddrMode1(const MachineInstr *MI, int opNum) {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000161 const MachineOperand &Arg = MI->getOperand(opNum);
162 const MachineOperand &Shift = MI->getOperand(opNum + 1);
163 const MachineOperand &ShiftType = MI->getOperand(opNum + 2);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000164
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000165 if(Arg.isImmediate()) {
166 assert(Shift.getImmedValue() == 0);
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000167 printOperand(MI, opNum);
168 } else {
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000169 assert(Arg.isRegister());
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000170 printOperand(MI, opNum);
Rafael Espindola3ad5e5c2006-09-13 12:09:43 +0000171 if(Shift.isRegister() || Shift.getImmedValue() != 0) {
172 const char *s = NULL;
173 switch(ShiftType.getImmedValue()) {
174 case ARMShift::LSL:
175 s = ", lsl ";
176 break;
177 case ARMShift::LSR:
178 s = ", lsr ";
179 break;
180 case ARMShift::ASR:
181 s = ", asr ";
182 break;
183 case ARMShift::ROR:
184 s = ", ror ";
185 break;
186 case ARMShift::RRX:
187 s = ", rrx ";
188 break;
189 }
190 O << s;
191 printOperand(MI, opNum + 1);
192 }
Rafael Espindola7cca7c52006-09-11 17:25:40 +0000193 }
194}
195
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000196void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000197 const MachineOperand &MO = MI->getOperand (opNum);
198 const MRegisterInfo &RI = *TM.getRegisterInfo();
199 switch (MO.getType()) {
200 case MachineOperand::MO_Register:
201 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
202 O << LowercaseString (RI.get(MO.getReg()).Name);
203 else
204 assert(0 && "not implemented");
205 break;
206 case MachineOperand::MO_Immediate:
207 O << "#" << (int)MO.getImmedValue();
208 break;
209 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindola687bc492006-08-24 13:45:55 +0000210 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000211 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000212 case MachineOperand::MO_GlobalAddress: {
213 GlobalValue *GV = MO.getGlobal();
214 std::string Name = Mang->getValueName(GV);
215 O << Name;
216 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000217 break;
218 case MachineOperand::MO_ExternalSymbol:
219 assert(0 && "not implemented");
220 abort();
221 break;
222 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskey563321a2006-09-06 18:34:40 +0000223 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola06c1e7e2006-08-01 12:58:43 +0000224 << '_' << MO.getConstantPoolIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000225 break;
226 default:
227 O << "<unknown operand type>"; abort (); break;
228 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000229}
230
231void ARMAsmPrinter::printMemOperand(const MachineInstr *MI, int opNum,
232 const char *Modifier) {
233 assert(0 && "not implemented");
234}
235
236void ARMAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola6f602de2006-08-24 16:13:15 +0000237 int CC = (int)MI->getOperand(opNum).getImmedValue();
238 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000239}
240
241bool ARMAsmPrinter::doInitialization(Module &M) {
Rafael Espindolaff59d222006-09-11 12:49:38 +0000242 AsmPrinter::doInitialization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000243 return false; // success
244}
245
246bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000247 const TargetData *TD = TM.getTargetData();
248
249 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
250 I != E; ++I) {
251 if (!I->hasInitializer()) // External global require no code
252 continue;
253
254 if (EmitSpecialLLVMGlobal(I))
255 continue;
256
257 O << "\n\n";
258 std::string name = Mang->getValueName(I);
259 Constant *C = I->getInitializer();
260 unsigned Size = TD->getTypeSize(C->getType());
261 unsigned Align = TD->getTypeAlignment(C->getType());
262
Rafael Espindola6d581e82006-07-31 20:38:13 +0000263 switch (I->getLinkage()) {
264 default:
265 assert(0 && "Unknown linkage type!");
266 break;
267 case GlobalValue::ExternalLinkage:
268 O << "\t.globl " << name << "\n";
269 break;
270 case GlobalValue::InternalLinkage:
271 break;
272 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000273
274 assert (!C->isNullValue());
275 SwitchToDataSection(".data", I);
276
277 EmitAlignment(Align, I);
278 O << "\t.type " << name << ", %object\n";
279 O << "\t.size " << name << ", " << Size << "\n";
280 O << name << ":\n";
281 EmitGlobalConstant(C);
282 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000283 AsmPrinter::doFinalization(M);
284 return false; // success
285}