X86AsmPrinter.cpp revision 0518fca843ff87d069ecb07fc00d306c1f587d58
1//===-- X86AsmPrinter.cpp - Convert X86 LLVM code to AT&T assembly --------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This file contains a printer that converts from our internal representation 11// of machine-dependent LLVM code to X86 machine code. 12// 13//===----------------------------------------------------------------------===// 14 15#include "X86AsmPrinter.h" 16#include "X86MCInstLower.h" 17#include "X86.h" 18#include "X86COFFMachineModuleInfo.h" 19#include "X86MachineFunctionInfo.h" 20#include "X86TargetMachine.h" 21#include "InstPrinter/X86ATTInstPrinter.h" 22#include "llvm/CallingConv.h" 23#include "llvm/DerivedTypes.h" 24#include "llvm/Module.h" 25#include "llvm/Type.h" 26#include "llvm/Analysis/DebugInfo.h" 27#include "llvm/Assembly/Writer.h" 28#include "llvm/MC/MCAsmInfo.h" 29#include "llvm/MC/MCContext.h" 30#include "llvm/MC/MCExpr.h" 31#include "llvm/MC/MCSectionMachO.h" 32#include "llvm/MC/MCStreamer.h" 33#include "llvm/MC/MCSymbol.h" 34#include "llvm/CodeGen/MachineJumpTableInfo.h" 35#include "llvm/CodeGen/MachineModuleInfoImpls.h" 36#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h" 37#include "llvm/Target/Mangler.h" 38#include "llvm/Target/TargetOptions.h" 39#include "llvm/Support/COFF.h" 40#include "llvm/Support/Debug.h" 41#include "llvm/Support/ErrorHandling.h" 42#include "llvm/Support/TargetRegistry.h" 43#include "llvm/ADT/SmallString.h" 44using namespace llvm; 45 46//===----------------------------------------------------------------------===// 47// Primitive Helper Functions. 48//===----------------------------------------------------------------------===// 49 50/// runOnMachineFunction - Emit the function body. 51/// 52bool X86AsmPrinter::runOnMachineFunction(MachineFunction &MF) { 53 SetupMachineFunction(MF); 54 55 if (Subtarget->isTargetCOFF() && !Subtarget->isTargetEnvMacho()) { 56 bool Intrn = MF.getFunction()->hasInternalLinkage(); 57 OutStreamer.BeginCOFFSymbolDef(CurrentFnSym); 58 OutStreamer.EmitCOFFSymbolStorageClass(Intrn ? COFF::IMAGE_SYM_CLASS_STATIC 59 : COFF::IMAGE_SYM_CLASS_EXTERNAL); 60 OutStreamer.EmitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_FUNCTION 61 << COFF::SCT_COMPLEX_TYPE_SHIFT); 62 OutStreamer.EndCOFFSymbolDef(); 63 } 64 65 // Have common code print out the function header with linkage info etc. 66 EmitFunctionHeader(); 67 68 // Emit the rest of the function body. 69 EmitFunctionBody(); 70 71 // We didn't modify anything. 72 return false; 73} 74 75/// printSymbolOperand - Print a raw symbol reference operand. This handles 76/// jump tables, constant pools, global address and external symbols, all of 77/// which print to a label with various suffixes for relocation types etc. 78void X86AsmPrinter::printSymbolOperand(const MachineOperand &MO, 79 raw_ostream &O) { 80 switch (MO.getType()) { 81 default: llvm_unreachable("unknown symbol type!"); 82 case MachineOperand::MO_JumpTableIndex: 83 O << *GetJTISymbol(MO.getIndex()); 84 break; 85 case MachineOperand::MO_ConstantPoolIndex: 86 O << *GetCPISymbol(MO.getIndex()); 87 printOffset(MO.getOffset(), O); 88 break; 89 case MachineOperand::MO_GlobalAddress: { 90 const GlobalValue *GV = MO.getGlobal(); 91 92 MCSymbol *GVSym; 93 if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB) 94 GVSym = GetSymbolWithGlobalValueBase(GV, "$stub"); 95 else if (MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY || 96 MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY_PIC_BASE || 97 MO.getTargetFlags() == X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE) 98 GVSym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); 99 else 100 GVSym = Mang->getSymbol(GV); 101 102 // Handle dllimport linkage. 103 if (MO.getTargetFlags() == X86II::MO_DLLIMPORT) 104 GVSym = OutContext.GetOrCreateSymbol(Twine("__imp_") + GVSym->getName()); 105 106 if (MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY || 107 MO.getTargetFlags() == X86II::MO_DARWIN_NONLAZY_PIC_BASE) { 108 MCSymbol *Sym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); 109 MachineModuleInfoImpl::StubValueTy &StubSym = 110 MMI->getObjFileInfo<MachineModuleInfoMachO>().getGVStubEntry(Sym); 111 if (StubSym.getPointer() == 0) 112 StubSym = MachineModuleInfoImpl:: 113 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage()); 114 } else if (MO.getTargetFlags() == X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE){ 115 MCSymbol *Sym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); 116 MachineModuleInfoImpl::StubValueTy &StubSym = 117 MMI->getObjFileInfo<MachineModuleInfoMachO>().getHiddenGVStubEntry(Sym); 118 if (StubSym.getPointer() == 0) 119 StubSym = MachineModuleInfoImpl:: 120 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage()); 121 } else if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB) { 122 MCSymbol *Sym = GetSymbolWithGlobalValueBase(GV, "$stub"); 123 MachineModuleInfoImpl::StubValueTy &StubSym = 124 MMI->getObjFileInfo<MachineModuleInfoMachO>().getFnStubEntry(Sym); 125 if (StubSym.getPointer() == 0) 126 StubSym = MachineModuleInfoImpl:: 127 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage()); 128 } 129 130 // If the name begins with a dollar-sign, enclose it in parens. We do this 131 // to avoid having it look like an integer immediate to the assembler. 132 if (GVSym->getName()[0] != '$') 133 O << *GVSym; 134 else 135 O << '(' << *GVSym << ')'; 136 printOffset(MO.getOffset(), O); 137 break; 138 } 139 case MachineOperand::MO_ExternalSymbol: { 140 const MCSymbol *SymToPrint; 141 if (MO.getTargetFlags() == X86II::MO_DARWIN_STUB) { 142 SmallString<128> TempNameStr; 143 TempNameStr += StringRef(MO.getSymbolName()); 144 TempNameStr += StringRef("$stub"); 145 146 MCSymbol *Sym = GetExternalSymbolSymbol(TempNameStr.str()); 147 MachineModuleInfoImpl::StubValueTy &StubSym = 148 MMI->getObjFileInfo<MachineModuleInfoMachO>().getFnStubEntry(Sym); 149 if (StubSym.getPointer() == 0) { 150 TempNameStr.erase(TempNameStr.end()-5, TempNameStr.end()); 151 StubSym = MachineModuleInfoImpl:: 152 StubValueTy(OutContext.GetOrCreateSymbol(TempNameStr.str()), 153 true); 154 } 155 SymToPrint = StubSym.getPointer(); 156 } else { 157 SymToPrint = GetExternalSymbolSymbol(MO.getSymbolName()); 158 } 159 160 // If the name begins with a dollar-sign, enclose it in parens. We do this 161 // to avoid having it look like an integer immediate to the assembler. 162 if (SymToPrint->getName()[0] != '$') 163 O << *SymToPrint; 164 else 165 O << '(' << *SymToPrint << '('; 166 break; 167 } 168 } 169 170 switch (MO.getTargetFlags()) { 171 default: 172 llvm_unreachable("Unknown target flag on GV operand"); 173 case X86II::MO_NO_FLAG: // No flag. 174 break; 175 case X86II::MO_DARWIN_NONLAZY: 176 case X86II::MO_DLLIMPORT: 177 case X86II::MO_DARWIN_STUB: 178 // These affect the name of the symbol, not any suffix. 179 break; 180 case X86II::MO_GOT_ABSOLUTE_ADDRESS: 181 O << " + [.-" << *MF->getPICBaseSymbol() << ']'; 182 break; 183 case X86II::MO_PIC_BASE_OFFSET: 184 case X86II::MO_DARWIN_NONLAZY_PIC_BASE: 185 case X86II::MO_DARWIN_HIDDEN_NONLAZY_PIC_BASE: 186 O << '-' << *MF->getPICBaseSymbol(); 187 break; 188 case X86II::MO_TLSGD: O << "@TLSGD"; break; 189 case X86II::MO_TLSLD: O << "@TLSLD"; break; 190 case X86II::MO_TLSLDM: O << "@TLSLDM"; break; 191 case X86II::MO_GOTTPOFF: O << "@GOTTPOFF"; break; 192 case X86II::MO_INDNTPOFF: O << "@INDNTPOFF"; break; 193 case X86II::MO_TPOFF: O << "@TPOFF"; break; 194 case X86II::MO_DTPOFF: O << "@DTPOFF"; break; 195 case X86II::MO_NTPOFF: O << "@NTPOFF"; break; 196 case X86II::MO_GOTNTPOFF: O << "@GOTNTPOFF"; break; 197 case X86II::MO_GOTPCREL: O << "@GOTPCREL"; break; 198 case X86II::MO_GOT: O << "@GOT"; break; 199 case X86II::MO_GOTOFF: O << "@GOTOFF"; break; 200 case X86II::MO_PLT: O << "@PLT"; break; 201 case X86II::MO_TLVP: O << "@TLVP"; break; 202 case X86II::MO_TLVP_PIC_BASE: 203 O << "@TLVP" << '-' << *MF->getPICBaseSymbol(); 204 break; 205 case X86II::MO_SECREL: O << "@SECREL"; break; 206 } 207} 208 209/// print_pcrel_imm - This is used to print an immediate value that ends up 210/// being encoded as a pc-relative value. These print slightly differently, for 211/// example, a $ is not emitted. 212void X86AsmPrinter::print_pcrel_imm(const MachineInstr *MI, unsigned OpNo, 213 raw_ostream &O) { 214 const MachineOperand &MO = MI->getOperand(OpNo); 215 switch (MO.getType()) { 216 default: llvm_unreachable("Unknown pcrel immediate operand"); 217 case MachineOperand::MO_Register: 218 // pc-relativeness was handled when computing the value in the reg. 219 printOperand(MI, OpNo, O); 220 return; 221 case MachineOperand::MO_Immediate: 222 O << MO.getImm(); 223 return; 224 case MachineOperand::MO_MachineBasicBlock: 225 O << *MO.getMBB()->getSymbol(); 226 return; 227 case MachineOperand::MO_GlobalAddress: 228 case MachineOperand::MO_ExternalSymbol: 229 printSymbolOperand(MO, O); 230 return; 231 } 232} 233 234 235void X86AsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo, 236 raw_ostream &O, const char *Modifier) { 237 const MachineOperand &MO = MI->getOperand(OpNo); 238 switch (MO.getType()) { 239 default: llvm_unreachable("unknown operand type!"); 240 case MachineOperand::MO_Register: { 241 O << '%'; 242 unsigned Reg = MO.getReg(); 243 if (Modifier && strncmp(Modifier, "subreg", strlen("subreg")) == 0) { 244 EVT VT = (strcmp(Modifier+6,"64") == 0) ? 245 MVT::i64 : ((strcmp(Modifier+6, "32") == 0) ? MVT::i32 : 246 ((strcmp(Modifier+6,"16") == 0) ? MVT::i16 : MVT::i8)); 247 Reg = getX86SubSuperRegister(Reg, VT); 248 } 249 O << X86ATTInstPrinter::getRegisterName(Reg); 250 return; 251 } 252 253 case MachineOperand::MO_Immediate: 254 O << '$' << MO.getImm(); 255 return; 256 257 case MachineOperand::MO_JumpTableIndex: 258 case MachineOperand::MO_ConstantPoolIndex: 259 case MachineOperand::MO_GlobalAddress: 260 case MachineOperand::MO_ExternalSymbol: { 261 O << '$'; 262 printSymbolOperand(MO, O); 263 break; 264 } 265 } 266} 267 268void X86AsmPrinter::printSSECC(const MachineInstr *MI, unsigned Op, 269 raw_ostream &O) { 270 unsigned char value = MI->getOperand(Op).getImm(); 271 switch (value) { 272 default: llvm_unreachable("Invalid ssecc argument!"); 273 case 0: O << "eq"; break; 274 case 1: O << "lt"; break; 275 case 2: O << "le"; break; 276 case 3: O << "unord"; break; 277 case 4: O << "neq"; break; 278 case 5: O << "nlt"; break; 279 case 6: O << "nle"; break; 280 case 7: O << "ord"; break; 281 case 8: O << "eq_uq"; break; 282 case 9: O << "nge"; break; 283 case 0xa: O << "ngt"; break; 284 case 0xb: O << "false"; break; 285 case 0xc: O << "neq_oq"; break; 286 case 0xd: O << "ge"; break; 287 case 0xe: O << "gt"; break; 288 case 0xf: O << "true"; break; 289 case 0x10: O << "eq_os"; break; 290 case 0x11: O << "lt_oq"; break; 291 case 0x12: O << "le_oq"; break; 292 case 0x13: O << "unord_s"; break; 293 case 0x14: O << "neq_us"; break; 294 case 0x15: O << "nlt_uq"; break; 295 case 0x16: O << "nle_uq"; break; 296 case 0x17: O << "ord_s"; break; 297 case 0x18: O << "eq_us"; break; 298 case 0x19: O << "nge_uq"; break; 299 case 0x1a: O << "ngt_uq"; break; 300 case 0x1b: O << "false_os"; break; 301 case 0x1c: O << "neq_os"; break; 302 case 0x1d: O << "ge_oq"; break; 303 case 0x1e: O << "gt_oq"; break; 304 case 0x1f: O << "true_us"; break; 305 } 306} 307 308void X86AsmPrinter::printLeaMemReference(const MachineInstr *MI, unsigned Op, 309 raw_ostream &O, const char *Modifier) { 310 const MachineOperand &BaseReg = MI->getOperand(Op); 311 const MachineOperand &IndexReg = MI->getOperand(Op+2); 312 const MachineOperand &DispSpec = MI->getOperand(Op+3); 313 314 // If we really don't want to print out (rip), don't. 315 bool HasBaseReg = BaseReg.getReg() != 0; 316 if (HasBaseReg && Modifier && !strcmp(Modifier, "no-rip") && 317 BaseReg.getReg() == X86::RIP) 318 HasBaseReg = false; 319 320 // HasParenPart - True if we will print out the () part of the mem ref. 321 bool HasParenPart = IndexReg.getReg() || HasBaseReg; 322 323 if (DispSpec.isImm()) { 324 int DispVal = DispSpec.getImm(); 325 if (DispVal || !HasParenPart) 326 O << DispVal; 327 } else { 328 assert(DispSpec.isGlobal() || DispSpec.isCPI() || 329 DispSpec.isJTI() || DispSpec.isSymbol()); 330 printSymbolOperand(MI->getOperand(Op+3), O); 331 } 332 333 if (Modifier && strcmp(Modifier, "H") == 0) 334 O << "+8"; 335 336 if (HasParenPart) { 337 assert(IndexReg.getReg() != X86::ESP && 338 "X86 doesn't allow scaling by ESP"); 339 340 O << '('; 341 if (HasBaseReg) 342 printOperand(MI, Op, O, Modifier); 343 344 if (IndexReg.getReg()) { 345 O << ','; 346 printOperand(MI, Op+2, O, Modifier); 347 unsigned ScaleVal = MI->getOperand(Op+1).getImm(); 348 if (ScaleVal != 1) 349 O << ',' << ScaleVal; 350 } 351 O << ')'; 352 } 353} 354 355void X86AsmPrinter::printMemReference(const MachineInstr *MI, unsigned Op, 356 raw_ostream &O, const char *Modifier) { 357 assert(isMem(MI, Op) && "Invalid memory reference!"); 358 const MachineOperand &Segment = MI->getOperand(Op+4); 359 if (Segment.getReg()) { 360 printOperand(MI, Op+4, O, Modifier); 361 O << ':'; 362 } 363 printLeaMemReference(MI, Op, O, Modifier); 364} 365 366void X86AsmPrinter::printPICLabel(const MachineInstr *MI, unsigned Op, 367 raw_ostream &O) { 368 O << *MF->getPICBaseSymbol() << '\n'; 369 O << *MF->getPICBaseSymbol() << ':'; 370} 371 372bool X86AsmPrinter::printAsmMRegister(const MachineOperand &MO, char Mode, 373 raw_ostream &O) { 374 unsigned Reg = MO.getReg(); 375 switch (Mode) { 376 default: return true; // Unknown mode. 377 case 'b': // Print QImode register 378 Reg = getX86SubSuperRegister(Reg, MVT::i8); 379 break; 380 case 'h': // Print QImode high register 381 Reg = getX86SubSuperRegister(Reg, MVT::i8, true); 382 break; 383 case 'w': // Print HImode register 384 Reg = getX86SubSuperRegister(Reg, MVT::i16); 385 break; 386 case 'k': // Print SImode register 387 Reg = getX86SubSuperRegister(Reg, MVT::i32); 388 break; 389 case 'q': // Print DImode register 390 Reg = getX86SubSuperRegister(Reg, MVT::i64); 391 break; 392 } 393 394 O << '%' << X86ATTInstPrinter::getRegisterName(Reg); 395 return false; 396} 397 398/// PrintAsmOperand - Print out an operand for an inline asm expression. 399/// 400bool X86AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, 401 unsigned AsmVariant, 402 const char *ExtraCode, raw_ostream &O) { 403 // Does this asm operand have a single letter operand modifier? 404 if (ExtraCode && ExtraCode[0]) { 405 if (ExtraCode[1] != 0) return true; // Unknown modifier. 406 407 const MachineOperand &MO = MI->getOperand(OpNo); 408 409 switch (ExtraCode[0]) { 410 default: 411 // See if this is a generic print operand 412 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O); 413 case 'a': // This is an address. Currently only 'i' and 'r' are expected. 414 if (MO.isImm()) { 415 O << MO.getImm(); 416 return false; 417 } 418 if (MO.isGlobal() || MO.isCPI() || MO.isJTI() || MO.isSymbol()) { 419 printSymbolOperand(MO, O); 420 if (Subtarget->isPICStyleRIPRel()) 421 O << "(%rip)"; 422 return false; 423 } 424 if (MO.isReg()) { 425 O << '('; 426 printOperand(MI, OpNo, O); 427 O << ')'; 428 return false; 429 } 430 return true; 431 432 case 'c': // Don't print "$" before a global var name or constant. 433 if (MO.isImm()) 434 O << MO.getImm(); 435 else if (MO.isGlobal() || MO.isCPI() || MO.isJTI() || MO.isSymbol()) 436 printSymbolOperand(MO, O); 437 else 438 printOperand(MI, OpNo, O); 439 return false; 440 441 case 'A': // Print '*' before a register (it must be a register) 442 if (MO.isReg()) { 443 O << '*'; 444 printOperand(MI, OpNo, O); 445 return false; 446 } 447 return true; 448 449 case 'b': // Print QImode register 450 case 'h': // Print QImode high register 451 case 'w': // Print HImode register 452 case 'k': // Print SImode register 453 case 'q': // Print DImode register 454 if (MO.isReg()) 455 return printAsmMRegister(MO, ExtraCode[0], O); 456 printOperand(MI, OpNo, O); 457 return false; 458 459 case 'P': // This is the operand of a call, treat specially. 460 print_pcrel_imm(MI, OpNo, O); 461 return false; 462 463 case 'n': // Negate the immediate or print a '-' before the operand. 464 // Note: this is a temporary solution. It should be handled target 465 // independently as part of the 'MC' work. 466 if (MO.isImm()) { 467 O << -MO.getImm(); 468 return false; 469 } 470 O << '-'; 471 } 472 } 473 474 printOperand(MI, OpNo, O); 475 return false; 476} 477 478bool X86AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, 479 unsigned OpNo, unsigned AsmVariant, 480 const char *ExtraCode, 481 raw_ostream &O) { 482 if (ExtraCode && ExtraCode[0]) { 483 if (ExtraCode[1] != 0) return true; // Unknown modifier. 484 485 switch (ExtraCode[0]) { 486 default: return true; // Unknown modifier. 487 case 'b': // Print QImode register 488 case 'h': // Print QImode high register 489 case 'w': // Print HImode register 490 case 'k': // Print SImode register 491 case 'q': // Print SImode register 492 // These only apply to registers, ignore on mem. 493 break; 494 case 'H': 495 printMemReference(MI, OpNo, O, "H"); 496 return false; 497 case 'P': // Don't print @PLT, but do print as memory. 498 printMemReference(MI, OpNo, O, "no-rip"); 499 return false; 500 } 501 } 502 printMemReference(MI, OpNo, O); 503 return false; 504} 505 506void X86AsmPrinter::EmitStartOfAsmFile(Module &M) { 507 if (Subtarget->isTargetEnvMacho()) 508 OutStreamer.SwitchSection(getObjFileLowering().getTextSection()); 509} 510 511 512void X86AsmPrinter::EmitEndOfAsmFile(Module &M) { 513 if (Subtarget->isTargetEnvMacho()) { 514 // All darwin targets use mach-o. 515 MachineModuleInfoMachO &MMIMacho = 516 MMI->getObjFileInfo<MachineModuleInfoMachO>(); 517 518 // Output stubs for dynamically-linked functions. 519 MachineModuleInfoMachO::SymbolListTy Stubs; 520 521 Stubs = MMIMacho.GetFnStubList(); 522 if (!Stubs.empty()) { 523 const MCSection *TheSection = 524 OutContext.getMachOSection("__IMPORT", "__jump_table", 525 MCSectionMachO::S_SYMBOL_STUBS | 526 MCSectionMachO::S_ATTR_SELF_MODIFYING_CODE | 527 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 528 5, SectionKind::getMetadata()); 529 OutStreamer.SwitchSection(TheSection); 530 531 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 532 // L_foo$stub: 533 OutStreamer.EmitLabel(Stubs[i].first); 534 // .indirect_symbol _foo 535 OutStreamer.EmitSymbolAttribute(Stubs[i].second.getPointer(), 536 MCSA_IndirectSymbol); 537 // hlt; hlt; hlt; hlt; hlt hlt = 0xf4. 538 const char HltInsts[] = "\xf4\xf4\xf4\xf4\xf4"; 539 OutStreamer.EmitBytes(StringRef(HltInsts, 5), 0/*addrspace*/); 540 } 541 542 Stubs.clear(); 543 OutStreamer.AddBlankLine(); 544 } 545 546 // Output stubs for external and common global variables. 547 Stubs = MMIMacho.GetGVStubList(); 548 if (!Stubs.empty()) { 549 const MCSection *TheSection = 550 OutContext.getMachOSection("__IMPORT", "__pointers", 551 MCSectionMachO::S_NON_LAZY_SYMBOL_POINTERS, 552 SectionKind::getMetadata()); 553 OutStreamer.SwitchSection(TheSection); 554 555 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 556 // L_foo$non_lazy_ptr: 557 OutStreamer.EmitLabel(Stubs[i].first); 558 // .indirect_symbol _foo 559 MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second; 560 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(), 561 MCSA_IndirectSymbol); 562 // .long 0 563 if (MCSym.getInt()) 564 // External to current translation unit. 565 OutStreamer.EmitIntValue(0, 4/*size*/, 0/*addrspace*/); 566 else 567 // Internal to current translation unit. 568 // 569 // When we place the LSDA into the TEXT section, the type info 570 // pointers need to be indirect and pc-rel. We accomplish this by 571 // using NLPs. However, sometimes the types are local to the file. So 572 // we need to fill in the value for the NLP in those cases. 573 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(), 574 OutContext), 575 4/*size*/, 0/*addrspace*/); 576 } 577 Stubs.clear(); 578 OutStreamer.AddBlankLine(); 579 } 580 581 Stubs = MMIMacho.GetHiddenGVStubList(); 582 if (!Stubs.empty()) { 583 OutStreamer.SwitchSection(getObjFileLowering().getDataSection()); 584 EmitAlignment(2); 585 586 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 587 // L_foo$non_lazy_ptr: 588 OutStreamer.EmitLabel(Stubs[i].first); 589 // .long _foo 590 OutStreamer.EmitValue(MCSymbolRefExpr:: 591 Create(Stubs[i].second.getPointer(), 592 OutContext), 593 4/*size*/, 0/*addrspace*/); 594 } 595 Stubs.clear(); 596 OutStreamer.AddBlankLine(); 597 } 598 599 // Funny Darwin hack: This flag tells the linker that no global symbols 600 // contain code that falls through to other global symbols (e.g. the obvious 601 // implementation of multiple entry points). If this doesn't occur, the 602 // linker can safely perform dead code stripping. Since LLVM never 603 // generates code that does this, it is always safe to set. 604 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols); 605 } 606 607 if (Subtarget->isTargetWindows() && !Subtarget->isTargetCygMing() && 608 MMI->usesVAFloatArgument()) { 609 StringRef SymbolName = Subtarget->is64Bit() ? "_fltused" : "__fltused"; 610 MCSymbol *S = MMI->getContext().GetOrCreateSymbol(SymbolName); 611 OutStreamer.EmitSymbolAttribute(S, MCSA_Global); 612 } 613 614 if (Subtarget->isTargetCOFF() && !Subtarget->isTargetEnvMacho()) { 615 X86COFFMachineModuleInfo &COFFMMI = 616 MMI->getObjFileInfo<X86COFFMachineModuleInfo>(); 617 618 // Emit type information for external functions 619 typedef X86COFFMachineModuleInfo::externals_iterator externals_iterator; 620 for (externals_iterator I = COFFMMI.externals_begin(), 621 E = COFFMMI.externals_end(); 622 I != E; ++I) { 623 OutStreamer.BeginCOFFSymbolDef(CurrentFnSym); 624 OutStreamer.EmitCOFFSymbolStorageClass(COFF::IMAGE_SYM_CLASS_EXTERNAL); 625 OutStreamer.EmitCOFFSymbolType(COFF::IMAGE_SYM_DTYPE_FUNCTION 626 << COFF::SCT_COMPLEX_TYPE_SHIFT); 627 OutStreamer.EndCOFFSymbolDef(); 628 } 629 630 // Necessary for dllexport support 631 std::vector<const MCSymbol*> DLLExportedFns, DLLExportedGlobals; 632 633 const TargetLoweringObjectFileCOFF &TLOFCOFF = 634 static_cast<const TargetLoweringObjectFileCOFF&>(getObjFileLowering()); 635 636 for (Module::const_iterator I = M.begin(), E = M.end(); I != E; ++I) 637 if (I->hasDLLExportLinkage()) 638 DLLExportedFns.push_back(Mang->getSymbol(I)); 639 640 for (Module::const_global_iterator I = M.global_begin(), 641 E = M.global_end(); I != E; ++I) 642 if (I->hasDLLExportLinkage()) 643 DLLExportedGlobals.push_back(Mang->getSymbol(I)); 644 645 // Output linker support code for dllexported globals on windows. 646 if (!DLLExportedGlobals.empty() || !DLLExportedFns.empty()) { 647 OutStreamer.SwitchSection(TLOFCOFF.getDrectveSection()); 648 SmallString<128> name; 649 for (unsigned i = 0, e = DLLExportedGlobals.size(); i != e; ++i) { 650 if (Subtarget->isTargetWindows()) 651 name = " /EXPORT:"; 652 else 653 name = " -export:"; 654 name += DLLExportedGlobals[i]->getName(); 655 if (Subtarget->isTargetWindows()) 656 name += ",DATA"; 657 else 658 name += ",data"; 659 OutStreamer.EmitBytes(name, 0); 660 } 661 662 for (unsigned i = 0, e = DLLExportedFns.size(); i != e; ++i) { 663 if (Subtarget->isTargetWindows()) 664 name = " /EXPORT:"; 665 else 666 name = " -export:"; 667 name += DLLExportedFns[i]->getName(); 668 OutStreamer.EmitBytes(name, 0); 669 } 670 } 671 } 672 673 if (Subtarget->isTargetELF()) { 674 const TargetLoweringObjectFileELF &TLOFELF = 675 static_cast<const TargetLoweringObjectFileELF &>(getObjFileLowering()); 676 677 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>(); 678 679 // Output stubs for external and common global variables. 680 MachineModuleInfoELF::SymbolListTy Stubs = MMIELF.GetGVStubList(); 681 if (!Stubs.empty()) { 682 OutStreamer.SwitchSection(TLOFELF.getDataRelSection()); 683 const TargetData *TD = TM.getTargetData(); 684 685 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 686 OutStreamer.EmitLabel(Stubs[i].first); 687 OutStreamer.EmitSymbolValue(Stubs[i].second.getPointer(), 688 TD->getPointerSize(), 0); 689 } 690 Stubs.clear(); 691 } 692 } 693} 694 695MachineLocation 696X86AsmPrinter::getDebugValueLocation(const MachineInstr *MI) const { 697 MachineLocation Location; 698 assert (MI->getNumOperands() == 7 && "Invalid no. of machine operands!"); 699 // Frame address. Currently handles register +- offset only. 700 701 if (MI->getOperand(0).isReg() && MI->getOperand(3).isImm()) 702 Location.set(MI->getOperand(0).getReg(), MI->getOperand(3).getImm()); 703 else { 704 DEBUG(dbgs() << "DBG_VALUE instruction ignored! " << *MI << "\n"); 705 } 706 return Location; 707} 708 709void X86AsmPrinter::PrintDebugValueComment(const MachineInstr *MI, 710 raw_ostream &O) { 711 // Only the target-dependent form of DBG_VALUE should get here. 712 // Referencing the offset and metadata as NOps-2 and NOps-1 is 713 // probably portable to other targets; frame pointer location is not. 714 unsigned NOps = MI->getNumOperands(); 715 assert(NOps==7); 716 O << '\t' << MAI->getCommentString() << "DEBUG_VALUE: "; 717 // cast away const; DIetc do not take const operands for some reason. 718 DIVariable V(const_cast<MDNode *>(MI->getOperand(NOps-1).getMetadata())); 719 if (V.getContext().isSubprogram()) 720 O << DISubprogram(V.getContext()).getDisplayName() << ":"; 721 O << V.getName(); 722 O << " <- "; 723 // Frame address. Currently handles register +- offset only. 724 O << '['; 725 if (MI->getOperand(0).isReg() && MI->getOperand(0).getReg()) 726 printOperand(MI, 0, O); 727 else 728 O << "undef"; 729 O << '+'; printOperand(MI, 3, O); 730 O << ']'; 731 O << "+"; 732 printOperand(MI, NOps-2, O); 733} 734 735 736 737//===----------------------------------------------------------------------===// 738// Target Registry Stuff 739//===----------------------------------------------------------------------===// 740 741// Force static initialization. 742extern "C" void LLVMInitializeX86AsmPrinter() { 743 RegisterAsmPrinter<X86AsmPrinter> X(TheX86_32Target); 744 RegisterAsmPrinter<X86AsmPrinter> Y(TheX86_64Target); 745} 746