blob: 4567e4358d1f41ece2cff2faf60ca4de0c8cd6a9 [file] [log] [blame]
Chris Lattner97f06932009-10-19 20:20:46 +00001//===-- ARMAsmPrinter.cpp - Print machine code to an ARM .s file ----------===//
2//
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00006// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains a printer that converts from our internal representation
11// of machine-dependent LLVM code to GAS-format ARM assembly language.
12//
13//===----------------------------------------------------------------------===//
14
Chris Lattner95b2c7d2006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000016#include "ARM.h"
Anton Korobeynikov88ce6672009-05-23 19:51:20 +000017#include "ARMBuildAttrs.h"
Evan Chenga8e29892007-01-19 07:51:42 +000018#include "ARMAddressingModes.h"
19#include "ARMConstantPoolValue.h"
Chris Lattnerf447a5f2010-07-19 23:44:46 +000020#include "AsmPrinter/ARMInstPrinter.h"
Chris Lattner97f06932009-10-19 20:20:46 +000021#include "ARMMachineFunctionInfo.h"
22#include "ARMMCInstLower.h"
23#include "ARMTargetMachine.h"
Dale Johannesen3f282aa2010-04-26 20:07:31 +000024#include "llvm/Analysis/DebugInfo.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000025#include "llvm/Constants.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000026#include "llvm/Module.h"
Benjamin Kramere55b15f2009-12-28 12:27:56 +000027#include "llvm/Type.h"
Dan Gohmancf20ac42009-08-13 01:36:44 +000028#include "llvm/Assembly/Writer.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000029#include "llvm/CodeGen/AsmPrinter.h"
Chris Lattnerb0f294c2009-10-19 18:38:33 +000030#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000031#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Chenga8e29892007-01-19 07:51:42 +000032#include "llvm/CodeGen/MachineJumpTableInfo.h"
Anton Korobeynikov362dd0b2010-02-15 22:37:53 +000033#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Chris Lattnerb0f294c2009-10-19 18:38:33 +000034#include "llvm/MC/MCAsmInfo.h"
35#include "llvm/MC/MCContext.h"
Bill Wendlingbecd83e2010-03-09 00:40:17 +000036#include "llvm/MC/MCExpr.h"
Chris Lattner97f06932009-10-19 20:20:46 +000037#include "llvm/MC/MCInst.h"
Chris Lattnerf9bdedd2009-08-10 18:15:01 +000038#include "llvm/MC/MCSectionMachO.h"
Chris Lattner6c2f9e12009-08-19 05:49:37 +000039#include "llvm/MC/MCStreamer.h"
Chris Lattner325d3dc2009-09-13 17:14:04 +000040#include "llvm/MC/MCSymbol.h"
Chris Lattnerd62f1b42010-03-12 21:19:23 +000041#include "llvm/Target/Mangler.h"
Rafael Espindolab01c4bb2006-07-27 11:38:51 +000042#include "llvm/Target/TargetData.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000043#include "llvm/Target/TargetMachine.h"
Evan Cheng5be54b02007-01-19 19:25:36 +000044#include "llvm/Target/TargetOptions.h"
Daniel Dunbar51b198a2009-07-15 20:24:03 +000045#include "llvm/Target/TargetRegistry.h"
Evan Chengc324ecb2009-07-24 18:19:46 +000046#include "llvm/ADT/SmallPtrSet.h"
Jim Grosbachc40d9f92009-09-01 18:49:12 +000047#include "llvm/ADT/SmallString.h"
Bob Wilson54c78ef2009-11-06 23:33:28 +000048#include "llvm/ADT/StringExtras.h"
Chris Lattner97f06932009-10-19 20:20:46 +000049#include "llvm/Support/CommandLine.h"
Devang Patel59135f42010-08-04 22:39:39 +000050#include "llvm/Support/Debug.h"
Torok Edwin30464702009-07-08 20:55:50 +000051#include "llvm/Support/ErrorHandling.h"
Chris Lattnerb23569a2010-04-04 08:18:47 +000052#include "llvm/Support/raw_ostream.h"
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000053#include <cctype>
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000054using namespace llvm;
55
Chris Lattner97f06932009-10-19 20:20:46 +000056static cl::opt<bool>
57EnableMCInst("enable-arm-mcinst-printer", cl::Hidden,
58 cl::desc("enable experimental asmprinter gunk in the arm backend"));
59
Jim Grosbach91729002010-07-21 23:03:52 +000060namespace llvm {
61 namespace ARM {
62 enum DW_ISA {
63 DW_ISA_ARM_thumb = 1,
64 DW_ISA_ARM_arm = 2
65 };
66 }
67}
68
Chris Lattner95b2c7d2006-12-19 22:59:26 +000069namespace {
Chris Lattner4a071d62009-10-19 17:59:19 +000070 class ARMAsmPrinter : public AsmPrinter {
Evan Chenga8e29892007-01-19 07:51:42 +000071
72 /// Subtarget - Keep a pointer to the ARMSubtarget around so that we can
73 /// make the right decision when printing asm code for different targets.
74 const ARMSubtarget *Subtarget;
75
76 /// AFI - Keep a pointer to ARMFunctionInfo for the current
Evan Cheng6d63a722008-09-18 07:27:23 +000077 /// MachineFunction.
Evan Chenga8e29892007-01-19 07:51:42 +000078 ARMFunctionInfo *AFI;
79
Evan Cheng6d63a722008-09-18 07:27:23 +000080 /// MCP - Keep a pointer to constantpool entries of the current
81 /// MachineFunction.
82 const MachineConstantPool *MCP;
83
Bill Wendling57f0db82009-02-24 08:30:20 +000084 public:
Chris Lattnerb23569a2010-04-04 08:18:47 +000085 explicit ARMAsmPrinter(TargetMachine &TM, MCStreamer &Streamer)
86 : AsmPrinter(TM, Streamer), AFI(NULL), MCP(NULL) {
Bill Wendling57f0db82009-02-24 08:30:20 +000087 Subtarget = &TM.getSubtarget<ARMSubtarget>();
88 }
89
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000090 virtual const char *getPassName() const {
91 return "ARM Assembly Printer";
92 }
Jim Grosbachb0739b72010-09-02 01:02:06 +000093
Jim Grosbach882ef2b2010-09-21 23:28:16 +000094 void EmitJumpTable(const MachineInstr *MI);
95 void EmitJump2Table(const MachineInstr *MI);
Chris Lattner97f06932009-10-19 20:20:46 +000096 void printInstructionThroughMCStreamer(const MachineInstr *MI);
Jim Grosbachb0739b72010-09-02 01:02:06 +000097
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000098
Chris Lattner35c33bd2010-04-04 04:47:45 +000099 void printOperand(const MachineInstr *MI, int OpNum, raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000100 const char *Modifier = 0);
Chris Lattner35c33bd2010-04-04 04:47:45 +0000101 void printSOImmOperand(const MachineInstr *MI, int OpNum, raw_ostream &O);
102 void printSOImm2PartOperand(const MachineInstr *MI, int OpNum,
103 raw_ostream &O);
104 void printSORegOperand(const MachineInstr *MI, int OpNum,
105 raw_ostream &O);
106 void printAddrMode2Operand(const MachineInstr *MI, int OpNum,
107 raw_ostream &O);
108 void printAddrMode2OffsetOperand(const MachineInstr *MI, int OpNum,
109 raw_ostream &O);
110 void printAddrMode3Operand(const MachineInstr *MI, int OpNum,
111 raw_ostream &O);
112 void printAddrMode3OffsetOperand(const MachineInstr *MI, int OpNum,
113 raw_ostream &O);
114 void printAddrMode4Operand(const MachineInstr *MI, int OpNum,raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000115 const char *Modifier = 0);
Chris Lattner35c33bd2010-04-04 04:47:45 +0000116 void printAddrMode5Operand(const MachineInstr *MI, int OpNum,raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000117 const char *Modifier = 0);
Chris Lattner35c33bd2010-04-04 04:47:45 +0000118 void printAddrMode6Operand(const MachineInstr *MI, int OpNum,
119 raw_ostream &O);
120 void printAddrMode6OffsetOperand(const MachineInstr *MI, int OpNum,
121 raw_ostream &O);
Evan Cheng055b0312009-06-29 07:51:04 +0000122 void printAddrModePCOperand(const MachineInstr *MI, int OpNum,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000123 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000124 const char *Modifier = 0);
Bob Wilsoneaf1c982010-08-11 23:10:46 +0000125 void printBitfieldInvMaskImmOperand(const MachineInstr *MI, int OpNum,
126 raw_ostream &O);
Johnny Chen1adc40c2010-08-12 20:46:17 +0000127 void printMemBOption(const MachineInstr *MI, int OpNum,
128 raw_ostream &O);
Bob Wilson22f5dc72010-08-16 18:27:34 +0000129 void printShiftImmOperand(const MachineInstr *MI, int OpNum,
Bob Wilsoneaf1c982010-08-11 23:10:46 +0000130 raw_ostream &O);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000131
Chris Lattner35c33bd2010-04-04 04:47:45 +0000132 void printThumbS4ImmOperand(const MachineInstr *MI, int OpNum,
133 raw_ostream &O);
134 void printThumbITMask(const MachineInstr *MI, int OpNum, raw_ostream &O);
135 void printThumbAddrModeRROperand(const MachineInstr *MI, int OpNum,
136 raw_ostream &O);
Evan Cheng055b0312009-06-29 07:51:04 +0000137 void printThumbAddrModeRI5Operand(const MachineInstr *MI, int OpNum,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000138 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000139 unsigned Scale);
Chris Lattner35c33bd2010-04-04 04:47:45 +0000140 void printThumbAddrModeS1Operand(const MachineInstr *MI, int OpNum,
141 raw_ostream &O);
142 void printThumbAddrModeS2Operand(const MachineInstr *MI, int OpNum,
143 raw_ostream &O);
144 void printThumbAddrModeS4Operand(const MachineInstr *MI, int OpNum,
145 raw_ostream &O);
146 void printThumbAddrModeSPOperand(const MachineInstr *MI, int OpNum,
147 raw_ostream &O);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000148
Chris Lattner35c33bd2010-04-04 04:47:45 +0000149 void printT2SOOperand(const MachineInstr *MI, int OpNum, raw_ostream &O);
150 void printT2AddrModeImm12Operand(const MachineInstr *MI, int OpNum,
151 raw_ostream &O);
152 void printT2AddrModeImm8Operand(const MachineInstr *MI, int OpNum,
153 raw_ostream &O);
154 void printT2AddrModeImm8s4Operand(const MachineInstr *MI, int OpNum,
155 raw_ostream &O);
156 void printT2AddrModeImm8OffsetOperand(const MachineInstr *MI, int OpNum,
157 raw_ostream &O);
158 void printT2AddrModeImm8s4OffsetOperand(const MachineInstr *MI, int OpNum,
159 raw_ostream &O) {}
160 void printT2AddrModeSoRegOperand(const MachineInstr *MI, int OpNum,
161 raw_ostream &O);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000162
Chris Lattner35c33bd2010-04-04 04:47:45 +0000163 void printCPSOptionOperand(const MachineInstr *MI, int OpNum,
164 raw_ostream &O) {}
165 void printMSRMaskOperand(const MachineInstr *MI, int OpNum,
166 raw_ostream &O) {}
167 void printNegZeroOperand(const MachineInstr *MI, int OpNum,
168 raw_ostream &O) {}
169 void printPredicateOperand(const MachineInstr *MI, int OpNum,
170 raw_ostream &O);
171 void printMandatoryPredicateOperand(const MachineInstr *MI, int OpNum,
172 raw_ostream &O);
173 void printSBitModifierOperand(const MachineInstr *MI, int OpNum,
174 raw_ostream &O);
175 void printPCLabel(const MachineInstr *MI, int OpNum,
176 raw_ostream &O);
177 void printRegisterList(const MachineInstr *MI, int OpNum,
178 raw_ostream &O);
Evan Cheng055b0312009-06-29 07:51:04 +0000179 void printCPInstOperand(const MachineInstr *MI, int OpNum,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000180 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000181 const char *Modifier);
Chris Lattner35c33bd2010-04-04 04:47:45 +0000182 void printJTBlockOperand(const MachineInstr *MI, int OpNum,
183 raw_ostream &O);
184 void printJT2BlockOperand(const MachineInstr *MI, int OpNum,
185 raw_ostream &O);
186 void printTBAddrMode(const MachineInstr *MI, int OpNum,
187 raw_ostream &O);
188 void printNoHashImmediate(const MachineInstr *MI, int OpNum,
189 raw_ostream &O);
190 void printVFPf32ImmOperand(const MachineInstr *MI, int OpNum,
191 raw_ostream &O);
192 void printVFPf64ImmOperand(const MachineInstr *MI, int OpNum,
193 raw_ostream &O);
Bob Wilson1a913ed2010-06-11 21:34:50 +0000194 void printNEONModImmOperand(const MachineInstr *MI, int OpNum,
195 raw_ostream &O);
Bob Wilson54c78ef2009-11-06 23:33:28 +0000196
Evan Cheng055b0312009-06-29 07:51:04 +0000197 virtual bool PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattnerc75c0282010-04-04 05:29:35 +0000198 unsigned AsmVariant, const char *ExtraCode,
199 raw_ostream &O);
Evan Cheng055b0312009-06-29 07:51:04 +0000200 virtual bool PrintAsmMemoryOperand(const MachineInstr *MI, unsigned OpNum,
Bob Wilson224c2442009-05-19 05:53:42 +0000201 unsigned AsmVariant,
Chris Lattnerc75c0282010-04-04 05:29:35 +0000202 const char *ExtraCode, raw_ostream &O);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000203
Chris Lattner35c33bd2010-04-04 04:47:45 +0000204 void printInstruction(const MachineInstr *MI, raw_ostream &O); // autogen
Chris Lattnerd95148f2009-09-13 20:19:22 +0000205 static const char *getRegisterName(unsigned RegNo);
Chris Lattner05af2612009-09-13 20:08:00 +0000206
Chris Lattnera786cea2010-01-28 01:10:34 +0000207 virtual void EmitInstruction(const MachineInstr *MI);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000208 bool runOnMachineFunction(MachineFunction &F);
Jim Grosbachb0739b72010-09-02 01:02:06 +0000209
Chris Lattnera2406192010-01-28 00:19:24 +0000210 virtual void EmitConstantPool() {} // we emit constant pools customly!
Chris Lattner953ebb72010-01-27 23:58:11 +0000211 virtual void EmitFunctionEntryLabel();
Bob Wilson812209a2009-09-30 22:06:26 +0000212 void EmitStartOfAsmFile(Module &M);
Chris Lattner4a071d62009-10-19 17:59:19 +0000213 void EmitEndOfAsmFile(Module &M);
Evan Chenga8e29892007-01-19 07:51:42 +0000214
Devang Patel59135f42010-08-04 22:39:39 +0000215 MachineLocation getDebugValueLocation(const MachineInstr *MI) const {
216 MachineLocation Location;
217 assert (MI->getNumOperands() == 4 && "Invalid no. of machine operands!");
218 // Frame address. Currently handles register +- offset only.
219 if (MI->getOperand(0).isReg() && MI->getOperand(1).isImm())
220 Location.set(MI->getOperand(0).getReg(), MI->getOperand(1).getImm());
221 else {
222 DEBUG(dbgs() << "DBG_VALUE instruction ignored! " << *MI << "\n");
223 }
224 return Location;
225 }
226
Jim Grosbach91729002010-07-21 23:03:52 +0000227 virtual unsigned getISAEncoding() {
228 // ARM/Darwin adds ISA to the DWARF info for each function.
229 if (!Subtarget->isTargetDarwin())
230 return 0;
231 return Subtarget->isThumb() ?
232 llvm::ARM::DW_ISA_ARM_thumb : llvm::ARM::DW_ISA_ARM_arm;
233 }
234
Chris Lattner0890cf12010-01-25 19:51:38 +0000235 MCSymbol *GetARMSetPICJumpTableLabel2(unsigned uid, unsigned uid2,
236 const MachineBasicBlock *MBB) const;
237 MCSymbol *GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const;
Chris Lattnerbfcb0962010-01-25 19:39:52 +0000238
Jim Grosbach433a5782010-09-24 20:47:58 +0000239 MCSymbol *GetARMSJLJEHLabel(void) const;
240
Evan Cheng711b6dc2008-08-08 06:56:16 +0000241 /// EmitMachineConstantPoolValue - Print a machine constantpool value to
242 /// the .s file.
Evan Chenga8e29892007-01-19 07:51:42 +0000243 virtual void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
Chris Lattner9d7efd32010-04-04 07:05:53 +0000244 SmallString<128> Str;
245 raw_svector_ostream OS(Str);
246 EmitMachineConstantPoolValue(MCPV, OS);
247 OutStreamer.EmitRawText(OS.str());
248 }
Jim Grosbachb0739b72010-09-02 01:02:06 +0000249
Chris Lattner9d7efd32010-04-04 07:05:53 +0000250 void EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV,
251 raw_ostream &O) {
Chris Lattnerea3cb402010-01-20 07:33:29 +0000252 switch (TM.getTargetData()->getTypeAllocSize(MCPV->getType())) {
253 case 1: O << MAI->getData8bitsDirective(0); break;
254 case 2: O << MAI->getData16bitsDirective(0); break;
255 case 4: O << MAI->getData32bitsDirective(0); break;
256 default: assert(0 && "Unknown CPV size");
257 }
Evan Chenga8e29892007-01-19 07:51:42 +0000258
Evan Cheng711b6dc2008-08-08 06:56:16 +0000259 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +0000260
261 if (ACPV->isLSDA()) {
Chris Lattner9d7efd32010-04-04 07:05:53 +0000262 O << MAI->getPrivateGlobalPrefix() << "_LSDA_" << getFunctionNumber();
Bob Wilson28989a82009-11-02 16:59:06 +0000263 } else if (ACPV->isBlockAddress()) {
Chris Lattner0752cda2010-04-05 16:32:14 +0000264 O << *GetBlockAddressSymbol(ACPV->getBlockAddress());
Bob Wilson28989a82009-11-02 16:59:06 +0000265 } else if (ACPV->isGlobalValue()) {
Dan Gohman46510a72010-04-15 01:51:59 +0000266 const GlobalValue *GV = ACPV->getGV();
Evan Chenge4e4ed32009-08-28 23:18:09 +0000267 bool isIndirect = Subtarget->isTargetDarwin() &&
Evan Cheng63476a82009-09-03 07:04:02 +0000268 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
Evan Chenge4e4ed32009-08-28 23:18:09 +0000269 if (!isIndirect)
Chris Lattnerd62f1b42010-03-12 21:19:23 +0000270 O << *Mang->getSymbol(GV);
Evan Chenge4e4ed32009-08-28 23:18:09 +0000271 else {
272 // FIXME: Remove this when Darwin transition to @GOT like syntax.
Chris Lattner7a2ba942010-01-16 18:37:32 +0000273 MCSymbol *Sym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Chris Lattner10b318b2010-01-17 21:43:43 +0000274 O << *Sym;
Jim Grosbachb0739b72010-09-02 01:02:06 +0000275
Chris Lattnerb8f64a72009-10-19 18:49:14 +0000276 MachineModuleInfoMachO &MMIMachO =
277 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Bill Wendlingcebae362010-03-10 22:34:10 +0000278 MachineModuleInfoImpl::StubValueTy &StubSym =
Chris Lattnerb8f64a72009-10-19 18:49:14 +0000279 GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(Sym) :
280 MMIMachO.getGVStubEntry(Sym);
Bill Wendlingcebae362010-03-10 22:34:10 +0000281 if (StubSym.getPointer() == 0)
282 StubSym = MachineModuleInfoImpl::
Chris Lattnerd62f1b42010-03-12 21:19:23 +0000283 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage());
Evan Chenge4e4ed32009-08-28 23:18:09 +0000284 }
Bob Wilson28989a82009-11-02 16:59:06 +0000285 } else {
286 assert(ACPV->isExtSymbol() && "unrecognized constant pool value");
Chris Lattner10b318b2010-01-17 21:43:43 +0000287 O << *GetExternalSymbolSymbol(ACPV->getSymbol());
Bob Wilson28989a82009-11-02 16:59:06 +0000288 }
Jim Grosbache9952212009-09-04 01:38:51 +0000289
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000290 if (ACPV->hasModifier()) O << "(" << ACPV->getModifier() << ")";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000291 if (ACPV->getPCAdjustment() != 0) {
Chris Lattner33adcfb2009-08-22 21:43:10 +0000292 O << "-(" << MAI->getPrivateGlobalPrefix() << "PC"
Evan Chenge7e0d622009-11-06 22:24:13 +0000293 << getFunctionNumber() << "_" << ACPV->getLabelId()
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000294 << "+" << (unsigned)ACPV->getPCAdjustment();
295 if (ACPV->mustAddCurrentAddress())
296 O << "-.";
Chris Lattner8b378752010-01-15 23:26:49 +0000297 O << ')';
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000298 }
Evan Chenga8e29892007-01-19 07:51:42 +0000299 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000300 };
301} // end of anonymous namespace
302
303#include "ARMGenAsmWriter.inc"
304
Chris Lattner953ebb72010-01-27 23:58:11 +0000305void ARMAsmPrinter::EmitFunctionEntryLabel() {
306 if (AFI->isThumbFunction()) {
Chris Lattner9d7efd32010-04-04 07:05:53 +0000307 OutStreamer.EmitRawText(StringRef("\t.code\t16"));
Chris Lattner0752cda2010-04-05 16:32:14 +0000308 if (!Subtarget->isTargetDarwin())
Chris Lattner9d7efd32010-04-04 07:05:53 +0000309 OutStreamer.EmitRawText(StringRef("\t.thumb_func"));
Chris Lattner0752cda2010-04-05 16:32:14 +0000310 else {
311 // This needs to emit to a temporary string to get properly quoted
312 // MCSymbols when they have spaces in them.
313 SmallString<128> Tmp;
314 raw_svector_ostream OS(Tmp);
315 OS << "\t.thumb_func\t" << *CurrentFnSym;
316 OutStreamer.EmitRawText(OS.str());
317 }
Chris Lattner953ebb72010-01-27 23:58:11 +0000318 }
Jim Grosbachb0739b72010-09-02 01:02:06 +0000319
Chris Lattner953ebb72010-01-27 23:58:11 +0000320 OutStreamer.EmitLabel(CurrentFnSym);
321}
322
Evan Chenga8e29892007-01-19 07:51:42 +0000323/// runOnMachineFunction - This uses the printInstruction()
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000324/// method to print assembly for each instruction.
325///
326bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Chenga8e29892007-01-19 07:51:42 +0000327 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Cheng6d63a722008-09-18 07:27:23 +0000328 MCP = MF.getConstantPool();
Rafael Espindola4b442b52006-05-23 02:48:20 +0000329
Chris Lattnerd49fe1b2010-01-28 01:28:58 +0000330 return AsmPrinter::runOnMachineFunction(MF);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000331}
332
Evan Cheng055b0312009-06-29 07:51:04 +0000333void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000334 raw_ostream &O, const char *Modifier) {
Evan Cheng055b0312009-06-29 07:51:04 +0000335 const MachineOperand &MO = MI->getOperand(OpNum);
Anton Korobeynikov5cdc3a92009-11-24 00:44:37 +0000336 unsigned TF = MO.getTargetFlags();
337
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000338 switch (MO.getType()) {
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000339 default:
340 assert(0 && "<unknown operand type>");
Bob Wilson5bafff32009-06-22 23:27:02 +0000341 case MachineOperand::MO_Register: {
342 unsigned Reg = MO.getReg();
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000343 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Bob Wilsonde0ae8f2010-09-16 04:55:00 +0000344 if (Modifier && strcmp(Modifier, "lane") == 0) {
Jim Grosbacha4c3c8f2010-09-15 20:26:25 +0000345 unsigned RegNum = getARMRegisterNumbering(Reg);
Chris Lattner9d1c1ad2010-04-04 18:06:11 +0000346 unsigned DReg =
Jakob Stoklund Olesene00fa642010-05-25 00:15:15 +0000347 TM.getRegisterInfo()->getMatchingSuperReg(Reg,
348 RegNum & 1 ? ARM::ssub_1 : ARM::ssub_0, &ARM::DPR_VFP2RegClass);
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000349 O << getRegisterName(DReg) << '[' << (RegNum & 1) << ']';
350 } else {
Anton Korobeynikove8ea0112009-11-07 15:20:32 +0000351 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Chris Lattner8bc86cb2009-10-19 20:59:55 +0000352 O << getRegisterName(Reg);
353 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000354 break;
Bob Wilson5bafff32009-06-22 23:27:02 +0000355 }
Evan Chenga8e29892007-01-19 07:51:42 +0000356 case MachineOperand::MO_Immediate: {
Evan Cheng5adb66a2009-09-28 09:14:39 +0000357 int64_t Imm = MO.getImm();
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000358 O << '#';
Anton Korobeynikov5cdc3a92009-11-24 00:44:37 +0000359 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
360 (TF & ARMII::MO_LO16))
361 O << ":lower16:";
362 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
363 (TF & ARMII::MO_HI16))
364 O << ":upper16:";
Anton Korobeynikov632606c2009-10-08 20:43:22 +0000365 O << Imm;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000366 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000367 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000368 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000369 O << *MO.getMBB()->getSymbol();
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000370 return;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000371 case MachineOperand::MO_GlobalAddress: {
Evan Chenga8e29892007-01-19 07:51:42 +0000372 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Dan Gohman46510a72010-04-15 01:51:59 +0000373 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov5cdc3a92009-11-24 00:44:37 +0000374
375 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
376 (TF & ARMII::MO_LO16))
377 O << ":lower16:";
378 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
379 (TF & ARMII::MO_HI16))
380 O << ":upper16:";
Chris Lattnerd62f1b42010-03-12 21:19:23 +0000381 O << *Mang->getSymbol(GV);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000382
Chris Lattner0c08d092010-04-03 22:28:33 +0000383 printOffset(MO.getOffset(), O);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000384
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000385 if (isCallOp && Subtarget->isTargetELF() &&
386 TM.getRelocationModel() == Reloc::PIC_)
387 O << "(PLT)";
Evan Chenga8e29892007-01-19 07:51:42 +0000388 break;
Rafael Espindola84b19be2006-07-16 01:02:57 +0000389 }
Evan Chenga8e29892007-01-19 07:51:42 +0000390 case MachineOperand::MO_ExternalSymbol: {
391 bool isCallOp = Modifier && !strcmp(Modifier, "call");
Chris Lattner10b318b2010-01-17 21:43:43 +0000392 O << *GetExternalSymbolSymbol(MO.getSymbolName());
Jim Grosbachb0739b72010-09-02 01:02:06 +0000393
Lauro Ramos Venancio0ae4a332007-04-22 00:04:12 +0000394 if (isCallOp && Subtarget->isTargetELF() &&
395 TM.getRelocationModel() == Reloc::PIC_)
396 O << "(PLT)";
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000397 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000398 }
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000399 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattner1b46f432010-01-23 07:00:21 +0000400 O << *GetCPISymbol(MO.getIndex());
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000401 break;
Evan Chenga8e29892007-01-19 07:51:42 +0000402 case MachineOperand::MO_JumpTableIndex:
Chris Lattner1b46f432010-01-23 07:00:21 +0000403 O << *GetJTISymbol(MO.getIndex());
Evan Chenga8e29892007-01-19 07:51:42 +0000404 break;
Rafael Espindola2f99b6b2006-05-25 12:57:06 +0000405 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000406}
407
Chris Lattner35c33bd2010-04-04 04:47:45 +0000408static void printSOImm(raw_ostream &O, int64_t V, bool VerboseAsm,
Chris Lattner33adcfb2009-08-22 21:43:10 +0000409 const MCAsmInfo *MAI) {
Evan Chenge7cbe412009-07-08 21:03:57 +0000410 // Break it up into two parts that make up a shifter immediate.
411 V = ARM_AM::getSOImmVal(V);
412 assert(V != -1 && "Not a valid so_imm value!");
413
Evan Chengc70d1842007-03-20 08:11:30 +0000414 unsigned Imm = ARM_AM::getSOImmValImm(V);
415 unsigned Rot = ARM_AM::getSOImmValRot(V);
Anton Korobeynikov7751ad92008-11-22 16:15:34 +0000416
Evan Chenga8e29892007-01-19 07:51:42 +0000417 // Print low-level immediate formation info, per
418 // A5.1.3: "Data-processing operands - Immediate".
419 if (Rot) {
420 O << "#" << Imm << ", " << Rot;
421 // Pretty printed version.
Evan Cheng39382422009-10-28 01:44:26 +0000422 if (VerboseAsm) {
Chris Lattner35c33bd2010-04-04 04:47:45 +0000423 O << "\t" << MAI->getCommentString() << ' ';
Evan Cheng39382422009-10-28 01:44:26 +0000424 O << (int)ARM_AM::rotr32(Imm, Rot);
425 }
Evan Chenga8e29892007-01-19 07:51:42 +0000426 } else {
427 O << "#" << Imm;
428 }
429}
430
Evan Chengc70d1842007-03-20 08:11:30 +0000431/// printSOImmOperand - SOImm is 4-bit rotate amount in bits 8-11 with 8-bit
432/// immediate in bits 0-7.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000433void ARMAsmPrinter::printSOImmOperand(const MachineInstr *MI, int OpNum,
434 raw_ostream &O) {
Evan Chengc70d1842007-03-20 08:11:30 +0000435 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmand735b802008-10-03 15:45:36 +0000436 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattner3f53c832010-04-04 18:52:31 +0000437 printSOImm(O, MO.getImm(), isVerbose(), MAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000438}
439
Evan Cheng90922132008-11-06 02:25:39 +0000440/// printSOImm2PartOperand - SOImm is broken into two pieces using a 'mov'
441/// followed by an 'orr' to materialize.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000442void ARMAsmPrinter::printSOImm2PartOperand(const MachineInstr *MI, int OpNum,
443 raw_ostream &O) {
Evan Chengc70d1842007-03-20 08:11:30 +0000444 const MachineOperand &MO = MI->getOperand(OpNum);
Dan Gohmand735b802008-10-03 15:45:36 +0000445 assert(MO.isImm() && "Not a valid so_imm value!");
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000446 unsigned V1 = ARM_AM::getSOImmTwoPartFirst(MO.getImm());
447 unsigned V2 = ARM_AM::getSOImmTwoPartSecond(MO.getImm());
Chris Lattner3f53c832010-04-04 18:52:31 +0000448 printSOImm(O, V1, isVerbose(), MAI);
Evan Cheng5e148a32007-06-05 18:55:18 +0000449 O << "\n\torr";
Chris Lattner35c33bd2010-04-04 04:47:45 +0000450 printPredicateOperand(MI, 2, O);
Evan Cheng162e3092009-10-26 23:45:59 +0000451 O << "\t";
Chris Lattner35c33bd2010-04-04 04:47:45 +0000452 printOperand(MI, 0, O);
Evan Chengc70d1842007-03-20 08:11:30 +0000453 O << ", ";
Chris Lattner35c33bd2010-04-04 04:47:45 +0000454 printOperand(MI, 0, O);
Evan Chengc70d1842007-03-20 08:11:30 +0000455 O << ", ";
Chris Lattner3f53c832010-04-04 18:52:31 +0000456 printSOImm(O, V2, isVerbose(), MAI);
Evan Chengc70d1842007-03-20 08:11:30 +0000457}
458
Evan Chenga8e29892007-01-19 07:51:42 +0000459// so_reg is a 4-operand unit corresponding to register forms of the A5.1
460// "Addressing Mode 1 - Data-processing operands" forms. This includes:
Evan Cheng9cb9e672009-06-27 02:26:13 +0000461// REG 0 0 - e.g. R5
462// REG REG 0,SH_OPC - e.g. R5, ROR R3
Evan Chenga8e29892007-01-19 07:51:42 +0000463// REG 0 IMM,SH_OPC - e.g. R5, LSL #3
Chris Lattner35c33bd2010-04-04 04:47:45 +0000464void ARMAsmPrinter::printSORegOperand(const MachineInstr *MI, int Op,
465 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000466 const MachineOperand &MO1 = MI->getOperand(Op);
467 const MachineOperand &MO2 = MI->getOperand(Op+1);
468 const MachineOperand &MO3 = MI->getOperand(Op+2);
469
Chris Lattner762ccea2009-09-13 20:31:40 +0000470 O << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000471
472 // Print the shift opc.
Bob Wilson1d9125a2010-08-05 00:34:42 +0000473 ARM_AM::ShiftOpc ShOpc = ARM_AM::getSORegShOp(MO3.getImm());
474 O << ", " << ARM_AM::getShiftOpcStr(ShOpc);
Evan Chenga8e29892007-01-19 07:51:42 +0000475 if (MO2.getReg()) {
Bob Wilson1d9125a2010-08-05 00:34:42 +0000476 O << ' ' << getRegisterName(MO2.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000477 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
Bob Wilson1d9125a2010-08-05 00:34:42 +0000478 } else if (ShOpc != ARM_AM::rrx) {
479 O << " #" << ARM_AM::getSORegOffset(MO3.getImm());
Evan Chenga8e29892007-01-19 07:51:42 +0000480 }
481}
482
Chris Lattner35c33bd2010-04-04 04:47:45 +0000483void ARMAsmPrinter::printAddrMode2Operand(const MachineInstr *MI, int Op,
484 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000485 const MachineOperand &MO1 = MI->getOperand(Op);
486 const MachineOperand &MO2 = MI->getOperand(Op+1);
487 const MachineOperand &MO3 = MI->getOperand(Op+2);
488
Dan Gohmand735b802008-10-03 15:45:36 +0000489 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000490 printOperand(MI, Op, O);
Evan Chenga8e29892007-01-19 07:51:42 +0000491 return;
492 }
493
Chris Lattner762ccea2009-09-13 20:31:40 +0000494 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000495
496 if (!MO2.getReg()) {
Johnny Chen9e088762010-03-17 17:52:21 +0000497 if (ARM_AM::getAM2Offset(MO3.getImm())) // Don't print +0.
Evan Chenga8e29892007-01-19 07:51:42 +0000498 O << ", #"
Johnny Chen9e088762010-03-17 17:52:21 +0000499 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000500 << ARM_AM::getAM2Offset(MO3.getImm());
501 O << "]";
502 return;
503 }
504
505 O << ", "
Johnny Chen9e088762010-03-17 17:52:21 +0000506 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO3.getImm()))
Chris Lattner762ccea2009-09-13 20:31:40 +0000507 << getRegisterName(MO2.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000508
Evan Chenga8e29892007-01-19 07:51:42 +0000509 if (unsigned ShImm = ARM_AM::getAM2Offset(MO3.getImm()))
510 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000511 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000512 << " #" << ShImm;
513 O << "]";
514}
515
Chris Lattner35c33bd2010-04-04 04:47:45 +0000516void ARMAsmPrinter::printAddrMode2OffsetOperand(const MachineInstr *MI, int Op,
517 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000518 const MachineOperand &MO1 = MI->getOperand(Op);
519 const MachineOperand &MO2 = MI->getOperand(Op+1);
520
521 if (!MO1.getReg()) {
Evan Chengbdc98692007-05-03 23:30:36 +0000522 unsigned ImmOffs = ARM_AM::getAM2Offset(MO2.getImm());
Evan Chengbdc98692007-05-03 23:30:36 +0000523 O << "#"
Johnny Chen9e088762010-03-17 17:52:21 +0000524 << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()))
Evan Chengbdc98692007-05-03 23:30:36 +0000525 << ImmOffs;
Evan Chenga8e29892007-01-19 07:51:42 +0000526 return;
527 }
528
Johnny Chen9e088762010-03-17 17:52:21 +0000529 O << ARM_AM::getAddrOpcStr(ARM_AM::getAM2Op(MO2.getImm()))
Chris Lattner762ccea2009-09-13 20:31:40 +0000530 << getRegisterName(MO1.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000531
Evan Chenga8e29892007-01-19 07:51:42 +0000532 if (unsigned ShImm = ARM_AM::getAM2Offset(MO2.getImm()))
533 O << ", "
Chris Lattner9a1ceae2007-12-30 20:49:49 +0000534 << ARM_AM::getShiftOpcStr(ARM_AM::getAM2ShiftOpc(MO2.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000535 << " #" << ShImm;
536}
537
Chris Lattner35c33bd2010-04-04 04:47:45 +0000538void ARMAsmPrinter::printAddrMode3Operand(const MachineInstr *MI, int Op,
539 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000540 const MachineOperand &MO1 = MI->getOperand(Op);
541 const MachineOperand &MO2 = MI->getOperand(Op+1);
542 const MachineOperand &MO3 = MI->getOperand(Op+2);
Jim Grosbache9952212009-09-04 01:38:51 +0000543
Dan Gohman6f0d0242008-02-10 18:45:23 +0000544 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Chris Lattner762ccea2009-09-13 20:31:40 +0000545 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000546
547 if (MO2.getReg()) {
548 O << ", "
549 << (char)ARM_AM::getAM3Op(MO3.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000550 << getRegisterName(MO2.getReg())
Evan Chenga8e29892007-01-19 07:51:42 +0000551 << "]";
552 return;
553 }
Jim Grosbache9952212009-09-04 01:38:51 +0000554
Evan Chenga8e29892007-01-19 07:51:42 +0000555 if (unsigned ImmOffs = ARM_AM::getAM3Offset(MO3.getImm()))
556 O << ", #"
Johnny Chen9e088762010-03-17 17:52:21 +0000557 << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO3.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000558 << ImmOffs;
559 O << "]";
560}
561
Chris Lattner35c33bd2010-04-04 04:47:45 +0000562void ARMAsmPrinter::printAddrMode3OffsetOperand(const MachineInstr *MI, int Op,
563 raw_ostream &O){
Evan Chenga8e29892007-01-19 07:51:42 +0000564 const MachineOperand &MO1 = MI->getOperand(Op);
565 const MachineOperand &MO2 = MI->getOperand(Op+1);
566
567 if (MO1.getReg()) {
568 O << (char)ARM_AM::getAM3Op(MO2.getImm())
Chris Lattner762ccea2009-09-13 20:31:40 +0000569 << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000570 return;
571 }
572
573 unsigned ImmOffs = ARM_AM::getAM3Offset(MO2.getImm());
574 O << "#"
Johnny Chen9e088762010-03-17 17:52:21 +0000575 << ARM_AM::getAddrOpcStr(ARM_AM::getAM3Op(MO2.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000576 << ImmOffs;
577}
Jim Grosbache9952212009-09-04 01:38:51 +0000578
Evan Chenga8e29892007-01-19 07:51:42 +0000579void ARMAsmPrinter::printAddrMode4Operand(const MachineInstr *MI, int Op,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000580 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000581 const char *Modifier) {
Evan Chenga8e29892007-01-19 07:51:42 +0000582 const MachineOperand &MO2 = MI->getOperand(Op+1);
583 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
584 if (Modifier && strcmp(Modifier, "submode") == 0) {
Bob Wilsonea7f22c2010-03-16 16:19:07 +0000585 O << ARM_AM::getAMSubModeStr(Mode);
Evan Chengd77c7ab2009-08-07 21:19:10 +0000586 } else if (Modifier && strcmp(Modifier, "wide") == 0) {
587 ARM_AM::AMSubMode Mode = ARM_AM::getAM4SubMode(MO2.getImm());
588 if (Mode == ARM_AM::ia)
589 O << ".w";
Evan Chenga8e29892007-01-19 07:51:42 +0000590 } else {
Chris Lattner35c33bd2010-04-04 04:47:45 +0000591 printOperand(MI, Op, O);
Evan Chenga8e29892007-01-19 07:51:42 +0000592 }
593}
594
595void ARMAsmPrinter::printAddrMode5Operand(const MachineInstr *MI, int Op,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000596 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000597 const char *Modifier) {
598 const MachineOperand &MO1 = MI->getOperand(Op);
599 const MachineOperand &MO2 = MI->getOperand(Op+1);
600
Dan Gohmand735b802008-10-03 15:45:36 +0000601 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000602 printOperand(MI, Op, O);
Evan Chenga8e29892007-01-19 07:51:42 +0000603 return;
604 }
Jim Grosbache9952212009-09-04 01:38:51 +0000605
Dan Gohman6f0d0242008-02-10 18:45:23 +0000606 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Evan Chenga8e29892007-01-19 07:51:42 +0000607
Chris Lattner762ccea2009-09-13 20:31:40 +0000608 O << "[" << getRegisterName(MO1.getReg());
Jim Grosbache9952212009-09-04 01:38:51 +0000609
Evan Chenga8e29892007-01-19 07:51:42 +0000610 if (unsigned ImmOffs = ARM_AM::getAM5Offset(MO2.getImm())) {
611 O << ", #"
Johnny Chen9e088762010-03-17 17:52:21 +0000612 << ARM_AM::getAddrOpcStr(ARM_AM::getAM5Op(MO2.getImm()))
Evan Chenga8e29892007-01-19 07:51:42 +0000613 << ImmOffs*4;
614 }
615 O << "]";
616}
617
Chris Lattner35c33bd2010-04-04 04:47:45 +0000618void ARMAsmPrinter::printAddrMode6Operand(const MachineInstr *MI, int Op,
619 raw_ostream &O) {
Bob Wilson8b024a52009-07-01 23:16:05 +0000620 const MachineOperand &MO1 = MI->getOperand(Op);
621 const MachineOperand &MO2 = MI->getOperand(Op+1);
Bob Wilson8b024a52009-07-01 23:16:05 +0000622
Jim Grosbach8a5ec862009-11-07 21:25:39 +0000623 O << "[" << getRegisterName(MO1.getReg());
Bob Wilson226036e2010-03-20 22:13:40 +0000624 if (MO2.getImm()) {
Anton Korobeynikovbce3dbd2009-11-17 20:04:59 +0000625 // FIXME: Both darwin as and GNU as violate ARM docs here.
Bob Wilson273ff312010-07-14 23:54:43 +0000626 O << ", :" << (MO2.getImm() << 3);
Jim Grosbach8a5ec862009-11-07 21:25:39 +0000627 }
628 O << "]";
Bob Wilson226036e2010-03-20 22:13:40 +0000629}
Bob Wilsona43e6bf2010-03-16 23:01:13 +0000630
Chris Lattner35c33bd2010-04-04 04:47:45 +0000631void ARMAsmPrinter::printAddrMode6OffsetOperand(const MachineInstr *MI, int Op,
632 raw_ostream &O){
Bob Wilson226036e2010-03-20 22:13:40 +0000633 const MachineOperand &MO = MI->getOperand(Op);
634 if (MO.getReg() == 0)
635 O << "!";
636 else
637 O << ", " << getRegisterName(MO.getReg());
Bob Wilson8b024a52009-07-01 23:16:05 +0000638}
639
Evan Chenga8e29892007-01-19 07:51:42 +0000640void ARMAsmPrinter::printAddrModePCOperand(const MachineInstr *MI, int Op,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000641 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000642 const char *Modifier) {
643 if (Modifier && strcmp(Modifier, "label") == 0) {
Chris Lattner35c33bd2010-04-04 04:47:45 +0000644 printPCLabel(MI, Op+1, O);
Evan Chenga8e29892007-01-19 07:51:42 +0000645 return;
646 }
647
648 const MachineOperand &MO1 = MI->getOperand(Op);
Dan Gohman6f0d0242008-02-10 18:45:23 +0000649 assert(TargetRegisterInfo::isPhysicalRegister(MO1.getReg()));
Johnny Chen9e088762010-03-17 17:52:21 +0000650 O << "[pc, " << getRegisterName(MO1.getReg()) << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000651}
652
653void
Chris Lattner35c33bd2010-04-04 04:47:45 +0000654ARMAsmPrinter::printBitfieldInvMaskImmOperand(const MachineInstr *MI, int Op,
655 raw_ostream &O) {
Evan Chengf49810c2009-06-23 17:48:47 +0000656 const MachineOperand &MO = MI->getOperand(Op);
657 uint32_t v = ~MO.getImm();
Evan Cheng9e03cbe2009-06-25 22:04:44 +0000658 int32_t lsb = CountTrailingZeros_32(v);
Nick Lewyckyb825aaa2009-06-24 01:08:42 +0000659 int32_t width = (32 - CountLeadingZeros_32 (v)) - lsb;
Evan Chengf49810c2009-06-23 17:48:47 +0000660 assert(MO.isImm() && "Not a valid bf_inv_mask_imm value!");
661 O << "#" << lsb << ", #" << width;
662}
663
Johnny Chen1adc40c2010-08-12 20:46:17 +0000664void
665ARMAsmPrinter::printMemBOption(const MachineInstr *MI, int OpNum,
666 raw_ostream &O) {
667 unsigned val = MI->getOperand(OpNum).getImm();
668 O << ARM_MB::MemBOptToString(val);
669}
670
Bob Wilson22f5dc72010-08-16 18:27:34 +0000671void ARMAsmPrinter::printShiftImmOperand(const MachineInstr *MI, int OpNum,
Bob Wilsoneaf1c982010-08-11 23:10:46 +0000672 raw_ostream &O) {
673 unsigned ShiftOp = MI->getOperand(OpNum).getImm();
674 ARM_AM::ShiftOpc Opc = ARM_AM::getSORegShOp(ShiftOp);
675 switch (Opc) {
676 case ARM_AM::no_shift:
677 return;
678 case ARM_AM::lsl:
679 O << ", lsl #";
680 break;
681 case ARM_AM::asr:
682 O << ", asr #";
683 break;
684 default:
Bob Wilson22f5dc72010-08-16 18:27:34 +0000685 assert(0 && "unexpected shift opcode for shift immediate operand");
Bob Wilsoneaf1c982010-08-11 23:10:46 +0000686 }
687 O << ARM_AM::getSORegOffset(ShiftOp);
688}
689
Evan Cheng055b0312009-06-29 07:51:04 +0000690//===--------------------------------------------------------------------===//
691
Chris Lattner35c33bd2010-04-04 04:47:45 +0000692void ARMAsmPrinter::printThumbS4ImmOperand(const MachineInstr *MI, int Op,
693 raw_ostream &O) {
Evan Cheng2ef9c8a2009-11-19 06:57:41 +0000694 O << "#" << MI->getOperand(Op).getImm() * 4;
695}
696
Evan Chengf49810c2009-06-23 17:48:47 +0000697void
Chris Lattner35c33bd2010-04-04 04:47:45 +0000698ARMAsmPrinter::printThumbITMask(const MachineInstr *MI, int Op,
699 raw_ostream &O) {
Evan Chenge5564742009-07-09 23:43:36 +0000700 // (3 - the number of trailing zeros) is the number of then / else.
701 unsigned Mask = MI->getOperand(Op).getImm();
Johnny Chen9e088762010-03-17 17:52:21 +0000702 unsigned CondBit0 = Mask >> 4 & 1;
Evan Chenge5564742009-07-09 23:43:36 +0000703 unsigned NumTZ = CountTrailingZeros_32(Mask);
704 assert(NumTZ <= 3 && "Invalid IT mask!");
Evan Cheng06e16582009-07-10 01:54:42 +0000705 for (unsigned Pos = 3, e = NumTZ; Pos > e; --Pos) {
Johnny Chen9e088762010-03-17 17:52:21 +0000706 bool T = ((Mask >> Pos) & 1) == CondBit0;
Evan Chenge5564742009-07-09 23:43:36 +0000707 if (T)
708 O << 't';
709 else
710 O << 'e';
711 }
712}
713
714void
Chris Lattner35c33bd2010-04-04 04:47:45 +0000715ARMAsmPrinter::printThumbAddrModeRROperand(const MachineInstr *MI, int Op,
716 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000717 const MachineOperand &MO1 = MI->getOperand(Op);
718 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattner762ccea2009-09-13 20:31:40 +0000719 O << "[" << getRegisterName(MO1.getReg());
720 O << ", " << getRegisterName(MO2.getReg()) << "]";
Evan Chenga8e29892007-01-19 07:51:42 +0000721}
722
723void
724ARMAsmPrinter::printThumbAddrModeRI5Operand(const MachineInstr *MI, int Op,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000725 raw_ostream &O,
Evan Chenga8e29892007-01-19 07:51:42 +0000726 unsigned Scale) {
727 const MachineOperand &MO1 = MI->getOperand(Op);
Evan Chengcea117d2007-01-30 02:35:32 +0000728 const MachineOperand &MO2 = MI->getOperand(Op+1);
729 const MachineOperand &MO3 = MI->getOperand(Op+2);
Evan Chenga8e29892007-01-19 07:51:42 +0000730
Dan Gohmand735b802008-10-03 15:45:36 +0000731 if (!MO1.isReg()) { // FIXME: This is for CP entries, but isn't right.
Chris Lattner35c33bd2010-04-04 04:47:45 +0000732 printOperand(MI, Op, O);
Evan Chenga8e29892007-01-19 07:51:42 +0000733 return;
734 }
735
Chris Lattner762ccea2009-09-13 20:31:40 +0000736 O << "[" << getRegisterName(MO1.getReg());
Evan Chengcea117d2007-01-30 02:35:32 +0000737 if (MO3.getReg())
Chris Lattner762ccea2009-09-13 20:31:40 +0000738 O << ", " << getRegisterName(MO3.getReg());
Evan Cheng4b6bbe12009-11-10 19:48:13 +0000739 else if (unsigned ImmOffs = MO2.getImm())
Johnny Chen9e088762010-03-17 17:52:21 +0000740 O << ", #" << ImmOffs * Scale;
Evan Chenga8e29892007-01-19 07:51:42 +0000741 O << "]";
742}
743
744void
Chris Lattner35c33bd2010-04-04 04:47:45 +0000745ARMAsmPrinter::printThumbAddrModeS1Operand(const MachineInstr *MI, int Op,
746 raw_ostream &O) {
747 printThumbAddrModeRI5Operand(MI, Op, O, 1);
Evan Chenga8e29892007-01-19 07:51:42 +0000748}
749void
Chris Lattner35c33bd2010-04-04 04:47:45 +0000750ARMAsmPrinter::printThumbAddrModeS2Operand(const MachineInstr *MI, int Op,
751 raw_ostream &O) {
752 printThumbAddrModeRI5Operand(MI, Op, O, 2);
Evan Chenga8e29892007-01-19 07:51:42 +0000753}
754void
Chris Lattner35c33bd2010-04-04 04:47:45 +0000755ARMAsmPrinter::printThumbAddrModeS4Operand(const MachineInstr *MI, int Op,
756 raw_ostream &O) {
757 printThumbAddrModeRI5Operand(MI, Op, O, 4);
Evan Chenga8e29892007-01-19 07:51:42 +0000758}
759
Chris Lattner35c33bd2010-04-04 04:47:45 +0000760void ARMAsmPrinter::printThumbAddrModeSPOperand(const MachineInstr *MI,int Op,
761 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000762 const MachineOperand &MO1 = MI->getOperand(Op);
763 const MachineOperand &MO2 = MI->getOperand(Op+1);
Chris Lattner762ccea2009-09-13 20:31:40 +0000764 O << "[" << getRegisterName(MO1.getReg());
Evan Chenga8e29892007-01-19 07:51:42 +0000765 if (unsigned ImmOffs = MO2.getImm())
Johnny Chen9e088762010-03-17 17:52:21 +0000766 O << ", #" << ImmOffs*4;
Evan Chenga8e29892007-01-19 07:51:42 +0000767 O << "]";
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000768}
769
Evan Cheng055b0312009-06-29 07:51:04 +0000770//===--------------------------------------------------------------------===//
771
Evan Cheng9cb9e672009-06-27 02:26:13 +0000772// Constant shifts t2_so_reg is a 2-operand unit corresponding to the Thumb2
773// register with shift forms.
774// REG 0 0 - e.g. R5
775// REG IMM, SH_OPC - e.g. R5, LSL #3
Chris Lattner35c33bd2010-04-04 04:47:45 +0000776void ARMAsmPrinter::printT2SOOperand(const MachineInstr *MI, int OpNum,
777 raw_ostream &O) {
Evan Cheng9cb9e672009-06-27 02:26:13 +0000778 const MachineOperand &MO1 = MI->getOperand(OpNum);
779 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
780
781 unsigned Reg = MO1.getReg();
782 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Chris Lattner762ccea2009-09-13 20:31:40 +0000783 O << getRegisterName(Reg);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000784
785 // Print the shift opc.
Evan Cheng9cb9e672009-06-27 02:26:13 +0000786 assert(MO2.isImm() && "Not a valid t2_so_reg value!");
Bob Wilson1d9125a2010-08-05 00:34:42 +0000787 ARM_AM::ShiftOpc ShOpc = ARM_AM::getSORegShOp(MO2.getImm());
788 O << ", " << ARM_AM::getShiftOpcStr(ShOpc);
789 if (ShOpc != ARM_AM::rrx)
790 O << " #" << ARM_AM::getSORegOffset(MO2.getImm());
Evan Cheng9cb9e672009-06-27 02:26:13 +0000791}
792
Evan Cheng055b0312009-06-29 07:51:04 +0000793void ARMAsmPrinter::printT2AddrModeImm12Operand(const MachineInstr *MI,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000794 int OpNum,
795 raw_ostream &O) {
Evan Cheng055b0312009-06-29 07:51:04 +0000796 const MachineOperand &MO1 = MI->getOperand(OpNum);
797 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
Evan Cheng9cb9e672009-06-27 02:26:13 +0000798
Chris Lattner762ccea2009-09-13 20:31:40 +0000799 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000800
801 unsigned OffImm = MO2.getImm();
802 if (OffImm) // Don't print +0.
Johnny Chen9e088762010-03-17 17:52:21 +0000803 O << ", #" << OffImm;
Evan Cheng055b0312009-06-29 07:51:04 +0000804 O << "]";
805}
806
807void ARMAsmPrinter::printT2AddrModeImm8Operand(const MachineInstr *MI,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000808 int OpNum,
809 raw_ostream &O) {
Evan Cheng055b0312009-06-29 07:51:04 +0000810 const MachineOperand &MO1 = MI->getOperand(OpNum);
811 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
812
Chris Lattner762ccea2009-09-13 20:31:40 +0000813 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000814
815 int32_t OffImm = (int32_t)MO2.getImm();
816 // Don't print +0.
817 if (OffImm < 0)
818 O << ", #-" << -OffImm;
819 else if (OffImm > 0)
Johnny Chen9e088762010-03-17 17:52:21 +0000820 O << ", #" << OffImm;
Evan Cheng055b0312009-06-29 07:51:04 +0000821 O << "]";
822}
823
Evan Cheng5c874172009-07-09 22:21:59 +0000824void ARMAsmPrinter::printT2AddrModeImm8s4Operand(const MachineInstr *MI,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000825 int OpNum,
826 raw_ostream &O) {
Evan Cheng5c874172009-07-09 22:21:59 +0000827 const MachineOperand &MO1 = MI->getOperand(OpNum);
828 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
829
Chris Lattner762ccea2009-09-13 20:31:40 +0000830 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng5c874172009-07-09 22:21:59 +0000831
832 int32_t OffImm = (int32_t)MO2.getImm() / 4;
833 // Don't print +0.
834 if (OffImm < 0)
Evan Chenga64ce452009-11-19 06:31:26 +0000835 O << ", #-" << -OffImm * 4;
Evan Cheng5c874172009-07-09 22:21:59 +0000836 else if (OffImm > 0)
Johnny Chen9e088762010-03-17 17:52:21 +0000837 O << ", #" << OffImm * 4;
Evan Cheng5c874172009-07-09 22:21:59 +0000838 O << "]";
839}
840
Evan Chenge88d5ce2009-07-02 07:28:31 +0000841void ARMAsmPrinter::printT2AddrModeImm8OffsetOperand(const MachineInstr *MI,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000842 int OpNum,
843 raw_ostream &O) {
Evan Chenge88d5ce2009-07-02 07:28:31 +0000844 const MachineOperand &MO1 = MI->getOperand(OpNum);
845 int32_t OffImm = (int32_t)MO1.getImm();
846 // Don't print +0.
847 if (OffImm < 0)
848 O << "#-" << -OffImm;
849 else if (OffImm > 0)
Johnny Chen9e088762010-03-17 17:52:21 +0000850 O << "#" << OffImm;
851}
852
Evan Cheng055b0312009-06-29 07:51:04 +0000853void ARMAsmPrinter::printT2AddrModeSoRegOperand(const MachineInstr *MI,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000854 int OpNum,
855 raw_ostream &O) {
Evan Cheng055b0312009-06-29 07:51:04 +0000856 const MachineOperand &MO1 = MI->getOperand(OpNum);
857 const MachineOperand &MO2 = MI->getOperand(OpNum+1);
858 const MachineOperand &MO3 = MI->getOperand(OpNum+2);
859
Chris Lattner762ccea2009-09-13 20:31:40 +0000860 O << "[" << getRegisterName(MO1.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000861
Evan Cheng3a214252009-08-11 08:52:18 +0000862 assert(MO2.getReg() && "Invalid so_reg load / store address!");
Chris Lattner762ccea2009-09-13 20:31:40 +0000863 O << ", " << getRegisterName(MO2.getReg());
Evan Cheng055b0312009-06-29 07:51:04 +0000864
Evan Cheng3a214252009-08-11 08:52:18 +0000865 unsigned ShAmt = MO3.getImm();
866 if (ShAmt) {
867 assert(ShAmt <= 3 && "Not a valid Thumb2 addressing mode!");
868 O << ", lsl #" << ShAmt;
Evan Cheng055b0312009-06-29 07:51:04 +0000869 }
870 O << "]";
871}
872
873
874//===--------------------------------------------------------------------===//
875
Chris Lattner35c33bd2010-04-04 04:47:45 +0000876void ARMAsmPrinter::printPredicateOperand(const MachineInstr *MI, int OpNum,
877 raw_ostream &O) {
Evan Cheng055b0312009-06-29 07:51:04 +0000878 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
Evan Cheng44bec522007-05-15 01:29:07 +0000879 if (CC != ARMCC::AL)
880 O << ARMCondCodeToString(CC);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000881}
882
Johnny Chen9d3acaa2010-03-02 17:57:15 +0000883void ARMAsmPrinter::printMandatoryPredicateOperand(const MachineInstr *MI,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000884 int OpNum,
885 raw_ostream &O) {
Johnny Chen9d3acaa2010-03-02 17:57:15 +0000886 ARMCC::CondCodes CC = (ARMCC::CondCodes)MI->getOperand(OpNum).getImm();
887 O << ARMCondCodeToString(CC);
888}
889
Chris Lattner35c33bd2010-04-04 04:47:45 +0000890void ARMAsmPrinter::printSBitModifierOperand(const MachineInstr *MI, int OpNum,
891 raw_ostream &O){
Evan Cheng055b0312009-06-29 07:51:04 +0000892 unsigned Reg = MI->getOperand(OpNum).getReg();
Evan Chengdfb2eba2007-07-06 01:01:34 +0000893 if (Reg) {
894 assert(Reg == ARM::CPSR && "Expect ARM CPSR register!");
895 O << 's';
896 }
897}
898
Chris Lattner35c33bd2010-04-04 04:47:45 +0000899void ARMAsmPrinter::printPCLabel(const MachineInstr *MI, int OpNum,
900 raw_ostream &O) {
Evan Cheng055b0312009-06-29 07:51:04 +0000901 int Id = (int)MI->getOperand(OpNum).getImm();
Evan Chenge7e0d622009-11-06 22:24:13 +0000902 O << MAI->getPrivateGlobalPrefix()
903 << "PC" << getFunctionNumber() << "_" << Id;
Evan Chenga8e29892007-01-19 07:51:42 +0000904}
905
Chris Lattner35c33bd2010-04-04 04:47:45 +0000906void ARMAsmPrinter::printRegisterList(const MachineInstr *MI, int OpNum,
907 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +0000908 O << "{";
Bob Wilson815baeb2010-03-13 01:08:20 +0000909 for (unsigned i = OpNum, e = MI->getNumOperands(); i != e; ++i) {
Evan Cheng4b322e52009-08-11 21:11:32 +0000910 if (MI->getOperand(i).isImplicit())
911 continue;
Bob Wilson815baeb2010-03-13 01:08:20 +0000912 if ((int)i != OpNum) O << ", ";
Chris Lattner35c33bd2010-04-04 04:47:45 +0000913 printOperand(MI, i, O);
Evan Chenga8e29892007-01-19 07:51:42 +0000914 }
915 O << "}";
916}
917
Evan Cheng055b0312009-06-29 07:51:04 +0000918void ARMAsmPrinter::printCPInstOperand(const MachineInstr *MI, int OpNum,
Chris Lattner35c33bd2010-04-04 04:47:45 +0000919 raw_ostream &O, const char *Modifier) {
Evan Chenga8e29892007-01-19 07:51:42 +0000920 assert(Modifier && "This operand only works with a modifier!");
921 // There are two aspects to a CONSTANTPOOL_ENTRY operand, the label and the
922 // data itself.
923 if (!strcmp(Modifier, "label")) {
Evan Cheng055b0312009-06-29 07:51:04 +0000924 unsigned ID = MI->getOperand(OpNum).getImm();
Chris Lattner8e089a92010-02-10 00:36:00 +0000925 OutStreamer.EmitLabel(GetCPISymbol(ID));
Evan Chenga8e29892007-01-19 07:51:42 +0000926 } else {
927 assert(!strcmp(Modifier, "cpentry") && "Unknown modifier for CPE");
Evan Cheng055b0312009-06-29 07:51:04 +0000928 unsigned CPI = MI->getOperand(OpNum).getIndex();
Evan Chenga8e29892007-01-19 07:51:42 +0000929
Evan Cheng6d63a722008-09-18 07:27:23 +0000930 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPI];
Jim Grosbache9952212009-09-04 01:38:51 +0000931
Evan Cheng711b6dc2008-08-08 06:56:16 +0000932 if (MCPE.isMachineConstantPoolEntry()) {
Evan Chenga8e29892007-01-19 07:51:42 +0000933 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
Evan Cheng711b6dc2008-08-08 06:56:16 +0000934 } else {
Evan Chenga8e29892007-01-19 07:51:42 +0000935 EmitGlobalConstant(MCPE.Val.ConstVal);
Lauro Ramos Venancio305b8a52007-04-25 14:50:40 +0000936 }
Evan Chenga8e29892007-01-19 07:51:42 +0000937 }
938}
939
Chris Lattner0890cf12010-01-25 19:51:38 +0000940MCSymbol *ARMAsmPrinter::
941GetARMSetPICJumpTableLabel2(unsigned uid, unsigned uid2,
942 const MachineBasicBlock *MBB) const {
943 SmallString<60> Name;
944 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix()
Chris Lattnerbfcb0962010-01-25 19:39:52 +0000945 << getFunctionNumber() << '_' << uid << '_' << uid2
Chris Lattner0890cf12010-01-25 19:51:38 +0000946 << "_set_" << MBB->getNumber();
Chris Lattner9b97a732010-03-30 18:10:53 +0000947 return OutContext.GetOrCreateSymbol(Name.str());
Chris Lattner0890cf12010-01-25 19:51:38 +0000948}
949
950MCSymbol *ARMAsmPrinter::
951GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const {
952 SmallString<60> Name;
953 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "JTI"
Chris Lattner281e7762010-01-25 23:28:03 +0000954 << getFunctionNumber() << '_' << uid << '_' << uid2;
Chris Lattner9b97a732010-03-30 18:10:53 +0000955 return OutContext.GetOrCreateSymbol(Name.str());
Chris Lattnerbfcb0962010-01-25 19:39:52 +0000956}
957
Jim Grosbach433a5782010-09-24 20:47:58 +0000958
959MCSymbol *ARMAsmPrinter::GetARMSJLJEHLabel(void) const {
960 SmallString<60> Name;
961 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "SJLJEH"
962 << getFunctionNumber();
963 return OutContext.GetOrCreateSymbol(Name.str());
964}
965
Chris Lattner35c33bd2010-04-04 04:47:45 +0000966void ARMAsmPrinter::printJTBlockOperand(const MachineInstr *MI, int OpNum,
967 raw_ostream &O) {
Evan Cheng66ac5312009-07-25 00:33:29 +0000968 assert(!Subtarget->isThumb2() && "Thumb2 should use double-jump jumptables!");
969
Evan Cheng055b0312009-06-29 07:51:04 +0000970 const MachineOperand &MO1 = MI->getOperand(OpNum);
971 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
Jim Grosbachb0739b72010-09-02 01:02:06 +0000972
Chris Lattner8aa797a2007-12-30 23:10:15 +0000973 unsigned JTI = MO1.getIndex();
Chris Lattner0890cf12010-01-25 19:51:38 +0000974 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
Chris Lattner03335352010-04-05 17:52:31 +0000975 // Can't use EmitLabel until instprinter happens, label comes out in the wrong
976 // order.
Bob Wilsond4d188e2010-07-31 06:28:10 +0000977 O << "\n" << *JTISymbol << ":\n";
Evan Chenga8e29892007-01-19 07:51:42 +0000978
Chris Lattner33adcfb2009-08-22 21:43:10 +0000979 const char *JTEntryDirective = MAI->getData32bitsDirective();
Evan Chenga8e29892007-01-19 07:51:42 +0000980
Dan Gohman45426112008-07-07 20:06:06 +0000981 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
Evan Chenga8e29892007-01-19 07:51:42 +0000982 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
983 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Chris Lattnercee63322010-01-26 20:40:54 +0000984 bool UseSet= MAI->hasSetDirective() && TM.getRelocationModel() == Reloc::PIC_;
Evan Chengc324ecb2009-07-24 18:19:46 +0000985 SmallPtrSet<MachineBasicBlock*, 8> JTSets;
Evan Chenga8e29892007-01-19 07:51:42 +0000986 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
987 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng66ac5312009-07-25 00:33:29 +0000988 bool isNew = JTSets.insert(MBB);
989
Chris Lattner0890cf12010-01-25 19:51:38 +0000990 if (UseSet && isNew) {
Chris Lattnercee63322010-01-26 20:40:54 +0000991 O << "\t.set\t"
Jim Grosbach1f9b48a2010-01-25 23:50:13 +0000992 << *GetARMSetPICJumpTableLabel2(JTI, MO2.getImm(), MBB) << ','
Chris Lattner1b2eb0e2010-03-13 21:04:28 +0000993 << *MBB->getSymbol() << '-' << *JTISymbol << '\n';
Chris Lattner0890cf12010-01-25 19:51:38 +0000994 }
Evan Chenga8e29892007-01-19 07:51:42 +0000995
996 O << JTEntryDirective << ' ';
997 if (UseSet)
Chris Lattner0890cf12010-01-25 19:51:38 +0000998 O << *GetARMSetPICJumpTableLabel2(JTI, MO2.getImm(), MBB);
999 else if (TM.getRelocationModel() == Reloc::PIC_)
Chris Lattner1b2eb0e2010-03-13 21:04:28 +00001000 O << *MBB->getSymbol() << '-' << *JTISymbol;
Chris Lattner0890cf12010-01-25 19:51:38 +00001001 else
Chris Lattner1b2eb0e2010-03-13 21:04:28 +00001002 O << *MBB->getSymbol();
Chris Lattner0890cf12010-01-25 19:51:38 +00001003
Evan Chengd85ac4d2007-01-27 02:29:45 +00001004 if (i != e-1)
1005 O << '\n';
Evan Chenga8e29892007-01-19 07:51:42 +00001006 }
1007}
1008
Chris Lattner35c33bd2010-04-04 04:47:45 +00001009void ARMAsmPrinter::printJT2BlockOperand(const MachineInstr *MI, int OpNum,
1010 raw_ostream &O) {
Evan Cheng66ac5312009-07-25 00:33:29 +00001011 const MachineOperand &MO1 = MI->getOperand(OpNum);
1012 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
1013 unsigned JTI = MO1.getIndex();
Jim Grosbachb0739b72010-09-02 01:02:06 +00001014
Chris Lattner0890cf12010-01-25 19:51:38 +00001015 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
Jim Grosbachb0739b72010-09-02 01:02:06 +00001016
Chris Lattner03335352010-04-05 17:52:31 +00001017 // Can't use EmitLabel until instprinter happens, label comes out in the wrong
1018 // order.
Bob Wilsond4d188e2010-07-31 06:28:10 +00001019 O << "\n" << *JTISymbol << ":\n";
Evan Cheng66ac5312009-07-25 00:33:29 +00001020
Evan Cheng66ac5312009-07-25 00:33:29 +00001021 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
1022 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1023 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Evan Cheng5657c012009-07-29 02:18:14 +00001024 bool ByteOffset = false, HalfWordOffset = false;
1025 if (MI->getOpcode() == ARM::t2TBB)
1026 ByteOffset = true;
1027 else if (MI->getOpcode() == ARM::t2TBH)
1028 HalfWordOffset = true;
1029
Evan Cheng66ac5312009-07-25 00:33:29 +00001030 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
1031 MachineBasicBlock *MBB = JTBBs[i];
Evan Cheng5657c012009-07-29 02:18:14 +00001032 if (ByteOffset)
Chris Lattner33adcfb2009-08-22 21:43:10 +00001033 O << MAI->getData8bitsDirective();
Evan Cheng5657c012009-07-29 02:18:14 +00001034 else if (HalfWordOffset)
Chris Lattner33adcfb2009-08-22 21:43:10 +00001035 O << MAI->getData16bitsDirective();
Jim Grosbachb0739b72010-09-02 01:02:06 +00001036
Chris Lattner0890cf12010-01-25 19:51:38 +00001037 if (ByteOffset || HalfWordOffset)
Chris Lattner1b2eb0e2010-03-13 21:04:28 +00001038 O << '(' << *MBB->getSymbol() << "-" << *JTISymbol << ")/2";
Chris Lattner0890cf12010-01-25 19:51:38 +00001039 else
Chris Lattner1b2eb0e2010-03-13 21:04:28 +00001040 O << "\tb.w " << *MBB->getSymbol();
Chris Lattner0890cf12010-01-25 19:51:38 +00001041
Evan Cheng66ac5312009-07-25 00:33:29 +00001042 if (i != e-1)
1043 O << '\n';
1044 }
1045}
1046
Chris Lattner35c33bd2010-04-04 04:47:45 +00001047void ARMAsmPrinter::printTBAddrMode(const MachineInstr *MI, int OpNum,
1048 raw_ostream &O) {
Chris Lattner762ccea2009-09-13 20:31:40 +00001049 O << "[pc, " << getRegisterName(MI->getOperand(OpNum).getReg());
Evan Cheng5657c012009-07-29 02:18:14 +00001050 if (MI->getOpcode() == ARM::t2TBH)
1051 O << ", lsl #1";
1052 O << ']';
1053}
1054
Chris Lattner35c33bd2010-04-04 04:47:45 +00001055void ARMAsmPrinter::printNoHashImmediate(const MachineInstr *MI, int OpNum,
1056 raw_ostream &O) {
Anton Korobeynikov8e9ece72009-08-08 23:10:41 +00001057 O << MI->getOperand(OpNum).getImm();
1058}
Evan Chenga8e29892007-01-19 07:51:42 +00001059
Chris Lattner35c33bd2010-04-04 04:47:45 +00001060void ARMAsmPrinter::printVFPf32ImmOperand(const MachineInstr *MI, int OpNum,
1061 raw_ostream &O) {
Evan Cheng39382422009-10-28 01:44:26 +00001062 const ConstantFP *FP = MI->getOperand(OpNum).getFPImm();
Jim Grosbach77b02be2009-11-23 21:08:25 +00001063 O << '#' << FP->getValueAPF().convertToFloat();
Chris Lattner3f53c832010-04-04 18:52:31 +00001064 if (isVerbose()) {
Chris Lattner35c33bd2010-04-04 04:47:45 +00001065 O << "\t\t" << MAI->getCommentString() << ' ';
Evan Cheng39382422009-10-28 01:44:26 +00001066 WriteAsOperand(O, FP, /*PrintType=*/false);
1067 }
1068}
1069
Chris Lattner35c33bd2010-04-04 04:47:45 +00001070void ARMAsmPrinter::printVFPf64ImmOperand(const MachineInstr *MI, int OpNum,
1071 raw_ostream &O) {
Evan Cheng39382422009-10-28 01:44:26 +00001072 const ConstantFP *FP = MI->getOperand(OpNum).getFPImm();
Jim Grosbach77b02be2009-11-23 21:08:25 +00001073 O << '#' << FP->getValueAPF().convertToDouble();
Chris Lattner3f53c832010-04-04 18:52:31 +00001074 if (isVerbose()) {
Chris Lattner35c33bd2010-04-04 04:47:45 +00001075 O << "\t\t" << MAI->getCommentString() << ' ';
Evan Cheng39382422009-10-28 01:44:26 +00001076 WriteAsOperand(O, FP, /*PrintType=*/false);
1077 }
1078}
1079
Bob Wilson1a913ed2010-06-11 21:34:50 +00001080void ARMAsmPrinter::printNEONModImmOperand(const MachineInstr *MI, int OpNum,
1081 raw_ostream &O) {
Bob Wilson6dce00c2010-07-13 04:44:34 +00001082 unsigned EncodedImm = MI->getOperand(OpNum).getImm();
1083 unsigned EltBits;
1084 uint64_t Val = ARM_AM::decodeNEONModImm(EncodedImm, EltBits);
Bob Wilson1a913ed2010-06-11 21:34:50 +00001085 O << "#0x" << utohexstr(Val);
1086}
1087
Evan Cheng055b0312009-06-29 07:51:04 +00001088bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattnerc75c0282010-04-04 05:29:35 +00001089 unsigned AsmVariant, const char *ExtraCode,
1090 raw_ostream &O) {
Evan Chenga8e29892007-01-19 07:51:42 +00001091 // Does this asm operand have a single letter operand modifier?
1092 if (ExtraCode && ExtraCode[0]) {
1093 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikov8e9ece72009-08-08 23:10:41 +00001094
Evan Chenga8e29892007-01-19 07:51:42 +00001095 switch (ExtraCode[0]) {
1096 default: return true; // Unknown modifier.
Bob Wilson9b4b00a2009-07-09 23:54:51 +00001097 case 'a': // Print as a memory address.
1098 if (MI->getOperand(OpNum).isReg()) {
Chris Lattner762ccea2009-09-13 20:31:40 +00001099 O << "[" << getRegisterName(MI->getOperand(OpNum).getReg()) << "]";
Bob Wilson9b4b00a2009-07-09 23:54:51 +00001100 return false;
1101 }
1102 // Fallthrough
1103 case 'c': // Don't print "#" before an immediate operand.
Bob Wilson4f38b382009-08-21 21:58:55 +00001104 if (!MI->getOperand(OpNum).isImm())
1105 return true;
Chris Lattner35c33bd2010-04-04 04:47:45 +00001106 printNoHashImmediate(MI, OpNum, O);
Bob Wilson8f343462009-04-06 21:46:51 +00001107 return false;
Evan Chenge21e3962007-04-04 00:13:29 +00001108 case 'P': // Print a VFP double precision register.
Evan Chengd831cda2009-12-08 23:06:22 +00001109 case 'q': // Print a NEON quad precision register.
Chris Lattner35c33bd2010-04-04 04:47:45 +00001110 printOperand(MI, OpNum, O);
Evan Cheng23a95702007-03-08 22:42:46 +00001111 return false;
Evan Chenga8e29892007-01-19 07:51:42 +00001112 case 'Q':
Bob Wilsond984eb62010-05-27 20:23:42 +00001113 case 'R':
Bob Wilsond984eb62010-05-27 20:23:42 +00001114 case 'H':
Evan Cheng12616722010-05-27 23:45:31 +00001115 report_fatal_error("llvm does not support 'Q', 'R', and 'H' modifiers!");
Bob Wilsond984eb62010-05-27 20:23:42 +00001116 return true;
Evan Cheng84f60b72010-05-27 22:08:38 +00001117 }
Evan Chenga8e29892007-01-19 07:51:42 +00001118 }
Jim Grosbache9952212009-09-04 01:38:51 +00001119
Chris Lattner35c33bd2010-04-04 04:47:45 +00001120 printOperand(MI, OpNum, O);
Evan Chenga8e29892007-01-19 07:51:42 +00001121 return false;
1122}
1123
Bob Wilson224c2442009-05-19 05:53:42 +00001124bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Cheng055b0312009-06-29 07:51:04 +00001125 unsigned OpNum, unsigned AsmVariant,
Chris Lattnerc75c0282010-04-04 05:29:35 +00001126 const char *ExtraCode,
1127 raw_ostream &O) {
Bob Wilson224c2442009-05-19 05:53:42 +00001128 if (ExtraCode && ExtraCode[0])
1129 return true; // Unknown modifier.
Bob Wilson765cc0b2009-10-13 20:50:28 +00001130
1131 const MachineOperand &MO = MI->getOperand(OpNum);
1132 assert(MO.isReg() && "unexpected inline asm memory operand");
1133 O << "[" << getRegisterName(MO.getReg()) << "]";
Bob Wilson224c2442009-05-19 05:53:42 +00001134 return false;
1135}
1136
Chris Lattnera786cea2010-01-28 01:10:34 +00001137void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Chris Lattner97f06932009-10-19 20:20:46 +00001138 if (EnableMCInst) {
1139 printInstructionThroughMCStreamer(MI);
Chris Lattner7ad07c42010-04-04 06:12:20 +00001140 return;
Chris Lattner97f06932009-10-19 20:20:46 +00001141 }
Jim Grosbachb0739b72010-09-02 01:02:06 +00001142
Chris Lattner7ad07c42010-04-04 06:12:20 +00001143 if (MI->getOpcode() == ARM::CONSTPOOL_ENTRY)
1144 EmitAlignment(2);
Jim Grosbachb0739b72010-09-02 01:02:06 +00001145
Chris Lattner7ad07c42010-04-04 06:12:20 +00001146 SmallString<128> Str;
1147 raw_svector_ostream OS(Str);
Dale Johannesen3f282aa2010-04-26 20:07:31 +00001148 if (MI->getOpcode() == ARM::DBG_VALUE) {
1149 unsigned NOps = MI->getNumOperands();
1150 assert(NOps==4);
1151 OS << '\t' << MAI->getCommentString() << "DEBUG_VALUE: ";
1152 // cast away const; DIetc do not take const operands for some reason.
1153 DIVariable V(const_cast<MDNode *>(MI->getOperand(NOps-1).getMetadata()));
1154 OS << V.getName();
1155 OS << " <- ";
1156 // Frame address. Currently handles register +- offset only.
1157 assert(MI->getOperand(0).isReg() && MI->getOperand(1).isImm());
1158 OS << '['; printOperand(MI, 0, OS); OS << '+'; printOperand(MI, 1, OS);
1159 OS << ']';
1160 OS << "+";
1161 printOperand(MI, NOps-2, OS);
Jim Grosbache6be85e2010-09-17 22:36:38 +00001162 } else if (MI->getOpcode() == ARM::MOVs) {
1163 // FIXME: Thumb variants?
1164 const MachineOperand &Dst = MI->getOperand(0);
1165 const MachineOperand &MO1 = MI->getOperand(1);
1166 const MachineOperand &MO2 = MI->getOperand(2);
1167 const MachineOperand &MO3 = MI->getOperand(3);
Dale Johannesen3f282aa2010-04-26 20:07:31 +00001168
Jim Grosbache6be85e2010-09-17 22:36:38 +00001169 OS << '\t' << ARM_AM::getShiftOpcStr(ARM_AM::getSORegShOp(MO3.getImm()));
1170 printSBitModifierOperand(MI, 6, OS);
1171 printPredicateOperand(MI, 4, OS);
1172
1173 OS << '\t' << getRegisterName(Dst.getReg())
1174 << ", " << getRegisterName(MO1.getReg());
1175
1176 if (ARM_AM::getSORegShOp(MO3.getImm()) != ARM_AM::rrx) {
1177 OS << ", ";
1178
1179 if (MO2.getReg()) {
1180 OS << getRegisterName(MO2.getReg());
1181 assert(ARM_AM::getSORegOffset(MO3.getImm()) == 0);
1182 } else {
1183 OS << "#" << ARM_AM::getSORegOffset(MO3.getImm());
1184 }
1185 }
1186 } else
1187 // A8.6.123 PUSH
1188 if ((MI->getOpcode() == ARM::STM_UPD || MI->getOpcode() == ARM::t2STM_UPD) &&
Jim Grosbach532baa52010-09-21 16:45:31 +00001189 MI->getOperand(0).getReg() == ARM::SP &&
1190 ARM_AM::getAM4SubMode(MI->getOperand(2).getImm()) == ARM_AM::db) {
1191 OS << '\t' << "push";
1192 printPredicateOperand(MI, 3, OS);
1193 OS << '\t';
1194 printRegisterList(MI, 5, OS);
Jim Grosbache6be85e2010-09-17 22:36:38 +00001195 } else
1196 // A8.6.122 POP
1197 if ((MI->getOpcode() == ARM::LDM_UPD || MI->getOpcode() == ARM::t2LDM_UPD) &&
Jim Grosbach532baa52010-09-21 16:45:31 +00001198 MI->getOperand(0).getReg() == ARM::SP &&
1199 ARM_AM::getAM4SubMode(MI->getOperand(2).getImm()) == ARM_AM::ia) {
1200 OS << '\t' << "pop";
1201 printPredicateOperand(MI, 3, OS);
1202 OS << '\t';
1203 printRegisterList(MI, 5, OS);
Jim Grosbache6be85e2010-09-17 22:36:38 +00001204 } else
1205 // A8.6.355 VPUSH
1206 if ((MI->getOpcode() == ARM::VSTMS_UPD || MI->getOpcode() ==ARM::VSTMD_UPD) &&
Jim Grosbach532baa52010-09-21 16:45:31 +00001207 MI->getOperand(0).getReg() == ARM::SP &&
1208 ARM_AM::getAM4SubMode(MI->getOperand(2).getImm()) == ARM_AM::db) {
1209 OS << '\t' << "vpush";
1210 printPredicateOperand(MI, 3, OS);
1211 OS << '\t';
1212 printRegisterList(MI, 5, OS);
Jim Grosbache6be85e2010-09-17 22:36:38 +00001213 } else
1214 // A8.6.354 VPOP
1215 if ((MI->getOpcode() == ARM::VLDMS_UPD || MI->getOpcode() ==ARM::VLDMD_UPD) &&
Jim Grosbach532baa52010-09-21 16:45:31 +00001216 MI->getOperand(0).getReg() == ARM::SP &&
1217 ARM_AM::getAM4SubMode(MI->getOperand(2).getImm()) == ARM_AM::ia) {
1218 OS << '\t' << "vpop";
1219 printPredicateOperand(MI, 3, OS);
1220 OS << '\t';
1221 printRegisterList(MI, 5, OS);
Jim Grosbache6be85e2010-09-17 22:36:38 +00001222 } else
Jim Grosbach2e6ae132010-09-23 18:05:37 +00001223 // TRAP and tTRAP need special handling for non-Darwin. The GNU binutils
1224 // don't (yet) support the 'trap' mnemonic. (Use decimal, not hex, to
1225 // be consistent with the MC instruction printer.)
1226 // FIXME: This really should be in AsmPrinter/ARMInstPrinter.cpp, not here.
1227 // Need a way to ask "isTargetDarwin()" there, first, though.
1228 if (MI->getOpcode() == ARM::TRAP && !Subtarget->isTargetDarwin()) {
Benjamin Kramerc8ab9eb2010-09-23 18:57:26 +00001229 OS << "\t.long\t3892305662\t\t" << MAI->getCommentString() << "trap";
Jim Grosbach2e6ae132010-09-23 18:05:37 +00001230 } else if (MI->getOpcode() == ARM::tTRAP && !Subtarget->isTargetDarwin()) {
1231 OS << "\t.short\t57086\t\t\t" << MAI->getCommentString() << " trap";
1232 } else
Jim Grosbache6be85e2010-09-17 22:36:38 +00001233 printInstruction(MI, OS);
1234
1235 // Output the instruction to the stream
Chris Lattner7ad07c42010-04-04 06:12:20 +00001236 OutStreamer.EmitRawText(OS.str());
Jim Grosbachb0739b72010-09-02 01:02:06 +00001237
Chris Lattner7ad07c42010-04-04 06:12:20 +00001238 // Make sure the instruction that follows TBB is 2-byte aligned.
1239 // FIXME: Constant island pass should insert an "ALIGN" instruction instead.
1240 if (MI->getOpcode() == ARM::t2TBB)
1241 EmitAlignment(1);
Evan Chenga8e29892007-01-19 07:51:42 +00001242}
1243
Bob Wilson812209a2009-09-30 22:06:26 +00001244void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Bob Wilson0fb34682009-09-30 00:23:42 +00001245 if (Subtarget->isTargetDarwin()) {
1246 Reloc::Model RelocM = TM.getRelocationModel();
1247 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
1248 // Declare all the text sections up front (before the DWARF sections
1249 // emitted by AsmPrinter::doInitialization) so the assembler will keep
1250 // them together at the beginning of the object file. This helps
1251 // avoid out-of-range branches that are due a fundamental limitation of
1252 // the way symbol offsets are encoded with the current Darwin ARM
1253 // relocations.
Jim Grosbachb0739b72010-09-02 01:02:06 +00001254 const TargetLoweringObjectFileMachO &TLOFMacho =
Dan Gohman0d805c32010-04-17 16:44:48 +00001255 static_cast<const TargetLoweringObjectFileMachO &>(
1256 getObjFileLowering());
Bob Wilson29e06692009-09-30 22:25:37 +00001257 OutStreamer.SwitchSection(TLOFMacho.getTextSection());
1258 OutStreamer.SwitchSection(TLOFMacho.getTextCoalSection());
1259 OutStreamer.SwitchSection(TLOFMacho.getConstTextCoalSection());
1260 if (RelocM == Reloc::DynamicNoPIC) {
1261 const MCSection *sect =
Chris Lattner22772212010-04-08 20:40:11 +00001262 OutContext.getMachOSection("__TEXT", "__symbol_stub4",
1263 MCSectionMachO::S_SYMBOL_STUBS,
1264 12, SectionKind::getText());
Bob Wilson29e06692009-09-30 22:25:37 +00001265 OutStreamer.SwitchSection(sect);
1266 } else {
1267 const MCSection *sect =
Chris Lattner22772212010-04-08 20:40:11 +00001268 OutContext.getMachOSection("__TEXT", "__picsymbolstub4",
1269 MCSectionMachO::S_SYMBOL_STUBS,
1270 16, SectionKind::getText());
Bob Wilson29e06692009-09-30 22:25:37 +00001271 OutStreamer.SwitchSection(sect);
1272 }
Bob Wilson63db5942010-07-30 19:55:47 +00001273 const MCSection *StaticInitSect =
1274 OutContext.getMachOSection("__TEXT", "__StaticInit",
1275 MCSectionMachO::S_REGULAR |
1276 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
1277 SectionKind::getText());
1278 OutStreamer.SwitchSection(StaticInitSect);
Bob Wilson0fb34682009-09-30 00:23:42 +00001279 }
1280 }
1281
Jim Grosbache5165492009-11-09 00:11:35 +00001282 // Use unified assembler syntax.
Chris Lattner9d7efd32010-04-04 07:05:53 +00001283 OutStreamer.EmitRawText(StringRef("\t.syntax unified"));
Anton Korobeynikovd61eca52009-06-17 23:43:18 +00001284
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001285 // Emit ARM Build Attributes
1286 if (Subtarget->isTargetELF()) {
1287 // CPU Type
Anton Korobeynikovd260c242009-06-01 19:03:17 +00001288 std::string CPUString = Subtarget->getCPUString();
1289 if (CPUString != "generic")
Chris Lattner9d7efd32010-04-04 07:05:53 +00001290 OutStreamer.EmitRawText("\t.cpu " + Twine(CPUString));
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001291
1292 // FIXME: Emit FPU type
1293 if (Subtarget->hasVFP2())
Chris Lattner9d7efd32010-04-04 07:05:53 +00001294 OutStreamer.EmitRawText("\t.eabi_attribute " +
1295 Twine(ARMBuildAttrs::VFP_arch) + ", 2");
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001296
1297 // Signal various FP modes.
Chris Lattner9d7efd32010-04-04 07:05:53 +00001298 if (!UnsafeFPMath) {
1299 OutStreamer.EmitRawText("\t.eabi_attribute " +
1300 Twine(ARMBuildAttrs::ABI_FP_denormal) + ", 1");
1301 OutStreamer.EmitRawText("\t.eabi_attribute " +
1302 Twine(ARMBuildAttrs::ABI_FP_exceptions) + ", 1");
1303 }
Jim Grosbachb0739b72010-09-02 01:02:06 +00001304
Evan Cheng60108e92010-07-15 22:07:12 +00001305 if (NoInfsFPMath && NoNaNsFPMath)
Chris Lattner9d7efd32010-04-04 07:05:53 +00001306 OutStreamer.EmitRawText("\t.eabi_attribute " +
1307 Twine(ARMBuildAttrs::ABI_FP_number_model)+ ", 1");
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001308 else
Chris Lattner9d7efd32010-04-04 07:05:53 +00001309 OutStreamer.EmitRawText("\t.eabi_attribute " +
1310 Twine(ARMBuildAttrs::ABI_FP_number_model)+ ", 3");
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001311
1312 // 8-bytes alignment stuff.
Chris Lattner9d7efd32010-04-04 07:05:53 +00001313 OutStreamer.EmitRawText("\t.eabi_attribute " +
1314 Twine(ARMBuildAttrs::ABI_align8_needed) + ", 1");
1315 OutStreamer.EmitRawText("\t.eabi_attribute " +
1316 Twine(ARMBuildAttrs::ABI_align8_preserved) + ", 1");
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001317
Anton Korobeynikov567d14f2009-08-05 19:04:42 +00001318 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
Chris Lattner9d7efd32010-04-04 07:05:53 +00001319 if (Subtarget->isAAPCS_ABI() && FloatABIType == FloatABI::Hard) {
1320 OutStreamer.EmitRawText("\t.eabi_attribute " +
1321 Twine(ARMBuildAttrs::ABI_HardFP_use) + ", 3");
1322 OutStreamer.EmitRawText("\t.eabi_attribute " +
1323 Twine(ARMBuildAttrs::ABI_VFP_args) + ", 1");
1324 }
Anton Korobeynikov88ce6672009-05-23 19:51:20 +00001325 // FIXME: Should we signal R9 usage?
1326 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001327}
1328
Anton Korobeynikov0f3cc652008-08-07 09:54:23 +00001329
Chris Lattner4a071d62009-10-19 17:59:19 +00001330void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Evan Cheng5be54b02007-01-19 19:25:36 +00001331 if (Subtarget->isTargetDarwin()) {
Chris Lattnerf61159b2009-08-03 22:18:15 +00001332 // All darwin targets use mach-o.
Dan Gohman0d805c32010-04-17 16:44:48 +00001333 const TargetLoweringObjectFileMachO &TLOFMacho =
1334 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering());
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001335 MachineModuleInfoMachO &MMIMacho =
1336 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Jim Grosbache9952212009-09-04 01:38:51 +00001337
Evan Chenga8e29892007-01-19 07:51:42 +00001338 // Output non-lazy-pointers for external and common global variables.
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001339 MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList();
Bill Wendlingcebae362010-03-10 22:34:10 +00001340
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001341 if (!Stubs.empty()) {
Chris Lattnerff4bc462009-08-10 01:39:42 +00001342 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001343 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattnerc076a972009-08-10 18:01:34 +00001344 EmitAlignment(2);
Chris Lattnerb0f294c2009-10-19 18:38:33 +00001345 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001346 // L_foo$stub:
1347 OutStreamer.EmitLabel(Stubs[i].first);
1348 // .indirect_symbol _foo
Bill Wendling52a50e52010-03-11 01:18:13 +00001349 MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second;
1350 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(),MCSA_IndirectSymbol);
Bill Wendlingcf6f28d2010-03-09 00:43:34 +00001351
Bill Wendling52a50e52010-03-11 01:18:13 +00001352 if (MCSym.getInt())
Bill Wendlingcf6f28d2010-03-09 00:43:34 +00001353 // External to current translation unit.
1354 OutStreamer.EmitIntValue(0, 4/*size*/, 0/*addrspace*/);
1355 else
1356 // Internal to current translation unit.
Bill Wendling5e1b55d2010-03-31 18:47:10 +00001357 //
Jim Grosbach1b935a32010-09-22 16:45:13 +00001358 // When we place the LSDA into the TEXT section, the type info
1359 // pointers need to be indirect and pc-rel. We accomplish this by
1360 // using NLPs; however, sometimes the types are local to the file.
1361 // We need to fill in the value for the NLP in those cases.
Bill Wendling52a50e52010-03-11 01:18:13 +00001362 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(),
1363 OutContext),
Bill Wendlingcf6f28d2010-03-09 00:43:34 +00001364 4/*size*/, 0/*addrspace*/);
Evan Chengae94e592008-12-05 01:06:39 +00001365 }
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001366
1367 Stubs.clear();
1368 OutStreamer.AddBlankLine();
Evan Chenga8e29892007-01-19 07:51:42 +00001369 }
1370
Chris Lattnere4d9ea82009-10-19 18:44:38 +00001371 Stubs = MMIMacho.GetHiddenGVStubList();
1372 if (!Stubs.empty()) {
Chris Lattner6c2f9e12009-08-19 05:49:37 +00001373 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
Chris Lattnerf3231de2009-08-10 18:02:16 +00001374 EmitAlignment(2);
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001375 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
1376 // L_foo$stub:
1377 OutStreamer.EmitLabel(Stubs[i].first);
1378 // .long _foo
Bill Wendlingcebae362010-03-10 22:34:10 +00001379 OutStreamer.EmitValue(MCSymbolRefExpr::
1380 Create(Stubs[i].second.getPointer(),
1381 OutContext),
Bill Wendlingbecd83e2010-03-09 00:40:17 +00001382 4/*size*/, 0/*addrspace*/);
1383 }
Bill Wendlingcf6f28d2010-03-09 00:43:34 +00001384
1385 Stubs.clear();
1386 OutStreamer.AddBlankLine();
Evan Chengae94e592008-12-05 01:06:39 +00001387 }
1388
Evan Chenga8e29892007-01-19 07:51:42 +00001389 // Funny Darwin hack: This flag tells the linker that no global symbols
1390 // contain code that falls through to other global symbols (e.g. the obvious
1391 // implementation of multiple entry points). If this doesn't occur, the
1392 // linker can safely perform dead code stripping. Since LLVM never
1393 // generates code that does this, it is always safe to set.
Chris Lattnera5ad93a2010-01-23 06:39:22 +00001394 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Rafael Espindolab01c4bb2006-07-27 11:38:51 +00001395 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001396}
Anton Korobeynikov0bd89712008-08-17 13:55:10 +00001397
Chris Lattner97f06932009-10-19 20:20:46 +00001398//===----------------------------------------------------------------------===//
1399
Jim Grosbach988ce092010-09-18 00:05:05 +00001400static MCSymbol *getPICLabel(const char *Prefix, unsigned FunctionNumber,
1401 unsigned LabelId, MCContext &Ctx) {
1402
1403 MCSymbol *Label = Ctx.GetOrCreateSymbol(Twine(Prefix)
1404 + "PC" + Twine(FunctionNumber) + "_" + Twine(LabelId));
1405 return Label;
1406}
1407
Jim Grosbacha2244cb2010-09-22 17:39:48 +00001408void ARMAsmPrinter::EmitJumpTable(const MachineInstr *MI) {
1409 unsigned Opcode = MI->getOpcode();
1410 int OpNum = 1;
1411 if (Opcode == ARM::BR_JTadd)
1412 OpNum = 2;
1413 else if (Opcode == ARM::BR_JTm)
1414 OpNum = 3;
1415
1416 const MachineOperand &MO1 = MI->getOperand(OpNum);
1417 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
1418 unsigned JTI = MO1.getIndex();
1419
1420 // Emit a label for the jump table.
1421 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
1422 OutStreamer.EmitLabel(JTISymbol);
1423
1424 // Emit each entry of the table.
1425 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
1426 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1427 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
1428
1429 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
1430 MachineBasicBlock *MBB = JTBBs[i];
1431 // Construct an MCExpr for the entry. We want a value of the form:
1432 // (BasicBlockAddr - TableBeginAddr)
1433 //
1434 // For example, a table with entries jumping to basic blocks BB0 and BB1
1435 // would look like:
1436 // LJTI_0_0:
1437 // .word (LBB0 - LJTI_0_0)
1438 // .word (LBB1 - LJTI_0_0)
1439 const MCExpr *Expr = MCSymbolRefExpr::Create(MBB->getSymbol(), OutContext);
1440
1441 if (TM.getRelocationModel() == Reloc::PIC_)
1442 Expr = MCBinaryExpr::CreateSub(Expr, MCSymbolRefExpr::Create(JTISymbol,
1443 OutContext),
1444 OutContext);
1445 OutStreamer.EmitValue(Expr, 4);
1446 }
1447}
1448
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001449void ARMAsmPrinter::EmitJump2Table(const MachineInstr *MI) {
1450 unsigned Opcode = MI->getOpcode();
1451 int OpNum = (Opcode == ARM::t2BR_JT) ? 2 : 1;
1452 const MachineOperand &MO1 = MI->getOperand(OpNum);
1453 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
1454 unsigned JTI = MO1.getIndex();
1455
1456 // Emit a label for the jump table.
1457 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
1458 OutStreamer.EmitLabel(JTISymbol);
1459
1460 // Emit each entry of the table.
1461 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
1462 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
1463 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001464 unsigned OffsetWidth = 4;
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001465 if (MI->getOpcode() == ARM::t2TBB)
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001466 OffsetWidth = 1;
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001467 else if (MI->getOpcode() == ARM::t2TBH)
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001468 OffsetWidth = 2;
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001469
1470 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
1471 MachineBasicBlock *MBB = JTBBs[i];
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001472 const MCExpr *MBBSymbolExpr = MCSymbolRefExpr::Create(MBB->getSymbol(),
1473 OutContext);
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001474 // If this isn't a TBB or TBH, the entries are direct branch instructions.
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001475 if (OffsetWidth == 4) {
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001476 MCInst BrInst;
1477 BrInst.setOpcode(ARM::t2B);
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001478 BrInst.addOperand(MCOperand::CreateExpr(MBBSymbolExpr));
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001479 OutStreamer.EmitInstruction(BrInst);
1480 continue;
1481 }
1482 // Otherwise it's an offset from the dispatch instruction. Construct an
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001483 // MCExpr for the entry. We want a value of the form:
1484 // (BasicBlockAddr - TableBeginAddr) / 2
1485 //
1486 // For example, a TBB table with entries jumping to basic blocks BB0 and BB1
1487 // would look like:
1488 // LJTI_0_0:
1489 // .byte (LBB0 - LJTI_0_0) / 2
1490 // .byte (LBB1 - LJTI_0_0) / 2
1491 const MCExpr *Expr =
1492 MCBinaryExpr::CreateSub(MBBSymbolExpr,
1493 MCSymbolRefExpr::Create(JTISymbol, OutContext),
1494 OutContext);
1495 Expr = MCBinaryExpr::CreateDiv(Expr, MCConstantExpr::Create(2, OutContext),
1496 OutContext);
1497 OutStreamer.EmitValue(Expr, OffsetWidth);
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001498 }
Jim Grosbach205a5fa2010-09-22 17:15:35 +00001499
1500 // Make sure the instruction that follows TBB is 2-byte aligned.
1501 // FIXME: Constant island pass should insert an "ALIGN" instruction instead.
1502 if (MI->getOpcode() == ARM::t2TBB)
1503 EmitAlignment(1);
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001504}
1505
Chris Lattner97f06932009-10-19 20:20:46 +00001506void ARMAsmPrinter::printInstructionThroughMCStreamer(const MachineInstr *MI) {
Chris Lattner96bc2172009-10-20 00:52:47 +00001507 ARMMCInstLower MCInstLowering(OutContext, *Mang, *this);
Chris Lattner97f06932009-10-19 20:20:46 +00001508 switch (MI->getOpcode()) {
Chris Lattnerc6b8a992009-10-20 05:58:02 +00001509 case ARM::t2MOVi32imm:
1510 assert(0 && "Should be lowered by thumb2it pass");
Chris Lattner4d152222009-10-19 22:23:04 +00001511 default: break;
Jim Grosbachfbd18732010-09-17 23:41:53 +00001512 case ARM::tPICADD: {
1513 // This is a pseudo op for a label + instruction sequence, which looks like:
1514 // LPC0:
1515 // add r0, pc
1516 // This adds the address of LPC0 to r0.
1517
1518 // Emit the label.
Jim Grosbach988ce092010-09-18 00:05:05 +00001519 OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(),
1520 getFunctionNumber(), MI->getOperand(2).getImm(),
1521 OutContext));
Jim Grosbachfbd18732010-09-17 23:41:53 +00001522
1523 // Form and emit the add.
1524 MCInst AddInst;
1525 AddInst.setOpcode(ARM::tADDhirr);
1526 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1527 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1528 AddInst.addOperand(MCOperand::CreateReg(ARM::PC));
1529 // Add predicate operands.
1530 AddInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1531 AddInst.addOperand(MCOperand::CreateReg(0));
1532 OutStreamer.EmitInstruction(AddInst);
1533 return;
1534 }
Chris Lattner4d152222009-10-19 22:23:04 +00001535 case ARM::PICADD: { // FIXME: Remove asm string from td file.
1536 // This is a pseudo op for a label + instruction sequence, which looks like:
1537 // LPC0:
1538 // add r0, pc, r0
1539 // This adds the address of LPC0 to r0.
Jim Grosbachb0739b72010-09-02 01:02:06 +00001540
Chris Lattner4d152222009-10-19 22:23:04 +00001541 // Emit the label.
Jim Grosbach988ce092010-09-18 00:05:05 +00001542 OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(),
1543 getFunctionNumber(), MI->getOperand(2).getImm(),
1544 OutContext));
Jim Grosbachb0739b72010-09-02 01:02:06 +00001545
Jim Grosbachf3f09522010-09-14 21:05:34 +00001546 // Form and emit the add.
Chris Lattner4d152222009-10-19 22:23:04 +00001547 MCInst AddInst;
1548 AddInst.setOpcode(ARM::ADDrr);
1549 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1550 AddInst.addOperand(MCOperand::CreateReg(ARM::PC));
1551 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
Jim Grosbach5b46d622010-09-14 21:28:17 +00001552 // Add predicate operands.
1553 AddInst.addOperand(MCOperand::CreateImm(MI->getOperand(3).getImm()));
1554 AddInst.addOperand(MCOperand::CreateReg(MI->getOperand(4).getReg()));
1555 // Add 's' bit operand (always reg0 for this)
1556 AddInst.addOperand(MCOperand::CreateReg(0));
Chris Lattner850d2e22010-02-03 01:16:28 +00001557 OutStreamer.EmitInstruction(AddInst);
Chris Lattner4d152222009-10-19 22:23:04 +00001558 return;
1559 }
Jim Grosbacha28abbe2010-09-17 16:25:52 +00001560 case ARM::PICSTR:
1561 case ARM::PICSTRB:
1562 case ARM::PICSTRH:
1563 case ARM::PICLDR:
1564 case ARM::PICLDRB:
1565 case ARM::PICLDRH:
1566 case ARM::PICLDRSB:
1567 case ARM::PICLDRSH: {
Jim Grosbachb74ca9d2010-09-16 17:43:25 +00001568 // This is a pseudo op for a label + instruction sequence, which looks like:
1569 // LPC0:
Jim Grosbacha28abbe2010-09-17 16:25:52 +00001570 // OP r0, [pc, r0]
Jim Grosbachb74ca9d2010-09-16 17:43:25 +00001571 // The LCP0 label is referenced by a constant pool entry in order to get
1572 // a PC-relative address at the ldr instruction.
1573
1574 // Emit the label.
Jim Grosbach988ce092010-09-18 00:05:05 +00001575 OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(),
1576 getFunctionNumber(), MI->getOperand(2).getImm(),
1577 OutContext));
Jim Grosbachb74ca9d2010-09-16 17:43:25 +00001578
1579 // Form and emit the load
Jim Grosbacha28abbe2010-09-17 16:25:52 +00001580 unsigned Opcode;
1581 switch (MI->getOpcode()) {
1582 default:
1583 llvm_unreachable("Unexpected opcode!");
1584 case ARM::PICSTR: Opcode = ARM::STR; break;
1585 case ARM::PICSTRB: Opcode = ARM::STRB; break;
1586 case ARM::PICSTRH: Opcode = ARM::STRH; break;
1587 case ARM::PICLDR: Opcode = ARM::LDR; break;
1588 case ARM::PICLDRB: Opcode = ARM::LDRB; break;
1589 case ARM::PICLDRH: Opcode = ARM::LDRH; break;
1590 case ARM::PICLDRSB: Opcode = ARM::LDRSB; break;
1591 case ARM::PICLDRSH: Opcode = ARM::LDRSH; break;
1592 }
1593 MCInst LdStInst;
1594 LdStInst.setOpcode(Opcode);
1595 LdStInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1596 LdStInst.addOperand(MCOperand::CreateReg(ARM::PC));
1597 LdStInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1598 LdStInst.addOperand(MCOperand::CreateImm(0));
Jim Grosbachb74ca9d2010-09-16 17:43:25 +00001599 // Add predicate operands.
Jim Grosbacha28abbe2010-09-17 16:25:52 +00001600 LdStInst.addOperand(MCOperand::CreateImm(MI->getOperand(3).getImm()));
1601 LdStInst.addOperand(MCOperand::CreateReg(MI->getOperand(4).getReg()));
1602 OutStreamer.EmitInstruction(LdStInst);
Jim Grosbachb74ca9d2010-09-16 17:43:25 +00001603
1604 return;
1605 }
Chris Lattnera70e6442009-10-19 22:33:05 +00001606 case ARM::CONSTPOOL_ENTRY: { // FIXME: Remove asm string from td file.
1607 /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool
1608 /// in the function. The first operand is the ID# for this instruction, the
1609 /// second is the index into the MachineConstantPool that this is, the third
1610 /// is the size in bytes of this constant pool entry.
1611 unsigned LabelId = (unsigned)MI->getOperand(0).getImm();
1612 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex();
1613
1614 EmitAlignment(2);
Chris Lattner1b46f432010-01-23 07:00:21 +00001615 OutStreamer.EmitLabel(GetCPISymbol(LabelId));
Chris Lattnera70e6442009-10-19 22:33:05 +00001616
1617 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx];
1618 if (MCPE.isMachineConstantPoolEntry())
1619 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
1620 else
1621 EmitGlobalConstant(MCPE.Val.ConstVal);
Jim Grosbachb0739b72010-09-02 01:02:06 +00001622
Chris Lattnera70e6442009-10-19 22:33:05 +00001623 return;
1624 }
Chris Lattner017d9472009-10-20 00:40:56 +00001625 case ARM::MOVi2pieces: { // FIXME: Remove asmstring from td file.
1626 // This is a hack that lowers as a two instruction sequence.
1627 unsigned DstReg = MI->getOperand(0).getReg();
1628 unsigned ImmVal = (unsigned)MI->getOperand(1).getImm();
1629
1630 unsigned SOImmValV1 = ARM_AM::getSOImmTwoPartFirst(ImmVal);
1631 unsigned SOImmValV2 = ARM_AM::getSOImmTwoPartSecond(ImmVal);
Jim Grosbachb0739b72010-09-02 01:02:06 +00001632
Chris Lattner017d9472009-10-20 00:40:56 +00001633 {
1634 MCInst TmpInst;
1635 TmpInst.setOpcode(ARM::MOVi);
1636 TmpInst.addOperand(MCOperand::CreateReg(DstReg));
1637 TmpInst.addOperand(MCOperand::CreateImm(SOImmValV1));
Jim Grosbachb0739b72010-09-02 01:02:06 +00001638
Chris Lattner017d9472009-10-20 00:40:56 +00001639 // Predicate.
1640 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1641 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
Chris Lattner233917c2009-10-20 00:46:11 +00001642
1643 TmpInst.addOperand(MCOperand::CreateReg(0)); // cc_out
Chris Lattner850d2e22010-02-03 01:16:28 +00001644 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner017d9472009-10-20 00:40:56 +00001645 }
1646
1647 {
1648 MCInst TmpInst;
1649 TmpInst.setOpcode(ARM::ORRri);
1650 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg
1651 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // inreg
1652 TmpInst.addOperand(MCOperand::CreateImm(SOImmValV2)); // so_imm
1653 // Predicate.
1654 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1655 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
Jim Grosbachb0739b72010-09-02 01:02:06 +00001656
Chris Lattner017d9472009-10-20 00:40:56 +00001657 TmpInst.addOperand(MCOperand::CreateReg(0)); // cc_out
Chris Lattner850d2e22010-02-03 01:16:28 +00001658 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner017d9472009-10-20 00:40:56 +00001659 }
Jim Grosbachb0739b72010-09-02 01:02:06 +00001660 return;
Chris Lattner017d9472009-10-20 00:40:56 +00001661 }
Chris Lattner161dcbf2009-10-20 01:11:37 +00001662 case ARM::MOVi32imm: { // FIXME: Remove asmstring from td file.
1663 // This is a hack that lowers as a two instruction sequence.
1664 unsigned DstReg = MI->getOperand(0).getReg();
Rafael Espindola18c10212010-05-12 05:16:34 +00001665 const MachineOperand &MO = MI->getOperand(1);
1666 MCOperand V1, V2;
1667 if (MO.isImm()) {
1668 unsigned ImmVal = (unsigned)MI->getOperand(1).getImm();
1669 V1 = MCOperand::CreateImm(ImmVal & 65535);
1670 V2 = MCOperand::CreateImm(ImmVal >> 16);
1671 } else if (MO.isGlobal()) {
Jim Grosbachc686e332010-09-17 18:25:25 +00001672 MCSymbol *Symbol = MCInstLowering.GetGlobalAddressSymbol(MO.getGlobal());
Rafael Espindola18c10212010-05-12 05:16:34 +00001673 const MCSymbolRefExpr *SymRef1 =
Duncan Sands34727662010-07-12 08:16:59 +00001674 MCSymbolRefExpr::Create(Symbol,
1675 MCSymbolRefExpr::VK_ARM_LO16, OutContext);
Rafael Espindola18c10212010-05-12 05:16:34 +00001676 const MCSymbolRefExpr *SymRef2 =
Duncan Sands34727662010-07-12 08:16:59 +00001677 MCSymbolRefExpr::Create(Symbol,
1678 MCSymbolRefExpr::VK_ARM_HI16, OutContext);
Rafael Espindola18c10212010-05-12 05:16:34 +00001679 V1 = MCOperand::CreateExpr(SymRef1);
1680 V2 = MCOperand::CreateExpr(SymRef2);
1681 } else {
Jim Grosbachf0633e42010-09-22 20:55:15 +00001682 // FIXME: External symbol?
Rafael Espindola18c10212010-05-12 05:16:34 +00001683 MI->dump();
1684 llvm_unreachable("cannot handle this operand");
1685 }
1686
Chris Lattner161dcbf2009-10-20 01:11:37 +00001687 {
1688 MCInst TmpInst;
1689 TmpInst.setOpcode(ARM::MOVi16);
1690 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg
Rafael Espindola18c10212010-05-12 05:16:34 +00001691 TmpInst.addOperand(V1); // lower16(imm)
Jim Grosbachb0739b72010-09-02 01:02:06 +00001692
Chris Lattner161dcbf2009-10-20 01:11:37 +00001693 // Predicate.
1694 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1695 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
Jim Grosbachb0739b72010-09-02 01:02:06 +00001696
Chris Lattner850d2e22010-02-03 01:16:28 +00001697 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner161dcbf2009-10-20 01:11:37 +00001698 }
Jim Grosbachb0739b72010-09-02 01:02:06 +00001699
Chris Lattner161dcbf2009-10-20 01:11:37 +00001700 {
1701 MCInst TmpInst;
1702 TmpInst.setOpcode(ARM::MOVTi16);
1703 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // dstreg
1704 TmpInst.addOperand(MCOperand::CreateReg(DstReg)); // srcreg
Rafael Espindola18c10212010-05-12 05:16:34 +00001705 TmpInst.addOperand(V2); // upper16(imm)
Jim Grosbachb0739b72010-09-02 01:02:06 +00001706
Chris Lattner161dcbf2009-10-20 01:11:37 +00001707 // Predicate.
1708 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1709 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(3).getReg()));
Jim Grosbachb0739b72010-09-02 01:02:06 +00001710
Chris Lattner850d2e22010-02-03 01:16:28 +00001711 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner161dcbf2009-10-20 01:11:37 +00001712 }
Jim Grosbachb0739b72010-09-02 01:02:06 +00001713
Chris Lattner161dcbf2009-10-20 01:11:37 +00001714 return;
1715 }
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001716 case ARM::t2TBB:
1717 case ARM::t2TBH:
1718 case ARM::t2BR_JT: {
1719 // Lower and emit the instruction itself, then the jump table following it.
1720 MCInst TmpInst;
1721 MCInstLowering.Lower(MI, TmpInst);
1722 OutStreamer.EmitInstruction(TmpInst);
Jim Grosbach882ef2b2010-09-21 23:28:16 +00001723 EmitJump2Table(MI);
1724 return;
1725 }
1726 case ARM::tBR_JTr:
1727 case ARM::BR_JTr:
1728 case ARM::BR_JTm:
Jim Grosbacha2244cb2010-09-22 17:39:48 +00001729 case ARM::BR_JTadd: {
1730 // Lower and emit the instruction itself, then the jump table following it.
1731 MCInst TmpInst;
1732 MCInstLowering.Lower(MI, TmpInst);
1733 OutStreamer.EmitInstruction(TmpInst);
1734 EmitJumpTable(MI);
1735 return;
1736 }
Jim Grosbach2e6ae132010-09-23 18:05:37 +00001737 case ARM::TRAP: {
1738 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1739 // FIXME: Remove this special case when they do.
1740 if (!Subtarget->isTargetDarwin()) {
1741 //.long 0xe7ffdefe ${:comment} trap
Jim Grosbachb2dda4b2010-09-23 19:42:17 +00001742 uint32_t Val = 0xe7ffdefeUL;
Jim Grosbach2e6ae132010-09-23 18:05:37 +00001743 OutStreamer.AddComment("trap");
1744 OutStreamer.EmitIntValue(Val, 4);
1745 return;
1746 }
1747 break;
1748 }
1749 case ARM::tTRAP: {
1750 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1751 // FIXME: Remove this special case when they do.
1752 if (!Subtarget->isTargetDarwin()) {
Benjamin Kramerc8ab9eb2010-09-23 18:57:26 +00001753 //.short 57086 ${:comment} trap
1754 uint16_t Val = 0xdefe;
Jim Grosbach2e6ae132010-09-23 18:05:37 +00001755 OutStreamer.AddComment("trap");
1756 OutStreamer.EmitIntValue(Val, 2);
1757 return;
1758 }
1759 break;
1760 }
Jim Grosbach433a5782010-09-24 20:47:58 +00001761 case ARM::t2Int_eh_sjlj_setjmp:
1762 case ARM::t2Int_eh_sjlj_setjmp_nofp:
1763 case ARM::tInt_eh_sjlj_setjmp: { // FIXME: Remove asmstring from td file.
1764 // Two incoming args: GPR:$src, GPR:$val
1765 // mov $val, pc
1766 // adds $val, #7
1767 // str $val, [$src, #4]
1768 // movs r0, #0
1769 // b 1f
1770 // movs r0, #1
1771 // 1:
1772 unsigned SrcReg = MI->getOperand(0).getReg();
1773 unsigned ValReg = MI->getOperand(1).getReg();
1774 MCSymbol *Label = GetARMSJLJEHLabel();
1775 {
1776 MCInst TmpInst;
1777 TmpInst.setOpcode(ARM::tMOVgpr2tgpr);
1778 TmpInst.addOperand(MCOperand::CreateReg(ValReg));
1779 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1780 // 's' bit operand
1781 TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR));
1782 OutStreamer.AddComment("eh_setjmp begin");
1783 OutStreamer.EmitInstruction(TmpInst);
1784 }
1785 {
1786 MCInst TmpInst;
1787 TmpInst.setOpcode(ARM::tADDi3);
1788 TmpInst.addOperand(MCOperand::CreateReg(ValReg));
1789 // 's' bit operand
1790 TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR));
1791 TmpInst.addOperand(MCOperand::CreateReg(ValReg));
1792 TmpInst.addOperand(MCOperand::CreateImm(7));
1793 // Predicate.
1794 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1795 TmpInst.addOperand(MCOperand::CreateReg(0));
1796 OutStreamer.EmitInstruction(TmpInst);
1797 }
1798 {
1799 MCInst TmpInst;
1800 TmpInst.setOpcode(ARM::tSTR);
1801 TmpInst.addOperand(MCOperand::CreateReg(ValReg));
1802 TmpInst.addOperand(MCOperand::CreateReg(SrcReg));
1803 // The offset immediate is #4. The operand value is scaled by 4 for the
1804 // tSTR instruction.
1805 TmpInst.addOperand(MCOperand::CreateImm(1));
1806 TmpInst.addOperand(MCOperand::CreateReg(0));
1807 // Predicate.
1808 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1809 TmpInst.addOperand(MCOperand::CreateReg(0));
1810 OutStreamer.EmitInstruction(TmpInst);
1811 }
1812 {
1813 MCInst TmpInst;
1814 TmpInst.setOpcode(ARM::tMOVi8);
1815 TmpInst.addOperand(MCOperand::CreateReg(ARM::R0));
1816 TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR));
1817 TmpInst.addOperand(MCOperand::CreateImm(0));
1818 // Predicate.
1819 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1820 TmpInst.addOperand(MCOperand::CreateReg(0));
1821 OutStreamer.EmitInstruction(TmpInst);
1822 }
1823 {
1824 const MCExpr *SymbolExpr = MCSymbolRefExpr::Create(Label, OutContext);
1825 MCInst TmpInst;
1826 TmpInst.setOpcode(ARM::tB);
1827 TmpInst.addOperand(MCOperand::CreateExpr(SymbolExpr));
1828 OutStreamer.EmitInstruction(TmpInst);
1829 }
1830 {
1831 MCInst TmpInst;
1832 TmpInst.setOpcode(ARM::tMOVi8);
1833 TmpInst.addOperand(MCOperand::CreateReg(ARM::R0));
1834 TmpInst.addOperand(MCOperand::CreateReg(ARM::CPSR));
1835 TmpInst.addOperand(MCOperand::CreateImm(1));
1836 // Predicate.
1837 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1838 TmpInst.addOperand(MCOperand::CreateReg(0));
1839 OutStreamer.AddComment("eh_setjmp end");
1840 OutStreamer.EmitInstruction(TmpInst);
1841 }
1842 OutStreamer.EmitLabel(Label);
1843 return;
1844 }
1845
Jim Grosbach45390082010-09-23 23:33:56 +00001846 case ARM::Int_eh_sjlj_setjmp_nofp:
1847 case ARM::Int_eh_sjlj_setjmp: { // FIXME: Remove asmstring from td file.
1848 // Two incoming args: GPR:$src, GPR:$val
1849 // add $val, pc, #8
1850 // str $val, [$src, #+4]
1851 // mov r0, #0
1852 // add pc, pc, #0
1853 // mov r0, #1
1854 unsigned SrcReg = MI->getOperand(0).getReg();
1855 unsigned ValReg = MI->getOperand(1).getReg();
1856
1857 {
1858 MCInst TmpInst;
1859 TmpInst.setOpcode(ARM::ADDri);
1860 TmpInst.addOperand(MCOperand::CreateReg(ValReg));
1861 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1862 TmpInst.addOperand(MCOperand::CreateImm(8));
1863 // Predicate.
1864 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1865 TmpInst.addOperand(MCOperand::CreateReg(0));
1866 // 's' bit operand (always reg0 for this).
1867 TmpInst.addOperand(MCOperand::CreateReg(0));
1868 OutStreamer.AddComment("eh_setjmp begin");
1869 OutStreamer.EmitInstruction(TmpInst);
1870 }
1871 {
1872 MCInst TmpInst;
1873 TmpInst.setOpcode(ARM::STR);
1874 TmpInst.addOperand(MCOperand::CreateReg(ValReg));
1875 TmpInst.addOperand(MCOperand::CreateReg(SrcReg));
1876 TmpInst.addOperand(MCOperand::CreateReg(0));
1877 TmpInst.addOperand(MCOperand::CreateImm(4));
1878 // Predicate.
1879 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1880 TmpInst.addOperand(MCOperand::CreateReg(0));
1881 OutStreamer.EmitInstruction(TmpInst);
1882 }
1883 {
1884 MCInst TmpInst;
1885 TmpInst.setOpcode(ARM::MOVi);
1886 TmpInst.addOperand(MCOperand::CreateReg(ARM::R0));
1887 TmpInst.addOperand(MCOperand::CreateImm(0));
1888 // Predicate.
1889 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1890 TmpInst.addOperand(MCOperand::CreateReg(0));
1891 // 's' bit operand (always reg0 for this).
1892 TmpInst.addOperand(MCOperand::CreateReg(0));
1893 OutStreamer.EmitInstruction(TmpInst);
1894 }
1895 {
1896 MCInst TmpInst;
1897 TmpInst.setOpcode(ARM::ADDri);
1898 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1899 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1900 TmpInst.addOperand(MCOperand::CreateImm(0));
1901 // Predicate.
1902 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1903 TmpInst.addOperand(MCOperand::CreateReg(0));
1904 // 's' bit operand (always reg0 for this).
1905 TmpInst.addOperand(MCOperand::CreateReg(0));
1906 OutStreamer.EmitInstruction(TmpInst);
1907 }
1908 {
1909 MCInst TmpInst;
1910 TmpInst.setOpcode(ARM::MOVi);
1911 TmpInst.addOperand(MCOperand::CreateReg(ARM::R0));
1912 TmpInst.addOperand(MCOperand::CreateImm(1));
1913 // Predicate.
1914 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1915 TmpInst.addOperand(MCOperand::CreateReg(0));
1916 // 's' bit operand (always reg0 for this).
1917 TmpInst.addOperand(MCOperand::CreateReg(0));
1918 OutStreamer.AddComment("eh_setjmp end");
1919 OutStreamer.EmitInstruction(TmpInst);
1920 }
1921 return;
1922 }
Chris Lattner97f06932009-10-19 20:20:46 +00001923 }
Jim Grosbachb0739b72010-09-02 01:02:06 +00001924
Chris Lattner97f06932009-10-19 20:20:46 +00001925 MCInst TmpInst;
1926 MCInstLowering.Lower(MI, TmpInst);
Chris Lattner850d2e22010-02-03 01:16:28 +00001927 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner97f06932009-10-19 20:20:46 +00001928}
Daniel Dunbar2685a292009-10-20 05:15:36 +00001929
1930//===----------------------------------------------------------------------===//
1931// Target Registry Stuff
1932//===----------------------------------------------------------------------===//
1933
1934static MCInstPrinter *createARMMCInstPrinter(const Target &T,
1935 unsigned SyntaxVariant,
Chris Lattnerd3740872010-04-04 05:04:31 +00001936 const MCAsmInfo &MAI) {
Daniel Dunbar2685a292009-10-20 05:15:36 +00001937 if (SyntaxVariant == 0)
Jim Grosbach74d7e6c2010-09-17 21:33:25 +00001938 return new ARMInstPrinter(MAI);
Daniel Dunbar2685a292009-10-20 05:15:36 +00001939 return 0;
1940}
1941
1942// Force static initialization.
1943extern "C" void LLVMInitializeARMAsmPrinter() {
1944 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1945 RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
1946
1947 TargetRegistry::RegisterMCInstPrinter(TheARMTarget, createARMMCInstPrinter);
1948 TargetRegistry::RegisterMCInstPrinter(TheThumbTarget, createARMMCInstPrinter);
1949}
1950