blob: 3b30f9c5a0dfdc65d6aac3d4c19e9b2ffc488905 [file] [log] [blame]
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001//===-- ARMAsmPrinter.cpp - ARM LLVM assembly writer ----------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00006// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to GAS-format ARM assembly language.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner95b2c7d2006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000016#include "ARM.h"
Evan Chenga8e29892007-01-19 07:51:42 +000017#include "ARMTargetMachine.h"
18#include "ARMAddressingModes.h"
19#include "ARMConstantPoolValue.h"
20#include "ARMMachineFunctionInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000021#include "llvm/Constants.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000022#include "llvm/Module.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000023#include "llvm/CodeGen/AsmPrinter.h"
Evan Chenga8e29892007-01-19 07:51:42 +000024#include "llvm/CodeGen/DwarfWriter.h"
Jim Laskey44c3b9f2007-01-26 21:22:28 +000025#include "llvm/CodeGen/MachineModuleInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000026#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Chenga8e29892007-01-19 07:51:42 +000027#include "llvm/CodeGen/MachineJumpTableInfo.h"
Jim Laskey563321a2006-09-06 18:34:40 +000028#include "llvm/Target/TargetAsmInfo.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000029#include "llvm/Target/TargetData.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000030#include "llvm/Target/TargetMachine.h"
Evan Cheng5be54b02007-01-19 19:25:36 +000031#include "llvm/Target/TargetOptions.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000032#include "llvm/ADT/Statistic.h"
33#include "llvm/ADT/StringExtras.h"
Evan Chenga8e29892007-01-19 07:51:42 +000034#include "llvm/Support/Compiler.h"
35#include "llvm/Support/Mangler.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000036#include "llvm/Support/MathExtras.h"
37#include <cctype>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000038using namespace llvm;
39
Chris Lattner95b2c7d2006-12-19 22:59:26 +000040STATISTIC(EmittedInsts, "Number of machine instrs printed");
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000041
Chris Lattner95b2c7d2006-12-19 22:59:26 +000042namespace {
Jim Laskey563321a2006-09-06 18:34:40 +000043 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskeya0f3d172006-09-07 22:06:40 +000044 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Dale Johannesenf2452c52008-07-09 21:20:54 +000045 : AsmPrinter(O, TM, T), DW(O, this, T), MMI(NULL), AFI(NULL),
46 InCPMode(false) {
Evan Chenga8e29892007-01-19 07:51:42 +000047 Subtarget = &TM.getSubtarget<ARMSubtarget>();
Jim Laskey563321a2006-09-06 18:34:40 +000048 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000049
Evan Chenga8e29892007-01-19 07:51:42 +000050 DwarfWriter DW;
Dale Johannesenf2452c52008-07-09 21:20:54 +000051 MachineModuleInfo *MMI;
Evan Chenga8e29892007-01-19 07:51:42 +000052
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);
Evan Chengc70d1842007-03-20 08:11:30 +000086 void printSOImm2PartOperand(const MachineInstr *MI, int opNum);
Evan Chenga8e29892007-01-19 07:51:42 +000087 void printSORegOperand(const MachineInstr *MI, int opNum);
88 void printAddrMode2Operand(const MachineInstr *MI, int OpNo);
89 void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNo);
90 void printAddrMode3Operand(const MachineInstr *MI, int OpNo);
91 void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNo);
92 void printAddrMode4Operand(const MachineInstr *MI, int OpNo,
93 const char *Modifier = 0);
94 void printAddrMode5Operand(const MachineInstr *MI, int OpNo,
95 const char *Modifier = 0);
96 void printAddrModePCOperand(const MachineInstr *MI, int OpNo,
97 const char *Modifier = 0);
98 void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNo);
99 void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNo,
100 unsigned Scale);
Evan Chengc38f2bc2007-01-23 22:59:13 +0000101 void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNo);
102 void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNo);
103 void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNo);
Evan Chenga8e29892007-01-19 07:51:42 +0000104 void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNo);
Evan Cheng42d712b2007-05-08 21:08:43 +0000105 void printPredicateOperand(const MachineInstr *MI, int opNum);
Evan Chengdfb2eba2007-07-06 01:01:34 +0000106 void printSBitModifierOperand(const MachineInstr *MI, int opNum);
Evan Chenga8e29892007-01-19 07:51:42 +0000107 void printPCLabel(const MachineInstr *MI, int opNum);
108 void printRegisterList(const MachineInstr *MI, int opNum);
109 void printCPInstOperand(const MachineInstr *MI, int opNum,
110 const char *Modifier);
111 void printJTBlockOperand(const MachineInstr *MI, int opNum);
112
113 virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
114 unsigned AsmVariant, const char *ExtraCode);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000115
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000116 void printModuleLevelGV(const GlobalVariable* GVar);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000117 bool printInstruction(const MachineInstr *MI); // autogenerated.
Evan Chenga8e29892007-01-19 07:51:42 +0000118 void printMachineInstruction(const MachineInstr *MI);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000119 bool runOnMachineFunction(MachineFunction &F);
120 bool doInitialization(Module &M);
121 bool doFinalization(Module &M);
Evan Chenga8e29892007-01-19 07:51:42 +0000122
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000123 /// getSectionForFunction - Return the section that we should emit the
124 /// specified function body into.
125 virtual std::string getSectionForFunction(const Function &F) const;
126
Evan Chenga8e29892007-01-19 07:51:42 +0000127 virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
128 printDataDirective(MCPV->getType());
129
130 ARMConstantPoolValue *ACPV = (ARMConstantPoolValue*)MCPV;
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000131 GlobalValue *GV = ACPV->getGV();
Evan Chengc60e76d2007-01-30 20:37:08 +0000132 std::string Name = GV ? Mang->getValueName(GV) : TAI->getGlobalPrefix();
133 if (!GV)
134 Name += ACPV->getSymbol();
Evan Chenga8e29892007-01-19 07:51:42 +0000135 if (ACPV->isNonLazyPointer()) {
136 GVNonLazyPtrs.insert(Name);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000137 printSuffixedName(Name, "$non_lazy_ptr");
Evan Chengc60e76d2007-01-30 20:37:08 +0000138 } else if (ACPV->isStub()) {
139 FnStubs.insert(Name);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000140 printSuffixedName(Name, "$stub");
Evan Chenga8e29892007-01-19 07:51:42 +0000141 } else
142 O << Name;
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000143 if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000144 if (ACPV->getPCAdjustment() != 0) {
Evan Chenga8e29892007-01-19 07:51:42 +0000145 O << "-(" << TAI->getPrivateGlobalPrefix() << "PC"
146 << utostr(ACPV->getLabelId())
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000147 << "+" << (unsigned)ACPV->getPCAdjustment();
148 if (ACPV->mustAddCurrentAddress())
149 O << "-.";
150 O << ")";
151 }
Evan Chenga8e29892007-01-19 07:51:42 +0000152 O << "\n";
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000153
154 // If the constant pool value is a extern weak symbol, remember to emit
155 // the weak reference.
Evan Chengc60e76d2007-01-30 20:37:08 +0000156 if (GV && GV->hasExternalWeakLinkage())
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000157 ExtWeakSymbols.insert(GV);
Evan Chenga8e29892007-01-19 07:51:42 +0000158 }
159
160 void getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksencd8bc052007-09-30 13:39:29 +0000161 AsmPrinter::getAnalysisUsage(AU);
Evan Chenga8e29892007-01-19 07:51:42 +0000162 AU.setPreservesAll();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000163 AU.addRequired<MachineModuleInfo>();
Evan Chenga8e29892007-01-19 07:51:42 +0000164 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000165 };
166} // end of anonymous namespace
167
168#include "ARMGenAsmWriter.inc"
169
170/// createARMCodePrinterPass - Returns a pass that prints the ARM
171/// assembly code for a MachineFunction to the given output stream,
172/// using the given target machine description. This should work
173/// regardless of whether the function is in SSA form.
174///
175FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
Evan Chenga8e29892007-01-19 07:51:42 +0000176 ARMTargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000177 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000178}
179
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000180// Substitute old hook with new one temporary
181std::string ARMAsmPrinter::getSectionForFunction(const Function &F) const {
182 return TAI->SectionForGlobal(&F);
183}
184
Evan Chenga8e29892007-01-19 07:51:42 +0000185/// runOnMachineFunction - This uses the printInstruction()
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000186/// method to print assembly for each instruction.
187///
188bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Chenga8e29892007-01-19 07:51:42 +0000189 AFI = MF.getInfo<ARMFunctionInfo>();
Rafael Espindola4b442b52006-05-23 02:48:20 +0000190
Evan Chenga8e29892007-01-19 07:51:42 +0000191 SetupMachineFunction(MF);
192 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000193
Evan Chenga8e29892007-01-19 07:51:42 +0000194 // NOTE: we don't print out constant pools here, they are handled as
195 // instructions.
196
197 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000198 // Print out labels for the function.
199 const Function *F = MF.getFunction();
200 switch (F->getLinkage()) {
201 default: assert(0 && "Unknown linkage type!");
202 case Function::InternalLinkage:
Evan Chenga8e29892007-01-19 07:51:42 +0000203 SwitchToTextSection("\t.text", F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000204 break;
205 case Function::ExternalLinkage:
Evan Chenga8e29892007-01-19 07:51:42 +0000206 SwitchToTextSection("\t.text", F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000207 O << "\t.globl\t" << CurrentFnName << "\n";
208 break;
209 case Function::WeakLinkage:
210 case Function::LinkOnceLinkage:
Evan Cheng5be54b02007-01-19 19:25:36 +0000211 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000212 SwitchToTextSection(
213 ".section __TEXT,__textcoal_nt,coalesced,pure_instructions", F);
214 O << "\t.globl\t" << CurrentFnName << "\n";
215 O << "\t.weak_definition\t" << CurrentFnName << "\n";
216 } else {
217 O << TAI->getWeakRefDirective() << CurrentFnName << "\n";
218 }
Rafael Espindola4b442b52006-05-23 02:48:20 +0000219 break;
220 }
Evan Chenga8e29892007-01-19 07:51:42 +0000221
Lauro Ramos Venancio0a181732007-04-30 00:23:51 +0000222 const char *VisibilityDirective = NULL;
Evan Cheng616cc662007-03-29 07:49:34 +0000223 if (F->hasHiddenVisibility())
Lauro Ramos Venancio0a181732007-04-30 00:23:51 +0000224 VisibilityDirective = TAI->getHiddenDirective();
225 else if (F->hasProtectedVisibility())
226 VisibilityDirective = TAI->getProtectedDirective();
227
228 if (VisibilityDirective)
229 O << VisibilityDirective << CurrentFnName << "\n";
Evan Cheng616cc662007-03-29 07:49:34 +0000230
Evan Chenga8e29892007-01-19 07:51:42 +0000231 if (AFI->isThumbFunction()) {
Chris Lattner3a420532007-05-31 18:57:45 +0000232 EmitAlignment(1, F, AFI->getAlign());
Evan Chenga8e29892007-01-19 07:51:42 +0000233 O << "\t.code\t16\n";
Lauro Ramos Venancio6f46e592007-02-01 18:25:34 +0000234 O << "\t.thumb_func";
235 if (Subtarget->isTargetDarwin())
236 O << "\t" << CurrentFnName;
237 O << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000238 InCPMode = false;
239 } else
240 EmitAlignment(2, F);
241
Rafael Espindola4b442b52006-05-23 02:48:20 +0000242 O << CurrentFnName << ":\n";
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000243 // Emit pre-function debug information.
244 DW.BeginFunction(&MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000245
Bill Wendling200e90c2008-01-28 09:15:03 +0000246 if (Subtarget->isTargetDarwin()) {
247 // If the function is empty, then we need to emit *something*. Otherwise,
248 // the function's label might be associated with something that it wasn't
249 // meant to be associated with. We emit a noop in this situation.
250 MachineFunction::iterator I = MF.begin();
251
252 if (++I == MF.end() && MF.front().empty())
253 O << "\tnop\n";
254 }
255
Rafael Espindola4b442b52006-05-23 02:48:20 +0000256 // Print out code for the function.
257 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
258 I != E; ++I) {
259 // Print a label for the basic block.
260 if (I != MF.begin()) {
Evan Chengfb8075d2008-02-28 00:43:03 +0000261 printBasicBlockLabel(I, true, true);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000262 O << '\n';
263 }
264 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
265 II != E; ++II) {
266 // Print the assembly for the instruction.
Evan Chenga8e29892007-01-19 07:51:42 +0000267 printMachineInstruction(II);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000268 }
269 }
270
Evan Chenga8e29892007-01-19 07:51:42 +0000271 if (TAI->hasDotTypeDotSizeDirective())
272 O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
273
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000274 // Emit post-function debug information.
275 DW.EndFunction();
Evan Chenga8e29892007-01-19 07:51:42 +0000276
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000277 return false;
278}
279
Evan Chenga8e29892007-01-19 07:51:42 +0000280void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
281 const char *Modifier) {
282 const MachineOperand &MO = MI->getOperand(opNum);
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000283 switch (MO.getType()) {
284 case MachineOperand::MO_Register:
Dan Gohman6f0d0242008-02-10 18:45:23 +0000285 if (TargetRegisterInfo::isPhysicalRegister(MO.getReg()))
Bill Wendling74ab84c2008-02-26 21:11:01 +0000286 O << TM.getRegisterInfo()->get(MO.getReg()).AsmName;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000287 else
288 assert(0 && "not implemented");
289 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000290 case MachineOperand::MO_Immediate: {
291 if (!Modifier || strcmp(Modifier, "no_hash") != 0)
292 O << "#";
293
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000294 O << (int)MO.getImm();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000295 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000296 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000297 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner8aa797a2007-12-30 23:10:15 +0000298 printBasicBlockLabel(MO.getMBB());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000299 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000300 case MachineOperand::MO_GlobalAddress: {
Evan Chenga8e29892007-01-19 07:51:42 +0000301 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Rafael Espindola84b19be2006-07-16 01:02:57 +0000302 GlobalValue *GV = MO.getGlobal();
303 std::string Name = Mang->getValueName(GV);
Reid Spencer5cbf9852007-01-30 20:08:39 +0000304 bool isExt = (GV->isDeclaration() || GV->hasWeakLinkage() ||
Evan Chenga8e29892007-01-19 07:51:42 +0000305 GV->hasLinkOnceLinkage());
Evan Cheng5be54b02007-01-19 19:25:36 +0000306 if (isExt && isCallOp && Subtarget->isTargetDarwin() &&
Evan Chenga8e29892007-01-19 07:51:42 +0000307 TM.getRelocationModel() != Reloc::Static) {
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000308 printSuffixedName(Name, "$stub");
Evan Chenga8e29892007-01-19 07:51:42 +0000309 FnStubs.insert(Name);
310 } else
311 O << Name;
Chris Lattner388488d2007-05-03 16:42:23 +0000312
313 if (MO.getOffset() > 0)
314 O << '+' << MO.getOffset();
315 else if (MO.getOffset() < 0)
316 O << MO.getOffset();
317
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000318 if (isCallOp && Subtarget->isTargetELF() &&
319 TM.getRelocationModel() == Reloc::PIC_)
320 O << "(PLT)";
Evan Chenga8e29892007-01-19 07:51:42 +0000321 if (GV->hasExternalWeakLinkage())
Rafael Espindola15404d02006-12-18 03:37:18 +0000322 ExtWeakSymbols.insert(GV);
Evan Chenga8e29892007-01-19 07:51:42 +0000323 break;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000324 }
Evan Chenga8e29892007-01-19 07:51:42 +0000325 case MachineOperand::MO_ExternalSymbol: {
326 bool isCallOp = Modifier && !strcmp(Modifier, "call");
327 std::string Name(TAI->getGlobalPrefix());
328 Name += MO.getSymbolName();
Evan Cheng5be54b02007-01-19 19:25:36 +0000329 if (isCallOp && Subtarget->isTargetDarwin() &&
Evan Chenga8e29892007-01-19 07:51:42 +0000330 TM.getRelocationModel() != Reloc::Static) {
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000331 printSuffixedName(Name, "$stub");
Evan Chenga8e29892007-01-19 07:51:42 +0000332 FnStubs.insert(Name);
333 } else
334 O << Name;
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000335 if (isCallOp && Subtarget->isTargetELF() &&
336 TM.getRelocationModel() == Reloc::PIC_)
337 O << "(PLT)";
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000338 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000339 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000340 case MachineOperand::MO_ConstantPoolIndex:
Evan Cheng347d39f2007-10-14 05:57:21 +0000341 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000342 << '_' << MO.getIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000343 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000344 case MachineOperand::MO_JumpTableIndex:
Evan Cheng347d39f2007-10-14 05:57:21 +0000345 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000346 << '_' << MO.getIndex();
Evan Chenga8e29892007-01-19 07:51:42 +0000347 break;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000348 default:
349 O << "<unknown operand type>"; abort (); break;
350 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000351}
352
Evan Chengc70d1842007-03-20 08:11:30 +0000353static void printSOImm(std::ostream &O, int64_t V, const TargetAsmInfo *TAI) {
354 assert(V < (1 << 12) && "Not a valid so_imm value!");
355 unsigned Imm = ARM_AM::getSOImmValImm(V);
356 unsigned Rot = ARM_AM::getSOImmValRot(V);
Evan Chenga8e29892007-01-19 07:51:42 +0000357
358 // Print low-level immediate formation info, per
359 // A5.1.3: "Data-processing operands - Immediate".
360 if (Rot) {
361 O << "#" << Imm << ", " << Rot;
362 // Pretty printed version.
363 O << ' ' << TAI->getCommentString() << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
364 } else {
365 O << "#" << Imm;
366 }
367}
368
Evan Chengc70d1842007-03-20 08:11:30 +0000369/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
370/// immediate in bits 0-7.
371void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
372 const MachineOperand &MO = MI->getOperand(OpNum);
373 assert(MO.isImmediate() && "Not a valid so_imm value!");
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000374 printSOImm(O, MO.getImm(), TAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000375}
376
377/// printSOImm2PartOperand - SOImm is broken into two pieces using a mov
378/// followed by a or to materialize.
379void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) {
380 const MachineOperand &MO = MI->getOperand(OpNum);
381 assert(MO.isImmediate() && "Not a valid so_imm value!");
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000382 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm());
383 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm());
Evan Chengc70d1842007-03-20 08:11:30 +0000384 printSOImm(O, ARM_AM::getSOImmVal(V1), TAI);
Evan Cheng5e148a32007-06-05 18:55:18 +0000385 O << "\n\torr";
386 printPredicateOperand(MI, 2);
387 O << " ";
Evan Chengc70d1842007-03-20 08:11:30 +0000388 printOperand(MI, 0);
389 O << ", ";
390 printOperand(MI, 0);
391 O << ", ";
392 printSOImm(O, ARM_AM::getSOImmVal(V2), TAI);
393}
394
Evan Chenga8e29892007-01-19 07:51:42 +0000395// so_reg is a 4-operand unit corresponding to register forms of the A5.1
396// "Addressing Mode 1 - Data-processing operands" forms. This includes:
397// REG 0 0 - e.g. R5
398// REG REG 0,SH_OPC - e.g. R5, ROR R3
399// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
400void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
401 const MachineOperand &MO1 = MI->getOperand(Op);
402 const MachineOperand &MO2 = MI->getOperand(Op+1);
403 const MachineOperand &MO3 = MI->getOperand(Op+2);
404
Dan Gohman6f0d0242008-02-10 18:45:23 +0000405 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Bill Wendling74ab84c2008-02-26 21:11:01 +0000406 O << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000407
408 // Print the shift opc.
409 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000410 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000411 << " ";
412
413 if (MO2.getReg()) {
Dan Gohman6f0d0242008-02-10 18:45:23 +0000414 assert(TargetRegisterInfo::isPhysicalRegister(MO2.getReg()));
Bill Wendling74ab84c2008-02-26 21:11:01 +0000415 O << TM.getRegisterInfo()->get(MO2.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000416 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
417 } else {
418 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
419 }
420}
421
422void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) {
423 const MachineOperand &MO1 = MI->getOperand(Op);
424 const MachineOperand &MO2 = MI->getOperand(Op+1);
425 const MachineOperand &MO3 = MI->getOperand(Op+2);
426
427 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
428 printOperand(MI, Op);
429 return;
430 }
431
Bill Wendling74ab84c2008-02-26 21:11:01 +0000432 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000433
434 if (!MO2.getReg()) {
435 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
436 O << ", #"
437 << (char)ARM_AM::getAM2Op(MO3.getImm())
438 << ARM_AM::getAM2Offset(MO3.getImm());
439 O << "]";
440 return;
441 }
442
443 O << ", "
444 << (char)ARM_AM::getAM2Op(MO3.getImm())
Bill Wendling74ab84c2008-02-26 21:11:01 +0000445 << TM.getRegisterInfo()->get(MO2.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000446
447 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
448 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000449 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000450 << " #" << ShImm;
451 O << "]";
452}
453
454void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
455 const MachineOperand &MO1 = MI->getOperand(Op);
456 const MachineOperand &MO2 = MI->getOperand(Op+1);
457
458 if (!MO1.getReg()) {
Evan Chengbdc98692007-05-03 23:30:36 +0000459 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
460 assert(ImmOffs && "Malformed indexed load / store!");
461 O << "#"
462 << (char)ARM_AM::getAM2Op(MO2.getImm())
463 << ImmOffs;
Evan Chenga8e29892007-01-19 07:51:42 +0000464 return;
465 }
466
467 O << (char)ARM_AM::getAM2Op(MO2.getImm())
Bill Wendling74ab84c2008-02-26 21:11:01 +0000468 << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000469
470 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
471 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000472 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000473 << " #" << ShImm;
474}
475
476void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
477 const MachineOperand &MO1 = MI->getOperand(Op);
478 const MachineOperand &MO2 = MI->getOperand(Op+1);
479 const MachineOperand &MO3 = MI->getOperand(Op+2);
480
Dan Gohman6f0d0242008-02-10 18:45:23 +0000481 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Bill Wendling74ab84c2008-02-26 21:11:01 +0000482 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000483
484 if (MO2.getReg()) {
485 O << ", "
486 << (char)ARM_AM::getAM3Op(MO3.getImm())
Bill Wendling74ab84c2008-02-26 21:11:01 +0000487 << TM.getRegisterInfo()->get(MO2.getReg()).AsmName
Evan Chenga8e29892007-01-19 07:51:42 +0000488 << "]";
489 return;
490 }
491
492 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
493 O << ", #"
494 << (char)ARM_AM::getAM3Op(MO3.getImm())
495 << ImmOffs;
496 O << "]";
497}
498
499void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
500 const MachineOperand &MO1 = MI->getOperand(Op);
501 const MachineOperand &MO2 = MI->getOperand(Op+1);
502
503 if (MO1.getReg()) {
504 O << (char)ARM_AM::getAM3Op(MO2.getImm())
Bill Wendling74ab84c2008-02-26 21:11:01 +0000505 << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000506 return;
507 }
508
509 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
Evan Chengbdc98692007-05-03 23:30:36 +0000510 assert(ImmOffs && "Malformed indexed load / store!");
Evan Chenga8e29892007-01-19 07:51:42 +0000511 O << "#"
Evan Chengbdc98692007-05-03 23:30:36 +0000512 << (char)ARM_AM::getAM3Op(MO2.getImm())
Evan Chenga8e29892007-01-19 07:51:42 +0000513 << ImmOffs;
514}
515
516void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
517 const char *Modifier) {
518 const MachineOperand &MO1 = MI->getOperand(Op);
519 const MachineOperand &MO2 = MI->getOperand(Op+1);
520 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
521 if (Modifier && strcmp(Modifier, "submode") == 0) {
522 if (MO1.getReg() == ARM::SP) {
523 bool isLDM = (MI->getOpcode() == ARM::LDM ||
524 MI->getOpcode() == ARM::LDM_RET);
525 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
526 } else
527 O << ARM_AM::getAMSubModeStr(Mode);
528 } else {
529 printOperand(MI, Op);
530 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
531 O << "!";
532 }
533}
534
535void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
536 const char *Modifier) {
537 const MachineOperand &MO1 = MI->getOperand(Op);
538 const MachineOperand &MO2 = MI->getOperand(Op+1);
539
540 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
541 printOperand(MI, Op);
542 return;
543 }
544
Dan Gohman6f0d0242008-02-10 18:45:23 +0000545 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Evan Chenga8e29892007-01-19 07:51:42 +0000546
547 if (Modifier && strcmp(Modifier, "submode") == 0) {
548 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
549 if (MO1.getReg() == ARM::SP) {
550 bool isFLDM = (MI->getOpcode() == ARM::FLDMD ||
551 MI->getOpcode() == ARM::FLDMS);
552 O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM);
553 } else
554 O << ARM_AM::getAMSubModeStr(Mode);
555 return;
556 } else if (Modifier && strcmp(Modifier, "base") == 0) {
557 // Used for FSTM{D|S} and LSTM{D|S} operations.
Bill Wendling74ab84c2008-02-26 21:11:01 +0000558 O << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000559 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
560 O << "!";
561 return;
562 }
563
Bill Wendling74ab84c2008-02-26 21:11:01 +0000564 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000565
566 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
567 O << ", #"
568 << (char)ARM_AM::getAM5Op(MO2.getImm())
569 << ImmOffs*4;
570 }
571 O << "]";
572}
573
574void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
575 const char *Modifier) {
576 if (Modifier && strcmp(Modifier, "label") == 0) {
577 printPCLabel(MI, Op+1);
578 return;
579 }
580
581 const MachineOperand &MO1 = MI->getOperand(Op);
Dan Gohman6f0d0242008-02-10 18:45:23 +0000582 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Bill Wendling74ab84c2008-02-26 21:11:01 +0000583 O << "[pc, +" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000584}
585
586void
587ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
588 const MachineOperand &MO1 = MI->getOperand(Op);
589 const MachineOperand &MO2 = MI->getOperand(Op+1);
Bill Wendling74ab84c2008-02-26 21:11:01 +0000590 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
591 O << ", " << TM.getRegisterInfo()->get(MO2.getReg()).AsmName << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000592}
593
594void
595ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
596 unsigned Scale) {
597 const MachineOperand &MO1 = MI->getOperand(Op);
Evan Chengcea117d2007-01-30 02:35:32 +0000598 const MachineOperand &MO2 = MI->getOperand(Op+1);
599 const MachineOperand &MO3 = MI->getOperand(Op+2);
Evan Chenga8e29892007-01-19 07:51:42 +0000600
601 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
602 printOperand(MI, Op);
603 return;
604 }
605
Bill Wendling74ab84c2008-02-26 21:11:01 +0000606 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chengcea117d2007-01-30 02:35:32 +0000607 if (MO3.getReg())
Bill Wendling74ab84c2008-02-26 21:11:01 +0000608 O << ", " << TM.getRegisterInfo()->get(MO3.getReg()).AsmName;
Evan Chengcea117d2007-01-30 02:35:32 +0000609 else if (unsigned ImmOffs = MO2.getImm()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000610 O << ", #" << ImmOffs;
611 if (Scale > 1)
612 O << " * " << Scale;
613 }
614 O << "]";
615}
616
617void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000618ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000619 printThumbAddrModeRI5Operand(MI, Op, 1);
Evan Chenga8e29892007-01-19 07:51:42 +0000620}
621void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000622ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000623 printThumbAddrModeRI5Operand(MI, Op, 2);
Evan Chenga8e29892007-01-19 07:51:42 +0000624}
625void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000626ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000627 printThumbAddrModeRI5Operand(MI, Op, 4);
Evan Chenga8e29892007-01-19 07:51:42 +0000628}
629
630void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
631 const MachineOperand &MO1 = MI->getOperand(Op);
632 const MachineOperand &MO2 = MI->getOperand(Op+1);
Bill Wendling74ab84c2008-02-26 21:11:01 +0000633 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).AsmName;
Evan Chenga8e29892007-01-19 07:51:42 +0000634 if (unsigned ImmOffs = MO2.getImm())
635 O << ", #" << ImmOffs << " * 4";
636 O << "]";
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000637}
638
Evan Cheng42d712b2007-05-08 21:08:43 +0000639void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int opNum) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000640 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(opNum).getImm();
Evan Cheng44bec522007-05-15 01:29:07 +0000641 if (CC != ARMCC::AL)
642 O << ARMCondCodeToString(CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000643}
644
Evan Chengdfb2eba2007-07-06 01:01:34 +0000645void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int opNum){
646 unsigned Reg = MI->getOperand(opNum).getReg();
647 if (Reg) {
648 assert(Reg == ARM::CPSR && "Expect ARM CPSR register!");
649 O << 's';
650 }
651}
652
Evan Chenga8e29892007-01-19 07:51:42 +0000653void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int opNum) {
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000654 int Id = (int)MI->getOperand(opNum).getImm();
Evan Chenga8e29892007-01-19 07:51:42 +0000655 O << TAI->getPrivateGlobalPrefix() << "PC" << Id;
656}
657
658void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int opNum) {
659 O << "{";
660 for (unsigned i = opNum, e = MI->getNumOperands(); i != e; ++i) {
661 printOperand(MI, i);
662 if (i != e-1) O << ", ";
663 }
664 O << "}";
665}
666
667void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNo,
668 const char *Modifier) {
669 assert(Modifier && "This operand only works with a modifier!");
670 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
671 // data itself.
672 if (!strcmp(Modifier, "label")) {
673 unsigned ID = MI->getOperand(OpNo).getImm();
Evan Cheng347d39f2007-10-14 05:57:21 +0000674 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
675 << '_' << ID << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000676 } else {
677 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
Chris Lattner8aa797a2007-12-30 23:10:15 +0000678 unsigned CPI = MI->getOperand(OpNo).getIndex();
Evan Chenga8e29892007-01-19 07:51:42 +0000679
680 const MachineConstantPoolEntry &MCPE = // Chasing pointers is fun?
681 MI->getParent()->getParent()->getConstantPool()->getConstants()[CPI];
682
683 if (MCPE.isMachineConstantPoolEntry())
684 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000685 else {
Evan Chenga8e29892007-01-19 07:51:42 +0000686 EmitGlobalConstant(MCPE.Val.ConstVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000687 // remember to emit the weak reference
688 if (const GlobalValue *GV = dyn_cast<GlobalValue>(MCPE.Val.ConstVal))
689 if (GV->hasExternalWeakLinkage())
690 ExtWeakSymbols.insert(GV);
691 }
Evan Chenga8e29892007-01-19 07:51:42 +0000692 }
693}
694
695void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNo) {
696 const MachineOperand &MO1 = MI->getOperand(OpNo);
697 const MachineOperand &MO2 = MI->getOperand(OpNo+1); // Unique Id
Chris Lattner8aa797a2007-12-30 23:10:15 +0000698 unsigned JTI = MO1.getIndex();
Evan Cheng347d39f2007-10-14 05:57:21 +0000699 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000700 << '_' << JTI << '_' << MO2.getImm() << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000701
702 const char *JTEntryDirective = TAI->getJumpTableDirective();
703 if (!JTEntryDirective)
704 JTEntryDirective = TAI->getData32bitsDirective();
705
706 const MachineFunction *MF = MI->getParent()->getParent();
Dan Gohman45426112008-07-07 20:06:06 +0000707 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
Evan Chenga8e29892007-01-19 07:51:42 +0000708 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
709 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
710 bool UseSet= TAI->getSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
711 std::set<MachineBasicBlock*> JTSets;
712 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
713 MachineBasicBlock *MBB = JTBBs[i];
714 if (UseSet && JTSets.insert(MBB).second)
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000715 printPICJumpTableSetLabel(JTI, MO2.getImm(), MBB);
Evan Chenga8e29892007-01-19 07:51:42 +0000716
717 O << JTEntryDirective << ' ';
718 if (UseSet)
Evan Cheng347d39f2007-10-14 05:57:21 +0000719 O << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000720 << '_' << JTI << '_' << MO2.getImm()
Evan Cheng347d39f2007-10-14 05:57:21 +0000721 << "_set_" << MBB->getNumber();
Evan Chenga8e29892007-01-19 07:51:42 +0000722 else if (TM.getRelocationModel() == Reloc::PIC_) {
Evan Chengfb8075d2008-02-28 00:43:03 +0000723 printBasicBlockLabel(MBB, false, false, false);
Evan Chenga8e29892007-01-19 07:51:42 +0000724 // If the arch uses custom Jump Table directives, don't calc relative to JT
725 if (!TAI->getJumpTableDirective())
726 O << '-' << TAI->getPrivateGlobalPrefix() << "JTI"
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000727 << getFunctionNumber() << '_' << JTI << '_' << MO2.getImm();
Evan Chenga8e29892007-01-19 07:51:42 +0000728 } else
Evan Chengfb8075d2008-02-28 00:43:03 +0000729 printBasicBlockLabel(MBB, false, false, false);
Evan Chengd85ac4d2007-01-27 02:29:45 +0000730 if (i != e-1)
731 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +0000732 }
733}
734
735
736bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
737 unsigned AsmVariant, const char *ExtraCode){
738 // Does this asm operand have a single letter operand modifier?
739 if (ExtraCode && ExtraCode[0]) {
740 if (ExtraCode[1] != 0) return true; // Unknown modifier.
741
742 switch (ExtraCode[0]) {
743 default: return true; // Unknown modifier.
Evan Cheng23a95702007-03-08 22:42:46 +0000744 case 'c': // Don't print "$" before a global var name or constant.
Evan Chenge21e3962007-04-04 00:13:29 +0000745 case 'P': // Print a VFP double precision register.
Evan Cheng23a95702007-03-08 22:42:46 +0000746 printOperand(MI, OpNo);
747 return false;
Evan Chenga8e29892007-01-19 07:51:42 +0000748 case 'Q':
749 if (TM.getTargetData()->isLittleEndian())
750 break;
751 // Fallthrough
752 case 'R':
753 if (TM.getTargetData()->isBigEndian())
754 break;
755 // Fallthrough
756 case 'H': // Write second word of DI / DF reference.
757 // Verify that this operand has two consecutive registers.
758 if (!MI->getOperand(OpNo).isRegister() ||
759 OpNo+1 == MI->getNumOperands() ||
760 !MI->getOperand(OpNo+1).isRegister())
761 return true;
762 ++OpNo; // Return the high-part.
763 }
764 }
765
766 printOperand(MI, OpNo);
767 return false;
768}
769
770void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
771 ++EmittedInsts;
772
Evan Chengc60e76d2007-01-30 20:37:08 +0000773 int Opc = MI->getOpcode();
774 switch (Opc) {
775 case ARM::CONSTPOOL_ENTRY:
Evan Chenga8e29892007-01-19 07:51:42 +0000776 if (!InCPMode && AFI->isThumbFunction()) {
777 EmitAlignment(2);
778 InCPMode = true;
779 }
Evan Chengc60e76d2007-01-30 20:37:08 +0000780 break;
781 default: {
Evan Cheng3bf12d02007-01-31 23:39:39 +0000782 if (InCPMode && AFI->isThumbFunction())
Evan Chenga8e29892007-01-19 07:51:42 +0000783 InCPMode = false;
Evan Chengc60e76d2007-01-30 20:37:08 +0000784 switch (Opc) {
785 case ARM::PICADD:
786 case ARM::PICLD:
Evan Cheng341dccc2007-06-05 07:36:38 +0000787 case ARM::PICLDZH:
788 case ARM::PICLDZB:
789 case ARM::PICLDH:
790 case ARM::PICLDB:
791 case ARM::PICLDSH:
792 case ARM::PICLDSB:
793 case ARM::PICSTR:
794 case ARM::PICSTRH:
795 case ARM::PICSTRB:
Evan Chengc60e76d2007-01-30 20:37:08 +0000796 case ARM::tPICADD:
797 break;
798 default:
Evan Chengc60e76d2007-01-30 20:37:08 +0000799 break;
800 }
801 }}
Evan Chenga8e29892007-01-19 07:51:42 +0000802
803 // Call the autogenerated instruction printer routines.
804 printInstruction(MI);
805}
806
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000807bool ARMAsmPrinter::doInitialization(Module &M) {
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000808 // Emit initial debug information.
809 DW.BeginModule(&M);
Evan Chenga8e29892007-01-19 07:51:42 +0000810
Dan Gohmanb8275a32007-07-25 19:33:14 +0000811 bool Result = AsmPrinter::doInitialization(M);
Dale Johannesen54118352007-06-22 00:54:56 +0000812
Dale Johannesenf2452c52008-07-09 21:20:54 +0000813 // AsmPrinter::doInitialization should have done this analysis.
814 MMI = getAnalysisToUpdate<MachineModuleInfo>();
815 assert(MMI);
816 DW.SetModuleInfo(MMI);
817
Dale Johannesen54118352007-06-22 00:54:56 +0000818 // Darwin wants symbols to be quoted if they have complex names.
819 if (Subtarget->isTargetDarwin())
820 Mang->setUseQuotes(true);
821
Dan Gohmanb8275a32007-07-25 19:33:14 +0000822 return Result;
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000823}
824
Chris Lattnerec321b42008-02-15 19:04:54 +0000825/// PrintUnmangledNameSafely - Print out the printable characters in the name.
826/// Don't print things like \n or \0.
827static void PrintUnmangledNameSafely(const Value *V, std::ostream &OS) {
828 for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
829 Name != E; ++Name)
830 if (isprint(*Name))
831 OS << *Name;
832}
833
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000834void ARMAsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000835 const TargetData *TD = TM.getTargetData();
836
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000837 if (!GVar->hasInitializer()) // External global require no code
838 return;
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000839
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000840 // Check to see if this is a special global used by LLVM, if so, emit it.
841
842 if (EmitSpecialLLVMGlobal(GVar)) {
843 if (Subtarget->isTargetDarwin() &&
844 TM.getRelocationModel() == Reloc::Static) {
845 if (GVar->getName() == "llvm.global_ctors")
846 O << ".reference .constructors_used\n";
847 else if (GVar->getName() == "llvm.global_dtors")
848 O << ".reference .destructors_used\n";
849 }
850 return;
851 }
852
853 std::string SectionName = TAI->SectionForGlobal(GVar);
854 std::string name = Mang->getValueName(GVar);
855 Constant *C = GVar->getInitializer();
856 const Type *Type = C->getType();
857 unsigned Size = TD->getABITypeSize(Type);
858 unsigned Align = TD->getPreferredAlignmentLog(GVar);
859
860 const char *VisibilityDirective = NULL;
861 if (GVar->hasHiddenVisibility())
862 VisibilityDirective = TAI->getHiddenDirective();
863 else if (GVar->hasProtectedVisibility())
864 VisibilityDirective = TAI->getProtectedDirective();
865
866 if (VisibilityDirective)
867 O << VisibilityDirective << name << "\n";
868
869 if (Subtarget->isTargetELF())
870 O << "\t.type " << name << ",%object\n";
871
872 SwitchToDataSection(SectionName.c_str());
873
874 if (C->isNullValue() && !GVar->hasSection() && !GVar->isThreadLocal()) {
875 // FIXME: This seems to be pretty darwin-specific
876
877 if (GVar->hasExternalLinkage()) {
878 if (const char *Directive = TAI->getZeroFillDirective()) {
879 O << "\t.globl\t" << name << "\n";
880 O << Directive << "__DATA, __common, " << name << ", "
881 << Size << ", " << Align << "\n";
882 return;
Evan Chengb267ca12007-01-30 08:04:53 +0000883 }
Evan Chengb267ca12007-01-30 08:04:53 +0000884 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000885
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000886 if (GVar->hasInternalLinkage() || GVar->isWeakForLinker()) {
887 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000888
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000889 if (TAI->getLCOMMDirective() != NULL) {
890 if (GVar->hasInternalLinkage()) {
891 O << TAI->getLCOMMDirective() << name << "," << Size;
892 if (Subtarget->isTargetDarwin())
893 O << "," << Align;
894 } else
Evan Chenga8e29892007-01-19 07:51:42 +0000895 O << TAI->getCOMMDirective() << name << "," << Size;
Evan Cheng5be54b02007-01-19 19:25:36 +0000896 } else {
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000897 if (GVar->hasInternalLinkage())
898 O << "\t.local\t" << name << "\n";
899 O << TAI->getCOMMDirective() << name << "," << Size;
900 if (TAI->getCOMMDirectiveTakesAlignment())
901 O << "," << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Evan Cheng5be54b02007-01-19 19:25:36 +0000902 }
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000903 O << "\t\t" << TAI->getCommentString() << " ";
904 PrintUnmangledNameSafely(GVar, O);
905 O << "\n";
906 return;
Evan Cheng5be54b02007-01-19 19:25:36 +0000907 }
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000908 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000909
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000910 switch (GVar->getLinkage()) {
911 case GlobalValue::LinkOnceLinkage:
912 case GlobalValue::WeakLinkage:
913 if (Subtarget->isTargetDarwin()) {
914 O << "\t.globl " << name << "\n"
915 << "\t.weak_definition " << name << "\n";
916 } else {
917 O << "\t.weak " << name << "\n";
918 }
919 break;
920 case GlobalValue::AppendingLinkage:
921 // FIXME: appending linkage variables should go into a section of
922 // their name or something. For now, just emit them as external.
923 case GlobalValue::ExternalLinkage:
924 O << "\t.globl " << name << "\n";
925 // FALL THROUGH
926 case GlobalValue::InternalLinkage:
927 break;
928 default:
929 assert(0 && "Unknown linkage type!");
930 break;
931 }
932
933 EmitAlignment(Align, GVar);
934 O << name << ":\t\t\t\t" << TAI->getCommentString() << " ";
935 PrintUnmangledNameSafely(GVar, O);
936 O << "\n";
937 if (TAI->hasDotTypeDotSizeDirective())
938 O << "\t.size " << name << ", " << Size << "\n";
939
940 // If the initializer is a extern weak symbol, remember to emit the weak
941 // reference!
942 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C))
943 if (GV->hasExternalWeakLinkage())
Evan Chenga8e29892007-01-19 07:51:42 +0000944 ExtWeakSymbols.insert(GV);
945
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +0000946 EmitGlobalConstant(C);
947 O << '\n';
948}
949
950
951bool ARMAsmPrinter::doFinalization(Module &M) {
952 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
953 I != E; ++I)
954 printModuleLevelGV(I);
Evan Chenga8e29892007-01-19 07:51:42 +0000955
Evan Cheng5be54b02007-01-19 19:25:36 +0000956 if (Subtarget->isTargetDarwin()) {
957 SwitchToDataSection("");
958
Evan Chenga8e29892007-01-19 07:51:42 +0000959 // Output stubs for dynamically-linked functions
960 unsigned j = 1;
961 for (std::set<std::string>::iterator i = FnStubs.begin(), e = FnStubs.end();
962 i != e; ++i, ++j) {
963 if (TM.getRelocationModel() == Reloc::PIC_)
964 SwitchToTextSection(".section __TEXT,__picsymbolstub4,symbol_stubs,"
965 "none,16", 0);
966 else
967 SwitchToTextSection(".section __TEXT,__symbol_stub4,symbol_stubs,"
968 "none,12", 0);
969
970 EmitAlignment(2);
971 O << "\t.code\t32\n";
972
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000973 std::string p = *i;
974 printSuffixedName(p, "$stub");
975 O << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000976 O << "\t.indirect_symbol " << *i << "\n";
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000977 O << "\tldr ip, ";
978 printSuffixedName(p, "$slp");
979 O << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000980 if (TM.getRelocationModel() == Reloc::PIC_) {
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000981 printSuffixedName(p, "$scv");
982 O << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000983 O << "\tadd ip, pc, ip\n";
984 }
985 O << "\tldr pc, [ip, #0]\n";
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000986 printSuffixedName(p, "$slp");
987 O << ":\n";
988 O << "\t.long\t";
989 printSuffixedName(p, "$lazy_ptr");
990 if (TM.getRelocationModel() == Reloc::PIC_) {
991 O << "-(";
992 printSuffixedName(p, "$scv");
993 O << "+8)\n";
994 } else
995 O << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000996 SwitchToDataSection(".lazy_symbol_pointer", 0);
Dale Johannesenc215b3e2008-05-19 21:38:18 +0000997 printSuffixedName(p, "$lazy_ptr");
998 O << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000999 O << "\t.indirect_symbol " << *i << "\n";
1000 O << "\t.long\tdyld_stub_binding_helper\n";
1001 }
1002 O << "\n";
1003
1004 // Output non-lazy-pointers for external and common global variables.
Dan Gohmancb406c22007-10-03 19:26:29 +00001005 if (!GVNonLazyPtrs.empty())
Evan Chenga8e29892007-01-19 07:51:42 +00001006 SwitchToDataSection(".non_lazy_symbol_pointer", 0);
1007 for (std::set<std::string>::iterator i = GVNonLazyPtrs.begin(),
1008 e = GVNonLazyPtrs.end(); i != e; ++i) {
Dale Johannesenc215b3e2008-05-19 21:38:18 +00001009 std::string p = *i;
1010 printSuffixedName(p, "$non_lazy_ptr");
1011 O << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +00001012 O << "\t.indirect_symbol " << *i << "\n";
1013 O << "\t.long\t0\n";
1014 }
1015
1016 // Emit initial debug information.
1017 DW.EndModule();
1018
1019 // Funny Darwin hack: This flag tells the linker that no global symbols
1020 // contain code that falls through to other global symbols (e.g. the obvious
1021 // implementation of multiple entry points). If this doesn't occur, the
1022 // linker can safely perform dead code stripping. Since LLVM never
1023 // generates code that does this, it is always safe to set.
1024 O << "\t.subsections_via_symbols\n";
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +00001025 } else {
1026 // Emit final debug information for ELF.
1027 DW.EndModule();
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001028 }
Rafael Espindolab97809c2006-10-19 13:30:40 +00001029
Dan Gohmanb8275a32007-07-25 19:33:14 +00001030 return AsmPrinter::doFinalization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001031}