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 | |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 14 | #include "ARM.h" |
| 15 | |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 16 | #include "ARMCallLowering.h" |
| 17 | #include "ARMLegalizerInfo.h" |
| 18 | #include "ARMRegisterBankInfo.h" |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 19 | #include "ARMSubtarget.h" |
Eric Christopher | 80b24ef | 2014-06-26 19:30:02 +0000 | [diff] [blame] | 20 | #include "ARMFrameLowering.h" |
Eric Christopher | 80b24ef | 2014-06-26 19:30:02 +0000 | [diff] [blame] | 21 | #include "ARMInstrInfo.h" |
Eric Christopher | 80b24ef | 2014-06-26 19:30:02 +0000 | [diff] [blame] | 22 | #include "ARMSubtarget.h" |
Eric Christopher | 661f2d1 | 2014-12-18 02:20:58 +0000 | [diff] [blame] | 23 | #include "ARMTargetMachine.h" |
Eugene Zelenko | e79c077 | 2017-01-27 23:58:02 +0000 | [diff] [blame] | 24 | #include "MCTargetDesc/ARMMCTargetDesc.h" |
Eric Christopher | 80b24ef | 2014-06-26 19:30:02 +0000 | [diff] [blame] | 25 | #include "Thumb1FrameLowering.h" |
| 26 | #include "Thumb1InstrInfo.h" |
| 27 | #include "Thumb2InstrInfo.h" |
Eugene Zelenko | e79c077 | 2017-01-27 23:58:02 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/StringRef.h" |
| 29 | #include "llvm/ADT/Triple.h" |
| 30 | #include "llvm/ADT/Twine.h" |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/GlobalISel/GISelAccessor.h" |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 32 | #include "llvm/CodeGen/GlobalISel/IRTranslator.h" |
| 33 | #include "llvm/CodeGen/GlobalISel/InstructionSelect.h" |
| 34 | #include "llvm/CodeGen/GlobalISel/Legalizer.h" |
| 35 | #include "llvm/CodeGen/GlobalISel/RegBankSelect.h" |
Eugene Zelenko | e79c077 | 2017-01-27 23:58:02 +0000 | [diff] [blame] | 36 | #include "llvm/CodeGen/MachineFunction.h" |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 37 | #include "llvm/IR/Function.h" |
Chandler Carruth | 8a8cd2b | 2014-01-07 11:48:04 +0000 | [diff] [blame] | 38 | #include "llvm/IR/GlobalValue.h" |
Tim Northover | 747ae9a | 2015-11-18 21:10:39 +0000 | [diff] [blame] | 39 | #include "llvm/MC/MCAsmInfo.h" |
Eugene Zelenko | e79c077 | 2017-01-27 23:58:02 +0000 | [diff] [blame] | 40 | #include "llvm/MC/MCTargetOptions.h" |
Eugene Zelenko | e79c077 | 2017-01-27 23:58:02 +0000 | [diff] [blame] | 41 | #include "llvm/Support/CodeGen.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 42 | #include "llvm/Support/CommandLine.h" |
Zijiao Ma | 53d55f4 | 2016-08-17 02:08:28 +0000 | [diff] [blame] | 43 | #include "llvm/Support/TargetParser.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 44 | #include "llvm/Target/TargetOptions.h" |
Eugene Zelenko | e79c077 | 2017-01-27 23:58:02 +0000 | [diff] [blame] | 45 | #include <cassert> |
| 46 | #include <string> |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 47 | |
Chandler Carruth | d174b72 | 2014-04-22 02:03:14 +0000 | [diff] [blame] | 48 | using namespace llvm; |
| 49 | |
Chandler Carruth | e96dd89 | 2014-04-21 22:55:11 +0000 | [diff] [blame] | 50 | #define DEBUG_TYPE "arm-subtarget" |
| 51 | |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 52 | #define GET_SUBTARGETINFO_TARGET_DESC |
Evan Cheng | 4d1ca96 | 2011-07-08 01:53:10 +0000 | [diff] [blame] | 53 | #define GET_SUBTARGETINFO_CTOR |
Evan Cheng | c9c090d | 2011-07-01 22:36:09 +0000 | [diff] [blame] | 54 | #include "ARMGenSubtargetInfo.inc" |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 55 | |
Bob Wilson | 4582530 | 2009-06-22 21:01:46 +0000 | [diff] [blame] | 56 | static cl::opt<bool> |
Bob Wilson | e8a549c | 2012-09-29 21:43:49 +0000 | [diff] [blame] | 57 | UseFusedMulOps("arm-use-mulops", |
| 58 | cl::init(true), cl::Hidden); |
| 59 | |
Weiming Zhao | 0da5cc0 | 2013-11-13 18:29:49 +0000 | [diff] [blame] | 60 | enum ITMode { |
| 61 | DefaultIT, |
| 62 | RestrictedIT, |
| 63 | NoRestrictedIT |
| 64 | }; |
| 65 | |
| 66 | static cl::opt<ITMode> |
| 67 | IT(cl::desc("IT block support"), cl::Hidden, cl::init(DefaultIT), |
| 68 | cl::ZeroOrMore, |
| 69 | cl::values(clEnumValN(DefaultIT, "arm-default-it", |
| 70 | "Generate IT block based on arch"), |
| 71 | clEnumValN(RestrictedIT, "arm-restrict-it", |
| 72 | "Disallow deprecated IT based on ARMv8"), |
| 73 | clEnumValN(NoRestrictedIT, "arm-no-restrict-it", |
Mehdi Amini | 732afdd | 2016-10-08 19:41:06 +0000 | [diff] [blame] | 74 | "Allow IT blocks based on ARMv7"))); |
Weiming Zhao | 0da5cc0 | 2013-11-13 18:29:49 +0000 | [diff] [blame] | 75 | |
Oliver Stannard | f2ed5c6 | 2015-09-23 09:19:54 +0000 | [diff] [blame] | 76 | /// ForceFastISel - Use the fast-isel, even for subtargets where it is not |
| 77 | /// currently supported (for testing only). |
| 78 | static cl::opt<bool> |
| 79 | ForceFastISel("arm-force-fast-isel", |
| 80 | cl::init(false), cl::Hidden); |
| 81 | |
Eric Christopher | a47f680 | 2014-06-13 00:20:35 +0000 | [diff] [blame] | 82 | /// initializeSubtargetDependencies - Initializes using a CPU and feature string |
| 83 | /// so that we can use initializer lists for subtarget initialization. |
| 84 | ARMSubtarget &ARMSubtarget::initializeSubtargetDependencies(StringRef CPU, |
| 85 | StringRef FS) { |
| 86 | initializeEnvironment(); |
Eric Christopher | b68e253 | 2014-09-03 20:36:31 +0000 | [diff] [blame] | 87 | initSubtargetFeatures(CPU, FS); |
Eric Christopher | a47f680 | 2014-06-13 00:20:35 +0000 | [diff] [blame] | 88 | return *this; |
| 89 | } |
| 90 | |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 91 | ARMFrameLowering *ARMSubtarget::initializeFrameLowering(StringRef CPU, |
| 92 | StringRef FS) { |
| 93 | ARMSubtarget &STI = initializeSubtargetDependencies(CPU, FS); |
| 94 | if (STI.isThumb1Only()) |
| 95 | return (ARMFrameLowering *)new Thumb1FrameLowering(STI); |
| 96 | |
| 97 | return new ARMFrameLowering(STI); |
| 98 | } |
| 99 | |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 100 | namespace { |
| 101 | |
| 102 | struct ARMGISelActualAccessor : public GISelAccessor { |
| 103 | std::unique_ptr<CallLowering> CallLoweringInfo; |
| 104 | std::unique_ptr<InstructionSelector> InstSelector; |
| 105 | std::unique_ptr<LegalizerInfo> Legalizer; |
| 106 | std::unique_ptr<RegisterBankInfo> RegBankInfo; |
| 107 | |
| 108 | const CallLowering *getCallLowering() const override { |
| 109 | return CallLoweringInfo.get(); |
| 110 | } |
| 111 | |
| 112 | const InstructionSelector *getInstructionSelector() const override { |
| 113 | return InstSelector.get(); |
| 114 | } |
| 115 | |
| 116 | const LegalizerInfo *getLegalizerInfo() const override { |
| 117 | return Legalizer.get(); |
| 118 | } |
| 119 | |
| 120 | const RegisterBankInfo *getRegBankInfo() const override { |
| 121 | return RegBankInfo.get(); |
| 122 | } |
| 123 | }; |
| 124 | |
| 125 | } // end anonymous namespace |
| 126 | |
Daniel Sanders | a73f1fd | 2015-06-10 12:11:26 +0000 | [diff] [blame] | 127 | ARMSubtarget::ARMSubtarget(const Triple &TT, const std::string &CPU, |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 128 | const std::string &FS, |
| 129 | const ARMBaseTargetMachine &TM, bool IsLittle) |
Diana Picus | eb1068a | 2016-06-27 13:06:10 +0000 | [diff] [blame] | 130 | : ARMGenSubtargetInfo(TT, CPU, FS), UseMulOps(UseFusedMulOps), |
Eric Christopher | 015dc20 | 2017-07-01 02:55:22 +0000 | [diff] [blame] | 131 | CPUString(CPU), IsLittle(IsLittle), TargetTriple(TT), Options(TM.Options), |
| 132 | TM(TM), FrameLowering(initializeFrameLowering(CPU, FS)), |
Eric Christopher | 8b77065 | 2015-01-26 19:03:15 +0000 | [diff] [blame] | 133 | // At this point initializeSubtargetDependencies has been called so |
| 134 | // we can query directly. |
Eric Christopher | 80b24ef | 2014-06-26 19:30:02 +0000 | [diff] [blame] | 135 | InstrInfo(isThumb1Only() |
| 136 | ? (ARMBaseInstrInfo *)new Thumb1InstrInfo(*this) |
| 137 | : !isThumb() |
| 138 | ? (ARMBaseInstrInfo *)new ARMInstrInfo(*this) |
| 139 | : (ARMBaseInstrInfo *)new Thumb2InstrInfo(*this)), |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 140 | TLInfo(TM, *this) { |
Eric Christopher | 3df231a | 2017-07-01 03:41:53 +0000 | [diff] [blame] | 141 | |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 142 | ARMGISelActualAccessor *GISel = new ARMGISelActualAccessor(); |
| 143 | GISel->CallLoweringInfo.reset(new ARMCallLowering(*getTargetLowering())); |
| 144 | GISel->Legalizer.reset(new ARMLegalizerInfo(*this)); |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 145 | |
| 146 | auto *RBI = new ARMRegisterBankInfo(*getRegisterInfo()); |
| 147 | |
| 148 | // FIXME: At this point, we can't rely on Subtarget having RBI. |
| 149 | // It's awkward to mix passing RBI and the Subtarget; should we pass |
| 150 | // TII/TRI as well? |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 151 | GISel->InstSelector.reset(createARMInstructionSelector( |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 152 | *static_cast<const ARMBaseTargetMachine *>(&TM), *this, *RBI)); |
| 153 | |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 154 | GISel->RegBankInfo.reset(RBI); |
| 155 | setGISelAccessor(*GISel); |
Quentin Colombet | 51b7af3 | 2017-07-01 00:45:45 +0000 | [diff] [blame] | 156 | } |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 157 | |
| 158 | const CallLowering *ARMSubtarget::getCallLowering() const { |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 159 | assert(GISel && "Access to GlobalISel APIs not set"); |
| 160 | return GISel->getCallLowering(); |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 161 | } |
| 162 | |
| 163 | const InstructionSelector *ARMSubtarget::getInstructionSelector() const { |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 164 | assert(GISel && "Access to GlobalISel APIs not set"); |
| 165 | return GISel->getInstructionSelector(); |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 166 | } |
| 167 | |
| 168 | const LegalizerInfo *ARMSubtarget::getLegalizerInfo() const { |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 169 | assert(GISel && "Access to GlobalISel APIs not set"); |
| 170 | return GISel->getLegalizerInfo(); |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 171 | } |
| 172 | |
| 173 | const RegisterBankInfo *ARMSubtarget::getRegBankInfo() const { |
Quentin Colombet | 8dd90fb | 2017-08-08 22:22:30 +0000 | [diff] [blame] | 174 | assert(GISel && "Access to GlobalISel APIs not set"); |
| 175 | return GISel->getRegBankInfo(); |
Diana Picus | 2227493 | 2016-11-11 08:27:37 +0000 | [diff] [blame] | 176 | } |
Bill Wendling | 5a92eec | 2013-02-15 22:41:25 +0000 | [diff] [blame] | 177 | |
Dean Michael Berris | 46401544 | 2016-09-19 00:54:35 +0000 | [diff] [blame] | 178 | bool ARMSubtarget::isXRaySupported() const { |
| 179 | // We don't currently suppport Thumb, but Windows requires Thumb. |
| 180 | return hasV6Ops() && hasARMOps() && !isTargetWindows(); |
| 181 | } |
| 182 | |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 183 | void ARMSubtarget::initializeEnvironment() { |
Tim Northover | 747ae9a | 2015-11-18 21:10:39 +0000 | [diff] [blame] | 184 | // MCAsmInfo isn't always present (e.g. in opt) so we can't initialize this |
| 185 | // directly from it, but we can try to make sure they're consistent when both |
| 186 | // available. |
Tim Northover | 042a6c1 | 2016-01-27 19:32:29 +0000 | [diff] [blame] | 187 | UseSjLjEH = isTargetDarwin() && !isTargetWatchABI(); |
Tim Northover | 747ae9a | 2015-11-18 21:10:39 +0000 | [diff] [blame] | 188 | assert((!TM.getMCAsmInfo() || |
| 189 | (TM.getMCAsmInfo()->getExceptionHandlingType() == |
| 190 | ExceptionHandling::SjLj) == UseSjLjEH) && |
| 191 | "inconsistent sjlj choice between CodeGen and MC"); |
Bill Wendling | 61375d8 | 2013-02-16 01:36:26 +0000 | [diff] [blame] | 192 | } |
| 193 | |
Eric Christopher | b68e253 | 2014-09-03 20:36:31 +0000 | [diff] [blame] | 194 | void ARMSubtarget::initSubtargetFeatures(StringRef CPU, StringRef FS) { |
Tilmann Scheller | 63872ce | 2013-09-02 17:09:01 +0000 | [diff] [blame] | 195 | if (CPUString.empty()) { |
Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 196 | CPUString = "generic"; |
| 197 | |
| 198 | if (isTargetDarwin()) { |
| 199 | StringRef ArchName = TargetTriple.getArchName(); |
Florian Hahn | 67ddd1d | 2017-07-27 16:27:56 +0000 | [diff] [blame] | 200 | ARM::ArchKind AK = ARM::parseArch(ArchName); |
| 201 | if (AK == ARM::ArchKind::ARMV7S) |
Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 202 | // Default to the Swift CPU when targeting armv7s/thumbv7s. |
| 203 | CPUString = "swift"; |
Florian Hahn | 67ddd1d | 2017-07-27 16:27:56 +0000 | [diff] [blame] | 204 | else if (AK == ARM::ArchKind::ARMV7K) |
Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 205 | // Default to the Cortex-a7 CPU when targeting armv7k/thumbv7k. |
| 206 | // ARMv7k does not use SjLj exception handling. |
| 207 | CPUString = "cortex-a7"; |
| 208 | } |
Tilmann Scheller | 63872ce | 2013-09-02 17:09:01 +0000 | [diff] [blame] | 209 | } |
Evan Cheng | ec415ef | 2009-03-08 04:02:49 +0000 | [diff] [blame] | 210 | |
Evan Cheng | 0b33a32 | 2011-06-30 02:12:44 +0000 | [diff] [blame] | 211 | // Insert the architecture feature derived from the target triple into the |
| 212 | // feature string. This is important for setting features that are implied |
| 213 | // based on the architecture version. |
Daniel Sanders | 50f1723 | 2015-09-15 16:17:27 +0000 | [diff] [blame] | 214 | std::string ArchFS = ARM_MC::ParseARMTriple(TargetTriple, CPUString); |
Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 215 | if (!FS.empty()) { |
| 216 | if (!ArchFS.empty()) |
Yaron Keren | 075759a | 2015-03-30 15:42:36 +0000 | [diff] [blame] | 217 | ArchFS = (Twine(ArchFS) + "," + FS).str(); |
Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 218 | else |
| 219 | ArchFS = FS; |
| 220 | } |
Evan Cheng | 1a72add6 | 2011-07-07 07:07:08 +0000 | [diff] [blame] | 221 | ParseSubtargetFeatures(CPUString, ArchFS); |
Evan Cheng | 2bd6536 | 2011-07-07 00:08:19 +0000 | [diff] [blame] | 222 | |
Joerg Sonnenberger | 002a147 | 2013-12-13 11:16:00 +0000 | [diff] [blame] | 223 | // FIXME: This used enable V6T2 support implicitly for Thumb2 mode. |
| 224 | // Assert this for now to make the change obvious. |
| 225 | assert(hasV6T2Ops() || !hasThumb2()); |
Bob Wilson | d0046ca | 2010-11-09 22:50:47 +0000 | [diff] [blame] | 226 | |
Prakhar Bahuguna | 52a7dd7 | 2016-12-15 07:59:08 +0000 | [diff] [blame] | 227 | // Execute only support requires movt support |
| 228 | if (genExecuteOnly()) |
| 229 | assert(hasV8MBaselineOps() && !NoMovt && "Cannot generate execute-only code for this target"); |
| 230 | |
Andrew Trick | 352abc1 | 2012-08-08 02:44:16 +0000 | [diff] [blame] | 231 | // Keep a pointer to static instruction cost data for the specified CPU. |
| 232 | SchedModel = getSchedModelForCPU(CPUString); |
| 233 | |
Evan Cheng | 54b68e3 | 2011-07-01 20:45:01 +0000 | [diff] [blame] | 234 | // Initialize scheduling itinerary for the specified CPU. |
| 235 | InstrItins = getInstrItineraryForCPU(CPUString); |
| 236 | |
Saleem Abdulrasool | cd13082 | 2014-04-02 20:32:05 +0000 | [diff] [blame] | 237 | // FIXME: this is invalid for WindowsCE |
Eric Christopher | 1971c35 | 2014-12-18 02:08:45 +0000 | [diff] [blame] | 238 | if (isTargetWindows()) |
Saleem Abdulrasool | cd13082 | 2014-04-02 20:32:05 +0000 | [diff] [blame] | 239 | NoARM = true; |
Saleem Abdulrasool | cd13082 | 2014-04-02 20:32:05 +0000 | [diff] [blame] | 240 | |
Lauro Ramos Venancio | 048e16ff | 2007-02-13 19:52:28 +0000 | [diff] [blame] | 241 | if (isAAPCS_ABI()) |
| 242 | stackAlignment = 8; |
Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 243 | if (isTargetNaCl() || isAAPCS16_ABI()) |
Mark Seaborn | be266aa | 2014-02-16 18:59:48 +0000 | [diff] [blame] | 244 | stackAlignment = 16; |
Lauro Ramos Venancio | 048e16ff | 2007-02-13 19:52:28 +0000 | [diff] [blame] | 245 | |
Artyom Skrobov | ad8a063 | 2015-09-28 09:44:11 +0000 | [diff] [blame] | 246 | // FIXME: Completely disable sibcall for Thumb1 since ThumbRegisterInfo:: |
| 247 | // emitEpilogue is not ready for them. Thumb tail calls also use t2B, as |
| 248 | // the Thumb1 16-bit unconditional branch doesn't have sufficient relocation |
| 249 | // support in the assembler and linker to be used. This would need to be |
| 250 | // fixed to fully support tail calls in Thumb1. |
| 251 | // |
Sanne Wouda | a994185 | 2017-02-03 11:15:53 +0000 | [diff] [blame] | 252 | // For ARMv8-M, we /do/ implement tail calls. Doing this is tricky for v8-M |
| 253 | // baseline, since the LDM/POP instruction on Thumb doesn't take LR. This |
| 254 | // means if we need to reload LR, it takes extra instructions, which outweighs |
| 255 | // the value of the tail call; but here we don't know yet whether LR is going |
| 256 | // to be used. We generate the tail call here and turn it back into CALL/RET |
| 257 | // in emitEpilogue if LR is used. |
Artyom Skrobov | ad8a063 | 2015-09-28 09:44:11 +0000 | [diff] [blame] | 258 | |
| 259 | // Thumb1 PIC calls to external symbols use BX, so they can be tail calls, |
| 260 | // but we need to make sure there are enough registers; the only valid |
| 261 | // registers are the 4 used for parameters. We don't currently do this |
| 262 | // case. |
| 263 | |
Bradley Smith | a118910 | 2016-01-15 10:26:17 +0000 | [diff] [blame] | 264 | SupportsTailCall = !isThumb() || hasV8MBaselineOps(); |
Artyom Skrobov | ad8a063 | 2015-09-28 09:44:11 +0000 | [diff] [blame] | 265 | |
| 266 | if (isTargetMachO() && isTargetIOS() && getTargetTriple().isOSVersionLT(5, 0)) |
| 267 | SupportsTailCall = false; |
David Goodwin | 9a051a5 | 2009-10-01 21:46:35 +0000 | [diff] [blame] | 268 | |
Weiming Zhao | 0da5cc0 | 2013-11-13 18:29:49 +0000 | [diff] [blame] | 269 | switch (IT) { |
| 270 | case DefaultIT: |
Alexander Kornienko | fb37cfa | 2015-04-14 15:32:58 +0000 | [diff] [blame] | 271 | RestrictIT = hasV8Ops(); |
Weiming Zhao | 0da5cc0 | 2013-11-13 18:29:49 +0000 | [diff] [blame] | 272 | break; |
| 273 | case RestrictedIT: |
| 274 | RestrictIT = true; |
| 275 | break; |
| 276 | case NoRestrictedIT: |
| 277 | RestrictIT = false; |
| 278 | break; |
| 279 | } |
| 280 | |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 281 | // NEON f32 ops are non-IEEE 754 compliant. Darwin is ok with it by default. |
Michael Kuperstein | db0712f | 2015-05-26 10:47:10 +0000 | [diff] [blame] | 282 | const FeatureBitset &Bits = getFeatureBits(); |
| 283 | if ((Bits[ARM::ProcA5] || Bits[ARM::ProcA8]) && // Where this matters |
Renato Golin | b4dd6c5 | 2013-03-21 18:47:47 +0000 | [diff] [blame] | 284 | (Options.UnsafeFPMath || isTargetDarwin())) |
| 285 | UseNEONForSinglePrecisionFP = true; |
Diana Picus | 92423ce | 2016-06-27 09:08:23 +0000 | [diff] [blame] | 286 | |
Oliver Stannard | 8331aae | 2016-08-08 15:28:31 +0000 | [diff] [blame] | 287 | if (isRWPI()) |
| 288 | ReserveR9 = true; |
| 289 | |
Diana Picus | 92423ce | 2016-06-27 09:08:23 +0000 | [diff] [blame] | 290 | // FIXME: Teach TableGen to deal with these instead of doing it manually here. |
| 291 | switch (ARMProcFamily) { |
| 292 | case Others: |
| 293 | case CortexA5: |
| 294 | break; |
| 295 | case CortexA7: |
| 296 | LdStMultipleTiming = DoubleIssue; |
| 297 | break; |
| 298 | case CortexA8: |
| 299 | LdStMultipleTiming = DoubleIssue; |
| 300 | break; |
| 301 | case CortexA9: |
| 302 | LdStMultipleTiming = DoubleIssueCheckUnalignedAccess; |
| 303 | PreISelOperandLatencyAdjustment = 1; |
| 304 | break; |
| 305 | case CortexA12: |
| 306 | break; |
| 307 | case CortexA15: |
| 308 | MaxInterleaveFactor = 2; |
| 309 | PreISelOperandLatencyAdjustment = 1; |
Diana Picus | b772e40 | 2016-07-06 11:22:11 +0000 | [diff] [blame] | 310 | PartialUpdateClearance = 12; |
Diana Picus | 92423ce | 2016-06-27 09:08:23 +0000 | [diff] [blame] | 311 | break; |
| 312 | case CortexA17: |
| 313 | case CortexA32: |
| 314 | case CortexA35: |
| 315 | case CortexA53: |
| 316 | case CortexA57: |
| 317 | case CortexA72: |
| 318 | case CortexA73: |
| 319 | case CortexR4: |
| 320 | case CortexR4F: |
| 321 | case CortexR5: |
| 322 | case CortexR7: |
| 323 | case CortexM3: |
Javed Absar | 9797989 | 2016-10-07 13:41:55 +0000 | [diff] [blame] | 324 | case CortexR52: |
Evandro Menezes | b3ed4bc | 2017-07-26 21:28:20 +0000 | [diff] [blame] | 325 | case ExynosM1: |
Yi Kong | 60b5a1c | 2017-04-06 22:47:47 +0000 | [diff] [blame] | 326 | case Kryo: |
Diana Picus | 92423ce | 2016-06-27 09:08:23 +0000 | [diff] [blame] | 327 | break; |
| 328 | case Krait: |
| 329 | PreISelOperandLatencyAdjustment = 1; |
| 330 | break; |
| 331 | case Swift: |
| 332 | MaxInterleaveFactor = 2; |
| 333 | LdStMultipleTiming = SingleIssuePlusExtras; |
| 334 | PreISelOperandLatencyAdjustment = 1; |
Diana Picus | b772e40 | 2016-07-06 11:22:11 +0000 | [diff] [blame] | 335 | PartialUpdateClearance = 12; |
Diana Picus | 92423ce | 2016-06-27 09:08:23 +0000 | [diff] [blame] | 336 | break; |
| 337 | } |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 338 | } |
Evan Cheng | 43b9ca6 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 339 | |
Eric Christopher | 661f2d1 | 2014-12-18 02:20:58 +0000 | [diff] [blame] | 340 | bool ARMSubtarget::isAPCS_ABI() const { |
| 341 | assert(TM.TargetABI != ARMBaseTargetMachine::ARM_ABI_UNKNOWN); |
| 342 | return TM.TargetABI == ARMBaseTargetMachine::ARM_ABI_APCS; |
| 343 | } |
| 344 | bool ARMSubtarget::isAAPCS_ABI() const { |
| 345 | assert(TM.TargetABI != ARMBaseTargetMachine::ARM_ABI_UNKNOWN); |
Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 346 | return TM.TargetABI == ARMBaseTargetMachine::ARM_ABI_AAPCS || |
| 347 | TM.TargetABI == ARMBaseTargetMachine::ARM_ABI_AAPCS16; |
Eric Christopher | 661f2d1 | 2014-12-18 02:20:58 +0000 | [diff] [blame] | 348 | } |
Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 349 | bool ARMSubtarget::isAAPCS16_ABI() const { |
| 350 | assert(TM.TargetABI != ARMBaseTargetMachine::ARM_ABI_UNKNOWN); |
| 351 | return TM.TargetABI == ARMBaseTargetMachine::ARM_ABI_AAPCS16; |
| 352 | } |
| 353 | |
Oliver Stannard | 8331aae | 2016-08-08 15:28:31 +0000 | [diff] [blame] | 354 | bool ARMSubtarget::isROPI() const { |
| 355 | return TM.getRelocationModel() == Reloc::ROPI || |
| 356 | TM.getRelocationModel() == Reloc::ROPI_RWPI; |
| 357 | } |
| 358 | bool ARMSubtarget::isRWPI() const { |
| 359 | return TM.getRelocationModel() == Reloc::RWPI || |
| 360 | TM.getRelocationModel() == Reloc::ROPI_RWPI; |
| 361 | } |
| 362 | |
Rafael Espindola | 5ac8f5c | 2016-06-28 15:38:13 +0000 | [diff] [blame] | 363 | bool ARMSubtarget::isGVIndirectSymbol(const GlobalValue *GV) const { |
Rafael Espindola | 3beef8d | 2016-06-27 23:15:57 +0000 | [diff] [blame] | 364 | if (!TM.shouldAssumeDSOLocal(*GV->getParent(), GV)) |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 365 | return true; |
Peter Collingbourne | 6a9d177 | 2015-07-05 20:52:35 +0000 | [diff] [blame] | 366 | |
Rafael Espindola | eece113 | 2016-05-27 22:41:51 +0000 | [diff] [blame] | 367 | // 32 bit macho has no relocation for a-b if a is undefined, even if b is in |
| 368 | // the section that is being relocated. This means we have to use o load even |
| 369 | // for GVs that are known to be local to the dso. |
Rafael Espindola | 70c6a39 | 2016-08-24 19:02:29 +0000 | [diff] [blame] | 370 | if (isTargetMachO() && TM.isPositionIndependent() && |
Rafael Espindola | eece113 | 2016-05-27 22:41:51 +0000 | [diff] [blame] | 371 | (GV->isDeclarationForLinker() || GV->hasCommonLinkage())) |
| 372 | return true; |
Evan Cheng | 1b38952 | 2009-09-03 07:04:02 +0000 | [diff] [blame] | 373 | |
| 374 | return false; |
Evan Cheng | 43b9ca6 | 2009-08-28 23:18:09 +0000 | [diff] [blame] | 375 | } |
David Goodwin | 0d412c2 | 2009-11-10 00:48:55 +0000 | [diff] [blame] | 376 | |
Owen Anderson | a3181e2 | 2010-09-28 21:57:50 +0000 | [diff] [blame] | 377 | unsigned ARMSubtarget::getMispredictionPenalty() const { |
Pete Cooper | 1175945 | 2014-09-02 17:43:54 +0000 | [diff] [blame] | 378 | return SchedModel.MispredictPenalty; |
Owen Anderson | a3181e2 | 2010-09-28 21:57:50 +0000 | [diff] [blame] | 379 | } |
| 380 | |
Bob Wilson | e7dde0c | 2013-11-03 06:14:38 +0000 | [diff] [blame] | 381 | bool ARMSubtarget::hasSinCos() const { |
Tim Northover | 8b40366 | 2015-10-28 22:51:16 +0000 | [diff] [blame] | 382 | return isTargetWatchOS() || |
| 383 | (isTargetIOS() && !getTargetTriple().isOSVersionLT(7, 0)); |
Bob Wilson | e7dde0c | 2013-11-03 06:14:38 +0000 | [diff] [blame] | 384 | } |
| 385 | |
Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 386 | bool ARMSubtarget::enableMachineScheduler() const { |
Florian Hahn | e3583bd | 2017-07-27 19:56:44 +0000 | [diff] [blame] | 387 | // Enable the MachineScheduler before register allocation for subtargets |
| 388 | // with the use-misched feature. |
| 389 | return useMachineScheduler(); |
Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 390 | } |
| 391 | |
Sanjay Patel | a2f658d | 2014-07-15 22:39:58 +0000 | [diff] [blame] | 392 | // This overrides the PostRAScheduler bit in the SchedModel for any CPU. |
Matthias Braun | 39a2afc | 2015-06-13 03:42:16 +0000 | [diff] [blame] | 393 | bool ARMSubtarget::enablePostRAScheduler() const { |
Florian Hahn | e3583bd | 2017-07-27 19:56:44 +0000 | [diff] [blame] | 394 | // No need for PostRA scheduling on subtargets where we use the |
| 395 | // MachineScheduler. |
| 396 | if (useMachineScheduler()) |
Matthias Braun | 9e85980 | 2015-07-17 23:18:30 +0000 | [diff] [blame] | 397 | return false; |
Sanjay Patel | a2f658d | 2014-07-15 22:39:58 +0000 | [diff] [blame] | 398 | return (!isThumb() || hasThumb2()); |
Andrew Trick | 8d2ee37 | 2014-06-04 07:06:27 +0000 | [diff] [blame] | 399 | } |
| 400 | |
Weiming Zhao | 962eaae | 2016-11-03 21:49:08 +0000 | [diff] [blame] | 401 | bool ARMSubtarget::enableAtomicExpand() const { return hasAnyDataBarrier(); } |
Eric Christopher | c40e5ed | 2014-06-19 21:03:04 +0000 | [diff] [blame] | 402 | |
Tim Northover | 910dde7 | 2015-08-03 17:20:10 +0000 | [diff] [blame] | 403 | bool ARMSubtarget::useStride4VFPs(const MachineFunction &MF) const { |
Tim Northover | f8e47e4 | 2015-10-28 22:56:36 +0000 | [diff] [blame] | 404 | // For general targets, the prologue can grow when VFPs are allocated with |
| 405 | // stride 4 (more vpush instructions). But WatchOS uses a compact unwind |
| 406 | // format which it's more important to get right. |
Tim Northover | 042a6c1 | 2016-01-27 19:32:29 +0000 | [diff] [blame] | 407 | return isTargetWatchABI() || (isSwift() && !MF.getFunction()->optForMinSize()); |
Tim Northover | 910dde7 | 2015-08-03 17:20:10 +0000 | [diff] [blame] | 408 | } |
| 409 | |
Eric Christopher | c1058df | 2014-07-04 01:55:26 +0000 | [diff] [blame] | 410 | bool ARMSubtarget::useMovt(const MachineFunction &MF) const { |
| 411 | // NOTE Windows on ARM needs to use mov.w/mov.t pairs to materialise 32-bit |
| 412 | // immediates as it is inherently position independent, and may be out of |
| 413 | // range otherwise. |
Bradley Smith | d9a99ce | 2016-01-15 10:25:14 +0000 | [diff] [blame] | 414 | return !NoMovt && hasV8MBaselineOps() && |
Prakhar Bahuguna | 52a7dd7 | 2016-12-15 07:59:08 +0000 | [diff] [blame] | 415 | (isTargetWindows() || !MF.getFunction()->optForMinSize() || genExecuteOnly()); |
Eric Christopher | c1058df | 2014-07-04 01:55:26 +0000 | [diff] [blame] | 416 | } |
Akira Hatanaka | ddf76aa | 2015-05-23 01:14:08 +0000 | [diff] [blame] | 417 | |
| 418 | bool ARMSubtarget::useFastISel() const { |
Oliver Stannard | f2ed5c6 | 2015-09-23 09:19:54 +0000 | [diff] [blame] | 419 | // Enable fast-isel for any target, for testing only. |
| 420 | if (ForceFastISel) |
| 421 | return true; |
| 422 | |
Eric Christopher | a835956 | 2015-09-18 20:08:18 +0000 | [diff] [blame] | 423 | // Limit fast-isel to the targets that are or have been tested. |
| 424 | if (!hasV6Ops()) |
| 425 | return false; |
| 426 | |
Akira Hatanaka | ddf76aa | 2015-05-23 01:14:08 +0000 | [diff] [blame] | 427 | // Thumb2 support on iOS; ARM support on iOS, Linux and NaCl. |
| 428 | return TM.Options.EnableFastISel && |
| 429 | ((isTargetMachO() && !isThumb1Only()) || |
| 430 | (isTargetLinux() && !isThumb()) || (isTargetNaCl() && !isThumb())); |
| 431 | } |