blob: cb3833c29702fd6209f61c45f7c2217109e202ab [file] [log] [blame]
Chris Lattner5159bbaf2009-09-20 07:41:30 +00001//===-- X86AsmPrinter.cpp - Convert X86 LLVM code to AT&T assembly --------===//
Misha Brukmanc88330a2005-04-21 23:38:14 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanc88330a2005-04-21 23:38:14 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnerd92fb002002-10-25 22:55:53 +00009//
Chris Lattner5159bbaf2009-09-20 07:41:30 +000010// This file contains a printer that converts from our internal representation
Chris Lattner94a946c2010-01-28 01:02:27 +000011// of machine-dependent LLVM code to X86 machine code.
Chris Lattnerd92fb002002-10-25 22:55:53 +000012//
13//===----------------------------------------------------------------------===//
14
Chris Lattner5159bbaf2009-09-20 07:41:30 +000015#include "X86AsmPrinter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "InstPrinter/X86ATTInstPrinter.h"
Chris Lattner5159bbaf2009-09-20 07:41:30 +000017#include "X86.h"
Chris Lattner5159bbaf2009-09-20 07:41:30 +000018#include "X86COFFMachineModuleInfo.h"
19#include "X86MachineFunctionInfo.h"
20#include "X86TargetMachine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/ADT/SmallString.h"
22#include "llvm/Assembly/Writer.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000023#include "llvm/CodeGen/MachineJumpTableInfo.h"
24#include "llvm/CodeGen/MachineModuleInfoImpls.h"
25#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Bill Wendlinge38859d2012-06-28 00:05:13 +000026#include "llvm/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000027#include "llvm/IR/CallingConv.h"
28#include "llvm/IR/DerivedTypes.h"
29#include "llvm/IR/Module.h"
30#include "llvm/IR/Type.h"
Bill Wendlingf1eae222010-03-09 00:40:17 +000031#include "llvm/MC/MCAsmInfo.h"
Chris Lattner5159bbaf2009-09-20 07:41:30 +000032#include "llvm/MC/MCContext.h"
Chris Lattner3bcbdb82010-02-03 06:42:38 +000033#include "llvm/MC/MCExpr.h"
Chris Lattner5159bbaf2009-09-20 07:41:30 +000034#include "llvm/MC/MCSectionMachO.h"
35#include "llvm/MC/MCStreamer.h"
36#include "llvm/MC/MCSymbol.h"
Chris Lattner25485802010-07-14 18:14:33 +000037#include "llvm/Support/COFF.h"
Devang Patel2bf0f3c2010-08-04 18:06:05 +000038#include "llvm/Support/Debug.h"
Chris Lattner5159bbaf2009-09-20 07:41:30 +000039#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000040#include "llvm/Support/TargetRegistry.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000041#include "llvm/Target/Mangler.h"
42#include "llvm/Target/TargetOptions.h"
Chris Lattner5159bbaf2009-09-20 07:41:30 +000043using namespace llvm;
44
Chris Lattner5159bbaf2009-09-20 07:41:30 +000045//===----------------------------------------------------------------------===//
46// Primitive Helper Functions.
47//===----------------------------------------------------------------------===//
48
Chris Lattner94a946c2010-01-28 01:02:27 +000049/// runOnMachineFunction - Emit the function body.
Chris Lattner5159bbaf2009-09-20 07:41:30 +000050///
51bool X86AsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +000052 SetupMachineFunction(MF);
Chris Lattner5159bbaf2009-09-20 07:41:30 +000053
Evan Chengd22a4a12011-02-01 01:14:13 +000054 if (Subtarget->isTargetCOFF() && !Subtarget->isTargetEnvMacho()) {
Chris Lattner72afa952010-05-08 19:54:22 +000055 bool Intrn = MF.getFunction()->hasInternalLinkage();
56 OutStreamer.BeginCOFFSymbolDef(CurrentFnSym);
Jim Grosbach95ede4d2010-09-15 01:01:45 +000057 OutStreamer.EmitCOFFSymbolStorageClass(Intrn ? COFF::IMAGE_SYM_CLASS_STATIC
Chris Lattner25485802010-07-14 18:14:33 +000058 : COFF::IMAGE_SYM_CLASS_EXTERNAL);
59 OutStreamer.EmitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_FUNCTION
60 << COFF::SCT_COMPLEX_TYPE_SHIFT);
Chris Lattner72afa952010-05-08 19:54:22 +000061 OutStreamer.EndCOFFSymbolDef();
Chris Lattnerc7b91152010-01-26 23:18:44 +000062 }
Anton Korobeynikovc9276df2010-02-12 15:28:40 +000063
Chris Lattnerc7b91152010-01-26 23:18:44 +000064 // Have common code print out the function header with linkage info etc.
65 EmitFunctionHeader();
Anton Korobeynikovc9276df2010-02-12 15:28:40 +000066
Chris Lattner94a946c2010-01-28 01:02:27 +000067 // Emit the rest of the function body.
68 EmitFunctionBody();
Chris Lattner5159bbaf2009-09-20 07:41:30 +000069
70 // We didn't modify anything.
71 return false;
72}
73
74/// printSymbolOperand - Print a raw symbol reference operand. This handles
75/// jump tables, constant pools, global address and external symbols, all of
76/// which print to a label with various suffixes for relocation types etc.
Rafael Espindola7caa1352013-11-27 07:14:26 +000077static void printSymbolOperand(X86AsmPrinter &P, const MachineOperand &MO,
78 raw_ostream &O) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +000079 switch (MO.getType()) {
80 default: llvm_unreachable("unknown symbol type!");
81 case MachineOperand::MO_JumpTableIndex:
Rafael Espindola7caa1352013-11-27 07:14:26 +000082 O << *P.GetJTISymbol(MO.getIndex());
Chris Lattner5159bbaf2009-09-20 07:41:30 +000083 break;
84 case MachineOperand::MO_ConstantPoolIndex:
Rafael Espindola7caa1352013-11-27 07:14:26 +000085 O << *P.GetCPISymbol(MO.getIndex());
86 P.printOffset(MO.getOffset(), O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +000087 break;
88 case MachineOperand::MO_GlobalAddress: {
89 const GlobalValue *GV = MO.getGlobal();
Jim Grosbach95ede4d2010-09-15 01:01:45 +000090
Chris Lattner8c21ffd2010-01-18 00:59:24 +000091 MCSymbol *GVSym;
Chris Lattner5159bbaf2009-09-20 07:41:30 +000092 if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB)
Rafael Espindola7caa1352013-11-27 07:14:26 +000093 GVSym = P.GetSymbolWithGlobalValueBase(GV, "$stub");
Chris Lattner5159bbaf2009-09-20 07:41:30 +000094 else if (MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY ||
95 MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY_PIC_BASE ||
96 MO.getTargetFlags() == X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE)
Rafael Espindola7caa1352013-11-27 07:14:26 +000097 GVSym = P.GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Chris Lattnere6b1bef2010-01-16 00:51:39 +000098 else
Rafael Espindola7caa1352013-11-27 07:14:26 +000099 GVSym = P.getSymbol(GV);
Chris Lattnere6b1bef2010-01-16 00:51:39 +0000100
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000101 // Handle dllimport linkage.
102 if (MO.getTargetFlags() == X86II::MO_DLLIMPORT)
Rafael Espindola7caa1352013-11-27 07:14:26 +0000103 GVSym =
104 P.OutContext.GetOrCreateSymbol(Twine("__imp_") + GVSym->getName());
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000105
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000106 if (MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY ||
107 MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY_PIC_BASE) {
Rafael Espindola7caa1352013-11-27 07:14:26 +0000108 MCSymbol *Sym = P.GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000109 MachineModuleInfoImpl::StubValueTy &StubSym =
Rafael Espindola7caa1352013-11-27 07:14:26 +0000110 P.MMI->getObjFileInfo<MachineModuleInfoMachO>().getGVStubEntry(Sym);
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000111 if (StubSym.getPointer() == 0)
112 StubSym = MachineModuleInfoImpl::
Rafael Espindola7caa1352013-11-27 07:14:26 +0000113 StubValueTy(P.getSymbol(GV), !GV->hasInternalLinkage());
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000114 } else if (MO.getTargetFlags() == X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE){
Rafael Espindola7caa1352013-11-27 07:14:26 +0000115 MCSymbol *Sym = P.GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000116 MachineModuleInfoImpl::StubValueTy &StubSym =
Rafael Espindola7caa1352013-11-27 07:14:26 +0000117 P.MMI->getObjFileInfo<MachineModuleInfoMachO>().getHiddenGVStubEntry(
118 Sym);
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000119 if (StubSym.getPointer() == 0)
120 StubSym = MachineModuleInfoImpl::
Rafael Espindola7caa1352013-11-27 07:14:26 +0000121 StubValueTy(P.getSymbol(GV), !GV->hasInternalLinkage());
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000122 } else if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB) {
Rafael Espindola7caa1352013-11-27 07:14:26 +0000123 MCSymbol *Sym = P.GetSymbolWithGlobalValueBase(GV, "$stub");
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000124 MachineModuleInfoImpl::StubValueTy &StubSym =
Rafael Espindola7caa1352013-11-27 07:14:26 +0000125 P.MMI->getObjFileInfo<MachineModuleInfoMachO>().getFnStubEntry(Sym);
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000126 if (StubSym.getPointer() == 0)
127 StubSym = MachineModuleInfoImpl::
Rafael Espindola7caa1352013-11-27 07:14:26 +0000128 StubValueTy(P.getSymbol(GV), !GV->hasInternalLinkage());
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000129 }
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000130
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000131 // If the name begins with a dollar-sign, enclose it in parens. We do this
132 // to avoid having it look like an integer immediate to the assembler.
Chris Lattnere6b1bef2010-01-16 00:51:39 +0000133 if (GVSym->getName()[0] != '$')
Chris Lattner8b5d55e2010-01-17 21:43:43 +0000134 O << *GVSym;
135 else
136 O << '(' << *GVSym << ')';
Rafael Espindola7caa1352013-11-27 07:14:26 +0000137 P.printOffset(MO.getOffset(), O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000138 break;
139 }
140 case MachineOperand::MO_ExternalSymbol: {
Chris Lattnerf0a401f2010-01-13 07:56:59 +0000141 const MCSymbol *SymToPrint;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000142 if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB) {
Chris Lattner8a38fc32010-01-16 01:00:27 +0000143 SmallString<128> TempNameStr;
144 TempNameStr += StringRef(MO.getSymbolName());
145 TempNameStr += StringRef("$stub");
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000146
Rafael Espindola7caa1352013-11-27 07:14:26 +0000147 MCSymbol *Sym = P.GetExternalSymbolSymbol(TempNameStr.str());
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000148 MachineModuleInfoImpl::StubValueTy &StubSym =
Rafael Espindola7caa1352013-11-27 07:14:26 +0000149 P.MMI->getObjFileInfo<MachineModuleInfoMachO>().getFnStubEntry(Sym);
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000150 if (StubSym.getPointer() == 0) {
Chris Lattner209aeca2010-01-13 06:38:18 +0000151 TempNameStr.erase(TempNameStr.end()-5, TempNameStr.end());
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000152 StubSym = MachineModuleInfoImpl::
Rafael Espindola7caa1352013-11-27 07:14:26 +0000153 StubValueTy(P.OutContext.GetOrCreateSymbol(TempNameStr.str()),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000154 true);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000155 }
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000156 SymToPrint = StubSym.getPointer();
Chris Lattnerf0a401f2010-01-13 07:56:59 +0000157 } else {
Rafael Espindola7caa1352013-11-27 07:14:26 +0000158 SymToPrint = P.GetExternalSymbolSymbol(MO.getSymbolName());
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000159 }
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000160
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000161 // If the name begins with a dollar-sign, enclose it in parens. We do this
162 // to avoid having it look like an integer immediate to the assembler.
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000163 if (SymToPrint->getName()[0] != '$')
Chris Lattner8b5d55e2010-01-17 21:43:43 +0000164 O << *SymToPrint;
165 else
166 O << '(' << *SymToPrint << '(';
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000167 break;
168 }
169 }
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000170
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000171 switch (MO.getTargetFlags()) {
172 default:
173 llvm_unreachable("Unknown target flag on GV operand");
174 case X86II::MO_NO_FLAG: // No flag.
175 break;
176 case X86II::MO_DARWIN_NONLAZY:
177 case X86II::MO_DLLIMPORT:
178 case X86II::MO_DARWIN_STUB:
179 // These affect the name of the symbol, not any suffix.
180 break;
181 case X86II::MO_GOT_ABSOLUTE_ADDRESS:
Rafael Espindola7caa1352013-11-27 07:14:26 +0000182 O << " + [.-" << *P.MF->getPICBaseSymbol() << ']';
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000183 break;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000184 case X86II::MO_PIC_BASE_OFFSET:
185 case X86II::MO_DARWIN_NONLAZY_PIC_BASE:
186 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE:
Rafael Espindola7caa1352013-11-27 07:14:26 +0000187 O << '-' << *P.MF->getPICBaseSymbol();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000188 break;
189 case X86II::MO_TLSGD: O << "@TLSGD"; break;
Hans Wennborg789acfb2012-06-01 16:27:21 +0000190 case X86II::MO_TLSLD: O << "@TLSLD"; break;
191 case X86II::MO_TLSLDM: O << "@TLSLDM"; break;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000192 case X86II::MO_GOTTPOFF: O << "@GOTTPOFF"; break;
193 case X86II::MO_INDNTPOFF: O << "@INDNTPOFF"; break;
194 case X86II::MO_TPOFF: O << "@TPOFF"; break;
Hans Wennborg789acfb2012-06-01 16:27:21 +0000195 case X86II::MO_DTPOFF: O << "@DTPOFF"; break;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000196 case X86II::MO_NTPOFF: O << "@NTPOFF"; break;
Hans Wennborgf9d0e442012-05-11 10:11:01 +0000197 case X86II::MO_GOTNTPOFF: O << "@GOTNTPOFF"; break;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000198 case X86II::MO_GOTPCREL: O << "@GOTPCREL"; break;
199 case X86II::MO_GOT: O << "@GOT"; break;
200 case X86II::MO_GOTOFF: O << "@GOTOFF"; break;
201 case X86II::MO_PLT: O << "@PLT"; break;
Eric Christopherb0e1a452010-06-03 04:07:48 +0000202 case X86II::MO_TLVP: O << "@TLVP"; break;
203 case X86II::MO_TLVP_PIC_BASE:
Rafael Espindola7caa1352013-11-27 07:14:26 +0000204 O << "@TLVP" << '-' << *P.MF->getPICBaseSymbol();
Eric Christopherb0e1a452010-06-03 04:07:48 +0000205 break;
Benjamin Kramer9c9e0a22013-03-30 16:21:50 +0000206 case X86II::MO_SECREL: O << "@SECREL32"; break;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000207 }
208}
209
Rafael Espindola7caa1352013-11-27 07:14:26 +0000210static void printOperand(X86AsmPrinter &P, const MachineInstr *MI,
211 unsigned OpNo, raw_ostream &O,
212 const char *Modifier = 0, unsigned AsmVariant = 0);
213
Chad Rosier38e05a92012-09-10 22:50:57 +0000214/// printPCRelImm - This is used to print an immediate value that ends up
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000215/// being encoded as a pc-relative value. These print slightly differently, for
216/// example, a $ is not emitted.
Rafael Espindola7caa1352013-11-27 07:14:26 +0000217static void printPCRelImm(X86AsmPrinter &P, const MachineInstr *MI,
218 unsigned OpNo, raw_ostream &O) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000219 const MachineOperand &MO = MI->getOperand(OpNo);
220 switch (MO.getType()) {
221 default: llvm_unreachable("Unknown pcrel immediate operand");
Dale Johannesenda3e05db2010-07-16 18:35:46 +0000222 case MachineOperand::MO_Register:
223 // pc-relativeness was handled when computing the value in the reg.
Rafael Espindola7caa1352013-11-27 07:14:26 +0000224 printOperand(P, MI, OpNo, O);
Dale Johannesenda3e05db2010-07-16 18:35:46 +0000225 return;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000226 case MachineOperand::MO_Immediate:
227 O << MO.getImm();
228 return;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000229 case MachineOperand::MO_GlobalAddress:
Rafael Espindola7caa1352013-11-27 07:14:26 +0000230 printSymbolOperand(P, MO, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000231 return;
232 }
233}
234
Rafael Espindola7caa1352013-11-27 07:14:26 +0000235static void printOperand(X86AsmPrinter &P, const MachineInstr *MI,
236 unsigned OpNo, raw_ostream &O, const char *Modifier,
237 unsigned AsmVariant) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000238 const MachineOperand &MO = MI->getOperand(OpNo);
239 switch (MO.getType()) {
240 default: llvm_unreachable("unknown operand type!");
241 case MachineOperand::MO_Register: {
Chad Rosierdb20a412012-09-10 21:10:49 +0000242 // FIXME: Enumerating AsmVariant, so we can remove magic number.
243 if (AsmVariant == 0) O << '%';
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000244 unsigned Reg = MO.getReg();
245 if (Modifier && strncmp(Modifier, "subreg", strlen("subreg")) == 0) {
Craig Topper4f1c8ca2012-09-30 19:49:56 +0000246 MVT::SimpleValueType VT = (strcmp(Modifier+6,"64") == 0) ?
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000247 MVT::i64 : ((strcmp(Modifier+6, "32") == 0) ? MVT::i32 :
248 ((strcmp(Modifier+6,"16") == 0) ? MVT::i16 : MVT::i8));
249 Reg = getX86SubSuperRegister(Reg, VT);
250 }
251 O << X86ATTInstPrinter::getRegisterName(Reg);
252 return;
253 }
254
255 case MachineOperand::MO_Immediate:
Chad Rosier282edd72013-02-13 21:33:44 +0000256 if (AsmVariant == 0) O << '$';
257 O << MO.getImm();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000258 return;
259
Rafael Espindolac5c7bb62013-11-27 15:13:06 +0000260 case MachineOperand::MO_GlobalAddress: {
Chad Rosier282edd72013-02-13 21:33:44 +0000261 if (AsmVariant == 0) O << '$';
Rafael Espindola7caa1352013-11-27 07:14:26 +0000262 printSymbolOperand(P, MO, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000263 break;
264 }
265 }
266}
267
Rafael Espindolae3701472013-11-27 07:34:09 +0000268static void printLeaMemReference(X86AsmPrinter &P, const MachineInstr *MI,
269 unsigned Op, raw_ostream &O,
270 const char *Modifier = NULL) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000271 const MachineOperand &BaseReg = MI->getOperand(Op);
272 const MachineOperand &IndexReg = MI->getOperand(Op+2);
273 const MachineOperand &DispSpec = MI->getOperand(Op+3);
274
275 // If we really don't want to print out (rip), don't.
276 bool HasBaseReg = BaseReg.getReg() != 0;
277 if (HasBaseReg && Modifier && !strcmp(Modifier, "no-rip") &&
278 BaseReg.getReg() == X86::RIP)
279 HasBaseReg = false;
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000280
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000281 // HasParenPart - True if we will print out the () part of the mem ref.
282 bool HasParenPart = IndexReg.getReg() || HasBaseReg;
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000283
Rafael Espindolaed20f472013-11-27 18:18:24 +0000284 switch (DispSpec.getType()) {
285 default:
286 llvm_unreachable("unknown operand type!");
287 case MachineOperand::MO_Immediate: {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000288 int DispVal = DispSpec.getImm();
289 if (DispVal || !HasParenPart)
290 O << DispVal;
Rafael Espindolaed20f472013-11-27 18:18:24 +0000291 break;
292 }
293 case MachineOperand::MO_GlobalAddress:
294 case MachineOperand::MO_ConstantPoolIndex:
295 case MachineOperand::MO_JumpTableIndex:
296 case MachineOperand::MO_ExternalSymbol:
297 printSymbolOperand(P, MI->getOperand(Op + 3), O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000298 }
299
Rafael Espindolad606e542011-01-01 20:58:46 +0000300 if (Modifier && strcmp(Modifier, "H") == 0)
301 O << "+8";
302
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000303 if (HasParenPart) {
304 assert(IndexReg.getReg() != X86::ESP &&
305 "X86 doesn't allow scaling by ESP");
306
307 O << '(';
308 if (HasBaseReg)
Rafael Espindolae3701472013-11-27 07:34:09 +0000309 printOperand(P, MI, Op, O, Modifier);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000310
311 if (IndexReg.getReg()) {
312 O << ',';
Rafael Espindolae3701472013-11-27 07:34:09 +0000313 printOperand(P, MI, Op+2, O, Modifier);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000314 unsigned ScaleVal = MI->getOperand(Op+1).getImm();
315 if (ScaleVal != 1)
316 O << ',' << ScaleVal;
317 }
318 O << ')';
319 }
320}
321
Rafael Espindolae3701472013-11-27 07:34:09 +0000322static void printMemReference(X86AsmPrinter &P, const MachineInstr *MI,
323 unsigned Op, raw_ostream &O,
324 const char *Modifier = NULL) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000325 assert(isMem(MI, Op) && "Invalid memory reference!");
326 const MachineOperand &Segment = MI->getOperand(Op+4);
327 if (Segment.getReg()) {
Rafael Espindolae3701472013-11-27 07:34:09 +0000328 printOperand(P, MI, Op+4, O, Modifier);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000329 O << ':';
330 }
Rafael Espindolae3701472013-11-27 07:34:09 +0000331 printLeaMemReference(P, MI, Op, O, Modifier);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000332}
333
Rafael Espindolae3701472013-11-27 07:34:09 +0000334static void printIntelMemReference(X86AsmPrinter &P, const MachineInstr *MI,
335 unsigned Op, raw_ostream &O,
336 const char *Modifier = NULL,
337 unsigned AsmVariant = 1) {
Chad Rosier271623f2012-10-03 22:06:44 +0000338 const MachineOperand &BaseReg = MI->getOperand(Op);
339 unsigned ScaleVal = MI->getOperand(Op+1).getImm();
340 const MachineOperand &IndexReg = MI->getOperand(Op+2);
341 const MachineOperand &DispSpec = MI->getOperand(Op+3);
342 const MachineOperand &SegReg = MI->getOperand(Op+4);
Andrew Trickd4d1d9c2013-10-31 17:18:07 +0000343
Chad Rosier271623f2012-10-03 22:06:44 +0000344 // If this has a segment register, print it.
345 if (SegReg.getReg()) {
Rafael Espindolae3701472013-11-27 07:34:09 +0000346 printOperand(P, MI, Op+4, O, Modifier, AsmVariant);
Chad Rosier271623f2012-10-03 22:06:44 +0000347 O << ':';
348 }
Andrew Trickd4d1d9c2013-10-31 17:18:07 +0000349
Chad Rosier271623f2012-10-03 22:06:44 +0000350 O << '[';
Andrew Trickd4d1d9c2013-10-31 17:18:07 +0000351
Chad Rosier271623f2012-10-03 22:06:44 +0000352 bool NeedPlus = false;
353 if (BaseReg.getReg()) {
Rafael Espindolae3701472013-11-27 07:34:09 +0000354 printOperand(P, MI, Op, O, Modifier, AsmVariant);
Chad Rosier271623f2012-10-03 22:06:44 +0000355 NeedPlus = true;
356 }
Andrew Trickd4d1d9c2013-10-31 17:18:07 +0000357
Chad Rosier271623f2012-10-03 22:06:44 +0000358 if (IndexReg.getReg()) {
359 if (NeedPlus) O << " + ";
360 if (ScaleVal != 1)
361 O << ScaleVal << '*';
Rafael Espindolae3701472013-11-27 07:34:09 +0000362 printOperand(P, MI, Op+2, O, Modifier, AsmVariant);
Chad Rosier271623f2012-10-03 22:06:44 +0000363 NeedPlus = true;
364 }
365
Chad Rosier282edd72013-02-13 21:33:44 +0000366 if (!DispSpec.isImm()) {
367 if (NeedPlus) O << " + ";
Rafael Espindolae3701472013-11-27 07:34:09 +0000368 printOperand(P, MI, Op+3, O, Modifier, AsmVariant);
Chad Rosier282edd72013-02-13 21:33:44 +0000369 } else {
370 int64_t DispVal = DispSpec.getImm();
371 if (DispVal || (!IndexReg.getReg() && !BaseReg.getReg())) {
372 if (NeedPlus) {
373 if (DispVal > 0)
374 O << " + ";
375 else {
376 O << " - ";
377 DispVal = -DispVal;
378 }
Chad Rosier271623f2012-10-03 22:06:44 +0000379 }
Chad Rosier282edd72013-02-13 21:33:44 +0000380 O << DispVal;
Chad Rosier271623f2012-10-03 22:06:44 +0000381 }
Chad Rosier282edd72013-02-13 21:33:44 +0000382 }
Chad Rosier271623f2012-10-03 22:06:44 +0000383 O << ']';
384}
385
Rafael Espindolae3701472013-11-27 07:34:09 +0000386static bool printAsmMRegister(X86AsmPrinter &P, const MachineOperand &MO,
387 char Mode, raw_ostream &O) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000388 unsigned Reg = MO.getReg();
389 switch (Mode) {
390 default: return true; // Unknown mode.
391 case 'b': // Print QImode register
392 Reg = getX86SubSuperRegister(Reg, MVT::i8);
393 break;
394 case 'h': // Print QImode high register
395 Reg = getX86SubSuperRegister(Reg, MVT::i8, true);
396 break;
397 case 'w': // Print HImode register
398 Reg = getX86SubSuperRegister(Reg, MVT::i16);
399 break;
400 case 'k': // Print SImode register
401 Reg = getX86SubSuperRegister(Reg, MVT::i32);
402 break;
403 case 'q': // Print DImode register
Eric Christophera01c9542013-11-12 21:47:44 +0000404 // FIXME: gcc will actually print e instead of r for 32-bit.
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000405 Reg = getX86SubSuperRegister(Reg, MVT::i64);
406 break;
407 }
408
409 O << '%' << X86ATTInstPrinter::getRegisterName(Reg);
410 return false;
411}
412
413/// PrintAsmOperand - Print out an operand for an inline asm expression.
414///
415bool X86AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
416 unsigned AsmVariant,
Chris Lattner3bb09762010-04-04 05:29:35 +0000417 const char *ExtraCode, raw_ostream &O) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000418 // Does this asm operand have a single letter operand modifier?
419 if (ExtraCode && ExtraCode[0]) {
420 if (ExtraCode[1] != 0) return true; // Unknown modifier.
421
422 const MachineOperand &MO = MI->getOperand(OpNo);
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000423
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000424 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000425 default:
426 // See if this is a generic print operand
427 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000428 case 'a': // This is an address. Currently only 'i' and 'r' are expected.
429 if (MO.isImm()) {
430 O << MO.getImm();
431 return false;
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000432 }
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000433 if (MO.isGlobal() || MO.isCPI() || MO.isJTI() || MO.isSymbol()) {
Rafael Espindola7caa1352013-11-27 07:14:26 +0000434 printSymbolOperand(*this, MO, O);
Dale Johannesence656632010-07-06 23:27:00 +0000435 if (Subtarget->isPICStyleRIPRel())
436 O << "(%rip)";
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000437 return false;
438 }
439 if (MO.isReg()) {
440 O << '(';
Rafael Espindola7caa1352013-11-27 07:14:26 +0000441 printOperand(*this, MI, OpNo, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000442 O << ')';
443 return false;
444 }
445 return true;
446
447 case 'c': // Don't print "$" before a global var name or constant.
448 if (MO.isImm())
449 O << MO.getImm();
450 else if (MO.isGlobal() || MO.isCPI() || MO.isJTI() || MO.isSymbol())
Rafael Espindola7caa1352013-11-27 07:14:26 +0000451 printSymbolOperand(*this, MO, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000452 else
Rafael Espindola7caa1352013-11-27 07:14:26 +0000453 printOperand(*this, MI, OpNo, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000454 return false;
455
456 case 'A': // Print '*' before a register (it must be a register)
457 if (MO.isReg()) {
458 O << '*';
Rafael Espindola7caa1352013-11-27 07:14:26 +0000459 printOperand(*this, MI, OpNo, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000460 return false;
461 }
462 return true;
463
464 case 'b': // Print QImode register
465 case 'h': // Print QImode high register
466 case 'w': // Print HImode register
467 case 'k': // Print SImode register
468 case 'q': // Print DImode register
469 if (MO.isReg())
Rafael Espindolae3701472013-11-27 07:34:09 +0000470 return printAsmMRegister(*this, MO, ExtraCode[0], O);
Rafael Espindola7caa1352013-11-27 07:14:26 +0000471 printOperand(*this, MI, OpNo, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000472 return false;
473
474 case 'P': // This is the operand of a call, treat specially.
Rafael Espindola7caa1352013-11-27 07:14:26 +0000475 printPCRelImm(*this, MI, OpNo, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000476 return false;
477
478 case 'n': // Negate the immediate or print a '-' before the operand.
479 // Note: this is a temporary solution. It should be handled target
480 // independently as part of the 'MC' work.
481 if (MO.isImm()) {
482 O << -MO.getImm();
483 return false;
484 }
485 O << '-';
486 }
487 }
488
Rafael Espindola7caa1352013-11-27 07:14:26 +0000489 printOperand(*this, MI, OpNo, O, /*Modifier*/ 0, AsmVariant);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000490 return false;
491}
492
493bool X86AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
494 unsigned OpNo, unsigned AsmVariant,
Chris Lattner3bb09762010-04-04 05:29:35 +0000495 const char *ExtraCode,
496 raw_ostream &O) {
Chad Rosier271623f2012-10-03 22:06:44 +0000497 if (AsmVariant) {
Rafael Espindolae3701472013-11-27 07:34:09 +0000498 printIntelMemReference(*this, MI, OpNo, O);
Chad Rosier271623f2012-10-03 22:06:44 +0000499 return false;
500 }
501
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000502 if (ExtraCode && ExtraCode[0]) {
503 if (ExtraCode[1] != 0) return true; // Unknown modifier.
504
505 switch (ExtraCode[0]) {
506 default: return true; // Unknown modifier.
507 case 'b': // Print QImode register
508 case 'h': // Print QImode high register
509 case 'w': // Print HImode register
510 case 'k': // Print SImode register
511 case 'q': // Print SImode register
512 // These only apply to registers, ignore on mem.
513 break;
Rafael Espindolad606e542011-01-01 20:58:46 +0000514 case 'H':
Rafael Espindolae3701472013-11-27 07:34:09 +0000515 printMemReference(*this, MI, OpNo, O, "H");
Rafael Espindolad606e542011-01-01 20:58:46 +0000516 return false;
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000517 case 'P': // Don't print @PLT, but do print as memory.
Rafael Espindolae3701472013-11-27 07:34:09 +0000518 printMemReference(*this, MI, OpNo, O, "no-rip");
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000519 return false;
520 }
521 }
Rafael Espindolae3701472013-11-27 07:34:09 +0000522 printMemReference(*this, MI, OpNo, O);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000523 return false;
524}
525
Chris Lattner81fe45d2010-03-13 02:10:00 +0000526void X86AsmPrinter::EmitStartOfAsmFile(Module &M) {
Evan Chengd22a4a12011-02-01 01:14:13 +0000527 if (Subtarget->isTargetEnvMacho())
Chris Lattner81fe45d2010-03-13 02:10:00 +0000528 OutStreamer.SwitchSection(getObjFileLowering().getTextSection());
Reid Klecknerc1e76212013-09-17 23:18:05 +0000529
Hans Wennborg7ddcdc82013-10-18 02:14:40 +0000530 if (Subtarget->isTargetCOFF()) {
Reid Klecknerc1e76212013-09-17 23:18:05 +0000531 // Emit an absolute @feat.00 symbol. This appears to be some kind of
532 // compiler features bitfield read by link.exe.
533 if (!Subtarget->is64Bit()) {
534 MCSymbol *S = MMI->getContext().GetOrCreateSymbol(StringRef("@feat.00"));
535 OutStreamer.BeginCOFFSymbolDef(S);
536 OutStreamer.EmitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_STATIC);
537 OutStreamer.EmitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_NULL);
538 OutStreamer.EndCOFFSymbolDef();
539 // According to the PE-COFF spec, the LSB of this value marks the object
540 // for "registered SEH". This means that all SEH handler entry points
541 // must be registered in .sxdata. Use of any unregistered handlers will
542 // cause the process to terminate immediately. LLVM does not know how to
543 // register any SEH handlers, so its object files should be safe.
544 S->setAbsolute();
Reid Kleckner8b2ad2a2013-11-18 23:08:12 +0000545 OutStreamer.EmitSymbolAttribute(S, MCSA_Global);
Reid Klecknerc1e76212013-09-17 23:18:05 +0000546 OutStreamer.EmitAssignment(
547 S, MCConstantExpr::Create(int64_t(1), MMI->getContext()));
548 }
549 }
Chris Lattner81fe45d2010-03-13 02:10:00 +0000550}
551
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000552
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000553void X86AsmPrinter::EmitEndOfAsmFile(Module &M) {
Evan Chengd22a4a12011-02-01 01:14:13 +0000554 if (Subtarget->isTargetEnvMacho()) {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000555 // All darwin targets use mach-o.
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000556 MachineModuleInfoMachO &MMIMacho =
557 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000558
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000559 // Output stubs for dynamically-linked functions.
560 MachineModuleInfoMachO::SymbolListTy Stubs;
561
562 Stubs = MMIMacho.GetFnStubList();
563 if (!Stubs.empty()) {
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000564 const MCSection *TheSection =
Chris Lattner433d4062010-04-08 20:40:11 +0000565 OutContext.getMachOSection("__IMPORT", "__jump_table",
566 MCSectionMachO::S_SYMBOL_STUBS |
567 MCSectionMachO::S_ATTR_SELF_MODIFYING_CODE |
568 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
569 5, SectionKind::getMetadata());
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000570 OutStreamer.SwitchSection(TheSection);
571
572 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000573 // L_foo$stub:
574 OutStreamer.EmitLabel(Stubs[i].first);
575 // .indirect_symbol _foo
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000576 OutStreamer.EmitSymbolAttribute(Stubs[i].second.getPointer(),
577 MCSA_IndirectSymbol);
Jeffrey Yasskin065c3572011-08-30 20:53:29 +0000578 // hlt; hlt; hlt; hlt; hlt hlt = 0xf4.
579 const char HltInsts[] = "\xf4\xf4\xf4\xf4\xf4";
Eric Christophere3ab3d02013-01-09 01:57:54 +0000580 OutStreamer.EmitBytes(StringRef(HltInsts, 5));
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000581 }
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000582
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000583 Stubs.clear();
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000584 OutStreamer.AddBlankLine();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000585 }
586
587 // Output stubs for external and common global variables.
588 Stubs = MMIMacho.GetGVStubList();
589 if (!Stubs.empty()) {
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000590 const MCSection *TheSection =
Chris Lattner433d4062010-04-08 20:40:11 +0000591 OutContext.getMachOSection("__IMPORT", "__pointers",
592 MCSectionMachO::S_NON_LAZY_SYMBOL_POINTERS,
593 SectionKind::getMetadata());
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000594 OutStreamer.SwitchSection(TheSection);
595
596 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000597 // L_foo$non_lazy_ptr:
598 OutStreamer.EmitLabel(Stubs[i].first);
599 // .indirect_symbol _foo
Bill Wendling3d0cd822010-03-12 19:20:40 +0000600 MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second;
601 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(),
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000602 MCSA_IndirectSymbol);
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000603 // .long 0
Bill Wendling3d0cd822010-03-12 19:20:40 +0000604 if (MCSym.getInt())
605 // External to current translation unit.
Eric Christophere3ab3d02013-01-09 01:57:54 +0000606 OutStreamer.EmitIntValue(0, 4/*size*/);
Bill Wendling3d0cd822010-03-12 19:20:40 +0000607 else
608 // Internal to current translation unit.
Bill Wendlingd749aef2010-03-31 18:48:58 +0000609 //
610 // When we place the LSDA into the TEXT section, the type info
611 // pointers need to be indirect and pc-rel. We accomplish this by
612 // using NLPs. However, sometimes the types are local to the file. So
613 // we need to fill in the value for the NLP in those cases.
Bill Wendling3d0cd822010-03-12 19:20:40 +0000614 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(),
Eric Christophere3ab3d02013-01-09 01:57:54 +0000615 OutContext), 4/*size*/);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000616 }
617 Stubs.clear();
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000618 OutStreamer.AddBlankLine();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000619 }
620
621 Stubs = MMIMacho.GetHiddenGVStubList();
622 if (!Stubs.empty()) {
623 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
624 EmitAlignment(2);
625
626 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000627 // L_foo$non_lazy_ptr:
628 OutStreamer.EmitLabel(Stubs[i].first);
629 // .long _foo
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000630 OutStreamer.EmitValue(MCSymbolRefExpr::
631 Create(Stubs[i].second.getPointer(),
Eric Christophere3ab3d02013-01-09 01:57:54 +0000632 OutContext), 4/*size*/);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000633 }
634 Stubs.clear();
Chris Lattner3bcbdb82010-02-03 06:42:38 +0000635 OutStreamer.AddBlankLine();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000636 }
637
Andrew Trick153ebe62013-10-31 22:11:56 +0000638 SM.serializeToStackMapSection();
639
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000640 // Funny Darwin hack: This flag tells the linker that no global symbols
641 // contain code that falls through to other global symbols (e.g. the obvious
642 // implementation of multiple entry points). If this doesn't occur, the
643 // linker can safely perform dead code stripping. Since LLVM never
644 // generates code that does this, it is always safe to set.
Chris Lattner685508c2010-01-23 06:39:22 +0000645 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000646 }
647
Chris Lattner64634c32010-11-12 17:24:29 +0000648 if (Subtarget->isTargetWindows() && !Subtarget->isTargetCygMing() &&
Michael J. Spencer8b98bf22012-02-22 19:06:13 +0000649 MMI->usesVAFloatArgument()) {
Michael J. Spenceraa19ee12010-10-23 09:06:59 +0000650 StringRef SymbolName = Subtarget->is64Bit() ? "_fltused" : "__fltused";
651 MCSymbol *S = MMI->getContext().GetOrCreateSymbol(SymbolName);
Michael J. Spencer5e683252010-10-16 08:25:41 +0000652 OutStreamer.EmitSymbolAttribute(S, MCSA_Global);
653 }
654
Evan Chengd22a4a12011-02-01 01:14:13 +0000655 if (Subtarget->isTargetCOFF() && !Subtarget->isTargetEnvMacho()) {
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000656 X86COFFMachineModuleInfo &COFFMMI =
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000657 MMI->getObjFileInfo<X86COFFMachineModuleInfo>();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000658
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000659 // Emit type information for external functions
Chris Lattner72afa952010-05-08 19:54:22 +0000660 typedef X86COFFMachineModuleInfo::externals_iterator externals_iterator;
661 for (externals_iterator I = COFFMMI.externals_begin(),
662 E = COFFMMI.externals_end();
663 I != E; ++I) {
664 OutStreamer.BeginCOFFSymbolDef(CurrentFnSym);
Chris Lattner25485802010-07-14 18:14:33 +0000665 OutStreamer.EmitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL);
666 OutStreamer.EmitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_FUNCTION
667 << COFF::SCT_COMPLEX_TYPE_SHIFT);
Chris Lattner72afa952010-05-08 19:54:22 +0000668 OutStreamer.EndCOFFSymbolDef();
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000669 }
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000670
Nathan Jeffords27602162010-05-09 05:52:28 +0000671 // Necessary for dllexport support
672 std::vector<const MCSymbol*> DLLExportedFns, DLLExportedGlobals;
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000673
Nathan Jeffords27602162010-05-09 05:52:28 +0000674 const TargetLoweringObjectFileCOFF &TLOFCOFF =
675 static_cast<const TargetLoweringObjectFileCOFF&>(getObjFileLowering());
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000676
Nathan Jeffords27602162010-05-09 05:52:28 +0000677 for (Module::const_iterator I = M.begin(), E = M.end(); I != E; ++I)
678 if (I->hasDLLExportLinkage())
Rafael Espindola79858aa2013-10-29 17:07:16 +0000679 DLLExportedFns.push_back(getSymbol(I));
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000680
Nathan Jeffords27602162010-05-09 05:52:28 +0000681 for (Module::const_global_iterator I = M.global_begin(),
682 E = M.global_end(); I != E; ++I)
683 if (I->hasDLLExportLinkage())
Rafael Espindola79858aa2013-10-29 17:07:16 +0000684 DLLExportedGlobals.push_back(getSymbol(I));
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000685
Nathan Jeffords27602162010-05-09 05:52:28 +0000686 // Output linker support code for dllexported globals on windows.
687 if (!DLLExportedGlobals.empty() || !DLLExportedFns.empty()) {
688 OutStreamer.SwitchSection(TLOFCOFF.getDrectveSection());
Nathan Jeffordsb19c5982010-05-09 08:40:06 +0000689 SmallString<128> name;
690 for (unsigned i = 0, e = DLLExportedGlobals.size(); i != e; ++i) {
691 if (Subtarget->isTargetWindows())
692 name = " /EXPORT:";
693 else
694 name = " -export:";
695 name += DLLExportedGlobals[i]->getName();
696 if (Subtarget->isTargetWindows())
697 name += ",DATA";
698 else
699 name += ",data";
Eric Christophere3ab3d02013-01-09 01:57:54 +0000700 OutStreamer.EmitBytes(name);
Nathan Jeffordsb19c5982010-05-09 08:40:06 +0000701 }
Anton Korobeynikov49e417c2009-10-15 22:36:18 +0000702
Nathan Jeffordsb19c5982010-05-09 08:40:06 +0000703 for (unsigned i = 0, e = DLLExportedFns.size(); i != e; ++i) {
704 if (Subtarget->isTargetWindows())
705 name = " /EXPORT:";
706 else
707 name = " -export:";
708 name += DLLExportedFns[i]->getName();
Eric Christophere3ab3d02013-01-09 01:57:54 +0000709 OutStreamer.EmitBytes(name);
Nathan Jeffordsb19c5982010-05-09 08:40:06 +0000710 }
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000711 }
712 }
Anton Korobeynikovae4ccc12010-02-15 22:35:59 +0000713
714 if (Subtarget->isTargetELF()) {
Dan Gohman53d4a082010-04-17 16:44:48 +0000715 const TargetLoweringObjectFileELF &TLOFELF =
716 static_cast<const TargetLoweringObjectFileELF &>(getObjFileLowering());
Anton Korobeynikovae4ccc12010-02-15 22:35:59 +0000717
718 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>();
719
720 // Output stubs for external and common global variables.
721 MachineModuleInfoELF::SymbolListTy Stubs = MMIELF.GetGVStubList();
722 if (!Stubs.empty()) {
723 OutStreamer.SwitchSection(TLOFELF.getDataRelSection());
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000724 const DataLayout *TD = TM.getDataLayout();
Anton Korobeynikovae4ccc12010-02-15 22:35:59 +0000725
Chris Lattner9b136392010-04-04 05:35:04 +0000726 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
727 OutStreamer.EmitLabel(Stubs[i].first);
728 OutStreamer.EmitSymbolValue(Stubs[i].second.getPointer(),
Eric Christophere3ab3d02013-01-09 01:57:54 +0000729 TD->getPointerSize());
Chris Lattner9b136392010-04-04 05:35:04 +0000730 }
Anton Korobeynikovae4ccc12010-02-15 22:35:59 +0000731 Stubs.clear();
732 }
733 }
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000734}
735
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000736//===----------------------------------------------------------------------===//
737// Target Registry Stuff
738//===----------------------------------------------------------------------===//
739
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000740// Force static initialization.
Jim Grosbach95ede4d2010-09-15 01:01:45 +0000741extern "C" void LLVMInitializeX86AsmPrinter() {
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000742 RegisterAsmPrinter<X86AsmPrinter> X(TheX86_32Target);
743 RegisterAsmPrinter<X86AsmPrinter> Y(TheX86_64Target);
Chris Lattner5159bbaf2009-09-20 07:41:30 +0000744}