blob: 28d921213c742278ec73e36adb04565cb3926b65 [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 "ARMELFStreamer.h"
16#include "ARMMCAsmInfo.h"
Eli Bendersky2e2ce492013-01-30 16:30:19 +000017#include "ARMMCTargetDesc.h"
Evan Cheng61faa552011-07-25 21:20:24 +000018#include "InstPrinter/ARMInstPrinter.h"
Eli Bendersky2e2ce492013-01-30 16:30:19 +000019#include "llvm/ADT/Triple.h"
Evan Cheng4d6c9d72011-08-23 20:15:21 +000020#include "llvm/MC/MCCodeGenInfo.h"
21#include "llvm/MC/MCInstrAnalysis.h"
Evan Cheng928ce722011-07-06 22:02:34 +000022#include "llvm/MC/MCInstrInfo.h"
23#include "llvm/MC/MCRegisterInfo.h"
Evan Chengad5f4852011-07-23 00:00:19 +000024#include "llvm/MC/MCStreamer.h"
Evan Cheng928ce722011-07-06 22:02:34 +000025#include "llvm/MC/MCSubtargetInfo.h"
Evan Chengad5f4852011-07-23 00:00:19 +000026#include "llvm/Support/ErrorHandling.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
Joey Gouly0e76fa72013-09-12 10:28:05 +000034static bool getMCRDeprecationInfo(MCInst &MI, MCSubtargetInfo &STI,
35 std::string &Info) {
Joey Gouly830c27a2013-09-17 09:54:57 +000036 if (STI.getFeatureBits() & llvm::ARM::HasV7Ops &&
37 (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
Amara Emerson52cfb6a2013-10-03 09:31:51 +000066static bool getITDeprecationInfo(MCInst &MI, MCSubtargetInfo &STI,
67 std::string &Info) {
68 if (STI.getFeatureBits() & llvm::ARM::HasV8Ops &&
69 MI.getOperand(1).isImm() && MI.getOperand(1).getImm() != 8) {
70 Info = "applying IT instruction to more than one subsequent instruction is deprecated";
71 return true;
72 }
73
74 return false;
75}
76
Evan Cheng928ce722011-07-06 22:02:34 +000077#define GET_INSTRINFO_MC_DESC
78#include "ARMGenInstrInfo.inc"
79
80#define GET_SUBTARGETINFO_MC_DESC
81#include "ARMGenSubtargetInfo.inc"
82
Evan Cheng928ce722011-07-06 22:02:34 +000083
Evan Cheng9f7ad312012-04-26 01:13:36 +000084std::string ARM_MC::ParseARMTriple(StringRef TT, StringRef CPU) {
Eli Bendersky2e2ce492013-01-30 16:30:19 +000085 Triple triple(TT);
86
Evan Cheng2bd65362011-07-07 00:08:19 +000087 // Set the boolean corresponding to the current target triple, or the default
88 // if one cannot be determined, to true.
89 unsigned Len = TT.size();
90 unsigned Idx = 0;
91
Nick Lewyckyf1a5f572011-09-05 18:35:03 +000092 // FIXME: Enhance Triple helper class to extract ARM version.
Evan Chengf2c26162011-07-07 08:26:46 +000093 bool isThumb = false;
Evan Cheng2bd65362011-07-07 00:08:19 +000094 if (Len >= 5 && TT.substr(0, 4) == "armv")
95 Idx = 4;
96 else if (Len >= 6 && TT.substr(0, 5) == "thumb") {
Evan Chengf2c26162011-07-07 08:26:46 +000097 isThumb = true;
Evan Cheng2bd65362011-07-07 00:08:19 +000098 if (Len >= 7 && TT[5] == 'v')
99 Idx = 6;
100 }
101
Evan Chengf52003d2012-04-27 01:27:19 +0000102 bool NoCPU = CPU == "generic" || CPU.empty();
Evan Cheng2bd65362011-07-07 00:08:19 +0000103 std::string ARMArchFeature;
104 if (Idx) {
105 unsigned SubVer = TT[Idx];
Joey Goulyb3f550e2013-06-26 16:58:26 +0000106 if (SubVer == '8') {
107 // FIXME: Parse v8 features
Amara Emersonb4ad2f32013-09-26 12:22:36 +0000108 ARMArchFeature = "+v8,+db";
Joey Goulyb3f550e2013-06-26 16:58:26 +0000109 } else if (SubVer == '7') {
Evan Cheng2bd65362011-07-07 00:08:19 +0000110 if (Len >= Idx+2 && TT[Idx+1] == 'm') {
Tim Northovera2292d02013-06-10 23:20:58 +0000111 isThumb = true;
Evan Chengf52003d2012-04-27 01:27:19 +0000112 if (NoCPU)
113 // v7m: FeatureNoARM, FeatureDB, FeatureHWDiv, FeatureMClass
114 ARMArchFeature = "+v7,+noarm,+db,+hwdiv,+mclass";
115 else
116 // Use CPU to figure out the exact features.
117 ARMArchFeature = "+v7";
Evan Cheng2bd65362011-07-07 00:08:19 +0000118 } else if (Len >= Idx+3 && TT[Idx+1] == 'e'&& TT[Idx+2] == 'm') {
Evan Chengf52003d2012-04-27 01:27:19 +0000119 if (NoCPU)
120 // v7em: FeatureNoARM, FeatureDB, FeatureHWDiv, FeatureDSPThumb2,
121 // FeatureT2XtPk, FeatureMClass
122 ARMArchFeature = "+v7,+noarm,+db,+hwdiv,+t2dsp,t2xtpk,+mclass";
123 else
124 // Use CPU to figure out the exact features.
125 ARMArchFeature = "+v7";
Bob Wilsone8a549c2012-09-29 21:43:49 +0000126 } else if (Len >= Idx+2 && TT[Idx+1] == 's') {
127 if (NoCPU)
128 // v7s: FeatureNEON, FeatureDB, FeatureDSPThumb2, FeatureT2XtPk
129 // Swift
130 ARMArchFeature = "+v7,+swift,+neon,+db,+t2dsp,+t2xtpk";
131 else
132 // Use CPU to figure out the exact features.
133 ARMArchFeature = "+v7";
Evan Cheng9f7ad312012-04-26 01:13:36 +0000134 } else {
135 // v7 CPUs have lots of different feature sets. If no CPU is specified,
136 // then assume v7a (e.g. cortex-a8) feature set. Otherwise, return
137 // the "minimum" feature set and use CPU string to figure out the exact
138 // features.
Evan Chengf52003d2012-04-27 01:27:19 +0000139 if (NoCPU)
Evan Cheng9f7ad312012-04-26 01:13:36 +0000140 // v7a: FeatureNEON, FeatureDB, FeatureDSPThumb2, FeatureT2XtPk
141 ARMArchFeature = "+v7,+neon,+db,+t2dsp,+t2xtpk";
142 else
143 // Use CPU to figure out the exact features.
144 ARMArchFeature = "+v7";
145 }
Evan Cheng2bd65362011-07-07 00:08:19 +0000146 } else if (SubVer == '6') {
Jim Grosbach1c9dd292012-02-10 20:38:46 +0000147 if (Len >= Idx+3 && TT[Idx+1] == 't' && TT[Idx+2] == '2')
Evan Cheng2bd65362011-07-07 00:08:19 +0000148 ARMArchFeature = "+v6t2";
Evan Chengf52003d2012-04-27 01:27:19 +0000149 else if (Len >= Idx+2 && TT[Idx+1] == 'm') {
Tim Northovera2292d02013-06-10 23:20:58 +0000150 isThumb = true;
Evan Chengf52003d2012-04-27 01:27:19 +0000151 if (NoCPU)
152 // v6m: FeatureNoARM, FeatureMClass
153 ARMArchFeature = "+v6,+noarm,+mclass";
154 else
155 ARMArchFeature = "+v6";
156 } else
Evan Cheng8b2bda02011-07-07 03:55:05 +0000157 ARMArchFeature = "+v6";
Evan Cheng2bd65362011-07-07 00:08:19 +0000158 } else if (SubVer == '5') {
Evan Cheng8b2bda02011-07-07 03:55:05 +0000159 if (Len >= Idx+3 && TT[Idx+1] == 't' && TT[Idx+2] == 'e')
Evan Cheng2bd65362011-07-07 00:08:19 +0000160 ARMArchFeature = "+v5te";
Evan Cheng8b2bda02011-07-07 03:55:05 +0000161 else
162 ARMArchFeature = "+v5t";
163 } else if (SubVer == '4' && Len >= Idx+2 && TT[Idx+1] == 't')
164 ARMArchFeature = "+v4t";
Evan Cheng2bd65362011-07-07 00:08:19 +0000165 }
166
Evan Chengf2c26162011-07-07 08:26:46 +0000167 if (isThumb) {
168 if (ARMArchFeature.empty())
Evan Cheng1834f5d2011-07-07 19:05:12 +0000169 ARMArchFeature = "+thumb-mode";
Evan Chengf2c26162011-07-07 08:26:46 +0000170 else
Evan Cheng1834f5d2011-07-07 19:05:12 +0000171 ARMArchFeature += ",+thumb-mode";
Evan Chengf2c26162011-07-07 08:26:46 +0000172 }
173
Eli Bendersky2e2ce492013-01-30 16:30:19 +0000174 if (triple.isOSNaCl()) {
175 if (ARMArchFeature.empty())
176 ARMArchFeature = "+nacl-trap";
177 else
178 ARMArchFeature += ",+nacl-trap";
179 }
180
Evan Cheng2bd65362011-07-07 00:08:19 +0000181 return ARMArchFeature;
182}
Evan Cheng4d1ca962011-07-08 01:53:10 +0000183
184MCSubtargetInfo *ARM_MC::createARMMCSubtargetInfo(StringRef TT, StringRef CPU,
185 StringRef FS) {
Evan Cheng9f7ad312012-04-26 01:13:36 +0000186 std::string ArchFS = ARM_MC::ParseARMTriple(TT, CPU);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000187 if (!FS.empty()) {
188 if (!ArchFS.empty())
189 ArchFS = ArchFS + "," + FS.str();
190 else
191 ArchFS = FS;
192 }
193
194 MCSubtargetInfo *X = new MCSubtargetInfo();
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000195 InitARMMCSubtargetInfo(X, TT, CPU, ArchFS);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000196 return X;
197}
198
Evan Cheng1705ab02011-07-14 23:50:31 +0000199static MCInstrInfo *createARMMCInstrInfo() {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000200 MCInstrInfo *X = new MCInstrInfo();
201 InitARMMCInstrInfo(X);
202 return X;
203}
204
Evan Chengd60fa58b2011-07-18 20:57:22 +0000205static MCRegisterInfo *createARMMCRegisterInfo(StringRef Triple) {
Evan Cheng1705ab02011-07-14 23:50:31 +0000206 MCRegisterInfo *X = new MCRegisterInfo();
Jim Grosbach6df94842012-12-19 23:38:53 +0000207 InitARMMCRegisterInfo(X, ARM::LR, 0, 0, ARM::PC);
Evan Cheng1705ab02011-07-14 23:50:31 +0000208 return X;
209}
210
Rafael Espindola227144c2013-05-13 01:16:13 +0000211static MCAsmInfo *createARMMCAsmInfo(const MCRegisterInfo &MRI, StringRef TT) {
Evan Cheng1705ab02011-07-14 23:50:31 +0000212 Triple TheTriple(TT);
213
214 if (TheTriple.isOSDarwin())
215 return new ARMMCAsmInfoDarwin();
216
217 return new ARMELFMCAsmInfo();
218}
219
Evan Chengad5f4852011-07-23 00:00:19 +0000220static MCCodeGenInfo *createARMMCCodeGenInfo(StringRef TT, Reloc::Model RM,
Evan Chengecb29082011-11-16 08:38:26 +0000221 CodeModel::Model CM,
222 CodeGenOpt::Level OL) {
Evan Cheng2129f592011-07-19 06:37:02 +0000223 MCCodeGenInfo *X = new MCCodeGenInfo();
Jim Grosbach4e0dbee2011-09-30 17:41:35 +0000224 if (RM == Reloc::Default) {
225 Triple TheTriple(TT);
226 // Default relocation model on Darwin is PIC, not DynamicNoPIC.
227 RM = TheTriple.isOSDarwin() ? Reloc::PIC_ : Reloc::DynamicNoPIC;
228 }
Evan Chengecb29082011-11-16 08:38:26 +0000229 X->InitMCCodeGenInfo(RM, CM, OL);
Evan Cheng2129f592011-07-19 06:37:02 +0000230 return X;
231}
232
Evan Chengad5f4852011-07-23 00:00:19 +0000233// This is duplicated code. Refactor this.
Evan Cheng3a792252011-07-26 00:42:34 +0000234static MCStreamer *createMCStreamer(const Target &T, StringRef TT,
Evan Cheng5928e692011-07-25 23:24:55 +0000235 MCContext &Ctx, MCAsmBackend &MAB,
Evan Chengad5f4852011-07-23 00:00:19 +0000236 raw_ostream &OS,
237 MCCodeEmitter *Emitter,
238 bool RelaxAll,
239 bool NoExecStack) {
240 Triple TheTriple(TT);
241
242 if (TheTriple.isOSDarwin())
Jim Grosbach11e8c0d2012-03-08 00:07:52 +0000243 return createMachOStreamer(Ctx, MAB, OS, Emitter, false);
Evan Chengad5f4852011-07-23 00:00:19 +0000244
245 if (TheTriple.isOSWindows()) {
246 llvm_unreachable("ARM does not support Windows COFF format");
Evan Chengad5f4852011-07-23 00:00:19 +0000247 }
248
Tim Northover5cc3dc82012-12-07 16:50:23 +0000249 return createARMELFStreamer(Ctx, MAB, OS, Emitter, false, NoExecStack,
250 TheTriple.getArch() == Triple::thumb);
Evan Chengad5f4852011-07-23 00:00:19 +0000251}
252
Evan Cheng61faa552011-07-25 21:20:24 +0000253static MCInstPrinter *createARMMCInstPrinter(const Target &T,
254 unsigned SyntaxVariant,
James Molloy4c493e82011-09-07 17:24:38 +0000255 const MCAsmInfo &MAI,
Craig Topper54bfde72012-04-02 06:09:36 +0000256 const MCInstrInfo &MII,
Jim Grosbachfd93a592012-03-05 19:33:20 +0000257 const MCRegisterInfo &MRI,
James Molloy4c493e82011-09-07 17:24:38 +0000258 const MCSubtargetInfo &STI) {
Evan Cheng61faa552011-07-25 21:20:24 +0000259 if (SyntaxVariant == 0)
Craig Topper54bfde72012-04-02 06:09:36 +0000260 return new ARMInstPrinter(MAI, MII, MRI, STI);
Evan Cheng61faa552011-07-25 21:20:24 +0000261 return 0;
262}
263
Quentin Colombetf4828052013-05-24 22:51:52 +0000264static MCRelocationInfo *createARMMCRelocationInfo(StringRef TT,
265 MCContext &Ctx) {
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000266 Triple TheTriple(TT);
267 if (TheTriple.isEnvironmentMachO())
268 return createARMMachORelocationInfo(Ctx);
269 // Default to the stock relocation info.
Quentin Colombetf4828052013-05-24 22:51:52 +0000270 return llvm::createMCRelocationInfo(TT, Ctx);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000271}
272
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000273namespace {
274
275class ARMMCInstrAnalysis : public MCInstrAnalysis {
276public:
277 ARMMCInstrAnalysis(const MCInstrInfo *Info) : MCInstrAnalysis(Info) {}
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000278
279 virtual bool isUnconditionalBranch(const MCInst &Inst) const {
280 // BCCs with the "always" predicate are unconditional branches.
281 if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL)
282 return true;
283 return MCInstrAnalysis::isUnconditionalBranch(Inst);
284 }
285
286 virtual bool isConditionalBranch(const MCInst &Inst) const {
287 // BCCs with the "always" predicate are unconditional branches.
288 if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL)
289 return false;
290 return MCInstrAnalysis::isConditionalBranch(Inst);
291 }
292
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000293 bool evaluateBranch(const MCInst &Inst, uint64_t Addr,
294 uint64_t Size, uint64_t &Target) const {
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000295 // We only handle PCRel branches for now.
296 if (Info->get(Inst.getOpcode()).OpInfo[0].OperandType!=MCOI::OPERAND_PCREL)
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000297 return false;
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000298
299 int64_t Imm = Inst.getOperand(0).getImm();
300 // FIXME: This is not right for thumb.
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000301 Target = Addr+Imm+8; // In ARM mode the PC is always off by 8 bytes.
302 return true;
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000303 }
304};
305
306}
307
308static MCInstrAnalysis *createARMMCInstrAnalysis(const MCInstrInfo *Info) {
309 return new ARMMCInstrAnalysis(Info);
310}
Evan Chengad5f4852011-07-23 00:00:19 +0000311
Evan Cheng8c886a42011-07-22 21:58:54 +0000312// Force static initialization.
313extern "C" void LLVMInitializeARMTargetMC() {
314 // Register the MC asm info.
315 RegisterMCAsmInfoFn A(TheARMTarget, createARMMCAsmInfo);
316 RegisterMCAsmInfoFn B(TheThumbTarget, createARMMCAsmInfo);
317
318 // Register the MC codegen info.
Evan Cheng2129f592011-07-19 06:37:02 +0000319 TargetRegistry::RegisterMCCodeGenInfo(TheARMTarget, createARMMCCodeGenInfo);
320 TargetRegistry::RegisterMCCodeGenInfo(TheThumbTarget, createARMMCCodeGenInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000321
322 // Register the MC instruction info.
323 TargetRegistry::RegisterMCInstrInfo(TheARMTarget, createARMMCInstrInfo);
324 TargetRegistry::RegisterMCInstrInfo(TheThumbTarget, createARMMCInstrInfo);
325
326 // Register the MC register info.
327 TargetRegistry::RegisterMCRegInfo(TheARMTarget, createARMMCRegisterInfo);
328 TargetRegistry::RegisterMCRegInfo(TheThumbTarget, createARMMCRegisterInfo);
329
330 // Register the MC subtarget info.
331 TargetRegistry::RegisterMCSubtargetInfo(TheARMTarget,
332 ARM_MC::createARMMCSubtargetInfo);
333 TargetRegistry::RegisterMCSubtargetInfo(TheThumbTarget,
334 ARM_MC::createARMMCSubtargetInfo);
Evan Chengad5f4852011-07-23 00:00:19 +0000335
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000336 // Register the MC instruction analyzer.
337 TargetRegistry::RegisterMCInstrAnalysis(TheARMTarget,
338 createARMMCInstrAnalysis);
339 TargetRegistry::RegisterMCInstrAnalysis(TheThumbTarget,
340 createARMMCInstrAnalysis);
341
Evan Chengad5f4852011-07-23 00:00:19 +0000342 // Register the MC Code Emitter
Evan Cheng3a792252011-07-26 00:42:34 +0000343 TargetRegistry::RegisterMCCodeEmitter(TheARMTarget, createARMMCCodeEmitter);
344 TargetRegistry::RegisterMCCodeEmitter(TheThumbTarget, createARMMCCodeEmitter);
Evan Chengad5f4852011-07-23 00:00:19 +0000345
346 // Register the asm backend.
Evan Cheng5928e692011-07-25 23:24:55 +0000347 TargetRegistry::RegisterMCAsmBackend(TheARMTarget, createARMAsmBackend);
348 TargetRegistry::RegisterMCAsmBackend(TheThumbTarget, createARMAsmBackend);
Evan Chengad5f4852011-07-23 00:00:19 +0000349
350 // Register the object streamer.
Evan Cheng3a792252011-07-26 00:42:34 +0000351 TargetRegistry::RegisterMCObjectStreamer(TheARMTarget, createMCStreamer);
352 TargetRegistry::RegisterMCObjectStreamer(TheThumbTarget, createMCStreamer);
Evan Cheng61faa552011-07-25 21:20:24 +0000353
354 // Register the MCInstPrinter.
355 TargetRegistry::RegisterMCInstPrinter(TheARMTarget, createARMMCInstPrinter);
356 TargetRegistry::RegisterMCInstPrinter(TheThumbTarget, createARMMCInstPrinter);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000357
358 // Register the MC relocation info.
359 TargetRegistry::RegisterMCRelocationInfo(TheARMTarget,
Quentin Colombetf4828052013-05-24 22:51:52 +0000360 createARMMCRelocationInfo);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000361 TargetRegistry::RegisterMCRelocationInfo(TheThumbTarget,
Quentin Colombetf4828052013-05-24 22:51:52 +0000362 createARMMCRelocationInfo);
Evan Cheng2129f592011-07-19 06:37:02 +0000363}