blob: 0f0a5419dd68ec8883072619c7f911f32af66626 [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"
Jim Laskey44c3b9f2007-01-26 21:22:28 +000026#include "llvm/CodeGen/MachineModuleInfo.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>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000039using namespace llvm;
40
Chris Lattner95b2c7d2006-12-19 22:59:26 +000041STATISTIC(EmittedInsts, "Number of machine instrs printed");
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000042
Chris Lattner95b2c7d2006-12-19 22:59:26 +000043namespace {
Jim Laskey563321a2006-09-06 18:34:40 +000044 struct VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
Jim Laskeya0f3d172006-09-07 22:06:40 +000045 ARMAsmPrinter(std::ostream &O, TargetMachine &TM, const TargetAsmInfo *T)
Evan Chenga8e29892007-01-19 07:51:42 +000046 : AsmPrinter(O, TM, T), DW(O, this, T), AFI(NULL), InCPMode(false) {
47 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;
51
52 /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
53 /// make the right decision when printing asm code for different targets.
54 const ARMSubtarget *Subtarget;
55
56 /// AFI - Keep a pointer to ARMFunctionInfo for the current
57 /// MachineFunction
58 ARMFunctionInfo *AFI;
59
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000060 /// We name each basic block in a Function with a unique number, so
61 /// that we can consistently refer to them later. This is cleared
62 /// at the beginning of each call to runOnMachineFunction().
63 ///
64 typedef std::map<const Value *, unsigned> ValueMapTy;
65 ValueMapTy NumberForBB;
66
Evan Chenga8e29892007-01-19 07:51:42 +000067 /// Keeps the set of GlobalValues that require non-lazy-pointers for
68 /// indirect access.
69 std::set<std::string> GVNonLazyPtrs;
70
71 /// Keeps the set of external function GlobalAddresses that the asm
72 /// printer should generate stubs for.
73 std::set<std::string> FnStubs;
74
75 /// True if asm printer is printing a series of CONSTPOOL_ENTRY.
76 bool InCPMode;
77
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000078 virtual const char *getPassName() const {
79 return "ARM Assembly Printer";
80 }
81
Evan Chenga8e29892007-01-19 07:51:42 +000082 void printOperand(const MachineInstr *MI, int opNum,
83 const char *Modifier = 0);
84 void printSOImmOperand(const MachineInstr *MI, int opNum);
Evan Chengc70d1842007-03-20 08:11:30 +000085 void printSOImm2PartOperand(const MachineInstr *MI, int opNum);
Evan Chenga8e29892007-01-19 07:51:42 +000086 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);
Evan Cheng42d712b2007-05-08 21:08:43 +0000104 void printPredicateOperand(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;
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000124 GlobalValue *GV = ACPV->getGV();
Evan Chengc60e76d2007-01-30 20:37:08 +0000125 std::string Name = GV ? Mang->getValueName(GV) : TAI->getGlobalPrefix();
126 if (!GV)
127 Name += ACPV->getSymbol();
Evan Chenga8e29892007-01-19 07:51:42 +0000128 if (ACPV->isNonLazyPointer()) {
129 GVNonLazyPtrs.insert(Name);
130 O << TAI->getPrivateGlobalPrefix() << Name << "$non_lazy_ptr";
Evan Chengc60e76d2007-01-30 20:37:08 +0000131 } else if (ACPV->isStub()) {
132 FnStubs.insert(Name);
133 O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
Evan Chenga8e29892007-01-19 07:51:42 +0000134 } else
135 O << Name;
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000136 if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000137 if (ACPV->getPCAdjustment() != 0) {
Evan Chenga8e29892007-01-19 07:51:42 +0000138 O << "-(" << TAI->getPrivateGlobalPrefix() << "PC"
139 << utostr(ACPV->getLabelId())
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000140 << "+" << (unsigned)ACPV->getPCAdjustment();
141 if (ACPV->mustAddCurrentAddress())
142 O << "-.";
143 O << ")";
144 }
Evan Chenga8e29892007-01-19 07:51:42 +0000145 O << "\n";
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000146
147 // If the constant pool value is a extern weak symbol, remember to emit
148 // the weak reference.
Evan Chengc60e76d2007-01-30 20:37:08 +0000149 if (GV && GV->hasExternalWeakLinkage())
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000150 ExtWeakSymbols.insert(GV);
Evan Chenga8e29892007-01-19 07:51:42 +0000151 }
152
153 void getAnalysisUsage(AnalysisUsage &AU) const {
154 AU.setPreservesAll();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000155 AU.addRequired<MachineModuleInfo>();
Evan Chenga8e29892007-01-19 07:51:42 +0000156 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000157 };
158} // end of anonymous namespace
159
160#include "ARMGenAsmWriter.inc"
161
162/// createARMCodePrinterPass - Returns a pass that prints the ARM
163/// assembly code for a MachineFunction to the given output stream,
164/// using the given target machine description. This should work
165/// regardless of whether the function is in SSA form.
166///
167FunctionPass *llvm::createARMCodePrinterPass(std::ostream &o,
Evan Chenga8e29892007-01-19 07:51:42 +0000168 ARMTargetMachine &tm) {
Jim Laskeya0f3d172006-09-07 22:06:40 +0000169 return new ARMAsmPrinter(o, tm, tm.getTargetAsmInfo());
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000170}
171
Evan Chenga8e29892007-01-19 07:51:42 +0000172/// runOnMachineFunction - This uses the printInstruction()
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000173/// method to print assembly for each instruction.
174///
175bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Chenga8e29892007-01-19 07:51:42 +0000176 AFI = MF.getInfo<ARMFunctionInfo>();
Rafael Espindola4b442b52006-05-23 02:48:20 +0000177
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000178 DW.SetModuleInfo(&getAnalysis<MachineModuleInfo>());
Chris Lattner1a199de2006-12-21 22:59:58 +0000179
Evan Chenga8e29892007-01-19 07:51:42 +0000180 SetupMachineFunction(MF);
181 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000182
Evan Chenga8e29892007-01-19 07:51:42 +0000183 // NOTE: we don't print out constant pools here, they are handled as
184 // instructions.
185
186 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000187 // Print out labels for the function.
188 const Function *F = MF.getFunction();
189 switch (F->getLinkage()) {
190 default: assert(0 && "Unknown linkage type!");
191 case Function::InternalLinkage:
Evan Chenga8e29892007-01-19 07:51:42 +0000192 SwitchToTextSection("\t.text", F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000193 break;
194 case Function::ExternalLinkage:
Evan Chenga8e29892007-01-19 07:51:42 +0000195 SwitchToTextSection("\t.text", F);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000196 O << "\t.globl\t" << CurrentFnName << "\n";
197 break;
198 case Function::WeakLinkage:
199 case Function::LinkOnceLinkage:
Evan Cheng5be54b02007-01-19 19:25:36 +0000200 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000201 SwitchToTextSection(
202 ".section __TEXT,__textcoal_nt,coalesced,pure_instructions", F);
203 O << "\t.globl\t" << CurrentFnName << "\n";
204 O << "\t.weak_definition\t" << CurrentFnName << "\n";
205 } else {
206 O << TAI->getWeakRefDirective() << CurrentFnName << "\n";
207 }
Rafael Espindola4b442b52006-05-23 02:48:20 +0000208 break;
209 }
Evan Chenga8e29892007-01-19 07:51:42 +0000210
Lauro Ramos Venancio0a181732007-04-30 00:23:51 +0000211 const char *VisibilityDirective = NULL;
Evan Cheng616cc662007-03-29 07:49:34 +0000212 if (F->hasHiddenVisibility())
Lauro Ramos Venancio0a181732007-04-30 00:23:51 +0000213 VisibilityDirective = TAI->getHiddenDirective();
214 else if (F->hasProtectedVisibility())
215 VisibilityDirective = TAI->getProtectedDirective();
216
217 if (VisibilityDirective)
218 O << VisibilityDirective << CurrentFnName << "\n";
Evan Cheng616cc662007-03-29 07:49:34 +0000219
Evan Chenga8e29892007-01-19 07:51:42 +0000220 if (AFI->isThumbFunction()) {
Dale Johannesenbd24f3f2007-04-23 20:07:25 +0000221 EmitAlignment(AFI->getAlign(), F);
Evan Chenga8e29892007-01-19 07:51:42 +0000222 O << "\t.code\t16\n";
Lauro Ramos Venancio6f46e592007-02-01 18:25:34 +0000223 O << "\t.thumb_func";
224 if (Subtarget->isTargetDarwin())
225 O << "\t" << CurrentFnName;
226 O << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000227 InCPMode = false;
228 } else
229 EmitAlignment(2, F);
230
Rafael Espindola4b442b52006-05-23 02:48:20 +0000231 O << CurrentFnName << ":\n";
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000232 // Emit pre-function debug information.
233 DW.BeginFunction(&MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000234
235 // Print out code for the function.
236 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
237 I != E; ++I) {
238 // Print a label for the basic block.
239 if (I != MF.begin()) {
240 printBasicBlockLabel(I, true);
241 O << '\n';
242 }
243 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
244 II != E; ++II) {
245 // Print the assembly for the instruction.
Evan Chenga8e29892007-01-19 07:51:42 +0000246 printMachineInstruction(II);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000247 }
248 }
249
Evan Chenga8e29892007-01-19 07:51:42 +0000250 if (TAI->hasDotTypeDotSizeDirective())
251 O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
252
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000253 // Emit post-function debug information.
254 DW.EndFunction();
Evan Chenga8e29892007-01-19 07:51:42 +0000255
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000256 return false;
257}
258
Evan Chenga8e29892007-01-19 07:51:42 +0000259void ARMAsmPrinter::printOperand(const MachineInstr *MI, int opNum,
260 const char *Modifier) {
261 const MachineOperand &MO = MI->getOperand(opNum);
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000262 switch (MO.getType()) {
263 case MachineOperand::MO_Register:
264 if (MRegisterInfo::isPhysicalRegister(MO.getReg()))
Evan Chenga8e29892007-01-19 07:51:42 +0000265 O << TM.getRegisterInfo()->get(MO.getReg()).Name;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000266 else
267 assert(0 && "not implemented");
268 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000269 case MachineOperand::MO_Immediate: {
270 if (!Modifier || strcmp(Modifier, "no_hash") != 0)
271 O << "#";
272
273 O << (int)MO.getImmedValue();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000274 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000275 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000276 case MachineOperand::MO_MachineBasicBlock:
Rafael Espindola687bc492006-08-24 13:45:55 +0000277 printBasicBlockLabel(MO.getMachineBasicBlock());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000278 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000279 case MachineOperand::MO_GlobalAddress: {
Evan Chenga8e29892007-01-19 07:51:42 +0000280 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Rafael Espindola84b19be2006-07-16 01:02:57 +0000281 GlobalValue *GV = MO.getGlobal();
282 std::string Name = Mang->getValueName(GV);
Reid Spencer5cbf9852007-01-30 20:08:39 +0000283 bool isExt = (GV->isDeclaration() || GV->hasWeakLinkage() ||
Evan Chenga8e29892007-01-19 07:51:42 +0000284 GV->hasLinkOnceLinkage());
Evan Cheng5be54b02007-01-19 19:25:36 +0000285 if (isExt && isCallOp && Subtarget->isTargetDarwin() &&
Evan Chenga8e29892007-01-19 07:51:42 +0000286 TM.getRelocationModel() != Reloc::Static) {
287 O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
288 FnStubs.insert(Name);
289 } else
290 O << Name;
Chris Lattner388488d2007-05-03 16:42:23 +0000291
292 if (MO.getOffset() > 0)
293 O << '+' << MO.getOffset();
294 else if (MO.getOffset() < 0)
295 O << MO.getOffset();
296
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000297 if (isCallOp && Subtarget->isTargetELF() &&
298 TM.getRelocationModel() == Reloc::PIC_)
299 O << "(PLT)";
Evan Chenga8e29892007-01-19 07:51:42 +0000300 if (GV->hasExternalWeakLinkage())
Rafael Espindola15404d02006-12-18 03:37:18 +0000301 ExtWeakSymbols.insert(GV);
Evan Chenga8e29892007-01-19 07:51:42 +0000302 break;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000303 }
Evan Chenga8e29892007-01-19 07:51:42 +0000304 case MachineOperand::MO_ExternalSymbol: {
305 bool isCallOp = Modifier && !strcmp(Modifier, "call");
306 std::string Name(TAI->getGlobalPrefix());
307 Name += MO.getSymbolName();
Evan Cheng5be54b02007-01-19 19:25:36 +0000308 if (isCallOp && Subtarget->isTargetDarwin() &&
Evan Chenga8e29892007-01-19 07:51:42 +0000309 TM.getRelocationModel() != Reloc::Static) {
310 O << TAI->getPrivateGlobalPrefix() << Name << "$stub";
311 FnStubs.insert(Name);
312 } else
313 O << Name;
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000314 if (isCallOp && Subtarget->isTargetELF() &&
315 TM.getRelocationModel() == Reloc::PIC_)
316 O << "(PLT)";
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000317 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000318 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000319 case MachineOperand::MO_ConstantPoolIndex:
Jim Laskey563321a2006-09-06 18:34:40 +0000320 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Rafael Espindola06c1e7e2006-08-01 12:58:43 +0000321 << '_' << MO.getConstantPoolIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000322 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000323 case MachineOperand::MO_JumpTableIndex:
324 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
325 << '_' << MO.getJumpTableIndex();
326 break;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000327 default:
328 O << "<unknown operand type>"; abort (); break;
329 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000330}
331
Evan Chengc70d1842007-03-20 08:11:30 +0000332static void printSOImm(std::ostream &O, int64_t V, const TargetAsmInfo *TAI) {
333 assert(V < (1 << 12) && "Not a valid so_imm value!");
334 unsigned Imm = ARM_AM::getSOImmValImm(V);
335 unsigned Rot = ARM_AM::getSOImmValRot(V);
Evan Chenga8e29892007-01-19 07:51:42 +0000336
337 // Print low-level immediate formation info, per
338 // A5.1.3: "Data-processing operands - Immediate".
339 if (Rot) {
340 O << "#" << Imm << ", " << Rot;
341 // Pretty printed version.
342 O << ' ' << TAI->getCommentString() << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
343 } else {
344 O << "#" << Imm;
345 }
346}
347
Evan Chengc70d1842007-03-20 08:11:30 +0000348/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
349/// immediate in bits 0-7.
350void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
351 const MachineOperand &MO = MI->getOperand(OpNum);
352 assert(MO.isImmediate() && "Not a valid so_imm value!");
353 printSOImm(O, MO.getImmedValue(), TAI);
354}
355
356/// printSOImm2PartOperand - SOImm is broken into two pieces using a mov
357/// followed by a or to materialize.
358void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) {
359 const MachineOperand &MO = MI->getOperand(OpNum);
360 assert(MO.isImmediate() && "Not a valid so_imm value!");
361 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImmedValue());
362 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImmedValue());
363 printSOImm(O, ARM_AM::getSOImmVal(V1), TAI);
364 O << "\n\torr ";
365 printOperand(MI, 0);
366 O << ", ";
367 printOperand(MI, 0);
368 O << ", ";
369 printSOImm(O, ARM_AM::getSOImmVal(V2), TAI);
370}
371
Evan Chenga8e29892007-01-19 07:51:42 +0000372// so_reg is a 4-operand unit corresponding to register forms of the A5.1
373// "Addressing Mode 1 - Data-processing operands" forms. This includes:
374// REG 0 0 - e.g. R5
375// REG REG 0,SH_OPC - e.g. R5, ROR R3
376// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
377void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
378 const MachineOperand &MO1 = MI->getOperand(Op);
379 const MachineOperand &MO2 = MI->getOperand(Op+1);
380 const MachineOperand &MO3 = MI->getOperand(Op+2);
381
382 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
383 O << TM.getRegisterInfo()->get(MO1.getReg()).Name;
384
385 // Print the shift opc.
386 O << ", "
387 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImmedValue()))
388 << " ";
389
390 if (MO2.getReg()) {
391 assert(MRegisterInfo::isPhysicalRegister(MO2.getReg()));
392 O << TM.getRegisterInfo()->get(MO2.getReg()).Name;
393 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
394 } else {
395 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
396 }
397}
398
399void ARMAsmPrinter::printAddrMode2Operand(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 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
405 printOperand(MI, Op);
406 return;
407 }
408
409 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
410
411 if (!MO2.getReg()) {
412 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
413 O << ", #"
414 << (char)ARM_AM::getAM2Op(MO3.getImm())
415 << ARM_AM::getAM2Offset(MO3.getImm());
416 O << "]";
417 return;
418 }
419
420 O << ", "
421 << (char)ARM_AM::getAM2Op(MO3.getImm())
422 << TM.getRegisterInfo()->get(MO2.getReg()).Name;
423
424 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
425 O << ", "
426 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImmedValue()))
427 << " #" << ShImm;
428 O << "]";
429}
430
431void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
432 const MachineOperand &MO1 = MI->getOperand(Op);
433 const MachineOperand &MO2 = MI->getOperand(Op+1);
434
435 if (!MO1.getReg()) {
Evan Chengbdc98692007-05-03 23:30:36 +0000436 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
437 assert(ImmOffs && "Malformed indexed load / store!");
438 O << "#"
439 << (char)ARM_AM::getAM2Op(MO2.getImm())
440 << ImmOffs;
Evan Chenga8e29892007-01-19 07:51:42 +0000441 return;
442 }
443
444 O << (char)ARM_AM::getAM2Op(MO2.getImm())
445 << TM.getRegisterInfo()->get(MO1.getReg()).Name;
446
447 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
448 O << ", "
449 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImmedValue()))
450 << " #" << ShImm;
451}
452
453void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
454 const MachineOperand &MO1 = MI->getOperand(Op);
455 const MachineOperand &MO2 = MI->getOperand(Op+1);
456 const MachineOperand &MO3 = MI->getOperand(Op+2);
457
458 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
459 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
460
461 if (MO2.getReg()) {
462 O << ", "
463 << (char)ARM_AM::getAM3Op(MO3.getImm())
464 << TM.getRegisterInfo()->get(MO2.getReg()).Name
465 << "]";
466 return;
467 }
468
469 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
470 O << ", #"
471 << (char)ARM_AM::getAM3Op(MO3.getImm())
472 << ImmOffs;
473 O << "]";
474}
475
476void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
477 const MachineOperand &MO1 = MI->getOperand(Op);
478 const MachineOperand &MO2 = MI->getOperand(Op+1);
479
480 if (MO1.getReg()) {
481 O << (char)ARM_AM::getAM3Op(MO2.getImm())
482 << TM.getRegisterInfo()->get(MO1.getReg()).Name;
483 return;
484 }
485
486 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
Evan Chengbdc98692007-05-03 23:30:36 +0000487 assert(ImmOffs && "Malformed indexed load / store!");
Evan Chenga8e29892007-01-19 07:51:42 +0000488 O << "#"
Evan Chengbdc98692007-05-03 23:30:36 +0000489 << (char)ARM_AM::getAM3Op(MO2.getImm())
Evan Chenga8e29892007-01-19 07:51:42 +0000490 << ImmOffs;
491}
492
493void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
494 const char *Modifier) {
495 const MachineOperand &MO1 = MI->getOperand(Op);
496 const MachineOperand &MO2 = MI->getOperand(Op+1);
497 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
498 if (Modifier && strcmp(Modifier, "submode") == 0) {
499 if (MO1.getReg() == ARM::SP) {
500 bool isLDM = (MI->getOpcode() == ARM::LDM ||
501 MI->getOpcode() == ARM::LDM_RET);
502 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
503 } else
504 O << ARM_AM::getAMSubModeStr(Mode);
505 } else {
506 printOperand(MI, Op);
507 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
508 O << "!";
509 }
510}
511
512void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
513 const char *Modifier) {
514 const MachineOperand &MO1 = MI->getOperand(Op);
515 const MachineOperand &MO2 = MI->getOperand(Op+1);
516
517 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
518 printOperand(MI, Op);
519 return;
520 }
521
522 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
523
524 if (Modifier && strcmp(Modifier, "submode") == 0) {
525 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
526 if (MO1.getReg() == ARM::SP) {
527 bool isFLDM = (MI->getOpcode() == ARM::FLDMD ||
528 MI->getOpcode() == ARM::FLDMS);
529 O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM);
530 } else
531 O << ARM_AM::getAMSubModeStr(Mode);
532 return;
533 } else if (Modifier && strcmp(Modifier, "base") == 0) {
534 // Used for FSTM{D|S} and LSTM{D|S} operations.
535 O << TM.getRegisterInfo()->get(MO1.getReg()).Name;
536 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
537 O << "!";
538 return;
539 }
540
541 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
542
543 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
544 O << ", #"
545 << (char)ARM_AM::getAM5Op(MO2.getImm())
546 << ImmOffs*4;
547 }
548 O << "]";
549}
550
551void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
552 const char *Modifier) {
553 if (Modifier && strcmp(Modifier, "label") == 0) {
554 printPCLabel(MI, Op+1);
555 return;
556 }
557
558 const MachineOperand &MO1 = MI->getOperand(Op);
559 assert(MRegisterInfo::isPhysicalRegister(MO1.getReg()));
560 O << "[pc, +" << TM.getRegisterInfo()->get(MO1.getReg()).Name << "]";
561}
562
563void
564ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
565 const MachineOperand &MO1 = MI->getOperand(Op);
566 const MachineOperand &MO2 = MI->getOperand(Op+1);
567 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
568 O << ", " << TM.getRegisterInfo()->get(MO2.getReg()).Name << "]";
569}
570
571void
572ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
573 unsigned Scale) {
574 const MachineOperand &MO1 = MI->getOperand(Op);
Evan Chengcea117d2007-01-30 02:35:32 +0000575 const MachineOperand &MO2 = MI->getOperand(Op+1);
576 const MachineOperand &MO3 = MI->getOperand(Op+2);
Evan Chenga8e29892007-01-19 07:51:42 +0000577
578 if (!MO1.isRegister()) { // FIXME: This is for CP entries, but isn't right.
579 printOperand(MI, Op);
580 return;
581 }
582
583 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
Evan Chengcea117d2007-01-30 02:35:32 +0000584 if (MO3.getReg())
585 O << ", " << TM.getRegisterInfo()->get(MO3.getReg()).Name;
586 else if (unsigned ImmOffs = MO2.getImm()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000587 O << ", #" << ImmOffs;
588 if (Scale > 1)
589 O << " * " << Scale;
590 }
591 O << "]";
592}
593
594void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000595ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000596 printThumbAddrModeRI5Operand(MI, Op, 1);
Evan Chenga8e29892007-01-19 07:51:42 +0000597}
598void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000599ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000600 printThumbAddrModeRI5Operand(MI, Op, 2);
Evan Chenga8e29892007-01-19 07:51:42 +0000601}
602void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000603ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000604 printThumbAddrModeRI5Operand(MI, Op, 4);
Evan Chenga8e29892007-01-19 07:51:42 +0000605}
606
607void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
608 const MachineOperand &MO1 = MI->getOperand(Op);
609 const MachineOperand &MO2 = MI->getOperand(Op+1);
610 O << "[" << TM.getRegisterInfo()->get(MO1.getReg()).Name;
611 if (unsigned ImmOffs = MO2.getImm())
612 O << ", #" << ImmOffs << " * 4";
613 O << "]";
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000614}
615
Evan Cheng42d712b2007-05-08 21:08:43 +0000616void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int opNum) {
Rafael Espindola6f602de2006-08-24 16:13:15 +0000617 int CC = (int)MI->getOperand(opNum).getImmedValue();
618 O << ARMCondCodeToString((ARMCC::CondCodes)CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000619}
620
Evan Chenga8e29892007-01-19 07:51:42 +0000621void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int opNum) {
622 int Id = (int)MI->getOperand(opNum).getImmedValue();
623 O << TAI->getPrivateGlobalPrefix() << "PC" << Id;
624}
625
626void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int opNum) {
627 O << "{";
628 for (unsigned i = opNum, e = MI->getNumOperands(); i != e; ++i) {
629 printOperand(MI, i);
630 if (i != e-1) O << ", ";
631 }
632 O << "}";
633}
634
635void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNo,
636 const char *Modifier) {
637 assert(Modifier && "This operand only works with a modifier!");
638 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
639 // data itself.
640 if (!strcmp(Modifier, "label")) {
641 unsigned ID = MI->getOperand(OpNo).getImm();
642 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
643 << '_' << ID << ":\n";
644 } else {
645 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
646 unsigned CPI = MI->getOperand(OpNo).getConstantPoolIndex();
647
648 const MachineConstantPoolEntry &MCPE = // Chasing pointers is fun?
649 MI->getParent()->getParent()->getConstantPool()->getConstants()[CPI];
650
651 if (MCPE.isMachineConstantPoolEntry())
652 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000653 else {
Evan Chenga8e29892007-01-19 07:51:42 +0000654 EmitGlobalConstant(MCPE.Val.ConstVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000655 // remember to emit the weak reference
656 if (const GlobalValue *GV = dyn_cast<GlobalValue>(MCPE.Val.ConstVal))
657 if (GV->hasExternalWeakLinkage())
658 ExtWeakSymbols.insert(GV);
659 }
Evan Chenga8e29892007-01-19 07:51:42 +0000660 }
661}
662
663void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNo) {
664 const MachineOperand &MO1 = MI->getOperand(OpNo);
665 const MachineOperand &MO2 = MI->getOperand(OpNo+1); // Unique Id
666 unsigned JTI = MO1.getJumpTableIndex();
667 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
668 << '_' << JTI << '_' << MO2.getImmedValue() << ":\n";
669
670 const char *JTEntryDirective = TAI->getJumpTableDirective();
671 if (!JTEntryDirective)
672 JTEntryDirective = TAI->getData32bitsDirective();
673
674 const MachineFunction *MF = MI->getParent()->getParent();
675 MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
676 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
677 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
678 bool UseSet= TAI->getSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
679 std::set<MachineBasicBlock*> JTSets;
680 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
681 MachineBasicBlock *MBB = JTBBs[i];
682 if (UseSet && JTSets.insert(MBB).second)
683 printSetLabel(JTI, MO2.getImmedValue(), MBB);
684
685 O << JTEntryDirective << ' ';
686 if (UseSet)
687 O << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
688 << '_' << JTI << '_' << MO2.getImmedValue()
689 << "_set_" << MBB->getNumber();
690 else if (TM.getRelocationModel() == Reloc::PIC_) {
691 printBasicBlockLabel(MBB, false, false);
692 // If the arch uses custom Jump Table directives, don't calc relative to JT
693 if (!TAI->getJumpTableDirective())
694 O << '-' << TAI->getPrivateGlobalPrefix() << "JTI"
695 << getFunctionNumber() << '_' << JTI << '_' << MO2.getImmedValue();
696 } else
697 printBasicBlockLabel(MBB, false, false);
Evan Chengd85ac4d2007-01-27 02:29:45 +0000698 if (i != e-1)
699 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +0000700 }
701}
702
703
704bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
705 unsigned AsmVariant, const char *ExtraCode){
706 // Does this asm operand have a single letter operand modifier?
707 if (ExtraCode && ExtraCode[0]) {
708 if (ExtraCode[1] != 0) return true; // Unknown modifier.
709
710 switch (ExtraCode[0]) {
711 default: return true; // Unknown modifier.
Evan Cheng23a95702007-03-08 22:42:46 +0000712 case 'c': // Don't print "$" before a global var name or constant.
Evan Chenge21e3962007-04-04 00:13:29 +0000713 case 'P': // Print a VFP double precision register.
Evan Cheng23a95702007-03-08 22:42:46 +0000714 printOperand(MI, OpNo);
715 return false;
Evan Chenga8e29892007-01-19 07:51:42 +0000716 case 'Q':
717 if (TM.getTargetData()->isLittleEndian())
718 break;
719 // Fallthrough
720 case 'R':
721 if (TM.getTargetData()->isBigEndian())
722 break;
723 // Fallthrough
724 case 'H': // Write second word of DI / DF reference.
725 // Verify that this operand has two consecutive registers.
726 if (!MI->getOperand(OpNo).isRegister() ||
727 OpNo+1 == MI->getNumOperands() ||
728 !MI->getOperand(OpNo+1).isRegister())
729 return true;
730 ++OpNo; // Return the high-part.
731 }
732 }
733
734 printOperand(MI, OpNo);
735 return false;
736}
737
738void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
739 ++EmittedInsts;
740
Evan Chengc60e76d2007-01-30 20:37:08 +0000741 int Opc = MI->getOpcode();
742 switch (Opc) {
743 case ARM::CONSTPOOL_ENTRY:
Evan Chenga8e29892007-01-19 07:51:42 +0000744 if (!InCPMode && AFI->isThumbFunction()) {
745 EmitAlignment(2);
746 InCPMode = true;
747 }
Evan Chengc60e76d2007-01-30 20:37:08 +0000748 break;
749 default: {
Evan Cheng3bf12d02007-01-31 23:39:39 +0000750 if (InCPMode && AFI->isThumbFunction())
Evan Chenga8e29892007-01-19 07:51:42 +0000751 InCPMode = false;
Evan Chengc60e76d2007-01-30 20:37:08 +0000752 switch (Opc) {
753 case ARM::PICADD:
754 case ARM::PICLD:
755 case ARM::tPICADD:
756 break;
757 default:
758 O << "\t";
759 break;
760 }
761 }}
Evan Chenga8e29892007-01-19 07:51:42 +0000762
763 // Call the autogenerated instruction printer routines.
764 printInstruction(MI);
765}
766
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000767bool ARMAsmPrinter::doInitialization(Module &M) {
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000768 // Emit initial debug information.
769 DW.BeginModule(&M);
Evan Chenga8e29892007-01-19 07:51:42 +0000770
771 return AsmPrinter::doInitialization(M);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000772}
773
774bool ARMAsmPrinter::doFinalization(Module &M) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000775 const TargetData *TD = TM.getTargetData();
776
777 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
778 I != E; ++I) {
779 if (!I->hasInitializer()) // External global require no code
780 continue;
781
Evan Chengb267ca12007-01-30 08:04:53 +0000782 if (EmitSpecialLLVMGlobal(I)) {
783 if (Subtarget->isTargetDarwin() &&
784 TM.getRelocationModel() == Reloc::Static) {
785 if (I->getName() == "llvm.global_ctors")
786 O << ".reference .constructors_used\n";
787 else if (I->getName() == "llvm.global_dtors")
788 O << ".reference .destructors_used\n";
789 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000790 continue;
Evan Chengb267ca12007-01-30 08:04:53 +0000791 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000792
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000793 std::string name = Mang->getValueName(I);
794 Constant *C = I->getInitializer();
Evan Cheng98ded762007-03-08 01:25:25 +0000795 const Type *Type = C->getType();
796 unsigned Size = TD->getTypeSize(Type);
Evan Chenga8e29892007-01-19 07:51:42 +0000797 unsigned Align = TD->getPreferredAlignmentLog(I);
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000798
Lauro Ramos Venancio0a181732007-04-30 00:23:51 +0000799 const char *VisibilityDirective = NULL;
Evan Cheng5be54b02007-01-19 19:25:36 +0000800 if (I->hasHiddenVisibility())
Lauro Ramos Venancio0a181732007-04-30 00:23:51 +0000801 VisibilityDirective = TAI->getHiddenDirective();
802 else if (I->hasProtectedVisibility())
803 VisibilityDirective = TAI->getProtectedDirective();
804
805 if (VisibilityDirective)
806 O << VisibilityDirective << name << "\n";
807
Evan Cheng5be54b02007-01-19 19:25:36 +0000808 if (Subtarget->isTargetELF())
Lauro Ramos Venanciob1cc0522007-01-25 20:11:04 +0000809 O << "\t.type " << name << ",%object\n";
Evan Cheng5be54b02007-01-19 19:25:36 +0000810
811 if (C->isNullValue()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000812 if (I->hasExternalLinkage()) {
Evan Cheng5be54b02007-01-19 19:25:36 +0000813 if (const char *Directive = TAI->getZeroFillDirective()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000814 O << "\t.globl\t" << name << "\n";
Evan Cheng5be54b02007-01-19 19:25:36 +0000815 O << Directive << "__DATA__, __common, " << name << ", "
816 << Size << ", " << Align << "\n";
817 continue;
818 }
819 }
820
821 if (!I->hasSection() &&
822 (I->hasInternalLinkage() || I->hasWeakLinkage() ||
823 I->hasLinkOnceLinkage())) {
824 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
825 if (!NoZerosInBSS && TAI->getBSSSection())
826 SwitchToDataSection(TAI->getBSSSection(), I);
827 else
828 SwitchToDataSection(TAI->getDataSection(), I);
Evan Chenga8e29892007-01-19 07:51:42 +0000829 if (TAI->getLCOMMDirective() != NULL) {
830 if (I->hasInternalLinkage()) {
831 O << TAI->getLCOMMDirective() << name << "," << Size;
Evan Cheng5be54b02007-01-19 19:25:36 +0000832 if (Subtarget->isTargetDarwin())
Evan Chenga8e29892007-01-19 07:51:42 +0000833 O << "," << Align;
834 } else
835 O << TAI->getCOMMDirective() << name << "," << Size;
836 } else {
837 if (I->hasInternalLinkage())
838 O << "\t.local\t" << name << "\n";
839 O << TAI->getCOMMDirective() << name << "," << Size;
840 if (TAI->getCOMMDirectiveTakesAlignment())
841 O << "," << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
842 }
Evan Cheng5be54b02007-01-19 19:25:36 +0000843 O << "\t\t" << TAI->getCommentString() << " " << I->getName() << "\n";
844 continue;
Evan Chenga8e29892007-01-19 07:51:42 +0000845 }
Evan Cheng5be54b02007-01-19 19:25:36 +0000846 }
Evan Chenga8e29892007-01-19 07:51:42 +0000847
Evan Cheng5be54b02007-01-19 19:25:36 +0000848 switch (I->getLinkage()) {
849 case GlobalValue::LinkOnceLinkage:
850 case GlobalValue::WeakLinkage:
851 if (Subtarget->isTargetDarwin()) {
852 O << "\t.globl " << name << "\n"
853 << "\t.weak_definition " << name << "\n";
854 SwitchToDataSection("\t.section __DATA,__const_coal,coalesced", I);
855 } else {
856 std::string SectionName("\t.section\t.llvm.linkonce.d." +
857 name +
858 ",\"aw\",%progbits");
859 SwitchToDataSection(SectionName.c_str(), I);
860 O << "\t.weak " << name << "\n";
861 }
862 break;
863 case GlobalValue::AppendingLinkage:
864 // FIXME: appending linkage variables should go into a section of
865 // their name or something. For now, just emit them as external.
866 case GlobalValue::ExternalLinkage:
867 O << "\t.globl " << name << "\n";
868 // FALL THROUGH
869 case GlobalValue::InternalLinkage: {
870 if (I->isConstant()) {
871 const ConstantArray *CVA = dyn_cast<ConstantArray>(C);
872 if (TAI->getCStringSection() && CVA && CVA->isCString()) {
873 SwitchToDataSection(TAI->getCStringSection(), I);
874 break;
875 }
876 }
877 // FIXME: special handling for ".ctors" & ".dtors" sections
878 if (I->hasSection() &&
879 (I->getSection() == ".ctors" ||
880 I->getSection() == ".dtors")) {
881 assert(!Subtarget->isTargetDarwin());
882 std::string SectionName = ".section " + I->getSection();
883 SectionName += ",\"aw\",%progbits";
884 SwitchToDataSection(SectionName.c_str());
885 } else {
886 if (C->isNullValue() && !NoZerosInBSS && TAI->getBSSSection())
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000887 SwitchToDataSection(I->isThreadLocal() ? TAI->getTLSBSSSection() :
888 TAI->getBSSSection(), I);
Evan Cheng98ded762007-03-08 01:25:25 +0000889 else if (!I->isConstant())
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000890 SwitchToDataSection(I->isThreadLocal() ? TAI->getTLSDataSection() :
891 TAI->getDataSection(), I);
892 else if (I->isThreadLocal())
893 SwitchToDataSection(TAI->getTLSDataSection());
Evan Cheng98ded762007-03-08 01:25:25 +0000894 else {
895 // Read-only data.
Evan Cheng032953d2007-03-08 08:31:54 +0000896 bool HasReloc = C->ContainsRelocations();
897 if (HasReloc &&
898 Subtarget->isTargetDarwin() &&
Evan Cheng98ded762007-03-08 01:25:25 +0000899 TM.getRelocationModel() != Reloc::Static)
900 SwitchToDataSection("\t.const_data\n");
Evan Cheng032953d2007-03-08 08:31:54 +0000901 else if (!HasReloc && Size == 4 &&
Evan Cheng98ded762007-03-08 01:25:25 +0000902 TAI->getFourByteConstantSection())
903 SwitchToDataSection(TAI->getFourByteConstantSection(), I);
Evan Cheng032953d2007-03-08 08:31:54 +0000904 else if (!HasReloc && Size == 8 &&
Evan Cheng98ded762007-03-08 01:25:25 +0000905 TAI->getEightByteConstantSection())
906 SwitchToDataSection(TAI->getEightByteConstantSection(), I);
Evan Cheng032953d2007-03-08 08:31:54 +0000907 else if (!HasReloc && Size == 16 &&
Evan Cheng98ded762007-03-08 01:25:25 +0000908 TAI->getSixteenByteConstantSection())
909 SwitchToDataSection(TAI->getSixteenByteConstantSection(), I);
910 else if (TAI->getReadOnlySection())
911 SwitchToDataSection(TAI->getReadOnlySection(), I);
912 else
913 SwitchToDataSection(TAI->getDataSection(), I);
914 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000915 }
Evan Cheng5be54b02007-01-19 19:25:36 +0000916
917 break;
918 }
919 default:
920 assert(0 && "Unknown linkage type!");
921 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000922 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000923
Evan Chenga8e29892007-01-19 07:51:42 +0000924 EmitAlignment(Align, I);
Evan Cheng5be54b02007-01-19 19:25:36 +0000925 O << name << ":\t\t\t\t" << TAI->getCommentString() << " " << I->getName()
926 << "\n";
927 if (TAI->hasDotTypeDotSizeDirective())
Rafael Espindolab97809c2006-10-19 13:30:40 +0000928 O << "\t.size " << name << ", " << Size << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000929 // If the initializer is a extern weak symbol, remember to emit the weak
930 // reference!
931 if (const GlobalValue *GV = dyn_cast<GlobalValue>(C))
932 if (GV->hasExternalWeakLinkage())
933 ExtWeakSymbols.insert(GV);
934
935 EmitGlobalConstant(C);
936 O << '\n';
937 }
938
Evan Cheng5be54b02007-01-19 19:25:36 +0000939 if (Subtarget->isTargetDarwin()) {
940 SwitchToDataSection("");
941
Evan Chenga8e29892007-01-19 07:51:42 +0000942 // Output stubs for dynamically-linked functions
943 unsigned j = 1;
944 for (std::set<std::string>::iterator i = FnStubs.begin(), e = FnStubs.end();
945 i != e; ++i, ++j) {
946 if (TM.getRelocationModel() == Reloc::PIC_)
947 SwitchToTextSection(".section __TEXT,__picsymbolstub4,symbol_stubs,"
948 "none,16", 0);
949 else
950 SwitchToTextSection(".section __TEXT,__symbol_stub4,symbol_stubs,"
951 "none,12", 0);
952
953 EmitAlignment(2);
954 O << "\t.code\t32\n";
955
956 O << "L" << *i << "$stub:\n";
957 O << "\t.indirect_symbol " << *i << "\n";
958 O << "\tldr ip, L" << *i << "$slp\n";
959 if (TM.getRelocationModel() == Reloc::PIC_) {
960 O << "L" << *i << "$scv:\n";
961 O << "\tadd ip, pc, ip\n";
962 }
963 O << "\tldr pc, [ip, #0]\n";
964 O << "L" << *i << "$slp:\n";
965 if (TM.getRelocationModel() == Reloc::PIC_)
966 O << "\t.long\tL" << *i << "$lazy_ptr-(L" << *i << "$scv+8)\n";
967 else
968 O << "\t.long\tL" << *i << "$lazy_ptr\n";
969 SwitchToDataSection(".lazy_symbol_pointer", 0);
970 O << "L" << *i << "$lazy_ptr:\n";
971 O << "\t.indirect_symbol " << *i << "\n";
972 O << "\t.long\tdyld_stub_binding_helper\n";
973 }
974 O << "\n";
975
976 // Output non-lazy-pointers for external and common global variables.
977 if (GVNonLazyPtrs.begin() != GVNonLazyPtrs.end())
978 SwitchToDataSection(".non_lazy_symbol_pointer", 0);
979 for (std::set<std::string>::iterator i = GVNonLazyPtrs.begin(),
980 e = GVNonLazyPtrs.end(); i != e; ++i) {
981 O << "L" << *i << "$non_lazy_ptr:\n";
982 O << "\t.indirect_symbol " << *i << "\n";
983 O << "\t.long\t0\n";
984 }
985
986 // Emit initial debug information.
987 DW.EndModule();
988
989 // Funny Darwin hack: This flag tells the linker that no global symbols
990 // contain code that falls through to other global symbols (e.g. the obvious
991 // implementation of multiple entry points). If this doesn't occur, the
992 // linker can safely perform dead code stripping. Since LLVM never
993 // generates code that does this, it is always safe to set.
994 O << "\t.subsections_via_symbols\n";
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000995 } else {
996 // Emit final debug information for ELF.
997 DW.EndModule();
Rafael Espindolab01c4bb2006-07-27 11:38:51 +0000998 }
Rafael Espindolab97809c2006-10-19 13:30:40 +0000999
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001000 AsmPrinter::doFinalization(M);
1001 return false; // success
1002}