blob: a05ad3675ee9064e489fed6ea6eebabc2cde2e0b [file] [log] [blame]
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001// The LLVM Compiler Infrastructure
2//
Chris Lattner4ee451d2007-12-29 20:36:04 +00003// This file is distributed under the University of Illinois Open Source
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00004// License. See LICENSE.TXT for details.
5//
6//===----------------------------------------------------------------------===//
7//
8// This file contains a printer that converts from our internal representation
9// of machine-dependent LLVM code to GAS-format ARM assembly language.
10//
11//===----------------------------------------------------------------------===//
12
Chris Lattner95b2c7d2006-12-19 22:59:26 +000013#define DEBUG_TYPE "asm-printer"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000014#include "ARM.h"
Anton Korobeynikov88ce6672009-05-23 19:51:20 +000015#include "ARMBuildAttrs.h"
Evan Chenga8e29892007-01-19 07:51:42 +000016#include "ARMTargetMachine.h"
17#include "ARMAddressingModes.h"
18#include "ARMConstantPoolValue.h"
19#include "ARMMachineFunctionInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000020#include "llvm/Constants.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000021#include "llvm/Module.h"
Dan Gohmancf20ac42009-08-13 01:36:44 +000022#include "llvm/Assembly/Writer.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000023#include "llvm/CodeGen/AsmPrinter.h"
Evan Chenga8e29892007-01-19 07:51:42 +000024#include "llvm/CodeGen/DwarfWriter.h"
Jim Laskey44c3b9f2007-01-26 21:22:28 +000025#include "llvm/CodeGen/MachineModuleInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000026#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Chenga8e29892007-01-19 07:51:42 +000027#include "llvm/CodeGen/MachineJumpTableInfo.h"
Chris Lattnerf9bdedd2009-08-10 18:15:01 +000028#include "llvm/MC/MCSectionMachO.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000029#include "llvm/MC/MCStreamer.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000030#include "llvm/MC/MCAsmInfo.h"
Chris Lattner325d3dc2009-09-13 17:14:04 +000031#include "llvm/MC/MCSymbol.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000032#include "llvm/Target/TargetData.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000033#include "llvm/Target/TargetLoweringObjectFile.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000034#include "llvm/Target/TargetMachine.h"
Evan Cheng5be54b02007-01-19 19:25:36 +000035#include "llvm/Target/TargetOptions.h"
Daniel Dunbar51b198a2009-07-15 20:24:03 +000036#include "llvm/Target/TargetRegistry.h"
Evan Chengc324ecb2009-07-24 18:19:46 +000037#include "llvm/ADT/SmallPtrSet.h"
Jim Grosbachc40d9f92009-09-01 18:49:12 +000038#include "llvm/ADT/SmallString.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000039#include "llvm/ADT/Statistic.h"
Evan Chengae94e592008-12-05 01:06:39 +000040#include "llvm/ADT/StringSet.h"
Torok Edwin30464702009-07-08 20:55:50 +000041#include "llvm/Support/ErrorHandling.h"
Evan Chenga8e29892007-01-19 07:51:42 +000042#include "llvm/Support/Mangler.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000043#include "llvm/Support/MathExtras.h"
David Greene71847812009-07-14 20:18:05 +000044#include "llvm/Support/FormattedStream.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000045#include <cctype>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000046using namespace llvm;
47
Chris Lattner95b2c7d2006-12-19 22:59:26 +000048STATISTIC(EmittedInsts, "Number of machine instrs printed");
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000049
Chris Lattner95b2c7d2006-12-19 22:59:26 +000050namespace {
Chris Lattner4a071d62009-10-19 17:59:19 +000051 class ARMAsmPrinter : public AsmPrinter {
Evan Chenga8e29892007-01-19 07:51:42 +000052
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
Evan Cheng6d63a722008-09-18 07:27:23 +000058 /// MachineFunction.
Evan Chenga8e29892007-01-19 07:51:42 +000059 ARMFunctionInfo *AFI;
60
Evan Cheng6d63a722008-09-18 07:27:23 +000061 /// MCP - Keep a pointer to constantpool entries of the current
62 /// MachineFunction.
63 const MachineConstantPool *MCP;
64
Evan Cheng711b6dc2008-08-08 06:56:16 +000065 /// GVNonLazyPtrs - Keeps the set of GlobalValues that require
66 /// non-lazy-pointers for indirect access.
Chris Lattner0a238542009-07-15 03:12:43 +000067 StringMap<std::string> GVNonLazyPtrs;
Evan Chengae94e592008-12-05 01:06:39 +000068
69 /// HiddenGVNonLazyPtrs - Keeps the set of GlobalValues with hidden
70 /// visibility that require non-lazy-pointers for indirect access.
Chris Lattner0a238542009-07-15 03:12:43 +000071 StringMap<std::string> HiddenGVNonLazyPtrs;
Evan Chenga8e29892007-01-19 07:51:42 +000072
Bill Wendling57f0db82009-02-24 08:30:20 +000073 public:
David Greene71847812009-07-14 20:18:05 +000074 explicit ARMAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Chris Lattneraf76e592009-08-22 20:48:53 +000075 const MCAsmInfo *T, bool V)
Chris Lattnera10343f2009-10-19 18:08:02 +000076 : AsmPrinter(O, TM, T, V), AFI(NULL), MCP(NULL) {
Bill Wendling57f0db82009-02-24 08:30:20 +000077 Subtarget = &TM.getSubtarget<ARMSubtarget>();
78 }
79
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000080 virtual const char *getPassName() const {
81 return "ARM Assembly Printer";
82 }
83
Evan Cheng055b0312009-06-29 07:51:04 +000084 void printOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +000085 const char *Modifier = 0);
Evan Cheng055b0312009-06-29 07:51:04 +000086 void printSOImmOperand(const MachineInstr *MI, int OpNum);
87 void printSOImm2PartOperand(const MachineInstr *MI, int OpNum);
88 void printSORegOperand(const MachineInstr *MI, int OpNum);
89 void printAddrMode2Operand(const MachineInstr *MI, int OpNum);
90 void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNum);
91 void printAddrMode3Operand(const MachineInstr *MI, int OpNum);
92 void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNum);
93 void printAddrMode4Operand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +000094 const char *Modifier = 0);
Evan Cheng055b0312009-06-29 07:51:04 +000095 void printAddrMode5Operand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +000096 const char *Modifier = 0);
Bob Wilson8b024a52009-07-01 23:16:05 +000097 void printAddrMode6Operand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +000098 void printAddrModePCOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +000099 const char *Modifier = 0);
Evan Cheng055b0312009-06-29 07:51:04 +0000100 void printBitfieldInvMaskImmOperand (const MachineInstr *MI, int OpNum);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000101
Evan Chenge5564742009-07-09 23:43:36 +0000102 void printThumbITMask(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000103 void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNum);
104 void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000105 unsigned Scale);
Evan Cheng055b0312009-06-29 07:51:04 +0000106 void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNum);
107 void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNum);
108 void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNum);
109 void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNum);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000110
Evan Cheng9cb9e672009-06-27 02:26:13 +0000111 void printT2SOOperand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000112 void printT2AddrModeImm12Operand(const MachineInstr *MI, int OpNum);
113 void printT2AddrModeImm8Operand(const MachineInstr *MI, int OpNum);
Evan Cheng5c874172009-07-09 22:21:59 +0000114 void printT2AddrModeImm8s4Operand(const MachineInstr *MI, int OpNum);
Evan Chenge88d5ce2009-07-02 07:28:31 +0000115 void printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, int OpNum);
Evan Cheng055b0312009-06-29 07:51:04 +0000116 void printT2AddrModeSoRegOperand(const MachineInstr *MI, int OpNum);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000117
Evan Cheng055b0312009-06-29 07:51:04 +0000118 void printPredicateOperand(const MachineInstr *MI, int OpNum);
119 void printSBitModifierOperand(const MachineInstr *MI, int OpNum);
120 void printPCLabel(const MachineInstr *MI, int OpNum);
121 void printRegisterList(const MachineInstr *MI, int OpNum);
122 void printCPInstOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000123 const char *Modifier);
Evan Cheng055b0312009-06-29 07:51:04 +0000124 void printJTBlockOperand(const MachineInstr *MI, int OpNum);
Evan Cheng66ac5312009-07-25 00:33:29 +0000125 void printJT2BlockOperand(const MachineInstr *MI, int OpNum);
Evan Cheng5657c012009-07-29 02:18:14 +0000126 void printTBAddrMode(const MachineInstr *MI, int OpNum);
Bob Wilson4f38b382009-08-21 21:58:55 +0000127 void printNoHashImmediate(const MachineInstr *MI, int OpNum);
Evan Chenga8e29892007-01-19 07:51:42 +0000128
Evan Cheng055b0312009-06-29 07:51:04 +0000129 virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000130 unsigned AsmVariant, const char *ExtraCode);
Evan Cheng055b0312009-06-29 07:51:04 +0000131 virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
Bob Wilson224c2442009-05-19 05:53:42 +0000132 unsigned AsmVariant,
133 const char *ExtraCode);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000134
Chris Lattner40bbebd2009-07-21 18:38:57 +0000135 void PrintGlobalVariable(const GlobalVariable* GVar);
Chris Lattner41aefdc2009-08-08 01:32:19 +0000136 void printInstruction(const MachineInstr *MI); // autogenerated.
Chris Lattnerd95148f2009-09-13 20:19:22 +0000137 static const char *getRegisterName(unsigned RegNo);
Chris Lattner05af2612009-09-13 20:08:00 +0000138
Evan Chenga8e29892007-01-19 07:51:42 +0000139 void printMachineInstruction(const MachineInstr *MI);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000140 bool runOnMachineFunction(MachineFunction &F);
Bob Wilson812209a2009-09-30 22:06:26 +0000141 void EmitStartOfAsmFile(Module &M);
Chris Lattner4a071d62009-10-19 17:59:19 +0000142 void EmitEndOfAsmFile(Module &M);
Evan Chenga8e29892007-01-19 07:51:42 +0000143
Evan Cheng711b6dc2008-08-08 06:56:16 +0000144 /// EmitMachineConstantPoolValue - Print a machine constantpool value to
145 /// the .s file.
Evan Chenga8e29892007-01-19 07:51:42 +0000146 virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
147 printDataDirective(MCPV->getType());
148
Evan Cheng711b6dc2008-08-08 06:56:16 +0000149 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Lauro Ramos Venancio1a92d942007-01-26 19:51:32 +0000150 GlobalValue *GV = ACPV->getGV();
Chris Lattnerb8158ac2009-07-14 18:17:16 +0000151 std::string Name;
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +0000152
153 if (ACPV->isLSDA()) {
Jim Grosbachee793a62009-09-01 18:55:08 +0000154 SmallString<16> LSDAName;
Jim Grosbachc40d9f92009-09-01 18:49:12 +0000155 raw_svector_ostream(LSDAName) << MAI->getPrivateGlobalPrefix() <<
156 "_LSDA_" << getFunctionNumber();
157 Name = LSDAName.str();
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +0000158 } else if (GV) {
Evan Chenge4e4ed32009-08-28 23:18:09 +0000159 bool isIndirect = Subtarget->isTargetDarwin() &&
Evan Cheng63476a82009-09-03 07:04:02 +0000160 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
Evan Chenge4e4ed32009-08-28 23:18:09 +0000161 if (!isIndirect)
Chris Lattner0a238542009-07-15 03:12:43 +0000162 Name = Mang->getMangledName(GV);
Evan Chenge4e4ed32009-08-28 23:18:09 +0000163 else {
164 // FIXME: Remove this when Darwin transition to @GOT like syntax.
165 std::string SymName = Mang->getMangledName(GV);
166 Name = Mang->getMangledName(GV, "$non_lazy_ptr", true);
167 if (GV->hasHiddenVisibility())
168 HiddenGVNonLazyPtrs[SymName] = Name;
169 else
170 GVNonLazyPtrs[SymName] = Name;
171 }
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +0000172 } else
Evan Chenge4e4ed32009-08-28 23:18:09 +0000173 Name = Mang->makeNameProper(ACPV->getSymbol());
Jim Grosbache9952212009-09-04 01:38:51 +0000174 O << Name;
175
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000176 if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000177 if (ACPV->getPCAdjustment() != 0) {
Chris Lattner33adcfb2009-08-22 21:43:10 +0000178 O << "-(" << MAI->getPrivateGlobalPrefix() << "PC"
Daniel Dunbar7f93dc82009-07-30 04:20:37 +0000179 << ACPV->getLabelId()
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000180 << "+" << (unsigned)ACPV->getPCAdjustment();
181 if (ACPV->mustAddCurrentAddress())
182 O << "-.";
183 O << ")";
184 }
Evan Chenga8e29892007-01-19 07:51:42 +0000185 O << "\n";
186 }
Jim Grosbache9952212009-09-04 01:38:51 +0000187
Evan Chenga8e29892007-01-19 07:51:42 +0000188 void getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksencd8bc052007-09-30 13:39:29 +0000189 AsmPrinter::getAnalysisUsage(AU);
Evan Chenga8e29892007-01-19 07:51:42 +0000190 AU.setPreservesAll();
Jim Laskey44c3b9f2007-01-26 21:22:28 +0000191 AU.addRequired<MachineModuleInfo>();
Devang Pateleb3fc282009-01-08 23:40:34 +0000192 AU.addRequired<DwarfWriter>();
Evan Chenga8e29892007-01-19 07:51:42 +0000193 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000194 };
195} // end of anonymous namespace
196
197#include "ARMGenAsmWriter.inc"
198
Evan Chenga8e29892007-01-19 07:51:42 +0000199/// runOnMachineFunction - This uses the printInstruction()
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000200/// method to print assembly for each instruction.
201///
202bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Bill Wendling57f0db82009-02-24 08:30:20 +0000203 this->MF = &MF;
204
Evan Chenga8e29892007-01-19 07:51:42 +0000205 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Cheng6d63a722008-09-18 07:27:23 +0000206 MCP = MF.getConstantPool();
Rafael Espindola4b442b52006-05-23 02:48:20 +0000207
Evan Chenga8e29892007-01-19 07:51:42 +0000208 SetupMachineFunction(MF);
209 O << "\n";
Rafael Espindola4b442b52006-05-23 02:48:20 +0000210
Evan Chenga8e29892007-01-19 07:51:42 +0000211 // NOTE: we don't print out constant pools here, they are handled as
212 // instructions.
213
Chris Lattner5e44e472009-08-03 22:32:50 +0000214 O << '\n';
Jim Grosbache9952212009-09-04 01:38:51 +0000215
Rafael Espindola4b442b52006-05-23 02:48:20 +0000216 // Print out labels for the function.
217 const Function *F = MF.getFunction();
Chris Lattner6c2f9e12009-08-19 05:49:37 +0000218 OutStreamer.SwitchSection(getObjFileLowering().SectionForGlobal(F, Mang, TM));
Chris Lattner5e44e472009-08-03 22:32:50 +0000219
Rafael Espindola4b442b52006-05-23 02:48:20 +0000220 switch (F->getLinkage()) {
Torok Edwinc23197a2009-07-14 16:55:14 +0000221 default: llvm_unreachable("Unknown linkage type!");
Rafael Espindolabb46f522009-01-15 20:18:42 +0000222 case Function::PrivateLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000223 case Function::InternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000224 break;
225 case Function::ExternalLinkage:
Rafael Espindola4b442b52006-05-23 02:48:20 +0000226 O << "\t.globl\t" << CurrentFnName << "\n";
227 break;
Dale Johannesena60e51f2009-08-24 01:03:42 +0000228 case Function::LinkerPrivateLinkage:
Duncan Sands667d4b82009-03-07 15:45:40 +0000229 case Function::WeakAnyLinkage:
230 case Function::WeakODRLinkage:
231 case Function::LinkOnceAnyLinkage:
232 case Function::LinkOnceODRLinkage:
Evan Cheng5be54b02007-01-19 19:25:36 +0000233 if (Subtarget->isTargetDarwin()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000234 O << "\t.globl\t" << CurrentFnName << "\n";
235 O << "\t.weak_definition\t" << CurrentFnName << "\n";
236 } else {
Chris Lattner33adcfb2009-08-22 21:43:10 +0000237 O << MAI->getWeakRefDirective() << CurrentFnName << "\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000238 }
Rafael Espindola4b442b52006-05-23 02:48:20 +0000239 break;
240 }
Evan Chenga8e29892007-01-19 07:51:42 +0000241
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +0000242 printVisibility(CurrentFnName, F->getVisibility());
Evan Cheng616cc662007-03-29 07:49:34 +0000243
Evan Cheng048e36f2009-10-02 06:57:25 +0000244 unsigned FnAlign = 1 << MF.getAlignment(); // MF alignment is log2.
Evan Chenga8e29892007-01-19 07:51:42 +0000245 if (AFI->isThumbFunction()) {
Evan Cheng048e36f2009-10-02 06:57:25 +0000246 EmitAlignment(FnAlign, F, AFI->getAlign());
Evan Chenga8e29892007-01-19 07:51:42 +0000247 O << "\t.code\t16\n";
Lauro Ramos Venancio6f46e592007-02-01 18:25:34 +0000248 O << "\t.thumb_func";
249 if (Subtarget->isTargetDarwin())
250 O << "\t" << CurrentFnName;
251 O << "\n";
Bill Wendling20c568f2009-06-30 22:38:32 +0000252 } else {
Evan Cheng048e36f2009-10-02 06:57:25 +0000253 EmitAlignment(FnAlign, F);
Bill Wendling20c568f2009-06-30 22:38:32 +0000254 }
Evan Chenga8e29892007-01-19 07:51:42 +0000255
Rafael Espindola4b442b52006-05-23 02:48:20 +0000256 O << CurrentFnName << ":\n";
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000257 // Emit pre-function debug information.
Devang Pateleb3fc282009-01-08 23:40:34 +0000258 DW->BeginFunction(&MF);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000259
Bill Wendling200e90c2008-01-28 09:15:03 +0000260 if (Subtarget->isTargetDarwin()) {
261 // If the function is empty, then we need to emit *something*. Otherwise,
262 // the function's label might be associated with something that it wasn't
263 // meant to be associated with. We emit a noop in this situation.
264 MachineFunction::iterator I = MF.begin();
265
266 if (++I == MF.end() && MF.front().empty())
267 O << "\tnop\n";
268 }
269
Rafael Espindola4b442b52006-05-23 02:48:20 +0000270 // Print out code for the function.
271 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
272 I != E; ++I) {
273 // Print a label for the basic block.
274 if (I != MF.begin()) {
Chris Lattner70a54c02009-09-13 18:25:37 +0000275 EmitBasicBlockStart(I);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000276 }
277 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
278 II != E; ++II) {
279 // Print the assembly for the instruction.
Evan Chenga8e29892007-01-19 07:51:42 +0000280 printMachineInstruction(II);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000281 }
282 }
283
Chris Lattner33adcfb2009-08-22 21:43:10 +0000284 if (MAI->hasDotTypeDotSizeDirective())
Evan Chenga8e29892007-01-19 07:51:42 +0000285 O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
286
Lauro Ramos Venancioe8e54952007-05-03 20:28:35 +0000287 // Emit post-function debug information.
Devang Pateleb3fc282009-01-08 23:40:34 +0000288 DW->EndFunction(&MF);
Evan Chenga8e29892007-01-19 07:51:42 +0000289
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000290 return false;
291}
292
Evan Cheng055b0312009-06-29 07:51:04 +0000293void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000294 const char *Modifier) {
Evan Cheng055b0312009-06-29 07:51:04 +0000295 const MachineOperand &MO = MI->getOperand(OpNum);
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000296 switch (MO.getType()) {
Bob Wilson5bafff32009-06-22 23:27:02 +0000297 case MachineOperand::MO_Register: {
298 unsigned Reg = MO.getReg();
299 if (TargetRegisterInfo::isPhysicalRegister(Reg)) {
300 if (Modifier && strcmp(Modifier, "dregpair") == 0) {
301 unsigned DRegLo = TRI->getSubReg(Reg, 5); // arm_dsubreg_0
302 unsigned DRegHi = TRI->getSubReg(Reg, 6); // arm_dsubreg_1
303 O << '{'
Chris Lattner762ccea2009-09-13 20:31:40 +0000304 << getRegisterName(DRegLo) << ',' << getRegisterName(DRegHi)
Bob Wilson5bafff32009-06-22 23:27:02 +0000305 << '}';
Anton Korobeynikov32a1b252009-08-07 22:36:50 +0000306 } else if (Modifier && strcmp(Modifier, "lane") == 0) {
307 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(Reg);
Sandeep Patel85111a92009-09-15 17:53:11 +0000308 unsigned DReg = TRI->getMatchingSuperReg(Reg, RegNum & 1 ? 2 : 1,
309 &ARM::DPR_VFP2RegClass);
Chris Lattner762ccea2009-09-13 20:31:40 +0000310 O << getRegisterName(DReg) << '[' << (RegNum & 1) << ']';
Bob Wilson5bafff32009-06-22 23:27:02 +0000311 } else {
Chris Lattner762ccea2009-09-13 20:31:40 +0000312 O << getRegisterName(Reg);
Bob Wilson5bafff32009-06-22 23:27:02 +0000313 }
314 } else
Torok Edwinc23197a2009-07-14 16:55:14 +0000315 llvm_unreachable("not implemented");
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000316 break;
Bob Wilson5bafff32009-06-22 23:27:02 +0000317 }
Evan Chenga8e29892007-01-19 07:51:42 +0000318 case MachineOperand::MO_Immediate: {
Evan Cheng5adb66a2009-09-28 09:14:39 +0000319 int64_t Imm = MO.getImm();
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000320 O << '#';
Evan Cheng5adb66a2009-09-28 09:14:39 +0000321 if (Modifier) {
322 if (strcmp(Modifier, "lo16") == 0)
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000323 O << ":lower16:";
Evan Cheng5adb66a2009-09-28 09:14:39 +0000324 else if (strcmp(Modifier, "hi16") == 0)
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000325 O << ":upper16:";
Evan Cheng5adb66a2009-09-28 09:14:39 +0000326 }
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000327 O << Imm;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000328 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000329 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000330 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner325d3dc2009-09-13 17:14:04 +0000331 GetMBBSymbol(MO.getMBB()->getNumber())->print(O, MAI);
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000332 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000333 case MachineOperand::MO_GlobalAddress: {
Evan Chenga8e29892007-01-19 07:51:42 +0000334 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Rafael Espindola84b19be2006-07-16 01:02:57 +0000335 GlobalValue *GV = MO.getGlobal();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000336 O << Mang->getMangledName(GV);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000337
338 printOffset(MO.getOffset());
339
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000340 if (isCallOp && Subtarget->isTargetELF() &&
341 TM.getRelocationModel() == Reloc::PIC_)
342 O << "(PLT)";
Evan Chenga8e29892007-01-19 07:51:42 +0000343 break;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000344 }
Evan Chenga8e29892007-01-19 07:51:42 +0000345 case MachineOperand::MO_ExternalSymbol: {
346 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Evan Chenge4e4ed32009-08-28 23:18:09 +0000347 std::string Name = Mang->makeNameProper(MO.getSymbolName());
Jim Grosbache9952212009-09-04 01:38:51 +0000348
Chris Lattnerb1ccad32009-07-15 04:41:01 +0000349 O << Name;
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000350 if (isCallOp && Subtarget->isTargetELF() &&
351 TM.getRelocationModel() == Reloc::PIC_)
352 O << "(PLT)";
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000353 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000354 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000355 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000356 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000357 << '_' << MO.getIndex();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000358 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000359 case MachineOperand::MO_JumpTableIndex:
Chris Lattner33adcfb2009-08-22 21:43:10 +0000360 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner8aa797a2007-12-30 23:10:15 +0000361 << '_' << MO.getIndex();
Evan Chenga8e29892007-01-19 07:51:42 +0000362 break;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000363 default:
364 O << "<unknown operand type>"; abort (); break;
365 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000366}
367
David Greene71847812009-07-14 20:18:05 +0000368static void printSOImm(formatted_raw_ostream &O, int64_t V, bool VerboseAsm,
Chris Lattner33adcfb2009-08-22 21:43:10 +0000369 const MCAsmInfo *MAI) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000370 // Break it up into two parts that make up a shifter immediate.
371 V = ARM_AM::getSOImmVal(V);
372 assert(V != -1 && "Not a valid so_imm value!");
373
Evan Chengc70d1842007-03-20 08:11:30 +0000374 unsigned Imm = ARM_AM::getSOImmValImm(V);
375 unsigned Rot = ARM_AM::getSOImmValRot(V);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000376
Evan Chenga8e29892007-01-19 07:51:42 +0000377 // Print low-level immediate formation info, per
378 // A5.1.3: "Data-processing operands - Immediate".
379 if (Rot) {
380 O << "#" << Imm << ", " << Rot;
381 // Pretty printed version.
Evan Chengf1c0ae92009-03-24 00:17:40 +0000382 if (VerboseAsm)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000383 O << ' ' << MAI->getCommentString()
Evan Chengf1c0ae92009-03-24 00:17:40 +0000384 << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
Evan Chenga8e29892007-01-19 07:51:42 +0000385 } else {
386 O << "#" << Imm;
387 }
388}
389
Evan Chengc70d1842007-03-20 08:11:30 +0000390/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
391/// immediate in bits 0-7.
392void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
393 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmand735b802008-10-03 15:45:36 +0000394 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattner33adcfb2009-08-22 21:43:10 +0000395 printSOImm(O, MO.getImm(), VerboseAsm, MAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000396}
397
Evan Cheng90922132008-11-06 02:25:39 +0000398/// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov'
399/// followed by an 'orr' to materialize.
Evan Chengc70d1842007-03-20 08:11:30 +0000400void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) {
401 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmand735b802008-10-03 15:45:36 +0000402 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000403 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm());
404 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm());
Chris Lattner33adcfb2009-08-22 21:43:10 +0000405 printSOImm(O, V1, VerboseAsm, MAI);
Evan Cheng5e148a32007-06-05 18:55:18 +0000406 O << "\n\torr";
407 printPredicateOperand(MI, 2);
408 O << " ";
Jim Grosbache9952212009-09-04 01:38:51 +0000409 printOperand(MI, 0);
Evan Chengc70d1842007-03-20 08:11:30 +0000410 O << ", ";
Jim Grosbache9952212009-09-04 01:38:51 +0000411 printOperand(MI, 0);
Evan Chengc70d1842007-03-20 08:11:30 +0000412 O << ", ";
Chris Lattner33adcfb2009-08-22 21:43:10 +0000413 printSOImm(O, V2, VerboseAsm, MAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000414}
415
Evan Chenga8e29892007-01-19 07:51:42 +0000416// so_reg is a 4-operand unit corresponding to register forms of the A5.1
417// "Addressing Mode 1 - Data-processing operands" forms. This includes:
Evan Cheng9cb9e672009-06-27 02:26:13 +0000418// REG 0 0 - e.g. R5
419// REG REG 0,SH_OPC - e.g. R5, ROR R3
Evan Chenga8e29892007-01-19 07:51:42 +0000420// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
421void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
422 const MachineOperand &MO1 = MI->getOperand(Op);
423 const MachineOperand &MO2 = MI->getOperand(Op+1);
424 const MachineOperand &MO3 = MI->getOperand(Op+2);
425
Chris Lattner762ccea2009-09-13 20:31:40 +0000426 O << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000427
428 // Print the shift opc.
429 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000430 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000431 << " ";
432
433 if (MO2.getReg()) {
Chris Lattner762ccea2009-09-13 20:31:40 +0000434 O << getRegisterName(MO2.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000435 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
436 } else {
437 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
438 }
439}
440
441void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) {
442 const MachineOperand &MO1 = MI->getOperand(Op);
443 const MachineOperand &MO2 = MI->getOperand(Op+1);
444 const MachineOperand &MO3 = MI->getOperand(Op+2);
445
Dan Gohmand735b802008-10-03 15:45:36 +0000446 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Evan Chenga8e29892007-01-19 07:51:42 +0000447 printOperand(MI, Op);
448 return;
449 }
450
Chris Lattner762ccea2009-09-13 20:31:40 +0000451 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000452
453 if (!MO2.getReg()) {
454 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
455 O << ", #"
456 << (char)ARM_AM::getAM2Op(MO3.getImm())
457 << ARM_AM::getAM2Offset(MO3.getImm());
458 O << "]";
459 return;
460 }
461
462 O << ", "
463 << (char)ARM_AM::getAM2Op(MO3.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000464 << getRegisterName(MO2.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000465
Evan Chenga8e29892007-01-19 07:51:42 +0000466 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
467 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000468 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000469 << " #" << ShImm;
470 O << "]";
471}
472
473void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
474 const MachineOperand &MO1 = MI->getOperand(Op);
475 const MachineOperand &MO2 = MI->getOperand(Op+1);
476
477 if (!MO1.getReg()) {
Evan Chengbdc98692007-05-03 23:30:36 +0000478 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
479 assert(ImmOffs && "Malformed indexed load / store!");
480 O << "#"
481 << (char)ARM_AM::getAM2Op(MO2.getImm())
482 << ImmOffs;
Evan Chenga8e29892007-01-19 07:51:42 +0000483 return;
484 }
485
486 O << (char)ARM_AM::getAM2Op(MO2.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000487 << getRegisterName(MO1.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000488
Evan Chenga8e29892007-01-19 07:51:42 +0000489 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
490 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000491 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000492 << " #" << ShImm;
493}
494
495void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
496 const MachineOperand &MO1 = MI->getOperand(Op);
497 const MachineOperand &MO2 = MI->getOperand(Op+1);
498 const MachineOperand &MO3 = MI->getOperand(Op+2);
Jim Grosbache9952212009-09-04 01:38:51 +0000499
Dan Gohman6f0d0242008-02-10 18:45:23 +0000500 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattner762ccea2009-09-13 20:31:40 +0000501 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000502
503 if (MO2.getReg()) {
504 O << ", "
505 << (char)ARM_AM::getAM3Op(MO3.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000506 << getRegisterName(MO2.getReg())
Evan Chenga8e29892007-01-19 07:51:42 +0000507 << "]";
508 return;
509 }
Jim Grosbache9952212009-09-04 01:38:51 +0000510
Evan Chenga8e29892007-01-19 07:51:42 +0000511 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
512 O << ", #"
513 << (char)ARM_AM::getAM3Op(MO3.getImm())
514 << ImmOffs;
515 O << "]";
516}
517
518void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
519 const MachineOperand &MO1 = MI->getOperand(Op);
520 const MachineOperand &MO2 = MI->getOperand(Op+1);
521
522 if (MO1.getReg()) {
523 O << (char)ARM_AM::getAM3Op(MO2.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000524 << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000525 return;
526 }
527
528 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
Evan Chengbdc98692007-05-03 23:30:36 +0000529 assert(ImmOffs && "Malformed indexed load / store!");
Evan Chenga8e29892007-01-19 07:51:42 +0000530 O << "#"
Evan Chengbdc98692007-05-03 23:30:36 +0000531 << (char)ARM_AM::getAM3Op(MO2.getImm())
Evan Chenga8e29892007-01-19 07:51:42 +0000532 << ImmOffs;
533}
Jim Grosbache9952212009-09-04 01:38:51 +0000534
Evan Chenga8e29892007-01-19 07:51:42 +0000535void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
536 const char *Modifier) {
537 const MachineOperand &MO1 = MI->getOperand(Op);
538 const MachineOperand &MO2 = MI->getOperand(Op+1);
539 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
540 if (Modifier && strcmp(Modifier, "submode") == 0) {
541 if (MO1.getReg() == ARM::SP) {
Evan Cheng27934da2009-08-04 01:43:45 +0000542 // FIXME
Evan Chenga8e29892007-01-19 07:51:42 +0000543 bool isLDM = (MI->getOpcode() == ARM::LDM ||
Evan Cheng27934da2009-08-04 01:43:45 +0000544 MI->getOpcode() == ARM::LDM_RET ||
Evan Cheng9e7a3122009-08-04 21:12:13 +0000545 MI->getOpcode() == ARM::t2LDM ||
Evan Cheng27934da2009-08-04 01:43:45 +0000546 MI->getOpcode() == ARM::t2LDM_RET);
Evan Chenga8e29892007-01-19 07:51:42 +0000547 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
548 } else
549 O << ARM_AM::getAMSubModeStr(Mode);
Evan Chengd77c7ab2009-08-07 21:19:10 +0000550 } else if (Modifier && strcmp(Modifier, "wide") == 0) {
551 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
552 if (Mode == ARM_AM::ia)
553 O << ".w";
Evan Chenga8e29892007-01-19 07:51:42 +0000554 } else {
555 printOperand(MI, Op);
556 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
557 O << "!";
558 }
559}
560
561void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
562 const char *Modifier) {
563 const MachineOperand &MO1 = MI->getOperand(Op);
564 const MachineOperand &MO2 = MI->getOperand(Op+1);
565
Dan Gohmand735b802008-10-03 15:45:36 +0000566 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Evan Chenga8e29892007-01-19 07:51:42 +0000567 printOperand(MI, Op);
568 return;
569 }
Jim Grosbache9952212009-09-04 01:38:51 +0000570
Dan Gohman6f0d0242008-02-10 18:45:23 +0000571 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Evan Chenga8e29892007-01-19 07:51:42 +0000572
573 if (Modifier && strcmp(Modifier, "submode") == 0) {
574 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
575 if (MO1.getReg() == ARM::SP) {
576 bool isFLDM = (MI->getOpcode() == ARM::FLDMD ||
577 MI->getOpcode() == ARM::FLDMS);
578 O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM);
579 } else
580 O << ARM_AM::getAMSubModeStr(Mode);
581 return;
582 } else if (Modifier && strcmp(Modifier, "base") == 0) {
583 // Used for FSTM{D|S} and LSTM{D|S} operations.
Chris Lattner762ccea2009-09-13 20:31:40 +0000584 O << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000585 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
586 O << "!";
587 return;
588 }
Jim Grosbache9952212009-09-04 01:38:51 +0000589
Chris Lattner762ccea2009-09-13 20:31:40 +0000590 O << "[" << getRegisterName(MO1.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000591
Evan Chenga8e29892007-01-19 07:51:42 +0000592 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
593 O << ", #"
594 << (char)ARM_AM::getAM5Op(MO2.getImm())
595 << ImmOffs*4;
596 }
597 O << "]";
598}
599
Bob Wilson8b024a52009-07-01 23:16:05 +0000600void ARMAsmPrinter::printAddrMode6Operand(const MachineInstr *MI, int Op) {
601 const MachineOperand &MO1 = MI->getOperand(Op);
602 const MachineOperand &MO2 = MI->getOperand(Op+1);
603 const MachineOperand &MO3 = MI->getOperand(Op+2);
604
605 // FIXME: No support yet for specifying alignment.
Chris Lattner762ccea2009-09-13 20:31:40 +0000606 O << "[" << getRegisterName(MO1.getReg()) << "]";
Bob Wilson8b024a52009-07-01 23:16:05 +0000607
608 if (ARM_AM::getAM6WBFlag(MO3.getImm())) {
609 if (MO2.getReg() == 0)
610 O << "!";
611 else
Chris Lattner762ccea2009-09-13 20:31:40 +0000612 O << ", " << getRegisterName(MO2.getReg());
Bob Wilson8b024a52009-07-01 23:16:05 +0000613 }
614}
615
Evan Chenga8e29892007-01-19 07:51:42 +0000616void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
617 const char *Modifier) {
618 if (Modifier && strcmp(Modifier, "label") == 0) {
619 printPCLabel(MI, Op+1);
620 return;
621 }
622
623 const MachineOperand &MO1 = MI->getOperand(Op);
Dan Gohman6f0d0242008-02-10 18:45:23 +0000624 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattner762ccea2009-09-13 20:31:40 +0000625 O << "[pc, +" << getRegisterName(MO1.getReg()) << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000626}
627
628void
Evan Chengf49810c2009-06-23 17:48:47 +0000629ARMAsmPrinter::printBitfieldInvMaskImmOperand(const MachineInstr *MI, int Op) {
630 const MachineOperand &MO = MI->getOperand(Op);
631 uint32_t v = ~MO.getImm();
Evan Cheng9e03cbe2009-06-25 22:04:44 +0000632 int32_t lsb = CountTrailingZeros_32(v);
Nick Lewyckyb825aaa2009-06-24 01:08:42 +0000633 int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
Evan Chengf49810c2009-06-23 17:48:47 +0000634 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
635 O << "#" << lsb << ", #" << width;
636}
637
Evan Cheng055b0312009-06-29 07:51:04 +0000638//===--------------------------------------------------------------------===//
639
Evan Chengf49810c2009-06-23 17:48:47 +0000640void
Evan Chenge5564742009-07-09 23:43:36 +0000641ARMAsmPrinter::printThumbITMask(const MachineInstr *MI, int Op) {
642 // (3 - the number of trailing zeros) is the number of then / else.
643 unsigned Mask = MI->getOperand(Op).getImm();
644 unsigned NumTZ = CountTrailingZeros_32(Mask);
645 assert(NumTZ <= 3 && "Invalid IT mask!");
Evan Cheng06e16582009-07-10 01:54:42 +0000646 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
Evan Chengbc9b7542009-08-15 07:59:10 +0000647 bool T = (Mask & (1 << Pos)) == 0;
Evan Chenge5564742009-07-09 23:43:36 +0000648 if (T)
649 O << 't';
650 else
651 O << 'e';
652 }
653}
654
655void
Evan Chenga8e29892007-01-19 07:51:42 +0000656ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
657 const MachineOperand &MO1 = MI->getOperand(Op);
658 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattner762ccea2009-09-13 20:31:40 +0000659 O << "[" << getRegisterName(MO1.getReg());
660 O << ", " << getRegisterName(MO2.getReg()) << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000661}
662
663void
664ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
665 unsigned Scale) {
666 const MachineOperand &MO1 = MI->getOperand(Op);
Evan Chengcea117d2007-01-30 02:35:32 +0000667 const MachineOperand &MO2 = MI->getOperand(Op+1);
668 const MachineOperand &MO3 = MI->getOperand(Op+2);
Evan Chenga8e29892007-01-19 07:51:42 +0000669
Dan Gohmand735b802008-10-03 15:45:36 +0000670 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Evan Chenga8e29892007-01-19 07:51:42 +0000671 printOperand(MI, Op);
672 return;
673 }
674
Chris Lattner762ccea2009-09-13 20:31:40 +0000675 O << "[" << getRegisterName(MO1.getReg());
Evan Chengcea117d2007-01-30 02:35:32 +0000676 if (MO3.getReg())
Chris Lattner762ccea2009-09-13 20:31:40 +0000677 O << ", " << getRegisterName(MO3.getReg());
Evan Chengcea117d2007-01-30 02:35:32 +0000678 else if (unsigned ImmOffs = MO2.getImm()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000679 O << ", #" << ImmOffs;
680 if (Scale > 1)
681 O << " * " << Scale;
682 }
683 O << "]";
684}
685
686void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000687ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000688 printThumbAddrModeRI5Operand(MI, Op, 1);
Evan Chenga8e29892007-01-19 07:51:42 +0000689}
690void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000691ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000692 printThumbAddrModeRI5Operand(MI, Op, 2);
Evan Chenga8e29892007-01-19 07:51:42 +0000693}
694void
Evan Chengc38f2bc2007-01-23 22:59:13 +0000695ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
Evan Chengcea117d2007-01-30 02:35:32 +0000696 printThumbAddrModeRI5Operand(MI, Op, 4);
Evan Chenga8e29892007-01-19 07:51:42 +0000697}
698
699void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
700 const MachineOperand &MO1 = MI->getOperand(Op);
701 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattner762ccea2009-09-13 20:31:40 +0000702 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000703 if (unsigned ImmOffs = MO2.getImm())
704 O << ", #" << ImmOffs << " * 4";
705 O << "]";
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000706}
707
Evan Cheng055b0312009-06-29 07:51:04 +0000708//===--------------------------------------------------------------------===//
709
Evan Cheng9cb9e672009-06-27 02:26:13 +0000710// Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
711// register with shift forms.
712// REG 0 0 - e.g. R5
713// REG IMM, SH_OPC - e.g. R5, LSL #3
714void ARMAsmPrinter::printT2SOOperand(const MachineInstr *MI, int OpNum) {
715 const MachineOperand &MO1 = MI->getOperand(OpNum);
716 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
717
718 unsigned Reg = MO1.getReg();
719 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Chris Lattner762ccea2009-09-13 20:31:40 +0000720 O << getRegisterName(Reg);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000721
722 // Print the shift opc.
723 O << ", "
724 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()))
725 << " ";
726
727 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
728 O << "#" << ARM_AM::getSORegOffset(MO2.getImm());
729}
730
Evan Cheng055b0312009-06-29 07:51:04 +0000731void ARMAsmPrinter::printT2AddrModeImm12Operand(const MachineInstr *MI,
732 int OpNum) {
733 const MachineOperand &MO1 = MI->getOperand(OpNum);
734 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000735
Chris Lattner762ccea2009-09-13 20:31:40 +0000736 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000737
738 unsigned OffImm = MO2.getImm();
739 if (OffImm) // Don't print +0.
740 O << ", #+" << OffImm;
741 O << "]";
742}
743
744void ARMAsmPrinter::printT2AddrModeImm8Operand(const MachineInstr *MI,
745 int OpNum) {
746 const MachineOperand &MO1 = MI->getOperand(OpNum);
747 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
748
Chris Lattner762ccea2009-09-13 20:31:40 +0000749 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000750
751 int32_t OffImm = (int32_t)MO2.getImm();
752 // Don't print +0.
753 if (OffImm < 0)
754 O << ", #-" << -OffImm;
755 else if (OffImm > 0)
756 O << ", #+" << OffImm;
757 O << "]";
758}
759
Evan Cheng5c874172009-07-09 22:21:59 +0000760void ARMAsmPrinter::printT2AddrModeImm8s4Operand(const MachineInstr *MI,
761 int OpNum) {
762 const MachineOperand &MO1 = MI->getOperand(OpNum);
763 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
764
Chris Lattner762ccea2009-09-13 20:31:40 +0000765 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng5c874172009-07-09 22:21:59 +0000766
767 int32_t OffImm = (int32_t)MO2.getImm() / 4;
768 // Don't print +0.
769 if (OffImm < 0)
770 O << ", #-" << -OffImm << " * 4";
771 else if (OffImm > 0)
772 O << ", #+" << OffImm << " * 4";
773 O << "]";
774}
775
Evan Chenge88d5ce2009-07-02 07:28:31 +0000776void ARMAsmPrinter::printT2AddrModeImm8OffsetOperand(const MachineInstr *MI,
777 int OpNum) {
778 const MachineOperand &MO1 = MI->getOperand(OpNum);
779 int32_t OffImm = (int32_t)MO1.getImm();
780 // Don't print +0.
781 if (OffImm < 0)
782 O << "#-" << -OffImm;
783 else if (OffImm > 0)
784 O << "#+" << OffImm;
785}
786
Evan Cheng055b0312009-06-29 07:51:04 +0000787void ARMAsmPrinter::printT2AddrModeSoRegOperand(const MachineInstr *MI,
788 int OpNum) {
789 const MachineOperand &MO1 = MI->getOperand(OpNum);
790 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
791 const MachineOperand &MO3 = MI->getOperand(OpNum+2);
792
Chris Lattner762ccea2009-09-13 20:31:40 +0000793 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000794
Evan Cheng3a214252009-08-11 08:52:18 +0000795 assert(MO2.getReg() && "Invalid so_reg load / store address!");
Chris Lattner762ccea2009-09-13 20:31:40 +0000796 O << ", " << getRegisterName(MO2.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000797
Evan Cheng3a214252009-08-11 08:52:18 +0000798 unsigned ShAmt = MO3.getImm();
799 if (ShAmt) {
800 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
801 O << ", lsl #" << ShAmt;
Evan Cheng055b0312009-06-29 07:51:04 +0000802 }
803 O << "]";
804}
805
806
807//===--------------------------------------------------------------------===//
808
809void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int OpNum) {
810 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
Evan Cheng44bec522007-05-15 01:29:07 +0000811 if (CC != ARMCC::AL)
812 O << ARMCondCodeToString(CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000813}
814
Evan Cheng055b0312009-06-29 07:51:04 +0000815void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int OpNum){
816 unsigned Reg = MI->getOperand(OpNum).getReg();
Evan Chengdfb2eba2007-07-06 01:01:34 +0000817 if (Reg) {
818 assert(Reg == ARM::CPSR && "Expect ARM CPSR register!");
819 O << 's';
820 }
821}
822
Evan Cheng055b0312009-06-29 07:51:04 +0000823void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int OpNum) {
824 int Id = (int)MI->getOperand(OpNum).getImm();
Chris Lattner33adcfb2009-08-22 21:43:10 +0000825 O << MAI->getPrivateGlobalPrefix() << "PC" << Id;
Evan Chenga8e29892007-01-19 07:51:42 +0000826}
827
Evan Cheng055b0312009-06-29 07:51:04 +0000828void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int OpNum) {
Evan Chenga8e29892007-01-19 07:51:42 +0000829 O << "{";
Evan Chengd20d6582009-10-01 01:33:39 +0000830 // Always skip the first operand, it's the optional (and implicit writeback).
831 for (unsigned i = OpNum+1, e = MI->getNumOperands(); i != e; ++i) {
Evan Cheng4b322e52009-08-11 21:11:32 +0000832 if (MI->getOperand(i).isImplicit())
833 continue;
Evan Chengd20d6582009-10-01 01:33:39 +0000834 if ((int)i != OpNum+1) O << ", ";
Evan Chenga8e29892007-01-19 07:51:42 +0000835 printOperand(MI, i);
Evan Chenga8e29892007-01-19 07:51:42 +0000836 }
837 O << "}";
838}
839
Evan Cheng055b0312009-06-29 07:51:04 +0000840void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000841 const char *Modifier) {
842 assert(Modifier && "This operand only works with a modifier!");
843 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
844 // data itself.
845 if (!strcmp(Modifier, "label")) {
Evan Cheng055b0312009-06-29 07:51:04 +0000846 unsigned ID = MI->getOperand(OpNum).getImm();
Chris Lattner33adcfb2009-08-22 21:43:10 +0000847 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Evan Cheng347d39f2007-10-14 05:57:21 +0000848 << '_' << ID << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000849 } else {
850 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
Evan Cheng055b0312009-06-29 07:51:04 +0000851 unsigned CPI = MI->getOperand(OpNum).getIndex();
Evan Chenga8e29892007-01-19 07:51:42 +0000852
Evan Cheng6d63a722008-09-18 07:27:23 +0000853 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI];
Jim Grosbache9952212009-09-04 01:38:51 +0000854
Evan Cheng711b6dc2008-08-08 06:56:16 +0000855 if (MCPE.isMachineConstantPoolEntry()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000856 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
Evan Cheng711b6dc2008-08-08 06:56:16 +0000857 } else {
Evan Chenga8e29892007-01-19 07:51:42 +0000858 EmitGlobalConstant(MCPE.Val.ConstVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000859 }
Evan Chenga8e29892007-01-19 07:51:42 +0000860 }
861}
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 Lattner8aa797a2007-12-30 23:10:15 +0000868 unsigned JTI = MO1.getIndex();
Chris Lattner33adcfb2009-08-22 21:43:10 +0000869 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000870 << '_' << JTI << '_' << MO2.getImm() << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000871
Chris Lattner33adcfb2009-08-22 21:43:10 +0000872 const char *JTEntryDirective = MAI->getData32bitsDirective();
Evan Chenga8e29892007-01-19 07:51:42 +0000873
874 const MachineFunction *MF = MI->getParent()->getParent();
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 Lattner33adcfb2009-08-22 21:43:10 +0000878 bool UseSet= MAI->getSetDirective() && 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
884 if (UseSet && isNew)
885 printPICJumpTableSetLabel(JTI, MO2.getImm(), MBB);
Evan Chenga8e29892007-01-19 07:51:42 +0000886
887 O << JTEntryDirective << ' ';
888 if (UseSet)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000889 O << MAI->getPrivateGlobalPrefix() << getFunctionNumber()
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000890 << '_' << JTI << '_' << MO2.getImm()
Evan Cheng347d39f2007-10-14 05:57:21 +0000891 << "_set_" << MBB->getNumber();
Evan Chenga8e29892007-01-19 07:51:42 +0000892 else if (TM.getRelocationModel() == Reloc::PIC_) {
Chris Lattner325d3dc2009-09-13 17:14:04 +0000893 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Chris Lattner33adcfb2009-08-22 21:43:10 +0000894 O << '-' << MAI->getPrivateGlobalPrefix() << "JTI"
Chris Lattnerdfab2912009-08-11 20:30:58 +0000895 << getFunctionNumber() << '_' << JTI << '_' << MO2.getImm();
Evan Chengc324ecb2009-07-24 18:19:46 +0000896 } else {
Chris Lattner325d3dc2009-09-13 17:14:04 +0000897 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Evan Chengc324ecb2009-07-24 18:19:46 +0000898 }
Evan Chengd85ac4d2007-01-27 02:29:45 +0000899 if (i != e-1)
900 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +0000901 }
902}
903
Evan Cheng66ac5312009-07-25 00:33:29 +0000904void ARMAsmPrinter::printJT2BlockOperand(const MachineInstr *MI, int OpNum) {
905 const MachineOperand &MO1 = MI->getOperand(OpNum);
906 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
907 unsigned JTI = MO1.getIndex();
Chris Lattner33adcfb2009-08-22 21:43:10 +0000908 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Evan Cheng66ac5312009-07-25 00:33:29 +0000909 << '_' << JTI << '_' << MO2.getImm() << ":\n";
910
911 const MachineFunction *MF = MI->getParent()->getParent();
912 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
913 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
914 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Evan Cheng5657c012009-07-29 02:18:14 +0000915 bool ByteOffset = false, HalfWordOffset = false;
916 if (MI->getOpcode() == ARM::t2TBB)
917 ByteOffset = true;
918 else if (MI->getOpcode() == ARM::t2TBH)
919 HalfWordOffset = true;
920
Evan Cheng66ac5312009-07-25 00:33:29 +0000921 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
922 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng5657c012009-07-29 02:18:14 +0000923 if (ByteOffset)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000924 O << MAI->getData8bitsDirective();
Evan Cheng5657c012009-07-29 02:18:14 +0000925 else if (HalfWordOffset)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000926 O << MAI->getData16bitsDirective();
Evan Cheng5657c012009-07-29 02:18:14 +0000927 if (ByteOffset || HalfWordOffset) {
928 O << '(';
Chris Lattner325d3dc2009-09-13 17:14:04 +0000929 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Chris Lattner33adcfb2009-08-22 21:43:10 +0000930 O << "-" << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Evan Cheng5657c012009-07-29 02:18:14 +0000931 << '_' << JTI << '_' << MO2.getImm() << ")/2";
932 } else {
933 O << "\tb.w ";
Chris Lattner325d3dc2009-09-13 17:14:04 +0000934 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Evan Cheng5657c012009-07-29 02:18:14 +0000935 }
Evan Cheng66ac5312009-07-25 00:33:29 +0000936 if (i != e-1)
937 O << '\n';
938 }
Evan Chengff6ab172009-07-31 18:35:56 +0000939
940 // Make sure the instruction that follows TBB is 2-byte aligned.
941 // FIXME: Constant island pass should insert an "ALIGN" instruction instead.
942 if (ByteOffset && (JTBBs.size() & 1)) {
943 O << '\n';
944 EmitAlignment(1);
945 }
Evan Cheng66ac5312009-07-25 00:33:29 +0000946}
947
Evan Cheng5657c012009-07-29 02:18:14 +0000948void ARMAsmPrinter::printTBAddrMode(const MachineInstr *MI, int OpNum) {
Chris Lattner762ccea2009-09-13 20:31:40 +0000949 O << "[pc, " << getRegisterName(MI->getOperand(OpNum).getReg());
Evan Cheng5657c012009-07-29 02:18:14 +0000950 if (MI->getOpcode() == ARM::t2TBH)
951 O << ", lsl #1";
952 O << ']';
953}
954
Bob Wilson4f38b382009-08-21 21:58:55 +0000955void ARMAsmPrinter::printNoHashImmediate(const MachineInstr *MI, int OpNum) {
Anton Korobeynikov8e9ece72009-08-08 23:10:41 +0000956 O << MI->getOperand(OpNum).getImm();
957}
Evan Chenga8e29892007-01-19 07:51:42 +0000958
Evan Cheng055b0312009-06-29 07:51:04 +0000959bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Evan Chenga8e29892007-01-19 07:51:42 +0000960 unsigned AsmVariant, const char *ExtraCode){
961 // Does this asm operand have a single letter operand modifier?
962 if (ExtraCode && ExtraCode[0]) {
963 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikov8e9ece72009-08-08 23:10:41 +0000964
Evan Chenga8e29892007-01-19 07:51:42 +0000965 switch (ExtraCode[0]) {
966 default: return true; // Unknown modifier.
Bob Wilson9b4b00a2009-07-09 23:54:51 +0000967 case 'a': // Print as a memory address.
968 if (MI->getOperand(OpNum).isReg()) {
Chris Lattner762ccea2009-09-13 20:31:40 +0000969 O << "[" << getRegisterName(MI->getOperand(OpNum).getReg()) << "]";
Bob Wilson9b4b00a2009-07-09 23:54:51 +0000970 return false;
971 }
972 // Fallthrough
973 case 'c': // Don't print "#" before an immediate operand.
Bob Wilson4f38b382009-08-21 21:58:55 +0000974 if (!MI->getOperand(OpNum).isImm())
975 return true;
976 printNoHashImmediate(MI, OpNum);
Bob Wilson8f343462009-04-06 21:46:51 +0000977 return false;
Evan Chenge21e3962007-04-04 00:13:29 +0000978 case 'P': // Print a VFP double precision register.
Evan Cheng055b0312009-06-29 07:51:04 +0000979 printOperand(MI, OpNum);
Evan Cheng23a95702007-03-08 22:42:46 +0000980 return false;
Evan Chenga8e29892007-01-19 07:51:42 +0000981 case 'Q':
982 if (TM.getTargetData()->isLittleEndian())
983 break;
984 // Fallthrough
985 case 'R':
986 if (TM.getTargetData()->isBigEndian())
987 break;
988 // Fallthrough
Jim Grosbache9952212009-09-04 01:38:51 +0000989 case 'H': // Write second word of DI / DF reference.
Evan Chenga8e29892007-01-19 07:51:42 +0000990 // Verify that this operand has two consecutive registers.
Evan Cheng055b0312009-06-29 07:51:04 +0000991 if (!MI->getOperand(OpNum).isReg() ||
992 OpNum+1 == MI->getNumOperands() ||
993 !MI->getOperand(OpNum+1).isReg())
Evan Chenga8e29892007-01-19 07:51:42 +0000994 return true;
Evan Cheng055b0312009-06-29 07:51:04 +0000995 ++OpNum; // Return the high-part.
Evan Chenga8e29892007-01-19 07:51:42 +0000996 }
997 }
Jim Grosbache9952212009-09-04 01:38:51 +0000998
Evan Cheng055b0312009-06-29 07:51:04 +0000999 printOperand(MI, OpNum);
Evan Chenga8e29892007-01-19 07:51:42 +00001000 return false;
1001}
1002
Bob Wilson224c2442009-05-19 05:53:42 +00001003bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Cheng055b0312009-06-29 07:51:04 +00001004 unsigned OpNum, unsigned AsmVariant,
Bob Wilson224c2442009-05-19 05:53:42 +00001005 const char *ExtraCode) {
1006 if (ExtraCode && ExtraCode[0])
1007 return true; // Unknown modifier.
Bob Wilson765cc0b2009-10-13 20:50:28 +00001008
1009 const MachineOperand &MO = MI->getOperand(OpNum);
1010 assert(MO.isReg() && "unexpected inline asm memory operand");
1011 O << "[" << getRegisterName(MO.getReg()) << "]";
Bob Wilson224c2442009-05-19 05:53:42 +00001012 return false;
1013}
1014
Evan Chenga8e29892007-01-19 07:51:42 +00001015void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
1016 ++EmittedInsts;
1017
Evan Chengc60e76d2007-01-30 20:37:08 +00001018 int Opc = MI->getOpcode();
Chris Lattnera10343f2009-10-19 18:08:02 +00001019 if (Opc == ARM::CONSTPOOL_ENTRY)
1020 EmitAlignment(2);
Evan Chenga8e29892007-01-19 07:51:42 +00001021
1022 // Call the autogenerated instruction printer routines.
Devang Patelaf0e2722009-10-06 02:19:11 +00001023 processDebugLoc(MI, true);
Evan Chenga8e29892007-01-19 07:51:42 +00001024 printInstruction(MI);
Chris Lattnerc5ea2632009-09-09 23:14:36 +00001025 if (VerboseAsm && !MI->getDebugLoc().isUnknown())
1026 EmitComments(*MI);
1027 O << '\n';
Devang Patelaf0e2722009-10-06 02:19:11 +00001028 processDebugLoc(MI, false);
Evan Chenga8e29892007-01-19 07:51:42 +00001029}
1030
Bob Wilson812209a2009-09-30 22:06:26 +00001031void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Bob Wilson0fb34682009-09-30 00:23:42 +00001032 if (Subtarget->isTargetDarwin()) {
1033 Reloc::Model RelocM = TM.getRelocationModel();
1034 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
1035 // Declare all the text sections up front (before the DWARF sections
1036 // emitted by AsmPrinter::doInitialization) so the assembler will keep
1037 // them together at the beginning of the object file. This helps
1038 // avoid out-of-range branches that are due a fundamental limitation of
1039 // the way symbol offsets are encoded with the current Darwin ARM
1040 // relocations.
Bob Wilson29e06692009-09-30 22:25:37 +00001041 TargetLoweringObjectFileMachO &TLOFMacho =
1042 static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
1043 OutStreamer.SwitchSection(TLOFMacho.getTextSection());
1044 OutStreamer.SwitchSection(TLOFMacho.getTextCoalSection());
1045 OutStreamer.SwitchSection(TLOFMacho.getConstTextCoalSection());
1046 if (RelocM == Reloc::DynamicNoPIC) {
1047 const MCSection *sect =
1048 TLOFMacho.getMachOSection("__TEXT", "__symbol_stub4",
1049 MCSectionMachO::S_SYMBOL_STUBS,
1050 12, SectionKind::getText());
1051 OutStreamer.SwitchSection(sect);
1052 } else {
1053 const MCSection *sect =
1054 TLOFMacho.getMachOSection("__TEXT", "__picsymbolstub4",
1055 MCSectionMachO::S_SYMBOL_STUBS,
1056 16, SectionKind::getText());
1057 OutStreamer.SwitchSection(sect);
1058 }
Bob Wilson0fb34682009-09-30 00:23:42 +00001059 }
1060 }
1061
Evan Cheng446c4282009-07-11 06:43:01 +00001062 // Use unified assembler syntax mode for Thumb.
1063 if (Subtarget->isThumb())
Anton Korobeynikovd61eca52009-06-17 23:43:18 +00001064 O << "\t.syntax unified\n";
1065
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001066 // Emit ARM Build Attributes
1067 if (Subtarget->isTargetELF()) {
1068 // CPU Type
Anton Korobeynikovd260c242009-06-01 19:03:17 +00001069 std::string CPUString = Subtarget->getCPUString();
1070 if (CPUString != "generic")
1071 O << "\t.cpu " << CPUString << '\n';
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001072
1073 // FIXME: Emit FPU type
1074 if (Subtarget->hasVFP2())
1075 O << "\t.eabi_attribute " << ARMBuildAttrs::VFP_arch << ", 2\n";
1076
1077 // Signal various FP modes.
1078 if (!UnsafeFPMath)
1079 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_denormal << ", 1\n"
1080 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_exceptions << ", 1\n";
1081
1082 if (FiniteOnlyFPMath())
1083 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 1\n";
1084 else
1085 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 3\n";
1086
1087 // 8-bytes alignment stuff.
1088 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_needed << ", 1\n"
1089 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_preserved << ", 1\n";
1090
Anton Korobeynikov567d14f2009-08-05 19:04:42 +00001091 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
1092 if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard)
1093 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_HardFP_use << ", 3\n"
1094 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_VFP_args << ", 1\n";
1095
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001096 // FIXME: Should we signal R9 usage?
1097 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001098}
1099
Chris Lattner40bbebd2009-07-21 18:38:57 +00001100void ARMAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) {
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001101 const TargetData *TD = TM.getTargetData();
1102
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001103 if (!GVar->hasInitializer()) // External global require no code
1104 return;
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001105
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001106 // Check to see if this is a special global used by LLVM, if so, emit it.
1107
1108 if (EmitSpecialLLVMGlobal(GVar)) {
1109 if (Subtarget->isTargetDarwin() &&
1110 TM.getRelocationModel() == Reloc::Static) {
Daniel Dunbar03d76512009-07-25 23:55:21 +00001111 if (GVar->getName() == "llvm.global_ctors")
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001112 O << ".reference .constructors_used\n";
Daniel Dunbar03d76512009-07-25 23:55:21 +00001113 else if (GVar->getName() == "llvm.global_dtors")
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001114 O << ".reference .destructors_used\n";
1115 }
1116 return;
1117 }
1118
Chris Lattnerb8158ac2009-07-14 18:17:16 +00001119 std::string name = Mang->getMangledName(GVar);
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001120 Constant *C = GVar->getInitializer();
1121 const Type *Type = C->getType();
Duncan Sands777d2302009-05-09 07:06:46 +00001122 unsigned Size = TD->getTypeAllocSize(Type);
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001123 unsigned Align = TD->getPreferredAlignmentLog(GVar);
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001124 bool isDarwin = Subtarget->isTargetDarwin();
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001125
Anton Korobeynikovf5b6a472008-08-08 18:25:07 +00001126 printVisibility(name, GVar->getVisibility());
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001127
1128 if (Subtarget->isTargetELF())
1129 O << "\t.type " << name << ",%object\n";
Jim Grosbache9952212009-09-04 01:38:51 +00001130
Chris Lattnera87dea42009-07-31 18:48:30 +00001131 const MCSection *TheSection =
Chris Lattnere53a6002009-07-29 05:09:30 +00001132 getObjFileLowering().SectionForGlobal(GVar, Mang, TM);
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001133 OutStreamer.SwitchSection(TheSection);
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001134
Chris Lattner5fe575f2009-07-27 05:32:16 +00001135 // FIXME: get this stuff from section kind flags.
Evan Chengcaa0c2c2009-02-18 02:19:52 +00001136 if (C->isNullValue() && !GVar->hasSection() && !GVar->isThreadLocal() &&
Chris Lattnerc440cc72009-07-24 04:08:17 +00001137 // Don't put things that should go in the cstring section into "comm".
Chris Lattner5fe575f2009-07-27 05:32:16 +00001138 !TheSection->getKind().isMergeableCString()) {
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001139 if (GVar->hasExternalLinkage()) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001140 if (const char *Directive = MAI->getZeroFillDirective()) {
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001141 O << "\t.globl\t" << name << "\n";
1142 O << Directive << "__DATA, __common, " << name << ", "
1143 << Size << ", " << Align << "\n";
1144 return;
Evan Chengb267ca12007-01-30 08:04:53 +00001145 }
Evan Chengb267ca12007-01-30 08:04:53 +00001146 }
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001147
Duncan Sands667d4b82009-03-07 15:45:40 +00001148 if (GVar->hasLocalLinkage() || GVar->isWeakForLinker()) {
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001149 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001150
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001151 if (isDarwin) {
Rafael Espindolabb46f522009-01-15 20:18:42 +00001152 if (GVar->hasLocalLinkage()) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001153 O << MAI->getLCOMMDirective() << name << "," << Size
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001154 << ',' << Align;
1155 } else if (GVar->hasCommonLinkage()) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001156 O << MAI->getCOMMDirective() << name << "," << Size
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001157 << ',' << Align;
1158 } else {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001159 OutStreamer.SwitchSection(TheSection);
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001160 O << "\t.globl " << name << '\n'
Chris Lattner33adcfb2009-08-22 21:43:10 +00001161 << MAI->getWeakDefDirective() << name << '\n';
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001162 EmitAlignment(Align, GVar);
Evan Chengf1c0ae92009-03-24 00:17:40 +00001163 O << name << ":";
1164 if (VerboseAsm) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001165 O << "\t\t\t\t" << MAI->getCommentString() << ' ';
Dan Gohmancf20ac42009-08-13 01:36:44 +00001166 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Evan Chengf1c0ae92009-03-24 00:17:40 +00001167 }
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001168 O << '\n';
1169 EmitGlobalConstant(C);
1170 return;
1171 }
Chris Lattner33adcfb2009-08-22 21:43:10 +00001172 } else if (MAI->getLCOMMDirective() != NULL) {
Rafael Espindolabb46f522009-01-15 20:18:42 +00001173 if (GVar->hasLocalLinkage()) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001174 O << MAI->getLCOMMDirective() << name << "," << Size;
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001175 } else {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001176 O << MAI->getCOMMDirective() << name << "," << Size;
1177 if (MAI->getCOMMDirectiveTakesAlignment())
1178 O << ',' << (MAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001179 }
Evan Cheng5be54b02007-01-19 19:25:36 +00001180 } else {
Rafael Espindolabb46f522009-01-15 20:18:42 +00001181 if (GVar->hasLocalLinkage())
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001182 O << "\t.local\t" << name << "\n";
Chris Lattner33adcfb2009-08-22 21:43:10 +00001183 O << MAI->getCOMMDirective() << name << "," << Size;
1184 if (MAI->getCOMMDirectiveTakesAlignment())
1185 O << "," << (MAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Evan Cheng5be54b02007-01-19 19:25:36 +00001186 }
Evan Chengf1c0ae92009-03-24 00:17:40 +00001187 if (VerboseAsm) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001188 O << "\t\t" << MAI->getCommentString() << " ";
Dan Gohmancf20ac42009-08-13 01:36:44 +00001189 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Evan Chengf1c0ae92009-03-24 00:17:40 +00001190 }
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001191 O << "\n";
1192 return;
Evan Cheng5be54b02007-01-19 19:25:36 +00001193 }
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001194 }
Jim Grosbache9952212009-09-04 01:38:51 +00001195
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001196 switch (GVar->getLinkage()) {
Chris Lattnerfb3431a2009-07-24 03:49:17 +00001197 case GlobalValue::CommonLinkage:
1198 case GlobalValue::LinkOnceAnyLinkage:
1199 case GlobalValue::LinkOnceODRLinkage:
1200 case GlobalValue::WeakAnyLinkage:
1201 case GlobalValue::WeakODRLinkage:
Dale Johannesena60e51f2009-08-24 01:03:42 +00001202 case GlobalValue::LinkerPrivateLinkage:
Evan Chengc3ccc1a2008-12-06 02:00:55 +00001203 if (isDarwin) {
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001204 O << "\t.globl " << name << "\n"
1205 << "\t.weak_definition " << name << "\n";
1206 } else {
1207 O << "\t.weak " << name << "\n";
1208 }
1209 break;
Chris Lattnerfb3431a2009-07-24 03:49:17 +00001210 case GlobalValue::AppendingLinkage:
1211 // FIXME: appending linkage variables should go into a section of
1212 // their name or something. For now, just emit them as external.
1213 case GlobalValue::ExternalLinkage:
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001214 O << "\t.globl " << name << "\n";
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001215 break;
Chris Lattnerfb3431a2009-07-24 03:49:17 +00001216 case GlobalValue::PrivateLinkage:
Chris Lattnerfb3431a2009-07-24 03:49:17 +00001217 case GlobalValue::InternalLinkage:
1218 break;
1219 default:
Torok Edwinc23197a2009-07-14 16:55:14 +00001220 llvm_unreachable("Unknown linkage type!");
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001221 }
1222
1223 EmitAlignment(Align, GVar);
Evan Chengf1c0ae92009-03-24 00:17:40 +00001224 O << name << ":";
1225 if (VerboseAsm) {
Chris Lattner33adcfb2009-08-22 21:43:10 +00001226 O << "\t\t\t\t" << MAI->getCommentString() << " ";
Dan Gohmancf20ac42009-08-13 01:36:44 +00001227 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Evan Chengf1c0ae92009-03-24 00:17:40 +00001228 }
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001229 O << "\n";
Chris Lattner33adcfb2009-08-22 21:43:10 +00001230 if (MAI->hasDotTypeDotSizeDirective())
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001231 O << "\t.size " << name << ", " << Size << "\n";
1232
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001233 EmitGlobalConstant(C);
1234 O << '\n';
1235}
1236
1237
Chris Lattner4a071d62009-10-19 17:59:19 +00001238void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Evan Cheng5be54b02007-01-19 19:25:36 +00001239 if (Subtarget->isTargetDarwin()) {
Chris Lattnerf61159b2009-08-03 22:18:15 +00001240 // All darwin targets use mach-o.
Jim Grosbache9952212009-09-04 01:38:51 +00001241 TargetLoweringObjectFileMachO &TLOFMacho =
Chris Lattnerf61159b2009-08-03 22:18:15 +00001242 static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
Jim Grosbache9952212009-09-04 01:38:51 +00001243
Chris Lattner4fb63d02009-07-15 04:12:33 +00001244 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +00001245
Evan Chenga8e29892007-01-19 07:51:42 +00001246 // Output non-lazy-pointers for external and common global variables.
Evan Chengae94e592008-12-05 01:06:39 +00001247 if (!GVNonLazyPtrs.empty()) {
Chris Lattnerff4bc462009-08-10 01:39:42 +00001248 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001249 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattnerc076a972009-08-10 18:01:34 +00001250 EmitAlignment(2);
Chris Lattnerf61159b2009-08-03 22:18:15 +00001251 for (StringMap<std::string>::iterator I = GVNonLazyPtrs.begin(),
1252 E = GVNonLazyPtrs.end(); I != E; ++I) {
Chris Lattner0a238542009-07-15 03:12:43 +00001253 O << I->second << ":\n";
1254 O << "\t.indirect_symbol " << I->getKeyData() << "\n";
Evan Chengae94e592008-12-05 01:06:39 +00001255 O << "\t.long\t0\n";
1256 }
Evan Chenga8e29892007-01-19 07:51:42 +00001257 }
1258
Evan Chengae94e592008-12-05 01:06:39 +00001259 if (!HiddenGVNonLazyPtrs.empty()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001260 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
Chris Lattnerf3231de2009-08-10 18:02:16 +00001261 EmitAlignment(2);
Chris Lattner0a238542009-07-15 03:12:43 +00001262 for (StringMap<std::string>::iterator I = HiddenGVNonLazyPtrs.begin(),
1263 E = HiddenGVNonLazyPtrs.end(); I != E; ++I) {
Chris Lattner0a238542009-07-15 03:12:43 +00001264 O << I->second << ":\n";
1265 O << "\t.long " << I->getKeyData() << "\n";
Evan Chengae94e592008-12-05 01:06:39 +00001266 }
1267 }
1268
Evan Chenga8e29892007-01-19 07:51:42 +00001269 // Funny Darwin hack: This flag tells the linker that no global symbols
1270 // contain code that falls through to other global symbols (e.g. the obvious
1271 // implementation of multiple entry points). If this doesn't occur, the
1272 // linker can safely perform dead code stripping. Since LLVM never
1273 // generates code that does this, it is always safe to set.
Chris Lattner74cd3b72009-10-19 18:03:08 +00001274 OutStreamer.EmitAssemblerFlag(MCStreamer::SubsectionsViaSymbols);
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001275 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001276}
Anton Korobeynikov0bd89712008-08-17 13:55:10 +00001277
Bob Wilsona96751f2009-06-23 23:59:40 +00001278// Force static initialization.
Jim Grosbache9952212009-09-04 01:38:51 +00001279extern "C" void LLVMInitializeARMAsmPrinter() {
Daniel Dunbar0c795d62009-07-25 06:49:55 +00001280 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1281 RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
Daniel Dunbar51b198a2009-07-15 20:24:03 +00001282}