blob: 9e4d202321e6c2f28168b706d37a8ce91072662f [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- ARMMCTargetDesc.cpp - ARM Target Descriptions ---------------------===//
Evan Cheng928ce722011-07-06 22:02:34 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file provides ARM specific target descriptions.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruthbe810232013-01-02 10:22:59 +000014#include "ARMBaseInfo.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000015#include "ARMMCAsmInfo.h"
Eli Bendersky2e2ce492013-01-30 16:30:19 +000016#include "ARMMCTargetDesc.h"
Evan Cheng61faa552011-07-25 21:20:24 +000017#include "InstPrinter/ARMInstPrinter.h"
Daniel Sanders50f17232015-09-15 16:17:27 +000018#include "llvm/ADT/Triple.h"
Rafael Espindolaac4ad252013-10-05 16:42:21 +000019#include "llvm/MC/MCELFStreamer.h"
Evan Cheng4d6c9d72011-08-23 20:15:21 +000020#include "llvm/MC/MCInstrAnalysis.h"
Evan Cheng928ce722011-07-06 22:02:34 +000021#include "llvm/MC/MCInstrInfo.h"
22#include "llvm/MC/MCRegisterInfo.h"
Saleem Abdulrasool84b952b2014-04-27 03:48:22 +000023#include "llvm/MC/MCStreamer.h"
Evan Cheng928ce722011-07-06 22:02:34 +000024#include "llvm/MC/MCSubtargetInfo.h"
Evan Chengad5f4852011-07-23 00:00:19 +000025#include "llvm/Support/ErrorHandling.h"
Bradley Smith323fee12015-11-16 11:10:19 +000026#include "llvm/Support/TargetParser.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000027#include "llvm/Support/TargetRegistry.h"
Evan Cheng928ce722011-07-06 22:02:34 +000028
Joey Gouly0e76fa72013-09-12 10:28:05 +000029using namespace llvm;
30
Evan Cheng928ce722011-07-06 22:02:34 +000031#define GET_REGINFO_MC_DESC
32#include "ARMGenRegisterInfo.inc"
33
Duncan P. N. Exon Smithad987452015-07-08 17:30:55 +000034static bool getMCRDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI,
Joey Gouly0e76fa72013-09-12 10:28:05 +000035 std::string &Info) {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000036 if (STI.getFeatureBits()[llvm::ARM::HasV7Ops] &&
Joey Gouly830c27a2013-09-17 09:54:57 +000037 (MI.getOperand(0).isImm() && MI.getOperand(0).getImm() == 15) &&
Joey Gouly0e76fa72013-09-12 10:28:05 +000038 (MI.getOperand(1).isImm() && MI.getOperand(1).getImm() == 0) &&
Joey Gouly830c27a2013-09-17 09:54:57 +000039 // Checks for the deprecated CP15ISB encoding:
40 // mcr p15, #0, rX, c7, c5, #4
41 (MI.getOperand(3).isImm() && MI.getOperand(3).getImm() == 7)) {
42 if ((MI.getOperand(5).isImm() && MI.getOperand(5).getImm() == 4)) {
43 if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 5) {
44 Info = "deprecated since v7, use 'isb'";
45 return true;
46 }
47
48 // Checks for the deprecated CP15DSB encoding:
49 // mcr p15, #0, rX, c7, c10, #4
50 if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 10) {
51 Info = "deprecated since v7, use 'dsb'";
52 return true;
53 }
54 }
55 // Checks for the deprecated CP15DMB encoding:
56 // mcr p15, #0, rX, c7, c10, #5
57 if (MI.getOperand(4).isImm() && MI.getOperand(4).getImm() == 10 &&
58 (MI.getOperand(5).isImm() && MI.getOperand(5).getImm() == 5)) {
59 Info = "deprecated since v7, use 'dmb'";
60 return true;
61 }
Joey Gouly0e76fa72013-09-12 10:28:05 +000062 }
63 return false;
64}
65
Duncan P. N. Exon Smithad987452015-07-08 17:30:55 +000066static bool getITDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI,
Saleem Abdulrasool08408ea2014-12-16 04:10:10 +000067 std::string &Info) {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000068 if (STI.getFeatureBits()[llvm::ARM::HasV8Ops] && MI.getOperand(1).isImm() &&
Saleem Abdulrasool08408ea2014-12-16 04:10:10 +000069 MI.getOperand(1).getImm() != 8) {
70 Info = "applying IT instruction to more than one subsequent instruction is "
71 "deprecated";
Amara Emerson52cfb6a2013-10-03 09:31:51 +000072 return true;
73 }
74
75 return false;
76}
77
Duncan P. N. Exon Smithad987452015-07-08 17:30:55 +000078static bool getARMStoreDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI,
Saleem Abdulrasool417fc6b2014-12-16 05:53:25 +000079 std::string &Info) {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000080 assert(!STI.getFeatureBits()[llvm::ARM::ModeThumb] &&
Saleem Abdulrasool747ec2d2014-12-24 18:40:42 +000081 "cannot predicate thumb instructions");
Saleem Abdulrasool1ce7d312014-12-17 16:17:44 +000082
83 assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments");
Saleem Abdulrasool417fc6b2014-12-16 05:53:25 +000084 for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) {
85 assert(MI.getOperand(OI).isReg() && "expected register");
86 if (MI.getOperand(OI).getReg() == ARM::SP ||
87 MI.getOperand(OI).getReg() == ARM::PC) {
88 Info = "use of SP or PC in the list is deprecated";
89 return true;
90 }
91 }
92 return false;
93}
94
Duncan P. N. Exon Smithad987452015-07-08 17:30:55 +000095static bool getARMLoadDeprecationInfo(MCInst &MI, const MCSubtargetInfo &STI,
Saleem Abdulrasool0fa83202014-12-20 20:25:36 +000096 std::string &Info) {
Michael Kupersteindb0712f2015-05-26 10:47:10 +000097 assert(!STI.getFeatureBits()[llvm::ARM::ModeThumb] &&
Saleem Abdulrasool747ec2d2014-12-24 18:40:42 +000098 "cannot predicate thumb instructions");
Saleem Abdulrasool0fa83202014-12-20 20:25:36 +000099
100 assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments");
101 bool ListContainsPC = false, ListContainsLR = false;
102 for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) {
103 assert(MI.getOperand(OI).isReg() && "expected register");
104 switch (MI.getOperand(OI).getReg()) {
105 default:
106 break;
107 case ARM::LR:
108 ListContainsLR = true;
109 break;
110 case ARM::PC:
111 ListContainsPC = true;
112 break;
113 case ARM::SP:
114 Info = "use of SP in the list is deprecated";
115 return true;
116 }
117 }
118
119 if (ListContainsPC && ListContainsLR) {
120 Info = "use of LR and PC simultaneously in the list is deprecated";
121 return true;
122 }
123
124 return false;
125}
126
Evan Cheng928ce722011-07-06 22:02:34 +0000127#define GET_INSTRINFO_MC_DESC
128#include "ARMGenInstrInfo.inc"
129
130#define GET_SUBTARGETINFO_MC_DESC
131#include "ARMGenSubtargetInfo.inc"
132
Daniel Sanders50f17232015-09-15 16:17:27 +0000133std::string ARM_MC::ParseARMTriple(const Triple &TT, StringRef CPU) {
134 bool isThumb =
135 TT.getArch() == Triple::thumb || TT.getArch() == Triple::thumbeb;
Evan Cheng2bd65362011-07-07 00:08:19 +0000136
137 std::string ARMArchFeature;
Bradley Smith323fee12015-11-16 11:10:19 +0000138
139 unsigned ArchID = ARM::parseArch(TT.getArchName());
140 if (ArchID != ARM::AK_INVALID && (CPU.empty() || CPU == "generic"))
141 ARMArchFeature = (ARMArchFeature + "+" + ARM::getArchName(ArchID)).str();
Evan Cheng2bd65362011-07-07 00:08:19 +0000142
Evan Chengf2c26162011-07-07 08:26:46 +0000143 if (isThumb) {
144 if (ARMArchFeature.empty())
Evan Cheng1834f5d2011-07-07 19:05:12 +0000145 ARMArchFeature = "+thumb-mode";
Evan Chengf2c26162011-07-07 08:26:46 +0000146 else
Evan Cheng1834f5d2011-07-07 19:05:12 +0000147 ARMArchFeature += ",+thumb-mode";
Evan Chengf2c26162011-07-07 08:26:46 +0000148 }
149
Daniel Sandersa73f1fd2015-06-10 12:11:26 +0000150 if (TT.isOSNaCl()) {
Eli Bendersky2e2ce492013-01-30 16:30:19 +0000151 if (ARMArchFeature.empty())
152 ARMArchFeature = "+nacl-trap";
153 else
154 ARMArchFeature += ",+nacl-trap";
155 }
156
Evan Cheng2bd65362011-07-07 00:08:19 +0000157 return ARMArchFeature;
158}
Evan Cheng4d1ca962011-07-08 01:53:10 +0000159
Daniel Sanders50f17232015-09-15 16:17:27 +0000160MCSubtargetInfo *ARM_MC::createARMMCSubtargetInfo(const Triple &TT,
Daniel Sandersa73f1fd2015-06-10 12:11:26 +0000161 StringRef CPU, StringRef FS) {
Daniel Sanders50f17232015-09-15 16:17:27 +0000162 std::string ArchFS = ARM_MC::ParseARMTriple(TT, CPU);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000163 if (!FS.empty()) {
164 if (!ArchFS.empty())
Yaron Keren075759a2015-03-30 15:42:36 +0000165 ArchFS = (Twine(ArchFS) + "," + FS).str();
Evan Cheng4d1ca962011-07-08 01:53:10 +0000166 else
167 ArchFS = FS;
168 }
169
Duncan P. N. Exon Smith754e21f2015-07-10 22:43:42 +0000170 return createARMMCSubtargetInfoImpl(TT, CPU, ArchFS);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000171}
172
Evan Cheng1705ab02011-07-14 23:50:31 +0000173static MCInstrInfo *createARMMCInstrInfo() {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000174 MCInstrInfo *X = new MCInstrInfo();
175 InitARMMCInstrInfo(X);
176 return X;
177}
178
Daniel Sanders50f17232015-09-15 16:17:27 +0000179static MCRegisterInfo *createARMMCRegisterInfo(const Triple &Triple) {
Evan Cheng1705ab02011-07-14 23:50:31 +0000180 MCRegisterInfo *X = new MCRegisterInfo();
Jim Grosbach6df94842012-12-19 23:38:53 +0000181 InitARMMCRegisterInfo(X, ARM::LR, 0, 0, ARM::PC);
Evan Cheng1705ab02011-07-14 23:50:31 +0000182 return X;
183}
184
Daniel Sanders7813ae82015-06-04 13:12:25 +0000185static MCAsmInfo *createARMMCAsmInfo(const MCRegisterInfo &MRI,
Daniel Sanders50f17232015-09-15 16:17:27 +0000186 const Triple &TheTriple) {
Mark Seabornba86cf52014-01-27 22:38:14 +0000187 MCAsmInfo *MAI;
Daniel Sanders50f17232015-09-15 16:17:27 +0000188 if (TheTriple.isOSDarwin() || TheTriple.isOSBinFormatMachO())
189 MAI = new ARMMCAsmInfoDarwin(TheTriple);
190 else if (TheTriple.isWindowsMSVCEnvironment())
Bob Wilson1e1f1382014-10-19 00:39:30 +0000191 MAI = new ARMCOFFMCAsmInfoMicrosoft();
Daniel Sanders50f17232015-09-15 16:17:27 +0000192 else if (TheTriple.isOSWindows())
Yaron Kerend1ba2d92015-07-14 05:51:05 +0000193 MAI = new ARMCOFFMCAsmInfoGNU();
Bob Wilson1e1f1382014-10-19 00:39:30 +0000194 else
Daniel Sanders50f17232015-09-15 16:17:27 +0000195 MAI = new ARMELFMCAsmInfo(TheTriple);
Evan Cheng1705ab02011-07-14 23:50:31 +0000196
Mark Seabornba86cf52014-01-27 22:38:14 +0000197 unsigned Reg = MRI.getDwarfRegNum(ARM::SP, true);
Craig Topper062a2ba2014-04-25 05:30:21 +0000198 MAI->addInitialFrameState(MCCFIInstruction::createDefCfa(nullptr, Reg, 0));
Mark Seabornba86cf52014-01-27 22:38:14 +0000199
200 return MAI;
Evan Cheng1705ab02011-07-14 23:50:31 +0000201}
202
Daniel Sanders50f17232015-09-15 16:17:27 +0000203static MCStreamer *createELFStreamer(const Triple &T, MCContext &Ctx,
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000204 MCAsmBackend &MAB, raw_pwrite_stream &OS,
Rafael Espindolacd584a82015-03-19 01:50:16 +0000205 MCCodeEmitter *Emitter, bool RelaxAll) {
206 return createARMELFStreamer(Ctx, MAB, OS, Emitter, false,
Oliver Stannarde1f6dc52016-09-19 09:21:45 +0000207 (T.getArch() == Triple::thumb ||
208 T.getArch() == Triple::thumbeb));
Rafael Espindolacd584a82015-03-19 01:50:16 +0000209}
210
211static MCStreamer *createARMMachOStreamer(MCContext &Ctx, MCAsmBackend &MAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000212 raw_pwrite_stream &OS,
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000213 MCCodeEmitter *Emitter, bool RelaxAll,
214 bool DWARFMustBeAtTheEnd) {
215 return createMachOStreamer(Ctx, MAB, OS, Emitter, false, DWARFMustBeAtTheEnd);
Evan Chengad5f4852011-07-23 00:00:19 +0000216}
217
Daniel Sanders50f17232015-09-15 16:17:27 +0000218static MCInstPrinter *createARMMCInstPrinter(const Triple &T,
Eric Christopherf8019402015-03-31 00:10:04 +0000219 unsigned SyntaxVariant,
James Molloy4c493e82011-09-07 17:24:38 +0000220 const MCAsmInfo &MAI,
Craig Topper54bfde72012-04-02 06:09:36 +0000221 const MCInstrInfo &MII,
Eric Christopherf8019402015-03-31 00:10:04 +0000222 const MCRegisterInfo &MRI) {
Evan Cheng61faa552011-07-25 21:20:24 +0000223 if (SyntaxVariant == 0)
Eric Christopher7099d512015-03-30 21:52:28 +0000224 return new ARMInstPrinter(MAI, MII, MRI);
Craig Topper062a2ba2014-04-25 05:30:21 +0000225 return nullptr;
Evan Cheng61faa552011-07-25 21:20:24 +0000226}
227
Daniel Sanders50f17232015-09-15 16:17:27 +0000228static MCRelocationInfo *createARMMCRelocationInfo(const Triple &TT,
Quentin Colombetf4828052013-05-24 22:51:52 +0000229 MCContext &Ctx) {
Daniel Sanders9aa7e382015-06-10 10:54:40 +0000230 if (TT.isOSBinFormatMachO())
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000231 return createARMMachORelocationInfo(Ctx);
232 // Default to the stock relocation info.
Quentin Colombetf4828052013-05-24 22:51:52 +0000233 return llvm::createMCRelocationInfo(TT, Ctx);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000234}
235
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000236namespace {
237
238class ARMMCInstrAnalysis : public MCInstrAnalysis {
239public:
240 ARMMCInstrAnalysis(const MCInstrInfo *Info) : MCInstrAnalysis(Info) {}
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000241
Craig Topperca7e3e52014-03-10 03:19:03 +0000242 bool isUnconditionalBranch(const MCInst &Inst) const override {
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000243 // BCCs with the "always" predicate are unconditional branches.
244 if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL)
245 return true;
246 return MCInstrAnalysis::isUnconditionalBranch(Inst);
247 }
248
Craig Topperca7e3e52014-03-10 03:19:03 +0000249 bool isConditionalBranch(const MCInst &Inst) const override {
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000250 // BCCs with the "always" predicate are unconditional branches.
251 if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL)
252 return false;
253 return MCInstrAnalysis::isConditionalBranch(Inst);
254 }
255
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000256 bool evaluateBranch(const MCInst &Inst, uint64_t Addr,
Craig Topperca7e3e52014-03-10 03:19:03 +0000257 uint64_t Size, uint64_t &Target) const override {
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000258 // We only handle PCRel branches for now.
259 if (Info->get(Inst.getOpcode()).OpInfo[0].OperandType!=MCOI::OPERAND_PCREL)
Sam Parkerdb20d482017-03-15 14:06:42 +0000260 return false;
261
262 int64_t Imm = Inst.getOperand(0).getImm();
263 // FIXME: This is not right for thumb.
264 Target = Addr+Imm+8; // In ARM mode the PC is always off by 8 bytes.
265 return true;
266 }
267};
268
269}
270
271static MCInstrAnalysis *createARMMCInstrAnalysis(const MCInstrInfo *Info) {
272 return new ARMMCInstrAnalysis(Info);
273}
274
275// Force static initialization.
276extern "C" void LLVMInitializeARMTargetMC() {
277 for (Target *T : {&getTheARMLETarget(), &getTheARMBETarget(),
Mehdi Aminif42454b2016-10-09 23:00:34 +0000278 &getTheThumbLETarget(), &getTheThumbBETarget()}) {
Rafael Espindola69244c32015-03-18 23:15:49 +0000279 // Register the MC asm info.
280 RegisterMCAsmInfoFn X(*T, createARMMCAsmInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000281
Rafael Espindola69244c32015-03-18 23:15:49 +0000282 // Register the MC instruction info.
283 TargetRegistry::RegisterMCInstrInfo(*T, createARMMCInstrInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000284
Rafael Espindola69244c32015-03-18 23:15:49 +0000285 // Register the MC register info.
286 TargetRegistry::RegisterMCRegInfo(*T, createARMMCRegisterInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000287
Rafael Espindola69244c32015-03-18 23:15:49 +0000288 // Register the MC subtarget info.
Sam Parkerdb20d482017-03-15 14:06:42 +0000289 TargetRegistry::RegisterMCSubtargetInfo(*T,
290 ARM_MC::createARMMCSubtargetInfo);
291
292 // Register the MC instruction analyzer.
293 TargetRegistry::RegisterMCInstrAnalysis(*T, createARMMCInstrAnalysis);
294
295 TargetRegistry::RegisterELFStreamer(*T, createELFStreamer);
296 TargetRegistry::RegisterCOFFStreamer(*T, createARMWinCOFFStreamer);
297 TargetRegistry::RegisterMachOStreamer(*T, createARMMachOStreamer);
Rafael Espindolacd584a82015-03-19 01:50:16 +0000298
299 // Register the obj target streamer.
300 TargetRegistry::RegisterObjectTargetStreamer(*T,
301 createARMObjectTargetStreamer);
Rafael Espindola69244c32015-03-18 23:15:49 +0000302
303 // Register the asm streamer.
304 TargetRegistry::RegisterAsmTargetStreamer(*T, createARMTargetAsmStreamer);
305
306 // Register the null TargetStreamer.
307 TargetRegistry::RegisterNullTargetStreamer(*T, createARMNullTargetStreamer);
308
309 // Register the MCInstPrinter.
310 TargetRegistry::RegisterMCInstPrinter(*T, createARMMCInstPrinter);
311
312 // Register the MC relocation info.
Sam Parkerdb20d482017-03-15 14:06:42 +0000313 TargetRegistry::RegisterMCRelocationInfo(*T, createARMMCRelocationInfo);
314 }
315
316 // Register the MC Code Emitter
317 for (Target *T : {&getTheARMLETarget(), &getTheThumbLETarget()})
318 TargetRegistry::RegisterMCCodeEmitter(*T, createARMLEMCCodeEmitter);
Mehdi Aminif42454b2016-10-09 23:00:34 +0000319 for (Target *T : {&getTheARMBETarget(), &getTheThumbBETarget()})
Rafael Espindola69244c32015-03-18 23:15:49 +0000320 TargetRegistry::RegisterMCCodeEmitter(*T, createARMBEMCCodeEmitter);
Evan Chengad5f4852011-07-23 00:00:19 +0000321
322 // Register the asm backend.
Mehdi Aminif42454b2016-10-09 23:00:34 +0000323 TargetRegistry::RegisterMCAsmBackend(getTheARMLETarget(),
324 createARMLEAsmBackend);
325 TargetRegistry::RegisterMCAsmBackend(getTheARMBETarget(),
326 createARMBEAsmBackend);
327 TargetRegistry::RegisterMCAsmBackend(getTheThumbLETarget(),
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000328 createThumbLEAsmBackend);
Mehdi Aminif42454b2016-10-09 23:00:34 +0000329 TargetRegistry::RegisterMCAsmBackend(getTheThumbBETarget(),
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000330 createThumbBEAsmBackend);
Evan Cheng2129f592011-07-19 06:37:02 +0000331}