blob: 14fd03fad8eaaa0a1fabb87f4025510171cd6aab [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
29#define GET_REGINFO_MC_DESC
30#include "ARMGenRegisterInfo.inc"
31
32#define GET_INSTRINFO_MC_DESC
33#include "ARMGenInstrInfo.inc"
34
35#define GET_SUBTARGETINFO_MC_DESC
36#include "ARMGenSubtargetInfo.inc"
37
38using namespace llvm;
39
Evan Cheng9f7ad312012-04-26 01:13:36 +000040std::string ARM_MC::ParseARMTriple(StringRef TT, StringRef CPU) {
Eli Bendersky2e2ce492013-01-30 16:30:19 +000041 Triple triple(TT);
42
Evan Cheng2bd65362011-07-07 00:08:19 +000043 // Set the boolean corresponding to the current target triple, or the default
44 // if one cannot be determined, to true.
45 unsigned Len = TT.size();
46 unsigned Idx = 0;
47
Nick Lewyckyf1a5f572011-09-05 18:35:03 +000048 // FIXME: Enhance Triple helper class to extract ARM version.
Evan Chengf2c26162011-07-07 08:26:46 +000049 bool isThumb = false;
Evan Cheng2bd65362011-07-07 00:08:19 +000050 if (Len >= 5 && TT.substr(0, 4) == "armv")
51 Idx = 4;
52 else if (Len >= 6 && TT.substr(0, 5) == "thumb") {
Evan Chengf2c26162011-07-07 08:26:46 +000053 isThumb = true;
Evan Cheng2bd65362011-07-07 00:08:19 +000054 if (Len >= 7 && TT[5] == 'v')
55 Idx = 6;
56 }
57
Evan Chengf52003d2012-04-27 01:27:19 +000058 bool NoCPU = CPU == "generic" || CPU.empty();
Evan Cheng2bd65362011-07-07 00:08:19 +000059 std::string ARMArchFeature;
60 if (Idx) {
61 unsigned SubVer = TT[Idx];
62 if (SubVer >= '7' && SubVer <= '9') {
Evan Cheng2bd65362011-07-07 00:08:19 +000063 if (Len >= Idx+2 && TT[Idx+1] == 'm') {
Tim Northovera2292d02013-06-10 23:20:58 +000064 isThumb = true;
Evan Chengf52003d2012-04-27 01:27:19 +000065 if (NoCPU)
66 // v7m: FeatureNoARM, FeatureDB, FeatureHWDiv, FeatureMClass
67 ARMArchFeature = "+v7,+noarm,+db,+hwdiv,+mclass";
68 else
69 // Use CPU to figure out the exact features.
70 ARMArchFeature = "+v7";
Evan Cheng2bd65362011-07-07 00:08:19 +000071 } else if (Len >= Idx+3 && TT[Idx+1] == 'e'&& TT[Idx+2] == 'm') {
Evan Chengf52003d2012-04-27 01:27:19 +000072 if (NoCPU)
73 // v7em: FeatureNoARM, FeatureDB, FeatureHWDiv, FeatureDSPThumb2,
74 // FeatureT2XtPk, FeatureMClass
75 ARMArchFeature = "+v7,+noarm,+db,+hwdiv,+t2dsp,t2xtpk,+mclass";
76 else
77 // Use CPU to figure out the exact features.
78 ARMArchFeature = "+v7";
Bob Wilsone8a549c2012-09-29 21:43:49 +000079 } else if (Len >= Idx+2 && TT[Idx+1] == 's') {
80 if (NoCPU)
81 // v7s: FeatureNEON, FeatureDB, FeatureDSPThumb2, FeatureT2XtPk
82 // Swift
83 ARMArchFeature = "+v7,+swift,+neon,+db,+t2dsp,+t2xtpk";
84 else
85 // Use CPU to figure out the exact features.
86 ARMArchFeature = "+v7";
Evan Cheng9f7ad312012-04-26 01:13:36 +000087 } else {
88 // v7 CPUs have lots of different feature sets. If no CPU is specified,
89 // then assume v7a (e.g. cortex-a8) feature set. Otherwise, return
90 // the "minimum" feature set and use CPU string to figure out the exact
91 // features.
Evan Chengf52003d2012-04-27 01:27:19 +000092 if (NoCPU)
Evan Cheng9f7ad312012-04-26 01:13:36 +000093 // v7a: FeatureNEON, FeatureDB, FeatureDSPThumb2, FeatureT2XtPk
94 ARMArchFeature = "+v7,+neon,+db,+t2dsp,+t2xtpk";
95 else
96 // Use CPU to figure out the exact features.
97 ARMArchFeature = "+v7";
98 }
Evan Cheng2bd65362011-07-07 00:08:19 +000099 } else if (SubVer == '6') {
Jim Grosbach1c9dd292012-02-10 20:38:46 +0000100 if (Len >= Idx+3 && TT[Idx+1] == 't' && TT[Idx+2] == '2')
Evan Cheng2bd65362011-07-07 00:08:19 +0000101 ARMArchFeature = "+v6t2";
Evan Chengf52003d2012-04-27 01:27:19 +0000102 else if (Len >= Idx+2 && TT[Idx+1] == 'm') {
Tim Northovera2292d02013-06-10 23:20:58 +0000103 isThumb = true;
Evan Chengf52003d2012-04-27 01:27:19 +0000104 if (NoCPU)
105 // v6m: FeatureNoARM, FeatureMClass
106 ARMArchFeature = "+v6,+noarm,+mclass";
107 else
108 ARMArchFeature = "+v6";
109 } else
Evan Cheng8b2bda02011-07-07 03:55:05 +0000110 ARMArchFeature = "+v6";
Evan Cheng2bd65362011-07-07 00:08:19 +0000111 } else if (SubVer == '5') {
Evan Cheng8b2bda02011-07-07 03:55:05 +0000112 if (Len >= Idx+3 && TT[Idx+1] == 't' && TT[Idx+2] == 'e')
Evan Cheng2bd65362011-07-07 00:08:19 +0000113 ARMArchFeature = "+v5te";
Evan Cheng8b2bda02011-07-07 03:55:05 +0000114 else
115 ARMArchFeature = "+v5t";
116 } else if (SubVer == '4' && Len >= Idx+2 && TT[Idx+1] == 't')
117 ARMArchFeature = "+v4t";
Evan Cheng2bd65362011-07-07 00:08:19 +0000118 }
119
Evan Chengf2c26162011-07-07 08:26:46 +0000120 if (isThumb) {
121 if (ARMArchFeature.empty())
Evan Cheng1834f5d2011-07-07 19:05:12 +0000122 ARMArchFeature = "+thumb-mode";
Evan Chengf2c26162011-07-07 08:26:46 +0000123 else
Evan Cheng1834f5d2011-07-07 19:05:12 +0000124 ARMArchFeature += ",+thumb-mode";
Evan Chengf2c26162011-07-07 08:26:46 +0000125 }
126
Eli Bendersky2e2ce492013-01-30 16:30:19 +0000127 if (triple.isOSNaCl()) {
128 if (ARMArchFeature.empty())
129 ARMArchFeature = "+nacl-trap";
130 else
131 ARMArchFeature += ",+nacl-trap";
132 }
133
Evan Cheng2bd65362011-07-07 00:08:19 +0000134 return ARMArchFeature;
135}
Evan Cheng4d1ca962011-07-08 01:53:10 +0000136
137MCSubtargetInfo *ARM_MC::createARMMCSubtargetInfo(StringRef TT, StringRef CPU,
138 StringRef FS) {
Evan Cheng9f7ad312012-04-26 01:13:36 +0000139 std::string ArchFS = ARM_MC::ParseARMTriple(TT, CPU);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000140 if (!FS.empty()) {
141 if (!ArchFS.empty())
142 ArchFS = ArchFS + "," + FS.str();
143 else
144 ArchFS = FS;
145 }
146
147 MCSubtargetInfo *X = new MCSubtargetInfo();
Evan Chengc5e6d2f2011-07-11 03:57:24 +0000148 InitARMMCSubtargetInfo(X, TT, CPU, ArchFS);
Evan Cheng4d1ca962011-07-08 01:53:10 +0000149 return X;
150}
151
Evan Cheng1705ab02011-07-14 23:50:31 +0000152static MCInstrInfo *createARMMCInstrInfo() {
Evan Cheng4d1ca962011-07-08 01:53:10 +0000153 MCInstrInfo *X = new MCInstrInfo();
154 InitARMMCInstrInfo(X);
155 return X;
156}
157
Evan Chengd60fa58b2011-07-18 20:57:22 +0000158static MCRegisterInfo *createARMMCRegisterInfo(StringRef Triple) {
Evan Cheng1705ab02011-07-14 23:50:31 +0000159 MCRegisterInfo *X = new MCRegisterInfo();
Jim Grosbach6df94842012-12-19 23:38:53 +0000160 InitARMMCRegisterInfo(X, ARM::LR, 0, 0, ARM::PC);
Evan Cheng1705ab02011-07-14 23:50:31 +0000161 return X;
162}
163
Rafael Espindola227144c2013-05-13 01:16:13 +0000164static MCAsmInfo *createARMMCAsmInfo(const MCRegisterInfo &MRI, StringRef TT) {
Evan Cheng1705ab02011-07-14 23:50:31 +0000165 Triple TheTriple(TT);
166
167 if (TheTriple.isOSDarwin())
168 return new ARMMCAsmInfoDarwin();
169
170 return new ARMELFMCAsmInfo();
171}
172
Evan Chengad5f4852011-07-23 00:00:19 +0000173static MCCodeGenInfo *createARMMCCodeGenInfo(StringRef TT, Reloc::Model RM,
Evan Chengecb29082011-11-16 08:38:26 +0000174 CodeModel::Model CM,
175 CodeGenOpt::Level OL) {
Evan Cheng2129f592011-07-19 06:37:02 +0000176 MCCodeGenInfo *X = new MCCodeGenInfo();
Jim Grosbach4e0dbee2011-09-30 17:41:35 +0000177 if (RM == Reloc::Default) {
178 Triple TheTriple(TT);
179 // Default relocation model on Darwin is PIC, not DynamicNoPIC.
180 RM = TheTriple.isOSDarwin() ? Reloc::PIC_ : Reloc::DynamicNoPIC;
181 }
Evan Chengecb29082011-11-16 08:38:26 +0000182 X->InitMCCodeGenInfo(RM, CM, OL);
Evan Cheng2129f592011-07-19 06:37:02 +0000183 return X;
184}
185
Evan Chengad5f4852011-07-23 00:00:19 +0000186// This is duplicated code. Refactor this.
Evan Cheng3a792252011-07-26 00:42:34 +0000187static MCStreamer *createMCStreamer(const Target &T, StringRef TT,
Evan Cheng5928e692011-07-25 23:24:55 +0000188 MCContext &Ctx, MCAsmBackend &MAB,
Evan Chengad5f4852011-07-23 00:00:19 +0000189 raw_ostream &OS,
190 MCCodeEmitter *Emitter,
191 bool RelaxAll,
192 bool NoExecStack) {
193 Triple TheTriple(TT);
194
195 if (TheTriple.isOSDarwin())
Jim Grosbach11e8c0d2012-03-08 00:07:52 +0000196 return createMachOStreamer(Ctx, MAB, OS, Emitter, false);
Evan Chengad5f4852011-07-23 00:00:19 +0000197
198 if (TheTriple.isOSWindows()) {
199 llvm_unreachable("ARM does not support Windows COFF format");
Evan Chengad5f4852011-07-23 00:00:19 +0000200 }
201
Tim Northover5cc3dc82012-12-07 16:50:23 +0000202 return createARMELFStreamer(Ctx, MAB, OS, Emitter, false, NoExecStack,
203 TheTriple.getArch() == Triple::thumb);
Evan Chengad5f4852011-07-23 00:00:19 +0000204}
205
Evan Cheng61faa552011-07-25 21:20:24 +0000206static MCInstPrinter *createARMMCInstPrinter(const Target &T,
207 unsigned SyntaxVariant,
James Molloy4c493e82011-09-07 17:24:38 +0000208 const MCAsmInfo &MAI,
Craig Topper54bfde72012-04-02 06:09:36 +0000209 const MCInstrInfo &MII,
Jim Grosbachfd93a592012-03-05 19:33:20 +0000210 const MCRegisterInfo &MRI,
James Molloy4c493e82011-09-07 17:24:38 +0000211 const MCSubtargetInfo &STI) {
Evan Cheng61faa552011-07-25 21:20:24 +0000212 if (SyntaxVariant == 0)
Craig Topper54bfde72012-04-02 06:09:36 +0000213 return new ARMInstPrinter(MAI, MII, MRI, STI);
Evan Cheng61faa552011-07-25 21:20:24 +0000214 return 0;
215}
216
Quentin Colombetf4828052013-05-24 22:51:52 +0000217static MCRelocationInfo *createARMMCRelocationInfo(StringRef TT,
218 MCContext &Ctx) {
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000219 Triple TheTriple(TT);
220 if (TheTriple.isEnvironmentMachO())
221 return createARMMachORelocationInfo(Ctx);
222 // Default to the stock relocation info.
Quentin Colombetf4828052013-05-24 22:51:52 +0000223 return llvm::createMCRelocationInfo(TT, Ctx);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000224}
225
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000226namespace {
227
228class ARMMCInstrAnalysis : public MCInstrAnalysis {
229public:
230 ARMMCInstrAnalysis(const MCInstrInfo *Info) : MCInstrAnalysis(Info) {}
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000231
232 virtual bool isUnconditionalBranch(const MCInst &Inst) const {
233 // BCCs with the "always" predicate are unconditional branches.
234 if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL)
235 return true;
236 return MCInstrAnalysis::isUnconditionalBranch(Inst);
237 }
238
239 virtual bool isConditionalBranch(const MCInst &Inst) const {
240 // BCCs with the "always" predicate are unconditional branches.
241 if (Inst.getOpcode() == ARM::Bcc && Inst.getOperand(1).getImm()==ARMCC::AL)
242 return false;
243 return MCInstrAnalysis::isConditionalBranch(Inst);
244 }
245
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000246 bool evaluateBranch(const MCInst &Inst, uint64_t Addr,
247 uint64_t Size, uint64_t &Target) const {
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000248 // We only handle PCRel branches for now.
249 if (Info->get(Inst.getOpcode()).OpInfo[0].OperandType!=MCOI::OPERAND_PCREL)
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000250 return false;
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000251
252 int64_t Imm = Inst.getOperand(0).getImm();
253 // FIXME: This is not right for thumb.
Ahmed Bougachaaa790682013-05-24 01:07:04 +0000254 Target = Addr+Imm+8; // In ARM mode the PC is always off by 8 bytes.
255 return true;
Benjamin Kramerc22d50e2011-08-08 18:56:44 +0000256 }
257};
258
259}
260
261static MCInstrAnalysis *createARMMCInstrAnalysis(const MCInstrInfo *Info) {
262 return new ARMMCInstrAnalysis(Info);
263}
Evan Chengad5f4852011-07-23 00:00:19 +0000264
Evan Cheng8c886a42011-07-22 21:58:54 +0000265// Force static initialization.
266extern "C" void LLVMInitializeARMTargetMC() {
267 // Register the MC asm info.
268 RegisterMCAsmInfoFn A(TheARMTarget, createARMMCAsmInfo);
269 RegisterMCAsmInfoFn B(TheThumbTarget, createARMMCAsmInfo);
270
271 // Register the MC codegen info.
Evan Cheng2129f592011-07-19 06:37:02 +0000272 TargetRegistry::RegisterMCCodeGenInfo(TheARMTarget, createARMMCCodeGenInfo);
273 TargetRegistry::RegisterMCCodeGenInfo(TheThumbTarget, createARMMCCodeGenInfo);
Evan Cheng8c886a42011-07-22 21:58:54 +0000274
275 // Register the MC instruction info.
276 TargetRegistry::RegisterMCInstrInfo(TheARMTarget, createARMMCInstrInfo);
277 TargetRegistry::RegisterMCInstrInfo(TheThumbTarget, createARMMCInstrInfo);
278
279 // Register the MC register info.
280 TargetRegistry::RegisterMCRegInfo(TheARMTarget, createARMMCRegisterInfo);
281 TargetRegistry::RegisterMCRegInfo(TheThumbTarget, createARMMCRegisterInfo);
282
283 // Register the MC subtarget info.
284 TargetRegistry::RegisterMCSubtargetInfo(TheARMTarget,
285 ARM_MC::createARMMCSubtargetInfo);
286 TargetRegistry::RegisterMCSubtargetInfo(TheThumbTarget,
287 ARM_MC::createARMMCSubtargetInfo);
Evan Chengad5f4852011-07-23 00:00:19 +0000288
Evan Cheng4d6c9d72011-08-23 20:15:21 +0000289 // Register the MC instruction analyzer.
290 TargetRegistry::RegisterMCInstrAnalysis(TheARMTarget,
291 createARMMCInstrAnalysis);
292 TargetRegistry::RegisterMCInstrAnalysis(TheThumbTarget,
293 createARMMCInstrAnalysis);
294
Evan Chengad5f4852011-07-23 00:00:19 +0000295 // Register the MC Code Emitter
Evan Cheng3a792252011-07-26 00:42:34 +0000296 TargetRegistry::RegisterMCCodeEmitter(TheARMTarget, createARMMCCodeEmitter);
297 TargetRegistry::RegisterMCCodeEmitter(TheThumbTarget, createARMMCCodeEmitter);
Evan Chengad5f4852011-07-23 00:00:19 +0000298
299 // Register the asm backend.
Evan Cheng5928e692011-07-25 23:24:55 +0000300 TargetRegistry::RegisterMCAsmBackend(TheARMTarget, createARMAsmBackend);
301 TargetRegistry::RegisterMCAsmBackend(TheThumbTarget, createARMAsmBackend);
Evan Chengad5f4852011-07-23 00:00:19 +0000302
303 // Register the object streamer.
Evan Cheng3a792252011-07-26 00:42:34 +0000304 TargetRegistry::RegisterMCObjectStreamer(TheARMTarget, createMCStreamer);
305 TargetRegistry::RegisterMCObjectStreamer(TheThumbTarget, createMCStreamer);
Evan Cheng61faa552011-07-25 21:20:24 +0000306
307 // Register the MCInstPrinter.
308 TargetRegistry::RegisterMCInstPrinter(TheARMTarget, createARMMCInstPrinter);
309 TargetRegistry::RegisterMCInstPrinter(TheThumbTarget, createARMMCInstPrinter);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000310
311 // Register the MC relocation info.
312 TargetRegistry::RegisterMCRelocationInfo(TheARMTarget,
Quentin Colombetf4828052013-05-24 22:51:52 +0000313 createARMMCRelocationInfo);
Ahmed Bougachaad1084d2013-05-24 00:39:57 +0000314 TargetRegistry::RegisterMCRelocationInfo(TheThumbTarget,
Quentin Colombetf4828052013-05-24 22:51:52 +0000315 createARMMCRelocationInfo);
Evan Cheng2129f592011-07-19 06:37:02 +0000316}