1//===-- PPCAsmPrinter.cpp - Print machine instrs to PowerPC 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 PowerPC assembly language. This printer is 12// the output mechanism used by `llc'. 13// 14// Documentation at http://developer.apple.com/documentation/DeveloperTools/ 15// Reference/Assembler/ASMIntroduction/chapter_1_section_1.html 16// 17//===----------------------------------------------------------------------===// 18 19#define DEBUG_TYPE "asmprinter" 20#include "PPC.h" 21#include "InstPrinter/PPCInstPrinter.h" 22#include "MCTargetDesc/PPCPredicates.h" 23#include "MCTargetDesc/PPCMCExpr.h" 24#include "PPCSubtarget.h" 25#include "PPCTargetMachine.h" 26#include "llvm/ADT/MapVector.h" 27#include "llvm/ADT/SmallString.h" 28#include "llvm/ADT/StringExtras.h" 29#include "llvm/Assembly/Writer.h" 30#include "llvm/CodeGen/AsmPrinter.h" 31#include "llvm/CodeGen/MachineFunctionPass.h" 32#include "llvm/CodeGen/MachineInstr.h" 33#include "llvm/CodeGen/MachineInstrBuilder.h" 34#include "llvm/CodeGen/MachineModuleInfoImpls.h" 35#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h" 36#include "llvm/DebugInfo.h" 37#include "llvm/IR/Constants.h" 38#include "llvm/IR/DerivedTypes.h" 39#include "llvm/IR/Module.h" 40#include "llvm/MC/MCAsmInfo.h" 41#include "llvm/MC/MCContext.h" 42#include "llvm/MC/MCExpr.h" 43#include "llvm/MC/MCInst.h" 44#include "llvm/MC/MCInstBuilder.h" 45#include "llvm/MC/MCSectionELF.h" 46#include "llvm/MC/MCSectionMachO.h" 47#include "llvm/MC/MCStreamer.h" 48#include "llvm/MC/MCSymbol.h" 49#include "llvm/Support/CommandLine.h" 50#include "llvm/Support/Debug.h" 51#include "llvm/Support/ELF.h" 52#include "llvm/Support/ErrorHandling.h" 53#include "llvm/Support/MathExtras.h" 54#include "llvm/Support/TargetRegistry.h" 55#include "llvm/Support/raw_ostream.h" 56#include "llvm/Target/Mangler.h" 57#include "llvm/Target/TargetInstrInfo.h" 58#include "llvm/Target/TargetOptions.h" 59#include "llvm/Target/TargetRegisterInfo.h" 60using namespace llvm; 61 62namespace { 63 class PPCAsmPrinter : public AsmPrinter { 64 protected: 65 MapVector<MCSymbol*, MCSymbol*> TOC; 66 const PPCSubtarget &Subtarget; 67 uint64_t TOCLabelID; 68 public: 69 explicit PPCAsmPrinter(TargetMachine &TM, MCStreamer &Streamer) 70 : AsmPrinter(TM, Streamer), 71 Subtarget(TM.getSubtarget<PPCSubtarget>()), TOCLabelID(0) {} 72 73 virtual const char *getPassName() const { 74 return "PowerPC Assembly Printer"; 75 } 76 77 MCSymbol *lookUpOrCreateTOCEntry(MCSymbol *Sym); 78 79 virtual void EmitInstruction(const MachineInstr *MI); 80 81 void printOperand(const MachineInstr *MI, unsigned OpNo, raw_ostream &O); 82 83 bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, 84 unsigned AsmVariant, const char *ExtraCode, 85 raw_ostream &O); 86 bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, 87 unsigned AsmVariant, const char *ExtraCode, 88 raw_ostream &O); 89 }; 90 91 /// PPCLinuxAsmPrinter - PowerPC assembly printer, customized for Linux 92 class PPCLinuxAsmPrinter : public PPCAsmPrinter { 93 public: 94 explicit PPCLinuxAsmPrinter(TargetMachine &TM, MCStreamer &Streamer) 95 : PPCAsmPrinter(TM, Streamer) {} 96 97 virtual const char *getPassName() const { 98 return "Linux PPC Assembly Printer"; 99 } 100 101 bool doFinalization(Module &M); 102 103 virtual void EmitFunctionEntryLabel(); 104 105 void EmitFunctionBodyEnd(); 106 }; 107 108 /// PPCDarwinAsmPrinter - PowerPC assembly printer, customized for Darwin/Mac 109 /// OS X 110 class PPCDarwinAsmPrinter : public PPCAsmPrinter { 111 public: 112 explicit PPCDarwinAsmPrinter(TargetMachine &TM, MCStreamer &Streamer) 113 : PPCAsmPrinter(TM, Streamer) {} 114 115 virtual const char *getPassName() const { 116 return "Darwin PPC Assembly Printer"; 117 } 118 119 bool doFinalization(Module &M); 120 void EmitStartOfAsmFile(Module &M); 121 122 void EmitFunctionStubs(const MachineModuleInfoMachO::SymbolListTy &Stubs); 123 }; 124} // end of anonymous namespace 125 126/// stripRegisterPrefix - This method strips the character prefix from a 127/// register name so that only the number is left. Used by for linux asm. 128static const char *stripRegisterPrefix(const char *RegName) { 129 switch (RegName[0]) { 130 case 'r': 131 case 'f': 132 case 'v': return RegName + 1; 133 case 'c': if (RegName[1] == 'r') return RegName + 2; 134 } 135 136 return RegName; 137} 138 139void PPCAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo, 140 raw_ostream &O) { 141 const MachineOperand &MO = MI->getOperand(OpNo); 142 143 switch (MO.getType()) { 144 case MachineOperand::MO_Register: { 145 const char *RegName = PPCInstPrinter::getRegisterName(MO.getReg()); 146 // Linux assembler (Others?) does not take register mnemonics. 147 // FIXME - What about special registers used in mfspr/mtspr? 148 if (!Subtarget.isDarwin()) RegName = stripRegisterPrefix(RegName); 149 O << RegName; 150 return; 151 } 152 case MachineOperand::MO_Immediate: 153 O << MO.getImm(); 154 return; 155 156 case MachineOperand::MO_MachineBasicBlock: 157 O << *MO.getMBB()->getSymbol(); 158 return; 159 case MachineOperand::MO_JumpTableIndex: 160 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber() 161 << '_' << MO.getIndex(); 162 // FIXME: PIC relocation model 163 return; 164 case MachineOperand::MO_ConstantPoolIndex: 165 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() 166 << '_' << MO.getIndex(); 167 return; 168 case MachineOperand::MO_BlockAddress: 169 O << *GetBlockAddressSymbol(MO.getBlockAddress()); 170 return; 171 case MachineOperand::MO_ExternalSymbol: { 172 // Computing the address of an external symbol, not calling it. 173 if (TM.getRelocationModel() == Reloc::Static) { 174 O << *GetExternalSymbolSymbol(MO.getSymbolName()); 175 return; 176 } 177 178 MCSymbol *NLPSym = 179 OutContext.GetOrCreateSymbol(StringRef(MAI->getGlobalPrefix())+ 180 MO.getSymbolName()+"$non_lazy_ptr"); 181 MachineModuleInfoImpl::StubValueTy &StubSym = 182 MMI->getObjFileInfo<MachineModuleInfoMachO>().getGVStubEntry(NLPSym); 183 if (StubSym.getPointer() == 0) 184 StubSym = MachineModuleInfoImpl:: 185 StubValueTy(GetExternalSymbolSymbol(MO.getSymbolName()), true); 186 187 O << *NLPSym; 188 return; 189 } 190 case MachineOperand::MO_GlobalAddress: { 191 // Computing the address of a global symbol, not calling it. 192 const GlobalValue *GV = MO.getGlobal(); 193 MCSymbol *SymToPrint; 194 195 // External or weakly linked global variables need non-lazily-resolved stubs 196 if (TM.getRelocationModel() != Reloc::Static && 197 (GV->isDeclaration() || GV->isWeakForLinker())) { 198 if (!GV->hasHiddenVisibility()) { 199 SymToPrint = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); 200 MachineModuleInfoImpl::StubValueTy &StubSym = 201 MMI->getObjFileInfo<MachineModuleInfoMachO>() 202 .getGVStubEntry(SymToPrint); 203 if (StubSym.getPointer() == 0) 204 StubSym = MachineModuleInfoImpl:: 205 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage()); 206 } else if (GV->isDeclaration() || GV->hasCommonLinkage() || 207 GV->hasAvailableExternallyLinkage()) { 208 SymToPrint = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr"); 209 210 MachineModuleInfoImpl::StubValueTy &StubSym = 211 MMI->getObjFileInfo<MachineModuleInfoMachO>(). 212 getHiddenGVStubEntry(SymToPrint); 213 if (StubSym.getPointer() == 0) 214 StubSym = MachineModuleInfoImpl:: 215 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage()); 216 } else { 217 SymToPrint = Mang->getSymbol(GV); 218 } 219 } else { 220 SymToPrint = Mang->getSymbol(GV); 221 } 222 223 O << *SymToPrint; 224 225 printOffset(MO.getOffset(), O); 226 return; 227 } 228 229 default: 230 O << "<unknown operand type: " << MO.getType() << ">"; 231 return; 232 } 233} 234 235/// PrintAsmOperand - Print out an operand for an inline asm expression. 236/// 237bool PPCAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo, 238 unsigned AsmVariant, 239 const char *ExtraCode, raw_ostream &O) { 240 // Does this asm operand have a single letter operand modifier? 241 if (ExtraCode && ExtraCode[0]) { 242 if (ExtraCode[1] != 0) return true; // Unknown modifier. 243 244 switch (ExtraCode[0]) { 245 default: 246 // See if this is a generic print operand 247 return AsmPrinter::PrintAsmOperand(MI, OpNo, AsmVariant, ExtraCode, O); 248 case 'c': // Don't print "$" before a global var name or constant. 249 break; // PPC never has a prefix. 250 case 'L': // Write second word of DImode reference. 251 // Verify that this operand has two consecutive registers. 252 if (!MI->getOperand(OpNo).isReg() || 253 OpNo+1 == MI->getNumOperands() || 254 !MI->getOperand(OpNo+1).isReg()) 255 return true; 256 ++OpNo; // Return the high-part. 257 break; 258 case 'I': 259 // Write 'i' if an integer constant, otherwise nothing. Used to print 260 // addi vs add, etc. 261 if (MI->getOperand(OpNo).isImm()) 262 O << "i"; 263 return false; 264 } 265 } 266 267 printOperand(MI, OpNo, O); 268 return false; 269} 270 271// At the moment, all inline asm memory operands are a single register. 272// In any case, the output of this routine should always be just one 273// assembler operand. 274 275bool PPCAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo, 276 unsigned AsmVariant, 277 const char *ExtraCode, 278 raw_ostream &O) { 279 if (ExtraCode && ExtraCode[0]) { 280 if (ExtraCode[1] != 0) return true; // Unknown modifier. 281 282 switch (ExtraCode[0]) { 283 default: return true; // Unknown modifier. 284 case 'y': // A memory reference for an X-form instruction 285 { 286 const char *RegName = "r0"; 287 if (!Subtarget.isDarwin()) RegName = stripRegisterPrefix(RegName); 288 O << RegName << ", "; 289 printOperand(MI, OpNo, O); 290 return false; 291 } 292 } 293 } 294 295 assert(MI->getOperand(OpNo).isReg()); 296 O << "0("; 297 printOperand(MI, OpNo, O); 298 O << ")"; 299 return false; 300} 301 302 303/// lookUpOrCreateTOCEntry -- Given a symbol, look up whether a TOC entry 304/// exists for it. If not, create one. Then return a symbol that references 305/// the TOC entry. 306MCSymbol *PPCAsmPrinter::lookUpOrCreateTOCEntry(MCSymbol *Sym) { 307 308 MCSymbol *&TOCEntry = TOC[Sym]; 309 310 // To avoid name clash check if the name already exists. 311 while (TOCEntry == 0) { 312 if (OutContext.LookupSymbol(Twine(MAI->getPrivateGlobalPrefix()) + 313 "C" + Twine(TOCLabelID++)) == 0) { 314 TOCEntry = GetTempSymbol("C", TOCLabelID); 315 } 316 } 317 318 return TOCEntry; 319} 320 321 322/// EmitInstruction -- Print out a single PowerPC MI in Darwin syntax to 323/// the current output stream. 324/// 325void PPCAsmPrinter::EmitInstruction(const MachineInstr *MI) { 326 MCInst TmpInst; 327 328 // Lower multi-instruction pseudo operations. 329 switch (MI->getOpcode()) { 330 default: break; 331 case TargetOpcode::DBG_VALUE: 332 llvm_unreachable("Should be handled target independently"); 333 case PPC::MovePCtoLR: 334 case PPC::MovePCtoLR8: { 335 // Transform %LR = MovePCtoLR 336 // Into this, where the label is the PIC base: 337 // bl L1$pb 338 // L1$pb: 339 MCSymbol *PICBase = MF->getPICBaseSymbol(); 340 341 // Emit the 'bl'. 342 OutStreamer.EmitInstruction(MCInstBuilder(PPC::BL) 343 // FIXME: We would like an efficient form for this, so we don't have to do 344 // a lot of extra uniquing. 345 .addExpr(MCSymbolRefExpr::Create(PICBase, OutContext))); 346 347 // Emit the label. 348 OutStreamer.EmitLabel(PICBase); 349 return; 350 } 351 case PPC::LDtocJTI: 352 case PPC::LDtocCPT: 353 case PPC::LDtoc: { 354 // Transform %X3 = LDtoc <ga:@min1>, %X2 355 LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, Subtarget.isDarwin()); 356 357 // Change the opcode to LD, and the global address operand to be a 358 // reference to the TOC entry we will synthesize later. 359 TmpInst.setOpcode(PPC::LD); 360 const MachineOperand &MO = MI->getOperand(1); 361 362 // Map symbol -> label of TOC entry 363 assert(MO.isGlobal() || MO.isCPI() || MO.isJTI()); 364 MCSymbol *MOSymbol = 0; 365 if (MO.isGlobal()) 366 MOSymbol = Mang->getSymbol(MO.getGlobal()); 367 else if (MO.isCPI()) 368 MOSymbol = GetCPISymbol(MO.getIndex()); 369 else if (MO.isJTI()) 370 MOSymbol = GetJTISymbol(MO.getIndex()); 371 372 MCSymbol *TOCEntry = lookUpOrCreateTOCEntry(MOSymbol); 373 374 const MCExpr *Exp = 375 MCSymbolRefExpr::Create(TOCEntry, MCSymbolRefExpr::VK_PPC_TOC, 376 OutContext); 377 TmpInst.getOperand(1) = MCOperand::CreateExpr(Exp); 378 OutStreamer.EmitInstruction(TmpInst); 379 return; 380 } 381 382 case PPC::ADDIStocHA: { 383 // Transform %Xd = ADDIStocHA %X2, <ga:@sym> 384 LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, Subtarget.isDarwin()); 385 386 // Change the opcode to ADDIS8. If the global address is external, 387 // has common linkage, is a function address, or is a jump table 388 // address, then generate a TOC entry and reference that. Otherwise 389 // reference the symbol directly. 390 TmpInst.setOpcode(PPC::ADDIS8); 391 const MachineOperand &MO = MI->getOperand(2); 392 assert((MO.isGlobal() || MO.isCPI() || MO.isJTI()) && 393 "Invalid operand for ADDIStocHA!"); 394 MCSymbol *MOSymbol = 0; 395 bool IsExternal = false; 396 bool IsFunction = false; 397 bool IsCommon = false; 398 bool IsAvailExt = false; 399 400 if (MO.isGlobal()) { 401 const GlobalValue *GValue = MO.getGlobal(); 402 const GlobalAlias *GAlias = dyn_cast<GlobalAlias>(GValue); 403 const GlobalValue *RealGValue = GAlias ? 404 GAlias->resolveAliasedGlobal(false) : GValue; 405 MOSymbol = Mang->getSymbol(RealGValue); 406 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(RealGValue); 407 IsExternal = GVar && !GVar->hasInitializer(); 408 IsCommon = GVar && RealGValue->hasCommonLinkage(); 409 IsFunction = !GVar; 410 IsAvailExt = GVar && RealGValue->hasAvailableExternallyLinkage(); 411 } else if (MO.isCPI()) 412 MOSymbol = GetCPISymbol(MO.getIndex()); 413 else if (MO.isJTI()) 414 MOSymbol = GetJTISymbol(MO.getIndex()); 415 416 if (IsExternal || IsFunction || IsCommon || IsAvailExt || MO.isJTI()) 417 MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); 418 419 const MCExpr *Exp = 420 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_TOC_HA, 421 OutContext); 422 TmpInst.getOperand(2) = MCOperand::CreateExpr(Exp); 423 OutStreamer.EmitInstruction(TmpInst); 424 return; 425 } 426 case PPC::LDtocL: { 427 // Transform %Xd = LDtocL <ga:@sym>, %Xs 428 LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, Subtarget.isDarwin()); 429 430 // Change the opcode to LD. If the global address is external, has 431 // common linkage, or is a jump table address, then reference the 432 // associated TOC entry. Otherwise reference the symbol directly. 433 TmpInst.setOpcode(PPC::LD); 434 const MachineOperand &MO = MI->getOperand(1); 435 assert((MO.isGlobal() || MO.isJTI() || MO.isCPI()) && 436 "Invalid operand for LDtocL!"); 437 MCSymbol *MOSymbol = 0; 438 439 if (MO.isJTI()) 440 MOSymbol = lookUpOrCreateTOCEntry(GetJTISymbol(MO.getIndex())); 441 else if (MO.isCPI()) 442 MOSymbol = GetCPISymbol(MO.getIndex()); 443 else if (MO.isGlobal()) { 444 const GlobalValue *GValue = MO.getGlobal(); 445 const GlobalAlias *GAlias = dyn_cast<GlobalAlias>(GValue); 446 const GlobalValue *RealGValue = GAlias ? 447 GAlias->resolveAliasedGlobal(false) : GValue; 448 MOSymbol = Mang->getSymbol(RealGValue); 449 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(RealGValue); 450 451 if (!GVar || !GVar->hasInitializer() || RealGValue->hasCommonLinkage() || 452 RealGValue->hasAvailableExternallyLinkage()) 453 MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); 454 } 455 456 const MCExpr *Exp = 457 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_TOC_LO, 458 OutContext); 459 TmpInst.getOperand(1) = MCOperand::CreateExpr(Exp); 460 OutStreamer.EmitInstruction(TmpInst); 461 return; 462 } 463 case PPC::ADDItocL: { 464 // Transform %Xd = ADDItocL %Xs, <ga:@sym> 465 LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, Subtarget.isDarwin()); 466 467 // Change the opcode to ADDI8. If the global address is external, then 468 // generate a TOC entry and reference that. Otherwise reference the 469 // symbol directly. 470 TmpInst.setOpcode(PPC::ADDI8); 471 const MachineOperand &MO = MI->getOperand(2); 472 assert((MO.isGlobal() || MO.isCPI()) && "Invalid operand for ADDItocL"); 473 MCSymbol *MOSymbol = 0; 474 bool IsExternal = false; 475 bool IsFunction = false; 476 477 if (MO.isGlobal()) { 478 const GlobalValue *GValue = MO.getGlobal(); 479 const GlobalAlias *GAlias = dyn_cast<GlobalAlias>(GValue); 480 const GlobalValue *RealGValue = GAlias ? 481 GAlias->resolveAliasedGlobal(false) : GValue; 482 MOSymbol = Mang->getSymbol(RealGValue); 483 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(RealGValue); 484 IsExternal = GVar && !GVar->hasInitializer(); 485 IsFunction = !GVar; 486 } else if (MO.isCPI()) 487 MOSymbol = GetCPISymbol(MO.getIndex()); 488 489 if (IsFunction || IsExternal) 490 MOSymbol = lookUpOrCreateTOCEntry(MOSymbol); 491 492 const MCExpr *Exp = 493 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_TOC_LO, 494 OutContext); 495 TmpInst.getOperand(2) = MCOperand::CreateExpr(Exp); 496 OutStreamer.EmitInstruction(TmpInst); 497 return; 498 } 499 case PPC::ADDISgotTprelHA: { 500 // Transform: %Xd = ADDISgotTprelHA %X2, <ga:@sym> 501 // Into: %Xd = ADDIS8 %X2, sym@got@tlsgd@ha 502 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 503 const MachineOperand &MO = MI->getOperand(2); 504 const GlobalValue *GValue = MO.getGlobal(); 505 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 506 const MCExpr *SymGotTprel = 507 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA, 508 OutContext); 509 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDIS8) 510 .addReg(MI->getOperand(0).getReg()) 511 .addReg(PPC::X2) 512 .addExpr(SymGotTprel)); 513 return; 514 } 515 case PPC::LDgotTprelL: { 516 // Transform %Xd = LDgotTprelL <ga:@sym>, %Xs 517 LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, Subtarget.isDarwin()); 518 519 // Change the opcode to LD. 520 TmpInst.setOpcode(PPC::LD); 521 const MachineOperand &MO = MI->getOperand(1); 522 const GlobalValue *GValue = MO.getGlobal(); 523 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 524 const MCExpr *Exp = 525 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO, 526 OutContext); 527 TmpInst.getOperand(1) = MCOperand::CreateExpr(Exp); 528 OutStreamer.EmitInstruction(TmpInst); 529 return; 530 } 531 case PPC::ADDIStlsgdHA: { 532 // Transform: %Xd = ADDIStlsgdHA %X2, <ga:@sym> 533 // Into: %Xd = ADDIS8 %X2, sym@got@tlsgd@ha 534 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 535 const MachineOperand &MO = MI->getOperand(2); 536 const GlobalValue *GValue = MO.getGlobal(); 537 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 538 const MCExpr *SymGotTlsGD = 539 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA, 540 OutContext); 541 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDIS8) 542 .addReg(MI->getOperand(0).getReg()) 543 .addReg(PPC::X2) 544 .addExpr(SymGotTlsGD)); 545 return; 546 } 547 case PPC::ADDItlsgdL: { 548 // Transform: %Xd = ADDItlsgdL %Xs, <ga:@sym> 549 // Into: %Xd = ADDI8 %Xs, sym@got@tlsgd@l 550 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 551 const MachineOperand &MO = MI->getOperand(2); 552 const GlobalValue *GValue = MO.getGlobal(); 553 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 554 const MCExpr *SymGotTlsGD = 555 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO, 556 OutContext); 557 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDI8) 558 .addReg(MI->getOperand(0).getReg()) 559 .addReg(MI->getOperand(1).getReg()) 560 .addExpr(SymGotTlsGD)); 561 return; 562 } 563 case PPC::GETtlsADDR: { 564 // Transform: %X3 = GETtlsADDR %X3, <ga:@sym> 565 // Into: BL8_NOP_TLS __tls_get_addr(sym@tlsgd) 566 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 567 568 StringRef Name = "__tls_get_addr"; 569 MCSymbol *TlsGetAddr = OutContext.GetOrCreateSymbol(Name); 570 const MCSymbolRefExpr *TlsRef = 571 MCSymbolRefExpr::Create(TlsGetAddr, MCSymbolRefExpr::VK_None, OutContext); 572 const MachineOperand &MO = MI->getOperand(2); 573 const GlobalValue *GValue = MO.getGlobal(); 574 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 575 const MCExpr *SymVar = 576 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_TLSGD, 577 OutContext); 578 OutStreamer.EmitInstruction(MCInstBuilder(PPC::BL8_NOP_TLS) 579 .addExpr(TlsRef) 580 .addExpr(SymVar)); 581 return; 582 } 583 case PPC::ADDIStlsldHA: { 584 // Transform: %Xd = ADDIStlsldHA %X2, <ga:@sym> 585 // Into: %Xd = ADDIS8 %X2, sym@got@tlsld@ha 586 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 587 const MachineOperand &MO = MI->getOperand(2); 588 const GlobalValue *GValue = MO.getGlobal(); 589 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 590 const MCExpr *SymGotTlsLD = 591 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA, 592 OutContext); 593 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDIS8) 594 .addReg(MI->getOperand(0).getReg()) 595 .addReg(PPC::X2) 596 .addExpr(SymGotTlsLD)); 597 return; 598 } 599 case PPC::ADDItlsldL: { 600 // Transform: %Xd = ADDItlsldL %Xs, <ga:@sym> 601 // Into: %Xd = ADDI8 %Xs, sym@got@tlsld@l 602 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 603 const MachineOperand &MO = MI->getOperand(2); 604 const GlobalValue *GValue = MO.getGlobal(); 605 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 606 const MCExpr *SymGotTlsLD = 607 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO, 608 OutContext); 609 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDI8) 610 .addReg(MI->getOperand(0).getReg()) 611 .addReg(MI->getOperand(1).getReg()) 612 .addExpr(SymGotTlsLD)); 613 return; 614 } 615 case PPC::GETtlsldADDR: { 616 // Transform: %X3 = GETtlsldADDR %X3, <ga:@sym> 617 // Into: BL8_NOP_TLS __tls_get_addr(sym@tlsld) 618 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 619 620 StringRef Name = "__tls_get_addr"; 621 MCSymbol *TlsGetAddr = OutContext.GetOrCreateSymbol(Name); 622 const MCSymbolRefExpr *TlsRef = 623 MCSymbolRefExpr::Create(TlsGetAddr, MCSymbolRefExpr::VK_None, OutContext); 624 const MachineOperand &MO = MI->getOperand(2); 625 const GlobalValue *GValue = MO.getGlobal(); 626 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 627 const MCExpr *SymVar = 628 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_TLSLD, 629 OutContext); 630 OutStreamer.EmitInstruction(MCInstBuilder(PPC::BL8_NOP_TLS) 631 .addExpr(TlsRef) 632 .addExpr(SymVar)); 633 return; 634 } 635 case PPC::ADDISdtprelHA: { 636 // Transform: %Xd = ADDISdtprelHA %X3, <ga:@sym> 637 // Into: %Xd = ADDIS8 %X3, sym@dtprel@ha 638 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 639 const MachineOperand &MO = MI->getOperand(2); 640 const GlobalValue *GValue = MO.getGlobal(); 641 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 642 const MCExpr *SymDtprel = 643 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_DTPREL_HA, 644 OutContext); 645 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDIS8) 646 .addReg(MI->getOperand(0).getReg()) 647 .addReg(PPC::X3) 648 .addExpr(SymDtprel)); 649 return; 650 } 651 case PPC::ADDIdtprelL: { 652 // Transform: %Xd = ADDIdtprelL %Xs, <ga:@sym> 653 // Into: %Xd = ADDI8 %Xs, sym@dtprel@l 654 assert(Subtarget.isPPC64() && "Not supported for 32-bit PowerPC"); 655 const MachineOperand &MO = MI->getOperand(2); 656 const GlobalValue *GValue = MO.getGlobal(); 657 MCSymbol *MOSymbol = Mang->getSymbol(GValue); 658 const MCExpr *SymDtprel = 659 MCSymbolRefExpr::Create(MOSymbol, MCSymbolRefExpr::VK_PPC_DTPREL_LO, 660 OutContext); 661 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDI8) 662 .addReg(MI->getOperand(0).getReg()) 663 .addReg(MI->getOperand(1).getReg()) 664 .addExpr(SymDtprel)); 665 return; 666 } 667 case PPC::MFOCRF: 668 case PPC::MFOCRF8: 669 if (!Subtarget.hasMFOCRF()) { 670 // Transform: %R3 = MFOCRF %CR7 671 // Into: %R3 = MFCR ;; cr7 672 unsigned NewOpcode = 673 MI->getOpcode() == PPC::MFOCRF ? PPC::MFCR : PPC::MFCR8; 674 OutStreamer.AddComment(PPCInstPrinter:: 675 getRegisterName(MI->getOperand(1).getReg())); 676 OutStreamer.EmitInstruction(MCInstBuilder(NewOpcode) 677 .addReg(MI->getOperand(0).getReg())); 678 return; 679 } 680 break; 681 case PPC::MTOCRF: 682 case PPC::MTOCRF8: 683 if (!Subtarget.hasMFOCRF()) { 684 // Transform: %CR7 = MTOCRF %R3 685 // Into: MTCRF mask, %R3 ;; cr7 686 unsigned NewOpcode = 687 MI->getOpcode() == PPC::MTOCRF ? PPC::MTCRF : PPC::MTCRF8; 688 unsigned Mask = 0x80 >> OutContext.getRegisterInfo() 689 ->getEncodingValue(MI->getOperand(0).getReg()); 690 OutStreamer.AddComment(PPCInstPrinter:: 691 getRegisterName(MI->getOperand(0).getReg())); 692 OutStreamer.EmitInstruction(MCInstBuilder(NewOpcode) 693 .addImm(Mask) 694 .addReg(MI->getOperand(1).getReg())); 695 return; 696 } 697 break; 698 case PPC::SYNC: 699 // In Book E sync is called msync, handle this special case here... 700 if (Subtarget.isBookE()) { 701 OutStreamer.EmitRawText(StringRef("\tmsync")); 702 return; 703 } 704 break; 705 case PPC::LD: 706 case PPC::STD: 707 case PPC::LWA: { 708 // Verify alignment is legal, so we don't create relocations 709 // that can't be supported. 710 // FIXME: This test is currently disabled for Darwin. The test 711 // suite shows a handful of test cases that fail this check for 712 // Darwin. Those need to be investigated before this sanity test 713 // can be enabled for those subtargets. 714 if (!Subtarget.isDarwin()) { 715 unsigned OpNum = (MI->getOpcode() == PPC::STD) ? 2 : 1; 716 const MachineOperand &MO = MI->getOperand(OpNum); 717 if (MO.isGlobal() && MO.getGlobal()->getAlignment() < 4) 718 llvm_unreachable("Global must be word-aligned for LD, STD, LWA!"); 719 } 720 // Now process the instruction normally. 721 break; 722 } 723 } 724 725 LowerPPCMachineInstrToMCInst(MI, TmpInst, *this, Subtarget.isDarwin()); 726 OutStreamer.EmitInstruction(TmpInst); 727} 728 729void PPCLinuxAsmPrinter::EmitFunctionEntryLabel() { 730 if (!Subtarget.isPPC64()) // linux/ppc32 - Normal entry label. 731 return AsmPrinter::EmitFunctionEntryLabel(); 732 733 // Emit an official procedure descriptor. 734 MCSectionSubPair Current = OutStreamer.getCurrentSection(); 735 const MCSectionELF *Section = OutStreamer.getContext().getELFSection(".opd", 736 ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC, 737 SectionKind::getReadOnly()); 738 OutStreamer.SwitchSection(Section); 739 OutStreamer.EmitLabel(CurrentFnSym); 740 OutStreamer.EmitValueToAlignment(8); 741 MCSymbol *Symbol1 = 742 OutContext.GetOrCreateSymbol(".L." + Twine(CurrentFnSym->getName())); 743 // Generates a R_PPC64_ADDR64 (from FK_DATA_8) relocation for the function 744 // entry point. 745 OutStreamer.EmitValue(MCSymbolRefExpr::Create(Symbol1, OutContext), 746 8 /*size*/); 747 MCSymbol *Symbol2 = OutContext.GetOrCreateSymbol(StringRef(".TOC.")); 748 // Generates a R_PPC64_TOC relocation for TOC base insertion. 749 OutStreamer.EmitValue(MCSymbolRefExpr::Create(Symbol2, 750 MCSymbolRefExpr::VK_PPC_TOCBASE, OutContext), 751 8/*size*/); 752 // Emit a null environment pointer. 753 OutStreamer.EmitIntValue(0, 8 /* size */); 754 OutStreamer.SwitchSection(Current.first, Current.second); 755 756 MCSymbol *RealFnSym = OutContext.GetOrCreateSymbol( 757 ".L." + Twine(CurrentFnSym->getName())); 758 OutStreamer.EmitLabel(RealFnSym); 759 CurrentFnSymForSize = RealFnSym; 760} 761 762 763bool PPCLinuxAsmPrinter::doFinalization(Module &M) { 764 const DataLayout *TD = TM.getDataLayout(); 765 766 bool isPPC64 = TD->getPointerSizeInBits() == 64; 767 768 if (isPPC64 && !TOC.empty()) { 769 const MCSectionELF *Section = OutStreamer.getContext().getELFSection(".toc", 770 ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC, 771 SectionKind::getReadOnly()); 772 OutStreamer.SwitchSection(Section); 773 774 for (MapVector<MCSymbol*, MCSymbol*>::iterator I = TOC.begin(), 775 E = TOC.end(); I != E; ++I) { 776 OutStreamer.EmitLabel(I->second); 777 MCSymbol *S = OutContext.GetOrCreateSymbol(I->first->getName()); 778 OutStreamer.EmitTCEntry(*S); 779 } 780 } 781 782 MachineModuleInfoELF &MMIELF = 783 MMI->getObjFileInfo<MachineModuleInfoELF>(); 784 785 MachineModuleInfoELF::SymbolListTy Stubs = MMIELF.GetGVStubList(); 786 if (!Stubs.empty()) { 787 OutStreamer.SwitchSection(getObjFileLowering().getDataSection()); 788 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 789 // L_foo$stub: 790 OutStreamer.EmitLabel(Stubs[i].first); 791 // .long _foo 792 OutStreamer.EmitValue(MCSymbolRefExpr::Create(Stubs[i].second.getPointer(), 793 OutContext), 794 isPPC64 ? 8 : 4/*size*/); 795 } 796 797 Stubs.clear(); 798 OutStreamer.AddBlankLine(); 799 } 800 801 return AsmPrinter::doFinalization(M); 802} 803 804/// EmitFunctionBodyEnd - Print the traceback table before the .size 805/// directive. 806/// 807void PPCLinuxAsmPrinter::EmitFunctionBodyEnd() { 808 // Only the 64-bit target requires a traceback table. For now, 809 // we only emit the word of zeroes that GDB requires to find 810 // the end of the function, and zeroes for the eight-byte 811 // mandatory fields. 812 // FIXME: We should fill in the eight-byte mandatory fields as described in 813 // the PPC64 ELF ABI (this is a low-priority item because GDB does not 814 // currently make use of these fields). 815 if (Subtarget.isPPC64()) { 816 OutStreamer.EmitIntValue(0, 4/*size*/); 817 OutStreamer.EmitIntValue(0, 8/*size*/); 818 } 819} 820 821void PPCDarwinAsmPrinter::EmitStartOfAsmFile(Module &M) { 822 static const char *const CPUDirectives[] = { 823 "", 824 "ppc", 825 "ppc440", 826 "ppc601", 827 "ppc602", 828 "ppc603", 829 "ppc7400", 830 "ppc750", 831 "ppc970", 832 "ppcA2", 833 "ppce500mc", 834 "ppce5500", 835 "power3", 836 "power4", 837 "power5", 838 "power5x", 839 "power6", 840 "power6x", 841 "power7", 842 "ppc64", 843 "ppc64le" 844 }; 845 846 unsigned Directive = Subtarget.getDarwinDirective(); 847 if (Subtarget.hasMFOCRF() && Directive < PPC::DIR_970) 848 Directive = PPC::DIR_970; 849 if (Subtarget.hasAltivec() && Directive < PPC::DIR_7400) 850 Directive = PPC::DIR_7400; 851 if (Subtarget.isPPC64() && Directive < PPC::DIR_64) 852 Directive = PPC::DIR_64; 853 assert(Directive <= PPC::DIR_64 && "Directive out of range."); 854 855 // FIXME: This is a total hack, finish mc'izing the PPC backend. 856 if (OutStreamer.hasRawTextSupport()) { 857 assert(Directive < array_lengthof(CPUDirectives) && 858 "CPUDirectives[] might not be up-to-date!"); 859 OutStreamer.EmitRawText("\t.machine " + Twine(CPUDirectives[Directive])); 860 } 861 862 // Prime text sections so they are adjacent. This reduces the likelihood a 863 // large data or debug section causes a branch to exceed 16M limit. 864 const TargetLoweringObjectFileMachO &TLOFMacho = 865 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); 866 OutStreamer.SwitchSection(TLOFMacho.getTextCoalSection()); 867 if (TM.getRelocationModel() == Reloc::PIC_) { 868 OutStreamer.SwitchSection( 869 OutContext.getMachOSection("__TEXT", "__picsymbolstub1", 870 MCSectionMachO::S_SYMBOL_STUBS | 871 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 872 32, SectionKind::getText())); 873 } else if (TM.getRelocationModel() == Reloc::DynamicNoPIC) { 874 OutStreamer.SwitchSection( 875 OutContext.getMachOSection("__TEXT","__symbol_stub1", 876 MCSectionMachO::S_SYMBOL_STUBS | 877 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 878 16, SectionKind::getText())); 879 } 880 OutStreamer.SwitchSection(getObjFileLowering().getTextSection()); 881} 882 883static MCSymbol *GetLazyPtr(MCSymbol *Sym, MCContext &Ctx) { 884 // Remove $stub suffix, add $lazy_ptr. 885 StringRef NoStub = Sym->getName().substr(0, Sym->getName().size()-5); 886 return Ctx.GetOrCreateSymbol(NoStub + "$lazy_ptr"); 887} 888 889static MCSymbol *GetAnonSym(MCSymbol *Sym, MCContext &Ctx) { 890 // Add $tmp suffix to $stub, yielding $stub$tmp. 891 return Ctx.GetOrCreateSymbol(Sym->getName() + "$tmp"); 892} 893 894void PPCDarwinAsmPrinter:: 895EmitFunctionStubs(const MachineModuleInfoMachO::SymbolListTy &Stubs) { 896 bool isPPC64 = TM.getDataLayout()->getPointerSizeInBits() == 64; 897 bool isDarwin = Subtarget.isDarwin(); 898 899 const TargetLoweringObjectFileMachO &TLOFMacho = 900 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); 901 902 // .lazy_symbol_pointer 903 const MCSection *LSPSection = TLOFMacho.getLazySymbolPointerSection(); 904 905 // Output stubs for dynamically-linked functions 906 if (TM.getRelocationModel() == Reloc::PIC_) { 907 const MCSection *StubSection = 908 OutContext.getMachOSection("__TEXT", "__picsymbolstub1", 909 MCSectionMachO::S_SYMBOL_STUBS | 910 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 911 32, SectionKind::getText()); 912 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 913 OutStreamer.SwitchSection(StubSection); 914 EmitAlignment(4); 915 916 MCSymbol *Stub = Stubs[i].first; 917 MCSymbol *RawSym = Stubs[i].second.getPointer(); 918 MCSymbol *LazyPtr = GetLazyPtr(Stub, OutContext); 919 MCSymbol *AnonSymbol = GetAnonSym(Stub, OutContext); 920 921 OutStreamer.EmitLabel(Stub); 922 OutStreamer.EmitSymbolAttribute(RawSym, MCSA_IndirectSymbol); 923 924 const MCExpr *Anon = MCSymbolRefExpr::Create(AnonSymbol, OutContext); 925 const MCExpr *LazyPtrExpr = MCSymbolRefExpr::Create(LazyPtr, OutContext); 926 const MCExpr *Sub = 927 MCBinaryExpr::CreateSub(LazyPtrExpr, Anon, OutContext); 928 929 // mflr r0 930 OutStreamer.EmitInstruction(MCInstBuilder(PPC::MFLR).addReg(PPC::R0)); 931 // bcl 20, 31, AnonSymbol 932 OutStreamer.EmitInstruction(MCInstBuilder(PPC::BCLalways).addExpr(Anon)); 933 OutStreamer.EmitLabel(AnonSymbol); 934 // mflr r11 935 OutStreamer.EmitInstruction(MCInstBuilder(PPC::MFLR).addReg(PPC::R11)); 936 // addis r11, r11, ha16(LazyPtr - AnonSymbol) 937 const MCExpr *SubHa16 = PPCMCExpr::CreateHa(Sub, isDarwin, OutContext); 938 OutStreamer.EmitInstruction(MCInstBuilder(PPC::ADDIS) 939 .addReg(PPC::R11) 940 .addReg(PPC::R11) 941 .addExpr(SubHa16)); 942 // mtlr r0 943 OutStreamer.EmitInstruction(MCInstBuilder(PPC::MTLR).addReg(PPC::R0)); 944 945 // ldu r12, lo16(LazyPtr - AnonSymbol)(r11) 946 // lwzu r12, lo16(LazyPtr - AnonSymbol)(r11) 947 const MCExpr *SubLo16 = PPCMCExpr::CreateLo(Sub, isDarwin, OutContext); 948 OutStreamer.EmitInstruction(MCInstBuilder(isPPC64 ? PPC::LDU : PPC::LWZU) 949 .addReg(PPC::R12) 950 .addExpr(SubLo16).addExpr(SubLo16) 951 .addReg(PPC::R11)); 952 // mtctr r12 953 OutStreamer.EmitInstruction(MCInstBuilder(PPC::MTCTR).addReg(PPC::R12)); 954 // bctr 955 OutStreamer.EmitInstruction(MCInstBuilder(PPC::BCTR)); 956 957 OutStreamer.SwitchSection(LSPSection); 958 OutStreamer.EmitLabel(LazyPtr); 959 OutStreamer.EmitSymbolAttribute(RawSym, MCSA_IndirectSymbol); 960 961 MCSymbol *DyldStubBindingHelper = 962 OutContext.GetOrCreateSymbol(StringRef("dyld_stub_binding_helper")); 963 if (isPPC64) { 964 // .quad dyld_stub_binding_helper 965 OutStreamer.EmitSymbolValue(DyldStubBindingHelper, 8); 966 } else { 967 // .long dyld_stub_binding_helper 968 OutStreamer.EmitSymbolValue(DyldStubBindingHelper, 4); 969 } 970 } 971 OutStreamer.AddBlankLine(); 972 return; 973 } 974 975 const MCSection *StubSection = 976 OutContext.getMachOSection("__TEXT","__symbol_stub1", 977 MCSectionMachO::S_SYMBOL_STUBS | 978 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS, 979 16, SectionKind::getText()); 980 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 981 MCSymbol *Stub = Stubs[i].first; 982 MCSymbol *RawSym = Stubs[i].second.getPointer(); 983 MCSymbol *LazyPtr = GetLazyPtr(Stub, OutContext); 984 const MCExpr *LazyPtrExpr = MCSymbolRefExpr::Create(LazyPtr, OutContext); 985 986 OutStreamer.SwitchSection(StubSection); 987 EmitAlignment(4); 988 OutStreamer.EmitLabel(Stub); 989 OutStreamer.EmitSymbolAttribute(RawSym, MCSA_IndirectSymbol); 990 991 // lis r11, ha16(LazyPtr) 992 const MCExpr *LazyPtrHa16 = 993 PPCMCExpr::CreateHa(LazyPtrExpr, isDarwin, OutContext); 994 OutStreamer.EmitInstruction(MCInstBuilder(PPC::LIS) 995 .addReg(PPC::R11) 996 .addExpr(LazyPtrHa16)); 997 998 // ldu r12, lo16(LazyPtr)(r11) 999 // lwzu r12, lo16(LazyPtr)(r11) 1000 const MCExpr *LazyPtrLo16 = 1001 PPCMCExpr::CreateLo(LazyPtrExpr, isDarwin, OutContext); 1002 OutStreamer.EmitInstruction(MCInstBuilder(isPPC64 ? PPC::LDU : PPC::LWZU) 1003 .addReg(PPC::R12) 1004 .addExpr(LazyPtrLo16).addExpr(LazyPtrLo16) 1005 .addReg(PPC::R11)); 1006 1007 // mtctr r12 1008 OutStreamer.EmitInstruction(MCInstBuilder(PPC::MTCTR).addReg(PPC::R12)); 1009 // bctr 1010 OutStreamer.EmitInstruction(MCInstBuilder(PPC::BCTR)); 1011 1012 OutStreamer.SwitchSection(LSPSection); 1013 OutStreamer.EmitLabel(LazyPtr); 1014 OutStreamer.EmitSymbolAttribute(RawSym, MCSA_IndirectSymbol); 1015 1016 MCSymbol *DyldStubBindingHelper = 1017 OutContext.GetOrCreateSymbol(StringRef("dyld_stub_binding_helper")); 1018 if (isPPC64) { 1019 // .quad dyld_stub_binding_helper 1020 OutStreamer.EmitSymbolValue(DyldStubBindingHelper, 8); 1021 } else { 1022 // .long dyld_stub_binding_helper 1023 OutStreamer.EmitSymbolValue(DyldStubBindingHelper, 4); 1024 } 1025 } 1026 1027 OutStreamer.AddBlankLine(); 1028} 1029 1030 1031bool PPCDarwinAsmPrinter::doFinalization(Module &M) { 1032 bool isPPC64 = TM.getDataLayout()->getPointerSizeInBits() == 64; 1033 1034 // Darwin/PPC always uses mach-o. 1035 const TargetLoweringObjectFileMachO &TLOFMacho = 1036 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering()); 1037 MachineModuleInfoMachO &MMIMacho = 1038 MMI->getObjFileInfo<MachineModuleInfoMachO>(); 1039 1040 MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetFnStubList(); 1041 if (!Stubs.empty()) 1042 EmitFunctionStubs(Stubs); 1043 1044 if (MAI->doesSupportExceptionHandling() && MMI) { 1045 // Add the (possibly multiple) personalities to the set of global values. 1046 // Only referenced functions get into the Personalities list. 1047 const std::vector<const Function*> &Personalities = MMI->getPersonalities(); 1048 for (std::vector<const Function*>::const_iterator I = Personalities.begin(), 1049 E = Personalities.end(); I != E; ++I) { 1050 if (*I) { 1051 MCSymbol *NLPSym = GetSymbolWithGlobalValueBase(*I, "$non_lazy_ptr"); 1052 MachineModuleInfoImpl::StubValueTy &StubSym = 1053 MMIMacho.getGVStubEntry(NLPSym); 1054 StubSym = MachineModuleInfoImpl::StubValueTy(Mang->getSymbol(*I), true); 1055 } 1056 } 1057 } 1058 1059 // Output stubs for dynamically-linked functions. 1060 Stubs = MMIMacho.GetGVStubList(); 1061 1062 // Output macho stubs for external and common global variables. 1063 if (!Stubs.empty()) { 1064 // Switch with ".non_lazy_symbol_pointer" directive. 1065 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection()); 1066 EmitAlignment(isPPC64 ? 3 : 2); 1067 1068 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 1069 // L_foo$stub: 1070 OutStreamer.EmitLabel(Stubs[i].first); 1071 // .indirect_symbol _foo 1072 MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second; 1073 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(), MCSA_IndirectSymbol); 1074 1075 if (MCSym.getInt()) 1076 // External to current translation unit. 1077 OutStreamer.EmitIntValue(0, isPPC64 ? 8 : 4/*size*/); 1078 else 1079 // Internal to current translation unit. 1080 // 1081 // When we place the LSDA into the TEXT section, the type info pointers 1082 // need to be indirect and pc-rel. We accomplish this by using NLPs. 1083 // However, sometimes the types are local to the file. So we need to 1084 // fill in the value for the NLP in those cases. 1085 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(), 1086 OutContext), 1087 isPPC64 ? 8 : 4/*size*/); 1088 } 1089 1090 Stubs.clear(); 1091 OutStreamer.AddBlankLine(); 1092 } 1093 1094 Stubs = MMIMacho.GetHiddenGVStubList(); 1095 if (!Stubs.empty()) { 1096 OutStreamer.SwitchSection(getObjFileLowering().getDataSection()); 1097 EmitAlignment(isPPC64 ? 3 : 2); 1098 1099 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) { 1100 // L_foo$stub: 1101 OutStreamer.EmitLabel(Stubs[i].first); 1102 // .long _foo 1103 OutStreamer.EmitValue(MCSymbolRefExpr:: 1104 Create(Stubs[i].second.getPointer(), 1105 OutContext), 1106 isPPC64 ? 8 : 4/*size*/); 1107 } 1108 1109 Stubs.clear(); 1110 OutStreamer.AddBlankLine(); 1111 } 1112 1113 // Funny Darwin hack: This flag tells the linker that no global symbols 1114 // contain code that falls through to other global symbols (e.g. the obvious 1115 // implementation of multiple entry points). If this doesn't occur, the 1116 // linker can safely perform dead code stripping. Since LLVM never generates 1117 // code that does this, it is always safe to set. 1118 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols); 1119 1120 return AsmPrinter::doFinalization(M); 1121} 1122 1123/// createPPCAsmPrinterPass - Returns a pass that prints the PPC assembly code 1124/// for a MachineFunction to the given output stream, in a format that the 1125/// Darwin assembler can deal with. 1126/// 1127static AsmPrinter *createPPCAsmPrinterPass(TargetMachine &tm, 1128 MCStreamer &Streamer) { 1129 const PPCSubtarget *Subtarget = &tm.getSubtarget<PPCSubtarget>(); 1130 1131 if (Subtarget->isDarwin()) 1132 return new PPCDarwinAsmPrinter(tm, Streamer); 1133 return new PPCLinuxAsmPrinter(tm, Streamer); 1134} 1135 1136// Force static initialization. 1137extern "C" void LLVMInitializePowerPCAsmPrinter() { 1138 TargetRegistry::RegisterAsmPrinter(ThePPC32Target, createPPCAsmPrinterPass); 1139 TargetRegistry::RegisterAsmPrinter(ThePPC64Target, createPPCAsmPrinterPass); 1140} 1141