blob: a18008e97c420e76ecd6b069de3fadd23b85b1a3 [file] [log] [blame]
Chris Lattner97f06932009-10-19 20:20:46 +00001//===-- ARMAsmPrinter.cpp - Print machine code to an ARM .s file ----------===//
2//
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00006// 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
Chris Lattner95b2c7d2006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000016#include "ARM.h"
Anton Korobeynikov88ce6672009-05-23 19:51:20 +000017#include "ARMBuildAttrs.h"
Evan Chenga8e29892007-01-19 07:51:42 +000018#include "ARMAddressingModes.h"
19#include "ARMConstantPoolValue.h"
Chris Lattner6a71afa2009-10-19 19:59:05 +000020#include "ARMInstPrinter.h"
Chris Lattner97f06932009-10-19 20:20:46 +000021#include "ARMMachineFunctionInfo.h"
22#include "ARMMCInstLower.h"
23#include "ARMTargetMachine.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000024#include "llvm/Constants.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000025#include "llvm/Module.h"
Benjamin Kramere55b15f2009-12-28 12:27:56 +000026#include "llvm/Type.h"
Dan Gohmancf20ac42009-08-13 01:36:44 +000027#include "llvm/Assembly/Writer.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000028#include "llvm/CodeGen/AsmPrinter.h"
Evan Chenga8e29892007-01-19 07:51:42 +000029#include "llvm/CodeGen/DwarfWriter.h"
Chris Lattnerb0f294c2009-10-19 18:38:33 +000030#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000031#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Chenga8e29892007-01-19 07:51:42 +000032#include "llvm/CodeGen/MachineJumpTableInfo.h"
Anton Korobeynikov362dd0b2010-02-15 22:37:53 +000033#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Chris Lattnerb0f294c2009-10-19 18:38:33 +000034#include "llvm/MC/MCAsmInfo.h"
35#include "llvm/MC/MCContext.h"
Bill Wendlingbecd83e2010-03-09 00:40:17 +000036#include "llvm/MC/MCExpr.h"
Chris Lattner97f06932009-10-19 20:20:46 +000037#include "llvm/MC/MCInst.h"
Chris Lattnerf9bdedd2009-08-10 18:15:01 +000038#include "llvm/MC/MCSectionMachO.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000039#include "llvm/MC/MCStreamer.h"
Chris Lattner325d3dc2009-09-13 17:14:04 +000040#include "llvm/MC/MCSymbol.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000041#include "llvm/Target/TargetData.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000042#include "llvm/Target/TargetMachine.h"
Evan Cheng5be54b02007-01-19 19:25:36 +000043#include "llvm/Target/TargetOptions.h"
Daniel Dunbar51b198a2009-07-15 20:24:03 +000044#include "llvm/Target/TargetRegistry.h"
Evan Chengc324ecb2009-07-24 18:19:46 +000045#include "llvm/ADT/SmallPtrSet.h"
Jim Grosbachc40d9f92009-09-01 18:49:12 +000046#include "llvm/ADT/SmallString.h"
Bob Wilson54c78ef2009-11-06 23:33:28 +000047#include "llvm/ADT/StringExtras.h"
Evan Chengae94e592008-12-05 01:06:39 +000048#include "llvm/ADT/StringSet.h"
Chris Lattner97f06932009-10-19 20:20:46 +000049#include "llvm/Support/CommandLine.h"
Torok Edwin30464702009-07-08 20:55:50 +000050#include "llvm/Support/ErrorHandling.h"
Chris Lattner97f06932009-10-19 20:20:46 +000051#include "llvm/Support/FormattedStream.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000052#include "llvm/Support/MathExtras.h"
53#include <cctype>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000054using namespace llvm;
55
Chris Lattner97f06932009-10-19 20:20:46 +000056static cl::opt<bool>
57EnableMCInst("enable-arm-mcinst-printer", cl::Hidden,
58 cl::desc("enable experimental asmprinter gunk in the arm backend"));
59
Chris Lattner95b2c7d2006-12-19 22:59:26 +000060namespace {
Chris Lattner4a071d62009-10-19 17:59:19 +000061 class ARMAsmPrinter : public AsmPrinter {
Evan Chenga8e29892007-01-19 07:51:42 +000062
63 /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
64 /// make the right decision when printing asm code for different targets.
65 const ARMSubtarget *Subtarget;
66
67 /// AFI - Keep a pointer to ARMFunctionInfo for the current
Evan Cheng6d63a722008-09-18 07:27:23 +000068 /// MachineFunction.
Evan Chenga8e29892007-01-19 07:51:42 +000069 ARMFunctionInfo *AFI;
70
Evan Cheng6d63a722008-09-18 07:27:23 +000071 /// MCP - Keep a pointer to constantpool entries of the current
72 /// MachineFunction.
73 const MachineConstantPool *MCP;
74
Bill Wendling57f0db82009-02-24 08:30:20 +000075 public:
David Greene71847812009-07-14 20:18:05 +000076 explicit ARMAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Chris Lattner56591ab2010-02-02 23:37:42 +000077 MCContext &Ctx, MCStreamer &Streamer,
78 const MCAsmInfo *T)
79 : AsmPrinter(O, TM, Ctx, Streamer, T), AFI(NULL), MCP(NULL) {
Bill Wendling57f0db82009-02-24 08:30:20 +000080 Subtarget = &TM.getSubtarget<ARMSubtarget>();
81 }
82
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000083 virtual const char *getPassName() const {
84 return "ARM Assembly Printer";
85 }
Chris Lattner6a71afa2009-10-19 19:59:05 +000086
Chris Lattner97f06932009-10-19 20:20:46 +000087 void printInstructionThroughMCStreamer(const MachineInstr *MI);
88
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000089
Evan Cheng055b0312009-06-29 07:51:04 +000090 void printOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +000091 const char *Modifier = 0);
Evan Cheng055b0312009-06-29 07:51:04 +000092 void printSOImmOperand(const MachineInstr *MI, int OpNum);
93 void printSOImm2PartOperand(const MachineInstr *MI, int OpNum);
94 void printSORegOperand(const MachineInstr *MI, int OpNum);
95 void printAddrMode2Operand(const MachineInstr *MI, int OpNum);
96 void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNum);
97 void printAddrMode3Operand(const MachineInstr *MI, int OpNum);
98 void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNum);
99 void printAddrMode4Operand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000100 const char *Modifier = 0);
Evan Cheng055b0312009-06-29 07:51:04 +0000101 void printAddrMode5Operand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000102 const char *Modifier = 0);
Bob Wilson8b024a52009-07-01 23:16:05 +0000103 void printAddrMode6Operand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000104 void printAddrModePCOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000105 const char *Modifier = 0);
Evan Cheng055b0312009-06-29 07:51:04 +0000106 void printBitfieldInvMaskImmOperand (const MachineInstr *MI, int OpNum);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000107
Evan Cheng2ef9c8a2009-11-19 06:57:41 +0000108 void printThumbS4ImmOperand(const MachineInstr *MI, int OpNum);
Evan Chenge5564742009-07-09 23:43:36 +0000109 void printThumbITMask(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000110 void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNum);
111 void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000112 unsigned Scale);
Evan Cheng055b0312009-06-29 07:51:04 +0000113 void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNum);
114 void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNum);
115 void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNum);
116 void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNum);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000117
Evan Cheng9cb9e672009-06-27 02:26:13 +0000118 void printT2SOOperand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000119 void printT2AddrModeImm12Operand(const MachineInstr *MI, int OpNum);
120 void printT2AddrModeImm8Operand(const MachineInstr *MI, int OpNum);
Evan Cheng5c874172009-07-09 22:21:59 +0000121 void printT2AddrModeImm8s4Operand(const MachineInstr *MI, int OpNum);
Evan Chenge88d5ce2009-07-02 07:28:31 +0000122 void printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000123 void printT2AddrModeSoRegOperand(const MachineInstr *MI, int OpNum);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000124
Evan Cheng055b0312009-06-29 07:51:04 +0000125 void printPredicateOperand(const MachineInstr *MI, int OpNum);
Johnny Chen9d3acaa2010-03-02 17:57:15 +0000126 void printMandatoryPredicateOperand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000127 void printSBitModifierOperand(const MachineInstr *MI, int OpNum);
128 void printPCLabel(const MachineInstr *MI, int OpNum);
129 void printRegisterList(const MachineInstr *MI, int OpNum);
130 void printCPInstOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000131 const char *Modifier);
Evan Cheng055b0312009-06-29 07:51:04 +0000132 void printJTBlockOperand(const MachineInstr *MI, int OpNum);
Evan Cheng66ac5312009-07-25 00:33:29 +0000133 void printJT2BlockOperand(const MachineInstr *MI, int OpNum);
Evan Cheng5657c012009-07-29 02:18:14 +0000134 void printTBAddrMode(const MachineInstr *MI, int OpNum);
Bob Wilson4f38b382009-08-21 21:58:55 +0000135 void printNoHashImmediate(const MachineInstr *MI, int OpNum);
Evan Cheng39382422009-10-28 01:44:26 +0000136 void printVFPf32ImmOperand(const MachineInstr *MI, int OpNum);
137 void printVFPf64ImmOperand(const MachineInstr *MI, int OpNum);
Evan Chenga8e29892007-01-19 07:51:42 +0000138
Bob Wilson54c78ef2009-11-06 23:33:28 +0000139 void printHex8ImmOperand(const MachineInstr *MI, int OpNum) {
140 O << "#0x" << utohexstr(MI->getOperand(OpNum).getImm() & 0xff);
141 }
142 void printHex16ImmOperand(const MachineInstr *MI, int OpNum) {
143 O << "#0x" << utohexstr(MI->getOperand(OpNum).getImm() & 0xffff);
144 }
145 void printHex32ImmOperand(const MachineInstr *MI, int OpNum) {
146 O << "#0x" << utohexstr(MI->getOperand(OpNum).getImm() & 0xffffffff);
147 }
148 void printHex64ImmOperand(const MachineInstr *MI, int OpNum) {
149 O << "#0x" << utohexstr(MI->getOperand(OpNum).getImm());
150 }
151
Evan Cheng055b0312009-06-29 07:51:04 +0000152 virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000153 unsigned AsmVariant, const char *ExtraCode);
Evan Cheng055b0312009-06-29 07:51:04 +0000154 virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
Bob Wilson224c2442009-05-19 05:53:42 +0000155 unsigned AsmVariant,
156 const char *ExtraCode);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000157
Chris Lattner41aefdc2009-08-08 01:32:19 +0000158 void printInstruction(const MachineInstr *MI); // autogenerated.
Chris Lattnerd95148f2009-09-13 20:19:22 +0000159 static const char *getRegisterName(unsigned RegNo);
Chris Lattner05af2612009-09-13 20:08:00 +0000160
Chris Lattnera786cea2010-01-28 01:10:34 +0000161 virtual void EmitInstruction(const MachineInstr *MI);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000162 bool runOnMachineFunction(MachineFunction &F);
Chris Lattnera2406192010-01-28 00:19:24 +0000163
164 virtual void EmitConstantPool() {} // we emit constant pools customly!
Chris Lattner953ebb72010-01-27 23:58:11 +0000165 virtual void EmitFunctionEntryLabel();
Bob Wilson812209a2009-09-30 22:06:26 +0000166 void EmitStartOfAsmFile(Module &M);
Chris Lattner4a071d62009-10-19 17:59:19 +0000167 void EmitEndOfAsmFile(Module &M);
Evan Chenga8e29892007-01-19 07:51:42 +0000168
Chris Lattner0890cf12010-01-25 19:51:38 +0000169 MCSymbol *GetARMSetPICJumpTableLabel2(unsigned uid, unsigned uid2,
170 const MachineBasicBlock *MBB) const;
171 MCSymbol *GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const;
Chris Lattnerbfcb0962010-01-25 19:39:52 +0000172
Evan Cheng711b6dc2008-08-08 06:56:16 +0000173 /// EmitMachineConstantPoolValue - Print a machine constantpool value to
174 /// the .s file.
Evan Chenga8e29892007-01-19 07:51:42 +0000175 virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
Chris Lattnerea3cb402010-01-20 07:33:29 +0000176 switch (TM.getTargetData()->getTypeAllocSize(MCPV->getType())) {
177 case 1: O << MAI->getData8bitsDirective(0); break;
178 case 2: O << MAI->getData16bitsDirective(0); break;
179 case 4: O << MAI->getData32bitsDirective(0); break;
180 default: assert(0 && "Unknown CPV size");
181 }
Evan Chenga8e29892007-01-19 07:51:42 +0000182
Evan Cheng711b6dc2008-08-08 06:56:16 +0000183 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Chris Lattner48130352010-01-13 06:38:18 +0000184 SmallString<128> TmpNameStr;
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +0000185
186 if (ACPV->isLSDA()) {
Chris Lattner48130352010-01-13 06:38:18 +0000187 raw_svector_ostream(TmpNameStr) << MAI->getPrivateGlobalPrefix() <<
Jim Grosbachc40d9f92009-09-01 18:49:12 +0000188 "_LSDA_" << getFunctionNumber();
Chris Lattner48130352010-01-13 06:38:18 +0000189 O << TmpNameStr.str();
Bob Wilson28989a82009-11-02 16:59:06 +0000190 } else if (ACPV->isBlockAddress()) {
Chris Lattner48130352010-01-13 06:38:18 +0000191 O << GetBlockAddressSymbol(ACPV->getBlockAddress())->getName();
Bob Wilson28989a82009-11-02 16:59:06 +0000192 } else if (ACPV->isGlobalValue()) {
193 GlobalValue *GV = ACPV->getGV();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000194 bool isIndirect = Subtarget->isTargetDarwin() &&
Evan Cheng63476a82009-09-03 07:04:02 +0000195 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
Evan Chenge4e4ed32009-08-28 23:18:09 +0000196 if (!isIndirect)
Chris Lattner10b318b2010-01-17 21:43:43 +0000197 O << *GetGlobalValueSymbol(GV);
Evan Chenge4e4ed32009-08-28 23:18:09 +0000198 else {
199 // FIXME: Remove this when Darwin transition to @GOT like syntax.
Chris Lattner7a2ba942010-01-16 18:37:32 +0000200 MCSymbol *Sym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Chris Lattner10b318b2010-01-17 21:43:43 +0000201 O << *Sym;
Chris Lattnerb8f64a72009-10-19 18:49:14 +0000202
203 MachineModuleInfoMachO &MMIMachO =
204 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Chris Lattnerd269a6e2010-02-03 06:18:30 +0000205 MCSymbol *&StubSym =
Chris Lattnerb8f64a72009-10-19 18:49:14 +0000206 GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(Sym) :
207 MMIMachO.getGVStubEntry(Sym);
Chris Lattner8b378752010-01-15 23:26:49 +0000208 if (StubSym == 0)
Chris Lattner6b04ede2010-01-15 23:18:17 +0000209 StubSym = GetGlobalValueSymbol(GV);
Evan Chenge4e4ed32009-08-28 23:18:09 +0000210 }
Bob Wilson28989a82009-11-02 16:59:06 +0000211 } else {
212 assert(ACPV->isExtSymbol() && "unrecognized constant pool value");
Chris Lattner10b318b2010-01-17 21:43:43 +0000213 O << *GetExternalSymbolSymbol(ACPV->getSymbol());
Bob Wilson28989a82009-11-02 16:59:06 +0000214 }
Jim Grosbache9952212009-09-04 01:38:51 +0000215
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000216 if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000217 if (ACPV->getPCAdjustment() != 0) {
Chris Lattner33adcfb2009-08-22 21:43:10 +0000218 O << "-(" << MAI->getPrivateGlobalPrefix() << "PC"
Evan Chenge7e0d622009-11-06 22:24:13 +0000219 << getFunctionNumber() << "_" << ACPV->getLabelId()
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000220 << "+" << (unsigned)ACPV->getPCAdjustment();
221 if (ACPV->mustAddCurrentAddress())
222 O << "-.";
Chris Lattner8b378752010-01-15 23:26:49 +0000223 O << ')';
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000224 }
Chris Lattner8e089a92010-02-10 00:36:00 +0000225 OutStreamer.AddBlankLine();
Evan Chenga8e29892007-01-19 07:51:42 +0000226 }
Jim Grosbache9952212009-09-04 01:38:51 +0000227
Evan Chenga8e29892007-01-19 07:51:42 +0000228 void getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksencd8bc052007-09-30 13:39:29 +0000229 AsmPrinter::getAnalysisUsage(AU);
Evan Chenga8e29892007-01-19 07:51:42 +0000230 AU.setPreservesAll();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000231 AU.addRequired<MachineModuleInfo>();
Devang Pateleb3fc282009-01-08 23:40:34 +0000232 AU.addRequired<DwarfWriter>();
Evan Chenga8e29892007-01-19 07:51:42 +0000233 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000234 };
235} // end of anonymous namespace
236
237#include "ARMGenAsmWriter.inc"
238
Chris Lattner953ebb72010-01-27 23:58:11 +0000239void ARMAsmPrinter::EmitFunctionEntryLabel() {
240 if (AFI->isThumbFunction()) {
241 O << "\t.code\t16\n";
242 O << "\t.thumb_func";
243 if (Subtarget->isTargetDarwin())
244 O << '\t' << *CurrentFnSym;
245 O << '\n';
246 }
247
248 OutStreamer.EmitLabel(CurrentFnSym);
249}
250
Evan Chenga8e29892007-01-19 07:51:42 +0000251/// runOnMachineFunction - This uses the printInstruction()
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000252/// method to print assembly for each instruction.
253///
254bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Chenga8e29892007-01-19 07:51:42 +0000255 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Cheng6d63a722008-09-18 07:27:23 +0000256 MCP = MF.getConstantPool();
Rafael Espindola4b442b52006-05-23 02:48:20 +0000257
Chris Lattnerd49fe1b2010-01-28 01:28:58 +0000258 return AsmPrinter::runOnMachineFunction(MF);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000259}
260
Evan Cheng055b0312009-06-29 07:51:04 +0000261void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000262 const char *Modifier) {
Evan Cheng055b0312009-06-29 07:51:04 +0000263 const MachineOperand &MO = MI->getOperand(OpNum);
Anton Korobeynikov5cdc3a92009-11-24 00:44:37 +0000264 unsigned TF = MO.getTargetFlags();
265
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000266 switch (MO.getType()) {
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000267 default:
268 assert(0 && "<unknown operand type>");
Bob Wilson5bafff32009-06-22 23:27:02 +0000269 case MachineOperand::MO_Register: {
270 unsigned Reg = MO.getReg();
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000271 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
272 if (Modifier && strcmp(Modifier, "dregpair") == 0) {
273 unsigned DRegLo = TRI->getSubReg(Reg, 5); // arm_dsubreg_0
274 unsigned DRegHi = TRI->getSubReg(Reg, 6); // arm_dsubreg_1
275 O << '{'
276 << getRegisterName(DRegLo) << ',' << getRegisterName(DRegHi)
277 << '}';
278 } else if (Modifier && strcmp(Modifier, "lane") == 0) {
279 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(Reg);
280 unsigned DReg = TRI->getMatchingSuperReg(Reg, RegNum & 1 ? 2 : 1,
281 &ARM::DPR_VFP2RegClass);
282 O << getRegisterName(DReg) << '[' << (RegNum & 1) << ']';
283 } else {
Anton Korobeynikove8ea0112009-11-07 15:20:32 +0000284 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000285 O << getRegisterName(Reg);
286 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000287 break;
Bob Wilson5bafff32009-06-22 23:27:02 +0000288 }
Evan Chenga8e29892007-01-19 07:51:42 +0000289 case MachineOperand::MO_Immediate: {
Evan Cheng5adb66a2009-09-28 09:14:39 +0000290 int64_t Imm = MO.getImm();
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000291 O << '#';
Anton Korobeynikov5cdc3a92009-11-24 00:44:37 +0000292 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
293 (TF & ARMII::MO_LO16))
294 O << ":lower16:";
295 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
296 (TF & ARMII::MO_HI16))
297 O << ":upper16:";
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000298 O << Imm;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000299 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000300 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000301 case MachineOperand::MO_MachineBasicBlock:
Chris Lattnerf71cb012010-01-26 04:55:51 +0000302 O << *MO.getMBB()->getSymbol(OutContext);
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000303 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000304 case MachineOperand::MO_GlobalAddress: {
Evan Chenga8e29892007-01-19 07:51:42 +0000305 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Rafael Espindola84b19be2006-07-16 01:02:57 +0000306 GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov5cdc3a92009-11-24 00:44:37 +0000307
308 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
309 (TF & ARMII::MO_LO16))
310 O << ":lower16:";
311 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
312 (TF & ARMII::MO_HI16))
313 O << ":upper16:";
Chris Lattner10b318b2010-01-17 21:43:43 +0000314 O << *GetGlobalValueSymbol(GV);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000315
316 printOffset(MO.getOffset());
317
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000318 if (isCallOp && Subtarget->isTargetELF() &&
319 TM.getRelocationModel() == Reloc::PIC_)
320 O << "(PLT)";
Evan Chenga8e29892007-01-19 07:51:42 +0000321 break;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000322 }
Evan Chenga8e29892007-01-19 07:51:42 +0000323 case MachineOperand::MO_ExternalSymbol: {
324 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Chris Lattner10b318b2010-01-17 21:43:43 +0000325 O << *GetExternalSymbolSymbol(MO.getSymbolName());
Chris Lattner09533a42010-01-13 08:08:33 +0000326
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000327 if (isCallOp && Subtarget->isTargetELF() &&
328 TM.getRelocationModel() == Reloc::PIC_)
329 O << "(PLT)";
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000330 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000331 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000332 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner1b46f432010-01-23 07:00:21 +0000333 O << *GetCPISymbol(MO.getIndex());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000334 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000335 case MachineOperand::MO_JumpTableIndex:
Chris Lattner1b46f432010-01-23 07:00:21 +0000336 O << *GetJTISymbol(MO.getIndex());
Evan Chenga8e29892007-01-19 07:51:42 +0000337 break;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000338 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000339}
340
David Greene71847812009-07-14 20:18:05 +0000341static void printSOImm(formatted_raw_ostream &O, int64_t V, bool VerboseAsm,
Chris Lattner33adcfb2009-08-22 21:43:10 +0000342 const MCAsmInfo *MAI) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000343 // Break it up into two parts that make up a shifter immediate.
344 V = ARM_AM::getSOImmVal(V);
345 assert(V != -1 && "Not a valid so_imm value!");
346
Evan Chengc70d1842007-03-20 08:11:30 +0000347 unsigned Imm = ARM_AM::getSOImmValImm(V);
348 unsigned Rot = ARM_AM::getSOImmValRot(V);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000349
Evan Chenga8e29892007-01-19 07:51:42 +0000350 // Print low-level immediate formation info, per
351 // A5.1.3: "Data-processing operands - Immediate".
352 if (Rot) {
353 O << "#" << Imm << ", " << Rot;
354 // Pretty printed version.
Evan Cheng39382422009-10-28 01:44:26 +0000355 if (VerboseAsm) {
356 O.PadToColumn(MAI->getCommentColumn());
357 O << MAI->getCommentString() << ' ';
358 O << (int)ARM_AM::rotr32(Imm, Rot);
359 }
Evan Chenga8e29892007-01-19 07:51:42 +0000360 } else {
361 O << "#" << Imm;
362 }
363}
364
Evan Chengc70d1842007-03-20 08:11:30 +0000365/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
366/// immediate in bits 0-7.
367void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
368 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmand735b802008-10-03 15:45:36 +0000369 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattner33adcfb2009-08-22 21:43:10 +0000370 printSOImm(O, MO.getImm(), VerboseAsm, MAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000371}
372
Evan Cheng90922132008-11-06 02:25:39 +0000373/// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov'
374/// followed by an 'orr' to materialize.
Evan Chengc70d1842007-03-20 08:11:30 +0000375void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) {
376 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmand735b802008-10-03 15:45:36 +0000377 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000378 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm());
379 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm());
Chris Lattner33adcfb2009-08-22 21:43:10 +0000380 printSOImm(O, V1, VerboseAsm, MAI);
Evan Cheng5e148a32007-06-05 18:55:18 +0000381 O << "\n\torr";
382 printPredicateOperand(MI, 2);
Evan Cheng162e3092009-10-26 23:45:59 +0000383 O << "\t";
Jim Grosbache9952212009-09-04 01:38:51 +0000384 printOperand(MI, 0);
Evan Chengc70d1842007-03-20 08:11:30 +0000385 O << ", ";
Jim Grosbache9952212009-09-04 01:38:51 +0000386 printOperand(MI, 0);
Evan Chengc70d1842007-03-20 08:11:30 +0000387 O << ", ";
Chris Lattner33adcfb2009-08-22 21:43:10 +0000388 printSOImm(O, V2, VerboseAsm, MAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000389}
390
Evan Chenga8e29892007-01-19 07:51:42 +0000391// so_reg is a 4-operand unit corresponding to register forms of the A5.1
392// "Addressing Mode 1 - Data-processing operands" forms. This includes:
Evan Cheng9cb9e672009-06-27 02:26:13 +0000393// REG 0 0 - e.g. R5
394// REG REG 0,SH_OPC - e.g. R5, ROR R3
Evan Chenga8e29892007-01-19 07:51:42 +0000395// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
396void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
397 const MachineOperand &MO1 = MI->getOperand(Op);
398 const MachineOperand &MO2 = MI->getOperand(Op+1);
399 const MachineOperand &MO3 = MI->getOperand(Op+2);
400
Chris Lattner762ccea2009-09-13 20:31:40 +0000401 O << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000402
403 // Print the shift opc.
404 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000405 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000406 << " ";
407
408 if (MO2.getReg()) {
Chris Lattner762ccea2009-09-13 20:31:40 +0000409 O << getRegisterName(MO2.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000410 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
411 } else {
412 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
413 }
414}
415
416void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) {
417 const MachineOperand &MO1 = MI->getOperand(Op);
418 const MachineOperand &MO2 = MI->getOperand(Op+1);
419 const MachineOperand &MO3 = MI->getOperand(Op+2);
420
Dan Gohmand735b802008-10-03 15:45:36 +0000421 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Evan Chenga8e29892007-01-19 07:51:42 +0000422 printOperand(MI, Op);
423 return;
424 }
425
Chris Lattner762ccea2009-09-13 20:31:40 +0000426 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000427
428 if (!MO2.getReg()) {
429 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
430 O << ", #"
431 << (char)ARM_AM::getAM2Op(MO3.getImm())
432 << ARM_AM::getAM2Offset(MO3.getImm());
433 O << "]";
434 return;
435 }
436
437 O << ", "
438 << (char)ARM_AM::getAM2Op(MO3.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000439 << getRegisterName(MO2.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000440
Evan Chenga8e29892007-01-19 07:51:42 +0000441 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
442 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000443 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000444 << " #" << ShImm;
445 O << "]";
446}
447
448void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
449 const MachineOperand &MO1 = MI->getOperand(Op);
450 const MachineOperand &MO2 = MI->getOperand(Op+1);
451
452 if (!MO1.getReg()) {
Evan Chengbdc98692007-05-03 23:30:36 +0000453 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
454 assert(ImmOffs && "Malformed indexed load / store!");
455 O << "#"
456 << (char)ARM_AM::getAM2Op(MO2.getImm())
457 << ImmOffs;
Evan Chenga8e29892007-01-19 07:51:42 +0000458 return;
459 }
460
461 O << (char)ARM_AM::getAM2Op(MO2.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000462 << getRegisterName(MO1.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000463
Evan Chenga8e29892007-01-19 07:51:42 +0000464 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
465 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000466 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000467 << " #" << ShImm;
468}
469
470void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
471 const MachineOperand &MO1 = MI->getOperand(Op);
472 const MachineOperand &MO2 = MI->getOperand(Op+1);
473 const MachineOperand &MO3 = MI->getOperand(Op+2);
Jim Grosbache9952212009-09-04 01:38:51 +0000474
Dan Gohman6f0d0242008-02-10 18:45:23 +0000475 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattner762ccea2009-09-13 20:31:40 +0000476 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000477
478 if (MO2.getReg()) {
479 O << ", "
480 << (char)ARM_AM::getAM3Op(MO3.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000481 << getRegisterName(MO2.getReg())
Evan Chenga8e29892007-01-19 07:51:42 +0000482 << "]";
483 return;
484 }
Jim Grosbache9952212009-09-04 01:38:51 +0000485
Evan Chenga8e29892007-01-19 07:51:42 +0000486 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
487 O << ", #"
488 << (char)ARM_AM::getAM3Op(MO3.getImm())
489 << ImmOffs;
490 O << "]";
491}
492
493void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
494 const MachineOperand &MO1 = MI->getOperand(Op);
495 const MachineOperand &MO2 = MI->getOperand(Op+1);
496
497 if (MO1.getReg()) {
498 O << (char)ARM_AM::getAM3Op(MO2.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000499 << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000500 return;
501 }
502
503 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
Evan Chengbdc98692007-05-03 23:30:36 +0000504 assert(ImmOffs && "Malformed indexed load / store!");
Evan Chenga8e29892007-01-19 07:51:42 +0000505 O << "#"
Evan Chengbdc98692007-05-03 23:30:36 +0000506 << (char)ARM_AM::getAM3Op(MO2.getImm())
Evan Chenga8e29892007-01-19 07:51:42 +0000507 << ImmOffs;
508}
Jim Grosbache9952212009-09-04 01:38:51 +0000509
Evan Chenga8e29892007-01-19 07:51:42 +0000510void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
511 const char *Modifier) {
512 const MachineOperand &MO1 = MI->getOperand(Op);
513 const MachineOperand &MO2 = MI->getOperand(Op+1);
514 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
515 if (Modifier && strcmp(Modifier, "submode") == 0) {
516 if (MO1.getReg() == ARM::SP) {
Evan Cheng27934da2009-08-04 01:43:45 +0000517 // FIXME
Evan Chenga8e29892007-01-19 07:51:42 +0000518 bool isLDM = (MI->getOpcode() == ARM::LDM ||
Evan Cheng27934da2009-08-04 01:43:45 +0000519 MI->getOpcode() == ARM::LDM_RET ||
Evan Cheng9e7a3122009-08-04 21:12:13 +0000520 MI->getOpcode() == ARM::t2LDM ||
Evan Cheng27934da2009-08-04 01:43:45 +0000521 MI->getOpcode() == ARM::t2LDM_RET);
Evan Chenga8e29892007-01-19 07:51:42 +0000522 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
523 } else
524 O << ARM_AM::getAMSubModeStr(Mode);
Evan Chengd77c7ab2009-08-07 21:19:10 +0000525 } else if (Modifier && strcmp(Modifier, "wide") == 0) {
526 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
527 if (Mode == ARM_AM::ia)
528 O << ".w";
Evan Chenga8e29892007-01-19 07:51:42 +0000529 } else {
530 printOperand(MI, Op);
531 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
532 O << "!";
533 }
534}
535
536void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
537 const char *Modifier) {
538 const MachineOperand &MO1 = MI->getOperand(Op);
539 const MachineOperand &MO2 = MI->getOperand(Op+1);
540
Dan Gohmand735b802008-10-03 15:45:36 +0000541 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Evan Chenga8e29892007-01-19 07:51:42 +0000542 printOperand(MI, Op);
543 return;
544 }
Jim Grosbache9952212009-09-04 01:38:51 +0000545
Dan Gohman6f0d0242008-02-10 18:45:23 +0000546 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Evan Chenga8e29892007-01-19 07:51:42 +0000547
548 if (Modifier && strcmp(Modifier, "submode") == 0) {
549 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
Jim Grosbache5165492009-11-09 00:11:35 +0000550 O << ARM_AM::getAMSubModeStr(Mode);
Evan Chenga8e29892007-01-19 07:51:42 +0000551 return;
552 } else if (Modifier && strcmp(Modifier, "base") == 0) {
553 // Used for FSTM{D|S} and LSTM{D|S} operations.
Chris Lattner762ccea2009-09-13 20:31:40 +0000554 O << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000555 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
556 O << "!";
557 return;
558 }
Jim Grosbache9952212009-09-04 01:38:51 +0000559
Chris Lattner762ccea2009-09-13 20:31:40 +0000560 O << "[" << getRegisterName(MO1.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000561
Evan Chenga8e29892007-01-19 07:51:42 +0000562 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
563 O << ", #"
564 << (char)ARM_AM::getAM5Op(MO2.getImm())
565 << ImmOffs*4;
566 }
567 O << "]";
568}
569
Bob Wilson8b024a52009-07-01 23:16:05 +0000570void ARMAsmPrinter::printAddrMode6Operand(const MachineInstr *MI, int Op) {
571 const MachineOperand &MO1 = MI->getOperand(Op);
572 const MachineOperand &MO2 = MI->getOperand(Op+1);
573 const MachineOperand &MO3 = MI->getOperand(Op+2);
Jim Grosbach8a5ec862009-11-07 21:25:39 +0000574 const MachineOperand &MO4 = MI->getOperand(Op+3);
Bob Wilson8b024a52009-07-01 23:16:05 +0000575
Jim Grosbach8a5ec862009-11-07 21:25:39 +0000576 O << "[" << getRegisterName(MO1.getReg());
577 if (MO4.getImm()) {
Anton Korobeynikovbce3dbd2009-11-17 20:04:59 +0000578 // FIXME: Both darwin as and GNU as violate ARM docs here.
579 O << ", :" << MO4.getImm();
Jim Grosbach8a5ec862009-11-07 21:25:39 +0000580 }
581 O << "]";
Bob Wilson8b024a52009-07-01 23:16:05 +0000582
583 if (ARM_AM::getAM6WBFlag(MO3.getImm())) {
584 if (MO2.getReg() == 0)
585 O << "!";
586 else
Chris Lattner762ccea2009-09-13 20:31:40 +0000587 O << ", " << getRegisterName(MO2.getReg());
Bob Wilson8b024a52009-07-01 23:16:05 +0000588 }
589}
590
Evan Chenga8e29892007-01-19 07:51:42 +0000591void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
592 const char *Modifier) {
593 if (Modifier && strcmp(Modifier, "label") == 0) {
594 printPCLabel(MI, Op+1);
595 return;
596 }
597
598 const MachineOperand &MO1 = MI->getOperand(Op);
Dan Gohman6f0d0242008-02-10 18:45:23 +0000599 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattner762ccea2009-09-13 20:31:40 +0000600 O << "[pc, +" << getRegisterName(MO1.getReg()) << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000601}
602
603void
Evan Chengf49810c2009-06-23 17:48:47 +0000604ARMAsmPrinter::printBitfieldInvMaskImmOperand(const MachineInstr *MI, int Op) {
605 const MachineOperand &MO = MI->getOperand(Op);
606 uint32_t v = ~MO.getImm();
Evan Cheng9e03cbe2009-06-25 22:04:44 +0000607 int32_t lsb = CountTrailingZeros_32(v);
Nick Lewyckyb825aaa2009-06-24 01:08:42 +0000608 int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
Evan Chengf49810c2009-06-23 17:48:47 +0000609 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
610 O << "#" << lsb << ", #" << width;
611}
612
Evan Cheng055b0312009-06-29 07:51:04 +0000613//===--------------------------------------------------------------------===//
614
Evan Cheng2ef9c8a2009-11-19 06:57:41 +0000615void ARMAsmPrinter::printThumbS4ImmOperand(const MachineInstr *MI, int Op) {
616 O << "#" << MI->getOperand(Op).getImm() * 4;
617}
618
Evan Chengf49810c2009-06-23 17:48:47 +0000619void
Evan Chenge5564742009-07-09 23:43:36 +0000620ARMAsmPrinter::printThumbITMask(const MachineInstr *MI, int Op) {
621 // (3 - the number of trailing zeros) is the number of then / else.
622 unsigned Mask = MI->getOperand(Op).getImm();
623 unsigned NumTZ = CountTrailingZeros_32(Mask);
624 assert(NumTZ <= 3 && "Invalid IT mask!");
Evan Cheng06e16582009-07-10 01:54:42 +0000625 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
Evan Chengbc9b7542009-08-15 07:59:10 +0000626 bool T = (Mask & (1 << Pos)) == 0;
Evan Chenge5564742009-07-09 23:43:36 +0000627 if (T)
628 O << 't';
629 else
630 O << 'e';
631 }
632}
633
634void
Evan Chenga8e29892007-01-19 07:51:42 +0000635ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
636 const MachineOperand &MO1 = MI->getOperand(Op);
637 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattner762ccea2009-09-13 20:31:40 +0000638 O << "[" << getRegisterName(MO1.getReg());
639 O << ", " << getRegisterName(MO2.getReg()) << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000640}
641
642void
643ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
644 unsigned Scale) {
645 const MachineOperand &MO1 = MI->getOperand(Op);
Evan Chengcea117d2007-01-30 02:35:32 +0000646 const MachineOperand &MO2 = MI->getOperand(Op+1);
647 const MachineOperand &MO3 = MI->getOperand(Op+2);
Evan Chenga8e29892007-01-19 07:51:42 +0000648
Dan Gohmand735b802008-10-03 15:45:36 +0000649 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Evan Chenga8e29892007-01-19 07:51:42 +0000650 printOperand(MI, Op);
651 return;
652 }
653
Chris Lattner762ccea2009-09-13 20:31:40 +0000654 O << "[" << getRegisterName(MO1.getReg());
Evan Chengcea117d2007-01-30 02:35:32 +0000655 if (MO3.getReg())
Chris Lattner762ccea2009-09-13 20:31:40 +0000656 O << ", " << getRegisterName(MO3.getReg());
Evan Cheng4b6bbe12009-11-10 19:48:13 +0000657 else if (unsigned ImmOffs = MO2.getImm())
Evan Chenga64ce452009-11-19 06:31:26 +0000658 O << ", #+" << ImmOffs * Scale;
Evan Chenga8e29892007-01-19 07:51:42 +0000659 O << "]";
660}
661
662void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000663ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000664 printThumbAddrModeRI5Operand(MI, Op, 1);
Evan Chenga8e29892007-01-19 07:51:42 +0000665}
666void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000667ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000668 printThumbAddrModeRI5Operand(MI, Op, 2);
Evan Chenga8e29892007-01-19 07:51:42 +0000669}
670void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000671ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000672 printThumbAddrModeRI5Operand(MI, Op, 4);
Evan Chenga8e29892007-01-19 07:51:42 +0000673}
674
675void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
676 const MachineOperand &MO1 = MI->getOperand(Op);
677 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattner762ccea2009-09-13 20:31:40 +0000678 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000679 if (unsigned ImmOffs = MO2.getImm())
Evan Chenga64ce452009-11-19 06:31:26 +0000680 O << ", #+" << ImmOffs*4;
Evan Chenga8e29892007-01-19 07:51:42 +0000681 O << "]";
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000682}
683
Evan Cheng055b0312009-06-29 07:51:04 +0000684//===--------------------------------------------------------------------===//
685
Evan Cheng9cb9e672009-06-27 02:26:13 +0000686// Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
687// register with shift forms.
688// REG 0 0 - e.g. R5
689// REG IMM, SH_OPC - e.g. R5, LSL #3
690void ARMAsmPrinter::printT2SOOperand(const MachineInstr *MI, int OpNum) {
691 const MachineOperand &MO1 = MI->getOperand(OpNum);
692 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
693
694 unsigned Reg = MO1.getReg();
695 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Chris Lattner762ccea2009-09-13 20:31:40 +0000696 O << getRegisterName(Reg);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000697
698 // Print the shift opc.
699 O << ", "
700 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()))
701 << " ";
702
703 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
704 O << "#" << ARM_AM::getSORegOffset(MO2.getImm());
705}
706
Evan Cheng055b0312009-06-29 07:51:04 +0000707void ARMAsmPrinter::printT2AddrModeImm12Operand(const MachineInstr *MI,
708 int OpNum) {
709 const MachineOperand &MO1 = MI->getOperand(OpNum);
710 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000711
Chris Lattner762ccea2009-09-13 20:31:40 +0000712 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000713
714 unsigned OffImm = MO2.getImm();
715 if (OffImm) // Don't print +0.
716 O << ", #+" << OffImm;
717 O << "]";
718}
719
720void ARMAsmPrinter::printT2AddrModeImm8Operand(const MachineInstr *MI,
721 int OpNum) {
722 const MachineOperand &MO1 = MI->getOperand(OpNum);
723 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
724
Chris Lattner762ccea2009-09-13 20:31:40 +0000725 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000726
727 int32_t OffImm = (int32_t)MO2.getImm();
728 // Don't print +0.
729 if (OffImm < 0)
730 O << ", #-" << -OffImm;
731 else if (OffImm > 0)
732 O << ", #+" << OffImm;
733 O << "]";
734}
735
Evan Cheng5c874172009-07-09 22:21:59 +0000736void ARMAsmPrinter::printT2AddrModeImm8s4Operand(const MachineInstr *MI,
737 int OpNum) {
738 const MachineOperand &MO1 = MI->getOperand(OpNum);
739 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
740
Chris Lattner762ccea2009-09-13 20:31:40 +0000741 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng5c874172009-07-09 22:21:59 +0000742
743 int32_t OffImm = (int32_t)MO2.getImm() / 4;
744 // Don't print +0.
745 if (OffImm < 0)
Evan Chenga64ce452009-11-19 06:31:26 +0000746 O << ", #-" << -OffImm * 4;
Evan Cheng5c874172009-07-09 22:21:59 +0000747 else if (OffImm > 0)
Evan Chenga64ce452009-11-19 06:31:26 +0000748 O << ", #+" << OffImm * 4;
Evan Cheng5c874172009-07-09 22:21:59 +0000749 O << "]";
750}
751
Evan Chenge88d5ce2009-07-02 07:28:31 +0000752void ARMAsmPrinter::printT2AddrModeImm8OffsetOperand(const MachineInstr *MI,
753 int OpNum) {
754 const MachineOperand &MO1 = MI->getOperand(OpNum);
755 int32_t OffImm = (int32_t)MO1.getImm();
756 // Don't print +0.
757 if (OffImm < 0)
758 O << "#-" << -OffImm;
759 else if (OffImm > 0)
760 O << "#+" << OffImm;
761}
762
Evan Cheng055b0312009-06-29 07:51:04 +0000763void ARMAsmPrinter::printT2AddrModeSoRegOperand(const MachineInstr *MI,
764 int OpNum) {
765 const MachineOperand &MO1 = MI->getOperand(OpNum);
766 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
767 const MachineOperand &MO3 = MI->getOperand(OpNum+2);
768
Chris Lattner762ccea2009-09-13 20:31:40 +0000769 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000770
Evan Cheng3a214252009-08-11 08:52:18 +0000771 assert(MO2.getReg() && "Invalid so_reg load / store address!");
Chris Lattner762ccea2009-09-13 20:31:40 +0000772 O << ", " << getRegisterName(MO2.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000773
Evan Cheng3a214252009-08-11 08:52:18 +0000774 unsigned ShAmt = MO3.getImm();
775 if (ShAmt) {
776 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
777 O << ", lsl #" << ShAmt;
Evan Cheng055b0312009-06-29 07:51:04 +0000778 }
779 O << "]";
780}
781
782
783//===--------------------------------------------------------------------===//
784
785void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int OpNum) {
786 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
Evan Cheng44bec522007-05-15 01:29:07 +0000787 if (CC != ARMCC::AL)
788 O << ARMCondCodeToString(CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000789}
790
Johnny Chen9d3acaa2010-03-02 17:57:15 +0000791void ARMAsmPrinter::printMandatoryPredicateOperand(const MachineInstr *MI,
792 int OpNum) {
793 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
794 O << ARMCondCodeToString(CC);
795}
796
Evan Cheng055b0312009-06-29 07:51:04 +0000797void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int OpNum){
798 unsigned Reg = MI->getOperand(OpNum).getReg();
Evan Chengdfb2eba2007-07-06 01:01:34 +0000799 if (Reg) {
800 assert(Reg == ARM::CPSR && "Expect ARM CPSR register!");
801 O << 's';
802 }
803}
804
Evan Cheng055b0312009-06-29 07:51:04 +0000805void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int OpNum) {
806 int Id = (int)MI->getOperand(OpNum).getImm();
Evan Chenge7e0d622009-11-06 22:24:13 +0000807 O << MAI->getPrivateGlobalPrefix()
808 << "PC" << getFunctionNumber() << "_" << Id;
Evan Chenga8e29892007-01-19 07:51:42 +0000809}
810
Evan Cheng055b0312009-06-29 07:51:04 +0000811void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int OpNum) {
Evan Chenga8e29892007-01-19 07:51:42 +0000812 O << "{";
Evan Chengd20d6582009-10-01 01:33:39 +0000813 // Always skip the first operand, it's the optional (and implicit writeback).
814 for (unsigned i = OpNum+1, e = MI->getNumOperands(); i != e; ++i) {
Evan Cheng4b322e52009-08-11 21:11:32 +0000815 if (MI->getOperand(i).isImplicit())
816 continue;
Evan Chengd20d6582009-10-01 01:33:39 +0000817 if ((int)i != OpNum+1) O << ", ";
Evan Chenga8e29892007-01-19 07:51:42 +0000818 printOperand(MI, i);
Evan Chenga8e29892007-01-19 07:51:42 +0000819 }
820 O << "}";
821}
822
Evan Cheng055b0312009-06-29 07:51:04 +0000823void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000824 const char *Modifier) {
825 assert(Modifier && "This operand only works with a modifier!");
826 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
827 // data itself.
828 if (!strcmp(Modifier, "label")) {
Evan Cheng055b0312009-06-29 07:51:04 +0000829 unsigned ID = MI->getOperand(OpNum).getImm();
Chris Lattner8e089a92010-02-10 00:36:00 +0000830 OutStreamer.EmitLabel(GetCPISymbol(ID));
Evan Chenga8e29892007-01-19 07:51:42 +0000831 } else {
832 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
Evan Cheng055b0312009-06-29 07:51:04 +0000833 unsigned CPI = MI->getOperand(OpNum).getIndex();
Evan Chenga8e29892007-01-19 07:51:42 +0000834
Evan Cheng6d63a722008-09-18 07:27:23 +0000835 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI];
Jim Grosbache9952212009-09-04 01:38:51 +0000836
Evan Cheng711b6dc2008-08-08 06:56:16 +0000837 if (MCPE.isMachineConstantPoolEntry()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000838 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
Evan Cheng711b6dc2008-08-08 06:56:16 +0000839 } else {
Evan Chenga8e29892007-01-19 07:51:42 +0000840 EmitGlobalConstant(MCPE.Val.ConstVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000841 }
Evan Chenga8e29892007-01-19 07:51:42 +0000842 }
843}
844
Chris Lattner0890cf12010-01-25 19:51:38 +0000845MCSymbol *ARMAsmPrinter::
846GetARMSetPICJumpTableLabel2(unsigned uid, unsigned uid2,
847 const MachineBasicBlock *MBB) const {
848 SmallString<60> Name;
849 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix()
Chris Lattnerbfcb0962010-01-25 19:39:52 +0000850 << getFunctionNumber() << '_' << uid << '_' << uid2
Chris Lattner0890cf12010-01-25 19:51:38 +0000851 << "_set_" << MBB->getNumber();
852 return OutContext.GetOrCreateSymbol(Name.str());
853}
854
855MCSymbol *ARMAsmPrinter::
856GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const {
857 SmallString<60> Name;
858 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "JTI"
Chris Lattner281e7762010-01-25 23:28:03 +0000859 << getFunctionNumber() << '_' << uid << '_' << uid2;
Chris Lattner0890cf12010-01-25 19:51:38 +0000860 return OutContext.GetOrCreateSymbol(Name.str());
Chris Lattnerbfcb0962010-01-25 19:39:52 +0000861}
862
Evan Cheng055b0312009-06-29 07:51:04 +0000863void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNum) {
Evan Cheng66ac5312009-07-25 00:33:29 +0000864 assert(!Subtarget->isThumb2() && "Thumb2 should use double-jump jumptables!");
865
Evan Cheng055b0312009-06-29 07:51:04 +0000866 const MachineOperand &MO1 = MI->getOperand(OpNum);
867 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
Chris Lattner1b46f432010-01-23 07:00:21 +0000868
Chris Lattner8aa797a2007-12-30 23:10:15 +0000869 unsigned JTI = MO1.getIndex();
Chris Lattner0890cf12010-01-25 19:51:38 +0000870 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
871 OutStreamer.EmitLabel(JTISymbol);
Evan Chenga8e29892007-01-19 07:51:42 +0000872
Chris Lattner33adcfb2009-08-22 21:43:10 +0000873 const char *JTEntryDirective = MAI->getData32bitsDirective();
Evan Chenga8e29892007-01-19 07:51:42 +0000874
Dan Gohman45426112008-07-07 20:06:06 +0000875 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
Evan Chenga8e29892007-01-19 07:51:42 +0000876 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
877 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Chris Lattnercee63322010-01-26 20:40:54 +0000878 bool UseSet= MAI->hasSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
Evan Chengc324ecb2009-07-24 18:19:46 +0000879 SmallPtrSet<MachineBasicBlock*, 8> JTSets;
Evan Chenga8e29892007-01-19 07:51:42 +0000880 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
881 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng66ac5312009-07-25 00:33:29 +0000882 bool isNew = JTSets.insert(MBB);
883
Chris Lattner0890cf12010-01-25 19:51:38 +0000884 if (UseSet && isNew) {
Chris Lattnercee63322010-01-26 20:40:54 +0000885 O << "\t.set\t"
Jim Grosbach1f9b48a2010-01-25 23:50:13 +0000886 << *GetARMSetPICJumpTableLabel2(JTI, MO2.getImm(), MBB) << ','
Chris Lattnerf71cb012010-01-26 04:55:51 +0000887 << *MBB->getSymbol(OutContext) << '-' << *JTISymbol << '\n';
Chris Lattner0890cf12010-01-25 19:51:38 +0000888 }
Evan Chenga8e29892007-01-19 07:51:42 +0000889
890 O << JTEntryDirective << ' ';
891 if (UseSet)
Chris Lattner0890cf12010-01-25 19:51:38 +0000892 O << *GetARMSetPICJumpTableLabel2(JTI, MO2.getImm(), MBB);
893 else if (TM.getRelocationModel() == Reloc::PIC_)
Chris Lattnerf71cb012010-01-26 04:55:51 +0000894 O << *MBB->getSymbol(OutContext) << '-' << *JTISymbol;
Chris Lattner0890cf12010-01-25 19:51:38 +0000895 else
Chris Lattnerf71cb012010-01-26 04:55:51 +0000896 O << *MBB->getSymbol(OutContext);
Chris Lattner0890cf12010-01-25 19:51:38 +0000897
Evan Chengd85ac4d2007-01-27 02:29:45 +0000898 if (i != e-1)
899 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +0000900 }
901}
902
Evan Cheng66ac5312009-07-25 00:33:29 +0000903void ARMAsmPrinter::printJT2BlockOperand(const MachineInstr *MI, int OpNum) {
904 const MachineOperand &MO1 = MI->getOperand(OpNum);
905 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
906 unsigned JTI = MO1.getIndex();
Chris Lattner0890cf12010-01-25 19:51:38 +0000907
908 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
909 OutStreamer.EmitLabel(JTISymbol);
Evan Cheng66ac5312009-07-25 00:33:29 +0000910
Evan Cheng66ac5312009-07-25 00:33:29 +0000911 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
912 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
913 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Evan Cheng5657c012009-07-29 02:18:14 +0000914 bool ByteOffset = false, HalfWordOffset = false;
915 if (MI->getOpcode() == ARM::t2TBB)
916 ByteOffset = true;
917 else if (MI->getOpcode() == ARM::t2TBH)
918 HalfWordOffset = true;
919
Evan Cheng66ac5312009-07-25 00:33:29 +0000920 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
921 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng5657c012009-07-29 02:18:14 +0000922 if (ByteOffset)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000923 O << MAI->getData8bitsDirective();
Evan Cheng5657c012009-07-29 02:18:14 +0000924 else if (HalfWordOffset)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000925 O << MAI->getData16bitsDirective();
Chris Lattner0890cf12010-01-25 19:51:38 +0000926
927 if (ByteOffset || HalfWordOffset)
Chris Lattnerf71cb012010-01-26 04:55:51 +0000928 O << '(' << *MBB->getSymbol(OutContext) << "-" << *JTISymbol << ")/2";
Chris Lattner0890cf12010-01-25 19:51:38 +0000929 else
Chris Lattnerf71cb012010-01-26 04:55:51 +0000930 O << "\tb.w " << *MBB->getSymbol(OutContext);
Chris Lattner0890cf12010-01-25 19:51:38 +0000931
Evan Cheng66ac5312009-07-25 00:33:29 +0000932 if (i != e-1)
933 O << '\n';
934 }
Evan Chengff6ab172009-07-31 18:35:56 +0000935
936 // Make sure the instruction that follows TBB is 2-byte aligned.
937 // FIXME: Constant island pass should insert an "ALIGN" instruction instead.
938 if (ByteOffset && (JTBBs.size() & 1)) {
939 O << '\n';
940 EmitAlignment(1);
941 }
Evan Cheng66ac5312009-07-25 00:33:29 +0000942}
943
Evan Cheng5657c012009-07-29 02:18:14 +0000944void ARMAsmPrinter::printTBAddrMode(const MachineInstr *MI, int OpNum) {
Chris Lattner762ccea2009-09-13 20:31:40 +0000945 O << "[pc, " << getRegisterName(MI->getOperand(OpNum).getReg());
Evan Cheng5657c012009-07-29 02:18:14 +0000946 if (MI->getOpcode() == ARM::t2TBH)
947 O << ", lsl #1";
948 O << ']';
949}
950
Bob Wilson4f38b382009-08-21 21:58:55 +0000951void ARMAsmPrinter::printNoHashImmediate(const MachineInstr *MI, int OpNum) {
Anton Korobeynikov8e9ece72009-08-08 23:10:41 +0000952 O << MI->getOperand(OpNum).getImm();
953}
Evan Chenga8e29892007-01-19 07:51:42 +0000954
Evan Cheng39382422009-10-28 01:44:26 +0000955void ARMAsmPrinter::printVFPf32ImmOperand(const MachineInstr *MI, int OpNum) {
956 const ConstantFP *FP = MI->getOperand(OpNum).getFPImm();
Jim Grosbach77b02be2009-11-23 21:08:25 +0000957 O << '#' << FP->getValueAPF().convertToFloat();
Evan Cheng39382422009-10-28 01:44:26 +0000958 if (VerboseAsm) {
959 O.PadToColumn(MAI->getCommentColumn());
960 O << MAI->getCommentString() << ' ';
961 WriteAsOperand(O, FP, /*PrintType=*/false);
962 }
963}
964
965void ARMAsmPrinter::printVFPf64ImmOperand(const MachineInstr *MI, int OpNum) {
966 const ConstantFP *FP = MI->getOperand(OpNum).getFPImm();
Jim Grosbach77b02be2009-11-23 21:08:25 +0000967 O << '#' << FP->getValueAPF().convertToDouble();
Evan Cheng39382422009-10-28 01:44:26 +0000968 if (VerboseAsm) {
969 O.PadToColumn(MAI->getCommentColumn());
970 O << MAI->getCommentString() << ' ';
971 WriteAsOperand(O, FP, /*PrintType=*/false);
972 }
973}
974
Evan Cheng055b0312009-06-29 07:51:04 +0000975bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000976 unsigned AsmVariant, const char *ExtraCode){
977 // Does this asm operand have a single letter operand modifier?
978 if (ExtraCode && ExtraCode[0]) {
979 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikov8e9ece72009-08-08 23:10:41 +0000980
Evan Chenga8e29892007-01-19 07:51:42 +0000981 switch (ExtraCode[0]) {
982 default: return true; // Unknown modifier.
Bob Wilson9b4b00a2009-07-09 23:54:51 +0000983 case 'a': // Print as a memory address.
984 if (MI->getOperand(OpNum).isReg()) {
Chris Lattner762ccea2009-09-13 20:31:40 +0000985 O << "[" << getRegisterName(MI->getOperand(OpNum).getReg()) << "]";
Bob Wilson9b4b00a2009-07-09 23:54:51 +0000986 return false;
987 }
988 // Fallthrough
989 case 'c': // Don't print "#" before an immediate operand.
Bob Wilson4f38b382009-08-21 21:58:55 +0000990 if (!MI->getOperand(OpNum).isImm())
991 return true;
992 printNoHashImmediate(MI, OpNum);
Bob Wilson8f343462009-04-06 21:46:51 +0000993 return false;
Evan Chenge21e3962007-04-04 00:13:29 +0000994 case 'P': // Print a VFP double precision register.
Evan Chengd831cda2009-12-08 23:06:22 +0000995 case 'q': // Print a NEON quad precision register.
Evan Cheng055b0312009-06-29 07:51:04 +0000996 printOperand(MI, OpNum);
Evan Cheng23a95702007-03-08 22:42:46 +0000997 return false;
Evan Chenga8e29892007-01-19 07:51:42 +0000998 case 'Q':
999 if (TM.getTargetData()->isLittleEndian())
1000 break;
1001 // Fallthrough
1002 case 'R':
1003 if (TM.getTargetData()->isBigEndian())
1004 break;
1005 // Fallthrough
Jim Grosbache9952212009-09-04 01:38:51 +00001006 case 'H': // Write second word of DI / DF reference.
Evan Chenga8e29892007-01-19 07:51:42 +00001007 // Verify that this operand has two consecutive registers.
Evan Cheng055b0312009-06-29 07:51:04 +00001008 if (!MI->getOperand(OpNum).isReg() ||
1009 OpNum+1 == MI->getNumOperands() ||
1010 !MI->getOperand(OpNum+1).isReg())
Evan Chenga8e29892007-01-19 07:51:42 +00001011 return true;
Evan Cheng055b0312009-06-29 07:51:04 +00001012 ++OpNum; // Return the high-part.
Evan Chenga8e29892007-01-19 07:51:42 +00001013 }
1014 }
Jim Grosbache9952212009-09-04 01:38:51 +00001015
Evan Cheng055b0312009-06-29 07:51:04 +00001016 printOperand(MI, OpNum);
Evan Chenga8e29892007-01-19 07:51:42 +00001017 return false;
1018}
1019
Bob Wilson224c2442009-05-19 05:53:42 +00001020bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Cheng055b0312009-06-29 07:51:04 +00001021 unsigned OpNum, unsigned AsmVariant,
Bob Wilson224c2442009-05-19 05:53:42 +00001022 const char *ExtraCode) {
1023 if (ExtraCode && ExtraCode[0])
1024 return true; // Unknown modifier.
Bob Wilson765cc0b2009-10-13 20:50:28 +00001025
1026 const MachineOperand &MO = MI->getOperand(OpNum);
1027 assert(MO.isReg() && "unexpected inline asm memory operand");
1028 O << "[" << getRegisterName(MO.getReg()) << "]";
Bob Wilson224c2442009-05-19 05:53:42 +00001029 return false;
1030}
1031
Chris Lattnera786cea2010-01-28 01:10:34 +00001032void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Chris Lattner97f06932009-10-19 20:20:46 +00001033 if (EnableMCInst) {
1034 printInstructionThroughMCStreamer(MI);
1035 } else {
Chris Lattnera70e6442009-10-19 22:33:05 +00001036 int Opc = MI->getOpcode();
1037 if (Opc == ARM::CONSTPOOL_ENTRY)
1038 EmitAlignment(2);
1039
Chris Lattner97f06932009-10-19 20:20:46 +00001040 printInstruction(MI);
Chris Lattner8e089a92010-02-10 00:36:00 +00001041 OutStreamer.AddBlankLine();
Chris Lattner97f06932009-10-19 20:20:46 +00001042 }
Evan Chenga8e29892007-01-19 07:51:42 +00001043}
1044
Bob Wilson812209a2009-09-30 22:06:26 +00001045void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Bob Wilson0fb34682009-09-30 00:23:42 +00001046 if (Subtarget->isTargetDarwin()) {
1047 Reloc::Model RelocM = TM.getRelocationModel();
1048 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
1049 // Declare all the text sections up front (before the DWARF sections
1050 // emitted by AsmPrinter::doInitialization) so the assembler will keep
1051 // them together at the beginning of the object file. This helps
1052 // avoid out-of-range branches that are due a fundamental limitation of
1053 // the way symbol offsets are encoded with the current Darwin ARM
1054 // relocations.
Bob Wilson29e06692009-09-30 22:25:37 +00001055 TargetLoweringObjectFileMachO &TLOFMacho =
1056 static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
1057 OutStreamer.SwitchSection(TLOFMacho.getTextSection());
1058 OutStreamer.SwitchSection(TLOFMacho.getTextCoalSection());
1059 OutStreamer.SwitchSection(TLOFMacho.getConstTextCoalSection());
1060 if (RelocM == Reloc::DynamicNoPIC) {
1061 const MCSection *sect =
1062 TLOFMacho.getMachOSection("__TEXT", "__symbol_stub4",
1063 MCSectionMachO::S_SYMBOL_STUBS,
1064 12, SectionKind::getText());
1065 OutStreamer.SwitchSection(sect);
1066 } else {
1067 const MCSection *sect =
1068 TLOFMacho.getMachOSection("__TEXT", "__picsymbolstub4",
1069 MCSectionMachO::S_SYMBOL_STUBS,
1070 16, SectionKind::getText());
1071 OutStreamer.SwitchSection(sect);
1072 }
Bob Wilson0fb34682009-09-30 00:23:42 +00001073 }
1074 }
1075
Jim Grosbache5165492009-11-09 00:11:35 +00001076 // Use unified assembler syntax.
1077 O << "\t.syntax unified\n";
Anton Korobeynikovd61eca52009-06-17 23:43:18 +00001078
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001079 // Emit ARM Build Attributes
1080 if (Subtarget->isTargetELF()) {
1081 // CPU Type
Anton Korobeynikovd260c242009-06-01 19:03:17 +00001082 std::string CPUString = Subtarget->getCPUString();
1083 if (CPUString != "generic")
1084 O << "\t.cpu " << CPUString << '\n';
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001085
1086 // FIXME: Emit FPU type
1087 if (Subtarget->hasVFP2())
1088 O << "\t.eabi_attribute " << ARMBuildAttrs::VFP_arch << ", 2\n";
1089
1090 // Signal various FP modes.
1091 if (!UnsafeFPMath)
1092 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_denormal << ", 1\n"
1093 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_exceptions << ", 1\n";
1094
1095 if (FiniteOnlyFPMath())
1096 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 1\n";
1097 else
1098 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 3\n";
1099
1100 // 8-bytes alignment stuff.
1101 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_needed << ", 1\n"
1102 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_preserved << ", 1\n";
1103
Anton Korobeynikov567d14f2009-08-05 19:04:42 +00001104 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
1105 if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard)
1106 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_HardFP_use << ", 3\n"
1107 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_VFP_args << ", 1\n";
1108
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001109 // FIXME: Should we signal R9 usage?
1110 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001111}
1112
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001113
Chris Lattner4a071d62009-10-19 17:59:19 +00001114void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Evan Cheng5be54b02007-01-19 19:25:36 +00001115 if (Subtarget->isTargetDarwin()) {
Chris Lattnerf61159b2009-08-03 22:18:15 +00001116 // All darwin targets use mach-o.
Jim Grosbache9952212009-09-04 01:38:51 +00001117 TargetLoweringObjectFileMachO &TLOFMacho =
Chris Lattnerf61159b2009-08-03 22:18:15 +00001118 static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001119 MachineModuleInfoMachO &MMIMacho =
1120 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Jim Grosbache9952212009-09-04 01:38:51 +00001121
Chris Lattner4fb63d02009-07-15 04:12:33 +00001122 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +00001123
Evan Chenga8e29892007-01-19 07:51:42 +00001124 // Output non-lazy-pointers for external and common global variables.
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001125 MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList();
1126
1127 if (!Stubs.empty()) {
Chris Lattnerff4bc462009-08-10 01:39:42 +00001128 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001129 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattnerc076a972009-08-10 18:01:34 +00001130 EmitAlignment(2);
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001131 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001132 // L_foo$stub:
1133 OutStreamer.EmitLabel(Stubs[i].first);
1134 // .indirect_symbol _foo
Bill Wendlingcf6f28d2010-03-09 00:43:34 +00001135 MCSymbol *MCSym = Stubs[i].second;
1136 OutStreamer.EmitSymbolAttribute(MCSym, MCSA_IndirectSymbol);
1137
1138 if (MCSym->isUndefined())
1139 // External to current translation unit.
1140 OutStreamer.EmitIntValue(0, 4/*size*/, 0/*addrspace*/);
1141 else
1142 // Internal to current translation unit.
1143 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym, OutContext),
1144 4/*size*/, 0/*addrspace*/);
Evan Chengae94e592008-12-05 01:06:39 +00001145 }
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001146
1147 Stubs.clear();
1148 OutStreamer.AddBlankLine();
Evan Chenga8e29892007-01-19 07:51:42 +00001149 }
1150
Chris Lattnere4d9ea82009-10-19 18:44:38 +00001151 Stubs = MMIMacho.GetHiddenGVStubList();
1152 if (!Stubs.empty()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001153 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
Chris Lattnerf3231de2009-08-10 18:02:16 +00001154 EmitAlignment(2);
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001155 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
1156 // L_foo$stub:
1157 OutStreamer.EmitLabel(Stubs[i].first);
1158 // .long _foo
1159 OutStreamer.EmitValue(MCSymbolRefExpr::Create(Stubs[i].second,
1160 OutContext),
1161 4/*size*/, 0/*addrspace*/);
1162 }
Bill Wendlingcf6f28d2010-03-09 00:43:34 +00001163
1164 Stubs.clear();
1165 OutStreamer.AddBlankLine();
Evan Chengae94e592008-12-05 01:06:39 +00001166 }
1167
Evan Chenga8e29892007-01-19 07:51:42 +00001168 // Funny Darwin hack: This flag tells the linker that no global symbols
1169 // contain code that falls through to other global symbols (e.g. the obvious
1170 // implementation of multiple entry points). If this doesn't occur, the
1171 // linker can safely perform dead code stripping. Since LLVM never
1172 // generates code that does this, it is always safe to set.
Chris Lattnera5ad93a2010-01-23 06:39:22 +00001173 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001174 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001175}
Anton Korobeynikov0bd89712008-08-17 13:55:10 +00001176
Chris Lattner97f06932009-10-19 20:20:46 +00001177//===----------------------------------------------------------------------===//
1178
1179void ARMAsmPrinter::printInstructionThroughMCStreamer(const MachineInstr *MI) {
Chris Lattner96bc2172009-10-20 00:52:47 +00001180 ARMMCInstLower MCInstLowering(OutContext, *Mang, *this);
Chris Lattner97f06932009-10-19 20:20:46 +00001181 switch (MI->getOpcode()) {
Chris Lattnerc6b8a992009-10-20 05:58:02 +00001182 case ARM::t2MOVi32imm:
1183 assert(0 && "Should be lowered by thumb2it pass");
Chris Lattner4d152222009-10-19 22:23:04 +00001184 default: break;
Chris Lattner4d152222009-10-19 22:23:04 +00001185 case ARM::PICADD: { // FIXME: Remove asm string from td file.
1186 // This is a pseudo op for a label + instruction sequence, which looks like:
1187 // LPC0:
1188 // add r0, pc, r0
1189 // This adds the address of LPC0 to r0.
1190
1191 // Emit the label.
1192 // FIXME: MOVE TO SHARED PLACE.
Chris Lattnera70e6442009-10-19 22:33:05 +00001193 unsigned Id = (unsigned)MI->getOperand(2).getImm();
Chris Lattner7c5b0212009-10-19 22:49:00 +00001194 const char *Prefix = MAI->getPrivateGlobalPrefix();
Evan Chenge7e0d622009-11-06 22:24:13 +00001195 MCSymbol *Label =OutContext.GetOrCreateSymbol(Twine(Prefix)
1196 + "PC" + Twine(getFunctionNumber()) + "_" + Twine(Id));
Chris Lattner7c5b0212009-10-19 22:49:00 +00001197 OutStreamer.EmitLabel(Label);
Chris Lattner4d152222009-10-19 22:23:04 +00001198
1199
1200 // Form and emit tha dd.
1201 MCInst AddInst;
1202 AddInst.setOpcode(ARM::ADDrr);
1203 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1204 AddInst.addOperand(MCOperand::CreateReg(ARM::PC));
1205 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
Chris Lattner850d2e22010-02-03 01:16:28 +00001206 OutStreamer.EmitInstruction(AddInst);
Chris Lattner4d152222009-10-19 22:23:04 +00001207 return;
1208 }
Chris Lattnera70e6442009-10-19 22:33:05 +00001209 case ARM::CONSTPOOL_ENTRY: { // FIXME: Remove asm string from td file.
1210 /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool
1211 /// in the function. The first operand is the ID# for this instruction, the
1212 /// second is the index into the MachineConstantPool that this is, the third
1213 /// is the size in bytes of this constant pool entry.
1214 unsigned LabelId = (unsigned)MI->getOperand(0).getImm();
1215 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex();
1216
1217 EmitAlignment(2);
Chris Lattner1b46f432010-01-23 07:00:21 +00001218 OutStreamer.EmitLabel(GetCPISymbol(LabelId));
Chris Lattnera70e6442009-10-19 22:33:05 +00001219
1220 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx];
1221 if (MCPE.isMachineConstantPoolEntry())
1222 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
1223 else
1224 EmitGlobalConstant(MCPE.Val.ConstVal);
1225
1226 return;
1227 }
Chris Lattner017d9472009-10-20 00:40:56 +00001228 case ARM::MOVi2pieces: { // FIXME: Remove asmstring from td file.
1229 // This is a hack that lowers as a two instruction sequence.
1230 unsigned DstReg = MI->getOperand(0).getReg();
1231 unsigned ImmVal = (unsigned)MI->getOperand(1).getImm();
1232
1233 unsigned SOImmValV1 = ARM_AM::getSOImmTwoPartFirst(ImmVal);
1234 unsigned SOImmValV2 = ARM_AM::getSOImmTwoPartSecond(ImmVal);
1235
1236 {
1237 MCInst TmpInst;
1238 TmpInst.setOpcode(ARM::MOVi);
1239 TmpInst.addOperand(MCOperand::CreateReg(DstReg));
1240 TmpInst.addOperand(MCOperand::CreateImm(SOImmValV1));
1241
1242 // Predicate.
1243 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1244 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
Chris Lattner233917c2009-10-20 00:46:11 +00001245
1246 TmpInst.addOperand(MCOperand::CreateReg(0)); // cc_out
Chris Lattner850d2e22010-02-03 01:16:28 +00001247 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner017d9472009-10-20 00:40:56 +00001248 }
1249
1250 {
1251 MCInst TmpInst;
1252 TmpInst.setOpcode(ARM::ORRri);
1253 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg
1254 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // inreg
1255 TmpInst.addOperand(MCOperand::CreateImm(SOImmValV2)); // so_imm
1256 // Predicate.
1257 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1258 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
1259
1260 TmpInst.addOperand(MCOperand::CreateReg(0)); // cc_out
Chris Lattner850d2e22010-02-03 01:16:28 +00001261 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner017d9472009-10-20 00:40:56 +00001262 }
1263 return;
1264 }
Chris Lattner161dcbf2009-10-20 01:11:37 +00001265 case ARM::MOVi32imm: { // FIXME: Remove asmstring from td file.
1266 // This is a hack that lowers as a two instruction sequence.
1267 unsigned DstReg = MI->getOperand(0).getReg();
1268 unsigned ImmVal = (unsigned)MI->getOperand(1).getImm();
1269
1270 {
1271 MCInst TmpInst;
1272 TmpInst.setOpcode(ARM::MOVi16);
1273 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg
1274 TmpInst.addOperand(MCOperand::CreateImm(ImmVal & 65535)); // lower16(imm)
Chris Lattner017d9472009-10-20 00:40:56 +00001275
Chris Lattner161dcbf2009-10-20 01:11:37 +00001276 // Predicate.
1277 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1278 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
1279
Chris Lattner850d2e22010-02-03 01:16:28 +00001280 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner161dcbf2009-10-20 01:11:37 +00001281 }
1282
1283 {
1284 MCInst TmpInst;
1285 TmpInst.setOpcode(ARM::MOVTi16);
1286 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg
1287 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // srcreg
1288 TmpInst.addOperand(MCOperand::CreateImm(ImmVal >> 16)); // upper16(imm)
1289
1290 // Predicate.
1291 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1292 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
1293
Chris Lattner850d2e22010-02-03 01:16:28 +00001294 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner161dcbf2009-10-20 01:11:37 +00001295 }
1296
1297 return;
1298 }
Chris Lattner97f06932009-10-19 20:20:46 +00001299 }
1300
1301 MCInst TmpInst;
1302 MCInstLowering.Lower(MI, TmpInst);
Chris Lattner850d2e22010-02-03 01:16:28 +00001303 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner97f06932009-10-19 20:20:46 +00001304}
Daniel Dunbar2685a292009-10-20 05:15:36 +00001305
1306//===----------------------------------------------------------------------===//
1307// Target Registry Stuff
1308//===----------------------------------------------------------------------===//
1309
1310static MCInstPrinter *createARMMCInstPrinter(const Target &T,
1311 unsigned SyntaxVariant,
1312 const MCAsmInfo &MAI,
1313 raw_ostream &O) {
1314 if (SyntaxVariant == 0)
1315 return new ARMInstPrinter(O, MAI, false);
1316 return 0;
1317}
1318
1319// Force static initialization.
1320extern "C" void LLVMInitializeARMAsmPrinter() {
1321 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1322 RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
1323
1324 TargetRegistry::RegisterMCInstPrinter(TheARMTarget, createARMMCInstPrinter);
1325 TargetRegistry::RegisterMCInstPrinter(TheThumbTarget, createARMMCInstPrinter);
1326}
1327