blob: c34dacab4b639ab3eb63d3ed0c2168571d70fd47 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001// The LLVM Compiler Infrastructure
2//
Chris Lattner081ce942007-12-29 20:36:04 +00003// This file is distributed under the University of Illinois Open Source
Dan Gohmanf17a25c2007-07-18 16:29:46 +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
13#define DEBUG_TYPE "asm-printer"
14#include "ARM.h"
Anton Korobeynikova229f0b2009-05-23 19:51:20 +000015#include "ARMBuildAttrs.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000016#include "ARMTargetMachine.h"
17#include "ARMAddressingModes.h"
18#include "ARMConstantPoolValue.h"
19#include "ARMMachineFunctionInfo.h"
20#include "llvm/Constants.h"
21#include "llvm/Module.h"
Dan Gohman2aa282f2009-08-13 01:36:44 +000022#include "llvm/Assembly/Writer.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000023#include "llvm/CodeGen/AsmPrinter.h"
24#include "llvm/CodeGen/DwarfWriter.h"
25#include "llvm/CodeGen/MachineModuleInfo.h"
26#include "llvm/CodeGen/MachineFunctionPass.h"
27#include "llvm/CodeGen/MachineJumpTableInfo.h"
Chris Lattner7f1ac7f2009-08-10 18:15:01 +000028#include "llvm/MC/MCSectionMachO.h"
Chris Lattner73266f92009-08-19 05:49:37 +000029#include "llvm/MC/MCStreamer.h"
Chris Lattner621c44d2009-08-22 20:48:53 +000030#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerc6f802d2009-09-13 17:14:04 +000031#include "llvm/MC/MCSymbol.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000032#include "llvm/Target/TargetData.h"
Chris Lattnerc4c40a92009-07-28 03:13:23 +000033#include "llvm/Target/TargetLoweringObjectFile.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000034#include "llvm/Target/TargetMachine.h"
35#include "llvm/Target/TargetOptions.h"
Daniel Dunbarfe5939f2009-07-15 20:24:03 +000036#include "llvm/Target/TargetRegistry.h"
Evan Chengb437c252009-07-24 18:19:46 +000037#include "llvm/ADT/SmallPtrSet.h"
Jim Grosbach1e587802009-09-01 18:49:12 +000038#include "llvm/ADT/SmallString.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000039#include "llvm/ADT/Statistic.h"
Evan Chenga65854f2008-12-05 01:06:39 +000040#include "llvm/ADT/StringSet.h"
Edwin Török26cb0252009-07-08 20:55:50 +000041#include "llvm/Support/ErrorHandling.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000042#include "llvm/Support/Mangler.h"
43#include "llvm/Support/MathExtras.h"
David Greene302008d2009-07-14 20:18:05 +000044#include "llvm/Support/FormattedStream.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000045#include <cctype>
46using namespace llvm;
47
48STATISTIC(EmittedInsts, "Number of machine instrs printed");
49
50namespace {
Chris Lattnerb8db7822009-10-19 17:59:19 +000051 class ARMAsmPrinter : public AsmPrinter {
Dan Gohmanf17a25c2007-07-18 16:29:46 +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 Chenge6c61622008-09-18 07:27:23 +000058 /// MachineFunction.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000059 ARMFunctionInfo *AFI;
60
Evan Chenge6c61622008-09-18 07:27:23 +000061 /// MCP - Keep a pointer to constantpool entries of the current
62 /// MachineFunction.
63 const MachineConstantPool *MCP;
64
Dan Gohmanf17a25c2007-07-18 16:29:46 +000065 /// We name each basic block in a Function with a unique number, so
66 /// that we can consistently refer to them later. This is cleared
67 /// at the beginning of each call to runOnMachineFunction().
68 ///
69 typedef std::map<const Value *, unsigned> ValueMapTy;
70 ValueMapTy NumberForBB;
71
Evan Chengf1012ce2008-08-08 06:56:16 +000072 /// GVNonLazyPtrs - Keeps the set of GlobalValues that require
73 /// non-lazy-pointers for indirect access.
Chris Lattner8735bec2009-07-15 03:12:43 +000074 StringMap<std::string> GVNonLazyPtrs;
Evan Chenga65854f2008-12-05 01:06:39 +000075
76 /// HiddenGVNonLazyPtrs - Keeps the set of GlobalValues with hidden
77 /// visibility that require non-lazy-pointers for indirect access.
Chris Lattner8735bec2009-07-15 03:12:43 +000078 StringMap<std::string> HiddenGVNonLazyPtrs;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000079
Bill Wendling4f405312009-02-24 08:30:20 +000080 public:
David Greene302008d2009-07-14 20:18:05 +000081 explicit ARMAsmPrinter(formatted_raw_ostream &O, TargetMachine &TM,
Chris Lattner621c44d2009-08-22 20:48:53 +000082 const MCAsmInfo *T, bool V)
Chris Lattner882baf52009-10-19 18:08:02 +000083 : AsmPrinter(O, TM, T, V), AFI(NULL), MCP(NULL) {
Bill Wendling4f405312009-02-24 08:30:20 +000084 Subtarget = &TM.getSubtarget<ARMSubtarget>();
85 }
86
Dan Gohmanf17a25c2007-07-18 16:29:46 +000087 virtual const char *getPassName() const {
88 return "ARM Assembly Printer";
89 }
90
Evan Cheng532cdc52009-06-29 07:51:04 +000091 void printOperand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +000092 const char *Modifier = 0);
Evan Cheng532cdc52009-06-29 07:51:04 +000093 void printSOImmOperand(const MachineInstr *MI, int OpNum);
94 void printSOImm2PartOperand(const MachineInstr *MI, int OpNum);
95 void printSORegOperand(const MachineInstr *MI, int OpNum);
96 void printAddrMode2Operand(const MachineInstr *MI, int OpNum);
97 void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNum);
98 void printAddrMode3Operand(const MachineInstr *MI, int OpNum);
99 void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNum);
100 void printAddrMode4Operand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000101 const char *Modifier = 0);
Evan Cheng532cdc52009-06-29 07:51:04 +0000102 void printAddrMode5Operand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000103 const char *Modifier = 0);
Bob Wilson970a10d2009-07-01 23:16:05 +0000104 void printAddrMode6Operand(const MachineInstr *MI, int OpNum);
Evan Cheng532cdc52009-06-29 07:51:04 +0000105 void printAddrModePCOperand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000106 const char *Modifier = 0);
Evan Cheng532cdc52009-06-29 07:51:04 +0000107 void printBitfieldInvMaskImmOperand (const MachineInstr *MI, int OpNum);
Evan Cheng19bb7c72009-06-27 02:26:13 +0000108
Evan Chengb8d07432009-07-09 23:43:36 +0000109 void printThumbITMask(const MachineInstr *MI, int OpNum);
Evan Cheng532cdc52009-06-29 07:51:04 +0000110 void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNum);
111 void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000112 unsigned Scale);
Evan Cheng532cdc52009-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 Cheng19bb7c72009-06-27 02:26:13 +0000117
Evan Cheng19bb7c72009-06-27 02:26:13 +0000118 void printT2SOOperand(const MachineInstr *MI, int OpNum);
Evan Cheng532cdc52009-06-29 07:51:04 +0000119 void printT2AddrModeImm12Operand(const MachineInstr *MI, int OpNum);
120 void printT2AddrModeImm8Operand(const MachineInstr *MI, int OpNum);
Evan Cheng6bc67202009-07-09 22:21:59 +0000121 void printT2AddrModeImm8s4Operand(const MachineInstr *MI, int OpNum);
Evan Chenga90942e2009-07-02 07:28:31 +0000122 void printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, int OpNum);
Evan Cheng532cdc52009-06-29 07:51:04 +0000123 void printT2AddrModeSoRegOperand(const MachineInstr *MI, int OpNum);
Evan Cheng19bb7c72009-06-27 02:26:13 +0000124
Evan Cheng532cdc52009-06-29 07:51:04 +0000125 void printPredicateOperand(const MachineInstr *MI, int OpNum);
126 void printSBitModifierOperand(const MachineInstr *MI, int OpNum);
127 void printPCLabel(const MachineInstr *MI, int OpNum);
128 void printRegisterList(const MachineInstr *MI, int OpNum);
129 void printCPInstOperand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000130 const char *Modifier);
Evan Cheng532cdc52009-06-29 07:51:04 +0000131 void printJTBlockOperand(const MachineInstr *MI, int OpNum);
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000132 void printJT2BlockOperand(const MachineInstr *MI, int OpNum);
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000133 void printTBAddrMode(const MachineInstr *MI, int OpNum);
Bob Wilson30ff4492009-08-21 21:58:55 +0000134 void printNoHashImmediate(const MachineInstr *MI, int OpNum);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000135
Evan Cheng532cdc52009-06-29 07:51:04 +0000136 virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000137 unsigned AsmVariant, const char *ExtraCode);
Evan Cheng532cdc52009-06-29 07:51:04 +0000138 virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
Bob Wilson6c982bb2009-05-19 05:53:42 +0000139 unsigned AsmVariant,
140 const char *ExtraCode);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000141
Chris Lattnerae982212009-07-21 18:38:57 +0000142 void PrintGlobalVariable(const GlobalVariable* GVar);
Chris Lattnerddb259a2009-08-08 01:32:19 +0000143 void printInstruction(const MachineInstr *MI); // autogenerated.
Chris Lattner213703c2009-09-13 20:19:22 +0000144 static const char *getRegisterName(unsigned RegNo);
Chris Lattner92221692009-09-13 20:08:00 +0000145
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000146 void printMachineInstruction(const MachineInstr *MI);
147 bool runOnMachineFunction(MachineFunction &F);
Bob Wilsonb5f835e2009-09-30 22:06:26 +0000148 void EmitStartOfAsmFile(Module &M);
Chris Lattnerb8db7822009-10-19 17:59:19 +0000149 void EmitEndOfAsmFile(Module &M);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000150
Evan Chengf1012ce2008-08-08 06:56:16 +0000151 /// EmitMachineConstantPoolValue - Print a machine constantpool value to
152 /// the .s file.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000153 virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
154 printDataDirective(MCPV->getType());
155
Evan Chengf1012ce2008-08-08 06:56:16 +0000156 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000157 GlobalValue *GV = ACPV->getGV();
Chris Lattnerb3cdde62009-07-14 18:17:16 +0000158 std::string Name;
Jim Grosbach5e0257f2009-09-01 01:57:56 +0000159
160 if (ACPV->isLSDA()) {
Jim Grosbachd5496d92009-09-01 18:55:08 +0000161 SmallString<16> LSDAName;
Jim Grosbach1e587802009-09-01 18:49:12 +0000162 raw_svector_ostream(LSDAName) << MAI->getPrivateGlobalPrefix() <<
163 "_LSDA_" << getFunctionNumber();
164 Name = LSDAName.str();
Jim Grosbach5e0257f2009-09-01 01:57:56 +0000165 } else if (GV) {
Evan Chengc2999142009-08-28 23:18:09 +0000166 bool isIndirect = Subtarget->isTargetDarwin() &&
Evan Chengba2cf3d2009-09-03 07:04:02 +0000167 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
Evan Chengc2999142009-08-28 23:18:09 +0000168 if (!isIndirect)
Chris Lattner8735bec2009-07-15 03:12:43 +0000169 Name = Mang->getMangledName(GV);
Evan Chengc2999142009-08-28 23:18:09 +0000170 else {
171 // FIXME: Remove this when Darwin transition to @GOT like syntax.
172 std::string SymName = Mang->getMangledName(GV);
173 Name = Mang->getMangledName(GV, "$non_lazy_ptr", true);
174 if (GV->hasHiddenVisibility())
175 HiddenGVNonLazyPtrs[SymName] = Name;
176 else
177 GVNonLazyPtrs[SymName] = Name;
178 }
Jim Grosbach5e0257f2009-09-01 01:57:56 +0000179 } else
Evan Chengc2999142009-08-28 23:18:09 +0000180 Name = Mang->makeNameProper(ACPV->getSymbol());
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000181 O << Name;
182
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000183 if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
184 if (ACPV->getPCAdjustment() != 0) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000185 O << "-(" << MAI->getPrivateGlobalPrefix() << "PC"
Daniel Dunbarbfea4852009-07-30 04:20:37 +0000186 << ACPV->getLabelId()
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000187 << "+" << (unsigned)ACPV->getPCAdjustment();
188 if (ACPV->mustAddCurrentAddress())
189 O << "-.";
190 O << ")";
191 }
192 O << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000193 }
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000194
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000195 void getAnalysisUsage(AnalysisUsage &AU) const {
Gordon Henriksen76e4b612007-09-30 13:39:29 +0000196 AsmPrinter::getAnalysisUsage(AU);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000197 AU.setPreservesAll();
198 AU.addRequired<MachineModuleInfo>();
Devang Patelaa1e8432009-01-08 23:40:34 +0000199 AU.addRequired<DwarfWriter>();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000200 }
201 };
202} // end of anonymous namespace
203
204#include "ARMGenAsmWriter.inc"
205
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000206/// runOnMachineFunction - This uses the printInstruction()
207/// method to print assembly for each instruction.
208///
209bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Bill Wendling4f405312009-02-24 08:30:20 +0000210 this->MF = &MF;
211
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000212 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Chenge6c61622008-09-18 07:27:23 +0000213 MCP = MF.getConstantPool();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000214
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000215 SetupMachineFunction(MF);
216 O << "\n";
217
218 // NOTE: we don't print out constant pools here, they are handled as
219 // instructions.
220
Chris Lattnerc3f5a2b2009-08-03 22:32:50 +0000221 O << '\n';
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000222
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000223 // Print out labels for the function.
224 const Function *F = MF.getFunction();
Chris Lattner73266f92009-08-19 05:49:37 +0000225 OutStreamer.SwitchSection(getObjFileLowering().SectionForGlobal(F, Mang, TM));
Chris Lattnerc3f5a2b2009-08-03 22:32:50 +0000226
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000227 switch (F->getLinkage()) {
Edwin Törökbd448e32009-07-14 16:55:14 +0000228 default: llvm_unreachable("Unknown linkage type!");
Rafael Espindolaa168fc92009-01-15 20:18:42 +0000229 case Function::PrivateLinkage:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000230 case Function::InternalLinkage:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000231 break;
232 case Function::ExternalLinkage:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000233 O << "\t.globl\t" << CurrentFnName << "\n";
234 break;
Dale Johannesenda551282009-08-24 01:03:42 +0000235 case Function::LinkerPrivateLinkage:
Duncan Sands19d161f2009-03-07 15:45:40 +0000236 case Function::WeakAnyLinkage:
237 case Function::WeakODRLinkage:
238 case Function::LinkOnceAnyLinkage:
239 case Function::LinkOnceODRLinkage:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000240 if (Subtarget->isTargetDarwin()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000241 O << "\t.globl\t" << CurrentFnName << "\n";
242 O << "\t.weak_definition\t" << CurrentFnName << "\n";
243 } else {
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000244 O << MAI->getWeakRefDirective() << CurrentFnName << "\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000245 }
246 break;
247 }
248
Anton Korobeynikov78d69aa2008-08-08 18:25:07 +0000249 printVisibility(CurrentFnName, F->getVisibility());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000250
Evan Cheng6f2bf0b2009-10-02 06:57:25 +0000251 unsigned FnAlign = 1 << MF.getAlignment(); // MF alignment is log2.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000252 if (AFI->isThumbFunction()) {
Evan Cheng6f2bf0b2009-10-02 06:57:25 +0000253 EmitAlignment(FnAlign, F, AFI->getAlign());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000254 O << "\t.code\t16\n";
255 O << "\t.thumb_func";
256 if (Subtarget->isTargetDarwin())
257 O << "\t" << CurrentFnName;
258 O << "\n";
Bill Wendling25a8ae32009-06-30 22:38:32 +0000259 } else {
Evan Cheng6f2bf0b2009-10-02 06:57:25 +0000260 EmitAlignment(FnAlign, F);
Bill Wendling25a8ae32009-06-30 22:38:32 +0000261 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000262
263 O << CurrentFnName << ":\n";
264 // Emit pre-function debug information.
Devang Patelaa1e8432009-01-08 23:40:34 +0000265 DW->BeginFunction(&MF);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000266
Bill Wendling43a78162008-01-28 09:15:03 +0000267 if (Subtarget->isTargetDarwin()) {
268 // If the function is empty, then we need to emit *something*. Otherwise,
269 // the function's label might be associated with something that it wasn't
270 // meant to be associated with. We emit a noop in this situation.
271 MachineFunction::iterator I = MF.begin();
272
273 if (++I == MF.end() && MF.front().empty())
274 O << "\tnop\n";
275 }
276
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000277 // Print out code for the function.
278 for (MachineFunction::const_iterator I = MF.begin(), E = MF.end();
279 I != E; ++I) {
280 // Print a label for the basic block.
281 if (I != MF.begin()) {
Chris Lattner2faa4ef2009-09-13 18:25:37 +0000282 EmitBasicBlockStart(I);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000283 }
284 for (MachineBasicBlock::const_iterator II = I->begin(), E = I->end();
285 II != E; ++II) {
286 // Print the assembly for the instruction.
287 printMachineInstruction(II);
288 }
289 }
290
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000291 if (MAI->hasDotTypeDotSizeDirective())
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000292 O << "\t.size " << CurrentFnName << ", .-" << CurrentFnName << "\n";
293
294 // Emit post-function debug information.
Devang Patelaa1e8432009-01-08 23:40:34 +0000295 DW->EndFunction(&MF);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000296
297 return false;
298}
299
Evan Cheng532cdc52009-06-29 07:51:04 +0000300void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000301 const char *Modifier) {
Evan Cheng532cdc52009-06-29 07:51:04 +0000302 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000303 switch (MO.getType()) {
Bob Wilsone60fee02009-06-22 23:27:02 +0000304 case MachineOperand::MO_Register: {
305 unsigned Reg = MO.getReg();
306 if (TargetRegisterInfo::isPhysicalRegister(Reg)) {
307 if (Modifier && strcmp(Modifier, "dregpair") == 0) {
308 unsigned DRegLo = TRI->getSubReg(Reg, 5); // arm_dsubreg_0
309 unsigned DRegHi = TRI->getSubReg(Reg, 6); // arm_dsubreg_1
310 O << '{'
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000311 << getRegisterName(DRegLo) << ',' << getRegisterName(DRegHi)
Bob Wilsone60fee02009-06-22 23:27:02 +0000312 << '}';
Anton Korobeynikov9c913fb2009-08-07 22:36:50 +0000313 } else if (Modifier && strcmp(Modifier, "lane") == 0) {
314 unsigned RegNum = ARMRegisterInfo::getRegisterNumbering(Reg);
Sandeep Patelfe9c3802009-09-15 17:53:11 +0000315 unsigned DReg = TRI->getMatchingSuperReg(Reg, RegNum & 1 ? 2 : 1,
316 &ARM::DPR_VFP2RegClass);
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000317 O << getRegisterName(DReg) << '[' << (RegNum & 1) << ']';
Bob Wilsone60fee02009-06-22 23:27:02 +0000318 } else {
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000319 O << getRegisterName(Reg);
Bob Wilsone60fee02009-06-22 23:27:02 +0000320 }
321 } else
Edwin Törökbd448e32009-07-14 16:55:14 +0000322 llvm_unreachable("not implemented");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000323 break;
Bob Wilsone60fee02009-06-22 23:27:02 +0000324 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000325 case MachineOperand::MO_Immediate: {
Evan Cheng16c012d2009-09-28 09:14:39 +0000326 int64_t Imm = MO.getImm();
Anton Korobeynikov9c196ef2009-10-08 20:43:22 +0000327 O << '#';
Evan Cheng16c012d2009-09-28 09:14:39 +0000328 if (Modifier) {
329 if (strcmp(Modifier, "lo16") == 0)
Anton Korobeynikov9c196ef2009-10-08 20:43:22 +0000330 O << ":lower16:";
Evan Cheng16c012d2009-09-28 09:14:39 +0000331 else if (strcmp(Modifier, "hi16") == 0)
Anton Korobeynikov9c196ef2009-10-08 20:43:22 +0000332 O << ":upper16:";
Evan Cheng16c012d2009-09-28 09:14:39 +0000333 }
Anton Korobeynikov9c196ef2009-10-08 20:43:22 +0000334 O << Imm;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000335 break;
336 }
337 case MachineOperand::MO_MachineBasicBlock:
Chris Lattnerc6f802d2009-09-13 17:14:04 +0000338 GetMBBSymbol(MO.getMBB()->getNumber())->print(O, MAI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000339 return;
340 case MachineOperand::MO_GlobalAddress: {
341 bool isCallOp = Modifier && !strcmp(Modifier, "call");
342 GlobalValue *GV = MO.getGlobal();
Evan Chengc2999142009-08-28 23:18:09 +0000343 O << Mang->getMangledName(GV);
Anton Korobeynikov440f23d2008-11-22 16:15:34 +0000344
345 printOffset(MO.getOffset());
346
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000347 if (isCallOp && Subtarget->isTargetELF() &&
348 TM.getRelocationModel() == Reloc::PIC_)
349 O << "(PLT)";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000350 break;
351 }
352 case MachineOperand::MO_ExternalSymbol: {
353 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Evan Chengc2999142009-08-28 23:18:09 +0000354 std::string Name = Mang->makeNameProper(MO.getSymbolName());
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000355
Chris Lattner48fe5b82009-07-15 04:41:01 +0000356 O << Name;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000357 if (isCallOp && Subtarget->isTargetELF() &&
358 TM.getRelocationModel() == Reloc::PIC_)
359 O << "(PLT)";
360 break;
361 }
362 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000363 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Chris Lattner6017d482007-12-30 23:10:15 +0000364 << '_' << MO.getIndex();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000365 break;
366 case MachineOperand::MO_JumpTableIndex:
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000367 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattner6017d482007-12-30 23:10:15 +0000368 << '_' << MO.getIndex();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000369 break;
370 default:
371 O << "<unknown operand type>"; abort (); break;
372 }
373}
374
David Greene302008d2009-07-14 20:18:05 +0000375static void printSOImm(formatted_raw_ostream &O, int64_t V, bool VerboseAsm,
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000376 const MCAsmInfo *MAI) {
Evan Cheng8be2a5b2009-07-08 21:03:57 +0000377 // Break it up into two parts that make up a shifter immediate.
378 V = ARM_AM::getSOImmVal(V);
379 assert(V != -1 && "Not a valid so_imm value!");
380
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000381 unsigned Imm = ARM_AM::getSOImmValImm(V);
382 unsigned Rot = ARM_AM::getSOImmValRot(V);
Anton Korobeynikov440f23d2008-11-22 16:15:34 +0000383
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000384 // Print low-level immediate formation info, per
385 // A5.1.3: "Data-processing operands - Immediate".
386 if (Rot) {
387 O << "#" << Imm << ", " << Rot;
388 // Pretty printed version.
Evan Cheng11db8142009-03-24 00:17:40 +0000389 if (VerboseAsm)
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000390 O << ' ' << MAI->getCommentString()
Evan Cheng11db8142009-03-24 00:17:40 +0000391 << ' ' << (int)ARM_AM::rotr32(Imm, Rot);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000392 } else {
393 O << "#" << Imm;
394 }
395}
396
397/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
398/// immediate in bits 0-7.
399void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum) {
400 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000401 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000402 printSOImm(O, MO.getImm(), VerboseAsm, MAI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000403}
404
Evan Cheng7cd4acb2008-11-06 02:25:39 +0000405/// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov'
406/// followed by an 'orr' to materialize.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000407void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum) {
408 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000409 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattnera96056a2007-12-30 20:49:49 +0000410 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm());
411 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm());
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000412 printSOImm(O, V1, VerboseAsm, MAI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000413 O << "\n\torr";
414 printPredicateOperand(MI, 2);
415 O << " ";
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000416 printOperand(MI, 0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000417 O << ", ";
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000418 printOperand(MI, 0);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000419 O << ", ";
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000420 printSOImm(O, V2, VerboseAsm, MAI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000421}
422
423// so_reg is a 4-operand unit corresponding to register forms of the A5.1
424// "Addressing Mode 1 - Data-processing operands" forms. This includes:
Evan Cheng19bb7c72009-06-27 02:26:13 +0000425// REG 0 0 - e.g. R5
426// REG REG 0,SH_OPC - e.g. R5, ROR R3
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000427// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
428void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op) {
429 const MachineOperand &MO1 = MI->getOperand(Op);
430 const MachineOperand &MO2 = MI->getOperand(Op+1);
431 const MachineOperand &MO3 = MI->getOperand(Op+2);
432
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000433 O << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000434
435 // Print the shift opc.
436 O << ", "
Chris Lattnera96056a2007-12-30 20:49:49 +0000437 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000438 << " ";
439
440 if (MO2.getReg()) {
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000441 O << getRegisterName(MO2.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000442 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
443 } else {
444 O << "#" << ARM_AM::getSORegOffset(MO3.getImm());
445 }
446}
447
448void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op) {
449 const MachineOperand &MO1 = MI->getOperand(Op);
450 const MachineOperand &MO2 = MI->getOperand(Op+1);
451 const MachineOperand &MO3 = MI->getOperand(Op+2);
452
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000453 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000454 printOperand(MI, Op);
455 return;
456 }
457
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000458 O << "[" << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000459
460 if (!MO2.getReg()) {
461 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
462 O << ", #"
463 << (char)ARM_AM::getAM2Op(MO3.getImm())
464 << ARM_AM::getAM2Offset(MO3.getImm());
465 O << "]";
466 return;
467 }
468
469 O << ", "
470 << (char)ARM_AM::getAM2Op(MO3.getImm())
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000471 << getRegisterName(MO2.getReg());
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000472
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000473 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
474 O << ", "
Chris Lattnera96056a2007-12-30 20:49:49 +0000475 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000476 << " #" << ShImm;
477 O << "]";
478}
479
480void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op){
481 const MachineOperand &MO1 = MI->getOperand(Op);
482 const MachineOperand &MO2 = MI->getOperand(Op+1);
483
484 if (!MO1.getReg()) {
485 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
486 assert(ImmOffs && "Malformed indexed load / store!");
487 O << "#"
488 << (char)ARM_AM::getAM2Op(MO2.getImm())
489 << ImmOffs;
490 return;
491 }
492
493 O << (char)ARM_AM::getAM2Op(MO2.getImm())
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000494 << getRegisterName(MO1.getReg());
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000495
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000496 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
497 O << ", "
Chris Lattnera96056a2007-12-30 20:49:49 +0000498 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000499 << " #" << ShImm;
500}
501
502void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op) {
503 const MachineOperand &MO1 = MI->getOperand(Op);
504 const MachineOperand &MO2 = MI->getOperand(Op+1);
505 const MachineOperand &MO3 = MI->getOperand(Op+2);
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000506
Dan Gohman1e57df32008-02-10 18:45:23 +0000507 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000508 O << "[" << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000509
510 if (MO2.getReg()) {
511 O << ", "
512 << (char)ARM_AM::getAM3Op(MO3.getImm())
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000513 << getRegisterName(MO2.getReg())
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000514 << "]";
515 return;
516 }
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000517
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000518 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
519 O << ", #"
520 << (char)ARM_AM::getAM3Op(MO3.getImm())
521 << ImmOffs;
522 O << "]";
523}
524
525void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op){
526 const MachineOperand &MO1 = MI->getOperand(Op);
527 const MachineOperand &MO2 = MI->getOperand(Op+1);
528
529 if (MO1.getReg()) {
530 O << (char)ARM_AM::getAM3Op(MO2.getImm())
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000531 << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000532 return;
533 }
534
535 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
536 assert(ImmOffs && "Malformed indexed load / store!");
537 O << "#"
538 << (char)ARM_AM::getAM3Op(MO2.getImm())
539 << ImmOffs;
540}
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000541
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000542void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
543 const char *Modifier) {
544 const MachineOperand &MO1 = MI->getOperand(Op);
545 const MachineOperand &MO2 = MI->getOperand(Op+1);
546 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
547 if (Modifier && strcmp(Modifier, "submode") == 0) {
548 if (MO1.getReg() == ARM::SP) {
Evan Cheng4bb74e72009-08-04 01:43:45 +0000549 // FIXME
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000550 bool isLDM = (MI->getOpcode() == ARM::LDM ||
Evan Cheng4bb74e72009-08-04 01:43:45 +0000551 MI->getOpcode() == ARM::LDM_RET ||
Evan Cheng06c0e622009-08-04 21:12:13 +0000552 MI->getOpcode() == ARM::t2LDM ||
Evan Cheng4bb74e72009-08-04 01:43:45 +0000553 MI->getOpcode() == ARM::t2LDM_RET);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000554 O << ARM_AM::getAMSubModeAltStr(Mode, isLDM);
555 } else
556 O << ARM_AM::getAMSubModeStr(Mode);
Evan Cheng9b531042009-08-07 21:19:10 +0000557 } else if (Modifier && strcmp(Modifier, "wide") == 0) {
558 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
559 if (Mode == ARM_AM::ia)
560 O << ".w";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000561 } else {
562 printOperand(MI, Op);
563 if (ARM_AM::getAM4WBFlag(MO2.getImm()))
564 O << "!";
565 }
566}
567
568void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
569 const char *Modifier) {
570 const MachineOperand &MO1 = MI->getOperand(Op);
571 const MachineOperand &MO2 = MI->getOperand(Op+1);
572
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000573 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000574 printOperand(MI, Op);
575 return;
576 }
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000577
Dan Gohman1e57df32008-02-10 18:45:23 +0000578 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000579
580 if (Modifier && strcmp(Modifier, "submode") == 0) {
581 ARM_AM::AMSubMode Mode = ARM_AM::getAM5SubMode(MO2.getImm());
582 if (MO1.getReg() == ARM::SP) {
583 bool isFLDM = (MI->getOpcode() == ARM::FLDMD ||
584 MI->getOpcode() == ARM::FLDMS);
585 O << ARM_AM::getAMSubModeAltStr(Mode, isFLDM);
586 } else
587 O << ARM_AM::getAMSubModeStr(Mode);
588 return;
589 } else if (Modifier && strcmp(Modifier, "base") == 0) {
590 // Used for FSTM{D|S} and LSTM{D|S} operations.
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000591 O << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000592 if (ARM_AM::getAM5WBFlag(MO2.getImm()))
593 O << "!";
594 return;
595 }
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000596
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000597 O << "[" << getRegisterName(MO1.getReg());
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000598
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000599 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
600 O << ", #"
601 << (char)ARM_AM::getAM5Op(MO2.getImm())
602 << ImmOffs*4;
603 }
604 O << "]";
605}
606
Bob Wilson970a10d2009-07-01 23:16:05 +0000607void ARMAsmPrinter::printAddrMode6Operand(const MachineInstr *MI, int Op) {
608 const MachineOperand &MO1 = MI->getOperand(Op);
609 const MachineOperand &MO2 = MI->getOperand(Op+1);
610 const MachineOperand &MO3 = MI->getOperand(Op+2);
611
612 // FIXME: No support yet for specifying alignment.
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000613 O << "[" << getRegisterName(MO1.getReg()) << "]";
Bob Wilson970a10d2009-07-01 23:16:05 +0000614
615 if (ARM_AM::getAM6WBFlag(MO3.getImm())) {
616 if (MO2.getReg() == 0)
617 O << "!";
618 else
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000619 O << ", " << getRegisterName(MO2.getReg());
Bob Wilson970a10d2009-07-01 23:16:05 +0000620 }
621}
622
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000623void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
624 const char *Modifier) {
625 if (Modifier && strcmp(Modifier, "label") == 0) {
626 printPCLabel(MI, Op+1);
627 return;
628 }
629
630 const MachineOperand &MO1 = MI->getOperand(Op);
Dan Gohman1e57df32008-02-10 18:45:23 +0000631 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000632 O << "[pc, +" << getRegisterName(MO1.getReg()) << "]";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000633}
634
635void
Evan Cheng36173712009-06-23 17:48:47 +0000636ARMAsmPrinter::printBitfieldInvMaskImmOperand(const MachineInstr *MI, int Op) {
637 const MachineOperand &MO = MI->getOperand(Op);
638 uint32_t v = ~MO.getImm();
Evan Cheng23057682009-06-25 22:04:44 +0000639 int32_t lsb = CountTrailingZeros_32(v);
Nick Lewyckyd2e271b2009-06-24 01:08:42 +0000640 int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
Evan Cheng36173712009-06-23 17:48:47 +0000641 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
642 O << "#" << lsb << ", #" << width;
643}
644
Evan Cheng532cdc52009-06-29 07:51:04 +0000645//===--------------------------------------------------------------------===//
646
Evan Cheng36173712009-06-23 17:48:47 +0000647void
Evan Chengb8d07432009-07-09 23:43:36 +0000648ARMAsmPrinter::printThumbITMask(const MachineInstr *MI, int Op) {
649 // (3 - the number of trailing zeros) is the number of then / else.
650 unsigned Mask = MI->getOperand(Op).getImm();
651 unsigned NumTZ = CountTrailingZeros_32(Mask);
652 assert(NumTZ <= 3 && "Invalid IT mask!");
Evan Chengd5b67fa2009-07-10 01:54:42 +0000653 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
Evan Chengff5c7c42009-08-15 07:59:10 +0000654 bool T = (Mask & (1 << Pos)) == 0;
Evan Chengb8d07432009-07-09 23:43:36 +0000655 if (T)
656 O << 't';
657 else
658 O << 'e';
659 }
660}
661
662void
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000663ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op) {
664 const MachineOperand &MO1 = MI->getOperand(Op);
665 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000666 O << "[" << getRegisterName(MO1.getReg());
667 O << ", " << getRegisterName(MO2.getReg()) << "]";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000668}
669
670void
671ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
672 unsigned Scale) {
673 const MachineOperand &MO1 = MI->getOperand(Op);
674 const MachineOperand &MO2 = MI->getOperand(Op+1);
675 const MachineOperand &MO3 = MI->getOperand(Op+2);
676
Dan Gohmanb9f4fa72008-10-03 15:45:36 +0000677 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000678 printOperand(MI, Op);
679 return;
680 }
681
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000682 O << "[" << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000683 if (MO3.getReg())
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000684 O << ", " << getRegisterName(MO3.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000685 else if (unsigned ImmOffs = MO2.getImm()) {
686 O << ", #" << ImmOffs;
687 if (Scale > 1)
688 O << " * " << Scale;
689 }
690 O << "]";
691}
692
693void
694ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op) {
695 printThumbAddrModeRI5Operand(MI, Op, 1);
696}
697void
698ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op) {
699 printThumbAddrModeRI5Operand(MI, Op, 2);
700}
701void
702ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op) {
703 printThumbAddrModeRI5Operand(MI, Op, 4);
704}
705
706void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op) {
707 const MachineOperand &MO1 = MI->getOperand(Op);
708 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000709 O << "[" << getRegisterName(MO1.getReg());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000710 if (unsigned ImmOffs = MO2.getImm())
711 O << ", #" << ImmOffs << " * 4";
712 O << "]";
713}
714
Evan Cheng532cdc52009-06-29 07:51:04 +0000715//===--------------------------------------------------------------------===//
716
Evan Cheng19bb7c72009-06-27 02:26:13 +0000717// Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
718// register with shift forms.
719// REG 0 0 - e.g. R5
720// REG IMM, SH_OPC - e.g. R5, LSL #3
721void ARMAsmPrinter::printT2SOOperand(const MachineInstr *MI, int OpNum) {
722 const MachineOperand &MO1 = MI->getOperand(OpNum);
723 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
724
725 unsigned Reg = MO1.getReg();
726 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000727 O << getRegisterName(Reg);
Evan Cheng19bb7c72009-06-27 02:26:13 +0000728
729 // Print the shift opc.
730 O << ", "
731 << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO2.getImm()))
732 << " ";
733
734 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
735 O << "#" << ARM_AM::getSORegOffset(MO2.getImm());
736}
737
Evan Cheng532cdc52009-06-29 07:51:04 +0000738void ARMAsmPrinter::printT2AddrModeImm12Operand(const MachineInstr *MI,
739 int OpNum) {
740 const MachineOperand &MO1 = MI->getOperand(OpNum);
741 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
Evan Cheng19bb7c72009-06-27 02:26:13 +0000742
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000743 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng532cdc52009-06-29 07:51:04 +0000744
745 unsigned OffImm = MO2.getImm();
746 if (OffImm) // Don't print +0.
747 O << ", #+" << OffImm;
748 O << "]";
749}
750
751void ARMAsmPrinter::printT2AddrModeImm8Operand(const MachineInstr *MI,
752 int OpNum) {
753 const MachineOperand &MO1 = MI->getOperand(OpNum);
754 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
755
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000756 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng532cdc52009-06-29 07:51:04 +0000757
758 int32_t OffImm = (int32_t)MO2.getImm();
759 // Don't print +0.
760 if (OffImm < 0)
761 O << ", #-" << -OffImm;
762 else if (OffImm > 0)
763 O << ", #+" << OffImm;
764 O << "]";
765}
766
Evan Cheng6bc67202009-07-09 22:21:59 +0000767void ARMAsmPrinter::printT2AddrModeImm8s4Operand(const MachineInstr *MI,
768 int OpNum) {
769 const MachineOperand &MO1 = MI->getOperand(OpNum);
770 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
771
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000772 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng6bc67202009-07-09 22:21:59 +0000773
774 int32_t OffImm = (int32_t)MO2.getImm() / 4;
775 // Don't print +0.
776 if (OffImm < 0)
777 O << ", #-" << -OffImm << " * 4";
778 else if (OffImm > 0)
779 O << ", #+" << OffImm << " * 4";
780 O << "]";
781}
782
Evan Chenga90942e2009-07-02 07:28:31 +0000783void ARMAsmPrinter::printT2AddrModeImm8OffsetOperand(const MachineInstr *MI,
784 int OpNum) {
785 const MachineOperand &MO1 = MI->getOperand(OpNum);
786 int32_t OffImm = (int32_t)MO1.getImm();
787 // Don't print +0.
788 if (OffImm < 0)
789 O << "#-" << -OffImm;
790 else if (OffImm > 0)
791 O << "#+" << OffImm;
792}
793
Evan Cheng532cdc52009-06-29 07:51:04 +0000794void ARMAsmPrinter::printT2AddrModeSoRegOperand(const MachineInstr *MI,
795 int OpNum) {
796 const MachineOperand &MO1 = MI->getOperand(OpNum);
797 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
798 const MachineOperand &MO3 = MI->getOperand(OpNum+2);
799
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000800 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng532cdc52009-06-29 07:51:04 +0000801
Evan Chenge8f37122009-08-11 08:52:18 +0000802 assert(MO2.getReg() && "Invalid so_reg load / store address!");
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000803 O << ", " << getRegisterName(MO2.getReg());
Evan Cheng532cdc52009-06-29 07:51:04 +0000804
Evan Chenge8f37122009-08-11 08:52:18 +0000805 unsigned ShAmt = MO3.getImm();
806 if (ShAmt) {
807 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
808 O << ", lsl #" << ShAmt;
Evan Cheng532cdc52009-06-29 07:51:04 +0000809 }
810 O << "]";
811}
812
813
814//===--------------------------------------------------------------------===//
815
816void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int OpNum) {
817 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000818 if (CC != ARMCC::AL)
819 O << ARMCondCodeToString(CC);
820}
821
Evan Cheng532cdc52009-06-29 07:51:04 +0000822void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int OpNum){
823 unsigned Reg = MI->getOperand(OpNum).getReg();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000824 if (Reg) {
825 assert(Reg == ARM::CPSR && "Expect ARM CPSR register!");
826 O << 's';
827 }
828}
829
Evan Cheng532cdc52009-06-29 07:51:04 +0000830void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int OpNum) {
831 int Id = (int)MI->getOperand(OpNum).getImm();
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000832 O << MAI->getPrivateGlobalPrefix() << "PC" << Id;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000833}
834
Evan Cheng532cdc52009-06-29 07:51:04 +0000835void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int OpNum) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000836 O << "{";
Evan Chengb43a20e2009-10-01 01:33:39 +0000837 // Always skip the first operand, it's the optional (and implicit writeback).
838 for (unsigned i = OpNum+1, e = MI->getNumOperands(); i != e; ++i) {
Evan Cheng94958142009-08-11 21:11:32 +0000839 if (MI->getOperand(i).isImplicit())
840 continue;
Evan Chengb43a20e2009-10-01 01:33:39 +0000841 if ((int)i != OpNum+1) O << ", ";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000842 printOperand(MI, i);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000843 }
844 O << "}";
845}
846
Evan Cheng532cdc52009-06-29 07:51:04 +0000847void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000848 const char *Modifier) {
849 assert(Modifier && "This operand only works with a modifier!");
850 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
851 // data itself.
852 if (!strcmp(Modifier, "label")) {
Evan Cheng532cdc52009-06-29 07:51:04 +0000853 unsigned ID = MI->getOperand(OpNum).getImm();
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000854 O << MAI->getPrivateGlobalPrefix() << "CPI" << getFunctionNumber()
Evan Cheng477013c2007-10-14 05:57:21 +0000855 << '_' << ID << ":\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000856 } else {
857 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
Evan Cheng532cdc52009-06-29 07:51:04 +0000858 unsigned CPI = MI->getOperand(OpNum).getIndex();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000859
Evan Chenge6c61622008-09-18 07:27:23 +0000860 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI];
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000861
Evan Chengf1012ce2008-08-08 06:56:16 +0000862 if (MCPE.isMachineConstantPoolEntry()) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000863 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
Evan Chengf1012ce2008-08-08 06:56:16 +0000864 } else {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000865 EmitGlobalConstant(MCPE.Val.ConstVal);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000866 }
867 }
868}
869
Evan Cheng532cdc52009-06-29 07:51:04 +0000870void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNum) {
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000871 assert(!Subtarget->isThumb2() && "Thumb2 should use double-jump jumptables!");
872
Evan Cheng532cdc52009-06-29 07:51:04 +0000873 const MachineOperand &MO1 = MI->getOperand(OpNum);
874 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
Chris Lattner6017d482007-12-30 23:10:15 +0000875 unsigned JTI = MO1.getIndex();
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000876 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Chris Lattnera96056a2007-12-30 20:49:49 +0000877 << '_' << JTI << '_' << MO2.getImm() << ":\n";
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000878
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000879 const char *JTEntryDirective = MAI->getData32bitsDirective();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000880
881 const MachineFunction *MF = MI->getParent()->getParent();
Dan Gohmane4da6412008-07-07 20:06:06 +0000882 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000883 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
884 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000885 bool UseSet= MAI->getSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
Evan Chengb437c252009-07-24 18:19:46 +0000886 SmallPtrSet<MachineBasicBlock*, 8> JTSets;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000887 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
888 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000889 bool isNew = JTSets.insert(MBB);
890
891 if (UseSet && isNew)
892 printPICJumpTableSetLabel(JTI, MO2.getImm(), MBB);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000893
894 O << JTEntryDirective << ' ';
895 if (UseSet)
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000896 O << MAI->getPrivateGlobalPrefix() << getFunctionNumber()
Chris Lattnera96056a2007-12-30 20:49:49 +0000897 << '_' << JTI << '_' << MO2.getImm()
Evan Cheng477013c2007-10-14 05:57:21 +0000898 << "_set_" << MBB->getNumber();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000899 else if (TM.getRelocationModel() == Reloc::PIC_) {
Chris Lattnerc6f802d2009-09-13 17:14:04 +0000900 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000901 O << '-' << MAI->getPrivateGlobalPrefix() << "JTI"
Chris Lattnerdf973042009-08-11 20:30:58 +0000902 << getFunctionNumber() << '_' << JTI << '_' << MO2.getImm();
Evan Chengb437c252009-07-24 18:19:46 +0000903 } else {
Chris Lattnerc6f802d2009-09-13 17:14:04 +0000904 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Evan Chengb437c252009-07-24 18:19:46 +0000905 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000906 if (i != e-1)
907 O << '\n';
908 }
909}
910
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000911void ARMAsmPrinter::printJT2BlockOperand(const MachineInstr *MI, int OpNum) {
912 const MachineOperand &MO1 = MI->getOperand(OpNum);
913 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
914 unsigned JTI = MO1.getIndex();
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000915 O << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000916 << '_' << JTI << '_' << MO2.getImm() << ":\n";
917
918 const MachineFunction *MF = MI->getParent()->getParent();
919 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
920 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
921 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000922 bool ByteOffset = false, HalfWordOffset = false;
923 if (MI->getOpcode() == ARM::t2TBB)
924 ByteOffset = true;
925 else if (MI->getOpcode() == ARM::t2TBH)
926 HalfWordOffset = true;
927
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000928 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
929 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000930 if (ByteOffset)
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000931 O << MAI->getData8bitsDirective();
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000932 else if (HalfWordOffset)
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000933 O << MAI->getData16bitsDirective();
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000934 if (ByteOffset || HalfWordOffset) {
935 O << '(';
Chris Lattnerc6f802d2009-09-13 17:14:04 +0000936 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Chris Lattnera5ef4d32009-08-22 21:43:10 +0000937 O << "-" << MAI->getPrivateGlobalPrefix() << "JTI" << getFunctionNumber()
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000938 << '_' << JTI << '_' << MO2.getImm() << ")/2";
939 } else {
940 O << "\tb.w ";
Chris Lattnerc6f802d2009-09-13 17:14:04 +0000941 GetMBBSymbol(MBB->getNumber())->print(O, MAI);
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000942 }
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000943 if (i != e-1)
944 O << '\n';
945 }
Evan Cheng2ee6e2d2009-07-31 18:35:56 +0000946
947 // Make sure the instruction that follows TBB is 2-byte aligned.
948 // FIXME: Constant island pass should insert an "ALIGN" instruction instead.
949 if (ByteOffset && (JTBBs.size() & 1)) {
950 O << '\n';
951 EmitAlignment(1);
952 }
Evan Cheng6e2ebc92009-07-25 00:33:29 +0000953}
954
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000955void ARMAsmPrinter::printTBAddrMode(const MachineInstr *MI, int OpNum) {
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000956 O << "[pc, " << getRegisterName(MI->getOperand(OpNum).getReg());
Evan Cheng1b2b3e22009-07-29 02:18:14 +0000957 if (MI->getOpcode() == ARM::t2TBH)
958 O << ", lsl #1";
959 O << ']';
960}
961
Bob Wilson30ff4492009-08-21 21:58:55 +0000962void ARMAsmPrinter::printNoHashImmediate(const MachineInstr *MI, int OpNum) {
Anton Korobeynikove2be3382009-08-08 23:10:41 +0000963 O << MI->getOperand(OpNum).getImm();
964}
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000965
Evan Cheng532cdc52009-06-29 07:51:04 +0000966bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000967 unsigned AsmVariant, const char *ExtraCode){
968 // Does this asm operand have a single letter operand modifier?
969 if (ExtraCode && ExtraCode[0]) {
970 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikove2be3382009-08-08 23:10:41 +0000971
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000972 switch (ExtraCode[0]) {
973 default: return true; // Unknown modifier.
Bob Wilsonc6751352009-07-09 23:54:51 +0000974 case 'a': // Print as a memory address.
975 if (MI->getOperand(OpNum).isReg()) {
Chris Lattnerf0a25de2009-09-13 20:31:40 +0000976 O << "[" << getRegisterName(MI->getOperand(OpNum).getReg()) << "]";
Bob Wilsonc6751352009-07-09 23:54:51 +0000977 return false;
978 }
979 // Fallthrough
980 case 'c': // Don't print "#" before an immediate operand.
Bob Wilson30ff4492009-08-21 21:58:55 +0000981 if (!MI->getOperand(OpNum).isImm())
982 return true;
983 printNoHashImmediate(MI, OpNum);
Bob Wilson5260c4c2009-04-06 21:46:51 +0000984 return false;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000985 case 'P': // Print a VFP double precision register.
Evan Cheng532cdc52009-06-29 07:51:04 +0000986 printOperand(MI, OpNum);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000987 return false;
988 case 'Q':
989 if (TM.getTargetData()->isLittleEndian())
990 break;
991 // Fallthrough
992 case 'R':
993 if (TM.getTargetData()->isBigEndian())
994 break;
995 // Fallthrough
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +0000996 case 'H': // Write second word of DI / DF reference.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000997 // Verify that this operand has two consecutive registers.
Evan Cheng532cdc52009-06-29 07:51:04 +0000998 if (!MI->getOperand(OpNum).isReg() ||
999 OpNum+1 == MI->getNumOperands() ||
1000 !MI->getOperand(OpNum+1).isReg())
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001001 return true;
Evan Cheng532cdc52009-06-29 07:51:04 +00001002 ++OpNum; // Return the high-part.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001003 }
1004 }
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +00001005
Evan Cheng532cdc52009-06-29 07:51:04 +00001006 printOperand(MI, OpNum);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001007 return false;
1008}
1009
Bob Wilson6c982bb2009-05-19 05:53:42 +00001010bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Cheng532cdc52009-06-29 07:51:04 +00001011 unsigned OpNum, unsigned AsmVariant,
Bob Wilson6c982bb2009-05-19 05:53:42 +00001012 const char *ExtraCode) {
1013 if (ExtraCode && ExtraCode[0])
1014 return true; // Unknown modifier.
Bob Wilson6855b222009-10-13 20:50:28 +00001015
1016 const MachineOperand &MO = MI->getOperand(OpNum);
1017 assert(MO.isReg() && "unexpected inline asm memory operand");
1018 O << "[" << getRegisterName(MO.getReg()) << "]";
Bob Wilson6c982bb2009-05-19 05:53:42 +00001019 return false;
1020}
1021
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001022void ARMAsmPrinter::printMachineInstruction(const MachineInstr *MI) {
1023 ++EmittedInsts;
1024
1025 int Opc = MI->getOpcode();
Chris Lattner882baf52009-10-19 18:08:02 +00001026 if (Opc == ARM::CONSTPOOL_ENTRY)
1027 EmitAlignment(2);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001028
1029 // Call the autogenerated instruction printer routines.
Devang Patel5450fc12009-10-06 02:19:11 +00001030 processDebugLoc(MI, true);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001031 printInstruction(MI);
Chris Lattner32d4cc72009-09-09 23:14:36 +00001032 if (VerboseAsm && !MI->getDebugLoc().isUnknown())
1033 EmitComments(*MI);
1034 O << '\n';
Devang Patel5450fc12009-10-06 02:19:11 +00001035 processDebugLoc(MI, false);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001036}
1037
Bob Wilsonb5f835e2009-09-30 22:06:26 +00001038void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Bob Wilson5147f112009-09-30 00:23:42 +00001039 if (Subtarget->isTargetDarwin()) {
1040 Reloc::Model RelocM = TM.getRelocationModel();
1041 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
1042 // Declare all the text sections up front (before the DWARF sections
1043 // emitted by AsmPrinter::doInitialization) so the assembler will keep
1044 // them together at the beginning of the object file. This helps
1045 // avoid out-of-range branches that are due a fundamental limitation of
1046 // the way symbol offsets are encoded with the current Darwin ARM
1047 // relocations.
Bob Wilson1f9b67a2009-09-30 22:25:37 +00001048 TargetLoweringObjectFileMachO &TLOFMacho =
1049 static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
1050 OutStreamer.SwitchSection(TLOFMacho.getTextSection());
1051 OutStreamer.SwitchSection(TLOFMacho.getTextCoalSection());
1052 OutStreamer.SwitchSection(TLOFMacho.getConstTextCoalSection());
1053 if (RelocM == Reloc::DynamicNoPIC) {
1054 const MCSection *sect =
1055 TLOFMacho.getMachOSection("__TEXT", "__symbol_stub4",
1056 MCSectionMachO::S_SYMBOL_STUBS,
1057 12, SectionKind::getText());
1058 OutStreamer.SwitchSection(sect);
1059 } else {
1060 const MCSection *sect =
1061 TLOFMacho.getMachOSection("__TEXT", "__picsymbolstub4",
1062 MCSectionMachO::S_SYMBOL_STUBS,
1063 16, SectionKind::getText());
1064 OutStreamer.SwitchSection(sect);
1065 }
Bob Wilson5147f112009-09-30 00:23:42 +00001066 }
1067 }
1068
Evan Cheng7bd2ad12009-07-11 06:43:01 +00001069 // Use unified assembler syntax mode for Thumb.
1070 if (Subtarget->isThumb())
Anton Korobeynikov9a2d2302009-06-17 23:43:18 +00001071 O << "\t.syntax unified\n";
1072
Anton Korobeynikova229f0b2009-05-23 19:51:20 +00001073 // Emit ARM Build Attributes
1074 if (Subtarget->isTargetELF()) {
1075 // CPU Type
Anton Korobeynikov84529082009-06-01 19:03:17 +00001076 std::string CPUString = Subtarget->getCPUString();
1077 if (CPUString != "generic")
1078 O << "\t.cpu " << CPUString << '\n';
Anton Korobeynikova229f0b2009-05-23 19:51:20 +00001079
1080 // FIXME: Emit FPU type
1081 if (Subtarget->hasVFP2())
1082 O << "\t.eabi_attribute " << ARMBuildAttrs::VFP_arch << ", 2\n";
1083
1084 // Signal various FP modes.
1085 if (!UnsafeFPMath)
1086 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_denormal << ", 1\n"
1087 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_exceptions << ", 1\n";
1088
1089 if (FiniteOnlyFPMath())
1090 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 1\n";
1091 else
1092 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_FP_number_model << ", 3\n";
1093
1094 // 8-bytes alignment stuff.
1095 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_needed << ", 1\n"
1096 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_align8_preserved << ", 1\n";
1097
Anton Korobeynikov02e15b82009-08-05 19:04:42 +00001098 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
1099 if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard)
1100 O << "\t.eabi_attribute " << ARMBuildAttrs::ABI_HardFP_use << ", 3\n"
1101 << "\t.eabi_attribute " << ARMBuildAttrs::ABI_VFP_args << ", 1\n";
1102
Anton Korobeynikova229f0b2009-05-23 19:51:20 +00001103 // FIXME: Should we signal R9 usage?
1104 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001105}
1106
Chris Lattnerae982212009-07-21 18:38:57 +00001107void ARMAsmPrinter::PrintGlobalVariable(const GlobalVariable* GVar) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001108 const TargetData *TD = TM.getTargetData();
1109
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001110 if (!GVar->hasInitializer()) // External global require no code
1111 return;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001112
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001113 // Check to see if this is a special global used by LLVM, if so, emit it.
1114
1115 if (EmitSpecialLLVMGlobal(GVar)) {
1116 if (Subtarget->isTargetDarwin() &&
1117 TM.getRelocationModel() == Reloc::Static) {
Daniel Dunbare03513b2009-07-25 23:55:21 +00001118 if (GVar->getName() == "llvm.global_ctors")
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001119 O << ".reference .constructors_used\n";
Daniel Dunbare03513b2009-07-25 23:55:21 +00001120 else if (GVar->getName() == "llvm.global_dtors")
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001121 O << ".reference .destructors_used\n";
1122 }
1123 return;
1124 }
1125
Chris Lattnerb3cdde62009-07-14 18:17:16 +00001126 std::string name = Mang->getMangledName(GVar);
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001127 Constant *C = GVar->getInitializer();
1128 const Type *Type = C->getType();
Duncan Sandsec4f97d2009-05-09 07:06:46 +00001129 unsigned Size = TD->getTypeAllocSize(Type);
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001130 unsigned Align = TD->getPreferredAlignmentLog(GVar);
Evan Cheng43f73c62008-12-06 02:00:55 +00001131 bool isDarwin = Subtarget->isTargetDarwin();
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001132
Anton Korobeynikov78d69aa2008-08-08 18:25:07 +00001133 printVisibility(name, GVar->getVisibility());
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001134
1135 if (Subtarget->isTargetELF())
1136 O << "\t.type " << name << ",%object\n";
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +00001137
Chris Lattnere6ad12f2009-07-31 18:48:30 +00001138 const MCSection *TheSection =
Chris Lattner2931fe42009-07-29 05:09:30 +00001139 getObjFileLowering().SectionForGlobal(GVar, Mang, TM);
Chris Lattner73266f92009-08-19 05:49:37 +00001140 OutStreamer.SwitchSection(TheSection);
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001141
Chris Lattnerd8310522009-07-27 05:32:16 +00001142 // FIXME: get this stuff from section kind flags.
Evan Chengcf84b142009-02-18 02:19:52 +00001143 if (C->isNullValue() && !GVar->hasSection() && !GVar->isThreadLocal() &&
Chris Lattner87bc69b2009-07-24 04:08:17 +00001144 // Don't put things that should go in the cstring section into "comm".
Chris Lattnerd8310522009-07-27 05:32:16 +00001145 !TheSection->getKind().isMergeableCString()) {
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001146 if (GVar->hasExternalLinkage()) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001147 if (const char *Directive = MAI->getZeroFillDirective()) {
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001148 O << "\t.globl\t" << name << "\n";
1149 O << Directive << "__DATA, __common, " << name << ", "
1150 << Size << ", " << Align << "\n";
1151 return;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001152 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001153 }
1154
Duncan Sands19d161f2009-03-07 15:45:40 +00001155 if (GVar->hasLocalLinkage() || GVar->isWeakForLinker()) {
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001156 if (Size == 0) Size = 1; // .comm Foo, 0 is undefined, avoid it.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001157
Evan Cheng43f73c62008-12-06 02:00:55 +00001158 if (isDarwin) {
Rafael Espindolaa168fc92009-01-15 20:18:42 +00001159 if (GVar->hasLocalLinkage()) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001160 O << MAI->getLCOMMDirective() << name << "," << Size
Evan Cheng43f73c62008-12-06 02:00:55 +00001161 << ',' << Align;
1162 } else if (GVar->hasCommonLinkage()) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001163 O << MAI->getCOMMDirective() << name << "," << Size
Evan Cheng43f73c62008-12-06 02:00:55 +00001164 << ',' << Align;
1165 } else {
Chris Lattner73266f92009-08-19 05:49:37 +00001166 OutStreamer.SwitchSection(TheSection);
Evan Cheng43f73c62008-12-06 02:00:55 +00001167 O << "\t.globl " << name << '\n'
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001168 << MAI->getWeakDefDirective() << name << '\n';
Evan Cheng43f73c62008-12-06 02:00:55 +00001169 EmitAlignment(Align, GVar);
Evan Cheng11db8142009-03-24 00:17:40 +00001170 O << name << ":";
1171 if (VerboseAsm) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001172 O << "\t\t\t\t" << MAI->getCommentString() << ' ';
Dan Gohman2aa282f2009-08-13 01:36:44 +00001173 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Evan Cheng11db8142009-03-24 00:17:40 +00001174 }
Evan Cheng43f73c62008-12-06 02:00:55 +00001175 O << '\n';
1176 EmitGlobalConstant(C);
1177 return;
1178 }
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001179 } else if (MAI->getLCOMMDirective() != NULL) {
Rafael Espindolaa168fc92009-01-15 20:18:42 +00001180 if (GVar->hasLocalLinkage()) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001181 O << MAI->getLCOMMDirective() << name << "," << Size;
Evan Cheng43f73c62008-12-06 02:00:55 +00001182 } else {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001183 O << MAI->getCOMMDirective() << name << "," << Size;
1184 if (MAI->getCOMMDirectiveTakesAlignment())
1185 O << ',' << (MAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Evan Cheng43f73c62008-12-06 02:00:55 +00001186 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001187 } else {
Rafael Espindolaa168fc92009-01-15 20:18:42 +00001188 if (GVar->hasLocalLinkage())
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001189 O << "\t.local\t" << name << "\n";
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001190 O << MAI->getCOMMDirective() << name << "," << Size;
1191 if (MAI->getCOMMDirectiveTakesAlignment())
1192 O << "," << (MAI->getAlignmentIsInBytes() ? (1 << Align) : Align);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001193 }
Evan Cheng11db8142009-03-24 00:17:40 +00001194 if (VerboseAsm) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001195 O << "\t\t" << MAI->getCommentString() << " ";
Dan Gohman2aa282f2009-08-13 01:36:44 +00001196 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Evan Cheng11db8142009-03-24 00:17:40 +00001197 }
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001198 O << "\n";
1199 return;
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001200 }
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001201 }
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +00001202
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001203 switch (GVar->getLinkage()) {
Chris Lattner16b8d7f2009-07-24 03:49:17 +00001204 case GlobalValue::CommonLinkage:
1205 case GlobalValue::LinkOnceAnyLinkage:
1206 case GlobalValue::LinkOnceODRLinkage:
1207 case GlobalValue::WeakAnyLinkage:
1208 case GlobalValue::WeakODRLinkage:
Dale Johannesenda551282009-08-24 01:03:42 +00001209 case GlobalValue::LinkerPrivateLinkage:
Evan Cheng43f73c62008-12-06 02:00:55 +00001210 if (isDarwin) {
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001211 O << "\t.globl " << name << "\n"
1212 << "\t.weak_definition " << name << "\n";
1213 } else {
1214 O << "\t.weak " << name << "\n";
1215 }
1216 break;
Chris Lattner16b8d7f2009-07-24 03:49:17 +00001217 case GlobalValue::AppendingLinkage:
1218 // FIXME: appending linkage variables should go into a section of
1219 // their name or something. For now, just emit them as external.
1220 case GlobalValue::ExternalLinkage:
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001221 O << "\t.globl " << name << "\n";
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001222 break;
Chris Lattner16b8d7f2009-07-24 03:49:17 +00001223 case GlobalValue::PrivateLinkage:
Chris Lattner16b8d7f2009-07-24 03:49:17 +00001224 case GlobalValue::InternalLinkage:
1225 break;
1226 default:
Edwin Törökbd448e32009-07-14 16:55:14 +00001227 llvm_unreachable("Unknown linkage type!");
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001228 }
1229
1230 EmitAlignment(Align, GVar);
Evan Cheng11db8142009-03-24 00:17:40 +00001231 O << name << ":";
1232 if (VerboseAsm) {
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001233 O << "\t\t\t\t" << MAI->getCommentString() << " ";
Dan Gohman2aa282f2009-08-13 01:36:44 +00001234 WriteAsOperand(O, GVar, /*PrintType=*/false, GVar->getParent());
Evan Cheng11db8142009-03-24 00:17:40 +00001235 }
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001236 O << "\n";
Chris Lattnera5ef4d32009-08-22 21:43:10 +00001237 if (MAI->hasDotTypeDotSizeDirective())
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001238 O << "\t.size " << name << ", " << Size << "\n";
1239
Anton Korobeynikov3cc6efa2008-08-07 09:54:23 +00001240 EmitGlobalConstant(C);
1241 O << '\n';
1242}
1243
1244
Chris Lattnerb8db7822009-10-19 17:59:19 +00001245void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001246 if (Subtarget->isTargetDarwin()) {
Chris Lattner21f0cc22009-08-03 22:18:15 +00001247 // All darwin targets use mach-o.
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +00001248 TargetLoweringObjectFileMachO &TLOFMacho =
Chris Lattner21f0cc22009-08-03 22:18:15 +00001249 static_cast<TargetLoweringObjectFileMachO &>(getObjFileLowering());
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +00001250
Chris Lattner494cb892009-07-15 04:12:33 +00001251 O << '\n';
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001252
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001253 // Output non-lazy-pointers for external and common global variables.
Evan Chenga65854f2008-12-05 01:06:39 +00001254 if (!GVNonLazyPtrs.empty()) {
Chris Lattner72a676a2009-08-10 01:39:42 +00001255 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner73266f92009-08-19 05:49:37 +00001256 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattner13089a42009-08-10 18:01:34 +00001257 EmitAlignment(2);
Chris Lattner21f0cc22009-08-03 22:18:15 +00001258 for (StringMap<std::string>::iterator I = GVNonLazyPtrs.begin(),
1259 E = GVNonLazyPtrs.end(); I != E; ++I) {
Chris Lattner8735bec2009-07-15 03:12:43 +00001260 O << I->second << ":\n";
1261 O << "\t.indirect_symbol " << I->getKeyData() << "\n";
Evan Chenga65854f2008-12-05 01:06:39 +00001262 O << "\t.long\t0\n";
1263 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001264 }
1265
Evan Chenga65854f2008-12-05 01:06:39 +00001266 if (!HiddenGVNonLazyPtrs.empty()) {
Chris Lattner73266f92009-08-19 05:49:37 +00001267 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
Chris Lattner05fbaf62009-08-10 18:02:16 +00001268 EmitAlignment(2);
Chris Lattner8735bec2009-07-15 03:12:43 +00001269 for (StringMap<std::string>::iterator I = HiddenGVNonLazyPtrs.begin(),
1270 E = HiddenGVNonLazyPtrs.end(); I != E; ++I) {
Chris Lattner8735bec2009-07-15 03:12:43 +00001271 O << I->second << ":\n";
1272 O << "\t.long " << I->getKeyData() << "\n";
Evan Chenga65854f2008-12-05 01:06:39 +00001273 }
1274 }
1275
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001276 // Funny Darwin hack: This flag tells the linker that no global symbols
1277 // contain code that falls through to other global symbols (e.g. the obvious
1278 // implementation of multiple entry points). If this doesn't occur, the
1279 // linker can safely perform dead code stripping. Since LLVM never
1280 // generates code that does this, it is always safe to set.
Chris Lattnerfe284f72009-10-19 18:03:08 +00001281 OutStreamer.EmitAssemblerFlag(MCStreamer::SubsectionsViaSymbols);
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001282 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001283}
Anton Korobeynikov74b114b2008-08-17 13:55:10 +00001284
Bob Wilsonebbc1c42009-06-23 23:59:40 +00001285// Force static initialization.
Jim Grosbach9c2ed5c2009-09-04 01:38:51 +00001286extern "C" void LLVMInitializeARMAsmPrinter() {
Daniel Dunbarc680b012009-07-25 06:49:55 +00001287 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1288 RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
Daniel Dunbarfe5939f2009-07-15 20:24:03 +00001289}