lib/Target/ARM/AsmPrinter/ARMAsmPrinter.cpp

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