blob: 311afe909cf1513c568036dfef946fc9ff719589 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- ARMSubtarget.cpp - ARM Subtarget Information ----------------------===//
Evan Cheng10043e22007-01-19 07:51:42 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Cheng10043e22007-01-19 07:51:42 +00007//
8//===----------------------------------------------------------------------===//
9//
Evan Cheng0d639a22011-07-01 21:01:15 +000010// This file implements the ARM specific subclass of TargetSubtargetInfo.
Evan Cheng10043e22007-01-19 07:51:42 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "ARMSubtarget.h"
Eric Christopher80b24ef2014-06-26 19:30:02 +000015#include "ARMFrameLowering.h"
16#include "ARMISelLowering.h"
17#include "ARMInstrInfo.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000018#include "ARMMachineFunctionInfo.h"
Eric Christopher80b24ef2014-06-26 19:30:02 +000019#include "ARMSelectionDAGInfo.h"
20#include "ARMSubtarget.h"
Eric Christopher661f2d12014-12-18 02:20:58 +000021#include "ARMTargetMachine.h"
Eric Christopher80b24ef2014-06-26 19:30:02 +000022#include "Thumb1FrameLowering.h"
23#include "Thumb1InstrInfo.h"
24#include "Thumb2InstrInfo.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000025#include "llvm/CodeGen/MachineRegisterInfo.h"
Bill Wendling5a92eec2013-02-15 22:41:25 +000026#include "llvm/IR/Attributes.h"
Bill Wendling5a92eec2013-02-15 22:41:25 +000027#include "llvm/IR/Function.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000028#include "llvm/IR/GlobalValue.h"
Bob Wilson45825302009-06-22 21:01:46 +000029#include "llvm/Support/CommandLine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000030#include "llvm/Target/TargetInstrInfo.h"
Renato Golinb4dd6c52013-03-21 18:47:47 +000031#include "llvm/Target/TargetOptions.h"
Chris Bieneman03695ab2014-07-15 17:18:41 +000032#include "llvm/Target/TargetRegisterInfo.h"
Evan Cheng54b68e32011-07-01 20:45:01 +000033
Chandler Carruthd174b722014-04-22 02:03:14 +000034using namespace llvm;
35
Chandler Carruthe96dd892014-04-21 22:55:11 +000036#define DEBUG_TYPE "arm-subtarget"
37
Evan Cheng54b68e32011-07-01 20:45:01 +000038#define GET_SUBTARGETINFO_TARGET_DESC
Evan Cheng4d1ca962011-07-08 01:53:10 +000039#define GET_SUBTARGETINFO_CTOR
Evan Chengc9c090d2011-07-01 22:36:09 +000040#include "ARMGenSubtargetInfo.inc"
Evan Cheng54b68e32011-07-01 20:45:01 +000041
Bob Wilson45825302009-06-22 21:01:46 +000042static cl::opt<bool>
43ReserveR9("arm-reserve-r9", cl::Hidden,
44 cl::desc("Reserve R9, making it unavailable as GPR"));
45
Anton Korobeynikov25229082009-11-24 00:44:37 +000046static cl::opt<bool>
Renato Golinca570632013-08-15 20:54:38 +000047ArmUseMOVT("arm-use-movt", cl::init(true), cl::Hidden);
Anton Korobeynikov25229082009-11-24 00:44:37 +000048
Bob Wilson3dc97322010-09-28 04:09:35 +000049static cl::opt<bool>
Bob Wilsone8a549c2012-09-29 21:43:49 +000050UseFusedMulOps("arm-use-mulops",
51 cl::init(true), cl::Hidden);
52
Alexey Samsonovf17f03e2014-08-19 18:40:39 +000053namespace {
JF Bastien97b08c402013-05-17 23:49:01 +000054enum AlignMode {
55 DefaultAlign,
56 StrictAlign,
57 NoStrictAlign
58};
Alexey Samsonovf17f03e2014-08-19 18:40:39 +000059}
JF Bastien97b08c402013-05-17 23:49:01 +000060
61static cl::opt<AlignMode>
62Align(cl::desc("Load/store alignment support"),
63 cl::Hidden, cl::init(DefaultAlign),
64 cl::values(
65 clEnumValN(DefaultAlign, "arm-default-align",
66 "Generate unaligned accesses only on hardware/OS "
67 "combinations that are known to support them"),
68 clEnumValN(StrictAlign, "arm-strict-align",
69 "Disallow all unaligned memory accesses"),
70 clEnumValN(NoStrictAlign, "arm-no-strict-align",
71 "Allow unaligned memory accesses"),
72 clEnumValEnd));
Bob Wilson3dc97322010-09-28 04:09:35 +000073
Weiming Zhao0da5cc02013-11-13 18:29:49 +000074enum ITMode {
75 DefaultIT,
76 RestrictedIT,
77 NoRestrictedIT
78};
79
80static cl::opt<ITMode>
81IT(cl::desc("IT block support"), cl::Hidden, cl::init(DefaultIT),
82 cl::ZeroOrMore,
83 cl::values(clEnumValN(DefaultIT, "arm-default-it",
84 "Generate IT block based on arch"),
85 clEnumValN(RestrictedIT, "arm-restrict-it",
86 "Disallow deprecated IT based on ARMv8"),
87 clEnumValN(NoRestrictedIT, "arm-no-restrict-it",
88 "Allow IT blocks based on ARMv7"),
89 clEnumValEnd));
90
Eric Christophera47f6802014-06-13 00:20:35 +000091static std::string computeDataLayout(ARMSubtarget &ST) {
92 std::string Ret = "";
93
94 if (ST.isLittle())
95 // Little endian.
96 Ret += "e";
97 else
98 // Big endian.
99 Ret += "E";
100
101 Ret += DataLayout::getManglingComponent(ST.getTargetTriple());
102
103 // Pointers are 32 bits and aligned to 32 bits.
104 Ret += "-p:32:32";
105
Eric Christophera47f6802014-06-13 00:20:35 +0000106 // ABIs other than APCS have 64 bit integers with natural alignment.
107 if (!ST.isAPCS_ABI())
108 Ret += "-i64:64";
109
110 // We have 64 bits floats. The APCS ABI requires them to be aligned to 32
111 // bits, others to 64 bits. We always try to align to 64 bits.
112 if (ST.isAPCS_ABI())
113 Ret += "-f64:32:64";
114
115 // We have 128 and 64 bit vectors. The APCS ABI aligns them to 32 bits, others
116 // to 64. We always ty to give them natural alignment.
117 if (ST.isAPCS_ABI())
118 Ret += "-v64:32:64-v128:32:128";
119 else
120 Ret += "-v128:64:128";
121
Tim Northoveraa09ac62014-10-14 20:57:26 +0000122 // Try to align aggregates to 32 bits (the default is 64 bits, which has no
123 // particular hardware support on 32-bit ARM).
124 Ret += "-a:0:32";
Eric Christophera47f6802014-06-13 00:20:35 +0000125
126 // Integer registers are 32 bits.
127 Ret += "-n32";
128
129 // The stack is 128 bit aligned on NaCl, 64 bit aligned on AAPCS and 32 bit
130 // aligned everywhere else.
131 if (ST.isTargetNaCl())
132 Ret += "-S128";
133 else if (ST.isAAPCS_ABI())
134 Ret += "-S64";
135 else
136 Ret += "-S32";
137
138 return Ret;
139}
140
141/// initializeSubtargetDependencies - Initializes using a CPU and feature string
142/// so that we can use initializer lists for subtarget initialization.
143ARMSubtarget &ARMSubtarget::initializeSubtargetDependencies(StringRef CPU,
144 StringRef FS) {
145 initializeEnvironment();
Eric Christopherb68e2532014-09-03 20:36:31 +0000146 initSubtargetFeatures(CPU, FS);
Eric Christophera47f6802014-06-13 00:20:35 +0000147 return *this;
148}
149
Evan Chengfe6e4052011-06-30 01:53:36 +0000150ARMSubtarget::ARMSubtarget(const std::string &TT, const std::string &CPU,
Eric Christopher661f2d12014-12-18 02:20:58 +0000151 const std::string &FS, const ARMBaseTargetMachine &TM,
Eric Christophera94e5922014-10-03 00:10:03 +0000152 bool IsLittle)
Eric Christophera47f6802014-06-13 00:20:35 +0000153 : ARMGenSubtargetInfo(TT, CPU, FS), ARMProcFamily(Others),
154 ARMProcClass(None), stackAlignment(4), CPUString(CPU), IsLittle(IsLittle),
Eric Christopher661f2d12014-12-18 02:20:58 +0000155 TargetTriple(TT), Options(TM.Options), TM(TM),
Eric Christopher030294e2014-06-13 00:20:39 +0000156 DL(computeDataLayout(initializeSubtargetDependencies(CPU, FS))),
Eric Christopher79cc1e32014-09-02 22:28:02 +0000157 TSInfo(DL),
Eric Christopher80b24ef2014-06-26 19:30:02 +0000158 InstrInfo(isThumb1Only()
159 ? (ARMBaseInstrInfo *)new Thumb1InstrInfo(*this)
160 : !isThumb()
161 ? (ARMBaseInstrInfo *)new ARMInstrInfo(*this)
162 : (ARMBaseInstrInfo *)new Thumb2InstrInfo(*this)),
163 TLInfo(TM),
164 FrameLowering(!isThumb1Only()
165 ? new ARMFrameLowering(*this)
166 : (ARMFrameLowering *)new Thumb1FrameLowering(*this)) {}
Bill Wendling5a92eec2013-02-15 22:41:25 +0000167
Bill Wendling61375d82013-02-16 01:36:26 +0000168void ARMSubtarget::initializeEnvironment() {
169 HasV4TOps = false;
170 HasV5TOps = false;
171 HasV5TEOps = false;
172 HasV6Ops = false;
Amara Emerson5035ee02013-10-07 16:55:23 +0000173 HasV6MOps = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000174 HasV6T2Ops = false;
175 HasV7Ops = false;
Joey Goulyb3f550e2013-06-26 16:58:26 +0000176 HasV8Ops = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000177 HasVFPv2 = false;
178 HasVFPv3 = false;
179 HasVFPv4 = false;
Joey Goulyccd04892013-09-13 13:46:57 +0000180 HasFPARMv8 = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000181 HasNEON = false;
182 UseNEONForSinglePrecisionFP = false;
183 UseMulOps = UseFusedMulOps;
184 SlowFPVMLx = false;
185 HasVMLxForwarding = false;
186 SlowFPBrcc = false;
187 InThumbMode = false;
188 HasThumb2 = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000189 NoARM = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000190 IsR9Reserved = ReserveR9;
191 UseMovt = false;
192 SupportsTailCall = false;
193 HasFP16 = false;
194 HasD16 = false;
195 HasHardwareDivide = false;
196 HasHardwareDivideInARM = false;
197 HasT2ExtractPack = false;
198 HasDataBarrier = false;
199 Pref32BitThumb = false;
200 AvoidCPSRPartialUpdate = false;
201 AvoidMOVsShifterOperand = false;
202 HasRAS = false;
203 HasMPExtension = false;
Bradley Smith25219752013-11-01 13:27:35 +0000204 HasVirtualization = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000205 FPOnlySP = false;
Tim Northovercedd4812013-05-23 19:11:14 +0000206 HasPerfMon = false;
Tim Northoverc6047652013-04-10 12:08:35 +0000207 HasTrustZone = false;
Amara Emerson33089092013-09-19 11:59:01 +0000208 HasCrypto = false;
Amara Emersonf9a67fc2013-10-29 16:54:52 +0000209 HasCRC = false;
Tim Northover13510302014-04-01 13:22:02 +0000210 HasZeroCycleZeroing = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000211 AllowsUnalignedMem = false;
212 Thumb2DSP = false;
213 UseNaClTrap = false;
Renato Golinb4dd6c52013-03-21 18:47:47 +0000214 UnsafeFPMath = false;
Bill Wendling61375d82013-02-16 01:36:26 +0000215}
216
Eric Christopherb68e2532014-09-03 20:36:31 +0000217void ARMSubtarget::initSubtargetFeatures(StringRef CPU, StringRef FS) {
Tilmann Scheller63872ce2013-09-02 17:09:01 +0000218 if (CPUString.empty()) {
Tim Northovere2c33712014-12-11 18:49:37 +0000219 if (isTargetDarwin() && TargetTriple.getArchName().endswith("v7s"))
Tilmann Scheller63872ce2013-09-02 17:09:01 +0000220 // Default to the Swift CPU when targeting armv7s/thumbv7s.
221 CPUString = "swift";
222 else
223 CPUString = "generic";
224 }
Evan Chengec415ef2009-03-08 04:02:49 +0000225
Evan Cheng0b33a322011-06-30 02:12:44 +0000226 // Insert the architecture feature derived from the target triple into the
227 // feature string. This is important for setting features that are implied
228 // based on the architecture version.
Eric Christopher1971c352014-12-18 02:08:45 +0000229 std::string ArchFS =
230 ARM_MC::ParseARMTriple(TargetTriple.getTriple(), CPUString);
Evan Cheng2bd65362011-07-07 00:08:19 +0000231 if (!FS.empty()) {
232 if (!ArchFS.empty())
Bill Wendling5a92eec2013-02-15 22:41:25 +0000233 ArchFS = ArchFS + "," + FS.str();
Evan Cheng2bd65362011-07-07 00:08:19 +0000234 else
235 ArchFS = FS;
236 }
Evan Cheng1a72add62011-07-07 07:07:08 +0000237 ParseSubtargetFeatures(CPUString, ArchFS);
Evan Cheng2bd65362011-07-07 00:08:19 +0000238
Joerg Sonnenberger002a1472013-12-13 11:16:00 +0000239 // FIXME: This used enable V6T2 support implicitly for Thumb2 mode.
240 // Assert this for now to make the change obvious.
241 assert(hasV6T2Ops() || !hasThumb2());
Bob Wilsond0046ca2010-11-09 22:50:47 +0000242
Andrew Trick352abc12012-08-08 02:44:16 +0000243 // Keep a pointer to static instruction cost data for the specified CPU.
244 SchedModel = getSchedModelForCPU(CPUString);
245
Evan Cheng54b68e32011-07-01 20:45:01 +0000246 // Initialize scheduling itinerary for the specified CPU.
247 InstrItins = getInstrItineraryForCPU(CPUString);
248
Saleem Abdulrasoolcd130822014-04-02 20:32:05 +0000249 // FIXME: this is invalid for WindowsCE
Eric Christopher1971c352014-12-18 02:08:45 +0000250 if (isTargetWindows())
Saleem Abdulrasoolcd130822014-04-02 20:32:05 +0000251 NoARM = true;
Saleem Abdulrasoolcd130822014-04-02 20:32:05 +0000252
Lauro Ramos Venancio048e16ff2007-02-13 19:52:28 +0000253 if (isAAPCS_ABI())
254 stackAlignment = 8;
Mark Seabornbe266aa2014-02-16 18:59:48 +0000255 if (isTargetNaCl())
256 stackAlignment = 16;
Lauro Ramos Venancio048e16ff2007-02-13 19:52:28 +0000257
Renato Golinca570632013-08-15 20:54:38 +0000258 UseMovt = hasV6T2Ops() && ArmUseMOVT;
259
Tim Northoverd6a729b2014-01-06 14:28:05 +0000260 if (isTargetMachO()) {
Richard Trieu1fbe1a82014-09-17 01:47:52 +0000261 IsR9Reserved = ReserveR9 || !HasV6Ops;
Tim Northoverd6a729b2014-01-06 14:28:05 +0000262 SupportsTailCall = !isTargetIOS() || !getTargetTriple().isOSVersionLT(5, 0);
Saleem Abdulrasoolec1ec1b2014-03-11 15:09:44 +0000263 } else {
Tim Northoverd6a729b2014-01-06 14:28:05 +0000264 IsR9Reserved = ReserveR9;
Saleem Abdulrasoolec1ec1b2014-03-11 15:09:44 +0000265 SupportsTailCall = !isThumb1Only();
266 }
David Goodwin9a051a52009-10-01 21:46:35 +0000267
Renato Golin51dc3f42014-10-08 12:26:13 +0000268 if (Align == DefaultAlign) {
269 // Assume pre-ARMv6 doesn't support unaligned accesses.
270 //
271 // ARMv6 may or may not support unaligned accesses depending on the
272 // SCTLR.U bit, which is architecture-specific. We assume ARMv6
273 // Darwin and NetBSD targets support unaligned accesses, and others don't.
274 //
275 // ARMv7 always has SCTLR.U set to 1, but it has a new SCTLR.A bit
276 // which raises an alignment fault on unaligned accesses. Linux
277 // defaults this bit to 0 and handles it as a system-wide (not
278 // per-process) setting. It is therefore safe to assume that ARMv7+
279 // Linux targets support unaligned accesses. The same goes for NaCl.
280 //
281 // The above behavior is consistent with GCC.
282 AllowsUnalignedMem =
283 (hasV7Ops() && (isTargetLinux() || isTargetNaCl() ||
284 isTargetNetBSD())) ||
285 (hasV6Ops() && (isTargetMachO() || isTargetNetBSD()));
Renato Golin51dc3f42014-10-08 12:26:13 +0000286 } else {
287 AllowsUnalignedMem = !(Align == StrictAlign);
JF Bastien97b08c402013-05-17 23:49:01 +0000288 }
Renato Golinb4dd6c52013-03-21 18:47:47 +0000289
Renato Golinbab5ace2014-10-08 12:26:16 +0000290 // No v6M core supports unaligned memory access (v6M ARM ARM A3.2)
291 if (isV6M())
292 AllowsUnalignedMem = false;
293
Weiming Zhao0da5cc02013-11-13 18:29:49 +0000294 switch (IT) {
295 case DefaultIT:
296 RestrictIT = hasV8Ops() ? true : false;
297 break;
298 case RestrictedIT:
299 RestrictIT = true;
300 break;
301 case NoRestrictedIT:
302 RestrictIT = false;
303 break;
304 }
305
Renato Golinb4dd6c52013-03-21 18:47:47 +0000306 // NEON f32 ops are non-IEEE 754 compliant. Darwin is ok with it by default.
307 uint64_t Bits = getFeatureBits();
308 if ((Bits & ARM::ProcA5 || Bits & ARM::ProcA8) && // Where this matters
309 (Options.UnsafeFPMath || isTargetDarwin()))
310 UseNEONForSinglePrecisionFP = true;
Evan Cheng10043e22007-01-19 07:51:42 +0000311}
Evan Cheng43b9ca62009-08-28 23:18:09 +0000312
Eric Christopher661f2d12014-12-18 02:20:58 +0000313bool ARMSubtarget::isAPCS_ABI() const {
314 assert(TM.TargetABI != ARMBaseTargetMachine::ARM_ABI_UNKNOWN);
315 return TM.TargetABI == ARMBaseTargetMachine::ARM_ABI_APCS;
316}
317bool ARMSubtarget::isAAPCS_ABI() const {
318 assert(TM.TargetABI != ARMBaseTargetMachine::ARM_ABI_UNKNOWN);
319 return TM.TargetABI == ARMBaseTargetMachine::ARM_ABI_AAPCS;
320}
321
Evan Cheng43b9ca62009-08-28 23:18:09 +0000322/// GVIsIndirectSymbol - true if the GV will be accessed via an indirect symbol.
Evan Cheng1b389522009-09-03 07:04:02 +0000323bool
Dan Gohmanbcaf6812010-04-15 01:51:59 +0000324ARMSubtarget::GVIsIndirectSymbol(const GlobalValue *GV,
325 Reloc::Model RelocM) const {
Evan Cheng1b389522009-09-03 07:04:02 +0000326 if (RelocM == Reloc::Static)
Evan Cheng43b9ca62009-08-28 23:18:09 +0000327 return false;
Evan Cheng1b389522009-09-03 07:04:02 +0000328
Rafael Espindola246c4fb2014-11-01 16:46:18 +0000329 bool isDecl = GV->isDeclarationForLinker();
Evan Cheng1b389522009-09-03 07:04:02 +0000330
Tim Northoverd6a729b2014-01-06 14:28:05 +0000331 if (!isTargetMachO()) {
Evan Cheng1b389522009-09-03 07:04:02 +0000332 // Extra load is needed for all externally visible.
333 if (GV->hasLocalLinkage() || GV->hasHiddenVisibility())
334 return false;
335 return true;
336 } else {
337 if (RelocM == Reloc::PIC_) {
338 // If this is a strong reference to a definition, it is definitely not
339 // through a stub.
340 if (!isDecl && !GV->isWeakForLinker())
341 return false;
342
343 // Unless we have a symbol with hidden visibility, we have to go through a
344 // normal $non_lazy_ptr stub because this symbol might be resolved late.
345 if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference.
346 return true;
347
348 // If symbol visibility is hidden, we have a stub for common symbol
349 // references and external declarations.
350 if (isDecl || GV->hasCommonLinkage())
351 // Hidden $non_lazy_ptr reference.
352 return true;
353
354 return false;
355 } else {
356 // If this is a strong reference to a definition, it is definitely not
357 // through a stub.
358 if (!isDecl && !GV->isWeakForLinker())
359 return false;
Andrew Trickc416ba62010-12-24 04:28:06 +0000360
Evan Cheng1b389522009-09-03 07:04:02 +0000361 // Unless we have a symbol with hidden visibility, we have to go through a
362 // normal $non_lazy_ptr stub because this symbol might be resolved late.
363 if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference.
364 return true;
365 }
366 }
367
368 return false;
Evan Cheng43b9ca62009-08-28 23:18:09 +0000369}
David Goodwin0d412c22009-11-10 00:48:55 +0000370
Owen Andersona3181e22010-09-28 21:57:50 +0000371unsigned ARMSubtarget::getMispredictionPenalty() const {
Pete Cooper11759452014-09-02 17:43:54 +0000372 return SchedModel.MispredictPenalty;
Owen Andersona3181e22010-09-28 21:57:50 +0000373}
374
Bob Wilsone7dde0c2013-11-03 06:14:38 +0000375bool ARMSubtarget::hasSinCos() const {
Bob Wilson9868d712014-10-09 05:43:30 +0000376 return getTargetTriple().isiOS() && !getTargetTriple().isOSVersionLT(7, 0);
Bob Wilsone7dde0c2013-11-03 06:14:38 +0000377}
378
Sanjay Patela2f658d2014-07-15 22:39:58 +0000379// This overrides the PostRAScheduler bit in the SchedModel for any CPU.
Andrew Trick8d2ee372014-06-04 07:06:27 +0000380bool ARMSubtarget::enablePostMachineScheduler() const {
Sanjay Patela2f658d2014-07-15 22:39:58 +0000381 return (!isThumb() || hasThumb2());
Andrew Trick8d2ee372014-06-04 07:06:27 +0000382}
383
Robin Morisset59c23cd2014-08-21 21:50:01 +0000384bool ARMSubtarget::enableAtomicExpand() const {
Eric Christopherc40e5ed2014-06-19 21:03:04 +0000385 return hasAnyDataBarrier() && !isThumb1Only();
386}
387
Eric Christopherc1058df2014-07-04 01:55:26 +0000388bool ARMSubtarget::useMovt(const MachineFunction &MF) const {
389 // NOTE Windows on ARM needs to use mov.w/mov.t pairs to materialise 32-bit
390 // immediates as it is inherently position independent, and may be out of
391 // range otherwise.
392 return UseMovt && (isTargetWindows() ||
393 !MF.getFunction()->getAttributes().hasAttribute(
394 AttributeSet::FunctionIndex, Attribute::MinSize));
395}