blob: 9cd19b8511f7cfa1d0d0bd46209c189ea283d5f3 [file] [log] [blame]
Tom Stellard45bb48e2015-06-13 03:28:10 +00001//===-- AMDGPUTargetMachine.cpp - TargetMachine for hw codegen targets-----===//
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/// \file
11/// \brief The AMDGPU target machine contains all of the hardware specific
12/// information needed to emit code for R600 and SI GPUs.
13//
14//===----------------------------------------------------------------------===//
15
16#include "AMDGPUTargetMachine.h"
Tom Stellardc93fc112015-12-10 02:13:01 +000017#include "AMDGPUTargetObjectFile.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000018#include "AMDGPU.h"
19#include "AMDGPUTargetTransformInfo.h"
20#include "R600ISelLowering.h"
21#include "R600InstrInfo.h"
22#include "R600MachineScheduler.h"
23#include "SIISelLowering.h"
24#include "SIInstrInfo.h"
25#include "llvm/Analysis/Passes.h"
Tom Stellard000c5af2016-04-14 19:09:28 +000026#include "llvm/CodeGen/GlobalISel/IRTranslator.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000027#include "llvm/CodeGen/MachineFunctionAnalysis.h"
28#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
29#include "llvm/CodeGen/MachineModuleInfo.h"
30#include "llvm/CodeGen/Passes.h"
31#include "llvm/IR/Verifier.h"
32#include "llvm/MC/MCAsmInfo.h"
33#include "llvm/IR/LegacyPassManager.h"
34#include "llvm/Support/TargetRegistry.h"
35#include "llvm/Support/raw_os_ostream.h"
36#include "llvm/Transforms/IPO.h"
37#include "llvm/Transforms/Scalar.h"
38#include <llvm/CodeGen/Passes.h>
39
40using namespace llvm;
41
42extern "C" void LLVMInitializeAMDGPUTarget() {
43 // Register the target
44 RegisterTargetMachine<R600TargetMachine> X(TheAMDGPUTarget);
45 RegisterTargetMachine<GCNTargetMachine> Y(TheGCNTarget);
Matt Arsenaultb87fc222015-10-01 22:10:03 +000046
47 PassRegistry *PR = PassRegistry::getPassRegistry();
Matt Arsenault8c0ef8b2015-10-12 17:43:59 +000048 initializeSILowerI1CopiesPass(*PR);
Matt Arsenault782c03b2015-11-03 22:30:13 +000049 initializeSIFixSGPRCopiesPass(*PR);
Matt Arsenault8c0ef8b2015-10-12 17:43:59 +000050 initializeSIFoldOperandsPass(*PR);
Matt Arsenault187276f2015-10-07 00:42:53 +000051 initializeSIFixControlFlowLiveIntervalsPass(*PR);
52 initializeSILoadStoreOptimizerPass(*PR);
Matt Arsenault39319482015-11-06 18:01:57 +000053 initializeAMDGPUAnnotateKernelFeaturesPass(*PR);
Tom Stellarda6f24c62015-12-15 20:55:55 +000054 initializeAMDGPUAnnotateUniformValuesPass(*PR);
Matt Arsenaulte0132462016-01-30 05:19:45 +000055 initializeAMDGPUPromoteAllocaPass(*PR);
Tom Stellard77a17772016-01-20 15:48:27 +000056 initializeSIAnnotateControlFlowPass(*PR);
Tom Stellardcc7067a62016-03-03 03:53:29 +000057 initializeSIInsertNopsPass(*PR);
Tom Stellard6e1967e2016-02-05 17:42:38 +000058 initializeSIInsertWaitsPass(*PR);
Nicolai Haehnle213e87f2016-03-21 20:28:33 +000059 initializeSIWholeQuadModePass(*PR);
Matt Arsenault55d49cf2016-02-12 02:16:10 +000060 initializeSILowerControlFlowPass(*PR);
Tom Stellard45bb48e2015-06-13 03:28:10 +000061}
62
Tom Stellarde135ffd2015-09-25 21:41:28 +000063static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) {
64 if (TT.getOS() == Triple::AMDHSA)
65 return make_unique<AMDGPUHSATargetObjectFile>();
66
Tom Stellardc93fc112015-12-10 02:13:01 +000067 return make_unique<AMDGPUTargetObjectFile>();
Tom Stellarde135ffd2015-09-25 21:41:28 +000068}
69
Tom Stellard45bb48e2015-06-13 03:28:10 +000070static ScheduleDAGInstrs *createR600MachineScheduler(MachineSchedContext *C) {
71 return new ScheduleDAGMILive(C, make_unique<R600SchedStrategy>());
72}
73
74static MachineSchedRegistry
Nicolai Haehnle02c32912016-01-13 16:10:10 +000075R600SchedRegistry("r600", "Run R600's custom scheduler",
76 createR600MachineScheduler);
77
78static MachineSchedRegistry
79SISchedRegistry("si", "Run SI's custom scheduler",
80 createSIMachineScheduler);
Tom Stellard45bb48e2015-06-13 03:28:10 +000081
82static std::string computeDataLayout(const Triple &TT) {
83 std::string Ret = "e-p:32:32";
84
85 if (TT.getArch() == Triple::amdgcn) {
86 // 32-bit private, local, and region pointers. 64-bit global and constant.
87 Ret += "-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-p24:64:64";
88 }
89
90 Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
91 "-v512:512-v1024:1024-v2048:2048-n32:64";
92
93 return Ret;
94}
95
Matt Arsenaultb22828f2016-01-27 02:17:49 +000096LLVM_READNONE
97static StringRef getGPUOrDefault(const Triple &TT, StringRef GPU) {
98 if (!GPU.empty())
99 return GPU;
100
101 // HSA only supports CI+, so change the default GPU to a CI for HSA.
102 if (TT.getArch() == Triple::amdgcn)
103 return (TT.getOS() == Triple::AMDHSA) ? "kaveri" : "tahiti";
104
105 return "";
106}
107
Tom Stellard45bb48e2015-06-13 03:28:10 +0000108AMDGPUTargetMachine::AMDGPUTargetMachine(const Target &T, const Triple &TT,
109 StringRef CPU, StringRef FS,
110 TargetOptions Options, Reloc::Model RM,
111 CodeModel::Model CM,
112 CodeGenOpt::Level OptLevel)
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000113 : LLVMTargetMachine(T, computeDataLayout(TT), TT,
114 getGPUOrDefault(TT, CPU), FS, Options, RM, CM,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000115 OptLevel),
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000116 TLOF(createTLOF(getTargetTriple())),
117 Subtarget(TT, getTargetCPU(), FS, *this),
Tom Stellard45bb48e2015-06-13 03:28:10 +0000118 IntrinsicInfo() {
119 setRequiresStructuredCFG(true);
120 initAsmInfo();
121}
122
Tom Stellarde135ffd2015-09-25 21:41:28 +0000123AMDGPUTargetMachine::~AMDGPUTargetMachine() { }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000124
125//===----------------------------------------------------------------------===//
126// R600 Target Machine (R600 -> Cayman)
127//===----------------------------------------------------------------------===//
128
129R600TargetMachine::R600TargetMachine(const Target &T, const Triple &TT,
Tom Stellard5dde1d22016-02-05 18:29:17 +0000130 StringRef CPU, StringRef FS,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000131 TargetOptions Options, Reloc::Model RM,
132 CodeModel::Model CM, CodeGenOpt::Level OL)
Tom Stellard5dde1d22016-02-05 18:29:17 +0000133 : AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000134
135//===----------------------------------------------------------------------===//
136// GCN Target Machine (SI+)
137//===----------------------------------------------------------------------===//
138
139GCNTargetMachine::GCNTargetMachine(const Target &T, const Triple &TT,
Tom Stellard5dde1d22016-02-05 18:29:17 +0000140 StringRef CPU, StringRef FS,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000141 TargetOptions Options, Reloc::Model RM,
142 CodeModel::Model CM, CodeGenOpt::Level OL)
Tom Stellard5dde1d22016-02-05 18:29:17 +0000143 : AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000144
145//===----------------------------------------------------------------------===//
146// AMDGPU Pass Setup
147//===----------------------------------------------------------------------===//
148
149namespace {
Tom Stellardcc7067a62016-03-03 03:53:29 +0000150
Tom Stellard45bb48e2015-06-13 03:28:10 +0000151class AMDGPUPassConfig : public TargetPassConfig {
152public:
153 AMDGPUPassConfig(TargetMachine *TM, PassManagerBase &PM)
Matt Arsenault0a109002015-09-25 17:41:20 +0000154 : TargetPassConfig(TM, PM) {
155
156 // Exceptions and StackMaps are not supported, so these passes will never do
157 // anything.
158 disablePass(&StackMapLivenessID);
159 disablePass(&FuncletLayoutID);
160 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000161
162 AMDGPUTargetMachine &getAMDGPUTargetMachine() const {
163 return getTM<AMDGPUTargetMachine>();
164 }
165
166 ScheduleDAGInstrs *
167 createMachineScheduler(MachineSchedContext *C) const override {
168 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
169 if (ST.getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
170 return createR600MachineScheduler(C);
Tom Stellardde008d32016-01-21 04:28:34 +0000171 else if (ST.enableSIScheduler())
172 return createSIMachineScheduler(C);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000173 return nullptr;
174 }
175
176 void addIRPasses() override;
177 void addCodeGenPrepare() override;
Matt Arsenault0a109002015-09-25 17:41:20 +0000178 bool addPreISel() override;
179 bool addInstSelector() override;
180 bool addGCPasses() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000181};
182
Matt Arsenault6b6a2c32016-03-11 08:00:27 +0000183class R600PassConfig final : public AMDGPUPassConfig {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000184public:
185 R600PassConfig(TargetMachine *TM, PassManagerBase &PM)
186 : AMDGPUPassConfig(TM, PM) { }
187
188 bool addPreISel() override;
189 void addPreRegAlloc() override;
190 void addPreSched2() override;
191 void addPreEmitPass() override;
192};
193
Matt Arsenault6b6a2c32016-03-11 08:00:27 +0000194class GCNPassConfig final : public AMDGPUPassConfig {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000195public:
196 GCNPassConfig(TargetMachine *TM, PassManagerBase &PM)
197 : AMDGPUPassConfig(TM, PM) { }
198 bool addPreISel() override;
Matt Arsenault3d1c1de2016-04-14 21:58:24 +0000199 void addMachineSSAOptimization() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000200 bool addInstSelector() override;
Tom Stellard000c5af2016-04-14 19:09:28 +0000201#ifdef LLVM_BUILD_GLOBAL_ISEL
202 bool addIRTranslator() override;
203 bool addRegBankSelect() override;
204#endif
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000205 void addFastRegAlloc(FunctionPass *RegAllocPass) override;
206 void addOptimizedRegAlloc(FunctionPass *RegAllocPass) override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000207 void addPreRegAlloc() override;
208 void addPostRegAlloc() override;
209 void addPreSched2() override;
210 void addPreEmitPass() override;
211};
212
213} // End of anonymous namespace
214
215TargetIRAnalysis AMDGPUTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000216 return TargetIRAnalysis([this](const Function &F) {
Mehdi Amini5010ebf2015-07-09 02:08:42 +0000217 return TargetTransformInfo(
218 AMDGPUTTIImpl(this, F.getParent()->getDataLayout()));
219 });
Tom Stellard45bb48e2015-06-13 03:28:10 +0000220}
221
222void AMDGPUPassConfig::addIRPasses() {
223 // Function calls are not supported, so make sure we inline everything.
224 addPass(createAMDGPUAlwaysInlinePass());
225 addPass(createAlwaysInlinerPass());
226 // We need to add the barrier noop pass, otherwise adding the function
227 // inlining pass will cause all of the PassConfigs passes to be run
228 // one function at a time, which means if we have a nodule with two
229 // functions, then we will generate code for the first function
230 // without ever running any passes on the second.
231 addPass(createBarrierNoopPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000232
Tom Stellardfd253952015-08-07 23:19:30 +0000233 // Handle uses of OpenCL image2d_t, image3d_t and sampler_t arguments.
234 addPass(createAMDGPUOpenCLImageTypeLoweringPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000235
Tom Stellard45bb48e2015-06-13 03:28:10 +0000236 TargetPassConfig::addIRPasses();
237}
238
239void AMDGPUPassConfig::addCodeGenPrepare() {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000240 const AMDGPUTargetMachine &TM = getAMDGPUTargetMachine();
241 const AMDGPUSubtarget &ST = *TM.getSubtargetImpl();
Matt Arsenault8b175672016-02-02 19:32:42 +0000242 if (TM.getOptLevel() > CodeGenOpt::None && ST.isPromoteAllocaEnabled()) {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000243 addPass(createAMDGPUPromoteAlloca(&TM));
Tom Stellard45bb48e2015-06-13 03:28:10 +0000244 addPass(createSROAPass());
245 }
246 TargetPassConfig::addCodeGenPrepare();
247}
248
249bool
250AMDGPUPassConfig::addPreISel() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000251 addPass(createFlattenCFGPass());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000252 return false;
253}
254
255bool AMDGPUPassConfig::addInstSelector() {
256 addPass(createAMDGPUISelDag(getAMDGPUTargetMachine()));
257 return false;
258}
259
Matt Arsenault0a109002015-09-25 17:41:20 +0000260bool AMDGPUPassConfig::addGCPasses() {
261 // Do nothing. GC is not supported.
262 return false;
263}
264
Tom Stellard45bb48e2015-06-13 03:28:10 +0000265//===----------------------------------------------------------------------===//
266// R600 Pass Setup
267//===----------------------------------------------------------------------===//
268
269bool R600PassConfig::addPreISel() {
270 AMDGPUPassConfig::addPreISel();
Tom Stellardbc4497b2016-02-12 23:45:29 +0000271 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
272 if (ST.IsIRStructurizerEnabled())
273 addPass(createStructurizeCFGPass());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000274 addPass(createR600TextureIntrinsicsReplacer());
275 return false;
276}
277
278void R600PassConfig::addPreRegAlloc() {
279 addPass(createR600VectorRegMerger(*TM));
280}
281
282void R600PassConfig::addPreSched2() {
283 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
284 addPass(createR600EmitClauseMarkers(), false);
285 if (ST.isIfCvtEnabled())
286 addPass(&IfConverterID, false);
287 addPass(createR600ClauseMergePass(*TM), false);
288}
289
290void R600PassConfig::addPreEmitPass() {
291 addPass(createAMDGPUCFGStructurizerPass(), false);
292 addPass(createR600ExpandSpecialInstrsPass(*TM), false);
293 addPass(&FinalizeMachineBundlesID, false);
294 addPass(createR600Packetizer(*TM), false);
295 addPass(createR600ControlFlowFinalizer(*TM), false);
296}
297
298TargetPassConfig *R600TargetMachine::createPassConfig(PassManagerBase &PM) {
299 return new R600PassConfig(this, PM);
300}
301
302//===----------------------------------------------------------------------===//
303// GCN Pass Setup
304//===----------------------------------------------------------------------===//
305
306bool GCNPassConfig::addPreISel() {
307 AMDGPUPassConfig::addPreISel();
Matt Arsenault39319482015-11-06 18:01:57 +0000308
309 // FIXME: We need to run a pass to propagate the attributes when calls are
310 // supported.
311 addPass(&AMDGPUAnnotateKernelFeaturesID);
Tom Stellardbc4497b2016-02-12 23:45:29 +0000312 addPass(createStructurizeCFGPass(true)); // true -> SkipUniformRegions
Tom Stellard45bb48e2015-06-13 03:28:10 +0000313 addPass(createSinkingPass());
314 addPass(createSITypeRewriter());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000315 addPass(createAMDGPUAnnotateUniformValues());
Tom Stellardbc4497b2016-02-12 23:45:29 +0000316 addPass(createSIAnnotateControlFlowPass());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000317
Tom Stellard45bb48e2015-06-13 03:28:10 +0000318 return false;
319}
320
Matt Arsenault3d1c1de2016-04-14 21:58:24 +0000321void GCNPassConfig::addMachineSSAOptimization() {
322 TargetPassConfig::addMachineSSAOptimization();
323
324 // We want to fold operands after PeepholeOptimizer has run (or as part of
325 // it), because it will eliminate extra copies making it easier to fold the
326 // real source operand. We want to eliminate dead instructions after, so that
327 // we see fewer uses of the copies. We then need to clean up the dead
328 // instructions leftover after the operands are folded as well.
329 //
330 // XXX - Can we get away without running DeadMachineInstructionElim again?
331 addPass(&SIFoldOperandsID);
332 addPass(&DeadMachineInstructionElimID);
333}
334
Tom Stellard45bb48e2015-06-13 03:28:10 +0000335bool GCNPassConfig::addInstSelector() {
336 AMDGPUPassConfig::addInstSelector();
337 addPass(createSILowerI1CopiesPass());
Matt Arsenault782c03b2015-11-03 22:30:13 +0000338 addPass(&SIFixSGPRCopiesID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000339 return false;
340}
341
Tom Stellard000c5af2016-04-14 19:09:28 +0000342#ifdef LLVM_BUILD_GLOBAL_ISEL
343bool GCNPassConfig::addIRTranslator() {
344 addPass(new IRTranslator());
345 return false;
346}
347
348bool GCNPassConfig::addRegBankSelect() {
349 return false;
350}
351#endif
352
Tom Stellard45bb48e2015-06-13 03:28:10 +0000353void GCNPassConfig::addPreRegAlloc() {
354 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
355
356 // This needs to be run directly before register allocation because
357 // earlier passes might recompute live intervals.
358 // TODO: handle CodeGenOpt::None; fast RA ignores spill weights set by the pass
359 if (getOptLevel() > CodeGenOpt::None) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000360 insertPass(&MachineSchedulerID, &SIFixControlFlowLiveIntervalsID);
361 }
362
363 if (getOptLevel() > CodeGenOpt::None && ST.loadStoreOptEnabled()) {
364 // Don't do this with no optimizations since it throws away debug info by
365 // merging nonadjacent loads.
366
367 // This should be run after scheduling, but before register allocation. It
368 // also need extra copies to the address operand to be eliminated.
Tom Stellard45bb48e2015-06-13 03:28:10 +0000369 insertPass(&MachineSchedulerID, &SILoadStoreOptimizerID);
Matt Arsenault84db5d92015-07-14 17:57:36 +0000370 insertPass(&MachineSchedulerID, &RegisterCoalescerID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000371 }
372 addPass(createSIShrinkInstructionsPass(), false);
Nicolai Haehnle213e87f2016-03-21 20:28:33 +0000373 addPass(createSIWholeQuadModePass());
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000374}
375
376void GCNPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000377 TargetPassConfig::addFastRegAlloc(RegAllocPass);
378}
379
380void GCNPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000381 TargetPassConfig::addOptimizedRegAlloc(RegAllocPass);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000382}
383
384void GCNPassConfig::addPostRegAlloc() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000385 addPass(createSIShrinkInstructionsPass(), false);
386}
387
388void GCNPassConfig::addPreSched2() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000389}
390
391void GCNPassConfig::addPreEmitPass() {
Tom Stellard6e1967e2016-02-05 17:42:38 +0000392 addPass(createSIInsertWaitsPass(), false);
Matt Arsenault55d49cf2016-02-12 02:16:10 +0000393 addPass(createSILowerControlFlowPass(), false);
Konstantin Zhuravlyova40d8352016-04-22 17:04:51 +0000394 addPass(createSIInsertNopsPass(), false);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000395}
396
397TargetPassConfig *GCNTargetMachine::createPassConfig(PassManagerBase &PM) {
398 return new GCNPassConfig(this, PM);
399}