xref: /freebsd/contrib/llvm-project/llvm/lib/Target/AArch64/AArch64Subtarget.cpp (revision e837bb5cfb2b3a734feb1fbe20b25dbe6d550a3c)
10b57cec5SDimitry Andric //===-- AArch64Subtarget.cpp - AArch64 Subtarget Information ----*- C++ -*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the AArch64 specific subclass of TargetSubtarget.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "AArch64Subtarget.h"
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric #include "AArch64.h"
160b57cec5SDimitry Andric #include "AArch64CallLowering.h"
170b57cec5SDimitry Andric #include "AArch64InstrInfo.h"
180b57cec5SDimitry Andric #include "AArch64LegalizerInfo.h"
190b57cec5SDimitry Andric #include "AArch64PBQPRegAlloc.h"
200b57cec5SDimitry Andric #include "AArch64RegisterBankInfo.h"
210b57cec5SDimitry Andric #include "AArch64TargetMachine.h"
220b57cec5SDimitry Andric #include "MCTargetDesc/AArch64AddressingModes.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/GlobalISel/InstructionSelect.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/MachineScheduler.h"
250b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h"
260b57cec5SDimitry Andric #include "llvm/Support/TargetParser.h"
270b57cec5SDimitry Andric 
280b57cec5SDimitry Andric using namespace llvm;
290b57cec5SDimitry Andric 
300b57cec5SDimitry Andric #define DEBUG_TYPE "aarch64-subtarget"
310b57cec5SDimitry Andric 
320b57cec5SDimitry Andric #define GET_SUBTARGETINFO_CTOR
330b57cec5SDimitry Andric #define GET_SUBTARGETINFO_TARGET_DESC
340b57cec5SDimitry Andric #include "AArch64GenSubtargetInfo.inc"
350b57cec5SDimitry Andric 
360b57cec5SDimitry Andric static cl::opt<bool>
370b57cec5SDimitry Andric EnableEarlyIfConvert("aarch64-early-ifcvt", cl::desc("Enable the early if "
380b57cec5SDimitry Andric                      "converter pass"), cl::init(true), cl::Hidden);
390b57cec5SDimitry Andric 
400b57cec5SDimitry Andric // If OS supports TBI, use this flag to enable it.
410b57cec5SDimitry Andric static cl::opt<bool>
420b57cec5SDimitry Andric UseAddressTopByteIgnored("aarch64-use-tbi", cl::desc("Assume that top byte of "
430b57cec5SDimitry Andric                          "an address is ignored"), cl::init(false), cl::Hidden);
440b57cec5SDimitry Andric 
450b57cec5SDimitry Andric static cl::opt<bool>
460b57cec5SDimitry Andric     UseNonLazyBind("aarch64-enable-nonlazybind",
470b57cec5SDimitry Andric                    cl::desc("Call nonlazybind functions via direct GOT load"),
480b57cec5SDimitry Andric                    cl::init(false), cl::Hidden);
490b57cec5SDimitry Andric 
500b57cec5SDimitry Andric AArch64Subtarget &
510b57cec5SDimitry Andric AArch64Subtarget::initializeSubtargetDependencies(StringRef FS,
520b57cec5SDimitry Andric                                                   StringRef CPUString) {
530b57cec5SDimitry Andric   // Determine default and user-specified characteristics
540b57cec5SDimitry Andric 
550b57cec5SDimitry Andric   if (CPUString.empty())
560b57cec5SDimitry Andric     CPUString = "generic";
570b57cec5SDimitry Andric 
580b57cec5SDimitry Andric   ParseSubtargetFeatures(CPUString, FS);
590b57cec5SDimitry Andric   initializeProperties();
600b57cec5SDimitry Andric 
610b57cec5SDimitry Andric   return *this;
620b57cec5SDimitry Andric }
630b57cec5SDimitry Andric 
640b57cec5SDimitry Andric void AArch64Subtarget::initializeProperties() {
650b57cec5SDimitry Andric   // Initialize CPU specific properties. We should add a tablegen feature for
660b57cec5SDimitry Andric   // this in the future so we can specify it together with the subtarget
670b57cec5SDimitry Andric   // features.
680b57cec5SDimitry Andric   switch (ARMProcFamily) {
690b57cec5SDimitry Andric   case Others:
700b57cec5SDimitry Andric     break;
710b57cec5SDimitry Andric   case CortexA35:
720b57cec5SDimitry Andric     break;
730b57cec5SDimitry Andric   case CortexA53:
748bcb0991SDimitry Andric     PrefFunctionLogAlignment = 3;
750b57cec5SDimitry Andric     break;
760b57cec5SDimitry Andric   case CortexA55:
770b57cec5SDimitry Andric     break;
780b57cec5SDimitry Andric   case CortexA57:
790b57cec5SDimitry Andric     MaxInterleaveFactor = 4;
808bcb0991SDimitry Andric     PrefFunctionLogAlignment = 4;
818bcb0991SDimitry Andric     break;
828bcb0991SDimitry Andric   case CortexA65:
838bcb0991SDimitry Andric     PrefFunctionLogAlignment = 3;
840b57cec5SDimitry Andric     break;
850b57cec5SDimitry Andric   case CortexA72:
860b57cec5SDimitry Andric   case CortexA73:
870b57cec5SDimitry Andric   case CortexA75:
880b57cec5SDimitry Andric   case CortexA76:
898bcb0991SDimitry Andric     PrefFunctionLogAlignment = 4;
900b57cec5SDimitry Andric     break;
91480093f4SDimitry Andric   case AppleA7:
92480093f4SDimitry Andric   case AppleA10:
93480093f4SDimitry Andric   case AppleA11:
94480093f4SDimitry Andric   case AppleA12:
95480093f4SDimitry Andric   case AppleA13:
960b57cec5SDimitry Andric     CacheLineSize = 64;
970b57cec5SDimitry Andric     PrefetchDistance = 280;
980b57cec5SDimitry Andric     MinPrefetchStride = 2048;
990b57cec5SDimitry Andric     MaxPrefetchIterationsAhead = 3;
1000b57cec5SDimitry Andric     break;
1010b57cec5SDimitry Andric   case ExynosM3:
1020b57cec5SDimitry Andric     MaxInterleaveFactor = 4;
1030b57cec5SDimitry Andric     MaxJumpTableSize = 20;
1048bcb0991SDimitry Andric     PrefFunctionLogAlignment = 5;
1058bcb0991SDimitry Andric     PrefLoopLogAlignment = 4;
1060b57cec5SDimitry Andric     break;
1070b57cec5SDimitry Andric   case Falkor:
1080b57cec5SDimitry Andric     MaxInterleaveFactor = 4;
1090b57cec5SDimitry Andric     // FIXME: remove this to enable 64-bit SLP if performance looks good.
1100b57cec5SDimitry Andric     MinVectorRegisterBitWidth = 128;
1110b57cec5SDimitry Andric     CacheLineSize = 128;
1120b57cec5SDimitry Andric     PrefetchDistance = 820;
1130b57cec5SDimitry Andric     MinPrefetchStride = 2048;
1140b57cec5SDimitry Andric     MaxPrefetchIterationsAhead = 8;
1150b57cec5SDimitry Andric     break;
1160b57cec5SDimitry Andric   case Kryo:
1170b57cec5SDimitry Andric     MaxInterleaveFactor = 4;
1180b57cec5SDimitry Andric     VectorInsertExtractBaseCost = 2;
1190b57cec5SDimitry Andric     CacheLineSize = 128;
1200b57cec5SDimitry Andric     PrefetchDistance = 740;
1210b57cec5SDimitry Andric     MinPrefetchStride = 1024;
1220b57cec5SDimitry Andric     MaxPrefetchIterationsAhead = 11;
1230b57cec5SDimitry Andric     // FIXME: remove this to enable 64-bit SLP if performance looks good.
1240b57cec5SDimitry Andric     MinVectorRegisterBitWidth = 128;
1250b57cec5SDimitry Andric     break;
1268bcb0991SDimitry Andric   case NeoverseE1:
1278bcb0991SDimitry Andric     PrefFunctionLogAlignment = 3;
1288bcb0991SDimitry Andric     break;
1298bcb0991SDimitry Andric   case NeoverseN1:
1308bcb0991SDimitry Andric     PrefFunctionLogAlignment = 4;
1318bcb0991SDimitry Andric     break;
1320b57cec5SDimitry Andric   case Saphira:
1330b57cec5SDimitry Andric     MaxInterleaveFactor = 4;
1340b57cec5SDimitry Andric     // FIXME: remove this to enable 64-bit SLP if performance looks good.
1350b57cec5SDimitry Andric     MinVectorRegisterBitWidth = 128;
1360b57cec5SDimitry Andric     break;
1370b57cec5SDimitry Andric   case ThunderX2T99:
1380b57cec5SDimitry Andric     CacheLineSize = 64;
1398bcb0991SDimitry Andric     PrefFunctionLogAlignment = 3;
1408bcb0991SDimitry Andric     PrefLoopLogAlignment = 2;
1410b57cec5SDimitry Andric     MaxInterleaveFactor = 4;
1420b57cec5SDimitry Andric     PrefetchDistance = 128;
1430b57cec5SDimitry Andric     MinPrefetchStride = 1024;
1440b57cec5SDimitry Andric     MaxPrefetchIterationsAhead = 4;
1450b57cec5SDimitry Andric     // FIXME: remove this to enable 64-bit SLP if performance looks good.
1460b57cec5SDimitry Andric     MinVectorRegisterBitWidth = 128;
1470b57cec5SDimitry Andric     break;
1480b57cec5SDimitry Andric   case ThunderX:
1490b57cec5SDimitry Andric   case ThunderXT88:
1500b57cec5SDimitry Andric   case ThunderXT81:
1510b57cec5SDimitry Andric   case ThunderXT83:
1520b57cec5SDimitry Andric     CacheLineSize = 128;
1538bcb0991SDimitry Andric     PrefFunctionLogAlignment = 3;
1548bcb0991SDimitry Andric     PrefLoopLogAlignment = 2;
1550b57cec5SDimitry Andric     // FIXME: remove this to enable 64-bit SLP if performance looks good.
1560b57cec5SDimitry Andric     MinVectorRegisterBitWidth = 128;
1570b57cec5SDimitry Andric     break;
1580b57cec5SDimitry Andric   case TSV110:
1590b57cec5SDimitry Andric     CacheLineSize = 64;
1608bcb0991SDimitry Andric     PrefFunctionLogAlignment = 4;
1618bcb0991SDimitry Andric     PrefLoopLogAlignment = 2;
1620b57cec5SDimitry Andric     break;
163*e837bb5cSDimitry Andric   case ThunderX3T110:
164*e837bb5cSDimitry Andric     CacheLineSize = 64;
165*e837bb5cSDimitry Andric     PrefFunctionLogAlignment = 4;
166*e837bb5cSDimitry Andric     PrefLoopLogAlignment = 2;
167*e837bb5cSDimitry Andric     MaxInterleaveFactor = 4;
168*e837bb5cSDimitry Andric     PrefetchDistance = 128;
169*e837bb5cSDimitry Andric     MinPrefetchStride = 1024;
170*e837bb5cSDimitry Andric     MaxPrefetchIterationsAhead = 4;
171*e837bb5cSDimitry Andric     // FIXME: remove this to enable 64-bit SLP if performance looks good.
172*e837bb5cSDimitry Andric     MinVectorRegisterBitWidth = 128;
173*e837bb5cSDimitry Andric     break;
1740b57cec5SDimitry Andric   }
1750b57cec5SDimitry Andric }
1760b57cec5SDimitry Andric 
1770b57cec5SDimitry Andric AArch64Subtarget::AArch64Subtarget(const Triple &TT, const std::string &CPU,
1780b57cec5SDimitry Andric                                    const std::string &FS,
1790b57cec5SDimitry Andric                                    const TargetMachine &TM, bool LittleEndian)
1800b57cec5SDimitry Andric     : AArch64GenSubtargetInfo(TT, CPU, FS),
1810b57cec5SDimitry Andric       ReserveXRegister(AArch64::GPR64commonRegClass.getNumRegs()),
1820b57cec5SDimitry Andric       CustomCallSavedXRegs(AArch64::GPR64commonRegClass.getNumRegs()),
1830b57cec5SDimitry Andric       IsLittle(LittleEndian),
1840b57cec5SDimitry Andric       TargetTriple(TT), FrameLowering(),
1850b57cec5SDimitry Andric       InstrInfo(initializeSubtargetDependencies(FS, CPU)), TSInfo(),
1860b57cec5SDimitry Andric       TLInfo(TM, *this) {
1870b57cec5SDimitry Andric   if (AArch64::isX18ReservedByDefault(TT))
1880b57cec5SDimitry Andric     ReserveXRegister.set(18);
1890b57cec5SDimitry Andric 
1900b57cec5SDimitry Andric   CallLoweringInfo.reset(new AArch64CallLowering(*getTargetLowering()));
1910b57cec5SDimitry Andric   Legalizer.reset(new AArch64LegalizerInfo(*this));
1920b57cec5SDimitry Andric 
1930b57cec5SDimitry Andric   auto *RBI = new AArch64RegisterBankInfo(*getRegisterInfo());
1940b57cec5SDimitry Andric 
1950b57cec5SDimitry Andric   // FIXME: At this point, we can't rely on Subtarget having RBI.
1960b57cec5SDimitry Andric   // It's awkward to mix passing RBI and the Subtarget; should we pass
1970b57cec5SDimitry Andric   // TII/TRI as well?
1980b57cec5SDimitry Andric   InstSelector.reset(createAArch64InstructionSelector(
1990b57cec5SDimitry Andric       *static_cast<const AArch64TargetMachine *>(&TM), *this, *RBI));
2000b57cec5SDimitry Andric 
2010b57cec5SDimitry Andric   RegBankInfo.reset(RBI);
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric const CallLowering *AArch64Subtarget::getCallLowering() const {
2050b57cec5SDimitry Andric   return CallLoweringInfo.get();
2060b57cec5SDimitry Andric }
2070b57cec5SDimitry Andric 
2088bcb0991SDimitry Andric InstructionSelector *AArch64Subtarget::getInstructionSelector() const {
2090b57cec5SDimitry Andric   return InstSelector.get();
2100b57cec5SDimitry Andric }
2110b57cec5SDimitry Andric 
2120b57cec5SDimitry Andric const LegalizerInfo *AArch64Subtarget::getLegalizerInfo() const {
2130b57cec5SDimitry Andric   return Legalizer.get();
2140b57cec5SDimitry Andric }
2150b57cec5SDimitry Andric 
2160b57cec5SDimitry Andric const RegisterBankInfo *AArch64Subtarget::getRegBankInfo() const {
2170b57cec5SDimitry Andric   return RegBankInfo.get();
2180b57cec5SDimitry Andric }
2190b57cec5SDimitry Andric 
2200b57cec5SDimitry Andric /// Find the target operand flags that describe how a global value should be
2210b57cec5SDimitry Andric /// referenced for the current subtarget.
2228bcb0991SDimitry Andric unsigned
2230b57cec5SDimitry Andric AArch64Subtarget::ClassifyGlobalReference(const GlobalValue *GV,
2240b57cec5SDimitry Andric                                           const TargetMachine &TM) const {
2250b57cec5SDimitry Andric   // MachO large model always goes via a GOT, simply to get a single 8-byte
2260b57cec5SDimitry Andric   // absolute relocation on all global addresses.
2270b57cec5SDimitry Andric   if (TM.getCodeModel() == CodeModel::Large && isTargetMachO())
2280b57cec5SDimitry Andric     return AArch64II::MO_GOT;
2290b57cec5SDimitry Andric 
2300b57cec5SDimitry Andric   if (!TM.shouldAssumeDSOLocal(*GV->getParent(), GV)) {
2310b57cec5SDimitry Andric     if (GV->hasDLLImportStorageClass())
2320b57cec5SDimitry Andric       return AArch64II::MO_GOT | AArch64II::MO_DLLIMPORT;
2330b57cec5SDimitry Andric     if (getTargetTriple().isOSWindows())
2340b57cec5SDimitry Andric       return AArch64II::MO_GOT | AArch64II::MO_COFFSTUB;
2350b57cec5SDimitry Andric     return AArch64II::MO_GOT;
2360b57cec5SDimitry Andric   }
2370b57cec5SDimitry Andric 
2380b57cec5SDimitry Andric   // The small code model's direct accesses use ADRP, which cannot
2390b57cec5SDimitry Andric   // necessarily produce the value 0 (if the code is above 4GB).
2400b57cec5SDimitry Andric   // Same for the tiny code model, where we have a pc relative LDR.
2410b57cec5SDimitry Andric   if ((useSmallAddressing() || TM.getCodeModel() == CodeModel::Tiny) &&
2420b57cec5SDimitry Andric       GV->hasExternalWeakLinkage())
2430b57cec5SDimitry Andric     return AArch64II::MO_GOT;
2440b57cec5SDimitry Andric 
2458bcb0991SDimitry Andric   // References to tagged globals are marked with MO_NC | MO_TAGGED to indicate
2468bcb0991SDimitry Andric   // that their nominal addresses are tagged and outside of the code model. In
2478bcb0991SDimitry Andric   // AArch64ExpandPseudo::expandMI we emit an additional instruction to set the
2488bcb0991SDimitry Andric   // tag if necessary based on MO_TAGGED.
2498bcb0991SDimitry Andric   if (AllowTaggedGlobals && !isa<FunctionType>(GV->getValueType()))
2508bcb0991SDimitry Andric     return AArch64II::MO_NC | AArch64II::MO_TAGGED;
2518bcb0991SDimitry Andric 
2520b57cec5SDimitry Andric   return AArch64II::MO_NO_FLAG;
2530b57cec5SDimitry Andric }
2540b57cec5SDimitry Andric 
2558bcb0991SDimitry Andric unsigned AArch64Subtarget::classifyGlobalFunctionReference(
2560b57cec5SDimitry Andric     const GlobalValue *GV, const TargetMachine &TM) const {
2570b57cec5SDimitry Andric   // MachO large model always goes via a GOT, because we don't have the
2580b57cec5SDimitry Andric   // relocations available to do anything else..
2590b57cec5SDimitry Andric   if (TM.getCodeModel() == CodeModel::Large && isTargetMachO() &&
2600b57cec5SDimitry Andric       !GV->hasInternalLinkage())
2610b57cec5SDimitry Andric     return AArch64II::MO_GOT;
2620b57cec5SDimitry Andric 
2630b57cec5SDimitry Andric   // NonLazyBind goes via GOT unless we know it's available locally.
2640b57cec5SDimitry Andric   auto *F = dyn_cast<Function>(GV);
2650b57cec5SDimitry Andric   if (UseNonLazyBind && F && F->hasFnAttribute(Attribute::NonLazyBind) &&
2660b57cec5SDimitry Andric       !TM.shouldAssumeDSOLocal(*GV->getParent(), GV))
2670b57cec5SDimitry Andric     return AArch64II::MO_GOT;
2680b57cec5SDimitry Andric 
269480093f4SDimitry Andric   // Use ClassifyGlobalReference for setting MO_DLLIMPORT/MO_COFFSTUB.
270480093f4SDimitry Andric   if (getTargetTriple().isOSWindows())
271480093f4SDimitry Andric     return ClassifyGlobalReference(GV, TM);
272480093f4SDimitry Andric 
2730b57cec5SDimitry Andric   return AArch64II::MO_NO_FLAG;
2740b57cec5SDimitry Andric }
2750b57cec5SDimitry Andric 
2760b57cec5SDimitry Andric void AArch64Subtarget::overrideSchedPolicy(MachineSchedPolicy &Policy,
2770b57cec5SDimitry Andric                                            unsigned NumRegionInstrs) const {
2780b57cec5SDimitry Andric   // LNT run (at least on Cyclone) showed reasonably significant gains for
2790b57cec5SDimitry Andric   // bi-directional scheduling. 253.perlbmk.
2800b57cec5SDimitry Andric   Policy.OnlyTopDown = false;
2810b57cec5SDimitry Andric   Policy.OnlyBottomUp = false;
2820b57cec5SDimitry Andric   // Enabling or Disabling the latency heuristic is a close call: It seems to
2830b57cec5SDimitry Andric   // help nearly no benchmark on out-of-order architectures, on the other hand
2840b57cec5SDimitry Andric   // it regresses register pressure on a few benchmarking.
2850b57cec5SDimitry Andric   Policy.DisableLatencyHeuristic = DisableLatencySchedHeuristic;
2860b57cec5SDimitry Andric }
2870b57cec5SDimitry Andric 
2880b57cec5SDimitry Andric bool AArch64Subtarget::enableEarlyIfConversion() const {
2890b57cec5SDimitry Andric   return EnableEarlyIfConvert;
2900b57cec5SDimitry Andric }
2910b57cec5SDimitry Andric 
2920b57cec5SDimitry Andric bool AArch64Subtarget::supportsAddressTopByteIgnored() const {
2930b57cec5SDimitry Andric   if (!UseAddressTopByteIgnored)
2940b57cec5SDimitry Andric     return false;
2950b57cec5SDimitry Andric 
2960b57cec5SDimitry Andric   if (TargetTriple.isiOS()) {
2970b57cec5SDimitry Andric     unsigned Major, Minor, Micro;
2980b57cec5SDimitry Andric     TargetTriple.getiOSVersion(Major, Minor, Micro);
2990b57cec5SDimitry Andric     return Major >= 8;
3000b57cec5SDimitry Andric   }
3010b57cec5SDimitry Andric 
3020b57cec5SDimitry Andric   return false;
3030b57cec5SDimitry Andric }
3040b57cec5SDimitry Andric 
3050b57cec5SDimitry Andric std::unique_ptr<PBQPRAConstraint>
3060b57cec5SDimitry Andric AArch64Subtarget::getCustomPBQPConstraints() const {
3078bcb0991SDimitry Andric   return balanceFPOps() ? std::make_unique<A57ChainingConstraint>() : nullptr;
3080b57cec5SDimitry Andric }
3090b57cec5SDimitry Andric 
3100b57cec5SDimitry Andric void AArch64Subtarget::mirFileLoaded(MachineFunction &MF) const {
3110b57cec5SDimitry Andric   // We usually compute max call frame size after ISel. Do the computation now
3120b57cec5SDimitry Andric   // if the .mir file didn't specify it. Note that this will probably give you
3130b57cec5SDimitry Andric   // bogus values after PEI has eliminated the callframe setup/destroy pseudo
3140b57cec5SDimitry Andric   // instructions, specify explicitly if you need it to be correct.
3150b57cec5SDimitry Andric   MachineFrameInfo &MFI = MF.getFrameInfo();
3160b57cec5SDimitry Andric   if (!MFI.isMaxCallFrameSizeComputed())
3170b57cec5SDimitry Andric     MFI.computeMaxCallFrameSize(MF);
3180b57cec5SDimitry Andric }
319