Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- ARMSubtarget.cpp - ARM Subtarget Information ----------------------===// |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Evan Cheng | 0d639a2 | 2011-07-01 21:01:15 +0000 | [diff] [blame] | 10 | // This file implements the ARM specific subclass of TargetSubtargetInfo. |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "ARMSubtarget.h" |
Andrew Trick | ab722bd | 2012-09-18 03:18:56 +0000 | [diff] [blame] | 15 | #include "ARMBaseInstrInfo.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 16 | #include "ARMBaseRegisterInfo.h" |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 17 | #include "llvm/IR/Attributes.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 18 | #include "llvm/IR/GlobalValue.h" |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 19 | #include "llvm/IR/Function.h" |
Bob Wilson | 4582530 | 2009-06-22 21:01:46 +0000 | [diff] [blame] | 20 | #include "llvm/Support/CommandLine.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 21 | #include "llvm/Target/TargetInstrInfo.h" |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 22 | #include "llvm/Target/TargetOptions.h" |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 23 | |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 24 | #define GET_SUBTARGETINFO_TARGET_DESC |
Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 25 | #define GET_SUBTARGETINFO_CTOR |
Evan Cheng | c9c090d | 2011-07-01 22:36:09 +0000 | [diff] [blame] | 26 | #include "ARMGenSubtargetInfo.inc" |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 27 | |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 28 | using namespace llvm; |
| 29 | |
Bob Wilson | 4582530 | 2009-06-22 21:01:46 +0000 | [diff] [blame] | 30 | static cl::opt<bool> |
| 31 | ReserveR9("arm-reserve-r9", cl::Hidden, |
| 32 | cl::desc("Reserve R9, making it unavailable as GPR")); |
| 33 | |
Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 34 | static cl::opt<bool> |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 35 | DarwinUseMOVT("arm-darwin-use-movt", cl::init(true), cl::Hidden); |
Anton Korobeynikov | 2522908 | 2009-11-24 00:44:37 +0000 | [diff] [blame] | 36 | |
Bob Wilson | 3dc9732 | 2010-09-28 04:09:35 +0000 | [diff] [blame] | 37 | static cl::opt<bool> |
Bob Wilson | e8a549c | 2012-09-29 21:43:49 +0000 | [diff] [blame] | 38 | UseFusedMulOps("arm-use-mulops", |
| 39 | cl::init(true), cl::Hidden); |
| 40 | |
JF Bastien | 97b08c40 | 2013-05-17 23:49:01 +0000 | [diff] [blame] | 41 | enum AlignMode { |
| 42 | DefaultAlign, |
| 43 | StrictAlign, |
| 44 | NoStrictAlign |
| 45 | }; |
| 46 | |
| 47 | static cl::opt<AlignMode> |
| 48 | Align(cl::desc("Load/store alignment support"), |
| 49 | cl::Hidden, cl::init(DefaultAlign), |
| 50 | cl::values( |
| 51 | clEnumValN(DefaultAlign, "arm-default-align", |
| 52 | "Generate unaligned accesses only on hardware/OS " |
| 53 | "combinations that are known to support them"), |
| 54 | clEnumValN(StrictAlign, "arm-strict-align", |
| 55 | "Disallow all unaligned memory accesses"), |
| 56 | clEnumValN(NoStrictAlign, "arm-no-strict-align", |
| 57 | "Allow unaligned memory accesses"), |
| 58 | clEnumValEnd)); |
Bob Wilson | 3dc9732 | 2010-09-28 04:09:35 +0000 | [diff] [blame] | 59 | |
Evan Cheng | fe6e405 | 2011-06-30 01:53:36 +0000 | [diff] [blame] | 60 | ARMSubtarget::ARMSubtarget(const std::string &TT, const std::string &CPU, |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 61 | const std::string &FS, const TargetOptions &Options) |
Evan Cheng | 1a72add6 | 2011-07-07 07:07:08 +0000 | [diff] [blame] | 62 | : ARMGenSubtargetInfo(TT, CPU, FS) |
Evan Cheng | bf40707 | 2010-09-10 01:29:16 +0000 | [diff] [blame] | 63 | , ARMProcFamily(Others) |
Lauro Ramos Venancio | 048e16ff | 2007-02-13 19:52:28 +0000 | [diff] [blame] | 64 | , stackAlignment(4) |
Evan Cheng | fe6e405 | 2011-06-30 01:53:36 +0000 | [diff] [blame] | 65 | , CPUString(CPU) |
Evan Cheng | e45d685 | 2011-01-11 21:46:47 +0000 | [diff] [blame] | 66 | , TargetTriple(TT) |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 67 | , Options(Options) |
Lauro Ramos Venancio | 048e16ff | 2007-02-13 19:52:28 +0000 | [diff] [blame] | 68 | , TargetABI(ARM_ABI_APCS) { |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 69 | initializeEnvironment(); |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 70 | resetSubtargetFeatures(CPU, FS); |
| 71 | } |
| 72 | |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 73 | void ARMSubtarget::initializeEnvironment() { |
| 74 | HasV4TOps = false; |
| 75 | HasV5TOps = false; |
| 76 | HasV5TEOps = false; |
| 77 | HasV6Ops = false; |
| 78 | HasV6T2Ops = false; |
| 79 | HasV7Ops = false; |
| 80 | HasVFPv2 = false; |
| 81 | HasVFPv3 = false; |
| 82 | HasVFPv4 = false; |
| 83 | HasNEON = false; |
| 84 | UseNEONForSinglePrecisionFP = false; |
| 85 | UseMulOps = UseFusedMulOps; |
| 86 | SlowFPVMLx = false; |
| 87 | HasVMLxForwarding = false; |
| 88 | SlowFPBrcc = false; |
| 89 | InThumbMode = false; |
| 90 | HasThumb2 = false; |
| 91 | IsMClass = false; |
| 92 | NoARM = false; |
| 93 | PostRAScheduler = false; |
| 94 | IsR9Reserved = ReserveR9; |
| 95 | UseMovt = false; |
| 96 | SupportsTailCall = false; |
| 97 | HasFP16 = false; |
| 98 | HasD16 = false; |
| 99 | HasHardwareDivide = false; |
| 100 | HasHardwareDivideInARM = false; |
| 101 | HasT2ExtractPack = false; |
| 102 | HasDataBarrier = false; |
| 103 | Pref32BitThumb = false; |
| 104 | AvoidCPSRPartialUpdate = false; |
| 105 | AvoidMOVsShifterOperand = false; |
| 106 | HasRAS = false; |
| 107 | HasMPExtension = false; |
| 108 | FPOnlySP = false; |
Tim Northover | cedd481 | 2013-05-23 19:11:14 +0000 | [diff] [blame^] | 109 | HasPerfMon = false; |
Tim Northover | c604765 | 2013-04-10 12:08:35 +0000 | [diff] [blame] | 110 | HasTrustZone = false; |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 111 | AllowsUnalignedMem = false; |
| 112 | Thumb2DSP = false; |
| 113 | UseNaClTrap = false; |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 114 | UnsafeFPMath = false; |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 115 | } |
| 116 | |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 117 | void ARMSubtarget::resetSubtargetFeatures(const MachineFunction *MF) { |
| 118 | AttributeSet FnAttrs = MF->getFunction()->getAttributes(); |
| 119 | Attribute CPUAttr = FnAttrs.getAttribute(AttributeSet::FunctionIndex, |
| 120 | "target-cpu"); |
| 121 | Attribute FSAttr = FnAttrs.getAttribute(AttributeSet::FunctionIndex, |
| 122 | "target-features"); |
| 123 | std::string CPU = |
| 124 | !CPUAttr.hasAttribute(Attribute::None) ?CPUAttr.getValueAsString() : ""; |
| 125 | std::string FS = |
| 126 | !FSAttr.hasAttribute(Attribute::None) ? FSAttr.getValueAsString() : ""; |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 127 | if (!FS.empty()) { |
| 128 | initializeEnvironment(); |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 129 | resetSubtargetFeatures(CPU, FS); |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 130 | } |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 131 | } |
| 132 | |
| 133 | void ARMSubtarget::resetSubtargetFeatures(StringRef CPU, StringRef FS) { |
Evan Cheng | fe6e405 | 2011-06-30 01:53:36 +0000 | [diff] [blame] | 134 | if (CPUString.empty()) |
| 135 | CPUString = "generic"; |
Evan Cheng | ec415ef | 2009-03-08 04:02:49 +0000 | [diff] [blame] | 136 | |
Evan Cheng | 0b33a32 | 2011-06-30 02:12:44 +0000 | [diff] [blame] | 137 | // Insert the architecture feature derived from the target triple into the |
| 138 | // feature string. This is important for setting features that are implied |
| 139 | // based on the architecture version. |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 140 | std::string ArchFS = ARM_MC::ParseARMTriple(TargetTriple.getTriple(), |
| 141 | CPUString); |
Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 142 | if (!FS.empty()) { |
| 143 | if (!ArchFS.empty()) |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 144 | ArchFS = ArchFS + "," + FS.str(); |
Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 145 | else |
| 146 | ArchFS = FS; |
| 147 | } |
Evan Cheng | 1a72add6 | 2011-07-07 07:07:08 +0000 | [diff] [blame] | 148 | ParseSubtargetFeatures(CPUString, ArchFS); |
Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 149 | |
| 150 | // Thumb2 implies at least V6T2. FIXME: Fix tests to explicitly specify a |
| 151 | // ARM version or CPU and then remove this. |
Evan Cheng | 8b2bda0 | 2011-07-07 03:55:05 +0000 | [diff] [blame] | 152 | if (!HasV6T2Ops && hasThumb2()) |
| 153 | HasV4TOps = HasV5TOps = HasV5TEOps = HasV6Ops = HasV6T2Ops = true; |
Bob Wilson | d0046ca | 2010-11-09 22:50:47 +0000 | [diff] [blame] | 154 | |
Andrew Trick | 352abc1 | 2012-08-08 02:44:16 +0000 | [diff] [blame] | 155 | // Keep a pointer to static instruction cost data for the specified CPU. |
| 156 | SchedModel = getSchedModelForCPU(CPUString); |
| 157 | |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 158 | // Initialize scheduling itinerary for the specified CPU. |
| 159 | InstrItins = getInstrItineraryForCPU(CPUString); |
| 160 | |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 161 | if ((TargetTriple.getTriple().find("eabi") != std::string::npos) || |
| 162 | (isTargetIOS() && isMClass())) |
Evan Cheng | 0460ae8 | 2012-02-21 20:46:00 +0000 | [diff] [blame] | 163 | // FIXME: We might want to separate AAPCS and EABI. Some systems, e.g. |
| 164 | // Darwin-EABI conforms to AACPS but not the rest of EABI. |
Evan Cheng | 1a72add6 | 2011-07-07 07:07:08 +0000 | [diff] [blame] | 165 | TargetABI = ARM_ABI_AAPCS; |
| 166 | |
Lauro Ramos Venancio | 048e16ff | 2007-02-13 19:52:28 +0000 | [diff] [blame] | 167 | if (isAAPCS_ABI()) |
| 168 | stackAlignment = 8; |
| 169 | |
Evan Cheng | 68132d8 | 2011-12-20 18:26:50 +0000 | [diff] [blame] | 170 | if (!isTargetIOS()) |
Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 171 | UseMovt = hasV6T2Ops(); |
| 172 | else { |
Evan Cheng | 8b2bda0 | 2011-07-07 03:55:05 +0000 | [diff] [blame] | 173 | IsR9Reserved = ReserveR9 | !HasV6Ops; |
Evan Cheng | 2f2435d | 2011-01-21 18:55:51 +0000 | [diff] [blame] | 174 | UseMovt = DarwinUseMOVT && hasV6T2Ops(); |
Evan Cheng | 0460ae8 | 2012-02-21 20:46:00 +0000 | [diff] [blame] | 175 | SupportsTailCall = !getTargetTriple().isOSVersionLT(5, 0); |
Evan Cheng | dfce83c | 2011-01-17 08:03:18 +0000 | [diff] [blame] | 176 | } |
David Goodwin | 9a051a5 | 2009-10-01 21:46:35 +0000 | [diff] [blame] | 177 | |
Evan Cheng | 03da4db | 2009-10-16 06:11:08 +0000 | [diff] [blame] | 178 | if (!isThumb() || hasThumb2()) |
| 179 | PostRAScheduler = true; |
Bob Wilson | 3dc9732 | 2010-09-28 04:09:35 +0000 | [diff] [blame] | 180 | |
JF Bastien | 97b08c40 | 2013-05-17 23:49:01 +0000 | [diff] [blame] | 181 | switch (Align) { |
| 182 | case DefaultAlign: |
| 183 | // Assume pre-ARMv6 doesn't support unaligned accesses. |
| 184 | // |
| 185 | // ARMv6 may or may not support unaligned accesses depending on the |
| 186 | // SCTLR.U bit, which is architecture-specific. We assume ARMv6 |
| 187 | // Darwin targets support unaligned accesses, and others don't. |
| 188 | // |
| 189 | // ARMv7 always has SCTLR.U set to 1, but it has a new SCTLR.A bit |
| 190 | // which raises an alignment fault on unaligned accesses. Linux |
| 191 | // defaults this bit to 0 and handles it as a system-wide (not |
| 192 | // per-process) setting. It is therefore safe to assume that ARMv7+ |
| 193 | // Linux targets support unaligned accesses. The same goes for NaCl. |
| 194 | // |
| 195 | // The above behavior is consistent with GCC. |
| 196 | AllowsUnalignedMem = ( |
| 197 | (hasV7Ops() && (isTargetLinux() || isTargetNaCl())) || |
| 198 | (hasV6Ops() && isTargetDarwin())); |
| 199 | break; |
| 200 | case StrictAlign: |
| 201 | AllowsUnalignedMem = false; |
| 202 | break; |
| 203 | case NoStrictAlign: |
| 204 | AllowsUnalignedMem = true; |
| 205 | break; |
| 206 | } |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 207 | |
| 208 | // NEON f32 ops are non-IEEE 754 compliant. Darwin is ok with it by default. |
| 209 | uint64_t Bits = getFeatureBits(); |
| 210 | if ((Bits & ARM::ProcA5 || Bits & ARM::ProcA8) && // Where this matters |
| 211 | (Options.UnsafeFPMath || isTargetDarwin())) |
| 212 | UseNEONForSinglePrecisionFP = true; |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 213 | } |
Evan Cheng | 43b9ca6 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 214 | |
| 215 | /// GVIsIndirectSymbol - true if the GV will be accessed via an indirect symbol. |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 216 | bool |
Dan Gohman | bcaf681 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 217 | ARMSubtarget::GVIsIndirectSymbol(const GlobalValue *GV, |
| 218 | Reloc::Model RelocM) const { |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 219 | if (RelocM == Reloc::Static) |
Evan Cheng | 43b9ca6 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 220 | return false; |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 221 | |
Jeffrey Yasskin | 091217b | 2010-01-27 20:34:15 +0000 | [diff] [blame] | 222 | // Materializable GVs (in JIT lazy compilation mode) do not require an extra |
| 223 | // load from stub. |
Evan Cheng | 2ce6630 | 2011-02-22 06:58:34 +0000 | [diff] [blame] | 224 | bool isDecl = GV->hasAvailableExternallyLinkage(); |
| 225 | if (GV->isDeclaration() && !GV->isMaterializable()) |
| 226 | isDecl = true; |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 227 | |
| 228 | if (!isTargetDarwin()) { |
| 229 | // Extra load is needed for all externally visible. |
| 230 | if (GV->hasLocalLinkage() || GV->hasHiddenVisibility()) |
| 231 | return false; |
| 232 | return true; |
| 233 | } else { |
| 234 | if (RelocM == Reloc::PIC_) { |
| 235 | // If this is a strong reference to a definition, it is definitely not |
| 236 | // through a stub. |
| 237 | if (!isDecl && !GV->isWeakForLinker()) |
| 238 | return false; |
| 239 | |
| 240 | // Unless we have a symbol with hidden visibility, we have to go through a |
| 241 | // normal $non_lazy_ptr stub because this symbol might be resolved late. |
| 242 | if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference. |
| 243 | return true; |
| 244 | |
| 245 | // If symbol visibility is hidden, we have a stub for common symbol |
| 246 | // references and external declarations. |
| 247 | if (isDecl || GV->hasCommonLinkage()) |
| 248 | // Hidden $non_lazy_ptr reference. |
| 249 | return true; |
| 250 | |
| 251 | return false; |
| 252 | } else { |
| 253 | // If this is a strong reference to a definition, it is definitely not |
| 254 | // through a stub. |
| 255 | if (!isDecl && !GV->isWeakForLinker()) |
| 256 | return false; |
Andrew Trick | c416ba6 | 2010-12-24 04:28:06 +0000 | [diff] [blame] | 257 | |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 258 | // Unless we have a symbol with hidden visibility, we have to go through a |
| 259 | // normal $non_lazy_ptr stub because this symbol might be resolved late. |
| 260 | if (!GV->hasHiddenVisibility()) // Non-hidden $non_lazy_ptr reference. |
| 261 | return true; |
| 262 | } |
| 263 | } |
| 264 | |
| 265 | return false; |
Evan Cheng | 43b9ca6 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 266 | } |
David Goodwin | 0d412c2 | 2009-11-10 00:48:55 +0000 | [diff] [blame] | 267 | |
Owen Anderson | a3181e2 | 2010-09-28 21:57:50 +0000 | [diff] [blame] | 268 | unsigned ARMSubtarget::getMispredictionPenalty() const { |
Andrew Trick | 352abc1 | 2012-08-08 02:44:16 +0000 | [diff] [blame] | 269 | return SchedModel->MispredictPenalty; |
Owen Anderson | a3181e2 | 2010-09-28 21:57:50 +0000 | [diff] [blame] | 270 | } |
| 271 | |
David Goodwin | 0d412c2 | 2009-11-10 00:48:55 +0000 | [diff] [blame] | 272 | bool ARMSubtarget::enablePostRAScheduler( |
| 273 | CodeGenOpt::Level OptLevel, |
Evan Cheng | 0d639a2 | 2011-07-01 21:01:15 +0000 | [diff] [blame] | 274 | TargetSubtargetInfo::AntiDepBreakMode& Mode, |
David Goodwin | b9fe5d5 | 2009-11-13 19:52:48 +0000 | [diff] [blame] | 275 | RegClassVector& CriticalPathRCs) const { |
Evan Cheng | 0d639a2 | 2011-07-01 21:01:15 +0000 | [diff] [blame] | 276 | Mode = TargetSubtargetInfo::ANTIDEP_CRITICAL; |
David Goodwin | b9fe5d5 | 2009-11-13 19:52:48 +0000 | [diff] [blame] | 277 | CriticalPathRCs.clear(); |
| 278 | CriticalPathRCs.push_back(&ARM::GPRRegClass); |
David Goodwin | 0d412c2 | 2009-11-10 00:48:55 +0000 | [diff] [blame] | 279 | return PostRAScheduler && OptLevel >= CodeGenOpt::Default; |
| 280 | } |