blob: 3bdf3f967cc2dd33b2e3730a6a247e3ebdd511ee [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
Chris Lattner95b2c7d2006-12-19 22:59:26 +000016#define DEBUG_TYPE "asm-printer"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000017#include "ARM.h"
Evan Chenga8e29892007-01-19 07:51:42 +000018#include "ARMTargetMachine.h"
19#include "ARMAddressingModes.h"
20#include "ARMConstantPoolValue.h"
21#include "ARMMachineFunctionInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000022#include "llvm/Constants.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000023#include "llvm/Module.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000024#include "llvm/CodeGen/AsmPrinter.h"
Evan Chenga8e29892007-01-19 07:51:42 +000025#include "llvm/CodeGen/DwarfWriter.h"
26#include "llvm/CodeGen/MachineDebugInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000027#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Chenga8e29892007-01-19 07:51:42 +000028#include "llvm/CodeGen/MachineJumpTableInfo.h"
Jim Laskey563321a2006-09-06 18:34:40 +000029#include "llvm/Target/TargetAsmInfo.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000030#include "llvm/Target/TargetData.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000031#include "llvm/Target/TargetMachine.h"
Evan Cheng5be54b02007-01-19 19:25:36 +000032#include "llvm/Target/TargetOptions.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000033#include "llvm/ADT/Statistic.h"
34#include "llvm/ADT/StringExtras.h"
Evan Chenga8e29892007-01-19 07:51:42 +000035#include "llvm/Support/Compiler.h"
36#include "llvm/Support/Mangler.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000037#include "llvm/Support/MathExtras.h"
38#include <cctype>
Evan Chenga8e29892007-01-19 07:51:42 +000039#include <iostream>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000040using namespace llvm;
41
Chris Lattner95b2c7d2006-12-19 22:59:26 +000042STATISTIC(EmittedInsts, "Number of machine instrs printed");
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000043
Chris Lattner95b2c7d2006-12-19 22:59:26 +000044namespace {
Jim Laskey563321a2006-09-06 18:34:40 +000045 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskeya0f3d172006-09-07 22:06:40 +000046 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Evan Chenga8e29892007-01-19 07:51:42 +000047 : AsmPrinter(O, TM, T), DW(O, this, T), AFI(NULL), InCPMode(false) {
48 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Jim Laskey563321a2006-09-06 18:34:40 +000049 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000050
Evan Chenga8e29892007-01-19 07:51:42 +000051 DwarfWriter DW;
52
53 /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
54 /// make the right decision when printing asm code for different targets.
55 const ARMSubtarget *Subtarget;
56
57 /// AFI - Keep a pointer to ARMFunctionInfo for the current
58 /// MachineFunction
59 ARMFunctionInfo *AFI;
60
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000061 /// We name each basic block in a Function with a unique number, so
62 /// that we can consistently refer to them later. This is cleared
63 /// at the beginning of each call to runOnMachineFunction().
64 ///
65 typedef std::map<const Value *, unsigned> ValueMapTy;
66 ValueMapTy NumberForBB;
67
Evan Chenga8e29892007-01-19 07:51:42 +000068 /// Keeps the set of GlobalValues that require non-lazy-pointers for
69 /// indirect access.
70 std::set<std::string> GVNonLazyPtrs;
71
72 /// Keeps the set of external function GlobalAddresses that the asm
73 /// printer should generate stubs for.
74 std::set<std::string> FnStubs;
75
76 /// True if asm printer is printing a series of CONSTPOOL_ENTRY.
77 bool InCPMode;
78
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000079 virtual const char *getPassName() const {
80 return "ARM Assembly Printer";
81 }
82
Evan Chenga8e29892007-01-19 07:51:42 +000083 void printOperand(const MachineInstr *MI, int opNum,
84 const char *Modifier = 0);
85 void printSOImmOperand(const MachineInstr *MI, int opNum);
86 void printSORegOperand(const MachineInstr *MI, int opNum);
87 void printAddrMode2Operand(const MachineInstr *MI, int OpNo);
88 void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNo);
89 void printAddrMode3Operand(const MachineInstr *MI, int OpNo);
90 void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNo);
91 void printAddrMode4Operand(const MachineInstr *MI, int OpNo,
92 const char *Modifier = 0);
93 void printAddrMode5Operand(const MachineInstr *MI, int OpNo,
94 const char *Modifier = 0);
95 void printAddrModePCOperand(const MachineInstr *MI, int OpNo,
96 const char *Modifier = 0);
97 void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNo);
98 void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNo,
99 unsigned Scale);
Evan Chengc38f2bc2007-01-23 22:59:13 +0000100 void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNo);
101 void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNo);
102 void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNo);
Evan Chenga8e29892007-01-19 07:51:42 +0000103 void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNo);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000104 void printCCOperand(const MachineInstr *MI, int opNum);
Evan Chenga8e29892007-01-19 07:51:42 +0000105 void printPCLabel(const MachineInstr *MI, int opNum);
106 void printRegisterList(const MachineInstr *MI, int opNum);
107 void printCPInstOperand(const MachineInstr *MI, int opNum,
108 const char *Modifier);
109 void printJTBlockOperand(const MachineInstr *MI, int opNum);
110
111 virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
112 unsigned AsmVariant, const char *ExtraCode);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000113
114 bool printInstruction(const MachineInstr *MI); // autogenerated.
Evan Chenga8e29892007-01-19 07:51:42 +0000115 void printMachineInstruction(const MachineInstr *MI);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000116 bool runOnMachineFunction(MachineFunction &F);
117 bool doInitialization(Module &M);
118 bool doFinalization(Module &M);
Evan Chenga8e29892007-01-19 07:51:42 +0000119
120 virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
121 printDataDirective(MCPV->getType());
122
123 ARMConstantPoolValue *ACPV = (ARMConstantPoolValue*)MCPV;
124 std::string Name = Mang->getValueName(ACPV->getGV());
125 if (ACPV->isNonLazyPointer()) {
126 GVNonLazyPtrs.insert(Name);
127 O << TAI->getPrivateGlobalPrefix() << Name << "$non_lazy_ptr";
128 } else
129 O << Name;
130 if (ACPV->getPCAdjustment() != 0)
131 O << "-(" << TAI->getPrivateGlobalPrefix() << "PC"
132 << utostr(ACPV->getLabelId())
133 << "+" << (unsigned)ACPV->getPCAdjustment() << ")";
134 O << "\n";
135 }
136
137 void getAnalysisUsage(AnalysisUsage &AU) const {
138 AU.setPreservesAll();
139 AU.addRequired<MachineDebugInfo>();
140 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000141 };
142} // end of anonymous namespace
143
144#include "ARMGenAsmWriter.inc"
145
146/// createARMCodePrinterPass - Returns a pass that prints the ARM
147/// assembly code for a MachineFunction to the given output stream,
148/// using the given target machine description. This should work
149/// regardless of whether the function is in SSA form.
150///
151FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
Evan Chenga8e29892007-01-19 07:51:42 +0000152 ARMTargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000153 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000154}
155
Evan Chenga8e29892007-01-19 07:51:42 +0000156/// runOnMachineFunction - This uses the printInstruction()
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000157/// method to print assembly for each instruction.
158///
159bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Chenga8e29892007-01-19 07:51:42 +0000160 AFI = MF.getInfo<ARMFunctionInfo>();
Rafael Espindola4b442b52006-05-23 02:48:20 +0000161
Evan Cheng5be54b02007-01-19 19:25:36 +0000162 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000163 DW.SetDebugInfo(&getAnalysis<MachineDebugInfo>());
Chris Lattner1a199de2006-12-21 22:59:58 +0000164 }
165
Evan Chenga8e29892007-01-19 07:51:42 +0000166 SetupMachineFunction(MF);
167 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000168
Evan Chenga8e29892007-01-19 07:51:42 +0000169 // NOTE: we don't print out constant pools here, they are handled as
170 // instructions.
171
172 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000173 // Print out labels for the function.
174 const Function *F = MF.getFunction();
175 switch (F->getLinkage()) {
176 default: assert(0 && "Unknown linkage type!");
177 case Function::InternalLinkage:
Evan Chenga8e29892007-01-19 07:51:42 +0000178 SwitchToTextSection("\t.text", F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000179 break;
180 case Function::ExternalLinkage:
Evan Chenga8e29892007-01-19 07:51:42 +0000181 SwitchToTextSection("\t.text", F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000182 O << "\t.globl\t" << CurrentFnName << "\n";
183 break;
184 case Function::WeakLinkage:
185 case Function::LinkOnceLinkage:
Evan Cheng5be54b02007-01-19 19:25:36 +0000186 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000187 SwitchToTextSection(
188 ".section __TEXT,__textcoal_nt,coalesced,pure_instructions", F);
189 O << "\t.globl\t" << CurrentFnName << "\n";
190 O << "\t.weak_definition\t" << CurrentFnName << "\n";
191 } else {
192 O << TAI->getWeakRefDirective() << CurrentFnName << "\n";
193 }
Rafael Espindola4b442b52006-05-23 02:48:20 +0000194 break;
195 }
Evan Chenga8e29892007-01-19 07:51:42 +0000196
197 if (AFI->isThumbFunction()) {
198 EmitAlignment(1, F);
199 O << "\t.code\t16\n";
200 O << "\t.thumb_func\t" << CurrentFnName << "\n";
201 InCPMode = false;
202 } else
203 EmitAlignment(2, F);
204
Rafael Espindola4b442b52006-05-23 02:48:20 +0000205 O << CurrentFnName << ":\n";
Evan Cheng5be54b02007-01-19 19:25:36 +0000206 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000207 // Emit pre-function debug information.
208 DW.BeginFunction(&MF);
209 }
Rafael Espindola4b442b52006-05-23 02:48:20 +0000210
211 // Print out code for the function.
212 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
213 I != E; ++I) {
214 // Print a label for the basic block.
215 if (I != MF.begin()) {
216 printBasicBlockLabel(I, true);
217 O << '\n';
218 }
219 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
220 II != E; ++II) {
221 // Print the assembly for the instruction.
Evan Chenga8e29892007-01-19 07:51:42 +0000222 printMachineInstruction(II);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000223 }
224 }
225
Evan Chenga8e29892007-01-19 07:51:42 +0000226 if (TAI->hasDotTypeDotSizeDirective())
227 O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
228
Evan Cheng5be54b02007-01-19 19:25:36 +0000229 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000230 // Emit post-function debug information.
231 DW.EndFunction();
232 }
233
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000234 return false;
235}
236
Evan Chenga8e29892007-01-19 07:51:42 +0000237void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
238 const char *Modifier) {
239 const MachineOperand &MO = MI->getOperand(opNum);
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000240 switch (MO.getType()) {
241 case MachineOperand::MO_Register:
242 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
Evan Chenga8e29892007-01-19 07:51:42 +0000243 O << TM.getRegisterInfo()->get(MO.getReg()).Name;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000244 else
245 assert(0 && "not implemented");
246 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000247 case MachineOperand::MO_Immediate: {
248 if (!Modifier || strcmp(Modifier, "no_hash") != 0)
249 O << "#";
250
251 O << (int)MO.getImmedValue();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000252 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000253 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000254 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindola687bc492006-08-24 13:45:55 +0000255 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000256 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000257 case MachineOperand::MO_GlobalAddress: {
Evan Chenga8e29892007-01-19 07:51:42 +0000258 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Rafael Espindola84b19be2006-07-16 01:02:57 +0000259 GlobalValue *GV = MO.getGlobal();
260 std::string Name = Mang->getValueName(GV);
Evan Chenga8e29892007-01-19 07:51:42 +0000261 bool isExt = (GV->isExternal() || GV->hasWeakLinkage() ||
262 GV->hasLinkOnceLinkage());
Evan Cheng5be54b02007-01-19 19:25:36 +0000263 if (isExt && isCallOp && Subtarget->isTargetDarwin() &&
Evan Chenga8e29892007-01-19 07:51:42 +0000264 TM.getRelocationModel() != Reloc::Static) {
265 O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
266 FnStubs.insert(Name);
267 } else
268 O << Name;
269
270 if (GV->hasExternalWeakLinkage())
Rafael Espindola15404d02006-12-18 03:37:18 +0000271 ExtWeakSymbols.insert(GV);
Evan Chenga8e29892007-01-19 07:51:42 +0000272 break;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000273 }
Evan Chenga8e29892007-01-19 07:51:42 +0000274 case MachineOperand::MO_ExternalSymbol: {
275 bool isCallOp = Modifier && !strcmp(Modifier, "call");
276 std::string Name(TAI->getGlobalPrefix());
277 Name += MO.getSymbolName();
Evan Cheng5be54b02007-01-19 19:25:36 +0000278 if (isCallOp && Subtarget->isTargetDarwin() &&
Evan Chenga8e29892007-01-19 07:51:42 +0000279 TM.getRelocationModel() != Reloc::Static) {
280 O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
281 FnStubs.insert(Name);
282 } else
283 O << Name;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000284 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000285 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000286 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskey563321a2006-09-06 18:34:40 +0000287 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola06c1e7e2006-08-01 12:58:43 +0000288 << '_' << MO.getConstantPoolIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000289 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000290 case MachineOperand::MO_JumpTableIndex:
291 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
292 << '_' << MO.getJumpTableIndex();
293 break;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000294 default:
295 O << "<unknown operand type>"; abort (); break;
296 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000297}
298
Evan Chenga8e29892007-01-19 07:51:42 +0000299/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
300/// immediate in bits 0-7.
301void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
302 const MachineOperand &MO = MI->getOperand(OpNum);
303 assert(MO.isImmediate() && (MO.getImmedValue() < (1 << 12)) &&
304 "Not a valid so_imm value!");
305 unsigned Imm = ARM_AM::getSOImmValImm(MO.getImmedValue());
306 unsigned Rot = ARM_AM::getSOImmValRot(MO.getImmedValue());
307
308 // Print low-level immediate formation info, per
309 // A5.1.3: "Data-processing operands - Immediate".
310 if (Rot) {
311 O << "#" << Imm << ", " << Rot;
312 // Pretty printed version.
313 O << ' ' << TAI->getCommentString() << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
314 } else {
315 O << "#" << Imm;
316 }
317}
318
319// so_reg is a 4-operand unit corresponding to register forms of the A5.1
320// "Addressing Mode 1 - Data-processing operands" forms. This includes:
321// REG 0 0 - e.g. R5
322// REG REG 0,SH_OPC - e.g. R5, ROR R3
323// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
324void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
325 const MachineOperand &MO1 = MI->getOperand(Op);
326 const MachineOperand &MO2 = MI->getOperand(Op+1);
327 const MachineOperand &MO3 = MI->getOperand(Op+2);
328
329 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
330 O << TM.getRegisterInfo()->get(MO1.getReg()).Name;
331
332 // Print the shift opc.
333 O << ", "
334 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImmedValue()))
335 << " ";
336
337 if (MO2.getReg()) {
338 assert(MRegisterInfo::isPhysicalRegister(MO2.getReg()));
339 O << TM.getRegisterInfo()->get(MO2.getReg()).Name;
340 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
341 } else {
342 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
343 }
344}
345
346void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) {
347 const MachineOperand &MO1 = MI->getOperand(Op);
348 const MachineOperand &MO2 = MI->getOperand(Op+1);
349 const MachineOperand &MO3 = MI->getOperand(Op+2);
350
351 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
352 printOperand(MI, Op);
353 return;
354 }
355
356 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
357
358 if (!MO2.getReg()) {
359 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
360 O << ", #"
361 << (char)ARM_AM::getAM2Op(MO3.getImm())
362 << ARM_AM::getAM2Offset(MO3.getImm());
363 O << "]";
364 return;
365 }
366
367 O << ", "
368 << (char)ARM_AM::getAM2Op(MO3.getImm())
369 << TM.getRegisterInfo()->get(MO2.getReg()).Name;
370
371 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
372 O << ", "
373 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImmedValue()))
374 << " #" << ShImm;
375 O << "]";
376}
377
378void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
379 const MachineOperand &MO1 = MI->getOperand(Op);
380 const MachineOperand &MO2 = MI->getOperand(Op+1);
381
382 if (!MO1.getReg()) {
383 if (ARM_AM::getAM2Offset(MO2.getImm())) // Don't print +0.
384 O << "#"
385 << (char)ARM_AM::getAM2Op(MO2.getImm())
386 << ARM_AM::getAM2Offset(MO2.getImm());
387 return;
388 }
389
390 O << (char)ARM_AM::getAM2Op(MO2.getImm())
391 << TM.getRegisterInfo()->get(MO1.getReg()).Name;
392
393 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
394 O << ", "
395 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImmedValue()))
396 << " #" << ShImm;
397}
398
399void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
400 const MachineOperand &MO1 = MI->getOperand(Op);
401 const MachineOperand &MO2 = MI->getOperand(Op+1);
402 const MachineOperand &MO3 = MI->getOperand(Op+2);
403
404 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
405 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
406
407 if (MO2.getReg()) {
408 O << ", "
409 << (char)ARM_AM::getAM3Op(MO3.getImm())
410 << TM.getRegisterInfo()->get(MO2.getReg()).Name
411 << "]";
412 return;
413 }
414
415 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
416 O << ", #"
417 << (char)ARM_AM::getAM3Op(MO3.getImm())
418 << ImmOffs;
419 O << "]";
420}
421
422void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
423 const MachineOperand &MO1 = MI->getOperand(Op);
424 const MachineOperand &MO2 = MI->getOperand(Op+1);
425
426 if (MO1.getReg()) {
427 O << (char)ARM_AM::getAM3Op(MO2.getImm())
428 << TM.getRegisterInfo()->get(MO1.getReg()).Name;
429 return;
430 }
431
432 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
433 O << "#"
434 << (char)ARM_AM::getAM3Op(MO2.getImm())
435 << ImmOffs;
436}
437
438void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
439 const char *Modifier) {
440 const MachineOperand &MO1 = MI->getOperand(Op);
441 const MachineOperand &MO2 = MI->getOperand(Op+1);
442 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
443 if (Modifier && strcmp(Modifier, "submode") == 0) {
444 if (MO1.getReg() == ARM::SP) {
445 bool isLDM = (MI->getOpcode() == ARM::LDM ||
446 MI->getOpcode() == ARM::LDM_RET);
447 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
448 } else
449 O << ARM_AM::getAMSubModeStr(Mode);
450 } else {
451 printOperand(MI, Op);
452 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
453 O << "!";
454 }
455}
456
457void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
458 const char *Modifier) {
459 const MachineOperand &MO1 = MI->getOperand(Op);
460 const MachineOperand &MO2 = MI->getOperand(Op+1);
461
462 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
463 printOperand(MI, Op);
464 return;
465 }
466
467 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
468
469 if (Modifier && strcmp(Modifier, "submode") == 0) {
470 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
471 if (MO1.getReg() == ARM::SP) {
472 bool isFLDM = (MI->getOpcode() == ARM::FLDMD ||
473 MI->getOpcode() == ARM::FLDMS);
474 O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM);
475 } else
476 O << ARM_AM::getAMSubModeStr(Mode);
477 return;
478 } else if (Modifier && strcmp(Modifier, "base") == 0) {
479 // Used for FSTM{D|S} and LSTM{D|S} operations.
480 O << TM.getRegisterInfo()->get(MO1.getReg()).Name;
481 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
482 O << "!";
483 return;
484 }
485
486 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
487
488 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
489 O << ", #"
490 << (char)ARM_AM::getAM5Op(MO2.getImm())
491 << ImmOffs*4;
492 }
493 O << "]";
494}
495
496void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
497 const char *Modifier) {
498 if (Modifier && strcmp(Modifier, "label") == 0) {
499 printPCLabel(MI, Op+1);
500 return;
501 }
502
503 const MachineOperand &MO1 = MI->getOperand(Op);
504 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
505 O << "[pc, +" << TM.getRegisterInfo()->get(MO1.getReg()).Name << "]";
506}
507
508void
509ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
510 const MachineOperand &MO1 = MI->getOperand(Op);
511 const MachineOperand &MO2 = MI->getOperand(Op+1);
512 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
513 O << ", " << TM.getRegisterInfo()->get(MO2.getReg()).Name << "]";
514}
515
516void
517ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
518 unsigned Scale) {
519 const MachineOperand &MO1 = MI->getOperand(Op);
Evan Chengc38f2bc2007-01-23 22:59:13 +0000520 const MachineOperand &MO2 = MI->getOperand(Op+2);
Evan Chenga8e29892007-01-19 07:51:42 +0000521
522 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
523 printOperand(MI, Op);
524 return;
525 }
526
527 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
528 if (unsigned ImmOffs = MO2.getImm()) {
529 O << ", #" << ImmOffs;
530 if (Scale > 1)
531 O << " * " << Scale;
532 }
533 O << "]";
534}
535
536void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000537ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
538 if (MI->getOperand(Op+1).getReg())
539 printThumbAddrModeRROperand(MI, Op);
540 else
541 printThumbAddrModeRI5Operand(MI, Op, 1);
Evan Chenga8e29892007-01-19 07:51:42 +0000542}
543void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000544ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
545 if (MI->getOperand(Op+1).getReg())
546 printThumbAddrModeRROperand(MI, Op);
547 else
548 printThumbAddrModeRI5Operand(MI, Op, 2);
Evan Chenga8e29892007-01-19 07:51:42 +0000549}
550void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000551ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
552 if (MI->getOperand(Op+1).getReg())
553 printThumbAddrModeRROperand(MI, Op);
554 else
555 printThumbAddrModeRI5Operand(MI, Op, 4);
Evan Chenga8e29892007-01-19 07:51:42 +0000556}
557
558void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
559 const MachineOperand &MO1 = MI->getOperand(Op);
560 const MachineOperand &MO2 = MI->getOperand(Op+1);
561 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
562 if (unsigned ImmOffs = MO2.getImm())
563 O << ", #" << ImmOffs << " * 4";
564 O << "]";
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000565}
566
567void ARMAsmPrinter::printCCOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola6f602de2006-08-24 16:13:15 +0000568 int CC = (int)MI->getOperand(opNum).getImmedValue();
569 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000570}
571
Evan Chenga8e29892007-01-19 07:51:42 +0000572void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int opNum) {
573 int Id = (int)MI->getOperand(opNum).getImmedValue();
574 O << TAI->getPrivateGlobalPrefix() << "PC" << Id;
575}
576
577void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int opNum) {
578 O << "{";
579 for (unsigned i = opNum, e = MI->getNumOperands(); i != e; ++i) {
580 printOperand(MI, i);
581 if (i != e-1) O << ", ";
582 }
583 O << "}";
584}
585
586void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNo,
587 const char *Modifier) {
588 assert(Modifier && "This operand only works with a modifier!");
589 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
590 // data itself.
591 if (!strcmp(Modifier, "label")) {
592 unsigned ID = MI->getOperand(OpNo).getImm();
593 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
594 << '_' << ID << ":\n";
595 } else {
596 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
597 unsigned CPI = MI->getOperand(OpNo).getConstantPoolIndex();
598
599 const MachineConstantPoolEntry &MCPE = // Chasing pointers is fun?
600 MI->getParent()->getParent()->getConstantPool()->getConstants()[CPI];
601
602 if (MCPE.isMachineConstantPoolEntry())
603 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
604 else
605 EmitGlobalConstant(MCPE.Val.ConstVal);
606 }
607}
608
609void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNo) {
610 const MachineOperand &MO1 = MI->getOperand(OpNo);
611 const MachineOperand &MO2 = MI->getOperand(OpNo+1); // Unique Id
612 unsigned JTI = MO1.getJumpTableIndex();
613 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
614 << '_' << JTI << '_' << MO2.getImmedValue() << ":\n";
615
616 const char *JTEntryDirective = TAI->getJumpTableDirective();
617 if (!JTEntryDirective)
618 JTEntryDirective = TAI->getData32bitsDirective();
619
620 const MachineFunction *MF = MI->getParent()->getParent();
621 MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
622 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
623 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
624 bool UseSet= TAI->getSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
625 std::set<MachineBasicBlock*> JTSets;
626 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
627 MachineBasicBlock *MBB = JTBBs[i];
628 if (UseSet && JTSets.insert(MBB).second)
629 printSetLabel(JTI, MO2.getImmedValue(), MBB);
630
631 O << JTEntryDirective << ' ';
632 if (UseSet)
633 O << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
634 << '_' << JTI << '_' << MO2.getImmedValue()
635 << "_set_" << MBB->getNumber();
636 else if (TM.getRelocationModel() == Reloc::PIC_) {
637 printBasicBlockLabel(MBB, false, false);
638 // If the arch uses custom Jump Table directives, don't calc relative to JT
639 if (!TAI->getJumpTableDirective())
640 O << '-' << TAI->getPrivateGlobalPrefix() << "JTI"
641 << getFunctionNumber() << '_' << JTI << '_' << MO2.getImmedValue();
642 } else
643 printBasicBlockLabel(MBB, false, false);
644 O << '\n';
645 }
646}
647
648
649bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
650 unsigned AsmVariant, const char *ExtraCode){
651 // Does this asm operand have a single letter operand modifier?
652 if (ExtraCode && ExtraCode[0]) {
653 if (ExtraCode[1] != 0) return true; // Unknown modifier.
654
655 switch (ExtraCode[0]) {
656 default: return true; // Unknown modifier.
657 case 'Q':
658 if (TM.getTargetData()->isLittleEndian())
659 break;
660 // Fallthrough
661 case 'R':
662 if (TM.getTargetData()->isBigEndian())
663 break;
664 // Fallthrough
665 case 'H': // Write second word of DI / DF reference.
666 // Verify that this operand has two consecutive registers.
667 if (!MI->getOperand(OpNo).isRegister() ||
668 OpNo+1 == MI->getNumOperands() ||
669 !MI->getOperand(OpNo+1).isRegister())
670 return true;
671 ++OpNo; // Return the high-part.
672 }
673 }
674
675 printOperand(MI, OpNo);
676 return false;
677}
678
679void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
680 ++EmittedInsts;
681
682 if (MI->getOpcode() == ARM::CONSTPOOL_ENTRY) {
683 if (!InCPMode && AFI->isThumbFunction()) {
684 EmitAlignment(2);
685 InCPMode = true;
686 }
687 } else {
688 if (InCPMode && AFI->isThumbFunction()) {
689 EmitAlignment(1);
690 InCPMode = false;
691 }
692 O << "\t";
693 }
694
695 // Call the autogenerated instruction printer routines.
696 printInstruction(MI);
697}
698
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000699bool ARMAsmPrinter::doInitialization(Module &M) {
Evan Cheng5be54b02007-01-19 19:25:36 +0000700 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000701 // Emit initial debug information.
702 DW.BeginModule(&M);
703 }
704
705 return AsmPrinter::doInitialization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000706}
707
708bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000709 const TargetData *TD = TM.getTargetData();
710
711 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
712 I != E; ++I) {
713 if (!I->hasInitializer()) // External global require no code
714 continue;
715
716 if (EmitSpecialLLVMGlobal(I))
717 continue;
718
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000719 std::string name = Mang->getValueName(I);
720 Constant *C = I->getInitializer();
721 unsigned Size = TD->getTypeSize(C->getType());
Evan Chenga8e29892007-01-19 07:51:42 +0000722 unsigned Align = TD->getPreferredAlignmentLog(I);
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000723
Evan Cheng5be54b02007-01-19 19:25:36 +0000724 if (I->hasHiddenVisibility())
725 if (const char *Directive = TAI->getHiddenDirective())
726 O << Directive << name << "\n";
727 if (Subtarget->isTargetELF())
728 O << "\t.type " << name << ",@object\n";
729
730 if (C->isNullValue()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000731 if (I->hasExternalLinkage()) {
Evan Cheng5be54b02007-01-19 19:25:36 +0000732 if (const char *Directive = TAI->getZeroFillDirective()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000733 O << "\t.globl\t" << name << "\n";
Evan Cheng5be54b02007-01-19 19:25:36 +0000734 O << Directive << "__DATA__, __common, " << name << ", "
735 << Size << ", " << Align << "\n";
736 continue;
737 }
738 }
739
740 if (!I->hasSection() &&
741 (I->hasInternalLinkage() || I->hasWeakLinkage() ||
742 I->hasLinkOnceLinkage())) {
743 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
744 if (!NoZerosInBSS && TAI->getBSSSection())
745 SwitchToDataSection(TAI->getBSSSection(), I);
746 else
747 SwitchToDataSection(TAI->getDataSection(), I);
Evan Chenga8e29892007-01-19 07:51:42 +0000748 if (TAI->getLCOMMDirective() != NULL) {
749 if (I->hasInternalLinkage()) {
750 O << TAI->getLCOMMDirective() << name << "," << Size;
Evan Cheng5be54b02007-01-19 19:25:36 +0000751 if (Subtarget->isTargetDarwin())
Evan Chenga8e29892007-01-19 07:51:42 +0000752 O << "," << Align;
753 } else
754 O << TAI->getCOMMDirective() << name << "," << Size;
755 } else {
756 if (I->hasInternalLinkage())
757 O << "\t.local\t" << name << "\n";
758 O << TAI->getCOMMDirective() << name << "," << Size;
759 if (TAI->getCOMMDirectiveTakesAlignment())
760 O << "," << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
761 }
Evan Cheng5be54b02007-01-19 19:25:36 +0000762 O << "\t\t" << TAI->getCommentString() << " " << I->getName() << "\n";
763 continue;
Evan Chenga8e29892007-01-19 07:51:42 +0000764 }
Evan Cheng5be54b02007-01-19 19:25:36 +0000765 }
Evan Chenga8e29892007-01-19 07:51:42 +0000766
Evan Cheng5be54b02007-01-19 19:25:36 +0000767 switch (I->getLinkage()) {
768 case GlobalValue::LinkOnceLinkage:
769 case GlobalValue::WeakLinkage:
770 if (Subtarget->isTargetDarwin()) {
771 O << "\t.globl " << name << "\n"
772 << "\t.weak_definition " << name << "\n";
773 SwitchToDataSection("\t.section __DATA,__const_coal,coalesced", I);
774 } else {
775 std::string SectionName("\t.section\t.llvm.linkonce.d." +
776 name +
777 ",\"aw\",%progbits");
778 SwitchToDataSection(SectionName.c_str(), I);
779 O << "\t.weak " << name << "\n";
780 }
781 break;
782 case GlobalValue::AppendingLinkage:
783 // FIXME: appending linkage variables should go into a section of
784 // their name or something. For now, just emit them as external.
785 case GlobalValue::ExternalLinkage:
786 O << "\t.globl " << name << "\n";
787 // FALL THROUGH
788 case GlobalValue::InternalLinkage: {
789 if (I->isConstant()) {
790 const ConstantArray *CVA = dyn_cast<ConstantArray>(C);
791 if (TAI->getCStringSection() && CVA && CVA->isCString()) {
792 SwitchToDataSection(TAI->getCStringSection(), I);
793 break;
794 }
795 }
796 // FIXME: special handling for ".ctors" & ".dtors" sections
797 if (I->hasSection() &&
798 (I->getSection() == ".ctors" ||
799 I->getSection() == ".dtors")) {
800 assert(!Subtarget->isTargetDarwin());
801 std::string SectionName = ".section " + I->getSection();
802 SectionName += ",\"aw\",%progbits";
803 SwitchToDataSection(SectionName.c_str());
804 } else {
805 if (C->isNullValue() && !NoZerosInBSS && TAI->getBSSSection())
806 SwitchToDataSection(TAI->getBSSSection(), I);
807 else
Evan Chenga8e29892007-01-19 07:51:42 +0000808 SwitchToDataSection(TAI->getDataSection(), I);
Rafael Espindolab97809c2006-10-19 13:30:40 +0000809 }
Evan Cheng5be54b02007-01-19 19:25:36 +0000810
811 break;
812 }
813 default:
814 assert(0 && "Unknown linkage type!");
815 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000816 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000817
Evan Chenga8e29892007-01-19 07:51:42 +0000818 EmitAlignment(Align, I);
Evan Cheng5be54b02007-01-19 19:25:36 +0000819 O << name << ":\t\t\t\t" << TAI->getCommentString() << " " << I->getName()
820 << "\n";
821 if (TAI->hasDotTypeDotSizeDirective())
Rafael Espindolab97809c2006-10-19 13:30:40 +0000822 O << "\t.size " << name << ", " << Size << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000823 // If the initializer is a extern weak symbol, remember to emit the weak
824 // reference!
825 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C))
826 if (GV->hasExternalWeakLinkage())
827 ExtWeakSymbols.insert(GV);
828
829 EmitGlobalConstant(C);
830 O << '\n';
831 }
832
Evan Cheng5be54b02007-01-19 19:25:36 +0000833 if (Subtarget->isTargetDarwin()) {
834 SwitchToDataSection("");
835
Evan Chenga8e29892007-01-19 07:51:42 +0000836 // Output stubs for dynamically-linked functions
837 unsigned j = 1;
838 for (std::set<std::string>::iterator i = FnStubs.begin(), e = FnStubs.end();
839 i != e; ++i, ++j) {
840 if (TM.getRelocationModel() == Reloc::PIC_)
841 SwitchToTextSection(".section __TEXT,__picsymbolstub4,symbol_stubs,"
842 "none,16", 0);
843 else
844 SwitchToTextSection(".section __TEXT,__symbol_stub4,symbol_stubs,"
845 "none,12", 0);
846
847 EmitAlignment(2);
848 O << "\t.code\t32\n";
849
850 O << "L" << *i << "$stub:\n";
851 O << "\t.indirect_symbol " << *i << "\n";
852 O << "\tldr ip, L" << *i << "$slp\n";
853 if (TM.getRelocationModel() == Reloc::PIC_) {
854 O << "L" << *i << "$scv:\n";
855 O << "\tadd ip, pc, ip\n";
856 }
857 O << "\tldr pc, [ip, #0]\n";
858 O << "L" << *i << "$slp:\n";
859 if (TM.getRelocationModel() == Reloc::PIC_)
860 O << "\t.long\tL" << *i << "$lazy_ptr-(L" << *i << "$scv+8)\n";
861 else
862 O << "\t.long\tL" << *i << "$lazy_ptr\n";
863 SwitchToDataSection(".lazy_symbol_pointer", 0);
864 O << "L" << *i << "$lazy_ptr:\n";
865 O << "\t.indirect_symbol " << *i << "\n";
866 O << "\t.long\tdyld_stub_binding_helper\n";
867 }
868 O << "\n";
869
870 // Output non-lazy-pointers for external and common global variables.
871 if (GVNonLazyPtrs.begin() != GVNonLazyPtrs.end())
872 SwitchToDataSection(".non_lazy_symbol_pointer", 0);
873 for (std::set<std::string>::iterator i = GVNonLazyPtrs.begin(),
874 e = GVNonLazyPtrs.end(); i != e; ++i) {
875 O << "L" << *i << "$non_lazy_ptr:\n";
876 O << "\t.indirect_symbol " << *i << "\n";
877 O << "\t.long\t0\n";
878 }
879
880 // Emit initial debug information.
881 DW.EndModule();
882
883 // Funny Darwin hack: This flag tells the linker that no global symbols
884 // contain code that falls through to other global symbols (e.g. the obvious
885 // implementation of multiple entry points). If this doesn't occur, the
886 // linker can safely perform dead code stripping. Since LLVM never
887 // generates code that does this, it is always safe to set.
888 O << "\t.subsections_via_symbols\n";
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000889 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000890
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000891 AsmPrinter::doFinalization(M);
892 return false; // success
893}