blob: 2b97e015bf41bb9e94535785210ef1b265f665c1 [file] [log] [blame]
Chris Lattner71eb0772009-10-19 20:20:46 +00001//===-- ARMAsmPrinter.cpp - Print machine code to an ARM .s file ----------===//
2//
Rafael Espindolaffdc24b2006-05-14 22:18:28 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
Rafael Espindolaffdc24b2006-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
Jim Grosbachd0d13292010-12-01 03:45:07 +000015#include "ARMAsmPrinter.h"
Craig Topper188ed9d2012-03-17 07:33:42 +000016#include "ARM.h"
Evan Chenge45d6852011-01-11 21:46:47 +000017#include "ARMConstantPoolValue.h"
Logan Chien8cbb80d2013-10-28 17:51:12 +000018#include "ARMFPUName.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000019#include "ARMMachineFunctionInfo.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000020#include "ARMTargetMachine.h"
Jason W Kim109ff292010-10-11 23:01:44 +000021#include "ARMTargetObjectFile.h"
Evan Chenge45d6852011-01-11 21:46:47 +000022#include "InstPrinter/ARMInstPrinter.h"
Evan Chenga20cde32011-07-20 23:34:39 +000023#include "MCTargetDesc/ARMAddressingModes.h"
24#include "MCTargetDesc/ARMMCExpr.h"
Jim Grosbach330840f2012-10-04 21:33:24 +000025#include "llvm/ADT/SetVector.h"
26#include "llvm/ADT/SmallString.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000027#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Cheng10043e22007-01-19 07:51:42 +000028#include "llvm/CodeGen/MachineJumpTableInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000029#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000030#include "llvm/IR/Constants.h"
31#include "llvm/IR/DataLayout.h"
Chandler Carruth9a4c9e52014-03-06 00:46:21 +000032#include "llvm/IR/DebugInfo.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000033#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000034#include "llvm/IR/Module.h"
35#include "llvm/IR/Type.h"
Chris Lattner6462adc2009-10-19 18:38:33 +000036#include "llvm/MC/MCAsmInfo.h"
Rafael Espindola0ed15432010-10-25 17:50:35 +000037#include "llvm/MC/MCAssembler.h"
Chris Lattner6462adc2009-10-19 18:38:33 +000038#include "llvm/MC/MCContext.h"
Jack Carter718da0b2013-01-30 02:24:33 +000039#include "llvm/MC/MCELFStreamer.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000040#include "llvm/MC/MCInst.h"
Benjamin Kramer4e629f72012-11-26 13:34:22 +000041#include "llvm/MC/MCInstBuilder.h"
Rafael Espindola0ed15432010-10-25 17:50:35 +000042#include "llvm/MC/MCObjectStreamer.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000043#include "llvm/MC/MCSectionMachO.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000044#include "llvm/MC/MCStreamer.h"
Chris Lattner4cd44982009-09-13 17:14:04 +000045#include "llvm/MC/MCSymbol.h"
Saleem Abdulrasool278a9f42014-01-19 08:25:27 +000046#include "llvm/Support/ARMBuildAttributes.h"
Saleem Abdulrasool0aca1c32014-04-30 06:14:25 +000047#include "llvm/Support/COFF.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000048#include "llvm/Support/CommandLine.h"
Devang Patela52ddc42010-08-04 22:39:39 +000049#include "llvm/Support/Debug.h"
Jack Carter718da0b2013-01-30 02:24:33 +000050#include "llvm/Support/ELF.h"
Torok Edwinf8d479c2009-07-08 20:55:50 +000051#include "llvm/Support/ErrorHandling.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000052#include "llvm/Support/TargetRegistry.h"
Chris Lattnerd20699b2010-04-04 08:18:47 +000053#include "llvm/Support/raw_ostream.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000054#include "llvm/Target/TargetMachine.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000055#include <cctype>
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000056using namespace llvm;
57
Chandler Carruth84e68b22014-04-22 02:41:26 +000058#define DEBUG_TYPE "asm-printer"
59
Jim Grosbach4b63d2a2012-05-18 19:12:01 +000060void ARMAsmPrinter::EmitFunctionBodyEnd() {
61 // Make sure to terminate any constant pools that were at the end
62 // of the function.
63 if (!InConstantPool)
64 return;
65 InConstantPool = false;
66 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
67}
Owen Anderson0ca562e2011-10-04 23:26:17 +000068
Jim Grosbach4b63d2a2012-05-18 19:12:01 +000069void ARMAsmPrinter::EmitFunctionEntryLabel() {
Chris Lattner56db8c32010-01-27 23:58:11 +000070 if (AFI->isThumbFunction()) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +000071 OutStreamer.EmitAssemblerFlag(MCAF_Code16);
Rafael Espindolae90c1cb2011-05-16 16:17:21 +000072 OutStreamer.EmitThumbFunc(CurrentFnSym);
Chris Lattner56db8c32010-01-27 23:58:11 +000073 }
Jim Grosbach8ee5cd92010-09-02 01:02:06 +000074
Chris Lattner56db8c32010-01-27 23:58:11 +000075 OutStreamer.EmitLabel(CurrentFnSym);
76}
77
James Molloy6685c082012-01-26 09:25:43 +000078void ARMAsmPrinter::EmitXXStructor(const Constant *CV) {
Micah Villmowcdfe20b2012-10-08 16:38:25 +000079 uint64_t Size = TM.getDataLayout()->getTypeAllocSize(CV->getType());
James Molloy6685c082012-01-26 09:25:43 +000080 assert(Size && "C++ constructor pointer had zero size!");
81
Bill Wendlingdfb45f42012-02-15 09:14:08 +000082 const GlobalValue *GV = dyn_cast<GlobalValue>(CV->stripPointerCasts());
James Molloy6685c082012-01-26 09:25:43 +000083 assert(GV && "C++ constructor pointer was not a GlobalValue!");
84
Rafael Espindola79858aa2013-10-29 17:07:16 +000085 const MCExpr *E = MCSymbolRefExpr::Create(getSymbol(GV),
Tim Northoverd6a729b2014-01-06 14:28:05 +000086 (Subtarget->isTargetELF()
87 ? MCSymbolRefExpr::VK_ARM_TARGET1
88 : MCSymbolRefExpr::VK_None),
James Molloy6685c082012-01-26 09:25:43 +000089 OutContext);
Jim Grosbach1a597112014-04-03 23:43:18 +000090
James Molloy6685c082012-01-26 09:25:43 +000091 OutStreamer.EmitValue(E, Size);
92}
93
Jim Grosbach080fdf42010-09-30 01:57:53 +000094/// runOnMachineFunction - This uses the EmitInstruction()
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000095/// method to print assembly for each instruction.
96///
97bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng10043e22007-01-19 07:51:42 +000098 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Cheng5e3ac182008-09-18 07:27:23 +000099 MCP = MF.getConstantPool();
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000100
Saleem Abdulrasool0aca1c32014-04-30 06:14:25 +0000101 SetupMachineFunction(MF);
102
103 if (Subtarget->isTargetCOFF()) {
104 bool Internal = MF.getFunction()->hasInternalLinkage();
105 COFF::SymbolStorageClass Scl = Internal ? COFF::IMAGE_SYM_CLASS_STATIC
106 : COFF::IMAGE_SYM_CLASS_EXTERNAL;
107 int Type = COFF::IMAGE_SYM_DTYPE_FUNCTION << COFF::SCT_COMPLEX_TYPE_SHIFT;
108
109 OutStreamer.BeginCOFFSymbolDef(CurrentFnSym);
110 OutStreamer.EmitCOFFSymbolStorageClass(Scl);
111 OutStreamer.EmitCOFFSymbolType(Type);
112 OutStreamer.EndCOFFSymbolDef();
113 }
114
115 // Have common code print out the function header with linkage info etc.
116 EmitFunctionHeader();
117
118 // Emit the rest of the function body.
119 EmitFunctionBody();
120
121 // We didn't modify anything.
122 return false;
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000123}
124
Evan Chengb23b50d2009-06-29 07:51:04 +0000125void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Chris Lattner76c564b2010-04-04 04:47:45 +0000126 raw_ostream &O, const char *Modifier) {
Evan Chengb23b50d2009-06-29 07:51:04 +0000127 const MachineOperand &MO = MI->getOperand(OpNum);
Anton Korobeynikov25229082009-11-24 00:44:37 +0000128 unsigned TF = MO.getTargetFlags();
129
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000130 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +0000131 default: llvm_unreachable("<unknown operand type>");
Bob Wilson2e076c42009-06-22 23:27:02 +0000132 case MachineOperand::MO_Register: {
133 unsigned Reg = MO.getReg();
Chris Lattner93e3ef62009-10-19 20:59:55 +0000134 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Jim Grosbach2c950272010-10-06 21:22:32 +0000135 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Weiming Zhaoc5987002013-02-14 18:10:21 +0000136 if(ARM::GPRPairRegClass.contains(Reg)) {
137 const MachineFunction &MF = *MI->getParent()->getParent();
138 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
139 Reg = TRI->getSubReg(Reg, ARM::gsub_0);
140 }
Jim Grosbach2c950272010-10-06 21:22:32 +0000141 O << ARMInstPrinter::getRegisterName(Reg);
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000142 break;
Bob Wilson2e076c42009-06-22 23:27:02 +0000143 }
Evan Cheng10043e22007-01-19 07:51:42 +0000144 case MachineOperand::MO_Immediate: {
Evan Cheng83e0d482009-09-28 09:14:39 +0000145 int64_t Imm = MO.getImm();
Anton Korobeynikov222b86c2009-10-08 20:43:22 +0000146 O << '#';
Anton Korobeynikov25229082009-11-24 00:44:37 +0000147 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
Jason W Kime9eae0f2011-01-12 23:21:49 +0000148 (TF == ARMII::MO_LO16))
Anton Korobeynikov25229082009-11-24 00:44:37 +0000149 O << ":lower16:";
150 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
Jason W Kime9eae0f2011-01-12 23:21:49 +0000151 (TF == ARMII::MO_HI16))
Anton Korobeynikov25229082009-11-24 00:44:37 +0000152 O << ":upper16:";
Anton Korobeynikov222b86c2009-10-08 20:43:22 +0000153 O << Imm;
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000154 break;
Evan Cheng10043e22007-01-19 07:51:42 +0000155 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000156 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner29bdac42010-03-13 21:04:28 +0000157 O << *MO.getMBB()->getSymbol();
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000158 return;
Rafael Espindola75269be2006-07-16 01:02:57 +0000159 case MachineOperand::MO_GlobalAddress: {
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000160 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov25229082009-11-24 00:44:37 +0000161 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
162 (TF & ARMII::MO_LO16))
163 O << ":lower16:";
164 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
165 (TF & ARMII::MO_HI16))
166 O << ":upper16:";
Rafael Espindola79858aa2013-10-29 17:07:16 +0000167 O << *getSymbol(GV);
Anton Korobeynikovbff4b372008-11-22 16:15:34 +0000168
Chris Lattnerf33c7fc2010-04-03 22:28:33 +0000169 printOffset(MO.getOffset(), O);
Jim Grosbachf49540c2010-10-06 21:36:43 +0000170 if (TF == ARMII::MO_PLT)
Lauro Ramos Venancioee2d1642007-04-22 00:04:12 +0000171 O << "(PLT)";
Evan Cheng10043e22007-01-19 07:51:42 +0000172 break;
Rafael Espindola75269be2006-07-16 01:02:57 +0000173 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000174 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnerc55ea3f2010-01-23 07:00:21 +0000175 O << *GetCPISymbol(MO.getIndex());
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000176 break;
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000177 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000178}
179
Evan Chengb23b50d2009-06-29 07:51:04 +0000180//===--------------------------------------------------------------------===//
181
Chris Lattner68d64aa2010-01-25 19:51:38 +0000182MCSymbol *ARMAsmPrinter::
Chris Lattner68d64aa2010-01-25 19:51:38 +0000183GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const {
Rafael Espindola58873562014-01-03 19:21:54 +0000184 const DataLayout *DL = TM.getDataLayout();
Chris Lattner68d64aa2010-01-25 19:51:38 +0000185 SmallString<60> Name;
Rafael Espindola58873562014-01-03 19:21:54 +0000186 raw_svector_ostream(Name) << DL->getPrivateGlobalPrefix() << "JTI"
Chris Lattner8186eec2010-01-25 23:28:03 +0000187 << getFunctionNumber() << '_' << uid << '_' << uid2;
Chris Lattner98970432010-03-30 18:10:53 +0000188 return OutContext.GetOrCreateSymbol(Name.str());
Chris Lattner6330d532010-01-25 19:39:52 +0000189}
190
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000191
Dmitri Gribenko0011bbf2012-11-15 16:51:49 +0000192MCSymbol *ARMAsmPrinter::GetARMSJLJEHLabel() const {
Rafael Espindola58873562014-01-03 19:21:54 +0000193 const DataLayout *DL = TM.getDataLayout();
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000194 SmallString<60> Name;
Rafael Espindola58873562014-01-03 19:21:54 +0000195 raw_svector_ostream(Name) << DL->getPrivateGlobalPrefix() << "SJLJEH"
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000196 << getFunctionNumber();
197 return OutContext.GetOrCreateSymbol(Name.str());
198}
199
Evan Chengb23b50d2009-06-29 07:51:04 +0000200bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattner3bb09762010-04-04 05:29:35 +0000201 unsigned AsmVariant, const char *ExtraCode,
202 raw_ostream &O) {
Evan Cheng10043e22007-01-19 07:51:42 +0000203 // Does this asm operand have a single letter operand modifier?
204 if (ExtraCode && ExtraCode[0]) {
205 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikovcfed3002009-08-08 23:10:41 +0000206
Evan Cheng10043e22007-01-19 07:51:42 +0000207 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000208 default:
209 // See if this is a generic print operand
210 return AsmPrinter::PrintAsmOperand(MI, OpNum, AsmVariant, ExtraCode, O);
Bob Wilson9ce44e22009-07-09 23:54:51 +0000211 case 'a': // Print as a memory address.
212 if (MI->getOperand(OpNum).isReg()) {
Jim Grosbach136ed512010-09-30 15:25:22 +0000213 O << "["
214 << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg())
215 << "]";
Bob Wilson9ce44e22009-07-09 23:54:51 +0000216 return false;
217 }
218 // Fallthrough
219 case 'c': // Don't print "#" before an immediate operand.
Bob Wilsonceffeb62009-08-21 21:58:55 +0000220 if (!MI->getOperand(OpNum).isImm())
221 return true;
Jim Grosbach080fdf42010-09-30 01:57:53 +0000222 O << MI->getOperand(OpNum).getImm();
Bob Wilson0669f6d2009-04-06 21:46:51 +0000223 return false;
Evan Cheng1e150de2007-04-04 00:13:29 +0000224 case 'P': // Print a VFP double precision register.
Evan Cheng0c2544f2009-12-08 23:06:22 +0000225 case 'q': // Print a NEON quad precision register.
Chris Lattner76c564b2010-04-04 04:47:45 +0000226 printOperand(MI, OpNum, O);
Evan Chengea28fc52007-03-08 22:42:46 +0000227 return false;
Eric Christopher76178832011-05-24 22:10:34 +0000228 case 'y': // Print a VFP single precision register as indexed double.
Eric Christopher76178832011-05-24 22:10:34 +0000229 if (MI->getOperand(OpNum).isReg()) {
230 unsigned Reg = MI->getOperand(OpNum).getReg();
231 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
Jakob Stoklund Olesen5541f602012-05-30 23:00:43 +0000232 // Find the 'd' register that has this 's' register as a sub-register,
233 // and determine the lane number.
234 for (MCSuperRegIterator SR(Reg, TRI); SR.isValid(); ++SR) {
235 if (!ARM::DPRRegClass.contains(*SR))
236 continue;
237 bool Lane0 = TRI->getSubReg(*SR, ARM::ssub_0) == Reg;
238 O << ARMInstPrinter::getRegisterName(*SR) << (Lane0 ? "[0]" : "[1]");
239 return false;
240 }
Eric Christopher76178832011-05-24 22:10:34 +0000241 }
Eric Christopher1b724942011-05-24 23:27:13 +0000242 return true;
Eric Christopherd4562562011-05-24 22:27:43 +0000243 case 'B': // Bitwise inverse of integer or symbol without a preceding #.
Eric Christopherb1dda562011-05-24 23:15:43 +0000244 if (!MI->getOperand(OpNum).isImm())
245 return true;
246 O << ~(MI->getOperand(OpNum).getImm());
247 return false;
Eric Christopherd4562562011-05-24 22:27:43 +0000248 case 'L': // The low 16 bits of an immediate constant.
Eric Christopher1b724942011-05-24 23:27:13 +0000249 if (!MI->getOperand(OpNum).isImm())
250 return true;
251 O << (MI->getOperand(OpNum).getImm() & 0xffff);
252 return false;
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000253 case 'M': { // A register range suitable for LDM/STM.
254 if (!MI->getOperand(OpNum).isReg())
255 return true;
256 const MachineOperand &MO = MI->getOperand(OpNum);
257 unsigned RegBegin = MO.getReg();
258 // This takes advantage of the 2 operand-ness of ldm/stm and that we've
259 // already got the operands in registers that are operands to the
260 // inline asm statement.
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000261 O << "{";
262 if (ARM::GPRPairRegClass.contains(RegBegin)) {
263 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
264 unsigned Reg0 = TRI->getSubReg(RegBegin, ARM::gsub_0);
Alp Toker98444342014-04-19 23:56:35 +0000265 O << ARMInstPrinter::getRegisterName(Reg0) << ", ";
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000266 RegBegin = TRI->getSubReg(RegBegin, ARM::gsub_1);
267 }
268 O << ARMInstPrinter::getRegisterName(RegBegin);
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000269
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000270 // FIXME: The register allocator not only may not have given us the
271 // registers in sequence, but may not be in ascending registers. This
272 // will require changes in the register allocator that'll need to be
273 // propagated down here if the operands change.
274 unsigned RegOps = OpNum + 1;
275 while (MI->getOperand(RegOps).isReg()) {
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000276 O << ", "
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000277 << ARMInstPrinter::getRegisterName(MI->getOperand(RegOps).getReg());
278 RegOps++;
279 }
280
281 O << "}";
282
283 return false;
284 }
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000285 case 'R': // The most significant register of a pair.
286 case 'Q': { // The least significant register of a pair.
287 if (OpNum == 0)
288 return true;
289 const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1);
290 if (!FlagsOP.isImm())
291 return true;
292 unsigned Flags = FlagsOP.getImm();
Tim Northover2ddeeed2013-08-22 06:51:04 +0000293
294 // This operand may not be the one that actually provides the register. If
295 // it's tied to a previous one then we should refer instead to that one
296 // for registers and their classes.
297 unsigned TiedIdx;
298 if (InlineAsm::isUseOperandTiedToDef(Flags, TiedIdx)) {
299 for (OpNum = InlineAsm::MIOp_FirstOperand; TiedIdx; --TiedIdx) {
300 unsigned OpFlags = MI->getOperand(OpNum).getImm();
301 OpNum += InlineAsm::getNumOperandRegisters(OpFlags) + 1;
302 }
303 Flags = MI->getOperand(OpNum).getImm();
304
305 // Later code expects OpNum to be pointing at the register rather than
306 // the flags.
307 OpNum += 1;
308 }
309
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000310 unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags);
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000311 unsigned RC;
312 InlineAsm::hasRegClassConstraint(Flags, RC);
313 if (RC == ARM::GPRPairRegClassID) {
314 if (NumVals != 1)
315 return true;
316 const MachineOperand &MO = MI->getOperand(OpNum);
317 if (!MO.isReg())
318 return true;
319 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
320 unsigned Reg = TRI->getSubReg(MO.getReg(), ExtraCode[0] == 'Q' ?
321 ARM::gsub_0 : ARM::gsub_1);
322 O << ARMInstPrinter::getRegisterName(Reg);
323 return false;
324 }
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000325 if (NumVals != 2)
326 return true;
327 unsigned RegOp = ExtraCode[0] == 'Q' ? OpNum : OpNum + 1;
328 if (RegOp >= MI->getNumOperands())
329 return true;
330 const MachineOperand &MO = MI->getOperand(RegOp);
331 if (!MO.isReg())
332 return true;
333 unsigned Reg = MO.getReg();
334 O << ARMInstPrinter::getRegisterName(Reg);
335 return false;
336 }
337
Eric Christopherd4562562011-05-24 22:27:43 +0000338 case 'e': // The low doubleword register of a NEON quad register.
Bob Wilsonfadc2c82011-12-12 21:45:15 +0000339 case 'f': { // The high doubleword register of a NEON quad register.
340 if (!MI->getOperand(OpNum).isReg())
341 return true;
342 unsigned Reg = MI->getOperand(OpNum).getReg();
343 if (!ARM::QPRRegClass.contains(Reg))
344 return true;
345 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
346 unsigned SubReg = TRI->getSubReg(Reg, ExtraCode[0] == 'e' ?
347 ARM::dsub_0 : ARM::dsub_1);
348 O << ARMInstPrinter::getRegisterName(SubReg);
349 return false;
350 }
351
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000352 // This modifier is not yet supported.
Eric Christopherd4562562011-05-24 22:27:43 +0000353 case 'h': // A range of VFP/NEON registers suitable for VLD1/VST1.
Bob Wilson40e62df2010-05-27 20:23:42 +0000354 return true;
Eric Christopher5f61a742012-08-14 23:32:15 +0000355 case 'H': { // The highest-numbered register of a pair.
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000356 const MachineOperand &MO = MI->getOperand(OpNum);
357 if (!MO.isReg())
358 return true;
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000359 const MachineFunction &MF = *MI->getParent()->getParent();
360 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
Weiming Zhaoc5987002013-02-14 18:10:21 +0000361 unsigned Reg = MO.getReg();
362 if(!ARM::GPRPairRegClass.contains(Reg))
363 return false;
364 Reg = TRI->getSubReg(Reg, ARM::gsub_1);
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000365 O << ARMInstPrinter::getRegisterName(Reg);
366 return false;
Evan Cheng3d3ee872010-05-27 22:08:38 +0000367 }
Eric Christopher5f61a742012-08-14 23:32:15 +0000368 }
Evan Cheng10043e22007-01-19 07:51:42 +0000369 }
Jim Grosbach1eaa90b2009-09-04 01:38:51 +0000370
Chris Lattner76c564b2010-04-04 04:47:45 +0000371 printOperand(MI, OpNum, O);
Evan Cheng10043e22007-01-19 07:51:42 +0000372 return false;
373}
374
Bob Wilsona2c462b2009-05-19 05:53:42 +0000375bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Chengb23b50d2009-06-29 07:51:04 +0000376 unsigned OpNum, unsigned AsmVariant,
Chris Lattner3bb09762010-04-04 05:29:35 +0000377 const char *ExtraCode,
378 raw_ostream &O) {
Eric Christopher8c5e4192011-05-25 20:51:58 +0000379 // Does this asm operand have a single letter operand modifier?
380 if (ExtraCode && ExtraCode[0]) {
381 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000382
Eric Christopher8c5e4192011-05-25 20:51:58 +0000383 switch (ExtraCode[0]) {
Eric Christopher33a73c72011-05-26 18:22:26 +0000384 case 'A': // A memory operand for a VLD1/VST1 instruction.
Eric Christopher8c5e4192011-05-25 20:51:58 +0000385 default: return true; // Unknown modifier.
386 case 'm': // The base register of a memory operand.
387 if (!MI->getOperand(OpNum).isReg())
388 return true;
389 O << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg());
390 return false;
391 }
392 }
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000393
Bob Wilson3b515602009-10-13 20:50:28 +0000394 const MachineOperand &MO = MI->getOperand(OpNum);
395 assert(MO.isReg() && "unexpected inline asm memory operand");
Jim Grosbach080fdf42010-09-30 01:57:53 +0000396 O << "[" << ARMInstPrinter::getRegisterName(MO.getReg()) << "]";
Bob Wilsona2c462b2009-05-19 05:53:42 +0000397 return false;
398}
399
Rafael Espindola65fd0a82014-01-24 15:47:54 +0000400static bool isThumb(const MCSubtargetInfo& STI) {
401 return (STI.getFeatureBits() & ARM::ModeThumb) != 0;
402}
403
404void ARMAsmPrinter::emitInlineAsmEnd(const MCSubtargetInfo &StartInfo,
David Peixottoea2bcb92014-02-06 18:19:40 +0000405 const MCSubtargetInfo *EndInfo) const {
Rafael Espindola65fd0a82014-01-24 15:47:54 +0000406 // If either end mode is unknown (EndInfo == NULL) or different than
407 // the start mode, then restore the start mode.
408 const bool WasThumb = isThumb(StartInfo);
Craig Topper062a2ba2014-04-25 05:30:21 +0000409 if (!EndInfo || WasThumb != isThumb(*EndInfo)) {
Rafael Espindola65fd0a82014-01-24 15:47:54 +0000410 OutStreamer.EmitAssemblerFlag(WasThumb ? MCAF_Code16 : MCAF_Code32);
Rafael Espindola65fd0a82014-01-24 15:47:54 +0000411 }
412}
413
Bob Wilsonb633d7a2009-09-30 22:06:26 +0000414void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000415 if (Subtarget->isTargetMachO()) {
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000416 Reloc::Model RelocM = TM.getRelocationModel();
417 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
418 // Declare all the text sections up front (before the DWARF sections
419 // emitted by AsmPrinter::doInitialization) so the assembler will keep
420 // them together at the beginning of the object file. This helps
421 // avoid out-of-range branches that are due a fundamental limitation of
422 // the way symbol offsets are encoded with the current Darwin ARM
423 // relocations.
Jim Grosbach8ee5cd92010-09-02 01:02:06 +0000424 const TargetLoweringObjectFileMachO &TLOFMacho =
Dan Gohman53d4a082010-04-17 16:44:48 +0000425 static_cast<const TargetLoweringObjectFileMachO &>(
426 getObjFileLowering());
Jim Grosbach330840f2012-10-04 21:33:24 +0000427
428 // Collect the set of sections our functions will go into.
429 SetVector<const MCSection *, SmallVector<const MCSection *, 8>,
430 SmallPtrSet<const MCSection *, 8> > TextSections;
431 // Default text section comes first.
432 TextSections.insert(TLOFMacho.getTextSection());
433 // Now any user defined text sections from function attributes.
434 for (Module::iterator F = M.begin(), e = M.end(); F != e; ++F)
435 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage())
Rafael Espindolafa0f7282014-02-08 14:53:28 +0000436 TextSections.insert(TLOFMacho.SectionForGlobal(F, *Mang, TM));
Jim Grosbach330840f2012-10-04 21:33:24 +0000437 // Now the coalescable sections.
438 TextSections.insert(TLOFMacho.getTextCoalSection());
439 TextSections.insert(TLOFMacho.getConstTextCoalSection());
440
441 // Emit the sections in the .s file header to fix the order.
442 for (unsigned i = 0, e = TextSections.size(); i != e; ++i)
443 OutStreamer.SwitchSection(TextSections[i]);
444
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000445 if (RelocM == Reloc::DynamicNoPIC) {
446 const MCSection *sect =
Chris Lattner433d4062010-04-08 20:40:11 +0000447 OutContext.getMachOSection("__TEXT", "__symbol_stub4",
David Majnemer7b583052014-03-07 07:36:05 +0000448 MachO::S_SYMBOL_STUBS,
Chris Lattner433d4062010-04-08 20:40:11 +0000449 12, SectionKind::getText());
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000450 OutStreamer.SwitchSection(sect);
451 } else {
452 const MCSection *sect =
Chris Lattner433d4062010-04-08 20:40:11 +0000453 OutContext.getMachOSection("__TEXT", "__picsymbolstub4",
David Majnemer7b583052014-03-07 07:36:05 +0000454 MachO::S_SYMBOL_STUBS,
Chris Lattner433d4062010-04-08 20:40:11 +0000455 16, SectionKind::getText());
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000456 OutStreamer.SwitchSection(sect);
457 }
Bob Wilson4320e2d2010-07-30 19:55:47 +0000458 const MCSection *StaticInitSect =
459 OutContext.getMachOSection("__TEXT", "__StaticInit",
David Majnemer7b583052014-03-07 07:36:05 +0000460 MachO::S_REGULAR |
461 MachO::S_ATTR_PURE_INSTRUCTIONS,
Bob Wilson4320e2d2010-07-30 19:55:47 +0000462 SectionKind::getText());
463 OutStreamer.SwitchSection(StaticInitSect);
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000464 }
Adrian Prantl671af5c2014-01-20 19:15:59 +0000465
466 // Compiling with debug info should not affect the code
467 // generation. Ensure the cstring section comes before the
468 // optional __DWARF secion. Otherwise, PC-relative loads would
469 // have to use different instruction sequences at "-g" in order to
470 // reach global data in the same object file.
471 OutStreamer.SwitchSection(getObjFileLowering().getCStringSection());
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000472 }
473
Jim Grosbachd7cf55c2009-11-09 00:11:35 +0000474 // Use unified assembler syntax.
Jason W Kim645f6c22010-09-30 02:45:56 +0000475 OutStreamer.EmitAssemblerFlag(MCAF_SyntaxUnified);
Anton Korobeynikovf687a822009-06-17 23:43:18 +0000476
Anton Korobeynikovfa6f1ee2009-05-23 19:51:20 +0000477 // Emit ARM Build Attributes
Evan Cheng0460ae82012-02-21 20:46:00 +0000478 if (Subtarget->isTargetELF())
Jason W Kimbff84d42010-10-06 22:36:46 +0000479 emitAttributes();
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000480}
481
Tim Northover23723012014-04-29 10:06:05 +0000482static void
483emitNonLazySymbolPointer(MCStreamer &OutStreamer, MCSymbol *StubLabel,
484 MachineModuleInfoImpl::StubValueTy &MCSym) {
485 // L_foo$stub:
486 OutStreamer.EmitLabel(StubLabel);
487 // .indirect_symbol _foo
488 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(), MCSA_IndirectSymbol);
489
490 if (MCSym.getInt())
491 // External to current translation unit.
492 OutStreamer.EmitIntValue(0, 4/*size*/);
493 else
494 // Internal to current translation unit.
495 //
496 // When we place the LSDA into the TEXT section, the type info
497 // pointers need to be indirect and pc-rel. We accomplish this by
498 // using NLPs; however, sometimes the types are local to the file.
499 // We need to fill in the value for the NLP in those cases.
500 OutStreamer.EmitValue(
501 MCSymbolRefExpr::Create(MCSym.getPointer(), OutStreamer.getContext()),
502 4 /*size*/);
503}
504
Anton Korobeynikov04083522008-08-07 09:54:23 +0000505
Chris Lattneree9399a2009-10-19 17:59:19 +0000506void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000507 if (Subtarget->isTargetMachO()) {
Chris Lattner73ebe432009-08-03 22:18:15 +0000508 // All darwin targets use mach-o.
Dan Gohman53d4a082010-04-17 16:44:48 +0000509 const TargetLoweringObjectFileMachO &TLOFMacho =
510 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering());
Chris Lattner6462adc2009-10-19 18:38:33 +0000511 MachineModuleInfoMachO &MMIMacho =
512 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Jim Grosbach1eaa90b2009-09-04 01:38:51 +0000513
Evan Cheng10043e22007-01-19 07:51:42 +0000514 // Output non-lazy-pointers for external and common global variables.
Chris Lattner6462adc2009-10-19 18:38:33 +0000515 MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList();
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000516
Chris Lattner6462adc2009-10-19 18:38:33 +0000517 if (!Stubs.empty()) {
Chris Lattnercb307a272009-08-10 01:39:42 +0000518 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000519 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattner292472d2009-08-10 18:01:34 +0000520 EmitAlignment(2);
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000521
Tim Northover23723012014-04-29 10:06:05 +0000522 for (auto &Stub : Stubs)
523 emitNonLazySymbolPointer(OutStreamer, Stub.first, Stub.second);
Bill Wendlingf1eae222010-03-09 00:40:17 +0000524
525 Stubs.clear();
526 OutStreamer.AddBlankLine();
Evan Cheng10043e22007-01-19 07:51:42 +0000527 }
528
Chris Lattner3334deb2009-10-19 18:44:38 +0000529 Stubs = MMIMacho.GetHiddenGVStubList();
530 if (!Stubs.empty()) {
Tim Northover23723012014-04-29 10:06:05 +0000531 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattnerfbcafd42009-08-10 18:02:16 +0000532 EmitAlignment(2);
Tim Northover23723012014-04-29 10:06:05 +0000533
534 for (auto &Stub : Stubs)
535 emitNonLazySymbolPointer(OutStreamer, Stub.first, Stub.second);
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000536
537 Stubs.clear();
538 OutStreamer.AddBlankLine();
Evan Cheng2a03c7e2008-12-05 01:06:39 +0000539 }
540
Evan Cheng10043e22007-01-19 07:51:42 +0000541 // Funny Darwin hack: This flag tells the linker that no global symbols
542 // contain code that falls through to other global symbols (e.g. the obvious
543 // implementation of multiple entry points). If this doesn't occur, the
544 // linker can safely perform dead code stripping. Since LLVM never
545 // generates code that does this, it is always safe to set.
Chris Lattner685508c2010-01-23 06:39:22 +0000546 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Rafael Espindola89e5cbd2006-07-27 11:38:51 +0000547 }
Joerg Sonnenberger0f90c952014-05-01 00:25:15 +0000548
549 // Emit a .data.rel section containing any stubs that were created.
550 if (Subtarget->isTargetELF()) {
551 const TargetLoweringObjectFileELF &TLOFELF =
552 static_cast<const TargetLoweringObjectFileELF &>(getObjFileLowering());
553
554 MachineModuleInfoELF &MMIELF = MMI->getObjFileInfo<MachineModuleInfoELF>();
555
556 // Output stubs for external and common global variables.
557 MachineModuleInfoELF::SymbolListTy Stubs = MMIELF.GetGVStubList();
558 if (!Stubs.empty()) {
559 OutStreamer.SwitchSection(TLOFELF.getDataRelSection());
560 const DataLayout *TD = TM.getDataLayout();
561
562 for (auto &stub: Stubs) {
563 OutStreamer.EmitLabel(stub.first);
564 OutStreamer.EmitSymbolValue(stub.second.getPointer(),
565 TD->getPointerSize(0));
566 }
567 Stubs.clear();
568 }
569 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000570}
Anton Korobeynikov17d28de2008-08-17 13:55:10 +0000571
Chris Lattner71eb0772009-10-19 20:20:46 +0000572//===----------------------------------------------------------------------===//
Jason W Kimbff84d42010-10-06 22:36:46 +0000573// Helper routines for EmitStartOfAsmFile() and EmitEndOfAsmFile()
574// FIXME:
575// The following seem like one-off assembler flags, but they actually need
Jim Grosbach25cd3bf2010-10-06 22:46:47 +0000576// to appear in the .ARM.attributes section in ELF.
Jason W Kimbff84d42010-10-06 22:36:46 +0000577// Instead of subclassing the MCELFStreamer, we do the work here.
578
Amara Emerson5035ee02013-10-07 16:55:23 +0000579static ARMBuildAttrs::CPUArch getArchForCPU(StringRef CPU,
580 const ARMSubtarget *Subtarget) {
581 if (CPU == "xscale")
582 return ARMBuildAttrs::v5TEJ;
583
584 if (Subtarget->hasV8Ops())
585 return ARMBuildAttrs::v8;
586 else if (Subtarget->hasV7Ops()) {
587 if (Subtarget->isMClass() && Subtarget->hasThumb2DSP())
588 return ARMBuildAttrs::v7E_M;
589 return ARMBuildAttrs::v7;
590 } else if (Subtarget->hasV6T2Ops())
591 return ARMBuildAttrs::v6T2;
592 else if (Subtarget->hasV6MOps())
593 return ARMBuildAttrs::v6S_M;
594 else if (Subtarget->hasV6Ops())
595 return ARMBuildAttrs::v6;
596 else if (Subtarget->hasV5TEOps())
597 return ARMBuildAttrs::v5TE;
598 else if (Subtarget->hasV5TOps())
599 return ARMBuildAttrs::v5T;
600 else if (Subtarget->hasV4TOps())
601 return ARMBuildAttrs::v4T;
602 else
603 return ARMBuildAttrs::v4;
604}
605
Jason W Kimbff84d42010-10-06 22:36:46 +0000606void ARMAsmPrinter::emitAttributes() {
Rafael Espindola4a1a3602014-01-14 01:21:46 +0000607 MCTargetStreamer &TS = *OutStreamer.getTargetStreamer();
Logan Chien8cbb80d2013-10-28 17:51:12 +0000608 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
Jim Grosbach25cd3bf2010-10-06 22:46:47 +0000609
Logan Chien8cbb80d2013-10-28 17:51:12 +0000610 ATS.switchVendor("aeabi");
Rafael Espindola0ed15432010-10-25 17:50:35 +0000611
Jason W Kimbff84d42010-10-06 22:36:46 +0000612 std::string CPUString = Subtarget->getCPUString();
Jason W Kim85b0af12011-02-07 00:49:53 +0000613
Ana Pazos93a07c22013-12-06 22:48:17 +0000614 // FIXME: remove krait check when GNU tools support krait cpu
615 if (CPUString != "generic" && CPUString != "krait")
Logan Chien8cbb80d2013-10-28 17:51:12 +0000616 ATS.emitTextAttribute(ARMBuildAttrs::CPU_name, CPUString);
Amara Emerson5035ee02013-10-07 16:55:23 +0000617
Logan Chien8cbb80d2013-10-28 17:51:12 +0000618 ATS.emitAttribute(ARMBuildAttrs::CPU_arch,
619 getArchForCPU(CPUString, Subtarget));
Amara Emerson5035ee02013-10-07 16:55:23 +0000620
Artyom Skrobov4d91d942014-01-10 16:42:55 +0000621 // Tag_CPU_arch_profile must have the default value of 0 when "Architecture
Jim Grosbach1a597112014-04-03 23:43:18 +0000622 // profile is not applicable (e.g. pre v7, or cross-profile code)".
Artyom Skrobov4d91d942014-01-10 16:42:55 +0000623 if (Subtarget->hasV7Ops()) {
624 if (Subtarget->isAClass()) {
625 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
626 ARMBuildAttrs::ApplicationProfile);
627 } else if (Subtarget->isRClass()) {
628 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
629 ARMBuildAttrs::RealTimeProfile);
630 } else if (Subtarget->isMClass()) {
631 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
632 ARMBuildAttrs::MicroControllerProfile);
633 }
Amara Emerson5035ee02013-10-07 16:55:23 +0000634 }
Jason W Kim85b0af12011-02-07 00:49:53 +0000635
Logan Chien8cbb80d2013-10-28 17:51:12 +0000636 ATS.emitAttribute(ARMBuildAttrs::ARM_ISA_use, Subtarget->hasARMOps() ?
637 ARMBuildAttrs::Allowed : ARMBuildAttrs::Not_Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000638 if (Subtarget->isThumb1Only()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000639 ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use,
640 ARMBuildAttrs::Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000641 } else if (Subtarget->hasThumb2()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000642 ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use,
643 ARMBuildAttrs::AllowThumb32);
Amara Emerson5035ee02013-10-07 16:55:23 +0000644 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000645
Logan Chien8cbb80d2013-10-28 17:51:12 +0000646 if (Subtarget->hasNEON()) {
Renato Golinec0fc7d2011-02-28 22:04:27 +0000647 /* NEON is not exactly a VFP architecture, but GAS emit one of
Joey Gouly3c0e5562013-09-13 11:51:52 +0000648 * neon/neon-fp-armv8/neon-vfpv4/vfpv3/vfpv2 for .fpu parameters */
Amara Emerson5035ee02013-10-07 16:55:23 +0000649 if (Subtarget->hasFPARMv8()) {
650 if (Subtarget->hasCrypto())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000651 ATS.emitFPU(ARM::CRYPTO_NEON_FP_ARMV8);
Amara Emerson5035ee02013-10-07 16:55:23 +0000652 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000653 ATS.emitFPU(ARM::NEON_FP_ARMV8);
Amara Emerson5035ee02013-10-07 16:55:23 +0000654 }
Joey Gouly3c0e5562013-09-13 11:51:52 +0000655 else if (Subtarget->hasVFP4())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000656 ATS.emitFPU(ARM::NEON_VFPV4);
Anton Korobeynikov5482b9f2012-01-22 12:07:33 +0000657 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000658 ATS.emitFPU(ARM::NEON);
659 // Emit Tag_Advanced_SIMD_arch for ARMv8 architecture
Joey Goulyb1b0dd82013-06-27 11:49:26 +0000660 if (Subtarget->hasV8Ops())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000661 ATS.emitAttribute(ARMBuildAttrs::Advanced_SIMD_arch,
662 ARMBuildAttrs::AllowNeonARMv8);
663 } else {
664 if (Subtarget->hasFPARMv8())
665 ATS.emitFPU(ARM::FP_ARMV8);
666 else if (Subtarget->hasVFP4())
667 ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV4_D16 : ARM::VFPV4);
668 else if (Subtarget->hasVFP3())
669 ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV3_D16 : ARM::VFPV3);
670 else if (Subtarget->hasVFP2())
671 ATS.emitFPU(ARM::VFPV2);
Renato Golinec0fc7d2011-02-28 22:04:27 +0000672 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000673
674 // Signal various FP modes.
Amara Emersonac695082013-10-11 16:03:43 +0000675 if (!TM.Options.UnsafeFPMath) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000676 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_denormal, ARMBuildAttrs::Allowed);
677 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_exceptions,
678 ARMBuildAttrs::Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000679 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000680
Amara Emersonac695082013-10-11 16:03:43 +0000681 if (TM.Options.NoInfsFPMath && TM.Options.NoNaNsFPMath)
Logan Chien8cbb80d2013-10-28 17:51:12 +0000682 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model,
683 ARMBuildAttrs::Allowed);
Amara Emersonac695082013-10-11 16:03:43 +0000684 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000685 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model,
686 ARMBuildAttrs::AllowIEE754);
Amara Emersonac695082013-10-11 16:03:43 +0000687
Saleem Abdulrasool278a9f42014-01-19 08:25:27 +0000688 // FIXME: add more flags to ARMBuildAttributes.h
Jason W Kimbff84d42010-10-06 22:36:46 +0000689 // 8-bytes alignment stuff.
Saleem Abdulrasool196c3212014-01-19 08:25:35 +0000690 ATS.emitAttribute(ARMBuildAttrs::ABI_align_needed, 1);
691 ATS.emitAttribute(ARMBuildAttrs::ABI_align_preserved, 1);
Jason W Kimbff84d42010-10-06 22:36:46 +0000692
Bradley Smithc848beb2013-11-01 11:21:16 +0000693 // ABI_HardFP_use attribute to indicate single precision FP.
694 if (Subtarget->isFPOnlySP())
695 ATS.emitAttribute(ARMBuildAttrs::ABI_HardFP_use,
696 ARMBuildAttrs::HardFPSinglePrecision);
697
Jason W Kimbff84d42010-10-06 22:36:46 +0000698 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
Bradley Smithc848beb2013-11-01 11:21:16 +0000699 if (Subtarget->isAAPCS_ABI() && TM.Options.FloatABIType == FloatABI::Hard)
700 ATS.emitAttribute(ARMBuildAttrs::ABI_VFP_args, ARMBuildAttrs::HardFPAAPCS);
701
Jason W Kimbff84d42010-10-06 22:36:46 +0000702 // FIXME: Should we signal R9 usage?
Rafael Espindola0ed15432010-10-25 17:50:35 +0000703
Bradley Smith9aa8ac92013-11-12 10:38:05 +0000704 if (Subtarget->hasFP16())
705 ATS.emitAttribute(ARMBuildAttrs::FP_HP_extension, ARMBuildAttrs::AllowHPFP);
706
Bradley Smith25219752013-11-01 13:27:35 +0000707 if (Subtarget->hasMPExtension())
708 ATS.emitAttribute(ARMBuildAttrs::MPextension_use, ARMBuildAttrs::AllowMP);
709
Artyom Skrobov10e76a42014-01-20 10:18:42 +0000710 // Hardware divide in ARM mode is part of base arch, starting from ARMv8.
711 // If only Thumb hwdiv is present, it must also be in base arch (ARMv7-R/M).
712 // It is not possible to produce DisallowDIV: if hwdiv is present in the base
713 // arch, supplying -hwdiv downgrades the effective arch, via ClearImpliedBits.
714 // AllowDIVExt is only emitted if hwdiv isn't available in the base arch;
715 // otherwise, the default value (AllowDIVIfExists) applies.
716 if (Subtarget->hasDivideInARMMode() && !Subtarget->hasV8Ops())
717 ATS.emitAttribute(ARMBuildAttrs::DIV_use, ARMBuildAttrs::AllowDIVExt);
Rafael Espindola0ed15432010-10-25 17:50:35 +0000718
Bradley Smith25219752013-11-01 13:27:35 +0000719 if (Subtarget->hasTrustZone() && Subtarget->hasVirtualization())
720 ATS.emitAttribute(ARMBuildAttrs::Virtualization_use,
721 ARMBuildAttrs::AllowTZVirtualization);
722 else if (Subtarget->hasTrustZone())
723 ATS.emitAttribute(ARMBuildAttrs::Virtualization_use,
724 ARMBuildAttrs::AllowTZ);
725 else if (Subtarget->hasVirtualization())
726 ATS.emitAttribute(ARMBuildAttrs::Virtualization_use,
727 ARMBuildAttrs::AllowVirtualization);
728
Logan Chien8cbb80d2013-10-28 17:51:12 +0000729 ATS.finishAttributeSection();
Jason W Kimbff84d42010-10-06 22:36:46 +0000730}
731
Jason W Kimbff84d42010-10-06 22:36:46 +0000732//===----------------------------------------------------------------------===//
Chris Lattner71eb0772009-10-19 20:20:46 +0000733
Jim Grosbachaf5d6352010-09-18 00:05:05 +0000734static MCSymbol *getPICLabel(const char *Prefix, unsigned FunctionNumber,
735 unsigned LabelId, MCContext &Ctx) {
736
737 MCSymbol *Label = Ctx.GetOrCreateSymbol(Twine(Prefix)
738 + "PC" + Twine(FunctionNumber) + "_" + Twine(LabelId));
739 return Label;
740}
741
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000742static MCSymbolRefExpr::VariantKind
743getModifierVariantKind(ARMCP::ARMCPModifier Modifier) {
744 switch (Modifier) {
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000745 case ARMCP::no_modifier: return MCSymbolRefExpr::VK_None;
David Peixotto8ad70b32013-12-04 22:43:20 +0000746 case ARMCP::TLSGD: return MCSymbolRefExpr::VK_TLSGD;
747 case ARMCP::TPOFF: return MCSymbolRefExpr::VK_TPOFF;
748 case ARMCP::GOTTPOFF: return MCSymbolRefExpr::VK_GOTTPOFF;
749 case ARMCP::GOT: return MCSymbolRefExpr::VK_GOT;
750 case ARMCP::GOTOFF: return MCSymbolRefExpr::VK_GOTOFF;
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000751 }
David Blaikie46a9f012012-01-20 21:51:11 +0000752 llvm_unreachable("Invalid ARMCPModifier!");
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000753}
754
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000755MCSymbol *ARMAsmPrinter::GetARMGVSymbol(const GlobalValue *GV,
756 unsigned char TargetFlags) {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000757 bool isIndirect = Subtarget->isTargetMachO() &&
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000758 (TargetFlags & ARMII::MO_NONLAZY) &&
Evan Chengdfce83c2011-01-17 08:03:18 +0000759 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
760 if (!isIndirect)
Rafael Espindola79858aa2013-10-29 17:07:16 +0000761 return getSymbol(GV);
Evan Chengdfce83c2011-01-17 08:03:18 +0000762
763 // FIXME: Remove this when Darwin transition to @GOT like syntax.
Rafael Espindolaf4e6b292013-12-02 16:25:47 +0000764 MCSymbol *MCSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Evan Chengdfce83c2011-01-17 08:03:18 +0000765 MachineModuleInfoMachO &MMIMachO =
766 MMI->getObjFileInfo<MachineModuleInfoMachO>();
767 MachineModuleInfoImpl::StubValueTy &StubSym =
768 GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(MCSym) :
769 MMIMachO.getGVStubEntry(MCSym);
Craig Topper062a2ba2014-04-25 05:30:21 +0000770 if (!StubSym.getPointer())
Evan Chengdfce83c2011-01-17 08:03:18 +0000771 StubSym = MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000772 StubValueTy(getSymbol(GV), !GV->hasInternalLinkage());
Evan Chengdfce83c2011-01-17 08:03:18 +0000773 return MCSym;
774}
775
Jim Grosbach38f8e762010-11-09 18:45:04 +0000776void ARMAsmPrinter::
777EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
Rafael Espindola58873562014-01-03 19:21:54 +0000778 const DataLayout *DL = TM.getDataLayout();
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000779 int Size = TM.getDataLayout()->getTypeAllocSize(MCPV->getType());
Jim Grosbach38f8e762010-11-09 18:45:04 +0000780
781 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000782
Jim Grosbachca21cd72010-11-10 17:59:10 +0000783 MCSymbol *MCSym;
Jim Grosbach38f8e762010-11-09 18:45:04 +0000784 if (ACPV->isLSDA()) {
Jim Grosbachca21cd72010-11-10 17:59:10 +0000785 SmallString<128> Str;
786 raw_svector_ostream OS(Str);
Rafael Espindola58873562014-01-03 19:21:54 +0000787 OS << DL->getPrivateGlobalPrefix() << "_LSDA_" << getFunctionNumber();
Jim Grosbachca21cd72010-11-10 17:59:10 +0000788 MCSym = OutContext.GetOrCreateSymbol(OS.str());
Jim Grosbach38f8e762010-11-09 18:45:04 +0000789 } else if (ACPV->isBlockAddress()) {
Bill Wendling7753d662011-10-01 08:00:54 +0000790 const BlockAddress *BA =
791 cast<ARMConstantPoolConstant>(ACPV)->getBlockAddress();
792 MCSym = GetBlockAddressSymbol(BA);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000793 } else if (ACPV->isGlobalValue()) {
Bill Wendling7753d662011-10-01 08:00:54 +0000794 const GlobalValue *GV = cast<ARMConstantPoolConstant>(ACPV)->getGV();
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000795
796 // On Darwin, const-pool entries may get the "FOO$non_lazy_ptr" mangling, so
797 // flag the global as MO_NONLAZY.
Tim Northoverd6a729b2014-01-06 14:28:05 +0000798 unsigned char TF = Subtarget->isTargetMachO() ? ARMII::MO_NONLAZY : 0;
Tim Northoverd34094e2013-11-25 17:04:35 +0000799 MCSym = GetARMGVSymbol(GV, TF);
Bill Wendling69bc3de2011-09-29 23:50:42 +0000800 } else if (ACPV->isMachineBasicBlock()) {
Bill Wendling4a4772f2011-10-01 09:30:42 +0000801 const MachineBasicBlock *MBB = cast<ARMConstantPoolMBB>(ACPV)->getMBB();
Bill Wendling69bc3de2011-09-29 23:50:42 +0000802 MCSym = MBB->getSymbol();
Jim Grosbach38f8e762010-11-09 18:45:04 +0000803 } else {
804 assert(ACPV->isExtSymbol() && "unrecognized constant pool value");
Bill Wendlingc214cb02011-10-01 08:58:29 +0000805 const char *Sym = cast<ARMConstantPoolSymbol>(ACPV)->getSymbol();
806 MCSym = GetExternalSymbolSymbol(Sym);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000807 }
808
809 // Create an MCSymbol for the reference.
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000810 const MCExpr *Expr =
811 MCSymbolRefExpr::Create(MCSym, getModifierVariantKind(ACPV->getModifier()),
812 OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000813
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000814 if (ACPV->getPCAdjustment()) {
Rafael Espindola58873562014-01-03 19:21:54 +0000815 MCSymbol *PCLabel = getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000816 getFunctionNumber(),
817 ACPV->getLabelId(),
818 OutContext);
819 const MCExpr *PCRelExpr = MCSymbolRefExpr::Create(PCLabel, OutContext);
820 PCRelExpr =
821 MCBinaryExpr::CreateAdd(PCRelExpr,
822 MCConstantExpr::Create(ACPV->getPCAdjustment(),
823 OutContext),
824 OutContext);
825 if (ACPV->mustAddCurrentAddress()) {
826 // We want "(<expr> - .)", but MC doesn't have a concept of the '.'
827 // label, so just emit a local label end reference that instead.
828 MCSymbol *DotSym = OutContext.CreateTempSymbol();
829 OutStreamer.EmitLabel(DotSym);
830 const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext);
831 PCRelExpr = MCBinaryExpr::CreateSub(PCRelExpr, DotExpr, OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000832 }
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000833 Expr = MCBinaryExpr::CreateSub(Expr, PCRelExpr, OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000834 }
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000835 OutStreamer.EmitValue(Expr, Size);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000836}
837
Jim Grosbach284eebc2010-09-22 17:39:48 +0000838void ARMAsmPrinter::EmitJumpTable(const MachineInstr *MI) {
839 unsigned Opcode = MI->getOpcode();
840 int OpNum = 1;
841 if (Opcode == ARM::BR_JTadd)
842 OpNum = 2;
843 else if (Opcode == ARM::BR_JTm)
844 OpNum = 3;
845
846 const MachineOperand &MO1 = MI->getOperand(OpNum);
847 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
848 unsigned JTI = MO1.getIndex();
849
850 // Emit a label for the jump table.
851 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
852 OutStreamer.EmitLabel(JTISymbol);
853
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000854 // Mark the jump table as data-in-code.
855 OutStreamer.EmitDataRegion(MCDR_DataRegionJT32);
856
Jim Grosbach284eebc2010-09-22 17:39:48 +0000857 // Emit each entry of the table.
858 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
859 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
860 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
861
862 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
863 MachineBasicBlock *MBB = JTBBs[i];
864 // Construct an MCExpr for the entry. We want a value of the form:
865 // (BasicBlockAddr - TableBeginAddr)
866 //
867 // For example, a table with entries jumping to basic blocks BB0 and BB1
868 // would look like:
869 // LJTI_0_0:
870 // .word (LBB0 - LJTI_0_0)
871 // .word (LBB1 - LJTI_0_0)
872 const MCExpr *Expr = MCSymbolRefExpr::Create(MBB->getSymbol(), OutContext);
873
874 if (TM.getRelocationModel() == Reloc::PIC_)
875 Expr = MCBinaryExpr::CreateSub(Expr, MCSymbolRefExpr::Create(JTISymbol,
876 OutContext),
877 OutContext);
Jim Grosbache1995f22011-08-31 22:23:09 +0000878 // If we're generating a table of Thumb addresses in static relocation
879 // model, we need to add one to keep interworking correctly.
880 else if (AFI->isThumbFunction())
881 Expr = MCBinaryExpr::CreateAdd(Expr, MCConstantExpr::Create(1,OutContext),
882 OutContext);
Jim Grosbach284eebc2010-09-22 17:39:48 +0000883 OutStreamer.EmitValue(Expr, 4);
884 }
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000885 // Mark the end of jump table data-in-code region.
886 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Jim Grosbach284eebc2010-09-22 17:39:48 +0000887}
888
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000889void ARMAsmPrinter::EmitJump2Table(const MachineInstr *MI) {
890 unsigned Opcode = MI->getOpcode();
891 int OpNum = (Opcode == ARM::t2BR_JT) ? 2 : 1;
892 const MachineOperand &MO1 = MI->getOperand(OpNum);
893 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
894 unsigned JTI = MO1.getIndex();
895
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000896 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
897 OutStreamer.EmitLabel(JTISymbol);
898
899 // Emit each entry of the table.
900 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
901 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
902 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Jim Grosbach1573b292010-09-22 17:15:35 +0000903 unsigned OffsetWidth = 4;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000904 if (MI->getOpcode() == ARM::t2TBB_JT) {
Jim Grosbach1573b292010-09-22 17:15:35 +0000905 OffsetWidth = 1;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000906 // Mark the jump table as data-in-code.
907 OutStreamer.EmitDataRegion(MCDR_DataRegionJT8);
908 } else if (MI->getOpcode() == ARM::t2TBH_JT) {
Jim Grosbach1573b292010-09-22 17:15:35 +0000909 OffsetWidth = 2;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000910 // Mark the jump table as data-in-code.
911 OutStreamer.EmitDataRegion(MCDR_DataRegionJT16);
912 }
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000913
914 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
915 MachineBasicBlock *MBB = JTBBs[i];
Jim Grosbach1573b292010-09-22 17:15:35 +0000916 const MCExpr *MBBSymbolExpr = MCSymbolRefExpr::Create(MBB->getSymbol(),
917 OutContext);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000918 // If this isn't a TBB or TBH, the entries are direct branch instructions.
Jim Grosbach1573b292010-09-22 17:15:35 +0000919 if (OffsetWidth == 4) {
David Woodhousee6c13e42014-01-28 23:12:42 +0000920 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::t2B)
Benjamin Kramer4e629f72012-11-26 13:34:22 +0000921 .addExpr(MBBSymbolExpr)
922 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000923 .addReg(0));
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000924 continue;
925 }
926 // Otherwise it's an offset from the dispatch instruction. Construct an
Jim Grosbach1573b292010-09-22 17:15:35 +0000927 // MCExpr for the entry. We want a value of the form:
928 // (BasicBlockAddr - TableBeginAddr) / 2
929 //
930 // For example, a TBB table with entries jumping to basic blocks BB0 and BB1
931 // would look like:
932 // LJTI_0_0:
933 // .byte (LBB0 - LJTI_0_0) / 2
934 // .byte (LBB1 - LJTI_0_0) / 2
935 const MCExpr *Expr =
936 MCBinaryExpr::CreateSub(MBBSymbolExpr,
937 MCSymbolRefExpr::Create(JTISymbol, OutContext),
938 OutContext);
939 Expr = MCBinaryExpr::CreateDiv(Expr, MCConstantExpr::Create(2, OutContext),
940 OutContext);
941 OutStreamer.EmitValue(Expr, OffsetWidth);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000942 }
Jim Grosbach2597f832012-05-21 23:34:42 +0000943 // Mark the end of jump table data-in-code region. 32-bit offsets use
944 // actual branch instructions here, so we don't mark those as a data-region
945 // at all.
946 if (OffsetWidth != 4)
947 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000948}
949
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000950void ARMAsmPrinter::EmitUnwindingInstruction(const MachineInstr *MI) {
951 assert(MI->getFlag(MachineInstr::FrameSetup) &&
952 "Only instruction which are involved into frame setup code are allowed");
953
Rafael Espindola4a1a3602014-01-14 01:21:46 +0000954 MCTargetStreamer &TS = *OutStreamer.getTargetStreamer();
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000955 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000956 const MachineFunction &MF = *MI->getParent()->getParent();
957 const TargetRegisterInfo *RegInfo = MF.getTarget().getRegisterInfo();
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +0000958 const ARMFunctionInfo &AFI = *MF.getInfo<ARMFunctionInfo>();
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000959
960 unsigned FramePtr = RegInfo->getFrameRegister(MF);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000961 unsigned Opc = MI->getOpcode();
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000962 unsigned SrcReg, DstReg;
963
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000964 if (Opc == ARM::tPUSH || Opc == ARM::tLDRpci) {
965 // Two special cases:
966 // 1) tPUSH does not have src/dst regs.
967 // 2) for Thumb1 code we sometimes materialize the constant via constpool
968 // load. Yes, this is pretty fragile, but for now I don't see better
969 // way... :(
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000970 SrcReg = DstReg = ARM::SP;
971 } else {
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000972 SrcReg = MI->getOperand(1).getReg();
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000973 DstReg = MI->getOperand(0).getReg();
974 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000975
976 // Try to figure out the unwinding opcode out of src / dst regs.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000977 if (MI->mayStore()) {
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000978 // Register saves.
979 assert(DstReg == ARM::SP &&
980 "Only stack pointer as a destination reg is supported");
981
982 SmallVector<unsigned, 4> RegList;
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000983 // Skip src & dst reg, and pred ops.
984 unsigned StartOp = 2 + 2;
985 // Use all the operands.
986 unsigned NumOffset = 0;
987
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000988 switch (Opc) {
989 default:
990 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +0000991 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000992 case ARM::tPUSH:
993 // Special case here: no src & dst reg, but two extra imp ops.
994 StartOp = 2; NumOffset = 2;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000995 case ARM::STMDB_UPD:
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000996 case ARM::t2STMDB_UPD:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000997 case ARM::VSTMDDB_UPD:
998 assert(SrcReg == ARM::SP &&
999 "Only stack pointer as a source reg is supported");
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001000 for (unsigned i = StartOp, NumOps = MI->getNumOperands() - NumOffset;
Anton Korobeynikovef731ed2012-08-04 13:25:58 +00001001 i != NumOps; ++i) {
1002 const MachineOperand &MO = MI->getOperand(i);
1003 // Actually, there should never be any impdef stuff here. Skip it
1004 // temporary to workaround PR11902.
1005 if (MO.isImplicit())
1006 continue;
1007 RegList.push_back(MO.getReg());
1008 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001009 break;
Owen Anderson2aedba62011-07-26 20:54:26 +00001010 case ARM::STR_PRE_IMM:
1011 case ARM::STR_PRE_REG:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001012 case ARM::t2STR_PRE:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001013 assert(MI->getOperand(2).getReg() == ARM::SP &&
1014 "Only stack pointer as a source reg is supported");
1015 RegList.push_back(SrcReg);
1016 break;
1017 }
Joerg Sonnenberger3c108172014-04-30 22:43:13 +00001018 if (MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
1019 ATS.emitRegSave(RegList, Opc == ARM::VSTMDDB_UPD);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001020 } else {
1021 // Changes of stack / frame pointer.
1022 if (SrcReg == ARM::SP) {
1023 int64_t Offset = 0;
1024 switch (Opc) {
1025 default:
1026 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001027 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001028 case ARM::MOVr:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001029 case ARM::tMOVr:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001030 Offset = 0;
1031 break;
1032 case ARM::ADDri:
1033 Offset = -MI->getOperand(2).getImm();
1034 break;
1035 case ARM::SUBri:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001036 case ARM::t2SUBri:
Jim Grosbacha8a80672011-06-29 23:25:04 +00001037 Offset = MI->getOperand(2).getImm();
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001038 break;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001039 case ARM::tSUBspi:
Jim Grosbacha8a80672011-06-29 23:25:04 +00001040 Offset = MI->getOperand(2).getImm()*4;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001041 break;
1042 case ARM::tADDspi:
1043 case ARM::tADDrSPi:
1044 Offset = -MI->getOperand(2).getImm()*4;
1045 break;
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001046 case ARM::tLDRpci: {
1047 // Grab the constpool index and check, whether it corresponds to
1048 // original or cloned constpool entry.
1049 unsigned CPI = MI->getOperand(1).getIndex();
1050 const MachineConstantPool *MCP = MF.getConstantPool();
1051 if (CPI >= MCP->getConstants().size())
1052 CPI = AFI.getOriginalCPIdx(CPI);
1053 assert(CPI != -1U && "Invalid constpool index");
1054
1055 // Derive the actual offset.
1056 const MachineConstantPoolEntry &CPE = MCP->getConstants()[CPI];
1057 assert(!CPE.isMachineConstantPoolEntry() && "Invalid constpool entry");
1058 // FIXME: Check for user, it should be "add" instruction!
1059 Offset = -cast<ConstantInt>(CPE.Val.ConstVal)->getSExtValue();
Anton Korobeynikova8d177b2011-03-05 18:43:50 +00001060 break;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001061 }
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001062 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001063
Joerg Sonnenberger3c108172014-04-30 22:43:13 +00001064 if (MAI->getExceptionHandlingType() == ExceptionHandling::ARM) {
1065 if (DstReg == FramePtr && FramePtr != ARM::SP)
1066 // Set-up of the frame pointer. Positive values correspond to "add"
1067 // instruction.
1068 ATS.emitSetFP(FramePtr, ARM::SP, -Offset);
1069 else if (DstReg == ARM::SP) {
1070 // Change of SP by an offset. Positive values correspond to "sub"
1071 // instruction.
1072 ATS.emitPad(Offset);
1073 } else {
1074 // Move of SP to a register. Positive values correspond to an "add"
1075 // instruction.
1076 ATS.emitMovSP(DstReg, -Offset);
1077 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001078 }
1079 } else if (DstReg == ARM::SP) {
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001080 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001081 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001082 }
1083 else {
1084 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001085 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001086 }
1087 }
1088}
1089
Jim Grosbach95dee402011-07-08 17:40:42 +00001090// Simple pseudo-instructions have their lowering (with expansion to real
1091// instructions) auto-generated.
1092#include "ARMGenMCPseudoLowering.inc"
1093
Jim Grosbach05eccf02010-09-29 15:23:40 +00001094void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Rafael Espindola58873562014-01-03 19:21:54 +00001095 const DataLayout *DL = TM.getDataLayout();
1096
Jim Grosbach4b63d2a2012-05-18 19:12:01 +00001097 // If we just ended a constant pool, mark it as such.
1098 if (InConstantPool && MI->getOpcode() != ARM::CONSTPOOL_ENTRY) {
1099 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
1100 InConstantPool = false;
1101 }
Owen Anderson0ca562e2011-10-04 23:26:17 +00001102
Jim Grosbach51b55422011-08-23 21:32:34 +00001103 // Emit unwinding stuff for frame-related instructions
Renato Golin78a6eba2014-02-07 20:12:49 +00001104 if (Subtarget->isTargetEHABICompatible() &&
Renato Golin8cea6e82014-01-29 11:50:56 +00001105 MI->getFlag(MachineInstr::FrameSetup))
Jim Grosbach51b55422011-08-23 21:32:34 +00001106 EmitUnwindingInstruction(MI);
1107
Jim Grosbach95dee402011-07-08 17:40:42 +00001108 // Do any auto-generated pseudo lowerings.
1109 if (emitPseudoExpansionLowering(OutStreamer, MI))
1110 return;
1111
Andrew Trick924123a2011-09-21 02:20:46 +00001112 assert(!convertAddSubFlagsOpcode(MI->getOpcode()) &&
1113 "Pseudo flag setting opcode should be expanded early");
1114
Jim Grosbach95dee402011-07-08 17:40:42 +00001115 // Check for manual lowerings.
Evan Chengdfce83c2011-01-17 08:03:18 +00001116 unsigned Opc = MI->getOpcode();
1117 switch (Opc) {
Craig Toppere55c5562012-02-07 02:50:20 +00001118 case ARM::t2MOVi32imm: llvm_unreachable("Should be lowered by thumb2it pass");
David Blaikieb735b4d2013-06-16 20:34:27 +00001119 case ARM::DBG_VALUE: llvm_unreachable("Should be handled by generic printing");
Jim Grosbach8c1fabe2010-12-14 21:10:47 +00001120 case ARM::LEApcrel:
Jim Grosbach509dc2a2010-12-14 22:28:03 +00001121 case ARM::tLEApcrel:
Jim Grosbach8c1fabe2010-12-14 21:10:47 +00001122 case ARM::t2LEApcrel: {
Jim Grosbachce2bd8d2010-12-02 00:28:45 +00001123 // FIXME: Need to also handle globals and externals
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001124 MCSymbol *CPISymbol = GetCPISymbol(MI->getOperand(1).getIndex());
David Woodhousee6c13e42014-01-28 23:12:42 +00001125 EmitToStreamer(OutStreamer, MCInstBuilder(MI->getOpcode() ==
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001126 ARM::t2LEApcrel ? ARM::t2ADR
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001127 : (MI->getOpcode() == ARM::tLEApcrel ? ARM::tADR
1128 : ARM::ADR))
1129 .addReg(MI->getOperand(0).getReg())
1130 .addExpr(MCSymbolRefExpr::Create(CPISymbol, OutContext))
1131 // Add predicate operands.
1132 .addImm(MI->getOperand(2).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001133 .addReg(MI->getOperand(3).getReg()));
Jim Grosbachce2bd8d2010-12-02 00:28:45 +00001134 return;
1135 }
Jim Grosbach509dc2a2010-12-14 22:28:03 +00001136 case ARM::LEApcrelJT:
1137 case ARM::tLEApcrelJT:
1138 case ARM::t2LEApcrelJT: {
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001139 MCSymbol *JTIPICSymbol =
1140 GetARMJTIPICJumpTableLabel2(MI->getOperand(1).getIndex(),
1141 MI->getOperand(2).getImm());
David Woodhousee6c13e42014-01-28 23:12:42 +00001142 EmitToStreamer(OutStreamer, MCInstBuilder(MI->getOpcode() ==
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001143 ARM::t2LEApcrelJT ? ARM::t2ADR
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001144 : (MI->getOpcode() == ARM::tLEApcrelJT ? ARM::tADR
1145 : ARM::ADR))
1146 .addReg(MI->getOperand(0).getReg())
1147 .addExpr(MCSymbolRefExpr::Create(JTIPICSymbol, OutContext))
1148 // Add predicate operands.
1149 .addImm(MI->getOperand(3).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001150 .addReg(MI->getOperand(4).getReg()));
Jim Grosbachdc35e062010-12-01 19:47:31 +00001151 return;
1152 }
Jim Grosbach3f2096e2011-03-12 00:45:26 +00001153 // Darwin call instructions are just normal call instructions with different
1154 // clobber semantics (they clobber R9).
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001155 case ARM::BX_CALL: {
David Woodhousee6c13e42014-01-28 23:12:42 +00001156 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001157 .addReg(ARM::LR)
1158 .addReg(ARM::PC)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001159 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001160 .addImm(ARMCC::AL)
1161 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001162 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001163 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001164
David Woodhousee6c13e42014-01-28 23:12:42 +00001165 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::BX)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001166 .addReg(MI->getOperand(0).getReg()));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001167 return;
1168 }
Cameron Zwaricha946f472011-05-25 21:53:50 +00001169 case ARM::tBX_CALL: {
David Woodhousee6c13e42014-01-28 23:12:42 +00001170 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001171 .addReg(ARM::LR)
1172 .addReg(ARM::PC)
Jim Grosbachb98ab912011-06-30 22:10:46 +00001173 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001174 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001175 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001176
David Woodhousee6c13e42014-01-28 23:12:42 +00001177 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tBX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001178 .addReg(MI->getOperand(0).getReg())
Cameron Zwaricha946f472011-05-25 21:53:50 +00001179 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001180 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001181 .addReg(0));
Cameron Zwaricha946f472011-05-25 21:53:50 +00001182 return;
1183 }
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001184 case ARM::BMOVPCRX_CALL: {
David Woodhousee6c13e42014-01-28 23:12:42 +00001185 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001186 .addReg(ARM::LR)
1187 .addReg(ARM::PC)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001188 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001189 .addImm(ARMCC::AL)
1190 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001191 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001192 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001193
David Woodhousee6c13e42014-01-28 23:12:42 +00001194 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001195 .addReg(ARM::PC)
Benjamin Kramer2f545712013-03-15 17:27:39 +00001196 .addReg(MI->getOperand(0).getReg())
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001197 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001198 .addImm(ARMCC::AL)
1199 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001200 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001201 .addReg(0));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001202 return;
1203 }
Evan Cheng65f9d192012-02-28 18:51:51 +00001204 case ARM::BMOVPCB_CALL: {
David Woodhousee6c13e42014-01-28 23:12:42 +00001205 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001206 .addReg(ARM::LR)
1207 .addReg(ARM::PC)
Evan Cheng65f9d192012-02-28 18:51:51 +00001208 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001209 .addImm(ARMCC::AL)
1210 .addReg(0)
Evan Cheng65f9d192012-02-28 18:51:51 +00001211 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001212 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001213
1214 const GlobalValue *GV = MI->getOperand(0).getGlobal();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001215 MCSymbol *GVSym = getSymbol(GV);
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001216 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
David Woodhousee6c13e42014-01-28 23:12:42 +00001217 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::Bcc)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001218 .addExpr(GVSymExpr)
Evan Cheng65f9d192012-02-28 18:51:51 +00001219 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001220 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001221 .addReg(0));
Evan Cheng65f9d192012-02-28 18:51:51 +00001222 return;
1223 }
Evan Cheng2f2435d2011-01-21 18:55:51 +00001224 case ARM::MOVi16_ga_pcrel:
1225 case ARM::t2MOVi16_ga_pcrel: {
Evan Chengdfce83c2011-01-17 08:03:18 +00001226 MCInst TmpInst;
Evan Cheng2f2435d2011-01-21 18:55:51 +00001227 TmpInst.setOpcode(Opc == ARM::MOVi16_ga_pcrel? ARM::MOVi16 : ARM::t2MOVi16);
Evan Chengdfce83c2011-01-17 08:03:18 +00001228 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1229
Evan Cheng2f2435d2011-01-21 18:55:51 +00001230 unsigned TF = MI->getOperand(1).getTargetFlags();
Evan Chengdfce83c2011-01-17 08:03:18 +00001231 const GlobalValue *GV = MI->getOperand(1).getGlobal();
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001232 MCSymbol *GVSym = GetARMGVSymbol(GV, TF);
Evan Chengdfce83c2011-01-17 08:03:18 +00001233 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001234
Rafael Espindola58873562014-01-03 19:21:54 +00001235 MCSymbol *LabelSym = getPICLabel(DL->getPrivateGlobalPrefix(),
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001236 getFunctionNumber(),
1237 MI->getOperand(2).getImm(), OutContext);
1238 const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext);
1239 unsigned PCAdj = (Opc == ARM::MOVi16_ga_pcrel) ? 8 : 4;
1240 const MCExpr *PCRelExpr =
1241 ARMMCExpr::CreateLower16(MCBinaryExpr::CreateSub(GVSymExpr,
1242 MCBinaryExpr::CreateAdd(LabelSymExpr,
Evan Cheng2f2435d2011-01-21 18:55:51 +00001243 MCConstantExpr::Create(PCAdj, OutContext),
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001244 OutContext), OutContext), OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001245 TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr));
Evan Cheng2f2435d2011-01-21 18:55:51 +00001246
Evan Chengdfce83c2011-01-17 08:03:18 +00001247 // Add predicate operands.
1248 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1249 TmpInst.addOperand(MCOperand::CreateReg(0));
1250 // Add 's' bit operand (always reg0 for this)
1251 TmpInst.addOperand(MCOperand::CreateReg(0));
David Woodhousee6c13e42014-01-28 23:12:42 +00001252 EmitToStreamer(OutStreamer, TmpInst);
Evan Chengdfce83c2011-01-17 08:03:18 +00001253 return;
1254 }
Evan Cheng2f2435d2011-01-21 18:55:51 +00001255 case ARM::MOVTi16_ga_pcrel:
1256 case ARM::t2MOVTi16_ga_pcrel: {
Evan Chengdfce83c2011-01-17 08:03:18 +00001257 MCInst TmpInst;
Evan Cheng2f2435d2011-01-21 18:55:51 +00001258 TmpInst.setOpcode(Opc == ARM::MOVTi16_ga_pcrel
1259 ? ARM::MOVTi16 : ARM::t2MOVTi16);
Evan Chengdfce83c2011-01-17 08:03:18 +00001260 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1261 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1262
Evan Cheng2f2435d2011-01-21 18:55:51 +00001263 unsigned TF = MI->getOperand(2).getTargetFlags();
Evan Chengdfce83c2011-01-17 08:03:18 +00001264 const GlobalValue *GV = MI->getOperand(2).getGlobal();
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001265 MCSymbol *GVSym = GetARMGVSymbol(GV, TF);
Evan Chengdfce83c2011-01-17 08:03:18 +00001266 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001267
Rafael Espindola58873562014-01-03 19:21:54 +00001268 MCSymbol *LabelSym = getPICLabel(DL->getPrivateGlobalPrefix(),
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001269 getFunctionNumber(),
1270 MI->getOperand(3).getImm(), OutContext);
1271 const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext);
1272 unsigned PCAdj = (Opc == ARM::MOVTi16_ga_pcrel) ? 8 : 4;
1273 const MCExpr *PCRelExpr =
Evan Cheng2f2435d2011-01-21 18:55:51 +00001274 ARMMCExpr::CreateUpper16(MCBinaryExpr::CreateSub(GVSymExpr,
1275 MCBinaryExpr::CreateAdd(LabelSymExpr,
1276 MCConstantExpr::Create(PCAdj, OutContext),
Evan Chengdfce83c2011-01-17 08:03:18 +00001277 OutContext), OutContext), OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001278 TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr));
Evan Chengdfce83c2011-01-17 08:03:18 +00001279 // Add predicate operands.
1280 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1281 TmpInst.addOperand(MCOperand::CreateReg(0));
1282 // Add 's' bit operand (always reg0 for this)
1283 TmpInst.addOperand(MCOperand::CreateReg(0));
David Woodhousee6c13e42014-01-28 23:12:42 +00001284 EmitToStreamer(OutStreamer, TmpInst);
Evan Chengdfce83c2011-01-17 08:03:18 +00001285 return;
1286 }
Jim Grosbach3d979202010-09-17 23:41:53 +00001287 case ARM::tPICADD: {
1288 // This is a pseudo op for a label + instruction sequence, which looks like:
1289 // LPC0:
1290 // add r0, pc
1291 // This adds the address of LPC0 to r0.
1292
1293 // Emit the label.
Rafael Espindola58873562014-01-03 19:21:54 +00001294 OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001295 getFunctionNumber(), MI->getOperand(2).getImm(),
1296 OutContext));
Jim Grosbach3d979202010-09-17 23:41:53 +00001297
1298 // Form and emit the add.
David Woodhousee6c13e42014-01-28 23:12:42 +00001299 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tADDhirr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001300 .addReg(MI->getOperand(0).getReg())
1301 .addReg(MI->getOperand(0).getReg())
1302 .addReg(ARM::PC)
1303 // Add predicate operands.
1304 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001305 .addReg(0));
Jim Grosbach3d979202010-09-17 23:41:53 +00001306 return;
1307 }
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001308 case ARM::PICADD: {
Chris Lattneradd57492009-10-19 22:23:04 +00001309 // This is a pseudo op for a label + instruction sequence, which looks like:
1310 // LPC0:
1311 // add r0, pc, r0
1312 // This adds the address of LPC0 to r0.
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001313
Chris Lattneradd57492009-10-19 22:23:04 +00001314 // Emit the label.
Rafael Espindola58873562014-01-03 19:21:54 +00001315 OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001316 getFunctionNumber(), MI->getOperand(2).getImm(),
1317 OutContext));
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001318
Jim Grosbach7ae94222010-09-14 21:05:34 +00001319 // Form and emit the add.
David Woodhousee6c13e42014-01-28 23:12:42 +00001320 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::ADDrr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001321 .addReg(MI->getOperand(0).getReg())
1322 .addReg(ARM::PC)
1323 .addReg(MI->getOperand(1).getReg())
1324 // Add predicate operands.
1325 .addImm(MI->getOperand(3).getImm())
1326 .addReg(MI->getOperand(4).getReg())
1327 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001328 .addReg(0));
Chris Lattneradd57492009-10-19 22:23:04 +00001329 return;
1330 }
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001331 case ARM::PICSTR:
1332 case ARM::PICSTRB:
1333 case ARM::PICSTRH:
1334 case ARM::PICLDR:
1335 case ARM::PICLDRB:
1336 case ARM::PICLDRH:
1337 case ARM::PICLDRSB:
1338 case ARM::PICLDRSH: {
Jim Grosbach218e22d2010-09-16 17:43:25 +00001339 // This is a pseudo op for a label + instruction sequence, which looks like:
1340 // LPC0:
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001341 // OP r0, [pc, r0]
Jim Grosbach218e22d2010-09-16 17:43:25 +00001342 // The LCP0 label is referenced by a constant pool entry in order to get
1343 // a PC-relative address at the ldr instruction.
1344
1345 // Emit the label.
Rafael Espindola58873562014-01-03 19:21:54 +00001346 OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001347 getFunctionNumber(), MI->getOperand(2).getImm(),
1348 OutContext));
Jim Grosbach218e22d2010-09-16 17:43:25 +00001349
1350 // Form and emit the load
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001351 unsigned Opcode;
1352 switch (MI->getOpcode()) {
1353 default:
1354 llvm_unreachable("Unexpected opcode!");
Jim Grosbach338de3e2010-10-27 23:12:14 +00001355 case ARM::PICSTR: Opcode = ARM::STRrs; break;
1356 case ARM::PICSTRB: Opcode = ARM::STRBrs; break;
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001357 case ARM::PICSTRH: Opcode = ARM::STRH; break;
Jim Grosbach1e4d9a12010-10-26 22:37:02 +00001358 case ARM::PICLDR: Opcode = ARM::LDRrs; break;
Jim Grosbach5a7c7152010-10-27 00:19:44 +00001359 case ARM::PICLDRB: Opcode = ARM::LDRBrs; break;
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001360 case ARM::PICLDRH: Opcode = ARM::LDRH; break;
1361 case ARM::PICLDRSB: Opcode = ARM::LDRSB; break;
1362 case ARM::PICLDRSH: Opcode = ARM::LDRSH; break;
1363 }
David Woodhousee6c13e42014-01-28 23:12:42 +00001364 EmitToStreamer(OutStreamer, MCInstBuilder(Opcode)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001365 .addReg(MI->getOperand(0).getReg())
1366 .addReg(ARM::PC)
1367 .addReg(MI->getOperand(1).getReg())
1368 .addImm(0)
1369 // Add predicate operands.
1370 .addImm(MI->getOperand(3).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001371 .addReg(MI->getOperand(4).getReg()));
Jim Grosbach218e22d2010-09-16 17:43:25 +00001372
1373 return;
1374 }
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001375 case ARM::CONSTPOOL_ENTRY: {
Chris Lattner186c6b02009-10-19 22:33:05 +00001376 /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool
1377 /// in the function. The first operand is the ID# for this instruction, the
1378 /// second is the index into the MachineConstantPool that this is, the third
1379 /// is the size in bytes of this constant pool entry.
Jakob Stoklund Olesen2e05db22011-12-06 01:43:02 +00001380 /// The required alignment is specified on the basic block holding this MI.
Chris Lattner186c6b02009-10-19 22:33:05 +00001381 unsigned LabelId = (unsigned)MI->getOperand(0).getImm();
1382 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex();
1383
Jim Grosbach4b63d2a2012-05-18 19:12:01 +00001384 // If this is the first entry of the pool, mark it.
1385 if (!InConstantPool) {
1386 OutStreamer.EmitDataRegion(MCDR_DataRegion);
1387 InConstantPool = true;
1388 }
1389
Chris Lattnerc55ea3f2010-01-23 07:00:21 +00001390 OutStreamer.EmitLabel(GetCPISymbol(LabelId));
Chris Lattner186c6b02009-10-19 22:33:05 +00001391
1392 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx];
1393 if (MCPE.isMachineConstantPoolEntry())
1394 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
1395 else
1396 EmitGlobalConstant(MCPE.Val.ConstVal);
Chris Lattner186c6b02009-10-19 22:33:05 +00001397 return;
1398 }
Jim Grosbachd64f9b82010-09-21 23:28:16 +00001399 case ARM::t2BR_JT: {
1400 // Lower and emit the instruction itself, then the jump table following it.
David Woodhousee6c13e42014-01-28 23:12:42 +00001401 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001402 .addReg(ARM::PC)
1403 .addReg(MI->getOperand(0).getReg())
1404 // Add predicate operands.
1405 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001406 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001407
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001408 // Output the data for the jump table itself
1409 EmitJump2Table(MI);
1410 return;
1411 }
1412 case ARM::t2TBB_JT: {
1413 // Lower and emit the instruction itself, then the jump table following it.
David Woodhousee6c13e42014-01-28 23:12:42 +00001414 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::t2TBB)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001415 .addReg(ARM::PC)
1416 .addReg(MI->getOperand(0).getReg())
1417 // Add predicate operands.
1418 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001419 .addReg(0));
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001420
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001421 // Output the data for the jump table itself
1422 EmitJump2Table(MI);
1423 // Make sure the next instruction is 2-byte aligned.
1424 EmitAlignment(1);
1425 return;
1426 }
1427 case ARM::t2TBH_JT: {
1428 // Lower and emit the instruction itself, then the jump table following it.
David Woodhousee6c13e42014-01-28 23:12:42 +00001429 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::t2TBH)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001430 .addReg(ARM::PC)
1431 .addReg(MI->getOperand(0).getReg())
1432 // Add predicate operands.
1433 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001434 .addReg(0));
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001435
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001436 // Output the data for the jump table itself
Jim Grosbachd64f9b82010-09-21 23:28:16 +00001437 EmitJump2Table(MI);
1438 return;
1439 }
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001440 case ARM::tBR_JTr:
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001441 case ARM::BR_JTr: {
1442 // Lower and emit the instruction itself, then the jump table following it.
1443 // mov pc, target
1444 MCInst TmpInst;
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001445 unsigned Opc = MI->getOpcode() == ARM::BR_JTr ?
Jim Grosbache9cc9012011-06-30 23:38:17 +00001446 ARM::MOVr : ARM::tMOVr;
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001447 TmpInst.setOpcode(Opc);
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001448 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1449 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1450 // Add predicate operands.
1451 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1452 TmpInst.addOperand(MCOperand::CreateReg(0));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001453 // Add 's' bit operand (always reg0 for this)
1454 if (Opc == ARM::MOVr)
1455 TmpInst.addOperand(MCOperand::CreateReg(0));
David Woodhousee6c13e42014-01-28 23:12:42 +00001456 EmitToStreamer(OutStreamer, TmpInst);
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001457
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001458 // Make sure the Thumb jump table is 4-byte aligned.
Jim Grosbache9cc9012011-06-30 23:38:17 +00001459 if (Opc == ARM::tMOVr)
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001460 EmitAlignment(2);
1461
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001462 // Output the data for the jump table itself
1463 EmitJumpTable(MI);
1464 return;
1465 }
1466 case ARM::BR_JTm: {
1467 // Lower and emit the instruction itself, then the jump table following it.
1468 // ldr pc, target
1469 MCInst TmpInst;
1470 if (MI->getOperand(1).getReg() == 0) {
1471 // literal offset
1472 TmpInst.setOpcode(ARM::LDRi12);
1473 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1474 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1475 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1476 } else {
1477 TmpInst.setOpcode(ARM::LDRrs);
1478 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1479 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1480 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1481 TmpInst.addOperand(MCOperand::CreateImm(0));
1482 }
1483 // Add predicate operands.
1484 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1485 TmpInst.addOperand(MCOperand::CreateReg(0));
David Woodhousee6c13e42014-01-28 23:12:42 +00001486 EmitToStreamer(OutStreamer, TmpInst);
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001487
1488 // Output the data for the jump table itself
Jim Grosbach284eebc2010-09-22 17:39:48 +00001489 EmitJumpTable(MI);
1490 return;
1491 }
Jim Grosbach08c562b2010-11-17 21:05:55 +00001492 case ARM::BR_JTadd: {
1493 // Lower and emit the instruction itself, then the jump table following it.
1494 // add pc, target, idx
David Woodhousee6c13e42014-01-28 23:12:42 +00001495 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::ADDrr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001496 .addReg(ARM::PC)
1497 .addReg(MI->getOperand(0).getReg())
1498 .addReg(MI->getOperand(1).getReg())
1499 // Add predicate operands.
1500 .addImm(ARMCC::AL)
1501 .addReg(0)
1502 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001503 .addReg(0));
Jim Grosbach08c562b2010-11-17 21:05:55 +00001504
1505 // Output the data for the jump table itself
1506 EmitJumpTable(MI);
1507 return;
1508 }
Jim Grosbach85030542010-09-23 18:05:37 +00001509 case ARM::TRAP: {
1510 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1511 // FIXME: Remove this special case when they do.
Tim Northoverd6a729b2014-01-06 14:28:05 +00001512 if (!Subtarget->isTargetMachO()) {
Jim Grosbachfae83052010-10-01 23:21:38 +00001513 //.long 0xe7ffdefe @ trap
Jim Grosbach7d348372010-09-23 19:42:17 +00001514 uint32_t Val = 0xe7ffdefeUL;
Jim Grosbach85030542010-09-23 18:05:37 +00001515 OutStreamer.AddComment("trap");
1516 OutStreamer.EmitIntValue(Val, 4);
1517 return;
1518 }
1519 break;
1520 }
Eli Bendersky2e2ce492013-01-30 16:30:19 +00001521 case ARM::TRAPNaCl: {
1522 //.long 0xe7fedef0 @ trap
1523 uint32_t Val = 0xe7fedef0UL;
1524 OutStreamer.AddComment("trap");
1525 OutStreamer.EmitIntValue(Val, 4);
1526 return;
1527 }
Jim Grosbach85030542010-09-23 18:05:37 +00001528 case ARM::tTRAP: {
1529 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1530 // FIXME: Remove this special case when they do.
Tim Northoverd6a729b2014-01-06 14:28:05 +00001531 if (!Subtarget->isTargetMachO()) {
Jim Grosbachfae83052010-10-01 23:21:38 +00001532 //.short 57086 @ trap
Benjamin Kramere38495d2010-09-23 18:57:26 +00001533 uint16_t Val = 0xdefe;
Jim Grosbach85030542010-09-23 18:05:37 +00001534 OutStreamer.AddComment("trap");
1535 OutStreamer.EmitIntValue(Val, 2);
1536 return;
1537 }
1538 break;
1539 }
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001540 case ARM::t2Int_eh_sjlj_setjmp:
1541 case ARM::t2Int_eh_sjlj_setjmp_nofp:
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001542 case ARM::tInt_eh_sjlj_setjmp: {
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001543 // Two incoming args: GPR:$src, GPR:$val
1544 // mov $val, pc
1545 // adds $val, #7
1546 // str $val, [$src, #4]
1547 // movs r0, #0
1548 // b 1f
1549 // movs r0, #1
1550 // 1:
1551 unsigned SrcReg = MI->getOperand(0).getReg();
1552 unsigned ValReg = MI->getOperand(1).getReg();
1553 MCSymbol *Label = GetARMSJLJEHLabel();
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001554 OutStreamer.AddComment("eh_setjmp begin");
David Woodhousee6c13e42014-01-28 23:12:42 +00001555 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001556 .addReg(ValReg)
1557 .addReg(ARM::PC)
Jim Grosbachb98ab912011-06-30 22:10:46 +00001558 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001559 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001560 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001561
David Woodhousee6c13e42014-01-28 23:12:42 +00001562 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tADDi3)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001563 .addReg(ValReg)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001564 // 's' bit operand
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001565 .addReg(ARM::CPSR)
1566 .addReg(ValReg)
1567 .addImm(7)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001568 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001569 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001570 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001571
David Woodhousee6c13e42014-01-28 23:12:42 +00001572 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tSTRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001573 .addReg(ValReg)
1574 .addReg(SrcReg)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001575 // The offset immediate is #4. The operand value is scaled by 4 for the
1576 // tSTR instruction.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001577 .addImm(1)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001578 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001579 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001580 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001581
David Woodhousee6c13e42014-01-28 23:12:42 +00001582 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tMOVi8)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001583 .addReg(ARM::R0)
1584 .addReg(ARM::CPSR)
1585 .addImm(0)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001586 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001587 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001588 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001589
1590 const MCExpr *SymbolExpr = MCSymbolRefExpr::Create(Label, OutContext);
David Woodhousee6c13e42014-01-28 23:12:42 +00001591 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tB)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001592 .addExpr(SymbolExpr)
1593 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001594 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001595
1596 OutStreamer.AddComment("eh_setjmp end");
David Woodhousee6c13e42014-01-28 23:12:42 +00001597 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tMOVi8)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001598 .addReg(ARM::R0)
1599 .addReg(ARM::CPSR)
1600 .addImm(1)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001601 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001602 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001603 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001604
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001605 OutStreamer.EmitLabel(Label);
1606 return;
1607 }
1608
Jim Grosbachc0aed712010-09-23 23:33:56 +00001609 case ARM::Int_eh_sjlj_setjmp_nofp:
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001610 case ARM::Int_eh_sjlj_setjmp: {
Jim Grosbachc0aed712010-09-23 23:33:56 +00001611 // Two incoming args: GPR:$src, GPR:$val
1612 // add $val, pc, #8
1613 // str $val, [$src, #+4]
1614 // mov r0, #0
1615 // add pc, pc, #0
1616 // mov r0, #1
1617 unsigned SrcReg = MI->getOperand(0).getReg();
1618 unsigned ValReg = MI->getOperand(1).getReg();
1619
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001620 OutStreamer.AddComment("eh_setjmp begin");
David Woodhousee6c13e42014-01-28 23:12:42 +00001621 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::ADDri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001622 .addReg(ValReg)
1623 .addReg(ARM::PC)
1624 .addImm(8)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001625 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001626 .addImm(ARMCC::AL)
1627 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001628 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001629 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001630
David Woodhousee6c13e42014-01-28 23:12:42 +00001631 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::STRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001632 .addReg(ValReg)
1633 .addReg(SrcReg)
1634 .addImm(4)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001635 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001636 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001637 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001638
David Woodhousee6c13e42014-01-28 23:12:42 +00001639 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::MOVi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001640 .addReg(ARM::R0)
1641 .addImm(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001642 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001643 .addImm(ARMCC::AL)
1644 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001645 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001646 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001647
David Woodhousee6c13e42014-01-28 23:12:42 +00001648 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::ADDri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001649 .addReg(ARM::PC)
1650 .addReg(ARM::PC)
1651 .addImm(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001652 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001653 .addImm(ARMCC::AL)
1654 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001655 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001656 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001657
1658 OutStreamer.AddComment("eh_setjmp end");
David Woodhousee6c13e42014-01-28 23:12:42 +00001659 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::MOVi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001660 .addReg(ARM::R0)
1661 .addImm(1)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001662 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001663 .addImm(ARMCC::AL)
1664 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001665 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001666 .addReg(0));
Jim Grosbachc0aed712010-09-23 23:33:56 +00001667 return;
1668 }
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001669 case ARM::Int_eh_sjlj_longjmp: {
1670 // ldr sp, [$src, #8]
1671 // ldr $scratch, [$src, #4]
1672 // ldr r7, [$src]
1673 // bx $scratch
1674 unsigned SrcReg = MI->getOperand(0).getReg();
1675 unsigned ScratchReg = MI->getOperand(1).getReg();
David Woodhousee6c13e42014-01-28 23:12:42 +00001676 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001677 .addReg(ARM::SP)
1678 .addReg(SrcReg)
1679 .addImm(8)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001680 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001681 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001682 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001683
David Woodhousee6c13e42014-01-28 23:12:42 +00001684 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001685 .addReg(ScratchReg)
1686 .addReg(SrcReg)
1687 .addImm(4)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001688 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001689 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001690 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001691
David Woodhousee6c13e42014-01-28 23:12:42 +00001692 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001693 .addReg(ARM::R7)
1694 .addReg(SrcReg)
1695 .addImm(0)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001696 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001697 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001698 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001699
David Woodhousee6c13e42014-01-28 23:12:42 +00001700 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::BX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001701 .addReg(ScratchReg)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001702 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001703 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001704 .addReg(0));
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001705 return;
1706 }
Jim Grosbach175d6412010-09-27 22:28:11 +00001707 case ARM::tInt_eh_sjlj_longjmp: {
1708 // ldr $scratch, [$src, #8]
1709 // mov sp, $scratch
1710 // ldr $scratch, [$src, #4]
1711 // ldr r7, [$src]
1712 // bx $scratch
1713 unsigned SrcReg = MI->getOperand(0).getReg();
1714 unsigned ScratchReg = MI->getOperand(1).getReg();
David Woodhousee6c13e42014-01-28 23:12:42 +00001715 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001716 .addReg(ScratchReg)
1717 .addReg(SrcReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001718 // The offset immediate is #8. The operand value is scaled by 4 for the
Bill Wendling092a7bd2010-12-14 03:36:38 +00001719 // tLDR instruction.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001720 .addImm(2)
Jim Grosbach175d6412010-09-27 22:28:11 +00001721 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001722 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001723 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001724
David Woodhousee6c13e42014-01-28 23:12:42 +00001725 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001726 .addReg(ARM::SP)
1727 .addReg(ScratchReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001728 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001729 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001730 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001731
David Woodhousee6c13e42014-01-28 23:12:42 +00001732 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001733 .addReg(ScratchReg)
1734 .addReg(SrcReg)
1735 .addImm(1)
Jim Grosbach175d6412010-09-27 22:28:11 +00001736 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001737 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001738 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001739
David Woodhousee6c13e42014-01-28 23:12:42 +00001740 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001741 .addReg(ARM::R7)
1742 .addReg(SrcReg)
1743 .addImm(0)
Jim Grosbach175d6412010-09-27 22:28:11 +00001744 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001745 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001746 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001747
David Woodhousee6c13e42014-01-28 23:12:42 +00001748 EmitToStreamer(OutStreamer, MCInstBuilder(ARM::tBX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001749 .addReg(ScratchReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001750 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001751 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001752 .addReg(0));
Jim Grosbach175d6412010-09-27 22:28:11 +00001753 return;
1754 }
Chris Lattner71eb0772009-10-19 20:20:46 +00001755 }
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001756
Chris Lattner71eb0772009-10-19 20:20:46 +00001757 MCInst TmpInst;
Chris Lattnerde16ca82010-11-14 21:00:02 +00001758 LowerARMMachineInstrToMCInst(MI, TmpInst, *this);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001759
David Woodhousee6c13e42014-01-28 23:12:42 +00001760 EmitToStreamer(OutStreamer, TmpInst);
Chris Lattner71eb0772009-10-19 20:20:46 +00001761}
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001762
1763//===----------------------------------------------------------------------===//
1764// Target Registry Stuff
1765//===----------------------------------------------------------------------===//
1766
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001767// Force static initialization.
1768extern "C" void LLVMInitializeARMAsmPrinter() {
Christian Pirkerdc9ff752014-04-01 15:19:30 +00001769 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMLETarget);
1770 RegisterAsmPrinter<ARMAsmPrinter> Y(TheARMBETarget);
1771 RegisterAsmPrinter<ARMAsmPrinter> A(TheThumbLETarget);
1772 RegisterAsmPrinter<ARMAsmPrinter> B(TheThumbBETarget);
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001773}