blob: dce2a92de9820ce14145d8a1e56b88e530a76ba4 [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"
26#include "llvm/CodeGen/MachineFunctionAnalysis.h"
27#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
28#include "llvm/CodeGen/MachineModuleInfo.h"
29#include "llvm/CodeGen/Passes.h"
30#include "llvm/IR/Verifier.h"
31#include "llvm/MC/MCAsmInfo.h"
32#include "llvm/IR/LegacyPassManager.h"
Tom Stellardcc7067a62016-03-03 03:53:29 +000033#include "llvm/Support/CommandLine.h"
Tom Stellard45bb48e2015-06-13 03:28:10 +000034#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 Arsenaultb87fc222015-10-01 22:10:03 +000051 initializeSIFixSGPRLiveRangesPass(*PR);
Matt Arsenault187276f2015-10-07 00:42:53 +000052 initializeSIFixControlFlowLiveIntervalsPass(*PR);
53 initializeSILoadStoreOptimizerPass(*PR);
Matt Arsenault39319482015-11-06 18:01:57 +000054 initializeAMDGPUAnnotateKernelFeaturesPass(*PR);
Tom Stellarda6f24c62015-12-15 20:55:55 +000055 initializeAMDGPUAnnotateUniformValuesPass(*PR);
Matt Arsenaulte0132462016-01-30 05:19:45 +000056 initializeAMDGPUPromoteAllocaPass(*PR);
Tom Stellard77a17772016-01-20 15:48:27 +000057 initializeSIAnnotateControlFlowPass(*PR);
Tom Stellardcc7067a62016-03-03 03:53:29 +000058 initializeSIInsertNopsPass(*PR);
Tom Stellard6e1967e2016-02-05 17:42:38 +000059 initializeSIInsertWaitsPass(*PR);
Nicolai Haehnle213e87f2016-03-21 20:28:33 +000060 initializeSIWholeQuadModePass(*PR);
Matt Arsenault55d49cf2016-02-12 02:16:10 +000061 initializeSILowerControlFlowPass(*PR);
Tom Stellard45bb48e2015-06-13 03:28:10 +000062}
63
Tom Stellarde135ffd2015-09-25 21:41:28 +000064static std::unique_ptr<TargetLoweringObjectFile> createTLOF(const Triple &TT) {
65 if (TT.getOS() == Triple::AMDHSA)
66 return make_unique<AMDGPUHSATargetObjectFile>();
67
Tom Stellardc93fc112015-12-10 02:13:01 +000068 return make_unique<AMDGPUTargetObjectFile>();
Tom Stellarde135ffd2015-09-25 21:41:28 +000069}
70
Tom Stellard45bb48e2015-06-13 03:28:10 +000071static ScheduleDAGInstrs *createR600MachineScheduler(MachineSchedContext *C) {
72 return new ScheduleDAGMILive(C, make_unique<R600SchedStrategy>());
73}
74
75static MachineSchedRegistry
Nicolai Haehnle02c32912016-01-13 16:10:10 +000076R600SchedRegistry("r600", "Run R600's custom scheduler",
77 createR600MachineScheduler);
78
79static MachineSchedRegistry
80SISchedRegistry("si", "Run SI's custom scheduler",
81 createSIMachineScheduler);
Tom Stellard45bb48e2015-06-13 03:28:10 +000082
83static std::string computeDataLayout(const Triple &TT) {
84 std::string Ret = "e-p:32:32";
85
86 if (TT.getArch() == Triple::amdgcn) {
87 // 32-bit private, local, and region pointers. 64-bit global and constant.
88 Ret += "-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-p24:64:64";
89 }
90
91 Ret += "-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256"
92 "-v512:512-v1024:1024-v2048:2048-n32:64";
93
94 return Ret;
95}
96
Matt Arsenaultb22828f2016-01-27 02:17:49 +000097LLVM_READNONE
98static StringRef getGPUOrDefault(const Triple &TT, StringRef GPU) {
99 if (!GPU.empty())
100 return GPU;
101
102 // HSA only supports CI+, so change the default GPU to a CI for HSA.
103 if (TT.getArch() == Triple::amdgcn)
104 return (TT.getOS() == Triple::AMDHSA) ? "kaveri" : "tahiti";
105
106 return "";
107}
108
Tom Stellard45bb48e2015-06-13 03:28:10 +0000109AMDGPUTargetMachine::AMDGPUTargetMachine(const Target &T, const Triple &TT,
110 StringRef CPU, StringRef FS,
111 TargetOptions Options, Reloc::Model RM,
112 CodeModel::Model CM,
113 CodeGenOpt::Level OptLevel)
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000114 : LLVMTargetMachine(T, computeDataLayout(TT), TT,
115 getGPUOrDefault(TT, CPU), FS, Options, RM, CM,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000116 OptLevel),
Matt Arsenaultb22828f2016-01-27 02:17:49 +0000117 TLOF(createTLOF(getTargetTriple())),
118 Subtarget(TT, getTargetCPU(), FS, *this),
Tom Stellard45bb48e2015-06-13 03:28:10 +0000119 IntrinsicInfo() {
120 setRequiresStructuredCFG(true);
121 initAsmInfo();
122}
123
Tom Stellarde135ffd2015-09-25 21:41:28 +0000124AMDGPUTargetMachine::~AMDGPUTargetMachine() { }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000125
126//===----------------------------------------------------------------------===//
127// R600 Target Machine (R600 -> Cayman)
128//===----------------------------------------------------------------------===//
129
130R600TargetMachine::R600TargetMachine(const Target &T, const Triple &TT,
Tom Stellard5dde1d22016-02-05 18:29:17 +0000131 StringRef CPU, StringRef FS,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000132 TargetOptions Options, Reloc::Model RM,
133 CodeModel::Model CM, CodeGenOpt::Level OL)
Tom Stellard5dde1d22016-02-05 18:29:17 +0000134 : AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000135
136//===----------------------------------------------------------------------===//
137// GCN Target Machine (SI+)
138//===----------------------------------------------------------------------===//
139
140GCNTargetMachine::GCNTargetMachine(const Target &T, const Triple &TT,
Tom Stellard5dde1d22016-02-05 18:29:17 +0000141 StringRef CPU, StringRef FS,
Tom Stellard45bb48e2015-06-13 03:28:10 +0000142 TargetOptions Options, Reloc::Model RM,
143 CodeModel::Model CM, CodeGenOpt::Level OL)
Tom Stellard5dde1d22016-02-05 18:29:17 +0000144 : AMDGPUTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL) {}
Tom Stellard45bb48e2015-06-13 03:28:10 +0000145
146//===----------------------------------------------------------------------===//
147// AMDGPU Pass Setup
148//===----------------------------------------------------------------------===//
149
150namespace {
Tom Stellardcc7067a62016-03-03 03:53:29 +0000151
152cl::opt<bool> InsertNops(
153 "amdgpu-insert-nops",
154 cl::desc("Insert two nop instructions for each high level source statement"),
155 cl::init(false));
156
Tom Stellard45bb48e2015-06-13 03:28:10 +0000157class AMDGPUPassConfig : public TargetPassConfig {
158public:
159 AMDGPUPassConfig(TargetMachine *TM, PassManagerBase &PM)
Matt Arsenault0a109002015-09-25 17:41:20 +0000160 : TargetPassConfig(TM, PM) {
161
162 // Exceptions and StackMaps are not supported, so these passes will never do
163 // anything.
164 disablePass(&StackMapLivenessID);
165 disablePass(&FuncletLayoutID);
166 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000167
168 AMDGPUTargetMachine &getAMDGPUTargetMachine() const {
169 return getTM<AMDGPUTargetMachine>();
170 }
171
172 ScheduleDAGInstrs *
173 createMachineScheduler(MachineSchedContext *C) const override {
174 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
175 if (ST.getGeneration() <= AMDGPUSubtarget::NORTHERN_ISLANDS)
176 return createR600MachineScheduler(C);
Tom Stellardde008d32016-01-21 04:28:34 +0000177 else if (ST.enableSIScheduler())
178 return createSIMachineScheduler(C);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000179 return nullptr;
180 }
181
182 void addIRPasses() override;
183 void addCodeGenPrepare() override;
Matt Arsenault0a109002015-09-25 17:41:20 +0000184 bool addPreISel() override;
185 bool addInstSelector() override;
186 bool addGCPasses() override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000187};
188
Matt Arsenault6b6a2c32016-03-11 08:00:27 +0000189class R600PassConfig final : public AMDGPUPassConfig {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000190public:
191 R600PassConfig(TargetMachine *TM, PassManagerBase &PM)
192 : AMDGPUPassConfig(TM, PM) { }
193
194 bool addPreISel() override;
195 void addPreRegAlloc() override;
196 void addPreSched2() override;
197 void addPreEmitPass() override;
198};
199
Matt Arsenault6b6a2c32016-03-11 08:00:27 +0000200class GCNPassConfig final : public AMDGPUPassConfig {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000201public:
202 GCNPassConfig(TargetMachine *TM, PassManagerBase &PM)
203 : AMDGPUPassConfig(TM, PM) { }
204 bool addPreISel() override;
205 bool addInstSelector() override;
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000206 void addFastRegAlloc(FunctionPass *RegAllocPass) override;
207 void addOptimizedRegAlloc(FunctionPass *RegAllocPass) override;
Tom Stellard45bb48e2015-06-13 03:28:10 +0000208 void addPreRegAlloc() override;
209 void addPostRegAlloc() override;
210 void addPreSched2() override;
211 void addPreEmitPass() override;
212};
213
214} // End of anonymous namespace
215
216TargetIRAnalysis AMDGPUTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000217 return TargetIRAnalysis([this](const Function &F) {
Mehdi Amini5010ebf2015-07-09 02:08:42 +0000218 return TargetTransformInfo(
219 AMDGPUTTIImpl(this, F.getParent()->getDataLayout()));
220 });
Tom Stellard45bb48e2015-06-13 03:28:10 +0000221}
222
223void AMDGPUPassConfig::addIRPasses() {
224 // Function calls are not supported, so make sure we inline everything.
225 addPass(createAMDGPUAlwaysInlinePass());
226 addPass(createAlwaysInlinerPass());
227 // We need to add the barrier noop pass, otherwise adding the function
228 // inlining pass will cause all of the PassConfigs passes to be run
229 // one function at a time, which means if we have a nodule with two
230 // functions, then we will generate code for the first function
231 // without ever running any passes on the second.
232 addPass(createBarrierNoopPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000233
Tom Stellardfd253952015-08-07 23:19:30 +0000234 // Handle uses of OpenCL image2d_t, image3d_t and sampler_t arguments.
235 addPass(createAMDGPUOpenCLImageTypeLoweringPass());
Matt Arsenault39319482015-11-06 18:01:57 +0000236
Tom Stellard45bb48e2015-06-13 03:28:10 +0000237 TargetPassConfig::addIRPasses();
238}
239
240void AMDGPUPassConfig::addCodeGenPrepare() {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000241 const AMDGPUTargetMachine &TM = getAMDGPUTargetMachine();
242 const AMDGPUSubtarget &ST = *TM.getSubtargetImpl();
Matt Arsenault8b175672016-02-02 19:32:42 +0000243 if (TM.getOptLevel() > CodeGenOpt::None && ST.isPromoteAllocaEnabled()) {
Matt Arsenaulte0132462016-01-30 05:19:45 +0000244 addPass(createAMDGPUPromoteAlloca(&TM));
Tom Stellard45bb48e2015-06-13 03:28:10 +0000245 addPass(createSROAPass());
246 }
247 TargetPassConfig::addCodeGenPrepare();
248}
249
250bool
251AMDGPUPassConfig::addPreISel() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000252 addPass(createFlattenCFGPass());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000253 return false;
254}
255
256bool AMDGPUPassConfig::addInstSelector() {
257 addPass(createAMDGPUISelDag(getAMDGPUTargetMachine()));
258 return false;
259}
260
Matt Arsenault0a109002015-09-25 17:41:20 +0000261bool AMDGPUPassConfig::addGCPasses() {
262 // Do nothing. GC is not supported.
263 return false;
264}
265
Tom Stellard45bb48e2015-06-13 03:28:10 +0000266//===----------------------------------------------------------------------===//
267// R600 Pass Setup
268//===----------------------------------------------------------------------===//
269
270bool R600PassConfig::addPreISel() {
271 AMDGPUPassConfig::addPreISel();
Tom Stellardbc4497b2016-02-12 23:45:29 +0000272 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
273 if (ST.IsIRStructurizerEnabled())
274 addPass(createStructurizeCFGPass());
Tom Stellard45bb48e2015-06-13 03:28:10 +0000275 addPass(createR600TextureIntrinsicsReplacer());
276 return false;
277}
278
279void R600PassConfig::addPreRegAlloc() {
280 addPass(createR600VectorRegMerger(*TM));
281}
282
283void R600PassConfig::addPreSched2() {
284 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
285 addPass(createR600EmitClauseMarkers(), false);
286 if (ST.isIfCvtEnabled())
287 addPass(&IfConverterID, false);
288 addPass(createR600ClauseMergePass(*TM), false);
289}
290
291void R600PassConfig::addPreEmitPass() {
292 addPass(createAMDGPUCFGStructurizerPass(), false);
293 addPass(createR600ExpandSpecialInstrsPass(*TM), false);
294 addPass(&FinalizeMachineBundlesID, false);
295 addPass(createR600Packetizer(*TM), false);
296 addPass(createR600ControlFlowFinalizer(*TM), false);
297}
298
299TargetPassConfig *R600TargetMachine::createPassConfig(PassManagerBase &PM) {
300 return new R600PassConfig(this, PM);
301}
302
303//===----------------------------------------------------------------------===//
304// GCN Pass Setup
305//===----------------------------------------------------------------------===//
306
307bool GCNPassConfig::addPreISel() {
308 AMDGPUPassConfig::addPreISel();
Matt Arsenault39319482015-11-06 18:01:57 +0000309
310 // FIXME: We need to run a pass to propagate the attributes when calls are
311 // supported.
312 addPass(&AMDGPUAnnotateKernelFeaturesID);
Tom Stellardbc4497b2016-02-12 23:45:29 +0000313 addPass(createStructurizeCFGPass(true)); // true -> SkipUniformRegions
Tom Stellard45bb48e2015-06-13 03:28:10 +0000314 addPass(createSinkingPass());
315 addPass(createSITypeRewriter());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000316 addPass(createAMDGPUAnnotateUniformValues());
Tom Stellardbc4497b2016-02-12 23:45:29 +0000317 addPass(createSIAnnotateControlFlowPass());
Tom Stellarda6f24c62015-12-15 20:55:55 +0000318
Tom Stellard45bb48e2015-06-13 03:28:10 +0000319 return false;
320}
321
322bool GCNPassConfig::addInstSelector() {
323 AMDGPUPassConfig::addInstSelector();
324 addPass(createSILowerI1CopiesPass());
Matt Arsenault782c03b2015-11-03 22:30:13 +0000325 addPass(&SIFixSGPRCopiesID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000326 addPass(createSIFoldOperandsPass());
327 return false;
328}
329
330void GCNPassConfig::addPreRegAlloc() {
331 const AMDGPUSubtarget &ST = *getAMDGPUTargetMachine().getSubtargetImpl();
332
333 // This needs to be run directly before register allocation because
334 // earlier passes might recompute live intervals.
335 // TODO: handle CodeGenOpt::None; fast RA ignores spill weights set by the pass
336 if (getOptLevel() > CodeGenOpt::None) {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000337 insertPass(&MachineSchedulerID, &SIFixControlFlowLiveIntervalsID);
338 }
339
340 if (getOptLevel() > CodeGenOpt::None && ST.loadStoreOptEnabled()) {
341 // Don't do this with no optimizations since it throws away debug info by
342 // merging nonadjacent loads.
343
344 // This should be run after scheduling, but before register allocation. It
345 // also need extra copies to the address operand to be eliminated.
Tom Stellard45bb48e2015-06-13 03:28:10 +0000346 insertPass(&MachineSchedulerID, &SILoadStoreOptimizerID);
Matt Arsenault84db5d92015-07-14 17:57:36 +0000347 insertPass(&MachineSchedulerID, &RegisterCoalescerID);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000348 }
349 addPass(createSIShrinkInstructionsPass(), false);
Nicolai Haehnle213e87f2016-03-21 20:28:33 +0000350 addPass(createSIWholeQuadModePass());
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000351}
352
353void GCNPassConfig::addFastRegAlloc(FunctionPass *RegAllocPass) {
354 addPass(&SIFixSGPRLiveRangesID);
355 TargetPassConfig::addFastRegAlloc(RegAllocPass);
356}
357
358void GCNPassConfig::addOptimizedRegAlloc(FunctionPass *RegAllocPass) {
359 // We want to run this after LiveVariables is computed to avoid computing them
360 // twice.
Justin Bogner468c9982015-10-08 00:36:22 +0000361 // FIXME: We shouldn't disable the verifier here. r249087 introduced a failure
362 // that needs to be fixed.
363 insertPass(&LiveVariablesID, &SIFixSGPRLiveRangesID, /*VerifyAfter=*/false);
Matt Arsenaultb87fc222015-10-01 22:10:03 +0000364 TargetPassConfig::addOptimizedRegAlloc(RegAllocPass);
Tom Stellard45bb48e2015-06-13 03:28:10 +0000365}
366
367void GCNPassConfig::addPostRegAlloc() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000368 addPass(createSIShrinkInstructionsPass(), false);
369}
370
371void GCNPassConfig::addPreSched2() {
Tom Stellard45bb48e2015-06-13 03:28:10 +0000372}
373
374void GCNPassConfig::addPreEmitPass() {
Tom Stellard6e1967e2016-02-05 17:42:38 +0000375 addPass(createSIInsertWaitsPass(), false);
Matt Arsenault55d49cf2016-02-12 02:16:10 +0000376 addPass(createSILowerControlFlowPass(), false);
Tom Stellardcc7067a62016-03-03 03:53:29 +0000377 if (InsertNops) {
378 addPass(createSIInsertNopsPass(), false);
379 }
Tom Stellard45bb48e2015-06-13 03:28:10 +0000380}
381
382TargetPassConfig *GCNTargetMachine::createPassConfig(PassManagerBase &PM) {
383 return new GCNPassConfig(this, PM);
384}