blob: 72c16638cc6d5a229032d0300dea20972034b195 [file] [log] [blame]
Tim Northover3b0846e2014-05-24 12:50:23 +00001//===-- AArch64Subtarget.cpp - AArch64 Subtarget Information ----*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the AArch64 specific subclass of TargetSubtarget.
11//
12//===----------------------------------------------------------------------===//
13
14#include "AArch64InstrInfo.h"
Lang Hames8f31f442014-10-09 18:20:51 +000015#include "AArch64PBQPRegAlloc.h"
Tim Northover3b0846e2014-05-24 12:50:23 +000016#include "AArch64Subtarget.h"
17#include "llvm/ADT/SmallVector.h"
18#include "llvm/CodeGen/MachineScheduler.h"
19#include "llvm/IR/GlobalValue.h"
20#include "llvm/Support/TargetRegistry.h"
21
22using namespace llvm;
23
24#define DEBUG_TYPE "aarch64-subtarget"
25
26#define GET_SUBTARGETINFO_CTOR
27#define GET_SUBTARGETINFO_TARGET_DESC
28#include "AArch64GenSubtargetInfo.inc"
29
30static cl::opt<bool>
31EnableEarlyIfConvert("aarch64-early-ifcvt", cl::desc("Enable the early if "
32 "converter pass"), cl::init(true), cl::Hidden);
33
Tim Northover339c83e2015-11-10 00:44:23 +000034// If OS supports TBI, use this flag to enable it.
35static cl::opt<bool>
36UseAddressTopByteIgnored("aarch64-use-tbi", cl::desc("Assume that top byte of "
37 "an address is ignored"), cl::init(false), cl::Hidden);
38
Eric Christopher7c9d4e02014-06-11 00:46:34 +000039AArch64Subtarget &
40AArch64Subtarget::initializeSubtargetDependencies(StringRef FS) {
41 // Determine default and user-specified characteristics
42
43 if (CPUString.empty())
44 CPUString = "generic";
45
46 ParseSubtargetFeatures(CPUString, FS);
47 return *this;
48}
49
Daniel Sandersa73f1fd2015-06-10 12:11:26 +000050AArch64Subtarget::AArch64Subtarget(const Triple &TT, const std::string &CPU,
Eric Christopherf12e1ab2014-10-03 00:42:41 +000051 const std::string &FS,
Eric Christophera0de2532015-03-18 20:37:30 +000052 const TargetMachine &TM, bool LittleEndian)
Daniel Sanders50f17232015-09-15 16:17:27 +000053 : AArch64GenSubtargetInfo(TT, CPU, FS), ARMProcFamily(Others),
Oliver Stannard7cc0c4e2015-11-26 15:23:32 +000054 HasV8_1aOps(false), HasV8_2aOps(false), HasFPARMv8(false), HasNEON(false),
55 HasCrypto(false), HasCRC(false), HasPerfMon(false), HasFullFP16(false),
56 HasZeroCycleRegMove(false), HasZeroCycleZeroing(false),
57 StrictAlign(false), ReserveX18(TT.isOSDarwin()), IsLittle(LittleEndian),
58 CPUString(CPU), TargetTriple(TT), FrameLowering(),
Mehdi Amini157e5a62015-07-09 02:10:08 +000059 InstrInfo(initializeSubtargetDependencies(FS)), TSInfo(),
Quentin Colombetc17f7442016-04-06 17:26:03 +000060 TLInfo(TM, *this), GISelAccessor() {}
Quentin Colombetba2a0162016-02-16 19:26:02 +000061
62const CallLowering *AArch64Subtarget::getCallLowering() const {
Quentin Colombetc17f7442016-04-06 17:26:03 +000063 assert(GISelAccessor && "Access to GlobalISel APIs not set");
64 return GISelAccessor->getCallLowering();
65}
66
67const RegisterBankInfo *AArch64Subtarget::getRegBankInfo() const {
68 assert(GISelAccessor && "Access to GlobalISel APIs not set");
69 return GISelAccessor->getRegBankInfo();
Quentin Colombetba2a0162016-02-16 19:26:02 +000070}
Tim Northover3b0846e2014-05-24 12:50:23 +000071
72/// ClassifyGlobalReference - Find the target operand flags that describe
73/// how a global value should be referenced for the current subtarget.
74unsigned char
75AArch64Subtarget::ClassifyGlobalReference(const GlobalValue *GV,
76 const TargetMachine &TM) const {
Peter Collingbourne6a9d1772015-07-05 20:52:35 +000077 bool isDef = GV->isStrongDefinitionForLinker();
Tim Northover3b0846e2014-05-24 12:50:23 +000078
79 // MachO large model always goes via a GOT, simply to get a single 8-byte
80 // absolute relocation on all global addresses.
81 if (TM.getCodeModel() == CodeModel::Large && isTargetMachO())
82 return AArch64II::MO_GOT;
83
84 // The small code mode's direct accesses use ADRP, which cannot necessarily
Asiri Rathnayake369c0302014-09-10 13:54:38 +000085 // produce the value 0 (if the code is above 4GB).
Peter Collingbourne6a9d1772015-07-05 20:52:35 +000086 if (TM.getCodeModel() == CodeModel::Small && GV->hasExternalWeakLinkage()) {
Asiri Rathnayake369c0302014-09-10 13:54:38 +000087 // In PIC mode use the GOT, but in absolute mode use a constant pool load.
88 if (TM.getRelocationModel() == Reloc::Static)
89 return AArch64II::MO_CONSTPOOL;
90 else
91 return AArch64II::MO_GOT;
92 }
Tim Northover3b0846e2014-05-24 12:50:23 +000093
94 // If symbol visibility is hidden, the extra load is not needed if
95 // the symbol is definitely defined in the current translation unit.
96
97 // The handling of non-hidden symbols in PIC mode is rather target-dependent:
98 // + On MachO, if the symbol is defined in this module the GOT can be
99 // skipped.
100 // + On ELF, the R_AARCH64_COPY relocation means that even symbols actually
101 // defined could end up in unexpected places. Use a GOT.
102 if (TM.getRelocationModel() != Reloc::Static && GV->hasDefaultVisibility()) {
103 if (isTargetMachO())
Peter Collingbourne6a9d1772015-07-05 20:52:35 +0000104 return isDef ? AArch64II::MO_NO_FLAG : AArch64II::MO_GOT;
Tim Northover3b0846e2014-05-24 12:50:23 +0000105 else
106 // No need to go through the GOT for local symbols on ELF.
107 return GV->hasLocalLinkage() ? AArch64II::MO_NO_FLAG : AArch64II::MO_GOT;
108 }
109
110 return AArch64II::MO_NO_FLAG;
111}
112
113/// This function returns the name of a function which has an interface
114/// like the non-standard bzero function, if such a function exists on
115/// the current subtarget and it is considered prefereable over
116/// memset with zero passed as the second argument. Otherwise it
117/// returns null.
118const char *AArch64Subtarget::getBZeroEntry() const {
119 // Prefer bzero on Darwin only.
120 if(isTargetDarwin())
121 return "bzero";
122
123 return nullptr;
124}
125
126void AArch64Subtarget::overrideSchedPolicy(MachineSchedPolicy &Policy,
127 MachineInstr *begin, MachineInstr *end,
128 unsigned NumRegionInstrs) const {
129 // LNT run (at least on Cyclone) showed reasonably significant gains for
130 // bi-directional scheduling. 253.perlbmk.
131 Policy.OnlyTopDown = false;
132 Policy.OnlyBottomUp = false;
Matthias Braund276de62015-10-22 18:07:38 +0000133 // Enabling or Disabling the latency heuristic is a close call: It seems to
134 // help nearly no benchmark on out-of-order architectures, on the other hand
135 // it regresses register pressure on a few benchmarking.
136 if (isCyclone())
137 Policy.DisableLatencyHeuristic = true;
Tim Northover3b0846e2014-05-24 12:50:23 +0000138}
139
140bool AArch64Subtarget::enableEarlyIfConversion() const {
141 return EnableEarlyIfConvert;
142}
Lang Hames8f31f442014-10-09 18:20:51 +0000143
Tim Northover339c83e2015-11-10 00:44:23 +0000144bool AArch64Subtarget::supportsAddressTopByteIgnored() const {
145 if (!UseAddressTopByteIgnored)
146 return false;
147
148 if (TargetTriple.isiOS()) {
149 unsigned Major, Minor, Micro;
150 TargetTriple.getiOSVersion(Major, Minor, Micro);
151 return Major >= 8;
152 }
153
154 return false;
155}
156
Lang Hames8f31f442014-10-09 18:20:51 +0000157std::unique_ptr<PBQPRAConstraint>
158AArch64Subtarget::getCustomPBQPConstraints() const {
Arnaud A. de Grandmaison9b333052014-10-22 12:40:20 +0000159 if (!isCortexA57())
160 return nullptr;
161
162 return llvm::make_unique<A57ChainingConstraint>();
Lang Hames8f31f442014-10-09 18:20:51 +0000163}