blob: d1f1d3ed1bbc39b553593262c57c8af8380ce9b8 [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"
Amara Emersond9104c02013-05-03 23:57:17 +000018#include "ARMBuildAttrs.h"
Evan Chenge45d6852011-01-11 21:46:47 +000019#include "ARMConstantPoolValue.h"
Logan Chien8cbb80d2013-10-28 17:51:12 +000020#include "ARMFPUName.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000021#include "ARMMachineFunctionInfo.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000022#include "ARMTargetMachine.h"
Jason W Kim109ff292010-10-11 23:01:44 +000023#include "ARMTargetObjectFile.h"
Evan Chenge45d6852011-01-11 21:46:47 +000024#include "InstPrinter/ARMInstPrinter.h"
Evan Chenga20cde32011-07-20 23:34:39 +000025#include "MCTargetDesc/ARMAddressingModes.h"
26#include "MCTargetDesc/ARMMCExpr.h"
Jim Grosbach330840f2012-10-04 21:33:24 +000027#include "llvm/ADT/SetVector.h"
28#include "llvm/ADT/SmallString.h"
Dan Gohmanef3d4572009-08-13 01:36:44 +000029#include "llvm/Assembly/Writer.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000030#include "llvm/CodeGen/MachineFunctionPass.h"
Evan Cheng10043e22007-01-19 07:51:42 +000031#include "llvm/CodeGen/MachineJumpTableInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000032#include "llvm/CodeGen/MachineModuleInfoImpls.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000033#include "llvm/DebugInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000034#include "llvm/IR/Constants.h"
35#include "llvm/IR/DataLayout.h"
36#include "llvm/IR/Module.h"
37#include "llvm/IR/Type.h"
Chris Lattner6462adc2009-10-19 18:38:33 +000038#include "llvm/MC/MCAsmInfo.h"
Rafael Espindola0ed15432010-10-25 17:50:35 +000039#include "llvm/MC/MCAssembler.h"
Chris Lattner6462adc2009-10-19 18:38:33 +000040#include "llvm/MC/MCContext.h"
Jack Carter718da0b2013-01-30 02:24:33 +000041#include "llvm/MC/MCELFStreamer.h"
Chris Lattner71eb0772009-10-19 20:20:46 +000042#include "llvm/MC/MCInst.h"
Benjamin Kramer4e629f72012-11-26 13:34:22 +000043#include "llvm/MC/MCInstBuilder.h"
Rafael Espindola0ed15432010-10-25 17:50:35 +000044#include "llvm/MC/MCObjectStreamer.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000045#include "llvm/MC/MCSectionMachO.h"
Chris Lattner4b7dadb2009-08-19 05:49:37 +000046#include "llvm/MC/MCStreamer.h"
Chris Lattner4cd44982009-09-13 17:14:04 +000047#include "llvm/MC/MCSymbol.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/Mangler.h"
55#include "llvm/Target/TargetMachine.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000056#include <cctype>
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000057using namespace llvm;
58
Devang Patel3712c142011-04-21 22:48:26 +000059/// EmitDwarfRegOp - Emit dwarf register operation.
David Blaikie81a4dc72013-06-19 21:55:13 +000060void ARMAsmPrinter::EmitDwarfRegOp(const MachineLocation &MLoc,
61 bool Indirect) const {
Devang Patel3712c142011-04-21 22:48:26 +000062 const TargetRegisterInfo *RI = TM.getRegisterInfo();
David Blaikie141b2ac2013-06-18 18:03:17 +000063 if (RI->getDwarfRegNum(MLoc.getReg(), false) != -1) {
David Blaikie81a4dc72013-06-19 21:55:13 +000064 AsmPrinter::EmitDwarfRegOp(MLoc, Indirect);
David Blaikie141b2ac2013-06-18 18:03:17 +000065 return;
66 }
David Blaikie81a4dc72013-06-19 21:55:13 +000067 assert(MLoc.isReg() && !Indirect &&
David Blaikie141b2ac2013-06-18 18:03:17 +000068 "This doesn't support offset/indirection - implement it if needed");
69 unsigned Reg = MLoc.getReg();
70 if (Reg >= ARM::S0 && Reg <= ARM::S31) {
71 assert(ARM::S0 + 31 == ARM::S31 && "Unexpected ARM S register numbering");
72 // S registers are described as bit-pieces of a register
73 // S[2x] = DW_OP_regx(256 + (x>>1)) DW_OP_bit_piece(32, 0)
74 // S[2x+1] = DW_OP_regx(256 + (x>>1)) DW_OP_bit_piece(32, 32)
Jim Grosbach05dec8b12011-09-02 18:46:15 +000075
David Blaikie141b2ac2013-06-18 18:03:17 +000076 unsigned SReg = Reg - ARM::S0;
77 bool odd = SReg & 0x1;
78 unsigned Rx = 256 + (SReg >> 1);
Devang Patel3712c142011-04-21 22:48:26 +000079
David Blaikie141b2ac2013-06-18 18:03:17 +000080 OutStreamer.AddComment("DW_OP_regx for S register");
81 EmitInt8(dwarf::DW_OP_regx);
Devang Patel3712c142011-04-21 22:48:26 +000082
David Blaikie141b2ac2013-06-18 18:03:17 +000083 OutStreamer.AddComment(Twine(SReg));
84 EmitULEB128(Rx);
Devang Patel3712c142011-04-21 22:48:26 +000085
David Blaikie141b2ac2013-06-18 18:03:17 +000086 if (odd) {
87 OutStreamer.AddComment("DW_OP_bit_piece 32 32");
88 EmitInt8(dwarf::DW_OP_bit_piece);
89 EmitULEB128(32);
90 EmitULEB128(32);
91 } else {
92 OutStreamer.AddComment("DW_OP_bit_piece 32 0");
93 EmitInt8(dwarf::DW_OP_bit_piece);
94 EmitULEB128(32);
95 EmitULEB128(0);
Devang Patel3712c142011-04-21 22:48:26 +000096 }
David Blaikie141b2ac2013-06-18 18:03:17 +000097 } else if (Reg >= ARM::Q0 && Reg <= ARM::Q15) {
98 assert(ARM::Q0 + 15 == ARM::Q15 && "Unexpected ARM Q register numbering");
99 // Q registers Q0-Q15 are described by composing two D registers together.
100 // Qx = DW_OP_regx(256+2x) DW_OP_piece(8) DW_OP_regx(256+2x+1)
101 // DW_OP_piece(8)
102
103 unsigned QReg = Reg - ARM::Q0;
104 unsigned D1 = 256 + 2 * QReg;
105 unsigned D2 = D1 + 1;
106
107 OutStreamer.AddComment("DW_OP_regx for Q register: D1");
108 EmitInt8(dwarf::DW_OP_regx);
109 EmitULEB128(D1);
110 OutStreamer.AddComment("DW_OP_piece 8");
111 EmitInt8(dwarf::DW_OP_piece);
112 EmitULEB128(8);
113
114 OutStreamer.AddComment("DW_OP_regx for Q register: D2");
115 EmitInt8(dwarf::DW_OP_regx);
116 EmitULEB128(D2);
117 OutStreamer.AddComment("DW_OP_piece 8");
118 EmitInt8(dwarf::DW_OP_piece);
119 EmitULEB128(8);
Devang Patel3712c142011-04-21 22:48:26 +0000120 }
121}
122
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000123void ARMAsmPrinter::EmitFunctionBodyEnd() {
124 // Make sure to terminate any constant pools that were at the end
125 // of the function.
126 if (!InConstantPool)
127 return;
128 InConstantPool = false;
129 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
130}
Owen Anderson0ca562e2011-10-04 23:26:17 +0000131
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000132void ARMAsmPrinter::EmitFunctionEntryLabel() {
Chris Lattner56db8c32010-01-27 23:58:11 +0000133 if (AFI->isThumbFunction()) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +0000134 OutStreamer.EmitAssemblerFlag(MCAF_Code16);
Rafael Espindolae90c1cb2011-05-16 16:17:21 +0000135 OutStreamer.EmitThumbFunc(CurrentFnSym);
Chris Lattner56db8c32010-01-27 23:58:11 +0000136 }
Jim Grosbach8ee5cd92010-09-02 01:02:06 +0000137
Chris Lattner56db8c32010-01-27 23:58:11 +0000138 OutStreamer.EmitLabel(CurrentFnSym);
139}
140
James Molloy6685c082012-01-26 09:25:43 +0000141void ARMAsmPrinter::EmitXXStructor(const Constant *CV) {
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000142 uint64_t Size = TM.getDataLayout()->getTypeAllocSize(CV->getType());
James Molloy6685c082012-01-26 09:25:43 +0000143 assert(Size && "C++ constructor pointer had zero size!");
144
Bill Wendlingdfb45f42012-02-15 09:14:08 +0000145 const GlobalValue *GV = dyn_cast<GlobalValue>(CV->stripPointerCasts());
James Molloy6685c082012-01-26 09:25:43 +0000146 assert(GV && "C++ constructor pointer was not a GlobalValue!");
147
148 const MCExpr *E = MCSymbolRefExpr::Create(Mang->getSymbol(GV),
149 (Subtarget->isTargetDarwin()
150 ? MCSymbolRefExpr::VK_None
151 : MCSymbolRefExpr::VK_ARM_TARGET1),
152 OutContext);
153
154 OutStreamer.EmitValue(E, Size);
155}
156
Jim Grosbach080fdf42010-09-30 01:57:53 +0000157/// runOnMachineFunction - This uses the EmitInstruction()
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000158/// method to print assembly for each instruction.
159///
160bool ARMAsmPrinter::runOnMachineFunction(MachineFunction &MF) {
Evan Cheng10043e22007-01-19 07:51:42 +0000161 AFI = MF.getInfo<ARMFunctionInfo>();
Evan Cheng5e3ac182008-09-18 07:27:23 +0000162 MCP = MF.getConstantPool();
Rafael Espindola27f8bdc2006-05-23 02:48:20 +0000163
Chris Lattner73de5fb2010-01-28 01:28:58 +0000164 return AsmPrinter::runOnMachineFunction(MF);
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000165}
166
Evan Chengb23b50d2009-06-29 07:51:04 +0000167void ARMAsmPrinter::printOperand(const MachineInstr *MI, int OpNum,
Chris Lattner76c564b2010-04-04 04:47:45 +0000168 raw_ostream &O, const char *Modifier) {
Evan Chengb23b50d2009-06-29 07:51:04 +0000169 const MachineOperand &MO = MI->getOperand(OpNum);
Anton Korobeynikov25229082009-11-24 00:44:37 +0000170 unsigned TF = MO.getTargetFlags();
171
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000172 switch (MO.getType()) {
Craig Toppere55c5562012-02-07 02:50:20 +0000173 default: llvm_unreachable("<unknown operand type>");
Bob Wilson2e076c42009-06-22 23:27:02 +0000174 case MachineOperand::MO_Register: {
175 unsigned Reg = MO.getReg();
Chris Lattner93e3ef62009-10-19 20:59:55 +0000176 assert(TargetRegisterInfo::isPhysicalRegister(Reg));
Jim Grosbach2c950272010-10-06 21:22:32 +0000177 assert(!MO.getSubReg() && "Subregs should be eliminated!");
Weiming Zhaoc5987002013-02-14 18:10:21 +0000178 if(ARM::GPRPairRegClass.contains(Reg)) {
179 const MachineFunction &MF = *MI->getParent()->getParent();
180 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
181 Reg = TRI->getSubReg(Reg, ARM::gsub_0);
182 }
Jim Grosbach2c950272010-10-06 21:22:32 +0000183 O << ARMInstPrinter::getRegisterName(Reg);
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000184 break;
Bob Wilson2e076c42009-06-22 23:27:02 +0000185 }
Evan Cheng10043e22007-01-19 07:51:42 +0000186 case MachineOperand::MO_Immediate: {
Evan Cheng83e0d482009-09-28 09:14:39 +0000187 int64_t Imm = MO.getImm();
Anton Korobeynikov222b86c2009-10-08 20:43:22 +0000188 O << '#';
Anton Korobeynikov25229082009-11-24 00:44:37 +0000189 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
Jason W Kime9eae0f2011-01-12 23:21:49 +0000190 (TF == ARMII::MO_LO16))
Anton Korobeynikov25229082009-11-24 00:44:37 +0000191 O << ":lower16:";
192 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
Jason W Kime9eae0f2011-01-12 23:21:49 +0000193 (TF == ARMII::MO_HI16))
Anton Korobeynikov25229082009-11-24 00:44:37 +0000194 O << ":upper16:";
Anton Korobeynikov222b86c2009-10-08 20:43:22 +0000195 O << Imm;
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000196 break;
Evan Cheng10043e22007-01-19 07:51:42 +0000197 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000198 case MachineOperand::MO_MachineBasicBlock:
Chris Lattner29bdac42010-03-13 21:04:28 +0000199 O << *MO.getMBB()->getSymbol();
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000200 return;
Rafael Espindola75269be2006-07-16 01:02:57 +0000201 case MachineOperand::MO_GlobalAddress: {
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000202 const GlobalValue *GV = MO.getGlobal();
Anton Korobeynikov25229082009-11-24 00:44:37 +0000203 if ((Modifier && strcmp(Modifier, "lo16") == 0) ||
204 (TF & ARMII::MO_LO16))
205 O << ":lower16:";
206 else if ((Modifier && strcmp(Modifier, "hi16") == 0) ||
207 (TF & ARMII::MO_HI16))
208 O << ":upper16:";
Chris Lattner0b822ab2010-03-12 21:19:23 +0000209 O << *Mang->getSymbol(GV);
Anton Korobeynikovbff4b372008-11-22 16:15:34 +0000210
Chris Lattnerf33c7fc2010-04-03 22:28:33 +0000211 printOffset(MO.getOffset(), O);
Jim Grosbachf49540c2010-10-06 21:36:43 +0000212 if (TF == ARMII::MO_PLT)
Lauro Ramos Venancioee2d1642007-04-22 00:04:12 +0000213 O << "(PLT)";
Evan Cheng10043e22007-01-19 07:51:42 +0000214 break;
Rafael Espindola75269be2006-07-16 01:02:57 +0000215 }
Evan Cheng10043e22007-01-19 07:51:42 +0000216 case MachineOperand::MO_ExternalSymbol: {
Chris Lattner8b5d55e2010-01-17 21:43:43 +0000217 O << *GetExternalSymbolSymbol(MO.getSymbolName());
Jim Grosbachf49540c2010-10-06 21:36:43 +0000218 if (TF == ARMII::MO_PLT)
Lauro Ramos Venancioee2d1642007-04-22 00:04:12 +0000219 O << "(PLT)";
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000220 break;
Evan Cheng10043e22007-01-19 07:51:42 +0000221 }
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000222 case MachineOperand::MO_ConstantPoolIndex:
Chris Lattnerc55ea3f2010-01-23 07:00:21 +0000223 O << *GetCPISymbol(MO.getIndex());
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000224 break;
Evan Cheng10043e22007-01-19 07:51:42 +0000225 case MachineOperand::MO_JumpTableIndex:
Chris Lattnerc55ea3f2010-01-23 07:00:21 +0000226 O << *GetJTISymbol(MO.getIndex());
Evan Cheng10043e22007-01-19 07:51:42 +0000227 break;
Rafael Espindola91df1ef2006-05-25 12:57:06 +0000228 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000229}
230
Evan Chengb23b50d2009-06-29 07:51:04 +0000231//===--------------------------------------------------------------------===//
232
Chris Lattner68d64aa2010-01-25 19:51:38 +0000233MCSymbol *ARMAsmPrinter::
Chris Lattner68d64aa2010-01-25 19:51:38 +0000234GetARMJTIPICJumpTableLabel2(unsigned uid, unsigned uid2) const {
235 SmallString<60> Name;
236 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "JTI"
Chris Lattner8186eec2010-01-25 23:28:03 +0000237 << getFunctionNumber() << '_' << uid << '_' << uid2;
Chris Lattner98970432010-03-30 18:10:53 +0000238 return OutContext.GetOrCreateSymbol(Name.str());
Chris Lattner6330d532010-01-25 19:39:52 +0000239}
240
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000241
Dmitri Gribenko0011bbf2012-11-15 16:51:49 +0000242MCSymbol *ARMAsmPrinter::GetARMSJLJEHLabel() const {
Jim Grosbach4a6ab132010-09-24 20:47:58 +0000243 SmallString<60> Name;
244 raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() << "SJLJEH"
245 << getFunctionNumber();
246 return OutContext.GetOrCreateSymbol(Name.str());
247}
248
Evan Chengb23b50d2009-06-29 07:51:04 +0000249bool ARMAsmPrinter::PrintAsmOperand(const MachineInstr *MI, unsigned OpNum,
Chris Lattner3bb09762010-04-04 05:29:35 +0000250 unsigned AsmVariant, const char *ExtraCode,
251 raw_ostream &O) {
Evan Cheng10043e22007-01-19 07:51:42 +0000252 // Does this asm operand have a single letter operand modifier?
253 if (ExtraCode && ExtraCode[0]) {
254 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Anton Korobeynikovcfed3002009-08-08 23:10:41 +0000255
Evan Cheng10043e22007-01-19 07:51:42 +0000256 switch (ExtraCode[0]) {
Jack Carter5e69cff2012-06-26 13:49:27 +0000257 default:
258 // See if this is a generic print operand
259 return AsmPrinter::PrintAsmOperand(MI, OpNum, AsmVariant, ExtraCode, O);
Bob Wilson9ce44e22009-07-09 23:54:51 +0000260 case 'a': // Print as a memory address.
261 if (MI->getOperand(OpNum).isReg()) {
Jim Grosbach136ed512010-09-30 15:25:22 +0000262 O << "["
263 << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg())
264 << "]";
Bob Wilson9ce44e22009-07-09 23:54:51 +0000265 return false;
266 }
267 // Fallthrough
268 case 'c': // Don't print "#" before an immediate operand.
Bob Wilsonceffeb62009-08-21 21:58:55 +0000269 if (!MI->getOperand(OpNum).isImm())
270 return true;
Jim Grosbach080fdf42010-09-30 01:57:53 +0000271 O << MI->getOperand(OpNum).getImm();
Bob Wilson0669f6d2009-04-06 21:46:51 +0000272 return false;
Evan Cheng1e150de2007-04-04 00:13:29 +0000273 case 'P': // Print a VFP double precision register.
Evan Cheng0c2544f2009-12-08 23:06:22 +0000274 case 'q': // Print a NEON quad precision register.
Chris Lattner76c564b2010-04-04 04:47:45 +0000275 printOperand(MI, OpNum, O);
Evan Chengea28fc52007-03-08 22:42:46 +0000276 return false;
Eric Christopher76178832011-05-24 22:10:34 +0000277 case 'y': // Print a VFP single precision register as indexed double.
Eric Christopher76178832011-05-24 22:10:34 +0000278 if (MI->getOperand(OpNum).isReg()) {
279 unsigned Reg = MI->getOperand(OpNum).getReg();
280 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
Jakob Stoklund Olesen5541f602012-05-30 23:00:43 +0000281 // Find the 'd' register that has this 's' register as a sub-register,
282 // and determine the lane number.
283 for (MCSuperRegIterator SR(Reg, TRI); SR.isValid(); ++SR) {
284 if (!ARM::DPRRegClass.contains(*SR))
285 continue;
286 bool Lane0 = TRI->getSubReg(*SR, ARM::ssub_0) == Reg;
287 O << ARMInstPrinter::getRegisterName(*SR) << (Lane0 ? "[0]" : "[1]");
288 return false;
289 }
Eric Christopher76178832011-05-24 22:10:34 +0000290 }
Eric Christopher1b724942011-05-24 23:27:13 +0000291 return true;
Eric Christopherd4562562011-05-24 22:27:43 +0000292 case 'B': // Bitwise inverse of integer or symbol without a preceding #.
Eric Christopherb1dda562011-05-24 23:15:43 +0000293 if (!MI->getOperand(OpNum).isImm())
294 return true;
295 O << ~(MI->getOperand(OpNum).getImm());
296 return false;
Eric Christopherd4562562011-05-24 22:27:43 +0000297 case 'L': // The low 16 bits of an immediate constant.
Eric Christopher1b724942011-05-24 23:27:13 +0000298 if (!MI->getOperand(OpNum).isImm())
299 return true;
300 O << (MI->getOperand(OpNum).getImm() & 0xffff);
301 return false;
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000302 case 'M': { // A register range suitable for LDM/STM.
303 if (!MI->getOperand(OpNum).isReg())
304 return true;
305 const MachineOperand &MO = MI->getOperand(OpNum);
306 unsigned RegBegin = MO.getReg();
307 // This takes advantage of the 2 operand-ness of ldm/stm and that we've
308 // already got the operands in registers that are operands to the
309 // inline asm statement.
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000310 O << "{";
311 if (ARM::GPRPairRegClass.contains(RegBegin)) {
312 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
313 unsigned Reg0 = TRI->getSubReg(RegBegin, ARM::gsub_0);
314 O << ARMInstPrinter::getRegisterName(Reg0) << ", ";;
315 RegBegin = TRI->getSubReg(RegBegin, ARM::gsub_1);
316 }
317 O << ARMInstPrinter::getRegisterName(RegBegin);
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000318
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000319 // FIXME: The register allocator not only may not have given us the
320 // registers in sequence, but may not be in ascending registers. This
321 // will require changes in the register allocator that'll need to be
322 // propagated down here if the operands change.
323 unsigned RegOps = OpNum + 1;
324 while (MI->getOperand(RegOps).isReg()) {
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000325 O << ", "
Eric Christopherd00e8ad2011-05-28 01:40:44 +0000326 << ARMInstPrinter::getRegisterName(MI->getOperand(RegOps).getReg());
327 RegOps++;
328 }
329
330 O << "}";
331
332 return false;
333 }
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000334 case 'R': // The most significant register of a pair.
335 case 'Q': { // The least significant register of a pair.
336 if (OpNum == 0)
337 return true;
338 const MachineOperand &FlagsOP = MI->getOperand(OpNum - 1);
339 if (!FlagsOP.isImm())
340 return true;
341 unsigned Flags = FlagsOP.getImm();
Tim Northover2ddeeed2013-08-22 06:51:04 +0000342
343 // This operand may not be the one that actually provides the register. If
344 // it's tied to a previous one then we should refer instead to that one
345 // for registers and their classes.
346 unsigned TiedIdx;
347 if (InlineAsm::isUseOperandTiedToDef(Flags, TiedIdx)) {
348 for (OpNum = InlineAsm::MIOp_FirstOperand; TiedIdx; --TiedIdx) {
349 unsigned OpFlags = MI->getOperand(OpNum).getImm();
350 OpNum += InlineAsm::getNumOperandRegisters(OpFlags) + 1;
351 }
352 Flags = MI->getOperand(OpNum).getImm();
353
354 // Later code expects OpNum to be pointing at the register rather than
355 // the flags.
356 OpNum += 1;
357 }
358
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000359 unsigned NumVals = InlineAsm::getNumOperandRegisters(Flags);
Weiming Zhaoa3d87a12013-06-28 17:26:02 +0000360 unsigned RC;
361 InlineAsm::hasRegClassConstraint(Flags, RC);
362 if (RC == ARM::GPRPairRegClassID) {
363 if (NumVals != 1)
364 return true;
365 const MachineOperand &MO = MI->getOperand(OpNum);
366 if (!MO.isReg())
367 return true;
368 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
369 unsigned Reg = TRI->getSubReg(MO.getReg(), ExtraCode[0] == 'Q' ?
370 ARM::gsub_0 : ARM::gsub_1);
371 O << ARMInstPrinter::getRegisterName(Reg);
372 return false;
373 }
Rafael Espindola36a3abc2011-08-10 16:26:42 +0000374 if (NumVals != 2)
375 return true;
376 unsigned RegOp = ExtraCode[0] == 'Q' ? OpNum : OpNum + 1;
377 if (RegOp >= MI->getNumOperands())
378 return true;
379 const MachineOperand &MO = MI->getOperand(RegOp);
380 if (!MO.isReg())
381 return true;
382 unsigned Reg = MO.getReg();
383 O << ARMInstPrinter::getRegisterName(Reg);
384 return false;
385 }
386
Eric Christopherd4562562011-05-24 22:27:43 +0000387 case 'e': // The low doubleword register of a NEON quad register.
Bob Wilsonfadc2c82011-12-12 21:45:15 +0000388 case 'f': { // The high doubleword register of a NEON quad register.
389 if (!MI->getOperand(OpNum).isReg())
390 return true;
391 unsigned Reg = MI->getOperand(OpNum).getReg();
392 if (!ARM::QPRRegClass.contains(Reg))
393 return true;
394 const TargetRegisterInfo *TRI = MF->getTarget().getRegisterInfo();
395 unsigned SubReg = TRI->getSubReg(Reg, ExtraCode[0] == 'e' ?
396 ARM::dsub_0 : ARM::dsub_1);
397 O << ARMInstPrinter::getRegisterName(SubReg);
398 return false;
399 }
400
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000401 // This modifier is not yet supported.
Eric Christopherd4562562011-05-24 22:27:43 +0000402 case 'h': // A range of VFP/NEON registers suitable for VLD1/VST1.
Bob Wilson40e62df2010-05-27 20:23:42 +0000403 return true;
Eric Christopher5f61a742012-08-14 23:32:15 +0000404 case 'H': { // The highest-numbered register of a pair.
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000405 const MachineOperand &MO = MI->getOperand(OpNum);
406 if (!MO.isReg())
407 return true;
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000408 const MachineFunction &MF = *MI->getParent()->getParent();
409 const TargetRegisterInfo *TRI = MF.getTarget().getRegisterInfo();
Weiming Zhaoc5987002013-02-14 18:10:21 +0000410 unsigned Reg = MO.getReg();
411 if(!ARM::GPRPairRegClass.contains(Reg))
412 return false;
413 Reg = TRI->getSubReg(Reg, ARM::gsub_1);
Eric Christopher7d8b53c2012-08-13 18:18:52 +0000414 O << ARMInstPrinter::getRegisterName(Reg);
415 return false;
Evan Cheng3d3ee872010-05-27 22:08:38 +0000416 }
Eric Christopher5f61a742012-08-14 23:32:15 +0000417 }
Evan Cheng10043e22007-01-19 07:51:42 +0000418 }
Jim Grosbach1eaa90b2009-09-04 01:38:51 +0000419
Chris Lattner76c564b2010-04-04 04:47:45 +0000420 printOperand(MI, OpNum, O);
Evan Cheng10043e22007-01-19 07:51:42 +0000421 return false;
422}
423
Bob Wilsona2c462b2009-05-19 05:53:42 +0000424bool ARMAsmPrinter::PrintAsmMemoryOperand(const MachineInstr *MI,
Evan Chengb23b50d2009-06-29 07:51:04 +0000425 unsigned OpNum, unsigned AsmVariant,
Chris Lattner3bb09762010-04-04 05:29:35 +0000426 const char *ExtraCode,
427 raw_ostream &O) {
Eric Christopher8c5e4192011-05-25 20:51:58 +0000428 // Does this asm operand have a single letter operand modifier?
429 if (ExtraCode && ExtraCode[0]) {
430 if (ExtraCode[1] != 0) return true; // Unknown modifier.
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000431
Eric Christopher8c5e4192011-05-25 20:51:58 +0000432 switch (ExtraCode[0]) {
Eric Christopher33a73c72011-05-26 18:22:26 +0000433 case 'A': // A memory operand for a VLD1/VST1 instruction.
Eric Christopher8c5e4192011-05-25 20:51:58 +0000434 default: return true; // Unknown modifier.
435 case 'm': // The base register of a memory operand.
436 if (!MI->getOperand(OpNum).isReg())
437 return true;
438 O << ARMInstPrinter::getRegisterName(MI->getOperand(OpNum).getReg());
439 return false;
440 }
441 }
Jim Grosbach05dec8b12011-09-02 18:46:15 +0000442
Bob Wilson3b515602009-10-13 20:50:28 +0000443 const MachineOperand &MO = MI->getOperand(OpNum);
444 assert(MO.isReg() && "unexpected inline asm memory operand");
Jim Grosbach080fdf42010-09-30 01:57:53 +0000445 O << "[" << ARMInstPrinter::getRegisterName(MO.getReg()) << "]";
Bob Wilsona2c462b2009-05-19 05:53:42 +0000446 return false;
447}
448
Bob Wilsonb633d7a2009-09-30 22:06:26 +0000449void ARMAsmPrinter::EmitStartOfAsmFile(Module &M) {
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000450 if (Subtarget->isTargetDarwin()) {
451 Reloc::Model RelocM = TM.getRelocationModel();
452 if (RelocM == Reloc::PIC_ || RelocM == Reloc::DynamicNoPIC) {
453 // Declare all the text sections up front (before the DWARF sections
454 // emitted by AsmPrinter::doInitialization) so the assembler will keep
455 // them together at the beginning of the object file. This helps
456 // avoid out-of-range branches that are due a fundamental limitation of
457 // the way symbol offsets are encoded with the current Darwin ARM
458 // relocations.
Jim Grosbach8ee5cd92010-09-02 01:02:06 +0000459 const TargetLoweringObjectFileMachO &TLOFMacho =
Dan Gohman53d4a082010-04-17 16:44:48 +0000460 static_cast<const TargetLoweringObjectFileMachO &>(
461 getObjFileLowering());
Jim Grosbach330840f2012-10-04 21:33:24 +0000462
463 // Collect the set of sections our functions will go into.
464 SetVector<const MCSection *, SmallVector<const MCSection *, 8>,
465 SmallPtrSet<const MCSection *, 8> > TextSections;
466 // Default text section comes first.
467 TextSections.insert(TLOFMacho.getTextSection());
468 // Now any user defined text sections from function attributes.
469 for (Module::iterator F = M.begin(), e = M.end(); F != e; ++F)
470 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage())
471 TextSections.insert(TLOFMacho.SectionForGlobal(F, Mang, TM));
472 // Now the coalescable sections.
473 TextSections.insert(TLOFMacho.getTextCoalSection());
474 TextSections.insert(TLOFMacho.getConstTextCoalSection());
475
476 // Emit the sections in the .s file header to fix the order.
477 for (unsigned i = 0, e = TextSections.size(); i != e; ++i)
478 OutStreamer.SwitchSection(TextSections[i]);
479
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000480 if (RelocM == Reloc::DynamicNoPIC) {
481 const MCSection *sect =
Chris Lattner433d4062010-04-08 20:40:11 +0000482 OutContext.getMachOSection("__TEXT", "__symbol_stub4",
483 MCSectionMachO::S_SYMBOL_STUBS,
484 12, SectionKind::getText());
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000485 OutStreamer.SwitchSection(sect);
486 } else {
487 const MCSection *sect =
Chris Lattner433d4062010-04-08 20:40:11 +0000488 OutContext.getMachOSection("__TEXT", "__picsymbolstub4",
489 MCSectionMachO::S_SYMBOL_STUBS,
490 16, SectionKind::getText());
Bob Wilsonb2120755a2009-09-30 22:25:37 +0000491 OutStreamer.SwitchSection(sect);
492 }
Bob Wilson4320e2d2010-07-30 19:55:47 +0000493 const MCSection *StaticInitSect =
494 OutContext.getMachOSection("__TEXT", "__StaticInit",
495 MCSectionMachO::S_REGULAR |
496 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
497 SectionKind::getText());
498 OutStreamer.SwitchSection(StaticInitSect);
Bob Wilson20e5f5e2009-09-30 00:23:42 +0000499 }
500 }
501
Jim Grosbachd7cf55c2009-11-09 00:11:35 +0000502 // Use unified assembler syntax.
Jason W Kim645f6c22010-09-30 02:45:56 +0000503 OutStreamer.EmitAssemblerFlag(MCAF_SyntaxUnified);
Anton Korobeynikovf687a822009-06-17 23:43:18 +0000504
Anton Korobeynikovfa6f1ee2009-05-23 19:51:20 +0000505 // Emit ARM Build Attributes
Evan Cheng0460ae82012-02-21 20:46:00 +0000506 if (Subtarget->isTargetELF())
Jason W Kimbff84d42010-10-06 22:36:46 +0000507 emitAttributes();
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000508}
509
Anton Korobeynikov04083522008-08-07 09:54:23 +0000510
Chris Lattneree9399a2009-10-19 17:59:19 +0000511void ARMAsmPrinter::EmitEndOfAsmFile(Module &M) {
Evan Cheng1199c2d2007-01-19 19:25:36 +0000512 if (Subtarget->isTargetDarwin()) {
Chris Lattner73ebe432009-08-03 22:18:15 +0000513 // All darwin targets use mach-o.
Dan Gohman53d4a082010-04-17 16:44:48 +0000514 const TargetLoweringObjectFileMachO &TLOFMacho =
515 static_cast<const TargetLoweringObjectFileMachO &>(getObjFileLowering());
Chris Lattner6462adc2009-10-19 18:38:33 +0000516 MachineModuleInfoMachO &MMIMacho =
517 MMI->getObjFileInfo<MachineModuleInfoMachO>();
Jim Grosbach1eaa90b2009-09-04 01:38:51 +0000518
Evan Cheng10043e22007-01-19 07:51:42 +0000519 // Output non-lazy-pointers for external and common global variables.
Chris Lattner6462adc2009-10-19 18:38:33 +0000520 MachineModuleInfoMachO::SymbolListTy Stubs = MMIMacho.GetGVStubList();
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000521
Chris Lattner6462adc2009-10-19 18:38:33 +0000522 if (!Stubs.empty()) {
Chris Lattnercb307a272009-08-10 01:39:42 +0000523 // Switch with ".non_lazy_symbol_pointer" directive.
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000524 OutStreamer.SwitchSection(TLOFMacho.getNonLazySymbolPointerSection());
Chris Lattner292472d2009-08-10 18:01:34 +0000525 EmitAlignment(2);
Chris Lattner6462adc2009-10-19 18:38:33 +0000526 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
Bill Wendlingf1eae222010-03-09 00:40:17 +0000527 // L_foo$stub:
528 OutStreamer.EmitLabel(Stubs[i].first);
529 // .indirect_symbol _foo
Bill Wendlinge8e79522010-03-11 01:18:13 +0000530 MachineModuleInfoImpl::StubValueTy &MCSym = Stubs[i].second;
531 OutStreamer.EmitSymbolAttribute(MCSym.getPointer(),MCSA_IndirectSymbol);
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000532
Bill Wendlinge8e79522010-03-11 01:18:13 +0000533 if (MCSym.getInt())
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000534 // External to current translation unit.
Eric Christopherbf7bc492013-01-09 03:52:05 +0000535 OutStreamer.EmitIntValue(0, 4/*size*/);
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000536 else
537 // Internal to current translation unit.
Bill Wendling866f5762010-03-31 18:47:10 +0000538 //
Jim Grosbach754e1ef2010-09-22 16:45:13 +0000539 // When we place the LSDA into the TEXT section, the type info
540 // pointers need to be indirect and pc-rel. We accomplish this by
541 // using NLPs; however, sometimes the types are local to the file.
542 // We need to fill in the value for the NLP in those cases.
Bill Wendlinge8e79522010-03-11 01:18:13 +0000543 OutStreamer.EmitValue(MCSymbolRefExpr::Create(MCSym.getPointer(),
544 OutContext),
Eric Christopherbf7bc492013-01-09 03:52:05 +0000545 4/*size*/);
Evan Cheng2a03c7e2008-12-05 01:06:39 +0000546 }
Bill Wendlingf1eae222010-03-09 00:40:17 +0000547
548 Stubs.clear();
549 OutStreamer.AddBlankLine();
Evan Cheng10043e22007-01-19 07:51:42 +0000550 }
551
Chris Lattner3334deb2009-10-19 18:44:38 +0000552 Stubs = MMIMacho.GetHiddenGVStubList();
553 if (!Stubs.empty()) {
Chris Lattner4b7dadb2009-08-19 05:49:37 +0000554 OutStreamer.SwitchSection(getObjFileLowering().getDataSection());
Chris Lattnerfbcafd42009-08-10 18:02:16 +0000555 EmitAlignment(2);
Bill Wendlingf1eae222010-03-09 00:40:17 +0000556 for (unsigned i = 0, e = Stubs.size(); i != e; ++i) {
557 // L_foo$stub:
558 OutStreamer.EmitLabel(Stubs[i].first);
559 // .long _foo
Bill Wendlinga810bdf2010-03-10 22:34:10 +0000560 OutStreamer.EmitValue(MCSymbolRefExpr::
561 Create(Stubs[i].second.getPointer(),
562 OutContext),
Eric Christopherbf7bc492013-01-09 03:52:05 +0000563 4/*size*/);
Bill Wendlingf1eae222010-03-09 00:40:17 +0000564 }
Bill Wendlingffba5fa2010-03-09 00:43:34 +0000565
566 Stubs.clear();
567 OutStreamer.AddBlankLine();
Evan Cheng2a03c7e2008-12-05 01:06:39 +0000568 }
569
Evan Cheng10043e22007-01-19 07:51:42 +0000570 // Funny Darwin hack: This flag tells the linker that no global symbols
571 // contain code that falls through to other global symbols (e.g. the obvious
572 // implementation of multiple entry points). If this doesn't occur, the
573 // linker can safely perform dead code stripping. Since LLVM never
574 // generates code that does this, it is always safe to set.
Chris Lattner685508c2010-01-23 06:39:22 +0000575 OutStreamer.EmitAssemblerFlag(MCAF_SubsectionsViaSymbols);
Rafael Espindola89e5cbd2006-07-27 11:38:51 +0000576 }
Rafael Espindolaffdc24b2006-05-14 22:18:28 +0000577}
Anton Korobeynikov17d28de2008-08-17 13:55:10 +0000578
Chris Lattner71eb0772009-10-19 20:20:46 +0000579//===----------------------------------------------------------------------===//
Jason W Kimbff84d42010-10-06 22:36:46 +0000580// Helper routines for EmitStartOfAsmFile() and EmitEndOfAsmFile()
581// FIXME:
582// The following seem like one-off assembler flags, but they actually need
Jim Grosbach25cd3bf2010-10-06 22:46:47 +0000583// to appear in the .ARM.attributes section in ELF.
Jason W Kimbff84d42010-10-06 22:36:46 +0000584// Instead of subclassing the MCELFStreamer, we do the work here.
585
Amara Emerson5035ee02013-10-07 16:55:23 +0000586static ARMBuildAttrs::CPUArch getArchForCPU(StringRef CPU,
587 const ARMSubtarget *Subtarget) {
588 if (CPU == "xscale")
589 return ARMBuildAttrs::v5TEJ;
590
591 if (Subtarget->hasV8Ops())
592 return ARMBuildAttrs::v8;
593 else if (Subtarget->hasV7Ops()) {
594 if (Subtarget->isMClass() && Subtarget->hasThumb2DSP())
595 return ARMBuildAttrs::v7E_M;
596 return ARMBuildAttrs::v7;
597 } else if (Subtarget->hasV6T2Ops())
598 return ARMBuildAttrs::v6T2;
599 else if (Subtarget->hasV6MOps())
600 return ARMBuildAttrs::v6S_M;
601 else if (Subtarget->hasV6Ops())
602 return ARMBuildAttrs::v6;
603 else if (Subtarget->hasV5TEOps())
604 return ARMBuildAttrs::v5TE;
605 else if (Subtarget->hasV5TOps())
606 return ARMBuildAttrs::v5T;
607 else if (Subtarget->hasV4TOps())
608 return ARMBuildAttrs::v4T;
609 else
610 return ARMBuildAttrs::v4;
611}
612
Jason W Kimbff84d42010-10-06 22:36:46 +0000613void ARMAsmPrinter::emitAttributes() {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000614 MCTargetStreamer &TS = OutStreamer.getTargetStreamer();
615 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
Jim Grosbach25cd3bf2010-10-06 22:46:47 +0000616
Logan Chien8cbb80d2013-10-28 17:51:12 +0000617 ATS.switchVendor("aeabi");
Rafael Espindola0ed15432010-10-25 17:50:35 +0000618
Jason W Kimbff84d42010-10-06 22:36:46 +0000619 std::string CPUString = Subtarget->getCPUString();
Jason W Kim85b0af12011-02-07 00:49:53 +0000620
Amara Emerson5035ee02013-10-07 16:55:23 +0000621 if (CPUString != "generic")
Logan Chien8cbb80d2013-10-28 17:51:12 +0000622 ATS.emitTextAttribute(ARMBuildAttrs::CPU_name, CPUString);
Amara Emerson5035ee02013-10-07 16:55:23 +0000623
Logan Chien8cbb80d2013-10-28 17:51:12 +0000624 ATS.emitAttribute(ARMBuildAttrs::CPU_arch,
625 getArchForCPU(CPUString, Subtarget));
Amara Emerson5035ee02013-10-07 16:55:23 +0000626
627 if (Subtarget->isAClass()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000628 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
629 ARMBuildAttrs::ApplicationProfile);
Amara Emerson5035ee02013-10-07 16:55:23 +0000630 } else if (Subtarget->isRClass()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000631 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
632 ARMBuildAttrs::RealTimeProfile);
Amara Emerson5035ee02013-10-07 16:55:23 +0000633 } else if (Subtarget->isMClass()){
Logan Chien8cbb80d2013-10-28 17:51:12 +0000634 ATS.emitAttribute(ARMBuildAttrs::CPU_arch_profile,
635 ARMBuildAttrs::MicroControllerProfile);
Amara Emerson5035ee02013-10-07 16:55:23 +0000636 }
Jason W Kim85b0af12011-02-07 00:49:53 +0000637
Logan Chien8cbb80d2013-10-28 17:51:12 +0000638 ATS.emitAttribute(ARMBuildAttrs::ARM_ISA_use, Subtarget->hasARMOps() ?
639 ARMBuildAttrs::Allowed : ARMBuildAttrs::Not_Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000640 if (Subtarget->isThumb1Only()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000641 ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use,
642 ARMBuildAttrs::Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000643 } else if (Subtarget->hasThumb2()) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000644 ATS.emitAttribute(ARMBuildAttrs::THUMB_ISA_use,
645 ARMBuildAttrs::AllowThumb32);
Amara Emerson5035ee02013-10-07 16:55:23 +0000646 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000647
Logan Chien8cbb80d2013-10-28 17:51:12 +0000648 if (Subtarget->hasNEON()) {
Renato Golinec0fc7d2011-02-28 22:04:27 +0000649 /* NEON is not exactly a VFP architecture, but GAS emit one of
Joey Gouly3c0e5562013-09-13 11:51:52 +0000650 * neon/neon-fp-armv8/neon-vfpv4/vfpv3/vfpv2 for .fpu parameters */
Amara Emerson5035ee02013-10-07 16:55:23 +0000651 if (Subtarget->hasFPARMv8()) {
652 if (Subtarget->hasCrypto())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000653 ATS.emitFPU(ARM::CRYPTO_NEON_FP_ARMV8);
Amara Emerson5035ee02013-10-07 16:55:23 +0000654 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000655 ATS.emitFPU(ARM::NEON_FP_ARMV8);
Amara Emerson5035ee02013-10-07 16:55:23 +0000656 }
Joey Gouly3c0e5562013-09-13 11:51:52 +0000657 else if (Subtarget->hasVFP4())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000658 ATS.emitFPU(ARM::NEON_VFPV4);
Anton Korobeynikov5482b9f2012-01-22 12:07:33 +0000659 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000660 ATS.emitFPU(ARM::NEON);
661 // Emit Tag_Advanced_SIMD_arch for ARMv8 architecture
Joey Goulyb1b0dd82013-06-27 11:49:26 +0000662 if (Subtarget->hasV8Ops())
Logan Chien8cbb80d2013-10-28 17:51:12 +0000663 ATS.emitAttribute(ARMBuildAttrs::Advanced_SIMD_arch,
664 ARMBuildAttrs::AllowNeonARMv8);
665 } else {
666 if (Subtarget->hasFPARMv8())
667 ATS.emitFPU(ARM::FP_ARMV8);
668 else if (Subtarget->hasVFP4())
669 ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV4_D16 : ARM::VFPV4);
670 else if (Subtarget->hasVFP3())
671 ATS.emitFPU(Subtarget->hasD16() ? ARM::VFPV3_D16 : ARM::VFPV3);
672 else if (Subtarget->hasVFP2())
673 ATS.emitFPU(ARM::VFPV2);
Renato Golinec0fc7d2011-02-28 22:04:27 +0000674 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000675
676 // Signal various FP modes.
Amara Emersonac695082013-10-11 16:03:43 +0000677 if (!TM.Options.UnsafeFPMath) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000678 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_denormal, ARMBuildAttrs::Allowed);
679 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_exceptions,
680 ARMBuildAttrs::Allowed);
Amara Emerson5035ee02013-10-07 16:55:23 +0000681 }
Jason W Kimbff84d42010-10-06 22:36:46 +0000682
Amara Emersonac695082013-10-11 16:03:43 +0000683 if (TM.Options.NoInfsFPMath && TM.Options.NoNaNsFPMath)
Logan Chien8cbb80d2013-10-28 17:51:12 +0000684 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model,
685 ARMBuildAttrs::Allowed);
Amara Emersonac695082013-10-11 16:03:43 +0000686 else
Logan Chien8cbb80d2013-10-28 17:51:12 +0000687 ATS.emitAttribute(ARMBuildAttrs::ABI_FP_number_model,
688 ARMBuildAttrs::AllowIEE754);
Amara Emersonac695082013-10-11 16:03:43 +0000689
Jason W Kim85b0af12011-02-07 00:49:53 +0000690 // FIXME: add more flags to ARMBuildAttrs.h
Jason W Kimbff84d42010-10-06 22:36:46 +0000691 // 8-bytes alignment stuff.
Logan Chien8cbb80d2013-10-28 17:51:12 +0000692 ATS.emitAttribute(ARMBuildAttrs::ABI_align8_needed, 1);
693 ATS.emitAttribute(ARMBuildAttrs::ABI_align8_preserved, 1);
Jason W Kimbff84d42010-10-06 22:36:46 +0000694
695 // Hard float. Use both S and D registers and conform to AAPCS-VFP.
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000696 if (Subtarget->isAAPCS_ABI() && TM.Options.FloatABIType == FloatABI::Hard) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000697 ATS.emitAttribute(ARMBuildAttrs::ABI_HardFP_use, 3);
698 ATS.emitAttribute(ARMBuildAttrs::ABI_VFP_args, 1);
Jason W Kimbff84d42010-10-06 22:36:46 +0000699 }
700 // FIXME: Should we signal R9 usage?
Rafael Espindola0ed15432010-10-25 17:50:35 +0000701
Amara Emerson5035ee02013-10-07 16:55:23 +0000702 if (Subtarget->hasDivide()) {
703 // Check if hardware divide is only available in thumb2 or ARM as well.
Logan Chien8cbb80d2013-10-28 17:51:12 +0000704 ATS.emitAttribute(ARMBuildAttrs::DIV_use,
Amara Emerson5035ee02013-10-07 16:55:23 +0000705 Subtarget->hasDivideInARMMode() ? ARMBuildAttrs::AllowDIVExt :
706 ARMBuildAttrs::AllowDIVIfExists);
707 }
Rafael Espindola0ed15432010-10-25 17:50:35 +0000708
Logan Chien8cbb80d2013-10-28 17:51:12 +0000709 ATS.finishAttributeSection();
Jason W Kimbff84d42010-10-06 22:36:46 +0000710}
711
Jason W Kim109ff292010-10-11 23:01:44 +0000712void ARMAsmPrinter::emitARMAttributeSection() {
713 // <format-version>
714 // [ <section-length> "vendor-name"
715 // [ <file-tag> <size> <attribute>*
716 // | <section-tag> <size> <section-number>* 0 <attribute>*
717 // | <symbol-tag> <size> <symbol-number>* 0 <attribute>*
718 // ]+
719 // ]*
720
721 if (OutStreamer.hasRawTextSupport())
722 return;
723
724 const ARMElfTargetObjectFile &TLOFELF =
725 static_cast<const ARMElfTargetObjectFile &>
726 (getObjFileLowering());
727
728 OutStreamer.SwitchSection(TLOFELF.getAttributesSection());
Jason W Kim109ff292010-10-11 23:01:44 +0000729
Rafael Espindola0ed15432010-10-25 17:50:35 +0000730 // Format version
731 OutStreamer.EmitIntValue(0x41, 1);
Jason W Kim109ff292010-10-11 23:01:44 +0000732}
733
Jason W Kimbff84d42010-10-06 22:36:46 +0000734//===----------------------------------------------------------------------===//
Chris Lattner71eb0772009-10-19 20:20:46 +0000735
Jim Grosbachaf5d6352010-09-18 00:05:05 +0000736static MCSymbol *getPICLabel(const char *Prefix, unsigned FunctionNumber,
737 unsigned LabelId, MCContext &Ctx) {
738
739 MCSymbol *Label = Ctx.GetOrCreateSymbol(Twine(Prefix)
740 + "PC" + Twine(FunctionNumber) + "_" + Twine(LabelId));
741 return Label;
742}
743
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000744static MCSymbolRefExpr::VariantKind
745getModifierVariantKind(ARMCP::ARMCPModifier Modifier) {
746 switch (Modifier) {
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000747 case ARMCP::no_modifier: return MCSymbolRefExpr::VK_None;
748 case ARMCP::TLSGD: return MCSymbolRefExpr::VK_ARM_TLSGD;
749 case ARMCP::TPOFF: return MCSymbolRefExpr::VK_ARM_TPOFF;
750 case ARMCP::GOTTPOFF: return MCSymbolRefExpr::VK_ARM_GOTTPOFF;
751 case ARMCP::GOT: return MCSymbolRefExpr::VK_ARM_GOT;
752 case ARMCP::GOTOFF: return MCSymbolRefExpr::VK_ARM_GOTOFF;
753 }
David Blaikie46a9f012012-01-20 21:51:11 +0000754 llvm_unreachable("Invalid ARMCPModifier!");
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000755}
756
Evan Chengdfce83c2011-01-17 08:03:18 +0000757MCSymbol *ARMAsmPrinter::GetARMGVSymbol(const GlobalValue *GV) {
758 bool isIndirect = Subtarget->isTargetDarwin() &&
759 Subtarget->GVIsIndirectSymbol(GV, TM.getRelocationModel());
760 if (!isIndirect)
761 return Mang->getSymbol(GV);
762
763 // FIXME: Remove this when Darwin transition to @GOT like syntax.
764 MCSymbol *MCSym = GetSymbolWithGlobalValueBase(GV, "$non_lazy_ptr");
765 MachineModuleInfoMachO &MMIMachO =
766 MMI->getObjFileInfo<MachineModuleInfoMachO>();
767 MachineModuleInfoImpl::StubValueTy &StubSym =
768 GV->hasHiddenVisibility() ? MMIMachO.getHiddenGVStubEntry(MCSym) :
769 MMIMachO.getGVStubEntry(MCSym);
770 if (StubSym.getPointer() == 0)
771 StubSym = MachineModuleInfoImpl::
772 StubValueTy(Mang->getSymbol(GV), !GV->hasInternalLinkage());
773 return MCSym;
774}
775
Jim Grosbach38f8e762010-11-09 18:45:04 +0000776void ARMAsmPrinter::
777EmitMachineConstantPoolValue(MachineConstantPoolValue *MCPV) {
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000778 int Size = TM.getDataLayout()->getTypeAllocSize(MCPV->getType());
Jim Grosbach38f8e762010-11-09 18:45:04 +0000779
780 ARMConstantPoolValue *ACPV = static_cast<ARMConstantPoolValue*>(MCPV);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000781
Jim Grosbachca21cd72010-11-10 17:59:10 +0000782 MCSymbol *MCSym;
Jim Grosbach38f8e762010-11-09 18:45:04 +0000783 if (ACPV->isLSDA()) {
Jim Grosbachca21cd72010-11-10 17:59:10 +0000784 SmallString<128> Str;
785 raw_svector_ostream OS(Str);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000786 OS << MAI->getPrivateGlobalPrefix() << "_LSDA_" << getFunctionNumber();
Jim Grosbachca21cd72010-11-10 17:59:10 +0000787 MCSym = OutContext.GetOrCreateSymbol(OS.str());
Jim Grosbach38f8e762010-11-09 18:45:04 +0000788 } else if (ACPV->isBlockAddress()) {
Bill Wendling7753d662011-10-01 08:00:54 +0000789 const BlockAddress *BA =
790 cast<ARMConstantPoolConstant>(ACPV)->getBlockAddress();
791 MCSym = GetBlockAddressSymbol(BA);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000792 } else if (ACPV->isGlobalValue()) {
Bill Wendling7753d662011-10-01 08:00:54 +0000793 const GlobalValue *GV = cast<ARMConstantPoolConstant>(ACPV)->getGV();
Evan Chengdfce83c2011-01-17 08:03:18 +0000794 MCSym = GetARMGVSymbol(GV);
Bill Wendling69bc3de2011-09-29 23:50:42 +0000795 } else if (ACPV->isMachineBasicBlock()) {
Bill Wendling4a4772f2011-10-01 09:30:42 +0000796 const MachineBasicBlock *MBB = cast<ARMConstantPoolMBB>(ACPV)->getMBB();
Bill Wendling69bc3de2011-09-29 23:50:42 +0000797 MCSym = MBB->getSymbol();
Jim Grosbach38f8e762010-11-09 18:45:04 +0000798 } else {
799 assert(ACPV->isExtSymbol() && "unrecognized constant pool value");
Bill Wendlingc214cb02011-10-01 08:58:29 +0000800 const char *Sym = cast<ARMConstantPoolSymbol>(ACPV)->getSymbol();
801 MCSym = GetExternalSymbolSymbol(Sym);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000802 }
803
804 // Create an MCSymbol for the reference.
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000805 const MCExpr *Expr =
806 MCSymbolRefExpr::Create(MCSym, getModifierVariantKind(ACPV->getModifier()),
807 OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000808
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000809 if (ACPV->getPCAdjustment()) {
810 MCSymbol *PCLabel = getPICLabel(MAI->getPrivateGlobalPrefix(),
811 getFunctionNumber(),
812 ACPV->getLabelId(),
813 OutContext);
814 const MCExpr *PCRelExpr = MCSymbolRefExpr::Create(PCLabel, OutContext);
815 PCRelExpr =
816 MCBinaryExpr::CreateAdd(PCRelExpr,
817 MCConstantExpr::Create(ACPV->getPCAdjustment(),
818 OutContext),
819 OutContext);
820 if (ACPV->mustAddCurrentAddress()) {
821 // We want "(<expr> - .)", but MC doesn't have a concept of the '.'
822 // label, so just emit a local label end reference that instead.
823 MCSymbol *DotSym = OutContext.CreateTempSymbol();
824 OutStreamer.EmitLabel(DotSym);
825 const MCExpr *DotExpr = MCSymbolRefExpr::Create(DotSym, OutContext);
826 PCRelExpr = MCBinaryExpr::CreateSub(PCRelExpr, DotExpr, OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000827 }
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000828 Expr = MCBinaryExpr::CreateSub(Expr, PCRelExpr, OutContext);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000829 }
Jim Grosbachf23b2d92010-11-10 03:26:07 +0000830 OutStreamer.EmitValue(Expr, Size);
Jim Grosbach38f8e762010-11-09 18:45:04 +0000831}
832
Jim Grosbach284eebc2010-09-22 17:39:48 +0000833void ARMAsmPrinter::EmitJumpTable(const MachineInstr *MI) {
834 unsigned Opcode = MI->getOpcode();
835 int OpNum = 1;
836 if (Opcode == ARM::BR_JTadd)
837 OpNum = 2;
838 else if (Opcode == ARM::BR_JTm)
839 OpNum = 3;
840
841 const MachineOperand &MO1 = MI->getOperand(OpNum);
842 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
843 unsigned JTI = MO1.getIndex();
844
845 // Emit a label for the jump table.
846 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
847 OutStreamer.EmitLabel(JTISymbol);
848
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000849 // Mark the jump table as data-in-code.
850 OutStreamer.EmitDataRegion(MCDR_DataRegionJT32);
851
Jim Grosbach284eebc2010-09-22 17:39:48 +0000852 // Emit each entry of the table.
853 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
854 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
855 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
856
857 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
858 MachineBasicBlock *MBB = JTBBs[i];
859 // Construct an MCExpr for the entry. We want a value of the form:
860 // (BasicBlockAddr - TableBeginAddr)
861 //
862 // For example, a table with entries jumping to basic blocks BB0 and BB1
863 // would look like:
864 // LJTI_0_0:
865 // .word (LBB0 - LJTI_0_0)
866 // .word (LBB1 - LJTI_0_0)
867 const MCExpr *Expr = MCSymbolRefExpr::Create(MBB->getSymbol(), OutContext);
868
869 if (TM.getRelocationModel() == Reloc::PIC_)
870 Expr = MCBinaryExpr::CreateSub(Expr, MCSymbolRefExpr::Create(JTISymbol,
871 OutContext),
872 OutContext);
Jim Grosbache1995f22011-08-31 22:23:09 +0000873 // If we're generating a table of Thumb addresses in static relocation
874 // model, we need to add one to keep interworking correctly.
875 else if (AFI->isThumbFunction())
876 Expr = MCBinaryExpr::CreateAdd(Expr, MCConstantExpr::Create(1,OutContext),
877 OutContext);
Jim Grosbach284eebc2010-09-22 17:39:48 +0000878 OutStreamer.EmitValue(Expr, 4);
879 }
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000880 // Mark the end of jump table data-in-code region.
881 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Jim Grosbach284eebc2010-09-22 17:39:48 +0000882}
883
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000884void ARMAsmPrinter::EmitJump2Table(const MachineInstr *MI) {
885 unsigned Opcode = MI->getOpcode();
886 int OpNum = (Opcode == ARM::t2BR_JT) ? 2 : 1;
887 const MachineOperand &MO1 = MI->getOperand(OpNum);
888 const MachineOperand &MO2 = MI->getOperand(OpNum+1); // Unique Id
889 unsigned JTI = MO1.getIndex();
890
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000891 MCSymbol *JTISymbol = GetARMJTIPICJumpTableLabel2(JTI, MO2.getImm());
892 OutStreamer.EmitLabel(JTISymbol);
893
894 // Emit each entry of the table.
895 const MachineJumpTableInfo *MJTI = MF->getJumpTableInfo();
896 const std::vector<MachineJumpTableEntry> &JT = MJTI->getJumpTables();
897 const std::vector<MachineBasicBlock*> &JTBBs = JT[JTI].MBBs;
Jim Grosbach1573b292010-09-22 17:15:35 +0000898 unsigned OffsetWidth = 4;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000899 if (MI->getOpcode() == ARM::t2TBB_JT) {
Jim Grosbach1573b292010-09-22 17:15:35 +0000900 OffsetWidth = 1;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000901 // Mark the jump table as data-in-code.
902 OutStreamer.EmitDataRegion(MCDR_DataRegionJT8);
903 } else if (MI->getOpcode() == ARM::t2TBH_JT) {
Jim Grosbach1573b292010-09-22 17:15:35 +0000904 OffsetWidth = 2;
Jim Grosbach4b63d2a2012-05-18 19:12:01 +0000905 // Mark the jump table as data-in-code.
906 OutStreamer.EmitDataRegion(MCDR_DataRegionJT16);
907 }
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000908
909 for (unsigned i = 0, e = JTBBs.size(); i != e; ++i) {
910 MachineBasicBlock *MBB = JTBBs[i];
Jim Grosbach1573b292010-09-22 17:15:35 +0000911 const MCExpr *MBBSymbolExpr = MCSymbolRefExpr::Create(MBB->getSymbol(),
912 OutContext);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000913 // If this isn't a TBB or TBH, the entries are direct branch instructions.
Jim Grosbach1573b292010-09-22 17:15:35 +0000914 if (OffsetWidth == 4) {
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000915 OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2B)
Benjamin Kramer4e629f72012-11-26 13:34:22 +0000916 .addExpr(MBBSymbolExpr)
917 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +0000918 .addReg(0));
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000919 continue;
920 }
921 // Otherwise it's an offset from the dispatch instruction. Construct an
Jim Grosbach1573b292010-09-22 17:15:35 +0000922 // MCExpr for the entry. We want a value of the form:
923 // (BasicBlockAddr - TableBeginAddr) / 2
924 //
925 // For example, a TBB table with entries jumping to basic blocks BB0 and BB1
926 // would look like:
927 // LJTI_0_0:
928 // .byte (LBB0 - LJTI_0_0) / 2
929 // .byte (LBB1 - LJTI_0_0) / 2
930 const MCExpr *Expr =
931 MCBinaryExpr::CreateSub(MBBSymbolExpr,
932 MCSymbolRefExpr::Create(JTISymbol, OutContext),
933 OutContext);
934 Expr = MCBinaryExpr::CreateDiv(Expr, MCConstantExpr::Create(2, OutContext),
935 OutContext);
936 OutStreamer.EmitValue(Expr, OffsetWidth);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000937 }
Jim Grosbach2597f832012-05-21 23:34:42 +0000938 // Mark the end of jump table data-in-code region. 32-bit offsets use
939 // actual branch instructions here, so we don't mark those as a data-region
940 // at all.
941 if (OffsetWidth != 4)
942 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
Jim Grosbachd64f9b82010-09-21 23:28:16 +0000943}
944
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000945void ARMAsmPrinter::EmitUnwindingInstruction(const MachineInstr *MI) {
946 assert(MI->getFlag(MachineInstr::FrameSetup) &&
947 "Only instruction which are involved into frame setup code are allowed");
948
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000949 MCTargetStreamer &TS = OutStreamer.getTargetStreamer();
950 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000951 const MachineFunction &MF = *MI->getParent()->getParent();
952 const TargetRegisterInfo *RegInfo = MF.getTarget().getRegisterInfo();
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +0000953 const ARMFunctionInfo &AFI = *MF.getInfo<ARMFunctionInfo>();
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000954
955 unsigned FramePtr = RegInfo->getFrameRegister(MF);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000956 unsigned Opc = MI->getOpcode();
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000957 unsigned SrcReg, DstReg;
958
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000959 if (Opc == ARM::tPUSH || Opc == ARM::tLDRpci) {
960 // Two special cases:
961 // 1) tPUSH does not have src/dst regs.
962 // 2) for Thumb1 code we sometimes materialize the constant via constpool
963 // load. Yes, this is pretty fragile, but for now I don't see better
964 // way... :(
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000965 SrcReg = DstReg = ARM::SP;
966 } else {
Anton Korobeynikova8d177b2011-03-05 18:43:50 +0000967 SrcReg = MI->getOperand(1).getReg();
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000968 DstReg = MI->getOperand(0).getReg();
969 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000970
971 // Try to figure out the unwinding opcode out of src / dst regs.
Evan Cheng7f8e5632011-12-07 07:15:52 +0000972 if (MI->mayStore()) {
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000973 // Register saves.
974 assert(DstReg == ARM::SP &&
975 "Only stack pointer as a destination reg is supported");
976
977 SmallVector<unsigned, 4> RegList;
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000978 // Skip src & dst reg, and pred ops.
979 unsigned StartOp = 2 + 2;
980 // Use all the operands.
981 unsigned NumOffset = 0;
982
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000983 switch (Opc) {
984 default:
985 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +0000986 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000987 case ARM::tPUSH:
988 // Special case here: no src & dst reg, but two extra imp ops.
989 StartOp = 2; NumOffset = 2;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000990 case ARM::STMDB_UPD:
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000991 case ARM::t2STMDB_UPD:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +0000992 case ARM::VSTMDDB_UPD:
993 assert(SrcReg == ARM::SP &&
994 "Only stack pointer as a source reg is supported");
Anton Korobeynikov51537f12011-03-05 18:43:43 +0000995 for (unsigned i = StartOp, NumOps = MI->getNumOperands() - NumOffset;
Anton Korobeynikovef731ed2012-08-04 13:25:58 +0000996 i != NumOps; ++i) {
997 const MachineOperand &MO = MI->getOperand(i);
998 // Actually, there should never be any impdef stuff here. Skip it
999 // temporary to workaround PR11902.
1000 if (MO.isImplicit())
1001 continue;
1002 RegList.push_back(MO.getReg());
1003 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001004 break;
Owen Anderson2aedba62011-07-26 20:54:26 +00001005 case ARM::STR_PRE_IMM:
1006 case ARM::STR_PRE_REG:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001007 case ARM::t2STR_PRE:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001008 assert(MI->getOperand(2).getReg() == ARM::SP &&
1009 "Only stack pointer as a source reg is supported");
1010 RegList.push_back(SrcReg);
1011 break;
1012 }
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001013 ATS.emitRegSave(RegList, Opc == ARM::VSTMDDB_UPD);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001014 } else {
1015 // Changes of stack / frame pointer.
1016 if (SrcReg == ARM::SP) {
1017 int64_t Offset = 0;
1018 switch (Opc) {
1019 default:
1020 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001021 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001022 case ARM::MOVr:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001023 case ARM::tMOVr:
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001024 Offset = 0;
1025 break;
1026 case ARM::ADDri:
1027 Offset = -MI->getOperand(2).getImm();
1028 break;
1029 case ARM::SUBri:
Evgeniy Stepanov4c7eb472012-01-19 12:53:06 +00001030 case ARM::t2SUBri:
Jim Grosbacha8a80672011-06-29 23:25:04 +00001031 Offset = MI->getOperand(2).getImm();
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001032 break;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001033 case ARM::tSUBspi:
Jim Grosbacha8a80672011-06-29 23:25:04 +00001034 Offset = MI->getOperand(2).getImm()*4;
Anton Korobeynikov51537f12011-03-05 18:43:43 +00001035 break;
1036 case ARM::tADDspi:
1037 case ARM::tADDrSPi:
1038 Offset = -MI->getOperand(2).getImm()*4;
1039 break;
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001040 case ARM::tLDRpci: {
1041 // Grab the constpool index and check, whether it corresponds to
1042 // original or cloned constpool entry.
1043 unsigned CPI = MI->getOperand(1).getIndex();
1044 const MachineConstantPool *MCP = MF.getConstantPool();
1045 if (CPI >= MCP->getConstants().size())
1046 CPI = AFI.getOriginalCPIdx(CPI);
1047 assert(CPI != -1U && "Invalid constpool index");
1048
1049 // Derive the actual offset.
1050 const MachineConstantPoolEntry &CPE = MCP->getConstants()[CPI];
1051 assert(!CPE.isMachineConstantPoolEntry() && "Invalid constpool entry");
1052 // FIXME: Check for user, it should be "add" instruction!
1053 Offset = -cast<ConstantInt>(CPE.Val.ConstVal)->getSExtValue();
Anton Korobeynikova8d177b2011-03-05 18:43:50 +00001054 break;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001055 }
Anton Korobeynikov9e66cbb2011-03-05 18:43:55 +00001056 }
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001057
1058 if (DstReg == FramePtr && FramePtr != ARM::SP)
Anton Korobeynikov692f6332011-03-05 18:44:00 +00001059 // Set-up of the frame pointer. Positive values correspond to "add"
1060 // instruction.
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001061 ATS.emitSetFP(FramePtr, ARM::SP, -Offset);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001062 else if (DstReg == ARM::SP) {
Anton Korobeynikov692f6332011-03-05 18:44:00 +00001063 // Change of SP by an offset. Positive values correspond to "sub"
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001064 // instruction.
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001065 ATS.emitPad(Offset);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001066 } else {
1067 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001068 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001069 }
1070 } else if (DstReg == ARM::SP) {
1071 // FIXME: .movsp goes here
1072 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001073 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001074 }
1075 else {
1076 MI->dump();
Craig Toppere55c5562012-02-07 02:50:20 +00001077 llvm_unreachable("Unsupported opcode for unwinding information");
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001078 }
1079 }
1080}
1081
Chandler Carruthed975232012-01-24 00:30:17 +00001082extern cl::opt<bool> EnableARMEHABI;
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001083
Jim Grosbach95dee402011-07-08 17:40:42 +00001084// Simple pseudo-instructions have their lowering (with expansion to real
1085// instructions) auto-generated.
1086#include "ARMGenMCPseudoLowering.inc"
1087
Jim Grosbach05eccf02010-09-29 15:23:40 +00001088void ARMAsmPrinter::EmitInstruction(const MachineInstr *MI) {
Jim Grosbach4b63d2a2012-05-18 19:12:01 +00001089 // If we just ended a constant pool, mark it as such.
1090 if (InConstantPool && MI->getOpcode() != ARM::CONSTPOOL_ENTRY) {
1091 OutStreamer.EmitDataRegion(MCDR_DataRegionEnd);
1092 InConstantPool = false;
1093 }
Owen Anderson0ca562e2011-10-04 23:26:17 +00001094
Jim Grosbach51b55422011-08-23 21:32:34 +00001095 // Emit unwinding stuff for frame-related instructions
Chandler Carruthed975232012-01-24 00:30:17 +00001096 if (EnableARMEHABI && MI->getFlag(MachineInstr::FrameSetup))
Jim Grosbach51b55422011-08-23 21:32:34 +00001097 EmitUnwindingInstruction(MI);
1098
Jim Grosbach95dee402011-07-08 17:40:42 +00001099 // Do any auto-generated pseudo lowerings.
1100 if (emitPseudoExpansionLowering(OutStreamer, MI))
1101 return;
1102
Andrew Trick924123a2011-09-21 02:20:46 +00001103 assert(!convertAddSubFlagsOpcode(MI->getOpcode()) &&
1104 "Pseudo flag setting opcode should be expanded early");
1105
Jim Grosbach95dee402011-07-08 17:40:42 +00001106 // Check for manual lowerings.
Evan Chengdfce83c2011-01-17 08:03:18 +00001107 unsigned Opc = MI->getOpcode();
1108 switch (Opc) {
Craig Toppere55c5562012-02-07 02:50:20 +00001109 case ARM::t2MOVi32imm: llvm_unreachable("Should be lowered by thumb2it pass");
David Blaikieb735b4d2013-06-16 20:34:27 +00001110 case ARM::DBG_VALUE: llvm_unreachable("Should be handled by generic printing");
Jim Grosbach8c1fabe2010-12-14 21:10:47 +00001111 case ARM::LEApcrel:
Jim Grosbach509dc2a2010-12-14 22:28:03 +00001112 case ARM::tLEApcrel:
Jim Grosbach8c1fabe2010-12-14 21:10:47 +00001113 case ARM::t2LEApcrel: {
Jim Grosbachce2bd8d2010-12-02 00:28:45 +00001114 // FIXME: Need to also handle globals and externals
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001115 MCSymbol *CPISymbol = GetCPISymbol(MI->getOperand(1).getIndex());
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001116 OutStreamer.EmitInstruction(MCInstBuilder(MI->getOpcode() ==
1117 ARM::t2LEApcrel ? ARM::t2ADR
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001118 : (MI->getOpcode() == ARM::tLEApcrel ? ARM::tADR
1119 : ARM::ADR))
1120 .addReg(MI->getOperand(0).getReg())
1121 .addExpr(MCSymbolRefExpr::Create(CPISymbol, OutContext))
1122 // Add predicate operands.
1123 .addImm(MI->getOperand(2).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001124 .addReg(MI->getOperand(3).getReg()));
Jim Grosbachce2bd8d2010-12-02 00:28:45 +00001125 return;
1126 }
Jim Grosbach509dc2a2010-12-14 22:28:03 +00001127 case ARM::LEApcrelJT:
1128 case ARM::tLEApcrelJT:
1129 case ARM::t2LEApcrelJT: {
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001130 MCSymbol *JTIPICSymbol =
1131 GetARMJTIPICJumpTableLabel2(MI->getOperand(1).getIndex(),
1132 MI->getOperand(2).getImm());
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001133 OutStreamer.EmitInstruction(MCInstBuilder(MI->getOpcode() ==
1134 ARM::t2LEApcrelJT ? ARM::t2ADR
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001135 : (MI->getOpcode() == ARM::tLEApcrelJT ? ARM::tADR
1136 : ARM::ADR))
1137 .addReg(MI->getOperand(0).getReg())
1138 .addExpr(MCSymbolRefExpr::Create(JTIPICSymbol, OutContext))
1139 // Add predicate operands.
1140 .addImm(MI->getOperand(3).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001141 .addReg(MI->getOperand(4).getReg()));
Jim Grosbachdc35e062010-12-01 19:47:31 +00001142 return;
1143 }
Jim Grosbach3f2096e2011-03-12 00:45:26 +00001144 // Darwin call instructions are just normal call instructions with different
1145 // clobber semantics (they clobber R9).
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001146 case ARM::BX_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001147 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001148 .addReg(ARM::LR)
1149 .addReg(ARM::PC)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001150 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001151 .addImm(ARMCC::AL)
1152 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001153 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001154 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001155
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001156 OutStreamer.EmitInstruction(MCInstBuilder(ARM::BX)
1157 .addReg(MI->getOperand(0).getReg()));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001158 return;
1159 }
Cameron Zwaricha946f472011-05-25 21:53:50 +00001160 case ARM::tBX_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001161 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001162 .addReg(ARM::LR)
1163 .addReg(ARM::PC)
Jim Grosbachb98ab912011-06-30 22:10:46 +00001164 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001165 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001166 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001167
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001168 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tBX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001169 .addReg(MI->getOperand(0).getReg())
Cameron Zwaricha946f472011-05-25 21:53:50 +00001170 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001171 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001172 .addReg(0));
Cameron Zwaricha946f472011-05-25 21:53:50 +00001173 return;
1174 }
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001175 case ARM::BMOVPCRX_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001176 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001177 .addReg(ARM::LR)
1178 .addReg(ARM::PC)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001179 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001180 .addImm(ARMCC::AL)
1181 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001182 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001183 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001184
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001185 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001186 .addReg(ARM::PC)
Benjamin Kramer2f545712013-03-15 17:27:39 +00001187 .addReg(MI->getOperand(0).getReg())
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001188 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001189 .addImm(ARMCC::AL)
1190 .addReg(0)
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001191 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001192 .addReg(0));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001193 return;
1194 }
Evan Cheng65f9d192012-02-28 18:51:51 +00001195 case ARM::BMOVPCB_CALL: {
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001196 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001197 .addReg(ARM::LR)
1198 .addReg(ARM::PC)
Evan Cheng65f9d192012-02-28 18:51:51 +00001199 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001200 .addImm(ARMCC::AL)
1201 .addReg(0)
Evan Cheng65f9d192012-02-28 18:51:51 +00001202 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001203 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001204
1205 const GlobalValue *GV = MI->getOperand(0).getGlobal();
1206 MCSymbol *GVSym = Mang->getSymbol(GV);
1207 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001208 OutStreamer.EmitInstruction(MCInstBuilder(ARM::Bcc)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001209 .addExpr(GVSymExpr)
Evan Cheng65f9d192012-02-28 18:51:51 +00001210 // Add predicate operands.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001211 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001212 .addReg(0));
Evan Cheng65f9d192012-02-28 18:51:51 +00001213 return;
1214 }
Evan Cheng2f2435d2011-01-21 18:55:51 +00001215 case ARM::MOVi16_ga_pcrel:
1216 case ARM::t2MOVi16_ga_pcrel: {
Evan Chengdfce83c2011-01-17 08:03:18 +00001217 MCInst TmpInst;
Evan Cheng2f2435d2011-01-21 18:55:51 +00001218 TmpInst.setOpcode(Opc == ARM::MOVi16_ga_pcrel? ARM::MOVi16 : ARM::t2MOVi16);
Evan Chengdfce83c2011-01-17 08:03:18 +00001219 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1220
Evan Cheng2f2435d2011-01-21 18:55:51 +00001221 unsigned TF = MI->getOperand(1).getTargetFlags();
1222 bool isPIC = TF == ARMII::MO_LO16_NONLAZY_PIC;
Evan Chengdfce83c2011-01-17 08:03:18 +00001223 const GlobalValue *GV = MI->getOperand(1).getGlobal();
1224 MCSymbol *GVSym = GetARMGVSymbol(GV);
1225 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001226 if (isPIC) {
1227 MCSymbol *LabelSym = getPICLabel(MAI->getPrivateGlobalPrefix(),
1228 getFunctionNumber(),
1229 MI->getOperand(2).getImm(), OutContext);
1230 const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext);
1231 unsigned PCAdj = (Opc == ARM::MOVi16_ga_pcrel) ? 8 : 4;
1232 const MCExpr *PCRelExpr =
1233 ARMMCExpr::CreateLower16(MCBinaryExpr::CreateSub(GVSymExpr,
1234 MCBinaryExpr::CreateAdd(LabelSymExpr,
1235 MCConstantExpr::Create(PCAdj, OutContext),
Evan Chengdfce83c2011-01-17 08:03:18 +00001236 OutContext), OutContext), OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001237 TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr));
1238 } else {
1239 const MCExpr *RefExpr= ARMMCExpr::CreateLower16(GVSymExpr, OutContext);
1240 TmpInst.addOperand(MCOperand::CreateExpr(RefExpr));
1241 }
1242
Evan Chengdfce83c2011-01-17 08:03:18 +00001243 // Add predicate operands.
1244 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1245 TmpInst.addOperand(MCOperand::CreateReg(0));
1246 // Add 's' bit operand (always reg0 for this)
1247 TmpInst.addOperand(MCOperand::CreateReg(0));
1248 OutStreamer.EmitInstruction(TmpInst);
1249 return;
1250 }
Evan Cheng2f2435d2011-01-21 18:55:51 +00001251 case ARM::MOVTi16_ga_pcrel:
1252 case ARM::t2MOVTi16_ga_pcrel: {
Evan Chengdfce83c2011-01-17 08:03:18 +00001253 MCInst TmpInst;
Evan Cheng2f2435d2011-01-21 18:55:51 +00001254 TmpInst.setOpcode(Opc == ARM::MOVTi16_ga_pcrel
1255 ? ARM::MOVTi16 : ARM::t2MOVTi16);
Evan Chengdfce83c2011-01-17 08:03:18 +00001256 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1257 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1258
Evan Cheng2f2435d2011-01-21 18:55:51 +00001259 unsigned TF = MI->getOperand(2).getTargetFlags();
1260 bool isPIC = TF == ARMII::MO_HI16_NONLAZY_PIC;
Evan Chengdfce83c2011-01-17 08:03:18 +00001261 const GlobalValue *GV = MI->getOperand(2).getGlobal();
1262 MCSymbol *GVSym = GetARMGVSymbol(GV);
1263 const MCExpr *GVSymExpr = MCSymbolRefExpr::Create(GVSym, OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001264 if (isPIC) {
1265 MCSymbol *LabelSym = getPICLabel(MAI->getPrivateGlobalPrefix(),
1266 getFunctionNumber(),
1267 MI->getOperand(3).getImm(), OutContext);
1268 const MCExpr *LabelSymExpr= MCSymbolRefExpr::Create(LabelSym, OutContext);
1269 unsigned PCAdj = (Opc == ARM::MOVTi16_ga_pcrel) ? 8 : 4;
1270 const MCExpr *PCRelExpr =
1271 ARMMCExpr::CreateUpper16(MCBinaryExpr::CreateSub(GVSymExpr,
1272 MCBinaryExpr::CreateAdd(LabelSymExpr,
1273 MCConstantExpr::Create(PCAdj, OutContext),
Evan Chengdfce83c2011-01-17 08:03:18 +00001274 OutContext), OutContext), OutContext);
Evan Cheng2f2435d2011-01-21 18:55:51 +00001275 TmpInst.addOperand(MCOperand::CreateExpr(PCRelExpr));
1276 } else {
1277 const MCExpr *RefExpr= ARMMCExpr::CreateUpper16(GVSymExpr, OutContext);
1278 TmpInst.addOperand(MCOperand::CreateExpr(RefExpr));
1279 }
Evan Chengdfce83c2011-01-17 08:03:18 +00001280 // Add predicate operands.
1281 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1282 TmpInst.addOperand(MCOperand::CreateReg(0));
1283 // Add 's' bit operand (always reg0 for this)
1284 TmpInst.addOperand(MCOperand::CreateReg(0));
1285 OutStreamer.EmitInstruction(TmpInst);
1286 return;
1287 }
Jim Grosbach3d979202010-09-17 23:41:53 +00001288 case ARM::tPICADD: {
1289 // This is a pseudo op for a label + instruction sequence, which looks like:
1290 // LPC0:
1291 // add r0, pc
1292 // This adds the address of LPC0 to r0.
1293
1294 // Emit the label.
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001295 OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(),
1296 getFunctionNumber(), MI->getOperand(2).getImm(),
1297 OutContext));
Jim Grosbach3d979202010-09-17 23:41:53 +00001298
1299 // Form and emit the add.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001300 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tADDhirr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001301 .addReg(MI->getOperand(0).getReg())
1302 .addReg(MI->getOperand(0).getReg())
1303 .addReg(ARM::PC)
1304 // Add predicate operands.
1305 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001306 .addReg(0));
Jim Grosbach3d979202010-09-17 23:41:53 +00001307 return;
1308 }
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001309 case ARM::PICADD: {
Chris Lattneradd57492009-10-19 22:23:04 +00001310 // This is a pseudo op for a label + instruction sequence, which looks like:
1311 // LPC0:
1312 // add r0, pc, r0
1313 // This adds the address of LPC0 to r0.
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001314
Chris Lattneradd57492009-10-19 22:23:04 +00001315 // Emit the label.
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001316 OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(),
1317 getFunctionNumber(), MI->getOperand(2).getImm(),
1318 OutContext));
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001319
Jim Grosbach7ae94222010-09-14 21:05:34 +00001320 // Form and emit the add.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001321 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDrr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001322 .addReg(MI->getOperand(0).getReg())
1323 .addReg(ARM::PC)
1324 .addReg(MI->getOperand(1).getReg())
1325 // Add predicate operands.
1326 .addImm(MI->getOperand(3).getImm())
1327 .addReg(MI->getOperand(4).getReg())
1328 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001329 .addReg(0));
Chris Lattneradd57492009-10-19 22:23:04 +00001330 return;
1331 }
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001332 case ARM::PICSTR:
1333 case ARM::PICSTRB:
1334 case ARM::PICSTRH:
1335 case ARM::PICLDR:
1336 case ARM::PICLDRB:
1337 case ARM::PICLDRH:
1338 case ARM::PICLDRSB:
1339 case ARM::PICLDRSH: {
Jim Grosbach218e22d2010-09-16 17:43:25 +00001340 // This is a pseudo op for a label + instruction sequence, which looks like:
1341 // LPC0:
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001342 // OP r0, [pc, r0]
Jim Grosbach218e22d2010-09-16 17:43:25 +00001343 // The LCP0 label is referenced by a constant pool entry in order to get
1344 // a PC-relative address at the ldr instruction.
1345
1346 // Emit the label.
Jim Grosbachaf5d6352010-09-18 00:05:05 +00001347 OutStreamer.EmitLabel(getPICLabel(MAI->getPrivateGlobalPrefix(),
1348 getFunctionNumber(), MI->getOperand(2).getImm(),
1349 OutContext));
Jim Grosbach218e22d2010-09-16 17:43:25 +00001350
1351 // Form and emit the load
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001352 unsigned Opcode;
1353 switch (MI->getOpcode()) {
1354 default:
1355 llvm_unreachable("Unexpected opcode!");
Jim Grosbach338de3e2010-10-27 23:12:14 +00001356 case ARM::PICSTR: Opcode = ARM::STRrs; break;
1357 case ARM::PICSTRB: Opcode = ARM::STRBrs; break;
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001358 case ARM::PICSTRH: Opcode = ARM::STRH; break;
Jim Grosbach1e4d9a12010-10-26 22:37:02 +00001359 case ARM::PICLDR: Opcode = ARM::LDRrs; break;
Jim Grosbach5a7c7152010-10-27 00:19:44 +00001360 case ARM::PICLDRB: Opcode = ARM::LDRBrs; break;
Jim Grosbacha7d430b2010-09-17 16:25:52 +00001361 case ARM::PICLDRH: Opcode = ARM::LDRH; break;
1362 case ARM::PICLDRSB: Opcode = ARM::LDRSB; break;
1363 case ARM::PICLDRSH: Opcode = ARM::LDRSH; break;
1364 }
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001365 OutStreamer.EmitInstruction(MCInstBuilder(Opcode)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001366 .addReg(MI->getOperand(0).getReg())
1367 .addReg(ARM::PC)
1368 .addReg(MI->getOperand(1).getReg())
1369 .addImm(0)
1370 // Add predicate operands.
1371 .addImm(MI->getOperand(3).getImm())
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001372 .addReg(MI->getOperand(4).getReg()));
Jim Grosbach218e22d2010-09-16 17:43:25 +00001373
1374 return;
1375 }
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001376 case ARM::CONSTPOOL_ENTRY: {
Chris Lattner186c6b02009-10-19 22:33:05 +00001377 /// CONSTPOOL_ENTRY - This instruction represents a floating constant pool
1378 /// in the function. The first operand is the ID# for this instruction, the
1379 /// second is the index into the MachineConstantPool that this is, the third
1380 /// is the size in bytes of this constant pool entry.
Jakob Stoklund Olesen2e05db22011-12-06 01:43:02 +00001381 /// The required alignment is specified on the basic block holding this MI.
Chris Lattner186c6b02009-10-19 22:33:05 +00001382 unsigned LabelId = (unsigned)MI->getOperand(0).getImm();
1383 unsigned CPIdx = (unsigned)MI->getOperand(1).getIndex();
1384
Jim Grosbach4b63d2a2012-05-18 19:12:01 +00001385 // If this is the first entry of the pool, mark it.
1386 if (!InConstantPool) {
1387 OutStreamer.EmitDataRegion(MCDR_DataRegion);
1388 InConstantPool = true;
1389 }
1390
Chris Lattnerc55ea3f2010-01-23 07:00:21 +00001391 OutStreamer.EmitLabel(GetCPISymbol(LabelId));
Chris Lattner186c6b02009-10-19 22:33:05 +00001392
1393 const MachineConstantPoolEntry &MCPE = MCP->getConstants()[CPIdx];
1394 if (MCPE.isMachineConstantPoolEntry())
1395 EmitMachineConstantPoolValue(MCPE.Val.MachineCPVal);
1396 else
1397 EmitGlobalConstant(MCPE.Val.ConstVal);
Chris Lattner186c6b02009-10-19 22:33:05 +00001398 return;
1399 }
Jim Grosbachd64f9b82010-09-21 23:28:16 +00001400 case ARM::t2BR_JT: {
1401 // Lower and emit the instruction itself, then the jump table following it.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001402 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001403 .addReg(ARM::PC)
1404 .addReg(MI->getOperand(0).getReg())
1405 // Add predicate operands.
1406 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001407 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001408
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001409 // Output the data for the jump table itself
1410 EmitJump2Table(MI);
1411 return;
1412 }
1413 case ARM::t2TBB_JT: {
1414 // Lower and emit the instruction itself, then the jump table following it.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001415 OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2TBB)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001416 .addReg(ARM::PC)
1417 .addReg(MI->getOperand(0).getReg())
1418 // Add predicate operands.
1419 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001420 .addReg(0));
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001421
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001422 // Output the data for the jump table itself
1423 EmitJump2Table(MI);
1424 // Make sure the next instruction is 2-byte aligned.
1425 EmitAlignment(1);
1426 return;
1427 }
1428 case ARM::t2TBH_JT: {
1429 // Lower and emit the instruction itself, then the jump table following it.
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001430 OutStreamer.EmitInstruction(MCInstBuilder(ARM::t2TBH)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001431 .addReg(ARM::PC)
1432 .addReg(MI->getOperand(0).getReg())
1433 // Add predicate operands.
1434 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001435 .addReg(0));
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001436
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001437 // Output the data for the jump table itself
Jim Grosbachd64f9b82010-09-21 23:28:16 +00001438 EmitJump2Table(MI);
1439 return;
1440 }
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001441 case ARM::tBR_JTr:
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001442 case ARM::BR_JTr: {
1443 // Lower and emit the instruction itself, then the jump table following it.
1444 // mov pc, target
1445 MCInst TmpInst;
Jim Grosbach7ec3d342010-11-29 22:37:40 +00001446 unsigned Opc = MI->getOpcode() == ARM::BR_JTr ?
Jim Grosbache9cc9012011-06-30 23:38:17 +00001447 ARM::MOVr : ARM::tMOVr;
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001448 TmpInst.setOpcode(Opc);
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001449 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1450 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1451 // Add predicate operands.
1452 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1453 TmpInst.addOperand(MCOperand::CreateReg(0));
Jim Grosbachcd5e30f2010-11-30 18:30:19 +00001454 // Add 's' bit operand (always reg0 for this)
1455 if (Opc == ARM::MOVr)
1456 TmpInst.addOperand(MCOperand::CreateReg(0));
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001457 OutStreamer.EmitInstruction(TmpInst);
1458
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001459 // Make sure the Thumb jump table is 4-byte aligned.
Jim Grosbache9cc9012011-06-30 23:38:17 +00001460 if (Opc == ARM::tMOVr)
Jim Grosbach58bc36a2010-11-29 19:32:47 +00001461 EmitAlignment(2);
1462
Jim Grosbach150b1ad2010-11-29 18:37:44 +00001463 // Output the data for the jump table itself
1464 EmitJumpTable(MI);
1465 return;
1466 }
1467 case ARM::BR_JTm: {
1468 // Lower and emit the instruction itself, then the jump table following it.
1469 // ldr pc, target
1470 MCInst TmpInst;
1471 if (MI->getOperand(1).getReg() == 0) {
1472 // literal offset
1473 TmpInst.setOpcode(ARM::LDRi12);
1474 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1475 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1476 TmpInst.addOperand(MCOperand::CreateImm(MI->getOperand(2).getImm()));
1477 } else {
1478 TmpInst.setOpcode(ARM::LDRrs);
1479 TmpInst.addOperand(MCOperand::CreateReg(ARM::PC));
1480 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(0).getReg()));
1481 TmpInst.addOperand(MCOperand::CreateReg(MI->getOperand(1).getReg()));
1482 TmpInst.addOperand(MCOperand::CreateImm(0));
1483 }
1484 // Add predicate operands.
1485 TmpInst.addOperand(MCOperand::CreateImm(ARMCC::AL));
1486 TmpInst.addOperand(MCOperand::CreateReg(0));
1487 OutStreamer.EmitInstruction(TmpInst);
1488
1489 // Output the data for the jump table itself
Jim Grosbach284eebc2010-09-22 17:39:48 +00001490 EmitJumpTable(MI);
1491 return;
1492 }
Jim Grosbach08c562b2010-11-17 21:05:55 +00001493 case ARM::BR_JTadd: {
1494 // Lower and emit the instruction itself, then the jump table following it.
1495 // add pc, target, idx
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001496 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDrr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001497 .addReg(ARM::PC)
1498 .addReg(MI->getOperand(0).getReg())
1499 .addReg(MI->getOperand(1).getReg())
1500 // Add predicate operands.
1501 .addImm(ARMCC::AL)
1502 .addReg(0)
1503 // Add 's' bit operand (always reg0 for this)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001504 .addReg(0));
Jim Grosbach08c562b2010-11-17 21:05:55 +00001505
1506 // Output the data for the jump table itself
1507 EmitJumpTable(MI);
1508 return;
1509 }
Jim Grosbach85030542010-09-23 18:05:37 +00001510 case ARM::TRAP: {
1511 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1512 // FIXME: Remove this special case when they do.
1513 if (!Subtarget->isTargetDarwin()) {
Jim Grosbachfae83052010-10-01 23:21:38 +00001514 //.long 0xe7ffdefe @ trap
Jim Grosbach7d348372010-09-23 19:42:17 +00001515 uint32_t Val = 0xe7ffdefeUL;
Jim Grosbach85030542010-09-23 18:05:37 +00001516 OutStreamer.AddComment("trap");
1517 OutStreamer.EmitIntValue(Val, 4);
1518 return;
1519 }
1520 break;
1521 }
Eli Bendersky2e2ce492013-01-30 16:30:19 +00001522 case ARM::TRAPNaCl: {
1523 //.long 0xe7fedef0 @ trap
1524 uint32_t Val = 0xe7fedef0UL;
1525 OutStreamer.AddComment("trap");
1526 OutStreamer.EmitIntValue(Val, 4);
1527 return;
1528 }
Jim Grosbach85030542010-09-23 18:05:37 +00001529 case ARM::tTRAP: {
1530 // Non-Darwin binutils don't yet support the "trap" mnemonic.
1531 // FIXME: Remove this special case when they do.
1532 if (!Subtarget->isTargetDarwin()) {
Jim Grosbachfae83052010-10-01 23:21:38 +00001533 //.short 57086 @ trap
Benjamin Kramere38495d2010-09-23 18:57:26 +00001534 uint16_t Val = 0xdefe;
Jim Grosbach85030542010-09-23 18:05:37 +00001535 OutStreamer.AddComment("trap");
1536 OutStreamer.EmitIntValue(Val, 2);
1537 return;
1538 }
1539 break;
1540 }
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001541 case ARM::t2Int_eh_sjlj_setjmp:
1542 case ARM::t2Int_eh_sjlj_setjmp_nofp:
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001543 case ARM::tInt_eh_sjlj_setjmp: {
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001544 // Two incoming args: GPR:$src, GPR:$val
1545 // mov $val, pc
1546 // adds $val, #7
1547 // str $val, [$src, #4]
1548 // movs r0, #0
1549 // b 1f
1550 // movs r0, #1
1551 // 1:
1552 unsigned SrcReg = MI->getOperand(0).getReg();
1553 unsigned ValReg = MI->getOperand(1).getReg();
1554 MCSymbol *Label = GetARMSJLJEHLabel();
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001555 OutStreamer.AddComment("eh_setjmp begin");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001556 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001557 .addReg(ValReg)
1558 .addReg(ARM::PC)
Jim Grosbachb98ab912011-06-30 22:10:46 +00001559 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001560 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001561 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001562
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001563 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tADDi3)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001564 .addReg(ValReg)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001565 // 's' bit operand
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001566 .addReg(ARM::CPSR)
1567 .addReg(ValReg)
1568 .addImm(7)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001569 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001570 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001571 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001572
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001573 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tSTRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001574 .addReg(ValReg)
1575 .addReg(SrcReg)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001576 // The offset immediate is #4. The operand value is scaled by 4 for the
1577 // tSTR instruction.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001578 .addImm(1)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001579 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001580 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001581 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001582
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001583 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVi8)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001584 .addReg(ARM::R0)
1585 .addReg(ARM::CPSR)
1586 .addImm(0)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001587 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001588 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001589 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001590
1591 const MCExpr *SymbolExpr = MCSymbolRefExpr::Create(Label, OutContext);
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001592 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tB)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001593 .addExpr(SymbolExpr)
1594 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001595 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001596
1597 OutStreamer.AddComment("eh_setjmp end");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001598 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tMOVi8)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001599 .addReg(ARM::R0)
1600 .addReg(ARM::CPSR)
1601 .addImm(1)
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001602 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001603 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001604 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001605
Jim Grosbach4a6ab132010-09-24 20:47:58 +00001606 OutStreamer.EmitLabel(Label);
1607 return;
1608 }
1609
Jim Grosbachc0aed712010-09-23 23:33:56 +00001610 case ARM::Int_eh_sjlj_setjmp_nofp:
Jim Grosbachc8e2e9d2010-09-30 19:53:58 +00001611 case ARM::Int_eh_sjlj_setjmp: {
Jim Grosbachc0aed712010-09-23 23:33:56 +00001612 // Two incoming args: GPR:$src, GPR:$val
1613 // add $val, pc, #8
1614 // str $val, [$src, #+4]
1615 // mov r0, #0
1616 // add pc, pc, #0
1617 // mov r0, #1
1618 unsigned SrcReg = MI->getOperand(0).getReg();
1619 unsigned ValReg = MI->getOperand(1).getReg();
1620
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001621 OutStreamer.AddComment("eh_setjmp begin");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001622 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001623 .addReg(ValReg)
1624 .addReg(ARM::PC)
1625 .addImm(8)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001626 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001627 .addImm(ARMCC::AL)
1628 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001629 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001630 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001631
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001632 OutStreamer.EmitInstruction(MCInstBuilder(ARM::STRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001633 .addReg(ValReg)
1634 .addReg(SrcReg)
1635 .addImm(4)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001636 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001637 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001638 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001639
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001640 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001641 .addReg(ARM::R0)
1642 .addImm(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001643 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001644 .addImm(ARMCC::AL)
1645 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001646 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001647 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001648
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001649 OutStreamer.EmitInstruction(MCInstBuilder(ARM::ADDri)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001650 .addReg(ARM::PC)
1651 .addReg(ARM::PC)
1652 .addImm(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001653 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001654 .addImm(ARMCC::AL)
1655 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001656 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001657 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001658
1659 OutStreamer.AddComment("eh_setjmp end");
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001660 OutStreamer.EmitInstruction(MCInstBuilder(ARM::MOVi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001661 .addReg(ARM::R0)
1662 .addImm(1)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001663 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001664 .addImm(ARMCC::AL)
1665 .addReg(0)
Jim Grosbachc0aed712010-09-23 23:33:56 +00001666 // 's' bit operand (always reg0 for this).
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001667 .addReg(0));
Jim Grosbachc0aed712010-09-23 23:33:56 +00001668 return;
1669 }
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001670 case ARM::Int_eh_sjlj_longjmp: {
1671 // ldr sp, [$src, #8]
1672 // ldr $scratch, [$src, #4]
1673 // ldr r7, [$src]
1674 // bx $scratch
1675 unsigned SrcReg = MI->getOperand(0).getReg();
1676 unsigned ScratchReg = MI->getOperand(1).getReg();
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001677 OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001678 .addReg(ARM::SP)
1679 .addReg(SrcReg)
1680 .addImm(8)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001681 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001682 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001683 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001684
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001685 OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001686 .addReg(ScratchReg)
1687 .addReg(SrcReg)
1688 .addImm(4)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001689 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001690 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001691 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001692
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001693 OutStreamer.EmitInstruction(MCInstBuilder(ARM::LDRi12)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001694 .addReg(ARM::R7)
1695 .addReg(SrcReg)
1696 .addImm(0)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001697 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001698 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001699 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001700
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001701 OutStreamer.EmitInstruction(MCInstBuilder(ARM::BX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001702 .addReg(ScratchReg)
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001703 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001704 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001705 .addReg(0));
Jim Grosbach9e9ed982010-09-27 21:47:04 +00001706 return;
1707 }
Jim Grosbach175d6412010-09-27 22:28:11 +00001708 case ARM::tInt_eh_sjlj_longjmp: {
1709 // ldr $scratch, [$src, #8]
1710 // mov sp, $scratch
1711 // ldr $scratch, [$src, #4]
1712 // ldr r7, [$src]
1713 // bx $scratch
1714 unsigned SrcReg = MI->getOperand(0).getReg();
1715 unsigned ScratchReg = MI->getOperand(1).getReg();
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001716 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001717 .addReg(ScratchReg)
1718 .addReg(SrcReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001719 // The offset immediate is #8. The operand value is scaled by 4 for the
Bill Wendling092a7bd2010-12-14 03:36:38 +00001720 // tLDR instruction.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001721 .addImm(2)
Jim Grosbach175d6412010-09-27 22:28:11 +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::tMOVr)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001727 .addReg(ARM::SP)
1728 .addReg(ScratchReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001729 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001730 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001731 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001732
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001733 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001734 .addReg(ScratchReg)
1735 .addReg(SrcReg)
1736 .addImm(1)
Jim Grosbach175d6412010-09-27 22:28:11 +00001737 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001738 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001739 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001740
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001741 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tLDRi)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001742 .addReg(ARM::R7)
1743 .addReg(SrcReg)
1744 .addImm(0)
Jim Grosbach175d6412010-09-27 22:28:11 +00001745 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001746 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001747 .addReg(0));
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001748
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001749 OutStreamer.EmitInstruction(MCInstBuilder(ARM::tBX)
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001750 .addReg(ScratchReg)
Jim Grosbach175d6412010-09-27 22:28:11 +00001751 // Predicate.
Benjamin Kramer4e629f72012-11-26 13:34:22 +00001752 .addImm(ARMCC::AL)
Benjamin Kramerebf576d2012-11-26 18:05:52 +00001753 .addReg(0));
Jim Grosbach175d6412010-09-27 22:28:11 +00001754 return;
1755 }
Chris Lattner71eb0772009-10-19 20:20:46 +00001756 }
Jim Grosbach8ee5cd92010-09-02 01:02:06 +00001757
Chris Lattner71eb0772009-10-19 20:20:46 +00001758 MCInst TmpInst;
Chris Lattnerde16ca82010-11-14 21:00:02 +00001759 LowerARMMachineInstrToMCInst(MI, TmpInst, *this);
Anton Korobeynikove7410dd2011-03-05 18:43:32 +00001760
Chris Lattner6f1f8652010-02-03 01:16:28 +00001761 OutStreamer.EmitInstruction(TmpInst);
Chris Lattner71eb0772009-10-19 20:20:46 +00001762}
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001763
1764//===----------------------------------------------------------------------===//
1765// Target Registry Stuff
1766//===----------------------------------------------------------------------===//
1767
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001768// Force static initialization.
1769extern "C" void LLVMInitializeARMAsmPrinter() {
1770 RegisterAsmPrinter<ARMAsmPrinter> X(TheARMTarget);
1771 RegisterAsmPrinter<ARMAsmPrinter> Y(TheThumbTarget);
Daniel Dunbarf0b3d152009-10-20 05:15:36 +00001772}