blob: 8020fb1cf3dcb2c0f8287bee538b4eced50e0387 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- X86ATTAsmPrinter.cpp - Convert X86 LLVM code to AT&T assembly -----===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to AT&T format assembly
12// language. This printer is the output mechanism used by `llc'.
13//
14//===----------------------------------------------------------------------===//
15
16#define DEBUG_TYPE "asm-printer"
17#include "X86ATTAsmPrinter.h"
Cédric Venet4fce6e22008-08-24 12:30:46 +000018#include "X86.h"
19#include "X86COFF.h"
20#include "X86MachineFunctionInfo.h"
21#include "X86TargetMachine.h"
22#include "X86TargetAsmInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023#include "llvm/CallingConv.h"
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000024#include "llvm/DerivedTypes.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025#include "llvm/Module.h"
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000026#include "llvm/Type.h"
27#include "llvm/ADT/Statistic.h"
28#include "llvm/ADT/StringExtras.h"
Bill Wendling4ff1cdf2009-02-18 23:12:06 +000029#include "llvm/CodeGen/DwarfWriter.h"
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000030#include "llvm/CodeGen/MachineJumpTableInfo.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031#include "llvm/Support/Mangler.h"
Owen Anderson847b99b2008-08-21 00:14:44 +000032#include "llvm/Support/raw_ostream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000033#include "llvm/Target/TargetAsmInfo.h"
34#include "llvm/Target/TargetOptions.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000035using namespace llvm;
36
37STATISTIC(EmittedInsts, "Number of machine instrs printed");
38
Evan Cheng0729ccf2008-01-05 00:41:47 +000039static std::string getPICLabelString(unsigned FnNum,
40 const TargetAsmInfo *TAI,
41 const X86Subtarget* Subtarget) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000042 std::string label;
43 if (Subtarget->isTargetDarwin())
Evan Cheng477013c2007-10-14 05:57:21 +000044 label = "\"L" + utostr_32(FnNum) + "$pb\"";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000045 else if (Subtarget->isTargetELF())
Dan Gohman12ebe3f2008-06-30 22:03:41 +000046 label = ".Lllvm$" + utostr_32(FnNum) + "." "$piclabel";
Dan Gohmanf17a25c2007-07-18 16:29:46 +000047 else
48 assert(0 && "Don't know how to print PIC label!\n");
49
50 return label;
51}
52
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000053static X86MachineFunctionInfo calculateFunctionInfo(const Function *F,
54 const TargetData *TD) {
55 X86MachineFunctionInfo Info;
56 uint64_t Size = 0;
57
58 switch (F->getCallingConv()) {
59 case CallingConv::X86_StdCall:
60 Info.setDecorationStyle(StdCall);
61 break;
62 case CallingConv::X86_FastCall:
63 Info.setDecorationStyle(FastCall);
64 break;
65 default:
66 return Info;
67 }
68
69 unsigned argNum = 1;
70 for (Function::const_arg_iterator AI = F->arg_begin(), AE = F->arg_end();
71 AI != AE; ++AI, ++argNum) {
72 const Type* Ty = AI->getType();
73
74 // 'Dereference' type in case of byval parameter attribute
Devang Pateld222f862008-09-25 21:00:45 +000075 if (F->paramHasAttr(argNum, Attribute::ByVal))
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000076 Ty = cast<PointerType>(Ty)->getElementType();
77
78 // Size should be aligned to DWORD boundary
Duncan Sandsd68f13b2009-01-12 20:38:59 +000079 Size += ((TD->getTypePaddedSize(Ty) + 3)/4)*4;
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000080 }
81
82 // We're not supporting tooooo huge arguments :)
83 Info.setBytesToPopOnReturn((unsigned int)Size);
84 return Info;
85}
86
87/// PrintUnmangledNameSafely - Print out the printable characters in the name.
Dan Gohman8387bb32009-03-03 02:55:14 +000088/// Don't print things like \\n or \\0.
Owen Anderson847b99b2008-08-21 00:14:44 +000089static void PrintUnmangledNameSafely(const Value *V, raw_ostream &OS) {
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +000090 for (const char *Name = V->getNameStart(), *E = Name+V->getNameLen();
91 Name != E; ++Name)
92 if (isprint(*Name))
93 OS << *Name;
94}
95
96/// decorateName - Query FunctionInfoMap and use this information for various
97/// name decoration.
98void X86ATTAsmPrinter::decorateName(std::string &Name,
99 const GlobalValue *GV) {
100 const Function *F = dyn_cast<Function>(GV);
101 if (!F) return;
102
103 // We don't want to decorate non-stdcall or non-fastcall functions right now
104 unsigned CC = F->getCallingConv();
105 if (CC != CallingConv::X86_StdCall && CC != CallingConv::X86_FastCall)
106 return;
107
108 // Decorate names only when we're targeting Cygwin/Mingw32 targets
109 if (!Subtarget->isTargetCygMing())
110 return;
111
112 FMFInfoMap::const_iterator info_item = FunctionInfoMap.find(F);
113
114 const X86MachineFunctionInfo *Info;
115 if (info_item == FunctionInfoMap.end()) {
116 // Calculate apropriate function info and populate map
117 FunctionInfoMap[F] = calculateFunctionInfo(F, TM.getTargetData());
118 Info = &FunctionInfoMap[F];
119 } else {
120 Info = &info_item->second;
121 }
122
123 const FunctionType *FT = F->getFunctionType();
124 switch (Info->getDecorationStyle()) {
125 case None:
126 break;
127 case StdCall:
128 // "Pure" variadic functions do not receive @0 suffix.
129 if (!FT->isVarArg() || (FT->getNumParams() == 0) ||
130 (FT->getNumParams() == 1 && F->hasStructRetAttr()))
131 Name += '@' + utostr_32(Info->getBytesToPopOnReturn());
132 break;
133 case FastCall:
134 // "Pure" variadic functions do not receive @0 suffix.
135 if (!FT->isVarArg() || (FT->getNumParams() == 0) ||
136 (FT->getNumParams() == 1 && F->hasStructRetAttr()))
137 Name += '@' + utostr_32(Info->getBytesToPopOnReturn());
138
139 if (Name[0] == '_') {
140 Name[0] = '@';
141 } else {
142 Name = '@' + Name;
143 }
144 break;
145 default:
146 assert(0 && "Unsupported DecorationStyle");
147 }
148}
149
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000150void X86ATTAsmPrinter::emitFunctionHeader(const MachineFunction &MF) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000151 const Function *F = MF.getFunction();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000152
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000153 decorateName(CurrentFnName, F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000154
Anton Korobeynikov1a9edae2008-09-24 22:14:23 +0000155 SwitchToSection(TAI->SectionForGlobal(F));
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000156
Devang Patel93698d92008-10-01 23:18:38 +0000157 unsigned FnAlign = 4;
Devang Pateld3659412008-10-06 17:30:07 +0000158 if (F->hasFnAttr(Attribute::OptimizeForSize))
Devang Patel009a8d12008-09-04 21:03:41 +0000159 FnAlign = 1;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000160 switch (F->getLinkage()) {
161 default: assert(0 && "Unknown linkage type!");
162 case Function::InternalLinkage: // Symbols default to internal.
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000163 case Function::PrivateLinkage:
Evan Cheng2e8d3d42008-03-25 22:29:46 +0000164 EmitAlignment(FnAlign, F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000165 break;
166 case Function::DLLExportLinkage:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000167 case Function::ExternalLinkage:
Evan Cheng2e8d3d42008-03-25 22:29:46 +0000168 EmitAlignment(FnAlign, F);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000169 O << "\t.globl\t" << CurrentFnName << '\n';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000170 break;
Duncan Sands19d161f2009-03-07 15:45:40 +0000171 case Function::LinkOnceAnyLinkage:
172 case Function::LinkOnceODRLinkage:
173 case Function::WeakAnyLinkage:
174 case Function::WeakODRLinkage:
Evan Cheng2e8d3d42008-03-25 22:29:46 +0000175 EmitAlignment(FnAlign, F);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000176 if (Subtarget->isTargetDarwin()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000177 O << "\t.globl\t" << CurrentFnName << '\n';
178 O << TAI->getWeakDefDirective() << CurrentFnName << '\n';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000179 } else if (Subtarget->isTargetCygMing()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000180 O << "\t.globl\t" << CurrentFnName << "\n"
181 "\t.linkonce discard\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000182 } else {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000183 O << "\t.weak\t" << CurrentFnName << '\n';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000184 }
185 break;
186 }
Anton Korobeynikov78d69aa2008-08-08 18:25:07 +0000187
188 printVisibility(CurrentFnName, F->getVisibility());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000189
190 if (Subtarget->isTargetELF())
Dan Gohman721e6582007-07-30 15:08:02 +0000191 O << "\t.type\t" << CurrentFnName << ",@function\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000192 else if (Subtarget->isTargetCygMing()) {
193 O << "\t.def\t " << CurrentFnName
194 << ";\t.scl\t" <<
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000195 (F->hasInternalLinkage() ? COFF::C_STAT : COFF::C_EXT)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000196 << ";\t.type\t" << (COFF::DT_FCN << COFF::N_BTSHFT)
197 << ";\t.endef\n";
198 }
199
200 O << CurrentFnName << ":\n";
201 // Add some workaround for linkonce linkage on Cygwin\MinGW
202 if (Subtarget->isTargetCygMing() &&
Duncan Sands19d161f2009-03-07 15:45:40 +0000203 (F->hasLinkOnceLinkage() || F->hasWeakLinkage()))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000204 O << "Lllvm$workaround$fake$stub$" << CurrentFnName << ":\n";
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000205}
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000206
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000207/// runOnMachineFunction - This uses the printMachineInstruction()
208/// method to print assembly for each instruction.
209///
210bool X86ATTAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
211 const Function *F = MF.getFunction();
Bill Wendlingb3b11262009-02-06 21:45:08 +0000212 this->MF = &MF;
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000213 unsigned CC = F->getCallingConv();
214
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000215 SetupMachineFunction(MF);
216 O << "\n\n";
217
218 // Populate function information map. Actually, We don't want to populate
219 // non-stdcall or non-fastcall functions' information right now.
220 if (CC == CallingConv::X86_StdCall || CC == CallingConv::X86_FastCall)
221 FunctionInfoMap[F] = *MF.getInfo<X86MachineFunctionInfo>();
222
223 // Print out constants referenced by the function
224 EmitConstantPool(MF.getConstantPool());
225
226 if (F->hasDLLExportLinkage())
227 DLLExportedFns.insert(Mang->makeNameProper(F->getName(), ""));
228
229 // Print the 'header' of function
230 emitFunctionHeader(MF);
231
232 // Emit pre-function debug and/or EH information.
233 if (TAI->doesSupportDebugInformation() || TAI->doesSupportExceptionHandling())
Devang Patelaa1e8432009-01-08 23:40:34 +0000234 DW->BeginFunction(&MF);
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000235
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000236 // Print out code for the function.
Dale Johannesenf35771f2008-04-08 00:37:56 +0000237 bool hasAnyRealCode = false;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000238 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
239 I != E; ++I) {
240 // Print a label for the basic block.
Dan Gohman3f7d94b2007-10-03 19:26:29 +0000241 if (!I->pred_empty()) {
Evan Cheng45c1edb2008-02-28 00:43:03 +0000242 printBasicBlockLabel(I, true, true);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000243 O << '\n';
244 }
Bill Wendlingb5880a72008-01-26 09:03:52 +0000245 for (MachineBasicBlock::const_iterator II = I->begin(), IE = I->end();
246 II != IE; ++II) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000247 // Print the assembly for the instruction.
Dan Gohmanfa607c92008-07-01 00:05:16 +0000248 if (!II->isLabel())
Dale Johannesenf35771f2008-04-08 00:37:56 +0000249 hasAnyRealCode = true;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000250 printMachineInstruction(II);
251 }
252 }
253
Dale Johannesenf35771f2008-04-08 00:37:56 +0000254 if (Subtarget->isTargetDarwin() && !hasAnyRealCode) {
255 // If the function is empty, then we need to emit *something*. Otherwise,
256 // the function's label might be associated with something that it wasn't
257 // meant to be associated with. We emit a noop in this situation.
258 // We are assuming inline asms are code.
259 O << "\tnop\n";
260 }
261
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000262 if (TAI->hasDotTypeDotSizeDirective())
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000263 O << "\t.size\t" << CurrentFnName << ", .-" << CurrentFnName << '\n';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000264
Anton Korobeynikov30948e32008-06-28 11:09:01 +0000265 // Emit post-function debug information.
266 if (TAI->doesSupportDebugInformation())
Devang Patelaa1e8432009-01-08 23:40:34 +0000267 DW->EndFunction(&MF);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000268
269 // Print out jump tables referenced by the function.
270 EmitJumpTableInfo(MF.getJumpTableInfo(), MF);
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000271
Dan Gohmaneb94abd2008-11-07 19:49:17 +0000272 O.flush();
273
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000274 // We didn't modify anything.
275 return false;
276}
277
Rafael Espindolae0ac18d2008-06-09 09:52:31 +0000278static inline bool shouldPrintGOT(TargetMachine &TM, const X86Subtarget* ST) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000279 return ST->isPICStyleGOT() && TM.getRelocationModel() == Reloc::PIC_;
280}
281
Rafael Espindolae0ac18d2008-06-09 09:52:31 +0000282static inline bool shouldPrintPLT(TargetMachine &TM, const X86Subtarget* ST) {
283 return ST->isTargetELF() && TM.getRelocationModel() == Reloc::PIC_ &&
284 (ST->isPICStyleRIPRel() || ST->isPICStyleGOT());
285}
286
287static inline bool shouldPrintStub(TargetMachine &TM, const X86Subtarget* ST) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000288 return ST->isPICStyleStub() && TM.getRelocationModel() != Reloc::Static;
289}
290
291void X86ATTAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
292 const char *Modifier, bool NotRIPRel) {
293 const MachineOperand &MO = MI->getOperand(OpNo);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000294 switch (MO.getType()) {
295 case MachineOperand::MO_Register: {
Dan Gohman1e57df32008-02-10 18:45:23 +0000296 assert(TargetRegisterInfo::isPhysicalRegister(MO.getReg()) &&
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000297 "Virtual registers should not make it this far!");
298 O << '%';
299 unsigned Reg = MO.getReg();
300 if (Modifier && strncmp(Modifier, "subreg", strlen("subreg")) == 0) {
Duncan Sands92c43912008-06-06 12:08:01 +0000301 MVT VT = (strcmp(Modifier+6,"64") == 0) ?
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000302 MVT::i64 : ((strcmp(Modifier+6, "32") == 0) ? MVT::i32 :
303 ((strcmp(Modifier+6,"16") == 0) ? MVT::i16 : MVT::i8));
304 Reg = getX86SubSuperRegister(Reg, VT);
305 }
Evan Cheng00d04a72008-07-07 22:21:06 +0000306 O << TRI->getAsmName(Reg);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000307 return;
308 }
309
310 case MachineOperand::MO_Immediate:
Dan Gohman2fe209e2009-03-11 23:01:47 +0000311 if (!Modifier ||
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000312 (strcmp(Modifier, "debug") && strcmp(Modifier, "mem")))
313 O << '$';
Chris Lattnera96056a2007-12-30 20:49:49 +0000314 O << MO.getImm();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000315 return;
316 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner6017d482007-12-30 23:10:15 +0000317 printBasicBlockLabel(MO.getMBB());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000318 return;
319 case MachineOperand::MO_JumpTableIndex: {
320 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
321 if (!isMemOp) O << '$';
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000322 O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() << '_'
Chris Lattner6017d482007-12-30 23:10:15 +0000323 << MO.getIndex();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000324
325 if (TM.getRelocationModel() == Reloc::PIC_) {
326 if (Subtarget->isPICStyleStub())
Evan Cheng477013c2007-10-14 05:57:21 +0000327 O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
328 << "$pb\"";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000329 else if (Subtarget->isPICStyleGOT())
330 O << "@GOTOFF";
331 }
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000332
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000333 if (isMemOp && Subtarget->isPICStyleRIPRel() && !NotRIPRel)
334 O << "(%rip)";
335 return;
336 }
337 case MachineOperand::MO_ConstantPoolIndex: {
338 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
339 if (!isMemOp) O << '$';
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000340 O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_'
Chris Lattner6017d482007-12-30 23:10:15 +0000341 << MO.getIndex();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000342
343 if (TM.getRelocationModel() == Reloc::PIC_) {
344 if (Subtarget->isPICStyleStub())
Evan Cheng477013c2007-10-14 05:57:21 +0000345 O << "-\"" << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
346 << "$pb\"";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000347 else if (Subtarget->isPICStyleGOT())
348 O << "@GOTOFF";
349 }
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000350
Anton Korobeynikov440f23d2008-11-22 16:15:34 +0000351 printOffset(MO.getOffset());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000352
353 if (isMemOp && Subtarget->isPICStyleRIPRel() && !NotRIPRel)
354 O << "(%rip)";
355 return;
356 }
357 case MachineOperand::MO_GlobalAddress: {
358 bool isCallOp = Modifier && !strcmp(Modifier, "call");
359 bool isMemOp = Modifier && !strcmp(Modifier, "mem");
360 bool needCloseParen = false;
361
Anton Korobeynikovdd9dc5d2008-03-11 22:38:53 +0000362 const GlobalValue *GV = MO.getGlobal();
363 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
364 if (!GVar) {
Anton Korobeynikov85149302008-03-22 07:53:40 +0000365 // If GV is an alias then use the aliasee for determining
366 // thread-localness.
Anton Korobeynikovdd9dc5d2008-03-11 22:38:53 +0000367 if (const GlobalAlias *GA = dyn_cast<GlobalAlias>(GV))
Anton Korobeynikovc7b90912008-09-09 20:05:04 +0000368 GVar = dyn_cast_or_null<GlobalVariable>(GA->resolveAliasedGlobal(false));
Anton Korobeynikovdd9dc5d2008-03-11 22:38:53 +0000369 }
370
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000371 bool isThreadLocal = GVar && GVar->isThreadLocal();
372
373 std::string Name = Mang->getValueName(GV);
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000374 decorateName(Name, GV);
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000375
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000376 if (!isMemOp && !isCallOp)
377 O << '$';
378 else if (Name[0] == '$') {
379 // The name begins with a dollar-sign. In order to avoid having it look
380 // like an integer immediate to the assembler, enclose it in parens.
381 O << '(';
382 needCloseParen = true;
383 }
384
Rafael Espindolae0ac18d2008-06-09 09:52:31 +0000385 if (shouldPrintStub(TM, Subtarget)) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000386 // Link-once, declaration, or Weakly-linked global variables need
387 // non-lazily-resolved stubs
Duncan Sands19d161f2009-03-07 15:45:40 +0000388 if (GV->isDeclaration() || GV->isWeakForLinker()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000389 // Dynamically-resolved functions need a stub for the function.
390 if (isCallOp && isa<Function>(GV)) {
Evan Chengdfd884e2008-09-20 00:13:45 +0000391 // Function stubs are no longer needed for Mac OS X 10.5 and up.
392 if (Subtarget->isTargetDarwin() && Subtarget->getDarwinVers() >= 9) {
393 O << Name;
394 } else {
395 FnStubs.insert(Name);
396 printSuffixedName(Name, "$stub");
397 }
Evan Chenga65854f2008-12-05 01:06:39 +0000398 } else if (GV->hasHiddenVisibility()) {
399 if (!GV->isDeclaration() && !GV->hasCommonLinkage())
400 // Definition is not definitely in the current translation unit.
401 O << Name;
402 else {
403 HiddenGVStubs.insert(Name);
404 printSuffixedName(Name, "$non_lazy_ptr");
405 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000406 } else {
407 GVStubs.insert(Name);
Dale Johannesena21b5202008-05-19 21:38:18 +0000408 printSuffixedName(Name, "$non_lazy_ptr");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000409 }
410 } else {
411 if (GV->hasDLLImportLinkage())
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000412 O << "__imp_";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000413 O << Name;
414 }
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000415
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000416 if (!isCallOp && TM.getRelocationModel() == Reloc::PIC_)
Evan Cheng0729ccf2008-01-05 00:41:47 +0000417 O << '-' << getPICLabelString(getFunctionNumber(), TAI, Subtarget);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000418 } else {
419 if (GV->hasDLLImportLinkage()) {
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000420 O << "__imp_";
421 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000422 O << Name;
423
Rafael Espindolae0ac18d2008-06-09 09:52:31 +0000424 if (isCallOp) {
425 if (shouldPrintPLT(TM, Subtarget)) {
426 // Assemble call via PLT for externally visible symbols
427 if (!GV->hasHiddenVisibility() && !GV->hasProtectedVisibility() &&
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000428 !GV->hasLocalLinkage())
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000429 O << "@PLT";
430 }
431 if (Subtarget->isTargetCygMing() && GV->isDeclaration())
432 // Save function name for later type emission
433 FnStubs.insert(Name);
434 }
435 }
436
437 if (GV->hasExternalWeakLinkage())
438 ExtWeakSymbols.insert(GV);
Anton Korobeynikov4fbf00b2008-05-04 21:36:32 +0000439
Anton Korobeynikov440f23d2008-11-22 16:15:34 +0000440 printOffset(MO.getOffset());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000441
442 if (isThreadLocal) {
Rafael Espindola7b620af2009-02-27 13:37:18 +0000443 TLSModel::Model model = getTLSModel(GVar, TM.getRelocationModel());
444 switch (model) {
445 case TLSModel::GeneralDynamic:
446 O << "@TLSGD";
447 break;
448 case TLSModel::LocalDynamic:
449 // O << "@TLSLD"; // local dynamic not implemented
450 O << "@TLSGD";
451 break;
452 case TLSModel::InitialExec:
453 if (Subtarget->is64Bit())
454 O << "@TLSGD"; // 64 bit intial exec not implemented
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000455 else
Rafael Espindola7b620af2009-02-27 13:37:18 +0000456 O << "@INDNTPOFF";
457 break;
458 case TLSModel::LocalExec:
459 if (Subtarget->is64Bit())
460 O << "@TLSGD"; // 64 bit local exec not implemented
461 else
462 O << "@NTPOFF";
463 break;
464 default:
465 assert (0 && "Unknown TLS model");
466 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000467 } else if (isMemOp) {
Rafael Espindolae0ac18d2008-06-09 09:52:31 +0000468 if (shouldPrintGOT(TM, Subtarget)) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000469 if (Subtarget->GVRequiresExtraLoad(GV, TM, false))
470 O << "@GOT";
471 else
472 O << "@GOTOFF";
Chris Lattnerfa7ef612007-11-04 19:23:28 +0000473 } else if (Subtarget->isPICStyleRIPRel() && !NotRIPRel &&
474 TM.getRelocationModel() != Reloc::Static) {
Anton Korobeynikov0d38b7d2008-01-20 13:59:37 +0000475 if (Subtarget->GVRequiresExtraLoad(GV, TM, false))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000476 O << "@GOTPCREL";
477
478 if (needCloseParen) {
479 needCloseParen = false;
480 O << ')';
481 }
482
483 // Use rip when possible to reduce code size, except when
484 // index or base register are also part of the address. e.g.
485 // foo(%rip)(%rcx,%rax,4) is not legal
486 O << "(%rip)";
487 }
488 }
489
490 if (needCloseParen)
491 O << ')';
492
493 return;
494 }
495 case MachineOperand::MO_ExternalSymbol: {
496 bool isCallOp = Modifier && !strcmp(Modifier, "call");
497 bool needCloseParen = false;
498 std::string Name(TAI->getGlobalPrefix());
499 Name += MO.getSymbolName();
Evan Chengdfd884e2008-09-20 00:13:45 +0000500 // Print function stub suffix unless it's Mac OS X 10.5 and up.
501 if (isCallOp && shouldPrintStub(TM, Subtarget) &&
502 !(Subtarget->isTargetDarwin() && Subtarget->getDarwinVers() >= 9)) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000503 FnStubs.insert(Name);
Dale Johannesena21b5202008-05-19 21:38:18 +0000504 printSuffixedName(Name, "$stub");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000505 return;
506 }
507 if (!isCallOp)
508 O << '$';
509 else if (Name[0] == '$') {
510 // The name begins with a dollar-sign. In order to avoid having it look
511 // like an integer immediate to the assembler, enclose it in parens.
512 O << '(';
513 needCloseParen = true;
514 }
515
516 O << Name;
517
Rafael Espindolae0ac18d2008-06-09 09:52:31 +0000518 if (shouldPrintPLT(TM, Subtarget)) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000519 std::string GOTName(TAI->getGlobalPrefix());
520 GOTName+="_GLOBAL_OFFSET_TABLE_";
521 if (Name == GOTName)
522 // HACK! Emit extra offset to PC during printing GOT offset to
523 // compensate for the size of popl instruction. The resulting code
524 // should look like:
525 // call .piclabel
526 // piclabel:
527 // popl %some_register
528 // addl $_GLOBAL_ADDRESS_TABLE_ + [.-piclabel], %some_register
529 O << " + [.-"
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000530 << getPICLabelString(getFunctionNumber(), TAI, Subtarget) << ']';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000531
532 if (isCallOp)
533 O << "@PLT";
534 }
535
536 if (needCloseParen)
537 O << ')';
538
539 if (!isCallOp && Subtarget->isPICStyleRIPRel())
540 O << "(%rip)";
541
542 return;
543 }
544 default:
545 O << "<unknown operand type>"; return;
546 }
547}
548
549void X86ATTAsmPrinter::printSSECC(const MachineInstr *MI, unsigned Op) {
Chris Lattnera96056a2007-12-30 20:49:49 +0000550 unsigned char value = MI->getOperand(Op).getImm();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000551 assert(value <= 7 && "Invalid ssecc argument!");
552 switch (value) {
553 case 0: O << "eq"; break;
554 case 1: O << "lt"; break;
555 case 2: O << "le"; break;
556 case 3: O << "unord"; break;
557 case 4: O << "neq"; break;
558 case 5: O << "nlt"; break;
559 case 6: O << "nle"; break;
560 case 7: O << "ord"; break;
561 }
562}
563
564void X86ATTAsmPrinter::printMemReference(const MachineInstr *MI, unsigned Op,
565 const char *Modifier){
566 assert(isMem(MI, Op) && "Invalid memory reference!");
567 MachineOperand BaseReg = MI->getOperand(Op);
568 MachineOperand IndexReg = MI->getOperand(Op+2);
569 const MachineOperand &DispSpec = MI->getOperand(Op+3);
570
571 bool NotRIPRel = IndexReg.getReg() || BaseReg.getReg();
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000572 if (DispSpec.isGlobal() ||
573 DispSpec.isCPI() ||
574 DispSpec.isJTI()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000575 printOperand(MI, Op+3, "mem", NotRIPRel);
576 } else {
Chris Lattnera96056a2007-12-30 20:49:49 +0000577 int DispVal = DispSpec.getImm();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000578 if (DispVal || (!IndexReg.getReg() && !BaseReg.getReg()))
579 O << DispVal;
580 }
581
582 if (IndexReg.getReg() || BaseReg.getReg()) {
Chris Lattnera96056a2007-12-30 20:49:49 +0000583 unsigned ScaleVal = MI->getOperand(Op+1).getImm();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000584 unsigned BaseRegOperand = 0, IndexRegOperand = 2;
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000585
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000586 // There are cases where we can end up with ESP/RSP in the indexreg slot.
587 // If this happens, swap the base/index register to support assemblers that
588 // don't work when the index is *SP.
589 if (IndexReg.getReg() == X86::ESP || IndexReg.getReg() == X86::RSP) {
590 assert(ScaleVal == 1 && "Scale not supported for stack pointer!");
591 std::swap(BaseReg, IndexReg);
592 std::swap(BaseRegOperand, IndexRegOperand);
593 }
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000594
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000595 O << '(';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000596 if (BaseReg.getReg())
597 printOperand(MI, Op+BaseRegOperand, Modifier);
598
599 if (IndexReg.getReg()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000600 O << ',';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000601 printOperand(MI, Op+IndexRegOperand, Modifier);
602 if (ScaleVal != 1)
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000603 O << ',' << ScaleVal;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000604 }
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000605 O << ')';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000606 }
607}
608
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000609void X86ATTAsmPrinter::printPICJumpTableSetLabel(unsigned uid,
Evan Cheng6fb06762007-11-09 01:32:10 +0000610 const MachineBasicBlock *MBB) const {
611 if (!TAI->getSetDirective())
612 return;
Anton Korobeynikov5772c672007-11-14 09:18:41 +0000613
614 // We don't need .set machinery if we have GOT-style relocations
615 if (Subtarget->isPICStyleGOT())
616 return;
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000617
Evan Cheng6fb06762007-11-09 01:32:10 +0000618 O << TAI->getSetDirective() << ' ' << TAI->getPrivateGlobalPrefix()
619 << getFunctionNumber() << '_' << uid << "_set_" << MBB->getNumber() << ',';
Evan Cheng45c1edb2008-02-28 00:43:03 +0000620 printBasicBlockLabel(MBB, false, false, false);
Evan Cheng5da12252007-11-09 19:11:23 +0000621 if (Subtarget->isPICStyleRIPRel())
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000622 O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Evan Cheng5da12252007-11-09 19:11:23 +0000623 << '_' << uid << '\n';
624 else
Evan Cheng0729ccf2008-01-05 00:41:47 +0000625 O << '-' << getPICLabelString(getFunctionNumber(), TAI, Subtarget) << '\n';
Evan Cheng6fb06762007-11-09 01:32:10 +0000626}
627
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000628void X86ATTAsmPrinter::printPICLabel(const MachineInstr *MI, unsigned Op) {
Evan Cheng0729ccf2008-01-05 00:41:47 +0000629 std::string label = getPICLabelString(getFunctionNumber(), TAI, Subtarget);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000630 O << label << '\n' << label << ':';
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000631}
632
633
Anton Korobeynikov5772c672007-11-14 09:18:41 +0000634void X86ATTAsmPrinter::printPICJumpTableEntry(const MachineJumpTableInfo *MJTI,
635 const MachineBasicBlock *MBB,
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000636 unsigned uid) const
637{
Anton Korobeynikov5772c672007-11-14 09:18:41 +0000638 const char *JTEntryDirective = MJTI->getEntrySize() == 4 ?
639 TAI->getData32bitsDirective() : TAI->getData64bitsDirective();
640
641 O << JTEntryDirective << ' ';
642
643 if (TM.getRelocationModel() == Reloc::PIC_) {
644 if (Subtarget->isPICStyleRIPRel() || Subtarget->isPICStyleStub()) {
645 O << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
646 << '_' << uid << "_set_" << MBB->getNumber();
647 } else if (Subtarget->isPICStyleGOT()) {
Evan Cheng45c1edb2008-02-28 00:43:03 +0000648 printBasicBlockLabel(MBB, false, false, false);
Anton Korobeynikov5772c672007-11-14 09:18:41 +0000649 O << "@GOTOFF";
650 } else
651 assert(0 && "Don't know how to print MBB label for this PIC mode");
652 } else
Evan Cheng45c1edb2008-02-28 00:43:03 +0000653 printBasicBlockLabel(MBB, false, false, false);
Anton Korobeynikov5772c672007-11-14 09:18:41 +0000654}
655
Anton Korobeynikov3ab60792008-06-28 11:10:06 +0000656bool X86ATTAsmPrinter::printAsmMRegister(const MachineOperand &MO,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000657 const char Mode) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000658 unsigned Reg = MO.getReg();
659 switch (Mode) {
660 default: return true; // Unknown mode.
661 case 'b': // Print QImode register
662 Reg = getX86SubSuperRegister(Reg, MVT::i8);
663 break;
664 case 'h': // Print QImode high register
665 Reg = getX86SubSuperRegister(Reg, MVT::i8, true);
666 break;
667 case 'w': // Print HImode register
668 Reg = getX86SubSuperRegister(Reg, MVT::i16);
669 break;
670 case 'k': // Print SImode register
671 Reg = getX86SubSuperRegister(Reg, MVT::i32);
672 break;
Chris Lattner1fabfaa2007-10-29 03:09:07 +0000673 case 'q': // Print DImode register
674 Reg = getX86SubSuperRegister(Reg, MVT::i64);
675 break;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000676 }
677
Evan Cheng00d04a72008-07-07 22:21:06 +0000678 O << '%'<< TRI->getAsmName(Reg);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000679 return false;
680}
681
682/// PrintAsmOperand - Print out an operand for an inline asm expression.
683///
Anton Korobeynikov0737ff52008-06-28 11:09:48 +0000684bool X86ATTAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000685 unsigned AsmVariant,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000686 const char *ExtraCode) {
687 // Does this asm operand have a single letter operand modifier?
688 if (ExtraCode && ExtraCode[0]) {
689 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000690
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000691 switch (ExtraCode[0]) {
692 default: return true; // Unknown modifier.
693 case 'c': // Don't print "$" before a global var name or constant.
694 printOperand(MI, OpNo, "mem");
695 return false;
696 case 'b': // Print QImode register
697 case 'h': // Print QImode high register
698 case 'w': // Print HImode register
699 case 'k': // Print SImode register
Chris Lattner1fabfaa2007-10-29 03:09:07 +0000700 case 'q': // Print DImode register
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000701 if (MI->getOperand(OpNo).isReg())
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000702 return printAsmMRegister(MI->getOperand(OpNo), ExtraCode[0]);
703 printOperand(MI, OpNo);
704 return false;
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000705
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000706 case 'P': // Don't print @PLT, but do print as memory.
707 printOperand(MI, OpNo, "mem");
708 return false;
709 }
710 }
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000711
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000712 printOperand(MI, OpNo);
713 return false;
714}
715
Anton Korobeynikov3ab60792008-06-28 11:10:06 +0000716bool X86ATTAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000717 unsigned OpNo,
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000718 unsigned AsmVariant,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000719 const char *ExtraCode) {
Chris Lattner1fabfaa2007-10-29 03:09:07 +0000720 if (ExtraCode && ExtraCode[0]) {
721 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikovd97b85e2008-06-28 11:08:09 +0000722
Chris Lattner1fabfaa2007-10-29 03:09:07 +0000723 switch (ExtraCode[0]) {
724 default: return true; // Unknown modifier.
725 case 'b': // Print QImode register
726 case 'h': // Print QImode high register
727 case 'w': // Print HImode register
728 case 'k': // Print SImode register
729 case 'q': // Print SImode register
730 // These only apply to registers, ignore on mem.
731 break;
Chris Lattnerd1595722009-01-23 22:33:40 +0000732 case 'P': // Don't print @PLT, but do print as memory.
733 printOperand(MI, OpNo, "mem");
734 return false;
Chris Lattner1fabfaa2007-10-29 03:09:07 +0000735 }
736 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000737 printMemReference(MI, OpNo);
738 return false;
739}
740
Bill Wendlingb3b11262009-02-06 21:45:08 +0000741/// printMachineInstruction -- Print out a single X86 LLVM instruction MI in
742/// AT&T syntax to the current output stream.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000743///
744void X86ATTAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
745 ++EmittedInsts;
746
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000747 // Call the autogenerated instruction printer routines.
748 printInstruction(MI);
749}
750
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000751/// doInitialization
752bool X86ATTAsmPrinter::doInitialization(Module &M) {
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000753
Evan Cheng5cda7762008-07-09 06:36:53 +0000754 bool Result = AsmPrinter::doInitialization(M);
755
Dale Johannesen06545922008-07-09 20:55:35 +0000756 if (TAI->doesSupportDebugInformation()) {
757 // Let PassManager know we need debug information and relay
758 // the MachineModuleInfo address on to DwarfWriter.
759 // AsmPrinter::doInitialization did this analysis.
Duncan Sands4e0d6a72009-01-28 13:14:17 +0000760 MMI = getAnalysisIfAvailable<MachineModuleInfo>();
761 DW = getAnalysisIfAvailable<DwarfWriter>();
Devang Patelaa1e8432009-01-08 23:40:34 +0000762 DW->BeginModule(&M, MMI, O, this, TAI);
Dale Johannesen06545922008-07-09 20:55:35 +0000763 }
764
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000765 // Darwin wants symbols to be quoted if they have complex names.
766 if (Subtarget->isTargetDarwin())
767 Mang->setUseQuotes(true);
768
769 return Result;
770}
771
772
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000773void X86ATTAsmPrinter::printModuleLevelGV(const GlobalVariable* GVar) {
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000774 const TargetData *TD = TM.getTargetData();
775
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000776 if (!GVar->hasInitializer())
777 return; // External global require no code
778
779 // Check to see if this is a special global used by LLVM, if so, emit it.
780 if (EmitSpecialLLVMGlobal(GVar)) {
781 if (Subtarget->isTargetDarwin() &&
782 TM.getRelocationModel() == Reloc::Static) {
783 if (GVar->getName() == "llvm.global_ctors")
784 O << ".reference .constructors_used\n";
785 else if (GVar->getName() == "llvm.global_dtors")
786 O << ".reference .destructors_used\n";
787 }
788 return;
789 }
790
791 std::string name = Mang->getValueName(GVar);
792 Constant *C = GVar->getInitializer();
793 const Type *Type = C->getType();
Duncan Sandsd68f13b2009-01-12 20:38:59 +0000794 unsigned Size = TD->getTypePaddedSize(Type);
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000795 unsigned Align = TD->getPreferredAlignmentLog(GVar);
796
Anton Korobeynikov78d69aa2008-08-08 18:25:07 +0000797 printVisibility(name, GVar->getVisibility());
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000798
799 if (Subtarget->isTargetELF())
800 O << "\t.type\t" << name << ",@object\n";
801
Anton Korobeynikov1a9edae2008-09-24 22:14:23 +0000802 SwitchToSection(TAI->SectionForGlobal(GVar));
Anton Korobeynikov7f3fa2c2008-07-09 13:27:16 +0000803
Evan Chengcf84b142009-02-18 02:19:52 +0000804 if (C->isNullValue() && !GVar->hasSection() &&
805 !(Subtarget->isTargetDarwin() &&
806 TAI->SectionKindForGlobal(GVar) == SectionKind::RODataMergeStr)) {
Anton Korobeynikov7f3fa2c2008-07-09 13:27:16 +0000807 // FIXME: This seems to be pretty darwin-specific
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000808 if (GVar->hasExternalLinkage()) {
809 if (const char *Directive = TAI->getZeroFillDirective()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000810 O << "\t.globl " << name << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000811 O << Directive << "__DATA, __common, " << name << ", "
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000812 << Size << ", " << Align << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000813 return;
814 }
815 }
816
817 if (!GVar->isThreadLocal() &&
Duncan Sands19d161f2009-03-07 15:45:40 +0000818 (GVar->hasLocalLinkage() || GVar->isWeakForLinker())) {
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000819 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
Anton Korobeynikov7f3fa2c2008-07-09 13:27:16 +0000820
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000821 if (TAI->getLCOMMDirective() != NULL) {
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000822 if (GVar->hasLocalLinkage()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000823 O << TAI->getLCOMMDirective() << name << ',' << Size;
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000824 if (Subtarget->isTargetDarwin())
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000825 O << ',' << Align;
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000826 } else if (Subtarget->isTargetDarwin() && !GVar->hasCommonLinkage()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000827 O << "\t.globl " << name << '\n'
828 << TAI->getWeakDefDirective() << name << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000829 EmitAlignment(Align, GVar);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000830 O << name << ":\t\t\t\t" << TAI->getCommentString() << ' ';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000831 PrintUnmangledNameSafely(GVar, O);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000832 O << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000833 EmitGlobalConstant(C);
834 return;
835 } else {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000836 O << TAI->getCOMMDirective() << name << ',' << Size;
Anton Korobeynikov16876eb2008-08-08 18:25:52 +0000837 if (TAI->getCOMMDirectiveTakesAlignment())
838 O << ',' << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000839 }
840 } else {
841 if (!Subtarget->isTargetCygMing()) {
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000842 if (GVar->hasLocalLinkage())
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000843 O << "\t.local\t" << name << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000844 }
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000845 O << TAI->getCOMMDirective() << name << ',' << Size;
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000846 if (TAI->getCOMMDirectiveTakesAlignment())
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000847 O << ',' << (TAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000848 }
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000849 O << "\t\t" << TAI->getCommentString() << ' ';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000850 PrintUnmangledNameSafely(GVar, O);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000851 O << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000852 return;
853 }
854 }
855
856 switch (GVar->getLinkage()) {
Duncan Sandsb95df792009-03-11 20:14:15 +0000857 case GlobalValue::CommonLinkage:
Duncan Sands19d161f2009-03-07 15:45:40 +0000858 case GlobalValue::LinkOnceAnyLinkage:
859 case GlobalValue::LinkOnceODRLinkage:
860 case GlobalValue::WeakAnyLinkage:
861 case GlobalValue::WeakODRLinkage:
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000862 if (Subtarget->isTargetDarwin()) {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000863 O << "\t.globl " << name << '\n'
864 << TAI->getWeakDefDirective() << name << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000865 } else if (Subtarget->isTargetCygMing()) {
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000866 O << "\t.globl\t" << name << "\n"
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000867 "\t.linkonce same_size\n";
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000868 } else {
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000869 O << "\t.weak\t" << name << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000870 }
871 break;
Evan Cheng630c5612008-08-08 06:43:59 +0000872 case GlobalValue::DLLExportLinkage:
873 case GlobalValue::AppendingLinkage:
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000874 // FIXME: appending linkage variables should go into a section of
875 // their name or something. For now, just emit them as external.
Evan Cheng630c5612008-08-08 06:43:59 +0000876 case GlobalValue::ExternalLinkage:
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000877 // If external or appending, declare as a global symbol
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000878 O << "\t.globl " << name << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000879 // FALL THROUGH
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000880 case GlobalValue::PrivateLinkage:
Evan Cheng630c5612008-08-08 06:43:59 +0000881 case GlobalValue::InternalLinkage:
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000882 break;
Evan Cheng630c5612008-08-08 06:43:59 +0000883 default:
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000884 assert(0 && "Unknown linkage type!");
885 }
886
887 EmitAlignment(Align, GVar);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000888 O << name << ":\t\t\t\t" << TAI->getCommentString() << ' ';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000889 PrintUnmangledNameSafely(GVar, O);
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000890 O << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000891 if (TAI->hasDotTypeDotSizeDirective())
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000892 O << "\t.size\t" << name << ", " << Size << '\n';
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000893
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000894 EmitGlobalConstant(C);
895}
896
Evan Cheng76443dc2008-07-08 00:55:58 +0000897/// printGVStub - Print stub for a global value.
898///
899void X86ATTAsmPrinter::printGVStub(const char *GV, const char *Prefix) {
Evan Cheng1cd2dc52008-07-08 16:40:43 +0000900 printSuffixedName(GV, "$non_lazy_ptr", Prefix);
Evan Cheng76443dc2008-07-08 00:55:58 +0000901 O << ":\n\t.indirect_symbol ";
902 if (Prefix) O << Prefix;
903 O << GV << "\n\t.long\t0\n";
904}
905
Evan Chenga65854f2008-12-05 01:06:39 +0000906/// printHiddenGVStub - Print stub for a hidden global value.
907///
908void X86ATTAsmPrinter::printHiddenGVStub(const char *GV, const char *Prefix) {
909 EmitAlignment(2);
910 printSuffixedName(GV, "$non_lazy_ptr", Prefix);
911 if (Prefix) O << Prefix;
912 O << ":\n" << TAI->getData32bitsDirective() << GV << '\n';
913}
914
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000915
916bool X86ATTAsmPrinter::doFinalization(Module &M) {
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000917 // Print out module-level global variables here.
918 for (Module::const_global_iterator I = M.global_begin(), E = M.global_end();
Anton Korobeynikov0737ff52008-06-28 11:09:48 +0000919 I != E; ++I) {
Anton Korobeynikovfc3efd82008-06-28 11:09:32 +0000920 printModuleLevelGV(I);
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000921
Anton Korobeynikov0737ff52008-06-28 11:09:48 +0000922 if (I->hasDLLExportLinkage())
923 DLLExportedGVs.insert(Mang->makeNameProper(I->getName(),""));
Anton Korobeynikov480218b2009-02-21 11:53:32 +0000924
925 // If the global is a extern weak symbol, remember to emit the weak
926 // reference!
927 // FIXME: This is rather hacky, since we'll emit references to ALL weak stuff,
928 // not used. But currently it's the only way to deal with extern weak
929 // initializers hidden deep inside constant expressions.
930 if (I->hasExternalWeakLinkage())
931 ExtWeakSymbols.insert(I);
932 }
933
934 for (Module::const_iterator I = M.begin(), E = M.end();
935 I != E; ++I) {
936 // If the global is a extern weak symbol, remember to emit the weak
937 // reference!
938 // FIXME: This is rather hacky, since we'll emit references to ALL weak stuff,
939 // not used. But currently it's the only way to deal with extern weak
940 // initializers hidden deep inside constant expressions.
941 if (I->hasExternalWeakLinkage())
942 ExtWeakSymbols.insert(I);
Anton Korobeynikov0737ff52008-06-28 11:09:48 +0000943 }
944
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000945 // Output linker support code for dllexported globals
Anton Korobeynikov06ac62e2008-06-28 11:08:44 +0000946 if (!DLLExportedGVs.empty())
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000947 SwitchToDataSection(".section .drectve");
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000948
949 for (StringSet<>::iterator i = DLLExportedGVs.begin(),
950 e = DLLExportedGVs.end();
Anton Korobeynikov06ac62e2008-06-28 11:08:44 +0000951 i != e; ++i)
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000952 O << "\t.ascii \" -export:" << i->getKeyData() << ",data\"\n";
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000953
954 if (!DLLExportedFns.empty()) {
955 SwitchToDataSection(".section .drectve");
956 }
957
958 for (StringSet<>::iterator i = DLLExportedFns.begin(),
959 e = DLLExportedFns.end();
Anton Korobeynikov06ac62e2008-06-28 11:08:44 +0000960 i != e; ++i)
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000961 O << "\t.ascii \" -export:" << i->getKeyData() << "\"\n";
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000962
963 if (Subtarget->isTargetDarwin()) {
964 SwitchToDataSection("");
965
966 // Output stubs for dynamically-linked functions
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000967 for (StringSet<>::iterator i = FnStubs.begin(), e = FnStubs.end();
Evan Chenga65854f2008-12-05 01:06:39 +0000968 i != e; ++i) {
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000969 SwitchToDataSection("\t.section __IMPORT,__jump_table,symbol_stubs,"
970 "self_modifying_code+pure_instructions,5", 0);
Evan Cheng76443dc2008-07-08 00:55:58 +0000971 const char *p = i->getKeyData();
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000972 printSuffixedName(p, "$stub");
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000973 O << ":\n"
974 "\t.indirect_symbol " << p << "\n"
975 "\thlt ; hlt ; hlt ; hlt ; hlt\n";
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000976 }
977
Dan Gohman12ebe3f2008-06-30 22:03:41 +0000978 O << '\n';
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000979
Evan Cheng76443dc2008-07-08 00:55:58 +0000980 // Print global value stubs.
981 bool InStubSection = false;
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000982 if (TAI->doesSupportExceptionHandling() && MMI && !Subtarget->is64Bit()) {
983 // Add the (possibly multiple) personalities to the set of global values.
984 // Only referenced functions get into the Personalities list.
985 const std::vector<Function *>& Personalities = MMI->getPersonalities();
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000986 for (std::vector<Function *>::const_iterator I = Personalities.begin(),
Evan Cheng76443dc2008-07-08 00:55:58 +0000987 E = Personalities.end(); I != E; ++I) {
988 if (!*I)
989 continue;
990 if (!InStubSection) {
991 SwitchToDataSection(
992 "\t.section __IMPORT,__pointers,non_lazy_symbol_pointers");
993 InStubSection = true;
994 }
995 printGVStub((*I)->getNameStart(), "_");
996 }
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +0000997 }
998
999 // Output stubs for external and common global variables.
Evan Cheng76443dc2008-07-08 00:55:58 +00001000 if (!InStubSection && !GVStubs.empty())
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +00001001 SwitchToDataSection(
1002 "\t.section __IMPORT,__pointers,non_lazy_symbol_pointers");
1003 for (StringSet<>::iterator i = GVStubs.begin(), e = GVStubs.end();
Evan Cheng76443dc2008-07-08 00:55:58 +00001004 i != e; ++i)
1005 printGVStub(i->getKeyData());
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +00001006
Evan Chenga65854f2008-12-05 01:06:39 +00001007 if (!HiddenGVStubs.empty()) {
1008 SwitchToSection(TAI->getDataSection());
1009 for (StringSet<>::iterator i = HiddenGVStubs.begin(), e = HiddenGVStubs.end();
1010 i != e; ++i)
1011 printHiddenGVStub(i->getKeyData());
1012 }
1013
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +00001014 // Emit final debug information.
Duncan Sands4e0d6a72009-01-28 13:14:17 +00001015 DwarfWriter *DW = getAnalysisIfAvailable<DwarfWriter>();
Devang Patelaa1e8432009-01-08 23:40:34 +00001016 DW->EndModule();
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +00001017
1018 // Funny Darwin hack: This flag tells the linker that no global symbols
1019 // contain code that falls through to other global symbols (e.g. the obvious
1020 // implementation of multiple entry points). If this doesn't occur, the
1021 // linker can safely perform dead code stripping. Since LLVM never
1022 // generates code that does this, it is always safe to set.
1023 O << "\t.subsections_via_symbols\n";
1024 } else if (Subtarget->isTargetCygMing()) {
1025 // Emit type information for external functions
1026 for (StringSet<>::iterator i = FnStubs.begin(), e = FnStubs.end();
1027 i != e; ++i) {
1028 O << "\t.def\t " << i->getKeyData()
1029 << ";\t.scl\t" << COFF::C_EXT
1030 << ";\t.type\t" << (COFF::DT_FCN << COFF::N_BTSHFT)
1031 << ";\t.endef\n";
1032 }
1033
1034 // Emit final debug information.
Duncan Sands4e0d6a72009-01-28 13:14:17 +00001035 DwarfWriter *DW = getAnalysisIfAvailable<DwarfWriter>();
Devang Patelaa1e8432009-01-08 23:40:34 +00001036 DW->EndModule();
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +00001037 } else if (Subtarget->isTargetELF()) {
1038 // Emit final debug information.
Duncan Sands4e0d6a72009-01-28 13:14:17 +00001039 DwarfWriter *DW = getAnalysisIfAvailable<DwarfWriter>();
Devang Patelaa1e8432009-01-08 23:40:34 +00001040 DW->EndModule();
Anton Korobeynikovab6c6a42008-06-28 11:08:27 +00001041 }
1042
1043 return AsmPrinter::doFinalization(M);
1044}
1045
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001046// Include the auto-generated portion of the assembly writer.
1047#include "X86GenAsmWriter.inc"