lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp

   1 //                     The LLVM Compiler Infrastructure
   2 //
   3 // This file is distributed under the University of Illinois Open Source
   4 // License. See LICENSE.TXT for details.
   5 //
   6 //===----------------------------------------------------------------------===//
   7 //
   8 // This file contains a printer that converts from our internal representation
   9 // of machine-dependent LLVM code to GAS-format ARM assembly language.
  10 //
  11 //===----------------------------------------------------------------------===//
  12
  13 #define DEBUG_TYPE "asm-printer"
  14 #include "ARM.h"
  15 #include "ARMBuildAttrs.h"
  16 #include "ARMTargetMachine.h"
  17 #include "ARMAddressingModes.h"
  18 #include "ARMConstantPoolValue.h"
  19 #include "ARMMachineFunctionInfo.h"
  20 #include "llvm/Constants.h"
  21 #include "llvm/Module.h"
  22 #include "llvm/Assembly/Writer.h"
  23 #include "llvm/CodeGen/AsmPrinter.h"
  24 #include "llvm/CodeGen/DwarfWriter.h"
  25 #include "llvm/CodeGen/MachineModuleInfo.h"
  26 #include "llvm/CodeGen/MachineFunctionPass.h"
  27 #include "llvm/CodeGen/MachineJumpTableInfo.h"
  28 #include "llvm/MC/MCSectionMachO.h"
  29 #include "llvm/MC/MCStreamer.h"
  30 #include "llvm/MC/MCAsmInfo.h"
  31 #include "llvm/MC/MCSymbol.h"
  32 #include "llvm/Target/TargetData.h"
  33 #include "llvm/Target/TargetLoweringObjectFile.h"
  34 #include "llvm/Target/TargetMachine.h"
  35 #include "llvm/Target/TargetOptions.h"
  36 #include "llvm/Target/TargetRegistry.h"
  37 #include "llvm/ADT/SmallPtrSet.h"
  38 #include "llvm/ADT/SmallString.h"
  39 #include "llvm/ADT/Statistic.h"
  40 #include "llvm/ADT/StringSet.h"
  41 #include "llvm/Support/Compiler.h"
  42 #include "llvm/Support/ErrorHandling.h"
  43 #include "llvm/Support/Mangler.h"
  44 #include "llvm/Support/MathExtras.h"
  45 #include "llvm/Support/FormattedStream.h"
  46 #include <cctype>
  47 using namespace llvm;
  48
  49 STATISTIC(EmittedInsts, "Number of machine instrs printed");
  50
  51 namespace {
  52   class VISIBILITY_HIDDEN ARMAsmPrinter : public AsmPrinter {
  53
  54     /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
  55     /// make the right decision when printing asm code for different targets.
  56     const ARMSubtarget *Subtarget;
  57
  58     /// AFI - Keep a pointer to ARMFunctionInfo for the current
  59     /// MachineFunction.
  60     ARMFunctionInfo *AFI;
  61
  62     /// MCP - Keep a pointer to constantpool entries of the current
  63     /// MachineFunction.
  64     const MachineConstantPool *MCP;
  65
  66     /// We name each basic block in a Function with a unique number, so
  67     /// that we can consistently refer to them later. This is cleared
  68     /// at the beginning of each call to runOnMachineFunction().
  69     ///
  70     typedef std::map<const Value *, unsigned> ValueMapTy;
  71     ValueMapTy NumberForBB;
  72
  73     /// GVNonLazyPtrs - Keeps the set of GlobalValues that require
  74     /// non-lazy-pointers for indirect access.
  75     StringMap<std::string> GVNonLazyPtrs;
  76
  77     /// HiddenGVNonLazyPtrs - Keeps the set of GlobalValues with hidden
  78     /// visibility that require non-lazy-pointers for indirect access.
  79     StringMap<std::string> HiddenGVNonLazyPtrs;
  80
  81     /// True if asm printer is printing a series of CONSTPOOL_ENTRY.
  82     bool InCPMode;
  83   public:
  84     explicit ARMAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
  85                            const MCAsmInfo *T, bool V)
  86       : AsmPrinter(O, TM, T, V), AFI(NULL), MCP(NULL),
  87         InCPMode(false) {
  88       Subtarget = &TM.getSubtarget<ARMSubtarget>();
  89     }
  90
  91     virtual const char *getPassName() const {
  92       return "ARM Assembly Printer";
  93     }
  94
  95     void printOperand(const MachineInstr *MI, int OpNum,
  96                       const char *Modifier = 0);
  97     void printSOImmOperand(const MachineInstr *MI, int OpNum);
  98     void printSOImm2PartOperand(const MachineInstr *MI, int OpNum);
  99     void printSORegOperand(const MachineInstr *MI, int OpNum);
 100     void printAddrMode2Operand(const MachineInstr *MI, int OpNum);
 101     void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNum);
 102     void printAddrMode3Operand(const MachineInstr *MI, int OpNum);
 103     void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNum);
 104     void printAddrMode4Operand(const MachineInstr *MI, int OpNum,
 105                                const char *Modifier = 0);
 106     void printAddrMode5Operand(const MachineInstr *MI, int OpNum,
 107                                const char *Modifier = 0);
 108     void printAddrMode6Operand(const MachineInstr *MI, int OpNum);
 109     void printAddrModePCOperand(const MachineInstr *MI, int OpNum,
 110                                 const char *Modifier = 0);
 111     void printBitfieldInvMaskImmOperand (const MachineInstr *MI, int OpNum);
 112
 113     void printThumbITMask(const MachineInstr *MI, int OpNum);
 114     void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNum);
 115     void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNum,
 116                                       unsigned Scale);
 117     void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNum);
 118     void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNum);
 119     void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNum);
 120     void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNum);
 121
 122     void printT2SOOperand(const MachineInstr *MI, int OpNum);
 123     void printT2AddrModeImm12Operand(const MachineInstr *MI, int OpNum);
 124     void printT2AddrModeImm8Operand(const MachineInstr *MI, int OpNum);
 125     void printT2AddrModeImm8s4Operand(const MachineInstr *MI, int OpNum);
 126     void printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, int OpNum);
 127     void printT2AddrModeSoRegOperand(const MachineInstr *MI, int OpNum);
 128
 129     void printPredicateOperand(const MachineInstr *MI, int OpNum);
 130     void printSBitModifierOperand(const MachineInstr *MI, int OpNum);
 131     void printPCLabel(const MachineInstr *MI, int OpNum);
 132     void printRegisterList(const MachineInstr *MI, int OpNum);
 133     void printCPInstOperand(const MachineInstr *MI, int OpNum,
 134                             const char *Modifier);
 135     void printJTBlockOperand(const MachineInstr *MI, int OpNum);
 136     void printJT2BlockOperand(const MachineInstr *MI, int OpNum);
 137     void printTBAddrMode(const MachineInstr *MI, int OpNum);
 138     void printNoHashImmediate(const MachineInstr *MI, int OpNum);
 139
 140     virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
 141                                  unsigned AsmVariant, const char *ExtraCode);
 142     virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
 143                                        unsigned AsmVariant,
 144                                        const char *ExtraCode);
 145
 146     void PrintGlobalVariable(const GlobalVariable* GVar);
 147     void printInstruction(const MachineInstr *MI);  // autogenerated.
 148     static const char *getRegisterName(unsigned RegNo);
 149
 150     void printMachineInstruction(const MachineInstr *MI);
 151     bool runOnMachineFunction(MachineFunction &F);
 152     bool doFinalization(Module &M);
 153     void EmitStartOfAsmFile(Module &M);
 154
 155     /// EmitMachineConstantPoolValue - Print a machine constantpool value to
 156     /// the .s file.
 157     virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
 158       printDataDirective(MCPV->getType());
 159
 160       ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
 161       GlobalValue *GV = ACPV->getGV();
 162       std::string Name;
 163
 164       if (ACPV->isLSDA()) {
 165         SmallString<16> LSDAName;
 166         raw_svector_ostream(LSDAName) << MAI->getPrivateGlobalPrefix() <<
 167           "_LSDA_" << getFunctionNumber();
 168         Name = LSDAName.str();
 169       } else if (GV) {
 170         bool isIndirect = Subtarget->isTargetDarwin() &&
 171           Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
 172         if (!isIndirect)
 173           Name = Mang->getMangledName(GV);
 174         else {
 175           // FIXME: Remove this when Darwin transition to @GOT like syntax.
 176           std::string SymName = Mang->getMangledName(GV);
 177           Name = Mang->getMangledName(GV, "$non_lazy_ptr", true);
 178           if (GV->hasHiddenVisibility())
 179             HiddenGVNonLazyPtrs[SymName] = Name;
 180           else
 181             GVNonLazyPtrs[SymName] = Name;
 182         }
 183       } else
 184         Name = Mang->makeNameProper(ACPV->getSymbol());
 185       O << Name;
 186
 187       if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
 188       if (ACPV->getPCAdjustment() != 0) {
 189         O << "-(" << MAI->getPrivateGlobalPrefix() << "PC"
 190           << ACPV->getLabelId()
 191           << "+" << (unsigned)ACPV->getPCAdjustment();
 192          if (ACPV->mustAddCurrentAddress())
 193            O << "-.";
 194          O << ")";
 195       }
 196       O << "\n";
 197     }
 198
 199     void getAnalysisUsage(AnalysisUsage &AU) const {
 200       AsmPrinter::getAnalysisUsage(AU);
 201       AU.setPreservesAll();
 202       AU.addRequired<MachineModuleInfo>();
 203       AU.addRequired<DwarfWriter>();
 204     }
 205   };
 206 } // end of anonymous namespace
 207
 208 #include "ARMGenAsmWriter.inc"
 209
 210 /// runOnMachineFunction - This uses the printInstruction()
 211 /// method to print assembly for each instruction.
 212 ///
 213 bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
 214   this->MF = &MF;
 215
 216   AFI = MF.getInfo<ARMFunctionInfo>();
 217   MCP = MF.getConstantPool();
 218
 219   SetupMachineFunction(MF);
 220   O << "\n";
 221
 222   // NOTE: we don't print out constant pools here, they are handled as
 223   // instructions.
 224
 225   O << '\n';
 226
 227   // Print out labels for the function.
 228   const Function *F = MF.getFunction();
 229   OutStreamer.SwitchSection(getObjFileLowering().SectionForGlobal(F, Mang, TM));
 230
 231   switch (F->getLinkage()) {
 232   default: llvm_unreachable("Unknown linkage type!");
 233   case Function::PrivateLinkage:
 234   case Function::InternalLinkage:
 235     break;
 236   case Function::ExternalLinkage:
 237     O << "\t.globl\t" << CurrentFnName << "\n";
 238     break;
 239   case Function::LinkerPrivateLinkage:
 240   case Function::WeakAnyLinkage:
 241   case Function::WeakODRLinkage:
 242   case Function::LinkOnceAnyLinkage:
 243   case Function::LinkOnceODRLinkage:
 244     if (Subtarget->isTargetDarwin()) {
 245       O << "\t.globl\t" << CurrentFnName << "\n";
 246       O << "\t.weak_definition\t" << CurrentFnName << "\n";
 247     } else {
 248       O << MAI->getWeakRefDirective() << CurrentFnName << "\n";
 249     }
 250     break;
 251   }
 252
 253   printVisibility(CurrentFnName, F->getVisibility());
 254
 255   if (AFI->isThumbFunction()) {
 256     EmitAlignment(MF.getAlignment(), F, AFI->getAlign());
 257     O << "\t.code\t16\n";
 258     O << "\t.thumb_func";
 259     if (Subtarget->isTargetDarwin())
 260       O << "\t" << CurrentFnName;
 261     O << "\n";
 262     InCPMode = false;
 263   } else {
 264     EmitAlignment(MF.getAlignment(), F);
 265   }
 266
 267   O << CurrentFnName << ":\n";
 268   // Emit pre-function debug information.
 269   DW->BeginFunction(&MF);
 270
 271   if (Subtarget->isTargetDarwin()) {
 272     // If the function is empty, then we need to emit *something*. Otherwise,
 273     // the function's label might be associated with something that it wasn't
 274     // meant to be associated with. We emit a noop in this situation.
 275     MachineFunction::iterator I = MF.begin();
 276
 277     if (++I == MF.end() && MF.front().empty())
 278       O << "\tnop\n";
 279   }
 280
 281   // Print out code for the function.
 282   for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
 283        I != E; ++I) {
 284     // Print a label for the basic block.
 285     if (I != MF.begin()) {
 286       EmitBasicBlockStart(I);
 287       O << '\n';
 288     }
 289     for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
 290          II != E; ++II) {
 291       // Print the assembly for the instruction.
 292       printMachineInstruction(II);
 293     }
 294   }
 295
 296   if (MAI->hasDotTypeDotSizeDirective())
 297     O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
 298
 299   // Emit post-function debug information.
 300   DW->EndFunction(&MF);
 301
 302   return false;
 303 }
 304
 305 void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
 306                                  const char *Modifier) {
 307   const MachineOperand &MO = MI->getOperand(OpNum);
 308   switch (MO.getType()) {
 309   case MachineOperand::MO_Register: {
 310     unsigned Reg = MO.getReg();
 311     if (TargetRegisterInfo::isPhysicalRegister(Reg)) {
 312       if (Modifier && strcmp(Modifier, "dregpair") == 0) {
 313         unsigned DRegLo = TRI->getSubReg(Reg, 5); // arm_dsubreg_0
 314         unsigned DRegHi = TRI->getSubReg(Reg, 6); // arm_dsubreg_1
 315         O << '{'
 316           << getRegisterName(DRegLo) << ',' << getRegisterName(DRegHi)
 317           << '}';
 318       } else if (Modifier && strcmp(Modifier, "lane") == 0) {
 319         unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(Reg);
 320         unsigned DReg = TRI->getMatchingSuperReg(Reg, RegNum & 1 ? 2 : 1,
 321                                                  &ARM::DPR_VFP2RegClass);
 322         O << getRegisterName(DReg) << '[' << (RegNum & 1) << ']';
 323       } else {
 324         O << getRegisterName(Reg);
 325       }
 326     } else
 327       llvm_unreachable("not implemented");
 328     break;
 329   }
 330   case MachineOperand::MO_Immediate: {
 331     int64_t Imm = MO.getImm();
 332     if (Modifier) {
 333       if (strcmp(Modifier, "lo16") == 0)
 334         Imm = Imm & 0xffffLL;
 335       else if (strcmp(Modifier, "hi16") == 0)
 336         Imm = (Imm & 0xffff0000LL) >> 16;
 337     }
 338     O << '#' << Imm;
 339     break;
 340   }
 341   case MachineOperand::MO_MachineBasicBlock:
 342     GetMBBSymbol(MO.getMBB()->getNumber())->print(O, MAI);
 343     return;
 344   case MachineOperand::MO_GlobalAddress: {
 345     bool isCallOp = Modifier && !strcmp(Modifier, "call");
 346     GlobalValue *GV = MO.getGlobal();
 347     O << Mang->getMangledName(GV);
 348
 349     printOffset(MO.getOffset());
 350
 351     if (isCallOp && Subtarget->isTargetELF() &&
 352         TM.getRelocationModel() == Reloc::PIC_)
 353       O << "(PLT)";
 354     break;
 355   }
 356   case MachineOperand::MO_ExternalSymbol: {
 357     bool isCallOp = Modifier && !strcmp(Modifier, "call");
 358     std::string Name = Mang->makeNameProper(MO.getSymbolName());
 359
 360     O << Name;
 361     if (isCallOp && Subtarget->isTargetELF() &&
 362         TM.getRelocationModel() == Reloc::PIC_)
 363       O << "(PLT)";
 364     break;
 365   }
 366   case MachineOperand::MO_ConstantPoolIndex:
 367     O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
 368       << '_' << MO.getIndex();
 369     break;
 370   case MachineOperand::MO_JumpTableIndex:
 371     O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
 372       << '_' << MO.getIndex();
 373     break;
 374   default:
 375     O << "<unknown operand type>"; abort (); break;
 376   }
 377 }
 378
 379 static void printSOImm(formatted_raw_ostream &O, int64_t V, bool VerboseAsm,
 380                        const MCAsmInfo *MAI) {
 381   // Break it up into two parts that make up a shifter immediate.
 382   V = ARM_AM::getSOImmVal(V);
 383   assert(V != -1 && "Not a valid so_imm value!");
 384
 385   unsigned Imm = ARM_AM::getSOImmValImm(V);
 386   unsigned Rot = ARM_AM::getSOImmValRot(V);
 387
 388   // Print low-level immediate formation info, per
 389   // A5.1.3: "Data-processing operands - Immediate".
 390   if (Rot) {
 391     O << "#" << Imm << ", " << Rot;
 392     // Pretty printed version.
 393     if (VerboseAsm)
 394       O << ' ' << MAI->getCommentString()
 395         << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
 396   } else {
 397     O << "#" << Imm;
 398   }
 399 }
 400
 401 /// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
 402 /// immediate in bits 0-7.
 403 void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
 404   const MachineOperand &MO = MI->getOperand(OpNum);
 405   assert(MO.isImm() && "Not a valid so_imm value!");
 406   printSOImm(O, MO.getImm(), VerboseAsm, MAI);
 407 }
 408
 409 /// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov'
 410 /// followed by an 'orr' to materialize.
 411 void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) {
 412   const MachineOperand &MO = MI->getOperand(OpNum);
 413   assert(MO.isImm() && "Not a valid so_imm value!");
 414   unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm());
 415   unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm());
 416   printSOImm(O, V1, VerboseAsm, MAI);
 417   O << "\n\torr";
 418   printPredicateOperand(MI, 2);
 419   O << " ";
 420   printOperand(MI, 0);
 421   O << ", ";
 422   printOperand(MI, 0);
 423   O << ", ";
 424   printSOImm(O, V2, VerboseAsm, MAI);
 425 }
 426
 427 // so_reg is a 4-operand unit corresponding to register forms of the A5.1
 428 // "Addressing Mode 1 - Data-processing operands" forms.  This includes:
 429 //    REG 0   0           - e.g. R5
 430 //    REG REG 0,SH_OPC    - e.g. R5, ROR R3
 431 //    REG 0   IMM,SH_OPC  - e.g. R5, LSL #3
 432 void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
 433   const MachineOperand &MO1 = MI->getOperand(Op);
 434   const MachineOperand &MO2 = MI->getOperand(Op+1);
 435   const MachineOperand &MO3 = MI->getOperand(Op+2);
 436
 437   O << getRegisterName(MO1.getReg());
 438
 439   // Print the shift opc.
 440   O << ", "
 441     << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()))
 442     << " ";
 443
 444   if (MO2.getReg()) {
 445     O << getRegisterName(MO2.getReg());
 446     assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
 447   } else {
 448     O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
 449   }
 450 }
 451
 452 void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) {
 453   const MachineOperand &MO1 = MI->getOperand(Op);
 454   const MachineOperand &MO2 = MI->getOperand(Op+1);
 455   const MachineOperand &MO3 = MI->getOperand(Op+2);
 456
 457   if (!MO1.isReg()) {   // FIXME: This is for CP entries, but isn't right.
 458     printOperand(MI, Op);
 459     return;
 460   }
 461
 462   O << "[" << getRegisterName(MO1.getReg());
 463
 464   if (!MO2.getReg()) {
 465     if (ARM_AM::getAM2Offset(MO3.getImm()))  // Don't print +0.
 466       O << ", #"
 467         << (char)ARM_AM::getAM2Op(MO3.getImm())
 468         << ARM_AM::getAM2Offset(MO3.getImm());
 469     O << "]";
 470     return;
 471   }
 472
 473   O << ", "
 474     << (char)ARM_AM::getAM2Op(MO3.getImm())
 475     << getRegisterName(MO2.getReg());
 476
 477   if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
 478     O << ", "
 479       << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
 480       << " #" << ShImm;
 481   O << "]";
 482 }
 483
 484 void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
 485   const MachineOperand &MO1 = MI->getOperand(Op);
 486   const MachineOperand &MO2 = MI->getOperand(Op+1);
 487
 488   if (!MO1.getReg()) {
 489     unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
 490     assert(ImmOffs && "Malformed indexed load / store!");
 491     O << "#"
 492       << (char)ARM_AM::getAM2Op(MO2.getImm())
 493       << ImmOffs;
 494     return;
 495   }
 496
 497   O << (char)ARM_AM::getAM2Op(MO2.getImm())
 498     << getRegisterName(MO1.getReg());
 499
 500   if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
 501     O << ", "
 502       << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
 503       << " #" << ShImm;
 504 }
 505
 506 void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
 507   const MachineOperand &MO1 = MI->getOperand(Op);
 508   const MachineOperand &MO2 = MI->getOperand(Op+1);
 509   const MachineOperand &MO3 = MI->getOperand(Op+2);
 510
 511   assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
 512   O << "[" << getRegisterName(MO1.getReg());
 513
 514   if (MO2.getReg()) {
 515     O << ", "
 516       << (char)ARM_AM::getAM3Op(MO3.getImm())
 517       << getRegisterName(MO2.getReg())
 518       << "]";
 519     return;
 520   }
 521
 522   if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
 523     O << ", #"
 524       << (char)ARM_AM::getAM3Op(MO3.getImm())
 525       << ImmOffs;
 526   O << "]";
 527 }
 528
 529 void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
 530   const MachineOperand &MO1 = MI->getOperand(Op);
 531   const MachineOperand &MO2 = MI->getOperand(Op+1);
 532
 533   if (MO1.getReg()) {
 534     O << (char)ARM_AM::getAM3Op(MO2.getImm())
 535       << getRegisterName(MO1.getReg());
 536     return;
 537   }
 538
 539   unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
 540   assert(ImmOffs && "Malformed indexed load / store!");
 541   O << "#"
 542     << (char)ARM_AM::getAM3Op(MO2.getImm())
 543     << ImmOffs;
 544 }
 545
 546 void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
 547                                           const char *Modifier) {
 548   const MachineOperand &MO1 = MI->getOperand(Op);
 549   const MachineOperand &MO2 = MI->getOperand(Op+1);
 550   ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
 551   if (Modifier && strcmp(Modifier, "submode") == 0) {
 552     if (MO1.getReg() == ARM::SP) {
 553       // FIXME
 554       bool isLDM = (MI->getOpcode() == ARM::LDM ||
 555                     MI->getOpcode() == ARM::LDM_RET ||
 556                     MI->getOpcode() == ARM::t2LDM ||
 557                     MI->getOpcode() == ARM::t2LDM_RET);
 558       O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
 559     } else
 560       O << ARM_AM::getAMSubModeStr(Mode);
 561   } else if (Modifier && strcmp(Modifier, "wide") == 0) {
 562     ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
 563     if (Mode == ARM_AM::ia)
 564       O << ".w";
 565   } else {
 566     printOperand(MI, Op);
 567     if (ARM_AM::getAM4WBFlag(MO2.getImm()))
 568       O << "!";
 569   }
 570 }
 571
 572 void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
 573                                           const char *Modifier) {
 574   const MachineOperand &MO1 = MI->getOperand(Op);
 575   const MachineOperand &MO2 = MI->getOperand(Op+1);
 576
 577   if (!MO1.isReg()) {   // FIXME: This is for CP entries, but isn't right.
 578     printOperand(MI, Op);
 579     return;
 580   }
 581
 582   assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
 583
 584   if (Modifier && strcmp(Modifier, "submode") == 0) {
 585     ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
 586     if (MO1.getReg() == ARM::SP) {
 587       bool isFLDM = (MI->getOpcode() == ARM::FLDMD ||
 588                      MI->getOpcode() == ARM::FLDMS);
 589       O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM);
 590     } else
 591       O << ARM_AM::getAMSubModeStr(Mode);
 592     return;
 593   } else if (Modifier && strcmp(Modifier, "base") == 0) {
 594     // Used for FSTM{D|S} and LSTM{D|S} operations.
 595     O << getRegisterName(MO1.getReg());
 596     if (ARM_AM::getAM5WBFlag(MO2.getImm()))
 597       O << "!";
 598     return;
 599   }
 600
 601   O << "[" << getRegisterName(MO1.getReg());
 602
 603   if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
 604     O << ", #"
 605       << (char)ARM_AM::getAM5Op(MO2.getImm())
 606       << ImmOffs*4;
 607   }
 608   O << "]";
 609 }
 610
 611 void ARMAsmPrinter::printAddrMode6Operand(const MachineInstr *MI, int Op) {
 612   const MachineOperand &MO1 = MI->getOperand(Op);
 613   const MachineOperand &MO2 = MI->getOperand(Op+1);
 614   const MachineOperand &MO3 = MI->getOperand(Op+2);
 615
 616   // FIXME: No support yet for specifying alignment.
 617   O << "[" << getRegisterName(MO1.getReg()) << "]";
 618
 619   if (ARM_AM::getAM6WBFlag(MO3.getImm())) {
 620     if (MO2.getReg() == 0)
 621       O << "!";
 622     else
 623       O << ", " << getRegisterName(MO2.getReg());
 624   }
 625 }
 626
 627 void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
 628                                            const char *Modifier) {
 629   if (Modifier && strcmp(Modifier, "label") == 0) {
 630     printPCLabel(MI, Op+1);
 631     return;
 632   }
 633
 634   const MachineOperand &MO1 = MI->getOperand(Op);
 635   assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
 636   O << "[pc, +" << getRegisterName(MO1.getReg()) << "]";
 637 }
 638
 639 void
 640 ARMAsmPrinter::printBitfieldInvMaskImmOperand(const MachineInstr *MI, int Op) {
 641   const MachineOperand &MO = MI->getOperand(Op);
 642   uint32_t v = ~MO.getImm();
 643   int32_t lsb = CountTrailingZeros_32(v);
 644   int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
 645   assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
 646   O << "#" << lsb << ", #" << width;
 647 }
 648
 649 //===--------------------------------------------------------------------===//
 650
 651 void
 652 ARMAsmPrinter::printThumbITMask(const MachineInstr *MI, int Op) {
 653   // (3 - the number of trailing zeros) is the number of then / else.
 654   unsigned Mask = MI->getOperand(Op).getImm();
 655   unsigned NumTZ = CountTrailingZeros_32(Mask);
 656   assert(NumTZ <= 3 && "Invalid IT mask!");
 657   for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
 658     bool T = (Mask & (1 << Pos)) == 0;
 659     if (T)
 660       O << 't';
 661     else
 662       O << 'e';
 663   }
 664 }
 665
 666 void
 667 ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
 668   const MachineOperand &MO1 = MI->getOperand(Op);
 669   const MachineOperand &MO2 = MI->getOperand(Op+1);
 670   O << "[" << getRegisterName(MO1.getReg());
 671   O << ", " << getRegisterName(MO2.getReg()) << "]";
 672 }
 673
 674 void
 675 ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
 676                                             unsigned Scale) {
 677   const MachineOperand &MO1 = MI->getOperand(Op);
 678   const MachineOperand &MO2 = MI->getOperand(Op+1);
 679   const MachineOperand &MO3 = MI->getOperand(Op+2);
 680
 681   if (!MO1.isReg()) {   // FIXME: This is for CP entries, but isn't right.
 682     printOperand(MI, Op);
 683     return;
 684   }
 685
 686   O << "[" << getRegisterName(MO1.getReg());
 687   if (MO3.getReg())
 688     O << ", " << getRegisterName(MO3.getReg());
 689   else if (unsigned ImmOffs = MO2.getImm()) {
 690     O << ", #" << ImmOffs;
 691     if (Scale > 1)
 692       O << " * " << Scale;
 693   }
 694   O << "]";
 695 }
 696
 697 void
 698 ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
 699   printThumbAddrModeRI5Operand(MI, Op, 1);
 700 }
 701 void
 702 ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
 703   printThumbAddrModeRI5Operand(MI, Op, 2);
 704 }
 705 void
 706 ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
 707   printThumbAddrModeRI5Operand(MI, Op, 4);
 708 }
 709
 710 void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
 711   const MachineOperand &MO1 = MI->getOperand(Op);
 712   const MachineOperand &MO2 = MI->getOperand(Op+1);
 713   O << "[" << getRegisterName(MO1.getReg());
 714   if (unsigned ImmOffs = MO2.getImm())
 715     O << ", #" << ImmOffs << " * 4";
 716   O << "]";
 717 }
 718
 719 //===--------------------------------------------------------------------===//
 720
 721 // Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
 722 // register with shift forms.
 723 // REG 0   0           - e.g. R5
 724 // REG IMM, SH_OPC     - e.g. R5, LSL #3
 725 void ARMAsmPrinter::printT2SOOperand(const MachineInstr *MI, int OpNum) {
 726   const MachineOperand &MO1 = MI->getOperand(OpNum);
 727   const MachineOperand &MO2 = MI->getOperand(OpNum+1);
 728
 729   unsigned Reg = MO1.getReg();
 730   assert(TargetRegisterInfo::isPhysicalRegister(Reg));
 731   O << getRegisterName(Reg);
 732
 733   // Print the shift opc.
 734   O << ", "
 735     << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()))
 736     << " ";
 737
 738   assert(MO2.isImm() && "Not a valid t2_so_reg value!");
 739   O << "#" << ARM_AM::getSORegOffset(MO2.getImm());
 740 }
 741
 742 void ARMAsmPrinter::printT2AddrModeImm12Operand(const MachineInstr *MI,
 743                                                 int OpNum) {
 744   const MachineOperand &MO1 = MI->getOperand(OpNum);
 745   const MachineOperand &MO2 = MI->getOperand(OpNum+1);
 746
 747   O << "[" << getRegisterName(MO1.getReg());
 748
 749   unsigned OffImm = MO2.getImm();
 750   if (OffImm)  // Don't print +0.
 751     O << ", #+" << OffImm;
 752   O << "]";
 753 }
 754
 755 void ARMAsmPrinter::printT2AddrModeImm8Operand(const MachineInstr *MI,
 756                                                int OpNum) {
 757   const MachineOperand &MO1 = MI->getOperand(OpNum);
 758   const MachineOperand &MO2 = MI->getOperand(OpNum+1);
 759
 760   O << "[" << getRegisterName(MO1.getReg());
 761
 762   int32_t OffImm = (int32_t)MO2.getImm();
 763   // Don't print +0.
 764   if (OffImm < 0)
 765     O << ", #-" << -OffImm;
 766   else if (OffImm > 0)
 767     O << ", #+" << OffImm;
 768   O << "]";
 769 }
 770
 771 void ARMAsmPrinter::printT2AddrModeImm8s4Operand(const MachineInstr *MI,
 772                                                  int OpNum) {
 773   const MachineOperand &MO1 = MI->getOperand(OpNum);
 774   const MachineOperand &MO2 = MI->getOperand(OpNum+1);
 775
 776   O << "[" << getRegisterName(MO1.getReg());
 777
 778   int32_t OffImm = (int32_t)MO2.getImm() / 4;
 779   // Don't print +0.
 780   if (OffImm < 0)
 781     O << ", #-" << -OffImm << " * 4";
 782   else if (OffImm > 0)
 783     O << ", #+" << OffImm << " * 4";
 784   O << "]";
 785 }
 786
 787 void ARMAsmPrinter::printT2AddrModeImm8OffsetOperand(const MachineInstr *MI,
 788                                                      int OpNum) {
 789   const MachineOperand &MO1 = MI->getOperand(OpNum);
 790   int32_t OffImm = (int32_t)MO1.getImm();
 791   // Don't print +0.
 792   if (OffImm < 0)
 793     O << "#-" << -OffImm;
 794   else if (OffImm > 0)
 795     O << "#+" << OffImm;
 796 }
 797
 798 void ARMAsmPrinter::printT2AddrModeSoRegOperand(const MachineInstr *MI,
 799                                                 int OpNum) {
 800   const MachineOperand &MO1 = MI->getOperand(OpNum);
 801   const MachineOperand &MO2 = MI->getOperand(OpNum+1);
 802   const MachineOperand &MO3 = MI->getOperand(OpNum+2);
 803
 804   O << "[" << getRegisterName(MO1.getReg());
 805
 806   assert(MO2.getReg() && "Invalid so_reg load / store address!");
 807   O << ", " << getRegisterName(MO2.getReg());
 808
 809   unsigned ShAmt = MO3.getImm();
 810   if (ShAmt) {
 811     assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
 812     O << ", lsl #" << ShAmt;
 813   }
 814   O << "]";
 815 }
 816
 817
 818 //===--------------------------------------------------------------------===//
 819
 820 void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int OpNum) {
 821   ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
 822   if (CC != ARMCC::AL)
 823     O << ARMCondCodeToString(CC);
 824 }
 825
 826 void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int OpNum){
 827   unsigned Reg = MI->getOperand(OpNum).getReg();
 828   if (Reg) {
 829     assert(Reg == ARM::CPSR && "Expect ARM CPSR register!");
 830     O << 's';
 831   }
 832 }
 833
 834 void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int OpNum) {
 835   int Id = (int)MI->getOperand(OpNum).getImm();
 836   O << MAI->getPrivateGlobalPrefix() << "PC" << Id;
 837 }
 838
 839 void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int OpNum) {
 840   O << "{";
 841   for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) {
 842     if (MI->getOperand(i).isImplicit())
 843       continue;
 844     if ((int)i != OpNum) O << ", ";
 845     printOperand(MI, i);
 846   }
 847   O << "}";
 848 }
 849
 850 void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNum,
 851                                        const char *Modifier) {
 852   assert(Modifier && "This operand only works with a modifier!");
 853   // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
 854   // data itself.
 855   if (!strcmp(Modifier, "label")) {
 856     unsigned ID = MI->getOperand(OpNum).getImm();
 857     O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
 858       << '_' << ID << ":\n";
 859   } else {
 860     assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
 861     unsigned CPI = MI->getOperand(OpNum).getIndex();
 862
 863     const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI];
 864
 865     if (MCPE.isMachineConstantPoolEntry()) {
 866       EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
 867     } else {
 868       EmitGlobalConstant(MCPE.Val.ConstVal);
 869     }
 870   }
 871 }
 872
 873 void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNum) {
 874   assert(!Subtarget->isThumb2() && "Thumb2 should use double-jump jumptables!");
 875
 876   const MachineOperand &MO1 = MI->getOperand(OpNum);
 877   const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
 878   unsigned JTI = MO1.getIndex();
 879   O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
 880     << '_' << JTI << '_' << MO2.getImm() << ":\n";
 881
 882   const char *JTEntryDirective = MAI->getData32bitsDirective();
 883
 884   const MachineFunction *MF = MI->getParent()->getParent();
 885   const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
 886   const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
 887   const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
 888   bool UseSet= MAI->getSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
 889   SmallPtrSet<MachineBasicBlock*, 8> JTSets;
 890   for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
 891     MachineBasicBlock *MBB = JTBBs[i];
 892     bool isNew = JTSets.insert(MBB);
 893
 894     if (UseSet && isNew)
 895       printPICJumpTableSetLabel(JTI, MO2.getImm(), MBB);
 896
 897     O << JTEntryDirective << ' ';
 898     if (UseSet)
 899       O << MAI->getPrivateGlobalPrefix() << getFunctionNumber()
 900         << '_' << JTI << '_' << MO2.getImm()
 901         << "_set_" << MBB->getNumber();
 902     else if (TM.getRelocationModel() == Reloc::PIC_) {
 903       GetMBBSymbol(MBB->getNumber())->print(O, MAI);
 904       O << '-' << MAI->getPrivateGlobalPrefix() << "JTI"
 905         << getFunctionNumber() << '_' << JTI << '_' << MO2.getImm();
 906     } else {
 907       GetMBBSymbol(MBB->getNumber())->print(O, MAI);
 908     }
 909     if (i != e-1)
 910       O << '\n';
 911   }
 912 }
 913
 914 void ARMAsmPrinter::printJT2BlockOperand(const MachineInstr *MI, int OpNum) {
 915   const MachineOperand &MO1 = MI->getOperand(OpNum);
 916   const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
 917   unsigned JTI = MO1.getIndex();
 918   O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
 919     << '_' << JTI << '_' << MO2.getImm() << ":\n";
 920
 921   const MachineFunction *MF = MI->getParent()->getParent();
 922   const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
 923   const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
 924   const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
 925   bool ByteOffset = false, HalfWordOffset = false;
 926   if (MI->getOpcode() == ARM::t2TBB)
 927     ByteOffset = true;
 928   else if (MI->getOpcode() == ARM::t2TBH)
 929     HalfWordOffset = true;
 930
 931   for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
 932     MachineBasicBlock *MBB = JTBBs[i];
 933     if (ByteOffset)
 934       O << MAI->getData8bitsDirective();
 935     else if (HalfWordOffset)
 936       O << MAI->getData16bitsDirective();
 937     if (ByteOffset || HalfWordOffset) {
 938       O << '(';
 939       GetMBBSymbol(MBB->getNumber())->print(O, MAI);
 940       O << "-" << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
 941         << '_' << JTI << '_' << MO2.getImm() << ")/2";
 942     } else {
 943       O << "\tb.w ";
 944       GetMBBSymbol(MBB->getNumber())->print(O, MAI);
 945     }
 946     if (i != e-1)
 947       O << '\n';
 948   }
 949
 950   // Make sure the instruction that follows TBB is 2-byte aligned.
 951   // FIXME: Constant island pass should insert an "ALIGN" instruction instead.
 952   if (ByteOffset && (JTBBs.size() & 1)) {
 953     O << '\n';
 954     EmitAlignment(1);
 955   }
 956 }
 957
 958 void ARMAsmPrinter::printTBAddrMode(const MachineInstr *MI, int OpNum) {
 959   O << "[pc, " << getRegisterName(MI->getOperand(OpNum).getReg());
 960   if (MI->getOpcode() == ARM::t2TBH)
 961     O << ", lsl #1";
 962   O << ']';
 963 }
 964
 965 void ARMAsmPrinter::printNoHashImmediate(const MachineInstr *MI, int OpNum) {
 966   O << MI->getOperand(OpNum).getImm();
 967 }
 968
 969 bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
 970                                     unsigned AsmVariant, const char *ExtraCode){
 971   // Does this asm operand have a single letter operand modifier?
 972   if (ExtraCode && ExtraCode[0]) {
 973     if (ExtraCode[1] != 0) return true; // Unknown modifier.
 974
 975     switch (ExtraCode[0]) {
 976     default: return true;  // Unknown modifier.
 977     case 'a': // Print as a memory address.
 978       if (MI->getOperand(OpNum).isReg()) {
 979         O << "[" << getRegisterName(MI->getOperand(OpNum).getReg()) << "]";
 980         return false;
 981       }
 982       // Fallthrough
 983     case 'c': // Don't print "#" before an immediate operand.
 984       if (!MI->getOperand(OpNum).isImm())
 985         return true;
 986       printNoHashImmediate(MI, OpNum);
 987       return false;
 988     case 'P': // Print a VFP double precision register.
 989       printOperand(MI, OpNum);
 990       return false;
 991     case 'Q':
 992       if (TM.getTargetData()->isLittleEndian())
 993         break;
 994       // Fallthrough
 995     case 'R':
 996       if (TM.getTargetData()->isBigEndian())
 997         break;
 998       // Fallthrough
 999     case 'H': // Write second word of DI / DF reference.
1000       // Verify that this operand has two consecutive registers.
1001       if (!MI->getOperand(OpNum).isReg() ||
1002           OpNum+1 == MI->getNumOperands() ||
1003           !MI->getOperand(OpNum+1).isReg())
1004         return true;
1005       ++OpNum;   // Return the high-part.
1006     }
1007   }
1008
1009   printOperand(MI, OpNum);
1010   return false;
1011 }
1012
1013 bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
1014                                           unsigned OpNum, unsigned AsmVariant,
1015                                           const char *ExtraCode) {
1016   if (ExtraCode && ExtraCode[0])
1017     return true; // Unknown modifier.
1018   printAddrMode2Operand(MI, OpNum);
1019   return false;
1020 }
1021
1022 void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
1023   ++EmittedInsts;
1024
1025   int Opc = MI->getOpcode();
1026   switch (Opc) {
1027   case ARM::CONSTPOOL_ENTRY:
1028     if (!InCPMode && AFI->isThumbFunction()) {
1029       EmitAlignment(2);
1030       InCPMode = true;
1031     }
1032     break;
1033   default: {
1034     if (InCPMode && AFI->isThumbFunction())
1035       InCPMode = false;
1036   }}
1037
1038   // Call the autogenerated instruction printer routines.
1039   processDebugLoc(MI->getDebugLoc());
1040   printInstruction(MI);
1041   if (VerboseAsm && !MI->getDebugLoc().isUnknown())
1042     EmitComments(*MI);
1043   O << '\n';
1044 }
1045
1046 void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
1047   if (Subtarget->isTargetDarwin()) {
1048     Reloc::Model RelocM = TM.getRelocationModel();
1049     if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
1050       // Declare all the text sections up front (before the DWARF sections
1051       // emitted by AsmPrinter::doInitialization) so the assembler will keep
1052       // them together at the beginning of the object file.  This helps
1053       // avoid out-of-range branches that are due a fundamental limitation of
1054       // the way symbol offsets are encoded with the current Darwin ARM
1055       // relocations.
1056       O << "\t.section __TEXT,__text,regular\n"
1057         << "\t.section __TEXT,__textcoal_nt,coalesced\n"
1058         << "\t.section __TEXT,__const_coal,coalesced\n";
1059       if (RelocM == Reloc::DynamicNoPIC)
1060         O << "\t.section __TEXT,__symbol_stub4,symbol_stubs,none,12\n";
1061       else
1062         O << "\t.section __TEXT,__picsymbolstub4,symbol_stubs,none,16\n";
1063     }
1064   }
1065
1066   // Use unified assembler syntax mode for Thumb.
1067   if (Subtarget->isThumb())
1068     O << "\t.syntax unified\n";
1069
1070   // Emit ARM Build Attributes
1071   if (Subtarget->isTargetELF()) {
1072     // CPU Type
1073     std::string CPUString = Subtarget->getCPUString();
1074     if (CPUString != "generic")
1075       O << "\t.cpu " << CPUString << '\n';
1076
1077     // FIXME: Emit FPU type
1078     if (Subtarget->hasVFP2())
1079       O << "\t.eabi_attribute " << ARMBuildAttrs::VFP_arch << ", 2\n";
1080
1081     // Signal various FP modes.
1082     if (!UnsafeFPMath)
1083       O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_denormal << ", 1\n"
1084         << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_exceptions << ", 1\n";
1085
1086     if (FiniteOnlyFPMath())
1087       O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 1\n";
1088     else
1089       O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 3\n";
1090
1091     // 8-bytes alignment stuff.
1092     O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_needed << ", 1\n"
1093       << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_preserved << ", 1\n";
1094
1095     // Hard float.  Use both S and D registers and conform to AAPCS-VFP.
1096     if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard)
1097       O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_HardFP_use << ", 3\n"
1098         << "\t.eabi_attribute " << ARMBuildAttrs::ABI_VFP_args << ", 1\n";
1099
1100     // FIXME: Should we signal R9 usage?
1101   }
1102 }
1103
1104 void ARMAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) {
1105   const TargetData *TD = TM.getTargetData();
1106
1107   if (!GVar->hasInitializer())   // External global require no code
1108     return;
1109
1110   // Check to see if this is a special global used by LLVM, if so, emit it.
1111
1112   if (EmitSpecialLLVMGlobal(GVar)) {
1113     if (Subtarget->isTargetDarwin() &&
1114         TM.getRelocationModel() == Reloc::Static) {
1115       if (GVar->getName() == "llvm.global_ctors")
1116         O << ".reference .constructors_used\n";
1117       else if (GVar->getName() == "llvm.global_dtors")
1118         O << ".reference .destructors_used\n";
1119     }
1120     return;
1121   }
1122
1123   std::string name = Mang->getMangledName(GVar);
1124   Constant *C = GVar->getInitializer();
1125   const Type *Type = C->getType();
1126   unsigned Size = TD->getTypeAllocSize(Type);
1127   unsigned Align = TD->getPreferredAlignmentLog(GVar);
1128   bool isDarwin = Subtarget->isTargetDarwin();
1129
1130   printVisibility(name, GVar->getVisibility());
1131
1132   if (Subtarget->isTargetELF())
1133     O << "\t.type " << name << ",%object\n";
1134
1135   const MCSection *TheSection =
1136     getObjFileLowering().SectionForGlobal(GVar, Mang, TM);
1137   OutStreamer.SwitchSection(TheSection);
1138
1139   // FIXME: get this stuff from section kind flags.
1140   if (C->isNullValue() && !GVar->hasSection() && !GVar->isThreadLocal() &&
1141       // Don't put things that should go in the cstring section into "comm".
1142       !TheSection->getKind().isMergeableCString()) {
1143     if (GVar->hasExternalLinkage()) {
1144       if (const char *Directive = MAI->getZeroFillDirective()) {
1145         O << "\t.globl\t" << name << "\n";
1146         O << Directive << "__DATA, __common, " << name << ", "
1147           << Size << ", " << Align << "\n";
1148         return;
1149       }
1150     }
1151
1152     if (GVar->hasLocalLinkage() || GVar->isWeakForLinker()) {
1153       if (Size == 0) Size = 1;   // .comm Foo, 0 is undefined, avoid it.
1154
1155       if (isDarwin) {
1156         if (GVar->hasLocalLinkage()) {
1157           O << MAI->getLCOMMDirective()  << name << "," << Size
1158             << ',' << Align;
1159         } else if (GVar->hasCommonLinkage()) {
1160           O << MAI->getCOMMDirective()  << name << "," << Size
1161             << ',' << Align;
1162         } else {
1163           OutStreamer.SwitchSection(TheSection);
1164           O << "\t.globl " << name << '\n'
1165             << MAI->getWeakDefDirective() << name << '\n';
1166           EmitAlignment(Align, GVar);
1167           O << name << ":";
1168           if (VerboseAsm) {
1169             O << "\t\t\t\t" << MAI->getCommentString() << ' ';
1170             WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
1171           }
1172           O << '\n';
1173           EmitGlobalConstant(C);
1174           return;
1175         }
1176       } else if (MAI->getLCOMMDirective() != NULL) {
1177         if (GVar->hasLocalLinkage()) {
1178           O << MAI->getLCOMMDirective() << name << "," << Size;
1179         } else {
1180           O << MAI->getCOMMDirective()  << name << "," << Size;
1181           if (MAI->getCOMMDirectiveTakesAlignment())
1182             O << ',' << (MAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
1183         }
1184       } else {
1185         if (GVar->hasLocalLinkage())
1186           O << "\t.local\t" << name << "\n";
1187         O << MAI->getCOMMDirective()  << name << "," << Size;
1188         if (MAI->getCOMMDirectiveTakesAlignment())
1189           O << "," << (MAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
1190       }
1191       if (VerboseAsm) {
1192         O << "\t\t" << MAI->getCommentString() << " ";
1193         WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
1194       }
1195       O << "\n";
1196       return;
1197     }
1198   }
1199
1200   switch (GVar->getLinkage()) {
1201   case GlobalValue::CommonLinkage:
1202   case GlobalValue::LinkOnceAnyLinkage:
1203   case GlobalValue::LinkOnceODRLinkage:
1204   case GlobalValue::WeakAnyLinkage:
1205   case GlobalValue::WeakODRLinkage:
1206   case GlobalValue::LinkerPrivateLinkage:
1207     if (isDarwin) {
1208       O << "\t.globl " << name << "\n"
1209         << "\t.weak_definition " << name << "\n";
1210     } else {
1211       O << "\t.weak " << name << "\n";
1212     }
1213     break;
1214   case GlobalValue::AppendingLinkage:
1215   // FIXME: appending linkage variables should go into a section of
1216   // their name or something.  For now, just emit them as external.
1217   case GlobalValue::ExternalLinkage:
1218     O << "\t.globl " << name << "\n";
1219     break;
1220   case GlobalValue::PrivateLinkage:
1221   case GlobalValue::InternalLinkage:
1222     break;
1223   default:
1224     llvm_unreachable("Unknown linkage type!");
1225   }
1226
1227   EmitAlignment(Align, GVar);
1228   O << name << ":";
1229   if (VerboseAsm) {
1230     O << "\t\t\t\t" << MAI->getCommentString() << " ";
1231     WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
1232   }
1233   O << "\n";
1234   if (MAI->hasDotTypeDotSizeDirective())
1235     O << "\t.size " << name << ", " << Size << "\n";
1236
1237   EmitGlobalConstant(C);
1238   O << '\n';
1239 }
1240
1241
1242 bool ARMAsmPrinter::doFinalization(Module &M) {
1243   if (Subtarget->isTargetDarwin()) {
1244     // All darwin targets use mach-o.
1245     TargetLoweringObjectFileMachO &TLOFMacho =
1246       static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
1247
1248     O << '\n';
1249
1250     // Output non-lazy-pointers for external and common global variables.
1251     if (!GVNonLazyPtrs.empty()) {
1252       // Switch with ".non_lazy_symbol_pointer" directive.
1253       OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
1254       EmitAlignment(2);
1255       for (StringMap<std::string>::iterator I = GVNonLazyPtrs.begin(),
1256            E = GVNonLazyPtrs.end(); I != E; ++I) {
1257         O << I->second << ":\n";
1258         O << "\t.indirect_symbol " << I->getKeyData() << "\n";
1259         O << "\t.long\t0\n";
1260       }
1261     }
1262
1263     if (!HiddenGVNonLazyPtrs.empty()) {
1264       OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
1265       EmitAlignment(2);
1266       for (StringMap<std::string>::iterator I = HiddenGVNonLazyPtrs.begin(),
1267              E = HiddenGVNonLazyPtrs.end(); I != E; ++I) {
1268         O << I->second << ":\n";
1269         O << "\t.long " << I->getKeyData() << "\n";
1270       }
1271     }
1272
1273     // Funny Darwin hack: This flag tells the linker that no global symbols
1274     // contain code that falls through to other global symbols (e.g. the obvious
1275     // implementation of multiple entry points).  If this doesn't occur, the
1276     // linker can safely perform dead code stripping.  Since LLVM never
1277     // generates code that does this, it is always safe to set.
1278     O << "\t.subsections_via_symbols\n";
1279   }
1280
1281   return AsmPrinter::doFinalization(M);
1282 }
1283
1284 // Force static initialization.
1285 extern "C" void LLVMInitializeARMAsmPrinter() {
1286   RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1287   RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
1288 }