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