blob: 325f3553854dfd851c90a4ea770dd140c8138240 [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
Chris Lattner1ef9cd42006-12-19 22:59:26 +000015#define DEBUG_TYPE "asm-printer"
Jim Grosbachd0d13292010-12-01 03:45:07 +000016#include "ARMAsmPrinter.h"
Craig Topper188ed9d2012-03-17 07:33:42 +000017#include "ARM.h"
Evan Chenge45d6852011-01-11 21:46:47 +000018#include "ARMConstantPoolValue.h"
Logan Chien8cbb80d2013-10-28 17:51:12 +000019#include "ARMFPUName.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000020#include "ARMMachineFunctionInfo.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000021#include "ARMTargetMachine.h"
Jason W Kim109ff292010-10-11 23:01:44 +000022#include "ARMTargetObjectFile.h"
Evan Chenge45d6852011-01-11 21:46:47 +000023#include "InstPrinter/ARMInstPrinter.h"
Evan Chenga20cde32011-07-20 23:34:39 +000024#include "MCTargetDesc/ARMAddressingModes.h"
25#include "MCTargetDesc/ARMMCExpr.h"
Jim Grosbach330840f2012-10-04 21:33:24 +000026#include "llvm/ADT/SetVector.h"
27#include "llvm/ADT/SmallString.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000028#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Cheng10043e22007-01-19 07:51:42 +000029#include "llvm/CodeGen/MachineJumpTableInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000030#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000031#include "llvm/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000032#include "llvm/IR/Constants.h"
33#include "llvm/IR/DataLayout.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000034#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000035#include "llvm/IR/Module.h"
36#include "llvm/IR/Type.h"
Chris Lattner6462adc2009-10-19 18:38:33 +000037#include "llvm/MC/MCAsmInfo.h"
Rafael Espindola0ed15432010-10-25 17:50:35 +000038#include "llvm/MC/MCAssembler.h"
Chris Lattner6462adc2009-10-19 18:38:33 +000039#include "llvm/MC/MCContext.h"
Jack Carter718da0b2013-01-30 02:24:33 +000040#include "llvm/MC/MCELFStreamer.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000041#include "llvm/MC/MCInst.h"
Benjamin Kramer4e629f72012-11-26 13:34:22 +000042#include "llvm/MC/MCInstBuilder.h"
Rafael Espindola0ed15432010-10-25 17:50:35 +000043#include "llvm/MC/MCObjectStreamer.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000044#include "llvm/MC/MCSectionMachO.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000045#include "llvm/MC/MCStreamer.h"
Chris Lattner4cd44982009-09-13 17:14:04 +000046#include "llvm/MC/MCSymbol.h"
Saleem Abdulrasool278a9f42014-01-19 08:25:27 +000047#include "llvm/Support/ARMBuildAttributes.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
Devang Patel3712c142011-04-21 22:48:26 +000058/// EmitDwarfRegOp - Emit dwarf register operation.
David Blaikie81a4dc72013-06-19 21:55:13 +000059void ARMAsmPrinter::EmitDwarfRegOp(const MachineLocation &MLoc,
60 bool Indirect) const {
Devang Patel3712c142011-04-21 22:48:26 +000061 const TargetRegisterInfo *RI = TM.getRegisterInfo();
David Blaikie141b2ac2013-06-18 18:03:17 +000062 if (RI->getDwarfRegNum(MLoc.getReg(), false) != -1) {
David Blaikie81a4dc72013-06-19 21:55:13 +000063 AsmPrinter::EmitDwarfRegOp(MLoc, Indirect);
David Blaikie141b2ac2013-06-18 18:03:17 +000064 return;
65 }
David Blaikie81a4dc72013-06-19 21:55:13 +000066 assert(MLoc.isReg() && !Indirect &&
David Blaikie141b2ac2013-06-18 18:03:17 +000067 "This doesn't support offset/indirection - implement it if needed");
68 unsigned Reg = MLoc.getReg();
69 if (Reg >= ARM::S0 && Reg <= ARM::S31) {
70 assert(ARM::S0 + 31 == ARM::S31 && "Unexpected ARM S register numbering");
71 // S registers are described as bit-pieces of a register
72 // S[2x] = DW_OP_regx(256 + (x>>1)) DW_OP_bit_piece(32, 0)
73 // S[2x+1] = DW_OP_regx(256 + (x>>1)) DW_OP_bit_piece(32, 32)
Jim Grosbach05dec8b12011-09-02 18:46:15 +000074
David Blaikie141b2ac2013-06-18 18:03:17 +000075 unsigned SReg = Reg - ARM::S0;
76 bool odd = SReg & 0x1;
77 unsigned Rx = 256 + (SReg >> 1);
Devang Patel3712c142011-04-21 22:48:26 +000078
David Blaikie141b2ac2013-06-18 18:03:17 +000079 OutStreamer.AddComment("DW_OP_regx for S register");
80 EmitInt8(dwarf::DW_OP_regx);
Devang Patel3712c142011-04-21 22:48:26 +000081
David Blaikie141b2ac2013-06-18 18:03:17 +000082 OutStreamer.AddComment(Twine(SReg));
83 EmitULEB128(Rx);
Devang Patel3712c142011-04-21 22:48:26 +000084
David Blaikie141b2ac2013-06-18 18:03:17 +000085 if (odd) {
86 OutStreamer.AddComment("DW_OP_bit_piece 32 32");
87 EmitInt8(dwarf::DW_OP_bit_piece);
88 EmitULEB128(32);
89 EmitULEB128(32);
90 } else {
91 OutStreamer.AddComment("DW_OP_bit_piece 32 0");
92 EmitInt8(dwarf::DW_OP_bit_piece);
93 EmitULEB128(32);
94 EmitULEB128(0);
Devang Patel3712c142011-04-21 22:48:26 +000095 }
David Blaikie141b2ac2013-06-18 18:03:17 +000096 } else if (Reg >= ARM::Q0 && Reg <= ARM::Q15) {
97 assert(ARM::Q0 + 15 == ARM::Q15 && "Unexpected ARM Q register numbering");
98 // Q registers Q0-Q15 are described by composing two D registers together.
99 // Qx = DW_OP_regx(256+2x) DW_OP_piece(8) DW_OP_regx(256+2x+1)
100 // DW_OP_piece(8)
101
102 unsigned QReg = Reg - ARM::Q0;
103 unsigned D1 = 256 + 2 * QReg;
104 unsigned D2 = D1 + 1;
105
106 OutStreamer.AddComment("DW_OP_regx for Q register: D1");
107 EmitInt8(dwarf::DW_OP_regx);
108 EmitULEB128(D1);
109 OutStreamer.AddComment("DW_OP_piece 8");
110 EmitInt8(dwarf::DW_OP_piece);
111 EmitULEB128(8);
112
113 OutStreamer.AddComment("DW_OP_regx for Q register: D2");
114 EmitInt8(dwarf::DW_OP_regx);
115 EmitULEB128(D2);
116 OutStreamer.AddComment("DW_OP_piece 8");
117 EmitInt8(dwarf::DW_OP_piece);
118 EmitULEB128(8);
Devang Patel3712c142011-04-21 22:48:26 +0000119 }
120}
121
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000122void ARMAsmPrinter::EmitFunctionBodyEnd() {
123 // Make sure to terminate any constant pools that were at the end
124 // of the function.
125 if (!InConstantPool)
126 return;
127 InConstantPool = false;
128 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
129}
Owen Anderson0ca562e2011-10-04 23:26:17 +0000130
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000131void ARMAsmPrinter::EmitFunctionEntryLabel() {
Chris Lattner56db8c32010-01-27 23:58:11 +0000132 if (AFI->isThumbFunction()) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +0000133 OutStreamer.EmitAssemblerFlag(MCAF_Code16);
Rafael Espindolae90c1cb2011-05-16 16:17:21 +0000134 OutStreamer.EmitThumbFunc(CurrentFnSym);
Chris Lattner56db8c32010-01-27 23:58:11 +0000135 }
Jim Grosbach8ee5cd92010-09-02 01:02:06 +0000136
Chris Lattner56db8c32010-01-27 23:58:11 +0000137 OutStreamer.EmitLabel(CurrentFnSym);
138}
139
James Molloy6685c082012-01-26 09:25:43 +0000140void ARMAsmPrinter::EmitXXStructor(const Constant *CV) {
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000141 uint64_t Size = TM.getDataLayout()->getTypeAllocSize(CV->getType());
James Molloy6685c082012-01-26 09:25:43 +0000142 assert(Size && "C++ constructor pointer had zero size!");
143
Bill Wendlingdfb45f42012-02-15 09:14:08 +0000144 const GlobalValue *GV = dyn_cast<GlobalValue>(CV->stripPointerCasts());
James Molloy6685c082012-01-26 09:25:43 +0000145 assert(GV && "C++ constructor pointer was not a GlobalValue!");
146
Rafael Espindola79858aa2013-10-29 17:07:16 +0000147 const MCExpr *E = MCSymbolRefExpr::Create(getSymbol(GV),
Tim Northoverd6a729b2014-01-06 14:28:05 +0000148 (Subtarget->isTargetELF()
149 ? MCSymbolRefExpr::VK_ARM_TARGET1
150 : MCSymbolRefExpr::VK_None),
James Molloy6685c082012-01-26 09:25:43 +0000151 OutContext);
152
153 OutStreamer.EmitValue(E, Size);
154}
155
Jim Grosbach080fdf42010-09-30 01:57:53 +0000156/// runOnMachineFunction - This uses the EmitInstruction()
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000157/// method to print assembly for each instruction.
158///
159bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng10043e22007-01-19 07:51:42 +0000160 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Cheng5e3ac182008-09-18 07:27:23 +0000161 MCP = MF.getConstantPool();
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000162
Chris Lattner73de5fb2010-01-28 01:28:58 +0000163 return AsmPrinter::runOnMachineFunction(MF);
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000164}
165
Evan Chengb23b50d2009-06-29 07:51:04 +0000166void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Chris Lattner76c564b2010-04-04 04:47:45 +0000167 raw_ostream &O, const char *Modifier) {
Evan Chengb23b50d2009-06-29 07:51:04 +0000168 const MachineOperand &MO = MI->getOperand(OpNum);
Anton Korobeynikov25229082009-11-24 00:44:37 +0000169 unsigned TF = MO.getTargetFlags();
170
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000171 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +0000172 default: llvm_unreachable("<unknown operand type>");
Bob Wilson2e076c42009-06-22 23:27:02 +0000173 case MachineOperand::MO_Register: {
174 unsigned Reg = MO.getReg();
Chris Lattner93e3ef62009-10-19 20:59:55 +0000175 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Jim Grosbach2c950272010-10-06 21:22:32 +0000176 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Weiming Zhaoc5987002013-02-14 18:10:21 +0000177 if(ARM::GPRPairRegClass.contains(Reg)) {
178 const MachineFunction &MF = *MI->getParent()->getParent();
179 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
180 Reg = TRI->getSubReg(Reg, ARM::gsub_0);
181 }
Jim Grosbach2c950272010-10-06 21:22:32 +0000182 O << ARMInstPrinter::getRegisterName(Reg);
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000183 break;
Bob Wilson2e076c42009-06-22 23:27:02 +0000184 }
Evan Cheng10043e22007-01-19 07:51:42 +0000185 case MachineOperand::MO_Immediate: {
Evan Cheng83e0d482009-09-28 09:14:39 +0000186 int64_t Imm = MO.getImm();
Anton Korobeynikov222b86c2009-10-08 20:43:22 +0000187 O << '#';
Anton Korobeynikov25229082009-11-24 00:44:37 +0000188 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
Jason W Kime9eae0f2011-01-12 23:21:49 +0000189 (TF == ARMII::MO_LO16))
Anton Korobeynikov25229082009-11-24 00:44:37 +0000190 O << ":lower16:";
191 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
Jason W Kime9eae0f2011-01-12 23:21:49 +0000192 (TF == ARMII::MO_HI16))
Anton Korobeynikov25229082009-11-24 00:44:37 +0000193 O << ":upper16:";
Anton Korobeynikov222b86c2009-10-08 20:43:22 +0000194 O << Imm;
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000195 break;
Evan Cheng10043e22007-01-19 07:51:42 +0000196 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000197 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner29bdac42010-03-13 21:04:28 +0000198 O << *MO.getMBB()->getSymbol();
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000199 return;
Rafael Espindola75269be2006-07-16 01:02:57 +0000200 case MachineOperand::MO_GlobalAddress: {
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000201 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov25229082009-11-24 00:44:37 +0000202 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
203 (TF & ARMII::MO_LO16))
204 O << ":lower16:";
205 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
206 (TF & ARMII::MO_HI16))
207 O << ":upper16:";
Rafael Espindola79858aa2013-10-29 17:07:16 +0000208 O << *getSymbol(GV);
Anton Korobeynikovbff4b372008-11-22 16:15:34 +0000209
Chris Lattnerf33c7fc2010-04-03 22:28:33 +0000210 printOffset(MO.getOffset(), O);
Jim Grosbachf49540c2010-10-06 21:36:43 +0000211 if (TF == ARMII::MO_PLT)
Lauro Ramos Venancioee2d1642007-04-22 00:04:12 +0000212 O << "(PLT)";
Evan Cheng10043e22007-01-19 07:51:42 +0000213 break;
Rafael Espindola75269be2006-07-16 01:02:57 +0000214 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000215 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnerc55ea3f2010-01-23 07:00:21 +0000216 O << *GetCPISymbol(MO.getIndex());
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000217 break;
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000218 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000219}
220
Evan Chengb23b50d2009-06-29 07:51:04 +0000221//===--------------------------------------------------------------------===//
222
Chris Lattner68d64aa2010-01-25 19:51:38 +0000223MCSymbol *ARMAsmPrinter::
Chris Lattner68d64aa2010-01-25 19:51:38 +0000224GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const {
Rafael Espindola58873562014-01-03 19:21:54 +0000225 const DataLayout *DL = TM.getDataLayout();
Chris Lattner68d64aa2010-01-25 19:51:38 +0000226 SmallString<60> Name;
Rafael Espindola58873562014-01-03 19:21:54 +0000227 raw_svector_ostream(Name) << DL->getPrivateGlobalPrefix() << "JTI"
Chris Lattner8186eec2010-01-25 23:28:03 +0000228 << getFunctionNumber() << '_' << uid << '_' << uid2;
Chris Lattner98970432010-03-30 18:10:53 +0000229 return OutContext.GetOrCreateSymbol(Name.str());
Chris Lattner6330d532010-01-25 19:39:52 +0000230}
231
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000232
Dmitri Gribenko0011bbf2012-11-15 16:51:49 +0000233MCSymbol *ARMAsmPrinter::GetARMSJLJEHLabel() const {
Rafael Espindola58873562014-01-03 19:21:54 +0000234 const DataLayout *DL = TM.getDataLayout();
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000235 SmallString<60> Name;
Rafael Espindola58873562014-01-03 19:21:54 +0000236 raw_svector_ostream(Name) << DL->getPrivateGlobalPrefix() << "SJLJEH"
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000237 << getFunctionNumber();
238 return OutContext.GetOrCreateSymbol(Name.str());
239}
240
Evan Chengb23b50d2009-06-29 07:51:04 +0000241bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattner3bb09762010-04-04 05:29:35 +0000242 unsigned AsmVariant, const char *ExtraCode,
243 raw_ostream &O) {
Evan Cheng10043e22007-01-19 07:51:42 +0000244 // Does this asm operand have a single letter operand modifier?
245 if (ExtraCode && ExtraCode[0]) {
246 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikovcfed3002009-08-08 23:10:41 +0000247
Evan Cheng10043e22007-01-19 07:51:42 +0000248 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000249 default:
250 // See if this is a generic print operand
251 return AsmPrinter::PrintAsmOperand(MI, OpNum, AsmVariant, ExtraCode, O);
Bob Wilson9ce44e22009-07-09 23:54:51 +0000252 case 'a': // Print as a memory address.
253 if (MI->getOperand(OpNum).isReg()) {
Jim Grosbach136ed512010-09-30 15:25:22 +0000254 O << "["
255 << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg())
256 << "]";
Bob Wilson9ce44e22009-07-09 23:54:51 +0000257 return false;
258 }
259 // Fallthrough
260 case 'c': // Don't print "#" before an immediate operand.
Bob Wilsonceffeb62009-08-21 21:58:55 +0000261 if (!MI->getOperand(OpNum).isImm())
262 return true;
Jim Grosbach080fdf42010-09-30 01:57:53 +0000263 O << MI->getOperand(OpNum).getImm();
Bob Wilson0669f6d2009-04-06 21:46:51 +0000264 return false;
Evan Cheng1e150de2007-04-04 00:13:29 +0000265 case 'P': // Print a VFP double precision register.
Evan Cheng0c2544f2009-12-08 23:06:22 +0000266 case 'q': // Print a NEON quad precision register.
Chris Lattner76c564b2010-04-04 04:47:45 +0000267 printOperand(MI, OpNum, O);
Evan Chengea28fc52007-03-08 22:42:46 +0000268 return false;
Eric Christopher76178832011-05-24 22:10:34 +0000269 case 'y': // Print a VFP single precision register as indexed double.
Eric Christopher76178832011-05-24 22:10:34 +0000270 if (MI->getOperand(OpNum).isReg()) {
271 unsigned Reg = MI->getOperand(OpNum).getReg();
272 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
Jakob Stoklund Olesen5541f602012-05-30 23:00:43 +0000273 // Find the 'd' register that has this 's' register as a sub-register,
274 // and determine the lane number.
275 for (MCSuperRegIterator SR(Reg, TRI); SR.isValid(); ++SR) {
276 if (!ARM::DPRRegClass.contains(*SR))
277 continue;
278 bool Lane0 = TRI->getSubReg(*SR, ARM::ssub_0) == Reg;
279 O << ARMInstPrinter::getRegisterName(*SR) << (Lane0 ? "[0]" : "[1]");
280 return false;
281 }
Eric Christopher76178832011-05-24 22:10:34 +0000282 }
Eric Christopher1b724942011-05-24 23:27:13 +0000283 return true;
Eric Christopherd4562562011-05-24 22:27:43 +0000284 case 'B': // Bitwise inverse of integer or symbol without a preceding #.
Eric Christopherb1dda562011-05-24 23:15:43 +0000285 if (!MI->getOperand(OpNum).isImm())
286 return true;
287 O << ~(MI->getOperand(OpNum).getImm());
288 return false;
Eric Christopherd4562562011-05-24 22:27:43 +0000289 case 'L': // The low 16 bits of an immediate constant.
Eric Christopher1b724942011-05-24 23:27:13 +0000290 if (!MI->getOperand(OpNum).isImm())
291 return true;
292 O << (MI->getOperand(OpNum).getImm() & 0xffff);
293 return false;
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000294 case 'M': { // A register range suitable for LDM/STM.
295 if (!MI->getOperand(OpNum).isReg())
296 return true;
297 const MachineOperand &MO = MI->getOperand(OpNum);
298 unsigned RegBegin = MO.getReg();
299 // This takes advantage of the 2 operand-ness of ldm/stm and that we've
300 // already got the operands in registers that are operands to the
301 // inline asm statement.
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000302 O << "{";
303 if (ARM::GPRPairRegClass.contains(RegBegin)) {
304 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
305 unsigned Reg0 = TRI->getSubReg(RegBegin, ARM::gsub_0);
306 O << ARMInstPrinter::getRegisterName(Reg0) << ", ";;
307 RegBegin = TRI->getSubReg(RegBegin, ARM::gsub_1);
308 }
309 O << ARMInstPrinter::getRegisterName(RegBegin);
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000310
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000311 // FIXME: The register allocator not only may not have given us the
312 // registers in sequence, but may not be in ascending registers. This
313 // will require changes in the register allocator that'll need to be
314 // propagated down here if the operands change.
315 unsigned RegOps = OpNum + 1;
316 while (MI->getOperand(RegOps).isReg()) {
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000317 O << ", "
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000318 << ARMInstPrinter::getRegisterName(MI->getOperand(RegOps).getReg());
319 RegOps++;
320 }
321
322 O << "}";
323
324 return false;
325 }
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000326 case 'R': // The most significant register of a pair.
327 case 'Q': { // The least significant register of a pair.
328 if (OpNum == 0)
329 return true;
330 const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1);
331 if (!FlagsOP.isImm())
332 return true;
333 unsigned Flags = FlagsOP.getImm();
Tim Northover2ddeeed2013-08-22 06:51:04 +0000334
335 // This operand may not be the one that actually provides the register. If
336 // it's tied to a previous one then we should refer instead to that one
337 // for registers and their classes.
338 unsigned TiedIdx;
339 if (InlineAsm::isUseOperandTiedToDef(Flags, TiedIdx)) {
340 for (OpNum = InlineAsm::MIOp_FirstOperand; TiedIdx; --TiedIdx) {
341 unsigned OpFlags = MI->getOperand(OpNum).getImm();
342 OpNum += InlineAsm::getNumOperandRegisters(OpFlags) + 1;
343 }
344 Flags = MI->getOperand(OpNum).getImm();
345
346 // Later code expects OpNum to be pointing at the register rather than
347 // the flags.
348 OpNum += 1;
349 }
350
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000351 unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags);
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000352 unsigned RC;
353 InlineAsm::hasRegClassConstraint(Flags, RC);
354 if (RC == ARM::GPRPairRegClassID) {
355 if (NumVals != 1)
356 return true;
357 const MachineOperand &MO = MI->getOperand(OpNum);
358 if (!MO.isReg())
359 return true;
360 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
361 unsigned Reg = TRI->getSubReg(MO.getReg(), ExtraCode[0] == 'Q' ?
362 ARM::gsub_0 : ARM::gsub_1);
363 O << ARMInstPrinter::getRegisterName(Reg);
364 return false;
365 }
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000366 if (NumVals != 2)
367 return true;
368 unsigned RegOp = ExtraCode[0] == 'Q' ? OpNum : OpNum + 1;
369 if (RegOp >= MI->getNumOperands())
370 return true;
371 const MachineOperand &MO = MI->getOperand(RegOp);
372 if (!MO.isReg())
373 return true;
374 unsigned Reg = MO.getReg();
375 O << ARMInstPrinter::getRegisterName(Reg);
376 return false;
377 }
378
Eric Christopherd4562562011-05-24 22:27:43 +0000379 case 'e': // The low doubleword register of a NEON quad register.
Bob Wilsonfadc2c82011-12-12 21:45:15 +0000380 case 'f': { // The high doubleword register of a NEON quad register.
381 if (!MI->getOperand(OpNum).isReg())
382 return true;
383 unsigned Reg = MI->getOperand(OpNum).getReg();
384 if (!ARM::QPRRegClass.contains(Reg))
385 return true;
386 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
387 unsigned SubReg = TRI->getSubReg(Reg, ExtraCode[0] == 'e' ?
388 ARM::dsub_0 : ARM::dsub_1);
389 O << ARMInstPrinter::getRegisterName(SubReg);
390 return false;
391 }
392
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000393 // This modifier is not yet supported.
Eric Christopherd4562562011-05-24 22:27:43 +0000394 case 'h': // A range of VFP/NEON registers suitable for VLD1/VST1.
Bob Wilson40e62df2010-05-27 20:23:42 +0000395 return true;
Eric Christopher5f61a742012-08-14 23:32:15 +0000396 case 'H': { // The highest-numbered register of a pair.
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000397 const MachineOperand &MO = MI->getOperand(OpNum);
398 if (!MO.isReg())
399 return true;
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000400 const MachineFunction &MF = *MI->getParent()->getParent();
401 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
Weiming Zhaoc5987002013-02-14 18:10:21 +0000402 unsigned Reg = MO.getReg();
403 if(!ARM::GPRPairRegClass.contains(Reg))
404 return false;
405 Reg = TRI->getSubReg(Reg, ARM::gsub_1);
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000406 O << ARMInstPrinter::getRegisterName(Reg);
407 return false;
Evan Cheng3d3ee872010-05-27 22:08:38 +0000408 }
Eric Christopher5f61a742012-08-14 23:32:15 +0000409 }
Evan Cheng10043e22007-01-19 07:51:42 +0000410 }
Jim Grosbach1eaa90b2009-09-04 01:38:51 +0000411
Chris Lattner76c564b2010-04-04 04:47:45 +0000412 printOperand(MI, OpNum, O);
Evan Cheng10043e22007-01-19 07:51:42 +0000413 return false;
414}
415
Bob Wilsona2c462b2009-05-19 05:53:42 +0000416bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Chengb23b50d2009-06-29 07:51:04 +0000417 unsigned OpNum, unsigned AsmVariant,
Chris Lattner3bb09762010-04-04 05:29:35 +0000418 const char *ExtraCode,
419 raw_ostream &O) {
Eric Christopher8c5e4192011-05-25 20:51:58 +0000420 // Does this asm operand have a single letter operand modifier?
421 if (ExtraCode && ExtraCode[0]) {
422 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000423
Eric Christopher8c5e4192011-05-25 20:51:58 +0000424 switch (ExtraCode[0]) {
Eric Christopher33a73c72011-05-26 18:22:26 +0000425 case 'A': // A memory operand for a VLD1/VST1 instruction.
Eric Christopher8c5e4192011-05-25 20:51:58 +0000426 default: return true; // Unknown modifier.
427 case 'm': // The base register of a memory operand.
428 if (!MI->getOperand(OpNum).isReg())
429 return true;
430 O << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg());
431 return false;
432 }
433 }
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000434
Bob Wilson3b515602009-10-13 20:50:28 +0000435 const MachineOperand &MO = MI->getOperand(OpNum);
436 assert(MO.isReg() && "unexpected inline asm memory operand");
Jim Grosbach080fdf42010-09-30 01:57:53 +0000437 O << "[" << ARMInstPrinter::getRegisterName(MO.getReg()) << "]";
Bob Wilsona2c462b2009-05-19 05:53:42 +0000438 return false;
439}
440
Rafael Espindola65fd0a82014-01-24 15:47:54 +0000441static bool isThumb(const MCSubtargetInfo& STI) {
442 return (STI.getFeatureBits() & ARM::ModeThumb) != 0;
443}
444
445void ARMAsmPrinter::emitInlineAsmEnd(const MCSubtargetInfo &StartInfo,
446 MCSubtargetInfo *EndInfo) const {
447 // If either end mode is unknown (EndInfo == NULL) or different than
448 // the start mode, then restore the start mode.
449 const bool WasThumb = isThumb(StartInfo);
450 if (EndInfo == NULL || WasThumb != isThumb(*EndInfo)) {
451 OutStreamer.EmitAssemblerFlag(WasThumb ? MCAF_Code16 : MCAF_Code32);
452 if (EndInfo)
453 EndInfo->ToggleFeature(ARM::ModeThumb);
454 }
455}
456
Bob Wilsonb633d7a2009-09-30 22:06:26 +0000457void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000458 if (Subtarget->isTargetMachO()) {
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000459 Reloc::Model RelocM = TM.getRelocationModel();
460 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
461 // Declare all the text sections up front (before the DWARF sections
462 // emitted by AsmPrinter::doInitialization) so the assembler will keep
463 // them together at the beginning of the object file. This helps
464 // avoid out-of-range branches that are due a fundamental limitation of
465 // the way symbol offsets are encoded with the current Darwin ARM
466 // relocations.
Jim Grosbach8ee5cd92010-09-02 01:02:06 +0000467 const TargetLoweringObjectFileMachO &TLOFMacho =
Dan Gohman53d4a082010-04-17 16:44:48 +0000468 static_cast<const TargetLoweringObjectFileMachO &>(
469 getObjFileLowering());
Jim Grosbach330840f2012-10-04 21:33:24 +0000470
471 // Collect the set of sections our functions will go into.
472 SetVector<const MCSection *, SmallVector<const MCSection *, 8>,
473 SmallPtrSet<const MCSection *, 8> > TextSections;
474 // Default text section comes first.
475 TextSections.insert(TLOFMacho.getTextSection());
476 // Now any user defined text sections from function attributes.
477 for (Module::iterator F = M.begin(), e = M.end(); F != e; ++F)
478 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage())
479 TextSections.insert(TLOFMacho.SectionForGlobal(F, Mang, TM));
480 // Now the coalescable sections.
481 TextSections.insert(TLOFMacho.getTextCoalSection());
482 TextSections.insert(TLOFMacho.getConstTextCoalSection());
483
484 // Emit the sections in the .s file header to fix the order.
485 for (unsigned i = 0, e = TextSections.size(); i != e; ++i)
486 OutStreamer.SwitchSection(TextSections[i]);
487
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000488 if (RelocM == Reloc::DynamicNoPIC) {
489 const MCSection *sect =
Chris Lattner433d4062010-04-08 20:40:11 +0000490 OutContext.getMachOSection("__TEXT", "__symbol_stub4",
491 MCSectionMachO::S_SYMBOL_STUBS,
492 12, SectionKind::getText());
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000493 OutStreamer.SwitchSection(sect);
494 } else {
495 const MCSection *sect =
Chris Lattner433d4062010-04-08 20:40:11 +0000496 OutContext.getMachOSection("__TEXT", "__picsymbolstub4",
497 MCSectionMachO::S_SYMBOL_STUBS,
498 16, SectionKind::getText());
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000499 OutStreamer.SwitchSection(sect);
500 }
Bob Wilson4320e2d2010-07-30 19:55:47 +0000501 const MCSection *StaticInitSect =
502 OutContext.getMachOSection("__TEXT", "__StaticInit",
503 MCSectionMachO::S_REGULAR |
504 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
505 SectionKind::getText());
506 OutStreamer.SwitchSection(StaticInitSect);
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000507 }
Adrian Prantl671af5c2014-01-20 19:15:59 +0000508
509 // Compiling with debug info should not affect the code
510 // generation. Ensure the cstring section comes before the
511 // optional __DWARF secion. Otherwise, PC-relative loads would
512 // have to use different instruction sequences at "-g" in order to
513 // reach global data in the same object file.
514 OutStreamer.SwitchSection(getObjFileLowering().getCStringSection());
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000515 }
516
Jim Grosbachd7cf55c2009-11-09 00:11:35 +0000517 // Use unified assembler syntax.
Jason W Kim645f6c22010-09-30 02:45:56 +0000518 OutStreamer.EmitAssemblerFlag(MCAF_SyntaxUnified);
Anton Korobeynikovf687a822009-06-17 23:43:18 +0000519
Anton Korobeynikovfa6f1ee2009-05-23 19:51:20 +0000520 // Emit ARM Build Attributes
Evan Cheng0460ae82012-02-21 20:46:00 +0000521 if (Subtarget->isTargetELF())
Jason W Kimbff84d42010-10-06 22:36:46 +0000522 emitAttributes();
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000523}
524
Anton Korobeynikov04083522008-08-07 09:54:23 +0000525
Chris Lattneree9399a2009-10-19 17:59:19 +0000526void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000527 if (Subtarget->isTargetMachO()) {
Chris Lattner73ebe432009-08-03 22:18:15 +0000528 // All darwin targets use mach-o.
Dan Gohman53d4a082010-04-17 16:44:48 +0000529 const TargetLoweringObjectFileMachO &TLOFMacho =
530 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering());
Chris Lattner6462adc2009-10-19 18:38:33 +0000531 MachineModuleInfoMachO &MMIMacho =
532 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Jim Grosbach1eaa90b2009-09-04 01:38:51 +0000533
Evan Cheng10043e22007-01-19 07:51:42 +0000534 // Output non-lazy-pointers for external and common global variables.
Chris Lattner6462adc2009-10-19 18:38:33 +0000535 MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList();
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000536
Chris Lattner6462adc2009-10-19 18:38:33 +0000537 if (!Stubs.empty()) {
Chris Lattnercb307a272009-08-10 01:39:42 +0000538 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000539 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattner292472d2009-08-10 18:01:34 +0000540 EmitAlignment(2);
Chris Lattner6462adc2009-10-19 18:38:33 +0000541 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Bill Wendlingf1eae222010-03-09 00:40:17 +0000542 // L_foo$stub:
543 OutStreamer.EmitLabel(Stubs[i].first);
544 // .indirect_symbol _foo
Bill Wendlinge8e79522010-03-11 01:18:13 +0000545 MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second;
546 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(),MCSA_IndirectSymbol);
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000547
Bill Wendlinge8e79522010-03-11 01:18:13 +0000548 if (MCSym.getInt())
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000549 // External to current translation unit.
Eric Christopherbf7bc492013-01-09 03:52:05 +0000550 OutStreamer.EmitIntValue(0, 4/*size*/);
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000551 else
552 // Internal to current translation unit.
Bill Wendling866f5762010-03-31 18:47:10 +0000553 //
Jim Grosbach754e1ef2010-09-22 16:45:13 +0000554 // When we place the LSDA into the TEXT section, the type info
555 // pointers need to be indirect and pc-rel. We accomplish this by
556 // using NLPs; however, sometimes the types are local to the file.
557 // We need to fill in the value for the NLP in those cases.
Bill Wendlinge8e79522010-03-11 01:18:13 +0000558 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(),
559 OutContext),
Eric Christopherbf7bc492013-01-09 03:52:05 +0000560 4/*size*/);
Evan Cheng2a03c7e2008-12-05 01:06:39 +0000561 }
Bill Wendlingf1eae222010-03-09 00:40:17 +0000562
563 Stubs.clear();
564 OutStreamer.AddBlankLine();
Evan Cheng10043e22007-01-19 07:51:42 +0000565 }
566
Chris Lattner3334deb2009-10-19 18:44:38 +0000567 Stubs = MMIMacho.GetHiddenGVStubList();
568 if (!Stubs.empty()) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000569 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
Chris Lattnerfbcafd42009-08-10 18:02:16 +0000570 EmitAlignment(2);
Bill Wendlingf1eae222010-03-09 00:40:17 +0000571 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
572 // L_foo$stub:
573 OutStreamer.EmitLabel(Stubs[i].first);
574 // .long _foo
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000575 OutStreamer.EmitValue(MCSymbolRefExpr::
576 Create(Stubs[i].second.getPointer(),
577 OutContext),
Eric Christopherbf7bc492013-01-09 03:52:05 +0000578 4/*size*/);
Bill Wendlingf1eae222010-03-09 00:40:17 +0000579 }
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000580
581 Stubs.clear();
582 OutStreamer.AddBlankLine();
Evan Cheng2a03c7e2008-12-05 01:06:39 +0000583 }
584
Evan Cheng10043e22007-01-19 07:51:42 +0000585 // Funny Darwin hack: This flag tells the linker that no global symbols
586 // contain code that falls through to other global symbols (e.g. the obvious
587 // implementation of multiple entry points). If this doesn't occur, the
588 // linker can safely perform dead code stripping. Since LLVM never
589 // generates code that does this, it is always safe to set.
Chris Lattner685508c2010-01-23 06:39:22 +0000590 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Rafael Espindola89e5cbd2006-07-27 11:38:51 +0000591 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000592}
Anton Korobeynikov17d28de2008-08-17 13:55:10 +0000593
Chris Lattner71eb0772009-10-19 20:20:46 +0000594//===----------------------------------------------------------------------===//
Jason W Kimbff84d42010-10-06 22:36:46 +0000595// Helper routines for EmitStartOfAsmFile() and EmitEndOfAsmFile()
596// FIXME:
597// The following seem like one-off assembler flags, but they actually need
Jim Grosbach25cd3bf2010-10-06 22:46:47 +0000598// to appear in the .ARM.attributes section in ELF.
Jason W Kimbff84d42010-10-06 22:36:46 +0000599// Instead of subclassing the MCELFStreamer, we do the work here.
600
Amara Emerson5035ee02013-10-07 16:55:23 +0000601static ARMBuildAttrs::CPUArch getArchForCPU(StringRef CPU,
602 const ARMSubtarget *Subtarget) {
603 if (CPU == "xscale")
604 return ARMBuildAttrs::v5TEJ;
605
606 if (Subtarget->hasV8Ops())
607 return ARMBuildAttrs::v8;
608 else if (Subtarget->hasV7Ops()) {
609 if (Subtarget->isMClass() && Subtarget->hasThumb2DSP())
610 return ARMBuildAttrs::v7E_M;
611 return ARMBuildAttrs::v7;
612 } else if (Subtarget->hasV6T2Ops())
613 return ARMBuildAttrs::v6T2;
614 else if (Subtarget->hasV6MOps())
615 return ARMBuildAttrs::v6S_M;
616 else if (Subtarget->hasV6Ops())
617 return ARMBuildAttrs::v6;
618 else if (Subtarget->hasV5TEOps())
619 return ARMBuildAttrs::v5TE;
620 else if (Subtarget->hasV5TOps())
621 return ARMBuildAttrs::v5T;
622 else if (Subtarget->hasV4TOps())
623 return ARMBuildAttrs::v4T;
624 else
625 return ARMBuildAttrs::v4;
626}
627
Jason W Kimbff84d42010-10-06 22:36:46 +0000628void ARMAsmPrinter::emitAttributes() {
Rafael Espindola4a1a3602014-01-14 01:21:46 +0000629 MCTargetStreamer &TS = *OutStreamer.getTargetStreamer();
Logan Chien8cbb80d2013-10-28 17:51:12 +0000630 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
Jim Grosbach25cd3bf2010-10-06 22:46:47 +0000631
Logan Chien8cbb80d2013-10-28 17:51:12 +0000632 ATS.switchVendor("aeabi");
Rafael Espindola0ed15432010-10-25 17:50:35 +0000633
Jason W Kimbff84d42010-10-06 22:36:46 +0000634 std::string CPUString = Subtarget->getCPUString();
Jason W Kim85b0af12011-02-07 00:49:53 +0000635
Ana Pazos93a07c22013-12-06 22:48:17 +0000636 // FIXME: remove krait check when GNU tools support krait cpu
637 if (CPUString != "generic" && CPUString != "krait")
Logan Chien8cbb80d2013-10-28 17:51:12 +0000638 ATS.emitTextAttribute(ARMBuildAttrs::CPU_name, CPUString);
Amara Emerson5035ee02013-10-07 16:55:23 +0000639
Logan Chien8cbb80d2013-10-28 17:51:12 +0000640 ATS.emitAttribute(ARMBuildAttrs::CPU_arch,
641 getArchForCPU(CPUString, Subtarget));
Amara Emerson5035ee02013-10-07 16:55:23 +0000642
Artyom Skrobov4d91d942014-01-10 16:42:55 +0000643 // Tag_CPU_arch_profile must have the default value of 0 when "Architecture
644 // profile is not applicable (e.g. pre v7, or cross-profile code)".
645 if (Subtarget->hasV7Ops()) {
646 if (Subtarget->isAClass()) {
647 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
648 ARMBuildAttrs::ApplicationProfile);
649 } else if (Subtarget->isRClass()) {
650 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
651 ARMBuildAttrs::RealTimeProfile);
652 } else if (Subtarget->isMClass()) {
653 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
654 ARMBuildAttrs::MicroControllerProfile);
655 }
Amara Emerson5035ee02013-10-07 16:55:23 +0000656 }
Jason W Kim85b0af12011-02-07 00:49:53 +0000657
Logan Chien8cbb80d2013-10-28 17:51:12 +0000658 ATS.emitAttribute(ARMBuildAttrs::ARM_ISA_use, Subtarget->hasARMOps() ?
659 ARMBuildAttrs::Allowed : ARMBuildAttrs::Not_Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000660 if (Subtarget->isThumb1Only()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000661 ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use,
662 ARMBuildAttrs::Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000663 } else if (Subtarget->hasThumb2()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000664 ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use,
665 ARMBuildAttrs::AllowThumb32);
Amara Emerson5035ee02013-10-07 16:55:23 +0000666 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000667
Logan Chien8cbb80d2013-10-28 17:51:12 +0000668 if (Subtarget->hasNEON()) {
Renato Golinec0fc7d2011-02-28 22:04:27 +0000669 /* NEON is not exactly a VFP architecture, but GAS emit one of
Joey Gouly3c0e5562013-09-13 11:51:52 +0000670 * neon/neon-fp-armv8/neon-vfpv4/vfpv3/vfpv2 for .fpu parameters */
Amara Emerson5035ee02013-10-07 16:55:23 +0000671 if (Subtarget->hasFPARMv8()) {
672 if (Subtarget->hasCrypto())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000673 ATS.emitFPU(ARM::CRYPTO_NEON_FP_ARMV8);
Amara Emerson5035ee02013-10-07 16:55:23 +0000674 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000675 ATS.emitFPU(ARM::NEON_FP_ARMV8);
Amara Emerson5035ee02013-10-07 16:55:23 +0000676 }
Joey Gouly3c0e5562013-09-13 11:51:52 +0000677 else if (Subtarget->hasVFP4())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000678 ATS.emitFPU(ARM::NEON_VFPV4);
Anton Korobeynikov5482b9f2012-01-22 12:07:33 +0000679 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000680 ATS.emitFPU(ARM::NEON);
681 // Emit Tag_Advanced_SIMD_arch for ARMv8 architecture
Joey Goulyb1b0dd82013-06-27 11:49:26 +0000682 if (Subtarget->hasV8Ops())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000683 ATS.emitAttribute(ARMBuildAttrs::Advanced_SIMD_arch,
684 ARMBuildAttrs::AllowNeonARMv8);
685 } else {
686 if (Subtarget->hasFPARMv8())
687 ATS.emitFPU(ARM::FP_ARMV8);
688 else if (Subtarget->hasVFP4())
689 ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV4_D16 : ARM::VFPV4);
690 else if (Subtarget->hasVFP3())
691 ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV3_D16 : ARM::VFPV3);
692 else if (Subtarget->hasVFP2())
693 ATS.emitFPU(ARM::VFPV2);
Renato Golinec0fc7d2011-02-28 22:04:27 +0000694 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000695
696 // Signal various FP modes.
Amara Emersonac695082013-10-11 16:03:43 +0000697 if (!TM.Options.UnsafeFPMath) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000698 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_denormal, ARMBuildAttrs::Allowed);
699 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_exceptions,
700 ARMBuildAttrs::Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000701 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000702
Amara Emersonac695082013-10-11 16:03:43 +0000703 if (TM.Options.NoInfsFPMath && TM.Options.NoNaNsFPMath)
Logan Chien8cbb80d2013-10-28 17:51:12 +0000704 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model,
705 ARMBuildAttrs::Allowed);
Amara Emersonac695082013-10-11 16:03:43 +0000706 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000707 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model,
708 ARMBuildAttrs::AllowIEE754);
Amara Emersonac695082013-10-11 16:03:43 +0000709
Saleem Abdulrasool278a9f42014-01-19 08:25:27 +0000710 // FIXME: add more flags to ARMBuildAttributes.h
Jason W Kimbff84d42010-10-06 22:36:46 +0000711 // 8-bytes alignment stuff.
Saleem Abdulrasool196c3212014-01-19 08:25:35 +0000712 ATS.emitAttribute(ARMBuildAttrs::ABI_align_needed, 1);
713 ATS.emitAttribute(ARMBuildAttrs::ABI_align_preserved, 1);
Jason W Kimbff84d42010-10-06 22:36:46 +0000714
Bradley Smithc848beb2013-11-01 11:21:16 +0000715 // ABI_HardFP_use attribute to indicate single precision FP.
716 if (Subtarget->isFPOnlySP())
717 ATS.emitAttribute(ARMBuildAttrs::ABI_HardFP_use,
718 ARMBuildAttrs::HardFPSinglePrecision);
719
Jason W Kimbff84d42010-10-06 22:36:46 +0000720 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
Bradley Smithc848beb2013-11-01 11:21:16 +0000721 if (Subtarget->isAAPCS_ABI() && TM.Options.FloatABIType == FloatABI::Hard)
722 ATS.emitAttribute(ARMBuildAttrs::ABI_VFP_args, ARMBuildAttrs::HardFPAAPCS);
723
Jason W Kimbff84d42010-10-06 22:36:46 +0000724 // FIXME: Should we signal R9 usage?
Rafael Espindola0ed15432010-10-25 17:50:35 +0000725
Bradley Smith9aa8ac92013-11-12 10:38:05 +0000726 if (Subtarget->hasFP16())
727 ATS.emitAttribute(ARMBuildAttrs::FP_HP_extension, ARMBuildAttrs::AllowHPFP);
728
Bradley Smith25219752013-11-01 13:27:35 +0000729 if (Subtarget->hasMPExtension())
730 ATS.emitAttribute(ARMBuildAttrs::MPextension_use, ARMBuildAttrs::AllowMP);
731
Artyom Skrobov10e76a42014-01-20 10:18:42 +0000732 // Hardware divide in ARM mode is part of base arch, starting from ARMv8.
733 // If only Thumb hwdiv is present, it must also be in base arch (ARMv7-R/M).
734 // It is not possible to produce DisallowDIV: if hwdiv is present in the base
735 // arch, supplying -hwdiv downgrades the effective arch, via ClearImpliedBits.
736 // AllowDIVExt is only emitted if hwdiv isn't available in the base arch;
737 // otherwise, the default value (AllowDIVIfExists) applies.
738 if (Subtarget->hasDivideInARMMode() && !Subtarget->hasV8Ops())
739 ATS.emitAttribute(ARMBuildAttrs::DIV_use, ARMBuildAttrs::AllowDIVExt);
Rafael Espindola0ed15432010-10-25 17:50:35 +0000740
Bradley Smith25219752013-11-01 13:27:35 +0000741 if (Subtarget->hasTrustZone() && Subtarget->hasVirtualization())
742 ATS.emitAttribute(ARMBuildAttrs::Virtualization_use,
743 ARMBuildAttrs::AllowTZVirtualization);
744 else if (Subtarget->hasTrustZone())
745 ATS.emitAttribute(ARMBuildAttrs::Virtualization_use,
746 ARMBuildAttrs::AllowTZ);
747 else if (Subtarget->hasVirtualization())
748 ATS.emitAttribute(ARMBuildAttrs::Virtualization_use,
749 ARMBuildAttrs::AllowVirtualization);
750
Logan Chien8cbb80d2013-10-28 17:51:12 +0000751 ATS.finishAttributeSection();
Jason W Kimbff84d42010-10-06 22:36:46 +0000752}
753
Jason W Kim109ff292010-10-11 23:01:44 +0000754void ARMAsmPrinter::emitARMAttributeSection() {
755 // <format-version>
756 // [ <section-length> "vendor-name"
757 // [ <file-tag> <size> <attribute>*
758 // | <section-tag> <size> <section-number>* 0 <attribute>*
759 // | <symbol-tag> <size> <symbol-number>* 0 <attribute>*
760 // ]+
761 // ]*
762
763 if (OutStreamer.hasRawTextSupport())
764 return;
765
766 const ARMElfTargetObjectFile &TLOFELF =
767 static_cast<const ARMElfTargetObjectFile &>
768 (getObjFileLowering());
769
770 OutStreamer.SwitchSection(TLOFELF.getAttributesSection());
Jason W Kim109ff292010-10-11 23:01:44 +0000771
Rafael Espindola0ed15432010-10-25 17:50:35 +0000772 // Format version
773 OutStreamer.EmitIntValue(0x41, 1);
Jason W Kim109ff292010-10-11 23:01:44 +0000774}
775
Jason W Kimbff84d42010-10-06 22:36:46 +0000776//===----------------------------------------------------------------------===//
Chris Lattner71eb0772009-10-19 20:20:46 +0000777
Jim Grosbachaf5d6352010-09-18 00:05:05 +0000778static MCSymbol *getPICLabel(const char *Prefix, unsigned FunctionNumber,
779 unsigned LabelId, MCContext &Ctx) {
780
781 MCSymbol *Label = Ctx.GetOrCreateSymbol(Twine(Prefix)
782 + "PC" + Twine(FunctionNumber) + "_" + Twine(LabelId));
783 return Label;
784}
785
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000786static MCSymbolRefExpr::VariantKind
787getModifierVariantKind(ARMCP::ARMCPModifier Modifier) {
788 switch (Modifier) {
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000789 case ARMCP::no_modifier: return MCSymbolRefExpr::VK_None;
David Peixotto8ad70b32013-12-04 22:43:20 +0000790 case ARMCP::TLSGD: return MCSymbolRefExpr::VK_TLSGD;
791 case ARMCP::TPOFF: return MCSymbolRefExpr::VK_TPOFF;
792 case ARMCP::GOTTPOFF: return MCSymbolRefExpr::VK_GOTTPOFF;
793 case ARMCP::GOT: return MCSymbolRefExpr::VK_GOT;
794 case ARMCP::GOTOFF: return MCSymbolRefExpr::VK_GOTOFF;
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000795 }
David Blaikie46a9f012012-01-20 21:51:11 +0000796 llvm_unreachable("Invalid ARMCPModifier!");
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000797}
798
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000799MCSymbol *ARMAsmPrinter::GetARMGVSymbol(const GlobalValue *GV,
800 unsigned char TargetFlags) {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000801 bool isIndirect = Subtarget->isTargetMachO() &&
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000802 (TargetFlags & ARMII::MO_NONLAZY) &&
Evan Chengdfce83c2011-01-17 08:03:18 +0000803 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
804 if (!isIndirect)
Rafael Espindola79858aa2013-10-29 17:07:16 +0000805 return getSymbol(GV);
Evan Chengdfce83c2011-01-17 08:03:18 +0000806
807 // FIXME: Remove this when Darwin transition to @GOT like syntax.
Rafael Espindolaf4e6b292013-12-02 16:25:47 +0000808 MCSymbol *MCSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
Evan Chengdfce83c2011-01-17 08:03:18 +0000809 MachineModuleInfoMachO &MMIMachO =
810 MMI->getObjFileInfo<MachineModuleInfoMachO>();
811 MachineModuleInfoImpl::StubValueTy &StubSym =
812 GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(MCSym) :
813 MMIMachO.getGVStubEntry(MCSym);
814 if (StubSym.getPointer() == 0)
815 StubSym = MachineModuleInfoImpl::
Rafael Espindola79858aa2013-10-29 17:07:16 +0000816 StubValueTy(getSymbol(GV), !GV->hasInternalLinkage());
Evan Chengdfce83c2011-01-17 08:03:18 +0000817 return MCSym;
818}
819
Jim Grosbach38f8e762010-11-09 18:45:04 +0000820void ARMAsmPrinter::
821EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
Rafael Espindola58873562014-01-03 19:21:54 +0000822 const DataLayout *DL = TM.getDataLayout();
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000823 int Size = TM.getDataLayout()->getTypeAllocSize(MCPV->getType());
Jim Grosbach38f8e762010-11-09 18:45:04 +0000824
825 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000826
Jim Grosbachca21cd72010-11-10 17:59:10 +0000827 MCSymbol *MCSym;
Jim Grosbach38f8e762010-11-09 18:45:04 +0000828 if (ACPV->isLSDA()) {
Jim Grosbachca21cd72010-11-10 17:59:10 +0000829 SmallString<128> Str;
830 raw_svector_ostream OS(Str);
Rafael Espindola58873562014-01-03 19:21:54 +0000831 OS << DL->getPrivateGlobalPrefix() << "_LSDA_" << getFunctionNumber();
Jim Grosbachca21cd72010-11-10 17:59:10 +0000832 MCSym = OutContext.GetOrCreateSymbol(OS.str());
Jim Grosbach38f8e762010-11-09 18:45:04 +0000833 } else if (ACPV->isBlockAddress()) {
Bill Wendling7753d662011-10-01 08:00:54 +0000834 const BlockAddress *BA =
835 cast<ARMConstantPoolConstant>(ACPV)->getBlockAddress();
836 MCSym = GetBlockAddressSymbol(BA);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000837 } else if (ACPV->isGlobalValue()) {
Bill Wendling7753d662011-10-01 08:00:54 +0000838 const GlobalValue *GV = cast<ARMConstantPoolConstant>(ACPV)->getGV();
Tim Northoverdb962e2c2013-11-25 16:24:52 +0000839
840 // On Darwin, const-pool entries may get the "FOO$non_lazy_ptr" mangling, so
841 // flag the global as MO_NONLAZY.
Tim Northoverd6a729b2014-01-06 14:28:05 +0000842 unsigned char TF = Subtarget->isTargetMachO() ? ARMII::MO_NONLAZY : 0;
Tim Northoverd34094e2013-11-25 17:04:35 +0000843 MCSym = GetARMGVSymbol(GV, TF);
Bill Wendling69bc3de2011-09-29 23:50:42 +0000844 } else if (ACPV->isMachineBasicBlock()) {
Bill Wendling4a4772f2011-10-01 09:30:42 +0000845 const MachineBasicBlock *MBB = cast<ARMConstantPoolMBB>(ACPV)->getMBB();
Bill Wendling69bc3de2011-09-29 23:50:42 +0000846 MCSym = MBB->getSymbol();
Jim Grosbach38f8e762010-11-09 18:45:04 +0000847 } else {
848 assert(ACPV->isExtSymbol() && "unrecognized constant pool value");
Bill Wendlingc214cb02011-10-01 08:58:29 +0000849 const char *Sym = cast<ARMConstantPoolSymbol>(ACPV)->getSymbol();
850 MCSym = GetExternalSymbolSymbol(Sym);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000851 }
852
853 // Create an MCSymbol for the reference.
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000854 const MCExpr *Expr =
855 MCSymbolRefExpr::Create(MCSym, getModifierVariantKind(ACPV->getModifier()),
856 OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000857
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000858 if (ACPV->getPCAdjustment()) {
Rafael Espindola58873562014-01-03 19:21:54 +0000859 MCSymbol *PCLabel = getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000860 getFunctionNumber(),
861 ACPV->getLabelId(),
862 OutContext);
863 const MCExpr *PCRelExpr = MCSymbolRefExpr::Create(PCLabel, OutContext);
864 PCRelExpr =
865 MCBinaryExpr::CreateAdd(PCRelExpr,
866 MCConstantExpr::Create(ACPV->getPCAdjustment(),
867 OutContext),
868 OutContext);
869 if (ACPV->mustAddCurrentAddress()) {
870 // We want "(<expr> - .)", but MC doesn't have a concept of the '.'
871 // label, so just emit a local label end reference that instead.
872 MCSymbol *DotSym = OutContext.CreateTempSymbol();
873 OutStreamer.EmitLabel(DotSym);
874 const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext);
875 PCRelExpr = MCBinaryExpr::CreateSub(PCRelExpr, DotExpr, OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000876 }
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000877 Expr = MCBinaryExpr::CreateSub(Expr, PCRelExpr, OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000878 }
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000879 OutStreamer.EmitValue(Expr, Size);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000880}
881
Jim Grosbach284eebc2010-09-22 17:39:48 +0000882void ARMAsmPrinter::EmitJumpTable(const MachineInstr *MI) {
883 unsigned Opcode = MI->getOpcode();
884 int OpNum = 1;
885 if (Opcode == ARM::BR_JTadd)
886 OpNum = 2;
887 else if (Opcode == ARM::BR_JTm)
888 OpNum = 3;
889
890 const MachineOperand &MO1 = MI->getOperand(OpNum);
891 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
892 unsigned JTI = MO1.getIndex();
893
894 // Emit a label for the jump table.
895 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
896 OutStreamer.EmitLabel(JTISymbol);
897
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000898 // Mark the jump table as data-in-code.
899 OutStreamer.EmitDataRegion(MCDR_DataRegionJT32);
900
Jim Grosbach284eebc2010-09-22 17:39:48 +0000901 // Emit each entry of the table.
902 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
903 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
904 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
905
906 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
907 MachineBasicBlock *MBB = JTBBs[i];
908 // Construct an MCExpr for the entry. We want a value of the form:
909 // (BasicBlockAddr - TableBeginAddr)
910 //
911 // For example, a table with entries jumping to basic blocks BB0 and BB1
912 // would look like:
913 // LJTI_0_0:
914 // .word (LBB0 - LJTI_0_0)
915 // .word (LBB1 - LJTI_0_0)
916 const MCExpr *Expr = MCSymbolRefExpr::Create(MBB->getSymbol(), OutContext);
917
918 if (TM.getRelocationModel() == Reloc::PIC_)
919 Expr = MCBinaryExpr::CreateSub(Expr, MCSymbolRefExpr::Create(JTISymbol,
920 OutContext),
921 OutContext);
Jim Grosbache1995f22011-08-31 22:23:09 +0000922 // If we're generating a table of Thumb addresses in static relocation
923 // model, we need to add one to keep interworking correctly.
924 else if (AFI->isThumbFunction())
925 Expr = MCBinaryExpr::CreateAdd(Expr, MCConstantExpr::Create(1,OutContext),
926 OutContext);
Jim Grosbach284eebc2010-09-22 17:39:48 +0000927 OutStreamer.EmitValue(Expr, 4);
928 }
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000929 // Mark the end of jump table data-in-code region.
930 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Jim Grosbach284eebc2010-09-22 17:39:48 +0000931}
932
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000933void ARMAsmPrinter::EmitJump2Table(const MachineInstr *MI) {
934 unsigned Opcode = MI->getOpcode();
935 int OpNum = (Opcode == ARM::t2BR_JT) ? 2 : 1;
936 const MachineOperand &MO1 = MI->getOperand(OpNum);
937 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
938 unsigned JTI = MO1.getIndex();
939
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000940 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
941 OutStreamer.EmitLabel(JTISymbol);
942
943 // Emit each entry of the table.
944 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
945 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
946 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Jim Grosbach1573b292010-09-22 17:15:35 +0000947 unsigned OffsetWidth = 4;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000948 if (MI->getOpcode() == ARM::t2TBB_JT) {
Jim Grosbach1573b292010-09-22 17:15:35 +0000949 OffsetWidth = 1;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000950 // Mark the jump table as data-in-code.
951 OutStreamer.EmitDataRegion(MCDR_DataRegionJT8);
952 } else if (MI->getOpcode() == ARM::t2TBH_JT) {
Jim Grosbach1573b292010-09-22 17:15:35 +0000953 OffsetWidth = 2;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000954 // Mark the jump table as data-in-code.
955 OutStreamer.EmitDataRegion(MCDR_DataRegionJT16);
956 }
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000957
958 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
959 MachineBasicBlock *MBB = JTBBs[i];
Jim Grosbach1573b292010-09-22 17:15:35 +0000960 const MCExpr *MBBSymbolExpr = MCSymbolRefExpr::Create(MBB->getSymbol(),
961 OutContext);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000962 // If this isn't a TBB or TBH, the entries are direct branch instructions.
Jim Grosbach1573b292010-09-22 17:15:35 +0000963 if (OffsetWidth == 4) {
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000964 OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2B)
Benjamin Kramer4e629f72012-11-26 13:34:22 +0000965 .addExpr(MBBSymbolExpr)
966 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000967 .addReg(0));
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000968 continue;
969 }
970 // Otherwise it's an offset from the dispatch instruction. Construct an
Jim Grosbach1573b292010-09-22 17:15:35 +0000971 // MCExpr for the entry. We want a value of the form:
972 // (BasicBlockAddr - TableBeginAddr) / 2
973 //
974 // For example, a TBB table with entries jumping to basic blocks BB0 and BB1
975 // would look like:
976 // LJTI_0_0:
977 // .byte (LBB0 - LJTI_0_0) / 2
978 // .byte (LBB1 - LJTI_0_0) / 2
979 const MCExpr *Expr =
980 MCBinaryExpr::CreateSub(MBBSymbolExpr,
981 MCSymbolRefExpr::Create(JTISymbol, OutContext),
982 OutContext);
983 Expr = MCBinaryExpr::CreateDiv(Expr, MCConstantExpr::Create(2, OutContext),
984 OutContext);
985 OutStreamer.EmitValue(Expr, OffsetWidth);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000986 }
Jim Grosbach2597f832012-05-21 23:34:42 +0000987 // Mark the end of jump table data-in-code region. 32-bit offsets use
988 // actual branch instructions here, so we don't mark those as a data-region
989 // at all.
990 if (OffsetWidth != 4)
991 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000992}
993
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000994void ARMAsmPrinter::EmitUnwindingInstruction(const MachineInstr *MI) {
995 assert(MI->getFlag(MachineInstr::FrameSetup) &&
996 "Only instruction which are involved into frame setup code are allowed");
997
Rafael Espindola4a1a3602014-01-14 01:21:46 +0000998 MCTargetStreamer &TS = *OutStreamer.getTargetStreamer();
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000999 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001000 const MachineFunction &MF = *MI->getParent()->getParent();
1001 const TargetRegisterInfo *RegInfo = MF.getTarget().getRegisterInfo();
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001002 const ARMFunctionInfo &AFI = *MF.getInfo<ARMFunctionInfo>();
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001003
1004 unsigned FramePtr = RegInfo->getFrameRegister(MF);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001005 unsigned Opc = MI->getOpcode();
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001006 unsigned SrcReg, DstReg;
1007
Anton Korobeynikova8d177b2011-03-05 18:43:50 +00001008 if (Opc == ARM::tPUSH || Opc == ARM::tLDRpci) {
1009 // Two special cases:
1010 // 1) tPUSH does not have src/dst regs.
1011 // 2) for Thumb1 code we sometimes materialize the constant via constpool
1012 // load. Yes, this is pretty fragile, but for now I don't see better
1013 // way... :(
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001014 SrcReg = DstReg = ARM::SP;
1015 } else {
Anton Korobeynikova8d177b2011-03-05 18:43:50 +00001016 SrcReg = MI->getOperand(1).getReg();
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001017 DstReg = MI->getOperand(0).getReg();
1018 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001019
1020 // Try to figure out the unwinding opcode out of src / dst regs.
Evan Cheng7f8e5632011-12-07 07:15:52 +00001021 if (MI->mayStore()) {
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001022 // Register saves.
1023 assert(DstReg == ARM::SP &&
1024 "Only stack pointer as a destination reg is supported");
1025
1026 SmallVector<unsigned, 4> RegList;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001027 // Skip src & dst reg, and pred ops.
1028 unsigned StartOp = 2 + 2;
1029 // Use all the operands.
1030 unsigned NumOffset = 0;
1031
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001032 switch (Opc) {
1033 default:
1034 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001035 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001036 case ARM::tPUSH:
1037 // Special case here: no src & dst reg, but two extra imp ops.
1038 StartOp = 2; NumOffset = 2;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001039 case ARM::STMDB_UPD:
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001040 case ARM::t2STMDB_UPD:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001041 case ARM::VSTMDDB_UPD:
1042 assert(SrcReg == ARM::SP &&
1043 "Only stack pointer as a source reg is supported");
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001044 for (unsigned i = StartOp, NumOps = MI->getNumOperands() - NumOffset;
Anton Korobeynikovef731ed2012-08-04 13:25:58 +00001045 i != NumOps; ++i) {
1046 const MachineOperand &MO = MI->getOperand(i);
1047 // Actually, there should never be any impdef stuff here. Skip it
1048 // temporary to workaround PR11902.
1049 if (MO.isImplicit())
1050 continue;
1051 RegList.push_back(MO.getReg());
1052 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001053 break;
Owen Anderson2aedba62011-07-26 20:54:26 +00001054 case ARM::STR_PRE_IMM:
1055 case ARM::STR_PRE_REG:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001056 case ARM::t2STR_PRE:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001057 assert(MI->getOperand(2).getReg() == ARM::SP &&
1058 "Only stack pointer as a source reg is supported");
1059 RegList.push_back(SrcReg);
1060 break;
1061 }
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001062 ATS.emitRegSave(RegList, Opc == ARM::VSTMDDB_UPD);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001063 } else {
1064 // Changes of stack / frame pointer.
1065 if (SrcReg == ARM::SP) {
1066 int64_t Offset = 0;
1067 switch (Opc) {
1068 default:
1069 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001070 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001071 case ARM::MOVr:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001072 case ARM::tMOVr:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001073 Offset = 0;
1074 break;
1075 case ARM::ADDri:
1076 Offset = -MI->getOperand(2).getImm();
1077 break;
1078 case ARM::SUBri:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001079 case ARM::t2SUBri:
Jim Grosbacha8a80672011-06-29 23:25:04 +00001080 Offset = MI->getOperand(2).getImm();
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001081 break;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001082 case ARM::tSUBspi:
Jim Grosbacha8a80672011-06-29 23:25:04 +00001083 Offset = MI->getOperand(2).getImm()*4;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001084 break;
1085 case ARM::tADDspi:
1086 case ARM::tADDrSPi:
1087 Offset = -MI->getOperand(2).getImm()*4;
1088 break;
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001089 case ARM::tLDRpci: {
1090 // Grab the constpool index and check, whether it corresponds to
1091 // original or cloned constpool entry.
1092 unsigned CPI = MI->getOperand(1).getIndex();
1093 const MachineConstantPool *MCP = MF.getConstantPool();
1094 if (CPI >= MCP->getConstants().size())
1095 CPI = AFI.getOriginalCPIdx(CPI);
1096 assert(CPI != -1U && "Invalid constpool index");
1097
1098 // Derive the actual offset.
1099 const MachineConstantPoolEntry &CPE = MCP->getConstants()[CPI];
1100 assert(!CPE.isMachineConstantPoolEntry() && "Invalid constpool entry");
1101 // FIXME: Check for user, it should be "add" instruction!
1102 Offset = -cast<ConstantInt>(CPE.Val.ConstVal)->getSExtValue();
Anton Korobeynikova8d177b2011-03-05 18:43:50 +00001103 break;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001104 }
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001105 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001106
1107 if (DstReg == FramePtr && FramePtr != ARM::SP)
Anton Korobeynikov692f6332011-03-05 18:44:00 +00001108 // Set-up of the frame pointer. Positive values correspond to "add"
1109 // instruction.
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001110 ATS.emitSetFP(FramePtr, ARM::SP, -Offset);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001111 else if (DstReg == ARM::SP) {
Anton Korobeynikov692f6332011-03-05 18:44:00 +00001112 // Change of SP by an offset. Positive values correspond to "sub"
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001113 // instruction.
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001114 ATS.emitPad(Offset);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001115 } else {
1116 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001117 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001118 }
1119 } else if (DstReg == ARM::SP) {
1120 // FIXME: .movsp goes here
1121 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001122 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001123 }
1124 else {
1125 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001126 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001127 }
1128 }
1129}
1130
Chandler Carruthed975232012-01-24 00:30:17 +00001131extern cl::opt<bool> EnableARMEHABI;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001132
Jim Grosbach95dee402011-07-08 17:40:42 +00001133// Simple pseudo-instructions have their lowering (with expansion to real
1134// instructions) auto-generated.
1135#include "ARMGenMCPseudoLowering.inc"
1136
Jim Grosbach05eccf02010-09-29 15:23:40 +00001137void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Rafael Espindola58873562014-01-03 19:21:54 +00001138 const DataLayout *DL = TM.getDataLayout();
1139
Jim Grosbach4b63d2a2012-05-18 19:12:01 +00001140 // If we just ended a constant pool, mark it as such.
1141 if (InConstantPool && MI->getOpcode() != ARM::CONSTPOOL_ENTRY) {
1142 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
1143 InConstantPool = false;
1144 }
Owen Anderson0ca562e2011-10-04 23:26:17 +00001145
Jim Grosbach51b55422011-08-23 21:32:34 +00001146 // Emit unwinding stuff for frame-related instructions
Chandler Carruthed975232012-01-24 00:30:17 +00001147 if (EnableARMEHABI && MI->getFlag(MachineInstr::FrameSetup))
Jim Grosbach51b55422011-08-23 21:32:34 +00001148 EmitUnwindingInstruction(MI);
1149
Jim Grosbach95dee402011-07-08 17:40:42 +00001150 // Do any auto-generated pseudo lowerings.
1151 if (emitPseudoExpansionLowering(OutStreamer, MI))
1152 return;
1153
Andrew Trick924123a2011-09-21 02:20:46 +00001154 assert(!convertAddSubFlagsOpcode(MI->getOpcode()) &&
1155 "Pseudo flag setting opcode should be expanded early");
1156
Jim Grosbach95dee402011-07-08 17:40:42 +00001157 // Check for manual lowerings.
Evan Chengdfce83c2011-01-17 08:03:18 +00001158 unsigned Opc = MI->getOpcode();
1159 switch (Opc) {
Craig Toppere55c5562012-02-07 02:50:20 +00001160 case ARM::t2MOVi32imm: llvm_unreachable("Should be lowered by thumb2it pass");
David Blaikieb735b4d2013-06-16 20:34:27 +00001161 case ARM::DBG_VALUE: llvm_unreachable("Should be handled by generic printing");
Jim Grosbach8c1fabe2010-12-14 21:10:47 +00001162 case ARM::LEApcrel:
Jim Grosbach509dc2a2010-12-14 22:28:03 +00001163 case ARM::tLEApcrel:
Jim Grosbach8c1fabe2010-12-14 21:10:47 +00001164 case ARM::t2LEApcrel: {
Jim Grosbachce2bd8d2010-12-02 00:28:45 +00001165 // FIXME: Need to also handle globals and externals
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001166 MCSymbol *CPISymbol = GetCPISymbol(MI->getOperand(1).getIndex());
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001167 OutStreamer.EmitInstruction(MCInstBuilder(MI->getOpcode() ==
1168 ARM::t2LEApcrel ? ARM::t2ADR
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001169 : (MI->getOpcode() == ARM::tLEApcrel ? ARM::tADR
1170 : ARM::ADR))
1171 .addReg(MI->getOperand(0).getReg())
1172 .addExpr(MCSymbolRefExpr::Create(CPISymbol, OutContext))
1173 // Add predicate operands.
1174 .addImm(MI->getOperand(2).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001175 .addReg(MI->getOperand(3).getReg()));
Jim Grosbachce2bd8d2010-12-02 00:28:45 +00001176 return;
1177 }
Jim Grosbach509dc2a2010-12-14 22:28:03 +00001178 case ARM::LEApcrelJT:
1179 case ARM::tLEApcrelJT:
1180 case ARM::t2LEApcrelJT: {
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001181 MCSymbol *JTIPICSymbol =
1182 GetARMJTIPICJumpTableLabel2(MI->getOperand(1).getIndex(),
1183 MI->getOperand(2).getImm());
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001184 OutStreamer.EmitInstruction(MCInstBuilder(MI->getOpcode() ==
1185 ARM::t2LEApcrelJT ? ARM::t2ADR
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001186 : (MI->getOpcode() == ARM::tLEApcrelJT ? ARM::tADR
1187 : ARM::ADR))
1188 .addReg(MI->getOperand(0).getReg())
1189 .addExpr(MCSymbolRefExpr::Create(JTIPICSymbol, OutContext))
1190 // Add predicate operands.
1191 .addImm(MI->getOperand(3).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001192 .addReg(MI->getOperand(4).getReg()));
Jim Grosbachdc35e062010-12-01 19:47:31 +00001193 return;
1194 }
Jim Grosbach3f2096e2011-03-12 00:45:26 +00001195 // Darwin call instructions are just normal call instructions with different
1196 // clobber semantics (they clobber R9).
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001197 case ARM::BX_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001198 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001199 .addReg(ARM::LR)
1200 .addReg(ARM::PC)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001201 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001202 .addImm(ARMCC::AL)
1203 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001204 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001205 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001206
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001207 OutStreamer.EmitInstruction(MCInstBuilder(ARM::BX)
1208 .addReg(MI->getOperand(0).getReg()));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001209 return;
1210 }
Cameron Zwaricha946f472011-05-25 21:53:50 +00001211 case ARM::tBX_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001212 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001213 .addReg(ARM::LR)
1214 .addReg(ARM::PC)
Jim Grosbachb98ab912011-06-30 22:10:46 +00001215 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001216 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001217 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001218
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001219 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tBX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001220 .addReg(MI->getOperand(0).getReg())
Cameron Zwaricha946f472011-05-25 21:53:50 +00001221 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001222 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001223 .addReg(0));
Cameron Zwaricha946f472011-05-25 21:53:50 +00001224 return;
1225 }
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001226 case ARM::BMOVPCRX_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001227 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001228 .addReg(ARM::LR)
1229 .addReg(ARM::PC)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001230 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001231 .addImm(ARMCC::AL)
1232 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001233 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001234 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001235
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001236 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001237 .addReg(ARM::PC)
Benjamin Kramer2f545712013-03-15 17:27:39 +00001238 .addReg(MI->getOperand(0).getReg())
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001239 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001240 .addImm(ARMCC::AL)
1241 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001242 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001243 .addReg(0));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001244 return;
1245 }
Evan Cheng65f9d192012-02-28 18:51:51 +00001246 case ARM::BMOVPCB_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001247 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001248 .addReg(ARM::LR)
1249 .addReg(ARM::PC)
Evan Cheng65f9d192012-02-28 18:51:51 +00001250 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001251 .addImm(ARMCC::AL)
1252 .addReg(0)
Evan Cheng65f9d192012-02-28 18:51:51 +00001253 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001254 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001255
1256 const GlobalValue *GV = MI->getOperand(0).getGlobal();
Rafael Espindola79858aa2013-10-29 17:07:16 +00001257 MCSymbol *GVSym = getSymbol(GV);
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001258 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001259 OutStreamer.EmitInstruction(MCInstBuilder(ARM::Bcc)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001260 .addExpr(GVSymExpr)
Evan Cheng65f9d192012-02-28 18:51:51 +00001261 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001262 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001263 .addReg(0));
Evan Cheng65f9d192012-02-28 18:51:51 +00001264 return;
1265 }
Evan Cheng2f2435d2011-01-21 18:55:51 +00001266 case ARM::MOVi16_ga_pcrel:
1267 case ARM::t2MOVi16_ga_pcrel: {
Evan Chengdfce83c2011-01-17 08:03:18 +00001268 MCInst TmpInst;
Evan Cheng2f2435d2011-01-21 18:55:51 +00001269 TmpInst.setOpcode(Opc == ARM::MOVi16_ga_pcrel? ARM::MOVi16 : ARM::t2MOVi16);
Evan Chengdfce83c2011-01-17 08:03:18 +00001270 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1271
Evan Cheng2f2435d2011-01-21 18:55:51 +00001272 unsigned TF = MI->getOperand(1).getTargetFlags();
Evan Chengdfce83c2011-01-17 08:03:18 +00001273 const GlobalValue *GV = MI->getOperand(1).getGlobal();
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001274 MCSymbol *GVSym = GetARMGVSymbol(GV, TF);
Evan Chengdfce83c2011-01-17 08:03:18 +00001275 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001276
Rafael Espindola58873562014-01-03 19:21:54 +00001277 MCSymbol *LabelSym = getPICLabel(DL->getPrivateGlobalPrefix(),
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001278 getFunctionNumber(),
1279 MI->getOperand(2).getImm(), OutContext);
1280 const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext);
1281 unsigned PCAdj = (Opc == ARM::MOVi16_ga_pcrel) ? 8 : 4;
1282 const MCExpr *PCRelExpr =
1283 ARMMCExpr::CreateLower16(MCBinaryExpr::CreateSub(GVSymExpr,
1284 MCBinaryExpr::CreateAdd(LabelSymExpr,
Evan Cheng2f2435d2011-01-21 18:55:51 +00001285 MCConstantExpr::Create(PCAdj, OutContext),
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001286 OutContext), OutContext), OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001287 TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr));
Evan Cheng2f2435d2011-01-21 18:55:51 +00001288
Evan Chengdfce83c2011-01-17 08:03:18 +00001289 // Add predicate operands.
1290 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1291 TmpInst.addOperand(MCOperand::CreateReg(0));
1292 // Add 's' bit operand (always reg0 for this)
1293 TmpInst.addOperand(MCOperand::CreateReg(0));
1294 OutStreamer.EmitInstruction(TmpInst);
1295 return;
1296 }
Evan Cheng2f2435d2011-01-21 18:55:51 +00001297 case ARM::MOVTi16_ga_pcrel:
1298 case ARM::t2MOVTi16_ga_pcrel: {
Evan Chengdfce83c2011-01-17 08:03:18 +00001299 MCInst TmpInst;
Evan Cheng2f2435d2011-01-21 18:55:51 +00001300 TmpInst.setOpcode(Opc == ARM::MOVTi16_ga_pcrel
1301 ? ARM::MOVTi16 : ARM::t2MOVTi16);
Evan Chengdfce83c2011-01-17 08:03:18 +00001302 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1303 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1304
Evan Cheng2f2435d2011-01-21 18:55:51 +00001305 unsigned TF = MI->getOperand(2).getTargetFlags();
Evan Chengdfce83c2011-01-17 08:03:18 +00001306 const GlobalValue *GV = MI->getOperand(2).getGlobal();
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001307 MCSymbol *GVSym = GetARMGVSymbol(GV, TF);
Evan Chengdfce83c2011-01-17 08:03:18 +00001308 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001309
Rafael Espindola58873562014-01-03 19:21:54 +00001310 MCSymbol *LabelSym = getPICLabel(DL->getPrivateGlobalPrefix(),
Tim Northoverdb962e2c2013-11-25 16:24:52 +00001311 getFunctionNumber(),
1312 MI->getOperand(3).getImm(), OutContext);
1313 const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext);
1314 unsigned PCAdj = (Opc == ARM::MOVTi16_ga_pcrel) ? 8 : 4;
1315 const MCExpr *PCRelExpr =
Evan Cheng2f2435d2011-01-21 18:55:51 +00001316 ARMMCExpr::CreateUpper16(MCBinaryExpr::CreateSub(GVSymExpr,
1317 MCBinaryExpr::CreateAdd(LabelSymExpr,
1318 MCConstantExpr::Create(PCAdj, OutContext),
Evan Chengdfce83c2011-01-17 08:03:18 +00001319 OutContext), OutContext), OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001320 TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr));
Evan Chengdfce83c2011-01-17 08:03:18 +00001321 // Add predicate operands.
1322 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1323 TmpInst.addOperand(MCOperand::CreateReg(0));
1324 // Add 's' bit operand (always reg0 for this)
1325 TmpInst.addOperand(MCOperand::CreateReg(0));
1326 OutStreamer.EmitInstruction(TmpInst);
1327 return;
1328 }
Jim Grosbach3d979202010-09-17 23:41:53 +00001329 case ARM::tPICADD: {
1330 // This is a pseudo op for a label + instruction sequence, which looks like:
1331 // LPC0:
1332 // add r0, pc
1333 // This adds the address of LPC0 to r0.
1334
1335 // Emit the label.
Rafael Espindola58873562014-01-03 19:21:54 +00001336 OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001337 getFunctionNumber(), MI->getOperand(2).getImm(),
1338 OutContext));
Jim Grosbach3d979202010-09-17 23:41:53 +00001339
1340 // Form and emit the add.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001341 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tADDhirr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001342 .addReg(MI->getOperand(0).getReg())
1343 .addReg(MI->getOperand(0).getReg())
1344 .addReg(ARM::PC)
1345 // Add predicate operands.
1346 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001347 .addReg(0));
Jim Grosbach3d979202010-09-17 23:41:53 +00001348 return;
1349 }
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001350 case ARM::PICADD: {
Chris Lattneradd57492009-10-19 22:23:04 +00001351 // This is a pseudo op for a label + instruction sequence, which looks like:
1352 // LPC0:
1353 // add r0, pc, r0
1354 // This adds the address of LPC0 to r0.
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001355
Chris Lattneradd57492009-10-19 22:23:04 +00001356 // Emit the label.
Rafael Espindola58873562014-01-03 19:21:54 +00001357 OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001358 getFunctionNumber(), MI->getOperand(2).getImm(),
1359 OutContext));
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001360
Jim Grosbach7ae94222010-09-14 21:05:34 +00001361 // Form and emit the add.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001362 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDrr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001363 .addReg(MI->getOperand(0).getReg())
1364 .addReg(ARM::PC)
1365 .addReg(MI->getOperand(1).getReg())
1366 // Add predicate operands.
1367 .addImm(MI->getOperand(3).getImm())
1368 .addReg(MI->getOperand(4).getReg())
1369 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001370 .addReg(0));
Chris Lattneradd57492009-10-19 22:23:04 +00001371 return;
1372 }
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001373 case ARM::PICSTR:
1374 case ARM::PICSTRB:
1375 case ARM::PICSTRH:
1376 case ARM::PICLDR:
1377 case ARM::PICLDRB:
1378 case ARM::PICLDRH:
1379 case ARM::PICLDRSB:
1380 case ARM::PICLDRSH: {
Jim Grosbach218e22d2010-09-16 17:43:25 +00001381 // This is a pseudo op for a label + instruction sequence, which looks like:
1382 // LPC0:
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001383 // OP r0, [pc, r0]
Jim Grosbach218e22d2010-09-16 17:43:25 +00001384 // The LCP0 label is referenced by a constant pool entry in order to get
1385 // a PC-relative address at the ldr instruction.
1386
1387 // Emit the label.
Rafael Espindola58873562014-01-03 19:21:54 +00001388 OutStreamer.EmitLabel(getPICLabel(DL->getPrivateGlobalPrefix(),
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001389 getFunctionNumber(), MI->getOperand(2).getImm(),
1390 OutContext));
Jim Grosbach218e22d2010-09-16 17:43:25 +00001391
1392 // Form and emit the load
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001393 unsigned Opcode;
1394 switch (MI->getOpcode()) {
1395 default:
1396 llvm_unreachable("Unexpected opcode!");
Jim Grosbach338de3e2010-10-27 23:12:14 +00001397 case ARM::PICSTR: Opcode = ARM::STRrs; break;
1398 case ARM::PICSTRB: Opcode = ARM::STRBrs; break;
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001399 case ARM::PICSTRH: Opcode = ARM::STRH; break;
Jim Grosbach1e4d9a12010-10-26 22:37:02 +00001400 case ARM::PICLDR: Opcode = ARM::LDRrs; break;
Jim Grosbach5a7c7152010-10-27 00:19:44 +00001401 case ARM::PICLDRB: Opcode = ARM::LDRBrs; break;
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001402 case ARM::PICLDRH: Opcode = ARM::LDRH; break;
1403 case ARM::PICLDRSB: Opcode = ARM::LDRSB; break;
1404 case ARM::PICLDRSH: Opcode = ARM::LDRSH; break;
1405 }
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001406 OutStreamer.EmitInstruction(MCInstBuilder(Opcode)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001407 .addReg(MI->getOperand(0).getReg())
1408 .addReg(ARM::PC)
1409 .addReg(MI->getOperand(1).getReg())
1410 .addImm(0)
1411 // Add predicate operands.
1412 .addImm(MI->getOperand(3).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001413 .addReg(MI->getOperand(4).getReg()));
Jim Grosbach218e22d2010-09-16 17:43:25 +00001414
1415 return;
1416 }
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001417 case ARM::CONSTPOOL_ENTRY: {
Chris Lattner186c6b02009-10-19 22:33:05 +00001418 /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool
1419 /// in the function. The first operand is the ID# for this instruction, the
1420 /// second is the index into the MachineConstantPool that this is, the third
1421 /// is the size in bytes of this constant pool entry.
Jakob Stoklund Olesen2e05db22011-12-06 01:43:02 +00001422 /// The required alignment is specified on the basic block holding this MI.
Chris Lattner186c6b02009-10-19 22:33:05 +00001423 unsigned LabelId = (unsigned)MI->getOperand(0).getImm();
1424 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex();
1425
Jim Grosbach4b63d2a2012-05-18 19:12:01 +00001426 // If this is the first entry of the pool, mark it.
1427 if (!InConstantPool) {
1428 OutStreamer.EmitDataRegion(MCDR_DataRegion);
1429 InConstantPool = true;
1430 }
1431
Chris Lattnerc55ea3f2010-01-23 07:00:21 +00001432 OutStreamer.EmitLabel(GetCPISymbol(LabelId));
Chris Lattner186c6b02009-10-19 22:33:05 +00001433
1434 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx];
1435 if (MCPE.isMachineConstantPoolEntry())
1436 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
1437 else
1438 EmitGlobalConstant(MCPE.Val.ConstVal);
Chris Lattner186c6b02009-10-19 22:33:05 +00001439 return;
1440 }
Jim Grosbachd64f9b82010-09-21 23:28:16 +00001441 case ARM::t2BR_JT: {
1442 // Lower and emit the instruction itself, then the jump table following it.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001443 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001444 .addReg(ARM::PC)
1445 .addReg(MI->getOperand(0).getReg())
1446 // Add predicate operands.
1447 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001448 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001449
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001450 // Output the data for the jump table itself
1451 EmitJump2Table(MI);
1452 return;
1453 }
1454 case ARM::t2TBB_JT: {
1455 // Lower and emit the instruction itself, then the jump table following it.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001456 OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2TBB)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001457 .addReg(ARM::PC)
1458 .addReg(MI->getOperand(0).getReg())
1459 // Add predicate operands.
1460 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001461 .addReg(0));
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001462
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001463 // Output the data for the jump table itself
1464 EmitJump2Table(MI);
1465 // Make sure the next instruction is 2-byte aligned.
1466 EmitAlignment(1);
1467 return;
1468 }
1469 case ARM::t2TBH_JT: {
1470 // Lower and emit the instruction itself, then the jump table following it.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001471 OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2TBH)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001472 .addReg(ARM::PC)
1473 .addReg(MI->getOperand(0).getReg())
1474 // Add predicate operands.
1475 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001476 .addReg(0));
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001477
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001478 // Output the data for the jump table itself
Jim Grosbachd64f9b82010-09-21 23:28:16 +00001479 EmitJump2Table(MI);
1480 return;
1481 }
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001482 case ARM::tBR_JTr:
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001483 case ARM::BR_JTr: {
1484 // Lower and emit the instruction itself, then the jump table following it.
1485 // mov pc, target
1486 MCInst TmpInst;
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001487 unsigned Opc = MI->getOpcode() == ARM::BR_JTr ?
Jim Grosbache9cc9012011-06-30 23:38:17 +00001488 ARM::MOVr : ARM::tMOVr;
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001489 TmpInst.setOpcode(Opc);
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001490 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1491 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1492 // Add predicate operands.
1493 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1494 TmpInst.addOperand(MCOperand::CreateReg(0));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001495 // Add 's' bit operand (always reg0 for this)
1496 if (Opc == ARM::MOVr)
1497 TmpInst.addOperand(MCOperand::CreateReg(0));
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001498 OutStreamer.EmitInstruction(TmpInst);
1499
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001500 // Make sure the Thumb jump table is 4-byte aligned.
Jim Grosbache9cc9012011-06-30 23:38:17 +00001501 if (Opc == ARM::tMOVr)
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001502 EmitAlignment(2);
1503
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001504 // Output the data for the jump table itself
1505 EmitJumpTable(MI);
1506 return;
1507 }
1508 case ARM::BR_JTm: {
1509 // Lower and emit the instruction itself, then the jump table following it.
1510 // ldr pc, target
1511 MCInst TmpInst;
1512 if (MI->getOperand(1).getReg() == 0) {
1513 // literal offset
1514 TmpInst.setOpcode(ARM::LDRi12);
1515 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1516 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1517 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1518 } else {
1519 TmpInst.setOpcode(ARM::LDRrs);
1520 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1521 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1522 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1523 TmpInst.addOperand(MCOperand::CreateImm(0));
1524 }
1525 // Add predicate operands.
1526 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1527 TmpInst.addOperand(MCOperand::CreateReg(0));
1528 OutStreamer.EmitInstruction(TmpInst);
1529
1530 // Output the data for the jump table itself
Jim Grosbach284eebc2010-09-22 17:39:48 +00001531 EmitJumpTable(MI);
1532 return;
1533 }
Jim Grosbach08c562b2010-11-17 21:05:55 +00001534 case ARM::BR_JTadd: {
1535 // Lower and emit the instruction itself, then the jump table following it.
1536 // add pc, target, idx
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001537 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDrr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001538 .addReg(ARM::PC)
1539 .addReg(MI->getOperand(0).getReg())
1540 .addReg(MI->getOperand(1).getReg())
1541 // Add predicate operands.
1542 .addImm(ARMCC::AL)
1543 .addReg(0)
1544 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001545 .addReg(0));
Jim Grosbach08c562b2010-11-17 21:05:55 +00001546
1547 // Output the data for the jump table itself
1548 EmitJumpTable(MI);
1549 return;
1550 }
Jim Grosbach85030542010-09-23 18:05:37 +00001551 case ARM::TRAP: {
1552 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1553 // FIXME: Remove this special case when they do.
Tim Northoverd6a729b2014-01-06 14:28:05 +00001554 if (!Subtarget->isTargetMachO()) {
Jim Grosbachfae83052010-10-01 23:21:38 +00001555 //.long 0xe7ffdefe @ trap
Jim Grosbach7d348372010-09-23 19:42:17 +00001556 uint32_t Val = 0xe7ffdefeUL;
Jim Grosbach85030542010-09-23 18:05:37 +00001557 OutStreamer.AddComment("trap");
1558 OutStreamer.EmitIntValue(Val, 4);
1559 return;
1560 }
1561 break;
1562 }
Eli Bendersky2e2ce492013-01-30 16:30:19 +00001563 case ARM::TRAPNaCl: {
1564 //.long 0xe7fedef0 @ trap
1565 uint32_t Val = 0xe7fedef0UL;
1566 OutStreamer.AddComment("trap");
1567 OutStreamer.EmitIntValue(Val, 4);
1568 return;
1569 }
Jim Grosbach85030542010-09-23 18:05:37 +00001570 case ARM::tTRAP: {
1571 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1572 // FIXME: Remove this special case when they do.
Tim Northoverd6a729b2014-01-06 14:28:05 +00001573 if (!Subtarget->isTargetMachO()) {
Jim Grosbachfae83052010-10-01 23:21:38 +00001574 //.short 57086 @ trap
Benjamin Kramere38495d2010-09-23 18:57:26 +00001575 uint16_t Val = 0xdefe;
Jim Grosbach85030542010-09-23 18:05:37 +00001576 OutStreamer.AddComment("trap");
1577 OutStreamer.EmitIntValue(Val, 2);
1578 return;
1579 }
1580 break;
1581 }
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001582 case ARM::t2Int_eh_sjlj_setjmp:
1583 case ARM::t2Int_eh_sjlj_setjmp_nofp:
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001584 case ARM::tInt_eh_sjlj_setjmp: {
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001585 // Two incoming args: GPR:$src, GPR:$val
1586 // mov $val, pc
1587 // adds $val, #7
1588 // str $val, [$src, #4]
1589 // movs r0, #0
1590 // b 1f
1591 // movs r0, #1
1592 // 1:
1593 unsigned SrcReg = MI->getOperand(0).getReg();
1594 unsigned ValReg = MI->getOperand(1).getReg();
1595 MCSymbol *Label = GetARMSJLJEHLabel();
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001596 OutStreamer.AddComment("eh_setjmp begin");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001597 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001598 .addReg(ValReg)
1599 .addReg(ARM::PC)
Jim Grosbachb98ab912011-06-30 22:10:46 +00001600 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001601 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001602 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001603
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001604 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tADDi3)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001605 .addReg(ValReg)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001606 // 's' bit operand
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001607 .addReg(ARM::CPSR)
1608 .addReg(ValReg)
1609 .addImm(7)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001610 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001611 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001612 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001613
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001614 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tSTRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001615 .addReg(ValReg)
1616 .addReg(SrcReg)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001617 // The offset immediate is #4. The operand value is scaled by 4 for the
1618 // tSTR instruction.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001619 .addImm(1)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001620 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001621 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001622 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001623
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001624 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVi8)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001625 .addReg(ARM::R0)
1626 .addReg(ARM::CPSR)
1627 .addImm(0)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001628 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001629 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001630 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001631
1632 const MCExpr *SymbolExpr = MCSymbolRefExpr::Create(Label, OutContext);
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001633 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tB)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001634 .addExpr(SymbolExpr)
1635 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001636 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001637
1638 OutStreamer.AddComment("eh_setjmp end");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001639 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVi8)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001640 .addReg(ARM::R0)
1641 .addReg(ARM::CPSR)
1642 .addImm(1)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001643 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001644 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001645 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001646
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001647 OutStreamer.EmitLabel(Label);
1648 return;
1649 }
1650
Jim Grosbachc0aed712010-09-23 23:33:56 +00001651 case ARM::Int_eh_sjlj_setjmp_nofp:
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001652 case ARM::Int_eh_sjlj_setjmp: {
Jim Grosbachc0aed712010-09-23 23:33:56 +00001653 // Two incoming args: GPR:$src, GPR:$val
1654 // add $val, pc, #8
1655 // str $val, [$src, #+4]
1656 // mov r0, #0
1657 // add pc, pc, #0
1658 // mov r0, #1
1659 unsigned SrcReg = MI->getOperand(0).getReg();
1660 unsigned ValReg = MI->getOperand(1).getReg();
1661
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001662 OutStreamer.AddComment("eh_setjmp begin");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001663 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001664 .addReg(ValReg)
1665 .addReg(ARM::PC)
1666 .addImm(8)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001667 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001668 .addImm(ARMCC::AL)
1669 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001670 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001671 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001672
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001673 OutStreamer.EmitInstruction(MCInstBuilder(ARM::STRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001674 .addReg(ValReg)
1675 .addReg(SrcReg)
1676 .addImm(4)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001677 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001678 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001679 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001680
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001681 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001682 .addReg(ARM::R0)
1683 .addImm(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001684 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001685 .addImm(ARMCC::AL)
1686 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001687 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001688 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001689
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001690 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001691 .addReg(ARM::PC)
1692 .addReg(ARM::PC)
1693 .addImm(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001694 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001695 .addImm(ARMCC::AL)
1696 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001697 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001698 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001699
1700 OutStreamer.AddComment("eh_setjmp end");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001701 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001702 .addReg(ARM::R0)
1703 .addImm(1)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001704 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001705 .addImm(ARMCC::AL)
1706 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001707 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001708 .addReg(0));
Jim Grosbachc0aed712010-09-23 23:33:56 +00001709 return;
1710 }
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001711 case ARM::Int_eh_sjlj_longjmp: {
1712 // ldr sp, [$src, #8]
1713 // ldr $scratch, [$src, #4]
1714 // ldr r7, [$src]
1715 // bx $scratch
1716 unsigned SrcReg = MI->getOperand(0).getReg();
1717 unsigned ScratchReg = MI->getOperand(1).getReg();
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001718 OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001719 .addReg(ARM::SP)
1720 .addReg(SrcReg)
1721 .addImm(8)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001722 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001723 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001724 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001725
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001726 OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001727 .addReg(ScratchReg)
1728 .addReg(SrcReg)
1729 .addImm(4)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001730 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001731 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001732 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001733
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001734 OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001735 .addReg(ARM::R7)
1736 .addReg(SrcReg)
1737 .addImm(0)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001738 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001739 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001740 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001741
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001742 OutStreamer.EmitInstruction(MCInstBuilder(ARM::BX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001743 .addReg(ScratchReg)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001744 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001745 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001746 .addReg(0));
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001747 return;
1748 }
Jim Grosbach175d6412010-09-27 22:28:11 +00001749 case ARM::tInt_eh_sjlj_longjmp: {
1750 // ldr $scratch, [$src, #8]
1751 // mov sp, $scratch
1752 // ldr $scratch, [$src, #4]
1753 // ldr r7, [$src]
1754 // bx $scratch
1755 unsigned SrcReg = MI->getOperand(0).getReg();
1756 unsigned ScratchReg = MI->getOperand(1).getReg();
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001757 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001758 .addReg(ScratchReg)
1759 .addReg(SrcReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001760 // The offset immediate is #8. The operand value is scaled by 4 for the
Bill Wendling092a7bd2010-12-14 03:36:38 +00001761 // tLDR instruction.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001762 .addImm(2)
Jim Grosbach175d6412010-09-27 22:28:11 +00001763 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001764 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001765 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001766
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001767 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001768 .addReg(ARM::SP)
1769 .addReg(ScratchReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001770 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001771 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001772 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001773
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001774 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001775 .addReg(ScratchReg)
1776 .addReg(SrcReg)
1777 .addImm(1)
Jim Grosbach175d6412010-09-27 22:28:11 +00001778 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001779 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001780 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001781
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001782 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001783 .addReg(ARM::R7)
1784 .addReg(SrcReg)
1785 .addImm(0)
Jim Grosbach175d6412010-09-27 22:28:11 +00001786 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001787 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001788 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001789
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001790 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tBX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001791 .addReg(ScratchReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001792 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001793 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001794 .addReg(0));
Jim Grosbach175d6412010-09-27 22:28:11 +00001795 return;
1796 }
Chris Lattner71eb0772009-10-19 20:20:46 +00001797 }
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001798
Chris Lattner71eb0772009-10-19 20:20:46 +00001799 MCInst TmpInst;
Chris Lattnerde16ca82010-11-14 21:00:02 +00001800 LowerARMMachineInstrToMCInst(MI, TmpInst, *this);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001801
Chris Lattner6f1f8652010-02-03 01:16:28 +00001802 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner71eb0772009-10-19 20:20:46 +00001803}
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001804
1805//===----------------------------------------------------------------------===//
1806// Target Registry Stuff
1807//===----------------------------------------------------------------------===//
1808
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001809// Force static initialization.
1810extern "C" void LLVMInitializeARMAsmPrinter() {
1811 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1812 RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001813}