lib/CodeGen/AsmPrinter.cpp

   1 //===-- AsmPrinter.cpp - Common AsmPrinter code ---------------------------===//
   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 implements the AsmPrinter class.
  11 //
  12 //===----------------------------------------------------------------------===//
  13
  14 #include "llvm/CodeGen/AsmPrinter.h"
  15 #include "llvm/Assembly/Writer.h"
  16 #include "llvm/DerivedTypes.h"
  17 #include "llvm/Constants.h"
  18 #include "llvm/Module.h"
  19 #include "llvm/CodeGen/Collector.h"
  20 #include "llvm/CodeGen/CollectorMetadata.h"
  21 #include "llvm/CodeGen/MachineConstantPool.h"
  22 #include "llvm/CodeGen/MachineJumpTableInfo.h"
  23 #include "llvm/CodeGen/MachineModuleInfo.h"
  24 #include "llvm/Support/CommandLine.h"
  25 #include "llvm/Support/Mangler.h"
  26 #include "llvm/Support/MathExtras.h"
  27 #include "llvm/Support/Streams.h"
  28 #include "llvm/Target/TargetAsmInfo.h"
  29 #include "llvm/Target/TargetData.h"
  30 #include "llvm/Target/TargetLowering.h"
  31 #include "llvm/Target/TargetMachine.h"
  32 #include "llvm/Target/TargetRegisterInfo.h"
  33 #include "llvm/ADT/SmallPtrSet.h"
  34 #include <cerrno>
  35 using namespace llvm;
  36
  37 static cl::opt<bool>
  38 AsmVerbose("asm-verbose", cl::Hidden, cl::desc("Add comments to directives."));
  39
  40 char AsmPrinter::ID = 0;
  41 AsmPrinter::AsmPrinter(std::ostream &o, TargetMachine &tm,
  42                        const TargetAsmInfo *T)
  43   : MachineFunctionPass((intptr_t)&ID), FunctionNumber(0), O(o),
  44     TM(tm), TAI(T), TRI(tm.getRegisterInfo()),
  45     IsInTextSection(false)
  46 {}
  47
  48 std::string AsmPrinter::getSectionForFunction(const Function &F) const {
  49   return TAI->getTextSection();
  50 }
  51
  52
  53 /// SwitchToTextSection - Switch to the specified text section of the executable
  54 /// if we are not already in it!
  55 ///
  56 void AsmPrinter::SwitchToTextSection(const char *NewSection,
  57                                      const GlobalValue *GV) {
  58   std::string NS;
  59   if (GV && GV->hasSection())
  60     NS = TAI->getSwitchToSectionDirective() + GV->getSection();
  61   else
  62     NS = NewSection;
  63
  64   // If we're already in this section, we're done.
  65   if (CurrentSection == NS) return;
  66
  67   // Close the current section, if applicable.
  68   if (TAI->getSectionEndDirectiveSuffix() && !CurrentSection.empty())
  69     O << CurrentSection << TAI->getSectionEndDirectiveSuffix() << "\n";
  70
  71   CurrentSection = NS;
  72
  73   if (!CurrentSection.empty())
  74     O << CurrentSection << TAI->getTextSectionStartSuffix() << '\n';
  75
  76   IsInTextSection = true;
  77 }
  78
  79 /// SwitchToDataSection - Switch to the specified data section of the executable
  80 /// if we are not already in it!
  81 ///
  82 void AsmPrinter::SwitchToDataSection(const char *NewSection,
  83                                      const GlobalValue *GV) {
  84   std::string NS;
  85   if (GV && GV->hasSection())
  86     NS = TAI->getSwitchToSectionDirective() + GV->getSection();
  87   else
  88     NS = NewSection;
  89
  90   // If we're already in this section, we're done.
  91   if (CurrentSection == NS) return;
  92
  93   // Close the current section, if applicable.
  94   if (TAI->getSectionEndDirectiveSuffix() && !CurrentSection.empty())
  95     O << CurrentSection << TAI->getSectionEndDirectiveSuffix() << "\n";
  96
  97   CurrentSection = NS;
  98
  99   if (!CurrentSection.empty())
 100     O << CurrentSection << TAI->getDataSectionStartSuffix() << '\n';
 101
 102   IsInTextSection = false;
 103 }
 104
 105
 106 void AsmPrinter::getAnalysisUsage(AnalysisUsage &AU) const {
 107   MachineFunctionPass::getAnalysisUsage(AU);
 108   AU.addRequired<CollectorModuleMetadata>();
 109 }
 110
 111 bool AsmPrinter::doInitialization(Module &M) {
 112   Mang = new Mangler(M, TAI->getGlobalPrefix());
 113
 114   CollectorModuleMetadata *CMM = getAnalysisToUpdate<CollectorModuleMetadata>();
 115   assert(CMM && "AsmPrinter didn't require CollectorModuleMetadata?");
 116   for (CollectorModuleMetadata::iterator I = CMM->begin(),
 117                                          E = CMM->end(); I != E; ++I)
 118     (*I)->beginAssembly(O, *this, *TAI);
 119
 120   if (!M.getModuleInlineAsm().empty())
 121     O << TAI->getCommentString() << " Start of file scope inline assembly\n"
 122       << M.getModuleInlineAsm()
 123       << "\n" << TAI->getCommentString()
 124       << " End of file scope inline assembly\n";
 125
 126   SwitchToDataSection("");   // Reset back to no section.
 127
 128   MMI = getAnalysisToUpdate<MachineModuleInfo>();
 129   if (MMI) MMI->AnalyzeModule(M);
 130
 131   return false;
 132 }
 133
 134 bool AsmPrinter::doFinalization(Module &M) {
 135   if (TAI->getWeakRefDirective()) {
 136     if (!ExtWeakSymbols.empty())
 137       SwitchToDataSection("");
 138
 139     for (std::set<const GlobalValue*>::iterator i = ExtWeakSymbols.begin(),
 140          e = ExtWeakSymbols.end(); i != e; ++i) {
 141       const GlobalValue *GV = *i;
 142       std::string Name = Mang->getValueName(GV);
 143       O << TAI->getWeakRefDirective() << Name << "\n";
 144     }
 145   }
 146
 147   if (TAI->getSetDirective()) {
 148     if (!M.alias_empty())
 149       SwitchToTextSection(TAI->getTextSection());
 150
 151     O << "\n";
 152     for (Module::const_alias_iterator I = M.alias_begin(), E = M.alias_end();
 153          I!=E; ++I) {
 154       std::string Name = Mang->getValueName(I);
 155       std::string Target;
 156
 157       const GlobalValue *GV = cast<GlobalValue>(I->getAliasedGlobal());
 158       Target = Mang->getValueName(GV);
 159
 160       if (I->hasExternalLinkage() || !TAI->getWeakRefDirective())
 161         O << "\t.globl\t" << Name << "\n";
 162       else if (I->hasWeakLinkage())
 163         O << TAI->getWeakRefDirective() << Name << "\n";
 164       else if (!I->hasInternalLinkage())
 165         assert(0 && "Invalid alias linkage");
 166
 167       if (I->hasHiddenVisibility()) {
 168         if (const char *Directive = TAI->getHiddenDirective())
 169           O << Directive << Name << "\n";
 170       } else if (I->hasProtectedVisibility()) {
 171         if (const char *Directive = TAI->getProtectedDirective())
 172           O << Directive << Name << "\n";
 173       }
 174
 175       O << TAI->getSetDirective() << ' ' << Name << ", " << Target << "\n";
 176
 177       // If the aliasee has external weak linkage it can be referenced only by
 178       // alias itself. In this case it can be not in ExtWeakSymbols list. Emit
 179       // weak reference in such case.
 180       if (GV->hasExternalWeakLinkage()) {
 181         if (TAI->getWeakRefDirective())
 182           O << TAI->getWeakRefDirective() << Target << "\n";
 183         else
 184           O << "\t.globl\t" << Target << "\n";
 185       }
 186     }
 187   }
 188
 189   CollectorModuleMetadata *CMM = getAnalysisToUpdate<CollectorModuleMetadata>();
 190   assert(CMM && "AsmPrinter didn't require CollectorModuleMetadata?");
 191   for (CollectorModuleMetadata::iterator I = CMM->end(),
 192                                          E = CMM->begin(); I != E; )
 193     (*--I)->finishAssembly(O, *this, *TAI);
 194
 195   delete Mang; Mang = 0;
 196   return false;
 197 }
 198
 199 std::string AsmPrinter::getCurrentFunctionEHName(const MachineFunction *MF) {
 200   assert(MF && "No machine function?");
 201   return Mang->makeNameProper(MF->getFunction()->getName() + ".eh",
 202                               TAI->getGlobalPrefix());
 203 }
 204
 205 void AsmPrinter::SetupMachineFunction(MachineFunction &MF) {
 206   // What's my mangled name?
 207   CurrentFnName = Mang->getValueName(MF.getFunction());
 208   IncrementFunctionNumber();
 209 }
 210
 211 /// EmitConstantPool - Print to the current output stream assembly
 212 /// representations of the constants in the constant pool MCP. This is
 213 /// used to print out constants which have been "spilled to memory" by
 214 /// the code generator.
 215 ///
 216 void AsmPrinter::EmitConstantPool(MachineConstantPool *MCP) {
 217   const std::vector<MachineConstantPoolEntry> &CP = MCP->getConstants();
 218   if (CP.empty()) return;
 219
 220   // Some targets require 4-, 8-, and 16- byte constant literals to be placed
 221   // in special sections.
 222   std::vector<std::pair<MachineConstantPoolEntry,unsigned> > FourByteCPs;
 223   std::vector<std::pair<MachineConstantPoolEntry,unsigned> > EightByteCPs;
 224   std::vector<std::pair<MachineConstantPoolEntry,unsigned> > SixteenByteCPs;
 225   std::vector<std::pair<MachineConstantPoolEntry,unsigned> > OtherCPs;
 226   std::vector<std::pair<MachineConstantPoolEntry,unsigned> > TargetCPs;
 227   for (unsigned i = 0, e = CP.size(); i != e; ++i) {
 228     MachineConstantPoolEntry CPE = CP[i];
 229     const Type *Ty = CPE.getType();
 230     if (TAI->getFourByteConstantSection() &&
 231         TM.getTargetData()->getABITypeSize(Ty) == 4)
 232       FourByteCPs.push_back(std::make_pair(CPE, i));
 233     else if (TAI->getEightByteConstantSection() &&
 234              TM.getTargetData()->getABITypeSize(Ty) == 8)
 235       EightByteCPs.push_back(std::make_pair(CPE, i));
 236     else if (TAI->getSixteenByteConstantSection() &&
 237              TM.getTargetData()->getABITypeSize(Ty) == 16)
 238       SixteenByteCPs.push_back(std::make_pair(CPE, i));
 239     else
 240       OtherCPs.push_back(std::make_pair(CPE, i));
 241   }
 242
 243   unsigned Alignment = MCP->getConstantPoolAlignment();
 244   EmitConstantPool(Alignment, TAI->getFourByteConstantSection(), FourByteCPs);
 245   EmitConstantPool(Alignment, TAI->getEightByteConstantSection(), EightByteCPs);
 246   EmitConstantPool(Alignment, TAI->getSixteenByteConstantSection(),
 247                    SixteenByteCPs);
 248   EmitConstantPool(Alignment, TAI->getConstantPoolSection(), OtherCPs);
 249 }
 250
 251 void AsmPrinter::EmitConstantPool(unsigned Alignment, const char *Section,
 252                std::vector<std::pair<MachineConstantPoolEntry,unsigned> > &CP) {
 253   if (CP.empty()) return;
 254
 255   SwitchToDataSection(Section);
 256   EmitAlignment(Alignment);
 257   for (unsigned i = 0, e = CP.size(); i != e; ++i) {
 258     O << TAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber() << '_'
 259       << CP[i].second << ":\t\t\t\t\t" << TAI->getCommentString() << " ";
 260     WriteTypeSymbolic(O, CP[i].first.getType(), 0) << '\n';
 261     if (CP[i].first.isMachineConstantPoolEntry())
 262       EmitMachineConstantPoolValue(CP[i].first.Val.MachineCPVal);
 263      else
 264       EmitGlobalConstant(CP[i].first.Val.ConstVal);
 265     if (i != e-1) {
 266       const Type *Ty = CP[i].first.getType();
 267       unsigned EntSize =
 268         TM.getTargetData()->getABITypeSize(Ty);
 269       unsigned ValEnd = CP[i].first.getOffset() + EntSize;
 270       // Emit inter-object padding for alignment.
 271       EmitZeros(CP[i+1].first.getOffset()-ValEnd);
 272     }
 273   }
 274 }
 275
 276 /// EmitJumpTableInfo - Print assembly representations of the jump tables used
 277 /// by the current function to the current output stream.
 278 ///
 279 void AsmPrinter::EmitJumpTableInfo(MachineJumpTableInfo *MJTI,
 280                                    MachineFunction &MF) {
 281   const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
 282   if (JT.empty()) return;
 283
 284   bool IsPic = TM.getRelocationModel() == Reloc::PIC_;
 285
 286   // Pick the directive to use to print the jump table entries, and switch to
 287   // the appropriate section.
 288   TargetLowering *LoweringInfo = TM.getTargetLowering();
 289
 290   const char* JumpTableDataSection = TAI->getJumpTableDataSection();
 291   if ((IsPic && !(LoweringInfo && LoweringInfo->usesGlobalOffsetTable())) ||
 292      !JumpTableDataSection) {
 293     // In PIC mode, we need to emit the jump table to the same section as the
 294     // function body itself, otherwise the label differences won't make sense.
 295     // We should also do if the section name is NULL.
 296     const Function *F = MF.getFunction();
 297     SwitchToTextSection(getSectionForFunction(*F).c_str(), F);
 298   } else {
 299     SwitchToDataSection(JumpTableDataSection);
 300   }
 301
 302   EmitAlignment(Log2_32(MJTI->getAlignment()));
 303
 304   for (unsigned i = 0, e = JT.size(); i != e; ++i) {
 305     const std::vector<MachineBasicBlock*> &JTBBs = JT[i].MBBs;
 306
 307     // If this jump table was deleted, ignore it.
 308     if (JTBBs.empty()) continue;
 309
 310     // For PIC codegen, if possible we want to use the SetDirective to reduce
 311     // the number of relocations the assembler will generate for the jump table.
 312     // Set directives are all printed before the jump table itself.
 313     SmallPtrSet<MachineBasicBlock*, 16> EmittedSets;
 314     if (TAI->getSetDirective() && IsPic)
 315       for (unsigned ii = 0, ee = JTBBs.size(); ii != ee; ++ii)
 316         if (EmittedSets.insert(JTBBs[ii]))
 317           printPICJumpTableSetLabel(i, JTBBs[ii]);
 318
 319     // On some targets (e.g. darwin) we want to emit two consequtive labels
 320     // before each jump table.  The first label is never referenced, but tells
 321     // the assembler and linker the extents of the jump table object.  The
 322     // second label is actually referenced by the code.
 323     if (const char *JTLabelPrefix = TAI->getJumpTableSpecialLabelPrefix())
 324       O << JTLabelPrefix << "JTI" << getFunctionNumber() << '_' << i << ":\n";
 325
 326     O << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
 327       << '_' << i << ":\n";
 328
 329     for (unsigned ii = 0, ee = JTBBs.size(); ii != ee; ++ii) {
 330       printPICJumpTableEntry(MJTI, JTBBs[ii], i);
 331       O << '\n';
 332     }
 333   }
 334 }
 335
 336 void AsmPrinter::printPICJumpTableEntry(const MachineJumpTableInfo *MJTI,
 337                                         const MachineBasicBlock *MBB,
 338                                         unsigned uid)  const {
 339   bool IsPic = TM.getRelocationModel() == Reloc::PIC_;
 340
 341   // Use JumpTableDirective otherwise honor the entry size from the jump table
 342   // info.
 343   const char *JTEntryDirective = TAI->getJumpTableDirective();
 344   bool HadJTEntryDirective = JTEntryDirective != NULL;
 345   if (!HadJTEntryDirective) {
 346     JTEntryDirective = MJTI->getEntrySize() == 4 ?
 347       TAI->getData32bitsDirective() : TAI->getData64bitsDirective();
 348   }
 349
 350   O << JTEntryDirective << ' ';
 351
 352   // If we have emitted set directives for the jump table entries, print
 353   // them rather than the entries themselves.  If we're emitting PIC, then
 354   // emit the table entries as differences between two text section labels.
 355   // If we're emitting non-PIC code, then emit the entries as direct
 356   // references to the target basic blocks.
 357   if (IsPic) {
 358     if (TAI->getSetDirective()) {
 359       O << TAI->getPrivateGlobalPrefix() << getFunctionNumber()
 360         << '_' << uid << "_set_" << MBB->getNumber();
 361     } else {
 362       printBasicBlockLabel(MBB, false, false, false);
 363       // If the arch uses custom Jump Table directives, don't calc relative to
 364       // JT
 365       if (!HadJTEntryDirective)
 366         O << '-' << TAI->getPrivateGlobalPrefix() << "JTI"
 367           << getFunctionNumber() << '_' << uid;
 368     }
 369   } else {
 370     printBasicBlockLabel(MBB, false, false, false);
 371   }
 372 }
 373
 374
 375 /// EmitSpecialLLVMGlobal - Check to see if the specified global is a
 376 /// special global used by LLVM.  If so, emit it and return true, otherwise
 377 /// do nothing and return false.
 378 bool AsmPrinter::EmitSpecialLLVMGlobal(const GlobalVariable *GV) {
 379   if (GV->getName() == "llvm.used") {
 380     if (TAI->getUsedDirective() != 0)    // No need to emit this at all.
 381       EmitLLVMUsedList(GV->getInitializer());
 382     return true;
 383   }
 384
 385   // Ignore debug and non-emitted data.
 386   if (GV->getSection() == "llvm.metadata") return true;
 387
 388   if (!GV->hasAppendingLinkage()) return false;
 389
 390   assert(GV->hasInitializer() && "Not a special LLVM global!");
 391
 392   const TargetData *TD = TM.getTargetData();
 393   unsigned Align = Log2_32(TD->getPointerPrefAlignment());
 394   if (GV->getName() == "llvm.global_ctors" && GV->use_empty()) {
 395     SwitchToDataSection(TAI->getStaticCtorsSection());
 396     EmitAlignment(Align, 0);
 397     EmitXXStructorList(GV->getInitializer());
 398     return true;
 399   }
 400
 401   if (GV->getName() == "llvm.global_dtors" && GV->use_empty()) {
 402     SwitchToDataSection(TAI->getStaticDtorsSection());
 403     EmitAlignment(Align, 0);
 404     EmitXXStructorList(GV->getInitializer());
 405     return true;
 406   }
 407
 408   return false;
 409 }
 410
 411 /// EmitLLVMUsedList - For targets that define a TAI::UsedDirective, mark each
 412 /// global in the specified llvm.used list as being used with this directive.
 413 void AsmPrinter::EmitLLVMUsedList(Constant *List) {
 414   const char *Directive = TAI->getUsedDirective();
 415
 416   // Should be an array of 'sbyte*'.
 417   ConstantArray *InitList = dyn_cast<ConstantArray>(List);
 418   if (InitList == 0) return;
 419
 420   for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
 421     O << Directive;
 422     EmitConstantValueOnly(InitList->getOperand(i));
 423     O << "\n";
 424   }
 425 }
 426
 427 /// EmitXXStructorList - Emit the ctor or dtor list.  This just prints out the
 428 /// function pointers, ignoring the init priority.
 429 void AsmPrinter::EmitXXStructorList(Constant *List) {
 430   // Should be an array of '{ int, void ()* }' structs.  The first value is the
 431   // init priority, which we ignore.
 432   if (!isa<ConstantArray>(List)) return;
 433   ConstantArray *InitList = cast<ConstantArray>(List);
 434   for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i)
 435     if (ConstantStruct *CS = dyn_cast<ConstantStruct>(InitList->getOperand(i))){
 436       if (CS->getNumOperands() != 2) return;  // Not array of 2-element structs.
 437
 438       if (CS->getOperand(1)->isNullValue())
 439         return;  // Found a null terminator, exit printing.
 440       // Emit the function pointer.
 441       EmitGlobalConstant(CS->getOperand(1));
 442     }
 443 }
 444
 445 /// getGlobalLinkName - Returns the asm/link name of of the specified
 446 /// global variable.  Should be overridden by each target asm printer to
 447 /// generate the appropriate value.
 448 const std::string AsmPrinter::getGlobalLinkName(const GlobalVariable *GV) const{
 449   std::string LinkName;
 450
 451   if (isa<Function>(GV)) {
 452     LinkName += TAI->getFunctionAddrPrefix();
 453     LinkName += Mang->getValueName(GV);
 454     LinkName += TAI->getFunctionAddrSuffix();
 455   } else {
 456     LinkName += TAI->getGlobalVarAddrPrefix();
 457     LinkName += Mang->getValueName(GV);
 458     LinkName += TAI->getGlobalVarAddrSuffix();
 459   }
 460
 461   return LinkName;
 462 }
 463
 464 /// EmitExternalGlobal - Emit the external reference to a global variable.
 465 /// Should be overridden if an indirect reference should be used.
 466 void AsmPrinter::EmitExternalGlobal(const GlobalVariable *GV) {
 467   O << getGlobalLinkName(GV);
 468 }
 469
 470
 471
 472 //===----------------------------------------------------------------------===//
 473 /// LEB 128 number encoding.
 474
 475 /// PrintULEB128 - Print a series of hexidecimal values (separated by commas)
 476 /// representing an unsigned leb128 value.
 477 void AsmPrinter::PrintULEB128(unsigned Value) const {
 478   do {
 479     unsigned Byte = Value & 0x7f;
 480     Value >>= 7;
 481     if (Value) Byte |= 0x80;
 482     O << "0x" << std::hex << Byte << std::dec;
 483     if (Value) O << ", ";
 484   } while (Value);
 485 }
 486
 487 /// SizeULEB128 - Compute the number of bytes required for an unsigned leb128
 488 /// value.
 489 unsigned AsmPrinter::SizeULEB128(unsigned Value) {
 490   unsigned Size = 0;
 491   do {
 492     Value >>= 7;
 493     Size += sizeof(int8_t);
 494   } while (Value);
 495   return Size;
 496 }
 497
 498 /// PrintSLEB128 - Print a series of hexidecimal values (separated by commas)
 499 /// representing a signed leb128 value.
 500 void AsmPrinter::PrintSLEB128(int Value) const {
 501   int Sign = Value >> (8 * sizeof(Value) - 1);
 502   bool IsMore;
 503
 504   do {
 505     unsigned Byte = Value & 0x7f;
 506     Value >>= 7;
 507     IsMore = Value != Sign || ((Byte ^ Sign) & 0x40) != 0;
 508     if (IsMore) Byte |= 0x80;
 509     O << "0x" << std::hex << Byte << std::dec;
 510     if (IsMore) O << ", ";
 511   } while (IsMore);
 512 }
 513
 514 /// SizeSLEB128 - Compute the number of bytes required for a signed leb128
 515 /// value.
 516 unsigned AsmPrinter::SizeSLEB128(int Value) {
 517   unsigned Size = 0;
 518   int Sign = Value >> (8 * sizeof(Value) - 1);
 519   bool IsMore;
 520
 521   do {
 522     unsigned Byte = Value & 0x7f;
 523     Value >>= 7;
 524     IsMore = Value != Sign || ((Byte ^ Sign) & 0x40) != 0;
 525     Size += sizeof(int8_t);
 526   } while (IsMore);
 527   return Size;
 528 }
 529
 530 //===--------------------------------------------------------------------===//
 531 // Emission and print routines
 532 //
 533
 534 /// PrintHex - Print a value as a hexidecimal value.
 535 ///
 536 void AsmPrinter::PrintHex(int Value) const {
 537   O << "0x" << std::hex << Value << std::dec;
 538 }
 539
 540 /// EOL - Print a newline character to asm stream.  If a comment is present
 541 /// then it will be printed first.  Comments should not contain '\n'.
 542 void AsmPrinter::EOL() const {
 543   O << "\n";
 544 }
 545 void AsmPrinter::EOL(const std::string &Comment) const {
 546   if (AsmVerbose && !Comment.empty()) {
 547     O << "\t"
 548       << TAI->getCommentString()
 549       << " "
 550       << Comment;
 551   }
 552   O << "\n";
 553 }
 554
 555 /// EmitULEB128Bytes - Emit an assembler byte data directive to compose an
 556 /// unsigned leb128 value.
 557 void AsmPrinter::EmitULEB128Bytes(unsigned Value) const {
 558   if (TAI->hasLEB128()) {
 559     O << "\t.uleb128\t"
 560       << Value;
 561   } else {
 562     O << TAI->getData8bitsDirective();
 563     PrintULEB128(Value);
 564   }
 565 }
 566
 567 /// EmitSLEB128Bytes - print an assembler byte data directive to compose a
 568 /// signed leb128 value.
 569 void AsmPrinter::EmitSLEB128Bytes(int Value) const {
 570   if (TAI->hasLEB128()) {
 571     O << "\t.sleb128\t"
 572       << Value;
 573   } else {
 574     O << TAI->getData8bitsDirective();
 575     PrintSLEB128(Value);
 576   }
 577 }
 578
 579 /// EmitInt8 - Emit a byte directive and value.
 580 ///
 581 void AsmPrinter::EmitInt8(int Value) const {
 582   O << TAI->getData8bitsDirective();
 583   PrintHex(Value & 0xFF);
 584 }
 585
 586 /// EmitInt16 - Emit a short directive and value.
 587 ///
 588 void AsmPrinter::EmitInt16(int Value) const {
 589   O << TAI->getData16bitsDirective();
 590   PrintHex(Value & 0xFFFF);
 591 }
 592
 593 /// EmitInt32 - Emit a long directive and value.
 594 ///
 595 void AsmPrinter::EmitInt32(int Value) const {
 596   O << TAI->getData32bitsDirective();
 597   PrintHex(Value);
 598 }
 599
 600 /// EmitInt64 - Emit a long long directive and value.
 601 ///
 602 void AsmPrinter::EmitInt64(uint64_t Value) const {
 603   if (TAI->getData64bitsDirective()) {
 604     O << TAI->getData64bitsDirective();
 605     PrintHex(Value);
 606   } else {
 607     if (TM.getTargetData()->isBigEndian()) {
 608       EmitInt32(unsigned(Value >> 32)); O << "\n";
 609       EmitInt32(unsigned(Value));
 610     } else {
 611       EmitInt32(unsigned(Value)); O << "\n";
 612       EmitInt32(unsigned(Value >> 32));
 613     }
 614   }
 615 }
 616
 617 /// toOctal - Convert the low order bits of X into an octal digit.
 618 ///
 619 static inline char toOctal(int X) {
 620   return (X&7)+'0';
 621 }
 622
 623 /// printStringChar - Print a char, escaped if necessary.
 624 ///
 625 static void printStringChar(std::ostream &O, unsigned char C) {
 626   if (C == '"') {
 627     O << "\\\"";
 628   } else if (C == '\\') {
 629     O << "\\\\";
 630   } else if (isprint(C)) {
 631     O << C;
 632   } else {
 633     switch(C) {
 634     case '\b': O << "\\b"; break;
 635     case '\f': O << "\\f"; break;
 636     case '\n': O << "\\n"; break;
 637     case '\r': O << "\\r"; break;
 638     case '\t': O << "\\t"; break;
 639     default:
 640       O << '\\';
 641       O << toOctal(C >> 6);
 642       O << toOctal(C >> 3);
 643       O << toOctal(C >> 0);
 644       break;
 645     }
 646   }
 647 }
 648
 649 /// EmitString - Emit a string with quotes and a null terminator.
 650 /// Special characters are emitted properly.
 651 /// \literal (Eg. '\t') \endliteral
 652 void AsmPrinter::EmitString(const std::string &String) const {
 653   const char* AscizDirective = TAI->getAscizDirective();
 654   if (AscizDirective)
 655     O << AscizDirective;
 656   else
 657     O << TAI->getAsciiDirective();
 658   O << "\"";
 659   for (unsigned i = 0, N = String.size(); i < N; ++i) {
 660     unsigned char C = String[i];
 661     printStringChar(O, C);
 662   }
 663   if (AscizDirective)
 664     O << "\"";
 665   else
 666     O << "\\0\"";
 667 }
 668
 669
 670 /// EmitFile - Emit a .file directive.
 671 void AsmPrinter::EmitFile(unsigned Number, const std::string &Name) const {
 672   O << "\t.file\t" << Number << " \"";
 673   for (unsigned i = 0, N = Name.size(); i < N; ++i) {
 674     unsigned char C = Name[i];
 675     printStringChar(O, C);
 676   }
 677   O << "\"";
 678 }
 679
 680
 681 //===----------------------------------------------------------------------===//
 682
 683 // EmitAlignment - Emit an alignment directive to the specified power of
 684 // two boundary.  For example, if you pass in 3 here, you will get an 8
 685 // byte alignment.  If a global value is specified, and if that global has
 686 // an explicit alignment requested, it will unconditionally override the
 687 // alignment request.  However, if ForcedAlignBits is specified, this value
 688 // has final say: the ultimate alignment will be the max of ForcedAlignBits
 689 // and the alignment computed with NumBits and the global.
 690 //
 691 // The algorithm is:
 692 //     Align = NumBits;
 693 //     if (GV && GV->hasalignment) Align = GV->getalignment();
 694 //     Align = std::max(Align, ForcedAlignBits);
 695 //
 696 void AsmPrinter::EmitAlignment(unsigned NumBits, const GlobalValue *GV,
 697                                unsigned ForcedAlignBits,
 698                                bool UseFillExpr) const {
 699   if (GV && GV->getAlignment())
 700     NumBits = Log2_32(GV->getAlignment());
 701   NumBits = std::max(NumBits, ForcedAlignBits);
 702
 703   if (NumBits == 0) return;   // No need to emit alignment.
 704   if (TAI->getAlignmentIsInBytes()) NumBits = 1 << NumBits;
 705   O << TAI->getAlignDirective() << NumBits;
 706
 707   unsigned FillValue = TAI->getTextAlignFillValue();
 708   UseFillExpr &= IsInTextSection && FillValue;
 709   if (UseFillExpr) O << ",0x" << std::hex << FillValue << std::dec;
 710   O << "\n";
 711 }
 712
 713
 714 /// EmitZeros - Emit a block of zeros.
 715 ///
 716 void AsmPrinter::EmitZeros(uint64_t NumZeros) const {
 717   if (NumZeros) {
 718     if (TAI->getZeroDirective()) {
 719       O << TAI->getZeroDirective() << NumZeros;
 720       if (TAI->getZeroDirectiveSuffix())
 721         O << TAI->getZeroDirectiveSuffix();
 722       O << "\n";
 723     } else {
 724       for (; NumZeros; --NumZeros)
 725         O << TAI->getData8bitsDirective() << "0\n";
 726     }
 727   }
 728 }
 729
 730 // Print out the specified constant, without a storage class.  Only the
 731 // constants valid in constant expressions can occur here.
 732 void AsmPrinter::EmitConstantValueOnly(const Constant *CV) {
 733   if (CV->isNullValue() || isa<UndefValue>(CV))
 734     O << "0";
 735   else if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
 736     O << CI->getZExtValue();
 737   } else if (const GlobalValue *GV = dyn_cast<GlobalValue>(CV)) {
 738     // This is a constant address for a global variable or function. Use the
 739     // name of the variable or function as the address value, possibly
 740     // decorating it with GlobalVarAddrPrefix/Suffix or
 741     // FunctionAddrPrefix/Suffix (these all default to "" )
 742     if (isa<Function>(GV)) {
 743       O << TAI->getFunctionAddrPrefix()
 744         << Mang->getValueName(GV)
 745         << TAI->getFunctionAddrSuffix();
 746     } else {
 747       O << TAI->getGlobalVarAddrPrefix()
 748         << Mang->getValueName(GV)
 749         << TAI->getGlobalVarAddrSuffix();
 750     }
 751   } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
 752     const TargetData *TD = TM.getTargetData();
 753     unsigned Opcode = CE->getOpcode();
 754     switch (Opcode) {
 755     case Instruction::GetElementPtr: {
 756       // generate a symbolic expression for the byte address
 757       const Constant *ptrVal = CE->getOperand(0);
 758       SmallVector<Value*, 8> idxVec(CE->op_begin()+1, CE->op_end());
 759       if (int64_t Offset = TD->getIndexedOffset(ptrVal->getType(), &idxVec[0],
 760                                                 idxVec.size())) {
 761         if (Offset)
 762           O << "(";
 763         EmitConstantValueOnly(ptrVal);
 764         if (Offset > 0)
 765           O << ") + " << Offset;
 766         else if (Offset < 0)
 767           O << ") - " << -Offset;
 768       } else {
 769         EmitConstantValueOnly(ptrVal);
 770       }
 771       break;
 772     }
 773     case Instruction::Trunc:
 774     case Instruction::ZExt:
 775     case Instruction::SExt:
 776     case Instruction::FPTrunc:
 777     case Instruction::FPExt:
 778     case Instruction::UIToFP:
 779     case Instruction::SIToFP:
 780     case Instruction::FPToUI:
 781     case Instruction::FPToSI:
 782       assert(0 && "FIXME: Don't yet support this kind of constant cast expr");
 783       break;
 784     case Instruction::BitCast:
 785       return EmitConstantValueOnly(CE->getOperand(0));
 786
 787     case Instruction::IntToPtr: {
 788       // Handle casts to pointers by changing them into casts to the appropriate
 789       // integer type.  This promotes constant folding and simplifies this code.
 790       Constant *Op = CE->getOperand(0);
 791       Op = ConstantExpr::getIntegerCast(Op, TD->getIntPtrType(), false/*ZExt*/);
 792       return EmitConstantValueOnly(Op);
 793     }
 794
 795
 796     case Instruction::PtrToInt: {
 797       // Support only foldable casts to/from pointers that can be eliminated by
 798       // changing the pointer to the appropriately sized integer type.
 799       Constant *Op = CE->getOperand(0);
 800       const Type *Ty = CE->getType();
 801
 802       // We can emit the pointer value into this slot if the slot is an
 803       // integer slot greater or equal to the size of the pointer.
 804       if (Ty->isInteger() &&
 805           TD->getABITypeSize(Ty) >= TD->getABITypeSize(Op->getType()))
 806         return EmitConstantValueOnly(Op);
 807
 808       assert(0 && "FIXME: Don't yet support this kind of constant cast expr");
 809       EmitConstantValueOnly(Op);
 810       break;
 811     }
 812     case Instruction::Add:
 813     case Instruction::Sub:
 814     case Instruction::And:
 815     case Instruction::Or:
 816     case Instruction::Xor:
 817       O << "(";
 818       EmitConstantValueOnly(CE->getOperand(0));
 819       O << ")";
 820       switch (Opcode) {
 821       case Instruction::Add:
 822        O << " + ";
 823        break;
 824       case Instruction::Sub:
 825        O << " - ";
 826        break;
 827       case Instruction::And:
 828        O << " & ";
 829        break;
 830       case Instruction::Or:
 831        O << " | ";
 832        break;
 833       case Instruction::Xor:
 834        O << " ^ ";
 835        break;
 836       default:
 837        break;
 838       }
 839       O << "(";
 840       EmitConstantValueOnly(CE->getOperand(1));
 841       O << ")";
 842       break;
 843     default:
 844       assert(0 && "Unsupported operator!");
 845     }
 846   } else {
 847     assert(0 && "Unknown constant value!");
 848   }
 849 }
 850
 851 /// printAsCString - Print the specified array as a C compatible string, only if
 852 /// the predicate isString is true.
 853 ///
 854 static void printAsCString(std::ostream &O, const ConstantArray *CVA,
 855                            unsigned LastElt) {
 856   assert(CVA->isString() && "Array is not string compatible!");
 857
 858   O << "\"";
 859   for (unsigned i = 0; i != LastElt; ++i) {
 860     unsigned char C =
 861         (unsigned char)cast<ConstantInt>(CVA->getOperand(i))->getZExtValue();
 862     printStringChar(O, C);
 863   }
 864   O << "\"";
 865 }
 866
 867 /// EmitString - Emit a zero-byte-terminated string constant.
 868 ///
 869 void AsmPrinter::EmitString(const ConstantArray *CVA) const {
 870   unsigned NumElts = CVA->getNumOperands();
 871   if (TAI->getAscizDirective() && NumElts &&
 872       cast<ConstantInt>(CVA->getOperand(NumElts-1))->getZExtValue() == 0) {
 873     O << TAI->getAscizDirective();
 874     printAsCString(O, CVA, NumElts-1);
 875   } else {
 876     O << TAI->getAsciiDirective();
 877     printAsCString(O, CVA, NumElts);
 878   }
 879   O << "\n";
 880 }
 881
 882 /// EmitGlobalConstant - Print a general LLVM constant to the .s file.
 883 /// If Packed is false, pad to the ABI size.
 884 void AsmPrinter::EmitGlobalConstant(const Constant *CV, bool Packed) {
 885   const TargetData *TD = TM.getTargetData();
 886   unsigned Size = Packed ?
 887     TD->getTypeStoreSize(CV->getType()) : TD->getABITypeSize(CV->getType());
 888
 889   if (CV->isNullValue() || isa<UndefValue>(CV)) {
 890     EmitZeros(Size);
 891     return;
 892   } else if (const ConstantArray *CVA = dyn_cast<ConstantArray>(CV)) {
 893     if (CVA->isString()) {
 894       EmitString(CVA);
 895     } else { // Not a string.  Print the values in successive locations
 896       for (unsigned i = 0, e = CVA->getNumOperands(); i != e; ++i)
 897         EmitGlobalConstant(CVA->getOperand(i), false);
 898     }
 899     return;
 900   } else if (const ConstantStruct *CVS = dyn_cast<ConstantStruct>(CV)) {
 901     // Print the fields in successive locations. Pad to align if needed!
 902     const StructLayout *cvsLayout = TD->getStructLayout(CVS->getType());
 903     uint64_t sizeSoFar = 0;
 904     for (unsigned i = 0, e = CVS->getNumOperands(); i != e; ++i) {
 905       const Constant* field = CVS->getOperand(i);
 906
 907       // Check if padding is needed and insert one or more 0s.
 908       uint64_t fieldSize = TD->getTypeStoreSize(field->getType());
 909       uint64_t padSize = ((i == e-1 ? Size : cvsLayout->getElementOffset(i+1))
 910                           - cvsLayout->getElementOffset(i)) - fieldSize;
 911       sizeSoFar += fieldSize + padSize;
 912
 913       // Now print the actual field value without ABI size padding.
 914       EmitGlobalConstant(field, true);
 915
 916       // Insert padding - this may include padding to increase the size of the
 917       // current field up to the ABI size (if the struct is not packed) as well
 918       // as padding to ensure that the next field starts at the right offset.
 919       EmitZeros(padSize);
 920     }
 921     assert(sizeSoFar == cvsLayout->getSizeInBytes() &&
 922            "Layout of constant struct may be incorrect!");
 923     return;
 924   } else if (const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
 925     // FP Constants are printed as integer constants to avoid losing
 926     // precision...
 927     if (CFP->getType() == Type::DoubleTy) {
 928       double Val = CFP->getValueAPF().convertToDouble();  // for comment only
 929       uint64_t i = CFP->getValueAPF().convertToAPInt().getZExtValue();
 930       if (TAI->getData64bitsDirective())
 931         O << TAI->getData64bitsDirective() << i << "\t"
 932           << TAI->getCommentString() << " double value: " << Val << "\n";
 933       else if (TD->isBigEndian()) {
 934         O << TAI->getData32bitsDirective() << unsigned(i >> 32)
 935           << "\t" << TAI->getCommentString()
 936           << " double most significant word " << Val << "\n";
 937         O << TAI->getData32bitsDirective() << unsigned(i)
 938           << "\t" << TAI->getCommentString()
 939           << " double least significant word " << Val << "\n";
 940       } else {
 941         O << TAI->getData32bitsDirective() << unsigned(i)
 942           << "\t" << TAI->getCommentString()
 943           << " double least significant word " << Val << "\n";
 944         O << TAI->getData32bitsDirective() << unsigned(i >> 32)
 945           << "\t" << TAI->getCommentString()
 946           << " double most significant word " << Val << "\n";
 947       }
 948       return;
 949     } else if (CFP->getType() == Type::FloatTy) {
 950       float Val = CFP->getValueAPF().convertToFloat();  // for comment only
 951       O << TAI->getData32bitsDirective()
 952         << CFP->getValueAPF().convertToAPInt().getZExtValue()
 953         << "\t" << TAI->getCommentString() << " float " << Val << "\n";
 954       return;
 955     } else if (CFP->getType() == Type::X86_FP80Ty) {
 956       // all long double variants are printed as hex
 957       // api needed to prevent premature destruction
 958       APInt api = CFP->getValueAPF().convertToAPInt();
 959       const uint64_t *p = api.getRawData();
 960       APFloat DoubleVal = CFP->getValueAPF();
 961       DoubleVal.convert(APFloat::IEEEdouble, APFloat::rmNearestTiesToEven);
 962       if (TD->isBigEndian()) {
 963         O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 48)
 964           << "\t" << TAI->getCommentString()
 965           << " long double most significant halfword of ~"
 966           << DoubleVal.convertToDouble() << "\n";
 967         O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 32)
 968           << "\t" << TAI->getCommentString()
 969           << " long double next halfword\n";
 970         O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 16)
 971           << "\t" << TAI->getCommentString()
 972           << " long double next halfword\n";
 973         O << TAI->getData16bitsDirective() << uint16_t(p[0])
 974           << "\t" << TAI->getCommentString()
 975           << " long double next halfword\n";
 976         O << TAI->getData16bitsDirective() << uint16_t(p[1])
 977           << "\t" << TAI->getCommentString()
 978           << " long double least significant halfword\n";
 979        } else {
 980         O << TAI->getData16bitsDirective() << uint16_t(p[1])
 981           << "\t" << TAI->getCommentString()
 982           << " long double least significant halfword of ~"
 983           << DoubleVal.convertToDouble() << "\n";
 984         O << TAI->getData16bitsDirective() << uint16_t(p[0])
 985           << "\t" << TAI->getCommentString()
 986           << " long double next halfword\n";
 987         O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 16)
 988           << "\t" << TAI->getCommentString()
 989           << " long double next halfword\n";
 990         O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 32)
 991           << "\t" << TAI->getCommentString()
 992           << " long double next halfword\n";
 993         O << TAI->getData16bitsDirective() << uint16_t(p[0] >> 48)
 994           << "\t" << TAI->getCommentString()
 995           << " long double most significant halfword\n";
 996       }
 997       EmitZeros(Size - TD->getTypeStoreSize(Type::X86_FP80Ty));
 998       return;
 999     } else if (CFP->getType() == Type::PPC_FP128Ty) {
1000       // all long double variants are printed as hex
1001       // api needed to prevent premature destruction
1002       APInt api = CFP->getValueAPF().convertToAPInt();
1003       const uint64_t *p = api.getRawData();
1004       if (TD->isBigEndian()) {
1005         O << TAI->getData32bitsDirective() << uint32_t(p[0] >> 32)
1006           << "\t" << TAI->getCommentString()
1007           << " long double most significant word\n";
1008         O << TAI->getData32bitsDirective() << uint32_t(p[0])
1009           << "\t" << TAI->getCommentString()
1010           << " long double next word\n";
1011         O << TAI->getData32bitsDirective() << uint32_t(p[1] >> 32)
1012           << "\t" << TAI->getCommentString()
1013           << " long double next word\n";
1014         O << TAI->getData32bitsDirective() << uint32_t(p[1])
1015           << "\t" << TAI->getCommentString()
1016           << " long double least significant word\n";
1017        } else {
1018         O << TAI->getData32bitsDirective() << uint32_t(p[1])
1019           << "\t" << TAI->getCommentString()
1020           << " long double least significant word\n";
1021         O << TAI->getData32bitsDirective() << uint32_t(p[1] >> 32)
1022           << "\t" << TAI->getCommentString()
1023           << " long double next word\n";
1024         O << TAI->getData32bitsDirective() << uint32_t(p[0])
1025           << "\t" << TAI->getCommentString()
1026           << " long double next word\n";
1027         O << TAI->getData32bitsDirective() << uint32_t(p[0] >> 32)
1028           << "\t" << TAI->getCommentString()
1029           << " long double most significant word\n";
1030       }
1031       return;
1032     } else assert(0 && "Floating point constant type not handled");
1033   } else if (CV->getType() == Type::Int64Ty) {
1034     if (const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
1035       uint64_t Val = CI->getZExtValue();
1036
1037       if (TAI->getData64bitsDirective())
1038         O << TAI->getData64bitsDirective() << Val << "\n";
1039       else if (TD->isBigEndian()) {
1040         O << TAI->getData32bitsDirective() << unsigned(Val >> 32)
1041           << "\t" << TAI->getCommentString()
1042           << " Double-word most significant word " << Val << "\n";
1043         O << TAI->getData32bitsDirective() << unsigned(Val)
1044           << "\t" << TAI->getCommentString()
1045           << " Double-word least significant word " << Val << "\n";
1046       } else {
1047         O << TAI->getData32bitsDirective() << unsigned(Val)
1048           << "\t" << TAI->getCommentString()
1049           << " Double-word least significant word " << Val << "\n";
1050         O << TAI->getData32bitsDirective() << unsigned(Val >> 32)
1051           << "\t" << TAI->getCommentString()
1052           << " Double-word most significant word " << Val << "\n";
1053       }
1054       return;
1055     }
1056   } else if (const ConstantVector *CP = dyn_cast<ConstantVector>(CV)) {
1057     const VectorType *PTy = CP->getType();
1058
1059     for (unsigned I = 0, E = PTy->getNumElements(); I < E; ++I)
1060       EmitGlobalConstant(CP->getOperand(I), false);
1061
1062     return;
1063   }
1064
1065   const Type *type = CV->getType();
1066   printDataDirective(type);
1067   EmitConstantValueOnly(CV);
1068   O << "\n";
1069 }
1070
1071 void
1072 AsmPrinter::EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
1073   // Target doesn't support this yet!
1074   abort();
1075 }
1076
1077 /// PrintSpecial - Print information related to the specified machine instr
1078 /// that is independent of the operand, and may be independent of the instr
1079 /// itself.  This can be useful for portably encoding the comment character
1080 /// or other bits of target-specific knowledge into the asmstrings.  The
1081 /// syntax used is ${:comment}.  Targets can override this to add support
1082 /// for their own strange codes.
1083 void AsmPrinter::PrintSpecial(const MachineInstr *MI, const char *Code) {
1084   if (!strcmp(Code, "private")) {
1085     O << TAI->getPrivateGlobalPrefix();
1086   } else if (!strcmp(Code, "comment")) {
1087     O << TAI->getCommentString();
1088   } else if (!strcmp(Code, "uid")) {
1089     // Assign a unique ID to this machine instruction.
1090     static const MachineInstr *LastMI = 0;
1091     static const Function *F = 0;
1092     static unsigned Counter = 0U-1;
1093
1094     // Comparing the address of MI isn't sufficient, because machineinstrs may
1095     // be allocated to the same address across functions.
1096     const Function *ThisF = MI->getParent()->getParent()->getFunction();
1097
1098     // If this is a new machine instruction, bump the counter.
1099     if (LastMI != MI || F != ThisF) {
1100       ++Counter;
1101       LastMI = MI;
1102       F = ThisF;
1103     }
1104     O << Counter;
1105   } else {
1106     cerr << "Unknown special formatter '" << Code
1107          << "' for machine instr: " << *MI;
1108     exit(1);
1109   }
1110 }
1111
1112
1113 /// printInlineAsm - This method formats and prints the specified machine
1114 /// instruction that is an inline asm.
1115 void AsmPrinter::printInlineAsm(const MachineInstr *MI) const {
1116   unsigned NumOperands = MI->getNumOperands();
1117
1118   // Count the number of register definitions.
1119   unsigned NumDefs = 0;
1120   for (; MI->getOperand(NumDefs).isRegister() && MI->getOperand(NumDefs).isDef();
1121        ++NumDefs)
1122     assert(NumDefs != NumOperands-1 && "No asm string?");
1123
1124   assert(MI->getOperand(NumDefs).isExternalSymbol() && "No asm string?");
1125
1126   // Disassemble the AsmStr, printing out the literal pieces, the operands, etc.
1127   const char *AsmStr = MI->getOperand(NumDefs).getSymbolName();
1128
1129   // If this asmstr is empty, just print the #APP/#NOAPP markers.
1130   // These are useful to see where empty asm's wound up.
1131   if (AsmStr[0] == 0) {
1132     O << TAI->getInlineAsmStart() << "\n\t" << TAI->getInlineAsmEnd() << "\n";
1133     return;
1134   }
1135
1136   O << TAI->getInlineAsmStart() << "\n\t";
1137
1138   // The variant of the current asmprinter.
1139   int AsmPrinterVariant = TAI->getAssemblerDialect();
1140
1141   int CurVariant = -1;            // The number of the {.|.|.} region we are in.
1142   const char *LastEmitted = AsmStr; // One past the last character emitted.
1143
1144   while (*LastEmitted) {
1145     switch (*LastEmitted) {
1146     default: {
1147       // Not a special case, emit the string section literally.
1148       const char *LiteralEnd = LastEmitted+1;
1149       while (*LiteralEnd && *LiteralEnd != '{' && *LiteralEnd != '|' &&
1150              *LiteralEnd != '}' && *LiteralEnd != '$' && *LiteralEnd != '\n')
1151         ++LiteralEnd;
1152       if (CurVariant == -1 || CurVariant == AsmPrinterVariant)
1153         O.write(LastEmitted, LiteralEnd-LastEmitted);
1154       LastEmitted = LiteralEnd;
1155       break;
1156     }
1157     case '\n':
1158       ++LastEmitted;   // Consume newline character.
1159       O << "\n";       // Indent code with newline.
1160       break;
1161     case '$': {
1162       ++LastEmitted;   // Consume '$' character.
1163       bool Done = true;
1164
1165       // Handle escapes.
1166       switch (*LastEmitted) {
1167       default: Done = false; break;
1168       case '$':     // $$ -> $
1169         if (CurVariant == -1 || CurVariant == AsmPrinterVariant)
1170           O << '$';
1171         ++LastEmitted;  // Consume second '$' character.
1172         break;
1173       case '(':             // $( -> same as GCC's { character.
1174         ++LastEmitted;      // Consume '(' character.
1175         if (CurVariant != -1) {
1176           cerr << "Nested variants found in inline asm string: '"
1177                << AsmStr << "'\n";
1178           exit(1);
1179         }
1180         CurVariant = 0;     // We're in the first variant now.
1181         break;
1182       case '|':
1183         ++LastEmitted;  // consume '|' character.
1184         if (CurVariant == -1) {
1185           cerr << "Found '|' character outside of variant in inline asm "
1186                << "string: '" << AsmStr << "'\n";
1187           exit(1);
1188         }
1189         ++CurVariant;   // We're in the next variant.
1190         break;
1191       case ')':         // $) -> same as GCC's } char.
1192         ++LastEmitted;  // consume ')' character.
1193         if (CurVariant == -1) {
1194           cerr << "Found '}' character outside of variant in inline asm "
1195                << "string: '" << AsmStr << "'\n";
1196           exit(1);
1197         }
1198         CurVariant = -1;
1199         break;
1200       }
1201       if (Done) break;
1202
1203       bool HasCurlyBraces = false;
1204       if (*LastEmitted == '{') {     // ${variable}
1205         ++LastEmitted;               // Consume '{' character.
1206         HasCurlyBraces = true;
1207       }
1208
1209       const char *IDStart = LastEmitted;
1210       char *IDEnd;
1211       errno = 0;
1212       long Val = strtol(IDStart, &IDEnd, 10); // We only accept numbers for IDs.
1213       if (!isdigit(*IDStart) || (Val == 0 && errno == EINVAL)) {
1214         cerr << "Bad $ operand number in inline asm string: '"
1215              << AsmStr << "'\n";
1216         exit(1);
1217       }
1218       LastEmitted = IDEnd;
1219
1220       char Modifier[2] = { 0, 0 };
1221
1222       if (HasCurlyBraces) {
1223         // If we have curly braces, check for a modifier character.  This
1224         // supports syntax like ${0:u}, which correspond to "%u0" in GCC asm.
1225         if (*LastEmitted == ':') {
1226           ++LastEmitted;    // Consume ':' character.
1227           if (*LastEmitted == 0) {
1228             cerr << "Bad ${:} expression in inline asm string: '"
1229                  << AsmStr << "'\n";
1230             exit(1);
1231           }
1232
1233           Modifier[0] = *LastEmitted;
1234           ++LastEmitted;    // Consume modifier character.
1235         }
1236
1237         if (*LastEmitted != '}') {
1238           cerr << "Bad ${} expression in inline asm string: '"
1239                << AsmStr << "'\n";
1240           exit(1);
1241         }
1242         ++LastEmitted;    // Consume '}' character.
1243       }
1244
1245       if ((unsigned)Val >= NumOperands-1) {
1246         cerr << "Invalid $ operand number in inline asm string: '"
1247              << AsmStr << "'\n";
1248         exit(1);
1249       }
1250
1251       // Okay, we finally have a value number.  Ask the target to print this
1252       // operand!
1253       if (CurVariant == -1 || CurVariant == AsmPrinterVariant) {
1254         unsigned OpNo = 1;
1255
1256         bool Error = false;
1257
1258         // Scan to find the machine operand number for the operand.
1259         for (; Val; --Val) {
1260           if (OpNo >= MI->getNumOperands()) break;
1261           unsigned OpFlags = MI->getOperand(OpNo).getImm();
1262           OpNo += (OpFlags >> 3) + 1;
1263         }
1264
1265         if (OpNo >= MI->getNumOperands()) {
1266           Error = true;
1267         } else {
1268           unsigned OpFlags = MI->getOperand(OpNo).getImm();
1269           ++OpNo;  // Skip over the ID number.
1270
1271           if (Modifier[0]=='l')  // labels are target independent
1272             printBasicBlockLabel(MI->getOperand(OpNo).getMBB(),
1273                                  false, false, false);
1274           else {
1275             AsmPrinter *AP = const_cast<AsmPrinter*>(this);
1276             if ((OpFlags & 7) == 4 /*ADDR MODE*/) {
1277               Error = AP->PrintAsmMemoryOperand(MI, OpNo, AsmPrinterVariant,
1278                                                 Modifier[0] ? Modifier : 0);
1279             } else {
1280               Error = AP->PrintAsmOperand(MI, OpNo, AsmPrinterVariant,
1281                                           Modifier[0] ? Modifier : 0);
1282             }
1283           }
1284         }
1285         if (Error) {
1286           cerr << "Invalid operand found in inline asm: '"
1287                << AsmStr << "'\n";
1288           MI->dump();
1289           exit(1);
1290         }
1291       }
1292       break;
1293     }
1294     }
1295   }
1296   O << "\n\t" << TAI->getInlineAsmEnd() << "\n";
1297 }
1298
1299 /// printImplicitDef - This method prints the specified machine instruction
1300 /// that is an implicit def.
1301 void AsmPrinter::printImplicitDef(const MachineInstr *MI) const {
1302   O << "\t" << TAI->getCommentString() << " implicit-def: "
1303     << TRI->getAsmName(MI->getOperand(0).getReg()) << "\n";
1304 }
1305
1306 /// printLabel - This method prints a local label used by debug and
1307 /// exception handling tables.
1308 void AsmPrinter::printLabel(const MachineInstr *MI) const {
1309   O << TAI->getPrivateGlobalPrefix()
1310     << "label" << MI->getOperand(0).getImm() << ":\n";
1311 }
1312
1313 void AsmPrinter::printLabel(unsigned Id) const {
1314   O << TAI->getPrivateGlobalPrefix() << "label" << Id << ":\n";
1315 }
1316
1317 /// printDeclare - This method prints a local variable declaration used by
1318 /// debug tables.
1319 /// FIXME: It doesn't really print anything rather it inserts a DebugVariable
1320 /// entry into dwarf table.
1321 void AsmPrinter::printDeclare(const MachineInstr *MI) const {
1322   int FI = MI->getOperand(0).getIndex();
1323   GlobalValue *GV = MI->getOperand(1).getGlobal();
1324   MMI->RecordVariable(GV, FI);
1325 }
1326
1327 /// PrintAsmOperand - Print the specified operand of MI, an INLINEASM
1328 /// instruction, using the specified assembler variant.  Targets should
1329 /// overried this to format as appropriate.
1330 bool AsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNo,
1331                                  unsigned AsmVariant, const char *ExtraCode) {
1332   // Target doesn't support this yet!
1333   return true;
1334 }
1335
1336 bool AsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNo,
1337                                        unsigned AsmVariant,
1338                                        const char *ExtraCode) {
1339   // Target doesn't support this yet!
1340   return true;
1341 }
1342
1343 /// printBasicBlockLabel - This method prints the label for the specified
1344 /// MachineBasicBlock
1345 void AsmPrinter::printBasicBlockLabel(const MachineBasicBlock *MBB,
1346                                       bool printAlign,
1347                                       bool printColon,
1348                                       bool printComment) const {
1349   if (printAlign) {
1350     unsigned Align = MBB->getAlignment();
1351     if (Align)
1352       EmitAlignment(Log2_32(Align));
1353   }
1354
1355   O << TAI->getPrivateGlobalPrefix() << "BB" << getFunctionNumber() << "_"
1356     << MBB->getNumber();
1357   if (printColon)
1358     O << ':';
1359   if (printComment && MBB->getBasicBlock())
1360     O << '\t' << TAI->getCommentString() << ' '
1361       << MBB->getBasicBlock()->getName();
1362 }
1363
1364 /// printPICJumpTableSetLabel - This method prints a set label for the
1365 /// specified MachineBasicBlock for a jumptable entry.
1366 void AsmPrinter::printPICJumpTableSetLabel(unsigned uid,
1367                                            const MachineBasicBlock *MBB) const {
1368   if (!TAI->getSetDirective())
1369     return;
1370
1371   O << TAI->getSetDirective() << ' ' << TAI->getPrivateGlobalPrefix()
1372     << getFunctionNumber() << '_' << uid << "_set_" << MBB->getNumber() << ',';
1373   printBasicBlockLabel(MBB, false, false, false);
1374   O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
1375     << '_' << uid << '\n';
1376 }
1377
1378 void AsmPrinter::printPICJumpTableSetLabel(unsigned uid, unsigned uid2,
1379                                            const MachineBasicBlock *MBB) const {
1380   if (!TAI->getSetDirective())
1381     return;
1382
1383   O << TAI->getSetDirective() << ' ' << TAI->getPrivateGlobalPrefix()
1384     << getFunctionNumber() << '_' << uid << '_' << uid2
1385     << "_set_" << MBB->getNumber() << ',';
1386   printBasicBlockLabel(MBB, false, false, false);
1387   O << '-' << TAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
1388     << '_' << uid << '_' << uid2 << '\n';
1389 }
1390
1391 /// printDataDirective - This method prints the asm directive for the
1392 /// specified type.
1393 void AsmPrinter::printDataDirective(const Type *type) {
1394   const TargetData *TD = TM.getTargetData();
1395   switch (type->getTypeID()) {
1396   case Type::IntegerTyID: {
1397     unsigned BitWidth = cast<IntegerType>(type)->getBitWidth();
1398     if (BitWidth <= 8)
1399       O << TAI->getData8bitsDirective();
1400     else if (BitWidth <= 16)
1401       O << TAI->getData16bitsDirective();
1402     else if (BitWidth <= 32)
1403       O << TAI->getData32bitsDirective();
1404     else if (BitWidth <= 64) {
1405       assert(TAI->getData64bitsDirective() &&
1406              "Target cannot handle 64-bit constant exprs!");
1407       O << TAI->getData64bitsDirective();
1408     }
1409     break;
1410   }
1411   case Type::PointerTyID:
1412     if (TD->getPointerSize() == 8) {
1413       assert(TAI->getData64bitsDirective() &&
1414              "Target cannot handle 64-bit pointer exprs!");
1415       O << TAI->getData64bitsDirective();
1416     } else {
1417       O << TAI->getData32bitsDirective();
1418     }
1419     break;
1420   case Type::FloatTyID: case Type::DoubleTyID:
1421   case Type::X86_FP80TyID: case Type::FP128TyID: case Type::PPC_FP128TyID:
1422     assert (0 && "Should have already output floating point constant.");
1423   default:
1424     assert (0 && "Can't handle printing this type of thing");
1425     break;
1426   }
1427 }
1428